Magma V2.19-8 Wed Aug 21 2013 00:02:45 on localhost [Seed = 71462399] Type ? for help. Type -D to quit. Loading file "K13n1700__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1700 geometric_solution 11.54772381 oriented_manifold CS_known 0.0000000000000005 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 -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 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907652415057 0.817374282177 0 5 7 6 0132 0132 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 1 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736783708347 1.698211103837 8 0 10 9 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.008295099492 2.276592687804 11 12 9 0 0132 0132 1230 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 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.848038194004 0.617495642213 5 8 0 11 0132 0132 0132 2031 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790294402886 0.829731259101 4 1 8 7 0132 0132 1230 3120 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 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188262894354 0.381121351657 10 12 1 11 2310 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 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.657284602503 1.270902496424 5 9 10 1 3120 2031 3201 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 2 1 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462542225104 0.911797147807 2 4 12 5 0132 0132 2103 3012 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092956400771 0.352617284854 7 12 2 3 1302 0213 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 1 0 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.593645919910 0.716908673859 7 11 6 2 2310 3201 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 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.010610398937 0.527831556663 3 4 10 6 0132 1302 2310 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 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.135252825972 0.686267099598 8 3 9 6 2103 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.032399629746 0.435844939099 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_0110_12'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_5']), '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' : d['c_0101_0'], '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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0110_12']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0011_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_7']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_12'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : negation(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_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_7']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], '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_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_7']), '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_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_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_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0110_12, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 22170516269/1532362104*c_1001_0^3 - 4792243187/11875806306*c_1001_0^2 + 1804861549/36484812*c_1001_0 + 205628351141/5278136136, c_0011_0 - 1, c_0011_10 - 155/108*c_1001_0^3 + 1/9*c_1001_0^2 + 17/6*c_1001_0 + 1/4, c_0011_11 + 31/108*c_1001_0^3 + 2/3*c_1001_0^2 + 1/6*c_1001_0 - 5/4, c_0011_6 + 31/27*c_1001_0^3 - 7/9*c_1001_0^2 - 7/3*c_1001_0 + 1, c_0011_7 + 31/108*c_1001_0^3 + 2/3*c_1001_0^2 - 5/6*c_1001_0 - 5/4, c_0101_0 - 31/108*c_1001_0^3 - 2/3*c_1001_0^2 + 1/2*c_1001_0 + 9/4, c_0101_1 + 2/3*c_1001_0, c_0101_10 - 31/108*c_1001_0^3 - 2/3*c_1001_0^2 + 1/2*c_1001_0 + 5/4, c_0101_2 + 31/36*c_1001_0^3 - 13/9*c_1001_0^2 - 7/6*c_1001_0 + 9/4, c_0101_3 + 31/108*c_1001_0^3 - 25/9*c_1001_0^2 + 1/6*c_1001_0 + 19/4, c_0101_5 - 31/108*c_1001_0^3 - 2/3*c_1001_0^2 + 1/2*c_1001_0 + 1/4, c_0110_12 - 31/54*c_1001_0^3 + 19/9*c_1001_0^2 + 1/3*c_1001_0 - 7/2, c_1001_0^4 - 21/31*c_1001_0^3 - 90/31*c_1001_0^2 + 27/31*c_1001_0 + 81/31 ], 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_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0110_12, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 17062934867232575728835453/26505040091058039494858368*c_1001_0^17 - 770593915994358151264565747/450585681547986671412592256*c_1001_0^16 - 3895588162586598516525644593/675878522321980007118888384*c_1001_0\ ^15 - 480851154882329555995007905/34660437042152820877891712*c_1001\ _0^14 - 24645664813248997957456515847/1351757044643960014237776768*\ c_1001_0^13 - 33211172463847122399370438057/13517570446439600142377\ 76768*c_1001_0^12 - 12627874928147040363784338189/45058568154798667\ 1412592256*c_1001_0^11 - 1131371972706448927033539553/7951512027317\ 4118484575104*c_1001_0^10 - 6933323426780175682889764989/2252928407\ 73993335706296128*c_1001_0^9 - 5444579816441479241862770929/8448481\ 5290247500889861048*c_1001_0^8 - 382547834726440529730117773/608899\ 5696594414478548544*c_1001_0^7 - 20395559845941833518902338383/3379\ 39261160990003559444192*c_1001_0^6 - 431180781946477669903297715/4185006330167058867609216*c_1001_0^5 - 2817332439918123856510923419/39757560136587059242287552*c_1001_0^4 + 1030340019217876118511748717/337939261160990003559444192*c_1001_0^3 - 141760743216578928682080689/35572553806420000374678336*c_1001_0^2 - 80903929057145685226772687371/1351757044643960014237776768*c_1001\ _0 - 4834888190987497225719020647/337939261160990003559444192, c_0011_0 - 1, c_0011_10 + 2094386902547178317/362526535877257351664*c_1001_0^17 + 3731144143195429811/362526535877257351664*c_1001_0^16 + 6885833023589004387/181263267938628675832*c_1001_0^15 + 22299857523443963885/362526535877257351664*c_1001_0^14 + 7302431214242386845/362526535877257351664*c_1001_0^13 - 16111098572701990381/362526535877257351664*c_1001_0^12 - 72396968901098173459/362526535877257351664*c_1001_0^11 - 99518214629777899493/362526535877257351664*c_1001_0^10 - 20408203988484384835/181263267938628675832*c_1001_0^9 + 4321550174806287212/22657908492328584479*c_1001_0^8 + 81519850361185669881/181263267938628675832*c_1001_0^7 - 37833408073636070467/90631633969314337916*c_1001_0^6 - 124951798493722703005/362526535877257351664*c_1001_0^5 - 35077595734827697695/181263267938628675832*c_1001_0^4 - 97862429285917496571/90631633969314337916*c_1001_0^3 - 182080658435892108935/181263267938628675832*c_1001_0^2 + 314698094030074921721/362526535877257351664*c_1001_0 + 95134411293332531801/90631633969314337916, c_0011_11 + 637971016090418173/362526535877257351664*c_1001_0^17 + 5733454140741863235/362526535877257351664*c_1001_0^16 + 5751317535921978163/181263267938628675832*c_1001_0^15 + 39630346494532223197/362526535877257351664*c_1001_0^14 + 69695148867253072781/362526535877257351664*c_1001_0^13 + 57707657413088214099/362526535877257351664*c_1001_0^12 + 110001822971199072141/362526535877257351664*c_1001_0^11 + 82166430940067932891/362526535877257351664*c_1001_0^10 + 117908226795423621/181263267938628675832*c_1001_0^9 + 15938030335150226435/22657908492328584479*c_1001_0^8 + 108280232184815506145/181263267938628675832*c_1001_0^7 + 4397213121427966157/90631633969314337916*c_1001_0^6 + 253645759868402429107/362526535877257351664*c_1001_0^5 + 241537663268528231649/181263267938628675832*c_1001_0^4 - 19369710736986679875/90631633969314337916*c_1001_0^3 - 88367707241383276031/181263267938628675832*c_1001_0^2 + 189922969263844929129/362526535877257351664*c_1001_0 + 30429313102171094081/90631633969314337916, c_0011_6 - 10121616815296407977/362526535877257351664*c_1001_0^17 - 23908324685711780263/362526535877257351664*c_1001_0^16 - 42679064686785439983/181263267938628675832*c_1001_0^15 - 198664838296817440585/362526535877257351664*c_1001_0^14 - 243475440952623470745/362526535877257351664*c_1001_0^13 - 358955311367437005239/362526535877257351664*c_1001_0^12 - 386123355978918420281/362526535877257351664*c_1001_0^11 - 181649024264883432063/362526535877257351664*c_1001_0^10 - 269844086252152514705/181263267938628675832*c_1001_0^9 - 56932543700396779898/22657908492328584479*c_1001_0^8 - 441941732950885560189/181263267938628675832*c_1001_0^7 - 247773498319357370273/90631633969314337916*c_1001_0^6 - 1485258975406034211079/362526535877257351664*c_1001_0^5 - 440106530790679667165/181263267938628675832*c_1001_0^4 - 1008304934911725917/90631633969314337916*c_1001_0^3 - 178867594060933954957/181263267938628675832*c_1001_0^2 - 934216866066403303701/362526535877257351664*c_1001_0 - 56096921897460092621/90631633969314337916, c_0011_7 + 10622390133237506901/362526535877257351664*c_1001_0^17 + 25194963499315713371/362526535877257351664*c_1001_0^16 + 43417357516785062283/181263267938628675832*c_1001_0^15 + 199413984910997702821/362526535877257351664*c_1001_0^14 + 233065622484674920229/362526535877257351664*c_1001_0^13 + 307360315315941485467/362526535877257351664*c_1001_0^12 + 334346759010603620549/362526535877257351664*c_1001_0^11 + 115831911187374910195/362526535877257351664*c_1001_0^10 + 219272023468320577573/181263267938628675832*c_1001_0^9 + 59964291661279684081/22657908492328584479*c_1001_0^8 + 408215583533904767625/181263267938628675832*c_1001_0^7 + 159849168362660605933/90631633969314337916*c_1001_0^6 + 1490002592842623929291/362526535877257351664*c_1001_0^5 + 403114964079737718825/181263267938628675832*c_1001_0^4 - 103359179953376347127/90631633969314337916*c_1001_0^3 + 53964589453077687633/181263267938628675832*c_1001_0^2 + 1249259352672562727489/362526535877257351664*c_1001_0 + 36570899763115650649/90631633969314337916, c_0101_0 - 4030254651988012621/181263267938628675832*c_1001_0^17 - 8724373788836173787/181263267938628675832*c_1001_0^16 - 16279313257068736599/90631633969314337916*c_1001_0^15 - 72145513632652860933/181263267938628675832*c_1001_0^14 - 83949967918580064325/181263267938628675832*c_1001_0^13 - 123952645717634199139/181263267938628675832*c_1001_0^12 - 124310943109362569149/181263267938628675832*c_1001_0^11 - 47901248218632572587/181263267938628675832*c_1001_0^10 - 94155905517539223677/90631633969314337916*c_1001_0^9 - 39350094075104046863/22657908492328584479*c_1001_0^8 - 136852182506646930913/90631633969314337916*c_1001_0^7 - 69479738069738962503/45315816984657168958*c_1001_0^6 - 509074617902988809267/181263267938628675832*c_1001_0^5 - 88487013883263274801/90631633969314337916*c_1001_0^4 + 11660101099343933995/45315816984657168958*c_1001_0^3 - 46315061283584949661/90631633969314337916*c_1001_0^2 - 341295355427361372929/181263267938628675832*c_1001_0 + 3439426651108540953/45315816984657168958, c_0101_1 - 8053729156821431967/181263267938628675832*c_1001_0^17 - 20858982810716546185/181263267938628675832*c_1001_0^16 - 36349681245060991081/90631633969314337916*c_1001_0^15 - 174683617389876398375/181263267938628675832*c_1001_0^14 - 236271911886043652399/181263267938628675832*c_1001_0^13 - 340419025797147433225/181263267938628675832*c_1001_0^12 - 398297618295211521191/181263267938628675832*c_1001_0^11 - 243212069019873125769/181263267938628675832*c_1001_0^10 - 232135192581875967287/90631633969314337916*c_1001_0^9 - 102963626642599792280/22657908492328584479*c_1001_0^8 - 399921888368531684507/90631633969314337916*c_1001_0^7 - 221281486884520618749/45315816984657168958*c_1001_0^6 - 1480089967667100628825/181263267938628675832*c_1001_0^5 - 516109582846714269315/90631633969314337916*c_1001_0^4 - 69970112494946126469/45315816984657168958*c_1001_0^3 - 143270197306452384931/90631633969314337916*c_1001_0^2 - 647156768254444498115/181263267938628675832*c_1001_0 - 19552596273581456131/45315816984657168958, c_0101_10 + 728049992240262905/181263267938628675832*c_1001_0^17 + 886444710743836279/181263267938628675832*c_1001_0^16 + 2949507491739036199/90631633969314337916*c_1001_0^15 + 10429446716303530553/181263267938628675832*c_1001_0^14 + 13628806717834467233/181263267938628675832*c_1001_0^13 + 30972785446738370343/181263267938628675832*c_1001_0^12 + 21212658385914120337/181263267938628675832*c_1001_0^11 + 12840425659455725207/181263267938628675832*c_1001_0^10 + 22786662678652474777/90631633969314337916*c_1001_0^9 + 403738212067266559/22657908492328584479*c_1001_0^8 + 15654115298187930721/90631633969314337916*c_1001_0^7 + 22721746121005015417/45315816984657168958*c_1001_0^6 + 75515077054916729903/181263267938628675832*c_1001_0^5 - 13184635831487431271/90631633969314337916*c_1001_0^4 + 7625758034542950685/45315816984657168958*c_1001_0^3 - 36819877008675115615/90631633969314337916*c_1001_0^2 - 31503092260312992699/181263267938628675832*c_1001_0 - 35654343278394268821/45315816984657168958, c_0101_2 - 4881505533586110493/362526535877257351664*c_1001_0^17 - 15145289918699430403/362526535877257351664*c_1001_0^16 - 25050847074732519019/181263267938628675832*c_1001_0^15 - 123514223999652006925/362526535877257351664*c_1001_0^14 - 181364851356866350477/362526535877257351664*c_1001_0^13 - 238546963744943084627/362526535877257351664*c_1001_0^12 - 246176841497257220301/362526535877257351664*c_1001_0^11 - 158128140975887951467/362526535877257351664*c_1001_0^10 - 118418115002415164349/181263267938628675832*c_1001_0^9 - 30289783653916836556/22657908492328584479*c_1001_0^8 - 361077865504504857481/181263267938628675832*c_1001_0^7 - 153989618967023470973/90631633969314337916*c_1001_0^6 - 658774325625537814691/362526535877257351664*c_1001_0^5 - 446588812274630913969/181263267938628675832*c_1001_0^4 - 54726799648320683225/90631633969314337916*c_1001_0^3 + 145275397839956709679/181263267938628675832*c_1001_0^2 - 243226049676484625145/362526535877257351664*c_1001_0 - 147101699121745402849/90631633969314337916, c_0101_3 - 11532451829437635573/362526535877257351664*c_1001_0^17 - 28997009592539203147/362526535877257351664*c_1001_0^16 - 49036545637943531267/181263267938628675832*c_1001_0^15 - 235481073646802041653/362526535877257351664*c_1001_0^14 - 284005329940456550229/362526535877257351664*c_1001_0^13 - 393369894090618794107/362526535877257351664*c_1001_0^12 - 428667745760724407637/362526535877257351664*c_1001_0^11 - 120944825433207804611/362526535877257351664*c_1001_0^10 - 255174810527972135621/181263267938628675832*c_1001_0^9 - 64112752188232199284/22657908492328584479*c_1001_0^8 - 428715886465627136425/181263267938628675832*c_1001_0^7 - 271117285562890233241/90631633969314337916*c_1001_0^6 - 1571550998588468915115/362526535877257351664*c_1001_0^5 - 409841933737873523513/181263267938628675832*c_1001_0^4 + 41759829291086465831/90631633969314337916*c_1001_0^3 - 117166258770536977905/181263267938628675832*c_1001_0^2 - 866286292748987585329/362526535877257351664*c_1001_0 - 28997938226222783353/90631633969314337916, c_0101_5 + 1, c_0110_12 - 2013502677909152891/45315816984657168958*c_1001_0^17 - 5474229902236202201/45315816984657168958*c_1001_0^16 - 8984707344713064183/22657908492328584479*c_1001_0^15 - 43658946831631741277/45315816984657168958*c_1001_0^14 - 56561655858971984143/45315816984657168958*c_1001_0^13 - 72914512376833512987/45315816984657168958*c_1001_0^12 - 84360582625502752507/45315816984657168958*c_1001_0^11 - 36537607180471612513/45315816984657168958*c_1001_0^10 - 43487284273945836173/22657908492328584479*c_1001_0^9 - 105327962345465462574/22657908492328584479*c_1001_0^8 - 96220834107852236291/22657908492328584479*c_1001_0^7 - 89363812948324547355/22657908492328584479*c_1001_0^6 - 317497028642528215209/45315816984657168958*c_1001_0^5 - 93733129594163478489/22657908492328584479*c_1001_0^4 + 11166110210599152809/22657908492328584479*c_1001_0^3 - 12063167791155191279/22657908492328584479*c_1001_0^2 - 216404563918633564583/45315816984657168958*c_1001_0 - 20499787731418718613/22657908492328584479, c_1001_0^18 + 3*c_1001_0^17 + 10*c_1001_0^16 + 25*c_1001_0^15 + 37*c_1001_0^14 + 51*c_1001_0^13 + 61*c_1001_0^12 + 43*c_1001_0^11 + 62*c_1001_0^10 + 120*c_1001_0^9 + 138*c_1001_0^8 + 140*c_1001_0^7 + 207*c_1001_0^6 + 182*c_1001_0^5 + 60*c_1001_0^4 + 26*c_1001_0^3 + 101*c_1001_0^2 + 56*c_1001_0 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.820 Total time: 10.029 seconds, Total memory usage: 81.62MB