T=li gi
V=x,y,z
R=1,7,1
F=(x+y) + 2*(x-z) + 3*(x*y) + 4*(y/z) + 5*(x%z) + \
  6*(x<y) + 7*(x<=z) + 8*(x>2*z) + 9*(y>=3*z) + 10*(x+y!=z) + \
  11*(100+x) + 12*(101-y) + 13*(102*z) + 14*(103/x)
C=(x+y) + 2*(x-z) + 3*(x*y) + 4*(y/z) + 5*fp_mod(x,z) + \
  6*(x<y) + 7*(x<=z) + 8*(x>2*z) + 9*(y>=3*z) + 10*(x+y!=z) + \
  11*(100+x) + 12*(101-y) + 13*(102*z) + 14*(103/x)
