D7_pols := [ [ x^14 - 2*x^13 - 25*x^12 + 69*x^11 + 161*x^10 - 632*x^9 - 147*x^8 + 2146*x^\
7 - 1171*x^6 - 2669*x^5 + 2682*x^4 + 667*x^3 - 1466*x^2 + 336*x + 49,
      21292697885552828353 ],
  [ x^14 - 4*x^13 - 28*x^12 + 91*x^11 + 271*x^10 - 620*x^9 - 1144*x^8 + 1365*x\
^7 + 2396*x^6 - 620*x^5 - 1817*x^4 - 337*x^3 + 266*x^2 + 70*x + 1,
      1064726745878753869969 ],
  [ x^14 + 8*x^12 + 22*x^10 + 8*x^8 - 55*x^6 - 48*x^4 + 64*x^2 + 71,
      -9095120158391 ] ];

