Magma V2.19-8 Tue Sep 10 2013 20:15:45 on localhost [Seed = 3551410094] Type ? for help. Type -D to quit. Loading file "11_416__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_416 geometric_solution 14.53448487 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 16 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 0 -1 1 -1 0 0 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.588066943964 0.307178968549 0 5 6 2 0132 0132 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 -1 1 1 0 0 -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.625360745963 0.552800283802 1 0 8 7 3120 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 1 0 -1 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.690473687114 0.988657893728 9 7 10 0 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.933805396204 0.820637901888 9 11 0 10 3120 0132 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 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335009218361 0.801698136150 8 1 8 12 1023 0132 2103 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 0 0 0 0 0 0 6 1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800641528782 0.770097605344 13 14 15 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.045862866363 0.944032838845 13 3 2 15 3120 0132 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 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.448615734238 0.530846206190 5 5 11 2 2103 1023 1023 0132 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 -1 1 0 0 0 0 7 -6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315044758397 1.216979707634 3 15 13 4 0132 3120 3120 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 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.528016479541 0.638669449873 4 11 14 3 3120 2031 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595443258951 0.194611362890 10 4 8 12 1302 0132 1023 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 -1 1 0 0 0 0 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 0.221160929429 0.559279433747 11 14 5 15 3012 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335466599938 0.840914614432 6 14 9 7 0132 0321 3120 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 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.543831664572 0.418400705733 10 6 12 13 2310 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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.814044457005 1.017558849923 7 9 12 6 3120 3120 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 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.529492668528 0.584245893554 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_15' : d['c_1001_13'], 'c_1001_14' : d['c_1001_1'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_1001_1'], 's_0_10' : d['1'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : negation(d['c_1001_13']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_13' : d['c_0011_3'], 'c_1010_12' : d['c_1001_13'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0011_11'], 'c_1010_15' : d['c_0011_3'], 'c_1010_14' : d['c_0011_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : 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_0011_13'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0011_12'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_2_15' : 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_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_13'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_13']), 'c_1100_7' : negation(d['c_0101_15']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_13']), 'c_1100_3' : negation(d['c_0011_13']), 'c_1100_2' : negation(d['c_0101_15']), 'c_1100_15' : negation(d['c_0101_2']), 'c_1100_14' : d['c_1001_13'], 'c_1100_11' : d['c_0101_15'], 'c_1100_10' : negation(d['c_0011_13']), 'c_1100_13' : negation(d['c_0101_0']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0101_12'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0011_11'], 's_3_14' : d['1'], 'c_1100_8' : negation(d['c_0101_15']), 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_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_0101_2']), '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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_13']), '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_0011_12'], 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : d['c_0101_15'], 'c_0110_15' : d['c_0101_6'], 'c_0110_14' : negation(d['c_0011_13']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_10']), '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' : negation(d['c_0011_10']), 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], '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' : d['c_0101_2'], '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_0'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_6'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_0, c_0101_1, c_0101_12, c_0101_15, c_0101_2, c_0101_3, c_0101_6, c_1001_0, c_1001_1, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1135688321468658364939012309262/1280543144434614438264278325*c_1001\ _13^15 + 86120219073565454403696627359/13479401520364362508045035*c\ _1001_13^14 + 6646298096678478867405196832279/256108628886922887652\ 855665*c_1001_13^13 + 67778159536143656251133920669366/128054314443\ 4614438264278325*c_1001_13^12 + 20113258487156029279391970460634/14\ 2282571603846048696030925*c_1001_13^11 + 109762313677363543309484540322212/426847714811538146088092775*c_100\ 1_13^10 + 20335382348642772771417609435158/512217257773845775305711\ 33*c_1001_13^9 + 535894167540592119354805012417568/1280543144434614\ 438264278325*c_1001_13^8 + 246834124446847023984037310846663/426847\ 714811538146088092775*c_1001_13^7 + 811908904934349002487752328168133/1280543144434614438264278325*c_10\ 01_13^6 + 51705189705342564496814034810782/142282571603846048696030\ 925*c_1001_13^5 + 262861633268865326764632892346729/128054314443461\ 4438264278325*c_1001_13^4 + 117766188036943430530260529178891/12805\ 43144434614438264278325*c_1001_13^3 + 39765394058922759941111545328573/1280543144434614438264278325*c_100\ 1_13^2 + 18173699522909045138159555071249/1280543144434614438264278\ 325*c_1001_13 + 4247176535061414813444076719262/4268477148115381460\ 88092775, c_0011_0 - 1, c_0011_10 - 76616578899934427158/1907912458650299010339*c_1001_13^15 - 471095385188901393446/1907912458650299010339*c_1001_13^14 - 1645790604263941095995/1907912458650299010339*c_1001_13^13 - 2134532109750324645563/1907912458650299010339*c_1001_13^12 - 2385430426775480616020/635970819550099670113*c_1001_13^11 - 3051117184792316818637/635970819550099670113*c_1001_13^10 - 9758465727465057245803/1907912458650299010339*c_1001_13^9 + 655645492853899401809/1907912458650299010339*c_1001_13^8 - 3565925378587161980197/635970819550099670113*c_1001_13^7 - 3350287222279108361312/1907912458650299010339*c_1001_13^6 + 9758338667332978240921/635970819550099670113*c_1001_13^5 + 13848892583077000060829/1907912458650299010339*c_1001_13^4 + 7755021777455357325299/1907912458650299010339*c_1001_13^3 + 6436185203222432238491/1907912458650299010339*c_1001_13^2 - 565713401310759074045/1907912458650299010339*c_1001_13 + 136206328541084099854/635970819550099670113, c_0011_11 + 54896803770811834075/1907912458650299010339*c_1001_13^15 + 467583859809746109146/1907912458650299010339*c_1001_13^14 + 2046057768765361272902/1907912458650299010339*c_1001_13^13 + 4820126111656414010939/1907912458650299010339*c_1001_13^12 + 3594896212940661261576/635970819550099670113*c_1001_13^11 + 7643651165572350688983/635970819550099670113*c_1001_13^10 + 33411068600841926619400/1907912458650299010339*c_1001_13^9 + 36704320129949118370882/1907912458650299010339*c_1001_13^8 + 12421106425734771845192/635970819550099670113*c_1001_13^7 + 53883706581668527561751/1907912458650299010339*c_1001_13^6 + 9344705733704042031266/635970819550099670113*c_1001_13^5 - 7041154944570808240796/1907912458650299010339*c_1001_13^4 - 1785050472416363598197/1907912458650299010339*c_1001_13^3 - 1783193682457152806639/1907912458650299010339*c_1001_13^2 - 1271724151488080003827/1907912458650299010339*c_1001_13 + 301601659021640058377/635970819550099670113, c_0011_12 - 408526131387665567453/1907912458650299010339*c_1001_13^15 - 2986305731464101078550/1907912458650299010339*c_1001_13^14 - 12197298554558268605722/1907912458650299010339*c_1001_13^13 - 25206483508084098486778/1907912458650299010339*c_1001_13^12 - 22017050108733224733342/635970819550099670113*c_1001_13^11 - 40885482555471297984143/635970819550099670113*c_1001_13^10 - 187070622806138703472247/1907912458650299010339*c_1001_13^9 - 199550631578918497357892/1907912458650299010339*c_1001_13^8 - 89431020085285441907878/635970819550099670113*c_1001_13^7 - 306180897110235055693804/1907912458650299010339*c_1001_13^6 - 56819042305468499995063/635970819550099670113*c_1001_13^5 - 89568728168265893115533/1907912458650299010339*c_1001_13^4 - 50445840208344634343126/1907912458650299010339*c_1001_13^3 - 12882710867494936494191/1907912458650299010339*c_1001_13^2 - 8065478426920289373748/1907912458650299010339*c_1001_13 - 1337681876135017996583/635970819550099670113, c_0011_13 - 230468214932991698437/1907912458650299010339*c_1001_13^15 - 1748443455557780672300/1907912458650299010339*c_1001_13^14 - 7326153578469702346145/1907912458650299010339*c_1001_13^13 - 15949430221157400306569/1907912458650299010339*c_1001_13^12 - 13477803124391092239073/635970819550099670113*c_1001_13^11 - 25893908558306535577270/635970819550099670113*c_1001_13^10 - 120390221171516439232402/1907912458650299010339*c_1001_13^9 - 132727195535312457936199/1907912458650299010339*c_1001_13^8 - 56250102574070280148244/635970819550099670113*c_1001_13^7 - 197950092787123059942509/1907912458650299010339*c_1001_13^6 - 41785168776067164627457/635970819550099670113*c_1001_13^5 - 52365859669931055111274/1907912458650299010339*c_1001_13^4 - 26983679806802633039191/1907912458650299010339*c_1001_13^3 - 8878166854335227484895/1907912458650299010339*c_1001_13^2 - 3253237621321802044103/1907912458650299010339*c_1001_13 - 1220660094963899724035/635970819550099670113, c_0011_3 - 79705185857246535250/1907912458650299010339*c_1001_13^15 - 557896616171647883480/1907912458650299010339*c_1001_13^14 - 2201389117811558548622/1907912458650299010339*c_1001_13^13 - 4178004273668742181016/1907912458650299010339*c_1001_13^12 - 3774281228013052146679/635970819550099670113*c_1001_13^11 - 6566589852917686784640/635970819550099670113*c_1001_13^10 - 29021077218964198231735/1907912458650299010339*c_1001_13^9 - 26485015204439840391574/1907912458650299010339*c_1001_13^8 - 13153352465098186880988/635970819550099670113*c_1001_13^7 - 41869902301471252166597/1907912458650299010339*c_1001_13^6 - 5395397050053627569488/635970819550099670113*c_1001_13^5 - 4011932378034642608305/1907912458650299010339*c_1001_13^4 - 5448057095589339042982/1907912458650299010339*c_1001_13^3 - 4736272002380488359286/1907912458650299010339*c_1001_13^2 - 1846778736564744360098/1907912458650299010339*c_1001_13 - 587895683453658616974/635970819550099670113, c_0101_0 + 36695899577071114135/1907912458650299010339*c_1001_13^15 + 245519097675842270108/1907912458650299010339*c_1001_13^14 + 964873085173468356104/1907912458650299010339*c_1001_13^13 + 1832071503753796626899/1907912458650299010339*c_1001_13^12 + 1836074632173487523256/635970819550099670113*c_1001_13^11 + 3077437237286720762796/635970819550099670113*c_1001_13^10 + 15220639244240277899326/1907912458650299010339*c_1001_13^9 + 16663194415651003710481/1907912458650299010339*c_1001_13^8 + 8960790323174199026039/635970819550099670113*c_1001_13^7 + 26455359209953799716250/1907912458650299010339*c_1001_13^6 + 6232569340349943406325/635970819550099670113*c_1001_13^5 + 19121287570842905388022/1907912458650299010339*c_1001_13^4 + 8512428621423772877164/1907912458650299010339*c_1001_13^3 + 4709396372674397199991/1907912458650299010339*c_1001_13^2 + 3274187082205008528407/1907912458650299010339*c_1001_13 - 24446025945018630000/635970819550099670113, c_0101_1 - 50244542662691075608/1907912458650299010339*c_1001_13^15 - 322686699748175475281/1907912458650299010339*c_1001_13^14 - 1213713085005403179545/1907912458650299010339*c_1001_13^13 - 2051142936549773935808/1907912458650299010339*c_1001_13^12 - 2167616437184419771493/635970819550099670113*c_1001_13^11 - 3366975379004401479714/635970819550099670113*c_1001_13^10 - 15539081555817334997065/1907912458650299010339*c_1001_13^9 - 14773169006670917523628/1907912458650299010339*c_1001_13^8 - 9041832490804332188375/635970819550099670113*c_1001_13^7 - 24096814111212280486760/1907912458650299010339*c_1001_13^6 - 3315244988659462843126/635970819550099670113*c_1001_13^5 - 17817080453264309626735/1907912458650299010339*c_1001_13^4 - 8749563364407285364168/1907912458650299010339*c_1001_13^3 - 1787125838719410337894/1907912458650299010339*c_1001_13^2 - 4060778865805348047452/1907912458650299010339*c_1001_13 - 588664923173281523210/635970819550099670113, c_0101_12 - 113806692901635767365/1907912458650299010339*c_1001_13^15 - 812565812692492486616/1907912458650299010339*c_1001_13^14 - 3296850838798501649849/1907912458650299010339*c_1001_13^13 - 6749418293857328059388/1907912458650299010339*c_1001_13^12 - 6157049786826226216587/635970819550099670113*c_1001_13^11 - 11246531256855045354125/635970819550099670113*c_1001_13^10 - 53109911480745792732877/1907912458650299010339*c_1001_13^9 - 59870191643692421138617/1907912458650299010339*c_1001_13^8 - 28300148812030335565323/635970819550099670113*c_1001_13^7 - 94162924444651879308191/1907912458650299010339*c_1001_13^6 - 19946762829292977911017/635970819550099670113*c_1001_13^5 - 49888079614897497426799/1907912458650299010339*c_1001_13^4 - 27045167543839696491370/1907912458650299010339*c_1001_13^3 - 9177222323900007946447/1907912458650299010339*c_1001_13^2 - 5007095033453254206653/1907912458650299010339*c_1001_13 - 136329556827974186794/635970819550099670113, c_0101_15 - 105885893380389847262/1907912458650299010339*c_1001_13^15 - 919709559087110770525/1907912458650299010339*c_1001_13^14 - 4190381735369978182462/1907912458650299010339*c_1001_13^13 - 10634392809207570080617/1907912458650299010339*c_1001_13^12 - 8375741385159502915077/635970819550099670113*c_1001_13^11 - 17823684620419619751430/635970819550099670113*c_1001_13^10 - 86965637265248500348157/1907912458650299010339*c_1001_13^9 - 109390822288363087655948/1907912458650299010339*c_1001_13^8 - 42330572008397112031211/635970819550099670113*c_1001_13^7 - 161553741421703872005853/1907912458650299010339*c_1001_13^6 - 44387500326703463465640/635970819550099670113*c_1001_13^5 - 63805030055389334291513/1907912458650299010339*c_1001_13^4 - 36365566203448852632464/1907912458650299010339*c_1001_13^3 - 13923076838511110815517/1907912458650299010339*c_1001_13^2 - 2327616502469639030431/1907912458650299010339*c_1001_13 - 1084692856718888013989/635970819550099670113, c_0101_2 - 33813779184913147286/635970819550099670113*c_1001_13^15 - 255588963572473004268/635970819550099670113*c_1001_13^14 - 1075118123941541721194/635970819550099670113*c_1001_13^13 - 2374173725725457844882/635970819550099670113*c_1001_13^12 - 6153816557566651878249/635970819550099670113*c_1001_13^11 - 11940456812372445588236/635970819550099670113*c_1001_13^10 - 18973978635719068998014/635970819550099670113*c_1001_13^9 - 22493027178819979607834/635970819550099670113*c_1001_13^8 - 29614992132627999779437/635970819550099670113*c_1001_13^7 - 34960172366944295796661/635970819550099670113*c_1001_13^6 - 24792212196734313608527/635970819550099670113*c_1001_13^5 - 17017253693803946021696/635970819550099670113*c_1001_13^4 - 10405727392999119543078/635970819550099670113*c_1001_13^3 - 3480243072127380415929/635970819550099670113*c_1001_13^2 - 2051479954312675755313/635970819550099670113*c_1001_13 - 889198929262302042515/635970819550099670113, c_0101_3 + 93753175888739661198/635970819550099670113*c_1001_13^15 + 678618291029123082964/635970819550099670113*c_1001_13^14 + 2744170247170189696091/635970819550099670113*c_1001_13^13 + 5545807910173316451173/635970819550099670113*c_1001_13^12 + 14600495952824211008551/635970819550099670113*c_1001_13^11 + 26826588085401330727224/635970819550099670113*c_1001_13^10 + 40186120903623651593184/635970819550099670113*c_1001_13^9 + 41575466058992013479717/635970819550099670113*c_1001_13^8 + 56629153185482725067210/635970819550099670113*c_1001_13^7 + 64392918119189400605074/635970819550099670113*c_1001_13^6 + 31254829787309673249509/635970819550099670113*c_1001_13^5 + 14980890482179256742320/635970819550099670113*c_1001_13^4 + 9213306288032274604041/635970819550099670113*c_1001_13^3 + 718405115476976914454/635970819550099670113*c_1001_13^2 + 790451538927843998461/635970819550099670113*c_1001_13 + 775588367844802901139/635970819550099670113, c_0101_6 + 349267150647656842337/1907912458650299010339*c_1001_13^15 + 2599534828198677701722/1907912458650299010339*c_1001_13^14 + 10762463614635138994591/1907912458650299010339*c_1001_13^13 + 22916786541745491935995/1907912458650299010339*c_1001_13^12 + 19763465303452495687383/635970819550099670113*c_1001_13^11 + 37472794502733522154298/635970819550099670113*c_1001_13^10 + 173520808682980423361849/1907912458650299010339*c_1001_13^9 + 191767286587072242685430/1907912458650299010339*c_1001_13^8 + 83843087429502684045062/635970819550099670113*c_1001_13^7 + 291224114238599983433602/1907912458650299010339*c_1001_13^6 + 58646272764931201696705/635970819550099670113*c_1001_13^5 + 92672575040811144264707/1907912458650299010339*c_1001_13^4 + 51061399243178485459385/1907912458650299010339*c_1001_13^3 + 8720645676580845100520/1907912458650299010339*c_1001_13^2 + 4103715837528202452583/1907912458650299010339*c_1001_13 + 1092761993588692147070/635970819550099670113, c_1001_0 + 38610275103816648095/635970819550099670113*c_1001_13^15 + 291068181944494578698/635970819550099670113*c_1001_13^14 + 1223230906158887459937/635970819550099670113*c_1001_13^13 + 2689713479673297655087/635970819550099670113*c_1001_13^12 + 6968531231581689000186/635970819550099670113*c_1001_13^11 + 13399319492610622815812/635970819550099670113*c_1001_13^10 + 21297935298293882152801/635970819550099670113*c_1001_13^9 + 24662948870637170883597/635970819550099670113*c_1001_13^8 + 32392557763179660837223/635970819550099670113*c_1001_13^7 + 37300612423938798454279/635970819550099670113*c_1001_13^6 + 26019151316270033777876/635970819550099670113*c_1001_13^5 + 15473459239380973264614/635970819550099670113*c_1001_13^4 + 8542761011597279875275/635970819550099670113*c_1001_13^3 + 1470242642445267079468/635970819550099670113*c_1001_13^2 + 752105809822138909756/635970819550099670113*c_1001_13 + 236323758101325725164/635970819550099670113, c_1001_1 + 72336101371060293981/635970819550099670113*c_1001_13^15 + 536852803291180443086/635970819550099670113*c_1001_13^14 + 2219405534740168159515/635970819550099670113*c_1001_13^13 + 4709929579150193077566/635970819550099670113*c_1001_13^12 + 12218298755308304730869/635970819550099670113*c_1001_13^11 + 23081545345091613674476/635970819550099670113*c_1001_13^10 + 35662624185664827757528/635970819550099670113*c_1001_13^9 + 39257717925687474052025/635970819550099670113*c_1001_13^8 + 51748384486297898872899/635970819550099670113*c_1001_13^7 + 59703624826369361790706/635970819550099670113*c_1001_13^6 + 36167719087201315792920/635970819550099670113*c_1001_13^5 + 19209294187700143216500/635970819550099670113*c_1001_13^4 + 10407642002131506333186/635970819550099670113*c_1001_13^3 + 2442631219057076560171/635970819550099670113*c_1001_13^2 + 219432128662666620684/635970819550099670113*c_1001_13 + 794896143501658815385/635970819550099670113, c_1001_13^16 + 8*c_1001_13^15 + 35*c_1001_13^14 + 83*c_1001_13^13 + 207*c_1001_13^12 + 417*c_1001_13^11 + 679*c_1001_13^10 + 829*c_1001_13^9 + 1029*c_1001_13^8 + 1235*c_1001_13^7 + 981*c_1001_13^6 + 559*c_1001_13^5 + 289*c_1001_13^4 + 118*c_1001_13^3 + 44*c_1001_13^2 + 24*c_1001_13 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 554.170 Total time: 554.370 seconds, Total memory usage: 3755.31MB