Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 1031577863] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0101 geometric_solution 3.63231500 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 1 1 -2 0 0 0 0 -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.199484277015 0.406331372248 0 0 3 2 0132 3201 0132 1023 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 1 0 -1 0 0 0 0 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.973572933086 1.983079728411 0 0 3 1 3201 0132 2310 1023 0 0 0 0 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 -1 1 0 -1 0 0 1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.973572933086 1.983079728411 4 2 4 1 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499983189787 0.635598937840 3 3 5 5 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286043703769 0.127851696398 6 4 4 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.887501555640 0.224741157684 5 5 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.796999940781 0.287995463172 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_1'], '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_1'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 18042660301482690708511981554875388559194663664097584297297152/2894\ 79485161014097875469001516386972145706183503582470445*c_0101_6^22 + 64292352470067200247296083188364012618854894582723071596153728/2894\ 79485161014097875469001516386972145706183503582470445*c_0101_6^21 - 522808624933449337578386875792338004964146885519142638551167424/289\ 479485161014097875469001516386972145706183503582470445*c_0101_6^20 - 318684343956831604137299617562247787783393228661620778726992512/289\ 479485161014097875469001516386972145706183503582470445*c_0101_6^19 - 749966768242002098335925273061496275128071466244523196450950320/578\ 95897032202819575093800303277394429141236700716494089*c_0101_6^18 - 2393639662496386875806858190866282653000621553853862048178381296/28\ 9479485161014097875469001516386972145706183503582470445*c_0101_6^17 - 12199223187158831734876946682214169951027737735340603083796844704\ /289479485161014097875469001516386972145706183503582470445*c_0101_6\ ^16 - 6374533002215964998618555418988045662872851966304190985565920\ 788/289479485161014097875469001516386972145706183503582470445*c_010\ 1_6^15 - 2379645743441099956019989700779225738667988105778873830355\ 8184383/289479485161014097875469001516386972145706183503582470445*c\ _0101_6^14 - 857748022087159964049148196338645663849406297020158626\ 0311909693/28947948516101409787546900151638697214570618350358247044\ 5*c_0101_6^13 - 286247592088753313183446034503845812703719335247910\ 51563282971808/2894794851610140978754690015163869721457061835035824\ 70445*c_0101_6^12 - 10731869796863641775244764711558444385559457527\ 66217281465271493/5789589703220281957509380030327739442914123670071\ 6494089*c_0101_6^11 - 216444295271743386143138040907257170599846299\ 12511357602957302404/2894794851610140978754690015163869721457061835\ 03582470445*c_0101_6^10 - 12815020511009252957404608462811413807063\ 7376386333207467660573/57895897032202819575093800303277394429141236\ 700716494089*c_0101_6^9 - 10179482930454922656867704549954424293074\ 500699815713235961019568/289479485161014097875469001516386972145706\ 183503582470445*c_0101_6^8 + 92895530626956686770497285125652007291\ 4227497006722361860128902/28947948516101409787546900151638697214570\ 6183503582470445*c_0101_6^7 - 2890375893253936109068186726102407378\ 713392203325284615299304271/289479485161014097875469001516386972145\ 706183503582470445*c_0101_6^6 + 95888718284014215370175330608918110\ 228808882861366468877665727/578958970322028195750938003032773944291\ 41236700716494089*c_0101_6^5 - 951206788199394281861999871755084693\ 15583259406589613383955248/5789589703220281957509380030327739442914\ 1236700716494089*c_0101_6^4 + 1647576815839763315380232537043257538\ 9304989763177219485586477/57895897032202819575093800303277394429141\ 236700716494089*c_0101_6^3 - 79183802981482705960962173681337035573\ 76726269203154862708351/5789589703220281957509380030327739442914123\ 6700716494089*c_0101_6^2 + 9176342527927568255316125529377380870300\ 62755051475253571465/5789589703220281957509380030327739442914123670\ 0716494089*c_0101_6 - 112493387741257885109872048436846034629071221\ 8686551120792369/28947948516101409787546900151638697214570618350358\ 2470445, c_0011_0 - 1, c_0011_3 + 775153608980542880991558816114722173426892638567683072/22022\ 022454242228822781970446282766994728503880074741*c_0101_6^22 - 2176417990911543071135631734341047128170794100376420864/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^21 + 20333226892179982780363762403525458538821848375880185088/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^20 + 30724426748353374757698215862351974450728673538251323136/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^19 + 170565044274035241267145625721709101468419148076847524288/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^18 + 221440478268339984445381947530395315599428065209219860736/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^17 + 591736420468715073067032958569578128096149678556132438720/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^16 + 647379736284196369278550605629518188258357879837585073040/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^15 + 1190337151085707461666743043947044317947756131524403191532/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^14 + 1072398223263133970375257848942922357258633738725573019192/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^13 + 1425250422887467539634830354434800557173869623080938041852/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^12 + 1038171670378990392073466728859079217570967285292055007656/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^11 + 1002118988141394786625219790353606050579502147652092552052/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^10 + 601731546635264233002523423022468878272583531079607919738/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^9 + 388838559809072294160940418032357848112953282004533114212/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^8 + 208498991965335665664604876568131081903061599856973694078/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^7 + 71299857373420626279321052019355602398062464565560347044/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^6 + 42244064262501198666531148561657444515450988456314997436/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^5 + 3200016949354565240393283605944617780766900830427837118/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^4 + 5311506474458931704135557392655736180020696443430843370/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^3 - 196933317458326426637622601248057431784161133941271376/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^2 + 312275253720461668285421432353926064191385903216933288/220220224542\ 42228822781970446282766994728503880074741*c_0101_6 + 11442977588424924220023066593460067016118470528225329/2202202245424\ 2228822781970446282766994728503880074741, c_0011_5 + 11885419988905454356067427530919721215756117088888832/220220\ 22454242228822781970446282766994728503880074741*c_0101_6^22 + 19662775545802737902486655818802231971699025393535232/2202202245424\ 2228822781970446282766994728503880074741*c_0101_6^21 + 153221890088799780975464992430452655729712806988587392/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^20 + 1903022363507223616760909517803755496711703532285238080/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^19 + 4407771563642571306512630070869684796477591604093807936/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^18 + 15099178493081883624453402564434072321833640800078028144/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^17 + 22152401756467136418029971569339857817831661742383715008/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^16 + 50113883340841680013378933663708172053502744208052382864/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^15 + 55326207564841701991561290156823516537080899941499242508/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^14 + 96511328838808900304217450278167062410845758956219561219/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^13 + 79715414766966870416125880494122095100990031587663923130/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^12 + 111097240863094479928625396305194010265704113775655462975/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^11 + 64792176895112203384334089775691412807280473100711058071/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^10 + 75704360720714986085287982449860822691988551220658922133/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^9 + 27861498702056389294989262433996895842186491375862801723/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^8 + 29361978704682419825067514569661533968116690924028309847/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^7 + 5070168647135446526199174550879399523725172849410621684/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^6 + 6047668028904299459689625012980260183201323554995764908/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^5 - 8885096971771649714260159816604727716311101251805126/22022022454242\ 228822781970446282766994728503880074741*c_0101_6^4 + 720751154883215787215502486939045394437295735816991386/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^3 - 37570625634215042717409836274032167462650981143698059/2202202245424\ 2228822781970446282766994728503880074741*c_0101_6^2 + 88386998167701498866413129571557127901836797113766904/2202202245424\ 2228822781970446282766994728503880074741*c_0101_6 + 1684849551342665103744295872222007099406656432327470/22022022454242\ 228822781970446282766994728503880074741, c_0101_0 + 1172703073011464014328737372831626321562868643878030848/2202\ 2022454242228822781970446282766994728503880074741*c_0101_6^22 - 4474739706911335362654559706936097230805908995288889856/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^21 + 34909120064809033699591505204792919381381106696243160064/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^20 + 12657319725030788174579296227530141005829074324758364736/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^19 + 234610043549738121909166369504271191319965811195782606496/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^18 + 93802736184123956691016901227849637677416327763191487280/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^17 + 729365892601629689476613653791677735720475915644484506544/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^16 + 212128552603136647493669188855270234263063388370516973112/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^15 + 1370199547833845090394760407346804216199971912178661118086/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^14 + 169677287053521338516051893827395151247147137124609518415/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^13 + 1589451724719415612889779969271964474975413494341055757093/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^12 - 91662115477508832546424529451482082625701599301312478960/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^11 + 1171214047065608859468892260889518261092993581492281198678/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^10 - 250874324283128342044555141836618007522429156264532697055/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^9 + 541462220538245300087754987763485682372274799820494351285/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^8 - 165325653917010256453113318248513852565620264592395321023/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^7 + 150293066686031467432941552209803831153286792956368150776/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^6 - 47292313676494116743496097938457085280587294362708228696/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^5 + 23297552172662778856071379303587574950622631470303425535/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^4 - 5303849302634786805759576604580516668713462177920002697/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^3 + 1440557274942925666182300376550992130181799158961022062/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^2 - 131547206294099608565951513314203500773217583586163872/220220224542\ 42228822781970446282766994728503880074741*c_0101_6 + 3318703775331466837838678764537865042929015991238243/22022022454242\ 228822781970446282766994728503880074741, c_0101_1 - 310318624325839893117602981733736715448952874780035584/22022\ 022454242228822781970446282766994728503880074741*c_0101_6^22 + 768183338981279145898231677271238829937010193810029824/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^21 - 7797266532550351504705046913804596739972422345515915648/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^20 - 15173076186968408089309543906337194626598744030900463616/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^19 - 70907887467948979673027803952630322054563689642133046816/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^18 - 109766808242293784138233847500109497595652147381111963648/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^17 - 255035214459146350733908108144594874581398753839187976400/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^16 - 326814409432961622131844204266623956109448635400815986792/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^15 - 525219112409378949149583465374248896081999594406967156582/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^14 - 557317445262165023503214413008953794615199351898357283580/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^13 - 640392567095019148169318691477678492899779683743522181045/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^12 - 559918333461173973986939374528183471003406860932157673432/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^11 - 454220509244121312840048418318183804486135235683094689166/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^10 - 337791080472404016679509090381137093925249878542791464159/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^9 - 175738812462474401660739468765481388335699631259113931418/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^8 - 120156203382173202436105935267047459823034680100072457297/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^7 - 31157070063477686291384050906319911508699846742958133311/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^6 - 24149721211965794540820173851300921857693969358416227446/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^5 - 891663132563456939529667389819573900898615915832799144/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^4 - 2918776084131644070716467479790040175121109229654885834/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^3 + 126951516688456409361258740188019573176622219933530341/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^2 - 201137494398873467906585694028441089544002955129672271/220220224542\ 42228822781970446282766994728503880074741*c_0101_6 - 6719427692290733465183849891694727627051687048596355/22022022454242\ 228822781970446282766994728503880074741, c_0101_3 - 1538799275173746595207047405840302236202852388459411456/2202\ 2022454242228822781970446282766994728503880074741*c_0101_6^22 + 5139793494885607080279464123690505514522324120620041984/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^21 - 43197150019628449646633205219624441267503697255437467008/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^20 - 37673184668205595352337678822948095186978165395913806400/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^19 - 321239310480227479360483852638773482533967075558051284672/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^18 - 270895191205679718086920830435154937394474363468260526896/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^17 - 1050603021109960962598494097999686617711717986480062937216/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^16 - 742305757528849780688347560543252367310985707192026721440/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^15 - 2033213276070941723017741215540415265936244725482859009996/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^14 - 1089871921082584994226920525310507164155952012442137687899/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^13 - 2374197007473817461874849501801219225021771978534657910802/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^12 - 856257713475382416217865080756671851939444961377638345484/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^11 - 1676593525522296006981621571329099324508484603648612856748/22022022\ 454242228822781970446282766994728503880074741*c_0101_6^10 - 339767859509427929597897786498333438063062951625965862707/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^9 - 688562780161009186414159043256887616241212586767461884681/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^8 - 52412282462323370783911662378831200703933322269999933195/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^7 - 151646195501816045910320470523465875851804854664485411916/220220224\ 54242228822781970446282766994728503880074741*c_0101_6^6 + 3008016222989111761393019435276844995800755044683451645/22022022454\ 242228822781970446282766994728503880074741*c_0101_6^5 - 15622497054852928854435752022604771965750124852136699592/2202202245\ 4242228822781970446282766994728503880074741*c_0101_6^4 + 666247947968105751412026994572987728619803434117006668/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^3 - 513521649546129669885113952686851329653827466438572562/220220224542\ 42228822781970446282766994728503880074741*c_0101_6^2 - 24096527056656814535289836377243070087727540877034981/2202202245424\ 2228822781970446282766994728503880074741*c_0101_6 + 3651406423452745660188821684320650360680090529607074/22022022454242\ 228822781970446282766994728503880074741, c_0101_6^23 - 7/2*c_0101_6^22 + 115/4*c_0101_6^21 + 39/2*c_0101_6^20 + 3343/16*c_0101_6^19 + 2333/16*c_0101_6^18 + 10951/16*c_0101_6^17 + 25345/64*c_0101_6^16 + 343291/256*c_0101_6^15 + 143011/256*c_0101_6^14 + 413721/256*c_0101_6^13 + 101747/256*c_0101_6^12 + 155901/128*c_0101_6^11 + 28451/256*c_0101_6^10 + 72477/128*c_0101_6^9 - 4079/256*c_0101_6^8 + 40175/256*c_0101_6^7 - 4221/256*c_0101_6^6 + 6325/256*c_0101_6^5 - 745/256*c_0101_6^4 + 245/128*c_0101_6^3 - 15/128*c_0101_6^2 + 3/64*c_0101_6 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB