x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
3200*x_2+1271
62500*x_1^2+62500*x_4^2+62500*x_7^2-74529
625*x_2^2+625*x_5^2+625*x_8^2-1250*x_2-2624
400000*x_1*x_2+400000*x_4*x_5+400000*x_7*x_8-400000*x_2+178837
12500*x_3^2+12500*x_6^2+12500*x_9^2+2500*x_3-44975*x_6-10982
1000000*x_1*x_3+1000000*x_4*x_6+1000000*x_7*x_9+100000*x_3-1799000*x_6-805427
2000000*x_2*x_3+2000000*x_5*x_6+2000000*x_8*x_9-2000000*x_2+200000*x_3-3598000*x_6-1403
-113800000000000*x_1*x_5*x_9+113800000000000*x_1*x_6*x_8+113800000000000*x_2*x_4*x_9-113800000000000*x_2*x_6*x_7-113800000000000*x_3*x_4*x_8+113800000000000*x_3*x_5*x_7+206888400000000*x_1*x_5-206888400000000*x_1*x_6+2014260000000*x_1*x_8-2014260000000*x_1*x_9-206888400000000*x_2*x_4+206888400000000*x_2*x_6-2014260000000*x_2*x_7+2014260000000*x_2*x_9+206888400000000*x_3*x_4-206888400000000*x_3*x_5+2014260000000*x_3*x_7-2014260000000*x_3*x_8+61907200000000*x_4*x_8-61907200000000*x_4*x_9-61907200000000*x_5*x_7+61907200000000*x_5*x_9+61907200000000*x_6*x_7-61907200000000*x_6*x_8-362960716800000*x_1+38025201600000*x_2+292548849600000*x_3+11809567440000*x_4+1475978220000*x_5-825269402280000*x_6-1212982689600000*x_7-151600474800000*x_8+825859951200000*x_9-19295432410527
777600000000*x_1*x_5*x_9-777600000000*x_1*x_6*x_8-777600000000*x_2*x_4*x_9+777600000000*x_2*x_6*x_7+777600000000*x_3*x_4*x_8-777600000000*x_3*x_5*x_7+1409011200000*x_1*x_5-1409011200000*x_1*x_6+1065312000000*x_1*x_8-1065312000000*x_1*x_9-1409011200000*x_2*x_4+1409011200000*x_2*x_6-1065312000000*x_2*x_7+1065312000000*x_2*x_9+1409011200000*x_3*x_4-1409011200000*x_3*x_5+1065312000000*x_3*x_7-1065312000000*x_3*x_8+805593600000*x_4*x_8-805593600000*x_4*x_9-805593600000*x_5*x_7+805593600000*x_5*x_9+805593600000*x_6*x_7-805593600000*x_6*x_8+235685027200*x_1+398417510400*x_2+158626915200*x_3-311668424000*x_4-268090368000*x_5+72704002800*x_6+412221302400*x_7+354583756800*x_8+307085438400*x_9+282499646407
