D4_pols :=
[ [ x^8 + x^7 - 16*x^6 + 9*x^5 + 29*x^4 - 9*x^3 - 16*x^2 - x + 1, 442050625 ],
  [ x^8 - 11*x^6 + 24*x^4 - 11*x^2 + 1, 2732361984 ],
  [ x^8 - 4*x^7 - 4*x^6 + 20*x^5 + 4*x^4 - 20*x^3 - 4*x^2 + 4*x + 1,
      3057647616 ], [ x^8 - 14*x^6 + 34*x^4 - 14*x^2 + 1, 5473632256 ],
  [ x^8 + 4*x^7 - 12*x^6 - 74*x^5 - 85*x^4 + 50*x^3 + 142*x^2 + 78*x + 13,
      9475854336 ],
  [ x^8 - 4*x^7 - 8*x^6 + 24*x^5 + 30*x^4 - 16*x^3 - 20*x^2 + 2, 10070523904 ]
    , [ x^8 - 6*x^7 - 7*x^6 + 34*x^5 + 22*x^4 - 46*x^3 - 17*x^2 + 14*x + 1,
      11574317056 ],
  [ x^8 - 4*x^7 - 20*x^6 + 32*x^5 + 159*x^4 + 124*x^3 - 38*x^2 - 68*x - 17,
      27710263296 ],
  [ x^8 + 2*x^7 - 28*x^6 + 24*x^5 + 59*x^4 - 24*x^3 - 28*x^2 - 2*x + 1,
      37480960000 ],
  [ x^8 - 2*x^7 - 20*x^6 + 16*x^5 + 63*x^4 - 16*x^3 - 20*x^2 + 2*x + 1,
      39033114624 ],
  [ x^8 + 2*x^7 - 22*x^6 - 46*x^5 + 82*x^4 + 126*x^3 - 55*x^2 - 76*x - 16,
      39213900625 ], [ x^8 - 12*x^6 + 24*x^4 - 12*x^2 + 1, 40282095616 ],
  [ x^8 - 19*x^6 + 41*x^4 - 19*x^2 + 1, 44152515625 ],
  [ x^8 - 17*x^6 + 48*x^4 - 17*x^2 + 1, 53603825625 ],
  [ x^8 - 2*x^7 - 22*x^6 + 46*x^5 + 73*x^4 - 102*x^3 - 19*x^2 + 25*x + 5,
      65037750625 ],
  [ x^8 - 3*x^7 - 23*x^6 + 92*x^5 + 68*x^4 - 644*x^3 + 663*x^2 + 259*x - 449,
      143054150625 ], [ x^8 - 16*x^6 + 75*x^4 - 88*x^2 + 1, 151613669376 ],
  [ x^8 + 4*x^7 - 26*x^6 - 182*x^5 - 360*x^4 - 178*x^3 + 217*x^2 + 248*x + 64,
      193220905761 ], [ x^8 - 29*x^6 + 136*x^4 - 29*x^2 + 1, 216341265625 ],
  [ x^8 + 6*x^7 - 24*x^6 - 248*x^5 - 491*x^4 + 304*x^3 + 1553*x^2 + 393*x - 10\
17, 225360027841 ],
  [ x^8 - 2*x^7 - 38*x^6 + 78*x^5 + 363*x^4 - 806*x^3 - 32*x^2 + 816*x - 379,
      333621760000 ], [ x^8 - 20*x^6 + 74*x^4 - 80*x^2 + 16, 350312464384 ],
  [ x^8 + 6*x^7 - 20*x^6 - 174*x^5 - 189*x^4 + 264*x^3 + 109*x^2 - 105*x + 7,
      364488705441 ], [ x^8 - 20*x^6 + 129*x^4 - 290*x^2 + 196, 389136420864 ]
    ,
  [ x^8 + 4*x^7 - 37*x^6 - 149*x^5 + 62*x^4 + 925*x^3 + 1457*x^2 + 871*x + 169
        , 395451064801 ],
  [ x^8 - 27*x^6 + 145*x^4 - 243*x^2 + 81, 403139914489 ],
  [ x^8 - 15*x^6 + 48*x^4 - 15*x^2 + 1, 452121760000 ],
  [ x^8 - 4*x^7 - 10*x^6 + 44*x^5 + 5*x^4 - 88*x^3 + 16*x^2 + 36*x + 3,
      587761422336 ],
  [ x^8 + 2*x^7 - 35*x^6 - 88*x^5 + 336*x^4 + 1000*x^3 - 695*x^2 - 2978*x - 94\
7, 588865925376 ], [ x^8 - 20*x^6 + 107*x^4 - 180*x^2 + 81, 599695360000 ],
  [ x^8 - 17*x^6 + 77*x^4 - 68*x^2 + 16, 610673479936 ],
  [ x^8 - 2*x^7 - 50*x^6 - 54*x^5 + 246*x^4 + 162*x^3 - 450*x^2 + 54*x + 81,
      621801639936 ],
  [ x^8 - 40*x^6 + 84*x^5 + 285*x^4 - 1176*x^3 + 1418*x^2 - 672*x + 109,
      624529833984 ],
  [ x^8 + 6*x^7 - 24*x^6 - 152*x^5 + 111*x^4 + 1092*x^3 + 403*x^2 - 2295*x - 2\
031, 647395642881 ],
  [ x^8 + 6*x^7 - 25*x^6 - 120*x^5 + 219*x^4 + 258*x^3 - 548*x^2 + 144*x + 64,
      659020863601 ],
  [ x^8 + 8*x^7 - 2*x^6 - 124*x^5 - 187*x^4 + 228*x^3 + 312*x^2 - 248*x - 4,
      667841990656 ], [ x^8 - 32*x^6 + 226*x^4 - 425*x^2 + 225, 670801950625 ]
    , [ x^8 - 24*x^6 + 165*x^4 - 252*x^2 + 36, 699484667904 ],
  [ x^8 - 2*x^7 - 32*x^6 + 4*x^5 + 261*x^4 + 290*x^3 - 155*x^2 - 217*x + 19,
      700945700625 ],
  [ x^8 - 4*x^7 - 20*x^6 + 32*x^5 + 162*x^4 + 136*x^3 - 20*x^2 - 56*x - 14,
      815712436224 ],
  [ x^8 - 2*x^7 - 40*x^6 + 196*x^5 - 278*x^4 - 64*x^3 + 488*x^2 - 400*x + 100,
      835600748544 ], [ x^8 - 20*x^6 + 48*x^4 - 20*x^2 + 1, 849346560000 ],
  [ x^8 - 41*x^6 + 96*x^4 - 41*x^2 + 1, 895152515625 ],
  [ x^8 - 2*x^7 - 36*x^6 + 52*x^5 + 246*x^4 - 320*x^3 - 400*x^2 + 360*x + 180,
      937024000000 ], [ x^8 - 15*x^6 + 44*x^4 - 15*x^2 + 1, 975543388416 ],
  [ x^8 - 6*x^7 - 18*x^6 + 112*x^5 + 22*x^4 - 478*x^3 + 495*x^2 - 128*x + 4,
      1192518600625 ],
  [ x^8 - 8*x^7 - 6*x^6 + 148*x^5 - 179*x^4 - 420*x^3 + 464*x^2 + 392*x - 196,
      1442919878656 ],
  [ x^8 - x^7 - 49*x^6 + 88*x^5 + 481*x^4 - 1770*x^3 + 2196*x^2 - 1170*x + 225
        , 1636252863921 ],
  [ x^8 - 35*x^6 + 257*x^4 - 140*x^2 + 16, 1718786550625 ],
  [ x^8 - 12*x^7 + 20*x^6 + 138*x^5 - 503*x^4 + 390*x^3 + 342*x^2 - 504*x + 14\
4, 1835743170816 ], [ x^8 - 26*x^6 + 145*x^4 - 272*x^2 + 144, 1861107122176 ],
  [ x^8 - 4*x^7 - 22*x^6 + 80*x^5 + 91*x^4 - 320*x^3 - 118*x^2 + 292*x - 29,
      1911029760000 ],
  [ x^8 + 4*x^7 - 22*x^6 - 80*x^5 + 139*x^4 + 416*x^3 - 262*x^2 - 484*x + 139,
      1911029760000 ],
  [ x^8 + 4*x^7 - 28*x^6 - 68*x^5 + 292*x^4 + 212*x^3 - 940*x^2 + 92*x + 529,
      1911029760000 ],
  [ x^8 - 41*x^6 + 316*x^4 - 656*x^2 + 256, 2205596265625 ],
  [ x^8 + 4*x^7 - 29*x^6 - 206*x^5 - 453*x^4 - 412*x^3 - 116*x^2 + 32*x + 16,
      2222606887281 ], [ x^8 - 23*x^6 + 96*x^4 - 92*x^2 + 16, 2261390379264 ],
  [ x^8 - 38*x^6 + 36*x^5 + 183*x^4 - 40*x^3 - 158*x^2 + 16*x + 32,
      2752095195136 ],
  [ x^8 + 2*x^7 - 47*x^6 + 289*x^4 + 128*x^3 - 428*x^2 - 288*x + 36,
      2786442301696 ], [ x^8 - 39*x^6 + 161*x^4 - 156*x^2 + 16, 2972069112961
     ],
  [ x^8 - 64*x^6 + 168*x^5 + 886*x^4 - 5040*x^3 + 9120*x^2 - 6552*x + 1233,
      3262849744896 ],
  [ x^8 - 30*x^6 - 28*x^5 + 127*x^4 + 64*x^3 - 114*x^2 - 52*x - 2,
      4111875506176 ],
  [ x^8 + 4*x^7 - 28*x^6 - 50*x^5 + 95*x^4 + 130*x^3 - 38*x^2 - 42*x + 9,
      4593717743616 ], [ x^8 - 20*x^6 + 56*x^4 - 20*x^2 + 1, 4694952902656 ],
  [ x^8 - 30*x^6 - 28*x^5 + 115*x^4 + 32*x^3 - 94*x^2 - 12*x + 18,
      5801854959616 ],
  [ x^8 - 4*x^7 - 32*x^6 + 180*x^5 + 24*x^4 - 1636*x^3 + 3448*x^2 - 2436*x + 3\
29, 6294077440000 ],
  [ x^8 - 6*x^7 - 33*x^6 + 330*x^5 - 808*x^4 + 420*x^3 + 639*x^2 - 336*x - 203
        , 6488309350656 ],
  [ x^8 + 2*x^7 - 45*x^6 - 112*x^5 + 419*x^4 + 1474*x^3 + 505*x^2 - 1740*x - 1\
112, 6488309350656 ],
  [ x^8 - 8*x^7 - 38*x^6 + 541*x^5 - 1566*x^4 + 110*x^3 + 4630*x^2 - 2275*x - \
3875, 7146131900625 ],
  [ x^8 - 4*x^7 - 40*x^6 + 92*x^5 + 580*x^4 - 380*x^3 - 2704*x^2 - 212*x + 280\
9, 7341411926016 ],
  [ x^8 - 4*x^7 - 54*x^6 + 176*x^5 + 831*x^4 - 1960*x^3 - 2290*x^2 + 3300*x + \
45, 7701318765625 ], [ x^8 - 36*x^6 + 272*x^4 - 741*x^2 + 676, 7909194404241 ]
    ,
  [ x^8 - 2*x^7 - 42*x^6 + 86*x^5 + 323*x^4 - 402*x^3 - 239*x^2 + 275*x - 55,
      8450794350625 ], [ x^8 - 47*x^6 + 492*x^4 - 47*x^2 + 1, 8856861698304 ],
  [ x^8 + 4*x^7 - 38*x^6 - 128*x^5 + 377*x^4 + 972*x^3 - 20*x^2 - 528*x - 73,
      9082363580416 ],
  [ x^8 + 2*x^7 - 42*x^6 - 86*x^5 + 317*x^4 + 386*x^3 - 175*x^2 - 201*x - 31,
      9272177250625 ], [ x^8 - 18*x^6 + 50*x^4 - 18*x^2 + 1, 9404182757376 ],
  [ x^8 + 6*x^7 - 35*x^6 - 150*x^5 + 400*x^4 + 306*x^3 - 1011*x^2 + 270*x + 22\
5, 9421854806016 ],
  [ x^8 - 2*x^7 - 59*x^6 - 20*x^5 + 834*x^4 + 1232*x^3 - 1904*x^2 - 4672*x - 2\
336, 9421854806016 ],
  [ x^8 + 2*x^7 - 51*x^6 - 186*x^5 + 22*x^4 + 754*x^3 + 771*x^2 - 78*x - 247,
      9770775678976 ],
  [ x^8 - 58*x^6 + 705*x^4 - 3128*x^2 + 4624, 9770775678976 ],
  [ x^8 - 4*x^7 - 49*x^6 + 341*x^5 - 478*x^4 - 1237*x^3 + 4291*x^2 - 4245*x + \
1359, 10152029750625 ], [ x^8 - 25*x^6 + 64*x^4 - 25*x^2 + 1, 16988748871081 ]
    , [ x^8 - 25*x^6 + 137*x^4 - 100*x^2 + 16, 22585305760000 ],
  [ x^8 - 19*x^6 + 52*x^4 - 19*x^2 + 1, 90991147389184 ],
  [ x^8 - 22*x^6 + 58*x^4 - 22*x^2 + 1, 197706096640000 ],
  [ x^8 - 3*x^7 + 4*x^6 - 3*x^5 + 3*x^4 - 3*x^3 + 4*x^2 - 3*x + 1, 1750329, 2
     ], [ x^8 - x^7 + 2*x^6 + 3*x^5 - x^4 + 3*x^3 + 2*x^2 - x + 1, 2313441, 2
     ], [ x^8 - 2*x^7 + 2*x^6 + 2*x^5 - 2*x^4 + 2*x^3 + 2*x^2 - 2*x + 1,
      2560000, 2 ],
  [ x^8 - 2*x^7 + 2*x^6 - 2*x^5 - 2*x^4 + 2*x^3 + 2*x^2 + 2*x + 1, 2985984, 2
     ], [ x^8 + 6*x^4 + 1, 4194304, 2 ],
  [ x^8 - x^7 + 2*x^6 + 5*x^5 + 11*x^4 + 5*x^3 + 2*x^2 - x + 1, 9150625, 2 ],
  [ x^8 + 4*x^6 + x^4 - 6*x^2 + 4, 9834496, 2 ],
  [ x^8 - 4*x^6 + 8*x^4 - 4*x^2 + 1, 16777216, 2 ],
  [ x^8 + 5*x^6 + 4*x^4 + 5*x^2 + 1, 21381376, 2 ],
  [ x^8 + 2*x^7 + 2*x^6 - 4*x^5 - x^4 - 4*x^3 + 2*x^2 + 2*x + 1, 30118144, 2 ]
    , [ x^8 + 3*x^4 + 1, 40960000, 2 ], [ x^8 + 3*x^4 + 9, 47775744, 2 ],
  [ x^8 - 4*x^7 + 8*x^6 - 10*x^5 + 11*x^4 - 10*x^3 + 2*x^2 + 2*x + 1,
      64000000, 2 ],
  [ x^8 - x^7 + 8*x^6 + 7*x^5 + 19*x^4 + 7*x^3 + 8*x^2 - x + 1, 81450625, 2 ],
  [ x^8 - 3*x^7 + x^6 + 6*x^5 + 6*x^4 + 6*x^3 + x^2 - 3*x + 1, 95004009, 2 ],
  [ x^8 - 4*x^7 + 8*x^6 - 6*x^5 + 7*x^4 - 10*x^3 + 2*x^2 - 6*x + 9,
      116985856, 2 ],
  [ x^8 - x^7 + 2*x^6 - 3*x^5 - x^4 + 6*x^3 + 8*x^2 + 8*x + 16, 143496441, 2 ]
    , [ x^8 - x^7 + 4*x^6 + 9*x^5 - 3*x^4 + 27*x^3 + 36*x^2 - 27*x + 81,
      151807041, 2 ], [ x^8 + 2*x^6 + 10*x^4 + 2*x^2 + 1, 157351936, 2 ],
  [ x^8 - 2*x^7 + 2*x^6 + 6*x^5 - x^4 - 6*x^3 + 32*x^2 - 8*x + 1, 207360000,
      2 ], [ x^8 - x^6 + 16*x^4 - x^2 + 1, 228765625, 2 ],
  [ x^8 + 4*x^6 + 18*x^4 - 8*x^2 + 4, 339738624, 2 ],
  [ x^8 - 4*x^6 + 18*x^4 + 8*x^2 + 4, 339738624, 2 ],
  [ x^8 - 4*x^7 + 8*x^5 + 14*x^4 - 32*x^3 + 28*x^2 - 48*x + 34, 339738624, 2 ]
    , [ x^8 + 12*x^6 + 49*x^4 + 78*x^2 + 4, 342102016, 2 ],
  [ x^8 - 4*x^6 + 37*x^4 - 66*x^2 + 64, 342102016, 1 ],
  [ x^8 - 9*x^6 + 32*x^4 - 9*x^2 + 1, 390971529, 2 ],
  [ x^8 - 3*x^6 + 12*x^4 + 9*x^2 + 9, 448084224, 2 ],
  [ x^8 - 2*x^7 - 3*x^6 + 8*x^5 + x^4 - 2*x^3 + 23*x^2 - 12*x + 2, 481890304,
      2 ],
  [ x^8 - 3*x^7 + 14*x^6 - 23*x^5 + 53*x^4 - 46*x^3 + 96*x^2 + 56*x + 16,
      577200625, 2 ], [ x^8 + x^6 + 4*x^4 - 3*x^2 + 9, 592240896, 2 ],
  [ x^8 - 3*x^7 - 2*x^6 + 15*x^5 + 27*x^4 + 15*x^3 - 2*x^2 - 3*x + 1,
      673246809, 2 ], [ x^8 + 13*x^6 + 40*x^4 + 52*x^2 + 16, 723394816, 2 ],
  [ x^8 - 3*x^7 + 4*x^6 - 14*x^5 + 29*x^4 - 28*x^3 + 36*x^2 - 55*x + 55,
      741200625, 2 ],
  [ x^8 - 2*x^7 + 5*x^6 - 4*x^5 + x^4 - 18*x^3 + 15*x^2 + 18, 796594176, 2 ],
  [ x^8 + 35*x^4 + 25, 1024000000, 2 ],
  [ x^8 - 3*x^7 + 7*x^6 - 12*x^5 + 33*x^4 - 72*x^3 + 112*x^2 - 18*x + 1,
      1093955625, 2 ],
  [ x^8 - x^7 + 10*x^6 + 15*x^5 + 69*x^4 + 45*x^3 + 90*x^2 - 27*x + 81,
      1121513121, 2 ],
  [ x^8 + 2*x^7 + 23*x^6 - 22*x^5 + 56*x^4 - 22*x^3 + 23*x^2 + 2*x + 1,
      1146228736, 2 ],
  [ x^8 - x^7 + 11*x^6 + 16*x^5 + 28*x^4 + 64*x^3 + 176*x^2 - 64*x + 256,
      1698181681, 2 ],
  [ x^8 - 4*x^7 + 8*x^6 - 10*x^5 + 26*x^4 - 40*x^3 + 37*x^2 - 18*x + 4,
      1722499009, 2 ], [ x^8 + 3*x^6 + 11*x^4 + 45*x^2 + 4, 1731891456, 2 ],
  [ x^8 + 15*x^6 + 48*x^4 + 15*x^2 + 1, 1766100625, 1 ],
  [ x^8 + 4*x^6 - 3*x^4 - 14*x^2 + 16, 1866240000, 2 ],
  [ x^8 + 11*x^4 + 1, 1871773696, 2 ],
  [ x^8 + 11*x^6 + 56*x^4 + 11*x^2 + 1, 2036265625, 2 ],
  [ x^8 - 2*x^7 - 6*x^6 - 2*x^5 + 80*x^4 - 82*x^3 + 61*x^2 - 18*x + 4,
      2300257521, 2 ], [ x^8 - 5*x^6 + 17*x^4 - 20*x^2 + 16, 2342560000, 2 ],
  [ x^8 + 4*x^7 + 8*x^6 + 40*x^5 + 128*x^4 + 184*x^3 + 155*x^2 + 76*x + 16,
      2385443281, 1 ],
  [ x^8 - 3*x^7 + x^6 + 6*x^5 + 24*x^3 + 16*x^2 - 192*x + 256, 2492305929, 2 ]
    , [ x^8 + 38*x^4 + 1, 2621440000, 2 ],
  [ x^8 + 22*x^4 + 81, 2621440000, 2 ],
  [ x^8 + x^6 + 4*x^2 + 16, 2732361984, 1 ],
  [ x^8 - 4*x^7 + 8*x^6 - 6*x^5 + 15*x^4 - 26*x^3 + 2*x^2 - 14*x + 49,
      2897022976, 2 ],
  [ x^8 - 4*x^7 + 8*x^6 - 4*x^5 + 4*x^4 + 4*x^3 + 32*x^2 - 20*x + 25,
      3057647616, 1 ],
  [ x^8 + 14*x^6 + 112*x^4 + 224*x^2 + 256, 3782742016, 2 ],
  [ x^8 - 6*x^7 + 12*x^6 + 16*x^5 - 20*x^4 - 56*x^3 + 203*x^2 - 150*x + 36,
      4499860561, 2 ], [ x^8 + 13*x^6 + 76*x^4 + 325*x^2 + 625, 4569760000, 2
     ],
  [ x^8 - 4*x^7 + 8*x^6 - 26*x^5 + 113*x^4 - 182*x^3 + 162*x^2 - 72*x + 16,
      4569760000, 2 ], [ x^8 + 18*x^6 + 65*x^4 + 120*x^2 + 64, 4857532416, 2 ]
    , [ x^8 + 18*x^6 + 80*x^4 + 288*x^2 + 256, 4857532416, 2 ],
  [ x^8 + 4*x^6 + x^4 - 6*x^2 + 36, 5184000000, 2 ],
  [ x^8 + 9*x^4 + 16, 5473632256, 2 ],
  [ x^8 + 6*x^6 + 10*x^4 + 54*x^2 + 81, 5473632256, 2 ],
  [ x^8 + 23*x^6 + 139*x^4 + 69*x^2 + 144, 5802782976, 2 ],
  [ x^8 - 2*x^7 + 5*x^6 - 26*x^5 + 107*x^4 - 194*x^3 + 214*x^2 - 132*x + 36,
      5802782976, 2 ],
  [ x^8 + 3*x^7 + 6*x^6 - 27*x^5 + 59*x^4 - 27*x^3 + 6*x^2 + 3*x + 1,
      6597500625, 2 ],
  [ x^8 + 2*x^7 + 4*x^6 + 44*x^5 + 91*x^4 + 188*x^3 + 484*x^2 + 1034*x + 2209,
      7169347584, 2 ],
  [ x^8 - 2*x^7 + 11*x^6 + 70*x^5 + 118*x^4 - 46*x^3 + 29*x^2 - 10*x + 1,
      7169347584, 2 ],
  [ x^8 - 4*x^7 + 22*x^6 - 52*x^5 + 85*x^4 - 88*x^3 + 64*x^2 - 28*x + 259,
      7169347584, 2 ],
  [ x^8 - 4*x^7 + 6*x^6 - 4*x^5 + 51*x^4 - 100*x^3 + 50*x^2 + 45,
      11051265625, 1 ],
  [ x^8 + 6*x^7 + 26*x^6 + 84*x^5 + 259*x^4 + 462*x^3 + 405*x^2 + 99*x + 9,
      11433811041, 2 ], [ x^8 + 6*x^6 + 2*x^4 - 42*x^2 + 49, 12745506816, 2 ],
  [ x^8 + x^7 - 4*x^6 - 17*x^5 - 83*x^4 + 323*x^3 + 350*x^2 - 1789*x + 1387,
      28394609049, 2 ],
  [ x^8 + 4*x^6 - 60*x^5 + 81*x^4 - 120*x^3 + 1354*x^2 - 4560*x + 5701,
      29859840000, 2 ], [ x^8 + 27*x^4 + 1, 46352367616, 2 ],
  [ x^8 - 4*x^7 + 8*x^6 - 10*x^5 + 67*x^4 - 122*x^3 + 626*x^2 - 566*x + 997,
      85282689024, 2 ],
  [ x^8 + 4*x^7 + 14*x^6 - 56*x^5 + 106*x^4 - 544*x^3 + 1076*x^2 - 11080*x + 2\
3668, 114709561344, 2 ],
  [ x^8 + 2*x^7 + 29*x^6 + 152*x^5 + 148*x^4 + 1144*x^3 + 2381*x^2 - 4154*x + \
1621, 280052640000, 2 ] ];

