Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 1882320056] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1051 geometric_solution 4.92601531 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716437313791 0.208222281269 0 1 0 1 0132 2310 1023 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.793965510408 0.089359918500 3 0 4 0 0132 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 0 0 1 0 -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.854426858945 0.979282278241 2 5 4 4 0132 0132 0213 2310 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 0 0 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306106494863 0.709428660620 3 3 5 2 3201 0213 1023 0132 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 -1 0 0 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.306106494863 0.709428660620 6 3 4 6 0132 0132 1023 3201 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 0 0 0 0 0 0 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.026479789281 0.751413637930 5 5 6 6 0132 2310 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.691644538485 0.335669279554 ==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_0101_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0011_4'], '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_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0011_4'], '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_0011_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0011_4']})} 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_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 592304092338445256278345725795246403097900924602515408022900110/463\ 5021606284383956446542992447503070446772689705516060553781*c_0101_6\ ^32 + 1583250733968856690493383301373298159575453176205922712882960\ 103/4635021606284383956446542992447503070446772689705516060553781*c\ _0101_6^31 + 510888021695253735393822105659659645266567839890673651\ 1278046332/46350216062843839564465429924475030704467726897055160605\ 53781*c_0101_6^30 - 29739733483889593362781419732743144624279791459\ 795793823507373786/463502160628438395644654299244750307044677268970\ 5516060553781*c_0101_6^29 + 545886356614274045829456178376851683347\ 19550905804520822930316352/4635021606284383956446542992447503070446\ 772689705516060553781*c_0101_6^28 + 48372708685869655328181822605069111101083514873742913551801407505/4\ 635021606284383956446542992447503070446772689705516060553781*c_0101\ _6^27 - 57768731617668069083246109429983750382576618429602092023120\ 1999594/46350216062843839564465429924475030704467726897055160605537\ 81*c_0101_6^26 + 10843171994626034690509796910803902917032564043797\ 24714538089604744/4635021606284383956446542992447503070446772689705\ 516060553781*c_0101_6^25 + 9966455240196379207013559128455781714817\ 89806364726828182528769829/4635021606284383956446542992447503070446\ 772689705516060553781*c_0101_6^24 - 5956176141930633324177829755525549424635428593091373881392042123535\ /4635021606284383956446542992447503070446772689705516060553781*c_01\ 01_6^23 + 438406789097489316441373183960279710286968391206483481576\ 7384779830/46350216062843839564465429924475030704467726897055160605\ 53781*c_0101_6^22 + 10411136501530476235975189040105474180437051521\ 659111739458305988992/463502160628438395644654299244750307044677268\ 9705516060553781*c_0101_6^21 - 198233940605733567783915948128434998\ 93847577702485358578329667616395/4635021606284383956446542992447503\ 070446772689705516060553781*c_0101_6^20 + 547246427485863536270401961116253845749290465751160456104231297233/\ 4635021606284383956446542992447503070446772689705516060553781*c_010\ 1_6^19 + 3091000147999075301297784443825063281562683344307030448134\ 2018472344/46350216062843839564465429924475030704467726897055160605\ 53781*c_0101_6^18 - 28069723498551482611866022366789809183462870547\ 236006841176724985929/463502160628438395644654299244750307044677268\ 9705516060553781*c_0101_6^17 - 196906637808460047530126796538763397\ 66088174353097348330368572552488/4635021606284383956446542992447503\ 070446772689705516060553781*c_0101_6^16 + 6501541654575581188466270347122685978868094874118595644142829200619\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^15 - 3538489529434595369004778997847151869671099125688428312479\ 67839026/6621459437549119937780775703496432957781103842436451515076\ 83*c_0101_6^14 - 34716600230271462895907766735589754053941331823638\ 923662490637986011/463502160628438395644654299244750307044677268970\ 5516060553781*c_0101_6^13 + 131114789212287431411131192340033888558\ 23886184491744314198753219836/4635021606284383956446542992447503070\ 446772689705516060553781*c_0101_6^12 + 1226853138784360236165385269348663149510506924881331859665537923717\ 0/4635021606284383956446542992447503070446772689705516060553781*c_0\ 101_6^11 - 10551509569811214459745094336743111463067553180562310104\ 966580666369/463502160628438395644654299244750307044677268970551606\ 0553781*c_0101_6^10 - 332405076593917281949748512858376466735528306\ 74836719071524826431/6621459437549119937780775703496432957781103842\ 43645151507683*c_0101_6^9 + 652713589652307345023863149977958314206\ 152836991443856971611687513/662145943754911993778077570349643295778\ 110384243645151507683*c_0101_6^8 - 1210240121771558917768730732253721029578731716283036806808489669951\ /4635021606284383956446542992447503070446772689705516060553781*c_01\ 01_6^7 - 9253828551342696349045083026364680716956984001836342220417\ 74719030/4635021606284383956446542992447503070446772689705516060553\ 781*c_0101_6^6 + 42155638021671865852217732672609218962415375346274\ 7088845337593255/46350216062843839564465429924475030704467726897055\ 16060553781*c_0101_6^5 - 921042139093572069808636247808498524383409\ 024728562224406950946/463502160628438395644654299244750307044677268\ 9705516060553781*c_0101_6^4 - 8819270338604023853252740601786041408\ 1210571899541651544881186680/46350216062843839564465429924475030704\ 46772689705516060553781*c_0101_6^3 + 14385195364787070512737439195554054642972412157786746269470103947/4\ 635021606284383956446542992447503070446772689705516060553781*c_0101\ _6^2 + 619316286629459718283261741665501591922740839128319910152450\ 3519/4635021606284383956446542992447503070446772689705516060553781*\ c_0101_6 - 10911697550826685811417893555042810209839245311474502002\ 67747275/4635021606284383956446542992447503070446772689705516060553\ 781, c_0011_0 - 1, c_0011_4 + 441040416219449189896177873793538520253435331525916301937345\ 45/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^32 - 91107582751411179022155147657191824069410910084437527529\ 392301/662145943754911993778077570349643295778110384243645151507683\ *c_0101_6^31 - 4182487936826100052731113934755485435470639389335553\ 16154459536/6621459437549119937780775703496432957781103842436451515\ 07683*c_0101_6^30 + 19232039636987957914401521276827316043952598337\ 92432511276115385/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^29 - 30568370317960819482546023084106110547608\ 52661226692247711515941/6621459437549119937780775703496432957781103\ 84243645151507683*c_0101_6^28 - 46935863058882629185098868702487263\ 27501475830000493814714127717/6621459437549119937780775703496432957\ 78110384243645151507683*c_0101_6^27 + 38873818934132348792859491053767792225939782498512572495801778365/6\ 62145943754911993778077570349643295778110384243645151507683*c_0101_\ 6^26 - 587489226274284232922542117613822343425304475145506225370652\ 54989/662145943754911993778077570349643295778110384243645151507683*\ c_0101_6^25 - 94672093218591073058879672725184583915841325493493006\ 209744990505/662145943754911993778077570349643295778110384243645151\ 507683*c_0101_6^24 + 3614961054150490245894100723855604598112736503\ 67564941472010360590/6621459437549119937780775703496432957781103842\ 43645151507683*c_0101_6^23 - 13976731771599124727891007055993289374\ 2747438912260761690901880548/66214594375491199377807757034964329577\ 8110384243645151507683*c_0101_6^22 - 720450167906975117962565483699416652304289913613612647737012665080/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^21 + 96930312295371652188752383269858939226880602967474510848159\ 1749301/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^20 + 296048300697234700666234241030590052522636419514171\ 909526267946654/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^19 - 1743937340090230520644063402404094570436252\ 657554547077998136118659/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^18 + 1080498025854894208937600476775290\ 665122568654309079130660271084568/662145943754911993778077570349643\ 295778110384243645151507683*c_0101_6^17 + 1516591672152873316143477862895722384827136195855783783603525514887\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^16 - 2017352547619621402209176507173243044191570634384177912102\ 868924360/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^15 - 5846587091692611716123334352158432580792223882078\ 26036040387135943/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^14 + 15265096177022933465149043108153083277859\ 09626240622690346254410403/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^13 - 182706702817688814217032548704378420326225090091899965450860731445/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^12 - 56819088642084010615687562625534451762804474173747826939467\ 2345911/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^11 + 360353347941492396272503633606148613849504496341083\ 374467896730906/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^10 + 1012717147307928031435901449035808345062582\ 56815988422365306453550/6621459437549119937780775703496432957781103\ 84243645151507683*c_0101_6^9 - 169521277329236853697101983561989092\ 579710597721572844405540487297/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^8 + 6067030161468570292172709961906408860839827858103669151112658033/66\ 2145943754911993778077570349643295778110384243645151507683*c_0101_6\ ^7 + 30496934210523754308873488458361475588082160504571425042628084\ 842/662145943754911993778077570349643295778110384243645151507683*c_\ 0101_6^6 - 12033555803190016110366711225362072833633025800219608153\ 727343591/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^5 - 23723875543144112643456297173842441854922492426784\ 40039828266721/6621459437549119937780775703496432957781103842436451\ 51507683*c_0101_6^4 + 242297356631203238954342255426668820523557628\ 2337785012745184552/66214594375491199377807757034964329577811038424\ 3645151507683*c_0101_6^3 - 9893687000045456985079915643329742020756\ 0560157897170431919964/66214594375491199377807757034964329577811038\ 4243645151507683*c_0101_6^2 - 1486707714182555855208393631021357524\ 00118179470727505288319705/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6 + 19964075119892370731018933460398224\ 119034640860645477002779960/662145943754911993778077570349643295778\ 110384243645151507683, c_0101_0 + 855602404933666904350417103620195347122543335687353833760634\ 05/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^32 - 16501431799748420030812058402811740217978750785812946342\ 4998413/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^31 - 835098788973365078746311220169402450073386168744980\ 813924963753/662145943754911993778077570349643295778110384243645151\ 507683*c_0101_6^30 + 3620680508203011756916789750285626208437559221\ 986001631343940957/662145943754911993778077570349643295778110384243\ 645151507683*c_0101_6^29 - 5428698054149228854320644380035252591602\ 714785693901329018242169/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^28 - 9912640065008169005282666648919025\ 090893886044807935067648408217/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^27 + 74225300393658219347601643083559226127724022630184000008132990746/6\ 62145943754911993778077570349643295778110384243645151507683*c_0101_\ 6^26 - 103873815322901842653350503355681816328940551156306121042925\ 007117/662145943754911993778077570349643295778110384243645151507683\ *c_0101_6^25 - 1989467104380895992504592066844789458135374759286703\ 10548746941013/6621459437549119937780775703496432957781103842436451\ 51507683*c_0101_6^24 + 67724350582860155252869961952820601051347002\ 6238930623107284387522/66214594375491199377807757034964329577811038\ 4243645151507683*c_0101_6^23 - 179664889167955237298702413757490153\ 455745871756167378814808895530/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^22 - 1433082937680220900211489135705367909474861650346436558108288072268\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^21 + 1704402051602831872757017348259111862806661753223488198438\ 944988985/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^20 + 8091800299636023636038013607214568480473559245928\ 06494241066456488/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^19 - 33169860668583375016159552163891322282528\ 36471678852737336651614895/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^18 + 1688468701693764067357989672473279295199917021665079281720084398327\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^17 + 3195298299117177397953616348138785037184104207853031123831\ 433582587/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^16 - 3562463448870047233410082711027623879116362545851\ 293671515267226331/662145943754911993778077570349643295778110384243\ 645151507683*c_0101_6^15 - 1577175165883280046481737544646549061132\ 817844698166234411263290959/662145943754911993778077570349643295778\ 110384243645151507683*c_0101_6^14 + 2807200748918589602452557109203723124796796146562196200116585250202\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^13 - 4506891722515951733040970868055967197453560574012628082516\ 9451509/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^12 - 111648496597358169072875629985660642115478561475918\ 2251660492928707/66214594375491199377807757034964329577811038424364\ 5151507683*c_0101_6^11 + 591704277871674624107721347126368729924107\ 331617732771099180086308/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^10 + 2607961588903086610575663432854075\ 52812981536389567298355776434288/6621459437549119937780775703496432\ 95778110384243645151507683*c_0101_6^9 - 304021485317488303909931658473083885216873439155608152675473328779/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^8 - 177961943459563660441971875961331361322449656064961021385894\ 83161/662145943754911993778077570349643295778110384243645151507683*\ c_0101_6^7 + 560070463141905993335374300374195631899317027735123286\ 28943959963/6621459437549119937780775703496432957781103842436451515\ 07683*c_0101_6^6 - 188839394895092137216054974429467211540089661174\ 70554154082392228/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^5 - 617967151661031107006024300075667364655781\ 2024632176456778452464/66214594375491199377807757034964329577811038\ 4243645151507683*c_0101_6^4 + 4029750826074719575348095552615499067\ 253042181042386653161047043/662145943754911993778077570349643295778\ 110384243645151507683*c_0101_6^3 + 109686148724106961311941319429275162935620160876243714645248938/662\ 145943754911993778077570349643295778110384243645151507683*c_0101_6^\ 2 - 240487472551502216869361433724548785488747746801583233527867175\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6 + 2413271517841947156909138992511930555888232431187332759698665\ 8/662145943754911993778077570349643295778110384243645151507683, c_0101_1 - 609009992111003454478816288653279253542543708457767789657296\ 61/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^32 + 12521611811002543481097933097213588379404322961359272318\ 6783752/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^31 + 579094792979386937589300181153623254470065474716792\ 715591753523/662145943754911993778077570349643295778110384243645151\ 507683*c_0101_6^30 - 2651409730594394348702056862973964627138360893\ 640423306915383946/662145943754911993778077570349643295778110384243\ 645151507683*c_0101_6^29 + 4193810202769438926340212732636080346377\ 727012269535834954360793/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^28 + 6541852018001107386920266479708860\ 831117229059447918786637382396/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^27 - 53670458848612687705672449014447567001202062101905946904143391704/6\ 62145943754911993778077570349643295778110384243645151507683*c_0101_\ 6^26 + 806308375514320255709980973364653306828840277803012498026351\ 35090/662145943754911993778077570349643295778110384243645151507683*\ c_0101_6^25 + 13184031271308654228609369023654795724293823101630757\ 0937175328096/66214594375491199377807757034964329577811038424364515\ 1507683*c_0101_6^24 - 498935517644956729934347045970689632697341975\ 637290273845788999922/662145943754911993778077570349643295778110384\ 243645151507683*c_0101_6^23 + 1886347803950247963731705005241557107\ 44192790650452791257816766340/6621459437549119937780775703496432957\ 78110384243645151507683*c_0101_6^22 + 1000101430068160891833795985954969944360812164502316227486493746015\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^21 - 1335397421910235840501568145606731686904921224598280007968\ 037727068/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^20 - 4219816779900471816280422824180765259404592389549\ 75315139956500718/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^19 + 24183117366914708858435914534769994667936\ 31285430339864071507611384/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^18 - 1483812600178300588146930108829412449956059462658058795286663712806\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^17 - 2115175116686828678173032450705362344221456058938880342240\ 100103952/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^16 + 2792808873927920118935088593695341831148408763978\ 797995389813248522/662145943754911993778077570349643295778110384243\ 645151507683*c_0101_6^15 + 8196034906903910583727135938491730019374\ 09048788941863485791386865/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^14 - 2119358510070444338612937386311128824044052336726780702927050613954\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^13 + 2555269641097535675281874899986286625600242160595803145517\ 33108413/6621459437549119937780775703496432957781103842436451515076\ 83*c_0101_6^12 + 78957320656092940961107499184727902488155327883790\ 3651554263841549/66214594375491199377807757034964329577811038424364\ 5151507683*c_0101_6^11 - 503856862704593978824900170992312562826127\ 396666056383659728541494/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^10 - 1396537344036568549460521630533721\ 37800592428048374873846975464997/6621459437549119937780775703496432\ 95778110384243645151507683*c_0101_6^9 + 235872173484999746446127816379351549445124589771920669939383373019/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^8 - 971510366159407140105829452495191050103948778450136194566902\ 2712/662145943754911993778077570349643295778110384243645151507683*c\ _0101_6^7 - 4199851209314988415088346730080158790142938840215845584\ 5612452627/66214594375491199377807757034964329577811038424364515150\ 7683*c_0101_6^6 + 1712262370772200502113122658276556139139809816656\ 6899501672604703/66214594375491199377807757034964329577811038424364\ 5151507683*c_0101_6^5 + 3177287901793719885255143802483364457209623\ 162871628010183989940/662145943754911993778077570349643295778110384\ 243645151507683*c_0101_6^4 - 33466164432633329620088816875397129545\ 98257517018617097544628455/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^3 + 171217768701025367747614468021836\ 047911533240890311903956167345/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^2 + 200357280298809282822837348243356261572446767036544679467734837/662\ 145943754911993778077570349643295778110384243645151507683*c_0101_6 - 29479432897045124811648781692768539705303604415409987487747695/6621\ 45943754911993778077570349643295778110384243645151507683, c_0101_2 - 298404425097728586832086472314044090871361479876320731520956\ 95/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^32 + 61454507773708911309175429160124700328801525261301303291\ 446361/662145943754911993778077570349643295778110384243645151507683\ *c_0101_6^31 + 2834096001844290713021329190892417181561005535847423\ 54261642174/6621459437549119937780775703496432957781103842436451515\ 07683*c_0101_6^30 - 12994054256466066680647654893748285130440717847\ 75579499432820530/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^29 + 20593322472724665116880772085485676168236\ 81905685529435422120324/6621459437549119937780775703496432957781103\ 84243645151507683*c_0101_6^28 + 31895968399967039767957874476007593\ 11082963921417460505705265734/6621459437549119937780775703496432957\ 78110384243645151507683*c_0101_6^27 - 26278685777458060801496456999178098808832230131546499829239593381/6\ 62145943754911993778077570349643295778110384243645151507683*c_0101_\ 6^26 + 395658076729103987108465512084762207555788189315189611649843\ 12481/662145943754911993778077570349643295778110384243645151507683*\ c_0101_6^25 + 64339529328976107371754496578792594851992064431811731\ 358306065679/662145943754911993778077570349643295778110384243645151\ 507683*c_0101_6^24 - 2441339488156182570960378374048069575928322708\ 61792688969064401042/6621459437549119937780775703496432957781103842\ 43645151507683*c_0101_6^23 + 92694646230986041019842503289316776807\ 143622881202657494790976334/662145943754911993778077570349643295778\ 110384243645151507683*c_0101_6^22 + 488367476813361263836579301014513482067371542885035671148303019133/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^21 - 65195941662725942596642000397440391006903621358544789078151\ 6046732/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^20 - 206364577358873805172292509454428488651675091505959\ 009851989555315/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^19 + 1179031621668139840995096170946339620388089\ 312977666376822323953723/662145943754911993778077570349643295778110\ 384243645151507683*c_0101_6^18 - 7203146543077813988236702744538826\ 35413023049714453115770214893788/6621459437549119937780775703496432\ 95778110384243645151507683*c_0101_6^17 - 1034801862679164524326022217422149584598565949048610278394281474623\ /662145943754911993778077570349643295778110384243645151507683*c_010\ 1_6^16 + 1357569256555322465602765222710180123538288733429616804363\ 124981058/662145943754911993778077570349643295778110384243645151507\ 683*c_0101_6^15 + 4105551206503046067601652538969927411575473720856\ 06987127256787140/6621459437549119937780775703496432957781103842436\ 45151507683*c_0101_6^14 - 10338755844984318173342450439267749552413\ 62216663466780903580943470/6621459437549119937780775703496432957781\ 10384243645151507683*c_0101_6^13 + 113079228826223895914533165958665552548842791566710795811128479043/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^12 + 38958869311638505037857995098600843210212163371854798138877\ 1059545/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^11 - 241154769355790124120253819115711887570470194433235\ 705514196418292/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^10 - 7216201790497217775460084087489042328649365\ 2623436783248483175505/66214594375491199377807757034964329577811038\ 4243645151507683*c_0101_6^9 + 1153524082148069117612669505647781062\ 14254377667640286997029295920/6621459437549119937780775703496432957\ 78110384243645151507683*c_0101_6^8 - 2988096683484432547236119399378331710046789474902088176793352420/66\ 2145943754911993778077570349643295778110384243645151507683*c_0101_6\ ^7 - 21189421542998841859017043198261181795052058140437086336115532\ 580/662145943754911993778077570349643295778110384243645151507683*c_\ 0101_6^6 + 80848113234712601661414300765750621988010928122593601943\ 94210938/6621459437549119937780775703496432957781103842436451515076\ 83*c_0101_6^5 + 172481065337188340016630325762473494295720030842162\ 8827024909275/66214594375491199377807757034964329577811038424364515\ 1507683*c_0101_6^4 - 1681373203922839650255662694962743854706171670\ 904064472039323355/662145943754911993778077570349643295778110384243\ 645151507683*c_0101_6^3 + 58913114612614453224184154381790117781357\ 910029948654925583484/662145943754911993778077570349643295778110384\ 243645151507683*c_0101_6^2 + 10511795729396828788014595938006294064\ 3092792468489155795776800/66214594375491199377807757034964329577811\ 0384243645151507683*c_0101_6 - 139512151350773902944925307585161269\ 60240146234399086858065885/6621459437549119937780775703496432957781\ 10384243645151507683, c_0101_5 - 216672510940117663982305661849188215459533279444585390886521\ 01/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^32 + 44835267423072374213162200456206781802397074279210450411\ 410471/662145943754911993778077570349643295778110384243645151507683\ *c_0101_6^31 + 2052558669549351830137817575566668465157463585624034\ 83855978380/6621459437549119937780775703496432957781103842436451515\ 07683*c_0101_6^30 - 94528906024094645418162104524280301090393238081\ 3932037743881044/66214594375491199377807757034964329577811038424364\ 5151507683*c_0101_6^29 + 150529944820755912269570638347353438529312\ 3361969985670224456946/66214594375491199377807757034964329577811038\ 4243645151507683*c_0101_6^28 + 229691681377060670642444084087275537\ 2470479198819523706005353166/66214594375491199377807757034964329577\ 8110384243645151507683*c_0101_6^27 - 19095264111206217654165419207732796121803421412003358982646665711/6\ 62145943754911993778077570349643295778110384243645151507683*c_0101_\ 6^26 + 289218003282340002995002622350899850150041100788677079330436\ 79761/662145943754911993778077570349643295778110384243645151507683*\ c_0101_6^25 + 46351495860843749743730923555058534163293881999767308\ 116974134582/662145943754911993778077570349643295778110384243645151\ 507683*c_0101_6^24 - 1775608647287800511148878960154309162509588277\ 58028273539351132914/6621459437549119937780775703496432957781103842\ 43645151507683*c_0101_6^23 + 69161404225064903514263327641302695846\ 984534066552772934402247682/662145943754911993778077570349643295778\ 110384243645151507683*c_0101_6^22 + 353127278520224094826540874383376356000759115587971099545379058437/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^21 - 47616591735299086720251114245374075892869430936582018866484\ 4577855/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^20 - 144015873216668237568004241725077691200772020026647\ 919541884772648/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^19 + 8549149436551968400573967458990041233353985\ 01237332187068267875368/6621459437549119937780775703496432957781103\ 84243645151507683*c_0101_6^18 - 53075705996772865791606398714199513\ 5218640631023848018148317766422/66214594375491199377807757034964329\ 5778110384243645151507683*c_0101_6^17 - 742816353597321879583756144880274090464501236687079254665750869798/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^16 + 98910088845642140548950860827628726560487793722494619338074\ 1088270/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^15 + 287128457505535953073176383176623419305475825322303\ 360963436874660/662145943754911993778077570349643295778110384243645\ 151507683*c_0101_6^14 - 7485513457001767701459167811829100469987984\ 87061994214967107701198/6621459437549119937780775703496432957781103\ 84243645151507683*c_0101_6^13 + 88226419164267887143184644698982767\ 670798079908745984613635907360/662145943754911993778077570349643295\ 778110384243645151507683*c_0101_6^12 + 279231173998260291800028052982983913565655919265454230856270525112/\ 662145943754911993778077570349643295778110384243645151507683*c_0101\ _6^11 - 17607067651965830934478415922741905443969625043634522261275\ 0212635/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^10 - 502505094726524584007334185215974870558190148079563\ 14070207187995/6621459437549119937780775703496432957781103842436451\ 51507683*c_0101_6^9 + 832489402206034981188396442361123906847473155\ 12303154264880073405/6621459437549119937780775703496432957781103842\ 43645151507683*c_0101_6^8 - 271277290732921794623308323409374988374\ 3996397656204258713119115/66214594375491199377807757034964329577811\ 0384243645151507683*c_0101_6^7 - 1509731531326788195669546217595509\ 8334278087589352897385136699263/66214594375491199377807757034964329\ 5778110384243645151507683*c_0101_6^6 + 5874555372450271277824165570639587904566805379095339135708794385/66\ 2145943754911993778077570349643295778110384243645151507683*c_0101_6\ ^5 + 11939793095965496250965881235164718396162812537727406105550936\ 70/662145943754911993778077570349643295778110384243645151507683*c_0\ 101_6^4 - 120279674415390736941384896491895913278824358288917812575\ 5918459/66214594375491199377807757034964329577811038424364515150768\ 3*c_0101_6^3 + 4474640119865091752967535434730874808836605785391485\ 5116209358/66214594375491199377807757034964329577811038424364515150\ 7683*c_0101_6^2 + 7363210015462310766090982522132494513451244220966\ 3233162257275/66214594375491199377807757034964329577811038424364515\ 1507683*c_0101_6 - 106089601136791982215142933141511129914901597134\ 54336202206248/6621459437549119937780775703496432957781103842436451\ 51507683, c_0101_6^33 - 4/3*c_0101_6^32 - 11*c_0101_6^31 + 110/3*c_0101_6^30 - 112/3*c_0101_6^29 - 472/3*c_0101_6^28 + 2411/3*c_0101_6^27 - 686*c_0101_6^26 - 9376/3*c_0101_6^25 + 6628*c_0101_6^24 + 2844*c_0101_6^23 - 56051/3*c_0101_6^22 + 30043/3*c_0101_6^21 + 68618/3*c_0101_6^20 - 34685*c_0101_6^19 - 13532/3*c_0101_6^18 + 157393/3*c_0101_6^17 - 61804/3*c_0101_6^16 - 140714/3*c_0101_6^15 + 75074/3*c_0101_6^14 + 63887/3*c_0101_6^13 - 48037/3*c_0101_6^12 - 1276*c_0101_6^11 + 24956/3*c_0101_6^10 - 6545/3*c_0101_6^9 - 8069/3*c_0101_6^8 + 801*c_0101_6^7 + 235*c_0101_6^6 - 764/3*c_0101_6^5 + 49/3*c_0101_6^4 + 115/3*c_0101_6^3 - 5*c_0101_6^2 - 2*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB