Magma V2.19-8 Wed Aug 21 2013 00:49:21 on localhost [Seed = 2260767343] Type ? for help. Type -D to quit. Loading file "K14n9159__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9159 geometric_solution 12.28479404 oriented_manifold CS_known 0.0000000000000002 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351084318176 0.731528022724 0 5 7 6 0132 0132 0132 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687632246405 0.621848458604 7 0 5 8 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534969816822 1.136805861067 8 5 9 0 0321 1230 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 0 0 0 1 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521289222184 0.654711431555 10 7 0 11 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 1 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.614093235909 0.895002063472 6 1 3 2 3201 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 -1 5 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331416169968 1.114344518377 8 11 1 5 1302 0132 0132 2310 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 -1 0 0 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734266942385 0.680430141904 10 4 2 1 3120 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.846339910061 0.495220446177 3 6 2 9 0321 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 4 0 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.062679717193 0.979959941911 12 8 11 3 0132 1302 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 0 0 -1 1 1 -1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171301138512 1.115996374015 4 12 12 7 0132 0321 3120 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 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466455906849 0.536208124589 12 6 4 9 1023 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 0 0 0 -1 0 0 1 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.358276592369 1.146971636841 9 11 10 10 0132 1023 3120 0321 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 0 0 0 0 4 -5 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076508292846 1.061587492184 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_3']), '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' : d['c_0101_10'], '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_11'], 'c_1100_8' : negation(d['c_1001_3']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_0101_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), '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_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_11']), '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_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_8']), 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_8']), 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : negation(d['c_0011_8']), 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5'])})} 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_3, c_0011_8, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_5, c_1001_1, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 94190092042331819783211849948822109074854044381/1645453198525547566\ 04007180496770002888227871*c_1100_0^19 - 714470519485410259498989848128418850451514841119/164545319852554756\ 604007180496770002888227871*c_1100_0^18 + 4407522632405702597119741636468981400183310548465/16454531985255475\ 6604007180496770002888227871*c_1100_0^17 - 25448655502502355541486694187536071276878500185327/1645453198525547\ 56604007180496770002888227871*c_1100_0^16 + 122677896310830045769680930944644091584691927854413/164545319852554\ 756604007180496770002888227871*c_1100_0^15 - 16517341021614991044850077614209863157436529970865/5673976546639819\ 193241626913681724237525099*c_1100_0^14 + 1558886178438038952767245679153657233601954366613974/16454531985255\ 4756604007180496770002888227871*c_1100_0^13 - 4373180230317343331818239936043667423086470856497159/16454531985255\ 4756604007180496770002888227871*c_1100_0^12 + 10669702292475730846719990766278416751249112190917915/1645453198525\ 54756604007180496770002888227871*c_1100_0^11 - 22432466570072696498740425709836212708218645177847876/1645453198525\ 54756604007180496770002888227871*c_1100_0^10 + 40295513901104457079274414007138810447095872138084925/1645453198525\ 54756604007180496770002888227871*c_1100_0^9 - 61434864557472683992856229612769404439723668376354791/1645453198525\ 54756604007180496770002888227871*c_1100_0^8 + 78518831427553076136879687192479898290159234218851224/1645453198525\ 54756604007180496770002888227871*c_1100_0^7 - 82587931564781257359996608313384634750689844606770676/1645453198525\ 54756604007180496770002888227871*c_1100_0^6 + 69981273206816525705269220261708354362659456114562302/1645453198525\ 54756604007180496770002888227871*c_1100_0^5 - 46436682981266462186199560616182714694517208823210266/1645453198525\ 54756604007180496770002888227871*c_1100_0^4 + 23039289505395873949568173600959962445623938131464522/1645453198525\ 54756604007180496770002888227871*c_1100_0^3 - 7891334316802346947705748085414689868016522792095141/16454531985255\ 4756604007180496770002888227871*c_1100_0^2 + 1621456948151610058223357493335524078223462709525179/16454531985255\ 4756604007180496770002888227871*c_1100_0 - 147438212595982915104858091385629690295680439338255/164545319852554\ 756604007180496770002888227871, c_0011_0 - 1, c_0011_10 + 1857976049845473209453412106134813210/262575908382186006378\ 92844678265549091*c_1100_0^19 - 13984420023839538011763942313735947\ 624/26257590838218600637892844678265549091*c_1100_0^18 + 86278320979648808380287297659620208568/2625759083821860063789284467\ 8265549091*c_1100_0^17 - 497930795503287351362316522950974454935/26\ 257590838218600637892844678265549091*c_1100_0^16 + 2396813904009874539171476869289912366962/26257590838218600637892844\ 678265549091*c_1100_0^15 - 322170570070889373186788343881912131831/\ 905434166835124159927339471664329279*c_1100_0^14 + 30363505034373558210532178626217500585106/2625759083821860063789284\ 4678265549091*c_1100_0^13 - 850816198832172552691117650651164042204\ 41/26257590838218600637892844678265549091*c_1100_0^12 + 207331993938067872916340736117965556855370/262575908382186006378928\ 44678265549091*c_1100_0^11 - 43531443830133555502225617615784471797\ 9329/26257590838218600637892844678265549091*c_1100_0^10 + 780892639860578986616738251373183063754188/262575908382186006378928\ 44678265549091*c_1100_0^9 - 118894985959751809307574794721696865655\ 7700/26257590838218600637892844678265549091*c_1100_0^8 + 1517479038649945731040761169532313956194138/26257590838218600637892\ 844678265549091*c_1100_0^7 - 15940509893106981661693087305548513534\ 72045/26257590838218600637892844678265549091*c_1100_0^6 + 1349324880380988002202415944542395440403184/26257590838218600637892\ 844678265549091*c_1100_0^5 - 89475789165944719291951360335702198868\ 3070/26257590838218600637892844678265549091*c_1100_0^4 + 443945730287998646796636561553710194905476/262575908382186006378928\ 44678265549091*c_1100_0^3 - 152272161054796317338192527854620820797\ 286/26257590838218600637892844678265549091*c_1100_0^2 + 31429256145360241356038903486605391388590/2625759083821860063789284\ 4678265549091*c_1100_0 - 2860758860031154012161809300007804653969/2\ 6257590838218600637892844678265549091, c_0011_11 - 1106547146850697707960343011290786526/262575908382186006378\ 92844678265549091*c_1100_0^19 + 84787629475774274172755493916675035\ 76/26257590838218600637892844678265549091*c_1100_0^18 - 52483300347373446683452694356784852574/2625759083821860063789284467\ 8265549091*c_1100_0^17 + 303322231970311240544442974456115118497/26\ 257590838218600637892844678265549091*c_1100_0^16 - 1466422006961978507217505284508049253358/26257590838218600637892844\ 678265549091*c_1100_0^15 + 198302082863286533389757696443526109953/\ 905434166835124159927339471664329279*c_1100_0^14 - 18804376682484523530860697878623960468062/2625759083821860063789284\ 4678265549091*c_1100_0^13 + 529954170792802862464077666394503607492\ 20/26257590838218600637892844678265549091*c_1100_0^12 - 129939066235195731091451446965401245685270/262575908382186006378928\ 44678265549091*c_1100_0^11 + 27485885158608714750163728067249757819\ 2361/26257590838218600637892844678265549091*c_1100_0^10 - 497472207670863836044208783220906567688398/262575908382186006378928\ 44678265549091*c_1100_0^9 + 765432623678857473102199909644128293247\ 827/26257590838218600637892844678265549091*c_1100_0^8 - 989562168356893752632990891368915325430126/262575908382186006378928\ 44678265549091*c_1100_0^7 + 105643281978989441261073338547668279070\ 0348/26257590838218600637892844678265549091*c_1100_0^6 - 912656430492349740473770638933031287805172/262575908382186006378928\ 44678265549091*c_1100_0^5 + 621161989765707719519923938283061377423\ 605/26257590838218600637892844678265549091*c_1100_0^4 - 319152045242107268948688049034496305689872/262575908382186006378928\ 44678265549091*c_1100_0^3 + 115061144292157881021362951823021712360\ 038/26257590838218600637892844678265549091*c_1100_0^2 - 25470038317515714913345186001022396329176/2625759083821860063789284\ 4678265549091*c_1100_0 + 2532024594925813312141780636287571798504/2\ 6257590838218600637892844678265549091, c_0011_3 + 2774040557153018004890/549195597611439039630101*c_1100_0^19 - 16470551446196418796247/549195597611439039630101*c_1100_0^18 + 100247049854589918986824/549195597611439039630101*c_1100_0^17 - 569795590883275846170667/549195597611439039630101*c_1100_0^16 + 2585484473765016243459110/549195597611439039630101*c_1100_0^15 - 322168215839408649741282/18937779227980656538969*c_1100_0^14 + 28220420439943233331010458/549195597611439039630101*c_1100_0^13 - 73949650066642282340334868/549195597611439039630101*c_1100_0^12 + 167004102888302194064983722/549195597611439039630101*c_1100_0^11 - 318502260328317793518588759/549195597611439039630101*c_1100_0^10 + 509374848488691969418736916/549195597611439039630101*c_1100_0^9 - 675506035648521585450888179/549195597611439039630101*c_1100_0^8 + 720440691144546808351965404/549195597611439039630101*c_1100_0^7 - 594896618518809263530633310/549195597611439039630101*c_1100_0^6 + 361752407621803419528459614/549195597611439039630101*c_1100_0^5 - 141320635014693085397890110/549195597611439039630101*c_1100_0^4 + 19709568224033483865530112/549195597611439039630101*c_1100_0^3 + 9329569175387418927988628/549195597611439039630101*c_1100_0^2 - 4620028724140570213066138/549195597611439039630101*c_1100_0 + 942864281400254299122990/549195597611439039630101, c_0011_8 + 4395294097525843288411983528056379117/2625759083821860063789\ 2844678265549091*c_1100_0^19 - 328464526373899870950944267769958397\ 71/26257590838218600637892844678265549091*c_1100_0^18 + 202669591114853694190028741682318870008/262575908382186006378928446\ 78265549091*c_1100_0^17 - 1169265755461907022245805243435266893376/\ 26257590838218600637892844678265549091*c_1100_0^16 + 5620698479652151785229917349568109136010/26257590838218600637892844\ 678265549091*c_1100_0^15 - 754396069238589710346656673134614822600/\ 905434166835124159927339471664329279*c_1100_0^14 + 71015505591450389019404991157800280485379/2625759083821860063789284\ 4678265549091*c_1100_0^13 - 198813986098444760519133237655664477335\ 514/26257590838218600637892844678265549091*c_1100_0^12 + 484036469776553668772412360244065349816313/262575908382186006378928\ 44678265549091*c_1100_0^11 - 10152785305714072639729302878198081756\ 49353/26257590838218600637892844678265549091*c_1100_0^10 + 1819703023211777716367643009144292869346311/26257590838218600637892\ 844678265549091*c_1100_0^9 - 27688010648136859939624425466829512525\ 09665/26257590838218600637892844678265549091*c_1100_0^8 + 3532488301633160146498893138934883257339126/26257590838218600637892\ 844678265549091*c_1100_0^7 - 37113893710786138295399532406375219325\ 38901/26257590838218600637892844678265549091*c_1100_0^6 + 3145522334138950162618423694048442545073269/26257590838218600637892\ 844678265549091*c_1100_0^5 - 20919549016848857153627358466692051623\ 72360/26257590838218600637892844678265549091*c_1100_0^4 + 1044237976211365620723848354125702085363684/26257590838218600637892\ 844678265549091*c_1100_0^3 - 36270944506362816365905559543343369747\ 1253/26257590838218600637892844678265549091*c_1100_0^2 + 76881878553127687370028532599814836887112/2625759083821860063789284\ 4678265549091*c_1100_0 - 7382914927207089573535920758287416730846/2\ 6257590838218600637892844678265549091, c_0101_1 + 1106547146850697707960343011290786526/2625759083821860063789\ 2844678265549091*c_1100_0^19 - 847876294757742741727554939166750357\ 6/26257590838218600637892844678265549091*c_1100_0^18 + 52483300347373446683452694356784852574/2625759083821860063789284467\ 8265549091*c_1100_0^17 - 303322231970311240544442974456115118497/26\ 257590838218600637892844678265549091*c_1100_0^16 + 1466422006961978507217505284508049253358/26257590838218600637892844\ 678265549091*c_1100_0^15 - 198302082863286533389757696443526109953/\ 905434166835124159927339471664329279*c_1100_0^14 + 18804376682484523530860697878623960468062/2625759083821860063789284\ 4678265549091*c_1100_0^13 - 529954170792802862464077666394503607492\ 20/26257590838218600637892844678265549091*c_1100_0^12 + 129939066235195731091451446965401245685270/262575908382186006378928\ 44678265549091*c_1100_0^11 - 27485885158608714750163728067249757819\ 2361/26257590838218600637892844678265549091*c_1100_0^10 + 497472207670863836044208783220906567688398/262575908382186006378928\ 44678265549091*c_1100_0^9 - 765432623678857473102199909644128293247\ 827/26257590838218600637892844678265549091*c_1100_0^8 + 989562168356893752632990891368915325430126/262575908382186006378928\ 44678265549091*c_1100_0^7 - 105643281978989441261073338547668279070\ 0348/26257590838218600637892844678265549091*c_1100_0^6 + 912656430492349740473770638933031287805172/262575908382186006378928\ 44678265549091*c_1100_0^5 - 621161989765707719519923938283061377423\ 605/26257590838218600637892844678265549091*c_1100_0^4 + 319152045242107268948688049034496305689872/262575908382186006378928\ 44678265549091*c_1100_0^3 - 115061144292157881021362951823021712360\ 038/26257590838218600637892844678265549091*c_1100_0^2 + 25470038317515714913345186001022396329176/2625759083821860063789284\ 4678265549091*c_1100_0 - 2532024594925813312141780636287571798504/2\ 6257590838218600637892844678265549091, c_0101_10 - 868829001509726456400038219754436804/2625759083821860063789\ 2844678265549091*c_1100_0^19 + 688491312978492157892225697248493448\ 6/26257590838218600637892844678265549091*c_1100_0^18 - 42811992910471285053818117206703862346/2625759083821860063789284467\ 8265549091*c_1100_0^17 + 247941376958176626675587700865096324501/26\ 257590838218600637892844678265549091*c_1100_0^16 - 1207598787186368766160107225545155521540/26257590838218600637892844\ 678265549091*c_1100_0^15 + 164875468393090351517808112095898269752/\ 905434166835124159927339471664329279*c_1100_0^14 - 15778227713309704344930231676490990698933/2625759083821860063789284\ 4678265549091*c_1100_0^13 + 448296030553110424351710485150005119947\ 30/26257590838218600637892844678265549091*c_1100_0^12 - 110854563263026207464922767790274530412512/262575908382186006378928\ 44678265549091*c_1100_0^11 + 23683667119931143125992428144816738709\ 5101/26257590838218600637892844678265549091*c_1100_0^10 - 433501939049823989017833017639240613703950/262575908382186006378928\ 44678265549091*c_1100_0^9 + 675362030048021831937015005546204007636\ 582/26257590838218600637892844678265549091*c_1100_0^8 - 885716296119190170846025478731019643560761/262575908382186006378928\ 44678265549091*c_1100_0^7 + 961470089082988844301945263309780409704\ 146/26257590838218600637892844678265549091*c_1100_0^6 - 846598729718759645335430130685086592136147/262575908382186006378928\ 44678265549091*c_1100_0^5 + 589081500739380475348616720586818628472\ 617/26257590838218600637892844678265549091*c_1100_0^4 - 310830062121966566365497915677976628926658/262575908382186006378928\ 44678265549091*c_1100_0^3 + 115814682439219423216900678424642918946\ 908/26257590838218600637892844678265549091*c_1100_0^2 - 26756892795173891372996563827935425508156/2625759083821860063789284\ 4678265549091*c_1100_0 + 2830544157480982598045609574938467925844/2\ 6257590838218600637892844678265549091, c_0101_12 - 214657430554664145290335010372038123/2625759083821860063789\ 2844678265549091*c_1100_0^19 + 184599387158671640199712108902463277\ 5/26257590838218600637892844678265549091*c_1100_0^18 - 11573963990529114499958157990542918889/2625759083821860063789284467\ 8265549091*c_1100_0^17 + 67314468476776722776052661111133046385/262\ 57590838218600637892844678265549091*c_1100_0^16 - 333115363886493047426676354051592145385/262575908382186006378928446\ 78265549091*c_1100_0^15 + 46371974668825524461458155750362880767/90\ 5434166835124159927339471664329279*c_1100_0^14 - 4515691312959456392642206155108180437570/26257590838218600637892844\ 678265549091*c_1100_0^13 + 1302013921341738552293275120332911938487\ 8/26257590838218600637892844678265549091*c_1100_0^12 - 32679724682551803864236605253327946615545/2625759083821860063789284\ 4678265549091*c_1100_0^11 + 710035617610528434920610884799389532107\ 91/26257590838218600637892844678265549091*c_1100_0^10 - 132307294916840977567492391987816095626801/262575908382186006378928\ 44678265549091*c_1100_0^9 + 209970568202068651571624553461879894148\ 783/26257590838218600637892844678265549091*c_1100_0^8 - 280875156398288173079011666923915739990678/262575908382186006378928\ 44678265549091*c_1100_0^7 + 311346688076467130228297251653547488588\ 090/26257590838218600637892844678265549091*c_1100_0^6 - 279952927697206714812939109118427510296225/262575908382186006378928\ 44678265549091*c_1100_0^5 + 198844482175568958098654503129209947310\ 489/26257590838218600637892844678265549091*c_1100_0^4 - 106971477340225204917418231607573606603773/262575908382186006378928\ 44678265549091*c_1100_0^3 + 404401292075747696722014336749521557713\ 25/26257590838218600637892844678265549091*c_1100_0^2 - 9354780261526124389460973008746963083247/26257590838218600637892844\ 678265549091*c_1100_0 + 952621767182312361169675008112767137724/262\ 57590838218600637892844678265549091, c_0101_2 + 205057807934485991685318123420339188/26257590838218600637892\ 844678265549091*c_1100_0^19 - 1590589469876126413673596923071734560\ /26257590838218600637892844678265549091*c_1100_0^18 + 9935301695616015887254650073963906472/26257590838218600637892844678\ 265549091*c_1100_0^17 - 57469896329327586068985929491269457640/2625\ 7590838218600637892844678265549091*c_1100_0^16 + 279173074116783180301523604992429497753/262575908382186006378928446\ 78265549091*c_1100_0^15 - 38044779639542622665477104356951260814/90\ 5434166835124159927339471664329279*c_1100_0^14 + 3638984696766666627833239120710246092088/26257590838218600637892844\ 678265549091*c_1100_0^13 - 1034161404386524993995200450070531961609\ 5/26257590838218600637892844678265549091*c_1100_0^12 + 25581406826047184046095316663049021862951/2625759083821860063789284\ 4678265549091*c_1100_0^11 - 547039478550031290952584649429816216628\ 76/26257590838218600637892844678265549091*c_1100_0^10 + 100344411361937557435501681903549526179496/262575908382186006378928\ 44678265549091*c_1100_0^9 - 156867775549108290232611343296573121621\ 800/26257590838218600637892844678265549091*c_1100_0^8 + 206775431328230423468713741956882969385693/262575908382186006378928\ 44678265549091*c_1100_0^7 - 226198209617054885207108951293572813970\ 291/26257590838218600637892844678265549091*c_1100_0^6 + 201413071161484926062325967783525647033217/262575908382186006378928\ 44678265549091*c_1100_0^5 - 142327752800370286371905356028574283748\ 067/26257590838218600637892844678265549091*c_1100_0^4 + 76764823200614224515181641599578226543336/2625759083821860063789284\ 4678265549091*c_1100_0^3 - 2954941258759702435234962185934327649290\ 4/26257590838218600637892844678265549091*c_1100_0^2 + 7195065353810934260977065373824200493181/26257590838218600637892844\ 678265549091*c_1100_0 - 823905876770383306331550002605690949411/262\ 57590838218600637892844678265549091, c_0101_5 - 23725410380351527956325098525317127/905434166835124159927339\ 471664329279*c_1100_0^19 + 180826186854488347867663838517937772/905\ 434166835124159927339471664329279*c_1100_0^18 - 1120487767481173602471271309802840644/90543416683512415992733947166\ 4329279*c_1100_0^17 + 6474495331333464516295219317922917223/9054341\ 66835124159927339471664329279*c_1100_0^16 - 31278787158537538049553015783393460315/9054341668351241599273394716\ 64329279*c_1100_0^15 + 122605497512772587533136796506284318561/9054\ 34166835124159927339471664329279*c_1100_0^14 - 400870440652166283003497079020829686704/905434166835124159927339471\ 664329279*c_1100_0^13 + 1129907363606732413352682587765195512286/90\ 5434166835124159927339471664329279*c_1100_0^12 - 2770899223783952630315834674503497039997/90543416683512415992733947\ 1664329279*c_1100_0^11 + 5863356739719307925681886676578193352644/9\ 05434166835124159927339471664329279*c_1100_0^10 - 10620329865905331470475330869007917014686/9054341668351241599273394\ 71664329279*c_1100_0^9 + 16360888368820200034750477331399684228695/\ 905434166835124159927339471664329279*c_1100_0^8 - 21189652600017675121035857533285770549769/9054341668351241599273394\ 71664329279*c_1100_0^7 + 22683619655130365094367420284912468897851/\ 905434166835124159927339471664329279*c_1100_0^6 - 19675134607335683466356991172447931262792/9054341668351241599273394\ 71664329279*c_1100_0^5 + 464309821830320670853154366330541694756/31\ 221867821900833100942740402218251*c_1100_0^4 - 6971117290128030545909485228279470329401/90543416683512415992733947\ 1664329279*c_1100_0^3 + 2539330964713549849401089088972891836187/90\ 5434166835124159927339471664329279*c_1100_0^2 - 568867051752792308106127108197702170880/905434166835124159927339471\ 664329279*c_1100_0 + 57479803874101386426553187017020115466/9054341\ 66835124159927339471664329279, c_1001_1 + 1811022842168980791975146900947878021/2625759083821860063789\ 2844678265549091*c_1100_0^19 - 135620137103815377464775963658951081\ 15/26257590838218600637892844678265549091*c_1100_0^18 + 83571145568271578997147059530959342776/2625759083821860063789284467\ 8265549091*c_1100_0^17 - 482167434055917353477116305357892395628/26\ 257590838218600637892844678265549091*c_1100_0^16 + 2317870613987772858451035378516034573034/26257590838218600637892844\ 678265549091*c_1100_0^15 - 310990081764000735244917817183167140062/\ 905434166835124159927339471664329279*c_1100_0^14 + 29255878474612321064244791364894683111307/2625759083821860063789284\ 4678265549091*c_1100_0^13 - 818403406666619702790290410061860407378\ 38/26257590838218600637892844678265549091*c_1100_0^12 + 199078479375938192281082599107797272763209/262575908382186006378928\ 44678265549091*c_1100_0^11 - 41708368081458950591933510677778168029\ 3147/26257590838218600637892844678265549091*c_1100_0^10 + 746294261090437546730259559041649772773687/262575908382186006378928\ 44678265549091*c_1100_0^9 - 113299751434534117457016362014065885321\ 2191/26257590838218600637892844678265549091*c_1100_0^8 + 1441144112357147767622050400638381883711318/26257590838218600637892\ 844678265549091*c_1100_0^7 - 15076840084087877899480904407504983882\ 40565/26257590838218600637892844678265549091*c_1100_0^6 + 1270199083877814864246434659175874918207885/26257590838218600637892\ 844678265549091*c_1100_0^5 - 83778035773157840195251125639185994241\ 9252/26257590838218600637892844678265549091*c_1100_0^4 + 413135487953858602142923808865501589597304/262575908382186006378928\ 44678265549091*c_1100_0^3 - 140814954894973636574845253213282931564\ 067/26257590838218600637892844678265549091*c_1100_0^2 + 28959798839782657821197765154821138674876/2625759083821860063789284\ 4678265549091*c_1100_0 - 2654106250091000078715757067511293927458/2\ 6257590838218600637892844678265549091, c_1001_3 + 461830632014351986495812649163575231/26257590838218600637892\ 844678265549091*c_1100_0^19 - 3464956526463897701138988966528699284\ /26257590838218600637892844678265549091*c_1100_0^18 + 21275716733654037885782976711260085170/2625759083821860063789284467\ 8265549091*c_1100_0^17 - 122781787724124564844066508085631930098/26\ 257590838218600637892844678265549091*c_1100_0^16 + 589888383998518889377298835369397262669/262575908382186006378928446\ 78265549091*c_1100_0^15 - 79022154263543367199639263787139386463/90\ 5434166835124159927339471664329279*c_1100_0^14 + 7418715388559233000590425351168347570530/26257590838218600637892844\ 678265549091*c_1100_0^13 - 2071039448423358939873866355787876584975\ 4/26257590838218600637892844678265549091*c_1100_0^12 + 50269656429848715383241320661908502492666/2625759083821860063789284\ 4678265549091*c_1100_0^11 - 105020666335292990820886224037015656496\ 055/26257590838218600637892844678265549091*c_1100_0^10 + 187221163335291588466326502112426104659559/262575908382186006378928\ 44678265549091*c_1100_0^9 - 282971955407383422514415285198216667065\ 758/26257590838218600637892844678265549091*c_1100_0^8 + 357959979137308318495204810960233001703818/262575908382186006378928\ 44678265549091*c_1100_0^7 - 371861613356966819649662409016867900285\ 011/26257590838218600637892844678265549091*c_1100_0^6 + 310665257763355684981917951905958251900026/262575908382186006378928\ 44678265549091*c_1100_0^5 - 202986755837974151969875732987996937211\ 757/26257590838218600637892844678265549091*c_1100_0^4 + 99057802496536990932549074104457521496727/2625759083821860063789284\ 4678265549091*c_1100_0^3 - 3347688494124164642787776293537048191415\ 8/26257590838218600637892844678265549091*c_1100_0^2 + 6907939626702357389312094933004518629497/26257590838218600637892844\ 678265549091*c_1100_0 - 655197218752638344056976730546614227351/262\ 57590838218600637892844678265549091, c_1100_0^20 - 8*c_1100_0^19 + 50*c_1100_0^18 - 290*c_1100_0^17 + 1417*c_1100_0^16 - 5640*c_1100_0^15 + 18727*c_1100_0^14 - 53548*c_1100_0^13 + 133336*c_1100_0^12 - 287324*c_1100_0^11 + 531733*c_1100_0^10 - 840058*c_1100_0^9 + 1121894*c_1100_0^8 - 1248120*c_1100_0^7 + 1137045*c_1100_0^6 - 830352*c_1100_0^5 + 471098*c_1100_0^4 - 197738*c_1100_0^3 + 56909*c_1100_0^2 - 9872*c_1100_0 + 769 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.790 Total time: 8.000 seconds, Total memory usage: 139.44MB