x16, x15, x14, x13, x12, x11, x10, x9, x8, x7, x6, x5, x4, x3, x2, x1, 
x4*x13+x5*x14+x6*(1-x13-x14)
x4*x15+x5*x16-x6*(x15+x16)
x7*x13+x8*x14+x9*(1-x13-x14)
x7*x15+x8*x16-x9*(x15+x16)-1
x10*x13+x11*x14+x12*(1-x13-x14)
x10*x15+x11*x16-x12*(x15+x16)
x1*x13+x2*x14+x3*(1-x13-x14)
x1*x15+x2*x16-x3*(x15+x16)
x1*x4*x13+x2*x5*x14+x3*x6*(1-x13-x14)-1
x1*x4*x15+x2*x5*x16-x3*x6*(x15+x16)
x1*x7*x13+x2*x8*x14+x3*x9*(1-x13-x14)
x1*x7*x15+x2*x8*x16-x3*x9*(x15+x16)
x1*x10*x13+x2*x11*x14+x3*x12*(1-x13-x14)
x1*x10*x15+x2*x11*x16-x3*x12*(x15+x16)-1
