Magma V2.19-8 Wed Aug 21 2013 00:01:41 on localhost [Seed = 2985809922] Type ? for help. Type -D to quit. Loading file "K13n1647__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1647 geometric_solution 11.43875979 oriented_manifold CS_known -0.0000000000000018 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 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.120012686374 0.541068827694 0 5 7 6 0132 0132 0132 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 -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.075049110561 0.949786087134 8 0 9 8 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424101853105 1.061359314270 6 4 7 0 3120 2031 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907462158499 1.525375169303 3 5 0 10 1302 0321 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 1 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 1.064972325987 0.810063507272 8 1 11 4 1023 0132 0132 0321 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 -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.711985461625 1.262836099868 8 12 1 3 2103 0132 0132 3120 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 -1 0 1 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.482155692769 1.054813362796 12 10 3 1 2031 0132 3120 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 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.394539252230 1.325518162993 2 5 6 2 0132 1023 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.424101853105 1.061359314270 12 10 11 2 0213 1023 3201 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 -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.221573763975 1.076827261171 9 7 4 11 1023 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433153843063 0.658574063089 9 12 10 5 2310 0321 1230 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 -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 1.006873061082 0.881984790524 9 6 7 11 0213 0132 1302 0321 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 -1 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 2.053616632957 0.571203153613 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_10'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_0110_10'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0101_10'], '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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0101_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0110_10'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : negation(d['c_0011_4']), '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_0101_7'], '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_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_12']), '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_0110_10'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], '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' : d['c_0011_11'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_0']})} 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_3, c_0011_4, c_0101_0, c_0101_10, c_0101_3, c_0101_7, c_0110_10, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 124427395358703408965950208722283500402452/310431618393296800721807\ 507064621409*c_1001_5^15 - 1072033957970007077877047088367338179537\ 9166/4035611039112858409383497591840078317*c_1001_5^14 + 49479289694453031941111887806267555860524388/4035611039112858409383\ 497591840078317*c_1001_5^13 - 5807482534794660389881750218760001733\ 86533/4035611039112858409383497591840078317*c_1001_5^12 + 50801192935260253996240774820749778391055026/4035611039112858409383\ 497591840078317*c_1001_5^11 - 6063867791829810169504277522453289585\ 31891/51409057823093737699152835564841762*c_1001_5^10 + 44117029090832125833017128741745751727845308/4035611039112858409383\ 497591840078317*c_1001_5^9 - 13163966323067703016038848997272374484\ 202389/8071222078225716818766995183680156634*c_1001_5^8 + 57113406549407899014226085727748726436371557/8071222078225716818766\ 995183680156634*c_1001_5^7 - 79301975997613432850077674391864820759\ 21375/4035611039112858409383497591840078317*c_1001_5^6 + 3043374355077389905375303187200011298557068/40356110391128584093834\ 97591840078317*c_1001_5^5 + 412838598835248787451715199831215193794\ 677/310431618393296800721807507064621409*c_1001_5^4 + 325320650452760974800708230773962356894179/807122207822571681876699\ 5183680156634*c_1001_5^3 - 2314945414229401558305374426031622956852\ 17/4035611039112858409383497591840078317*c_1001_5^2 + 275543814998572994761149547240619937627989/807122207822571681876699\ 5183680156634*c_1001_5 + 6232821413225018354603145784917366605231/8\ 071222078225716818766995183680156634, c_0011_0 - 1, c_0011_10 - 101383953974701583995661538/13640005240201291782987769*c_10\ 01_5^15 + 9400697281000076775955984548/177320068122616793178840997*\ c_1001_5^14 - 44398880340009968206304963975/17732006812261679317884\ 0997*c_1001_5^13 + 18654211127821033077210647212/177320068122616793\ 178840997*c_1001_5^12 - 63093701091653434017866474799/3546401362452\ 33586357681994*c_1001_5^11 + 118992378433629261386965371127/3546401\ 36245233586357681994*c_1001_5^10 - 45123852827636932815903467562/177320068122616793178840997*c_1001_5^\ 9 + 29312880081477268544834525327/354640136245233586357681994*c_100\ 1_5^8 - 35366288638180437545086470015/354640136245233586357681994*c\ _1001_5^7 + 17154977360664554846008625791/1773200681226167931788409\ 97*c_1001_5^6 + 408078110054461401165250381/35464013624523358635768\ 1994*c_1001_5^5 - 354162805641089469361401597/136400052402012917829\ 87769*c_1001_5^4 + 2757012445672308206957086081/1773200681226167931\ 78840997*c_1001_5^3 + 825427844979023876782995366/17732006812261679\ 3178840997*c_1001_5^2 + 275195480805036787253433065/177320068122616\ 793178840997*c_1001_5 - 294449001766466286643633101/354640136245233\ 586357681994, c_0011_11 - 38593909036053800/8082746212780669*c_1001_5^15 + 246318367066472082/8082746212780669*c_1001_5^14 - 1119477136677303286/8082746212780669*c_1001_5^13 - 262178513490571289/8082746212780669*c_1001_5^12 - 1275204315711716167/8082746212780669*c_1001_5^11 + 1825100294013391143/16165492425561338*c_1001_5^10 - 808954932462074658/8082746212780669*c_1001_5^9 + 19252161210961517/16165492425561338*c_1001_5^8 - 1533789963578789955/16165492425561338*c_1001_5^7 + 91316645277105403/8082746212780669*c_1001_5^6 - 59779778831074399/8082746212780669*c_1001_5^5 - 91130148834987200/8082746212780669*c_1001_5^4 - 137433921851522067/16165492425561338*c_1001_5^3 + 5298974880818570/8082746212780669*c_1001_5^2 + 17884103011447549/16165492425561338*c_1001_5 - 311969793533133/16165492425561338, c_0011_12 - 53069885209603751482130786/13640005240201291782987769*c_100\ 1_5^15 + 4676658454920112413384867594/177320068122616793178840997*c\ _1001_5^14 - 21696566256965140935762412245/177320068122616793178840\ 997*c_1001_5^13 + 2869494171327750430265601687/17732006812261679317\ 8840997*c_1001_5^12 - 38447169207036776240849031873/354640136245233\ 586357681994*c_1001_5^11 + 25881340661949127141355737717/1773200681\ 22616793178840997*c_1001_5^10 - 17924597974627702757833769029/17732\ 0068122616793178840997*c_1001_5^9 + 8777911336594377959337162263/354640136245233586357681994*c_1001_5^8 - 11199736903515865375233656359/177320068122616793178840997*c_1001_\ 5^7 + 11374239635531818673822468377/354640136245233586357681994*c_1\ 001_5^6 + 1796894137637652028439249637/354640136245233586357681994*\ c_1001_5^5 - 282542468268187450216884929/27280010480402583565975538\ *c_1001_5^4 + 1136075625292278719833368711/354640136245233586357681\ 994*c_1001_5^3 + 232909673235180123440244333/1773200681226167931788\ 40997*c_1001_5^2 + 221264003200665263562110797/35464013624523358635\ 7681994*c_1001_5 - 71321688939372069090208879/354640136245233586357\ 681994, c_0011_3 - 106359932180561309681600836/13640005240201291782987769*c_100\ 1_5^15 + 9082156732102658755533824316/177320068122616793178840997*c\ _1001_5^14 - 41822040090166790624037601502/177320068122616793178840\ 997*c_1001_5^13 - 1392176620075455949336657630/17732006812261679317\ 8840997*c_1001_5^12 - 46548345105493949561621642919/177320068122616\ 793178840997*c_1001_5^11 + 43219022904992958481788959942/1773200681\ 22616793178840997*c_1001_5^10 - 38794369633343247900485979433/17732\ 0068122616793178840997*c_1001_5^9 + 10168906601296624700480116489/177320068122616793178840997*c_1001_5^\ 8 - 31944572032903223997586372091/177320068122616793178840997*c_100\ 1_5^7 + 20637067438344389515375204043/354640136245233586357681994*c\ _1001_5^6 - 4679076389595140468497664506/17732006812261679317884099\ 7*c_1001_5^5 - 118843805719225472314781893/136400052402012917829877\ 69*c_1001_5^4 - 1620631292146572045731853508/1773200681226167931788\ 40997*c_1001_5^3 + 271968913785878416891873745/35464013624523358635\ 7681994*c_1001_5^2 + 293145907762489364121032727/177320068122616793\ 178840997*c_1001_5 + 17783685053263767632840589/3546401362452335863\ 57681994, c_0011_4 - 16395947500481248582893870/13640005240201291782987769*c_1001\ _5^15 + 1190985419452584780681066160/177320068122616793178840997*c_\ 1001_5^14 - 4980688234938333494571230471/17732006812261679317884099\ 7*c_1001_5^13 - 7191902523149040971941615424/1773200681226167931788\ 40997*c_1001_5^12 - 8645062387416315228407174111/354640136245233586\ 357681994*c_1001_5^11 - 2716535318893805755763629159/35464013624523\ 3586357681994*c_1001_5^10 + 5415529234052955317294822891/3546401362\ 45233586357681994*c_1001_5^9 - 16166853987497129105116261377/354640\ 136245233586357681994*c_1001_5^8 - 1634640155462447892405591557/354640136245233586357681994*c_1001_5^7 - 8496376084516576152002085445/354640136245233586357681994*c_1001_5\ ^6 + 2146863077422855343339416986/177320068122616793178840997*c_100\ 1_5^5 - 160767444879172510246018945/13640005240201291782987769*c_10\ 01_5^4 - 733027308195154221152098553/354640136245233586357681994*c_\ 1001_5^3 - 525162148684022302535008183/354640136245233586357681994*\ c_1001_5^2 + 31206985568137948218640724/177320068122616793178840997\ *c_1001_5 - 142695162502212117139697572/177320068122616793178840997\ , c_0101_0 + 24747985593343800711759992/13640005240201291782987769*c_1001\ _5^15 - 943891856478797374458136/86879014268798036834317*c_1001_5^1\ 4 + 659047084526243153171266588/13640005240201291782987769*c_1001_5\ ^13 + 431489956030079901910850460/13640005240201291782987769*c_1001\ _5^12 + 965555455752757675335211694/13640005240201291782987769*c_10\ 01_5^11 - 144080923135225832555671004/13640005240201291782987769*c_\ 1001_5^10 + 310877402327829621437660660/13640005240201291782987769*\ c_1001_5^9 + 229823643462539759384166890/13640005240201291782987769\ *c_1001_5^8 + 371781146784616069367014412/1364000524020129178298776\ 9*c_1001_5^7 + 291071648162564493848234132/136400052402012917829877\ 69*c_1001_5^6 - 3915290919764141146487107/1364000524020129178298776\ 9*c_1001_5^5 + 164716457663248751744825366/136400052402012917829877\ 69*c_1001_5^4 + 10628641081227229428576144/136400052402012917829877\ 69*c_1001_5^3 + 23418489956247212887751122/136400052402012917829877\ 69*c_1001_5^2 - 1955591758507817335707786/1364000524020129178298776\ 9*c_1001_5 - 898336481875180591919652/13640005240201291782987769, c_0101_10 - 93599948455357993733890232/13640005240201291782987769*c_100\ 1_5^15 + 8688927529942293365075586076/177320068122616793178840997*c\ _1001_5^14 - 41124646493881201380209301350/177320068122616793178840\ 997*c_1001_5^13 + 18039271234456215174087681890/1773200681226167931\ 78840997*c_1001_5^12 - 31626715260978146285981679089/17732006812261\ 6793178840997*c_1001_5^11 + 57153474133838336323068847685/177320068\ 122616793178840997*c_1001_5^10 - 89051835126254835135550385225/3546\ 40136245233586357681994*c_1001_5^9 + 33619037934312982195415449381/354640136245233586357681994*c_1001_5^\ 8 - 20775787206618618692291030360/177320068122616793178840997*c_100\ 1_5^7 + 34955159448415956303007896557/354640136245233586357681994*c\ _1001_5^6 - 2914091541969840009733106657/35464013624523358635768199\ 4*c_1001_5^5 - 448394694602553413018548533/272800104804025835659755\ 38*c_1001_5^4 + 3569826255847505549670861951/3546401362452335863576\ 81994*c_1001_5^3 + 602227067945725820771239968/17732006812261679317\ 8840997*c_1001_5^2 + 221106246656448161079365652/177320068122616793\ 178840997*c_1001_5 - 211518520633873344416348871/354640136245233586\ 357681994, c_0101_3 - 19606931737000142896740224/13640005240201291782987769*c_1001\ _5^15 + 1955295896251238850117865334/177320068122616793178840997*c_\ 1001_5^14 - 9605023737566846608315979742/17732006812261679317884099\ 7*c_1001_5^13 + 8581212812359941499757525029/1773200681226167931788\ 40997*c_1001_5^12 - 9848998281408624964771454537/177320068122616793\ 178840997*c_1001_5^11 + 35191196174239555447553280901/3546401362452\ 33586357681994*c_1001_5^10 - 16676149201641215989126116193/17732006\ 8122616793178840997*c_1001_5^9 + 22638926083393133541979206305/3546\ 40136245233586357681994*c_1001_5^8 - 7750777760250585583761252632/177320068122616793178840997*c_1001_5^7 + 7787547187631829274818919700/177320068122616793178840997*c_1001_5\ ^6 - 2969048750413542839450172099/177320068122616793178840997*c_100\ 1_5^5 + 10887418816486087317374929/13640005240201291782987769*c_100\ 1_5^4 + 710199126656107594004426897/177320068122616793178840997*c_1\ 001_5^3 + 311324867918211530639485779/177320068122616793178840997*c\ _1001_5^2 - 21241775616596984924313667/177320068122616793178840997*\ c_1001_5 - 177675812637822925223278035/354640136245233586357681994, c_0101_7 + 114143937699904899943372142/13640005240201291782987769*c_100\ 1_5^15 - 9793926483160442166414222788/177320068122616793178840997*c\ _1001_5^14 + 45096273936295557450133264127/177320068122616793178840\ 997*c_1001_5^13 + 777236726710638046213692308/177320068122616793178\ 840997*c_1001_5^12 + 92936960780685040569146402459/3546401362452335\ 86357681994*c_1001_5^11 - 91123475975938505704405595641/35464013624\ 5233586357681994*c_1001_5^10 + 78784609795705526297228508765/354640\ 136245233586357681994*c_1001_5^9 - 8015827674878767875189654462/177320068122616793178840997*c_1001_5^8 + 57703858290749648155677153477/354640136245233586357681994*c_1001_\ 5^7 - 9995931355628771452192279534/177320068122616793178840997*c_10\ 01_5^6 + 3017991563582989763048485987/177320068122616793178840997*c\ _1001_5^5 + 497618528118076470333818447/27280010480402583565975538*\ c_1001_5^4 + 1297063948796033227220396805/3546401362452335863576819\ 94*c_1001_5^3 - 718370467852474528915384541/35464013624523358635768\ 1994*c_1001_5^2 - 347235141911077990295100140/177320068122616793178\ 840997*c_1001_5 + 65146796079329174594443641/3546401362452335863576\ 81994, c_0110_10 + 11068851638621554905116/3246847236420207517969*c_1001_5^15 - 895485884681256173635132/42209014073462697733597*c_1001_5^14 + 4015863287541400389732990/42209014073462697733597*c_1001_5^13 + 1703843612423284103269922/42209014073462697733597*c_1001_5^12 + 4657747495746868223978343/42209014073462697733597*c_1001_5^11 - 3161733449586981792685182/42209014073462697733597*c_1001_5^10 + 2150621413225945765851344/42209014073462697733597*c_1001_5^9 + 201952913545355908463387/42209014073462697733597*c_1001_5^8 + 2967118647412777991548663/42209014073462697733597*c_1001_5^7 - 317976808597297025035771/84418028146925395467194*c_1001_5^6 + 60065606164313459891682/42209014073462697733597*c_1001_5^5 + 16913224806185290933125/3246847236420207517969*c_1001_5^4 + 213864955655845075129168/42209014073462697733597*c_1001_5^3 - 17761561546690190286697/84418028146925395467194*c_1001_5^2 - 51126360675489620116199/42209014073462697733597*c_1001_5 + 9570763662991532539/84418028146925395467194, c_1001_1 + 6835638511660251218877334/13640005240201291782987769*c_1001_\ 5^15 + 274966409422638822740420500/177320068122616793178840997*c_10\ 01_5^14 - 2937637758670399978201867271/177320068122616793178840997*\ c_1001_5^13 + 26042465991674718646347662724/17732006812261679317884\ 0997*c_1001_5^12 + 7839260574296191636131354617/3546401362452335863\ 57681994*c_1001_5^11 + 55181427372955599475400257211/35464013624523\ 3586357681994*c_1001_5^10 - 19583902456289807898797257265/177320068\ 122616793178840997*c_1001_5^9 + 48224282179941624312359285637/35464\ 0136245233586357681994*c_1001_5^8 - 5508166687124854129085590655/354640136245233586357681994*c_1001_5^7 + 16645934739554405252401391175/177320068122616793178840997*c_1001_\ 5^6 - 5970231947487843547003714791/354640136245233586357681994*c_10\ 01_5^5 + 275094349105322141939614722/13640005240201291782987769*c_1\ 001_5^4 + 2268025731806718448980093163/177320068122616793178840997*\ c_1001_5^3 + 805512142732333603545762929/17732006812261679317884099\ 7*c_1001_5^2 + 26238974806826168455136063/1773200681226167931788409\ 97*c_1001_5 + 69728582430922484951006725/35464013624523358635768199\ 4, c_1001_5^16 - 83/13*c_1001_5^15 + 753/26*c_1001_5^14 + 185/26*c_1001_5^13 + 125/4*c_1001_5^12 - 623/26*c_1001_5^11 + 252/13*c_1001_5^10 + 23/26*c_1001_5^9 + 236/13*c_1001_5^8 - 29/13*c_1001_5^7 + 6/13*c_1001_5^6 + 69/26*c_1001_5^5 + 59/52*c_1001_5^4 - 3/13*c_1001_5^3 - 5/26*c_1001_5^2 + 1/52 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.700 Total time: 15.900 seconds, Total memory usage: 181.91MB