Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 2614757203] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2291 geometric_solution 5.69940458 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -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 0 2 -2 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.513977229725 0.233581691844 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.158304201967 0.351880394869 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657607108557 0.462049919694 2 5 4 6 0132 0132 3201 0132 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258961445213 0.914730635127 3 6 2 5 2310 0132 0132 1023 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 -1 1 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.258961445213 0.914730635127 5 3 5 4 2310 0132 3201 1023 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 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568100268906 0.663530512281 6 4 3 6 3012 0132 0132 1230 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.175304612998 0.893128834202 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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' : negation(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_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 3291644988833092698828469427126957152586351245821456313168516916792\ 61711234213573769/1514697697943897195539547038339429158531562869924\ 977282556470133219934437268280*c_0101_5^37 - 2815196739854411640185874736106131514725257087852667963595487207116\ 248966650507005387/151469769794389719553954703833942915853156286992\ 4977282556470133219934437268280*c_0101_5^36 + 7188100597194608396223536625919153476235355596564767144137131999543\ 554651780680597989/151469769794389719553954703833942915853156286992\ 4977282556470133219934437268280*c_0101_5^35 + 7350624325745896129033552586451349378101645755242527979183656012291\ 8778635521878279493/15146976979438971955395470383394291585315628699\ 24977282556470133219934437268280*c_0101_5^34 - 4022863759046424945627391502712972215334459189436950393301837173029\ 4076765728159942851/15146976979438971955395470383394291585315628699\ 24977282556470133219934437268280*c_0101_5^33 - 9211561837185346372350042352183027619274920573109406642351402180632\ 58321075047940348823/1514697697943897195539547038339429158531562869\ 924977282556470133219934437268280*c_0101_5^32 - 2228283681006633191100950558866861663652873535465906139978914733316\ 47451650453405356779/7573488489719485977697735191697145792657814349\ 62488641278235066609967218634140*c_0101_5^31 + 7835572931142701810560065281569546883558029976752503588892601407714\ 480184945666876129117/151469769794389719553954703833942915853156286\ 9924977282556470133219934437268280*c_0101_5^30 + 3280818286145732926647935184559434094612108430772581439796756374854\ 318079568286963473333/757348848971948597769773519169714579265781434\ 962488641278235066609967218634140*c_0101_5^29 - 8110287281349532780662491075111697947463777251392633722845861954466\ 929595136311764380511/302939539588779439107909407667885831706312573\ 984995456511294026643986887453656*c_0101_5^28 - 5584355437316969645436253525672585872525001064067725706381460534459\ 508048178023753566853/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^27 + 2453068942252305733518992489559792067823743271836188805299232436073\ 0323337809373774576601/30293953958877943910790940766788583170631257\ 3984995456511294026643986887453656*c_0101_5^26 + 1011407924321898379938381450505282280879887250623594795870363978855\ 2730179414287965535413/79720931470731431344186686228391008343766466\ 838156699081919480695786023014120*c_0101_5^25 - 2061485254128290708860228502957953771960142534065490892531397315359\ 17049844376589138000331/1514697697943897195539547038339429158531562\ 869924977282556470133219934437268280*c_0101_5^24 - 5225273525784319378581608487664606573841443307657665314651122910280\ 30425070336126493328581/1514697697943897195539547038339429158531562\ 869924977282556470133219934437268280*c_0101_5^23 + 1621517307519127684124113350674054240676981329150549708287735036970\ 3580280985234441586661/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^22 + 9086844175414328487896009436055126501496355770062639144033967008458\ 4221139584314694951597/15146976979438971955395470383394291585315628\ 6992497728255647013321993443726828*c_0101_5^21 + 8987687452745295147589537321938055483434230331309136290733033032017\ 0449041530598383579401/75734884897194859776977351916971457926578143\ 4962488641278235066609967218634140*c_0101_5^20 - 5179897962052772939576592126146016353088150740933535973007420933514\ 18473694901866385698283/7573488489719485977697735191697145792657814\ 34962488641278235066609967218634140*c_0101_5^19 - 6303761059575724074264973152809735931901326673949712894475787747978\ 2074515058307814423774/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^18 + 1971032181202235587026032459511065352977977698007318405232749247632\ 71080902515505194181421/3786744244859742988848867595848572896328907\ 17481244320639117533304983609317070*c_0101_5^17 + 5697120979109363712377661194303751589848324941764124521734461785225\ 75321302943595570728227/1514697697943897195539547038339429158531562\ 869924977282556470133219934437268280*c_0101_5^16 - 2019721477699075701862643771677270498261043266303979133315184178364\ 88625742835658754843867/7573488489719485977697735191697145792657814\ 34962488641278235066609967218634140*c_0101_5^15 - 1922256672823002546777311665005221711284037406438271149177557991002\ 84092344256965649798323/7573488489719485977697735191697145792657814\ 34962488641278235066609967218634140*c_0101_5^14 + 1932101113212431120545807284617851744105957891924788733397153417061\ 2840161134128565583183/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^13 + 7781620779227097096530017859777195172364255782504802897398095976082\ 251488274608433950577/658564216497346606756324799278012677622418639\ 09781620980716092748692801620360*c_0101_5^12 - 5475230151895274034078185301335697001654007991668708788379331835047\ 386005340461622399813/151469769794389719553954703833942915853156286\ 992497728255647013321993443726828*c_0101_5^11 - 8575445352359210250877761348590524438002930340504492238278872494781\ 465929233286003950354/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^10 + 1522878750731352387249561140349654917578170185746857513777623020982\ 6437511688853560859089/15146976979438971955395470383394291585315628\ 69924977282556470133219934437268280*c_0101_5^9 + 2726379222923424907268412663157478266926343170425896287405765430167\ 687441167899410517223/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^8 - 3127198640305514891826751054840045195571598490155461947225173788174\ 92386219069539179303/3029395395887794391079094076678858317063125739\ 84995456511294026643986887453656*c_0101_5^7 - 1132020673592540625899351848651239704157619132653051575660140327160\ 422543109034273343111/378674424485974298884886759584857289632890717\ 481244320639117533304983609317070*c_0101_5^6 - 1181055230567488464747108319411063035585595265213117302647104511908\ 65259149853959803469/7573488489719485977697735191697145792657814349\ 62488641278235066609967218634140*c_0101_5^5 + 6190497869372523735156035922268615885894818480885804176802780115367\ 7265093524252490357/18933721224298714944244337979242864481644535874\ 0622160319558766652491804658535*c_0101_5^4 + 4846984860103514922348423384206862084088510984192569646775501981010\ 6935853959385274481/15146976979438971955395470383394291585315628699\ 24977282556470133219934437268280*c_0101_5^3 - 2786233358942156860570615355245546073305154927172056935754338285137\ 3922411087688553491/15146976979438971955395470383394291585315628699\ 24977282556470133219934437268280*c_0101_5^2 - 2187096460447898703074464812194811265472066583671361688987856354306\ 664053930029116303/151469769794389719553954703833942915853156286992\ 4977282556470133219934437268280*c_0101_5 + 7029273528759506294632425929645826125905687602949249051200919907112\ 71070749565403319/1514697697943897195539547038339429158531562869924\ 977282556470133219934437268280, c_0011_0 - 1, c_0011_1 - 452406331470295084866134188216353496384653787216367057226425\ 395749499244388/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^37 - 3829555353329859692398001299622100322225953642435820260031857485721\ 952912414/105043722023936800542393638360235613872613808975962398254\ 141846426908435*c_0101_5^36 + 1019525611552421788406049472367902251\ 8672084091486306049801832567558123324513/10504372202393680054239363\ 8360235613872613808975962398254141846426908435*c_0101_5^35 + 9997526010405355770560412715304575871542107039020796397630876079822\ 9880128071/10504372202393680054239363836023561387261380897596239825\ 4141846426908435*c_0101_5^34 - 635229542711934737438495348631465472\ 10550249989461876666751829447240165455492/1050437220239368005423936\ 38360235613872613808975962398254141846426908435*c_0101_5^33 - 1256348417949300682308060199626924114998368765103900796081841112791\ 964573479236/105043722023936800542393638360235613872613808975962398\ 254141846426908435*c_0101_5^32 - 5073605557444674726083051675490744\ 49336282682911590857943047855953946242172566/1050437220239368005423\ 93638360235613872613808975962398254141846426908435*c_0101_5^31 + 1076098848402131506997339894370751349414404189892119216245000312185\ 3005707114744/10504372202393680054239363836023561387261380897596239\ 8254141846426908435*c_0101_5^30 + 808066501482302837954664397007616\ 4531360406554566717165796366944006014168711657/10504372202393680054\ 2393638360235613872613808975962398254141846426908435*c_0101_5^29 - 1119414554036607958668613203944407693310658538728675912808453992039\ 1672368887123/21008744404787360108478727672047122774522761795192479\ 650828369285381687*c_0101_5^28 - 5638989544628676229310164577231109\ 4907410565056816351492408809060334889246008188/10504372202393680054\ 2393638360235613872613808975962398254141846426908435*c_0101_5^27 + 3419823245695756490925964207444515887434492173421075496088781491600\ 0712590501528/21008744404787360108478727672047122774522761795192479\ 650828369285381687*c_0101_5^26 + 1305205136803538176429870432750451\ 8036580219897418394010278225433578706801041826/55286169486282526601\ 25980966328190203821779419787494644954834022468865*c_0101_5^25 - 2969010225605100162049426502464200614584137457403416101018060984827\ 17274382221682/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^24 - 6855588005882341695913358815286002934366926627715548487183264775111\ 00905848762677/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^23 + 2217010315122133187823798292323557723308230959307523759772634966302\ 39259371030591/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^22 + 2416184514486958252509902536101107729077089021984473397890560840277\ 38354875360376/2100874440478736010847872767204712277452276179519247\ 9650828369285381687*c_0101_5^21 + 162520212938929448817061055525529\ 796677653436724522838134545526819726987869914944/105043722023936800\ 542393638360235613872613808975962398254141846426908435*c_0101_5^20 - 1396034446856766446421540845199954480957057513430848311292388638051\ 233179400063762/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^19 - 5862709511784275605569606683336352981567729163594728231767978024534\ 47413760296834/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^18 + 1081294443926704938443206355324193947124188642865347704681643899302\ 011412208310318/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^17 + 6912140562997541008212861109488974365753420688777524642729879309997\ 72044621923769/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^16 - 5691298693104533990065694753244482223779572533278025441290262562380\ 80654992548833/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^15 - 4729362437301863412095296968292086874304148543063971175559319531395\ 23120956548532/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^14 + 2253550682617070980006713943346952015574806380264807991687859377037\ 26579139300983/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^13 + 9587995665983765224899844785117048413380239845445466386783816610959\ 881413605104/456711834886681741488667992870589625533103517286793035\ 8875732453343845*c_0101_5^12 - 162651295419342716132122875974339715\ 10917359745433645722341416078486556514485902/2100874440478736010847\ 8727672047122774522761795192479650828369285381687*c_0101_5^11 - 8443051583571150433259211405621204941968320393835696833507374162949\ 2120325838599/10504372202393680054239363836023561387261380897596239\ 8254141846426908435*c_0101_5^10 + 231718795652517465064803319231266\ 58503420699685048847641375857571540280787889318/1050437220239368005\ 42393638360235613872613808975962398254141846426908435*c_0101_5^9 + 2693910945551858040294526681283716997950684771782636553720361896913\ 2199145266018/10504372202393680054239363836023561387261380897596239\ 8254141846426908435*c_0101_5^8 - 5815666876133263455745729241789495\ 70973173263941840968294178264988874507857493/2100874440478736010847\ 8727672047122774522761795192479650828369285381687*c_0101_5^7 - 5621462547020921297591419921016539372134429199296102423012528388081\ 300124880633/105043722023936800542393638360235613872613808975962398\ 254141846426908435*c_0101_5^6 - 15808680788503870183470278998805907\ 0250226626833851406529634091083852048278856/10504372202393680054239\ 3638360235613872613808975962398254141846426908435*c_0101_5^5 + 6156095882532123582170225542186164951493331628023938967747118856591\ 58108037712/1050437220239368005423936383602356138726138089759623982\ 54141846426908435*c_0101_5^4 + 498123151331608019135966221092829788\ 56793119253169277215564626180533543415297/1050437220239368005423936\ 38360235613872613808975962398254141846426908435*c_0101_5^3 - 3429158409791047198587932175100614192721731107308046810993915730978\ 4039369277/10504372202393680054239363836023561387261380897596239825\ 4141846426908435*c_0101_5^2 - 2365652461242082162875430700261285331\ 817154833939105840079651870040477192801/105043722023936800542393638\ 360235613872613808975962398254141846426908435*c_0101_5 + 8400637354557374624714216018880677214969141682464687148782467552215\ 82563678/1050437220239368005423936383602356138726138089759623982541\ 41846426908435, c_0011_4 + 135758376696447681160132715824617084637767573707739038979459\ 385217254510631865258/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^37 + 1132702503271054498739356775375216524266635210821970846240376895126\ 542887814070184/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^36 - 3188290410405051595408119615015009396910409610795482354431307692127\ 266487359388855/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^35 - 2954679614641300503932487334030434988752262391908711823731718364958\ 1455552129132937/37867442448597429888488675958485728963289071748124\ 432063911753330498360931707*c_0101_5^34 + 2241230651126090563978571151303650410896363299201083959676063028700\ 8789916825680096/37867442448597429888488675958485728963289071748124\ 432063911753330498360931707*c_0101_5^33 + 3725458312905263534844087583127426530536861328440154010502784859614\ 40075410959268693/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^32 + 1093419613858454538779756162026318445830511812707219799768075851227\ 87670281852929191/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^31 - 3220154871087086009969762349929439706243981089090211611937820836870\ 281719967920832720/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^30 - 2038576399388859187031473051143886793073239159849557084284631996372\ 152645103125204466/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^29 + 1684274026248886783666189578400090756252835216366701118962169708298\ 5567580136606487853/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^28 + 1485158969918233373143771599892296660461317850383062872745327888411\ 1727157373170335816/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^27 - 5204072239809766533944373091308627657810596284518979517462679239915\ 6642238010289276300/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^26 - 3563890133312865868215562809649062360735905756076056686212905902656\ 520698071228956406/199302328676828578360466715570977520859416167095\ 3917477047987017394650575353*c_0101_5^25 + 9384381202184827618789410876742060967851524061224719116393435391648\ 2533310073268494518/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^24 + 1918421659741971732506848083358249335087385613372461483146274624318\ 00013889532550732242/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^23 - 8265173273698982603769369896349968456523737578488879801638966912358\ 9803780170250232590/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^22 - 3440812512177058362630124730461105538242596486722253684685587045410\ 19715925205747787862/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^21 - 1645907021366657798095985957856864317089352496990498015783355276971\ 2432568481694060584/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^20 + 4041276065986488106529054047352038704200315103997548136670459713283\ 97494530189898823433/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^19 + 1343447660946316614540939887847902682901505781711718711448805992108\ 15025185736638563233/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^18 - 3192504773074909085702862092835542613952599304873551281151481191325\ 22566284954029817769/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^17 - 1711390710057637929782824884806182944594132191245012374790783832380\ 71022429382893760701/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^16 + 1728533606718697264579915319358195299571702692409000223060398966639\ 62211150365019507333/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^15 + 1196788342179423116129871436189714983099827884713119397093877376402\ 35617611478845382304/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^14 - 7074522639279936413581407172870238007886003304964523883049992537542\ 0528720630249280161/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^13 - 2429235144766386692687681946817998048696879776176878919299739918545\ 873576943393458209/164641054124336651689081199819503169405604659774\ 4540524517902318717320040509*c_0101_5^12 + 2592792441218229346097277771714237418968981875402247002232765990146\ 2629425755251968908/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^11 + 2136020515422970650872797546539677957245428058652289843527392846665\ 1243097638923860761/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^10 - 7522313912261909115806990965299377525557575637033278566583957441364\ 879772456141206827/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^9 - 6861414977661644111368906014805008756133215382484934485769377372037\ 559479145301520487/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^8 + 1085529163971159488190471994291247283167005704906673416346683557696\ 382985520161730727/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^7 + 1440516825117053304669253635471840172779602529569875510159070164490\ 702409125336719695/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^6 - 3942256084948844189033820708545016847971713245572998177781155898480\ 733593952426117/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^5 - 1571075748585775898456870713097773386280064856927742718911961993331\ 48560021949342142/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^4 - 9417270187720022724609902347057601067785732138002721526468665394506\ 173123485341633/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^3 + 8585268297429091770789040096153343077696419298071933965869377482976\ 993485558653774/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^2 + 4913107832057460675610165021893245675024602455886113009414075781582\ 83542313589824/3786744244859742988848867595848572896328907174812443\ 2063911753330498360931707*c_0101_5 - 2015334824875985040321013833565496487518939055598006082015377527097\ 74676641883839/3786744244859742988848867595848572896328907174812443\ 2063911753330498360931707, c_0101_0 - 161076631878212207422168344490040535490836475500423817193405\ 31524870994547119750478/1893372122429871494424433797924286448164453\ 58740622160319558766652491804658535*c_0101_5^37 - 1359734130033244568615213647477307877091732364127599879944716840041\ 41441250068087299/1893372122429871494424433797924286448164453587406\ 22160319558766652491804658535*c_0101_5^36 + 3658713735475444175351246533067297121021113539076015681845626304424\ 59057545517572033/1893372122429871494424433797924286448164453587406\ 22160319558766652491804658535*c_0101_5^35 + 3548738253579956400948689682545699886920833621113812029624425312059\ 107860524309826126/189337212242987149442443379792428644816445358740\ 622160319558766652491804658535*c_0101_5^34 - 2336122799544439111079967252242399038079986766843243586707454019766\ 214947949327096092/189337212242987149442443379792428644816445358740\ 622160319558766652491804658535*c_0101_5^33 - 4461775476033617802779918712234523289515956502635650218656158881424\ 0715516180447829891/18933721224298714944244337979242864481644535874\ 0622160319558766652491804658535*c_0101_5^32 - 1710851973479286244820586032751139449521281400175608670958848711204\ 5444543967675233731/18933721224298714944244337979242864481644535874\ 0622160319558766652491804658535*c_0101_5^31 + 3827779391440423790613217058636772242640860284344652160374914347385\ 15267210841757757894/1893372122429871494424433797924286448164453587\ 40622160319558766652491804658535*c_0101_5^30 + 2790028481883786066194044983206088482152931454969432744030787774515\ 91449967412007128382/1893372122429871494424433797924286448164453587\ 40622160319558766652491804658535*c_0101_5^29 - 3984875409552782281144306529557026411224567201001400987187917122706\ 99967275849384345104/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^28 - 1960997136936938073001649723452788037355335477944645161482852736485\ 675072279515128620983/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^27 + 1219398018213394084373388830931405505276968756198463786581419019312\ 021267726697069090194/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^26 + 4567013722789881428522282624935182264398365487099635637132763208780\ 19540309347798674621/9965116433841428918023335778548876042970808354\ 769587385239935086973252876765*c_0101_5^25 - 1065433966286391497372745081370271790800733177359225239470144530974\ 6539849403900777841352/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^24 - 2408544689827001099895400643317289651412914265220085239440437662297\ 7441822550914315726087/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^23 + 8206657495621694278364267186496685557617050481447293492843773255353\ 811284941903928932891/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^22 + 8511270740363807327862607937646536755687357010442483659032497331440\ 296232131149430084303/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^21 + 5132542966200805939525146935865301090741050969667960918576553125969\ 846970470140408577634/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^20 - 4928482897379542186197869813855937393193050237733594543245216634973\ 0938863214032123355942/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^19 - 2001307490058572788045417313354189433436154510477409188091139733238\ 8612787934745029452889/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^18 + 3826837410779439319146813538354421003689729429359587833693607830869\ 8126919917002840954743/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^17 + 2384663448512819565839255584005756464102786150960480569725778735345\ 0835617333650076092864/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^16 - 2021215751399183614968595782583279034667439502406813421244498006887\ 6457908444490868246033/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^15 - 1636388872326399812157458857465952113584740823113249450870369557126\ 0299178314955026314782/18933721224298714944244337979242864481644535\ 8740622160319558766652491804658535*c_0101_5^14 + 8034709074920882632402582575390430162104399226280362023439056990743\ 731059987451662374058/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^13 + 3317566539776912985157536779577662465202465559197533262092341827928\ 81804262819543814839/8232052706216832584454059990975158470280232988\ 722702622589511593586600202545*c_0101_5^12 - 5806849773952392165416409179583656706060167000873711107330307283104\ 56502002183684186978/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^11 - 2921406254924220496836248706998377896718718201176594088413663480865\ 981118814012727866539/189337212242987149442443379792428644816445358\ 740622160319558766652491804658535*c_0101_5^10 + 8283357057394914040721507278662182290650706511368994696168054474850\ 01350510920182543033/1893372122429871494424433797924286448164453587\ 40622160319558766652491804658535*c_0101_5^9 + 9333035779855205953428240414943946415254497341291309921511020348521\ 70402584740366748798/1893372122429871494424433797924286448164453587\ 40622160319558766652491804658535*c_0101_5^8 - 2113592876518708172185799945546405148934047711007131813838998947952\ 7913332794503266362/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^7 - 1948856157255119753396326267069352896724579319991378529937154168931\ 38574105056775667933/1893372122429871494424433797924286448164453587\ 40622160319558766652491804658535*c_0101_5^6 - 4936108819551898818393810582638487867976428681878771321629520851432\ 136833857683470151/189337212242987149442443379792428644816445358740\ 622160319558766652491804658535*c_0101_5^5 + 2131358202420714257369704281774379763463495526900991560765869397853\ 5756925993723825027/18933721224298714944244337979242864481644535874\ 0622160319558766652491804658535*c_0101_5^4 + 1688672551967079481095361792440647519984796121601960814249895316650\ 520199779794685352/189337212242987149442443379792428644816445358740\ 622160319558766652491804658535*c_0101_5^3 - 1183978439928056818681808524259584772756390009190535879252151416304\ 006767026487269402/189337212242987149442443379792428644816445358740\ 622160319558766652491804658535*c_0101_5^2 - 8067177465492054054837617600030539103565103996108404678868973477913\ 8093069875470926/18933721224298714944244337979242864481644535874062\ 2160319558766652491804658535*c_0101_5 + 2889094657708900652090722323789908959804476662191495593694868286593\ 7828371301652013/18933721224298714944244337979242864481644535874062\ 2160319558766652491804658535, c_0101_2 - 104169180201322437318738437042999166029639290018297093230055\ 0766740617278693492751/37867442448597429888488675958485728963289071\ 748124432063911753330498360931707*c_0101_5^37 - 8790792924243817904743048461588991060790305638765598402441226182668\ 079350506997618/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5^36 + 2368238453204972136681180238300621256222078501842614822627835765898\ 4766314032022736/37867442448597429888488675958485728963289071748124\ 432063911753330498360931707*c_0101_5^35 + 2294270282274312135239359285049771725141333812590643636517906259559\ 38079219549470976/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^34 - 1516313608974941097478790170289621219060319771858025386342205808027\ 43479289031383099/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^33 - 2884782557413636041753500775215113941854261531267748486528266387592\ 249166944832815137/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^32 - 1099362859877621971788620693634958801221954376359855438778788009074\ 970173327633479735/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^31 + 2475368265968854598944636928615377373296527060264711118395614935410\ 4342265684884493036/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^30 + 1798029199855863796372982126501465318657471014224275142441679881181\ 0158159244073278230/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^29 - 1288657829550540388561987356348355933270093318351714113258182523152\ 82224559872807506324/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^28 - 1264832363673731078986492728741313023707488786685083245461089881035\ 62611833074252921321/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^27 + 3944464727095744598512658346148203836764081591269765008115842924496\ 51827910911122832927/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^26 + 2947855059089421662117139790712361305775630356105581085101953210138\ 7219898700421449983/19930232867682857836046671557097752085941616709\ 53917477047987017394650575353*c_0101_5^25 - 6898957609008861810444563795918675047418503744942733017656423659764\ 31586772897236396606/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^24 - 1555450488055526598669939868862719289753775293534039333047677316203\ 400193174872005366631/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^23 + 5335489989174158426195218889978606872839040988364584739234720002330\ 87787766715869616200/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^22 + 2749424615144111588882984140861642369328269918062546483390862204910\ 390554175548896569570/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^21 + 3264421292810688286596228051567197315073031766709637206206213150447\ 16306190799674389272/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^20 - 3185402402124376864113839917411129655239324165470057215116020313808\ 224703398520742940908/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^19 - 1287378902241096674597037956531965196875349892536908006101391583082\ 124896427404520386237/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^18 + 2474629699503434504370993154050677537378189916824880681717699717836\ 766251002341308018383/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^17 + 1536335889771582575091481349373114827246958783092793908057945661072\ 596850853332126636570/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^16 - 1307987117016943397180243940801996918942613232667683986322707011277\ 825802216656656750996/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^15 - 1054793702002500396872796685357110584770824905508082804637829572410\ 102540510930397319464/378674424485974298884886759584857289632890717\ 48124432063911753330498360931707*c_0101_5^14 + 5204048733491571717016318436998140984280804417904597453078484618164\ 04663541000164661907/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^13 + 2138697794894742348128893953035724827776645525913869450158375669092\ 1799845552774008307/16464105412433665168908119981950316940560465977\ 44540524517902318717320040509*c_0101_5^12 - 1881348539929625584983531108154049057592323946426391167856879998293\ 29030338787799756569/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^11 - 1883336731811414771911880155574962605880856162058619514005281433195\ 79752646472520210350/3786744244859742988848867595848572896328907174\ 8124432063911753330498360931707*c_0101_5^10 + 5370593726263327363391541945431515867275040682256678562331755036552\ 0074170126839175092/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^9 + 6017778565450784324499439165669679143019012500891105923213171728829\ 7146687960343151804/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^8 - 6881729329395658156888885009297047237606748389699622474744422861698\ 725098823709686515/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^7 - 1256968548579324434448201650555822991586008438145727580518978418600\ 8983038692818452425/37867442448597429888488675958485728963289071748\ 124432063911753330498360931707*c_0101_5^6 - 3089598655152865945657901785265364546481134162835034083625672890531\ 04145536836806373/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^5 + 1375118829814092675029846488193604922565945431137163491325357009588\ 473646464186674032/378674424485974298884886759584857289632890717481\ 24432063911753330498360931707*c_0101_5^4 + 1082369548859044902148128444226365156803003966666655178841901761871\ 62668867022636725/3786744244859742988848867595848572896328907174812\ 4432063911753330498360931707*c_0101_5^3 - 7638936304634717622125006407829035525182167954793503721612851061320\ 4806771641678908/37867442448597429888488675958485728963289071748124\ 432063911753330498360931707*c_0101_5^2 - 5182783053633581698739790339676152662031591686177465856609102062590\ 170276573730975/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707*c_0101_5 + 1862845054673194619790327654938141452423554241963536151823480216664\ 234941904660400/378674424485974298884886759584857289632890717481244\ 32063911753330498360931707, c_0101_3 + 141499551842956687548756321160532153632600430984074486179511\ 6892917666977523/10504372202393680054239363836023561387261380897596\ 2398254141846426908435*c_0101_5^37 + 1192504556794440288901348711396063322220759088852474465391512389811\ 0443033739/10504372202393680054239363836023561387261380897596239825\ 4141846426908435*c_0101_5^36 - 322942424058552626560467477869167186\ 89589676110211299885541309599395995023503/1050437220239368005423936\ 38360235613872613808975962398254141846426908435*c_0101_5^35 - 3111991868892255153028542392465537099777240682411308496568703670503\ 86271663136/1050437220239368005423936383602356138726138089759623982\ 54141846426908435*c_0101_5^34 + 20921603759501743124290738623494470\ 9765172577991276426780941349182026255810832/10504372202393680054239\ 3638360235613872613808975962398254141846426908435*c_0101_5^33 + 3914135622924700734459058666087811031400523047413814139613325121404\ 489504096491/105043722023936800542393638360235613872613808975962398\ 254141846426908435*c_0101_5^32 + 1451745963912717011614401616374854\ 803296432094723106637473492321887319219582116/105043722023936800542\ 393638360235613872613808975962398254141846426908435*c_0101_5^31 - 3361438920964320785685714549324282425527866689827226499046182594418\ 4440166068504/10504372202393680054239363836023561387261380897596239\ 8254141846426908435*c_0101_5^30 - 240485156078771928414912119325733\ 63668605136762104976550843571386592962650248032/1050437220239368005\ 42393638360235613872613808975962398254141846426908435*c_0101_5^29 + 3501600172631950610487456883279130552784086901807130356520967799423\ 2895179160192/21008744404787360108478727672047122774522761795192479\ 650828369285381687*c_0101_5^28 + 1697986443704146504696033050241785\ 33252809203278789153347427601923744666645447388/1050437220239368005\ 42393638360235613872613808975962398254141846426908435*c_0101_5^27 - 1072892750581269122901074688921001601549123263274027931469580324488\ 08481716077698/2100874440478736010847872767204712277452276179519247\ 9650828369285381687*c_0101_5^26 - 396993860715624361742275580613315\ 43531318800944064976338277814114725512197480781/5528616948628252660\ 125980966328190203821779419787494644954834022468865*c_0101_5^25 + 9415408620044635733027765159175275596090061002996959543357159851114\ 69390744132757/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^24 + 2099292577897257272438053931628601051404539970381388936826573259706\ 167069000668382/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^23 - 7399867191285559093859826166965514091017530964418876261067191447627\ 82675878761601/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^22 - 7432898112402920471735074817742853175874088514346189853478442232714\ 99353046325683/2100874440478736010847872767204712277452276179519247\ 9650828369285381687*c_0101_5^21 - 412677848503553793683853459357149\ 740580084558707755822683308688392755150433872484/105043722023936800\ 542393638360235613872613808975962398254141846426908435*c_0101_5^20 + 4311822118852241272098687218155889488683706346587509228818865623013\ 211246006549422/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^19 + 1708992772488767480706451413081592110815906058480453976499129509122\ 129610334048984/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^18 - 3355404571603430162117714314305565076272636826142703855555349996589\ 944963076691353/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^17 - 2052127908063328907046904965989404149490246959096414684127893390521\ 904516067701179/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^16 + 1777884389390454097405743967537346704155028088055904034999104946011\ 399606590708053/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^15 + 1411419982876837765619543585429295305318573463794700705223209751746\ 229360462531747/105043722023936800542393638360235613872613808975962\ 398254141846426908435*c_0101_5^14 - 7094119859025991394888965267556820480271252603411249770999828036199\ 20903363924468/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^13 - 2862028817704400262994815987119316145858211494985307921634314074046\ 6218887933859/45671183488668174148866799287058962553310351728679303\ 58875732453343845*c_0101_5^12 + 51360134071498442284011235084882263\ 856516762653603475404623536933970431908479934/210087444047873601084\ 78727672047122774522761795192479650828369285381687*c_0101_5^11 + 2520053898415141724855434162256287397906125702316419879355348405410\ 35345507983799/1050437220239368005423936383602356138726138089759623\ 98254141846426908435*c_0101_5^10 - 7341910880694884205345968142310966017366367608498010182711575303287\ 2627673750333/10504372202393680054239363836023561387261380897596239\ 8254141846426908435*c_0101_5^9 - 8057042256755022371849837395442963\ 0697031511651518233010349075873676937608100433/10504372202393680054\ 2393638360235613872613808975962398254141846426908435*c_0101_5^8 + 1906050727358550422437766793460109819479710429435452807738950617318\ 530971493993/210087444047873601084787276720471227745227617951924796\ 50828369285381687*c_0101_5^7 + 168374872934313302389786789676659121\ 35447416431595320391150997804458905597238098/1050437220239368005423\ 93638360235613872613808975962398254141846426908435*c_0101_5^6 + 3743229371729058361210715081340857910590073310200034217126721532799\ 39110372066/1050437220239368005423936383602356138726138089759623982\ 54141846426908435*c_0101_5^5 - 184127212895003852419056115026384313\ 9706970402004674399589827661869274950824007/10504372202393680054239\ 3638360235613872613808975962398254141846426908435*c_0101_5^4 - 1420947842327468301389417491207275264464150333860092445890893466352\ 13896103932/1050437220239368005423936383602356138726138089759623982\ 54141846426908435*c_0101_5^3 + 102127410652337891552160815390217590\ 972304241820142024066192315737773021885442/105043722023936800542393\ 638360235613872613808975962398254141846426908435*c_0101_5^2 + 6845875352791754380550689594915266515815765207410614322452037046711\ 195559556/105043722023936800542393638360235613872613808975962398254\ 141846426908435*c_0101_5 - 2483128200155750069182223421239587004585\ 514528750382775790415075505462120018/105043722023936800542393638360\ 235613872613808975962398254141846426908435, c_0101_5^38 + 9*c_0101_5^37 - 18*c_0101_5^36 - 233*c_0101_5^35 + 22*c_0101_5^34 + 2851*c_0101_5^33 + 2609*c_0101_5^32 - 23171*c_0101_5^31 - 30592*c_0101_5^30 + 114026*c_0101_5^29 + 190821*c_0101_5^28 - 310549*c_0101_5^27 - 750093*c_0101_5^26 + 360676*c_0101_5^25 + 1864693*c_0101_5^24 + 325387*c_0101_5^23 - 2926642*c_0101_5^22 - 1793798*c_0101_5^21 + 2882056*c_0101_5^20 + 2950852*c_0101_5^19 - 1682358*c_0101_5^18 - 2806969*c_0101_5^17 + 428478*c_0101_5^16 + 1716525*c_0101_5^15 + 68223*c_0101_5^14 - 752220*c_0101_5^13 - 84139*c_0101_5^12 + 282008*c_0101_5^11 + 49797*c_0101_5^10 - 86652*c_0101_5^9 - 25776*c_0101_5^8 + 15761*c_0101_5^7 + 7058*c_0101_5^6 - 1152*c_0101_5^5 - 843*c_0101_5^4 + 15*c_0101_5^3 + 46*c_0101_5^2 + c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB