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
FFFc63.txt
x^48*y^21 - 7*x^48*y^20 + 21*x^48*y^19 - 35*x^48*y^18 + 35*x^48*y^17 -
21*x^48*y^16 + 7*x^48*y^15 - x^48*y^14 - 25*x^47*y^22 + 167*x^47*y^21 -
470*x^47*y^20 + 714*x^47*y^19 - 616*x^47*y^18 + 280*x^47*y^17 - 42*x^47*y^16
- 10*x^47*y^15 + x^47*y^14 + 300*x^46*y^23 - 1900*x^46*y^22 + 4956*x^46*y^21
- 6690*x^46*y^20 + 4665*x^46*y^19 - 1239*x^46*y^18 - 147*x^46*y^17 -
111*x^46*y^16 + 255*x^46*y^15 - 72*x^46*y^14 + 9*x^46*y^13 - 2300*x^45*y^24
+ 13700*x^45*y^23 - 32575*x^45*y^22 + 37482*x^45*y^21 - 18114*x^45*y^20 -
813*x^45*y^19 + 933*x^45*y^18 + 4239*x^45*y^17 - 3249*x^45*y^16 +
281*x^45*y^15 + 88*x^45*y^14 + 3*x^45*y^13 + 12650*x^44*y^25 -
70150*x^44*y^24 + 148450*x^44*y^23 - 134650*x^44*y^22 + 22359*x^44*y^21 +
31281*x^44*y^20 + 12062*x^44*y^19 - 34638*x^44*y^18 + 11739*x^44*y^17 +
4671*x^44*y^16 + 157*x^44*y^15 - 1618*x^44*y^14 + 324*x^44*y^13 -
36*x^44*y^12 - 53130*x^43*y^26 + 270710*x^43*y^25 - 491280*x^43*y^24 +
290101*x^43*y^23 + 139461*x^43*y^22 - 135200*x^43*y^21 - 136758*x^43*y^20 +
112724*x^43*y^19 + 36054*x^43*y^18 - 44046*x^43*y^17 - 20505*x^43*y^16 +
17376*x^43*y^15 + 8*x^43*y^14 - 424*x^43*y^13 - 64*x^43*y^12 +
177100*x^42*y^27 - 814660*x^42*y^26 + 1189100*x^42*y^25 - 157343*x^42*y^24 -
914350*x^42*y^23 + 175949*x^42*y^22 + 620570*x^42*y^21 + 62500*x^42*y^20 -
477112*x^42*y^19 + 103969*x^42*y^18 + 181109*x^42*y^17 - 53355*x^42*y^16 -
30419*x^42*y^15 - 3142*x^42*y^14 + 6945*x^42*y^13 - 912*x^42*y^12 +
84*x^42*y^11 - 480699*x^41*y^28 + 1948079*x^41*y^27 - 2001020*x^41*y^26 -
1392577*x^41*y^25 + 2762489*x^41*y^24 + 769666*x^41*y^23 - 1400479*x^41*y^22
- 2074247*x^41*y^21 + 1809974*x^41*y^20 + 386316*x^41*y^19 -
606436*x^41*y^18 - 208433*x^41*y^17 + 219692*x^41*y^16 + 96533*x^41*y^15 -
56834*x^41*y^14 - 5970*x^41*y^13 + 1659*x^41*y^12 + 285*x^41*y^11 +
1081557*x^40*y^29 - 3725055*x^40*y^28 + 1761048*x^40*y^27 +
6157319*x^40*y^26 - 4727357*x^40*y^25 - 4777492*x^40*y^24 + 136726*x^40*y^23
+ 9382413*x^40*y^22 - 2553080*x^40*y^21 - 3137544*x^40*y^20 -
200496*x^40*y^19 + 2148915*x^40*y^18 - 382991*x^40*y^17 - 740253*x^40*y^16 +
130426*x^40*y^15 + 111248*x^40*y^14 + 20774*x^40*y^13 - 21307*x^40*y^12 +
1950*x^40*y^11 - 126*x^40*y^10 - 2042822*x^39*y^30 + 5645156*x^39*y^29 +
1711857*x^39*y^28 - 14857294*x^39*y^27 + 2464435*x^39*y^26 +
12861140*x^39*y^25 + 10782208*x^39*y^24 - 23803129*x^39*y^23 -
5264881*x^39*y^22 + 7889460*x^39*y^21 + 9255435*x^39*y^20 -
6187227*x^39*y^19 - 2472916*x^39*y^18 + 2458663*x^39*y^17 + 693710*x^39*y^16
- 533355*x^39*y^15 - 348822*x^39*y^14 + 130785*x^39*y^13 + 27267*x^39*y^12 -
5118*x^39*y^11 - 666*x^39*y^10 + 3267944*x^38*y^31 - 6521608*x^38*y^30 -
10339349*x^38*y^29 + 24167072*x^38*y^28 + 10760872*x^38*y^27 -
18662341*x^38*y^26 - 42932044*x^38*y^25 + 35048249*x^38*y^24 +
35573071*x^38*y^23 - 1337828*x^38*y^22 - 37029444*x^38*y^21 -
325656*x^38*y^20 + 15775460*x^38*y^19 - 675545*x^38*y^18 - 5193097*x^38*y^17
- 40612*x^38*y^16 + 2158107*x^38*y^15 - 170427*x^38*y^14 - 276377*x^38*y^13
- 63288*x^38*y^12 + 46827*x^38*y^11 - 3475*x^38*y^10 + 126*x^38*y^9 -
4454340*x^37*y^32 + 4993988*x^37*y^31 + 23366670*x^37*y^30 -
25897680*x^37*y^29 - 36860203*x^37*y^28 + 4098756*x^37*y^27 +
97796837*x^37*y^26 - 11230796*x^37*y^25 - 90404362*x^37*y^24 -
50760267*x^37*y^23 + 71804707*x^37*y^22 + 57534249*x^37*y^21 -
34635195*x^37*y^20 - 23423383*x^37*y^19 + 8128332*x^37*y^18 +
10957684*x^37*y^17 - 6216249*x^37*y^16 - 1727813*x^37*y^15 +
802293*x^37*y^14 + 846049*x^37*y^13 - 229089*x^37*y^12 - 64152*x^37*y^11 +
11261*x^37*y^10 + 966*x^37*y^9 + 5191732*x^36*y^33 - 587452*x^36*y^32 -
35975536*x^36*y^31 + 11890396*x^36*y^30 + 64275848*x^36*y^29 +
49532060*x^36*y^28 - 143293089*x^36*y^27 - 88067034*x^36*y^26 +
130704971*x^36*y^25 + 176098504*x^36*y^24 - 38447518*x^36*y^23 -
205268015*x^36*y^22 + 663335*x^36*y^21 + 82273537*x^36*y^20 +
37891697*x^36*y^19 - 46250128*x^36*y^18 + 422584*x^36*y^17 +
8411201*x^36*y^16 + 2499591*x^36*y^15 - 4368420*x^36*y^14 + 97873*x^36*y^13
+ 492749*x^36*y^12 + 111718*x^36*y^11 - 73639*x^36*y^10 + 5097*x^36*y^9 -
84*x^36*y^8 - 5181736*x^35*y^34 - 5521600*x^35*y^33 + 41313196*x^35*y^32 +
17587606*x^35*y^31 - 70699630*x^35*y^30 - 133781180*x^35*y^29 +
111603767*x^35*y^28 + 262812045*x^35*y^27 - 76117785*x^35*y^26 -
324781632*x^35*y^25 - 188667406*x^35*y^24 + 386347285*x^35*y^23 +
192821046*x^35*y^22 - 93314300*x^35*y^21 - 227447476*x^35*y^20 +
64508896*x^35*y^19 + 51776887*x^35*y^18 + 1952693*x^35*y^17 -
26776791*x^35*y^16 + 9575619*x^35*y^15 + 3371202*x^35*y^14 -
921004*x^35*y^13 - 1362362*x^35*y^12 + 312485*x^35*y^11 + 94624*x^35*y^10 -
17175*x^35*y^9 - 924*x^35*y^8 + 4425576*x^34*y^35 + 10920392*x^34*y^34 -
35310156*x^34*y^33 - 50439458*x^34*y^32 + 41595536*x^34*y^31 +
198681598*x^34*y^30 + 47492388*x^34*y^29 - 421726162*x^34*y^28 -
128513577*x^34*y^27 + 331795401*x^34*y^26 + 648452649*x^34*y^25 -
377722812*x^34*y^24 - 556377460*x^34*y^23 - 175716523*x^34*y^22 +
550373417*x^34*y^21 + 114017520*x^34*y^20 - 136348772*x^34*y^19 -
126499425*x^34*y^18 + 72768675*x^34*y^17 + 11394972*x^34*y^16 -
11091627*x^34*y^15 - 6002538*x^34*y^14 + 6118820*x^34*y^13 + 17556*x^34*y^12
- 636780*x^34*y^11 - 124313*x^34*y^10 + 83085*x^34*y^9 - 5832*x^34*y^8 +
36*x^34*y^7 - 3225002*x^33*y^36 - 13442206*x^33*y^35 + 20199332*x^33*y^34 +
69935978*x^33*y^33 + 12535498*x^33*y^32 - 185740592*x^33*y^31 -
287151099*x^33*y^30 + 410115789*x^33*y^29 + 417204473*x^33*y^28 -
28730673*x^33*y^27 - 1108279560*x^33*y^26 - 84396270*x^33*y^25 +
832299812*x^33*y^24 + 894232198*x^33*y^23 - 650969298*x^33*y^22 -
677062503*x^33*y^21 + 16095606*x^33*y^20 + 451966306*x^33*y^19 +
8291526*x^33*y^18 - 110840757*x^33*y^17 - 21521949*x^33*y^16 +
38330007*x^33*y^15 - 8014965*x^33*y^14 - 5057857*x^33*y^13 +
1022428*x^33*y^12 + 1468904*x^33*y^11 - 326348*x^33*y^10 - 93378*x^33*y^9 +
18258*x^33*y^8 + 594*x^33*y^7 + 1994355*x^32*y^37 + 12520211*x^32*y^36 -
3201695*x^32*y^35 - 67025117*x^32*y^34 - 61783691*x^32*y^33 +
87540443*x^32*y^32 + 459841635*x^32*y^31 - 146783283*x^32*y^30 -
595702356*x^32*y^29 - 525664206*x^32*y^28 + 1088803080*x^32*y^27 +
989492274*x^32*y^26 - 602981929*x^32*y^25 - 1743638954*x^32*y^24 -
66880207*x^32*y^23 + 1405033309*x^32*y^22 + 679506948*x^32*y^21 -
681059202*x^32*y^20 - 554448339*x^32*y^19 + 192246273*x^32*y^18 +
214096794*x^32*y^17 - 46561392*x^32*y^16 - 40988973*x^32*y^15 +
12890097*x^32*y^14 + 7294021*x^32*y^13 - 5852203*x^32*y^12 - 64400*x^32*y^11
+ 596590*x^32*y^10 + 88524*x^32*y^9 - 67407*x^32*y^8 + 5007*x^32*y^7 -
9*x^32*y^6 - 1037817*x^31*y^38 - 9302733*x^31*y^37 - 8574192*x^31*y^36 +
46279034*x^31*y^35 + 81588222*x^31*y^34 + 35881544*x^31*y^33 -
437432293*x^31*y^32 - 251142487*x^31*y^31 + 491557079*x^31*y^30 +
963905762*x^31*y^29 - 275395831*x^31*y^28 - 1835205979*x^31*y^27 -
268949298*x^31*y^26 + 1860722021*x^31*y^25 + 1760492748*x^31*y^24 -
1536712831*x^31*y^23 - 1813245504*x^31*y^22 - 27721888*x^31*y^21 +
1606880199*x^31*y^20 + 174776598*x^31*y^19 - 499850475*x^31*y^18 -
255112064*x^31*y^17 + 179798395*x^31*y^16 + 39244171*x^31*y^15 -
32227897*x^31*y^14 + 166266*x^31*y^13 + 5866127*x^31*y^12 -
1138772*x^31*y^11 - 1051057*x^31*y^10 + 253453*x^31*y^9 + 62823*x^31*y^8 -
13626*x^31*y^7 - 255*x^31*y^6 + 448876*x^30*y^39 + 5605940*x^30*y^38 +
12445014*x^30*y^37 - 20769222*x^30*y^36 - 70142043*x^30*y^35 -
111044453*x^30*y^34 + 239510139*x^30*y^33 + 530705481*x^30*y^32 -
137582664*x^30*y^31 - 899554449*x^30*y^30 - 986387100*x^30*y^29 +
1871179293*x^30*y^28 + 1320712562*x^30*y^27 - 594169985*x^30*y^26 -
3506942527*x^30*y^25 + 422694862*x^30*y^24 + 2324783141*x^30*y^23 +
2184166321*x^30*y^22 - 2269836333*x^30*y^21 - 1278820440*x^30*y^20 +
173579697*x^30*y^19 + 1171031134*x^30*y^18 - 154779769*x^30*y^17 -
244490892*x^30*y^16 - 36294263*x^30*y^15 + 71669897*x^30*y^14 -
11426510*x^30*y^13 - 5498637*x^30*y^12 + 3661401*x^30*y^11 + 61552*x^30*y^10
- 404549*x^30*y^9 - 37810*x^30*y^8 + 39201*x^30*y^7 - 3166*x^30*y^6 +
x^30*y^5 - 158536*x^29*y^40 - 2741152*x^29*y^39 - 10423559*x^29*y^38 +
1998598*x^29*y^37 + 43261512*x^29*y^36 + 114056871*x^29*y^35 -
13837046*x^29*y^34 - 528685686*x^29*y^33 - 231972147*x^29*y^32 +
348074759*x^29*y^31 + 1793586480*x^29*y^30 - 800216694*x^29*y^29 -
1767976061*x^29*y^28 - 1504714352*x^29*y^27 + 3656895860*x^29*y^26 +
1634705851*x^29*y^25 - 1147140310*x^29*y^24 - 4663765298*x^29*y^23 +
1204431717*x^29*y^22 + 2359363332*x^29*y^21 + 1601002236*x^29*y^20 -
2106944017*x^29*y^19 - 606051070*x^29*y^18 + 334942819*x^29*y^17 +
506271935*x^29*y^16 - 178923259*x^29*y^15 - 55567718*x^29*y^14 +
13368947*x^29*y^13 + 8987817*x^29*y^12 - 5387775*x^29*y^11 +
1069610*x^29*y^10 + 471308*x^29*y^9 - 142535*x^29*y^8 - 28169*x^29*y^7 +
7102*x^29*y^6 + 71*x^29*y^5 + 44562*x^28*y^41 + 1076306*x^28*y^40 +
6331398*x^28*y^39 + 6181374*x^28*y^38 - 18028181*x^28*y^37 -
74689863*x^28*y^36 - 109059728*x^28*y^35 + 311346158*x^28*y^34 +
395521246*x^28*y^33 + 253388470*x^28*y^32 - 1531833387*x^28*y^31 -
736528535*x^28*y^30 + 1235607634*x^28*y^29 + 2780265020*x^28*y^28 -
1351577873*x^28*y^27 - 3350235086*x^28*y^26 - 1267122310*x^28*y^25 +
4977700552*x^28*y^24 + 1802076140*x^28*y^23 - 2040257209*x^28*y^22 -
4048529251*x^28*y^21 + 1350653362*x^28*y^20 + 2065991175*x^28*y^19 +
464060431*x^28*y^18 - 1290912146*x^28*y^17 - 105766662*x^28*y^16 +
236095969*x^28*y^15 + 109497759*x^28*y^14 - 77373766*x^28*y^13 +
5002890*x^28*y^12 + 3254026*x^28*y^11 - 1329186*x^28*y^10 - 58328*x^28*y^9 +
195411*x^28*y^8 + 6769*x^28*y^7 - 16122*x^28*y^6 + 1458*x^28*y^5 -
9590*x^27*y^42 - 332206*x^27*y^41 - 2926420*x^27*y^40 - 6589699*x^27*y^39 +
2704921*x^27*y^38 + 33371200*x^27*y^37 + 114057549*x^27*y^36 -
74966061*x^27*y^35 - 327586184*x^27*y^34 - 500403806*x^27*y^33 +
533997077*x^27*y^32 + 1637904155*x^27*y^31 - 169688555*x^27*y^30 -
2067776749*x^27*y^29 - 2093549789*x^27*y^28 + 3357661547*x^27*y^27 +
2945588737*x^27*y^26 - 1697452772*x^27*y^25 - 5053778547*x^27*y^24 +
188214171*x^27*y^23 + 4442535888*x^27*y^22 + 2059829516*x^27*y^21 -
2979636596*x^27*y^20 - 2122264144*x^27*y^19 + 1060190489*x^27*y^18 +
1277210356*x^27*y^17 - 172416793*x^27*y^16 - 525767876*x^27*y^15 +
78464543*x^27*y^14 + 71418905*x^27*y^13 + 1375829*x^27*y^12 -
12877637*x^27*y^11 + 3897800*x^27*y^10 - 725292*x^27*y^9 - 105531*x^27*y^8 +
56635*x^27*y^7 + 7510*x^27*y^6 - 2506*x^27*y^5 - 12*x^27*y^4 +
1484*x^26*y^43 + 77756*x^26*y^42 + 1030792*x^26*y^41 + 4041177*x^26*y^40 +
3002806*x^26*y^39 - 8880787*x^26*y^38 - 65978596*x^26*y^37 -
48799206*x^26*y^36 + 162770073*x^26*y^35 + 383568230*x^26*y^34 +
322212455*x^26*y^33 - 1416904430*x^26*y^32 - 611527667*x^26*y^31 +
96794870*x^26*y^30 + 3943356250*x^26*y^29 - 1424700713*x^26*y^28 -
2405658155*x^26*y^27 - 3224499871*x^26*y^26 + 5880351151*x^26*y^25 +
1679216844*x^26*y^24 - 1030494975*x^26*y^23 - 6376130693*x^26*y^22 +
2318233399*x^26*y^21 + 2610479252*x^26*y^20 + 1658457760*x^26*y^19 -
2755794749*x^26*y^18 - 574567966*x^26*y^17 + 713954057*x^26*y^16 +
437255627*x^26*y^15 - 205162976*x^26*y^14 - 120799729*x^26*y^13 +
54129094*x^26*y^12 + 3435875*x^26*y^11 - 2526451*x^26*y^10 + 187977*x^26*y^9
+ 41997*x^26*y^8 - 62531*x^26*y^7 + 1433*x^26*y^6 + 4549*x^26*y^5 -
480*x^26*y^4 - 147*x^25*y^44 - 12985*x^25*y^43 - 269808*x^25*y^42 -
1725185*x^25*y^41 - 3202451*x^25*y^40 - 425546*x^25*y^39 +
23614902*x^25*y^38 + 63250406*x^25*y^37 - 33985602*x^25*y^36 -
160482090*x^25*y^35 - 548777050*x^25*y^34 + 583533996*x^25*y^33 +
725839284*x^25*y^32 + 1286292865*x^25*y^31 - 2843053638*x^25*y^30 -
1078870846*x^25*y^29 + 405977193*x^25*y^28 + 5469841592*x^25*y^27 -
2807770047*x^25*y^26 - 2265875783*x^25*y^25 - 3945221349*x^25*y^24 +
7889042575*x^25*y^23 - 542574238*x^25*y^22 - 131793167*x^25*y^21 -
5743523327*x^25*y^20 + 3026405288*x^25*y^19 + 1246953577*x^25*y^18 +
562062977*x^25*y^17 - 1538202215*x^25*y^16 + 49213580*x^25*y^15 +
346681818*x^25*y^14 + 37691405*x^25*y^13 - 74371578*x^25*y^12 -
4810758*x^25*y^11 + 10321775*x^25*y^10 - 2085876*x^25*y^9 + 301114*x^25*y^8
- 3697*x^25*y^7 - 15578*x^25*y^6 - 584*x^25*y^5 + 547*x^25*y^4 + x^25*y^3 +
7*x^24*y^45 + 1379*x^24*y^44 + 49658*x^24*y^43 + 523929*x^24*y^42 +
1765533*x^24*y^41 + 2089374*x^24*y^40 - 3880664*x^24*y^39 -
34896961*x^24*y^38 - 18515371*x^24*y^37 + 22726599*x^24*y^36 +
340801500*x^24*y^35 + 69364796*x^24*y^34 - 427865493*x^24*y^33 -
1215385695*x^24*y^32 + 310085356*x^24*y^31 + 2332131480*x^24*y^30 +
936756114*x^24*y^29 - 2931053324*x^24*y^28 - 2301645556*x^24*y^27 +
1724433379*x^24*y^26 + 5678273083*x^24*y^25 - 4094908992*x^24*y^24 -
1465875219*x^24*y^23 - 3465683639*x^24*y^22 + 7316774962*x^24*y^21 -
1340952109*x^24*y^20 - 497114348*x^24*y^19 - 3086915441*x^24*y^18 +
2042517965*x^24*y^17 + 559939349*x^24*y^16 - 131364844*x^24*y^15 -
514484414*x^24*y^14 + 135725897*x^24*y^13 + 84848635*x^24*y^12 -
22028455*x^24*y^11 - 8797417*x^24*y^10 + 2608640*x^24*y^9 - 40724*x^24*y^8 -
11696*x^24*y^7 + 9691*x^24*y^6 - 724*x^24*y^5 - 837*x^24*y^4 + 108*x^24*y^3
- 70*x^23*y^45 - 5747*x^23*y^44 - 108990*x^23*y^43 - 640185*x^23*y^42 -
1389108*x^23*y^41 - 1120973*x^23*y^40 + 10878182*x^23*y^39 +
21480985*x^23*y^38 + 15769536*x^23*y^37 - 99501345*x^23*y^36 -
247577196*x^23*y^35 + 127156019*x^23*y^34 + 423128490*x^23*y^33 +
1235080107*x^23*y^32 - 1831997516*x^23*y^31 - 710061540*x^23*y^30 -
1438932579*x^23*y^29 + 5144940841*x^23*y^28 - 832552517*x^23*y^27 -
2253109993*x^23*y^26 - 2839156208*x^23*y^25 + 2955620970*x^23*y^24 +
4101178299*x^23*y^23 - 3448949674*x^23*y^22 - 1920284308*x^23*y^21 -
696155675*x^23*y^20 + 3831544611*x^23*y^19 - 479745013*x^23*y^18 -
1100013578*x^23*y^17 - 828033174*x^23*y^16 + 952311529*x^23*y^15 +
99884444*x^23*y^14 - 157980053*x^23*y^13 - 88037383*x^23*y^12 +
58903474*x^23*y^11 + 2191015*x^23*y^10 - 5417585*x^23*y^9 + 733001*x^23*y^8
- 39223*x^23*y^7 + 4616*x^23*y^6 + 3115*x^23*y^5 - 315*x^23*y^4 -
54*x^23*y^3 + 315*x^22*y^45 + 14000*x^22*y^44 + 153314*x^22*y^43 +
567497*x^22*y^42 + 1112076*x^22*y^41 - 1167635*x^22*y^40 -
10445562*x^22*y^39 - 13124807*x^22*y^38 - 4697792*x^22*y^37 +
153423427*x^22*y^36 + 13718092*x^22*y^35 + 93645267*x^22*y^34 -
1126935710*x^22*y^33 + 608704697*x^22*y^32 - 55667592*x^22*y^31 +
3182841686*x^22*y^30 - 3567628855*x^22*y^29 - 61990020*x^22*y^28 -
2324017051*x^22*y^27 + 6482246384*x^22*y^26 - 2500781481*x^22*y^25 -
845497144*x^22*y^24 - 3798917722*x^22*y^23 + 5430543571*x^22*y^22 -
442744378*x^22*y^21 - 8368376*x^22*y^20 - 3307146137*x^22*y^19 +
1716685072*x^22*y^18 + 1015191717*x^22*y^17 - 141970578*x^22*y^16 -
686900562*x^22*y^15 - 50859506*x^22*y^14 + 343204202*x^22*y^13 -
59756603*x^22*y^12 - 41162218*x^22*y^11 + 1049697*x^22*y^10 +
8744084*x^22*y^9 - 2181113*x^22*y^8 + 121308*x^22*y^7 - 6746*x^22*y^6 +
1279*x^22*y^5 - 110*x^22*y^4 + 97*x^22*y^3 - 15*x^22*y^2 - 840*x^21*y^45 -
22155*x^21*y^44 - 151494*x^21*y^43 - 462896*x^21*y^42 - 623665*x^21*y^41 +
2652958*x^21*y^40 + 5773155*x^21*y^39 + 16074981*x^21*y^38 -
43309098*x^21*y^37 - 39520687*x^21*y^36 - 145700261*x^21*y^35 +
394202618*x^21*y^34 + 190147146*x^21*y^33 + 251296761*x^21*y^32 -
1703984360*x^21*y^31 + 44432097*x^21*y^30 + 915177987*x^21*y^29 +
2880931951*x^21*y^28 - 3162849064*x^21*y^27 - 453837548*x^21*y^26 -
2264536751*x^21*y^25 + 7596571906*x^21*y^24 - 6177319915*x^21*y^23 +
3714727571*x^21*y^22 - 6613986288*x^21*y^21 + 7706043168*x^21*y^20 -
3628196322*x^21*y^19 + 1555052894*x^21*y^18 - 2381676587*x^21*y^17 +
1423210260*x^21*y^16 + 234327012*x^21*y^15 - 249443940*x^21*y^14 -
148747457*x^21*y^13 + 41847717*x^21*y^12 + 74804751*x^21*y^11 -
34521266*x^21*y^10 - 224100*x^21*y^9 + 1999140*x^21*y^8 - 131974*x^21*y^7 -
29102*x^21*y^6 + 2207*x^21*y^5 - 621*x^21*y^4 + 111*x^21*y^3 - 3*x^21*y^2 +
1470*x^20*y^45 + 24234*x^20*y^44 + 122283*x^20*y^43 + 365666*x^20*y^42 -
50120*x^20*y^41 - 1724121*x^20*y^40 - 6532524*x^20*y^39 - 500724*x^20*y^38 +
24562467*x^20*y^37 + 48796135*x^20*y^36 + 32126021*x^20*y^35 -
320685768*x^20*y^34 - 4734282*x^20*y^33 - 187130904*x^20*y^32 +
1812709799*x^20*y^31 - 1386353877*x^20*y^30 + 100067481*x^20*y^29 -
2688524053*x^20*y^28 + 3461351014*x^20*y^27 + 1449913892*x^20*y^26 -
3709051444*x^20*y^25 + 2349670751*x^20*y^24 - 5212290218*x^20*y^23 +
9893270884*x^20*y^22 - 9078778485*x^20*y^21 + 5847160836*x^20*y^20 -
5543324612*x^20*y^19 + 5133772855*x^20*y^18 - 2317414222*x^20*y^17 +
518190430*x^20*y^16 - 633336012*x^20*y^15 + 472331418*x^20*y^14 +
73417578*x^20*y^13 - 157242078*x^20*y^12 + 15259248*x^20*y^11 +
14121284*x^20*y^10 + 4651896*x^20*y^9 - 5344869*x^20*y^8 + 1223016*x^20*y^7
- 98731*x^20*y^6 + 7294*x^20*y^5 - 1008*x^20*y^4 + 108*x^20*y^3 - 9*x^20*y^2
+ x^20*y - 1764*x^19*y^45 - 19698*x^19*y^44 - 95424*x^19*y^43 -
209013*x^19*y^42 + 216860*x^19*y^41 + 1313522*x^19*y^40 + 4931036*x^19*y^39
- 7674715*x^19*y^38 - 1185751*x^19*y^37 - 82475935*x^19*y^36 +
156899557*x^19*y^35 - 121159145*x^19*y^34 + 667777687*x^19*y^33 -
1376021124*x^19*y^32 + 1084241693*x^19*y^31 - 2046437343*x^19*y^30 +
4432977551*x^19*y^29 - 3488081951*x^19*y^28 + 1328967866*x^19*y^27 -
2656066733*x^19*y^26 + 2162566824*x^19*y^25 + 2989088650*x^19*y^24 -
5787909285*x^19*y^23 + 4540081120*x^19*y^22 - 4666988067*x^19*y^21 +
6120492272*x^19*y^20 - 4911349605*x^19*y^19 + 2314516499*x^19*y^18 -
1534737514*x^19*y^17 + 1470810264*x^19*y^16 - 572216911*x^19*y^15 -
101881296*x^19*y^14 + 21169716*x^19*y^13 + 80758338*x^19*y^12 +
3192672*x^19*y^11 - 38845723*x^19*y^10 + 13689408*x^19*y^9 + 296240*x^19*y^8
- 651754*x^19*y^7 + 4268*x^19*y^6 + 18169*x^19*y^5 - 1598*x^19*y^4 +
151*x^19*y^3 - 15*x^19*y^2 + x^19*y + 1470*x^18*y^45 + 13524*x^18*y^44 +
68796*x^18*y^43 + 76916*x^18*y^42 - 75509*x^18*y^41 - 1657719*x^18*y^40 +
136794*x^18*y^39 - 2582013*x^18*y^38 + 28133676*x^18*y^37 -
24849223*x^18*y^36 + 54711571*x^18*y^35 - 285294972*x^18*y^34 +
336890799*x^18*y^33 - 315853716*x^18*y^32 + 1249866950*x^18*y^31 -
1838758095*x^18*y^30 + 899679669*x^18*y^29 - 1542113179*x^18*y^28 +
3390547465*x^18*y^27 - 1893344065*x^18*y^26 - 316100080*x^18*y^25 -
1075694150*x^18*y^24 + 2234865206*x^18*y^23 - 468261515*x^18*y^22 -
447197177*x^18*y^21 - 796456525*x^18*y^20 + 1164155698*x^18*y^19 -
96634090*x^18*y^18 - 248509964*x^18*y^17 - 219202325*x^18*y^16 +
184314684*x^18*y^15 + 137265213*x^18*y^14 - 87663204*x^18*y^13 -
67155823*x^18*y^12 + 49819420*x^18*y^11 + 2795819*x^18*y^10 -
4919120*x^18*y^9 - 2723485*x^18*y^8 + 2113092*x^18*y^7 - 446127*x^18*y^6 +
37875*x^18*y^5 - 2781*x^18*y^4 + 240*x^18*y^3 - 21*x^18*y^2 + x^18*y -
840*x^17*y^45 - 8925*x^17*y^44 - 38633*x^17*y^43 - 47306*x^17*y^42 +
158375*x^17*y^41 + 768656*x^17*y^40 + 332736*x^17*y^39 - 1406370*x^17*y^38 -
10931549*x^17*y^37 + 7029862*x^17*y^36 - 4374343*x^17*y^35 +
128250887*x^17*y^34 - 183445170*x^17*y^33 + 119445087*x^17*y^32 -
673183800*x^17*y^31 + 1301129109*x^17*y^30 - 763294080*x^17*y^29 +
810504837*x^17*y^28 - 2005473688*x^17*y^27 + 750045265*x^17*y^26 +
2556091682*x^17*y^25 - 3918802183*x^17*y^24 + 4606304284*x^17*y^23 -
7088124691*x^17*y^22 + 8795886155*x^17*y^21 - 7648214693*x^17*y^20 +
5615724511*x^17*y^19 - 4298777534*x^17*y^18 + 3007453835*x^17*y^17 -
1474365565*x^17*y^16 + 527428887*x^17*y^15 - 287132406*x^17*y^14 +
163342526*x^17*y^13 - 8969075*x^17*y^12 - 28014061*x^17*y^11 -
3472746*x^17*y^10 + 11230397*x^17*y^9 - 2714930*x^17*y^8 - 581686*x^17*y^7 +
255783*x^17*y^6 - 4002*x^17*y^5 - 4947*x^17*y^4 + 375*x^17*y^3 - 27*x^17*y^2
+ x^17*y + 315*x^16*y^45 + 5355*x^16*y^44 + 18340*x^16*y^43 +
38955*x^16*y^42 - 195475*x^16*y^41 - 57050*x^16*y^40 - 1422379*x^16*y^39 +
6066271*x^16*y^38 - 10005400*x^16*y^37 + 38034565*x^16*y^36 -
111920583*x^16*y^35 + 194748722*x^16*y^34 - 433074267*x^16*y^33 +
985076996*x^16*y^32 - 1455435919*x^16*y^31 + 1942373345*x^16*y^30 -
3168398048*x^16*y^29 + 3864127912*x^16*y^28 - 2539977248*x^16*y^27 +
914732209*x^16*y^26 + 480791874*x^16*y^25 - 4056507794*x^16*y^24 +
8810061121*x^16*y^23 - 11202503712*x^16*y^22 + 11312789431*x^16*y^21 -
10892398417*x^16*y^20 + 9606675564*x^16*y^19 - 7017981166*x^16*y^18 +
4282998986*x^16*y^17 - 2433065576*x^16*y^16 + 1304763884*x^16*y^15 -
526787922*x^16*y^14 + 116871926*x^16*y^13 - 24828981*x^16*y^12 +
21156173*x^16*y^11 - 2669716*x^16*y^10 - 6926278*x^16*y^9 + 2643822*x^16*y^8
+ 615197*x^16*y^7 - 533799*x^16*y^6 + 106453*x^16*y^5 - 8210*x^16*y^4 +
556*x^16*y^3 - 33*x^16*y^2 + x^16*y - 70*x^15*y^45 - 2387*x^15*y^44 -
11018*x^15*y^43 - 9093*x^15*y^42 + 49938*x^15*y^41 + 321419*x^15*y^40 -
562842*x^15*y^39 + 1138362*x^15*y^38 - 8721770*x^15*y^37 +
22651375*x^15*y^36 - 50146561*x^15*y^35 + 151281962*x^15*y^34 -
322975842*x^15*y^33 + 527065929*x^15*y^32 - 1007798082*x^15*y^31 +
1742628835*x^15*y^30 - 2027981590*x^15*y^29 + 1982779815*x^15*y^28 -
2181300991*x^15*y^27 + 1298921269*x^15*y^26 + 1590883151*x^15*y^25 -
4493251068*x^15*y^24 + 6304333020*x^15*y^23 - 8213816335*x^15*y^22 +
9849320239*x^15*y^21 - 9601987552*x^15*y^20 + 7786889470*x^15*y^19 -
5791093017*x^15*y^18 + 4043125269*x^15*y^17 - 2442390106*x^15*y^16 +
1193176602*x^15*y^15 - 494495679*x^15*y^14 + 191795366*x^15*y^13 -
48154433*x^15*y^12 - 14052319*x^15*y^11 + 16010898*x^15*y^10 -
3058085*x^15*y^9 - 575434*x^15*y^8 - 269902*x^15*y^7 + 370005*x^15*y^6 -
93807*x^15*y^5 + 4314*x^15*y^4 + 783*x^15*y^3 - 39*x^15*y^2 + x^15*y +
7*x^14*y^45 + 644*x^14*y^44 + 6846*x^14*y^43 - 1281*x^14*y^42 -
2058*x^14*y^41 - 239603*x^14*y^40 + 508560*x^14*y^39 - 834000*x^14*y^38 +
4126121*x^14*y^37 - 9381508*x^14*y^36 + 14528269*x^14*y^35 -
38569795*x^14*y^34 + 70531896*x^14*y^33 - 66225858*x^14*y^32 +
129760647*x^14*y^31 - 308932426*x^14*y^30 + 303376627*x^14*y^29 -
239504635*x^14*y^28 + 733872184*x^14*y^27 - 1340002267*x^14*y^26 +
1277113476*x^14*y^25 - 1383128937*x^14*y^24 + 2313082737*x^14*y^23 -
2917953175*x^14*y^22 + 2647987595*x^14*y^21 - 2408980454*x^14*y^20 +
2447403256*x^14*y^19 - 2169752241*x^14*y^18 + 1523091381*x^14*y^17 -
924193976*x^14*y^16 + 528926652*x^14*y^15 - 253748517*x^14*y^14 +
68953142*x^14*y^13 + 8313749*x^14*y^12 - 15545399*x^14*y^11 +
9367101*x^14*y^10 - 6983752*x^14*y^9 + 4120798*x^14*y^8 - 1136976*x^14*y^7 -
26010*x^14*y^6 + 87228*x^14*y^5 - 17036*x^14*y^4 + 1032*x^14*y^3 -
45*x^14*y^2 + x^14*y - 77*x^13*y^44 - 2576*x^13*y^43 - 5726*x^13*y^42 +
33915*x^13*y^41 - 46634*x^13*y^40 + 430095*x^13*y^39 - 2102729*x^13*y^38 +
6044262*x^13*y^37 - 17788934*x^13*y^36 + 49965459*x^13*y^35 -
114964777*x^13*y^34 + 245692230*x^13*y^33 - 499428619*x^13*y^32 +
861206756*x^13*y^31 - 1293661849*x^13*y^30 + 1877491789*x^13*y^29 -
2438292378*x^13*y^28 + 2409080425*x^13*y^27 - 1732589943*x^13*y^26 +
840559779*x^13*y^25 + 504220893*x^13*y^24 - 2527454672*x^13*y^23 +
4229264646*x^13*y^22 - 4713225509*x^13*y^21 + 4375524154*x^13*y^20 -
3755762710*x^13*y^19 + 2849183155*x^13*y^18 - 1788668803*x^13*y^17 +
953359002*x^13*y^16 - 483053344*x^13*y^15 + 250081384*x^13*y^14 -
125898573*x^13*y^13 + 62290942*x^13*y^12 - 34666605*x^13*y^11 +
19757514*x^13*y^10 - 8557242*x^13*y^9 + 2391090*x^13*y^8 - 585951*x^13*y^7 +
273192*x^13*y^6 - 115129*x^13*y^5 + 23745*x^13*y^4 - 1597*x^13*y^3 -
51*x^13*y^2 + x^13*y + 399*x^12*y^43 + 5474*x^12*y^42 - 16940*x^12*y^41 -
4781*x^12*y^40 + 14886*x^12*y^39 - 138678*x^12*y^38 + 1781471*x^12*y^37 -
7733406*x^12*y^36 + 24184305*x^12*y^35 - 68771470*x^12*y^34 +
167787469*x^12*y^33 - 350216377*x^12*y^32 + 667311609*x^12*y^31 -
1135602513*x^12*y^30 + 1612028313*x^12*y^29 - 1910168836*x^12*y^28 +
1926786395*x^12*y^27 - 1333949957*x^12*y^26 - 313893075*x^12*y^25 +
2752605539*x^12*y^24 - 5144637995*x^12*y^23 + 7070749673*x^12*y^22 -
8369565760*x^12*y^21 + 8568818506*x^12*y^20 - 7487717390*x^12*y^19 +
5708141291*x^12*y^18 - 3930779039*x^12*y^17 + 2461427266*x^12*y^16 -
1374606900*x^12*y^15 + 680525568*x^12*y^14 - 307121866*x^12*y^13 +
131014139*x^12*y^12 - 52635737*x^12*y^11 + 19418394*x^12*y^10 -
7030324*x^12*y^9 + 2818489*x^12*y^8 - 1059480*x^12*y^7 + 249874*x^12*y^6 -
11386*x^12*y^5 - 8747*x^12*y^4 + 1652*x^12*y^3 - 56*x^12*y^2 + x^12*y -
1295*x^11*y^42 - 4732*x^11*y^41 + 55020*x^11*y^40 - 179181*x^11*y^39 +
514593*x^11*y^38 - 1643949*x^11*y^37 + 4039455*x^11*y^36 - 7072803*x^11*y^35
+ 9195542*x^11*y^34 - 4096855*x^11*y^33 - 22916369*x^11*y^32 +
81377301*x^11*y^31 - 173422947*x^11*y^30 + 303238560*x^11*y^29 -
391669112*x^11*y^28 + 211945975*x^11*y^27 + 401828072*x^11*y^26 -
1418680558*x^11*y^25 + 2847783865*x^11*y^24 - 4679297782*x^11*y^23 +
6452209362*x^11*y^22 - 7489544534*x^11*y^21 + 7578363962*x^11*y^20 -
6924950449*x^11*y^19 + 5728631788*x^11*y^18 - 4213490686*x^11*y^17 +
2738207273*x^11*y^16 - 1590450369*x^11*y^15 + 833149461*x^11*y^14 -
390259032*x^11*y^13 + 161038600*x^11*y^12 - 58716277*x^11*y^11 +
19567547*x^11*y^10 - 6177890*x^11*y^9 + 1803827*x^11*y^8 - 481953*x^11*y^7 +
152291*x^11*y^6 - 63077*x^11*y^5 + 20967*x^11*y^4 - 3902*x^11*y^3 +
290*x^11*y^2 + x^11*y + 2947*x^10*y^41 - 7532*x^10*y^40 - 49418*x^10*y^39 +
362790*x^10*y^38 - 1417524*x^10*y^37 + 4777689*x^10*y^36 -
14277515*x^10*y^35 + 36388029*x^10*y^34 - 80632295*x^10*y^33 +
158816037*x^10*y^32 - 278404227*x^10*y^31 + 440880123*x^10*y^30 -
648419484*x^10*y^29 + 883945153*x^10*y^28 - 1101997284*x^10*y^27 +
1316297498*x^10*y^26 - 1633979888*x^10*y^25 + 2087187773*x^10*y^24 -
2572185953*x^10*y^23 + 3045930292*x^10*y^22 - 3525239480*x^10*y^21 +
3855200313*x^10*y^20 - 3794646796*x^10*y^19 + 3321608298*x^10*y^18 -
2622703180*x^10*y^17 + 1876133869*x^10*y^16 - 1194885361*x^10*y^15 +
663582129*x^10*y^14 - 318600234*x^10*y^13 + 132160401*x^10*y^12 -
47073732*x^10*y^11 + 14210084*x^10*y^10 - 3696105*x^10*y^9 + 965101*x^10*y^8
- 322049*x^10*y^7 + 114610*x^10*y^6 - 27974*x^10*y^5 + 2572*x^10*y^4 +
415*x^10*y^3 - 93*x^10*y^2 + x^10*y - 4977*x^9*y^40 + 34016*x^9*y^39 -
71276*x^9*y^38 - 114144*x^9*y^37 + 1292904*x^9*y^36 - 5657142*x^9*y^35 +
18905774*x^9*y^34 - 52576049*x^9*y^33 + 124519928*x^9*y^32 -
255652410*x^9*y^31 + 458463026*x^9*y^30 - 719424647*x^9*y^29 +
993861727*x^9*y^28 - 1211682227*x^9*y^27 + 1274487035*x^9*y^26 -
1093839268*x^9*y^25 + 701217892*x^9*y^24 - 271263160*x^9*y^23 -
30439461*x^9*y^22 + 148895905*x^9*y^21 - 76853959*x^9*y^20 -
158925388*x^9*y^19 + 432003976*x^9*y^18 - 581081239*x^9*y^17 +
555090830*x^9*y^16 - 421973144*x^9*y^15 + 268669310*x^9*y^14 -
144231813*x^9*y^13 + 63830051*x^9*y^12 - 22536365*x^9*y^11 +
6121073*x^9*y^10 - 1225370*x^9*y^9 + 186479*x^9*y^8 - 44766*x^9*y^7 +
28377*x^9*y^6 - 17109*x^9*y^5 + 7413*x^9*y^4 - 2134*x^9*y^3 + 358*x^9*y^2 -
26*x^9*y + 6427*x^8*y^39 - 64249*x^8*y^38 + 289681*x^8*y^37 -
767700*x^8*y^36 + 1198428*x^8*y^35 - 177016*x^8*y^34 - 6343897*x^8*y^33 +
27283354*x^8*y^32 - 77000622*x^8*y^31 + 170618263*x^8*y^30 -
310930477*x^8*y^29 + 468105039*x^8*y^28 - 569449453*x^8*y^27 +
521758132*x^8*y^26 - 252741906*x^8*y^25 - 258351256*x^8*y^24 +
946530049*x^8*y^23 - 1630706232*x^8*y^22 + 2076534629*x^8*y^21 -
2149975865*x^8*y^20 + 1892166423*x^8*y^19 - 1444630657*x^8*y^18 +
953794396*x^8*y^17 - 535199382*x^8*y^16 + 252518456*x^8*y^15 -
102377615*x^8*y^14 + 38509311*x^8*y^13 - 15027047*x^8*y^12 +
6399437*x^8*y^11 - 2796676*x^8*y^10 + 1113452*x^8*y^9 - 352292*x^8*y^8 +
72058*x^8*y^7 - 2247*x^8*y^6 - 4200*x^8*y^5 + 1437*x^8*y^4 - 179*x^8*y^3 -
7*x^8*y^2 + 3*x^8*y - 6434*x^7*y^38 + 80066*x^7*y^37 - 474383*x^7*y^36 +
1806468*x^7*y^35 - 5051515*x^7*y^34 + 11196192*x^7*y^33 - 20460682*x^7*y^32
+ 31092896*x^7*y^31 - 38707990*x^7*y^30 + 38541778*x^7*y^29 -
32852117*x^7*y^28 + 43053715*x^7*y^27 - 117923359*x^7*y^26 +
319188827*x^7*y^25 - 679667959*x^7*y^24 + 1167202415*x^7*y^23 -
1688050369*x^7*y^22 + 2116008317*x^7*y^21 - 2326903414*x^7*y^20 +
2249795207*x^7*y^19 - 1916227930*x^7*y^18 + 1447054856*x^7*y^17 -
976985623*x^7*y^16 + 592018634*x^7*y^15 - 320909032*x^7*y^14 +
154740164*x^7*y^13 - 66324385*x^7*y^12 + 25370485*x^7*y^11 -
8649591*x^7*y^10 + 2582779*x^7*y^9 - 652177*x^7*y^8 + 131583*x^7*y^7 -
18319*x^7*y^6 + 315*x^7*y^5 + 867*x^7*y^4 - 363*x^7*y^3 + 91*x^7*y^2 -
14*x^7*y + x^7 + 5005*x^6*y^37 - 72072*x^6*y^36 + 499590*x^6*y^35 -
2241421*x^6*y^34 + 7398678*x^6*y^33 - 19371969*x^6*y^32 + 42277647*x^6*y^31
- 79552746*x^6*y^30 + 132251604*x^6*y^29 - 198331152*x^6*y^28 +
274533732*x^6*y^27 - 361681194*x^6*y^26 + 471403542*x^6*y^25 -
626224722*x^6*y^24 + 843108534*x^6*y^23 - 1107072279*x^6*y^22 +
1362321621*x^6*y^21 - 1535736504*x^6*y^20 + 1571758146*x^6*y^19 -
1453099185*x^6*y^18 + 1205889990*x^6*y^17 - 892336449*x^6*y^16 +
586317855*x^6*y^15 - 341632296*x^6*y^14 + 176276286*x^6*y^13 -
80086356*x^6*y^12 + 31660908*x^6*y^11 - 10716376*x^6*y^10 + 3049398*x^6*y^9
- 714036*x^6*y^8 + 133252*x^6*y^7 - 18711*x^6*y^6 + 1764*x^6*y^5 -
84*x^6*y^4 - 3003*x^5*y^36 + 48048*x^5*y^35 - 370370*x^5*y^34 +
1841427*x^5*y^33 - 6675582*x^5*y^32 + 18917207*x^5*y^31 - 43848804*x^5*y^30
+ 85819680*x^5*y^29 - 145193151*x^5*y^28 + 216400623*x^5*y^27 -
289237014*x^5*y^26 + 353945016*x^5*y^25 - 408138096*x^5*y^24 +
461001483*x^5*y^23 - 528598278*x^5*y^22 + 618538749*x^5*y^21 -
714874905*x^5*y^20 + 780567234*x^5*y^19 - 779840598*x^5*y^18 +
701257131*x^5*y^17 - 562986318*x^5*y^16 + 400871769*x^5*y^15 -
251159256*x^5*y^14 + 137217666*x^5*y^13 - 64790085*x^5*y^12 +
26207703*x^5*y^11 - 8986530*x^5*y^10 + 2571114*x^5*y^9 - 598452*x^5*y^8 +
108941*x^5*y^7 - 14574*x^5*y^6 + 1281*x^5*y^5 - 56*x^5*y^4 + 1365*x^4*y^35 -
23660*x^4*y^34 + 197190*x^4*y^33 - 1054905*x^4*y^32 + 4080494*x^4*y^31 -
12186546*x^4*y^30 + 29288364*x^4*y^29 - 58257672*x^4*y^28 +
97855374*x^4*y^27 - 141002841*x^4*y^26 + 176953596*x^4*y^25 -
197326689*x^4*y^24 + 202257600*x^4*y^23 - 201725679*x^4*y^22 +
209890416*x^4*y^21 - 234966027*x^4*y^20 + 271123293*x^4*y^19 -
299544918*x^4*y^18 + 300057918*x^4*y^17 - 265061967*x^4*y^16 +
204159090*x^4*y^15 - 136518960*x^4*y^14 + 79000524*x^4*y^13 -
39340770*x^4*y^12 + 16693080*x^4*y^11 - 5946693*x^4*y^10 + 1743312*x^4*y^9 -
409599*x^4*y^8 + 74312*x^4*y^7 - 9807*x^4*y^6 + 840*x^4*y^5 - 35*x^4*y^4 -
455*x^3*y^34 + 8400*x^3*y^33 - 74370*x^3*y^32 + 420755*x^3*y^31 -
1709649*x^3*y^30 + 5313567*x^3*y^29 - 13126050*x^3*y^28 + 26412093*x^3*y^27
- 43971765*x^3*y^26 + 61159554*x^3*y^25 - 71579088*x^3*y^24 +
71337990*x^3*y^23 - 62782707*x^3*y^22 + 53942805*x^3*y^21 -
53201976*x^3*y^20 + 63157482*x^3*y^19 - 78590745*x^3*y^18 +
90007788*x^3*y^17 - 89857650*x^3*y^16 + 76921119*x^3*y^15 -
56162463*x^3*y^14 + 34854345*x^3*y^13 - 18307602*x^3*y^12 + 8089545*x^3*y^11
- 2979531*x^3*y^10 + 901602*x^3*y^9 - 218940*x^3*y^8 + 41048*x^3*y^7 -
5565*x^3*y^6 + 483*x^3*y^5 - 20*x^3*y^4 + 105*x^2*y^33 - 2040*x^2*y^32 +
18958*x^2*y^31 - 112152*x^2*y^30 + 473994*x^2*y^29 - 1521561*x^2*y^28 +
3846732*x^2*y^27 - 7826895*x^2*y^26 + 12962844*x^2*y^25 - 17518611*x^2*y^24
+ 19202094*x^2*y^23 - 16859403*x^2*y^22 + 11886495*x^2*y^21 -
7755876*x^2*y^20 + 7573704*x^2*y^19 - 11641566*x^2*y^18 + 17241417*x^2*y^17
- 20788470*x^2*y^16 + 20335434*x^2*y^15 - 16423686*x^2*y^14 +
11086944*x^2*y^13 - 6283353*x^2*y^12 + 2980620*x^2*y^11 - 1171731*x^2*y^10 +
375234*x^2*y^9 - 95391*x^2*y^8 + 18522*x^2*y^7 - 2583*x^2*y^6 + 231*x^2*y^5
- 10*x^2*y^4 - 15*x*y^32 + 304*x*y^31 - 2940*x*y^30 + 18042*x*y^29 -
78771*x*y^28 + 259833*x*y^27 - 670467*x*y^26 + 1380204*x*y^25 -
2284872*x*y^24 + 3029649*x*y^23 - 3151017*x*y^22 + 2438688*x*y^21 -
1234506*x*y^20 + 312018*x*y^19 - 323646*x*y^18 + 1271328*x*y^17 -
2502927*x*y^16 + 3239994*x*y^15 - 3135342*x*y^14 + 2395554*x*y^13 -
1481487*x*y^12 + 749013*x*y^11 - 309711*x*y^10 + 103908*x*y^9 - 27786*x*y^8
+ 5733*x*y^7 - 861*x*y^6 + 84*x*y^5 - 4*x*y^4 + y^31 - 21*y^30 + 210*y^29 -
1329*y^28 + 5964*y^27 - 20139*y^26 + 52935*y^25 - 110316*y^24 + 183351*y^23
- 240996*y^22 + 242421*y^21 - 169575*y^20 + 54264*y^19 + 32946*y^18 -
32946*y^17 - 54264*y^16 + 169575*y^15 - 242421*y^14 + 240996*y^13 -
183351*y^12 + 110316*y^11 - 52935*y^10 + 20139*y^9 - 5964*y^8 + 1329*y^7 -
210*y^6 + 21*y^5 - y^4
