[]
L
L=[]
L=[_|_]
halves(L,TL1,TL2)
S=[]
