-36963+283383*x7*x9*x11*x12*x14*x15^5*x16^2*x17^3*x20^2*x21^3*x23^2*x24^3*
x25*x26*x28*x29-195138*x6*x7^2*x8^3*x10^2*x13^4*x14^2*x17^2*x18*x19*x20*x22^3*
x24*x25^4*x27^2*x29-204462*x6*x7*x9^2*x13^3*x16^2*x17*x19^2*x23^10*x26*x28^5*
x29^2-141525*x5^2*x6^2*x12^2*x13^2*x15^4*x18^4*x19^3*x20*x24^3*x25*x26*x27^3*
x30+112887*x5*x6^2*x7*x8*x9*x11^2*x14*x18*x19^3*x22^5*x23*x24^5*x25^2*x26*x29*
x30-107226*x5*x6^2*x8^7*x10^3*x13*x17^3*x20^2*x21^2*x23*x25*x27*x28^2*x29*x30^2
+78921*x5*x7*x8*x9^2*x12^3*x14*x16*x17^4*x18*x20^3*x21*x24*x26*x27^5*x29*x30^3+
28971*x4*x8*x11^7*x13^3*x14^5*x18*x19^6*x20^2*x21^2*x30^2+78366*x4^3*x7^4*x12^3
*x13*x14*x15^2*x16^4*x21*x22*x23*x25^2*x30^5+192807*x4*x5^3*x6*x7*x13*x14*x15*
x17*x19^2*x20^3*x22*x23^4*x25*x27*x28^2*x29*x30+115218*x4*x5^2*x9^7*x15*x16^2*
x17^3*x18*x20*x23*x27^2*x28^3*x30^4-161172*x4^2*x6*x7^2*x9^4*x10*x17^5*x18^3*
x19*x21^3*x22*x26^4*x28*x29^2+297369*x4*x5^2*x6^5*x9^4*x13^5*x15*x16*x18^2*x21*
x24*x25^3*x26^2*x28*x30+89244*x4*x5^2*x8^2*x11^2*x14*x15^2*x16^3*x17^5*x18*x19*
x20*x22^4*x23^2*x24*x25*x26-20979*x4*x7*x9^2*x10*x11^2*x13^4*x14*x16^3*x19*x20^
2*x22*x23^4*x26*x27^6-103230*x3*x9^2*x11*x12*x13^4*x15^2*x16^2*x18^2*x19^3*x20*
x21^2*x23^5*x29^2-26640*x3^3*x5*x6^2*x7*x9*x13^3*x15^2*x17^2*x21*x25^2*x26^4*
x29^7+139527*x3*x4^3*x6^3*x7*x9*x10*x14*x15^2*x16^2*x17^3*x19^2*x21*x22*x23*x24
*x25^2*x26*x27*x29+151848*x3^4*x4*x6*x9*x10*x11^6*x13*x17*x21^2*x26^7*x27*x28^2
*x29*x30-206793*x3^4*x5*x9^2*x10*x12^3*x13^4*x16*x17^2*x19*x20^3*x23^3*x24*x26*
x29^2*x30+86580*x3^3*x4*x9*x10*x11^3*x14*x16*x17^3*x18^2*x19^4*x21*x22^2*x24^3*
x26*x29^3+225108*x3^2*x5^4*x8*x9^2*x10*x11*x12*x13*x14*x16*x17*x18*x20*x22*x23^
3*x25^2*x26*x28*x29^3*x30-302697*x3*x4*x5*x7*x8^7*x10*x13*x14*x16^4*x19^2*x20^2
*x22^2*x23^2*x29^3*x30-173826*x2^2*x3*x5^2*x8^3*x9^4*x10*x12*x15*x17^2*x18*x19*
x20*x21^2*x23*x28*x29^2-153513*x2^2*x5^5*x6^3*x12^2*x13*x14^2*x16*x17^2*x24^3*
x26^2*x28^2*x30+82251*x2^2*x3*x4^3*x6*x8^2*x10^2*x12^3*x15^2*x18*x24*x25*x26^2*
x27*x28^4*x29+188478*x2*x4*x7*x8*x12^4*x15^3*x16^2*x17^4*x19*x20*x21*x23*x24*
x26^2*x28*x30^2+131868*x2^3*x3^4*x6*x7^4*x11^2*x12*x14*x15*x16*x19^3*x20*x23^2*
x25*x26*x27*x29+78255*x2^2*x4*x5*x6^2*x7^3*x8*x10*x11*x12*x17^2*x18*x19*x20^2*
x21^2*x24^3*x26*x27*x28*x30-251748*x2^2*x8^4*x9*x10^2*x11^4*x16*x18*x19*x21^2*
x24*x25*x28^6*x29*x30+33966*x2*x3^4*x5^3*x7^2*x8^2*x10^4*x12*x14*x15*x16*x17*
x19*x20*x23*x27^2*x29*x30-220779*x1^3*x2*x3^2*x4*x5*x6*x12^2*x15^2*x22^4*x23*
x26*x28*x29^2+296703*x1^4*x4^2*x7*x12*x14^3*x16^3*x19*x20*x22^2*x25*x26*x27*x29
*x30-331668*x1*x4*x5^2*x6^2*x7*x8*x9*x10^2*x12^2*x13*x14^2*x17*x19*x23^2*x26*
x29^2*x30+159507*x1*x2^3*x5*x6*x7*x9*x10^2*x13*x14^4*x21*x22^3*x23*x24^2*x25^2*
x28-293040*x1^2*x2*x4^3*x5^2*x7*x11*x12^2*x15^2*x16*x17^3*x19^2*x20*x21*x24^2*
x25*x28*x30+42291*x1^2*x2^4*x7^2*x8^2*x10*x11^2*x14*x15*x19*x20^2*x21^2*x25^6*
x27*x29-276057*x1^2*x5*x6*x8^7*x15^2*x16*x17^3*x19^2*x20*x21^2*x23*x24^2*x25^2*
x26-246420*x1*x2^4*x3*x5*x6^2*x10*x13*x14^2*x15*x17*x18*x20*x21^3*x26^3*x28^3*
x30^2+45621*x1*x2^2*x6*x8^2*x10^3*x11^2*x13*x16*x19^4*x23*x24*x26^3*x27^3*x29*
x30^2-223776*x1*x3*x4^3*x6*x7^2*x8*x10^3*x12^2*x13^3*x16*x22*x25*x26^2*x27*x28^
2*x30^3+40959*x1^6*x2*x3^4*x4^3*x7^2*x8*x9*x10^3*x12^3*x15*x17*x19*x23*x30+
221445*x1^5*x2*x3*x6*x10*x11*x12^2*x13*x15*x17*x18*x20*x21^3*x22^3*x23*x26*x27^
2*x29^2+165501*x1^3*x2^3*x3*x4^2*x5^3*x6^2*x9*x11^2*x14^2*x18^2*x20*x21*x24*x25
^3*x29*x30+82251*x1^3*x2*x7^2*x8*x10^5*x12*x13^2*x16*x17^2*x18^4*x19^3*x23^3*
x25-288045*x1^2*x2^3*x3*x7*x8^6*x10*x11*x15^3*x18*x19*x20^4*x22*x23*x25*x29*x30
-270729*x1^2*x2^2*x4*x7*x8^2*x9*x14^3*x16^2*x21^5*x23^3*x27^3*x28*x29*x30^2+
221778*x1^2*x2*x3*x8^4*x12^2*x13^3*x14^2*x15*x16*x17^2*x19^6*x23*x25*x28^2+
316683*x1*x2^4*x3^5*x6^2*x7*x16^2*x19^5*x20*x21*x23*x26^2*x27*x29^2*x30-6660*x1
*x3^2*x5^3*x6*x7*x8*x12^2*x13^3*x15*x16*x19^2*x20*x23^2*x25^5*x28^3-41625*x1^4*
x4*x6^5*x7*x8^2*x9*x12^2*x13^4*x16*x17*x19*x20^2*x21*x22*x29^2*x30+246087*x1^3*
x2^4*x3*x5*x6^3*x7*x9*x10*x13*x14*x15^3*x16*x20^2*x22*x23*x25*x27*x29^2*x30-
69930*x1^3*x2*x4*x7^2*x8^3*x9*x10^5*x11*x13*x14*x15*x17*x22^3*x23*x26^2*x27^2*
x30-8991*x1^2*x2*x3^2*x5*x6*x8^2*x10^2*x13^2*x18^7*x19^2*x23^4*x28^4-292374*x1^
2*x2*x4^3*x5^2*x7^2*x8^4*x9^2*x10*x13*x14^2*x17*x19*x20^3*x24^2*x27^2*x30-89910
*x1^2*x2*x5^3*x8^2*x9^2*x10*x11*x12*x13*x14*x16^5*x18*x19*x20*x21*x26^4*x29*x30
+16317*x1^2*x4^2*x6^2*x8*x9^2*x10*x11*x12*x14^2*x15^2*x16*x17^4*x18*x21^2*x22^2
*x24^2*x29*x30-82917*x1^2*x4*x5^4*x8*x12^4*x13^2*x16^2*x17*x19*x20*x21*x25*x26^
3*x30^6-265068*x1^2*x4*x5^2*x7^3*x10*x12^2*x14^2*x15*x16^3*x20^6*x21*x22*x27^2*
x28*x29^2+217116*x1*x2^5*x6^5*x10*x11*x12^4*x16*x18*x19*x20*x21*x22*x24*x27*x28
^2*x30^3-279054*x1*x2^3*x3*x5^2*x6^2*x9*x10*x11*x18*x19^2*x20^2*x22*x23*x24^3*
x25*x26*x27^4*x30^2-173826*x1*x2*x3*x4^4*x5^4*x7*x10^3*x14^4*x17^2*x19*x22*x24*
x25*x26^2*x29^3+90576*x1*x2*x3*x4*x7*x9^2*x11^2*x12*x14*x15^2*x16*x17*x19*x23^2
*x24*x26^2*x28^6*x29*x30^2+23310*x1*x2*x3*x6^2*x7*x8^4*x11*x13^3*x14*x18*x19^5*
x21*x25^4*x26*x27*x28*x30-88578*x1*x2*x4*x7^2*x10^5*x11^4*x12^2*x15^4*x16*x20^3
*x21*x23^2*x25*x27^2+267732*x1*x3^4*x4^4*x7*x8^2*x9*x12^3*x14^5*x15^2*x16*x18^3
*x24*x28*x29+231435*x1*x3^3*x4^5*x7*x9*x10^6*x11*x18^3*x21^2*x23*x25*x27^2*x30^
3+99567*x1*x3^2*x8*x9^6*x10*x13*x14*x15^2*x16^3*x18*x21^2*x22*x23^4*x24*x25^2*
x27-301698*x1*x3*x4*x7^2*x9^2*x10*x11*x14^2*x18^2*x19^3*x21*x23^2*x25*x26^6*x27
*x28^2*x29-100233*x1*x3*x5^3*x7*x10*x11^3*x13*x14^2*x15^2*x16^4*x19*x20^2*x21*
x22*x23^2*x27^3*x30-164502*x1*x3*x7^2*x8*x10*x12*x14*x15^2*x18*x22^4*x23*x24^5*
x25*x26^5*x27*x29*x30-192474*x1*x4^2*x6*x7^3*x11^2*x14^3*x16^2*x17^2*x19*x20^2*
x21*x22^2*x28^5*x30^3-94905*x1*x5*x6*x7*x10*x12^3*x13^3*x14^3*x15^2*x16^4*x17*
x20^2*x21^2*x22^2*x23*x26^2+166167*x1*x6^2*x8^4*x10*x13*x15^3*x16*x17^3*x19^2*
x20^2*x21^5*x24*x27*x28*x29^2-61383*x1*x2*x3^3*x4^2*x6^2*x7^2*x11*x15*x17^2*x18
^2*x20^2*x21*x23^3*x27^3*x30^4+60828*x1*x2*x3*x5*x6^3*x7*x9*x11^3*x13*x15*x17*
x18^2*x21^2*x23*x25*x26^2*x28^4*x29*x30^2+70818*x1*x3*x4^2*x5*x8^2*x9*x10*x13^2
*x16^6*x17^5*x21*x24*x25^2*x26*x29^2*x30+2775*x1*x4*x9*x10^2*x14^2*x15*x17^2*
x19*x20^4*x27^2*x28^4*x29^7*x30^2+3125*x1^5*x10^2*x12^2*x13^4*x14^2*x15*x16*x17
^3*x19^2*x20^6*x21*x22*x27^2*x28^4*x29^9*x30^3*x4^2*x6^5*x7*x8^2*x9^2+5250*x1^4
*x10^7*x11*x13*x14^3*x15^2*x17^3*x19*x2*x20^4*x22^3*x23*x26^2*x27^4*x28^4*x29^7
*x30^3*x4^2*x7^2*x8^3*x9^2+103000*x1^4*x10*x11*x12^2*x13^5*x14^3*x16*x17^8*x19*
x20^3*x21*x22*x29^3*x3^2*x30^3*x4^2*x5*x6^10*x7^2*x8^4*x9^2+675*x1^3*x10^4*x13^
2*x14^2*x15*x17^2*x18^7*x19^3*x2*x20^4*x23^4*x27^2*x28^8*x29^7*x3^2*x30^2*x4*x5
*x6*x8^2*x9-14931*x1^3*x10^2*x11*x13^2*x15*x17^2*x18^9*x19^2*x2^2*x20^2*x21*x23
^7*x27^3*x28^4*x3^5*x30^4*x4^2*x5*x6^3*x7^2*x8^2+6225*x1^3*x10^2*x12^4*x13^2*
x14^2*x15*x16^2*x17^3*x19^2*x20^5*x21*x25*x26^3*x27^2*x28^4*x29^7*x30^8*x4^2*x5
^4*x8*x9+6650*x1^2*x10^7*x11^4*x12^2*x14^2*x15^5*x16*x17^2*x19*x2*x20^7*x21*x23
^2*x25*x27^4*x28^4*x29^7*x30^2*x4^2*x7^2*x9-443410*x1^2*x10^7*x11*x13^2*x16^6*
x17^5*x18^3*x21^3*x23*x24*x25^3*x26*x27^2*x29^2*x3^4*x30^4*x4^7*x5*x7*x8^2*x9^2
+13050*x1^2*x10^5*x14^6*x15*x17^4*x19^2*x2*x20^4*x22*x24*x25*x26^2*x27^2*x28^4*
x29^10*x3*x30^2*x4^5*x5^4*x7*x9+333036*x1^2*x10^4*x13^2*x14^4*x16^6*x17^7*x19*
x2*x21*x22*x24^2*x25^3*x26^3*x29^5*x3^2*x30*x4^6*x5^5*x7*x8^2*x9+22248*x1^2*x10
^3*x11*x13^3*x14^3*x17^7*x18^7*x19^2*x2*x20*x23^4*x28^4*x29*x3^4*x30^2*x4*x5^2*
x6^6*x7*x8^4*x9+22650*x1^2*x10^3*x11*x14^4*x15*x17^2*x18^2*x19^4*x20^4*x21*x23^
2*x25*x26^6*x27^3*x28^6*x29^8*x3*x30^2*x4^2*x7^2*x9^3-572680*x1*x10^7*x11^2*x13
*x14^3*x17^7*x18^3*x20*x21^2*x23*x25*x27^2*x29*x3^5*x30^5*x4^6*x5*x6^5*x7^2*x8^
2*x9^2-1500*x1*x10^5*x11*x12^4*x14^2*x15^2*x17^2*x18*x19*x2*x20^4*x22*x24*x26^2
*x27^4*x28^5*x29^9*x30^3*x4^3*x7^6*x9^2-13925*x1*x10^4*x11^3*x13^2*x14^3*x15^3*
x16*x17^2*x18*x19^2*x20^4*x24^3*x25^5*x27^3*x28^5*x29^8*x3*x30^5*x4^2*x8*x9-
16975*x1*x10^4*x11^2*x12^3*x14^3*x15*x16^3*x17^2*x18*x19*x2^2*x20^4*x25^2*x26*
x27^2*x28^4*x29^13*x30^2*x4^4*x6^3*x9^2+14650*x1*x10^4*x13^4*x14^4*x15*x17^4*
x18*x19^2*x20^5*x22^3*x24*x25^4*x27^4*x28^4*x29^8*x30^2*x4*x6*x7^2*x8^3*x9+
14125*x1*x10^3*x11^3*x14^7*x15^4*x16*x17^2*x19^2*x2*x20^5*x21^2*x22^2*x25^3*x27
^2*x28^4*x29^10*x3*x30^2*x4^3*x6*x9-6500*x1*x10^3*x11^3*x14^3*x15*x16*x17^5*x18
^2*x19^5*x20^4*x21*x22^2*x24^3*x26*x27^2*x28^4*x29^10*x3^3*x30^2*x4^2*x9^2+
15525*x1*x10^3*x12^3*x13^4*x14^2*x15*x16*x17^4*x19^2*x20^7*x23^3*x24*x26*x27^2*
x28^4*x29^9*x3^4*x30^3*x4*x5*x9^3+18675*x1*x10^3*x12*x13^4*x14^3*x15^3*x16^2*
x17^2*x18*x19^6*x2*x20^7*x22*x23^3*x27^2*x28^4*x29^11*x30^2*x4*x7*x9+22725*x1*
x10^3*x13*x14^3*x15*x16^4*x17^2*x19^3*x20^6*x22^2*x23^2*x27^2*x28^4*x29^10*x3*
x30^3*x4^2*x5*x7*x8^7*x9+5250*x1*x10^3*x14^3*x15*x16*x17^2*x19^3*x2^2*x20^4*x22
^2*x23^4*x25*x27^4*x28^6*x29^12*x3^2*x30^3*x4*x6^2*x7*x9^2-165880*x1*x10^2*x11^
3*x13^2*x14*x16^7*x17^8*x18^2*x19^4*x21^2*x22^2*x24^4*x25^2*x26^2*x29^5*x3^4*
x30*x4^3*x5*x8^2*x9^2+16600*x1*x10^2*x12^3*x14^3*x15*x16*x17^3*x19^3*x2^2*x20^4
*x21*x24^3*x25^2*x27^3*x28^7*x29^13*x30^2*x4*x5*x7^3*x9-55506*x1*x10*x11^7*x13^
5*x14^5*x16^6*x17^5*x18*x19^6*x20^2*x21^3*x24*x25^2*x26*x29^2*x3*x30^3*x4^3*x5*
x8^3*x9+252168*x1*x10*x11^7*x13*x15*x17^3*x18^2*x2*x20^2*x21^3*x23^3*x26^7*x27^
4*x28^2*x29*x3^7*x30^5*x4^3*x6^3*x7^2*x9+476272*x1*x10*x11^3*x13*x14^6*x16^2*
x17^9*x19*x20^3*x21*x22^2*x28^5*x29*x3^2*x30^5*x4^3*x5*x6^6*x7^4*x8^2*x9+391732
*x1*x10*x13^5*x16^8*x17^6*x19^2*x21*x23^10*x24*x25^2*x26^2*x28^5*x29^4*x3*x30*
x4^2*x5*x6*x7*x8^2*x9^3+463967*x1*x11^6*x12^4*x14^2*x15*x17^3*x18^2*x19*x2^5*
x20^4*x21*x22^2*x23^4*x26^3*x27^3*x3^4*x30^4*x4^2*x5*x6^2*x7^5+336472*x1*x11^3*
x13^4*x15*x16^2*x17^2*x18^2*x19^2*x2*x21^2*x23^11*x25*x26^3*x28^9*x29^3*x3*x30^
2*x5*x6^4*x7^2*x9^3+251062*x1*x11^2*x13^2*x14^2*x15^2*x17^2*x18^5*x19*x2^2*x20^
3*x21^2*x23^8*x24*x25*x27^4*x3^4*x30^9*x4^3*x5^2*x6^2*x7^2+143227*x1*x11^2*x14^
7*x15^6*x16*x17^3*x18^2*x19*x2^3*x20^3*x21*x23^3*x24^5*x26*x27^4*x3^5*x30^4*x4^
2*x6^2*x7^2*x9^2-559496*x10^3*x11^3*x12^3*x13*x14^4*x16^3*x17^7*x18*x2^2*x20*
x25^2*x26*x29^7*x3^2*x30^2*x4^4*x5*x6^8*x7*x8^2*x9^2+482864*x10^3*x11*x13^5*x14
^5*x17^9*x18*x19*x20^2*x22^3*x24*x25^4*x27^2*x29^2*x3^2*x30^2*x4*x5*x6^6*x7^3*
x8^5*x9+51912*x10^2*x11^3*x13^5*x14^4*x16^3*x17^7*x19*x20^3*x22*x23^4*x26*x27^6
*x29*x3^2*x30^2*x4^2*x5*x6^5*x7^2*x8^2*x9^3+511704*x10^2*x11*x12^3*x13^5*x14^3*
x16*x17^9*x19*x20^4*x23^3*x24*x26*x29^3*x3^6*x30^3*x4*x5^2*x6^5*x7*x8^2*x9^3+
149144*x10^2*x11*x12*x13^4*x14^3*x17^8*x18*x2^2*x20^3*x21^2*x22*x23*x29*x3^3*
x30^5*x4^10*x5^3*x6^5*x7*x8^2*x9+398816*x10^2*x11*x13*x14^3*x17^12*x18^3*x19*
x20*x21^3*x22*x26^4*x28*x29^3*x3^2*x30^2*x4^3*x5*x6^6*x7^3*x8^2*x9^5-691336*x10
*x11^6*x12^4*x13*x14^5*x17^8*x19*x2^4*x20^3*x22^2*x23*x26^3*x29*x3^3*x30^2*x4*
x5^2*x6^5*x7^4*x8^2*x9-101352*x1^6*x10^4*x11*x12^3*x13*x14^3*x15*x17^8*x19*x2*
x20*x23*x29*x3^6*x30^3*x4^4*x5*x6^5*x7^3*x8^3*x9^2+367745*x1^6*x10*x11^2*x12^2*
x13*x15^2*x17^3*x18^3*x2^2*x20^3*x21^4*x22^3*x23^4*x26*x27^5*x29^2*x3^4*x30^4*
x4^2*x6^3*x7^2+274841*x1^4*x11^3*x14^2*x15*x17^2*x18^4*x2^4*x20^3*x21^2*x23^3*
x24*x25^3*x27^3*x29*x3^4*x30^5*x4^4*x5^3*x6^4*x7^2*x9-16650*x1^3*x10^2*x12^2*
x13^3*x14^4*x15^2*x16*x17^4*x19^7*x2*x20^4*x23*x25*x27^2*x28^6*x29^7*x3*x30^2*
x4*x8^4*x9-409528*x1^3*x10*x11^3*x13*x14^5*x17^7*x18^2*x2^3*x20^2*x21*x24*x25^3
*x29^2*x3^3*x30^3*x4^3*x5^4*x6^7*x7*x8^2*x9^2-478345*x1^3*x10*x11^2*x15^4*x17^2
*x18^3*x19*x2^4*x20^6*x21*x22*x23^4*x25*x27^3*x29*x3^4*x30^5*x4^2*x6^2*x7^3*x8^
6-449589*x1^3*x11*x14^3*x15*x16^2*x17^2*x18^2*x2^3*x20^2*x21^6*x23^6*x27^6*x28*
x29*x3^3*x30^6*x4^3*x6^2*x7^3*x8^2*x9+24624*x1^2*x10^3*x11*x13^3*x15^2*x16*x17^
3*x18^8*x19^2*x2*x20^2*x23^6*x25*x27*x28^4*x3^3*x30^4*x5^6*x6*x7^2*x8^3+23004*
x1^2*x10^2*x11^2*x12^2*x13^2*x15*x16^5*x18^7*x19^4*x2*x22^3*x23^4*x25*x27^2*x28
^5*x29^2*x3^3*x5*x6^2*x8^7*x9-23775*x1^2*x10^2*x14^2*x15*x16^2*x17^2*x19^6*x2^4
*x20^5*x21*x23*x26^2*x27^3*x28^4*x29^9*x3^5*x30^3*x4*x6^2*x7*x9-683880*x1*x10^8
*x11^4*x12^2*x14^2*x17*x18^7*x19*x21^2*x22*x23^2*x25^3*x26^3*x27^3*x28*x3^3*x30
^3*x4^7*x6^2*x7^2*x9+242592*x1*x10^6*x11^5*x12^2*x13*x15^6*x16^2*x17^3*x18*x2*
x20^5*x21*x23^4*x25^2*x27^3*x3*x30^4*x4*x5^5*x7^4*x8+205436*x1*x10^4*x13^3*x16^
6*x17^8*x20^2*x21^3*x23*x24*x25^3*x26*x27*x28^2*x29^3*x3*x30^3*x4^2*x5^2*x6^2*
x8^9*x9+891504*x1*x10^3*x11^4*x12^2*x14^4*x17*x18^6*x19^4*x21*x22*x23^3*x25^3*
x26^9*x27^2*x28^3*x29*x3*x4^3*x6^2*x7^3*x9^2-13075*x1*x10^3*x11*x14^3*x15^2*x17
^3*x18^2*x19*x2^4*x20^4*x23^6*x26*x27^3*x28^5*x29^8*x3^4*x30^2*x4^2*x6*x7^2*x9+
568752*x1*x10^2*x11^5*x12^2*x14^5*x16^2*x17^3*x18^4*x19^2*x20^2*x21*x22^3*x23*
x25^2*x26^3*x27*x28^6*x30^3*x4^4*x6^3*x7^4+274512*x1*x10^2*x11^4*x13^2*x14^2*
x15^4*x16^5*x17^3*x18*x19*x20^4*x21*x22*x23^4*x25*x27^4*x3^2*x30^5*x5^8*x7^3*x8
+10625*x1*x10^2*x12^2*x13^2*x14^2*x15^5*x17^2*x18^4*x19^4*x20^5*x24^3*x25*x26*
x27^5*x28^4*x29^7*x30^3*x4*x5^2*x6^2*x9-9300*x1*x10^2*x12*x14^3*x15^3*x16^2*x17
^3*x19^2*x2^2*x20^6*x22^2*x24*x26^2*x27^4*x28^5*x29^9*x30^3*x4*x6^2*x7^2*x9^3+
2000*x1*x10^2*x13^3*x14^2*x15^3*x17^4*x19*x20^4*x21*x25^2*x26^4*x27^2*x28^4*x29
^14*x3^3*x30^2*x4*x5*x6^2*x7*x9^2-425148*x1*x10*x11^2*x12^2*x13*x15^4*x16^6*x17
^3*x19^4*x20^2*x21^5*x22^3*x24*x25*x27^3*x28^2*x29^4*x3*x6^3*x8^9*x9-44240*x1*
x11*x13^3*x15^3*x17^4*x18^2*x2*x20^2*x21^2*x23^3*x25^2*x26^4*x27^3*x29^7*x3^6*
x30^4*x4^2*x5*x6^4*x7^3*x9+576624*x10^4*x11^3*x12^2*x13^4*x14^4*x17^3*x18^5*x19
^2*x20*x22^4*x23*x24*x25^6*x26^3*x27^3*x28*x29*x4^2*x6^3*x7^3*x8^3-85608*x10^2*
x11^10*x12^2*x13^3*x14^7*x17*x18^5*x19^7*x20^2*x21^2*x22*x23*x25^2*x26^3*x27*
x28*x30^2*x4^3*x6^2*x7*x8-474564*x10^2*x11^5*x12^2*x13^2*x14*x15^3*x16^6*x18*
x19^3*x22^3*x24^3*x25^6*x27^3*x28^2*x29^3*x3^2*x30^3*x4*x6*x8^6*x9+165072*x10^2
*x11*x12*x13^4*x15^2*x16*x17^4*x18^2*x2^2*x20^4*x21^2*x22*x23^3*x25*x27*x3^2*
x30^7*x4^9*x5^7*x7^2*x8+829008*x10^2*x11*x13^2*x14*x15^2*x16^5*x17^3*x18*x19^2*
x20^4*x22^2*x23^4*x25*x27*x29^3*x3^2*x30^5*x4*x5^6*x7^3*x8^8-388512*x10*x11^8*
x12^2*x13*x15*x16^5*x17*x19^2*x21^2*x22^3*x25*x26^7*x27^3*x28^3*x29^3*x3^5*x30*
x4*x6^2*x8^5*x9^2+412368*x10*x11^2*x12^2*x15*x16^5*x17^5*x18^3*x19^3*x21^3*x22^
4*x25*x26^4*x27^2*x28^2*x29^4*x3*x4^2*x6^2*x7^2*x8^5*x9^5-74124*x11^9*x12^2*x13
^3*x14^5*x15*x16^5*x18*x19^8*x20^2*x21^2*x22^3*x25*x27^2*x28*x29^2*x3*x30^2*x4*
x6*x8^6*x9+565728*x11^2*x12^5*x14*x15*x16^6*x17*x19^4*x2^2*x21*x22^3*x24^3*x25^
3*x27^3*x28^4*x29^8*x3*x5*x6*x7^3*x8^5*x9-243048*x1^3*x10^7*x11^3*x12^3*x13^2*
x14^2*x16*x17^3*x18^8*x19^4*x2*x22*x23^4*x25^3*x26^3*x27*x28*x4^2*x6^2*x7^3*x8+
148260*x1^3*x10^5*x11*x12^3*x13^2*x14^2*x15^3*x16^4*x17*x2*x21*x22^4*x23^2*x25^
2*x26^2*x27^2*x30^6*x4^4*x7^6*x8^3*x9+70231*x1^3*x10*x11^3*x14*x15^2*x17^2*x18^
2*x19*x2^5*x20^4*x21^3*x23^3*x25^6*x27^4*x29*x3^3*x30^4*x4^2*x6^2*x7^4*x8^2+
528902*x1^3*x10*x13^2*x15^2*x16^7*x17^8*x19^2*x20*x21^3*x23*x24^3*x25^4*x26^2*
x29^2*x3*x30*x4^2*x5^2*x6*x8^9*x9+18500*x1^2*x10^3*x13*x14^4*x15^2*x17^3*x18*
x19*x2^4*x20^5*x21^3*x26^3*x27^2*x28^7*x29^7*x3*x30^4*x4*x5*x6^2*x9+788880*x1^2
*x10^2*x11^2*x13*x15^5*x16*x17^3*x18^2*x19*x2^3*x20^6*x22*x23^3*x25^2*x27*x29*
x3^2*x30^5*x5^5*x7^3*x8^7-409220*x1^2*x10*x11*x13*x14^2*x15^2*x17^3*x18^3*x2^5*
x20^3*x21^4*x23^3*x26^3*x27^3*x28^3*x3^4*x30^6*x4^2*x5*x6^4*x7^2+9425*x1*x10^6*
x11*x14^2*x15^2*x16^3*x17^2*x19^2*x2*x20^4*x23^2*x27^2*x28^5*x29^9*x3^2*x30^2*
x4*x5^2*x6^2*x8^4*x9^3-2550*x1*x10^6*x12*x14^3*x15^2*x16*x17^3*x19^2*x2*x20^5*
x23*x27^4*x28^4*x29^8*x3^4*x30^3*x4*x5^3*x7^2*x8^2*x9+18900*x1*x10^4*x11^4*x14^
2*x15*x16*x17^2*x18*x19^2*x2^2*x20^4*x21^2*x24*x25*x27^2*x28^10*x29^8*x30^3*x4*
x8^4*x9^2+482328*x1*x10^3*x11^4*x13^2*x16^7*x17^5*x18*x19*x2^2*x21^3*x24^2*x25^
3*x26*x28^6*x29^3*x3*x30^2*x4^2*x5*x8^6*x9^2+7750*x1*x10^2*x11*x12*x13^4*x14^2*
x15^3*x16^2*x17^2*x18^2*x19^4*x20^5*x21^2*x23^5*x27^2*x28^4*x29^9*x3*x30^2*x4*
x9^3+18240*x1*x10*x11*x12^2*x13^4*x15^3*x16^2*x17^3*x18*x19^2*x20^3*x23^4*x25^6
*x27*x28^3*x3^3*x30^4*x5^8*x6*x7^3*x8^2+348764*x1*x10*x12^4*x13*x14^2*x15^4*x16
^4*x18*x21*x22^5*x23^2*x24^5*x25^3*x26^5*x27*x29*x3*x30^6*x4^3*x7^6*x8-171430*
x1*x11^2*x12*x13^4*x15^3*x16^2*x17^2*x18^4*x19^3*x2*x20^3*x21^3*x23^8*x27^3*x29
^2*x3^4*x30^4*x4^2*x6^2*x7^2*x9^2+310648*x10^5*x11^2*x13*x14^3*x15*x16^3*x17^7*
x19*x2*x20*x23^2*x28*x29^3*x3^4*x30^2*x4*x5^3*x6^7*x7*x8^6*x9^3+387600*x10*x11*
x12^2*x13^3*x15^6*x16*x17^3*x18^5*x19^3*x20^3*x23^2*x24^3*x25^2*x26*x27^4*x3*
x30^5*x5^7*x6^2*x7^2*x8+72960*x10*x11*x13^4*x15^4*x16*x17^5*x18*x20^2*x21*x23^2
*x25^3*x26^4*x27*x29^7*x3^4*x30^4*x5^6*x6^2*x7^3*x8*x9-285104*x10*x11*x13*x14^3
*x15*x16^2*x17^10*x18*x20^2*x23*x27^2*x28^3*x29*x3^2*x30^6*x4^2*x5^3*x6^5*x7*x8
^2*x9^8+148260*x10*x12^3*x13*x14^2*x15^2*x16^5*x19^2*x2^2*x21*x22^3*x23^5*x25^3
*x27^2*x28^2*x29^5*x3^2*x30^6*x4^3*x6^2*x7^5*x9+341704*x10*x12^3*x13*x14*x15^2*
x16^4*x17^5*x18^3*x19*x21^4*x22^2*x23*x25^2*x26^4*x28*x29^2*x30^5*x4^5*x6*x7^6*
x9^4+362100*x11^2*x12^4*x13^2*x15^5*x16^5*x18^4*x19^5*x20*x22^3*x24^3*x25^2*x26
*x27^5*x28*x29^2*x3*x30*x5^2*x6^3*x8^5*x9-189208*x11^2*x12^3*x13*x14^2*x15^4*
x16^7*x17^5*x18*x19*x20*x21*x22^5*x23^3*x24*x25^3*x26*x30^5*x4^4*x5^2*x7^4*x8^2
-320524*x11*x12^3*x13^3*x14^3*x15^3*x16^4*x18^3*x19*x2*x20*x21^2*x22*x23^6*x24*
x25^3*x27*x3*x30^10*x4^4*x5^2*x7^4-456076*x12^3*x13^2*x14^2*x15^2*x16^4*x17^4*
x19^2*x2^2*x21^3*x22^2*x23^2*x25^2*x26*x28^2*x29*x3^3*x30^6*x4^4*x6*x7^5*x9^5-
108204*x1^2*x10*x11^4*x12^2*x14*x15^2*x16^5*x19^3*x2^4*x20^2*x21^2*x22^3*x25^7*
x27^3*x28*x29^3*x3*x6*x7^2*x8^7*x9+572544*x1*x10^3*x11^2*x12^4*x13^3*x15*x16^6*
x19^2*x22^4*x25^2*x26^2*x27^3*x28^3*x29^2*x3^2*x30^3*x4^3*x6^2*x7^2*x8^6*x9-
671406*x1*x12^3*x13*x14*x15^2*x16^6*x19^5*x2^4*x20*x21^2*x22*x23^2*x25^2*x26^2*
x27*x29^2*x3^5*x30^6*x4^3*x6^2*x7^5-93024*x10^5*x11*x12*x13*x14*x15^3*x16^2*x17
^4*x18*x19*x2*x20^3*x23^3*x25*x27^3*x29*x3^5*x30^5*x5^8*x7^4*x8^3+227332*x10^3*
x12^3*x13^2*x14*x15^2*x16^4*x17^3*x20^2*x21^3*x22*x23^2*x25^3*x27*x28^2*x29*x30
^7*x4^3*x5*x6^2*x7^4*x8^7+282720*x10*x11^2*x12*x13^5*x15^4*x16^3*x17^3*x18^3*
x19^3*x20^3*x21^2*x23^7*x25*x27*x29^2*x3^2*x30^4*x5^5*x7^2*x8*x9^2-294792*x11^2
*x12^2*x15^2*x16^7*x17^3*x18*x19^2*x20*x22^3*x23*x25*x27^4*x28^4*x29^2*x3*x30^4
*x4*x5^2*x6*x8^5*x9^8-89662*x1^2*x10*x11^2*x12^3*x13*x14^2*x15^3*x16^4*x19*x2^4
*x20^2*x21^3*x22*x23*x25^8*x27*x29*x30^5*x4^3*x7^6*x8^2+585274*x1^2*x12^3*x13*
x14*x15^4*x16^5*x17^3*x19^2*x20*x21^3*x22*x23^2*x24^2*x25^4*x26*x30^5*x4^3*x5*
x6*x7^4*x8^7+13050*x1*x10^3*x12*x14^2*x15^2*x17^4*x18*x19^2*x2^2*x20^5*x21^2*
x23*x27^2*x28^5*x29^9*x3*x30^2*x4*x5^2*x8^3*x9^5+11525*x1*x10^2*x12^2*x13*x14^4
*x15*x16*x17^4*x19*x2^2*x20^4*x24^3*x26^2*x27^2*x28^6*x29^7*x30^3*x4*x5^5*x6^3*
x9+294118*x1*x10*x12^2*x13^3*x14^2*x16^7*x17^7*x2^2*x21*x24^4*x25^2*x26^3*x28^2
*x29^2*x3*x30^2*x4^2*x5^6*x6^3*x8^2*x9+565506*x10*x11^3*x12^3*x13*x14^3*x15^3*
x16^6*x18^2*x19*x2*x21^3*x22^2*x23*x24*x25^3*x26^3*x27^2*x30^6*x4^3*x7^7*x8+
379864*x10*x11*x12^2*x13^2*x14^5*x16*x17^9*x2^2*x20*x24^3*x26^2*x28^2*x29*x3^2*
x30^3*x4*x5^6*x6^8*x7*x8^2*x9-279576*x11^2*x12^4*x13*x14^2*x15^3*x16^5*x19^3*x2
^3*x20*x21*x22*x23^3*x25^3*x26*x27*x29*x3^4*x30^5*x4^3*x6*x7^8+621280*x1^2*x11*
x12^5*x13*x14*x15^4*x16^5*x17^3*x19^2*x2*x20*x21^2*x22*x23*x24^2*x25^3*x28*x30^
6*x4^6*x5^2*x7^5+24900*x1^2*x10^4*x12^2*x13*x14^4*x15*x17^3*x19^2*x20^4*x23^2*
x26*x27^2*x28^4*x29^9*x30^3*x4^2*x5^2*x6^2*x7*x8*x9^2-876744*x1^4*x10^2*x11^3*
x12^3*x14^5*x16^3*x17*x18^4*x19^2*x20*x22^3*x23*x25^3*x26^4*x27^2*x28*x29*x30*
x4^4*x6^2*x7^2+16575*x1^4*x10^2*x12^2*x14^2*x15^3*x17^2*x19*x2*x20^4*x22^4*x23*
x26*x27^2*x28^5*x29^9*x3^2*x30^2*x4^2*x5*x6*x9-759132*x1^4*x11^2*x12^3*x14^3*
x15*x16^8*x19^3*x20*x22^5*x25^2*x26*x27^3*x28*x29^3*x3*x30*x4^2*x6*x7*x8^5*x9-
366639*x1^4*x11*x12^2*x15^3*x17^2*x18^2*x2^2*x20^2*x21*x22^4*x23^4*x26*x27^3*
x28*x29^2*x3^5*x30^4*x4^3*x5*x6^3*x7^2-382128*x10^2*x11*x13*x14*x15^4*x16^3*x17
^6*x18*x19^2*x20^2*x21*x22*x23^3*x24*x25^3*x26*x27^2*x29*x3^2*x30^4*x4^3*x5^5*
x6^3*x7^3*x8*x9+630480*x1*x10*x11^2*x12^2*x13*x14^2*x15^2*x16^5*x17*x18*x19^2*
x2^4*x20*x21^3*x22^3*x25*x26^3*x27^2*x28^4*x29^2*x3^2*x30^2*x5*x6^3*x8^5*x9-
310168*x1*x11^3*x12^4*x13*x15^4*x16^2*x17^5*x18^2*x19*x2^2*x20*x21^3*x23^2*x24*
x25*x26^4*x28^5*x29*x3*x30^4*x4*x5*x6^3*x7^2*x8*x9-200220*x10*x11^3*x12^3*x15*
x16^5*x17^2*x18*x19^3*x2^2*x20^2*x21^2*x22^3*x24^3*x25*x26*x27^3*x28^2*x29^2*x3
*x30*x4*x5*x6^3*x7^3*x8^6*x9-369402*x1*x10*x13^3*x14*x15*x16^6*x17^6*x19^2*x20^
3*x21*x22*x23^4*x24*x25^3*x26*x27*x28^2*x29^3*x3*x30^2*x4^3*x5^4*x6*x7*x8^2*x9-
165910*x10*x11*x12^4*x13*x14*x15^2*x16^4*x17^2*x18*x19*x2^2*x20^2*x21^3*x22*x23
*x24^3*x25^2*x26*x27*x28*x30^6*x4^4*x5*x6^2*x7^7*x8-424270*x1^6*x10^2*x11*x12^2
*x13^3*x15*x16^6*x17^6*x18*x2*x20*x21^4*x22^3*x23*x24*x25^2*x26^2*x27^2*x29^4*
x3^2*x30*x4^2*x5*x6*x8^2*x9-44688*x1^2*x10^2*x11^2*x12*x13*x14^2*x15^4*x16^2*
x17^7*x18^2*x20^2*x21^2*x22^2*x23^2*x24^2*x25*x27*x29*x3*x30^5*x4^2*x5^5*x6^2*
x7^2*x8^2*x9^2+748056*x1^2*x10*x11^2*x12^2*x13*x14^2*x15*x16^5*x17*x19^3*x2*x20
^3*x22^3*x24^2*x25*x27^4*x28*x29^2*x3*x30*x4^3*x5^2*x6*x7^2*x8^9*x9^3-333674*x1
*x10^2*x11*x13^2*x14*x15*x16^6*x17^6*x18^2*x2^4*x21*x23^6*x24*x25^2*x26^2*x27*
x28*x29^3*x3^5*x30*x4^3*x5*x6*x7^2*x8^2*x9-489048*x1^3*x10^2*x11^5*x12^2*x14^4*
x17*x18^6*x19*x2^3*x20*x21*x22*x23*x24*x25^5*x26^3*x27*x28*x29*x3*x30*x4^4*x5^3
*x6^4*x7*x9+368256*x1^2*x10^3*x11^3*x12^2*x13^4*x15*x16*x17*x18^2*x2*x21^2*x22*
x23*x25^2*x26^4*x27*x28^6*x29*x3^2*x30^5*x4^3*x5*x6^4*x7^3*x8*x9-149930*x1*x10^
2*x11*x12*x13^2*x16^6*x17^7*x18*x19*x2^2*x20^2*x21^3*x24^4*x25^2*x26^2*x27*x28*
x29^2*x3*x30^2*x4^3*x5^2*x6^2*x7^3*x8^3*x9+591628*x1*x10*x11*x12^3*x13*x14*x15^
2*x16^4*x18*x19^2*x2^3*x20^2*x21*x22^2*x23^2*x24^3*x25^3*x26*x27^4*x3*x30^7*x4^
3*x5^2*x6^2*x7^4*x9+660024*x10^2*x11^4*x13*x14^5*x15*x16^2*x17^7*x18^2*x19*x2*
x20*x21^2*x22*x24*x25*x26^3*x27^2*x29*x3^2*x30^3*x4*x5*x6^5*x7^4*x8^3*x9+309620
*x1*x10*x11^6*x13*x14^5*x15^4*x16*x17*x18^2*x19*x2^2*x20*x21^4*x22^2*x23*x25^4*
x26^2*x28^4*x29^4*x3^2*x30^2*x4^2*x5*x6^4*x7*x9-142480*x1*x10*x11^6*x13*x14*x15
*x16*x17^4*x18^4*x19^4*x2*x21^3*x22^2*x23*x24^3*x25*x26^3*x28^4*x29^4*x3^4*x30^
2*x4*x5*x6^3*x7*x9^2-481692*x1*x10*x11^5*x13^3*x14^4*x15^2*x16*x17*x18^2*x19^2*
x2^2*x21^2*x22^3*x23*x25^2*x26^2*x27*x28^4*x29^2*x3^3*x30^4*x4*x5^2*x6^3*x7^5*
x9+125492*x1*x10*x11^4*x12*x13^5*x14*x15^2*x16*x17*x18^6*x19*x2^5*x20*x21^2*x23
^2*x25^2*x26^4*x27*x28^5*x29*x3^2*x30^4*x5*x6^3*x7^2*x9-370448*x1*x10*x11^4*x12
*x13^2*x14*x15*x16*x17^2*x18^3*x2*x20*x21^2*x22*x23^4*x25^3*x26^3*x28^5*x29^4*
x3^3*x30^3*x5^5*x6^3*x7*x8*x9^3-526080*x1*x10*x11^4*x12*x13*x14^3*x15*x17*x18^2
*x2*x20*x21^4*x22*x23^2*x24*x25^2*x26^4*x27^2*x28^7*x29^2*x3^2*x30^3*x5^5*x6^4*
x7^3*x9+409356*x1*x10*x11^3*x12*x13^5*x14*x15^3*x16^2*x17*x18^3*x19^5*x2^2*x20^
3*x21^2*x22*x23^4*x25*x26^2*x28^4*x29^5*x3*x30^2*x5*x6^3*x7^2*x9-129876*x1*x11^
3*x12^3*x13*x14*x15*x16*x17^5*x18^3*x2*x20^3*x21^3*x23*x24*x25*x26^3*x27^5*x28^
4*x29^2*x3*x30^5*x5^2*x6^3*x7^2*x8*x9^3+188696*x10^2*x11^2*x12*x13^5*x14^4*x15*
x16*x17^7*x18^4*x19*x2^4*x20^2*x23*x25*x26^2*x27*x28*x29*x3^3*x30^4*x4*x5*x6^5*
x7^2*x8^2*x9-415976*x1^2*x10^2*x11*x12^4*x13^2*x16^7*x17^5*x18*x19*x2^5*x20*x21
^2*x22*x24^2*x25^2*x26*x27*x28^2*x29^2*x3*x30^4*x4^2*x5*x6^5*x8^2*x9+164948*x1^
2*x10*x11^6*x13^2*x14^2*x15^3*x16^4*x17*x18^2*x19*x2*x20^2*x21^3*x22*x23^3*x25*
x26^2*x27^3*x28^4*x29*x3^2*x30^3*x5^4*x6^3*x7^2*x9+270712*x1^2*x10*x11^3*x12*
x13*x14*x15^3*x17*x18^3*x2*x21^2*x22^4*x23^2*x24^5*x25^2*x26^7*x27*x28^4*x29^2*
x3^2*x30^3*x5*x6^3*x7^3*x8*x9-163852*x1^2*x10*x11^3*x13^2*x14*x15^3*x16^3*x17*
x18^3*x2*x21^4*x22*x23^5*x24*x25^3*x26^2*x27*x28^4*x29*x3^3*x30^2*x5*x6^3*x7*x8
*x9^7-273452*x1^2*x10*x11^3*x13^2*x15^4*x16*x17^4*x18^2*x19^2*x2*x20^2*x21^7*
x23*x24*x25*x26^2*x27*x28^5*x29^3*x3*x30^2*x5*x6^5*x7*x8^4*x9-109736*x1*x10^3*
x11*x12*x13^2*x14^6*x16^6*x17^7*x18^5*x2*x20*x21*x22*x23*x24^2*x25^2*x26*x27*
x29^4*x3*x30*x4^3*x5*x6^2*x8^3*x9^2-537248*x1*x10^2*x11^2*x12^4*x13*x14^3*x16*
x17^7*x18*x19*x2^5*x20^2*x21*x22*x24*x27*x28^2*x29*x3^2*x30^5*x4*x5*x6^10*x7*x8
^2*x9-612480*x1*x10^2*x11*x12*x13^2*x14^3*x16^6*x17^5*x20*x21^3*x22*x23*x24^2*
x25^3*x26^3*x27^2*x28^3*x29^3*x3^2*x30^2*x4^2*x5^5*x6*x7^2*x8^2*x9+476586*x1*
x10^2*x12*x13^6*x14*x15^2*x16^8*x17^5*x18*x19^5*x2*x20^3*x21*x22*x23^3*x24*x25^
2*x26*x29^6*x3*x30*x4^2*x5*x7*x8^2*x9+68500*x1^5*x11^3*x12^2*x13^5*x15*x16*x17^
2*x18^2*x19*x2*x20^2*x21^3*x22*x23*x25*x26^2*x28^4*x29^3*x3*x30^3*x4*x5*x6^8*x7
^2*x8^2*x9^2+147960*x1^3*x10*x11^4*x12*x13^2*x14*x15*x16^5*x17*x18^3*x19*x2^2*
x20*x21^3*x23*x25*x26^6*x28^4*x29^2*x3*x30^3*x5^4*x6^3*x7*x8^2*x9^3-149310*x1^3
*x10*x11^2*x12*x13*x14*x15*x16^5*x17^2*x18^3*x19*x2^2*x20^3*x21^2*x23^3*x26^4*
x27^3*x29*x3^3*x30^5*x4^2*x5^3*x6^2*x7^2*x8^2*x9^2+363324*x1^4*x11^3*x12^2*x13*
x15^3*x17*x18^2*x2^2*x21^2*x22^4*x23^2*x25*x26^3*x28^5*x29^3*x3^3*x30^2*x4*x5^2
*x6^4*x7*x9+703176*x1*x10^2*x12^5*x13^2*x14^3*x15^2*x16^4*x17*x19*x21*x22*x23^3
*x25^2*x26*x29^2*x30^6*x4^4*x5^2*x6^2*x7^5*x8*x9+652392*x1^3*x10^2*x11^3*x12^4*
x14^2*x15^2*x17*x18^4*x19*x2*x22^5*x23^2*x25^2*x26^4*x27*x28^2*x29^2*x3^2*x4^3*
x5*x6^3*x7+389006*x11*x12^3*x13*x14*x15^2*x16^4*x17*x19*x2*x21*x22^2*x23*x24*
x25^2*x26*x29^4*x30^9*x4^11*x5*x6*x7^6*x8^2-243048*x10^4*x11^3*x12^5*x14^2*x15^
2*x17*x18^5*x19*x2^2*x22*x23*x24*x25^3*x26^5*x27^2*x28^5*x29*x3*x4^5*x6^3*x7*x8
^2-72012*x10^4*x12^4*x13*x14^2*x15^3*x16^5*x17*x19*x2*x20*x21*x22*x23^2*x25^2*
x27^2*x29*x3^4*x30^6*x4^3*x5^3*x7^6*x8^2+533736*x10^2*x11^4*x12^3*x13*x14*x15^2
*x16^5*x18*x19*x2^2*x21^3*x22*x23*x24*x25^3*x28^6*x29*x30^6*x4^3*x7^4*x8^4*x9-
477096*x10*x11*x13^2*x14^4*x15*x17^8*x19^2*x20^4*x22*x23^4*x25*x27*x28^2*x29^2*
x3^2*x30^3*x4^2*x5^4*x6^6*x7^2*x8^2*x9+590216*x12^4*x13^2*x14*x15^2*x16^4*x17*
x2*x20^2*x21^5*x22^4*x23*x24*x25^4*x26*x27*x28*x29*x30^9*x4^4*x6^2*x7^4*x9+
453624*x10^2*x11^3*x12^4*x13*x14^4*x16*x17^3*x18^4*x19*x2^2*x22*x23*x24^3*x25^2
*x26^5*x27*x28^3*x30*x4^2*x5^5*x6^5*x7-569736*x10^2*x11^3*x12^2*x13*x14^3*x15*
x17^2*x18^4*x19^3*x20^3*x22^2*x23^5*x25^3*x26^3*x27^2*x28^3*x29*x30*x4^3*x5^3*
x6^3*x7^2+444744*x10*x11^2*x12^3*x15^2*x16^5*x17^2*x18*x19^3*x2^2*x20*x21^2*x22
^3*x23*x25*x27^2*x28^2*x29^4*x3^2*x5^2*x6*x8^8*x9^5+392772*x11^2*x12^4*x13*x14^
2*x15*x16^6*x17^2*x19^2*x2^2*x22^3*x24^3*x25*x26^2*x27^2*x28^3*x29^2*x3*x30*x5^
5*x6^4*x8^5*x9+635448*x1^2*x10^3*x12^2*x13^3*x14^2*x16^6*x17^6*x19*x21*x23^2*
x24*x25^2*x26^2*x29^4*x3*x30^2*x4^3*x5^3*x6^2*x7*x8^3*x9^2+706308*x1^2*x11^2*
x12^2*x15^3*x16^6*x17^3*x19^4*x20*x21^2*x22^3*x23*x24^2*x25^3*x26*x27^2*x28*x29
^2*x3*x5*x6^2*x8^12*x9+661248*x1*x10^5*x11^3*x12^4*x13^3*x14^2*x16*x17*x18^4*
x19*x22^2*x23*x25^3*x26^5*x27^2*x28^3*x3*x30^3*x4^5*x6^3*x7^3*x8-6175*x1*x10^4*
x12^3*x14^2*x15^3*x17^2*x18*x19*x2^2*x20^4*x24*x25*x26^2*x27^3*x28^8*x29^8*x3*
x30^2*x4^4*x6*x8^2*x9-116724*x1*x10^3*x11^4*x12^2*x13*x15*x16^6*x19^6*x2^2*x22^
3*x23*x24*x25*x26^3*x27^5*x28*x29^3*x3*x30^2*x6^2*x8^7*x9-14150*x1*x10^2*x12^4*
x14^2*x15^4*x16^2*x17^6*x19^2*x2*x20^5*x21*x23*x24*x26^2*x27^2*x28^5*x29^7*x30^
4*x4^2*x7*x8*x9+312998*x1*x11*x12^4*x15^4*x16^2*x17^6*x18^2*x19*x2^2*x20^3*x21^
2*x23^4*x24*x26^2*x27^3*x28*x3^3*x30^6*x4^3*x6^2*x7^3*x8+343824*x10^5*x11^2*x13
*x15^3*x16^4*x17^3*x18*x19*x2*x20^2*x23^4*x25*x27*x28*x29^2*x3^3*x30^4*x5^7*x6^
2*x7^2*x8^5*x9^2-389664*x10^2*x11^5*x12^3*x14^3*x15*x16*x17*x18^4*x19^4*x2^3*
x20*x22*x23^3*x25^3*x26^4*x27^2*x28*x29*x3^4*x4^2*x6^3*x7^5-340464*x10^2*x11^3*
x12^2*x14^2*x15*x16^2*x17^4*x18^5*x19*x20*x22*x23^2*x25^2*x26^3*x27^3*x28^4*x30
^4*x4^3*x5^2*x6^2*x7*x9^7-295814*x10*x12^3*x13*x14^2*x15^4*x16^6*x17^3*x19^2*
x21^2*x22^2*x23^2*x24*x25^4*x26*x27*x29*x3*x30^5*x4^6*x6^3*x7^5*x9-239334*x11^2
*x12^3*x13*x14^2*x15^2*x16^4*x18*x19^3*x21*x22^6*x23^2*x24^5*x25^4*x26*x29*x30^
6*x4^3*x5*x6^2*x7^5*x8*x9-725052*x11^3*x12^3*x14*x15^6*x16^7*x17^3*x19^2*x20^2*
x21^3*x22^3*x23^2*x24^3*x25^2*x26*x27^2*x28^2*x29^3*x3*x6*x7*x8^5*x9^2+469452*
x11^3*x12^2*x15*x16^5*x17*x19^3*x2*x22^4*x24*x25*x26*x27^2*x28*x29^6*x3*x30^4*
x4^8*x5*x6^2*x7^2*x8^7*x9-316944*x11^2*x12^3*x14*x15^3*x16^7*x17*x19^3*x2^2*x20
^2*x22^5*x24*x25*x26^2*x27^4*x28^2*x29^4*x3*x30*x6^3*x7^2*x8^5*x9^3+308522*x11*
x12^3*x13^5*x14*x15^2*x16^4*x19*x2^2*x20^4*x21^2*x22^3*x23^2*x24*x25^2*x26*x28^
2*x30^5*x4^4*x5^3*x7^4*x8^5*x9-182854*x11*x12^3*x13*x14^8*x15^7*x16^5*x17*x19*
x2^2*x20*x21*x22*x23*x24^5*x25^2*x26*x27*x3^2*x30^5*x4^3*x7^4*x9^2-167322*x12^6
*x13*x14^2*x15^2*x16^5*x17^4*x18*x20^3*x21^2*x22*x23*x24*x25^2*x26*x27^5*x29*
x30^8*x4^3*x5*x7^5*x8*x9^2+22000*x1^3*x10^2*x11*x12^2*x14^2*x15^3*x16*x17^5*x19
^3*x2*x20^5*x21*x24^2*x25*x27^2*x28^5*x29^7*x30^3*x4^4*x5^2*x7*x9-486640*x1^3*
x11^2*x12^2*x15^3*x16*x17^5*x18^2*x19^2*x2^2*x20^3*x21^2*x23^3*x24^2*x25*x27^3*
x28*x3^3*x30^5*x4^5*x5^2*x6^2*x7^3-115824*x1^2*x10^2*x11^3*x13*x14*x15^3*x16*
x17^3*x18*x19*x2^4*x20^4*x21^2*x23^2*x25^7*x27^2*x29*x3*x30^4*x5^5*x7^4*x8^3+
610690*x1^2*x10*x11*x12^3*x13*x14*x15^5*x16^4*x18*x19*x2^3*x20^4*x21*x22^2*x23^
2*x25^3*x29*x3*x30^6*x4^3*x7^5*x8^6+756048*x1^2*x10*x11*x13*x15^4*x16^2*x17^6*
x18*x19^2*x20^3*x21^2*x23^3*x24^2*x25^3*x26*x27*x3*x30^4*x5^6*x6*x7^2*x8^8+
542184*x10^2*x11^4*x12^2*x14^2*x17^2*x18^4*x19^2*x2*x22^2*x23*x24*x25^2*x26^4*
x27*x28*x29^4*x30^4*x4^10*x5*x6^3*x7^3*x8^2+418200*x10^2*x11^3*x12^4*x13^2*x14^
2*x15^4*x17*x18^8*x19^4*x20*x22*x23*x24^3*x25^3*x26^4*x27^4*x28*x30*x4^2*x5^2*
x6^4*x7-393242*x10^2*x11^3*x12^3*x13^3*x14^2*x15^4*x16^5*x18*x19*x21*x22*x23*
x24^3*x25^7*x27*x28*x29*x3*x30^8*x4^4*x7^4*x8-117196*x10^2*x12^4*x13*x14*x15^2*
x16^4*x17*x18^2*x2*x21^2*x22*x23^4*x24^3*x25^7*x26^2*x28^2*x3*x30^8*x4^3*x6*x7^
4*x9^2+413716*x10^2*x12^3*x13^5*x14^3*x15^2*x16^4*x17^2*x18*x19*x20*x21*x22^4*
x23*x24*x25^6*x27^2*x29*x30^5*x4^3*x6*x7^6*x8^3-321936*x10*x11^6*x12^3*x13^2*
x14*x15^2*x16^4*x17*x21^3*x22*x23*x25^2*x26^7*x27*x28^2*x29*x3^4*x30^6*x4^4*x6*
x7^4*x9-183560*x10*x11^3*x12^3*x13*x14^2*x15^2*x16^5*x17^3*x18^2*x19^4*x21^2*
x22^3*x23*x24^3*x25^2*x26*x29^3*x3^3*x30^5*x4^4*x7^4*x9+255440*x10*x11^2*x12*
x13^5*x14^3*x15^2*x16^2*x17^7*x18^2*x19^3*x20^2*x21^2*x23^5*x29^3*x3^3*x30^2*x4
*x5*x6^5*x7*x8^2*x9^3+161674*x10*x11*x12^4*x13^5*x14^2*x15^3*x16^5*x18^4*x19*x2
^4*x20*x21*x22*x23^2*x25^3*x26^2*x27*x28*x3*x30^7*x4^3*x7^5+438426*x10*x12^6*
x13^5*x14*x15^2*x16^5*x17^2*x19*x20^3*x21*x22*x23^4*x24*x25^2*x26*x29^2*x3^4*
x30^6*x4^3*x5*x7^4*x9^2-288828*x11^4*x12^2*x14*x15*x16^5*x18*x19^5*x22^8*x23*
x24^5*x25^3*x26*x27^2*x28*x29^3*x3*x30*x5*x6^3*x7*x8^6*x9^2+368532*x1*x10^3*x12
^3*x13*x14^5*x15^2*x16^4*x17^2*x19*x2*x21*x22^2*x23*x24*x25^3*x26^2*x29^3*x3*
x30^5*x4^7*x5^4*x7^5+609760*x1*x10^2*x11*x13^2*x14^5*x15*x17^8*x18*x2^4*x20^2*
x21^3*x26^3*x28^3*x29*x3^3*x30^4*x4*x5^2*x6^7*x7*x8^2*x9+20900*x1*x10^2*x12*x13
*x14^2*x15*x17^3*x19*x2*x20^6*x21^4*x22^3*x24*x25^2*x26*x27^3*x28^5*x29^8*x30^6
*x4^2*x6^2*x9^2-220748*x1*x10*x13^2*x15*x16^8*x17^8*x18*x20*x21*x23*x24*x25^2*
x26*x27^2*x28^3*x29^2*x3*x30^5*x4^3*x5^3*x8^2*x9^8+218988*x1*x11^3*x12*x14*x15^
2*x16*x17^2*x18^2*x19^3*x2^4*x20^3*x21*x23^5*x25*x26*x27^4*x29*x3^7*x30^4*x4^2*
x6^3*x7^6-810252*x1*x11^2*x12^2*x15*x16^7*x19^7*x2^4*x20*x21*x22^3*x23*x25*x26^
2*x27^3*x28*x29^4*x3^6*x30*x6^3*x7*x8^5*x9-84048*x10^5*x11*x12*x13*x14^4*x15*
x16*x17^8*x19*x2*x20^2*x23*x27^2*x29^2*x3^6*x30^3*x4*x5^4*x6^5*x7^3*x8^4*x9+
274344*x10^3*x11^2*x12^2*x13*x15*x16^5*x17^3*x19^2*x20^2*x21^2*x22^3*x23*x25^2*
x27^3*x28^3*x29^3*x3*x30^2*x5*x6^3*x8^12*x9-42360*x10^3*x11*x12^7*x13*x14*x15^3
*x16^4*x18*x2*x21*x22^2*x23*x24*x25^2*x26^2*x27^2*x28*x29^2*x30^6*x4^5*x7^10*x9
+132022*x10^3*x11*x12^5*x13*x14*x15^2*x16^4*x17^3*x18*x2^2*x21*x22^2*x23*x24^4*
x25^3*x26^3*x27*x30^7*x4^3*x6^3*x7^6*x8-333576*x10^2*x11^5*x12^2*x14^3*x17*x18^
5*x19^4*x22^6*x23^2*x24^5*x25^4*x26^4*x27*x28*x29*x30*x4^2*x5*x6^4*x7^2*x8*x9-
458437*x1^3*x11*x15^3*x16*x17^5*x18^2*x19^2*x2*x20^3*x21^3*x23^4*x24^2*x25^2*
x26*x27^3*x3^3*x30^4*x4^2*x5*x6^3*x7^2*x8^7-3425*x1^2*x10^5*x11^2*x13*x14^2*x15
*x16*x17^2*x19^5*x2^2*x20^4*x23*x24*x26^3*x27^5*x28^4*x29^8*x30^4*x4*x6*x8^2*x9
-87406*x1^2*x10^4*x11^2*x13^3*x16^7*x17^5*x19^4*x2^2*x21*x23*x24^2*x25^2*x26^4*
x27^3*x29^3*x3*x30^3*x4^2*x5*x6*x8^4*x9+428736*x1^2*x10^4*x12^2*x13^5*x16^7*x17
^5*x21*x22*x24*x25^3*x26^3*x27*x28^2*x29^2*x3^2*x30^4*x4^5*x5*x6*x7^2*x8^3*x9-
104648*x1^2*x10^2*x11^3*x13*x14^4*x15*x17^7*x19*x2^4*x20^3*x21^2*x25^6*x27*x29^
2*x3^2*x30^2*x4*x5*x6^5*x7^3*x8^4*x9+19062*x1^2*x10^2*x12^3*x13^3*x14*x15^2*x16
^4*x18^7*x19^2*x2*x21*x22*x23^5*x25^2*x28^4*x3^2*x30^5*x4^3*x5*x6*x7^4*x8^2+
736980*x1^2*x10*x11^3*x12^2*x15^4*x16^5*x18*x19^3*x2^3*x20^4*x22^4*x23*x25^2*
x27^2*x28*x29^3*x3^2*x30*x6*x7*x8^11*x9+405520*x1^2*x10*x11^3*x13^2*x14^2*x15^2
*x17^2*x18^3*x2^5*x20*x21^5*x23*x25*x26^5*x28^7*x29*x3^2*x30^4*x5^2*x6^5*x7*x9-
34594*x1^2*x10*x11*x12^4*x13*x14^3*x15^4*x16^5*x17^4*x18*x21^3*x22^3*x23*x24^2*
x25^2*x29*x30^6*x4^5*x6^2*x7^4*x8*x9^2-607392*x1^2*x10*x11*x12^2*x13^4*x14^2*
x15^3*x16^2*x17^5*x18*x19^6*x2*x20^2*x23^3*x25^2*x27*x28^2*x3^2*x30^4*x5^5*x7^2
*x8^5+692676*x1^2*x11^2*x12^2*x14^3*x15*x16^7*x19^2*x2^2*x21^5*x22^3*x23^3*x25*
x27^5*x28^2*x29^3*x3*x30^2*x4*x6*x7*x8^7*x9^2+636444*x10*x11^2*x12^3*x13^4*x14*
x15^3*x16^7*x18*x19^7*x2*x20^3*x22^4*x23^3*x25*x27^2*x28*x29^6*x3*x6*x7*x8^5*x9
-414048*x10*x11^2*x13^3*x14^2*x15^3*x16*x17^3*x18^4*x19*x2*x20^3*x21*x23^7*x24*
x25^2*x27^2*x3^2*x30^9*x4*x5^7*x7^2*x8-236208*x10*x11^2*x13*x14^7*x15^7*x16^2*
x17^4*x18*x19*x2^2*x20^3*x23^2*x24^5*x25*x26*x27^2*x3^3*x30^4*x5^5*x7^2*x8*x9^2
+559968*x10*x11*x13^4*x15^2*x16^3*x17^4*x18*x19^2*x20^2*x23^12*x25*x26*x27*x28^
5*x29^2*x3*x30^4*x5^5*x6*x7^3*x8*x9^2-714828*x11^7*x12^6*x14^2*x15*x16^5*x17*
x19^3*x2^4*x20^2*x22^5*x23*x25*x26^3*x27^2*x28*x29^2*x3^2*x5*x6*x7^3*x8^5*x9-
760836*x11^2*x12^2*x13^5*x15^2*x16^6*x18^2*x19^2*x21*x22^3*x24*x25^4*x26^2*x27^
2*x28^2*x29^2*x3*x30*x4*x5^2*x6^6*x8^5*x9^5-112176*x1^6*x10^4*x11*x12^3*x13*x15
^3*x16*x17^4*x18*x19*x2*x20^2*x23^3*x25*x27*x3^5*x30^5*x4^3*x5^5*x7^4*x8^2*x9-
104796*x1^6*x10^3*x11^2*x12^5*x15^2*x16^5*x17*x19^3*x2*x22^3*x23*x25*x27^2*x28*
x29^2*x3^5*x30*x4^3*x6*x7^2*x8^6*x9^2-210444*x1^3*x10^5*x11^2*x12^3*x13^2*x15*
x16^6*x17^2*x18^4*x19^5*x2*x22^3*x23^3*x25^2*x27^2*x28*x29^2*x3*x6*x7^2*x8^6*x9
+20725*x1^3*x10^2*x14^2*x15^3*x16*x17^5*x19^3*x20^5*x21^2*x23*x24^2*x25^2*x26*
x27^2*x28^4*x29^7*x30^2*x4*x5*x6*x8^7*x9-521734*x1^3*x10*x12^3*x13^2*x14^2*x15^
5*x16^5*x2^4*x20^2*x21*x22^2*x23^2*x25^3*x27*x29^2*x3*x30^6*x4^3*x5*x6^3*x7^5*
x9+499272*x10^2*x11^2*x12^2*x13^4*x14^2*x15*x16^5*x17^2*x18*x19^3*x20*x22^6*x24
*x25^5*x27^4*x28*x29^3*x3*x6^2*x7^2*x8^8*x9+208848*x10^2*x11^2*x12*x13^5*x14*
x15^3*x16^2*x17^3*x18^5*x19*x2^4*x20^3*x23^3*x25^2*x26^2*x27^2*x28*x3^2*x30^6*
x5^5*x7^3*x8-430952*x10^2*x11^2*x13*x14^4*x15*x17^8*x18^2*x2^4*x20*x23^6*x26*
x27*x28*x29^2*x3^6*x30^2*x4^2*x5*x6^6*x7^3*x8^2*x9+566352*x10^2*x11*x12^3*x13^5
*x15^2*x16^2*x17^5*x18*x19*x20^5*x23^5*x24*x25*x26*x27*x29^2*x3^5*x30^5*x5^6*x7
^2*x8*x9^2+681264*x10^2*x11*x12*x13^5*x14*x15^4*x16^3*x17^3*x18^2*x19^5*x2*x20^
5*x22*x23^5*x25*x27*x29^4*x3*x30^4*x5^5*x7^3*x8-765168*x10*x11^6*x12^4*x13*x14^
2*x15^2*x16*x17^4*x18*x19*x2^4*x20^4*x22^2*x23^3*x25*x26^3*x27*x3^2*x30^4*x5^6*
x7^5*x8-221520*x10*x11^5*x12^2*x14*x15*x16^6*x17^3*x18^2*x19^6*x21*x22^5*x24^3*
x25*x26*x27^2*x28*x29^5*x3^4*x4*x6*x8^5*x9^2+53676*x10*x11^4*x12^2*x13^4*x14*
x15*x16^8*x19^3*x20^2*x22^4*x23^4*x25*x26*x27^8*x28*x29^2*x3*x4*x6*x7*x8^5*x9^3
-748908*x10*x11^4*x12^2*x13^2*x14^4*x15^2*x16^6*x19^4*x2*x22^6*x25^2*x27^3*x28*
x29^3*x3^3*x30^2*x4*x5*x6*x7^4*x8^5*x9-279336*x10*x11^3*x13*x14^4*x17^7*x18*x19
^3*x20*x22^5*x23*x24^5*x25^2*x26*x29^2*x3^2*x30^3*x4*x5^2*x6^7*x7^2*x8^3*x9^2-
244416*x10*x11^3*x13*x14*x15^4*x16^4*x17^8*x18^2*x19*x20^3*x22^4*x23^4*x24*x25^
2*x26*x27*x3*x30^4*x4*x5^7*x7^2*x8^3-255840*x10^3*x11^6*x12^2*x14^3*x16*x17^4*
x18^6*x19^5*x21*x22^3*x23*x24^3*x25^2*x26^4*x27*x28*x29^3*x3^3*x4^3*x6^2*x7*x9-
507984*x10^3*x11^4*x13^3*x14*x15^4*x16^2*x17^3*x18^2*x19*x20^2*x23^2*x24^3*x25^
6*x27^2*x28*x29*x3^2*x30^7*x4*x5^5*x7^2*x8^2-51120*x10^3*x11^3*x12^6*x15^2*x16^
5*x18*x19^2*x2*x22^4*x24*x25*x26^2*x27^4*x28^2*x29^4*x3*x30*x4^2*x6*x7^6*x8^5*
x9^2+159324*x10^3*x11^3*x12^4*x15*x16^5*x17^3*x18*x19^2*x2^2*x22^4*x24^4*x25^2*
x26^3*x27^3*x28*x29^2*x3*x30^2*x6^4*x7^2*x8^6*x9+735048*x10^3*x11^3*x12^3*x13^4
*x14^3*x15^2*x16^2*x17*x18^5*x19^6*x2*x20^3*x22^2*x23^4*x25^2*x26^3*x27*x28*x29
^4*x4^2*x6^2*x7^2+206640*x10^3*x11^3*x12^2*x14^3*x16*x17*x18^4*x19^3*x2^2*x22^3
*x23^5*x25^3*x26^3*x27^3*x28^3*x29^5*x3^2*x30*x4^2*x6^4*x7^2*x9+534432*x10^3*
x11*x13^5*x14^2*x15^2*x16*x17^5*x18^2*x19*x20^3*x22^3*x23^2*x24*x25^5*x27^3*x29
*x3*x30^4*x5^5*x6*x7^4*x8^4-263712*x10^2*x11^5*x12^2*x14^3*x15^2*x16^3*x17^6*
x18^5*x19^2*x20*x22^5*x23^3*x24*x25^3*x26^4*x27*x28*x4^3*x5^2*x6^2*x7*x8^2+
653376*x10^2*x11^3*x12^5*x14^3*x16*x17^2*x18^4*x19^3*x2^2*x21*x22*x23*x24^3*x25
^4*x26^3*x27^2*x28^4*x29^6*x4^2*x5*x6^2*x7^4+57456*x10^2*x11^3*x13^5*x14*x15^2*
x16^4*x17^3*x18*x19*x20^4*x22*x23^6*x25*x26*x27^7*x3*x30^4*x4*x5^5*x7^3*x8*x9^2
-801648*x10^2*x11^3*x13^3*x14^4*x15^3*x16^2*x17^3*x18*x19^2*x2*x20^2*x22^3*x23^
2*x25^2*x27^2*x29*x3^3*x30^6*x4*x5^6*x7^6*x8-555504*x1*x10*x11^3*x12^6*x15*x16^
6*x18*x19^3*x2^5*x20*x21*x22^4*x24*x25*x27^3*x28^3*x29^2*x3*x30^3*x6^6*x8^5*x9-
254748*x1*x10*x11^2*x12^2*x13*x14*x15^3*x16^8*x18*x19^2*x21^2*x22^4*x23^4*x24*
x25^3*x27^3*x28*x29^2*x3^3*x6*x8^6*x9^7+351538*x1*x10*x11*x13^2*x16^6*x17^6*x19
*x2*x21*x22*x24^2*x25^2*x26^2*x29^6*x3*x30^5*x4^10*x5^2*x6*x7^2*x8^4*x9+492456*
x1*x11^4*x12^2*x14^3*x15*x16^7*x17^2*x19^3*x20^2*x21*x22^5*x25*x27^2*x28^6*x29^
2*x3*x30^3*x4^2*x6^2*x7^3*x8^5*x9-304703*x1*x11^2*x15*x17^3*x18^2*x19*x2^2*x20^
2*x21*x22*x23^3*x24*x26*x27^3*x29^4*x3^3*x30^8*x4^10*x5*x6^3*x7^4*x8^2-235025*
x1*x11*x12^2*x13^2*x15^5*x17^2*x18^6*x19^3*x2*x20^3*x21*x23^3*x24^3*x25*x26*x27
^6*x3^3*x30^5*x4^2*x5^2*x6^4*x7^2-59040*x10^5*x11^4*x12^6*x14^2*x15*x17*x18^5*
x19*x2*x22^2*x23*x24*x25^2*x26^5*x27^3*x28^2*x29^2*x30*x4^4*x6^2*x7^7*x9-169248
*x10^4*x11^4*x12^3*x14^8*x17^3*x18^9*x19*x2*x20*x22^2*x23^2*x24*x25^2*x26^3*x27
^2*x28*x29^2*x4^3*x6^4*x7*x8*x9-163344*x10^4*x11^3*x12^3*x14^2*x17^2*x18^6*x19*
x2*x21*x22*x23^4*x24^3*x25^7*x26^5*x27*x28^3*x3*x30^3*x4^2*x6^3*x7*x9^2+170544*
x10^4*x11^2*x12^2*x13*x15^2*x16*x17^6*x18^2*x2^2*x20^2*x22*x23^2*x24^4*x25^2*
x26^3*x27^2*x3*x30^6*x5^5*x6^3*x7^4*x8^2-448704*x10^3*x11^9*x12^2*x13*x14^2*x17
^2*x18^4*x19*x21^2*x22*x23*x25^2*x26^10*x27^2*x28^3*x29*x3^4*x30*x4^3*x6^3*x7*
x9+678192*x1^2*x10*x11^2*x12^4*x14^2*x15^2*x16^8*x19^2*x20^6*x21*x22^4*x25*x27^
4*x28^2*x29^4*x3*x4*x5^2*x6*x7^3*x8^5*x9+227088*x1^2*x10*x11*x12^4*x13^3*x15^2*
x16^3*x17^4*x18*x19*x20^3*x21*x23^2*x25^2*x26^3*x27*x3*x30^10*x4*x5^9*x7^2*x8^2
+669912*x1^2*x10*x11*x13*x14^6*x16^2*x17^7*x2^2*x20*x21^5*x23^3*x27^3*x28*x29^2
*x3^2*x30^4*x4^2*x5*x6^5*x7^2*x8^4*x9^2+261744*x1*x10^7*x11^7*x12^4*x14^2*x15^4
*x16*x17*x18^4*x19*x2*x20^3*x21*x22*x23^3*x25^3*x26^3*x27^3*x28*x4^3*x6^2*x7^3-
592140*x1*x10^6*x11^3*x12^2*x15*x16^5*x18^3*x19^2*x21^2*x22^3*x23*x25^2*x27^4*
x28*x29^2*x3^4*x30^3*x4^5*x6*x7*x8^5*x9^2+226632*x1*x10^5*x11^6*x12^4*x15^5*x16
^6*x19^2*x2*x20^3*x21*x22^3*x23^2*x25^2*x27^4*x28*x29^2*x3*x4*x6*x7^2*x8^5*x9+
513648*x1*x10^5*x11^3*x12^2*x14^6*x17^3*x18^4*x19^2*x2*x22^2*x23*x24*x25^3*x26^
5*x27*x28*x29^3*x3*x4^6*x5^4*x6^2*x7^2-178066*x1*x10^3*x11*x13*x15*x17^5*x18^2*
x2*x20^4*x21^3*x23^4*x25*x27^4*x28^2*x29*x3^3*x30^6*x4^2*x5*x6^4*x7^2*x8^7-
21275*x1*x10^2*x11*x12*x14^3*x15^6*x16^2*x17^5*x19*x20^6*x21^3*x23^2*x24^3*x25*
x26*x27^2*x28^5*x29^8*x30^2*x4*x7*x9^2-272688*x1*x10^2*x11*x13^2*x14*x15^4*x16^
4*x17^3*x18^2*x20^2*x21^2*x22*x23^6*x24*x25^3*x27^2*x3^3*x30^4*x5^5*x7^2*x8^2*
x9^6+13775*x1*x10^2*x11*x14^2*x15*x17^3*x19^2*x2*x20^4*x22*x24*x26*x27^2*x28^4*
x29^11*x30^6*x4^9*x5*x6*x7^2*x8^2*x9-532304*x10*x11*x13^2*x14^4*x17^11*x19^2*x2
^2*x20*x21^2*x22*x23*x26*x28^2*x29^2*x3^5*x30^3*x4^2*x5*x6^6*x7^2*x8^2*x9^6-
78474*x1^7*x10^4*x12^3*x13^2*x15*x16^6*x17^6*x19*x2*x21*x23*x24*x25^2*x26*x29^2
*x3^5*x30^2*x4^5*x5*x7^2*x8^3*x9^2-6175*x1^4*x10^7*x12*x13^2*x14^2*x15*x16*x17^
4*x18^4*x19^4*x2*x20^4*x23^3*x25*x27^2*x28^4*x29^7*x30^2*x4*x7^2*x8*x9-157586*
x1^4*x10^6*x12*x13^4*x16^7*x17^7*x18^4*x19^3*x2*x21*x23^3*x24*x25^3*x26*x29^2*
x3*x30*x4^2*x5*x7^2*x8^3*x9+136591*x1^4*x10^5*x11*x12*x13^2*x15*x16*x17^4*x18^6
*x19^3*x2^2*x20^2*x21*x23^6*x25*x27^3*x3^3*x30^4*x4^2*x6^2*x7^4*x8-12425*x1^4*
x10^2*x11^2*x14^4*x15*x17^2*x18^2*x19*x2^3*x20^5*x21*x24*x25^3*x27^2*x28^4*x29^
8*x3*x30^3*x4^3*x5^3*x6^2*x9^2-317086*x1^4*x10*x11^2*x13^2*x14^2*x16^6*x17^5*
x18^2*x2^3*x20*x21^2*x24^2*x25^5*x26*x29^3*x3^2*x30^2*x4^4*x5^4*x6^2*x8^2*x9^2+
106500*x1^4*x11^2*x12^4*x13^4*x15*x16^6*x17*x19^3*x20^2*x21*x22^4*x25*x27^2*x28
*x29^4*x3*x30*x4*x6^6*x7*x8^7*x9^2+21625*x1^3*x10^3*x11*x14^2*x15^4*x17^2*x18*
x19^2*x2^3*x20^8*x22*x23*x25*x27^2*x28^4*x29^8*x3*x30^3*x4*x7*x8^6*x9+518694*x1
^3*x10*x13^2*x14^3*x16^8*x17^5*x2^2*x21^6*x23^3*x24*x25^2*x26*x27^3*x28*x29^3*
x3*x30^3*x4^3*x5*x7*x8^4*x9^2+26568*x1^2*x10^4*x11^3*x12^2*x13^2*x14^2*x17*x18^
11*x19^3*x2*x22*x23^5*x25^2*x26^3*x27*x28^5*x3^2*x4^2*x5*x6^3*x7*x8^2-662496*x1
*x10*x11*x12^3*x13*x14^8*x15^2*x16*x17^7*x18^3*x20*x24*x28*x29^2*x3^6*x30^2*x4^
5*x5*x6^5*x7^2*x8^4*x9^2-267652*x1*x10*x11*x15*x17^7*x18^5*x19*x2*x20^2*x21^4*
x22*x23^3*x26^4*x27^3*x28*x29^2*x3^3*x30^4*x4^4*x6^3*x7^4*x9^4-151206*x1*x10*
x12^3*x13^2*x14*x16^7*x17^9*x18*x20^3*x21^2*x24^2*x25^2*x26^2*x27^5*x29^3*x3*
x30^4*x4^2*x5^2*x7*x8^3*x9^3-489364*x1*x11^3*x13^6*x15^2*x16*x17*x18^4*x2*x21^3
*x23*x24*x25^4*x26^4*x28^5*x29*x3*x30^3*x4*x5^3*x6^8*x7*x9^5-339542*x1*x11*x13^
3*x15*x16^2*x17^3*x18^2*x19^2*x2*x20^2*x21*x23^13*x26*x27^3*x28^5*x29^2*x3^3*
x30^4*x4^2*x6^3*x7^3*x9^2-141728*x10^3*x11^2*x12*x13*x14^9*x17^9*x18^5*x2*x20^2
*x22*x23*x24*x27*x29^3*x3^2*x30^2*x4^2*x5*x6^7*x7*x8^3*x9^2+465560*x10^2*x11^4*
x13*x14^8*x15^3*x16*x17^7*x19*x2*x20^2*x21^2*x22^2*x25^3*x29^4*x3^3*x30^2*x4^3*
x5*x6^6*x7*x8^2*x9-214240*x10^2*x11^4*x13*x14^4*x16*x17^10*x18^2*x19^4*x20*x21*
x22^2*x24^3*x26*x29^4*x3^5*x30^2*x4^2*x5*x6^5*x7*x8^2*x9^2-724296*x10^2*x11^3*
x13^3*x14^7*x15*x16*x17^7*x19^2*x2*x20*x22^3*x25*x27*x29^2*x3^4*x30^4*x4^2*x5^2
*x6^5*x7^5*x8^2*x9-213416*x10*x11^2*x13*x14^10*x15^5*x16*x17^8*x19*x2^2*x20^2*
x24^5*x26*x27*x29*x3^4*x30^2*x4*x5*x6^5*x7*x8^2*x9^3-195288*x10*x11*x12^3*x13*
x14^4*x16*x17^11*x18*x20^4*x21*x24*x26*x27^5*x29^2*x3^2*x30^5*x4*x5^2*x6^5*x7^2
*x8^3*x9^3-20975*x1*x10^2*x11^5*x12^4*x14^4*x15*x17^3*x19^2*x2^4*x20^6*x22^2*
x23*x26^3*x27^2*x28^4*x29^7*x3*x30^2*x4*x5*x7^3*x9-90968*x1*x10^2*x11^3*x12*x13
*x15*x17^2*x18^4*x2^2*x21^3*x23^4*x24^3*x25^6*x26^4*x28^6*x29*x3^2*x30^5*x5*x6^
4*x7*x9^3+91798*x1*x10^2*x11*x12*x15*x17^3*x18^4*x2^2*x20^2*x21^2*x23^6*x24^3*
x25^5*x26^2*x27^3*x28^2*x3^4*x30^7*x4^2*x6^3*x7^2*x9^2-5925*x1*x10^2*x12^3*x14^
3*x15*x16*x17^6*x18*x19*x20^7*x21*x24*x26*x27^7*x28^4*x29^8*x30^5*x4*x5*x7*x8*
x9^3+115478*x1*x10^2*x12*x13^5*x16^6*x17^6*x18*x2^2*x20^2*x21^3*x22*x23*x24*x25
^2*x26*x29^2*x3^2*x30^4*x4^11*x5^3*x8^2*x9-22325*x1*x10^2*x13^5*x14^2*x15^2*x16
*x17^2*x18^2*x19*x20^4*x21*x24*x25^3*x26^2*x27^2*x28^5*x29^7*x30^3*x4^2*x5^2*x6
^5*x9^5+579942*x1*x10^2*x13^3*x14*x16^10*x17^5*x19^2*x20^2*x21*x22^2*x23^2*x24*
x25^2*x26*x29^5*x3^2*x30^2*x4^3*x5^2*x7*x8^9*x9+308792*x1*x10^2*x13^2*x16^6*x17
^10*x18^3*x19*x21^4*x22*x24*x25^2*x26^5*x28*x29^4*x3*x30*x4^4*x5*x6*x7^2*x8^2*
x9^5-16150*x1*x10^2*x13*x14^3*x15*x17^6*x19^3*x2^2*x20^4*x21^2*x22*x23*x26*x27^
2*x28^6*x29^8*x3^3*x30^3*x4^2*x6*x7*x9^6-249888*x1*x10*x11^9*x13^2*x15*x17^2*
x18^2*x2*x21^4*x23*x25*x26^9*x27*x28^6*x29^2*x3^5*x30^3*x4*x5*x6^4*x7*x9^2-
312445*x1*x10*x11^4*x14^5*x15^4*x16*x17^2*x18^2*x19*x2^2*x20^3*x21^3*x22^2*x23^
3*x25^3*x27^3*x29^3*x3^4*x30^4*x4^4*x6^3*x7^2+360556*x1^2*x10*x11^2*x12^4*x15*
x16*x17^2*x18^3*x19*x2^6*x20^3*x21^2*x22*x23^3*x24*x27^4*x28^2*x3^3*x30^7*x4^2*
x6^7*x7^2+205176*x1^2*x10*x11*x12^4*x13^3*x14^3*x16^2*x17^8*x19*x20^2*x21*x25*
x26^3*x29*x3^2*x30^8*x4^2*x5^5*x6^5*x7*x8^3*x9-512952*x1^2*x10*x12^3*x13^2*x14^
5*x15^2*x16^7*x17^5*x18^3*x21*x24^2*x25^2*x26*x28*x29^3*x3^5*x30*x4^6*x5*x7*x8^
4*x9^2+38710*x1^2*x11^2*x13^3*x14*x15*x17^2*x18^3*x19^5*x2^2*x20^2*x21^2*x23^3*
x25^4*x26*x27^4*x28*x3^4*x30^5*x4^2*x6^4*x7^3*x8^4-4300*x1*x10^4*x11*x12*x14^8*
x15*x17^4*x18^5*x19*x2*x20^5*x22*x23*x24*x27^3*x28^4*x29^9*x30^2*x4^2*x6^2*x8*
x9^2+430128*x1*x10^4*x11*x13*x14^7*x17^9*x19*x2*x20*x22*x24*x25*x26^2*x29^4*x3^
3*x30^2*x4^5*x5^5*x6^5*x7^2*x8^2*x9-433202*x1*x10^3*x11^2*x12^3*x13^2*x14*x16^9
*x17^5*x18*x2^2*x21*x24*x25^4*x26^2*x29^8*x3*x30*x4^5*x5*x6^3*x8^2*x9^2-103411*
x1*x10^3*x11^2*x12^2*x15*x17^5*x18^3*x2^3*x20^2*x21*x22*x23^3*x24^4*x25*x26^3*
x27^4*x3^3*x30^6*x4^2*x6^5*x7^4*x8-21975*x1*x10^3*x11^2*x13^2*x14^6*x15^2*x16*
x17^2*x19^3*x2*x20^4*x22^3*x25*x27^3*x28^4*x29^8*x3^2*x30^4*x4^2*x5*x7^4*x9+
4525*x1*x10^3*x12*x13^3*x14^2*x15*x17^3*x18*x19*x2^2*x20^6*x21^2*x22*x23*x27^2*
x28^4*x29^7*x3*x30^5*x4^10*x5^2*x9-105908*x1*x10^3*x12*x13^2*x16^6*x17^6*x18^2*
x2*x21^2*x23^3*x24^4*x25^7*x26^3*x28^2*x29^2*x3^2*x30^4*x4^2*x5*x6*x8^2*x9^3-
1225*x1^3*x10^3*x11*x12*x14^4*x15^3*x16*x17^6*x18*x19*x20^4*x21^2*x22^2*x24^2*
x27^2*x28^4*x29^8*x30^3*x4^3*x6^2*x8*x9^3+17226*x1^3*x10^3*x13^4*x16^6*x17^5*
x18^7*x19^2*x2*x21*x23^4*x24*x25^2*x26*x28^4*x29^2*x3^3*x30*x4^2*x5^2*x6*x8^4*
x9+14796*x1^3*x10^2*x11^3*x13^3*x15*x17*x18^9*x19^2*x2^2*x21^2*x23^5*x25*x26^2*
x28^8*x29*x3^3*x30^2*x5^2*x6^4*x7*x8^2*x9+560164*x1^3*x10^2*x13^3*x14^2*x16^6*
x17^6*x19*x2*x20^3*x21*x24^3*x25^2*x26*x27^2*x29^2*x3*x30^2*x4^5*x5^3*x7^2*x8^6
*x9^3-380860*x1^2*x10^6*x11^4*x13*x15*x17*x18^5*x2*x21^4*x23^2*x25^2*x26^2*x27^
2*x28^4*x29*x3^4*x30^5*x4^5*x5*x6^3*x7^2*x9^2+7525*x1^2*x10^3*x11^3*x13*x14^4*
x15^3*x16^4*x17^2*x19^2*x20^6*x21*x22*x23^2*x27^5*x28^4*x29^7*x3*x30^3*x4*x5^3*
x7*x9-16300*x1^2*x10^3*x11*x12^4*x14^2*x15*x16*x17^2*x18*x19^2*x2^5*x20^5*x21*
x22*x24*x27^3*x28^6*x29^7*x30^5*x4*x6^5*x9-6800*x1^2*x10^2*x11^2*x12*x14^3*x15^
3*x16*x17^3*x19^2*x2*x20^4*x23^2*x24*x26^2*x27^2*x28^10*x29^8*x3*x30^4*x4^2*x7*
x9^3-190762*x1^2*x10^2*x13^3*x14*x15^2*x16^9*x17^5*x18*x21^3*x22*x23^4*x24^2*
x25^4*x26*x27*x29^2*x3^3*x30*x4^2*x5*x8^3*x9^7-318362*x1^2*x10^2*x13^3*x15^3*
x16^7*x17^8*x19^2*x20^2*x21^6*x24^2*x25^2*x26*x27*x28*x29^4*x3*x30*x4^2*x5*x6^2
*x8^6*x9-166453*x1^2*x10*x11^4*x13*x14^2*x15^3*x16^4*x17^2*x18^2*x19*x2*x20^4*
x21^2*x22*x23^5*x27^6*x3^4*x30^5*x4^2*x5^3*x6^2*x7^3+79750*x1^5*x10*x12^2*x13^6
*x16^7*x17^6*x19*x20^2*x21^2*x22*x24*x25^2*x26*x29^4*x3*x30^2*x4^3*x5*x6^5*x7*
x8^4*x9^2-116130*x1^4*x10^5*x11^2*x13*x14*x15^2*x17^3*x18^2*x2^2*x20^2*x21*x22^
3*x23^4*x26^2*x27^5*x3^3*x30^5*x4^3*x6^2*x7^4*x8^3*x9+173040*x1^3*x10^6*x11^2*
x13^2*x14^4*x15*x17^8*x2*x20*x22^3*x23*x26^2*x27^2*x29*x3^2*x30^3*x4^2*x5*x6^5*
x7^3*x8^5*x9^2+546312*x1^3*x10*x11*x12^2*x13*x14^3*x15^2*x17^7*x2*x20*x22^4*x23
*x26*x28*x29^3*x3^4*x30^2*x4^2*x5^2*x6^6*x7*x8^2*x9-174382*x10^2*x12^6*x13*x14*
x15^4*x16^4*x18*x2^2*x21*x22*x23*x24*x25^3*x26^2*x27*x28^4*x29*x3*x30^5*x4^6*x6
*x7^4*x8^2+420432*x10*x11*x12^2*x13^2*x14^2*x15^2*x16^2*x17^5*x18*x2^2*x20^2*
x23^2*x24^3*x25*x26^2*x27*x28^2*x3*x30^5*x5^10*x6^3*x7^2*x8-528048*x10*x11*x13^
2*x14*x15^3*x16*x17^4*x18*x19^2*x20^5*x22*x23^6*x25^2*x27^2*x28^2*x29*x3*x30^5*
x4*x5^8*x6*x7^3*x8-493308*x11^2*x12^2*x13*x14*x15^2*x16^5*x17*x19^4*x20^3*x22^4
*x23^4*x25^2*x27^3*x28^3*x29^3*x3*x30*x4*x5^3*x6^2*x7*x8^5*x9-471336*x1*x10^4*
x11^3*x12^2*x13*x14^6*x17*x18^4*x19*x2^3*x21*x22^4*x23^2*x24^2*x25^4*x26^3*x27*
x28^2*x4^2*x5*x6^3*x7^2*x9-568458*x1^5*x10*x12*x13^2*x14^3*x16^9*x17^5*x19*x20*
x21*x22^2*x24*x25^3*x26^2*x27*x29^3*x3*x30^2*x4^4*x5*x7*x8^2*x9+492723*x1^5*x11
*x12*x14^3*x15*x16^3*x17^2*x18^2*x19*x2*x20^3*x21*x22^2*x23^3*x25*x26*x27^4*x29
*x3^3*x30^5*x4^4*x6^2*x7^3-734184*x1^4*x10*x11*x12*x13*x14^6*x16^3*x17^7*x19*
x20^2*x22^2*x25*x26*x27*x29^2*x3^2*x30^3*x4^3*x5*x6^5*x7^2*x8^2*x9+980064*x1*
x10^4*x11^3*x12^4*x13*x14^4*x17^2*x18^4*x19^2*x22*x23^3*x25^2*x26^4*x27*x28*x29
^2*x30*x4^3*x5^2*x6^4*x7^2*x8*x9+422994*x1^4*x10*x12^2*x13^2*x15^2*x16^6*x17^5*
x2*x21*x22^4*x23*x24*x25^2*x26^2*x28*x29^4*x3^3*x30*x4^3*x5^2*x6*x8^2*x9+252628
*x1*x11^3*x12^2*x13^2*x14^2*x15*x16*x17^3*x18^2*x2^3*x21^2*x23*x24^3*x25*x26^4*
x28^6*x29*x3*x30^3*x5^6*x6^6*x7*x9-254933*x1*x11*x12^2*x13*x14^2*x15*x16*x17^4*
x18^2*x2^3*x20^2*x21*x23^3*x24^3*x26^2*x27^3*x28^2*x3^3*x30^5*x4^2*x5^5*x6^5*x7
^2+320187*x1*x11*x13*x14*x15^2*x17^3*x18^2*x19^2*x2*x20^5*x21*x22*x23^7*x25*x27
^4*x28^2*x29*x3^3*x30^5*x4^3*x5^3*x6^3*x7^3+266162*x10^4*x11*x12^3*x13*x14*x15^
3*x16^7*x19*x2*x21*x22*x23^3*x25^2*x28*x29^2*x3^2*x30^5*x4^3*x5^2*x6^2*x7^4*x8^
4*x9^2+430128*x10^2*x11*x12*x13*x14^3*x15*x17^9*x18*x19*x2^2*x20^2*x21^2*x23*
x28*x29^3*x3^3*x30^2*x4*x5^3*x6^5*x7*x8^5*x9^5-11975*x1^2*x10^4*x13*x14^6*x15*
x17^2*x19*x2^3*x20^4*x21*x22^3*x23*x24^2*x25^2*x27^2*x28^5*x29^7*x30^2*x4*x5*x6
*x7*x9^2-305602*x1^2*x10^3*x13^3*x14^4*x16^6*x17^5*x2^3*x21^2*x22^3*x23*x24^3*
x25^4*x26*x28*x29^2*x3*x30*x4^2*x5^2*x6*x7*x8^2*x9^2-262492*x1^2*x10^2*x11^3*
x13^2*x14^4*x15*x17*x18^2*x2^4*x21^3*x22^3*x23^2*x24^2*x25^3*x26^2*x28^5*x29*x3
*x30^2*x5^2*x6^4*x7^2*x9^2-394696*x1*x10^3*x11*x13^2*x14^7*x17^7*x2^3*x20*x21*
x22^3*x23*x24^2*x25^2*x28*x29*x3^2*x30^2*x4*x5^2*x6^6*x7^2*x8^2*x9^2+476064*x10
^2*x11*x12*x13*x15^3*x16*x17^5*x18^2*x19*x2^2*x20^3*x21^2*x23^3*x25*x27*x28*x29
^2*x3^2*x30^4*x5^7*x7^2*x8^4*x9^4-231240*x10^3*x11^4*x12^3*x14^2*x17^3*x18^5*
x19^2*x2^2*x20^2*x21^2*x22*x23*x24^3*x25^2*x26^4*x27^2*x28^2*x30*x4^3*x5*x6^4*
x7^4*x8+730512*x10^2*x11^4*x13*x14^2*x15^3*x16^3*x17^3*x18^3*x19*x2*x20^2*x21^2
*x22*x23^2*x24*x25^2*x26^3*x27^3*x3*x30^5*x5^5*x7^5*x8^2+682452*x10*x11^5*x12^2
*x14^2*x15^2*x16^7*x18^2*x19^3*x2*x21^2*x22^4*x24*x25^2*x26^3*x27^4*x28*x29^2*
x3*x30*x6*x7^3*x8^6*x9-361152*x10*x11^3*x12*x13*x14*x15^3*x16^2*x17^3*x18*x19^3
*x2^3*x20^3*x23^4*x25^2*x26*x27^2*x29*x3^5*x30^4*x5^5*x6*x7^6*x8-369238*x10*x11
*x12^3*x13*x14^2*x15^3*x16^4*x17*x18^2*x2^4*x21*x22*x23^7*x25^2*x26*x27*x28*x29
*x3^4*x30^5*x4^4*x6*x7^6+712272*x11^2*x12^3*x13*x15*x16^5*x17*x19^2*x2*x20^2*
x21^4*x22^6*x24*x25^3*x26*x27^3*x28^2*x29^3*x3*x30^4*x4*x6^3*x8^5*x9^2-262632*
x12^4*x13*x14^2*x15^4*x16^6*x17*x19*x2^2*x20^2*x21*x22^3*x23*x24*x25^2*x26^2*
x27^2*x28*x29^2*x30^6*x4^3*x6^2*x7^6*x9^2-96722*x1*x10^3*x11^2*x12^3*x13^2*x14*
x15^2*x16^5*x19^4*x2^2*x21*x22*x23^2*x24*x25^2*x26^3*x27^3*x29*x30^7*x4^3*x6*x7
^4*x8^2-288666*x1*x10*x11*x12*x15^2*x17^4*x18^3*x19*x2^3*x20^3*x21^3*x23^4*x27^
3*x28*x29^2*x3^4*x30^4*x4^2*x5^2*x6^2*x7^2*x8^3*x9^4+522440*x1*x10*x12^3*x13^2*
x14^3*x15^3*x16^4*x17*x18*x2^4*x20*x21^4*x22*x23*x25^2*x26^3*x28^3*x3*x30^7*x4^
3*x5*x6^2*x7^4-350882*x1^3*x11^2*x12^3*x13*x14^3*x15^2*x16^4*x18^2*x2^3*x20*x21
^2*x22*x23*x24*x25^5*x29*x3*x30^6*x4^5*x5^3*x6^2*x7^4*x9-124968*x1^2*x10^3*x11^
5*x12^2*x14^3*x15*x17*x18^4*x19^2*x2^4*x20^2*x21^2*x22*x23*x25^8*x26^3*x27^2*
x28*x29*x4^2*x6^2*x7^3*x8^2-124944*x1*x10^4*x11^3*x13^2*x15^2*x16^2*x17^3*x18*
x19^4*x2^2*x20^2*x23^3*x24*x25*x26^3*x27^4*x29*x3*x30^6*x5^5*x6*x7^2*x8^3+
612864*x1*x10^4*x11*x12^2*x13^4*x15^2*x16^2*x17^3*x18*x20^2*x22*x23^2*x25^2*x26
^2*x27^2*x28^2*x3^2*x30^7*x4^3*x5^5*x6*x7^4*x8^2-157586*x1*x10^3*x12^3*x13^2*
x15^2*x16^6*x17^5*x18*x2^2*x21*x24^2*x25^3*x26^3*x27*x28^4*x29^3*x3^2*x30*x4^5*
x5*x6*x8^4*x9+136591*x1*x10^2*x11*x12^3*x15^3*x17^2*x18^3*x2^3*x20^2*x21*x23^3*
x24*x25*x26^2*x27^4*x28^4*x29*x3^4*x30^4*x4^5*x6^3*x7^2*x8^2+674880*x1*x10^2*
x11*x13^2*x14^2*x15^3*x16*x17^4*x18^2*x2^4*x20^3*x21^3*x23^2*x25*x26^3*x27*x28^
3*x3^2*x30^6*x5^6*x6^2*x7^2*x8-86904*x10^4*x11^2*x12^3*x14*x15^2*x16^6*x17*x19^
3*x2*x20*x22^3*x23*x25*x27^4*x28*x29^3*x3^5*x30*x5^3*x6*x7^2*x8^7*x9+788184*x10
^3*x11^6*x12^2*x14^4*x15*x16^2*x17*x18^6*x19^2*x2*x21^2*x22^2*x23*x24*x25^3*x26
^6*x27^3*x28*x30*x4^2*x6^2*x7^4*x8+689472*x10^3*x11^5*x13*x15^2*x16^2*x17^3*x18
^2*x19*x2^2*x20^2*x21^2*x23^2*x24*x25^2*x27*x28^6*x29*x3*x30^5*x5^5*x7^2*x8^5*
x9-49420*x1*x11*x12^3*x13^4*x14^2*x15^2*x16^4*x18*x19^5*x2*x21^2*x22*x23*x25^6*
x26*x27*x28*x3*x30^6*x4^3*x6^2*x7^5*x8^4+316848*x10^5*x11^3*x12^2*x13*x14^2*x17
^4*x18^4*x19*x20^2*x21^2*x22*x23^2*x25^3*x26^3*x27^2*x28^3*x29*x30^2*x4^2*x5*x6
^4*x7*x8^7+622944*x10^3*x11^5*x13*x14^3*x16*x17^7*x18*x19*x2^2*x20*x21^2*x24*
x25*x28^6*x29^2*x3^2*x30^3*x4*x5*x6^5*x7*x8^6*x9^2-412296*x10^3*x11^3*x12^2*x14
^3*x15^2*x16^2*x17^4*x18^4*x19^3*x21*x22^2*x23^2*x24*x25^4*x26^4*x27^2*x28*x29*
x3*x4^5*x6^5*x7^2*x9-837384*x10^2*x11^4*x12^3*x14^3*x15^5*x16^2*x17^4*x18^4*x19
*x20^2*x21^3*x22*x23^3*x24^3*x25^3*x26^4*x27*x28^2*x29*x4^2*x6^2*x7^2*x9+78720*
x10^2*x11^3*x12^2*x13^3*x14^2*x15^2*x17^3*x18^4*x19*x21*x22*x23*x25^4*x26^7*x27
*x28*x29^7*x3^3*x4^2*x5*x6^4*x7^2*x9-476976*x10^2*x11^2*x13*x14*x15^3*x16*x17^4
*x18^3*x2^4*x20^2*x23^8*x25*x26*x27^2*x28*x29*x3^5*x30^4*x4*x5^5*x6*x7^4*x8-
445596*x10*x11^3*x12^2*x14*x15^2*x16^5*x17*x18^2*x19^2*x2^4*x22^3*x23^6*x25*x26
*x27^3*x28^2*x29^3*x3^5*x4*x6^2*x7^2*x8^5*x9-356988*x10*x11^2*x12^2*x14*x15^3*
x16^7*x17^3*x19^4*x21*x22^4*x23*x24*x25^3*x26*x27^3*x28*x29^3*x3^2*x4^3*x6^4*x7
*x8^5*x9^2-677760*x10*x11*x12^4*x13*x14^4*x15^2*x16^4*x20*x21^3*x22^2*x23^2*x24
*x25^3*x26^2*x27^2*x28^3*x29*x3*x30^6*x4^3*x5^4*x6*x7^6+129955*x1*x10*x11^2*x12
*x15*x17^4*x18^3*x19*x2^3*x20^4*x21^3*x23^3*x24^3*x26*x27^4*x28*x3^3*x30^5*x4^3
*x5*x6^4*x7^5*x8-460312*x1*x10*x11*x12^7*x13*x14*x15^2*x16^5*x18*x19*x2^5*x20*
x21^2*x22^2*x23*x24*x25^2*x27*x28^2*x30^8*x4^3*x6^5*x7^4+639636*x1*x10*x11*x12^
3*x13*x14^3*x15^2*x16^4*x18^2*x19^3*x21^2*x22*x23^3*x25^3*x26^6*x27*x28^2*x29*
x3*x30^5*x4^4*x7^6*x9^2+197780*x1*x10*x11*x12*x13^6*x15^2*x16^8*x17^5*x18^2*x19
^3*x20*x21^3*x23^5*x24*x25^2*x26*x29^4*x3^2*x30*x4^2*x5*x8^2*x9^3-867312*x1*x10
*x11*x13*x15^2*x16^3*x17^3*x18*x19^5*x2^4*x20^3*x21*x23^3*x25*x26^2*x27^2*x29^2
*x3^6*x30^5*x5^5*x6^2*x7^3*x8-352294*x1*x10*x12^3*x13^2*x14*x15^5*x16^5*x17^3*
x19^2*x20^2*x21^6*x22*x23*x24*x25^2*x27*x28*x29^2*x30^5*x4^3*x6^2*x7^4*x8^4+
533368*x1*x10*x12*x13^3*x16^6*x17^6*x2*x20^2*x21^5*x22^3*x24^2*x25^4*x26^2*x27*
x28*x29^3*x3*x30^5*x4^3*x5*x6^2*x8^2*x9^2+169880*x1*x11^4*x12*x13^5*x15^3*x16^2
*x17*x18^4*x19^3*x2*x20*x21^4*x23^6*x25*x26^2*x28^4*x29^3*x3^2*x30^2*x5*x6^3*x7
*x9^3-189608*x1*x11^3*x13*x15^2*x16^2*x17^4*x18^3*x2*x20*x21^2*x23^2*x25*x26^2*
x27^2*x28^7*x29*x3*x30^6*x4*x5^3*x6^3*x7*x9^8-192032*x1*x11^2*x12^4*x13*x14^2*
x15^4*x16^5*x17*x19*x2*x21*x22*x23^3*x24*x25^2*x26^2*x28^6*x29*x3*x30^7*x4^4*x7
^5*x9^2-655344*x1^2*x10^2*x11^3*x12^4*x13^3*x14^4*x15*x16*x17^3*x18^4*x19^7*x2*
x22*x23^2*x25^3*x26^3*x27*x28^3*x3*x4^2*x6^2*x7*x8^4+472120*x1^2*x10^2*x13^3*
x14^2*x15*x16^6*x17^6*x18*x2^4*x20*x21^4*x24*x25^2*x26^4*x28^3*x29^2*x3^2*x30^3
*x4^2*x5^2*x6^2*x8^2*x9+619868*x1^2*x10*x12^3*x13^2*x14^3*x15^2*x16^4*x17*x19*
x2*x20^3*x21*x22*x23*x24^2*x25^2*x27^2*x30^6*x4^6*x5^2*x7^6*x8^4*x9^2+240526*x1
*x10^5*x11*x13^2*x15*x16^9*x17^5*x19*x2*x21*x23^2*x24*x25^2*x26*x28*x29^4*x3^3*
x30*x4^2*x5^3*x6^2*x8^6*x9^3+206596*x1*x10^4*x11^4*x13*x15^2*x16^3*x17*x18^2*
x19*x2^2*x21^2*x23^3*x25*x26^2*x28^5*x29^3*x3^3*x30^2*x5^3*x6^5*x7*x8^4*x9^3-
112888*x1*x10^4*x11^3*x13^2*x14^3*x16*x17^7*x19^4*x2^2*x20*x23*x24*x26^3*x27^3*
x29^2*x3^2*x30^4*x4*x5*x6^6*x7*x8^4*x9-208481*x1*x10^4*x11^2*x15^2*x16^3*x17^2*
x18^2*x19*x2^2*x20^2*x21*x23^5*x27^3*x28*x29^2*x3^5*x30^4*x4^2*x5^2*x6^4*x7^2*
x8^4*x9^2+553728*x1*x10^4*x11*x12^2*x13^4*x14^3*x16*x17^7*x20*x22*x25*x26^2*x27
*x28^2*x29*x3^3*x30^5*x4^4*x5*x6^6*x7^3*x8^3*x9+56406*x1*x10^4*x11*x12*x14*x15^
2*x16*x17^3*x18^2*x19*x2^2*x20^3*x21*x23^4*x27^5*x29*x3^7*x30^5*x4^2*x5^3*x6^2*
x7^4*x8^2-9900*x1*x10^2*x11^2*x12*x14^3*x15^2*x16*x17^2*x19^4*x2^3*x20^5*x23^2*
x25*x26*x27^3*x28^4*x29^8*x3^4*x30^2*x4*x6*x7^4*x9+529092*x10*x11^2*x12^5*x13^4
*x15*x16^6*x17^2*x19^3*x20^3*x22^3*x23^3*x24*x25*x26*x27^2*x28*x29^4*x3^5*x30*
x5*x6*x8^5*x9^3+774468*x10*x11^2*x12^2*x13*x14*x15*x16^9*x19^4*x20^2*x22^5*x23^
2*x25*x27^2*x28*x29^5*x3^2*x30*x4*x5*x6*x7*x8^12*x9-216144*x10*x11*x12^3*x13*
x14*x15^2*x16^2*x17^7*x18^2*x20^5*x21*x23^2*x24*x25*x26*x27^6*x29*x3*x30^7*x5^6
*x7^3*x8^2*x9^2+350200*x10*x11*x12^2*x13^3*x14^3*x15^4*x17^7*x18^4*x19^3*x20^2*
x24^3*x25*x26*x27^3*x29*x3^2*x30^3*x4*x5^3*x6^7*x7*x8^2*x9-814416*x10*x11*x13^6
*x15^3*x16^2*x17^3*x18^3*x20^2*x21*x23^2*x24*x25^4*x26^2*x27*x28*x3*x30^5*x4*x5
^7*x6^5*x7^2*x8*x9^4-228336*x11^4*x12^2*x14*x15^3*x16^8*x17^5*x18*x19^3*x20*x22
^7*x23^2*x24*x25^2*x26*x27^2*x28*x29^2*x3*x4*x5^2*x6*x8^7*x9+372324*x11^3*x12^2
*x13^4*x15*x16^5*x19^3*x2^2*x20^4*x21*x22^5*x23*x24*x25*x26*x27^2*x28^3*x29^2*
x3*x4*x5^3*x6*x8^10*x9^2-121032*x1^6*x10^5*x11^3*x12^5*x14^2*x15*x17^2*x18^4*
x19^2*x2*x22*x23^2*x25^2*x26^3*x27*x28*x3^4*x30*x4^5*x6^2*x7^3*x8*x9+16800*x1^2
*x10^5*x12^2*x13^3*x14^2*x15*x16*x17^2*x19*x20^4*x22*x25*x26^2*x27^3*x28^6*x29^
7*x3*x30^5*x4^4*x6*x7^2*x8*x9+75761*x1^2*x10^3*x11^3*x13*x15*x16*x17^2*x18^2*
x19^4*x2^3*x20^2*x21*x23^4*x24*x26^3*x27^6*x29*x3^3*x30^6*x4^2*x6^3*x7^2*x8^2+
555960*x10^3*x11^6*x12^2*x14^7*x15^3*x16*x17*x18^4*x19^2*x2*x20*x21^2*x22^3*x23
*x25^5*x26^3*x27*x28*x29^3*x3*x4^4*x6^3*x7+225336*x10^3*x11^4*x12^3*x13^4*x14^3
*x15*x16*x17*x18^8*x19^2*x2^4*x20*x22*x23^2*x25^3*x26^5*x27^2*x28^2*x3*x30^2*x4
^2*x6^2*x7^2-944640*x10^3*x11^4*x12^3*x14^5*x17*x18^4*x19*x20*x21^2*x22^2*x23^2
*x24*x25^3*x26^5*x27^3*x28^4*x29*x3*x30*x4^2*x5^4*x6^3*x7^3+178104*x10^3*x11^3*
x12^3*x13^3*x14^2*x17^2*x18^5*x19*x2^2*x20^2*x21^2*x22^2*x23^2*x25^2*x26^3*x27*
x28*x3*x30^3*x4^11*x5^2*x6^2*x7-415872*x10^2*x11^7*x13^2*x15^2*x16*x17^4*x18*
x20^2*x21^2*x23^2*x25*x26^7*x27^2*x28^2*x29*x3^5*x30^5*x4*x5^5*x6*x7^2*x8*x9-
254856*x10^2*x11^4*x12^2*x14^9*x15^5*x16*x17^2*x18^4*x19^2*x2^2*x20*x22*x23*x24
^5*x25^2*x26^4*x27^2*x28*x3^2*x4^2*x6^2*x7*x9^2-146544*x10^2*x11^3*x12^3*x14^6*
x15*x16^5*x17^2*x18^5*x19^2*x2*x20*x22^4*x23*x24*x25*x27^3*x28*x29^4*x3*x4*x6^3
*x8^6*x9^2-635664*x10^2*x11^3*x12^2*x13*x14^3*x17^5*x18^4*x19^3*x2^2*x21^2*x22^
2*x23^2*x25^2*x26^4*x27*x28^3*x29*x3^3*x30*x4^3*x6^3*x7^2*x9^5-141432*x10^2*x11
^2*x12^3*x15*x16^5*x17*x18^2*x19^2*x2*x21*x22^3*x23^3*x24^3*x25^6*x26^2*x27^2*
x28^3*x29^2*x3^2*x30^3*x6^2*x8^5*x9^3-616512*x10^2*x11^2*x12*x13^2*x14*x15^2*
x16^2*x17^4*x18^2*x20^3*x22*x23^5*x25^3*x26*x27*x28*x29^3*x3^3*x30^5*x5^9*x7^2*
x8^2*x9^2+259920*x1*x10^2*x11*x12^3*x13^4*x14^3*x15^4*x16^5*x17^4*x18*x20^4*x21
^2*x22^2*x23^3*x25*x26^2*x27*x3*x30^4*x5^6*x6*x7^3*x8+450528*x1*x10^2*x11*x12*
x13*x14*x15^4*x16*x17^3*x18^2*x20^2*x22^4*x23^3*x24^5*x25^2*x26^5*x27^2*x29*x3^
2*x30^5*x5^5*x7^4*x8^2-455088*x1*x10^2*x11*x13^2*x15^5*x16^2*x17^6*x18*x19^2*
x20^4*x21^5*x23^2*x24*x25*x27^2*x28*x29^2*x3*x30^4*x5^5*x6^2*x7^2*x8^5-286604*
x1*x10*x11^4*x13*x14*x15^2*x17^2*x18^4*x2^5*x21^2*x23^7*x25*x26^3*x27*x28^5*x29
^2*x3^5*x30^2*x4*x5*x6^4*x7^3*x9+771912*x1*x10*x11^3*x12^2*x14^2*x15*x16^5*x18^
2*x19^5*x21*x22^3*x23^2*x25^2*x26^6*x27^3*x28^3*x29^3*x3^2*x4*x6*x7^2*x8^5*x9^3
+420888*x1*x10*x11^2*x12^3*x14*x15^3*x16^5*x18*x19^2*x22^7*x23*x24^5*x25^2*x26^
5*x27^3*x28*x29^3*x3^2*x30*x6*x7^2*x8^6*x9+16480*x1*x10*x11*x12^2*x13^4*x14^3*
x15*x16*x17^7*x19^2*x20^2*x23^2*x25^5*x28^3*x29*x3^4*x30^2*x4*x5^4*x6^6*x7^2*x8
^3*x9-783624*x1*x10*x11*x13*x14^3*x16^2*x17^7*x19^5*x2^4*x20^2*x21*x23*x26^2*
x27*x29^3*x3^7*x30^3*x4*x5*x6^7*x7^2*x8^2*x9+271150*x1*x10*x12^2*x13^4*x15^4*
x16^6*x17^5*x18^4*x19^3*x20*x21*x24^4*x25^3*x26^2*x27^3*x29^2*x3*x30^2*x4^2*x5^
3*x6^2*x8^2*x9-59640*x1*x11^3*x12^2*x13^3*x14*x15*x16^5*x18*x19^7*x2*x21*x22^3*
x25^5*x26*x27^3*x28^2*x29^2*x3^2*x30*x6^3*x7*x8^9*x9-606738*x1^2*x10*x13^2*x16^
8*x17^5*x19^5*x2^4*x20*x21^2*x23*x24*x25^2*x26^3*x27*x29^4*x3^6*x30^2*x4^2*x5*
x6^2*x7*x8^2*x9-521148*x1^2*x11^3*x13*x15*x16^2*x17*x18^2*x19^5*x2^5*x20*x21^3*
x23^2*x25*x26^4*x27*x28^4*x29^3*x3^6*x30^3*x5*x6^5*x7^2*x9+212148*x1^2*x11^2*
x12^6*x13^2*x15*x16^7*x17*x19^3*x20*x21*x22^3*x25^2*x26^3*x27^2*x28*x29^2*x3*
x30^6*x4*x5^4*x6*x8^6*x9-11060*x1^2*x11*x12^2*x13^3*x15^2*x16*x17^2*x18^2*x19^2
*x2*x20^3*x21*x23^5*x25^5*x27^3*x28^3*x3^5*x30^4*x4^2*x5^3*x6^3*x7^3*x8-641568*
x1*x10^3*x11^4*x12^6*x14^2*x16*x17*x18^5*x19^2*x2^5*x20*x21*x22^2*x23*x24*x25^2
*x26^3*x27^2*x28^3*x30^3*x4^2*x6^7*x7+280440*x1*x10^3*x11^3*x12^5*x13^3*x14^5*
x15^2*x16^4*x17^2*x18^4*x19*x20^2*x21^2*x22^3*x23^2*x25^2*x26^5*x27*x28*x4^2*x5
*x6^3*x7^2+486096*x1*x10^3*x11^3*x12^3*x14^3*x15^2*x17*x18^5*x19*x22^5*x23^2*
x24^5*x25^3*x26^8*x27^2*x28*x29*x3*x30*x4^2*x6^2*x7^3*x8+176456*x1*x10^3*x11^3*
x13^2*x15*x17^4*x18^2*x2*x20^2*x21^4*x23^2*x25^2*x26^2*x27*x28^6*x29^2*x3*x30^4
*x5^2*x6^5*x7*x8^7*x9-10475*x1*x10^3*x14^3*x15^3*x16^2*x17^5*x19^3*x20^4*x21*
x22*x23*x24*x25^2*x26*x27^3*x28^4*x29^8*x3*x30^2*x4^4*x6^3*x7*x9^2-68880*x1*x10
^2*x11^4*x12^2*x13^3*x14^3*x17*x18^5*x19^6*x2*x21*x22*x23*x25^6*x26^4*x27^2*x28
^2*x3*x30*x4^2*x6^4*x7^2*x8^4+191520*x1^3*x10^6*x11^2*x13^2*x14*x15^3*x16*x17^4
*x18*x2*x20^2*x22^3*x23^3*x25*x26^2*x27^3*x3*x30^5*x4*x5^5*x7^4*x8^4*x9-203528*
x1^3*x10^6*x11*x12*x13^3*x14^3*x16*x17^9*x18^4*x19^3*x2*x20*x23^3*x25*x29*x3^2*
x30^2*x4*x5*x6^5*x7^3*x8^3*x9-673968*x1^3*x10^2*x11*x13^2*x14*x15^5*x16^2*x17^3
*x18*x2^4*x20^4*x22*x23^3*x25^2*x27^2*x29^2*x3^2*x30^5*x5^6*x6^3*x7^3*x8*x9-
424908*x1^3*x10*x12^2*x13^5*x14^2*x15*x16^7*x17^7*x19^6*x2*x21*x23*x24*x25^3*
x26*x28^2*x29^2*x3^2*x30*x4^2*x5*x8^6*x9+368298*x1^3*x11*x12^2*x13^3*x14^2*x15^
2*x16*x17^4*x18^2*x19^6*x2^2*x20^2*x21*x23^4*x25*x27^3*x28^2*x3^4*x30^4*x4^2*x6
^2*x7^2*x8^4+783264*x1^2*x10^3*x11^3*x12^4*x14^4*x15*x16^3*x17*x18^4*x19*x20^6*
x21*x22^2*x23*x25^2*x26^3*x27^3*x28^2*x29^2*x4^3*x5^2*x6^2*x7^4+712760*x1^2*x10
^2*x11^2*x13*x14^3*x15^3*x17^7*x18*x19*x2^3*x20^5*x22*x23*x25*x29^2*x3^3*x30^3*
x4*x5*x6^5*x7^2*x8^8*x9+800736*x1^2*x10^2*x11*x13^2*x14^2*x15^2*x16*x17^4*x18*
x19*x2*x20^5*x23^2*x24^2*x25*x27^3*x3*x30^5*x4^3*x5^7*x7^4*x8^5*x9^2+500*x1^2*
x10^2*x12^2*x13^3*x14^2*x15^2*x16*x17^2*x19^3*x20^5*x23^2*x25^5*x27^2*x28^7*x29
^7*x3^2*x30^2*x4*x5^3*x6*x7*x8*x9-41748*x1^2*x10*x11^3*x12^3*x14^2*x15^3*x16^6*
x17^4*x18*x19^2*x21^2*x22^5*x24^2*x25*x27^2*x28*x29^3*x3*x30*x4^2*x6^3*x8^6*x9^
3+357238*x1*x11*x13*x14*x15*x17^6*x18^2*x19^2*x2^3*x20^2*x21^3*x22*x23^4*x26*
x27^3*x28^2*x29*x3^6*x30^5*x4^3*x6^3*x7^3*x9^5+154088*x10^4*x11^2*x12^2*x13*x14
^3*x17^10*x18*x2^2*x20*x22*x24^4*x25*x26^3*x27*x29*x3^2*x30^4*x4*x5*x6^8*x7^3*
x8^3*x9-458968*x10^3*x11^4*x13^3*x14^4*x15^2*x16*x17^7*x18*x19*x20*x24^3*x25^5*
x27*x28*x29^2*x3^3*x30^5*x4^2*x5*x6^5*x7*x8^3*x9-557024*x10^2*x11^2*x12*x13^2*
x14^4*x16*x17^8*x18*x20^2*x22*x23^3*x25^2*x26*x28*x29^4*x3^4*x30^3*x4*x5^5*x6^5
*x7*x8^3*x9^3+615528*x10^2*x11*x12*x13^5*x14^4*x15^2*x16^2*x17^7*x18*x19^5*x2*
x20^4*x22*x23^3*x29^5*x3^2*x30^2*x4*x5*x6^5*x7^2*x8^2*x9+173040*x10^2*x11*x13*
x14^4*x16*x17^7*x19^2*x2^2*x20*x22^2*x23^4*x25*x27^2*x28^2*x29^6*x3^4*x30^3*x4*
x5*x6^7*x7^2*x8^2*x9^2+360088*x10*x11^2*x13^5*x14^3*x17^7*x19*x2^2*x20^5*x21*
x22^2*x23*x24*x26*x28^2*x29*x3^2*x30^2*x4^2*x5^4*x6^5*x7*x8^7*x9^2-735832*x10*
x11*x13^6*x14^3*x15*x16*x17^7*x18^2*x20*x21*x24*x25^3*x26^2*x28*x29*x3^2*x30^3*
x4^2*x5^3*x6^10*x7*x8^2*x9^5-272356*x1^4*x11^5*x13*x14^2*x15*x17*x18^4*x2^4*x20
*x21^3*x23*x24*x25^4*x26^2*x28^4*x29^2*x3^2*x30^3*x4^2*x5^4*x6^5*x7*x9^2+206640
*x1^3*x10^7*x11^4*x12^2*x13*x14^3*x15*x17^2*x18^4*x19*x2*x22^4*x23^2*x25^2*x26^
5*x27^3*x28*x30*x4^3*x6^2*x7^3*x8^3*x9-11350*x1*x10^2*x11*x13^2*x14^4*x15^2*x17
^2*x18^3*x19^2*x2*x20^5*x21*x23^5*x24*x25*x27^3*x28^4*x29^7*x3*x30^7*x4^2*x5^2*
x9-411176*x1*x10^2*x11*x13^2*x14^3*x15^3*x16*x17^10*x19^2*x20^3*x21^5*x24*x27*
x28*x29^3*x3^2*x30^2*x4*x5*x6^7*x7*x8^6*x9-34839*x1*x10*x11^3*x13^4*x14*x15*x16
^3*x17^2*x18^2*x19*x2*x20^4*x21*x22*x23^7*x26*x27^9*x3^3*x30^4*x4^3*x6^2*x7^3*
x9^2+265232*x1*x10*x11^3*x13*x15*x17^6*x18^5*x19*x2*x21^5*x22*x23*x25*x26^6*x28
^5*x29^3*x3*x30^2*x4^2*x5*x6^4*x7^3*x9^5-413091*x1*x10*x11*x12*x13^4*x14*x15^3*
x16^2*x17^2*x18^3*x19^5*x2^2*x20^5*x21*x22*x23^6*x27^3*x29^4*x3^3*x30^4*x4^2*x6
^2*x7^3+278806*x1*x10*x11*x13^6*x16^6*x17^5*x19*x2^2*x20^4*x21^2*x22^2*x23*x24^
2*x25^2*x26^2*x28^2*x29^2*x3*x30*x4^3*x5^4*x8^7*x9^2-165242*x1*x10*x11*x13^2*
x14^7*x15^5*x16^7*x17^6*x19*x2^2*x20*x21*x24^6*x25^2*x26^2*x27*x29^2*x3^3*x30*
x4^2*x5*x8^2*x9^3+423632*x1*x10*x12^3*x13^2*x14*x16^7*x17^6*x19^2*x2^2*x21^2*
x24^4*x25^4*x26*x27*x28^3*x29^8*x3*x30*x4^2*x5^2*x7^3*x8^2*x9-354008*x1*x11^3*
x13^2*x14*x15*x17^5*x18^2*x19^2*x2^3*x21^4*x22*x23^2*x25*x26^3*x28^6*x29^2*x3^4
*x30^3*x4*x5*x6^4*x7^2*x9^6+493829*x1*x11*x13^5*x15^2*x16*x17^2*x18^4*x2*x20^2*
x21^2*x23^3*x24*x25^3*x26^2*x27^3*x28*x3^3*x30^5*x4^3*x5^2*x6^7*x7^2*x9^4+
444612*x1^2*x11*x12^3*x14^5*x15^3*x16*x17^2*x18^5*x2*x20^2*x21*x23^3*x24*x27^3*
x28*x29*x3^7*x30^4*x4^6*x6^2*x7^3*x8^2*x9-4150*x1*x10^4*x12*x14^2*x15*x17^3*x18
^2*x19*x2*x20^4*x21*x23^3*x24^3*x25^5*x26^2*x27^2*x28^6*x29^7*x3*x30^5*x4*x6*x9
^3-355366*x1*x10^3*x11^3*x13^4*x14*x15^2*x16^7*x17^5*x18*x19*x21*x24^4*x25^7*
x26*x27*x28*x29^3*x3^2*x30^4*x4^3*x5*x8^3*x9+33180*x1*x10^3*x11^2*x12^4*x15^2*
x17^2*x18^3*x2^2*x20^2*x21*x22*x23^3*x24*x26^2*x27^5*x28*x29^2*x3^3*x30^5*x4^4*
x6^2*x7^8*x9+248024*x1*x10^2*x11^4*x13^2*x14^5*x15^2*x16^4*x17^7*x19*x20^3*x21*
x22*x23^2*x27^3*x29*x3^3*x30^3*x4*x5^4*x6^5*x7^2*x8^2*x9+375487*x1*x10^2*x11^3*
x12^3*x14*x15*x16^3*x17^2*x18^3*x2^3*x20^2*x21*x23^3*x25^2*x26*x27^3*x29^6*x3^3
*x30^4*x4^5*x6^5*x7^2*x9+95116*x1*x10^2*x11^2*x12*x14^6*x15*x17^4*x18^7*x2^2*
x20^3*x21*x22*x23^4*x24*x27^4*x29^2*x3^3*x30^4*x4^3*x6^4*x7^2*x8*x9-6700*x1*x10
^2*x11^2*x14^3*x15^3*x16^3*x17^7*x18*x19^2*x20^5*x22^4*x23^2*x24*x25*x26*x27^2*
x28^4*x29^7*x30^2*x4^2*x5^2*x8^2*x9+234840*x1*x10^2*x11*x12^3*x13^4*x14^6*x15^2
*x16^4*x17^8*x20^3*x21^2*x22^2*x23*x26^2*x29*x3^2*x30^2*x4*x5^2*x6^6*x7^2*x8^2*
x9+10925*x1*x10^2*x11*x13^4*x14^2*x15*x17^2*x19^2*x2^2*x20^8*x21*x22^2*x23*x24*
x26*x27^2*x28^6*x29^7*x30^2*x4^2*x5^3*x8^5*x9^2+12350*x1^2*x10^3*x12*x14^3*x15^
3*x17^2*x18*x19*x20^4*x22^4*x23*x24^5*x25*x26^5*x27^3*x28^4*x29^8*x3*x30^3*x4*
x7^2*x8*x9-7475*x1^2*x10^3*x13*x14^3*x15^3*x16^3*x17^2*x18*x19*x20^4*x21^2*x22*
x23^4*x24*x25^2*x27^3*x28^4*x29^7*x3^2*x30^2*x4*x8*x9^7+222480*x1^2*x10^2*x11^2
*x12*x13^2*x14^4*x16^5*x17^7*x18*x19*x2*x20^2*x21*x26^4*x29^2*x3^2*x30^3*x4*x5^
4*x6^5*x7*x8^4*x9^3-40376*x1^2*x10^2*x11^2*x12*x13*x14^5*x15^2*x16*x17^11*x18*
x20*x21^2*x22^2*x24^2*x29^2*x3^2*x30^3*x4^3*x5*x6^7*x7*x8^3*x9^3+655904*x1^2*
x10^2*x11*x12^2*x13*x14^5*x15*x16^3*x17^7*x20^7*x21*x22*x27^2*x28*x29^3*x3^2*
x30^2*x4^2*x5^3*x6^5*x7^4*x8^2*x9-501018*x1^2*x10*x11^2*x14^2*x15*x17^2*x18^4*
x19^3*x2*x20^2*x21^2*x23^5*x25*x26^6*x27^4*x28^2*x29*x3^4*x30^4*x4^3*x6^2*x7^4*
x9^2-463414*x1^2*x10*x11^2*x15*x17^2*x18^3*x19^2*x2^4*x20^4*x21*x22*x23^4*x24^3
*x25*x26*x27^7*x3^4*x30^6*x4^2*x5^2*x6^4*x7^2*x9-157605*x1^2*x10*x11*x12^3*x13^
3*x14^3*x15^3*x16^4*x17^3*x18^2*x2*x20^4*x21^3*x22^2*x23^4*x26^2*x27^3*x3^3*x30
^4*x4^2*x5*x6^3*x7^3+275947*x1^2*x10*x11*x13*x15^4*x16*x17^5*x18^2*x19^2*x2*x20
^4*x21^6*x23^3*x24*x27^4*x28*x29^2*x3^3*x30^4*x4^2*x6^4*x7^2*x8^4-38360*x1^2*
x11^4*x13^4*x14*x15*x17*x18^3*x19^5*x2^2*x21^3*x23*x25^5*x26^3*x27*x28^5*x29*x3
^2*x30^3*x5*x6^5*x7^2*x8^4*x9-69125*x1^5*x11*x12^2*x13^4*x15*x16*x17^3*x18^2*
x19*x2*x20^4*x21^2*x22*x23^3*x27^3*x29^2*x3^3*x30^5*x4^3*x6^7*x7^3*x8^2*x9-
18475*x1^4*x10^3*x13*x14^3*x15^4*x16*x17^2*x19*x2^4*x20^6*x22*x23*x25*x27^3*x28
^4*x29^9*x3*x30^3*x4*x5*x6^3*x7*x9^2+6750*x1^3*x10^3*x11*x12*x13*x14^3*x15*x16^
5*x17^2*x18*x19^2*x2*x20^5*x21*x26^4*x27^2*x28^4*x29^8*x30^3*x4*x5^3*x8^2*x9^3+
172260*x1^3*x10^2*x11*x12*x13^3*x14*x16^11*x17^5*x18*x19*x2*x20*x21^2*x24*x25^2
*x26^5*x29^3*x3*x30^2*x4^2*x5^4*x8^4*x9^3-31262*x1^3*x10^2*x11*x12*x13^2*x14^2*
x15^2*x16^7*x17^9*x18*x21^3*x22^2*x24^3*x25^2*x26*x29^3*x3*x30^2*x4^4*x5*x6^2*
x8^3*x9^3-608936*x1^3*x10^2*x11*x13^2*x14^4*x15^3*x16*x17^7*x2^4*x20^3*x22*x23*
x25*x27*x29^3*x3^3*x30^3*x4*x5^2*x6^8*x7^2*x8^2*x9^2-440188*x1^3*x10*x11*x12^2*
x14^2*x15^2*x16^3*x17^2*x18^2*x2*x20^8*x21^2*x22*x23^3*x27^5*x28*x29^2*x3^3*x30
^4*x4^3*x5^2*x6^2*x7^5-485534*x1^3*x10*x11*x13*x14^2*x15*x17^3*x18^2*x19*x2^2*
x20^5*x21*x23^3*x24^2*x27^5*x3^3*x30^5*x4^5*x5^2*x6^2*x7^4*x8^4*x9^2-137697*x1^
3*x11*x12^4*x13^2*x15*x16^2*x17^3*x18^2*x19*x2*x20^3*x21^2*x23^3*x25*x26^3*x27^
3*x3^3*x30^10*x4^3*x5^4*x6^2*x7^2*x8+7125*x1^2*x10^3*x12^3*x13^3*x14^5*x15^3*
x16^4*x17^3*x19*x20^6*x21^2*x22^2*x23*x26^2*x27^2*x28^4*x29^7*x30^2*x4*x5*x6*x7
*x9+545808*x1^2*x10^2*x11^3*x12^2*x13^2*x14^2*x15*x17^2*x18^2*x19*x2*x21^2*x23^
3*x25*x26^3*x28^4*x29^3*x3*x30^3*x4*x5^3*x6^5*x7^2*x8*x9^2-550788*x1^2*x10^2*
x11*x12^2*x13*x14^2*x15*x17^3*x18^2*x19*x2*x20^2*x21*x23^5*x26*x27^3*x29^2*x3^3
*x30^5*x4^3*x5^2*x6^4*x7^3*x8*x9-436848*x1*x10^3*x11*x13^2*x14^4*x15^2*x16*x17^
3*x18*x2^3*x20^2*x21*x22^3*x23^3*x24^2*x25^3*x27*x28*x3*x30^4*x5^6*x6*x7^3*x8*
x9+908352*x1*x10^3*x11*x12^2*x13^2*x14^2*x15^2*x16*x17^4*x18*x19*x20^2*x23^4*
x25*x26*x27*x29^2*x3*x30^5*x4*x5^7*x6^2*x7^3*x8^2*x9+848592*x1*x10^2*x11^2*x12^
4*x13*x14^2*x15*x16^5*x17*x19^3*x22^3*x23^2*x25*x26*x27^2*x28*x29^4*x3*x30*x4*
x5^2*x6^3*x7*x8^6*x9^2+604656*x1^3*x10*x11*x12^2*x13*x15^4*x16*x17^3*x18*x2*x20
^2*x22^4*x23^3*x25*x26*x27*x28*x29^2*x3^3*x30^4*x4*x5^6*x6*x7^2*x8+482240*x1^3*
x11^4*x12^2*x13*x15^3*x16*x17^4*x18^2*x19^2*x2^2*x20*x21^3*x23*x24^2*x25^2*x26^
2*x28^5*x29*x3*x30^3*x4^3*x5^3*x6^3*x7^2*x9+725120*x1^2*x10*x11^2*x12^2*x13*x14
^3*x15^2*x16*x17^10*x19^2*x2*x20^2*x21*x24^2*x25*x28*x29*x3^2*x30^3*x4^4*x5^3*
x6^5*x7^2*x8^2*x9+728160*x1*x10^3*x11^3*x12^2*x13*x14^4*x15*x17^2*x18^5*x19*x2^
4*x20*x21^3*x22*x23*x25^2*x26^6*x27*x28^4*x3*x30^2*x4^2*x5*x6^4*x7-135356*x1*
x10^2*x11^3*x12^3*x13*x15^3*x17*x18^3*x2^3*x21^2*x23*x24*x25^2*x26^4*x27*x28^8*
x29^2*x3^2*x30^2*x4^3*x5*x6^4*x7*x8^2*x9-100368*x10^6*x11^3*x12^3*x14^3*x15*x16
*x17^2*x18^4*x19^2*x2*x20*x22*x23^2*x25^2*x26^3*x27^3*x28*x29*x3^4*x30*x4^2*x5^
3*x6^2*x7^3*x8^2-214320*x10^2*x11^2*x12*x13*x15^2*x16*x17^5*x18^2*x19*x2^2*x20^
4*x21^2*x23^2*x24^3*x25*x26*x27^2*x28*x3*x30^5*x4*x5^6*x6^2*x7^5*x8^2-466384*
x10*x11*x12^4*x13*x14^3*x15^3*x16^2*x17^11*x19*x2*x20^2*x21*x23*x24*x26^2*x28*
x29*x3^2*x30^4*x4^2*x5*x6^5*x7^2*x8^3*x9+865920*x1^2*x10^2*x11^4*x12^4*x14^2*
x15^2*x16*x17^4*x18^4*x19^3*x2*x20*x21*x22*x23*x24^2*x25^3*x26^3*x27*x28^2*x30*
x4^5*x5^2*x6^2*x7^2-317292*x1*x11^3*x13^2*x14*x15^2*x17^2*x18^2*x19^2*x2*x20^3*
x21^2*x22*x23^5*x25^2*x26^2*x27*x28^6*x29^2*x3*x30^3*x4*x5^4*x6^4*x7^2*x9+
513648*x10^3*x11^3*x12^3*x14^2*x15*x17^3*x18^5*x19^2*x2^2*x20*x21^2*x22*x23^2*
x25^2*x26^3*x27*x28^2*x29^2*x3*x4^2*x5^2*x6^2*x7*x8^3*x9^4+398544*x10*x11^2*x13
^5*x15^2*x16*x17^3*x18*x19*x2^2*x20^6*x21*x22^2*x23^3*x24*x25*x26*x27*x28^2*x3*
x30^4*x4*x5^8*x7^2*x8^6*x9-306528*x10*x11*x12*x13*x14^4*x15^2*x16^2*x17^8*x19*
x2^2*x20^3*x22^2*x24*x26^2*x27^2*x28*x29^3*x3^2*x30^3*x4*x5*x6^7*x7^3*x8^2*x9^3
-386808*x11^3*x12^2*x13^2*x14^2*x15^2*x16^5*x18^3*x19^3*x2*x20*x21*x22^3*x23^5*
x24*x25^2*x27^3*x28*x29^2*x3^2*x30^5*x4*x5^2*x6*x8^5*x9-69596*x1^3*x10*x11^5*
x13*x14*x15^2*x17*x18^2*x19*x2^5*x20^2*x21^4*x23*x25^7*x26^2*x27*x28^4*x29^2*x3
*x30^2*x5*x6^3*x7^3*x8^2*x9-453264*x1^3*x10*x11^3*x13*x14^2*x15^2*x16*x17^3*x18
^3*x2^3*x20^3*x21*x23^2*x24*x25^4*x27*x29*x3^2*x30^5*x4^2*x5^8*x6^2*x7^2*x8*x9-
75076*x1^2*x10^3*x11^5*x13^2*x15*x16*x17*x18^2*x19^4*x2^3*x21^2*x23^2*x24*x25*
x26^5*x27^3*x28^4*x29^2*x3*x30^4*x5*x6^4*x7*x8^2*x9-65076*x1*x10^5*x12*x13^2*
x14*x15*x16^7*x17^6*x19*x2*x20*x21*x23*x24*x25^2*x26*x27^2*x29^3*x3^5*x30^2*x4^
2*x5^4*x7^2*x8^4*x9+511038*x1*x10^2*x11^3*x13^2*x14^2*x15*x16^8*x17^5*x18^2*x19
*x2*x21^3*x22*x24^2*x25^3*x26^4*x27^2*x29^2*x3*x30^2*x4^2*x5*x7^3*x8^3*x9-
217008*x1*x11^5*x12*x13*x14*x15^2*x16*x17*x18^2*x19^3*x2^4*x20*x21^2*x23^3*x25^
2*x26^3*x27*x28^4*x29^2*x3^5*x30^2*x5*x6^4*x7^5*x9+458128*x1*x11^3*x12*x13^2*
x15*x17^2*x18^2*x2^2*x20^2*x21^6*x22^3*x23*x24*x25^3*x26^3*x27*x28^5*x29^2*x3*
x30^6*x4*x5*x6^5*x7*x9^2-665184*x10^3*x11^4*x12^3*x13*x14^3*x16*x17^2*x18^5*x19
*x20*x22^2*x23^4*x25^4*x26^4*x27*x28^2*x29^3*x3^2*x30*x4^2*x5^4*x6^2*x7*x8*x9^2
+611064*x10^3*x11^3*x12^5*x13^4*x14^2*x16*x17^3*x18^4*x19^2*x20^3*x22*x23^4*x24
*x25^2*x26^4*x27*x28*x29^2*x3^4*x30*x4^2*x5*x6^2*x7*x9^2-156864*x10^3*x11^2*x12
*x13*x14^6*x15^2*x16*x17^5*x18^6*x2*x20^3*x22*x23^3*x24*x25*x27^2*x29^2*x3*x30^
4*x4*x5^5*x6^2*x7^2*x8^2*x9-446736*x10^2*x11^4*x12^2*x13^2*x14^4*x15*x17*x18^7*
x19^2*x2*x20*x21*x22*x23^6*x24*x25^3*x26^3*x27^2*x28*x3*x30^5*x4^3*x5^2*x6^2*x7
-237120*x10^2*x11^4*x13*x14*x15^2*x16^2*x17^6*x18^3*x19^4*x20^2*x21*x22^2*x23^2
*x24^3*x25*x26*x27*x29^3*x3^4*x30^4*x4*x5^5*x7^2*x8*x9-233208*x10^2*x11^3*x12^5
*x14^3*x16*x17^5*x18^5*x19*x20^3*x21*x22*x23*x24*x25^2*x26^4*x27^6*x28*x29*x30^
3*x4^2*x5*x6^2*x7^2*x8*x9^2-875520*x10^2*x11^2*x12*x13*x14^3*x15^2*x16*x17^3*
x18*x20^3*x21^2*x22*x23^3*x24*x25^2*x26^2*x27^3*x28^3*x29*x3^2*x30^5*x5^9*x6*x7
^4*x8-345256*x10^2*x11*x13*x14^4*x15^2*x16^2*x17^10*x19^2*x20*x21*x22*x23*x24*
x25^2*x26*x27*x29^2*x3^3*x30^2*x4^4*x5*x6^8*x7^2*x8^2*x9^2+441408*x10^2*x11*x13
*x15^2*x16*x17^8*x18^4*x19*x20^2*x21^3*x22*x23^2*x25*x26^4*x27*x28*x29^2*x3*x30
^4*x4^2*x5^5*x6*x7^4*x8*x9^4+154212*x10*x11^2*x12^3*x13^3*x15*x16^5*x17*x18*x19
^2*x2^2*x20^2*x21^2*x22^4*x23*x25*x27^2*x28*x29^2*x3^2*x30^3*x4^9*x5^2*x6*x8^5*
x9-294216*x1*x10^3*x11^3*x12^2*x13*x14^3*x15^2*x16^3*x17*x18^5*x19*x21^2*x22^2*
x23^5*x24*x25^4*x26^3*x27^2*x28*x3^2*x4^2*x6^2*x7*x8*x9^6-491016*x1*x10^3*x11^3
*x12^2*x13*x14^2*x15^3*x16*x17^4*x18^4*x19^3*x20^2*x21^5*x22*x23*x24*x25^2*x26^
3*x27^2*x28^2*x29^2*x4^2*x6^4*x7*x8^4-267648*x1*x10^2*x11^5*x12^3*x14^3*x15^2*
x16*x17^2*x18^4*x19^2*x2*x22*x23^3*x24*x25^2*x26^5*x27*x28^7*x29*x3*x30^2*x4^3*
x6^2*x7^2*x9^2-594624*x1*x10^2*x11^2*x12^4*x13*x15^2*x16^2*x17^3*x18^2*x19*x2^5
*x20^3*x21*x22*x23^2*x24*x25*x27^2*x28^2*x3*x30^7*x5^5*x6^5*x7^2*x8+826272*x1*
x10^2*x11^2*x13*x14^2*x15^2*x16*x17^3*x18^3*x19^3*x20^2*x21*x23^4*x25^2*x26^6*
x27^2*x28^2*x29*x3^2*x30^4*x4*x5^5*x7^4*x8*x9^2+242820*x1*x10*x11^2*x12^5*x13^3
*x14^3*x15^3*x16^9*x17*x19^2*x20^2*x21^2*x22^5*x23*x25*x26^2*x27^2*x28*x29^2*x3
*x5*x6^2*x7*x8^5*x9+231707*x1*x10*x11*x14*x15^3*x16^2*x17^5*x18^2*x19^2*x2*x20^
2*x21^2*x22*x23^4*x24*x25^2*x26*x27^4*x29*x3^4*x30^4*x4^5*x6^5*x7^3*x9+187467*
x1*x11^3*x14*x15*x17^2*x18^3*x19^3*x2*x20^2*x21*x22^5*x23^4*x24^5*x25^2*x26*x27
^3*x29*x3^3*x30^5*x4^2*x5*x6^4*x7^3*x8*x9+205716*x1*x11*x12*x14*x15^3*x16^2*x17
^3*x18^2*x19*x2^3*x20^4*x21*x22^2*x23^3*x24*x26^2*x27^5*x28*x29^2*x3^3*x30^5*x4
^2*x6^4*x7^4*x9^2-54720*x10^4*x11^2*x12^4*x13*x15^3*x16*x17^3*x18^2*x2*x20^2*
x22*x23^2*x24*x25*x26^2*x27^3*x28*x29^2*x3*x30^5*x4^2*x5^5*x7^8*x8*x9+123000*x1
^4*x10^2*x11^3*x12^4*x13^4*x14^2*x16*x17^2*x18^4*x19^2*x20^2*x21*x22^2*x23*x25^
2*x26^3*x27*x28*x29^2*x30*x4^3*x6^7*x7^2*x8^2*x9+114000*x1^4*x10*x11*x12^2*x13^
5*x15^2*x16^2*x17^4*x18*x19*x20^4*x21*x22*x23^2*x25*x27*x29^2*x3*x30^5*x4*x5^5*
x6^5*x7^3*x8^3*x9+178920*x1^3*x10^5*x11^3*x12^2*x13*x14*x15^2*x16^5*x17*x19^2*
x2*x22^6*x23*x25*x26^2*x27^4*x28*x29^2*x3*x30*x4*x6*x7^2*x8^8*x9^2+551870*x1^3*
x10^2*x11*x13^2*x15^3*x16^6*x17^5*x18*x19*x2^3*x20^4*x21*x22*x23*x24*x25^3*x26*
x29^3*x3^2*x30^2*x4^2*x5*x7*x8^8*x9-48216*x1^2*x10^3*x11^4*x12^3*x14^4*x15^2*
x16*x17^5*x18^5*x19*x21^2*x22^3*x23*x24^2*x25^2*x26^3*x27*x28*x29*x30*x4^4*x6^4
*x7*x8*x9^2+863952*x1^2*x10^3*x11^3*x12^2*x13*x14^4*x17^2*x18^4*x19^2*x2*x20^3*
x22*x23*x24^2*x25^2*x26^3*x27^3*x28*x30*x4^5*x5^2*x6^2*x7^3*x8^4*x9^2+246240*x1
^2*x10^2*x11^2*x12*x13^2*x14*x15^2*x16^6*x17^3*x18^2*x19*x2*x20^3*x21*x23^2*x25
*x26^4*x27*x29*x3*x30^5*x5^8*x7^2*x8^3*x9^2+230040*x1^2*x10*x11^3*x12^3*x13*x14
*x15*x16^10*x18*x19^3*x2*x20*x21*x22^3*x25*x26^4*x27^2*x28*x29^3*x3*x30*x5^3*x6
*x8^7*x9^3+476064*x1*x10^4*x11*x13*x14^4*x15^2*x16*x17^5*x18*x19*x2*x20^2*x22*
x23^2*x24*x25^2*x26^2*x27*x29^3*x3^2*x30^4*x4^4*x5^9*x7^3*x8+296184*x1*x10^3*
x11^6*x12^2*x13*x14^4*x15^2*x16^4*x17*x18^4*x19^2*x20^2*x21*x22^2*x23^3*x25^2*
x26^3*x27^4*x28*x3*x30*x4^2*x5^3*x6^2*x7^2-224128*x1*x10*x11^3*x12*x13*x14^4*
x15^2*x16*x17^8*x19*x2*x20*x23^2*x24*x26^2*x28^6*x29^2*x3^3*x30^4*x4^2*x5*x6^5*
x7^2*x8^2*x9^3+115080*x1*x10*x11^3*x13*x14*x15*x16*x17*x18^2*x19^2*x2^3*x21^2*
x22^2*x23^5*x25^2*x26^2*x27^2*x28^6*x29^6*x3^3*x30^3*x5*x6^5*x7^2*x9^2+530880*
x1*x10*x11^2*x12*x14^3*x15*x17^2*x18^2*x2*x20^3*x21^3*x22*x23^4*x24*x25*x26^2*
x27^5*x28^3*x29*x3^4*x30^5*x4^2*x5^4*x6^3*x7^4-343413*x1*x10*x11*x12^3*x13^4*
x15*x16*x17^4*x18^2*x19*x2*x20^5*x21*x23^6*x24*x26*x27^3*x29^2*x3^7*x30^5*x4^2*
x5*x6^2*x7^2*x9^2-289652*x1*x10*x11*x13^4*x14^2*x15*x16^6*x17^5*x18^3*x19*x2*
x20*x21^2*x23^5*x24^2*x25^3*x26*x27*x29^2*x3^2*x30^6*x4^3*x5^3*x8^2*x9+239476*
x1*x11^4*x13^5*x15*x17*x18^2*x19*x2^3*x20^4*x21^3*x22^2*x23^2*x24*x25*x26^3*x28
^6*x29*x3*x30^2*x4*x5^4*x6^3*x7*x8^5*x9^2-248792*x1*x11^4*x13^3*x14^2*x15^2*x17
*x18^5*x19*x2^2*x20*x21^3*x23^6*x24*x25^2*x26^2*x27*x28^4*x29*x3^2*x30^7*x4*x5^
3*x6^3*x7*x9-141932*x1*x11^4*x13*x14^7*x15^6*x16*x17^2*x18^2*x19*x2^3*x20*x21^2
*x23*x24^5*x25*x26^3*x27*x28^4*x29*x3^3*x30^2*x5*x6^3*x7*x9^3+363872*x1*x11^3*
x12^3*x13*x14*x15*x16*x17^2*x18^2*x19^2*x2^3*x21^3*x23*x24^3*x25^3*x26^2*x27*
x28^7*x29^7*x3*x30^2*x5^2*x6^3*x7^4*x9-547960*x1^5*x10^2*x11^2*x12^2*x13^2*x14^
3*x15*x17^8*x18*x2*x20^2*x21^3*x22^3*x23*x26*x27^2*x29^3*x3^3*x30^2*x4*x5*x6^6*
x7*x8^2*x9+102476*x1*x10^3*x11^4*x12^2*x13*x15*x17^4*x18^3*x2^3*x21^2*x22*x23*
x24^4*x25^2*x26^5*x27*x28^4*x29*x3*x30^4*x5*x6^6*x7^3*x8*x9-16900*x1*x10^3*x11*
x12*x13*x14^3*x15*x16*x17^3*x18*x19*x20^5*x22*x23^3*x25^2*x26*x27^2*x28^5*x29^
10*x3^2*x30^3*x4*x5^4*x8*x9^3-24000*x1*x10^3*x11*x12*x14^5*x15*x17^2*x19*x20^5*
x21^2*x22*x23*x24*x25*x26^2*x27^4*x28^7*x29^8*x3*x30^3*x4*x5^4*x6*x7^2*x9+
308021*x1*x10^2*x11^4*x13^2*x14*x15^3*x16*x17^2*x18^3*x19*x2*x20^2*x21*x23^3*
x24^3*x25^5*x27^4*x28*x29*x3^4*x30^7*x4^3*x6^2*x7^2*x8+690512*x1*x10^2*x11^2*
x13*x14^3*x17^7*x18*x19^2*x2^3*x20^3*x22*x23*x24^3*x25*x26*x27^4*x29*x3^3*x30^4
*x4*x5^3*x6^7*x7*x8^2*x9^2+407056*x1*x10^2*x11*x12*x13*x14^4*x15^2*x17^7*x18*
x20*x22^4*x23*x24^5*x25*x26^5*x27*x29^2*x3^3*x30^3*x4*x5*x6^5*x7^3*x8^3*x9-
246376*x1*x10^2*x11*x13^2*x14^4*x15^2*x16^3*x17^7*x18*x20*x21^2*x22*x23^4*x24*
x25^2*x27*x29*x3^4*x30^2*x4*x5*x6^5*x7*x8^3*x9^7+133980*x1*x10^2*x13^2*x14*x16^
7*x17^5*x19^2*x2^2*x21*x22^2*x23^4*x24*x25^3*x26*x27^2*x28^2*x29^7*x3^3*x30^2*
x4^2*x5*x6^2*x7*x8^2*x9^2-535282*x1*x10*x11^5*x12^4*x13^2*x14^2*x16^6*x17^6*x19
*x2^4*x20^2*x21*x22^2*x23*x24*x25^2*x26^4*x29^2*x3^2*x30*x4^2*x5^2*x7^3*x8^2*x9
+340308*x1*x10*x11^3*x12^3*x13^5*x15*x16*x17^3*x18^2*x19*x2*x20^3*x21^2*x23^4*
x24*x25*x26^3*x28^4*x29^3*x3^5*x30^3*x5^2*x6^3*x7*x9^3+534644*x1^2*x10^2*x11*
x13^2*x16^6*x17^5*x18*x19^2*x2^3*x20^2*x21*x22*x23*x24^4*x25^3*x26^2*x27^4*x29^
2*x3^2*x30^3*x4^2*x5^3*x6^2*x8^2*x9^2+459224*x1^2*x10*x11^4*x13*x15*x17*x18^3*
x19^2*x2^4*x20^2*x21^2*x22*x23^2*x24^3*x25^2*x26^3*x27^4*x28^4*x29*x3^2*x30^4*
x5^3*x6^5*x7*x9^2+156180*x1^2*x10*x11^3*x12^3*x13^4*x14^3*x15^3*x16^4*x17^2*x18
^2*x2*x20^2*x21^4*x22^2*x23^2*x25*x26^4*x28^4*x29*x3*x30^2*x5^2*x6^4*x7^2*x9-
173536*x1^2*x10*x11^2*x12*x13^2*x14*x15^2*x16^7*x17^6*x19*x2*x21*x23^2*x24^2*
x25^2*x26^3*x28^6*x29^3*x3^2*x30^3*x4^3*x5*x7*x8^2*x9^3-44660*x1^2*x10*x11*x13^
5*x14*x16^6*x17^5*x18*x19^5*x2*x21^2*x24*x25^6*x26^2*x27*x28*x29^2*x3^2*x30^2*
x4^2*x5*x6^2*x7*x8^6*x9-149056*x1^2*x11^5*x12*x13*x14*x15^3*x16*x17^2*x18^2*x19
*x2^2*x21^2*x23^3*x24*x25*x26^4*x28^10*x29^2*x3^2*x30^4*x4*x5*x6^3*x7^2*x9^3+
316744*x1^2*x11^5*x13*x14^3*x15*x16^2*x17^3*x18^2*x19*x2*x20^2*x21^3*x22^2*x23*
x25*x26^2*x28^9*x29*x3*x30^5*x4^2*x5*x6^4*x7^4*x9-440592*x1^2*x11^3*x12^3*x13*
x14^5*x15^3*x16*x17*x18^5*x2*x21^2*x23*x24*x25*x26^2*x28^5*x29^2*x3^5*x30^2*x4^
4*x5*x6^3*x7^2*x8^2*x9^2-38280*x1*x10^4*x11*x12^4*x13^2*x15*x16^6*x17^5*x18*x2*
x21*x22*x24^2*x25^2*x26^3*x27^2*x28*x29^4*x3*x30^2*x4^4*x5*x7^6*x8^2*x9^2-32880
*x1*x10^3*x11^4*x12^4*x13*x15^2*x17*x18^3*x2^2*x21^2*x22*x23*x24*x25*x26^4*x27^
2*x28^5*x29^3*x3*x30^3*x4^2*x5*x6^3*x7^7*x9^2+115080*x1^4*x10^5*x11^4*x13^2*x14
*x15^2*x17^2*x18^2*x2^2*x21^2*x22^3*x23^2*x25*x26^4*x27^2*x28^4*x29*x3*x30^3*x4
*x5*x6^3*x7^3*x8^3*x9^2-471482*x1^4*x10^2*x13^3*x14*x15^3*x16^7*x17^5*x2^4*x20^
2*x21*x22*x23*x24*x25^3*x26*x27*x29^4*x3^2*x30^2*x4^2*x5^2*x6^3*x7*x8^2*x9^2-
404972*x1^4*x10*x11^3*x13^2*x14*x15^4*x16*x17*x18^2*x2^5*x20^2*x21^2*x22*x23^2*
x25^2*x26^2*x27*x28^4*x29^3*x3^2*x30^3*x5^2*x6^6*x7^2*x9^2+136452*x1^3*x11^3*
x12^4*x13^3*x15*x16^2*x17^2*x18^2*x19*x2*x20*x21^3*x23*x25^2*x26^5*x28^4*x29*x3
*x30^8*x4*x5^5*x6^3*x7*x8*x9+145768*x1^2*x10^5*x11^7*x12^2*x13*x15^5*x16*x17*
x18^2*x2^2*x20^3*x21^3*x23^3*x25^2*x26^2*x27^2*x28^4*x29*x3*x30^2*x4*x5*x6^3*x7
^3*x9+286056*x1^2*x10^3*x11^3*x13*x14^4*x15*x17^3*x18^2*x19*x2^2*x21^2*x22*x23*
x24*x25^2*x26^4*x28^4*x29^4*x3^2*x30^2*x4^4*x5^5*x6^3*x7^2*x9+192038*x1^2*x10^2
*x11^3*x13^3*x14^2*x15^2*x16^10*x17^5*x19*x20^2*x21^2*x22*x23^2*x24*x25^2*x26*
x27^3*x29^2*x3^2*x30^2*x4^2*x5^4*x7*x8^2*x9+264887*x1^2*x10^2*x11*x13*x14^4*x15
*x17^2*x18^2*x2^4*x20^2*x21^2*x22^3*x23^4*x24^2*x25^2*x27^3*x28*x3^3*x30^4*x4^2
*x5*x6^3*x7^3*x9-408108*x1*x10^2*x11^2*x12^2*x13*x14^4*x15*x16^5*x19^2*x2^3*x21
*x22^6*x23*x24^2*x25^3*x27^2*x28^2*x29^2*x3*x5*x6^2*x7*x8^5*x9^2+368532*x10*x12
^4*x13*x14*x15^3*x16^4*x17^2*x18*x19*x2^2*x20*x21^3*x22*x23^2*x25^2*x28*x29^2*
x3*x30^5*x4^3*x5^2*x7^4*x8^3*x9^4-812592*x1^4*x10*x11*x12*x13*x14^3*x15^2*x16^4
*x17^3*x18*x19*x20^3*x22^2*x23^2*x25^2*x26*x27^2*x29*x3*x30^5*x4^2*x5^5*x7^3*x8
+305040*x10^2*x11^4*x12^3*x13^4*x14^2*x15^2*x16^2*x17*x18^6*x19^4*x20*x21^2*x22
*x23^6*x25^2*x26^3*x27*x28*x29^2*x3*x4^2*x6^2*x7*x9^2+822624*x10^2*x11^3*x12^3*
x13*x14^2*x17^2*x18^4*x19*x2*x20^2*x21^4*x22^4*x23*x24*x25^4*x26^4*x27^2*x28^2*
x29*x30^4*x4^3*x6^4*x7*x9+802560*x1^2*x10*x11^2*x12^2*x13*x15^4*x16^2*x17^6*x18
*x19^2*x2*x20^3*x21*x23^2*x24^2*x25^2*x27*x28*x3*x30^5*x4^3*x5^7*x7^3*x8+749760
*x1^2*x11^3*x12^4*x15^3*x16^6*x17^3*x19^4*x2*x20*x21*x22^3*x24^2*x25^2*x27^2*
x28^2*x29^2*x3*x30*x4^3*x5^2*x6*x7*x8^5*x9+333036*x1*x10^2*x12*x13^2*x15*x16^6*
x17^7*x18*x19*x2^2*x20*x21^3*x23*x24*x25^2*x26*x28*x29^4*x3^2*x30*x4^2*x5^3*x8^
5*x9^5+286056*x1*x10*x11^3*x12*x13*x15^2*x17^3*x18^3*x19*x2^3*x20*x21^4*x23^2*
x25*x26^2*x28^5*x29^3*x3^2*x30^2*x5^3*x6^3*x7*x8^3*x9^5-225264*x10^3*x11*x12^3*
x13*x15^4*x16*x17^3*x18^2*x2^2*x20^2*x23^2*x24*x25^2*x26^2*x27^2*x28^4*x29*x3^2
*x30^4*x4^3*x5^5*x6*x7^2*x8^3-556944*x10^2*x11^3*x12^6*x14^2*x15^3*x16^2*x17^5*
x18^4*x19^2*x2*x20*x21*x22*x23^2*x24*x25^2*x26^5*x27*x28^2*x30^2*x4^3*x6^2*x7^2
*x8-516192*x10*x11*x12^4*x13*x15^5*x16^3*x17^7*x18*x19*x2*x20^3*x21*x23^3*x24*
x25*x26^2*x27*x28*x3*x30^6*x4*x5^5*x7^3*x8^2-482232*x11^2*x12^6*x15^4*x16^7*x17
^4*x19^3*x2*x20*x21*x22^3*x23*x24*x25*x26^2*x27^2*x28^2*x29^2*x3*x30^2*x4*x6*x7
*x8^6*x9-477256*x10*x11*x12^4*x13^2*x14^2*x15^2*x16^5*x17*x18*x20*x21*x22^2*x23
^4*x25^4*x26*x28*x29^3*x3^2*x30^6*x4^3*x5^4*x7^4*x8*x9^2+688864*x10*x11*x12*x13
^2*x14^3*x17^8*x2*x20^3*x21^4*x22^3*x24*x25^2*x26*x27*x28*x29^2*x3^2*x30^6*x4^2
*x5*x6^7*x7*x8^2*x9^2-469490*x1^5*x10*x11*x12^5*x13^2*x14*x15^3*x16^4*x17*x18*
x2*x20*x21^4*x22^4*x23^2*x25^2*x26*x27^2*x29^2*x3*x30^5*x4^3*x6*x7^4+561440*x1^
3*x10*x11*x12^2*x13^2*x15^2*x16^7*x17^8*x19^2*x2*x20*x21^2*x24^3*x25^3*x26*x28*
x29^2*x3*x30^2*x4^5*x5^3*x7*x8^2*x9+815736*x1^2*x10^2*x11^3*x12^2*x14^2*x15^2*
x16*x17^4*x18^4*x19^3*x20*x21^2*x22*x23^2*x24^2*x25^4*x26^4*x27*x28*x4^2*x5*x6^
3*x7*x8^7-134808*x1*x10^5*x11^5*x12^2*x13*x14^2*x16*x17*x18^4*x19^5*x2^2*x22*
x23^2*x24*x25^2*x26^6*x27^4*x28*x29*x30^2*x4^2*x6^3*x7*x8^2-361108*x1*x10*x12^4
*x13^2*x15^3*x16^8*x17^9*x19*x2*x20*x21^2*x23*x24^2*x25^2*x26^3*x28*x29^2*x3*
x30^3*x4^3*x5*x7*x8^3*x9+370968*x10^6*x11^4*x12^2*x14^2*x15*x16^3*x17*x18^4*x19
^2*x2*x22*x23^3*x25^2*x26^3*x27*x28^2*x29^2*x3^2*x4^2*x5^2*x6^4*x7*x8^4*x9^2+
743904*x10^4*x11^7*x12^2*x14^2*x16*x17*x18^5*x19^2*x2^2*x21^2*x22*x23*x24*x25^3
*x26^3*x27*x28^7*x29*x30*x4^2*x6^2*x7*x8^4*x9-203528*x10^3*x11*x12^3*x13*x14^3*
x15^2*x17^7*x18*x2^2*x20*x24*x25*x26^2*x27*x28^4*x29^2*x3^3*x30^2*x4^4*x5*x6^6*
x7*x8^4*x9-935784*x1*x10^2*x11^3*x12^2*x14^2*x16^2*x17*x18^4*x19^6*x2^4*x20*x21
*x22*x23^2*x25^2*x26^5*x27^2*x28*x29^2*x3^5*x30*x4^2*x6^4*x7^2-442953*x1*x10*
x11^4*x14^2*x15^2*x16^2*x17^2*x18^4*x19*x2^2*x20^2*x21^3*x22*x23^3*x24*x25*x26^
3*x27^5*x3^3*x30^5*x4^2*x6^2*x7^5*x8-462308*x1*x11*x12*x13*x15*x17^3*x18^2*x2^2
*x20^4*x21^5*x22^3*x23^3*x24*x25^2*x26*x27^4*x28*x29*x3^3*x30^8*x4^3*x6^4*x7^2*
x9-366048*x10^2*x11^3*x12^3*x14^3*x15^2*x16^2*x17^2*x18^4*x19^2*x2^2*x20^2*x22^
3*x23*x24*x25^2*x26^5*x27^3*x28^2*x29^2*x30*x4^2*x6^4*x7^3*x9^2-193640*x10^2*
x11^2*x12*x13*x14^3*x17^9*x18*x19*x2^2*x20^3*x21^2*x24^3*x26*x27*x28*x29*x3^2*
x30^3*x4^2*x5^2*x6^7*x7^4*x8^3*x9-121432*x10^2*x11*x12^4*x13*x14^7*x15^2*x16^4*
x17^2*x18^5*x2*x20*x21*x22^2*x23^2*x24*x25^2*x27*x29^2*x30^5*x4^4*x6^2*x7^4*x8*
x9-326304*x10*x11^3*x12*x13*x14^4*x15*x16*x17^7*x19^3*x2^3*x20^2*x23^2*x25*x26*
x27*x29^2*x3^6*x30^2*x4*x5*x6^6*x7^5*x8^2*x9-309168*x10*x11^3*x13*x14*x15^2*x16
*x17^3*x18^2*x19^3*x20^2*x22^5*x23^3*x24^5*x25^3*x26*x27*x29*x3*x30^5*x5^6*x6^2
*x7^3*x8^2*x9-776112*x10*x11^2*x12*x13*x14*x15^7*x16^3*x17^6*x18*x20^4*x21^3*
x23^4*x24^3*x25^2*x26*x27*x28*x29*x3*x30^4*x5^5*x7^3*x8*x9+502512*x10*x11^2*x13
*x15^2*x16*x17^4*x18*x19*x2*x20^2*x22*x23^2*x24*x25*x26*x27*x29^4*x3*x30^8*x4^8
*x5^6*x6*x7^4*x8^3-371616*x1^2*x10^3*x11*x12^2*x13^3*x15*x16*x17^2*x18^2*x2*x20
^2*x21*x22*x23^3*x25*x26^2*x27^4*x28^2*x3^4*x30^7*x4^5*x6^3*x7^4*x8+799992*x1^2
*x10^2*x11^3*x12^2*x14^5*x16^2*x17*x18^4*x19*x2^2*x21^5*x22*x23^4*x25^2*x26^3*
x27^4*x28^2*x29*x30^2*x4^3*x6^2*x7^2*x8^2*x9+190620*x1^2*x10*x11*x12^4*x13^2*
x14^2*x15^2*x16^9*x18*x19*x2*x20*x21^2*x22*x23*x25^2*x26^4*x29*x30^6*x4^3*x5^3*
x7^4*x8^2*x9^2+741456*x1^2*x10*x11*x13*x14^3*x15^2*x16^3*x17^3*x18*x2^2*x20^2*
x21^5*x23^5*x25*x27^4*x28*x29*x3*x30^6*x4*x5^5*x7^3*x8^3*x9+683096*x1^2*x10*x11
*x13*x14^3*x15^2*x16*x17^10*x19^2*x20^2*x21^2*x23*x24^2*x25^2*x26*x29*x3^2*x30^
2*x4*x5^2*x6^6*x7*x8^9*x9+20025*x1*x10^3*x11^3*x14^4*x15^2*x16^2*x17^2*x18^2*
x19^2*x2*x20^4*x21^2*x22*x24*x25*x26^3*x27^4*x28^4*x29^7*x30^3*x4*x7^3*x8*x9-
5875*x1*x10^3*x11*x12*x14^2*x15*x17^4*x18*x19^2*x2^2*x20^6*x21^2*x24^3*x26*x27^
3*x28^5*x29^7*x30^3*x4^2*x5*x6^2*x7^3*x8*x9+414288*x1*x10^2*x11^7*x13*x15*x16*
x17*x18^3*x19*x2^3*x21^4*x23*x24*x25^2*x26^2*x28^10*x29^2*x3*x30^3*x5*x6^3*x7*
x8^4*x9^2-418068*x1*x10^2*x11^5*x15*x16*x17^2*x18^3*x19*x2^3*x20^2*x21^3*x23^3*
x24*x25*x27^3*x28^6*x29*x3^3*x30^5*x4^2*x6^2*x7^2*x8^4*x9+19680*x1*x10^2*x11^3*
x12^4*x13^3*x14^2*x15*x16*x17*x18^4*x19^3*x20*x22*x23^3*x25^7*x26^3*x27*x28^4*
x3^2*x4^2*x5^3*x6^3*x7^2*x8+605568*x10*x11*x12^3*x13*x14*x15^2*x16^2*x17^4*x18*
x19^2*x2^2*x20^2*x21*x23^2*x24^3*x25^3*x27^2*x28^3*x29^6*x3*x30^4*x5^6*x7^5*x8-
201924*x11^2*x12^5*x14*x15*x16^6*x17^4*x18*x19^2*x20^3*x21*x22^3*x24*x25*x26*
x27^7*x28*x29^3*x3*x30^3*x5*x6*x7*x8^6*x9^3-550392*x11^2*x12^2*x13*x14*x15*x16^
5*x17^4*x19^4*x2^2*x21^2*x22^4*x23*x25*x26*x27^2*x28^3*x29^3*x3^4*x30*x4*x6^2*
x7*x8^5*x9^6-654360*x1^5*x10^3*x11^4*x12^4*x13*x14^2*x15*x17^2*x18^5*x19*x2*x20
*x21^3*x22^4*x23^2*x25^2*x26^4*x27^3*x28*x29^2*x3*x4^2*x6^3*x7-606480*x1^5*x10^
2*x11^2*x12^2*x13^2*x15^3*x16*x17^4*x18^2*x2*x20^3*x21^3*x22^3*x23^3*x25*x26*
x27^3*x29^2*x3^2*x30^4*x5^5*x6*x7^2*x8-566580*x1^5*x10*x11^3*x12^4*x13*x15^2*
x16^5*x17*x18*x19^2*x2*x20*x21^3*x22^6*x23*x25*x26*x27^4*x28*x29^4*x3^2*x6^2*x8
^5*x9-81026*x1^3*x10^2*x11^2*x13^2*x14*x15*x16^6*x17^5*x19*x2^4*x20^2*x21^3*x24
*x25^8*x26*x27*x29^3*x3*x30*x4^2*x5*x7^2*x8^4*x9-423444*x1^3*x11^4*x12^2*x14^2*
x15*x16^5*x18^2*x19^2*x2^3*x20*x21*x22^3*x24*x25^4*x27^2*x28*x29^3*x3^2*x30*x4^
2*x5^3*x6^3*x8^5*x9^2+454292*x1^3*x11^3*x13*x15^3*x16*x17^4*x18^2*x19^2*x2*x20*
x21^4*x23^2*x24^2*x25^3*x26^3*x28^4*x29*x3*x30^2*x5^2*x6^4*x7*x8^7*x9+851160*x1
^2*x10^3*x11^4*x12^2*x14^2*x15^3*x17*x18^5*x19^2*x2^3*x20^4*x22^2*x23^2*x25^3*
x26^3*x27*x28*x29*x3*x30*x4^2*x6^2*x7^2*x8^6+894456*x10^3*x11^3*x12^2*x13*x14^3
*x16^4*x17*x18^4*x19^3*x20^2*x22^3*x23^3*x25^2*x26^3*x27*x28*x29^3*x3*x30*x4^3*
x5*x6^2*x7^2*x8^7-151392*x10^3*x11*x12*x13*x15^2*x16*x17^4*x18^3*x2*x20^2*x21*
x23^5*x24^3*x25^6*x26^2*x27*x28^2*x3^2*x30^7*x5^5*x6*x7^2*x8*x9^2+430008*x10^2*
x11^4*x12^2*x13^4*x14^2*x17*x18^4*x19^2*x2^2*x20^4*x21*x22^3*x23^2*x24*x25^2*
x26^4*x27*x28^3*x4^3*x5^3*x6^2*x7*x8^5*x9+515280*x10^2*x11^4*x13*x14^5*x15^5*
x16^2*x17^3*x18*x19*x2*x20^3*x21^2*x22^2*x23^2*x25^4*x27*x29^3*x3^2*x30^4*x4^2*
x5^5*x6*x7^2*x8-878712*x10^2*x11^3*x12^2*x13^5*x14^2*x15*x16*x17*x18^6*x19*x21*
x22*x23*x24*x25^5*x26^5*x27*x28^2*x30*x4^3*x5^2*x6^7*x7*x9^4+191520*x10^2*x11*
x13*x14*x15^2*x16^2*x17^3*x18*x19^2*x2^2*x20^2*x22^2*x23^6*x25^2*x27^3*x28^2*
x29^5*x3^3*x30^5*x5^5*x6^2*x7^3*x8*x9+195108*x10*x11^3*x12^3*x13^4*x14*x15^2*
x16^6*x18^4*x19^3*x2^4*x20*x22^3*x23*x25^2*x26^2*x27^3*x28^2*x29^2*x3^2*x30^2*
x6*x7*x8^5*x9-575952*x10*x11^3*x12^3*x13*x14*x15*x16^6*x17*x18*x19^2*x20*x22^4*
x23^3*x25^3*x26*x27^2*x28^2*x29^5*x3^3*x30*x5^4*x6*x8^6*x9^3-817920*x10*x11^3*
x12^3*x14^3*x15*x16^5*x19^2*x20*x21^2*x22^4*x23*x24*x25^2*x26^2*x27^4*x28^4*x29
^3*x3^2*x30*x5^4*x6^2*x7^2*x8^5*x9-701224*x10*x11^2*x12*x13*x14^4*x15^5*x16^2*
x17^10*x20^3*x21^3*x23^2*x24^3*x25*x26*x28*x29^2*x3^2*x30^2*x4*x5*x6^5*x7^2*x8^
2*x9^2-542938*x1*x10*x11*x12*x13^2*x14*x15^5*x16^8*x17^8*x20^2*x21^4*x23^2*x24^
4*x25^3*x26^2*x28*x29^3*x3*x30*x4^2*x5*x7*x8^2*x9^2-185772*x1*x11^5*x13*x14*x15
*x17*x18^3*x19^3*x2*x21^2*x22^5*x23^2*x24^5*x25^3*x26^3*x28^4*x29^2*x3*x30^3*x5
^2*x6^5*x7^2*x8*x9^2-231744*x1*x11^4*x12^3*x14*x15^3*x16^6*x17*x19^3*x2*x22^3*
x23^2*x24*x25*x26^2*x27^2*x28^7*x29^3*x3^2*x30^2*x4*x6*x7*x8^5*x9^3-466348*x1*
x11^4*x12*x13*x14*x15^6*x16^2*x17^4*x18^2*x2*x20^2*x21^5*x23^3*x24^3*x25^2*x26^
3*x28^5*x29^2*x3*x30^2*x5*x6^3*x7^2*x9^2+301948*x1*x11^4*x13*x15*x17^2*x18^2*
x19*x2^2*x21^2*x22*x23*x24*x25*x26^3*x28^4*x29^5*x3*x30^6*x4^8*x5^2*x6^4*x7^3*
x8^2*x9+232900*x1*x11^3*x12^2*x13^3*x15^5*x17*x18^6*x19^3*x2*x20*x21^2*x23*x24^
3*x25^2*x26^3*x27^3*x28^4*x29*x3*x30^3*x5^3*x6^5*x7*x9+470603*x1*x11^2*x12*x14*
x15^6*x16^2*x17^5*x18^2*x2*x20^4*x21^4*x23^5*x24^3*x25*x26*x27^3*x28*x29*x3^3*
x30^4*x4^2*x6^2*x7^3*x9-548088*x10^4*x11^6*x12^2*x13^2*x14^3*x15^2*x16*x17*x18^
5*x19^2*x22*x23*x24^3*x25^7*x26^3*x27^2*x28^2*x29*x3*x30^3*x4^3*x6^2*x7*x8-
864936*x10^3*x11^5*x12^2*x13^2*x14^6*x15*x16*x17*x18^4*x19^3*x2*x22^4*x23*x25^3
*x26^3*x27^2*x28*x29*x3^2*x30^2*x4^3*x5*x6^2*x7^5-619248*x10^3*x11^3*x12^3*x13*
x14*x15^2*x16^4*x17^3*x18^2*x2^2*x20^2*x23^2*x25^3*x26*x27*x29^6*x3*x30^4*x4^3*
x5^5*x6^3*x7^2*x8*x9-791136*x1*x10^2*x11^3*x12^5*x14^7*x15^2*x16*x17*x18^7*x19*
x22*x23*x24*x25^2*x26^3*x27*x28^2*x29*x3^4*x4^6*x6^2*x7^2*x8^2*x9+764256*x1*x10
^2*x11^2*x13*x15^2*x16*x17^3*x18^2*x19^2*x2^3*x20^4*x22*x23^3*x24^3*x25^2*x26*
x27^5*x3^2*x30^6*x5^7*x6^2*x7^2*x8*x9-8475*x1*x10^2*x11^2*x14^3*x15*x17^2*x18*
x19^4*x20^4*x22^5*x23*x24^5*x25^2*x26*x27^2*x28^4*x29^8*x30^3*x4*x5*x6^2*x7*x8*
x9^2-267322*x1*x10^2*x13^2*x14*x15^2*x16^8*x17^8*x19^2*x21^2*x22*x23*x24^2*x25^
4*x26^2*x27*x29^3*x3^2*x30*x4^5*x5*x6^3*x7*x8^2*x9^2+256452*x1*x10*x11^5*x12^2*
x13*x14^2*x15^3*x16^9*x19^3*x20^2*x21*x22^4*x23^2*x25*x27^5*x28*x29^2*x3^2*x30*
x5^3*x6*x7*x8^5*x9+713976*x1*x10*x11^3*x12^2*x15*x16^5*x18*x19^4*x2^3*x20^2*x22
^4*x23*x24^3*x25^2*x26*x27^6*x28*x29^2*x3^2*x30^2*x5^2*x6^3*x8^5*x9^2+527136*x1
*x10*x11^3*x13*x14^3*x15^2*x16^3*x17^5*x18*x19*x20^4*x21*x22^2*x23^2*x25*x27*
x28^5*x3*x30^7*x4^2*x5^5*x6*x7^5*x8-63840*x1*x10*x11^2*x13^4*x14*x15^2*x16*x17^
3*x18^2*x19^5*x2*x20^2*x21*x23^2*x25^5*x26*x27^2*x28*x3^2*x30^5*x5^5*x6^2*x7^3*
x8^5-216282*x1*x10*x11^2*x13^2*x14*x16^6*x17^5*x18*x19^3*x21*x22^5*x23*x24^6*
x25^4*x26^2*x29^3*x3*x30^2*x4^2*x5^2*x6^2*x7*x8^3*x9^2-733248*x1*x10*x11*x12^3*
x13*x14^5*x15^4*x16^2*x17^3*x18^4*x20^2*x23^2*x24*x25*x27*x28*x29*x3^5*x30^4*x4
^4*x5^5*x7^3*x8^3*x9-629628*x1^3*x10*x11^2*x12^2*x13*x14*x15^4*x16^6*x19^2*x2^4
*x20^2*x22^4*x23*x25^2*x27^3*x28*x29^4*x3^2*x30*x5*x6^4*x7*x8^5*x9^2-364968*x1^
3*x11^3*x12^2*x13^4*x14^2*x15^2*x16*x17^3*x18^2*x19^6*x2^2*x21^2*x23^2*x25^2*
x26^2*x28^6*x29*x3^2*x30^2*x5*x6^3*x7*x8^4*x9+445524*x1^3*x11^3*x13*x14^3*x15*
x16^2*x17*x18^2*x2^3*x21^7*x23^4*x25*x26^2*x27^3*x28^5*x29^2*x3*x30^4*x4*x5*x6^
3*x7^2*x8^2*x9^2+245016*x1^2*x10^2*x11^3*x12^6*x13^2*x14^2*x16^2*x17^2*x18^4*
x19^2*x20*x21*x22*x23*x25^3*x26^6*x27*x28*x30^6*x4^3*x5^4*x6^2*x7*x8+725952*x1^
2*x10^2*x11*x12^2*x13*x14^2*x15^3*x16^4*x17^3*x18*x20^8*x21*x22*x23^2*x25*x27^3
*x28*x29^2*x3*x30^4*x4*x5^7*x7^5*x8-548784*x1^2*x10*x11*x12^2*x13^4*x14^5*x15*
x16*x17^9*x19^6*x2*x20*x23*x25*x28^2*x29*x3^3*x30^2*x4*x5*x6^5*x7*x8^6*x9+12760
*x1^2*x10*x12^2*x13^5*x15*x16^7*x17^5*x19^2*x20*x21*x23^2*x24*x25^7*x26*x28^3*
x29^2*x3^3*x30*x4^2*x5^4*x6*x7*x8^3*x9+10960*x1^2*x11^3*x12^2*x13^4*x15^2*x16*
x17*x18^2*x19^2*x2*x20*x21^2*x23^3*x25^6*x26^2*x28^7*x29*x3^3*x30^2*x5^4*x6^4*
x7^2*x8*x9+824592*x1*x10^3*x11^4*x12^2*x14^2*x17*x18^5*x19^3*x2^3*x20^2*x22^2*
x23^2*x24^3*x25^3*x26^4*x27^5*x28*x3*x30^2*x4^2*x5^2*x6^4*x7*x9+444744*x1*x10^3
*x11^2*x12^2*x14^4*x15*x16^5*x17^2*x19^3*x2*x22^4*x24*x25^2*x26^2*x27^2*x28*x29
^5*x3^2*x4^4*x5^4*x6*x7*x8^5*x9-136784*x10^3*x11*x12*x13*x14^3*x17^8*x18^2*x2*
x20*x21*x23^3*x24^3*x25^5*x26^2*x28^2*x29*x3^3*x30^5*x4*x5*x6^6*x7*x8^2*x9^3-
791040*x10^2*x11^2*x12*x13*x14^6*x17^7*x20^2*x21^2*x22*x23*x24*x25*x26^2*x27^2*
x28^3*x29^2*x3^3*x30^3*x4*x5^5*x6^6*x7^3*x8^2*x9-220832*x10*x11^3*x13*x14^4*x15
^2*x16^3*x17^12*x18*x19*x20^2*x22^4*x23^2*x24*x25*x26*x29*x3^2*x30^2*x4^2*x5^3*
x6^5*x7*x8^4*x9-374096*x10*x11^2*x13^3*x14^5*x15*x17^7*x18^3*x19*x2*x20^2*x21*
x23^5*x24*x25*x27*x29*x3^3*x30^7*x4^2*x5^3*x6^5*x7*x8^2*x9+547136*x10*x11*x12^3
*x13*x14^4*x16*x17^8*x19^2*x2^2*x20*x21*x24^3*x25^2*x27*x28^3*x29^7*x3^2*x30^2*
x4*x5^2*x6^5*x7^4*x8^2*x9-67404*x1^7*x10^3*x11^3*x12^3*x13*x15^2*x17^2*x18^2*
x19*x2^2*x21^2*x23^2*x25*x26^2*x28^4*x29*x3^5*x30^3*x4^3*x5*x6^3*x7^3*x8*x9^2-
16625*x1^6*x10^3*x11*x12^2*x13*x14^2*x15^2*x17^3*x18*x19*x2*x20^5*x21^3*x22^3*
x23*x26*x27^4*x28^4*x29^9*x3*x30^2*x4*x6*x9-364420*x1^6*x10*x11^4*x12^2*x13^2*
x15^2*x17^2*x18^3*x2^2*x20*x21^5*x22^3*x23^2*x25*x26^3*x27^2*x28^4*x29^3*x3^2*
x30^2*x5*x6^4*x7*x9-135356*x1^4*x10^5*x11^3*x12*x13^3*x15*x16*x17^3*x18^6*x19^3
*x2^2*x21^2*x23^4*x25^2*x26^2*x28^4*x29*x3*x30^2*x5*x6^3*x7^3*x8*x9+474020*x1^3
*x10*x11^4*x13*x15^4*x17*x18^3*x19*x2^4*x20^4*x21^2*x22*x23^2*x25^2*x26^2*x28^4
*x29^2*x3^2*x30^3*x5*x6^3*x7^2*x8^6*x9-502677*x1*x10*x11*x13*x14*x15*x16^4*x17^
2*x18^2*x19^2*x2*x20^4*x21*x22^2*x23^5*x27^3*x29^3*x3^4*x30^5*x4^3*x5*x6^2*x7^3
*x8^7-116130*x1*x10*x11*x14*x15*x16*x17^2*x18^2*x19^2*x2^3*x20^2*x21*x22^2*x23^
7*x25*x27^5*x28^2*x29^5*x3^5*x30^5*x4^2*x6^4*x7^3*x9-412148*x1*x10*x13^3*x14*
x16^6*x17^9*x19^2*x2^2*x21^3*x22*x23*x24*x25^2*x26^2*x28^2*x29^3*x3^4*x30^2*x4^
3*x5*x6*x7*x8^2*x9^6-47676*x1*x11^10*x13^4*x14^5*x15*x17*x18^3*x19^6*x2*x20^2*
x21^4*x23*x25*x26^2*x28^4*x29*x3*x30^4*x4*x5*x6^3*x7*x8*x9-459772*x1*x11^8*x12^
4*x13*x14^2*x15*x17^2*x18^2*x19*x2^5*x20^2*x21^2*x22^2*x23^2*x25*x26^5*x28^4*
x29*x3^2*x30^2*x5^2*x6^3*x7^4*x9+148204*x1*x11^3*x14*x15^3*x16^3*x17^7*x18^3*
x19*x2*x20^3*x21*x22^4*x23^5*x24*x25*x26*x27^3*x3^3*x30^4*x4^3*x5^2*x6^2*x7^2*
x8^2-241661*x1*x11^2*x13^4*x15*x17^2*x18^2*x19*x2^3*x20^6*x21^2*x22^2*x23^4*x24
*x26*x27^3*x28^2*x3^3*x30^4*x4^3*x5^3*x6^2*x7^2*x8^5*x9+131061*x1*x11*x12^3*x14
*x15*x16*x17^6*x18^3*x2*x20^5*x21^2*x23^3*x24*x26*x27^8*x29*x3^3*x30^7*x4^2*x5*
x6^2*x7^3*x8*x9^2-367192*x1*x11*x12^3*x14*x15*x16*x17^3*x18^2*x19^2*x2^3*x20^2*
x21^2*x23^3*x24^3*x25^2*x27^4*x28^3*x29^6*x3^3*x30^4*x4^2*x5*x6^2*x7^5-49440*
x10^4*x11^2*x12^4*x13*x14^3*x15*x17^7*x18*x2*x20*x22*x24*x26^2*x27^2*x28*x29^3*
x3^2*x30^3*x4^3*x5*x6^5*x7^7*x8^2*x9^2-560802*x1*x10^2*x11^2*x13^4*x14^4*x15*
x16^7*x17^5*x19^2*x2*x21*x22^3*x24*x25^3*x26*x27*x29^3*x3^3*x30^3*x4^3*x5^2*x7^
4*x8^2*x9+746544*x1*x10^2*x11^2*x13*x14^5*x17^7*x18^2*x19^3*x20*x21*x23^2*x25*
x26^6*x27*x28^2*x29^2*x3^3*x30^2*x4^2*x5*x6^5*x7^3*x8^2*x9^3-431288*x1*x10^2*
x11*x12*x13^3*x14*x16^7*x17^6*x18*x20*x21*x22*x23^3*x24*x25^4*x26^2*x28*x29^5*
x3^3*x30^2*x4^2*x5^5*x8^3*x9^3-324058*x1*x10^2*x11*x13^4*x14^2*x15*x17^4*x18^3*
x19*x2*x20^3*x21*x22^3*x23^3*x24*x25^4*x27^5*x29*x3^3*x30^4*x4^2*x6^3*x7^4*x8^3
+143780*x1*x10*x11^4*x14*x15*x16*x17^5*x18^4*x19^4*x2*x20^2*x21^2*x22^2*x23^3*
x24^3*x26*x27^3*x29^3*x3^6*x30^4*x4^3*x6^2*x7^2*x9+99188*x1*x10*x11^3*x12*x13^4
*x15*x17^2*x18^3*x2^3*x20^2*x21^4*x22*x23^2*x25*x26^2*x28^4*x29*x3^2*x30^5*x4^9
*x5^3*x6^3*x7*x9+486087*x1*x10*x11^3*x13^2*x14^4*x15^2*x16*x17^2*x18^2*x19^2*x2
^2*x20^2*x21*x22^3*x23^3*x25*x27^4*x29*x3^5*x30^6*x4^3*x5*x6^2*x7^6-126637*x1*
x10*x11^2*x12*x13^4*x14*x15^2*x16*x17^2*x18^6*x19*x2^5*x20^3*x21*x23^4*x25*x26^
2*x27^4*x28*x3^4*x30^6*x4^2*x6^2*x7^3-57680*x1*x10*x11^2*x13^4*x14^4*x17^7*x18*
x19^5*x2*x20*x21*x25^4*x26*x27*x28*x29*x3^3*x30^3*x4*x5*x6^7*x7^2*x8^6*x9-
170984*x1*x10*x11^2*x13^2*x14*x15^2*x16^9*x17^10*x18*x19*x20*x21*x22^4*x23^2*
x24^2*x25^3*x26^2*x29^2*x3*x30*x4^3*x5^3*x8^4*x9+165347*x1^2*x10*x11*x13*x14*
x15^3*x16^3*x17^2*x18^3*x2*x20^2*x21^3*x22*x23^7*x24*x25^2*x27^4*x3^5*x30^4*x4^
2*x6^2*x7^2*x8*x9^6+150416*x1^2*x11^3*x12*x14*x15^3*x16*x17^3*x18^2*x19*x2^2*
x20^2*x21*x23^5*x24*x26^2*x27^3*x28^6*x29*x3^4*x30^6*x4^3*x6^2*x7^3*x9^2+219184
*x1*x10^6*x11^5*x12^2*x13*x14^3*x15^4*x16*x17^7*x2*x20^4*x21*x23^2*x25*x27^2*
x29*x3^2*x30^2*x4^2*x5*x6^5*x7^3*x8^2*x9+4675*x1*x10^5*x11*x12^2*x14^2*x15*x17^
5*x18*x19*x2^2*x20^4*x22*x24^4*x25*x26^3*x27^3*x28^4*x29^7*x30^4*x4*x6^3*x7^2*
x8*x9+119306*x1*x10^4*x11*x12^2*x13^2*x16^6*x17^8*x18*x2^2*x21*x22*x24^5*x25^3*
x26^4*x27*x29^2*x3*x30^3*x4^2*x5*x6^3*x7^2*x8^3*x9+5725*x1*x10^3*x11*x12*x13^4*
x14^3*x15^2*x16*x17^2*x18^4*x19^2*x2^4*x20^5*x23*x25*x26^2*x27^3*x28^5*x29^7*x3
*x30^4*x4*x7*x9+373868*x1*x10^3*x13^6*x14^2*x16^6*x17^7*x18*x19*x20*x21*x22^3*
x24^2*x25^6*x26*x27^2*x29^3*x3*x30*x4^2*x5*x6*x7^2*x8^5*x9-372092*x1*x10^2*x11^
5*x12^3*x13*x14*x15*x16^3*x17*x18^3*x2^3*x21^2*x23*x25^3*x26^3*x28^4*x29^7*x3*
x30^2*x4^3*x5*x6^6*x7*x9^2+360470*x1*x10^2*x11^3*x13^2*x14^5*x15^3*x16^7*x17^5*
x19*x2*x20*x21^3*x22^2*x24*x25^5*x26*x29^5*x3^2*x30*x4^4*x5*x6*x8^2*x9+40194*x1
*x10^2*x11^2*x13^6*x14*x16^9*x17^5*x19*x20^2*x21*x22*x23^4*x24*x25^2*x26^2*x27^
6*x29^2*x3*x30*x4^3*x5*x7*x8^2*x9^3+169708*x1^2*x10^6*x11^4*x12^2*x13^2*x15^4*
x16^7*x17^5*x2*x20^3*x21^2*x23^2*x24*x25^3*x26*x27^2*x29^2*x3*x30*x4^3*x5*x7^2*
x8^2*x9-288666*x1^2*x10^3*x11*x14^4*x15*x17^4*x18^2*x19*x2^2*x20^2*x21*x22*x23^
3*x24*x25*x26^2*x27^3*x29^3*x3^4*x30^4*x4^6*x5^4*x6^2*x7^3+20950*x1^2*x10^3*x11
*x14^2*x15*x17^2*x18*x19^3*x2^3*x20^6*x22*x23*x24^3*x25*x26*x27^6*x28^4*x29^7*
x3*x30^4*x4*x5^2*x6^2*x9^2-1750*x1^2*x10^2*x11*x13^3*x14^3*x15*x17^2*x18*x19^6*
x2*x20^4*x21*x25^4*x26*x27^3*x28^5*x29^7*x3*x30^3*x4*x6^2*x7*x8^4*x9+578028*x1^
2*x10^2*x11*x13^2*x14^2*x16^6*x17^5*x18^2*x19^3*x21^2*x23^2*x24*x25^3*x26^7*x27
*x28^2*x29^3*x3^2*x30*x4^3*x5*x7^2*x8^2*x9^3+181830*x1^2*x10^2*x12^3*x13^5*x14^
3*x15^2*x16^10*x17^6*x20^2*x21^3*x22^2*x23*x24*x25^2*x26^3*x29^2*x3*x30*x4^2*x5
^2*x6*x7*x8^2*x9+315172*x1^2*x10^2*x12*x13^2*x14*x15^2*x16^6*x17^5*x18*x21*x22^
4*x23*x24^6*x25^3*x26^6*x27*x29^3*x3^2*x30^2*x4^2*x5*x7^2*x8^3*x9+496488*x1^2*
x10*x11^4*x13*x14^2*x15*x17*x18^4*x19^3*x2*x21^3*x23^3*x25^2*x26^8*x27*x28^6*
x29^2*x3^2*x30^2*x4*x5*x6^3*x7^3*x9^3+368764*x1^2*x10*x11^2*x13^2*x14^3*x16^8*
x17^7*x19*x20^2*x21^2*x22^2*x24*x25^2*x26*x28^5*x29^2*x3*x30^4*x4^4*x5*x6*x7^3*
x8^2*x9-273182*x1^2*x10*x11*x12*x14*x15^3*x17^2*x18^3*x2*x20^2*x21*x22^4*x23^4*
x24^5*x25*x26^5*x27^4*x29*x3^4*x30^5*x4^2*x6^2*x7^4*x8+133980*x1^4*x10^6*x11*
x13^3*x14*x15*x16^6*x17^6*x2*x21*x22^3*x23*x24*x25^2*x26^3*x27^2*x29^2*x3*x30^2
*x4^3*x5*x7^2*x8^5*x9^2+408667*x1^4*x10*x11*x13*x14*x15^4*x16*x17^2*x18^2*x2^5*
x20^4*x21*x22*x23^4*x25*x27^4*x29^2*x3^4*x30^5*x4^2*x5*x6^5*x7^3*x9+507848*x1^3
*x10^2*x12^2*x13^2*x14^2*x15*x16^9*x17^5*x20^6*x21^2*x22*x24*x25^2*x26*x27^2*
x28*x29^4*x3*x30*x4^3*x5^3*x7^3*x8^2*x9+27097*x1^3*x10*x11^2*x12*x14^2*x15^3*
x16*x17^6*x18^3*x2*x20^2*x21^3*x22^2*x23^3*x24^2*x27^3*x29*x3^3*x30^5*x4^4*x6^4
*x7^2*x8*x9^2+468078*x1^3*x12^5*x13*x14*x15^4*x16^4*x2*x21*x22^5*x23^2*x25^2*
x26*x28*x29^2*x3^2*x30^5*x4^4*x5*x6*x7^4+644112*x10^2*x11^6*x12^2*x15*x16^6*x18
*x19^3*x2^2*x21^2*x22^3*x24*x25^2*x27^2*x28^7*x29^3*x3*x30*x6*x8^9*x9^2-337392*
x11^4*x12^3*x14*x15^2*x16^6*x19^5*x2^3*x20*x22^3*x23^2*x25^2*x26*x27^3*x28*x29^
3*x3^5*x6^2*x7^4*x8^5*x9-600806*x11*x12^4*x13*x14^2*x15^7*x16^6*x17^3*x20^2*x21
^4*x22*x23^3*x24^3*x25^3*x26*x28*x29*x30^5*x4^3*x7^5*x9+300050*x12^5*x13^3*x14*
x15^6*x16^4*x18^4*x19^3*x20*x21*x22*x23*x24^3*x25^3*x26*x27^3*x30^6*x4^3*x5^2*
x6^2*x7^4+474432*x1*x10^3*x12^5*x13^4*x14*x15^2*x16^5*x21*x22^2*x23*x25^3*x26^2
*x27*x28^2*x3*x30^8*x4^6*x6*x7^6*x8-14475*x1*x10^2*x13*x14^3*x15^2*x17^3*x19^3*
x20^7*x22*x23^4*x25*x27^3*x28^6*x29^8*x30^3*x4^2*x5^3*x6*x7*x9-210444*x10^2*x11
^2*x12^5*x15^3*x16^5*x18*x19^2*x2^2*x22^3*x24*x25^2*x26^2*x27^3*x28^5*x29^3*x3^
2*x4^3*x6^2*x8^7*x9-399596*x12^7*x13*x14*x15^5*x16^6*x17^4*x19*x2*x20*x21^2*x22
*x23^2*x24*x25^2*x26^2*x28*x30^7*x4^4*x7^5*x8+820704*x1*x10^3*x11*x12^2*x13^2*
x14^5*x17^8*x19*x20*x23^2*x26*x29^3*x3^2*x30^3*x4^2*x5^3*x6^7*x7^2*x8^3*x9^2-
408774*x12^3*x13^2*x14^2*x15^3*x16^4*x17*x19^2*x20^3*x21*x22^2*x23^5*x25^3*x27*
x28^2*x29*x30^6*x4^4*x5^3*x6*x7^5-338174*x1*x10^2*x12^3*x13^2*x14^5*x15^2*x16^4
*x2^3*x21^2*x22^4*x23^2*x24^2*x25^4*x28*x30^5*x4^3*x5*x6*x7^5*x9+564876*x1^3*
x11^2*x12^4*x15^3*x16^5*x19^2*x2*x22^7*x23*x25*x26*x27^2*x28^2*x29^4*x3^3*x4*x5
*x6^2*x8^5*x9+17040*x1*x11^2*x12^4*x13^3*x15^2*x16^6*x19^4*x20*x22^3*x23^2*x25^
6*x27^2*x28^4*x29^2*x3^3*x5^3*x6^2*x7*x8^6*x9-567624*x1*x12^6*x13*x14^6*x15^4*
x16^5*x18^3*x21*x22*x23*x24*x25^2*x28*x29*x3^4*x30^5*x4^7*x7^5*x8^2*x9+293664*
x10^4*x11*x13^2*x15^2*x16*x17^6*x18*x20^4*x21^2*x23^3*x25^2*x27^2*x28^2*x29*x3*
x30^6*x5^6*x6^2*x7^2*x8^8-514632*x10^3*x11^4*x12^2*x14^3*x15*x17^2*x18^6*x19*x2
^4*x22*x23^7*x25^2*x26^4*x27^2*x28^2*x29*x3^4*x4^3*x6^3*x7^3-479374*x10^2*x11^2
*x12^6*x13*x14^2*x15^2*x16^7*x18*x2^2*x21*x22*x23*x25^4*x26*x29^6*x30^5*x4^6*x6
^3*x7^4*x9+398890*x10*x11^3*x12^3*x13*x14^6*x15^5*x16^5*x19*x2*x20*x21^3*x22^3*
x23*x25^5*x29^3*x3*x30^5*x4^5*x6*x7^4-620574*x10*x11^2*x12^3*x13^3*x14^5*x15^3*
x16^5*x19^2*x2*x21*x22^4*x23*x25^3*x27*x29*x3^2*x30^7*x4^4*x5*x7^8-592334*x11^5
*x12^7*x13*x14^3*x15^2*x16^4*x17*x19*x2^4*x20^2*x21*x22^3*x23^2*x25^2*x26^3*x3*
x30^5*x4^3*x5*x7^7+68160*x11^2*x12^2*x13^3*x15^3*x16^5*x17^2*x19^2*x21*x22^3*
x25^3*x26^4*x27^2*x28*x29^9*x3^4*x5*x6^3*x7*x8^5*x9^2+468784*x12^6*x13*x14^2*
x15^2*x16^5*x17*x19^2*x2^2*x21^2*x22*x23*x24^3*x25^4*x27*x28^3*x29^6*x30^5*x4^3
*x5*x7^7-86838*x1^6*x10^3*x12^6*x13*x14*x15^3*x16^4*x17*x19*x2*x21*x22*x23^2*
x25^2*x3^4*x30^6*x4^6*x7^6*x8*x9+14120*x1*x12^5*x13^4*x14*x15^3*x16^5*x19^2*x20
*x21*x22*x23^3*x25^7*x28^3*x3^2*x30^5*x4^3*x5^3*x6*x7^5*x8-578508*x10^2*x11^4*
x12^5*x14*x15*x16^8*x18*x19^2*x2^2*x22^3*x25^3*x26*x27^2*x28*x29^8*x3*x4^3*x6^4
*x8^5*x9^2+604176*x10^2*x11^3*x12^2*x13^3*x14^2*x16^2*x17^2*x18^4*x19^3*x22*x23
^11*x25^2*x26^4*x27*x28^6*x29^2*x4^2*x6^3*x7^2*x9^2-79344*x10*x11^8*x13^4*x14^5
*x15^2*x16*x17^3*x18^2*x19^6*x20^4*x21^2*x23^2*x25*x27*x3*x30^6*x4*x5^5*x7^2*x8
^2+481380*x10*x11^5*x12^2*x14^5*x15^4*x16^6*x19^3*x2*x20*x21^2*x22^5*x25^4*x27^
2*x28*x29^5*x3^2*x4^2*x6^2*x8^5*x9+178920*x10*x11^2*x12^2*x14*x15*x16^6*x19^4*
x2^2*x22^5*x23^4*x25^2*x27^4*x28^3*x29^7*x3^3*x30*x6^3*x7*x8^5*x9^2+454024*x10*
x11^2*x13*x14^3*x17^8*x19*x2*x20*x22*x24*x26*x29^5*x3^2*x30^6*x4^9*x5^2*x6^6*x7
^3*x8^4*x9-220668*x11^3*x12^2*x14^7*x15^6*x16^6*x17*x19^3*x2^2*x20*x22^3*x24^5*
x25*x26*x27^3*x28*x29^2*x3^3*x6*x8^5*x9^3+88250*x1^4*x12^5*x13^5*x14*x15^2*x16^
5*x17*x19*x20^2*x21^2*x22^2*x23*x25^2*x29^2*x30^6*x4^4*x6^5*x7^5*x8^2*x9-225264
*x1^3*x10^6*x11*x12*x13^3*x15^2*x16^2*x17^5*x18^5*x19^3*x2*x20^2*x23^5*x25^2*
x27*x3*x30^4*x5^5*x7^4*x8^2-567432*x1^2*x11^2*x12^4*x13^3*x14^2*x15^2*x16^6*x17
^2*x19^8*x2*x22^3*x23*x25^2*x27^2*x28^3*x29^2*x3^2*x6*x8^9*x9+212506*x1*x10*x11
^3*x12^3*x13^2*x14^3*x15^4*x16^8*x19*x20^2*x21^2*x22^2*x23^3*x25^2*x27^3*x3*x30
^6*x4^3*x5^3*x7^5-211094*x1*x10*x12^3*x13^2*x14^2*x15^4*x16^7*x18*x21^3*x22^2*
x23^5*x24*x25^4*x27*x3^2*x30^5*x4^3*x7^4*x8*x9^6-569734*x1*x10*x13^7*x15*x16^7*
x17^5*x18^2*x21^2*x24^2*x25^5*x26^3*x28*x29^2*x3*x30^2*x4^3*x5^3*x6^5*x8^2*x9^5
+505936*x10*x11*x13^4*x14^3*x16^2*x17^8*x19^2*x20*x23^10*x26*x28^5*x29^3*x3^2*
x30^2*x4*x5*x6^6*x7^2*x8^2*x9^3+68019*x1^7*x10^3*x11*x12^3*x15^2*x17^3*x18^2*
x19*x2^2*x20^2*x21*x23^4*x27^3*x3^7*x30^5*x4^5*x6^2*x7^4*x8*x9-633840*x1*x10^7*
x11^2*x13*x15^2*x16*x17^3*x18^4*x20^2*x21^2*x23^3*x25^2*x27^3*x3^4*x30^7*x4^5*
x5^5*x7^3*x8*x9+8050*x1*x10^5*x13*x14^2*x15*x17^5*x19*x20^6*x21^2*x23*x25*x27^3
*x28^6*x29^8*x30^4*x4*x5*x6^2*x8^7*x9+289219*x1*x10*x11^2*x14*x15^2*x17^3*x18^4
*x2^5*x20^2*x21*x23^9*x26*x27^4*x28*x29*x3^7*x30^4*x4^3*x6^3*x7^4-685008*x1*x11
^2*x12^5*x14^5*x15^3*x16^6*x18^3*x19^2*x22^3*x24*x25*x27^2*x28^2*x29^3*x3^5*x4^
4*x6*x7*x8^7*x9^2+184008*x10^5*x11^4*x12^4*x14^2*x17^4*x18^5*x19*x2^2*x22^2*x23
*x24^4*x25^3*x26^6*x27^2*x28*x30^2*x4^2*x6^5*x7^3*x8-668136*x10^4*x11^5*x12^5*
x14^3*x16^3*x17*x18^5*x19*x2^2*x22*x23*x25^4*x26^4*x27*x28*x29^6*x4^5*x6^5*x7*
x9+265328*x10^4*x11*x13^2*x14^3*x17^10*x20^3*x21^2*x23*x25*x27*x28^2*x29^2*x3^2
*x30^4*x4*x5^2*x6^7*x7*x8^9*x9+61992*x10^3*x11^5*x12^2*x13^4*x14^3*x16^3*x17*
x18^4*x19^2*x20^2*x22^2*x23^5*x25^2*x26^4*x27^7*x28*x4^3*x6^2*x7^2*x9^2-825576*
x10^2*x11^8*x12^6*x14^4*x17^2*x18^4*x19^2*x2^4*x20^2*x22^3*x23^2*x25^2*x26^6*
x27*x28*x3*x4^2*x5*x6^2*x7^4-17375*x1^2*x10^8*x11*x14^2*x15*x17^2*x18^3*x19*x20
^4*x21^2*x23*x25*x27^4*x28^4*x29^7*x3^3*x30^5*x4^6*x7*x9^2+723472*x1^2*x10^2*
x11*x13^2*x14^5*x17^8*x19*x2*x20^4*x24^2*x27^2*x29*x3^2*x30^3*x4^4*x5^3*x6^5*x7
^3*x8^6*x9^3-20100*x1^2*x10^2*x12^3*x14^7*x15^3*x16*x17^2*x18^3*x19*x20^4*x24*
x27^2*x28^5*x29^8*x3^4*x30^2*x4^5*x7*x8^2*x9^2-319634*x1^2*x11^3*x14^3*x15*x16^
2*x17^4*x18^2*x19*x2*x20^4*x21^2*x22^2*x23^3*x27^3*x28^5*x3^3*x30^7*x4^4*x6^3*
x7^5+1575*x1*x10^3*x11^2*x13^4*x14^3*x15*x16^3*x17^2*x19^2*x20^6*x22*x23^4*x26*
x27^8*x28^4*x29^7*x30^2*x4^2*x7*x9^3-290928*x1*x10^2*x11^6*x13^3*x16^6*x17^6*
x21^3*x24*x25^2*x26^8*x27*x28^2*x29^3*x3^5*x30^2*x4^3*x5*x6*x8^2*x9^2+396198*x1
*x10^2*x12^3*x13^6*x16^7*x17^7*x19*x20^3*x21*x23^3*x24^2*x25^2*x26^2*x29^4*x3^5
*x30^2*x4^2*x5^2*x8^2*x9^3-100093*x1*x10*x11*x12*x13^3*x15*x17^3*x18^3*x2^3*x20
^4*x21^3*x22*x23^4*x27^3*x3^4*x30^7*x4^11*x5^2*x6^2*x7^2-252648*x1*x10*x11^2*
x12*x13^2*x14*x15*x16^7*x17^5*x19^3*x2^3*x20*x21*x23^2*x24*x25^3*x26^2*x27*x29^
3*x3^5*x30*x4^2*x5*x6*x7^4*x8^2*x9-339264*x10*x11*x12*x13*x14*x15^4*x16^3*x17^4
*x18*x19*x2^2*x20^4*x22^2*x23^2*x24*x25*x26^2*x27^3*x28*x29^2*x3*x30^5*x5^5*x6^
2*x7^4*x8*x9^2+762432*x10*x11*x12*x13^2*x15^2*x16*x17^4*x18*x2*x20^4*x21^4*x22^
3*x23^2*x24*x25^3*x26*x27^2*x28*x29*x3*x30^8*x4*x5^5*x6^2*x7^2*x8*x9-488268*x1^
5*x11^3*x12*x13*x14^3*x15*x16^3*x17*x18^2*x19*x2*x20*x21^2*x22^2*x23*x25^2*x26^
3*x27*x28^4*x29^2*x3*x30^3*x4^2*x5*x6^3*x7^2*x9+265680*x1^2*x10^3*x11^4*x12^3*
x13*x14^3*x16^5*x17*x18^5*x19^2*x2*x20*x21*x22*x23*x25^2*x26^7*x27*x28*x29*x30*
x4^2*x5^3*x6^2*x7*x8^2*x9^2-248064*x1*x10*x11^3*x12*x13*x14*x15^4*x16^2*x17^4*
x18*x19*x2*x20^2*x23^4*x24*x25*x26^2*x27*x28^6*x29*x3^2*x30^6*x4*x5^5*x7^3*x8*
x9^2-229612*x1*x10*x11^3*x13*x14*x15^3*x16^2*x17^4*x18^2*x19^2*x2*x21^3*x22*x23
^2*x24*x25^3*x26^3*x27*x28^4*x29^2*x3^2*x30^2*x4^3*x5*x6^6*x7^2*x9^2-237336*x1*
x10*x12*x13^2*x14*x15^2*x16^8*x17^6*x19*x2^2*x20^2*x21*x22^2*x24^2*x25^2*x26^3*
x27^2*x28*x29^4*x3*x30^2*x4^2*x5*x6^2*x7^2*x8^2*x9^3-203856*x1*x11^3*x12*x13*
x14*x15^3*x16^2*x17^2*x18^2*x19*x2^3*x20^2*x21^2*x22^2*x23*x24*x25*x26^4*x27^2*
x28^5*x29^3*x3*x30^3*x5*x6^5*x7^3*x9^3-589152*x10*x11*x13^2*x14*x15^2*x16*x17^7
*x18*x19^2*x2^2*x20^2*x21^2*x22*x23^3*x25*x26*x27*x28^2*x29*x3^4*x30^5*x4*x5^5*
x6*x7^3*x8*x9^5-55896*x1*x10^4*x11^3*x12*x13*x14*x15^2*x16*x17^2*x18^2*x19*x2^2
*x20*x21^2*x23^2*x25*x26^2*x27^2*x28^4*x29^2*x3^5*x30^3*x5^4*x6^3*x7^3*x8^2*x9+
438948*x1*x10*x11^6*x13*x14^2*x15^2*x16^2*x17*x18^4*x19*x2^2*x21^4*x22*x23*x24*
x25^2*x26^5*x27^2*x28^4*x29*x3*x30^3*x5*x6^3*x7^4*x8*x9-128780*x1*x10*x11^4*x12
*x13*x15*x17^3*x18^3*x19*x2^3*x20^2*x21^4*x23*x24^3*x25*x26^3*x27*x28^5*x29*x3*
x30^3*x4*x5^2*x6^5*x7^4*x8*x9+436208*x1^3*x10*x11^3*x12^2*x13*x14^2*x15^2*x16^3
*x17*x18^2*x2*x20^6*x21^3*x22*x23*x25*x26^2*x27^2*x28^5*x29^3*x3*x30^2*x4*x5^3*
x6^3*x7^4*x9+481144*x1^3*x10*x11^3*x13^2*x14^2*x15*x17^2*x18^2*x19*x2^2*x20^3*
x21^2*x23*x24^2*x25*x26^2*x27^2*x28^4*x29*x3*x30^3*x4^3*x5^3*x6^3*x7^3*x8^4*x9^
3-357296*x1^2*x10*x11^4*x12^4*x13*x15*x16*x17*x18^3*x19*x2^6*x20*x21^3*x22*x23*
x24*x25*x26^2*x27*x28^6*x29*x3*x30^5*x5*x6^8*x7*x9-305236*x1*x10^2*x11^6*x13^3*
x14*x15^3*x16*x17*x18^3*x19*x2*x21^2*x23*x24^3*x25^6*x26^2*x27*x28^5*x29^2*x3^2
*x30^5*x4*x5*x6^3*x7*x8*x9+321128*x1*x10^2*x11^3*x13^5*x14^2*x15*x17^3*x18^3*
x19*x2*x20*x21^2*x22^3*x23*x24*x25^5*x26^2*x27^2*x28^4*x29^2*x3*x30^2*x5*x6^4*
x7^3*x8^3*x9+34524*x1*x10*x11^5*x13^5*x14*x15*x16^3*x17*x18^2*x19*x2*x20^2*x21^
2*x22*x23^5*x25*x26^3*x27^6*x28^4*x29*x3*x30^2*x4*x5*x6^3*x7^2*x9^3+498132*x1*
x10*x11^3*x13^2*x14*x15*x16^4*x17*x18^2*x19^2*x2*x20^2*x21^2*x22^2*x23^3*x25*
x26^2*x28^4*x29^4*x3^2*x30^3*x4*x5^2*x6^3*x7^2*x8^7*x9-146864*x1*x11^5*x13*x14*
x15^3*x16^3*x17^6*x18^3*x19*x2*x20*x21^2*x22^4*x23^3*x24*x25^2*x26^3*x28^4*x29*
x3*x30^2*x4*x5^3*x6^3*x7*x8^2*x9-727176*x1^3*x10^3*x11^3*x12^2*x13*x14^3*x15^3*
x16*x17*x18^4*x19*x2^4*x20^2*x22^2*x23^2*x25^3*x26^3*x27^2*x28*x29^2*x3*x30*x4^
2*x5*x6^5*x7^2*x9+109224*x4^2*x6^2*x7*x10^2*x11^3*x12^2*x14^2*x17*x18^4*x19*x22
*x23*x25^2*x26^3*x27*x28-26852*x1^3*x10*x11^4*x12*x13*x14^2*x15^3*x16*x17^5*x18
^3*x2*x21^4*x22^2*x23*x24^2*x25*x26^2*x28^4*x29^2*x3*x30^3*x4^2*x5*x6^5*x7*x8*
x9^3+264120*x11^3*x12^3*x13^4*x15^3*x16^7*x18^2*x19^5*x20*x21^2*x22^3*x23^5*x25
*x27^2*x28*x29^4*x3^2*x6*x8^5*x9^3+56480*x12^3*x13^4*x14*x15^4*x16^4*x17^2*x21^
2*x22*x23*x25^4*x26^4*x29^7*x3^3*x30^5*x4^3*x5*x6^2*x7^5*x9+218860*x11*x12^4*
x13^5*x14*x15^4*x16^6*x18^2*x19^3*x20*x21^3*x22*x23^6*x25^2*x29^2*x3*x30^5*x4^3
*x7^4*x9^2-244276*x12^3*x13*x14*x15^3*x16^6*x17^3*x18*x20*x21*x22*x23^2*x25^2*
x27^2*x28^3*x30^9*x4^4*x5^2*x7^4*x9^7+325466*x12^5*x13^2*x14^3*x15^2*x16^5*x17^
2*x2^2*x21*x22*x23*x24^3*x25^2*x26^2*x28^2*x30^6*x4^3*x5^5*x6^3*x7^4-22275*x1^5
*x10^2*x12*x14^5*x15*x16^3*x17^2*x19^2*x20^5*x22^2*x25*x26*x27^3*x28^4*x29^8*
x30^3*x4^3*x7*x9-490670*x1*x10^6*x11*x12^3*x13*x14*x15^2*x16^4*x18^3*x21^3*x22*
x23^2*x25^3*x27^2*x3^3*x30^8*x4^8*x7^5*x9+201210*x1*x10*x12^6*x13^4*x14^4*x15^4
*x16^8*x17*x20^2*x21^3*x22^3*x23^2*x25^2*x26^2*x30^5*x4^3*x5*x6*x7^5+408068*x1*
x11^2*x12^3*x13*x14^4*x15^2*x16^6*x17^2*x19*x20^2*x21^2*x22^3*x23*x25^2*x28^5*
x30^8*x4^5*x6*x7^7+191338*x1*x11*x15^2*x16^2*x17^5*x18^3*x2*x20^3*x21*x23^4*x27
^5*x28^3*x3^3*x30^8*x4^3*x5^2*x6^2*x7^2*x9^7+44478*x10*x11^2*x12^3*x13^5*x14^2*
x15^2*x16^7*x19*x20^2*x21*x22^2*x23^5*x25^2*x26*x27^6*x30^5*x4^4*x7^5*x9^2+
127786*x10*x12^4*x13^4*x14*x15^2*x16^4*x17*x18*x2^2*x20^2*x21^3*x22^2*x23^2*x25
^2*x3*x30^8*x4^12*x5^2*x7^4+641754*x10*x12^3*x13^2*x14^2*x15^2*x16^8*x19^2*x20^
2*x21*x22^3*x23^3*x25^2*x29^3*x3*x30^6*x4^4*x5*x7^5*x8^7-630458*x12^3*x13^6*x14
*x15^3*x16^5*x18^2*x21^2*x22*x23*x24*x25^5*x26^2*x28*x30^6*x4^4*x5^2*x6^5*x7^4*
x9^4+433484*x12^3*x13^4*x14*x15^2*x16^6*x17*x19^2*x21*x22*x23^11*x25^2*x26*x28^
5*x29^2*x30^5*x4^3*x6*x7^5*x9^2-174382*x1^3*x10^5*x12^4*x13^3*x14*x15^2*x16^5*
x17^2*x18^4*x19^3*x2*x21*x22*x23^4*x25^3*x30^5*x4^3*x7^6*x8-470196*x1^2*x12^5*
x13^4*x14^3*x15^3*x16^5*x17^2*x19^6*x2*x21*x22*x23^2*x25^3*x28^2*x3*x30^5*x4^3*
x7^4*x8^4+573978*x1^2*x12^3*x13*x14^4*x15^2*x16^6*x2^2*x21^6*x22*x23^4*x25^2*
x27^3*x28*x29*x30^7*x4^4*x7^5*x8^2*x9-315552*x10*x11*x13*x15^3*x16^3*x17^6*x18^
2*x20^3*x23^3*x25*x27^3*x28^3*x3*x30^8*x4*x5^7*x7^2*x8*x9^7-375744*x10^2*x11^7*
x13^2*x14^3*x17^8*x20*x21^2*x26^7*x27*x28^2*x29^2*x3^6*x30^3*x4^2*x5*x6^6*x7*x8
^2*x9^2+749016*x10^2*x11*x13^2*x14^4*x16^4*x17^7*x19^2*x20^3*x22^2*x23^2*x29^4*
x3^3*x30^3*x4^2*x5^2*x6^5*x7^2*x8^9*x9-3075*x1^7*x10^5*x12^3*x14^2*x15^2*x17^3*
x19^2*x2*x20^4*x23*x27^2*x28^4*x29^7*x3^4*x30^3*x4^4*x7^2*x8*x9^2+20325*x1^3*
x10^2*x14^5*x15*x16^2*x17^2*x19*x2^2*x20^4*x21^5*x23^3*x27^5*x28^5*x29^8*x30^4*
x4^2*x7*x8^2*x9^2+525903*x1^2*x11*x15*x16^2*x17^2*x18^2*x19^5*x2^5*x20^3*x21^2*
x23^4*x26^2*x27^4*x29^2*x3^8*x30^5*x4^2*x6^4*x7^3+51040*x1*x10*x13^5*x15^2*x16^
6*x17^7*x21^2*x24*x25^4*x26^5*x29^9*x3^4*x30*x4^2*x5^2*x6^2*x7*x8^2*x9^2+43840*
x1*x11^3*x13^4*x15^3*x17^3*x18^2*x2*x21^3*x23*x25^3*x26^6*x28^4*x29^8*x3^4*x30^
2*x5^2*x6^5*x7^2*x9^2+476256*x10^3*x11^3*x12^2*x14^2*x17^6*x18^7*x19^2*x21^3*
x22^2*x23*x25^2*x26^7*x27*x28^2*x29^2*x4^4*x6^3*x7^3*x9^4+65920*x10*x11*x13^4*
x14^3*x15^2*x17^9*x20*x21*x25^2*x26^4*x29^8*x3^5*x30^2*x4*x5^2*x6^7*x7^2*x8^2*
x9^2+523128*x11^2*x12^2*x13^3*x15*x16^7*x17*x19^4*x22^3*x23^10*x25*x26*x27^2*
x28^6*x29^4*x3*x6^2*x7*x8^5*x9^3-3175*x1^3*x10^3*x11^2*x14^3*x15^2*x17^2*x19^2*
x2^4*x20^6*x21^2*x25^6*x27^3*x28^4*x29^8*x30^2*x4*x7^2*x8^2*x9+561976*x1^2*x10*
x12^5*x13*x14^3*x15^3*x16^7*x20^6*x21^2*x22^2*x23*x25^2*x27^2*x28*x29^2*x30^5*
x4^4*x5^2*x7^7+175794*x1^2*x12^7*x13^3*x14*x15^2*x16^6*x17*x19*x20*x21^2*x22*
x23*x25^3*x26^3*x30^11*x4^4*x5^4*x7^4*x8+19900*x1^3*x10^3*x12^2*x14^4*x15^2*x16
^3*x17^2*x19*x20^10*x21*x22*x27^4*x28^5*x29^9*x30^2*x4^2*x5^2*x7^3*x9+21950*x1^
3*x10^3*x13*x14^4*x15*x17^3*x19^2*x2*x20^7*x24^2*x27^4*x28^4*x29^7*x30^3*x4^4*
x5^2*x7^2*x8^4*x9^3+158862*x1^3*x10*x12^4*x13^4*x16^8*x17^6*x19*x20*x21^2*x24*
x25^3*x26^4*x29^2*x3*x30^7*x4^3*x5^5*x8^3*x9-147098*x1^2*x10^5*x11^5*x12^2*x15^
5*x16*x17^2*x18^2*x2^2*x20^5*x21^2*x23^5*x25*x27^5*x3^3*x30^4*x4^3*x6^2*x7^4-
12475*x1^2*x10^3*x13*x14^2*x15^4*x16*x17^5*x19^3*x20^6*x21^5*x24*x27^3*x28^5*
x29^9*x30^2*x4*x6^2*x8^4*x9+14450*x1^2*x10^2*x11^2*x14^5*x15*x16^2*x17^4*x19^2*
x20^6*x21*x22^2*x27^2*x28^9*x29^7*x30^5*x4^3*x6*x7^3*x9-11400*x1*x10^3*x11^6*
x13*x14^2*x15*x17^3*x19*x20^4*x21^2*x26^7*x27^3*x28^6*x29^8*x3^4*x30^3*x4^2*x6*
x9^2+12100*x1*x10^3*x14^2*x15*x17^7*x18^3*x19^2*x20^4*x21^3*x22*x26^4*x27^2*x28
^5*x29^9*x30^2*x4^3*x6*x7^2*x9^5-6475*x1*x10^2*x11*x14^9*x15^6*x16*x17^3*x19^2*
x2^2*x20^5*x24^5*x26*x27^3*x28^4*x29^7*x3^2*x30^2*x4*x9^3+15350*x1*x10^2*x13^3*
x14^2*x15*x16^2*x17^3*x19^3*x20^4*x23^10*x26*x27^2*x28^9*x29^9*x30^2*x4*x6*x7*
x9^3+48111*x1*x11^8*x13^3*x14^5*x15*x17^2*x18^3*x19^6*x2*x20^4*x21^3*x23^3*x27^
3*x3^3*x30^6*x4^3*x6^2*x7^2*x8-8650*x1*x10^2*x14^2*x15^2*x16^2*x17^5*x18*x19*
x20^5*x23*x27^4*x28^7*x29^7*x30^6*x4^2*x5^2*x9^8-61422*x11^7*x12^3*x13^4*x14^6*
x15^2*x16^4*x18*x19^6*x20^2*x21^3*x22*x23*x25^2*x30^7*x4^4*x7^4*x8+527382*x10*
x12^4*x13^5*x14^2*x15^4*x16^6*x18*x19^5*x2*x20^3*x21*x22^2*x23^4*x25^2*x29^4*
x30^5*x4^3*x7^5+321204*x10^4*x11^3*x12^2*x15^2*x16^8*x19^3*x2*x22^3*x23^2*x25*
x27^2*x28^2*x29^4*x3^3*x5^2*x6^3*x8^9*x9^3-629046*x1^4*x12^4*x13*x14^4*x15^2*
x16^7*x19*x20*x21*x22^3*x23*x25^3*x26*x27*x29*x30^6*x4^5*x7^5+384335*x1^2*x10^6
*x11^2*x15*x17^2*x18^5*x2*x20^2*x21^3*x23^4*x25*x27^5*x3^6*x30^7*x4^7*x6^2*x7^3
*x9-2175*x1*x10^2*x11^7*x13^3*x14^7*x15*x17^2*x18*x19^7*x20^6*x21^2*x27^2*x28^4
*x29^7*x30^4*x4^2*x8*x9-71688*x10*x11^8*x13^4*x14^8*x17^7*x18*x19^6*x20^3*x21^2
*x29*x3^2*x30^4*x4^2*x5*x6^5*x7*x8^3*x9+187796*x1*x10^5*x11^4*x12^5*x13*x14*x15
^6*x16^5*x2*x20^3*x21^2*x22*x23^3*x25^3*x27^2*x30^5*x4^4*x7^6-94256*x1*x10^2*
x11^4*x12*x13*x14^6*x15*x17^3*x18^7*x2^2*x20*x21^2*x22*x23^2*x24*x25*x26^2*x27*
x28^4*x29^3*x3*x30^2*x4*x5*x6^5*x7*x8*x9^2+146102*x1*x10^2*x11*x12*x13^6*x14*
x15*x16^7*x17^5*x18^4*x19*x2^4*x20*x21*x23*x24*x25^3*x26^3*x27*x28*x29^2*x3^2*
x30^3*x4^2*x5*x7*x8^2*x9+373828*x1*x10*x11^2*x12*x13*x14*x15*x16*x17^3*x18^3*x2
*x20^3*x21*x22*x23^6*x25^2*x26*x27^3*x28*x29^3*x3^5*x30^5*x4^2*x5^4*x6^2*x7^2*
x8*x9^2+185481*x3*x4*x8*x10^2*x11^3*x13^2*x14*x15^2*x16*x18*x19*x24^3*x25^5*x27
*x28*x29*x30^3+319680*x3*x5^4*x6*x7^2*x10*x11*x12*x14^3*x20*x21^2*x22*x23*x24*
x25*x26^2*x27^2*x28^3*x29*x30+101232*x3*x5^5*x7^2*x8*x10*x11*x13*x15^2*x16*x17^
3*x18*x20^2*x23^2*x25*x27*x30^4+94572*x3*x6*x8^5*x9*x11^2*x12^2*x15*x16^5*x19^2
*x22^3*x25*x27^2*x28*x29^2+91464*x3^2*x4*x5*x6^5*x7*x8^2*x9*x10*x11*x13*x14^3*
x17^7*x20*x29*x30^2-62271*x2^2*x6^3*x7^2*x8*x10^3*x11*x12^2*x17^3*x18*x22*x24^4
*x25*x26^3*x27*x30^2+292707*x2*x3^2*x4*x5*x7^4*x10*x11^2*x13^2*x14^4*x15*x16*
x19^2*x22^3*x25*x27*x29*x30^2-188145*x2*x3*x4^2*x6*x10*x11^3*x14^5*x15^3*x16*
x19*x20*x21^2*x22^2*x25^3*x29^3+151182*x2*x3*x4*x5^2*x11*x13^2*x14^2*x15*x18^3*
x19*x20*x21*x23^5*x24*x25*x27*x30^5+55278*x2*x3*x6*x9^2*x10^2*x12*x17*x18^2*x21
*x23^3*x24^3*x25^5*x26^2*x28^2*x30^3+19980*x2*x4^2*x7^6*x9*x10^3*x11*x12^4*x15*
x18*x22*x24*x26^2*x27^2*x28*x29^2*x30+57276*x2*x4*x6^2*x8*x9*x10^2*x11*x12*x14^
6*x17^2*x18^5*x20*x22*x23*x24*x27*x29^2-248751*x2*x7*x10*x12*x13^4*x14*x15^2*
x16^2*x18*x19^5*x20^3*x22*x23^3*x29^4+215118*x2^2*x3^3*x4*x6*x7*x9^5*x13*x14*
x17^4*x19^2*x21^2*x22*x23*x26*x28^2*x29*x30-69930*x2^2*x3^2*x6^2*x7*x9*x10*x14*
x16*x19^2*x22^2*x23^4*x25*x27^2*x28^2*x29^5*x30+86247*x2^2*x3^2*x9^2*x11*x14^7*
x15^5*x16*x17*x19*x20*x24^5*x26*x27-60273*x2^2*x3*x4^9*x5^2*x10*x12*x13^3*x17*
x18*x20^2*x21^2*x22*x23*x30^3+226107*x2^2*x4^3*x6^3*x9*x10^2*x11^2*x12^3*x14*
x16^3*x18*x25^2*x26*x29^6-145521*x2^2*x4*x5^3*x8^5*x9*x11*x13^4*x19*x20^4*x21*
x22^2*x23*x24*x26*x28^2-221112*x2^2*x5*x7^3*x12^3*x14*x16*x17*x19^2*x21*x24^3*
x25^2*x27*x28^3*x29^6-125541*x2*x3^2*x5^2*x6^2*x8^4*x9^2*x10^4*x11*x15*x16^3*
x19*x23^2*x28*x29^2-278388*x2*x4*x6^2*x9*x12*x13*x17*x20^2*x21^4*x22^3*x24*x25^
2*x26*x27*x28*x29*x30^4-266733*x2*x7^3*x8*x10*x11^3*x14^2*x15*x16^2*x18^2*x19*
x21^2*x22*x24*x25*x26^3*x27^2*x30+174159*x2^4*x3^4*x4*x6*x7^2*x10*x11*x14*x15*
x17*x18^2*x23^6*x26*x27*x28*x29+123876*x2^2*x6^2*x7^2*x9^2*x12*x14*x15^2*x16^2*
x17*x19*x20^2*x22^2*x24*x26^2*x27^2*x28*x29^2*x30-183483*x2*x4^8*x5*x6*x7^2*x8^
2*x11*x17*x19*x22*x24*x26*x29^4*x30^4+279387*x2^4*x3*x5*x7^3*x11^5*x12^4*x14^2*
x17*x19*x20^2*x22^2*x23*x26^3-76257*x2^4*x3*x7*x10*x11*x12*x13^4*x14*x15*x16*
x18^4*x19*x20*x23*x25*x26^2*x27*x28*x30^2;
