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
FFFc62.txt
x^40*y^15 - 3*x^40*y^14 + 3*x^40*y^13 - x^40*y^12 - 22*x^39*y^16 + 61*x^39*y^15
- 50*x^39*y^14 + 4*x^39*y^13 + 8*x^39*y^12 + 231*x^38*y^17 - 583*x^38*y^16 +
356*x^38*y^15 + 112*x^38*y^14 - 108*x^38*y^13 - 40*x^38*y^12 + 10*x^38*y^11
- 1540*x^37*y^18 + 3465*x^37*y^17 - 1254*x^37*y^16 - 1489*x^37*y^15 +
509*x^37*y^14 + 620*x^37*y^13 - 10*x^37*y^12 - 70*x^37*y^11 + 7315*x^36*y^19
- 14245*x^36*y^18 + 770*x^36*y^17 + 8954*x^36*y^16 + 133*x^36*y^15 -
4136*x^36*y^14 - 1425*x^36*y^13 + 900*x^36*y^12 + 239*x^36*y^11 -
45*x^36*y^10 - 26334*x^35*y^20 + 42427*x^35*y^19 + 14938*x^35*y^18 -
31801*x^35*y^17 - 14157*x^35*y^16 + 14591*x^35*y^15 + 14643*x^35*y^14 -
3507*x^35*y^13 - 3784*x^35*y^12 + 29*x^35*y^11 + 270*x^35*y^10 + x^34*y^22 +
74597*x^34*y^21 - 92049*x^34*y^20 - 88340*x^34*y^19 + 65884*x^34*y^18 +
83335*x^34*y^17 - 16082*x^34*y^16 - 77077*x^34*y^15 - 2269*x^34*y^14 +
22294*x^34*y^13 + 7489*x^34*y^12 - 3472*x^34*y^11 - 765*x^34*y^10 +
120*x^34*y^9 - 15*x^33*y^23 - 170311*x^33*y^22 + 136868*x^33*y^21 +
294902*x^33*y^20 - 42883*x^33*y^19 - 260533*x^33*y^18 - 112259*x^33*y^17 +
257697*x^33*y^16 + 80392*x^33*y^15 - 64431*x^33*y^14 - 65161*x^33*y^13 +
7630*x^33*y^12 + 13686*x^33*y^11 - 369*x^33*y^10 - 600*x^33*y^9 +
105*x^32*y^24 + 318195*x^32*y^23 - 95482*x^32*y^22 - 699366*x^32*y^21 -
207486*x^32*y^20 + 456435*x^32*y^19 + 710540*x^32*y^18 - 532294*x^32*y^17 -
412514*x^32*y^16 + 47631*x^32*y^15 + 276317*x^32*y^14 + 52395*x^32*y^13 -
72809*x^32*y^12 - 22114*x^32*y^11 + 8661*x^32*y^10 + 1452*x^32*y^9 -
210*x^32*y^8 - 455*x^31*y^25 - 490875*x^31*y^24 - 150930*x^31*y^23 +
1255829*x^31*y^22 + 880180*x^31*y^21 - 211047*x^31*y^20 - 2162521*x^31*y^19
+ 393945*x^31*y^18 + 1208753*x^31*y^17 + 419551*x^31*y^16 - 703360*x^31*y^15
- 422265*x^31*y^14 + 165140*x^31*y^13 + 173723*x^31*y^12 - 6368*x^31*y^11 -
32075*x^31*y^10 + 1705*x^31*y^9 + 840*x^31*y^8 + 1365*x^30*y^26 +
627991*x^30*y^25 + 667422*x^30*y^24 - 1718022*x^30*y^23 - 2004417*x^30*y^22
- 1179198*x^30*y^21 + 4086478*x^30*y^20 + 1434241*x^30*y^19 -
2100765*x^30*y^18 - 2110936*x^30*y^17 + 847942*x^30*y^16 + 1589371*x^30*y^15
- 23745*x^30*y^14 - 584270*x^30*y^13 - 210634*x^30*y^12 + 153928*x^30*y^11 +
42662*x^30*y^10 - 15363*x^30*y^9 - 1722*x^30*y^8 + 252*x^30*y^7 -
3003*x^29*y^27 - 666939*x^29*y^26 - 1349894*x^29*y^25 + 1687175*x^29*y^24 +
3318559*x^29*y^23 + 3909630*x^29*y^22 - 4609734*x^29*y^21 -
6055655*x^29*y^20 + 1290665*x^29*y^19 + 5107555*x^29*y^18 +
1322846*x^29*y^17 - 3836752*x^29*y^16 - 1099649*x^29*y^15 + 990323*x^29*y^14
+ 1161115*x^29*y^13 - 250641*x^29*y^12 - 311868*x^29*y^11 - 4088*x^29*y^10 +
51738*x^29*y^9 - 3981*x^29*y^8 - 756*x^29*y^7 + 5005*x^28*y^28 +
587587*x^28*y^27 + 1915914*x^28*y^26 - 878332*x^28*y^25 - 4320533*x^28*y^24
- 7056763*x^28*y^23 + 1457135*x^28*y^22 + 12118900*x^28*y^21 +
3724395*x^28*y^20 - 6446735*x^28*y^19 - 8821260*x^28*y^18 +
5405554*x^28*y^17 + 4121573*x^28*y^16 + 146211*x^28*y^15 - 3403754*x^28*y^14
- 273209*x^28*y^13 + 844186*x^28*y^12 + 424965*x^28*y^11 - 218873*x^28*y^10
- 58317*x^28*y^9 + 19833*x^28*y^8 + 1296*x^28*y^7 - 210*x^28*y^6 -
6435*x^27*y^29 - 429495*x^27*y^28 - 2076734*x^27*y^27 - 536123*x^27*y^26 +
4430166*x^27*y^25 + 9146002*x^27*y^24 + 5306725*x^27*y^23 -
15117262*x^27*y^22 - 12890803*x^27*y^21 + 393601*x^27*y^20 +
20555755*x^27*y^19 - 804265*x^27*y^18 - 7617260*x^27*y^17 -
6286389*x^27*y^16 + 6214911*x^27*y^15 + 2527101*x^27*y^14 - 914340*x^27*y^13
- 1810094*x^27*y^12 + 198939*x^27*y^11 + 397906*x^27*y^10 + 18462*x^27*y^9 -
59770*x^27*y^8 + 5628*x^27*y^7 + 420*x^27*y^6 + 6435*x^26*y^30 +
261855*x^26*y^29 + 1765170*x^26*y^28 + 1886038*x^26*y^27 - 3296857*x^26*y^26
- 9345670*x^26*y^25 - 12303435*x^26*y^24 + 10971255*x^26*y^23 +
21446191*x^26*y^22 + 14994711*x^26*y^21 - 26367718*x^26*y^20 -
14462159*x^26*y^19 + 4319990*x^26*y^18 + 18891802*x^26*y^17 -
4123768*x^26*y^16 - 7533479*x^26*y^15 - 1319992*x^26*y^14 +
3949365*x^26*y^13 + 944658*x^26*y^12 - 906792*x^26*y^11 - 530195*x^26*y^10 +
215590*x^26*y^9 + 58760*x^26*y^8 - 18680*x^26*y^7 - 615*x^26*y^6 +
120*x^26*y^5 - 5005*x^25*y^31 - 135509*x^25*y^30 - 1185888*x^25*y^29 -
2472657*x^25*y^28 + 1232781*x^25*y^27 + 7796974*x^25*y^26 +
15642898*x^25*y^25 - 745186*x^25*y^24 - 23204034*x^25*y^23 -
32040729*x^25*y^22 + 14424939*x^25*y^21 + 33347424*x^25*y^20 +
13767583*x^25*y^19 - 27151649*x^25*y^18 - 13038031*x^25*y^17 +
12387109*x^25*y^16 + 7904381*x^25*y^15 - 3728309*x^25*y^14 -
4672239*x^25*y^13 + 830799*x^25*y^12 + 1744284*x^25*y^11 - 33400*x^25*y^10 -
364437*x^25*y^9 - 27728*x^25*y^8 + 50749*x^25*y^7 - 5230*x^25*y^6 -
120*x^25*y^5 + 3003*x^24*y^32 + 61600*x^24*y^31 + 631741*x^24*y^30 +
2144395*x^24*y^29 + 753434*x^24*y^28 - 5122601*x^24*y^27 -
14260245*x^24*y^26 - 9596092*x^24*y^25 + 16301243*x^24*y^24 +
39321313*x^24*y^23 + 12439872*x^24*y^22 - 38294538*x^24*y^21 -
39911113*x^24*y^20 + 9476570*x^24*y^19 + 44720818*x^24*y^18 -
6584700*x^24*y^17 - 14045732*x^24*y^16 - 8066070*x^24*y^15 +
11959574*x^24*y^14 + 871368*x^24*y^13 - 2554710*x^24*y^12 -
1398739*x^24*y^11 + 709120*x^24*y^10 + 452683*x^24*y^9 - 151519*x^24*y^8 -
44248*x^24*y^7 + 12884*x^24*y^6 + 190*x^24*y^5 - 45*x^24*y^4 -
1365*x^23*y^33 - 25515*x^23*y^32 - 269675*x^23*y^31 - 1345191*x^23*y^30 -
1707678*x^23*y^29 + 2195722*x^23*y^28 + 9980619*x^23*y^27 +
14464838*x^23*y^26 - 4661346*x^23*y^25 - 33328975*x^23*y^24 -
35770870*x^23*y^23 + 20970997*x^23*y^22 + 51447464*x^23*y^21 +
37694191*x^23*y^20 - 64633941*x^23*y^19 - 15174791*x^23*y^18 +
406995*x^23*y^17 + 38304477*x^23*y^16 - 16326937*x^23*y^15 -
4839203*x^23*y^14 - 889643*x^23*y^13 + 5185564*x^23*y^12 - 612548*x^23*y^11
- 1152684*x^23*y^10 - 70751*x^23*y^9 + 237504*x^23*y^8 + 26090*x^23*y^7 -
32076*x^23*y^6 + 3341*x^23*y^5 + 455*x^22*y^34 + 9590*x^22*y^33 +
95529*x^22*y^32 + 624610*x^22*y^31 + 1534197*x^22*y^30 - 22530*x^22*y^29 -
5301655*x^22*y^28 - 12887501*x^22*y^27 - 5473185*x^22*y^26 +
19961743*x^22*y^25 + 41204360*x^22*y^24 + 5744435*x^22*y^23 -
35545107*x^22*y^22 - 81402127*x^22*y^21 + 44850059*x^22*y^20 +
34005906*x^22*y^19 + 45047975*x^22*y^18 - 64394660*x^22*y^17 +
1000680*x^22*y^16 + 5342202*x^22*y^15 + 14765411*x^22*y^14 -
9935450*x^22*y^13 - 1041067*x^22*y^12 + 1293487*x^22*y^11 +
1041222*x^22*y^10 - 360644*x^22*y^9 - 281450*x^22*y^8 + 79175*x^22*y^7 +
24620*x^22*y^6 - 6573*x^22*y^5 - 51*x^22*y^4 + 10*x^22*y^3 - 105*x^21*y^35 -
3045*x^21*y^34 - 29995*x^21*y^33 - 217693*x^21*y^32 - 874342*x^21*y^31 -
852611*x^21*y^30 + 1848962*x^21*y^29 + 7936020*x^21*y^28 + 9792918*x^21*y^27
- 6690421*x^21*y^26 - 31222999*x^21*y^25 - 22736982*x^21*y^24 +
5875430*x^21*y^23 + 86082370*x^21*y^22 + 3325968*x^21*y^21 -
25975623*x^21*y^20 - 88356554*x^21*y^19 + 39369790*x^21*y^18 +
36050578*x^21*y^17 + 9460825*x^21*y^16 - 30386362*x^21*y^15 +
2092004*x^21*y^14 + 7012955*x^21*y^13 + 651553*x^21*y^12 - 2738870*x^21*y^11
+ 27708*x^21*y^10 + 627874*x^21*y^9 + 48670*x^21*y^8 - 108464*x^21*y^7 -
15699*x^21*y^6 + 14955*x^21*y^5 - 1510*x^21*y^4 + 10*x^21*y^3 + 15*x^20*y^36
+ 726*x^20*y^35 + 8667*x^20*y^34 + 59738*x^20*y^33 + 338983*x^20*y^32 +
745614*x^20*y^31 - 100619*x^20*y^30 - 3305183*x^20*y^29 - 8266639*x^20*y^28
- 2098448*x^20*y^27 + 16763393*x^20*y^26 + 23816196*x^20*y^25 +
15738622*x^20*y^24 - 55014475*x^20*y^23 - 40826272*x^20*y^22 +
846014*x^20*y^21 + 76048385*x^20*y^20 + 40581759*x^20*y^19 -
64474075*x^20*y^18 - 27590867*x^20*y^17 + 7839360*x^20*y^16 +
35732977*x^20*y^15 - 14911162*x^20*y^14 - 4195902*x^20*y^13 +
712067*x^20*y^12 + 2851555*x^20*y^11 - 1172716*x^20*y^10 - 313773*x^20*y^9 +
96779*x^20*y^8 + 126730*x^20*y^7 - 31827*x^20*y^6 - 9666*x^20*y^5 +
2489*x^20*y^4 + 16*x^20*y^3 - x^20*y^2 - x^19*y^37 - 111*x^19*y^36 -
2109*x^19*y^35 - 14555*x^19*y^34 - 91281*x^19*y^33 - 359053*x^19*y^32 -
351340*x^19*y^31 + 739227*x^19*y^30 + 4298455*x^19*y^29 + 5074853*x^19*y^28
- 5473343*x^19*y^27 - 15468335*x^19*y^26 - 21410745*x^19*y^25 +
17887160*x^19*y^24 + 48302875*x^19*y^23 + 12122890*x^19*y^22 -
13064698*x^19*y^21 - 110314342*x^19*y^20 + 61309844*x^19*y^19 +
8211370*x^19*y^18 + 71765285*x^19*y^17 - 83660214*x^19*y^16 +
17462214*x^19*y^15 - 6450716*x^19*y^14 + 18752304*x^19*y^13 -
11553860*x^19*y^12 + 2050658*x^19*y^11 + 181756*x^19*y^10 + 324504*x^19*y^9
- 301893*x^19*y^8 - 1316*x^19*y^7 + 33647*x^19*y^6 + 5529*x^19*y^5 -
4914*x^19*y^4 + 488*x^19*y^3 - 2*x^19*y^2 + 8*x^18*y^37 + 351*x^18*y^36 +
3390*x^18*y^35 + 18457*x^18*y^34 + 108307*x^18*y^33 + 245473*x^18*y^32 +
72766*x^18*y^31 - 1266806*x^18*y^30 - 3833601*x^18*y^29 - 358531*x^18*y^28 +
6295219*x^18*y^27 + 15979899*x^18*y^26 + 5219276*x^18*y^25 -
35582425*x^18*y^24 - 7951630*x^18*y^23 - 39994889*x^18*y^22 +
114977723*x^18*y^21 - 40225061*x^18*y^20 + 46365583*x^18*y^19 -
140317267*x^18*y^18 + 88609246*x^18*y^17 - 21397356*x^18*y^16 +
49338023*x^18*y^15 - 53198320*x^18*y^14 + 18977525*x^18*y^13 -
4057459*x^18*y^12 + 4018835*x^18*y^11 - 2889431*x^18*y^10 + 915114*x^18*y^9
- 41081*x^18*y^8 - 5544*x^18*y^7 - 36978*x^18*y^6 + 9393*x^18*y^5 +
2446*x^18*y^4 - 674*x^18*y^3 - 3*x^18*y^2 - 28*x^17*y^37 - 617*x^17*y^36 -
3538*x^17*y^35 - 21041*x^17*y^34 - 88955*x^17*y^33 - 125391*x^17*y^32 +
83090*x^17*y^31 + 1569412*x^17*y^30 + 1706042*x^17*y^29 - 912010*x^17*y^28 -
7275515*x^17*y^27 - 12106588*x^17*y^26 + 17771030*x^17*y^25 +
1920382*x^17*y^24 + 48236670*x^17*y^23 - 68703461*x^17*y^22 +
15984886*x^17*y^21 - 69311468*x^17*y^20 + 115303459*x^17*y^19 -
35373975*x^17*y^18 + 28608382*x^17*y^17 - 84505022*x^17*y^16 +
54723506*x^17*y^15 - 9513960*x^17*y^14 + 11914570*x^17*y^13 -
15523177*x^17*y^12 + 6729349*x^17*y^11 - 1214860*x^17*y^10 + 231884*x^17*y^9
- 186495*x^17*y^8 + 98172*x^17*y^7 - 8144*x^17*y^6 - 6603*x^17*y^5 -
906*x^17*y^4 + 1030*x^17*y^3 - 109*x^17*y^2 + 56*x^16*y^37 + 665*x^16*y^36 +
3070*x^16*y^35 + 19405*x^16*y^34 + 49430*x^16*y^33 + 79939*x^16*y^32 -
286780*x^16*y^31 - 1028533*x^16*y^30 - 607409*x^16*y^29 + 1212620*x^16*y^28
+ 8852282*x^16*y^27 - 4110215*x^16*y^26 - 311272*x^16*y^25 -
28563361*x^16*y^24 + 16686505*x^16*y^23 + 10182036*x^16*y^22 +
31451857*x^16*y^21 - 20127050*x^16*y^20 - 36921415*x^16*y^19 -
5518595*x^16*y^18 + 37898091*x^16*y^17 + 12945097*x^16*y^16 -
20408458*x^16*y^15 - 13906294*x^16*y^14 + 13242540*x^16*y^13 +
1114854*x^16*y^12 - 1371181*x^16*y^11 - 1352184*x^16*y^10 + 1029458*x^16*y^9
- 295555*x^16*y^8 + 38371*x^16*y^7 - 1074*x^16*y^6 + 4915*x^16*y^5 -
1585*x^16*y^4 - 345*x^16*y^3 + 115*x^16*y^2 - 70*x^15*y^37 - 483*x^15*y^36 -
2698*x^15*y^35 - 11615*x^15*y^34 - 29055*x^15*y^33 - 26428*x^15*y^32 +
294814*x^15*y^31 + 411452*x^15*y^30 + 669082*x^15*y^29 - 3303548*x^15*y^28 -
1656787*x^15*y^27 + 45768*x^15*y^26 + 8201504*x^15*y^25 + 12710421*x^15*y^24
- 26113615*x^15*y^23 + 15903521*x^15*y^22 - 54043071*x^15*y^21 +
84118667*x^15*y^20 - 53397525*x^15*y^19 + 67705665*x^15*y^18 -
103067840*x^15*y^17 + 65493000*x^15*y^16 - 27342473*x^15*y^15 +
35088104*x^15*y^14 - 30858720*x^15*y^13 + 9220804*x^15*y^12 -
157730*x^15*y^11 + 731178*x^15*y^10 - 745198*x^15*y^9 + 169050*x^15*y^8 +
205*x^15*y^7 - 8302*x^15*y^6 + 1183*x^15*y^5 + 837*x^15*y^4 + 3*x^15*y^3 -
115*x^15*y^2 + 15*x^15*y + 56*x^14*y^37 + 301*x^14*y^36 + 1922*x^14*y^35 +
4706*x^14*y^34 + 21085*x^14*y^33 - 27214*x^14*y^32 - 103378*x^14*y^31 -
426750*x^14*y^30 + 291783*x^14*y^29 + 1734651*x^14*y^28 + 87914*x^14*y^27 +
1734039*x^14*y^26 - 16277919*x^14*y^25 + 21223048*x^14*y^24 -
28070440*x^14*y^23 + 63778701*x^14*y^22 - 81582045*x^14*y^21 +
83214187*x^14*y^20 - 120342129*x^14*y^19 + 136276040*x^14*y^18 -
104813918*x^14*y^17 + 97917143*x^14*y^16 - 100995705*x^14*y^15 +
65953580*x^14*y^14 - 29102620*x^14*y^13 + 17948986*x^14*y^12 -
12564546*x^14*y^11 + 4871152*x^14*y^10 - 800499*x^14*y^9 + 74255*x^14*y^8 -
34420*x^14*y^7 + 10130*x^14*y^6 - 2552*x^14*y^5 + 401*x^14*y^4 + 44*x^14*y^3
+ 20*x^14*y^2 - 9*x^14*y - 28*x^13*y^37 - 211*x^13*y^36 - 785*x^13*y^35 -
2858*x^13*y^34 - 6403*x^13*y^33 + 11650*x^13*y^32 + 66253*x^13*y^31 +
243041*x^13*y^30 - 558711*x^13*y^29 + 86054*x^13*y^28 - 2873346*x^13*y^27 +
7689848*x^13*y^26 - 7631580*x^13*y^25 + 15479406*x^13*y^24 -
33509384*x^13*y^23 + 38915781*x^13*y^22 - 49298006*x^13*y^21 +
78821478*x^13*y^20 - 89152558*x^13*y^19 + 89501122*x^13*y^18 -
108329434*x^13*y^17 + 106273153*x^13*y^16 - 73387777*x^13*y^15 +
53056935*x^13*y^14 - 44818815*x^13*y^13 + 27404146*x^13*y^12 -
10379123*x^13*y^11 + 3799203*x^13*y^10 - 2128363*x^13*y^9 + 922902*x^13*y^8
- 225015*x^13*y^7 + 36841*x^13*y^6 - 6169*x^13*y^5 + 859*x^13*y^4 -
121*x^13*y^3 + 11*x^13*y^2 + 5*x^13*y - x^13 + 8*x^12*y^37 + 132*x^12*y^36 +
188*x^12*y^35 + 1776*x^12*y^34 - 1030*x^12*y^33 + 7891*x^12*y^32 -
82682*x^12*y^31 + 54514*x^12*y^30 - 137341*x^12*y^29 + 1082625*x^12*y^28 -
1137292*x^12*y^27 + 206162*x^12*y^26 - 3082612*x^12*y^25 + 4517839*x^12*y^24
+ 901570*x^12*y^23 + 984612*x^12*y^22 - 9019777*x^12*y^21 +
8392869*x^12*y^20 - 14468093*x^12*y^19 + 30641930*x^12*y^18 -
32249522*x^12*y^17 + 28597306*x^12*y^16 - 35853365*x^12*y^15 +
34961958*x^12*y^14 - 20648350*x^12*y^13 + 11345505*x^12*y^12 -
9263342*x^12*y^11 + 6138296*x^12*y^10 - 2334924*x^12*y^9 + 547915*x^12*y^8 -
144728*x^12*y^7 + 49585*x^12*y^6 - 10945*x^12*y^5 + 1490*x^12*y^4 -
180*x^12*y^3 + 11*x^12*y^2 + x^12*y - x^11*y^37 - 50*x^11*y^36 -
145*x^11*y^35 - 110*x^11*y^34 - 1505*x^11*y^33 + 4223*x^11*y^32 +
10158*x^11*y^31 + 35299*x^11*y^30 - 58448*x^11*y^29 - 399850*x^11*y^28 +
807247*x^11*y^27 - 1239730*x^11*y^26 + 5061297*x^11*y^25 -
11390339*x^11*y^24 + 15886650*x^11*y^23 - 24181199*x^11*y^22 +
38008767*x^11*y^21 - 45551574*x^11*y^20 + 48122788*x^11*y^19 -
52363190*x^11*y^18 + 47949963*x^11*y^17 - 34847053*x^11*y^16 +
26262012*x^11*y^15 - 18617039*x^11*y^14 + 6148825*x^11*y^13 +
2161247*x^11*y^12 - 2427946*x^11*y^11 + 1010391*x^11*y^10 - 873112*x^11*y^9
+ 749215*x^11*y^8 - 339750*x^11*y^7 + 85413*x^11*y^6 - 14275*x^11*y^5 +
2005*x^11*y^4 - 190*x^11*y^3 + 5*x^11*y^2 + x^11*y + 8*x^10*y^36 +
112*x^10*y^35 - 242*x^10*y^34 + 1192*x^10*y^33 - 3851*x^10*y^32 +
7681*x^10*y^31 - 57507*x^10*y^30 + 175342*x^10*y^29 - 313899*x^10*y^28 +
1014035*x^10*y^27 - 2949710*x^10*y^26 + 5442373*x^10*y^25 -
9521488*x^10*y^24 + 18702712*x^10*y^23 - 31245802*x^10*y^22 +
43551962*x^10*y^21 - 58901559*x^10*y^20 + 76022175*x^10*y^19 -
85809303*x^10*y^18 + 86970313*x^10*y^17 - 81257206*x^10*y^16 +
65517748*x^10*y^15 - 44218722*x^10*y^14 + 27167236*x^10*y^13 -
15436076*x^10*y^12 + 6388691*x^10*y^11 - 1069642*x^10*y^10 - 332355*x^10*y^9
+ 184097*x^10*y^8 - 42223*x^10*y^7 + 22233*x^10*y^6 - 10200*x^10*y^5 +
2030*x^10*y^4 - 155*x^10*y^3 - x^10*y^2 + x^10*y - 28*x^9*y^35 - 56*x^9*y^34
+ 541*x^9*y^33 - 2513*x^9*y^32 + 9509*x^9*y^31 - 19956*x^9*y^30 +
62321*x^9*y^29 - 226637*x^9*y^28 + 461515*x^9*y^27 - 795942*x^9*y^26 +
2074601*x^9*y^25 - 4827899*x^9*y^24 + 8467051*x^9*y^23 - 14574836*x^9*y^22 +
26036355*x^9*y^21 - 40848890*x^9*y^20 + 55013858*x^9*y^19 -
67565924*x^9*y^18 + 75430375*x^9*y^17 - 73968637*x^9*y^16 +
64298951*x^9*y^15 - 50161543*x^9*y^14 + 33716453*x^9*y^13 -
18730799*x^9*y^12 + 8998208*x^9*y^11 - 4074663*x^9*y^10 + 1561604*x^9*y^9 -
330359*x^9*y^8 - 34285*x^9*y^7 + 40431*x^9*y^6 - 9915*x^9*y^5 + 1190*x^9*y^4
- 75*x^9*y^3 - 7*x^9*y^2 + x^9*y + 56*x^8*y^34 - 224*x^8*y^33 + 379*x^8*y^32
- 163*x^8*y^31 - 1624*x^8*y^30 - 5149*x^8*y^29 + 47896*x^8*y^28 -
109637*x^8*y^27 + 207275*x^8*y^26 - 594907*x^8*y^25 + 1194495*x^8*y^24 -
1022465*x^8*y^23 - 489586*x^8*y^22 + 3122369*x^8*y^21 - 8030807*x^8*y^20 +
16416979*x^8*y^19 - 25980831*x^8*y^18 + 33198534*x^8*y^17 -
36654485*x^8*y^16 + 35651833*x^8*y^15 - 30236537*x^8*y^14 +
22651483*x^8*y^13 - 15247725*x^8*y^12 + 8884834*x^8*y^11 - 4168617*x^8*y^10
+ 1553246*x^8*y^9 - 526559*x^8*y^8 + 187273*x^8*y^7 - 57131*x^8*y^6 +
10647*x^8*y^5 - 890*x^8*y^4 + 50*x^8*y^3 - 13*x^8*y^2 + x^8*y - 70*x^7*y^33
+ 532*x^7*y^32 - 2142*x^7*y^31 + 6632*x^7*y^30 - 17986*x^7*y^29 +
55440*x^7*y^28 - 187955*x^7*y^27 + 519622*x^7*y^26 - 1132947*x^7*y^25 +
2234432*x^7*y^24 - 4192620*x^7*y^23 + 6834184*x^7*y^22 - 9170565*x^7*y^21 +
10561808*x^7*y^20 - 10950491*x^7*y^19 + 9647490*x^7*y^18 - 6021489*x^7*y^17
+ 1128109*x^7*y^16 + 3236075*x^7*y^15 - 6043739*x^7*y^14 + 6896280*x^7*y^13
- 6009903*x^7*y^12 + 4341930*x^7*y^11 - 2758961*x^7*y^10 + 1521293*x^7*y^9 -
665365*x^7*y^8 + 208775*x^7*y^7 - 44505*x^7*y^6 + 7243*x^7*y^5 -
1309*x^7*y^4 + 220*x^7*y^3 - 19*x^7*y^2 + x^7*y + 56*x^6*y^32 - 560*x^6*y^31
+ 2820*x^6*y^30 - 9910*x^6*y^29 + 27820*x^6*y^28 - 73945*x^6*y^27 +
213891*x^6*y^26 - 603221*x^6*y^25 + 1448297*x^6*y^24 - 2969190*x^6*y^23 +
5506902*x^6*y^22 - 9365412*x^6*y^21 + 14139712*x^6*y^20 - 18579904*x^6*y^19
+ 21469180*x^6*y^18 - 22104999*x^6*y^17 + 20075586*x^6*y^16 -
15605851*x^6*y^15 + 9983597*x^6*y^14 - 4865070*x^6*y^13 + 1304922*x^6*y^12 +
477406*x^6*y^11 - 908710*x^6*y^10 + 702015*x^6*y^9 - 397575*x^6*y^8 +
187289*x^6*y^7 - 72487*x^6*y^6 + 20900*x^6*y^5 - 3970*x^6*y^4 + 435*x^6*y^3
- 25*x^6*y^2 + x^6*y - 28*x^5*y^31 + 328*x^5*y^30 - 1863*x^5*y^29 +
6958*x^5*y^28 - 19474*x^5*y^27 + 48048*x^5*y^26 - 131677*x^5*y^25 +
400414*x^5*y^24 - 1107056*x^5*y^23 + 2550688*x^5*y^22 - 4976967*x^5*y^21 +
8511500*x^5*y^20 - 12902914*x^5*y^19 + 17173113*x^5*y^18 - 19873334*x^5*y^17
+ 19992530*x^5*y^16 - 17536179*x^5*y^15 + 13342536*x^5*y^14 -
8634158*x^5*y^13 + 4568304*x^5*y^12 - 1803205*x^5*y^11 + 355526*x^5*y^10 +
160774*x^5*y^9 - 206224*x^5*y^8 + 115547*x^5*y^7 - 42304*x^5*y^6 +
10952*x^5*y^5 - 2122*x^5*y^4 + 317*x^5*y^3 - 31*x^5*y^2 + x^5*y + 8*x^4*y^30
- 104*x^4*y^29 + 639*x^4*y^28 - 2483*x^4*y^27 + 6890*x^4*y^26 -
16406*x^4*y^25 + 48113*x^4*y^24 - 177353*x^4*y^23 + 589580*x^4*y^22 -
1548484*x^4*y^21 + 3238158*x^4*y^20 - 5599729*x^4*y^19 + 8275794*x^4*y^18 -
10628700*x^4*y^17 + 11877401*x^4*y^16 - 11478003*x^4*y^15 + 9528219*x^4*y^14
- 6748209*x^4*y^13 + 4026230*x^4*y^12 - 1965834*x^4*y^11 + 732141*x^4*y^10 -
162283*x^4*y^9 - 21422*x^4*y^8 + 44160*x^4*y^7 - 26099*x^4*y^6 +
9977*x^4*y^5 - 2591*x^4*y^4 + 426*x^4*y^3 - 37*x^4*y^2 + x^4*y - x^3*y^29 +
14*x^3*y^28 - 91*x^3*y^27 + 364*x^3*y^26 - 1001*x^3*y^25 + 2562*x^3*y^24 -
10963*x^3*y^23 + 56584*x^3*y^22 - 225339*x^3*y^21 + 658731*x^3*y^20 -
1468416*x^3*y^19 + 2601409*x^3*y^18 - 3791501*x^3*y^17 + 4666992*x^3*y^16 -
4928702*x^3*y^15 + 4484596*x^3*y^14 - 3494959*x^3*y^13 + 2301624*x^3*y^12 -
1253747*x^3*y^11 + 543690*x^3*y^10 - 171387*x^3*y^9 + 26998*x^3*y^8 +
7649*x^3*y^7 - 7396*x^3*y^6 + 2907*x^3*y^5 - 729*x^3*y^4 + 126*x^3*y^3 -
15*x^3*y^2 + x^3*y - 120*x^2*y^23 + 1832*x^2*y^22 - 13148*x^2*y^21 +
59011*x^2*y^20 - 185975*x^2*y^19 + 438385*x^2*y^18 - 804671*x^2*y^17 +
1183428*x^2*y^16 - 1425188*x^2*y^15 + 1429180*x^2*y^14 - 1207180*x^2*y^13 +
862706*x^2*y^12 - 518986*x^2*y^11 + 258118*x^2*y^10 - 102010*x^2*y^9 +
29060*x^2*y^8 - 3852*x^2*y^7 - 1420*x^2*y^6 + 1184*x^2*y^5 - 445*x^2*y^4 +
105*x^2*y^3 - 15*x^2*y^2 + x^2*y + 16*x*y^22 - 259*x*y^21 + 1972*x*y^20 -
9384*x*y^19 + 31280*x*y^18 - 77588*x*y^17 + 148512*x*y^16 - 224536*x*y^15 +
272272*x*y^14 - 267410*x*y^13 + 213928*x*y^12 - 139672*x*y^11 + 74256*x*y^10
- 31892*x*y^9 + 10880*x*y^8 - 2856*x*y^7 + 544*x*y^6 - 67*x*y^5 + 4*x*y^4 -
y^21 + 17*y^20 - 136*y^19 + 680*y^18 - 2380*y^17 + 6188*y^16 - 12376*y^15 +
19448*y^14 - 24310*y^13 + 24310*y^12 - 19448*y^11 + 12376*y^10 - 6188*y^9 +
2380*y^8 - 680*y^7 + 136*y^6 - 17*y^5 + y^4
