Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 930524137] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1136 geometric_solution 5.00182537 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811353321404 0.074306986521 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 1 -1 0 0 -1 1 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.740875453007 0.161697667396 3 1 4 1 0132 0132 0132 1023 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 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688050006210 0.736840899294 2 5 6 6 0132 0132 3201 0132 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 -1 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.172860931812 2.043248318789 6 6 5 2 1023 2310 3201 0132 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 1 -1 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.172860931812 2.043248318789 4 3 5 5 2310 0132 2031 1302 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 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300372045440 0.534381238553 3 4 3 4 2310 1023 0132 3201 0 0 0 0 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 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.041110923137 0.485938746842 ==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_2'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1354039580664250053221063761610953207295706284747228717268804800315\ 451543419/258318004138168606758892960330178392368502929050889316907\ 6793004298565826326*c_0101_4^27 + 629720826558566675452757077683079\ 79356524386383191389848314571921416559670/3348566720309593050578242\ 07835416434551763056177078744139584278334999273783*c_0101_4^26 + 1327169523024361313555928177843815430680447420374829105274041984260\ 5585592393/30137100482786337455204178705187479109658675055937086972\ 56258505014993464047*c_0101_4^25 - 2282184427786994528451535388081474570047803552821037432876651083430\ 82098678938/9041130144835901236561253611556243732897602516781126091\ 768775515044980392141*c_0101_4^24 + 8109220894469071533398375539323697491983071554238042938145200477413\ 09349648107/1808226028967180247312250722311248746579520503356225218\ 3537551030089960784282*c_0101_4^23 - 1041745499899159481163352602786391776167688110864557634637351239398\ 626814894582/904113014483590123656125361155624373289760251678112609\ 1768775515044980392141*c_0101_4^22 + 6326813415737956471796565443744108563422050716387853065323190047765\ 959923959661/180822602896718024731225072231124874657952050335622521\ 83537551030089960784282*c_0101_4^21 - 7432966275276659578260726714483706816809481673103436807261348573893\ 9121876783/22323778135397287003854947189027762303450870411805249609\ 3056185556666182522*c_0101_4^20 + 350866122686031642802736071097566\ 4531174145993062654554257354922014022067780332/30137100482786337455\ 20417870518747910965867505593708697256258505014993464047*c_0101_4^1\ 9 - 453228942658989237827134960658952064999559870202594709331562669\ 657641620514639/301371004827863374552041787051874791096586750559370\ 8697256258505014993464047*c_0101_4^18 + 3891058004642404393750099572010366116188647515449242306094999183416\ 346575100195/129159002069084303379446480165089196184251464525444658\ 4538396502149282913163*c_0101_4^17 + 2367411007965583451623830614819080698034974494648855593169836941540\ 382882885217/258318004138168606758892960330178392368502929050889316\ 9076793004298565826326*c_0101_4^16 + 5162679530700121320441897422671358181204379156916980817126952952430\ 6434279969786/90411301448359012365612536115562437328976025167811260\ 91768775515044980392141*c_0101_4^15 + 8840206476825039027953685890950609644243783261802328305370131795449\ 767857307051/258318004138168606758892960330178392368502929050889316\ 9076793004298565826326*c_0101_4^14 + 5127283842346708241360951094950317007957080908565890655130466936619\ 3614458291837/60274200965572674910408357410374958219317350111874173\ 94512517010029986928094*c_0101_4^13 + 9937627356192781677949489576760587467359313870678096163229338862010\ 4709818124779/18082260289671802473122507223112487465795205033562252\ 183537551030089960784282*c_0101_4^12 + 5347277104090663841806761423196549227487133977755999748749258649825\ 5932290369855/60274200965572674910408357410374958219317350111874173\ 94512517010029986928094*c_0101_4^11 + 5375534268751304804986390213684405399626939861977041502287045355364\ 5623205319925/90411301448359012365612536115562437328976025167811260\ 91768775515044980392141*c_0101_4^10 + 4325690130543660900992325647928499635088160601918428162078056557075\ 9261093006845/60274200965572674910408357410374958219317350111874173\ 94512517010029986928094*c_0101_4^9 + 8142973394054986697827670900190171570150130610015640973627856836140\ 0766846908905/18082260289671802473122507223112487465795205033562252\ 183537551030089960784282*c_0101_4^8 + 2519290162768439924258541775560543841064628522592358864984619783732\ 6438760299329/60274200965572674910408357410374958219317350111874173\ 94512517010029986928094*c_0101_4^7 + 4803803248405066846093249044223863928198660759319122628105676887459\ 3446775122295/18082260289671802473122507223112487465795205033562252\ 183537551030089960784282*c_0101_4^6 + 3552709264348498019689782301541225146617096527750055042554905809062\ 9252665609367/18082260289671802473122507223112487465795205033562252\ 183537551030089960784282*c_0101_4^5 + 4787045015932033810123744431116108552295719407282735431547750770684\ 36672814123/4305300068969476779314882672169639872808382150848155281\ 79465500716427637721*c_0101_4^4 + 542425554967961957772463762665861\ 931145463159898913424513971303535433672228117/100457001609287791517\ 3472623506249303655289168531236232418752835004997821349*c_0101_4^3 + 3210204501132854112082262881917993861281453116765332015156902488237\ 49960824004/1004570016092877915173472623506249303655289168531236232\ 418752835004997821349*c_0101_4^2 + 9515979256962130717144748722902286241178928204130643797848697378641\ 5393541823/66971334406191861011564841567083286910352611235415748827\ 9168556669998547566*c_0101_4 + 446357293797402152655476077288431342\ 30871730305279872496733407490935697166169/6697133440619186101156484\ 15670832869103526112354157488279168556669998547566, c_0011_0 - 1, c_0011_4 - 292536866202989947426013134499376600951815161552949388049146\ 9386845810/52955720405528619671769774565432224757790678362215932125\ 3955105432260317*c_0101_4^27 - 848242905899902508078478389819259189\ 700617005532547003630254078404923/176519068018428732239232581884774\ 082525968927874053107084651701810753439*c_0101_4^26 + 9181488808899835648489803551336176427105932169420269864934532830122\ 759/176519068018428732239232581884774082525968927874053107084651701\ 810753439*c_0101_4^25 - 1098879333611008045880392062215928239529188\ 31658111874171569048533174989/5295572040552861967176977456543222475\ 77906783622159321253955105432260317*c_0101_4^24 + 6059133144826243718355255481978760678708543855646840001325121296341\ 4107/52955720405528619671769774565432224757790678362215932125395510\ 5432260317*c_0101_4^23 - 264845466572338431745958707154960992542358\ 591473689364785888236195372195/529557204055286196717697745654322247\ 577906783622159321253955105432260317*c_0101_4^22 + 1103727953595698539353653407112687570750541359962002841264367645616\ 192299/529557204055286196717697745654322247577906783622159321253955\ 105432260317*c_0101_4^21 + 2279784378844986405991074714066841602333\ 54826171939103891852251415507165/1765190680184287322392325818847740\ 82525968927874053107084651701810753439*c_0101_4^20 + 1202274667990782350380380089353746200058302163523293755871823414490\ 536606/176519068018428732239232581884774082525968927874053107084651\ 701810753439*c_0101_4^19 + 2279047063735095783338082221311865839780\ 995517719217879962774186694615744/176519068018428732239232581884774\ 082525968927874053107084651701810753439*c_0101_4^18 + 1424924400125770064212276190500023024588197326261451112360362488304\ 6327555/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^17 + 218100664364993855959351825635237640952\ 85029015709836468358168476859126337/5295572040552861967176977456543\ 22247577906783622159321253955105432260317*c_0101_4^16 + 3261313966906810826856769148147027454307211765850343309616456071003\ 2769717/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^15 + 472511236378303934577230329038227933580\ 02404709035417995180435563263007944/5295572040552861967176977456543\ 22247577906783622159321253955105432260317*c_0101_4^14 + 1921335897174654637190055472060619027085751653544540576413186093818\ 2027700/17651906801842873223923258188477408252596892787405310708465\ 1701810753439*c_0101_4^13 + 669635538050697555340576635395937702581\ 34775558293715841530657697360745866/5295572040552861967176977456543\ 22247577906783622159321253955105432260317*c_0101_4^12 + 2113562732813874162359780185564259524654701267101135097131210243509\ 9866307/17651906801842873223923258188477408252596892787405310708465\ 1701810753439*c_0101_4^11 + 664440144852163566377801691218392737061\ 38354474796858366439757959495093503/5295572040552861967176977456543\ 22247577906783622159321253955105432260317*c_0101_4^10 + 1815781250143704158865412266296080115603126382029870456933925871567\ 9077167/17651906801842873223923258188477408252596892787405310708465\ 1701810753439*c_0101_4^9 + 4899944121228745200161401304720408054175\ 5736348022459170909432805076858539/52955720405528619671769774565432\ 2247577906783622159321253955105432260317*c_0101_4^8 + 1061957436271314713061099558450290253146330219099259605889693347691\ 3955043/17651906801842873223923258188477408252596892787405310708465\ 1701810753439*c_0101_4^7 + 2808188630859707331441582832158203012351\ 6954777910295716180481952586335131/52955720405528619671769774565432\ 2247577906783622159321253955105432260317*c_0101_4^6 + 1597808321728822201771280358806510038216024078972354594862758903556\ 4562543/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^5 + 3782983363296228665266382764472563129699\ 668161053947602419784764503943907/176519068018428732239232581884774\ 082525968927874053107084651701810753439*c_0101_4^4 + 4755718580544337388213016411796241807946631376359467655260567249761\ 37384/5883968933947624407974419396159136084198964262468436902821723\ 3936917813*c_0101_4^3 + 3299168112338712549791298585377072937844448\ 17463920714963030066372568077/5883968933947624407974419396159136084\ 1989642624684369028217233936917813*c_0101_4^2 + 1423445333121141920864235991142809921871862943452145300284864627634\ 78910/5883968933947624407974419396159136084198964262468436902821723\ 3936917813*c_0101_4 + 284231774074836843177779170209060521558627671\ 98649521324141804953639534/5883968933947624407974419396159136084198\ 9642624684369028217233936917813, c_0101_0 + 107967403579212674052135247279897334966542287842516538167903\ 838397463372/158867161216585859015309323696296674273372035086647796\ 3761865316296780951*c_0101_4^27 - 453504085672830918523309279718609\ 89808030719755483566063859749926552898/5295572040552861967176977456\ 54322247577906783622159321253955105432260317*c_0101_4^26 - 2833805177354908964900520568602824127137323530796774278215058282116\ 74169/5295572040552861967176977456543222475779067836221593212539551\ 05432260317*c_0101_4^25 + 60660947661692753145252327976551958687578\ 11000842025941161403594309860238/1588671612165858590153093236962966\ 742733720350866477963761865316296780951*c_0101_4^24 - 1420525413697787330587694503785689508212983492679468118139851268979\ 4733223/15886716121658585901530932369629667427337203508664779637618\ 65316296780951*c_0101_4^23 + 32717441326303825919491005528102404926\ 391674740326164978161032968929936509/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^22 - 9197469059195331563115467433931276476167740039646467392500482630585\ 4490454/15886716121658585901530932369629667427337203508664779637618\ 65316296780951*c_0101_4^21 + 43118680617876655333864582699153564153\ 615108320401986293111902204447362225/529557204055286196717697745654\ 322247577906783622159321253955105432260317*c_0101_4^20 - 9823243265431558124297239224133911886133181516956763319115839056025\ 7026445/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^19 + 673479100034522387211995572339798700241\ 14713076417815423767034657191777013/5295572040552861967176977456543\ 22247577906783622159321253955105432260317*c_0101_4^18 - 6013254137823340082971018301881252213465557257291292582653482557948\ 22894990/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^17 + 1738785932222462543867145515860992143\ 61758526726113535905353207613187587266/1588671612165858590153093236\ 962966742733720350866477963761865316296780951*c_0101_4^16 - 9288925759144098874810661238870405428428513783264835664514850859564\ 21912923/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^15 - 1039156715417740530612697554934971363\ 67184630514838049801436935678623036739/1588671612165858590153093236\ 962966742733720350866477963761865316296780951*c_0101_4^14 - 3958488940679834277123110294818254099166557332995524953086554385075\ 6039804/58839689339476244079744193961591360841989642624684369028217\ 233936917813*c_0101_4^13 - 3279430898520828108250537196357331872069\ 74857281997322953680870766965353330/1588671612165858590153093236962\ 966742733720350866477963761865316296780951*c_0101_4^12 - 1029167127899965058484448241158463932408701946653619302602965233270\ 40506931/1765190680184287322392325818847740825259689278740531070846\ 51701810753439*c_0101_4^11 - 48197178138328644110279764220147499154\ 2123037774936212080482399623953270312/15886716121658585901530932369\ 62966742733720350866477963761865316296780951*c_0101_4^10 - 2243907926124713011342674166207571797477841497124964829470864045558\ 4306147/58839689339476244079744193961591360841989642624684369028217\ 233936917813*c_0101_4^9 - 37058465038841829740238029881404781446581\ 2119977632059155701986219902739032/15886716121658585901530932369629\ 66742733720350866477963761865316296780951*c_0101_4^8 - 1158467575862331582690181114465132535928044056971319192267917384021\ 9413630/58839689339476244079744193961591360841989642624684369028217\ 233936917813*c_0101_4^7 - 23949348424015930072049584572044729293092\ 4706754668980755172651626711149867/15886716121658585901530932369629\ 66742733720350866477963761865316296780951*c_0101_4^6 - 1207376163940689493305198977846435849602976059873845384720393538556\ 21284589/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^5 - 86342168311881268420389704298330507991\ 41782214689582553999685310308830614/1765190680184287322392325818847\ 74082525968927874053107084651701810753439*c_0101_4^4 - 3523848877533380679700929009836886834674882844339049478346648372701\ 043347/176519068018428732239232581884774082525968927874053107084651\ 701810753439*c_0101_4^3 - 30673010279884509080204413041815000325381\ 46744064188507184451200225671391/1765190680184287322392325818847740\ 82525968927874053107084651701810753439*c_0101_4^2 - 2498210008265654235737163044327729104585607414286453407166516824929\ 89638/5883968933947624407974419396159136084198964262468436902821723\ 3936917813*c_0101_4 + 118582196118462550552261681551868264045757695\ 43849721806023978820086293/5883968933947624407974419396159136084198\ 9642624684369028217233936917813, c_0101_1 - 205545118951023197686872801430611371746235752861943471979374\ 903728795876/158867161216585859015309323696296674273372035086647796\ 3761865316296780951*c_0101_4^27 + 993033710947204036312959083673567\ 6945191176399361119109230172524717338/58839689339476244079744193961\ 591360841989642624684369028217233936917813*c_0101_4^26 + 5372431457362150394653752715521440946233768438364264851596490643111\ 72685/5295572040552861967176977456543222475779067836221593212539551\ 05432260317*c_0101_4^25 - 11615988942099821628149296870927456400166\ 021729081580563679678567603906910/158867161216585859015309323696296\ 6742733720350866477963761865316296780951*c_0101_4^24 + 2752913006175268565046421715636709928481878025478970147107320197178\ 6828716/15886716121658585901530932369629667427337203508664779637618\ 65316296780951*c_0101_4^23 - 63330741940862049708547444859292233136\ 071487675628668526338367014773302840/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^22 + 1776151574833056781774233599079920606059412922653393966384570064795\ 12868457/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^21 - 9354350172085671077787693188212553216\ 137015036048331816602749020645197803/588396893394762440797441939615\ 91360841989642624684369028217233936917813*c_0101_4^20 + 1892654589667569048179355014388757392951203041855200903315810524202\ 38449936/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^19 - 13509080834539481821728685246903018579\ 7061759729306705695817771701309582984/52955720405528619671769774565\ 4322247577906783622159321253955105432260317*c_0101_4^18 + 1140675450997807461446054811730452025903091554017149775781183295138\ 100736718/158867161216585859015309323696296674273372035086647796376\ 1865316296780951*c_0101_4^17 - 371822085487244042818991460523159472\ 383613752606049346357956837987249562017/158867161216585859015309323\ 6962966742733720350866477963761865316296780951*c_0101_4^16 + 1712454427249964248884809919364733875224134902747860696792258839310\ 820842352/158867161216585859015309323696296674273372035086647796376\ 1865316296780951*c_0101_4^15 + 115649325456570367658705831103165569\ 466731410112940177074852175419446520074/158867161216585859015309323\ 6962966742733720350866477963761865316296780951*c_0101_4^14 + 6265609356766212688036215929011909759938071359818770078860880115560\ 79036478/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^13 + 48457967190794617547393145627499310700\ 3610616869162865480162712641365736360/15886716121658585901530932369\ 62966742733720350866477963761865316296780951*c_0101_4^12 + 5031740675938804459417802091389757944501730490328501708665958678411\ 52887609/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^11 + 71694463718836611331580880852996388108\ 9058579447256945735866194433928849241/15886716121658585901530932369\ 62966742733720350866477963761865316296780951*c_0101_4^10 + 2922853189640175420755963016769605656121870016297606174446994922307\ 67129033/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^9 + 514643859774460560328952012114701937162\ 279778377759485390209712184647540780/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^8 + 1299087589411994535695303694130103277280793729837198969602851961072\ 50535111/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^7 + 313435638163188083445693056751504912368\ 251864571499657473000774244181727596/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^6 + 1236621310690069299738505094047061624880247331988257762141045586689\ 46725443/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^5 + 27143313643727892095205558731405020813\ 967710828880443319139708439751026198/529557204055286196717697745654\ 322247577906783622159321253955105432260317*c_0101_4^4 + 2619581764640729452610854457586580582226483681917909896383703398621\ 132300/176519068018428732239232581884774082525968927874053107084651\ 701810753439*c_0101_4^3 + 33016266133704059929005522242797505755795\ 39090252817921922810695153752903/1765190680184287322392325818847740\ 82525968927874053107084651701810753439*c_0101_4^2 + 1725198228487620292904866223658400539379359184884795700864204653327\ 67400/5883968933947624407974419396159136084198964262468436902821723\ 3936917813*c_0101_4 - 946865537140794258966680139470589289634872118\ 49139328445566114338007119/5883968933947624407974419396159136084198\ 9642624684369028217233936917813, c_0101_2 - 49317233708680468242107747912170837238090984050619188401/882\ 2574846217308320152481533321433455032285712520987046461*c_0101_4^27 + 8943226568807685943505829760783049734821290378663259306/882257484\ 6217308320152481533321433455032285712520987046461*c_0101_4^26 + 432943468761517936486715914089177288475046421794887135214/882257484\ 6217308320152481533321433455032285712520987046461*c_0101_4^25 - 2324663992789707257675234707654570705772057156311392277629/88225748\ 46217308320152481533321433455032285712520987046461*c_0101_4^24 + 3691055280714990512029176907538367156281604054666870261013/88225748\ 46217308320152481533321433455032285712520987046461*c_0101_4^23 - 9211268107910851803667879668445322794853986727489903693889/88225748\ 46217308320152481533321433455032285712520987046461*c_0101_4^22 + 28673007572018858880927972117919111872346313753929349804811/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^21 - 19687545925301384519677358470658270972826883772702391447978/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^20 + 88055725108229967540891545054383072129722221612715694113870/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^19 + 30618783657917142074488530312212158676965540451021671975478/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^18 + 224323260894667878387370051829378553510339329946762217193251/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^17 + 191599651484198129500658952500092324154380075554480715307679/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^16 + 427522851584033754846016413843687923879049473476898797402646/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^15 + 493690411301416263414976187817614945228383570390818508929573/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^14 + 657783718591214088400406882409048017628744957091379698963674/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^13 + 719793923622277720459571409833622340138363240078379914922853/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^12 + 690607408556807757430996592179432929918272525202195368145386/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^11 + 733950073210304413887803488664483518511039266533190620506669/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^10 + 568484831645578651803520385684363607170627294709615689803853/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^9 + 538298859417844207582690978765562641405341239223682539244679/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^8 + 334038625735656169408405141778049069438251935776929650040149/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^7 + 299674123256700947565922744241701086294642212548144583885846/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^6 + 163445175510267056222546855956930516379895648228396181426284/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^5 + 123999599783173735654203147256075222926211114677788493446494/882257\ 4846217308320152481533321433455032285712520987046461*c_0101_4^4 + 44740074650197281552255824475849866952838714337830267699419/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^3 + 26668377582287562812058359579586698128573992180896463666290/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4^2 + 13083971238895807460615685484885295433558102690276545959509/8822574\ 846217308320152481533321433455032285712520987046461*c_0101_4 + 6141306315423351613609895632122330847105209629359494445520/88225748\ 46217308320152481533321433455032285712520987046461, c_0101_3 - 292472675058329226788078556823450319110873982937430508560773\ 36626180794/1588671612165858590153093236962966742733720350866477963\ 761865316296780951*c_0101_4^27 + 2773854546278425424247473168248366\ 078027228855853361381042163373898799/176519068018428732239232581884\ 774082525968927874053107084651701810753439*c_0101_4^26 + 8246696817025882273334159699054324177938536052345907299239646596091\ 2349/52955720405528619671769774565432224757790678362215932125395510\ 5432260317*c_0101_4^25 - 154224436671373300032423972297993251078591\ 3630607058120616376237863225813/15886716121658585901530932369629667\ 42733720350866477963761865316296780951*c_0101_4^24 + 3149154373357617221397008929072111396165418993153101384785249988469\ 688778/158867161216585859015309323696296674273372035086647796376186\ 5316296780951*c_0101_4^23 - 725512096530385091323133543301255596246\ 3700965243423504262385314894816922/15886716121658585901530932369629\ 66742733720350866477963761865316296780951*c_0101_4^22 + 2160613101445445799859698233104858957214102235836164655124375309768\ 6448562/15886716121658585901530932369629667427337203508664779637618\ 65316296780951*c_0101_4^21 - 28540508350512390383836445276616838383\ 16827416397982338919883508297956602/1765190680184287322392325818847\ 74082525968927874053107084651701810753439*c_0101_4^20 + 2236780979594350875241916198434273050874947656686939675253746010247\ 1635439/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^19 - 964850615812634083933848832960839276085\ 9156844732308572809273179538242790/52955720405528619671769774565432\ 2247577906783622159321253955105432260317*c_0101_4^18 + 1484608679457707859082776304405180247008312947425494254591248803455\ 92466926/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^17 - 6975150712317330770450694105376207808\ 719929134234227021192207547098739276/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^16 + 2447724011507487338324219945793392507708713127364617696513639419739\ 87697190/1588671612165858590153093236962966742733720350866477963761\ 865316296780951*c_0101_4^15 + 7353345202004459127673354703825873752\ 6539367480298227723389565622523934957/15886716121658585901530932369\ 62966742733720350866477963761865316296780951*c_0101_4^14 + 1024834593180101121864273061415089864306508254805768949188342770762\ 33640227/5295572040552861967176977456543222475779067836221593212539\ 55105432260317*c_0101_4^13 + 11601685826836643885547564236382355577\ 8269560794700846143157304290240718344/15886716121658585901530932369\ 62966742733720350866477963761865316296780951*c_0101_4^12 + 8969494890706052624821573481886278734949326630337975109858516735637\ 0515143/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^11 + 130682106957334489974749511278073189197\ 763461044993950230525800412824258585/158867161216585859015309323696\ 2966742733720350866477963761865316296780951*c_0101_4^10 + 6078490423251731970233167748152949084115539037718642556015580626244\ 9454384/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^9 + 8313517163117506323498723468930353933315\ 4143287265647697258612116317739540/15886716121658585901530932369629\ 66742733720350866477963761865316296780951*c_0101_4^8 + 2825555245573540824953247646331169106635465446805018467875188653721\ 0043018/52955720405528619671769774565432224757790678362215932125395\ 5105432260317*c_0101_4^7 + 4954965528914452563807825317298230510763\ 7271659925464656810410840166176368/15886716121658585901530932369629\ 66742733720350866477963761865316296780951*c_0101_4^6 + 2820669662026068754373850106934757073975058746927340696450958224636\ 6041051/15886716121658585901530932369629667427337203508664779637618\ 65316296780951*c_0101_4^5 + 420680633960389070788273274792255573494\ 4602412668433759862531292971704191/52955720405528619671769774565432\ 2247577906783622159321253955105432260317*c_0101_4^4 + 2522416900349137886729382126495925711664372816501557553683097887235\ 37823/1765190680184287322392325818847740825259689278740531070846517\ 01810753439*c_0101_4^3 + 525508389249750080432515626320028227071275\ 534707027192853686324196000655/176519068018428732239232581884774082\ 525968927874053107084651701810753439*c_0101_4^2 + 4048193965357254625978647545001287555176213357927244571962970643920\ 0650/58839689339476244079744193961591360841989642624684369028217233\ 936917813*c_0101_4 - 4946482638058488965284976650076641793611036920\ 352218782493030340719209/588396893394762440797441939615913608419896\ 42624684369028217233936917813, c_0101_4^28 - 6/7*c_0101_4^27 - 57/7*c_0101_4^26 + 368/7*c_0101_4^25 - 775/7*c_0101_4^24 + 1852/7*c_0101_4^23 - 5378/7*c_0101_4^22 + 6591/7*c_0101_4^21 - 17400/7*c_0101_4^20 + 8133/7*c_0101_4^19 - 39122/7*c_0101_4^18 + 158*c_0101_4^17 - 65986/7*c_0101_4^16 - 22591/7*c_0101_4^15 - 86235/7*c_0101_4^14 - 40805/7*c_0101_4^13 - 81462/7*c_0101_4^12 - 47041/7*c_0101_4^11 - 59721/7*c_0101_4^10 - 4930*c_0101_4^9 - 32271/7*c_0101_4^8 - 20338/7*c_0101_4^7 - 13999/7*c_0101_4^6 - 7449/7*c_0101_4^5 - 3348/7*c_0101_4^4 - 2277/7*c_0101_4^3 - 864/7*c_0101_4^2 - 324/7*c_0101_4 + 81/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB