P[7(0,P[15(1,952085549716903477050439530682472527493013728379802191801198459468046383566012797157409213245436606409130983180217104392900152110439836406249735058956745637352921380509937099865115070638413602545750)(2,-2730935288320437111335015866331154006374813613444654940629548745602950671683017695653863727958649513927755242482946119655311507721351274078118731292670712410650791392595920879703019926429922005816750)(3,-175911655962615997441822216029414451510372060325073989797263946829955437235900643877179206970334526103986550865677687679653560790976505829574510161652665698742775733107139740530969737824678520080843175)(4,259823340049609501290970723536190315702888120182892889501163055556587507163630548695950580831716298502563980874484268206730026399456053637649692221940274735454180088473961383619583237476170467659287435)(5,-63982703144850147451272699588816376561058695586557110870998889458366675072823300234249588138639869244558742565319914809793033948052942807958491369796761211073351391511463712203380332003254491368215562)(6,-58392049382168537865195554918687243840024074379318385080582817158033978365697668662987274160672749726961356647698453816579440648150944158721595471729903093786912052647686281943681485862400014899864178)(7,67696259809918673646019831267382451473268515163622091313423199827229524719518928182856160109706939617713345465495538439668318252983074998919346296363071764388191173538088333361204320701255642947783124)(8,-27625685072354681364514022919713951664996536450681843880331357714548695823119369627781100732569063617869566113674552114450755076205114759048197580605251448711684916017567513209519181455714874628044644)(9,3923140324027398815448431641675603612978536684908696429915838231451752351473033029115313229678707399722443675733587427422301601874595005690198520726379356572705592778992560298431001822381981586687816)(10,-4191614935930836500045593146597266043971158425999932125729299186389034952321541149591616746932426986273092115259240104783495090072093864216689333944068683536586261984581442305829230238469915685078216)(11,704258883421702667519817690438544084365724946314155817632413897167947157058555715001737690278602829671530520493642468937731686789048056439418418806668103585825374606593948528982912540280109886339200)(12,102391387556859869589001637155950382369445625327519524829952781805070371195058205065131776860848514841162590682209209671397606774000283762266858585914936082700638148680603971988860640199161187920000)(13,-465225791661542124139658917140150312206173492460955453603938851224627541606869422659145529365900398800813333819588452600346206707542439169885263328522848444413176704131103519346360307014252955676800)(14,22613247963857891877647027859014933568491205873522758131185405397120683610474184520816494674081869766469061500340450862035311491241116455081041992649471691912155065179408388766251303102399004044800)(15,75780325687282199848869055316241222071664736218194612242953785014430833099799860434646660312270251689813712362579789831232256408042197445234818875928583293506379373159539323607648063933815748931200)])(1,P[14(1,206878856168504817349527384557685391297109213927360016798102680107286763834783145350216041386825238991898169222619306459393807147483332589076294001935431815397497588111635930856464161043200)(2,242426409116601821387963385679953222437991164940918380698735662351492847241315551388563328325914379207754347797218229989030796892496998655947264557724679968350115319468903053020008843953651902227117800)(3,-293263370481702728637639114990402695190557884199322332576415374885323517494942603156272646864196639139697326681936985372896672816961440102846946531622283358864898649452914647953311262916869464465767600)(4,-165649183185565742355350228111323254471268626369455411653782519437068363633347733290073532207805151680130652955293729860223612164372117595666106335768440255044666964786261993972398210178652224968287580)(5,56564001676442782313305842533243689891382670985561088108208948404613730369003970375166110718975324192640757632535988367050014243911173749958765701910664609198594994039324063563892152374849354460969320)(6,276919682912105612804062527753152034752117378174197559113382792901965706335973299047950029603796026695075576536591074103173851526603152416891177431509331408176435508911876320897552761011765704127392180)(7,-166830938603674214412934535434331464972528133822738654266261206209247130166751794136345686273820620076503026940376257713266176787731047518321443127539356519669971616664408598924009845555920202056626984)(8,-51996962601913803432516495063078730443675653559451479600301389310804394068394789234671528018920736586699547623854987618787934342582296666485638066625857651712454707628416712870101004591225384252243136)(9,173232015058581612213708349320837654822584258196239870006938562144706021623377268980750742738330534475868798552522477833105996421145905240784912407738810623798919543797141087329335322734538177820303072)(10,-69227072974376366685059056197713313382826600687541738673922900786227216100422560250277574743735267937797271561048645194217717511361920997013491490799526449571455300081475142749918029576791509161274064)(11,-20228388871449278481696870066926772717422022255114763916754051740831326560204746881779882251389023242248097286552697170585520643682162453494263857550742987708707529377586599080227915269372819547742624)(12,33753974033007734516478732308745357586225386871810471323683681875428303893708138769269432159548512497947211851729206364287187446978547227557136218282768354152758499280469291706911660040301784698333952)(13,-6710711780689183117744861070103326984259233583268016205292657699989419435620437692753813966736454402851447664889455547757174976356845528054050986544836097340794014631610654550735169223153655565897728)(14,-8989454297575124968746181479401928712320390083132081572146907625513344683800850683359762365311100044746146895636116348135656594547340236404799253304287937765810514690436964005110938733978127477319808)])(2,P[13(1,-68390922954157304937550061244476317547869307336383014110686515040724749323863089919944793469097259636538209517453454909573063725155315602118835838159513877646269876833708234362010666228469207173945860)(2,18087606259234888386790448083545882440235828420171491232204650640441355680229719762676464349451515777343408373011389994592247065058529678392789527700432655575183892394550720207751323421548813740234660)(3,307613161975513239313543645720974670042783715969353267148169277713526046550091768887504501275889466039133247051873076687490866506000653305016083767685570141443637826214388378835084986417932416332868250)(4,-8763649897460915076322429382415413952329405013073470247891251929083372344956658700967053915870244063950266198707380026741755144131760251565527289707101278019450943594243649461420581092382428797491978)(5,-441471129118422951667950395011573918990321853553382320599371937686772853033476672962915035082276295098106610097862839415341503052137620559898234152756397977510117000142994664132802011756493958258368380)(6,180895390742852168764867158014451911343597376270582036324650403571648577142681463828007438755241302437137338057761853984796676858517735628335473102268278879919575008324454548147664992463612018553198796)(7,124436557624102777173960559868625690957459590942120179805843103879164684428159799217639993959025256008354358348691534548724761864526053538940589151483295200223832045033716793211272558586857956441325176)(8,-167222319046729371736643504322735117676329685713601772036281577041662019270923469200786448647046981270297636130357734344501863568576127873487321014804737176808769111316776703879734687403650397584058424)(9,52816251815072942596334470927760830956343757063336657203354310577656028753505184111526506189349189746793281410950490166964338705663861680615608159299178666698368186050835994741014849270849186641524208)(10,30828246589629592831847564797068809237844815100133662334424667049013813982298071925559555911535901926713605501587788778115685584234177988154724770633393329937056087179828172636783851390600463638117840)(11,-45760453618361157692416598932459004180727173371060420806339334561582604960472783731608041360243853352199818975928355834879870272214960158768945680255086573512350407938851536312964298114774009377926272)(12,3762023047001242352811649264133040427973560019697590090763568202506444090299260785142705720410161935530349150337912763308390468437381984025604513467008078633208545536033789217930179559011366628266752)(13,13169236581724849690727492217098936941338781202106113661160634625868648306427405998164206313631839550086953026095717607045088709777390642357990983145679931066095749092766391151429503485357779216255232)])(3,P[12(1,24241840094623153656839653165808787848077337561274391301968942312722566430361814627343484653857656914927463324233944410959903511467921174772784876635409792485707189595766384088589589556676694390248976)(2,-92880961288412635836524712491024180617112996773265463943371439572135231161627468341354707188014096166429299729368306683451550476635552941825848729243838050847442678891073955629632767762471959463724816)(3,12998351443582143854640710444944791186852162679646774721314755317430361630837602573294190899246091446815375711302581084780447531596768718213640183780724563704544354021701953066959840543285265577370088)(4,119621981390125639119958857687154722050865428818790133363150671064614663052629991212061630019337423420695358096747877115672682382377451397424060899656888805918977446104928411237130792612709821745053016)(5,-12221588620129469547773415850415972263118031992716799505046749663623273983631962832369042238533145953330176849408731259146225144549275075192831369173745426727245200802038053520836528452632008968659128)(6,-114519163565673075659242825578878344581794617438188640271247617477061197530169652074146788728064513390666681804962334856499148526948951907453265967416881546830084293855390644340518458061837251357787752)(7,55053843706050752839241962209415415605725371522476705853035269019275321289202246081927383198107051310851867169343107401116968079135126945419631246979409776470250203395192795727407983715230972982468064)(8,-2235663148869543372256914133937377182677075818807034630951259996079363405631914264597846476097161854526766443887405809444412629709297364672268241186692090967635845025783029967558500502921992198004224)(9,-13964470891552412711966322426208444533936828840038494556234114977534097723822502970651799871769878791778094018456753026589377255099677026699757062964999694408083412714495259104262141838879226152046176)(10,40858689630700081269532785009174677547247627452282007915967907912715602682945297054414778417884959132487127720275784118562895412393453707054004576292825052411247626083107318512460364026974497896948576)(11,-6823481371401155703046935922188209171003851427778077395279617712710850015311471549045186410461112681675091887770031010232550204623454420205927397996786259819327566192519884259069773660390604846792448)(12,-10129377379043477909402842113845865889124525743675502853306746227614501265781979516876096275493273387371081288049731485729632679404513206834223015362314921390907821719396035810670400175744209605074176)])(4,P[11(1,255404539828478749232204352570251103635308014442740843432040191910172920070207360845766589341610808040494770779291437770828612387034012801736051663100012378101086756612012559474872516355456455411200)(2,-628086082063775224463819960934291709723039507887161620735511961212209747235055500088119065308168472989718586341081709786874733526439768234395550799252216530429913809630070153725030614205382573478400)(3,-8295921258203221962755551839758059491499493174768660938413198409514201717808624256684486923289118391655771525649743617372632137987625621271677825637373058821816142151979109736823211239333149339612288)(4,9023419572889740198471975507062762633989469417041810807640282402449599115288227061931393313683357209675642033429158507349312453726417578913316227337753073286829982846523385217491704633287641639753088)(5,41753278455065234628911428711987902413775084640108014753423000094252540937512443754992707818280357528676666456035866026033783703670131003175841926986411538752762506217952992377239168685361448870647680)(6,-44562064745262538580566225268051123314082018321396447238844599800950866612286224764935726183619907660486249666575189489668360397214819894411298831692499067870840806838088139210239004366879380423907968)(7,10369615352763212496058621876331192165082159191531132544772787905339554744758678634511690573510249499946310218904059426508833790709012050511088105904022980688435117853438207685479005418986785082439840)(8,-6752628903550857301733847823568123926131717278645411656447771895914071324447451443307272291701031458919279072433487524226212467362615292128481142012286651777927257864112988434033994746129091448730208)(9,-14580251089538417370026778278997346194957624124571954120051000556611644502341530508363887812300440161755516271025689986711820950733638755156705558650871171214860565184664337108809647164721873477583104)(10,13428158571608831722728472037972390694195369511784538888275970095464315535086444498901650969126833522933604110328213927973211947114612907817550472437002222228971952398864985251998099799011272036215360)(11,-10924413536687355856479314615554374283498367638602263051998065213189348597114837803716987723742423466182467451396997870069820782068222016973875536007661119225960224916938448051962921733726821155200)])(5,P[10(1,125302552348498069587144529997970841295258494161549840426448370558141613592583106310934004221301668533755510604680454967486647384496265754117796546585217901907999549550511668579703483370759176819200)(2,-387674163415137213326508322570559420199031950834056794931079240716243076231086761560082249501226990583644297558975858033868039659676889301489460729213461929511273125492219901772913132952588819136000)(3,60349665527195382793117380986245193922236214340819827300258523327497158312063765245838272513157724592521574434776390983802064452028100366222391104774594492028681008915985875569793442738717088000000)(4,10255200674919767546540568009586558512460826619289362269179470274013556783384880193830809446876093555552660798155738213128788168041603621556402300250583373744637415032678193528830811755031392057600)(5,-9537104821985835570319936276976376375684474258035993442711685248760574394801929344096119322022553482851936510305204285503078310111720684448121405136376308950517961238318216774868489572651387318400)(6,14880274582604150711306966612697840271129605745466695133685177763260586452704324156731611962314003254259736736898396490352612416330657307650800766222036731257935384421450343072323777957687386092800)(7,10588941552686923228504500261059796146956071579039847333997968625802877261006472447909162441653508459559608292094160457323791668317398782781955412064859971853759179479277251916671769397847037605113088)(8,-10228568052431603819799075106232480324115383866690233928584762471830830788063166816055383614144144837132308428552377590976229851045885500544050449222854566200567474901071409289803276682822720864031488)(9,-5307461617850645707558006352208807806205347853633114012077491730165069482543080156418720350324224661266516078136643504898963238099205990375275836853404292280014795347290451617874623224583368040278144)(10,5133511692699231977111300010622527345938291425508467669908504960235113745084927139561785193494461092969622966089630720216002426376584691073761065427916292366345628497894521028803260616262096462681344)])(6,P[9(1,429125496944174867012445897009778808489939671462806552609475266943506935381247281339181478837492534913740483217910111804811788217840366959049547056908461207125914763711107274856315357839585686892800)(2,-647028469948748317514378436085495997246871677491883591309751698268685293649751181799576163742154184620913494791550649894140109628505483256149362318520993904726201154426044969641077370382517748377600)(3,364486479793009354082390069736736698710132757288288463534210938362681471984711484796975725675103295766459548721761936875140631179883823842666646434301725169559951490601095254140897060941128946166400)(4,260963307871855931247330149495970897967079950054692908546119785137490040760823265326370946253893434267654880203194559629356537600887181311288105411289054805836341143412851256878580041724763222457600)(5,-505805972188137567329560394181332052679250303096174431384719192538839183382734847543645737416360794966805648745103594387282980723192943395296032850287395748327111111638791197004533328702195698128000)(6,-303739691682301471126936709478368417487616525071505815219306945111477167073658108173154631951059835313421516480327498096852178969593485946039590366323955441972751599289946163354590858163514941878400)(7,360841864158939235607925660723403656076528280997257286941636260529932065080506298742652312491801428894178668881739838382968828029689344997428333590501822378888753281364191935313245034202870896329600)(8,167507577616780292440933121875878483907897234708565129386842488554951735052842135479931599879825832167411225038308940377854468788138133052216439120154838257618065658095015888662785089948381383872000)(9,-126350592565572324420149359096572077737839388852046503104506903609560604153986328168735530028541711108304146045933644691856984495146937565164086078023556724002962471829479279851621027408501747334400)])(7,P[8(1,408697663842136168551036400263166047512280172671035232436860684348548161463938676591793166068882409171070174067509751860432446381703020378739699052411582917570210490498132475261561581166693498502400)(2,-461924096660986641818142137248477320136857278377501950592648565610551192330459280550897898815964981656670892953735329478297389827228267943138276342512054809068010956017524549288790542989394745292800)(3,-467792860567919242444534386012604809402892541265635149941339133015002295960405923239995551478627344375183880758175646844325288786554222098800104456299798368155877292200539628604184524800871326512000)(4,580036073509637542528141039790347791501252411507599475496678209314975514704709254635190251645831341505359383301615962488446867251906646415974528137352228092551445399551555492820989010943363620524800)(5,-342376534158077022790564396681859546238263245406339888236852561897422279475618058764360469194284784367118580795840366276154765480848162148508282456446746065843840811863958025286126874682425636636800)(6,267157972178487900882589455739539800183733375029710156676472739655967755375574118600001701250873290521656585031574653641236048812488708910444157192543927289371639465496370358508570828658414377500800)(7,237049274240751300937536244811185219530819736435699327549153478658893193544918175618204976708188927130971488829025375866604649139349759051611704960746874760264613417669847360386414370895593962633600)(8,-220847492384030005846062220661297182950072630594567203388324851455408857322656962889936176184898857930084276721974401257942567490817482566323426087796013816690179713133883483798433849191373750720000)])]

> impose_conditions:=proc(f)
> local eqns,M,N,s,g,m,h;
> m:=0;
> while(m<1 or m>1) do
> h:=RandPoly(3,2^32):
> m:=nops([fsolve(h)]);
> od:
> print(fsolve(h));
> M:=eval(h,x=t);
> #m:=0;
> #while(m<3) do
> #h:=RandPoly(3,2^128):
> #m:=nops([fsolve(h)]);
> #od:
> #print(fsolve(h));
> #N:=eval(h,x=t);
> eqns:=[];
> eqns:=[op(eqns),get_eqns(f,t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(f,x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(f,y),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(f,y),y),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(f,x),y),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(f,x),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(f,y),y),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(f,y),x),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(f,x),x),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(diff(f,y),y),y),y),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(diff(f,y),y),y),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(diff(f,y),y),x),x),t,t,M)]:
> eqns:=[op(eqns),get_eqns(diff(diff(diff(diff(f,y),x),x),x),t,t,M)]:
> #eqns:=[op(eqns),get_eqns(diff(diff(diff(diff(f,x),x),x),x),t,t,M)]:
> s:=solve(eqns);
> g:=eval(f,s);
> return g:
> end proc:
> f:=create_indet_poly(11):
> f:=eval(f,[a_66=0,a_67=0,a_55=0,a_68=0,a_56=0,a_45=0,a_69=0,a_57=0,a_46=0,a_36=0]):
> f:=eval(f,a_1=1):
> g:=impose_conditions(f):
> f:=eval(g,set_indets_to_random(100,2^31)):
> f:=integer_pol(f):
> fsolve(coeff(f,y,7));
> f:=f*x*(x-1)*(x^2-2):
((-220847492384030005846062220661297182950072630594567203388324851455408857322656962889936176184898857930084276721974401257942567490817482566323426087796013816690179713133883483798433849191373750720000)*x^8 + 237049274240751300937536244811185219530819736435699327549153478658893193544918175618204976708188927130971488829025375866604649139349759051611704960746874760264613417669847360386414370895593962633600*x^7 + 267157972178487900882589455739539800183733375029710156676472739655967755375574118600001701250873290521656585031574653641236048812488708910444157192543927289371639465496370358508570828658414377500800*x^6 + (-342376534158077022790564396681859546238263245406339888236852561897422279475618058764360469194284784367118580795840366276154765480848162148508282456446746065843840811863958025286126874682425636636800)*x^5 + 580036073509637542528141039790347791501252411507599475496678209314975514704709254635190251645831341505359383301615962488446867251906646415974528137352228092551445399551555492820989010943363620524800*x^4 + (-467792860567919242444534386012604809402892541265635149941339133015002295960405923239995551478627344375183880758175646844325288786554222098800104456299798368155877292200539628604184524800871326512000)*x^3 + (-461924096660986641818142137248477320136857278377501950592648565610551192330459280550897898815964981656670892953735329478297389827228267943138276342512054809068010956017524549288790542989394745292800)*x^2 + 408697663842136168551036400263166047512280172671035232436860684348548161463938676591793166068882409171070174067509751860432446381703020378739699052411582917570210490498132475261561581166693498502400*x)*y^7 + ((-126350592565572324420149359096572077737839388852046503104506903609560604153986328168735530028541711108304146045933644691856984495146937565164086078023556724002962471829479279851621027408501747334400)*x^9 + 167507577616780292440933121875878483907897234708565129386842488554951735052842135479931599879825832167411225038308940377854468788138133052216439120154838257618065658095015888662785089948381383872000*x^8 + 360841864158939235607925660723403656076528280997257286941636260529932065080506298742652312491801428894178668881739838382968828029689344997428333590501822378888753281364191935313245034202870896329600*x^7 + (-303739691682301471126936709478368417487616525071505815219306945111477167073658108173154631951059835313421516480327498096852178969593485946039590366323955441972751599289946163354590858163514941878400)*x^6 + (-505805972188137567329560394181332052679250303096174431384719192538839183382734847543645737416360794966805648745103594387282980723192943395296032850287395748327111111638791197004533328702195698128000)*x^5 + 260963307871855931247330149495970897967079950054692908546119785137490040760823265326370946253893434267654880203194559629356537600887181311288105411289054805836341143412851256878580041724763222457600*x^4 + 364486479793009354082390069736736698710132757288288463534210938362681471984711484796975725675103295766459548721761936875140631179883823842666646434301725169559951490601095254140897060941128946166400*x^3 + (-647028469948748317514378436085495997246871677491883591309751698268685293649751181799576163742154184620913494791550649894140109628505483256149362318520993904726201154426044969641077370382517748377600)*x^2 + 429125496944174867012445897009778808489939671462806552609475266943506935381247281339181478837492534913740483217910111804811788217840366959049547056908461207125914763711107274856315357839585686892800*x)*y^6 + (5133511692699231977111300010622527345938291425508467669908504960235113745084927139561785193494461092969622966089630720216002426376584691073761065427916292366345628497894521028803260616262096462681344*x^10 + (-5307461617850645707558006352208807806205347853633114012077491730165069482543080156418720350324224661266516078136643504898963238099205990375275836853404292280014795347290451617874623224583368040278144)*x^9 + (-10228568052431603819799075106232480324115383866690233928584762471830830788063166816055383614144144837132308428552377590976229851045885500544050449222854566200567474901071409289803276682822720864031488)*x^8 + 10588941552686923228504500261059796146956071579039847333997968625802877261006472447909162441653508459559608292094160457323791668317398782781955412064859971853759179479277251916671769397847037605113088*x^7 + 14880274582604150711306966612697840271129605745466695133685177763260586452704324156731611962314003254259736736898396490352612416330657307650800766222036731257935384421450343072323777957687386092800*x^6 + (-9537104821985835570319936276976376375684474258035993442711685248760574394801929344096119322022553482851936510305204285503078310111720684448121405136376308950517961238318216774868489572651387318400)*x^5 + 10255200674919767546540568009586558512460826619289362269179470274013556783384880193830809446876093555552660798155738213128788168041603621556402300250583373744637415032678193528830811755031392057600*x^4 + 60349665527195382793117380986245193922236214340819827300258523327497158312063765245838272513157724592521574434776390983802064452028100366222391104774594492028681008915985875569793442738717088000000*x^3 + (-387674163415137213326508322570559420199031950834056794931079240716243076231086761560082249501226990583644297558975858033868039659676889301489460729213461929511273125492219901772913132952588819136000)*x^2 + 125302552348498069587144529997970841295258494161549840426448370558141613592583106310934004221301668533755510604680454967486647384496265754117796546585217901907999549550511668579703483370759176819200*x)*y^5 + ((-10924413536687355856479314615554374283498367638602263051998065213189348597114837803716987723742423466182467451396997870069820782068222016973875536007661119225960224916938448051962921733726821155200)*x^11 + 13428158571608831722728472037972390694195369511784538888275970095464315535086444498901650969126833522933604110328213927973211947114612907817550472437002222228971952398864985251998099799011272036215360*x^10 + (-14580251089538417370026778278997346194957624124571954120051000556611644502341530508363887812300440161755516271025689986711820950733638755156705558650871171214860565184664337108809647164721873477583104)*x^9 + (-6752628903550857301733847823568123926131717278645411656447771895914071324447451443307272291701031458919279072433487524226212467362615292128481142012286651777927257864112988434033994746129091448730208)*x^8 + 10369615352763212496058621876331192165082159191531132544772787905339554744758678634511690573510249499946310218904059426508833790709012050511088105904022980688435117853438207685479005418986785082439840*x^7 + (-44562064745262538580566225268051123314082018321396447238844599800950866612286224764935726183619907660486249666575189489668360397214819894411298831692499067870840806838088139210239004366879380423907968)*x^6 + 41753278455065234628911428711987902413775084640108014753423000094252540937512443754992707818280357528676666456035866026033783703670131003175841926986411538752762506217952992377239168685361448870647680*x^5 + 9023419572889740198471975507062762633989469417041810807640282402449599115288227061931393313683357209675642033429158507349312453726417578913316227337753073286829982846523385217491704633287641639753088*x^4 + (-8295921258203221962755551839758059491499493174768660938413198409514201717808624256684486923289118391655771525649743617372632137987625621271677825637373058821816142151979109736823211239333149339612288)*x^3 + (-628086082063775224463819960934291709723039507887161620735511961212209747235055500088119065308168472989718586341081709786874733526439768234395550799252216530429913809630070153725030614205382573478400)*x^2 + 255404539828478749232204352570251103635308014442740843432040191910172920070207360845766589341610808040494770779291437770828612387034012801736051663100012378101086756612012559474872516355456455411200*x)*y^4 + ((-10129377379043477909402842113845865889124525743675502853306746227614501265781979516876096275493273387371081288049731485729632679404513206834223015362314921390907821719396035810670400175744209605074176)*x^12 + (-6823481371401155703046935922188209171003851427778077395279617712710850015311471549045186410461112681675091887770031010232550204623454420205927397996786259819327566192519884259069773660390604846792448)*x^11 + 40858689630700081269532785009174677547247627452282007915967907912715602682945297054414778417884959132487127720275784118562895412393453707054004576292825052411247626083107318512460364026974497896948576*x^10 + (-13964470891552412711966322426208444533936828840038494556234114977534097723822502970651799871769878791778094018456753026589377255099677026699757062964999694408083412714495259104262141838879226152046176)*x^9 + (-2235663148869543372256914133937377182677075818807034630951259996079363405631914264597846476097161854526766443887405809444412629709297364672268241186692090967635845025783029967558500502921992198004224)*x^8 + 55053843706050752839241962209415415605725371522476705853035269019275321289202246081927383198107051310851867169343107401116968079135126945419631246979409776470250203395192795727407983715230972982468064*x^7 + (-114519163565673075659242825578878344581794617438188640271247617477061197530169652074146788728064513390666681804962334856499148526948951907453265967416881546830084293855390644340518458061837251357787752)*x^6 + (-12221588620129469547773415850415972263118031992716799505046749663623273983631962832369042238533145953330176849408731259146225144549275075192831369173745426727245200802038053520836528452632008968659128)*x^5 + 119621981390125639119958857687154722050865428818790133363150671064614663052629991212061630019337423420695358096747877115672682382377451397424060899656888805918977446104928411237130792612709821745053016*x^4 + 12998351443582143854640710444944791186852162679646774721314755317430361630837602573294190899246091446815375711302581084780447531596768718213640183780724563704544354021701953066959840543285265577370088*x^3 + (-92880961288412635836524712491024180617112996773265463943371439572135231161627468341354707188014096166429299729368306683451550476635552941825848729243838050847442678891073955629632767762471959463724816)*x^2 + 24241840094623153656839653165808787848077337561274391301968942312722566430361814627343484653857656914927463324233944410959903511467921174772784876635409792485707189595766384088589589556676694390248976*x)*y^3 + (13169236581724849690727492217098936941338781202106113661160634625868648306427405998164206313631839550086953026095717607045088709777390642357990983145679931066095749092766391151429503485357779216255232*x^13 + 3762023047001242352811649264133040427973560019697590090763568202506444090299260785142705720410161935530349150337912763308390468437381984025604513467008078633208545536033789217930179559011366628266752*x^12 + (-45760453618361157692416598932459004180727173371060420806339334561582604960472783731608041360243853352199818975928355834879870272214960158768945680255086573512350407938851536312964298114774009377926272)*x^11 + 30828246589629592831847564797068809237844815100133662334424667049013813982298071925559555911535901926713605501587788778115685584234177988154724770633393329937056087179828172636783851390600463638117840*x^10 + 52816251815072942596334470927760830956343757063336657203354310577656028753505184111526506189349189746793281410950490166964338705663861680615608159299178666698368186050835994741014849270849186641524208*x^9 + (-167222319046729371736643504322735117676329685713601772036281577041662019270923469200786448647046981270297636130357734344501863568576127873487321014804737176808769111316776703879734687403650397584058424)*x^8 + 124436557624102777173960559868625690957459590942120179805843103879164684428159799217639993959025256008354358348691534548724761864526053538940589151483295200223832045033716793211272558586857956441325176*x^7 + 180895390742852168764867158014451911343597376270582036324650403571648577142681463828007438755241302437137338057761853984796676858517735628335473102268278879919575008324454548147664992463612018553198796*x^6 + (-441471129118422951667950395011573918990321853553382320599371937686772853033476672962915035082276295098106610097862839415341503052137620559898234152756397977510117000142994664132802011756493958258368380)*x^5 + (-8763649897460915076322429382415413952329405013073470247891251929083372344956658700967053915870244063950266198707380026741755144131760251565527289707101278019450943594243649461420581092382428797491978)*x^4 + 307613161975513239313543645720974670042783715969353267148169277713526046550091768887504501275889466039133247051873076687490866506000653305016083767685570141443637826214388378835084986417932416332868250*x^3 + 18087606259234888386790448083545882440235828420171491232204650640441355680229719762676464349451515777343408373011389994592247065058529678392789527700432655575183892394550720207751323421548813740234660*x^2 + (-68390922954157304937550061244476317547869307336383014110686515040724749323863089919944793469097259636538209517453454909573063725155315602118835838159513877646269876833708234362010666228469207173945860)*x)*y^2 + ((-8989454297575124968746181479401928712320390083132081572146907625513344683800850683359762365311100044746146895636116348135656594547340236404799253304287937765810514690436964005110938733978127477319808)*x^14 + (-6710711780689183117744861070103326984259233583268016205292657699989419435620437692753813966736454402851447664889455547757174976356845528054050986544836097340794014631610654550735169223153655565897728)*x^13 + 33753974033007734516478732308745357586225386871810471323683681875428303893708138769269432159548512497947211851729206364287187446978547227557136218282768354152758499280469291706911660040301784698333952*x^12 + (-20228388871449278481696870066926772717422022255114763916754051740831326560204746881779882251389023242248097286552697170585520643682162453494263857550742987708707529377586599080227915269372819547742624)*x^11 + (-69227072974376366685059056197713313382826600687541738673922900786227216100422560250277574743735267937797271561048645194217717511361920997013491490799526449571455300081475142749918029576791509161274064)*x^10 + 173232015058581612213708349320837654822584258196239870006938562144706021623377268980750742738330534475868798552522477833105996421145905240784912407738810623798919543797141087329335322734538177820303072*x^9 + (-51996962601913803432516495063078730443675653559451479600301389310804394068394789234671528018920736586699547623854987618787934342582296666485638066625857651712454707628416712870101004591225384252243136)*x^8 + (-166830938603674214412934535434331464972528133822738654266261206209247130166751794136345686273820620076503026940376257713266176787731047518321443127539356519669971616664408598924009845555920202056626984)*x^7 + 276919682912105612804062527753152034752117378174197559113382792901965706335973299047950029603796026695075576536591074103173851526603152416891177431509331408176435508911876320897552761011765704127392180*x^6 + 56564001676442782313305842533243689891382670985561088108208948404613730369003970375166110718975324192640757632535988367050014243911173749958765701910664609198594994039324063563892152374849354460969320*x^5 + (-165649183185565742355350228111323254471268626369455411653782519437068363633347733290073532207805151680130652955293729860223612164372117595666106335768440255044666964786261993972398210178652224968287580)*x^4 + (-293263370481702728637639114990402695190557884199322332576415374885323517494942603156272646864196639139697326681936985372896672816961440102846946531622283358864898649452914647953311262916869464465767600)*x^3 + 242426409116601821387963385679953222437991164940918380698735662351492847241315551388563328325914379207754347797218229989030796892496998655947264557724679968350115319468903053020008843953651902227117800*x^2 + 206878856168504817349527384557685391297109213927360016798102680107286763834783145350216041386825238991898169222619306459393807147483332589076294001935431815397497588111635930856464161043200*x)*y + (75780325687282199848869055316241222071664736218194612242953785014430833099799860434646660312270251689813712362579789831232256408042197445234818875928583293506379373159539323607648063933815748931200*x^15 + 22613247963857891877647027859014933568491205873522758131185405397120683610474184520816494674081869766469061500340450862035311491241116455081041992649471691912155065179408388766251303102399004044800*x^14 + (-465225791661542124139658917140150312206173492460955453603938851224627541606869422659145529365900398800813333819588452600346206707542439169885263328522848444413176704131103519346360307014252955676800)*x^13 + 102391387556859869589001637155950382369445625327519524829952781805070371195058205065131776860848514841162590682209209671397606774000283762266858585914936082700638148680603971988860640199161187920000*x^12 + 704258883421702667519817690438544084365724946314155817632413897167947157058555715001737690278602829671530520493642468937731686789048056439418418806668103585825374606593948528982912540280109886339200*x^11 + (-4191614935930836500045593146597266043971158425999932125729299186389034952321541149591616746932426986273092115259240104783495090072093864216689333944068683536586261984581442305829230238469915685078216)*x^10 + 3923140324027398815448431641675603612978536684908696429915838231451752351473033029115313229678707399722443675733587427422301601874595005690198520726379356572705592778992560298431001822381981586687816*x^9 + (-27625685072354681364514022919713951664996536450681843880331357714548695823119369627781100732569063617869566113674552114450755076205114759048197580605251448711684916017567513209519181455714874628044644)*x^8 + 67696259809918673646019831267382451473268515163622091313423199827229524719518928182856160109706939617713345465495538439668318252983074998919346296363071764388191173538088333361204320701255642947783124*x^7 + (-58392049382168537865195554918687243840024074379318385080582817158033978365697668662987274160672749726961356647698453816579440648150944158721595471729903093786912052647686281943681485862400014899864178)*x^6 + (-63982703144850147451272699588816376561058695586557110870998889458366675072823300234249588138639869244558742565319914809793033948052942807958491369796761211073351391511463712203380332003254491368215562)*x^5 + 259823340049609501290970723536190315702888120182892889501163055556587507163630548695950580831716298502563980874484268206730026399456053637649692221940274735454180088473961383619583237476170467659287435*x^4 + (-175911655962615997441822216029414451510372060325073989797263946829955437235900643877179206970334526103986550865677687679653560790976505829574510161652665698742775733107139740530969737824678520080843175)*x^3 + (-2730935288320437111335015866331154006374813613444654940629548745602950671683017695653863727958649513927755242482946119655311507721351274078118731292670712410650791392595920879703019926429922005816750)*x^2 + 952085549716903477050439530682472527493013728379802191801198459468046383566012797157409213245436606409130983180217104392900152110439836406249735058956745637352921380509937099865115070638413602545750*x)
