ring r = (0, ah, bh, sh0), (ch2, ch1, sh1, ch0), lp; poly p = (bh^12)*ch0^12+(33696*ah^2*bh^10*sh0^2-33696*ah^2*bh^10-24320*ah*bh^11*sh0^2+24320*ah*bh^11+35888*bh^12*sh0^2-40592*bh^12)*ch0^10+(533303040*ah^4*bh^8*sh0^4-1066606080*ah^4*bh^8*sh0^2+533303040*ah^4*bh^8-721039360*ah^3*bh^9*sh0^4+1442078720*ah^3*bh^9*sh0^2-721039360*ah^3*bh^9+900372224*ah^2*bh^10*sh0^4-1872621568*ah^2*bh^10*sh0^2+972249344*ah^2*bh^10-732323840*ah*bh^11*sh0^4+1521848320*ah*bh^11*sh0^2-789524480*ah*bh^11+536581984*bh^12*sh0^4-1157572544*bh^12*sh0^2+630210400*bh^12)*ch0^8+(4895096094720*ah^6*bh^6*sh0^6-14685288284160*ah^6*bh^6*sh0^4+14685288284160*ah^6*bh^6*sh0^2-4895096094720*ah^6*bh^6-9503256739840*ah^5*bh^7*sh0^6+28509770219520*ah^5*bh^7*sh0^4-28509770219520*ah^5*bh^7*sh0^2+9503256739840*ah^5*bh^7+8393921683456*ah^4*bh^8*sh0^6-25501618987008*ah^4*bh^8*sh0^4+25821472923648*ah^4*bh^8*sh0^2-8713775620096*ah^4*bh^8-10731269652480*ah^3*bh^9*sh0^6+32622127349760*ah^3*bh^9*sh0^4-33050445742080*ah^3*bh^9*sh0^2+11159588044800*ah^3*bh^9+9609374840832*ah^2*bh^10*sh0^6-30900748969984*ah^2*bh^10*sh0^4+32991665580032*ah^2*bh^10*sh0^2-11700291450880*ah^2*bh^10-8819771351040*ah*bh^11*sh0^6+26899835248640*ah*bh^11*sh0^4-27370253312000*ah*bh^11*sh0^2+9290189414400*ah*bh^11+4278287879424*bh^12*sh0^6-13171645853440*bh^12*sh0^4+13552545617664*bh^12*sh0^2-4668825449728*bh^12)*ch0^6+(27523693098762240*ah^8*bh^4*sh0^8-110094772395048960*ah^8*bh^4*sh0^6+165142158592573440*ah^8*bh^4*sh0^4-110094772395048960*ah^8*bh^4*sh0^2+27523693098762240*ah^8*bh^4-68271396419010560*ah^7*bh^5*sh0^8+273085585676042240*ah^7*bh^5*sh0^6-409628378514063360*ah^7*bh^5*sh0^4+273085585676042240*ah^7*bh^5*sh0^2-68271396419010560*ah^7*bh^5+41266656877871104*ah^6*bh^6*sh0^8-162768796830662656*ah^6*bh^6*sh0^6+240706449224761344*ah^6*bh^6*sh0^4-158173135469019136*ah^6*bh^6*sh0^2+38968826197049344*ah^6*bh^6-1796882594529280*ah^5*bh^7*sh0^8+2814016424509440*ah^5*bh^7*sh0^6+2339246293647360*ah^5*bh^7*sh0^4-5933011482705920*ah^5*bh^7*sh0^2+2576631359078400*ah^5*bh^7+24022916134486016*ah^4*bh^8*sh0^8-106441458398461952*ah^4*bh^8*sh0^6+175180850235801600*ah^4*bh^8*sh0^4-127128989814161408*ah^4*bh^8*sh0^2+34366681842335744*ah^4*bh^8-37778744257413120*ah^3*bh^9*sh0^8+184050089048145920*ah^3*bh^9*sh0^6-325356779078942720*ah^3*bh^9*sh0^4+249678268043100160*ah^3*bh^9*sh0^2-70592833754890240*ah^3*bh^9+51283666983923712*ah^2*bh^10*sh0^8-218537065454780416*ah^2*bh^10*sh0^6+350190583848869888*ah^2*bh^10*sh0^4-249844961973846016*ah^2*bh^10*sh0^2+66907776595832832*ah^2*bh^10-53104961903984640*ah*bh^11*sh0^8+208042362260029440*ah*bh^11*sh0^6-305287798106357760*ah*bh^11*sh0^4+198844917904179200*ah*bh^11*sh0^2-48494520153866240*ah*bh^11+19185554397544704*bh^12*sh0^8-74732606892463104*bh^12*sh0^6+108952942133589504*bh^12*sh0^4-70415693021508608*bh^12*sh0^2+17015470412812544*bh^12)*ch0^4+(89751898555737440256*ah^10*bh^2*sh0^10-448759492778687201280*ah^10*bh^2*sh0^8+897518985557374402560*ah^10*bh^2*sh0^6-897518985557374402560*ah^10*bh^2*sh0^4+448759492778687201280*ah^10*bh^2*sh0^2-89751898555737440256*ah^10*bh^2-267336306486872637440*ah^9*bh^3*sh0^10+1336681532434363187200*ah^9*bh^3*sh0^8-2673363064868726374400*ah^9*bh^3*sh0^6+2673363064868726374400*ah^9*bh^3*sh0^4-1336681532434363187200*ah^9*bh^3*sh0^2+267336306486872637440*ah^9*bh^3+103952323382315319296*ah^8*bh^4*sh0^10-493112081743740928000*ah^8*bh^4*sh0^8+932925093151810519040*ah^8*bh^4*sh0^6-879626022816139182080*ah^8*bh^4*sh0^4+413163476240233922560*ah^8*bh^4*sh0^2-77302788214479650816*ah^8*bh^4+398795349446224773120*ah^7*bh^5*sh0^10-2060293098880483983360*ah^7*bh^5*sh0^8+4253218901059688202240*ah^7*bh^5*sh0^6-4385851604358408437760*ah^7*bh^5*sh0^4+2259242153828564336640*ah^7*bh^5*sh0^2-465111701095584890880*ah^7*bh^5-505816995256620023808*ah^6*bh^6*sh0^10+2489182376045404749824*ah^6*bh^6*sh0^8-4897615495739768569856*ah^6*bh^6*sh0^6+4815922183513077448704*ah^6*bh^6*sh0^4-2366642407705368068096*ah^6*bh^6*sh0^2+464970339143274463232*ah^6*bh^6+252442209660614737920*ah^5*bh^7*sh0^10-1000386302391605002240*ah^5*bh^7*sh0^8+1474514835587328901120*ah^5*bh^7*sh0^6-945648789018504069120*ah^5*bh^7*sh0^4+207087232538367754240*ah^5*bh^7*sh0^2+11990813623797678080*ah^5*bh^7-178699989419949883392*ah^4*bh^8*sh0^10+559144377004235227136*ah^4*bh^8*sh0^8-465416329316559618048*ah^4*bh^8*sh0^6-172046101565290708992*ah^4*bh^8*sh0^4+397263630163068780544*ah^4*bh^8*sh0^2-140245586865503797248*ah^4*bh^8+82452777433269534720*ah^3*bh^9*sh0^10-229531905425418485760*ah^3*bh^9*sh0^8+119904759131616051200*ah^3*bh^9*sh0^6+193359659608309760000*ah^3*bh^9*sh0^4-240569862076141404160*ah^3*bh^9*sh0^2+74384571328364544000*ah^3*bh^9+137162008431616057344*ah^2*bh^10*sh0^10-687695825249814011904*ah^2*bh^10*sh0^8+1368240995184971005952*ah^2*bh^10*sh0^6-1351659006354445221888*ah^2*bh^10*sh0^4+663515877301944016896*ah^2*bh^10*sh0^2-129564049314271846400*ah^2*bh^10-159858422990871920640*ah*bh^11*sh0^10+748635368131631185920*ah*bh^11*sh0^8-1399389191136838287360*ah*bh^11*sh0^6+1305210363525400494080*ah*bh^11*sh0^4-607474946778652672000*ah*bh^11*sh0^2+112876829249331200000*ah*bh^11+45880156065397874688*bh^12*sh0^10-211359820140747472896*bh^12*sh0^8+388213254696020262912*bh^12*sh0^6-355489409106801000448*bh^12*sh0^4+162336878687192883200*bh^12*sh0^2-29582837381662720000*bh^12)*ch0^2+(137466837612423351894016*ah^12*sh0^12-824801025674540111364096*ah^12*sh0^10+2062002564186350278410240*ah^12*sh0^8-2749336752248467037880320*ah^12*sh0^6+2062002564186350278410240*ah^12*sh0^4-824801025674540111364096*ah^12*sh0^2+137466837612423351894016*ah^12-465366577218003329351680*ah^11*bh*sh0^12+2792199463308019976110080*ah^11*bh*sh0^10-6980498658270049940275200*ah^11*bh*sh0^8+9307331544360066587033600*ah^11*bh*sh0^6-6980498658270049940275200*ah^11*bh*sh0^4+2792199463308019976110080*ah^11*bh*sh0^2-465366577218003329351680*ah^11*bh+250866869834345256845312*ah^10*bh^2*sh0^12-1415189525781010370789376*ah^10*bh^2*sh0^10+3312944581389873001267200*ah^10*bh^2*sh0^8-4117220464436293434081280*ah^10*bh^2*sh0^6+2862886115264567149854720*ah^10*bh^2*sh0^4-1055142752880765689659392*ah^10*bh^2*sh0^2+160855176609284086562816*ah^10*bh^2+858204655786745669877760*ah^9*bh^3*sh0^12-5403158472400676281384960*ah^9*bh^3*sh0^10+14142722525202196358758400*ah^9*bh^3*sh0^8-19703398492536936018739200*ah^9*bh^3*sh0^6+15412375213603207669350400*ah^9*bh^3*sh0^4-6418880623121485329858560*ah^9*bh^3*sh0^2+1112135193466947931996160*ah^9*bh^3-1101300739794444669157376*ah^8*bh^4*sh0^12+6792257173298591632982016*ah^8*bh^4*sh0^10-17417217013629584356147200*ah^8*bh^4*sh0^8+23772311117421314477916160*ah^8*bh^4*sh0^6-18216691906555683589324800*ah^8*bh^4*sh0^4+7431837087639471019524096*ah^8*bh^4*sh0^2-1261195718379664515792896*ah^8*bh^4-492571863716062203740160*ah^7*bh^5*sh0^12+3023530580999766278144000*ah^7*bh^5*sh0^10-7784498541001015977574400*ah^7*bh^5*sh0^8+10754125628327645203660800*ah^7*bh^5*sh0^6-8402113493233569470873600*ah^7*bh^5*sh0^4+3517622542785809072783360*ah^7*bh^5*sh0^2-616094854162572902400000*ah^7*bh^5+1463647186293503107792896*ah^6*bh^6*sh0^12-8863674179201467552890880*ah^6*bh^6*sh0^10+22414304045375034233978880*ah^6*bh^6*sh0^8-30289844752203664662200320*ah^6*bh^6*sh0^6+23065743981972917494743040*ah^6*bh^6*sh0^4-9382682110588658821103616*ah^6*bh^6*sh0^2+1592505828352336199680000*ah^6*bh^6-308807042575303012515840*ah^5*bh^7*sh0^12+1850993371226514716098560*ah^5*bh^7*sh0^10-4661891438874171424112640*ah^5*bh^7*sh0^8+6307724440404830936104960*ah^5*bh^7*sh0^6-4829652761605066236887040*ah^5*bh^7*sh0^4+1981573356811569856512000*ah^5*bh^7*sh0^2-339939925388374835200000*ah^5*bh^7-813899106714716326526976*ah^4*bh^8*sh0^12+4812765706821748008812544*ah^4*bh^8*sh0^10-11816823898705499311374336*ah^4*bh^8*sh0^8+15424280155527123999391744*ah^4*bh^8*sh0^6-11290775067244151822155776*ah^4*bh^8*sh0^4+4395571368908486806732800*ah^4*bh^8*sh0^2-711119158592991354880000*ah^4*bh^8+471253780380559202058240*ah^3*bh^9*sh0^12-2788447382194763983749120*ah^3*bh^9*sh0^10+6840149434181379576299520*ah^3*bh^9*sh0^8-8907689793717754019184640*ah^3*bh^9*sh0^6+6497509854150221234176000*ah^3*bh^9*sh0^4-2517833835182234009600000*ah^3*bh^9*sh0^2+405057942382592000000000*ah^3*bh^9+147522610516094164795392*ah^2*bh^10*sh0^12-768159729024637174677504*ah^2*bh^10*sh0^10+1664431078062874306019328*ah^2*bh^10*sh0^8-1920975388696356005871616*ah^2*bh^10*sh0^6+1245523031918760207974400*ah^2*bh^10*sh0^4-430168460707897098240000*ah^2*bh^10*sh0^2+61826857931161600000000*ah^2*bh^10-192463144315200098795520*ah*bh^11*sh0^12+1029449862266357006991360*ah*bh^11*sh0^10-2292943430067839135907840*ah*bh^11*sh0^8+2722287821614225293312000*ah*bh^11*sh0^6-1817031015781390745600000*ah*bh^11*sh0^4+646494638045511680000000*ah*bh^11*sh0^2-95794731761664000000000*ah*bh^11+45709996774860023463936*bh^12*sh0^12-238289938293888207028224*bh^12*sh0^10+517592255970317920763904*bh^12*sh0^8-599607910992774935347200*bh^12*sh0^6+390722350218225295360000*bh^12*sh0^4-135789650609553408000000*bh^12*sh0^2+19663129151078400000000*bh^12); factorize(p);