https://github.com/koffie/mdmagma
Tip revision: f69d0e06f67b9ac6f57e7d8e6ba3b3d69e650352 authored by Maarten Derickx on 02 November 2020, 22:43:35 UTC
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Tip revision: f69d0e0
FFFc74.txt
x^56*y^19 - 2*x^56*y^18 + x^56*y^17 - 35*x^55*y^20 + 72*x^55*y^19 - 39*x^55*y^18
+ 2*x^55*y^17 + x^54*y^28 - 13*x^54*y^27 + 78*x^54*y^26 - 286*x^54*y^25 +
715*x^54*y^24 - 1287*x^54*y^23 + 1716*x^54*y^22 - 1121*x^54*y^21 +
27*x^54*y^20 + 43*x^54*y^19 + 149*x^54*y^18 - 12*x^54*y^17 - 10*x^54*y^16 -
26*x^53*y^29 + 326*x^53*y^28 - 1876*x^53*y^27 + 6552*x^53*y^26 -
15470*x^53*y^25 + 26026*x^53*y^24 - 32032*x^53*y^23 + 22627*x^53*y^22 -
5454*x^53*y^21 + 280*x^53*y^20 - 380*x^53*y^19 - 1148*x^53*y^18 +
614*x^53*y^17 - 40*x^53*y^16 + 325*x^52*y^30 - 3913*x^52*y^29 +
21463*x^52*y^28 - 70775*x^52*y^27 + 155876*x^52*y^26 - 240968*x^52*y^25 +
268177*x^52*y^24 - 167145*x^52*y^23 + 22330*x^52*y^22 + 8713*x^52*y^21 +
2096*x^52*y^20 + 7035*x^52*y^19 - 1641*x^52*y^18 - 1890*x^52*y^17 +
300*x^52*y^16 + 45*x^52*y^15 - 2600*x^51*y^31 + 29900*x^51*y^30 -
155090*x^51*y^29 + 477096*x^51*y^28 - 962157*x^51*y^27 + 1328929*x^51*y^26 -
1289561*x^51*y^25 + 615957*x^51*y^24 + 80935*x^51*y^23 - 21802*x^51*y^22 -
122053*x^51*y^21 + 11662*x^51*y^20 - 4642*x^51*y^19 + 9308*x^51*y^18 +
7545*x^51*y^17 - 4095*x^51*y^16 + 290*x^51*y^15 + 14950*x^50*y^32 -
163150*x^50*y^31 + 792025*x^50*y^30 - 2234063*x^50*y^29 + 4002447*x^50*y^28
- 4677649*x^50*y^27 + 3642915*x^50*y^26 - 821805*x^50*y^25 -
958655*x^50*y^24 - 567643*x^50*y^23 + 1115553*x^50*y^22 + 29125*x^50*y^21 -
143695*x^50*y^20 + 22133*x^50*y^19 - 71963*x^50*y^18 + 14451*x^50*y^17 +
10280*x^50*y^16 - 1860*x^50*y^15 - 120*x^50*y^14 - 65780*x^49*y^33 +
675741*x^49*y^32 - 3027462*x^49*y^31 + 7624211*x^49*y^30 -
11461027*x^49*y^29 + 9837187*x^49*y^28 - 4346036*x^49*y^27 -
2713312*x^49*y^26 + 3432108*x^49*y^25 + 4843930*x^49*y^24 -
3895360*x^49*y^23 - 2672081*x^49*y^22 + 1430185*x^49*y^21 + 235561*x^49*y^20
+ 127042*x^49*y^19 + 29334*x^49*y^18 - 61237*x^49*y^17 - 28038*x^49*y^16 +
15714*x^49*y^15 - 1155*x^49*y^14 + 230230*x^48*y^34 - 2203652*x^48*y^33 +
8931604*x^48*y^32 - 19184686*x^48*y^31 + 21062628*x^48*y^30 -
5485654*x^48*y^29 - 9347677*x^48*y^28 + 15988805*x^48*y^27 -
5544602*x^48*y^26 - 17222604*x^48*y^25 + 573058*x^48*y^24 +
19899778*x^48*y^23 - 3046486*x^48*y^22 - 4528490*x^48*y^21 -
808871*x^48*y^20 + 667125*x^48*y^19 - 117458*x^48*y^18 + 325311*x^48*y^17 -
63940*x^48*y^16 - 32628*x^48*y^15 + 6279*x^48*y^14 + 210*x^48*y^13 -
657800*x^47*y^35 + 5788871*x^47*y^34 - 20594002*x^47*y^33 +
34374076*x^47*y^32 - 14242265*x^47*y^31 - 40723371*x^47*y^30 +
54112576*x^47*y^29 - 33394300*x^47*y^28 + 2766363*x^47*y^27 +
25780076*x^47*y^26 + 44923351*x^47*y^25 - 70414141*x^47*y^24 -
15083824*x^47*y^23 + 19091335*x^47*y^22 + 16010526*x^47*y^21 -
7113834*x^47*y^20 - 380331*x^47*y^19 - 773221*x^47*y^18 - 91629*x^47*y^17 +
214619*x^47*y^16 + 66606*x^47*y^15 - 39382*x^47*y^14 + 2961*x^47*y^13 +
1562275*x^46*y^36 - 12417515*x^46*y^35 + 36868370*x^46*y^34 -
36553968*x^46*y^33 - 51302823*x^46*y^32 + 165732981*x^46*y^31 -
105948059*x^46*y^30 + 12839563*x^46*y^29 - 11745799*x^46*y^28 +
21400631*x^46*y^27 - 176525590*x^46*y^26 + 128334514*x^46*y^25 +
110380394*x^46*y^24 - 8172890*x^46*y^23 - 103745164*x^46*y^22 +
12112310*x^46*y^21 + 17059308*x^46*y^20 + 3654136*x^46*y^19 -
1956746*x^46*y^18 + 244807*x^46*y^17 - 865977*x^46*y^16 + 175341*x^46*y^15 +
67941*x^46*y^14 - 13748*x^46*y^13 - 252*x^46*y^12 - 3124550*x^45*y^37 +
21879165*x^45*y^36 - 49151630*x^45*y^35 - 7299578*x^45*y^34 +
216769377*x^45*y^33 - 339399423*x^45*y^32 + 32044800*x^45*y^31 +
106988365*x^45*y^30 + 114812407*x^45*y^29 - 147267479*x^45*y^28 +
302764542*x^45*y^27 - 61801819*x^45*y^26 - 303576815*x^45*y^25 -
195786488*x^45*y^24 + 318049958*x^45*y^23 + 102253067*x^45*y^22 -
78253573*x^45*y^21 - 55493845*x^45*y^20 + 18548448*x^45*y^19 +
2390870*x^45*y^18 + 1910983*x^45*y^17 + 158337*x^45*y^16 - 480320*x^45*y^15
- 106524*x^45*y^14 + 68919*x^45*y^13 - 5299*x^45*y^12 + 5311735*x^44*y^38 -
31584289*x^44*y^37 + 41437803*x^44*y^36 + 126368671*x^44*y^35 -
453399562*x^44*y^34 + 382543084*x^44*y^33 + 382653392*x^44*y^32 -
281434043*x^44*y^31 - 427642666*x^44*y^30 + 90861833*x^44*y^29 -
73009735*x^44*y^28 - 192007123*x^44*y^27 + 408566704*x^44*y^26 +
766169966*x^44*y^25 - 403321757*x^44*y^24 - 649098910*x^44*y^23 +
52018555*x^44*y^22 + 320245408*x^44*y^21 + 3409059*x^44*y^20 -
56855138*x^44*y^19 - 9936941*x^44*y^18 + 4701241*x^44*y^17 -
191977*x^44*y^16 + 1506415*x^44*y^15 - 328111*x^44*y^14 - 97993*x^44*y^13 +
21069*x^44*y^12 + 210*x^44*y^11 - 7726160*x^43*y^39 + 36773873*x^43*y^38 +
269344*x^43*y^37 - 305299676*x^43*y^36 + 606823228*x^43*y^35 -
22267366*x^43*y^34 - 1190926781*x^43*y^33 + 210544596*x^43*y^32 +
869242228*x^43*y^31 + 855514860*x^43*y^30 - 686465274*x^43*y^29 +
116015619*x^43*y^28 - 229047993*x^43*y^27 - 1266315973*x^43*y^26 -
390167521*x^43*y^25 + 1713740863*x^43*y^24 + 656723043*x^43*y^23 -
803200742*x^43*y^22 - 497322328*x^43*y^21 + 219658270*x^43*y^20 +
145175668*x^43*y^19 - 31855455*x^43*y^18 - 11411382*x^43*y^17 -
2229431*x^43*y^16 - 152397*x^43*y^15 + 749574*x^43*y^14 + 114681*x^43*y^13 -
87423*x^43*y^12 + 6945*x^43*y^11 + 9657700*x^42*y^40 - 33006724*x^42*y^39 -
72807107*x^42*y^38 + 460888491*x^42*y^37 - 460549455*x^42*y^36 -
829910741*x^42*y^35 + 1972754608*x^42*y^34 + 539255145*x^42*y^33 -
895410608*x^42*y^32 - 3234555228*x^42*y^31 + 845968662*x^42*y^30 +
1385743017*x^42*y^29 + 566478599*x^42*y^28 + 527032405*x^42*y^27 +
2122790178*x^42*y^26 - 2300772369*x^42*y^25 - 2548687753*x^42*y^24 +
376177663*x^42*y^23 + 2278496965*x^42*y^22 + 10364881*x^42*y^21 -
736270438*x^42*y^20 - 116496652*x^42*y^19 + 144593962*x^42*y^18 +
21157932*x^42*y^17 - 9904011*x^42*y^16 - 258459*x^42*y^15 -
1773516*x^42*y^14 + 441173*x^42*y^13 + 99425*x^42*y^12 - 23445*x^42*y^11 -
120*x^42*y^10 - 10400600*x^41*y^41 + 19635170*x^41*y^40 +
149193700*x^41*y^39 - 481205723*x^41*y^38 - 65727498*x^41*y^37 +
1795539596*x^41*y^36 - 1932263184*x^41*y^35 - 2000876262*x^41*y^34 -
276557171*x^41*y^33 + 6043276974*x^41*y^32 + 2285879690*x^41*y^31 -
4253938060*x^41*y^30 - 3715894331*x^41*y^29 + 944977774*x^41*y^28 -
2108416352*x^41*y^27 + 1296776642*x^41*y^26 + 4117751322*x^41*y^25 +
3001309515*x^41*y^24 - 4735823908*x^41*y^23 - 2334960958*x^41*y^22 +
1405041484*x^41*y^21 + 1456614914*x^41*y^20 - 385680962*x^41*y^19 -
314388692*x^41*y^18 + 38340551*x^41*y^17 + 32332503*x^41*y^16 -
164322*x^41*y^15 + 62050*x^41*y^14 - 854120*x^41*y^13 - 76497*x^41*y^12 +
81870*x^41*y^11 - 6870*x^41*y^10 + 9657700*x^40*y^42 - 1240320*x^40*y^41 -
192094560*x^40*y^40 + 315740252*x^40*y^39 + 758796122*x^40*y^38 -
2158924058*x^40*y^37 + 622164880*x^40*y^36 + 3358870205*x^40*y^35 +
2741912157*x^40*y^34 - 6334083679*x^40*y^33 - 10298500724*x^40*y^32 +
5022412655*x^40*y^31 + 10788041870*x^40*y^30 + 2376981151*x^40*y^29 -
3027765303*x^40*y^28 - 1552832830*x^40*y^27 - 2560782860*x^40*y^26 -
7819438835*x^40*y^25 + 3938353272*x^40*y^24 + 7473357193*x^40*y^23 +
824018258*x^40*y^22 - 4932236330*x^40*y^21 - 768697125*x^40*y^20 +
1356073006*x^40*y^19 + 388132860*x^40*y^18 - 270149229*x^40*y^17 -
39964250*x^40*y^16 + 17785240*x^40*y^15 + 965272*x^40*y^14 +
1376662*x^40*y^13 - 436902*x^40*y^12 - 68775*x^40*y^11 + 19140*x^40*y^10 +
45*x^40*y^9 - 7726160*x^39*y^43 - 14805674*x^39*y^42 + 180038908*x^39*y^41 -
34343944*x^39*y^40 - 1212585282*x^39*y^39 + 1475059604*x^39*y^38 +
1344388472*x^39*y^37 - 3393048823*x^39*y^36 - 5168531006*x^39*y^35 +
1618102913*x^39*y^34 + 19697463194*x^39*y^33 + 1676003180*x^39*y^32 -
17091893550*x^39*y^31 - 17740569277*x^39*y^30 + 8582804624*x^39*y^29 +
10462952669*x^39*y^28 + 1479179814*x^39*y^27 + 6009694868*x^39*y^26 +
1859403995*x^39*y^25 - 10727781372*x^39*y^24 - 8761070571*x^39*y^23 +
6768143898*x^39*y^22 + 6720034331*x^39*y^21 - 1725566486*x^39*y^20 -
2880256131*x^39*y^19 + 368186278*x^39*y^18 + 561001254*x^39*y^17 -
28033573*x^39*y^16 - 62340883*x^39*y^15 + 5259898*x^39*y^14 +
33320*x^39*y^13 + 716454*x^39*y^12 + 20061*x^39*y^11 - 56823*x^39*y^10 +
5220*x^39*y^9 + 5311735*x^38*y^44 + 22955933*x^38*y^43 - 123257446*x^38*y^42
- 215299526*x^38*y^41 + 1152125173*x^38*y^40 - 78710901*x^38*y^39 -
2581975436*x^38*y^38 + 1720073591*x^38*y^37 + 5532900168*x^38*y^36 +
6563961310*x^38*y^35 - 22460793088*x^38*y^34 - 16503024979*x^38*y^33 +
13013263136*x^38*y^32 + 41797454430*x^38*y^31 + 2053041497*x^38*y^30 -
28541314105*x^38*y^29 - 15304274256*x^38*y^28 + 4252958012*x^38*y^27 -
1320762677*x^38*y^26 + 7213475621*x^38*y^25 + 14953543488*x^38*y^24 +
1772165854*x^38*y^23 - 16419260702*x^38*y^22 - 3975751361*x^38*y^21 +
7076709943*x^38*y^20 + 2751397557*x^38*y^19 - 1938164689*x^38*y^18 -
797333690*x^38*y^17 + 376189058*x^38*y^16 + 68112180*x^38*y^15 -
26724951*x^38*y^14 - 1282118*x^38*y^13 - 603130*x^38*y^12 + 320056*x^38*y^11
+ 27731*x^38*y^10 - 11248*x^38*y^9 - 10*x^38*y^8 - 3124550*x^37*y^45 -
22475024*x^37*y^44 + 54296528*x^37*y^43 + 319634796*x^37*y^42 -
665859180*x^37*y^41 - 1133720196*x^37*y^40 + 2184087088*x^37*y^39 +
532462915*x^37*y^38 - 3095459098*x^37*y^37 - 12568165373*x^37*y^36 +
13551464362*x^37*y^35 + 30829763531*x^37*y^34 + 5836360514*x^37*y^33 -
54423628315*x^37*y^32 - 40788208752*x^37*y^31 + 36864463818*x^37*y^30 +
51438815416*x^37*y^29 + 1670948532*x^37*y^28 - 21212083114*x^37*y^27 -
10021363242*x^37*y^26 - 4989263218*x^37*y^25 - 16955936763*x^37*y^24 +
18549365484*x^37*y^23 + 16393971171*x^37*y^22 - 3770648912*x^37*y^21 -
12954325237*x^37*y^20 + 840487160*x^37*y^19 + 4239496782*x^37*y^18 -
1758671*x^37*y^17 - 805452780*x^37*y^16 - 2353454*x^37*y^15 +
88357630*x^37*y^14 - 10098187*x^37*y^13 - 90384*x^37*y^12 - 421172*x^37*y^11
+ 12138*x^37*y^10 + 29064*x^37*y^9 - 3062*x^37*y^8 + 1562275*x^36*y^46 +
16687605*x^36*y^45 - 3334595*x^36*y^44 - 273818633*x^36*y^43 +
104465952*x^36*y^42 + 1485947136*x^36*y^41 - 605572959*x^36*y^40 -
1667441447*x^36*y^39 - 523951121*x^36*y^38 + 11633136784*x^36*y^37 +
2127728735*x^36*y^36 - 32680928510*x^36*y^35 - 29576258245*x^36*y^34 +
35414051818*x^36*y^33 + 90255245537*x^36*y^32 - 9820740210*x^36*y^31 -
83266278701*x^36*y^30 - 58986958086*x^36*y^29 + 48697415431*x^36*y^28 +
46752430865*x^36*y^27 - 7825930114*x^36*y^26 + 10984105555*x^36*y^25 -
10742270583*x^36*y^24 - 18156281166*x^36*y^23 - 16063281435*x^36*y^22 +
22499585090*x^36*y^21 + 9977052196*x^36*y^20 - 7213640714*x^36*y^19 -
5274412799*x^36*y^18 + 2003391393*x^36*y^17 + 1209995259*x^36*y^16 -
393201311*x^36*y^15 - 101276459*x^36*y^14 + 33753139*x^36*y^13 +
625539*x^36*y^12 + 40395*x^36*y^11 - 173449*x^36*y^10 - 410*x^36*y^9 +
4422*x^36*y^8 + x^36*y^7 - 657800*x^35*y^47 - 9876130*x^35*y^46 -
18999090*x^35*y^45 + 157426192*x^35*y^44 + 230074427*x^35*y^43 -
1037512523*x^35*y^42 - 850358515*x^35*y^41 + 1069788445*x^35*y^40 +
2704576367*x^35*y^39 - 4799373709*x^35*y^38 - 13054287589*x^35*y^37 +
19262189980*x^35*y^36 + 40338120135*x^35*y^35 + 9350508838*x^35*y^34 -
109162751092*x^35*y^33 - 49630358593*x^35*y^32 + 63132947756*x^35*y^31 +
153585791710*x^35*y^30 - 21868964019*x^35*y^29 - 110146691865*x^35*y^28 -
30643371761*x^35*y^27 + 23006599541*x^35*y^26 + 27374512815*x^35*y^25 -
2083765834*x^35*y^24 + 30538906741*x^35*y^23 - 12701787583*x^35*y^22 -
25521969241*x^35*y^21 - 2693572330*x^35*y^20 + 16128351667*x^35*y^19 +
1934931392*x^35*y^18 - 4875978939*x^35*y^17 - 610815265*x^35*y^16 +
926968830*x^35*y^15 + 40213717*x^35*y^14 - 95459598*x^35*y^13 +
11228501*x^35*y^12 + 172374*x^35*y^11 + 139010*x^35*y^10 - 10483*x^35*y^9 -
10961*x^35*y^8 + 1372*x^35*y^7 + 230230*x^34*y^48 + 4730066*x^34*y^47 +
20074483*x^34*y^46 - 54607289*x^34*y^45 - 281178887*x^34*y^44 +
353279069*x^34*y^43 + 1303202227*x^34*y^42 + 334754637*x^34*y^41 -
2278842671*x^34*y^40 - 2182224627*x^34*y^39 + 12370687884*x^34*y^38 -
1127619060*x^34*y^37 - 30033554435*x^34*y^36 - 47501556737*x^34*y^35 +
74676648452*x^34*y^34 + 98992793232*x^34*y^33 + 18458189776*x^34*y^32 -
201220904152*x^34*y^31 - 92699644608*x^34*y^30 + 130567189859*x^34*y^29 +
137600322328*x^34*y^28 - 11453259324*x^34*y^27 - 100819685219*x^34*y^26 -
2122986219*x^34*y^25 - 1104235661*x^34*y^24 - 4898422021*x^34*y^23 +
23009741926*x^34*y^22 + 23024284941*x^34*y^21 - 14915946700*x^34*y^20 -
17646594582*x^34*y^19 + 5259133665*x^34*y^18 + 6760794941*x^34*y^17 -
1365909300*x^34*y^16 - 1410408664*x^34*y^15 + 295801393*x^34*y^14 +
127889927*x^34*y^13 - 36054919*x^34*y^12 + 664389*x^34*y^11 +
63105*x^34*y^10 + 73893*x^34*y^9 - 7566*x^34*y^8 - 882*x^34*y^7 -
65780*x^33*y^49 - 1833007*x^33*y^48 - 12828926*x^33*y^47 + 882189*x^33*y^46
+ 179183433*x^33*y^45 + 87254299*x^33*y^44 - 892869956*x^33*y^43 -
1230107004*x^33*y^42 + 353163958*x^33*y^41 + 4678419750*x^33*y^40 -
3985251108*x^33*y^39 - 8370538374*x^33*y^38 + 8821631816*x^33*y^37 +
52120547290*x^33*y^36 - 12183074678*x^33*y^35 - 96459091601*x^33*y^34 -
103566808852*x^33*y^33 + 130287155571*x^33*y^32 + 230695590900*x^33*y^31 -
50233024876*x^33*y^30 - 211216051260*x^33*y^29 - 135656989537*x^33*y^28 +
171682373556*x^33*y^27 + 95942774580*x^33*y^26 - 33906276232*x^33*y^25 -
23702370237*x^33*y^24 - 14795556926*x^33*y^23 - 10232012722*x^33*y^22 -
14855377776*x^33*y^21 + 32686921203*x^33*y^20 + 7424825282*x^33*y^19 -
13109975941*x^33*y^18 - 5156262417*x^33*y^17 + 4281834797*x^33*y^16 +
1182567000*x^33*y^15 - 869499739*x^33*y^14 - 64191046*x^33*y^13 +
80387794*x^33*y^12 - 8264482*x^33*y^11 - 316940*x^33*y^10 + 16873*x^33*y^9 -
1758*x^33*y^8 + 3234*x^33*y^7 - 455*x^33*y^6 + 14950*x^32*y^50 +
568676*x^32*y^49 + 5965708*x^32*y^48 + 12947506*x^32*y^47 -
68535720*x^32*y^46 - 192598186*x^32*y^45 + 289196523*x^32*y^44 +
1162973835*x^32*y^43 + 1181149312*x^32*y^42 - 2900405718*x^32*y^41 -
3169077358*x^32*y^40 + 6013822016*x^32*y^39 + 6153175219*x^32*y^38 -
28190193275*x^32*y^37 - 29905805157*x^32*y^36 + 47614071628*x^32*y^35 +
122048289202*x^32*y^34 + 21443179258*x^32*y^33 - 276452812418*x^32*y^32 -
80568790028*x^32*y^31 + 118765560959*x^32*y^30 + 361044377167*x^32*y^29 -
113798646963*x^32*y^28 - 224302802318*x^32*y^27 - 48428258444*x^32*y^26 +
89685308844*x^32*y^25 + 81347771784*x^32*y^24 - 53534238299*x^32*y^23 +
36139152600*x^32*y^22 - 29012935646*x^32*y^21 - 15019327169*x^32*y^20 -
1150343881*x^32*y^19 + 20447726929*x^32*y^18 - 1622218615*x^32*y^17 -
6545577752*x^32*y^16 + 485521563*x^32*y^15 + 1259511435*x^32*y^14 -
133043841*x^32*y^13 - 134412572*x^32*y^12 + 32456878*x^32*y^11 -
1564370*x^32*y^10 + 56057*x^32*y^9 - 31614*x^32*y^8 + 5440*x^32*y^7 -
105*x^32*y^6 - 2600*x^31*y^51 - 138285*x^31*y^50 - 2103690*x^31*y^49 -
9674548*x^31*y^48 + 9658667*x^31*y^47 + 124525621*x^31*y^46 +
53310136*x^31*y^45 - 595231318*x^31*y^44 - 1457248329*x^31*y^43 +
117713378*x^31*y^42 + 4512881875*x^31*y^41 + 838370195*x^31*y^40 -
7603463739*x^31*y^39 + 2276399246*x^31*y^38 + 30471838438*x^31*y^37 +
1822829600*x^31*y^36 - 67734724351*x^31*y^35 - 135869422312*x^31*y^34 +
192209925100*x^31*y^33 + 142818946214*x^31*y^32 + 110489229423*x^31*y^31 -
453399310278*x^31*y^30 - 94671377040*x^31*y^29 + 219750763742*x^31*y^28 +
250982888420*x^31*y^27 - 43894398343*x^31*y^26 - 249152254610*x^31*y^25 +
67907574882*x^31*y^24 - 1119636414*x^31*y^23 + 46770883355*x^31*y^22 -
21880492817*x^31*y^21 + 31456831384*x^31*y^20 - 24802597579*x^31*y^19 -
10760200094*x^31*y^18 + 7644543665*x^31*y^17 + 6024669485*x^31*y^16 -
2566588181*x^31*y^15 - 1458127879*x^31*y^14 + 677884467*x^31*y^13 +
64810522*x^31*y^12 - 54327232*x^31*y^11 + 4103487*x^31*y^10 +
409776*x^31*y^9 - 53486*x^31*y^8 + 6102*x^31*y^7 - 900*x^31*y^6 +
105*x^31*y^5 + 325*x^30*y^52 + 25435*x^30*y^51 + 562630*x^30*y^50 +
4298612*x^30*y^49 + 6265287*x^30*y^48 - 43601593*x^30*y^47 -
113558635*x^30*y^46 + 121535645*x^30*y^45 + 905928925*x^30*y^44 +
1243872455*x^30*y^43 - 2073374146*x^30*y^42 - 4355238580*x^30*y^41 +
1469790435*x^30*y^40 + 7431517895*x^30*y^39 - 9180107586*x^30*y^38 -
17043417471*x^30*y^37 - 1623865994*x^30*y^36 + 141366140690*x^30*y^35 -
59613044784*x^30*y^34 - 91087130134*x^30*y^33 - 277048740200*x^30*y^32 +
282434148026*x^30*y^31 + 304800037730*x^30*y^30 - 46204918455*x^30*y^29 -
329800096264*x^30*y^28 - 232543140366*x^30*y^27 + 372379976717*x^30*y^26 +
57856226970*x^30*y^25 - 7225462821*x^30*y^24 - 151956233973*x^30*y^23 +
60657147349*x^30*y^22 - 16574331371*x^30*y^21 + 9088990345*x^30*y^20 +
11594685221*x^30*y^19 + 6516664293*x^30*y^18 - 13303342838*x^30*y^17 -
2610987564*x^30*y^16 + 5224572440*x^30*y^15 + 65904871*x^30*y^14 -
856269317*x^30*y^13 - 2922066*x^30*y^12 + 114308356*x^30*y^11 -
24163270*x^30*y^10 + 1546389*x^30*y^9 - 115422*x^30*y^8 + 16174*x^30*y^7 -
2205*x^30*y^6 + 120*x^30*y^5 - 26*x^29*y^53 - 3331*x^29*y^52 -
111310*x^29*y^51 - 1325738*x^29*y^50 - 5151287*x^29*y^49 + 5009001*x^29*y^48
+ 61711696*x^29*y^47 + 58432903*x^29*y^46 - 305300053*x^29*y^45 -
1100674905*x^29*y^44 - 255688870*x^29*y^43 + 3290986547*x^29*y^42 +
3236705630*x^29*y^41 - 3710110917*x^29*y^40 - 5284052270*x^29*y^39 +
4179790045*x^29*y^38 + 32708854483*x^29*y^37 - 73966932152*x^29*y^36 -
19750826156*x^29*y^35 + 1262018054*x^29*y^34 + 237765198083*x^29*y^33 +
29612555183*x^29*y^32 - 367960013442*x^29*y^31 - 91232226073*x^29*y^30 +
66192078810*x^29*y^29 + 599242565728*x^29*y^28 - 303662962068*x^29*y^27 -
171282327894*x^29*y^26 - 169070151346*x^29*y^25 + 268288757456*x^29*y^24 +
30761114430*x^29*y^23 - 58280621759*x^29*y^22 - 15257681246*x^29*y^21 +
2377893109*x^29*y^20 - 5181334236*x^29*y^19 + 32995113*x^29*y^18 +
14093079932*x^29*y^17 - 4377925613*x^29*y^16 - 4060277906*x^29*y^15 +
710102194*x^29*y^14 + 1323479887*x^29*y^13 - 435907915*x^29*y^12 -
50950034*x^29*y^11 + 30958963*x^29*y^10 - 1444324*x^29*y^9 - 339907*x^29*y^8
+ 36550*x^29*y^7 - 3738*x^29*y^6 + 259*x^29*y^5 - 15*x^29*y^4 + x^28*y^54 +
277*x^28*y^53 + 15425*x^28*y^52 + 288897*x^28*y^51 + 2014758*x^28*y^50 +
3265308*x^28*y^49 - 16223954*x^28*y^48 - 58091061*x^28*y^47 +
11800652*x^28*y^46 + 486692845*x^28*y^45 + 908906327*x^28*y^44 -
875760931*x^28*y^43 - 3440247093*x^28*y^42 - 1762683585*x^28*y^41 +
4935407857*x^28*y^40 + 9716074353*x^28*y^39 - 23054518573*x^28*y^38 +
12224734060*x^28*y^37 + 26047069512*x^28*y^36 + 33448757952*x^28*y^35 -
61199393213*x^28*y^34 - 245301680624*x^28*y^33 + 297419769097*x^28*y^32 +
11373801230*x^28*y^31 + 385261133644*x^28*y^30 - 757894678246*x^28*y^29 +
128711155459*x^28*y^28 + 31261170860*x^28*y^27 + 455416135037*x^28*y^26 -
185728064141*x^28*y^25 - 249215517147*x^28*y^24 + 79374239529*x^28*y^23 +
42382838209*x^28*y^22 + 58062762576*x^28*y^21 - 65184861330*x^28*y^20 +
30741391787*x^28*y^19 - 19122373098*x^28*y^18 + 1136878125*x^28*y^17 +
2246151092*x^28*y^16 + 4913569609*x^28*y^15 - 3455760377*x^28*y^14 -
220350485*x^28*y^13 + 450392292*x^28*y^12 + 56339059*x^28*y^11 -
76036771*x^28*y^10 + 14381389*x^28*y^9 - 965679*x^28*y^8 + 79084*x^28*y^7 -
7284*x^28*y^6 + 597*x^28*y^5 - 31*x^28*y^4 - 11*x^27*y^54 - 1340*x^27*y^53 -
42844*x^27*y^52 - 500506*x^27*y^51 - 2100288*x^27*y^50 + 102441*x^27*y^49 +
21488250*x^27*y^48 + 42578182*x^27*y^47 - 92353566*x^27*y^46 -
560623224*x^27*y^45 - 397219949*x^27*y^44 + 1491979530*x^27*y^43 +
3041735140*x^27*y^42 + 665408163*x^27*y^41 - 10504500107*x^27*y^40 +
2744837003*x^27*y^39 + 8422156989*x^27*y^38 - 7275238327*x^27*y^37 -
4222123649*x^27*y^36 - 80997717339*x^27*y^35 + 261904482114*x^27*y^34 -
201652427604*x^27*y^33 + 185771864542*x^27*y^32 - 624539821783*x^27*y^31 +
575676793269*x^27*y^30 - 19619017400*x^27*y^29 + 250027581666*x^27*y^28 -
489332550411*x^27*y^27 - 161575889434*x^27*y^26 + 396371296745*x^27*y^25 -
11851522796*x^27*y^24 + 56965523574*x^27*y^23 - 266199126532*x^27*y^22 +
162224108160*x^27*y^21 - 46213475433*x^27*y^20 + 39694868199*x^27*y^19 -
28486087154*x^27*y^18 + 17337297165*x^27*y^17 - 12893871174*x^27*y^16 +
2761273210*x^27*y^15 + 1613261254*x^27*y^14 + 282515443*x^27*y^13 -
882074534*x^27*y^12 + 216893157*x^27*y^11 + 35428707*x^27*y^10 -
15868516*x^27*y^9 + 515641*x^27*y^8 + 178839*x^27*y^7 - 14945*x^27*y^6 +
1161*x^27*y^5 - 57*x^27*y^4 + x^27*y^3 + 55*x^26*y^54 + 3901*x^26*y^53 +
80359*x^26*y^52 + 625737*x^26*y^51 + 1573002*x^26*y^50 - 2849289*x^26*y^49 -
21368146*x^26*y^48 - 20574854*x^26*y^47 + 160776178*x^26*y^46 +
460500213*x^26*y^45 - 71076206*x^26*y^44 - 1578977224*x^26*y^43 -
2998504826*x^26*y^42 + 3761058880*x^26*y^41 + 6484365009*x^26*y^40 -
4052208363*x^26*y^39 + 1908440709*x^26*y^38 - 32714135952*x^26*y^37 +
105608986095*x^26*y^36 - 160168690761*x^26*y^35 + 134309548217*x^26*y^34 -
261514531235*x^26*y^33 + 463767627085*x^26*y^32 - 188969822227*x^26*y^31 -
55948025143*x^26*y^30 - 246039308050*x^26*y^29 + 39564064316*x^26*y^28 +
603861705762*x^26*y^27 - 427692310099*x^26*y^26 + 92530654075*x^26*y^25 -
398445553244*x^26*y^24 + 492750902856*x^26*y^23 - 175093630811*x^26*y^22 +
74317033103*x^26*y^21 - 130782967072*x^26*y^20 + 89826951478*x^26*y^19 -
34579462161*x^26*y^18 + 16542794189*x^26*y^17 - 5928670624*x^26*y^16 +
3023271432*x^26*y^15 - 3933566740*x^26*y^14 + 1661236411*x^26*y^13 +
227668469*x^26*y^12 - 200414325*x^26*y^11 - 45387007*x^26*y^10 +
38371622*x^26*y^9 - 6582051*x^26*y^8 + 405301*x^26*y^7 - 30036*x^26*y^6 +
2124*x^26*y^5 - 107*x^26*y^4 + 3*x^26*y^3 - 165*x^25*y^54 - 7660*x^25*y^53 -
109754*x^25*y^52 - 607320*x^25*y^51 - 857070*x^25*y^50 + 4187937*x^25*y^49 +
18068834*x^25*y^48 - 4169462*x^25*y^47 - 181047180*x^25*y^46 -
266492410*x^25*y^45 + 237666659*x^25*y^44 + 1911495048*x^25*y^43 +
1034896530*x^25*y^42 - 4834951114*x^25*y^41 - 1293878850*x^25*y^40 -
7680079394*x^25*y^39 + 37298208752*x^25*y^38 - 56781412194*x^25*y^37 +
60259913606*x^25*y^36 - 75791953080*x^25*y^35 + 144222889692*x^25*y^34 -
96296819991*x^25*y^33 - 172200873490*x^25*y^32 + 234173295776*x^25*y^31 -
193866095375*x^25*y^30 + 657808075243*x^25*y^29 - 959220620504*x^25*y^28 +
572357417394*x^25*y^27 - 514028909204*x^25*y^26 + 815678734195*x^25*y^25 -
543154645690*x^25*y^24 + 132501229892*x^25*y^23 - 181311743967*x^25*y^22 +
234894514705*x^25*y^21 - 89874614025*x^25*y^20 + 16764200374*x^25*y^19 -
29405084707*x^25*y^18 + 24741623937*x^25*y^17 - 12096443561*x^25*y^16 +
5737818420*x^25*y^15 - 831874700*x^25*y^14 - 496919906*x^25*y^13 -
344565343*x^25*y^12 + 407113102*x^25*y^11 - 71146855*x^25*y^10 -
22643821*x^25*y^9 + 7566210*x^25*y^8 - 294346*x^25*y^7 - 58800*x^25*y^6 +
3820*x^25*y^5 - 195*x^25*y^4 + 6*x^25*y^3 + 330*x^24*y^54 + 10842*x^24*y^53
+ 116658*x^24*y^52 + 491634*x^24*y^51 + 290511*x^24*y^50 - 4371632*x^24*y^49
- 13008896*x^24*y^48 + 24003551*x^24*y^47 + 142185585*x^24*y^46 +
157122482*x^24*y^45 - 450654529*x^24*y^44 - 1638306691*x^24*y^43 +
1067248522*x^24*y^42 + 1219758561*x^24*y^41 + 9454946557*x^24*y^40 -
18017247761*x^24*y^39 + 9327010918*x^24*y^38 - 8924575895*x^24*y^37 +
12563964035*x^24*y^36 + 27998610353*x^24*y^35 - 172439715607*x^24*y^34 +
358685018883*x^24*y^33 - 456213866049*x^24*y^32 + 687378145955*x^24*y^31 -
1101041314097*x^24*y^30 + 1112144149522*x^24*y^29 - 856912160029*x^24*y^28 +
983057029625*x^24*y^27 - 961457497485*x^24*y^26 + 406985333077*x^24*y^25 -
137909967800*x^24*y^24 + 264873403025*x^24*y^23 - 154436687930*x^24*y^22 -
54367405592*x^24*y^21 + 29319423712*x^24*y^20 + 41450686331*x^24*y^19 -
21505314432*x^24*y^18 - 1131151477*x^24*y^17 - 719135326*x^24*y^16 +
2033429904*x^24*y^15 - 1643798595*x^24*y^14 + 1406452617*x^24*y^13 -
350496670*x^24*y^12 - 209006929*x^24*y^11 + 90076467*x^24*y^10 +
18976426*x^24*y^9 - 14344522*x^24*y^8 + 2247600*x^24*y^7 - 112158*x^24*y^6 +
6744*x^24*y^5 - 335*x^24*y^4 + 10*x^24*y^3 - 462*x^23*y^54 - 11664*x^23*y^53
- 102804*x^23*y^52 - 350700*x^23*y^51 + 24184*x^23*y^50 + 3932954*x^23*y^49
+ 6916798*x^23*y^48 - 27842323*x^23*y^47 - 98958460*x^23*y^46 -
87353612*x^23*y^45 + 658462677*x^23*y^44 + 446010684*x^23*y^43 +
208779663*x^23*y^42 - 5021744636*x^23*y^41 + 864057013*x^23*y^40 +
7877223460*x^23*y^39 - 7705214641*x^23*y^38 + 32244556907*x^23*y^37 -
109485226407*x^23*y^36 + 222265592062*x^23*y^35 - 347951431073*x^23*y^34 +
511544661782*x^23*y^33 - 779747909851*x^23*y^32 + 989543363169*x^23*y^31 -
924686712685*x^23*y^30 + 870240698015*x^23*y^29 - 922878646496*x^23*y^28 +
596294426007*x^23*y^27 - 97784224144*x^23*y^26 + 32147534707*x^23*y^25 -
44637801963*x^23*y^24 - 211812676624*x^23*y^23 + 296767025882*x^23*y^22 -
119606746618*x^23*y^21 + 45335953094*x^23*y^20 - 78246282697*x^23*y^19 +
54806169826*x^23*y^18 - 10393574584*x^23*y^17 - 302783314*x^23*y^16 -
1555296621*x^23*y^15 + 1247111487*x^23*y^14 - 849022431*x^23*y^13 +
382500434*x^23*y^12 + 89687914*x^23*y^11 - 111208704*x^23*y^10 +
7217088*x^23*y^9 + 12239126*x^23*y^8 - 3201726*x^23*y^7 + 169281*x^23*y^6 +
11552*x^23*y^5 - 541*x^23*y^4 + 15*x^23*y^3 + 462*x^22*y^54 +
10050*x^22*y^53 + 78519*x^22*y^52 + 231721*x^22*y^51 - 155389*x^22*y^50 -
3078383*x^22*y^49 - 2177487*x^22*y^48 + 19793225*x^22*y^47 +
83218957*x^22*y^46 - 52576258*x^22*y^45 - 355514450*x^22*y^44 -
486245694*x^22*y^43 + 702316913*x^22*y^42 + 3977257856*x^22*y^41 -
6330480973*x^22*y^40 + 9992925093*x^22*y^39 - 39188860179*x^22*y^38 +
86705504664*x^22*y^37 - 136940686224*x^22*y^36 + 215259926088*x^22*y^35 -
334993475469*x^22*y^34 + 449489463935*x^22*y^33 - 462506986141*x^22*y^32 +
380319047577*x^22*y^31 - 322712840251*x^22*y^30 + 160084215412*x^22*y^29 +
240713820998*x^22*y^28 - 511661691136*x^22*y^27 + 504789706703*x^22*y^26 -
612369412700*x^22*y^25 + 762316048082*x^22*y^24 - 594428557048*x^22*y^23 +
347758353023*x^22*y^22 - 300134696036*x^22*y^21 + 260460967339*x^22*y^20 -
130902463895*x^22*y^19 + 48378830629*x^22*y^18 - 35577825246*x^22*y^17 +
25601474465*x^22*y^16 - 10048890075*x^22*y^15 + 2709718888*x^22*y^14 -
841127767*x^22*y^13 + 260251530*x^22*y^12 - 193372814*x^22*y^11 +
150627373*x^22*y^10 - 41996898*x^22*y^9 - 4040293*x^22*y^8 +
3909839*x^22*y^7 - 566790*x^22*y^6 + 19061*x^22*y^5 - 827*x^22*y^4 +
21*x^22*y^3 - 330*x^21*y^54 - 7242*x^21*y^53 - 52987*x^21*y^52 -
150710*x^21*y^51 + 204361*x^21*y^50 + 1904269*x^21*y^49 + 1133452*x^21*y^48
- 16938456*x^21*y^47 - 47263250*x^21*y^46 + 72828226*x^21*y^45 +
172267565*x^21*y^44 + 591593474*x^21*y^43 - 2189820650*x^21*y^42 +
2026794164*x^21*y^41 - 6768493805*x^21*y^40 + 21371217642*x^21*y^39 -
32141982657*x^21*y^38 + 42910707837*x^21*y^37 - 70432624867*x^21*y^36 +
84912875148*x^21*y^35 - 40514766155*x^21*y^34 - 70644982341*x^21*y^33 +
229617174941*x^21*y^32 - 449480422232*x^21*y^31 + 787881991706*x^21*y^30 -
1146322804462*x^21*y^29 + 1310092619179*x^21*y^28 - 1356756522336*x^21*y^27
+ 1426426987703*x^21*y^26 - 1306050330061*x^21*y^25 + 955233311072*x^21*y^24
- 706740840424*x^21*y^23 + 593408830219*x^21*y^22 - 403683585205*x^21*y^21 +
206445004318*x^21*y^20 - 134270005204*x^21*y^19 + 110028035042*x^21*y^18 -
62382243449*x^21*y^17 + 24042258835*x^21*y^16 - 11544905762*x^21*y^15 +
7229138535*x^21*y^14 - 3381378353*x^21*y^13 + 1200393770*x^21*y^12 -
346779702*x^21*y^11 + 41600400*x^21*y^10 + 6037000*x^21*y^9 +
5982342*x^21*y^8 - 5013514*x^21*y^7 + 1092164*x^21*y^6 - 68031*x^21*y^5 -
1207*x^21*y^4 + 28*x^21*y^3 + 165*x^20*y^54 + 4385*x^20*y^53 +
32449*x^20*y^52 + 94569*x^20*y^51 - 167145*x^20*y^50 - 1059313*x^20*y^49 -
1091937*x^20*y^48 + 15006966*x^20*y^47 + 9704039*x^20*y^46 +
2416330*x^20*y^45 - 322308242*x^20*y^44 + 350560773*x^20*y^43 -
195337856*x^20*y^42 + 2487182224*x^20*y^41 - 4308863425*x^20*y^40 +
167552641*x^20*y^39 + 3534155511*x^20*y^38 - 13195488651*x^20*y^37 +
61456325395*x^20*y^36 - 160529849920*x^20*y^35 + 307420936723*x^20*y^34 -
527184867566*x^20*y^33 + 841455456975*x^20*y^32 - 1209916071478*x^20*y^31 +
1523963928450*x^20*y^30 - 1717714034232*x^20*y^29 + 1825803658110*x^20*y^28
- 1795048597221*x^20*y^27 + 1522910973399*x^20*y^26 -
1160956525825*x^20*y^25 + 902667487667*x^20*y^24 - 661654162467*x^20*y^23 +
387592662136*x^20*y^22 - 227613424758*x^20*y^21 + 189408519000*x^20*y^20 -
141651449463*x^20*y^19 + 74385048757*x^20*y^18 - 42585193458*x^20*y^17 +
33907044572*x^20*y^16 - 21276359850*x^20*y^15 + 8839776015*x^20*y^14 -
3137288073*x^20*y^13 + 1301016216*x^20*y^12 - 533048797*x^20*y^11 +
203510105*x^20*y^10 - 73581791*x^20*y^9 + 16287771*x^20*y^8 +
101419*x^20*y^7 - 777315*x^20*y^6 + 107680*x^20*y^5 - 1695*x^20*y^4 +
36*x^20*y^3 - 55*x^19*y^54 - 2116*x^19*y^53 - 18752*x^19*y^52 -
52234*x^19*y^51 + 68547*x^19*y^50 + 779313*x^19*y^49 - 128804*x^19*y^48 -
6079788*x^19*y^47 - 14550305*x^19*y^46 + 36822234*x^19*y^45 +
106524572*x^19*y^44 - 90389496*x^19*y^43 - 112026424*x^19*y^42 -
1683066181*x^19*y^41 + 5761738779*x^19*y^40 - 11426865071*x^19*y^39 +
30102211957*x^19*y^38 - 75135082151*x^19*y^37 + 145832752448*x^19*y^36 -
255600096458*x^19*y^35 + 432504889187*x^19*y^34 - 666723710679*x^19*y^33 +
911938251562*x^19*y^32 - 1128897721463*x^19*y^31 + 1292801223998*x^19*y^30 -
1360929375018*x^19*y^29 + 1266337738582*x^19*y^28 - 1025131746779*x^19*y^27
+ 763853644745*x^19*y^26 - 528680950135*x^19*y^25 + 280610689368*x^19*y^24 -
93192604789*x^19*y^23 + 45997789961*x^19*y^22 - 51676029918*x^19*y^21 +
29414810493*x^19*y^20 - 19530552702*x^19*y^19 + 38098458167*x^19*y^18 -
42653825479*x^19*y^17 + 26355676300*x^19*y^16 - 13008901841*x^19*y^15 +
7992298465*x^19*y^14 - 4810231499*x^19*y^13 + 2068268017*x^19*y^12 -
652304146*x^19*y^11 + 173524128*x^19*y^10 - 36907079*x^19*y^9 +
7321857*x^19*y^8 - 3452742*x^19*y^7 + 1447629*x^19*y^6 - 276420*x^19*y^5 +
18170*x^19*y^4 + 45*x^19*y^3 + 11*x^18*y^54 + 737*x^18*y^53 + 9829*x^18*y^52
+ 28203*x^18*y^51 - 16297*x^18*y^50 - 502062*x^18*y^49 + 310912*x^18*y^48 +
1978000*x^18*y^47 + 14017794*x^18*y^46 - 49444532*x^18*y^45 +
45805383*x^18*y^44 - 298056883*x^18*y^43 + 1278359288*x^18*y^42 -
2648768290*x^18*y^41 + 5991604009*x^18*y^40 - 16293815467*x^18*y^39 +
34422870262*x^18*y^38 - 60808666417*x^18*y^37 + 107585773490*x^18*y^36 -
178853779264*x^18*y^35 + 254183373479*x^18*y^34 - 317271212423*x^18*y^33 +
360859070787*x^18*y^32 - 356759411281*x^18*y^31 + 267748055010*x^18*y^30 -
93129012151*x^18*y^29 - 115567337368*x^18*y^28 + 304937961048*x^18*y^27 -
464823509909*x^18*y^26 + 569611297347*x^18*y^25 - 560855415719*x^18*y^24 +
458802847869*x^18*y^23 - 349516063850*x^18*y^22 + 249954160583*x^18*y^21 -
138837710928*x^18*y^20 + 49075100868*x^18*y^19 - 10800736934*x^18*y^18 -
262416487*x^18*y^17 + 8533606187*x^18*y^16 - 11541282497*x^18*y^15 +
7643074018*x^18*y^14 - 3247486417*x^18*y^13 + 1287952897*x^18*y^12 -
598617371*x^18*y^11 + 249734465*x^18*y^10 - 82263605*x^18*y^9 +
22585540*x^18*y^8 - 4303120*x^18*y^7 + 151319*x^18*y^6 + 116037*x^18*y^5 -
16155*x^18*y^4 + 55*x^18*y^3 - x^17*y^54 - 160*x^17*y^53 - 4000*x^17*y^52 -
18340*x^17*y^51 + 16327*x^17*y^50 + 164913*x^17*y^49 + 444598*x^17*y^48 -
3406140*x^17*y^47 + 2419313*x^17*y^46 - 10404722*x^17*y^45 +
101135805*x^17*y^44 - 237159922*x^17*y^43 + 400409576*x^17*y^42 -
1334327266*x^17*y^41 + 3353056590*x^17*y^40 - 5017132732*x^17*y^39 +
7023983285*x^17*y^38 - 10419907185*x^17*y^37 + 5531871222*x^17*y^36 +
21979675918*x^17*y^35 - 78789582095*x^17*y^34 + 179372891572*x^17*y^33 -
349304905189*x^17*y^32 + 590319924752*x^17*y^31 - 868133028746*x^17*y^30 +
1137775565493*x^17*y^29 - 1358734279649*x^17*y^28 + 1487963113126*x^17*y^27
- 1481891333829*x^17*y^26 + 1337020267404*x^17*y^25 -
1111149605887*x^17*y^24 + 862206468134*x^17*y^23 - 609929595774*x^17*y^22 +
383220664056*x^17*y^21 - 222352619337*x^17*y^20 + 124609275084*x^17*y^19 -
59698405275*x^17*y^18 + 18349556994*x^17*y^17 - 1774083119*x^17*y^16 -
945595152*x^17*y^15 + 1426548600*x^17*y^14 - 1810905531*x^17*y^13 +
1299573068*x^17*y^12 - 544870868*x^17*y^11 + 155351844*x^17*y^10 -
39379027*x^17*y^9 + 10160283*x^17*y^8 - 2642226*x^17*y^7 + 889079*x^17*y^6 -
280501*x^17*y^5 + 48847*x^17*y^4 - 3210*x^17*y^3 + 16*x^16*y^53 +
1028*x^16*y^52 + 10748*x^16*y^51 - 5478*x^16*y^50 - 70455*x^16*y^49 -
277935*x^16*y^48 + 1423924*x^16*y^47 + 345550*x^16*y^46 - 114716*x^16*y^45 -
33922615*x^16*y^44 + 78783539*x^16*y^43 - 130709851*x^16*y^42 +
687831164*x^16*y^41 - 2447831625*x^16*y^40 + 5985158822*x^16*y^39 -
14873548065*x^16*y^38 + 37188304724*x^16*y^37 - 80785978686*x^16*y^36 +
155945605117*x^16*y^35 - 282498651988*x^16*y^34 + 475832745573*x^16*y^33 -
729077961792*x^16*y^32 + 1021214596758*x^16*y^31 - 1322522302770*x^16*y^30 +
1582813059947*x^16*y^29 - 1740208234450*x^16*y^28 + 1755194201368*x^16*y^27
- 1632039322953*x^16*y^26 + 1406005919243*x^16*y^25 -
1118678769752*x^16*y^24 + 817169481260*x^16*y^23 - 554316739235*x^16*y^22 +
357736344463*x^16*y^21 - 217751907843*x^16*y^20 + 120356439815*x^16*y^19 -
62077482892*x^16*y^18 + 32819340799*x^16*y^17 - 16485790682*x^16*y^16 +
5928180438*x^16*y^15 - 1033655284*x^16*y^14 + 16315435*x^16*y^13 +
3376989*x^16*y^12 - 68500467*x^16*y^11 + 91710434*x^16*y^10 -
50692690*x^16*y^9 + 16622176*x^16*y^8 - 3951954*x^16*y^7 + 665980*x^16*y^6 -
29175*x^16*y^5 - 13925*x^16*y^4 + 1968*x^16*y^3 - 120*x^15*y^52 -
3784*x^15*y^51 - 10090*x^15*y^50 + 76714*x^15*y^49 - 70714*x^15*y^48 +
463770*x^15*y^47 - 4734029*x^15*y^46 + 16124505*x^15*y^45 -
40366001*x^15*y^44 + 150848999*x^15*y^43 - 524279772*x^15*y^42 +
1372246274*x^15*y^41 - 3423061770*x^15*y^40 + 8796737802*x^15*y^39 -
20465931196*x^15*y^38 + 42341947244*x^15*y^37 - 82631883928*x^15*y^36 +
152571485145*x^15*y^35 - 258269070615*x^15*y^34 + 400170220322*x^15*y^33 -
576163689210*x^15*y^32 + 770881949758*x^15*y^31 - 949041186550*x^15*y^30 +
1072574528961*x^15*y^29 - 1117869215380*x^15*y^28 + 1076215471645*x^15*y^27
- 953315868641*x^15*y^26 + 774040640840*x^15*y^25 - 578873020144*x^15*y^24 +
404770181272*x^15*y^23 - 267749523052*x^15*y^22 + 168286150906*x^15*y^21 -
104165175170*x^15*y^20 + 68122796106*x^15*y^19 - 46193501137*x^15*y^18 +
29123205530*x^15*y^17 - 16685453510*x^15*y^16 + 9424510110*x^15*y^15 -
5122134237*x^15*y^14 + 2212206522*x^15*y^13 - 620981021*x^15*y^12 +
96998364*x^15*y^11 - 15091955*x^15*y^10 + 6960160*x^15*y^9 -
1219372*x^15*y^8 - 522392*x^15*y^7 + 333840*x^15*y^6 - 119690*x^15*y^5 +
34004*x^15*y^4 - 5691*x^15*y^3 + 378*x^15*y^2 + 560*x^14*y^51 +
8330*x^14*y^50 - 24934*x^14*y^49 - 57946*x^14*y^48 + 225946*x^14*y^47 -
267822*x^14*y^46 + 3975256*x^14*y^45 - 24233329*x^14*y^44 +
74796143*x^14*y^43 - 207492431*x^14*y^42 + 650664983*x^14*y^41 -
1789158166*x^14*y^40 + 4061193378*x^14*y^39 - 8614545075*x^14*y^38 +
17700301173*x^14*y^37 - 32867646391*x^14*y^36 + 54164530085*x^14*y^35 -
82213691285*x^14*y^34 + 115882197254*x^14*y^33 - 146690846195*x^14*y^32 +
162815081573*x^14*y^31 - 157731668422*x^14*y^30 + 129115572219*x^14*y^29 -
76552670052*x^14*y^28 + 7754211260*x^14*y^27 + 59702399554*x^14*y^26 -
108309218576*x^14*y^25 + 129973716044*x^14*y^24 - 125746769726*x^14*y^23 +
101102932751*x^14*y^22 - 64897394813*x^14*y^21 + 29263990559*x^14*y^20 -
3733701941*x^14*y^19 - 10107047307*x^14*y^18 + 15304337268*x^14*y^17 -
14531174787*x^14*y^16 + 10331823377*x^14*y^15 - 5806911918*x^14*y^14 +
2803691589*x^14*y^13 - 1253560411*x^14*y^12 + 493137033*x^14*y^11 -
143427133*x^14*y^10 + 23314765*x^14*y^9 + 161578*x^14*y^8 - 962068*x^14*y^7
+ 244110*x^14*y^6 - 37560*x^14*y^5 + 376*x^14*y^4 + 1292*x^14*y^3 -
168*x^14*y^2 - 1820*x^13*y^50 - 8680*x^13*y^49 + 97076*x^13*y^48 -
283164*x^13*y^47 + 656079*x^13*y^46 - 2998004*x^13*y^45 + 11150917*x^13*y^44
- 25026644*x^13*y^43 + 53515443*x^13*y^42 - 165269148*x^13*y^41 +
476332167*x^13*y^40 - 1145762664*x^13*y^39 + 2823188131*x^13*y^38 -
7202037541*x^13*y^37 + 16769110074*x^13*y^36 - 35071758532*x^13*y^35 +
68379004806*x^13*y^34 - 124558461540*x^13*y^33 + 208046371260*x^13*y^32 -
317576053142*x^13*y^31 + 446766487294*x^13*y^30 - 581049117814*x^13*y^29 +
696175536342*x^13*y^28 - 766774626018*x^13*y^27 + 777462259952*x^13*y^26 -
726399013184*x^13*y^25 + 623796836026*x^13*y^24 - 489596301564*x^13*y^23 +
348607870449*x^13*y^22 - 222639572638*x^13*y^21 + 124244860982*x^13*y^20 -
56429839868*x^13*y^19 + 16236078976*x^13*y^18 + 2656425060*x^13*y^17 -
8300118574*x^13*y^16 + 7828651058*x^13*y^15 - 5491141149*x^13*y^14 +
3124388506*x^13*y^13 - 1433449613*x^13*y^12 + 533211246*x^13*y^11 -
171665261*x^13*y^10 + 52332064*x^13*y^9 - 14567003*x^13*y^8 +
3088724*x^13*y^7 - 398196*x^13*y^6 + 14675*x^13*y^5 + 6362*x^13*y^4 -
2280*x^13*y^3 + 400*x^13*y^2 - 28*x^13*y + 4368*x^12*y^49 - 8764*x^12*y^48 -
114292*x^12*y^47 + 764665*x^12*y^46 - 2865270*x^12*y^45 + 10725973*x^12*y^44
- 41226042*x^12*y^43 + 135344833*x^12*y^42 - 384003444*x^12*y^41 +
1039625531*x^12*y^40 - 2724596562*x^12*y^39 + 6612604188*x^12*y^38 -
14766803517*x^12*y^37 + 30949933719*x^12*y^36 - 61004770479*x^12*y^35 +
111693333673*x^12*y^34 - 189165138049*x^12*y^33 + 297587411625*x^12*y^32 -
435396100874*x^12*y^31 + 590446178947*x^12*y^30 - 740470800266*x^12*y^29 +
859318447589*x^12*y^28 - 923379259705*x^12*y^27 + 917404768761*x^12*y^26 -
840743511151*x^12*y^25 + 709250185868*x^12*y^24 - 549362919983*x^12*y^23 +
388600162082*x^12*y^22 - 248354234549*x^12*y^21 + 140648924576*x^12*y^20 -
67929742236*x^12*y^19 + 25209680360*x^12*y^18 - 3950171534*x^12*y^17 -
4176332817*x^12*y^16 + 5478920102*x^12*y^15 - 4125853300*x^12*y^14 +
2426104420*x^12*y^13 - 1220233570*x^12*y^12 + 539097463*x^12*y^11 -
202387246*x^12*y^10 + 60343091*x^12*y^9 - 13427243*x^12*y^8 +
2202897*x^12*y^7 - 299806*x^12*y^6 + 39990*x^12*y^5 - 4359*x^12*y^4 +
399*x^12*y^3 - 69*x^12*y^2 + 7*x^12*y - 8008*x^11*y^48 + 54920*x^11*y^47 -
88195*x^11*y^46 - 443469*x^11*y^45 + 3270015*x^11*y^44 - 14055977*x^11*y^43
+ 55074747*x^11*y^42 - 194116545*x^11*y^41 + 587328749*x^11*y^40 -
1575862743*x^11*y^39 + 3923469829*x^11*y^38 - 9119383598*x^11*y^37 +
19532546098*x^11*y^36 - 38539796635*x^11*y^35 + 70658412510*x^11*y^34 -
120660822555*x^11*y^33 + 191140340585*x^11*y^32 - 280265282891*x^11*y^31 +
380963349154*x^11*y^30 - 480565905729*x^11*y^29 + 561716120075*x^11*y^28 -
607053437942*x^11*y^27 + 605893235237*x^11*y^26 - 557966619064*x^11*y^25 +
472884273858*x^11*y^24 - 367116075304*x^11*y^23 + 259342219110*x^11*y^22 -
165080505680*x^11*y^21 + 93002155967*x^11*y^20 - 44586421461*x^11*y^19 +
16315948656*x^11*y^18 - 2482624436*x^11*y^17 - 2631389074*x^11*y^16 +
3459300145*x^11*y^15 - 2716379267*x^11*y^14 + 1701194516*x^11*y^13 -
893693810*x^11*y^12 + 397244969*x^11*y^11 - 151756510*x^11*y^10 +
51443901*x^11*y^9 - 15687119*x^11*y^8 + 4090993*x^11*y^7 - 822031*x^11*y^6 +
112912*x^11*y^5 - 9209*x^11*y^4 + 262*x^11*y^3 + 56*x^11*y^2 - 13*x^11*y +
x^11 + 11440*x^10*y^47 - 120121*x^10*y^46 + 563435*x^10*y^45 -
1557661*x^10*y^44 + 2896335*x^10*y^43 - 3606421*x^10*y^42 -
2465729*x^10*y^41 + 45033095*x^10*y^40 - 206565521*x^10*y^39 +
649126406*x^10*y^38 - 1680814995*x^10*y^37 + 3908256218*x^10*y^36 -
8318132460*x^10*y^35 + 16104520223*x^10*y^34 - 28464690506*x^10*y^33 +
46490871299*x^10*y^32 - 70576223425*x^10*y^31 + 99287963670*x^10*y^30 -
129009931927*x^10*y^29 + 154889052267*x^10*y^28 - 171942030151*x^10*y^27 +
175971015236*x^10*y^26 - 165058273405*x^10*y^25 + 140960550490*x^10*y^24 -
108755485326*x^10*y^23 + 74843038770*x^10*y^22 - 44820165707*x^10*y^21 +
22132428055*x^10*y^20 - 7635646939*x^10*y^19 + 71941184*x^10*y^18 +
2816270541*x^10*y^17 - 3186971569*x^10*y^16 + 2537525515*x^10*y^15 -
1687518049*x^10*y^14 + 988118368*x^10*y^13 - 522461050*x^10*y^12 +
251004204*x^10*y^11 - 107286935*x^10*y^10 + 39021562*x^10*y^9 -
11494555*x^10*y^8 + 2649981*x^10*y^7 - 479108*x^10*y^6 + 71530*x^10*y^5 -
9053*x^10*y^4 + 827*x^10*y^3 - 39*x^10*y^2 + x^10*y - 12870*x^9*y^46 +
171600*x^9*y^45 - 1099384*x^9*y^44 + 4640168*x^9*y^43 - 15315846*x^9*y^42 +
44800574*x^9*y^41 - 123007232*x^9*y^40 + 314944176*x^9*y^39 -
743541776*x^9*y^38 + 1639695641*x^9*y^37 - 3429486317*x^9*y^36 +
6779716046*x^9*y^35 - 12511411468*x^9*y^34 + 21442301908*x^9*y^33 -
34188870989*x^9*y^32 + 50724404862*x^9*y^31 - 69772939918*x^9*y^30 +
88727445087*x^9*y^29 - 104412471601*x^9*y^28 + 114049338868*x^9*y^27 -
115907816095*x^9*y^26 + 109794969776*x^9*y^25 - 97239371310*x^9*y^24 +
80902380268*x^9*y^23 - 63500545685*x^9*y^22 + 47079939091*x^9*y^21 -
32904670769*x^9*y^20 + 21596773884*x^9*y^19 - 13261610245*x^9*y^18 +
7607834381*x^9*y^17 - 4098012213*x^9*y^16 + 2107863238*x^9*y^15 -
1064499086*x^9*y^14 + 538709709*x^9*y^13 - 269829451*x^9*y^12 +
128361068*x^9*y^11 - 55790135*x^9*y^10 + 21759848*x^9*y^9 - 7556360*x^9*y^8
+ 2280624*x^9*y^7 - 565601*x^9*y^6 + 106144*x^9*y^5 - 13622*x^9*y^4 +
1054*x^9*y^3 - 43*x^9*y^2 + x^9*y + 11440*x^8*y^45 - 178464*x^8*y^44 +
1356368*x^8*y^43 - 6818240*x^8*y^42 + 26247522*x^8*y^41 - 85300086*x^8*y^40
+ 248667508*x^8*y^39 - 665937464*x^8*y^38 + 1642110401*x^8*y^37 -
3730541256*x^8*y^36 + 7843430346*x^8*y^35 - 15317172759*x^8*y^34 +
27769574537*x^8*y^33 - 46627477539*x^8*y^32 + 72428833444*x^8*y^31 -
104127942688*x^8*y^30 + 138613720476*x^8*y^29 - 170800581827*x^8*y^28 +
194714372240*x^8*y^27 - 205380414934*x^8*y^26 + 200540014862*x^8*y^25 -
181324495087*x^8*y^24 + 151763175540*x^8*y^23 - 117464842397*x^8*y^22 +
83956316152*x^8*y^21 - 55294012223*x^8*y^20 + 33449909207*x^8*y^19 -
18509181098*x^8*y^18 + 9330306338*x^8*y^17 - 4279708665*x^8*y^16 +
1799458048*x^8*y^15 - 712110150*x^8*y^14 + 280778584*x^8*y^13 -
118500273*x^8*y^12 + 54446898*x^8*y^11 - 25291554*x^8*y^10 +
10721732*x^8*y^9 - 3841567*x^8*y^8 + 1108892*x^8*y^7 - 251037*x^8*y^6 +
44355*x^8*y^5 - 6213*x^8*y^4 + 677*x^8*y^3 - 47*x^8*y^2 + x^8*y -
8008*x^7*y^44 + 139776*x^7*y^43 - 1189552*x^7*y^42 + 6651540*x^7*y^41 -
27946268*x^7*y^40 + 96045204*x^7*y^39 - 286331672*x^7*y^38 +
767226078*x^7*y^37 - 1876823050*x^7*y^36 + 4211494310*x^7*y^35 -
8690276749*x^7*y^34 + 16538953871*x^7*y^33 - 29096643595*x^7*y^32 +
47342688531*x^7*y^31 - 71200453435*x^7*y^30 + 98932501328*x^7*y^29 -
127014171087*x^7*y^28 + 150684384755*x^7*y^27 - 165131832658*x^7*y^26 +
167021655497*x^7*y^25 - 155749024594*x^7*y^24 + 133735448210*x^7*y^23 -
105562371981*x^7*y^22 + 76409298853*x^7*y^21 - 50543666578*x^7*y^20 +
30419274664*x^7*y^19 - 16567045096*x^7*y^18 + 8113228086*x^7*y^17 -
3548414887*x^7*y^16 + 1379224455*x^7*y^15 - 478715533*x^7*y^14 +
153639842*x^7*y^13 - 50172179*x^7*y^12 + 18904963*x^7*y^11 -
8266598*x^7*y^10 + 3707565*x^7*y^9 - 1534656*x^7*y^8 + 554064*x^7*y^7 -
167043*x^7*y^6 + 39867*x^7*y^5 - 7002*x^7*y^4 + 812*x^7*y^3 - 51*x^7*y^2 +
x^7*y + 4368*x^6*y^43 - 82992*x^6*y^42 + 766808*x^6*y^41 - 4621432*x^6*y^40
+ 20636672*x^6*y^39 - 73799994*x^6*y^38 + 223422091*x^6*y^37 -
595823915*x^6*y^36 + 1434922241*x^6*y^35 - 3159105431*x^6*y^34 +
6388316294*x^6*y^33 - 11892006139*x^6*y^32 + 20414864751*x^6*y^31 -
32358309383*x^6*y^30 + 47362428002*x^6*y^29 - 63969967658*x^6*y^28 +
79649951800*x^6*y^27 - 91341585340*x^6*y^26 + 96383030881*x^6*y^25 -
93449559034*x^6*y^24 + 83086445846*x^6*y^23 - 67567285329*x^6*y^22 +
50100998146*x^6*y^21 - 33748200419*x^6*y^20 + 20557789541*x^6*y^19 -
11260449302*x^6*y^18 + 5506904813*x^6*y^17 - 2383698527*x^6*y^16 +
903913883*x^6*y^15 - 297185961*x^6*y^14 + 84523570*x^6*y^13 -
21656140*x^6*y^12 + 5924806*x^6*y^11 - 2201540*x^6*y^10 + 1010307*x^6*y^9 -
435828*x^6*y^8 + 155040*x^6*y^7 - 43605*x^6*y^6 + 9519*x^6*y^5 -
1596*x^6*y^4 + 204*x^6*y^3 - 19*x^6*y^2 + x^6*y - 1820*x^5*y^42 +
36960*x^5*y^41 - 363760*x^5*y^40 + 2320552*x^5*y^39 - 10854927*x^5*y^38 +
40061442*x^5*y^37 - 122930326*x^5*y^36 + 326687200*x^5*y^35 -
775267955*x^5*y^34 + 1675702862*x^5*y^33 - 3331061755*x^5*y^32 +
6108307774*x^5*y^31 - 10334189000*x^5*y^30 + 16121571035*x^5*y^29 -
23171142555*x^5*y^28 + 30641430980*x^5*y^27 - 37211296586*x^5*y^26 +
41410674895*x^5*y^25 - 42137913670*x^5*y^24 + 39118194380*x^5*y^23 -
33045695855*x^5*y^22 + 25322645225*x^5*y^21 - 17532866880*x^5*y^20 +
10915949710*x^5*y^19 - 6076077715*x^5*y^18 + 3002551345*x^5*y^17 -
1305814295*x^5*y^16 + 494300230*x^5*y^15 - 160556602*x^5*y^14 +
43956077*x^5*y^13 - 9966827*x^5*y^12 + 1907376*x^5*y^11 - 391280*x^5*y^10 +
144945*x^5*y^9 - 78312*x^5*y^8 + 38760*x^5*y^7 - 15504*x^5*y^6 +
4845*x^5*y^5 - 1140*x^5*y^4 + 190*x^5*y^3 - 20*x^5*y^2 + x^5*y +
560*x^4*y^41 - 12000*x^4*y^40 + 124208*x^4*y^39 - 828936*x^4*y^38 +
4024657*x^4*y^37 - 15249928*x^4*y^36 + 47406779*x^4*y^35 -
125919850*x^4*y^34 + 295759960*x^4*y^33 - 630814855*x^4*y^32 +
1241460635*x^4*y^31 - 2266337775*x^4*y^30 + 3830129510*x^4*y^29 -
5964379435*x^4*y^28 + 8519942900*x^4*y^27 - 11125213735*x^4*y^26 +
13241517335*x^4*y^25 - 14327045000*x^4*y^24 + 14053059110*x^4*y^23 -
12460363390*x^4*y^22 + 9956163525*x^4*y^21 - 7143742270*x^4*y^20 +
4583324195*x^4*y^19 - 2615322280*x^4*y^18 + 1318218590*x^4*y^17 -
581800855*x^4*y^16 + 222343615*x^4*y^15 - 72511803*x^4*y^14 +
19790036*x^4*y^13 - 4398527*x^4*y^12 + 764798*x^4*y^11 - 97559*x^4*y^10 +
8115*x^4*y^9 - 330*x^4*y^8 - 120*x^3*y^40 + 2688*x^3*y^39 - 28996*x^3*y^38 +
200795*x^3*y^37 - 1005449*x^3*y^36 + 3897677*x^3*y^35 - 12277181*x^3*y^34 +
32725675*x^3*y^33 - 76638590*x^3*y^32 + 162957190*x^3*y^31 -
321790930*x^3*y^30 + 594564375*x^3*y^29 - 1022162435*x^3*y^28 +
1616719335*x^3*y^27 - 2328089095*x^3*y^26 + 3030627775*x^3*y^25 -
3551804900*x^3*y^24 + 3738351460*x^3*y^23 - 3526555040*x^3*y^22 +
2974762385*x^3*y^21 - 2237065215*x^3*y^20 + 1493974315*x^3*y^19 -
881660955*x^3*y^18 + 456905585*x^3*y^17 - 206252750*x^3*y^16 +
80241910*x^3*y^15 - 26524778*x^3*y^14 + 7306621*x^3*y^13 - 1632085*x^3*y^12
+ 283969*x^3*y^11 - 36097*x^3*y^10 + 2981*x^3*y^9 - 120*x^3*y^8 +
16*x^2*y^39 - 372*x^2*y^38 + 4154*x^2*y^37 - 29670*x^2*y^36 +
152516*x^2*y^35 - 603512*x^2*y^34 + 1928956*x^2*y^33 - 5194660*x^2*y^32 +
12293260*x^2*y^31 - 26607320*x^2*y^30 + 54144530*x^2*y^29 -
104165390*x^2*y^28 + 186856600*x^2*y^27 - 306258340*x^2*y^26 +
451097620*x^2*y^25 - 591199820*x^2*y^24 + 686142440*x^2*y^23 -
703893380*x^2*y^22 + 637770910*x^2*y^21 - 509862850*x^2*y^20 +
358924660*x^2*y^19 - 221708960*x^2*y^18 + 119518580*x^2*y^17 -
55797740*x^2*y^16 + 22324540*x^2*y^15 - 7548016*x^2*y^14 + 2115862*x^2*y^13
- 478794*x^2*y^12 + 84080*x^2*y^11 - 10756*x^2*y^10 + 892*x^2*y^9 -
36*x^2*y^8 - x*y^38 + 24*x*y^37 - 276*x*y^36 + 2024*x*y^35 - 10647*x*y^34 +
43013*x*y^33 - 140520*x*y^32 + 390180*x*y^31 - 970945*x*y^30 +
2269410*x*y^29 - 5085300*x*y^28 + 10777340*x*y^27 - 20956335*x*y^26 +
36399915*x*y^25 - 55568920*x*y^24 + 73992840*x*y^23 - 85693515*x*y^22 +
86255060*x*y^21 - 75434940*x*y^20 + 57275520*x*y^19 - 37683085*x*y^18 +
21407595*x*y^17 - 10441080*x*y^16 + 4334420*x*y^15 - 1512435*x*y^14 +
435666*x*y^13 - 100924*x*y^12 + 18076*x*y^11 - 2349*x*y^10 + 197*x*y^9 -
8*x*y^8 + y^33 - 25*y^32 + 300*y^31 - 2300*y^30 + 12650*y^29 - 53130*y^28 +
177100*y^27 - 480700*y^26 + 1081575*y^25 - 2042975*y^24 + 3268760*y^23 -
4457400*y^22 + 5200300*y^21 - 5200300*y^20 + 4457400*y^19 - 3268760*y^18 +
2042975*y^17 - 1081575*y^16 + 480700*y^15 - 177100*y^14 + 53130*y^13 -
12650*y^12 + 2300*y^11 - 300*y^10 + 25*y^9 - y^8
