A4_pols := [ [ x^12 - 6*x^11 - 11*x^10 + 110*x^9 - 123*x^8 - 234*x^7 + 487*x^6 - 114*x^5 \
- 287*x^4 + 238*x^3 - 63*x^2 + 2*x + 1, 139754631175017849 ],
  [ x^12 + 10*x^11 + 17*x^10 - 90*x^9 - 237*x^8 + 272*x^7 + 806*x^6 - 456*x^5 \
- 832*x^4 + 560*x^3 + 56*x^2 - 96*x + 16, 223580268118933504 ],
  [ x^12 - 23*x^10 + 125*x^8 - 231*x^6 + 125*x^4 - 23*x^2 + 1,
      498311414318121121 ],
  [ x^12 - 6*x^11 - 30*x^10 + 182*x^9 + 173*x^8 - 1432*x^7 + 628*x^6 + 1472*x^\
5 - 173*x^4 - 650*x^3 - 238*x^2 - 30*x - 1, 3341233033216000000 ],
  [ x^12 + 6*x^11 - 51*x^10 - 180*x^9 + 627*x^8 + 240*x^7 - 1127*x^6 - 240*x^5\
 + 627*x^4 + 180*x^3 - 51*x^2 - 6*x + 1, 5514297181968073041 ],
  [ x^12 - 8*x^11 - 4*x^10 + 131*x^9 - 93*x^8 - 735*x^7 + 707*x^6 + 1674*x^5 -\
 1485*x^4 - 1575*x^3 + 966*x^2 + 476*x - 8, 6222571613867740681 ],
  [ x^12 + 8*x^11 - 12*x^10 - 194*x^9 - 210*x^8 + 826*x^7 + 1378*x^6 - 366*x^5\
 - 1927*x^4 - 1424*x^3 - 430*x^2 - 50*x - 1, 7294312343144759296 ],
  [ x^12 + 4*x^11 - 36*x^10 - 147*x^9 + 117*x^8 + 635*x^7 - 66*x^6 - 909*x^5 -\
 34*x^4 + 508*x^3 + 39*x^2 - 91*x - 13, 8792937092139422209 ],
  [ x^12 + 4*x^11 - 44*x^10 - 187*x^9 + 137*x^8 + 1331*x^7 + 1308*x^6 - 735*x^\
5 - 1258*x^4 - 38*x^3 + 271*x^2 + 33*x + 1, 15072974715383053921 ],
  [ x^12 - x^11 - 32*x^10 + 41*x^9 + 316*x^8 - 403*x^7 - 1196*x^6 + 1199*x^5 +\
 1855*x^4 - 964*x^3 - 800*x^2 + 32*x + 16, 20706359771987105161 ],
  [ x^12 - 6*x^11 - 21*x^10 + 160*x^9 + 125*x^8 - 1526*x^7 + x^6 + 6076*x^5 - \
1589*x^4 - 9082*x^3 + 1193*x^2 + 4668*x + 596, 34660765693554192481 ],
  [ x^12 + 4*x^11 - 45*x^10 - 139*x^9 + 550*x^8 + 1082*x^7 - 650*x^6 - 1429*x^\
5 + 225*x^4 + 577*x^3 - 50*x^2 - 63*x + 9, 94879223351246735569 ],
  [ x^12 - 5*x^11 - 46*x^10 + 92*x^9 + 774*x^8 + 1074*x^7 - 151*x^6 - 1272*x^5\
 - 804*x^4 - 57*x^3 + 75*x^2 + 17*x + 1, 125049841902709607569 ],
  [ x^12 - 34*x^10 + 362*x^8 - 1274*x^6 + 1537*x^4 - 392*x^2 + 16,
      196095460708571938816 ],
  [ x^12 - 5*x^11 - 57*x^10 + 113*x^9 + 1146*x^8 + 228*x^7 - 7547*x^6 - 12554*\
x^5 - 2576*x^4 + 7748*x^3 + 5180*x^2 + 329*x - 287, 202700943101784875881 ],
  [ x^12 + 6*x^11 - 37*x^10 - 240*x^9 - 17*x^8 + 1438*x^7 + 1527*x^6 - 1526*x^\
5 - 2463*x^4 - 192*x^3 + 453*x^2 - 22*x - 4, 617055253404346928161 ],
  [ x^12 + 10*x^11 - 16*x^10 - 252*x^9 + 250*x^8 + 1350*x^7 - 662*x^6 - 2314*x\
^5 + 137*x^4 + 1364*x^3 + 252*x^2 - 196*x - 49, 898901757322623975424 ],
  [ x^12 - 4*x^11 - 72*x^10 + 503*x^9 - 769*x^8 - 775*x^7 + 2278*x^6 - 487*x^5\
 - 1032*x^4 + 246*x^3 + 73*x^2 - 19*x + 1, 1074414165981880035361 ],
  [ x^12 - 78*x^10 + 27*x^9 + 1475*x^8 - 1509*x^7 - 8275*x^6 + 14402*x^5 - 146\
7*x^4 - 7769*x^3 + 3066*x^2 + 224*x - 56, 1441539838222060153801 ],
  [ x^12 + 4*x^11 - 58*x^10 - 137*x^9 + 1401*x^8 + 849*x^7 - 15464*x^6 + 12397\
*x^5 + 58248*x^4 - 118062*x^3 + 59055*x^2 + 16029*x - 13679,
      2089304693725555691641 ],
  [ x^12 + 3*x^11 - 72*x^10 - 74*x^9 + 1857*x^8 - 1797*x^7 - 15718*x^6 + 42099\
*x^5 - 24873*x^4 - 20086*x^3 + 16458*x^2 + 3951*x - 213,
      2516155240490877816009 ],
  [ x^12 - 3*x^11 - 63*x^10 - 18*x^9 + 972*x^8 + 1899*x^7 - 1284*x^6 - 4725*x^\
5 - 1053*x^4 + 1871*x^3 + 462*x^2 - 3, 2673366699285059581521 ],
  [ x^12 + 4*x^11 - 64*x^10 - 121*x^9 + 1314*x^8 + 85*x^7 - 6019*x^6 - 392*x^5\
 + 7200*x^4 - 96*x^3 - 2000*x^2 - 192*x + 64, 3539754631396794690649 ],
  [ x^12 + 7*x^11 - 63*x^10 - 242*x^9 + 1694*x^8 + 469*x^7 - 10623*x^6 + 1855*\
x^5 + 27930*x^4 - 4157*x^3 - 31794*x^2 + 10584, 3647455837268005690249 ],
  [ x^12 + 2*x^11 - 116*x^10 - 398*x^9 + 3315*x^8 + 16950*x^7 + 7696*x^6 - 543\
88*x^5 - 95878*x^4 - 64268*x^3 - 19770*x^2 - 2650*x - 125,
      7178395498216434171904 ],
  [ x^12 + 6*x^11 - 25*x^10 - 180*x^9 + 47*x^8 + 1334*x^7 + 861*x^6 - 2908*x^5\
 - 2893*x^4 + 1010*x^3 + 1649*x^2 + 378*x - 9, 8014909274235071513761 ],
  [ x^12 - 5*x^11 - 80*x^10 + 615*x^9 - 924*x^8 - 1573*x^7 + 2994*x^6 + 1573*x\
^5 - 924*x^4 - 615*x^3 - 80*x^2 + 5*x + 1, 10099576296821650386969 ],
  [ x^12 - 7*x^11 - 47*x^10 + 410*x^9 + 254*x^8 - 6769*x^7 + 8562*x^6 + 27699*\
x^5 - 53771*x^4 - 31375*x^3 + 91224*x^2 - 4390*x - 29255,
      11311937774879437515625 ],
  [ x^12 - 105*x^10 - 354*x^9 + 875*x^8 + 2898*x^7 - 3385*x^6 - 7910*x^5 + 737\
1*x^4 + 8156*x^3 - 7203*x^2 - 2744*x + 2401, 16551311845247868759889 ],
  [ x^12 - 105*x^10 + 220*x^9 + 2303*x^8 - 3696*x^7 - 23279*x^6 + 11368*x^5 + \
102781*x^4 + 52858*x^3 - 77175*x^2 - 34650*x + 23625, 17085180837051545144521
     ],
  [ x^12 - 3*x^11 - 123*x^10 - 109*x^9 + 2958*x^8 + 2952*x^7 - 26299*x^6 - 546\
6*x^5 + 93678*x^4 - 72836*x^3 - 16506*x^2 + 25803*x - 3897,
      48882702663962715465369 ],
  [ x^12 - 3*x^11 - 104*x^10 + 163*x^9 + 3285*x^8 - 4470*x^7 - 39005*x^6 + 717\
63*x^5 + 138928*x^4 - 422515*x^3 + 259659*x^2 + 73342*x - 80468,
      57522073427360834292729 ],
  [ x^12 + 7*x^11 - 98*x^10 - 1026*x^9 - 336*x^8 + 30086*x^7 + 154969*x^6 + 36\
4182*x^5 + 459802*x^4 + 305705*x^3 + 88361*x^2 + 2779*x - 973,
      80774312981184052611241 ],
  [ x^12 + 7*x^11 - 77*x^10 - 192*x^9 + 2366*x^8 - 4515*x^7 - 1740*x^6 + 10549\
*x^5 - 3675*x^4 - 5713*x^3 + 2310*x^2 - 49, 132174468980219148288169 ],
  [ x^12 - 6*x^11 - 78*x^10 + 364*x^9 + 1566*x^8 - 5796*x^7 - 9968*x^6 + 20706\
*x^5 + 34197*x^4 + 18*x^3 - 14112*x^2 - 3726*x + 243,
      154116923586192355885056 ],
  [ x^12 + 4*x^11 - 80*x^10 - 260*x^9 + 2152*x^8 + 5092*x^7 - 22142*x^6 - 3064\
4*x^5 + 81292*x^4 + 41596*x^3 - 34640*x^2 - 6764*x - 263,
      517154746153823109320704 ],
  [ x^12 + 6*x^11 - 90*x^10 - 720*x^9 + 1146*x^8 + 20860*x^7 + 34080*x^6 - 133\
642*x^5 - 473471*x^4 - 364274*x^3 + 199808*x^2 + 282354*x + 62631,
      1663253207272001536000000 ],
  [ x^12 - 78*x^10 + 897*x^8 - 3341*x^6 + 3588*x^4 - 1248*x^2 + 64,
      2913196926982786526139201 ],
  [ x^12 + 4*x^11 - 156*x^10 - 224*x^9 + 6571*x^8 + 9514*x^7 - 109330*x^6 - 21\
5274*x^5 + 609914*x^4 + 1724388*x^3 + 581644*x^2 - 679042*x - 8281,
      3146262130299270806634496 ],
  [ x^12 - 3*x^11 - 110*x^10 - 187*x^9 + 2791*x^8 + 11771*x^7 - 684*x^6 - 7895\
8*x^5 - 118984*x^4 + 73829*x^3 + 316079*x^2 + 263340*x + 71027,
      4249070116341971479090249 ],
  [ x^12 - 2*x^11 - 138*x^10 - 150*x^9 + 6517*x^8 + 24692*x^7 - 70812*x^6 - 61\
9026*x^5 - 1365066*x^4 - 808056*x^3 + 1108554*x^2 + 1680616*x + 575177,
      6340836687733604191830016 ],
  [ x^12 + x^11 - 178*x^10 + 676*x^9 + 5591*x^8 - 30899*x^7 - 48719*x^6 + 4439\
67*x^5 - 45729*x^4 - 2392821*x^3 + 1652886*x^2 + 3551688*x - 2571912,
      14190703876989156484405881 ],
  [ x^12 - 6*x^11 - 115*x^10 + 944*x^9 + 2687*x^8 - 43310*x^7 + 77715*x^6 + 48\
6028*x^5 - 2369852*x^4 + 3416792*x^3 - 13988*x^2 - 3704496*x + 2014832,
      20684590420496678387974144 ],
  [ x^12 - 8*x^11 - 191*x^10 + 1406*x^9 + 9918*x^8 - 72654*x^7 - 71933*x^6 + 1\
136728*x^5 - 2274244*x^4 + 1740880*x^3 - 570976*x^2 + 68544*x - 448,
      21676194585496522407404929 ],
  [ x^12 + 11*x^11 - 163*x^10 - 1154*x^9 + 11166*x^8 + 33381*x^7 - 300640*x^6 \
- 406143*x^5 + 3359157*x^4 + 2830701*x^3 - 12864408*x^2 - 13804940*x - 1133873
        , 26442458062240511752336561 ],
  [ x^12 + 7*x^11 - 144*x^10 - 1453*x^9 + 3375*x^8 + 84867*x^7 + 250663*x^6 - \
988646*x^5 - 8342096*x^4 - 22579469*x^3 - 28208960*x^2 - 13665100*x + 48728,
      43220581637044541850836401 ],
  [ x^12 - 6*x^11 - 198*x^10 + 660*x^9 + 14562*x^8 - 9648*x^7 - 425868*x^6 - 6\
04638*x^5 + 2815173*x^4 + 5769314*x^3 - 713532*x^2 - 2422926*x - 523473,
      47348074600221687092084736 ],
  [ x^12 - 4*x^11 - 240*x^10 + 1589*x^9 + 9217*x^8 - 63001*x^7 - 136483*x^6 + \
608856*x^5 + 961601*x^4 - 996213*x^3 - 758954*x^2 + 190120*x + 120344,
      57931542842436573115923481 ],
  [ x^12 - 4*x^11 - 212*x^10 + 1785*x^9 - 51*x^8 - 25215*x^7 + 15522*x^6 + 114\
817*x^5 - 14360*x^4 - 94970*x^3 - 29169*x^2 + 5299*x + 2149,
      68607422886583571523033361 ],
  [ x^12 + 6*x^11 - 244*x^10 + 1074*x^9 + 2363*x^8 - 21394*x^7 + 16840*x^6 + 1\
00568*x^5 - 168294*x^4 - 74812*x^3 + 216938*x^2 + 1550*x - 57829,
      89029659622316736680034304 ],
  [ x^12 - 5*x^11 - 330*x^10 + 2430*x^9 + 19283*x^8 - 209723*x^7 + 115478*x^6 \
+ 4228151*x^5 - 17095463*x^4 + 27855764*x^3 - 20362580*x^2 + 5178999*x + 19228\
3, 90713058361396811935121569 ],
  [ x^12 - 108*x^10 + 4409*x^8 - 84168*x^6 + 763144*x^4 - 3165408*x^2 + 482241\
6, 232431787435194707844530176 ],
  [ x^12 - 4*x^11 - 338*x^10 + 2667*x^9 + 15153*x^8 - 130593*x^7 - 284841*x^6 \
+ 1709200*x^5 + 2550727*x^4 - 7340285*x^3 - 7951818*x^2 + 8546440*x + 2969848,
      298866999037447952748923881 ],
  [ x^12 - 210*x^10 - 569*x^9 + 7335*x^8 + 13473*x^7 - 115488*x^6 - 58509*x^5 \
+ 833670*x^4 - 524896*x^3 - 1806021*x^2 + 2521317*x - 787807,
      306477673313581691167618089 ],
  [ x^12 - 156*x^10 + 6113*x^8 - 76160*x^6 + 315528*x^4 - 207680*x^2 + 1936,
      347395070468338412500811776 ],
  [ x^12 - 4*x^11 - 366*x^10 - 253*x^9 + 27301*x^8 - 3295*x^7 - 638446*x^6 + 1\
126401*x^5 + 19184*x^4 - 793008*x^3 + 147829*x^2 + 111127*x + 10529,
      354790124442964024161034009 ],
  [ x^12 + x^11 - 246*x^10 - 1385*x^9 + 13785*x^8 + 141413*x^7 + 182605*x^6 - \
1855678*x^5 - 5439600*x^4 + 7236893*x^3 + 34265916*x^2 - 5521244*x - 67011272,
      811962611614405905753258481 ],
  [ x^12 + 3*x^11 - 222*x^10 - 710*x^9 + 17348*x^8 + 57472*x^7 - 571627*x^6 - \
1842284*x^5 + 7396650*x^4 + 20853513*x^3 - 22095115*x^2 - 32542219*x - 4935449
        , 3097572114813297208256791521 ],
  [ x^12 + 9*x^11 - 416*x^10 + 526*x^9 + 29509*x^8 - 100787*x^7 - 282803*x^6 +\
 481981*x^5 + 1178215*x^4 - 177873*x^3 - 1576298*x^2 - 1069776*x - 214392,
      3097572114813297208256791521 ],
  [ x^12 - 268*x^10 + 9*x^9 + 14649*x^8 + 5895*x^7 - 244546*x^6 - 165771*x^5 +\
 1116694*x^4 + 367308*x^3 - 1243119*x^2 - 433161*x + 171837,
      3097572114813297208256791521 ],
  [ x^12 - 2*x^11 - 354*x^10 - 1470*x^9 + 31142*x^8 + 302734*x^7 + 792704*x^6 \
- 484864*x^5 - 3839975*x^4 - 1097230*x^3 + 2953552*x^2 - 840840*x + 42133,
      4338827092360657308192342016 ],
  [ x^12 - 2*x^11 - 258*x^10 - 700*x^9 + 22218*x^8 + 160104*x^7 - 223412*x^6 -\
 6816482*x^5 - 33566867*x^4 - 80039450*x^3 - 98196812*x^2 - 52659418*x - 49424\
41, 4338827092360657308192342016 ],
  [ x^12 + 4*x^11 - 226*x^10 + 140*x^9 + 12234*x^8 - 31536*x^7 - 163068*x^6 + \
580968*x^5 + 278886*x^4 - 2011192*x^3 + 530750*x^2 + 976948*x - 170993,
      15079066416542078544833150976 ],
  [ x^12 - 176*x^10 + 5209*x^8 - 49662*x^6 + 172260*x^4 - 164160*x^2 + 46656,
      15079066416542078544833150976 ],
  [ x^12 + 2*x^11 - 197*x^10 - 1240*x^9 + 7128*x^8 + 87748*x^7 + 209554*x^6 - \
463064*x^5 - 2631083*x^4 - 2049606*x^3 + 5396883*x^2 + 8876592*x + 2728818,
      15079066416542078544833150976 ],
  [ x^12 - 2*x^11 - 266*x^10 - 968*x^9 + 15903*x^8 + 116414*x^7 + 65338*x^6 - \
1368358*x^5 - 3579014*x^4 + 455910*x^3 + 12227712*x^2 + 15849540*x + 6337611,
      18131701942991944477520953344 ],
  [ x^12 - 220*x^10 + 17058*x^8 - 593974*x^6 + 9784993*x^4 - 72293214*x^2 + 19\
0357209, 18131701942991944477520953344 ],
  [ x^12 - 274*x^10 + 17839*x^8 - 286332*x^6 + 425007*x^4 - 168210*x^2 + 3969,
      18131701942991944477520953344 ],
  [ x^12 - 308*x^10 - 1488*x^9 + 5838*x^8 + 27076*x^7 - 45658*x^6 - 152180*x^5\
 + 130536*x^4 + 334664*x^3 - 82810*x^2 - 226772*x - 59423,
      29755317505845203459754950656 ],
  [ x^12 - 8*x^11 - 408*x^10 + 3260*x^9 + 7064*x^8 - 110988*x^7 + 242180*x^6 +\
 211400*x^5 - 1225932*x^4 + 896560*x^3 + 870328*x^2 - 1245888*x + 344952,
      64902621864668901039745007616 ],
  [ x^12 - 188*x^10 + 12066*x^8 - 331142*x^6 + 3805729*x^4 - 15471918*x^2 + 40\
52169, 64902621864668901039745007616 ],
  [ x^12 + 8*x^11 - 646*x^10 + 6194*x^9 + 9311*x^8 - 460078*x^7 + 2806096*x^6 \
- 6640080*x^5 + 2516142*x^4 + 11455578*x^3 - 8113770*x^2 - 3142800*x + 1609875
        , 64902621864668901039745007616 ],
  [ x^12 - 130*x^10 + 3930*x^8 - 40690*x^6 + 155065*x^4 - 156624*x^2 + 46656,
      169442773040256942018662498304 ],
  [ x^12 - 116*x^10 + 4650*x^8 - 82328*x^6 + 665665*x^4 - 2196324*x^2 + 219632\
4, 169442773040256942018662498304 ],
  [ x^12 - 212*x^10 + 9439*x^8 - 140568*x^6 + 813735*x^4 - 1806948*x^2 + 11088\
09, 169442773040256942018662498304 ],
  [ x^12 + 4*x^11 - 772*x^10 + 1562*x^9 + 141429*x^8 - 157936*x^7 - 11551684*x\
^6 - 10347466*x^5 + 420223318*x^4 + 1208557902*x^3 - 4396592246*x^2 - 23244059\
526*x - 26791147459, 12760511426512981877552968892416 ],
  [ x^12 + 6*x^11 - 486*x^10 - 2244*x^9 + 85518*x^8 + 257400*x^7 - 6765360*x^6\
 - 7955442*x^5 + 255122397*x^4 - 131404202*x^3 - 3803113056*x^2 + 6585409710*x\
 + 4787017311, 272952227803432581970137178177536 ],
  [ x^12 - 3*x^11 - 1665*x^10 - 11630*x^9 + 942192*x^8 + 15594885*x^7 - 102703\
176*x^6 - 4541147919*x^5 - 43042680279*x^4 - 161084222917*x^3 - 146826125286*x\
^2 + 220252269312*x + 259440612749, 240398700200172949545229891048673841 ],
  [ x^12 - 7*x^11 - 3630*x^10 - 30502*x^9 + 4553060*x^8 + 104937862*x^7 - 1130\
710399*x^6 - 69589936002*x^5 - 1014842744230*x^4 - 6628402433629*x^3 - 1899959\
6405247*x^2 - 20773039840307*x - 5369641700429,
      39887140289319315341645082100407449041 ],
  [ x^12 - 5*x^11 - 4792*x^10 + 99142*x^9 + 6148706*x^8 - 213780746*x^7 - 2556\
96515*x^6 + 72861064082*x^5 - 462067135284*x^4 - 7015496812591*x^3 + 608546447\
32537*x^2 + 67335177474771*x - 997068084201713,
      136502750209158276776986865602984657249 ],
  [ x^12 - x^11 - 5518*x^10 + 98407*x^9 + 9656479*x^8 - 350992915*x^7 - 157033\
2449*x^6 + 291296155206*x^5 - 6804017451882*x^4 + 79220845044467*x^3 - 5161219\
58975910*x^2 + 1799589575542388*x - 2623500151556872,
      1412598086739936621248605473396967606129 ],
  [ x^12 + 3*x^11 - 5638*x^10 + 100345*x^9 + 10263771*x^8 - 407950641*x^7 - 92\
8455059*x^6 + 357124201572*x^5 - 9434988570762*x^4 + 121568478006597*x^3 - 859\
828847936464*x^2 + 3168547508616980*x - 4695904322062744,
      4651389988584654792339815833341438442969 ],
  [ x^12 + 6*x^10 - 11*x^8 + 42*x^6 - 30*x^4 + 40*x^2 + 1, 1511207993344 ],
  [ x^12 - 4*x^9 + 12*x^7 + 20*x^6 + 24*x^5 - 12*x^4 - 32*x^3 - 24*x^2 + 24,
      11284439629824 ],
  [ x^12 - 4*x^11 + 13*x^10 - 22*x^9 + 31*x^8 - 10*x^7 + 7*x^6 - 10*x^5 + 31*x\
^4 - 22*x^3 + 13*x^2 - 4*x + 1, 12745792515625 ],
  [ x^12 - 3*x^11 + 5*x^10 - 13*x^9 + 36*x^8 - 72*x^7 + 115*x^6 - 150*x^5 + 14\
4*x^4 - 92*x^3 + 38*x^2 - 9*x + 1, 27825593350009 ],
  [ x^12 + 4*x^11 + 16*x^10 + 28*x^9 + 31*x^8 - 30*x^7 - 82*x^6 + 58*x^5 + 102\
*x^4 - 104*x^3 - 108*x^2 + 50*x + 47, 213838914125824 ],
  [ x^12 + 3*x^11 + 6*x^10 - 17*x^9 + 45*x^8 - 15*x^7 + 98*x^6 + 222*x^5 + 222\
*x^4 + 179*x^3 + 99*x^2 + 36*x + 9, 1039043198361249 ],
  [ x^12 - 6*x^10 - 11*x^9 + 21*x^8 + 39*x^7 + 14*x^6 - 27*x^5 + 72*x^4 + 20*x\
^3 - 129*x^2 - 297*x + 327, 2025170913606201 ],
  [ x^12 - 7*x^11 + 34*x^10 - 99*x^9 + 159*x^8 - 81*x^7 - 36*x^6 + 10*x^5 + 52\
*x^4 + 85*x^3 + 63*x^2 + 28*x + 7, 3429038075724121 ],
  [ x^12 - 6*x^11 + 26*x^10 - 60*x^9 + 106*x^8 - 80*x^7 + 32*x^6 + 52*x^5 + 5*\
x^4 + 54*x^3 + 70*x^2 + 40*x + 16, 3493441689358336 ],
  [ x^12 + 20*x^10 + 146*x^8 + 506*x^6 + 817*x^4 + 722*x^2 + 361,
      4452139149819904 ],
  [ x^12 - x^11 + 2*x^10 + 15*x^9 + 29*x^8 + 81*x^7 + 217*x^6 + 250*x^5 + 1402\
*x^4 - 207*x^3 + 1216*x^2 + 236*x + 2008, 27383405678621041 ],
  [ x^12 + 7*x^10 - 10*x^9 - 21*x^8 - 14*x^7 - 81*x^6 + 14*x^5 + 203*x^4 + 244\
*x^3 + 441*x^2 + 504*x + 189, 36441400026238249 ],
  [ x^12 + 6*x^10 + 19*x^9 + 99*x^8 - 45*x^7 + 36*x^6 - 117*x^5 - 90*x^3 + 81*\
x^2 + 81*x + 81, 110446108890554889 ],
  [ x^12 + 6*x^10 + 34*x^8 + 96*x^6 + 177*x^4 + 178*x^2 + 4,
      223580268118933504 ],
  [ x^12 + x^11 - 10*x^10 + 17*x^9 + 91*x^8 + 43*x^7 + 427*x^6 + 1002*x^5 + 15\
90*x^4 + 4477*x^3 + 4854*x^2 + 364*x + 1352, 738472644848064721 ],
  [ x^12 + 7*x^11 + 49*x^10 + 130*x^9 + 462*x^8 + 539*x^7 + 2446*x^6 + 1659*x^\
5 + 5733*x^4 + 1693*x^3 + 4830*x^2 + 1323, 1884746191337984569 ],
  [ x^12 - 4*x^11 + 16*x^10 - 40*x^9 + 119*x^8 - 18*x^7 - 250*x^6 + 282*x^5 + \
754*x^4 + 1120*x^3 + 1300*x^2 + 750*x + 775, 3341233033216000000 ],
  [ x^12 - 6*x^11 + 38*x^10 - 110*x^9 + 261*x^8 - 600*x^7 + 1372*x^6 - 1542*x^\
5 + 1446*x^4 - 1060*x^3 + 1850*x^2 + 1500*x + 625, 3341233033216000000 ],
  [ x^12 - 10*x^11 + 38*x^10 - 22*x^9 - 231*x^8 + 756*x^7 - 392*x^6 - 1666*x^5\
 + 6174*x^4 - 2352*x^3 - 2058*x^2 + 2401, 7294312343144759296 ],
  [ x^12 - 46*x^9 + 434*x^8 - 1162*x^7 + 1942*x^6 - 1246*x^5 + 1561*x^4 - 356*\
x^3 + 2450*x^2 + 1050*x + 875, 7294312343144759296 ],
  [ x^12 + 26*x^10 - 283*x^8 + 1172*x^6 - 1196*x^4 + 1472*x^2 + 64,
      14309137159611744256 ],
  [ x^12 + 6*x^10 - 38*x^8 + 366*x^6 - 183*x^4 - 152*x^2 + 13456,
      14309137159611744256 ],
  [ x^12 - 13*x^10 - 28*x^9 + 26*x^8 + 260*x^7 - 16*x^6 + 65*x^5 + 4602*x^4 + \
4555*x^3 + 2340*x + 2808, 18080150284263544009 ],
  [ x^12 + 6*x^10 + 255*x^8 + 980*x^6 + 1503*x^4 + 1062*x^2 + 225,
      65052548862449025024 ],
  [ x^12 - 2*x^11 + 62*x^10 + 44*x^9 + 1486*x^8 - 172*x^7 + 2548*x^6 + 4216*x^\
5 + 416*x^4 - 3544*x^3 + 1488*x^2 + 1152*x + 216, 898901757322623975424 ],
  [ x^12 + 94*x^9 + 938*x^8 + 2562*x^7 + 2446*x^6 - 4634*x^5 - 4319*x^4 + 6868\
*x^3 + 7938*x^2 - 12474*x + 5103, 898901757322623975424 ],
  [ x^12 + 2*x^11 + 10*x^10 - 202*x^9 + 697*x^8 - 760*x^7 + 14108*x^6 - 79504*\
x^5 + 202371*x^4 - 290802*x^3 + 249282*x^2 - 121342*x + 26531,
      7178395498216434171904 ],
  [ x^12 + 56*x^10 - 214*x^9 + 2114*x^8 - 5026*x^7 + 19050*x^6 - 14238*x^5 + 4\
6809*x^4 + 148*x^3 + 49686*x^2 + 7098*x + 15379, 7178395498216434171904 ],
  [ x^12 + 7*x^11 + 73*x^10 + 104*x^9 - 641*x^8 - 3530*x^7 + 15119*x^6 + 14020\
*x^5 - 91436*x^4 - 187501*x^3 + 1239084*x^2 - 1979964*x + 1102248,
      16551311845247868759889 ],
  [ x^12 - 3*x^11 - 16*x^10 - 132*x^9 + 1359*x^8 - 1969*x^7 + 1249*x^6 - 59167\
*x^5 + 254489*x^4 - 196841*x^3 - 610810*x^2 + 611840*x + 781544,
      16551311845247868759889 ],
  [ x^12 - x^11 + 14*x^10 - 315*x^9 + 2232*x^8 - 9264*x^7 + 27000*x^6 - 58368*\
x^5 + 90912*x^4 - 96320*x^3 + 65536*x^2 - 23552*x + 4096,
      28682583572928007955401 ],
  [ x^12 + 6*x^10 + 655*x^8 + 2580*x^6 + 3903*x^4 + 2662*x^2 + 625,
      130629347395009543143424 ],
  [ x^12 + 34*x^10 + 205*x^8 + 72650*x^6 + 1170*x^4 + 1296*x^2 + 729,
      130629347395009543143424 ],
  [ x^12 - 32*x^10 + 450*x^8 - 1926*x^6 - 12551*x^4 + 159414*x^2 + 26569,
      130629347395009543143424 ],
  [ x^12 - 6*x^11 + 46*x^10 - 166*x^9 + 541*x^8 - 1736*x^7 + 6636*x^6 - 9734*x\
^5 + 7038*x^4 + 812*x^3 + 386*x^2 + 28*x + 1, 130629347395009543143424 ],
  [ x^12 - 3*x^11 + 26*x^10 - 378*x^9 + 2406*x^8 - 9778*x^7 + 51649*x^6 - 2611\
66*x^5 + 797360*x^4 - 989897*x^3 - 318997*x^2 + 728777*x + 4122377,
      318049929989270767753969 ],
  [ x^12 - 3*x^11 + 30*x^10 + 183*x^9 + 84*x^8 - 15780*x^7 + 131601*x^6 - 5620\
08*x^5 + 1993548*x^4 - 5665328*x^3 + 12541248*x^2 - 17157888*x + 21907008,
      446520455308481656670649 ],
  [ x^12 - 116*x^10 + 5790*x^8 - 94146*x^6 - 1555967*x^4 + 76076418*x^2 + 1699\
9129, 3951289883789375287066624 ],
  [ x^12 + 10*x^11 + 58*x^10 + 116*x^9 + 102*x^8 - 1416*x^7 - 5732*x^6 - 29486\
*x^5 + 10553*x^4 + 308146*x^3 + 745160*x^2 + 731298*x + 388847,
      3951289883789375287066624 ],
  [ x^12 - 10*x^11 + 74*x^10 - 750*x^9 + 4318*x^8 - 10826*x^7 + 54592*x^6 + 99\
12*x^5 - 510619*x^4 - 69370*x^3 + 3076252*x^2 - 4230464*x + 1697213,
      3951289883789375287066624 ],
  [ x^12 - 7*x^11 + 174*x^10 - 459*x^9 + 9223*x^8 + 8797*x^7 + 238959*x^6 + 78\
1182*x^5 + 5106360*x^4 + 9661467*x^3 + 37050288*x^2 + 35274356*x + 100792952,
      21676194585496522407404929 ],
  [ x^12 + 4*x^11 + 52*x^10 + 57*x^9 + 2215*x^8 - 18947*x^7 + 28202*x^6 + 2727\
63*x^5 + 2860578*x^4 - 11992212*x^3 + 263655*x^2 + 72318015*x + 185458329,
      21676194585496522407404929 ],
  [ x^12 + 5*x^11 + 24*x^10 + 713*x^9 + 6871*x^8 + 29439*x^7 + 169165*x^6 + 15\
61068*x^5 + 8471744*x^4 + 20892131*x^3 + 15297840*x^2 - 5141412*x + 43881048,
      22958245771485095588163241 ],
  [ x^12 + 3*x^11 + 96*x^10 - 455*x^9 + 9693*x^8 - 49125*x^7 + 271451*x^6 - 80\
2512*x^5 + 3439710*x^4 - 14904175*x^3 + 53637150*x^2 + 7498728*x + 2689224,
      29132490992171518395688689 ],
  [ x^12 + x^11 + 120*x^10 + 1065*x^9 + 5763*x^8 + 60543*x^7 + 514080*x^6 + 25\
43210*x^5 + 11325086*x^4 + 60311181*x^3 + 227326125*x^2 + 428786800*x + 314614\
625, 96795446224703295244108921 ],
  [ x^12 - 3*x^11 + 153*x^10 - 858*x^9 + 11196*x^8 - 72945*x^7 + 539904*x^6 - \
2775609*x^5 + 14766399*x^4 - 51054749*x^3 + 155449122*x^2 - 271089612*x + 4742\
84001, 204917916724262518711426209 ],
  [ x^12 + 4*x^11 + 186*x^10 + 802*x^9 + 9463*x^8 + 3782*x^7 + 379938*x^6 + 25\
47076*x^5 + 7287280*x^4 + 33391442*x^3 + 413289618*x^2 + 1595234004*x + 222707\
8763, 978398736472183154966293729 ],
  [ x^12 + 63*x^10 - 1228*x^9 + 24927*x^8 - 162344*x^7 + 823329*x^6 - 1420272*\
x^5 + 5744725*x^4 - 143718*x^3 + 47581793*x^2 + 42383782*x + 95563433,
      978398736472183154966293729 ],
  [ x^12 - 7*x^11 + 217*x^10 - 2601*x^9 + 26880*x^8 - 238322*x^7 + 1897759*x^6\
 - 11232186*x^5 + 42541660*x^4 - 97969262*x^3 + 132520430*x^2 - 96732559*x + 2\
9742209, 978398736472183154966293729 ],
  [ x^12 + 4*x^11 - 72*x^10 - 1616*x^9 + 29597*x^8 - 48638*x^7 - 1352138*x^6 +\
 5931454*x^5 + 20492070*x^4 - 182381760*x^3 - 209541770*x^2 + 2451717994*x + 4\
777490887, 22809610329905132353775111089 ],
  [ x^12 - 3*x^11 + 180*x^10 - 4032*x^9 + 36937*x^8 - 408295*x^7 + 4833923*x^6\
 - 38193347*x^5 + 151792057*x^4 + 79326493*x^3 - 2406143194*x^2 + 2208759280*x\
 + 11917321304, 678804614570300787230862406801 ],
  [ x^12 + x^11 + 68*x^10 - 2591*x^9 + 9765*x^8 - 128457*x^7 + 2844205*x^6 - 1\
8049346*x^5 + 100484202*x^4 - 1212566691*x^3 + 8566054560*x^2 - 26842296432*x \
+ 31193638336, 712041038154380607781330076449 ],
  [ x^12 - x^11 - 120*x^10 + 3989*x^9 + 56618*x^8 - 29784*x^7 + 715144*x^6 + 8\
0907728*x^5 + 742131168*x^4 + 1012281152*x^3 - 11735003904*x^2 - 22845648384*x\
 + 85657277952, 1703117405045313043089910325761 ],
  [ x^12 - 7*x^11 + 1650*x^10 + 10293*x^9 + 1195735*x^8 + 15893797*x^7 + 64151\
0191*x^6 + 8677081838*x^5 + 210795510800*x^4 + 2586418952471*x^3 + 39914637369\
048*x^2 + 283958538079548*x + 2036083190423416,
      126032839667147955354713471815079521 ],
  [ x^12 + x^11 + 830*x^10 + 20535*x^9 + 450827*x^8 + 11393589*x^7 + 274920303\
*x^6 + 4400250076*x^5 + 69288197564*x^4 + 1082602518241*x^3 + 13197362006856*x\
^2 + 94139503927380*x + 326039084240904, 126605943192448517472841800864287281
     ],
  [ x^12 + 4*x^11 + 992*x^10 - 18004*x^9 + 583441*x^8 - 2488730*x^7 - 39893466\
*x^6 + 1029991862*x^5 - 483435214*x^4 - 84049079876*x^3 + 1587138530978*x^2 + \
23496211323634*x + 82074887129291, 163850530156926897372153538967839849 ],
  [ x^12 + 7*x^11 - 396*x^10 - 24181*x^9 + 242313*x^8 + 7358583*x^7 + 10139098\
9*x^6 - 4531916402*x^5 + 1485555820*x^4 + 214530348133*x^3 + 12561239808478*x^\
2 - 210253418292616*x + 908159855061992, 221440984330324015548379516799720209
     ],
  [ x^12 + 7*x^11 + 2058*x^10 - 19043*x^9 + 1465646*x^8 - 24856916*x^7 + 67105\
2672*x^6 - 7869364832*x^5 + 94455910752*x^4 - 364605482816*x^3 + 2297706375552\
*x^2 + 163792474900992, 231507836637089246793080887721533681 ] ];


A4WildExt := 
[
    [
        x^12 + 10*x^11 + 17*x^10 - 90*x^9 - 237*x^8 + 272*x^7 + 806*x^6 - 456*x^5 - 832*x^4            + 560*x^3 + 56*x^2 - 96*x + 16,
        223580268118933504
    ],
    [
        x^12 - 6*x^11 - 30*x^10 + 182*x^9 + 173*x^8 - 1432*x^7 + 628*x^6 + 1472*x^5 -
            173*x^4 - 650*x^3 - 238*x^2 - 30*x - 1,
        3341233033216000000
    ],
    [
        x^12 + 6*x^11 - 51*x^10 - 180*x^9 + 627*x^8 + 240*x^7 - 1127*x^6 - 240*x^5 +
            627*x^4 + 180*x^3 - 51*x^2 - 6*x + 1,
        5514297181968073041
    ],
    [
        x^12 + 8*x^11 - 12*x^10 - 194*x^9 - 210*x^8 + 826*x^7 + 1378*x^6 - 366*x^5 -
            1927*x^4 - 1424*x^3 - 430*x^2 - 50*x - 1,
        7294312343144759296
    ],
    [
        x^12 - 34*x^10 + 362*x^8 - 1274*x^6 + 1537*x^4 - 392*x^2 + 16,
        196095460708571938816
    ],
    [
        x^12 + 10*x^11 - 16*x^10 - 252*x^9 + 250*x^8 + 1350*x^7 - 662*x^6 - 2314*x^5 +
            137*x^4 + 1364*x^3 + 252*x^2 - 196*x - 49,
        898901757322623975424
    ],
    [
        x^12 + 3*x^11 - 72*x^10 - 74*x^9 + 1857*x^8 - 1797*x^7 - 15718*x^6 + 42099*x^5 -
            24873*x^4 - 20086*x^3 + 16458*x^2 + 3951*x - 213,
        2516155240490877816009
    ],
    [
        x^12 - 3*x^11 - 63*x^10 - 18*x^9 + 972*x^8 + 1899*x^7 - 1284*x^6 - 4725*x^5 -
            1053*x^4 + 1871*x^3 + 462*x^2 - 3,
        2673366699285059581521
    ],
    [
        x^12 + 2*x^11 - 116*x^10 - 398*x^9 + 3315*x^8 + 16950*x^7 + 7696*x^6 - 54388*x^5 -
            95878*x^4 - 64268*x^3 - 19770*x^2 - 2650*x - 125,
        7178395498216434171904
    ],
    [
        x^12 - 3*x^11 - 123*x^10 - 109*x^9 + 2958*x^8 + 2952*x^7 - 26299*x^6 - 5466*x^5 +
            93678*x^4 - 72836*x^3 - 16506*x^2 + 25803*x - 3897,
        48882702663962715465369
    ],
    [
        x^12 - 6*x^11 - 78*x^10 + 364*x^9 + 1566*x^8 - 5796*x^7 - 9968*x^6 + 20706*x^5 +
            34197*x^4 + 18*x^3 - 14112*x^2 - 3726*x + 243,
        154116923586192355885056
    ],
    [
        x^12 + 4*x^11 - 80*x^10 - 260*x^9 + 2152*x^8 + 5092*x^7 - 22142*x^6 - 30644*x^5 +
            81292*x^4 + 41596*x^3 - 34640*x^2 - 6764*x - 263,
        517154746153823109320704
    ],
    [
        x^12 + 6*x^11 - 90*x^10 - 720*x^9 + 1146*x^8 + 20860*x^7 + 34080*x^6 - 133642*x^5 -            473471*x^4 - 364274*x^3 + 199808*x^2 + 282354*x + 62631,
        1663253207272001536000000
    ],
    [
        x^12 - 78*x^10 + 897*x^8 - 3341*x^6 + 3588*x^4 - 1248*x^2 + 64,
        2913196926982786526139201
    ],
    [
        x^12 + 4*x^11 - 156*x^10 - 224*x^9 + 6571*x^8 + 9514*x^7 - 109330*x^6 - 215274*x^5
            + 609914*x^4 + 1724388*x^3 + 581644*x^2 - 679042*x - 8281,
        3146262130299270806634496
    ],
    [
        x^12 - 2*x^11 - 138*x^10 - 150*x^9 + 6517*x^8 + 24692*x^7 - 70812*x^6 - 619026*x^5
            - 1365066*x^4 - 808056*x^3 + 1108554*x^2 + 1680616*x + 575177,
        6340836687733604191830016
    ],
    [
        x^12 - 6*x^11 - 115*x^10 + 944*x^9 + 2687*x^8 - 43310*x^7 + 77715*x^6 + 486028*x^5
            - 2369852*x^4 + 3416792*x^3 - 13988*x^2 - 3704496*x + 2014832,
        20684590420496678387974144
    ],
    [
        x^12 - 6*x^11 - 198*x^10 + 660*x^9 + 14562*x^8 - 9648*x^7 - 425868*x^6 - 604638*x^5            + 2815173*x^4 + 5769314*x^3 - 713532*x^2 - 2422926*x - 523473,
        47348074600221687092084736
    ],
    [
        x^12 + 6*x^11 - 244*x^10 + 1074*x^9 + 2363*x^8 - 21394*x^7 + 16840*x^6 + 100568*x^5            - 168294*x^4 - 74812*x^3 + 216938*x^2 + 1550*x - 57829,
        89029659622316736680034304
    ],
    [
        x^12 - 108*x^10 + 4409*x^8 - 84168*x^6 + 763144*x^4 - 3165408*x^2 + 4822416,
        232431787435194707844530176
    ],
    [
        x^12 - 210*x^10 - 569*x^9 + 7335*x^8 + 13473*x^7 - 115488*x^6 - 58509*x^5 +
            833670*x^4 - 524896*x^3 - 1806021*x^2 + 2521317*x - 787807,
        306477673313581691167618089
    ],
    [
        x^12 - 156*x^10 + 6113*x^8 - 76160*x^6 + 315528*x^4 - 207680*x^2 + 1936,
        347395070468338412500811776
    ],
    [
        x^12 - 2*x^11 - 354*x^10 - 1470*x^9 + 31142*x^8 + 302734*x^7 + 792704*x^6 -
            484864*x^5 - 3839975*x^4 - 1097230*x^3 + 2953552*x^2 - 840840*x + 42133,
        4338827092360657308192342016
    ],
    [
        x^12 - 2*x^11 - 258*x^10 - 700*x^9 + 22218*x^8 + 160104*x^7 - 223412*x^6 -
            6816482*x^5 - 33566867*x^4 - 80039450*x^3 - 98196812*x^2 - 52659418*x -
            4942441,
        4338827092360657308192342016
    ],
    [
        x^12 + 4*x^11 - 226*x^10 + 140*x^9 + 12234*x^8 - 31536*x^7 - 163068*x^6 +
            580968*x^5 + 278886*x^4 - 2011192*x^3 + 530750*x^2 + 976948*x - 170993,
        15079066416542078544833150976
    ],
    [
        x^12 - 176*x^10 + 5209*x^8 - 49662*x^6 + 172260*x^4 - 164160*x^2 + 46656,
        15079066416542078544833150976
    ],
    [
        x^12 + 2*x^11 - 197*x^10 - 1240*x^9 + 7128*x^8 + 87748*x^7 + 209554*x^6 -
            463064*x^5 - 2631083*x^4 - 2049606*x^3 + 5396883*x^2 + 8876592*x + 2728818,
        15079066416542078544833150976
    ],
    [
        x^12 - 2*x^11 - 266*x^10 - 968*x^9 + 15903*x^8 + 116414*x^7 + 65338*x^6 -
            1368358*x^5 - 3579014*x^4 + 455910*x^3 + 12227712*x^2 + 15849540*x + 6337611,
        18131701942991944477520953344
    ],
    [
        x^12 - 220*x^10 + 17058*x^8 - 593974*x^6 + 9784993*x^4 - 72293214*x^2 + 190357209,
        18131701942991944477520953344
    ],
    [
        x^12 - 274*x^10 + 17839*x^8 - 286332*x^6 + 425007*x^4 - 168210*x^2 + 3969,
        18131701942991944477520953344
    ],
    [
        x^12 - 308*x^10 - 1488*x^9 + 5838*x^8 + 27076*x^7 - 45658*x^6 - 152180*x^5 +
            130536*x^4 + 334664*x^3 - 82810*x^2 - 226772*x - 59423,
        29755317505845203459754950656
    ],
    [
        x^12 - 8*x^11 - 408*x^10 + 3260*x^9 + 7064*x^8 - 110988*x^7 + 242180*x^6 +
            211400*x^5 - 1225932*x^4 + 896560*x^3 + 870328*x^2 - 1245888*x + 344952,
        64902621864668901039745007616
    ],
    [
        x^12 - 188*x^10 + 12066*x^8 - 331142*x^6 + 3805729*x^4 - 15471918*x^2 + 4052169,
        64902621864668901039745007616
    ],
    [
        x^12 + 8*x^11 - 646*x^10 + 6194*x^9 + 9311*x^8 - 460078*x^7 + 2806096*x^6 -
            6640080*x^5 + 2516142*x^4 + 11455578*x^3 - 8113770*x^2 - 3142800*x + 1609875,
        64902621864668901039745007616
    ],
    [
        x^12 - 130*x^10 + 3930*x^8 - 40690*x^6 + 155065*x^4 - 156624*x^2 + 46656,
        169442773040256942018662498304
    ],
    [
        x^12 - 116*x^10 + 4650*x^8 - 82328*x^6 + 665665*x^4 - 2196324*x^2 + 2196324,
        169442773040256942018662498304
    ],
    [
        x^12 - 212*x^10 + 9439*x^8 - 140568*x^6 + 813735*x^4 - 1806948*x^2 + 1108809,
        169442773040256942018662498304
    ],
    [
        x^12 + 4*x^11 - 772*x^10 + 1562*x^9 + 141429*x^8 - 157936*x^7 - 11551684*x^6 -
            10347466*x^5 + 420223318*x^4 + 1208557902*x^3 - 4396592246*x^2 - 23244059526*x
            - 26791147459,
        12760511426512981877552968892416
    ],
    [
        x^12 + 6*x^11 - 486*x^10 - 2244*x^9 + 85518*x^8 + 257400*x^7 - 6765360*x^6 -
            7955442*x^5 + 255122397*x^4 - 131404202*x^3 - 3803113056*x^2 + 6585409710*x +
            4787017311,
        272952227803432581970137178177536
    ],
    [
        x^12 - 3*x^11 - 1665*x^10 - 11630*x^9 + 942192*x^8 + 15594885*x^7 - 102703176*x^6 -            4541147919*x^5 - 43042680279*x^4 - 161084222917*x^3 - 146826125286*x^2 +
            220252269312*x + 259440612749,
        240398700200172949545229891048673841
    ],
    [
        x^12 + 6*x^10 - 11*x^8 + 42*x^6 - 30*x^4 + 40*x^2 + 1,
        1511207993344
    ],
    [
        x^12 - 4*x^9 + 12*x^7 + 20*x^6 + 24*x^5 - 12*x^4 - 32*x^3 - 24*x^2 + 24,
        11284439629824
    ],
    [
        x^12 + 4*x^11 + 16*x^10 + 28*x^9 + 31*x^8 - 30*x^7 - 82*x^6 + 58*x^5 + 102*x^4 -
            104*x^3 - 108*x^2 + 50*x + 47,
        213838914125824
    ],
    [
        x^12 + 3*x^11 + 6*x^10 - 17*x^9 + 45*x^8 - 15*x^7 + 98*x^6 + 222*x^5 + 222*x^4 +
            179*x^3 + 99*x^2 + 36*x + 9,
        1039043198361249
    ],
    [
        x^12 - 6*x^10 - 11*x^9 + 21*x^8 + 39*x^7 + 14*x^6 - 27*x^5 + 72*x^4 + 20*x^3 -
            129*x^2 - 297*x + 327,
        2025170913606201
    ],
    [
        x^12 - 6*x^11 + 26*x^10 - 60*x^9 + 106*x^8 - 80*x^7 + 32*x^6 + 52*x^5 + 5*x^4 +
            54*x^3 + 70*x^2 + 40*x + 16,
        3493441689358336
    ],
    [
        x^12 + 20*x^10 + 146*x^8 + 506*x^6 + 817*x^4 + 722*x^2 + 361,
        4452139149819904
    ],
    [
        x^12 + 6*x^10 + 19*x^9 + 99*x^8 - 45*x^7 + 36*x^6 - 117*x^5 - 90*x^3 + 81*x^2 +
            81*x + 81,
        110446108890554889
    ],
    [
        x^12 + 6*x^10 + 34*x^8 + 96*x^6 + 177*x^4 + 178*x^2 + 4,
        223580268118933504
    ],
    [
        x^12 - 4*x^11 + 16*x^10 - 40*x^9 + 119*x^8 - 18*x^7 - 250*x^6 + 282*x^5 + 754*x^4 +            1120*x^3 + 1300*x^2 + 750*x + 775,
        3341233033216000000
    ],
    [
        x^12 - 6*x^11 + 38*x^10 - 110*x^9 + 261*x^8 - 600*x^7 + 1372*x^6 - 1542*x^5 +
            1446*x^4 - 1060*x^3 + 1850*x^2 + 1500*x + 625,
        3341233033216000000
    ],
    [
        x^12 - 10*x^11 + 38*x^10 - 22*x^9 - 231*x^8 + 756*x^7 - 392*x^6 - 1666*x^5 +
            6174*x^4 - 2352*x^3 - 2058*x^2 + 2401,
        7294312343144759296
    ],
    [
        x^12 - 46*x^9 + 434*x^8 - 1162*x^7 + 1942*x^6 - 1246*x^5 + 1561*x^4 - 356*x^3 +
            2450*x^2 + 1050*x + 875,
        7294312343144759296
    ],
    [
        x^12 + 26*x^10 - 283*x^8 + 1172*x^6 - 1196*x^4 + 1472*x^2 + 64,
        14309137159611744256
    ],
    [
        x^12 + 6*x^10 - 38*x^8 + 366*x^6 - 183*x^4 - 152*x^2 + 13456,
        14309137159611744256
    ],
    [
        x^12 + 6*x^10 + 255*x^8 + 980*x^6 + 1503*x^4 + 1062*x^2 + 225,
        65052548862449025024
    ],
    [
        x^12 - 2*x^11 + 62*x^10 + 44*x^9 + 1486*x^8 - 172*x^7 + 2548*x^6 + 4216*x^5 +
            416*x^4 - 3544*x^3 + 1488*x^2 + 1152*x + 216,
        898901757322623975424
    ],
    [
        x^12 + 94*x^9 + 938*x^8 + 2562*x^7 + 2446*x^6 - 4634*x^5 - 4319*x^4 + 6868*x^3 +
            7938*x^2 - 12474*x + 5103,
        898901757322623975424
    ],
    [
        x^12 + 2*x^11 + 10*x^10 - 202*x^9 + 697*x^8 - 760*x^7 + 14108*x^6 - 79504*x^5 +
            202371*x^4 - 290802*x^3 + 249282*x^2 - 121342*x + 26531,
        7178395498216434171904
    ],
    [
        x^12 + 56*x^10 - 214*x^9 + 2114*x^8 - 5026*x^7 + 19050*x^6 - 14238*x^5 + 46809*x^4
            + 148*x^3 + 49686*x^2 + 7098*x + 15379,
        7178395498216434171904
    ],
    [
        x^12 + 6*x^10 + 655*x^8 + 2580*x^6 + 3903*x^4 + 2662*x^2 + 625,
        130629347395009543143424
    ],
    [
        x^12 + 34*x^10 + 205*x^8 + 72650*x^6 + 1170*x^4 + 1296*x^2 + 729,
        130629347395009543143424
    ],
    [
        x^12 - 32*x^10 + 450*x^8 - 1926*x^6 - 12551*x^4 + 159414*x^2 + 26569,
        130629347395009543143424
    ],
    [
        x^12 - 6*x^11 + 46*x^10 - 166*x^9 + 541*x^8 - 1736*x^7 + 6636*x^6 - 9734*x^5 +
            7038*x^4 + 812*x^3 + 386*x^2 + 28*x + 1,
        130629347395009543143424
    ],
    [
        x^12 - 3*x^11 + 30*x^10 + 183*x^9 + 84*x^8 - 15780*x^7 + 131601*x^6 - 562008*x^5 +
            1993548*x^4 - 5665328*x^3 + 12541248*x^2 - 17157888*x + 21907008,
        446520455308481656670649
    ],
    [
        x^12 - 116*x^10 + 5790*x^8 - 94146*x^6 - 1555967*x^4 + 76076418*x^2 + 16999129,
        3951289883789375287066624
    ],
    [
        x^12 + 10*x^11 + 58*x^10 + 116*x^9 + 102*x^8 - 1416*x^7 - 5732*x^6 - 29486*x^5 +
            10553*x^4 + 308146*x^3 + 745160*x^2 + 731298*x + 388847,
        3951289883789375287066624
    ],
    [
        x^12 - 10*x^11 + 74*x^10 - 750*x^9 + 4318*x^8 - 10826*x^7 + 54592*x^6 + 9912*x^5 -
            510619*x^4 - 69370*x^3 + 3076252*x^2 - 4230464*x + 1697213,
        3951289883789375287066624
    ],
    [
        x^12 + 3*x^11 + 96*x^10 - 455*x^9 + 9693*x^8 - 49125*x^7 + 271451*x^6 - 802512*x^5
            + 3439710*x^4 - 14904175*x^3 + 53637150*x^2 + 7498728*x + 2689224,
        29132490992171518395688689
    ],
    [
        x^12 - 3*x^11 + 153*x^10 - 858*x^9 + 11196*x^8 - 72945*x^7 + 539904*x^6 -
            2775609*x^5 + 14766399*x^4 - 51054749*x^3 + 155449122*x^2 - 271089612*x +
            474284001,
        204917916724262518711426209
    ]
];


A4Wild2Ext :=
[
    [
        x^12 + 10*x^11 + 17*x^10 - 90*x^9 - 237*x^8 + 272*x^7 + 806*x^6 - 456*x^5 - 832*x^4            + 560*x^3 + 56*x^2 - 96*x + 16,
        223580268118933504
    ],
    [
        x^12 - 6*x^11 - 30*x^10 + 182*x^9 + 173*x^8 - 1432*x^7 + 628*x^6 + 1472*x^5 -
            173*x^4 - 650*x^3 - 238*x^2 - 30*x - 1,
        3341233033216000000
    ],
    [
        x^12 + 8*x^11 - 12*x^10 - 194*x^9 - 210*x^8 + 826*x^7 + 1378*x^6 - 366*x^5 -
            1927*x^4 - 1424*x^3 - 430*x^2 - 50*x - 1,
        7294312343144759296
    ],
    [
        x^12 - 34*x^10 + 362*x^8 - 1274*x^6 + 1537*x^4 - 392*x^2 + 16,
        196095460708571938816
    ],
    [
        x^12 + 10*x^11 - 16*x^10 - 252*x^9 + 250*x^8 + 1350*x^7 - 662*x^6 - 2314*x^5 +
            137*x^4 + 1364*x^3 + 252*x^2 - 196*x - 49,
        898901757322623975424
    ],
    [
        x^12 + 2*x^11 - 116*x^10 - 398*x^9 + 3315*x^8 + 16950*x^7 + 7696*x^6 - 54388*x^5 -
            95878*x^4 - 64268*x^3 - 19770*x^2 - 2650*x - 125,
        7178395498216434171904
    ],
    [
        x^12 - 6*x^11 - 78*x^10 + 364*x^9 + 1566*x^8 - 5796*x^7 - 9968*x^6 + 20706*x^5 +
            34197*x^4 + 18*x^3 - 14112*x^2 - 3726*x + 243,
        154116923586192355885056
    ],
    [
        x^12 + 4*x^11 - 80*x^10 - 260*x^9 + 2152*x^8 + 5092*x^7 - 22142*x^6 - 30644*x^5 +
            81292*x^4 + 41596*x^3 - 34640*x^2 - 6764*x - 263,
        517154746153823109320704
    ],
    [
        x^12 + 6*x^11 - 90*x^10 - 720*x^9 + 1146*x^8 + 20860*x^7 + 34080*x^6 - 133642*x^5 -            473471*x^4 - 364274*x^3 + 199808*x^2 + 282354*x + 62631,
        1663253207272001536000000
    ],
    [
        x^12 + 4*x^11 - 156*x^10 - 224*x^9 + 6571*x^8 + 9514*x^7 - 109330*x^6 - 215274*x^5
            + 609914*x^4 + 1724388*x^3 + 581644*x^2 - 679042*x - 8281,
        3146262130299270806634496
    ],
    [
        x^12 - 2*x^11 - 138*x^10 - 150*x^9 + 6517*x^8 + 24692*x^7 - 70812*x^6 - 619026*x^5
            - 1365066*x^4 - 808056*x^3 + 1108554*x^2 + 1680616*x + 575177,
        6340836687733604191830016
    ],
    [
        x^12 - 6*x^11 - 115*x^10 + 944*x^9 + 2687*x^8 - 43310*x^7 + 77715*x^6 + 486028*x^5
            - 2369852*x^4 + 3416792*x^3 - 13988*x^2 - 3704496*x + 2014832,
        20684590420496678387974144
    ],
    [
        x^12 - 6*x^11 - 198*x^10 + 660*x^9 + 14562*x^8 - 9648*x^7 - 425868*x^6 - 604638*x^5            + 2815173*x^4 + 5769314*x^3 - 713532*x^2 - 2422926*x - 523473,
        47348074600221687092084736
    ],
    [
        x^12 + 6*x^11 - 244*x^10 + 1074*x^9 + 2363*x^8 - 21394*x^7 + 16840*x^6 + 100568*x^5            - 168294*x^4 - 74812*x^3 + 216938*x^2 + 1550*x - 57829,
        89029659622316736680034304
    ],
    [
        x^12 - 108*x^10 + 4409*x^8 - 84168*x^6 + 763144*x^4 - 3165408*x^2 + 4822416,
        232431787435194707844530176
    ],
    [
        x^12 - 156*x^10 + 6113*x^8 - 76160*x^6 + 315528*x^4 - 207680*x^2 + 1936,
        347395070468338412500811776
    ],
    [
        x^12 - 2*x^11 - 354*x^10 - 1470*x^9 + 31142*x^8 + 302734*x^7 + 792704*x^6 -
            484864*x^5 - 3839975*x^4 - 1097230*x^3 + 2953552*x^2 - 840840*x + 42133,
        4338827092360657308192342016
    ],
    [
        x^12 - 2*x^11 - 258*x^10 - 700*x^9 + 22218*x^8 + 160104*x^7 - 223412*x^6 -
            6816482*x^5 - 33566867*x^4 - 80039450*x^3 - 98196812*x^2 - 52659418*x -
            4942441,
        4338827092360657308192342016
    ],
    [
        x^12 + 4*x^11 - 226*x^10 + 140*x^9 + 12234*x^8 - 31536*x^7 - 163068*x^6 +
            580968*x^5 + 278886*x^4 - 2011192*x^3 + 530750*x^2 + 976948*x - 170993,
        15079066416542078544833150976
    ],
    [
        x^12 - 176*x^10 + 5209*x^8 - 49662*x^6 + 172260*x^4 - 164160*x^2 + 46656,
        15079066416542078544833150976
    ],
    [
        x^12 + 2*x^11 - 197*x^10 - 1240*x^9 + 7128*x^8 + 87748*x^7 + 209554*x^6 -
            463064*x^5 - 2631083*x^4 - 2049606*x^3 + 5396883*x^2 + 8876592*x + 2728818,
        15079066416542078544833150976
    ],
    [
        x^12 - 2*x^11 - 266*x^10 - 968*x^9 + 15903*x^8 + 116414*x^7 + 65338*x^6 -
            1368358*x^5 - 3579014*x^4 + 455910*x^3 + 12227712*x^2 + 15849540*x + 6337611,
        18131701942991944477520953344
    ],
    [
        x^12 - 220*x^10 + 17058*x^8 - 593974*x^6 + 9784993*x^4 - 72293214*x^2 + 190357209,
        18131701942991944477520953344
    ],
    [
        x^12 - 274*x^10 + 17839*x^8 - 286332*x^6 + 425007*x^4 - 168210*x^2 + 3969,
        18131701942991944477520953344
    ],
    [
        x^12 - 308*x^10 - 1488*x^9 + 5838*x^8 + 27076*x^7 - 45658*x^6 - 152180*x^5 +
            130536*x^4 + 334664*x^3 - 82810*x^2 - 226772*x - 59423,
        29755317505845203459754950656
    ],
    [
        x^12 - 8*x^11 - 408*x^10 + 3260*x^9 + 7064*x^8 - 110988*x^7 + 242180*x^6 +
            211400*x^5 - 1225932*x^4 + 896560*x^3 + 870328*x^2 - 1245888*x + 344952,
        64902621864668901039745007616
    ],
    [
        x^12 - 188*x^10 + 12066*x^8 - 331142*x^6 + 3805729*x^4 - 15471918*x^2 + 4052169,
        64902621864668901039745007616
    ],
    [
        x^12 + 8*x^11 - 646*x^10 + 6194*x^9 + 9311*x^8 - 460078*x^7 + 2806096*x^6 -
            6640080*x^5 + 2516142*x^4 + 11455578*x^3 - 8113770*x^2 - 3142800*x + 1609875,
        64902621864668901039745007616
    ],
    [
        x^12 - 130*x^10 + 3930*x^8 - 40690*x^6 + 155065*x^4 - 156624*x^2 + 46656,
        169442773040256942018662498304
    ],
    [
        x^12 - 116*x^10 + 4650*x^8 - 82328*x^6 + 665665*x^4 - 2196324*x^2 + 2196324,
        169442773040256942018662498304
    ],
    [
        x^12 - 212*x^10 + 9439*x^8 - 140568*x^6 + 813735*x^4 - 1806948*x^2 + 1108809,
        169442773040256942018662498304
    ],
    [
        x^12 + 4*x^11 - 772*x^10 + 1562*x^9 + 141429*x^8 - 157936*x^7 - 11551684*x^6 -
            10347466*x^5 + 420223318*x^4 + 1208557902*x^3 - 4396592246*x^2 - 23244059526*x
            - 26791147459,
        12760511426512981877552968892416
    ],
    [
        x^12 + 6*x^11 - 486*x^10 - 2244*x^9 + 85518*x^8 + 257400*x^7 - 6765360*x^6 -
            7955442*x^5 + 255122397*x^4 - 131404202*x^3 - 3803113056*x^2 + 6585409710*x +
            4787017311,
        272952227803432581970137178177536
    ],
    [
        x^12 + 6*x^10 - 11*x^8 + 42*x^6 - 30*x^4 + 40*x^2 + 1,
        1511207993344
    ],
    [
        x^12 - 4*x^9 + 12*x^7 + 20*x^6 + 24*x^5 - 12*x^4 - 32*x^3 - 24*x^2 + 24,
        11284439629824
    ],
    [
        x^12 + 4*x^11 + 16*x^10 + 28*x^9 + 31*x^8 - 30*x^7 - 82*x^6 + 58*x^5 + 102*x^4 -
            104*x^3 - 108*x^2 + 50*x + 47,
        213838914125824
    ],
    [
        x^12 - 6*x^11 + 26*x^10 - 60*x^9 + 106*x^8 - 80*x^7 + 32*x^6 + 52*x^5 + 5*x^4 +
            54*x^3 + 70*x^2 + 40*x + 16,
        3493441689358336
    ],
    [
        x^12 + 20*x^10 + 146*x^8 + 506*x^6 + 817*x^4 + 722*x^2 + 361,
        4452139149819904
    ],
    [
        x^12 + 6*x^10 + 34*x^8 + 96*x^6 + 177*x^4 + 178*x^2 + 4,
        223580268118933504
    ],
    [
        x^12 - 4*x^11 + 16*x^10 - 40*x^9 + 119*x^8 - 18*x^7 - 250*x^6 + 282*x^5 + 754*x^4 +            1120*x^3 + 1300*x^2 + 750*x + 775,
        3341233033216000000
    ],
    [
        x^12 - 6*x^11 + 38*x^10 - 110*x^9 + 261*x^8 - 600*x^7 + 1372*x^6 - 1542*x^5 +
            1446*x^4 - 1060*x^3 + 1850*x^2 + 1500*x + 625,
        3341233033216000000
    ],
    [
        x^12 - 10*x^11 + 38*x^10 - 22*x^9 - 231*x^8 + 756*x^7 - 392*x^6 - 1666*x^5 +
            6174*x^4 - 2352*x^3 - 2058*x^2 + 2401,
        7294312343144759296
    ],
    [
        x^12 - 46*x^9 + 434*x^8 - 1162*x^7 + 1942*x^6 - 1246*x^5 + 1561*x^4 - 356*x^3 +
            2450*x^2 + 1050*x + 875,
        7294312343144759296
    ],
    [
        x^12 + 26*x^10 - 283*x^8 + 1172*x^6 - 1196*x^4 + 1472*x^2 + 64,
        14309137159611744256
    ],
    [
        x^12 + 6*x^10 - 38*x^8 + 366*x^6 - 183*x^4 - 152*x^2 + 13456,
        14309137159611744256
    ],
    [
        x^12 + 6*x^10 + 255*x^8 + 980*x^6 + 1503*x^4 + 1062*x^2 + 225,
        65052548862449025024
    ],
    [
        x^12 - 2*x^11 + 62*x^10 + 44*x^9 + 1486*x^8 - 172*x^7 + 2548*x^6 + 4216*x^5 +
            416*x^4 - 3544*x^3 + 1488*x^2 + 1152*x + 216,
        898901757322623975424
    ],
    [
        x^12 + 94*x^9 + 938*x^8 + 2562*x^7 + 2446*x^6 - 4634*x^5 - 4319*x^4 + 6868*x^3 +
            7938*x^2 - 12474*x + 5103,
        898901757322623975424
    ],
    [
        x^12 + 2*x^11 + 10*x^10 - 202*x^9 + 697*x^8 - 760*x^7 + 14108*x^6 - 79504*x^5 +
            202371*x^4 - 290802*x^3 + 249282*x^2 - 121342*x + 26531,
        7178395498216434171904
    ],
    [
        x^12 + 56*x^10 - 214*x^9 + 2114*x^8 - 5026*x^7 + 19050*x^6 - 14238*x^5 + 46809*x^4
            + 148*x^3 + 49686*x^2 + 7098*x + 15379,
        7178395498216434171904
    ],
    [
        x^12 + 6*x^10 + 655*x^8 + 2580*x^6 + 3903*x^4 + 2662*x^2 + 625,
        130629347395009543143424
    ],
    [
        x^12 + 34*x^10 + 205*x^8 + 72650*x^6 + 1170*x^4 + 1296*x^2 + 729,
        130629347395009543143424
    ],
    [
        x^12 - 32*x^10 + 450*x^8 - 1926*x^6 - 12551*x^4 + 159414*x^2 + 26569,
        130629347395009543143424
    ],
    [
        x^12 - 6*x^11 + 46*x^10 - 166*x^9 + 541*x^8 - 1736*x^7 + 6636*x^6 - 9734*x^5 +
            7038*x^4 + 812*x^3 + 386*x^2 + 28*x + 1,
        130629347395009543143424
    ],
    [
        x^12 - 116*x^10 + 5790*x^8 - 94146*x^6 - 1555967*x^4 + 76076418*x^2 + 16999129,
        3951289883789375287066624
    ],
    [
        x^12 + 10*x^11 + 58*x^10 + 116*x^9 + 102*x^8 - 1416*x^7 - 5732*x^6 - 29486*x^5 +
            10553*x^4 + 308146*x^3 + 745160*x^2 + 731298*x + 388847,
        3951289883789375287066624
    ],
    [
        x^12 - 10*x^11 + 74*x^10 - 750*x^9 + 4318*x^8 - 10826*x^7 + 54592*x^6 + 9912*x^5 -
            510619*x^4 - 69370*x^3 + 3076252*x^2 - 4230464*x + 1697213,
        3951289883789375287066624
    ]
];






A4Wild3Ext :=
[
    [
        x^12 + 6*x^11 - 51*x^10 - 180*x^9 + 627*x^8 + 240*x^7 - 1127*x^6 - 240*x^5 +
            627*x^4 + 180*x^3 - 51*x^2 - 6*x + 1,
        5514297181968073041
    ],
    [
        x^12 + 3*x^11 - 72*x^10 - 74*x^9 + 1857*x^8 - 1797*x^7 - 15718*x^6 + 42099*x^5 -
            24873*x^4 - 20086*x^3 + 16458*x^2 + 3951*x - 213,
        2516155240490877816009
    ],
    [
        x^12 - 3*x^11 - 63*x^10 - 18*x^9 + 972*x^8 + 1899*x^7 - 1284*x^6 - 4725*x^5 -
            1053*x^4 + 1871*x^3 + 462*x^2 - 3,
        2673366699285059581521
    ],
    [
        x^12 - 3*x^11 - 123*x^10 - 109*x^9 + 2958*x^8 + 2952*x^7 - 26299*x^6 - 5466*x^5 +
            93678*x^4 - 72836*x^3 - 16506*x^2 + 25803*x - 3897,
        48882702663962715465369
    ],
    [
        x^12 - 78*x^10 + 897*x^8 - 3341*x^6 + 3588*x^4 - 1248*x^2 + 64,
        2913196926982786526139201
    ],
    [
        x^12 - 6*x^11 - 198*x^10 + 660*x^9 + 14562*x^8 - 9648*x^7 - 425868*x^6 - 604638*x^5            + 2815173*x^4 + 5769314*x^3 - 713532*x^2 - 2422926*x - 523473,
        47348074600221687092084736
    ],
    [
        x^12 - 210*x^10 - 569*x^9 + 7335*x^8 + 13473*x^7 - 115488*x^6 - 58509*x^5 +
            833670*x^4 - 524896*x^3 - 1806021*x^2 + 2521317*x - 787807,
        306477673313581691167618089
    ],
    [
        x^12 + 6*x^11 - 486*x^10 - 2244*x^9 + 85518*x^8 + 257400*x^7 - 6765360*x^6 -
            7955442*x^5 + 255122397*x^4 - 131404202*x^3 - 3803113056*x^2 + 6585409710*x +
            4787017311,
        272952227803432581970137178177536
    ],
    [
        x^12 - 3*x^11 - 1665*x^10 - 11630*x^9 + 942192*x^8 + 15594885*x^7 - 102703176*x^6 -            4541147919*x^5 - 43042680279*x^4 - 161084222917*x^3 - 146826125286*x^2 +
            220252269312*x + 259440612749,
        240398700200172949545229891048673841
    ],
    [
        x^12 - 4*x^9 + 12*x^7 + 20*x^6 + 24*x^5 - 12*x^4 - 32*x^3 - 24*x^2 + 24,
        11284439629824
    ],
    [
        x^12 + 3*x^11 + 6*x^10 - 17*x^9 + 45*x^8 - 15*x^7 + 98*x^6 + 222*x^5 + 222*x^4 +
            179*x^3 + 99*x^2 + 36*x + 9,
        1039043198361249
    ],
    [
        x^12 - 6*x^10 - 11*x^9 + 21*x^8 + 39*x^7 + 14*x^6 - 27*x^5 + 72*x^4 + 20*x^3 -
            129*x^2 - 297*x + 327,
        2025170913606201
    ],
    [
        x^12 + 6*x^10 + 19*x^9 + 99*x^8 - 45*x^7 + 36*x^6 - 117*x^5 - 90*x^3 + 81*x^2 +
            81*x + 81,
        110446108890554889
    ],
    [
        x^12 + 6*x^10 + 255*x^8 + 980*x^6 + 1503*x^4 + 1062*x^2 + 225,
        65052548862449025024
    ],
    [
        x^12 - 3*x^11 + 30*x^10 + 183*x^9 + 84*x^8 - 15780*x^7 + 131601*x^6 - 562008*x^5 +
            1993548*x^4 - 5665328*x^3 + 12541248*x^2 - 17157888*x + 21907008,
        446520455308481656670649
    ],
    [
        x^12 + 3*x^11 + 96*x^10 - 455*x^9 + 9693*x^8 - 49125*x^7 + 271451*x^6 - 802512*x^5
            + 3439710*x^4 - 14904175*x^3 + 53637150*x^2 + 7498728*x + 2689224,
        29132490992171518395688689
    ],
    [
        x^12 - 3*x^11 + 153*x^10 - 858*x^9 + 11196*x^8 - 72945*x^7 + 539904*x^6 -
            2775609*x^5 + 14766399*x^4 - 51054749*x^3 + 155449122*x^2 - 271089612*x +
            474284001,
        204917916724262518711426209
    ]
];



A4Wild23Ext := 
[
    [
        x^12 - 6*x^11 - 198*x^10 + 660*x^9 + 14562*x^8 - 9648*x^7 - 425868*x^6 - 604638*x^5            + 2815173*x^4 + 5769314*x^3 - 713532*x^2 - 2422926*x - 523473,
        47348074600221687092084736
    ],
    [
        x^12 + 6*x^11 - 486*x^10 - 2244*x^9 + 85518*x^8 + 257400*x^7 - 6765360*x^6 -
            7955442*x^5 + 255122397*x^4 - 131404202*x^3 - 3803113056*x^2 + 6585409710*x +
            4787017311,
        272952227803432581970137178177536
    ],
    [
        x^12 - 4*x^9 + 12*x^7 + 20*x^6 + 24*x^5 - 12*x^4 - 32*x^3 - 24*x^2 + 24,
        11284439629824
    ],
    [
        x^12 + 6*x^10 + 255*x^8 + 980*x^6 + 1503*x^4 + 1062*x^2 + 225,
        65052548862449025024
    ]
];

