x80, x73, x72, x71, x19, x18, x17, x16, x15, x14, x13, x12, x11, x10, 
-2*x14*x72^2*x80-x15*x71*x72*x80-x16*x72*x73*x80-x13*x72*x80+x10*x71
2*x12*x71*x73*x80+2*x11*x71*x80+x15*x72*x80+x19*x73*x80+x10*x80-2*x10
-x12*x71^2*x73*x80-2*x14*x72^2*x80-x15*x71*x72*x80-2*x16*x72*x73*x80-2*x18*x73^2*x80-x19*x71*x73*x80-x13*x72*x80-x17*x73*x80+2*x10*x71
x12*x71^2*x73+x11*x71^2+x14*x72^2+x15*x71*x72+x16*x72*x73+x18*x73^2+x19*x71*x73+x10*x71+x13*x72+x17*x73-1
