Magma V2.19-8 Wed Aug 21 2013 00:14:32 on localhost [Seed = 3667703360] Type ? for help. Type -D to quit. Loading file "K13n3960__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3960 geometric_solution 12.27686443 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 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 1 8 -9 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290029234667 0.719499591056 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 8 -8 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223799454515 1.290179581968 5 0 6 7 0132 0132 0132 0132 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 -1 1 0 9 0 0 -9 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.494973286438 1.107371390775 7 8 9 0 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 0 8 -8 1 0 -1 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711913704200 0.836012585096 9 8 0 10 0132 0321 0132 0132 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 9 -9 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.741942784576 0.690662748527 2 1 11 8 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 -9 0 0 9 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168328404230 0.793950722801 11 10 1 2 0132 2310 0132 0132 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 1 0 -1 -8 0 8 0 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290029234667 0.719499591056 3 12 2 1 0132 0132 0132 0132 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 -1 0 9 -8 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168328404230 0.793950722801 5 3 12 4 3201 0132 0132 0321 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 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684853218609 0.888869158126 4 10 11 3 0132 0132 2310 0132 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 8 -8 0 0 -1 1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.044700430950 0.841201653776 12 9 4 6 2103 0132 0132 3201 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 9 -9 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.741942784576 0.690662748527 6 9 12 5 0132 3201 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 8 0 -8 0 0 -8 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711913704200 0.836012585096 11 7 10 8 2310 0132 2103 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684853218609 0.888869158126 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_10']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0110_10']), 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_1001_5']), 's_0_10' : 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' : 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' : negation(d['1']), 's_2_6' : negation(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' : negation(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' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : d['c_1100_1'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_10']), 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : negation(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' : negation(d['c_0110_10']), 's_1_7' : d['1'], 's_1_6' : 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_10']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0110_10'])})} 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_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0110_10, c_1001_0, c_1001_10, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 1292068545641/66769536*c_1100_1^7 + 64759792205081/647233728*c_1100_1^6 + 1658455341355469/6688081856*c_1100_1^5 + 5042807632879845/13376163712*c_1100_1^4 + 5049313347381131/13376163712*c_1100_1^3 + 2496603167582977/10032122784*c_1100_1^2 + 32591207613833/323616864*c_1100_1 + 261778765912969/13376163712, c_0011_0 - 1, c_0011_10 - 4207/128*c_1100_1^7 - 25465/128*c_1100_1^6 - 70493/128*c_1100_1^5 - 116067/128*c_1100_1^4 - 123445/128*c_1100_1^3 - 85139/128*c_1100_1^2 - 35527/128*c_1100_1 - 7017/128, c_0011_11 - 4207/192*c_1100_1^7 - 7687/64*c_1100_1^6 - 59891/192*c_1100_1^5 - 31039/64*c_1100_1^4 - 31067/64*c_1100_1^3 - 59843/192*c_1100_1^2 - 7583/64*c_1100_1 - 3883/192, c_0011_12 - 4207/192*c_1100_1^7 - 7687/64*c_1100_1^6 - 59891/192*c_1100_1^5 - 31039/64*c_1100_1^4 - 31067/64*c_1100_1^3 - 59843/192*c_1100_1^2 - 7583/64*c_1100_1 - 3883/192, c_0101_0 - 4207/384*c_1100_1^7 - 10091/128*c_1100_1^6 - 91697/384*c_1100_1^5 - 53989/128*c_1100_1^4 - 61311/128*c_1100_1^3 - 135731/384*c_1100_1^2 - 20361/128*c_1100_1 - 13285/384, c_0101_1 + 1803/64*c_1100_1^7 + 15383/96*c_1100_1^6 + 83771/192*c_1100_1^5 + 5785/8*c_1100_1^4 + 50009/64*c_1100_1^3 + 17649/32*c_1100_1^2 + 45521/192*c_1100_1 + 2347/48, c_0101_10 + 57095/768*c_1100_1^7 + 280345/768*c_1100_1^6 + 218395/256*c_1100_1^5 + 308561/256*c_1100_1^4 + 282887/256*c_1100_1^3 + 502099/768*c_1100_1^2 + 177515/768*c_1100_1 + 9619/256, c_0101_11 - 1803/64*c_1100_1^7 - 15383/96*c_1100_1^6 - 83771/192*c_1100_1^5 - 5785/8*c_1100_1^4 - 50009/64*c_1100_1^3 - 17649/32*c_1100_1^2 - 45329/192*c_1100_1 - 2299/48, c_0110_10 + 3005/384*c_1100_1^7 + 4117/128*c_1100_1^6 + 26665/384*c_1100_1^5 + 12429/128*c_1100_1^4 + 12465/128*c_1100_1^3 + 26521/384*c_1100_1^2 + 4125/128*c_1100_1 + 2849/384, c_1001_0 - 601/96*c_1100_1^7 - 7705/192*c_1100_1^6 - 995/8*c_1100_1^5 - 15241/64*c_1100_1^4 - 9471/32*c_1100_1^3 - 46051/192*c_1100_1^2 - 5693/48*c_1100_1 - 1835/64, c_1001_10 + 11419/256*c_1100_1^7 + 163399/768*c_1100_1^6 + 362291/768*c_1100_1^5 + 159547/256*c_1100_1^4 + 133689/256*c_1100_1^3 + 69895/256*c_1100_1^2 + 61001/768*c_1100_1 + 6859/768, c_1001_5 - 601/96*c_1100_1^7 - 7705/192*c_1100_1^6 - 995/8*c_1100_1^5 - 15241/64*c_1100_1^4 - 9471/32*c_1100_1^3 - 46051/192*c_1100_1^2 - 5645/48*c_1100_1 - 1771/64, c_1100_1^8 + 3552/601*c_1100_1^7 + 10164/601*c_1100_1^6 + 18080/601*c_1100_1^5 + 21750/601*c_1100_1^4 + 18080/601*c_1100_1^3 + 10164/601*c_1100_1^2 + 3552/601*c_1100_1 + 1 ], 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_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0110_10, c_1001_0, c_1001_10, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1813281090995679761173202621/8520217063187437032240114*c_1001_5^18 - 3196772595259898323523228/4260108531593718516120057*c_1001_5^17 + 191510202983114203234499176651/8520217063187437032240114*c_1001_5^1\ 6 + 99929002302193535875408198663/4260108531593718516120057*c_1001_\ 5^15 - 138066265531189618155540893122/1420036177197906172040019*c_1\ 001_5^14 - 11499201230021142563028107923/218467104184293257236926*c\ _1001_5^13 + 2041342065616798916608127169017/8520217063187437032240\ 114*c_1001_5^12 + 2382455475846363835120698541/21846710418429325723\ 6926*c_1001_5^11 - 173975339218018536399916531547/44843247700986510\ 6960006*c_1001_5^10 + 1151890172812976687162594235887/8520217063187\ 437032240114*c_1001_5^9 + 1774409083082043191139405057808/426010853\ 1593718516120057*c_1001_5^8 - 1082120727881037996479990288608/42601\ 08531593718516120057*c_1001_5^7 - 2379982208574188798563543386857/8\ 520217063187437032240114*c_1001_5^6 + 306372648293645594249496577808/1420036177197906172040019*c_1001_5^5 + 838300277892432912960341712691/8520217063187437032240114*c_1001_5\ ^4 - 467328351090093029688877741759/4260108531593718516120057*c_100\ 1_5^3 - 108189409071102937386845941399/4260108531593718516120057*c_\ 1001_5^2 + 2148279475501089410336798630/109233552092146628618463*c_\ 1001_5 + 10036585918239665029999750558/4260108531593718516120057, c_0011_0 - 1, c_0011_10 + 113384775417492142707158/5749134320639296243077*c_1001_5^18 - 82811722288212127774604/5749134320639296243077*c_1001_5^17 + 4026514197245947679312505/1916378106879765414359*c_1001_5^16 + 3649900785436392912086956/5749134320639296243077*c_1001_5^15 - 16563786725842241469360829/1916378106879765414359*c_1001_5^14 + 5708008510565879257680211/5749134320639296243077*c_1001_5^13 + 106041835971247111760349239/5749134320639296243077*c_1001_5^12 - 55180280717236733506252352/5749134320639296243077*c_1001_5^11 - 138129721913372626401864095/5749134320639296243077*c_1001_5^10 + 128362911494549388639089240/5749134320639296243077*c_1001_5^9 + 109925113770655371808338022/5749134320639296243077*c_1001_5^8 - 50163641051294050869647827/1916378106879765414359*c_1001_5^7 - 16048283348132679538749242/1916378106879765414359*c_1001_5^6 + 98346628845761449642830320/5749134320639296243077*c_1001_5^5 + 3250450735487114872313726/5749134320639296243077*c_1001_5^4 - 13435085366324398738067700/1916378106879765414359*c_1001_5^3 + 646993310549856280852165/5749134320639296243077*c_1001_5^2 + 6360634395282109334885690/5749134320639296243077*c_1001_5 - 144188475709502531573659/5749134320639296243077, c_0011_11 + 58810350521953732104344/5749134320639296243077*c_1001_5^18 - 41295202586104149216347/5749134320639296243077*c_1001_5^17 + 2087612193047677395950554/1916378106879765414359*c_1001_5^16 + 2071646302308811432340881/5749134320639296243077*c_1001_5^15 - 8622395927981605352781331/1916378106879765414359*c_1001_5^14 + 2291136566141578004473810/5749134320639296243077*c_1001_5^13 + 55630847334800027191949735/5749134320639296243077*c_1001_5^12 - 27510089476446907634674688/5749134320639296243077*c_1001_5^11 - 73385355616028131341156230/5749134320639296243077*c_1001_5^10 + 65831126575009627926093362/5749134320639296243077*c_1001_5^9 + 59613728095789077875258317/5749134320639296243077*c_1001_5^8 - 26133965916781942604786117/1916378106879765414359*c_1001_5^7 - 9033012658015617044182187/1916378106879765414359*c_1001_5^6 + 51944185359573552241587971/5749134320639296243077*c_1001_5^5 + 2569033188672001515186548/5749134320639296243077*c_1001_5^4 - 7187588316031590419264684/1916378106879765414359*c_1001_5^3 + 178293739236950797835053/5749134320639296243077*c_1001_5^2 + 3452094503771254596714002/5749134320639296243077*c_1001_5 - 80420660227307312668525/5749134320639296243077, c_0011_12 - 83018449446351956521316/5749134320639296243077*c_1001_5^18 + 61314118216593027582259/5749134320639296243077*c_1001_5^17 - 2948430704089349057070315/1916378106879765414359*c_1001_5^16 - 2599274151058225038480070/5749134320639296243077*c_1001_5^15 + 36366865091958830579795386/5749134320639296243077*c_1001_5^14 - 1484196995056107225732994/1916378106879765414359*c_1001_5^13 - 25821970658185643332787961/1916378106879765414359*c_1001_5^12 + 13626879204778494874993407/1916378106879765414359*c_1001_5^11 + 100590454209145628345727166/5749134320639296243077*c_1001_5^10 - 94401096554678458526921735/5749134320639296243077*c_1001_5^9 - 79622628789117551580654902/5749134320639296243077*c_1001_5^8 + 36756593650753558200524221/1916378106879765414359*c_1001_5^7 + 11506711037067340397364727/1916378106879765414359*c_1001_5^6 - 71873808405644567592860888/5749134320639296243077*c_1001_5^5 - 684710801862401449164124/1916378106879765414359*c_1001_5^4 + 29390119748912383900365418/5749134320639296243077*c_1001_5^3 - 190337651774179439641267/1916378106879765414359*c_1001_5^2 - 1545299170293550666547437/1916378106879765414359*c_1001_5 + 118026148469727793863737/5749134320639296243077, c_0101_0 + 52160436868192411153477/5749134320639296243077*c_1001_5^18 - 14067676357606486064286/1916378106879765414359*c_1001_5^17 + 1854357737341400649394067/1916378106879765414359*c_1001_5^16 + 1236804540460287335302838/5749134320639296243077*c_1001_5^15 - 22655968918672670210869342/5749134320639296243077*c_1001_5^14 + 4264788119776546507373275/5749134320639296243077*c_1001_5^13 + 47333884774264860104904605/5749134320639296243077*c_1001_5^12 - 28091261006751172048618967/5749134320639296243077*c_1001_5^11 - 19836797411267317173752613/1916378106879765414359*c_1001_5^10 + 60916108922777119929467140/5749134320639296243077*c_1001_5^9 + 14857462586545099762455881/1916378106879765414359*c_1001_5^8 - 22857269751812069593967290/1916378106879765414359*c_1001_5^7 - 5775332288554856034332497/1916378106879765414359*c_1001_5^6 + 43275400215527317120703020/5749134320639296243077*c_1001_5^5 - 442110596934626778197257/5749134320639296243077*c_1001_5^4 - 17186951345070185012283988/5749134320639296243077*c_1001_5^3 + 655484553612496976006098/5749134320639296243077*c_1001_5^2 + 2638539022868113851537278/5749134320639296243077*c_1001_5 - 20177856198954734974686/1916378106879765414359, c_0101_1 - c_1001_5, c_0101_10 - 101458497596567562393044/5749134320639296243077*c_1001_5^18 + 76217353477998061324670/5749134320639296243077*c_1001_5^17 - 10811828179617002875292222/5749134320639296243077*c_1001_5^16 - 1012751964073558628373619/1916378106879765414359*c_1001_5^15 + 44390516921073856128167197/5749134320639296243077*c_1001_5^14 - 5933979062790703283779411/5749134320639296243077*c_1001_5^13 - 31424404906309275871518461/1916378106879765414359*c_1001_5^12 + 50768578336558064837911331/5749134320639296243077*c_1001_5^11 + 121814519923229649012379717/5749134320639296243077*c_1001_5^10 - 115961459456423300379931772/5749134320639296243077*c_1001_5^9 - 95655456418494946032800131/5749134320639296243077*c_1001_5^8 + 134685191704507811723621962/5749134320639296243077*c_1001_5^7 + 40866573108041878048619836/5749134320639296243077*c_1001_5^6 - 87415311538366986112099633/5749134320639296243077*c_1001_5^5 - 1963704377893471515718519/5749134320639296243077*c_1001_5^4 + 35610390114475531268022671/5749134320639296243077*c_1001_5^3 - 272259813182318123639851/1916378106879765414359*c_1001_5^2 - 5611531086887725035538649/5749134320639296243077*c_1001_5 + 141056252777312052596900/5749134320639296243077, c_0101_11 - 112277014149088497620660/5749134320639296243077*c_1001_5^18 + 83018449446351956521316/5749134320639296243077*c_1001_5^17 - 3987559206006657925124073/1916378106879765414359*c_1001_5^16 - 3505179444131687567061655/5749134320639296243077*c_1001_5^15 + 16398078340976650517017990/1916378106879765414359*c_1001_5^14 - 6052071271704936222217186/5749134320639296243077*c_1001_5^13 - 104792943781894786507703198/5749134320639296243077*c_1001_5^12 + 55347340187186495967093863/5749134320639296243077*c_1001_5^11 + 136067936684627987625179939/5749134320639296243077*c_1001_5^10 - 127761491633225044769926886/5749134320639296243077*c_1001_5^9 - 107697528913680837190266265/5749134320639296243077*c_1001_5^8 + 49744792520517473368488034/1916378106879765414359*c_1001_5^7 + 15564494942721681690703339/1916378106879765414359*c_1001_5^6 - 97282984020542491362043121/5749134320639296243077*c_1001_5^5 - 2790406003499283324878012/5749134320639296243077*c_1001_5^4 + 13259736386560313182678044/1916378106879765414359*c_1001_5^3 - 759481140894817007097118/5749134320639296243077*c_1001_5^2 - 6283634042092499332179536/5749134320639296243077*c_1001_5 + 144816944917112094815911/5749134320639296243077, c_0110_10 - 221925068292152464416670/5749134320639296243077*c_1001_5^18 + 163336728296377268946409/5749134320639296243077*c_1001_5^17 - 23643866205492581954632882/5749134320639296243077*c_1001_5^16 - 2336757508530941012121132/1916378106879765414359*c_1001_5^15 + 97302043687101031363547501/5749134320639296243077*c_1001_5^14 - 11691205525729368240637250/5749134320639296243077*c_1001_5^13 - 69163366882779458856490862/1916378106879765414359*c_1001_5^12 + 109054030989189210711712972/5749134320639296243077*c_1001_5^11 + 269795378068284309468043883/5749134320639296243077*c_1001_5^10 - 252529156429827644976766660/5749134320639296243077*c_1001_5^9 - 213923321972851837590006821/5749134320639296243077*c_1001_5^8 + 295500620027562584917195679/5749134320639296243077*c_1001_5^7 + 92922685486592080608120248/5749134320639296243077*c_1001_5^6 - 192876687829861622324063399/5749134320639296243077*c_1001_5^5 - 5615588546430937845921389/5749134320639296243077*c_1001_5^4 + 78911902330318519097544919/5749134320639296243077*c_1001_5^3 - 514663122244675696332093/1916378106879765414359*c_1001_5^2 - 12467653392612636871210159/5749134320639296243077*c_1001_5 + 306645857949098047818706/5749134320639296243077, c_1001_0 + 112277014149088497620660/5749134320639296243077*c_1001_5^18 - 83018449446351956521316/5749134320639296243077*c_1001_5^17 + 3987559206006657925124073/1916378106879765414359*c_1001_5^16 + 3505179444131687567061655/5749134320639296243077*c_1001_5^15 - 16398078340976650517017990/1916378106879765414359*c_1001_5^14 + 6052071271704936222217186/5749134320639296243077*c_1001_5^13 + 104792943781894786507703198/5749134320639296243077*c_1001_5^12 - 55347340187186495967093863/5749134320639296243077*c_1001_5^11 - 136067936684627987625179939/5749134320639296243077*c_1001_5^10 + 127761491633225044769926886/5749134320639296243077*c_1001_5^9 + 107697528913680837190266265/5749134320639296243077*c_1001_5^8 - 49744792520517473368488034/1916378106879765414359*c_1001_5^7 - 15564494942721681690703339/1916378106879765414359*c_1001_5^6 + 97282984020542491362043121/5749134320639296243077*c_1001_5^5 + 2790406003499283324878012/5749134320639296243077*c_1001_5^4 - 13259736386560313182678044/1916378106879765414359*c_1001_5^3 + 759481140894817007097118/5749134320639296243077*c_1001_5^2 + 6283634042092499332179536/5749134320639296243077*c_1001_5 - 144816944917112094815911/5749134320639296243077, c_1001_10 + 101458497596567562393044/5749134320639296243077*c_1001_5^18 - 76217353477998061324670/5749134320639296243077*c_1001_5^17 + 10811828179617002875292222/5749134320639296243077*c_1001_5^16 + 1012751964073558628373619/1916378106879765414359*c_1001_5^15 - 44390516921073856128167197/5749134320639296243077*c_1001_5^14 + 5933979062790703283779411/5749134320639296243077*c_1001_5^13 + 31424404906309275871518461/1916378106879765414359*c_1001_5^12 - 50768578336558064837911331/5749134320639296243077*c_1001_5^11 - 121814519923229649012379717/5749134320639296243077*c_1001_5^10 + 115961459456423300379931772/5749134320639296243077*c_1001_5^9 + 95655456418494946032800131/5749134320639296243077*c_1001_5^8 - 134685191704507811723621962/5749134320639296243077*c_1001_5^7 - 40866573108041878048619836/5749134320639296243077*c_1001_5^6 + 87415311538366986112099633/5749134320639296243077*c_1001_5^5 + 1963704377893471515718519/5749134320639296243077*c_1001_5^4 - 35610390114475531268022671/5749134320639296243077*c_1001_5^3 + 272259813182318123639851/1916378106879765414359*c_1001_5^2 + 5611531086887725035538649/5749134320639296243077*c_1001_5 - 141056252777312052596900/5749134320639296243077, c_1001_5^19 + 106*c_1001_5^17 + 110*c_1001_5^16 - 415*c_1001_5^15 - 270*c_1001_5^14 + 973*c_1001_5^13 + 197*c_1001_5^12 - 1576*c_1001_5^11 + 242*c_1001_5^10 + 1800*c_1001_5^9 - 620*c_1001_5^8 - 1398*c_1001_5^7 + 559*c_1001_5^6 + 665*c_1001_5^5 - 336*c_1001_5^4 - 255*c_1001_5^3 + 61*c_1001_5^2 + 40*c_1001_5 - 1, c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.350 Total time: 4.559 seconds, Total memory usage: 81.62MB