a, b, c, d, e, f, g, h, k, l, m, 
a+b+c+d+e+f+g+h-1
-a^2*k-2*a*b*k-a*c*k-a*d*k-a*e*k-a*f*k-b^2*k-b*c*k-b*d*k-b*e*k-b*f*k-c*e*k-c*f*k-d*e*k-d*f*k+a+b
-a^2*l-a*b*l-a*c*l-a*d*l-a*e*l-b*e*l-c*e*l-d*e*l+a^2+2*a*b+a*e+a*f+b^2+b*e+b*f
a+c+e+g-m
