Magma V2.19-8 Wed Aug 21 2013 00:51:14 on localhost [Seed = 239606641] Type ? for help. Type -D to quit. Loading file "L11a254__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a254 geometric_solution 12.04341507 oriented_manifold CS_known 0.0000000000000009 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 0 1 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 3 0 -3 0 0 -3 3 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.309239462213 1.289618825480 0 3 4 2 0132 0132 0132 2031 0 0 0 0 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 0 0 0 0 0 0 0 3 -3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476121875564 0.632692346846 5 1 0 6 0132 1302 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 3 1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195681953382 0.535203060949 6 1 7 8 3201 0132 0132 0132 0 1 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 -3 -1 4 -1 0 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.323593508777 0.741422620054 9 10 11 1 0132 0132 0132 0132 0 0 0 1 0 0 1 -1 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 -3 3 -4 0 0 4 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.068319522995 1.325825832980 2 7 11 11 0132 3120 2103 2031 1 0 0 0 0 0 1 -1 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 -6 5 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487773118371 1.358065099321 12 12 2 3 0132 1230 0132 2310 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 0 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.729401776800 0.855288893229 8 5 10 3 0132 3120 3201 0132 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 -1 1 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 1.290177724735 1.207555072225 7 10 3 9 0132 0213 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 4 -4 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.271714561009 0.473652836625 4 8 12 10 0132 2310 3012 1023 1 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 1 -1 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686185184226 1.222668246309 7 4 8 9 2310 0132 0213 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 -1 0 0 1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506883627751 0.465553798790 5 5 12 4 2103 1302 0132 0132 0 0 1 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487773118371 1.358065099321 6 9 6 11 0132 1230 3012 0132 0 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 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.422734311179 0.676895707955 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_0101_1'], 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_0101_4'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(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_1100_9' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_1001_6']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_6']), 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_2'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_6'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_12'], '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_1001_6']), '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_11']), '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_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0101_12']), '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_4'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_12']), 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_2, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_1001_1, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 24088113957860900227415968976987415103360064076993680407/4320156123\ 894578712106861200554751793792357675548016*c_1001_6^17 + 122550032587670603482142037351071577614590602247633080625/751331499\ 807752819496845426183435094572583943573568*c_1001_6^16 - 17769931937413229552451433174739874045740196312790727173367/8640312\ 247789157424213722401109503587584715351096032*c_1001_6^15 + 736797143917414208265307671834192742500010292435951531877/478687659\ 15729404012264390033847665305178478399424*c_1001_6^14 - 668189006942614008404837406815255842455678043675865621030069/864031\ 2247789157424213722401109503587584715351096032*c_1001_6^13 + 4799778225034299539743615316067229714610011229641062647095373/17280\ 624495578314848427444802219007175169430702192064*c_1001_6^12 - 6384447982011901566103591035613308030149824796423809903254543/86403\ 12247789157424213722401109503587584715351096032*c_1001_6^11 + 443852964575863946436472205399506293103772441751466650568435/297941\ 801647901980145300772452051847847748805210208*c_1001_6^10 - 322197677478325449147963764503343013936157957341315306688337/139359\ 874964341248777640683888862961090076054049936*c_1001_6^9 + 48295441968203782341874034443988970245442848067073669815889877/1728\ 0624495578314848427444802219007175169430702192064*c_1001_6^8 - 22804306208071580968355582448650856413220625010485809076874947/8640\ 312247789157424213722401109503587584715351096032*c_1001_6^7 + 889166788287047838178527458196941151015211080346777299518731/454753\ 276199429338116511705321552820399195544794528*c_1001_6^6 - 4870837511547724624980548351451919405353447847157758016888983/43201\ 56123894578712106861200554751793792357675548016*c_1001_6^5 + 4352184125383360300150046033877430742189259745954011843151715/86403\ 12247789157424213722401109503587584715351096032*c_1001_6^4 - 363002722071300340310655847034437715812071070558879179527781/216007\ 8061947289356053430600277375896896178837774008*c_1001_6^3 + 172876804848606808520860720160499818749038841653888352404561/432015\ 6123894578712106861200554751793792357675548016*c_1001_6^2 - 6333608975674004656093934799727541423931960540220737028063/10800390\ 30973644678026715300138687948448089418887004*c_1001_6 + 6826908590867380959035806997419683897123598655339335947815/17280624\ 495578314848427444802219007175169430702192064, c_0011_0 - 1, c_0011_10 - 739605988703833669130845122378114032026/2192361815473474536\ 1269830652316838742841*c_1001_6^17 + 1844546366605906591106018904052554391091/19064015786725865531538983\ 17592768586334*c_1001_6^16 - 26071714288010991114559630852867268840\ 3412/21923618154734745361269830652316838742841*c_1001_6^15 + 3788565920999983746921980634786076836830869/43847236309469490722539\ 661304633677485682*c_1001_6^14 - 1839585253494283924667281926587104\ 4567673933/43847236309469490722539661304633677485682*c_1001_6^13 + 63529059931823401963869336425544080891331249/4384723630946949072253\ 9661304633677485682*c_1001_6^12 - 807863861575263478287088720105715\ 64672007354/21923618154734745361269830652316838742841*c_1001_6^11 + 154829007388363080125302822919205567205902112/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 227271652084547696970266156894981123453570642/219236181547347453612\ 69830652316838742841*c_1001_6^9 + 517936656265188249050789670519875\ 982742441299/43847236309469490722539661304633677485682*c_1001_6^8 - 229419495797621876383837882581436511003257479/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 318959657459862385419607439254220\ 733509195153/43847236309469490722539661304633677485682*c_1001_6^6 - 170698680739427765064915795466196824815743859/438472363094694907225\ 39661304633677485682*c_1001_6^5 + 707021321509543983675531209870651\ 71837313565/43847236309469490722539661304633677485682*c_1001_6^4 - 10193514415219687240467479310904321819976570/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 4099947131571346829314932517505922\ 968372051/43847236309469490722539661304633677485682*c_1001_6^2 - 107688023619826778675221396356138428324884/219236181547347453612698\ 30652316838742841*c_1001_6 - 27088671739020083132038030368873175993\ 707/43847236309469490722539661304633677485682, c_0011_11 - 1623135800048564807822138870851282718762/219236181547347453\ 61269830652316838742841*c_1001_6^17 + 4086743914592774849228963585826099315043/19064015786725865531538983\ 17592768586334*c_1001_6^16 - 58453899137026617150744616469533609896\ 0741/21923618154734745361269830652316838742841*c_1001_6^15 + 8605381368695776401084507600512942841456265/43847236309469490722539\ 661304633677485682*c_1001_6^14 - 2118537748157151423848533651618833\ 9832208310/21923618154734745361269830652316838742841*c_1001_6^13 + 74226493935840563193663644887312536830738723/2192361815473474536126\ 9830652316838742841*c_1001_6^12 - 191479757407442326506700002114642\ 145678507262/21923618154734745361269830652316838742841*c_1001_6^11 + 743060036508904649214690040078141058607131695/438472363094694907225\ 39661304633677485682*c_1001_6^10 - 549731685564041104124125122061112539381958315/219236181547347453612\ 69830652316838742841*c_1001_6^9 + 125288762580957019137547279944515\ 4649471334351/43847236309469490722539661304633677485682*c_1001_6^8 - 1097902362224457711719578095232514848042650471/43847236309469490722\ 539661304633677485682*c_1001_6^7 + 741167072383346789019387916841428890198539277/438472363094694907225\ 39661304633677485682*c_1001_6^6 - 189181949623746383887953339559857\ 698771333682/21923618154734745361269830652316838742841*c_1001_6^5 + 144683054134745429908054412806541044292712207/438472363094694907225\ 39661304633677485682*c_1001_6^4 - 378723222692770479908640607490830\ 13770891057/43847236309469490722539661304633677485682*c_1001_6^3 + 6083142836161087362850375693053732504452749/43847236309469490722539\ 661304633677485682*c_1001_6^2 - 12087681907758639981164157772528631\ 0545802/21923618154734745361269830652316838742841*c_1001_6 - 21439384240823627434306973304906046984421/4384723630946949072253966\ 1304633677485682, c_0011_12 - 2076818461015300536879613786219266514118/219236181547347453\ 61269830652316838742841*c_1001_6^17 + 5275363710216159868427424133430110344937/19064015786725865531538983\ 17592768586334*c_1001_6^16 - 15265093282858870131946933111057412624\ 73709/43847236309469490722539661304633677485682*c_1001_6^15 + 11388786434625030476601492138232891973466749/4384723630946949072253\ 9661304633677485682*c_1001_6^14 - 569676092869210259159645969163756\ 40706775369/43847236309469490722539661304633677485682*c_1001_6^13 + 203327810593241507672708513411839096371087891/438472363094694907225\ 39661304633677485682*c_1001_6^12 - 268054284958448376159852767888226474144848109/219236181547347453612\ 69830652316838742841*c_1001_6^11 + 533602426013401474012507150646272784459175229/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 1626717647107981741942482355858703966821853279/43847236309469490722\ 539661304633677485682*c_1001_6^9 + 1917610380263048513695046948358060057479827567/43847236309469490722\ 539661304633677485682*c_1001_6^8 - 874203290553831874271145337146602715721219355/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 617082465143190749042085890005130\ 854229954142/21923618154734745361269830652316838742841*c_1001_6^6 - 333001971149490474088166442786967267786946048/219236181547347453612\ 69830652316838742841*c_1001_6^5 + 136064222320573366752575566842497\ 320614999166/21923618154734745361269830652316838742841*c_1001_6^4 - 40023615646061935052943465120487922624488066/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 1565688406987289862914210401501858\ 6115072599/43847236309469490722539661304633677485682*c_1001_6^2 - 1555852208610782353739219113911881776069399/43847236309469490722539\ 661304633677485682*c_1001_6 + 4776110215716283002184313449781666156\ 6995/43847236309469490722539661304633677485682, c_0011_2 - 1300188506898216520999558526875406446072/2192361815473474536\ 1269830652316838742841*c_1001_6^17 + 1637507128642414278448588654424435812034/95320078933629327657694915\ 8796384293167*c_1001_6^16 - 468824636437255490840158075645158897783\ 720/21923618154734745361269830652316838742841*c_1001_6^15 + 3455933463548333031227774535692192820566276/21923618154734745361269\ 830652316838742841*c_1001_6^14 - 1705589675220495537973422062539408\ 6934504283/21923618154734745361269830652316838742841*c_1001_6^13 + 59975444646604183798146564597831304519921934/2192361815473474536126\ 9830652316838742841*c_1001_6^12 - 155575552150343643296482603189719\ 918645378612/21923618154734745361269830652316838742841*c_1001_6^11 + 304379169496342162186647974147003009051873938/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 455887094055991755374839028750759721714614684/219236181547347453612\ 69830652316838742841*c_1001_6^9 + 528625841089902687859456589502135\ 716313436995/21923618154734745361269830652316838742841*c_1001_6^8 - 474870287860377413849712117391838212488783407/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 331965019457157229033620165137136\ 620740177780/21923618154734745361269830652316838742841*c_1001_6^6 - 178096867039612276134373437100261920257066773/219236181547347453612\ 69830652316838742841*c_1001_6^5 + 731809529281976901771454821678321\ 47632332798/21923618154734745361269830652316838742841*c_1001_6^4 - 21555913401400322715107500006946183965315799/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 4367250166635549307472299114138535\ 943434993/21923618154734745361269830652316838742841*c_1001_6^2 - 436264467517091267356418259426967832378698/219236181547347453612698\ 30652316838742841*c_1001_6 + 71763396949828209870219359445939149249\ 21/21923618154734745361269830652316838742841, c_0101_0 - 202537684087072849981660932140885054464/21923618154734745361\ 269830652316838742841*c_1001_6^17 + 228725424679337949053280472296581812984/953200789336293276576949158\ 796384293167*c_1001_6^16 - 5550818522641538434627344336716008425630\ 2/21923618154734745361269830652316838742841*c_1001_6^15 + 320982475010648448434716552098171380054787/219236181547347453612698\ 30652316838742841*c_1001_6^14 - 10630142167670698423238764095042235\ 27367586/21923618154734745361269830652316838742841*c_1001_6^13 + 3075096902593825821610939536493639272235327/43847236309469490722539\ 661304633677485682*c_1001_6^12 + 2900508403155267424006230506780182\ 096813382/21923618154734745361269830652316838742841*c_1001_6^11 - 43628156461047237934508219551365450783418665/4384723630946949072253\ 9661304633677485682*c_1001_6^10 + 612013708948085356259929757372796\ 13514353428/21923618154734745361269830652316838742841*c_1001_6^9 - 217896610470233885125719988098581032423339223/438472363094694907225\ 39661304633677485682*c_1001_6^8 + 137291980784203255992688616170834\ 666202910828/21923618154734745361269830652316838742841*c_1001_6^7 - 125440422083931386711412802017623983092560724/219236181547347453612\ 69830652316838742841*c_1001_6^6 + 848137515789793508122911744145363\ 18735165609/21923618154734745361269830652316838742841*c_1001_6^5 - 41474353343453172475037464780113947680580522/2192361815473474536126\ 9830652316838742841*c_1001_6^4 + 2952981193354175236931941247542595\ 6452879395/43847236309469490722539661304633677485682*c_1001_6^3 - 6774949654216273637340087654856245734655587/43847236309469490722539\ 661304633677485682*c_1001_6^2 + 41882677342922337267192447488663714\ 3388754/21923618154734745361269830652316838742841*c_1001_6 + 8620457278619387386275404681084358617933/43847236309469490722539661\ 304633677485682, c_0101_1 - 1583458581771841165578497761669198362120/2192361815473474536\ 1269830652316838742841*c_1001_6^17 + 2016580379705132697654100140338807674194/95320078933629327657694915\ 8796384293167*c_1001_6^16 - 585523074521135274612826434432609760481\ 935/21923618154734745361269830652316838742841*c_1001_6^15 + 4385020513450696974371761172948671713847239/21923618154734745361269\ 830652316838742841*c_1001_6^14 - 2202611087161144087307379901020497\ 9971231286/21923618154734745361269830652316838742841*c_1001_6^13 + 78974068076795055575489288971838850256856259/2192361815473474536126\ 9830652316838742841*c_1001_6^12 - 209252898951518378492960885847716\ 382844179041/21923618154734745361269830652316838742841*c_1001_6^11 + 418689988668855623188967089416029119409244765/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 641482281915241215982858712843843587200909793/219236181547347453612\ 69830652316838742841*c_1001_6^9 + 759825502709776078978646294170379\ 472469462202/21923618154734745361269830652316838742841*c_1001_6^8 - 695808828409890510769976575508085301405760896/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 492675314077448780975530773188488\ 931756181869/21923618154734745361269830652316838742841*c_1001_6^6 - 266516928352836174092283768346785488871019582/219236181547347453612\ 69830652316838742841*c_1001_6^5 + 108887094026104477632897231492029\ 115695924277/21923618154734745361269830652316838742841*c_1001_6^4 - 32126341415759714963226239006181832645858943/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 6230649305124673265654982875529086\ 006882431/21923618154734745361269830652316838742841*c_1001_6^2 - 667526883415580738971614583943245886451347/219236181547347453612698\ 30652316838742841*c_1001_6 + 22746764134900556098872960769240127642\ 968/21923618154734745361269830652316838742841, c_0101_11 - 2076818461015300536879613786219266514118/219236181547347453\ 61269830652316838742841*c_1001_6^17 + 5275363710216159868427424133430110344937/19064015786725865531538983\ 17592768586334*c_1001_6^16 - 15265093282858870131946933111057412624\ 73709/43847236309469490722539661304633677485682*c_1001_6^15 + 11388786434625030476601492138232891973466749/4384723630946949072253\ 9661304633677485682*c_1001_6^14 - 569676092869210259159645969163756\ 40706775369/43847236309469490722539661304633677485682*c_1001_6^13 + 203327810593241507672708513411839096371087891/438472363094694907225\ 39661304633677485682*c_1001_6^12 - 268054284958448376159852767888226474144848109/219236181547347453612\ 69830652316838742841*c_1001_6^11 + 533602426013401474012507150646272784459175229/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 1626717647107981741942482355858703966821853279/43847236309469490722\ 539661304633677485682*c_1001_6^9 + 1917610380263048513695046948358060057479827567/43847236309469490722\ 539661304633677485682*c_1001_6^8 - 874203290553831874271145337146602715721219355/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 617082465143190749042085890005130\ 854229954142/21923618154734745361269830652316838742841*c_1001_6^6 - 333001971149490474088166442786967267786946048/219236181547347453612\ 69830652316838742841*c_1001_6^5 + 136064222320573366752575566842497\ 320614999166/21923618154734745361269830652316838742841*c_1001_6^4 - 40023615646061935052943465120487922624488066/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 1565688406987289862914210401501858\ 6115072599/43847236309469490722539661304633677485682*c_1001_6^2 - 1599699444920251844461758775216515453555081/43847236309469490722539\ 661304633677485682*c_1001_6 + 4776110215716283002184313449781666156\ 6995/43847236309469490722539661304633677485682, c_0101_12 + 1, c_0101_4 - 3089109892646172443352/194033444391855226243271*c_1001_6^17 + 87543560075576018850526/194033444391855226243271*c_1001_6^16 - 1057849407570273324148226/194033444391855226243271*c_1001_6^15 + 7516107676190876132526007/194033444391855226243271*c_1001_6^14 - 35428521671159569038527705/194033444391855226243271*c_1001_6^13 + 117541611672656629799615122/194033444391855226243271*c_1001_6^12 - 565608933319505542678714597/388066888783710452486542*c_1001_6^11 + 501241270037854165869438801/194033444391855226243271*c_1001_6^10 - 657714226527056201028252034/194033444391855226243271*c_1001_6^9 + 1272495617610253196268520989/388066888783710452486542*c_1001_6^8 - 871267411384950011054067263/388066888783710452486542*c_1001_6^7 + 392062661733881288084884627/388066888783710452486542*c_1001_6^6 - 33886366926203173975492635/194033444391855226243271*c_1001_6^5 - 18559917913807934410527981/194033444391855226243271*c_1001_6^4 + 38674961134086687653074605/388066888783710452486542*c_1001_6^3 - 13603184591528257639314397/388066888783710452486542*c_1001_6^2 + 1288007046677228750198753/194033444391855226243271*c_1001_6 - 16331802260486791443347/194033444391855226243271, c_0101_7 + 2287620539875530253228591258314990240180/2192361815473474536\ 1269830652316838742841*c_1001_6^17 - 2924016319357732710065583572092076381307/95320078933629327657694915\ 8796384293167*c_1001_6^16 + 853239493472353633397304467056539559966\ 650/21923618154734745361269830652316838742841*c_1001_6^15 - 6430027627580328915342469616468438711748732/21923618154734745361269\ 830652316838742841*c_1001_6^14 + 3255282001619242929062294034471106\ 3222993152/21923618154734745361269830652316838742841*c_1001_6^13 - 117883156793843680750307524016284961460808484/219236181547347453612\ 69830652316838742841*c_1001_6^12 + 316344446324378370532123560004325172251323472/219236181547347453612\ 69830652316838742841*c_1001_6^11 - 643364073810957474338398130724973115944971395/219236181547347453612\ 69830652316838742841*c_1001_6^10 + 1006411535245283001614961292432302833064216430/21923618154734745361\ 269830652316838742841*c_1001_6^9 - 1223641132415099663478125573158085694439298686/21923618154734745361\ 269830652316838742841*c_1001_6^8 + 1158020324961974210601566744470853835121593601/21923618154734745361\ 269830652316838742841*c_1001_6^7 - 853438023261258895807331953836651815213515468/219236181547347453612\ 69830652316838742841*c_1001_6^6 + 484338574850329946159817890329031\ 202497426419/21923618154734745361269830652316838742841*c_1001_6^5 - 208826158614508771881988258236465179652151502/219236181547347453612\ 69830652316838742841*c_1001_6^4 + 654676269269895083330452451075237\ 80438037228/21923618154734745361269830652316838742841*c_1001_6^3 - 13716583971320836410037131029091967284126900/2192361815473474536126\ 9830652316838742841*c_1001_6^2 + 1516991377513515405992003524787171\ 305575768/21923618154734745361269830652316838742841*c_1001_6 - 21152816381952656430927132170742387975596/2192361815473474536126983\ 0652316838742841, c_1001_1 - 560582518194382851868713404497292414046/21923618154734745361\ 269830652316838742841*c_1001_6^17 + 1430467890678921965791158404796317232977/19064015786725865531538983\ 17592768586334*c_1001_6^16 - 20810749355714557969456176711648620938\ 0308/21923618154734745361269830652316838742841*c_1001_6^15 + 3123301006096682315533568436598308804301683/43847236309469490722539\ 661304633677485682*c_1001_6^14 - 1571594096946707151279562198491712\ 9301334633/43847236309469490722539661304633677485682*c_1001_6^13 + 56421829361384965632423792770118528148512619/4384723630946949072253\ 9661304633677485682*c_1001_6^12 - 747891659928172954677737311791483\ 53973371258/21923618154734745361269830652316838742841*c_1001_6^11 + 149550162107979082061345151227797441845971826/219236181547347453612\ 69830652316838742841*c_1001_6^10 - 228615441971444058404572871855778598261044042/219236181547347453612\ 69830652316838742841*c_1001_6^9 + 539315025914617126668123508484395\ 449884432691/43847236309469490722539661304633677485682*c_1001_6^8 - 245450792062755537465874234810401701485525928/219236181547347453612\ 69830652316838742841*c_1001_6^7 + 344970381454452072647632891020052\ 507971160407/43847236309469490722539661304633677485682*c_1001_6^6 - 185495053339796787203831078734327015698389687/438472363094694907225\ 39661304633677485682*c_1001_6^5 + 756597737054409819867378433485991\ 23427352031/43847236309469490722539661304633677485682*c_1001_6^4 - 11362398986180635474640020696041862145339229/2192361815473474536126\ 9830652316838742841*c_1001_6^3 + 4634553201699751785629665710771148\ 918497935/43847236309469490722539661304633677485682*c_1001_6^2 - 328576443897264488681196863070829404053814/219236181547347453612698\ 30652316838742841*c_1001_6 + 41441351128985725106081902258061005843\ 549/43847236309469490722539661304633677485682, c_1001_6^18 - 117/4*c_1001_6^17 + 1475/4*c_1001_6^16 - 11037/4*c_1001_6^15 + 55441/4*c_1001_6^14 - 199073/4*c_1001_6^13 + 529437/4*c_1001_6^12 - 266757*c_1001_6^11 + 827651/2*c_1001_6^10 - 2000055/4*c_1001_6^9 + 1887821/4*c_1001_6^8 - 349454*c_1001_6^7 + 402793/2*c_1001_6^6 - 179879/2*c_1001_6^5 + 60001/2*c_1001_6^4 - 7149*c_1001_6^3 + 1051*c_1001_6^2 - 289/4*c_1001_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB