V00inS2V01 = B -> { (1/3)*B_0^2+B_0*B_1+B_1^2+(1/3)*B_2*B_8+B_3*B_9+(1/3)*B_4*B_10+(1/3)*B_5*B_11+B_6*B_12+B_7*B_13 };