Magma V2.19-8 Wed Aug 21 2013 00:15:44 on localhost [Seed = 1393901456] Type ? for help. Type -D to quit. Loading file "K13n4713__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4713 geometric_solution 12.13978520 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 0 0 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 1 -1 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.877507213050 1.465454706230 0 5 7 6 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 -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.182552252993 0.436237022330 4 0 9 8 0321 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 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.557196450792 0.363214705957 4 10 9 0 1023 0132 3012 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 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.399472753648 0.772054979514 2 3 0 6 0321 1023 0132 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 -1 0 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.399472753648 0.772054979514 6 1 11 10 1023 0132 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 -1 0 1 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.434477208895 0.965113892615 4 5 1 12 3012 1023 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 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.546741140551 1.464190816702 10 8 11 1 3120 3120 0321 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.284562329563 1.639466223405 10 7 2 9 0213 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764427590996 1.080256863652 8 3 12 2 3120 1230 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 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.565950044498 0.515082699615 8 3 5 7 0213 0132 1230 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 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.104112047367 1.291692188664 12 12 7 5 1023 0321 0321 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 0 0 0 0 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575280546816 0.688945481459 9 11 6 11 2310 1023 0132 0321 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 1 -6 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285892342908 0.855202294520 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_3'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_0101_3'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0011_7']), 's_3_11' : d['1'], 's_0_11' : 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_0011_8'], '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' : 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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_0101_12'], 'c_1100_3' : d['c_0101_12'], 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : d['c_0101_11'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0101_3'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : negation(d['c_0011_7']), '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' : d['c_1001_11'], 's_1_7' : d['1'], 's_1_6' : negation(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_7'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : 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_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_11']), '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' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_10'], '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_1']), 'c_0110_8' : negation(d['c_0101_1']), '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_0011_10'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 9/704*c_1001_11^3 + 111/704*c_1001_11^2 - 83/88*c_1001_11 + 833/704, c_0011_0 - 1, c_0011_10 + c_1001_11^3 - 3*c_1001_11^2 + 3*c_1001_11 - 3, c_0011_11 + 2*c_1001_11^3 - 7*c_1001_11^2 + 8*c_1001_11 - 8, c_0011_7 + c_1001_11^3 - 3*c_1001_11^2 + 3*c_1001_11 - 4, c_0011_8 + c_1001_11^3 - 3*c_1001_11^2 + 4*c_1001_11 - 5, c_0101_0 - c_1001_11^3 + 3*c_1001_11^2 - 3*c_1001_11 + 3, c_0101_1 + 4*c_1001_11^3 - 14*c_1001_11^2 + 17*c_1001_11 - 18, c_0101_11 - c_1001_11 + 1, c_0101_12 + 2*c_1001_11^3 - 7*c_1001_11^2 + 8*c_1001_11 - 8, c_0101_3 + 3*c_1001_11^3 - 11*c_1001_11^2 + 14*c_1001_11 - 14, c_0101_5 - 1, c_1001_0 - c_1001_11^3 + 3*c_1001_11^2 - 3*c_1001_11 + 4, c_1001_11^4 - 6*c_1001_11^3 + 13*c_1001_11^2 - 15*c_1001_11 + 11 ], 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_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 4*c_1001_11^3 - 7*c_1001_11^2 - 9*c_1001_11 - 4, c_0011_0 - 1, c_0011_10 - 1/2*c_1001_11^3 - 3/2*c_1001_11^2 - 2*c_1001_11 - 1/2, c_0011_11 + 1/2*c_1001_11^3 + 1/2*c_1001_11^2 + c_1001_11 - 1/2, c_0011_7 + c_1001_11 + 1, c_0011_8 + 1/2*c_1001_11^3 + 1/2*c_1001_11^2 + c_1001_11 - 1/2, c_0101_0 + 1/2*c_1001_11^3 + 3/2*c_1001_11^2 + 2*c_1001_11 + 1/2, c_0101_1 - 1/2*c_1001_11^3 - 3/2*c_1001_11^2 - c_1001_11 - 1/2, c_0101_11 + 1/2*c_1001_11^3 + 3/2*c_1001_11^2 + c_1001_11 + 1/2, c_0101_12 + 1/2*c_1001_11^3 + 1/2*c_1001_11^2 + c_1001_11 - 1/2, c_0101_3 - 1/2*c_1001_11^3 - 3/2*c_1001_11^2 - 2*c_1001_11 - 3/2, c_0101_5 - 1/2*c_1001_11^3 - 3/2*c_1001_11^2 - 2*c_1001_11 - 1/2, c_1001_0 + 1/2*c_1001_11^3 + 3/2*c_1001_11^2 + 2*c_1001_11 + 3/2, c_1001_11^4 + 2*c_1001_11^3 + 3*c_1001_11^2 + c_1001_11 + 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_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1730321482221271786947107749738203013137203066001581028702243/97706\ 080727463767364145075885963051237968063976237412837056*c_1001_11^20 + 34521099174410405854658756318758733021206692553869272430307061/97\ 706080727463767364145075885963051237968063976237412837056*c_1001_11\ ^19 + 6661861507631681094241840949655665023382925098509042565029823\ 9/24426520181865941841036268971490762809492015994059353209264*c_100\ 1_11^18 + 230194429208902351277756202819237676745701871294565740138\ 707271/24426520181865941841036268971490762809492015994059353209264*\ c_1001_11^17 + 8943626628646380541502984698591052857908829153189265\ 14334362921/4885304036373188368207253794298152561898403198811870641\ 8528*c_1001_11^16 + 80827850403824685928281658306043924236905918402\ 14193524550762605/9770608072746376736414507588596305123796806397623\ 7412837056*c_1001_11^15 + 19665960530264588889797508587845805645516\ 5003707829891799409561/42114689968734382484545291330156487602572441\ 3690678503608*c_1001_11^14 + 12954331739737544237407459238224539697\ 2281092581610891812104258505/97706080727463767364145075885963051237\ 968063976237412837056*c_1001_11^13 + 212509655802238901193452452117821199795016259268441121375941939539/\ 97706080727463767364145075885963051237968063976237412837056*c_1001_\ 11^12 + 28813584246009590713807191355084272629927883265964081387147\ 1763537/97706080727463767364145075885963051237968063976237412837056\ *c_1001_11^11 + 124161400904747670158894562511126582420171680100328\ 707465610078783/244265201818659418410362689714907628094920159940593\ 53209264*c_1001_11^10 + 9548461373868268556741990177885922424807699\ 81479486161420880469165/9770608072746376736414507588596305123796806\ 3976237412837056*c_1001_11^9 + 180229307497595433395831192789944815\ 964062890792057178631999401737/122132600909329709205181344857453814\ 04746007997029676604632*c_1001_11^8 + 760370406385791274813094579563515449432764533252265061076424757013/\ 48853040363731883682072537942981525618984031988118706418528*c_1001_\ 11^7 + 584909929666263834121009509140328991446836106498943377928780\ 693163/48853040363731883682072537942981525618984031988118706418528*\ c_1001_11^6 + 69601364835968972312159912230860550344230168413680053\ 4516144817269/97706080727463767364145075885963051237968063976237412\ 837056*c_1001_11^5 + 3898606543215068586133062168379081175700946338\ 7481709587689583563/12213260090932970920518134485745381404746007997\ 029676604632*c_1001_11^4 + 1122141379788769456923952480597609977113\ 70272398495682740219684717/9770608072746376736414507588596305123796\ 8063976237412837056*c_1001_11^3 + 250720693439650296905433241068981\ 91422521560688968665556574585569/9770608072746376736414507588596305\ 1237968063976237412837056*c_1001_11^2 + 3181245162288326083717275589019128393255948975431251734792181321/97\ 706080727463767364145075885963051237968063976237412837056*c_1001_11 + 152178182583200651977076214717454535343698153358777994543817529/9\ 7706080727463767364145075885963051237968063976237412837056, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 8422973177941180191277463200971675093945095843029869/503764\ 234075770125413221188159766598116895231687414478*c_1001_11^20 + 84497274280210582444023145708695504110093622780653327/2518821170378\ 85062706610594079883299058447615843707239*c_1001_11^19 + 2631776939964817877957340816940940290811979842123466777/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 + 2311998177021516766521538245546444922630408651141360019/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^17 + 9178738348546069644731705861186310699109665805503729943/50376423407\ 5770125413221188159766598116895231687414478*c_1001_11^16 + 40217329627669707603436275009358991560778263963990673241/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^15 + 452671764012579707020397475863147120216657057928536355107/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^14 + 654634017513182048814649099655329750561343473140407004179/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^13 + 2199698054629160257010811926061958430605803936229628157465/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^12 + 1504066794466250749044006612061338114693887403033743584279/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^11 + 5105441945465819132269356949518495801201333562786531573011/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^10 + 2445070143059584489405509006645541013194736938042129119992/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^9 + 14974795439448522297849468461301143817585145739598818115209/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^8 + 8086510846732180194786406165837587561206277052558538019319/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^7 + 3187335281486080403606617923676979942463250053355794907058/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^6 + 1940268265014978246279015568960290328452337965103880974846/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^5 + 3592076186813719574079686950186267154685966794950081839749/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^4 + 330934538558524480325553765732327745304305092055396371354/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^3 + 321613396027039135310619510556769534644841480349637954953/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^2 + 10952911584359533079414262355293014532109538296594953289/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11 + 2231031547080240619422294627349032885933067267413337677/10075284681\ 51540250826442376319533196233790463374828956, c_0011_7 - 52088080364853904784963704364520746563413531014355763/100752\ 8468151540250826442376319533196233790463374828956*c_1001_11^20 - 519304259671887189599982185388963986450272026793142085/503764234075\ 770125413221188159766598116895231687414478*c_1001_11^19 - 2002549482740586211831065876219684750030251240179383919/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^18 - 27631293906486546771515441518900195705663937191966251281/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^17 - 26780041273345951222142934173932908558533816058427604013/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^16 - 242808865720613163860009838580231364171905098868972131605/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^15 - 685465922343484087999886178307168921224107717520499015381/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^14 - 971253865918373028574771131726770110833008829107679551015/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^13 - 6357832813316538061282248377272919894173556670946948074787/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^12 - 8615969621006573121498460709081745918682946509098095611501/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^11 - 3719633695622535983755009249287274486628397894739182145094/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^10 - 14305477874025026913075249629631503842461906056695112403439/5037642\ 34075770125413221188159766598116895231687414478*c_1001_11^9 - 10784238646914614127604901698338232513054329724261062782374/2518821\ 17037885062706610594079883299058447615843707239*c_1001_11^8 - 45398304326236569618800254446326440421883700721647599553223/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^7 - 17436883000029315011539624759535171518050974795294923333205/5037642\ 34075770125413221188159766598116895231687414478*c_1001_11^6 - 20754426331261529300273043205910958557095095156857782982905/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^5 - 4657113035987033607915756146140974416875593962132091022679/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^4 - 841724005991021387327379650978825766253845264757781961266/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^3 - 755025380203780721705903035602049192113931143563830589689/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^2 - 100159878149655192626333057284564979737095101719962175135/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11 - 5597430282951891738893630122163444673630992726570249995/10075284681\ 51540250826442376319533196233790463374828956, c_0011_8 - 10815730036174267215269083632029344832881130854108212/251882\ 117037885062706610594079883299058447615843707239*c_1001_11^20 - 428834816241540978368192682743935188494176599877074889/503764234075\ 770125413221188159766598116895231687414478*c_1001_11^19 - 1638593171921219565780938758327984765393477468305523622/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^18 - 11096966716882225171168502183585467122016680186645860937/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^17 - 20957246929859462991718100654538602362660321309255035955/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^16 - 98393986927600536511022451763514158550754418098903925865/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^15 - 278984488797239242919394970341118442345578885263215834164/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^14 - 1548981954403912946660684935749990115001635831833605464637/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^13 - 2460582433390170264681398055415782834699222159252523771407/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^12 - 3290873738192105580031423892949218933383897750947113737159/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^11 - 2897220972849587365978962081152833031354770970650107715007/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^10 - 5603905412920398647269505274932349041405116208080506387069/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^9 - 8305370156913602805475420317195847942622852038100375445581/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^8 - 16914242084501931632008792829326723693265139126006662090983/5037642\ 34075770125413221188159766598116895231687414478*c_1001_11^7 - 12497287860959892754252792818058576988286099482178397457939/5037642\ 34075770125413221188159766598116895231687414478*c_1001_11^6 - 3573078600453077195116182979577314301124587894982055005854/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^5 - 3024003730902807549899151226003191027328844328764625453763/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^4 - 1041073235846577444213347672027794387689636680604977984517/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^3 - 193089734283529329151540807889133286665537597477258304321/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^2 - 19485194788766791577024206250038507013747540613277534029/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11 - 276206740763067988302090075044444157771475327106152487/503764234075\ 770125413221188159766598116895231687414478, c_0101_0 + 7336360983895503050823908771060450512421548708456905/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^20 + 74450820063254863281136664669439529087763895445199669/5037642340757\ 70125413221188159766598116895231687414478*c_1001_11^19 + 1179698011275704405838040767051655102081197096956385913/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 + 4280810797672991759631014002060063099066630461761318717/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^17 + 2208579442876551326694997069454049715036692693705321725/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^16 + 36590290033883370974554137912882458754574176846856836745/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^15 + 204777838726920674971759072714816275136409806257399554351/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^14 + 306558162056074734197515560467182393340732110053476974141/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^13 + 268596155865053562432487300892911004435323025148379082543/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^12 + 1492609856003386094122455898881585541892216333682138187471/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^11 + 2469649752070774657575685130115121985934211878869226328423/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^10 + 1174114194604728959158711532454406350647030440389418654172/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^9 + 7362262670010302480374296224771406744610739068453978743353/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^8 + 8274826617216879637263718754653159964659454250749104461641/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^7 + 1699224847548641717772778384036114328920708925727977678052/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^6 + 4299173550294887689937012681500838247374637938263162402827/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^5 + 2085473779813701211203108248565547133137343208471414179935/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^4 + 198647433438461303553880235671635213831984718623803082610/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^3 + 106210359895660369331690605287699364482978135805286071239/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^2 + 30609736571177611634864490271639546601360805556999484685/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11 + 396882511062782033205380470339573611666079255844412350/251882117037\ 885062706610594079883299058447615843707239, c_0101_1 - 8693723276802572942959080014378472380130571593075201/5037642\ 34075770125413221188159766598116895231687414478*c_1001_11^20 - 173026919268679842962783949294833606916981343933843841/503764234075\ 770125413221188159766598116895231687414478*c_1001_11^19 - 1330719038293971306267658249214282115879066953475761379/50376423407\ 5770125413221188159766598116895231687414478*c_1001_11^18 - 2282971096887210206680879696906167784718279692472326916/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^17 - 8794227459348773995998969020387242394413961116689965197/50376423407\ 5770125413221188159766598116895231687414478*c_1001_11^16 - 20134091363864502204810725470338786251601761487630742506/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11^15 - 113713520469630669525528931680436542903767146921115142504/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^14 - 640707428976981471433200758123518748874949972477525967497/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^13 - 1041331575738825139233083125353483310307150677103288011721/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^12 - 1408347601682111848012549615791621373330312152622742132931/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^11 - 2441909284679526362673091750411766634354926551679145262313/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^10 - 2349286535651168597586980944370858308210398529384485378494/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^9 - 3527803453430195644837702844852773615309650335044667135303/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^8 - 3686993359576074425723649708458415418011021190381735817349/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^7 - 2809130462765939065612603823234158393646415708785801100074/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^6 - 3305906474213639372834050433339376286560646547416815421067/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^5 - 1454675467255983580369035532191906815883235532814568881529/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^4 - 257510378006347857511981432689490864998721996628842599204/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^3 - 107180455874899040441587112913974260303089816024436720113/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^2 - 6362983078857726493769085304941972963915489688245546875/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11 - 187691998331755482833881967521782685493391880530930689/503764234075\ 770125413221188159766598116895231687414478, c_0101_11 - 15237216476131339011721187834677024238361862404993359/10075\ 28468151540250826442376319533196233790463374828956*c_1001_11^20 - 302823514561499343387834064137134794733905873696771529/100752846815\ 1540250826442376319533196233790463374828956*c_1001_11^19 - 2324061031549192353946041679425290533493633228866753627/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 - 3972030706396888218427178829424379247487252612555674521/50376423407\ 5770125413221188159766598116895231687414478*c_1001_11^17 - 15245469321187767871019628460084735274443694981040438565/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^16 - 70336013299110533825731156282069994842411321515530508187/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^15 - 99241202801612936498279143531503144912237180239996237021/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11^14 - 1113432080102402121549728462500417925838210616671507750959/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^13 - 901654376192143361625778463733942060096640611998681951323/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^12 - 2443882798892988166744115572003332627814378330203536137029/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^11 - 2126964207107301400679346789101510498776377852552634289273/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^10 - 8174733251045409270517497464696479031490074379598647718305/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^9 - 12238287117692323603537332978205169114067474229227506366533/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^8 - 3193554668864281807063459286156495056625450670597964872064/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^7 - 9778866856890357637024271928909227072849787818226508826721/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^6 - 5828813254477778693513638437747108806833415956555992946667/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^5 - 1313704436917866764215656952937031879784887659309394946621/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^4 - 968587264479222207211271338952463624376962166957942175073/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^3 - 54981440554121179447433245737837874114214628642426802356/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11^2 - 34942361809940936840569532514098663467364097655443147377/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11 - 2274714186320327097749781827784266735528571431478147273/10075284681\ 51540250826442376319533196233790463374828956, c_0101_12 + 4427905397363609230179443219644788398585235513814144/251882\ 117037885062706610594079883299058447615843707239*c_1001_11^20 + 354587843988508668602063878633771374694281405981519017/100752846815\ 1540250826442376319533196233790463374828956*c_1001_11^19 + 2752191812397287567587629478400751995524181094101450759/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 + 9614669061998900183999851757533636638602063479237477667/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^17 + 18961721053180807620952766579618729417318346554646130349/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^16 + 20994181859420158041452639455179880123036665382036265053/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11^15 + 118166948512635120899401746501792229705967278525247104491/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^14 + 1358385045214636964478573241525858905307767484217402644827/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^13 + 2266701750721467365111322130270017393170880073565883452551/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^12 + 1547575127199426124800171027534060112679188944615808200629/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^11 + 1319072164065569725753243390140140620962547972355918324235/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^10 + 10111868312349142541467708194296048094978757747569015893885/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^9 + 15416947010776288745400548830406087650185690631931730505849/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^8 + 16548495058956562691057349387789797600665892490449769259229/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^7 + 12971483933057284746057557837460861290285748063891948761693/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^6 + 3925087300536592582817820191919319165430303534300267933243/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^5 + 1799710542972786297863440862706645050274095587548520632409/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^4 + 1312526647276749577867770167678304789225403139181016961825/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^3 + 312395489957838046279047033376624950179326313874977678285/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^2 + 10655847036445430123365787481577297279942043196554351136/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11 + 1378790872300470869803978671654786488480181121596502569/50376423407\ 5770125413221188159766598116895231687414478, c_0101_3 + 4422241967122222806180641870621227362614809336003615/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^20 + 88405526988143140125459873854529347198095538262067397/1007528468151\ 540250826442376319533196233790463374828956*c_1001_11^19 + 684637575354608846526115755089601180460550098369861417/100752846815\ 1540250826442376319533196233790463374828956*c_1001_11^18 + 595368106885517075333575802723513329123338765446578300/251882117037\ 885062706610594079883299058447615843707239*c_1001_11^17 + 4672097125934098113669042406362909514082639951605176341/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^16 + 20862638251164816592409137872446257821365486062142678313/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^15 + 58741803903152137258543609202038888303020808434688959585/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^14 + 335958962169773724744611301555965286939782355153204190329/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^13 + 139360179793999975921896258420264573531748411935966327609/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^12 + 761289325448913436928579997194142277977571228208437801023/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^11 + 652158782917902505877629591761200705317206481848839122335/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^10 + 2498310783424971600205997256309218133001727838016158860003/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^9 + 3793695223140455192797872410370406295230259418486672950995/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^8 + 2028165907639614655010092245969160100676995396766925039951/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^7 + 3180951062716450449060473318261682316695871314502052404291/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^6 + 1936016325960187019877145672268004526134670682938966554033/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^5 + 445867471603378522004125159435223943593168895636685579885/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^4 + 325790316111794170429800302815543408808410627104817040219/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^3 + 38568276876772163396277715196850285736273965543516411913/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11^2 + 10911977133681435056563985491931653191420285801443448589/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11 + 1078541385820573672263782398515167757525333635962768977/10075284681\ 51540250826442376319533196233790463374828956, c_0101_5 + 41260412088981408582195227493042709052581808755674837/100752\ 8468151540250826442376319533196233790463374828956*c_1001_11^20 + 817721710037641384703602842429422753851782732712980513/100752846815\ 1540250826442376319533196233790463374828956*c_1001_11^19 + 6246437920600564723184689619572882344022137615111353711/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 + 21136435168734947917788051086079797559549505628598323787/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^17 + 9975723755315629250054852360149052243036134441907738640/25188211703\ 7885062706610594079883299058447615843707239*c_1001_11^16 + 46904826009780607582802877227038664077524303588153637040/2518821170\ 37885062706610594079883299058447615843707239*c_1001_11^15 + 1063465214198890201275226424874694231566413544293282098835/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^14 + 2949774229013341426231739501711151968803119599458814920757/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^13 + 2342499378489085497911109550179032370113406349980959602259/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^12 + 3136775965302596434010321310667529927436044123568957513605/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^11 + 11049840690349291557422698478153441905353941290943911008435/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^10 + 21355908746195024574897719995218625521674375752388189785531/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^9 + 31640457999545320710044735709060977274330451556272600044893/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^8 + 32241244965449631571978169855726931287742772830568007909145/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^7 + 5969555426904674698695228045204314573750398816633659677324/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^6 + 6847516582291797400731900265842514986277671868715031982855/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^5 + 5815266082615821657774995375597152183240426880076908663781/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^4 + 2016776616388054056073104640979750930053751948173647883835/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^3 + 189413659259258899510745231366355796497370446873910429207/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^2 + 21301002241929331139144288140316180549109203096354014909/5037642340\ 75770125413221188159766598116895231687414478*c_1001_11 + 844515003670920073224056667218913856848454207216367077/503764234075\ 770125413221188159766598116895231687414478, c_1001_0 + 5753522663856859007034413704976887331752537805437771/2518821\ 17037885062706610594079883299058447615843707239*c_1001_11^20 + 231312978773639006869857414264117672662206932107682677/503764234075\ 770125413221188159766598116895231687414478*c_1001_11^19 + 3613354128541010420391543277758777093939240407030037701/10075284681\ 51540250826442376319533196233790463374828956*c_1001_11^18 + 12776367868933500758139693158958237978377676869517213135/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^17 + 25590379205425100957616035666812616608192145811035153799/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11^16 + 110898734590091938507325663149562898189003140644869625665/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^15 + 311328701665502514869912995301202282117426638819680641223/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^14 + 906585860268556926041475972617354748161002543027677981867/503764234\ 075770125413221188159766598116895231687414478*c_1001_11^13 + 3077799163638952713258186082629020490316689017478735408899/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^12 + 4230112627365316862214621738480946043745079660471817002779/10075284\ 68151540250826442376319533196233790463374828956*c_1001_11^11 + 3566441340584147048044028161065064606682686845295977100453/50376423\ 4075770125413221188159766598116895231687414478*c_1001_11^10 + 3407378428894935504477597816670379221836177427170566861032/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^9 + 20984383325955138614186533786666033380697930839175173747705/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^8 + 22905490501125615551109528601491622212732058008360297927269/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^7 + 18263300667803430316670230821077992303284333074709935892893/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^6 + 11218956255490794921512642292012464163392101862301130411013/1007528\ 468151540250826442376319533196233790463374828956*c_1001_11^5 + 1311249829382848354605741120976382542787367607334273038211/25188211\ 7037885062706610594079883299058447615843707239*c_1001_11^4 + 485335183834478263456190131959471099968553988411214130529/251882117\ 037885062706610594079883299058447615843707239*c_1001_11^3 + 484740793531001838772678076214875910045106793909032997245/100752846\ 8151540250826442376319533196233790463374828956*c_1001_11^2 + 66922613907526621239847322846209531870628560137114722277/1007528468\ 151540250826442376319533196233790463374828956*c_1001_11 + 959881074030155829884180122219063801182596711315630747/251882117037\ 885062706610594079883299058447615843707239, c_1001_11^21 + 20*c_1001_11^20 + 155*c_1001_11^19 + 540*c_1001_11^18 + 1062*c_1001_11^17 + 4729*c_1001_11^16 + 26611*c_1001_11^15 + 76227*c_1001_11^14 + 126848*c_1001_11^13 + 173520*c_1001_11^12 + 296723*c_1001_11^11 + 567967*c_1001_11^10 + 863991*c_1001_11^9 + 926754*c_1001_11^8 + 729428*c_1001_11^7 + 445701*c_1001_11^6 + 207475*c_1001_11^5 + 77903*c_1001_11^4 + 19406*c_1001_11^3 + 3130*c_1001_11^2 + 274*c_1001_11 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.170 Total time: 7.389 seconds, Total memory usage: 119.53MB