T=d li
V=x
R=0,1,1
F=(!(3))+x
C=fp_not(3)+x
