[]
R
R=[]
R=[_|_]
R=[HR|TR]
N=0
...
