Magma V2.19-8 Wed Aug 21 2013 00:30:52 on localhost [Seed = 1696822573] Type ? for help. Type -D to quit. Loading file "K14n17868__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n17868 geometric_solution 11.43705298 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 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 1 0 -1 -1 0 1 0 8 -7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433243376064 0.600965951717 0 4 0 5 0132 0132 3012 0132 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 1 0 -1 0 0 0 0 0 -8 1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210648514090 1.094935071551 6 7 8 0 0132 0132 0132 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 1 -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.595767249137 0.851023262562 7 9 0 5 2031 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524081347471 1.220705143094 10 1 8 11 0132 0132 0213 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514722834335 0.307071950165 6 11 1 3 2103 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.191014578130 0.813450656928 2 10 5 12 0132 2103 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 -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.358547638882 1.549675176647 8 2 3 9 0213 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.994438560224 0.625969224479 7 4 12 2 0213 0213 0132 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 1 0 0 -1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708690878315 0.907753121920 10 3 11 7 3012 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271700226927 0.501964161661 4 6 12 9 0132 2103 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068048078840 0.476661968810 12 5 4 9 1302 2103 0132 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 1.348073054631 1.372069752029 10 11 6 8 2031 2031 0132 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 -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.538611965121 0.464665009920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : negation(d['c_0011_2']), 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0110_3'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0110_3'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_9'], 'c_1010_10' : d['c_0101_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_12']), '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' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_3']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0110_5']), 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0101_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_1001_9']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_9'], 'c_1010_2' : d['c_0110_3'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0110_5']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_5']), '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : negation(d['c_0011_2']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_2']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_9, c_0110_3, c_0110_5, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 131185/41*c_1001_2^5 - 471803/41*c_1001_2^4 - 725872/41*c_1001_2^3 - 354365/41*c_1001_2^2 + 159891/41*c_1001_2 + 345524/41, c_0011_0 - 1, c_0011_11 - c_1001_2^5 - 4*c_1001_2^4 - 6*c_1001_2^3 - 2*c_1001_2^2 + 3*c_1001_2 + 3, c_0011_12 - c_1001_2^5 - 2*c_1001_2^4 - c_1001_2^3 + 2*c_1001_2^2 + c_1001_2, c_0011_2 - c_1001_2^3 - 2*c_1001_2^2 + 1, c_0011_3 + c_1001_2^5 + 3*c_1001_2^4 + 3*c_1001_2^3 - c_1001_2, c_0101_0 + c_1001_2^5 + 3*c_1001_2^4 + 3*c_1001_2^3 - c_1001_2, c_0101_1 - c_1001_2^4 - 2*c_1001_2^3 - c_1001_2^2 + c_1001_2 + 1, c_0101_12 + c_1001_2^5 + 3*c_1001_2^4 + 4*c_1001_2^3 + c_1001_2^2 - 2*c_1001_2 - 1, c_0101_9 + c_1001_2^5 + 3*c_1001_2^4 + 4*c_1001_2^3 + c_1001_2^2 - c_1001_2 - 1, c_0110_3 + c_1001_2^5 + 3*c_1001_2^4 + 3*c_1001_2^3 - c_1001_2 + 1, c_0110_5 - c_1001_2^4 - 2*c_1001_2^3 - c_1001_2^2 + c_1001_2 + 1, c_1001_2^6 + 4*c_1001_2^5 + 7*c_1001_2^4 + 5*c_1001_2^3 - 3*c_1001_2 - 1, c_1001_9 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_9, c_0110_3, c_0110_5, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2877468974685070257905374887777273552223/86561491338145105153924281\ 8879837665600*c_1001_9^19 - 271597205175295416159189918561231069913\ 3/123659273340207293077034688411405380800*c_1001_9^18 + 3274804913010898772769565454617556788037/43280745669072552576962140\ 943991883280*c_1001_9^17 - 1476536014015268830665325984617722193001\ 3/123659273340207293077034688411405380800*c_1001_9^16 - 4683153261715393135127002889212917428313/21640372834536276288481070\ 4719959416400*c_1001_9^15 + 222772218425144389414485129992505441647\ 97/25459262158277972104095377025877578400*c_1001_9^14 - 3441491245787828879080021810560334427698/19321761459407389543286670\ 06428209075*c_1001_9^13 + 20432248131224249700861709244465597650995\ 31/865614913381451051539242818879837665600*c_1001_9^12 + 38878449469958638992460133952068821999463/1352523302158517268030066\ 9044997463525*c_1001_9^11 - 757369513038122654233100874181037882065\ 6079/865614913381451051539242818879837665600*c_1001_9^10 + 4819357887414109221531984169774647677205857/43280745669072552576962\ 1409439918832800*c_1001_9^9 - 4123369030445790013385490832914169194\ 093863/865614913381451051539242818879837665600*c_1001_9^8 - 170575763421801625615293788814403856050549/173122982676290210307848\ 56377596753312*c_1001_9^7 + 984932204830353048490830673846171282031\ 5887/865614913381451051539242818879837665600*c_1001_9^6 - 1015400513128238591327596879791876296296533/12365927334020729307703\ 4688411405380800*c_1001_9^5 - 4396311677985026872957445742036384103\ 1261/50918524316555944208190754051755156800*c_1001_9^4 + 2704853425948090756078144693386148781033437/86561491338145105153924\ 2818879837665600*c_1001_9^3 + 3389552385214883124162524569209960262\ 6895/34624596535258042061569712755193506624*c_1001_9^2 + 13172395975867479588885537391431350356989/1236592733402072930770346\ 88411405380800*c_1001_9 - 80049591125845680203618603778330302330067\ /86561491338145105153924281887983766560, c_0011_0 - 1, c_0011_11 + 16827829620967491166912683022276389/61829636670103646538517\ 34420570269040*c_1001_9^19 - 58446160399843406076023424065865969/30\ 91481833505182326925867210285134520*c_1001_9^18 + 84825541924714355343235547818904967/1236592733402072930770346884114\ 053808*c_1001_9^17 - 746504964056520199878983786664193283/618296366\ 7010364653851734420570269040*c_1001_9^16 + 105867841155011854986977491201765709/618296366701036465385173442057\ 0269040*c_1001_9^15 + 16805564963039485253285799980817682/227314840\ 69891046521513729487390695*c_1001_9^14 - 5442621787025794311703648433457268261/30914818335051823269258672102\ 85134520*c_1001_9^13 + 15797548985065307786388345979049898093/61829\ 63667010364653851734420570269040*c_1001_9^12 + 11348185945372657961129856072463061251/6182963667010364653851734420\ 570269040*c_1001_9^11 - 52004090387918838200756195720596108107/6182\ 963667010364653851734420570269040*c_1001_9^10 + 81001100005598799490803702989866634067/6182963667010364653851734420\ 570269040*c_1001_9^9 - 42923733156277824284842580722345546749/61829\ 63667010364653851734420570269040*c_1001_9^8 - 11193730670900308608258038441480300009/1236592733402072930770346884\ 114053808*c_1001_9^7 + 100615634534322135877210375166357413841/6182\ 963667010364653851734420570269040*c_1001_9^6 - 42179171350347260064316621399066646249/3091481833505182326925867210\ 285134520*c_1001_9^5 - 52072775754266854261135139158733711/45462968\ 139782093043027458974781390*c_1001_9^4 + 10216986852319490018684136842131533999/1545740916752591163462933605\ 142567260*c_1001_9^3 - 381629211353974987058403248707714235/7728704\ 5837629558173146680257128363*c_1001_9^2 - 1232363405507957633950575970807146263/30914818335051823269258672102\ 85134520*c_1001_9 + 1835840525396146804520044096971831211/123659273\ 3402072930770346884114053808, c_0011_12 + 28195926294932806077416956341819901/61829636670103646538517\ 34420570269040*c_1001_9^19 - 25266130495234992536238879379544629/77\ 2870458376295581731466802571283630*c_1001_9^18 + 147473258546656741720402666418099985/123659273340207293077034688411\ 4053808*c_1001_9^17 - 1306348324591358770842280382036604387/6182963\ 667010364653851734420570269040*c_1001_9^16 + 126034955349572866756196179287443591/618296366701036465385173442057\ 0269040*c_1001_9^15 + 29575236614339298136132336424408573/227314840\ 69891046521513729487390695*c_1001_9^14 - 9781558447713184411829404684850864299/30914818335051823269258672102\ 85134520*c_1001_9^13 + 26141698680358022600412368485013839977/61829\ 63667010364653851734420570269040*c_1001_9^12 + 20085378088631980702526701330041409789/6182963667010364653851734420\ 570269040*c_1001_9^11 - 99571640136198267066490102031990476043/6182\ 963667010364653851734420570269040*c_1001_9^10 + 134549324942145487374594339822812234613/618296366701036465385173442\ 0570269040*c_1001_9^9 - 65008771741723739226281170817174087801/6182\ 963667010364653851734420570269040*c_1001_9^8 - 23765406544945558234991926812900491331/1236592733402072930770346884\ 114053808*c_1001_9^7 + 186580306270745354871154588015354173709/6182\ 963667010364653851734420570269040*c_1001_9^6 - 28470703502756313402434986903577100873/1545740916752591163462933605\ 142567260*c_1001_9^5 - 695386272121918618685322609457334821/1818518\ 72559128372172109835899125560*c_1001_9^4 + 48576833111880324692620863934157627957/3091481833505182326925867210\ 285134520*c_1001_9^3 - 2769526954892680217796999722805493199/618296\ 366701036465385173442057026904*c_1001_9^2 - 1297063284436947919088844205200053891/15457409167525911634629336051\ 42567260*c_1001_9 + 716896374260773914903860038631855941/1236592733\ 402072930770346884114053808, c_0011_2 + 28195926294932806077416956341819901/618296366701036465385173\ 4420570269040*c_1001_9^19 - 25266130495234992536238879379544629/772\ 870458376295581731466802571283630*c_1001_9^18 + 147473258546656741720402666418099985/123659273340207293077034688411\ 4053808*c_1001_9^17 - 1306348324591358770842280382036604387/6182963\ 667010364653851734420570269040*c_1001_9^16 + 126034955349572866756196179287443591/618296366701036465385173442057\ 0269040*c_1001_9^15 + 29575236614339298136132336424408573/227314840\ 69891046521513729487390695*c_1001_9^14 - 9781558447713184411829404684850864299/30914818335051823269258672102\ 85134520*c_1001_9^13 + 26141698680358022600412368485013839977/61829\ 63667010364653851734420570269040*c_1001_9^12 + 20085378088631980702526701330041409789/6182963667010364653851734420\ 570269040*c_1001_9^11 - 99571640136198267066490102031990476043/6182\ 963667010364653851734420570269040*c_1001_9^10 + 134549324942145487374594339822812234613/618296366701036465385173442\ 0570269040*c_1001_9^9 - 65008771741723739226281170817174087801/6182\ 963667010364653851734420570269040*c_1001_9^8 - 23765406544945558234991926812900491331/1236592733402072930770346884\ 114053808*c_1001_9^7 + 186580306270745354871154588015354173709/6182\ 963667010364653851734420570269040*c_1001_9^6 - 28470703502756313402434986903577100873/1545740916752591163462933605\ 142567260*c_1001_9^5 - 695386272121918618685322609457334821/1818518\ 72559128372172109835899125560*c_1001_9^4 + 48576833111880324692620863934157627957/3091481833505182326925867210\ 285134520*c_1001_9^3 - 2769526954892680217796999722805493199/618296\ 366701036465385173442057026904*c_1001_9^2 - 1297063284436947919088844205200053891/15457409167525911634629336051\ 42567260*c_1001_9 + 716896374260773914903860038631855941/1236592733\ 402072930770346884114053808, c_0011_3 + 4482559508911143122460721579036411/1545740916752591163462933\ 605142567260*c_1001_9^19 - 64333872134500572087592439169351059/3091\ 481833505182326925867210285134520*c_1001_9^18 + 47448485794284823333197504921852163/6182963667010364653851734420570\ 26904*c_1001_9^17 - 216019161314441445018696795452117907/1545740916\ 752591163462933605142567260*c_1001_9^16 + 95064899947488713206490995301132427/3091481833505182326925867210285\ 134520*c_1001_9^15 + 36419780005463412069946039083177919/4546296813\ 9782093043027458974781390*c_1001_9^14 - 3128674357882124228143702060819559723/15457409167525911634629336051\ 42567260*c_1001_9^13 + 2247924350428101425705783684857169001/772870\ 458376295581731466802571283630*c_1001_9^12 + 5065211573935883658006111041070314563/30914818335051823269258672102\ 85134520*c_1001_9^11 - 14960607419883649029823984324591928683/15457\ 40916752591163462933605142567260*c_1001_9^10 + 45486221011771874856943768368095222691/3091481833505182326925867210\ 285134520*c_1001_9^9 - 6798973162357121107416197711229196753/772870\ 458376295581731466802571283630*c_1001_9^8 - 5469093927015732400403395704295459495/61829636670103646538517344205\ 7026904*c_1001_9^7 + 7252923383065008525513606962922913936/38643522\ 9188147790865733401285641815*c_1001_9^6 - 45860528691069801811015472410257173369/3091481833505182326925867210\ 285134520*c_1001_9^5 + 358815564717461598722492775303013151/1818518\ 72559128372172109835899125560*c_1001_9^4 + 20220092648375939428035182648778267283/3091481833505182326925867210\ 285134520*c_1001_9^3 - 2682729475555102323050939435587834927/618296\ 366701036465385173442057026904*c_1001_9^2 + 2342519967616520159830538869856302977/30914818335051823269258672102\ 85134520*c_1001_9 - 392512234535705135791948847159360589/6182963667\ 01036465385173442057026904, c_0101_0 - 6450456044896531457687431792365889/7728704583762955817314668\ 02571283630*c_1001_9^19 + 173605896940891564417592348525372367/3091\ 481833505182326925867210285134520*c_1001_9^18 - 120393751721123727456270088657520019/618296366701036465385173442057\ 026904*c_1001_9^17 + 118351396379509168354063449962864369/386435229\ 188147790865733401285641815*c_1001_9^16 + 267666860702057093997406529050396579/309148183350518232692586721028\ 5134520*c_1001_9^15 - 214258027200517032515480775096756749/90925936\ 279564186086054917949562780*c_1001_9^14 + 3750725022003446736656976577235054967/77287045837629558173146680257\ 1283630*c_1001_9^13 - 2287746659048842834185026744615841489/3864352\ 29188147790865733401285641815*c_1001_9^12 - 26365116489921417506772896136956997439/3091481833505182326925867210\ 285134520*c_1001_9^11 + 20216857988311731678338732855237465317/7728\ 70458376295581731466802571283630*c_1001_9^10 - 97151282833976770778965541123187089973/3091481833505182326925867210\ 285134520*c_1001_9^9 + 2592076167096594712744644956628834817/386435\ 229188147790865733401285641815*c_1001_9^8 + 24457697257130651880442106965819697471/6182963667010364653851734420\ 57026904*c_1001_9^7 - 71477622773016056973230334041197602557/154574\ 0916752591163462933605142567260*c_1001_9^6 + 69038635118137270772429652201963509017/3091481833505182326925867210\ 285134520*c_1001_9^5 + 3388541361151254037208936904931643087/181851\ 872559128372172109835899125560*c_1001_9^4 - 79532491551595376977555907793842367239/3091481833505182326925867210\ 285134520*c_1001_9^3 + 4039315028133788590085688349281126129/618296\ 366701036465385173442057026904*c_1001_9^2 + 12858846752353613393819337672077320019/3091481833505182326925867210\ 285134520*c_1001_9 - 1020085897970449727494561873879311775/61829636\ 6701036465385173442057026904, c_0101_1 + 27390286595926450371013992825370201/309148183350518232692586\ 7210285134520*c_1001_9^19 - 185489241743229962697665987547497777/30\ 91481833505182326925867210285134520*c_1001_9^18 + 64927041439003363296694963360752973/3091481833505182326925867210285\ 13452*c_1001_9^17 - 1049409101672413468505651545903543327/309148183\ 3505182326925867210285134520*c_1001_9^16 - 90626392340441294666793022629624187/1545740916752591163462933605142\ 567260*c_1001_9^15 + 224865393459664372727661793921785379/909259362\ 79564186086054917949562780*c_1001_9^14 - 8141217968344145747733794909534028929/15457409167525911634629336051\ 42567260*c_1001_9^13 + 20818890403885700320340515896776162397/30914\ 81833505182326925867210285134520*c_1001_9^12 + 12750571084209913103704656195649515697/1545740916752591163462933605\ 142567260*c_1001_9^11 - 85342852880323225381707549403372547963/3091\ 481833505182326925867210285134520*c_1001_9^10 + 13616419008815033474080342493585952611/3864352291881477908657334012\ 85641815*c_1001_9^9 - 36046468718170525792069720808595646921/309148\ 1833505182326925867210285134520*c_1001_9^8 - 5981824343515729239833588777295443231/15457409167525911634629336051\ 4256726*c_1001_9^7 + 154633918866241446762645763143038662739/309148\ 1833505182326925867210285134520*c_1001_9^6 - 92372682403943781696950821967021049367/3091481833505182326925867210\ 285134520*c_1001_9^5 - 2397022652760780273676729863759036207/181851\ 872559128372172109835899125560*c_1001_9^4 + 82095379637274475242186344847566986099/3091481833505182326925867210\ 285134520*c_1001_9^3 - 5183434950446907548030371080461731521/618296\ 366701036465385173442057026904*c_1001_9^2 - 7203117037288928521201016899695983429/30914818335051823269258672102\ 85134520*c_1001_9 + 545712791706068113231295725205992545/3091481833\ 50518232692586721028513452, c_0101_12 - 802920765090009122303186630809668/3864352291881477908657334\ 01285641815*c_1001_9^19 + 35569180938100660379758572551589193/30914\ 81833505182326925867210285134520*c_1001_9^18 - 21092108091196719259829819779142587/6182963667010364653851734420570\ 26904*c_1001_9^17 + 50211810082087018950021805244464029/15457409167\ 52591163462933605142567260*c_1001_9^16 + 210168582656472363475993807668829031/309148183350518232692586721028\ 5134520*c_1001_9^15 - 45952792914299740566074001310399281/909259362\ 79564186086054917949562780*c_1001_9^14 + 874743418074449770263614273303183381/154574091675259116346293360514\ 2567260*c_1001_9^13 - 482860776107202438347467519738298277/77287045\ 8376295581731466802571283630*c_1001_9^12 - 9191560393671395293983227067596882171/30914818335051823269258672102\ 85134520*c_1001_9^11 + 4659150056411674014312579632741009431/154574\ 0916752591163462933605142567260*c_1001_9^10 - 8801891870501357852967543120582598477/30914818335051823269258672102\ 85134520*c_1001_9^9 - 1063406824432185936039286521543613437/3864352\ 29188147790865733401285641815*c_1001_9^8 + 4683750750282458479470275489663901891/61829636670103646538517344205\ 7026904*c_1001_9^7 - 525687144060222047357046940351587939/772870458\ 376295581731466802571283630*c_1001_9^6 - 1083228771294794721813104630459742287/30914818335051823269258672102\ 85134520*c_1001_9^5 + 1316314946287318672303916010433815913/1818518\ 72559128372172109835899125560*c_1001_9^4 - 2272776234737676939604687608380333981/30914818335051823269258672102\ 85134520*c_1001_9^3 - 1013668200216951980736203276200428775/6182963\ 66701036465385173442057026904*c_1001_9^2 + 3375077423800423020995250355136596711/30914818335051823269258672102\ 85134520*c_1001_9 - 256137387738897023097797101104418573/6182963667\ 01036465385173442057026904, c_0101_9 - 4272432901003213707673398801088/7728704583762955817314668025\ 7128363*c_1001_9^19 + 209835245423631058912781709364770/77287045837\ 629558173146680257128363*c_1001_9^18 - 5210967370207615015150103843989925/30914818335051823269258672102851\ 3452*c_1001_9^17 + 17315021912791093416576073472289961/309148183350\ 518232692586721028513452*c_1001_9^16 - 26386563215392966719704763334832717/3091481833505182326925867210285\ 13452*c_1001_9^15 - 138532415665366594683680207312626/4546296813978\ 209304302745897478139*c_1001_9^14 + 204449486324196125289971066626536505/309148183350518232692586721028\ 513452*c_1001_9^13 - 103426215483940578718000727060300192/772870458\ 37629558173146680257128363*c_1001_9^12 + 514023849898046700148635339313328405/309148183350518232692586721028\ 513452*c_1001_9^11 + 704411837231948482730255718203003633/309148183\ 350518232692586721028513452*c_1001_9^10 - 2073438760807378714906795307127579435/30914818335051823269258672102\ 8513452*c_1001_9^9 + 662741426329720112666132293131819925/772870458\ 37629558173146680257128363*c_1001_9^8 - 892381505673645626215105809899027915/309148183350518232692586721028\ 513452*c_1001_9^7 - 2635502319338858497125166653096008149/309148183\ 350518232692586721028513452*c_1001_9^6 + 3067750236666144481836721072254649843/30914818335051823269258672102\ 8513452*c_1001_9^5 - 33021017678538896467113624138140287/4546296813\ 978209304302745897478139*c_1001_9^4 - 403265371099179818649566128715717423/154574091675259116346293360514\ 256726*c_1001_9^3 + 1187712963540512389720697169757548721/309148183\ 350518232692586721028513452*c_1001_9^2 - 461419607319884767480933995348819085/309148183350518232692586721028\ 513452*c_1001_9 + 25443127048023996154067354323676068/7728704583762\ 9558173146680257128363, c_0110_3 - 9829832845552523188172542350518209/3091481833505182326925867\ 210285134520*c_1001_9^19 + 66195178922356483842607173407032503/3091\ 481833505182326925867210285134520*c_1001_9^18 - 5696522128191264563909549431594622/77287045837629558173146680257128\ 363*c_1001_9^17 + 350313284423477866120706388426136783/309148183350\ 5182326925867210285134520*c_1001_9^16 + 34793462301890573995518317831840919/7728704583762955817314668025712\ 83630*c_1001_9^15 - 83339048890946565728370633149024441/90925936279\ 564186086054917949562780*c_1001_9^14 + 2854708024061277550895345887540735761/15457409167525911634629336051\ 42567260*c_1001_9^13 - 6528026680898638473189433713430748653/309148\ 1833505182326925867210285134520*c_1001_9^12 - 1360060365232093421616147723909310377/38643522918814779086573340128\ 5641815*c_1001_9^11 + 32040894787678005445960231086706018987/309148\ 1833505182326925867210285134520*c_1001_9^10 - 17675125818545988465511162096386439701/1545740916752591163462933605\ 142567260*c_1001_9^9 + 3873606684763700640135431630058082009/309148\ 1833505182326925867210285134520*c_1001_9^8 + 5227993904866412212024068713289557313/30914818335051823269258672102\ 8513452*c_1001_9^7 - 56258985431556657993732247790216916071/3091481\ 833505182326925867210285134520*c_1001_9^6 + 21666069053916387884912159274282173913/3091481833505182326925867210\ 285134520*c_1001_9^5 + 1620128215888197327253437395879819893/181851\ 872559128372172109835899125560*c_1001_9^4 - 34613799971408521554444641616603143161/3091481833505182326925867210\ 285134520*c_1001_9^3 + 1746865617924450833640950058332243427/618296\ 366701036465385173442057026904*c_1001_9^2 + 4175656097581053546904106430415459371/30914818335051823269258672102\ 85134520*c_1001_9 - 63691785777580057401283783763430988/77287045837\ 629558173146680257128363, c_0110_5 - 11003395744727614786865145344720631/309148183350518232692586\ 7210285134520*c_1001_9^19 + 77013346806497547340934088819979077/309\ 1481833505182326925867210285134520*c_1001_9^18 - 27631600234171893193450644025333063/3091481833505182326925867210285\ 13452*c_1001_9^17 + 470344289374491693113429892423514157/3091481833\ 505182326925867210285134520*c_1001_9^16 + 1960767199559090329303469955760898/38643522918814779086573340128564\ 1815*c_1001_9^15 - 46413200645913781340084830555319987/454629681397\ 82093043027458974781390*c_1001_9^14 + 1809471087314236267418051380100601087/77287045837629558173146680257\ 1283630*c_1001_9^13 - 9397816406188607858170892937658576057/3091481\ 833505182326925867210285134520*c_1001_9^12 - 4722556816911155796101478389757921237/15457409167525911634629336051\ 42567260*c_1001_9^11 + 37996612221059941740408370731201771653/30914\ 81833505182326925867210285134520*c_1001_9^10 - 25089484401157871985126961410607190439/1545740916752591163462933605\ 142567260*c_1001_9^9 + 18342788792721039202218748359442509821/30914\ 81833505182326925867210285134520*c_1001_9^8 + 1328301784819245469943004222910300103/77287045837629558173146680257\ 128363*c_1001_9^7 - 75338749253215676340390608517317272169/30914818\ 33505182326925867210285134520*c_1001_9^6 + 41900809335650948183171177530448968427/3091481833505182326925867210\ 285134520*c_1001_9^5 + 1274435075876579293907317714039920797/181851\ 872559128372172109835899125560*c_1001_9^4 - 46215543534457486590158262953641359799/3091481833505182326925867210\ 285134520*c_1001_9^3 + 2879472159382337002721260385796348687/618296\ 366701036465385173442057026904*c_1001_9^2 + 4548050485192733212968559841182566349/30914818335051823269258672102\ 85134520*c_1001_9 - 496709149670198953237339040323941427/3091481833\ 50518232692586721028513452, c_1001_2 - 555679064595417251813546974863107/90925936279564186086054917\ 949562780*c_1001_9^19 + 3399595939445390741501047878251989/90925936\ 279564186086054917949562780*c_1001_9^18 - 1071033952114688811926006844845073/90925936279564186086054917949562\ 78*c_1001_9^17 + 6313285709875482202492280167466387/454629681397820\ 93043027458974781390*c_1001_9^16 + 17847141832474710525980533128790273/9092593627956418608605491794956\ 2780*c_1001_9^15 - 153349095150699541031990717638584267/90925936279\ 564186086054917949562780*c_1001_9^14 + 114608743254840638975868000911408593/454629681397820930430274589747\ 81390*c_1001_9^13 - 51052913040532679494167210446235991/22731484069\ 891046521513729487390695*c_1001_9^12 - 402317357450848324122794273233595709/454629681397820930430274589747\ 81390*c_1001_9^11 + 350521386669666468841583494445626169/2273148406\ 9891046521513729487390695*c_1001_9^10 - 1084765359126930496337302528481488241/90925936279564186086054917949\ 562780*c_1001_9^9 - 195158774553091320996082754957147142/2273148406\ 9891046521513729487390695*c_1001_9^8 + 296686915705146844526401838489444113/909259362795641860860549179495\ 6278*c_1001_9^7 - 395811027205281278465215222438157607/227314840698\ 91046521513729487390695*c_1001_9^6 - 44282254911581662852938505961858554/2273148406989104652151372948739\ 0695*c_1001_9^5 + 550460197023819200794544594144479477/227314840698\ 91046521513729487390695*c_1001_9^4 - 1274276055835752962834574214907727723/90925936279564186086054917949\ 562780*c_1001_9^3 - 85876228615976909400298155340799191/18185187255\ 912837217210983589912556*c_1001_9^2 + 108829389737461729653032350896173002/227314840698910465215137294873\ 90695*c_1001_9 - 32641842203413700466118055229211967/18185187255912\ 837217210983589912556, c_1001_9^20 - 7*c_1001_9^19 + 25*c_1001_9^18 - 42*c_1001_9^17 - 4*c_1001_9^16 + 291*c_1001_9^15 - 658*c_1001_9^14 + 827*c_1001_9^13 + 914*c_1001_9^12 - 3538*c_1001_9^11 + 4498*c_1001_9^10 - 1436*c_1001_9^9 - 5140*c_1001_9^8 + 7194*c_1001_9^7 - 3787*c_1001_9^6 - 2174*c_1001_9^5 + 4484*c_1001_9^4 - 1740*c_1001_9^3 - 574*c_1001_9^2 + 625*c_1001_9 - 175 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.490 Total time: 4.700 seconds, Total memory usage: 84.00MB