Magma V2.19-8 Wed Aug 21 2013 01:04:59 on localhost [Seed = 2101044510] Type ? for help. Type -D to quit. Loading file "L14n24959__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24959 geometric_solution 11.61754350 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 0 1 0 2 2310 0132 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 -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.050179915276 0.768973623697 3 0 5 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 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.478832878677 1.025872382820 6 7 0 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.410105164110 1.093082327207 1 2 8 7 0132 2310 0132 2310 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 -1 1 0 0 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 0 1.002337251987 0.786474482071 8 6 1 9 0132 1302 0132 0132 0 0 1 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 -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 0 0 0 0 0.841560615531 1.008520360844 10 9 11 1 0132 1023 0132 0132 0 0 0 1 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 0 0 0 -2 0 2 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.135885303463 0.401235638996 2 12 12 4 0132 0132 0321 2031 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 -1 0 1 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.735140350201 1.023571516667 3 2 10 12 3201 0132 0321 2310 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 -1 2 -1 0 0 -1 1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642141924282 0.695731155513 4 9 10 3 0132 2103 3012 0132 0 0 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -2 2 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.567717865287 0.194792140161 5 8 4 11 1023 2103 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.286620118130 1.497450030972 5 8 7 11 0132 1230 0321 0321 0 0 1 0 0 -1 1 0 -1 0 1 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 2 -2 0 2 0 -2 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 1.231617985860 1.524654608212 12 10 9 5 3201 0321 0132 0132 0 0 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 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.308956553659 0.994288718721 7 6 6 11 3201 0132 0321 2310 1 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 1 0 -1 0 0 0 0 1 1 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735140350201 1.023571516667 ==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_0011_12'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_0101_8'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1001_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_0101_12'], 'c_1010_2' : d['c_1001_11'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : negation(d['c_1001_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), '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_0'], 'c_0011_2' : d['c_0011_12'], 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_8, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2221706101964497319237742998249168404082491820585626638375259852369\ 6717083178509367174960520/38534072946224846373093717810468246440719\ 307776290719936724901145327066396182355017556467*c_1100_1^17 + 2595246889400193580342143452026176259898949751947389953184567799297\ 94303179545621468816053821/7706814589244969274618743562093649288143\ 8615552581439873449802290654132792364710035112934*c_1100_1^16 - 6294001803908039987309813626987791772197400530260394114631575376693\ 8920281879471616835166027/81124364097315466048618353285196308296251\ 17426587519986678926556910961346564706319485572*c_1100_1^15 - 9941305899934012145605505574268374408500642750389013210039655537552\ 05230716475088558983262877/1541362917848993854923748712418729857628\ 77231105162879746899604581308265584729420070225868*c_1100_1^14 + 8486090182099597962786260549607960970268566172631185038736484969066\ 442152577961554427342649615/770681458924496927461874356209364928814\ 38615552581439873449802290654132792364710035112934*c_1100_1^13 - 2991913794520035325747838298784770650683862342417402446873311648852\ 0084242779240249340244056697/77068145892449692746187435620936492881\ 438615552581439873449802290654132792364710035112934*c_1100_1^12 + 4263325229114845673488614565155256362286007311778462779901279942501\ 4876237954716098552152930354/38534072946224846373093717810468246440\ 719307776290719936724901145327066396182355017556467*c_1100_1^11 - 1002476794628910770946977403534090796564711704823347409695673318870\ 29744816794970581963682149522/3853407294622484637309371781046824644\ 0719307776290719936724901145327066396182355017556467*c_1100_1^10 + 7020353493999394860303277459137814804159955617021978037366743345212\ 51732539154680471960216887847/1541362917848993854923748712418729857\ 62877231105162879746899604581308265584729420070225868*c_1100_1^9 - 5276071597942239407275345537200280699814733084312499628874551205405\ 2790298570859708474559899987/90668406932293756171985218377572344566\ 39837123833110573347035563606368563807612945307404*c_1100_1^8 + 9236269833088195270473167889936444601948823198591763392137171752953\ 97642857855855874056349230821/1541362917848993854923748712418729857\ 62877231105162879746899604581308265584729420070225868*c_1100_1^7 - 1012351809909196818695699447525053996718075859641819177837439463080\ 156499728305138027623221246605/154136291784899385492374871241872985\ 762877231105162879746899604581308265584729420070225868*c_1100_1^6 + 1158309269623885887552710644300105601454956621420008601041951233670\ 773433602670928092106356121133/154136291784899385492374871241872985\ 762877231105162879746899604581308265584729420070225868*c_1100_1^5 - 1067656014574664795651275099995446293072958645028993479953142137548\ 177346662161600641372400631019/154136291784899385492374871241872985\ 762877231105162879746899604581308265584729420070225868*c_1100_1^4 + 7743630132891145706689351034963507247990363455991051911073311541141\ 52898242346715620819171296665/1541362917848993854923748712418729857\ 62877231105162879746899604581308265584729420070225868*c_1100_1^3 - 1687950857605132733419330166093380427522054839986181736402974245303\ 2723528587373681208961525053/49721384446741737255604797174797737342\ 86362293714931604738696921977685986604174840975028*c_1100_1^2 + 9234673531345342486287620695006047524612425187354687660202934640620\ 733434202340248533866125281/497213844467417372556047971747977373428\ 6362293714931604738696921977685986604174840975028*c_1100_1 - 7489661589249677165681010204253343943555884376893630254770704376676\ 1871917923292891976396067351/15413629178489938549237487124187298576\ 2877231105162879746899604581308265584729420070225868, c_0011_0 - 1, c_0011_10 + 24131412387003814894249232920725061216583314593802644140929\ 312720/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 + 18342472292221945630427488172298742831965763\ 2023440076269428047993/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 - 7995889253287603489127809516096326942228982296878842965553397297/61\ 589373218136914966307657240421042733297222098621384078705327521194*\ c_1100_1^15 - 65198108814359525662542921363952786019675718434246175\ 6959122714085/61589373218136914966307657240421042733297222098621384\ 078705327521194*c_1100_1^14 + 7555597784361068538566652496271369056\ 326031259995388642180928502985/615893732181369149663076572404210427\ 33297222098621384078705327521194*c_1100_1^13 - 9615872928900001935340747616190256212345105995516629136091648514947\ /307946866090684574831538286202105213666486110493106920393526637605\ 97*c_1100_1^12 + 59386124775434277547877225671873772048717444941839\ 445526378623839665/615893732181369149663076572404210427332972220986\ 21384078705327521194*c_1100_1^11 - 1213430092951635274414011571723258186449893943942758297252097624247\ 71/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^10 + 183941559405955674386812070157790628031843595549\ 347827689691054460709/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^9 - 1076929390223815352892306201202855921447511821111078484829380660419\ 23/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 + 2224442073913950992530991887088416440794752736857\ 58509467213758226655/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^7 - 1345760744383169425530878346761077898043676251405361248907095179385\ 32/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 + 1117724644053591521460668061328941118025954283011\ 23738638695028566563/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^5 - 1061969378915410381305978970076604592200541404887267307949262028009\ 75/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^4 + 1417837360020365564004735099571977413932424907480\ 86311544123275337027/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^3 - 8992385016451356520003579778507188317049994660906469111294056784350\ 5/61589373218136914966307657240421042733297222098621384078705327521\ 194*c_1100_1^2 + 32776313340036714387121386709793595970848496485512\ 571050098853259197/307946866090684574831538286202105213666486110493\ 10692039352663760597*c_1100_1 + 46343813693376611763846664895933745\ 70481954849886308974439975173201/6158937321813691496630765724042104\ 2733297222098621384078705327521194, c_0011_11 - 15251974785469857164255944511348339952241551535298253893364\ 9058320/30794686609068457483153828620210521366648611049310692039352\ 663760597*c_1100_1^17 - 1028056639640173847465849751243033110876215\ 963384584253738513764093/307946866090684574831538286202105213666486\ 11049310692039352663760597*c_1100_1^16 + 2402230430366343021395702351239178159878393602836319150225844091799\ /615893732181369149663076572404210427332972220986213840787053275211\ 94*c_1100_1^15 + 32890471171287506878766466498707556074922971815832\ 41026487076497556/3079468660906845748315382862021052136664861104931\ 0692039352663760597*c_1100_1^14 - 266945308116992156914715045894946\ 21868983673032581933046530537401165/3079468660906845748315382862021\ 0521366648611049310692039352663760597*c_1100_1^13 + 1544079084803331821685909259146510276102395803269524437238632225264\ 37/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^12 - 210637831846338772272375712550729454077237072738\ 919117851725048700726/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^11 + 4614912682360217581109258919495581746538095192285494617797131455835\ 43/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 - 685618127895683961931778226550538140091882436404\ 801496672237615472325/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 + 6937560382856733610472392856114301150823875430802051205626084574067\ 37/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 - 6115388923582396944085520811758998489781454429272\ 92051893173443274213/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 + 1606429146660487682233413232965779235463897960940356382428725170981\ 771/615893732181369149663076572404210427332972220986213840787053275\ 21194*c_1100_1^6 - 178798148558870202510848187078017381853948737411\ 4076349855949956396073/61589373218136914966307657240421042733297222\ 098621384078705327521194*c_1100_1^5 + 1149722333899986148976028075643536076234073981367933156374427661350\ 591/615893732181369149663076572404210427332972220986213840787053275\ 21194*c_1100_1^4 - 333157534089135384922759739884736180172798129115\ 628451977006333910079/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^3 + 4402062514876028156800354308789556327368082689088391290359762212460\ 99/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^2 - 1188639523496139143235052282146327123708437800502\ 9351522638787598679/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1 - 6001746932803748090907532727899353\ 6125449263828902420123708144744723/30794686609068457483153828620210\ 521366648611049310692039352663760597, c_0011_12 - 29264751752887154809341834374246986022749355329854495743365\ 642560/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 - 17623711865251650081402991315226529589062647\ 6530953846318135402404/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 + 398240070425613373707974733738658585232049921310426287712875062192/\ 3079468660906845748315382862021052136664861104931069203935266376059\ 7*c_1100_1^15 + 660255264834137445928975536460784523230509230352341\ 931284228767227/307946866090684574831538286202105213666486110493106\ 92039352663760597*c_1100_1^14 - 56294582625507241969559419977958909\ 16558425660336221185414845596771/3079468660906845748315382862021052\ 1366648611049310692039352663760597*c_1100_1^13 + 1798359624145810617815955709459813652909782050528699269270961798994\ 2/30794686609068457483153828620210521366648611049310692039352663760\ 597*c_1100_1^12 - 4675835043590589590411265878810157901523533611427\ 1707598483127907906/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1^11 + 1071755669572712572072558496650592278178635198024984433032468629773\ 86/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 - 165771744639217627861718792647455750945545550353\ 400083062915556087105/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 + 1684093840317548084081226558006684841492292108644715631217678256274\ 57/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 - 1340728117279480781078844135277274358207501105894\ 46551105171594319391/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 + 1725147727014132358454362690067873191814122120835437377735783040842\ 84/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 - 2316328074787052454786316868666363268519187439949\ 79865718928931859561/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^5 + 1519692103876749514066397323532258750904272292354600383879570490023\ 59/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^4 - 5868109219736440422110399335920769120849199738007\ 5553071149910004832/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1^3 + 5559333989890152771997209669664899955848342812057821079490842456413\ 6/30794686609068457483153828620210521366648611049310692039352663760\ 597*c_1100_1^2 - 15376125828634761881345366045134243027776310402367\ 846231899866211335/307946866090684574831538286202105213666486110493\ 10692039352663760597*c_1100_1 - 24144420474656445877382719817957987\ 126939488848704724053919075874266/307946866090684574831538286202105\ 21366648611049310692039352663760597, c_0011_4 - 1, c_0101_0 + 952574800857908551836171771048364651551367787826068935805372\ 20320/3079468660906845748315382862021052136664861104931069203935266\ 3760597*c_1100_1^17 + 643138538648863876306852503981358584693592892\ 191765267947706609878/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^16 - 763697046751606836839049789465116511285852913722441361657215346113/\ 3079468660906845748315382862021052136664861104931069203935266376059\ 7*c_1100_1^15 - 222942762873418352635777068147435352194303193387222\ 1669185271961313/30794686609068457483153828620210521366648611049310\ 692039352663760597*c_1100_1^14 + 3317482617101558012701161394193191\ 1926727768398567813981598413588775/61589373218136914966307657240421\ 042733297222098621384078705327521194*c_1100_1^13 - 4769266181720377069749506173574353253515316913368454935056339269756\ 5/30794686609068457483153828620210521366648611049310692039352663760\ 597*c_1100_1^12 + 1277597758420189841095439459451262652503922315255\ 08338013079032009128/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^11 - 2806718291656897737183196576934701987357336380922809510412209427086\ 97/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 + 810181423324939492544339894672208493944838997190\ 467580679276347043959/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^9 - 7867938303801741542780464863475321944166956007728261514624444057392\ 99/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^8 + 3326082266082678770597834843350572172140088539693\ 15202803310099119023/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 - 4669267390159706028399888865432763043599155476049840519533392695730\ 46/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 + 1036625528344362145093538730852608804532050691169\ 630337983170657396257/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^5 - 5684502321758153859791804026655407536023811078737324240602370483508\ 63/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^4 + 3165416923039648371993017563009856250263275041176\ 19822464499369881611/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^3 - 1212460581763454447041462775301120893525295349317658830441646569330\ 32/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^2 - 1144337078080532220973954775043130001754747175592\ 6184569982166585886/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1 + 7036964872883963451229921253925789\ 9769381461274657816272545824050706/30794686609068457483153828620210\ 521366648611049310692039352663760597, c_0101_1 + 114666275817149785328311497417584056846651440189621214290763\ 695680/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 + 80355651545683336475166013028845868974461903\ 2989226460739786879172/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 - 645653227627301822698166976704537373101901259805554933859194085507/\ 3079468660906845748315382862021052136664861104931069203935266376059\ 7*c_1100_1^15 - 458286399330648661584274154775488931145746157241347\ 6305260737505183/61589373218136914966307657240421042733297222098621\ 384078705327521194*c_1100_1^14 + 3928913029558557119089999510661556\ 4313551332369279174512655637954363/61589373218136914966307657240421\ 042733297222098621384078705327521194*c_1100_1^13 - 1073685673241149778337981469076053062970452489418732221918797549034\ 79/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^12 + 299918077357281094776643075070164857903818888971\ 034218743215809205041/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^11 - 6372306404362206472426746744044586880455469820108580306184699509742\ 97/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^10 + 465627791461982007247661767862060922473054433173\ 928558985380219836772/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 - 4579882818333081742817393580404128566311546527091976190081433599587\ 14/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 + 3974186991198583812673133147740404456370152145628\ 08382126737945337464/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 - 5281930957468890904554237389694833876299763737202420959470901074999\ 18/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 + 5632549050849111613287117878621101796532550518751\ 00886841697720348809/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^5 - 7424465232957684411293123812584734116344108328098858280223258766356\ 23/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^4 + 4203291481137893385609695928515499260498609476251\ 06252612246884742247/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^3 - 1271806085895364390498997099934763697388807862969869887278511782003\ 37/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^2 - 5038265204185123979336843268228819817439139625427\ 0352794423188866171/61589373218136914966307657240421042733297222098\ 621384078705327521194*c_1100_1 + 4452218455368493799691297554214991\ 7539561826293512504412695684799475/30794686609068457483153828620210\ 521366648611049310692039352663760597, c_0101_11 - 12597566341810777467032986785140358345047131127181799682505\ 2592560/30794686609068457483153828620210521366648611049310692039352\ 663760597*c_1100_1^17 - 9128925449588159337711583922422429803991124\ 78925302041287743935759/3079468660906845748315382862021052136664861\ 1049310692039352663760597*c_1100_1^16 + 1015344679957435492709460297311718543352004633123941863754660134085\ /615893732181369149663076572404210427332972220986213840787053275211\ 94*c_1100_1^15 + 27971785890788994655846649187431779991045437802043\ 22738385155507651/3079468660906845748315382862021052136664861104931\ 0692039352663760597*c_1100_1^14 - 412822440793939691056108214496511\ 14005653131604673677980107973716765/6158937321813691496630765724042\ 1042733297222098621384078705327521194*c_1100_1^13 + 1078631883311207029289375609737321553783504859767613964193310325734\ 67/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^12 - 299632519131131697175429516561866198938089877760\ 287572767210059535359/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^11 + 6254542434861923383427987884535267506093826515852087563017581480546\ 41/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^10 - 857435842480307909480820997086182063001790850554\ 830715447340897855347/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^9 + 7924821146097249963637932063821906796134585386025086372563826432610\ 93/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^8 - 6949702767836087858317380531108257688622293370081\ 93025492416962722607/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^7 + 1036204499050189875635283305880409903547490843010779357933310444658\ 983/615893732181369149663076572404210427332972220986213840787053275\ 21194*c_1100_1^6 - 101521705400830873794655989993537803760825674383\ 7557869237764076756957/61589373218136914966307657240421042733297222\ 098621384078705327521194*c_1100_1^5 + 2759105898055314532908619473839604120732427716765328088104952009561\ 11/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^4 - 1565861439973789609610697761487263237070648962765\ 55204772142785512683/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^3 + 1974696730053010492884369821123142455679248890279850827751146613262\ 23/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^2 + 1780863219380519506651914051949715995469611435206\ 7535705263806389889/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1 - 7738837694243328684060379403124396\ 5136790655350392089273286121352717/61589373218136914966307657240421\ 042733297222098621384078705327521194, c_0101_12 + 38913790741891121338260244963432292620943752381765089628456\ 774000/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 + 25976651874217555887901053316056695464444811\ 6778283602347479893435/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 - 583860051098044395192743858894761504105621546588805916982966261877/\ 6158937321813691496630765724042104273329722209862138407870532752119\ 4*c_1100_1^15 - 565059103432269045670660469212607503157641529565386\ 822886605029543/307946866090684574831538286202105213666486110493106\ 92039352663760597*c_1100_1^14 + 69449338724141084998027830585764210\ 43678157081097947563412539129498/3079468660906845748315382862021052\ 1366648611049310692039352663760597*c_1100_1^13 - 4151834067131249109850134232506733422765939274931370457233195108794\ 1/61589373218136914966307657240421042733297222098621384078705327521\ 194*c_1100_1^12 + 5964082018516646438256116422064333111955769320258\ 4332686869057029407/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1^11 - 1312912503404870858241445415864338198203345049878965774801413960100\ 86/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 + 212651163752940899500027848332783139429970370088\ 261458129635951723552/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 - 2441133435259095363019115751925118802433449826094912163848018460712\ 40/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 + 2331033469201558607431790806128787054207926673814\ 61543144636502498342/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 - 5346392412030271342029780697795350585134044258379156209474594259714\ 53/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^6 + 5756234424681034357461170644374203171803375939452\ 56340629265843407949/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^5 - 4796019136483357253918410943448697615443022382322349785183625116058\ 51/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^4 + 1434206705353993621910474568090838171639534311171\ 31658441273779967208/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^3 - 1745028505219346074582916389492574545338006310003178643827657717946\ 23/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^2 + 1819950663768099254926075167132139370592891391901\ 0054944084859385986/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1 + 1437602023708078483095450429062705\ 9939678424988946092685670519212567/30794686609068457483153828620210\ 521366648611049310692039352663760597, c_0101_3 - 191605944797120586989336763031236871221104213478192980376036\ 070240/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 - 13860890430178489006204907018123949973057759\ 85597523478506574229166/3079468660906845748315382862021052136664861\ 1049310692039352663760597*c_1100_1^16 + 765751469475928702615677879859291921625838218056651045218029225248/\ 3079468660906845748315382862021052136664861104931069203935266376059\ 7*c_1100_1^15 + 808962954519907505975983884141162099614137088772454\ 5343660188289451/61589373218136914966307657240421042733297222098621\ 384078705327521194*c_1100_1^14 - 3158456737459942808755908584894228\ 4087731741809831950963156266118008/30794686609068457483153828620210\ 521366648611049310692039352663760597*c_1100_1^13 + 1655862149404687065903812040265826271110364141839531092864735491234\ 49/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^12 - 464568599972949617205052974524491053734613114332\ 848589172120721447687/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^11 + 4849972627426885220761063301875807812490600925718021609361455615030\ 20/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 - 678814619804013060601274495626371755776632368454\ 896296496236397539422/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 + 6460333375230616445269723957205091912538295784886075329598327517350\ 24/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 - 5761925449665314754831058229738002125219190918606\ 63856208573084843994/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 + 8271551814961553661687145191331458654782233708721874381073302334219\ 82/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 - 8157462572802220702509080140221361999263824040231\ 89135577016844838923/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^5 + 4972709473739302007230895536144446629545734290106865918719687450978\ 64/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^4 - 3025510153912268599158492592590693992032723523626\ 42253021137507373355/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^3 + 4197162449620171924922535984977021781785935522517952088907396012052\ 35/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^2 + 8150210522665764209943160572406308077522781019492\ 5115555197340212081/61589373218136914966307657240421042733297222098\ 621384078705327521194*c_1100_1 - 1021180632445829982704674044591833\ 23020832445528808377499095724168945/6158937321813691496630765724042\ 1042733297222098621384078705327521194, c_0101_8 + 114885201120102720113330503946330453273099132121002207415645\ 686240/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 + 80368527829558013853765664344840824480551772\ 4043691693399084917766/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 - 652167643591888662226595512161051327472257497507698041960264685623/\ 3079468660906845748315382862021052136664861104931069203935266376059\ 7*c_1100_1^15 - 224945012971682974764302143936608978759581626328006\ 1410765561774100/30794686609068457483153828620210521366648611049310\ 692039352663760597*c_1100_1^14 + 3948420998871826927160031676098415\ 8944096085911734535229801943595273/61589373218136914966307657240421\ 042733297222098621384078705327521194*c_1100_1^13 - 1081097846039999609240631402853328829423580029104043079279699420471\ 19/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^12 + 303224828435373784405166146575141791201316311050\ 263389471180127606249/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^11 - 6440316026012163879225439947694071595695782366493865079223342371579\ 11/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^10 + 476036215945577190048473206385497572963050056562\ 045126829002443892682/307946866090684574831538286202105213666486110\ 49310692039352663760597*c_1100_1^9 - 4731139999898445162227240228316328936425420138141491841043435711789\ 20/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^8 + 8355193947379245882920165568157896626090517968532\ 10968263496887969511/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^7 - 1105293476096899087352136251984478168057905231072858227215042840083\ 211/615893732181369149663076572404210427332972220986213840787053275\ 21194*c_1100_1^6 + 118720688468986859365114143134324383204063735065\ 6665240306942561040083/61589373218136914966307657240421042733297222\ 098621384078705327521194*c_1100_1^5 - 4032953489840471577295613784480658152092144420702143763566674607523\ 90/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^4 + 4131759336017819717051197156837468350384488155126\ 96828543221068509043/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^3 - 3454902850531365810911827859302129944413528059488424929692056421227\ 17/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^2 + 2736649213414200189849626028565807858607764568449\ 5734907480109866031/61589373218136914966307657240421042733297222098\ 621384078705327521194*c_1100_1 + 4658831488330117297575013015548356\ 0006638210557805445000229772595288/30794686609068457483153828620210\ 521366648611049310692039352663760597, c_1001_11 - 41067143513636863905277720084325378708987619556892618623325\ 727920/307946866090684574831538286202105213666486110493106920393526\ 63760597*c_1100_1^17 - 26375356410455794305886466291936684093016344\ 7039658723775626254383/30794686609068457483153828620210521366648611\ 049310692039352663760597*c_1100_1^16 + 866561825175282630439266019837929670224568451770919436014858814839/\ 6158937321813691496630765724042104273329722209862138407870532752119\ 4*c_1100_1^15 + 188513052694872198689462984980850198824509971282805\ 5898163709386805/61589373218136914966307657240421042733297222098621\ 384078705327521194*c_1100_1^14 - 7556094205172435321902879753453861\ 316738071542696138172623815480531/307946866090684574831538286202105\ 21366648611049310692039352663760597*c_1100_1^13 + 2249728942270294640505476805254298354827269249318108281223317827593\ 0/30794686609068457483153828620210521366648611049310692039352663760\ 597*c_1100_1^12 - 1197788275149396089046608190038468221549943217694\ 48592490544394270639/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^11 + 1332336205279136336009798659951889693691495500461643069418435610549\ 86/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^10 - 400185654904603574719820993026570776449055761941\ 218123830855553284535/615893732181369149663076572404210427332972220\ 98621384078705327521194*c_1100_1^9 + 3896812288923006926882633969084851792796061123205857949166629085698\ 33/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^8 - 1607639513332464972141776002534753113133079416162\ 80923268249181189904/3079468660906845748315382862021052136664861104\ 9310692039352663760597*c_1100_1^7 + 2154086767664515753054488021258044039362847869959307046753523429159\ 25/3079468660906845748315382862021052136664861104931069203935266376\ 0597*c_1100_1^6 - 5344369331910156254325930514417052243773748899134\ 30459097819858068235/6158937321813691496630765724042104273329722209\ 8621384078705327521194*c_1100_1^5 + 3175173114623418682942907123531571389839196769423932670165474532645\ 85/6158937321813691496630765724042104273329722209862138407870532752\ 1194*c_1100_1^4 - 7079120953477891408654868765217884967754429605558\ 7899026799595126053/30794686609068457483153828620210521366648611049\ 310692039352663760597*c_1100_1^3 + 7474484619234865071878512325717459069757844012147159472754767272620\ 0/30794686609068457483153828620210521366648611049310692039352663760\ 597*c_1100_1^2 - 19911547305359613981101845889616734787707237896970\ 013749859127475743/307946866090684574831538286202105213666486110493\ 10692039352663760597*c_1100_1 - 46719235678028518526412626813905642\ 255121396460693297714257211931921/615893732181369149663076572404210\ 42733297222098621384078705327521194, c_1100_1^18 + 497/80*c_1100_1^17 - 1807/160*c_1100_1^16 - 65/4*c_1100_1^15 + 29903/160*c_1100_1^14 - 48173/80*c_1100_1^13 + 133359/80*c_1100_1^12 - 303513/80*c_1100_1^11 + 993377/160*c_1100_1^10 - 142517/20*c_1100_1^9 + 263749/40*c_1100_1^8 - 597981/80*c_1100_1^7 + 699831/80*c_1100_1^6 - 568521/80*c_1100_1^5 + 66873/16*c_1100_1^4 - 103819/40*c_1100_1^3 + 79763/80*c_1100_1^2 + 6067/16*c_1100_1 - 51553/160 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.620 Total time: 0.830 seconds, Total memory usage: 32.09MB