Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 3583226365] Type ? for help. Type -D to quit. Loading file "K10a23__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a23 geometric_solution 10.39449679 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 0132 1230 0132 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 -1 0 1 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.012093822379 0.848436922065 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 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.419730569479 0.486439101507 6 3 3 0 0132 1023 0213 0132 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 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.858952584233 0.677581277965 2 2 0 7 1023 0213 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 -1 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282361807915 0.566105990290 8 1 9 10 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 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.401685276873 0.502018967692 6 9 1 7 2103 3201 0132 3120 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 -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.621844234318 1.093734915357 2 10 5 10 0132 0321 2103 3120 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 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.453371162877 0.526923469291 5 8 3 8 3120 0321 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229561438471 0.762885040601 4 10 7 7 0132 2103 0132 0321 0 0 0 0 0 0 0 0 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 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.655374933488 0.648949517468 9 9 5 4 1302 2031 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272318178116 0.999802013256 6 8 4 6 3120 2103 0132 0321 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.061719736039 1.090501408859 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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' : d['c_0011_5'], 'c_1100_8' : d['c_1001_7'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_1001_7'], 'c_1100_10' : d['c_0011_5'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_9'], 'c_1010_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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_7']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_9']), 'c_0101_8' : d['c_0101_10'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_5, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 418488968168943696153874519013/7358770656063343698731246048*c_1001_\ 7^23 + 59887834590442013531625675441/668979150551213063521022368*c_\ 1001_7^22 + 361992791937766423953668508451/367938532803167184936562\ 3024*c_1001_7^21 + 3184875544630210102444033257717/7358770656063343\ 698731246048*c_1001_7^20 - 2890266636582493982416239334331/36793853\ 28031671849365623024*c_1001_7^19 + 812152899961996422475544699877/1839692664015835924682811512*c_1001_\ 7^18 - 20374827614619241862705526006365/735877065606334369873124604\ 8*c_1001_7^17 + 1786376713102526541902563238299/7358770656063343698\ 731246048*c_1001_7^16 - 5470876259689074673172045940091/18396926640\ 15835924682811512*c_1001_7^15 - 17761930946936080246198057920755/73\ 58770656063343698731246048*c_1001_7^14 - 9003700395230938692453093800475/1839692664015835924682811512*c_1001\ _7^13 - 4350155690301956190945612111/193651859370087992071874896*c_\ 1001_7^12 - 24072123150134165680311706025823/7358770656063343698731\ 246048*c_1001_7^11 + 5169158195252402665741891761505/36793853280316\ 71849365623024*c_1001_7^10 - 7601792753028137572981384180375/367938\ 5328031671849365623024*c_1001_7^9 - 232111924695594931300431391853/96825929685043996035937448*c_1001_7^\ 8 - 22417199615203038984957563502717/7358770656063343698731246048*c\ _1001_7^7 + 6336576686986633316792240348685/73587706560633436987312\ 46048*c_1001_7^6 - 3777851991503732196071491547827/7358770656063343\ 698731246048*c_1001_7^5 + 2807116536185406891055717782635/367938532\ 8031671849365623024*c_1001_7^4 + 1053189861331796728901173546633/73\ 58770656063343698731246048*c_1001_7^3 - 290527904630505019310522820825/919846332007917962341405756*c_1001_7\ ^2 - 158368811182983351323677376241/919846332007917962341405756*c_1\ 001_7 + 679666906804778940609297313703/7358770656063343698731246048\ , c_0011_0 - 1, c_0011_10 - 806386946065070683695/451400042004597854144*c_1001_7^23 + 1148277803101824122237/451400042004597854144*c_1001_7^22 + 753091571103551128593/225700021002298927072*c_1001_7^21 + 6472264190151078509639/451400042004597854144*c_1001_7^20 - 5040833565960789884683/225700021002298927072*c_1001_7^19 + 647241187500454818409/56425005250574731768*c_1001_7^18 - 39404724720053755979715/451400042004597854144*c_1001_7^17 - 1767828336184922144775/451400042004597854144*c_1001_7^16 - 709882975420436670419/7053125656321841471*c_1001_7^15 - 40382913771881388198077/451400042004597854144*c_1001_7^14 - 19707079590455854589215/112850010501149463536*c_1001_7^13 - 383180808181023164657/11878948473805206688*c_1001_7^12 - 53485362060864317598605/451400042004597854144*c_1001_7^11 + 6271530886004229640445/225700021002298927072*c_1001_7^10 - 15812745175966426602643/225700021002298927072*c_1001_7^9 - 30952729825559915654/371217139806412709*c_1001_7^8 - 51013509130367245688139/451400042004597854144*c_1001_7^7 + 3077595944360941516567/451400042004597854144*c_1001_7^6 - 10242608438619226523605/451400042004597854144*c_1001_7^5 + 5251446343822798144465/225700021002298927072*c_1001_7^4 + 2671605506191453636499/451400042004597854144*c_1001_7^3 - 949897435914287784099/112850010501149463536*c_1001_7^2 - 753637982851951949645/112850010501149463536*c_1001_7 + 1102955967984842830401/451400042004597854144, c_0011_2 - 23140373746353948451/56425005250574731768*c_1001_7^23 + 20575064833312995409/28212502625287365884*c_1001_7^22 + 17615279206585727875/28212502625287365884*c_1001_7^21 + 165249615340468330761/56425005250574731768*c_1001_7^20 - 361777063023555874109/56425005250574731768*c_1001_7^19 + 221406190349370991337/56425005250574731768*c_1001_7^18 - 142431960706004127949/7053125656321841471*c_1001_7^17 + 325490460026363464203/56425005250574731768*c_1001_7^16 - 1109235852439396094189/56425005250574731768*c_1001_7^15 - 170023098642536587215/14106251312643682942*c_1001_7^14 - 822555430574759014915/28212502625287365884*c_1001_7^13 + 4113251378109442946/371217139806412709*c_1001_7^12 - 1040355326924347016949/56425005250574731768*c_1001_7^11 + 1118775754092096277721/56425005250574731768*c_1001_7^10 - 801047377626273077227/56425005250574731768*c_1001_7^9 - 34106008367454718163/2969737118451301672*c_1001_7^8 - 449518693527917648911/28212502625287365884*c_1001_7^7 + 903440324735612506127/56425005250574731768*c_1001_7^6 - 39672884097834767659/28212502625287365884*c_1001_7^5 + 250532397472756499925/28212502625287365884*c_1001_7^4 + 1447456915885459209/56425005250574731768*c_1001_7^3 - 101665840806687518747/56425005250574731768*c_1001_7^2 - 53123467495758897945/56425005250574731768*c_1001_7 + 52389672660902665295/28212502625287365884, c_0011_5 + 233943119212081888889/225700021002298927072*c_1001_7^23 - 389244519776003919027/225700021002298927072*c_1001_7^22 - 166312668406695674039/112850010501149463536*c_1001_7^21 - 1825646145220858134225/225700021002298927072*c_1001_7^20 + 1683674083374618227841/112850010501149463536*c_1001_7^19 - 148230219804141655147/14106251312643682942*c_1001_7^18 + 12194825955027054402941/225700021002298927072*c_1001_7^17 - 2716468630406282955695/225700021002298927072*c_1001_7^16 + 1804157385042689345663/28212502625287365884*c_1001_7^15 + 7850872673571234166051/225700021002298927072*c_1001_7^14 + 5446601867875083062805/56425005250574731768*c_1001_7^13 - 9570499846167489425/5939474236902603344*c_1001_7^12 + 16345941767001675758923/225700021002298927072*c_1001_7^11 - 3604080758551088151279/112850010501149463536*c_1001_7^10 + 6394394477511958052465/112850010501149463536*c_1001_7^9 + 54659615896574910309/1484868559225650836*c_1001_7^8 + 13979167723597292963365/225700021002298927072*c_1001_7^7 - 3437014933741037110673/225700021002298927072*c_1001_7^6 + 3774288984385820151163/225700021002298927072*c_1001_7^5 - 1846315047371452395911/112850010501149463536*c_1001_7^4 + 881892096869872612763/225700021002298927072*c_1001_7^3 + 297727946112679737311/56425005250574731768*c_1001_7^2 + 168013996966221369937/56425005250574731768*c_1001_7 - 301934789036143689295/225700021002298927072, c_0011_7 + 276459935291036985101/451400042004597854144*c_1001_7^23 - 348651928374120137943/451400042004597854144*c_1001_7^22 - 285000599712006005907/225700021002298927072*c_1001_7^21 - 2354104511199131184405/451400042004597854144*c_1001_7^20 + 1573883359136700525873/225700021002298927072*c_1001_7^19 - 156430570264911567151/56425005250574731768*c_1001_7^18 + 13596528550776563455401/451400042004597854144*c_1001_7^17 + 2095914172756786238229/451400042004597854144*c_1001_7^16 + 519367328214761276255/14106251312643682942*c_1001_7^15 + 14582647518117845138071/451400042004597854144*c_1001_7^14 + 7706628179908028705293/112850010501149463536*c_1001_7^13 + 215023839452328349555/11878948473805206688*c_1001_7^12 + 19696320082404140501799/451400042004597854144*c_1001_7^11 - 1590386330597226800391/225700021002298927072*c_1001_7^10 + 6367750297952627082089/225700021002298927072*c_1001_7^9 + 22582322436591983573/742434279612825418*c_1001_7^8 + 22268394135889344298049/451400042004597854144*c_1001_7^7 + 946382539483748855483/451400042004597854144*c_1001_7^6 + 3671192900423561540447/451400042004597854144*c_1001_7^5 - 1896504014616002991507/225700021002298927072*c_1001_7^4 - 35221101218127366073/451400042004597854144*c_1001_7^3 + 289489612568516298625/112850010501149463536*c_1001_7^2 + 393819157142210590319/112850010501149463536*c_1001_7 - 453172813905202141091/451400042004597854144, c_0011_9 + 465940905974405904119/225700021002298927072*c_1001_7^23 - 724962484234310092169/225700021002298927072*c_1001_7^22 - 414305822495369164049/112850010501149463536*c_1001_7^21 - 3559960485132685038695/225700021002298927072*c_1001_7^20 + 3188853658686305704537/112850010501149463536*c_1001_7^19 - 837802728332715683191/56425005250574731768*c_1001_7^18 + 22637657265679869657343/225700021002298927072*c_1001_7^17 - 1476593374645629597257/225700021002298927072*c_1001_7^16 + 5882592449102958607457/56425005250574731768*c_1001_7^15 + 19985737428966921670161/225700021002298927072*c_1001_7^14 + 9632692316798438245769/56425005250574731768*c_1001_7^13 + 2929533168996407973/5939474236902603344*c_1001_7^12 + 23606301928504195863797/225700021002298927072*c_1001_7^11 - 6745688651090900346155/112850010501149463536*c_1001_7^10 + 6709173005233700660669/112850010501149463536*c_1001_7^9 + 258000433690893510335/2969737118451301672*c_1001_7^8 + 22716265820763221719679/225700021002298927072*c_1001_7^7 - 7503278818919300377487/225700021002298927072*c_1001_7^6 + 2133067892411223339089/225700021002298927072*c_1001_7^5 - 3864744678261012972137/112850010501149463536*c_1001_7^4 - 2909820469434510500707/225700021002298927072*c_1001_7^3 + 377491327208657065515/28212502625287365884*c_1001_7^2 + 158274948900035983927/28212502625287365884*c_1001_7 - 825063623721827920173/225700021002298927072, c_0101_0 + 377916724818487818877/451400042004597854144*c_1001_7^23 - 644671632252076045271/451400042004597854144*c_1001_7^22 - 339225990270620635171/225700021002298927072*c_1001_7^21 - 2677212238938952663141/451400042004597854144*c_1001_7^20 + 2904406758926607955945/225700021002298927072*c_1001_7^19 - 334053093164791066373/56425005250574731768*c_1001_7^18 + 17807852995866085209481/451400042004597854144*c_1001_7^17 - 3593016126299633036699/451400042004597854144*c_1001_7^16 + 917373538065146754205/28212502625287365884*c_1001_7^15 + 11937846356936003845623/451400042004597854144*c_1001_7^14 + 5755791128020166522245/112850010501149463536*c_1001_7^13 - 284770279312111171245/11878948473805206688*c_1001_7^12 + 8510140595453315929655/451400042004597854144*c_1001_7^11 - 9308205233084440136351/225700021002298927072*c_1001_7^10 + 3020324877228985569009/225700021002298927072*c_1001_7^9 + 45047520790713221515/1484868559225650836*c_1001_7^8 + 13590931277105884560129/451400042004597854144*c_1001_7^7 - 14045349014313512441333/451400042004597854144*c_1001_7^6 - 3668457088545515576865/451400042004597854144*c_1001_7^5 - 4060633727473378636227/225700021002298927072*c_1001_7^4 - 2352954697074128759881/451400042004597854144*c_1001_7^3 + 871850836129452649301/112850010501149463536*c_1001_7^2 + 392284857082176227563/112850010501149463536*c_1001_7 - 1177506927472519891235/451400042004597854144, c_0101_1 - 274522772899731135041/451400042004597854144*c_1001_7^23 + 542366545499549497395/451400042004597854144*c_1001_7^22 + 169328430310442597343/225700021002298927072*c_1001_7^21 + 1877378242832770905705/451400042004597854144*c_1001_7^20 - 2368816311566746890677/225700021002298927072*c_1001_7^19 + 409058144432636910315/56425005250574731768*c_1001_7^18 - 14010815479253198666637/451400042004597854144*c_1001_7^17 + 6669053347648672762839/451400042004597854144*c_1001_7^16 - 407862957404291173321/14106251312643682942*c_1001_7^15 - 4459332724411496780403/451400042004597854144*c_1001_7^14 - 4102576694811571385809/112850010501149463536*c_1001_7^13 + 336489913641721692161/11878948473805206688*c_1001_7^12 - 10293528912837803707843/451400042004597854144*c_1001_7^11 + 8716431110094349057891/225700021002298927072*c_1001_7^10 - 4854282404059857869677/225700021002298927072*c_1001_7^9 - 10177790756619489045/742434279612825418*c_1001_7^8 - 8270182277625108143877/451400042004597854144*c_1001_7^7 + 13240320196845025239961/451400042004597854144*c_1001_7^6 - 302040363936556028827/451400042004597854144*c_1001_7^5 + 3687453055500756744671/225700021002298927072*c_1001_7^4 - 401239256835926721251/451400042004597854144*c_1001_7^3 - 518208000111001643013/112850010501149463536*c_1001_7^2 - 122015535975498033035/112850010501149463536*c_1001_7 + 1113815654567588447279/451400042004597854144, c_0101_10 - 67776805486582891845/56425005250574731768*c_1001_7^23 + 11795535066604610768/7053125656321841471*c_1001_7^22 + 62935194677552681697/28212502625287365884*c_1001_7^21 + 557740256659580642435/56425005250574731768*c_1001_7^20 - 830703824850387632801/56425005250574731768*c_1001_7^19 + 431477757731878575457/56425005250574731768*c_1001_7^18 - 1687288320934267589337/28212502625287365884*c_1001_7^17 - 163620721322058902335/56425005250574731768*c_1001_7^16 - 4046164398472679279381/56425005250574731768*c_1001_7^15 - 1663492351288017549385/28212502625287365884*c_1001_7^14 - 3488130847441173916539/28212502625287365884*c_1001_7^13 - 19154805663886865063/742434279612825418*c_1001_7^12 - 4698362831340771250427/56425005250574731768*c_1001_7^11 + 1079347505169925152525/56425005250574731768*c_1001_7^10 - 2926209756320257954527/56425005250574731768*c_1001_7^9 - 159881018015221461107/2969737118451301672*c_1001_7^8 - 580621407736288350512/7053125656321841471*c_1001_7^7 + 58054265220480367265/56425005250574731768*c_1001_7^6 - 222686331722964894307/14106251312643682942*c_1001_7^5 + 490068123680150097815/28212502625287365884*c_1001_7^4 + 174165579170204717691/56425005250574731768*c_1001_7^3 - 224075231261447132747/56425005250574731768*c_1001_7^2 - 268896918845414356865/56425005250574731768*c_1001_7 + 17262181108668533853/14106251312643682942, c_0101_7 + 51167916412671008159/225700021002298927072*c_1001_7^23 - 91454815597341993793/225700021002298927072*c_1001_7^22 - 47426395095388474233/112850010501149463536*c_1001_7^21 - 345666800835709248271/225700021002298927072*c_1001_7^20 + 419829918519690382001/112850010501149463536*c_1001_7^19 - 82213547044916760455/56425005250574731768*c_1001_7^18 + 2351640676447742512839/225700021002298927072*c_1001_7^17 - 661541464273388324033/225700021002298927072*c_1001_7^16 + 379374429108850296329/56425005250574731768*c_1001_7^15 + 1262040795822042402121/225700021002298927072*c_1001_7^14 + 554790951589623514721/56425005250574731768*c_1001_7^13 - 61854476001886954275/5939474236902603344*c_1001_7^12 - 257695386762118173331/225700021002298927072*c_1001_7^11 - 1633117817990367978611/112850010501149463536*c_1001_7^10 + 48274889566579324741/112850010501149463536*c_1001_7^9 + 21244456193720377319/2969737118451301672*c_1001_7^8 + 1195227382593978843431/225700021002298927072*c_1001_7^7 - 2601160041869344655255/225700021002298927072*c_1001_7^6 - 1308057772731007415991/225700021002298927072*c_1001_7^5 - 638126181362046692529/112850010501149463536*c_1001_7^4 - 182235702801224141067/225700021002298927072*c_1001_7^3 + 71594886775173724023/28212502625287365884*c_1001_7^2 + 19352134646137405511/28212502625287365884*c_1001_7 - 206919327714501716069/225700021002298927072, c_1001_7^24 - 2*c_1001_7^23 - c_1001_7^22 - 7*c_1001_7^21 + 17*c_1001_7^20 - 14*c_1001_7^19 + 53*c_1001_7^18 - 26*c_1001_7^17 + 57*c_1001_7^16 + 19*c_1001_7^15 + 71*c_1001_7^14 - 34*c_1001_7^13 + 61*c_1001_7^12 - 51*c_1001_7^11 + 52*c_1001_7^10 + 26*c_1001_7^9 + 37*c_1001_7^8 - 36*c_1001_7^7 + 18*c_1001_7^6 - 19*c_1001_7^5 + 5*c_1001_7^4 + 7*c_1001_7^3 - 3*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.320 seconds, Total memory usage: 32.09MB