Magma V2.19-8 Tue Aug 20 2013 17:56:56 on localhost [Seed = 3221097385] Type ? for help. Type -D to quit. Loading file "11_257__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_257 geometric_solution 10.83966053 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.092939298179 0.712773112656 0 0 3 4 0132 1302 1023 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 -1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358061900850 0.418647419693 4 0 4 5 3120 0132 2310 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039899331825 1.020991562895 6 7 1 0 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 11 -10 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462061350704 0.960869236843 6 2 1 2 2103 3201 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 -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.039899331825 1.020991562895 8 8 2 9 0132 1230 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 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472782226587 0.821492388429 3 9 4 7 0132 0321 2103 1023 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362642427102 1.275976503171 10 3 8 6 0132 0132 1230 1023 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.064366530798 0.376314739811 5 11 5 7 0132 0132 3012 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.473734914779 0.914422618900 10 11 5 6 1230 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 0 11 0 -11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130981512003 0.930687807462 7 9 11 11 0132 3012 0132 3012 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004896301146 1.366970773208 9 8 10 10 1023 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 1 0 10 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447873613792 0.297408879354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : 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_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_0']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0101_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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1']})} 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_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 18025799045764067118261846299261/205727545874189491717329625696*c_1\ 001_0^25 + 25348348727543431010492442790973/10286377293709474585866\ 4812848*c_1001_0^24 - 153459950865372847504519880745645/20572754587\ 4189491717329625696*c_1001_0^23 - 210665273505865423191142758798883\ /102863772937094745858664812848*c_1001_0^22 + 1181634607223554091557045605517/352877437176997412894218912*c_1001_\ 0^21 + 1199175175339627561265941032281217/2057275458741894917173296\ 25696*c_1001_0^20 - 583861182348278494224529227634947/5143188646854\ 7372929332406424*c_1001_0^19 + 310640772041239967068344694742637/10\ 2863772937094745858664812848*c_1001_0^18 + 6661199731128745761875389666286321/205727545874189491717329625696*c\ _1001_0^17 - 6714096019033285548850858155439531/1028637729370947458\ 58664812848*c_1001_0^16 - 848250122937408941412739834385571/1285797\ 1617136843232333101606*c_1001_0^15 + 876938019094800069902769053372933/4675626042595215720848400584*c_10\ 01_0^14 + 61543525492233694203685186754921/116890651064880393021210\ 0146*c_1001_0^13 - 54259939053424481420576331560989061/205727545874\ 189491717329625696*c_1001_0^12 + 1105628451474845925297828474995508\ 5/102863772937094745858664812848*c_1001_0^11 + 42413535371944902906253323357057/188222823306669251342479072*c_1001\ _0^10 - 1383869664892410723879604153407963/467562604259521572084840\ 0584*c_1001_0^9 - 2020011289214770302365122031871273/12857971617136\ 843232333101606*c_1001_0^8 + 49003349750477114060187685425357097/20\ 5727545874189491717329625696*c_1001_0^7 + 21212407318182594429253559599740309/205727545874189491717329625696*\ c_1001_0^6 - 3767550087761609093835095378691049/1028637729370947458\ 58664812848*c_1001_0^5 - 7589240118539512157341579418433297/2057275\ 45874189491717329625696*c_1001_0^4 - 1959292315866672895217303928069379/205727545874189491717329625696*c\ _1001_0^3 + 2558632044452363803992420275604503/20572754587418949171\ 7329625696*c_1001_0^2 + 37239766618751691542428405443719/1028637729\ 37094745858664812848*c_1001_0 + 11429208422093399634521102126987/12\ 857971617136843232333101606, c_0011_0 - 1, c_0011_10 + 1859239023727060855091615/17064328622610276353461316*c_1001\ _0^25 + 9907768388265163172079927/34128657245220552706922632*c_1001\ _0^24 - 16747770200145682415336345/17064328622610276353461316*c_100\ 1_0^23 - 83563613378124093687769317/34128657245220552706922632*c_10\ 01_0^22 + 738740086150674187544915/160984232288776192013786*c_1001_\ 0^21 + 238499796536301736556461337/34128657245220552706922632*c_100\ 1_0^20 - 523877470676794507751902443/34128657245220552706922632*c_1\ 001_0^19 + 38389647030756690431382263/8532164311305138176730658*c_1\ 001_0^18 + 173722486882722384190203138/4266082155652569088365329*c_\ 1001_0^17 - 2910108120322976553441282889/34128657245220552706922632\ *c_1001_0^16 - 324563656032679263596121706/426608215565256908836532\ 9*c_1001_0^15 + 4252075647776406522175138573/1706432862261027635346\ 1316*c_1001_0^14 + 870894580832370935297246623/17064328622610276353\ 461316*c_1001_0^13 - 6139584893861726030818943961/17064328622610276\ 353461316*c_1001_0^12 + 5097531650794856653843377391/34128657245220\ 552706922632*c_1001_0^11 + 4816988702091145361476857/15612377513824\ 589527412*c_1001_0^10 - 13497609769879000470000573809/3412865724522\ 0552706922632*c_1001_0^9 - 3542583465743226554799453829/17064328622\ 610276353461316*c_1001_0^8 + 3002012163074296283333746175/853216431\ 1305138176730658*c_1001_0^7 + 4933165233647501400739034577/34128657\ 245220552706922632*c_1001_0^6 - 3247720646960047637803085629/341286\ 57245220552706922632*c_1001_0^5 - 575534219110893722382909733/85321\ 64311305138176730658*c_1001_0^4 - 139592967683776863338224143/34128\ 657245220552706922632*c_1001_0^3 + 724263100017486725525585823/34128657245220552706922632*c_1001_0^2 + 96566145394065183762439203/34128657245220552706922632*c_1001_0 - 20888970607309237074930147/17064328622610276353461316, c_0011_11 + 1289347528881190246472545/4266082155652569088365329*c_1001_\ 0^25 + 31038629627970139591089681/34128657245220552706922632*c_1001\ _0^24 - 10255670758777033146611824/4266082155652569088365329*c_1001\ _0^23 - 258211610422184573751483145/34128657245220552706922632*c_10\ 01_0^22 + 3265753460130253976652527/321968464577552384027572*c_1001\ _0^21 + 763063478191656896571261193/34128657245220552706922632*c_10\ 01_0^20 - 1197608655532286414965532963/34128657245220552706922632*c\ _1001_0^19 + 22165739775800196326374495/8532164311305138176730658*c\ _1001_0^18 + 966541042868965843143151789/8532164311305138176730658*\ c_1001_0^17 - 6890552274609599431284231613/341286572452205527069226\ 32*c_1001_0^16 - 1156574982841075287762211573/426608215565256908836\ 5329*c_1001_0^15 + 10196610269464687803865691741/170643286226102763\ 53461316*c_1001_0^14 + 2655548064345343462750298765/853216431130513\ 8176730658*c_1001_0^13 - 14792014665226381365346562091/170643286226\ 10276353461316*c_1001_0^12 + 5991147289095814253352134257/341286572\ 45220552706922632*c_1001_0^11 + 13287490280944795518911603/15612377\ 513824589527412*c_1001_0^10 - 28249188269278251059229496203/3412865\ 7245220552706922632*c_1001_0^9 - 6509573057257582809890146005/85321\ 64311305138176730658*c_1001_0^8 + 11328526954192047053493863103/170\ 64328622610276353461316*c_1001_0^7 + 18684503442963711248679779163/34128657245220552706922632*c_1001_0^6 - 837976294814278729852443905/34128657245220552706922632*c_1001_0^5 - 731624035854736639733187482/4266082155652569088365329*c_1001_0^4 - 2236278484994280318226010603/34128657245220552706922632*c_1001_0^3 + 1435413528071777940897187109/34128657245220552706922632*c_1001_0^2 + 410201351301287476846759601/34128657245220552706922632*c_1001_0 + 47094292091575344187394931/17064328622610276353461316, c_0011_4 - 2875081951544954336004065/8532164311305138176730658*c_1001_0\ ^25 - 4286617160473684592371607/4266082155652569088365329*c_1001_0^\ 24 + 23559855941271940957328783/8532164311305138176730658*c_1001_0^\ 23 + 72300135870567179871618657/8532164311305138176730658*c_1001_0^\ 22 - 3884441469389714285635369/321968464577552384027572*c_1001_0^21 - 434711230131297547235457157/17064328622610276353461316*c_1001_0^2\ 0 + 361537397721879036002971381/8532164311305138176730658*c_1001_0^\ 19 - 39720365513620488970077579/17064328622610276353461316*c_1001_0\ ^18 - 2285582317027649836150583975/17064328622610276353461316*c_100\ 1_0^17 + 2011823209764701433347257357/8532164311305138176730658*c_1\ 001_0^16 + 5288037603877549113969832533/17064328622610276353461316*\ c_1001_0^15 - 12321495142814031669179814215/17064328622610276353461\ 316*c_1001_0^14 - 5718143258805750130932278971/17064328622610276353\ 461316*c_1001_0^13 + 4642021691782246785042273162/42660821556525690\ 88365329*c_1001_0^12 - 1131584310881083172893295575/426608215565256\ 9088365329*c_1001_0^11 - 8322396266422357144317699/7806188756912294\ 763706*c_1001_0^10 + 4646006848216420147868344905/42660821556525690\ 88365329*c_1001_0^9 + 7412019979300765542938839659/8532164311305138\ 176730658*c_1001_0^8 - 16379603717719949188600501807/17064328622610\ 276353461316*c_1001_0^7 - 9671373119483965547302163343/170643286226\ 10276353461316*c_1001_0^6 + 2886469218732519589048752735/1706432862\ 2610276353461316*c_1001_0^5 + 1490588965676960842623959017/85321643\ 11305138176730658*c_1001_0^4 + 199099645918463614271484840/42660821\ 55652569088365329*c_1001_0^3 - 199806720264553117940324683/42660821\ 55652569088365329*c_1001_0^2 - 100668550410871629270806449/85321643\ 11305138176730658*c_1001_0 - 8694524148311725841003445/853216431130\ 5138176730658, c_0101_0 + 2668933009324169403653829/34128657245220552706922632*c_1001_\ 0^25 + 2151795737379365153656189/8532164311305138176730658*c_1001_0\ ^24 - 18922860283686698918805595/34128657245220552706922632*c_1001_\ 0^23 - 17807911897166873254904751/8532164311305138176730658*c_1001_\ 0^22 + 1285372747842768467659017/643936929155104768055144*c_1001_0^\ 21 + 217992069665790644416945457/34128657245220552706922632*c_1001_\ 0^20 - 116037238653082194351096737/17064328622610276353461316*c_100\ 1_0^19 - 18427406826088788073410487/8532164311305138176730658*c_100\ 1_0^18 + 932558269665161304459668703/34128657245220552706922632*c_1\ 001_0^17 - 172975650498443713017763556/4266082155652569088365329*c_\ 1001_0^16 - 710846910843113504280248221/8532164311305138176730658*c\ _1001_0^15 + 2110660279766813771290938807/1706432862261027635346131\ 6*c_1001_0^14 + 1150297386719349836707615327/8532164311305138176730\ 658*c_1001_0^13 - 6343293647731949691626252777/34128657245220552706\ 922632*c_1001_0^12 - 223109368912261856714525390/426608215565256908\ 8365329*c_1001_0^11 + 7266523812651811485325617/3122475502764917905\ 4824*c_1001_0^10 - 472337665623512795783380001/42660821556525690883\ 65329*c_1001_0^9 - 1236440264357122244558956359/4266082155652569088\ 365329*c_1001_0^8 + 3357304261185560939149793421/341286572452205527\ 06922632*c_1001_0^7 + 7915392232781285864773222013/3412865724522055\ 2706922632*c_1001_0^6 + 278932071433390501051694497/853216431130513\ 8176730658*c_1001_0^5 - 2138202538222252288899891009/34128657245220\ 552706922632*c_1001_0^4 - 1094956181177529236849044525/341286572452\ 20552706922632*c_1001_0^3 + 132032218280373755867002937/34128657245\ 220552706922632*c_1001_0^2 + 61253491298791193734541917/85321643113\ 05138176730658*c_1001_0 + 4749938483870477762550173/426608215565256\ 9088365329, c_0101_1 - 636806075816222380579556/4266082155652569088365329*c_1001_0^\ 25 - 14225703421770592925259121/34128657245220552706922632*c_1001_0\ ^24 + 22352051341612584956916101/17064328622610276353461316*c_1001_\ 0^23 + 120789407223293295889463573/34128657245220552706922632*c_100\ 1_0^22 - 486680548336914245020710/80492116144388096006893*c_1001_0^\ 21 - 355636182521180517472381541/34128657245220552706922632*c_1001_\ 0^20 + 708659100264207602289914315/34128657245220552706922632*c_100\ 1_0^19 - 68187536105294324017746245/17064328622610276353461316*c_10\ 01_0^18 - 251041105686694747206355906/4266082155652569088365329*c_1\ 001_0^17 + 3901383103137165696043132843/34128657245220552706922632*\ c_1001_0^16 + 1016706262967033320273565561/853216431130513817673065\ 8*c_1001_0^15 - 5868960164794035171330730149/1706432862261027635346\ 1316*c_1001_0^14 - 1678400892295603373674053533/1706432862261027635\ 3461316*c_1001_0^13 + 4346661787747641674352054009/8532164311305138\ 176730658*c_1001_0^12 - 6307849147386720965375405087/34128657245220\ 552706922632*c_1001_0^11 - 7134695678849566153888523/15612377513824\ 589527412*c_1001_0^10 + 18672179084549771527375075179/3412865724522\ 0552706922632*c_1001_0^9 + 1363227860451882922359129039/42660821556\ 52569088365329*c_1001_0^8 - 8330509028176085839280185347/1706432862\ 2610276353461316*c_1001_0^7 - 7172533971920150800816560551/34128657\ 245220552706922632*c_1001_0^6 + 4096835970390789361412791269/341286\ 57245220552706922632*c_1001_0^5 + 1506502913065042878464090157/1706\ 4328622610276353461316*c_1001_0^4 + 399216239258259239348414073/34128657245220552706922632*c_1001_0^3 - 955296678884810135735493153/34128657245220552706922632*c_1001_0^2 - 103762220999516514216768911/34128657245220552706922632*c_1001_0 + 24615546014452150687234199/17064328622610276353461316, c_0101_10 - 1601469799912509574844953/8532164311305138176730658*c_1001_\ 0^25 - 20067233862018883813713735/34128657245220552706922632*c_1001\ _0^24 + 24767660540931296957741465/17064328622610276353461316*c_100\ 1_0^23 + 168411136258975423597011055/34128657245220552706922632*c_1\ 001_0^22 - 1937719276042057305552529/321968464577552384027572*c_100\ 1_0^21 - 513786277741414576998532773/34128657245220552706922632*c_1\ 001_0^20 + 737490490623308541721971209/34128657245220552706922632*c\ _1001_0^19 + 14233585295836917523834333/8532164311305138176730658*c\ _1001_0^18 - 1281417894280870847325160351/1706432862261027635346131\ 6*c_1001_0^17 + 4145909735921640037345896585/3412865724522055270692\ 2632*c_1001_0^16 + 3254625077943482473422701411/1706432862261027635\ 3461316*c_1001_0^15 - 3226267489009998248924542033/8532164311305138\ 176730658*c_1001_0^14 - 2019871183255073378629112719/85321643113051\ 38176730658*c_1001_0^13 + 4937381595816851895732492315/853216431130\ 5138176730658*c_1001_0^12 - 2744825339661944417770959513/3412865724\ 5220552706922632*c_1001_0^11 - 9510096853995148134746875/1561237751\ 3824589527412*c_1001_0^10 + 18495875701181589655571684061/341286572\ 45220552706922632*c_1001_0^9 + 4685564258396999698220581581/8532164\ 311305138176730658*c_1001_0^8 - 2012273672385965837330079115/426608\ 2155652569088365329*c_1001_0^7 - 12170212267047780293787766135/3412\ 8657245220552706922632*c_1001_0^6 + 1676102467074249816684714201/34128657245220552706922632*c_1001_0^5 + 1474675018288878806783827877/17064328622610276353461316*c_1001_0^4 + 1193580928089449674823464647/34128657245220552706922632*c_1001_0^3 - 643157083231614807787104311/34128657245220552706922632*c_1001_0^2 - 264783323398749450159534253/34128657245220552706922632*c_1001_0 - 42004594311075602369241089/17064328622610276353461316, c_0101_11 + 10763349325488353774531467/34128657245220552706922632*c_100\ 1_0^25 + 32532906125382484737743663/34128657245220552706922632*c_10\ 01_0^24 - 85131314900136645532383321/34128657245220552706922632*c_1\ 001_0^23 - 271041235839102835413411249/34128657245220552706922632*c\ _1001_0^22 + 6727951051243148829291907/643936929155104768055144*c_1\ 001_0^21 + 403069352466078380229222039/17064328622610276353461316*c\ _1001_0^20 - 1234113457046413163894635547/3412865724522055270692263\ 2*c_1001_0^19 + 25282363294428117173309929/170643286226102763534613\ 16*c_1001_0^18 + 4039008204638947919239009991/341286572452205527069\ 22632*c_1001_0^17 - 7073863546968907643999992611/341286572452205527\ 06922632*c_1001_0^16 - 4929276739010812569436332545/170643286226102\ 76353461316*c_1001_0^15 + 2639469648670088918845102009/426608215565\ 2569088365329*c_1001_0^14 + 5886904385069824840948936877/1706432862\ 2610276353461316*c_1001_0^13 - 30947273379817887381869496837/341286\ 57245220552706922632*c_1001_0^12 + 5166667262810156587557320099/34128657245220552706922632*c_1001_0^11 + 28448041778571410988424791/31224755027649179054824*c_1001_0^10 - 28709510072649299046289957097/34128657245220552706922632*c_1001_0^9 - 14299995475745700111560087297/17064328622610276353461316*c_1001_0\ ^8 + 23614599232839718458483090651/34128657245220552706922632*c_100\ 1_0^7 + 10370558567986420544659726573/17064328622610276353461316*c_\ 1001_0^6 - 1060131952007164921678297161/34128657245220552706922632*\ c_1001_0^5 - 6620918183225007132996156887/3412865724522055270692263\ 2*c_1001_0^4 - 300013776517942448417952991/426608215565256908836532\ 9*c_1001_0^3 + 399375927785258239658615525/853216431130513817673065\ 8*c_1001_0^2 + 496314506326131049461487243/341286572452205527069226\ 32*c_1001_0 + 44728932271209786222470259/17064328622610276353461316\ , c_0101_2 + 931643851785728403076013/8532164311305138176730658*c_1001_0^\ 25 + 6277848390252199085682687/17064328622610276353461316*c_1001_0^\ 24 - 12747334111818939572626611/17064328622610276353461316*c_1001_0\ ^23 - 26093236865376661347690203/8532164311305138176730658*c_1001_0\ ^22 + 211032476409645897680763/80492116144388096006893*c_1001_0^21 + 81376558589871079859939727/8532164311305138176730658*c_1001_0^20 - 80649878014496256333989483/8532164311305138176730658*c_1001_0^19 - 37810612730781718006818851/8532164311305138176730658*c_1001_0^18 + 697594281697363072686599573/17064328622610276353461316*c_1001_0^17 - 474222362347421946044003239/8532164311305138176730658*c_1001_0^16 - 2170733136917834240031596351/17064328622610276353461316*c_1001_0^15 + 1505025191187639297101463981/8532164311305138176730658*c_1001_0^1\ 4 + 875632918257985734245360472/4266082155652569088365329*c_1001_0^\ 13 - 1168105706185105507129075389/4266082155652569088365329*c_1001_\ 0^12 - 1344464962015681850692499183/17064328622610276353461316*c_10\ 01_0^11 + 1367538994829829273721056/3903094378456147381853*c_1001_0\ ^10 - 706856249394531826298356966/4266082155652569088365329*c_1001_\ 0^9 - 7262273505596170655322683919/17064328622610276353461316*c_100\ 1_0^8 + 2488894292067904384687871059/17064328622610276353461316*c_1\ 001_0^7 + 5542519278391827720031089873/17064328622610276353461316*c\ _1001_0^6 + 780566007086319561319094255/17064328622610276353461316*\ c_1001_0^5 - 340913666078846273026368481/4266082155652569088365329*\ c_1001_0^4 - 716912289336118054091763735/17064328622610276353461316\ *c_1001_0^3 + 95646176344905085539300181/17064328622610276353461316\ *c_1001_0^2 + 175141995947948322901818497/1706432862261027635346131\ 6*c_1001_0 + 6023550635502922523709285/4266082155652569088365329, c_0101_5 - 5062178623552080004781521/17064328622610276353461316*c_1001_\ 0^25 - 14987501125142023492896831/17064328622610276353461316*c_1001\ _0^24 + 20757715370538489686538905/8532164311305138176730658*c_1001\ _0^23 + 62993687409274879321195093/8532164311305138176730658*c_1001\ _0^22 - 3415199448343405680642359/321968464577552384027572*c_1001_0\ ^21 - 376143037138858156777497055/17064328622610276353461316*c_1001\ _0^20 + 315341990325025762368468413/8532164311305138176730658*c_100\ 1_0^19 - 12078030867459886453773965/4266082155652569088365329*c_100\ 1_0^18 - 1976307841811760384085972903/17064328622610276353461316*c_\ 1001_0^17 + 3528008928122308295393589737/17064328622610276353461316\ *c_1001_0^16 + 4552879702074199527807188235/17064328622610276353461\ 316*c_1001_0^15 - 10704610625796403020024222639/1706432862261027635\ 3461316*c_1001_0^14 - 4910636947342517692555472061/1706432862261027\ 6353461316*c_1001_0^13 + 16014348085495429822283928591/170643286226\ 10276353461316*c_1001_0^12 - 980294623807100133951792113/4266082155\ 652569088365329*c_1001_0^11 - 3581771389021573374055933/39030943784\ 56147381853*c_1001_0^10 + 15996742735530295062786128935/17064328622\ 610276353461316*c_1001_0^9 + 12913711982537225951240616991/17064328\ 622610276353461316*c_1001_0^8 - 7026559507846227957993904405/853216\ 4311305138176730658*c_1001_0^7 - 2137922187586910211815850089/42660\ 82155652569088365329*c_1001_0^6 + 2461911557017148727243899915/1706\ 4328622610276353461316*c_1001_0^5 + 2625743456510666251549647343/17064328622610276353461316*c_1001_0^4 + 666586947886613269080844395/17064328622610276353461316*c_1001_0^3 - 683710091624550766656345067/17064328622610276353461316*c_1001_0^2 - 49434765754754398328612011/4266082155652569088365329*c_1001_0 - 10557811851883182647155471/8532164311305138176730658, c_0101_7 - 8753105446395287948907385/34128657245220552706922632*c_1001_\ 0^25 - 26240055441327283833561139/34128657245220552706922632*c_1001\ _0^24 + 70815299997292894314544193/34128657245220552706922632*c_100\ 1_0^23 + 220502012455931911673960375/34128657245220552706922632*c_1\ 001_0^22 - 5755495897500141340421695/643936929155104768055144*c_100\ 1_0^21 - 331140980790183848702312979/17064328622610276353461316*c_1\ 001_0^20 + 1068292038576231717924270581/34128657245220552706922632*\ c_1001_0^19 - 5134735042590257765973843/4266082155652569088365329*c\ _1001_0^18 - 3429838600807531877324063565/3412865724522055270692263\ 2*c_1001_0^17 + 5973101780667071294402997429/3412865724522055270692\ 2632*c_1001_0^16 + 4060970571959123259851187995/1706432862261027635\ 3461316*c_1001_0^15 - 9127970162286030235877435231/1706432862261027\ 6353461316*c_1001_0^14 - 2297851714140327451070610541/8532164311305\ 138176730658*c_1001_0^13 + 27536800496046385827864379337/3412865724\ 5220552706922632*c_1001_0^12 - 5833319886402098621658933815/3412865\ 7245220552706922632*c_1001_0^11 - 25249351746909827542360355/312247\ 55027649179054824*c_1001_0^10 + 26917244761617943129989499803/34128\ 657245220552706922632*c_1001_0^9 + 2933447372763877848264624921/4266082155652569088365329*c_1001_0^8 - 23870755178081552192981158457/34128657245220552706922632*c_1001_0^7 - 1939888483774377574811257827/4266082155652569088365329*c_1001_0^6 + 4027676024060888692246656115/34128657245220552706922632*c_1001_0^\ 5 + 4572898063315502454353034275/34128657245220552706922632*c_1001_\ 0^4 + 601046514160019444081458013/17064328622610276353461316*c_1001\ _0^3 - 294785624996820368348406553/8532164311305138176730658*c_1001\ _0^2 - 313737368741981772637920183/34128657245220552706922632*c_100\ 1_0 - 23594533356812076948145231/17064328622610276353461316, c_1001_0^26 + 3*c_1001_0^25 - 8*c_1001_0^24 - 25*c_1001_0^23 + 34*c_1001_0^22 + 74*c_1001_0^21 - 118*c_1001_0^20 + 9*c_1001_0^19 + 379*c_1001_0^18 - 675*c_1001_0^17 - 899*c_1001_0^16 + 2010*c_1001_0^15 + 1012*c_1001_0^14 - 2941*c_1001_0^13 + 649*c_1001_0^12 + 2884*c_1001_0^11 - 2877*c_1001_0^10 - 2509*c_1001_0^9 + 2361*c_1001_0^8 + 1726*c_1001_0^7 - 182*c_1001_0^6 - 504*c_1001_0^5 - 194*c_1001_0^4 + 121*c_1001_0^3 + 32*c_1001_0^2 + 11*c_1001_0 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.680 Total time: 0.890 seconds, Total memory usage: 32.09MB