# Manifold: H T Link Exterior K9a9 # Number of Tetrahedra: 11 # Number Field x^20 + 13/17*x^19 + 28/17*x^18 - 54/17*x^17 - 246/17*x^16 - 55/17*x^15 + 378/17*x^14 + 192/17*x^13 - 129/17*x^12 + 503/17*x^11 - 788/17*x^10 + 430/17*x^9 - 452/17*x^8 + 162/17*x^7 - 6/17*x^6 + 15/17*x^5 + 38/17*x^4 - 8/17*x^3 - 3/17*x^2 - 2/17*x - 4/17 # Approximate Field Generator -0.127157033799664 - 0.693439132398110*I # Shape Parameters 2453975631489583511852431376907/454657404248598767093530658069*y^19 + 930532529341645791150994360192/454657404248598767093530658069*y^18 + 1450565966114492970815828783900/454657404248598767093530658069*y^17 - 10314845068341284604363651348313/454657404248598767093530658069*y^16 - 34206905359748824956950250091985/454657404248598767093530658069*y^15 + 13029121800372400826397274270929/454657404248598767093530658069*y^14 + 84237181520327912658985151939991/454657404248598767093530658069*y^13 + 2122036398367997395167612322188/454657404248598767093530658069*y^12 - 86989107778444942848822779449347/454657404248598767093530658069*y^11 + 70354039365449526171411867359914/454657404248598767093530658069*y^10 - 92396120423147284810511399534124/454657404248598767093530658069*y^9 + 54085018557297975425031004783512/454657404248598767093530658069*y^8 - 11410920159237213028546627223079/454657404248598767093530658069*y^7 + 7474835074366784538536802224640/454657404248598767093530658069*y^6 + 6605011037764746385043336563310/454657404248598767093530658069*y^5 - 5035116288134809194014995806869/454657404248598767093530658069*y^4 - 1090377093435317291813910897017/454657404248598767093530658069*y^3 - 779876574413306015047812205302/454657404248598767093530658069*y^2 - 209633761915508504647716243808/454657404248598767093530658069*y + 679755867724004338382735244645/454657404248598767093530658069 -122312595432393292668039814253/3637259233988790136748245264552*y^19 - 8375730719284356483924605789369/3637259233988790136748245264552*y^18 - 1016457596274531802483808796156/454657404248598767093530658069*y^17 - 4376216618537529735048262338843/1818629616994395068374122632276*y^16 + 15030068918630056323545634077643/1818629616994395068374122632276*y^15 + 134184747648917918013049533241619/3637259233988790136748245264552*y^14 + 14392163685984537825370913214939/1818629616994395068374122632276*y^13 - 66254060167497438580756100267913/909314808497197534187061316138*y^12 - 147785926035638997934563421679891/3637259233988790136748245264552*y^11 + 178554422773640025059302550871581/3637259233988790136748245264552*y^10 - 19379084032109394870764604861497/454657404248598767093530658069*y^9 + 137217448560148628837244367108031/1818629616994395068374122632276*y^8 + 6650267054594615427069158191763/909314808497197534187061316138*y^7 - 35078377932506715564796569179641/1818629616994395068374122632276*y^6 + 38248491489577612609564647374903/1818629616994395068374122632276*y^5 - 127293120524763085602586672300803/3637259233988790136748245264552*y^4 + 15485020791048811954439344190409/1818629616994395068374122632276*y^3 - 3125172976419809376748905347437/909314808497197534187061316138*y^2 + 4426980114186723940103314810823/3637259233988790136748245264552*y + 5622468740547525817414442410973/1818629616994395068374122632276 905664601349212744674507273526/454657404248598767093530658069*y^19 - 521476370440379016963541762559/454657404248598767093530658069*y^18 - 124339453853206215780119359072/454657404248598767093530658069*y^17 - 5095911934106983629851012220119/454657404248598767093530658069*y^16 - 10312406744067319669891651145166/454657404248598767093530658069*y^15 + 16455153685173668806901191169895/454657404248598767093530658069*y^14 + 31809683969776200375702916535666/454657404248598767093530658069*y^13 - 19946399041165542241568852788326/454657404248598767093530658069*y^12 - 32782271740025164004984872357035/454657404248598767093530658069*y^11 + 47497685053500971034506122445247/454657404248598767093530658069*y^10 - 65149922175103454897054196497070/454657404248598767093530658069*y^9 + 38806542857223380913321103085388/454657404248598767093530658069*y^8 - 28744559577926021913346757614968/454657404248598767093530658069*y^7 + 8617648815575163668470458101693/454657404248598767093530658069*y^6 + 3103637760346706440911395898112/454657404248598767093530658069*y^5 + 1624677666491684790725869118800/454657404248598767093530658069*y^4 + 6336389857670935683491222798516/454657404248598767093530658069*y^3 + 1953994207684837773618760591702/454657404248598767093530658069*y^2 + 2055437857099377208396744158123/454657404248598767093530658069*y + 373255215086756754327962043367/454657404248598767093530658069 -956668469770473677979119492948/454657404248598767093530658069*y^19 - 3185545637784651618542346283279/454657404248598767093530658069*y^18 - 2506221773669484790175426466224/454657404248598767093530658069*y^17 + 1588263290803482241588433134876/454657404248598767093530658069*y^16 + 24158400572078727238649733422737/454657404248598767093530658069*y^15 + 37302009232535651562176813157405/454657404248598767093530658069*y^14 - 34300926598798227313227107702361/454657404248598767093530658069*y^13 - 95041907767147380080866972095639/454657404248598767093530658069*y^12 + 5137389048713832278909235594888/454657404248598767093530658069*y^11 + 58682975996412692259205302687415/454657404248598767093530658069*y^10 - 26009642060794628627438563804442/454657404248598767093530658069*y^9 + 68198035599541185896921906477204/454657404248598767093530658069*y^8 - 28648892184577145869350886500424/454657404248598767093530658069*y^7 + 2294432388483287391333841466751/454657404248598767093530658069*y^6 - 7137187379153676181602995344776/454657404248598767093530658069*y^5 - 7449130275797517277377853762970/454657404248598767093530658069*y^4 + 2896680885118456266767552234397/454657404248598767093530658069*y^3 + 1540574020386128434392320070169/454657404248598767093530658069*y^2 + 948700422019860193514715645234/454657404248598767093530658069*y + 322182993653211290292318537096/454657404248598767093530658069 -636746650422981877861709997881/454657404248598767093530658069*y^19 - 1563179213027009697188388948931/454657404248598767093530658069*y^18 - 1506994429491400208343006073387/454657404248598767093530658069*y^17 + 1350464059861279180934897622184/454657404248598767093530658069*y^16 + 13781506605628619848103561321307/454657404248598767093530658069*y^15 + 17381841261822535557587342587899/454657404248598767093530658069*y^14 - 18907842768442278702797023711397/454657404248598767093530658069*y^13 - 44309837114012132000207842553368/454657404248598767093530658069*y^12 + 835310483373556480819177827005/454657404248598767093530658069*y^11 + 17607510304719395493593681156370/454657404248598767093530658069*y^10 + 1864371167650336099753499377553/454657404248598767093530658069*y^9 + 25653934570020749810855912500799/454657404248598767093530658069*y^8 - 5696319214479384110338792705321/454657404248598767093530658069*y^7 - 218998067887546748805166937156/454657404248598767093530658069*y^6 - 4557341996037704637606571002939/454657404248598767093530658069*y^5 - 2366163716263996019850352258853/454657404248598767093530658069*y^4 - 697226548450806715036970790850/454657404248598767093530658069*y^3 + 1764533836304660638369825203110/454657404248598767093530658069*y^2 - 271290660599553174535250647016/454657404248598767093530658069*y + 500350111901455627178999197245/454657404248598767093530658069 271301968405625141521482489161/909314808497197534187061316138*y^19 - 909534039107990645626591647527/909314808497197534187061316138*y^18 - 92110575321736835135668394076/454657404248598767093530658069*y^17 - 661693451857655997085007529538/454657404248598767093530658069*y^16 + 568516041877813227282532896284/454657404248598767093530658069*y^15 + 16392352648194513449257231628641/909314808497197534187061316138*y^14 + 1342253855049184768738049393531/454657404248598767093530658069*y^13 - 20458193926548384009087854161839/454657404248598767093530658069*y^12 - 15419307025002497086748487962751/909314808497197534187061316138*y^11 + 50640662144636608271581782399829/909314808497197534187061316138*y^10 - 14274214619253552740510340376350/454657404248598767093530658069*y^9 + 22869089062231236021093756556887/454657404248598767093530658069*y^8 - 8790935430350402946993433459899/454657404248598767093530658069*y^7 + 229939830322166487688654481429/454657404248598767093530658069*y^6 - 348065514869052615241211386467/454657404248598767093530658069*y^5 - 14134360687057942564005171793501/909314808497197534187061316138*y^4 + 1507362976837915325476490004426/454657404248598767093530658069*y^3 - 273500418668512578008872499395/454657404248598767093530658069*y^2 + 973358867358157251190835102421/909314808497197534187061316138*y + 884822124404297158921903392474/454657404248598767093530658069 5643937405689286497341502898863/3637259233988790136748245264552*y^19 - 606146721656522864281500193183/3637259233988790136748245264552*y^18 + 3149139947584613311455490367797/1818629616994395068374122632276*y^17 - 11636580341197671240916039986689/1818629616994395068374122632276*y^16 - 31306619617292937503432253917015/1818629616994395068374122632276*y^15 + 53096254934483090811902642231611/3637259233988790136748245264552*y^14 + 30760605066946383040270453596207/909314808497197534187061316138*y^13 - 20698180293114023941356925726053/909314808497197534187061316138*y^12 - 90610151591522327282592675941255/3637259233988790136748245264552*y^11 + 281590716439401214200410700667763/3637259233988790136748245264552*y^10 - 186932418500696612450725393060493/1818629616994395068374122632276*y^9 + 169493592284860297736354301257281/1818629616994395068374122632276*y^8 - 33916996437965266259252969073261/454657404248598767093530658069*y^7 + 75243726154159776435837708058431/1818629616994395068374122632276*y^6 - 32094314155120488342907094746371/1818629616994395068374122632276*y^5 + 16528509022525384806541122019597/3637259233988790136748245264552*y^4 + 1438951160518866157642253744829/909314808497197534187061316138*y^3 - 1296238893272516165612095800341/909314808497197534187061316138*y^2 + 3886690952189939064528711641667/3637259233988790136748245264552*y - 197592661219704363311147806792/454657404248598767093530658069 258645009655277725351575244195/909314808497197534187061316138*y^19 - 828605002892906375946610701545/909314808497197534187061316138*y^18 - 222889829674649390083143655777/454657404248598767093530658069*y^17 - 974401848930165071332486607147/454657404248598767093530658069*y^16 - 38076904735347895434600461846/454657404248598767093530658069*y^15 + 15230341167141953235549223205959/909314808497197534187061316138*y^14 + 4154990421903088354086504451810/454657404248598767093530658069*y^13 - 14575533486218426947257191974190/454657404248598767093530658069*y^12 - 18016678763879442014246840357823/909314808497197534187061316138*y^11 + 30520733339041632118050592894417/909314808497197534187061316138*y^10 - 16296948665149580423602452403345/454657404248598767093530658069*y^9 + 21685498630809084965825263562577/454657404248598767093530658069*y^8 - 6353135149158925992806854615977/454657404248598767093530658069*y^7 + 1607526163983835981382633200742/454657404248598767093530658069*y^6 + 815330336809344863882744399291/454657404248598767093530658069*y^5 - 9937767088803750014111053907079/909314808497197534187061316138*y^4 + 1074006463586362960383523214064/454657404248598767093530658069*y^3 - 455654033862987650666584701480/454657404248598767093530658069*y^2 + 430712962093439179419844010309/909314808497197534187061316138*y + 699654448295745490943652980702/454657404248598767093530658069 2561589519507328466520441336527/454657404248598767093530658069*y^19 + 422218358887084242491459038820/454657404248598767093530658069*y^18 + 776439616602169031995188549714/454657404248598767093530658069*y^17 - 11702668891099926676016983185298/454657404248598767093530658069*y^16 - 33963470769703108680204182432247/454657404248598767093530658069*y^15 + 23048639643658539942773950359399/454657404248598767093530658069*y^14 + 93903101140162565272543530015554/454657404248598767093530658069*y^13 - 13478807503807988517282374369830/454657404248598767093530658069*y^12 - 109724663613788091831775341810307/454657404248598767093530658069*y^11 + 80414089813721827875484561244684/454657404248598767093530658069*y^10 - 96340715643329026442108616428049/454657404248598767093530658069*y^9 + 71002244770021629142976481021972/454657404248598767093530658069*y^8 - 16111830629572848711021638400813/454657404248598767093530658069*y^7 + 15789677582618811532367959001422/454657404248598767093530658069*y^6 + 1095587048190934019624839202319/454657404248598767093530658069*y^5 - 4996993750866208646919141122031/454657404248598767093530658069*y^4 - 1975415027563281747129191800409/454657404248598767093530658069*y^3 - 1378425603253887295716498395181/454657404248598767093530658069*y^2 + 568160242513965831549034150457/454657404248598767093530658069*y + 573204133587069903493018860859/454657404248598767093530658069 1629656272720091044006008985035/1818629616994395068374122632276*y^19 + 233423370851201751059460266487/1818629616994395068374122632276*y^18 - 630151454143319161703320747002/454657404248598767093530658069*y^17 - 4593416340020071004028811923929/909314808497197534187061316138*y^16 - 12214193428740480922694821881023/909314808497197534187061316138*y^15 + 26346091210789397421160134265543/1818629616994395068374122632276*y^14 + 51317419278682525178202945954405/909314808497197534187061316138*y^13 - 3635269574080067306653486033085/454657404248598767093530658069*y^12 - 160123422872229867720414448944683/1818629616994395068374122632276*y^11 + 35305671364268973948549868920173/1818629616994395068374122632276*y^10 + 3226151486481798344018170860828/454657404248598767093530658069*y^9 - 19122236538813926291430785391773/909314808497197534187061316138*y^8 + 27458710673513692321914876611430/454657404248598767093530658069*y^7 - 25305423254091362004924607296715/909314808497197534187061316138*y^6 + 10628857622414635675100133344155/909314808497197534187061316138*y^5 - 6336153874583897117315562373191/1818629616994395068374122632276*y^4 - 8877817734788016441438230653933/909314808497197534187061316138*y^3 + 2423854911711224917974081748641/454657404248598767093530658069*y^2 - 3913842309182492914607851628313/1818629616994395068374122632276*y + 1974547253308935923767885199493/909314808497197534187061316138 -408264701274398172810988251945/1818629616994395068374122632276*y^19 + 244757905168242733959075172719/1818629616994395068374122632276*y^18 - 104557222974535958157546155757/454657404248598767093530658069*y^17 + 1097872122864979930330422095073/909314808497197534187061316138*y^16 + 1771879260431020317079909494805/909314808497197534187061316138*y^15 - 6343959928771657196496473160337/1818629616994395068374122632276*y^14 - 4561769415928489376541935440025/909314808497197534187061316138*y^13 + 2054181464997920184120225744701/454657404248598767093530658069*y^12 + 11562516375873450959533383168349/1818629616994395068374122632276*y^11 - 14915988391577044591699727135307/1818629616994395068374122632276*y^10 + 6114196000411022510527011556922/454657404248598767093530658069*y^9 - 24489053020041866277558239667781/909314808497197534187061316138*y^8 + 11712847334371957785359862112561/454657404248598767093530658069*y^7 - 17271109748202330170165930119819/909314808497197534187061316138*y^6 + 13053124336993586893113569282107/909314808497197534187061316138*y^5 - 6569758237678033427588928691279/1818629616994395068374122632276*y^4 + 157346511755597441125215005217/909314808497197534187061316138*y^3 + 372156888721173725619443463041/454657404248598767093530658069*y^2 - 5136479386405125332691255080953/1818629616994395068374122632276*y + 1180453477148266686889132017437/909314808497197534187061316138 # A Gluing Matrix {{0,0,0,-1,-1,0,0,0,0,0,1},{0,1,-1,0,0,-1,-1,0,-1,0,0},{0,-1,0,-1,-1,1,0,0,-1,0,1},{-1,0,-1,1,-1,0,0,0,-1,0,0},{-1,0,-1,-1,-1,0,0,0,-1,0,1},{0,-1,1,0,0,2,1,1,1,0,0},{0,-1,0,0,0,1,1,0,0,0,0},{0,0,0,0,0,1,0,1,0,0,0},{0,-1,-1,-1,-1,1,0,0,0,1,0},{0,0,0,0,0,0,0,0,1,1,-1},{1,0,1,0,1,0,0,0,0,-1,1}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, -1, 0, -1, -1, 2, 1, 1, 0, 1, 1} # f Combinatorial flattening {1, 2, 1, 1, 1, 1, 2, 0, -1, 4, 2} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -81521289326406489752986228325868/454657404248598767093530658069*y^19 - 60375493674750802558494182110100/454657404248598767093530658069*y^18 - 93241754183010315597022251925344/454657404248598767093530658069*y^17 + 293628884113640997767288751983018/454657404248598767093530658069*y^16 + 1227175278324587269498050975595786/454657404248598767093530658069*y^15 + 104294611668164796118346685819049/454657404248598767093530658069*y^14 - 2409943352489394023116802286847130/454657404248598767093530658069*y^13 - 978127763518613906177800067252615/454657404248598767093530658069*y^12 + 3387440759141615862209135794594247/909314808497197534187061316138*y^11 - 3904398861748255897051652223336405/909314808497197534187061316138*y^10 + 3221733209662823196804215658808455/454657404248598767093530658069*y^9 - 2188233590471872675945579262030273/909314808497197534187061316138*y^8 + 1206928722778018494650357176008553/909314808497197534187061316138*y^7 - 503923256791792556495301484562951/909314808497197534187061316138*y^6 - 709842935250588129002760150406733/909314808497197534187061316138*y^5 + 53254356417262047221245090835153/909314808497197534187061316138*y^4 - 15340250155979375517346770401718/454657404248598767093530658069*y^3 + 13598523745212434721438053356971/454657404248598767093530658069*y^2 + 72712973959723522569244655878607/909314808497197534187061316138*y + 814791936439745714307760089996/454657404248598767093530658069 # 2 Loop Invariant 2710628560913950801918247515237319487510848819984075352013355548661093849473005481/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^19 - 323384095869635498752018819508745875526001823073159260745574425985052781863351311/613920171223387083580665519605861065411169780813720246157898945437214636404820858*y^18 - 96577762054530145362447969773608561894109749834955070437192479980752180907699389/188898514222580641101743236801803404741898394096529306510122752442219888124560264*y^17 - 2156371341356330046000271739725397128434583428020602835816804137347658822708941971/920880256835080625370998279408791598116754671220580369236848418155821954607231287*y^16 - 3540079931919903850117128974852669101401581374454749451535339427495307808268165019/1227840342446774167161331039211722130822339561627440492315797890874429272809641716*y^15 + 95603125816032820947884597483412761504609888256798497040925547831710617394330416199/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^14 + 121450423744433724090241847045295920286774980222531217772595089401385616366854056581/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^13 - 19600553995913804052113755932099539834570947097535670877802126773573208697270284262/920880256835080625370998279408791598116754671220580369236848418155821954607231287*y^12 - 208278086001452849363997615358984653422785097576974321938182414598938039995037578169/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^11 + 8028818650157072099017734591896361083100182429585901117171450431114938654016526240/306960085611693541790332759802930532705584890406860123078949472718607318202410429*y^10 - 166030763183797039134005527011848080038786237351212463810905140624710758469473579023/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^9 + 46559113372562139757515987816871195373751498094866120437224960047104673079710038257/1841760513670161250741996558817583196233509342441160738473696836311643909214462574*y^8 + 1413128478032346582518154516213944712157242378138772451715063094166815477590018361/1841760513670161250741996558817583196233509342441160738473696836311643909214462574*y^7 - 1787264990114369291081017675027762638060353700438700646498274439331176646530708066/920880256835080625370998279408791598116754671220580369236848418155821954607231287*y^6 + 9385580058590829359140529203266559294215430210577749953042335991352440607896030541/3683521027340322501483993117635166392467018684882321476947393672623287818428925148*y^5 - 39218539759097417587180237823674944007226692080966444605109678509692457994193056053/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^4 - 4021304285612710098742024995508266829890999344511360758237580173346211930901057999/7367042054680645002967986235270332784934037369764642953894787345246575636857850296*y^3 + 1650882548518293648734915508475730682212580750323814222675224329880134739679509801/3683521027340322501483993117635166392467018684882321476947393672623287818428925148*y^2 - 67365061444683759075398939300279692603814925764845408404442311049117307175347635/566695542667741923305229710405410214225695182289587919530368257326659664373680792*y + 2965890664274425016636209734529754929325575439761134406983545605564066021980793631/3683521027340322501483993117635166392467018684882321476947393672623287818428925148 # 3 Loop Invariant -87586606122610248476467806435150751038539398208522056697075129973394485803941339884290083017366312922143307/255229403356805932333357118316954531420146166410502615389652681634928567537385319336896549035432146008319712*y^19 + 8861445019531422705484036248646046708601199075455638026641448126757193030990582346603353136600122988168909/255229403356805932333357118316954531420146166410502615389652681634928567537385319336896549035432146008319712*y^18 - 1385590525647054761900910455417058958115039148655244152971399124077598091285915985826798613032843558032119/4908257756861652544872252275326048681156657046355819526724090031440933991103563833401856712219848961698456*y^17 + 192972843309175912698406168742192914089956108146954438330542886951061820920412583799344463302815329482424483/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^16 + 509088089515585462781133529389457149363095019545219597011347506342929251337575536831907295433135261079490593/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^15 - 902664653845752049141924799162648459245425519447782646096644704549888456070154831083991286150611025504483971/255229403356805932333357118316954531420146166410502615389652681634928567537385319336896549035432146008319712*y^14 - 1157679721433814001718764491040564508558937855749061603569897284366643525920863666580293568664356243323430765/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^13 + 276518746177239252780035582322196840554217871562881757616003468854957357292404934085473860160126595000351445/63807350839201483083339279579238632855036541602625653847413170408732141884346329834224137258858036502079928*y^12 + 157336658179915245113037324533809671711810570694246917327151752347827054686011783963101188501667465982759639/19633031027446610179489009101304194724626628185423278106896360125763735964414255333607426848879395846793824*y^11 - 61741320278937707019210960456472525373687541055067134504247657462797173732631873527728432527172894426362285/4184088579619769382514051119950074285576166662467255989994306256310304385858775726834369656318559770628192*y^10 + 1395936079903007236434819728007051370952059883911507693587763250878161226703241755790972843231534466141529905/63807350839201483083339279579238632855036541602625653847413170408732141884346329834224137258858036502079928*y^9 - 2467188115148270854172116622995140575597246916081513885385857875931579194445463339144670972804607099778842719/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^8 + 758930132047510435022740831392777394037751522469599081171170780117297989272617382960928108493529301402812763/63807350839201483083339279579238632855036541602625653847413170408732141884346329834224137258858036502079928*y^7 - 811244733972650662082818218921685069000508959698611233882231112368900703880524166263879645088039978310395111/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^6 + 14974191486179056320202201351874203232276828912112257684691605034046467291308325083923033301443488541759329/9816515513723305089744504550652097362313314092711639053448180062881867982207127666803713424439697923396912*y^5 + 125429734500128928212352308862238584027415718137337530167528813606750080317348545150281552164210241087785403/255229403356805932333357118316954531420146166410502615389652681634928567537385319336896549035432146008319712*y^4 - 46785275030357752401192674453757452715927352170960480930832885490771194484379530747583311746586314996113971/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856*y^3 + 23601637012682380619844009833888570411253329606870125199341956092332770458760967782145334018121180370495525/63807350839201483083339279579238632855036541602625653847413170408732141884346329834224137258858036502079928*y^2 - 29501671906613012007333218932889900567268701514726826023955993246352231860457138555639847880042878703325935/255229403356805932333357118316954531420146166410502615389652681634928567537385319336896549035432146008319712*y + 933188896090226656748670488261386418262743638320040220392987899415302908685564293998814743652092245868089/127614701678402966166678559158477265710073083205251307694826340817464283768692659668448274517716073004159856 # 4 Loop Invariant -266506111033993681353948796660622646879516484428243941290080270681944754058997288129105397587867164855132851260469574200855308884920653529248861811095420135459/2385928897590831913277265758100567878266951959904595070664710408723473014731615143097319632257955449328497982059323559418388299513624442589412094780512192309120*y^19 - 673840607987497392113311036640768896413536940573152711082971300910288337268292977004320495112125245766404808197868999331205013482611327863662043074684074763/24853426016571165763304851646880915398614082915672865319424066757536177236787657740597079502687035930505187313117953743941544786600254610306375987297002003220*y^18 - 64746696806104190343496887509997352921414586434897254578618211508510390525118412532296869371464146591242158665098728921448545995726657305959439000212450648391/265103210843425768141918417566729764251883551100510563407190045413719223859068349233035514695328383258721998006591506602043144390402715843268010531168021367680*y^17 + 125496825667747616979491385284966769813363633631216222713755739825836174087035893962874311632516562648762174400111428142344736333195116006406364308834730240837/298241112198853989159658219762570984783368994988074383833088801090434126841451892887164954032244431166062247757415444927298537439203055323676511847564024038640*y^16 + 392194044761235143370688683457732010158346828498511016927478958730195682203876387832361640429741764626349834078868030195379137889932284419189740693791589576267/298241112198853989159658219762570984783368994988074383833088801090434126841451892887164954032244431166062247757415444927298537439203055323676511847564024038640*y^15 - 10299796055860412157615597963759405181656767864293974530245244646724328013017168167747600294497616124661878800358568453721585714443450843946864777254217396391/159061926506055460885151050540037858551130130660306338044314027248231534315441009539821308817197029955233198803954903961225886634241629505960806318700812820608*y^14 - 3090142075265427703052952390487704838433743037622837212408072835268346763520405427414160867774289129554502308354450085124092080451433366777792240253003899356483/2385928897590831913277265758100567878266951959904595070664710408723473014731615143097319632257955449328497982059323559418388299513624442589412094780512192309120*y^13 - 127483436968111283929672810961706041520596813805638783177998450986465015307045391097730236134194719278948384251978820135243577336656585504618013661839681810209/298241112198853989159658219762570984783368994988074383833088801090434126841451892887164954032244431166062247757415444927298537439203055323676511847564024038640*y^12 - 321856696300395193164266907277976175685176717715539468413234166935815712428570365873042009146352591162684102719822130034102501401780555417542064028843883602633/265103210843425768141918417566729764251883551100510563407190045413719223859068349233035514695328383258721998006591506602043144390402715843268010531168021367680*y^11 - 146905656862617701813017454207085350500444761327475463339075992260287409541215710188783722196196332503313347401644468813515777423032094781060401329691318745877/39765481626513865221287762635009464637782532665076584511078506812057883578860252384955327204299257488808299700988725990306471658560407376490201579675203205152*y^10 + 320292448303097640813902270121337311445140272848584936401624320420695441149342213247908570480874927238772731898472236702620371819552838611157522594991077193411/36706598424474337127342550124624121204106953229301462625610929364976507918947925278420302034737776143515353570143439375667512300209606809067878381238649112448*y^9 - 339400490650511459381274206627264559253675962102712386821342455642231042252410318145464794237875501439092056736674050766374295722409307803162865408189482948433/37280139024856748644957277470321373097921124373509297979136100136304265855181486610895619254030553895757780969676930615912317179900381915459563980945503004830*y^8 + 12505201322182505778677042921646002040503384206437970798068286859405457403306327348224515581554007357893912445015432505915085675540981389274219641331876565368083/1192964448795415956638632879050283939133475979952297535332355204361736507365807571548659816128977724664248991029661779709194149756812221294706047390256096154560*y^7 - 2752657439786394963373433763811317455411152609095097715440482123000211711118457459418463702802344226248027573403403204476971796393884343719071726930981774768853/397654816265138652212877626350094646377825326650765845110785068120578835788602523849553272042992574888082997009887259903064716585604073764902015796752032051520*y^6 + 1034591906117399210369474917648035686742156572784169299857084475766305147527410320438201286772107373676760709891925719464699364118791591157558361289199876650927/298241112198853989159658219762570984783368994988074383833088801090434126841451892887164954032244431166062247757415444927298537439203055323676511847564024038640*y^5 - 3599112512039260873628270972089750313688692929700101365013749776641736609203511331571584613612590954707343445091933071734091269543999548529805032988560841032659/2385928897590831913277265758100567878266951959904595070664710408723473014731615143097319632257955449328497982059323559418388299513624442589412094780512192309120*y^4 - 12212957940079416461247768495367866960998499604139347908764127762748655360038327537768652717437319332479395702290920572282087560586824091475443412393106302369/53020642168685153628383683513345952850376710220102112681438009082743844771813669846607102939065676651744399601318301320408628878080543168653602106233604273536*y^3 + 19643211918237079522624415973028511045417102599180704083686178700864725810929010247632501011584562169989649382791690586663014659095804271188328635201254869469/59648222439770797831931643952514196956673798997614876766617760218086825368290378577432990806448886233212449551483088985459707487840611064735302369512804807728*y^2 - 535254717519342543539388285483781843339670540805353577738957928680354604907830147828635824774938498654631902736360042202205322469230863793716267942665856181539/2385928897590831913277265758100567878266951959904595070664710408723473014731615143097319632257955449328497982059323559418388299513624442589412094780512192309120*y + 346221049029651611336131284166393170315025278804681405207328011155756814742940339550440380480888077020161098666699491658182943811483596935244184256087043751441/2385928897590831913277265758100567878266951959904595070664710408723473014731615143097319632257955449328497982059323559418388299513624442589412094780512192309120