Magma V2.19-8 Wed Aug 21 2013 00:07:29 on localhost [Seed = 21458445] Type ? for help. Type -D to quit. Loading file "K13n2304__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2304 geometric_solution 12.16727272 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 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 1.041611794197 0.813101905415 0 5 3 2 0132 0132 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 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.525848132400 0.498556395572 1 0 7 6 3120 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 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.441273310289 0.567097929623 6 1 8 0 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466598147374 0.981538131257 9 6 0 10 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.108191734640 1.778261555504 7 1 7 6 1023 0132 2103 3201 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 -1 1 0 0 0 0 1 0 0 -1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573704136479 0.917084900655 3 5 2 4 0132 2310 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 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.008794742804 0.863838507722 5 5 9 2 2103 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416804035950 0.896665252027 10 11 12 3 1302 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 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456189593530 0.253129263435 4 7 11 11 0132 3201 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.376082818052 0.833572401333 12 8 4 12 1230 2031 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 1 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.282470366445 0.818165782004 12 8 9 9 0321 0132 2031 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.376082818052 0.833572401333 11 10 10 8 0321 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.282470366445 0.818165782004 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_10']), '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' : negation(d['c_0011_12']), '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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_1100_0'], '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' : d['c_1100_0'], '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_4']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(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_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0110_5, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1402675387951007265285263006288087366769576982627463532/53866619966\ 9496773313140568206526276806529681199725921619*c_1100_0^16 + 717757430019583644445312339567888245625099020958003640/769523142384\ 99539044734366886646610972361383028532274517*c_1100_0^15 + 61423678801811709049441563227111641755998397394206364809/5386661996\ 69496773313140568206526276806529681199725921619*c_1100_0^14 - 367688561034934858818548632261322302169454359220643982540/538666199\ 669496773313140568206526276806529681199725921619*c_1100_0^13 - 20942912877899388936421792525415272827387625903005494818/4143586151\ 3038213331780043708194328985117667784594301663*c_1100_0^12 + 6601049592193803111138565367204230704190606042978357524992/53866619\ 9669496773313140568206526276806529681199725921619*c_1100_0^11 - 15864090601532392433184179163686520016724377832939561645824/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0^10 - 19170117562786518433387110309781058232410856373117403354/4143586151\ 3038213331780043708194328985117667784594301663*c_1100_0^9 + 38230955768300988580321498368771174410316968986701498547883/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0^8 - 3261848562267685313962230523252044922122527502792265478845/53866619\ 9669496773313140568206526276806529681199725921619*c_1100_0^7 - 60000154749294975869808502850155915131858051534614242595534/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0^6 - 19116948636675084704816592354635820965309460479337864921334/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0^5 + 9042663909976285898911619355951425364993701440097946630977/53866619\ 9669496773313140568206526276806529681199725921619*c_1100_0^4 + 70095447087797983097615653137377141291479450973121769125238/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0^3 + 106580877998158789305690588617370269278071892317599839111686/538666\ 199669496773313140568206526276806529681199725921619*c_1100_0^2 - 46420555337350291004259460180067103029229305470662921855842/5386661\ 99669496773313140568206526276806529681199725921619*c_1100_0 - 89287360465704371365121392163476712327337669274898973448447/5386661\ 99669496773313140568206526276806529681199725921619, c_0011_0 - 1, c_0011_10 - 105573970866480608155643782759056946618902/5911618700603085\ 20804597663403255388391021107*c_1100_0^16 - 28551002504635486978785049658332519366887/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 + 4649274948805181194432563899834988326610466/59116187006030852080459\ 7663403255388391021107*c_1100_0^14 - 9505660680340650312809240167417266784393957/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 - 63284180807525601582883697782042922868567323/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 + 255870742625444702440377369901450631691727219/591161870060308520804\ 597663403255388391021107*c_1100_0^11 - 95910093599821014222363898363660148278623487/5911618700603085208045\ 97663403255388391021107*c_1100_0^10 - 623599025837830976729290327578469249694418281/591161870060308520804\ 597663403255388391021107*c_1100_0^9 - 58824424316530686695240838444255944698558285/5911618700603085208045\ 97663403255388391021107*c_1100_0^8 + 1366160697943267452648435081344085537950167890/59116187006030852080\ 4597663403255388391021107*c_1100_0^7 + 1147377605253819584427654756795496196203485749/59116187006030852080\ 4597663403255388391021107*c_1100_0^6 - 441723150909612285004690771824796056011232685/591161870060308520804\ 597663403255388391021107*c_1100_0^5 - 2382653975240516301234532042263729440824161067/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 - 2312233860986427522997435860680942135232830475/59116187006030852080\ 4597663403255388391021107*c_1100_0^3 + 481793212746746586195385525367103202641324628/591161870060308520804\ 597663403255388391021107*c_1100_0^2 + 2352965130029906757007882421161583860410053878/59116187006030852080\ 4597663403255388391021107*c_1100_0 + 1680760048887454343656683128101077083392109623/59116187006030852080\ 4597663403255388391021107, c_0011_12 + 167275388067937454886292313857398268039374/5911618700603085\ 20804597663403255388391021107*c_1100_0^16 + 6085848088036139535980432612435465279437/59116187006030852080459766\ 3403255388391021107*c_1100_0^15 - 741109212807547660488821421658448\ 7456372620/591161870060308520804597663403255388391021107*c_1100_0^1\ 4 + 16842283821105789041519391228597974922411903/591161870060308520\ 804597663403255388391021107*c_1100_0^13 + 98173886791674562211417567704491340298288122/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 - 434867727186401467209710398077262903121928649/591161870060308520804\ 597663403255388391021107*c_1100_0^11 + 236347464153656196558391831608866241770789168/591161870060308520804\ 597663403255388391021107*c_1100_0^10 + 1066312382417975770265624682245340701890241430/59116187006030852080\ 4597663403255388391021107*c_1100_0^9 - 383787142800106180343033848429154870120081694/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 2102376322572767291240455273943863695794673075/59116187006030852080\ 4597663403255388391021107*c_1100_0^7 - 1017887602940205252160306825240491978574559658/59116187006030852080\ 4597663403255388391021107*c_1100_0^6 + 922792147663724894668805388989623126243587544/591161870060308520804\ 597663403255388391021107*c_1100_0^5 + 3525384173690266863235063472015131863351633004/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 + 2785288621083837133274646053580554320591062457/59116187006030852080\ 4597663403255388391021107*c_1100_0^3 - 1676200635988932997397358048511704304123231867/59116187006030852080\ 4597663403255388391021107*c_1100_0^2 - 3214150819077430930144188127744762636768922243/59116187006030852080\ 4597663403255388391021107*c_1100_0 - 1683821541985909233588808950285881683870449301/59116187006030852080\ 4597663403255388391021107, c_0011_3 + 76568746338170878472703707846441459011096/591161870060308520\ 804597663403255388391021107*c_1100_0^16 - 19047153945923283992731080157543014422815/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 - 3334804578833502777902696451535350586071069/59116187006030852080459\ 7663403255388391021107*c_1100_0^14 + 8660309747419126536399340011880034941401871/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 + 40223401045764899870036964943682288833398443/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 - 205191264306655280789469946683897207446235560/591161870060308520804\ 597663403255388391021107*c_1100_0^11 + 194253156587033607530349105462962287676520361/591161870060308520804\ 597663403255388391021107*c_1100_0^10 + 302266519384689083567835838048830584695955894/591161870060308520804\ 597663403255388391021107*c_1100_0^9 - 145958010264255661436728774318828626922189618/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 750122895962070232368672419482110058673172289/591161870060308520804\ 597663403255388391021107*c_1100_0^7 - 299115195055215885301320709574739217011184275/591161870060308520804\ 597663403255388391021107*c_1100_0^6 + 176287848277118116961105221856192867938763738/591161870060308520804\ 597663403255388391021107*c_1100_0^5 + 1278781157982138782753726872877785773066948440/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 + 512790539710955536919013044381055646370108948/591161870060308520804\ 597663403255388391021107*c_1100_0^3 - 400792847734894005992887473259104447385245403/591161870060308520804\ 597663403255388391021107*c_1100_0^2 - 838645418780357492896119560944188288308485272/591161870060308520804\ 597663403255388391021107*c_1100_0 - 333900482638234466418775341439036305624941915/591161870060308520804\ 597663403255388391021107, c_0011_4 + 10488071084965924418144238635875850484862/591161870060308520\ 804597663403255388391021107*c_1100_0^16 - 19034175964059138631126686773044911375387/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 - 490086208363482035985111816260997763910779/591161870060308520804597\ 663403255388391021107*c_1100_0^14 + 1954739217585388862969314461998107845619404/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 + 5295397662983412868293683570360587896943297/59116187006030852080459\ 7663403255388391021107*c_1100_0^12 - 42833946401291278632272292901113476241841792/5911618700603085208045\ 97663403255388391021107*c_1100_0^11 + 54948788498726804004977441014000624155738192/5911618700603085208045\ 97663403255388391021107*c_1100_0^10 + 124190920735661439366761548385727414993741530/591161870060308520804\ 597663403255388391021107*c_1100_0^9 - 284989246178244439646456147803320034197633444/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 147202427686801133246155144395800922060900381/591161870060308520804\ 597663403255388391021107*c_1100_0^7 + 409840987422400035078800885308170676255156011/591161870060308520804\ 597663403255388391021107*c_1100_0^6 + 305026247213258487077220229189054643025825368/591161870060308520804\ 597663403255388391021107*c_1100_0^5 - 69633610210950575718787505422957593257673205/5911618700603085208045\ 97663403255388391021107*c_1100_0^4 - 126604764557312317209506182182733716793323263/591161870060308520804\ 597663403255388391021107*c_1100_0^3 - 689949173145103985773749131222836742506316502/591161870060308520804\ 597663403255388391021107*c_1100_0^2 - 228292256005563125203540677187789550920148880/591161870060308520804\ 597663403255388391021107*c_1100_0 + 84713111858664312964402120903645663025068428/5911618700603085208045\ 97663403255388391021107, c_0101_0 - 23619212545355683257545968242686961269316/591161870060308520\ 804597663403255388391021107*c_1100_0^16 + 49937304711419890668106605649965180255923/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 + 986815303148012441185675570615423711244282/591161870060308520804597\ 663403255388391021107*c_1100_0^14 - 4618773658987769436719342940517277235513180/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 - 6079807958159705915382825718003902579003237/59116187006030852080459\ 7663403255388391021107*c_1100_0^12 + 84510227202123271410015663851659116847068537/5911618700603085208045\ 97663403255388391021107*c_1100_0^11 - 197788121228591882290805844809472785295739942/591161870060308520804\ 597663403255388391021107*c_1100_0^10 + 81547186336493963613983978175300576355581499/5911618700603085208045\ 97663403255388391021107*c_1100_0^9 + 228896283493732964056627824008164502543659719/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 38318730228806349116119387689024608749957661/5911618700603085208045\ 97663403255388391021107*c_1100_0^7 - 410781515643174810650763223488392581153051075/591161870060308520804\ 597663403255388391021107*c_1100_0^6 + 33313318851002366069413394199427880748209836/5911618700603085208045\ 97663403255388391021107*c_1100_0^5 + 135495213255186646359361321194770466733715965/591161870060308520804\ 597663403255388391021107*c_1100_0^4 + 824021502410164351459995835644493135624937150/591161870060308520804\ 597663403255388391021107*c_1100_0^3 + 229877734447243028024830214279034181541963818/591161870060308520804\ 597663403255388391021107*c_1100_0^2 - 762357633136339793531350660671541533482698787/591161870060308520804\ 597663403255388391021107*c_1100_0 - 643515203938716287745968689257186128404391133/591161870060308520804\ 597663403255388391021107, c_0101_1 - 51900387721854599002433000498321323971624/591161870060308520\ 804597663403255388391021107*c_1100_0^16 + 1728642246851068734995864829067341888136/59116187006030852080459766\ 3403255388391021107*c_1100_0^15 + 231063026134034413887928324620090\ 1035262091/591161870060308520804597663403255388391021107*c_1100_0^1\ 4 - 5373916553783039243014027777006902224596296/5911618700603085208\ 04597663403255388391021107*c_1100_0^13 - 30576241426325603650842480769989725352584311/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 + 137695957164588803281284045553186682992968948/591161870060308520804\ 597663403255388391021107*c_1100_0^11 - 75433974673520758069394363505921022286051325/5911618700603085208045\ 97663403255388391021107*c_1100_0^10 - 348437838568317823939975739801452239858699642/591161870060308520804\ 597663403255388391021107*c_1100_0^9 + 135507916890452212608840013222975741242422022/591161870060308520804\ 597663403255388391021107*c_1100_0^8 + 728455459143956859290216412912865517072232669/591161870060308520804\ 597663403255388391021107*c_1100_0^7 + 259859302487475794854331219038448489418632074/591161870060308520804\ 597663403255388391021107*c_1100_0^6 - 371103803879636797017187075196410636191553843/591161870060308520804\ 597663403255388391021107*c_1100_0^5 - 1237526531285067325427402863033284185038489691/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 - 795973611074117958999673836728199940229872046/591161870060308520804\ 597663403255388391021107*c_1100_0^3 + 597894100852910264750482013271328386368788262/591161870060308520804\ 597663403255388391021107*c_1100_0^2 + 1691556963325217595627468243524110915419253103/59116187006030852080\ 4597663403255388391021107*c_1100_0 + 571401156348747687546684058012668267060852314/591161870060308520804\ 597663403255388391021107, c_0101_10 - 56649370086628563165760123199911331659030/59116187006030852\ 0804597663403255388391021107*c_1100_0^16 + 3903447672234585167463799969730941460225/59116187006030852080459766\ 3403255388391021107*c_1100_0^15 + 248304787003396320719015029603966\ 7599901483/591161870060308520804597663403255388391021107*c_1100_0^1\ 4 - 5971165448305966730161257978457765393876833/5911618700603085208\ 04597663403255388391021107*c_1100_0^13 - 31469848898895498780953748316403180943146374/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 + 148107156735279017842197213577128096137560594/591161870060308520804\ 597663403255388391021107*c_1100_0^11 - 110825296608859074110231018870251045158032548/591161870060308520804\ 597663403255388391021107*c_1100_0^10 - 284000893359030284507036097542278215076011527/591161870060308520804\ 597663403255388391021107*c_1100_0^9 + 122722119731669515915935937835908053416493950/591161870060308520804\ 597663403255388391021107*c_1100_0^8 + 547355584501630402786496786136781340875855190/591161870060308520804\ 597663403255388391021107*c_1100_0^7 + 356423287903915571995664309647052770331668616/591161870060308520804\ 597663403255388391021107*c_1100_0^6 - 79034202418371268183971245518532724503095260/5911618700603085208045\ 97663403255388391021107*c_1100_0^5 - 1144267561095835701138334554706572020063124225/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 - 890848018610790255352313242847373928070177844/591161870060308520804\ 597663403255388391021107*c_1100_0^3 + 436918552147692464478075958112723347788128610/591161870060308520804\ 597663403255388391021107*c_1100_0^2 + 1296713483925007260232222012066272246660540426/59116187006030852080\ 4597663403255388391021107*c_1100_0 + 744371963422605512823408429388851229745472896/591161870060308520804\ 597663403255388391021107, c_0101_3 + 115375000346082855883859313359076944067750/59116187006030852\ 0804597663403255388391021107*c_1100_0^16 + 7814490334887208270976297441502807167573/59116187006030852080459766\ 3403255388391021107*c_1100_0^15 - 510046186673513246600893097038358\ 6421110529/591161870060308520804597663403255388391021107*c_1100_0^1\ 4 + 11468367267322749798505363451591072697815607/591161870060308520\ 804597663403255388391021107*c_1100_0^13 + 67597645365348958560575086934501614945703811/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 - 297171770021812663928426352524076220128959701/591161870060308520804\ 597663403255388391021107*c_1100_0^11 + 160913489480135438488997468102945219484737843/591161870060308520804\ 597663403255388391021107*c_1100_0^10 + 717874543849657946325648942443888462031541788/591161870060308520804\ 597663403255388391021107*c_1100_0^9 - 248279225909653967734193835206179128877659672/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 1373920863428810431950238861030998178722440406/59116187006030852080\ 4597663403255388391021107*c_1100_0^7 - 758028300452729457305975606202043489155927584/591161870060308520804\ 597663403255388391021107*c_1100_0^6 + 551688343784088097651618313793212490052033701/591161870060308520804\ 597663403255388391021107*c_1100_0^5 + 2287857642405199537807660608981847678313143313/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 + 1989315010009719174274972216852354380361190411/59116187006030852080\ 4597663403255388391021107*c_1100_0^3 - 1078306535136022732646876035240375917754443605/59116187006030852080\ 4597663403255388391021107*c_1100_0^2 - 2113755725812521855321317547623907109740690247/59116187006030852080\ 4597663403255388391021107*c_1100_0 - 1112420385637161546042124892273213416809596987/59116187006030852080\ 4597663403255388391021107, c_0101_5 + 94840662793342266536198969196559929506045/591161870060308520\ 804597663403255388391021107*c_1100_0^16 + 65348180506672512198330203236796312078066/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 - 4186439643131198640273947992497720610267088/59116187006030852080459\ 7663403255388391021107*c_1100_0^14 + 6820609130387687683782874715483175682839708/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 + 61340196052316796476415876293053673232412783/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 - 209437974693459824406965424641665971227070767/591161870060308520804\ 597663403255388391021107*c_1100_0^11 - 19176050545344485729926929774370247378768936/5911618700603085208045\ 97663403255388391021107*c_1100_0^10 + 666151058471836745933858783030403671768286732/591161870060308520804\ 597663403255388391021107*c_1100_0^9 + 184499538864072343265184678534937093792507947/591161870060308520804\ 597663403255388391021107*c_1100_0^8 - 1278411677078264420388943931790146678656092823/59116187006030852080\ 4597663403255388391021107*c_1100_0^7 - 1398677337348853980479918206534511792720671498/59116187006030852080\ 4597663403255388391021107*c_1100_0^6 + 240676702966749578534007015227601051129976520/591161870060308520804\ 597663403255388391021107*c_1100_0^5 + 2240872026748564037668059161469083884096630158/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 + 2539539438973499422706958207793005090449408006/59116187006030852080\ 4597663403255388391021107*c_1100_0^3 - 159319163056643438983914284063015501400740068/591161870060308520804\ 597663403255388391021107*c_1100_0^2 - 2173459609756445990926116562368717790651550635/59116187006030852080\ 4597663403255388391021107*c_1100_0 - 1578788135382450337310372353623682658418464172/59116187006030852080\ 4597663403255388391021107, c_0110_5 - 122168141632134728146350810684804242968049/59116187006030852\ 0804597663403255388391021107*c_1100_0^16 - 31849525451041266447105005505870925923575/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 + 5377502680550254812406928260304898074140018/59116187006030852080459\ 7663403255388391021107*c_1100_0^14 - 11053556267922197096031867864718974928611875/5911618700603085208045\ 97663403255388391021107*c_1100_0^13 - 72961964708135352615333762123721005652546817/5911618700603085208045\ 97663403255388391021107*c_1100_0^12 + 296640806484161872998725422555817416622054563/591161870060308520804\ 597663403255388391021107*c_1100_0^11 - 117083473235512097907539950248899362377356857/591161870060308520804\ 597663403255388391021107*c_1100_0^10 - 712990092450315425593748096427051040804735425/591161870060308520804\ 597663403255388391021107*c_1100_0^9 - 40356122330065566330323431265204958354545709/5911618700603085208045\ 97663403255388391021107*c_1100_0^8 + 1511880639271954194511862264627948878660102888/59116187006030852080\ 4597663403255388391021107*c_1100_0^7 + 1287432038118390292572996950259275369826175664/59116187006030852080\ 4597663403255388391021107*c_1100_0^6 - 350445914979563847294125761952195822066026103/591161870060308520804\ 597663403255388391021107*c_1100_0^5 - 2713857074702472935239724281206796498618261891/59116187006030852080\ 4597663403255388391021107*c_1100_0^4 - 2443726712347850815298932908071815753706937853/59116187006030852080\ 4597663403255388391021107*c_1100_0^3 + 468628095987789507243352370784656034673879034/591161870060308520804\ 597663403255388391021107*c_1100_0^2 + 2416341016246433029657550676585314071679329797/59116187006030852080\ 4597663403255388391021107*c_1100_0 + 1231658023993399339959654257488956973112912694/59116187006030852080\ 4597663403255388391021107, c_1001_0 - 18141410660388487922653070404211203222795/591161870060308520\ 804597663403255388391021107*c_1100_0^16 + 55152126783979572145503071121577105903080/5911618700603085208045976\ 63403255388391021107*c_1100_0^15 + 802141634293499155579050019648762194046722/591161870060308520804597\ 663403255388391021107*c_1100_0^14 - 4228854388374312235037276567747620799801378/59116187006030852080459\ 7663403255388391021107*c_1100_0^13 - 4812201264157960156302490692377474166036505/59116187006030852080459\ 7663403255388391021107*c_1100_0^12 + 76551492151310663677899210067166994550965282/5911618700603085208045\ 97663403255388391021107*c_1100_0^11 - 167917807947847550169639621568588762895030403/591161870060308520804\ 597663403255388391021107*c_1100_0^10 + 13978624681185888605478882561839422657364125/5911618700603085208045\ 97663403255388391021107*c_1100_0^9 + 246582640548962287984012250877492711026216232/591161870060308520804\ 597663403255388391021107*c_1100_0^8 + 118450671598252976800233849046412341500768033/591161870060308520804\ 597663403255388391021107*c_1100_0^7 - 305236938476798397264841105941938466091197242/591161870060308520804\ 597663403255388391021107*c_1100_0^6 - 213562014096930126453668526984129632381637270/591161870060308520804\ 597663403255388391021107*c_1100_0^5 - 480253399559558079522745682361144418245338427/591161870060308520804\ 597663403255388391021107*c_1100_0^4 - 54939174287114211315752551633065989741021212/5911618700603085208045\ 97663403255388391021107*c_1100_0^3 + 667908687034047673956097812879347134916606733/591161870060308520804\ 597663403255388391021107*c_1100_0^2 + 289293121847789051344704760728290920747316452/591161870060308520804\ 597663403255388391021107*c_1100_0 - 425848587159984465404371897110771724602396153/591161870060308520804\ 597663403255388391021107, c_1100_0^17 + c_1100_0^16 - 44*c_1100_0^15 + 58*c_1100_0^14 + 672*c_1100_0^13 - 2007*c_1100_0^12 - 936*c_1100_0^11 + 7039*c_1100_0^10 + 4262*c_1100_0^9 - 13184*c_1100_0^8 - 18836*c_1100_0^7 - 3360*c_1100_0^6 + 24935*c_1100_0^5 + 37743*c_1100_0^4 + 9883*c_1100_0^3 - 26046*c_1100_0^2 - 30309*c_1100_0 - 12163 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 48.740 Total time: 48.960 seconds, Total memory usage: 200.72MB