Magma V2.19-8 Tue Aug 20 2013 23:46:28 on localhost [Seed = 1764688765] Type ? for help. Type -D to quit. Loading file "K14n18505__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18505 geometric_solution 11.32356319 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -1 0 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795696546950 0.582210093077 0 5 7 6 0132 0132 0132 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 1 0 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.841170837479 1.041038295513 8 0 6 9 0132 0132 2310 0132 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 -1 1 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.429063785613 1.277279141040 10 8 7 0 0132 0213 0213 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 1 -1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722558368275 0.586043782391 9 8 0 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.979371117225 0.827249808210 9 1 8 10 1023 0132 2031 0213 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.505115014759 0.453842487699 11 2 1 10 0132 3201 0132 0321 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.204017774857 1.074273494213 9 3 11 1 3120 0213 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372708846187 0.974892417129 2 4 3 5 0132 0132 0213 1302 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 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494131541538 0.598860461018 4 5 2 7 0132 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302069331476 0.775337861792 3 6 11 5 0132 0321 0132 0213 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 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.725796568132 0.514631282817 6 7 4 10 0132 0213 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.445960474055 0.833807308611 ==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_1001_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_1001_11'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_1001_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_0'], '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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0101_5'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_1'], 'c_1100_10' : d['c_1001_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : 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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0011_11'], '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_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_1, c_1001_10, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1154120472397487288133031590878564514478705084316662164240126943/15\ 0757656265620554168905976399347379110643360020619639530800*c_1001_2\ ^24 - 8934011577647372110594984336041469479760508617883637751866750\ 73/37689414066405138542226494099836844777660840005154909882700*c_10\ 01_2^23 - 127401606288040905718421950052821621722714034595725246092\ 49307/243157510105839603498235445805398998565553806484870386340*c_1\ 001_2^22 - 78346400347091848889404209463794910620127258887554656059\ 81064471/7537882813281027708445298819967368955532168001030981976540\ 0*c_1001_2^21 - 702437605022703815687615074580094992689562100961348\ 6787515053123/50252552088540184722968658799782459703547786673539879\ 843600*c_1001_2^20 - 4004396677691936055415397635224785279013046184\ 759990772338485791/251262760442700923614843293998912298517738933367\ 69939921800*c_1001_2^19 - 23496954454656734801735455306817714316216\ 168228918540048071865863/150757656265620554168905976399347379110643\ 360020619639530800*c_1001_2^18 - 8732664583632346402811041068473647\ 491481761583804984836659064853/150757656265620554168905976399347379\ 110643360020619639530800*c_1001_2^17 + 57453045605396089484414947182889597336699624144736390323624473/2512\ 6276044270092361484329399891229851773893336769939921800*c_1001_2^16 + 15083616722351543349801528834535849039062962194907334339273901751\ /150757656265620554168905976399347379110643360020619639530800*c_100\ 1_2^15 + 1798290123891029614947115231939663438747930537230267854134\ 8940627/15075765626562055416890597639934737911064336002061963953080\ 0*c_1001_2^14 + 238162248613629254952015052413056653602676696751892\ 0614107901963/75378828132810277084452988199673689555321680010309819\ 765400*c_1001_2^13 - 4230535516002402902829548478651978732512707303\ 16624603763552383/4863150202116792069964708916107979971311076129697\ 407726800*c_1001_2^12 - 3794590671588398656106076143789349206688681\ 6626514110113182306911/15075765626562055416890597639934737911064336\ 0020619639530800*c_1001_2^11 - 277788856713169142334413578723595776\ 98286279149358238774284541609/7537882813281027708445298819967368955\ 5321680010309819765400*c_1001_2^10 - 9173426202229236352391740859908317456555742710080638269785765281/25\ 126276044270092361484329399891229851773893336769939921800*c_1001_2^\ 9 - 468919028671750093140729712544946676118130740199992460902160206\ 47/150757656265620554168905976399347379110643360020619639530800*c_1\ 001_2^8 - 287512468515186384296337748509738270353316456886484650163\ 80449779/1507576562656205541689059763993473791106433600206196395308\ 00*c_1001_2^7 - 444230935277004495065053703697667382959177001806897\ 0587376873283/50252552088540184722968658799782459703547786673539879\ 843600*c_1001_2^6 - 70260768300809541878274309188886470517000760290\ 3521995517933581/25126276044270092361484329399891229851773893336769\ 939921800*c_1001_2^5 - 96260468785175166767671564009318424220872543\ 736882791234877089/301515312531241108337811952798694758221286720041\ 23927906160*c_1001_2^4 - 853890165801775147196034153299511971307321\ 8839459091794308993/16210500673722640233215696387026599904370253765\ 65802575600*c_1001_2^3 - 284180248919653005095384126729070584292212\ 093308965586900833229/753788281328102770844529881996736895553216800\ 10309819765400*c_1001_2^2 + 865962759129234200651652166674739095549\ 62310271978871766986559/5025255208854018472296865879978245970354778\ 6673539879843600*c_1001_2 - 729827080809792026708472207799655627430\ 34198350088354937090929/1507576562656205541689059763993473791106433\ 60020619639530800, c_0011_0 - 1, c_0011_10 + 6412385104633506800436531529763927191909439280531595/455402\ 311319323526048311506546426562096029153996461*c_1001_2^24 + 24896092532018301576320274399176841448751287347380219/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^23 + 1934245636643392027765964204092795247996401629573878/14690397139333\ 016969300371178916985874065456580531*c_1001_2^22 + 123937295546320530220177751794696928511687345110338115/455402311319\ 323526048311506546426562096029153996461*c_1001_2^21 + 190887139854553824447994882254923054222609497922378842/455402311319\ 323526048311506546426562096029153996461*c_1001_2^20 + 236668860732730248061669146439779064575740988831902764/455402311319\ 323526048311506546426562096029153996461*c_1001_2^19 + 253323389855012168137199794238972322556910450923466646/455402311319\ 323526048311506546426562096029153996461*c_1001_2^18 + 171255641014816445523493962920463972212709311444386165/455402311319\ 323526048311506546426562096029153996461*c_1001_2^17 + 57948711389044395466739944163046729544315746156318901/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 - 71404564755239327526268164513530715792768603409295758/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 - 166839971718789829899845757269692407110392078634590457/455402311319\ 323526048311506546426562096029153996461*c_1001_2^14 - 111010589514772012714115794671227155872806520308333512/455402311319\ 323526048311506546426562096029153996461*c_1001_2^13 + 1011043283333825135922079495503942825681204657775809/14690397139333\ 016969300371178916985874065456580531*c_1001_2^12 + 260366680199459704088636591360265436429314579046259063/455402311319\ 323526048311506546426562096029153996461*c_1001_2^11 + 480172411042371936803647476714978510183877630594029248/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 + 573654631985780122997975602528954803466924011977634946/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 + 549013952751086740099216182141338937391057867814992804/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 + 414157881582720921219291326213885896178260578884176832/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 + 244266178270129550682637000124564573840574176582080874/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 + 112538584927755772557253978943049775272663562276192872/455402311319\ 323526048311506546426562096029153996461*c_1001_2^5 + 34228921309995041990995835892479805713171947581721967/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 + 375313112740861748629095347398764243483567595144084/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 + 6420702370385934710104407621548390871398223065514236/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 + 1278687819195409815124773494745217617468308651372518/45540231131932\ 3526048311506546426562096029153996461*c_1001_2 + 218713128974143404121593454731116914386644239188338/455402311319323\ 526048311506546426562096029153996461, c_0011_11 - 7789159128042058922482905472811827665051466670842461/455402\ 311319323526048311506546426562096029153996461*c_1001_2^24 - 27229577531356047084567032061318818309980659599086693/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^23 - 2068543064912462303212661666247691934555870537678753/14690397139333\ 016969300371178916985874065456580531*c_1001_2^22 - 131514720932773621604117982890561212092873600547009084/455402311319\ 323526048311506546426562096029153996461*c_1001_2^21 - 194410358770369617072265922048899921141529654700127644/455402311319\ 323526048311506546426562096029153996461*c_1001_2^20 - 239142404994207877399142890389372644783003529080560601/455402311319\ 323526048311506546426562096029153996461*c_1001_2^19 - 252712724258660609065873660100650445317527387345615880/455402311319\ 323526048311506546426562096029153996461*c_1001_2^18 - 155580016977132453419350786723017802877545917378840084/455402311319\ 323526048311506546426562096029153996461*c_1001_2^17 - 55542495534228578630880602950878703789077129610566870/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 + 85417541551985030426811563980665620298643451567805771/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 + 162722933387742305604256550676947821045776620757762196/455402311319\ 323526048311506546426562096029153996461*c_1001_2^14 + 95652193244140089586120012585792355300536761051302788/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 - 1472893679419438084907481630402221169650860109019790/14690397139333\ 016969300371178916985874065456580531*c_1001_2^12 - 283694982739666614500835566505268764151014135368734543/455402311319\ 323526048311506546426562096029153996461*c_1001_2^11 - 489000280757643554098842263399899229859471759638040375/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 - 570054143045017367371246206298116297928499899957160990/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 - 541091942107707598402324049210446865644892676636067657/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 - 399529023397495047122667871000926852620964431204130739/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 - 237134220750560086561199399008675734160308263673413970/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 - 110137120626976085776923475558796138536146288947089871/455402311319\ 323526048311506546426562096029153996461*c_1001_2^5 - 36130037342431939829481138049579723826731470116796171/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 - 482317891076167281084564559635055486703596202860559/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 - 6351671577083398954643171613987058864644153518003618/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 - 873020189762964980911238695157061512195407736413201/455402311319323\ 526048311506546426562096029153996461*c_1001_2 - 257496086101329637347043220500379810476928930107845/455402311319323\ 526048311506546426562096029153996461, c_0011_7 + 3180561508697281698863159418403360395840948728739940/4554023\ 11319323526048311506546426562096029153996461*c_1001_2^24 + 13622051288995259274798987023909990809002483931436535/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^23 + 1085738545589256474724757571076325315939334891333135/14690397139333\ 016969300371178916985874065456580531*c_1001_2^22 + 69222445914983836822413485294646812478690857123416743/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 + 109299533396341407427622669062751085460895211203517091/455402311319\ 323526048311506546426562096029153996461*c_1001_2^20 + 134371496426084358228584045619253848414402135930079287/455402311319\ 323526048311506546426562096029153996461*c_1001_2^19 + 140014833733344124201680065568115410966659379222636033/455402311319\ 323526048311506546426562096029153996461*c_1001_2^18 + 94802208670724347089832630325059533035333500455644981/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 + 18800088173501771747310759044300270453268761822385591/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 - 53892258575117574427672371652067493537095655181415096/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 - 106574344734163808824970851733571450754622624111148439/455402311319\ 323526048311506546426562096029153996461*c_1001_2^14 - 76936890081769784572187640495379533437044383302551640/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 + 788127847741209821806433455430361177762331576435387/146903971393330\ 16969300371178916985874065456580531*c_1001_2^12 + 154220445419698109211938879996939950672993431093373329/455402311319\ 323526048311506546426562096029153996461*c_1001_2^11 + 286528679923308392688543535913594766567697377961535906/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 + 335406471436956942671937329682766949945879773767930022/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 + 303182255865862617699596956233724774488955185668619186/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 + 215102520687188051343837836049682436821649827959502989/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 + 108471395083548760685322111724215161307888316417257555/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 + 32771268216280082449970730051941002153594288489018853/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 - 1211219073099445222364461177399801045013432618362396/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^4 - 191008304121687811308316565684481734011395689084274/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 + 784495472306172592048012392070962280519189452894623/455402311319323\ 526048311506546426562096029153996461*c_1001_2^2 + 128148756461809673273540092365540991185559300259779/455402311319323\ 526048311506546426562096029153996461*c_1001_2 - 683247048462168630904461537143009022599207087040867/455402311319323\ 526048311506546426562096029153996461, c_0101_0 + 460332496329857650179684412230231865929362990877688/45540231\ 1319323526048311506546426562096029153996461*c_1001_2^24 + 2343185947730272412183576669391481461310506134013962/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^23 + 186255382176561809272605784968548873942670748349488/146903971393330\ 16969300371178916985874065456580531*c_1001_2^22 + 12649524885867219960738502240578573242407835151268083/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 + 21536702509786971830923980602417142688844577108201643/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^20 + 28335011485869570240142150014137074513419593514604252/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^19 + 34313836470237656151020149479642375322750584107263220/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^18 + 30328100514004203497646089076298867923680094627433743/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 + 17854412369403246095222573013311672341598985473087159/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 + 6902830763681365773417977544848356547348705201396211/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^15 - 13792141022142355397684427067434009011980261944540680/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^14 - 11033431127735596318807793395683168330671874730050771/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 - 197374592561047718233608757642522544987638578834101/146903971393330\ 16969300371178916985874065456580531*c_1001_2^12 + 17527043233196937824592408109421723705663811144271456/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^11 + 45899279090606459138866146301139622918816711623494645/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^10 + 65688707625647490231961806296229563533216762345609197/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^9 + 76151090219253444908110086563890732626611060863611738/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^8 + 70991127160336027594528025610224282152011120653671103/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^7 + 54912696654661027124269876498462242588671444740468445/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^6 + 37599299791791042763977554337911871933813631345414370/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 + 20246879285187499634987959575448827304421247105028771/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 + 336916971273081757298202638295574520516849280576157/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 + 4012001462339905853444381676858136509473799449196734/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 + 840341839856446272407572448686089161022608362821035/455402311319323\ 526048311506546426562096029153996461*c_1001_2 + 255429788465471285269899799089214106753102095161537/455402311319323\ 526048311506546426562096029153996461, c_0101_1 - 2237701262329969181222546903414510821084259050246677/4554023\ 11319323526048311506546426562096029153996461*c_1001_2^24 - 7584665850921076604172855533640080873455931022727420/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^23 - 598642719634022231609274580362791383598313376524581/146903971393330\ 16969300371178916985874065456580531*c_1001_2^22 - 38207255889651298913245492648957046449255818205464558/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 - 57111680436220856903782206455774598687269976121947452/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^20 - 72845023766097272952864421947114480236365744508837039/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^19 - 77030294626369951619739203824682345313654508532450634/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^18 - 50599616168583215633092905304846566936613163185924422/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 - 22718960441614925579840921783598503175657925158683177/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 + 26167357827183329595589599526401637403678041395014965/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 + 44804947690188247664517941047577221065826010895715336/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^14 + 37319323681358900801885912381715887887913019131141710/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 - 281357870569519277063595219395861389603405611002142/146903971393330\ 16969300371178916985874065456580531*c_1001_2^12 - 78463430229837510850361842875986637989595465137337463/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^11 - 143175345210824901193564059906913552178399882991727868/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 - 175595051522794810754273218254302453657472762618717327/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 - 170135689860359817760734896296365099553207478725039142/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 - 128138255257711817342177333081134135279908681197995998/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 - 78457973810043295571609215499719217504444425994791153/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^6 - 33894770798794410664687037058178838083106056505072078/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 - 9781762986637642507051369275778842615398085513559472/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^4 - 33271581393227488494744770117188193149402176565685/1469039713933301\ 6969300371178916985874065456580531*c_1001_2^3 + 231085899277388439485368227581811076256635582496317/455402311319323\ 526048311506546426562096029153996461*c_1001_2^2 + 354096994705322231008883790287286875638915162471331/455402311319323\ 526048311506546426562096029153996461*c_1001_2 - 85372970240010667637049375067947283386324624660799/4554023113193235\ 26048311506546426562096029153996461, c_0101_2 + 2436720882569919608998345847780052235709483033049095/4554023\ 11319323526048311506546426562096029153996461*c_1001_2^24 + 7786481835809867367325543662393784124594349019026465/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^23 + 548709891980740560969976482244588770534309833490193/146903971393330\ 16969300371178916985874065456580531*c_1001_2^22 + 33328940044303651949408008860754040838090268078782551/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 + 44248471662863396264823917669596213573861964569407967/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^20 + 48120086787426018741237774989414293489509820315082733/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^19 + 44276107388264845202523245470289371579256147160829961/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^18 + 10389744318288825510048444877515545648159139009475951/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 - 11605732744719486874330634686583889885008947586557236/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 - 39611784648369361245549837669602715440843723694657219/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 - 43423590963281648550609383536364259467445124885627440/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^14 - 6797308446358892339012658379136093819000660661687783/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^13 + 1104332134043645343855612476444850371347488293714099/14690397139333\ 016969300371178916985874065456580531*c_1001_2^12 + 89931555795107289020558983943830006529474976674993306/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^11 + 120537128171541925351423486020698320787926821395472062/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 + 111985682487328710473306225289839545861120435579198766/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 + 83418735806963012415738302813908408083778601734021849/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^8 + 39929227268602643000425434593388381233758877705955895/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^7 + 6686394634883584221710456164095992732670534485527533/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^6 - 6995998729857588446471281327650208207918782319627656/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^5 - 8632205827802891115360640691502334897117028029733114/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^4 - 55946402392868483275752103258935515676958805263047/1469039713933301\ 6969300371178916985874065456580531*c_1001_2^3 - 263215403675689389039271560119072945490853436379502/455402311319323\ 526048311506546426562096029153996461*c_1001_2^2 - 576516796492461191345295113706654646899846391445567/455402311319323\ 526048311506546426562096029153996461*c_1001_2 - 540786512895089477695644645295510062655517710472701/455402311319323\ 526048311506546426562096029153996461, c_0101_5 + 5726807029086334171496790762478798647460433911851643/4554023\ 11319323526048311506546426562096029153996461*c_1001_2^24 + 19121942749541121690518374816014632535644154630287716/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^23 + 1470116170242476478276947735175781585985284015888584/14690397139333\ 016969300371178916985874065456580531*c_1001_2^22 + 93018535187084989200835024750360730699898688987326707/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 + 135988461511080181695074143771205715516157124484233360/455402311319\ 323526048311506546426562096029153996461*c_1001_2^20 + 169450808696981758528547482973313735077956602100383019/455402311319\ 323526048311506546426562096029153996461*c_1001_2^19 + 177082428245427669648942228400248051246447514621048782/455402311319\ 323526048311506546426562096029153996461*c_1001_2^18 + 108195917719012922219770580079088001624726083955240387/455402311319\ 323526048311506546426562096029153996461*c_1001_2^17 + 44311005922302386739321972437675299380441602065491495/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 - 65028638228621048363961376991366420244571812062548842/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 - 105121805357758656418176728142373807399792595785189290/455402311319\ 323526048311506546426562096029153996461*c_1001_2^14 - 70402111095073398359956027230233746912769608712671839/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 + 1135633355346366244587195263704854436567603949975687/14690397139333\ 016969300371178916985874065456580531*c_1001_2^12 + 199936269456688024307327067442497839835223038319272154/455402311319\ 323526048311506546426562096029153996461*c_1001_2^11 + 340529070232471789291127752889813910798112725415870264/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 + 400820445408133976209179021372070749408794983065470943/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 + 380379311184982437541048310917710555806138443595298532/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 + 281663025762743737578159821378654373037700348498392734/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 + 171643775234165760037034645607981907461936863912313481/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 + 80190835393786462912854646854253574152924607171724310/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 + 29848263821165466345773534165441250729556968713985804/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 + 391210238189229007366723665011052319348572966541142/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 + 5305077369250957883320398115776186687825003327333226/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 + 1129216408511346679562150893401223946788364750243872/45540231131932\ 3526048311506546426562096029153996461*c_1001_2 + 239384113382821801398309502988722003809808100868325/455402311319323\ 526048311506546426562096029153996461, c_1001_1 - 452913889704561914736603694306236095276361700038820/45540231\ 1319323526048311506546426562096029153996461*c_1001_2^24 - 2769184093444987980179363516774218779086900361935320/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^23 - 276049193806219907760714029649114092960995043142715/146903971393330\ 16969300371178916985874065456580531*c_1001_2^22 - 19191549971827377118500630640865635603618868950048406/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 - 35514347993093869090295065426956860778472682130240653/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^20 - 51810105847587143503812492771066189500126679244928648/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^19 - 61768807705012077637599644251104868697142588404483180/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^18 - 60855084732064742948489722506930365194462541629883412/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 - 39475213518429540305927052420432662963941627320034894/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 - 7867301445960042214347961925497752105428463178858655/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^15 + 20193009227875057328252878033103296636434441796870785/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^14 + 40676864911279625598976410653071687134086864633522361/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 + 616724497467651604143885421685771008507126884819294/146903971393330\ 16969300371178916985874065456580531*c_1001_2^12 - 18898367109829528200712126516676712344303140446641208/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^11 - 77345654149083608793041743802311231361163764522836218/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^10 - 128321441552573007727186887968332356093092277756315576/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 - 146072356958309925337221506824001641683512160425816207/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 - 136555992403099856994529396728207270900520775450086442/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 - 100870012326439197382882496695853194960108628703477343/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 - 58316383311662544778982815570060742562808699690672894/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 - 27203334604684823469220888387374913668651356660595727/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 - 258699476262249641525419349534391658594602535658979/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 - 2437605346326120407766994629852242634652774013866729/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 - 777103240792001352259049293016977486719536111115916/455402311319323\ 526048311506546426562096029153996461*c_1001_2 + 119127003167409059697223047643695723677645999780887/455402311319323\ 526048311506546426562096029153996461, c_1001_10 - 6761004022607990322994215738362433625614148909702054/455402\ 311319323526048311506546426562096029153996461*c_1001_2^24 - 25959894645358084520431381401609296387246310962254404/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^23 - 1962240634351556218742786228589641939299040378488931/14690397139333\ 016969300371178916985874065456580531*c_1001_2^22 - 123182130474464184149807415995012048918538419320859561/455402311319\ 323526048311506546426562096029153996461*c_1001_2^21 - 184427339725355473439021939856516016906465790115813878/455402311319\ 323526048311506546426562096029153996461*c_1001_2^20 - 217610357867830016891792261352894790194994937463309251/455402311319\ 323526048311506546426562096029153996461*c_1001_2^19 - 220869430594589050557435852218349097927826518544511275/455402311319\ 323526048311506546426562096029153996461*c_1001_2^18 - 125781936330536832196417096855669451489225019989652675/455402311319\ 323526048311506546426562096029153996461*c_1001_2^17 - 6814194195214593098875254447153094477782268622891636/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^16 + 107919292002474781698925602671593934510957048296558489/455402311319\ 323526048311506546426562096029153996461*c_1001_2^15 + 181129267613359836087511717835867955432288609045163018/455402311319\ 323526048311506546426562096029153996461*c_1001_2^14 + 95227540092315194245842832326289529988154440256830432/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 - 2292327011739153153413835100662512822602246012150425/14690397139333\ 016969300371178916985874065456580531*c_1001_2^12 - 292867074303357594364046397720718057338663465485771738/455402311319\ 323526048311506546426562096029153996461*c_1001_2^11 - 487171979995598424142571993161180822271385346687399599/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 - 533683253577403241515701182793317887191637792916783714/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 - 461096385866167483635501913004761157233791879372070503/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 - 306320600615100378706326729381078656554027337542345263/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 - 138655289998266958389041976170124392876231764136061242/455402311319\ 323526048311506546426562096029153996461*c_1001_2^6 - 34211987514592966684606525312063322343725557737253774/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 + 9670963777357886461648775329101519732665664280162853/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^4 + 208913656226869568706258554596792285682881235901758/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 - 2329180177696066184260636333040559867430744591227222/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 + 64242271582159924818860876171381871385533246524672/4554023113193235\ 26048311506546426562096029153996461*c_1001_2 + 790305396085122735907011515277060106626113885885902/455402311319323\ 526048311506546426562096029153996461, c_1001_11 - 1464317478400624481834783624247980288802912249962339/455402\ 311319323526048311506546426562096029153996461*c_1001_2^24 - 5259295914558342928017177001502948641106060166948352/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^23 - 451001259491312704118639627952147498976299275588754/146903971393330\ 16969300371178916985874065456580531*c_1001_2^22 - 28982866965915413622967238560999439473958440374041639/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^21 - 45890824160200568208405670505452539906722670857786343/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^20 - 61804025630443997890187065499218553245846899235148903/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^19 - 66433344066956168995324262733324695467605210627608226/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^18 - 52052631265273645229082897190133882727261183662727153/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^17 - 28982273403551674557792898216203674019824138889505945/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^16 + 14482408750112575166862675202144786935795325128955749/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^15 + 27714808948800232678060076417459014017920475977602138/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^14 + 39497051103560390191177624776029405735618505166478535/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^13 - 102175799062229358384786147605402545064427678742574/146903971393330\ 16969300371178916985874065456580531*c_1001_2^12 - 51890643089243876497305853690951960257742329640444813/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^11 - 110950869563985091057949020027794910167109997026345599/455402311319\ 323526048311506546426562096029153996461*c_1001_2^10 - 148148996631741852609948403343737266384095151483123236/455402311319\ 323526048311506546426562096029153996461*c_1001_2^9 - 149572624206214007408713129184424060372758961792961205/455402311319\ 323526048311506546426562096029153996461*c_1001_2^8 - 122580409670732278465107247491463240287178371107146830/455402311319\ 323526048311506546426562096029153996461*c_1001_2^7 - 83562246456761086876956403896886599046343645777847262/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^6 - 42776100407149554711645738526639338568179650715121016/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^5 - 20454827615925564550725693783206527368409156000580553/4554023113193\ 23526048311506546426562096029153996461*c_1001_2^4 - 225113684826132392628481985218351248950745362688576/146903971393330\ 16969300371178916985874065456580531*c_1001_2^3 - 4242379880283130679748815488727604017612672522044640/45540231131932\ 3526048311506546426562096029153996461*c_1001_2^2 - 1362609647800490145577051459286444529551540383899802/45540231131932\ 3526048311506546426562096029153996461*c_1001_2 - 99345728907048510395250014299702024436615871259689/4554023113193235\ 26048311506546426562096029153996461, c_1001_2^25 + 524/149*c_1001_2^24 + 1212/149*c_1001_2^23 + 2446/149*c_1001_2^22 + 3559/149*c_1001_2^21 + 4222/149*c_1001_2^20 + 4305/149*c_1001_2^19 + 2367/149*c_1001_2^18 + 394/149*c_1001_2^17 - 1981/149*c_1001_2^16 - 3137/149*c_1001_2^15 - 1570/149*c_1001_2^14 + 1463/149*c_1001_2^13 + 5621/149*c_1001_2^12 + 9210/149*c_1001_2^11 + 10066/149*c_1001_2^10 + 8957/149*c_1001_2^9 + 6169/149*c_1001_2^8 + 3211/149*c_1001_2^7 + 1222/149*c_1001_2^6 + 271/149*c_1001_2^5 + 127/149*c_1001_2^4 + 118/149*c_1001_2^3 - 3/149*c_1001_2^2 - 5/149*c_1001_2 + 4/149 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.840 Total time: 2.040 seconds, Total memory usage: 64.12MB