Magma V2.19-8 Wed Aug 21 2013 00:55:08 on localhost [Seed = 2664989936] Type ? for help. Type -D to quit. Loading file "L13a1383__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a1383 geometric_solution 11.43682651 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 1 1 1 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 1 0 -1 7 0 -7 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714128145898 0.834687988651 0 0 5 4 0132 1230 0132 0132 1 1 0 1 0 1 0 -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 0 0 0 0 7 -1 -6 -7 0 0 7 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367243099151 1.072275564653 4 0 6 4 0132 0132 0132 2031 1 1 0 1 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 -1 0 1 0 0 -6 6 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.408189128390 0.691720987226 4 6 0 7 3012 0132 0132 0132 1 1 1 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 0 0 0 0 0 1 -1 0 0 0 0 -7 7 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688140440367 0.564705973729 2 2 1 3 0132 1302 0132 1230 1 1 1 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 -6 6 0 0 0 -7 7 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367243099151 1.072275564653 6 8 7 1 2103 0132 1302 0132 1 1 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796793340122 1.276828913913 9 3 5 2 0132 0132 2103 0132 1 1 1 1 0 0 0 0 -1 0 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 -6 0 0 6 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.694813001527 0.619598737589 5 9 3 8 2031 0321 0132 3012 1 1 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 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.762500789070 1.380849477771 10 5 7 11 0132 0132 1230 0132 1 1 1 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 0 0 0 0 1 0 -1 0 0 0 0 6 -7 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659605379089 0.573608307645 6 11 11 7 0132 3120 1230 0321 1 1 1 1 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 -1 0 1 6 0 -6 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.659605379089 0.573608307645 8 11 12 12 0132 3012 0132 3201 1 1 1 1 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 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751736922917 1.181486630015 10 9 8 9 1230 3120 0132 3012 1 1 1 1 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 -6 0 0 6 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765112284192 1.289311685712 12 10 12 10 2310 2310 3201 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.740756382212 0.406669497788 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : d['c_0110_7'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0110_7'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_7']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : 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' : d['c_0011_10'], 'c_1100_8' : d['c_0110_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0110_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0110_7'], 'c_0011_10' : d['c_0011_10']})} 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_7, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0110_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1176575224325249496098303290682962839122711815342013675390256208783\ 5166845234053120/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^21 - 3492452770212618348447016395320861087514914374649002052655081073214\ 577724336111616/313917903266860173666896205110588606283995572206759\ 35249902536995788542669659*c_1001_2^20 - 9138279095875629692174661154251518124584752795057349117158055980376\ 05341834772480/2414753102052770566668432347004527740646119786205841\ 173069425922752964820743*c_1001_2^19 - 1706421227379965006780118368919233615220241423457777948415758298650\ 8252031572770816/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^18 - 4841812727748769119753421955299301446371042715953088836077325665608\ 3432953064030208/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^17 - 3296804106994469782366608648678166342215135520040754254348109294426\ 8143756416024576/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^16 - 3564999793693771257493839937897453338454548313063199867269686251321\ 1859663898968064/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^15 - 7032351409885745357695927684863364070548205414497375536623243934620\ 4720476147138560/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^14 - 7717910387779927057173288713020750240733200074641589858087189321241\ 1070792788287488/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^13 - 7866407569873817770540041132575974177192979357393743138964584177844\ 7485556810792960/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^12 - 3724025273628486693532053111797959337098559837857375754401455139796\ 8149655608244224/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^11 - 9874929511887851735127096649098185799908600458420922430839212068511\ 1315029017991168/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^10 - 4447489267172590406802410356618688548635566351287760296618623405094\ 022188446701184/241475310205277056666843234700452774064611978620584\ 1173069425922752964820743*c_1001_2^9 - 6715726504975901285784869612966429361704643480990682535477991201828\ 1735787452849024/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^8 - 1567445737804812493313802568743827513442602295989551313562376668332\ 5245757389517184/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^7 - 4871597595429515435668999945254157222969760354682179294182536914805\ 1349363500515008/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^6 - 1912096986185297821474224317059525165509061431227618106349669980223\ 3291088823604840/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^5 - 1581300648587623366057389683626159758387068128614861885680850217875\ 8669680970441816/31391790326686017366689620511058860628399557220675\ 935249902536995788542669659*c_1001_2^4 - 2674976624693504398825751364536311485288223305533853373811730283064\ 880515531730856/313917903266860173666896205110588606283995572206759\ 35249902536995788542669659*c_1001_2^3 - 2092295586707690474206841618976078485215521764733249644198198002348\ 73590933412148/2414753102052770566668432347004527740646119786205841\ 173069425922752964820743*c_1001_2^2 - 1814191986674956932438701051924439863955045752322887019683041827066\ 793658848992267/627835806533720347333792410221177212567991144413518\ 70499805073991577085339318*c_1001_2 - 1030545464606410701105514083732496810087355942673915406783644411354\ 248777315978929/627835806533720347333792410221177212567991144413518\ 70499805073991577085339318, c_0011_0 - 1, c_0011_10 + 4726602159337552384751369379562265518523020084728823808/120\ 37142874557968805766765068415930751280745918865536847*c_1001_2^21 - 23518351985239792166125597621916414926768117957896699904/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^20 + 30737058290017030973413149230353141601788850486539452416/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^19 - 57234455035841312856835755691765349448965372706597896192/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^18 + 60091658552036419218063312973323207982144869882038190080/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^17 - 142846619421750178799629594431859343033263195871874908160/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^16 + 130446004289961277953439710342655791793839762119900463104/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^15 - 214419105735733142333016889071243545560613441264683843584/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^14 + 150466122155831417516826915135989950206536721705789571072/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^13 - 285994489660683201822462935145083206945084233341662396416/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^12 + 185020679315921001435855055884509156922621732224532469760/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^11 - 283722311809750922507211673656404777653145033796123328512/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 + 129643347764309288158505067556080813532424968324772986368/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^9 - 233376532594987510518434532391184168468693140226362013696/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 + 90991285906369549089862832886884483084269141355202203904/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^7 - 150515991948960123871242702581055149951197589492862643200/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 + 30187041965183563417884256835858026108997316884907393056/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^5 - 75145085800015634254929918951206880065890467279218081408/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^4 + 5208735002792140098515347333798789763531193945292237736/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^3 - 18884967926841864778459940103980401418740563921864430498/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^2 + 555945283569452662796466720232697744949900993654527110/120371428745\ 57968805766765068415930751280745918865536847*c_1001_2 - 7341874398222183966334576800712772563104703393712782165/12037142874\ 557968805766765068415930751280745918865536847, c_0011_11 - 45720384804124601085587723326502714418395772028694036480/12\ 037142874557968805766765068415930751280745918865536847*c_1001_2^21 + 197201393067445303745978404020725217460864004819947356160/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^20 - 268382484233780531172769967349182426053111539161979944960/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 + 469886578877517262978660893758952988123892536261159682048/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 - 530917951407986497988593154777265433158664465191140065280/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^17 + 1173558484195602945292655349614438353767612507551135956992/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^16 - 1124625957576413664163755444910148090426618468898397552640/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 + 1733034102279986820895406574872159858503030395159119659008/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^14 - 1300124949130242690719853108478459430289072586760666669056/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 + 2297454439808088991316850976626324037687958451546772144128/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^12 - 1578315242790857966746254539925876382952942577804714389504/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 + 2231377416883873194179808500065088063284215858070051209216/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^10 - 1103897033750946473405846821821266624911617949874999755776/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^9 + 1791425293717050814916967004583526578052048335353394493440/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^8 - 767774228023134755878317637413801447544052925803953799424/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^7 + 1081965756226408435828815443045329355533694011454870481408/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^6 - 251917002064671899437158955843022665958348347993806384032/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^5 + 456869464200331834444807506627070000815221736153238973560/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^4 - 42937814362591135432095588977897675832699473019781659008/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^3 + 121174810307773779468952849794633543625552965429087916984/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^2 - 4483531147101931049350874939369775577917644761942927072/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2 + 16314438156418845335906069130317978068903404343666293947/1203714287\ 4557968805766765068415930751280745918865536847, c_0011_12 - 387542070595879241247252524556201682800438311636128759808/1\ 2037142874557968805766765068415930751280745918865536847*c_1001_2^21 + 404338513142165735450511644846461972299518808420572463104/1203714\ 2874557968805766765068415930751280745918865536847*c_1001_2^20 - 903278073408124586334896794331902644801609214991946219520/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 + 472010873807273556201346842235363218417701146088173469696/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 - 2051161646586138065054536842281128358401904920728588386304/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^17 + 1472071028041990718318933315178455553524769442661663244288/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^16 - 2955142991935797097675932383947200359452055687111325974528/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 + 1027435308190486944071365046289338959128306167068254797824/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^14 - 3398733673542398278706913366396788113941578782973493739520/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 + 1546453089384695925029824256424923392030380104140094504960/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^12 - 3121908749990833058150393525875202434576988268045684860928/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 + 264025108500644585529046201960172647502549666917161476608/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 - 1859517265541338457766648469174300419081486534926951272960/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^9 + 132265416417758540420950448095775054593077682251870122752/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 - 944950752874047719472211084076530008018415310115170264320/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^7 - 484380501909011270715832544749516014968193714962829871520/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 - 33643592215664869741894839163865333364450009944173457312/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^5 - 343429174763831250088171164792837571555976038416133389840/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^4 + 54224084101746767993416442103178360961330850358355773912/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^3 - 90664431908906445330702124785016980502185439452748432990/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^2 + 13774775719809474824705265093931393387536985475647152238/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2 - 14276134801614595192266749794938505781081752188074044423/1203714287\ 4557968805766765068415930751280745918865536847, c_0011_3 + 2363301079668776192375684689781132759261510042364411904/1203\ 7142874557968805766765068415930751280745918865536847*c_1001_2^21 - 11759175992619896083062798810958207463384058978948349952/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^20 + 15368529145008515486706574615176570800894425243269726208/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^19 - 28617227517920656428417877845882674724482686353298948096/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^18 + 30045829276018209609031656486661603991072434941019095040/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^17 - 71423309710875089399814797215929671516631597935937454080/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^16 + 65223002144980638976719855171327895896919881059950231552/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^15 - 107209552867866571166508444535621772780306720632341921792/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^14 + 75233061077915708758413457567994975103268360852894785536/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^13 - 142997244830341600911231467572541603472542116670831198208/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^12 + 92510339657960500717927527942254578461310866112266234880/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^11 - 141861155904875461253605836828202388826572516898061664256/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 + 64821673882154644079252533778040406766212484162386493184/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^9 - 116688266297493755259217266195592084234346570113181006848/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 + 45495642953184774544931416443442241542134570677601101952/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^7 - 75257995974480061935621351290527574975598794746431321600/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^6 + 15093520982591781708942128417929013054498658442453696528/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^5 - 37572542900007817127464959475603440032945233639609040704/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^4 + 2604367501396070049257673666899394881765596972646118868/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^3 - 21479626837978901194996735120406131460651027879797752096/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^2 + 277972641784726331398233360116348872474950496827263555/120371428745\ 57968805766765068415930751280745918865536847*c_1001_2 - 9689508636390076386050670934564351657192724656289159506/12037142874\ 557968805766765068415930751280745918865536847, c_0011_7 + 324813361514592014592248010302860409012027922111797395456/12\ 037142874557968805766765068415930751280745918865536847*c_1001_2^21 - 329411160608158656746838882143329346133314739794976702464/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^20 + 832386578539640443820472492362530859806269825340805218304/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 - 514708092339705904648338370938448005956099319845617664000/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 + 2017877294927980745856531262889631536887237884608967999488/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^17 - 1455016060574349674297796192824744834624616597853394305024/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^16 + 3115977486715903743096612556519340815565810648576039387136/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 - 1485766199402713079900265865598147323354017629170661801984/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^14 + 4042389902905400098974402360258670130043999284501298184192/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 - 2077226393100712047804943098218716871073200098902141356032/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^12 + 4054408480530494412648727889511405128383468760595378266112/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 - 1270027364971053755563342808192271708069772180618540697600/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^10 + 3181534966856160935197791319731861051547138380245909758464/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^9 - 960127607526618154153071944486404225963061305455033074176/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 + 1972950065291771645937338677300997703388411485482826302720/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^7 - 221053995306235518952955711732989763136618269643219980608/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 + 811539709124239431832354897904889639064957607916966568736/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^5 + 1755572107570115757817619998744296360962148524448160568/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^4 + 224895280213260418832870496799429180767246080007728304304/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^3 + 6692917434305575809329361868384002909084370603858211220/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^2 + 31302964430151971540989341552582923666342855199124206236/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2 + 2199872200587695629791630481118090164406342893032331201/12037142874\ 557968805766765068415930751280745918865536847, c_0101_0 + 171802555670247127186811119272607279210136509992482635776/12\ 037142874557968805766765068415930751280745918865536847*c_1001_2^21 - 174165856749915903379186803962388411969398020034847047680/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^20 + 441265565168237714050090596992476405488725333960154939392/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 - 273072362650379206266923253524087489616099190231993679872/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 + 1070170221268793864998460288436064304935935278182724927488/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^17 - 770944350603958945602154608349780495584786134283600461824/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^16 + 1655228119795965793153229803010278026735077549429136752640/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 - 790015033878835706796079264602639855064683282590736351232/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^14 + 2150049316384398817872184409636467702138336159761705762816/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 - 1103363980167050860516986249465004161626429037839158059008/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^12 + 2161006170222658442515688638091018512007231513340344033280/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 - 678383898642826680538576383899231745455252949016318348288/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 + 1701296511682248005608696316182759525973463460504143674880/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^9 - 512573695801072633024371844870589895430325580883517385984/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 + 1060700526842517429094657807188984596329790262043310509312/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^7 - 120554401100623064120321674729167516480254513214600046464/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 + 443544519998619590699865945303753570373463294858032701792/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^5 - 400019326528928500292282172766601555890029009655460848/120371428745\ 57968805766765068415930751280745918865536847*c_1001_2^4 + 134008314295325595817919476674116740763287133127500619088/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^3 + 3287451405294610162417710710621126053671137130871104092/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^2 + 37397532350818713614487797924334139537416462483774636474/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2 + 1132229953595882249855660781633348671777106522888329827/12037142874\ 557968805766765068415930751280745918865536847, c_0101_1 - 1, c_0101_10 - 202839243273973257323047542404038081202607231605036548096/1\ 2037142874557968805766765068415930751280745918865536847*c_1001_2^21 + 199662557586307471384849119534188771741966413643135320064/1203714\ 2874557968805766765068415930751280745918865536847*c_1001_2^20 - 430724781141834071317932664415527513443798754445520535552/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 + 222613991350731723208280571617582527905450668626743918592/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 - 1025071671499279025987298179208639661982776989069618053120/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^17 + 727335777561061312093902646945239533654232624171125866496/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^16 - 1368042058516267710625495544158429979275205284622600437760/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 + 477933140503373566435811352955825334986523493603642769408/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^14 - 1617804874375181979819351183044348750848719768987367079936/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 + 781756086805803528275825614735413897843184328927130124288/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^12 - 1335142381441812563043607162405667527945406027581731971072/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 + 118700366197123541210580310661288704072849804055225405440/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 - 786814038384408151018476139105680435038556625196471059968/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^9 + 119866955306546498932300441730384305748656481559851844096/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 - 268294210009236167122251814281847448979714161526087172864/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^7 - 212552144165046417322947245827429002271916579266140476544/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 + 72076610246778491494281911257251744795777665954375617024/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^5 - 124876878984976820860209558024930829500970301382548991744/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^4 + 97779644503005978954968202180785491633400451080023206480/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^3 - 27064400102095373620415595049585057772882290254912077672/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^2 + 27734564494733809582314539682659080147922839449012751984/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2 - 4061355331110968234730410748659847188676225324577274963/12037142874\ 557968805766765068415930751280745918865536847, c_0101_7 + c_1001_2, c_0110_7 - 268438112036885295248125325575797960787292628492293767168/12\ 037142874557968805766765068415930751280745918865536847*c_1001_2^21 + 272649501933139206712234704798986912716870838970824523776/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^20 - 681952923149135490981346387495265006292727297602291236864/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^19 + 420398193456548380991813962609267086127802137990508576768/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^18 - 1650487852099159793435363320942140317933339869339522433024/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^17 + 1194398138673645023578257121200296364989749585711974449152/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^16 - 2532541228087820213467071408015695101852777297729337032704/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^15 + 1202974594337838078824587874776750163027970821138229100544/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^14 - 3269263713315207488664502983215874307345980179434958159872/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^13 + 1688721691400543028117854896084842514534226168573617070080/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^12 - 3251596900786026995500779729499509441490485962339448864768/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^11 + 1009806068027254939021912929373696359547571028376252700672/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^10 - 2518360797331155707138987381830887050347772757958776984576/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^9 + 765068255300036818466056708722077531270291736519027980800/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 - 1527597100111982009181407866070083235574904369671442155008/12037142\ 874557968805766765068415930751280745918865536847*c_1001_2^7 + 160889574621203691089892798556953953664945999285279643648/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^6 - 584891716505240183130223919797037134019050662519670064192/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^5 - 9422404389454034033024173031576794779188768155725407360/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^4 - 143679806579319975647032187426680001494384504941371650076/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^3 - 7046961305454642262811183209809255314310659630206220328/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^2 - 9160949486717323728931464280070234202399359163638837723/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2 - 2006109080775489020032557234672268626962732434799345842/12037142874\ 557968805766765068415930751280745918865536847, c_1001_1 - 2363301079668776192375684689781132759261510042364411904/1203\ 7142874557968805766765068415930751280745918865536847*c_1001_2^21 + 11759175992619896083062798810958207463384058978948349952/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^20 - 15368529145008515486706574615176570800894425243269726208/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^19 + 28617227517920656428417877845882674724482686353298948096/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^18 - 30045829276018209609031656486661603991072434941019095040/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^17 + 71423309710875089399814797215929671516631597935937454080/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^16 - 65223002144980638976719855171327895896919881059950231552/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^15 + 107209552867866571166508444535621772780306720632341921792/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^14 - 75233061077915708758413457567994975103268360852894785536/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^13 + 142997244830341600911231467572541603472542116670831198208/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^12 - 92510339657960500717927527942254578461310866112266234880/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^11 + 141861155904875461253605836828202388826572516898061664256/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^10 - 64821673882154644079252533778040406766212484162386493184/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^9 + 116688266297493755259217266195592084234346570113181006848/120371428\ 74557968805766765068415930751280745918865536847*c_1001_2^8 - 45495642953184774544931416443442241542134570677601101952/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^7 + 75257995974480061935621351290527574975598794746431321600/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^6 - 15093520982591781708942128417929013054498658442453696528/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^5 + 37572542900007817127464959475603440032945233639609040704/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^4 - 2604367501396070049257673666899394881765596972646118868/12037142874\ 557968805766765068415930751280745918865536847*c_1001_2^3 + 21479626837978901194996735120406131460651027879797752096/1203714287\ 4557968805766765068415930751280745918865536847*c_1001_2^2 - 277972641784726331398233360116348872474950496827263555/120371428745\ 57968805766765068415930751280745918865536847*c_1001_2 + 9689508636390076386050670934564351657192724656289159506/12037142874\ 557968805766765068415930751280745918865536847, c_1001_2^22 - c_1001_2^21 + 5/2*c_1001_2^20 - 3/2*c_1001_2^19 + 97/16*c_1001_2^18 - 69/16*c_1001_2^17 + 295/32*c_1001_2^16 - 135/32*c_1001_2^15 + 761/64*c_1001_2^14 - 383/64*c_1001_2^13 + 3007/256*c_1001_2^12 - 873/256*c_1001_2^11 + 37179/4096*c_1001_2^10 - 10675/4096*c_1001_2^9 + 45013/8192*c_1001_2^8 - 3579/8192*c_1001_2^7 + 140487/65536*c_1001_2^6 + 5605/65536*c_1001_2^5 + 73573/131072*c_1001_2^4 + 4495/131072*c_1001_2^3 + 97153/1048576*c_1001_2^2 + 8607/1048576*c_1001_2 + 28657/2097152 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.660 seconds, Total memory usage: 32.09MB