Magma V2.19-8 Wed Aug 21 2013 01:02:39 on localhost [Seed = 3052645961] Type ? for help. Type -D to quit. Loading file "L14n15478__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15478 geometric_solution 11.85320992 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 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 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.412923084931 0.534955608783 0 5 6 5 0132 0132 0132 0213 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 1 -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.617161864854 0.578592521173 7 0 6 8 0132 0132 3120 0132 0 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 1 0 -1 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.686809042955 0.944691291392 9 10 4 0 0132 0132 2310 0132 0 1 1 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 0 0 0 -1 0 0 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.412923084931 0.534955608783 11 3 0 11 0132 3201 0132 3201 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 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.374030914014 1.515202475275 9 1 8 1 2310 0132 2103 0213 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 -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.617161864854 0.578592521173 11 7 2 1 3120 2310 3120 0132 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 1 0 -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.353380734350 0.418312463527 2 9 12 6 0132 2310 0132 3201 0 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 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.601842899546 1.391136388301 5 10 2 10 2103 0213 0132 2310 0 1 1 1 0 0 -1 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 0 1 -1 0 0 -1 1 1 13 0 -14 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617161864854 0.578592521173 3 12 5 7 0132 2031 3201 3201 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 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.686809042955 0.944691291392 8 3 8 12 3201 0132 0213 3201 0 1 0 1 0 1 0 -1 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 0 0 0 14 0 -13 -1 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.617161864854 0.578592521173 4 4 12 6 0132 2310 3120 3120 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606247136377 0.663812245730 9 10 11 7 1302 2310 3120 0132 0 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353380734350 0.418312463527 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_1001_11']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : d['c_1001_11'], 's_3_11' : 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' : d['c_0011_6'], 'c_0101_10' : d['c_0011_8'], '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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_1001_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : 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' : negation(d['c_0011_6']), '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' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_8']), '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_5'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_6, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 8640/7*c_1001_11^3 - 23368/7*c_1001_11^2 + 53182/35*c_1001_11 - 5497/35, c_0011_0 - 1, c_0011_10 - 55/7*c_1001_11^3 + 111/7*c_1001_11^2 + 131/35*c_1001_11 - 71/35, c_0011_11 + 130/7*c_1001_11^3 - 256/7*c_1001_11^2 - 281/35*c_1001_11 + 101/35, c_0011_12 - 55/7*c_1001_11^3 + 111/7*c_1001_11^2 + 131/35*c_1001_11 - 36/35, c_0011_6 + 110/7*c_1001_11^3 - 222/7*c_1001_11^2 - 262/35*c_1001_11 + 107/35, c_0011_8 - 195/7*c_1001_11^3 + 384/7*c_1001_11^2 + 509/35*c_1001_11 - 169/35, c_0101_0 + 130/7*c_1001_11^3 - 256/7*c_1001_11^2 - 281/35*c_1001_11 + 66/35, c_0101_1 - 65/7*c_1001_11^3 + 128/7*c_1001_11^2 + 228/35*c_1001_11 - 68/35, c_0101_2 - 130/7*c_1001_11^3 + 256/7*c_1001_11^2 + 281/35*c_1001_11 - 101/35, c_0101_3 + 85/7*c_1001_11^3 - 162/7*c_1001_11^2 - 247/35*c_1001_11 + 62/35, c_0101_5 + 195/7*c_1001_11^3 - 384/7*c_1001_11^2 - 509/35*c_1001_11 + 169/35, c_1001_0 - 1, c_1001_11^4 - 11/5*c_1001_11^3 - 1/25*c_1001_11^2 + 7/25*c_1001_11 - 1/25 ], 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_6, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 3821745892647832426664639321415811886189616789/26380927288416068072\ 38968888400719368429851840*c_1001_11^15 - 9662885169321257986693713303720862828902401587/32976159110520085090\ 4871111050089921053731480*c_1001_11^14 + 1213520622080569403373805111976521750074784900381/26380927288416068\ 07238968888400719368429851840*c_1001_11^13 + 5870778424299536367327553404536530508818335930439/26380927288416068\ 07238968888400719368429851840*c_1001_11^12 + 8585552711658065305410319577052325792041700909961/13190463644208034\ 03619484444200359684214925920*c_1001_11^11 + 25297758029154279266547643593064817339951870318077/6595231822104017\ 01809742222100179842107462960*c_1001_11^10 + 206473629197727718829156758346284884229544511463993/263809272884160\ 6807238968888400719368429851840*c_1001_11^9 - 6471935503277146225516812047141006338594289976753/26380927288416068\ 07238968888400719368429851840*c_1001_11^8 - 1725383939046790049604221233764111051550665190901/32976159110520085\ 090487111105008992105373148*c_1001_11^7 - 72835298703925680882295251748260595038229582408611/1319046364420803\ 403619484444200359684214925920*c_1001_11^6 + 28774406144920269284463233649516459631520716241077/2638092728841606\ 807238968888400719368429851840*c_1001_11^5 + 26268342288282803177018991965715266092321208874577/1319046364420803\ 403619484444200359684214925920*c_1001_11^4 + 20102124312831714989204968002334854965633504679731/2638092728841606\ 807238968888400719368429851840*c_1001_11^3 - 13289805691287371230565350171620984856005844684931/2638092728841606\ 807238968888400719368429851840*c_1001_11^2 - 437725313898542718337960376597216245450103580249/131904636442080340\ 3619484444200359684214925920*c_1001_11 + 430690565903207794808967664201029792069665093799/263809272884160680\ 7238968888400719368429851840, c_0011_0 - 1, c_0011_10 - 244990367802168126365361509008837733016934/8244039777630021\ 272621777776252248026343287*c_1001_11^15 + 4870336760796418168826161716642906109582040/82440397776300212726217\ 77776252248026343287*c_1001_11^14 - 76101527753018777043220402875931677849747977/8244039777630021272621\ 777776252248026343287*c_1001_11^13 - 402746493004788257900473682675176910047252089/824403977763002127262\ 1777776252248026343287*c_1001_11^12 - 1241270081406504609724099667022540666728855964/82440397776300212726\ 21777776252248026343287*c_1001_11^11 - 6920939490849883664246298190860559624175897747/82440397776300212726\ 21777776252248026343287*c_1001_11^10 - 15648775191974595777299607784213764348344697982/8244039777630021272\ 621777776252248026343287*c_1001_11^9 - 5071113424308300184470372294676331622192819570/82440397776300212726\ 21777776252248026343287*c_1001_11^8 + 6987342276375510959818886804543651467426942808/82440397776300212726\ 21777776252248026343287*c_1001_11^7 + 11780339049568275654046367840518452827002609006/8244039777630021272\ 621777776252248026343287*c_1001_11^6 + 2330049443112661372900685114959136224077704398/82440397776300212726\ 21777776252248026343287*c_1001_11^5 - 2510434144939309111802690796765638096572036917/82440397776300212726\ 21777776252248026343287*c_1001_11^4 - 2181797703123683313977358899428529552648072221/82440397776300212726\ 21777776252248026343287*c_1001_11^3 + 65881085679839350239293374905433622320809060/8244039777630021272621\ 777776252248026343287*c_1001_11^2 + 76543821961403980851012275585289579535381453/8244039777630021272621\ 777776252248026343287*c_1001_11 - 219633319128333009294825101042148\ 3327980733/8244039777630021272621777776252248026343287, c_0011_11 - 1830119294237709940518325847525969174817152/824403977763002\ 1272621777776252248026343287*c_1001_11^15 + 36227625076498796539523027353404794885097611/8244039777630021272621\ 777776252248026343287*c_1001_11^14 - 565401011339437435212997926371365369769528734/824403977763002127262\ 1777776252248026343287*c_1001_11^13 - 3056936181790222751946166723807075738419263073/82440397776300212726\ 21777776252248026343287*c_1001_11^12 - 9521603901586665217662492370672506955607761821/82440397776300212726\ 21777776252248026343287*c_1001_11^11 - 52455126345228005847661356540077075427495280690/8244039777630021272\ 621777776252248026343287*c_1001_11^10 - 121175511765132278373233521228704745276521766862/824403977763002127\ 2621777776252248026343287*c_1001_11^9 - 47265535169731251173643353091921138260706384488/8244039777630021272\ 621777776252248026343287*c_1001_11^8 + 50193483805946502321735504028459115099534556608/8244039777630021272\ 621777776252248026343287*c_1001_11^7 + 93043112197289803394042355958822614672478770223/8244039777630021272\ 621777776252248026343287*c_1001_11^6 + 24557086831481182412506364229233721669011203898/8244039777630021272\ 621777776252248026343287*c_1001_11^5 - 17776464219133511505807565255503221698937670235/8244039777630021272\ 621777776252248026343287*c_1001_11^4 - 18038792125945419067894604405021382016614899373/8244039777630021272\ 621777776252248026343287*c_1001_11^3 - 796945387070104685477384461668539695579113442/824403977763002127262\ 1777776252248026343287*c_1001_11^2 + 639781179126646239601389763918539672023926588/824403977763002127262\ 1777776252248026343287*c_1001_11 + 46323845271149336949818743815729129750370673/8244039777630021272621\ 777776252248026343287, c_0011_12 + 248802271326004104676877005317518955105882/8244039777630021\ 272621777776252248026343287*c_1001_11^15 - 4938232411300749968158309719039788969826841/82440397776300212726217\ 77776252248026343287*c_1001_11^14 + 77126551203392395365185309174112850068800460/8244039777630021272621\ 777776252248026343287*c_1001_11^13 + 411509367244475585441799605207533504183364788/824403977763002127262\ 1777776252248026343287*c_1001_11^12 + 1272799768053220596465916675352585484486519921/82440397776300212726\ 21777776252248026343287*c_1001_11^11 + 7064982605858071646626431336778898699764645549/82440397776300212726\ 21777776252248026343287*c_1001_11^10 + 16104570395255817296980925971279113078240481990/8244039777630021272\ 621777776252248026343287*c_1001_11^9 + 5591823036114993337145704484299502429995612556/82440397776300212726\ 21777776252248026343287*c_1001_11^8 - 7058556654211298932859025089641026427654412120/82440397776300212726\ 21777776252248026343287*c_1001_11^7 - 12181555937845899176213632630411107657334733827/8244039777630021272\ 621777776252248026343287*c_1001_11^6 - 2668343153909143023662079608079112633189717474/82440397776300212726\ 21777776252248026343287*c_1001_11^5 + 2529110484901088706602668587045481266693703945/82440397776300212726\ 21777776252248026343287*c_1001_11^4 + 2259287372449697610319179058607051090501587459/82440397776300212726\ 21777776252248026343287*c_1001_11^3 - 26581796084622729010078809132052354680508407/8244039777630021272621\ 777776252248026343287*c_1001_11^2 - 78809205967042288689305613768676504402065503/8244039777630021272621\ 777776252248026343287*c_1001_11 + 340294920702711658056471560034395\ 6159286178/8244039777630021272621777776252248026343287, c_0011_6 + 1064922121672945647241767353064984727599052/8244039777630021\ 272621777776252248026343287*c_1001_11^15 - 21142372732550058897572184322063180589720699/8244039777630021272621\ 777776252248026343287*c_1001_11^14 + 330232333563215696539473457126860803083381005/824403977763002127262\ 1777776252248026343287*c_1001_11^13 + 1759521735801739195312416935162414278511752754/82440397776300212726\ 21777776252248026343287*c_1001_11^12 + 5438735108207478395570064685122890732089199848/82440397776300212726\ 21777776252248026343287*c_1001_11^11 + 30209390868688386893723547268126600208545606564/8244039777630021272\ 621777776252248026343287*c_1001_11^10 + 68760141295352376677520142303935901248326701093/8244039777630021272\ 621777776252248026343287*c_1001_11^9 + 23552214642659423704707681352555641644064851065/8244039777630021272\ 621777776252248026343287*c_1001_11^8 - 30482020783644883116824413213296662480285330483/8244039777630021272\ 621777776252248026343287*c_1001_11^7 - 52418693691003739057235592908733444078744161839/8244039777630021272\ 621777776252248026343287*c_1001_11^6 - 11371346242582487572663187195144573592107799425/8244039777630021272\ 621777776252248026343287*c_1001_11^5 + 10897921979821106107895548534862935978676536036/8244039777630021272\ 621777776252248026343287*c_1001_11^4 + 9903309154200824243674784249752020455563776337/82440397776300212726\ 21777776252248026343287*c_1001_11^3 - 57038563868048934420134767668788185793821024/8244039777630021272621\ 777776252248026343287*c_1001_11^2 - 346392317912644841791790631002527123378345967/824403977763002127262\ 1777776252248026343287*c_1001_11 - 14036513498514461515007055876347660933011697/8244039777630021272621\ 777776252248026343287, c_0011_8 - 314466462167965279534537573315368125772218/82440397776300212\ 72621777776252248026343287*c_1001_11^15 + 6300381960976056394783343225362114110099573/82440397776300212726217\ 77776252248026343287*c_1001_11^14 - 98639820668619031530967498745820795854761340/8244039777630021272621\ 777776252248026343287*c_1001_11^13 - 502070819933480686769852026379746679325240542/824403977763002127262\ 1777776252248026343287*c_1001_11^12 - 1508321942311530819216604134135883497688516769/82440397776300212726\ 21777776252248026343287*c_1001_11^11 - 8611352178595853271800858031776254137535332966/82440397776300212726\ 21777776252248026343287*c_1001_11^10 - 18629051608839748325913299293400865325239695869/8244039777630021272\ 621777776252248026343287*c_1001_11^9 - 2962191537566190096828679449240580466358457503/82440397776300212726\ 21777776252248026343287*c_1001_11^8 + 10955119809531646231078099014471946476863318176/8244039777630021272\ 621777776252248026343287*c_1001_11^7 + 14108658389089189595850117577808072803641118170/8244039777630021272\ 621777776252248026343287*c_1001_11^6 + 315030980812655045913527779770458008348620924/824403977763002127262\ 1777776252248026343287*c_1001_11^5 - 4327862705826033666460501191217978054532588049/82440397776300212726\ 21777776252248026343287*c_1001_11^4 - 2447271552445437984337222826864876528872009403/82440397776300212726\ 21777776252248026343287*c_1001_11^3 + 622130561790577760820362009726674096200576050/824403977763002127262\ 1777776252248026343287*c_1001_11^2 + 187139570918998148496430300799104513345053432/824403977763002127262\ 1777776252248026343287*c_1001_11 - 17966968442566185945106044066769274854942977/8244039777630021272621\ 777776252248026343287, c_0101_0 + 2737512252967993634845165951988746735974295/8244039777630021\ 272621777776252248026343287*c_1001_11^15 - 54321717741982671840543814322534639459327445/8244039777630021272621\ 777776252248026343287*c_1001_11^14 + 848364432673653223237401753726518728399835650/824403977763002127262\ 1777776252248026343287*c_1001_11^13 + 4531452738275918942130561534477778511478122065/82440397776300212726\ 21777776252248026343287*c_1001_11^12 + 14027454026323636459356643454178885409660497429/8244039777630021272\ 621777776252248026343287*c_1001_11^11 + 77804714265955553640318523546672765611072424323/8244039777630021272\ 621777776252248026343287*c_1001_11^10 + 177558300287111011385280111398068611035560588928/824403977763002127\ 2621777776252248026343287*c_1001_11^9 + 62448788491734246385426355654023129980033622297/8244039777630021272\ 621777776252248026343287*c_1001_11^8 - 77395098213545314612907073716871269141015111493/8244039777630021272\ 621777776252248026343287*c_1001_11^7 - 135287439303445601107404105108097405489555820223/824403977763002127\ 2621777776252248026343287*c_1001_11^6 - 30609734781940275520006141381824001794985798089/8244039777630021272\ 621777776252248026343287*c_1001_11^5 + 27602693605878977791260674224964788666488838578/8244039777630021272\ 621777776252248026343287*c_1001_11^4 + 25652402847674781069925736791241531882820075058/8244039777630021272\ 621777776252248026343287*c_1001_11^3 + 120534254119362690817223543690185533907922641/824403977763002127262\ 1777776252248026343287*c_1001_11^2 - 897214412852921335803799029597832167501719889/824403977763002127262\ 1777776252248026343287*c_1001_11 - 63558309470814690230007854280380230857387541/8244039777630021272621\ 777776252248026343287, c_0101_1 - 3376251180978432387954829232797883733913209/8244039777630021\ 272621777776252248026343287*c_1001_11^15 + 66831072497803358056011843199997900751561888/8244039777630021272621\ 777776252248026343287*c_1001_11^14 - 1042999116638210686034187814776800852841352092/82440397776300212726\ 21777776252248026343287*c_1001_11^13 - 5640635620774156780512845730536708399865203705/82440397776300212726\ 21777776252248026343287*c_1001_11^12 - 17564950596104987986830790337103861264682990411/8244039777630021272\ 621777776252248026343287*c_1001_11^11 - 96758535281805485006636602721529496066577623619/8244039777630021272\ 621777776252248026343287*c_1001_11^10 - 223545180645506010055949307328103045033138981199/824403977763002127\ 2621777776252248026343287*c_1001_11^9 - 86927923406568720603102015307512766189620313450/8244039777630021272\ 621777776252248026343287*c_1001_11^8 + 93473432137097693629152166878455224144372712148/8244039777630021272\ 621777776252248026343287*c_1001_11^7 + 171866655703054725121356778780092386336277398874/824403977763002127\ 2621777776252248026343287*c_1001_11^6 + 44946834388918886357722018437518352202723487303/8244039777630021272\ 621777776252248026343287*c_1001_11^5 - 33450176970029308227733461116881288970938276656/8244039777630021272\ 621777776252248026343287*c_1001_11^4 - 33374217623671443511112665001989257405384770744/8244039777630021272\ 621777776252248026343287*c_1001_11^3 - 1347837498259780886907767510312131833514151979/82440397776300212726\ 21777776252248026343287*c_1001_11^2 + 1293370107894165828664970216596088053251299721/82440397776300212726\ 21777776252248026343287*c_1001_11 + 81396696887627404347478478330440596726503368/8244039777630021272621\ 777776252248026343287, c_0101_2 - 816119850346941542564890347747465772493170/82440397776300212\ 72621777776252248026343287*c_1001_11^15 + 16204140321249308929413874603023391619893858/8244039777630021272621\ 777776252248026343287*c_1001_11^14 - 253105782359823301174288147952747953014580545/824403977763002127262\ 1777776252248026343287*c_1001_11^13 - 1348012368557263609870617329954880774328387966/82440397776300212726\ 21777776252248026343287*c_1001_11^12 - 4165935340154257799104148009770305247602679927/82440397776300212726\ 21777776252248026343287*c_1001_11^11 - 23144408262830315247097115931347701508780961015/8244039777630021272\ 621777776252248026343287*c_1001_11^10 - 52655570900096559380539216332656788170086219103/8244039777630021272\ 621777776252248026343287*c_1001_11^9 - 17960391606544430367561976868256139214069238509/8244039777630021272\ 621777776252248026343287*c_1001_11^8 + 23423464129433584183965388123655636052630918363/8244039777630021272\ 621777776252248026343287*c_1001_11^7 + 40237137753157839881021960278322336421409428012/8244039777630021272\ 621777776252248026343287*c_1001_11^6 + 8703003088673344549001107587065460958918081951/82440397776300212726\ 21777776252248026343287*c_1001_11^5 - 8368811494920017401292879947817454711982832091/82440397776300212726\ 21777776252248026343287*c_1001_11^4 - 7644021781751126633355605191144969365062188878/82440397776300212726\ 21777776252248026343287*c_1001_11^3 + 30456767783426205410055958536735831113312617/8244039777630021272621\ 777776252248026343287*c_1001_11^2 + 267583111945602553102485017233850618976280464/824403977763002127262\ 1777776252248026343287*c_1001_11 + 25683502483171599368193549252943865118641162/8244039777630021272621\ 777776252248026343287, c_0101_3 + 3016271542747326354869183075578632304088/8244039777630021272\ 621777776252248026343287*c_1001_11^15 - 64754505758217280441888937630404510761681/8244039777630021272621777\ 776252248026343287*c_1001_11^14 + 102866156190389244317532199826156\ 4955263423/8244039777630021272621777776252248026343287*c_1001_11^13 + 3541761547523494267887246125831399765518479/824403977763002127262\ 1777776252248026343287*c_1001_11^12 + 6279172292157674989069677703983719546758704/82440397776300212726217\ 77776252248026343287*c_1001_11^11 + 55468493364276862581229236518947785372960986/8244039777630021272621\ 777776252248026343287*c_1001_11^10 + 41591021564873110942442463903001225458274770/8244039777630021272621\ 777776252248026343287*c_1001_11^9 - 336455021666739599227144409256449738444847607/824403977763002127262\ 1777776252248026343287*c_1001_11^8 - 373306828972494853492041871492467383698890794/824403977763002127262\ 1777776252248026343287*c_1001_11^7 + 18067725803369862791505728366257699912365518/8244039777630021272621\ 777776252248026343287*c_1001_11^6 + 372545630294360912124861143552465754859380568/824403977763002127262\ 1777776252248026343287*c_1001_11^5 + 231547813123569572572434574113204004952001834/824403977763002127262\ 1777776252248026343287*c_1001_11^4 - 25209693283693253037293502783276730758637976/8244039777630021272621\ 777776252248026343287*c_1001_11^3 - 100970934524520605096559300872163021755198858/824403977763002127262\ 1777776252248026343287*c_1001_11^2 - 30680173216251354109198454213825820771586655/8244039777630021272621\ 777776252248026343287*c_1001_11 + 333260247690306126362134928845390\ 4580646887/8244039777630021272621777776252248026343287, c_0101_5 + 1546131886740722447436503385271914559096057/8244039777630021\ 272621777776252248026343287*c_1001_11^15 - 30603447421304561516488815846593105866464277/8244039777630021272621\ 777776252248026343287*c_1001_11^14 + 477598105298773250821189888405435483071823358/824403977763002127262\ 1777776252248026343287*c_1001_11^13 + 2583699438983934028566679006729632661445940632/82440397776300212726\ 21777776252248026343287*c_1001_11^12 + 8043346694518322769168297966431354309075228590/82440397776300212726\ 21777776252248026343287*c_1001_11^11 + 44303408936577479158975246181452420639082342929/8244039777630021272\ 621777776252248026343287*c_1001_11^10 + 102369668880373731682715786099398299756617214337/824403977763002127\ 2621777776252248026343287*c_1001_11^9 + 39662388236837469429458662215591627928913928962/8244039777630021272\ 621777776252248026343287*c_1001_11^8 - 43279948331151191307416662849996109044838155540/8244039777630021272\ 621777776252248026343287*c_1001_11^7 - 78823543505764921727314422821269771663798628651/8244039777630021272\ 621777776252248026343287*c_1001_11^6 - 20389747557437703945215654208284630533712283405/8244039777630021272\ 621777776252248026343287*c_1001_11^5 + 15673712750895796721925895861378067272000606421/8244039777630021272\ 621777776252248026343287*c_1001_11^4 + 15335425497726024443218060596967875388769871371/8244039777630021272\ 621777776252248026343287*c_1001_11^3 + 550892111189676201430383048643592137935038537/824403977763002127262\ 1777776252248026343287*c_1001_11^2 - 653588928767519589063580452677548381227373133/824403977763002127262\ 1777776252248026343287*c_1001_11 - 35072851616478067397659734514711466976132695/8244039777630021272621\ 777776252248026343287, c_1001_0 - 1, c_1001_11^16 - 20*c_1001_11^15 + 313*c_1001_11^14 + 1607*c_1001_11^13 + 4862*c_1001_11^12 + 27604*c_1001_11^11 + 60365*c_1001_11^10 + 12391*c_1001_11^9 - 32428*c_1001_11^8 - 45118*c_1001_11^7 - 3159*c_1001_11^6 + 12238*c_1001_11^5 + 7823*c_1001_11^4 - 1523*c_1001_11^3 - 398*c_1001_11^2 + 43*c_1001_11 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB