Magma V2.19-8 Tue Aug 20 2013 23:49:56 on localhost [Seed = 2699479653] Type ? for help. Type -D to quit. Loading file "K11n87__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n87 geometric_solution 12.34342061 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 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.186769371381 0.904458125900 0 5 6 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881459073076 1.182420087674 6 0 7 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293302240300 0.511641422047 7 7 8 0 2031 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 0 0 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.781025450270 1.060416434474 9 8 0 10 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 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.231149639792 0.607664951410 11 1 8 10 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.844059793835 1.063683261911 2 11 8 1 0132 0132 2103 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 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.938669332927 0.792933955782 9 3 3 2 3120 0132 1302 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 -1 1 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.186769371381 0.904458125900 6 4 5 3 2103 0132 1023 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.370170820784 1.067311419437 4 12 12 7 0132 0132 0321 3120 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 -3 4 -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.708974496564 1.344716689862 11 12 4 5 2031 1302 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663309282487 0.489520294993 5 6 10 12 0132 0132 1302 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 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174957705205 0.725317523679 11 9 9 10 3120 0132 0321 2031 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 3 -4 1 0 0 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.708974496564 1.344716689862 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_0_11' : negation(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_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_3'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_3'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_3']), '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_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_6'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], '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_6'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], '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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0110_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 12206972615592401902051409/868442736173665554549417*c_1100_0^15 - 11430831261777972596886751/289480912057888518183139*c_1100_0^14 - 115598436622912962196627873/868442736173665554549417*c_1100_0^13 - 137222387156460209892034877/868442736173665554549417*c_1100_0^12 - 162630368682633257778405568/289480912057888518183139*c_1100_0^11 - 117454977579070074405259276/868442736173665554549417*c_1100_0^10 - 652211188878276162546631978/868442736173665554549417*c_1100_0^9 - 83979602209914491768251121/78949339652151414049947*c_1100_0^8 + 461910030924571153275236762/868442736173665554549417*c_1100_0^7 - 994670330708834257365601652/289480912057888518183139*c_1100_0^6 + 166431815274078064206836089/124063248024809364935631*c_1100_0^5 - 3445771168738391332736416330/868442736173665554549417*c_1100_0^4 + 1367564582214601930111949/78949339652151414049947*c_1100_0^3 - 1439311773676823144861738242/868442736173665554549417*c_1100_0^2 - 219591078028924094853520711/289480912057888518183139*c_1100_0 - 10398917245968465360966071/124063248024809364935631, c_0011_0 - 1, c_0011_10 + 5375833056850170/2493063483152747*c_1100_0^15 + 14974978401500010/2493063483152747*c_1100_0^14 + 50618815093094847/2493063483152747*c_1100_0^13 + 59253829504188249/2493063483152747*c_1100_0^12 + 213721529687165529/2493063483152747*c_1100_0^11 + 46251963005358156/2493063483152747*c_1100_0^10 + 287888733207921019/2493063483152747*c_1100_0^9 + 395501778194031078/2493063483152747*c_1100_0^8 - 207728974653378609/2493063483152747*c_1100_0^7 + 1318040330810640550/2493063483152747*c_1100_0^6 - 559795612858171848/2493063483152747*c_1100_0^5 + 1564814382473972062/2493063483152747*c_1100_0^4 - 89322243332482617/2493063483152747*c_1100_0^3 + 669004465180280212/2493063483152747*c_1100_0^2 + 255850008054946736/2493063483152747*c_1100_0 + 24211149171189998/2493063483152747, c_0011_12 - 536843090620482/2493063483152747*c_1100_0^15 - 1226625761234691/2493063483152747*c_1100_0^14 - 4303788758963303/2493063483152747*c_1100_0^13 - 3366600487011523/2493063483152747*c_1100_0^12 - 18324873391272015/2493063483152747*c_1100_0^11 + 6179602668445912/2493063483152747*c_1100_0^10 - 26337001369333987/2493063483152747*c_1100_0^9 - 24928595100674641/2493063483152747*c_1100_0^8 + 40129038980197993/2493063483152747*c_1100_0^7 - 142245596102649885/2493063483152747*c_1100_0^6 + 122102386056198589/2493063483152747*c_1100_0^5 - 184465845150767989/2493063483152747*c_1100_0^4 + 88536095495578273/2493063483152747*c_1100_0^3 - 72378861682783175/2493063483152747*c_1100_0^2 + 7967024150901132/2493063483152747*c_1100_0 + 7850988555971166/2493063483152747, c_0011_3 + 1126983517100558/2493063483152747*c_1100_0^15 + 3291566816817154/2493063483152747*c_1100_0^14 + 11004173962993023/2493063483152747*c_1100_0^13 + 13791948571868466/2493063483152747*c_1100_0^12 + 46267556455777851/2493063483152747*c_1100_0^11 + 15657456010172567/2493063483152747*c_1100_0^10 + 60784692310642388/2493063483152747*c_1100_0^9 + 91843916302969868/2493063483152747*c_1100_0^8 - 33327747701878610/2493063483152747*c_1100_0^7 + 269047802809752982/2493063483152747*c_1100_0^6 - 76402601127598471/2493063483152747*c_1100_0^5 + 303843234651552076/2493063483152747*c_1100_0^4 + 32866045113386540/2493063483152747*c_1100_0^3 + 130233006434366496/2493063483152747*c_1100_0^2 + 76197118689313138/2493063483152747*c_1100_0 + 12590888748752947/2493063483152747, c_0101_0 + 1126983517100558/2493063483152747*c_1100_0^15 + 3291566816817154/2493063483152747*c_1100_0^14 + 11004173962993023/2493063483152747*c_1100_0^13 + 13791948571868466/2493063483152747*c_1100_0^12 + 46267556455777851/2493063483152747*c_1100_0^11 + 15657456010172567/2493063483152747*c_1100_0^10 + 60784692310642388/2493063483152747*c_1100_0^9 + 91843916302969868/2493063483152747*c_1100_0^8 - 33327747701878610/2493063483152747*c_1100_0^7 + 269047802809752982/2493063483152747*c_1100_0^6 - 76402601127598471/2493063483152747*c_1100_0^5 + 303843234651552076/2493063483152747*c_1100_0^4 + 32866045113386540/2493063483152747*c_1100_0^3 + 130233006434366496/2493063483152747*c_1100_0^2 + 76197118689313138/2493063483152747*c_1100_0 + 10097825265600200/2493063483152747, c_0101_1 + 12148217461920979/2493063483152747*c_1100_0^15 + 34236857340727050/2493063483152747*c_1100_0^14 + 115267863415242143/2493063483152747*c_1100_0^13 + 137005996097810316/2493063483152747*c_1100_0^12 + 485403560107802761/2493063483152747*c_1100_0^11 + 118420902857512375/2493063483152747*c_1100_0^10 + 646944294686807903/2493063483152747*c_1100_0^9 + 915357033243268361/2493063483152747*c_1100_0^8 - 445524057629047632/2493063483152747*c_1100_0^7 + 2949085439642826461/2493063483152747*c_1100_0^6 - 1155766135144276219/2493063483152747*c_1100_0^5 + 3454306704131955590/2493063483152747*c_1100_0^4 - 67307231395703576/2493063483152747*c_1100_0^3 + 1469254613084285956/2493063483152747*c_1100_0^2 + 636188816877507313/2493063483152747*c_1100_0 + 66049576822598117/2493063483152747, c_0101_10 + 2195126941168519/2493063483152747*c_1100_0^15 + 6341266677927983/2493063483152747*c_1100_0^14 + 21249633282103311/2493063483152747*c_1100_0^13 + 26081388354190175/2493063483152747*c_1100_0^12 + 88940058777612842/2493063483152747*c_1100_0^11 + 26296364336349380/2493063483152747*c_1100_0^10 + 116254498648291808/2493063483152747*c_1100_0^9 + 169757462409004266/2493063483152747*c_1100_0^8 - 71815057980466508/2493063483152747*c_1100_0^7 + 524327431041128444/2493063483152747*c_1100_0^6 - 178150271769059622/2493063483152747*c_1100_0^5 + 605539957521524955/2493063483152747*c_1100_0^4 + 19720583265362226/2493063483152747*c_1100_0^3 + 254333030315513742/2493063483152747*c_1100_0^2 + 124502613917921633/2493063483152747*c_1100_0 + 11346225103131106/2493063483152747, c_0101_3 + 12148217461920979/2493063483152747*c_1100_0^15 + 34236857340727050/2493063483152747*c_1100_0^14 + 115267863415242143/2493063483152747*c_1100_0^13 + 137005996097810316/2493063483152747*c_1100_0^12 + 485403560107802761/2493063483152747*c_1100_0^11 + 118420902857512375/2493063483152747*c_1100_0^10 + 646944294686807903/2493063483152747*c_1100_0^9 + 915357033243268361/2493063483152747*c_1100_0^8 - 445524057629047632/2493063483152747*c_1100_0^7 + 2949085439642826461/2493063483152747*c_1100_0^6 - 1155766135144276219/2493063483152747*c_1100_0^5 + 3454306704131955590/2493063483152747*c_1100_0^4 - 67307231395703576/2493063483152747*c_1100_0^3 + 1469254613084285956/2493063483152747*c_1100_0^2 + 633695753394354566/2493063483152747*c_1100_0 + 66049576822598117/2493063483152747, c_0101_5 + 2233870661906600/2493063483152747*c_1100_0^15 + 6455958268981239/2493063483152747*c_1100_0^14 + 21639281951332404/2493063483152747*c_1100_0^13 + 26706222114497236/2493063483152747*c_1100_0^12 + 90970701495279452/2493063483152747*c_1100_0^11 + 28028532360285363/2493063483152747*c_1100_0^10 + 119759743697463750/2493063483152747*c_1100_0^9 + 176667208684198427/2493063483152747*c_1100_0^8 - 72006920741328505/2493063483152747*c_1100_0^7 + 536007590001721081/2493063483152747*c_1100_0^6 - 172370220881260964/2493063483152747*c_1100_0^5 + 613869244588465302/2493063483152747*c_1100_0^4 + 38901453076025616/2493063483152747*c_1100_0^3 + 257582781247815157/2493063483152747*c_1100_0^2 + 139364516474242393/2493063483152747*c_1100_0 + 14604269713617402/2493063483152747, c_0101_6 + 1657745485627266/2493063483152747*c_1100_0^15 + 4720942510269399/2493063483152747*c_1100_0^14 + 15855219750840953/2493063483152747*c_1100_0^13 + 19101649174232918/2493063483152747*c_1100_0^12 + 66612920391522526/2493063483152747*c_1100_0^11 + 17779729272021635/2493063483152747*c_1100_0^10 + 88058543929099909/2493063483152747*c_1100_0^9 + 126517612671851144/2493063483152747*c_1100_0^8 - 57801198580537247/2493063483152747*c_1100_0^7 + 398861613672123964/2493063483152747*c_1100_0^6 - 147474661798032467/2493063483152747*c_1100_0^5 + 466097431722398635/2493063483152747*c_1100_0^4 + 1116164559500055/2493063483152747*c_1100_0^3 + 196386230924007144/2493063483152747*c_1100_0^2 + 89508034693046354/2493063483152747*c_1100_0 + 7033042232350325/2493063483152747, c_0110_10 - 5148709530751030/2493063483152747*c_1100_0^15 - 14345220692023245/2493063483152747*c_1100_0^14 - 48437175555706738/2493063483152747*c_1100_0^13 - 56647500980940360/2493063483152747*c_1100_0^12 - 204338500541293673/2493063483152747*c_1100_0^11 - 44132413067124843/2493063483152747*c_1100_0^10 - 274342434822573504/2493063483152747*c_1100_0^9 - 379373910480644058/2493063483152747*c_1100_0^8 + 199712082830910246/2493063483152747*c_1100_0^7 - 1258522394847268602/2493063483152747*c_1100_0^6 + 531831443462640721/2493063483152747*c_1100_0^5 - 1489470466755916714/2493063483152747*c_1100_0^4 + 79258586292608004/2493063483152747*c_1100_0^3 - 635349069306531152/2493063483152747*c_1100_0^2 - 245575004784379748/2493063483152747*c_1100_0 - 24224355639978137/2493063483152747, c_1001_2 + 9526105715503072/2493063483152747*c_1100_0^15 + 26920571660881950/2493063483152747*c_1100_0^14 + 90540114644761321/2493063483152747*c_1100_0^13 + 107984154550698983/2493063483152747*c_1100_0^12 + 380994790876896106/2493063483152747*c_1100_0^11 + 95330876772029698/2493063483152747*c_1100_0^10 + 506156085080647325/2493063483152747*c_1100_0^9 + 721660441888661211/2493063483152747*c_1100_0^8 - 345618044128421800/2493063483152747*c_1100_0^7 + 2305962147439262239/2493063483152747*c_1100_0^6 - 884693005162780636/2493063483152747*c_1100_0^5 + 2690944887837352691/2493063483152747*c_1100_0^4 - 27896568809257323/2493063483152747*c_1100_0^3 + 1142016521300868585/2493063483152747*c_1100_0^2 + 506052528540067437/2493063483152747*c_1100_0 + 53383551039499726/2493063483152747, c_1100_0^16 + 3*c_1100_0^15 + 10*c_1100_0^14 + 13*c_1100_0^13 + 42*c_1100_0^12 + 17*c_1100_0^11 + 55*c_1100_0^10 + 85*c_1100_0^9 - 23*c_1100_0^8 + 236*c_1100_0^7 - 51*c_1100_0^6 + 267*c_1100_0^5 + 46*c_1100_0^4 + 120*c_1100_0^3 + 74*c_1100_0^2 + 15*c_1100_0 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0110_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 25705022040946967795/66980421980168909*c_1100_0^15 - 73259168776268438709/66980421980168909*c_1100_0^14 + 156587507953843971093/66980421980168909*c_1100_0^13 - 298121668576696298614/66980421980168909*c_1100_0^12 + 358382394955179937823/66980421980168909*c_1100_0^11 - 296977029497274303451/66980421980168909*c_1100_0^10 + 415851001896358225194/66980421980168909*c_1100_0^9 + 138898507246932804587/66980421980168909*c_1100_0^8 + 753628773331997569601/133960843960337818*c_1100_0^7 + 283296087486405193675/66980421980168909*c_1100_0^6 + 335880891087556255416/66980421980168909*c_1100_0^5 + 238447818978256553179/133960843960337818*c_1100_0^4 + 294519643913850465519/133960843960337818*c_1100_0^3 + 4669530263309374862/3940024822362877*c_1100_0^2 + 9534863972932105927/66980421980168909*c_1100_0 - 9284123702861272543/133960843960337818, c_0011_0 - 1, c_0011_10 - 1777125487031320/207369727492783*c_1100_0^15 + 5319242210154184/207369727492783*c_1100_0^14 - 11481325703999382/207369727492783*c_1100_0^13 + 22020882397712662/207369727492783*c_1100_0^12 - 27489665748286978/207369727492783*c_1100_0^11 + 23504020852420546/207369727492783*c_1100_0^10 - 30926182017257096/207369727492783*c_1100_0^9 - 6277591587888466/207369727492783*c_1100_0^8 - 22828155617526144/207369727492783*c_1100_0^7 - 16272196147824534/207369727492783*c_1100_0^6 - 18521154924719841/207369727492783*c_1100_0^5 - 4720410875580180/207369727492783*c_1100_0^4 - 8055456225033650/207369727492783*c_1100_0^3 - 3676630486419698/207369727492783*c_1100_0^2 + 704830536314721/207369727492783*c_1100_0 + 450600318517988/207369727492783, c_0011_12 + 1052283090576380/207369727492783*c_1100_0^15 - 2882012660299916/207369727492783*c_1100_0^14 + 6026405272225380/207369727492783*c_1100_0^13 - 11205948541096346/207369727492783*c_1100_0^12 + 12365384104174290/207369727492783*c_1100_0^11 - 8458526285261848/207369727492783*c_1100_0^10 + 12269861244618214/207369727492783*c_1100_0^9 + 11978656360169232/207369727492783*c_1100_0^8 + 11829690170128280/207369727492783*c_1100_0^7 + 15790562257831818/207369727492783*c_1100_0^6 + 13180020310267968/207369727492783*c_1100_0^5 + 5792279738802723/207369727492783*c_1100_0^4 + 5344812709269876/207369727492783*c_1100_0^3 + 3982859224715607/207369727492783*c_1100_0^2 - 470659846854216/207369727492783*c_1100_0 - 332858900516701/207369727492783, c_0011_3 - 293125862037220/207369727492783*c_1100_0^15 + 1157349119974724/207369727492783*c_1100_0^14 - 2691248222356564/207369727492783*c_1100_0^13 + 5347539405413216/207369727492783*c_1100_0^12 - 8009408851850672/207369727492783*c_1100_0^11 + 8413211790609560/207369727492783*c_1100_0^10 - 9365096460086818/207369727492783*c_1100_0^9 + 5085962418298616/207369727492783*c_1100_0^8 - 3771827945977358/207369727492783*c_1100_0^7 + 1676877871340232/207369727492783*c_1100_0^6 - 975461795841510/207369727492783*c_1100_0^5 + 1873185696309388/207369727492783*c_1100_0^4 - 982158587118330/207369727492783*c_1100_0^3 + 1076227264469998/207369727492783*c_1100_0^2 + 350068707406688/207369727492783*c_1100_0 - 91713551197611/207369727492783, c_0101_0 + 293125862037220/207369727492783*c_1100_0^15 - 1157349119974724/207369727492783*c_1100_0^14 + 2691248222356564/207369727492783*c_1100_0^13 - 5347539405413216/207369727492783*c_1100_0^12 + 8009408851850672/207369727492783*c_1100_0^11 - 8413211790609560/207369727492783*c_1100_0^10 + 9365096460086818/207369727492783*c_1100_0^9 - 5085962418298616/207369727492783*c_1100_0^8 + 3771827945977358/207369727492783*c_1100_0^7 - 1676877871340232/207369727492783*c_1100_0^6 + 975461795841510/207369727492783*c_1100_0^5 - 1873185696309388/207369727492783*c_1100_0^4 + 982158587118330/207369727492783*c_1100_0^3 - 1076227264469998/207369727492783*c_1100_0^2 - 350068707406688/207369727492783*c_1100_0 + 91713551197611/207369727492783, c_0101_1 - c_1100_0, c_0101_10 - 120317884021560/207369727492783*c_1100_0^15 + 159843210635542/207369727492783*c_1100_0^14 - 88327352689110/207369727492783*c_1100_0^13 - 235466843433740/207369727492783*c_1100_0^12 + 1636261742116964/207369727492783*c_1100_0^11 - 3338947300093908/207369727492783*c_1100_0^10 + 3264657067632090/207369727492783*c_1100_0^9 - 6522969757627064/207369727492783*c_1100_0^8 - 195445950402346/207369727492783*c_1100_0^7 - 4968543404991241/207369727492783*c_1100_0^6 - 2877831013337062/207369727492783*c_1100_0^5 - 2667827754583865/207369727492783*c_1100_0^4 - 539180688740910/207369727492783*c_1100_0^3 - 1465693672853740/207369727492783*c_1100_0^2 - 107419139322590/207369727492783*c_1100_0 + 106210276713803/207369727492783, c_0101_3 + 744783638890960/207369727492783*c_1100_0^15 - 2343767786296832/207369727492783*c_1100_0^14 + 5175411564851392/207369727492783*c_1100_0^13 - 10250153409996552/207369727492783*c_1100_0^12 + 13658705593895476/207369727492783*c_1100_0^11 - 12720560313431416/207369727492783*c_1100_0^10 + 16111058534923642/207369727492783*c_1100_0^9 - 757126792748840/207369727492783*c_1100_0^8 + 9116650405762268/207369727492783*c_1100_0^7 + 4389875134719000/207369727492783*c_1100_0^6 + 5569988657035316/207369727492783*c_1100_0^5 - 296672326406778/207369727492783*c_1100_0^4 + 3223416330382566/207369727492783*c_1100_0^3 + 536260182944442/207369727492783*c_1100_0^2 - 838102086328689/207369727492783*c_1100_0 - 17936989276724/207369727492783, c_0101_5 + 518380152517200/207369727492783*c_1100_0^15 - 1345188763329340/207369727492783*c_1100_0^14 + 2590046131969060/207369727492783*c_1100_0^13 - 4610864336970590/207369727492783*c_1100_0^12 + 4420128351541366/207369727492783*c_1100_0^11 - 1776793448284488/207369727492783*c_1100_0^10 + 3925269211353704/207369727492783*c_1100_0^9 + 7302552805272510/207369727492783*c_1100_0^8 + 5422682916954552/207369727492783*c_1100_0^7 + 6848124513288956/207369727492783*c_1100_0^6 + 6198918157319466/207369727492783*c_1100_0^5 + 2336376879723559/207369727492783*c_1100_0^4 + 1610091378126834/207369727492783*c_1100_0^3 + 1774792731033149/207369727492783*c_1100_0^2 - 176526742755308/207369727492783*c_1100_0 - 411676963004803/207369727492783, c_0101_6 - 39539858154240/207369727492783*c_1100_0^15 + 38073907385328/207369727492783*c_1100_0^14 + 270052648857688/207369727492783*c_1100_0^13 - 848427004970964/207369727492783*c_1100_0^12 + 1697762457845208/207369727492783*c_1100_0^11 - 2853909762664554/207369727492783*c_1100_0^10 + 2544607526087144/207369727492783*c_1100_0^9 - 1892249108519956/207369727492783*c_1100_0^8 + 1047045429185008/207369727492783*c_1100_0^7 + 15888634646884/207369727492783*c_1100_0^6 + 445629054184970/207369727492783*c_1100_0^5 - 765630322042398/207369727492783*c_1100_0^4 + 506436911502902/207369727492783*c_1100_0^3 - 55638280340463/207369727492783*c_1100_0^2 - 131019738501468/207369727492783*c_1100_0 - 132891363603687/207369727492783, c_0110_10 + 1632158231869400/207369727492783*c_1100_0^15 - 5268790739694820/207369727492783*c_1100_0^14 + 11783747248476208/207369727492783*c_1100_0^13 - 22857896753588608/207369727492783*c_1100_0^12 + 30108301521481430/207369727492783*c_1100_0^11 - 27731652585757838/207369727492783*c_1100_0^10 + 33420029365890572/207369727492783*c_1100_0^9 - 170769216954870/207369727492783*c_1100_0^8 + 19984965903127072/207369727492783*c_1100_0^7 + 11246661288762814/207369727492783*c_1100_0^6 + 14142234977354432/207369727492783*c_1100_0^5 + 838124615369224/207369727492783*c_1100_0^4 + 6782422224724837/207369727492783*c_1100_0^3 + 1952337053333770/207369727492783*c_1100_0^2 - 1127705965996942/207369727492783*c_1100_0 - 178957299401506/207369727492783, c_1001_2 + 744783638890960/207369727492783*c_1100_0^15 - 2343767786296832/207369727492783*c_1100_0^14 + 5175411564851392/207369727492783*c_1100_0^13 - 10250153409996552/207369727492783*c_1100_0^12 + 13658705593895476/207369727492783*c_1100_0^11 - 12720560313431416/207369727492783*c_1100_0^10 + 16111058534923642/207369727492783*c_1100_0^9 - 757126792748840/207369727492783*c_1100_0^8 + 9116650405762268/207369727492783*c_1100_0^7 + 4389875134719000/207369727492783*c_1100_0^6 + 5569988657035316/207369727492783*c_1100_0^5 - 296672326406778/207369727492783*c_1100_0^4 + 3223416330382566/207369727492783*c_1100_0^3 + 536260182944442/207369727492783*c_1100_0^2 - 1045471813821472/207369727492783*c_1100_0 - 17936989276724/207369727492783, c_1100_0^16 - 16/5*c_1100_0^15 + 7*c_1100_0^14 - 67/5*c_1100_0^13 + 86/5*c_1100_0^12 - 74/5*c_1100_0^11 + 89/5*c_1100_0^10 + 12/5*c_1100_0^9 + 97/10*c_1100_0^8 + 73/10*c_1100_0^7 + 15/2*c_1100_0^6 + 1/5*c_1100_0^5 + 33/10*c_1100_0^4 + 7/5*c_1100_0^3 - 6/5*c_1100_0^2 - 1/5*c_1100_0 + 1/10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.000 Total time: 2.209 seconds, Total memory usage: 64.12MB