V000InS2V200 = B -> { -2*B_0*B_20-2*B_1*B_19-B_2*B_17-2*B_3*B_18+2*B_4*B_16-2*B_5*B_15+2*B_6*B_13-B_7*B_12+2*B_8*B_14+3*B_9^2+2*B_9*B_10+2*B_9*B_11+B_10^2+B_11^2 };