Magma V2.19-8 Wed Aug 21 2013 00:52:14 on localhost [Seed = 1074156827] Type ? for help. Type -D to quit. Loading file "L12a1242__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1242 geometric_solution 11.40646801 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3201 0132 0132 1 1 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 -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.209926222245 2.708037963710 0 1 0 1 0132 2310 2310 3201 1 1 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 0 0 0 -0.412135723688 0.445320819756 3 4 5 0 1302 0132 0132 0132 1 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 -1 0 1 0 0 0 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.257893708999 0.584185123204 6 2 0 5 0132 2031 0132 0132 1 1 0 1 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 -1 0 0 0 0 0 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257893708999 0.584185123204 5 2 7 8 0321 0132 0132 0132 1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 4 0 -4 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.481614543410 0.593629782037 4 6 3 2 0321 2103 0132 0132 1 1 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 1 0 -1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.618117307499 0.658083333722 3 5 8 7 0132 2103 3201 3201 0 1 1 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 0 1 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.481614543410 0.593629782037 9 6 10 4 0132 2310 0132 0132 1 0 1 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 -4 4 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616268108173 0.879606773772 6 10 4 9 2310 0132 0132 0132 1 0 1 0 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 1 -1 -3 0 0 3 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616268108173 0.879606773772 7 11 8 12 0132 0132 0132 0132 1 0 0 1 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 1 0 0 0 -3 3 -1 0 0 1 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262574188498 0.800442136456 11 8 12 7 0132 0132 0132 0132 1 0 0 1 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 -1 0 -3 4 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262574188498 0.800442136456 10 9 12 12 0132 0132 2103 0321 1 0 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 1 -1 0 1 0 0 -1 -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.907310367654 1.315558358820 11 11 9 10 2103 0321 0132 0132 1 0 1 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 -3 3 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907310367654 1.315558358820 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_2'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], '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' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_10'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_10'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1100_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_10'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_10'], '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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_1001_10, c_1001_2, c_1100_0, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 154258075230705887467769883947719141/696727382578413483437750497872\ 3025*c_1100_10^20 - 140978810271800393496745815315242528/9953248322\ 54876404911072139817575*c_1100_10^19 + 3887960433770813300590257329874967818/69672738257841348343775049787\ 23025*c_1100_10^18 - 9435282679442475020313328147850270838/69672738\ 25784134834377504978723025*c_1100_10^17 + 20125400267194999712368887107144149068/6967273825784134834377504978\ 723025*c_1100_10^16 - 30130420506947069032228610272987212383/696727\ 3825784134834377504978723025*c_1100_10^15 + 1866755055733302657088684739826888544/30292494894713629714684804255\ 3175*c_1100_10^14 - 279514286012423640697297837584525166/4122647234\ 1917957599866893365225*c_1100_10^13 + 67627354439890042908873962705930429013/6967273825784134834377504978\ 723025*c_1100_10^12 - 82688580333607314369258750422142011387/696727\ 3825784134834377504978723025*c_1100_10^11 + 117245886609329684498455200141926770994/696727382578413483437750497\ 8723025*c_1100_10^10 - 100604176352570038958471697609790329437/6967\ 273825784134834377504978723025*c_1100_10^9 + 12600283132154719291552294684284321614/1393454765156826966875500995\ 744605*c_1100_10^8 - 835788340444652066291219627077720747/278690953\ 031365393375100199148921*c_1100_10^7 + 5036459821427886664125598245857689921/13934547651568269668755009957\ 44605*c_1100_10^6 - 21568935373654248893734100835116381333/69672738\ 25784134834377504978723025*c_1100_10^5 + 7482328035600800167243550466713009669/69672738257841348343775049787\ 23025*c_1100_10^4 + 1102522676583442959014157419297422044/696727382\ 5784134834377504978723025*c_1100_10^3 - 5389878733000264228590708263873429798/69672738257841348343775049787\ 23025*c_1100_10^2 + 1584226584244611251243548218991898607/696727382\ 5784134834377504978723025*c_1100_10 + 1820444833815547733376348294411198502/69672738257841348343775049787\ 23025, c_0011_0 - 1, c_0011_10 + c_1100_10, c_0011_12 + 5484595097093942985312412/209032690287326442387460481*c_110\ 0_10^20 - 35747908278308956437366355/209032690287326442387460481*c_\ 1100_10^19 + 137017014379027031489933927/20903269028732644238746048\ 1*c_1100_10^18 - 318288651403318262436557775/2090326902873264423874\ 60481*c_1100_10^17 + 624559463924797457685464245/209032690287326442\ 387460481*c_1100_10^16 - 845601434544709364833774640/20903269028732\ 6442387460481*c_1100_10^15 + 988923129997454218045959440/2090326902\ 87326442387460481*c_1100_10^14 - 882663270380073062259987408/209032\ 690287326442387460481*c_1100_10^13 + 1177889512503063025778330152/209032690287326442387460481*c_1100_10^\ 12 - 1658428508922191629118185383/209032690287326442387460481*c_110\ 0_10^11 + 2165071272547137517727451360/209032690287326442387460481*\ c_1100_10^10 - 1271458823409401594673970181/20903269028732644238746\ 0481*c_1100_10^9 - 1382235335925900189638754648/2090326902873264423\ 87460481*c_1100_10^8 + 2305369812267869005487251648/209032690287326\ 442387460481*c_1100_10^7 - 1377037307669738971437553722/20903269028\ 7326442387460481*c_1100_10^6 + 208863381149433982199318682/20903269\ 0287326442387460481*c_1100_10^5 - 1060901041373935073642688293/2090\ 32690287326442387460481*c_1100_10^4 + 814896383882273579932752610/209032690287326442387460481*c_1100_10^3 - 556334185120093113506494525/209032690287326442387460481*c_1100_10\ ^2 + 74259073211046902356104379/209032690287326442387460481*c_1100_\ 10 + 153894916284041298659764698/209032690287326442387460481, c_0011_2 - 1, c_0011_5 + 2291704824781586887239895/209032690287326442387460481*c_1100\ _10^20 - 21448831562032595679207507/209032690287326442387460481*c_1\ 100_10^19 + 100009277435881747967058991/209032690287326442387460481\ *c_1100_10^18 - 301722821389270195853675722/20903269028732644238746\ 0481*c_1100_10^17 + 673244708448802035330941166/2090326902873264423\ 87460481*c_1100_10^16 - 1220191742616154526849341564/20903269028732\ 6442387460481*c_1100_10^15 + 1723292470871168561725832059/209032690\ 287326442387460481*c_1100_10^14 - 2179696030465861813644783234/2090\ 32690287326442387460481*c_1100_10^13 + 2527507495354472746603580769/209032690287326442387460481*c_1100_10^\ 12 - 3507190042199923059923730585/209032690287326442387460481*c_110\ 0_10^11 + 4559502912442957376688727625/209032690287326442387460481*\ c_1100_10^10 - 5460540010228613574935129629/20903269028732644238746\ 0481*c_1100_10^9 + 3933987756209444927618813994/2090326902873264423\ 87460481*c_1100_10^8 - 1432948928162758581898034082/209032690287326\ 442387460481*c_1100_10^7 + 437735169944552786387509618/209032690287\ 326442387460481*c_1100_10^6 - 1067931273802399024671025467/20903269\ 0287326442387460481*c_1100_10^5 + 921385875015041448903103778/20903\ 2690287326442387460481*c_1100_10^4 + 28692905075633054363353324/209032690287326442387460481*c_1100_10^3 + 82973134913181146429600401/209032690287326442387460481*c_1100_10^2 + 20528772852078138068205205/209032690287326442387460481*c_1100_10 - 194743065244803040014731155/209032690287326442387460481, c_0101_0 - 908603402763186582702781930/8570340301780384137885879721*c_1\ 100_10^20 + 5240511163470091170393865446/85703403017803841378858797\ 21*c_1100_10^19 - 19254034105986110521062605474/8570340301780384137\ 885879721*c_1100_10^18 + 41122045326737502310303218001/857034030178\ 0384137885879721*c_1100_10^17 - 83190220577746048423095185727/85703\ 40301780384137885879721*c_1100_10^16 + 101066430916279037777564568173/8570340301780384137885879721*c_1100_\ 10^15 - 137202792271384506856436696130/8570340301780384137885879721\ *c_1100_10^14 + 109754841018687482667292659306/85703403017803841378\ 85879721*c_1100_10^13 - 211112379386892471976232480231/857034030178\ 0384137885879721*c_1100_10^12 + 5323633972354422646310420724/209032\ 690287326442387460481*c_1100_10^11 - 8974984925454977530695889588/209032690287326442387460481*c_1100_10^\ 10 + 130496506620252294635970662007/8570340301780384137885879721*c_\ 1100_10^9 + 778212643643216326605015157/209032690287326442387460481\ *c_1100_10^8 - 158120893246933402333449093702/857034030178038413788\ 5879721*c_1100_10^7 - 36577237031087096360320655123/857034030178038\ 4137885879721*c_1100_10^6 + 25001377722666829454519814410/857034030\ 1780384137885879721*c_1100_10^5 + 41199191977462470665622917341/857\ 0340301780384137885879721*c_1100_10^4 - 34837361833357772298134530068/8570340301780384137885879721*c_1100_1\ 0^3 + 32055920410425650758911109488/8570340301780384137885879721*c_\ 1100_10^2 + 10952685845088602064958731119/8570340301780384137885879\ 721*c_1100_10 - 11997528090185850335949900838/857034030178038413788\ 5879721, c_0101_1 + 69477765191250584290548012/8570340301780384137885879721*c_11\ 00_10^20 - 732137195768877651723048059/8570340301780384137885879721\ *c_1100_10^19 + 3618373622169830726863041573/8570340301780384137885\ 879721*c_1100_10^18 - 11750749312457246328836330642/857034030178038\ 4137885879721*c_1100_10^17 + 27850226068658672432662995119/85703403\ 01780384137885879721*c_1100_10^16 - 54774388688610775040115555488/8570340301780384137885879721*c_1100_1\ 0^15 + 84047770704997936023730024872/8570340301780384137885879721*c\ _1100_10^14 - 117335109398517214802559413246/8570340301780384137885\ 879721*c_1100_10^13 + 142677072222065150222779848417/85703403017803\ 84137885879721*c_1100_10^12 - 4761763375962867946939738265/20903269\ 0287326442387460481*c_1100_10^11 + 6016557299772522205235309401/209032690287326442387460481*c_1100_10^\ 10 - 315909735531642532307593543438/8570340301780384137885879721*c_\ 1100_10^9 + 6965801702617190972133247175/20903269028732644238746048\ 1*c_1100_10^8 - 208070499034397375519562551898/85703403017803841378\ 85879721*c_1100_10^7 + 124370787668570491055117141867/8570340301780\ 384137885879721*c_1100_10^6 - 97313076031839366338543215495/8570340\ 301780384137885879721*c_1100_10^5 + 73228378301090611647454580869/8570340301780384137885879721*c_1100_1\ 0^4 - 34747538363464165815551798006/8570340301780384137885879721*c_\ 1100_10^3 + 12324275482772249613225122403/8570340301780384137885879\ 721*c_1100_10^2 + 3089649731062579033556013656/85703403017803841378\ 85879721*c_1100_10 - 5512472984440425128220892887/85703403017803841\ 37885879721, c_0101_11 + 29734425805418263142531216/209032690287326442387460481*c_11\ 00_10^20 - 181232159870560560151526569/209032690287326442387460481*\ c_1100_10^19 + 693319792518548375993008187/209032690287326442387460\ 481*c_1100_10^18 - 1603547624952206357451406651/2090326902873264423\ 87460481*c_1100_10^17 + 3378526843829697172418330641/20903269028732\ 6442387460481*c_1100_10^16 - 4771318888693680354993276557/209032690\ 287326442387460481*c_1100_10^15 + 6810289889099599054988903647/2090\ 32690287326442387460481*c_1100_10^14 - 7100322428295705613869768276/209032690287326442387460481*c_1100_10^\ 13 + 10943350729933609901601598836/209032690287326442387460481*c_11\ 00_10^12 - 12831113898418745252637764911/20903269028732644238746048\ 1*c_1100_10^11 + 18723555912186787707990604345/20903269028732644238\ 7460481*c_1100_10^10 - 14003486366586756309142659205/20903269028732\ 6442387460481*c_1100_10^9 + 7973792403201806342076488029/2090326902\ 87326442387460481*c_1100_10^8 - 2483054941087126078017992204/209032\ 690287326442387460481*c_1100_10^7 + 4606649540795551718236313250/209032690287326442387460481*c_1100_10^\ 6 - 3251887887392307942762254442/209032690287326442387460481*c_1100\ _10^5 + 172599294504156438771860470/209032690287326442387460481*c_1\ 100_10^4 - 195140007391255752833562805/209032690287326442387460481*\ c_1100_10^3 - 810920953218219395554187347/2090326902873264423874604\ 81*c_1100_10^2 - 110331668394269944226033487/2090326902873264423874\ 60481*c_1100_10 + 312131832434805028734771905/209032690287326442387\ 460481, c_0101_4 + 24613333508527003703226400/209032690287326442387460481*c_110\ 0_10^20 - 152143646289863924190733775/209032690287326442387460481*c\ _1100_10^19 + 589104435834738195173154359/2090326902873264423874604\ 81*c_1100_10^18 - 1390771386586229276928665014/20903269028732644238\ 7460481*c_1100_10^17 + 2966620033661658112347514383/209032690287326\ 442387460481*c_1100_10^16 - 4327490394847917590209072714/2090326902\ 87326442387460481*c_1100_10^15 + 6286377787377361365901949391/20903\ 2690287326442387460481*c_1100_10^14 - 6844679419436071296517405865/209032690287326442387460481*c_1100_10^\ 13 + 10331369311937298644191465143/209032690287326442387460481*c_11\ 00_10^12 - 12292838569567258836722797881/20903269028732644238746048\ 1*c_1100_10^11 + 17774543374191120143718195231/20903269028732644238\ 7460481*c_1100_10^10 - 14451452620192434383238714784/20903269028732\ 6442387460481*c_1100_10^9 + 9893402901079991309654370443/2090326902\ 87326442387460481*c_1100_10^8 - 4582102728866703281317402906/209032\ 690287326442387460481*c_1100_10^7 + 5990208008055507922265725531/209032690287326442387460481*c_1100_10^\ 6 - 4167009389800222873437597089/209032690287326442387460481*c_1100\ _10^5 + 1553343000147636591866913810/209032690287326442387460481*c_\ 1100_10^4 - 597534675613689472107461350/209032690287326442387460481\ *c_1100_10^3 - 436461790017420140685955584/209032690287326442387460\ 481*c_1100_10^2 - 55245200112988628845936433/2090326902873264423874\ 60481*c_1100_10 + 181942170697898930364573448/209032690287326442387\ 460481, c_1001_10 - 14605016260073707265397305/8570340301780384137885879721*c_1\ 100_10^20 + 410968126166261660303252601/857034030178038413788587972\ 1*c_1100_10^19 - 2427685728331019394635068071/857034030178038413788\ 5879721*c_1100_10^18 + 9101535721260267097640041787/857034030178038\ 4137885879721*c_1100_10^17 - 22252478607905170308840100680/85703403\ 01780384137885879721*c_1100_10^16 + 46920749348722602041079405334/8570340301780384137885879721*c_1100_1\ 0^15 - 72335154302457721747963133456/8570340301780384137885879721*c\ _1100_10^14 + 103708768810554381021598686648/8570340301780384137885\ 879721*c_1100_10^13 - 120909995387745031007444942318/85703403017803\ 84137885879721*c_1100_10^12 + 4089770381487086119535421317/20903269\ 0287326442387460481*c_1100_10^11 - 5118946269194007053931156702/209032690287326442387460481*c_1100_10^\ 10 + 282958806563085241881119456730/8570340301780384137885879721*c_\ 1100_10^9 - 6414666739567510737056743965/20903269028732644238746048\ 1*c_1100_10^8 + 180363652097356493596939161298/85703403017803841378\ 85879721*c_1100_10^7 - 98293978430334275772185173088/85703403017803\ 84137885879721*c_1100_10^6 + 74692938874390066133396260151/85703403\ 01780384137885879721*c_1100_10^5 - 63170073854044968780530772843/8570340301780384137885879721*c_1100_1\ 0^4 + 22441713418871030706234112431/8570340301780384137885879721*c_\ 1100_10^3 - 4940519383871324695098252776/85703403017803841378858797\ 21*c_1100_10^2 - 9483982172554764195756822120/857034030178038413788\ 5879721*c_1100_10 + 5125811739243440005948631331/857034030178038413\ 7885879721, c_1001_2 - 24613333508527003703226400/209032690287326442387460481*c_110\ 0_10^20 + 152143646289863924190733775/209032690287326442387460481*c\ _1100_10^19 - 589104435834738195173154359/2090326902873264423874604\ 81*c_1100_10^18 + 1390771386586229276928665014/20903269028732644238\ 7460481*c_1100_10^17 - 2966620033661658112347514383/209032690287326\ 442387460481*c_1100_10^16 + 4327490394847917590209072714/2090326902\ 87326442387460481*c_1100_10^15 - 6286377787377361365901949391/20903\ 2690287326442387460481*c_1100_10^14 + 6844679419436071296517405865/209032690287326442387460481*c_1100_10^\ 13 - 10331369311937298644191465143/209032690287326442387460481*c_11\ 00_10^12 + 12292838569567258836722797881/20903269028732644238746048\ 1*c_1100_10^11 - 17774543374191120143718195231/20903269028732644238\ 7460481*c_1100_10^10 + 14451452620192434383238714784/20903269028732\ 6442387460481*c_1100_10^9 - 9893402901079991309654370443/2090326902\ 87326442387460481*c_1100_10^8 + 4582102728866703281317402906/209032\ 690287326442387460481*c_1100_10^7 - 5990208008055507922265725531/209032690287326442387460481*c_1100_10^\ 6 + 4167009389800222873437597089/209032690287326442387460481*c_1100\ _10^5 - 1553343000147636591866913810/209032690287326442387460481*c_\ 1100_10^4 + 597534675613689472107461350/209032690287326442387460481\ *c_1100_10^3 + 436461790017420140685955584/209032690287326442387460\ 481*c_1100_10^2 + 55245200112988628845936433/2090326902873264423874\ 60481*c_1100_10 - 181942170697898930364573448/209032690287326442387\ 460481, c_1100_0 - 347327913385954591503744/209032690287326442387460481*c_1100_\ 10^20 + 7087882966846723229893556/209032690287326442387460481*c_110\ 0_10^19 - 41349323196020678056470863/209032690287326442387460481*c_\ 1100_10^18 + 155171342492537197503716452/20903269028732644238746048\ 1*c_1100_10^17 - 391015054493143979488054096/2090326902873264423874\ 60481*c_1100_10^16 + 834325056259992830237859741/209032690287326442\ 387460481*c_1100_10^15 - 1332965275013742660232317478/2090326902873\ 26442387460481*c_1100_10^14 + 1948339061707470162747992222/20903269\ 0287326442387460481*c_1100_10^13 - 2323060764383837352829650803/209032690287326442387460481*c_1100_10^\ 12 + 3166530199844892054596773206/209032690287326442387460481*c_110\ 0_10^11 - 3908393965993652780819735245/209032690287326442387460481*\ c_1100_10^10 + 5337652837754540450626570111/20903269028732644238746\ 0481*c_1100_10^9 - 5122042176234007880218597251/2090326902873264423\ 87460481*c_1100_10^8 + 4032008377521337392127546948/209032690287326\ 442387460481*c_1100_10^7 - 2034316676910908831296562667/20903269028\ 7326442387460481*c_1100_10^6 + 1410087752516915235808777592/2090326\ 90287326442387460481*c_1100_10^5 - 1063246375837881775496781049/209032690287326442387460481*c_1100_10^\ 4 + 575231402477316927508539020/209032690287326442387460481*c_1100_\ 10^3 - 50298326967046170910891064/209032690287326442387460481*c_110\ 0_10^2 - 215031370919285623671123123/209032690287326442387460481*c_\ 1100_10 + 297146147064505915136979851/209032690287326442387460481, c_1100_10^21 - 7*c_1100_10^20 + 29*c_1100_10^19 - 76*c_1100_10^18 + 166*c_1100_10^17 - 271*c_1100_10^16 + 390*c_1100_10^15 - 466*c_1100_10^14 + 612*c_1100_10^13 - 790*c_1100_10^12 + 1066*c_1100_10^11 - 1091*c_1100_10^10 + 772*c_1100_10^9 - 365*c_1100_10^8 + 240*c_1100_10^7 - 243*c_1100_10^6 + 127*c_1100_10^5 - 20*c_1100_10^4 - 37*c_1100_10^3 + 30*c_1100_10^2 + 5*c_1100_10 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.820 Total time: 1.020 seconds, Total memory usage: 32.09MB