Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1764292020] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1459 geometric_solution 5.28168388 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 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 0 0 0 0.174301540559 0.134451007130 0 1 1 0 0132 3201 2310 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 -2.017384744198 0.687668208077 3 0 4 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 -1 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.023659849484 1.935536713445 2 4 5 6 0132 3201 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 -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 -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.367971391746 1.037788941176 6 5 3 2 1023 0132 2310 0132 0 0 0 0 0 -1 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 0 0 0 0 1 0 -1 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.367971391746 1.037788941176 5 4 5 3 2031 0132 1302 0132 0 0 0 0 0 1 0 -1 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 -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.664773065605 0.548272347686 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 0 1 -1 0 0 1 -1 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 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.640251432947 0.551291875493 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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' : d['1'], 's_0_6' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_0'], '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_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 171625359658246083715991666447092691792333/610237280794759799727369\ 4048316785824653*c_0101_4^30 + 994774868028879610412322294476244057\ 04045/6102372807947597997273694048316785824653*c_0101_4^29 - 1080806524046330678935299122782984582326341/61023728079475979972736\ 94048316785824653*c_0101_4^28 + 13381188850789065544590020216854852\ 81186985/6102372807947597997273694048316785824653*c_0101_4^27 + 30719027763204060942844592041331384257555/5547611643588725452066994\ 58937889620423*c_0101_4^26 + 25735722786673683705422354480059497589\ 46017/6102372807947597997273694048316785824653*c_0101_4^25 + 7499991370573974092854919255199769860115002/61023728079475979972736\ 94048316785824653*c_0101_4^24 - 56313150849570343301309826703224175\ 8354356/6102372807947597997273694048316785824653*c_0101_4^23 - 15913523941081290165658813049939493383969620/6102372807947597997273\ 694048316785824653*c_0101_4^22 - 5376570933742638410167462991343416\ 253602683/6102372807947597997273694048316785824653*c_0101_4^21 - 1544767826847475516061795659392878538848684/55476116435887254520669\ 9458937889620423*c_0101_4^20 - 800785250374514232024526780881432034\ 0735885/6102372807947597997273694048316785824653*c_0101_4^19 + 69338434962678523539683937002373755324785511/6102372807947597997273\ 694048316785824653*c_0101_4^18 - 3783505750573129294093231587304262\ 7168418159/6102372807947597997273694048316785824653*c_0101_4^17 - 2962388289923625783038168792834092876321783/61023728079475979972736\ 94048316785824653*c_0101_4^16 - 16659053899618933166460367310464813\ 649598805/6102372807947597997273694048316785824653*c_0101_4^15 - 154906815323076355942523096040987867335104559/610237280794759799727\ 3694048316785824653*c_0101_4^14 + 156408139256981855894089219806477\ 722326581542/6102372807947597997273694048316785824653*c_0101_4^13 + 13553905886049253567802197248226007377567030/5547611643588725452066\ 99458937889620423*c_0101_4^12 + 48716702302421775193858091065451808\ 384762243/6102372807947597997273694048316785824653*c_0101_4^11 + 92555219433375348968480598014315726702690229/6102372807947597997273\ 694048316785824653*c_0101_4^10 - 2224446799317638432703751926482314\ 01626023888/6102372807947597997273694048316785824653*c_0101_4^9 - 17362679655108171548332730101904780151643427/5547611643588725452066\ 99458937889620423*c_0101_4^8 + 421821916926847167688058864064533678\ 70673681/6102372807947597997273694048316785824653*c_0101_4^7 - 1100893698493908719734512472207116022277351/61023728079475979972736\ 94048316785824653*c_0101_4^6 + 578405165118787952525999648484040711\ 61954196/6102372807947597997273694048316785824653*c_0101_4^5 + 110528902251368558437033604787084311080850768/610237280794759799727\ 3694048316785824653*c_0101_4^4 - 1381906344180099905730272371966368\ 0571939360/6102372807947597997273694048316785824653*c_0101_4^3 - 48972049501000012712818784918674442223317433/6102372807947597997273\ 694048316785824653*c_0101_4^2 - 29314426117486960981666975531967656\ 08990812/6102372807947597997273694048316785824653*c_0101_4 + 4843767841756260963629284424896975497164859/61023728079475979972736\ 94048316785824653, c_0011_0 - 1, c_0011_2 + 5041124238973661478983565862902904068078/6102372807947597997\ 273694048316785824653*c_0101_4^30 + 1114148798132450614024446036573360566653/61023728079475979972736940\ 48316785824653*c_0101_4^29 + 38064578313612058049986342950397487397\ 123/6102372807947597997273694048316785824653*c_0101_4^28 - 6309809373290843945564190991494935648993/61023728079475979972736940\ 48316785824653*c_0101_4^27 + 25260472396128141975900031955363719990\ 57/554761164358872545206699458937889620423*c_0101_4^26 - 48725551204018559435012288200778056314586/6102372807947597997273694\ 048316785824653*c_0101_4^25 - 2182268358754976739232904639711196724\ 19831/6102372807947597997273694048316785824653*c_0101_4^24 - 195440658876252745075248932692222218688119/610237280794759799727369\ 4048316785824653*c_0101_4^23 + 811271795735260015198809158832946615\ 42677/6102372807947597997273694048316785824653*c_0101_4^22 - 44955218236888450685362713493574602306289/6102372807947597997273694\ 048316785824653*c_0101_4^21 + 4002918192189842004698177905119912908\ 6540/554761164358872545206699458937889620423*c_0101_4^20 + 456561126246556371859392410736297550082506/610237280794759799727369\ 4048316785824653*c_0101_4^19 - 127542910526543838331817782629236256\ 8060161/6102372807947597997273694048316785824653*c_0101_4^18 + 609749483300981478690089366048376838107759/610237280794759799727369\ 4048316785824653*c_0101_4^17 - 626778715929647856740596662807439894\ 363724/6102372807947597997273694048316785824653*c_0101_4^16 + 454385404709001263105058497434868723045058/610237280794759799727369\ 4048316785824653*c_0101_4^15 + 414663750893938819025472908152443833\ 0230061/6102372807947597997273694048316785824653*c_0101_4^14 - 935803157083658792098780724364634864242315/610237280794759799727369\ 4048316785824653*c_0101_4^13 - 723621247010362597631150719009675128\ 73489/554761164358872545206699458937889620423*c_0101_4^12 - 1998046108496144261211147118739741321633324/61023728079475979972736\ 94048316785824653*c_0101_4^11 - 43108067935110116411313822921183148\ 87209476/6102372807947597997273694048316785824653*c_0101_4^10 + 1325219024710809651717564431387624597372188/61023728079475979972736\ 94048316785824653*c_0101_4^9 + 178732014419690826820812183548934000\ 595051/554761164358872545206699458937889620423*c_0101_4^8 + 464843563332245336195319914281569640338775/610237280794759799727369\ 4048316785824653*c_0101_4^7 + 1659231358978737327426026084382829489\ 683667/6102372807947597997273694048316785824653*c_0101_4^6 + 68654470043739092577886369346158219988547/6102372807947597997273694\ 048316785824653*c_0101_4^5 - 13680231372549616024103342840008265490\ 93635/6102372807947597997273694048316785824653*c_0101_4^4 - 191835146357878984498428325754624726267291/610237280794759799727369\ 4048316785824653*c_0101_4^3 + 2374666651798136473926150860142119706\ 76128/6102372807947597997273694048316785824653*c_0101_4^2 + 17218949823928824810505832584685320252958/6102372807947597997273694\ 048316785824653*c_0101_4 - 6102234213300768777300860363334724996646\ /6102372807947597997273694048316785824653, c_0011_4 + 86652890038336826523419790905474483279929/128149828966899557\ 942747575014652502317713*c_0101_4^30 + 49731541551646287835321321178827347996944/1281498289668995579427475\ 75014652502317713*c_0101_4^29 + 67590656910020915886016865206854344\ 3451265/128149828966899557942747575014652502317713*c_0101_4^28 + 50730305628436907590221055285240273064770/4271660965563318598091585\ 8338217500772571*c_0101_4^27 + 522053225405768239035341907289573022\ 22872/11649984451536323449340688637695682028883*c_0101_4^26 - 458693007873829662915172551274088326998410/128149828966899557942747\ 575014652502317713*c_0101_4^25 - 5495183643741712661387159166037392\ 65906551/18307118423842793991821082144950357473959*c_0101_4^24 - 1493888200800521966816419915398109998669025/42716609655633185980915\ 858338217500772571*c_0101_4^23 - 4686763495650666588321362097853080\ 68106040/128149828966899557942747575014652502317713*c_0101_4^22 - 1827475011019933179515695839593304509063696/12814982896689955794274\ 7575014652502317713*c_0101_4^21 + 524179221918496627257654695320915\ 242043795/11649984451536323449340688637695682028883*c_0101_4^20 + 9226610126994277344192771177352328167985101/12814982896689955794274\ 7575014652502317713*c_0101_4^19 - 931605623910911356316680517428195\ 962460665/6102372807947597997273694048316785824653*c_0101_4^18 + 5032857773898186599712312577024891327584808/12814982896689955794274\ 7575014652502317713*c_0101_4^17 - 288537915191223399316653979737987\ 1398168743/42716609655633185980915858338217500772571*c_0101_4^16 + 1433892006864658284598990115936080525881187/12814982896689955794274\ 7575014652502317713*c_0101_4^15 + 732009967573436897643782863206481\ 90693874453/128149828966899557942747575014652502317713*c_0101_4^14 + 5043365795210629457412590710942061071792115/12814982896689955794274\ 7575014652502317713*c_0101_4^13 - 562485938456841277382509453087582\ 880046086/11649984451536323449340688637695682028883*c_0101_4^12 - 7921720009118378299171843476001555722921627/42716609655633185980915\ 858338217500772571*c_0101_4^11 - 7898953716464875773432533019499719\ 5062001791/128149828966899557942747575014652502317713*c_0101_4^10 + 912574820643320627331422403428719071702026/128149828966899557942747\ 575014652502317713*c_0101_4^9 + 23702305592968002526122487653749746\ 86115258/11649984451536323449340688637695682028883*c_0101_4^8 + 1581949939775188064179933610201462529138546/42716609655633185980915\ 858338217500772571*c_0101_4^7 + 39068263709423703710069956563536885\ 05727408/18307118423842793991821082144950357473959*c_0101_4^6 + 8931069481471252719037175529721732187729888/12814982896689955794274\ 7575014652502317713*c_0101_4^5 - 1917768368208683165508834016788286\ 1786818391/128149828966899557942747575014652502317713*c_0101_4^4 - 1590180219955561901435967885172551071482139/42716609655633185980915\ 858338217500772571*c_0101_4^3 + 36517752955051344051568821843982772\ 46982555/128149828966899557942747575014652502317713*c_0101_4^2 + 470638119580401199821171613586267213623870/128149828966899557942747\ 575014652502317713*c_0101_4 - 1581685249906867076674974990125920399\ 96478/128149828966899557942747575014652502317713, c_0101_0 + 40024695453619767028962100146384977353429/128149828966899557\ 942747575014652502317713*c_0101_4^30 - 2130489807252875543919915853329543652030/12814982896689955794274757\ 5014652502317713*c_0101_4^29 + 309443117550820467337255882228530712\ 221082/128149828966899557942747575014652502317713*c_0101_4^28 - 43980714076526321255793344325410524530319/4271660965563318598091585\ 8338217500772571*c_0101_4^27 + 288160483727340551212583837579928690\ 42647/11649984451536323449340688637695682028883*c_0101_4^26 - 462934415806178835055675526162216323272872/128149828966899557942747\ 575014652502317713*c_0101_4^25 - 2121356794457256397560224422567610\ 76089119/18307118423842793991821082144950357473959*c_0101_4^24 - 387155225841966684022902703388586517625372/427166096556331859809158\ 58338217500772571*c_0101_4^23 + 81009495090734738454933075183233152\ 0841222/128149828966899557942747575014652502317713*c_0101_4^22 - 909467868138529881183880284000549549581096/128149828966899557942747\ 575014652502317713*c_0101_4^21 + 3174316866615133004954535801347576\ 34045181/11649984451536323449340688637695682028883*c_0101_4^20 + 2028172994910246209305311395848385116617529/12814982896689955794274\ 7575014652502317713*c_0101_4^19 - 502689376917467659755068379387783\ 214997739/6102372807947597997273694048316785824653*c_0101_4^18 + 7679729484085571749905069547336749832209607/12814982896689955794274\ 7575014652502317713*c_0101_4^17 - 279846590623169005722717477394395\ 6308667607/42716609655633185980915858338217500772571*c_0101_4^16 + 6779961864702056786651627427352041247824994/12814982896689955794274\ 7575014652502317713*c_0101_4^15 + 287202963193887072355010157564829\ 52659341017/128149828966899557942747575014652502317713*c_0101_4^14 - 14337583531587050271425253995144059726991083/1281498289668995579427\ 47575014652502317713*c_0101_4^13 + 66163253994046179911727729767027834254297/1164998445153632344934068\ 8637695682028883*c_0101_4^12 - 517383060254256845903786290389661802\ 8357746/42716609655633185980915858338217500772571*c_0101_4^11 - 25475217615296006842968691107148251905990587/1281498289668995579427\ 47575014652502317713*c_0101_4^10 + 17552802141203909784046147093075970305373504/1281498289668995579427\ 47575014652502317713*c_0101_4^9 + 854545375473397196073875594441828\ 487010015/11649984451536323449340688637695682028883*c_0101_4^8 + 483712438013434647404952520448804791682200/427166096556331859809158\ 58338217500772571*c_0101_4^7 + 152280782781168056241227251339142786\ 7906605/18307118423842793991821082144950357473959*c_0101_4^6 - 3573860415377458142748627710262103811971306/12814982896689955794274\ 7575014652502317713*c_0101_4^5 - 9451474370183895095496381527497424\ 301814295/128149828966899557942747575014652502317713*c_0101_4^4 + 225386416256512406509154888049319390194303/427166096556331859809158\ 58338217500772571*c_0101_4^3 + 168027203711351740702743634725561452\ 9623207/128149828966899557942747575014652502317713*c_0101_4^2 - 9889441835951812743066647333539613398811/12814982896689955794274757\ 5014652502317713*c_0101_4 - 205240774864345060436461419590874713735\ 66/128149828966899557942747575014652502317713, c_0101_1 - 82370258053847533302787094951894589863392/128149828966899557\ 942747575014652502317713*c_0101_4^30 - 39805248881531289437598196762297765205693/1281498289668995579427475\ 75014652502317713*c_0101_4^29 - 63613831185308150992372703568566482\ 9200877/128149828966899557942747575014652502317713*c_0101_4^28 - 25133760937997810651779406270484831117599/4271660965563318598091585\ 8338217500772571*c_0101_4^27 - 467963035687341873658060636456088587\ 30289/11649984451536323449340688637695682028883*c_0101_4^26 + 574403665714350005140425484483201779911465/128149828966899557942747\ 575014652502317713*c_0101_4^25 + 5168776124439420613913072084323779\ 60909571/18307118423842793991821082144950357473959*c_0101_4^24 + 1355918046817972856741303361725315866269731/42716609655633185980915\ 858338217500772571*c_0101_4^23 - 1411282512510730744354972633259978\ 26844390/128149828966899557942747575014652502317713*c_0101_4^22 + 1324360343204860091553059676914332857157511/12814982896689955794274\ 7575014652502317713*c_0101_4^21 - 557410276931647562182409648049046\ 212255517/11649984451536323449340688637695682028883*c_0101_4^20 - 8479074411425620269076112056568576903167678/12814982896689955794274\ 7575014652502317713*c_0101_4^19 + 899787948002980574134483310535869\ 856311800/6102372807947597997273694048316785824653*c_0101_4^18 - 5557513135746780528396761511118405424709088/12814982896689955794274\ 7575014652502317713*c_0101_4^17 + 280590132327064145546606041064859\ 7844126646/42716609655633185980915858338217500772571*c_0101_4^16 - 3685553574186731104949399169065210754857092/12814982896689955794274\ 7575014652502317713*c_0101_4^15 - 679919139796782394321259064183756\ 25718568011/128149828966899557942747575014652502317713*c_0101_4^14 - 1766499411587494614653174791015964742216206/12814982896689955794274\ 7575014652502317713*c_0101_4^13 + 983001281437407281651988668262526\ 291101683/11649984451536323449340688637695682028883*c_0101_4^12 + 8898482564029499535252873472930731912899144/42716609655633185980915\ 858338217500772571*c_0101_4^11 + 7354242089381144081532452620904729\ 4326045434/128149828966899557942747575014652502317713*c_0101_4^10 - 3812436046632928017672093677377358064747278/12814982896689955794274\ 7575014652502317713*c_0101_4^9 - 2729992339054361723592911597231170\ 034481139/11649984451536323449340688637695682028883*c_0101_4^8 - 2018126863128565843732064013405865949885939/42716609655633185980915\ 858338217500772571*c_0101_4^7 - 37478396582108538380801713909280031\ 86455361/18307118423842793991821082144950357473959*c_0101_4^6 - 7790256687641099451169355173167217377032153/12814982896689955794274\ 7575014652502317713*c_0101_4^5 + 1958556032589948834102163073276901\ 6892869068/128149828966899557942747575014652502317713*c_0101_4^4 + 1692451218639335102208426720420333550175371/42716609655633185980915\ 858338217500772571*c_0101_4^3 - 40552570960867363452786685097261537\ 19263914/128149828966899557942747575014652502317713*c_0101_4^2 - 369196800915298345836377277033904756706125/128149828966899557942747\ 575014652502317713*c_0101_4 + 2889036035383411422238456743477046425\ 89237/128149828966899557942747575014652502317713, c_0101_2 + 19288006407591348107933537833985929100797/128149828966899557\ 942747575014652502317713*c_0101_4^30 + 10825781129323894655708101155287127147122/1281498289668995579427475\ 75014652502317713*c_0101_4^29 + 16764798151903684914686038329305991\ 2479366/128149828966899557942747575014652502317713*c_0101_4^28 + 13437840340568249309163457590618333527900/4271660965563318598091585\ 8338217500772571*c_0101_4^27 + 249272854769723369650134892900477693\ 78340/11649984451536323449340688637695682028883*c_0101_4^26 - 80360390824280259459515082943499451643514/1281498289668995579427475\ 75014652502317713*c_0101_4^25 - 90699486030851327352064787723969408\ 615560/18307118423842793991821082144950357473959*c_0101_4^24 - 358732220886999590304597477224906810742141/427166096556331859809158\ 58338217500772571*c_0101_4^23 - 67320961257487970663062969962988662\ 7542037/128149828966899557942747575014652502317713*c_0101_4^22 - 1301970162585756422230707671133418593829331/12814982896689955794274\ 7575014652502317713*c_0101_4^21 + 820024703234833559595892354388271\ 89488468/11649984451536323449340688637695682028883*c_0101_4^20 + 1035087999210988144300753934658940770346681/12814982896689955794274\ 7575014652502317713*c_0101_4^19 - 167176547541385918026247013536465\ 018426465/6102372807947597997273694048316785824653*c_0101_4^18 + 2080552065650344454373611628616988095873012/12814982896689955794274\ 7575014652502317713*c_0101_4^17 - 181086156660871510624632104081234\ 0372730957/42716609655633185980915858338217500772571*c_0101_4^16 + 2145672563046230543641250169489901897851283/12814982896689955794274\ 7575014652502317713*c_0101_4^15 + 120536677161643507092543310094113\ 58586381383/128149828966899557942747575014652502317713*c_0101_4^14 + 2835918583575359979192918458853589025322530/12814982896689955794274\ 7575014652502317713*c_0101_4^13 + 878413056878627556123321521650919\ 614492480/11649984451536323449340688637695682028883*c_0101_4^12 - 1245919080519353963369757989375343029417609/42716609655633185980915\ 858338217500772571*c_0101_4^11 - 1177494687597050578204420390745564\ 6768780086/128149828966899557942747575014652502317713*c_0101_4^10 - 2973807998629343961946797933531613245874240/12814982896689955794274\ 7575014652502317713*c_0101_4^9 - 3860169487943148071744445131191709\ 61979799/11649984451536323449340688637695682028883*c_0101_4^8 + 77322973565114051636952118906082413050141/4271660965563318598091585\ 8338217500772571*c_0101_4^7 + 7794006611785683107850869895272311526\ 14118/18307118423842793991821082144950357473959*c_0101_4^6 + 1648672290303900553614873108962295004984739/12814982896689955794274\ 7575014652502317713*c_0101_4^5 - 3642930374339146655912814848752202\ 79048386/128149828966899557942747575014652502317713*c_0101_4^4 - 86956123929220401920285637679202184985578/4271660965563318598091585\ 8338217500772571*c_0101_4^3 - 8115624119923812111674330687001051920\ 07710/128149828966899557942747575014652502317713*c_0101_4^2 + 17399133990193365428543271869100355230286/1281498289668995579427475\ 75014652502317713*c_0101_4 + 80609461609227901149591312847864959875\ 929/128149828966899557942747575014652502317713, c_0101_4^31 + c_0101_4^30 + 8*c_0101_4^29 + 5*c_0101_4^28 + 7*c_0101_4^27 - 3*c_0101_4^26 - 47*c_0101_4^25 - 71*c_0101_4^24 - 25*c_0101_4^23 - 19*c_0101_4^22 + 61*c_0101_4^21 + 137*c_0101_4^20 - 181*c_0101_4^19 - 47*c_0101_4^18 - 70*c_0101_4^17 - 20*c_0101_4^16 + 850*c_0101_4^15 + 429*c_0101_4^14 - 93*c_0101_4^13 - 344*c_0101_4^12 - 1036*c_0101_4^11 - 381*c_0101_4^10 + 366*c_0101_4^9 + 226*c_0101_4^8 + 344*c_0101_4^7 + 243*c_0101_4^6 - 193*c_0101_4^5 - 172*c_0101_4^4 + 19*c_0101_4^3 + 27*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB