Magma V2.19-8 Wed Aug 21 2013 00:51:17 on localhost [Seed = 1242324786] Type ? for help. Type -D to quit. Loading file "L11a263__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a263 geometric_solution 12.05730551 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 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 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137024719124 0.675374262697 0 0 4 2 0132 1302 0132 1023 1 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 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.711469910790 1.422121479329 5 0 5 1 0132 0132 3012 1023 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007163094492 0.859711121991 6 6 7 0 0132 1230 0132 0132 1 1 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 -1 0 1 1 0 -1 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 0.597032566626 0.817492582725 8 8 7 1 0132 1230 3012 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665737154876 0.627166359438 2 2 7 9 0132 1230 3120 0132 1 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 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.574379340186 0.490288325397 3 10 3 11 0132 0132 3012 0132 1 1 1 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 0 0 0 0 0 0 0 -6 1 5 -1 0 1 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.417382559006 0.797754533342 12 4 5 3 0132 1230 3120 0132 1 1 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 -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.551788663085 0.681449521194 4 10 4 11 0132 0321 3012 2103 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 5 0 -5 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204181164677 0.749711501102 10 10 5 11 0321 3201 0132 3201 1 1 1 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 0 1 0 -6 6 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.343965197928 1.230045286859 9 6 9 8 0321 0132 2310 0321 1 0 1 1 0 1 -1 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 6 -6 0 0 0 1 -1 6 -1 0 -5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595100207992 0.370578852472 12 9 6 8 1230 2310 0132 2103 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 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 0 0 0.293781658196 0.414675308752 7 11 12 12 0132 3012 1230 3012 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503296110737 1.058604804380 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_11'], 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : negation(d['c_1001_5']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_1001_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : negation(d['c_0011_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_4'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : negation(d['c_0011_10']), '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' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0011_4'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_1'], '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' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_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_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_5, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 51122024254664615349059032861621411964544111/5234727913030314788730\ 5460002961438943040*c_1001_5^18 + 448446908468445567951707901286505\ 42399304381/6543409891287893485913182500370179867880*c_1001_5^17 - 359438363158856658939334755583754503699372699/130868197825757869718\ 26365000740359735760*c_1001_5^16 + 483085761671494132637729216460655573555421899/523472791303031478873\ 0546000296143894304*c_1001_5^15 - 740421707760367129745341550824548\ 7606319985559/26173639565151573943652730001480719471520*c_1001_5^14 + 19250353619784450951661834251043522769809329793/26173639565151573\ 943652730001480719471520*c_1001_5^13 - 84059621325789155625589906897917330512973286387/5234727913030314788\ 7305460002961438943040*c_1001_5^12 + 39210835804321695140121265838808185934821280149/1308681978257578697\ 1826365000740359735760*c_1001_5^11 - 253521055427699148249027099530091274756857287291/523472791303031478\ 87305460002961438943040*c_1001_5^10 + 85661211285725715031476009129038132590402937289/1308681978257578697\ 1826365000740359735760*c_1001_5^9 - 20742672708111044214588163331738438621468565823/2755119954226481467\ 752918947524286260160*c_1001_5^8 + 28950864068906083026216632329216930549981722807/3271704945643946742\ 956591250185089933940*c_1001_5^7 - 328760912156964320833365408315334607252670295017/261736395651515739\ 43652730001480719471520*c_1001_5^6 + 2113885899824240789108337924473280694895115619/13775599771132407338\ 7645947376214313008*c_1001_5^5 - 6198094558734136404405592402114109\ 11161060975197/52347279130303147887305460002961438943040*c_1001_5^4 + 102054498148410110357800369152090964538078088493/2617363956515157\ 3943652730001480719471520*c_1001_5^3 - 116924478829462841488832854827202961328748928673/523472791303031478\ 87305460002961438943040*c_1001_5^2 - 4153778790707304252003276599910071113951805249/52347279130303147887\ 30546000296143894304*c_1001_5 - 28960958175193844523985407223233759\ 48707163551/52347279130303147887305460002961438943040, c_0011_0 - 1, c_0011_10 - 5113201947885174851952898214475/104618028080704698673437327\ 132379*c_1001_5^18 + 36791420845743297116166533928071/1046180280807\ 04698673437327132379*c_1001_5^17 - 150299949617867827164620136228394/104618028080704698673437327132379\ *c_1001_5^16 + 509542165540347202667141762743949/104618028080704698\ 673437327132379*c_1001_5^15 - 1570198701393520621910625692005537/10\ 4618028080704698673437327132379*c_1001_5^14 + 4124808738377979544661981984731247/10461802808070469867343732713237\ 9*c_1001_5^13 - 9124897023963412639486646931936905/1046180280807046\ 98673437327132379*c_1001_5^12 + 17266740132345355828601350130279710\ /104618028080704698673437327132379*c_1001_5^11 - 28330678194376630550581881335085824/1046180280807046986734373271323\ 79*c_1001_5^10 + 39124496171129153180329348917740580/10461802808070\ 4698673437327132379*c_1001_5^9 - 4607119978004630082552158800198255\ 6/104618028080704698673437327132379*c_1001_5^8 + 54098195354853060778107782990007107/1046180280807046986734373271323\ 79*c_1001_5^7 - 74888729730817394262878273971541212/104618028080704\ 698673437327132379*c_1001_5^6 + 93095713123715451240167477132613465\ /104618028080704698673437327132379*c_1001_5^5 - 77767254097614594694412330411888089/1046180280807046986734373271323\ 79*c_1001_5^4 + 33247805339385272594237444601219560/104618028080704\ 698673437327132379*c_1001_5^3 - 16798956077263509348708357448296809\ /104618028080704698673437327132379*c_1001_5^2 - 1386519541189349870242787206011274/10461802808070469867343732713237\ 9*c_1001_5 + 24936152147129932274630065239555/104618028080704698673\ 437327132379, c_0011_11 + 1887396312964329148098827661142/104618028080704698673437327\ 132379*c_1001_5^18 - 13200428556639110112258465628062/1046180280807\ 04698673437327132379*c_1001_5^17 + 52720653837358943917158358580624/104618028080704698673437327132379*\ c_1001_5^16 - 176754596043007399826501050261681/1046180280807046986\ 73437327132379*c_1001_5^15 + 541099946995188555957724803763394/1046\ 18028080704698673437327132379*c_1001_5^14 - 1403743325298513732074791447363285/10461802808070469867343732713237\ 9*c_1001_5^13 + 3055171729913835304960408151973823/1046180280807046\ 98673437327132379*c_1001_5^12 - 5678636445604838037643406405665984/\ 104618028080704698673437327132379*c_1001_5^11 + 9137622651851197789553178761177166/10461802808070469867343732713237\ 9*c_1001_5^10 - 12267307023573215333857360258446454/104618028080704\ 698673437327132379*c_1001_5^9 + 13985940977423165423288909362287173\ /104618028080704698673437327132379*c_1001_5^8 - 16390264515247262481353821990367440/1046180280807046986734373271323\ 79*c_1001_5^7 + 23439009556877779795173113976154326/104618028080704\ 698673437327132379*c_1001_5^6 - 28573328901751164655529844510384630\ /104618028080704698673437327132379*c_1001_5^5 + 21482151956291405291126779110574769/1046180280807046986734373271323\ 79*c_1001_5^4 - 6105807546720782500947075555273087/1046180280807046\ 98673437327132379*c_1001_5^3 + 3383780770172877648819458439973859/1\ 04618028080704698673437327132379*c_1001_5^2 + 1988972198460418924602290522785526/10461802808070469867343732713237\ 9*c_1001_5 - 47886212492705096047204294585504/104618028080704698673\ 437327132379, c_0011_12 + 12039157091083422404990457975590/10461802808070469867343732\ 7132379*c_1001_5^18 - 85499760375407022741756798112919/104618028080\ 704698673437327132379*c_1001_5^17 + 345806695529521426724247236415110/104618028080704698673437327132379\ *c_1001_5^16 - 1166897392123282307587018645121691/10461802808070469\ 8673437327132379*c_1001_5^15 + 3586088684125202488344818265531393/1\ 04618028080704698673437327132379*c_1001_5^14 - 9370367867150957158770375760603094/10461802808070469867343732713237\ 9*c_1001_5^13 + 20589682044106578147378050208098684/104618028080704\ 698673437327132379*c_1001_5^12 - 3868213468864909919795621125269902\ 7/104618028080704698673437327132379*c_1001_5^11 + 62986489001052042822134146400229814/1046180280807046986734373271323\ 79*c_1001_5^10 - 86042442374175761174490544687996438/10461802808070\ 4698673437327132379*c_1001_5^9 + 1001299830724034018359727934189005\ 63/104618028080704698673437327132379*c_1001_5^8 - 117608548747733083236285737216626927/104618028080704698673437327132\ 379*c_1001_5^7 + 164854678695179237451973628096245381/1046180280807\ 04698673437327132379*c_1001_5^6 - 203182771584558887381698842240210\ 673/104618028080704698673437327132379*c_1001_5^5 + 163271022203618356027050162188443708/104618028080704698673437327132\ 379*c_1001_5^4 - 62058733763508635132623827936166444/10461802808070\ 4698673437327132379*c_1001_5^3 + 3295417832075648272286799909399283\ 3/104618028080704698673437327132379*c_1001_5^2 + 6925745616038359364113111826485264/10461802808070469867343732713237\ 9*c_1001_5 + 172666956417782144216653285257900/10461802808070469867\ 3437327132379, c_0011_4 + 13379498481824827688157989758805/104618028080704698673437327\ 132379*c_1001_5^18 - 190193481392930458969774360762379/209236056161\ 409397346874654264758*c_1001_5^17 + 384877172817546195763587482881481/104618028080704698673437327132379\ *c_1001_5^16 - 1299239015674024605900964072204331/10461802808070469\ 8673437327132379*c_1001_5^15 + 7987414427472303484856689187592525/2\ 09236056161409397346874654264758*c_1001_5^14 - 20879158332277860515433806199080763/2092360561614093973468746542647\ 58*c_1001_5^13 + 22951362686381301983834207823416978/10461802808070\ 4698673437327132379*c_1001_5^12 - 862915206860482151484109870140280\ 47/209236056161409397346874654264758*c_1001_5^11 + 140606023328288538358935440569549557/209236056161409397346874654264\ 758*c_1001_5^10 - 192263450531669681946129242597260041/209236056161\ 409397346874654264758*c_1001_5^9 + 224008210700160885421210808826698833/209236056161409397346874654264\ 758*c_1001_5^8 - 131588988058046600557723844163840393/1046180280807\ 04698673437327132379*c_1001_5^7 + 184234228212720176407531014543439\ 808/104618028080704698673437327132379*c_1001_5^6 - 227156860716026130402868540957439721/104618028080704698673437327132\ 379*c_1001_5^5 + 366347479171040525248188187643374703/2092360561614\ 09397346874654264758*c_1001_5^4 - 705389821463252465003227286009524\ 94/104618028080704698673437327132379*c_1001_5^3 + 37387367888433309369304593857686892/1046180280807046986734373271323\ 79*c_1001_5^2 + 14976106726244334509343000900538101/209236056161409\ 397346874654264758*c_1001_5 + 375892328358632435236454586136045/209\ 236056161409397346874654264758, c_0101_0 - 1, c_0101_1 + 916154970187007402742797648144/10461802808070469867343732713\ 2379*c_1001_5^18 - 6440627977604208990506199719435/1046180280807046\ 98673437327132379*c_1001_5^17 + 25811925465951553342421367242628/10\ 4618028080704698673437327132379*c_1001_5^16 - 86666968650306614473980790973220/104618028080704698673437327132379*\ c_1001_5^15 + 531125921570110434858390913646185/2092360561614093973\ 46874654264758*c_1001_5^14 - 1380541860824841195602559171740633/209\ 236056161409397346874654264758*c_1001_5^13 + 1505849488611845342109619101934190/10461802808070469867343732713237\ 9*c_1001_5^12 - 5611862661486775614611894053524675/2092360561614093\ 97346874654264758*c_1001_5^11 + 9054254041652605043938357280433949/\ 209236056161409397346874654264758*c_1001_5^10 - 12204098865772700683902034365688337/2092360561614093973468746542647\ 58*c_1001_5^9 + 13972272915179661038396479786880325/209236056161409\ 397346874654264758*c_1001_5^8 - 8183517140040793261925683797388624/\ 104618028080704698673437327132379*c_1001_5^7 + 11648615548898206008390242924520184/1046180280807046986734373271323\ 79*c_1001_5^6 - 14258465097856680528071278442714963/104618028080704\ 698673437327132379*c_1001_5^5 + 10881887284824378499987567550039320\ /104618028080704698673437327132379*c_1001_5^4 - 6642676651316050241081708635168481/20923605616140939734687465426475\ 8*c_1001_5^3 + 1762681016606961541813465845987551/10461802808070469\ 8673437327132379*c_1001_5^2 + 799961807049687682606624356301264/104\ 618028080704698673437327132379*c_1001_5 + 54899505647625587820747437250587/209236056161409397346874654264758, c_0101_10 - 916154970187007402742797648144/1046180280807046986734373271\ 32379*c_1001_5^18 + 6440627977604208990506199719435/104618028080704\ 698673437327132379*c_1001_5^17 - 25811925465951553342421367242628/1\ 04618028080704698673437327132379*c_1001_5^16 + 86666968650306614473980790973220/104618028080704698673437327132379*\ c_1001_5^15 - 531125921570110434858390913646185/2092360561614093973\ 46874654264758*c_1001_5^14 + 1380541860824841195602559171740633/209\ 236056161409397346874654264758*c_1001_5^13 - 1505849488611845342109619101934190/10461802808070469867343732713237\ 9*c_1001_5^12 + 5611862661486775614611894053524675/2092360561614093\ 97346874654264758*c_1001_5^11 - 9054254041652605043938357280433949/\ 209236056161409397346874654264758*c_1001_5^10 + 12204098865772700683902034365688337/2092360561614093973468746542647\ 58*c_1001_5^9 - 13972272915179661038396479786880325/209236056161409\ 397346874654264758*c_1001_5^8 + 8183517140040793261925683797388624/\ 104618028080704698673437327132379*c_1001_5^7 - 11648615548898206008390242924520184/1046180280807046986734373271323\ 79*c_1001_5^6 + 14258465097856680528071278442714963/104618028080704\ 698673437327132379*c_1001_5^5 - 10881887284824378499987567550039320\ /104618028080704698673437327132379*c_1001_5^4 + 6642676651316050241081708635168481/20923605616140939734687465426475\ 8*c_1001_5^3 - 1762681016606961541813465845987551/10461802808070469\ 8673437327132379*c_1001_5^2 - 904579835130392381280061683433643/104\ 618028080704698673437327132379*c_1001_5 + 154336550513783809526127217014171/209236056161409397346874654264758\ , c_0101_11 + 957585448218149705843693819245/2092360561614093973468746542\ 64758*c_1001_5^18 - 5553732624342599633205919849993/209236056161409\ 397346874654264758*c_1001_5^17 + 18499902341142464065194432927277/2\ 09236056161409397346874654264758*c_1001_5^16 - 27973454990809440979251597617761/104618028080704698673437327132379*\ c_1001_5^15 + 80048055553328562330677666021113/10461802808070469867\ 3437327132379*c_1001_5^14 - 359352979684073653551142709426961/20923\ 6056161409397346874654264758*c_1001_5^13 + 311196879148046003439960464134560/104618028080704698673437327132379\ *c_1001_5^12 - 413420870420478007662795506437735/104618028080704698\ 673437327132379*c_1001_5^11 + 371815395191197110731694365435701/104\ 618028080704698673437327132379*c_1001_5^10 + 172739328232229836319033995736325/209236056161409397346874654264758\ *c_1001_5^9 - 1757969473385607173853854185244267/209236056161409397\ 346874654264758*c_1001_5^8 + 2141288124359527141962271613954459/209\ 236056161409397346874654264758*c_1001_5^7 - 201070575683199912718338170672972/104618028080704698673437327132379\ *c_1001_5^6 + 2490641930955359163660471022391067/209236056161409397\ 346874654264758*c_1001_5^5 - 10221396173773688877004572992200963/20\ 9236056161409397346874654264758*c_1001_5^4 + 14611460343633786231338905487996673/2092360561614093973468746542647\ 58*c_1001_5^3 - 5980930152667863053278276005879307/2092360561614093\ 97346874654264758*c_1001_5^2 + 2467744833509273195214906473350604/1\ 04618028080704698673437327132379*c_1001_5 + 305463763963940790649587516129525/209236056161409397346874654264758\ , c_0101_4 + 16266853422342275950972341923601/209236056161409397346874654\ 264758*c_1001_5^18 - 115441747246506955397070846002063/209236056161\ 409397346874654264758*c_1001_5^17 + 466665746955654594991507601397503/209236056161409397346874654264758\ *c_1001_5^16 - 787181040013423778938312076584200/104618028080704698\ 673437327132379*c_1001_5^15 + 2418739345909797506173875976497027/10\ 4618028080704698673437327132379*c_1001_5^14 - 12636476628802302301680915176761903/2092360561614093973468746542647\ 58*c_1001_5^13 + 13877987044841515453241385246244883/10461802808070\ 4698673437327132379*c_1001_5^12 - 521236677017504510229215428824499\ 23/209236056161409397346874654264758*c_1001_5^11 + 84832333891933199255751876953966985/2092360561614093973468746542647\ 58*c_1001_5^10 - 115803171227090029090736708735597075/2092360561614\ 09397346874654264758*c_1001_5^9 + 673251006361433039235405839308762\ 08/104618028080704698673437327132379*c_1001_5^8 - 158123992836205542865097903526432881/209236056161409397346874654264\ 758*c_1001_5^7 + 110891490958365249449033898059932153/1046180280807\ 04698673437327132379*c_1001_5^6 - 136620684570260840794758787649717\ 753/104618028080704698673437327132379*c_1001_5^5 + 109512651157742119095901604860389778/104618028080704698673437327132\ 379*c_1001_5^4 - 82433078695819179294009350496986257/20923605616140\ 9397346874654264758*c_1001_5^3 + 4360846827273908173995496399209644\ 1/209236056161409397346874654264758*c_1001_5^2 + 9866618798647392642889201385629781/20923605616140939734687465426475\ 8*c_1001_5 + 300211785261362001751237531081357/20923605616140939734\ 6874654264758, c_0101_5 + 916154970187007402742797648144/10461802808070469867343732713\ 2379*c_1001_5^18 - 6440627977604208990506199719435/1046180280807046\ 98673437327132379*c_1001_5^17 + 25811925465951553342421367242628/10\ 4618028080704698673437327132379*c_1001_5^16 - 86666968650306614473980790973220/104618028080704698673437327132379*\ c_1001_5^15 + 531125921570110434858390913646185/2092360561614093973\ 46874654264758*c_1001_5^14 - 1380541860824841195602559171740633/209\ 236056161409397346874654264758*c_1001_5^13 + 1505849488611845342109619101934190/10461802808070469867343732713237\ 9*c_1001_5^12 - 5611862661486775614611894053524675/2092360561614093\ 97346874654264758*c_1001_5^11 + 9054254041652605043938357280433949/\ 209236056161409397346874654264758*c_1001_5^10 - 12204098865772700683902034365688337/2092360561614093973468746542647\ 58*c_1001_5^9 + 13972272915179661038396479786880325/209236056161409\ 397346874654264758*c_1001_5^8 - 8183517140040793261925683797388624/\ 104618028080704698673437327132379*c_1001_5^7 + 11648615548898206008390242924520184/1046180280807046986734373271323\ 79*c_1001_5^6 - 14258465097856680528071278442714963/104618028080704\ 698673437327132379*c_1001_5^5 + 10881887284824378499987567550039320\ /104618028080704698673437327132379*c_1001_5^4 - 6642676651316050241081708635168481/20923605616140939734687465426475\ 8*c_1001_5^3 + 1762681016606961541813465845987551/10461802808070469\ 8673437327132379*c_1001_5^2 + 799961807049687682606624356301264/104\ 618028080704698673437327132379*c_1001_5 - 154336550513783809526127217014171/209236056161409397346874654264758\ , c_1001_10 - 23838682133313722637396427056624/10461802808070469867343732\ 7132379*c_1001_5^18 + 169918263620813092139438859056089/10461802808\ 0704698673437327132379*c_1001_5^17 - 1378434205739197910741628179405789/20923605616140939734687465426475\ 8*c_1001_5^16 + 4657818368589663410911311893492387/2092360561614093\ 97346874654264758*c_1001_5^15 - 7162969555079036493484639334790407/\ 104618028080704698673437327132379*c_1001_5^14 + 18745918119791723834757329783299794/1046180280807046986734373271323\ 79*c_1001_5^13 - 82546838332736467094701764694426625/20923605616140\ 9397346874654264758*c_1001_5^12 + 155418745847873652916710127933208\ 105/209236056161409397346874654264758*c_1001_5^11 - 253660709444339897480414657174483739/209236056161409397346874654264\ 758*c_1001_5^10 + 347674821144285833024628529381658325/209236056161\ 409397346874654264758*c_1001_5^9 - 406114303348293709778945974939724191/209236056161409397346874654264\ 758*c_1001_5^8 + 477043148478222376504233282468713369/2092360561614\ 09397346874654264758*c_1001_5^7 - 333048092906838407497402930103879\ 739/104618028080704698673437327132379*c_1001_5^6 + 822962963850762314464924923659341245/209236056161409397346874654264\ 758*c_1001_5^5 - 669354444225040633832857333728115539/2092360561614\ 09397346874654264758*c_1001_5^4 + 264708003311074461929675312904523\ 153/209236056161409397346874654264758*c_1001_5^3 - 69260926991958171334230733217919928/1046180280807046986734373271323\ 79*c_1001_5^2 - 23258014698112853431647577539515661/209236056161409\ 397346874654264758*c_1001_5 - 198950574301112256372789737304494/104\ 618028080704698673437327132379, c_1001_5^19 - 7*c_1001_5^18 + 28*c_1001_5^17 - 94*c_1001_5^16 + 288*c_1001_5^15 - 748*c_1001_5^14 + 1631*c_1001_5^13 - 3039*c_1001_5^12 + 4905*c_1001_5^11 - 6615*c_1001_5^10 + 7591*c_1001_5^9 - 8925*c_1001_5^8 + 12702*c_1001_5^7 - 15486*c_1001_5^6 + 11847*c_1001_5^5 - 3779*c_1001_5^4 + 2217*c_1001_5^3 + 853*c_1001_5^2 + 71*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.490 Total time: 0.700 seconds, Total memory usage: 32.09MB