Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3414841101] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2223 geometric_solution 5.66470830 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 1 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.386796549067 0.586531225634 3 2 4 0 0132 3012 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687584458523 0.962928751114 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 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 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 0 0 0.687584458523 0.962928751114 1 2 5 5 0132 0132 0132 2310 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 0.578151435365 1.413330878209 6 2 6 1 0132 2310 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629295097294 1.520394417268 3 5 5 3 3201 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.671870547295 0.451069844925 4 6 4 6 0132 1302 1023 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437679431106 0.170487278128 ==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_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 91551301766777665619233819475002927411625272439149487667007673342/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^30 + 249578230063379934519523861625572179483678108590621758075\ 466657630/161087302040948193186276456005415966200171134542075354035\ 045533*c_0101_4^29 + 3638644357161499838139592350625798426052151942\ 732120147543022885050/161087302040948193186276456005415966200171134\ 542075354035045533*c_0101_4^28 - 1090458463527429527247244148832116\ 4320532647666607206835574198156906/16108730204094819318627645600541\ 5966200171134542075354035045533*c_0101_4^27 - 3611954190131565776042693641265488216643409998382539847468479883627\ 5/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^26 + 164857654204933764318668147447184528087944517038703528\ 069032533369028/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^25 + 3700310870812001149069942865735191545672\ 5659460036737695321729822076/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^24 - 9496323817431847016382586304211221741861447328911450741404021698876\ 74/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^23 + 63570225274061853204560261939669882627485791157957426\ 5042900650513178/16108730204094819318627645600541596620017113454207\ 5354035045533*c_0101_4^22 + 251068296876194212991898094996149585936\ 2668728647103481432148894156752/16108730204094819318627645600541596\ 6200171134542075354035045533*c_0101_4^21 - 2158599894746138864475500551091592896557202348299910956281401941741\ 746/161087302040948193186276456005415966200171134542075354035045533\ *c_0101_4^20 - 4348314862188239930539969895333853432030505251999500\ 485266926906587197/161087302040948193186276456005415966200171134542\ 075354035045533*c_0101_4^19 + 3416209080508206952546982065602337472\ 475771870583377702819721679120517/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^18 + 5335177245570876737324643622473397938268233099767623861603287054029\ 620/161087302040948193186276456005415966200171134542075354035045533\ *c_0101_4^17 - 3548233731162737442111141125556232393724575451733567\ 969888500909296352/161087302040948193186276456005415966200171134542\ 075354035045533*c_0101_4^16 - 4179074522916643929296672703907935019\ 778888073552058895432970479263516/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^15 + 2487952311066318660826636500955352231857531449181828240622834694444\ 949/161087302040948193186276456005415966200171134542075354035045533\ *c_0101_4^14 + 2135636114242642719447878542303507242218916879542718\ 200224352084830691/161087302040948193186276456005415966200171134542\ 075354035045533*c_0101_4^13 - 1593160352586458509597381047491133498\ 408618298408697876860173847435548/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^12 - 5037533927873074060393752398299524801992807664792257108210406325236\ 58/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^11 + 85867080908716999984874220900175572631679391555451595\ 4226117708070149/16108730204094819318627645600541596620017113454207\ 5354035045533*c_0101_4^10 - 795948422928311153656321989613256971099\ 5036123746928141014007239939/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^9 - 3132326635673675562567924442421418265578660972454959616417987724938\ 89/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^8 - 115479360106639896102386726397273292272999401183720741\ 70424328379270/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^7 + 801631579878087130906286946803937111432175\ 63344450292884795684607280/1610873020409481931862764560054159662001\ 71134542075354035045533*c_0101_4^6 - 4113679006166835603427494644595336629693336219429818715511440346060\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^5 - 31589749459168054986674101912732985680433964465417517067\ 80259826391/1610873020409481931862764560054159662001711345420753540\ 35045533*c_0101_4^4 + 324435268218176567211631487026220360963015046\ 9926181247405862449090/16108730204094819318627645600541596620017113\ 4542075354035045533*c_0101_4^3 - 3005559217910803029894448636095570\ 55223570167796275427686180282641/1610873020409481931862764560054159\ 66200171134542075354035045533*c_0101_4^2 - 1452772673809617644121837289679670930659644295036468639324450564886\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4 + 3366083970234767296482091393426931731066433089730287660779\ 19553297/1610873020409481931862764560054159662001711345420753540350\ 45533, c_0011_0 - 1, c_0011_1 - 104903804709756551882717553351230498935245345851912292195633\ 256/161087302040948193186276456005415966200171134542075354035045533\ *c_0101_4^30 + 2645591667645929806615545900970383882642320298387248\ 40492959352/1610873020409481931862764560054159662001711345420753540\ 35045533*c_0101_4^29 + 42135947271979674359381279187125663733543446\ 14960088233565044730/1610873020409481931862764560054159662001711345\ 42075354035045533*c_0101_4^28 - 11613094441508326427246953965708031\ 759698025133148958097333569892/161087302040948193186276456005415966\ 200171134542075354035045533*c_0101_4^27 - 43360204190882627532291651647693387667106882446076170601315144516/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^26 + 179090869471427373324183347051671571112752787693027863616\ 358390107/161087302040948193186276456005415966200171134542075354035\ 045533*c_0101_4^25 + 7464330322541911396019349599791437310825062242\ 1670145046289054201/16108730204094819318627645600541596620017113454\ 2075354035045533*c_0101_4^24 - 105751229284115929525087079146184332\ 9051918355588230482484152321719/16108730204094819318627645600541596\ 6200171134542075354035045533*c_0101_4^23 + 524007592347158005416587296159962338882623739701481914506741578393/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^22 + 28883491832451450796663692417540418601406323880939232844\ 38519891699/1610873020409481931862764560054159662001711345420753540\ 35045533*c_0101_4^21 - 18615480505289922727283895371095873081622797\ 57986010014601151001812/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^20 - 5085889125916547231967084889487467720802097226105304025828198350473\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^19 + 2771131192452099886550970618998904490108931599989617516\ 133642390064/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^18 + 6181804302774345618991746208674535239532192\ 971320574184449621983326/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4^17 - 2654944898565769284899582635588159038484906754130558236179338717780\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^16 - 4734419093222948161284969138820529648269959241675077491\ 524974470314/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^15 + 1750754122750259996168658420425933732629624\ 968424983524505621487715/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4^14 + 2352949625914601650433133242452679171640097300700875327129853465202\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^13 - 1248869675104759496618610423435576457614143506763976614\ 501502306779/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^12 - 6098875560141981842728986682374854963820701\ 48368958496090090712358/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^11 + 770023038880421486314308371092460819719881514874146124224901319086/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^10 + 81015487362098029993266379377339067871200430611592129920\ 552348085/161087302040948193186276456005415966200171134542075354035\ 045533*c_0101_4^9 - 27682402478612305183184188291900468312909907424\ 7432215251559727137/16108730204094819318627645600541596620017113454\ 2075354035045533*c_0101_4^8 - 5619782145520634836872498236188802730\ 9937425189856859765253617784/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^7 + 57862715954679198400555451834027005445288286291447203547639853197/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^6 + 1457931742597661944449941574984116554946996222291361738988\ 031236/161087302040948193186276456005415966200171134542075354035045\ 533*c_0101_4^5 + 47435192266055797340840876578722129656019879910539\ 259455320174/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^4 + 44409217996599779736507277244405323181417969\ 38485494976898883819/1610873020409481931862764560054159662001711345\ 42075354035045533*c_0101_4^3 + 165844341050396195166869893127161450\ 259247662506994355508295250/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^2 - 1286409464340164178557359021323129912324759607882363054693073061/16\ 1087302040948193186276456005415966200171134542075354035045533*c_010\ 1_4 + 1528581523976250415977866545033769757054927787132154143715312\ 51/161087302040948193186276456005415966200171134542075354035045533, c_0011_4 + 193461301841303736357280342027786257524892358935198517860245\ 0724/16108730204094819318627645600541596620017113454207535403504553\ 3*c_0101_4^30 - 530467893150799346965097309216466395974449170046106\ 5130820817525/16108730204094819318627645600541596620017113454207535\ 4035045533*c_0101_4^29 - 768197758900551731293312407733076438088754\ 34478070701747766653779/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^28 + 231681493731598779990546455174158851918579178587282662838063192799/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^27 + 76015466986684718619610213078493973584563443829000475383\ 8565921841/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^26 - 349715436216890689381104043498631490707673637\ 3462868434321420648951/16108730204094819318627645600541596620017113\ 4542075354035045533*c_0101_4^25 - 732563153916756294677639316822259\ 576884161158071219621227964786238/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^24 + 2010102117684669403038805680072992480922731149648892123130254980054\ 4/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^23 - 137369638630911212387847092771299451669427145365563197\ 16540776455506/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^22 - 52972350682296851124309549505818129137556\ 021596136173948809686368583/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^21 + 4649104068014417448894816879223434560004079161072600224349930451260\ 6/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^20 + 915337470928094983236637529777279522463300312530450355\ 27040385052289/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^19 - 73791747085386686831076587980975870736079\ 930593683914671121897298251/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^18 - 1122536034894938989192144316579428363269205969772683077362237967684\ 64/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^17 + 76958782122650460448638422501701502896365382250754565\ 293011430558265/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^16 + 8790190389774271814043224286663053984379\ 4857342149090521458002950712/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^15 - 5413622971317279580823384031906301879658519432221211842624552723750\ 6/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^14 - 448754296602700934122425665923315493085725249885788067\ 22469929415166/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^13 + 34490833933331870641862763862147240276318\ 104598709718052253338397901/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^12 + 1039702353491687729438336084249017715668161173103431435747624081842\ 4/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^11 - 184244178892601954952082958493237692918899174135460820\ 97814390420668/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^10 + 36719168475389369105402327540110343979033\ 4388276729941222818387492/16108730204094819318627645600541596620017\ 1134542075354035045533*c_0101_4^9 + 6696964026278240618287493414479254997611809178315531354869034641806\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^8 + 16260031794277392178693267818144457636084196188413175972\ 8640424248/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^7 - 1724782484406267128923040851043224300673828295\ 770093565882392266964/161087302040948193186276456005415966200171134\ 542075354035045533*c_0101_4^6 + 10357750716310816295369145178918043\ 3308033993217831410750695046798/16108730204094819318627645600541596\ 6200171134542075354035045533*c_0101_4^5 + 70096675002971536674133088483561670951760909118568698627572731213/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^4 - 6917338256875023757605519493547210164777832871549096261384\ 6193856/16108730204094819318627645600541596620017113454207535403504\ 5533*c_0101_4^3 + 7199268074265338295226084349035144242515113962816\ 678263842795607/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^2 + 30839024173135765717104835258175367958323\ 326411717013001961500024/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4 - 7467765641736659722950417454282399\ 533679839522165559513477776154/161087302040948193186276456005415966\ 200171134542075354035045533, c_0011_5 - 490652437129274676474838374213074201378002594566031722578552\ 89/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^30 + 12267472008278929674127926608641173935481142611902543\ 0828353918/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^29 + 197452259185010201857766645794907045939764714\ 6140610494346779587/16108730204094819318627645600541596620017113454\ 2075354035045533*c_0101_4^28 - 538932581344777349148676009288734732\ 3683233862175575374146102054/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^27 - 20445572647052806304111438035556672513622657836575785293517505966/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^26 + 833513210282594985783390437190186000416906948413586539840\ 14440404/1610873020409481931862764560054159662001711345420753540350\ 45533*c_0101_4^25 + 37366646713235992246995389329038886043536638911\ 563158553173710481/161087302040948193186276456005415966200171134542\ 075354035045533*c_0101_4^24 - 4947461490806077069903945200057224981\ 43519848359510327613008060017/1610873020409481931862764560054159662\ 00171134542075354035045533*c_0101_4^23 + 230483420788149611844107700376033989123267883979710533272594702971/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^22 + 13648435885870770866326803431512622459638433706400577592\ 26138897160/1610873020409481931862764560054159662001711345420753540\ 35045533*c_0101_4^21 - 82895165627948169720805894787434704808407844\ 2612725517293866592566/16108730204094819318627645600541596620017113\ 4542075354035045533*c_0101_4^20 - 243165149848845247095061249012334\ 1336684487997340775607012611067927/16108730204094819318627645600541\ 5966200171134542075354035045533*c_0101_4^19 + 1222198209383373913759552620265737399000355069013210304718048365319\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^18 + 2983968134977992675080043870886445416812411435971443651\ 219209229781/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^17 - 1154928768425625115959934459816218820394741\ 315268208556876594079640/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4^16 - 2315305663782996258442381215165316112476678433240299226079470578001\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^15 + 7648791665215710138707326855584068189745779752849370984\ 89730593151/1610873020409481931862764560054159662001711345420753540\ 35045533*c_0101_4^14 + 11823449414149546240124046428628138937815433\ 10530588849693735881424/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^13 - 580756322319217539843038436964510927221069266270321936706768462619/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^12 - 34005098919539384292065563510902657043551778682498801264\ 1364810579/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^11 + 377838802979437240801800139168438454749924865\ 379262873458303812814/161087302040948193186276456005415966200171134\ 542075354035045533*c_0101_4^10 + 6708908889943743167504683475779580\ 1358972829254715700941424842066/16108730204094819318627645600541596\ 6200171134542075354035045533*c_0101_4^9 - 144721064958464769132651785679516503357473332165995729084446839581/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^8 - 317033544065451500037049405996779189796081345660111410625\ 20648332/1610873020409481931862764560054159662001711345420753540350\ 45533*c_0101_4^7 + 333612839145256943488237784240726347268856215850\ 04075152682790252/1610873020409481931862764560054159662001711345420\ 75354035045533*c_0101_4^6 - 141446827037228621085590915493288602596\ 4260391687128103454070746/16108730204094819318627645600541596620017\ 1134542075354035045533*c_0101_4^5 - 2282782501438826890302589373940255296444064573389786516935580539/16\ 1087302040948193186276456005415966200171134542075354035045533*c_010\ 1_4^4 + 22114278498026717310576112727862547358760346322588172899264\ 34652/1610873020409481931862764560054159662001711345420753540350455\ 33*c_0101_4^3 + 940598459311078812747382456547683043922024193326318\ 733526971462/161087302040948193186276456005415966200171134542075354\ 035045533*c_0101_4^2 - 63149157550263025097638412559871121349641557\ 4739500298337662887/16108730204094819318627645600541596620017113454\ 2075354035045533*c_0101_4 + 110551873903687591128141687369987290375\ 272929728904459450624327/161087302040948193186276456005415966200171\ 134542075354035045533, c_0101_0 + 160463318524248473908006670694051014679024123289856722998761\ 0738/16108730204094819318627645600541596620017113454207535403504553\ 3*c_0101_4^30 - 441260303785448107126066763443498038561242296062057\ 1952837118671/16108730204094819318627645600541596620017113454207535\ 4035045533*c_0101_4^29 - 636883638043026505979765385452448183546562\ 81536436319510628320245/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^28 + 192686163950052716492278341434179634799501545051173867515518295212/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^27 + 62923129622262758182040386369817951059329954753532110547\ 9711818072/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^26 - 290638403098631072046575101727959321842956838\ 3676006882171091726117/16108730204094819318627645600541596620017113\ 4542075354035045533*c_0101_4^25 - 587331332579484139260798926020481\ 471107274451830643184847703161898/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^24 + 1668853295232367714417441253116724853503868060106914950051597755213\ 1/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^23 - 115206438870680856769845270797223084359048497694098236\ 10224141171709/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^22 - 43915032347840833846755344871736885346365\ 860688785130875093173758997/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^21 + 3893844023273648849301770280328117129887924344718502050005733649451\ 5/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^20 + 758151552702975647699106222186166094283129627801878696\ 20685333559807/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^19 - 61915986588848253959327195059594720015442\ 896794699626340937315963720/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^18 - 9300375287046737965314701748020790641393967792617730066868943192884\ 2/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^17 + 647185781400953597635728122994928311960531245916107699\ 21693598246473/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^16 + 72903275217998121907943608339912277423391\ 640660097014057409090335919/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^15 - 4558192554957095103775583835769533044229731485890369362246957080725\ 8/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^14 - 372753321941470947218651036021112971603246424231347895\ 79041367695694/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^13 + 28934026143935047479601935466970413445308\ 714595017440049836371905540/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^12 + 8607363383806033467662655959690501375898884244593100962683706028426\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^11 - 1538086733594262048835771899820031528761753683567123561\ 4635348435936/16108730204094819318627645600541596620017113454207535\ 4035045533*c_0101_4^10 + 361598445485533017910926634935058121943679\ 679076202265526410887080/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4^9 + 5591475012405567482794422821465207658314356123711453360863385645501\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^8 + 10964727853010198050930965841923994749690100178070323310\ 6622965029/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^7 - 1450220031948959724609136800320008191081798128\ 968363318369908666152/161087302040948193186276456005415966200171134\ 542075354035045533*c_0101_4^6 + 86592052764864225630730193299778362\ 654306823893099170166274871084/161087302040948193186276456005415966\ 200171134542075354035045533*c_0101_4^5 + 59541134857792264860953142932036187270915501261501554365188522821/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^4 - 5670051985917481588574849196710770153377164516025593199500\ 4041585/16108730204094819318627645600541596620017113454207535403504\ 5533*c_0101_4^3 + 6793368051420209269111268054990070383841885838484\ 965605025688427/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^2 + 25981109137130104110335537389855399386814\ 610083198650591709333454/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4 - 6394850241592133852245522382394872\ 773352149378761228699807060626/161087302040948193186276456005415966\ 200171134542075354035045533, c_0101_1 + 187939740112270549972570747917336392388166424561280503289508\ 8124/16108730204094819318627645600541596620017113454207535403504553\ 3*c_0101_4^30 - 514394394537341238068510798515595077178856395481382\ 2003321038578/16108730204094819318627645600541596620017113454207535\ 4035045533*c_0101_4^29 - 746510846027772232040444680842237950755669\ 18788768752827755558542/1610873020409481931862764560054159662001711\ 34542075354035045533*c_0101_4^28 + 224693158199403777833754501843959887286384161015467965771539974654/\ 161087302040948193186276456005415966200171134542075354035045533*c_0\ 101_4^27 + 73950593853036636945306525513331620219527198355495968741\ 9064471153/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^26 - 339344404479286756931559112694467586815126151\ 6149932737825632934640/16108730204094819318627645600541596620017113\ 4542075354035045533*c_0101_4^25 - 727813444180268398294288726882883\ 930729035663121029631282616874287/161087302040948193186276456005415\ 966200171134542075354035045533*c_0101_4^24 + 1952033078125603491948992188497255458839978141566841180087087373036\ 5/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^23 - 132486445107912392853489321866199392320972099474599074\ 18101109283545/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^22 - 51506501824873124982835711008033896750147\ 369159988328191446793976553/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^21 + 4489553890521857703309293498910427229520571420078235217665561039963\ 2/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^20 + 890879576690558078251433850767713603535716906049214515\ 66631320371405/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^19 - 71199986133861831907268625666046709812245\ 004832414222114090055838598/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^18 - 1092927529020591282886658141727274306113406148907278794020328877334\ 28/161087302040948193186276456005415966200171134542075354035045533*\ c_0101_4^17 + 74156548265058026981472399754016709324099694792688817\ 631398136822375/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^16 + 8560756636851956454464670841368414222404\ 8255147312477052628699561987/16108730204094819318627645600541596620\ 0171134542075354035045533*c_0101_4^15 - 5211665539531106226873445714251657958475355713849289478008980861953\ 2/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^14 - 437185934533726696502847240672189168372051796541534446\ 79954408451444/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^13 + 33271280027479802755743027033798105947471\ 036957200376946877165212878/161087302040948193186276456005415966200\ 171134542075354035045533*c_0101_4^12 + 1019060841632534547092220949030176324610910291005457654923662636925\ 3/161087302040948193186276456005415966200171134542075354035045533*c\ _0101_4^11 - 178365623392760692143805374006727558742715156744535285\ 34546569426317/1610873020409481931862764560054159662001711345420753\ 54035045533*c_0101_4^10 + 29170154813335964043710792155335621323688\ 7622117991167331266899990/16108730204094819318627645600541596620017\ 1134542075354035045533*c_0101_4^9 + 6494713100531553911421274334453178298064107282643360410038554084246\ /161087302040948193186276456005415966200171134542075354035045533*c_\ 0101_4^8 + 18324508653519090525652265766022240503423601068639073952\ 2194719493/16108730204094819318627645600541596620017113454207535403\ 5045533*c_0101_4^7 - 1667337731312136274378962821135955309014828702\ 575068851402909747063/161087302040948193186276456005415966200171134\ 542075354035045533*c_0101_4^6 + 96617641693522163317082112496115158\ 321854922353769212805403258333/161087302040948193186276456005415966\ 200171134542075354035045533*c_0101_4^5 + 67247955632319431743969042883230695837465883094486742567766302324/1\ 61087302040948193186276456005415966200171134542075354035045533*c_01\ 01_4^4 - 6754475857641896336559148648288268175289463666846315030508\ 0045463/16108730204094819318627645600541596620017113454207535403504\ 5533*c_0101_4^3 + 6242112272437169044817242553404796298824041368998\ 867167490698134/161087302040948193186276456005415966200171134542075\ 354035045533*c_0101_4^2 + 29953313042750679683981721972439369859224\ 665252963079337358892490/161087302040948193186276456005415966200171\ 134542075354035045533*c_0101_4 - 7197421902992168100718811485355925\ 338700822645934712679997871264/161087302040948193186276456005415966\ 200171134542075354035045533, c_0101_4^31 - 3*c_0101_4^30 - 39*c_0101_4^29 + 130*c_0101_4^28 + 362*c_0101_4^27 - 1909*c_0101_4^26 + 88*c_0101_4^25 + 10487*c_0101_4^24 - 9782*c_0101_4^23 - 25544*c_0101_4^22 + 31094*c_0101_4^21 + 41100*c_0101_4^20 - 50343*c_0101_4^19 - 48163*c_0101_4^18 + 54738*c_0101_4^17 + 35155*c_0101_4^16 - 39688*c_0101_4^15 - 15967*c_0101_4^14 + 23795*c_0101_4^13 + 771*c_0101_4^12 - 10897*c_0101_4^11 + 2647*c_0101_4^10 + 3407*c_0101_4^9 - 808*c_0101_4^8 - 912*c_0101_4^7 + 283*c_0101_4^6 + 22*c_0101_4^5 - 45*c_0101_4^4 + 13*c_0101_4^3 + 15*c_0101_4^2 - 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB