w12, w13, w14, w15, w23, w25, w34, w45, w26, w36, w46, w56, x, y, z, 
w12+w14
w12+w13
w12+w15
-w26*x+w12+w23+w25+w26
-w26*y+w12+w25+w26
-w26*z+w12+w23+w26
w36*x+w23+w34
-w36*y+w13+w34+w36
w36*z+w23
-w46*x+w14+w34+w45+w46
w46*y+w34
w56*z+w45
-w56*z+w15+w45+w56
w26*x+w36*x+w46*x+w56*x-w26-w46
w26*y+w36*y+w46*y+w56*y-w26-w36
w26*z+w36*z+w46*z+w56*z-w26-w56
