Skip to content

Instantly share code, notes, and snippets.

@tueda

tueda/Singular_GCD_README.md

Last active June 26, 2024 02:41
Show Gist options
  • Save tueda/d1a3963656fab5602f9b0c0737468be8 to your computer and use it in GitHub Desktop.
Save tueda/d1a3963656fab5602f9b0c0737468be8 to your computer and use it in GitHub Desktop.
Download ZIP
On Ubuntu 20.04, the GCD computation in Singular 4.4.0 is occasionally very slow.
Raw
gcd.c
// This GCD occasionally (almost) freezes in Singular 4.4.0 on Ubuntu 20.04.
ring R = 0, (x1, x2, x3, x4, x5), dp;
poly p = 111226668*x3+14382438*x5-280413133*x1*x3-215821450*x1*x3^2+34763264*x1*x3^4-141959168*x1*x3^8-17018368*x1*x5+198478504*x1^2*x3+83843852*x1^2*x3^2-5918092*x1^2*x3^4+24167104*x1^2*x3^8+2897204*x1^2*x5-29974630*x1^3*x3-9366252*x1^3*x3^2+172823980*x2^2*x3+222346810*x2^2*x3^2-45648890*x2^2*x3^4+186411680*x2^2*x3^8+22347430*x2^2*x5+175585816*x2^3*x3+225900052*x2^3*x3^2-46378388*x2^3*x3^4+189390656*x2^3*x3^8+22704556*x2^3*x5+124258708*x2^5*x3+159865126*x2^5*x3^2-32821094*x2^5*x3^4+134028128*x2^5*x3^8+16067578*x2^5*x5-120492456*x3^5*x5^2-95960445*x3^6*x5+159927873*x3^6*x5^4+47026665*x3^7*x5+170970534*x3^8*x5^3-25918158*x3^10*x5+146252463*x3^13*x5-92723001*x3^13*x5^3-142019598*x3^13*x5^5+145108194*x3^14*x5^6-12977685*x3^19*x5^2-130288515*x3^19*x5^3-116036319*x3^19*x5^6+3144414*x3^22*x5^4+142575616*x1*x3^5*x5^2+113547520*x1*x3^6*x5-189238528*x1*x3^6*x5^4-55645440*x1*x3^7*x5-202305024*x1*x3^8*x5^3+30668288*x1*x3^10*x5-173056768*x1*x3^13*x5+109716736*x1*x3^13*x5^3+168048128*x1*x3^13*x5^5-171702784*x1*x3^14*x5^6+15356160*x1*x3^19*x5^2+154167040*x1*x3^19*x5^3+137302784*x1*x3^19*x5^6-3720704*x1*x3^22*x5^4-24272048*x1^2*x3^5*x5^2-19330310*x1^2*x3^6*x5+32215934*x1^2*x3^6*x5^4+9473070*x1^2*x3^7*x5+34440372*x1^2*x3^8*x5^3-5220964*x1^2*x3^10*x5+29461154*x1^2*x3^13*x5-18678158*x1^2*x3^13*x5^3-28608484*x1^2*x3^13*x5^5+29230652*x1^2*x3^14*x5^6-2614230*x1^2*x3^19*x5^2-26245370*x1^2*x3^19*x5^3-23374402*x1^2*x3^19*x5^6+633412*x1^2*x3^22*x5^4+48124419*x2*x3^14*x5^2-231207725*x2^2*x1*x3-72246090*x2^2*x1*x3^2-187221160*x2^2*x3^5*x5^2-149103325*x2^2*x3^6*x5+248495905*x2^2*x3^6*x5^4+73070025*x2^2*x3^7*x5+265653990*x2^2*x3^8*x5^3-40271630*x2^2*x3^10*x5+227247055*x2^2*x3^13*x5-144072985*x2^2*x3^13*x5^3-220670030*x2^2*x3^13*x5^5+225469090*x2^2*x3^14*x5^6-20164725*x2^2*x3^19*x5^2-202442275*x2^2*x3^19*x5^3-180297215*x2^2*x3^19*x5^6+4885790*x2^2*x3^22*x5^4-426198570*x2^3*x1*x3-319512628*x2^3*x1*x3^2+50528000*x2^3*x1*x3^4-206336000*x2^3*x1*x3^8-24736000*x2^3*x1*x5+255920000*x2^3*x1^2*x3+79968000*x2^3*x1^2*x3^2-190213072*x2^3*x3^5*x5^2-151486090*x2^3*x3^6*x5+252467026*x2^3*x3^6*x5^4+74237730*x2^3*x3^7*x5+269899308*x2^3*x3^8*x5^3-40915196*x2^3*x3^10*x5+230878606*x2^3*x3^13*x5-146375362*x2^3*x3^13*x5^3-224196476*x2^3*x3^13*x5^5+74775715*x2^3*x3^14*x5^2+229072228*x2^3*x3^14*x5^6-20486970*x2^3*x3^19*x5^2-205677430*x2^3*x3^19*x5^3-183178478*x2^3*x3^19*x5^6+4963868*x2^3*x3^22*x5^4+18830280*x2^4*x1*x5^3+75970678*x2^4*x3^14*x5^2-166236035*x2^5*x1*x3-51944214*x2^5*x1*x3^2-134610136*x2^5*x3^5*x5^2-107203795*x2^5*x3^6*x5+178666063*x2^5*x3^6*x5^4+52536615*x2^5*x3^7*x5+191002554*x2^5*x3^8*x5^3-28954898*x2^5*x3^10*x5+163388353*x2^5*x3^13*x5-103587031*x2^5*x3^13*x5^3-158659538*x2^5*x3^13*x5^5+162110014*x2^5*x3^14*x5^6-14498235*x2^5*x3^19*x5^2-145553965*x2^5*x3^19*x5^3-129631889*x2^5*x3^19*x5^6+3512834*x2^5*x3^22*x5^4-137505956*x2^6*x1^2*x3-176908382*x2^6*x1^2*x3^2+36320158*x2^6*x1^2*x3^4-148316896*x2^6*x1^2*x3^8-17780546*x2^6*x1^2*x5+183958495*x2^6*x1^3*x3+57481998*x2^6*x1^3*x3^2+53762989*x2^6*x3^14*x5^2+18541178*x2^7*x1^4*x5^5+141379700*x2^8*x1*x3^2+181892150*x2^8*x1*x3^3-37343350*x2^8*x1*x3^5+152495200*x2^8*x1*x3^9-189140875*x2^8*x1^2*x3^2-59101350*x2^8*x1^2*x3^3+37680658*x2^9*x1*x5^2+171568600*x2^9*x1^3*x3+220731700*x2^9*x1^3*x3^2-45317300*x2^9*x1^3*x3^4+185057600*x2^9*x1^3*x3^8+22185100*x2^9*x1^3*x5-229528250*x2^9*x1^4*x3-71721300*x2^9*x1^4*x3^2-23833136*x2^9*x1^6*x5^2-76422752*x2^10*x1^6*x3-98321744*x2^10*x1^6*x3^2+20185936*x2^10*x1^6*x3^4-82431232*x2^10*x1^6*x3^8-9882032*x2^10*x1^6*x5+102240040*x2^10*x1^7*x3+31947216*x2^10*x1^7*x3^2-82161632*x2^11*x1^2*x3-105705104*x2^11*x1^2*x3^2+21701776*x2^11*x1^2*x3^4-88621312*x2^11*x1^2*x3^8-10624112*x2^11*x1^2*x5+109917640*x2^11*x1^3*x3+34346256*x2^11*x1^3*x3^2+20966852*x2^13*x1^3*x5^2+26482540*x2^13*x1^4*x3+34071130*x2^13*x1^4*x3^2-6994970*x2^13*x1^4*x3^4+28564640*x2^13*x1^4*x3^8+3424390*x2^13*x1^4*x5-35428925*x2^13*x1^5*x3-11070570*x2^13*x1^5*x3^2-65423232*x2^15*x1^3*x3-84170304*x2^15*x1^3*x3^2+17280576*x2^15*x1^3*x3^4-70566912*x2^15*x1^3*x3^8-8459712*x2^15*x1^3*x5+87524640*x2^15*x1^4*x3+27349056*x2^15*x1^4*x3^2+10718418*x2^15*x1^5*x5^3-48780480*x2^17*x1^2*x3-62758560*x2^17*x1^2*x3^2+12884640*x2^17*x1^2*x3^4-52615680*x2^17*x1^2*x3^8-6307680*x2^17*x1^2*x5+65259600*x2^17*x1^3*x3+20391840*x2^17*x1^3*x3^2+19216780*x2^17*x1^7*x5^2+145468652*x2^21*x1^2*x3+187152794*x2^21*x1^2*x3^2-38423386*x2^21*x1^2*x3^4+156905632*x2^21*x1^2*x3^8+18810182*x2^21*x1^2*x5-194611165*x2^21*x1^3*x3-60810666*x2^21*x1^3*x3^2-15078138*x2^24*x1^2*x5^3-2088646*x2^24*x1^3*x5^2+101467821*x4*x3^6*x5-3172323*x4*x3^7*x5^3-142438233*x4*x3^8*x5-35509551*x4*x3^10*x5^3-28550907*x4*x3^12*x5^9+10931025*x4*x3^16*x5^3-118510917*x4*x3^18*x5^7+22550472*x4*x3^19*x5^4-107365923*x4*x3^23*x5^3-87885441*x4^2*x3^13*x5^2+69763197*x4^2*x3^18*x5^2-37612029*x4^3*x3^15*x5^6-120064256*x1*x4*x3^6*x5+3753728*x1*x4*x3^7*x5^3+168543488*x1*x4*x3^8*x5+42017536*x1*x4*x3^10*x5^3+33783552*x1*x4*x3^12*x5^9-12934400*x1*x4*x3^16*x5^3+140230912*x1*x4*x3^18*x5^7-26683392*x1*x4*x3^19*x5^4+17554761*x1*x4*x3^21*x5^7+127043328*x1*x4*x3^23*x5^3+103992576*x1*x4^2*x3^13*x5^2-82548992*x1*x4^2*x3^18*x5^2+44505344*x1*x4^3*x3^15*x5^6+20439718*x1^2*x4*x3^6*x5-639034*x1^2*x4*x3^7*x5^3-28692814*x1^2*x4*x3^8*x5-7153058*x1^2*x4*x3^10*x5^3-5751306*x1^2*x4*x3^12*x5^9+2201950*x1^2*x4*x3^16*x5^3-23872886*x1^2*x4*x3^18*x5^7+4542576*x1^2*x4*x3^19*x5^4-20772096*x1^2*x4*x3^21*x5^7-21627834*x1^2*x4*x3^23*x5^3-17703678*x1^2*x4^2*x3^13*x5^2+14053126*x1^2*x4^2*x3^18*x5^2-7576582*x1^2*x4^3*x3^15*x5^6+3536238*x1^3*x4*x3^21*x5^7-56944384*x2*x1*x3^14*x5^2+9694202*x2*x1^2*x3^14*x5^2+157660685*x2^2*x4*x3^6*x5-4929155*x2^2*x4*x3^7*x5^3-221320505*x2^2*x4*x3^8*x5-55174735*x2^2*x4*x3^10*x5^3-44362395*x2^2*x4*x3^12*x5^9+16984625*x2^2*x4*x3^16*x5^3-184142245*x2^2*x4*x3^18*x5^7+35038920*x2^2*x4*x3^19*x5^4-166825155*x2^2*x4*x3^23*x5^3-136556385*x2^2*x4^2*x3^13*x5^2+108398045*x2^2*x4^2*x3^18*x5^2-58441565*x2^2*x4^3*x3^15*x5^6+207232000*x2^3*x1*x3^5*x5^2+165040000*x2^3*x1*x3^6*x5-275056000*x2^3*x1*x3^6*x5^4-80880000*x2^3*x1*x3^7*x5-294048000*x2^3*x1*x3^8*x5^3+44576000*x2^3*x1*x3^10*x5-251536000*x2^3*x1*x3^13*x5+159472000*x2^3*x1*x3^13*x5^3+244256000*x2^3*x1*x3^13*x5^5-249568000*x2^3*x1*x3^14*x5^6+22320000*x2^3*x1*x3^19*x5^2+224080000*x2^3*x1*x3^19*x5^3+199568000*x2^3*x1*x3^19*x5^6-5408000*x2^3*x1*x3^22*x5^4+160180202*x2^3*x4*x3^6*x5-5007926*x2^3*x4*x3^7*x5^3-224857346*x2^3*x4*x3^8*x5-56056462*x2^3*x4*x3^10*x5^3-45071334*x2^3*x4*x3^12*x5^9+17256050*x2^3*x4*x3^16*x5^3-187084954*x2^3*x4*x3^18*x5^7+35598864*x2^3*x4*x3^19*x5^4-169491126*x2^3*x4*x3^23*x5^3-138738642*x2^3*x4^2*x3^13*x5^2+110130314*x2^3*x4^2*x3^18*x5^2-59375498*x2^3*x4^3*x3^15*x5^6+145624080*x2^4*x1*x3*x5^2+187352760*x2^4*x1*x3^2*x5^2-38464440*x2^4*x1*x3^4*x5^2-157755360*x2^4*x1*x3^5*x5^4-125636700*x2^4*x1*x3^6*x5^3+209386380*x2^4*x1*x3^6*x5^6+61569900*x2^4*x1*x3^7*x5^3+157073280*x2^4*x1*x3^8*x5^2+223844040*x2^4*x1*x3^8*x5^5-33933480*x2^4*x1*x3^10*x5^3+191481780*x2^4*x1*x3^13*x5^3-121398060*x2^4*x1*x3^13*x5^5-185939880*x2^4*x1*x3^13*x5^7-82768000*x2^4*x1*x3^14*x5^2+189983640*x2^4*x1*x3^14*x5^8-16991100*x2^4*x1*x3^19*x5^4-170580900*x2^4*x1*x3^19*x5^5-151921140*x2^4*x1*x3^19*x5^8+4116840*x2^4*x1*x3^22*x5^6-194819100*x2^4*x1^2*x3*x5^2-60875640*x2^4*x1^2*x3^2*x5^2+63007140*x2^5*x1*x3^14*x5^4+113356451*x2^5*x4*x3^6*x5-3544013*x2^5*x4*x3^7*x5^3-159127223*x2^5*x4*x3^8*x5-39670081*x2^5*x4*x3^10*x5^3-31896117*x2^5*x4*x3^12*x5^9+12211775*x2^5*x4*x3^16*x5^3-132396427*x2^5*x4*x3^18*x5^7+25192632*x2^5*x4*x3^19*x5^4-119945613*x2^5*x4*x3^23*x5^3-98182671*x2^5*x4^2*x3^13*x5^2+77937107*x2^5*x4^2*x3^18*x5^2-42018899*x2^5*x4^3*x3^15*x5^6+148960952*x2^6*x1^2*x3^5*x5^2+118632815*x2^6*x1^2*x3^6*x5-197713691*x2^6*x1^2*x3^6*x5^4-58137555*x2^6*x1^2*x3^7*x5-211365378*x2^6*x1^2*x3^8*x5^3+32041786*x2^6*x1^2*x3^10*x5-180807221*x2^6*x1^2*x3^13*x5+114630467*x2^6*x1^2*x3^13*x5^3+175574266*x2^6*x1^2*x3^13*x5^5-179392598*x2^6*x1^2*x3^14*x5^6+16043895*x2^6*x1^2*x3^19*x5^2+161071505*x2^6*x1^2*x3^19*x5^3+143451973*x2^6*x1^2*x3^19*x5^6-3887338*x2^6*x1^2*x3^22*x5^4-59494673*x2^7*x1^2*x3^14*x5^2+143388308*x2^7*x1^4*x3*x5^4+184476326*x2^7*x1^4*x3^2*x5^4-37873894*x2^7*x1^4*x3^4*x5^4-155333336*x2^7*x1^4*x3^5*x5^6-123707795*x2^7*x1^4*x3^6*x5^5+206171663*x2^7*x1^4*x3^6*x5^8+60624615*x2^7*x1^4*x3^7*x5^5+154661728*x2^7*x1^4*x3^8*x5^4+220407354*x2^7*x1^4*x3^8*x5^7-33412498*x2^7*x1^4*x3^10*x5^5+188541953*x2^7*x1^4*x3^13*x5^5-119534231*x2^7*x1^4*x3^13*x5^7-183085138*x2^7*x1^4*x3^13*x5^9+187066814*x2^7*x1^4*x3^14*x5^10-16730235*x2^7*x1^4*x3^19*x5^6-167961965*x2^7*x1^4*x3^19*x5^7-149588689*x2^7*x1^4*x3^19*x5^10+4053634*x2^7*x1^4*x3^22*x5^8-191828035*x2^7*x1^5*x3*x5^4-59941014*x2^7*x1^5*x3^2*x5^4+18281450*x2^8*x1*x3*x5-153157400*x2^8*x1*x3^6*x5^2-121974875*x2^8*x1*x3^7*x5+203283575*x2^8*x1*x3^7*x5^4+59775375*x2^8*x1*x3^8*x5+217319850*x2^8*x1*x3^9*x5^3-32944450*x2^8*x1*x3^11*x5+185900825*x2^8*x1*x3^14*x5-117859775*x2^8*x1*x3^14*x5^3-180520450*x2^8*x1*x3^14*x5^5+184446350*x2^8*x1*x3^15*x5^6-16495875*x2^8*x1*x3^20*x5^2-165609125*x2^8*x1*x3^20*x5^3-147493225*x2^8*x1*x3^20*x5^6+3996850*x2^8*x1*x3^23*x5^4+62039789*x2^8*x1^4*x3^14*x5^6+291403588*x2^9*x1*x3*x5+374905486*x2^9*x1*x3^2*x5-76969934*x2^9*x1*x3^4*x5-315679096*x2^9*x1*x3^5*x5^3-251407495*x2^9*x1*x3^6*x5^2+418996243*x2^9*x1*x3^6*x5^5+123205515*x2^9*x1*x3^7*x5^2+314314208*x2^9*x1*x3^8*x5+447926994*x2^9*x1*x3^8*x5^4-67903178*x2^9*x1*x3^10*x5^2+383167933*x2^9*x1*x3^13*x5^2-242925691*x2^9*x1*x3^13*x5^4-372078218*x2^9*x1*x3^13*x5^6+380170054*x2^9*x1*x3^14*x5^7+61170725*x2^9*x1*x3^15*x5^2-34000335*x2^9*x1*x3^19*x5^3-341343865*x2^9*x1*x3^19*x5^4-304004429*x2^9*x1*x3^19*x5^7+8238074*x2^9*x1*x3^22*x5^5-389846135*x2^9*x1^2*x3*x5-121816254*x2^9*x1^2*x3^2*x5-185861200*x2^9*x1^3*x3^5*x5^2-148020250*x2^9*x1^3*x3^6*x5+246690850*x2^9*x1^3*x3^6*x5^4+72539250*x2^9*x1^3*x3^7*x5+263724300*x2^9*x1^3*x3^8*x5^3-39979100*x2^9*x1^3*x3^10*x5+225596350*x2^9*x1^3*x3^13*x5-143026450*x2^9*x1^3*x3^13*x5^3-219067100*x2^9*x1^3*x3^13*x5^5+223831300*x2^9*x1^3*x3^14*x5^6-20018250*x2^9*x1^3*x3^19*x5^2-200971750*x2^9*x1^3*x3^19*x5^3-178987550*x2^9*x1^3*x3^19*x5^6+4850300*x2^9*x1^3*x3^22*x5^4-184313696*x2^9*x1^6*x3*x5-237128912*x2^9*x1^6*x3^2*x5+48683728*x2^9*x1^6*x3^4*x5+199668032*x2^9*x1^6*x3^5*x5^3+159016040*x2^9*x1^6*x3^6*x5^2-265016456*x2^9*x1^6*x3^6*x5^5-77927880*x2^9*x1^6*x3^7*x5^2-198804736*x2^9*x1^6*x3^8*x5-283315248*x2^9*x1^6*x3^8*x5^4+42948976*x2^9*x1^6*x3^10*x5^2-242354936*x2^9*x1^6*x3^13*x5^2+153651272*x2^9*x1^6*x3^13*x5^4+235340656*x2^9*x1^6*x3^13*x5^6-240458768*x2^9*x1^6*x3^14*x5^7+21505320*x2^9*x1^6*x3^19*x5^3+215901080*x2^9*x1^6*x3^19*x5^4+192283768*x2^9*x1^6*x3^19*x5^7-5210608*x2^9*x1^6*x3^22*x5^5+246578920*x2^9*x1^7*x3*x5+77049168*x2^9*x1^7*x3^2*x5+126081529*x2^10*x1*x3^14*x5^3+74232550*x2^10*x1^3*x3^14*x5^2+82789184*x2^10*x1^6*x3^5*x5^2+65933480*x2^10*x1^6*x3^6*x5-109884872*x2^10*x1^6*x3^6*x5^4-32311560*x2^10*x1^6*x3^7*x5-117472176*x2^10*x1^6*x3^8*x5^3+17808112*x2^10*x1^6*x3^10*x5-100488632*x2^10*x1^6*x3^13*x5+63709064*x2^10*x1^6*x3^13*x5^3+97580272*x2^10*x1^6*x3^13*x5^5-79746968*x2^10*x1^6*x3^14*x5^3-99702416*x2^10*x1^6*x3^14*x5^6+8916840*x2^10*x1^6*x3^19*x5^2+89519960*x2^10*x1^6*x3^19*x5^3+79727416*x2^10*x1^6*x3^19*x5^6-2160496*x2^10*x1^6*x3^22*x5^4+89006144*x2^11*x1^2*x3^5*x5^2+70884680*x2^11*x1^2*x3^6*x5-118136552*x2^11*x1^2*x3^6*x5^4-34737960*x2^11*x1^2*x3^7*x5-126293616*x2^11*x1^2*x3^8*x5^3+19145392*x2^11*x1^2*x3^10*x5-108034712*x2^11*x1^2*x3^13*x5+68493224*x2^11*x1^2*x3^13*x5^3+104907952*x2^11*x1^2*x3^13*x5^5-107189456*x2^11*x1^2*x3^14*x5^6+9586440*x2^11*x1^2*x3^19*x5^2+96242360*x2^11*x1^2*x3^19*x5^3+85714456*x2^11*x1^2*x3^19*x5^6-2322736*x2^11*x1^2*x3^22*x5^4-33065816*x2^11*x1^6*x3^14*x5^2-35548856*x2^12*x1^2*x3^14*x5^2+162147272*x2^13*x1^3*x3*x5+208610684*x2^13*x1^3*x3^2*x5-42828796*x2^13*x1^3*x3^4*x5-175655024*x2^13*x1^3*x3^5*x5^3-139892030*x2^13*x1^3*x3^6*x5^2+233144342*x2^13*x1^3*x3^6*x5^5+68555910*x2^13*x1^3*x3^7*x5^2+174895552*x2^13*x1^3*x3^8*x5+249242436*x2^13*x1^3*x3^8*x5^4-37783732*x2^13*x1^3*x3^10*x5^2+213208202*x2^13*x1^3*x3^13*x5^2-135172454*x2^13*x1^3*x3^13*x5^4-207037492*x2^13*x1^3*x3^13*x5^6+211540076*x2^13*x1^3*x3^14*x5^7-18918990*x2^13*x1^3*x3^19*x5^3-189935810*x2^13*x1^3*x3^19*x5^4-169158826*x2^13*x1^3*x3^19*x5^7+4583956*x2^13*x1^3*x3^22*x5^5-216924190*x2^13*x1^4*x3*x5-67782876*x2^13*x1^4*x3^2*x5-28688680*x2^13*x1^4*x3^5*x5^2-22847725*x2^13*x1^4*x3^6*x5+38078065*x2^13*x1^4*x3^6*x5^4+11196825*x2^13*x1^4*x3^7*x5+40707270*x2^13*x1^4*x3^8*x5^3-6170990*x2^13*x1^4*x3^10*x5+34822015*x2^13*x1^4*x3^13*x5-22076905*x2^13*x1^4*x3^13*x5^3-33814190*x2^13*x1^4*x3^13*x5^5+34549570*x2^13*x1^4*x3^14*x5^6-3089925*x2^13*x1^4*x3^19*x5^2-31021075*x2^13*x1^4*x3^19*x5^3-27627695*x2^13*x1^4*x3^19*x5^6+748670*x2^13*x1^4*x3^22*x5^4+70156226*x2^14*x1^3*x3^14*x5^3+11458195*x2^14*x1^4*x3^14*x5^2+70873344*x2^15*x1^3*x3^5*x5^2+56443680*x2^15*x1^3*x3^6*x5-94069152*x2^15*x1^3*x3^6*x5^4-27660960*x2^15*x1^3*x3^7*x5-100564416*x2^15*x1^3*x3^8*x5^3+15244992*x2^15*x1^3*x3^10*x5-86025312*x2^15*x1^3*x3^13*x5+54539424*x2^15*x1^3*x3^13*x5^3+83535552*x2^15*x1^3*x3^13*x5^5-85352256*x2^15*x1^3*x3^14*x5^6+7633440*x2^15*x1^3*x3^19*x5^2+76635360*x2^15*x1^3*x3^19*x5^3+68252256*x2^15*x1^3*x3^19*x5^6-1849536*x2^15*x1^3*x3^22*x5^4+82890948*x2^15*x1^5*x3*x5^2+106643406*x2^15*x1^5*x3^2*x5^2-21894414*x2^15*x1^5*x3^4*x5^2-89796216*x2^15*x1^5*x3^5*x5^4-71513895*x2^15*x1^5*x3^6*x5^3+119185203*x2^15*x1^5*x3^6*x5^6+35046315*x2^15*x1^5*x3^7*x5^3+89407968*x2^15*x1^5*x3^8*x5^2+127414674*x2^15*x1^5*x3^8*x5^5-19315338*x2^15*x1^5*x3^10*x5^3+108993693*x2^15*x1^5*x3^13*x5^3-69101211*x2^15*x1^5*x3^13*x5^5-105839178*x2^15*x1^5*x3^13*x5^7+108140934*x2^15*x1^5*x3^14*x5^8-9671535*x2^15*x1^5*x3^19*x5^4-97096665*x2^15*x1^5*x3^19*x5^5-86475309*x2^15*x1^5*x3^19*x5^8+2343354*x2^15*x1^5*x3^22*x5^6-110893335*x2^15*x1^6*x3*x5^2-34651134*x2^15*x1^6*x3^2*x5^2-28306656*x2^16*x1^3*x3^14*x5^2+189383040*x2^16*x1^3*x4*x3+243650880*x2^16*x1^3*x4*x3^2-50022720*x2^16*x1^3*x4*x3^4+204272640*x2^16*x1^3*x4*x3^8+24488640*x2^16*x1^3*x4*x5-253360800*x2^16*x1^4*x4*x3-79168320*x2^16*x1^4*x4*x3^2-12034064*x2^16*x1^4*x4*x5^2+35864409*x2^16*x1^5*x3^14*x5^4+52844160*x2^17*x1^2*x3^5*x5^2+42085200*x2^17*x1^2*x3^6*x5-70139280*x2^17*x1^2*x3^6*x5^4-20624400*x2^17*x1^2*x3^7*x5-74982240*x2^17*x1^2*x3^8*x5^3+11366880*x2^17*x1^2*x3^10*x5-64141680*x2^17*x1^2*x3^13*x5+40665360*x2^17*x1^2*x3^13*x5^3+62285280*x2^17*x1^2*x3^13*x5^5-63639840*x2^17*x1^2*x3^14*x5^6+5691600*x2^17*x1^2*x3^19*x5^2+57140400*x2^17*x1^2*x3^19*x5^3+50889840*x2^17*x1^2*x3^19*x5^6-1379040*x2^17*x1^2*x3^22*x5^4+148613080*x2^17*x1^7*x3*x5+191198260*x2^17*x1^7*x3^2*x5-39253940*x2^17*x1^7*x3^4*x5-160993360*x2^17*x1^7*x3^5*x5^3-128215450*x2^17*x1^7*x3^6*x5^2+213684130*x2^17*x1^7*x3^6*x5^5+62833650*x2^17*x1^7*x3^7*x5^2+160297280*x2^17*x1^7*x3^8*x5+228438540*x2^17*x1^7*x3^8*x5^4-34629980*x2^17*x1^7*x3^10*x5^2+195412030*x2^17*x1^7*x3^13*x5^2-123889810*x2^17*x1^7*x3^13*x5^4-189756380*x2^17*x1^7*x3^13*x5^6+193883140*x2^17*x1^7*x3^14*x5^7-17339850*x2^17*x1^7*x3^19*x5^3-174082150*x2^17*x1^7*x3^19*x5^4-155039390*x2^17*x1^7*x3^19*x5^7+4201340*x2^17*x1^7*x3^22*x5^5-198817850*x2^17*x1^8*x3*x5-62125140*x2^17*x1^8*x3^2*x5-21105840*x2^18*x1^2*x3^14*x5^2-111346228*x2^18*x1^4*x4*x3-143252566*x2^18*x1^4*x4*x3^2+29410454*x2^18*x1^4*x4*x3^4-120100448*x2^18*x1^4*x4*x3^8-14397898*x2^18*x1^4*x4*x5+148961435*x2^18*x1^5*x4*x3+46546374*x2^18*x1^5*x4*x3^2+64300390*x2^18*x1^7*x3^14*x5^3-13722296*x2^19*x1^3*x4*x5^2+20695836*x2^20*x1^2*x4^2*x3+26626242*x2^20*x1^2*x4^2*x3^2-5466498*x2^20*x1^2*x4^2*x3^4+22322976*x2^20*x1^2*x4^2*x3^8+2676126*x2^20*x1^2*x4^2*x5-27687345*x2^20*x1^3*x4^2*x3-8651538*x2^20*x1^3*x4^2*x3^2-2894112*x2^20*x1^5*x4*x5^2-157586984*x2^21*x1^2*x3^5*x5^2-125502605*x2^21*x1^2*x3^6*x5+209162897*x2^21*x1^2*x3^6*x5^4+61504185*x2^21*x1^2*x3^7*x5+223605126*x2^21*x1^2*x3^8*x5^3-33897262*x2^21*x1^2*x3^10*x5+191277407*x2^21*x1^2*x3^13*x5-121268489*x2^21*x1^2*x3^13*x5^3-185741422*x2^21*x1^2*x3^13*x5^5+189780866*x2^21*x1^2*x3^14*x5^6-16972965*x2^21*x1^2*x3^19*x5^2-170398835*x2^21*x1^2*x3^19*x5^3-151758991*x2^21*x1^2*x3^19*x5^6+4112446*x2^21*x1^2*x3^22*x5^4+134385440*x2^21*x1^3*x4*x3+172893680*x2^21*x1^3*x4*x3^2-35495920*x2^21*x1^3*x4*x3^4+144951040*x2^21*x1^3*x4*x3^8+17377040*x2^21*x1^3*x4*x5+13440924*x2^21*x1^3*x4*x5^2-275766568*x2^21*x1^4*x4*x3-179664216*x2^21*x1^4*x4*x3^2+25352424*x2^21*x1^4*x4*x3^4-103529088*x2^21*x1^4*x4*x3^8-12411288*x2^21*x1^4*x4*x5+128407860*x2^21*x1^5*x4*x3+40123944*x2^21*x1^5*x4*x3^2+62939891*x2^22*x1^2*x3^14*x5^2-116606868*x2^24*x1^2*x3*x5^2-150020646*x2^24*x1^2*x3^2*x5^2+30799974*x2^24*x1^2*x3^4*x5^2+126320856*x2^24*x1^2*x3^5*x5^4+100602195*x2^24*x1^2*x3^6*x5^3-167663823*x2^24*x1^2*x3^6*x5^6-49301415*x2^24*x1^2*x3^7*x5^3-125774688*x2^24*x1^2*x3^8*x5^2-179240634*x2^24*x1^2*x3^8*x5^5+27171858*x2^24*x1^2*x3^10*x5^3-153326913*x2^24*x1^2*x3^13*x5^3+97208151*x2^24*x1^2*x3^13*x5^5+148889298*x2^24*x1^2*x3^13*x5^7-152127294*x2^24*x1^2*x3^14*x5^8+13605435*x2^24*x1^2*x3^19*x5^4+136590765*x2^24*x1^2*x3^19*x5^5+121649169*x2^24*x1^2*x3^19*x5^8-3296514*x2^24*x1^2*x3^22*x5^6-16152556*x2^24*x1^3*x3*x5+155999235*x2^24*x1^3*x3*x5^2-20781082*x2^24*x1^3*x3^2*x5+48745494*x2^24*x1^3*x3^2*x5^2+4266458*x2^24*x1^3*x3^4*x5+17498152*x2^24*x1^3*x3^5*x5^3+13935565*x2^24*x1^3*x3^6*x5^2-23225041*x2^24*x1^3*x3^6*x5^5-6829305*x2^24*x1^3*x3^7*x5^2-17422496*x2^24*x1^3*x3^8*x5-24828678*x2^24*x1^3*x3^8*x5^4+3763886*x2^24*x1^3*x3^10*x5^2-21239071*x2^24*x1^3*x3^13*x5^2+13465417*x2^24*x1^3*x3^13*x5^4+20624366*x2^24*x1^3*x3^13*x5^6-21072898*x2^24*x1^3*x3^14*x5^7+1884645*x2^24*x1^3*x3^19*x5^3+18920755*x2^24*x1^3*x3^19*x5^4+16851023*x2^24*x1^3*x3^19*x5^7-456638*x2^24*x1^3*x3^22*x5^5+21609245*x2^24*x1^4*x3*x5+6752298*x2^24*x1^4*x3^2*x5-50452269*x2^25*x1^2*x3^14*x5^4-6988723*x2^25*x1^3*x3^14*x5^3+27276585*x2^2*x1*x4*x3^21*x5^7-174512000*x2^3*x1*x4*x3^6*x5+5456000*x2^3*x1*x4*x3^7*x5^3+244976000*x2^3*x1*x4*x3^8*x5+61072000*x2^3*x1*x4*x3^10*x5^3+49104000*x2^3*x1*x4*x3^12*x5^9-18800000*x2^3*x1*x4*x3^16*x5^3+203824000*x2^3*x1*x4*x3^18*x5^7-38784000*x2^3*x1*x4*x3^19*x5^4+27712482*x2^3*x1*x4*x3^21*x5^7+184656000*x2^3*x1*x4*x3^23*x5^3+151152000*x2^3*x1*x4^2*x3^13*x5^2-119984000*x2^3*x1*x4^2*x3^18*x5^2+64688000*x2^3*x1*x4^3*x3^15*x5^6-30192000*x2^3*x1^2*x4*x3^21*x5^7+132847260*x2^4*x1*x4*x3^6*x5^3-4153380*x2^4*x1*x4*x3^7*x5^5-186487980*x2^4*x1*x4*x3^8*x5^3-46491060*x2^4*x1*x4*x3^10*x5^5-37380420*x2^4*x1*x4*x3^12*x5^11+14311500*x2^4*x1*x4*x3^16*x5^5-155161020*x2^4*x1*x4*x3^18*x5^9+29524320*x2^4*x1*x4*x3^19*x5^6-140569380*x2^4*x1*x4*x3^23*x5^5-115064460*x2^4*x1*x4^2*x3^13*x5^4+91337820*x2^4*x1*x4^2*x3^18*x5^4-49243740*x2^4*x1*x4^3*x3^15*x5^8+22983660*x2^4*x1^2*x4*x3^21*x5^9+19611591*x2^5*x1*x4*x3^21*x5^7-125441407*x2^6*x1^2*x4*x3^6*x5+3921841*x2^6*x1^2*x4*x3^7*x5^3+176091811*x2^6*x1^2*x4*x3^8*x5+43899317*x2^6*x1^2*x4*x3^10*x5^3+35296569*x2^6*x1^2*x4*x3^12*x5^9-13513675*x2^6*x1^2*x4*x3^16*x5^3+146511239*x2^6*x1^2*x4*x3^18*x5^7-27878424*x2^6*x1^2*x4*x3^19*x5^4+132733041*x2^6*x1^2*x4*x3^23*x5^3+108649947*x2^6*x1^2*x4^2*x3^13*x5^2-86245999*x2^6*x1^2*x4^2*x3^18*x5^2+46498543*x2^6*x1^2*x4^3*x3^15*x5^6-21702387*x2^6*x1^3*x4*x3^21*x5^7+130807651*x2^7*x1^4*x4*x3^6*x5^5-4089613*x2^7*x1^4*x4*x3^7*x5^7-183624823*x2^7*x1^4*x4*x3^8*x5^5-45777281*x2^7*x1^4*x4*x3^10*x5^7-36806517*x2^7*x1^4*x4*x3^12*x5^13+14091775*x2^7*x1^4*x4*x3^16*x5^7-152778827*x2^7*x1^4*x4*x3^18*x5^11+29071032*x2^7*x1^4*x4*x3^19*x5^8-138411213*x2^7*x1^4*x4*x3^23*x5^7-113297871*x2^7*x1^4*x4^2*x3^13*x5^6+89935507*x2^7*x1^4*x4^2*x3^18*x5^6-48487699*x2^7*x1^4*x4^3*x3^15*x5^10+22630791*x2^7*x1^5*x4*x3^21*x5^11+128975275*x2^8*x1*x4*x3^7*x5-4032325*x2^8*x1*x4*x3^8*x5^3-181052575*x2^8*x1*x4*x3^9*x5-45136025*x2^8*x1*x4*x3^11*x5^3-36290925*x2^8*x1*x4*x3^13*x5^9+13894375*x2^8*x1*x4*x3^17*x5^3-150638675*x2^8*x1*x4*x3^19*x5^7+28663800*x2^8*x1*x4*x3^20*x5^4-136472325*x2^8*x1*x4*x3^24*x5^3-111710775*x2^8*x1*x4^2*x3^14*x5^2+88675675*x2^8*x1*x4^2*x3^19*x5^2-47808475*x2^8*x1*x4^3*x3^16*x5^6+22313775*x2^8*x1^2*x4*x3^22*x5^7+265836311*x2^9*x1*x4*x3^6*x5^2-8311193*x2^9*x1*x4*x3^7*x5^4-373175003*x2^9*x1*x4*x3^8*x5^2-93031741*x2^9*x1*x4*x3^10*x5^4-74800737*x2^9*x1*x4*x3^12*x5^10+28638275*x2^9*x1*x4*x3^16*x5^4-310487647*x2^9*x1*x4*x3^18*x5^8+59080152*x2^9*x1*x4*x3^19*x5^5-281288793*x2^9*x1*x4*x3^23*x5^4-230251731*x2^9*x1*x4^2*x3^13*x5^3+182773127*x2^9*x1*x4^2*x3^18*x5^3-98540039*x2^9*x1*x4^3*x3^15*x5^7+45991851*x2^9*x1^2*x4*x3^21*x5^8+156515450*x2^9*x1^3*x4*x3^6*x5-4893350*x2^9*x1^3*x4*x3^7*x5^3-219712850*x2^9*x1^3*x4*x3^8*x5-54773950*x2^9*x1^3*x4*x3^10*x5^3-44040150*x2^9*x1^3*x4*x3^12*x5^9+16861250*x2^9*x1^3*x4*x3^16*x5^3-182804650*x2^9*x1^3*x4*x3^18*x5^7+34784400*x2^9*x1^3*x4*x3^19*x5^4-165613350*x2^9*x1^3*x4*x3^23*x5^3-135564450*x2^9*x1^3*x4^2*x3^13*x5^2+107610650*x2^9*x1^3*x4^2*x3^18*x5^2-58017050*x2^9*x1^3*x4^3*x3^15*x5^6+27078450*x2^9*x1^4*x4*x3^21*x5^7-168142312*x2^9*x1^6*x4*x3^6*x5^2+5256856*x2^9*x1^6*x4*x3^7*x5^4+236034376*x2^9*x1^6*x4*x3^8*x5^2+58842872*x2^9*x1^6*x4*x3^10*x5^4+47311704*x2^9*x1^6*x4*x3^12*x5^10-18113800*x2^9*x1^6*x4*x3^16*x5^4+196384424*x2^9*x1^6*x4*x3^18*x5^8-37368384*x2^9*x1^6*x4*x3^19*x5^5+177916056*x2^9*x1^6*x4*x3^23*x5^4+145634952*x2^9*x1^6*x4^2*x3^13*x5^3-115604584*x2^9*x1^6*x4^2*x3^18*x5^3+62326888*x2^9*x1^6*x4^3*x3^15*x5^7-29089992*x2^9*x1^7*x4*x3^21*x5^8-69717544*x2^10*x1^6*x4*x3^6*x5+2179672*x2^10*x1^6*x4*x3^7*x5^3+97867912*x2^10*x1^6*x4*x3^8*x5+24398264*x2^10*x1^6*x4*x3^10*x5^3+19617048*x2^10*x1^6*x4*x3^12*x5^9-7510600*x2^10*x1^6*x4*x3^16*x5^3+81427688*x2^10*x1^6*x4*x3^18*x5^7-15494208*x2^10*x1^6*x4*x3^19*x5^4+73770072*x2^10*x1^6*x4*x3^23*x5^3+60385224*x2^10*x1^6*x4^2*x3^13*x5^2-47933608*x2^10*x1^6*x4^2*x3^18*x5^2+25842856*x2^10*x1^6*x4^3*x3^15*x5^6-12061704*x2^10*x1^7*x4*x3^21*x5^7-74952904*x2^11*x1^2*x4*x3^6*x5+2343352*x2^11*x1^2*x4*x3^7*x5^3+105217192*x2^11*x1^2*x4*x3^8*x5+26230424*x2^11*x1^2*x4*x3^10*x5^3+21090168*x2^11*x1^2*x4*x3^12*x5^9-8074600*x2^11*x1^2*x4*x3^16*x5^3+87542408*x2^11*x1^2*x4*x3^18*x5^7-16657728*x2^11*x1^2*x4*x3^19*x5^4+79309752*x2^11*x1^2*x4*x3^23*x5^3+64919784*x2^11*x1^2*x4^2*x3^13*x5^2-51533128*x2^11*x1^2*x4^2*x3^18*x5^2+27783496*x2^11*x1^2*x4^3*x3^15*x5^6-12967464*x2^11*x1^3*x4*x3^21*x5^7+147920734*x2^13*x1^3*x4*x3^6*x5^2-4624642*x2^13*x1^3*x4*x3^7*x5^4-207647782*x2^13*x1^3*x4*x3^8*x5^2-51766154*x2^13*x1^3*x4*x3^10*x5^4-41621778*x2^13*x1^3*x4*x3^12*x5^10+15935350*x2^13*x1^3*x4*x3^16*x5^4-172766318*x2^13*x1^3*x4*x3^18*x5^8+32874288*x2^13*x1^3*x4*x3^19*x5^5-156519042*x2^13*x1^3*x4*x3^23*x5^4-128120214*x2^13*x1^3*x4^2*x3^13*x5^3+101701438*x2^13*x1^3*x4^2*x3^18*x5^3-54831166*x2^13*x1^3*x4^3*x3^15*x5^7+24159005*x2^13*x1^4*x4*x3^6*x5-755315*x2^13*x1^4*x4*x3^7*x5^3-33913865*x2^13*x1^4*x4*x3^8*x5-8454655*x2^13*x1^4*x4*x3^10*x5^3-6797835*x2^13*x1^4*x4*x3^12*x5^9+2602625*x2^13*x1^4*x4*x3^16*x5^3-28216885*x2^13*x1^4*x4*x3^18*x5^7+5369160*x2^13*x1^4*x4*x3^19*x5^4+25591494*x2^13*x1^4*x4*x3^21*x5^8-25563315*x2^13*x1^4*x4*x3^23*x5^3-20925105*x2^13*x1^4*x4^2*x3^13*x5^2+16610285*x2^13*x1^4*x4^2*x3^18*x5^2-8955245*x2^13*x1^4*x4^3*x3^15*x5^6+4179705*x2^13*x1^5*x4*x3^21*x5^7-59683104*x2^15*x1^3*x4*x3^6*x5+1865952*x2^15*x1^3*x4*x3^7*x5^3+83781792*x2^15*x1^3*x4*x3^8*x5+20886624*x2^15*x1^3*x4*x3^10*x5^3+16793568*x2^15*x1^3*x4*x3^12*x5^9-6429600*x2^15*x1^3*x4*x3^16*x5^3+69707808*x2^15*x1^3*x4*x3^18*x5^7-13264128*x2^15*x1^3*x4*x3^19*x5^4+63152352*x2^15*x1^3*x4*x3^23*x5^3+51693984*x2^15*x1^3*x4^2*x3^13*x5^2-41034528*x2^15*x1^3*x4^2*x3^18*x5^2+22123296*x2^15*x1^3*x4^3*x3^15*x5^6-10325664*x2^15*x1^4*x4*x3^21*x5^7+75618231*x2^15*x1^5*x4*x3^6*x5^3-2364153*x2^15*x1^5*x4*x3^7*x5^5-106151163*x2^15*x1^5*x4*x3^8*x5^3-26463261*x2^15*x1^5*x4*x3^10*x5^5-21277377*x2^15*x1^5*x4*x3^12*x5^11+8146275*x2^15*x1^5*x4*x3^16*x5^5-88319487*x2^15*x1^5*x4*x3^18*x5^9+16805592*x2^15*x1^5*x4*x3^19*x5^6-80013753*x2^15*x1^5*x4*x3^23*x5^5-65496051*x2^15*x1^5*x4^2*x3^13*x5^4+51990567*x2^15*x1^5*x4^2*x3^18*x5^4-28030119*x2^15*x1^5*x4^3*x3^15*x5^8+13082571*x2^15*x1^6*x4*x3^21*x5^9-205159680*x2^16*x1^3*x4*x3^5*x5^2-163389600*x2^16*x1^3*x4*x3^6*x5+272305440*x2^16*x1^3*x4*x3^6*x5^4+80071200*x2^16*x1^3*x4*x3^7*x5+291107520*x2^16*x1^3*x4*x3^8*x5^3-44130240*x2^16*x1^3*x4*x3^10*x5+249020640*x2^16*x1^3*x4*x3^13*x5-157877280*x2^16*x1^3*x4*x3^13*x5^3-241813440*x2^16*x1^3*x4*x3^13*x5^5+247072320*x2^16*x1^3*x4*x3^14*x5^6-22096800*x2^16*x1^3*x4*x3^19*x5^2-221839200*x2^16*x1^3*x4*x3^19*x5^3-197572320*x2^16*x1^3*x4*x3^19*x5^6+5353920*x2^16*x1^3*x4*x3^22*x5^4+172766880*x2^16*x1^3*x4^2*x3^6*x5-5401440*x2^16*x1^3*x4^2*x3^7*x5^3-242526240*x2^16*x1^3*x4^2*x3^8*x5-60461280*x2^16*x1^3*x4^2*x3^10*x5^3-48612960*x2^16*x1^3*x4^2*x3^12*x5^9+18612000*x2^16*x1^3*x4^2*x3^16*x5^3-201785760*x2^16*x1^3*x4^2*x3^18*x5^7+38396160*x2^16*x1^3*x4^2*x3^19*x5^4-182809440*x2^16*x1^3*x4^2*x3^23*x5^3-149640480*x2^16*x1^3*x4^3*x3^13*x5^2+118784160*x2^16*x1^3*x4^3*x3^18*x5^2-64041120*x2^16*x1^3*x4^4*x3^15*x5^6-93065504*x2^16*x1^4*x4*x3*x5-119733488*x2^16*x1^4*x4*x3^2*x5+24581872*x2^16*x1^4*x4*x3^4*x5+100818368*x2^16*x1^4*x4*x3^5*x5^3+80291960*x2^16*x1^4*x4*x3^6*x5^2-133814744*x2^16*x1^4*x4*x3^6*x5^5-39348120*x2^16*x1^4*x4*x3^7*x5^2-100382464*x2^16*x1^4*x4*x3^8*x5-143054352*x2^16*x1^4*x4*x3^8*x5^4+21686224*x2^16*x1^4*x4*x3^10*x5^2-122372264*x2^16*x1^4*x4*x3^13*x5^2+77583128*x2^16*x1^4*x4*x3^13*x5^4+118830544*x2^16*x1^4*x4*x3^13*x5^6-121414832*x2^16*x1^4*x4*x3^14*x5^7+10858680*x2^16*x1^4*x4*x3^19*x5^3+109014920*x2^16*x1^4*x4*x3^19*x5^4+97089832*x2^16*x1^4*x4*x3^19*x5^7-2630992*x2^16*x1^4*x4*x3^22*x5^5-84900088*x2^16*x1^4*x4^2*x3^6*x5^2+2654344*x2^16*x1^4*x4^2*x3^7*x5^4+119180824*x2^16*x1^4*x4^2*x3^8*x5^2+29711528*x2^16*x1^4*x4^2*x3^10*x5^4+23889096*x2^16*x1^4*x4^2*x3^12*x5^10-9146200*x2^16*x1^4*x4^2*x3^16*x5^4+99160376*x2^16*x1^4*x4^2*x3^18*x5^8-18868416*x2^16*x1^4*x4^2*x3^19*x5^5+29890080*x2^16*x1^4*x4^2*x3^21*x5^7+89835144*x2^16*x1^4*x4^2*x3^23*x5^4+73535448*x2^16*x1^4*x4^3*x3^13*x5^3-58372216*x2^16*x1^4*x4^3*x3^18*x5^3+31470712*x2^16*x1^4*x4^4*x3^15*x5^7+124505080*x2^16*x1^5*x4*x3*x5+38904432*x2^16*x1^5*x4*x3^2*x5-14688408*x2^16*x1^5*x4^2*x3^21*x5^8-44500560*x2^17*x1^2*x4*x3^6*x5+1391280*x2^17*x1^2*x4*x3^7*x5^3+62468880*x2^17*x1^2*x4*x3^8*x5+15573360*x2^17*x1^2*x4*x3^10*x5^3+12521520*x2^17*x1^2*x4*x3^12*x5^9-4794000*x2^17*x1^2*x4*x3^16*x5^3+51975120*x2^17*x1^2*x4*x3^18*x5^7-9889920*x2^17*x1^2*x4*x3^19*x5^4+47087280*x2^17*x1^2*x4*x3^23*x5^3+38543760*x2^17*x1^2*x4^2*x3^13*x5^2-30595920*x2^17*x1^2*x4^2*x3^18*x5^2+16495440*x2^17*x1^2*x4^3*x3^15*x5^6+81940320*x2^17*x1^3*x4*x3^14*x5^2-7698960*x2^17*x1^3*x4*x3^21*x5^7-40266632*x2^17*x1^4*x4*x3^14*x5^3+135574010*x2^17*x1^7*x4*x3^6*x5^2-4238630*x2^17*x1^7*x4*x3^7*x5^4-190315730*x2^17*x1^7*x4*x3^8*x5^2-47445310*x2^17*x1^7*x4*x3^10*x5^4-38147670*x2^17*x1^7*x4*x3^12*x5^10+14605250*x2^17*x1^7*x4*x3^16*x5^4-158345770*x2^17*x1^7*x4*x3^18*x5^8+30130320*x2^17*x1^7*x4*x3^19*x5^5-143454630*x2^17*x1^7*x4*x3^23*x5^4-117426210*x2^17*x1^7*x4^2*x3^13*x5^3+93212570*x2^17*x1^7*x4^2*x3^18*x5^3-50254490*x2^17*x1^7*x4^3*x3^15*x5^7+23455410*x2^17*x1^8*x4*x3^21*x5^8+120621976*x2^18*x1^4*x4*x3^5*x5^2+96063595*x2^18*x1^4*x4*x3^6*x5-160099783*x2^18*x1^4*x4*x3^6*x5^4-47077215*x2^18*x1^4*x4*x3^7*x5-171154314*x2^18*x1^4*x4*x3^8*x5^3+25946018*x2^18*x1^4*x4*x3^10*x5-146409673*x2^18*x1^4*x4*x3^13*x5+92822671*x2^18*x1^4*x4*x3^13*x5^3+142172258*x2^18*x1^4*x4*x3^13*x5^5-145264174*x2^18*x1^4*x4*x3^14*x5^6+12991635*x2^18*x1^4*x4*x3^19*x5^2+130428565*x2^18*x1^4*x4*x3^19*x5^3+116161049*x2^18*x1^4*x4*x3^19*x5^6-3147794*x2^18*x1^4*x4*x3^22*x5^4-101576891*x2^18*x1^4*x4^2*x3^6*x5+3175733*x2^18*x1^4*x4^2*x3^7*x5^3+142591343*x2^18*x1^4*x4^2*x3^8*x5+35547721*x2^18*x1^4*x4^2*x3^10*x5^3+28581597*x2^18*x1^4*x4^2*x3^12*x5^9-10942775*x2^18*x1^4*x4^2*x3^16*x5^3+118638307*x2^18*x1^4*x4^2*x3^18*x5^7-22574712*x2^18*x1^4*x4^2*x3^19*x5^4+107481333*x2^18*x1^4*x4^2*x3^23*x5^3+87979911*x2^18*x1^4*x4^3*x3^13*x5^2-69838187*x2^18*x1^4*x4^3*x3^18*x5^2+37652459*x2^18*x1^4*x4^4*x3^15*x5^6-17573631*x2^18*x1^5*x4^2*x3^21*x5^7-106121456*x2^19*x1^3*x4*x3*x5-136530632*x2^19*x1^3*x4*x3^2*x5+28030408*x2^19*x1^3*x4*x3^4*x5+114961952*x2^19*x1^3*x4*x3^5*x5^3+91555940*x2^19*x1^3*x4*x3^6*x5^2-152587316*x2^19*x1^3*x4*x3^6*x5^5-44868180*x2^19*x1^3*x4*x3^7*x5^2-114464896*x2^19*x1^3*x4*x3^8*x5-163123128*x2^19*x1^3*x4*x3^8*x5^4+24728536*x2^19*x1^3*x4*x3^10*x5^2-139539596*x2^19*x1^3*x4*x3^13*x5^2+88467092*x2^19*x1^3*x4*x3^13*x5^4+135501016*x2^19*x1^3*x4*x3^13*x5^6-138447848*x2^19*x1^3*x4*x3^14*x5^7+12382020*x2^19*x1^3*x4*x3^19*x5^3+124308380*x2^19*x1^3*x4*x3^19*x5^4+110710348*x2^19*x1^3*x4*x3^19*x5^7-3000088*x2^19*x1^3*x4*x3^22*x5^5-96810532*x2^19*x1^3*x4^2*x3^6*x5^2+3026716*x2^19*x1^3*x4^2*x3^7*x5^4+135900436*x2^19*x1^3*x4^2*x3^8*x5^2+33879692*x2^19*x1^3*x4^2*x3^10*x5^4+27240444*x2^19*x1^3*x4^2*x3^12*x5^10-10429300*x2^19*x1^3*x4^2*x3^16*x5^4+113071364*x2^19*x1^3*x4^2*x3^18*x5^8-21515424*x2^19*x1^3*x4^2*x3^19*x5^5+102437916*x2^19*x1^3*x4^2*x3^23*x5^4+83851572*x2^19*x1^3*x4^3*x3^13*x5^3-66561124*x2^19*x1^3*x4^3*x3^18*x5^3+35885668*x2^19*x1^3*x4^4*x3^15*x5^7+141971620*x2^19*x1^4*x4*x3*x5+44362248*x2^19*x1^4*x4*x3^2*x5-48176149*x2^19*x1^4*x4*x3^14*x5^2-16749012*x2^19*x1^4*x4^2*x3^21*x5^8-22419912*x2^20*x1^2*x4^2*x3^5*x5^2-17855265*x2^20*x1^2*x4^2*x3^6*x5+29757621*x2^20*x1^2*x4^2*x3^6*x5^4+8750205*x2^20*x1^2*x4^2*x3^7*x5+31812318*x2^20*x1^2*x4^2*x3^8*x5^3-4822566*x2^20*x1^2*x4^2*x3^10*x5+27213051*x2^20*x1^2*x4^2*x3^13*x5-17252877*x2^20*x1^2*x4^2*x3^13*x5^3-26425446*x2^20*x1^2*x4^2*x3^13*x5^5+27000138*x2^20*x1^2*x4^2*x3^14*x5^6-2414745*x2^20*x1^2*x4^2*x3^19*x5^2-24242655*x2^20*x1^2*x4^2*x3^19*x5^3-21590763*x2^20*x1^2*x4^2*x3^19*x5^6+585078*x2^20*x1^2*x4^2*x3^22*x5^4+18880017*x2^20*x1^2*x4^3*x3^6*x5-590271*x2^20*x1^2*x4^3*x3^7*x5^3-26503341*x2^20*x1^2*x4^3*x3^8*x5-6607227*x2^20*x1^2*x4^3*x3^10*x5^3-5312439*x2^20*x1^2*x4^3*x3^12*x5^9+2033925*x2^20*x1^2*x4^3*x3^16*x5^3-22051209*x2^20*x1^2*x4^3*x3^18*x5^7+4195944*x2^20*x1^2*x4^3*x3^19*x5^4-19977471*x2^20*x1^2*x4^3*x3^23*x5^3-16352757*x2^20*x1^2*x4^4*x3^13*x5^2+12980769*x2^20*x1^2*x4^4*x3^18*x5^2-6998433*x2^20*x1^2*x4^5*x3^15*x5^6-45915548*x2^20*x1^3*x4*x3^14*x5^3+3266397*x2^20*x1^3*x4^3*x3^21*x5^7-22381632*x2^20*x1^5*x4*x3*x5-28795104*x2^20*x1^5*x4*x3^2*x5+5911776*x2^20*x1^5*x4*x3^4*x5+24246144*x2^20*x1^5*x4*x3^5*x5^3+19309680*x2^20*x1^5*x4*x3^6*x5^2-32181552*x2^20*x1^5*x4*x3^6*x5^5-9462960*x2^20*x1^5*x4*x3^7*x5^2-24141312*x2^20*x1^5*x4*x3^8*x5-34403616*x2^20*x1^5*x4*x3^8*x5^4+5215392*x2^20*x1^5*x4*x3^10*x5^2-29429712*x2^20*x1^5*x4*x3^13*x5^2+18658224*x2^20*x1^5*x4*x3^13*x5^4+28577952*x2^20*x1^5*x4*x3^13*x5^6-29199456*x2^20*x1^5*x4*x3^14*x5^7+2611440*x2^20*x1^5*x4*x3^19*x5^3+26217360*x2^20*x1^5*x4*x3^19*x5^4+23349456*x2^20*x1^5*x4*x3^19*x5^7-632736*x2^20*x1^5*x4*x3^22*x5^5-20417904*x2^20*x1^5*x4^2*x3^6*x5^2+638352*x2^20*x1^5*x4^2*x3^7*x5^4+28662192*x2^20*x1^5*x4^2*x3^8*x5^2+7145424*x2^20*x1^5*x4^2*x3^10*x5^4+5745168*x2^20*x1^5*x4^2*x3^12*x5^10-2199600*x2^20*x1^5*x4^2*x3^16*x5^4+23847408*x2^20*x1^5*x4^2*x3^18*x5^8-4537728*x2^20*x1^5*x4^2*x3^19*x5^5+21604752*x2^20*x1^5*x4^2*x3^23*x5^4+17684784*x2^20*x1^5*x4^3*x3^13*x5^3-14038128*x2^20*x1^5*x4^3*x3^18*x5^3+7568496*x2^20*x1^5*x4^4*x3^15*x5^7+29942640*x2^20*x1^6*x4*x3*x5+9356256*x2^20*x1^6*x4*x3^2*x5-3532464*x2^20*x1^6*x4^2*x3^21*x5^8+132705469*x2^21*x1^2*x4*x3^6*x5-4148947*x2^21*x1^2*x4*x3^7*x5^3-186288937*x2^21*x1^2*x4*x3^8*x5-46441439*x2^21*x1^2*x4*x3^10*x5^3-37340523*x2^21*x1^2*x4*x3^12*x5^9+14296225*x2^21*x1^2*x4*x3^16*x5^3-154995413*x2^21*x1^2*x4*x3^18*x5^7+29492808*x2^21*x1^2*x4*x3^19*x5^4-140419347*x2^21*x1^2*x4*x3^23*x5^3-114941649*x2^21*x1^2*x4^2*x3^13*x5^2+8954463*x2^21*x1^2*x4^2*x3^14*x5^2+91240333*x2^21*x1^2*x4^2*x3^18*x5^2-49191181*x2^21*x1^2*x4^3*x3^15*x5^6+103945464*x2^21*x1^3*x4*x3*x5+133731108*x2^21*x1^3*x4*x3^2*x5-27455652*x2^21*x1^3*x4*x3^4*x5-145580480*x2^21*x1^3*x4*x3^5*x5^2-112604688*x2^21*x1^3*x4*x3^5*x5^3-115940600*x2^21*x1^3*x4*x3^6*x5-89678610*x2^21*x1^3*x4*x3^6*x5^2+193226840*x2^21*x1^3*x4*x3^6*x5^4+149458554*x2^21*x1^3*x4*x3^6*x5^5+56818200*x2^21*x1^3*x4*x3^7*x5+43948170*x2^21*x1^3*x4*x3^7*x5^2+112117824*x2^21*x1^3*x4*x3^8*x5+206568720*x2^21*x1^3*x4*x3^8*x5^3+159778332*x2^21*x1^3*x4*x3^8*x5^4-31314640*x2^21*x1^3*x4*x3^10*x5-24221484*x2^21*x1^3*x4*x3^10*x5^2+176704040*x2^21*x1^3*x4*x3^13*x5+136678374*x2^21*x1^3*x4*x3^13*x5^2-112029080*x2^21*x1^3*x4*x3^13*x5^3-86653098*x2^21*x1^3*x4*x3^13*x5^4-171589840*x2^21*x1^3*x4*x3^13*x5^5-132722604*x2^21*x1^3*x4*x3^13*x5^6+175321520*x2^21*x1^3*x4*x3^14*x5^6+135609012*x2^21*x1^3*x4*x3^14*x5^7-15679800*x2^21*x1^3*x4*x3^19*x5^2-169544330*x2^21*x1^3*x4*x3^19*x5^3-121759470*x2^21*x1^3*x4*x3^19*x5^4-140196520*x2^21*x1^3*x4*x3^19*x5^6-108440262*x2^21*x1^3*x4*x3^19*x5^7+22959129*x2^21*x1^3*x4*x3^21*x5^7+3799120*x2^21*x1^3*x4*x3^22*x5^4+2938572*x2^21*x1^3*x4*x3^22*x5^5+122594680*x2^21*x1^3*x4^2*x3^6*x5+94825458*x2^21*x1^3*x4^2*x3^6*x5^2-3832840*x2^21*x1^3*x4^2*x3^7*x5^3-2964654*x2^21*x1^3*x4^2*x3^7*x5^4-172095640*x2^21*x1^3*x4^2*x3^8*x5-133113834*x2^21*x1^3*x4^2*x3^8*x5^2-42903080*x2^21*x1^3*x4^2*x3^10*x5^3-33184998*x2^21*x1^3*x4^2*x3^10*x5^4-34495560*x2^21*x1^3*x4^2*x3^12*x5^9-26681886*x2^21*x1^3*x4^2*x3^12*x5^10+13207000*x2^21*x1^3*x4^2*x3^16*x5^3+10215450*x2^21*x1^3*x4^2*x3^16*x5^4-143186360*x2^21*x1^3*x4^2*x3^18*x5^7-110752866*x2^21*x1^3*x4^2*x3^18*x5^8+27245760*x2^21*x1^3*x4^2*x3^19*x5^4+21074256*x2^21*x1^3*x4^2*x3^19*x5^5-129720840*x2^21*x1^3*x4^2*x3^23*x5^3-100337454*x2^21*x1^3*x4^2*x3^23*x5^4-106184280*x2^21*x1^3*x4^3*x3^13*x5^2-82132218*x2^21*x1^3*x4^3*x3^13*x5^3+84288760*x2^21*x1^3*x4^3*x3^18*x5^2+65196306*x2^21*x1^3*x4^3*x3^18*x5^3-45443320*x2^21*x1^3*x4^4*x3^15*x5^6-35149842*x2^21*x1^3*x4^4*x3^15*x5^7-139060530*x2^21*x1^4*x4*x3*x5-43452612*x2^21*x1^4*x4*x3^2*x5+103978656*x2^21*x1^4*x4*x3^5*x5^2+82808820*x2^21*x1^4*x4*x3^6*x5-138009348*x2^21*x1^4*x4*x3^6*x5^4-40581540*x2^21*x1^4*x4*x3^7*x5-147538584*x2^21*x1^4*x4*x3^8*x5^3+22366008*x2^21*x1^4*x4*x3^10*x5-126208188*x2^21*x1^4*x4*x3^13*x5+80015076*x2^21*x1^4*x4*x3^13*x5^3+122555448*x2^21*x1^4*x4*x3^13*x5^5-125220744*x2^21*x1^4*x4*x3^14*x5^6+11199060*x2^21*x1^4*x4*x3^19*x5^2+112432140*x2^21*x1^4*x4*x3^19*x5^3+100133244*x2^21*x1^4*x4*x3^19*x5^6-2713464*x2^21*x1^4*x4*x3^22*x5^4-87561396*x2^21*x1^4*x4^2*x3^6*x5+2737548*x2^21*x1^4*x4^2*x3^7*x5^3+122916708*x2^21*x1^4*x4^2*x3^8*x5+30642876*x2^21*x1^4*x4^2*x3^10*x5^3+24637932*x2^21*x1^4*x4^2*x3^12*x5^9-9432900*x2^21*x1^4*x4^2*x3^16*x5^3+102268692*x2^21*x1^4*x4^2*x3^18*x5^7-19459872*x2^21*x1^4*x4^2*x3^19*x5^4+21209880*x2^21*x1^4*x4^2*x3^21*x5^7+16405578*x2^21*x1^4*x4^2*x3^21*x5^8+92651148*x2^21*x1^4*x4^2*x3^23*x5^3+75840516*x2^21*x1^4*x4^3*x3^13*x5^2-60201972*x2^21*x1^4*x4^3*x3^18*x5^2+32457204*x2^21*x1^4*x4^4*x3^15*x5^6-9683856*x2^21*x1^5*x4*x3^14*x5^3-15148836*x2^21*x1^5*x4^2*x3^21*x5^7+58144520*x2^22*x1^3*x4*x3^14*x5^2+44974062*x2^22*x1^3*x4*x3^14*x5^3-41528844*x2^22*x1^4*x4*x3^14*x5^2-106375971*x2^24*x1^2*x4*x3^6*x5^3+3325773*x2^24*x1^2*x4*x3^7*x5^5+149328183*x2^24*x1^2*x4*x3^8*x5^3+37227201*x2^24*x1^2*x4*x3^10*x5^5+29931957*x2^24*x1^2*x4*x3^12*x5^11-11459775*x2^24*x1^2*x4*x3^16*x5^5+124243467*x2^24*x1^2*x4*x3^18*x5^9-23641272*x2^24*x1^2*x4*x3^19*x5^6+112559373*x2^24*x1^2*x4*x3^23*x5^5+92136591*x2^24*x1^2*x4^2*x3^13*x5^4-73137747*x2^24*x1^2*x4^2*x3^18*x5^4+39431379*x2^24*x1^2*x4^3*x3^15*x5^8-14735357*x2^24*x1^3*x4*x3^6*x5^2+460691*x2^24*x1^3*x4*x3^7*x5^4+20685161*x2^24*x1^3*x4*x3^8*x5^2+5156767*x2^24*x1^3*x4*x3^10*x5^4+4146219*x2^24*x1^3*x4*x3^12*x5^10-1587425*x2^24*x1^3*x4*x3^16*x5^4+17210389*x2^24*x1^3*x4*x3^18*x5^8-3274824*x2^24*x1^3*x4*x3^19*x5^5-18403911*x2^24*x1^3*x4*x3^21*x5^9+15591891*x2^24*x1^3*x4*x3^23*x5^4+12762897*x2^24*x1^3*x4^2*x3^13*x5^3-10131149*x2^24*x1^3*x4^2*x3^18*x5^3+5462093*x2^24*x1^3*x4^3*x3^15*x5^7-2549337*x2^24*x1^4*x4*x3^21*x5^8+143098746*x3^2-29378874*x3^4+119971488*x3^8;
poly q = -158290545*x5+187301120*x1*x5+107559168*x1*x5^4+73772270*x1*x5^7-31886110*x1^2*x5-18310854*x1^2*x5^4-26450336*x1^2*x5^7+2762276*x1^3*x5^7-31155747*x2*x5^3-44812551*x2*x5^8+502362*x2*x5^22-245951825*x2^2*x5-50747865*x2^2*x5^2-141239805*x2^2*x5^4-78866480*x2^2*x5^7-92611365*x2^2*x5^13-249882290*x2^3*x5-48409795*x2^3*x5^3-143496906*x2^3*x5^4-80126816*x2^3*x5^7+59319148*x2^3*x5^8-88592469*x2^3*x5^11-87401685*x2^3*x5^20+780570*x2^3*x5^22-57194844*x2^3*x5^26-78852025*x2^4*x5^2-49183414*x2^4*x5^3-89773950*x2^4*x5^7-70742462*x2^4*x5^8-131731201*x2^4*x5^13+20327055*x2^4*x5^15+33248922*x2^4*x5^20+87504018*x2^4*x5^21+793044*x2^4*x5^22-176836895*x2^5*x5-80112130*x2^5*x5^2-101550003*x2^5*x5^4-56704208*x2^5*x5^7+200360755*x2^5*x5^8-137654965*x2^5*x5^11-146199130*x2^5*x5^13-141182328*x2^5*x5^16-135804725*x2^5*x5^20+93569574*x2^5*x5^22-88869340*x2^5*x5^26-34806157*x2^6*x5^3-139490750*x2^6*x5^7+153499565*x2^6*x5^8-139854778*x2^6*x5^11+18907140*x2^6*x5^13+31584175*x2^6*x5^15-86312800*x2^6*x5^20+135963730*x2^6*x5^21+561222*x2^6*x5^22-90289528*x2^6*x5^26-56693815*x2^7*x5^2-141719900*x2^7*x5^7-84253027*x2^7*x5^13+136105753*x2^7*x5^15-219369080*x2^7*x5^16+52487764*x2^7*x5^20+138136516*x2^7*x5^21+145388390*x2^7*x5^22+144057373*x2^8*x5^8-98972539*x2^8*x5^11-222874736*x2^8*x5^16-97642235*x2^8*x5^20+147711788*x2^8*x5^22-63896164*x2^8*x5^26-100292450*x2^9*x5^7+13594044*x2^9*x5^13+184330060*x2^9*x5^15+57827448*x2^9*x5^19+37144582*x2^9*x5^20+97756558*x2^9*x5^21+164204166*x2^10*x5^15-157724168*x2^10*x5^16+104532794*x2^10*x5^22+89852280*x2^11*x5^19+116204133*x2^12*x5^15+91288176*x2^12*x5^19+64602888*x2^14*x5^19+36865792*x2*x1*x5^3+53025536*x2*x1*x5^8+1553601*x2*x1*x5^9-594432*x2*x1*x5^22-6276026*x2*x1^2*x5^3-9027058*x2*x1^2*x5^8-1838336*x2*x1^2*x5^9+141489327*x2*x1^2*x5^18+101196*x2*x1^2*x5^22+312958*x2*x1^3*x5^9-167420672*x2*x1^3*x5^18+28501666*x2*x1^4*x5^18+60048640*x2^2*x1*x5^2+21306670*x2^2*x1*x5^7+109584640*x2^2*x1*x5^13-10222670*x2^2*x1^2*x5^2-18655670*x2^2*x1^2*x5^13+272240000*x2^3*x1*x5+258027093*x2^3*x1*x5^4+108943164*x2^3*x1*x5^7-152581888*x2^3*x1*x5^8+2413985*x2^3*x1*x5^9+104829184*x2^3*x1*x5^11+21192234*x2^3*x1*x5^17+103420160*x2^3*x1*x5^20+67677184*x2^3*x1*x5^26-191114975*x2^3*x1^2*x5^4-23584000*x2^3*x1^2*x5^7+25975514*x2^3*x1^2*x5^8-17846102*x2^3*x1^2*x5^11-25076224*x2^3*x1^2*x5^17+219846095*x2^3*x1^2*x5^18-17606230*x2^3*x1^2*x5^20-11521352*x2^3*x1^2*x5^26+104244566*x2^3*x1^3*x5^4+4268972*x2^3*x1^3*x5^17-14259266*x2^3*x1^4*x5^4+41649531*x2^3*x3*x5^20+117506193*x2^3*x4*x5^18-153658700*x2^4*x1*x5^3-119010780*x2^4*x1*x5^6+106227200*x2^4*x1*x5^7+77072000*x2^4*x1*x5^8-64001518*x2^4*x1*x5^9-14398464*x2^4*x1*x5^13-24052480*x2^4*x1*x5^15-39342592*x2^4*x1*x5^20-103541248*x2^4*x1*x5^21-864000*x2^4*x1*x5^22+88480833*x2^4*x1*x5^25-18084100*x2^4*x1^2*x5^7+15281320*x2^4*x1^2*x5^9+2451192*x2^4*x1^2*x5^13+4094690*x2^4*x1^2*x5^15+223359374*x2^4*x1^2*x5^18+6697676*x2^4*x1^2*x5^20+17626844*x2^4*x1^2*x5^21-104697088*x2^4*x1^2*x5^25-243344000*x2^4*x1^3*x5^18+17823614*x2^4*x1^3*x5^25+87280000*x2^5*x1*x5^2+158007605*x2^5*x1*x5^4-40790820*x2^5*x1*x5^5+15319282*x2^5*x1*x5^7-58671060*x2^5*x1*x5^10+159280000*x2^5*x1*x5^13+167057408*x2^5*x1*x5^16+32928490*x2^5*x1*x5^17-110718464*x2^5*x1*x5^22+657720*x2^5*x1*x5^24-109988095*x2^5*x1^2*x5^4+2034060*x2^5*x1^2*x5^11-28439824*x2^5*x1^2*x5^16+18848692*x2^5*x1^2*x5^22+185245620*x2^5*x1^3*x5^20+64715035*x2^5*x3*x5^20+182581105*x2^5*x4*x5^18+94090766*x2^6*x1*x5^4-221776000*x2^6*x1*x5^8+1735631*x2^6*x1*x5^9+152368000*x2^6*x1*x5^11-121251900*x2^6*x1*x5^15+33454708*x2^6*x1*x5^17+150320000*x2^6*x1*x5^20+137481505*x2^6*x1*x5^25+98368000*x2^6*x1*x5^26+195689515*x2^6*x1^2*x5-174265503*x2^6*x1^2*x5^4+62749456*x2^6*x1^2*x5^7-36448000*x2^6*x1^2*x5^17+158067137*x2^6*x1^2*x5^18+121744000*x2^6*x1^3*x5^4-16952474*x2^6*x1^3*x5^7-74982180*x2^6*x1^3*x5^19+88724480*x2^6*x1^4*x5^19-15104440*x2^6*x1^5*x5^19+65749222*x2^6*x3*x5^20+185498866*x2^6*x4*x5^18+154400000*x2^7*x1*x5^7+168826980*x2^7*x1*x5^10-136918140*x2^7*x1*x5^13-158040448*x2^7*x1*x5^15-57184000*x2^7*x1*x5^20-150496000*x2^7*x1*x5^21-114431100*x2^7*x1*x5^22+139678546*x2^7*x1*x5^25-74882640*x2^7*x1*x5^28+38516849*x2^7*x1^2*x5^3+133139580*x2^7*x1^2*x5^6+55400317*x2^7*x1^2*x5^8+20953194*x2^7*x1^2*x5^15+27746040*x2^7*x1^2*x5^19-621054*x2^7*x1^2*x5^22-152176000*x2^7*x1^2*x5^25-92677620*x2^7*x1^3*x5^6-1920667*x2^7*x1^3*x5^9-204060895*x2^7*x1^4*x5^5-117183603*x2^7*x1^4*x5^8-65433808*x2^7*x1^4*x5^11-174918709*x2^7*x1^4*x5^18+17677682*x2^7*x1^5*x5^11+113605883*x2^8*x1*x5^4-117537000*x2^8*x1*x5^9+15931440*x2^8*x1*x5^15+242816000*x2^8*x1*x5^16+50288554*x2^8*x1*x5^17-117396680*x2^8*x1*x5^22+114565080*x2^8*x1*x5^23+62737955*x2^8*x1^2*x5^2-79080337*x2^8*x1^2*x5^4+114492455*x2^8*x1^2*x5^13+115843980*x2^8*x1^2*x5^27-116507300*x2^8*x1^3*x5^19-40164557*x2^8*x1^4*x5^7-57770281*x2^8*x1^4*x5^12+647622*x2^8*x1^4*x5^26+2002831*x2^8*x1^5*x5^13+182401537*x2^8*x1^6*x5^22+46529461*x2^8*x3*x5^20+131273983*x2^8*x4*x5^18-414706595*x2^9*x1*x5^2-238148583*x2^9*x1*x5^5-132979088*x2^9*x1*x5^8-184843680*x2^9*x1*x5^18-68425728*x2^9*x1*x5^19+122506440*x2^9*x1*x5^24+98847823*x2^9*x1*x5^25-123489559*x2^9*x1^2*x5^8+109524023*x2^9*x1^2*x5^11+11648784*x2^9*x1^2*x5^19+108051895*x2^9*x1^2*x5^20+70708148*x2^9*x1^2*x5^26-244165250*x2^9*x1^3*x5-265931281*x2^9*x1^3*x5^4-78293600*x2^9*x1^3*x5^7-26199278*x2^9*x1^3*x5^17-118369160*x2^9*x1^3*x5^19+87511109*x2^9*x1^4*x5^4-65421815*x2^9*x1^4*x5^6+21151900*x2^9*x1^4*x5^7-119390315*x2^9*x1^4*x5^17+128960000*x2^9*x1^4*x5^19+262303240*x2^9*x1^6*x5^2+150629736*x2^9*x1^6*x5^5+84109696*x2^9*x1^6*x5^8-22723184*x2^9*x1^7*x5^8-81625177*x2^10*x1*x5^4-117404741*x2^10*x1*x5^9-178896000*x2^10*x1*x5^15+1316142*x2^10*x1*x5^23+110984650*x2^10*x1^2*x5^7+4070291*x2^10*x1^2*x5^10-15043308*x2^10*x1^2*x5^13-25129685*x2^10*x1^2*x5^15-41104574*x2^10*x1^2*x5^20-108178406*x2^10*x1^2*x5^21-48058150*x2^10*x1^3*x5^3-69123950*x2^10*x1^3*x5^8+370688957*x2^10*x1^3*x5^19+774900*x2^10*x1^3*x5^22-109386011*x2^10*x1^3*x5^25+2396450*x2^10*x1^4*x5^9+166234973*x2^10*x1^4*x5^12-114209339*x2^10*x1^4*x5^15-98170800*x2^10*x1^4*x5^21-112674235*x2^10*x1^4*x5^24-73732964*x2^10*x1^4*x5^30+131095483*x2^10*x1^5*x5^8+218249150*x2^10*x1^5*x5^18+27320054*x2^10*x1^5*x5^21+108759880*x2^10*x1^6*x5+114084416*x2^10*x1^6*x5^4+34874752*x2^10*x1^6*x5^7-91254737*x2^10*x1^6*x5^8+74258872*x2^10*x1^6*x5^9-832464*x2^10*x1^6*x5^23-9421808*x2^10*x1^7*x5^7-2574472*x2^10*x1^7*x5^10-234461944*x2^10*x1^8*x5^19-132954715*x2^11*x1*x5^3-242633215*x2^11*x1*x5^14+136184580*x2^11*x1*x5^17+116927080*x2^11*x1^2*x5+67146312*x2^11*x1^2*x5^4+37493632*x2^11*x1^2*x5^7+174539176*x2^11*x1^2*x5^16-115677058*x2^11*x1^2*x5^22-78279250*x2^11*x1^3*x5^2-10129328*x2^11*x1^3*x5^7-142854250*x2^11*x1^3*x5^13-83767580*x2^11*x1^3*x5^19-115732450*x2^11*x1^4*x5^11+15686844*x2^11*x1^4*x5^17+26204705*x2^11*x1^4*x5^19+42862982*x2^11*x1^4*x5^24+112806158*x2^11*x1^4*x5^25+114065423*x2^11*x1^5*x5^29+105501088*x2^11*x1^6*x5^3+30790264*x2^11*x1^6*x5^8+153466280*x2^11*x1^6*x5^14-345168*x2^11*x1^6*x5^22-1067464*x2^11*x1^7*x5^9-97215928*x2^11*x1^8*x5^18+337834153*x2^12*x1*x5^9-232104079*x2^12*x1*x5^12-99456000*x2^12*x1*x5^19-228984335*x2^12*x1*x5^21-149845204*x2^12*x1*x5^27+23014328*x2^12*x1^2*x5^3+266421263*x2^12*x1^2*x5^5+33102424*x2^12*x1^2*x5^8+55521694*x2^12*x1^2*x5^18-371088*x2^12*x1^2*x5^22-185454157*x2^12*x1^3*x5^5+198905350*x2^12*x1^3*x5^8-1147624*x2^12*x1^3*x5^9-136655050*x2^12*x1^3*x5^11-134818250*x2^12*x1^3*x5^20-88223800*x2^12*x1^3*x5^26+156859850*x2^12*x1^4*x5^4+32689300*x2^12*x1^4*x5^17-104516248*x2^12*x1^4*x5^18-182005768*x2^12*x1^4*x5^20+120625594*x2^12*x1^4*x5^26-109189150*x2^12*x1^5*x5^4+92698060*x2^12*x1^5*x5^19+34868360*x2^12*x1^6*x5^2-213681176*x2^12*x1^6*x5^9+146806568*x2^12*x1^6*x5^12+63632360*x2^12*x1^6*x5^13+144833320*x2^12*x1^6*x5^21+94777568*x2^12*x1^6*x5^27-168512296*x2^12*x1^7*x5^5-35117648*x2^12*x1^7*x5^18+117300344*x2^12*x1^8*x5^5-235199450*x2^13*x1*x5^8+31879884*x2^13*x1*x5^14+53255005*x2^13*x1*x5^16+162819982*x2^13*x1*x5^21+229252438*x2^13*x1*x5^22+37486760*x2^13*x1^2*x5^2+68410760*x2^13*x1^2*x5^13-128592681*x2^13*x1^2*x5^15+231811603*x2^13*x1^2*x5^26-230757430*x2^13*x1^3*x5^2-132514302*x2^13*x1^3*x5^5-138477500*x2^13*x1^3*x5^7-73994272*x2^13*x1^3*x5^8+18769800*x2^13*x1^3*x5^13+31354750*x2^13*x1^3*x5^15+51286900*x2^13*x1^3*x5^20+134976100*x2^13*x1^3*x5^21-37688225*x2^13*x1^4*x5-21642765*x2^13*x1^4*x5^4-12085040*x2^13*x1^4*x5^7+19990388*x2^13*x1^4*x5^8+136482850*x2^13*x1^4*x5^25+3264910*x2^13*x1^5*x5^7+60164888*x2^13*x1^6*x5^8+60871016*x2^13*x1^6*x5^11-20164128*x2^13*x1^6*x5^14-33683960*x2^13*x1^6*x5^16+60052840*x2^13*x1^6*x5^20-55096784*x2^13*x1^6*x5^21-145002896*x2^13*x1^6*x5^22+39298016*x2^13*x1^6*x5^26-69870952*x2^13*x1^7*x5^4-14560976*x2^13*x1^7*x5^17-96663580*x2^13*x1^7*x5^23-146621576*x2^13*x1^7*x5^26+48636728*x2^13*x1^8*x5^4-369884648*x2^14*x1*x5^17+245143634*x2^14*x1*x5^23-95252792*x2^14*x1^2*x5^8+65442056*x2^14*x1^2*x5^11+64562440*x2^14*x1^2*x5^20+42249056*x2^14*x1^2*x5^26-120536970*x2^14*x1^3*x5^4-65328154*x2^14*x1^3*x5^9-217775600*x2^14*x1^3*x5^16-15654416*x2^14*x1^3*x5^17+144332300*x2^14*x1^3*x5^22+732348*x2^14*x1^3*x5^23-7418035*x2^14*x1^4*x5^3+52289048*x2^14*x1^4*x5^4-10669655*x2^14*x1^4*x5^8+2264854*x2^14*x1^4*x5^10+134093733*x2^14*x1^4*x5^19+119610*x2^14*x1^4*x5^22+369905*x2^14*x1^5*x5^9+206264458*x2^14*x1^5*x5^19+61682800*x2^14*x1^6*x5^7-8360736*x2^14*x1^6*x5^13-13966520*x2^14*x1^6*x5^15+233953216*x2^14*x1^6*x5^17+33687935*x2^14*x1^6*x5^18-22845008*x2^14*x1^6*x5^20-60123152*x2^14*x1^6*x5^21-155054128*x2^14*x1^6*x5^23-60794312*x2^14*x1^7*x5^25+66314800*x2^15*x1^2*x5^7-8988576*x2^15*x1^2*x5^13-15015320*x2^15*x1^2*x5^15-71490216*x2^15*x1^2*x5^19-24560528*x2^15*x1^2*x5^20-64638032*x2^15*x1^2*x5^21+93106080*x2^15*x1^3*x5-73980710*x2^15*x1^3*x5^3+53466912*x2^15*x1^3*x5^4+29855232*x2^15*x1^3*x5^7-135009710*x2^15*x1^3*x5^14-65359592*x2^15*x1^3*x5^25-12082825*x2^15*x1^4*x5^2-8065728*x2^15*x1^4*x5^7-22050325*x2^15*x1^4*x5^13-196446380*x2^15*x1^4*x5^20-117964995*x2^15*x1^5*x5^3-67742343*x2^15*x1^5*x5^6-37826448*x2^15*x1^5*x5^9+10219242*x2^15*x1^6*x5^9+97004992*x2^15*x1^6*x5^16-115661000*x2^15*x1^6*x5^19-64290736*x2^15*x1^6*x5^22+124252960*x2^15*x1^9*x5^20+272514513*x2^16*x1*x5^16+104289472*x2^16*x1^2*x5^16-69118576*x2^16*x1^2*x5^22+18325728*x2^16*x1^3*x5^3+26358624*x2^16*x1^3*x5^8+187982882*x2^16*x1^3*x5^9-129150926*x2^16*x1^3*x5^12+160447350*x2^16*x1^3*x5^15-127414990*x2^16*x1^3*x5^21-295488*x2^16*x1^3*x5^22-83379176*x2^16*x1^3*x5^27+148246222*x2^16*x1^4*x5^5+30702115*x2^16*x1^4*x5^8-913824*x2^16*x1^4*x5^9-21093445*x2^16*x1^4*x5^11+30894236*x2^16*x1^4*x5^18-20809925*x2^16*x1^4*x5^20+74548488*x2^16*x1^4*x5^23-13617820*x2^16*x1^4*x5^26+24212165*x2^16*x1^5*x5^4-126411875*x2^16*x1^5*x5^5-33396261*x2^16*x1^5*x5^10+5045770*x2^16*x1^5*x5^17-83223648*x2^16*x1^5*x5^18+374382*x2^16*x1^5*x5^24-16853935*x2^16*x1^6*x5^4+1157811*x2^16*x1^6*x5^11-172366296*x2^16*x1^6*x5^16+105443997*x2^16*x1^7*x5^20+51519520*x2^16*x1^9*x5^19+69421200*x2^17*x1^2*x5+39865680*x2^17*x1^2*x5^4+22260480*x2^17*x1^2*x5^7+29849760*x2^17*x1^3*x5^2-6013920*x2^17*x1^3*x5^7-130873300*x2^17*x1^3*x5^8+54473760*x2^17*x1^3*x5^13+17739096*x2^17*x1^3*x5^14+29632970*x2^17*x1^3*x5^16+48470588*x2^17*x1^3*x5^21+127564172*x2^17*x1^3*x5^22-21374750*x2^17*x1^4*x5^7+2897220*x2^17*x1^4*x5^13+4839775*x2^17*x1^4*x5^15+7916410*x2^17*x1^4*x5^20+20834290*x2^17*x1^4*x5^21+128988182*x2^17*x1^4*x5^26-37819515*x2^17*x1^5*x5^4-69018015*x2^17*x1^5*x5^15+55388320*x2^17*x1^5*x5^19+21066865*x2^17*x1^5*x5^25-71468952*x2^17*x1^6*x5^15-211496450*x2^17*x1^7*x5^2-121453530*x2^17*x1^7*x5^5-67818080*x2^17*x1^7*x5^8+18321820*x2^17*x1^8*x5^8+151502568*x2^18*x1*x5^20+13663920*x2^18*x1^2*x5^3+19653360*x2^18*x1^2*x5^8-76835832*x2^18*x1^2*x5^15-220320*x2^18*x1^2*x5^22-75847392*x2^18*x1^3*x5^8-681360*x2^18*x1^3*x5^9+52109856*x2^18*x1^3*x5^11-205816912*x2^18*x1^3*x5^17+89199600*x2^18*x1^3*x5^19+51409440*x2^18*x1^3*x5^20+136406596*x2^18*x1^3*x5^23+33641856*x2^18*x1^3*x5^26-59814432*x2^18*x1^4*x5^4-33614840*x2^18*x1^4*x5^16-12465216*x2^18*x1^4*x5^17-62052720*x2^18*x1^4*x5^18+22278470*x2^18*x1^4*x5^22+41636448*x2^18*x1^5*x5^4+96098313*x2^18*x1^5*x5^10-66022959*x2^18*x1^5*x5^13-65135535*x2^18*x1^5*x5^22-42624084*x2^18*x1^5*x5^28+75784623*x2^18*x1^6*x5^6+15793374*x2^18*x1^6*x5^19-95825856*x2^18*x1^6*x5^20-41628070*x2^18*x1^7*x5^4-52753197*x2^18*x1^7*x5^6-59875310*x2^18*x1^7*x5^9+671220*x2^18*x1^7*x5^23+2075810*x2^18*x1^8*x5^10+189047870*x2^18*x1^9*x5^19+22256400*x2^19*x1^2*x5^2+40616400*x2^19*x1^2*x5^13+52804800*x2^19*x1^3*x5^7-7157376*x2^19*x1^3*x5^13-11956320*x2^19*x1^3*x5^15-19556928*x2^19*x1^3*x5^20-51469632*x2^19*x1^3*x5^21-52044192*x2^19*x1^4*x5^25-66903450*x2^19*x1^5*x5^9+9068364*x2^19*x1^5*x5^15+15148605*x2^19*x1^5*x5^17+24778542*x2^19*x1^5*x5^22+65211798*x2^19*x1^5*x5^23-39732672*x2^19*x1^6*x5^19-109309720*x2^19*x1^6*x5^20+65939763*x2^19*x1^6*x5^27-67805650*x2^19*x1^7*x5^3-123740650*x2^19*x1^7*x5^14-17852900*x2^19*x1^7*x5^19-56552880*x2^20*x1^2*x5^8+38853840*x2^20*x1^2*x5^11-42716352*x2^20*x1^2*x5^19+38331600*x2^20*x1^2*x5^20+25083840*x2^20*x1^2*x5^26-44598480*x2^20*x1^3*x5^4+234679794*x2^20*x1^3*x5^16-9294240*x2^20*x1^3*x5^17-55037376*x2^20*x1^3*x5^22+31044720*x2^20*x1^4*x5^4+24765915*x2^20*x1^4*x5^15-105215208*x2^20*x1^5*x5^18+69732114*x2^20*x1^5*x5^24+172292230*x2^20*x1^7*x5^9-118370890*x2^20*x1^7*x5^12-116779850*x2^20*x1^7*x5^21-76419640*x2^20*x1^7*x5^27+135872330*x2^20*x1^8*x5^5+28315540*x2^20*x1^8*x5^18-94579870*x2^20*x1^9*x5^5-207021505*x2^21*x1^2*x5-118883757*x2^21*x1^2*x5^4-27011152*x2^21*x1^2*x5^7-5336640*x2^21*x1^2*x5^13-8914800*x2^21*x1^2*x5^15-14581920*x2^21*x1^2*x5^20-38376480*x2^21*x1^2*x5^21+17934158*x2^21*x1^3*x5^7-38804880*x2^21*x1^3*x5^25+44104320*x2^21*x1^6*x5^19-119949500*x2^21*x1^7*x5^8+16258440*x2^21*x1^7*x5^14+27159550*x2^21*x1^7*x5^16+44424820*x2^21*x1^7*x5^21+116916580*x2^21*x1^7*x5^22-55879980*x2^21*x1^8*x5^21+118221730*x2^21*x1^8*x5^26-40747283*x2^22*x1^2*x5^3-58608439*x2^22*x1^2*x5^8+61918080*x2^22*x1^2*x5^16-40379622*x2^22*x1^2*x5^22+2031889*x2^22*x1^3*x5^9-61182432*x2^22*x1^3*x5^15+84301392*x2^22*x1^3*x5^20+185047903*x2^22*x1^4*x5^18+13768440*x2^22*x1^4*x5^19+77517873*x2^22*x1^5*x5^17-188637680*x2^22*x1^7*x5^17+125020940*x2^22*x1^7*x5^23-66370985*x2^23*x1^2*x5^2-121122485*x2^23*x1^2*x5^13+32884800*x2^23*x1^5*x5^19-100185800*x2^23*x1^10*x5^20+165947295*x2^24*x1^2*x5^3+95296563*x2^24*x1^2*x5^6+168646787*x2^24*x1^2*x5^8+53212368*x2^24*x1^2*x5^9-115866341*x2^24*x1^2*x5^11-45618480*x2^24*x1^2*x5^15-114308965*x2^24*x1^2*x5^20-74802716*x2^24*x1^2*x5^26+22987265*x2^24*x1^3*x5^2+132997477*x2^24*x1^3*x5^4+13200621*x2^24*x1^3*x5^5+7371056*x2^24*x1^3*x5^8-14375922*x2^24*x1^3*x5^9+27716426*x2^24*x1^3*x5^17-34013952*x2^24*x1^3*x5^19-92578703*x2^24*x1^4*x5^4-1991374*x2^24*x1^4*x5^8+43095528*x2^24*x1^5*x5^21+138979830*x2^24*x1^7*x5^16+32662797*x2^25*x1^2*x5^5-117411550*x2^25*x1^2*x5^7+46980201*x2^25*x1^2*x5^10+15914436*x2^25*x1^2*x5^13+26584895*x2^25*x1^2*x5^15+43484858*x2^25*x1^2*x5^20+114442802*x2^25*x1^2*x5^21-526662*x2^25*x1^2*x5^24+4524499*x2^25*x1^3*x5^4+6507767*x2^25*x1^3*x5^9-1628751*x2^25*x1^3*x5^11-72954*x2^25*x1^3*x5^23+115720337*x2^25*x1^3*x5^25-225617*x2^25*x1^4*x5^10-148333377*x2^25*x1^4*x5^20-20547359*x2^25*x1^5*x5^19+53202615*x2^26*x1^2*x5^4+97091115*x2^26*x1^2*x5^15-184646392*x2^26*x1^2*x5^16-25361280*x2^26*x1^2*x5^19+122375686*x2^26*x1^2*x5^22+7369705*x2^26*x1^3*x5^3+13449205*x2^26*x1^3*x5^14+77264880*x2^26*x1^7*x5^20-135186333*x2^27*x1^2*x5^10+92877819*x2^27*x1^2*x5^13+91629435*x2^27*x1^2*x5^22+59961444*x2^27*x1^2*x5^28-106610043*x2^27*x1^3*x5^6-18726211*x2^27*x1^3*x5^9+12865573*x2^27*x1^3*x5^12-22217334*x2^27*x1^3*x5^19+12692645*x2^27*x1^3*x5^21+8305948*x2^27*x1^3*x5^27-14767781*x2^27*x1^4*x5^5+74210577*x2^27*x1^4*x5^6-3077578*x2^27*x1^4*x5^18+10279759*x2^27*x1^5*x5^5-98066020*x2^27*x1^5*x5^19+94116450*x2^28*x1^2*x5^9+123282303*x2^28*x1^2*x5^15-21310305*x2^28*x1^2*x5^17-34857222*x2^28*x1^2*x5^22-91736718*x2^28*x1^2*x5^23+13037150*x2^28*x1^3*x5^8-1767108*x2^28*x1^3*x5^14-2951935*x2^28*x1^3*x5^16-4828474*x2^28*x1^3*x5^21-12707506*x2^28*x1^3*x5^22-92760783*x2^28*x1^3*x5^27-12849361*x2^28*x1^4*x5^26+148011528*x2^29*x1^2*x5^18-98095674*x2^29*x1^2*x5^24+20502776*x2^29*x1^3*x5^17-13588358*x2^29*x1^3*x5^23+75630072*x2^30*x1^2*x5^19+78609180*x2^30*x1^5*x5^21+10889060*x2^30*x1^6*x5^20-109048293*x2^31*x1^2*x5^17-15105531*x2^31*x1^3*x5^16-60624648*x2^33*x1^2*x5^21-8397816*x2^33*x1^3*x5^20+59520594*x2*x1*x4*x5^15-70429184*x2*x1^2*x4*x5^15+11989852*x2*x1^3*x4*x5^15-49282816*x2^3*x1*x3*x5^20+92483090*x2^3*x1*x4*x5^15-139042048*x2^3*x1*x4*x5^18+8389898*x2^3*x1^2*x3*x5^20+23670494*x2^3*x1^2*x4*x5^18+93961028*x2^4*x1*x4*x5^15-102368000*x2^4*x1^2*x4*x5^15+77927640*x2^5*x1^2*x4*x5^17-71632000*x2^6*x1*x3*x5^20+66494414*x2^6*x1*x4*x5^15-202096000*x2^6*x1*x4*x5^18+54529860*x2^7*x1*x3*x5^22+153845580*x2^7*x1*x4*x5^20-73583398*x2^7*x1^3*x4*x5^15-201202375*x2^8*x1*x3*x5-115542075*x2^8*x1*x3*x5^4-64517200*x2^8*x1*x3*x5^7+17430050*x2^8*x1^2*x3*x5^7+76731214*x2^8*x1^5*x4*x5^19-39601925*x2^9*x1*x3*x5^3-56961025*x2^9*x1*x3*x5^8+638550*x2^9*x1*x3*x5^22+1974775*x2^9*x1^2*x3*x5^9-51489977*x2^9*x1^2*x3*x5^20-145269131*x2^9*x1^2*x4*x5^18+179846425*x2^9*x1^3*x3*x5^18-64505375*x2^10*x1*x3*x5^2-117717875*x2^10*x1*x3*x5^13-83289759*x2^10*x1*x4*x5^14+98554624*x2^10*x1^2*x4*x5^14+155938454*x2^10*x1^2*x4*x5^16-16777922*x2^10*x1^3*x4*x5^14+53692661*x2^10*x1^4*x3*x5^24+91811300*x2^10*x1^4*x4*x5^15+151483583*x2^10*x1^4*x4*x5^22-98631568*x2^10*x1^7*x4*x5^16+163906325*x2^11*x1*x3*x5^8-112609475*x2^11*x1*x3*x5^11-111095875*x2^11*x1*x3*x5^20-72700100*x2^11*x1*x3*x5^26+52940525*x2^11*x1*x3^2*x5^20+129259075*x2^11*x1^2*x3*x5^4+26937350*x2^11*x1^2*x3*x5^17-89976425*x2^11*x1^3*x3*x5^4-40896016*x2^11*x1^7*x4*x5^15-114111250*x2^12*x1*x3*x5^7+15467100*x2^12*x1*x3*x5^13+25837625*x2^12*x1*x3*x5^15+42262550*x2^12*x1*x3*x5^20+220343871*x2^12*x1*x3*x5^21-129415615*x2^12*x1*x4*x5^14+307855363*x2^12*x1*x4*x5^19+112467575*x2^12*x1^2*x3*x5^25+64244950*x2^12*x1^3*x3*x5^20-43967056*x2^12*x1^3*x4*x5^15+181254850*x2^12*x1^3*x4*x5^18-69017432*x2^12*x1^6*x3*x5^21-194719496*x2^12*x1^6*x4*x5^19-179456200*x2^13*x1*x3*x5^16+118935850*x2^13*x1*x3*x5^22-131483758*x2^13*x1*x4*x5^14+143248000*x2^13*x1^2*x4*x5^14-28616984*x2^13*x1^6*x3*x5^20-80737352*x2^13*x1^6*x4*x5^18-30765944*x2^14*x1^2*x3*x5^20-109047540*x2^14*x1^2*x4*x5^16-86800232*x2^14*x1^2*x4*x5^18-95309500*x2^14*x1^4*x3*x5^19+86769676*x2^14*x1^4*x4*x5^16+14171570*x2^14*x1^5*x4*x5^15+132215325*x2^15*x1*x3*x5^15-93048529*x2^15*x1*x4*x5^14+60717074*x2^16*x1^3*x3*x5^21-269517600*x2^16*x1^3*x4*x5-154772640*x2^16*x1^3*x4*x5^4-86423040*x2^16*x1^3*x4*x5^7+102968453*x2^16*x1^3*x4*x5^14+171301622*x2^16*x1^3*x4*x5^19+9916555*x2^16*x1^4*x3*x5^20+132444760*x2^16*x1^4*x4*x5^2+76057464*x2^16*x1^4*x4*x5^5+23348160*x2^16*x1^4*x4*x5^7+42469504*x2^16*x1^4*x4*x5^8-35009856*x2^16*x1^4*x4*x5^15+27977665*x2^16*x1^4*x4*x5^18-11473616*x2^16*x1^5*x4*x5^8+44357334*x2^16*x1^6*x4*x5^17+73504200*x2^17*x1*x3*x5^19-53048160*x2^17*x1^3*x4*x5^3-76301280*x2^17*x1^3*x4*x5^8+855360*x2^17*x1^3*x4*x5^22+26068616*x2^17*x1^4*x4*x5^4+40140808*x2^17*x1^4*x4*x5^9-420336*x2^17*x1^4*x4*x5^23+101344320*x2^17*x1^4*x4^2*x5^15-1299928*x2^17*x1^5*x4*x5^10+133537231*x2^17*x1^5*x4*x5^18-49802032*x2^17*x1^5*x4^2*x5^16-118386856*x2^17*x1^6*x4*x5^19-24498144*x2^18*x1^3*x3*x5^20-86407200*x2^18*x1^3*x4*x5^2-157687200*x2^18*x1^3*x4*x5^13-26103840*x2^18*x1^3*x4*x5^15-69116832*x2^18*x1^3*x4*x5^18+158460695*x2^18*x1^4*x4*x5+42461720*x2^18*x1^4*x4*x5^3+90997323*x2^18*x1^4*x4*x5^4+50811728*x2^18*x1^4*x4*x5^7+77489720*x2^18*x1^4*x4*x5^14+31039041*x2^18*x1^5*x3*x5^22-13727362*x2^18*x1^5*x4*x5^7+87570723*x2^18*x1^5*x4*x5^20+79527140*x2^18*x1^8*x4*x5^16-218211469*x2^19*x1^2*x4*x5^15+151025140*x2^19*x1^3*x4*x5^2+86727396*x2^19*x1^3*x4*x5^5+267985696*x2^19*x1^3*x4*x5^8-150844320*x2^19*x1^3*x4*x5^11-148816800*x2^19*x1^3*x4*x5^20-97384320*x2^19*x1^3*x4*x5^26+200075040*x2^19*x1^3*x4^2*x5^18+31189237*x2^19*x1^4*x4*x5^3+173147040*x2^19*x1^4*x4*x5^4+31777497*x2^19*x1^4*x4*x5^8-107894024*x2^19*x1^4*x4*x5^9+74127032*x2^19*x1^4*x4*x5^12-128475550*x2^19*x1^4*x4*x5^14+36083520*x2^19*x1^4*x4*x5^17+73130680*x2^19*x1^4*x4*x5^21-502902*x2^19*x1^4*x4*x5^22+47856032*x2^19*x1^4*x4*x5^27-98319704*x2^19*x1^4*x4^2*x5^19-120526560*x2^19*x1^5*x4*x5^4-85086904*x2^19*x1^5*x4*x5^5-1555271*x2^19*x1^5*x4*x5^9-17731952*x2^19*x1^5*x4*x5^18-59584574*x2^19*x1^5*x4^2*x5^15+59228456*x2^19*x1^6*x4*x5^5-141641417*x2^19*x1^6*x4*x5^18+138019448*x2^19*x1^7*x4*x5^15-18266160*x2^20*x1^2*x3*x5^20-51534480*x2^20*x1^2*x4*x5^18-29452965*x2^20*x1^2*x4^2*x5-16913601*x2^20*x1^2*x4^2*x5^4-9444336*x2^20*x1^2*x4^2*x5^7+29725724*x2^20*x1^3*x4*x5^4-152856000*x2^20*x1^3*x4*x5^7+42755692*x2^20*x1^3*x4*x5^9+20718720*x2^20*x1^3*x4*x5^13+34610400*x2^20*x1^3*x4*x5^15+56612160*x2^20*x1^3*x4*x5^20+148991040*x2^20*x1^3*x4*x5^21-479304*x2^20*x1^3*x4*x5^23+2551494*x2^20*x1^3*x4^2*x5^7+50802415*x2^20*x1^4*x4*x5^2+75115600*x2^20*x1^4*x4*x5^8-1482292*x2^20*x1^4*x4*x5^10+92710915*x2^20*x1^4*x4*x5^13-10181472*x2^20*x1^4*x4*x5^14-17008040*x2^20*x1^4*x4*x5^16-27820016*x2^20*x1^4*x4*x5^21-73216304*x2^20*x1^4*x4*x5^22+150654240*x2^20*x1^4*x4*x5^25-56788648*x2^20*x1^4*x4^2*x5^16+31852080*x2^20*x1^5*x4*x5^2+18291312*x2^20*x1^5*x4*x5^5+10213632*x2^20*x1^5*x4*x5^8-134995084*x2^20*x1^5*x4*x5^19-74033624*x2^20*x1^5*x4*x5^26-2759328*x2^20*x1^6*x4*x5^8+55649110*x2^20*x1^7*x3*x5^21+57227576*x2^20*x1^7*x4*x5^14+157003330*x2^20*x1^7*x4*x5^19-5797119*x2^21*x1^2*x4^2*x5^3-8338227*x2^21*x1^2*x4^2*x5^8+93474*x2^21*x1^2*x4^2*x5^22-191248600*x2^21*x1^3*x4*x5-147928410*x2^21*x1^3*x4*x5^2+48418580*x2^21*x1^3*x4*x5^3-109826040*x2^21*x1^3*x4*x5^4-84949074*x2^21*x1^3*x4*x5^5-61325440*x2^21*x1^3*x4*x5^7-47434464*x2^21*x1^3*x4*x5^8+149885596*x2^21*x1^3*x4*x5^14-240387840*x2^21*x1^3*x4*x5^16+159318720*x2^21*x1^3*x4*x5^22+289077*x2^21*x1^3*x4^2*x5^9+11074938*x2^21*x1^3*x4^3*x5^15+136596420*x2^21*x1^4*x4*x5+78441588*x2^21*x1^4*x4*x5^4+60368528*x2^21*x1^4*x4*x5^7-116272537*x2^21*x1^4*x4*x5^8+88687699*x2^21*x1^4*x4*x5^11+118129984*x2^21*x1^4*x4*x5^17+87495635*x2^21*x1^4*x4*x5^20-78291472*x2^21*x1^4*x4*x5^23+57256324*x2^21*x1^4*x4*x5^26-91305724*x2^21*x1^4*x4^2*x5^18-95531075*x2^21*x1^5*x4*x5^4-11833272*x2^21*x1^5*x4*x5^7+9017424*x2^21*x1^5*x4*x5^9-21215014*x2^21*x1^5*x4*x5^17-101088*x2^21*x1^5*x4*x5^23+70862617*x2^21*x1^6*x4*x5^4-312624*x2^21*x1^6*x4*x5^10-11977056*x2^21*x1^6*x4^2*x5^16-28471248*x2^21*x1^7*x4*x5^19-9442605*x2^22*x1^2*x4^2*x5^2-17232105*x2^22*x1^2*x4^2*x5^13-37642760*x2^22*x1^3*x4*x5^3-29116206*x2^22*x1^3*x4*x5^4-54143080*x2^22*x1^3*x4*x5^8-164909234*x2^22*x1^3*x4*x5^9+84526148*x2^22*x1^3*x4*x5^12+77844466*x2^22*x1^3*x4*x5^15+83390020*x2^22*x1^3*x4*x5^21+606960*x2^22*x1^3*x4*x5^22+469476*x2^22*x1^3*x4*x5^23+54569648*x2^22*x1^3*x4*x5^27-112112756*x2^22*x1^3*x4^2*x5^19+26885772*x2^22*x1^4*x4*x5^3-97023556*x2^22*x1^4*x4*x5^5+89870450*x2^22*x1^4*x4*x5^7+38670876*x2^22*x1^4*x4*x5^8+1877080*x2^22*x1^4*x4*x5^9+1451898*x2^22*x1^4*x4*x5^10-12181404*x2^22*x1^4*x4*x5^13-20348905*x2^22*x1^4*x4*x5^15-20219528*x2^22*x1^4*x4*x5^18-33284662*x2^22*x1^4*x4*x5^20-87598078*x2^22*x1^4*x4*x5^21-433512*x2^22*x1^4*x4*x5^22+71913520*x2^22*x1^4*x4^2*x5^15+55624212*x2^22*x1^4*x4^2*x5^16+10211760*x2^22*x1^5*x4*x5^3+67537484*x2^22*x1^5*x4*x5^5-1340676*x2^22*x1^5*x4*x5^9+18635760*x2^22*x1^5*x4*x5^14+170949160*x2^22*x1^5*x4*x5^18+132227046*x2^22*x1^5*x4*x5^19-88575943*x2^22*x1^5*x4*x5^25-51363144*x2^22*x1^5*x4^2*x5^15-122097852*x2^22*x1^6*x4*x5^18-127670400*x2^22*x1^6*x4*x5^19+62739040*x2^22*x1^7*x4*x5^20+23993391*x2^23*x1^2*x4^2*x5^8-16484313*x2^23*x1^2*x4^2*x5^11-16262745*x2^23*x1^2*x4^2*x5^20-10642188*x2^23*x1^2*x4^2*x5^26+21864261*x2^23*x1^2*x4^3*x5^18-61314200*x2^23*x1^3*x4*x5^2-47425770*x2^23*x1^3*x4*x5^3+85653400*x2^23*x1^3*x4*x5^8-111894200*x2^23*x1^3*x4*x5^13-98158578*x2^23*x1^3*x4*x5^14+177107040*x2^23*x1^3*x4*x5^15-19394060*x2^23*x1^3*x4*x5^16-31722824*x2^23*x1^3*x4*x5^21-83487656*x2^23*x1^3*x4*x5^22+18921561*x2^23*x1^3*x4^2*x5^4+3943218*x2^23*x1^3*x4^2*x5^17+43792740*x2^23*x1^4*x4*x5^2+79918740*x2^23*x1^4*x4*x5^13-121420586*x2^23*x1^4*x4*x5^15+54301184*x2^23*x1^4*x4*x5^16-93670154*x2^23*x1^4*x4*x5^22-84419636*x2^23*x1^4*x4*x5^26-13171179*x2^23*x1^4*x4^2*x5^4-25947792*x2^23*x1^5*x4*x5^9+17827056*x2^23*x1^5*x4*x5^12-19830895*x2^23*x1^5*x4*x5^14+17587440*x2^23*x1^5*x4*x5^21+11509056*x2^23*x1^5*x4*x5^27-23645232*x2^23*x1^5*x4^2*x5^19-20462832*x2^23*x1^6*x4*x5^5-4264416*x2^23*x1^6*x4*x5^18+14244048*x2^23*x1^7*x4*x5^5+54471659*x2^24*x1^2*x3*x5^20+153681377*x2^24*x1^2*x4*x5^18-16704150*x2^24*x1^2*x4^2*x5^7+2264148*x2^24*x1^2*x4^2*x5^13+3782235*x2^24*x1^2*x4^2*x5^15+6186594*x2^24*x1^2*x4^2*x5^20+16281786*x2^24*x1^2*x4^2*x5^21+155797640*x2^24*x1^3*x4*x5^8+120507534*x2^24*x1^3*x4*x5^9-107038520*x2^24*x1^3*x4*x5^11-82792962*x2^24*x1^3*x4*x5^12+134702176*x2^24*x1^3*x4*x5^17-105599800*x2^24*x1^3*x4*x5^20-81680130*x2^24*x1^3*x4*x5^21-89274808*x2^24*x1^3*x4*x5^23-69103520*x2^24*x1^3*x4*x5^26-53450712*x2^24*x1^3*x4*x5^27+141972440*x2^24*x1^3*x4^2*x5^18+109813914*x2^24*x1^3*x4^2*x5^19+16463541*x2^24*x1^3*x4^2*x5^25+122864440*x2^24*x1^4*x4*x5^4+95034114*x2^24*x1^4*x4*x5^5-111276108*x2^24*x1^4*x4*x5^8+76450644*x2^24*x1^4*x4*x5^11+25604720*x2^24*x1^4*x4*x5^17+19804932*x2^24*x1^4*x4*x5^18+75423060*x2^24*x1^4*x4*x5^20+49356144*x2^24*x1^4*x4*x5^26-101401668*x2^24*x1^4*x4^2*x5^18-173279228*x2^24*x1^5*x4*x5^4-66152646*x2^24*x1^5*x4*x5^5+18064800*x2^24*x1^5*x4*x5^8-2448576*x2^24*x1^5*x4*x5^14-4090320*x2^24*x1^5*x4*x5^16-18287784*x2^24*x1^5*x4*x5^17-6690528*x2^24*x1^5*x4*x5^21-17608032*x2^24*x1^5*x4*x5^22+61085052*x2^24*x1^6*x4*x5^4-17804592*x2^24*x1^6*x4*x5^26+75062780*x2^24*x1^7*x4*x5^19-26269656*x2^25*x1^2*x4^2*x5^16+17410398*x2^25*x1^2*x4^2*x5^22-108466000*x2^25*x1^3*x4*x5^7-83897100*x2^25*x1^3*x4*x5^8+14701920*x2^25*x1^3*x4*x5^13+11371752*x2^25*x1^3*x4*x5^14+24559400*x2^25*x1^3*x4*x5^15+18996390*x2^25*x1^3*x4*x5^16-62399694*x2^25*x1^3*x4*x5^17+98461440*x2^25*x1^3*x4*x5^19+40171760*x2^25*x1^3*x4*x5^20+136795796*x2^25*x1^3*x4*x5^21+81775764*x2^25*x1^3*x4*x5^22+77470200*x2^25*x1^4*x4*x5^7-10500624*x2^25*x1^4*x4*x5^13+48990816*x2^25*x1^4*x4*x5^14-121669833*x2^25*x1^4*x4*x5^15-8643698*x2^25*x1^4*x4*x5^16-77077416*x2^25*x1^4*x4*x5^20-75511368*x2^25*x1^4*x4*x5^21+106903640*x2^25*x1^4*x4*x5^25+82688634*x2^25*x1^4*x4*x5^26+28409472*x2^25*x1^5*x4*x5^17-18828576*x2^25*x1^5*x4*x5^23-76354308*x2^25*x1^5*x4*x5^25-62071149*x2^25*x1^6*x4*x5^16+71540560*x2^25*x1^6*x4*x5^20-269820796*x2^26*x1^3*x4*x5^16-131940144*x2^26*x1^3*x4*x5^17+113051920*x2^26*x1^3*x4*x5^22+87444252*x2^26*x1^3*x4*x5^23+121832928*x2^26*x1^4*x4*x5^16-80745624*x2^26*x1^4*x4*x5^22-141815520*x2^26*x1^4*x4^2*x5^14+69690152*x2^26*x1^5*x4^2*x5^15-13951860*x2^26*x1^5*x4^2*x5^19+15088320*x2^26*x1^8*x4*x5^20-43664181*x2^27*x1^2*x3*x5^22-123190143*x2^27*x1^2*x4*x5^20+19354311*x2^27*x1^2*x4^2*x5^15-6048427*x2^27*x1^3*x3*x5^21+36528240*x2^27*x1^3*x4*x5^14-17064481*x2^27*x1^3*x4*x5^19-57889608*x2^27*x1^4*x4*x5^19-20930832*x2^27*x1^5*x4*x5^16-90594400*x2^27*x1^6*x4*x5^19-70073640*x2^27*x1^6*x4*x5^20+64705680*x2^27*x1^7*x4*x5^19-111285790*x2^27*x1^8*x4*x5^15+125674440*x2^28*x1^3*x4*x5^15+97207614*x2^28*x1^3*x4*x5^16-55173216*x2^28*x1^3*x4*x5^20-89761068*x2^28*x1^4*x4*x5^15+83379289*x2^28*x1^5*x4^2*x5^14+10759896*x2^29*x1^2*x4^2*x5^19+79466828*x2^29*x1^4*x4^2*x5^15-11636352*x2^29*x1^5*x4*x5^20+69867840*x2^30*x1^3*x4*x5^19+54041904*x2^30*x1^3*x4*x5^20-15497643*x2^30*x1^3*x4^3*x5^14-49902048*x2^30*x1^4*x4*x5^19+16760016*x2^30*x1^6*x4^2*x5^15-108931151*x2^31*x1^3*x4*x5^14-100631720*x2^31*x1^4*x4^2*x5^14-77837382*x2^31*x1^4*x4^2*x5^15+71874684*x2^31*x1^5*x4^2*x5^14+87318609*x2^34*x1^3*x4*x5^16+12095503*x2^34*x1^4*x4*x5^15+75656350*x2^9*x1^2*x4*x3*x5^15+149361575*x2^11*x1*x4*x3*x5^18-105869225*x2^18*x1^2*x4*x3*x5^14+70915680*x2^19*x1^3*x4*x3*x5^20-34848968*x2^19*x1^4*x4*x3*x5^21-41694301*x2^21*x1^4*x4*x3*x5^20-39737852*x2^22*x1^3*x4*x3*x5^21+7749687*x2^23*x1^2*x4^2*x3*x5^20-8380944*x2^23*x1^5*x4*x3*x5^21+50321480*x2^24*x1^3*x4*x3*x5^20+38923038*x2^24*x1^3*x4*x3*x5^21-35941356*x2^24*x1^4*x4*x3*x5^20-90899613*x5^4-50757168*x5^7;
poly r = gcd(p, q);
printf("%s", r);
exit;
Raw
Singular_GCD_README.md 
chmod +x test.sh

Ubuntu 20.04

docker run -it --rm -v $PWD:/workspace ubuntu:20.04
apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y singular-ui
cd /workspace
time ./test.sh

The above commands can also be used with Ubuntu 20.04 and 22.04 by simply changing the version number.

Latest version

docker run -it --rm -v $PWD:/workspace ubuntu:20.04
apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y gnupg wget
wget ftp://jim.mathematik.uni-kl.de/repo/extra/gpg
apt-key add gpg
echo 'deb ftp://jim.mathematik.uni-kl.de/repo/ubuntu20 focal main' >>/etc/apt/sources.list
echo 'Dir::Bin::Methods::ftp "ftp";' >>/etc/apt/apt.conf.d/99local-ftp
apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y singular41
cd /workspace
time ./test.sh

Increasing N

sed -i 's/^N=100$/N=1000/' test.sh
Raw
test.sh
#!/bin/bash
TIMEOUT=10
N=100
count=0
for ((i=1; i<=$N; i++)); do
timeout $TIMEOUT Singular gcd.c
if [ $? -eq 124 ]; then
((count++))
echo "*** total timeouts: $count / $i"
fi
done
echo "*** total timeouts: $count / $N"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment