Magma V2.19-8 Tue Aug 20 2013 17:58:00 on localhost [Seed = 3052667391] Type ? for help. Type -D to quit. Loading file "10_166__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_166 geometric_solution 11.60308465 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -1 0 1 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.681037466504 0.737263416674 0 5 6 2 0132 0132 0132 3012 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 -1 0 1 -1 0 0 1 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.311146847676 0.975593639524 7 0 1 8 0132 0132 1230 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 -1 0 1 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 1.306485239690 1.461313078687 9 6 5 0 0132 1230 1230 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 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323944639877 0.731869991271 8 10 0 9 3012 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 -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.427032696393 1.081300927013 11 1 10 3 0132 0132 2031 3012 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 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.834313277071 0.762203929504 8 11 3 1 1023 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441820247791 0.470318814473 2 8 12 10 0132 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511726708366 0.921845608309 7 6 2 4 1023 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380817451971 0.372214592634 3 12 4 11 0132 1023 0132 1302 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 -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 0 0 0 0 0.301689447388 0.806569024362 7 4 12 5 3120 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.377618449413 0.542992805189 5 6 9 12 0132 0132 2031 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634458577080 0.417748504344 9 11 10 7 1023 1302 0321 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 0 0 0 -1 0 0 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.093223453341 0.705903200674 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_3']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : d['c_0101_5'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0101_6'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : negation(d['c_0101_10']), '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' : 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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : d['c_0101_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : d['c_0101_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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_0101_10']), 's_1_7' : negation(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_12'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_7'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], '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_7'], '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' : d['c_0101_3'], '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_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['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_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_0101_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 399717540476537015/11254172259993*c_1001_2^11 - 558687929875105291/48768079793303*c_1001_2^10 - 3764770720742196452/146304239379909*c_1001_2^9 - 21326959730397842600/146304239379909*c_1001_2^8 - 8669751158422218431/146304239379909*c_1001_2^7 + 831451508185803066/48768079793303*c_1001_2^6 - 454631177940602204/11254172259993*c_1001_2^5 + 4726664047703706470/146304239379909*c_1001_2^4 - 1149488570705051821/48768079793303*c_1001_2^3 - 365270306681581583/48768079793303*c_1001_2^2 - 931066686120847709/146304239379909*c_1001_2 - 332540748204926944/146304239379909, c_0011_0 - 1, c_0011_10 + 8460412805/432636461*c_1001_2^11 + 4094579002/432636461*c_1001_2^10 + 5725529854/432636461*c_1001_2^9 + 37691533222/432636461*c_1001_2^8 + 19096925420/432636461*c_1001_2^7 - 4088974022/432636461*c_1001_2^6 + 16232758733/432636461*c_1001_2^5 - 5109766197/432636461*c_1001_2^4 + 153038912/432636461*c_1001_2^3 + 6057709292/432636461*c_1001_2^2 - 1204423540/432636461*c_1001_2 + 2172293165/432636461, c_0011_12 + 1222018304/432636461*c_1001_2^11 - 279307952/432636461*c_1001_2^10 + 682441678/432636461*c_1001_2^9 + 4628194795/432636461*c_1001_2^8 - 581839503/432636461*c_1001_2^7 - 1639906720/432636461*c_1001_2^6 + 2093064493/432636461*c_1001_2^5 - 1304507787/432636461*c_1001_2^4 + 1264340193/432636461*c_1001_2^3 - 880522311/432636461*c_1001_2^2 + 206449580/432636461*c_1001_2 - 289284944/432636461, c_0101_0 - 3325395957/432636461*c_1001_2^11 - 1443275479/432636461*c_1001_2^10 - 2706052342/432636461*c_1001_2^9 - 14798288148/432636461*c_1001_2^8 - 7273423255/432636461*c_1001_2^7 - 303273315/432636461*c_1001_2^6 - 7124761700/432636461*c_1001_2^5 + 2090628867/432636461*c_1001_2^4 - 1390935654/432636461*c_1001_2^3 - 1984104019/432636461*c_1001_2^2 + 105896167/432636461*c_1001_2 - 1101545372/432636461, c_0101_1 + 1863569721/432636461*c_1001_2^11 - 1508721338/432636461*c_1001_2^10 + 2286229190/432636461*c_1001_2^9 + 6341782655/432636461*c_1001_2^8 - 4484843278/432636461*c_1001_2^7 + 1872003156/432636461*c_1001_2^6 + 4650288577/432636461*c_1001_2^5 - 5390149384/432636461*c_1001_2^4 + 4601592678/432636461*c_1001_2^3 - 2697855363/432636461*c_1001_2^2 + 1594697986/432636461*c_1001_2 - 349801097/432636461, c_0101_10 + 2755367641/432636461*c_1001_2^11 - 3860325470/432636461*c_1001_2^10 + 2358015861/432636461*c_1001_2^9 + 7989700875/432636461*c_1001_2^8 - 13489629748/432636461*c_1001_2^7 - 1802141393/432636461*c_1001_2^6 + 6823334575/432636461*c_1001_2^5 - 8844272389/432636461*c_1001_2^4 + 8602111172/432636461*c_1001_2^3 - 4473739478/432636461*c_1001_2^2 + 1825899074/432636461*c_1001_2 - 766102017/432636461, c_0101_11 - 1897134551/432636461*c_1001_2^11 - 2152169754/432636461*c_1001_2^10 - 1484452074/432636461*c_1001_2^9 - 8515621279/432636461*c_1001_2^8 - 9402323017/432636461*c_1001_2^7 - 149721837/432636461*c_1001_2^6 + 215211473/432636461*c_1001_2^5 - 829660165/432636461*c_1001_2^4 - 747453247/432636461*c_1001_2^3 - 1069346116/432636461*c_1001_2^2 - 271695716/432636461*c_1001_2 - 266965733/432636461, c_0101_2 - 2298878036/432636461*c_1001_2^11 - 3315725592/432636461*c_1001_2^10 - 2485585190/432636461*c_1001_2^9 - 12457808895/432636461*c_1001_2^8 - 14358399795/432636461*c_1001_2^7 - 4023091295/432636461*c_1001_2^6 - 5854332130/432636461*c_1001_2^5 - 1225355945/432636461*c_1001_2^4 + 1390935654/432636461*c_1001_2^3 - 3640169974/432636461*c_1001_2^2 + 759376755/432636461*c_1001_2 - 1494273394/432636461, c_0101_3 + 3760704272/432636461*c_1001_2^11 + 643448416/432636461*c_1001_2^10 + 3770681264/432636461*c_1001_2^9 + 14857403934/432636461*c_1001_2^8 + 4917479739/432636461*c_1001_2^7 + 2021724993/432636461*c_1001_2^6 + 4435077104/432636461*c_1001_2^5 - 4560489219/432636461*c_1001_2^4 + 5349045925/432636461*c_1001_2^3 - 1628509247/432636461*c_1001_2^2 + 1866393702/432636461*c_1001_2 - 82835364/432636461, c_0101_5 - 1026517921/432636461*c_1001_2^11 + 1872450113/432636461*c_1001_2^10 - 220467152/432636461*c_1001_2^9 - 2340479253/432636461*c_1001_2^8 + 7084976540/432636461*c_1001_2^7 + 3719817980/432636461*c_1001_2^6 - 1270429570/432636461*c_1001_2^5 + 3315984812/432636461*c_1001_2^4 - 2781871308/432636461*c_1001_2^3 + 1656065955/432636461*c_1001_2^2 - 653480588/432636461*c_1001_2 + 392728022/432636461, c_0101_6 + 1222018304/432636461*c_1001_2^11 - 279307952/432636461*c_1001_2^10 + 682441678/432636461*c_1001_2^9 + 4628194795/432636461*c_1001_2^8 - 581839503/432636461*c_1001_2^7 - 1639906720/432636461*c_1001_2^6 + 2093064493/432636461*c_1001_2^5 - 1304507787/432636461*c_1001_2^4 + 1264340193/432636461*c_1001_2^3 - 880522311/432636461*c_1001_2^2 + 206449580/432636461*c_1001_2 + 143351517/432636461, c_0101_7 - 1726781836/432636461*c_1001_2^11 + 3395554318/432636461*c_1001_2^10 - 2009477890/432636461*c_1001_2^9 - 4264561412/432636461*c_1001_2^8 + 12377743234/432636461*c_1001_2^7 - 425178130/432636461*c_1001_2^6 - 4566054757/432636461*c_1001_2^5 + 9357202333/432636461*c_1001_2^4 - 7157181448/432636461*c_1001_2^3 + 4236760489/432636461*c_1001_2^2 - 1151983984/432636461*c_1001_2 + 473964213/432636461, c_1001_2^12 - 2/13*c_1001_2^11 + 14/13*c_1001_2^10 + 49/13*c_1001_2^9 + 1/13*c_1001_2^8 + 9/13*c_1001_2^7 + 21/13*c_1001_2^6 - 23/13*c_1001_2^5 + 23/13*c_1001_2^4 - 10/13*c_1001_2^3 + 8/13*c_1001_2^2 - 1/13*c_1001_2 + 1/13 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_0101_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 32598950992353/3160409113534400*c_1001_2^12 + 445714122779/185906418443200*c_1001_2^11 + 190540315147333/3160409113534400*c_1001_2^10 - 2517251552251/63208182270688*c_1001_2^9 - 5022004134917/22574350810960*c_1001_2^8 + 320690187976141/790102278383600*c_1001_2^7 - 275672224853003/790102278383600*c_1001_2^6 - 37845991101311/451487016219200*c_1001_2^5 + 345124407232303/395051139191800*c_1001_2^4 - 1336170638301931/790102278383600*c_1001_2^3 + 39342243436112/49381392398975*c_1001_2^2 - 77873374493179/197525569595900*c_1001_2 - 23528646149833/98762784797950, c_0011_0 - 1, c_0011_10 - 3509485/97855784*c_1001_2^12 - 10230937/195711568*c_1001_2^11 + 21576259/195711568*c_1001_2^10 + 33801107/195711568*c_1001_2^9 - 32935829/97855784*c_1001_2^8 + 8843233/24463946*c_1001_2^7 - 47916305/48927892*c_1001_2^6 - 18530897/97855784*c_1001_2^5 - 97236239/195711568*c_1001_2^4 - 33463225/24463946*c_1001_2^3 - 16100841/48927892*c_1001_2^2 - 20079264/12231973*c_1001_2 + 10768903/12231973, c_0011_12 - 191122/12231973*c_1001_2^12 - 2369475/97855784*c_1001_2^11 + 2486773/48927892*c_1001_2^10 + 6741063/97855784*c_1001_2^9 - 20290663/97855784*c_1001_2^8 + 14715403/97855784*c_1001_2^7 - 17475431/97855784*c_1001_2^6 - 24259917/97855784*c_1001_2^5 - 10703273/48927892*c_1001_2^4 - 8751164/12231973*c_1001_2^3 - 30981749/24463946*c_1001_2^2 - 8523542/12231973*c_1001_2 - 4907401/12231973, c_0101_0 - 273986/12231973*c_1001_2^12 - 3116219/97855784*c_1001_2^11 + 3994271/48927892*c_1001_2^10 + 11911213/97855784*c_1001_2^9 - 26457569/97855784*c_1001_2^8 + 15732997/97855784*c_1001_2^7 - 39832799/97855784*c_1001_2^6 - 16167765/97855784*c_1001_2^5 - 22074947/48927892*c_1001_2^4 - 20402167/24463946*c_1001_2^3 - 11386823/48927892*c_1001_2^2 - 8959880/12231973*c_1001_2 + 8547335/12231973, c_0101_1 + 1831143/195711568*c_1001_2^12 + 4889095/195711568*c_1001_2^11 - 754479/195711568*c_1001_2^10 - 6804689/97855784*c_1001_2^9 + 603663/24463946*c_1001_2^8 + 476297/12231973*c_1001_2^7 + 10038157/48927892*c_1001_2^6 + 11146003/195711568*c_1001_2^5 + 25863531/48927892*c_1001_2^4 + 8627033/12231973*c_1001_2^3 + 8751164/12231973*c_1001_2^2 + 28491519/24463946*c_1001_2 + 4861256/12231973, c_0101_10 + 22947/195711568*c_1001_2^12 - 378077/24463946*c_1001_2^11 - 3692259/97855784*c_1001_2^10 + 1339881/195711568*c_1001_2^9 + 10606095/97855784*c_1001_2^8 + 329072/12231973*c_1001_2^7 + 2249981/24463946*c_1001_2^6 - 122390673/195711568*c_1001_2^5 - 33352767/195711568*c_1001_2^4 - 8096505/12231973*c_1001_2^3 - 64304177/48927892*c_1001_2^2 - 11353769/12231973*c_1001_2 - 12887761/12231973, c_0101_11 - 3679805/195711568*c_1001_2^12 - 2063339/195711568*c_1001_2^11 + 15809353/195711568*c_1001_2^10 + 283250/12231973*c_1001_2^9 - 26135639/97855784*c_1001_2^8 + 39648569/97855784*c_1001_2^7 - 64738623/97855784*c_1001_2^6 + 32067489/195711568*c_1001_2^5 - 9678777/48927892*c_1001_2^4 - 45894955/48927892*c_1001_2^3 + 8591612/12231973*c_1001_2^2 - 28931953/24463946*c_1001_2 + 12673848/12231973, c_0101_2 + 276201/48927892*c_1001_2^12 - 1362573/97855784*c_1001_2^11 - 5520041/97855784*c_1001_2^10 + 3494001/97855784*c_1001_2^9 + 4898903/24463946*c_1001_2^8 - 12843681/48927892*c_1001_2^7 + 4050953/24463946*c_1001_2^6 - 23929779/48927892*c_1001_2^5 + 2570069/97855784*c_1001_2^4 - 6482144/12231973*c_1001_2^3 - 18439589/48927892*c_1001_2^2 - 3354898/12231973*c_1001_2 - 19898039/12231973, c_0101_3 - 3679805/195711568*c_1001_2^12 - 2063339/195711568*c_1001_2^11 + 15809353/195711568*c_1001_2^10 + 283250/12231973*c_1001_2^9 - 26135639/97855784*c_1001_2^8 + 39648569/97855784*c_1001_2^7 - 64738623/97855784*c_1001_2^6 + 32067489/195711568*c_1001_2^5 - 9678777/48927892*c_1001_2^4 - 45894955/48927892*c_1001_2^3 + 8591612/12231973*c_1001_2^2 - 28931953/24463946*c_1001_2 + 12673848/12231973, c_0101_5 + 132347/12231973*c_1001_2^12 - 185465/97855784*c_1001_2^11 - 8642201/97855784*c_1001_2^10 - 1902725/97855784*c_1001_2^9 + 7832987/24463946*c_1001_2^8 - 8995965/48927892*c_1001_2^7 + 547455/12231973*c_1001_2^6 - 195943/12231973*c_1001_2^5 - 95172505/97855784*c_1001_2^4 + 3182474/12231973*c_1001_2^3 - 4773049/48927892*c_1001_2^2 + 2305610/12231973*c_1001_2 - 15594201/12231973, c_0101_6 - 1, c_0101_7 - 709419/48927892*c_1001_2^12 + 27581/12231973*c_1001_2^11 + 4367653/48927892*c_1001_2^10 + 369175/97855784*c_1001_2^9 - 14796797/48927892*c_1001_2^8 + 32401041/97855784*c_1001_2^7 - 43961479/97855784*c_1001_2^6 + 42073881/97855784*c_1001_2^5 + 21462183/97855784*c_1001_2^4 - 32199751/97855784*c_1001_2^3 + 33366455/24463946*c_1001_2^2 - 9569453/12231973*c_1001_2 + 17990130/12231973, c_1001_2^13 + c_1001_2^12 - 3*c_1001_2^11 - 2*c_1001_2^10 + 10*c_1001_2^9 - 18*c_1001_2^8 + 38*c_1001_2^7 - 13*c_1001_2^6 + 30*c_1001_2^5 + 52*c_1001_2^4 + 96*c_1001_2^2 - 32*c_1001_2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.770 Total time: 4.980 seconds, Total memory usage: 122.22MB