Magma V2.19-8 Wed Aug 21 2013 00:28:39 on localhost [Seed = 3852727845] Type ? for help. Type -D to quit. Loading file "K14n16006__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16006 geometric_solution 11.43733762 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 -2 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.420642531798 1.396261557439 0 5 7 6 0132 0132 0132 0132 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.348230603879 1.179327158067 7 0 6 4 2031 0132 2031 1023 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 -1 1 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.552097600153 1.218905328896 5 8 9 0 3201 0132 0132 0132 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 0 0 -2 2 1 0 -1 0 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.329720869276 0.938861822296 10 8 0 2 0132 0321 0132 1023 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 -1 1 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.218234347668 0.625913869838 7 1 11 3 0213 0132 0132 2310 0 0 0 0 0 0 -1 1 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 2 -2 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.410283849786 0.903990514574 12 9 1 2 0132 0213 0132 1302 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.131210090254 0.544560671362 5 12 2 1 0213 2310 1302 0132 0 0 0 0 0 -1 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 1 -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.559791738896 1.800300006133 11 3 12 4 0132 0132 3120 0321 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311147562804 0.874785456697 10 11 6 3 3120 0132 0213 0132 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 -2 0 2 0 0 -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.536905451208 0.588536737885 4 11 12 9 0132 0213 2310 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 -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.699533150310 1.112200103095 8 9 10 5 0132 0132 0213 0132 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 2 0 -2 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.344434516077 0.986030200957 6 10 8 7 0132 3201 3120 3201 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 -1 2 -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.340940677733 0.958726173780 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_2'], 'c_1001_10' : d['c_0110_2'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_12']), 'c_1001_7' : d['c_0110_2'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : d['c_0110_2'], 'c_1001_2' : negation(d['c_0101_12']), 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0110_2']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_10'], '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' : negation(d['c_0101_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_1010_6'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_1010_6'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : negation(d['c_1010_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_12']), 'c_1010_9' : d['c_0110_2'], 'c_1010_8' : d['c_0110_2'], '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_0011_7']), '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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), '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' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_7'], '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' : d['c_0101_1'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['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_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0110_2, c_1001_5, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1126671460211243587544150035641136741412133968145251/10655929129323\ 5486463198780077709476483267393675*c_1010_6^21 + 7417952765706568639832770647138889322613385515266296/10655929129323\ 5486463198780077709476483267393675*c_1010_6^20 - 13695296484961429555852338072477467938301269408331776/1065592912932\ 35486463198780077709476483267393675*c_1010_6^19 - 25260002381351908333351865693259352870301195551697824/2131185825864\ 7097292639756015541895296653478735*c_1010_6^18 + 16796634570221543173360975448874136175651116406473493/2131185825864\ 7097292639756015541895296653478735*c_1010_6^17 + 672126107937892943121444129088301470947670427972460703/106559291293\ 235486463198780077709476483267393675*c_1010_6^16 - 10533841963073123429700310640283112353616422978076249/5608383752275\ 551919115725267247867183329862825*c_1010_6^15 - 1736082271215767223954279375293702560076722747483513077/10655929129\ 3235486463198780077709476483267393675*c_1010_6^14 - 7960228278763470142814945781464885959322773678640269/81968685610181\ 14343322983082900728960251337975*c_1010_6^13 + 933281242084744056125971228788935328757079337756830363/213118582586\ 47097292639756015541895296653478735*c_1010_6^12 - 640133752632568903661757452065284064502239503183255637/106559291293\ 235486463198780077709476483267393675*c_1010_6^11 - 73721410096792410032269742054345755755481831951312303/7348916640912\ 79216987577793639375699884602715*c_1010_6^10 + 10580774967347088214153414877248417380902928857324011207/1065592912\ 93235486463198780077709476483267393675*c_1010_6^9 + 4989314891892460771632941482636133581471781128012349522/10655929129\ 3235486463198780077709476483267393675*c_1010_6^8 - 15479578612522858455911248055989223835776387654630079294/1065592912\ 93235486463198780077709476483267393675*c_1010_6^7 + 7970053739548342952240180584279899345309635970187941139/10655929129\ 3235486463198780077709476483267393675*c_1010_6^6 + 6081200550514066993583293329051273154966998882816439399/10655929129\ 3235486463198780077709476483267393675*c_1010_6^5 - 42745581496485984709018139507717561971520384868633615/3874883319754\ 01768957086473009852641757335977*c_1010_6^4 + 8531874049973869631975259665825943110117700095282711142/10655929129\ 3235486463198780077709476483267393675*c_1010_6^3 - 721326831774602376682404205797981797665552001498349519/213118582586\ 47097292639756015541895296653478735*c_1010_6^2 + 6309140389520164527582719284848155862450814131848422/74516986918346\ 4940302089371172793541841030725*c_1010_6 - 106039972908338573946668997466945119686879046226027897/106559291293\ 235486463198780077709476483267393675, c_0011_0 - 1, c_0011_10 + 198101926643179329654197485902190/1982259035735504580258805\ 4211751*c_1010_6^21 + 1268297836480237959083365322474048/1982259035\ 7355045802588054211751*c_1010_6^20 - 2680175443446100757171406445974286/19822590357355045802588054211751\ *c_1010_6^19 - 22031755746749764446488163690077063/1982259035735504\ 5802588054211751*c_1010_6^18 + 19002785291661587385048571650776337/\ 19822590357355045802588054211751*c_1010_6^17 + 119631056686876598792011848798891398/198225903573550458025880542117\ 51*c_1010_6^16 - 2930364632002860180192362808286428/104329422933447\ 6094873055484829*c_1010_6^15 - 319251236443660764313175386079189079\ /19822590357355045802588054211751*c_1010_6^14 + 25460996289890707069752864686843666/1982259035735504580258805421175\ 1*c_1010_6^13 + 868899015976545537102475825295089759/19822590357355\ 045802588054211751*c_1010_6^12 - 2174065820994508926460293689186068\ 36/19822590357355045802588054211751*c_1010_6^11 - 1968132357061024436426557952679590061/19822590357355045802588054211\ 751*c_1010_6^10 + 2122260242952742723034270976064714849/19822590357\ 355045802588054211751*c_1010_6^9 + 807804971713770961062878600573452162/198225903573550458025880542117\ 51*c_1010_6^8 - 2968118724255517546249715274704177713/1982259035735\ 5045802588054211751*c_1010_6^7 + 1651357095943688988689828323092284\ 358/19822590357355045802588054211751*c_1010_6^6 + 1081378841655050624576959374275118662/19822590357355045802588054211\ 751*c_1010_6^5 - 2261536001384731168281700602301043913/198225903573\ 55045802588054211751*c_1010_6^4 + 167733111490256788860218615417347\ 1913/19822590357355045802588054211751*c_1010_6^3 - 718838530677405625657294126208587886/198225903573550458025880542117\ 51*c_1010_6^2 + 181891593573187971764824521520285382/19822590357355\ 045802588054211751*c_1010_6 - 21581961778380845265105444735315395/1\ 9822590357355045802588054211751, c_0011_11 - 28992147320558107103595977900798/19822590357355045802588054\ 211751*c_1010_6^21 - 149506907630837262423725003960132/198225903573\ 55045802588054211751*c_1010_6^20 + 650132347462931472678878010106069/19822590357355045802588054211751*\ c_1010_6^19 + 2926261983095511760972171635901365/198225903573550458\ 02588054211751*c_1010_6^18 - 7020205663813924585771547590599164/198\ 22590357355045802588054211751*c_1010_6^17 - 17179082971473241214190935000642386/1982259035735504580258805421175\ 1*c_1010_6^16 + 1591682871874128414658100292845963/1043294229334476\ 094873055484829*c_1010_6^15 + 52937483525890326538038272213142398/1\ 9822590357355045802588054211751*c_1010_6^14 - 57540520051288908575454461190351725/1982259035735504580258805421175\ 1*c_1010_6^13 - 162497133606007351924859854186390329/19822590357355\ 045802588054211751*c_1010_6^12 + 1645385229896177524675591477703358\ 42/19822590357355045802588054211751*c_1010_6^11 + 347166742389997782576047994927426126/198225903573550458025880542117\ 51*c_1010_6^10 - 626732122032505462867675996385337837/1982259035735\ 5045802588054211751*c_1010_6^9 + 3362712860490071080018276394845624\ 0/19822590357355045802588054211751*c_1010_6^8 + 696880892291951887374749425731489829/198225903573550458025880542117\ 51*c_1010_6^7 - 588909422197351695582875228620145178/19822590357355\ 045802588054211751*c_1010_6^6 - 11720898141652229981092345938692545\ 8/19822590357355045802588054211751*c_1010_6^5 + 560960275646031165338434953649252445/198225903573550458025880542117\ 51*c_1010_6^4 - 486840842656504345076693273600586653/19822590357355\ 045802588054211751*c_1010_6^3 + 23007657640557483612038484385683537\ 7/19822590357355045802588054211751*c_1010_6^2 - 63643843033234420766019139477598342/1982259035735504580258805421175\ 1*c_1010_6 + 8343208963896787102156874365321999/1982259035735504580\ 2588054211751, c_0011_12 + 18876542219686302000429729575211/10432942293344760948730554\ 84829*c_1010_6^21 + 125099299575353480935903566711316/1043294229334\ 476094873055484829*c_1010_6^20 - 223891874343187872713463419121194/\ 1043294229334476094873055484829*c_1010_6^19 - 2124976915425323898771550501835518/1043294229334476094873055484829*\ c_1010_6^18 + 1311630389839433963674156018271707/104329422933447609\ 4873055484829*c_1010_6^17 + 11300740232250571217948261771519228/104\ 3294229334476094873055484829*c_1010_6^16 - 2829497789479218922311890796574422/1043294229334476094873055484829*\ c_1010_6^15 - 29092566820362173428812132010826817/10432942293344760\ 94873055484829*c_1010_6^14 - 3116424936211186802720927042405235/104\ 3294229334476094873055484829*c_1010_6^13 + 77650771267774926737402898632957662/1043294229334476094873055484829\ *c_1010_6^12 - 7243748910527134814664848179286311/10432942293344760\ 94873055484829*c_1010_6^11 - 178366577038686624119721459052411058/1\ 043294229334476094873055484829*c_1010_6^10 + 169194813738654924015410477287715583/104329422933447609487305548482\ 9*c_1010_6^9 + 88652077007938845575369923386610763/1043294229334476\ 094873055484829*c_1010_6^8 - 253267163017574122659210401507773784/1\ 043294229334476094873055484829*c_1010_6^7 + 123840355953230209516480378528656339/104329422933447609487305548482\ 9*c_1010_6^6 + 103965417727543230392337911961940896/104329422933447\ 6094873055484829*c_1010_6^5 - 191159543117764481163796025164161324/\ 1043294229334476094873055484829*c_1010_6^4 + 136230555874200126171688026702183870/104329422933447609487305548482\ 9*c_1010_6^3 - 56774660538399531620019683946112222/1043294229334476\ 094873055484829*c_1010_6^2 + 13984665314920442421438541510887870/10\ 43294229334476094873055484829*c_1010_6 - 1608691538399857326329592273107717/1043294229334476094873055484829, c_0011_7 - 105053147329715384879039520510688/19822590357355045802588054\ 211751*c_1010_6^21 - 672661195024746029022396384329518/198225903573\ 55045802588054211751*c_1010_6^20 + 1416093892461646643958280093353087/19822590357355045802588054211751\ *c_1010_6^19 + 11647545567405933164073161128680575/1982259035735504\ 5802588054211751*c_1010_6^18 - 10059159663428747958612971049761474/\ 19822590357355045802588054211751*c_1010_6^17 - 62895164685016245980516967448439663/1982259035735504580258805421175\ 1*c_1010_6^16 + 1572504539724871487324683632900034/1043294229334476\ 094873055484829*c_1010_6^15 + 166804039154732012058006322575241346/\ 19822590357355045802588054211751*c_1010_6^14 - 16190823634131706614231733401876805/1982259035735504580258805421175\ 1*c_1010_6^13 - 456147497584659796978424929278748402/19822590357355\ 045802588054211751*c_1010_6^12 + 1231819172676580154664533388715037\ 04/19822590357355045802588054211751*c_1010_6^11 + 1033371781204402888611598376485066816/19822590357355045802588054211\ 751*c_1010_6^10 - 1140532618467838529249227916194321854/19822590357\ 355045802588054211751*c_1010_6^9 - 401464455574409019327876633736313458/198225903573550458025880542117\ 51*c_1010_6^8 + 1576315139794959727662617268185789954/1982259035735\ 5045802588054211751*c_1010_6^7 - 9058966777325013176338440874126492\ 46/19822590357355045802588054211751*c_1010_6^6 - 554680140674566439571757108724309525/198225903573550458025880542117\ 51*c_1010_6^5 + 1208940008820152409775949636170236820/1982259035735\ 5045802588054211751*c_1010_6^4 - 9098764301914411535750681929496961\ 99/19822590357355045802588054211751*c_1010_6^3 + 394511233101751771554326846284843378/198225903573550458025880542117\ 51*c_1010_6^2 - 101136962418503034092014205657534591/19822590357355\ 045802588054211751*c_1010_6 + 12239140163360899106491465058118496/1\ 9822590357355045802588054211751, c_0101_0 + 523304404019507896574756150864/10432942293344760948730554848\ 29*c_1010_6^21 + 2308447103222144014259688410583/104329422933447609\ 4873055484829*c_1010_6^20 - 15011788659267872322973321461662/104329\ 4229334476094873055484829*c_1010_6^19 - 53523010010112525646222865827477/1043294229334476094873055484829*c_\ 1010_6^18 + 173187358919420475262370978307875/104329422933447609487\ 3055484829*c_1010_6^17 + 364616175721401893706607454332488/10432942\ 29334476094873055484829*c_1010_6^16 - 739208645736498788314188301336749/1043294229334476094873055484829*c\ _1010_6^15 - 1282734112273626523214338867399210/1043294229334476094\ 873055484829*c_1010_6^14 + 1313833716548834644448996681428072/10432\ 94229334476094873055484829*c_1010_6^13 + 3778365472173433814742419850115451/1043294229334476094873055484829*\ c_1010_6^12 - 3534690016406244090693271283358142/104329422933447609\ 4873055484829*c_1010_6^11 - 7956311422929219174340127815649766/1043\ 294229334476094873055484829*c_1010_6^10 + 13044966369987259287912013235762337/1043294229334476094873055484829\ *c_1010_6^9 + 592009459653182676834391694377249/1043294229334476094\ 873055484829*c_1010_6^8 - 15083704079808300514685805293321904/10432\ 94229334476094873055484829*c_1010_6^7 + 11136208546868618377754510715688148/1043294229334476094873055484829\ *c_1010_6^6 + 3635301622042980827692490371166275/104329422933447609\ 4873055484829*c_1010_6^5 - 11536919775988120288180157322242774/1043\ 294229334476094873055484829*c_1010_6^4 + 9200880421674872453412266444328846/1043294229334476094873055484829*\ c_1010_6^3 - 4075091918975904188712739352137442/1043294229334476094\ 873055484829*c_1010_6^2 + 1047191497543942456706312937487963/104329\ 4229334476094873055484829*c_1010_6 - 122273487070395945667976941377236/1043294229334476094873055484829, c_0101_1 - 264084138260972313643023776682595/19822590357355045802588054\ 211751*c_1010_6^21 - 1766200578687231249122520712506141/19822590357\ 355045802588054211751*c_1010_6^20 + 3010321200070504842154253115153148/19822590357355045802588054211751\ *c_1010_6^19 + 29802312209943819645435724819644325/1982259035735504\ 5802588054211751*c_1010_6^18 - 16459097384953434093546347849555289/\ 19822590357355045802588054211751*c_1010_6^17 - 157382934467957649446341818939986083/198225903573550458025880542117\ 51*c_1010_6^16 + 1604675228642924514286484010199057/104329422933447\ 6094873055484829*c_1010_6^15 + 400453036697928846263114148258037731\ /19822590357355045802588054211751*c_1010_6^14 + 62781689396764146673435683624685932/1982259035735504580258805421175\ 1*c_1010_6^13 - 1064136318331724157425214089949859887/1982259035735\ 5045802588054211751*c_1010_6^12 + 554381956143354231741226052522153\ 91/19822590357355045802588054211751*c_1010_6^11 + 2454339858341697873208246763327972995/19822590357355045802588054211\ 751*c_1010_6^10 - 2251975632799088898087796917610579887/19822590357\ 355045802588054211751*c_1010_6^9 - 1267385047845356847511392021973210538/19822590357355045802588054211\ 751*c_1010_6^8 + 3433003087951652158146670108488174856/198225903573\ 55045802588054211751*c_1010_6^7 - 162511842546756150483798374527787\ 7710/19822590357355045802588054211751*c_1010_6^6 - 1445922714949344602215910622130484699/19822590357355045802588054211\ 751*c_1010_6^5 + 2588408904342595570277974395263645405/198225903573\ 55045802588054211751*c_1010_6^4 - 182979954951974034966644692981161\ 3579/19822590357355045802588054211751*c_1010_6^3 + 758734175653938545085911517361869355/198225903573550458025880542117\ 51*c_1010_6^2 - 186166449929395793972694387975593095/19822590357355\ 045802588054211751*c_1010_6 + 21370327201006797736226668580711127/1\ 9822590357355045802588054211751, c_0101_10 - 534740267767624429601650062977156/1982259035735504580258805\ 4211751*c_1010_6^21 - 3555482944435264158066023324125414/1982259035\ 7355045802588054211751*c_1010_6^20 + 6245456050557434184024939270531967/19822590357355045802588054211751\ *c_1010_6^19 + 60180825089712024409556471552736543/1982259035735504\ 5802588054211751*c_1010_6^18 - 35777398197673661145710675091522778/\ 19822590357355045802588054211751*c_1010_6^17 - 318588667658701868187129403451878325/198225903573550458025880542117\ 51*c_1010_6^16 + 3916195066744926347009655835941059/104329422933447\ 6094873055484829*c_1010_6^15 + 814858186156002155169097315551405032\ /19822590357355045802588054211751*c_1010_6^14 + 96598172022723780160905565918959106/1982259035735504580258805421175\ 1*c_1010_6^13 - 2175759034378424227195508849902953067/1982259035735\ 5045802588054211751*c_1010_6^12 + 187536269056135999775022501701009\ 928/19822590357355045802588054211751*c_1010_6^11 + 5005377374965708112695167057298477085/19822590357355045802588054211\ 751*c_1010_6^10 - 4739831394395565107461652514870652977/19822590357\ 355045802588054211751*c_1010_6^9 - 2482592529673360754984396807551038988/19822590357355045802588054211\ 751*c_1010_6^8 + 7102173533417935938912479520998492652/198225903573\ 55045802588054211751*c_1010_6^7 - 348647822569926164866624173627858\ 1471/19822590357355045802588054211751*c_1010_6^6 - 2906530343589094467499220365086221586/19822590357355045802588054211\ 751*c_1010_6^5 + 5372359730609375171543399557032669825/198225903573\ 55045802588054211751*c_1010_6^4 - 384154258120033456039557808545049\ 2715/19822590357355045802588054211751*c_1010_6^3 + 1606527598207206242817733143187356935/19822590357355045802588054211\ 751*c_1010_6^2 - 397623754008108528055963745313191797/1982259035735\ 5045802588054211751*c_1010_6 + 46141701902206656459980574909570967/\ 19822590357355045802588054211751, c_0101_12 - 462604321207443637543529995854304/1982259035735504580258805\ 4211751*c_1010_6^21 - 3058675769526072601713669583926117/1982259035\ 7355045802588054211751*c_1010_6^20 + 5523186339688382537128325208377107/19822590357355045802588054211751\ *c_1010_6^19 + 51901024379657893243834707303742808/1982259035735504\ 5802588054211751*c_1010_6^18 - 32965893512664475312721851655079128/\ 19822590357355045802588054211751*c_1010_6^17 - 275168527353032965241726823114886900/198225903573550458025880542117\ 51*c_1010_6^16 + 3953880836417972487071113887043783/104329422933447\ 6094873055484829*c_1010_6^15 + 706645225607708036192636402740854600\ /19822590357355045802588054211751*c_1010_6^14 + 56412693284291991241098190594140937/1982259035735504580258805421175\ 1*c_1010_6^13 - 1896951992303339990622945198502872475/1982259035735\ 5045802588054211751*c_1010_6^12 + 229573902179600643396774599279574\ 585/19822590357355045802588054211751*c_1010_6^11 + 4353341080080842021208252535729735051/19822590357355045802588054211\ 751*c_1010_6^10 - 4259023392639037154729422994252284829/19822590357\ 355045802588054211751*c_1010_6^9 - 2061926463982522659351000824353168310/19822590357355045802588054211\ 751*c_1010_6^8 + 6270565212863162610804333668814599582/198225903573\ 55045802588054211751*c_1010_6^7 - 319699166439866960552875288414420\ 6062/19822590357355045802588054211751*c_1010_6^6 - 2485401623166475773586789340637716701/19822590357355045802588054211\ 751*c_1010_6^5 + 4762257643355549852356352665236517266/198225903573\ 55045802588054211751*c_1010_6^4 - 344887812267415020033072518613205\ 9058/19822590357355045802588054211751*c_1010_6^3 + 1456122235129530267296657496711494870/19822590357355045802588054211\ 751*c_1010_6^2 - 363935504312359004577852024267890250/1982259035735\ 5045802588054211751*c_1010_6 + 42748570630485163752366069232575141/\ 19822590357355045802588054211751, c_0101_2 - 61077972591521622656187088430710/198225903573550458025880542\ 11751*c_1010_6^21 - 360950811558210626231255966096101/1982259035735\ 5045802588054211751*c_1010_6^20 + 105566247087234622859506122615557\ 0/19822590357355045802588054211751*c_1010_6^19 + 6660567246682667341402496687977759/19822590357355045802588054211751\ *c_1010_6^18 - 9405393505164051208528030846876209/19822590357355045\ 802588054211751*c_1010_6^17 - 38317942093618532427068845530617958/1\ 9822590357355045802588054211751*c_1010_6^16 + 1798279290677137910175906123018923/1043294229334476094873055484829*\ c_1010_6^15 + 111161908543624724686827094316506128/1982259035735504\ 5802588054211751*c_1010_6^14 - 43410580677304610182528202015664937/\ 19822590357355045802588054211751*c_1010_6^13 - 310418898632141403266447174661148270/198225903573550458025880542117\ 51*c_1010_6^12 + 151802042493926130555851427106997044/1982259035735\ 5045802588054211751*c_1010_6^11 + 685747603800340973698388001282429\ 913/19822590357355045802588054211751*c_1010_6^10 - 867715313967545871683944556310658618/198225903573550458025880542117\ 51*c_1010_6^9 - 203663672690758278872089667324025506/19822590357355\ 045802588054211751*c_1010_6^8 + 11221966650357199896590561421625277\ 15/19822590357355045802588054211751*c_1010_6^7 - 704678564084080621285674436312021722/198225903573550458025880542117\ 51*c_1010_6^6 - 354105157205986815779238740449089261/19822590357355\ 045802588054211751*c_1010_6^5 + 85681694563138621247735729196273888\ 4/19822590357355045802588054211751*c_1010_6^4 - 655350559154530836516578374692734703/198225903573550458025880542117\ 51*c_1010_6^3 + 285278606617426751271208620201735234/19822590357355\ 045802588054211751*c_1010_6^2 - 72847991233061812056562700347102340\ /19822590357355045802588054211751*c_1010_6 + 8630426973538510778404253032442173/19822590357355045802588054211751\ , c_0110_2 + 170983302826977677091271129341521/19822590357355045802588054\ 211751*c_1010_6^21 + 1119594428925119720603722393004358/19822590357\ 355045802588054211751*c_1010_6^20 - 2119658417655980612623853878021365/19822590357355045802588054211751\ *c_1010_6^19 - 19094810485552508106953954090550660/1982259035735504\ 5802588054211751*c_1010_6^18 + 13466252334032447644967137995250897/\ 19822590357355045802588054211751*c_1010_6^17 + 101630610111492312304757220231905589/198225903573550458025880542117\ 51*c_1010_6^16 - 1811402406087701225286457856559048/104329422933447\ 6094873055484829*c_1010_6^15 - 263158529043343753183288947152659091\ /19822590357355045802588054211751*c_1010_6^14 - 4758028884974607105666414625656049/19822590357355045802588054211751\ *c_1010_6^13 + 711920567933298205755965612626242291/198225903573550\ 45802588054211751*c_1010_6^12 - 12456271801602879759681944516028998\ 7/19822590357355045802588054211751*c_1010_6^11 - 1627135816251679292805784119786729273/19822590357355045802588054211\ 751*c_1010_6^10 + 1668950049537525692599635388167741932/19822590357\ 355045802588054211751*c_1010_6^9 + 716893531254074338088048195891887230/198225903573550458025880542117\ 51*c_1010_6^8 - 2396516200987938870871967362350606340/1982259035735\ 5045802588054211751*c_1010_6^7 + 1285644645047196097614153449168333\ 979/19822590357355045802588054211751*c_1010_6^6 + 906432769523354640675307363127662966/198225903573550458025880542117\ 51*c_1010_6^5 - 1829212296553443238847278987773584558/1982259035735\ 5045802588054211751*c_1010_6^4 + 1347174311064114041135630433179125\ 977/19822590357355045802588054211751*c_1010_6^3 - 575680723654214634383357995751793848/198225903573550458025880542117\ 51*c_1010_6^2 + 145610352377876292696747721825661923/19822590357355\ 045802588054211751*c_1010_6 - 17347060992806367558399437476137816/1\ 9822590357355045802588054211751, c_1001_5 - 185984699845252077905298709336745/19822590357355045802588054\ 211751*c_1010_6^21 - 1215730096541416185341493149240057/19822590357\ 355045802588054211751*c_1010_6^20 + 2332907635830620509226541428522328/19822590357355045802588054211751\ *c_1010_6^19 + 20851914909940468935740974599224540/1982259035735504\ 5802588054211751*c_1010_6^18 - 14906750038273571616577798636992163/\ 19822590357355045802588054211751*c_1010_6^17 - 111988210664899246384607729587317395/198225903573550458025880542117\ 51*c_1010_6^16 + 1974948040154788074375894026343758/104329422933447\ 6094873055484829*c_1010_6^15 + 293093769414748988063310064003188770\ /19822590357355045802588054211751*c_1010_6^14 + 9986949191196125959644209412319495/19822590357355045802588054211751\ *c_1010_6^13 - 787751686127610071671208980059718659/198225903573550\ 45802588054211751*c_1010_6^12 + 12093591329369573033971566749197178\ 6/19822590357355045802588054211751*c_1010_6^11 + 1798800048813335975147787559383626257/19822590357355045802588054211\ 751*c_1010_6^10 - 1790571777476626208709396434721630416/19822590357\ 355045802588054211751*c_1010_6^9 - 840469953315010631330336821619610485/198225903573550458025880542117\ 51*c_1010_6^8 + 2611405743669353445676057347312396757/1982259035735\ 5045802588054211751*c_1010_6^7 - 1338136780674842704839572480537728\ 415/19822590357355045802588054211751*c_1010_6^6 - 1030012845553366758119266619495156906/19822590357355045802588054211\ 751*c_1010_6^5 + 1975196864744760304818446458755696897/198225903573\ 55045802588054211751*c_1010_6^4 - 142564239778465293976930266701934\ 0830/19822590357355045802588054211751*c_1010_6^3 + 599180049941258974180065394646970851/198225903573550458025880542117\ 51*c_1010_6^2 - 148712847694602925950096880966121870/19822590357355\ 045802588054211751*c_1010_6 + 17230424639635542056240739154682116/1\ 9822590357355045802588054211751, c_1010_6^22 + 6*c_1010_6^21 - 16*c_1010_6^20 - 105*c_1010_6^19 + 140*c_1010_6^18 + 553*c_1010_6^17 - 526*c_1010_6^16 - 1437*c_1010_6^15 + 808*c_1010_6^14 + 4195*c_1010_6^13 - 2987*c_1010_6^12 - 9155*c_1010_6^11 + 14932*c_1010_6^10 - 1058*c_1010_6^9 - 16324*c_1010_6^8 + 15099*c_1010_6^7 + 1264*c_1010_6^6 - 13585*c_1010_6^5 + 13667*c_1010_6^4 - 7625*c_1010_6^3 + 2671*c_1010_6^2 - 562*c_1010_6 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.900 Total time: 8.109 seconds, Total memory usage: 122.59MB