Magma V2.19-8 Wed Aug 21 2013 01:07:20 on localhost [Seed = 4122209535] Type ? for help. Type -D to quit. Loading file "L14n33063__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33063 geometric_solution 12.04908681 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 1 0 -1 0 0 4 -4 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.677099252943 1.381679044384 0 5 7 6 0132 0132 0132 0132 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 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.012893287480 0.909926626815 8 0 10 9 0132 0132 0132 0132 0 1 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 0 1 1 0 -1 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.516348468315 0.306791040799 5 4 11 0 3120 3012 0132 0132 0 0 0 1 0 0 0 0 -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 0 0 0 4 0 0 -4 -1 4 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584343760995 0.637407092838 3 12 0 5 1230 0132 0132 1302 0 0 1 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 3 1 -4 -4 0 4 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.558640642130 1.070566231005 11 1 4 3 2031 0132 2031 3120 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 0 0 0 0 0 0 0 -1 1 0 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.340241148844 1.310611029335 11 7 1 12 1023 0132 0132 1230 1 0 1 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 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.387360494043 0.986102031333 9 6 10 1 1302 0132 3201 0132 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024502135838 0.705901454942 2 11 12 9 0132 2031 3120 2103 1 1 0 0 0 0 0 0 0 0 1 -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 -1 1 -1 0 1 0 0 1 0 -1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622115290195 0.703393454835 10 7 2 8 2310 2031 0132 2103 0 1 1 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 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.762579615954 0.822303354611 7 12 9 2 2310 0321 3201 0132 0 1 0 1 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 -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.870057811321 1.065794751912 8 6 5 3 1302 1023 1302 0132 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 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.345289696311 0.845462069200 6 4 8 10 3012 0132 3120 0321 0 1 0 1 0 1 -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 0 0 0 0 0 -3 3 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.441313134821 0.805342090059 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_2'], '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' : negation(d['c_0011_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' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0101_5'], '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_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_9']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0011_11'], '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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_11'], '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_3'], 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0011_9']), '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_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], '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' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0011_9'], '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_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_12']})} 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_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 446185271926255715075218568934589263144484183573/241823270318680620\ 5080528284725637517613399280000*c_1001_2^14 - 6104414055211412009485212000951101499317905759349/24182327031868062\ 05080528284725637517613399280000*c_1001_2^13 - 201801562448496736013999051881833085015228821723277/241823270318680\ 6205080528284725637517613399280000*c_1001_2^12 + 2423708724660165332999779694449362530889880617880237/24182327031868\ 06205080528284725637517613399280000*c_1001_2^11 - 5769267418068319471041399349603827502568358503831/11699239009128235\ 14794643582353961063189840000*c_1001_2^10 + 17957046660530447880092227539287331575267074448889263/1209116351593\ 403102540264142362818758806699640000*c_1001_2^9 - 8417905846575290554618928523879936266803769869270369/26869252257631\ 1800564503142747293057512599920000*c_1001_2^8 + 118923065307221751005145976025405479705488400677606731/241823270318\ 6806205080528284725637517613399280000*c_1001_2^7 - 2621854932484356816965359426692923881584749530900973/44782087096051\ 966760750523791215509585433320000*c_1001_2^6 + 9690107792739690659910111993611121435842436557847397/18601790024513\ 8938852348329594279809047184560000*c_1001_2^5 - 3106549720854289087945890772465082909890057175725193/93008950122569\ 469426174164797139904523592280000*c_1001_2^4 + 36143088272717600839062825695199786862393639321821983/2418232703186\ 806205080528284725637517613399280000*c_1001_2^3 - 12289567210556419800570360117103869054027049563229/2356951952423787\ 724250027567958711030812280000*c_1001_2^2 + 4270128188280564682113735084675027578434158478439321/24182327031868\ 06205080528284725637517613399280000*c_1001_2 - 1025010006629018642222677640053084316966248439759821/24182327031868\ 06205080528284725637517613399280000, c_0011_0 - 1, c_0011_10 - 145003968048972922019264062022341/4993331262190255016243789\ 4554909625*c_1001_2^14 - 2403026320707085709495002238988233/4993331\ 2621902550162437894554909625*c_1001_2^13 - 72131569372878847776040261692272359/4993331262190255016243789455490\ 9625*c_1001_2^12 + 585527464828793556683573746258200304/49933312621\ 902550162437894554909625*c_1001_2^11 - 220942826719429114239199894938489976/554814584687806112915976606165\ 6625*c_1001_2^10 + 4210103378850267416536998441118061392/4993331262\ 1902550162437894554909625*c_1001_2^9 - 2022198869305474450317115713367088594/16644437540634183387479298184\ 969875*c_1001_2^8 + 6154525879523939251765875236101862252/499333126\ 21902550162437894554909625*c_1001_2^7 - 1248587084438025695392290251621717413/16644437540634183387479298184\ 969875*c_1001_2^6 + 729843582135206791874826601199590312/4993331262\ 1902550162437894554909625*c_1001_2^5 + 625504099730849766827979974438926469/499333126219025501624378945549\ 09625*c_1001_2^4 + 71008781964446238719382873067001936/499333126219\ 02550162437894554909625*c_1001_2^3 - 2910652574344296098191977431089099/87602302845443070460417358868262\ 5*c_1001_2^2 - 61171418861713861122253725960637843/4993331262190255\ 0162437894554909625*c_1001_2 + 6432970753020034370106512368718468/4\ 9933312621902550162437894554909625, c_0011_11 + 23007563342416999021903839917884/83222187703170916937396490\ 924849375*c_1001_2^14 + 123091173791103093788672308526064/277407292\ 34390305645798830308283125*c_1001_2^13 + 11259612925997477689711069464286291/8322218770317091693739649092484\ 9375*c_1001_2^12 - 98669817258085683952163656888032346/832221877031\ 70916937396490924849375*c_1001_2^11 + 370519456157693932170346148699424491/832221877031709169373964909248\ 49375*c_1001_2^10 - 896267667389829103197885317881920433/8322218770\ 3170916937396490924849375*c_1001_2^9 + 519636199110469285587477442925395056/277407292343903056457988303082\ 83125*c_1001_2^8 - 694192382529993273869808153990988441/27740729234\ 390305645798830308283125*c_1001_2^7 + 2166177965798993310488039919802893161/83222187703170916937396490924\ 849375*c_1001_2^6 - 603602803698757506504487816428607921/2774072923\ 4390305645798830308283125*c_1001_2^5 + 429934665552144612141862737323337773/277407292343903056457988303082\ 83125*c_1001_2^4 - 791892201479025691345439682602477414/83222187703\ 170916937396490924849375*c_1001_2^3 + 6093135525812245600481929095365176/14600383807573845076736226478043\ 75*c_1001_2^2 - 10361528294859032891373469563407543/832221877031709\ 16937396490924849375*c_1001_2 - 10589092463460905175011380184599694\ /27740729234390305645798830308283125, c_0011_12 - 109907281180141938225104578205662/2496665631095127508121894\ 72774548125*c_1001_2^14 - 1810217789184853734917194759911206/249666\ 563109512750812189472774548125*c_1001_2^13 - 54383254839051897506345807255855113/2496665631095127508121894727745\ 48125*c_1001_2^12 + 451165396153354933777806144222612853/2496665631\ 09512750812189472774548125*c_1001_2^11 - 166582280553742991937970532825322732/277407292343903056457988303082\ 83125*c_1001_2^10 + 2958285895629157164235959630509999044/249666563\ 109512750812189472774548125*c_1001_2^9 - 413608648391833724328680708013508461/277407292343903056457988303082\ 83125*c_1001_2^8 + 2739910903811218876136793284484914564/2496665631\ 09512750812189472774548125*c_1001_2^7 - 12085662290066147620333955064777572/2774072923439030564579883030828\ 3125*c_1001_2^6 - 2126335976335914006585144339007990391/24966656310\ 9512750812189472774548125*c_1001_2^5 + 1701410956538634763299195340187887133/24966656310951275081218947277\ 4548125*c_1001_2^4 + 262376162701492374021132417602461577/249666563\ 109512750812189472774548125*c_1001_2^3 - 17812813062172871261945456395597543/4380115142272153523020867943413\ 125*c_1001_2^2 - 660045143016575768519081586056101/2496665631095127\ 50812189472774548125*c_1001_2 + 85763368708821538844836348852537226\ /249666563109512750812189472774548125, c_0011_3 + 1, c_0011_9 + 1508740148210327516/3460024262509417625625*c_1001_2^14 + 22841844556254812008/3460024262509417625625*c_1001_2^13 + 715691613631947150809/3460024262509417625625*c_1001_2^12 - 7149904474410855624629/3460024262509417625625*c_1001_2^11 + 9976634951074525876703/1153341420836472541875*c_1001_2^10 - 76879296334674840264992/3460024262509417625625*c_1001_2^9 + 15158144308309362129723/384447140278824180625*c_1001_2^8 - 176658545275404196050352/3460024262509417625625*c_1001_2^7 + 18059997286675253330521/384447140278824180625*c_1001_2^6 - 98344879344648050179037/3460024262509417625625*c_1001_2^5 + 29565233942254868021831/3460024262509417625625*c_1001_2^4 - 5068372604504518955986/3460024262509417625625*c_1001_2^3 + 27233138414208526183/20234060014674956875*c_1001_2^2 - 3729231097850754893257/3460024262509417625625*c_1001_2 - 2205162417180364938868/3460024262509417625625, c_0101_0 + 471973375444057653371136198091784/24966656310951275081218947\ 2774548125*c_1001_2^14 + 7825041262439684462884184182348267/2496665\ 63109512750812189472774548125*c_1001_2^13 + 234844632168039031535428234772726141/249666563109512750812189472774\ 548125*c_1001_2^12 - 1904046517374589887860763401683774571/24966656\ 3109512750812189472774548125*c_1001_2^11 + 2153752218550170615993688481479156447/83222187703170916937396490924\ 849375*c_1001_2^10 - 13700041587461472248346659295399379733/2496665\ 63109512750812189472774548125*c_1001_2^9 + 6617868473233140006960151899166147031/83222187703170916937396490924\ 849375*c_1001_2^8 - 20415166141249360332671571425551681123/24966656\ 3109512750812189472774548125*c_1001_2^7 + 4308426015967467391263882729354477712/83222187703170916937396490924\ 849375*c_1001_2^6 - 3269244665182637347361548710267894188/249666563\ 109512750812189472774548125*c_1001_2^5 - 1350992045946277600500716298738934906/24966656310951275081218947277\ 4548125*c_1001_2^4 - 355560289551059465651200180589714314/249666563\ 109512750812189472774548125*c_1001_2^3 + 1835618110418596815652191858984092/14600383807573845076736226478043\ 75*c_1001_2^2 + 217970007054675956622198829199137157/24966656310951\ 2750812189472774548125*c_1001_2 + 106886044214063405610585984272181\ 218/249666563109512750812189472774548125, c_0101_1 - 84348821600268985575061370673307/832221877031709169373964909\ 24849375*c_1001_2^14 - 1396696780365248028196942337530966/832221877\ 03170916937396490924849375*c_1001_2^13 - 41937738232118402448257691229545218/8322218770317091693739649092484\ 9375*c_1001_2^12 + 341196935589792631852368443202408983/83222187703\ 170916937396490924849375*c_1001_2^11 - 1160390182241266097594309942598193193/83222187703170916937396490924\ 849375*c_1001_2^10 + 2450158435596621611446110970063642409/83222187\ 703170916937396490924849375*c_1001_2^9 - 3493125873294232244625426667669295939/83222187703170916937396490924\ 849375*c_1001_2^8 + 1150829250707815102906422750550847793/277407292\ 34390305645798830308283125*c_1001_2^7 - 1934509406222661085697568528754109353/83222187703170916937396490924\ 849375*c_1001_2^6 + 42219249499266290223620477303339708/27740729234\ 390305645798830308283125*c_1001_2^5 + 592176150902657077879727857818565813/832221877031709169373964909248\ 49375*c_1001_2^4 - 172126576276090684761938418234878/83222187703170\ 916937396490924849375*c_1001_2^3 - 9046408540465690044003311578493219/43801151422721535230208679434131\ 25*c_1001_2^2 - 29295695751297782996356600201350686/832221877031709\ 16937396490924849375*c_1001_2 + 46350299326387859153706182038591186\ /83222187703170916937396490924849375, c_0101_10 - 51382332670093393942708682741411/49933312621902550162437894\ 554909625*c_1001_2^14 - 758550638572847923111710385202518/499333126\ 21902550162437894554909625*c_1001_2^13 - 24049069673132946925676547118757414/4993331262190255016243789455490\ 9625*c_1001_2^12 + 253213811351951088800879637173763134/49933312621\ 902550162437894554909625*c_1001_2^11 - 121687260709670093146826738214160871/554814584687806112915976606165\ 6625*c_1001_2^10 + 2876669873412691385565470352579498107/4993331262\ 1902550162437894554909625*c_1001_2^9 - 1730137677803408767214241917755544099/16644437540634183387479298184\ 969875*c_1001_2^8 + 6768262537327595060452220418034451542/499333126\ 21902550162437894554909625*c_1001_2^7 - 2087491449276368649160714763614473923/16644437540634183387479298184\ 969875*c_1001_2^6 + 3660484119623568256993241581960483052/499333126\ 21902550162437894554909625*c_1001_2^5 - 838202611914314964279936791203226276/499333126219025501624378945549\ 09625*c_1001_2^4 - 261865335409576379132863527395023844/49933312621\ 902550162437894554909625*c_1001_2^3 + 191281667857548140370964138172307/292007676151476901534724529560875\ *c_1001_2^2 - 4022048226380354880742531785666203/499333126219025501\ 62437894554909625*c_1001_2 + 35774140093289667951450929636300578/49\ 933312621902550162437894554909625, c_0101_3 + 11105211964538758718625537141098/499333126219025501624378945\ 54909625*c_1001_2^14 + 204579766133395420818196817716924/4993331262\ 1902550162437894554909625*c_1001_2^13 + 5888068753563973004785329431213627/49933312621902550162437894554909\ 625*c_1001_2^12 - 34234733147686191636726718310197712/4993331262190\ 2550162437894554909625*c_1001_2^11 + 27001535517408216806218430220145259/1664443754063418338747929818496\ 9875*c_1001_2^10 - 134360170426026593848004733997348076/49933312621\ 902550162437894554909625*c_1001_2^9 + 60857007465573059230549207950040582/1664443754063418338747929818496\ 9875*c_1001_2^8 - 272939443588110229598170199389917781/499333126219\ 02550162437894554909625*c_1001_2^7 + 40380434418955268987059515405135488/5548145846878061129159766061656\ 625*c_1001_2^6 - 485249374492869149646756093442166711/4993331262190\ 2550162437894554909625*c_1001_2^5 + 423511720650526302590675210492483918/499333126219025501624378945549\ 09625*c_1001_2^4 - 185140122160409574631002527914797133/49933312621\ 902550162437894554909625*c_1001_2^3 - 1444096401251941735163613260024903/87602302845443070460417358868262\ 5*c_1001_2^2 + 7915914855652527315361037139608879/49933312621902550\ 162437894554909625*c_1001_2 + 31902359818954039569429408988757996/4\ 9933312621902550162437894554909625, c_0101_5 + 21918279769545466304105711178226/131403454268164605690626038\ 30239375*c_1001_2^14 + 358007496409089860989115794408613/1314034542\ 6816460569062603830239375*c_1001_2^13 + 10810752021064166658500083558771474/1314034542681646056906260383023\ 9375*c_1001_2^12 - 91203834296639943667217358428041369/131403454268\ 16460569062603830239375*c_1001_2^11 + 35416570894089991788817479480323336/1460038380757384507673622647804\ 375*c_1001_2^10 - 685696880806912593637191348705928387/131403454268\ 16460569062603830239375*c_1001_2^9 + 110764621682548679136972032621332353/146003838075738450767362264780\ 4375*c_1001_2^8 - 1002656259121516272877932654136952222/13140345426\ 816460569062603830239375*c_1001_2^7 + 194879973667533597708315263067233968/438011514227215352302086794341\ 3125*c_1001_2^6 - 44368304879910084164619381213529507/1314034542681\ 6460569062603830239375*c_1001_2^5 - 182555297326258374392320650063229184/131403454268164605690626038302\ 39375*c_1001_2^4 + 30007385328999389868621708367593229/131403454268\ 16460569062603830239375*c_1001_2^3 + 669859807237657848567086414582989/230532375909060711737940418074375\ *c_1001_2^2 + 9388970146127016844494402289531198/131403454268164605\ 69062603830239375*c_1001_2 - 2769776572668778538766371614295198/131\ 40345426816460569062603830239375, c_0101_8 + 661971405401054744135424068597572/24966656310951275081218947\ 2774548125*c_1001_2^14 + 10790251909501162369423477580042786/249666\ 563109512750812189472774548125*c_1001_2^13 + 326350160392525407526735089784610203/249666563109512750812189472774\ 548125*c_1001_2^12 - 2762056508043350014210962537988183018/24966656\ 3109512750812189472774548125*c_1001_2^11 + 3274138981112672541044801653183902976/83222187703170916937396490924\ 849375*c_1001_2^10 - 21897946445794120430895067188683784964/2496665\ 63109512750812189472774548125*c_1001_2^9 + 3754682535286383024677690853673969066/27740729234390305645798830308\ 283125*c_1001_2^8 - 37703357284755887228668472555492918459/24966656\ 3109512750812189472774548125*c_1001_2^7 + 9394098783675824784726835631682656096/83222187703170916937396490924\ 849375*c_1001_2^6 - 11964046458041601647277611534809900354/24966656\ 3109512750812189472774548125*c_1001_2^5 + 1195124014736741048433298960764538552/24966656310951275081218947277\ 4548125*c_1001_2^4 - 892832905485268440939747604565413187/249666563\ 109512750812189472774548125*c_1001_2^3 + 16223016827614179311606758170786283/4380115142272153523020867943413\ 125*c_1001_2^2 + 220364849419026051373348496044773781/2496665631095\ 12750812189472774548125*c_1001_2 - 36490364990731338129581441118253031/2496665631095127508121894727745\ 48125, c_1001_2^15 + 16*c_1001_2^14 + 488*c_1001_2^13 - 4322*c_1001_2^12 + 16042*c_1001_2^11 - 37015*c_1001_2^10 + 58891*c_1001_2^9 - 67316*c_1001_2^8 + 51413*c_1001_2^7 - 20995*c_1001_2^6 - 1105*c_1001_2^5 + 2427*c_1001_2^4 + 485*c_1001_2^3 + 217*c_1001_2^2 - 354*c_1001_2 - 169 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB