# Manifold: H T Link Exterior K9a12 # Number of Tetrahedra: 12 # Number Field x^24 - 3*x^23 + 8*x^22 - 15*x^21 + 13*x^20 + 23*x^19 - 68*x^18 + 184*x^17 - 99*x^16 - 243*x^15 + 1171*x^14 - 2711*x^13 + 4487*x^12 - 6001*x^11 + 5962*x^10 - 4593*x^9 + 1803*x^8 + 851*x^7 - 2306*x^6 + 2106*x^5 - 343*x^4 - 534*x^3 + 706*x^2 + 24*x + 1 # Approximate Field Generator -0.303755361643721 + 1.93205487854420*I # Shape Parameters 16353016827125432834174855710359261175/2846571312692110631684204194931535556869*y^23 - 119912222108797172753656742745724712675/5693142625384221263368408389863071113738*y^22 + 101695553732446160691413899281755500955/1897714208461407087789469463287690371246*y^21 - 66572513201412156451048037884924478229/632571402820469029263156487762563457082*y^20 + 301276538783022772353003796260358218559/2846571312692110631684204194931535556869*y^19 + 383962917890968961556553265370874422787/2846571312692110631684204194931535556869*y^18 - 969318404724845385307613626878153554779/1897714208461407087789469463287690371246*y^17 + 3429927815368807121095173535980508980385/2846571312692110631684204194931535556869*y^16 - 5853278012209990973148583333476256461539/5693142625384221263368408389863071113738*y^15 - 9153730218641801118594041011857131362477/5693142625384221263368408389863071113738*y^14 + 2524943400010473237449381523493966088609/316285701410234514631578243881281728541*y^13 - 53018876356481945519767987401489972987623/2846571312692110631684204194931535556869*y^12 + 183355770642767173895369806351534166419013/5693142625384221263368408389863071113738*y^11 - 239625497175658442395027378703926009845001/5693142625384221263368408389863071113738*y^10 + 13483027287315504615144479998718069975802/316285701410234514631578243881281728541*y^9 - 59732598402614383517043879001535188520219/1897714208461407087789469463287690371246*y^8 + 20380836496481909783121604081043273871901/1897714208461407087789469463287690371246*y^7 + 24431843557219354688620240314969863196164/2846571312692110631684204194931535556869*y^6 - 56815591620560159116828361568200474177269/2846571312692110631684204194931535556869*y^5 + 46359203523980855563847091326534201155867/2846571312692110631684204194931535556869*y^4 - 9867692368011677228845850921368895531564/2846571312692110631684204194931535556869*y^3 - 31543543909705097784561664602766836061211/5693142625384221263368408389863071113738*y^2 + 15857248804258448800310550147143124112934/2846571312692110631684204194931535556869*y + 6002131300359068395462425888473268190601/5693142625384221263368408389863071113738 2351323953804078973193881402744639357315/11386285250768442526736816779726142227476*y^23 - 1783793908685852132061300046082707861063/2846571312692110631684204194931535556869*y^22 + 1585763826693158701933547954427871817369/948857104230703543894734731643845185623*y^21 - 11937200785446605069210113262736628162987/3795428416922814175578938926575380742492*y^20 + 7887836777782769949924861287793854272153/2846571312692110631684204194931535556869*y^19 + 53530588051498839570557910106661843178865/11386285250768442526736816779726142227476*y^18 - 54076383411309080946073829000022832321039/3795428416922814175578938926575380742492*y^17 + 437434646876339052453431762899950618615985/11386285250768442526736816779726142227476*y^16 - 122574953942325095426698833427468400246411/5693142625384221263368408389863071113738*y^15 - 568318138616049621394580629234897301003903/11386285250768442526736816779726142227476*y^14 + 231596250411135122202382456087492604546419/948857104230703543894734731643845185623*y^13 - 6458309882407269013347969930634567546599869/11386285250768442526736816779726142227476*y^12 + 5367634398855350772946522262153281885081139/5693142625384221263368408389863071113738*y^11 - 14386556731968318498180183405830643327293405/11386285250768442526736816779726142227476*y^10 + 4786222684930636261991013770687956762398437/3795428416922814175578938926575380742492*y^9 - 616720588512851976208382398207640046988027/632571402820469029263156487762563457082*y^8 + 1474551364586297787184240531754902430371549/3795428416922814175578938926575380742492*y^7 + 989739974029217486261651469799434393512629/5693142625384221263368408389863071113738*y^6 - 1385932160512374886930282539849743221465333/2846571312692110631684204194931535556869*y^5 + 2551662795830908862483300857578607069245737/5693142625384221263368408389863071113738*y^4 - 910127784009796560005444746158118219779707/11386285250768442526736816779726142227476*y^3 - 1264959165356080407789187335200231000507731/11386285250768442526736816779726142227476*y^2 + 1706069579944701195421618330523742432677825/11386285250768442526736816779726142227476*y + 39248684841225895036776999386194277667607/11386285250768442526736816779726142227476 -325303132065396685881688160162078070091/1897714208461407087789469463287690371246*y^23 + 1049405950688128170102915125667528067019/1897714208461407087789469463287690371246*y^22 - 2827255535280581405252840058157365704213/1897714208461407087789469463287690371246*y^21 + 2736554842311509196369275306671530894655/948857104230703543894734731643845185623*y^20 - 891723869161504583650299868802165501127/316285701410234514631578243881281728541*y^19 - 6500222402062825692930150266374971206053/1897714208461407087789469463287690371246*y^18 + 11909970239735827587479804063873718656690/948857104230703543894734731643845185623*y^17 - 64965612309715460137231569055753267395371/1897714208461407087789469463287690371246*y^16 + 15268429492276728720807844457300871837325/632571402820469029263156487762563457082*y^15 + 35629149335372131385832519696641560947847/948857104230703543894734731643845185623*y^14 - 199622862660060086763849353350173692159236/948857104230703543894734731643845185623*y^13 + 968791826937171314355104245893254172093853/1897714208461407087789469463287690371246*y^12 - 1661807757823846963685795245395371541506999/1897714208461407087789469463287690371246*y^11 + 1143813792727396456228255851653491036974908/948857104230703543894734731643845185623*y^10 - 2387348676407900236033306073804162607913033/1897714208461407087789469463287690371246*y^9 + 1940702657076146456587094525470492025006539/1897714208461407087789469463287690371246*y^8 - 464256543194924362623879695559803189532152/948857104230703543894734731643845185623*y^7 - 70767887905143297954180817911159759933620/948857104230703543894734731643845185623*y^6 + 407684296887432899167981603784763738698917/948857104230703543894734731643845185623*y^5 - 143248077226405470362746878723394294277874/316285701410234514631578243881281728541*y^4 + 269151671948406556240062678057644796936005/1897714208461407087789469463287690371246*y^3 + 73529639130756368446562297668510649649250/948857104230703543894734731643845185623*y^2 - 271727772531422758194426330942768312235891/1897714208461407087789469463287690371246*y + 7387811739066669276260454750670957354015/316285701410234514631578243881281728541 44264051554836977763631235051438693099/3795428416922814175578938926575380742492*y^23 - 26194330809975504425497247354379629881/948857104230703543894734731643845185623*y^22 + 69550609406912853918950807572432822360/948857104230703543894734731643845185623*y^21 - 488290631811568800493680321770226580117/3795428416922814175578938926575380742492*y^20 + 19979808257991376208344648671821136350/316285701410234514631578243881281728541*y^19 + 1175431662753718684371675730824688578353/3795428416922814175578938926575380742492*y^18 - 2187777059820356019875771751370381100957/3795428416922814175578938926575380742492*y^17 + 6571016926484944205064748756720070501497/3795428416922814175578938926575380742492*y^16 - 70933432854757175406005593272539164923/632571402820469029263156487762563457082*y^15 - 11935192879169266290310998688493071513855/3795428416922814175578938926575380742492*y^14 + 10476598230442812251557917928176048001054/948857104230703543894734731643845185623*y^13 - 93581424424854071900867076617622980750453/3795428416922814175578938926575380742492*y^12 + 67815375750351215658405254285079200683409/1897714208461407087789469463287690371246*y^11 - 175943264242302010445483550064201349483105/3795428416922814175578938926575380742492*y^10 + 151409059910700727448221329189759851736971/3795428416922814175578938926575380742492*y^9 - 51328574380055608884430269114688303191649/1897714208461407087789469463287690371246*y^8 + 18786608775499510618967210770673171627579/3795428416922814175578938926575380742492*y^7 + 27427766377984796290320876125789954834209/1897714208461407087789469463287690371246*y^6 - 16510662258408254341244434068014830549612/948857104230703543894734731643845185623*y^5 + 9016256416630908960982668074203064604321/632571402820469029263156487762563457082*y^4 + 16016308167419256310402480167729916386029/3795428416922814175578938926575380742492*y^3 - 18572741586917014587935831422788776461375/3795428416922814175578938926575380742492*y^2 + 22053114753658148889850782632935701022061/3795428416922814175578938926575380742492*y + 70376286269456347169660812659281745045/1265142805640938058526312975525126914164 129195796393890958391275675568523543847/11386285250768442526736816779726142227476*y^23 - 88823003032375210311165571491109689577/2846571312692110631684204194931535556869*y^22 + 60932216261827788632886812204686976795/948857104230703543894734731643845185623*y^21 - 462782913198296872951617478778131531411/3795428416922814175578938926575380742492*y^20 + 91325511697030693972850872286108793013/2846571312692110631684204194931535556869*y^19 + 4499619249749955616390808228958465915457/11386285250768442526736816779726142227476*y^18 - 2408702202007150702249121046848696107183/3795428416922814175578938926575380742492*y^17 + 15561435957291238773608210326539088640257/11386285250768442526736816779726142227476*y^16 - 1451542660817452747742912887763933529989/5693142625384221263368408389863071113738*y^15 - 55017564630641973591035787089600125904711/11386285250768442526736816779726142227476*y^14 + 9899005871080651610031857342957287795144/948857104230703543894734731643845185623*y^13 - 261030719822749536391288277341920497966993/11386285250768442526736816779726142227476*y^12 + 181124819050676000129159634206278152743153/5693142625384221263368408389863071113738*y^11 - 386889487353023980859085237179109534234629/11386285250768442526736816779726142227476*y^10 + 107678400240460403844105739735187389769213/3795428416922814175578938926575380742492*y^9 - 5704655810237370471966172711546454387235/632571402820469029263156487762563457082*y^8 - 16036696729924833327871984525897963174223/3795428416922814175578938926575380742492*y^7 + 108102621955393491120322965535621713561271/5693142625384221263368408389863071113738*y^6 - 44163639343289875797110097801180787008037/2846571312692110631684204194931535556869*y^5 + 19972893928185735767152721854530411394325/5693142625384221263368408389863071113738*y^4 + 79871975104124276519737909053843947496157/11386285250768442526736816779726142227476*y^3 - 113799713548003075062522530957291609165335/11386285250768442526736816779726142227476*y^2 - 64853269719249276103902074234576461003699/11386285250768442526736816779726142227476*y + 56935891856881715349320915244307244851/11386285250768442526736816779726142227476 -26742531712332748457889776088454182679/2846571312692110631684204194931535556869*y^23 + 111936355464006192656796311634465397907/5693142625384221263368408389863071113738*y^22 - 93977643840595203297491827425079361029/1897714208461407087789469463287690371246*y^21 + 156026805098023554011934518979794150747/1897714208461407087789469463287690371246*y^20 - 32267109224477060118249423898928815051/2846571312692110631684204194931535556869*y^19 - 797268107974184265354253157033897266216/2846571312692110631684204194931535556869*y^18 + 704965870308654916338879171789913871615/1897714208461407087789469463287690371246*y^17 - 3294015555753669485072430619474312863655/2846571312692110631684204194931535556869*y^16 - 1993995656446110727409434931352993221581/5693142625384221263368408389863071113738*y^15 + 15986268939660678664467187913741734033543/5693142625384221263368408389863071113738*y^14 - 7385658345152766380702498168246252472094/948857104230703543894734731643845185623*y^13 + 46200664931534125308600113575324885561664/2846571312692110631684204194931535556869*y^12 - 123805631750400838539816989604871463851751/5693142625384221263368408389863071113738*y^11 + 145901258877677206485864391473144747092695/5693142625384221263368408389863071113738*y^10 - 18526535041147230447661413929597995620785/948857104230703543894734731643845185623*y^9 + 6178704941897709755601933253409855439919/632571402820469029263156487762563457082*y^8 + 4510499562550396773625993278815979944551/1897714208461407087789469463287690371246*y^7 - 32735597232158203969317805652208123698204/2846571312692110631684204194931535556869*y^6 + 27979329014091893265587155720550152059244/2846571312692110631684204194931535556869*y^5 - 13723867872387661922041228086619842304315/2846571312692110631684204194931535556869*y^4 - 15546340185128161831801881498100435678987/2846571312692110631684204194931535556869*y^3 + 21156461720139946834549577435007353919863/5693142625384221263368408389863071113738*y^2 - 252700651602047464518380038591262140889/2846571312692110631684204194931535556869*y + 26367364342198582574822612207235695305/5693142625384221263368408389863071113738 37132760301490766280585472162700776937/2846571312692110631684204194931535556869*y^23 - 149201691933701509686407555603346597115/5693142625384221263368408389863071113738*y^22 + 41577822077702321348251345536357255199/632571402820469029263156487762563457082*y^21 - 204945251964133059461977600628456688341/1897714208461407087789469463287690371246*y^20 - 3973051734098649216644525093015366188/2846571312692110631684204194931535556869*y^19 + 1135204738839831220134552840539829153878/2846571312692110631684204194931535556869*y^18 - 315636415398620089561132146280937497747/632571402820469029263156487762563457082*y^17 + 4452935644248503774751413855636120934197/2846571312692110631684204194931535556869*y^16 + 3692959487209374910398015267679631687021/5693142625384221263368408389863071113738*y^15 - 23344719057875986161053291899377854106899/5693142625384221263368408389863071113738*y^14 + 9907444222115314427374545775467249041311/948857104230703543894734731643845185623*y^13 - 62663647986304140220331194644872664890359/2846571312692110631684204194931535556869*y^12 + 153724177388281342635658839501266293477933/5693142625384221263368408389863071113738*y^11 - 178012787774602555950750291989967034785161/5693142625384221263368408389863071113738*y^10 + 19014047708541939300292121505651544717910/948857104230703543894734731643845185623*y^9 - 11821164246085470972888853227759766060685/1897714208461407087789469463287690371246*y^8 - 5182369104920860704656325561901693864543/632571402820469029263156487762563457082*y^7 + 53837076776236170544831412860026312183781/2846571312692110631684204194931535556869*y^6 - 30219158966105502597598745674867250898308/2846571312692110631684204194931535556869*y^5 + 10659812398151422595568915473480109093482/2846571312692110631684204194931535556869*y^4 + 32421279235710768266972388990279543480551/2846571312692110631684204194931535556869*y^3 - 27269806866945892930702496515401107836381/5693142625384221263368408389863071113738*y^2 + 225711014691003914734384457201663628331/2846571312692110631684204194931535556869*y + 5666562926135324617204277579164603182259/5693142625384221263368408389863071113738 129195796393890958391275675568523543847/11386285250768442526736816779726142227476*y^23 - 88823003032375210311165571491109689577/2846571312692110631684204194931535556869*y^22 + 60932216261827788632886812204686976795/948857104230703543894734731643845185623*y^21 - 462782913198296872951617478778131531411/3795428416922814175578938926575380742492*y^20 + 91325511697030693972850872286108793013/2846571312692110631684204194931535556869*y^19 + 4499619249749955616390808228958465915457/11386285250768442526736816779726142227476*y^18 - 2408702202007150702249121046848696107183/3795428416922814175578938926575380742492*y^17 + 15561435957291238773608210326539088640257/11386285250768442526736816779726142227476*y^16 - 1451542660817452747742912887763933529989/5693142625384221263368408389863071113738*y^15 - 55017564630641973591035787089600125904711/11386285250768442526736816779726142227476*y^14 + 9899005871080651610031857342957287795144/948857104230703543894734731643845185623*y^13 - 261030719822749536391288277341920497966993/11386285250768442526736816779726142227476*y^12 + 181124819050676000129159634206278152743153/5693142625384221263368408389863071113738*y^11 - 386889487353023980859085237179109534234629/11386285250768442526736816779726142227476*y^10 + 107678400240460403844105739735187389769213/3795428416922814175578938926575380742492*y^9 - 5704655810237370471966172711546454387235/632571402820469029263156487762563457082*y^8 - 16036696729924833327871984525897963174223/3795428416922814175578938926575380742492*y^7 + 108102621955393491120322965535621713561271/5693142625384221263368408389863071113738*y^6 - 44163639343289875797110097801180787008037/2846571312692110631684204194931535556869*y^5 + 19972893928185735767152721854530411394325/5693142625384221263368408389863071113738*y^4 + 79871975104124276519737909053843947496157/11386285250768442526736816779726142227476*y^3 - 113799713548003075062522530957291609165335/11386285250768442526736816779726142227476*y^2 - 64853269719249276103902074234576461003699/11386285250768442526736816779726142227476*y + 56935891856881715349320915244307244851/11386285250768442526736816779726142227476 -11827409777845999649428874099978536598/2846571312692110631684204194931535556869*y^23 + 40446564396351826896423819817956555937/5693142625384221263368408389863071113738*y^22 - 32717018820449612324212390087912633597/1897714208461407087789469463287690371246*y^21 + 16991922448859625094578719048521703801/632571402820469029263156487762563457082*y^20 + 39526980766432106087776250792056864609/2846571312692110631684204194931535556869*y^19 - 366141018254071241276531724796393701674/2846571312692110631684204194931535556869*y^18 + 200469838641339678268759842516036735827/1897714208461407087789469463287690371246*y^17 - 1138395853534344146727759759293507359415/2846571312692110631684204194931535556869*y^16 - 2181102758894188306138520285299372722683/5693142625384221263368408389863071113738*y^15 + 7622845016648836763422444605869430870269/5693142625384221263368408389863071113738*y^14 - 853447811336964693757375479539922681154/316285701410234514631578243881281728541*y^13 + 15851732889531340197096053210240186244037/2846571312692110631684204194931535556869*y^12 - 32459137903120386231957236007778655276197/5693142625384221263368408389863071113738*y^11 + 36586098323916703210395607213933866359723/5693142625384221263368408389863071113738*y^10 - 1095285157514636847821231967312439429690/316285701410234514631578243881281728541*y^9 + 3301777163762863335344105266553194359757/1897714208461407087789469463287690371246*y^8 - 3735378324184511267224150947392245564901/1897714208461407087789469463287690371246*y^7 + 5610212807955625332523112625865379924552/2846571312692110631684204194931535556869*y^6 - 23171245937967484135856863449150649828000/2846571312692110631684204194931535556869*y^5 + 24294980870869859093625512647975496224252/2846571312692110631684204194931535556869*y^4 - 30119910506309915038018804724372130336545/2846571312692110631684204194931535556869*y^3 + 18478946434968060435007204317581984652121/5693142625384221263368408389863071113738*y^2 + 1006441624579844175650099078863047664796/2846571312692110631684204194931535556869*y - 195995213764451451335734090494286283833/5693142625384221263368408389863071113738 -116245320378187838098483909752116217253/11386285250768442526736816779726142227476*y^23 + 187539458782573446343246387899072000011/5693142625384221263368408389863071113738*y^22 - 54349009552859735829060620864334866033/632571402820469029263156487762563457082*y^21 + 634342430826911475275471491379047139063/3795428416922814175578938926575380742492*y^20 - 442006084512615206315153711536628265193/2846571312692110631684204194931535556869*y^19 - 2545963252294299852652178048056300178923/11386285250768442526736816779726142227476*y^18 + 939706281134702391331342338537125564785/1265142805640938058526312975525126914164*y^17 - 22264746103842090309332434242886063990555/11386285250768442526736816779726142227476*y^16 + 3873538339094087483480333553490334940259/2846571312692110631684204194931535556869*y^15 + 29151148980100240156132893921942919022291/11386285250768442526736816779726142227476*y^14 - 11684014954840279621387433625603018990683/948857104230703543894734731643845185623*y^13 + 337407754917539651197734911898163012672343/11386285250768442526736816779726142227476*y^12 - 142663444869792191206633022155065208551922/2846571312692110631684204194931535556869*y^11 + 770789973977959953364702475188272120133097/11386285250768442526736816779726142227476*y^10 - 265679320805322027799237696642018811397751/3795428416922814175578938926575380742492*y^9 + 52735010550031357695238413857563575145331/948857104230703543894734731643845185623*y^8 - 33412833145095480367042832467183355579435/1265142805640938058526312975525126914164*y^7 - 26783816752892727239641343749539211936513/5693142625384221263368408389863071113738*y^6 + 64404236311199485346951944777290598516348/2846571312692110631684204194931535556869*y^5 - 127001223020861479258350263782263160889429/5693142625384221263368408389863071113738*y^4 + 67277172104050992429697412548585136621801/11386285250768442526736816779726142227476*y^3 + 54323481459264101001095824076662251981883/11386285250768442526736816779726142227476*y^2 - 66391494399067452102016011082370939894627/11386285250768442526736816779726142227476*y + 10724724267891063110223830097492364404953/11386285250768442526736816779726142227476 349187950212348833075164283109706545275/11386285250768442526736816779726142227476*y^23 - 568212371150867873199206044582592084329/5693142625384221263368408389863071113738*y^22 + 497261216040211029546636455355912361945/1897714208461407087789469463287690371246*y^21 - 636059710345072395720801514870594563495/1265142805640938058526312975525126914164*y^20 + 1339420104134065808892194933684365238615/2846571312692110631684204194931535556869*y^19 + 7840543815095088447109894026579972596393/11386285250768442526736816779726142227476*y^18 - 8770947057603213731583067912890408600205/3795428416922814175578938926575380742492*y^17 + 67895880954885133100307029737280819362757/11386285250768442526736816779726142227476*y^16 - 11491089998590076621628158077287267184391/2846571312692110631684204194931535556869*y^15 - 87320923468289049153131597020111203852661/11386285250768442526736816779726142227476*y^14 + 12070131155858462825836682283086369461908/316285701410234514631578243881281728541*y^13 - 1022150312281716222918464688551329394857765/11386285250768442526736816779726142227476*y^12 + 431674418576623493369530816852599684397388/2846571312692110631684204194931535556869*y^11 - 2315347824057302467466161506019514081384395/11386285250768442526736816779726142227476*y^10 + 261043354352502016314420296097840856782519/1265142805640938058526312975525126914164*y^9 - 151434847525487876142552899447468163002804/948857104230703543894734731643845185623*y^8 + 251374455162106240440399334471713812651239/3795428416922814175578938926575380742492*y^7 + 149548123271429167981179967626914020172783/5693142625384221263368408389863071113738*y^6 - 225830071102799187189712055989807569666080/2846571312692110631684204194931535556869*y^5 + 415800635221007027372692696037192826703297/5693142625384221263368408389863071113738*y^4 - 174931757841238136837321600372230958701951/11386285250768442526736816779726142227476*y^3 - 234372243059651310282393526748254022216105/11386285250768442526736816779726142227476*y^2 + 270376929160581005526548125581746301175237/11386285250768442526736816779726142227476*y + 8882128934945048897564142732795990659669/11386285250768442526736816779726142227476 401922678896745998224809507524177935885/11386285250768442526736816779726142227476*y^23 - 296914700376399062003947164513695402443/2846571312692110631684204194931535556869*y^22 + 88377011521900864254538552893953180576/316285701410234514631578243881281728541*y^21 - 1983897486776012606315647011833981921477/3795428416922814175578938926575380742492*y^20 + 1276767764711321264610640134561706031977/2846571312692110631684204194931535556869*y^19 + 9182511011734131486024731883708529840627/11386285250768442526736816779726142227476*y^18 - 2967747810161323484834229596746632366359/1265142805640938058526312975525126914164*y^17 + 73369275810962281989808475998804072005307/11386285250768442526736816779726142227476*y^16 - 19004517955550473948018893524142242476667/5693142625384221263368408389863071113738*y^15 - 96147471225705338829676516690121765327729/11386285250768442526736816779726142227476*y^14 + 38692045918417698732618395346080985913826/948857104230703543894734731643845185623*y^13 - 1076486261603283741070722913920006305136347/11386285250768442526736816779726142227476*y^12 + 889257871093623776135090467528416162504983/5693142625384221263368408389863071113738*y^11 - 2384197667391568178449548518521013968731503/11386285250768442526736816779726142227476*y^10 + 790664041277846544160079569964452215891367/3795428416922814175578938926575380742492*y^9 - 306185059776587321311836390325018184275993/1897714208461407087789469463287690371246*y^8 + 81998599150014226053908171608117328589445/1265142805640938058526312975525126914164*y^7 + 158455251638988971431476030778823657043685/5693142625384221263368408389863071113738*y^6 - 223496044957195948929164722212542202654541/2846571312692110631684204194931535556869*y^5 + 415371646497493455744094805904530896897139/5693142625384221263368408389863071113738*y^4 - 138124298290435716795484999999915276463921/11386285250768442526736816779726142227476*y^3 - 200347227436606749145096550593180002085897/11386285250768442526736816779726142227476*y^2 + 265294724171485510453098499148348395106171/11386285250768442526736816779726142227476*y + 11158565029778770719229148273108352597865/11386285250768442526736816779726142227476 # A Gluing Matrix {{0,-1,1,0,0,0,0,0,0,0,0,0},{-1,0,0,0,0,0,0,0,0,0,0,0},{1,0,-1,1,0,-1,1,0,0,1,0,0},{0,0,1,0,0,1,-1,0,0,-1,0,0},{0,0,0,0,1,0,0,0,0,0,-1,1},{0,0,-1,1,0,0,0,0,0,0,0,0},{0,0,1,-1,0,0,0,0,0,-1,0,0},{0,0,0,0,0,0,0,1,0,0,-1,1},{0,0,0,0,0,0,0,0,1,1,1,-1},{0,0,1,-1,0,0,-1,0,1,0,1,-1},{0,0,0,0,-1,0,0,-1,1,1,2,-2},{0,0,0,0,1,0,0,1,-1,-1,-2,3}} # B Gluing Matrix {{1,0,0,0,0,0,0,0,0,0,0,0},{0,1,0,0,0,0,0,0,0,0,0,0},{0,0,1,0,0,0,0,0,0,0,0,0},{0,0,0,1,0,0,0,0,0,0,0,0},{0,0,0,0,1,0,0,0,0,0,0,0},{0,0,0,0,0,1,0,0,0,0,0,0},{0,0,0,0,0,0,1,0,0,0,0,0},{0,0,0,0,0,0,0,1,0,0,0,0},{0,0,0,0,0,0,0,0,1,0,0,0},{0,0,0,0,0,0,0,0,0,1,0,0},{0,0,0,0,0,0,0,0,0,0,1,0},{0,0,0,0,0,0,0,0,0,0,0,1}} # nu Gluing Vector {0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1} # f Combinatorial flattening {0, 1, 1, 1, 0, 0, 1, 0, 2, 0, 0, 1} # f' Combinatorial flattening {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0} # 1 Loop Invariant -1895515679098959779086693628047856078131/22772570501536885053473633559452284454952*y^23 + 3694185316255745224729042559343980572091/11386285250768442526736816779726142227476*y^22 - 3213190375720161159796443239505820482793/3795428416922814175578938926575380742492*y^21 + 12858507737379400465827234979020681713065/7590856833845628351157877853150761484984*y^20 - 10595343751448081982732976331952610207825/5693142625384221263368408389863071113738*y^19 - 37034189363782644376744801453911758518249/22772570501536885053473633559452284454952*y^18 + 59847922387038026828598163120866827294773/7590856833845628351157877853150761484984*y^17 - 433756906106649186090547269749054199994873/22772570501536885053473633559452284454952*y^16 + 52361417902248815892264899355545683628009/2846571312692110631684204194931535556869*y^15 + 461957496211718042100955346323039245720425/22772570501536885053473633559452284454952*y^14 - 229968206939315726587127695258749852057667/1897714208461407087789469463287690371246*y^13 + 6727129522854348124444677590935974166836809/22772570501536885053473633559452284454952*y^12 - 1487712975874711013417046368841007761556931/2846571312692110631684204194931535556869*y^11 + 16178420224188083170453194254331652428060911/22772570501536885053473633559452284454952*y^10 - 5703065643363779336286915645071397245198717/7590856833845628351157877853150761484984*y^9 + 187975047412461008981858773985432602985598/316285701410234514631578243881281728541*y^8 - 2077082642215016160031378860303664997570167/7590856833845628351157877853150761484984*y^7 - 677683876865255657564665149185286279616993/11386285250768442526736816779726142227476*y^6 + 1584199464562853907908849582332177809822451/5693142625384221263368408389863071113738*y^5 - 2987068648507478926891777534792652744492243/11386285250768442526736816779726142227476*y^4 + 1712833202296262389211953002563338778232395/22772570501536885053473633559452284454952*y^3 + 1772831109394031733956302650068323904574361/22772570501536885053473633559452284454952*y^2 - 2032384608921650518634879365852065609852953/22772570501536885053473633559452284454952*y + 28271366018397929887454084798598726842771/22772570501536885053473633559452284454952 # 2 Loop Invariant 87566692813881079290668550657143565055202485873873270858958510418957480443815242681096712391319885991/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^23 - 287345535356558118593947157852361880955058715160968395684651385236614660366464751486183322514953677623/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^22 + 84410712269305424724030520230032960613880344613236865989753603285966219110301819010452423261119706209/2078612352710289088969472320008971557121001245076721595672107933683798890919776600896970705437727273784*y^21 - 61052354463465925475474108519655378192886266795252029009874979458286335943744186633321495829620653694/779479632266358408363552120003364333920375466903770598377040475131424584094916225336364014539147727669*y^20 + 699522304208672851615692682496317883665867262668761674503276330740874055362601675607007058870786002367/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^19 + 1899828661080481075840882114717626439417937915581322047537097005584648741403503803343837949707791990119/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^18 - 92497175247937308268490976641517346476904437353118937913749922677066274654714383816986627732483386086/259826544088786136121184040001121444640125155634590199459013491710474861364972075112121338179715909223*y^17 + 17352725219625973052596352933544907438477680531591612639193290013826572302240242428300444167123815299399/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^16 - 12143600472807221237848675354231487274641187073167979223029252642720026384259232624454689124478500794911/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^15 - 10641987971798427336307333331763856782674582747134293762587836898157232544491252997531135725534830357973/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^14 + 9141569895928892367340892744343605644897710460324164709762376911649167400921787109212708759236236367921/1558959264532716816727104240006728667840750933807541196754080950262849168189832450672728029078295455338*y^13 - 261028761213145619913567264856893156190611076342863088130076456160439320018426567449564637593412505476307/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^12 + 442696514882868646964674813127986332437160020822740146420672118327754667916437750652018409232110801317609/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^11 - 74715952365920424621986123147111003195892102470274448324881358942736481633892956947881057101372031387261/2338438896799075225090656360010093001761126400711311795131121425394273752284748676009092043617443183007*y^10 + 204035522425231174156261388992451109733497854392209420848430202443992184597492310750600230164446291834615/6235837058130867266908416960026914671363003735230164787016323801051396672759329802690912116313181821352*y^9 - 159200147148100972479793042060116019727086716920626378049317424647594572223525307160531089121960318585299/6235837058130867266908416960026914671363003735230164787016323801051396672759329802690912116313181821352*y^8 + 1923250245635403398694615273593916747159639321838137428624614962044354264658173070938346557696064990571/173217696059190757414122693334080963093416770423060132972675661140316574243314716741414225453143939482*y^7 + 34214009690690732819564215971627439442572193408829052469946421793999733431639871893488995594151805068633/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^6 - 114633796405603488695103516653824996669547444250389546977846158715924445839108068048628304115252092792759/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^5 + 108985002372847837044943449287460954667578786488367702000599573726427753240707158344942246248425789874117/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^4 - 55048222546941970341513733390277449875041869675354387099272253958914767172696962648800265425908718151947/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y^3 - 26689912608342911990437556036487471921340447586512119502398888769029479224000090951704684902998655747159/9353755587196300900362625440040372007044505602845247180524485701577095009138994704036368174469772732028*y^2 + 68640000321311359083526292384852672502273942136647920596386509704741291502694872282744612096561218263041/18707511174392601800725250880080744014089011205690494361048971403154190018277989408072736348939545464056*y - 520303178211264380435345840310583541102441695923425715555551410544246528585738901322069017046356994259/4676877793598150450181312720020186003522252801422623590262242850788547504569497352018184087234886366014 # 3 Loop Invariant 2218535454714888545039684541363984436222348134299171138335099677953530696606278691897888774819005905889654681928366924306406659775/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^23 - 15005858016798673729095872179524550424292123130151349888313245664255002706281691564990779124452934765159999297966038637349232748009/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^22 + 5676829075550646815728536896468444475941014458031414365700556551326654702042256683289232452212685391001628901722791102520314651282/1433189487079981493569683405906905148693941546511628895997480713767712842518346672642332776430912406375777344280227010443488418030341*y^21 - 11278511571153594726331353274590925649147888855313176497442499899232694934411376868692265894181017673914068111163208263657091406722/1433189487079981493569683405906905148693941546511628895997480713767712842518346672642332776430912406375777344280227010443488418030341*y^20 + 25478460630074561483575941978821208437751545436287298113329108112209791773558863277400901578713512679366055540097565878133221489574/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^19 + 11909574229139656258864869813558501803189904493708606294753549720190569113910786165673690745064015299897308710705730020318122771497/781739720225444451038009130494675535651240843551797579634989480236934277737280003259454241689588585295878551425578369332811864380186*y^18 - 56349796312549055116224263772856807401839665149027381184940338891315065730524897840722145885446111251147646922917570281337965414161/1433189487079981493569683405906905148693941546511628895997480713767712842518346672642332776430912406375777344280227010443488418030341*y^17 + 367690847788398052171641035846142526102178254194693935494482707832843416820999093529677762405424051643570998458126377214396496898123/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^16 - 523555901961703706546634791275614715364956318315049703687393377244496276757878444818768574480457883889955665148364479586408632920045/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^15 - 1677461534364237514046093370419751700135526703453104128363088147031913274277245955290743179572652093329428362114988044913541050214783/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^14 + 1737454791654225849238816858707692413772723382066735636030292672418062951939312694323014676033310582203048288009644981440903009248897/2866378974159962987139366811813810297387883093023257791994961427535425685036693345284665552861824812751554688560454020886976836060682*y^13 - 12104672562035503411306697112698604309709796163652262582143481109506698368813079737616035199468621706460258884062141874637864255528821/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^12 + 9695213673912287758770212021682877930744468028144290387329076786317642734935362110685576792478255355494073211079096572955610615725187/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^11 - 23843124721657628430202477567958640613882452172923333672125354576080784672549471254588946932444609008663012040245729651842310730768325/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^10 + 7871113614401443142057356452301727927387684219537644224490581623571617548911053671368807712286867455713063151167281003990399076360987/2866378974159962987139366811813810297387883093023257791994961427535425685036693345284665552861824812751554688560454020886976836060682*y^9 - 2579776508368968259832428900997846680959191777693538258950990006943680419126608416859676494769526397536532634019297159473960265056339/1433189487079981493569683405906905148693941546511628895997480713767712842518346672642332776430912406375777344280227010443488418030341*y^8 + 1980205712970150706647220503766724338818692492033455558791509473657316650110407929042481752927581570991356788087605803825939396989749/2866378974159962987139366811813810297387883093023257791994961427535425685036693345284665552861824812751554688560454020886976836060682*y^7 + 4488696717441256083760131791432312703424227562174367025667425201460450728269442398573196670222497816353667292122176091410590902196679/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^6 - 8023236724393217703233762544331019775325222090890042973516960746831059455716002703522418364548093029086997632362515162345648999487453/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^5 + 2365967928594790066125940799759708928587478296749032320875735358050692296458570390539110307407952407118577303167628686311131306885961/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^4 + 374132401604182984124266719964610426525837850292142511633688138527910689774445034665561141019523807692673799811357496256640231947541/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023*y^3 - 4567251702591960239564437228468088911189612687840491319135971729839855915277803226179546191789041388687323790228379306182157873145061/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y^2 - 141703115606656809544936130440201532247160188078163889220835987746542635391758841289961713921229759765418025443798301379701812789773/8599136922479888961418100435441430892163649279069773375984884282606277055110080035853996658585474438254664065681362062660930508182046*y + 71031499647262958573231450484868387403554401617103439083654184261039494538156054087541286925082528876582422410820338354281356681418/4299568461239944480709050217720715446081824639534886687992442141303138527555040017926998329292737219127332032840681031330465254091023 # 4 Loop Invariant 22373322458772697559372213815235530434351485109945342967745514447194150473071631818793980700399042178889651271319084688205594994640861080251468111287304718546217303885773919714006063667319859822791/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720*y^23 - 15722963571254483899867536608701015800996012029632125910975663554784132607344045654277268393611431493809557437590674218683047798371083387500011366103799782069304731879079619368197048293290383141451/5086175231765285159793496046091643038576924416437804762585014786759492645272841112402330163323534341136291236919358935414681355894415230885451329119724822009088164553713360112315559898868568728771360*y^22 + 2887940289851008715799620826932656428579202109625240089499935940329169765524045397037576891623127619894035368178221833197559683370371193959167488410216160322055203182921343735846966980345883475439/339078348784352343986233069739442869238461627762520317505667652450632843018189407493488677554902289409086082461290595694312090392961015392363421941314988133939210970247557340821037326591237915251424*y^21 - 1433249699049135112075200044065607152482322797586663867045564206757300168609459149328793364400385401041549473992158031967914404053571075684783370135781266041210276231683021156885683853152340694451/125584573623834201476382618422015877495726528800933450928025056463197349265996076849440250946260107188550400911589109516411885330726301997171637756042588197755263322313910126230013824663421450093120*y^20 - 2689393157205666642549730865975834559327935235303088047059615576157552665407962652410163804737518119121992103000199437947796269507910768259306438613717294636041316002556303100005171366764565672201/254308761588264257989674802304582151928846220821890238129250739337974632263642055620116508166176717056814561845967946770734067794720761544272566455986241100454408227685668005615777994943428436438568*y^19 + 136871828523929207749225550814357933811667337325597072008579431807814507853651601468125927949834496295121608837691017072954650976431421724459890284011935952362280963748927853919057620666352226216841/2034470092706114063917398418436657215430769766575121905034005914703797058109136444960932065329413736454516494767743574165872542357766092354180531647889928803635265821485344044926223959547427491508544*y^18 - 145640931397827228426141660095423312165834138780103730250492526250035087996566408401513843425385143660973944648676965178208350235216173764213826423144482498703966892210638137244426276760975299483309/3390783487843523439862330697394428692384616277625203175056676524506328430181894074934886775549022894090860824612905956943120903929610153923634219413149881339392109702475573408210373265912379152514240*y^17 + 2176150217056227718341029178514257955679405228397338936980055412828863834893723836851505631790833008438383627583125518196580909829224913171523636338277825396437075476733618389025718977813116181473977/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720*y^16 + 344003307909564370062145387775135488953614532364670955118623330818467277361428836590201823278895909245369333696444125463845301236498041834822329098511033886945551840150367535915592783341397105797873/1271543807941321289948374011522910759644231104109451190646253696689873161318210278100582540830883585284072809229839733853670338973603807721362832279931205502272041138428340028078889974717142182192840*y^15 - 6151181295743326738968906234869083851257364206192353826297027187754796626900847555018742079024780572437593020559652473837459641885192969038160742012071596813377422128376665634537347155546272690089461/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720*y^14 + 194866265198811360096052172603251658726644271809722371227699559491479524510231432431940963347879790605105389832295781484672551770590245208691305512368522994020616972366576378483414053405722404199381/141282645326813476660930445724767862182692344901050132294028188521097017924245586455620282314542620587119201025537748205963370997067089746818092475547911722474671237603148892008765552746349131354760*y^13 - 5248053319210802533801947310185931654387975660573965040473497936054303628848609186464752181167977036696388591287773841539359181000117712056641471471396170633021287893645211651865615377755598744559225/2034470092706114063917398418436657215430769766575121905034005914703797058109136444960932065329413736454516494767743574165872542357766092354180531647889928803635265821485344044926223959547427491508544*y^12 + 3124089017440471798962076300361451482675401608600474468693404599134531248534960136774807410084942237327415583424214196760044903967190598259016099130105287608659746859453051421065726925498628153308221/1271543807941321289948374011522910759644231104109451190646253696689873161318210278100582540830883585284072809229839733853670338973603807721362832279931205502272041138428340028078889974717142182192840*y^11 - 5105859824854146879833104782387801004293536731209636030647734344171390359346035046041811635479287189372175048889749708692762839363483229616375624423289094278254459910921764641145654276486572469365791/2034470092706114063917398418436657215430769766575121905034005914703797058109136444960932065329413736454516494767743574165872542357766092354180531647889928803635265821485344044926223959547427491508544*y^10 + 168907172995361293325621134849086571516665761195991157329903683359199573295136502934486774123970615658415353386930431448908204935924184265780423136315646988208153793373027239903005394697234719418121/376753720871502604429147855266047632487179586402800352784075169389592047797988230548320752838780321565651202734767328549235655992178905991514913268127764593265789966941730378690041473990264350279360*y^9 + 344411665394979521685302878026737909317249179052045264659545796795500883251593487512908689756980102876536004422077444901550297660266297437900071479937291167767419623668249770605339193340605365456341/423847935980440429982791337174303586548077034703150396882084565563291053772736759366860846943627861761357603076613244617890112991201269240454277426643735167424013712809446676026296658239047394064280*y^8 - 6566282655397939357469340475177504910942138444321980235512680274012787107170362505777711216820577317120562934574676420750370328466722498008667802973005347868703908240592283976926925418630608283131309/3390783487843523439862330697394428692384616277625203175056676524506328430181894074934886775549022894090860824612905956943120903929610153923634219413149881339392109702475573408210373265912379152514240*y^7 + 11080071764595124848149096150978177282314488731978487148398601915963583685760686469111420761557774189653516624500443559965286301722336079546159536227706691034268846856211082966783419897958319072324709/5086175231765285159793496046091643038576924416437804762585014786759492645272841112402330163323534341136291236919358935414681355894415230885451329119724822009088164553713360112315559898868568728771360*y^6 - 35799976899206204452443336886768437406265698121884001224728138816426403870812055547653184824991447407701913763217383995739359236967509600219414595914499077208671729810749557543519834411160397735803/158942975992665161243546751440363844955528888013681398830781712086234145164776284762572817603860448160509101153729966731708792371700475965170354034991400687784005142303542503509861246839642772774105*y^5 - 512049213876311552461198955270395429056756989705585044687358339590413835901160875177084897795420705521003701773990811416233242832546799210250957612678218135013144886032462777545469619621011936598489/1017235046353057031958699209218328607715384883287560952517002957351898529054568222480466032664706868227258247383871787082936271178883046177090265823944964401817632910742672022463111979773713745754272*y^4 + 19658411637089113925145270589928003876522720028203505838563460596489437542782383660086561363801764933574655415028641320180108285946662577614795666840426454391287769524459636027977757039582995040546017/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720*y^3 + 408854331287311973455092330137118806836081731823023337001979218128227422041849227864747795827666439740603267630125413553173592262706112787873798458986611160496410748419232488705322398033633633831419/2034470092706114063917398418436657215430769766575121905034005914703797058109136444960932065329413736454516494767743574165872542357766092354180531647889928803635265821485344044926223959547427491508544*y^2 - 5370551614639866292480239511095116716581398655624661537306125843128038621100143000011009112885993578347367423203580341548711459473434945330299043241367275041380612680767474972677272216954785493059123/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720*y - 180810510565622698447188609114137081505960274686001682325845292611054186521720099491955822593690723675399878374222699850643333283428809024722085993376974030176471595734445217060603169185309761314147/10172350463530570319586992092183286077153848832875609525170029573518985290545682224804660326647068682272582473838717870829362711788830461770902658239449644018176329107426720224631119797737137457542720