Magma V2.19-8 Wed Aug 21 2013 00:49:03 on localhost [Seed = 2446820630] Type ? for help. Type -D to quit. Loading file "K14n9154__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9154 geometric_solution 11.30572106 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576337658521 1.284044288143 0 4 6 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829765371290 0.674839552808 0 0 8 7 3201 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231729871143 0.702331522774 9 8 4 0 0132 0132 3201 0132 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 13 -14 0 1 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404287989840 0.882174406358 3 1 7 10 2310 0132 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403937820051 0.518986231987 11 7 1 12 0132 2103 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 0 14 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.491037840214 0.517516706961 12 9 12 1 1230 2103 2031 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 -13 0 -1 1 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130150101420 0.553038304008 4 5 2 11 2103 2103 0132 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 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.188043677329 0.537243182920 12 3 11 2 0321 0132 3012 0132 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 0 0 0 0 0 0 0 -13 13 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.314171121356 0.839645295821 3 6 11 10 0132 2103 0132 1023 0 0 0 0 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 -1 0 1 0 0 14 -14 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.222203256692 1.490017056079 10 10 4 9 1302 2031 0132 1023 0 0 0 0 0 -1 0 1 1 0 -1 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 -14 0 14 14 0 -13 -1 14 -14 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305501068304 1.042163315931 5 8 7 9 0132 1230 1230 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 0 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004430994132 0.405697235304 8 6 5 6 0321 3012 0132 1302 0 0 0 0 0 -1 0 1 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 14 0 -14 0 13 -13 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.354964670044 0.891995835259 ==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' : negation(d['c_0110_10']), 'c_1001_12' : negation(d['c_0011_6']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : 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_6']), 'c_0101_10' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0110_7']), 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_7'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0110_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : negation(d['c_0101_4']), '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_0101_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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_0'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_6'], '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_0011_10'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_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_3, c_0011_6, c_0011_7, c_0101_0, c_0101_4, c_0101_6, c_0110_10, c_0110_7, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 5005822536795676135552137446388952592913199116903374284982061058692\ /2377753126852029702350676189373325597649497913380027705778050375*c\ _1001_11^20 - 19618608251192415049608240056723707713955052272606025\ 870985650803132/237775312685202970235067618937332559764949791338002\ 7705778050375*c_1001_11^19 - 10614327632718831708253544899704846261\ 148186009171936911023108479494/475550625370405940470135237874665119\ 529899582676005541155610075*c_1001_11^18 - 39771642381327087963558450085097606219482419024391585589751131893/9\ 56842304568221208189406917252847322997785880635826038542475*c_1001_\ 11^17 - 19236211595699779003944728865200021689456592873141662105383\ 73876/50360121293064274115231943013307753841988730559780317818025*c\ _1001_11^16 + 40660538324850881998999677547466227680571952356535868\ 675567831165298/125144901413264721176351378388069768297341995441054\ 089777792125*c_1001_11^15 - 296039410111746724695865336893137107746\ 031661946489435651884411353751/237775312685202970235067618937332559\ 7649497913380027705778050375*c_1001_11^14 + 7576973092927899057427096660809109590289145318663974706383137647540\ 9/125144901413264721176351378388069768297341995441054089777792125*c\ _1001_11^13 - 86182430449149308049676231507674568964175502330892776\ 78459584105358134/2377753126852029702350676189373325597649497913380\ 027705778050375*c_1001_11^12 + 944319264148572556188734348459056462\ 7450146791376672667114246028072161/23777531268520297023506761893733\ 25597649497913380027705778050375*c_1001_11^11 + 2704943927486623436790520799188916189735130577578150865774678583206\ 452/339679018121718528907239455624760799664213987625718243682578625\ *c_1001_11^10 - 414875496438551898594728988170549991886896101510229\ 09815170947010909986/2377753126852029702350676189373325597649497913\ 380027705778050375*c_1001_11^9 + 8989440817817199472484476644934443\ 3797110172649577232474026349956486/47555062537040594047013523787466\ 5119529899582676005541155610075*c_1001_11^8 + 8387073549016979374700017519445455085273552661188671599810253020484\ 328/339679018121718528907239455624760799664213987625718243682578625\ *c_1001_11^7 - 5196866908642060715830996048838368220233537291869235\ 2890576539525459276/23777531268520297023506761893733255976494979133\ 80027705778050375*c_1001_11^6 + 15946474596754484702182111883254453\ 475249388578332881896141376521367851/237775312685202970235067618937\ 3325597649497913380027705778050375*c_1001_11^5 - 1251346736821137246096181295199938075708126990555837641575608913335\ 1484/23777531268520297023506761893733255976494979133800277057780503\ 75*c_1001_11^4 + 17177992810199660412724196271227529700833839369938\ 328356091583521602798/237775312685202970235067618937332559764949791\ 3380027705778050375*c_1001_11^3 - 880569126431340082553740300014529\ 5844145738992458714369153807608829949/23777531268520297023506761893\ 73325597649497913380027705778050375*c_1001_11^2 + 3233810397623880817730111001427908415322793849483788695625072046659\ 83/475550625370405940470135237874665119529899582676005541155610075*\ c_1001_11 - 1032563781946907497132323477163367664502576021642615783\ 04733843737436/2377753126852029702350676189373325597649497913380027\ 705778050375, c_0011_0 - 1, c_0011_10 - 1280778502927512368104861873711590460732770/835700205112081\ 2384148893665252872368366623*c_1001_11^20 - 5236017671623365859837025190411472879166216/83570020511208123841488\ 93665252872368366623*c_1001_11^19 - 14397121925928264646914337590460929238744675/8357002051120812384148\ 893665252872368366623*c_1001_11^18 - 385726617018161855915354408219137198113700/117704254241138202593646\ 389651448906596713*c_1001_11^17 - 377653678720525718530913999832484\ 786200028/117704254241138202593646389651448906596713*c_1001_11^16 + 195510732404708191008841421377689745242122814/835700205112081238414\ 8893665252872368366623*c_1001_11^15 - 39166976386002291037312496232388172696571256/8357002051120812384148\ 893665252872368366623*c_1001_11^14 + 354699408153486982604681847452239027144544609/835700205112081238414\ 8893665252872368366623*c_1001_11^13 - 2149794485924239674881807076964207058125202434/83570020511208123841\ 48893665252872368366623*c_1001_11^12 + 2030307628155756587359907952317605518186305425/83570020511208123841\ 48893665252872368366623*c_1001_11^11 + 5278438286766031570293180172764912094818640511/83570020511208123841\ 48893665252872368366623*c_1001_11^10 - 9742900427992182449094841749544807210023676574/83570020511208123841\ 48893665252872368366623*c_1001_11^9 - 1828846131445988968195433432244655560756224373/83570020511208123841\ 48893665252872368366623*c_1001_11^8 + 14946761370107659349714217239245413959947681753/8357002051120812384\ 148893665252872368366623*c_1001_11^7 - 10447292395312925392366166739734047699618542068/8357002051120812384\ 148893665252872368366623*c_1001_11^6 + 1818759013631403396981286697758338515548128864/83570020511208123841\ 48893665252872368366623*c_1001_11^5 - 2808419853015053669031328897798735270303812972/83570020511208123841\ 48893665252872368366623*c_1001_11^4 + 3934104808775049923168805000736644484760514887/83570020511208123841\ 48893665252872368366623*c_1001_11^3 - 1471650106776867391904117350668138429776445015/83570020511208123841\ 48893665252872368366623*c_1001_11^2 + 93127522460233921497871973971400954691705147/8357002051120812384148\ 893665252872368366623*c_1001_11 + 314307876170719586835436670468947\ 35327155/8357002051120812384148893665252872368366623, c_0011_11 - 67035544833847103056999950333858964128671/83570020511208123\ 84148893665252872368366623*c_1001_11^20 - 492149598038409505938244199775836737433600/835700205112081238414889\ 3665252872368366623*c_1001_11^19 - 1664948345756721710169303843773886410297663/83570020511208123841488\ 93665252872368366623*c_1001_11^18 - 56003536167498859216349039574723493954751/1177042542411382025936463\ 89651448906596713*c_1001_11^17 - 8922273736617764519392345535622659\ 7931392/117704254241138202593646389651448906596713*c_1001_11^16 + 5117058531696485237697152989782137115940670/83570020511208123841488\ 93665252872368366623*c_1001_11^15 + 30583998787046706609684184606391751566059320/8357002051120812384148\ 893665252872368366623*c_1001_11^14 + 14671686351979842232206548334488217464078554/8357002051120812384148\ 893665252872368366623*c_1001_11^13 - 51125682958765878295394919442847227719329557/8357002051120812384148\ 893665252872368366623*c_1001_11^12 - 254030093616728459467487057680919190103325563/835700205112081238414\ 8893665252872368366623*c_1001_11^11 + 591254256142175796293022664171923366486558105/835700205112081238414\ 8893665252872368366623*c_1001_11^10 + 403406865959998061248155137690755456746093190/835700205112081238414\ 8893665252872368366623*c_1001_11^9 - 1663435729007673144517741616625030901601417980/83570020511208123841\ 48893665252872368366623*c_1001_11^8 + 371042421995575619134873953655905499475608013/835700205112081238414\ 8893665252872368366623*c_1001_11^7 + 1905528525719722819338954231754659193244696463/83570020511208123841\ 48893665252872368366623*c_1001_11^6 - 1501401027423537051794764744216713402551993727/83570020511208123841\ 48893665252872368366623*c_1001_11^5 + 120032289577897704218292578611257318146038158/835700205112081238414\ 8893665252872368366623*c_1001_11^4 - 277377597137158096424257123749317744977043399/835700205112081238414\ 8893665252872368366623*c_1001_11^3 + 529765197947104713880932345474989423009667331/835700205112081238414\ 8893665252872368366623*c_1001_11^2 - 203657604727338902416814690417402375253261233/835700205112081238414\ 8893665252872368366623*c_1001_11 + 14572336061935117558956210307601416979632143/8357002051120812384148\ 893665252872368366623, c_0011_12 + 1391558813980276374206483446920177380210928/835700205112081\ 2384148893665252872368366623*c_1001_11^20 + 5206893036020707324717215019611221518693313/83570020511208123841488\ 93665252872368366623*c_1001_11^19 + 13679440167897440926526447969946077855441562/8357002051120812384148\ 893665252872368366623*c_1001_11^18 + 342978527057640887702837132506950163636255/117704254241138202593646\ 389651448906596713*c_1001_11^17 + 265078578084628639400308856497873\ 403343081/117704254241138202593646389651448906596713*c_1001_11^16 - 222648947181070644510778731414456171634230136/835700205112081238414\ 8893665252872368366623*c_1001_11^15 + 115582818187097940579686167592684943055617749/835700205112081238414\ 8893665252872368366623*c_1001_11^14 - 402432172330024407209764665506328653947357043/835700205112081238414\ 8893665252872368366623*c_1001_11^13 + 2470774380042349992728803375767954267657854233/83570020511208123841\ 48893665252872368366623*c_1001_11^12 - 3015338531779447169323609990494693713322730582/83570020511208123841\ 48893665252872368366623*c_1001_11^11 - 4952408959839973629809741958018770249009732988/83570020511208123841\ 48893665252872368366623*c_1001_11^10 + 12539822205443737784457673375827235386725989288/8357002051120812384\ 148893665252872368366623*c_1001_11^9 - 1715028600544312189625265080147894816229773368/83570020511208123841\ 48893665252872368366623*c_1001_11^8 - 16791974507311830689604225833081235506397425226/8357002051120812384\ 148893665252872368366623*c_1001_11^7 + 16955950379549304032366071362144670337962487256/8357002051120812384\ 148893665252872368366623*c_1001_11^6 - 6107694693866920580847854303039002655596705718/83570020511208123841\ 48893665252872368366623*c_1001_11^5 + 3899547288468403922502961067100886503080968127/83570020511208123841\ 48893665252872368366623*c_1001_11^4 - 5301717856141962833016841251192828346536243898/83570020511208123841\ 48893665252872368366623*c_1001_11^3 + 3054437571954325268530123922403332267000604917/83570020511208123841\ 48893665252872368366623*c_1001_11^2 - 704020327317268435631309251074082827105142371/835700205112081238414\ 8893665252872368366623*c_1001_11 + 62701945490821069531504931949483684737255768/8357002051120812384148\ 893665252872368366623, c_0011_3 + 432340458122603388011109402965771144742554/83570020511208123\ 84148893665252872368366623*c_1001_11^20 + 1547250490867091904893242519437619795665024/83570020511208123841488\ 93665252872368366623*c_1001_11^19 + 4020722322407842444802233914929574208946396/83570020511208123841488\ 93665252872368366623*c_1001_11^18 + 99299435197253305330511233728472944765371/1177042542411382025936463\ 89651448906596713*c_1001_11^17 + 7286511596519548927758443140141957\ 2673829/117704254241138202593646389651448906596713*c_1001_11^16 - 68873008846648920555272154794168129904056663/8357002051120812384148\ 893665252872368366623*c_1001_11^15 + 49009974376338915046060399746116720321748220/8357002051120812384148\ 893665252872368366623*c_1001_11^14 - 134681453761500186515727137785720492826268287/835700205112081238414\ 8893665252872368366623*c_1001_11^13 + 784332862998836833525304142451851643086473322/835700205112081238414\ 8893665252872368366623*c_1001_11^12 - 1073271833585029304596676520856061134881510634/83570020511208123841\ 48893665252872368366623*c_1001_11^11 - 1339667931507173531331255785763706348813571299/83570020511208123841\ 48893665252872368366623*c_1001_11^10 + 4146826414620202583367147955993417233255890999/83570020511208123841\ 48893665252872368366623*c_1001_11^9 - 1334423381659066397619348654965043140490520587/83570020511208123841\ 48893665252872368366623*c_1001_11^8 - 5035660336815556655088038160315254798759161337/83570020511208123841\ 48893665252872368366623*c_1001_11^7 + 6346358506187690503453530598128483193107849013/83570020511208123841\ 48893665252872368366623*c_1001_11^6 - 2996167023954214676993828049657886481646764067/83570020511208123841\ 48893665252872368366623*c_1001_11^5 + 1465564878987898521920384895381866009559652841/83570020511208123841\ 48893665252872368366623*c_1001_11^4 - 1789739401698037074032590140781642438812084748/83570020511208123841\ 48893665252872368366623*c_1001_11^3 + 1311369663396622737050518376642686336278620895/83570020511208123841\ 48893665252872368366623*c_1001_11^2 - 404161197796360918795405663763406498535529528/835700205112081238414\ 8893665252872368366623*c_1001_11 + 36927657063513424394520438571490225508678157/8357002051120812384148\ 893665252872368366623, c_0011_6 + 250229116499281740859914310540306361437362/83570020511208123\ 84148893665252872368366623*c_1001_11^20 + 994339115549618728724468094169176195748518/835700205112081238414889\ 3665252872368366623*c_1001_11^19 + 2726855317778950798355203565063867630915801/83570020511208123841488\ 93665252872368366623*c_1001_11^18 + 72865115965195489277584431401419572673829/1177042542411382025936463\ 89651448906596713*c_1001_11^17 + 7122830270867970133278243821096811\ 0520001/117704254241138202593646389651448906596713*c_1001_11^16 - 37890457706304365944172590250003279771505134/8357002051120812384148\ 893665252872368366623*c_1001_11^15 + 13178982916430172184072278028573238675685181/8357002051120812384148\ 893665252872368366623*c_1001_11^14 - 74295286832653495064759131838169850372238922/8357002051120812384148\ 893665252872368366623*c_1001_11^13 + 426517215642281848413861998032198966230409192/835700205112081238414\ 8893665252872368366623*c_1001_11^12 - 454234673272081792684503728489807044380820707/835700205112081238414\ 8893665252872368366623*c_1001_11^11 - 939226734734103673195543060495914513495514257/835700205112081238414\ 8893665252872368366623*c_1001_11^10 + 1998489210008083120558293732498086614329828199/83570020511208123841\ 48893665252872368366623*c_1001_11^9 - 1920382894085408474691381584781360521605115/83570020511208123841488\ 93665252872368366623*c_1001_11^8 - 2802830268602842393637566587433165771934078735/83570020511208123841\ 48893665252872368366623*c_1001_11^7 + 2508391688862771659163616868902311733215433461/83570020511208123841\ 48893665252872368366623*c_1001_11^6 - 882476149075960478367950272125237077537157933/835700205112081238414\ 8893665252872368366623*c_1001_11^5 + 687571423344480339271066738212226220562749672/835700205112081238414\ 8893665252872368366623*c_1001_11^4 - 813151347817850311636073229531113068986289461/835700205112081238414\ 8893665252872368366623*c_1001_11^3 + 435011631419612257334157687393155293409767786/835700205112081238414\ 8893665252872368366623*c_1001_11^2 - 108913610670595265377161245236877870887820638/835700205112081238414\ 8893665252872368366623*c_1001_11 + 16571470755450276756359972321602524118475149/8357002051120812384148\ 893665252872368366623, c_0011_7 - 338952795053211270753127485463947003432017/83570020511208123\ 84148893665252872368366623*c_1001_11^20 - 1136476043366004564437987543858557249860451/83570020511208123841488\ 93665252872368366623*c_1001_11^19 - 2792159373333740176632968160841430332776262/83570020511208123841488\ 93665252872368366623*c_1001_11^18 - 62606208807744169942767246169930277418698/1177042542411382025936463\ 89651448906596713*c_1001_11^17 - 2463098240025458088848409708829780\ 7821506/117704254241138202593646389651448906596713*c_1001_11^16 + 57037294773894675205297315511083857059979790/8357002051120812384148\ 893665252872368366623*c_1001_11^15 - 48184754216815284476347946955427015410830629/8357002051120812384148\ 893665252872368366623*c_1001_11^14 + 102039028676385458811407804644420505239700825/835700205112081238414\ 8893665252872368366623*c_1001_11^13 - 638220088506544203896212822839202368790680504/835700205112081238414\ 8893665252872368366623*c_1001_11^12 + 955166747975244128507398877060672251651171312/835700205112081238414\ 8893665252872368366623*c_1001_11^11 + 998335845044933341119298665861455428357481705/835700205112081238414\ 8893665252872368366623*c_1001_11^10 - 3599176143424360255134330728333255517087132520/83570020511208123841\ 48893665252872368366623*c_1001_11^9 + 1418562557096457468270833449075250765627257427/83570020511208123841\ 48893665252872368366623*c_1001_11^8 + 4284387310305403609208842437762575058569605694/83570020511208123841\ 48893665252872368366623*c_1001_11^7 - 5676168903208037618021424996122399669929369799/83570020511208123841\ 48893665252872368366623*c_1001_11^6 + 2553920917062104340212987101107361766055370240/83570020511208123841\ 48893665252872368366623*c_1001_11^5 - 1114202019688210981354187483293791374204691549/83570020511208123841\ 48893665252872368366623*c_1001_11^4 + 1573134677650853218806353667134642381721774668/83570020511208123841\ 48893665252872368366623*c_1001_11^3 - 1160578636106688272344923708084640758071973272/83570020511208123841\ 48893665252872368366623*c_1001_11^2 + 337587313074448134028457935940912808800889395/835700205112081238414\ 8893665252872368366623*c_1001_11 - 20299604933296684869308011799299424035084638/8357002051120812384148\ 893665252872368366623, c_0101_0 + c_1001_11, c_0101_4 + 1, c_0101_6 + 1144554208098187372263951092781301737404872/8357002051120812\ 384148893665252872368366623*c_1001_11^20 + 4304863919672167705998415395878384253360356/83570020511208123841488\ 93665252872368366623*c_1001_11^19 + 11334728393584811281835370749552526289752168/8357002051120812384148\ 893665252872368366623*c_1001_11^18 + 285173519628470658271355314688616269163264/117704254241138202593646\ 389651448906596713*c_1001_11^17 + 223587136033348993967565701478980\ 386033725/117704254241138202593646389651448906596713*c_1001_11^16 - 182796251656585936715006047114382346148225498/835700205112081238414\ 8893665252872368366623*c_1001_11^15 + 91616177409809114641874038660043644299060535/8357002051120812384148\ 893665252872368366623*c_1001_11^14 - 328957120252279960838809287557745154908003745/835700205112081238414\ 8893665252872368366623*c_1001_11^13 + 2026400008572533747415839217195835678145591863/83570020511208123841\ 48893665252872368366623*c_1001_11^12 - 2441722492615547726278557029154898718889558831/83570020511208123841\ 48893665252872368366623*c_1001_11^11 - 4121117309654696098639447783141787894112103702/83570020511208123841\ 48893665252872368366623*c_1001_11^10 + 10229493816279272847968925688459152062296575664/8357002051120812384\ 148893665252872368366623*c_1001_11^9 - 1198466417824486528630634342233189774521296761/83570020511208123841\ 48893665252872368366623*c_1001_11^8 - 13833121996084074876368112956467033214365321592/8357002051120812384\ 148893665252872368366623*c_1001_11^7 + 13632524415253963830663570941470023057984399873/8357002051120812384\ 148893665252872368366623*c_1001_11^6 - 4728624412335827807468572282602803718886735164/83570020511208123841\ 48893665252872368366623*c_1001_11^5 + 3168832666315616320252775694726166841147654494/83570020511208123841\ 48893665252872368366623*c_1001_11^4 - 4371905551912013889826865277471298508184203574/83570020511208123841\ 48893665252872368366623*c_1001_11^3 + 2446088207796811354001992446590011047474012769/83570020511208123841\ 48893665252872368366623*c_1001_11^2 - 535225193264460469306056276133336377099683967/835700205112081238414\ 8893665252872368366623*c_1001_11 + 50881557232309488288578299636703713872571389/8357002051120812384148\ 893665252872368366623, c_0110_10 + 58912447175542875970489332494920762455056/83570020511208123\ 84148893665252872368366623*c_1001_11^20 - 16483457708270846660993317216566754586496/8357002051120812384148893\ 665252872368366623*c_1001_11^19 - 391864303393442985664899663468474\ 688855558/8357002051120812384148893665252872368366623*c_1001_11^18 - 23000434226937139888109387737050141040114/1177042542411382025936463\ 89651448906596713*c_1001_11^17 - 5974545845521036139256751613444470\ 2924326/117704254241138202593646389651448906596713*c_1001_11^16 - 14247737801828906229337405021909128723174072/8357002051120812384148\ 893665252872368366623*c_1001_11^15 + 41478585448143166083384775979434354258587200/8357002051120812384148\ 893665252872368366623*c_1001_11^14 - 23106545796831771500485401685994970835356419/8357002051120812384148\ 893665252872368366623*c_1001_11^13 + 169629694560033320168569110415953156349887046/835700205112081238414\ 8893665252872368366623*c_1001_11^12 - 526307642753218385728820579839040980621559903/835700205112081238414\ 8893665252872368366623*c_1001_11^11 + 157614488616763113107135188355904821931722330/835700205112081238414\ 8893665252872368366623*c_1001_11^10 + 1520604495813050255654799163241836316903778631/83570020511208123841\ 48893665252872368366623*c_1001_11^9 - 1855887644780365508604969216278660658987725267/83570020511208123841\ 48893665252872368366623*c_1001_11^8 - 1106910728724255520227455033795859027198396897/83570020511208123841\ 48893665252872368366623*c_1001_11^7 + 3470279936313042527832957782072834314905096924/83570020511208123841\ 48893665252872368366623*c_1001_11^6 - 2097063417026617602528379028500864644455214162/83570020511208123841\ 48893665252872368366623*c_1001_11^5 + 472773525773699506024311707982241833268126645/835700205112081238414\ 8893665252872368366623*c_1001_11^4 - 786956626021428709128429909382212923196931638/835700205112081238414\ 8893665252872368366623*c_1001_11^3 + 846452005298981768516319867839924593118255533/835700205112081238414\ 8893665252872368366623*c_1001_11^2 - 267761227864901732917373470779090316689919958/835700205112081238414\ 8893665252872368366623*c_1001_11 + 15158728835966192795704163979477658367938053/8357002051120812384148\ 893665252872368366623, c_0110_7 - 1392918935108061716368385028298342478088256/8357002051120812\ 384148893665252872368366623*c_1001_11^20 - 5534050070905729503513071719225204058698865/83570020511208123841488\ 93665252872368366623*c_1001_11^19 - 14962116894949674090243186317829100393385329/8357002051120812384148\ 893665252872368366623*c_1001_11^18 - 391824783760169446701629884367529299120035/117704254241138202593646\ 389651448906596713*c_1001_11^17 - 356319020382714939931539978369488\ 853118328/117704254241138202593646389651448906596713*c_1001_11^16 + 216767319741187480697283343208640844233604267/835700205112081238414\ 8893665252872368366623*c_1001_11^15 - 66470687119063080597604399781906469411402909/8357002051120812384148\ 893665252872368366623*c_1001_11^14 + 384100580731376013278408659904174612139194486/835700205112081238414\ 8893665252872368366623*c_1001_11^13 - 2381835151138596876814056771161347826637550887/83570020511208123841\ 48893665252872368366623*c_1001_11^12 + 2467327708338411657100665139169699142278033814/83570020511208123841\ 48893665252872368366623*c_1001_11^11 + 5554964144257515948432975851475805691831177398/83570020511208123841\ 48893665252872368366623*c_1001_11^10 - 11316531522192733868183524464914831956860255432/8357002051120812384\ 148893665252872368366623*c_1001_11^9 - 944582550418538122881376630738258417526615427/835700205112081238414\ 8893665252872368366623*c_1001_11^8 + 16786526698750286845124733518097718241212155635/8357002051120812384\ 148893665252872368366623*c_1001_11^7 - 13138564491991936415655881092117680066443361036/8357002051120812384\ 148893665252872368366623*c_1001_11^6 + 2807934831020253477421465678075765947788527452/83570020511208123841\ 48893665252872368366623*c_1001_11^5 - 3003659145260519756807292798861419788131959939/83570020511208123841\ 48893665252872368366623*c_1001_11^4 + 4596856245031126711407336601665131656365396416/83570020511208123841\ 48893665252872368366623*c_1001_11^3 - 1995325843674572951738716623089097731148821293/83570020511208123841\ 48893665252872368366623*c_1001_11^2 + 187185909981663322807036465342987154006846166/835700205112081238414\ 8893665252872368366623*c_1001_11 + 6136427944684692921482100292062030493414723/83570020511208123841488\ 93665252872368366623, c_1001_11^21 + 3*c_1001_11^20 + 7*c_1001_11^19 + 10*c_1001_11^18 - 171*c_1001_11^16 + 201*c_1001_11^15 - 342*c_1001_11^14 + 1986*c_1001_11^13 - 3469*c_1001_11^12 - 2048*c_1001_11^11 + 11764*c_1001_11^10 - 7709*c_1001_11^9 - 11643*c_1001_11^8 + 21162*c_1001_11^7 - 12732*c_1001_11^6 + 5431*c_1001_11^5 - 5730*c_1001_11^4 + 4914*c_1001_11^3 - 1941*c_1001_11^2 + 318*c_1001_11 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.030 Total time: 13.230 seconds, Total memory usage: 120.09MB