-24642-16617*x1^2*x11^9*x12^2*x13^4*x14^5*x16*x18^5*x19^6*x20^2*x21^4*x24^
3*x25*x26*x27*x29^2*x3^4*x30^2*x4*x5*x7*x8*x9^2-49469*x1^2*x11^3*x12^2*x13*x14^
7*x15^5*x16^2*x17*x18^4*x19*x2^2*x20*x21^2*x24^8*x25*x26^2*x27^2*x29^2*x3^6*x5*
x7*x9^4+47559*x1^4*x11^2*x12^6*x13^3*x16^3*x17*x18^4*x19*x20*x21^3*x24^3*x25^2*
x26^4*x27*x29^2*x3^4*x30^6*x4*x5^5*x7*x8*x9^2+50806*x1^3*x10^5*x11^6*x12^4*x13*
x15^4*x16^2*x18^4*x2*x20^3*x21^3*x23^2*x24^3*x25^2*x26*x27^3*x29^2*x3^4*x4*x5*
x7^3*x9^2+173046*x1^3*x10*x11^3*x12^2*x13*x14^2*x16*x18^6*x19^3*x21^3*x23^2*x24
^3*x25^2*x26^7*x27^2*x28^2*x29^3*x3^5*x4*x5*x7^3*x9^4-57109*x1^3*x10*x11^2*x12^
2*x13^2*x14*x15^2*x16^4*x18^5*x21^4*x22*x23^4*x24^4*x25^3*x26*x27^2*x29^2*x3^6*
x5*x7*x8*x9^8+248940*x1^2*x10^5*x11^2*x12^2*x13^2*x14^2*x16^6*x18^4*x19*x2^2*
x20*x21^2*x22^3*x23*x26^4*x28^3*x29^2*x30^4*x5^3*x6^4*x8^3*x9^2-45178*x1^2*x10^
5*x11^2*x12^2*x13*x14^3*x15^2*x16^2*x17^4*x18^4*x2*x21^3*x22^5*x23*x24^2*x28^3*
x29^2*x30^4*x4^2*x6^6*x8^2*x9^2-87096*x1^2*x10*x11^8*x12^2*x13^2*x16*x17*x18^4*
x21^4*x24^3*x25*x26^8*x27^2*x28^2*x29^3*x3^8*x30*x4*x5*x6*x7*x9^3-49660*x1^2*
x10*x11^5*x12^2*x13*x14*x16^2*x17^3*x18^6*x19^4*x21^3*x22^2*x24^6*x25*x26^2*x27
*x29^5*x3^7*x4*x5*x7*x9^3+118611*x1^2*x10*x11^2*x12^5*x13^5*x16^2*x17^2*x18^4*
x19*x20^3*x21^2*x23^3*x24^4*x25*x26^2*x27*x29^4*x3^8*x30*x5^2*x7*x9^4+733912*x1
^2*x10^5*x11*x12^3*x13*x14^3*x15*x16^4*x18^3*x2*x20^6*x21^2*x22^4*x23*x27^2*x28
^4*x29^3*x30^3*x4*x5^2*x6^4*x7^3*x8-81174*x1^2*x10^4*x11^3*x12^4*x13^5*x15*x16^
2*x17*x18*x19^2*x2^2*x20^2*x21^3*x22^4*x23*x25^2*x26^3*x28*x30^6*x4^4*x5^4*x6*
x8^2-11460*x1^2*x10^3*x11^3*x12^6*x13*x15*x16*x18^5*x2*x21^2*x22*x24^4*x25*x26^
3*x27^3*x28*x29^4*x3^4*x30*x4^2*x5*x7^7*x9^3+115250*x1^4*x10^4*x11*x12^3*x13^5*
x14*x16^2*x17*x18^3*x19*x2*x20^2*x21^2*x22^4*x23*x28^3*x29^3*x30^4*x4*x6^9*x7*
x8^3*x9+5157*x1^4*x10^2*x11^2*x12^2*x13^3*x16*x18^11*x19^2*x2*x21^2*x23^4*x24^3
*x25*x26*x27*x28^4*x29^2*x3^6*x5^2*x6*x7*x8^2*x9^2+51570*x1^4*x10*x11^3*x12^3*
x13^2*x14*x16^6*x18^5*x19*x2*x20*x21^3*x24^3*x25*x26^5*x27*x29^3*x3^4*x30*x5^4*
x7*x8^2*x9^4+152036*x1^4*x10*x11^2*x12^4*x13*x14^2*x15*x16^4*x18^4*x20^6*x21^3*
x22*x24^3*x25*x26*x27^3*x28*x29^4*x3^4*x4*x5^3*x7^4*x9^2+99702*x1^3*x10^3*x11^2
*x12^2*x13*x14^4*x16*x17^2*x18^4*x19*x2*x21^2*x22*x24^4*x25^2*x26^3*x27*x29^5*
x3^5*x4^4*x5^5*x7^2*x9^2+94354*x1^3*x10*x11^2*x12^3*x13*x14*x15^2*x16*x18^5*x21
^2*x22^4*x23*x24^8*x25^2*x26^6*x27^2*x29^3*x3^5*x30*x5*x7^3*x8*x9^2-13370*x1^3*
x11^3*x12^2*x13^4*x14*x16*x18^5*x19^5*x2*x21^3*x24^3*x25^5*x26^2*x27^2*x28*x29^
2*x3^5*x30*x5*x6^2*x7^2*x8^4*x9^2+188922*x7*x9*x11*x12*x14*x15^5*x16^2*x17^3*
x20^2*x21^3*x23^2*x24^3*x25*x26*x28*x29+23875*x1^6*x11^2*x12^4*x13^5*x16^2*x17*
x18^4*x19*x20^2*x21^3*x22*x24^3*x25*x26*x27*x29^4*x3^4*x30*x4*x5*x6^5*x7^2*x8^2
*x9^3-40750*x1^4*x10^4*x11^3*x12^2*x13^7*x15*x16*x17*x18*x19^2*x2^2*x20^3*x21^3
*x22^5*x23*x25*x28*x29^2*x30*x4^4*x6^6*x7*x8^3*x9-68460*x1^3*x10^9*x11^4*x13^4*
x14*x15^2*x17*x18*x19*x2^3*x20*x21^2*x22^7*x23^2*x25*x26^2*x27^2*x28*x30*x4^4*
x6*x7^2*x8^4*x9+193620*x1^3*x10^9*x11^2*x12*x13^2*x14^2*x15*x16*x17*x18^3*x2^2*
x21*x22^6*x23^2*x26^2*x27^2*x28^3*x29*x30^4*x4*x6^4*x7^2*x8^4*x9+57491*x1^3*x10
*x11^5*x12^2*x13^2*x14^2*x15^2*x16^5*x18^4*x19*x20^2*x21^3*x22*x23^2*x24^3*x25*
x26*x27^4*x29^2*x3^5*x30*x5^4*x7^2*x9^2-124532*x1^3*x10*x11^3*x12^6*x13*x16^2*
x18^5*x19*x2^5*x20*x21^3*x22*x24^4*x25*x26*x27^2*x28^2*x29^2*x3^4*x30^3*x5*x6^5
*x7*x9^2+160058*x1^3*x10*x11^3*x12^2*x13*x16*x18^5*x19^2*x2^3*x20^2*x21^2*x22*
x23*x24^6*x25^2*x26^2*x27^5*x29^2*x3^5*x30^2*x5^3*x6^2*x7*x9^3+54435*x1^3*x10*
x11^2*x12^5*x13^4*x14^3*x15^2*x16^5*x17*x18^4*x20^2*x21^4*x22^2*x23*x24^3*x25*
x26^3*x27*x29^2*x3^4*x5^2*x6*x7^2*x9^2-95309*x1^3*x10*x11^2*x12^2*x13^2*x15^3*
x16^2*x17^3*x18^4*x19^2*x20^2*x21^7*x24^4*x25*x26*x27^2*x28*x29^4*x3^4*x5*x6^2*
x7*x8^4*x9^2-130092*x6*x7^2*x8^3*x10^2*x13^4*x14^2*x17^2*x18*x19*x20*x22^3*x24*
x25^4*x27^2*x29-136308*x6*x7*x9^2*x13^3*x16^2*x17*x19^2*x23^10*x26*x28^5*x29^2-
141149*x1^5*x10*x11^2*x12^2*x13^2*x14*x15^3*x16^2*x18^4*x2^4*x20^2*x21^2*x22*
x23*x24^3*x25^2*x26*x27^2*x29^4*x3^5*x30*x5^2*x6^3*x7^2*x9^3-9359*x1^4*x10*x11^
3*x12^3*x13*x14^2*x15^2*x16^2*x17^4*x18^5*x21^4*x22^2*x24^5*x25*x26*x27*x29^3*
x3^4*x30*x4^2*x5*x6^2*x7*x8*x9^4+167698*x1^4*x10*x11^2*x12^2*x13^2*x14^2*x16*
x17*x18^4*x19*x2*x20^3*x21^2*x24^5*x25*x26*x27^3*x29^2*x3^4*x30*x4^3*x5^3*x7^3*
x8^4*x9^4-681358*x1^3*x10^5*x11*x12*x13^2*x14^2*x15^3*x16^2*x18^3*x2^5*x20^2*
x21*x22^4*x23^2*x25*x27*x28^3*x29^3*x3*x30^4*x5*x6^7*x7*x8*x9-51952*x1^3*x11^4*
x12^3*x13*x14*x15^2*x16^2*x17*x18^4*x19*x2*x21^2*x23^2*x24^4*x25*x26^3*x27*x28^
6*x29^3*x3^5*x30^2*x4*x5*x7^2*x9^4+110398*x1^3*x11^4*x12^2*x13*x14^3*x16^3*x17^
2*x18^4*x19*x20^2*x21^3*x22^2*x24^3*x25*x26*x27*x28^5*x29^2*x3^4*x30^3*x4^2*x5*
x6*x7^4*x9^2-88020*x1^2*x10^5*x11^4*x12*x13^4*x14*x15*x16^5*x18^2*x19^2*x2^3*
x20^2*x21^3*x22^4*x23*x25*x26^4*x28*x29*x30*x4^3*x5^3*x6*x8^3*x9^2+15974*x1^2*
x10^5*x11^4*x12*x13^3*x14^2*x15^3*x16*x17^4*x18^2*x19*x2^2*x20*x21^4*x22^6*x23*
x24^2*x25*x28*x29*x30*x4^5*x6^3*x8^2*x9^2-94350*x5^2*x6^2*x12^2*x13^2*x15^4*x18
^4*x19^3*x20*x24^3*x25*x26*x27^3*x30+75258*x5*x6^2*x7*x8*x9*x11^2*x14*x18*x19^3
*x22^5*x23*x24^5*x25^2*x26*x29*x30-71484*x5*x6^2*x8^7*x10^3*x13*x17^3*x20^2*x21
^2*x23*x25*x27*x28^2*x29*x30^2+52614*x5*x7*x8*x9^2*x12^3*x14*x16*x17^4*x18*x20^
3*x21*x24*x26*x27^5*x29*x30^3+40110*x1^5*x10^5*x11^3*x12^2*x13^2*x14*x15*x16*
x17*x18^4*x2*x21^2*x22^3*x23*x24^3*x25*x26^3*x27^3*x29^2*x3^4*x30*x4*x5*x7^3*x8
^3*x9^3+240914*x1^3*x10^5*x11^3*x13^4*x14*x15^4*x16*x18*x19*x2^6*x20^3*x21^2*
x22^5*x23^2*x25^2*x27*x28*x29^2*x3*x30*x4^3*x5*x6^4*x7*x8*x9+809516*x1^2*x10^5*
x11*x12*x13^2*x14^3*x16*x17*x18^3*x19*x2^2*x20^3*x21*x22^3*x23*x24^2*x27^2*x28^
3*x29*x30^4*x4^3*x5^2*x6^4*x7^2*x8^5*x9^2-32852*x1^2*x10^2*x11^3*x12^3*x13*x14^
6*x16*x17^2*x18^9*x2*x20*x21^2*x22*x23*x24^4*x25*x26*x27^2*x29^4*x3^4*x4*x5*x6^
2*x7*x8*x9^3-123386*x1^2*x11^2*x12^2*x13^2*x14*x16*x17^4*x18^4*x19^2*x2^2*x21^4
*x22*x23*x24^3*x25*x26^2*x27*x28^2*x29^3*x3^7*x30*x4*x5*x6*x7^2*x9^7+19314*x4*
x8*x11^7*x13^3*x14^5*x18*x19^6*x20^2*x21^2*x30^2+128538*x4*x5^3*x6*x7*x13*x14*
x15*x17*x19^2*x20^3*x22*x23^4*x25*x27*x28^2*x29*x30+76812*x4*x5^2*x9^7*x15*x16^
2*x17^3*x18*x20*x23*x27^2*x28^3*x30^4-107448*x4^2*x6*x7^2*x9^4*x10*x17^5*x18^3*
x19*x21^3*x22*x26^4*x28*x29^2+198246*x4*x5^2*x6^5*x9^4*x13^5*x15*x16*x18^2*x21*
x24*x25^3*x26^2*x28*x30+59496*x4*x5^2*x8^2*x11^2*x14*x15^2*x16^3*x17^5*x18*x19*
x20*x22^4*x23^2*x24*x25*x26-13986*x4*x7*x9^2*x10*x11^2*x13^4*x14*x16^3*x19*x20^
2*x22*x23^4*x26*x27^6-68820*x3*x9^2*x11*x12*x13^4*x15^2*x16^2*x18^2*x19^3*x20*
x21^2*x23^5*x29^2-17760*x3^3*x5*x6^2*x7*x9*x13^3*x15^2*x17^2*x21*x25^2*x26^4*
x29^7+93018*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+101232*x3^4*x4*x6*x9*x10*x11^6*x13*x17*x21^2*x26^7*x27*x28^2*
x29*x30-137862*x3^4*x5*x9^2*x10*x12^3*x13^4*x16*x17^2*x19*x20^3*x23^3*x24*x26*
x29^2*x30+57720*x3^3*x4*x9*x10*x11^3*x14*x16*x17^3*x18^2*x19^4*x21*x22^2*x24^3*
x26*x29^3+150072*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-201798*x3*x4*x5*x7*x8^7*x10*x13*x14*x16^4*x19^2*x20^2
*x22^2*x23^2*x29^3*x30-115884*x2^2*x3*x5^2*x8^3*x9^4*x10*x12*x15*x17^2*x18*x19*
x20*x21^2*x23*x28*x29^2-102342*x2^2*x5^5*x6^3*x12^2*x13*x14^2*x16*x17^2*x24^3*
x26^2*x28^2*x30+54834*x2^2*x3*x4^3*x6*x8^2*x10^2*x12^3*x15^2*x18*x24*x25*x26^2*
x27*x28^4*x29+125652*x2*x4*x7*x8*x12^4*x15^3*x16^2*x17^4*x19*x20*x21*x23*x24*
x26^2*x28*x30^2+87912*x2^3*x3^4*x6*x7^4*x11^2*x12*x14*x15*x16*x19^3*x20*x23^2*
x25*x26*x27*x29+52170*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-167832*x2^2*x8^4*x9*x10^2*x11^4*x16*x18*x19*x21^2*
x24*x25*x28^6*x29*x30+22644*x2*x3^4*x5^3*x7^2*x8^2*x10^4*x12*x14*x15*x16*x17*
x19*x20*x23*x27^2*x29*x30-201392*x13^4*x14^2*x16^2*x17^3*x19^2*x23^13*x25^5*x26
^4*x27*x28^7*x29^4*x3*x5*x6^6*x7*x9^2-396264*x10*x11^9*x13*x16^7*x17^4*x20^6*
x21^2*x26^8*x27*x28^3*x29^2*x3^6*x30*x4*x6^4*x9-225071*x11^4*x14^7*x15^5*x16^8*
x17^4*x19*x2^2*x20^7*x24^5*x26^2*x27*x28*x29*x3^4*x6^3*x9^2-26240*x13^4*x14^2*
x15^2*x17^4*x21*x23^3*x25^7*x26^7*x27*x28^2*x29^9*x3^4*x5^2*x6^7*x7*x9+69520*
x11^3*x13^3*x15^2*x16^7*x17^5*x20^6*x21*x25^2*x26^5*x28*x29^8*x3^5*x5*x6^5*x7*
x9-6800*x13^4*x15^2*x17^4*x18*x2*x21^6*x22^5*x23^2*x25^5*x26^5*x29^7*x3^4*x5^2*
x6^2*x7*x9^3+400609*x11^3*x12^2*x13*x14^2*x16^8*x17^5*x2^2*x20^6*x24^3*x26^3*
x28^3*x29*x3^2*x30*x5^5*x6^6+533566*x11^3*x13^3*x16^9*x17^4*x19^2*x20^6*x23^10*
x26^2*x28^6*x29^3*x3^2*x6^4*x7*x9^2-147186*x1^3*x2*x3^2*x4*x5*x6*x12^2*x15^2*
x22^4*x23*x26*x28*x29^2+197802*x1^4*x4^2*x7*x12*x14^3*x16^3*x19*x20*x22^2*x25*
x26*x27*x29*x30-221112*x1*x4*x5^2*x6^2*x7*x8*x9*x10^2*x12^2*x13*x14^2*x17*x19*
x23^2*x26*x29^2*x30+106338*x1*x2^3*x5*x6*x7*x9*x10^2*x13*x14^4*x21*x22^3*x23*
x24^2*x25^2*x28-195360*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+28194*x1^2*x2^4*x7^2*x8^2*x10*x11^2*x14*x15*x19*x20^2*
x21^2*x25^6*x27*x29-184038*x1^2*x5*x6*x8^7*x15^2*x16*x17^3*x19^2*x20*x21^2*x23*
x24^2*x25^2*x26-164280*x1*x2^4*x3*x5*x6^2*x10*x13*x14^2*x15*x17*x18*x20*x21^3*
x26^3*x28^3*x30^2+30414*x1*x2^2*x6*x8^2*x10^3*x11^2*x13*x16*x19^4*x23*x24*x26^3
*x27^3*x29*x30^2-149184*x1*x3*x4^3*x6*x7^2*x8*x10^3*x12^2*x13^3*x16*x22*x25*x26
^2*x27*x28^2*x30^3+27306*x1^6*x2*x3^4*x4^3*x7^2*x8*x9*x10^3*x12^3*x15*x17*x19*
x23*x30+147630*x1^5*x2*x3*x6*x10*x11*x12^2*x13*x15*x17*x18*x20*x21^3*x22^3*x23*
x26*x27^2*x29^2+110334*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+54834*x1^3*x2*x7^2*x8*x10^5*x12*x13^2*x16*x17^2*x18^4*x19^3*
x23^3*x25-192030*x1^2*x2^3*x3*x7*x8^6*x10*x11*x15^3*x18*x19*x20^4*x22*x23*x25*
x29*x30-180486*x1^2*x2^2*x4*x7*x8^2*x9*x14^3*x16^2*x21^5*x23^3*x27^3*x28*x29*
x30^2+147852*x1^2*x2*x3*x8^4*x12^2*x13^3*x14^2*x15*x16*x17^2*x19^6*x23*x25*x28^
2+211122*x1*x2^4*x3^5*x6^2*x7*x16^2*x19^5*x20*x21*x23*x26^2*x27*x29^2*x30-4440*
x1*x3^2*x5^3*x6*x7*x8*x12^2*x13^3*x15*x16*x19^2*x20*x23^2*x25^5*x28^3-27750*x1^
4*x4*x6^5*x7*x8^2*x9*x12^2*x13^4*x16*x17*x19*x20^2*x21*x22*x29^2*x30+164058*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-
46620*x1^3*x2*x4*x7^2*x8^3*x9*x10^5*x11*x13*x14*x15*x17*x22^3*x23*x26^2*x27^2*
x30-5994*x1^2*x2*x3^2*x5*x6*x8^2*x10^2*x13^2*x18^7*x19^2*x23^4*x28^4-194916*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-59940
*x1^2*x2*x5^3*x8^2*x9^2*x10*x11*x12*x13*x14*x16^5*x18*x19*x20*x21*x26^4*x29*x30
+10878*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-55278*x1^2*x4*x5^4*x8*x12^4*x13^2*x16^2*x17*x19*x20*x21*x25*x26^
3*x30^6-176712*x1^2*x4*x5^2*x7^3*x10*x12^2*x14^2*x15*x16^3*x20^6*x21*x22*x27^2*
x28*x29^2+144744*x1*x2^5*x6^5*x10*x11*x12^4*x16*x18*x19*x20*x21*x22*x24*x27*x28
^2*x30^3-186036*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-115884*x1*x2*x3*x4^4*x5^4*x7*x10^3*x14^4*x17^2*x19*x22*x24*
x25*x26^2*x29^3+60384*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+15540*x1*x2*x3*x6^2*x7*x8^4*x11*x13^3*x14*x18*x19^5*
x21*x25^4*x26*x27*x28*x30-59052*x1*x2*x4*x7^2*x10^5*x11^4*x12^2*x15^4*x16*x20^3
*x21*x23^2*x25*x27^2+178488*x1*x3^4*x4^4*x7*x8^2*x9*x12^3*x14^5*x15^2*x16*x18^3
*x24*x28*x29+154290*x1*x3^3*x4^5*x7*x9*x10^6*x11*x18^3*x21^2*x23*x25*x27^2*x30^
3+66378*x1*x3^2*x8*x9^6*x10*x13*x14*x15^2*x16^3*x18*x21^2*x22*x23^4*x24*x25^2*
x27-201132*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-66822*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-109668*x1*x3*x7^2*x8*x10*x12*x14*x15^2*x18*x22^4*x23*x24^5*
x25*x26^5*x27*x29*x30-128316*x1*x4^2*x6*x7^3*x11^2*x14^3*x16^2*x17^2*x19*x20^2*
x21*x22^2*x28^5*x30^3-63270*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+110778*x1*x6^2*x8^4*x10*x13*x15^3*x16*x17^3*x19^2*
x20^2*x21^5*x24*x27*x28*x29^2+21201*x1^2*x3^4*x5*x7*x9^2*x11^2*x12^2*x13*x16*
x18^4*x21^2*x24^3*x25*x26*x27*x29^2-153564*x1^3*x11^2*x12^5*x13*x14^5*x15^2*x16
^2*x18^7*x21^2*x24^4*x25*x26*x27*x28*x29^3*x3^8*x4^4*x5*x7^2*x8^2*x9^3-129689*
x1^2*x10^2*x11^4*x12^5*x13*x14*x16^4*x18^5*x2^2*x21^2*x24^3*x25^3*x26^2*x27*x29
^8*x3^4*x4^3*x5*x6^3*x7*x9^3-45267*x1^2*x11^2*x12^5*x13*x14*x16^2*x17^4*x18^5*
x20^3*x21^3*x24^4*x25*x26^2*x27^6*x29^3*x3^4*x30^3*x5^2*x7^2*x8*x9^4+126824*x1^
2*x11^2*x12^5*x13*x14*x16^2*x17*x18^4*x19^2*x2^2*x21^3*x24^6*x25^3*x26*x27^2*
x28^3*x29^8*x3^4*x5^2*x7^4*x9^2-170563*x1^2*x11^2*x12^2*x13^6*x15*x16^2*x18^6*
x21^3*x24^4*x25^4*x26^3*x27*x28*x29^2*x3^4*x30*x4*x5^3*x6^5*x7*x9^6+117274*x1^2
*x11^2*x12^2*x13^4*x16^3*x17*x18^4*x19^2*x21^2*x23^10*x24^3*x25*x26^2*x27*x28^5
*x29^4*x3^4*x5*x6*x7^2*x9^4-86716*x1*x10^9*x11^7*x12^2*x13^3*x15^5*x16*x18*x19*
x2^3*x20^4*x21^3*x22^4*x23^3*x25^2*x27^2*x28*x4^4*x6*x7^2*x8-601144*x1*x10^5*
x11^2*x12^5*x13*x14*x16^2*x18^4*x19*x2^6*x20*x21^2*x22^4*x23*x24*x27*x28^5*x29*
x30^6*x6^9*x8-243522*x10^5*x11^3*x12*x13^7*x14*x15^3*x16^2*x18^2*x19^6*x2^3*x20
^4*x21^2*x22^5*x23^4*x25*x28*x29^4*x4^3*x6*x7*x8-59006*x10^5*x11^3*x12*x13^6*
x15*x17*x18^2*x19*x2^4*x20^3*x21^4*x22^5*x23^2*x25*x28*x3*x30^3*x4^12*x5^2*x6*
x8-157784*x10^5*x11^3*x13^3*x15*x17^5*x18^4*x19^2*x2^2*x20*x21^5*x22^5*x23*x25*
x26^4*x28^2*x29^2*x4^5*x6^2*x7^2*x8*x9^4+166882*x10^5*x11*x12^2*x13^4*x14*x16*
x17*x18^4*x2^3*x20^2*x21^3*x22^4*x23^2*x28^3*x29*x3*x30^6*x4^9*x5^2*x6^4*x8+
566108*x10^4*x11*x12*x13^4*x14*x16^3*x17*x18^3*x19^2*x2*x21*x22^3*x23^11*x26*
x28^8*x29^3*x30^3*x6^5*x7*x8*x9^2+80522*x1^3*x10^9*x11^3*x12*x13^5*x15*x16*x17^
2*x18^5*x19^4*x2^3*x20*x21^2*x22^4*x23^4*x25^2*x28*x4^3*x6*x7^2*x8^2-227734*x1^
3*x10^9*x11*x12^2*x13^3*x14*x16^2*x17^2*x18^7*x19^3*x2^2*x21*x22^3*x23^4*x25*
x28^3*x29*x30^3*x6^4*x7^2*x8^2-281990*x1^2*x10^5*x11^4*x13^3*x15^4*x18^2*x19^2*
x2^5*x20^5*x21^2*x22^5*x23^2*x25^2*x28*x29*x3*x30*x4^3*x6*x7*x8^7+749586*x1^2*
x10^4*x11*x12*x13*x14^4*x16^3*x18^3*x2^3*x21^6*x22^3*x23^4*x27^3*x28^4*x29^2*
x30^5*x4*x6^4*x7*x8^3*x9+81175*x1^2*x11^2*x12^4*x13^3*x15^4*x16*x18^8*x19^3*x20
*x21^2*x24^6*x25^2*x26^2*x27^4*x29^2*x3^4*x30*x5^3*x6^2*x7*x9^2+289815*x1*x10^6
*x11*x14^2*x15*x17*x18^7*x2^2*x20*x21^2*x23*x24*x25^2*x26*x27^3*x3^5*x30^4*x4^9
*x6^3*x7*x9^5-104972*x10^7*x11^3*x13^4*x15*x17^3*x18*x19*x2^2*x20^3*x21^4*x22^4
*x23^2*x25^2*x27*x28^3*x29*x30^2*x4^3*x5*x6^3*x8^8+296884*x10^7*x11*x12*x13^2*
x14*x16*x17^3*x18^3*x2*x20^2*x21^3*x22^3*x23^2*x25*x27*x28^5*x29^2*x30^5*x5*x6^
6*x8^8-77979*x10^3*x11*x12^2*x14^2*x15*x17^4*x18^5*x2^4*x20*x22*x24^5*x25^2*x26
^4*x27^2*x3^2*x30^3*x4^4*x6^6*x7^2*x8*x9^4+190152*x10*x11^6*x13*x14^2*x15*x17^2
*x18^4*x2^2*x20*x21^2*x24*x25*x26^8*x27^2*x28^2*x29*x3^6*x30^2*x4^5*x6^4*x9^5+
189318*x11*x13^2*x14^4*x15^2*x17*x18^7*x19*x2^3*x20^2*x21*x23^5*x24^2*x25^2*x26
*x27^2*x3^3*x30^6*x4^5*x5^2*x6^3*x9^4+41402*x1^2*x10^5*x11^5*x13^3*x14*x15^2*
x18*x19^2*x2^6*x20^3*x21^4*x22^4*x23*x25^7*x27*x28*x29*x4^3*x6*x7^2*x8^3-81672*
x1^2*x12^4*x13^3*x14^2*x16^2*x17^3*x19*x20*x21*x23^3*x25^6*x26^6*x27*x28^2*x29^
2*x3*x30^6*x4*x5^5*x6^5*x8+689440*x1*x10^8*x11^3*x13^3*x16^2*x18^3*x19*x2*x21^6
*x22*x23^4*x25*x27^2*x28^2*x3^4*x30^3*x4^6*x5*x6^3*x7*x9^2-126314*x1*x10^7*x11^
3*x12*x13^2*x14*x16^2*x18^3*x19^4*x2^3*x21*x22^3*x23^2*x24*x26^3*x27^3*x28^3*
x29^2*x30^5*x6^5*x8^3+227960*x1*x10^6*x11*x13*x14^2*x17^2*x18^3*x21^2*x23^4*x25
^6*x26^3*x27^3*x28^2*x29^2*x3^4*x30^3*x4^5*x5*x6^5*x7*x9-573376*x1*x10^2*x11^4*
x13^3*x14^3*x16^4*x17^2*x19^2*x2*x20^2*x21^5*x22^3*x23^3*x28^7*x3*x30^3*x4^3*x5
*x6^4*x7^3*x9-297168*x1*x10*x11*x13*x14^4*x17^2*x18^2*x19^3*x21*x23^5*x25^6*x26
^9*x27^2*x28^4*x29^3*x3^2*x4*x5*x6^5*x7^2*x9^2-93480*x1*x10*x12^3*x13^4*x14^5*
x15^2*x16^4*x17^3*x20^2*x21^2*x22^2*x23^4*x25^5*x26^5*x27*x28^2*x29^2*x3*x5^2*
x6^6*x7+163672*x1*x10*x13^2*x14^2*x15^3*x16*x17^5*x19^2*x20^2*x21^5*x23^3*x24*
x25^5*x26^3*x27^2*x28^3*x29^4*x3*x5*x6^7*x8^4+22960*x1*x11*x13^4*x14^3*x17^2*
x18*x19^5*x2*x21*x23^3*x25^9*x26^4*x27^2*x28^3*x29^2*x3^2*x30*x5*x6^7*x7*x8^4-
122902*x10^8*x11^4*x13^3*x15^2*x16^3*x18*x19^2*x2^3*x20*x21^2*x22^4*x23^3*x25*
x28^2*x29^2*x3^2*x4^3*x5^2*x6^3*x8^5*x9^2+347594*x10^8*x11^2*x12*x13*x14*x15*
x16^4*x18^3*x19*x2^2*x21*x22^3*x23^3*x28^4*x29^3*x3^2*x30^3*x5^2*x6^6*x8^5*x9^2
-246456*x10^6*x11^7*x13^3*x15*x16*x18^2*x19^2*x2^4*x20*x21^4*x22^4*x23*x24*x25^
2*x28^7*x29*x30*x4^3*x6*x8^5*x9+673568*x10^4*x11^4*x12^3*x13^3*x14*x16^5*x18*
x19*x2^3*x21^4*x22*x23^3*x25^2*x26*x28^2*x29^6*x3*x4^4*x5*x6^6*x9^2-101060*x10^
4*x11^4*x12*x13^7*x15^3*x16^2*x18^3*x19^4*x2^2*x20^2*x21^4*x22^4*x23^6*x25*x28*
x29^2*x3*x4^3*x6*x8*x9^2+285820*x10^4*x11^2*x12^2*x13^5*x14*x15^2*x16^3*x18^5*
x19^3*x2*x20*x21^3*x22^3*x23^6*x28^3*x29^3*x3*x30^3*x6^4*x8*x9^2+257920*x10^3*
x11^5*x13^3*x14*x16^3*x17^3*x18^2*x19^5*x2*x21^5*x22^3*x23^3*x24^3*x26*x28^2*
x29^3*x3^4*x4^2*x5*x6^3*x9^2-901728*x10^3*x11^2*x13^4*x14*x16^6*x19^3*x2*x20^2*
x21^4*x22^3*x23^5*x28^2*x29^3*x3^2*x30*x4^2*x5^2*x6^3*x7*x8^7*x9-208320*x10^3*
x11^2*x13^3*x14*x16^3*x19^3*x2^3*x21^4*x22^3*x23^7*x25*x27^2*x28^4*x29^5*x3^3*
x30*x4*x5*x6^5*x7*x9^2+832288*x10^2*x11^7*x12^4*x13^3*x14^2*x16^2*x17*x19^2*x2^
5*x20^2*x21^4*x22^3*x23^4*x26^3*x28^2*x3^2*x4*x5^2*x6^3*x7^3*x9+885856*x10^2*
x11^2*x13^8*x15*x16^3*x18^2*x19*x2*x21^5*x22*x23^3*x24*x25^3*x26^2*x28^3*x3*x30
*x4^2*x5^3*x6^8*x9^5+640832*x10^2*x11^2*x13^4*x14*x16^2*x17^4*x19^3*x2^3*x21^6*
x22^2*x23^4*x26*x28^4*x29*x3^4*x30*x4^2*x5*x6^4*x7*x9^6-20664*x10*x11^2*x13^5*
x14^3*x16^3*x17^2*x19*x20^2*x22*x23^7*x25^5*x26^4*x27^7*x28^2*x29^2*x3*x4*x5*x6
^5*x7*x9^2+314880*x10*x11*x12*x13*x14^5*x17^2*x20*x21^2*x22*x23^4*x24*x25^6*x26
^5*x27^3*x28^5*x29^3*x3^2*x30*x5^5*x6^6*x7^2+218091*x10*x11*x14^3*x15^2*x17^2*
x18^6*x2^6*x20*x23^6*x24*x25*x26^2*x27^2*x28*x29*x3^6*x30*x4^5*x6^4*x7^2*x9^4-
59368*x10*x12*x13^4*x14^2*x17^3*x18*x2^2*x20^2*x21^2*x22*x23^4*x25^5*x26^3*x27*
x28^2*x29^2*x3^2*x30^3*x4^9*x5^3*x6^5-298152*x10*x13^2*x14^3*x16^4*x17^2*x19^2*
x20^2*x22^2*x23^5*x25^5*x26^3*x27*x28^2*x29^5*x3^2*x30*x4*x5^2*x6^5*x7*x8^7+
81016*x1^3*x10^5*x12*x13^3*x14^2*x16*x17^4*x18^4*x19^3*x2*x23^6*x25^6*x26^3*x27
*x28^2*x29^2*x3*x5*x6^5*x7^2*x8-89640*x1^2*x11*x12^4*x13^2*x15*x16^4*x17*x19^5*
x2*x20^2*x21^2*x25^6*x26^3*x28^2*x3*x30^7*x4^2*x5^6*x7^2*x8*x9^2-266664*x1^2*
x13*x14^5*x16^2*x17^2*x2^2*x21^5*x23^6*x25^5*x26^3*x27^4*x28^3*x29^3*x3*x30^2*
x4*x5*x6^5*x7*x8^2*x9+787314*x1*x10*x11^4*x14^2*x16^7*x17^3*x18^2*x19^3*x20^6*
x21*x23^2*x25*x26^7*x27*x28^3*x29^2*x3^3*x4*x6^3*x7^2*x9^2-308580*x1*x10*x13*
x14^4*x15^2*x17^2*x18^5*x2^6*x20^2*x21^3*x24*x25*x26^4*x27*x28^3*x3^3*x30^3*x4^
4*x5*x6^5*x9^4-236368*x1*x11^5*x12*x14*x15^2*x16^8*x17^4*x19*x2*x20^6*x23^2*x24
*x26^3*x28^7*x29^2*x3^3*x30^2*x4*x6^3*x7*x9^2-60830*x1*x11^4*x13^3*x14*x16^7*
x17^3*x18*x19^5*x2*x20^6*x21*x25^4*x26^2*x27*x28^2*x29*x3^3*x30*x6^5*x7*x8^4-
52140*x10^3*x11^4*x12^4*x15*x16^7*x17^3*x18*x2*x20^6*x22*x24*x26^3*x27^2*x28^2*
x29^3*x3^2*x30*x4^2*x6^3*x7^6*x9-484033*x10^2*x11^6*x13^2*x14*x15^2*x16^8*x17^3
*x18*x19*x20^6*x24^3*x25^5*x26*x27*x28^2*x29^2*x3^3*x30^3*x4*x6^3*x8-149468*x10
^2*x11^4*x12*x14^6*x16^7*x17^5*x18^5*x2*x20^7*x22*x23*x24*x26*x27*x28*x29^3*x3^
2*x4*x6^5*x8*x9-79360*x10^2*x11^2*x13^6*x15^2*x16^2*x17^2*x19*x2*x21^5*x22*x23^
3*x25^2*x26^4*x28^2*x29^7*x3^4*x4*x5^2*x6^5*x7*x9^2-587444*x10*x11^4*x12*x13*
x14*x16^8*x17^4*x18*x20^7*x22*x23^3*x25^2*x26^2*x28^2*x29^4*x3^4*x30*x5^4*x6^3*
x8*x9^2-834240*x10*x11^4*x12*x14^3*x16^7*x17^3*x20^7*x21^2*x22*x23*x24*x25*x26^
3*x27^2*x28^4*x29^2*x3^3*x30*x5^4*x6^4*x7^2+316440*x10*x11^3*x13^2*x14^4*x15^2*
x16^3*x19^6*x2^2*x20*x21*x22^3*x25^6*x27*x28^2*x29*x3^3*x30^3*x4^2*x5^3*x7^6*x9
^2+302040*x11^6*x12^4*x14^2*x15*x16^2*x17*x19^5*x2^5*x20^3*x21*x22^2*x23*x25^5*
x26^3*x28^2*x3^2*x30*x4*x5^3*x7^5*x9^2-157320*x11^2*x13^4*x15*x16^2*x19^5*x2^3*
x20^5*x21^2*x22^2*x23*x24*x25^5*x26*x28^4*x3*x30*x4^2*x5^5*x7^2*x8^5*x9^3+
163440*x11^2*x13^2*x14^2*x15^2*x16^2*x18^3*x19^5*x2^2*x20^2*x21^2*x23^5*x24*x25
^6*x27*x28^2*x3^2*x30^6*x4^2*x5^4*x7^2*x9^2+111192*x11^2*x13*x14^3*x17^2*x18*
x19^3*x22^5*x23^4*x24^5*x25^7*x26^4*x27*x28^2*x29^3*x3*x30*x5^2*x6^7*x7*x8*x9-
239040*x11*x12^3*x14*x15*x16^3*x17*x19^6*x2^3*x20*x21^2*x24^3*x25^7*x27*x28^5*
x29^6*x3*x30*x4*x5^3*x7^5*x9^2+279128*x11*x12*x13*x14^3*x15^5*x16^2*x17^5*x20^2
*x21^3*x23^5*x24^3*x25^6*x26^4*x27*x28^3*x29^3*x3*x5*x6^5*x7*x9-221040*x11*x13^
3*x15*x16^4*x17*x19^6*x2*x20*x21*x23^10*x25^5*x26*x28^7*x29^2*x3*x30*x4*x5^2*x6
*x7^3*x9^4-180728*x11*x13*x14^2*x17^3*x19*x2*x22*x23^3*x24*x25^5*x26^4*x27*x28^
2*x29^6*x3*x30^4*x4^8*x5^2*x6^6*x7^2*x8^2-348612*x12*x13*x14^2*x15*x17^2*x18^4*
x2^3*x20^3*x21^4*x22^3*x24^2*x25^3*x26^2*x27^2*x28*x29*x3^2*x30^5*x4^5*x6^5*x9^
5-106887*x1^6*x10^3*x11^3*x12^3*x15*x16^7*x17^4*x19*x2*x20^6*x23*x26*x28*x29*x3
^6*x30*x4^3*x6^3*x7^2*x8*x9+44280*x1^6*x10^3*x11*x12^3*x15^2*x16^2*x17*x19^5*x2
^2*x20*x21*x23*x25^5*x28^2*x3^5*x30^2*x4^4*x5^2*x7^4*x8*x9^3+178920*x1^3*x11^3*
x14^2*x15*x16^2*x18^2*x19^4*x2^4*x20^2*x21^2*x24*x25^8*x28^2*x29*x3^2*x30^2*x4^
3*x5^5*x6^2*x7^2*x9^3+751685*x1^2*x10*x11^4*x15^3*x16^7*x17^3*x18*x19*x2^3*x20^
10*x22*x23*x25*x26*x28*x29^2*x3^3*x30*x6^3*x7*x8^6-292680*x1^2*x11*x14^3*x15*
x16^4*x19^4*x2^3*x20*x21^6*x23^3*x25^5*x27^3*x28^3*x29*x3*x30^3*x4^2*x5^2*x7^3*
x8^2*x9^3+44936*x1*x10^3*x11^2*x13^2*x14^2*x16*x17^2*x19^4*x2^2*x23^4*x24*x25^5
*x26^6*x27^4*x28^2*x29^3*x3*x30^2*x5*x6^6*x8^2-220416*x1*x10^3*x12^2*x13^4*x14^
2*x16*x17^2*x22*x23^3*x25^6*x26^5*x27^2*x28^4*x29^2*x3^2*x30^3*x4^3*x5*x6^6*x7^
2*x8-7200*x1*x11*x12^2*x13^3*x15^2*x16^3*x19^6*x2*x20^2*x21*x23^2*x25^10*x28^5*
x3^3*x30*x4*x5^5*x6*x7^3*x8*x9^2+342360*x1*x11*x15*x16^4*x19^9*x2^5*x20^2*x21^2
*x23*x25^5*x26^2*x27*x28^2*x29^2*x3^6*x30^2*x4*x5^2*x6^2*x7^3*x9^2-749952*x10^4
*x11^6*x13^3*x16^3*x18*x19^2*x2^3*x21^6*x22*x23^3*x24*x25*x28^8*x29*x3*x30*x4*
x5*x6^3*x8^4*x9^2+343232*x10^2*x11^2*x13^3*x15*x16^4*x17^3*x18*x19*x2*x20*x21^4
*x22*x23^4*x27^2*x28^5*x3*x30^4*x4^2*x5^3*x6^3*x9^8-294591*x11^5*x14*x16^7*x17^
3*x18*x19^3*x20^6*x22^5*x23*x24^5*x25^2*x26^2*x28*x29^2*x3^2*x30*x5*x6^5*x7*x8*
x9-101680*x11*x12*x13^5*x14^2*x15^2*x16^2*x17^2*x18^2*x19^3*x20*x21^2*x23^8*x25
^5*x26^3*x27*x28^2*x29^4*x3^2*x5*x6^5*x9^2-274208*x12*x13^2*x14^2*x17^3*x2*x20^
2*x21^4*x22^3*x23^3*x24*x25^7*x26^4*x27^2*x28^3*x29^3*x3*x30^4*x4*x5*x6^7*x9+
45720*x1^2*x10*x11^3*x14*x15^2*x16^2*x19^5*x2^5*x20^3*x21^3*x25^11*x27*x28^2*
x29*x3*x30*x4*x5^2*x7^4*x8^2*x9^2-71230*x1*x10*x11*x13*x17^2*x18^2*x19^2*x2^4*
x20^2*x21^5*x22^6*x23^3*x24^3*x25^4*x26^2*x27^4*x3^2*x30^2*x5^3*x6^2*x9^3-24225
*x1*x10*x12^3*x13^4*x14^3*x15^2*x16^4*x17^3*x18*x2*x20^2*x21^7*x22^7*x23^3*x25^
3*x26^3*x3*x5^2*x6*x7*x9^2-88638*x10^4*x11^3*x12*x14*x15*x16^8*x17^4*x19*x2*x20
^7*x23*x26*x27^2*x28*x29^2*x3^6*x30*x5^3*x6^3*x7^2*x8^2-15895*x10^3*x11*x12^2*
x13*x17^5*x18^2*x2^3*x21^5*x22^6*x23^2*x24^4*x25^4*x26^4*x27*x3*x30^2*x5*x6^3*
x7^2*x8*x9^2-5355*x10*x11^2*x13^5*x14*x16^3*x17^2*x18*x19*x2*x20^2*x21^5*x22^6*
x23^6*x25^3*x26^2*x27^6*x3*x4*x5*x7*x9^4-63495*x10*x12*x13^5*x14*x15^2*x16^2*
x17^2*x18^2*x19^5*x2^2*x20^3*x21^5*x22^6*x23^5*x25^3*x26*x29^4*x3*x5*x7*x9^2+
22780*x11^2*x13*x14*x15^2*x16^3*x17^7*x18^2*x19*x2*x20*x21^5*x22^9*x23^4*x24*
x25^4*x26^2*x3*x4*x5^3*x8^2*x9^2+38590*x11*x13^3*x14^2*x15*x17^2*x18^4*x19*x2^2
*x20*x21^6*x22^5*x23^7*x24*x25^4*x26*x27*x3^2*x30^5*x4*x5^3*x9^2-56440*x12^3*
x13*x14*x16*x17^3*x18*x19^2*x2^3*x21^6*x22^5*x23^2*x24^3*x25^5*x26*x27*x28^3*
x29^6*x3*x5^2*x7^3*x9^2+10455*x1^6*x10^3*x12^3*x13*x15*x17^3*x18*x19*x2^2*x21^5
*x22^5*x23^3*x25^3*x26*x3^5*x30*x4^3*x5*x7^2*x8*x9^3+56525*x1^5*x10*x11*x12^2*
x13^2*x15*x17^3*x18^2*x2^2*x20*x21^8*x22^8*x23^3*x25^3*x26^2*x27^2*x29^2*x3^2*
x5*x6*x9^2+42245*x1^3*x11^2*x13*x14^2*x17^2*x18^3*x2^4*x20*x21^6*x22^5*x23^2*
x24*x25^6*x26*x29*x3^2*x30*x4^2*x5^4*x6^2*x9^3+764720*x1^2*x11^4*x12^2*x15^2*
x16^8*x17^6*x19^2*x2*x20^7*x21*x24^2*x25*x26*x28^2*x29*x3^2*x30*x4^3*x5^2*x6^3*
x7+80835*x1*x13*x16^2*x17^2*x18*x19^5*x2^5*x20*x21^6*x22^5*x23^3*x25^3*x26^3*
x27*x29^2*x3^6*x30*x5*x6^2*x7*x9^2-457312*x10^2*x11^2*x12^2*x13^4*x14^2*x16^3*
x17^2*x19*x2^3*x21^4*x22*x23^3*x24^3*x26^2*x28^4*x3*x30*x4*x5^6*x6^6*x9+28815*
x11^2*x13*x14*x17^2*x18^2*x19^3*x2*x21^5*x22^10*x23^3*x24^5*x25^5*x26^2*x29*x3*
x30*x5^2*x6^2*x7*x8*x9^3+203760*x11*x12^4*x15^4*x16^4*x17^4*x19^5*x2^2*x20^2*
x21^2*x23*x24*x25^5*x26^2*x28^3*x3*x30^3*x4^2*x5^2*x7^3*x8*x9^2-46835*x11*x13*
x17^3*x18*x19*x2^2*x21^5*x22^6*x23^2*x24*x25^3*x26^2*x29^4*x3*x30^4*x4^8*x5^2*
x6*x7^2*x8^2*x9^2-32045*x10^4*x11*x13*x15*x16^3*x17^2*x18*x19*x2^2*x21^5*x22^5*
x23^4*x25^3*x26*x28*x29^2*x3^3*x5^3*x6^2*x8^4*x9^4-64260*x10^2*x11^4*x13*x16*
x17^2*x18^2*x19*x2^3*x21^7*x22^5*x23^2*x24*x25^4*x26*x28^6*x29*x3*x30*x5*x8^4*
x9^3-503151*x11^3*x13*x14*x15*x16^7*x17^4*x19^2*x20^9*x22*x23^4*x25*x26*x27*x28
^3*x29^2*x3^2*x30*x4*x5^3*x6^4*x7-71060*x12*x13^2*x17^3*x18*x2^2*x20^2*x21^9*
x22^8*x23^2*x24*x25^5*x26^2*x27*x28*x29*x3*x30^4*x4*x5*x6^2*x9^3-326688*x1*x10^
2*x12^2*x13^2*x14^4*x17^3*x19*x23^5*x25^5*x26^4*x27*x28^2*x29^4*x3*x30*x4*x5^3*
x6^7*x7*x8*x9+292248*x1^4*x12*x13*x14^5*x16^3*x17^2*x19*x20*x22^2*x23^3*x25^6*
x26^4*x27^2*x28^2*x29^3*x3*x30*x4^2*x5*x6^5*x7-108106*x1^2*x11^2*x12^6*x13*x15^
3*x16^3*x17^4*x18^4*x19*x2*x20*x21^3*x23*x24^4*x25*x26^3*x27*x28*x29^2*x3^4*x30
^2*x4*x5*x7^2*x8*x9^2+369024*x10^2*x11^2*x12*x13^3*x14*x15^2*x16^4*x17*x19^2*x2
^3*x20^2*x21^4*x22^3*x23^3*x24*x26^2*x27^2*x28^3*x29^2*x3*x30*x4*x5*x6^5*x7^2*
x9^3-210960*x10^2*x11*x13^4*x14^2*x15*x16^2*x17^2*x18*x19^5*x2*x20^2*x21*x22^3*
x24*x25^9*x27^2*x28^2*x29*x3*x30*x4*x5^2*x6*x7^4*x8^3*x9^2+243360*x10*x11^2*x12
*x13*x14*x15*x16^3*x17*x18*x19^4*x2*x20^2*x21*x22*x23^3*x25^7*x26*x28^3*x29^3*
x3^3*x30^2*x4*x5^6*x7^2*x8*x9^4-324696*x1*x10^6*x11^3*x12^2*x13^4*x14^2*x15*x17
*x18*x19^2*x2^2*x20*x21^2*x22^4*x23^3*x25*x26*x28*x29^2*x30*x4^4*x5^2*x6^3*x7*
x8^2*x9-358560*x1*x10^2*x11*x12^2*x13*x14^2*x15*x16^2*x17*x19^5*x2*x20*x21*x23^
2*x25^5*x26*x28^2*x29^2*x3*x30^2*x4^2*x5^4*x6^2*x7^3*x8*x9^3-125517*x1*x10*x11^
3*x13*x14^4*x15^3*x16^4*x17*x18^4*x19*x2^2*x20^3*x21*x22*x23^2*x24*x25*x26*x27^
4*x3^3*x30^2*x4^4*x5^3*x6^3*x7*x9^4+136594*x10^5*x11^3*x13^3*x14*x15^3*x16^2*
x17^3*x18*x19^3*x2^2*x20*x21^3*x22^5*x23^2*x24*x25^3*x26*x27*x28*x29*x3*x4^6*x6
^4*x7*x8*x9+281892*x10*x11*x12*x13*x14^3*x15*x16*x17^2*x18^5*x2^2*x20^2*x22*x23
^3*x24*x25^3*x26^2*x27*x28*x29^3*x3^4*x30^2*x4^4*x5^4*x6^3*x8*x9^6-19482*x1^2*
x10^4*x11^2*x12^3*x13*x14*x15*x16^2*x17*x18^4*x19*x2*x20*x21^2*x23*x24^3*x25*
x26*x27^3*x29^3*x3^8*x30*x5^4*x7^3*x8^2*x9^2-44885*x1^2*x10*x11^3*x12^3*x13*x16
*x17^2*x18^5*x19*x2^2*x20^2*x21^4*x24^6*x25*x26^2*x27^2*x28*x29^2*x3^4*x30*x4*
x5^2*x6^2*x7^4*x8*x9^2+16072*x1^2*x10*x11*x12*x13*x14^4*x15^2*x16*x17^6*x18*x21
^2*x22^2*x23^3*x24^2*x25^5*x26^3*x27*x28^2*x29^3*x3*x30*x4^2*x5*x6^7*x8*x9^2+
33252*x10^8*x11^3*x12*x13^3*x14*x15^2*x16*x17*x18*x19^2*x2^3*x20^2*x21^2*x22^4*
x23^2*x25*x27^2*x28*x29*x3^4*x30*x4^3*x5^3*x6*x7^2*x8^3+811360*x1^2*x10^4*x11^2
*x12^3*x13*x14*x15^2*x16^2*x17^3*x18^3*x19^2*x2^2*x20*x21^2*x22^3*x23*x24^2*x25
*x28^4*x29*x30^4*x4^3*x5^2*x6^4*x7*x8+17640*x1^2*x10*x11^2*x12*x14^2*x15^3*x16^
3*x17^4*x18*x19^4*x2*x20*x21^3*x22^2*x24^2*x25^5*x28^2*x29*x3*x30^2*x4^3*x5^2*
x6^2*x7^2*x8*x9^4+481284*x1*x10^7*x11*x12*x13*x14^5*x16*x17^2*x18^3*x19*x2^2*
x21*x22^4*x23*x24*x25*x26^2*x28^3*x29^4*x3*x30^3*x4^4*x5^4*x6^4*x7*x8-161044*x1
*x10^5*x11^3*x12*x13^3*x14*x15^3*x18^2*x19*x2^2*x20*x21^2*x22^8*x23^2*x24^5*x25
^2*x26^5*x27*x28*x29*x3*x30*x4^3*x6*x7^2*x8^2+772636*x1*x10^5*x11^2*x12*x13*x14
*x16*x18^4*x19^2*x2^4*x20^2*x21*x22^4*x23^2*x24^3*x25*x26*x27^4*x28^3*x29*x3*
x30^5*x5^2*x6^6*x8*x9-250784*x1*x10^4*x11^3*x12^2*x13*x14^2*x15^2*x16^2*x17*x18
^3*x19*x2^2*x21*x22^3*x23^3*x24*x26^2*x28^9*x29^2*x3*x30^5*x4*x6^4*x7*x8*x9^2+
220376*x10^5*x11^4*x12*x13^4*x14*x15*x16*x17*x18^2*x19*x2^2*x20^2*x21^2*x22^5*
x23^4*x25^3*x26*x28^2*x29^3*x3^2*x30*x4^3*x5^4*x6*x8^2*x9^2+312960*x10^5*x11^4*
x12*x13^3*x14^3*x15*x18*x19*x2^2*x20^2*x21^4*x22^5*x23^2*x24*x25^2*x26^2*x27^2*
x28^4*x29*x3*x30*x4^3*x5^4*x6^2*x7^2*x8-202446*x10^5*x11^3*x12^3*x13^7*x15*x16*
x17^2*x18*x19^2*x2^2*x20^4*x21^2*x22^4*x23^4*x24*x25*x26*x28*x29^2*x3^4*x30*x4^
3*x5*x6*x8*x9^2-112590*x1^2*x10*x11*x12*x13*x14^3*x15*x16^5*x17*x18^5*x19*x2^3*
x20^2*x21*x24*x25*x26^5*x27*x29*x3^2*x30^2*x4^4*x5^3*x6^3*x8^2*x9^6-71052*x1^2*
x11^2*x12^3*x13*x14*x15^2*x16^3*x17*x18^4*x19*x2^2*x20^2*x21^2*x22^2*x24^4*x25*
x26^3*x27^3*x28*x29^4*x3^4*x30*x5*x6^2*x7^3*x9^4-216138*x1^3*x10^4*x11^3*x12^2*
x13^3*x15^3*x18*x19*x2^3*x20*x21^2*x22^8*x23^2*x25*x26*x28^2*x29^2*x3^2*x4^4*x5
*x6^2*x8+611286*x1^3*x10^4*x11*x12^3*x13*x14*x15^2*x16*x18^3*x2^2*x21*x22^7*x23
^2*x26*x28^4*x29^3*x3^2*x30^3*x4*x5*x6^5*x8-416251*x1*x10^2*x11^3*x13*x14^4*x16
^7*x17^3*x2^3*x20^6*x21*x22^3*x23*x24^2*x25^2*x26*x28^2*x29*x3^2*x5*x6^4*x7*x9+
20995*x10^2*x12^3*x13*x15^2*x17^2*x18^2*x2^3*x21^5*x22^5*x23^2*x24*x25^4*x26^3*
x27*x28^4*x29*x3^2*x4^3*x5*x6*x8^2*x9^2-276471*x1^3*x12^2*x14^2*x15^3*x17*x18^4
*x2^3*x20*x22^4*x23*x24*x25*x26^2*x27*x28*x29^2*x3^4*x30*x4^5*x5*x6^4*x9^4+
865524*x1*x10^2*x11^3*x12^2*x13*x14^2*x16^7*x17^4*x19*x20^6*x23^2*x26^2*x28*x29
^3*x3^2*x30*x4*x5^2*x6^5*x7*x8*x9+320760*x1^4*x11*x12*x14^3*x15*x16^5*x19^5*x2*
x20^2*x21*x22^2*x25^6*x26*x27*x28^2*x29*x3*x30^2*x4^3*x5^2*x7^3*x9^2-238680*x1^
3*x11*x12^2*x15^3*x16^2*x19^4*x2^2*x20*x21*x22^4*x23*x25^5*x26*x28^3*x29^2*x3^3
*x30*x4^2*x5^3*x6*x7^2*x9^2-73525*x1^2*x10*x11*x13*x15^3*x17^2*x18^2*x19*x2^4*
x20^4*x21^5*x22^6*x23^3*x25^4*x26*x29*x3^2*x30*x5*x7*x8^6*x9^2-69105*x1^2*x13*
x14^3*x16^2*x17^2*x18*x2^3*x21^10*x22^5*x23^5*x25^3*x26*x27^3*x28*x29*x3*x30^2*
x4*x5*x7*x8^2*x9^3-1700*x1*x12^2*x13^4*x15*x16*x17^2*x18*x19^2*x2*x20*x21^5*x22
^5*x23^4*x25^8*x26*x28^3*x3^3*x5^4*x6*x7*x8*x9^2-517824*x10^3*x11^2*x12*x13^3*
x15*x16^2*x17^2*x18*x19^2*x2^3*x20*x21^6*x22*x23^4*x28^3*x29^2*x3^2*x4*x5^3*x6^
3*x8^3*x9^5+44455*x10*x11*x13*x14*x15*x17^3*x18^3*x2^5*x21^5*x22^5*x23^8*x25^3*
x26^2*x27*x28*x29*x3^5*x4*x5*x6*x7^2*x9^2-171216*x10*x12*x13*x14^2*x15*x17^4*
x18*x19*x2^2*x20*x21^2*x23^4*x25^5*x26^3*x27*x28^3*x29^4*x3^2*x5^3*x6^5*x8^3*x9
^4+72335*x11*x12*x13*x14*x15^5*x16^2*x17^5*x18*x2*x20^2*x21^8*x22^5*x23^4*x24^3
*x25^4*x26^2*x28*x29*x3*x5*x7*x9^3-170181*x1^6*x11^2*x12^3*x13*x14^3*x16^4*x18^
4*x19*x20*x21^2*x22^2*x24^3*x25^2*x26^2*x27^2*x29^3*x3^4*x30*x4^2*x5*x7^2*x9^2-
187920*x10*x11*x12*x15^2*x16^2*x17^2*x18*x19^5*x2^3*x20^2*x21^3*x23*x25^5*x28^3
*x29^2*x3^2*x30*x4*x5^4*x7^2*x8^3*x9^6-165960*x11*x12^2*x13*x14^2*x15*x16^3*x17
^2*x19^4*x2^3*x20*x21*x24^3*x25^5*x26^2*x28^4*x3*x30^2*x4*x5^7*x6^3*x7^2*x9^2+
371547*x1^4*x12*x14^5*x15*x16^3*x17*x18^4*x19*x2^2*x20^2*x22^2*x24*x25^2*x26^2*
x27^2*x29*x3^2*x30^2*x4^6*x6^3*x7*x9^4-22610*x1*x10^5*x11^4*x12^2*x13*x15^4*x16
*x17^2*x18*x2^2*x20^3*x21^6*x22^5*x23^4*x25^4*x26*x27^2*x3*x4*x5*x7^2*x9^2-
77010*x1*x10*x11*x13*x14^2*x17^2*x18^3*x19^3*x2*x21^6*x22^5*x23^4*x25^4*x26^7*
x27*x28^2*x29*x3^2*x4*x5*x7^2*x9^4+5950*x1*x11*x13^4*x14*x17^2*x18^2*x19^5*x2^2
*x21^6*x22^5*x23^2*x25^7*x26^2*x27*x28*x3^2*x30*x5*x6^2*x7*x8^4*x9^2-49810*x10^
2*x13^5*x14^2*x17^4*x18^2*x19*x2*x20*x21^5*x22^8*x23^2*x24*x25^7*x26*x27^2*x29*
x3*x5*x6*x7^2*x8^3*x9^2-204215*x10*x11^4*x12*x16^7*x17^5*x18*x19*x2^2*x20^8*x21
^2*x24^3*x26^2*x27*x28^2*x29*x3^2*x30*x4*x5*x6^5*x7^3*x8-48025*x10*x11^3*x13*
x14^5*x15^3*x16*x17^2*x18*x19*x2^2*x20*x21^7*x22^7*x23^2*x25^6*x26*x29^3*x3^2*
x4^2*x5*x6*x9^2+57460*x10*x11*x12*x13^2*x14*x16*x17^3*x18^2*x2*x20*x21^5*x22^6*
x23^5*x25^5*x26^2*x28*x29^3*x3^3*x30*x5^5*x8*x9^4-77265*x10*x13^2*x14*x16^4*x17
^2*x18*x19^2*x2*x20^2*x21^5*x22^7*x23^4*x25^3*x26*x29^3*x3^2*x30*x4*x5^2*x7*x8^
7*x9^2-17850*x10*x13*x14*x16*x17^2*x18*x19^2*x2^3*x21^5*x22^7*x23^6*x25^4*x26*
x27^2*x28^2*x29^5*x3^3*x30*x5*x6^2*x7*x9^3+142560*x11^3*x12*x14*x15^2*x16^3*x19
^7*x2^4*x20^2*x21*x23^2*x25^6*x26*x27*x28^2*x29*x3^5*x30*x4*x5^2*x6*x7^6*x9^2+
20145*x12^3*x13*x14*x16*x17^6*x18^2*x2*x20^3*x21^6*x22^5*x23^2*x24*x25^3*x26^2*
x27^5*x29*x3*x30^3*x5^2*x7*x8*x9^4+135904*x1*x10^5*x11^4*x13^4*x16^3*x19^5*x2^3
*x21^4*x22*x23^4*x24*x26^3*x27^3*x28^2*x29*x3*x30^2*x4*x5*x6^4*x8^2*x9-170172*
x10^5*x11^3*x12*x13^3*x15^2*x17^2*x18^2*x19^2*x2^4*x20^2*x21^4*x22^4*x23^2*x25*
x28^2*x29^2*x3*x4^3*x5^2*x6*x8^4*x9^4+33456*x10^4*x12*x13*x14^3*x15*x16*x17^3*
x19*x2*x20*x23^4*x25^5*x26^3*x27^3*x28^2*x29^3*x3^5*x30*x5^4*x6^5*x7^2*x8^2-
364111*x10*x11^3*x14*x15^2*x16^9*x17^6*x19^2*x20^6*x21*x22*x23*x24*x25^2*x26^2*
x27*x28*x29^2*x3^3*x4^3*x6^6*x7*x9+306360*x11^2*x12*x14*x15^6*x16^4*x17^3*x19^4
*x2*x20^3*x21^4*x23^2*x24^3*x25^6*x26*x28^3*x29*x3*x30*x4*x5^2*x7^3*x9^3-198360
*x11^2*x15*x16^2*x17*x19^5*x2^2*x20*x21*x22*x24*x25^5*x26*x28^2*x29^4*x3*x30^5*
x4^9*x5^3*x6*x7^4*x8^2*x9^2-153000*x11*x12^2*x13^2*x15^5*x16^2*x18^4*x19^7*x2*
x20^2*x21*x24^3*x25^6*x26*x27^3*x28^2*x3*x30^2*x4*x5^4*x6^2*x7^2*x9^2-17850*x1^
3*x10^5*x11*x13^2*x14*x15*x17^3*x18*x2^2*x21^5*x22^8*x23^3*x25^3*x26^3*x27^2*x3
*x30*x4*x5*x7^2*x8^3*x9^3-298440*x1^2*x11*x15^3*x16^3*x17^3*x19^6*x2*x20^2*x21^
3*x23*x24^2*x25^7*x26*x28^2*x3*x30*x4*x5^3*x6*x7^2*x8^7*x9^2+156154*x1*x10^6*
x11^3*x13^4*x14^4*x15*x18*x19*x2^5*x20*x21^3*x22^7*x23^2*x24^2*x25^3*x28^2*x4^3
*x5*x6^2*x7*x8*x9-441638*x1*x10^6*x11*x12*x13^2*x14^5*x16*x18^3*x2^4*x21^2*x22^
6*x23^2*x24^2*x25^2*x28^4*x29*x30^3*x5*x6^5*x7*x8*x9-22680*x10*x11^3*x13^4*x14*
x15*x16^5*x19^5*x2*x20^3*x21*x22*x23^4*x25^5*x26*x27^6*x28^2*x3*x30*x4^2*x5^2*
x7^3*x9^4-65160*x10*x11*x12*x13^3*x15*x16^2*x17*x18*x19^4*x2^3*x20^3*x21^3*x22*
x23*x25^5*x28^2*x3^2*x30^4*x4^10*x5^4*x7^2*x9^2-327240*x10*x11*x13*x14*x15*x16^
6*x19^6*x2*x20^3*x21*x22^2*x23^2*x25^5*x28^2*x29^3*x3^2*x30^2*x4^2*x5^3*x7^3*x8
^7*x9^2-75600*x10*x11*x14*x15*x16^3*x19^6*x2^3*x20*x21*x22^2*x23^4*x25^6*x27^2*
x28^4*x29^5*x3^3*x30^2*x4*x5^2*x6^2*x7^3*x9^3-174240*x10*x11*x15*x16^2*x17^5*
x18^3*x19^5*x2*x20*x21^4*x22*x25^5*x26^4*x28^3*x29^2*x3*x30*x4^3*x5^2*x6*x7^4*
x9^6+137432*x10*x13*x14^3*x15^2*x16^2*x17^5*x19^2*x21*x22*x23^4*x24*x25^7*x26^4
*x27^2*x28^2*x29^3*x3^2*x4^3*x5*x6^8*x7*x9+165132*x11^2*x12*x14^3*x15^2*x16*x17
*x18^4*x19^3*x2^5*x20^2*x23^2*x24*x25^2*x26^2*x27^2*x29*x3^6*x30*x4^4*x6^4*x7^4
*x9^4+41656*x1^2*x10*x11^2*x13*x14^3*x15*x17^2*x19*x2^4*x20^2*x21^2*x23^3*x25^
11*x26^3*x27^2*x28^2*x29^3*x3*x5*x6^5*x7^2*x8^2-311400*x1^2*x10*x11^2*x15^4*x16
^2*x18*x19^5*x2^4*x20^5*x21*x22*x23*x25^6*x28^2*x29*x3^2*x30^2*x4*x5^2*x7^3*x8^
6*x9^2+88051*x1^2*x11^2*x12^4*x13^2*x14^2*x16^2*x17^2*x18^4*x2^2*x21^2*x24^6*
x25*x26^3*x27*x28^2*x29^2*x3^4*x30*x5^6*x6^3*x7*x9^2+239760*x1^2*x11*x12^2*x13^
3*x14^2*x15^2*x16^3*x17^2*x19^10*x2^2*x20*x21*x23*x25^6*x28^4*x3^2*x30*x4*x5^2*
x7^2*x8^4*x9^2+261569*x1*x10*x11^6*x13*x14^2*x15^2*x16^11*x17^3*x19*x20^8*x21*
x22*x23^2*x26*x27^3*x28*x29*x3^3*x30*x5^3*x6^3*x7-108360*x1*x10*x11^4*x13*x14^2
*x15^3*x16^6*x19^5*x2*x20^3*x21^2*x22*x23^2*x25^5*x27^3*x28^2*x3^2*x30^2*x4*x5^
5*x7^3*x9^2+728222*x1*x10*x11^4*x16^7*x17^3*x18*x19^2*x2^3*x20^8*x22*x23*x24^3*
x25*x26^2*x27^4*x28*x29*x3^3*x30^2*x5^2*x6^5*x9+289440*x1*x11*x12^3*x14^5*x15^3
*x16^3*x18^3*x19^4*x2*x20*x21*x24*x25^5*x28^3*x29*x3^5*x30*x4^5*x5^2*x7^3*x8^2*
x9^3+80522*x10^6*x11^3*x12^3*x13^3*x15^3*x18^2*x19*x2^4*x20*x21^2*x22^4*x23*x24
*x25^2*x26^2*x27*x28^5*x29*x3*x4^6*x6^2*x8^3-319424*x10^5*x11^2*x13^4*x16^2*x17
^3*x19*x2*x20^2*x21^6*x22*x23^4*x25*x27*x28^4*x29*x3*x30^2*x4*x5^2*x6^5*x8^7*x9
+244440*x10^2*x11^3*x12^3*x14*x15*x16^5*x18*x19^4*x2^3*x20*x21*x25^7*x26*x28^2*
x29^6*x3*x30*x4^4*x5^2*x6^3*x7^2*x9^3-546592*x10^2*x11^3*x13^3*x16^2*x17*x19^2*
x2^2*x21^4*x22^2*x23^3*x24*x26*x28^2*x29^4*x3*x30^4*x4^9*x5^2*x6^4*x7^2*x8^2*x9
+164160*x10*x11^7*x13*x15*x16^2*x17*x19^4*x2*x20*x21^3*x25^5*x26^7*x27*x28^4*
x29*x3^5*x30^2*x4^2*x5^2*x6*x7^2*x9^3-763851*x10*x11^5*x13^2*x14^4*x15*x16^8*
x17^3*x19^2*x2*x20^6*x22^3*x25*x26*x27*x28*x29^2*x3^4*x30^2*x4*x5*x6^3*x7^4+
199001*x10*x11^4*x12*x13^4*x14*x15*x16^8*x17^3*x18^4*x19*x2^4*x20^7*x23*x25*x26
^3*x27*x28^2*x29*x3^3*x30^2*x6^3*x7+245024*x1^3*x10^7*x11^2*x12*x13^5*x16^3*x17
^2*x18^4*x19^4*x2^2*x21^4*x22*x23^6*x25*x28^2*x3*x4*x5*x6^3*x7^2*x8*x9+163016*
x1^3*x11^2*x13*x14^4*x17^2*x18^2*x2^3*x20*x21*x23^3*x24*x25^8*x26^3*x27*x28^2*
x29^3*x3^2*x30*x4^2*x5^4*x6^7*x9+660672*x1^2*x10^2*x11^2*x12^2*x13^6*x14^2*x15*
x16^3*x17^2*x19^7*x2^2*x21^4*x22*x23^4*x25*x28^4*x3^2*x4*x5*x6^3*x8^4*x9-806496
*x1^2*x10^2*x11^2*x13^3*x14^3*x16^4*x19*x2^3*x21^9*x22*x23^6*x27^3*x28^3*x29*x3
*x30^2*x4^2*x5*x6^3*x7*x8^2*x9^2-9720*x1^2*x10^2*x11*x13^2*x15*x16^2*x18^7*x19^
6*x2^2*x20*x21*x23^4*x25^5*x28^6*x3^3*x30*x4*x5^3*x6*x7^2*x8^2*x9^2+234630*x1^2
*x10*x11^4*x12*x13*x14*x16^12*x17^3*x18*x19*x2*x20^7*x21*x26^5*x28*x29^2*x3^2*
x30*x5^3*x6^3*x8^2*x9^2-42581*x1^2*x10*x11^4*x12*x14^2*x15^2*x16^8*x17^7*x18*
x20^6*x21^2*x22^2*x24^2*x26*x28*x29^2*x3^2*x30*x4^2*x6^5*x8*x9^2-286560*x1^2*
x10*x11*x12^2*x14^2*x15^2*x16^5*x19^4*x2*x20^7*x21^2*x22*x25^5*x27^2*x28^3*x29^
2*x3*x30*x4^2*x5^4*x7^5*x9^2-345693*x1^2*x14^2*x15^3*x16*x17^4*x18^4*x19^2*x2^2
*x20^2*x21^2*x23*x24^3*x25^3*x26^2*x27*x3^2*x30*x4^4*x5*x6^4*x8^7*x9^4-19840*x1
*x10^2*x11^2*x12^2*x13^6*x15*x16^3*x19^3*x2*x20*x21^4*x22*x23^5*x25^5*x28^5*x3^
3*x4*x5^4*x6^4*x7*x8*x9+943392*x1*x10^2*x11^2*x13^3*x16^4*x19^6*x2^5*x20*x21^5*
x22*x23^4*x26^2*x27*x28^2*x29^2*x3^6*x30*x4*x5*x6^5*x7*x9+288312*x10*x11^2*x13^
3*x14^6*x15*x16*x17^2*x19^2*x2*x22^3*x23^3*x25^6*x26^3*x27^2*x28^2*x29^3*x3^3*
x30^2*x4*x5^2*x6^5*x7^4+221728*x10*x11*x12*x13^2*x14^3*x16*x17^3*x18*x20*x22*
x23^6*x25^7*x26^4*x27*x28^3*x29^5*x3^3*x30*x5^5*x6^5*x8*x9^2-245016*x10*x12*x13
^5*x14^3*x15^2*x16^2*x17^2*x18*x19^5*x2*x20^3*x22*x23^6*x25^5*x26^3*x27*x28^2*
x29^6*x3*x5*x6^5*x7+87904*x11^2*x13*x14^3*x15^2*x16^3*x17^7*x18*x19*x20*x22^4*
x23^5*x24*x25^6*x26^4*x27*x28^2*x29^2*x3*x4*x5^3*x6^5*x8^2-143336*x11*x13^5*x14
^2*x17^2*x19*x2^2*x20^4*x21*x22^2*x23^4*x24*x25^5*x26^4*x27*x28^4*x29^2*x3*x4*
x5^4*x6^5*x8^5*x9+148912*x11*x13^3*x14^4*x15*x17^2*x18^3*x19*x2*x20*x21*x23^8*
x24*x25^6*x26^3*x27^2*x28^2*x29^2*x3^2*x30^5*x4*x5^3*x6^5-229767*x11*x14^2*x15*
x17^2*x18^4*x19*x2^3*x20*x22*x24^2*x25*x26^2*x27*x29^4*x3^2*x30^5*x4^12*x5*x6^4
*x7^2*x8^2*x9^4+77736*x12^3*x13*x14^3*x16*x17^6*x18*x20^3*x21*x23^3*x24*x25^5*
x26^4*x27^6*x28^2*x29^3*x3*x30^3*x5^2*x6^5*x7*x8*x9^2+155124*x12*x14^3*x15^3*
x16^2*x17^2*x18^4*x19*x2^4*x20^3*x22^2*x24^2*x25*x26^3*x27^3*x28*x29^2*x3^2*x30
^2*x4^4*x6^5*x7^2*x9^6+122016*x1^6*x10^5*x11^2*x12^3*x13^3*x15*x16^2*x17*x19^2*
x2^2*x21^4*x22*x23^4*x28^2*x3^5*x30*x4^4*x5*x6^3*x7^2*x8*x9^2+218120*x1^5*x10*
x11*x12^2*x13^2*x14^2*x15*x17^3*x18*x2*x20*x21^3*x22^3*x23^4*x25^5*x26^4*x27^3*
x28^2*x29^4*x3^2*x5*x6^6+396567*x1*x14^2*x15*x16^2*x17*x18^4*x19^5*x2^6*x20^2*
x21*x23*x24*x25*x26^3*x27^2*x29^2*x3^7*x30^2*x4^4*x6^5*x7*x9^4+112796*x10^4*x11
^3*x13^3*x15^2*x16^2*x17^3*x18^2*x19*x2^2*x20^2*x21^2*x22^4*x23^2*x25*x27^2*x28
^4*x30^4*x4^4*x5^2*x6*x8*x9^7+164672*x10^4*x11^2*x12*x13^3*x16^2*x17*x18^2*x19*
x2^2*x21^5*x22*x23^6*x24^3*x25^5*x26^2*x28^4*x3^2*x30^3*x4*x5*x6^4*x9^3+871968*
x10^3*x11^4*x13^5*x14^4*x15*x16^3*x19^3*x2^2*x21^4*x22^4*x23^3*x25*x27*x28^2*
x29*x3^3*x30^2*x4^2*x5^2*x6^3*x7^4*x9-616032*x10^3*x11^2*x12^3*x13^7*x16^3*x17^
2*x19^2*x2*x20^3*x21^4*x22*x23^6*x24*x26*x28^2*x29^2*x3^5*x30*x4*x5^2*x6^3*x9^3
-741024*x10^3*x11^2*x12*x13^7*x14*x15^2*x16^4*x18*x19^6*x2^2*x20^3*x21^4*x22^2*
x23^6*x28^2*x29^4*x3*x4*x5*x6^3*x7*x9-61336*x10^3*x11*x12^2*x13*x14^2*x17^5*x18
*x2^2*x22*x23^3*x24^4*x25^6*x26^6*x27^2*x28^2*x29^2*x3*x30^2*x5*x6^8*x7^2*x8+
256928*x10^2*x11^3*x13^3*x14^7*x15^5*x16^3*x17*x19^2*x2^3*x20*x21^4*x22*x23^3*
x24^5*x26*x27*x28^2*x3^3*x4*x5*x6^3*x9^3+182696*x10^2*x11^3*x13^3*x14^3*x15^2*
x16*x17^2*x18*x19*x23^3*x24^3*x25^10*x26^3*x27^2*x28^3*x29^3*x3^2*x30^3*x4*x5*
x6^5*x8-185320*x10*x11^3*x13*x14^7*x15^3*x16*x17^2*x19*x2*x20*x21^2*x22^2*x23^3
*x25^8*x26^3*x27*x28^2*x29^5*x3^2*x4^2*x5*x6^6+85280*x10*x11^3*x13*x14^3*x16*
x17^5*x18^2*x19^4*x21*x22^2*x23^3*x24^3*x25^5*x26^4*x27*x28^2*x29^5*x3^4*x4*x5*
x6^5*x9+242392*x1^3*x10*x13^2*x14^3*x15^3*x16*x17^2*x2^4*x20^2*x22*x23^4*x25^6*
x26^3*x27^2*x28^2*x29^4*x3^2*x30*x5^2*x6^8*x7*x9-270254*x1^2*x10^4*x11^3*x13^3*
x15^3*x16*x17^3*x18*x19^3*x2^2*x20^2*x21^4*x22^4*x23^2*x24^2*x25^3*x26*x28*x4^3
*x5*x6^2*x8^8+144396*x1^2*x10^2*x11^6*x12^2*x13*x16^2*x18^5*x19*x2^2*x21^4*x24^
4*x25^2*x26*x27*x28^6*x29^3*x3^4*x30*x5*x7*x8^4*x9^3-261088*x1^2*x10*x12^2*x13*
x14^4*x15*x16^3*x17^2*x20^6*x21*x22*x23^3*x25^5*x26^3*x27^3*x28^3*x29^4*x3*x4*
x5^3*x6^5*x7^3-263872*x1*x10^7*x11^6*x12^2*x13^3*x15^4*x16^3*x19*x2^2*x20^3*x21
^5*x22*x23^5*x25*x27^2*x28^2*x3*x4^2*x5*x6^3*x7^2*x9-298592*x1*x10^3*x11^5*x13^
4*x14^2*x15^2*x16^6*x19^2*x2*x20^2*x21^5*x22^2*x23^5*x27^3*x28^2*x3^2*x30*x4*x5
^4*x6^3*x7*x9+646784*x1*x10^3*x11^3*x12^4*x13^3*x16^3*x18*x19^2*x2^6*x20*x21^5*
x22^2*x23^3*x24*x27*x28^4*x3*x30^3*x4*x5*x6^8*x9-162032*x1*x10*x12*x13*x14^3*
x15^2*x17^2*x18*x22^4*x23^4*x24^5*x25^6*x26^8*x27^2*x28^2*x29^3*x3^2*x30*x5*x6^
5*x7^2*x8+98072*x1*x10*x13^2*x14^3*x15^2*x16^3*x17^2*x18*x21^2*x22*x23^7*x24*
x25^7*x26^3*x27^2*x28^2*x29^2*x3^3*x5*x6^5*x8*x9^6-189584*x1*x11^2*x13*x14^5*
x16^2*x17^4*x19*x20^2*x21*x22^2*x23^3*x25^5*x26^3*x27*x28^7*x29^2*x3*x30^3*x4^2
*x5*x6^6*x7^3+263712*x1*x12^3*x13*x14^7*x15^2*x16*x17^2*x18^3*x23^3*x24*x25^5*
x26^3*x27*x28^3*x29^3*x3^5*x4^4*x5*x6^5*x7*x8^2*x9+71724*x10^2*x11*x12*x14^8*
x15*x17^3*x18^9*x2^3*x20^2*x22*x23*x24^2*x25*x26*x27^2*x29^2*x3^2*x30*x4^5*x6^5
*x8*x9^5-244362*x10^2*x13^4*x14^4*x15*x17^3*x18^5*x19*x2^2*x20^2*x22^3*x24^2*
x25^5*x26*x27^3*x29*x3^2*x30*x4^4*x6^4*x7^2*x8^3*x9^4-235605*x10*x11^3*x14^7*
x15^4*x16*x17*x18^4*x19*x2^3*x20^2*x21^2*x22^2*x24*x25^4*x26*x27*x29^3*x3^3*x30
*x4^6*x6^4*x9^4+108420*x10*x11^3*x14^3*x15*x16*x17^4*x18^6*x19^4*x2^2*x20*x21*
x22^2*x24^4*x25*x26^2*x27*x29^3*x3^5*x30*x4^5*x6^3*x9^5-75477*x10*x12*x13^3*x14
^2*x15*x17^2*x18^5*x2^4*x20^3*x21^2*x22*x23*x24*x25*x26*x27*x3^3*x30^4*x4^13*x5
^2*x6^3*x9^4-201828*x10*x14^2*x15*x17^6*x18^7*x19*x2^2*x20*x21^3*x22*x24*x25*
x26^5*x27*x28*x29^2*x3^2*x30*x4^6*x6^4*x7^2*x9^8+349863*x11^5*x12^4*x14^4*x15*
x17^2*x18^4*x19*x2^6*x20^3*x22^2*x23*x24*x25*x26^4*x27*x3^3*x30*x4^4*x5*x6^3*x7
^3*x9^4+111756*x11^2*x14^3*x15^3*x16^3*x17^6*x18^5*x19*x2^2*x20^2*x22^4*x23^2*
x24^2*x25^2*x26^2*x27*x3^2*x30*x4^5*x5^2*x6^3*x8^2*x9^4+98829*x12^3*x14^3*x15*
x16*x17^5*x18^5*x2^2*x20^4*x21*x24^2*x25*x26^2*x27^6*x29*x3^2*x30^4*x4^4*x5*x6^
3*x7*x8*x9^6-256038*x13^3*x14^2*x15*x16^2*x17^2*x18^4*x19^2*x2^2*x20*x23^10*x24
*x25*x26^2*x27*x28^5*x29^2*x3^2*x30*x4^4*x6^4*x7*x9^6+51291*x1^6*x10^3*x12^3*
x14^2*x15^2*x17^2*x18^4*x19*x2^3*x20*x23*x24*x25*x26*x27*x3^6*x30^2*x4^7*x6^3*
x7^2*x8*x9^5-181641*x1^3*x11^2*x12^2*x13*x16^3*x18^4*x19^5*x2^4*x20*x21^3*x23*
x24^3*x25*x26^3*x27^2*x29^4*x3^9*x30*x5*x6^2*x7^2*x9^2+217116*x1^2*x10^4*x11^3*
x12^2*x13^6*x14^2*x15^2*x16*x17^2*x18*x19^7*x2^3*x20*x21^2*x22^4*x23^2*x25^2*
x28^3*x3*x4^3*x6*x8^5-614052*x1^2*x10^4*x11*x12^3*x13^4*x14^3*x15*x16^2*x17^2*
x18^3*x19^6*x2^2*x21*x22^3*x23^2*x25*x28^5*x29*x3*x30^3*x6^4*x8^5-366126*x1^2*
x10*x13*x14^4*x15*x17^2*x18^4*x19*x2^3*x20^4*x24^3*x25*x26*x27^3*x3^2*x30^2*x4^
7*x5^2*x6^3*x7^2*x8^4*x9^6-162541*x1^2*x11^3*x12^3*x13*x14*x15^5*x16^3*x17^3*
x18^4*x20^2*x21^5*x23^2*x24^6*x25^2*x26^2*x27*x28*x29^3*x3^4*x5*x7^2*x9^3-6520*
x1*x10^4*x11^3*x12^2*x13^6*x15^2*x16*x18*x19^3*x2^2*x20^2*x21^2*x22^4*x23^3*x25
^6*x28^4*x3^2*x4^3*x5^3*x6^2*x7*x8^2-217674*x1*x10^3*x14^6*x15*x17^3*x18^4*x19*
x2^3*x20*x22*x24^2*x25^2*x26^3*x27*x29^3*x3^3*x30*x4^8*x5^4*x6^3*x7*x9^4-349446
*x1*x10*x11*x14^2*x15*x17*x18^5*x19^2*x2^5*x20^3*x22*x23*x24^4*x25^2*x26^2*x27^
5*x3^3*x30^3*x4^4*x5^2*x6^5*x9^5+335268*x1*x12^3*x14^7*x15^3*x16*x17*x18^7*x2^2
*x20*x24^2*x25*x26*x27*x28*x29*x3^6*x30*x4^8*x6^3*x7*x8^2*x9^5-138550*x10^4*x11
^3*x12^2*x13^5*x15^5*x18^5*x19^4*x2^2*x20^2*x21^2*x22^4*x23*x24^3*x25^2*x26*x27
^3*x28*x30*x4^3*x5^2*x6^3*x8+25020*x10^3*x11*x12^4*x14^2*x15^2*x17*x18^5*x2^3*
x20*x22*x24^2*x25*x26^3*x27^3*x28*x29^2*x3^2*x30^2*x4^6*x6^3*x7^6*x9^5-20538*
x10^5*x11^5*x13^7*x14*x15*x16^3*x18*x19^2*x2^2*x20^3*x21^2*x22^5*x23^5*x25*x26*
x27^6*x28*x4^4*x6*x7*x8*x9^2+520930*x10^5*x11^4*x12*x13*x14^6*x15^3*x16^2*x18^3
*x19*x2^2*x20*x21^3*x22^5*x23*x25^3*x28^3*x29^4*x3*x30^3*x4^2*x6^5*x8+838098*
x10^5*x11*x12*x13^2*x14^2*x16^5*x18^3*x19^2*x2*x20^2*x21*x22^5*x23^3*x28^3*x29^
4*x3*x30^4*x4*x5*x6^4*x7*x8^8+193620*x10^5*x11*x12*x13*x14^2*x16^2*x18^3*x19^2*
x2^3*x21*x22^5*x23^5*x25*x27^2*x28^5*x29^6*x3^2*x30^4*x6^6*x7*x8*x9+446248*x10^
5*x11*x12*x13*x14*x16*x17^5*x18^6*x19*x2*x21^4*x22^4*x23*x26^4*x28^4*x29^3*x30^
3*x4^2*x6^5*x7^2*x8*x9^4+87368*x10^4*x11^5*x13^3*x14*x15^3*x16^3*x17^5*x18^2*
x19^2*x2^2*x20^2*x21^2*x22^8*x23^3*x24*x25^2*x26*x28*x4^4*x5^2*x6*x8^3+148004*
x10^4*x11^4*x13^5*x14^2*x15^2*x18^4*x19^2*x2^3*x20^2*x21^3*x22^4*x23^6*x24*x25^
2*x27*x28*x3*x30^5*x4^4*x5^2*x6*x8+291118*x10^4*x11^3*x13^8*x15^2*x16*x18^3*x19
*x2^2*x20*x21^3*x22^4*x23*x24*x25^4*x26^2*x28^2*x30*x4^4*x5^2*x6^6*x8*x9^4-
200164*x10^4*x11^3*x13^6*x15*x16^2*x17*x18*x19^3*x2^2*x20*x21^2*x22^4*x23^11*
x25*x26*x28^6*x29^2*x4^3*x6^2*x7*x8*x9^2-47177*x1^5*x10^5*x11^2*x12^3*x13^3*x16
^2*x17^2*x18^8*x19^3*x2*x21^2*x23^3*x24^3*x25^2*x26*x27*x29^2*x3^4*x5*x7^3*x8*
x9^2-94927*x1^5*x11^4*x12^2*x13*x14^2*x16*x18^6*x2^3*x20*x21^3*x24^4*x25^4*x26*
x27*x29^3*x3^5*x30*x4^2*x5^4*x6^2*x7*x9^3+226570*x1*x10^10*x11^4*x13^3*x15*x18^
4*x19*x2^2*x20*x21^4*x22^4*x23^2*x25^2*x27^2*x28*x3^3*x30^3*x4^8*x6*x7*x8*x9+
212552*x1*x10^5*x11^4*x12^4*x13^3*x15*x16*x18^2*x19^2*x2^7*x20^2*x21^3*x22^5*
x23*x24*x25*x27*x28^3*x30^3*x4^3*x6^6*x8+162674*x1*x10^5*x11^3*x13^4*x15^4*x16*
x17^3*x18*x19^3*x2^2*x20^3*x21^7*x22^4*x23*x24*x25*x27*x28^2*x29^2*x4^3*x6^3*x8
^5-188428*x1*x10^4*x11^5*x13^3*x14^3*x15*x16^2*x17^2*x18*x19^2*x2^2*x20^3*x21^3
*x22^6*x23*x25*x28^6*x30^3*x4^5*x6^2*x7^3*x8+532916*x1*x10^4*x11^3*x12*x13*x14^
4*x16^3*x17^2*x18^3*x19*x2*x20^2*x21^2*x22^5*x23*x28^8*x29*x30^6*x4^2*x6^5*x7^3
*x8+172414*x10^7*x11^2*x12^3*x13*x14*x16*x17^3*x18^4*x2^3*x21*x22^4*x23*x24^4*
x25*x26^3*x27*x28^3*x29*x30^5*x6^7*x7^2*x8^2+221354*x10^6*x11^5*x12^3*x13^3*x14
*x15*x16^3*x18^2*x19*x2^4*x20*x21^2*x22^4*x23*x25^3*x26*x28*x29^6*x4^6*x6^4*x8*
x9-191036*x10^6*x11^3*x13^7*x14^2*x15*x17^2*x18^2*x19^2*x2^2*x20^2*x21^2*x22^7*
x23*x24*x25^5*x27^2*x28*x29*x4^3*x6^2*x7^2*x8^4-158584*x10^6*x11^2*x12^2*x13*
x14^7*x16*x17^2*x18^8*x2^2*x20*x21*x22^4*x23^2*x24*x27*x28^3*x29^3*x30^3*x4*x6^
6*x8^2*x9-153052*x10^6*x11*x12^2*x13*x14*x16*x17*x18^5*x2^2*x21^2*x22^3*x23^4*
x24^3*x25^5*x26^2*x28^5*x29*x3*x30^6*x6^5*x8*x9^2-420432*x10^5*x11^7*x12*x13^2*
x14*x16*x17*x18^3*x2*x21^3*x22^3*x23*x26^7*x27*x28^5*x29^2*x3^4*x30^4*x4*x6^5*
x8*x9-57120*x1*x10^3*x12^2*x13^4*x16*x17^2*x18*x2*x21^5*x22^6*x23^2*x25^4*x26^3
*x27*x28^2*x3^2*x30^3*x4^3*x5*x6*x7^2*x8*x9^2-68085*x10*x11^3*x13*x14^2*x15*x16
^2*x17^2*x18^3*x19*x2^2*x21^7*x22^6*x23^2*x24*x25^4*x26^4*x27^2*x3*x30*x5*x7^3*
x8*x9^2+33660*x11^2*x12*x13*x14*x15*x16*x17^2*x18*x19^3*x2^4*x20*x21^5*x22^5*
x23^4*x25^4*x26^2*x27*x29*x3^5*x5*x6*x7^4*x9^2+208440*x11*x13*x14*x15^2*x16^2*
x17*x19^6*x2*x20^4*x21*x22*x23^4*x25^6*x27*x28^4*x29*x3*x30^2*x4^2*x5^5*x6*x7^3
*x9^2+126633*x1^5*x11^2*x12^4*x13*x15^2*x16*x18^4*x2*x21^2*x22^4*x23*x24^3*x25*
x26^2*x27*x28*x29^4*x3^6*x4*x5^2*x6*x7*x9^2+172440*x1*x10^2*x11*x13*x14^4*x15*
x16^2*x19^4*x2^4*x20*x21^2*x22^3*x23*x24^2*x25^7*x28^3*x3*x30*x4*x5^3*x6*x7^3*
x9^3+48110*x12^4*x13*x15^3*x16^2*x17^6*x18*x19*x2^2*x20*x21^6*x22^5*x23^3*x24*
x25^3*x26^3*x28*x3*x30^2*x4*x5*x7*x8*x9^2+49215*x13^2*x14*x15*x17^3*x18*x19^2*
x2*x20^3*x21^5*x22^6*x23^6*x25^4*x26*x27*x28^2*x29*x3*x30*x4*x5^4*x6*x7*x9^2-
84660*x1*x10^2*x12^2*x13^2*x14^2*x17^3*x18*x19*x2*x21^5*x22^5*x23^4*x25^3*x26^2
*x29^2*x3*x30*x4*x5^3*x6^2*x7*x8*x9^3+75735*x1^4*x12*x13*x14^3*x16^3*x17^2*x18*
x19*x2*x20*x21^5*x22^7*x23^2*x25^4*x26^2*x27*x29*x3*x30*x4^2*x5*x7*x9^2+36720*
x10^4*x11*x12*x14*x15^2*x16^3*x17*x19^5*x2^2*x20^2*x21*x23*x25^5*x27^2*x28^2*
x29*x3^5*x30^2*x4*x5^5*x7^4*x8^2*x9^2+5100*x10^3*x11*x12^4*x13*x15*x17^2*x18^2*
x2^2*x21^5*x22^6*x23^2*x24*x25^3*x26^3*x27^2*x28*x29^2*x3*x30*x4^2*x5*x7^6*x9^3
+14620*x10^2*x11*x12*x13*x14^6*x17^4*x18^6*x2^2*x20*x21^5*x22^6*x23^3*x24*x25^3
*x26*x27*x29^2*x3*x4*x5*x6^2*x8*x9^3+696069*x10*x11^6*x14^2*x15*x16^9*x17^3*x18
^2*x19*x2*x20^6*x21^2*x22*x24*x25*x26^4*x27^2*x28*x29*x3^2*x30*x6^3*x7^3*x8-
288360*x10*x11^4*x14^2*x15^2*x16^4*x18^2*x19^5*x2^2*x20*x21^3*x22*x24*x25^6*x26
^3*x27^2*x28^2*x3*x30^2*x4*x5^2*x7^5*x8*x9^2+74715*x10*x11^2*x13^3*x14^4*x15*
x16*x17^2*x18*x19^2*x2^2*x21^5*x22^8*x23^2*x25^4*x26*x27*x29*x3^3*x30^2*x4*x5^2
*x7^4*x9^2+241443*x13*x14^3*x15^2*x17^2*x18^4*x19^2*x2^2*x20^4*x22*x23^4*x24*
x25^2*x26*x27^2*x28^2*x29*x3^2*x30^2*x4^5*x5^3*x6^4*x7*x9^4+35615*x10*x13*x14*
x15^2*x16^2*x17^5*x18*x19^2*x2*x21^6*x22^6*x23^3*x24*x25^5*x26^2*x27*x29*x3^2*
x4^3*x5*x6^3*x7*x9^3+10795*x1^2*x10*x11^2*x13*x14*x15*x17^2*x18*x19*x2^5*x20^2*
x21^7*x22^5*x23^2*x25^9*x26*x27*x29*x3*x5*x7^2*x8^2*x9^2+11645*x1*x10^3*x11^2*
x13^2*x16*x17^2*x18*x19^4*x2^3*x21^5*x22^5*x23^3*x24*x25^3*x26^4*x27^3*x29*x3*
x30^2*x5*x6*x8^2*x9^2-10625*x1^4*x12^2*x13^5*x16*x17^3*x18*x19*x2*x20^2*x21^6*
x22^6*x23^2*x25^3*x26*x29^2*x3*x30*x4*x5*x6^5*x7*x8^2*x9^3-91489*x1^3*x10^2*x11
^2*x12^2*x13^2*x14^4*x16*x18^4*x2^3*x21^3*x22^3*x23*x24^5*x25^3*x26*x27*x28*x29
^2*x3^4*x5^2*x6*x7^2*x9^3+62815*x1^3*x10*x13^2*x14*x15^3*x16*x17^2*x18*x2^5*x20
^2*x21^5*x22^6*x23^3*x25^4*x26*x27*x29^2*x3^2*x30*x5^2*x6^3*x7*x9^3-22950*x1^2*
x10*x11*x12*x13^2*x14*x16^5*x17^2*x18^2*x19*x2^2*x20*x21^6*x22^5*x23^2*x25^3*
x26^5*x29*x3*x30*x5^4*x8^2*x9^4-74630*x1^2*x10*x13^2*x14^2*x17^3*x18*x19*x2^2*
x20^3*x21^5*x22^5*x23^2*x24^2*x25^3*x26*x27^2*x3*x30*x4^3*x5^3*x7^2*x8^4*x9^4-
25585*x1*x10*x11^3*x13^2*x14^2*x15^2*x16^4*x17^2*x18*x19*x2*x20^2*x21^6*x22^6*
x23^4*x25^3*x26*x27^3*x3^2*x30*x5^4*x7*x9^2-266400*x1*x10*x11*x13*x14^2*x15^2*
x16^2*x17*x18*x19^4*x2^5*x20^2*x21^4*x25^5*x26^3*x28^5*x3^2*x30^3*x4*x5^3*x6^2*
x7^2*x9^2-41990*x1*x10*x12*x13*x14*x15^2*x17^2*x18^2*x2*x21^5*x22^9*x23^3*x24^5
*x25^4*x26^6*x27*x29*x3^2*x30*x5*x7^2*x8*x9^2-49130*x1*x11^2*x13*x14^3*x16^2*
x17^4*x18*x19*x2*x20^2*x21^6*x22^7*x23^2*x25^3*x26*x28^5*x3*x30^3*x4^2*x5*x6*x7
^3*x9^2+68340*x1*x12^3*x13*x14^5*x15^2*x16*x17^2*x18^4*x2*x21^5*x22^5*x23^2*x24
*x25^3*x26*x28*x29*x3^5*x4^4*x5*x7*x8^2*x9^3+122016*x12*x13*x14^3*x15^2*x16^2*
x17^3*x19*x2^2*x20^2*x22^2*x23^3*x24*x25^5*x26^5*x27^3*x28^3*x29^4*x3*x30*x5*x6
^7*x7^2*x9^2+88920*x1^3*x10^5*x11*x12*x13^2*x15*x16^3*x17^2*x18^4*x19^7*x2^2*
x20*x21*x23^3*x25^6*x28^2*x3*x30*x4*x5^2*x7^4*x8*x9^2-822368*x1^2*x10^2*x11^2*
x13^3*x15^2*x16^3*x17^3*x19^3*x2*x20*x21^6*x22*x23^4*x24^2*x25^2*x26*x28^2*x3*
x4*x5^2*x6^4*x8^7*x9-666624*x1*x10^5*x11^2*x12^2*x13^6*x16^3*x19*x2*x21^4*x22^2
*x23^3*x25*x26^2*x27*x28^4*x3^2*x30^3*x4^4*x5*x6^4*x7^2*x8*x9-734080*x1*x10^3*
x11^2*x13^4*x14^2*x15*x16^2*x17*x18*x19*x2^5*x20*x21^7*x22*x23^3*x26^3*x28^5*x3
^2*x30^2*x4*x5^2*x6^5*x9+481284*x10^5*x11*x12^2*x13*x14*x15*x16*x17^2*x18^4*x19
*x2^3*x20*x21^3*x22^3*x23^2*x28^4*x29^3*x3*x30^3*x5^2*x6^4*x8^4*x9^4+188754*x10
^4*x11^3*x13^4*x14*x15^2*x17*x18*x19^3*x2^2*x20^4*x21^2*x22^5*x23^5*x25^2*x27*
x28^3*x29*x30*x4^4*x5^3*x6^2*x7*x8-115920*x10^3*x11*x13*x15*x16^2*x17^3*x19^4*
x2*x20^3*x21^3*x23*x25^6*x27*x28^4*x29*x3*x30^3*x4*x5^3*x6^2*x7^2*x8^7*x9^2-
247968*x10^2*x11^4*x13*x14^2*x16*x17^2*x18*x19*x2^2*x21^2*x23^3*x24*x25^6*x26^3
*x27*x28^8*x29^3*x3*x30*x5*x6^5*x8^4*x9+236022*x12^4*x14^2*x15^4*x16^2*x17^5*
x18^4*x19*x2^3*x20^2*x21*x23*x24^2*x25*x26^3*x27*x28*x3^2*x30^3*x4^5*x6^3*x7*x8
*x9^4+59760*x10^2*x11*x12*x15*x16^2*x17*x18^2*x19^4*x2^2*x20*x21^2*x23^3*x24^3*
x25^10*x26^2*x28^4*x3^2*x30^4*x4*x5^2*x6*x7^2*x9^4+93600*x10*x11^4*x14*x15*x16^
3*x17^3*x18^2*x19^8*x2*x20*x21^2*x22^2*x24^3*x25^5*x26*x28^2*x29^3*x3^4*x30*x4^
2*x5^2*x7^2*x9^3-334017*x10*x11^3*x14^4*x15^2*x16^2*x17*x18^6*x19*x2^3*x20*x21^
2*x22*x24^2*x25^2*x26^4*x27^3*x3^2*x30^2*x4^4*x6^3*x7^3*x8*x9^4-82440*x10*x11^2
*x12*x13^4*x14*x15^2*x16^3*x18^4*x19^5*x2^5*x20^2*x21*x23*x25^6*x26^2*x27*x28^3
*x3^2*x30^3*x4*x5^2*x7^3*x9^2-223560*x10*x11*x12^3*x13^4*x15*x16^3*x17^2*x19^5*
x2*x20^4*x21*x23^3*x24*x25^5*x26*x28^2*x29^2*x3^5*x30^2*x4*x5^3*x7^2*x9^4-
268920*x10*x11*x12*x13^4*x14*x15^3*x16^4*x18*x19^9*x2^2*x20^4*x21*x22*x23^3*x25
^5*x28^2*x29^4*x3*x30*x4*x5^2*x7^3*x9^2-394526*x11^4*x13^2*x14^2*x15*x16^7*x17^
3*x18^3*x19*x2*x20^7*x21*x23^5*x24*x25*x26*x27*x28*x29*x3^3*x30^5*x4*x5^2*x6^3+
96480*x11^3*x14*x15^3*x16^5*x17^5*x18*x19^5*x2*x20^2*x21*x22^4*x23^2*x24*x25^6*
x26*x28^2*x3*x30*x4^2*x5^4*x7^2*x8^2*x9^2-129270*x11*x12*x13^4*x14^2*x15^3*x16^
2*x17*x18^6*x19^3*x2^2*x20^2*x21^2*x23^5*x24*x25*x26*x27*x29^2*x3^3*x30*x4^4*x6
^3*x9^6+232560*x11*x13*x14*x15*x16^2*x17^4*x19^6*x2^3*x20*x21^3*x22*x23*x25^5*
x26*x28^4*x29*x3^4*x30^2*x4^2*x5^2*x6*x7^3*x9^7+234720*x1*x10*x11^2*x12^4*x15*
x16^3*x18*x19^5*x2^6*x20^2*x21^2*x22*x24*x25^5*x27*x28^4*x3*x30^4*x4*x5^2*x6^5*
x7^2*x9^2-326160*x1*x10*x11^2*x14^2*x15*x16^2*x18^2*x19^7*x2*x20*x21^2*x23^2*
x25^6*x26^6*x27*x28^4*x29*x3^2*x30*x4^2*x5^2*x7^4*x9^4+97920*x1*x11^3*x12*x14*
x15^3*x16^3*x17*x19^5*x2^2*x20*x21*x23^2*x24*x25^5*x26^2*x28^8*x29*x3^2*x30^3*
x4^2*x5^2*x7^3*x9^4+25200*x1*x11^2*x13^3*x14*x15*x16^2*x18*x19^9*x2^2*x20*x21^2
*x25^9*x26*x27*x28^3*x3^2*x30^2*x4*x5^2*x6^2*x7^3*x8^4*x9^2-227734*x10^6*x11*
x12^4*x13*x14*x15^2*x16*x18^4*x2^3*x21*x22^3*x23*x24*x25*x26^2*x27*x28^7*x29^2*
x3*x30^3*x4^3*x6^5*x8^3+184516*x10^4*x11^3*x12^4*x13^3*x15^4*x16^2*x17^4*x18*
x19^2*x2^3*x20^2*x21^3*x22^4*x23^2*x24*x25*x26^2*x28^2*x30^2*x4^4*x6*x7*x8^2+
518816*x10^3*x11^3*x13^3*x14*x15*x16^2*x17*x18^2*x19*x2^5*x21^4*x22*x23^9*x26*
x27*x28^3*x29*x3^5*x4^2*x5*x6^4*x7^2*x9+21600*x10^3*x11^2*x12^4*x15^2*x16^2*x18
*x19^4*x2^2*x20*x21*x22*x24*x25^5*x26^2*x27^2*x28^3*x29^2*x3*x30^2*x4^3*x5^2*x7
^8*x9^3+200520*x10^2*x11^4*x13^2*x14*x15^3*x16^3*x18*x19^5*x2*x20*x21*x24^3*x25
^10*x27*x28^3*x29*x3^2*x30^4*x4^2*x5^2*x7^2*x8*x9^2-315252*x10^2*x11^4*x14^2*
x15*x16*x17*x18^5*x19*x2^4*x20*x21^2*x24^2*x25^2*x26*x27*x28^6*x29*x3^2*x30^2*
x4^4*x6^3*x8^4*x9^5+182490*x1^3*x10^5*x11^4*x13*x14*x15*x16^7*x17^4*x2*x20^6*
x22^3*x23*x26^3*x27^2*x28*x29*x3^2*x30*x4*x6^3*x7^2*x8^3*x9+493024*x1^3*x10^2*
x11^4*x13^3*x14^2*x16^2*x18^2*x19*x2^4*x20*x21^5*x22*x23^3*x24*x25^3*x28^2*x29*
x3^2*x30*x4^3*x5^4*x6^5*x9^2-642191*x1^3*x10*x11^3*x13*x14*x15^3*x16^8*x17^3*x2
^4*x20^8*x22*x23*x25*x26*x27*x28*x29^3*x3^3*x30*x5*x6^6*x7*x9-47177*x1^2*x10^2*
x11^2*x12^5*x13*x15^2*x16*x18^5*x2^2*x21^2*x24^4*x25^2*x26^3*x27^2*x28^4*x29^3*
x3^5*x4^3*x5*x6*x7*x8^2*x9^2+762982*x1^2*x10*x11^3*x13*x14^2*x16^7*x17^4*x19*x2
*x20^9*x24^2*x26*x27^2*x28*x29*x3^2*x30*x4^3*x5^2*x6^3*x7^2*x8^4*x9^2+52959*x1^
2*x10*x11^2*x14^3*x15^2*x17*x18^4*x19*x2^6*x20^3*x21^2*x24*x25^7*x26*x27^2*x29*
x3^2*x30*x4^4*x6^3*x7^2*x8^2*x9^4-316080*x1^2*x10*x11*x13*x14^2*x15*x16^2*x17*
x19^5*x2^2*x20^4*x21*x24^2*x25^5*x27^2*x28^2*x3*x30^2*x4^4*x5^4*x7^4*x8^4*x9^4-
187920*x1*x10^3*x11*x14^4*x15*x16^2*x17^2*x19^5*x2^2*x20*x21*x22*x24*x25^6*x26^
2*x28^2*x29^3*x3^2*x30*x4^5*x5^6*x7^3*x9^2+429286*x1*x10*x11^3*x12*x14*x15^2*
x16^7*x17^3*x18*x20^6*x22^4*x23*x24^5*x25*x26^6*x27*x28*x29^2*x3^3*x30*x6^3*x7^
2*x8-259831*x1*x10*x11^3*x13*x14*x15^2*x16^10*x17^3*x18*x20^6*x21^2*x22*x23^4*
x24*x25^2*x26*x27*x28*x29*x3^4*x6^3*x8*x9^6-134274*x10^3*x13*x14^2*x15*x17^4*
x18^4*x2^2*x20^3*x21^2*x23*x24*x25^2*x26*x27^2*x28^2*x29*x3^2*x30^3*x4^4*x5*x6^
5*x8^7*x9^4+450368*x10^2*x11^3*x13^5*x14^2*x15*x16^2*x18^3*x19^2*x2^2*x20*x21^5
*x22*x23^8*x24*x25*x27*x28^2*x3^2*x30^5*x4^2*x5^3*x6^3*x9-658688*x10^2*x11^2*
x12^3*x13^3*x14*x16^3*x17*x19^3*x2^3*x21^5*x22*x23^3*x24^3*x25^2*x27*x28^5*x29^
6*x3*x4*x5^2*x6^3*x7^3*x9+56416*x10^2*x11*x12*x13*x14^8*x17^4*x18^5*x2*x20*x22*
x23^4*x24*x25^5*x26^3*x27^2*x28^2*x29^4*x3*x4*x5*x6^7*x8*x9-75112*x10*x11*x12*
x13^5*x14^3*x15*x16*x17^2*x18^4*x19*x2^4*x20*x23^4*x25^6*x26^5*x27^2*x28^3*x29^
2*x3^2*x30^2*x5*x6^5*x7+174723*x10*x14^3*x15^3*x16^2*x17^4*x18^4*x19^2*x2^2*x20
*x21*x22*x23*x24^2*x25^3*x26^2*x27^2*x29*x3^3*x30*x4^7*x6^6*x7*x9^5+141363*x11^
2*x14^3*x15*x17*x18^5*x19^3*x2^2*x20*x22^5*x23*x24^6*x25^3*x26^2*x27*x29*x3^2*
x30^2*x4^4*x5*x6^5*x7*x8*x9^5+354867*x11*x12*x14^3*x15^6*x16^2*x17^4*x18^4*x2^2
*x20^3*x21^3*x23^2*x24^4*x25^2*x26^2*x27*x28*x29*x3^2*x30*x4^4*x6^3*x7*x9^5+
40344*x1^6*x10^3*x12^3*x13*x14^2*x15*x17^3*x19*x2*x23^4*x25^5*x26^3*x27*x28^2*
x29^2*x3^5*x30*x4^3*x5*x6^5*x7^2*x8*x9-45000*x1^4*x11*x12^2*x13^4*x15*x16^3*x17
*x19^5*x2*x20^3*x21^2*x22*x25^5*x28^2*x29^2*x3*x30^2*x4^2*x5^2*x6^5*x7^3*x8^2*
x9^3-898752*x1*x10^3*x11^3*x13^3*x14^2*x16^2*x18^2*x19^4*x2*x21^5*x22*x23^5*x25
*x26^6*x27*x28^4*x29*x3^2*x4^2*x5*x6^3*x7^2*x9^3-831296*x1*x10^3*x11^3*x13^3*
x16^2*x18*x19^3*x2^4*x20^2*x21^4*x22^2*x23^4*x24^3*x25*x26*x27^4*x28^2*x3^2*x30
^2*x4*x5^3*x6^5*x9^2-282720*x1*x10^3*x11^2*x12^3*x13^6*x14^3*x15^2*x16^6*x17*
x19*x2*x20^2*x21^6*x22^3*x23^4*x26^2*x28^2*x3*x4*x5^2*x6^4*x7*x9+296608*x1*x10^
3*x11^2*x13^4*x14*x15^2*x16^5*x18*x19*x2*x21^6*x22^2*x23^7*x24*x25^2*x27*x28^2*
x3^3*x4*x5*x6^3*x8*x9^7+495008*x1*x10^3*x11^2*x13^4*x15^3*x16^3*x17^3*x19^3*x2*
x20^2*x21^9*x22*x23^3*x24*x27*x28^3*x29^2*x3*x4*x5*x6^5*x8^4*x9-98728*x1*x10*
x11^3*x13^2*x14^4*x15^2*x16^4*x17^2*x19*x20^2*x21*x22*x23^5*x25^5*x26^3*x27^4*
x28^2*x29^2*x3^2*x30*x5^4*x6^5*x7-274864*x1*x10*x11*x13*x14^2*x17^2*x18*x19^2*
x2^3*x20^2*x22*x23^4*x24^3*x25^6*x26^4*x27^5*x28^2*x29^2*x3^2*x30^2*x5^3*x6^7*
x9-261126*x10^5*x11^6*x13^3*x14^2*x15^2*x16^2*x18^3*x19^2*x2^3*x20*x21^4*x22^5*
x23*x24*x25^2*x26^3*x27^2*x28*x30*x4^3*x6*x7^3*x8^2+738522*x10^5*x11^4*x12*x13*
x14^3*x15*x16^3*x18^5*x19*x2^2*x21^3*x22^4*x23*x24*x25*x26^3*x27^2*x28^3*x29*
x30^4*x6^4*x7^3*x8^2-319012*x10^4*x11*x12*x13*x14*x15*x16^3*x17^3*x18^4*x2*x20*
x21*x22^3*x23^2*x27^2*x28^6*x29*x30^7*x4*x5^2*x6^4*x8*x9^7-75636*x1^2*x11^4*x12
^3*x13*x14*x15*x16^2*x18^4*x19^3*x2^3*x20*x21^2*x23^2*x24^3*x25^2*x26^2*x27^2*
x29^3*x3^8*x5*x6*x7^5*x9^2-66086*x1^2*x11^2*x12^2*x13*x15*x16^3*x17^3*x18^5*x20
*x21^2*x23*x24^3*x25*x26*x27^3*x28^3*x29^2*x3^4*x30^4*x4*x5^3*x7*x9^9+277722*x1
^2*x12^2*x13^3*x14^4*x15^2*x16*x17^3*x18^4*x19^6*x2^3*x20*x23*x24*x25^2*x26*x27
*x28^2*x3^3*x30*x4^4*x6^3*x8^4*x9^4-339021*x1^2*x14^5*x15*x16^2*x17*x18^4*x2^4*
x20*x21^5*x23^3*x24*x25*x26*x27^4*x28*x29*x3^2*x30^3*x4^5*x6^3*x7*x8^2*x9^5+
44662*x1*x10^7*x11^5*x13^4*x15*x16*x18*x19^5*x2^4*x20*x21^2*x22^4*x23^2*x24*x25
*x26^3*x27^3*x28*x29*x30^2*x4^3*x6^2*x8^3+619584*x1*x10^7*x11*x12^3*x13^4*x14*
x16^2*x18^3*x2*x21*x22^4*x23*x25*x26^2*x27*x28^5*x29*x3*x30^6*x4^3*x6^5*x7^2*x8
^2-87248*x1*x10^5*x11^4*x12^2*x13*x14^2*x15^4*x16*x17^2*x2*x20^3*x21*x23^5*x25^
6*x26^3*x27^3*x28^2*x29^2*x3*x4*x5*x6^5*x7^2-241240*x1*x10^5*x11^3*x13^4*x14^2*
x15^2*x17*x18^2*x19*x2^6*x20^2*x21^5*x22^4*x23*x25*x26^3*x28^4*x3*x30^2*x4^3*x5
*x6^3*x8-517824*x1*x10^5*x11^2*x13^3*x14^4*x16^2*x17^2*x19^2*x2^2*x21^4*x22^2*
x23^3*x24*x25*x26^2*x28^2*x29^3*x3^2*x4^5*x5^5*x6^3*x7*x9+682280*x1*x10^5*x11*
x12*x13^2*x14^3*x15*x16*x17*x18^4*x2^5*x20*x21^4*x22^3*x23*x26^3*x28^6*x29*x3*
x30^5*x5*x6^6*x8-124000*x1^4*x10^2*x11^2*x12^2*x13^7*x16^3*x17*x19^2*x2*x20^2*
x21^5*x22^2*x23^3*x28^2*x29^2*x3*x30*x4^2*x5*x6^8*x7*x8^2*x9^2-24257*x1^4*x10*
x11^4*x12^2*x13*x14*x15*x16*x18^4*x19*x2^4*x20^2*x21^4*x24^3*x25^7*x26*x27^2*
x29^3*x3^4*x5*x7^3*x8^2*x9^2+158339*x1^4*x11^2*x12^2*x13*x15^2*x16^2*x17^3*x18^
4*x19^2*x20*x21^4*x23*x24^5*x25^3*x26^2*x27*x29^2*x3^4*x5^2*x6*x7*x8^7*x9^2-
68880*x1^3*x10^5*x11*x13^2*x14^3*x15*x17^3*x2*x22^3*x23^4*x25^5*x26^5*x27^3*x28
^2*x29^2*x3*x30*x4*x5*x6^5*x7^2*x8^3*x9-26167*x1^3*x10^3*x11^4*x12^2*x13^2*x16^
2*x18^4*x19^4*x2^2*x21^2*x23*x24^4*x25*x26^4*x27^4*x29^3*x3^4*x30^2*x5*x6*x7*x8
^2*x9^2+128352*x1^3*x10^3*x11^2*x12^4*x13^4*x16^2*x18^4*x21^2*x22*x24^3*x25^2*
x26^3*x27^2*x28^2*x29^2*x3^5*x30^3*x4^3*x5*x6*x7^3*x8*x9^2-117094*x1^2*x10^5*
x11^3*x12*x13*x14^2*x15*x16*x18^3*x19*x2^5*x20^2*x21^3*x22^3*x23*x25^6*x27*x28^
3*x29^2*x30^3*x6^4*x7^2*x8^3-789632*x1^2*x10^3*x11^2*x12^2*x13^3*x14^2*x15*x16^
5*x19*x2*x20^6*x21^5*x22^2*x23^3*x27^2*x28^3*x29^2*x3*x4^2*x5^3*x6^3*x7^3*x9-
247008*x1^2*x10^2*x11^2*x12^4*x13^5*x16^4*x17*x19^2*x2*x20*x21^5*x22*x23^3*x25*
x26^3*x28^2*x3*x30^6*x4^2*x5^5*x6^3*x8*x9-287984*x1^2*x10*x13^2*x14^4*x17^3*x19
*x2*x20^3*x23^3*x24^2*x25^5*x26^3*x27^3*x28^2*x29^2*x3*x30*x4^3*x5^3*x6^5*x7^2*
x8^4*x9^2-179626*x10^4*x11^4*x13^3*x15*x17*x18*x19^2*x2^3*x20*x21^2*x22^5*x23*
x24*x25*x26*x28*x29^4*x30^4*x4^11*x5*x6^2*x7^2*x8^3-312558*x10^4*x11^3*x12*x13*
x14^2*x16*x18^4*x19^3*x2*x21*x22^8*x23^2*x24^5*x25^2*x26*x28^3*x29^2*x30^4*x5*
x6^6*x7*x8^2*x9-26080*x10^4*x11^3*x13^6*x15^3*x17^2*x18*x19*x2^2*x20*x21^3*x22^
4*x23*x25^3*x26^4*x28*x29^7*x3^3*x4^3*x5*x6^3*x7*x8*x9+508022*x10^4*x11^2*x12*
x13*x14*x16*x17*x18^3*x19*x2^2*x21*x22^4*x23*x24*x26*x28^3*x29^5*x30^7*x4^8*x5*
x6^5*x7^2*x8^3+232269*x10^2*x11^3*x13^2*x14^3*x15^3*x16*x17*x18^5*x19*x2^2*x20*
x24^4*x25^6*x26*x27^2*x28*x29*x3^3*x30^4*x4^5*x6^3*x8*x9^4-26271*x10*x11^2*x13^
4*x14^3*x15*x16^3*x17*x18^4*x19*x2^2*x20^3*x22*x23^4*x24*x25*x26^2*x27^7*x3^2*
x30*x4^5*x6^3*x7*x9^6-258957*x10*x12^3*x13^4*x14^2*x15*x16*x17^3*x18^4*x19*x2^2
*x20^4*x23^3*x24^2*x25*x26^2*x27*x29^2*x3^6*x30^2*x4^4*x5*x6^3*x9^6-87570*x10*
x14^3*x15*x16*x17*x18^4*x19^2*x2^4*x20*x22^2*x23^4*x24*x25^2*x26*x27^3*x28^2*
x29^5*x3^4*x30^2*x4^4*x6^5*x7*x9^5-276888*x12^3*x14^3*x15*x16*x17^2*x18^4*x19^2
*x2^4*x20*x21*x24^4*x25^3*x26*x27^2*x28^3*x29^6*x3^2*x30*x4^4*x5*x6^3*x7^3*x9^4
+269382*x13*x14^3*x15*x17^5*x18^4*x19^2*x2^4*x20*x21^2*x22*x23*x24*x25*x26^2*
x27*x28^2*x29*x3^5*x30^2*x4^5*x6^4*x7*x9^9-64749*x1^2*x11^4*x12^2*x13*x14*x16*
x18^5*x19^3*x21^2*x22^5*x23*x24^8*x25^3*x26^2*x27*x29^3*x3^4*x30*x5^2*x6^2*x7^2
*x8*x9^3-103833*x1^2*x12^4*x13^2*x14^2*x15*x16^2*x17^2*x18^4*x19*x2^2*x20^2*x21
*x24*x25^2*x26^4*x27*x3^2*x30^7*x4^5*x5^4*x6^3*x8*x9^4-110922*x1*x10^5*x11^4*
x12^2*x14^2*x15^5*x16*x17*x18^4*x2^3*x20^4*x21*x23^2*x24*x25^2*x26*x27^3*x3^2*
x30*x4^5*x6^3*x7^2*x9^4-876822*x1*x10^4*x11*x12*x13*x14*x16^3*x18^3*x19^5*x2^5*
x20*x21^2*x22^3*x23^2*x26^2*x27*x28^3*x29^3*x3^5*x30^4*x6^6*x7*x8-205998*x1*x10
*x12*x14^3*x15^3*x17*x18^5*x2^2*x20*x22^4*x23*x24^6*x25^2*x26^6*x27^2*x29*x3^3*
x30^2*x4^4*x6^3*x7^2*x8*x9^4+124683*x1*x10*x13*x14^3*x15^3*x16^3*x17*x18^5*x2^2
*x20*x21^2*x22*x23^4*x24^2*x25^3*x26*x27^2*x3^4*x30*x4^4*x6^3*x8*x9^10-241026*
x1*x11^2*x14^5*x15*x16^2*x17^3*x18^4*x19*x2^2*x20^3*x21*x22^2*x24*x25*x26*x27*
x28^5*x3^2*x30^4*x4^6*x6^4*x7^3*x9^4+29190*x1*x11*x13^3*x14^3*x15*x17*x18^5*x19
^5*x2^3*x20*x21*x24*x25^5*x26^2*x27^2*x28*x3^3*x30^2*x4^4*x6^5*x7*x8^4*x9^4+
170498*x10^5*x11^4*x13^3*x14*x15^2*x17*x18^3*x19*x2^6*x20*x21^2*x22^4*x23^7*x25
*x26*x27*x28^2*x29*x3^4*x4^4*x6^2*x7^2*x8-482206*x10^5*x11^2*x12*x13*x14^2*x15*
x16*x17*x18^5*x2^5*x21*x22^3*x23^7*x26*x27*x28^4*x29^2*x3^4*x30^3*x4*x6^5*x7^2*
x8-823346*x10^4*x11*x12*x13^6*x14*x15*x16^2*x18^5*x2*x21^2*x22^3*x23*x24*x25^3*
x26^2*x28^4*x29*x30^4*x4*x5^2*x6^9*x8*x9^4-595612*x10^4*x11*x12*x13^2*x14^2*x16
*x17^4*x18^3*x19^2*x2^3*x21^3*x22^4*x23^2*x26*x28^5*x29^2*x3^3*x30^4*x4*x6^5*x7
*x8*x9^5+40098*x1^6*x10^7*x11^3*x12^3*x13^3*x15^2*x17*x18*x19^2*x2^3*x20*x21^2*
x22^4*x23^2*x25*x28*x3^4*x30*x4^6*x6*x7^2*x8^2*x9+216790*x1^5*x10^5*x11^4*x12^2
*x13^4*x15^2*x17*x18^2*x19*x2^3*x20^2*x21^5*x22^7*x23^2*x25*x26*x27^2*x28*x29^2
*x3*x4^3*x6^2*x8-613130*x1^5*x10^5*x11^2*x12^3*x13^2*x14*x15*x16*x17*x18^4*x2^2
*x20*x21^4*x22^6*x23^2*x26*x27^2*x28^3*x29^3*x3*x30^3*x6^5*x8+155283*x1^4*x11^2
*x12^2*x13*x14^3*x16^3*x18^4*x2^2*x21^7*x23^3*x24^3*x25*x26*x27^4*x28*x29^3*x3^
4*x30^2*x4*x5*x7^2*x8^2*x9^3-87570*x1^3*x10^5*x11*x13*x14^3*x15^2*x17^2*x18^4*
x2^3*x20*x22^3*x23*x24*x25*x26^3*x27^3*x3^2*x30^2*x4^5*x6^3*x7^2*x8^3*x9^5+3820
*x1^3*x11^2*x12^4*x13^4*x15*x16^2*x18^4*x19^2*x20*x21^2*x23^2*x24^3*x25^6*x26*
x27*x28^3*x29^2*x3^6*x5^4*x6*x7^2*x8*x9^2+797530*x1^2*x10^5*x11^2*x12*x13*x14*
x15^3*x16*x18^4*x19*x2^4*x20^4*x21*x22^4*x23^2*x25*x28^3*x29^2*x3*x30^4*x6^4*x7
*x8^7-11259*x1^2*x10^2*x13^2*x14^2*x15*x17*x18^11*x19^2*x2^3*x20*x23^4*x24*x25*
x26*x27*x28^4*x3^4*x30*x4^4*x5*x6^4*x8^2*x9^4+540292*x10^6*x11*x12*x13^5*x14^3*
x16*x17^2*x18^4*x19*x2*x20*x21*x22^6*x23*x24*x25^4*x27^2*x28^3*x29^2*x30^3*x6^5
*x7^2*x8^4+148656*x10^5*x11^9*x13^4*x15*x17*x18*x19*x2^2*x20*x21^4*x22^4*x23*
x25*x26^7*x27*x28^3*x29*x3^4*x30*x4^4*x6^2*x8*x9-239720*x10^5*x11^4*x12*x13*x14
^2*x16^2*x17^3*x18^5*x19^4*x2*x21^2*x22^5*x23*x24^3*x26*x28^3*x29^4*x3^3*x30^3*
x4*x6^4*x8*x9+58086*x10^5*x11^3*x12*x13^5*x14^2*x16^4*x18^3*x19*x2*x20^2*x21*
x22^4*x23^5*x26*x27^6*x28^3*x29*x30^3*x4*x6^4*x7*x8*x9^2-296334*x10^5*x11^3*x13
^4*x14*x15*x16^4*x18*x19^3*x2^2*x20^3*x21^2*x22^6*x23^3*x25*x28*x29^3*x3*x30*x4
^4*x5*x6*x7*x8^8-623272*x10^5*x11^2*x12^2*x13^2*x14^2*x16^2*x17*x18^4*x2*x20*
x21*x22^4*x23^4*x25^2*x26*x28^4*x29^4*x3^2*x30^4*x5^4*x6^4*x8^2*x9^2+273514*x10
^4*x11^8*x12^4*x13^3*x14^2*x15*x17*x18*x19^2*x2^6*x20^3*x21^2*x22^6*x23^2*x25*
x26^3*x28*x3*x4^3*x5*x6*x7^3*x8-773558*x10^4*x11^6*x12^5*x13*x14^3*x16*x17*x18^
3*x19*x2^5*x20^2*x21*x22^5*x23^2*x26^3*x28^3*x29*x3*x30^3*x5*x6^4*x7^3*x8+
402914*x10^4*x11^2*x12*x13^5*x14*x16*x18^3*x19*x2^3*x20^4*x21^2*x22^5*x23^2*x24
*x26*x28^5*x29*x30^3*x4*x5^3*x6^4*x8^6*x9+612208*x10^4*x11*x12^4*x13*x14^2*x16^
2*x17*x18^3*x19^2*x2^3*x21^2*x22^3*x23*x24^3*x25^2*x27*x28^6*x29^7*x30^3*x5*x6^
4*x7^3*x8-460078*x1*x10^5*x11*x12*x13^2*x14*x15^3*x16^2*x17^3*x18^3*x19^2*x2*
x20^2*x21^6*x22^3*x23*x24*x27*x28^4*x29^3*x30^3*x6^6*x8^5+22820*x1*x10^4*x11^4*
x13^6*x14*x15*x18^2*x19^6*x2^3*x20*x21^3*x22^4*x23*x25^5*x26*x27*x28^2*x3*x30*
x4^3*x6^3*x7*x8^5-64540*x1*x10^4*x11^2*x12*x13^4*x14^2*x16*x18^4*x19^5*x2^2*x21
^2*x22^3*x23*x25^4*x26*x27*x28^4*x29*x3*x30^4*x6^6*x7*x8^5-741288*x1*x10^4*x11*
x12^4*x13*x14^6*x15^2*x16^2*x18^6*x2*x21*x22^3*x23*x24*x28^4*x29^2*x3^4*x30^3*
x4^4*x6^4*x7*x8^3*x9-60962*x10^7*x11^4*x12^2*x13^3*x15*x17^3*x18^2*x19*x2^4*x20
*x21^2*x22^5*x23*x24^4*x25^2*x26^3*x27*x28*x30^2*x4^3*x6^4*x7^2*x8^2-55320*x10^
7*x11^2*x12^5*x13*x14*x15*x16*x18^4*x2^2*x21*x22^4*x23*x24*x26^2*x27^2*x28^4*
x29^3*x30^4*x4^2*x6^4*x7^6*x8*x9+181582*x10^6*x11^6*x13^5*x14*x15^3*x16*x18^2*
x19^2*x2^2*x20*x21^2*x22^4*x23*x24^3*x25^6*x27*x28^2*x29*x3*x30^3*x4^4*x6*x8^2+
56072*x10^6*x11^4*x12*x13^3*x14^6*x15*x17^2*x18^6*x19*x2^3*x20^2*x21^2*x22^5*
x23^2*x24*x25*x27*x28*x29^2*x4^4*x6^3*x8^2*x9-513554*x10^6*x11^4*x12*x13^3*x14^
2*x15^2*x16^2*x18^4*x19*x2*x21*x22^3*x23*x24^3*x25^5*x27*x28^4*x29^2*x3*x30^6*
x4*x6^4*x8^2+54116*x10^6*x11^3*x12*x13^3*x15*x17*x18^3*x19*x2^3*x20*x21^3*x22^4
*x23^4*x24^3*x25^6*x26^2*x28^3*x3*x30^3*x4^3*x6^2*x8*x9^2+35717*x1^2*x10^3*x11^
3*x12^4*x13*x16*x17^3*x18^5*x2^2*x21^2*x22*x24^7*x25^2*x26^4*x27^2*x29^2*x3^4*
x30^2*x5*x6^3*x7^3*x8*x9^2-31706*x1^2*x10^2*x11^2*x12^3*x13*x16*x17*x18^6*x2*
x21^3*x23^3*x24^6*x25^6*x26^3*x27*x28^2*x29^2*x3^5*x30^3*x5*x6*x7*x9^4+12033*x1
^2*x10*x11^4*x12^2*x13^5*x14*x16^4*x18^4*x19*x20^2*x21^2*x22*x23^4*x24^3*x25*
x26^2*x27^7*x29^2*x3^4*x4*x5*x7^2*x9^4+92444*x1^2*x10*x11^2*x12^2*x13*x16*x17^5
*x18^7*x19*x21^5*x22*x24^3*x25*x26^5*x27*x28*x29^4*x3^4*x4^2*x5*x6*x7^3*x9^6-
160249*x1^2*x11^7*x12^6*x13*x14^2*x16*x17*x18^4*x19*x2^4*x20^2*x21^2*x22^2*x23*
x24^3*x25*x26^4*x27*x29^2*x3^5*x5^2*x7^4*x9^2-640790*x1*x10^10*x11^2*x12*x13*
x14*x16*x18^6*x2*x21^3*x22^3*x23^2*x25*x27^2*x28^3*x29*x3^3*x30^6*x4^5*x6^4*x7*
x8*x9+245252*x1*x10^9*x11^5*x12^3*x13*x14*x15^4*x16^2*x18^3*x2^2*x20^3*x21^2*
x22^3*x23^3*x25*x27^2*x28^3*x29*x30^3*x4*x6^4*x7^2*x8+97474*x1*x10^5*x11^3*x13^
4*x14*x15^3*x16^3*x18^2*x19*x2^2*x20*x21^4*x22^5*x23^5*x24*x25^3*x27*x28*x3^2*
x4^3*x6*x8^2*x9^6+262770*x1*x10^5*x11*x12^4*x13^4*x14^4*x15^2*x16^5*x17*x18^3*
x2*x20^2*x21^3*x22^5*x23^2*x26^2*x28^3*x29*x30^3*x5*x6^5*x7*x8-275678*x1*x10^5*
x11*x12*x13^2*x14^2*x15^2*x16^4*x18^4*x2*x21^3*x22^4*x23^5*x24*x25^2*x27*x28^3*
x29*x3^2*x30^3*x6^4*x8^2*x9^6-415332*x1*x10^2*x12^2*x13*x14^4*x15*x17^2*x18^4*
x19*x2^2*x20*x23^2*x24*x25*x26^2*x27*x29^2*x3^2*x30^2*x4^5*x5^2*x6^5*x7*x8*x9^5
+19975*x10*x11*x12*x13*x17^4*x18^2*x19*x2^3*x20^2*x21^7*x22^5*x23^2*x24^3*x25^3
*x26^2*x27*x28*x3*x30*x4*x5^2*x6^2*x7^3*x8*x9^2+883872*x1^4*x10^2*x11^2*x12*x13
^3*x14^3*x16^5*x19^2*x2*x20*x21^4*x22^3*x23^3*x25*x26*x27*x28^2*x29*x3*x30*x4^3
*x5*x6^3*x7*x9+77080*x10*x11*x12*x13*x14^2*x17^4*x18*x19*x2^2*x20^2*x21^2*x23^3
*x24^3*x25^5*x26^4*x27^2*x28^3*x29^2*x3*x30*x4*x5^2*x6^7*x7^3*x8+150840*x10*x11
*x14*x15^3*x16^4*x17^3*x19^6*x2*x20*x21^2*x22*x23*x24*x25^7*x26*x27*x28^2*x29*
x3^2*x30*x4^4*x5^2*x6^3*x7^3*x9^3+4165*x1^2*x10*x11*x12*x13*x14^2*x15^2*x16*x17
^6*x18^2*x2*x21^7*x22^7*x23^2*x24^2*x25^3*x26*x29*x3*x30*x4^2*x5*x6^2*x8*x9^4-
288640*x1^2*x11*x12^2*x13*x14^2*x15^2*x16*x17^5*x19^2*x2*x20*x21*x23^3*x24^2*
x25^6*x26^3*x27*x28^3*x29^2*x3*x30*x4^3*x5^3*x6^5*x7+49320*x1*x10^3*x11^3*x13*
x15*x16^3*x19^8*x2^3*x20*x21*x23*x24*x25^5*x26^3*x27^3*x28^2*x29*x3*x30^3*x4*x5
^2*x6*x7^2*x8^2*x9^2+23120*x1*x11^2*x12*x13*x14*x15^2*x16*x17^3*x18*x19*x2^2*
x21^5*x22^5*x23^4*x24*x25^3*x26^3*x28^6*x29*x3^2*x30^2*x4*x5*x7*x9^4+47345*x10^
2*x11^3*x13^3*x14*x15^2*x16*x17^2*x18^2*x19*x2*x21^5*x22^5*x23^2*x24^3*x25^8*
x26*x27*x28*x29*x3^2*x30^3*x4*x5*x8*x9^2+190236*x1^3*x10^2*x11^2*x12^4*x13^2*
x14^2*x16*x17*x18^4*x19*x21^2*x23^2*x24^3*x25*x26^2*x27*x29^4*x3^4*x30*x4*x5^3*
x6^2*x7^2*x8*x9^3+31620*x12*x13*x14*x15^2*x16^2*x17^3*x18*x19*x2^3*x20^2*x21^5*
x22^7*x23^2*x24*x25^3*x26^3*x27^2*x28*x29^2*x3*x30*x5*x6^2*x7^2*x9^4+290466*x1^
4*x10^4*x11^3*x12*x13^3*x14^3*x15*x16^3*x18*x19^2*x2^2*x20^2*x21^2*x22^6*x23*
x25^2*x26*x27*x28*x29*x30*x4^5*x6*x7*x8+107640*x1*x10*x11*x13*x14*x15^3*x16^5*
x18*x19^4*x2*x20*x21^3*x22*x23^4*x24*x25^7*x27*x28^2*x3^3*x30*x4*x5^2*x7^2*x8*
x9^8-67320*x10^3*x11^2*x12^2*x15*x16^2*x17^3*x18*x19^4*x2^3*x20*x21*x22*x24^4*
x25^6*x26^3*x27*x28^2*x3*x30^3*x4*x5^2*x6^3*x7^4*x8*x9^2+844192*x10^2*x11^3*x12
*x13^3*x14*x15^5*x16^4*x17^3*x19*x2*x20^2*x21^7*x22*x23^5*x24^3*x25*x26*x28^3*
x29*x3*x4*x5*x6^3*x7*x9^2+345600*x10*x11^2*x12*x14^3*x15*x16^2*x19^4*x2*x20^2*
x21^3*x22*x23*x24*x25^6*x26^2*x27^2*x28^5*x29*x3^2*x30^2*x4*x5^6*x6*x7^4*x9^2+
99702*x1^2*x10*x11^2*x12^3*x13*x15*x16*x17^2*x18^5*x19*x2^2*x20*x21^4*x23*x24^3
*x25*x26*x27*x28*x29^4*x3^5*x5^3*x7*x8^3*x9^6+101184*x10^6*x11^2*x12*x13^3*x14*
x15*x16^3*x17*x19^2*x2^2*x20*x21^4*x22*x23^4*x27^2*x28^2*x29*x3^5*x30*x4*x5^4*
x6^3*x7^2*x8^2*x9-533838*x10^4*x11*x12*x13^2*x14^2*x15*x16*x17*x18^3*x19^2*x2*
x20^3*x21*x22^4*x23^5*x25*x27*x28^5*x29^2*x30^4*x4*x5^3*x6^5*x7*x8-794592*x10^3
*x11^5*x13^3*x14^2*x15*x16^4*x18^2*x19^2*x2^2*x21^6*x22^2*x23^3*x24*x25*x26^3*
x27^2*x28^2*x3*x30*x4*x5*x6^3*x7^3*x8*x9+233120*x10^3*x11^3*x12*x13^3*x16^2*x17
^2*x18*x19^2*x2^3*x20^2*x21^6*x22*x23^3*x24^3*x26*x27*x28^3*x3*x30*x4^2*x5^2*x6
^5*x7^3*x8*x9-262728*x10*x11^3*x13*x14^4*x15*x16^2*x17^2*x18^2*x19*x2*x21^2*x22
*x23^3*x24*x25^6*x26^6*x27^3*x28^2*x29^2*x3*x30*x5*x6^5*x7^3*x8+213856*x1*x10*
x11*x12^4*x13*x14^2*x16*x17^2*x18*x19*x2^5*x20*x21*x22*x23^3*x24*x25^5*x26^3*
x27^2*x28^4*x29^2*x3*x30^3*x5*x6^10-8340*x1*x12^2*x13^3*x14^2*x15^2*x16*x17*x18
^4*x19^2*x2^2*x20^2*x23^2*x24*x25^6*x26*x27*x28^3*x3^4*x30*x4^4*x5^3*x6^4*x7*x8
*x9^4-185504*x10^5*x11^3*x12^2*x13^3*x16^2*x17^3*x18*x19*x2^3*x21^4*x22^2*x23^3
*x24^4*x25*x26^3*x27*x28^2*x3*x30^2*x4*x5*x6^6*x7^2*x8*x9-216670*x10^5*x11^2*
x12^2*x13*x14*x16*x17^2*x18^4*x19*x2^3*x20^2*x21^3*x22^3*x23*x24^3*x26*x27*x28^
4*x29*x30^4*x4*x5*x6^6*x7^3*x8^2-581312*x10^4*x11^2*x13^7*x14^2*x16^2*x17^2*x18
*x19^2*x2*x20*x21^4*x22^4*x23^3*x24*x25^4*x27^2*x28^2*x29*x3*x4*x5*x6^4*x7^2*x8
^3*x9-227168*x10^3*x11^3*x12*x13^7*x14*x15*x16^3*x18^4*x19^2*x2^5*x20*x21^4*x22
*x23^4*x25*x26^2*x27*x28^3*x3^2*x30^2*x4*x5*x6^3*x7*x9+670592*x10^3*x11^3*x12*
x13^4*x14*x16^3*x17*x18*x19*x2*x20*x21^4*x22^2*x23^6*x25^2*x26*x28^3*x29^3*x3^3
*x30*x4*x5^5*x6^3*x8*x9^3+952320*x10^3*x11^3*x12*x13^3*x14^3*x16^2*x19*x2*x20*
x21^6*x22^2*x23^4*x24*x25*x26^2*x27^2*x28^5*x29*x3^2*x30*x4*x5^5*x6^4*x7^2*x9-
75600*x1^3*x10^5*x11^2*x13*x14*x15^2*x16^2*x17*x19^4*x2^2*x20*x21*x22^3*x23*x25
^5*x26^2*x27^2*x28^2*x3*x30^2*x4^2*x5^2*x7^4*x8^3*x9^3-102600*x1*x10*x11*x12^3*
x13^3*x14^3*x15^3*x16^6*x17*x19^4*x2*x20^3*x21^3*x22^2*x23*x25^5*x26^2*x28^2*x3
*x30*x4*x5^3*x6*x7^3*x9^2-118845*x1*x10*x12^3*x13^3*x14^5*x15^3*x16^4*x17^2*x18
^4*x2^2*x20^3*x21^2*x22^2*x23*x24*x25*x26^3*x27*x3^2*x30*x4^4*x5*x6^4*x7*x9^4+
277426*x10^4*x11^4*x12*x13^3*x14*x15^6*x16^2*x17^3*x18*x19*x2^2*x20^3*x21^5*x22
^4*x23^3*x24^3*x25^2*x26*x28^2*x29*x4^3*x6*x7*x8*x9-342984*x10^4*x11*x12^2*x13*
x14^2*x15^2*x16^3*x17*x18^3*x19*x2^3*x20^2*x21*x22^5*x23*x24*x26^2*x27^2*x28^4*
x29^3*x30^4*x6^6*x7^2*x8*x9^2+400320*x10*x11*x12*x14^5*x15*x17*x18^4*x2^2*x20^2
*x21^2*x22*x23*x24^2*x25^2*x26^3*x27^3*x28^3*x29*x3^3*x30^2*x4^4*x5^4*x6^4*x7^2
*x9^4-379053*x10*x13*x14^3*x15*x16^4*x17*x18^4*x19^2*x2^2*x20^3*x22^2*x23^2*x24
*x25*x26*x27*x29^3*x3^3*x30^2*x4^5*x5*x6^3*x7*x8^7*x9^4+141340*x1^3*x10*x11^2*
x12^2*x13^2*x14^2*x15*x16*x17*x18^5*x2^4*x20*x21^5*x24^3*x25*x26^4*x27*x28^3*
x29^2*x3^5*x30^2*x5^2*x6^2*x7*x9^2+764338*x1^2*x10^4*x11*x12*x13*x14*x15^2*x16^
2*x17^3*x18^3*x19^2*x2*x20*x21^3*x22^3*x23^2*x24^2*x25^2*x26*x28^3*x29*x30^3*x5
*x6^5*x8^8+48608*x1^2*x10^3*x11^3*x12*x13^3*x14^2*x15^2*x16^3*x17^4*x18*x19*x2*
x21^6*x22^3*x23^3*x24^2*x28^2*x29*x3*x30*x4^3*x5*x6^5*x8*x9^3-88560*x1^2*x10*
x11*x12*x13^2*x14^3*x16^5*x17^2*x18*x19*x2*x20*x21*x23^3*x25^5*x26^7*x27*x28^2*
x29^3*x3*x30*x5^4*x6^5*x8^2*x9^2+269824*x1*x10^2*x11^4*x12*x13^3*x14*x15^2*x16^
3*x17*x19^2*x2^2*x21^4*x22*x23^5*x24*x26^2*x28^8*x29*x3^2*x30^2*x4^2*x5*x6^3*x7
*x9^3-216464*x10^4*x11^3*x12^3*x13^3*x14*x15*x16*x17*x18*x19^3*x2^4*x20*x21^3*
x22^4*x23*x24^3*x25^3*x27*x28^4*x29^6*x4^3*x5*x6*x7^3*x8-247096*x10^4*x11^3*x12
*x13*x14^2*x15^2*x16^4*x17^5*x18^4*x19*x2*x20*x21*x22^7*x23^3*x24*x25*x26*x28^3
*x29*x30^3*x4*x5^2*x6^4*x8^3-418588*x10^4*x11^2*x12*x13^3*x14^3*x15*x16*x18^6*
x19*x2^2*x20*x21^2*x22^3*x23^6*x24*x25*x27*x28^3*x29*x3*x30^8*x4*x5^2*x6^4*x8-
238798*x10^4*x11^2*x12*x13*x14^8*x15^5*x16^2*x17*x18^3*x19*x2^3*x20*x21*x22^3*
x23*x24^5*x26*x27*x28^3*x29*x3^2*x30^3*x6^4*x8*x9^2-23493*x1^8*x10^3*x11^2*x12^
5*x13*x15*x16*x17*x18^4*x19*x2*x21^2*x23*x24^3*x25*x26*x27*x29^2*x3^8*x30*x4^3*
x5*x7^3*x8*x9^3+165215*x1^4*x10*x11^3*x12^2*x13*x15^3*x16*x18^5*x19*x2^3*x20^4*
x21^2*x22*x23*x24^3*x25^2*x26*x27*x29^3*x3^5*x30*x5*x7^2*x8^6*x9^2-52125*x1^4*
x12^2*x13^4*x14^2*x15*x16*x17^2*x18^4*x19*x2^2*x20^3*x21*x22*x24*x25*x26*x27*
x29^2*x3^2*x30^2*x4^5*x6^8*x7*x8^2*x9^5-99893*x1^2*x10*x11^3*x12^2*x13*x14*x15*
x16*x17*x18^6*x2^4*x21^2*x23^6*x24^3*x25*x26^2*x27^2*x28*x29^3*x3^8*x4*x5*x6*x7
^3*x9^2-80029*x1^2*x10*x11^2*x12^2*x13*x14*x15^2*x16^3*x17^3*x18^4*x19^2*x21^3*
x22*x23*x24^4*x25^3*x26^2*x27^2*x29^3*x3^5*x4^3*x5*x6^3*x7^2*x9^3-331932*x1^2*
x10*x12^2*x14^4*x15^2*x16^3*x17*x18^4*x2^2*x20^7*x21*x22*x24*x25*x26*x27^3*x28*
x29^2*x3^2*x30*x4^5*x5^2*x6^3*x7^3*x9^4-286228*x1^2*x10^5*x11^3*x13^4*x14^2*x15
*x17*x18*x19^2*x2^3*x20^4*x21^2*x22^4*x23*x24^2*x25*x27^2*x28*x30*x4^6*x5^2*x6*
x7^2*x8^5*x9^2+107915*x1^2*x10*x11^5*x12^2*x13*x14^5*x15^3*x16^2*x18^4*x19*x2*
x20*x21^4*x22^2*x24^3*x25^4*x26*x27*x29^5*x3^5*x4^2*x5*x6*x7*x9^2+43739*x1^2*
x10*x11^3*x12^3*x13^5*x14*x15*x16^2*x18^8*x19*x2^4*x20*x21^2*x23*x24^3*x25^2*
x26^3*x27^2*x28*x29^2*x3^5*x30^2*x5*x7^2*x9^2-129116*x1^2*x10*x11^3*x12^3*x13^2
*x14*x16^2*x17*x18^5*x20*x21^2*x22*x23^3*x24^3*x25^3*x26^2*x27*x28*x29^5*x3^6*
x30*x5^5*x7*x8*x9^4+173619*x1^2*x10*x11^2*x12^2*x13^2*x14*x16^5*x18^4*x19^2*x20
^2*x21^2*x22^2*x23^2*x24^3*x25*x26*x27*x29^5*x3^5*x30*x4*x5^2*x7^2*x8^7*x9^2+
40110*x1^2*x10*x11^2*x12^2*x13*x14*x16^2*x18^4*x19^2*x2^2*x21^2*x22^2*x23^4*x24
^3*x25^2*x26*x27^3*x28^2*x29^7*x3^6*x30*x5*x6^2*x7^2*x9^3-51188*x1^2*x11^4*x12^
2*x13*x14*x15^2*x16^4*x17^5*x18^5*x19*x20*x21^2*x22^4*x23^2*x24^4*x25^2*x26^2*
x27*x29^2*x3^4*x4*x5^3*x7*x8^2*x9^2-170172*x1*x10^7*x11^3*x13^3*x14^4*x15*x17^2
*x18*x19^2*x2^3*x20*x21^2*x22^5*x23*x24*x25^2*x26^2*x28*x29^3*x3*x4^7*x5^4*x6*
x7*x8+835332*x1*x10^5*x11^2*x12*x13*x14^3*x16*x18^5*x19^3*x2*x21^2*x22^3*x23^3*
x25*x26^6*x27*x28^5*x29^2*x3*x30^3*x4*x6^4*x7^2*x8*x9^2+262104*x1*x10^4*x11^3*
x12^3*x13^3*x14^5*x15^3*x16*x18^4*x19*x2^2*x20*x21^2*x22^4*x23*x24*x25*x28^2*
x29*x3^4*x4^7*x6*x7*x8^3*x9+574368*x10^2*x11^2*x13^4*x14*x15*x16^2*x17*x19^3*x2
*x20^3*x21^4*x22^2*x23^7*x25*x27*x28^4*x29*x3*x30*x4^2*x5^4*x6^4*x7*x9+88920*
x10^2*x11*x12^3*x15^3*x16^2*x18*x19^4*x2^3*x20*x21*x24*x25^6*x26^2*x27*x28^6*
x29*x3^2*x30*x4^4*x5^2*x6*x7^2*x8^2*x9^2-821502*x1^4*x10^4*x11*x12^2*x13*x14^4*
x16^4*x18^3*x19*x2*x20*x21*x22^5*x23*x25*x26*x27*x28^3*x29^2*x30^4*x4^2*x6^4*x7
*x8+8670*x10^4*x12*x13*x14*x15*x16*x17^3*x18*x19*x2^2*x20*x21^5*x22^5*x23^3*x25
^3*x26*x27^2*x29*x3^5*x30*x5^4*x7^2*x8^2*x9^2-74800*x1^2*x11*x12^2*x13*x15^2*
x16*x17^5*x18*x19^2*x2^2*x20*x21^6*x22^5*x23^2*x24^2*x25^4*x26*x28*x3*x30*x4^3*
x5^3*x7*x9^2-988032*x1*x10^4*x11^2*x12^2*x13^4*x14^2*x16^2*x17*x19^2*x2*x21^4*
x22*x23^5*x26*x28^2*x29^2*x3*x30*x4^2*x5^3*x6^5*x7*x8*x9^2+245024*x10^4*x11^2*
x12^3*x13^3*x15^2*x16^2*x18*x19*x2^3*x21^4*x22*x23^3*x24*x25*x26^2*x27*x28^6*
x29*x3^2*x4^4*x5*x6^4*x8^2*x9+561472*x10^2*x11^2*x12^4*x13^3*x15^3*x16^4*x17^4*
x19^2*x2^2*x20*x21^5*x22*x23^4*x24*x26^2*x28^3*x3*x30^2*x4^2*x5*x6^3*x7*x8*x9+
84600*x10*x11^2*x12*x15*x16^2*x17^2*x18*x19^5*x2^3*x20^3*x21^3*x24^3*x25^5*x26*
x27*x28^3*x3*x30^2*x4^2*x5^3*x6^2*x7^5*x8*x9^2-19465*x10*x11*x12*x13^5*x14*x15*
x16*x17^2*x18^5*x19*x2^5*x20*x21^5*x22^5*x23^3*x25^4*x26^3*x27*x28*x3^2*x30^2*
x5*x7*x9^2+81600*x10*x11*x12*x13*x14^3*x17^2*x18*x2*x20*x21^7*x22^6*x23^3*x24*
x25^4*x26^3*x27^2*x28^3*x29*x3^2*x30*x5^5*x6*x7^2*x9^2-217674*x10*x12*x14^2*x15
^2*x17^3*x18^5*x19*x2^4*x20^2*x21^2*x23*x24*x25*x26*x27*x28*x29^2*x3^3*x30*x4^4
*x5^2*x6^3*x8^3*x9^8-300960*x11*x12*x13*x15*x16^2*x17*x19^4*x2^2*x20^3*x21^5*
x22^3*x24*x25^7*x26*x27*x28^3*x29*x3*x30^5*x4^2*x5^2*x6^2*x7^2*x9^3+185648*x12^
4*x13*x14^2*x15^3*x16^2*x17^6*x19*x2*x20*x21*x23^4*x24*x25^5*x26^5*x27*x28^3*
x29^2*x3*x30^2*x4*x5*x6^5*x7*x8+918312*x1*x10^6*x11*x12^3*x13^2*x14^3*x16*x17*
x18^3*x19*x2*x21*x22^3*x23^3*x26*x28^3*x29^3*x30^4*x4*x5^2*x6^6*x7*x8^2*x9+
199743*x1*x10^2*x13*x14^6*x15*x17*x18^4*x2^5*x20*x21*x22^3*x23*x24^3*x25^3*x26*
x27*x28*x3^2*x30*x4^4*x5*x6^4*x7*x9^5+392832*x10^2*x11^4*x12*x13^3*x14*x15*x16^
3*x19^4*x2^4*x20*x21^4*x22*x23^5*x25*x26*x27*x28^2*x29*x3^5*x4*x5*x6^4*x7^4*x9-
829312*x10^2*x11^2*x12*x13^4*x16^2*x17*x19*x2^2*x20^2*x21^8*x22^4*x23^3*x24*x25
^2*x26*x27*x28^3*x29*x3*x30^4*x4^2*x5*x6^5*x9^2+188280*x10*x11^2*x14*x15^2*x16^
2*x17*x18^2*x19^4*x2^5*x20*x21*x23^6*x25^5*x26*x27*x28^3*x29*x3^5*x30*x4^2*x5^2
*x6*x7^4*x9^2+122040*x11^3*x14*x15*x16^2*x18*x19^7*x2*x20*x21*x22^5*x23*x24^5*
x25^7*x26*x28^2*x29*x3*x30^2*x4*x5^3*x6^2*x7^3*x8*x9^3+133920*x11*x12*x14*x15^3
*x16^4*x17*x19^5*x2^3*x20^3*x21*x22^2*x24*x25^5*x26^2*x27^2*x28^3*x29^2*x3*x30^
2*x4*x5^2*x6^2*x7^4*x9^4-872960*x1^2*x10^2*x11^3*x12^2*x13^3*x15^2*x16^3*x17^3*
x19^3*x2^2*x20*x21^5*x22*x23^3*x24^2*x25*x28^3*x3*x30*x4^4*x5^3*x6^3*x7*x9-
67660*x1^2*x10*x12^2*x13*x14^2*x15*x16^3*x17^2*x18*x2*x20^6*x21^6*x22^6*x23^2*
x25^3*x26*x27^2*x28*x29^2*x3*x4*x5^3*x7^3*x9^2-241920*x1*x10^3*x11*x12^2*x13^3*
x15*x16^3*x19^4*x2*x20*x21*x22*x25^6*x26^2*x27*x28^4*x3^2*x30^4*x4^4*x5^2*x6*x7
^4*x8*x9^2+55420*x1*x10*x11*x12^4*x13*x16*x17^2*x18^2*x19*x2^6*x20*x21^6*x22^6*
x23^2*x24*x25^3*x26*x27*x28^2*x3*x30^3*x5*x6^5*x9^2+42415*x1*x10*x13^2*x15^3*
x16*x17^5*x18*x19^2*x2*x20^2*x21^10*x22^5*x23^2*x24*x25^3*x26*x27*x28*x29^2*x3*
x5*x6^2*x8^4*x9^2-157209*x10^4*x11*x14^2*x15^2*x16^3*x17*x18^4*x19*x2^3*x20*x23
^2*x24*x25*x26*x27*x28*x29^2*x3^4*x30*x4^4*x5^2*x6^5*x8^4*x9^6+42534*x10^4*x12*
x14^3*x15^2*x16*x17^2*x18^4*x19*x2^3*x20^2*x23*x24*x25*x26*x27^3*x29*x3^6*x30^2
*x4^4*x5^3*x6^3*x7^2*x8^2*x9^4+415648*x10^3*x11^2*x13^3*x14*x15^2*x16^4*x17^3*
x19^3*x2*x21^5*x22^2*x23^4*x24*x25^2*x26*x27*x28^2*x29*x3^2*x4^4*x5*x6^6*x7*x9^
2+336288*x10^2*x11^4*x13^3*x14*x16^2*x18*x19^4*x2*x21^4*x22^6*x23^4*x24^5*x25^2
*x26*x28^2*x29*x3*x30*x4*x5^2*x6^5*x7*x8*x9^2-421600*x10^2*x11^2*x12^2*x13^5*
x15^4*x16^2*x18^4*x19^4*x2*x20*x21^4*x22*x23^3*x24^3*x25*x26*x27^3*x28^2*x3*x30
*x4*x5^3*x6^5*x9+97995*x10*x11*x12*x14^2*x15*x17^3*x18^5*x19*x2^4*x20^3*x21^2*
x24^4*x25*x26^2*x27^2*x28*x3^2*x30^2*x4^5*x5*x6^5*x7^3*x8*x9^4+85320*x11*x12^3*
x14*x15*x16^3*x17^4*x18*x19^4*x2*x20^4*x21^2*x24*x25^5*x26*x27^5*x28^2*x29*x3*
x30^4*x4*x5^3*x7^3*x8*x9^4+125984*x1^2*x10^3*x11^4*x13^3*x14*x15*x16^2*x19^2*x2
^5*x20^2*x21^6*x22*x23^3*x25^6*x27*x28^2*x29*x3*x4*x5*x6^3*x7^2*x8^2*x9-366960*
x1^2*x11*x12^2*x14^2*x15^3*x16*x17^4*x18^4*x19^2*x2^3*x20^2*x21*x24^3*x25^2*x26
*x27*x28*x3^2*x30^2*x4^7*x5^2*x6^3*x7*x9^4-150286*x10^4*x11^3*x12^2*x13^4*x14^2
*x15*x16*x17^2*x18*x19*x2^4*x20*x21^2*x22^4*x23*x24^3*x25*x26^2*x28^3*x30*x4^3*
x5^5*x6^4*x8+266040*x1^3*x10*x11*x13*x14*x15^4*x16^3*x19^4*x2^5*x20^3*x21*x22*
x23*x25^6*x27*x28^2*x29^2*x3^2*x30^2*x4*x5^3*x6^3*x7^3*x9^3-286880*x1^2*x10^4*
x11^4*x12^2*x13^3*x15^3*x16*x17^3*x18*x19^3*x2^3*x20^2*x21^3*x22^4*x23*x24^2*
x25^2*x28^2*x30*x4^6*x5^2*x6*x7*x8-858080*x1^2*x10^3*x11^3*x13^3*x15^3*x16^2*
x18*x19^2*x2^4*x20^4*x21^4*x22^2*x23^4*x25*x28^2*x29*x3^2*x30*x4*x5*x6^3*x7*x8^
6*x9-97200*x1^2*x10*x11^2*x12*x13*x14*x15*x16^7*x18*x19^5*x2^2*x20^2*x21^2*x25^
5*x26^4*x28^2*x29*x3*x30^2*x4*x5^5*x7^2*x8^2*x9^4-283720*x1^2*x10*x11*x13*x14^2
*x15^3*x17^2*x18*x19*x2^3*x20^4*x22*x23^4*x25^6*x26^3*x27*x28^2*x29^3*x3^2*x30*
x5*x6^5*x7*x8^6+57129*x1*x10^3*x11^2*x13*x14^2*x15*x16*x17*x18^4*x19^4*x2^4*x20
*x23*x24^2*x25*x26^4*x27^4*x29*x3^2*x30^3*x4^4*x6^4*x8^2*x9^4-280224*x1*x10^3*
x12^2*x13^3*x14^2*x15*x16*x17*x18^4*x2^2*x20*x22*x24*x25^2*x26^3*x27^2*x28^2*x3
^3*x30^4*x4^7*x6^4*x7^2*x8*x9^4-301680*x1*x10*x11^2*x15*x16^2*x18*x19^6*x2^4*
x20^3*x21*x22*x23*x24^3*x25^6*x26*x27^4*x28^2*x3^2*x30^3*x4*x5^4*x6^2*x7^2*x9^3
+179640*x1*x10*x11*x13*x15^4*x16^3*x17^3*x19^6*x2*x20^3*x21^6*x24*x25^5*x27*x28
^3*x29^2*x3*x30*x4*x5^2*x6^2*x7^2*x8^4*x9^2-521852*x10^4*x11*x12^5*x13*x14*x15^
3*x16^3*x17^4*x18^3*x19*x2^2*x20*x21^2*x22^3*x23^2*x24*x26^2*x28^4*x29*x30^5*x4
*x6^4*x7*x8^2+129096*x10^4*x11^5*x12*x13^3*x14*x15^2*x16*x18*x19^4*x2^5*x20^2*
x21^2*x22^4*x23^3*x25^2*x26*x27*x28*x29*x3^4*x4^3*x6^2*x7^4*x8+552544*x10^4*x11
^5*x13^5*x14*x15^2*x16^3*x18*x19^2*x2*x21^4*x22*x23^3*x24^3*x25^5*x27*x28^3*x29
*x3^2*x30^3*x4^2*x5*x6^3*x8*x9-365112*x10^4*x11^3*x12^2*x13*x14^2*x15*x16^2*x18
^3*x19^3*x2^4*x20*x21*x22^3*x23^3*x25*x26*x27*x28^3*x29^2*x3^4*x30^3*x6^5*x7^4*
x8-272536*x10^4*x11^3*x12*x13^4*x15*x17*x18*x19*x2^3*x20^3*x21^6*x22^7*x23*x24*
x25^3*x26*x27*x28^2*x29*x30^4*x4^4*x6^3*x8*x9+170624*x10^4*x11^3*x12*x13^3*x14^
6*x16^2*x17^2*x18^5*x19*x2^2*x20*x21^4*x22^2*x23^4*x24*x27*x28^2*x29^2*x3*x4^2*
x5*x6^5*x8*x9^2+770792*x10^4*x11*x12^2*x13^2*x14*x16*x17*x18^3*x2^2*x20^2*x21^5
*x22^6*x23*x24*x25^2*x26*x27*x28^4*x29^2*x30^7*x4*x6^6*x8*x9+19680*x10^3*x11*
x12^4*x13*x14^2*x15*x17^2*x18*x2*x22*x23^3*x24*x25^5*x26^5*x27^3*x28^3*x29^4*x3
*x30*x4^2*x5*x6^5*x7^6*x9+265856*x10^2*x11^4*x13^3*x14*x15^2*x16^5*x17^5*x18*
x19^2*x2*x20*x21^4*x22^5*x23^5*x24*x25*x26*x28^2*x3*x4^2*x5^3*x6^3*x8^2*x9+
659680*x1^5*x10^3*x11^3*x12^2*x13^4*x15*x16^2*x17*x18*x19*x2^2*x20*x21^7*x22^4*
x23^4*x26*x27^2*x28^2*x29^2*x3^2*x4*x5*x6^4*x9+168080*x1^4*x11^3*x12^4*x13*x15^
2*x16^2*x17^3*x18^4*x19^2*x2*x20*x21^3*x24^5*x25^2*x26*x27*x28*x29^2*x3^4*x30*
x4^3*x5^3*x7^2*x9^2+152991*x1^2*x10*x11^5*x12^2*x13*x14^2*x15*x16^3*x18^6*x19*
x2*x21^4*x22*x24^4*x25^2*x26^4*x27^3*x29^2*x3^4*x30*x5*x7^4*x8*x9^2-360705*x1^2
*x10*x11*x14^2*x15^4*x17*x18^5*x19*x2^5*x20^5*x22*x23*x24*x25^2*x26*x27*x29*x3^
3*x30^2*x4^4*x6^3*x7*x8^6*x9^4+159676*x1^2*x11^2*x12^3*x13^2*x16*x17*x18^4*x2*
x20^2*x21^6*x22^3*x24^4*x25^3*x26^2*x27^2*x28*x29^3*x3^4*x30^4*x4*x5*x6^2*x7*x9
^3-219072*x1*x10^7*x11^3*x12^2*x13^6*x15*x16*x18*x19*x2^2*x20*x21^2*x22^5*x23*
x25^2*x26^2*x27*x28^3*x3*x30^3*x4^6*x6^2*x7^2*x8^2+69440*x1*x10^2*x11^3*x13^6*
x14*x16^2*x18*x19^6*x2^2*x21^5*x22*x23^3*x25^4*x26*x27*x28^3*x3^2*x30*x4*x5*x6^
5*x7*x8^4*x9+797568*x1*x10^2*x11^2*x12^3*x13^3*x14^5*x15^2*x16^3*x18^3*x19*x2*
x21^4*x22*x23^3*x24*x28^3*x29*x3^5*x4^5*x5*x6^3*x7*x8^2*x9^2+89216*x1*x11^2*x12
*x13*x14^3*x15^2*x16*x17^3*x19*x2*x23^5*x24*x25^5*x26^5*x27*x28^8*x29^3*x3^2*
x30^2*x4*x5*x6^5*x7*x9^2-94044*x10^8*x11*x12^2*x13*x14^2*x15*x16^2*x17*x18^3*
x19*x2^2*x20*x21*x22^3*x23^2*x27^2*x28^3*x29^2*x3^4*x30^4*x5^3*x6^4*x7^2*x8^3+
76610*x10^5*x11^4*x12*x13^3*x15*x17^2*x18^2*x19^2*x2^4*x20^3*x21^4*x22^4*x23*
x24^3*x25*x26*x27*x28^2*x30*x4^4*x5*x6^3*x7^3*x8^2+59520*x10^5*x11^3*x12^4*x13^
3*x15*x16^2*x18*x19*x2^2*x21^4*x22^2*x23^3*x24*x26^2*x27^2*x28^3*x29^2*x3*x30*
x4^3*x5*x6^3*x7^6*x9^2-311499*x10*x12*x13^4*x14^3*x15^3*x16^2*x17*x18^5*x19^5*
x2^3*x20^4*x22*x23^3*x24*x25*x26*x27*x29^4*x3^2*x30*x4^4*x6^3*x7*x9^4-182229*
x11*x13^4*x14^2*x15*x17*x18^4*x19*x2^4*x20^5*x21*x22^2*x23*x24^2*x25*x26^2*x27*
x28^2*x3^2*x30*x4^5*x5^3*x6^3*x8^5*x9^5+277305*x1^5*x10*x11*x12^2*x13*x14^2*x15
^2*x17^2*x18^5*x2^3*x20^2*x21^3*x22^3*x23*x24*x25*x26^2*x27^3*x29^2*x3^3*x30*x4
^4*x6^4*x9^4-41000*x1^4*x12^2*x13^5*x14^2*x16*x17^3*x19*x20^2*x21*x22*x23^3*x25
^5*x26^3*x27*x28^2*x29^4*x3*x30*x4*x5*x6^10*x7*x8^2*x9-208320*x1^3*x10^7*x11^3*
x13^4*x14*x15*x16^2*x17*x19*x2^2*x21^4*x22^4*x23^4*x26^2*x27^2*x28^2*x3*x30*x4^
2*x5*x6^3*x7^2*x8^3*x9^2+102999*x1^3*x10^5*x12*x13^2*x14^2*x15*x16*x17^3*x18^8*
x19^3*x2^3*x20*x23^3*x24*x25^2*x26*x27*x3^2*x30*x4^4*x6^3*x7^2*x8*x9^4+733088*
x1^3*x10^3*x11^2*x13^4*x14*x15^3*x16^3*x19*x2^5*x20^2*x21^4*x22^2*x23^4*x25*x27
*x28^2*x29^2*x3^2*x30*x4*x5^2*x6^6*x7*x9^2+72007*x1^2*x10^4*x11^3*x12^2*x13*x15
*x16^4*x18^4*x19*x2*x21^2*x23^2*x24^3*x25*x26*x27*x28*x29^4*x3^6*x5^3*x6^2*x7*
x8^4*x9^4-267840*x1^2*x10^3*x11^3*x12*x13^4*x14*x16^7*x18*x19^2*x2^2*x20*x21^5*
x22*x23^3*x26^4*x28^2*x29*x3*x30*x4*x5^4*x6^3*x8^2*x9^3-870976*x1^2*x10^3*x11^2
*x13^4*x14^2*x16^2*x17*x19^2*x2^2*x20^3*x21^4*x22*x23^3*x24^2*x27^2*x28^2*x3*
x30*x4^4*x5^3*x6^3*x7^2*x8^4*x9^3+271884*x1*x10*x11*x12^4*x14^2*x15*x16*x17*x18
^5*x19*x2^7*x20^2*x21*x22*x24^2*x25*x26*x27^2*x28^2*x3^2*x30^4*x4^4*x6^8*x9^4-
377802*x1*x10*x11*x14^4*x15*x17*x18^6*x19^3*x2^2*x20*x21*x23^2*x24*x25^2*x26^7*
x27^2*x28^2*x29*x3^3*x30*x4^5*x6^3*x7^2*x9^6+208083*x1*x10*x13*x14^2*x15^4*x16*
x17^4*x18^4*x19^2*x2^2*x20^3*x21^5*x24^2*x25*x26*x27^2*x28*x29^2*x3^2*x30*x4^4*
x6^5*x8^4*x9^4+113424*x1*x11^2*x12*x14^3*x15^3*x16*x17^2*x18^4*x19*x2^3*x20*x23
^2*x24^2*x25*x26^3*x27*x28^6*x29*x3^3*x30^3*x4^5*x6^3*x7*x9^6+110514*x10^4*x11^
5*x13^3*x14*x15*x18^2*x19^4*x2^2*x20*x21^2*x22^9*x23^2*x24^5*x25^3*x26*x28*x29*
x30*x4^3*x5*x6^3*x7*x8^2*x9-784622*x10^4*x11^2*x12^2*x13*x14^2*x15^5*x16^3*x17^
3*x18^3*x2*x20^2*x21^4*x22^3*x23^3*x24^3*x25*x26*x28^4*x29^2*x30^3*x6^4*x7*x8*
x9+391850*x10^4*x11*x12^3*x13^3*x14*x15^4*x16*x18^7*x19^3*x2*x20*x21*x22^3*x23*
x24^3*x25*x26*x27^3*x28^3*x29*x30^4*x5^2*x6^6*x8+73760*x10^4*x11*x12*x13^4*x14*
x15^2*x16*x17^2*x18^3*x2*x21^2*x22^3*x23*x25^2*x26^4*x28^3*x29^8*x3^3*x30^3*x5*
x6^6*x7*x8*x9+366543*x10*x11^2*x13^2*x14^6*x15^2*x16*x17*x18^4*x19^2*x2^3*x20*
x22^3*x24*x25^2*x26*x27^2*x29*x3^4*x30^3*x4^5*x5*x6^3*x7^4*x9^4-95493*x10*x11*
x12*x13^4*x14^3*x15^2*x16*x17*x18^8*x19*x2^6*x20^2*x23*x24*x25^2*x26^3*x27^2*
x28*x3^3*x30^3*x4^4*x6^3*x7*x9^4-127206*x1^4*x11^2*x12^4*x13^4*x14^2*x15*x16^2*
x17^2*x18^4*x19^6*x2*x21^2*x23*x24^3*x25^2*x26*x27*x28^2*x29^2*x3^5*x5*x7*x8^4*
x9^2+162022*x1^3*x10^4*x11^5*x13^3*x14^2*x15*x18^3*x19*x2^5*x20^2*x21^3*x22^4*
x23*x24*x25^4*x28*x29*x3*x30*x4^5*x5^3*x6^3*x8*x9-458234*x1^3*x10^4*x11^3*x12*
x13*x14^3*x16*x18^5*x2^4*x20*x21^2*x22^3*x23*x24*x25^3*x28^3*x29^2*x3*x30^4*x4^
2*x5^3*x6^6*x8*x9+308163*x1^3*x10*x13*x14^3*x15^4*x16*x17*x18^4*x2^6*x20^3*x22*
x23*x24*x25^2*x26*x27^2*x29^2*x3^3*x30^2*x4^4*x5*x6^6*x7*x9^5-265038*x1^2*x10^4
*x11^3*x13^3*x14^3*x15*x16^2*x18*x19*x2^4*x20*x21^7*x22^4*x23^4*x25*x27^3*x28^2
*x29*x30^2*x4^4*x6*x7*x8^3*x9+61502*x1^2*x10^3*x11^2*x12^2*x13^2*x16*x17^3*x18^
4*x20^2*x21^4*x23*x24^3*x25^2*x26*x27^2*x28^2*x29^3*x3^4*x30^2*x5^2*x6^2*x7*x8^
7*x9^2+20433*x1^2*x10*x11*x12*x14^4*x15^3*x16*x17^5*x18^5*x2^2*x20*x21^2*x22^2*
x24^3*x25*x26*x27*x29*x3^2*x30^2*x4^6*x6^5*x8*x9^6+105241*x1^2*x11^3*x12^2*x13*
x16*x17*x18^4*x19*x2*x21^2*x22*x24^4*x25*x26^2*x27*x29^6*x3^4*x30^4*x4^8*x5^2*
x6*x7^3*x8^2*x9^2+310026*x1*x10^4*x11^3*x13^3*x15*x16^2*x18*x19^6*x2^6*x20^2*
x21^3*x22^4*x23^2*x25*x26^2*x27*x28*x29^2*x3^5*x30*x4^3*x6^3*x7*x8+18440*x1*x10
^4*x11*x12^3*x13^4*x14*x15*x16^2*x18^3*x19^2*x2*x20*x21*x22^3*x23^3*x25^5*x28^6
*x29*x3^2*x30^3*x5^3*x6^5*x7*x8^2-810438*x10^5*x11^3*x12*x13^3*x14^5*x15*x16^2*
x18^3*x19^2*x2^2*x21*x22^6*x23*x25*x27*x28^3*x29^2*x3^2*x30^5*x4*x5*x6^4*x7^4*
x8-68460*x10^5*x11^3*x13^3*x14*x15*x16*x18*x19^3*x2^4*x20*x21^2*x22^6*x23^5*x25
^2*x27^2*x28^3*x29^5*x3^2*x30*x4^3*x6^3*x7*x8*x9+211138*x10^5*x11^2*x12^2*x13^5
*x14^2*x15*x16^2*x18^7*x19*x2^5*x20*x21*x22^3*x23^2*x25*x26^2*x27*x28^4*x29*x3*
x30^5*x6^4*x7*x8-885120*x10^5*x11^2*x12^2*x13*x14^4*x16*x18^3*x2*x20*x21^3*x22^
4*x23^2*x24*x25*x26^2*x27^2*x28^6*x29^2*x3*x30^4*x5^4*x6^5*x7^2*x8+572562*x10^5
*x11*x12^4*x13^5*x14*x16^2*x17^2*x18^3*x19*x2*x20^3*x21*x22^3*x23^4*x24*x26*x28
^3*x29^3*x3^4*x30^4*x5*x6^4*x8*x9^2+84434*x10^4*x11^4*x13^3*x14^7*x15^6*x16*x17
*x18*x19^2*x2^4*x20^2*x21^2*x22^4*x23*x24^5*x25*x26*x27*x28*x3^2*x4^3*x6*x8*x9^
2+210596*x10^4*x11^3*x13^4*x14*x15*x17^4*x18*x19^3*x2^4*x20*x21^4*x22^5*x23^2*
x25*x26*x28^3*x29*x3^3*x30*x4^4*x6^2*x7*x8*x9^5-218514*x10^4*x11*x12^4*x13*x14^
2*x16^2*x17^4*x18^4*x2*x20^3*x21^2*x22^3*x23*x24*x26*x27^5*x28^3*x29^2*x30^6*x5
*x6^4*x7*x8^2*x9^2-127015*x1^7*x10*x11^3*x12^4*x13^2*x15*x16*x17*x18^5*x2*x20*
x21^5*x22^3*x23*x24^3*x25*x26^2*x27^3*x29^4*x3^5*x5*x6*x7*x9^2-113406*x1^6*x10^
7*x11*x12^4*x13*x14*x15*x16*x17*x18^3*x19*x2^2*x21*x22^3*x23^2*x28^3*x29*x3^4*
x30^4*x4^3*x6^4*x7^2*x8^2*x9-98126*x1*x10^5*x11^6*x13^4*x14^2*x15^3*x16^4*x18*
x19^2*x2^2*x20^3*x21^3*x22^5*x23^3*x25*x27^3*x28*x3*x30*x4^3*x5^3*x6*x7*x8+
277522*x1*x10^5*x11^4*x12*x13^2*x14^3*x15^2*x16^5*x18^3*x19*x2*x20^2*x21^2*x22^
4*x23^3*x27^3*x28^3*x29*x3*x30^4*x5^3*x6^4*x7*x8-295356*x1*x10^5*x11^4*x13^3*
x14^2*x15*x18^3*x19^4*x2^2*x20*x21^3*x22^4*x23^3*x25^2*x26^6*x27*x28^3*x29*x3*
x4^4*x6*x7^2*x8*x9^2-273188*x1*x10^5*x11^4*x13^3*x15*x18^2*x19^3*x2^5*x20^3*x21
^2*x22^5*x23^2*x24^3*x25^2*x26*x27^4*x28*x3*x30^2*x4^3*x5^2*x6^3*x8*x9-92910*x1
*x10^5*x11^3*x12^3*x13^6*x14^3*x15^3*x16^4*x17*x18*x19*x2^2*x20^3*x21^4*x22^6*
x23^2*x25*x26^2*x28*x4^3*x5*x6^2*x7*x8+455468*x1*x10^5*x11*x12^2*x13*x14^2*x15^
2*x16*x18^4*x2*x21*x22^7*x23^2*x24^5*x25*x26^5*x27*x28^3*x29^2*x3*x30^4*x6^4*x7
^2*x8^2+19560*x10^7*x11^4*x12^4*x13^3*x15^2*x18^2*x19*x2^3*x20*x21^2*x22^5*x23*
x24*x25*x26^2*x27^2*x28^2*x29^2*x30*x4^5*x6*x7^6*x8*x9+84760*x10^5*x11^6*x13^3*
x14*x15*x16*x17^3*x18^3*x19^5*x2^2*x20*x21^3*x22^6*x23*x24^3*x25*x26*x28*x29^3*
x3^3*x4^4*x6*x8*x9+286554*x10^5*x11^5*x13^5*x14^4*x15^2*x16*x18*x19^3*x2^3*x20*
x21^2*x22^7*x23*x25^2*x27*x28*x29*x3^2*x30^2*x4^4*x5*x6*x7^4*x8-74654*x10^5*x11
^4*x12*x13^7*x14*x15^2*x16*x18^5*x19^2*x2^6*x20^2*x21^2*x22^4*x23^2*x25^2*x26^2
*x27*x28^2*x3*x30^2*x4^3*x6*x7*x8-259496*x1^2*x10^5*x11^3*x12^2*x13^3*x14^2*x15
^2*x16^3*x18*x19*x2^2*x20^7*x21^3*x22^5*x23*x25*x27^2*x28^2*x29^2*x4^4*x5^2*x6*
x7^3*x8+229578*x1^2*x10^4*x11*x12^5*x13^3*x14*x16^3*x17*x18^3*x19*x2*x20*x21^2*
x22^3*x23*x25*x26^3*x28^3*x29*x30^9*x4*x5^4*x6^4*x8^2-106387*x1^2*x10^2*x11^5*
x12^2*x13^3*x14*x15^2*x16^2*x18^5*x19*x21^2*x24^6*x25^6*x26*x27^2*x28*x29^3*x3^
5*x30^3*x4*x5*x7*x8*x9^2+111926*x1^2*x10^2*x11^2*x12^2*x13^5*x14^2*x16*x17^2*
x18^5*x19*x20*x21^2*x22^3*x24^4*x25^5*x26*x27^3*x29^3*x3^4*x5*x6*x7^3*x8^3*x9^2
-167889*x1^2*x10*x11^4*x12^2*x13^3*x14^4*x15*x16^2*x18^4*x19^2*x2*x21^2*x22^3*
x24^3*x25^2*x26*x27^2*x29^3*x3^6*x30^2*x4*x5^2*x7^5*x9^2-183360*x1^2*x10*x11^3*
x12^3*x13*x14^3*x16*x18^4*x20*x21^4*x22*x23*x24^4*x25^2*x26^3*x27^3*x28^3*x29^3
*x3^5*x30*x5^5*x6*x7^3*x9^2+142677*x1^2*x10*x11^2*x12^3*x13^5*x14*x15^2*x16^3*
x18^5*x19^5*x2*x20^3*x21^2*x22*x23^3*x24^3*x25*x26*x27*x29^6*x3^4*x5*x7^2*x9^2+
34571*x1^2*x10*x11^2*x12^3*x13^4*x16*x17*x18^5*x2^2*x20^2*x21^4*x22*x23*x24^3*
x25*x26*x27*x29^2*x3^5*x30^3*x4^9*x5^3*x7*x9^2+83467*x1^2*x11^3*x12^2*x13^5*x16
*x18^4*x19*x2^2*x20^4*x21^3*x22^2*x23*x24^4*x25*x26^2*x27*x28^2*x29^2*x3^4*x4*
x5^4*x7*x8^5*x9^3-86714*x1^2*x11^3*x12^2*x13^3*x14^2*x15*x16*x18^7*x19*x2*x20*
x21^3*x23^5*x24^4*x25^2*x26*x27^2*x29^2*x3^5*x30^5*x4*x5^3*x7*x9^2+453618*x10*
x11^3*x12*x15*x16^7*x17^5*x18*x19*x2^2*x20^7*x21^2*x23*x26*x28^2*x29^3*x3^3*x5^
2*x6^3*x8^3*x9^4-44370*x10*x12*x13*x15*x17^4*x18^2*x19*x2^3*x20*x21^7*x22^5*x23
^3*x25^3*x26*x28*x29^2*x3^2*x5^3*x8^3*x9^6-657696*x1^3*x10^2*x11^2*x12^2*x13^3*
x15^2*x16^2*x19*x2^2*x21^4*x22^5*x23^4*x26*x28^3*x29^2*x3^3*x4^2*x5^2*x6^4*x9-
111600*x11^2*x12*x13^4*x15^3*x16^4*x18^2*x19^7*x2*x20^2*x21^3*x23^5*x25^5*x28^2
*x29^2*x3^2*x30*x4*x5^2*x7^2*x9^4+22015*x11*x13*x14^7*x15^5*x16*x17^3*x18*x19*
x2^3*x20*x21^5*x22^5*x23^2*x24^5*x25^3*x26^2*x27*x3^3*x5*x9^4-192237*x12^2*x13*
x14^4*x15*x16*x17^3*x18^4*x2^4*x20*x24^4*x25*x26^3*x27*x28^2*x3^2*x30^2*x4^4*x5
^5*x6^6*x9^4+54910*x13^2*x14*x17^6*x18*x19^2*x2^3*x21^7*x22^6*x23^3*x25^3*x26^2
*x28^2*x29*x3^4*x30*x4*x5*x6*x7*x9^7+56610*x1^2*x12^2*x13^4*x14^2*x15*x16*x17^4
*x18*x19^6*x2^2*x21^5*x22^5*x23^3*x25^4*x26*x28^2*x3^2*x5*x8^4*x9^2-27370*x10^3
*x13^2*x17^5*x18*x2*x20^2*x21^7*x22^5*x23^3*x25^4*x26*x27*x28^2*x29*x3*x30^2*x5
^2*x6^2*x8^7*x9^2-491854*x11^3*x12^4*x15^3*x16^9*x17^7*x19*x2*x20^7*x21*x23*x24
*x26^3*x28^2*x29*x3^2*x30^2*x4*x6^3*x7*x8-36125*x12^2*x13^3*x15^4*x17^2*x18^5*
x19^3*x2*x20*x21^5*x22^5*x23^2*x24^3*x25^4*x26^2*x27^3*x3*x30*x5^3*x6^2*x9^2-
70465*x1^2*x13*x15^2*x16*x17^5*x18*x19^2*x2*x20*x21^7*x22^5*x23^3*x24^2*x25^5*
x26^2*x3*x5^2*x6*x8^7*x9^2+475168*x1*x10^4*x11^2*x13^4*x14^4*x16^2*x19*x2^4*x21
^5*x22^4*x23^4*x24^2*x25^2*x28^3*x3*x4*x5^2*x6^4*x7*x9^2+157112*x1*x10^2*x13^2*
x14^6*x17^2*x2^3*x21*x22^3*x23^4*x24^2*x25^7*x26^3*x27*x28^3*x29^2*x3*x5^2*x6^6
*x7*x9-62900*x1*x10*x13^2*x14^2*x15*x17^3*x18^2*x2^5*x20*x21^8*x22^5*x23^2*x25^
3*x26^4*x28^3*x3^2*x30^2*x5^2*x6^2*x9^2-21165*x1^2*x12^4*x13^3*x16^2*x17^3*x18*
x19*x2*x20*x21^6*x22^5*x23^2*x25^4*x26^4*x3*x30^6*x4*x5^5*x8*x9^2+583968*x1*x10
^3*x11^3*x12^2*x13^3*x16^8*x17^3*x20^6*x22*x25*x26^3*x27*x28^3*x29*x3^3*x30^3*
x4^3*x6^4*x7^2*x8-44370*x1*x10^3*x13*x14^4*x17^4*x18*x19*x2^2*x21^5*x22^6*x23^2
*x24*x25^4*x26^3*x29^3*x3^2*x4^4*x5^5*x7*x9^2+25415*x1*x10*x13^2*x14*x15^2*x16^
3*x17^2*x18^2*x2*x21^7*x22^6*x23^6*x24*x25^5*x26*x27*x3^3*x5*x8*x9^8-135720*x10
^4*x11^2*x15^2*x16^5*x19^5*x2^2*x20*x21*x23^2*x25^5*x28^3*x29^2*x3^3*x30*x4*x5^
4*x6^2*x7^2*x8^4*x9^4-272160*x10^2*x11^5*x15*x16^3*x18*x19^5*x2^3*x20*x21^3*x24
*x25^6*x28^8*x29*x3*x30^2*x4*x5^2*x7^2*x8^4*x9^3+57715*x10^2*x11^2*x12^3*x13*
x14*x16^3*x17^2*x18^2*x2^3*x21^5*x22^5*x23^2*x25^5*x26^2*x29^6*x3*x4^3*x5*x6^3*
x9^3+81016*x10^2*x12^3*x13*x14^2*x15^2*x17^2*x18*x2^2*x23^3*x24*x25^6*x26^5*x27
^2*x28^6*x29^3*x3^2*x4^3*x5*x6^6*x8^2+38760*x10*x11^6*x13^2*x17^3*x18*x2*x21^7*
x22^5*x23^2*x25^3*x26^8*x27*x28^2*x29*x3^5*x30*x4*x5*x6*x9^3+22100*x10*x11^3*
x13*x14*x16*x17^5*x18^3*x19^4*x2*x21^6*x22^7*x23^2*x24^3*x25^3*x26^2*x29^3*x3^4
*x4*x5*x9^3-52785*x10*x12^3*x13^5*x16*x17^4*x18*x19*x2*x20^3*x21^5*x22^5*x23^5*
x24*x25^3*x26^2*x29^2*x3^5*x30*x5^2*x9^4+726484*x11^3*x12*x13*x16^7*x17^4*x2*
x20^8*x21^4*x22^3*x24*x25^2*x26^2*x27*x28^2*x29^2*x3^2*x30^4*x4*x6^5*x9-431893*
x1^3*x11^5*x14^2*x16^7*x17^3*x18^2*x2^3*x20^7*x21*x24*x25^3*x26*x28*x29^2*x3^3*
x30*x4^2*x5^3*x6^5*x9+706497*x1^2*x11^3*x14^3*x16^9*x17^3*x2^2*x20^6*x21^5*x23^
3*x26*x27^3*x28^2*x29^2*x3^2*x30^2*x4*x6^3*x7*x8^2*x9-271912*x1^2*x13*x14^2*x15
^2*x16*x17^5*x19^2*x20*x21^2*x23^4*x24^2*x25^7*x26^4*x27*x28^2*x29^2*x3*x5^2*x6
^6*x8^7-242720*x1*x10*x13^2*x14^4*x15*x17^3*x18*x2^4*x20*x21^3*x23^3*x25^5*x26^
6*x27*x28^5*x29^2*x3^2*x30^2*x5^2*x6^7+425042*x10^4*x11*x12^3*x13^2*x14^3*x16^2
*x17^2*x18^3*x2^3*x21*x22^3*x23*x24^3*x26^2*x28^5*x29*x30^4*x5^5*x6^7*x8-123656
*x10^4*x11*x13*x14^2*x15*x16^3*x17^2*x19*x2*x23^5*x25^5*x26^3*x27*x28^3*x29^4*
x3^3*x5^3*x6^7*x8^4*x9^2-307520*x10^2*x11^3*x12*x13^7*x15^2*x16^4*x18^2*x19^4*
x2*x20*x21^6*x22*x23^8*x28^2*x29^2*x3^2*x4*x5*x6^3*x9^3+102999*x10^2*x12^3*x14^
2*x15^3*x17*x18^5*x2^4*x20*x24^2*x25^2*x26^3*x27^2*x28^4*x29*x3^3*x30*x4^7*x6^4
*x8^2*x9^4-323268*x11^3*x12*x14*x15^2*x16^9*x17^4*x19*x2^2*x20^8*x22^2*x24*x26^
3*x27^2*x28^2*x29^3*x3^2*x30*x6^5*x7^2*x9^2+129888*x11^2*x12*x13*x14^3*x15*x16*
x17^2*x19^3*x2^3*x20*x23^5*x25^6*x26^4*x27^2*x28^2*x29^3*x3^5*x5*x6^6*x7^4-
28800*x11*x13^3*x15^3*x16^2*x17^2*x19^4*x2*x20*x21^2*x25^7*x26^4*x28^2*x29^7*x3
^4*x30*x4*x5^3*x6^2*x7^3*x9^3-110363*x1^2*x10*x11^5*x14*x15*x16^7*x17^3*x19*x2^
4*x20^8*x21^2*x25^6*x26*x27*x28*x29^2*x3^2*x6^3*x7^2*x8^2+649143*x10*x11^3*x12*
x13^4*x14*x15^2*x16^9*x17^3*x18*x19^5*x2*x20^9*x22*x23^3*x26*x28*x29^5*x3^2*x6^
3*x7+157289*x10*x11^3*x12*x13^3*x16^7*x17^4*x18*x2^2*x20^8*x21^2*x22*x23*x26*
x28*x29*x3^3*x30^3*x4^9*x5^2*x6^3+789921*x10*x11^3*x13*x14*x16^11*x17^3*x19^2*
x20^8*x22^2*x23^2*x26*x28*x29^4*x3^3*x30*x4*x5*x6^3*x7*x8^7+182490*x10*x11^3*
x14*x16^8*x17^3*x19^2*x2^2*x20^6*x22^2*x23^4*x25*x26*x27^2*x28^3*x29^6*x3^4*x30
*x6^5*x7*x9-232892*x11^5*x14*x15^2*x16^10*x17^8*x18*x19*x20^7*x22^4*x23^2*x24*
x25*x26^2*x28*x29*x3^2*x4*x5^2*x6^3*x8^2+379753*x11^4*x13^4*x16^7*x17^3*x19*x2^
2*x20^10*x21*x22^2*x23*x24*x26^2*x28^3*x29*x3^2*x4*x5^3*x6^3*x8^5*x9-205953*x11
^3*x12^3*x14*x16^8*x17^7*x18*x20^9*x21*x24*x26^2*x27^5*x28*x29^2*x3^2*x30^3*x5*
x6^3*x7*x8*x9^2-561374*x11^3*x13*x14*x16^7*x17^7*x19^2*x2^2*x20^6*x21^2*x22*x23
*x26^2*x28^3*x29^2*x3^5*x30*x4*x6^4*x7*x9^5+93240*x11^2*x14^7*x15^6*x16^3*x17*
x19^5*x2^3*x20^2*x21*x24^5*x25^5*x26*x27*x28^2*x3^3*x30*x4*x5^2*x7^2*x9^4+
321480*x11*x13^5*x15^2*x16^3*x18^2*x19^4*x2*x20*x21^2*x24*x25^8*x26^2*x28^3*x3*
x30^2*x4^2*x5^4*x6^5*x7^2*x9^6-577885*x1^5*x10*x11^4*x12^2*x13*x15*x16^7*x17^4*
x18*x2*x20^7*x21^3*x22^3*x23*x26^2*x27^2*x28*x29^3*x3^3*x6^4-214643*x1^3*x10^5*
x11^3*x12*x13^2*x16^8*x17^5*x18^4*x19^3*x2*x20^6*x23^3*x25*x26*x28*x29*x3^2*x6^
3*x7^2*x8+250200*x1*x10^6*x11^2*x15*x16^2*x18^3*x19^4*x2*x20*x21^3*x23*x25^6*
x27^2*x28^2*x3^4*x30^4*x4^6*x5^2*x7^3*x9^3+231154*x1*x10^5*x11^7*x12^2*x15^4*
x16^8*x17^3*x2*x20^9*x21*x23^2*x25*x26*x27^2*x28*x29*x3^2*x4*x6^3*x7^2-95760*x1
*x10^5*x11^5*x12^2*x15^5*x16^3*x19^4*x2^2*x20^4*x21^2*x23^2*x25^6*x27^2*x28^2*
x3*x30*x4^2*x5^2*x7^4*x9^2+453618*x1*x10^3*x11^3*x14^4*x16^7*x17^5*x19*x2*x20^6
*x22*x24*x25*x26^3*x28*x29^4*x3^3*x4^4*x5^4*x6^3*x7-566588*x1*x10*x11^4*x12^4*
x16^8*x17^3*x18*x19*x2^5*x20^7*x21*x22*x24*x26*x27*x28^3*x29*x3^2*x30^3*x6^8+
247665*x1*x10*x11^3*x12^3*x13^3*x14^3*x15^2*x16^11*x17^4*x20^8*x21^2*x22^2*x23*
x26^3*x28*x29*x3^2*x5*x6^4*x7-208080*x1*x11^3*x14^3*x15*x16^4*x17^2*x19^5*x2*
x20^3*x21^2*x22^2*x25^5*x28^7*x3*x30^4*x4^3*x5^2*x6*x7^5*x9^2-6560*x1*x12^2*x13
^4*x14^2*x15*x16*x17^2*x19^2*x20*x23^5*x25^10*x26^3*x27*x28^5*x29^2*x3^3*x5^4*
x6^6*x7*x8+311928*x1*x13*x14^2*x16^2*x17^2*x19^5*x2^4*x20*x21*x23^4*x25^5*x26^5
*x27^2*x28^2*x29^4*x3^6*x30*x5*x6^7*x7+162503*x10^3*x11^4*x12^2*x16^7*x17^6*x18
*x2^2*x20^6*x22*x24^4*x25*x26^4*x27*x28*x29*x3^2*x30^2*x6^6*x7^2*x8+509234*x10^
2*x11^3*x13^4*x14^2*x16^7*x17^5*x18*x19*x20^7*x22^3*x24*x25^4*x26*x27^2*x28*x29
^2*x3^2*x6^4*x7^2*x8^3-203400*x10*x11^4*x14^5*x15^4*x16^3*x19^5*x2^2*x20^2*x21^
3*x22^2*x25^8*x28^2*x29^3*x3^2*x30*x4^3*x5^2*x6*x7^2*x9^2-192208*x10^2*x13^5*
x14^4*x17^4*x18*x19*x20*x22^3*x23^3*x24*x25^9*x26^3*x27^3*x28^2*x29^3*x3*x5*x6^
6*x7^2*x8^3-203688*x10*x12^3*x13^5*x14^2*x16*x17^4*x19*x20^3*x23^6*x24*x25^5*
x26^4*x27*x28^2*x29^4*x3^5*x30*x5^2*x6^5*x9^2-68880*x10*x13*x14^3*x16*x17^2*x19
^2*x2^2*x22^2*x23^7*x25^6*x26^3*x27^3*x28^4*x29^7*x3^3*x30*x5*x6^7*x7*x9-158752
*x10*x13*x14^2*x17^7*x18^3*x19*x21^3*x22*x23^3*x25^5*x26^7*x27*x28^3*x29^4*x3*
x4^2*x5*x6^6*x7^2*x9^4+28536*x11^7*x13^4*x14^7*x17^2*x18*x19^6*x20^2*x21^2*x23^
3*x25^5*x26^3*x27*x28^2*x29^2*x3*x30^2*x4*x5*x6^5*x8+84952*x11*x13*x14^9*x15^5*
x16*x17^3*x19*x2^2*x20*x23^3*x24^5*x25^5*x26^4*x27^2*x28^2*x29^2*x3^3*x5*x6^5*
x9^2+292904*x13^6*x14^2*x15*x16*x17^2*x18^2*x21*x23^3*x24*x25^8*x26^5*x27*x28^3
*x29^2*x3*x30*x4*x5^3*x6^10*x9^4-33360*x13^3*x14^2*x15^3*x17^3*x18^4*x2^2*x20*
x21*x24*x25^3*x26^5*x27*x29^7*x3^5*x30*x4^4*x5*x6^5*x7*x9^5+211888*x13^2*x14^3*
x17^6*x19^2*x2^2*x21^2*x22*x23^4*x25^5*x26^4*x27*x28^4*x29^3*x3^4*x30*x4*x5*x6^
6*x7*x9^5+108625*x1^4*x11^3*x12^2*x13^4*x16^8*x17^4*x19*x20^8*x21*x22*x26*x28*
x29^3*x3^2*x30*x4*x6^8*x7*x8^2*x9+691724*x1^2*x10*x11^3*x12^2*x14^2*x15*x16^10*
x17^3*x20^12*x21*x22*x26*x27^2*x28^2*x29^3*x3^2*x4*x5^2*x6^3*x7^3-603955*x1*x10
^6*x11^4*x16^7*x17^3*x18^3*x20^6*x21^2*x23*x25*x26*x27^2*x28*x29*x3^5*x30^3*x4^
5*x6^3*x7*x9+207249*x1^3*x11^2*x14^4*x15*x17*x18^6*x2^5*x20^2*x21*x24^2*x25^4*
x26*x27*x29*x3^3*x30^2*x4^6*x5^3*x6^5*x9^5+59210*x1^2*x11^3*x12^3*x13^5*x15^2*
x16^3*x18^6*x19^3*x20*x21^4*x23^5*x24^3*x25*x26*x27*x29^4*x3^5*x5*x7*x9^4-
171216*x1*x10^3*x13*x14^6*x17^4*x19*x2*x22*x23^3*x24*x25^6*x26^5*x27*x28^2*x29^
5*x3^2*x4^4*x5^5*x6^5*x7+697032*x10^6*x11^5*x12*x13*x14*x16^2*x18^4*x19*x2^3*
x21^3*x22^3*x23*x24*x25*x28^9*x29^2*x30^4*x6^4*x8^5*x9+452352*x10^3*x11^8*x13^4
*x16^2*x17*x19*x2*x21^6*x22*x23^3*x26^7*x27*x28^4*x29*x3^5*x30*x4^2*x5*x6^4*x9^
2-560480*x10^3*x11^5*x13^3*x14^5*x15^3*x16^3*x19^2*x2^2*x20*x21^6*x22^3*x23^3*
x25^3*x28^2*x29^3*x3^2*x4^3*x5*x6^4*x9-62496*x10^3*x11^4*x13^7*x14*x16^5*x19^2*
x2*x20^2*x21^4*x22^2*x23^7*x26*x27^6*x28^2*x3*x4^2*x5*x6^3*x7*x9^3-179552*x10^3
*x11^2*x12*x13^6*x16^2*x17*x18*x19*x2^3*x20^2*x21^6*x22^2*x23^4*x28^2*x3^2*x30^
3*x4^10*x5^3*x6^3*x9-480128*x10^3*x11^2*x13^3*x16^2*x17^5*x18^3*x19^2*x2*x21^7*
x22^2*x23^3*x26^4*x28^3*x29^2*x3*x4^3*x5*x6^4*x7^2*x9^5+86304*x10^2*x11^9*x13^6
*x14^5*x16^2*x18*x19^7*x2*x20^2*x21^6*x22*x23^3*x28^2*x3*x30^2*x4^2*x5*x6^3*x8*
x9+222712*x10^2*x11^2*x12^3*x13*x14^3*x16^3*x17^2*x18*x2^2*x23^3*x25^7*x26^4*
x27*x28^2*x29^8*x3*x4^3*x5*x6^8*x9+54448*x10^2*x12*x13*x14^2*x17^3*x18^2*x2*x21
*x23^6*x24^3*x25^10*x26^5*x27*x28^4*x29^2*x3^2*x30^3*x5*x6^6*x9^2-132745*x1^3*
x10^6*x11^3*x12^2*x13*x16*x18^7*x21^4*x23*x24^3*x25^2*x26*x27^3*x29^2*x3^7*x30^
3*x4^5*x5*x7^2*x9^3+24894*x1^2*x10^6*x11*x12*x13^3*x14*x16*x18^10*x19^2*x2^2*
x21*x22^3*x23^5*x28^7*x29*x3^2*x30^3*x5*x6^5*x8^3-626038*x10^6*x11^3*x12^4*x13*
x14^2*x16^4*x18^4*x2^3*x21*x22^3*x23*x25^2*x26*x28^3*x29^7*x30^3*x4^3*x6^7*x8*
x9-184190*x10^5*x11^6*x13^3*x14^5*x15^4*x16*x18*x19^2*x2^3*x20^2*x21^4*x22^6*
x23*x25^4*x28*x29^3*x3*x4^5*x6^2*x8+688734*x10^5*x11*x12^2*x13^5*x14^2*x15^2*
x16^3*x18^4*x19^5*x2^2*x20^3*x21*x22^4*x23^4*x28^3*x29^5*x30^3*x6^4*x7*x8-
142462*x10^4*x11^4*x13^7*x15*x18*x19^2*x2^4*x20^5*x21^3*x22^6*x23^2*x24*x25*x26
*x28^3*x4^4*x5^3*x6*x8^6*x9+283143*x10^2*x11^2*x12^3*x14^3*x15*x16^3*x17*x18^5*
x2^4*x20*x24*x25^3*x26^2*x27*x29^6*x3^2*x30*x4^7*x6^6*x9^5+69222*x10^2*x12*x14^
2*x15*x17^2*x18^6*x2^3*x20*x21*x23^3*x24^4*x25^6*x26^3*x27*x28^2*x3^3*x30^4*x4^
4*x6^4*x9^6+36279*x11^7*x13^3*x14^7*x15*x17*x18^5*x19^6*x2^2*x20^3*x21^2*x24*
x25*x26*x27*x3^2*x30^3*x4^5*x6^3*x8*x9^4+372381*x13^5*x14^2*x15^2*x16*x17*x18^6
*x2^2*x20*x21*x24^2*x25^4*x26^3*x27*x28*x3^2*x30^2*x4^5*x5^2*x6^8*x9^8-386318*
x10^5*x11*x12*x13*x14^2*x15^2*x16^3*x17^3*x18^3*x19^2*x2*x21^2*x22^4*x23^2*x24*
x25^2*x26*x27*x28^3*x29^2*x3*x30^3*x4^3*x6^7*x7*x8*x9+121272*x10^4*x11^3*x12*
x13^3*x14*x15^3*x16^2*x17*x18*x19^2*x2^4*x20^3*x21^2*x22^6*x23*x24*x25*x26^2*
x27^2*x28^2*x29^2*x30*x4^3*x6^3*x7^2*x8*x9^2+235104*x10^2*x11^2*x12^3*x13^3*x14
*x16^3*x17^4*x18*x19*x2*x20^3*x21^5*x22*x23^3*x24*x26*x27^5*x28^2*x29*x3*x30^3*
x4*x5^2*x6^3*x7*x8*x9^3-177840*x1*x10*x11*x12*x14*x15^3*x16^2*x18*x19^4*x2*x20*
x21*x22^4*x23*x24^5*x25^6*x26^5*x27*x28^2*x29*x3^2*x30^2*x4*x5^2*x7^4*x8*x9^2+
61920*x10^2*x11^2*x12*x14^6*x15*x16^2*x17^2*x18^5*x19^4*x2^2*x20^2*x21*x22*x23*
x24*x25^5*x27*x28^2*x29^2*x3*x30*x4^2*x5^2*x6^2*x7^2*x8*x9^3+239400*x1^5*x10*
x11^2*x12^2*x13*x15^2*x16^2*x17*x18*x19^4*x2^2*x20^2*x21^4*x22^3*x23*x25^5*x26*
x27^2*x28^2*x29^2*x3^2*x30*x4*x5^2*x6*x7^2*x9^2-110589*x1^2*x11^2*x12^2*x13^2*
x14*x15*x16*x17*x18^4*x19^2*x20^3*x21^2*x22*x23^4*x24^3*x25^2*x26*x27^2*x28^2*
x29^3*x3^4*x30*x4*x5^4*x6*x7^2*x9^2-316800*x1^2*x11^2*x12^2*x15^3*x16^3*x17^3*
x19^6*x2^2*x20^2*x21^2*x24^2*x25^6*x28^3*x3*x30^2*x4^4*x5^4*x7^3*x9^2-214643*
x10^2*x11^3*x12^3*x15^2*x16^7*x17^3*x18*x2^2*x20^6*x24*x25*x26^3*x27*x28^5*x29^
2*x3^3*x4^3*x6^4*x8^2+189912*x13^2*x14^3*x15*x17^3*x19^2*x20^3*x22*x23^7*x25^6*
x26^3*x27^2*x28^4*x29^3*x3*x30*x4*x5^4*x6^6*x7-26350*x11*x12*x13^5*x15^2*x16^2*
x17^2*x18^3*x19^3*x2*x20*x21^7*x22^5*x23^7*x25^3*x26*x29^2*x3^2*x5*x9^4+29410*
x13*x15*x16^2*x17^5*x18^2*x2*x20*x21^5*x22^5*x23^3*x25^3*x26*x27^2*x28^3*x3*x30
^4*x4*x5^3*x9^9-39185*x12^2*x13^2*x14^2*x16*x17^4*x18*x2^3*x21^5*x22^5*x23^2*
x24^3*x25^3*x26^3*x28^2*x3*x30*x5^6*x6^3*x9^2-774279*x1^4*x11^3*x12*x14^3*x16^
10*x17^3*x19*x20^7*x22^2*x25*x26^2*x27*x28*x29^2*x3^2*x30*x4^2*x6^3*x7+40715*x1
*x10^2*x13^2*x14^4*x17^2*x18*x2^4*x21^6*x22^8*x23^3*x24^2*x25^5*x26*x28*x3*x5^2
*x6*x7*x9^3-56355*x1^3*x12^2*x13*x15^2*x17^2*x18*x2^2*x21^5*x22^9*x23^3*x25^3*
x26^2*x28*x29^2*x3^3*x4*x5^2*x6*x9^2+17380*x1*x11^3*x12^2*x13^3*x15*x16^8*x17^3
*x19^2*x20^7*x23^2*x25^5*x26*x28^4*x29*x3^4*x5^3*x6^4*x7*x8+369325*x11^3*x12^2*
x13^2*x15^4*x16^7*x17^3*x18^4*x19^3*x20^7*x24^3*x25*x26^2*x27^3*x28*x29*x3^2*
x30*x5^2*x6^5+113488*x13*x14^2*x15*x16^2*x17^5*x18*x20*x23^4*x25^5*x26^3*x27^3*
x28^5*x29^2*x3*x30^4*x4*x5^3*x6^5*x9^7+59075*x1*x10^6*x11*x13*x17^2*x18^4*x2*
x21^7*x22^5*x23^3*x25^4*x26*x27^2*x3^4*x30^3*x4^5*x5*x7*x9^3-119053*x1*x10^3*
x11^5*x13*x16^8*x17^3*x19^4*x2^2*x20^6*x23*x24*x26^4*x27^3*x28*x29^2*x3^2*x30^2
*x6^4*x8^2+643060*x1*x10*x11^3*x13*x14^2*x15*x16^7*x17^4*x18*x2^4*x20^7*x21^3*
x26^4*x28^4*x29*x3^3*x30^2*x5*x6^5+656964*x10^2*x11^7*x16^8*x17^3*x18*x19*x2^2*
x20^6*x21^2*x24*x25*x26*x28^7*x29^2*x3^2*x30*x6^3*x8^4*x9-41140*x10*x13*x17^7*
x18^4*x19*x2*x21^8*x22^6*x23^2*x25^3*x26^5*x28*x29^2*x3*x4^2*x5*x6*x7^2*x9^6+
7395*x11^7*x13^4*x14^5*x17^2*x18^2*x19^6*x2*x20^2*x21^7*x22^5*x23^2*x25^3*x26*
x3*x30^2*x4*x5*x8*x9^2-37145*x11*x13^5*x17^2*x18*x19*x2^3*x20^4*x21^6*x22^7*x23
^3*x24*x25^3*x26^2*x28^2*x3*x4*x5^4*x8^5*x9^3+124560*x11*x15^2*x16^4*x17^3*x18*
x19^4*x2*x20^2*x21*x23*x25^5*x27^2*x28^5*x3*x30^5*x4^2*x5^4*x7^2*x9^9+75905*x13
^6*x15*x16*x17^2*x18^3*x2*x21^6*x22^5*x23^2*x24*x25^6*x26^3*x28*x3*x30*x4*x5^3*
x6^5*x9^6+20995*x1^3*x10^5*x12*x13^3*x16*x17^4*x18^5*x19^3*x2^2*x21^5*x22^5*x23
^5*x25^4*x26*x3*x5*x7^2*x8*x9^2-177225*x12^2*x13^2*x14^2*x15^5*x17*x18^8*x19^3*
x2^2*x20^2*x24^4*x25^2*x26^2*x27^4*x3^2*x30^2*x4^4*x5^2*x6^5*x9^4+216381*x1^2*
x11^3*x12^4*x13^2*x16^9*x17^4*x19*x20^7*x21*x25*x26^4*x28*x29*x3^2*x30^6*x4*x5^
4*x6^3*x8+218448*x1^2*x12^2*x13^4*x14^4*x15*x16*x17^4*x19^6*x2*x23^4*x25^6*x26^
3*x27*x28^4*x29^2*x3^2*x5*x6^5*x8^4-698676*x1*x11^3*x12^3*x14^5*x15^2*x16^8*x17
^3*x18^3*x20^6*x24*x26*x28^2*x29^2*x3^6*x4^4*x6^3*x7*x8^2*x9-144254*x10^2*x11^3
*x12*x16^7*x17^4*x18^2*x2*x20^6*x21*x23^3*x24^3*x25^5*x26^3*x28^3*x29*x3^3*x30^
3*x6^4*x9^2+54747*x10*x11^5*x13^4*x14*x16^10*x17^3*x19*x20^8*x22*x23^4*x26^2*
x27^6*x28*x29*x3^2*x4*x6^3*x7*x9^2+171544*x10*x11*x13*x14^3*x15*x17^3*x18^2*x2^
4*x23^9*x25^5*x26^4*x27^2*x28^3*x29^3*x3^5*x4*x5*x6^6*x7^2+31320*x11^8*x13^3*
x14^5*x15*x16^2*x18*x19^10*x2*x20^3*x21^3*x25^5*x28^2*x3*x30^3*x4^2*x5^2*x7^2*
x8*x9^2+577016*x11^3*x12^3*x14*x16^8*x17^4*x19^2*x2^2*x20^6*x21*x24^3*x25^2*x26
*x27*x28^4*x29^7*x3^2*x5*x6^3*x7^3-776017*x11^3*x13^5*x15*x16^8*x17^3*x18^2*x20
^6*x21*x24*x25^3*x26^3*x28^2*x29*x3^2*x30*x4*x5^2*x6^8*x9^4-139400*x12^2*x13^3*
x14^2*x15^4*x17^2*x18^4*x19^3*x20*x23^3*x24^3*x25^6*x26^4*x27^4*x28^2*x29^2*x3*
x30*x5^3*x6^7+144282*x14^2*x15^2*x16^2*x17^4*x18^5*x2^2*x20^2*x23*x24*x25*x26*
x27^3*x28^3*x3^2*x30^5*x4^5*x5^2*x6^3*x9^11-578754*x1^2*x11^3*x12^2*x13^3*x14^2
*x15*x16^8*x17^5*x19^6*x2*x20^6*x23*x25*x26*x28^3*x29*x3^3*x6^3*x8^4-8802*x1^2*
x10^6*x11^3*x13^5*x15*x18^8*x19^3*x2^3*x20*x21^2*x22^4*x23^5*x25*x28^5*x3^2*x4^
3*x5*x6^2*x8^3-80214*x10^4*x11^8*x12*x13^4*x14^6*x16*x18^4*x19^6*x2*x20^2*x21^3
*x22^3*x23*x28^3*x29*x30^5*x4*x6^4*x8^2+15280*x1^2*x11^2*x12^2*x13^4*x15^2*x16*
x17^2*x18^4*x21^3*x24^3*x25^3*x26^5*x27*x29^9*x3^7*x5^2*x6^2*x7^2*x9^3-433504*
x10^2*x11^3*x13^7*x16^2*x19^2*x2^3*x20^4*x21^5*x22^3*x23^4*x24*x26*x28^4*x3*x4^
2*x5^4*x6^3*x8^5*x9^2-609088*x10^2*x11^2*x13^6*x16^4*x17*x19^3*x2*x21^4*x22*x23
^13*x26*x28^7*x29^2*x3*x4*x5*x6^4*x7*x9^3+275192*x11^5*x12^4*x13*x14^4*x17^3*
x19*x2^4*x20^2*x22^2*x23^4*x25^5*x26^6*x27*x28^2*x29^2*x3^2*x5^2*x6^5*x7^3-
217792*x12^3*x13*x14^3*x16*x17^3*x19^2*x2^2*x21*x23^3*x24^3*x25^7*x26^3*x27^2*
x28^5*x29^8*x3*x5^2*x6^5*x7^3+269390*x11^4*x12*x13^4*x15^2*x16^9*x17^3*x18^2*
x19^3*x20^7*x21^2*x23^5*x26*x28*x29^3*x3^3*x6^3*x9^2-300674*x11^3*x15*x16^9*x17
^6*x18*x20^7*x23*x26*x27^2*x28^4*x29*x3^2*x30^4*x4*x5^2*x6^3*x9^7-151208*x12^2*
x13^2*x14^4*x16*x17^4*x2^2*x23^3*x24^3*x25^5*x26^5*x27*x28^4*x29^2*x3*x30*x5^6*
x6^8+576147*x1^3*x11^3*x12^2*x15^2*x16^7*x17^3*x2*x20^6*x22^4*x23*x26^2*x28^2*
x29^3*x3^4*x4*x5*x6^4+502282*x1*x11^5*x14^3*x16^9*x17^5*x19*x20^8*x21*x22^2*x26
*x28^6*x29*x3^2*x30^3*x4^2*x6^4*x7^3-105616*x10^3*x13^2*x14^2*x17^5*x20^2*x21^2
*x23^4*x25^6*x26^3*x27^2*x28^4*x29^3*x3*x30^2*x5^2*x6^7*x8^7-590051*x10^2*x11^5
*x12^3*x14*x16^10*x17^3*x18*x2^2*x20^6*x25^2*x26^2*x28*x29^7*x3^2*x4^3*x6^6*x9+
420596*x10*x11^3*x16^7*x17^8*x18^3*x19*x20^6*x21^3*x22*x26^5*x28^2*x29^3*x3^2*
x4^2*x6^4*x7^2*x9^4-75603*x11^10*x13^3*x14^5*x16^7*x17^3*x18*x19^6*x20^8*x21^2*
x26*x28*x29*x3^2*x30^2*x4*x6^3*x8-729091*x11^8*x12^4*x14^2*x16^7*x17^4*x19*x2^4
*x20^8*x22^2*x23*x26^4*x28*x29*x3^3*x5*x6^3*x7^3-826419*x1*x11^3*x16^9*x17^3*
x19^5*x2^4*x20^7*x21*x23*x26^3*x27*x28*x29^3*x3^7*x30*x6^5*x7+327613*x10^4*x11^
4*x15*x16^10*x17^3*x19*x2*x20^6*x23^2*x26*x28^2*x29^3*x3^4*x5^2*x6^5*x8^4*x9^2-
15385*x10*x12*x13^4*x17^3*x18^2*x2^3*x20^2*x21^7*x22^6*x23^3*x25^3*x26*x3^2*x30
^3*x4^9*x5^3*x9^2+71315*x11^5*x12^4*x13*x14^2*x17^3*x18*x19*x2^5*x20^2*x21^5*
x22^7*x23^3*x25^3*x26^4*x3^2*x5^2*x7^3*x9^2-344124*x11^5*x12*x14*x15*x16^8*x17^
3*x19^3*x2^3*x20^7*x23^2*x25*x26^2*x27*x28*x29^2*x3^6*x6^4*x7^4-52190*x13^4*x16
^2*x17^3*x18*x19^2*x2*x21^5*x22^5*x23^12*x25^3*x26^2*x28^5*x29^2*x3*x5*x6*x7*x9
^4-217464*x1^3*x12^2*x13*x14^2*x15^2*x17^2*x2*x22^4*x23^4*x25^5*x26^4*x27*x28^3
*x29^4*x3^3*x4*x5^2*x6^6+23463*x1^2*x10^2*x11^3*x13^2*x16^7*x17^3*x18^7*x19^2*
x2*x20^6*x23^4*x26*x28^5*x29*x3^4*x5*x6^4*x8^2-433631*x1*x10*x11^3*x13*x15^3*
x16^8*x17^6*x19^2*x20^8*x21^5*x24*x26*x27*x28^2*x29^3*x3^2*x6^5*x8^4+490985*x10
*x11^6*x14^5*x15^3*x16^8*x17^3*x19*x2*x20^7*x21^2*x22^2*x25^3*x26*x28*x29^4*x3^
3*x4^2*x6^4-225940*x10*x11^6*x14*x16^8*x17^6*x18^2*x19^4*x20^6*x21*x22^2*x24^3*
x26^2*x28*x29^4*x3^5*x4*x6^3*x9+539649*x10*x11^3*x12^3*x13^4*x16^8*x17^5*x19*
x20^9*x23^3*x24*x26^2*x28*x29^3*x3^6*x30*x5*x6^3*x9^2-373984*x10^6*x11^3*x13^3*
x15*x16^5*x19^2*x2^2*x21^4*x22*x23^5*x28^3*x29^2*x3^3*x4*x5^3*x6^5*x8^4*x9^3+
279818*x10^3*x11^3*x13*x16^7*x17^6*x20^8*x21^2*x23*x25*x26*x27*x28^3*x29^2*x3^2
*x30^2*x5*x6^5*x8^7-454487*x10*x11^4*x14*x15*x16^7*x17^4*x18^2*x2^4*x20^6*x23^6
*x26^2*x27*x28^2*x29^2*x3^6*x4*x6^4*x7^2-739519*x11^4*x12*x14*x15^5*x16^9*x17^6
*x20^8*x21^3*x23^2*x24^3*x25*x26^2*x28^2*x29^2*x3^2*x6^3*x7*x9+478819*x11^4*x16
^7*x17^4*x19*x2*x20^6*x22*x24*x26^2*x28*x29^5*x3^2*x30^4*x4^8*x5*x6^4*x7^2*x8^2
-2295*x1^2*x10^2*x13^3*x17^2*x18^8*x19^2*x2^2*x21^5*x22^5*x23^6*x25^3*x26*x28^4
*x3^3*x5^2*x6*x8^2*x9^2+720401*x1^2*x11^3*x15^2*x16^8*x17^6*x19^2*x20^7*x21^2*
x23*x24^2*x25^2*x26^2*x28*x29*x3^2*x5*x6^4*x8^7+14110*x10^2*x12*x13*x17^3*x18^3
*x2^2*x21^6*x22^5*x23^5*x24^3*x25^8*x26^3*x28^2*x3^2*x30^3*x5*x6*x9^4+28362*x10
^4*x11^10*x13^6*x14^5*x15*x18^2*x19^7*x2^2*x20^3*x21^4*x22^4*x23*x25*x28*x30^2*
x4^4*x6*x8^2+108003*x11*x14^9*x15^6*x16*x17^2*x18^4*x19*x2^4*x20^2*x24^6*x25*
x26^2*x27^2*x3^4*x30*x4^4*x6^3*x9^6-26784*x1^2*x10^4*x11^2*x13^5*x16^2*x18^7*
x19^3*x2^2*x21^4*x22*x23^7*x28^6*x3^3*x4*x5^2*x6^4*x8^2*x9-8856*x1^2*x10^2*x13^
3*x14^2*x17^2*x18^7*x19^2*x2*x23^7*x25^5*x26^3*x27*x28^6*x29^2*x3^3*x5^2*x6^6*
x8^2+149568*x10*x11^6*x13^2*x14^2*x17^3*x21^2*x23^3*x25^5*x26^10*x27^2*x28^4*
x29^3*x3^5*x30*x4*x5*x6^6*x9+77262*x10^4*x11^3*x12^3*x13^3*x14*x15*x16*x17^4*
x18^2*x19*x2^2*x20^4*x21^3*x22^4*x23*x24*x25*x26*x27^5*x28*x29*x30^3*x4^3*x5*x6
*x7*x8^2*x9^2-490048*x1*x10^3*x11^2*x12*x13^3*x14*x15^2*x16^2*x18*x19*x2*x21^4*
x22^5*x23^4*x24^5*x25*x26^5*x27*x28^2*x29*x3^2*x30*x4*x5*x6^3*x7^2*x8*x9+123654
*x3*x4*x8*x10^2*x11^3*x13^2*x14*x15^2*x16*x18*x19*x24^3*x25^5*x27*x28*x29*x30^3
+213120*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+96459*x3^2*x6^3*x11^3*x16^7*x17^3*x20^6*x26*x28*x29-36408*x3*x5*
x6^5*x13*x14^2*x17^2*x23^3*x25^5*x26^3*x27*x28^2*x29^2+88672*x1*x10^4*x11^5*x12
*x13^3*x14*x15^3*x16*x17*x18*x19^2*x2^3*x20*x21^2*x22^4*x23^3*x24*x25*x26^2*x28
^7*x29*x3*x30^2*x4^4*x6*x7*x8*x9^2-9435*x2*x3*x5*x9^2*x13*x17^2*x18*x21^5*x22^5
*x23^2*x25^3*x26-39960*x2*x3*x4*x5^2*x7^2*x9^2*x11*x15*x16^2*x19^4*x20*x21*x25^
5*x28^2*x30-110112*x2*x3*x4*x5*x6^3*x9*x10^2*x11^2*x13^3*x16^2*x19*x21^4*x22*
x23^3*x28^2-46287*x2^2*x3^2*x4^4*x6^3*x9^4*x14^2*x15*x17*x18^4*x20*x24*x25*x26*
x27*x30-36186*x2^2*x4^3*x6*x8*x10^4*x11^3*x13^3*x15*x18*x19*x20*x21^2*x22^4*x23
*x25*x28+102342*x2*x6^4*x8*x10^4*x11*x12*x13*x14*x16*x18^3*x21*x22^3*x23*x28^3*
x29*x30^3-41514*x2^2*x6^3*x7^2*x8*x10^3*x11*x12^2*x17^3*x18*x22*x24^4*x25*x26^3
*x27*x30^2+195138*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-125430*x2*x3*x4^2*x6*x10*x11^3*x14^5*x15^3*x16*x19*x20*x21^2*
x22^2*x25^3*x29^3+100788*x2*x3*x4*x5^2*x11*x13^2*x14^2*x15*x18^3*x19*x20*x21*
x23^5*x24*x25*x27*x30^5+36852*x2*x3*x6*x9^2*x10^2*x12*x17*x18^2*x21*x23^3*x24^3
*x25^5*x26^2*x28^2*x30^3+13320*x2*x4^2*x7^6*x9*x10^3*x11*x12^4*x15*x18*x22*x24*
x26^2*x27^2*x28*x29^2*x30+38184*x2*x4*x6^2*x8*x9*x10^2*x11*x12*x14^6*x17^2*x18^
5*x20*x22*x23*x24*x27*x29^2-165834*x2*x7*x10*x12*x13^4*x14*x15^2*x16^2*x18*x19^
5*x20^3*x22*x23^3*x29^4+143412*x2^2*x3^3*x4*x6*x7*x9^5*x13*x14*x17^4*x19^2*x21^
2*x22*x23*x26*x28^2*x29*x30-46620*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+57498*x2^2*x3^2*x9^2*x11*x14^7*x15^5*x16*x17*
x19*x20*x24^5*x26*x27-40182*x2^2*x3*x4^9*x5^2*x10*x12*x13^3*x17*x18*x20^2*x21^2
*x22*x23*x30^3+150738*x2^2*x4^3*x6^3*x9*x10^2*x11^2*x12^3*x14*x16^3*x18*x25^2*
x26*x29^6-97014*x2^2*x4*x5^3*x8^5*x9*x11*x13^4*x19*x20^4*x21*x22^2*x23*x24*x26*
x28^2-147408*x2^2*x5*x7^3*x12^3*x14*x16*x17*x19^2*x21*x24^3*x25^2*x27*x28^3*x29
^6-83694*x2*x3^2*x5^2*x6^2*x8^4*x9^2*x10^4*x11*x15*x16^3*x19*x23^2*x28*x29^2-
185592*x2*x4*x6^2*x9*x12*x13*x17*x20^2*x21^4*x22^3*x24*x25^2*x26*x27*x28*x29*
x30^4-177822*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+116106*x2^4*x3^4*x4*x6*x7^2*x10*x11*x14*x15*x17*x18^2*x23^6*x26
*x27*x28*x29+82584*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-122322*x2*x4^8*x5*x6*x7^2*x8^2*x11*x17*x19*x22*
x24*x26*x29^4*x30^4+186258*x2^4*x3*x5*x7^3*x11^5*x12^4*x14^2*x17*x19*x20^2*x22^
2*x23*x26^3-50838*x2^4*x3*x7*x10*x11*x12*x13^4*x14*x15*x16*x18^4*x19*x20*x23*
x25*x26^2*x27*x28*x30^2;
