Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 105355995] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1160 geometric_solution 5.03439719 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591740892713 0.093457797033 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759458131525 0.166948926311 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704187463158 0.752255963684 5 2 6 6 0132 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153237834544 2.060521196732 6 6 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153237834544 2.060521196732 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295680961702 0.532433343714 3 4 3 4 2310 1023 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.035893558038 0.482644755351 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1445397361942308219720836956836440762647099536310490479121481769975\ 3266062010173707/17230488142072631882524036701864364411277476999311\ 57840961192370566637678497051136*c_0101_5^31 + 3134103854208812470758163891269970965987987614210588938886852470500\ 65909727990822631/5169146442621789564757211010559309323383243099793\ 473522883577111699913035491153408*c_0101_5^30 - 5283443940764487634831903020985538478022373916299816231861056758189\ 84156859956129831/1723048814207263188252403670186436441127747699931\ 157840961192370566637678497051136*c_0101_5^29 - 9953679863285165327298156063616001138303586372466593793089985100113\ 146720298759759/673065943049712182911095183666576734815526445285608\ 5316254657697525928431629106*c_0101_5^28 - 3355939562991305788795409409390965186603959945648577337896844361077\ 5944207225737418265/25845732213108947823786055052796546616916215498\ 96736761441788555849956517745576704*c_0101_5^27 - 1069077783921700075957739515150585986383088791208226790194717354054\ 94060385790870757855/2584573221310894782378605505279654661691621549\ 896736761441788555849956517745576704*c_0101_5^26 - 6808726819280522293241243765133668989541765039948097838085758424466\ 07870486363146702271/5169146442621789564757211010559309323383243099\ 793473522883577111699913035491153408*c_0101_5^25 - 1861651118390543878685203640059897392442794801777656037993837330464\ 920711335936522109063/516914644262178956475721101055930932338324309\ 9793473522883577111699913035491153408*c_0101_5^24 - 1694446702112760027489888039958514738214836109843435835397799307075\ 54896214853680767161/3230716526638618477973256881599568327114526937\ 37092095180223569481244564718197088*c_0101_5^23 - 7207232425440643189047603768865986196060777629181532152403220070044\ 368968842129577507211/516914644262178956475721101055930932338324309\ 9793473522883577111699913035491153408*c_0101_5^22 - 5012870460935149132563076999486317319329945390631179022248986299832\ 35751381417953306373/1723048814207263188252403670186436441127747699\ 931157840961192370566637678497051136*c_0101_5^21 - 4356604875537263803757558481950125090336353842218891331871955057534\ 018638860177546805523/258457322131089478237860550527965466169162154\ 9896736761441788555849956517745576704*c_0101_5^20 + 2686189921349205493877211505798451606553225795200473075009694674189\ 26518527298795993929/5384527544397697463288761469332613878524211562\ 2848682530037261580207427453032848*c_0101_5^19 + 2615926715250239306524384461115651921884353001802011050630978738413\ 6621995848597894104627/51691464426217895647572110105593093233832430\ 99793473522883577111699913035491153408*c_0101_5^18 + 3404800056916087370013091234166034854621425647117945893113935589969\ 7827996781278505165961/17230488142072631882524036701864364411277476\ 99931157840961192370566637678497051136*c_0101_5^17 + 5655518802099445021560225276948483659762166340189563635922324380592\ 4219316818506767252935/25845732213108947823786055052796546616916215\ 49896736761441788555849956517745576704*c_0101_5^16 + 1829278943391867010061186452564475489499569674857937273084499991925\ 51057210674463228863791/5169146442621789564757211010559309323383243\ 099793473522883577111699913035491153408*c_0101_5^15 + 5997444069388192789253268560197342406948858693607613925578973039479\ 5088988149530354629377/17230488142072631882524036701864364411277476\ 99931157840961192370566637678497051136*c_0101_5^14 + 8952860434495064803801612826138654449852441525789523653386905032263\ 2255311443892957508539/25845732213108947823786055052796546616916215\ 49896736761441788555849956517745576704*c_0101_5^13 + 3834621369101393270453312181134336947540908617590632399230372648616\ 1871747954642192130815/12922866106554473911893027526398273308458107\ 74948368380720894277924978258872788352*c_0101_5^12 + 4148902659226158799178324745866685459410679939137154512439365141696\ 714851719640292229719/215381101775907898531550458773304555140968462\ 491394730120149046320829709812131392*c_0101_5^11 + 2625268364676888364915264736202720428501835989814097443892746843908\ 9229698337029820299859/17230488142072631882524036701864364411277476\ 99931157840961192370566637678497051136*c_0101_5^10 + 1618046637219328679754458456236820675865271326257795187098181941700\ 3835699002466570987669/25845732213108947823786055052796546616916215\ 49896736761441788555849956517745576704*c_0101_5^9 + 3474342542515515061966893718798209217325384751146168002696028113056\ 287297578622505439469/646143305327723695594651376319913665422905387\ 474184190360447138962489129436394176*c_0101_5^8 + 6505307142563346121531947648981493319548439834477288411480924419706\ 029682291667290083697/516914644262178956475721101055930932338324309\ 9793473522883577111699913035491153408*c_0101_5^7 + 6119140684290009885020372624332476769913448844060200196853040287156\ 14975757419839678269/4307622035518157970631009175466091102819369249\ 82789460240298092641659419624262784*c_0101_5^6 + 8270602033944305014050143657698119818797195479688501694725483266686\ 82919647442555702991/5169146442621789564757211010559309323383243099\ 793473522883577111699913035491153408*c_0101_5^5 + 3321321594045296405561009539712694039262468186415742770978490691418\ 85609434574020762737/1292286610655447391189302752639827330845810774\ 948368380720894277924978258872788352*c_0101_5^4 + 8256246524778859774567751953302200016804433826204245261292141441702\ 3859734716022097989/51691464426217895647572110105593093233832430997\ 93473522883577111699913035491153408*c_0101_5^3 + 4460153499707787186530051280723362657233463928689737084501249585210\ 2806119394277678515/17230488142072631882524036701864364411277476999\ 31157840961192370566637678497051136*c_0101_5^2 + 5322268525024281215118664421645522306305094249261972133415960083615\ 416916415259624789/516914644262178956475721101055930932338324309979\ 3473522883577111699913035491153408*c_0101_5 + 5185677119593666101031731562473510934709040039322030570041956257463\ 528018902307721757/516914644262178956475721101055930932338324309979\ 3473522883577111699913035491153408, c_0011_0 - 1, c_0011_1 - 746298060400219594710604101520567576751802186610073912924017\ 924969073342553/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^31 - 1153442881813167460935503870056272515077585421795659708640861020523\ 8179843643/71439479837773671721564064438261803604119063805761343379\ 128171589478737862144*c_0101_5^30 + 4250503538985773584304091609484340326131800259981945442788679232434\ 799478093/714394798377736717215640644382618036041190638057613433791\ 28171589478737862144*c_0101_5^29 + 1115539170151877788189358721515819040978252394958541546869752404590\ 14855032323/1785986995944341793039101610956545090102976595144033584\ 4782042897369684465536*c_0101_5^28 + 5943375643601718564674976040444124736464102026122145518877116970979\ 89399712271/3571973991888683586078203221913090180205953190288067168\ 9564085794739368931072*c_0101_5^27 + 6289528825465340633683569033595842698105479336899617368822074151723\ 925586964481/357197399188868358607820322191309018020595319028806716\ 89564085794739368931072*c_0101_5^26 + 1063929286057763219859278696367304122251052428884785208019020190130\ 5749021998323/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^25 + 1173783636663945394101263777125999827666775737682798773528599271464\ 17661608953295/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^24 + 1216708377448471301600582564137684560051576774682151465384756401060\ 257241123173/178598699594434179303910161095654509010297659514403358\ 44782042897369684465536*c_0101_5^23 + 5101633919453291132273011570217968546818459035839116798614357304657\ 64449430737543/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^22 - 3277294447984742266119961009617661979519678446288446545828061787972\ 59438357356849/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^21 + 4844656755946796060867940332269265640157624754760091583653450799787\ 46566882792409/3571973991888683586078203221913090180205953190288067\ 1689564085794739368931072*c_0101_5^20 - 4799611856471531032562493731741973434389128072382255177327359701839\ 15744869168035/1785986995944341793039101610956545090102976595144033\ 5844782042897369684465536*c_0101_5^19 - 6616966520910192647036195250277371710882676105569277823115815423488\ 6575377432263/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^18 - 5223502360548286137846165295982041350927220315840902017902742333697\ 068393697059907/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^17 - 1790434936834200174399918474774326555584229404703082075907331733695\ 009246649087505/357197399188868358607820322191309018020595319028806\ 71689564085794739368931072*c_0101_5^16 - 7698751201104113735321446394588975709100230320862707112251820168071\ 052839137143811/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^15 - 6428466499790974549605186058853004005269677753325042856155158600161\ 514675797335707/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^14 - 3057632571335189258484323507615798495521073125306310742076403071644\ 628977021452301/357197399188868358607820322191309018020595319028806\ 71689564085794739368931072*c_0101_5^13 - 6867320964034518788078179385926641126772058459722773726475280296643\ 27880836200283/8929934979721708965195508054782725450514882975720167\ 922391021448684842232768*c_0101_5^12 - 5924518131335381325584483608495233990487697599348298764299407998763\ 35710164212553/1785986995944341793039101610956545090102976595144033\ 5844782042897369684465536*c_0101_5^11 - 2827603791580599320584702761144389167784901264356720834568998366638\ 262079369144173/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^10 - 1353848792302942585922822315647263711641229326980134644807211726812\ 95477627679465/3571973991888683586078203221913090180205953190288067\ 1689564085794739368931072*c_0101_5^9 - 1348313845019064051769384192533178479563214740460600009828909664546\ 40434061381047/8929934979721708965195508054782725450514882975720167\ 922391021448684842232768*c_0101_5^8 + 1129876452632910783546214984984556859957635119932850329323384941596\ 85668528364455/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^7 - 3801344836468863429550759964103830041588512747115298593136314553894\ 3862579661239/89299349797217089651955080547827254505148829757201679\ 22391021448684842232768*c_0101_5^6 + 5465134469978386936915239025736168028451361869633896765734569405937\ 4560179530173/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^5 - 1258880358765566852704514927412896105953349800417538949594295209513\ 8949855740901/17859869959443417930391016109565450901029765951440335\ 844782042897369684465536*c_0101_5^4 + 6601674778935628626633633739914036993538441626591325528003163147002\ 878133696547/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^3 - 3213933240800294002931703520604961874751519557493860332612225246314\ 282517633325/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^2 + 1849355346282415507172967019392118847603469012153145206318949585724\ 18088470923/7143947983777367172156406443826180360411906380576134337\ 9128171589478737862144*c_0101_5 - 229895597109626052905458132500337\ 26034383369370928331657217240512018321581129/7143947983777367172156\ 4064438261803604119063805761343379128171589478737862144, c_0011_4 - 178076575185764345257679316903613534466289533001349896481478\ 3259718050178763085/63581137055618567832192017350053005207665966787\ 12759560742407271463607669730816*c_0101_5^31 - 6718523289177951779257056691912266770024700241166015893574420300133\ 158466883175/635811370556185678321920173500530052076659667871275956\ 0742407271463607669730816*c_0101_5^30 + 9073764075580363679403116094133413105495111420162438592671660968238\ 8959446612657/63581137055618567832192017350053005207665966787127595\ 60742407271463607669730816*c_0101_5^29 + 2571977841719382711728038806994065432154640357736717319895201160904\ 060153264795/158952842639046419580480043375132513019164916967818989\ 0185601817865901917432704*c_0101_5^28 + 1299670159714552273340058465041922606870565530931583713164533844332\ 161050337453603/317905685278092839160960086750265026038329833935637\ 9780371203635731803834865408*c_0101_5^27 - 1241680174066563441406335359070739871743387088231056225739659940045\ 59940300790435/3179056852780928391609600867502650260383298339356379\ 780371203635731803834865408*c_0101_5^26 + 2527121445862468299437895250842697085996638342707447438687812121399\ 8452721142091007/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^25 - 1148950797339050516674766072042878580617232671853842851228988459391\ 1520815563907429/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^24 + 2919373444081787434255300727179887928445778646901102567138544942950\ 3379510090794589/15895284263904641958048004337513251301916491696781\ 89890185601817865901917432704*c_0101_5^23 - 1011716985748282616178264214540073416340769271221832552506457564934\ 95093841767715965/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^22 + 2576539721658765753321853538873965238525144585874435730658523566512\ 17549458337971323/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^21 - 2188517304951313191050191034042158215102920475561845449638836570707\ 23698912036839675/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^20 + 3641601160144383697325540171826866742543195588247602244919026190668\ 4843183330015213/15895284263904641958048004337513251301916491696781\ 89890185601817865901917432704*c_0101_5^19 - 1078038705433686257462550676032174453051789689402971861742078080709\ 566478188566148291/635811370556185678321920173500530052076659667871\ 2759560742407271463607669730816*c_0101_5^18 - 4950037691529318996581374010840803949640320508607067492732546960089\ 12556452822233599/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^17 - 7667479264750564736677408776430449277161563283719251991470043844146\ 29123602214518589/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^16 - 1146054478650436549574152654595266225114049822893611326750453050662\ 300136145771068463/635811370556185678321920173500530052076659667871\ 2759560742407271463607669730816*c_0101_5^15 - 1205646973119801087239498313086385986678505805383621202861343572122\ 325537942919492471/635811370556185678321920173500530052076659667871\ 2759560742407271463607669730816*c_0101_5^14 - 5597970330802905093015611987778022401837323575467918446334175879975\ 29765926664107401/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^13 - 5657923349530615505824193072252764276943310836121997209952347599252\ 6797260233788797/79476421319523209790240021687566256509582458483909\ 4945092800908932950958716352*c_0101_5^12 - 1640302202878292144802272657597115773894828918413422248122830356326\ 60149044411283825/1589528426390464195804800433751325130191649169678\ 189890185601817865901917432704*c_0101_5^11 - 1922935049279316588738396391557653033084811083506798415094982205103\ 2531649260406497/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^10 - 1394099807580812221190423544082121540679669828547833610049792048195\ 61764534607461197/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^9 + 6428918946082301233509891955076053773163174008818842275373198958294\ 018479447424197/794764213195232097902400216875662565095824584839094\ 945092800908932950958716352*c_0101_5^8 - 8720139962892830941451011577227955340371819942904963444308108957855\ 4930800100325645/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^7 + 2774267875367925217729316539998165685149158323850875591014944063706\ 919995612461891/794764213195232097902400216875662565095824584839094\ 945092800908932950958716352*c_0101_5^6 - 1712203776068631564001547615066234214030952700732256614602035283408\ 0844754833416111/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^5 + 9226232703822966779244855540573280083794055708187435568845127130441\ 88155546427159/1589528426390464195804800433751325130191649169678189\ 890185601817865901917432704*c_0101_5^4 - 1521452398026293360924767904491979929540833541776331811154060058656\ 946838904328161/635811370556185678321920173500530052076659667871275\ 9560742407271463607669730816*c_0101_5^3 + 2132186769827745900147462415092297020742051001055111776585395662793\ 35437857838143/6358113705561856783219201735005300520766596678712759\ 560742407271463607669730816*c_0101_5^2 - 3644928339877347339323498481495283019819217268008510443962751905742\ 5448825566169/63581137055618567832192017350053005207665966787127595\ 60742407271463607669730816*c_0101_5 + 1240873746701266097970166834792540873575261360027910954353713756296\ 496452294131/635811370556185678321920173500530052076659667871275956\ 0742407271463607669730816, c_0101_0 - 947957172472830373563059127610703727641161465440687084335239\ 466935530575261/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^31 - 6260358793869188957322962645274395658616902015708482079384302254070\ 963665919/714394798377736717215640644382618036041190638057613433791\ 28171589478737862144*c_0101_5^30 + 3598924263590049946790487813530102490804133074997675477885525656269\ 9403581041/71439479837773671721564064438261803604119063805761343379\ 128171589478737862144*c_0101_5^29 + 3320962751139861936884559997401446294400592593552533401275444597754\ 1330450097/17859869959443417930391016109565450901029765951440335844\ 782042897369684465536*c_0101_5^28 + 7533078450565852290016139294212240878160211837110179828449064714741\ 06190637559/3571973991888683586078203221913090180205953190288067168\ 9564085794739368931072*c_0101_5^27 + 1928635515260632717767560564293919386658531353749579533120785255139\ 943691417889/357197399188868358607820322191309018020595319028806716\ 89564085794739368931072*c_0101_5^26 + 1626612384123388204534270905172980922012663738522263713149478192885\ 5841575904087/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^25 + 3331878518536516506402289642061678496665371190279996669095649327047\ 9453768794907/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^24 + 1884367239150128193721071818912151951734251326740255142633773237376\ 7114157911487/17859869959443417930391016109565450901029765951440335\ 844782042897369684465536*c_0101_5^23 + 1239502817705178286909638869167204994990963770926587596283542086714\ 30389447015179/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^22 + 1174154837934093858894182428543448636095650498745063732164359093346\ 85723370196523/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^21 + 5228205189306530438597159768530125700857375817395994012915396001590\ 8061307278945/35719739918886835860782032219130901802059531902880671\ 689564085794739368931072*c_0101_5^20 - 8605872387996726627946754252452125720045936744546178093927757164018\ 9445750724853/17859869959443417930391016109565450901029765951440335\ 844782042897369684465536*c_0101_5^19 - 7263093818094247366480186966884449937186000691614648650259110293056\ 75052887484811/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^18 - 2009529226720008456864194101555389299083823267870616573363450808099\ 430705865696687/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^17 - 1381846052722299750117582193107572891122192987354106959967586117873\ 628931460770889/357197399188868358607820322191309018020595319028806\ 71689564085794739368931072*c_0101_5^16 - 4183322589162258497756967448537662053009492796596157733386868379753\ 890482289626359/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^15 - 4448022852147614058963558861636670669293713820245175898045730265632\ 341763797391303/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^14 - 2309298864600778733106384245524784315189690776355427432938060502335\ 533531278064037/357197399188868358607820322191309018020595319028806\ 71689564085794739368931072*c_0101_5^13 - 1221754132215155390149870435517497669752431076170901208284415870615\ 14628735426175/2232483744930427241298877013695681362628720743930041\ 980597755362171210558192*c_0101_5^12 - 7226123141686579527737347851404076288622677442371562791195563585125\ 85848339250259/1785986995944341793039101610956545090102976595144033\ 5844782042897369684465536*c_0101_5^11 - 2036115062552641008477065072353612889329269155685837711220851848496\ 835587579741129/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^10 - 5269769439862265467911290986905064074123224073301310978483877815801\ 10555431192533/3571973991888683586078203221913090180205953190288067\ 1689564085794739368931072*c_0101_5^9 - 8832663901279773455052345362511313782638571980051079907637825584124\ 1698355591399/89299349797217089651955080547827254505148829757201679\ 22391021448684842232768*c_0101_5^8 - 2392822714852168409619050528780212492635461663534225342603655425679\ 21323161479229/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^7 - 1191924884791375672339012758520170170059713583886968042236277582411\ 8804426304227/44649674898608544825977540273913627252574414878600839\ 61195510724342421116384*c_0101_5^6 - 3357424921727389355667471039716593797943958515790329414322609819052\ 6835725556247/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^5 - 9722250578426667876139870168340275328063011759131439185281748756569\ 992271779369/178598699594434179303910161095654509010297659514403358\ 44782042897369684465536*c_0101_5^4 - 1672893195561566584470548475244183233916460389718727671770242935635\ 377759224017/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^3 - 4793096606720004238854991657860295162231477680229077283490138229445\ 732334617145/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^2 + 6058668638968904440274270129794685810947996985794069622318758980345\ 0674238263/71439479837773671721564064438261803604119063805761343379\ 128171589478737862144*c_0101_5 - 1571037108489778313305085295194472\ 02110392232552558095416807706266936711231877/7143947983777367172156\ 4064438261803604119063805761343379128171589478737862144, c_0101_1 + 129961594602707336186267108960491780408915930868692121790453\ 4310907775672035/71439479837773671721564064438261803604119063805761\ 343379128171589478737862144*c_0101_5^31 + 7706238014297321373686196695496799452751600732238531361504182528900\ 907021441/714394798377736717215640644382618036041190638057613433791\ 28171589478737862144*c_0101_5^30 - 5664743288130795616785598376165056051282363615544709807274920463260\ 4566589007/71439479837773671721564064438261803604119063805761343379\ 128171589478737862144*c_0101_5^29 - 3873387269487359468684233888728199506185746464665572061522852520274\ 1720566303/17859869959443417930391016109565450901029765951440335844\ 782042897369684465536*c_0101_5^28 - 9326331799830305735096009411584788431133144266687760067671653851131\ 59623929353/3571973991888683586078203221913090180205953190288067168\ 9564085794739368931072*c_0101_5^27 - 1931137461224719458224785920284040077114677980513810278946708299851\ 160358161471/357197399188868358607820322191309018020595319028806716\ 89564085794739368931072*c_0101_5^26 - 1658465446695127189375677916170070581720691029693766936489662116851\ 1376998831657/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^25 - 3034398836360522315542239724759401852766772463401916757293692752787\ 9086585119013/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^24 - 1326359531880657684354955039350218063099966987262188897843972544220\ 4024552301233/17859869959443417930391016109565450901029765951440335\ 844782042897369684465536*c_0101_5^23 - 1051126893003421271423039483707783394676608798092645130963780206811\ 56337576134005/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^22 + 3138921687144803757712261604053097430476986273776271407010886363004\ 6109307733099/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^21 - 4618662964355747449955465469448281158354696455040918095860050657841\ 3510765335935/35719739918886835860782032219130901802059531902880671\ 689564085794739368931072*c_0101_5^20 + 1701716501342211807474994783800996306005951901086341528722602832650\ 06571389443755/1785986995944341793039101610956545090102976595144033\ 5844782042897369684465536*c_0101_5^19 + 4162913507668276208447370343113026057181389154782975949950349216403\ 80766616742453/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^18 + 1944812978360388130241382497897789384820880085925921178901468770257\ 948875864663249/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^17 + 6674228757196940683528236799721286160792337642176109178410497793479\ 91909702141751/3571973991888683586078203221913090180205953190288067\ 1689564085794739368931072*c_0101_5^16 + 2519073468421146224413080790977907417763804766730058645905008243622\ 970206070528969/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^15 + 1605222896761760410022464450042168280785192908987806934367512888435\ 668280348835257/714394798377736717215640644382618036041190638057613\ 43379128171589478737862144*c_0101_5^14 + 7474850517381466315647757013622259030296257892102493798555944337069\ 03013874255835/3571973991888683586078203221913090180205953190288067\ 1689564085794739368931072*c_0101_5^13 + 3141950360588456242968836086801755562012600406280956724116601737365\ 6619842922947/22324837449304272412988770136956813626287207439300419\ 80597755362171210558192*c_0101_5^12 + 5275280746961545286000829108391325988984328633214106923075385418118\ 7348515044461/17859869959443417930391016109565450901029765951440335\ 844782042897369684465536*c_0101_5^11 + 4685585796523807650849216572547022601834877547505568631332826721448\ 80853033927799/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^10 - 8915491981935986044116262193760959994575363822725036305109097366491\ 4213979175829/35719739918886835860782032219130901802059531902880671\ 689564085794739368931072*c_0101_5^9 + 2906236114483580181613287813427724819539217327832732195964295558069\ 9318894599097/89299349797217089651955080547827254505148829757201679\ 22391021448684842232768*c_0101_5^8 - 1211414441480203469434715678777687138209180336330796153086324060667\ 15182400728509/7143947983777367172156406443826180360411906380576134\ 3379128171589478737862144*c_0101_5^7 + 5096793836494256313072831525887876611652535534196712411243549408708\ 396260767869/446496748986085448259775402739136272525744148786008396\ 1195510724342421116384*c_0101_5^6 - 4064021116104845700214803833689315218123786835425525825888859369049\ 6408046374871/71439479837773671721564064438261803604119063805761343\ 379128171589478737862144*c_0101_5^5 + 3852720249302501116383008226736181594526013553289579362776528503966\ 860392777271/178598699594434179303910161095654509010297659514403358\ 44782042897369684465536*c_0101_5^4 - 5221390277526637868695533596984538716304002996948668181623813517035\ 065332064721/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^3 + 1049285761516298188336876805204337016405950179824035072964902815318\ 522824980423/714394798377736717215640644382618036041190638057613433\ 79128171589478737862144*c_0101_5^2 - 1611970257106521769365977685352609899423619058938818618831476631248\ 38677463305/7143947983777367172156406443826180360411906380576134337\ 9128171589478737862144*c_0101_5 + 461350341537273503940210582025201\ 80398449686261800501293929163138721292854715/7143947983777367172156\ 4064438261803604119063805761343379128171589478737862144, c_0101_3 - 101385944864579971159683512342637832586189047332483056313161\ 7585704747362904983/63581137055618567832192017350053005207665966787\ 12759560742407271463607669730816*c_0101_5^31 - 4512112424059582777300897140603017053730203239630772753593219837034\ 519672852157/635811370556185678321920173500530052076659667871275956\ 0742407271463607669730816*c_0101_5^30 + 4891015479893420052475605810567745885502152518285641302521281108835\ 3145352649107/63581137055618567832192017350053005207665966787127595\ 60742407271463607669730816*c_0101_5^29 + 1007798822558665743139822363304083267404451112478765945974474419915\ 8911496369811/15895284263904641958048004337513251301916491696781898\ 90185601817865901917432704*c_0101_5^28 + 7460718620060991713411370471191979731826294930944138802262325081153\ 10506157428581/3179056852780928391609600867502650260383298339356379\ 780371203635731803834865408*c_0101_5^27 + 4299912910830493629480722691863432209075485239112151050440518525375\ 06521399366307/3179056852780928391609600867502650260383298339356379\ 780371203635731803834865408*c_0101_5^26 + 1452196103196924372892006232551636668442049735621955789531593552643\ 3320235039650501/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^25 + 3117905164143921999210999059838132461419501140304967882792767310258\ 232811956350481/635811370556185678321920173500530052076659667871275\ 9560742407271463607669730816*c_0101_5^24 + 1606951096613210566875002927590247586568363668378497208722199912509\ 2993021188348861/15895284263904641958048004337513251301916491696781\ 89890185601817865901917432704*c_0101_5^23 - 1421299073669051871557509600968920266649305663775678611081272354845\ 3786492922360863/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^22 + 1180774149189344218901961921409302069383449531617976547534934734231\ 74791406405580097/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^21 - 8076450187049244676532980001245341419411726585938581575309434291737\ 4611518472693789/31790568527809283916096008675026502603832983393563\ 79780371203635731803834865408*c_0101_5^20 - 1541521699884665025840636331857708948156670784908195478008811903300\ 5652784349379071/15895284263904641958048004337513251301916491696781\ 89890185601817865901917432704*c_0101_5^19 - 6012068262264012675975653655107010700646332859469405789024015038905\ 90334929429192929/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^18 - 6766011332564478456803140018133807562971637799791537351095256932066\ 39329093601687885/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^17 - 5785824031566319085120960100775123918272897632341327010084507655325\ 41417820414444379/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^16 - 1264281409290813633296435775167597025253826509246604046462443671265\ 325163309090228261/635811370556185678321920173500530052076659667871\ 2759560742407271463607669730816*c_0101_5^15 - 1240608072417828348843018832440085494044189620862893272368588236726\ 314309710138875285/635811370556185678321920173500530052076659667871\ 2759560742407271463607669730816*c_0101_5^14 - 5835350375874991864584892050916253241499799519474340135459401509238\ 28152218484971887/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^13 - 2368032231655679221678623541156024557048461950421408422680343718233\ 3593272927175157/19869105329880802447560005421891564127395614620977\ 3736273200227233237739679088*c_0101_5^12 - 1541444873509464772990599012867329380075226343336639546105148409618\ 55960446198765273/1589528426390464195804800433751325130191649169678\ 189890185601817865901917432704*c_0101_5^11 - 2750347325897012377169920621827471962883483277429038462117394521197\ 05442164018475803/6358113705561856783219201735005300520766596678712\ 759560742407271463607669730816*c_0101_5^10 - 1056716422424892314191727676046654636247420506764945978630175192438\ 03510909850247999/3179056852780928391609600867502650260383298339356\ 379780371203635731803834865408*c_0101_5^9 - 8526563368044942825903111557601896492346703574670661677008288830719\ 479267388148149/794764213195232097902400216875662565095824584839094\ 945092800908932950958716352*c_0101_5^8 - 5155863907685262666533048915219644248778185946467000231902126989904\ 5068030962655607/63581137055618567832192017350053005207665966787127\ 59560742407271463607669730816*c_0101_5^7 - 8305143996742419331578946519012774840996756062801864068242736974973\ 30889487082289/3973821065976160489512001084378312825479122924195474\ 72546400454466475479358176*c_0101_5^6 - 8232168705166385168474210085157951036072324362370311273178799243749\ 543342118887557/635811370556185678321920173500530052076659667871275\ 9560742407271463607669730816*c_0101_5^5 - 5133652235343427198237028501773161901995894032961435618106424788535\ 06805138126843/1589528426390464195804800433751325130191649169678189\ 890185601817865901917432704*c_0101_5^4 - 7716726176857659563071848958775168521380702511033218114594870521875\ 01171901592371/6358113705561856783219201735005300520766596678712759\ 560742407271463607669730816*c_0101_5^3 - 1679588452152031104653362874722717318415918752442044062488308841839\ 72729316584939/6358113705561856783219201735005300520766596678712759\ 560742407271463607669730816*c_0101_5^2 - 2246265930030370374447160680062225914661399520718616872410720338437\ 6621940510107/63581137055618567832192017350053005207665966787127595\ 60742407271463607669730816*c_0101_5 - 4350783686276023223661390085178573406227672377838600206473869443626\ 998261691471/635811370556185678321920173500530052076659667871275956\ 0742407271463607669730816, c_0101_5^32 + 4*c_0101_5^31 - 50*c_0101_5^30 - 17*c_0101_5^29 - 1466*c_0101_5^28 - 192*c_0101_5^27 - 14301*c_0101_5^26 + 3262*c_0101_5^25 - 65483*c_0101_5^24 + 42733*c_0101_5^23 - 138166*c_0101_5^22 + 219239*c_0101_5^21 - 40438*c_0101_5^20 + 611979*c_0101_5^19 + 405130*c_0101_5^18 + 982109*c_0101_5^17 + 859405*c_0101_5^16 + 899838*c_0101_5^15 + 834989*c_0101_5^14 + 452386*c_0101_5^13 + 479900*c_0101_5^12 + 112505*c_0101_5^11 + 192679*c_0101_5^10 + 5818*c_0101_5^9 + 57593*c_0101_5^8 - 4407*c_0101_5^7 + 11571*c_0101_5^6 - 1057*c_0101_5^5 + 1305*c_0101_5^4 - 86*c_0101_5^3 + 66*c_0101_5^2 - 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB