Magma V2.19-8 Tue Aug 20 2013 23:52:09 on localhost [Seed = 1090988659] Type ? for help. Type -D to quit. Loading file "K12n217__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n217 geometric_solution 11.68999300 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 1 -1 0 0 8 -8 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410863214403 0.602664716316 0 0 5 4 0132 1302 0132 0132 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 8 -8 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.227720091674 1.132800006309 5 0 7 6 2103 0132 0132 0132 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 0 0 0 0 0 0 0 8 1 0 -9 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952825823066 0.850989564014 8 7 9 0 0132 3012 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 0 -1 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365229902822 0.711784204380 10 11 1 6 0132 0132 0132 3120 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 0 0 0 -9 0 9 0 0 0 0 -1 9 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531746453764 1.488183113526 12 12 2 1 0132 1230 2103 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 0 -8 8 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.461998036909 1.406073050093 4 8 2 10 3120 2310 0132 2031 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 0 0 0 0 0 0 0 8 -8 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.123982830526 1.409777887707 3 12 8 2 1230 1302 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.372657070343 0.823837159903 3 7 10 6 0132 1230 0132 3201 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 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837794458268 1.119548125097 11 12 11 3 0321 2103 2031 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 -9 0 9 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.417423741882 1.485165298678 4 6 11 8 0132 1302 0321 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416372427128 1.186788144304 9 4 10 9 0321 0132 0321 1302 0 0 0 0 0 -1 0 1 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 9 0 -9 -1 0 1 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824608818160 0.624029902536 5 9 5 7 0132 2103 3012 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 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.210911433054 0.641900740440 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_8'], 's_0_10' : d['1'], 's_3_10' : 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_0101_10']), 'c_0101_10' : d['c_0101_10'], '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_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_1100_9' : negation(d['c_1001_4']), 'c_1100_8' : negation(d['c_0011_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_1001_8']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_1001_8']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0101_7'], 's_3_1' : d['1'], 's_3_0' : negation(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' : d['c_0011_0'], '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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_10']), '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_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_10']})} 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_10, c_0011_12, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0101_7, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 91279428306291706636246752614219126914427431734130465291/1364184998\ 728961319053128009373754207545492187727476*c_1001_8^15 + 35938097419686860946473724464145266501182015271593574579/4547283329\ 09653773017709336457918069181830729242492*c_1001_8^14 + 90978012228130125974803060525358271180820312810267059545/1240168180\ 66269210823011637215795837049590198884316*c_1001_8^13 + 1157898863002499990694817401830552579065873823764678360223/13641849\ 98728961319053128009373754207545492187727476*c_1001_8^12 + 3621086027168068102680253030734436887834804737085402512975/13641849\ 98728961319053128009373754207545492187727476*c_1001_8^11 + 1213796825112108025338360673629526664724384904895152076969/22736416\ 6454826886508854668228959034590915364621246*c_1001_8^10 + 2892920733354577319693004536267584974607791307328821759747/45472833\ 2909653773017709336457918069181830729242492*c_1001_8^9 + 6347071192826362379867869517786973157441369099887179027407/34104624\ 9682240329763282002343438551886373046931869*c_1001_8^8 + 24148686914688788751231057178932714763862356921980902703067/1364184\ 998728961319053128009373754207545492187727476*c_1001_8^7 + 3734380090063397632648929881422856501701061015365922766097/34104624\ 9682240329763282002343438551886373046931869*c_1001_8^6 + 26734624826525589847872257353796863865442422254860320978599/1364184\ 998728961319053128009373754207545492187727476*c_1001_8^5 - 18727862264943488289010825812495902141783244637087488215365/1364184\ 998728961319053128009373754207545492187727476*c_1001_8^4 + 4559404335089918706269024835249197059679341541790450699187/45472833\ 2909653773017709336457918069181830729242492*c_1001_8^3 + 4075324273673329811914936736129494408571416213384353796459/34104624\ 9682240329763282002343438551886373046931869*c_1001_8^2 - 6449514102452442859751398169074402388434592279473762688947/68209249\ 9364480659526564004686877103772746093863738*c_1001_8 + 526590852433903909303112785478769327808908501396483054271/341046249\ 682240329763282002343438551886373046931869, c_0011_0 - 1, c_0011_10 + 1630922739195941506404069833044776735472741/175791070802087\ 3342031295929496570494653643*c_1001_8^15 + 787004270728245848955611032184191478650396/585970236006957780677098\ 643165523498217881*c_1001_8^14 + 1684923580216905644427924113669709\ 089027789/159810064365533940184663266317870044968513*c_1001_8^13 + 25653809848708389382920591213809601247745033/1757910708020873342031\ 295929496570494653643*c_1001_8^12 + 71801595629202006128233761614602099726998200/1757910708020873342031\ 295929496570494653643*c_1001_8^11 + 49845856033718019604726877675929318004798008/5859702360069577806770\ 98643165523498217881*c_1001_8^10 + 65298070348632545732687223481562893030271242/5859702360069577806770\ 98643165523498217881*c_1001_8^9 + 507667713783636906771449579051505\ 708364859467/1757910708020873342031295929496570494653643*c_1001_8^8 + 569039993018338061040928410745578581814704392/1757910708020873342\ 031295929496570494653643*c_1001_8^7 + 425283616297600145509490744790839124071205454/175791070802087334203\ 1295929496570494653643*c_1001_8^6 + 596924828211000057964546759474543551269191354/175791070802087334203\ 1295929496570494653643*c_1001_8^5 - 170957376222955817257219417885216760007216760/175791070802087334203\ 1295929496570494653643*c_1001_8^4 + 68601378282530939098047385246068531305497171/5859702360069577806770\ 98643165523498217881*c_1001_8^3 + 341194603463574093126595158826531\ 379713337401/1757910708020873342031295929496570494653643*c_1001_8^2 - 133660873579678462246996965440641934552893391/1757910708020873342\ 031295929496570494653643*c_1001_8 + 3489010197506951376111727118101258090951840/17579107080208733420312\ 95929496570494653643, c_0011_12 + 377108456138525147886004118872623220353197/3906468240046385\ 20451399095443682332145254*c_1001_8^15 + 184829833234305761398366801716001353674665/130215608001546173483799\ 698481227444048418*c_1001_8^14 + 1953385150445977538261314961189651\ 66303708/17756673818392660020518140701985560552057*c_1001_8^13 + 6031230437366150999276271050230435828661623/39064682400463852045139\ 9095443682332145254*c_1001_8^12 + 167348312226755931379629139759882\ 81567691569/390646824004638520451399095443682332145254*c_1001_8^11 + 5829668356869421046886449038427183381808322/65107804000773086741899\ 849240613722024209*c_1001_8^10 + 1536502798186732505019210344133466\ 8682355159/130215608001546173483799698481227444048418*c_1001_8^9 + 118488579162547576192068269473595750607425279/390646824004638520451\ 399095443682332145254*c_1001_8^8 + 67200005795127047809424033254427172506008057/1953234120023192602256\ 99547721841166072627*c_1001_8^7 + 101455043793066152823633035415483\ 818818515401/390646824004638520451399095443682332145254*c_1001_8^6 + 70438960311661958702839455775528883811624946/1953234120023192602256\ 99547721841166072627*c_1001_8^5 - 179103316049216838321128190588474\ 72807319924/195323412002319260225699547721841166072627*c_1001_8^4 + 7849522435126550512308993886724721410426725/65107804000773086741899\ 849240613722024209*c_1001_8^3 + 40296372653895084900491935309224633\ 260506837/195323412002319260225699547721841166072627*c_1001_8^2 - 14952065479202520941427061852590830768271233/1953234120023192602256\ 99547721841166072627*c_1001_8 + 64171695920519172581021321843493335\ 1343289/390646824004638520451399095443682332145254, c_0011_3 - 86807002389203014871212369832170440181/120112787948541104986\ 593961907455877466*c_1001_8^15 - 4176698256471763556283552906682323\ 8815/40037595982847034995531320635818625822*c_1001_8^14 - 492710091457263351996592002864355326719/600563939742705524932969809\ 53727938733*c_1001_8^13 - 1360849380174303820254379634248527194945/\ 120112787948541104986593961907455877466*c_1001_8^12 - 3810292591116514277527469315144178415847/12011278794854110498659396\ 1907455877466*c_1001_8^11 - 132307325021381518636702898128034410674\ 2/20018797991423517497765660317909312911*c_1001_8^10 - 3458321794234402388228150219702778988177/40037595982847034995531320\ 635818625822*c_1001_8^9 - 26941949102819020820141672933003711190547\ /120112787948541104986593961907455877466*c_1001_8^8 - 15070097138792128321199953892494824383291/6005639397427055249329698\ 0953727938733*c_1001_8^7 - 2237941082410235488668142765215505502454\ 7/120112787948541104986593961907455877466*c_1001_8^6 - 15793501660949634596756156975522970304355/6005639397427055249329698\ 0953727938733*c_1001_8^5 + 4628106765405808428656074648127597544215\ /60056393974270552493296980953727938733*c_1001_8^4 - 1814354161626061984656809425628787975758/20018797991423517497765660\ 317909312911*c_1001_8^3 - 9133973294200905662501315181252793751234/\ 60056393974270552493296980953727938733*c_1001_8^2 + 3656115933816261169099484614042489459042/60056393974270552493296980\ 953727938733*c_1001_8 - 172150122842418779406517472963914200643/120\ 112787948541104986593961907455877466, c_0011_6 - 225138890035950387173458593323777375697601/58597023600695778\ 0677098643165523498217881*c_1001_8^15 - 108628891351290610471341602377502021793622/195323412002319260225699\ 547721841166072627*c_1001_8^14 - 2324221138262580673622220660949834\ 53896735/53270021455177980061554422105956681656171*c_1001_8^13 - 3537403381293418200631605247823012725366763/58597023600695778067709\ 8643165523498217881*c_1001_8^12 - 989015919530134675321098904927361\ 2950857468/585970236006957780677098643165523498217881*c_1001_8^11 - 6867348730149006321493469659151069432305753/19532341200231926022569\ 9547721841166072627*c_1001_8^10 - 898311174004166258556760561596420\ 4076900143/195323412002319260225699547721841166072627*c_1001_8^9 - 69864940167737959751647650901648759478955943/5859702360069577806770\ 98643165523498217881*c_1001_8^8 - 782292240445491077475631550673907\ 37785937518/585970236006957780677098643165523498217881*c_1001_8^7 - 58042715653483472043208298432085324510672175/5859702360069577806770\ 98643165523498217881*c_1001_8^6 - 814093873335802058301176059842424\ 15299663298/585970236006957780677098643165523498217881*c_1001_8^5 + 24335466267161505095376856610946975123229789/5859702360069577806770\ 98643165523498217881*c_1001_8^4 - 912236696504306690340329832961787\ 7696642313/195323412002319260225699547721841166072627*c_1001_8^3 - 46517787024493321784314312108822217080968370/5859702360069577806770\ 98643165523498217881*c_1001_8^2 + 186419054606707658438055077819578\ 55462597150/585970236006957780677098643165523498217881*c_1001_8 - 589667491478315604946706708279841212534284/585970236006957780677098\ 643165523498217881, c_0011_7 + 652817106228144824713405455593792260153/66062033371697607742\ 6266790491007326063*c_1001_8^15 + 312101253962168171433251621463147\ 756343/220206777905658692475422263497002442021*c_1001_8^14 + 672721740552601213552751563676210551568/600563939742705524932969809\ 53727938733*c_1001_8^13 + 10161342314224248907893613745318630280842\ /660620333716976077426266790491007326063*c_1001_8^12 + 28534324345598361719020392847651242309965/6606203337169760774262667\ 90491007326063*c_1001_8^11 + 19796811174539388054967925673816894879\ 169/220206777905658692475422263497002442021*c_1001_8^10 + 25785664628001894663506313820721417767060/2202067779056586924754222\ 63497002442021*c_1001_8^9 + 201673765580475201461541358919352135587\ 977/660620333716976077426266790491007326063*c_1001_8^8 + 224420820672265933171937305370269564968928/660620333716976077426266\ 790491007326063*c_1001_8^7 + 16547202591701665260350484854430382804\ 2220/660620333716976077426266790491007326063*c_1001_8^6 + 235003587018963903341472557816766211481137/660620333716976077426266\ 790491007326063*c_1001_8^5 - 72771196230364659189008491459214356543\ 438/660620333716976077426266790491007326063*c_1001_8^4 + 27276988728431902557822339570213593237701/2202067779056586924754222\ 63497002442021*c_1001_8^3 + 136576799581314012832455409871408710943\ 824/660620333716976077426266790491007326063*c_1001_8^2 - 57231907604114193039197909349735687210326/6606203337169760774262667\ 90491007326063*c_1001_8 + 1719575104824127561707443033797115705752/\ 660620333716976077426266790491007326063, c_0101_0 - 889115121243244730753305366044250193984549/35158214160417466\ 84062591858993140989307286*c_1001_8^15 - 417523007983647949561699270034758592974127/117194047201391556135419\ 7286331046996435762*c_1001_8^14 - 457269750765252829097046972415742\ 080504202/159810064365533940184663266317870044968513*c_1001_8^13 - 13580987465448159766500792631645488037254043/3515821416041746684062\ 591858993140989307286*c_1001_8^12 - 38646942352032583013114555804575532651962003/3515821416041746684062\ 591858993140989307286*c_1001_8^11 - 13312201802265754591563855221407042184194396/5859702360069577806770\ 98643165523498217881*c_1001_8^10 - 34560876148767263648132877654525323862826661/1171940472013915561354\ 197286331046996435762*c_1001_8^9 - 272353364594609644688962072445016793691050049/351582141604174668406\ 2591858993140989307286*c_1001_8^8 - 149392007170001970834617363471667341416916308/175791070802087334203\ 1295929496570494653643*c_1001_8^7 - 219818513592532575582382931026551362601398939/351582141604174668406\ 2591858993140989307286*c_1001_8^6 - 156677857231359723420550718110624803649278406/175791070802087334203\ 1295929496570494653643*c_1001_8^5 + 54173849113452469384256280022087180408507045/1757910708020873342031\ 295929496570494653643*c_1001_8^4 - 19199134191540443197847426210692706908214974/5859702360069577806770\ 98643165523498217881*c_1001_8^3 - 887306832568176081081261567753400\ 93240360213/1757910708020873342031295929496570494653643*c_1001_8^2 + 36890861129363526654832571848468879053840425/1757910708020873342031\ 295929496570494653643*c_1001_8 - 2266009061548509143452003133597095\ 330003037/3515821416041746684062591858993140989307286, c_0101_1 + 231493240329053947954926914891265393445145/58597023600695778\ 0677098643165523498217881*c_1001_8^15 + 112798187567851832993505480559954494684947/195323412002319260225699\ 547721841166072627*c_1001_8^14 + 2394271707796367526287315525797528\ 75228327/53270021455177980061554422105956681656171*c_1001_8^13 + 3676806029559442276833714609878135259838147/58597023600695778067709\ 8643165523498217881*c_1001_8^12 + 102239529006898343163048976719510\ 45113067874/585970236006957780677098643165523498217881*c_1001_8^11 + 7116936891232274288968189988890896186990941/19532341200231926022569\ 9547721841166072627*c_1001_8^10 + 934560099635231452035958579059320\ 9940375476/195323412002319260225699547721841166072627*c_1001_8^9 + 72320397149539194228814598694417185819330585/5859702360069577806770\ 98643165523498217881*c_1001_8^8 + 816316243324379935988406262754831\ 85337461464/585970236006957780677098643165523498217881*c_1001_8^7 + 61014184947347983144941344980537834437279026/5859702360069577806770\ 98643165523498217881*c_1001_8^6 + 851702100367758273668271170731531\ 32691959503/585970236006957780677098643165523498217881*c_1001_8^5 - 23464261035497962734274213663322245255776440/5859702360069577806770\ 98643165523498217881*c_1001_8^4 + 942303739041157457668053046792250\ 5437976442/195323412002319260225699547721841166072627*c_1001_8^3 + 48987101647771069892602576486497375546177776/5859702360069577806770\ 98643165523498217881*c_1001_8^2 - 192167638840400921027137916721051\ 69013300306/585970236006957780677098643165523498217881*c_1001_8 + 151463808238438189561715118741991771769402/585970236006957780677098\ 643165523498217881, c_0101_10 + 324065208815810697348923904363264193435433/1171940472013915\ 561354197286331046996435762*c_1001_8^15 + 162380601522652715306509806081810189253613/390646824004638520451399\ 095443682332145254*c_1001_8^14 + 1687566354811712314421456335564818\ 46353929/53270021455177980061554422105956681656171*c_1001_8^13 + 5306426313789535688525346763845897167659969/11719404720139155613541\ 97286331046996435762*c_1001_8^12 + 14589314071309629425510306464811586557417515/1171940472013915561354\ 197286331046996435762*c_1001_8^11 + 5091698179366575275175005743086162694010893/19532341200231926022569\ 9547721841166072627*c_1001_8^10 + 135655579828502940053612617485524\ 75989523951/390646824004638520451399095443682332145254*c_1001_8^9 + 103307969285206501565671855804308773899393139/117194047201391556135\ 4197286331046996435762*c_1001_8^8 + 59458979353683067964064211189483317213813043/5859702360069577806770\ 98643165523498217881*c_1001_8^7 + 916284205427432492510152733116478\ 88143700623/1171940472013915561354197286331046996435762*c_1001_8^6 + 62008543200588395171964131335781617372939972/5859702360069577806770\ 98643165523498217881*c_1001_8^5 - 137787348739577057937859525030006\ 06135002874/585970236006957780677098643165523498217881*c_1001_8^4 + 6576547925477632285265789752939473147317473/19532341200231926022569\ 9547721841166072627*c_1001_8^3 + 3431013659095297533249648087631803\ 9648366241/585970236006957780677098643165523498217881*c_1001_8^2 - 11576075112049950329897421763666304932099091/5859702360069577806770\ 98643165523498217881*c_1001_8 + 24703603381931437686872363213440122\ 3850895/1171940472013915561354197286331046996435762, c_0101_6 - 38973020686117387315941649225967742035/146804518603772461650\ 281508998001628014*c_1001_8^15 - 1830729996804915018614582479902665\ 3969/48934839534590820550093836332667209338*c_1001_8^14 - 20001294343926429061795506756872802761/6672932663807839165921886772\ 636437637*c_1001_8^13 - 594815716281239532554339057100384601921/146\ 804518603772461650281508998001628014*c_1001_8^12 - 1683936687657229598359847025412946893957/14680451860377246165028150\ 8998001628014*c_1001_8^11 - 582556158020824556103400764414789967223\ /24467419767295410275046918166333604669*c_1001_8^10 - 1503309946602818117389219469412474073797/48934839534590820550093836\ 332667209338*c_1001_8^9 - 11887343447771241544613812841740383119993\ /146804518603772461650281508998001628014*c_1001_8^8 - 6516639127283613515415312505869610750303/73402259301886230825140754\ 499000814007*c_1001_8^7 - 9418948085434155717057110323878005646047/\ 146804518603772461650281508998001628014*c_1001_8^6 - 6808340972057546975239425676223726459248/73402259301886230825140754\ 499000814007*c_1001_8^5 + 2429113534544529608199074481090087061897/\ 73402259301886230825140754499000814007*c_1001_8^4 - 813232550060580080733048432032991722707/244674197672954102750469181\ 66333604669*c_1001_8^3 - 4011454816122672282771215875291997742250/7\ 3402259301886230825140754499000814007*c_1001_8^2 + 1817112444268704900186367978308588426089/73402259301886230825140754\ 499000814007*c_1001_8 - 171722095375738727771465984999019467159/146\ 804518603772461650281508998001628014, c_0101_7 - 588994547103707387692933196985635297957/13212406674339521548\ 52533580982014652126*c_1001_8^15 - 288257977480714188648518715915672662231/440413555811317384950844526\ 994004884042*c_1001_8^14 - 305148868195860204431250921557287425086/\ 60056393974270552493296980953727938733*c_1001_8^13 - 9403114616582963505237321785621512717663/13212406674339521548525335\ 80982014652126*c_1001_8^12 - 26141157069461890848797273253097693834\ 549/1321240667433952154852533580982014652126*c_1001_8^11 - 9092051305957561950515150261629331147164/22020677790565869247542226\ 3497002442021*c_1001_8^10 - 239688691986573569306103156450992143849\ 55/440413555811317384950844526994004884042*c_1001_8^9 - 184962662042540023498890689566841315013677/132124066743395215485253\ 3580982014652126*c_1001_8^8 - 1046799684021346137268686657086854885\ 44484/660620333716976077426266790491007326063*c_1001_8^7 - 158380068587949328028540936649353587936535/132124066743395215485253\ 3580982014652126*c_1001_8^6 - 1096189311277065071112924720837892045\ 53580/660620333716976077426266790491007326063*c_1001_8^5 + 28545749617088527583089491263798008795828/6606203337169760774262667\ 90491007326063*c_1001_8^4 - 124322973922799064091777665714125488381\ 81/220206777905658692475422263497002442021*c_1001_8^3 - 63081647200848931928543369895567799949362/6606203337169760774262667\ 90491007326063*c_1001_8^2 + 228272025566530625422645651471127100443\ 78/660620333716976077426266790491007326063*c_1001_8 - 1000295603533073401351727152906618101977/13212406674339521548525335\ 80982014652126, c_1001_4 - 440694514571520666398917015990054285575199/17579107080208733\ 42031295929496570494653643*c_1001_8^15 - 214370728224019891057057907876706817153900/585970236006957780677098\ 643165523498217881*c_1001_8^14 - 4562437329963522322557321745864936\ 84972478/159810064365533940184663266317870044968513*c_1001_8^13 - 6988295416383658191557421097741710933455564/17579107080208733420312\ 95929496570494653643*c_1001_8^12 - 19518251740329643483670985274212124201892846/1757910708020873342031\ 295929496570494653643*c_1001_8^11 - 13541194422783987919499035767281100733602601/5859702360069577806770\ 98643165523498217881*c_1001_8^10 - 17848271155034722104461777994472446705554536/5859702360069577806770\ 98643165523498217881*c_1001_8^9 - 137943577827243622359552510204118\ 778627816860/1757910708020873342031295929496570494653643*c_1001_8^8 - 155519035540332281438847038260952230126336708/1757910708020873342\ 031295929496570494653643*c_1001_8^7 - 117681881668009859543178150653534955006398248/175791070802087334203\ 1295929496570494653643*c_1001_8^6 - 162803002716855957462946172445284438918337814/175791070802087334203\ 1295929496570494653643*c_1001_8^5 + 43330249465230852630959435354894414500622383/1757910708020873342031\ 295929496570494653643*c_1001_8^4 - 19188942121437718170592967764465592591487865/5859702360069577806770\ 98643165523498217881*c_1001_8^3 - 914502237945943706922438774357833\ 92008620266/1757910708020873342031295929496570494653643*c_1001_8^2 + 31548639570668948964935006957415651238778159/1757910708020873342031\ 295929496570494653643*c_1001_8 - 2958235840686037304150727490542816\ 19489639/1757910708020873342031295929496570494653643, c_1001_8^16 + 8/7*c_1001_8^15 + 535/49*c_1001_8^14 + 601/49*c_1001_8^13 + 1920/49*c_1001_8^12 + 3835/49*c_1001_8^11 + 4509/49*c_1001_8^10 + 13450/49*c_1001_8^9 + 12441/49*c_1001_8^8 + 7521/49*c_1001_8^7 + 14043/49*c_1001_8^6 - 10604/49*c_1001_8^5 + 7726/49*c_1001_8^4 + 1210/7*c_1001_8^3 - 7260/49*c_1001_8^2 + 1395/49*c_1001_8 - 43/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.240 Total time: 9.449 seconds, Total memory usage: 64.12MB