T=d li
V=x
R=0,1,1
F=(5|3)+x+(5|0)+(0|5)+(0|0)
C=fp_or(5,3)+x+fp_or(5,0)+fp_or(0,5)+fp_or(0,0)

