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
FFFc78.txt
x^57*y^22 - 5*x^57*y^21 + 10*x^57*y^20 - 10*x^57*y^19 + 5*x^57*y^18 - x^57*y^17
- 30*x^56*y^23 + 141*x^56*y^22 - 254*x^56*y^21 + 205*x^56*y^20 -
50*x^56*y^19 - 25*x^56*y^18 + 13*x^56*y^17 - x^55*y^25 + 445*x^55*y^24 -
1950*x^55*y^23 + 3130*x^55*y^22 - 1920*x^55*y^21 - 125*x^55*y^20 +
515*x^55*y^19 + 15*x^55*y^18 - 123*x^55*y^17 + 14*x^55*y^16 + 27*x^54*y^26 -
4319*x^54*y^25 + 17493*x^54*y^24 - 24565*x^54*y^23 + 9926*x^54*y^22 +
5668*x^54*y^21 - 3457*x^54*y^20 - 2225*x^54*y^19 + 1070*x^54*y^18 +
551*x^54*y^17 - 169*x^54*y^16 + x^53*y^28 - 366*x^53*y^27 + 30723*x^53*y^26
- 113902*x^53*y^25 + 136157*x^53*y^24 - 22730*x^53*y^23 - 49757*x^53*y^22 +
2598*x^53*y^21 + 24597*x^53*y^20 + 581*x^53*y^19 - 8451*x^53*y^18 -
556*x^53*y^17 + 1196*x^53*y^16 - 91*x^53*y^15 - 24*x^52*y^29 +
3272*x^52*y^28 - 170227*x^52*y^27 + 571125*x^52*y^26 - 556495*x^52*y^25 -
67200*x^52*y^24 + 231934*x^52*y^23 + 124926*x^52*y^22 - 130360*x^52*y^21 -
73109*x^52*y^20 + 52243*x^52*y^19 + 25111*x^52*y^18 - 7364*x^52*y^17 -
4847*x^52*y^16 + 1015*x^52*y^15 + 276*x^51*y^30 - 21378*x^51*y^29 +
761644*x^51*y^28 - 2279160*x^51*y^27 + 1667052*x^51*y^26 + 894360*x^51*y^25
- 573113*x^51*y^24 - 1035766*x^51*y^23 + 220213*x^51*y^22 + 677903*x^51*y^21
- 129045*x^51*y^20 - 216337*x^51*y^19 - 24683*x^51*y^18 + 56022*x^51*y^17 +
8042*x^51*y^16 - 6394*x^51*y^15 + 364*x^51*y^14 - 2024*x^50*y^31 +
107502*x^50*y^30 - 2812506*x^50*y^29 + 7352325*x^50*y^28 - 3268626*x^50*y^27
- 4759841*x^50*y^26 + 36108*x^50*y^25 + 4312291*x^50*y^24 +
1825018*x^50*y^23 - 3423030*x^50*y^22 - 539635*x^50*y^21 + 983671*x^50*y^20
+ 561805*x^50*y^19 - 243035*x^50*y^18 - 174039*x^50*y^17 + 23962*x^50*y^16 +
23785*x^50*y^15 - 3731*x^50*y^14 + 10626*x^49*y^32 - 429088*x^49*y^31 +
8681189*x^49*y^30 - 19179939*x^49*y^29 + 1305774*x^49*y^28 +
17604279*x^49*y^27 + 6046776*x^49*y^26 - 9656154*x^49*y^25 -
16492324*x^49*y^24 + 9889943*x^49*y^23 + 6561628*x^49*y^22 -
1625037*x^49*y^21 - 4016868*x^49*y^20 + 153788*x^49*y^19 + 1143789*x^49*y^18
+ 239039*x^49*y^17 - 211489*x^49*y^16 - 46784*x^49*y^15 + 21853*x^49*y^14 -
1001*x^49*y^13 - 42504*x^48*y^33 + 1387452*x^48*y^32 - 22550396*x^48*y^31 +
39700737*x^48*y^30 + 19952412*x^48*y^29 - 49644193*x^48*y^28 -
29856476*x^48*y^27 + 1842755*x^48*y^26 + 71443418*x^48*y^25 -
8534281*x^48*y^24 - 29647718*x^48*y^23 - 9944731*x^48*y^22 +
16522880*x^48*y^21 + 5141899*x^48*y^20 - 4163974*x^48*y^19 -
2718840*x^48*y^18 + 503566*x^48*y^17 + 708785*x^48*y^16 - 34823*x^48*y^15 -
75341*x^48*y^14 + 9373*x^48*y^13 + 134596*x^47*y^34 - 3686463*x^47*y^33 +
49426839*x^47*y^32 - 61371222*x^47*y^31 - 97391430*x^47*y^30 +
105965500*x^47*y^29 + 94749467*x^47*y^28 + 74993996*x^47*y^27 -
200723953*x^47*y^26 - 63282377*x^47*y^25 + 70296757*x^47*y^24 +
84271558*x^47*y^23 - 32039881*x^47*y^22 - 38743329*x^47*y^21 +
4947034*x^47*y^20 + 14409007*x^47*y^19 + 2166603*x^47*y^18 -
3649580*x^47*y^17 - 1095919*x^47*y^16 + 514946*x^47*y^15 + 157719*x^47*y^14
- 51870*x^47*y^13 + 2002*x^47*y^12 - 346104*x^46*y^35 + 8128637*x^46*y^34 -
91341901*x^46*y^33 + 56040490*x^46*y^32 + 284321167*x^46*y^31 -
152284607*x^46*y^30 - 234366404*x^46*y^29 - 337716285*x^46*y^28 +
371835347*x^46*y^27 + 363938262*x^46*y^26 - 35616252*x^46*y^25 -
313176754*x^46*y^24 - 54153937*x^46*y^23 + 147301308*x^46*y^22 +
41700209*x^46*y^21 - 43947530*x^46*y^20 - 26787164*x^46*y^19 +
9849436*x^46*y^18 + 8531874*x^46*y^17 - 176367*x^46*y^16 - 1866145*x^46*y^15
- 16988*x^46*y^14 + 166724*x^46*y^13 - 17017*x^46*y^12 + 735471*x^45*y^36 -
14968998*x^45*y^35 + 141687199*x^45*y^34 + 26614660*x^45*y^33 -
606940116*x^45*y^32 + 59029877*x^45*y^31 + 467582932*x^45*y^30 +
942024113*x^45*y^29 - 337541838*x^45*y^28 - 1112017396*x^45*y^27 -
394689032*x^45*y^26 + 660710237*x^45*y^25 + 609285986*x^45*y^24 -
282118332*x^45*y^23 - 286244409*x^45*y^22 + 23202644*x^45*y^21 +
139525154*x^45*y^20 + 616492*x^45*y^19 - 34721784*x^45*y^18 -
11166780*x^45*y^17 + 7466348*x^45*y^16 + 3054506*x^45*y^15 -
858380*x^45*y^14 - 355411*x^45*y^13 + 89882*x^45*y^12 - 3003*x^45*y^11 -
1307504*x^44*y^37 + 23089332*x^44*y^36 - 182662941*x^44*y^35 -
233789129*x^44*y^34 + 984269919*x^44*y^33 + 410628752*x^44*y^32 -
709733749*x^44*y^31 - 1986247129*x^44*y^30 - 495605137*x^44*y^29 +
2353046130*x^44*y^28 + 1791899396*x^44*y^27 - 517829015*x^44*y^26 -
2228116125*x^44*y^25 - 94689921*x^44*y^24 + 857959106*x^44*y^23 +
466978527*x^44*y^22 - 401144686*x^44*y^21 - 159382545*x^44*y^20 +
74560331*x^44*y^19 + 76750827*x^44*y^18 - 12015421*x^44*y^17 -
18345571*x^44*y^16 - 1665797*x^44*y^15 + 3415233*x^44*y^14 +
184198*x^44*y^13 - 270335*x^44*y^12 + 23023*x^44*y^11 + 1961256*x^43*y^38 -
29805148*x^43*y^37 + 191861354*x^43*y^36 + 559313412*x^43*y^35 -
1183212118*x^43*y^34 - 1455816258*x^43*y^33 + 633045613*x^43*y^32 +
3328017454*x^43*y^31 + 2971765059*x^43*y^30 - 3504919019*x^43*y^29 -
4678077920*x^43*y^28 - 1683281987*x^43*y^27 + 4964501640*x^43*y^26 +
2398688624*x^43*y^25 - 1086211708*x^43*y^24 - 2391340732*x^43*y^23 +
336190783*x^43*y^22 + 796504405*x^43*y^21 + 102038083*x^43*y^20 -
298574078*x^43*y^19 - 45773211*x^43*y^18 + 60006043*x^43*y^17 +
27648013*x^43*y^16 - 10221108*x^43*y^15 - 5771127*x^43*y^14 +
1002820*x^43*y^13 + 575366*x^43*y^12 - 117403*x^43*y^11 + 3432*x^43*y^10 -
2496144*x^42*y^39 + 32004132*x^42*y^38 - 157227356*x^42*y^37 -
908435562*x^42*y^36 + 915169770*x^42*y^35 + 2935608870*x^42*y^34 +
334393642*x^42*y^33 - 4352060410*x^42*y^32 - 7637057315*x^42*y^31 +
2901736046*x^42*y^30 + 8881428646*x^42*y^29 + 8025239822*x^42*y^28 -
6844261178*x^42*y^27 - 8325281538*x^42*y^26 - 1666606730*x^42*y^25 +
6119214338*x^42*y^24 + 2180824934*x^42*y^23 - 1811425376*x^42*y^22 -
1417776502*x^42*y^21 + 532625693*x^42*y^20 + 457886872*x^42*y^19 -
84625611*x^42*y^18 - 139485978*x^42*y^17 + 2183506*x^42*y^16 +
28220582*x^42*y^15 + 4871456*x^42*y^14 - 4561601*x^42*y^13 -
421916*x^42*y^12 + 331188*x^42*y^11 - 23595*x^42*y^10 + 2704156*x^41*y^40 -
28170768*x^41*y^39 + 89081139*x^41*y^38 + 1129199925*x^41*y^37 -
74425983*x^41*y^36 - 4183850882*x^41*y^35 - 2604769869*x^41*y^34 +
3915080296*x^41*y^33 + 13758094981*x^41*y^32 + 2035352065*x^41*y^31 -
12719461937*x^41*y^30 - 19486858781*x^41*y^29 + 2984318181*x^41*y^28 +
17700262354*x^41*y^27 + 11544048498*x^41*y^26 - 8153081678*x^41*y^25 -
10766279908*x^41*y^24 + 554433105*x^41*y^23 + 4947794021*x^41*y^22 +
988835098*x^41*y^21 - 1690502529*x^41*y^20 - 385631881*x^41*y^19 +
403604254*x^41*y^18 + 145251366*x^41*y^17 - 77069183*x^41*y^16 -
43901547*x^41*y^15 + 9535765*x^41*y^14 + 7832077*x^41*y^13 -
813705*x^41*y^12 - 697411*x^41*y^11 + 118118*x^41*y^10 - 3003*x^41*y^9 -
2496144*x^40*y^41 + 19671992*x^40*y^40 - 16377886*x^40*y^39 -
1109349105*x^40*y^38 - 1077746766*x^40*y^37 + 4306909227*x^40*y^36 +
5746363857*x^40*y^35 - 886417431*x^40*y^34 - 18588869014*x^40*y^33 -
13125196423*x^40*y^32 + 12424303484*x^40*y^31 + 33838531904*x^40*y^30 +
12866986906*x^40*y^29 - 26011649788*x^40*y^28 - 30455421306*x^40*y^27 -
1125969843*x^40*y^26 + 26093770481*x^40*y^25 + 9468614283*x^40*y^24 -
7789087608*x^40*y^23 - 8916091441*x^40*y^22 + 2446188472*x^40*y^21 +
2684173727*x^40*y^20 - 115552283*x^40*y^19 - 884628429*x^40*y^18 +
48307084*x^40*y^17 + 178973850*x^40*y^16 + 16661665*x^40*y^15 -
31912590*x^40*y^14 - 7664188*x^40*y^13 + 4608645*x^40*y^12 +
584492*x^40*y^11 - 312884*x^40*y^10 + 18447*x^40*y^9 + 1961256*x^39*y^42 -
10006863*x^39*y^41 - 32177621*x^39*y^40 + 861545766*x^39*y^39 +
2016009174*x^39*y^38 - 2902542448*x^39*y^37 - 8272164539*x^39*y^36 -
4675950673*x^39*y^35 + 18189886322*x^39*y^34 + 28429087508*x^39*y^33 -
3095780447*x^39*y^32 - 44335131745*x^39*y^31 - 43684654247*x^39*y^30 +
23690904906*x^39*y^29 + 53551910250*x^39*y^28 + 32882871614*x^39*y^27 -
38929785854*x^39*y^26 - 33692499479*x^39*y^25 - 2245295434*x^39*y^24 +
26111193413*x^39*y^23 + 4229021616*x^39*y^22 - 6513741111*x^39*y^21 -
4226022349*x^39*y^20 + 2319932499*x^39*y^19 + 840115180*x^39*y^18 -
372076420*x^39*y^17 - 246748565*x^39*y^16 + 73480073*x^39*y^15 +
49844196*x^39*y^14 - 6112012*x^39*y^13 - 7893088*x^39*y^12 +
432343*x^39*y^11 + 648271*x^39*y^10 - 92950*x^39*y^9 + 2002*x^39*y^8 -
1307504*x^38*y^43 + 2552517*x^38*y^42 + 46147959*x^38*y^41 -
514652463*x^38*y^40 - 2314205463*x^38*y^39 + 541559632*x^38*y^38 +
8531382788*x^38*y^37 + 10717135745*x^38*y^36 - 10314801187*x^38*y^35 -
40732697211*x^38*y^34 - 17288005883*x^38*y^33 + 41046392917*x^38*y^32 +
82797574166*x^38*y^31 + 1169052047*x^38*y^30 - 68364643129*x^38*y^29 -
88525836755*x^38*y^28 + 28922629438*x^38*y^27 + 66629636236*x^38*y^26 +
41386328461*x^38*y^25 - 40757715220*x^38*y^24 - 29075697611*x^38*y^23 +
2560349970*x^38*y^22 + 17376898062*x^38*y^21 - 87589470*x^38*y^20 -
4013322930*x^38*y^19 - 732475634*x^38*y^18 + 1116880280*x^38*y^17 +
56353356*x^38*y^16 - 180917465*x^38*y^15 - 28480070*x^38*y^14 +
26936165*x^38*y^13 + 8188412*x^38*y^12 - 3628936*x^38*y^11 -
560898*x^38*y^10 + 230919*x^38*y^9 - 11011*x^38*y^8 + 735471*x^37*y^44 +
1278662*x^37*y^43 - 35416711*x^37*y^42 + 217524418*x^37*y^41 +
1945474645*x^37*y^40 + 1577107240*x^37*y^39 - 6127142693*x^37*y^38 -
14089812324*x^37*y^37 - 2682263776*x^37*y^36 + 41157471699*x^37*y^35 +
42707280894*x^37*y^34 - 16920656156*x^37*y^33 - 110773962827*x^37*y^32 -
54294805434*x^37*y^31 + 58218957662*x^37*y^30 + 150408880386*x^37*y^29 +
25695810985*x^37*y^28 - 88785040407*x^37*y^27 - 109634153534*x^37*y^26 +
20539850833*x^37*y^25 + 71522865380*x^37*y^24 + 28064675147*x^37*y^23 -
31470929398*x^37*y^22 - 18311238342*x^37*y^21 + 6333604667*x^37*y^20 +
7211634933*x^37*y^19 - 1478660024*x^37*y^18 - 1453020126*x^37*y^17 +
269002275*x^37*y^16 + 270267800*x^37*y^15 - 49999758*x^37*y^14 -
43198483*x^37*y^13 + 2896299*x^37*y^12 + 6010347*x^37*y^11 -
122011*x^37*y^10 - 467168*x^37*y^9 + 57850*x^37*y^8 - 1001*x^37*y^7 -
346104*x^36*y^45 - 2149488*x^36*y^44 + 17604499*x^36*y^43 -
45870605*x^36*y^42 - 1242476913*x^36*y^41 - 2536948912*x^36*y^40 +
2390836036*x^36*y^39 + 12925450832*x^36*y^38 + 14402542530*x^36*y^37 -
26790286777*x^36*y^36 - 59502137678*x^36*y^35 - 23309795098*x^36*y^34 +
103659579601*x^36*y^33 + 122026712213*x^36*y^32 - 9794489973*x^36*y^31 -
182912628593*x^36*y^30 - 130633733058*x^36*y^29 + 74730976228*x^36*y^28 +
176556596318*x^36*y^27 + 66952616062*x^36*y^26 - 105793300558*x^36*y^25 -
90967396252*x^36*y^24 + 11214401116*x^36*y^23 + 60946279217*x^36*y^22 +
7633829800*x^36*y^21 - 18447996279*x^36*y^20 - 6952728258*x^36*y^19 +
5019842461*x^36*y^18 + 1392393754*x^36*y^17 - 895874833*x^36*y^16 -
204550430*x^36*y^15 + 159757137*x^36*y^14 + 23520904*x^36*y^13 -
17091427*x^36*y^12 - 6325970*x^36*y^11 + 2284439*x^36*y^10 + 386295*x^36*y^9
- 133887*x^36*y^8 + 5005*x^36*y^7 + 134596*x^35*y^46 + 1592382*x^35*y^45 -
4726776*x^35*y^44 - 13998320*x^35*y^43 + 595828104*x^35*y^42 +
2294354492*x^35*y^41 + 696404657*x^35*y^40 - 8229495670*x^35*y^39 -
19011625585*x^35*y^38 + 4823736885*x^35*y^37 + 56070886529*x^35*y^36 +
60745168393*x^35*y^35 - 53345993939*x^35*y^34 - 167590960210*x^35*y^33 -
72583983557*x^35*y^32 + 148200645258*x^35*y^31 + 255818596330*x^35*y^30 -
2831598351*x^35*y^29 - 194750525366*x^35*y^28 - 218549208337*x^35*y^27 +
90712104906*x^35*y^26 + 153274647198*x^35*y^25 + 84363135440*x^35*y^24 -
103624104519*x^35*y^23 - 53772152771*x^35*y^22 + 10346540254*x^35*y^21 +
36763532596*x^35*y^20 - 3571810307*x^35*y^19 - 7636313218*x^35*y^18 -
794080810*x^35*y^17 + 1930820007*x^35*y^16 - 164548229*x^35*y^15 -
209808837*x^35*y^14 + 22587239*x^35*y^13 + 29629207*x^35*y^12 -
1467799*x^35*y^11 - 3466498*x^35*y^10 - 2232*x^35*y^9 + 260591*x^35*y^8 -
28665*x^35*y^7 + 364*x^35*y^6 - 42504*x^34*y^47 - 816178*x^34*y^46 -
690346*x^34*y^45 + 16651521*x^34*y^44 - 201385126*x^34*y^43 -
1463893773*x^34*y^42 - 2026655144*x^34*y^41 + 2951377963*x^34*y^40 +
15709810896*x^34*y^39 + 12554105266*x^34*y^38 - 33905685311*x^34*y^37 -
74240754065*x^34*y^36 - 17720222937*x^34*y^35 + 154040154899*x^34*y^34 +
154671332747*x^34*y^33 - 37032144378*x^34*y^32 - 329639920206*x^34*y^31 -
130105353541*x^34*y^30 + 128313720393*x^34*y^29 + 375674278835*x^34*y^28 +
7784067133*x^34*y^27 - 163141941240*x^34*y^26 - 243848421401*x^34*y^25 +
87528492099*x^34*y^24 + 114855884304*x^34*y^23 + 57985852982*x^34*y^22 -
75935247402*x^34*y^21 - 21956690142*x^34*y^20 + 10577991534*x^34*y^19 +
14058724151*x^34*y^18 - 4398190037*x^34*y^17 - 1702888797*x^34*y^16 +
421799566*x^34*y^15 + 301114076*x^34*y^14 - 125539011*x^34*y^13 -
9962723*x^34*y^12 + 8169274*x^34*y^11 + 3566330*x^34*y^10 - 1165560*x^34*y^9
- 189796*x^34*y^8 + 60732*x^34*y^7 - 1729*x^34*y^6 + 10626*x^33*y^48 +
312432*x^33*y^47 + 1499239*x^33*y^46 - 6263373*x^33*y^45 +
38588472*x^33*y^44 + 685244307*x^33*y^43 + 1855097698*x^33*y^42 +
461419046*x^33*y^41 - 8580041678*x^33*y^40 - 18032575483*x^33*y^39 +
7185056974*x^33*y^38 + 58245074093*x^33*y^37 + 69285400951*x^33*y^36 -
81239977074*x^33*y^35 - 186383218691*x^33*y^34 - 105227085024*x^33*y^33 +
278308249172*x^33*y^32 + 280539948527*x^33*y^31 + 23710774815*x^33*y^30 -
435990930827*x^33*y^29 - 198445507625*x^33*y^28 + 96360730998*x^33*y^27 +
379662877623*x^33*y^26 + 39008328967*x^33*y^25 - 142838766038*x^33*y^24 -
181097578214*x^33*y^23 + 63435500692*x^33*y^22 + 77639917491*x^33*y^21 +
18209280980*x^33*y^20 - 40182676330*x^33*y^19 - 4032195908*x^33*y^18 +
6444510972*x^33*y^17 + 2628316490*x^33*y^16 - 1785851754*x^33*y^15 +
22579622*x^33*y^14 + 134813528*x^33*y^13 - 6889005*x^33*y^12 -
15960427*x^33*y^11 + 1081361*x^33*y^10 + 1489592*x^33*y^9 + 9804*x^33*y^8 -
110808*x^33*y^7 + 11298*x^33*y^6 - 91*x^33*y^5 - 2024*x^32*y^49 -
90228*x^32*y^48 - 875112*x^32*y^47 + 182643*x^32*y^46 + 950160*x^32*y^45 -
230524655*x^32*y^44 - 1100556858*x^32*y^43 - 1525550147*x^32*y^42 +
2467377598*x^32*y^41 + 13632421357*x^32*y^40 + 9655981162*x^32*y^39 -
27323342099*x^32*y^38 - 76622208132*x^32*y^37 - 6093710033*x^32*y^36 +
144423722739*x^32*y^35 + 197262983876*x^32*y^34 - 102586481617*x^32*y^33 -
355141779662*x^32*y^32 - 208454172514*x^32*y^31 + 309237593911*x^32*y^30 +
428512862292*x^32*y^29 + 37845431919*x^32*y^28 - 378783243984*x^32*y^27 -
278498861547*x^32*y^26 + 113704926605*x^32*y^25 + 265401607282*x^32*y^24 +
68219417938*x^32*y^23 - 130389260756*x^32*y^22 - 89259732171*x^32*y^21 +
38993320048*x^32*y^20 + 40914836555*x^32*y^19 - 3010357868*x^32*y^18 -
14303905066*x^32*y^17 + 1398023780*x^32*y^16 + 1943755785*x^32*y^15 -
91100944*x^32*y^14 - 277282630*x^32*y^13 + 80403302*x^32*y^12 +
769830*x^32*y^11 - 2945711*x^32*y^10 - 1423551*x^32*y^9 + 475836*x^32*y^8 +
63616*x^32*y^7 - 21150*x^32*y^6 + 455*x^32*y^5 + 276*x^31*y^50 +
19247*x^31*y^49 + 319649*x^31*y^48 + 1035054*x^31*y^47 - 2165754*x^31*y^46 +
51416868*x^31*y^45 + 463462641*x^31*y^44 + 1206844818*x^31*y^43 +
508393211*x^31*y^42 - 6352326649*x^31*y^41 - 12811971589*x^31*y^40 +
1886711360*x^31*y^39 + 49335627901*x^31*y^38 + 56710718087*x^31*y^37 -
59090477214*x^31*y^36 - 188113293233*x^31*y^35 - 94117570552*x^31*y^34 +
282421791448*x^31*y^33 + 326417870230*x^31*y^32 - 14169744853*x^31*y^31 -
555024784395*x^31*y^30 - 213327266837*x^31*y^29 + 181396460168*x^31*y^28 +
555050571521*x^31*y^27 - 33994677810*x^31*y^26 - 207267132622*x^31*y^25 -
311734767209*x^31*y^24 + 139783908012*x^31*y^23 + 138925812286*x^31*y^22 +
55637318175*x^31*y^21 - 95721224098*x^31*y^20 - 26080539820*x^31*y^19 +
21077604214*x^31*y^18 + 13847878987*x^31*y^17 - 5284879141*x^31*y^16 -
2722761683*x^31*y^15 + 1025314092*x^31*y^14 + 149345189*x^31*y^13 -
91425620*x^31*y^12 + 3629263*x^31*y^11 + 6266764*x^31*y^10 - 717438*x^31*y^9
- 456543*x^31*y^8 + 2828*x^31*y^7 + 34795*x^31*y^6 - 3494*x^31*y^5 +
14*x^31*y^4 - 24*x^30*y^51 - 2877*x^30*y^50 - 79851*x^30*y^49 -
601360*x^30*y^48 - 299971*x^30*y^47 - 6260823*x^30*y^46 -
138627028*x^30*y^45 - 598496739*x^30*y^44 - 1032077491*x^30*y^43 +
1363376876*x^30*y^42 + 8173843570*x^30*y^41 + 8471357372*x^30*y^40 -
16262787029*x^30*y^39 - 56459004702*x^30*y^38 - 12517588053*x^30*y^37 +
103904355204*x^30*y^36 + 189085347904*x^30*y^35 - 100582443760*x^30*y^34 -
300636994713*x^30*y^33 - 279969022062*x^30*y^32 + 435129616838*x^30*y^31 +
363708097264*x^30*y^30 + 154172281980*x^30*y^29 - 689691761233*x^30*y^28 -
114875860621*x^30*y^27 + 7091927525*x^30*y^26 + 555443780487*x^30*y^25 -
87172577864*x^30*y^24 - 87146801656*x^30*y^23 - 239524043552*x^30*y^22 +
119027601718*x^30*y^21 + 61625401547*x^30*y^20 + 21293984350*x^30*y^19 -
50130922893*x^30*y^18 - 343789388*x^30*y^17 + 8435168324*x^30*y^16 +
2001499261*x^30*y^15 - 1969156615*x^30*y^14 - 11854267*x^30*y^13 +
178470756*x^30*y^12 - 37203152*x^30*y^11 + 1027813*x^30*y^10 +
833394*x^30*y^9 + 365811*x^30*y^8 - 147403*x^30*y^7 - 12808*x^30*y^6 +
5419*x^30*y^5 - 91*x^30*y^4 + x^29*y^52 + 270*x^29*y^51 + 13413*x^29*y^50 +
189288*x^29*y^49 + 651074*x^29*y^48 + 587181*x^29*y^47 + 28370638*x^29*y^46
+ 206163621*x^29*y^45 + 631743010*x^29*y^44 + 447082914*x^29*y^43 -
2986391876*x^29*y^42 - 7546335071*x^29*y^41 - 2516655712*x^29*y^40 +
29718842012*x^29*y^39 + 38147983859*x^29*y^38 - 17090089480*x^29*y^37 -
153605902448*x^29*y^36 - 63480470518*x^29*y^35 + 157361200346*x^29*y^34 +
378717562542*x^29*y^33 - 106164345529*x^29*y^32 - 384698698087*x^29*y^31 -
438534777906*x^29*y^30 + 492600110167*x^29*y^29 + 333114692059*x^29*y^28 +
228463935784*x^29*y^27 - 610212574425*x^29*y^26 - 75004663037*x^29*y^25 -
26448822466*x^29*y^24 + 384230125655*x^29*y^23 - 60343859347*x^29*y^22 -
55275886144*x^29*y^21 - 123470913542*x^29*y^20 + 73740381545*x^29*y^19 +
21851536297*x^29*y^18 + 385126382*x^29*y^17 - 17209329691*x^29*y^16 +
3525732970*x^29*y^15 + 1857409094*x^29*y^14 - 260513232*x^29*y^13 -
241693204*x^29*y^12 + 67771370*x^29*y^11 - 4226552*x^29*y^10 -
1407395*x^29*y^9 + 290073*x^29*y^8 + 91645*x^29*y^7 - 4383*x^29*y^6 -
7652*x^29*y^5 + 822*x^29*y^4 - x^29*y^3 - 12*x^28*y^52 - 1379*x^28*y^51 -
36911*x^28*y^50 - 286335*x^28*y^49 - 537008*x^28*y^48 - 4065165*x^28*y^47 -
49874381*x^28*y^46 - 239436241*x^28*y^45 - 531514656*x^28*y^44 +
336159052*x^28*y^43 + 3443616865*x^28*y^42 + 6190698085*x^28*y^41 -
6323699559*x^28*y^40 - 28242243388*x^28*y^39 - 23910513743*x^28*y^38 +
61627660126*x^28*y^37 + 117699511063*x^28*y^36 - 8090442514*x^28*y^35 -
254120691316*x^28*y^34 - 196881510054*x^28*y^33 + 238049143976*x^28*y^32 +
474949300457*x^28*y^31 - 7753922773*x^28*y^30 - 487860727698*x^28*y^29 -
363761172304*x^28*y^28 + 311690335108*x^28*y^27 + 387690513168*x^28*y^26 +
72300601272*x^28*y^25 - 318634139121*x^28*y^24 - 126963698812*x^28*y^23 +
37235731075*x^28*y^22 + 186734317047*x^28*y^21 - 24823316656*x^28*y^20 -
42327298394*x^28*y^19 - 41023013833*x^28*y^18 + 34518097070*x^28*y^17 +
4032484319*x^28*y^16 - 3229755112*x^28*y^15 - 3154510498*x^28*y^14 +
1463113972*x^28*y^13 + 45716217*x^28*y^12 - 91233485*x^28*y^11 +
10829600*x^28*y^10 + 53854*x^28*y^9 - 238586*x^28*y^8 - 40820*x^28*y^7 +
31247*x^28*y^6 + 786*x^28*y^5 - 933*x^28*y^4 + 13*x^28*y^3 + 66*x^27*y^52 +
4228*x^27*y^51 + 67090*x^27*y^50 + 309630*x^27*y^49 + 777003*x^27*y^48 +
8648502*x^27*y^47 + 61306817*x^27*y^46 + 240257919*x^27*y^45 +
284372042*x^27*y^44 - 769099953*x^27*y^43 - 3507185078*x^27*y^42 -
2859513520*x^27*y^41 + 10372751166*x^27*y^40 + 23330076716*x^27*y^39 +
3392127831*x^27*y^38 - 79151698117*x^27*y^37 - 60090134036*x^27*y^36 +
60185193910*x^27*y^35 + 275176378932*x^27*y^34 - 27099541496*x^27*y^33 -
261375128193*x^27*y^32 - 416628862541*x^27*y^31 + 403131600874*x^27*y^30 +
312101078460*x^27*y^29 + 255177670003*x^27*y^28 - 688642060936*x^27*y^27 -
16093560928*x^27*y^26 - 28736823050*x^27*y^25 + 460768474850*x^27*y^24 -
108337684108*x^27*y^23 - 80768815546*x^27*y^22 - 130799947733*x^27*y^21 +
63908238106*x^27*y^20 + 68701561677*x^27*y^19 - 11875849156*x^27*y^18 -
23640998170*x^27*y^17 - 5836743106*x^27*y^16 + 11320127210*x^27*y^15 -
855931574*x^27*y^14 - 1180423793*x^27*y^13 - 77728681*x^27*y^12 +
207671316*x^27*y^11 - 44363488*x^27*y^10 + 3545032*x^27*y^9 - 89730*x^27*y^8
- 47239*x^27*y^7 - 10142*x^27*y^6 + 1525*x^27*y^5 + 1089*x^27*y^4 -
140*x^27*y^3 - 220*x^26*y^52 - 8690*x^26*y^51 - 87032*x^26*y^50 -
302366*x^26*y^49 - 1382620*x^26*y^48 - 11022415*x^26*y^47 -
65579234*x^26*y^46 - 189524260*x^26*y^45 - 73560760*x^26*y^44 +
972279704*x^26*y^43 + 2918672424*x^26*y^42 - 446819732*x^26*y^41 -
9678756134*x^26*y^40 - 19314186530*x^26*y^39 + 22663646878*x^26*y^38 +
51012715096*x^26*y^37 + 48358842006*x^26*y^36 - 159590228916*x^26*y^35 -
100287325495*x^26*y^34 + 6754556553*x^26*y^33 + 468365201689*x^26*y^32 -
110670485770*x^26*y^31 - 116107030482*x^26*y^30 - 677374997388*x^26*y^29 +
650916457496*x^26*y^28 - 44453972545*x^26*y^27 + 495697311959*x^26*y^26 -
757483577089*x^26*y^25 + 221315332219*x^26*y^24 - 179320388136*x^26*y^23 +
363610859270*x^26*y^22 - 130212211018*x^26*y^21 - 1752834193*x^26*y^20 -
79262113093*x^26*y^19 + 48489517673*x^26*y^18 + 17461402733*x^26*y^17 -
7208402232*x^26*y^16 - 7942140475*x^26*y^15 + 1486897093*x^26*y^14 +
2152548313*x^26*y^13 - 693984950*x^26*y^12 - 78049854*x^26*y^11 +
44723941*x^26*y^10 - 1507967*x^26*y^9 - 570766*x^26*y^8 + 95560*x^26*y^7 -
7062*x^26*y^6 - 3804*x^26*y^5 + 308*x^26*y^4 + 83*x^26*y^3 - x^26*y^2 +
495*x^25*y^52 + 12738*x^25*y^51 + 88974*x^25*y^50 + 330421*x^25*y^49 +
1702645*x^25*y^48 + 11585931*x^25*y^47 + 59356959*x^25*y^46 +
118717125*x^25*y^45 - 36319009*x^25*y^44 - 1072195994*x^25*y^43 -
1552055120*x^25*y^42 + 1103198398*x^25*y^41 + 10727907228*x^25*y^40 +
5388142467*x^25*y^39 - 18980307785*x^25*y^38 - 51585679820*x^25*y^37 +
21723759589*x^25*y^36 + 101324498578*x^25*y^35 + 101377828666*x^25*y^34 -
215778296185*x^25*y^33 - 144646926033*x^25*y^32 - 60281496113*x^25*y^31 +
601412018459*x^25*y^30 - 209866361940*x^25*y^29 + 25865657222*x^25*y^28 -
696955777406*x^25*y^27 + 633588406683*x^25*y^26 - 146031168072*x^25*y^25 +
379913782060*x^25*y^24 - 501727683336*x^25*y^23 + 177758755307*x^25*y^22 -
124880483385*x^25*y^21 + 196902721765*x^25*y^20 - 80918843731*x^25*y^19 +
6921497201*x^25*y^18 - 31623026030*x^25*y^17 + 23993790774*x^25*y^16 +
1452649497*x^25*y^15 - 3472046008*x^25*y^14 - 1022966878*x^25*y^13 +
782432355*x^25*y^12 + 100648385*x^25*y^11 - 118340248*x^25*y^10 +
22141340*x^25*y^9 - 1844823*x^25*y^8 + 195342*x^25*y^7 - 8625*x^25*y^6 +
146*x^25*y^5 - 108*x^25*y^4 - 95*x^25*y^3 + 16*x^25*y^2 - 792*x^24*y^52 -
14025*x^24*y^51 - 82296*x^24*y^50 - 346167*x^24*y^49 - 1576581*x^24*y^48 -
11019632*x^24*y^47 - 42634578*x^24*y^46 - 74480694*x^24*y^45 +
137737482*x^24*y^44 + 796502252*x^24*y^43 + 887531969*x^24*y^42 -
2088863681*x^24*y^41 - 7599140421*x^24*y^40 + 389473977*x^24*y^39 +
18141696630*x^24*y^38 + 33295756021*x^24*y^37 - 44388586218*x^24*y^36 -
69601700298*x^24*y^35 - 28647208899*x^24*y^34 + 191430186111*x^24*y^33 +
98018609056*x^24*y^32 - 173332708189*x^24*y^31 - 257258399870*x^24*y^30 +
54766388272*x^24*y^29 + 387993095291*x^24*y^28 + 2833396346*x^24*y^27 -
193676183145*x^24*y^26 - 259540112697*x^24*y^25 + 249293678139*x^24*y^24 +
16092537008*x^24*y^23 + 123454197902*x^24*y^22 - 214646028709*x^24*y^21 +
81091408566*x^24*y^20 - 54669337497*x^24*y^19 + 83350994042*x^24*y^18 -
37737052716*x^24*y^17 + 2415571919*x^24*y^16 - 6839238121*x^24*y^15 +
7388278118*x^24*y^14 - 959404893*x^24*y^13 - 885856070*x^24*y^12 +
165559193*x^24*y^11 + 80126181*x^24*y^10 - 23274274*x^24*y^9 +
224247*x^24*y^8 + 332634*x^24*y^7 - 33677*x^24*y^6 + 2598*x^24*y^5 +
280*x^24*y^4 - 97*x^24*y^3 + 2*x^24*y^2 + 924*x^23*y^52 + 12408*x^23*y^51 +
74157*x^23*y^50 + 287569*x^23*y^49 + 1373321*x^23*y^48 + 8403411*x^23*y^47 +
28351211*x^23*y^46 + 38652600*x^23*y^45 - 160502526*x^23*y^44 -
491598772*x^23*y^43 - 552887606*x^23*y^42 + 2722963189*x^23*y^41 +
2924371777*x^23*y^40 + 1213079549*x^23*y^39 - 24016605421*x^23*y^38 +
2583594980*x^23*y^37 + 12094786085*x^23*y^36 + 91991679238*x^23*y^35 -
92084942408*x^23*y^34 - 41247185786*x^23*y^33 - 152224433317*x^23*y^32 +
373633314058*x^23*y^31 - 118377305744*x^23*y^30 + 154806342876*x^23*y^29 -
635463432785*x^23*y^28 + 526734519878*x^23*y^27 - 193364345670*x^23*y^26 +
412669043644*x^23*y^25 - 478937457973*x^23*y^24 + 128699258204*x^23*y^23 -
20376294325*x^23*y^22 + 81180053094*x^23*y^21 + 11898701102*x^23*y^20 -
72790751755*x^23*y^19 + 28263997590*x^23*y^18 - 15016779118*x^23*y^17 +
25644206470*x^23*y^16 - 13025292944*x^23*y^15 + 299363445*x^23*y^14 -
47269000*x^23*y^13 + 1179625635*x^23*y^12 - 429042702*x^23*y^11 -
50903186*x^23*y^10 + 48311874*x^23*y^9 - 7822670*x^23*y^8 + 542517*x^23*y^7
- 60968*x^23*y^6 + 3614*x^23*y^5 + 322*x^23*y^4 - 73*x^23*y^3 + 8*x^23*y^2 -
x^23*y - 792*x^22*y^52 - 9636*x^22*y^51 - 60285*x^22*y^50 - 202994*x^22*y^49
- 1085158*x^22*y^48 - 5142416*x^22*y^47 - 19458957*x^22*y^46 -
6517131*x^22*y^45 + 96165489*x^22*y^44 + 409745886*x^22*y^43 -
124870592*x^22*y^42 - 1262620811*x^22*y^41 - 3290334881*x^22*y^40 +
5054630561*x^22*y^39 + 7759387392*x^22*y^38 + 8416736135*x^22*y^37 -
42549058673*x^22*y^36 - 1101452332*x^22*y^35 - 3367735094*x^22*y^34 +
170150598615*x^22*y^33 - 185438307400*x^22*y^32 + 103705228288*x^22*y^31 -
408754894394*x^22*y^30 + 700478082106*x^22*y^29 - 534774634632*x^22*y^28 +
584526588045*x^22*y^27 - 921359420960*x^22*y^26 + 791011091790*x^22*y^25 -
459099021544*x^22*y^24 + 448627780917*x^22*y^23 - 402442799283*x^22*y^22 +
170435407368*x^22*y^21 - 60908920003*x^22*y^20 + 55804483065*x^22*y^19 -
11640621059*x^22*y^18 - 17382847919*x^22*y^17 + 5624983542*x^22*y^16 -
461561978*x^22*y^15 + 4725514705*x^22*y^14 - 3361136084*x^22*y^13 +
285616655*x^22*y^12 + 264139673*x^22*y^11 + 18672730*x^22*y^10 -
53343356*x^22*y^9 + 11689920*x^22*y^8 - 421291*x^22*y^7 - 67525*x^22*y^6 +
4058*x^22*y^5 + 321*x^22*y^4 - 94*x^22*y^3 + 14*x^22*y^2 - x^22*y +
495*x^21*y^52 + 6930*x^21*y^51 + 40761*x^21*y^50 + 146370*x^21*y^49 +
625733*x^21*y^48 + 3245717*x^21*y^47 + 10229560*x^21*y^46 +
1718242*x^21*y^45 - 75866451*x^21*y^44 - 220357703*x^21*y^43 +
146364912*x^21*y^42 + 931860981*x^21*y^41 + 1649627784*x^21*y^40 -
4124198008*x^21*y^39 - 4333075148*x^21*y^38 - 1466093837*x^21*y^37 +
25706218905*x^21*y^36 + 5402107631*x^21*y^35 - 46011815323*x^21*y^34 -
10232011563*x^21*y^33 - 31209679122*x^21*y^32 + 248862239163*x^21*y^31 -
283076420347*x^21*y^30 + 228985580815*x^21*y^29 - 497997004916*x^21*y^28 +
709489881004*x^21*y^27 - 534665024366*x^21*y^26 + 479584420143*x^21*y^25 -
623780066181*x^21*y^24 + 520029398935*x^21*y^23 - 297833555167*x^21*y^22 +
243889204708*x^21*y^21 - 208781117493*x^21*y^20 + 105147540809*x^21*y^19 -
45276604273*x^21*y^18 + 31056443640*x^21*y^17 - 11285141669*x^21*y^16 -
2086991529*x^21*y^15 + 880491580*x^21*y^14 + 809911494*x^21*y^13 +
282803782*x^21*y^12 - 585284647*x^21*y^11 + 163479913*x^21*y^10 +
19584157*x^21*y^9 - 14606796*x^21*y^8 + 1772248*x^21*y^7 - 33948*x^21*y^6 +
1565*x^21*y^5 + 651*x^21*y^4 - 160*x^21*y^3 + 20*x^21*y^2 - x^21*y -
220*x^20*y^52 - 4389*x^20*y^51 - 24327*x^20*y^50 - 97845*x^20*y^49 -
279814*x^20*y^48 - 1981016*x^20*y^47 - 4145623*x^20*y^46 - 4264862*x^20*y^45
+ 66216950*x^20*y^44 + 54038257*x^20*y^43 + 66131279*x^20*y^42 -
1139414319*x^20*y^41 + 652042519*x^20*y^40 - 325214137*x^20*y^39 +
8649505721*x^20*y^38 - 12785740979*x^20*y^37 + 2954823623*x^20*y^36 -
23426244713*x^20*y^35 + 60172663935*x^20*y^34 - 23001387527*x^20*y^33 -
363911404*x^20*y^32 - 93291784735*x^20*y^31 + 88638604201*x^20*y^30 +
52051450867*x^20*y^29 - 6829379003*x^20*y^28 - 110292384503*x^20*y^27 -
31708079250*x^20*y^26 + 176042136034*x^20*y^25 - 100231493398*x^20*y^24 +
95007945126*x^20*y^23 - 217215845458*x^20*y^22 + 225359840543*x^20*y^21 -
146987673666*x^20*y^20 + 115216800315*x^20*y^19 - 93756151856*x^20*y^18 +
50582237349*x^20*y^17 - 21892441940*x^20*y^16 + 11933046816*x^20*y^15 -
4465852380*x^20*y^14 - 246444743*x^20*y^13 + 511856537*x^20*y^12 +
95776555*x^20*y^11 - 71216102*x^20*y^10 - 33962804*x^20*y^9 +
24894494*x^20*y^8 - 4907697*x^20*y^7 + 326030*x^20*y^6 - 9881*x^20*y^5 +
1686*x^20*y^4 - 271*x^20*y^3 + 26*x^20*y^2 - x^20*y + 66*x^19*y^52 +
2180*x^19*y^51 + 14708*x^19*y^50 + 48084*x^19*y^49 + 160497*x^19*y^48 +
734584*x^19*y^47 + 2996364*x^19*y^46 - 2197337*x^19*y^45 -
21271761*x^19*y^44 - 78428751*x^19*y^43 + 143815229*x^19*y^42 +
198959323*x^19*y^41 + 650748780*x^19*y^40 - 2597219212*x^19*y^39 +
930269767*x^19*y^38 - 2750610812*x^19*y^37 + 18411791443*x^19*y^36 -
25223749806*x^19*y^35 + 24181307583*x^19*y^34 - 78173265036*x^19*y^33 +
159485065957*x^19*y^32 - 183502679685*x^19*y^31 + 256432927002*x^19*y^30 -
449171770636*x^19*y^29 + 544163416054*x^19*y^28 - 497143340607*x^19*y^27 +
531538916004*x^19*y^26 - 564183292307*x^19*y^25 + 388567234803*x^19*y^24 -
173503414868*x^19*y^23 + 89750708185*x^19*y^22 - 22610497648*x^19*y^21 -
70728266619*x^19*y^20 + 99166591002*x^19*y^19 - 71289853031*x^19*y^18 +
47996452844*x^19*y^17 - 32228250314*x^19*y^16 + 15495387586*x^19*y^15 -
5476492261*x^19*y^14 + 2405843942*x^19*y^13 - 935758460*x^19*y^12 -
31664566*x^19*y^11 + 172459216*x^19*y^10 - 40046042*x^19*y^9 -
6953322*x^19*y^8 + 3405462*x^19*y^7 - 201370*x^19*y^6 - 35618*x^19*y^5 +
3800*x^19*y^4 - 427*x^19*y^3 + 32*x^19*y^2 - x^19*y - 12*x^18*y^52 -
754*x^18*y^51 - 8446*x^18*y^50 - 20334*x^18*y^49 - 84884*x^18*y^48 -
192479*x^18*y^47 - 1772830*x^18*y^46 + 2097201*x^18*y^45 + 7449358*x^18*y^44
+ 49077059*x^18*y^43 - 103771298*x^18*y^42 - 63190826*x^18*y^41 -
370460582*x^18*y^40 + 1482854564*x^18*y^39 - 262739220*x^18*y^38 -
919862884*x^18*y^37 - 2951051376*x^18*y^36 - 3861764760*x^18*y^35 +
33114589146*x^18*y^34 - 59207199067*x^18*y^33 + 98229313430*x^18*y^32 -
216383071071*x^18*y^31 + 368169687285*x^18*y^30 - 466120931279*x^18*y^29 +
585356142635*x^18*y^28 - 753999064209*x^18*y^27 + 796813598516*x^18*y^26 -
685459090313*x^18*y^25 + 585815897851*x^18*y^24 - 491893454229*x^18*y^23 +
312106583604*x^18*y^22 - 132889174061*x^18*y^21 + 47205857241*x^18*y^20 -
8362716081*x^18*y^19 - 23779565923*x^18*y^18 + 32724617675*x^18*y^17 -
22262435375*x^18*y^16 + 12465506799*x^18*y^15 - 6852465206*x^18*y^14 +
2689460442*x^18*y^13 - 558250566*x^18*y^12 + 144012331*x^18*y^11 -
100300151*x^18*y^10 + 17052382*x^18*y^9 + 15735150*x^18*y^8 -
8317294*x^18*y^7 + 1538877*x^18*y^6 - 122839*x^18*y^5 + 7394*x^18*y^4 -
628*x^18*y^3 + 38*x^18*y^2 - x^18*y + x^17*y^52 + 158*x^17*y^51 +
3620*x^17*y^50 + 13313*x^17*y^49 + 10253*x^17*y^48 + 163109*x^17*y^47 +
187316*x^17*y^46 + 1905838*x^17*y^45 - 13471631*x^17*y^44 +
10142069*x^17*y^43 - 53553231*x^17*y^42 + 325690616*x^17*y^41 -
546051550*x^17*y^40 + 794107834*x^17*y^39 - 2841814130*x^17*y^38 +
5603062368*x^17*y^37 - 4846106566*x^17*y^36 + 5244129281*x^17*y^35 -
9283289137*x^17*y^34 - 5520188655*x^17*y^33 + 47103840080*x^17*y^32 -
85571198718*x^17*y^31 + 135986791762*x^17*y^30 - 245148327355*x^17*y^29 +
358911336331*x^17*y^28 - 404300103105*x^17*y^27 + 438206785102*x^17*y^26 -
491895701213*x^17*y^25 + 472040417671*x^17*y^24 - 368614551336*x^17*y^23 +
281074184598*x^17*y^22 - 221449930677*x^17*y^21 + 142092134753*x^17*y^20 -
64404374331*x^17*y^19 + 24637516239*x^17*y^18 - 9302502599*x^17*y^17 -
510475514*x^17*y^16 + 4516073116*x^17*y^15 - 3359841417*x^17*y^14 +
1717402588*x^17*y^13 - 877765998*x^17*y^12 + 300759132*x^17*y^11 -
402275*x^17*y^10 - 33545343*x^17*y^9 + 4729510*x^17*y^8 + 2524433*x^17*y^7 -
735643*x^17*y^6 + 7728*x^17*y^5 + 12436*x^17*y^4 - 874*x^17*y^3 +
44*x^17*y^2 - x^17*y - 15*x^16*y^51 - 930*x^16*y^50 - 8701*x^16*y^49 +
4983*x^16*y^48 - 56576*x^16*y^47 - 93427*x^16*y^46 - 542366*x^16*y^45 +
2800636*x^16*y^44 + 9611433*x^16*y^43 - 24898289*x^16*y^42 +
6008628*x^16*y^41 - 195194236*x^16*y^40 + 780557336*x^16*y^39 -
1221452132*x^16*y^38 + 2406240625*x^16*y^37 - 7036369182*x^16*y^36 +
13093077080*x^16*y^35 - 17708093619*x^16*y^34 + 30052436539*x^16*y^33 -
53668159544*x^16*y^32 + 69006767187*x^16*y^31 - 75242415612*x^16*y^30 +
98482211568*x^16*y^29 - 118950352261*x^16*y^28 + 91975619206*x^16*y^27 -
44700273839*x^16*y^26 + 17613438953*x^16*y^25 + 24226733598*x^16*y^24 -
96823814091*x^16*y^23 + 141396817045*x^16*y^22 - 134825025933*x^16*y^21 +
116024112052*x^16*y^20 - 98989724627*x^16*y^19 + 70352670523*x^16*y^18 -
37656272755*x^16*y^17 + 16623399602*x^16*y^16 - 6919992773*x^16*y^15 +
2202945051*x^16*y^14 - 195223510*x^16*y^13 - 147447981*x^16*y^12 +
84081133*x^16*y^11 - 60415832*x^16*y^10 + 32001069*x^16*y^9 -
3072813*x^16*y^8 - 4230751*x^16*y^7 + 1898427*x^16*y^6 - 323956*x^16*y^5 +
24194*x^16*y^4 - 1166*x^16*y^3 + 50*x^16*y^2 - x^16*y + 105*x^15*y^50 +
3150*x^15*y^49 + 6874*x^15*y^48 - 40839*x^15*y^47 + 253041*x^15*y^46 -
590742*x^15*y^45 + 2135814*x^15*y^44 - 13484294*x^15*y^43 +
31255338*x^15*y^42 - 42350236*x^15*y^41 + 143185841*x^15*y^40 -
346211459*x^15*y^39 + 170640240*x^15*y^38 + 539607329*x^15*y^37 -
1614938223*x^15*y^36 + 6092440965*x^15*y^35 - 19124874956*x^15*y^34 +
41103939711*x^15*y^33 - 74174635042*x^15*y^32 + 130852560881*x^15*y^31 -
211820607088*x^15*y^30 + 293183728399*x^15*y^29 - 362148194864*x^15*y^28 +
421051140790*x^15*y^27 - 441902483094*x^15*y^26 + 390819497952*x^15*y^25 -
291302083114*x^15*y^24 + 187423843361*x^15*y^23 - 85746808717*x^15*y^22 -
8523307579*x^15*y^21 + 65534140041*x^15*y^20 - 76008999102*x^15*y^19 +
63582322621*x^15*y^18 - 47112852174*x^15*y^17 + 30040571808*x^15*y^16 -
15186709268*x^15*y^15 + 6083310465*x^15*y^14 - 2065524049*x^15*y^13 +
563382086*x^15*y^12 - 81721728*x^15*y^11 + 2147878*x^15*y^10 -
7452542*x^15*y^9 + 3514125*x^15*y^8 + 973048*x^15*y^7 - 914769*x^15*y^6 +
189966*x^15*y^5 - 6530*x^15*y^4 - 1475*x^15*y^3 + 56*x^15*y^2 - x^15*y -
455*x^14*y^49 - 6370*x^14*y^48 + 19201*x^14*y^47 - 13546*x^14*y^46 -
292929*x^14*y^45 + 1358513*x^14*y^44 - 3791269*x^14*y^43 +
20064595*x^14*y^42 - 76765960*x^14*y^41 + 172946232*x^14*y^40 -
360153829*x^14*y^39 + 851981586*x^14*y^38 - 1475038031*x^14*y^37 +
1273642983*x^14*y^36 + 478903789*x^14*y^35 - 5334276507*x^14*y^34 +
19318293688*x^14*y^33 - 49534726609*x^14*y^32 + 96862734981*x^14*y^31 -
161458396023*x^14*y^30 + 246540623378*x^14*y^29 - 340128565295*x^14*y^28 +
411695265665*x^14*y^27 - 443289009320*x^14*y^26 + 436048655378*x^14*y^25 -
384584858298*x^14*y^24 + 287450955702*x^14*y^23 - 174005875638*x^14*y^22 +
80161446275*x^14*y^21 - 14937627813*x^14*y^20 - 25944072982*x^14*y^19 +
42057586083*x^14*y^18 - 37655041446*x^14*y^17 + 25437292679*x^14*y^16 -
14841295726*x^14*y^15 + 7716666395*x^14*y^14 - 3351182175*x^14*y^13 +
1141301976*x^14*y^12 - 299955284*x^14*y^11 + 52042303*x^14*y^10 +
4033564*x^14*y^9 - 6034930*x^14*y^8 + 800175*x^14*y^7 + 588218*x^14*y^6 -
260886*x^14*y^5 + 40196*x^14*y^4 - 2295*x^14*y^3 + 62*x^14*y^2 - x^14*y +
1365*x^13*y^48 + 6006*x^13*y^47 - 64064*x^13*y^46 + 276003*x^13*y^45 -
579813*x^13*y^44 + 406263*x^13*y^43 - 487670*x^13*y^42 - 4472294*x^13*y^41 +
52234835*x^13*y^40 - 190955626*x^13*y^39 + 443606212*x^13*y^38 -
990513366*x^13*y^37 + 2144340125*x^13*y^36 - 3528637754*x^13*y^35 +
3974391838*x^13*y^34 - 2676588969*x^13*y^33 - 2175383889*x^13*y^32 +
15788972254*x^13*y^31 - 42174155965*x^13*y^30 + 78553856370*x^13*y^29 -
120874679727*x^13*y^28 + 167283673092*x^13*y^27 - 208007244070*x^13*y^26 +
226124340830*x^13*y^25 - 216500968509*x^13*y^24 + 187770125568*x^13*y^23 -
145670891704*x^13*y^22 + 93802240843*x^13*y^21 - 44614188708*x^13*y^20 +
11025662556*x^13*y^19 + 6231999753*x^13*y^18 - 13218418428*x^13*y^17 +
13722290162*x^13*y^16 - 10171218232*x^13*y^15 + 5774487239*x^13*y^14 -
2691702845*x^13*y^13 + 1089239060*x^13*y^12 - 373013939*x^13*y^11 +
98159418*x^13*y^10 - 18287162*x^13*y^9 + 1891980*x^13*y^8 + 743782*x^13*y^7
- 711966*x^13*y^6 + 261723*x^13*y^5 - 45393*x^13*y^4 + 2750*x^13*y^3 +
67*x^13*y^2 - x^13*y - 3003*x^12*y^47 + 6006*x^12*y^46 + 64779*x^12*y^45 -
563121*x^12*y^44 + 2299674*x^12*y^43 - 6148584*x^12*y^42 +
15230539*x^12*y^41 - 37226340*x^12*y^40 + 56812309*x^12*y^39 +
5931221*x^12*y^38 - 268815690*x^12*y^37 + 957354630*x^12*y^36 -
2740512159*x^12*y^35 + 6631402966*x^12*y^34 - 13187319445*x^12*y^33 +
22639831014*x^12*y^32 - 35585486056*x^12*y^31 + 51040892294*x^12*y^30 -
64366391602*x^12*y^29 + 70705421325*x^12*y^28 - 68584086132*x^12*y^27 +
56809494927*x^12*y^26 - 33731593117*x^12*y^25 + 3996637772*x^12*y^24 +
21691656247*x^12*y^23 - 36922926508*x^12*y^22 + 42339025299*x^12*y^21 -
39126586447*x^12*y^20 + 28465741336*x^12*y^19 - 15289877407*x^12*y^18 +
5378065542*x^12*y^17 - 307189112*x^12*y^16 - 1587987145*x^12*y^15 +
1880506198*x^12*y^14 - 1381925621*x^12*y^13 + 716524878*x^12*y^12 -
270224068*x^12*y^11 + 74202051*x^12*y^10 - 12283718*x^12*y^9 -
1011054*x^12*y^8 + 1376480*x^12*y^7 - 327939*x^12*y^6 - 7941*x^12*y^5 +
17335*x^12*y^4 - 2715*x^12*y^3 + 103*x^12*y^2 - x^12*y + 5005*x^11*y^46 -
32890*x^11*y^45 + 59202*x^11*y^44 + 346424*x^11*y^43 - 2904343*x^11*y^42 +
11125504*x^11*y^41 - 31389684*x^11*y^40 + 78972496*x^11*y^39 -
166322905*x^11*y^38 + 227238720*x^11*y^37 - 23984747*x^11*y^36 -
915056059*x^11*y^35 + 3549396270*x^11*y^34 - 9699756297*x^11*y^33 +
21658719274*x^11*y^32 - 41012626205*x^11*y^31 + 68061696008*x^11*y^30 -
101384577401*x^11*y^29 + 135999964133*x^11*y^28 - 162958465863*x^11*y^27 +
173649159113*x^11*y^26 - 164335499745*x^11*y^25 + 136100050233*x^11*y^24 -
94120107810*x^11*y^23 + 48481565025*x^11*y^22 - 10905128741*x^11*y^21 -
12183445603*x^11*y^20 + 21602553160*x^11*y^19 - 21416062850*x^11*y^18 +
15926617078*x^11*y^17 - 9204791562*x^11*y^16 + 4138933913*x^11*y^15 -
1441814101*x^11*y^14 + 355669581*x^11*y^13 - 12986653*x^11*y^12 -
50291057*x^11*y^11 + 31535070*x^11*y^10 - 9579403*x^11*y^9 + 899323*x^11*y^8
+ 623182*x^11*y^7 - 441184*x^11*y^6 + 175115*x^11*y^5 - 44956*x^11*y^4 +
6651*x^11*y^3 - 420*x^11*y^2 - x^11*y - 6435*x^10*y^45 + 64350*x^10*y^44 -
294723*x^10*y^43 + 645073*x^10*y^42 + 366483*x^10*y^41 - 7679178*x^10*y^40 +
30879369*x^10*y^39 - 87570133*x^10*y^38 + 204161624*x^10*y^37 -
362911641*x^10*y^36 + 355062666*x^10*y^35 + 371172077*x^10*y^34 -
2818580966*x^10*y^33 + 8618678625*x^10*y^32 - 19973246246*x^10*y^31 +
38649538846*x^10*y^30 - 64440069575*x^10*y^29 + 94498356280*x^10*y^28 -
123570406104*x^10*y^27 + 144460472954*x^10*y^26 - 150009464430*x^10*y^25 +
137024210601*x^10*y^24 - 108560292620*x^10*y^23 + 72018948701*x^10*y^22 -
35785525832*x^10*y^21 + 7039755325*x^10*y^20 + 10147654717*x^10*y^19 -
16243768907*x^10*y^18 + 15111016192*x^10*y^17 - 11000658565*x^10*y^16 +
6667086102*x^10*y^15 - 3367401072*x^10*y^14 + 1396450192*x^10*y^13 -
476121976*x^10*y^12 + 139740553*x^10*y^11 - 38789009*x^10*y^10 +
11092619*x^10*y^9 - 3418947*x^10*y^8 + 1125515*x^10*y^7 - 334454*x^10*y^6 +
68738*x^10*y^5 - 6586*x^10*y^4 - 301*x^10*y^3 + 100*x^10*y^2 - 2*x^10*y +
6435*x^9*y^44 - 81510*x^9*y^43 + 500500*x^9*y^42 - 1874080*x^9*y^41 +
4287036*x^9*y^40 - 4187382*x^9*y^39 - 10003833*x^9*y^38 + 62767160*x^9*y^37
- 200216819*x^9*y^36 + 483314879*x^9*y^35 - 904110058*x^9*y^34 +
1222513329*x^9*y^33 - 851559895*x^9*y^32 - 1146723853*x^9*y^31 +
5996002454*x^9*y^30 - 14835999402*x^9*y^29 + 27795920034*x^9*y^28 -
43151027729*x^9*y^27 + 57553774069*x^9*y^26 - 67145469904*x^9*y^25 +
68732986896*x^9*y^24 - 61032101343*x^9*y^23 + 45762279061*x^9*y^22 -
27251398990*x^9*y^21 + 10275929769*x^9*y^20 + 1990549792*x^9*y^19 -
8528228123*x^9*y^18 + 10068951396*x^9*y^17 - 8451704815*x^9*y^16 +
5726408801*x^9*y^15 - 3290144040*x^9*y^14 + 1640161450*x^9*y^13 -
708875959*x^9*y^12 + 260321669*x^9*y^11 - 79492489*x^9*y^10 +
20316972*x^9*y^9 - 4662342*x^9*y^8 + 1091481*x^9*y^7 - 280962*x^9*y^6 +
76454*x^9*y^5 - 19588*x^9*y^4 + 3963*x^9*y^3 - 515*x^9*y^2 + 31*x^9*y -
5005*x^8*y^43 + 74074*x^8*y^42 - 535535*x^8*y^41 + 2439593*x^8*y^40 -
7478578*x^8*y^39 + 14883276*x^8*y^38 - 12785207*x^8*y^37 - 35945351*x^8*y^36
+ 214716667*x^8*y^35 - 679393120*x^8*y^34 + 1653129080*x^8*y^33 -
3327911839*x^8*y^32 + 5691694255*x^8*y^31 - 8401562326*x^8*y^30 +
10761851016*x^8*y^29 - 11807215039*x^8*y^28 + 10625186947*x^8*y^27 -
6955744650*x^8*y^26 + 1605932786*x^8*y^25 + 3815608918*x^8*y^24 -
7624721506*x^8*y^23 + 8704003649*x^8*y^22 - 6916680373*x^8*y^21 +
3231283364*x^8*y^20 + 729560151*x^8*y^19 - 3581926538*x^8*y^18 +
4788426162*x^8*y^17 - 4584944439*x^8*y^16 + 3563097999*x^8*y^15 -
2324761448*x^8*y^14 + 1287063414*x^8*y^13 - 609444675*x^8*y^12 +
249478946*x^8*y^11 - 89006932*x^8*y^10 + 27528957*x^8*y^9 - 7221817*x^8*y^8
+ 1569774*x^8*y^7 - 283351*x^8*y^6 + 43974*x^8*y^5 - 5771*x^8*y^4 +
510*x^8*y^3 - 10*x^8*y^2 - 2*x^8*y + 3003*x^7*y^42 - 49686*x^7*y^41 +
400582*x^7*y^40 - 2041702*x^7*y^39 + 7089613*x^7*y^38 - 16463412*x^7*y^37 +
19583412*x^7*y^36 + 27935198*x^7*y^35 - 237420794*x^7*y^34 +
824368012*x^7*y^33 - 2125962396*x^7*y^32 + 4540990635*x^7*y^31 -
8343020884*x^7*y^30 + 13424478032*x^7*y^29 - 19129234532*x^7*y^28 +
24294180597*x^7*y^27 - 27535475967*x^7*y^26 + 27765447208*x^7*y^25 -
24759883509*x^7*y^24 + 19378548976*x^7*y^23 - 13193239294*x^7*y^22 +
7769524578*x^7*y^21 - 4072673729*x^7*y^20 + 2244858465*x^7*y^19 -
1755302206*x^7*y^18 + 1816981269*x^7*y^17 - 1832412983*x^7*y^16 +
1592680743*x^7*y^15 - 1176694664*x^7*y^14 + 743601664*x^7*y^13 -
402209330*x^7*y^12 + 184714947*x^7*y^11 - 71130174*x^7*y^10 +
22711412*x^7*y^9 - 5980517*x^7*y^8 + 1301580*x^7*y^7 - 236203*x^7*y^6 +
36682*x^7*y^5 - 5365*x^7*y^4 + 865*x^7*y^3 - 142*x^7*y^2 + 17*x^7*y - x^7 -
1365*x^6*y^41 + 24570*x^6*y^40 - 214501*x^6*y^39 + 1178733*x^6*y^38 -
4387821*x^6*y^37 + 10746670*x^6*y^36 - 12221352*x^6*y^35 - 29573936*x^6*y^34
+ 217270501*x^6*y^33 - 750649920*x^6*y^32 + 1932181443*x^6*y^31 -
4107440715*x^6*y^30 + 7507468607*x^6*y^29 - 12020461716*x^6*y^28 +
17024415387*x^6*y^27 - 21444615201*x^6*y^26 + 24082501687*x^6*y^25 -
24090907693*x^6*y^24 + 21373973370*x^6*y^23 - 16689227011*x^6*y^22 +
11343454425*x^6*y^21 - 6620412183*x^6*y^20 + 3283906086*x^6*y^19 -
1429551147*x^6*y^18 + 677730471*x^6*y^17 - 500963594*x^6*y^16 +
485184227*x^6*y^15 - 432553269*x^6*y^14 + 319901813*x^6*y^13 -
195452186*x^6*y^12 + 99850287*x^6*y^11 - 43008831*x^6*y^10 +
15591890*x^6*y^9 - 4687347*x^6*y^8 + 1136085*x^6*y^7 - 213290*x^6*y^6 +
29472*x^6*y^5 - 2809*x^6*y^4 + 168*x^6*y^3 - 5*x^6*y^2 + 455*x^5*y^40 -
8750*x^5*y^39 + 81224*x^5*y^38 - 470908*x^5*y^37 + 1820686*x^5*y^36 -
4418667*x^5*y^35 + 3329803*x^5*y^34 + 25387457*x^5*y^33 - 148096995*x^5*y^32
+ 495257003*x^5*y^31 - 1257658653*x^5*y^30 + 2633608102*x^5*y^29 -
4721631020*x^5*y^28 + 7389898102*x^5*y^27 - 10199765681*x^5*y^26 +
12475357508*x^5*y^25 - 13542046236*x^5*y^24 + 13028942413*x^5*y^23 -
11058269863*x^5*y^22 + 8203067833*x^5*y^21 - 5234586003*x^5*y^20 +
2800199728*x^5*y^19 - 1204845563*x^5*y^18 + 395221801*x^5*y^17 -
110606383*x^5*y^16 + 70834341*x^5*y^15 - 90015083*x^5*y^14 +
92117352*x^5*y^13 - 70615002*x^5*y^12 + 42249610*x^5*y^11 -
20218123*x^5*y^10 + 7810098*x^5*y^9 - 2436377*x^5*y^8 + 610369*x^5*y^7 -
121193*x^5*y^6 + 18517*x^5*y^5 - 2037*x^5*y^4 + 139*x^5*y^3 - 4*x^5*y^2 -
105*x^4*y^39 + 2130*x^4*y^38 - 20767*x^4*y^37 + 124946*x^4*y^36 -
486115*x^4*y^35 + 1057850*x^4*y^34 + 472095*x^4*y^33 - 14850927*x^4*y^32 +
72466060*x^4*y^31 - 234024323*x^4*y^30 + 587022605*x^4*y^29 -
1214784763*x^4*y^28 + 2140445598*x^4*y^27 - 3271502870*x^4*y^26 +
4384582878*x^4*y^25 - 5180573934*x^4*y^24 + 5402843475*x^4*y^23 -
4961747840*x^4*y^22 + 3987352980*x^4*y^21 - 2770668112*x^4*y^20 +
1628670251*x^4*y^19 - 776270745*x^4*y^18 + 272411035*x^4*y^17 -
50408235*x^4*y^16 - 7149402*x^4*y^15 + 1389981*x^4*y^14 + 11791585*x^4*y^13
- 15529083*x^4*y^12 + 12007784*x^4*y^11 - 6855192*x^4*y^10 + 3087256*x^4*y^9
- 1117000*x^4*y^8 + 322612*x^4*y^7 - 72540*x^4*y^6 + 12141*x^4*y^5 -
1404*x^4*y^4 + 98*x^4*y^3 - 3*x^4*y^2 + 15*x^3*y^38 - 318*x^3*y^37 +
3228*x^3*y^36 - 19755*x^3*y^35 + 72405*x^3*y^34 - 90230*x^3*y^33 -
704503*x^3*y^32 + 5714922*x^3*y^31 - 24678740*x^3*y^30 + 77472874*x^3*y^29 -
192936442*x^3*y^28 + 397212029*x^3*y^27 - 692759976*x^3*y^26 +
1039965863*x^3*y^25 - 1357792902*x^3*y^24 + 1550851153*x^3*y^23 -
1552222183*x^3*y^22 + 1357779769*x^3*y^21 - 1029900187*x^3*y^20 +
667004048*x^3*y^19 - 357923677*x^3*y^18 + 148888752*x^3*y^17 -
38923291*x^3*y^16 - 1713492*x^3*y^15 + 7604578*x^3*y^14 - 3058732*x^3*y^13 -
865400*x^3*y^12 + 1991201*x^3*y^11 - 1526302*x^3*y^10 + 786383*x^3*y^9 -
304632*x^3*y^8 + 91625*x^3*y^7 - 21478*x^3*y^6 + 3863*x^3*y^5 - 511*x^3*y^4
+ 45*x^3*y^3 - 2*x^3*y^2 - x^2*y^37 + 22*x^2*y^36 - 231*x^2*y^35 +
1350*x^2*y^34 - 3055*x^2*y^33 - 19481*x^2*y^32 + 240159*x^2*y^31 -
1382021*x^2*y^30 + 5538080*x^2*y^29 - 17096009*x^2*y^28 + 42574197*x^2*y^27
- 87863587*x^2*y^26 + 152975669*x^2*y^25 - 227511791*x^2*y^24 +
291551013*x^2*y^23 - 323652159*x^2*y^22 + 311834138*x^2*y^21 -
260173631*x^2*y^20 + 186457849*x^2*y^19 - 112770357*x^2*y^18 +
55440971*x^2*y^17 - 20161087*x^2*y^16 + 3588529*x^2*y^15 + 1519749*x^2*y^14
- 1687992*x^2*y^13 + 737657*x^2*y^12 - 83069*x^2*y^11 - 131725*x^2*y^10 +
123119*x^2*y^9 - 65497*x^2*y^8 + 25067*x^2*y^7 - 7201*x^2*y^6 + 1535*x^2*y^5
- 231*x^2*y^4 + 22*x^2*y^3 - x^2*y^2 + 20*x*y^33 - 465*x*y^32 + 5183*x*y^31
- 36869*x*y^30 + 187979*x*y^29 - 731422*x*y^28 + 2258002*x*y^27 -
5676814*x*y^26 + 11837870*x*y^25 - 20747771*x*y^24 + 30856133*x*y^23 -
39198463*x*y^22 + 42709321*x*y^21 - 39968020*x*y^20 + 32063564*x*y^19 -
21900692*x*y^18 + 12540152*x*y^17 - 5815159*x*y^16 + 1994905*x*y^15 -
335731*x*y^14 - 141427*x*y^13 + 160402*x*y^12 - 85054*x*y^11 + 31490*x*y^10
- 8666*x*y^9 + 1763*x*y^8 - 253*x*y^7 + 23*x*y^6 - x*y^5 - y^32 + 24*y^31 -
276*y^30 + 2024*y^29 - 10626*y^28 + 42504*y^27 - 134596*y^26 + 346104*y^25 -
735471*y^24 + 1307504*y^23 - 1961256*y^22 + 2496144*y^21 - 2704156*y^20 +
2496144*y^19 - 1961256*y^18 + 1307504*y^17 - 735471*y^16 + 346104*y^15 -
134596*y^14 + 42504*y^13 - 10626*y^12 + 2024*y^11 - 276*y^10 + 24*y^9 - y^8
