0|0|0
0|0|1
0|0|2
0|0|_=x[0]
0|0|_=y[0]
0|0|_#x[0]
0|0|_#y[0]
0|0|_*x[0]
0|0|_*y[0]
0|0|_+x[0]
0|0|_+y[0]
0|0|l(_=x[0])
0|0|l(_=y[0])
0|0|l(_#x[0])
0|0|l(_#y[0])
0|0|l(_*x[0])
0|0|l(_*y[0])
0|0|l(_+x[0])
0|0|l(_+y[0])
0|0|e(_=x[0])
0|0|e(_=y[0])
0|0|e(_#x[0])
0|0|e(_#y[0])
0|0|e(_*x[0])
0|0|e(_*y[0])
0|0|e(_+x[0])
0|0|e(_+y[0])
0|0|v(_=x[0])
0|0|v(_=y[0])
0|0|v(_#x[0])
0|0|v(_#y[0])
0|0|v(_*x[0])
0|0|v(_*y[0])
0|0|v(_+x[0])
0|0|v(_+y[0])
0|0|-_=x[0]
0|0|-_=y[0]
0|0|-_#x[0]
0|0|-_#y[0]
0|0|-_*x[0]
0|0|-_*y[0]
0|0|-_+x[0]
0|0|-_+y[0]
0|0|_=l(x[0])
0|0|_=l(y[0])
0|0|_=e(x[0])
0|0|_=e(y[0])
0|0|_=v(x[0])
0|0|_=v(y[0])
0|0|_=-x[0]
0|0|_=-y[0]
0|0|_#l(x[0])
0|0|_#l(y[0])
0|0|_#e(x[0])
0|0|_#e(y[0])
0|0|_#v(x[0])
0|0|_#v(y[0])
0|0|_#-x[0]
0|0|_#-y[0]
0|0|_*l(x[0])
0|0|_*l(y[0])
0|0|_*e(x[0])
0|0|_*e(y[0])
0|0|_*v(x[0])
0|0|_*v(y[0])
0|0|_*-x[0]
0|0|_*-y[0]
0|0|_+l(x[0])
0|0|_+l(y[0])
0|0|_+e(x[0])
0|0|_+e(y[0])
0|0|_+v(x[0])
0|0|_+v(y[0])
0|0|_+-x[0]
0|0|_+-y[0]
0|0|l(l(_=x[0]))
0|0|l(l(_=y[0]))
0|0|l(l(_#x[0]))
0|0|l(l(_#y[0]))
0|0|l(l(_*x[0]))
0|0|l(l(_*y[0]))
0|0|l(l(_+x[0]))
0|0|l(l(_+y[0]))
0|0|l(v(_=x[0]))
0|0|l(v(_=y[0]))
0|0|l(v(_#x[0]))
0|0|l(v(_#y[0]))
0|0|l(v(_*x[0]))
0|0|l(v(_*y[0]))
0|0|l(v(_+x[0]))
0|0|l(v(_+y[0]))
0|0|l(-_=x[0])
0|0|l(-_=y[0])
0|0|l(-_#x[0])
0|0|l(-_#y[0])
0|0|l(-_*x[0])
0|0|l(-_*y[0])
0|0|l(-_+x[0])
0|0|l(-_+y[0])
0|0|l(_=l(x[0]))
0|0|l(_=l(y[0]))
0|0|l(_=e(x[0]))
0|0|l(_=e(y[0]))
0|0|l(_=v(x[0]))
0|0|l(_=v(y[0]))
0|0|l(_=-x[0])
0|0|l(_=-y[0])
0|0|l(_#l(x[0]))
0|0|l(_#l(y[0]))
0|0|l(_#e(x[0]))
0|0|l(_#e(y[0]))
0|0|l(_#v(x[0]))
0|0|l(_#v(y[0]))
0|0|l(_#-x[0])
0|0|l(_#-y[0])
0|0|l(_*l(x[0]))
0|0|l(_*l(y[0]))
0|0|l(_*e(x[0]))
0|0|l(_*e(y[0]))
0|0|l(_*v(x[0]))
0|0|l(_*v(y[0]))
0|0|l(_*-x[0])
0|0|l(_*-y[0])
0|0|l(_+l(x[0]))
0|0|l(_+l(y[0]))
0|0|l(_+e(x[0]))
0|0|l(_+e(y[0]))
0|0|l(_+v(x[0]))
0|0|l(_+v(y[0]))
0|0|l(_+-x[0])
0|0|l(_+-y[0])
0|0|e(e(_=x[0]))
0|0|e(e(_=y[0]))
0|0|e(e(_#x[0]))
0|0|e(e(_#y[0]))
0|0|e(e(_*x[0]))
0|0|e(e(_*y[0]))
0|0|e(e(_+x[0]))
0|0|e(e(_+y[0]))
0|0|e(v(_=x[0]))
0|0|e(v(_=y[0]))
0|0|e(v(_#x[0]))
0|0|e(v(_#y[0]))
0|0|e(v(_*x[0]))
0|0|e(v(_*y[0]))
0|0|e(v(_+x[0]))
0|0|e(v(_+y[0]))
0|0|e(-_=x[0])
0|0|e(-_=y[0])
0|0|e(-_#x[0])
0|0|e(-_#y[0])
0|0|e(-_*x[0])
0|0|e(-_*y[0])
0|0|e(-_+x[0])
0|0|e(-_+y[0])
0|0|e(_=l(x[0]))
0|0|e(_=l(y[0]))
0|0|e(_=e(x[0]))
0|0|e(_=e(y[0]))
0|0|e(_=v(x[0]))
0|0|e(_=v(y[0]))
0|0|e(_=-x[0])
0|0|e(_=-y[0])
0|0|e(_#l(x[0]))
0|0|e(_#l(y[0]))
0|0|e(_#e(x[0]))
0|0|e(_#e(y[0]))
0|0|e(_#v(x[0]))
0|0|e(_#v(y[0]))
0|0|e(_#-x[0])
0|0|e(_#-y[0])
0|0|e(_*l(x[0]))
0|0|e(_*l(y[0]))
0|0|e(_*e(x[0]))
0|0|e(_*e(y[0]))
0|0|e(_*v(x[0]))
0|0|e(_*v(y[0]))
0|0|e(_*-x[0])
0|0|e(_*-y[0])
0|0|e(_+l(x[0]))
0|0|e(_+l(y[0]))
0|0|e(_+e(x[0]))
0|0|e(_+e(y[0]))
0|0|e(_+v(x[0]))
0|0|e(_+v(y[0]))
0|0|e(_+-x[0])
0|0|e(_+-y[0])
0|0|v(l(_=x[0]))
0|0|v(l(_=y[0]))
0|0|v(l(_#x[0]))
0|0|v(l(_#y[0]))
0|0|v(l(_*x[0]))
0|0|v(l(_*y[0]))
0|0|v(l(_+x[0]))
0|0|v(l(_+y[0]))
0|0|v(e(_=x[0]))
0|0|v(e(_=y[0]))
0|0|v(e(_#x[0]))
0|0|v(e(_#y[0]))
0|0|v(e(_*x[0]))
0|0|v(e(_*y[0]))
0|0|v(e(_+x[0]))
0|0|v(e(_+y[0]))
0|0|v(-_=x[0])
0|0|v(-_=y[0])
0|0|v(-_#x[0])
0|0|v(-_#y[0])
0|0|v(-_*x[0])
0|0|v(-_*y[0])
0|0|v(-_+x[0])
0|0|v(-_+y[0])
0|0|v(_=l(x[0]))
0|0|v(_=l(y[0]))
0|0|v(_=e(x[0]))
0|0|v(_=e(y[0]))
0|0|v(_=v(x[0]))
0|0|v(_=v(y[0]))
0|0|v(_=-x[0])
0|0|v(_=-y[0])
0|0|v(_#l(x[0]))
0|0|v(_#l(y[0]))
0|0|v(_#e(x[0]))
0|0|v(_#e(y[0]))
0|0|v(_#v(x[0]))
0|0|v(_#v(y[0]))
0|0|v(_#-x[0])
0|0|v(_#-y[0])
0|0|v(_*l(x[0]))
0|0|v(_*l(y[0]))
0|0|v(_*e(x[0]))
0|0|v(_*e(y[0]))
0|0|v(_*v(x[0]))
0|0|v(_*v(y[0]))
0|0|v(_*-x[0])
0|0|v(_*-y[0])
0|0|v(_+l(x[0]))
0|0|v(_+l(y[0]))
0|0|v(_+e(x[0]))
0|0|v(_+e(y[0]))
0|0|v(_+v(x[0]))
0|0|v(_+v(y[0]))
0|0|v(_+-x[0])
0|0|v(_+-y[0])
0|0|-l(_=x[0])
0|0|-l(_=y[0])
0|0|-l(_#x[0])
0|0|-l(_#y[0])
0|0|-l(_*x[0])
0|0|-l(_*y[0])
0|0|-l(_+x[0])
0|0|-l(_+y[0])
0|0|-e(_=x[0])
0|0|-e(_=y[0])
0|0|-e(_#x[0])
0|0|-e(_#y[0])
0|0|-e(_*x[0])
0|0|-e(_*y[0])
0|0|-e(_+x[0])
0|0|-e(_+y[0])
0|0|-v(_=x[0])
0|0|-v(_=y[0])
0|0|-v(_#x[0])
0|0|-v(_#y[0])
0|0|-v(_*x[0])
0|0|-v(_*y[0])
0|0|-v(_+x[0])
0|0|-v(_+y[0])
0|0|-_=l(x[0])
0|0|-_=l(y[0])
0|0|-_=e(x[0])
0|0|-_=e(y[0])
0|0|-_=v(x[0])
0|0|-_=v(y[0])
0|0|-_=-x[0]
0|0|-_=-y[0]
0|0|-_#l(x[0])
0|0|-_#l(y[0])
0|0|-_#e(x[0])
0|0|-_#e(y[0])
0|0|-_#v(x[0])
0|0|-_#v(y[0])
0|0|-_#-x[0]
0|0|-_#-y[0]
0|0|-_*l(x[0])
0|0|-_*l(y[0])
0|0|-_*e(x[0])
0|0|-_*e(y[0])
0|0|-_*v(x[0])
0|0|-_*v(y[0])
0|0|-_*-x[0]
0|0|-_*-y[0]
0|0|-_+l(x[0])
0|0|-_+l(y[0])
0|0|-_+e(x[0])
0|0|-_+e(y[0])
0|0|-_+v(x[0])
0|0|-_+v(y[0])
0|0|-_+-x[0]
0|0|-_+-y[0]
0|0|_=l(l(x[0]))
0|0|_=l(l(y[0]))
0|0|_=l(v(x[0]))
0|0|_=l(v(y[0]))
0|0|_=l(-x[0])
0|0|_=l(-y[0])
0|0|_=e(e(x[0]))
0|0|_=e(e(y[0]))
0|0|_=e(v(x[0]))
0|0|_=e(v(y[0]))
0|0|_=e(-x[0])
0|0|_=e(-y[0])
0|0|_=v(l(x[0]))
0|0|_=v(l(y[0]))
0|0|_=v(e(x[0]))
0|0|_=v(e(y[0]))
0|0|_=v(-x[0])
0|0|_=v(-y[0])
0|0|_=-l(x[0])
0|0|_=-l(y[0])
0|0|_=-e(x[0])
0|0|_=-e(y[0])
0|0|_=-v(x[0])
0|0|_=-v(y[0])
0|0|_=(y[0]+x[0])
0|0|_=(y[0]+y[0])
0|0|_=(x[0]+x[0])
0|0|_=(x[0]+y[0])
0|0|_=(y[0]*x[0])
0|0|_=(y[0]*y[0])
0|0|_=(x[0]*x[0])
0|0|_=(x[0]*y[0])
0|0|_=m(y[0],x[0])
0|0|_=m(x[0],y[0])
0|0|_=i(y[0],x[0])
0|0|_=i(x[0],y[0])
0|0|_=(y[0]+1)
0|0|_=(y[0]+2)
0|0|_=(x[0]+1)
0|0|_=(x[0]+2)
0|0|_=(y[0]*2)
0|0|_=(x[0]*2)
0|0|_=m(y[0],0)
0|0|_=m(y[0],1)
0|0|_=m(y[0],2)
0|0|_=m(x[0],0)
0|0|_=m(x[0],1)
0|0|_=m(x[0],2)
0|0|_=i(y[0],0)
0|0|_=i(y[0],1)
0|0|_=i(y[0],2)
0|0|_=i(x[0],0)
0|0|_=i(x[0],1)
0|0|_=i(x[0],2)
0|0|_#l(l(x[0]))
0|0|_#l(l(y[0]))
0|0|_#l(v(x[0]))
0|0|_#l(v(y[0]))
0|0|_#l(-x[0])
0|0|_#l(-y[0])
0|0|_#e(e(x[0]))
0|0|_#e(e(y[0]))
0|0|_#e(v(x[0]))
0|0|_#e(v(y[0]))
0|0|_#e(-x[0])
0|0|_#e(-y[0])
0|0|_#v(l(x[0]))
0|0|_#v(l(y[0]))
0|0|_#v(e(x[0]))
0|0|_#v(e(y[0]))
0|0|_#v(-x[0])
0|0|_#v(-y[0])
0|0|_#-l(x[0])
0|0|_#-l(y[0])
0|0|_#-e(x[0])
0|0|_#-e(y[0])
0|0|_#-v(x[0])
0|0|_#-v(y[0])
0|0|_#(y[0]+x[0])
0|0|_#(y[0]+y[0])
0|0|_#(x[0]+x[0])
0|0|_#(x[0]+y[0])
0|0|_#(y[0]*x[0])
0|0|_#(y[0]*y[0])
0|0|_#(x[0]*x[0])
0|0|_#(x[0]*y[0])
0|0|_#m(y[0],x[0])
0|0|_#m(x[0],y[0])
0|0|_#i(y[0],x[0])
0|0|_#i(x[0],y[0])
0|0|_#(y[0]+1)
0|0|_#(y[0]+2)
0|0|_#(x[0]+1)
0|0|_#(x[0]+2)
0|0|_#(y[0]*2)
0|0|_#(x[0]*2)
0|0|_#m(y[0],0)
0|0|_#m(y[0],1)
0|0|_#m(y[0],2)
0|0|_#m(x[0],0)
0|0|_#m(x[0],1)
0|0|_#m(x[0],2)
0|0|_#i(y[0],0)
0|0|_#i(y[0],1)
0|0|_#i(y[0],2)
0|0|_#i(x[0],0)
0|0|_#i(x[0],1)
0|0|_#i(x[0],2)
0|0|_*l(l(x[0]))
0|0|_*l(l(y[0]))
0|0|_*l(v(x[0]))
0|0|_*l(v(y[0]))
0|0|_*l(-x[0])
0|0|_*l(-y[0])
0|0|_*e(e(x[0]))
0|0|_*e(e(y[0]))
0|0|_*e(v(x[0]))
0|0|_*e(v(y[0]))
0|0|_*e(-x[0])
0|0|_*e(-y[0])
0|0|_*v(l(x[0]))
0|0|_*v(l(y[0]))
0|0|_*v(e(x[0]))
0|0|_*v(e(y[0]))
0|0|_*v(-x[0])
0|0|_*v(-y[0])
0|0|_*-l(x[0])
0|0|_*-l(y[0])
0|0|_*-e(x[0])
0|0|_*-e(y[0])
0|0|_*-v(x[0])
0|0|_*-v(y[0])
0|0|_*(y[0]+x[0])
0|0|_*(y[0]+y[0])
0|0|_*(x[0]+x[0])
0|0|_*(x[0]+y[0])
0|0|_*(y[0]*x[0])
0|0|_*(y[0]*y[0])
0|0|_*(x[0]*x[0])
0|0|_*(x[0]*y[0])
0|0|_*m(y[0],x[0])
0|0|_*m(x[0],y[0])
0|0|_*i(y[0],x[0])
0|0|_*i(x[0],y[0])
0|0|_*(y[0]+1)
0|0|_*(y[0]+2)
0|0|_*(x[0]+1)
0|0|_*(x[0]+2)
0|0|_*(y[0]*2)
0|0|_*(x[0]*2)
0|0|_*m(y[0],0)
0|0|_*m(y[0],1)
0|0|_*m(y[0],2)
0|0|_*m(x[0],0)
0|0|_*m(x[0],1)
0|0|_*m(x[0],2)
0|0|_*i(y[0],0)
0|0|_*i(y[0],1)
0|0|_*i(y[0],2)
0|0|_*i(x[0],0)
0|0|_*i(x[0],1)
0|0|_*i(x[0],2)
0|0|_+l(l(x[0]))
0|0|_+l(l(y[0]))
0|0|_+l(v(x[0]))
0|0|_+l(v(y[0]))
0|0|_+l(-x[0])
0|0|_+l(-y[0])
0|0|_+e(e(x[0]))
0|0|_+e(e(y[0]))
0|0|_+e(v(x[0]))
0|0|_+e(v(y[0]))
0|0|_+e(-x[0])
0|0|_+e(-y[0])
0|0|_+v(l(x[0]))
0|0|_+v(l(y[0]))
0|0|_+v(e(x[0]))
0|0|_+v(e(y[0]))
0|0|_+v(-x[0])
0|0|_+v(-y[0])
0|0|_+-l(x[0])
0|0|_+-l(y[0])
0|0|_+-e(x[0])
0|0|_+-e(y[0])
0|0|_+-v(x[0])
0|0|_+-v(y[0])
0|0|_+(y[0]+x[0])
0|0|_+(y[0]+y[0])
0|0|_+(x[0]+x[0])
0|0|_+(x[0]+y[0])
0|0|_+(y[0]*x[0])
0|0|_+(y[0]*y[0])
0|0|_+(x[0]*x[0])
0|0|_+(x[0]*y[0])
0|0|_+m(y[0],x[0])
0|0|_+m(x[0],y[0])
0|0|_+i(y[0],x[0])
0|0|_+i(x[0],y[0])
0|0|_+(y[0]+1)
0|0|_+(y[0]+2)
0|0|_+(x[0]+1)
0|0|_+(x[0]+2)
0|0|_+(y[0]*2)
0|0|_+(x[0]*2)
0|0|_+m(y[0],0)
0|0|_+m(y[0],1)
0|0|_+m(y[0],2)
0|0|_+m(x[0],0)
0|0|_+m(x[0],1)
0|0|_+m(x[0],2)
0|0|_+i(y[0],0)
0|0|_+i(y[0],1)
0|0|_+i(y[0],2)
0|0|_+i(x[0],0)
0|0|_+i(x[0],1)
0|0|_+i(x[0],2)
0|0|2+_=x[0]
0|0|2+_=y[0]
0|0|2+_#x[0]
0|0|2+_#y[0]
0|0|2+_*x[0]
0|0|2+_*y[0]
0|0|2+_+x[0]
0|0|2+_+y[0]
0|0|1+_=x[0]
0|0|1+_=y[0]
0|0|1+_#x[0]
0|0|1+_#y[0]
0|0|1+_*x[0]
0|0|1+_*y[0]
0|0|1+_+x[0]
0|0|1+_+y[0]
0|0|2*_=x[0]
0|0|2*_=y[0]
0|0|2*_#x[0]
0|0|2*_#y[0]
0|0|2*_*x[0]
0|0|2*_*y[0]
0|0|2*_+x[0]
0|0|2*_+y[0]
0|0|m(2,_=x[0])
0|0|m(2,_=y[0])
0|0|m(2,_#x[0])
0|0|m(2,_#y[0])
0|0|m(2,_*x[0])
0|0|m(2,_*y[0])
0|0|m(2,_+x[0])
0|0|m(2,_+y[0])
0|0|m(1,_=x[0])
0|0|m(1,_=y[0])
0|0|m(1,_#x[0])
0|0|m(1,_#y[0])
0|0|m(1,_*x[0])
0|0|m(1,_*y[0])
0|0|m(1,_+x[0])
0|0|m(1,_+y[0])
0|0|m(0,_=x[0])
0|0|m(0,_=y[0])
0|0|m(0,_#x[0])
0|0|m(0,_#y[0])
0|0|m(0,_*x[0])
0|0|m(0,_*y[0])
0|0|m(0,_+x[0])
0|0|m(0,_+y[0])
0|0|i(2,_=x[0])
0|0|i(2,_=y[0])
0|0|i(2,_#x[0])
0|0|i(2,_#y[0])
0|0|i(2,_*x[0])
0|0|i(2,_*y[0])
0|0|i(2,_+x[0])
0|0|i(2,_+y[0])
0|0|i(1,_=x[0])
0|0|i(1,_=y[0])
0|0|i(1,_#x[0])
0|0|i(1,_#y[0])
0|0|i(1,_*x[0])
0|0|i(1,_*y[0])
0|0|i(1,_+x[0])
0|0|i(1,_+y[0])
0|0|i(0,_=x[0])
0|0|i(0,_=y[0])
0|0|i(0,_#x[0])
0|0|i(0,_#y[0])
0|0|i(0,_*x[0])
0|0|i(0,_*y[0])
0|0|i(0,_+x[0])
0|0|i(0,_+y[0])
0|1|0
0|1|1
0|1|2
0|1|_=x[0]
0|1|_=y[0]
0|1|_#x[0]
0|1|_#y[0]
0|1|_*x[0]
0|1|_*y[0]
0|1|_+x[0]
0|1|_+y[0]
0|1|l(_=x[0])
0|1|l(_=y[0])
0|1|l(_#x[0])
0|1|l(_#y[0])
0|1|l(_*x[0])
0|1|l(_*y[0])
0|1|l(_+x[0])
0|1|l(_+y[0])
0|1|e(_=x[0])
0|1|e(_=y[0])
0|1|e(_#x[0])
0|1|e(_#y[0])
0|1|e(_*x[0])
0|1|e(_*y[0])
0|1|e(_+x[0])
0|1|e(_+y[0])
0|1|v(_=x[0])
0|1|v(_=y[0])
0|1|v(_#x[0])
0|1|v(_#y[0])
0|1|v(_*x[0])
0|1|v(_*y[0])
0|1|v(_+x[0])
0|1|v(_+y[0])
0|1|-_=x[0]
0|1|-_=y[0]
0|1|-_#x[0]
0|1|-_#y[0]
0|1|-_*x[0]
0|1|-_*y[0]
0|1|-_+x[0]
0|1|-_+y[0]
0|1|_=l(x[0])
0|1|_=l(y[0])
0|1|_=e(x[0])
0|1|_=e(y[0])
0|1|_=v(x[0])
0|1|_=v(y[0])
0|1|_=-x[0]
0|1|_=-y[0]
0|1|_#l(x[0])
0|1|_#l(y[0])
0|1|_#e(x[0])
0|1|_#e(y[0])
0|1|_#v(x[0])
0|1|_#v(y[0])
0|1|_#-x[0]
0|1|_#-y[0]
0|1|_*l(x[0])
0|1|_*l(y[0])
0|1|_*e(x[0])
0|1|_*e(y[0])
0|1|_*v(x[0])
0|1|_*v(y[0])
0|1|_*-x[0]
0|1|_*-y[0]
0|1|_+l(x[0])
0|1|_+l(y[0])
0|1|_+e(x[0])
0|1|_+e(y[0])
0|1|_+v(x[0])
0|1|_+v(y[0])
0|1|_+-x[0]
0|1|_+-y[0]
0|1|l(l(_=x[0]))
0|1|l(l(_=y[0]))
0|1|l(l(_#x[0]))
0|1|l(l(_#y[0]))
0|1|l(l(_*x[0]))
0|1|l(l(_*y[0]))
0|1|l(l(_+x[0]))
0|1|l(l(_+y[0]))
0|1|l(v(_=x[0]))
0|1|l(v(_=y[0]))
0|1|l(v(_#x[0]))
0|1|l(v(_#y[0]))
0|1|l(v(_*x[0]))
0|1|l(v(_*y[0]))
0|1|l(v(_+x[0]))
0|1|l(v(_+y[0]))
0|1|l(-_=x[0])
0|1|l(-_=y[0])
0|1|l(-_#x[0])
0|1|l(-_#y[0])
0|1|l(-_*x[0])
0|1|l(-_*y[0])
0|1|l(-_+x[0])
0|1|l(-_+y[0])
0|1|l(_=l(x[0]))
0|1|l(_=l(y[0]))
0|1|l(_=e(x[0]))
0|1|l(_=e(y[0]))
0|1|l(_=v(x[0]))
0|1|l(_=v(y[0]))
0|1|l(_=-x[0])
0|1|l(_=-y[0])
0|1|l(_#l(x[0]))
0|1|l(_#l(y[0]))
0|1|l(_#e(x[0]))
0|1|l(_#e(y[0]))
0|1|l(_#v(x[0]))
0|1|l(_#v(y[0]))
0|1|l(_#-x[0])
0|1|l(_#-y[0])
0|1|l(_*l(x[0]))
0|1|l(_*l(y[0]))
0|1|l(_*e(x[0]))
0|1|l(_*e(y[0]))
0|1|l(_*v(x[0]))
0|1|l(_*v(y[0]))
0|1|l(_*-x[0])
0|1|l(_*-y[0])
0|1|l(_+l(x[0]))
0|1|l(_+l(y[0]))
0|1|l(_+e(x[0]))
0|1|l(_+e(y[0]))
0|1|l(_+v(x[0]))
0|1|l(_+v(y[0]))
0|1|l(_+-x[0])
0|1|l(_+-y[0])
0|1|e(e(_=x[0]))
0|1|e(e(_=y[0]))
0|1|e(e(_#x[0]))
0|1|e(e(_#y[0]))
0|1|e(e(_*x[0]))
0|1|e(e(_*y[0]))
0|1|e(e(_+x[0]))
0|1|e(e(_+y[0]))
0|1|e(v(_=x[0]))
0|1|e(v(_=y[0]))
0|1|e(v(_#x[0]))
0|1|e(v(_#y[0]))
0|1|e(v(_*x[0]))
0|1|e(v(_*y[0]))
0|1|e(v(_+x[0]))
0|1|e(v(_+y[0]))
0|1|e(-_=x[0])
0|1|e(-_=y[0])
0|1|e(-_#x[0])
0|1|e(-_#y[0])
0|1|e(-_*x[0])
0|1|e(-_*y[0])
0|1|e(-_+x[0])
0|1|e(-_+y[0])
0|1|e(_=l(x[0]))
0|1|e(_=l(y[0]))
0|1|e(_=e(x[0]))
0|1|e(_=e(y[0]))
0|1|e(_=v(x[0]))
0|1|e(_=v(y[0]))
0|1|e(_=-x[0])
0|1|e(_=-y[0])
0|1|e(_#l(x[0]))
0|1|e(_#l(y[0]))
0|1|e(_#e(x[0]))
0|1|e(_#e(y[0]))
0|1|e(_#v(x[0]))
0|1|e(_#v(y[0]))
0|1|e(_#-x[0])
0|1|e(_#-y[0])
0|1|e(_*l(x[0]))
0|1|e(_*l(y[0]))
0|1|e(_*e(x[0]))
0|1|e(_*e(y[0]))
0|1|e(_*v(x[0]))
0|1|e(_*v(y[0]))
0|1|e(_*-x[0])
0|1|e(_*-y[0])
0|1|e(_+l(x[0]))
0|1|e(_+l(y[0]))
0|1|e(_+e(x[0]))
0|1|e(_+e(y[0]))
0|1|e(_+v(x[0]))
0|1|e(_+v(y[0]))
0|1|e(_+-x[0])
0|1|e(_+-y[0])
0|1|v(l(_=x[0]))
0|1|v(l(_=y[0]))
0|1|v(l(_#x[0]))
0|1|v(l(_#y[0]))
0|1|v(l(_*x[0]))
0|1|v(l(_*y[0]))
0|1|v(l(_+x[0]))
0|1|v(l(_+y[0]))
0|1|v(e(_=x[0]))
0|1|v(e(_=y[0]))
0|1|v(e(_#x[0]))
0|1|v(e(_#y[0]))
0|1|v(e(_*x[0]))
0|1|v(e(_*y[0]))
0|1|v(e(_+x[0]))
0|1|v(e(_+y[0]))
0|1|v(-_=x[0])
0|1|v(-_=y[0])
0|1|v(-_#x[0])
0|1|v(-_#y[0])
0|1|v(-_*x[0])
0|1|v(-_*y[0])
0|1|v(-_+x[0])
0|1|v(-_+y[0])
0|1|v(_=l(x[0]))
0|1|v(_=l(y[0]))
0|1|v(_=e(x[0]))
0|1|v(_=e(y[0]))
0|1|v(_=v(x[0]))
0|1|v(_=v(y[0]))
0|1|v(_=-x[0])
0|1|v(_=-y[0])
0|1|v(_#l(x[0]))
0|1|v(_#l(y[0]))
0|1|v(_#e(x[0]))
0|1|v(_#e(y[0]))
0|1|v(_#v(x[0]))
0|1|v(_#v(y[0]))
0|1|v(_#-x[0])
0|1|v(_#-y[0])
0|1|v(_*l(x[0]))
0|1|v(_*l(y[0]))
0|1|v(_*e(x[0]))
0|1|v(_*e(y[0]))
0|1|v(_*v(x[0]))
0|1|v(_*v(y[0]))
0|1|v(_*-x[0])
0|1|v(_*-y[0])
0|1|v(_+l(x[0]))
0|1|v(_+l(y[0]))
0|1|v(_+e(x[0]))
0|1|v(_+e(y[0]))
0|1|v(_+v(x[0]))
0|1|v(_+v(y[0]))
0|1|v(_+-x[0])
0|1|v(_+-y[0])
0|1|-l(_=x[0])
0|1|-l(_=y[0])
0|1|-l(_#x[0])
0|1|-l(_#y[0])
0|1|-l(_*x[0])
0|1|-l(_*y[0])
0|1|-l(_+x[0])
0|1|-l(_+y[0])
0|1|-e(_=x[0])
0|1|-e(_=y[0])
0|1|-e(_#x[0])
0|1|-e(_#y[0])
0|1|-e(_*x[0])
0|1|-e(_*y[0])
0|1|-e(_+x[0])
0|1|-e(_+y[0])
0|1|-v(_=x[0])
0|1|-v(_=y[0])
0|1|-v(_#x[0])
0|1|-v(_#y[0])
0|1|-v(_*x[0])
0|1|-v(_*y[0])
0|1|-v(_+x[0])
0|1|-v(_+y[0])
0|1|-_=l(x[0])
0|1|-_=l(y[0])
0|1|-_=e(x[0])
0|1|-_=e(y[0])
0|1|-_=v(x[0])
0|1|-_=v(y[0])
0|1|-_=-x[0]
0|1|-_=-y[0]
0|1|-_#l(x[0])
0|1|-_#l(y[0])
0|1|-_#e(x[0])
0|1|-_#e(y[0])
0|1|-_#v(x[0])
0|1|-_#v(y[0])
0|1|-_#-x[0]
0|1|-_#-y[0]
0|1|-_*l(x[0])
0|1|-_*l(y[0])
0|1|-_*e(x[0])
0|1|-_*e(y[0])
0|1|-_*v(x[0])
0|1|-_*v(y[0])
0|1|-_*-x[0]
0|1|-_*-y[0]
0|1|-_+l(x[0])
0|1|-_+l(y[0])
0|1|-_+e(x[0])
0|1|-_+e(y[0])
0|1|-_+v(x[0])
0|1|-_+v(y[0])
0|1|-_+-x[0]
0|1|-_+-y[0]
0|1|_=l(l(x[0]))
0|1|_=l(l(y[0]))
0|1|_=l(v(x[0]))
0|1|_=l(v(y[0]))
0|1|_=l(-x[0])
0|1|_=l(-y[0])
0|1|_=e(e(x[0]))
0|1|_=e(e(y[0]))
0|1|_=e(v(x[0]))
0|1|_=e(v(y[0]))
0|1|_=e(-x[0])
0|1|_=e(-y[0])
0|1|_=v(l(x[0]))
0|1|_=v(l(y[0]))
0|1|_=v(e(x[0]))
0|1|_=v(e(y[0]))
0|1|_=v(-x[0])
0|1|_=v(-y[0])
0|1|_=-l(x[0])
0|1|_=-l(y[0])
0|1|_=-e(x[0])
0|1|_=-e(y[0])
0|1|_=-v(x[0])
0|1|_=-v(y[0])
0|1|_=(y[0]+x[0])
0|1|_=(y[0]+y[0])
0|1|_=(x[0]+x[0])
0|1|_=(x[0]+y[0])
0|1|_=(y[0]*x[0])
0|1|_=(y[0]*y[0])
0|1|_=(x[0]*x[0])
0|1|_=(x[0]*y[0])
0|1|_=m(y[0],x[0])
0|1|_=m(x[0],y[0])
0|1|_=i(y[0],x[0])
0|1|_=i(x[0],y[0])
0|1|_=(y[0]+1)
0|1|_=(y[0]+2)
0|1|_=(x[0]+1)
0|1|_=(x[0]+2)
0|1|_=(y[0]*2)
0|1|_=(x[0]*2)
0|1|_=m(y[0],0)
0|1|_=m(y[0],1)
0|1|_=m(y[0],2)
0|1|_=m(x[0],0)
0|1|_=m(x[0],1)
0|1|_=m(x[0],2)
0|1|_=i(y[0],0)
0|1|_=i(y[0],1)
0|1|_=i(y[0],2)
0|1|_=i(x[0],0)
0|1|_=i(x[0],1)
0|1|_=i(x[0],2)
0|1|_#l(l(x[0]))
0|1|_#l(l(y[0]))
0|1|_#l(v(x[0]))
0|1|_#l(v(y[0]))
0|1|_#l(-x[0])
0|1|_#l(-y[0])
0|1|_#e(e(x[0]))
0|1|_#e(e(y[0]))
0|1|_#e(v(x[0]))
0|1|_#e(v(y[0]))
0|1|_#e(-x[0])
0|1|_#e(-y[0])
0|1|_#v(l(x[0]))
0|1|_#v(l(y[0]))
0|1|_#v(e(x[0]))
0|1|_#v(e(y[0]))
0|1|_#v(-x[0])
0|1|_#v(-y[0])
0|1|_#-l(x[0])
0|1|_#-l(y[0])
0|1|_#-e(x[0])
0|1|_#-e(y[0])
0|1|_#-v(x[0])
0|1|_#-v(y[0])
0|1|_#(y[0]+x[0])
0|1|_#(y[0]+y[0])
0|1|_#(x[0]+x[0])
0|1|_#(x[0]+y[0])
0|1|_#(y[0]*x[0])
0|1|_#(y[0]*y[0])
0|1|_#(x[0]*x[0])
0|1|_#(x[0]*y[0])
0|1|_#m(y[0],x[0])
0|1|_#m(x[0],y[0])
0|1|_#i(y[0],x[0])
0|1|_#i(x[0],y[0])
0|1|_#(y[0]+1)
0|1|_#(y[0]+2)
0|1|_#(x[0]+1)
0|1|_#(x[0]+2)
0|1|_#(y[0]*2)
0|1|_#(x[0]*2)
0|1|_#m(y[0],0)
0|1|_#m(y[0],1)
0|1|_#m(y[0],2)
0|1|_#m(x[0],0)
0|1|_#m(x[0],1)
0|1|_#m(x[0],2)
0|1|_#i(y[0],0)
0|1|_#i(y[0],1)
0|1|_#i(y[0],2)
0|1|_#i(x[0],0)
0|1|_#i(x[0],1)
0|1|_#i(x[0],2)
0|1|_*l(l(x[0]))
0|1|_*l(l(y[0]))
0|1|_*l(v(x[0]))
0|1|_*l(v(y[0]))
0|1|_*l(-x[0])
0|1|_*l(-y[0])
0|1|_*e(e(x[0]))
0|1|_*e(e(y[0]))
0|1|_*e(v(x[0]))
0|1|_*e(v(y[0]))
0|1|_*e(-x[0])
0|1|_*e(-y[0])
0|1|_*v(l(x[0]))
0|1|_*v(l(y[0]))
0|1|_*v(e(x[0]))
0|1|_*v(e(y[0]))
0|1|_*v(-x[0])
0|1|_*v(-y[0])
0|1|_*-l(x[0])
0|1|_*-l(y[0])
0|1|_*-e(x[0])
0|1|_*-e(y[0])
0|1|_*-v(x[0])
0|1|_*-v(y[0])
0|1|_*(y[0]+x[0])
0|1|_*(y[0]+y[0])
0|1|_*(x[0]+x[0])
0|1|_*(x[0]+y[0])
0|1|_*(y[0]*x[0])
0|1|_*(y[0]*y[0])
0|1|_*(x[0]*x[0])
0|1|_*(x[0]*y[0])
0|1|_*m(y[0],x[0])
0|1|_*m(x[0],y[0])
0|1|_*i(y[0],x[0])
0|1|_*i(x[0],y[0])
0|1|_*(y[0]+1)
0|1|_*(y[0]+2)
0|1|_*(x[0]+1)
0|1|_*(x[0]+2)
0|1|_*(y[0]*2)
0|1|_*(x[0]*2)
0|1|_*m(y[0],0)
0|1|_*m(y[0],1)
0|1|_*m(y[0],2)
0|1|_*m(x[0],0)
0|1|_*m(x[0],1)
0|1|_*m(x[0],2)
0|1|_*i(y[0],0)
0|1|_*i(y[0],1)
0|1|_*i(y[0],2)
0|1|_*i(x[0],0)
0|1|_*i(x[0],1)
0|1|_*i(x[0],2)
0|1|_+l(l(x[0]))
0|1|_+l(l(y[0]))
0|1|_+l(v(x[0]))
0|1|_+l(v(y[0]))
0|1|_+l(-x[0])
0|1|_+l(-y[0])
0|1|_+e(e(x[0]))
0|1|_+e(e(y[0]))
0|1|_+e(v(x[0]))
0|1|_+e(v(y[0]))
0|1|_+e(-x[0])
0|1|_+e(-y[0])
0|1|_+v(l(x[0]))
0|1|_+v(l(y[0]))
0|1|_+v(e(x[0]))
0|1|_+v(e(y[0]))
0|1|_+v(-x[0])
0|1|_+v(-y[0])
0|1|_+-l(x[0])
0|1|_+-l(y[0])
0|1|_+-e(x[0])
0|1|_+-e(y[0])
0|1|_+-v(x[0])
0|1|_+-v(y[0])
0|1|_+(y[0]+x[0])
0|1|_+(y[0]+y[0])
0|1|_+(x[0]+x[0])
0|1|_+(x[0]+y[0])
0|1|_+(y[0]*x[0])
0|1|_+(y[0]*y[0])
0|1|_+(x[0]*x[0])
0|1|_+(x[0]*y[0])
0|1|_+m(y[0],x[0])
0|1|_+m(x[0],y[0])
0|1|_+i(y[0],x[0])
0|1|_+i(x[0],y[0])
0|1|_+(y[0]+1)
0|1|_+(y[0]+2)
0|1|_+(x[0]+1)
0|1|_+(x[0]+2)
0|1|_+(y[0]*2)
0|1|_+(x[0]*2)
0|1|_+m(y[0],0)
0|1|_+m(y[0],1)
0|1|_+m(y[0],2)
0|1|_+m(x[0],0)
0|1|_+m(x[0],1)
0|1|_+m(x[0],2)
0|1|_+i(y[0],0)
0|1|_+i(y[0],1)
0|1|_+i(y[0],2)
0|1|_+i(x[0],0)
0|1|_+i(x[0],1)
0|1|_+i(x[0],2)
0|1|2+_=x[0]
0|1|2+_=y[0]
0|1|2+_#x[0]
0|1|2+_#y[0]
0|1|2+_*x[0]
0|1|2+_*y[0]
0|1|2+_+x[0]
0|1|2+_+y[0]
0|1|1+_=x[0]
0|1|1+_=y[0]
0|1|1+_#x[0]
0|1|1+_#y[0]
0|1|1+_*x[0]
0|1|1+_*y[0]
0|1|1+_+x[0]
0|1|1+_+y[0]
0|1|2*_=x[0]
0|1|2*_=y[0]
0|1|2*_#x[0]
0|1|2*_#y[0]
0|1|2*_*x[0]
0|1|2*_*y[0]
0|1|2*_+x[0]
0|1|2*_+y[0]
0|1|m(2,_=x[0])
0|1|m(2,_=y[0])
0|1|m(2,_#x[0])
0|1|m(2,_#y[0])
0|1|m(2,_*x[0])
0|1|m(2,_*y[0])
0|1|m(2,_+x[0])
0|1|m(2,_+y[0])
0|1|m(1,_=x[0])
0|1|m(1,_=y[0])
0|1|m(1,_#x[0])
0|1|m(1,_#y[0])
0|1|m(1,_*x[0])
0|1|m(1,_*y[0])
0|1|m(1,_+x[0])
0|1|m(1,_+y[0])
0|1|m(0,_=x[0])
0|1|m(0,_=y[0])
0|1|m(0,_#x[0])
0|1|m(0,_#y[0])
0|1|m(0,_*x[0])
0|1|m(0,_*y[0])
0|1|m(0,_+x[0])
0|1|m(0,_+y[0])
0|1|i(2,_=x[0])
0|1|i(2,_=y[0])
0|1|i(2,_#x[0])
0|1|i(2,_#y[0])
0|1|i(2,_*x[0])
0|1|i(2,_*y[0])
0|1|i(2,_+x[0])
0|1|i(2,_+y[0])
0|1|i(1,_=x[0])
0|1|i(1,_=y[0])
0|1|i(1,_#x[0])
0|1|i(1,_#y[0])
0|1|i(1,_*x[0])
0|1|i(1,_*y[0])
0|1|i(1,_+x[0])
0|1|i(1,_+y[0])
0|1|i(0,_=x[0])
0|1|i(0,_=y[0])
0|1|i(0,_#x[0])
0|1|i(0,_#y[0])
0|1|i(0,_*x[0])
0|1|i(0,_*y[0])
0|1|i(0,_+x[0])
0|1|i(0,_+y[0])
0|2|0
0|2|1
0|2|2
0|2|_=x[0]
0|2|_=y[0]
0|2|_#x[0]
0|2|_#y[0]
0|2|_*x[0]
0|2|_*y[0]
0|2|_+x[0]
0|2|_+y[0]
0|2|l(_=x[0])
0|2|l(_=y[0])
0|2|l(_#x[0])
0|2|l(_#y[0])
0|2|l(_*x[0])
0|2|l(_*y[0])
0|2|l(_+x[0])
0|2|l(_+y[0])
0|2|e(_=x[0])
0|2|e(_=y[0])
0|2|e(_#x[0])
0|2|e(_#y[0])
0|2|e(_*x[0])
0|2|e(_*y[0])
0|2|e(_+x[0])
0|2|e(_+y[0])
0|2|v(_=x[0])
0|2|v(_=y[0])
0|2|v(_#x[0])
0|2|v(_#y[0])
0|2|v(_*x[0])
0|2|v(_*y[0])
0|2|v(_+x[0])
0|2|v(_+y[0])
0|2|-_=x[0]
0|2|-_=y[0]
0|2|-_#x[0]
0|2|-_#y[0]
0|2|-_*x[0]
0|2|-_*y[0]
0|2|-_+x[0]
0|2|-_+y[0]
0|2|_=l(x[0])
0|2|_=l(y[0])
0|2|_=e(x[0])
0|2|_=e(y[0])
0|2|_=v(x[0])
0|2|_=v(y[0])
0|2|_=-x[0]
0|2|_=-y[0]
0|2|_#l(x[0])
0|2|_#l(y[0])
0|2|_#e(x[0])
0|2|_#e(y[0])
0|2|_#v(x[0])
0|2|_#v(y[0])
0|2|_#-x[0]
0|2|_#-y[0]
0|2|_*l(x[0])
0|2|_*l(y[0])
0|2|_*e(x[0])
0|2|_*e(y[0])
0|2|_*v(x[0])
0|2|_*v(y[0])
0|2|_*-x[0]
0|2|_*-y[0]
0|2|_+l(x[0])
0|2|_+l(y[0])
0|2|_+e(x[0])
0|2|_+e(y[0])
0|2|_+v(x[0])
0|2|_+v(y[0])
0|2|_+-x[0]
0|2|_+-y[0]
0|2|l(l(_=x[0]))
0|2|l(l(_=y[0]))
0|2|l(l(_#x[0]))
0|2|l(l(_#y[0]))
0|2|l(l(_*x[0]))
0|2|l(l(_*y[0]))
0|2|l(l(_+x[0]))
0|2|l(l(_+y[0]))
0|2|l(v(_=x[0]))
0|2|l(v(_=y[0]))
0|2|l(v(_#x[0]))
0|2|l(v(_#y[0]))
0|2|l(v(_*x[0]))
0|2|l(v(_*y[0]))
0|2|l(v(_+x[0]))
0|2|l(v(_+y[0]))
0|2|l(-_=x[0])
0|2|l(-_=y[0])
0|2|l(-_#x[0])
0|2|l(-_#y[0])
0|2|l(-_*x[0])
0|2|l(-_*y[0])
0|2|l(-_+x[0])
0|2|l(-_+y[0])
0|2|l(_=l(x[0]))
0|2|l(_=l(y[0]))
0|2|l(_=e(x[0]))
0|2|l(_=e(y[0]))
0|2|l(_=v(x[0]))
0|2|l(_=v(y[0]))
0|2|l(_=-x[0])
0|2|l(_=-y[0])
0|2|l(_#l(x[0]))
0|2|l(_#l(y[0]))
0|2|l(_#e(x[0]))
0|2|l(_#e(y[0]))
0|2|l(_#v(x[0]))
0|2|l(_#v(y[0]))
0|2|l(_#-x[0])
0|2|l(_#-y[0])
0|2|l(_*l(x[0]))
0|2|l(_*l(y[0]))
0|2|l(_*e(x[0]))
0|2|l(_*e(y[0]))
0|2|l(_*v(x[0]))
0|2|l(_*v(y[0]))
0|2|l(_*-x[0])
0|2|l(_*-y[0])
0|2|l(_+l(x[0]))
0|2|l(_+l(y[0]))
0|2|l(_+e(x[0]))
0|2|l(_+e(y[0]))
0|2|l(_+v(x[0]))
0|2|l(_+v(y[0]))
0|2|l(_+-x[0])
0|2|l(_+-y[0])
0|2|e(e(_=x[0]))
0|2|e(e(_=y[0]))
0|2|e(e(_#x[0]))
0|2|e(e(_#y[0]))
0|2|e(e(_*x[0]))
0|2|e(e(_*y[0]))
0|2|e(e(_+x[0]))
0|2|e(e(_+y[0]))
0|2|e(v(_=x[0]))
0|2|e(v(_=y[0]))
0|2|e(v(_#x[0]))
0|2|e(v(_#y[0]))
0|2|e(v(_*x[0]))
0|2|e(v(_*y[0]))
0|2|e(v(_+x[0]))
0|2|e(v(_+y[0]))
0|2|e(-_=x[0])
0|2|e(-_=y[0])
0|2|e(-_#x[0])
0|2|e(-_#y[0])
0|2|e(-_*x[0])
0|2|e(-_*y[0])
0|2|e(-_+x[0])
0|2|e(-_+y[0])
0|2|e(_=l(x[0]))
0|2|e(_=l(y[0]))
0|2|e(_=e(x[0]))
0|2|e(_=e(y[0]))
0|2|e(_=v(x[0]))
0|2|e(_=v(y[0]))
0|2|e(_=-x[0])
0|2|e(_=-y[0])
0|2|e(_#l(x[0]))
0|2|e(_#l(y[0]))
0|2|e(_#e(x[0]))
0|2|e(_#e(y[0]))
0|2|e(_#v(x[0]))
0|2|e(_#v(y[0]))
0|2|e(_#-x[0])
0|2|e(_#-y[0])
0|2|e(_*l(x[0]))
0|2|e(_*l(y[0]))
0|2|e(_*e(x[0]))
0|2|e(_*e(y[0]))
0|2|e(_*v(x[0]))
0|2|e(_*v(y[0]))
0|2|e(_*-x[0])
0|2|e(_*-y[0])
0|2|e(_+l(x[0]))
0|2|e(_+l(y[0]))
0|2|e(_+e(x[0]))
0|2|e(_+e(y[0]))
0|2|e(_+v(x[0]))
0|2|e(_+v(y[0]))
0|2|e(_+-x[0])
0|2|e(_+-y[0])
0|2|v(l(_=x[0]))
0|2|v(l(_=y[0]))
0|2|v(l(_#x[0]))
0|2|v(l(_#y[0]))
0|2|v(l(_*x[0]))
0|2|v(l(_*y[0]))
0|2|v(l(_+x[0]))
0|2|v(l(_+y[0]))
0|2|v(e(_=x[0]))
0|2|v(e(_=y[0]))
0|2|v(e(_#x[0]))
0|2|v(e(_#y[0]))
0|2|v(e(_*x[0]))
0|2|v(e(_*y[0]))
0|2|v(e(_+x[0]))
0|2|v(e(_+y[0]))
0|2|v(-_=x[0])
0|2|v(-_=y[0])
0|2|v(-_#x[0])
0|2|v(-_#y[0])
0|2|v(-_*x[0])
0|2|v(-_*y[0])
0|2|v(-_+x[0])
0|2|v(-_+y[0])
0|2|v(_=l(x[0]))
0|2|v(_=l(y[0]))
0|2|v(_=e(x[0]))
0|2|v(_=e(y[0]))
0|2|v(_=v(x[0]))
0|2|v(_=v(y[0]))
0|2|v(_=-x[0])
0|2|v(_=-y[0])
0|2|v(_#l(x[0]))
0|2|v(_#l(y[0]))
0|2|v(_#e(x[0]))
0|2|v(_#e(y[0]))
0|2|v(_#v(x[0]))
0|2|v(_#v(y[0]))
0|2|v(_#-x[0])
0|2|v(_#-y[0])
0|2|v(_*l(x[0]))
0|2|v(_*l(y[0]))
0|2|v(_*e(x[0]))
0|2|v(_*e(y[0]))
0|2|v(_*v(x[0]))
0|2|v(_*v(y[0]))
0|2|v(_*-x[0])
0|2|v(_*-y[0])
0|2|v(_+l(x[0]))
0|2|v(_+l(y[0]))
0|2|v(_+e(x[0]))
0|2|v(_+e(y[0]))
0|2|v(_+v(x[0]))
0|2|v(_+v(y[0]))
0|2|v(_+-x[0])
0|2|v(_+-y[0])
0|2|-l(_=x[0])
0|2|-l(_=y[0])
0|2|-l(_#x[0])
0|2|-l(_#y[0])
0|2|-l(_*x[0])
0|2|-l(_*y[0])
0|2|-l(_+x[0])
0|2|-l(_+y[0])
0|2|-e(_=x[0])
0|2|-e(_=y[0])
0|2|-e(_#x[0])
0|2|-e(_#y[0])
0|2|-e(_*x[0])
0|2|-e(_*y[0])
0|2|-e(_+x[0])
0|2|-e(_+y[0])
0|2|-v(_=x[0])
0|2|-v(_=y[0])
0|2|-v(_#x[0])
0|2|-v(_#y[0])
0|2|-v(_*x[0])
0|2|-v(_*y[0])
0|2|-v(_+x[0])
0|2|-v(_+y[0])
0|2|-_=l(x[0])
0|2|-_=l(y[0])
0|2|-_=e(x[0])
0|2|-_=e(y[0])
0|2|-_=v(x[0])
0|2|-_=v(y[0])
0|2|-_=-x[0]
0|2|-_=-y[0]
0|2|-_#l(x[0])
0|2|-_#l(y[0])
0|2|-_#e(x[0])
0|2|-_#e(y[0])
0|2|-_#v(x[0])
0|2|-_#v(y[0])
0|2|-_#-x[0]
0|2|-_#-y[0]
0|2|-_*l(x[0])
0|2|-_*l(y[0])
0|2|-_*e(x[0])
0|2|-_*e(y[0])
0|2|-_*v(x[0])
0|2|-_*v(y[0])
0|2|-_*-x[0]
0|2|-_*-y[0]
0|2|-_+l(x[0])
0|2|-_+l(y[0])
0|2|-_+e(x[0])
0|2|-_+e(y[0])
0|2|-_+v(x[0])
0|2|-_+v(y[0])
0|2|-_+-x[0]
0|2|-_+-y[0]
0|2|_=l(l(x[0]))
0|2|_=l(l(y[0]))
0|2|_=l(v(x[0]))
0|2|_=l(v(y[0]))
0|2|_=l(-x[0])
0|2|_=l(-y[0])
0|2|_=e(e(x[0]))
0|2|_=e(e(y[0]))
0|2|_=e(v(x[0]))
0|2|_=e(v(y[0]))
0|2|_=e(-x[0])
0|2|_=e(-y[0])
0|2|_=v(l(x[0]))
0|2|_=v(l(y[0]))
0|2|_=v(e(x[0]))
0|2|_=v(e(y[0]))
0|2|_=v(-x[0])
0|2|_=v(-y[0])
0|2|_=-l(x[0])
0|2|_=-l(y[0])
0|2|_=-e(x[0])
0|2|_=-e(y[0])
0|2|_=-v(x[0])
0|2|_=-v(y[0])
0|2|_=(y[0]+x[0])
0|2|_=(y[0]+y[0])
0|2|_=(x[0]+x[0])
0|2|_=(x[0]+y[0])
0|2|_=(y[0]*x[0])
0|2|_=(y[0]*y[0])
0|2|_=(x[0]*x[0])
0|2|_=(x[0]*y[0])
0|2|_=m(y[0],x[0])
0|2|_=m(x[0],y[0])
0|2|_=i(y[0],x[0])
0|2|_=i(x[0],y[0])
0|2|_=(y[0]+1)
0|2|_=(y[0]+2)
0|2|_=(x[0]+1)
0|2|_=(x[0]+2)
0|2|_=(y[0]*2)
0|2|_=(x[0]*2)
0|2|_=m(y[0],0)
0|2|_=m(y[0],1)
0|2|_=m(y[0],2)
0|2|_=m(x[0],0)
0|2|_=m(x[0],1)
0|2|_=m(x[0],2)
0|2|_=i(y[0],0)
0|2|_=i(y[0],1)
0|2|_=i(y[0],2)
0|2|_=i(x[0],0)
0|2|_=i(x[0],1)
0|2|_=i(x[0],2)
0|2|_#l(l(x[0]))
0|2|_#l(l(y[0]))
0|2|_#l(v(x[0]))
0|2|_#l(v(y[0]))
0|2|_#l(-x[0])
0|2|_#l(-y[0])
0|2|_#e(e(x[0]))
0|2|_#e(e(y[0]))
0|2|_#e(v(x[0]))
0|2|_#e(v(y[0]))
0|2|_#e(-x[0])
0|2|_#e(-y[0])
0|2|_#v(l(x[0]))
0|2|_#v(l(y[0]))
0|2|_#v(e(x[0]))
0|2|_#v(e(y[0]))
0|2|_#v(-x[0])
0|2|_#v(-y[0])
0|2|_#-l(x[0])
0|2|_#-l(y[0])
0|2|_#-e(x[0])
0|2|_#-e(y[0])
0|2|_#-v(x[0])
0|2|_#-v(y[0])
0|2|_#(y[0]+x[0])
0|2|_#(y[0]+y[0])
0|2|_#(x[0]+x[0])
0|2|_#(x[0]+y[0])
0|2|_#(y[0]*x[0])
0|2|_#(y[0]*y[0])
0|2|_#(x[0]*x[0])
0|2|_#(x[0]*y[0])
0|2|_#m(y[0],x[0])
0|2|_#m(x[0],y[0])
0|2|_#i(y[0],x[0])
0|2|_#i(x[0],y[0])
0|2|_#(y[0]+1)
0|2|_#(y[0]+2)
0|2|_#(x[0]+1)
0|2|_#(x[0]+2)
0|2|_#(y[0]*2)
0|2|_#(x[0]*2)
0|2|_#m(y[0],0)
0|2|_#m(y[0],1)
0|2|_#m(y[0],2)
0|2|_#m(x[0],0)
0|2|_#m(x[0],1)
0|2|_#m(x[0],2)
0|2|_#i(y[0],0)
0|2|_#i(y[0],1)
0|2|_#i(y[0],2)
0|2|_#i(x[0],0)
0|2|_#i(x[0],1)
0|2|_#i(x[0],2)
0|2|_*l(l(x[0]))
0|2|_*l(l(y[0]))
0|2|_*l(v(x[0]))
0|2|_*l(v(y[0]))
0|2|_*l(-x[0])
0|2|_*l(-y[0])
0|2|_*e(e(x[0]))
0|2|_*e(e(y[0]))
0|2|_*e(v(x[0]))
0|2|_*e(v(y[0]))
0|2|_*e(-x[0])
0|2|_*e(-y[0])
0|2|_*v(l(x[0]))
0|2|_*v(l(y[0]))
0|2|_*v(e(x[0]))
0|2|_*v(e(y[0]))
0|2|_*v(-x[0])
0|2|_*v(-y[0])
0|2|_*-l(x[0])
0|2|_*-l(y[0])
0|2|_*-e(x[0])
0|2|_*-e(y[0])
0|2|_*-v(x[0])
0|2|_*-v(y[0])
0|2|_*(y[0]+x[0])
0|2|_*(y[0]+y[0])
0|2|_*(x[0]+x[0])
0|2|_*(x[0]+y[0])
0|2|_*(y[0]*x[0])
0|2|_*(y[0]*y[0])
0|2|_*(x[0]*x[0])
0|2|_*(x[0]*y[0])
0|2|_*m(y[0],x[0])
0|2|_*m(x[0],y[0])
0|2|_*i(y[0],x[0])
0|2|_*i(x[0],y[0])
0|2|_*(y[0]+1)
0|2|_*(y[0]+2)
0|2|_*(x[0]+1)
0|2|_*(x[0]+2)
0|2|_*(y[0]*2)
0|2|_*(x[0]*2)
0|2|_*m(y[0],0)
0|2|_*m(y[0],1)
0|2|_*m(y[0],2)
0|2|_*m(x[0],0)
0|2|_*m(x[0],1)
0|2|_*m(x[0],2)
0|2|_*i(y[0],0)
0|2|_*i(y[0],1)
0|2|_*i(y[0],2)
0|2|_*i(x[0],0)
0|2|_*i(x[0],1)
0|2|_*i(x[0],2)
0|2|_+l(l(x[0]))
0|2|_+l(l(y[0]))
0|2|_+l(v(x[0]))
0|2|_+l(v(y[0]))
0|2|_+l(-x[0])
0|2|_+l(-y[0])
0|2|_+e(e(x[0]))
0|2|_+e(e(y[0]))
0|2|_+e(v(x[0]))
0|2|_+e(v(y[0]))
0|2|_+e(-x[0])
0|2|_+e(-y[0])
0|2|_+v(l(x[0]))
0|2|_+v(l(y[0]))
0|2|_+v(e(x[0]))
0|2|_+v(e(y[0]))
0|2|_+v(-x[0])
0|2|_+v(-y[0])
0|2|_+-l(x[0])
0|2|_+-l(y[0])
0|2|_+-e(x[0])
0|2|_+-e(y[0])
0|2|_+-v(x[0])
0|2|_+-v(y[0])
0|2|_+(y[0]+x[0])
0|2|_+(y[0]+y[0])
0|2|_+(x[0]+x[0])
0|2|_+(x[0]+y[0])
0|2|_+(y[0]*x[0])
0|2|_+(y[0]*y[0])
0|2|_+(x[0]*x[0])
0|2|_+(x[0]*y[0])
0|2|_+m(y[0],x[0])
0|2|_+m(x[0],y[0])
0|2|_+i(y[0],x[0])
0|2|_+i(x[0],y[0])
0|2|_+(y[0]+1)
0|2|_+(y[0]+2)
0|2|_+(x[0]+1)
0|2|_+(x[0]+2)
0|2|_+(y[0]*2)
0|2|_+(x[0]*2)
0|2|_+m(y[0],0)
0|2|_+m(y[0],1)
0|2|_+m(y[0],2)
0|2|_+m(x[0],0)
0|2|_+m(x[0],1)
0|2|_+m(x[0],2)
0|2|_+i(y[0],0)
0|2|_+i(y[0],1)
0|2|_+i(y[0],2)
0|2|_+i(x[0],0)
0|2|_+i(x[0],1)
0|2|_+i(x[0],2)
0|2|2+_=x[0]
0|2|2+_=y[0]
0|2|2+_#x[0]
0|2|2+_#y[0]
0|2|2+_*x[0]
0|2|2+_*y[0]
0|2|2+_+x[0]
0|2|2+_+y[0]
0|2|1+_=x[0]
0|2|1+_=y[0]
0|2|1+_#x[0]
0|2|1+_#y[0]
0|2|1+_*x[0]
0|2|1+_*y[0]
0|2|1+_+x[0]
0|2|1+_+y[0]
0|2|2*_=x[0]
0|2|2*_=y[0]
0|2|2*_#x[0]
0|2|2*_#y[0]
0|2|2*_*x[0]
0|2|2*_*y[0]
0|2|2*_+x[0]
0|2|2*_+y[0]
0|2|m(2,_=x[0])
0|2|m(2,_=y[0])
0|2|m(2,_#x[0])
0|2|m(2,_#y[0])
0|2|m(2,_*x[0])
0|2|m(2,_*y[0])
0|2|m(2,_+x[0])
0|2|m(2,_+y[0])
0|2|m(1,_=x[0])
0|2|m(1,_=y[0])
0|2|m(1,_#x[0])
0|2|m(1,_#y[0])
0|2|m(1,_*x[0])
0|2|m(1,_*y[0])
0|2|m(1,_+x[0])
0|2|m(1,_+y[0])
0|2|m(0,_=x[0])
0|2|m(0,_=y[0])
0|2|m(0,_#x[0])
0|2|m(0,_#y[0])
0|2|m(0,_*x[0])
0|2|m(0,_*y[0])
0|2|m(0,_+x[0])
0|2|m(0,_+y[0])
0|2|i(2,_=x[0])
0|2|i(2,_=y[0])
0|2|i(2,_#x[0])
0|2|i(2,_#y[0])
0|2|i(2,_*x[0])
0|2|i(2,_*y[0])
0|2|i(2,_+x[0])
0|2|i(2,_+y[0])
0|2|i(1,_=x[0])
0|2|i(1,_=y[0])
0|2|i(1,_#x[0])
0|2|i(1,_#y[0])
0|2|i(1,_*x[0])
0|2|i(1,_*y[0])
0|2|i(1,_+x[0])
0|2|i(1,_+y[0])
0|2|i(0,_=x[0])
0|2|i(0,_=y[0])
0|2|i(0,_#x[0])
0|2|i(0,_#y[0])
0|2|i(0,_*x[0])
0|2|i(0,_*y[0])
0|2|i(0,_+x[0])
0|2|i(0,_+y[0])
