a, b, c, d, e, f, g, h, t, u, v, w, x, y, z, 
a*g
a*h+b*g+d*f+w
3007*c
w*f
c*g+3007*a+4*c+3007*d+3007*e+t
a*g+c*f+c*h+d*g+e*g+4*a+3007*b+4*d+4*e+u+v+3007*w+y
a*f+a*h+b*g+d*f+d*h+e*f+e*h+g*w+4*b+4*w+x+z-1
b*f+b*h+f*w+h*w
b*f+2*f*w+h*w
2*a*f+a*h+b*g+d*f+e*f+2*g*w+4*w+x
2*a*g+c*f+d*g+e*g+4*a+3007*w+y
c*g+3007*a
a*f+g*w
b*f+2*b*h+h*w
a*h+b*g+d*f+2*d*h+e*h+5*b+w+z
c*h+d*g+a+3007*b+5*d+e+u
3007*d+c
b*f+h*w
d*g+a
