Magma V2.19-8 Tue Aug 20 2013 23:45:40 on localhost [Seed = 778587081] Type ? for help. Type -D to quit. Loading file "K13n4634__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4634 geometric_solution 11.66004586 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 -5 4 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486694389756 0.951959289184 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 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 -5 5 0 4 0 0 -4 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.921759594390 0.752854886833 6 0 9 8 1023 0132 0132 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 -1 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631092411487 0.691627278503 10 6 10 0 0132 1023 1023 0132 0 0 0 0 0 0 1 -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 0 -5 5 5 0 -5 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422251440185 0.829079879702 11 8 0 6 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 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 -4 4 0 0 -4 4 -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.631092411487 0.691627278503 10 1 7 11 1023 0132 2103 2103 0 0 0 0 0 -1 1 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 5 -5 0 0 0 0 0 -1 5 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718172538682 0.709317243513 3 2 1 4 1023 1023 0132 1023 0 0 0 0 0 -1 0 1 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 4 0 -4 0 0 4 -4 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.486694389756 0.951959289184 5 9 10 1 2103 3012 0132 0132 0 0 0 0 0 0 -1 1 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 5 -5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718172538682 0.709317243513 11 4 2 9 2103 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.830093536939 0.596534591711 7 8 11 2 1230 0321 3012 0132 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 -1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.878507808389 1.037761863867 3 5 3 7 0132 1023 1023 0132 0 0 0 0 0 0 -1 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 0 5 -5 -5 0 5 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.643706612989 0.533308932901 4 9 8 5 0132 1230 2103 2103 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 -4 0 4 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.878507808389 1.037761863867 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_0110_6'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0110_6'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : negation(d['1']), 's_0_11' : 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_0'], 's_2_0' : negation(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_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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1100_0']), 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : negation(d['c_1100_0']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_0'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_9, c_0110_6, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 15965/41*c_1001_2*c_1100_0^3 + 208209/205*c_1001_2*c_1100_0^2 - 849541/410*c_1001_2*c_1100_0 + 41684/205*c_1001_2 + 23188/615*c_1100_0^3 - 82628/615*c_1100_0^2 + 178882/615*c_1100_0 - 124232/615, c_0011_0 - 1, c_0011_11 - 2/3*c_1001_2*c_1100_0^3 + 2*c_1001_2*c_1100_0^2 - 11/3*c_1001_2*c_1100_0 + c_1001_2 - 1, c_0011_7 - 2/3*c_1001_2*c_1100_0^3 + 4/3*c_1001_2*c_1100_0^2 - 11/3*c_1001_2*c_1100_0 - 2/3*c_1001_2 - 2/3*c_1100_0^2 + 2*c_1100_0 - 5/3, c_0011_9 + c_1001_2 + 2/3*c_1100_0^2 - c_1100_0 + 2/3, c_0101_0 - c_1001_2 + 2/3*c_1100_0^3 - 2*c_1100_0^2 + 11/3*c_1100_0 - 1, c_0101_1 + 4/3*c_1001_2*c_1100_0^3 - 10/3*c_1001_2*c_1100_0^2 + 22/3*c_1001_2*c_1100_0 - 7/3*c_1001_2 + 2/3*c_1100_0^3 - 2*c_1100_0^2 + 8/3*c_1100_0 + 1, c_0101_11 + c_1001_2 - 2/3*c_1100_0^3 + 8/3*c_1100_0^2 - 14/3*c_1100_0 + 5/3, c_0101_3 - 2*c_1001_2 + 2/3*c_1100_0^3 - 8/3*c_1100_0^2 + 14/3*c_1100_0 - 5/3, c_0101_9 - 2/3*c_1001_2*c_1100_0^3 + 2*c_1001_2*c_1100_0^2 - 11/3*c_1001_2*c_1100_0 + 2*c_1001_2 - 2/3*c_1100_0^3 + 2*c_1100_0^2 - 14/3*c_1100_0 + 1, c_0110_6 - c_1001_2 - 2/3*c_1100_0^2 + c_1100_0 - 2/3, c_1001_2^2 - 2/3*c_1001_2*c_1100_0^3 + 8/3*c_1001_2*c_1100_0^2 - 14/3*c_1001_2*c_1100_0 + 5/3*c_1001_2 - 1/3*c_1100_0^2 - 1/3, c_1100_0^4 - 3*c_1100_0^3 + 13/2*c_1100_0^2 - 3*c_1100_0 + 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_9, c_0110_6, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 79139232757394303334221744125236354/1105379571114815746620051692799\ 2957*c_1001_2^19 + 617613984808954250048774423157721911/11053795711\ 148157466200516927992957*c_1001_2^18 + 6288565544173556144046620630661737/24509524858421635180045492079807\ *c_1001_2^17 + 2582804051648631200590257147771410797/31582273460423\ 30704628719122283702*c_1001_2^16 + 710154413927111344406279733519161140/356574055198327660200016675096\ 547*c_1001_2^15 + 123537729096266723526040629342280121/312695776835\ 87432719096228933502*c_1001_2^14 + 145001908044522434372288172623188409645/221075914222963149324010338\ 55985914*c_1001_2^13 + 830894934662160524851386655452345769345/8843\ 0365689185259729604135423943656*c_1001_2^12 + 263604679555702331976057457228040933929/221075914222963149324010338\ 55985914*c_1001_2^11 + 600069591440828293771860233524904908115/4421\ 5182844592629864802067711971828*c_1001_2^10 + 1248859155730747857982155671879044886293/88430365689185259729604135\ 423943656*c_1001_2^9 + 71119164027602966618044416367013403193/52017\ 86217010897631153184436702568*c_1001_2^8 + 545316857542038766665080806445900238645/442151828445926298648020677\ 11971828*c_1001_2^7 + 457130562766811835855898597313848306411/44215\ 182844592629864802067711971828*c_1001_2^6 + 696272905325762987140089023286652252941/884303656891852597296041354\ 23943656*c_1001_2^5 + 231338828425381697246430440853772585417/44215\ 182844592629864802067711971828*c_1001_2^4 + 259376345898593737955618199408436285819/884303656891852597296041354\ 23943656*c_1001_2^3 + 8220220551508140861843725472290757351/6316454\ 692084661409257438244567404*c_1001_2^2 + 18591241617921468629535370971634693031/4421518284459262986480206771\ 1971828*c_1001_2 + 3963566853951371564069424723370342215/4421518284\ 4592629864802067711971828, c_0011_0 - 1, c_0011_11 - 136095776245144688246536/901915798968514917724273*c_1001_2^\ 19 - 895844488470990797886936/901915798968514917724273*c_1001_2^18 - 3723877657019359481513092/901915798968514917724273*c_1001_2^17 - 10417479490828886495878068/901915798968514917724273*c_1001_2^16 - 720542927614918275435128/29094058031242416700783*c_1001_2^15 - 38448903450187961025749314/901915798968514917724273*c_1001_2^14 - 54678145701574548069328097/901915798968514917724273*c_1001_2^13 - 66456682820561273155320931/901915798968514917724273*c_1001_2^12 - 71724911395752120583381650/901915798968514917724273*c_1001_2^11 - 69077544744783556672953353/901915798968514917724273*c_1001_2^10 - 61510399462154845822076811/901915798968514917724273*c_1001_2^9 - 52570898176343516662878682/901915798968514917724273*c_1001_2^8 - 40824773630529636942046553/901915798968514917724273*c_1001_2^7 - 27403191712090976281499728/901915798968514917724273*c_1001_2^6 - 13569275195264296758795934/901915798968514917724273*c_1001_2^5 - 1993078350680149792226918/901915798968514917724273*c_1001_2^4 + 2978335371075056665218203/901915798968514917724273*c_1001_2^3 + 1845141536345344408374279/901915798968514917724273*c_1001_2^2 + 224224320551763918097531/901915798968514917724273*c_1001_2 - 839134885471406233910835/901915798968514917724273, c_0011_7 - 1149590792509185917280136/901915798968514917724273*c_1001_2^\ 19 - 7150644322634411574972512/901915798968514917724273*c_1001_2^18 - 28968786702782371542535868/901915798968514917724273*c_1001_2^17 - 79001562623854402158480176/901915798968514917724273*c_1001_2^16 - 5387054867870333764275420/29094058031242416700783*c_1001_2^15 - 288116952142683337706442614/901915798968514917724273*c_1001_2^14 - 412665097604437312254363607/901915798968514917724273*c_1001_2^13 - 517495627122665813790984836/901915798968514917724273*c_1001_2^12 - 579394651745794049374535975/901915798968514917724273*c_1001_2^11 - 581152811131680672876880570/901915798968514917724273*c_1001_2^10 - 546742749540917508512116459/901915798968514917724273*c_1001_2^9 - 483876244019027598880041453/901915798968514917724273*c_1001_2^8 - 391334819082736571831073944/901915798968514917724273*c_1001_2^7 - 285339736696347620356772651/901915798968514917724273*c_1001_2^6 - 170020953914183574213213137/901915798968514917724273*c_1001_2^5 - 72643856755868211073929662/901915798968514917724273*c_1001_2^4 - 18190885087129220566800257/901915798968514917724273*c_1001_2^3 + 2773954046405388704768658/901915798968514917724273*c_1001_2^2 + 2672674898664816050606865/901915798968514917724273*c_1001_2 + 415530126751699016609355/901915798968514917724273, c_0011_9 + 976652131952157174849320/901915798968514917724273*c_1001_2^1\ 9 + 5824289608461293714006800/901915798968514917724273*c_1001_2^18 + 23436422199225353103012764/901915798968514917724273*c_1001_2^17 + 62805026103697732624357776/901915798968514917724273*c_1001_2^16 + 4263439828959137249820764/29094058031242416700783*c_1001_2^15 + 226456086404896819778124666/901915798968514917724273*c_1001_2^14 + 322733385807295110762415891/901915798968514917724273*c_1001_2^13 + 405056597361505796579615574/901915798968514917724273*c_1001_2^12 + 451944426291752621520891719/901915798968514917724273*c_1001_2^11 + 454415588516359486134729243/901915798968514917724273*c_1001_2^10 + 430500142031984781848826448/901915798968514917724273*c_1001_2^9 + 379641578766455264199548840/901915798968514917724273*c_1001_2^8 + 309473741901931401965152582/901915798968514917724273*c_1001_2^7 + 226801673709123204400210054/901915798968514917724273*c_1001_2^6 + 134275220297817508323474293/901915798968514917724273*c_1001_2^5 + 60701456318372142225820289/901915798968514917724273*c_1001_2^4 + 17206471639380683523802328/901915798968514917724273*c_1001_2^3 - 157725541435562766033398/901915798968514917724273*c_1001_2^2 - 435249113174011726723311/901915798968514917724273*c_1001_2 - 856568365302813608104695/901915798968514917724273, c_0101_0 - 29543959292757027676912/901915798968514917724273*c_1001_2^19 - 70711938804154505491848/901915798968514917724273*c_1001_2^18 - 5246269958098546258880/901915798968514917724273*c_1001_2^17 + 1020605381732091449075644/901915798968514917724273*c_1001_2^16 + 134005165185948278334604/29094058031242416700783*c_1001_2^15 + 10467545110197330669289572/901915798968514917724273*c_1001_2^14 + 19625708385790139767096756/901915798968514917724273*c_1001_2^13 + 28757014417091850911297431/901915798968514917724273*c_1001_2^12 + 34763400489256171714913583/901915798968514917724273*c_1001_2^11 + 36959057298000288264575454/901915798968514917724273*c_1001_2^10 + 33975628110076613164322283/901915798968514917724273*c_1001_2^9 + 28487638962675678136208423/901915798968514917724273*c_1001_2^8 + 23695370962585116737156816/901915798968514917724273*c_1001_2^7 + 17429650865577665650391863/901915798968514917724273*c_1001_2^6 + 10529897961015118849523362/901915798968514917724273*c_1001_2^5 + 3243661422445715585715190/901915798968514917724273*c_1001_2^4 - 3132798586613194509717314/901915798968514917724273*c_1001_2^3 - 4754665923552072954292537/901915798968514917724273*c_1001_2^2 - 3072040887534186630544584/901915798968514917724273*c_1001_2 - 183601376524223005041777/901915798968514917724273, c_0101_1 - 1149590792509185917280136/901915798968514917724273*c_1001_2^\ 19 - 7150644322634411574972512/901915798968514917724273*c_1001_2^18 - 28968786702782371542535868/901915798968514917724273*c_1001_2^17 - 79001562623854402158480176/901915798968514917724273*c_1001_2^16 - 5387054867870333764275420/29094058031242416700783*c_1001_2^15 - 288116952142683337706442614/901915798968514917724273*c_1001_2^14 - 412665097604437312254363607/901915798968514917724273*c_1001_2^13 - 517495627122665813790984836/901915798968514917724273*c_1001_2^12 - 579394651745794049374535975/901915798968514917724273*c_1001_2^11 - 581152811131680672876880570/901915798968514917724273*c_1001_2^10 - 546742749540917508512116459/901915798968514917724273*c_1001_2^9 - 483876244019027598880041453/901915798968514917724273*c_1001_2^8 - 391334819082736571831073944/901915798968514917724273*c_1001_2^7 - 285339736696347620356772651/901915798968514917724273*c_1001_2^6 - 170020953914183574213213137/901915798968514917724273*c_1001_2^5 - 72643856755868211073929662/901915798968514917724273*c_1001_2^4 - 18190885087129220566800257/901915798968514917724273*c_1001_2^3 + 2773954046405388704768658/901915798968514917724273*c_1001_2^2 + 2672674898664816050606865/901915798968514917724273*c_1001_2 + 415530126751699016609355/901915798968514917724273, c_0101_11 + c_1001_2, c_0101_3 + 85128372419440662172304/901915798968514917724273*c_1001_2^19 + 1205345944558541041534928/901915798968514917724273*c_1001_2^18 + 5880209939032173406173568/901915798968514917724273*c_1001_2^17 + 20384859808313503934571968/901915798968514917724273*c_1001_2^16 + 1592443250068528442824476/29094058031242416700783*c_1001_2^15 + 96400762751593266562203344/901915798968514917724273*c_1001_2^14 + 154767349494457297103450286/901915798968514917724273*c_1001_2^13 + 208635236253666027160366624/901915798968514917724273*c_1001_2^12 + 251411434094613763834027563/901915798968514917724273*c_1001_2^11 + 268696561880534042640591049/901915798968514917724273*c_1001_2^10 + 259361406785609116030437425/901915798968514917724273*c_1001_2^9 + 240427926696567708793459095/901915798968514917724273*c_1001_2^8 + 204242403611621785164829433/901915798968514917724273*c_1001_2^7 + 157428354626211645120648427/901915798968514917724273*c_1001_2^6 + 109393442133907846582082060/901915798968514917724273*c_1001_2^5 + 55757137945752519210481455/901915798968514917724273*c_1001_2^4 + 18300230823713860071613237/901915798968514917724273*c_1001_2^3 + 1896142109146246112442993/901915798968514917724273*c_1001_2^2 - 3777621717260898611032290/901915798968514917724273*c_1001_2 - 373378852587996248664903/901915798968514917724273, c_0101_9 + 607692578033477405714728/901915798968514917724273*c_1001_2^1\ 9 + 4049388788865139878459352/901915798968514917724273*c_1001_2^18 + 17339035375784006449821668/901915798968514917724273*c_1001_2^17 + 50607004835708646449980948/901915798968514917724273*c_1001_2^16 + 3707752012368473987704296/29094058031242416700783*c_1001_2^15 + 212716476717203344844906962/901915798968514917724273*c_1001_2^14 + 329078243049550062795265081/901915798968514917724273*c_1001_2^13 + 441732842106625968457432547/901915798968514917724273*c_1001_2^12 + 524979090425024784655010276/901915798968514917724273*c_1001_2^11 + 559489382672153467390217715/901915798968514917724273*c_1001_2^10 + 549829221714812271400892232/901915798968514917724273*c_1001_2^9 + 504020598520322344747081085/901915798968514917724273*c_1001_2^8 + 430021397417293607205855020/901915798968514917724273*c_1001_2^7 + 336851443769821845502678933/901915798968514917724273*c_1001_2^6 + 230783039570257680392775659/901915798968514917724273*c_1001_2^5 + 128413736960422158246562289/901915798968514917724273*c_1001_2^4 + 51506522621902397830616591/901915798968514917724273*c_1001_2^3 + 10278489364491903694000402/901915798968514917724273*c_1001_2^2 - 2264264596190888295925897/901915798968514917724273*c_1001_2 - 1897623937143780411965274/901915798968514917724273, c_0110_6 - 788395433035849022849496/901915798968514917724273*c_1001_2^1\ 9 - 4835285376657678326930456/901915798968514917724273*c_1001_2^18 - 19771216425665299733730004/901915798968514917724273*c_1001_2^17 - 54281316268884225522393764/901915798968514917724273*c_1001_2^16 - 3769871703128380068327316/29094058031242416700783*c_1001_2^15 - 205266335703184582500586390/901915798968514917724273*c_1001_2^14 - 300652714636777742603128151/901915798968514917724273*c_1001_2^13 - 385940881600900006729398989/901915798968514917724273*c_1001_2^12 - 439735547207119117863648705/901915798968514917724273*c_1001_2^11 - 450109470643924000759436317/901915798968514917724273*c_1001_2^10 - 429921152503344699896938927/901915798968514917724273*c_1001_2^9 - 383591864334601678138053172/901915798968514917724273*c_1001_2^8 - 315763717208540606276297161/901915798968514917724273*c_1001_2^7 - 236710505790165591765447971/901915798968514917724273*c_1001_2^6 - 148576414443079378482801673/901915798968514917724273*c_1001_2^5 - 70761627064483155882347558/901915798968514917724273*c_1001_2^4 - 21333012092801393451502863/901915798968514917724273*c_1001_2^3 + 440564135822961542790479/901915798968514917724273*c_1001_2^2 + 3234054654674338835136542/901915798968514917724273*c_1001_2 + 978691936328332831033038/901915798968514917724273, c_1001_2^20 + 7*c_1001_2^19 + 61/2*c_1001_2^18 + 183/2*c_1001_2^17 + 212*c_1001_2^16 + 1607/4*c_1001_2^15 + 5097/8*c_1001_2^14 + 7019/8*c_1001_2^13 + 4291/4*c_1001_2^12 + 4707/4*c_1001_2^11 + 9505/8*c_1001_2^10 + 4471/4*c_1001_2^9 + 7819/8*c_1001_2^8 + 6335/8*c_1001_2^7 + 4569/8*c_1001_2^6 + 699/2*c_1001_2^5 + 347/2*c_1001_2^4 + 481/8*c_1001_2^3 + 11*c_1001_2^2 - 11/8*c_1001_2 - 17/8, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.450 Total time: 1.669 seconds, Total memory usage: 32.09MB