# Manifold: Census Knot K8_6

# Number of Tetrahedra: 8

# Number Field
x^42 - 7*x^41 - 106*x^40 + 576*x^39 + 3819*x^38 - 14666*x^37 - 71397*x^36 + 207757*x^35 + 764120*x^34 - 1795982*x^33 - 5219863*x^32 + 9963063*x^31 + 24623696*x^30 - 37102925*x^29 - 83883881*x^28 + 95815699*x^27 + 211081734*x^26 - 174895533*x^25 - 396591874*x^24 + 227228620*x^23 + 559088760*x^22 - 208860168*x^21 - 592166870*x^20 + 132421718*x^19 + 470305104*x^18 - 54100264*x^17 - 278371343*x^16 + 11194791*x^15 + 121326643*x^14 + 925805*x^13 - 38135781*x^12 - 1327469*x^11 + 8354310*x^10 + 394496*x^9 - 1208535*x^8 - 60324*x^7 + 106407*x^6 + 5032*x^5 - 5054*x^4 - 223*x^3 + 110*x^2 + 4*x - 1 

# Approximate Field Generator
-0.153792829683423 - 0.0608286220072752*I

# Shape Parameters
-440042128061596452119175554950288164493370230865028596105862152155673652185220449934257693176397141834728353815714196447483/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 + 3266141381075965255713712476445801468163110843566539526937808928252607537269195612687236699153191056886550032819241969008856/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 + 45267418920113323473045588103218602212550849339937224493374914197600361164225884891484983958195369772823132302784636740724174/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 - 272613137917235721962172173970193034687846793006992967542482610878608736058285291204625887465259824927145358388624711751491535/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 - 1565529546895140730675313277302880833370054896166731598575189248979708122980227677433858054733183006705874046580345279054903838/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 7117628334520803428083765030251773792781068670628912768729115914787849431820630584225874480102318998989281678169881604953558357/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 + 28411753775428655953679897634054862312776906958775632173544384175070798188287003895138836407492482500458031283378157027322060022/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 - 103503430834001300206877788863618151198828814858648133422991639079843587524322484222475182999766059659219937420134556634177989297/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 292470345803742425508606277511815714347366484845029535236893747827253673955029015700225870690172804782039828644396789888026309189/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 915152042709641144084957197001358417827150630985042420081245608622992678252849135469199625677934659014388582356293327418946748969/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 + 1908968257694445094419067213903963204517561971230966251310133970829100234053044538319699401188370504823950047174305497336737720042/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 - 5202738336648050052246938473835876682995613061344931186053355299912327690663861077102279928572360896309875786945632205476086850768/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 - 8622171326524561590514423950948474192675500889797334480126614266231429065857454814126077363268602943196522340200092276918824807522/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 + 20041085735187212730530475281966293505145952686093250868662042925205263997767699357578805572458046001224698890255617375484163637295/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 + 28352041729256455786254846095613951236203200938183780357504439499485000774141331169340800658168876854151703777316766732026524152928/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 - 54430533744227396987089877353512664702234216265946615103600806693686772810395544502708550981210614693661398456673641524898268910145/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 - 69529481174325975710866199981080094066150511757173740471373939778020174912942925323616217443439752085257107009316230697206895204597/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 + 107177711884678996536023212808881311750810918872217388562937175499884389198546019071865470769031009325976186661485639500862261415324/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 + 128301981601043244126152637630497633266096133001376359528557725570363648039971601582619289286143850763807068234350021759341340107912/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 - 156001426740976705860295861384614129972535700850566699734553847687623850660494427654848780887881559517275500872321131919266991442144/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 - 178400370307513978648788689634116121744862846542460378560618326768478765994879471272569075059572558236740520390401375151741022596583/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 + 170170717129562904269055261739963943232416948215017332973751596588793941559879653873319312463718148514855660378769510994400946392535/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 + 186400767491706485989769072326767629223173544149718487744107116398755242708190993238972425669743046530233583114350246035743791260584/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 - 140483907641517898059755779611194760682741490101539953577733597169023520104709290263906966748476187572566946407717183506687351858356/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 145349753854106270613631718048219049376939723883449765741560324115674937828606573798777062760503112983779395530532178788669372090570/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 + 88297317763029977459198534350664564320833012104016420046037371620432396564843377760860106442845974121741560651509994188582619185471/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 + 83524475780203620073199479245759449781482730773909347690771425142592067977250565002408855358910711479077038416042913105817233355184/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 - 42238196481910790272018977064611986426396932195055977124255829675381016803987205285920844417016749449333113131855199468676396149826/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 - 34616207649431549835948136313150844703412900633217168093556817243639804429212517525786901032978701979926541209549902459609630822729/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 + 15180750158673189121123617113194397349025875296422682018131569456333618626248178955254559947689264043395558895735211913580613753590/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 + 9985064125732225736642004793104285917600649541086744160950906655179827243186034401848926882842153281331926632264432629589953363331/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 3957310422310513335659444274559397736546232644122289612824275821078535646010081122590786334693135904626741573611537164490384844895/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 - 1892419930222809848379700949616679279467002020250673330155877122012034116769868077195793432694569992587301313221037596043066692283/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 + 698766160521008872298011924934414385309180395727179189647711547464668679765999746920612591309299943747316620125993066069159957149/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 + 215270155370383207912291648657970996890560430520511077143629618181996674374788473596364660445415218023408163128751405714329815224/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 - 74738624081844505161549868503615999238123777026655056662753962898637357877106798470923459400577781961462107163897973030202702798/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 - 12968472147610792437794137992344504476626663412857355674610502408350843632691128440103895872560315271410279930263731450296205276/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 + 4105205282924863771133978096068136467667630135167804368891412513135038444683369815490150679422022170658113541463544636232785135/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 + 388816264583811399372715636480988126328083512026022069199295236083868692455795053639767677527466590693433071020040056284795001/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 - 100081669350745575124683661240935132053769974408021025890564504776693035783435770504863860484218724025288766788549409603162405/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 - 5734392138575095513705561716082915766394604760013887361487434089597829228429638095089012282565114669810348830872698279862733/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y + 1054294918386179156765110335329218670380382090688800637184061776873311603885472330357966425447402517221037375910915862478720/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

-13311187080297793350792794836469905802719419879394321173531595839005460438656175491092607074361863565332374190670082669381/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 + 95719170298639277740797124341299044331261500745979665768435419435282733360066785718681600424426558301167962330976791859823/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 + 1387140108872636882043134362902121664298915507336625074513066091639738749559467455028151108513837991649701308306161144237903/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 - 7893863559474499063046508272138810070244409611260130804784996457353136039557941190070355030509914612987203982138267888885975/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 - 48735712703170885784501917120876191511572610693448016062894759934455301231621218116324719157700022312604635726751784668420158/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 201432558142520158148290981665053021109858091743673186233222084207304337622882637131200059081619617087295634370864418715285946/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 + 890573158092490780298795063063966165357514687724394583170669428213558205743535084605535002765832890884626223944727582472197727/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 - 2859243265730916193129262550890521862582158394134265737263924869997290690670272749172351267592320294529496080831917250653353535/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 9230462602358808769938790355900202850252660886162417440311246949651458612706966057344488017124666783278238576738124865007398943/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 24626400696496511429331782111194046374517228766810990044372756424434413495282410459809075736442078927333447803949234549004402370/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 + 60631163456185265305982421744298197563059788753558285993880133770929273748435300600971660340963357632716952603353633110229002772/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 - 135579018927564000040112471469487822884070061349521708162232046132255519151527171170698397482192753407943173795712380124329489016/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 - 274273929204855298737020705102770585434388457788189131570875077482226384839451247178496898816764649677812331297992050351226366241/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 + 501249018031410542384338725226007635299848787573695347567095308334263493305963878112079730484082918180527437798115320213023047954/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 + 895232963039475980780855716461757435905464138899407451799270680230099533155226593208419357867396237751406659459111058187614424940/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 - 1291913527858039509128733021684014220718204335265171496081566280037463936077038382171230913636066947769739457634573672367392778939/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 - 2155328145158530915881773511442014864107921721492509570558004030827670602409823547226756700276459408835267152245592957125799069122/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 + 2382784844565775040009442112372843829756754013944600993372799380308977955839026362791066582510073158784841081660443112506407960608/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 + 3862237677943384956445395617050469020734243955930244787093394422807161400396206184638641285323753282920237362544074066529826002611/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 - 3204359032930373805937367569977212445255621245354616692333417805996639339417949758371012448527503773952354625097105278260235216984/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 - 5167186766205150566545739094022142746480922155389206626874377138048989016348399922280189859223917635855556512890428988843964592823/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 + 3189516663945430811230630794504767773415162602102607546420210738272726395976714583305762498392351813482260810737607130339693792736/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 + 5160168080894510877461877150719602588216631357520196720938090234495007614362633752052322868424852336809080056382185707054980866731/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 - 2383874804112158795866068822036180116264706082798919261862900597427133412884241557604348887661517420015112205836576723473711201090/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 3832577623145048374749456934499620665269007561785138856166864930788505473245730839135121676148512100073958270987398396986211395374/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 + 1358319582011821843597804889356394719592264131146583076105834500956599073335469580252852201059988058146038796782000456850764291152/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 + 2098655940442162162102056373195554570564207092173964715948648099503263192164642019800832434787824868960195528972231144541554872441/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 - 597318603151810998416736243894879255952429401646622927431748820998951276985192190336244584454788576747239780220589890698841456328/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 - 833082775063522750742690719103746707623102194254842291801570464175009519475003530521000312750918144056169182004260872584169752348/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 + 202046816334415300265976034268669368781599362551015285550064079748380186986646544591261013787998020933001687311849754632480665595/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 + 232762852216234865155260017054115335608168683367821296133458355447823379277386182895009799072789742286462076010709672888050175337/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 50649063578219269564767319632999748517317873389307278193689120543295364569776453204731563137002218254236446769196177312827970464/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 - 43634853746505635206608266022368059482083322619286747353276526968626616603043084898392554963617587619436922722109706561036114139/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 + 8647657197229351756222968412576219879682878317489868228009949971891750988111034974696413613860617436117919956728212964433940026/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 + 5112112894061045067235125808742692200981839548455643455106937802791738937994523945850889451715184744266261573391334174721254013/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 - 871799732043236550646944367014842848387189706059352453548317483129247663966982521313338306905610751823615924097985769797948779/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 - 340613261714107367198851571903297401922223721428686698062805249031773415940877669159109319677495624126386629129654002684035939/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 + 41034134932603701877984205736710543140560641257425901765184827674889392646003450591569324782598728052593850652982948284188502/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 + 11346770349747423536300554165078144512796427247084317380439319030215321642528318893606116051248603837491333267714337190202637/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 - 550279264467573805150892630245588397471104839658873350021579225337167827583754629198384692567656597482505565425186142440761/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 - 131958185199605705428848965196248267065047779126374714186075280501281188566161265286291067140734036634383128781465848704604/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y + 8952031159687221267070580736405152116500419732068495072533088102060325760972309195733874058574167460349726449458034801007/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

-190153547487965425606301977651796708384136961799569836699901606991077669958084034713840114131040729469438620132405592206718/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 + 1200863045078212781362536936790223410241221484625188901621812551793754410911262872795533458813201434790289781562215652445487/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 + 20913260814054503919732747063297355390438685049350739100360931041622173740085619029034243722719934645408214978960293914820907/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 - 94745317676851423006050914338201410152298345692456736002951016610861047588434830692467879291985326669117038319320444333248217/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 - 784243013835956508913398633568111888178197640890896040667069908776265899606368553150067132683660954067052432566557689154469713/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 2214018572969865943821820088132976711512580480198379431486872208055094609843441712930230641978089067731504213573838499642271951/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 + 14851899946879957308121055865203099750542735233768414631966390914521483521371002143985272252728332362406193773582090841471021988/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 - 28392276731499360305736642352943052579185232889339017871608348032711048238338260785368778009710686500726664329416032511781896413/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 160362533562984628769766545557741743616661084725055371308666512786024293754782770733612629637486162108897276080394695822377500018/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 218623512444259878135775962022094240212379016932186991835193922560529717532942783968034932022476294392528149253424183386700413664/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 + 1097235551043687203816723428574714225723226233504208443276126336727710836262424061134384379149925825408312902032687109879411203056/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 - 1033893050377706847540269589160363741741789526998219208452080528993146930328950470917431578732402234539664846263679172769846476504/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 - 5097509526625345684495543845231217323156293500679520154772448878213296791882529930474863640195305557013354844551667396373230759665/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 + 2987567803279385772441340793591384548942450968117837144465084556031509720216568412353064141530129836670888386289483022771905126163/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 + 16691928019779488561866638388341222728319229135588606169227548933758810642758644456651653181794710198519955850011831904512045378868/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 - 4774255598389478879153221849277015170779305623727711126190343251306130257202814331550434340339047602985597388138938595237062026554/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 - 39241521473370169276303332612904314518200967556347692111587922705526012620758351093918025927204738235080102003792166337368125905776/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 + 1584054573953311870928566292006606221660802600869368096242629656735766254190517412596029044335308972309040578042995538319449300799/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 + 66787103417671386835293370838803428732952840870706974787173712084064459860465994815636141029333258544659458671566094021715427565018/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 + 10458337664065972257241174495764979832159184784882804663246088686486502692288076712089140650311448995408502789340466248531248167305/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 - 82518187430052360294575874732971756169960293182728083034996093483537391814754975646737302312918091617862783379862121060022739717210/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 - 25905650225213720775688111379520944406221748585958543112957994302397371937626762705470786942567378236493408761245310695308553433686/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 + 73917152228078263978139651546341247787657597558468004535376376557564044243123857912938627862192867981737030730521140708175074577279/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 + 32635529469112307438591156675746527205999042724402033647821455738492755089083102108338762086665718463616066959430772241505252621042/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 47738591126906847766976056964679097618546578307103688060028506946450413668045286451379712020654062833402358834701632128058370316870/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 - 26180122063738610818165234273123451502397989732545304806597854860267725166349044225795258141064818129252477104498861880789982015459/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 + 21985275826265318424740635137966761286317220011331510885589343789067895516618422003284366184424314533714394537366741174786916900608/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 + 14130363986938409504554752822030496226337637695177313535704629261244327067753224736791602139192863779839329181944057497103272321589/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 - 7078964999864903764830502598074431081236162071737221144458165347352692640706809197358468090911480989211511276547108586578046614205/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 - 5185215222562467481918102014077424335440946475075352070380230471898178188576486809334634217987404285735976371468215311131492605418/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 + 1537369463760967017814419847773849839625101457919928947987886252430692116146695940983496593856118771980792285847492022906120781027/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 + 1273759623339621586415500026473449590817723884426116663088223795411904583140155416429986981923157760676565448696369559459826195910/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 - 210546678975962055955440394215759894721756437489067440034835702357446988967976583738620612134377434081911536376679855170999378253/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 - 200779448191505112114422200636984890856702272311646572484001702127044769566249310049501802623041077905840315896119115474624945457/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 + 16028389842612851769273881586935203702427435913663976542653463833634350372550020546085365943341064528483942978598697475989965793/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 + 18878687732250181520884453908178200823555847841872351124387256186218526468650695943069552964283456407980742563134276894669407031/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 - 490348263327880828470773028255057531142794016483488241729846002188117276084359181470354989079110711881834012722511564855433820/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 - 949151783379284278689247885435778794388333413502756834824705477528139100447544827327155598897527737590543018643045834219727911/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 - 6375750661814365400137333537019976577183360577592212838663065140066280361141251963912056814223388546969761983558693484079603/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 + 22022248627729139142280189410451977679551754142491119080731215039417131106252401882245279044806284332989985124367580150963653/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 + 420654866187459404961657299660267574691021555866919900087743140356167671324053002207527784468822968233644844753234953605961/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y - 237383304860517180920389481915043622770099783729378535317636289565736841110172606757484262843175907098347478477503890317651/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

-74678483477008738356125378671882153109416346595302996981825113206824252170881066121593436609605688824112851416930658154016/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^41 + 571817122139055070987654389881556809571493660903413650865005441132148720826009874210528840610252300888773878139607234134879/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^40 + 7595292815328980224282243588116945898652095584469110406836716328249491384172221012470072164750061539676823053435668373778278/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^39 - 48397850413544576131398962304348762325144486970193326847034582376790544096888831391498652602771723748696420294599407484509935/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^38 - 37022033213369134783391075684395843009958865940619236960822449440249125666357367296608277851618159224168069921716322470245605/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 1297732780821324665033676190706427411280561329776487267923152143279077457204371444654495088051003230034598535634208477059694383/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^36 + 4682030595473492974604196139051508431589876599596097884422955458766196379674829745242123477034186107046445065816994763958890694/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^35 - 2772235452170300990595427378462756771940651440932620878421969865356216849089881566970982499705271861788732096203772211202197866/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 6860343980632486375588964434879720042814093103279148733292890155049687531527638737092144879552635289120048016566223149464958425/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 177108562966704118264079525209872617001695969634464942370056113422443512464719222016582710625960942598294035741596254410330240619/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^32 + 311891738794275520296845980368717468972588555419644695967354069080957575514942249830273041876840213645353972814703512796212724005/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^31 - 1046113747089720091604764155890663174131276276730691687541478966457919924506182717602392148452837232973921375819865295092834170714/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^30 - 1404121677393979006490431969009922646061695458905474947556891836632759334094047738039752653677967048761522295578014996632928568754/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^29 + 4218773355639379324027785577375232442943120101002447577433390921878605087688916182720053995604710473630996656610745680930836236532/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^28 + 4634657005227004043340187649557840414064924169543007818424579099524797455709075736252262835805128595161687022608701220235097235393/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^27 - 12096891634963560128269924264776430981817540187252854849602336998478096806794588147480869138681808185518396923103916338558971649146/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^26 - 11534003754054020198989546969188083813544178182110518557587831760310457588655725436493928395064450354674130197184936717981473800338/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^25 + 25369250010879476020656560154340011480073977127669002038722799649506490683467293345214060759506394609874776072626484866924215449881/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^24 + 21847523985872715875627821420713070527040261141203231586371759016254641009970399497496169666104520598104212153302383784658089099424/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^23 - 39660876427933030262848512849323651461856930623574667568436512200154497680870877963577864758103165998337179754890625037665618645873/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^22 - 4496162280284596462528535631192254563976988405442649078899318480437383373677079561822933585331198032923329777046130292596855390878/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 + 46800601865965988903690466035292479704077672163209939515458963231227903647763960060820023931475507880629315766842646727546468278543/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^20 + 34259352623367400244713554766880089618954816549290788926972485330577563087793236228352487763073872529883388211971299095980304140544/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^19 - 5998688016608969866243452675847215868281656607611831092704520141514638095862045048765987038009057251994758460546946392704120675775/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 27865462824249599858617270831390459891306044251103550299984763687135619102709923734894026285898996548710897891885999387690662216935/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^17 + 28708665082120081751757346240850996244084675597182219429886571791054792620216222093757282087464131734207308668113603106567150622773/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^16 + 16641610067389937096193951655551169080216830167778476156076026655407199253081859163776863100889121099891808552226839128299882903664/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^15 - 14882180692201443159847368879145006195788924010969185972536308924817284067809363486966161806094936312084888402399573446258253403207/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^14 - 7097085624035291622698083260045787216801060225557538304411572424990651135512770205667598409911710051107709622452689410723414240897/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^13 + 5752491982012068444310270706808546920781942810509653142775944350728867178518730094982558953984642612722992717303440575521579772502/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^12 + 295007788062580282432033154232687920230895409638854387686650859265740918475915631873192219778692193693356452086120931944053631226/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 1599796003300054799040676880307622950707085304179527318957831679652558236726413823989228302147255865209718298849966584251900269437/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^10 - 379257360774933439110054830838247651053148392582876345541731799331575081211873600117025423266424291318599650422782706267722351830/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^9 + 300242210162432657077228581551865784089951211705129023102439062021755786420792571804057431446687432921170958541173989338362232192/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^8 + 38136980681407113983704467857979177440397895952118990874124885594929773986409500631809600206874980122440660860066849114887812644/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^7 - 34299177853425685251392070533603304199374492808209697096362984735426354907901553785511760942133643573385837105247364538105288192/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^6 - 1598524024823918074201737050164015825682073275796339177126883710991703612880040632979034862584854720492164432744201361424230333/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^5 + 2051678762805224053322702192026647911226018309513043797980331152210788345467647217596466886588702877354373627035347064118383604/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^4 + 32043427280150136388307027978503596354012071775708062624486710694194720741833226612924202404636369280895558823283616258015649/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^3 - 55541660524496148870302075678715075020565271514937441004891287018561586605725576223913380023631323459676420324445078145473822/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y^2 - 1507725338447752593054955115396034322014362689971309499481154181180727208011613435335571967014883393596569213980579521603271/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043*y + 429900207526576914327161708470248598164260749739190942321149826224844613279506856738567896314339850312586705307601848331754/155474896781753942877555415848623676770683574876670259161479796355499170201491746775752683185171958068927904589910069685043

68645726194689537075660023236945118615884235498745976333696435380643494019658890343443668752868701219141803722494519167224/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 - 482787130103956660553943325469108183026679747835838078150412000580861414986180882739694500235117004724605181964504909728115/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 - 7255526000258583212623661180208687110579041582773696409925578733316159630032862634169786870537168985277249946274027120106864/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 + 39745602163126205616565368262750635740271907279518327094864671597710771368033185431905737533603949428465903168154601809164622/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 + 260312343550655940483354014370250529549955900267914262434318474212814940524584633235761025849285684147630831107201059009619249/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 - 1012584601521325136919378833138096568368248288180945801260526750527684954791350184848032282455425243145032115585975965350463360/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 - 4848228774994943693975395293663417803920130851417843380236927818016882638150943249407113951527186658888901287038878168269432951/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 + 14352271229110168899708907322487020523665183562766938971434831803741703304192000946254100809134454847557981210157367885210327281/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 + 51615177376360684431962723123838522319982038893226884397307556008499778762698274447499991225988383696045610826764385743316515200/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 - 124021468156315104553781917321710997317221169439285392220281626541091785872186463628339289847905686060493614680297260534872930930/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 - 350320198735207712347778943329700794924588159338776202180354858309334398029947300897726941582614230686120486852282233324984035364/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 + 687211990920349226224282401977156762110846888694882637046003764771692608118390354423133943738667095962825692773048272407533046702/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 + 1641027020593906300188783763209247145526625938049632104435800889128186519775477735218354494737133088542089252136216682047750645263/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 - 2555804399735825588970565156903833783352596963209661435716346748668354655897356778678505054302828025763421408034197633908218571659/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 - 5549870097942644983230193723076716210901020902202423675134127513771393717636284802903630650746908464458107823258361585185239180623/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 + 6594274502552116546842099567494662735125172151304307844155665083425563547717394450149705186215144018478704326995478807623409373956/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 + 13858466602103664006410587397169502271873802820837403345735771319674216958767717041668783087578407247665028931015616912405217711470/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 - 12041102234104490628785596833342525182319739862849622139623428410952672209908311019733325407269101063486711384980169124520484618444/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 - 25816792959543016482030469723585907452003074806656547415820703439787754506716047185543688614620977581233704722755161540975262231792/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 + 15690907504147167268821185250848320891297467686256829273528897894224637889753550430566873613732557170543071845273733308267754548072/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 + 36034379160628238630804661238900671118775653273180911151853441299317864891296601156602470561337482524983601984959222189559037812205/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 - 14542063653322553643954007102015641476891315392802745249797287600071826758009089500177291639940010892314632736392875209582433820436/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 - 37706920263012269693274704494001560489375001232229623095031805087550132521435545360316662574443073362426574911296827541031607198640/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 + 9400766421041802812976003430972720535907335697205116081080579907789828621907854752968412973451149962622774783143983667781776920555/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 + 29492080546406032433990845997931833762793225691887919500576083955523048918346557767107501566723849855687073411992491420427008154704/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 - 4026354803093610321815298673786565808943640766249558837284478876697740276792197067434357217797864101017359130232431879201220763893/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 - 17108075865242440583308969931288921174451194015992760426387044129864901929658465718768670356549539005201145239232274236551024320520/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 + 973772695011241772362058907104956501883254627121537326987276141666195742549086425127814230893061424911913514148924292422901641630/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 + 7253337754137690048677655338978516571124679081705770901340047319747430462338407085487777730564530832105973255391606598888381074012/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 - 19882302921687151997823235850204593885573136858755805218863635313665213437714325285915401396910401977159243317075238745355759617/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 - 2191595102376230754295383037967820329544597038094205022744473447304969022962436363441707573186240166640793878575065115045480144291/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 73589758984148042278533958157736316260494801848694158126639354189230595083121346312485695017854799744419693444658729207994586045/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 + 452597809197430117128952438777859763213724389754044787423790420700316559382988553804834937002203261631633076071342268578073060229/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 + 26905218040599217312496567860986800560580405273350159899388943994090200106493579793811137896309708105679707039361744168385865657/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 - 59656194581880769085233766792506907567225884622513526073117066307399535808798924894597633107824107759862785458960835842786192280/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 - 4835543534696322093471243086495230456078403598731661371357388967467753082230367717030758652776717185431708494989497378843713036/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 + 4471231787489676810914329421458014600117170561832841674091258002399023660805661884817641801616663745285610639019358459203321039/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 + 455295856690434502187628354698262322469537671212710922614938772000795855355847436923162119472643987639099719209863992021074786/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 - 150493409971929345530671887420929733957528601302492226154681653792835201385133361475477954388203075337081649936639966646310992/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 - 18529822682092413522820074694381467257025366605865816725508766635096979489768908726285423674768540710634391989015983665171587/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 + 917097819510467695537367805610244545373815176265342170685782653010162948933309575958666629474472523049419899879765069182597/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y + 107360346342470322310724149264843089805304418108461613558173506477660115674564519490044657199883939240521825830973020276292/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

48144217103843868788324537282563532569478863780468174574621128444960240086027474506175709336689632476634284555482473710649/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 - 339135904141481872923508455708144796419156200431763315416247229854489021655333209343202878360449208320567957473144624455997/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 - 5085572329862703858964991169836776807055988166824321361879711645553186108972640121132571697294695997199350909772333529166386/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 + 27935031708277391536999261265152257232980496968420851344053592257290331283463481129486126390041925452411849609070103189314642/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 + 182349456713341166568687328502184080450614119035588793884112360740404739038389070795066423843872019016220111410401027135614236/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 - 712402848485093666013745610095191574649704399688554653199860814529015342521860353821860548479118716878565153037929477561766101/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 - 3396301002882899649139375926092440067957284143082960470960121340714374075627400671462475594453056883752538346013387131812501036/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 + 10106533116496918733175847103969812149286164272054886585295444794024824031321731465299804596577225459234522714964244363012671183/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 + 36167978591984357445545532721097360412180168232954414419718856146854904788455209409965162558748000740528235464695059858169185640/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 - 87390928186328747852544925460299192534353727537082856011748567798618330389632884784629269432411996569887889278960871927019886617/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 - 245660639166365351055449120650171729814059949480711624224363484616428002034398531229135670151228017767390130872262445550020943658/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 + 484504871727675131807043261267870841269902515774487820475424257030779592794051677161098755319553439205981211807113006131566202445/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 + 1152406219299035899221458151001196922081006368261812206277739529145914271496827072217120881663541977642458276570011585744664204916/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 - 1802621712560223313831566932487790150972595636170916779523637439332257264418403448723296191708858773961488750558152490183445224410/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 - 3905686264719802232113536497136468223238719856551156009041591142755440317228262509782119971660513613028011224173473199379498968173/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 + 4650428153065033672435479207362765738650417254452527285785624955363922963552396602896441141818734414352056515611001504524710409010/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 + 9779048244974526984302161663474739459609859382547578356881624777899220925088419183391382688568106437019553757920696325857518683841/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 - 8479430600149775223897922074895857407591768993971153549127285926019095581743803863125662585248909549779543124919223526863683427544/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 - 18271979592918107505689349350128991005172213092723439334842248906413889423525000169422488949281499835747407477303335512967249210272/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 + 11000768879462065741692494615443208753617872663295202164893435912889187460948166732332416095616090587738726312648256264466746543981/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 + 25580078344356370481972846694807660529116455296617443360158407103942519306950491467366124492461999213877183485798139707938836196677/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 - 10083753611351209113819042822603030401560024226545255696035014042571962887383577702442688791396438478748606716419415087654068956503/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 - 26838047323360088565560902722641723980129788768721283558316447349819820800368484541999781064261268091182960455605593379213360364039/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 + 6348860115790852532347719551703265243578266088222913915741924950179059880366437597413440753396979301424631923889176545490983710507/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 + 21030633711431558184880042005069442699365761922106547379206964646191578005623508973526883398786639413874340407978047695431489502398/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 - 2534760946943477750615839270881965662286182389438536457456539497814698991035603269057587188331660358776193247888800677385786310996/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 - 12208355087511007929405888535620212996649203710609251873705139373015464799833808617485361081827656729563800756453710963992942528499/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 + 461115737001850129605673046375753549788407359467143000752725069589300591242286007149421601914706730599720548794604561405483094338/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 + 5171408422218674258981032954386350068686222720385558103603200752864361631405982086089491914904602611443890928492379428767732961422/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 + 100542540069113651330809267674315696644908635428381374062363782677201468092569133268061332683218182638743059186031667798005932202/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 - 1557875245076724699369999686648475368346887049873788199235056565204115852803328792891813284020473483440134010928004830181684431770/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 91270763878363833257519483970664730859584325450284216684065490287495928062046723577842268814409244382307837967200437893031746743/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 + 319816277574352801211140765331591597464941880025006007522378405478293088621430935957667187782143299512146131041891593863064037797/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 + 27807682219084822076616978225451970778144999794698610846300711007984003171720756020847813148511417254345929150990504482948106376/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 - 41704322888298306189852922833399295863379286441792830613520096522737830112178373617385272015460648248392673310213852651447962138/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 - 4614748084192008620884371314910835376036260700812243175104690086613624566837447650933557416007016342163187129822573687000388669/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 + 3067957797109618501320385944561064573752880623362767579694253477815892363321529216211225422582948468197257984669449388606930777/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 + 409728649454887424810553355492497761986565584246459045100390941577728253965188924324124683980528911964050760472611841669409390/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 - 100290534128923008315007283616224090273737950918855327377241939116105333056184861741669308068732016954473874890876139649327043/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 - 16278267821527798040847230716715033947231556619502076713352771763461283009226414082168197920387928375124825341314455220148893/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 + 550258920357293695532564288077903029801259785171230238055909284832613485036104076248616060144081090357496794233911612740488/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y + 163884596723413442101108556417582896910615919510922820096352920247234704432661064312930664273224090728301509757486528727395/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

49318573912581749263761923806989056557710516670598247909167425342264595191742059004541701149308691997866898181880621192500/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 - 350164114565828151919289325986522166999049913788341002421102726332275761235717581159680099417360947240291677735996521664646/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 - 5187318619436050850377011912749378771493265175763714304718355470112002511804661462897440727987080569617485641372715017792150/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 + 28886052973286311991470998133068885431407126284921453102346210106863472914300448739119885274609963205794946621355010578067250/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 + 184903092692367123721230406433075578889385838217941403014442757465799313117745617439553485532656031191325326503345235636385756/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 - 738437518801915381401996931021923255431103453595139065442921688620107569438998412810080263800418342540712508943034008663694662/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 - 3428292536205742749336888691251956943355630501917222763358514615167130851108470712771979272744059222527006439470673730916522596/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 + 10501722451910859482121417590017923755838192790996373966893600467091074496834297068541978996987890886290106084166173689270287406/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 + 36292109296871083688099594143642033301117650082329052567707885849827266194071111555563624487817388564363540819426305458047178986/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 - 90939746273294258501987748876410527315761531785581139644800566910522300544090479974855606429091894291347069207397846466229969589/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 - 244853525837566676300731123048632151079963667276350439174654755067760670224300073922903117632482281369971568958790397791782676766/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 + 504761552960050344815748937737353768265713291422565277931999252999988135865038371807045923323641976439964748686730717144625725977/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 + 1141477345976466243874392758291669480334091477205991077831946823296470255554857819208381200141555773836136236784920893964432498273/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 - 1881747959678682250683312670218339358046226555130006244643917003737709057818942127554209829021082217927914788634665034823244302460/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 - 3848841006142589565177931479596814183364723720488655314989972002696169590548541142926084957251617027002870741381791626892944872347/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 + 4874227044623074856954831218901883370569800846746625915858158495412008860332572125044211347629791674581294995441254429607357446198/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 + 9598073509682868491872124135959876964007205052529466185676873176802418843750443213365138708350794673290715740809981659317566030422/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 - 8955779019382113867472735319253818093355422553305333347884936970529742679810642779698186801294302755816933644842641468350667325075/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 - 17876697598628709868040301172812783312157526464366934516766441827997741831482005684390402142311613213110972988723208194977714068282/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 + 11781275523348300735653773760431814389859700709372324156479009264289536691679483537472144178585793978755970939862063747524161890507/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 + 24959811525713541951870560504395800063315344687665751951065446865034644096052637166471242066244584860126024356712313344780422580558/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 - 11076659467881577073553415833773750571488611949479483199713765941923536120516218182522400955905260732785441701872739233300865752727/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 - 26124839105396714415408168613848123516125659926421426582914393780838827960363876407559632027012588322598923223578893054228604371040/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 + 7326157559090202253442699628080326116466299607042342687378397114135389529397458370997456598066805390109580202593886240148634729524/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 + 20426308004217171609400796975815800606355805821269278949364262990919670348543140702509552286495544160994787401481380388532092544534/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 - 3269733698479525537691968367590015000916352609934162007724905027817493215965662968512346593567316171901577191169888007747461557252/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 - 11832915272483263876285356481294969353341317433298040392493409231807320382569281424064892567558772185230981149424900292115112719311/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 + 875237742285224275300460234494971168261266628690273251352719735423647750226083139225592560180260125546016478671755880724445421076/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 + 5003423965982977576896584635067810803226467230487324730275365027110780675717355716260044484802899260332975720495300964752936947594/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 - 69720084766125803893315093897412816217430384003588609186790373240204739405368547154215501559176840921615185287187582889252718113/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 - 1505862060058105855527946987207881501244701516690505951818453150504137586022775451554235419395295262415897910299000120349153914749/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 - 41992968478754041799618196769062604692696619795399526247436232011112096082241482046279750568719491495950805901297821162563866148/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 + 309625145621337578069664099023136880959919839173735592106240150647488056208596298967171788423349471868759197956839148213474468643/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 + 18288093352373500604549413385470748277816447129306198512615841623358003692474791786124112050125049280937445986736338554232228572/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 - 40734585905185993662368671172234894570417515063966498143740079648830641191670354284747019923134733143135637711686100875276792207/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 - 3494911644629420163967160184216390709062526709542678211512189006281325496820168785049061158143402592810259077805109427723802782/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 + 3091825860246805473334173983747420403823932394915128397259988987111412831143465470063464636552906736491376897323797916466650390/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 + 343449556788906590991681157233088377016969541017485569701487705734851900026746502781848365516486053626883035142588983493429375/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 - 112989486716124474941723010856751780834972082632771598069944063266486663110939580148756544956716690904875394076087105229977355/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 - 15060734289020867808529749502360996024255993861058400357516811922285795159726969594936536963223347458519433581730114738328612/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 + 1167379746927449424492473353171360621304422492868703542666691985734642533190867084372555788384787711621136027320189720737581/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y + 197947938973580030142865158486700639399020659442026750584716681406402498579659374728362485737515112603581494690005314213798/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

-957312038896093749568825544560075472978396007436757647376853675644915247800903880245808422516475073598392174513314964311/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 + 5855704636168269723234548158308309999176058704225147313939548094342447741796391139630364437160274672316530291281780714376/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 + 110080510806736247471423932484806056535466493021271676081663066974363330849036102599791138137940986598979695542771601758497/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 - 482105332653756057737396522508721984251122993676993151409684099881531326499952299617141964438263072839880798213881651846260/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 - 4414888176052756215654587329366131234494130584799109698921471627843039840241139531361835247765512790504629817040421206897068/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 12500062558264893231353606222985070689483993244517452952873125892930945580012888575769718517987764735398303972408785252417942/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 + 89905245740967861672092750104316796899263838805282577991988330787090681779236878969031482535036891624518599564956328843235228/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 - 182153097335771910637285229311844934845767968464989287885925114735383759499538220063209858976596880561161974016752207160024718/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 1068975910655523040242752928656670803155070792356339158789002107860037887849211767111708956825397379019782008955704974447161127/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 1699163107334550541582034151472631073538100650895622287039584325425774957725382756062014536799211606008260756141217841067374802/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 + 8116520221591575670622562972740028734600170968806011173968986969913648013354540479897529015635452950958638173272214548244469812/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 - 10523284672942045072599882510203298211906115075821858357843488942683911548294624834046160775083849561657268602888235187603789837/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 - 41953162800426924347894197056577484303652978198285158381236101927641191343101519121056606765774424512716281753750525324425695198/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 + 44291239987709286333425290032333038636504732653869791105774852305129205092697651099670554166864817777402844525829838800013967197/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 + 154469259155289842964754844713849326130960088558205667225075881454093202883375938830508058521007665413607436172201331460361145794/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 - 129540482444029776768433636540867323887678277339048795250960349358053574367255235787312145653225987338499732934274950525252090005/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 - 417201802300013634482909116506148665426788250672784699133554434096790092013383623858121765854562819495487343134109994709099869728/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 + 267592070481367669308343590931265060404299267353608438170308493468573860308877318297632328434669446716386068432906970327274247379/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 + 840845357611263846127828350648269406311257435310509033913837828254033819413849870728253461934906303646511094411964471185637530154/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 - 392862385817613872786521234252132244560313268495643760220308155686292446942187671638339090206100952992633508889222685025772859816/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 - 1275270746942597370408604945488936052531043134528088910437273569755076413817705558409807511849767921511203207492286715913048518084/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 + 406613697246440526913105244763670468960831198772171601346239657402742577850844266394352613999155785147754743697330878411719838369/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 + 1458281109382212093191538191530140176870406444490017148608497804871097861511949270936769805668462570407337048566231752735766936156/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 - 286616620366003613855262930854571928977574486012199532440221001536658945604865816468378549811092251174861922212842367184511606315/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 1252599800774930751846897620998244614213644012974809323505833899351834455285418867760276801366922898839172825115646418861045943795/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 + 123041243826631122334360464904248538745098045470765652726799428004873522237278438985776811045942823442971507208437135268629761986/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 + 800255324077916693614271169781062296433320153819349377715430357158037625265151703490129702848229082974103195958303179041784623154/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 - 15920776631825719817340151592979477792452597596962939789792481088927746423860813241527427607457332482600376057245375436801625598/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 - 373563463998517250801229027690296029731782806391739071490555746635646210452034737531403368402071705055890603185235434324912406370/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 - 16557528596570806704626245830209522801211959619823347071950212899961492903772623416424854921249282206834096008236410608962475759/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 + 123763589505653649492035973920313111602719595597267154857363055923677869825712579867819272504211650499990985727157109889500312648/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 + 12692704790596858705635467630246156523959161914319517974633868613227970010393739775881386150427408526274334449444672758088282391/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 - 27784566692240279387358573117350544817912056134504459429187955109633606993634926623598448763952722857064130857322501581933701442/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 - 4596965098929684130585387144153030703332210177359142084885261281737620237899090725915062009570433548794649953589539809643630056/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 + 3918447533707872936496158879257554744837775535966825227673911756418047532972621543606702291913901176368710939124892166705223076/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 + 960038624118097201200090075408822388179494907987602159268382142895602227458264377533031874319457941015861509168169951373682857/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 - 301560111046280353619895422974252382230927908954991854984979559044231825490441961439799298086805481650067406822527411849010760/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 - 106905747669776213200404726084593675488015765518946567713397734792960397892396246170044754745531245338975948971576672770085250/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 + 8821406364564280955013608328938706839559767338826647939646565310902195792578174542014256187321557748622301867420387951545609/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 + 5004534510623691585743670154517086110413188716698772067383419467774213471227012221722259261867793985673719569568160457466459/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 + 29752187885727968488990808898245671815741257501908082786404242390927972231572008181527510967477429030279621775263247169231/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y - 49695177187640270953727910943864279408213171552593168592698978599843373767818436047257823751981625027299087512624568537401/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149


# A Gluing Matrix
{{1,1,0,2,2,-4,-2,2},{2,1,0,4,4,-8,-4,4},{0,0,1,2,2,-4,-2,2},{0,1,2,0,0,0,0,0},{0,1,2,0,3,-4,-2,2},{0,-2,-4,0,-4,5,2,-2},{0,-1,-2,0,-2,2,2,-1},{0,1,2,0,2,-2,-1,1}}

# B Gluing Matrix
{{1,2,0,0,0,0,0,0},{0,4,0,0,0,0,0,0},{0,0,1,0,0,0,0,0},{0,0,0,1,0,0,0,0},{0,0,0,0,1,0,0,0},{0,0,0,0,0,1,0,0},{0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,1}}

# nu Gluing Vector
{5, 8, 3, 2, 3, -5, -2, 3}

# f Combinatorial flattening
{35, -30, 19, -8, -5, 1, 1, 8}

# f' Combinatorial flattening
{16, 0, 0, -6, 0, 0, 0, 0}

# 1 Loop Invariant
-164265595945883811677721329850415365227046025265595378042505943198076668915007622347569608546547845836524253682096193182021/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^41 + 1240505994857404920242441685936842406218143471506335892336132466447556306913246375838341196921528199106767788890984534527958/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^40 + 16870866020065486491595852034324662500185011558452028554240393915652575959099844570014330814154808027204784521602947504640559/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^39 - 104680048452207265086686405210826063462056922792138187061214699855917613739233446799223120541516651735427312092971112712390253/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^38 - 586327380335052789863362299789172079929281127662418057831450808893077089858126574027474428327878128208709951389331573032952468/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^37 + 2787738620232983391058303357460394083169025957935769619682897483803131165999965849789383451445239472949518310254032261240894664/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^36 + 10861273249681740264583185474562027503615203965388330165373407870117563054440206480398216866613487993607432452112814379277324292/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^35 - 41192618617527480731895111771772354744183688212990814409559883028812214314618744257879193971836114610346214788939232328053358814/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^34 - 115925326540821137828300035156281679020301304063841065081998561273949375268171029006831434682128887868172394370057764723630048521/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^33 + 369261824392814811261240117050613369412844754129281212988339238996253480533365792019458419801757130829200180335387647598461711599/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^32 + 800484304414961373785096565643855289479956305899331734374587464339289122762290361896957403579023417282052360856595957251771574417/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^31 - 2125221491781674122331401772863237322403877549973300975749812178655081924828893176755048046966856532734135424082528595740574706532/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^30 - 3907763779386016917073056648653242699697950255475449825321551987098988094552347322870780966654806490650266971879779251189284475165/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^29 + 8239721828339388748615170128151962529318918342487172245621567297373030284568442194457731762353715371005392876675467735337591143362/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^28 + 14124231402823510010334144786562675103511658234142493431421133394854420780073714471569312728128203347396805779934855078534726855725/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^27 - 22170706807300536652758499973935817757239212378570214312435114754811787109883592801690879880327369514484200184862296774057076117924/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^26 - 38414283270020495621296178762624874425887776108647470092177566146251136564772460560744505706455100826912508644552119352066518533417/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^25 + 41814321964192447164451588068788198632839724688690454065891376864854782101870067743926436155497184012378262801867791264878741583540/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^24 + 78707792840323744123082562455866086807430809671392846015045948422028105951270398283495117149454518460138505444123400857401883384386/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^23 - 54560316486132739119803043394394389199935368897757226817374937808883423857181296958481009390815722200671399732562935609038467791317/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^22 - 120966470468137275974808303106278994852991514631305911576490588347068629391019266061932914101073824688610929308260256783049678463980/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^21 + 46595348947929750705662116716442374442762545052169644753262377300909994402298427526179103822917753363958139112316708747400651658617/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^20 + 138617292271414885422111185657744401069789090263436232106454510723762652606311886761361028696748481782012701943499363635881118395718/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^19 - 21038553264647634642267223063208541021273835323702446018987867499596337375876089868910923810283677096019050065728187424926989586827/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^18 - 117569761124838959282937247069041402342225021630980970563494752486671637755695274502273163259244517774553367024258670292677634229848/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^17 - 2699457573127085195567764913460574881391862135000835765817900711177169659324341335215241822031584167322489235328465580872382341390/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^16 + 73106617440981099336436991017991978826177923755052450833334961100796138648142704233326845735215861577193808462474280718988925368524/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^15 + 11177013740016466438201224140846159479579664053324329027299301330251793783753887289544582767109923451838462846910153385536414205638/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^14 - 32885771310696614977726267425814605244554227386275314449259475066811622025867967371194608928564330295094871858790443488194449409483/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^13 - 8162945913141597168675911473453343488000036127265039198533077873330107675624764047226665966846749343618273451065524088301041324556/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^12 + 10489470203587705782594834448295983664749939559512710914922276869349553988479796390939599336654724512467879458880839049539421517019/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^11 + 3306782755740798732365434391194548766618138650769286577192781263509917111397890554434905842891659520527310787538799299752076861397/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^10 - 2295769086785795746353863131825925974513880135100497817704040148229663684102655200652809217771051742209267337861688986874081608947/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^9 - 817986037611114548643258471629280967577986888590150606279112434513944176169169695854507608223931333157838918874705070335279120552/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^8 + 325745792509941702153013080073453498311457169123102335268472358421958352447321326989640953893159738332608947277174746335514119420/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^7 + 120542700006977424319016601366854488148697026231227143154738382170651847342741226142849501112692928452216735831268101447088772697/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^6 - 27334003739844806100910875753885515362563221431237814515181817643801113352379060495361296893507975238977635590506908935643962451/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^5 - 9649459019744835544115894041078932524478721895242796889111222608741937451810205475744480140896983473969308823866276367067714806/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^4 + 1169657522968360349245055362756988322093770455898455507545955916830554816767577432838495209266443672791553892323965987118442810/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^3 + 352965229926786758492577950682353885558351893421058353730820706291808095318783980595840895322979958625537316004605962473380030/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y^2 - 16831510419228499257100777286897826216062329470895020271538390460216603431316131683803304310040846935603233530790651723710085/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149*y - 4792029729519479741972805450830961193177321509031157824095654395520834082676344975098047689972685870866651181457582620794637/22210699540250563268222202264089096681526224982381465594497113765071310028784535253678954740738851152703986369987152812149

# 2 Loop Invariant
-19844078134249013160266978158351477052461744407205811285248421739950032836118182061284414933089810224031890898497258039041378000131399755192739336809575981393268415290918090411880295059516888758459239539650991361656536818358133949347328643029723852613344375403932293057820680869/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^41 + 62555635526060738131603128668423009788630165494849824644799551347526971663789313791671496225903280143773076220822458122747224034327600697154515162651721028114147892630645659277318224771067097560916085235590532206657871469335788890063394296850777304730871124224001611004443728121/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^40 + 2215971455577944511402644971637189327160838549710690181466201695841379479184756657014641999204420008353816353489699979553079312269207208384783681485371112949382729178627989395381173686775991090163198303287933184452267983786888884183229830068268456903490796427172564771475657619471/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^39 - 841387109611953930823905881217511631762516006630894619225877775266736349596035951445199911164018489429589310912508620567867582145825360436655629552292729290642540969020104318359537558395765847293001252403396225256516244710513147401062396832491909179498761671991923808718313141479/100129635599462837553044150842545187417591065989317753482183258897993999866953575760390783866551517208700467688754434284269909067027195893503512485647238317737433701209319975441837249963263281498945652834366138341896834340374540280440471953657938609679237961442044919853130756436*y^38 - 42639671314804866241223555074070507704674194438724404670755699385178170980391000362899737300446718385229374517371726237966594114558523339715270730682557860008898931806510834846379933448962601045958965095713336911268308257937982619457143205437714060845367212774268996267068997889995/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^37 + 124616668287394676215833013812875108122263295229305667646098756861824482245784536603493510931015520945283506805086093777428946364080595122681843035316563999591473415008196585192155624359885635628944357135175090047159715839644474303282383962507964602576262704964622774055712598094667/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^36 + 834092627286853170117930345834164302259211358686903793603422968737096072555494725569627743607809216893658580394376036723673320999065005510326019419828555177273735190824858970097479537527602661314142470121306067817034466796346585451986530527721599217737634527631124399217684527098693/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^35 - 285550396857657674006268141670878512892562512485135157391363015478547262927115164552379635741339694086622415400889910963229738891402918594811719367978980321007985978010763938588499645202870804840389547963813300374167408767667752729134548961530852094711304112140809468298196413727323/100129635599462837553044150842545187417591065989317753482183258897993999866953575760390783866551517208700467688754434284269909067027195893503512485647238317737433701209319975441837249963263281498945652834366138341896834340374540280440471953657938609679237961442044919853130756436*y^34 - 18855745154364041085305840408852448305840102664852539545520383205783431022638434343791026976641693669291587785205963303439609555844813332720676470026882949797825513336810903048217864026620466416844689272094054717022015744366542207845143854234797354921313997975179860924072541897323429/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^33 + 3668917930333724166580898452430894185381420888862505359436670875696090169885549819475193508488669476150636738877970841809204582811973130721257494920311953192896053674992434147421175518091213352265219582110121734395251419475790145177380941068359955138518040549272951258686712142737815/150194453399194256329566226263817781126386598983976630223274888346990999800430363640586175799827275813050701533131651426404863600540793840255268728470857476606150551813979963162755874944894922248418479251549207512845251510561810420660707930486907914518856942163067379779696134654*y^32 + 67987657699547262368184680681507416033021059125617780927202096265525942869854812442090129924419081054662743087732115196479203954312090123448248254130625722538671617171822634305980908380210482843910194580108321926327993117203425151470106787458719152362911339172205416418334432829436489/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^31 - 163189015274554489463089037360646311322291374887887209424081120185471609974482395025538769079076159380587097881813990588623387152384679404577669599597953798964436111979612024952521252763989682292955264623182992371080798870724684809049863830003665142970415802478617551739720868568448869/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^30 - 55765132567378201804141343201427409609547621353389947656713615517013962720737944631159164961888311278449083216507002604498367718659231920678699449636772470808841130499066672045011323432740137923866028663550567349361390046239223778568024351858004759876595691671615731244147768032720443/100129635599462837553044150842545187417591065989317753482183258897993999866953575760390783866551517208700467688754434284269909067027195893503512485647238317737433701209319975441837249963263281498945652834366138341896834340374540280440471953657938609679237961442044919853130756436*y^29 + 607005736612226803193161478040540437602284805243958665460137840769029696620281355215007217894007244024423698449155217140845930000611934798929678738245695149508485966288439524574029676520233088905383666401624892383882531937406026109944521199689073042432823982939300104122208932117508279/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^28 + 146525466798025735861296311777026563271532416058130312326987306052254149203377165972969930475022232167506132028219994935187716754254819686109606431989067399297514897893015073771748603290853115160016408308075111534292912659138828081574597647259403432406802229325094658513567512752070792/75097226699597128164783113131908890563193299491988315111637444173495499900215181820293087899913637906525350766565825713202431800270396920127634364235428738303075275906989981581377937472447461124209239625774603756422625755280905210330353965243453957259428471081533689889848067327*y^27 - 1542854836169848616618803616102625405184917746070508415981161830710155607330098746544390430902963497771699645710982772433229605180091694499088597409700897128530245973066900722130376874153578042066720276358983356393289735623586939078174436884905358477287172182129768940870466300351776625/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^26 - 1499405337318737677644123101768134629227544243623059376989342999086433775959904562904277685223746242034572038240558765209058867948087153456442840728291007031603849970729911382648380899045736394768164139713536327909322268663851518599586513051001370774660101502534482324297785453503917985/300388906798388512659132452527635562252773197967953260446549776693981999600860727281172351599654551626101403066263302852809727201081587680510537456941714953212301103627959926325511749889789844496836958503098415025690503021123620841321415860973815829037713884326134759559392269308*y^25 + 2701221331400181269872119173814763776167985613080668875911213477558813625202681993771871203160559884051476517236727856367786494449086168530634199580800535144373037851372259234670111493215171313602114179217923907390192036168396733472094823194270029857533411784114506183944012466255098763/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^24 + 1421808056805690011034665154599136359737292869341163649068949722273319249379792200979799347668207730641714880301340001283610931516628801091173603237453340055552111391351371277632548760327476075377787576996540374124148891898056795635020040542627279236786375106481970446897871752729490673/150194453399194256329566226263817781126386598983976630223274888346990999800430363640586175799827275813050701533131651426404863600540793840255268728470857476606150551813979963162755874944894922248418479251549207512845251510561810420660707930486907914518856942163067379779696134654*y^23 - 1609517080947383610466090419737670467599010106921507614528948852044439194833591421356335148365575503930117213516945330447889166251615068620314380888535893089630708570751667604945202016603729923095895591181502318907808642249760185179314378034533035761125653770697235425569270168897150971/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^22 - 2688291351730764989934681330641444994176211447454259128639292027908134539190828839069735785257215318621996708497711253871613334747278687322927492295460463721182699977915594250905491879877130996425284160114968494422314695385842558032788491744360860632471357838725581922048234676735619529/200259271198925675106088301685090374835182131978635506964366517795987999733907151520781567733103034417400935377508868568539818134054391787007024971294476635474867402418639950883674499926526562997891305668732276683793668680749080560880943907315877219358475922884089839706261512872*y^21 + 2472292215571734586192428151428261694854530209886634542810410968634331831132863022471429640095828212897129457186218715240726999858799170674600137124295070646391823045368316771973132572257107244294408631991892938085070921437065733837485607991351674052698252891511774338939675920591327325/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^20 + 2861358588026835813942969913712901912975242833268250497851064653613722949342694964779966832788273938231403372836118594594119786875032334341440969625334437645814363537988712674913262663634472012351663273883948685233287587878095596489741550746204451692794659887502608065779198737458424269/200259271198925675106088301685090374835182131978635506964366517795987999733907151520781567733103034417400935377508868568539818134054391787007024971294476635474867402418639950883674499926526562997891305668732276683793668680749080560880943907315877219358475922884089839706261512872*y^19 - 326353494622614044658199388927394839853710367916814059449287806951151028726026996111443579471574071657902994016081231854602448127224969849555946255043778400348678010651205988956008802034482841168639278485888107847431169289063831459100172107891157112437077794892356391648416607121872121/400518542397851350212176603370180749670364263957271013928733035591975999467814303041563135466206068834801870755017737137079636268108783574014049942588953270949734804837279901767348999853053125995782611337464553367587337361498161121761887814631754438716951845768179679412523025744*y^18 - 4567855160598318379976198208352767691482883227006439036312254169715683573774179845953247929245657315720723782315062705973687546010182201807005565385543966661445122443770528225306625473115014415931418869923746437728996060367253448830494742507775756930312093671432840092987451547456117459/400518542397851350212176603370180749670364263957271013928733035591975999467814303041563135466206068834801870755017737137079636268108783574014049942588953270949734804837279901767348999853053125995782611337464553367587337361498161121761887814631754438716951845768179679412523025744*y^17 - 72267737065132490656611639387384563869934228043687658516741345838122509304590756791570741176084181657112136719418381911061652619263168494470693294171068173244200920933310646428885287332639319148136313748599217356438505369181488993554729843383638999304125718656418644467641987393423617/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^16 + 679011507928176563432208281350371628220767046111866663849343327620257447136570641091934244480773625646499383034831842270602317415372261847218310853046548647852171526484580033437042316848114278825692269259387247146747203362889678570586559820872507725579838645743785094600896813944314507/100129635599462837553044150842545187417591065989317753482183258897993999866953575760390783866551517208700467688754434284269909067027195893503512485647238317737433701209319975441837249963263281498945652834366138341896834340374540280440471953657938609679237961442044919853130756436*y^15 + 222884815594727834291054332982927771628991430926896324441761239008007418458438904768858337655829870795619804791241464584265231337213137509143440510270321685855201784945083549750855986797712329345676888695763380393332040140512628222758168032055952654607592445476066313787613070399017741/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^14 - 1778023341919472815391449961037971153810387224513635278845448227844621180866101906980237797508940097815280457828056713102075158064582673511275139223138926395347564978739269477709231977068154416466422474880431169712754863727695664798240452265952382298369918983776873080251214018638557197/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^13 - 96836597346262940126417185896807558640629457128848425866847258821148580169710803337039531294284038438585217516382987968177723872643043785954046480506877501512573299336872200502461461521792304986162463140920402515706213391343523570461250290067546794400707581911376620871575741071542025/400518542397851350212176603370180749670364263957271013928733035591975999467814303041563135466206068834801870755017737137079636268108783574014049942588953270949734804837279901767348999853053125995782611337464553367587337361498161121761887814631754438716951845768179679412523025744*y^12 + 554443675272042726333686940132959536987410008902031593320042561722536788286082202313142708051061670100383937641197510273797909568130939587282940469347716383356622319508014615757599819682980455080355737194275330084929817433211023945609709470208432857788792367902697152857249578897887933/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^11 + 110514069671204925442365883089468026981264710070105514367624854561858929487969783641196733334029735921092510529565853505594835038160859437768374774925749420890126292693206397740186084820890709300964058911737772492622703236986310870080959295758309209350724152575661842050234520881788911/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^10 - 19682875586504956369056545299442526459526052502798298201518425730517198503751090071906776431207842488793312883674070291360607380855749989287032123840832420916555845242804220555673010930041790847586948826645027798229572063734757693372673443095703585610021616563398742783516406305720119/100129635599462837553044150842545187417591065989317753482183258897993999866953575760390783866551517208700467688754434284269909067027195893503512485647238317737433701209319975441837249963263281498945652834366138341896834340374540280440471953657938609679237961442044919853130756436*y^9 - 1762649393691018373022084622733414847954749531790207316985234611808009637710248746667181870875851382004242501326081160250915702944668898883517568119177580598726654642220689772713340910307689183496971895575403227527808426118144225925414462651204493989134776288517615030993028251557994/75097226699597128164783113131908890563193299491988315111637444173495499900215181820293087899913637906525350766565825713202431800270396920127634364235428738303075275906989981581377937472447461124209239625774603756422625755280905210330353965243453957259428471081533689889848067327*y^8 + 1997182739015417326380769703003100236292407484556448186268982496048424308726106297309342947975347604531361947143726383074193329694994763442955133244746064004784153616978642334258181600994459562483429334894442300383097369155028157032206827526684297420515800867227277806882642314484522/75097226699597128164783113131908890563193299491988315111637444173495499900215181820293087899913637906525350766565825713202431800270396920127634364235428738303075275906989981581377937472447461124209239625774603756422625755280905210330353965243453957259428471081533689889848067327*y^7 + 1641737378022812400444246162070036663508175922255922661488475753719406338652049301911680029473990401162406440611739364739120809656119449642846522891108512137153217478925803997466221406448155503577068484010623256930454317662087983856263284735336633424808425644573207722728840929397917/400518542397851350212176603370180749670364263957271013928733035591975999467814303041563135466206068834801870755017737137079636268108783574014049942588953270949734804837279901767348999853053125995782611337464553367587337361498161121761887814631754438716951845768179679412523025744*y^6 - 1215781466927791898601171014977267145411507574392333949838206879761345773559325576562246398918714007732441514772740245752638761180551409032928820232766612354757675614742556032283097803618873081369101628621721129810408739453090615350333407187181271821290752228184377362142264023954407/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616*y^5 - 88798573700295697249418429433472393155068503563143415406542315438606195799637776311876618310291928072499989676764376991934734908934950323499625483410110684552366238888667653292994867316590129264735237498314736610014150894096462228590491671073388125495306821057844336661010094949939/200259271198925675106088301685090374835182131978635506964366517795987999733907151520781567733103034417400935377508868568539818134054391787007024971294476635474867402418639950883674499926526562997891305668732276683793668680749080560880943907315877219358475922884089839706261512872*y^4 + 27091278194190177415458438943862917509618963544709974040700519632195867553867882772471968447347634288866959726016730906786940244887368173008261395128355941944817197589193258802402180341595793296499601957945613124907090069663601366883678155489025955445786872814595325898561550218593/400518542397851350212176603370180749670364263957271013928733035591975999467814303041563135466206068834801870755017737137079636268108783574014049942588953270949734804837279901767348999853053125995782611337464553367587337361498161121761887814631754438716951845768179679412523025744*y^3 + 27412226135828560118073122024508932776593696852841333263416983368273784101922315230936400647182847068343916778328676491273053125512515130044093749712091917082050722997400947966962849425796437877125394763553717453412032279400372615522672557452934018538774222449785375998952138587745/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y^2 - 622440271554907951324756608843654249980669760778816902096264348922347103918497884532571401770812671618372563299284325631704692527358156362411626875563083401048199089130443949808854383215648562605332658822796787461370908468090254816732748393303220221405752343557334321627432715627/1201555627193554050636529810110542249011092791871813041786199106775927998403442909124689406398618206504405612265053211411238908804326350722042149827766859812849204414511839705302046999559159377987347834012393660102762012084494483365285663443895263316150855537304539038237569077232*y - 45039869670564104484228962747672656981826706173358337645069106349644563487709686299664938757895151713943137214326979454718437809584215874497387047918196919845761889001866362215908955689366738706486340498665533113232871702520880270377477264311146509048973906508668251892023982541739/600777813596777025318264905055271124505546395935906520893099553387963999201721454562344703199309103252202806132526605705619454402163175361021074913883429906424602207255919852651023499779579688993673917006196830051381006042247241682642831721947631658075427768652269519118784538616

# 3 Loop Invariant
-11732071697696523121830353433695574067567985663305208785682718856803705619701165576207016071814628765880037700609474046122416021743771996279634561351886267934725289899212659720218684197350122734181123686787836156639808149386140951880343280537662411768841491804117744244944889976723505301370728312248182282097383483195749454800988209407488348070732678018487/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^41 + 5358863428763615930661714055780153887863288165598829775643528504619735873731254162150414067419334036159393772753982065350190118487035286116090365826587864774238575124030336257576063430641587203299963680833004724189379707080107192028164105837384431783419497591200917729847896543369795284909987359575659861908753991987596683715149836504407381288788748046507/106299895903430768065973801977707567606960435052832813431396551880036019988685962849515578098311219399974604413791830597699213654870334845780049756299727229235423313876037601730952790725734969375997215443489179840268561160258511426146174213561157780332584159074144745097825160743151746314607737661857866309286669020290373350274528551079242662132259149063956*y^40 + 1212311778164752294507228757182390998237480769087348356046830567676221128012070175561413846543527581251195111775233288365557363019094778143330476638733081500252316874377926774136895798121475758168091567988707967885259175265172079073199535532349537180834865689736160283254191061133867690270137697687737453923653224486720561196833044346186986267030177957122491/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^39 - 443501560947976772031573337220531131139224210542694125518189706290588841073361702368525379068820246704530663106997186189152554973378491289700163234321494463236495525917868973721650318269100866226141636478684024885271385904781434333644609824915790521622072620445257475909817566742557974897832178973777996411725292843470193442668697053197209963305953443741007/106299895903430768065973801977707567606960435052832813431396551880036019988685962849515578098311219399974604413791830597699213654870334845780049756299727229235423313876037601730952790725734969375997215443489179840268561160258511426146174213561157780332584159074144745097825160743151746314607737661857866309286669020290373350274528551079242662132259149063956*y^38 - 21058315034267841211840207288356601912373669237885236308895604468690174713280651522408156963009866840219930798892513444006726556508895510643467119497233828760118265601399636160316706441775560235321881003614720521872958979483274051399595027254514174130131803340555111369766954934021623257591291818686858986375554174727327428309148064372357804097436052303040679/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^37 + 182123712308146128345649119912789409453927056468006906420848845108743312521490704833034354492070101559660164290161048867340160524773228961866986409436886719084326594170954630734095307396846080526178739673306704469644507177879318020074939475697055489944058119778265783783838515078671744843148097902375424365799297666632903165503117357410432015535878431312972573/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^36 + 764181243810638807472313227448162734292293274403145069777152799069531584108230405929606196501487186779254878583539948904726159842978914982530843757414185325195422959230718126201493966861360149534169338710118655838476325964646261394594014422352567088614299255313665984910135401628702224889921704815602325761206036053276467859717786930942061121978778801455135263/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^35 - 2598420794728611208472502611899200982416740270119152137886222043913497113807924673110890237662220015698622366517708162132710506929252780759846477897959031745898433387810067677470137096055296186174486497911863074562398089042013721857351905965516215566825778933653066903639161973749814366876412808969954821630826257775731486260519563640894439729167816641454554901/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^34 - 7851891731128789172588803299465176162290240917454374214928162387299068037659773106743863527715219708742115961131807208127405045169535670030572310569353292146593842158065596098981156638181512438229135695857395863989963598738911731848844434010541638908410609802765584415241730259119636151083117758755314015310894736922220111915122187941421257246928866898812114627/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^33 + 22433362072376291292235915326439460509499741315093109824036574019111643401320997666385700490055754824256474285554691075706126943389985255307011170443401192930509523729949625808777955690143456937363981601527513411493930084231578650574401996853172000239585918228282339421295259390750148140717349345359516455072080255413801342161820713185383532099884495300159926857/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^32 + 25578942072488332097769089652370110449707662183414137127545383695927895850030962720407296958724555612720750364291115705588129969173315937263788323983540063400456886427065104887537407371108249643362591706554577347253532681874234986497556927086979334253396612437961858435263659441932365733192677776465986227444047496721374359418474223958074405046269869091425968749/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^31 - 123597647354553746006050895242782208501850796603215177080964891065377142580618499175328369834947958797972381418708638177561077098624296208628808003649956593602519357648341195384578493358495797798571618227683140643006862844186288167590978911118874276375710539458190001854787776878667130667407290875880332658229851679305259312161405816595409625718350582134968964677/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^30 - 230490357444802954582207282609205373107786530596687594316129583939240824434272462785780784947423048301293636885770998400056590837142544901890362037576710075748124157892838986659503861665451859124549220565361481087469757317031575633479130090071696450015975125064395141881099880792594802618872536736073327676776473752771315156157144039372609686826684492622600609105/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^29 + 456947104141605004177674481702311689465916848440960487345525265195983080468461236534382211142210845812528885124079063865321576993852554445975172020516560091312097060852471391588235660476943820169896834555444610234697742359747816837446661442246314062007044918336318762200764936752791811818853988123061755029668045405752649928884593719260614119885365824342317893427/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^28 + 753706375074525473425986650974257650615831564860739459910589876268298037020256823900452492613216459458424811611704857450660066858612587674197155537785065243264508861193707497863227948532206715588775735689786772470017395209472254261358832516175139701662709927851860035850376199850484360410547768595262022402009495055647646274467239527549424365042103342548186322837/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^27 - 294008503546785374561464393577835067321273379601867065608975082167594641486816391998925841242104021904035620998813042227050673971158385151802908869591882328833982430042947968338171926494416816025718055042333154524578904932087945898903213161666255652543404686427761793853401030861278947714618579883729475308366111999774759691465078910884092941411414101897682451025/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^26 - 1828225123183634051745003050765936164878725029752435154358455192252599384468509803606413260695399883137529861768307465380243462436180052544088250712560377680238951790381134455066846653867978902429727823784891421673222762468294497164480715323609478980106564859526721162751579304491333676683036847782554184285090732191688530921594531433151225959919011589183376893167/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^25 + 2156758673151787100706815579862332790586892427984948678795260754084715544387447562683662767361572138505168572001064996478335451794369594226949004857053212681468238776248933916072785263720567424199146006961089024985414917927143462814493010799240126366952471557348186407816571788308035002935035212883908513560173982551488287903575353381065763485355806572548077153029/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^24 + 3314761133068304008024265363692592481708879300290804933338163840054525364635802098647305286153565055343505559635401674517327358397473379620159891263881977547959986464718463385215895023406175544371435425467548626714666143765252086837760141880223909164636478749757764202555433885522069585935138001829900110424194670370976013450963444010201564150800983005054426635817/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^23 - 1427134095303103690024717648982756327508273679721679296058064231580842445190063843379819889244697262244582176435716317072422751576215386320345785187648803244483499501058816267725437246576199495585059216052623589381806708835931569791470258504442730486104260903435144414572650300387517184000209784316648929706869383121214194534855603615066143662452414225041085739267/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^22 - 4497480473924099230175132466309707771326167585412532268940453663330511385244474643478380619309610785287514420760978220124149868530605280603445425342157534000232451856723145879639183240678084474477552641037867042160969610902694766871944423494925033641846809157248394491807955525244115624758301545241781262731464130101481923814973062626831323595424474858713100184875/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^21 + 683843132936659352385224365800101837919329018551937242182213784569558132893513611980496488096148310131082166003765612897990757953871379110904162372611248935497728741384864159800446565204447762821189076464704674251071564944484663027977447841666770151003249726804976312918598144234414907263391046873128256780315821451225655175115635402787494713463379020632574868229/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^20 + 4554704002415230063564024322038898910917344201345840829172825183661660714667982948045100164119124258999380538058100256876327536548440273693260411130473365009175096876962395864690806550901169448162441437181039833200264662634110590849711544147730877466306704841109365707708870615475613911752073643682941675510488378536357316663341695693443505707451454897801417828481/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^19 - 943369417324295788379433400295007605247555474034204906258722447640541581246449956634587449852792822263657933180009685368899530703278810399381770895453994531288985194432057566671688411239326211447866722216210545047330649322783585540747162809339902047549274888160272857228505406922095085595160692461114329188304388585858379405213142727095500154357825699420608991733/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^18 - 3420063402407430897028920513731677578015631066284506220562759072116024083716964725340446825406423436843424497552608515674065582371581578059810060649331128624484946273949985552521648833022472776641354189718470839901184785919773594737001653637578471481830714507931160382662583096881139155578105608385545712824422657906033842300641575111928502447491685149167149357861/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^17 + 229641044721334506874152148858281483397420430963848108434379870363457199524542212567515588924575630979024997792527076628194426002587916240851161745162391994055260124596127288246397830975866511536268534258109805660809244931010978405262637262753009946277216649263654135293566462224155916102931565308194636062600388049597009703166041415994174400829685342649401038389/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^16 + 1879758150931726763273908745467455320477447269995809831996998262024250437414553161083801899032235296947199505220439371455575209413559194067862318216368684293955093038109330867281446736003527007639354108581810626828061727774561050801605885233546407509388575330200541937337749329001684343201652530334815194521415308608485553805289298513176684292929199893003717390729/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^15 - 37712357211963385425011670857869359224030639049832963791115706338690701261180941545406320383009945572798769551208095534747448431176662841964952270552909784209838724252942937655920512577453978615196346324625107137569571775524562064569527929846507617232736906770787202866949114645900115193520049169601215756483771342918455590128313550057533194620030163770314553769/212599791806861536131947603955415135213920870105665626862793103760072039977371925699031156196622438799949208827583661195398427309740669691560099512599454458470846627752075203461905581451469938751994430886978359680537122320517022852292348427122315560665168318148289490195650321486303492629215475323715732618573338040580746700549057102158485324264518298127912*y^14 - 739012337878847843487933020013623315846979048816662937164267074352654791583338035482088873106017618609824181363781446111067102372647294620985063797359452946942891106243340712977049376421639088621033748138568909418354604553178227237553062518411723049794274966935349038626051277977602710893660974405605038222426115216068589208191784018757012490910620102617128620311/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^13 + 59466230209024105274242449254586936199422620401233760768641539849297976813095797106741018285236705728217547566909038389549619089234366879977068530169625791038405948633306329591753086176436913946200157296535024069538794074424070521264007587408512997864765855293341688902922925957328512529205921168161318115629980739740574346312872697587072039267224467582892689891/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^12 + 199467742159621221889591675991832365799000778688069619360425578479932083525158713962867603293366848671876569349378415237812385563356769755554996468066957730527900959523238366867809086311178249425388720184296606150304821047783449712168531574227993833451934915390828938833533642316439482925007713424584292431271876737328675430508598036592839620115329321660646423933/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^11 - 1032398414341866741739956529982561175031042625780325809981099731167489203437569089410736729601658575636750521607634341728224860863486389349395830461119008555792433655678957073365904859515482655480524302586690264085570346616532761584729769097341266075100184599008875866665847844859660110922427030127494403171850525712136479313235718053482425010724858975497820299/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^10 - 8547223244712991124661819649510142230739424262587360525444403496963363715399905246614889867455971236150757851004128814595432084574268239284728028255925461559809031404619885075933345906905330593405592020887224395227624026460465369605913121381049123659803034148061688908028013180698333814095133189981512751045101297402748934886134492870908329198395494926684445715/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^9 - 200457128139265203393490703131223440475313894365415033846856075574904157207851228086729127909885241028310451275667809519690725138724686483369919337947137199627285176632639177950152669876361741619238871522873141408873689440888305607057605310589560196200792268009022413028124570870196980326609132282434870045354944076586655988109248688165350202862061095720711849/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y^8 + 3102767250398755139426455938344037626510528608454452697078039231795902131902030643801029095402028302796630160663141426644306772186766541641615874027278070904942834820860283828884261506667751877157367194944576052131671712719336028565810221173003673364941066800900465759244613304491211915491591550668096410669740947368862134198271164660109420955226924712738883755/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^7 + 72997524236434390316407965014222561939477353390703545741633283189823705285877690254801924788889997150079797604350701126230056270430897969415006573394461184712233902361358278491830005065742466373635495142370448523581000556479348733931832035125680391035602896686213931726524934031187782815058478020916200109770868099316225931370900859509437869768175324631084543/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^6 - 31117651851191969951132597017553533197552592406099155848734313636038733497033831737054499452951291180966861527079153033615224454161596538749177349123009332349437279308336006218253761531582957616235864861351123381350293844567792777276672795600410602728335347058626582842338007186346908235381611568676365793220655421778044655062773494711655391977557311595238649/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^5 + 2678862820597423305749731160870070150516595736329083957873882217506716999551028395702510039167206812200366960930960851144826020098535277978274580611258970023148988427379557165179010641721091438242772701889518734346070284623200497559317533436268248048818859831144959710380247693080687181672489621760830326016961627475995902198856758486272344576815662229366743/850399167227446144527790415821660540855683480422662507451172415040288159909487702796124624786489755199796835310334644781593709238962678766240398050397817833883386511008300813847622325805879755007977723547913438722148489282068091409169393708489262242660673272593157960782601285945213970516861901294862930474293352162322986802196228408633941297058073192511648*y^4 - 420820719702256355210682589948230474605684646130846806930540651501542181078754397374807070504121576868863169574719019693319780017014056756360830741075974243013157910998648062641689566259713493570814807684303321137123754343954276693687881545063365463004530633094728783501183086829860108001808463453473428595475747232554527394623855818829535731958623184896525/106299895903430768065973801977707567606960435052832813431396551880036019988685962849515578098311219399974604413791830597699213654870334845780049756299727229235423313876037601730952790725734969375997215443489179840268561160258511426146174213561157780332584159074144745097825160743151746314607737661857866309286669020290373350274528551079242662132259149063956*y^3 - 1236833015265984735380395177024477828677039090123458235300735854363835110041184970306614737850199270375104270582814274719283919929482188401373907105495694854517900648707726964102676817285828825460395276064867680144293240114588383007960807905554528291732376825806257297692506114107702825507145791564760154954028398351742781965552588084466316757717873821140347/1700798334454892289055580831643321081711366960845325014902344830080576319818975405592249249572979510399593670620669289563187418477925357532480796100795635667766773022016601627695244651611759510015955447095826877444296978564136182818338787416978524485321346545186315921565202571890427941033723802589725860948586704324645973604392456817267882594116146385023296*y^2 + 45305361822736663833245393476103844987231743954052315663880700802701142783502592257581337870465627912081510248718377932898291773358470854732577971774146253943603571497917512409265459129235247654415339849584230170218460337050985453909577375420009507785170436680712594916144902165991409130016632944672072876501483585821167757234378852676655366142828776231357/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824*y + 9025545329298151982859957673834595339127043591171007673501629931498812120646040017565946824950648693450894346347547887822568155982799028362120426436025136171320428052622741561760459040325805653934327325895104881674457918248087080169841222535142641089282300689710649381092248761239293245620232826457546693008456785856697290295581619866547024787443120810187/425199583613723072263895207910830270427841740211331253725586207520144079954743851398062312393244877599898417655167322390796854619481339383120199025198908916941693255504150406923811162902939877503988861773956719361074244641034045704584696854244631121330336636296578980391300642972606985258430950647431465237146676081161493401098114204316970648529036596255824

# 4 Loop Invariant
1369457200766877808835026275613475032687916834070482212928164983271422303391405907316905691209202966590908449532447958672013638996427972628158062729313479860663591463509007917347121425094781440193957123179178349867688459753647663831691448883559263953035036080116502337618720250647900847233486932986807561143578987956456425311342610309979909183395159583693782398890884352443932580097850293046965585211534626156223130784278542116643706950699373666318686288846808406670278024632511051512118450798800902864418064349409/92009880453438699670424866031001929669241326855004032733179333169669767526571214709054465509254182662593578324330029485940946090274750929106101712327248489936275780782574069078303962174941800487619355894954124967482743064147156901517754922818648828091600250022526923303779797881924204671041892783302775749859566728641295698087979964805038751413712296451971913426641112616942213024643288773282177429774485668265812116755198575713312084255746891923190997183058131590639116326640830240438008231289205517811203655318528*y^41 - 7076090571218002263528130032975716991403466997018324460253398010236263451351085988762616740625626773211940414106955958480684419861879848889002677636958360485149560868775763924998032231640000066028852724035822630222179515153713742628493437521892654671942990056935449047370635088856129255239339307238239670408252152797333565568849900802441733113736732768285280719345121210193235148306240743796570358775090826882351630169201876173909609550198741758104871733702489299587415653052099819387201127223938184088205110044879/69007410340079024752818649523251447251930995141253024549884499877252325644928411031790849131940636996945183743247522114455709567706063196829576284245436367452206835586930551808727971631206350365714516921215593725612057298110367676138316192113986621068700187516895192477834848411443153503281419587477081812394675046480971773565984973603779063560284222338978935069980834462706659768482466579961633072330864251199359087566398931784984063191810168942393247887293598692979337244980622680328506173466904138358402741488896*y^40 - 109519883319836320102219442440703638462034941106119002816241234570388274906185951060295766099889809185842640174321075800583280264066880596532264262947190657563919615750820377961940935660551755399639938023370555343544501163976052490670332292279562891684371130274084704766251011262393557410711206153060086743099302918659688301101755106716043862392398208774820448628362461184619754622398628280473595006279895935245296786532140137241772356792135455441270893651957648935204497332424843100108469017960496596460304949283101/69007410340079024752818649523251447251930995141253024549884499877252325644928411031790849131940636996945183743247522114455709567706063196829576284245436367452206835586930551808727971631206350365714516921215593725612057298110367676138316192113986621068700187516895192477834848411443153503281419587477081812394675046480971773565984973603779063560284222338978935069980834462706659768482466579961633072330864251199359087566398931784984063191810168942393247887293598692979337244980622680328506173466904138358402741488896*y^39 + 642730520464429734649184695110123200440603230567364380648645559525407301187383792671063371336462282131428475306072978833669189987478890321049165301819026766382712384855931843924225089301800513092212053087746885941752400632495568911131622164601100280863662194987139386525009385409014766358038082701307071432321080251861025213246228440177909969733730001925052352531801741283035648889914785107230642313024226859443829253257299376092793107876399026329768847994557899641464579603519204460362006588635489303659348846038959/76674900377865583058687388359168274724367772379170027277649444308058139605476012257545387924378485552161315270275024571617455075228959107588418093606040408280229817318811724231919968479118167073016129912461770806235619220122630751264795769015540690076333541685439102753149831568270170559201577319418979791549638940534413081739983304004198959511426913709976594522200927180785177520536073977735147858145404723554843430629332146427760070213122409935992497652548442992199263605534025200365006859407671264842669712765440*y^38 + 19864748652781104119143883022244111942568458110012579685908243592071722362318895288327295288499408056088213701806588532519361971501663283950167362163795903099675465327540190082356098736506926573877606861980291934905125255843200640833395348834381704516261516825100521680705244706993348930432841938499832521428896708503261657089659033795213941552052610003782365098350705462558998825940271892645903899647330580631457126759490265074082616698916938269547597637930246469516105827317988621760060549586792921154359709252276653/345037051700395123764093247616257236259654975706265122749422499386261628224642055158954245659703184984725918716237610572278547838530315984147881421227181837261034177934652759043639858156031751828572584606077968628060286490551838380691580960569933105343500937584475962389174242057215767516407097937385409061973375232404858867829924868018895317801421111694894675349904172313533298842412332899808165361654321255996795437831994658924920315959050844711966239436467993464896686224903113401642530867334520691792013707444480*y^37 - 72684147805672936151824438179067045939723502884594043135521849503284888949034847360269127261675380097014597306719271718191886792904927642772156328587348611479238572661778533400609876907705596027828930550863348160952753501227658345668515345581430400392869876352001933907835161503557454840917771437367687969531076606516684465819968624705655917315809032168926298353392176517389555588540602621612477320330174825727127058416148593861043713172328616978546902086132145135240461969414170764419204843505624342675404277037840071/345037051700395123764093247616257236259654975706265122749422499386261628224642055158954245659703184984725918716237610572278547838530315984147881421227181837261034177934652759043639858156031751828572584606077968628060286490551838380691580960569933105343500937584475962389174242057215767516407097937385409061973375232404858867829924868018895317801421111694894675349904172313533298842412332899808165361654321255996795437831994658924920315959050844711966239436467993464896686224903113401642530867334520691792013707444480*y^36 - 1489790347198957678130886341490426357236713161278572501102303575006766048001096748671973990826412886131219179045126859974213943657193856736298522231635709867551853297125747936973617029258271922019558511251683805902241693293895130505848941233895260551315309649074865594829001407956612137165048988460372835923776627174051134689647477469704233848489465734030090314952034037173991970022568249724930967408771861310544164219716983731949599797854773118669210529362041922176367057115183767722210361066259458476115450521896404227/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^35 + 1352353163514191710572080317504580032066218940711006114189269174640728320140682343541756677636509796708628160625753002890867266363375030578482610085026517534387367266534950564893393487097065033902356643868480812371182203311446395660036880767490461692808466750074682999490159022563482028937675425803636734944369609170643374144142863795297484951141543351933550647387822232777686141119558605893448937903055970497795609875870115327884033006803414458142072371651138657871616872383483809086634017861559776996775490186027447329/460049402267193498352124330155009648346206634275020163665896665848348837632856073545272327546270913312967891621650147429704730451373754645530508561636242449681378903912870345391519810874709002438096779474770624837413715320735784507588774614093244140458001250112634616518898989409621023355209463916513878749297833643206478490439899824025193757068561482259859567133205563084711065123216443866410887148872428341329060583775992878566560421278734459615954985915290657953195581633204151202190041156446027589056018276592640*y^34 + 1065772625741883095297132498792068154434633971177902980358771458054472958980524818331939729572199415586384885334419208177366479580230912064647872783913868665622909219208087248907245352144163962385236141548295675846223872163559364457351391796048695898249146805969300975341217611697007015241523246618798275178542731369134173547545380965083466999893063988244532159183740547504159768950749900157610392339327578268964525703599980746947856153805341241838185035971450097449255290575934424726193074843109696754686935198341687439/92009880453438699670424866031001929669241326855004032733179333169669767526571214709054465509254182662593578324330029485940946090274750929106101712327248489936275780782574069078303962174941800487619355894954124967482743064147156901517754922818648828091600250022526923303779797881924204671041892783302775749859566728641295698087979964805038751413712296451971913426641112616942213024643288773282177429774485668265812116755198575713312084255746891923190997183058131590639116326640830240438008231289205517811203655318528*y^33 - 34453042506143832637671922891786275077086702141322692552379968427944108385893355080783084833627690432303146233041437191883228406666538035822239596526121645886675957701867313319486654970983776439050250257691218203587229450629546939841213652273816044738061097687788650013313910773034801209074939170191589315543966092021286465278681114662829165755201574604106065027342658682609669347758606272698066400885200465876844161978997172914410943434807271515872120150621854572522526106528122860216000008204419852989384984919439575279/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^32 - 47511656906921753333148018448321332921491145788186164591877227105839401664682985243042372369164070156711519166560872604537237714241259008759792514594649553241316173838840249090466637476012794089976527378828473375376666607805567101545744602950690243353060343406833179351412032583281574407456336730454918356412124939276104448687097859328140107545882409795375000205829369623280419133203804497219065277759504980601676822337296318004097925793695766982666341797695576069672684529532197525568662271195028759059975229892811163/599022659202074867645995221556002146284123221712265838106636283656704215667781345762073343159206918376260275549023629465761367775226243028034516356297190689689295447803216595561874753743110680257938514941107584423715775157208052744256216945433911641221355794417492990258983059127110707493762322807960779621481554222925102201093619562532804371183022763359192144704694743599884199379188077951055842641760974402772214301791657393966875548540018827624941387910534710876556746918234571877851616089122431756583357130980*y^31 + 186623137888887403702995225552204676180150273281970140377278427199179794587914641015914791739771659994764504397421233600256083625980804312772146067915614972157637578816292605385303194515849619734983306924650273198936708157061842231606283565436031332782562253409597830844928676995742474500448575866080862282265816150180383137674545831440292158664624020708821519795348051296205814696581386025247402026092388855222556499826945708480688133595419998497294923066331563353435274273634816422028704890323916623422644976658449500503/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^30 + 258329734918648038183276104817660438112962003237308984622394528236611110607854077678570018889107919549124715366289926145317971265798140900356397051967395898081452048822712942479874182455996068026028345631418129104643537417751945782317511441431096615697161997315657315135493137537247227183748512842712671278983320129490459663222033015136713164811719134285835313594433354555282748229754536137602850897262528518263040058182961332753026683924758947834863691191855187640819742199704451582110417451857896975581101664890711318867/690074103400790247528186495232514472519309951412530245498844998772523256449284110317908491319406369969451837432475221144557095677060631968295762842454363674522068355869305518087279716312063503657145169212155937256120572981103676761383161921139866210687001875168951924778348484114431535032814195874770818123946750464809717735659849736037790635602842223389789350699808344627066597684824665799616330723308642511993590875663989317849840631918101689423932478872935986929793372449806226803285061734669041383584027414888960*y^29 - 671534937986597335816442693536757819433217492363666505426020756778004862829576567324641574754879448759565009455659258490860570196490288841814416544301562946958567791667873212677104971943425520454062523920609336430689939059977436865996737729691085613139557626635724071843462027749524409872823447103956109917763469734445671508160613968938631536405050885927122618045205186910073782699815844540460720202462200563879074931049103796391074968130572119552738127826250284654412491866101972987047765857670445884642891014082129044333/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^28 - 877392764073072597776913843064572880002333313981487066491919291740359618904819180926594665053421138585089042508025564089385483290311390525849440906043411897877304291834511942547759936894851424314431549939999217926334920363458158095757970281555894678834346404863721847178546402417709792067969398332543818124546148345958772543283331335997469574768918329787755835437062335786863014251478143142926217691766415574639962803981909396927791486374859854669439781970423920358882189489482908733306507810614225597601857806172670680757/690074103400790247528186495232514472519309951412530245498844998772523256449284110317908491319406369969451837432475221144557095677060631968295762842454363674522068355869305518087279716312063503657145169212155937256120572981103676761383161921139866210687001875168951924778348484114431535032814195874770818123946750464809717735659849736037790635602842223389789350699808344627066597684824665799616330723308642511993590875663989317849840631918101689423932478872935986929793372449806226803285061734669041383584027414888960*y^27 + 1646245202497178141665424239212998251973505878965227655207734988111226879487329925563675766924874181120856792814312921427176170840981572627834066977761271744315377239256325660424813090585262491096943538347642507000488536973095105683805965275364667769629452526748128091434176883667480953476924458759917576061894185470772411753681261571001698033966749484188524354736803381681347410158157366898138398882096849251403616477193519413069258629295625319504459435575589954689726926572816734636816817764802417414987103084239798786897/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^26 + 438115789316627674521053554625332952440799225176377330321268621525681391540128074546936309534326148092368838140187289969925327568663895157160567920793197884670089569354494022444891250381251268306323357937536244297702898309033001712222903164655992980664193048544281935823745212616611983958422099458185224505573625591576698025536622409579861552279543225815269446479181865028874061725800837575593246893796097525478222769377571569832046639948751795721293740221871432202587405680718865773522401360918880298200192923767252842491/138014820680158049505637299046502894503861990282506049099768999754504651289856822063581698263881273993890367486495044228911419135412126393659152568490872734904413671173861103617455943262412700731429033842431187451224114596220735352276632384227973242137400375033790384955669696822886307006562839174954163624789350092961943547131969947207558127120568444677957870139961668925413319536964933159923266144661728502398718175132797863569968126383620337884786495774587197385958674489961245360657012346933808276716805482977792*y^25 - 1381911548274507777536007557035368530325046739295529690666627907044731600611466086129874470055834147982227047162079635104925026580865484934991956000947955127664030947401547846646638466051185309347522500765392196730619929094711320503590426524012611971390608816169173018714592536013006106007294046391680798806282941965795189112006647548372143959297200357211511696374035327574135532631591270740892188967459423862195276459827736200852212215198619772343124492384919099608571871065893930095366545513031798286311227771105854859119/690074103400790247528186495232514472519309951412530245498844998772523256449284110317908491319406369969451837432475221144557095677060631968295762842454363674522068355869305518087279716312063503657145169212155937256120572981103676761383161921139866210687001875168951924778348484114431535032814195874770818123946750464809717735659849736037790635602842223389789350699808344627066597684824665799616330723308642511993590875663989317849840631918101689423932478872935986929793372449806226803285061734669041383584027414888960*y^24 - 4059626709343031660781143767443041783935537013496033457365344756975643828329892498853403917485953254272600096693449025693792993707419215648564458779697732536681230636221421674842456598358038348363577226098253970508823997023849677706614612092246198213334676140364537539054540245698004333757620063248350048753748349963283334622068474374317147055103733911183476091180135766602124250640269375069562550404636751591403375417878526156608231482688112941229595436729160803202820100101388513122867913268903257913638609702293517189539/690074103400790247528186495232514472519309951412530245498844998772523256449284110317908491319406369969451837432475221144557095677060631968295762842454363674522068355869305518087279716312063503657145169212155937256120572981103676761383161921139866210687001875168951924778348484114431535032814195874770818123946750464809717735659849736037790635602842223389789350699808344627066597684824665799616330723308642511993590875663989317849840631918101689423932478872935986929793372449806226803285061734669041383584027414888960*y^23 + 25824122510096549755441845059474810419053116078974808753619872049998516132023959959478941818503731927649370934172999301400690917414115931885745988272276346296136208107356448927960720066919212185998496283313348299877620172373164389077498088720406760946850674912545318412454521318534468450261447399517540512589191854692761368942171420752814192268206184990557094632474560547030571704044253134392936296453706946444418928497709687207295227971981306227474575626058265507620927836972692748653711380639803433928851486057287836185/11501235056679837458803108253875241208655165856875504091647416646208720940821401838631808188656772832824197290541253685742618261284343866138262714040906061242034472597821758634787995271867725060952419486869265620935342883018394612689719365352331103511450031252815865412972474735240525583880236597912846968732445841080161962260997495600629843926714037056496489178330139077117776628080411096660272178721810708533226514594399821964164010531968361490398874647882266448829889540830103780054751028911150689726400456914816*y^22 + 3736865897216077549488741273582038663927492627739714062941626236163198202492715324938367526846342709063111136347529910343696828686630159405246726721585170616538759408804891158212898336883039100068054482203308370157613675691550265507739790015321281579905520180015655773347551367626859196621053114609846331036252802061334177091006722628266460981461445055348325854637395417643705842220635230050339256183362132219360121635910531910169253926696104592275708782690815217112203124499363446175989480962370899689788532893756634656357/460049402267193498352124330155009648346206634275020163665896665848348837632856073545272327546270913312967891621650147429704730451373754645530508561636242449681378903912870345391519810874709002438096779474770624837413715320735784507588774614093244140458001250112634616518898989409621023355209463916513878749297833643206478490439899824025193757068561482259859567133205563084711065123216443866410887148872428341329060583775992878566560421278734459615954985915290657953195581633204151202190041156446027589056018276592640*y^21 - 232117408930857124881808126928720014039098793271141840708467807610520943190581389147197907952562296649190730136711507619049889643549873652677122765598764131137614695199593697113325290554482921550221251799344245460806143979099302443577395242750401010867052097446823538268277971498247553751170004714130779580937764092976614676942087816388225702022073226405863077467480895627748604468223524455272912256063683863196847198077667354199915835894180700300491209460090132940565340620287154935774484381368437448447191449658423083077/153349800755731166117374776718336549448735544758340054555298888616116279210952024515090775848756971104322630540550049143234910150457918215176836187212080816560459634637623448463839936958236334146032259824923541612471238440245261502529591538031081380152667083370878205506299663136540341118403154638837959583099277881068826163479966608008397919022853827419953189044401854361570355041072147955470295716290809447109686861258664292855520140426244819871984995305096885984398527211068050400730013718815342529685339425530880*y^20 - 1921576744624939170080712331331334620972710256327174003368279187476447837573801385634972608769614388217861370833648966515937069307966428068358128051369938228373117264091537838914031291266363000680503721377584272909882750783263830996556828672308169841695299958811999900241791880168875983313427043326645635083684029499611274755208800286792594441863428331785040794676198689950137783309959985081737533225470844994641714638915859046910789579217804480223525308603575206499582215933186332954171365141487973942498780702763293910027/230024701133596749176062165077504824173103317137510081832948332924174418816428036772636163773135456656483945810825073714852365225686877322765254280818121224840689451956435172695759905437354501219048389737385312418706857660367892253794387307046622070229000625056317308259449494704810511677604731958256939374648916821603239245219949912012596878534280741129929783566602781542355532561608221933205443574436214170664530291887996439283280210639367229807977492957645328976597790816602075601095020578223013794528009138296320*y^19 + 84597589868686083565470087693482404606813428064692663073380337814592533353576294114806633534896076333574251047128233933305325243545989991128793804988174682342573998968585805355709951751750861109226959280362897739198797167586022093058109061034879251655432847209371176615177802968000381230421032067805787736069360284334376329075874826959962004617489796963299143208926718854409271693971388791942190727578402013437083092772552899511886489603904158651966635105832092888731555517664487854585766780969804637909407622180489111121/276029641360316099011274598093005789007723980565012098199537999509009302579713644127163396527762547987780734972990088457822838270824252787318305136981745469808827342347722207234911886524825401462858067684862374902448229192441470704553264768455946484274800750067580769911339393645772614013125678349908327249578700185923887094263939894415116254241136889355915740279923337850826639073929866319846532289323457004797436350265595727139936252767240675769572991549174394771917348979922490721314024693867616553433610965955584*y^18 + 1758637271102827418454134432257398975501427927371204468078727742890787014492691439868942684759483917900057072391010528106074758871519852050948707469546376048032272562820902791345626133362546080842662995869758428015287394028977956240091131779972473765868486568161907889837593142273201396454056477008584346686898079318969086686853871539876340150212067893082528493533538009338680776053764089007381745028546693623181123850301584999651115284687213786230985842405810765010143707075621360746625492566283412254945442004253570223725/276029641360316099011274598093005789007723980565012098199537999509009302579713644127163396527762547987780734972990088457822838270824252787318305136981745469808827342347722207234911886524825401462858067684862374902448229192441470704553264768455946484274800750067580769911339393645772614013125678349908327249578700185923887094263939894415116254241136889355915740279923337850826639073929866319846532289323457004797436350265595727139936252767240675769572991549174394771917348979922490721314024693867616553433610965955584*y^17 + 5221563081974692443821901848333750048546647341683120922293092988651009727812129525675141669144345305774558000186727909059112298252456382751749844149091208387683958378418095367049502180484098339125715426274658993963532582312936543701098107701301689302318567207774157264596000666390440314787104485355860268437717784756505920169687960703049481524283347393351520039970881941365297710404408632427429655090570578009343418893149710463584853880633137570614440606180000830461659503029174257557056123235742128409061913773187588419/10782407865637347617627913988008038633114217990820785085919453105820675882020064223717320176865724530772684959882425330383704619954072374504621294413349432414407318060457898720113745567375992244642893268939936519626883952829744949396611905017810409541984404299514873824661695064287992734887721810543294033186667976012651839619685152125590478681294409740465458604684505384797915588825385403119005167551697539249899857432249833091403759873720338897248944982389624795778021444528222293801329089604203771618500428357640*y^16 - 82073469255760311455897815104122854336667244552756140322321351524277357514138323122229320776682633507342900747503615241931597318270150758053794375855110332645218291092798791316828953868219020755573106002246337214909567522530258575529910309040890917021120937157731397211928302251524579533043194406428980274040156337793769861409471378604218553309786037803697618464842548703223344222937574417338652554221237217957438616917948825359104902161973654351203208456758978926129822969346943597279333642898873385256898528671452509171/23002470113359674917606216507750482417310331713751008183294833292417441881642803677263616377313545665648394581082507371485236522568687732276525428081812122484068945195643517269575990543735450121904838973738531241870685766036789225379438730704662207022900062505631730825944949470481051167760473195825693937464891682160323924521994991201259687853428074112992978356660278154235553256160822193320544357443621417066453029188799643928328021063936722980797749295764532897659779081660207560109502057822301379452800913829632*y^15 - 157143611168098408903798298493617846885186255334496069515230171059400239505679247473889930861143177326589948692414221306601341309168267239016777274221183222199223614701264749847379861120481920114521840110073086682457509917519889760300305028033903347154591431089005218179622177421163204587307883783748086376007403806227858639922942396723740377362110328666195277615729386169949482962345759218171976402047396477284001648566397199570013610408335386296570944948030184799036892177385573508932832532156692563246409923878481443157/276029641360316099011274598093005789007723980565012098199537999509009302579713644127163396527762547987780734972990088457822838270824252787318305136981745469808827342347722207234911886524825401462858067684862374902448229192441470704553264768455946484274800750067580769911339393645772614013125678349908327249578700185923887094263939894415116254241136889355915740279923337850826639073929866319846532289323457004797436350265595727139936252767240675769572991549174394771917348979922490721314024693867616553433610965955584*y^14 + 82869432662334555875140348149847467039789588423074649177126735833457233850845811980577074543415097519333128571146406199877016661657146554518551883035589444138517292292862737329578314427450712766509430120593270735440256249592111462123082559882755749456930373616908691103728074177610805268050832038018292870533877741568200265236688000031881171748339665809837435012622686452825077938782220463947812681491011189764376954079939942151439588360674293745562466143646168663539974461253895034922750962899137610670288847986354445519/57506175283399187294015541269376206043275829284377520458237083231043604704107009193159040943283864164120986452706268428713091306421719330691313570204530306210172362989108793173939976359338625304762097434346328104676714415091973063448596826761655517557250156264079327064862373676202627919401182989564234843662229205400809811304987478003149219633570185282482445891650695385588883140402055483301360893609053542666132572971999109820820052659841807451994373239411332244149447704150518900273755144555753448632002284574080*y^13 + 29276686156162410810853288604604536835316341205844732873290683098635230273195253092489935939841012013046358702434824962489673597819557483631499358434762306550803480824456215575623504008807415576495399929420980170121322520011025025466014521409562993719817585487120147173322383338183828281411289854687477955983373314259877702074284802092544800736311789600578500510321242612333261291002083060588241485029217991743342283770495847427784271668475130783349936294316662861261135452388724208120377007780492761197733611018836596521/92009880453438699670424866031001929669241326855004032733179333169669767526571214709054465509254182662593578324330029485940946090274750929106101712327248489936275780782574069078303962174941800487619355894954124967482743064147156901517754922818648828091600250022526923303779797881924204671041892783302775749859566728641295698087979964805038751413712296451971913426641112616942213024643288773282177429774485668265812116755198575713312084255746891923190997183058131590639116326640830240438008231289205517811203655318528*y^12 - 561420550967982299303142431952150728342409757308748822331933551976475142721755826793496015372078570932228293015339388245964526911306103457419443842764258666696619824457083879686662202427245876530864350555014502996311929924113227007590439301794084488736762028193994086517946517973117107706571004307231867895712388205434946606453403004927960209480215965648179397009805655971237605800148051649169291757900654797158228116058142589129473187319127427889930817739295238832474668763201548044515722874452847853632978920231315918781/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^11 - 1660624248654450743022735651936760307113195323521754097190220578084816134163257335448150747391894820062536536075811037510358390253058353791968110993652235275060005714530182402831301241595832589046420242924120743243565503290242245452395267195962289854772553592183794808328444586005145816353501757064061393008705303444956125226360514322829866114976520855096755352762022946961925139929859305549135563873713096391760036971502054122680428363555696885172427831345866750257309466384106554491804604242975620676706938054725823023/15334980075573116611737477671833654944873554475834005455529888861611627921095202451509077584875697110432263054055004914323491015045791821517683618721208081656045963463762344846383993695823633414603225982492354161247123844024526150252959153803108138015266708337087820550629966313654034111840315463883795958309927788106882616347996660800839791902285382741995318904440185436157035504107214795547029571629080944710968686125866429285552014042624481987198499530509688598439852721106805040073001371881534252968533942553088*y^10 + 20964776019144031732259449854431434441092110335169246368259063940760305796842930442541702062325181544557981397530182936266336832836410707921885234985998017510725494071888722950907449959957738511141785435772438242516715345537361942742235795728192862943335202860102965155669111804174366504144432266434668466635722190775988580405749862591736175262198320721113738769412538956829031363383547409252691718734785978294322386210171937098838133936422564758538695602949179456933005866898786398104024541780245861959789952535693356379/276029641360316099011274598093005789007723980565012098199537999509009302579713644127163396527762547987780734972990088457822838270824252787318305136981745469808827342347722207234911886524825401462858067684862374902448229192441470704553264768455946484274800750067580769911339393645772614013125678349908327249578700185923887094263939894415116254241136889355915740279923337850826639073929866319846532289323457004797436350265595727139936252767240675769572991549174394771917348979922490721314024693867616553433610965955584*y^9 + 3523713603356046139371638161753586515946239239016598459794499139072193960048681834272740712685176491004064398837862323603165926120667590270578338231294042337583755534990333965615439704382733482702270505648863766501431122378579562236707083884272478636356791218324706235582186134561558499217887042586064905908326655467608740728789024249534330902708881495515243262251156600870913463544512223759151368324361364441989891380574987743357076055835348371236047903848036502464672217355160892813435829389841367185009274713133939049/153349800755731166117374776718336549448735544758340054555298888616116279210952024515090775848756971104322630540550049143234910150457918215176836187212080816560459634637623448463839936958236334146032259824923541612471238440245261502529591538031081380152667083370878205506299663136540341118403154638837959583099277881068826163479966608008397919022853827419953189044401854361570355041072147955470295716290809447109686861258664292855520140426244819871984995305096885984398527211068050400730013718815342529685339425530880*y^8 - 11700323571284155995014215104339161557227415279796642438482687864499917579687096666475878410501583551878580469499051082689938178445671425877081447910476135161018917617946249001294998320821035694001616385658523656232390617018975415488731450983367529518601218130950619090903571910631325212434982204704657645498974343562571822862072445654417451905999616968716803479380233425483632918059716906366214321204984218281989437419568785130471494222958431814396391374433154663433901196689873504083832797362656351008455851528422662429/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^7 - 164718390285929210269119958989536951510124866918184571121987656888051010544962425090666333136393041930652934560893773835651617852298420797356488155891994060383188376576711201168572479907243373820953310528068199670840437601543841928579417543418138727106998950474213895371616604887425891396184904799153108066771364156779385939369717057278700461805551445852518707178511364728269698458504597837835746653862640320040476198157976884290185144918048019855179112413455607803409406556734243140455865673565003499796947905234517587/57506175283399187294015541269376206043275829284377520458237083231043604704107009193159040943283864164120986452706268428713091306421719330691313570204530306210172362989108793173939976359338625304762097434346328104676714415091973063448596826761655517557250156264079327064862373676202627919401182989564234843662229205400809811304987478003149219633570185282482445891650695385588883140402055483301360893609053542666132572971999109820820052659841807451994373239411332244149447704150518900273755144555753448632002284574080*y^6 + 641060986576735599018576617969121047818291184848392518970978009912141257634909787258772502802693614285012582358254492813344969694905042905608575536560389036498146442993642986700836356364259521862648566116234068916331174134136003794704741464015089444717922784890566010666287554981802092512698539052513093485042147611270790292260029220500360889600686026769896128363778373045692567174248138796235464266282943205366426088726427546236200263027023804082156702377832797373362195701177672095987134213827026067193892212280172097/1380148206801580495056372990465028945038619902825060490997689997545046512898568220635816982638812739938903674864950442289114191354121263936591525684908727349044136711738611036174559432624127007314290338424311874512241145962207353522766323842279732421374003750337903849556696968228863070065628391749541636247893500929619435471319699472075581271205684446779578701399616689254133195369649331599232661446617285023987181751327978635699681263836203378847864957745871973859586744899612453606570123469338082767168054829777920*y^5 + 13834977419226568693162385081447107136449489744618141751670870098084718458261618165308215162463816759277293286009754826649327203759889629190258219817711223349471797634154613758376829095046951246616846452384956426044939480453777846086055288246678364044773935890051078613008039824273048192404420094506658705863624289804010987242014144148276985040187494722495042009100001111980118413347115325764548737364444048424766191520144483705131845717531067270711689774524911761498837711144348691347654076267651020498484257423878419/76674900377865583058687388359168274724367772379170027277649444308058139605476012257545387924378485552161315270275024571617455075228959107588418093606040408280229817318811724231919968479118167073016129912461770806235619220122630751264795769015540690076333541685439102753149831568270170559201577319418979791549638940534413081739983304004198959511426913709976594522200927180785177520536073977735147858145404723554843430629332146427760070213122409935992497652548442992199263605534025200365006859407671264842669712765440*y^4 - 1155893220355875864362712626173863416836488981589674709017955756524141691519355628273307764782941979059475982688930279583365189284941725581539711943030179862526100747937013057697669641952266855953169325665781448231107001615306208555559525980552338448383041421097919112850135510435994429073366537405289870004714665712654182941453578803551745108579496889704157826696672717189328959807872733575345301290503683287475238668875181951328890280740446175411872077100404272034586834852523895372512489367500783221498808068928267/138014820680158049505637299046502894503861990282506049099768999754504651289856822063581698263881273993890367486495044228911419135412126393659152568490872734904413671173861103617455943262412700731429033842431187451224114596220735352276632384227973242137400375033790384955669696822886307006562839174954163624789350092961943547131969947207558127120568444677957870139961668925413319536964933159923266144661728502398718175132797863569968126383620337884786495774587197385958674489961245360657012346933808276716805482977792*y^3 - 1062166582662632708266833641245674306022030063322002165284363868144194424784593455349515531206232934512169608671393922517080100882850418590167920767040612548431171090164814591345523930112197245234681752095644357990445366483001470696799789262276788379815091916900399436850905339659918373841449610080706596190970639521738758544170808438414969469765368435337003255719312731300684676721928851431169713941545044904455714680387029786787590674481812146096262263609381521125694640180886741197411345696721219018400722284557201/230024701133596749176062165077504824173103317137510081832948332924174418816428036772636163773135456656483945810825073714852365225686877322765254280818121224840689451956435172695759905437354501219048389737385312418706857660367892253794387307046622070229000625056317308259449494704810511677604731958256939374648916821603239245219949912012596878534280741129929783566602781542355532561608221933205443574436214170664530291887996439283280210639367229807977492957645328976597790816602075601095020578223013794528009138296320*y^2 - 190179291995283425962776014423161839781380868570426026238040012582668812556187843590725850596934430746484586119877781977209125388206088868133982393504864763560472290541089200333978127427855087832510424964263747708580478468756719645853453800781487052446025445203727355408429168934547297421297714545797344338121517550966563601148716797438030640401516979539679931722729246994981596988656231689133009870090085295600734356132184722901432123952327043712461427761918813308753658255255351578034006290493967214738338267537/34503705170039512376409324761625723625965497570626512274942249938626162822464205515895424565970318498472591871623761057227854783853031598414788142122718183726103417793465275904363985815603175182857258460607796862806028649055183838069158096056993310534350093758447596238917424205721576751640709793738540906197337523240485886782992486801889531780142111169489467534990417231353329884241233289980816536165432125599679543783199465892492031595905084471196623943646799346489668622490311340164253086733452069179201370744448*y + 1204632846190555867479944031809023770128879355575278332773537630646829627026953750563635442788363090534604460726073107316051171803564206598792249772346766790871331033551665263150447724986503783395921813554329262006881414290002999129313677215236009908644947899101086666105079568918118769435493188351450120794534605521378777270511912786877154189858047751603637260027460172210197749010882104081682113334792067442480433010366708275002147414513754656705920667223243380062486536510983421615024071320335208532889459914533/30669960151146233223474955343667309889747108951668010911059777723223255842190404903018155169751394220864526108110009828646982030091583643035367237442416163312091926927524689692767987391647266829206451964984708322494247688049052300505918307606216276030533416674175641101259932627308068223680630927767591916619855576213765232695993321601679583804570765483990637808880370872314071008214429591094059143258161889421937372251732858571104028085248963974396999061019377196879705442213610080146002743763068505937067885106176