Magma V2.19-8 Tue Aug 20 2013 23:38:38 on localhost [Seed = 1696792917] Type ? for help. Type -D to quit. Loading file "K12a1128__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1128 geometric_solution 8.93823052 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -4 0 0 4 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668594663798 0.793486695395 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 -4 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.310217513402 0.873666390569 5 0 8 6 2031 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757665762845 1.002522275017 9 10 10 0 0132 0132 2103 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 -1 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.601769269818 0.763037010983 9 7 0 10 3120 0132 0132 0132 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 5 0 -4 -1 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.602858267403 0.373322607439 6 1 2 8 3201 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.303767911907 0.172481859408 7 2 1 5 2103 1302 0132 2310 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 -5 0 4 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.931550590935 0.608146943523 9 4 6 1 2103 0132 2103 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668594663798 0.793486695395 8 5 8 2 2031 0321 1302 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.337847545610 0.227925222086 3 10 7 4 0132 1302 2103 3120 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 1 0 -1 0 0 5 -5 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.106841298519 0.727961517603 3 3 4 9 2103 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.960779053771 1.016373639070 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_0101_2'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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_9' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_8']), 'c_1100_10' : d['c_0011_4'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : d['c_1001_1'], 's_3_1' : negation(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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_8']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_8'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0110_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 30417745762642727030100904639176384019715438915959/5943237621914522\ 71996108791267781912795520836399*c_1001_1^28 - 103067463853281735040801798292321261034511265616911/594323762191452\ 271996108791267781912795520836399*c_1001_1^27 + 50649958938937908652343460056418992730853534727638/5943237621914522\ 71996108791267781912795520836399*c_1001_1^26 + 32949512207637098952752394313214789091103245033803/3128019801007643\ 5368216252171988521726080044021*c_1001_1^25 + 517583580483934805493206014342535154904579491199951/594323762191452\ 271996108791267781912795520836399*c_1001_1^24 - 1734242667495103290193280852679238999701101245640053/59432376219145\ 2271996108791267781912795520836399*c_1001_1^23 - 16072214254758347994023414964178633067484745436263/3935918954910279\ 946994097955415774256923979049*c_1001_1^22 + 4442129209295118800643343666889203078822543158884875/59432376219145\ 2271996108791267781912795520836399*c_1001_1^21 + 435646103340899868950554748494735885788581711125370/457172124762655\ 59384316060866752454830424679723*c_1001_1^20 - 12387676542761029433795780823919152223224019454925704/5943237621914\ 52271996108791267781912795520836399*c_1001_1^19 - 14651586863579646170426102259877636650401654421902300/5943237621914\ 52271996108791267781912795520836399*c_1001_1^18 + 24792213848596722050023655516815729159523945909792360/5943237621914\ 52271996108791267781912795520836399*c_1001_1^17 + 28329185390890748468101869150655665863915333787745491/5943237621914\ 52271996108791267781912795520836399*c_1001_1^16 - 43409893745642242764584915155000487019461299551304974/5943237621914\ 52271996108791267781912795520836399*c_1001_1^15 - 46774576987206261967353195938288365768127419429794318/5943237621914\ 52271996108791267781912795520836399*c_1001_1^14 + 57519524690360823475658304862329104832220964983980214/5943237621914\ 52271996108791267781912795520836399*c_1001_1^13 + 64254204014853934758919594631892106285166922367267490/5943237621914\ 52271996108791267781912795520836399*c_1001_1^12 - 3001702709347273022247645205884041455136537729307669/31280198010076\ 435368216252171988521726080044021*c_1001_1^11 - 67918644571392898200594258757604527914305455770877571/5943237621914\ 52271996108791267781912795520836399*c_1001_1^10 + 49102635870308801750072593484335421487916058134124428/5943237621914\ 52271996108791267781912795520836399*c_1001_1^9 + 3105954938721806090271116115211771887568315546079698/31280198010076\ 435368216252171988521726080044021*c_1001_1^8 - 32838846276221382850077106212956402071749333467480486/5943237621914\ 52271996108791267781912795520836399*c_1001_1^7 - 39034675563483176246081450292082613172371085642434370/5943237621914\ 52271996108791267781912795520836399*c_1001_1^6 + 1409731311797297194863904876176322502562749164751462/45717212476265\ 559384316060866752454830424679723*c_1001_1^5 + 16829830484782710151640355506278689650211621964939859/5943237621914\ 52271996108791267781912795520836399*c_1001_1^4 - 7064686285293719476659952154901353796548265415747018/59432376219145\ 2271996108791267781912795520836399*c_1001_1^3 - 5029874516489599630980997957405720922759896286930445/59432376219145\ 2271996108791267781912795520836399*c_1001_1^2 + 1927436574257982491432411004116773907421963880481025/59432376219145\ 2271996108791267781912795520836399*c_1001_1 + 17622767318175621223216535102149083292417406127187/5943237621914522\ 71996108791267781912795520836399, c_0011_0 - 1, c_0011_10 - 2575240920323922002285785363442755307735/434193312106066249\ 70977042829107593651601*c_1001_1^28 - 8431122491352490428437114451199889576953/43419331210606624970977042\ 829107593651601*c_1001_1^27 + 6165992754322045868385293814674626383\ 982/43419331210606624970977042829107593651601*c_1001_1^26 + 55767442437148930012603396971784222716136/4341933121060662497097704\ 2829107593651601*c_1001_1^25 + 370524649355417950039181914556102258\ 97946/43419331210606624970977042829107593651601*c_1001_1^24 - 171097128807372962794489889359139387417554/434193312106066249709770\ 42829107593651601*c_1001_1^23 - 20957291180229615611684293213389923\ 0948974/43419331210606624970977042829107593651601*c_1001_1^22 + 448177055913230767326092817527932329250715/434193312106066249709770\ 42829107593651601*c_1001_1^21 + 52805353312027245345263820543849971\ 6336549/43419331210606624970977042829107593651601*c_1001_1^20 - 1213621748702070724716803126023261778482402/43419331210606624970977\ 042829107593651601*c_1001_1^19 - 1341093183829977678898390109980805\ 721499552/43419331210606624970977042829107593651601*c_1001_1^18 + 2551337003653526724633732668764758365210950/43419331210606624970977\ 042829107593651601*c_1001_1^17 + 2722368309481728815205600636101479\ 780845699/43419331210606624970977042829107593651601*c_1001_1^16 - 4554906421455621436246974571167634650897222/43419331210606624970977\ 042829107593651601*c_1001_1^15 - 4664398748182610725904071487408325\ 752891530/43419331210606624970977042829107593651601*c_1001_1^14 + 6331943258763681385119109711851826317301970/43419331210606624970977\ 042829107593651601*c_1001_1^13 + 6766045477928339416024714080348184\ 390390300/43419331210606624970977042829107593651601*c_1001_1^12 - 6667112669463353911259762873301007945419725/43419331210606624970977\ 042829107593651601*c_1001_1^11 - 7743309143452199946992701852871658\ 160909421/43419331210606624970977042829107593651601*c_1001_1^10 + 5781508543208638707461753581861509299166301/43419331210606624970977\ 042829107593651601*c_1001_1^9 + 71766044058911008346421549630611449\ 05285089/43419331210606624970977042829107593651601*c_1001_1^8 - 3892620669301999727632823434690184386006128/43419331210606624970977\ 042829107593651601*c_1001_1^7 - 51425746010120786875807611190219415\ 88261977/43419331210606624970977042829107593651601*c_1001_1^6 + 2108235094051185626092416795798183519473471/43419331210606624970977\ 042829107593651601*c_1001_1^5 + 25939750067069542151441903055363355\ 29003571/43419331210606624970977042829107593651601*c_1001_1^4 - 736011104105808882077669660587882971576167/434193312106066249709770\ 42829107593651601*c_1001_1^3 - 902437421784031677857860601126657146\ 947813/43419331210606624970977042829107593651601*c_1001_1^2 + 134340868504656768051769820276698694802027/434193312106066249709770\ 42829107593651601*c_1001_1 + 72394425307704318065032562885141295506\ 747/43419331210606624970977042829107593651601, c_0011_4 - 1519212853223992509827362476494499453288/4341933121060662497\ 0977042829107593651601*c_1001_1^28 - 5953535415475333984218710847544342194838/43419331210606624970977042\ 829107593651601*c_1001_1^27 - 3971000407511668855547751481215644756\ 44/43419331210606624970977042829107593651601*c_1001_1^26 + 31895235884234233375834489056959301521154/4341933121060662497097704\ 2829107593651601*c_1001_1^25 + 427792097205700682894522548516086485\ 96894/43419331210606624970977042829107593651601*c_1001_1^24 - 67936733713572202633125263884748336274095/4341933121060662497097704\ 2829107593651601*c_1001_1^23 - 162130219739298574293224674742374305\ 425506/43419331210606624970977042829107593651601*c_1001_1^22 + 143916258643183808241665790847435879130898/434193312106066249709770\ 42829107593651601*c_1001_1^21 + 37444075760381153796235118228390544\ 8052989/43419331210606624970977042829107593651601*c_1001_1^20 - 441851992194613921685745348756633013708267/434193312106066249709770\ 42829107593651601*c_1001_1^19 - 99538261222621580873050969441862335\ 3690646/43419331210606624970977042829107593651601*c_1001_1^18 + 779577720724543248258373153095411158682259/434193312106066249709770\ 42829107593651601*c_1001_1^17 + 19149363391946730284370498370143210\ 92647088/43419331210606624970977042829107593651601*c_1001_1^16 - 1264881610746284761653768547897011293813641/43419331210606624970977\ 042829107593651601*c_1001_1^15 - 3140174923408318984035991506098743\ 530544767/43419331210606624970977042829107593651601*c_1001_1^14 + 1409190063371025928678962609586707509997154/43419331210606624970977\ 042829107593651601*c_1001_1^13 + 4157755436046928932103888373669287\ 290385248/43419331210606624970977042829107593651601*c_1001_1^12 - 884224565912359929218868046294710702774046/434193312106066249709770\ 42829107593651601*c_1001_1^11 - 40885627320868133042702533576530204\ 96719656/43419331210606624970977042829107593651601*c_1001_1^10 + 510079745164311467729794027432602010920229/434193312106066249709770\ 42829107593651601*c_1001_1^9 + 338813667490678196031264682668946462\ 4560783/43419331210606624970977042829107593651601*c_1001_1^8 - 105526459359753895085721185587642590376339/434193312106066249709770\ 42829107593651601*c_1001_1^7 - 216320972742291842731495018032221892\ 0716122/43419331210606624970977042829107593651601*c_1001_1^6 - 31255588485217922327038296418530884522478/4341933121060662497097704\ 2829107593651601*c_1001_1^5 + 9171058698421648795885645357291663992\ 92961/43419331210606624970977042829107593651601*c_1001_1^4 - 16639100675345722462080079719981333526998/4341933121060662497097704\ 2829107593651601*c_1001_1^3 - 2658732928952637344346037097259541548\ 64000/43419331210606624970977042829107593651601*c_1001_1^2 + 31028002292762822229856714375077773879051/4341933121060662497097704\ 2829107593651601*c_1001_1 + 422048604450236091512449331402830083912\ 36/43419331210606624970977042829107593651601, c_0011_6 - 10553591714906853484094320076927647627010/434193312106066249\ 70977042829107593651601*c_1001_1^28 - 35920341688058297378173195549793082197824/4341933121060662497097704\ 2829107593651601*c_1001_1^27 + 169879780840196329876368387937576448\ 22778/43419331210606624970977042829107593651601*c_1001_1^26 + 217312066698829714690433033085709804276827/434193312106066249709770\ 42829107593651601*c_1001_1^25 + 18289234790966022097385768529521234\ 1423018/43419331210606624970977042829107593651601*c_1001_1^24 - 597604206204190448585011690759096251805412/434193312106066249709770\ 42829107593651601*c_1001_1^23 - 84859900635465567528419929821402914\ 7471832/43419331210606624970977042829107593651601*c_1001_1^22 + 1525807620322259460575159533824424802903493/43419331210606624970977\ 042829107593651601*c_1001_1^21 + 1975991065956204485797126327631692\ 579238854/43419331210606624970977042829107593651601*c_1001_1^20 - 4271175206582593908225498780382339237832938/43419331210606624970977\ 042829107593651601*c_1001_1^19 - 5120192392280854023807230505988809\ 667321257/43419331210606624970977042829107593651601*c_1001_1^18 + 8538698887304291010491873953467705630665907/43419331210606624970977\ 042829107593651601*c_1001_1^17 + 9888987821103898927767887317220050\ 316920163/43419331210606624970977042829107593651601*c_1001_1^16 - 14936870768601168243902584935105338136775603/4341933121060662497097\ 7042829107593651601*c_1001_1^15 - 162784881873124566768095712538451\ 61057610284/43419331210606624970977042829107593651601*c_1001_1^14 + 19809710257840374948670213933932763766307212/4341933121060662497097\ 7042829107593651601*c_1001_1^13 + 222982800795548707088638800084663\ 34948838218/43419331210606624970977042829107593651601*c_1001_1^12 - 19648034654465902181691260586505170763612996/4341933121060662497097\ 7042829107593651601*c_1001_1^11 - 234188918120265120218437720009618\ 62297502186/43419331210606624970977042829107593651601*c_1001_1^10 + 17018940708541017704683130157977725482457054/4341933121060662497097\ 7042829107593651601*c_1001_1^9 + 2028853004418929672614824855603558\ 7046012694/43419331210606624970977042829107593651601*c_1001_1^8 - 11525314204839434761282280743864068298510791/4341933121060662497097\ 7042829107593651601*c_1001_1^7 - 1341933763626866305817958591363247\ 7417922040/43419331210606624970977042829107593651601*c_1001_1^6 + 6526287144935913446942346407530642999185550/43419331210606624970977\ 042829107593651601*c_1001_1^5 + 57138316120124117298314450113796930\ 57915218/43419331210606624970977042829107593651601*c_1001_1^4 - 2615989105511680084522108800561755189765507/43419331210606624970977\ 042829107593651601*c_1001_1^3 - 16913538165857813725898819133065686\ 01499141/43419331210606624970977042829107593651601*c_1001_1^2 + 751898326604823589997626037963221422282428/434193312106066249709770\ 42829107593651601*c_1001_1 - 10812883456749873250704600191168813363\ 249/43419331210606624970977042829107593651601, c_0011_8 + 15533066292762142100123922442653237001433/434193312106066249\ 70977042829107593651601*c_1001_1^28 + 53396698998288395133246591077399519249575/4341933121060662497097704\ 2829107593651601*c_1001_1^27 - 241995004411686064246888152088785364\ 67526/43419331210606624970977042829107593651601*c_1001_1^26 - 323981287172494111571571933118143249728012/434193312106066249709770\ 42829107593651601*c_1001_1^25 - 27905989047571208123432766932865159\ 2873827/43419331210606624970977042829107593651601*c_1001_1^24 + 888306630097449519664573048165384678522184/434193312106066249709770\ 42829107593651601*c_1001_1^23 + 12977743076290541597801067369113964\ 05667744/43419331210606624970977042829107593651601*c_1001_1^22 - 2244371811935882910751359733996273251346752/43419331210606624970977\ 042829107593651601*c_1001_1^21 - 3056887249820625557351707928392238\ 037960132/43419331210606624970977042829107593651601*c_1001_1^20 + 6280811534948207465641571780189475386803924/43419331210606624970977\ 042829107593651601*c_1001_1^19 + 7889417422116573522619964600063809\ 161472563/43419331210606624970977042829107593651601*c_1001_1^18 - 12564109211832791088594071134071004019086922/4341933121060662497097\ 7042829107593651601*c_1001_1^17 - 153696973263033616026100931232185\ 11885134986/43419331210606624970977042829107593651601*c_1001_1^16 + 21911527998649407220033424852257101028551641/4341933121060662497097\ 7042829107593651601*c_1001_1^15 + 254367166045286390750406878370589\ 71628146978/43419331210606624970977042829107593651601*c_1001_1^14 - 28962969713548359978158518188988894960798040/4341933121060662497097\ 7042829107593651601*c_1001_1^13 - 349863011250314558505047949116512\ 56752475690/43419331210606624970977042829107593651601*c_1001_1^12 + 28290709874857414622323342103998791214574985/4341933121060662497097\ 7042829107593651601*c_1001_1^11 + 370292356037813748574828405917735\ 82785308532/43419331210606624970977042829107593651601*c_1001_1^10 - 23962818659560453633093268459391137091381290/4341933121060662497097\ 7042829107593651601*c_1001_1^9 - 3222280685222440503448598827422312\ 4074516580/43419331210606624970977042829107593651601*c_1001_1^8 + 15752894676382686881218860693029858754990810/4341933121060662497097\ 7042829107593651601*c_1001_1^7 + 2141485019585122824164771683742133\ 7905425571/43419331210606624970977042829107593651601*c_1001_1^6 - 8488757832841965464849294741918162268058151/43419331210606624970977\ 042829107593651601*c_1001_1^5 - 94058075387017077147317508591443812\ 14677811/43419331210606624970977042829107593651601*c_1001_1^4 + 3170070698384408095059813610364571689022852/43419331210606624970977\ 042829107593651601*c_1001_1^3 + 28629779431619719709454365976752441\ 43923636/43419331210606624970977042829107593651601*c_1001_1^2 - 750143244131468570267754035055673697017506/434193312106066249709770\ 42829107593651601*c_1001_1 - 10811222368234806337132138427987856332\ 1205/43419331210606624970977042829107593651601, c_0101_0 + c_1001_1, c_0101_1 - 10553591714906853484094320076927647627010/434193312106066249\ 70977042829107593651601*c_1001_1^28 - 35920341688058297378173195549793082197824/4341933121060662497097704\ 2829107593651601*c_1001_1^27 + 169879780840196329876368387937576448\ 22778/43419331210606624970977042829107593651601*c_1001_1^26 + 217312066698829714690433033085709804276827/434193312106066249709770\ 42829107593651601*c_1001_1^25 + 18289234790966022097385768529521234\ 1423018/43419331210606624970977042829107593651601*c_1001_1^24 - 597604206204190448585011690759096251805412/434193312106066249709770\ 42829107593651601*c_1001_1^23 - 84859900635465567528419929821402914\ 7471832/43419331210606624970977042829107593651601*c_1001_1^22 + 1525807620322259460575159533824424802903493/43419331210606624970977\ 042829107593651601*c_1001_1^21 + 1975991065956204485797126327631692\ 579238854/43419331210606624970977042829107593651601*c_1001_1^20 - 4271175206582593908225498780382339237832938/43419331210606624970977\ 042829107593651601*c_1001_1^19 - 5120192392280854023807230505988809\ 667321257/43419331210606624970977042829107593651601*c_1001_1^18 + 8538698887304291010491873953467705630665907/43419331210606624970977\ 042829107593651601*c_1001_1^17 + 9888987821103898927767887317220050\ 316920163/43419331210606624970977042829107593651601*c_1001_1^16 - 14936870768601168243902584935105338136775603/4341933121060662497097\ 7042829107593651601*c_1001_1^15 - 162784881873124566768095712538451\ 61057610284/43419331210606624970977042829107593651601*c_1001_1^14 + 19809710257840374948670213933932763766307212/4341933121060662497097\ 7042829107593651601*c_1001_1^13 + 222982800795548707088638800084663\ 34948838218/43419331210606624970977042829107593651601*c_1001_1^12 - 19648034654465902181691260586505170763612996/4341933121060662497097\ 7042829107593651601*c_1001_1^11 - 234188918120265120218437720009618\ 62297502186/43419331210606624970977042829107593651601*c_1001_1^10 + 17018940708541017704683130157977725482457054/4341933121060662497097\ 7042829107593651601*c_1001_1^9 + 2028853004418929672614824855603558\ 7046012694/43419331210606624970977042829107593651601*c_1001_1^8 - 11525314204839434761282280743864068298510791/4341933121060662497097\ 7042829107593651601*c_1001_1^7 - 1341933763626866305817958591363247\ 7417922040/43419331210606624970977042829107593651601*c_1001_1^6 + 6526287144935913446942346407530642999185550/43419331210606624970977\ 042829107593651601*c_1001_1^5 + 57138316120124117298314450113796930\ 57915218/43419331210606624970977042829107593651601*c_1001_1^4 - 2615989105511680084522108800561755189765507/43419331210606624970977\ 042829107593651601*c_1001_1^3 - 16913538165857813725898819133065686\ 01499141/43419331210606624970977042829107593651601*c_1001_1^2 + 751898326604823589997626037963221422282428/434193312106066249709770\ 42829107593651601*c_1001_1 - 10812883456749873250704600191168813363\ 249/43419331210606624970977042829107593651601, c_0101_10 + 1929898475295471877366438144971043290270/434193312106066249\ 70977042829107593651601*c_1001_1^28 + 4413630390037265239682760760000441896147/43419331210606624970977042\ 829107593651601*c_1001_1^27 - 1108047132303408654216314450445021927\ 0032/43419331210606624970977042829107593651601*c_1001_1^26 - 38552749537308151274280813093602717615660/4341933121060662497097704\ 2829107593651601*c_1001_1^25 + 118114108584339391962112069112494001\ 77698/43419331210606624970977042829107593651601*c_1001_1^24 + 161039372580828525967221004194695198330489/434193312106066249709770\ 42829107593651601*c_1001_1^23 + 47410110371310804679977537575538120\ 878636/43419331210606624970977042829107593651601*c_1001_1^22 - 490837088995812464160439183172400386199999/434193312106066249709770\ 42829107593651601*c_1001_1^21 - 11759443691477303563354140193618072\ 7006679/43419331210606624970977042829107593651601*c_1001_1^20 + 1270493367479202881565319056152950015067237/43419331210606624970977\ 042829107593651601*c_1001_1^19 + 2284871101136019221913825481863153\ 73766446/43419331210606624970977042829107593651601*c_1001_1^18 - 2841953326332732651264604669282650520801815/43419331210606624970977\ 042829107593651601*c_1001_1^17 - 4798925769466349552787950929693495\ 53491663/43419331210606624970977042829107593651601*c_1001_1^16 + 5228538206420225425916481136206693702435602/43419331210606624970977\ 042829107593651601*c_1001_1^15 + 7853730024367523026494895581078400\ 95383223/43419331210606624970977042829107593651601*c_1001_1^14 - 7720268682981989383379681948319130237351441/43419331210606624970977\ 042829107593651601*c_1001_1^13 - 1466827279511528743123538279718386\ 032538326/43419331210606624970977042829107593651601*c_1001_1^12 + 9097362429755092317630992074176430483220539/43419331210606624970977\ 042829107593651601*c_1001_1^11 + 2279575896226235583506417658300057\ 388066531/43419331210606624970977042829107593651601*c_1001_1^10 - 8631919845892951767130299233953794210029025/43419331210606624970977\ 042829107593651601*c_1001_1^9 - 23530108790566484441828622186826160\ 88432140/43419331210606624970977042829107593651601*c_1001_1^8 + 6630200549668701411307385373852013673267633/43419331210606624970977\ 042829107593651601*c_1001_1^7 + 18378726954280762369170646423480699\ 92741439/43419331210606624970977042829107593651601*c_1001_1^6 - 4019313489571361824476457845027445029378477/43419331210606624970977\ 042829107593651601*c_1001_1^5 - 85537172168066246896254376418163221\ 5944589/43419331210606624970977042829107593651601*c_1001_1^4 + 1575368912224280879492883010860465068436681/43419331210606624970977\ 042829107593651601*c_1001_1^3 + 24752568966489199064175143949518787\ 8338005/43419331210606624970977042829107593651601*c_1001_1^2 - 381967602052488178626653044079882332229016/434193312106066249709770\ 42829107593651601*c_1001_1 + 51556972766074613151986364968191295108\ 593/43419331210606624970977042829107593651601, c_0101_2 + 4357884345320943742552399137080684139232/4341933121060662497\ 0977042829107593651601*c_1001_1^28 + 17183243744092350770292498995684104426600/4341933121060662497097704\ 2829107593651601*c_1001_1^27 + 112159485022500084169452853635120477\ 9436/43419331210606624970977042829107593651601*c_1001_1^26 - 92867439332375567743700241314181950059928/4341933121060662497097704\ 2829107593651601*c_1001_1^25 - 124288814416045890478583534990710709\ 469153/43419331210606624970977042829107593651601*c_1001_1^24 + 200151079404252597508261251019875563825771/434193312106066249709770\ 42829107593651601*c_1001_1^23 + 47775341332826073442295714190233951\ 9509010/43419331210606624970977042829107593651601*c_1001_1^22 - 421952424952836436259672605361641675974456/434193312106066249709770\ 42829107593651601*c_1001_1^21 - 11182272651551391204206373457727643\ 78173040/43419331210606624970977042829107593651601*c_1001_1^20 + 1285854306460023037147603301808569325886331/43419331210606624970977\ 042829107593651601*c_1001_1^19 + 2954304590135077226112013037860796\ 745016924/43419331210606624970977042829107593651601*c_1001_1^18 - 2283676306369477704559742364807527981595511/43419331210606624970977\ 042829107593651601*c_1001_1^17 - 5724111916284721064333377437476273\ 081397762/43419331210606624970977042829107593651601*c_1001_1^16 + 3705199204939825171189251362541677510311594/43419331210606624970977\ 042829107593651601*c_1001_1^15 + 9448326177066556811430001242549909\ 921709195/43419331210606624970977042829107593651601*c_1001_1^14 - 4119963857844082729568080019587790841725651/43419331210606624970977\ 042829107593651601*c_1001_1^13 - 1258678384259633776489389963908476\ 0909750733/43419331210606624970977042829107593651601*c_1001_1^12 + 2482993843377488645695265532105427952047690/43419331210606624970977\ 042829107593651601*c_1001_1^11 + 1253670455293868483847418871264487\ 1089356761/43419331210606624970977042829107593651601*c_1001_1^10 - 1194650922352078384514199510175238084937854/43419331210606624970977\ 042829107593651601*c_1001_1^9 - 10464637261373400552988148330318579\ 623918328/43419331210606624970977042829107593651601*c_1001_1^8 - 125378734325316402107933442769303031871919/434193312106066249709770\ 42829107593651601*c_1001_1^7 + 664458311183664892498544792447976348\ 3297978/43419331210606624970977042829107593651601*c_1001_1^6 + 536539918789467521475317573636849229912836/434193312106066249709770\ 42829107593651601*c_1001_1^5 - 278650825618979145896110580253785954\ 9271832/43419331210606624970977042829107593651601*c_1001_1^4 - 300916316417601507882553547843008704389317/434193312106066249709770\ 42829107593651601*c_1001_1^3 + 828022742045132735457330719870512665\ 344149/43419331210606624970977042829107593651601*c_1001_1^2 + 167186514892133518310816225959123417843024/434193312106066249709770\ 42829107593651601*c_1001_1 - 70988065413186563136482198672022647550\ 796/43419331210606624970977042829107593651601, c_0110_2 - 17351091834908822316969143826367455872286/434193312106066249\ 70977042829107593651601*c_1001_1^28 - 58320040125176117253856147668874256734597/4341933121060662497097704\ 2829107593651601*c_1001_1^27 + 303079394012709025567303230588361545\ 22130/43419331210606624970977042829107593651601*c_1001_1^26 + 356574360539682517023645400430482264137757/434193312106066249709770\ 42829107593651601*c_1001_1^25 + 28870196054898779571721567345963483\ 0992546/43419331210606624970977042829107593651601*c_1001_1^24 - 994460668853040366557930925996604911390042/434193312106066249709770\ 42829107593651601*c_1001_1^23 - 13691129945304340583548977590100320\ 82380154/43419331210606624970977042829107593651601*c_1001_1^22 + 2547863185791044402810633622229088793675902/43419331210606624970977\ 042829107593651601*c_1001_1^21 + 3182117484119349512415285164801077\ 427125636/43419331210606624970977042829107593651601*c_1001_1^20 - 7081279950965946964104940741698539899836910/43419331210606624970977\ 042829107593651601*c_1001_1^19 - 8228947069845064314238197116554921\ 782680232/43419331210606624970977042829107593651601*c_1001_1^18 + 14215762846924075942624639472470597626906701/4341933121060662497097\ 7042829107593651601*c_1001_1^17 + 159680452820118717721577707066240\ 82364950788/43419331210606624970977042829107593651601*c_1001_1^16 - 24824988014074903076719226407068419526488148/4341933121060662497097\ 7042829107593651601*c_1001_1^15 - 263190479348898355120622223183585\ 44207410507/43419331210606624970977042829107593651601*c_1001_1^14 + 32940987108955496864300649968770916057766671/4341933121060662497097\ 7042829107593651601*c_1001_1^13 + 363196427861815311672781026382549\ 61326166725/43419331210606624970977042829107593651601*c_1001_1^12 - 32694215902222529636582764926822155618708976/4341933121060662497097\ 7042829107593651601*c_1001_1^11 - 384130034147135107758613010277450\ 43605714860/43419331210606624970977042829107593651601*c_1001_1^10 + 28209975800365482335601327444848366657033352/4341933121060662497097\ 7042829107593651601*c_1001_1^9 + 3334947334088038344065926399412748\ 2928680099/43419331210606624970977042829107593651601*c_1001_1^8 - 18975937803497497254918591305340146139648095/4341933121060662497097\ 7042829107593651601*c_1001_1^7 - 2223441565356372389286834077283002\ 1169460251/43419331210606624970977042829107593651601*c_1001_1^6 + 10619786011512968563431715791287617159373275/4341933121060662497097\ 7042829107593651601*c_1001_1^5 + 9595773010542016148227892189979690\ 967542948/43419331210606624970977042829107593651601*c_1001_1^4 - 4158656413788869976957011990611474188567338/43419331210606624970977\ 042829107593651601*c_1001_1^3 - 29605091905133912753382377957958157\ 14667925/43419331210606624970977042829107593651601*c_1001_1^2 + 1186204942435176637471549793538817962633726/43419331210606624970977\ 042829107593651601*c_1001_1 + 4720182836012268849419322251484423638\ 184/43419331210606624970977042829107593651601, c_1001_1^29 + 3*c_1001_1^28 - 3*c_1001_1^27 - 20*c_1001_1^26 - 9*c_1001_1^25 + 64*c_1001_1^24 + 58*c_1001_1^23 - 178*c_1001_1^22 - 131*c_1001_1^21 + 482*c_1001_1^20 + 327*c_1001_1^19 - 1009*c_1001_1^18 - 624*c_1001_1^17 + 1802*c_1001_1^16 + 1001*c_1001_1^15 - 2511*c_1001_1^14 - 1407*c_1001_1^13 + 2724*c_1001_1^12 + 1544*c_1001_1^11 - 2508*c_1001_1^10 - 1354*c_1001_1^9 + 1855*c_1001_1^8 + 899*c_1001_1^7 - 1114*c_1001_1^6 - 342*c_1001_1^5 + 454*c_1001_1^4 + 85*c_1001_1^3 - 130*c_1001_1^2 + 21*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.440 Total time: 0.650 seconds, Total memory usage: 32.09MB