Q12pols := [ x^12-24*x^10-10*x^9+216*x^8+180*x^7-844*x^6-1080*x^5+1056*x^4+2200*x^3+720*x^2-240*x-80 ,x^12-6*x^11-30*x^10+190*x^9+171*x^8-1740*x^7+124*x^6+6420*x^5-2409*x^4-9630*x^3+3330*x^2+5214*x-659 ,x^12+6*x^11-56*x^10-286*x^9+823*x^8+3220*x^7-108*x^6-8780*x^5-10233*x^4-4282*x^3-568*x^2-14*x+1 ,x^12+9*x^11+9*x^10-116*x^9-283*x^8+315*x^7+1403*x^6+645*x^5-1427*x^4-1623*x^3-475*x^2-2*x+1 ,x^12-10*x^11-53*x^10+550*x^9+1826*x^8-10850*x^7-41997*x^6+56794*x^5+408280*x^4+416390*x^3-440067*x^2-970982*x-422951 ,x^12-5*x^11-69*x^10+219*x^9+1181*x^8-2074*x^7-4979*x^6+2550*x^5+5337*x^4-405*x^3-1440*x^2-54*x+27 ,x^12-12*x^11-3*x^10+480*x^9-1294*x^8-3100*x^7+11353*x^6+6524*x^5-27534*x^4-280*x^3+17125*x^2-3260*x-695 ,x^12-x^11-58*x^10+48*x^9+1113*x^8-872*x^7-8557*x^6+5848*x^5+27233*x^4-10622*x^3-36288*x^2+1659*x+12391 ,x^12-80*x^10+1820*x^8-13680*x^6+29860*x^4-2720*x^2+32 ,x^12+15*x^11+41*x^10-345*x^9-1869*x^8+960*x^7+19291*x^6+17220*x^5-68859*x^4-106335*x^3+59870*x^2+162510*x+59545 ,x^12-2*x^11-76*x^10+162*x^9+1260*x^8-4074*x^7-310*x^6+12786*x^5-15044*x^4+5726*x^3-476*x^2-6*x+1 ,x^12-64*x^10+16*x^9+1236*x^8+64*x^7-9524*x^6-3680*x^5+25717*x^4+9920*x^3-22140*x^2-4976*x+2402 ,x^12+x^11-74*x^10-104*x^9+1821*x^8+3380*x^7-16745*x^6-37900*x^5+43465*x^4+120450*x^3-10500*x^2-71775*x+13275 ,x^12-9*x^11-37*x^10+465*x^9+186*x^8-8235*x^7+5782*x^6+59127*x^5-61854*x^4-170655*x^3+184505*x^2+133890*x-142955 ,x^12-12*x^11-35*x^10+800*x^9-654*x^8-16460*x^7+27721*x^6+133540*x^5-237534*x^4-480160*x^3+724565*x^2+639692*x-692759 ,x^12-72*x^10+1764*x^8-480*x^7-18332*x^6+11760*x^5+78213*x^4-76480*x^3-88428*x^2+107280*x-20222 ,x^12+6*x^11-77*x^10-460*x^9+1586*x^8+7970*x^7-19073*x^6-40308*x^5+120486*x^4-44890*x^3-60105*x^2+22800*x+11705 ,x^12-3*x^11-95*x^10+235*x^9+3021*x^8-6390*x^7-39179*x^6+67260*x^5+197641*x^4-193225*x^3-421350*x^2+36148*x+135931 ,x^12+4*x^11-110*x^10-500*x^9+3915*x^8+21184*x^7-44392*x^6-354416*x^5-104664*x^4+1942128*x^3+2934472*x^2+406448*x-557188 ,x^12-272*x^10+80*x^9+22820*x^8+18560*x^7-792980*x^6-1826880*x^5+8854645*x^4+38405440*x^3+44201908*x^2+10648880*x-819886 ,x^12-6*x^11+30*x^10-55*x^9+21*x^8+210*x^7+379*x^6+150*x^5+261*x^4+125*x^3+45*x^2+9*x+1 ,x^12-2*x^11+14*x^10-13*x^9+39*x^8+54*x^7+179*x^6+486*x^5+1161*x^4+1475*x^3+1463*x^2+931*x+343 ,x^12-5*x^11+22*x^10-28*x^9+167*x^8-514*x^7+949*x^6+444*x^5+293*x^4-158*x^3+42*x^2+63*x+27 ,x^12+4*x^11+22*x^10+87*x^9+172*x^8+668*x^7+1077*x^6+2082*x^5+6332*x^4+607*x^3+21724*x^2-4618*x+26261 ,x^12-x^11+12*x^10-18*x^9+145*x^8+78*x^7+1427*x^6+156*x^5+15931*x^4-7080*x^3+3150*x^2-1375*x+625 ,x^12-9*x^11-15*x^10+295*x^9+41*x^8-4600*x^7+89*x^6+41060*x^5+11721*x^4-207375*x^3-157290*x^2+464286*x+590851 ,x^12-2*x^11+18*x^10-66*x^9+388*x^8+996*x^7+3572*x^6+6024*x^5+35968*x^4+5256*x^3+768*x^2+112*x+16 ,x^12+9*x^11-22*x^10-350*x^9+66*x^8+5515*x^7+1687*x^6-41612*x^5-12809*x^4+134495*x^3+18855*x^2-78635*x+246005 ,x^12-6*x^11-5*x^10+90*x^9+386*x^8-2830*x^7+79*x^6+24130*x^5+33026*x^4-234990*x^3+63675*x^2+1330954*x+3527681 ,x^12+7*x^11-241*x^10-1963*x^9+19712*x^8+203953*x^7-453096*x^6-9051429*x^5-15101736*x^4+124515949*x^3+617589367*x^2+1085524270*x+713013311 ,x^12-3*x^11+189*x^10-1047*x^9+36981*x^8+165780*x^7+6096420*x^6+13770000*x^5+1065992400*x^4-353592000*x^3+117288000*x^2-38880000*x+12960000 ,x^12+480*x^10+61020*x^8+2952400*x^6+51416100*x^4+222132000*x^2+12903200 ]; /* [* 6, x^12 - 24*x^10 - 10*x^9 + 216*x^8 + 180*x^7 - 844*x^6 - 1080*x^5 + 1056*x^4 + 2200*x^3 + 720*x^2 - 240*x - 80 *] [* 3, x^12 - 6*x^11 - 30*x^10 + 190*x^9 + 171*x^8 - 1740*x^7 + 124*x^6 + 6420*x^5 - 2409*x^4 - 9630*x^3 + 3330*x^2 + 5214*x - 659 *] [* 3, x^12 - 72*x^10 + 1764*x^8 - 480*x^7 - 18332*x^6 + 11760*x^5 + 78213*x^4 - 76480*x^3 - 88428*x^2 + 107280*x - 20222 *] [* 3, x^12 - 6*x^11 + 30*x^10 - 55*x^9 + 21*x^8 + 210*x^7 + 379*x^6 + 150*x^5 + 261*x^4 + 125*x^3 + 45*x^2 + 9*x + 1 *] [* 3, x^12 - 3*x^11 + 189*x^10 - 1047*x^9 + 36981*x^8 + 165780*x^7 + 6096420*x^6 + 13770000*x^5 + 1065992400*x^4 - 353592000*x^3 + 117288000*x^2 - 38880000*x + 12960000 *] */