Magma V2.19-8 Wed Aug 21 2013 00:26:35 on localhost [Seed = 560411245] Type ? for help. Type -D to quit. Loading file "K14n14819__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14819 geometric_solution 11.90036206 oriented_manifold CS_known 0.0000000000000006 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 -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 -1 1 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.617238239801 0.917468571285 0 5 7 6 0132 0132 0132 0132 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 2 -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.630616161532 0.597101629082 7 0 9 8 0132 0132 0132 0132 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 1 -1 0 -2 0 2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453110141611 1.167772842379 6 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 1 -1 1 0 -1 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445138859470 0.959588792429 9 6 0 8 0132 3120 0132 0213 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427978820836 0.763105678715 12 1 9 6 0132 0132 2310 0213 0 0 0 0 0 -1 1 0 -1 0 1 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 -2 2 0 -1 0 1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.157019961836 0.962796578059 3 4 1 5 0132 3120 0132 0213 0 0 0 0 0 -1 1 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 -1 1 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 1.797801127757 0.299616259743 2 12 12 1 0132 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 2 0 -2 0 -2 2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523113158815 0.760627983001 11 10 2 4 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354780115168 0.573667867865 4 5 10 2 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 2 -2 0 -2 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512283885644 0.857044521714 9 3 8 11 2310 0132 0213 0132 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406676148737 0.422430447459 8 12 10 3 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009376583203 1.438694297389 5 7 7 11 0132 0132 0321 0321 0 0 0 0 0 0 0 0 1 0 -1 0 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 1 0 -1 1 0 -1 0 1 1 0 -2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523113158815 0.760627983001 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_1001_11'], 'c_1010_10' : d['c_1001_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_1001_1'], 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1010_8'], 'c_1100_10' : d['c_1010_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : negation(d['c_0011_10']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_11'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_12']), 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_1001_0, c_1001_1, c_1001_11, c_1001_2, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 258950330330903495449983164006965228204117437108202567163870216451/\ 86502070972108248507876458577976444663772500323098713170616*c_1010_\ 8^22 - 828050397535161999107113010898392370284358482594351461676448\ 750861/86502070972108248507876458577976444663772500323098713170616*\ c_1010_8^21 - 41544030027635930279236257468009156835964943562578634\ 6986558073365/10812758871513531063484557322247055582971562540387339\ 146327*c_1010_8^20 - 8004007786056782772592350315952147476486411126\ 698292174112068478215/865020709721082485078764585779764446637725003\ 23098713170616*c_1010_8^19 - 11578246835645099810737242217178257950\ 190706962591994376965440077447/865020709721082485078764585779764446\ 63772500323098713170616*c_1010_8^18 - 1314999395048367267912227338079919702350498940276004868400207499450\ 5/86502070972108248507876458577976444663772500323098713170616*c_101\ 0_8^17 - 5179992636545935529618230757839111692763582706727435772629\ 211591557/865020709721082485078764585779764446637725003230987131706\ 16*c_1010_8^16 + 10758886192935576365420885349071856394874886827818\ 115312547710664121/865020709721082485078764585779764446637725003230\ 98713170616*c_1010_8^15 + 96128722756206396839024512417187001334612\ 2371576819169583518586886/10812758871513531063484557322247055582971\ 562540387339146327*c_1010_8^14 + 4331243690661501211706198496027713\ 809634028739349328221905676654869/865020709721082485078764585779764\ 44663772500323098713170616*c_1010_8^13 + 7038007089958957106289598775263303483022173537834968473538404178111\ /86502070972108248507876458577976444663772500323098713170616*c_1010\ _8^12 - 79679242330832393580874410670357624113183738484995382733960\ 96027435/8650207097210824850787645857797644466377250032309871317061\ 6*c_1010_8^11 + 213874055032130469723107518322752028970854129169744\ 71799466776967/2982830033520974086478498571654360160819741390451679\ 764504*c_1010_8^10 + 9428639618857147945278890222827648353868611937\ 256005831591846282405/865020709721082485078764585779764446637725003\ 23098713170616*c_1010_8^9 - 927631737766141195849046725908662664920\ 9931137145728309960139185447/86502070972108248507876458577976444663\ 772500323098713170616*c_1010_8^8 + 1148519932914480910231200113928090799858848689345729497322361837825\ /86502070972108248507876458577976444663772500323098713170616*c_1010\ _8^7 + 913798736169856896583039667731667623074556067903246219903074\ 735091/43251035486054124253938229288988222331886250161549356585308*\ c_1010_8^6 - 330987617992599024680343577369946615442722568531445947\ 2176301873799/86502070972108248507876458577976444663772500323098713\ 170616*c_1010_8^5 + 31557060345235042209227064329345796194270345192\ 9062138676501214167/21625517743027062126969114644494111165943125080\ 774678292654*c_1010_8^4 + 35961042914520314465745617731049442745757\ 0210664480245656573653925/86502070972108248507876458577976444663772\ 500323098713170616*c_1010_8^3 - 94751811351126246114927580831656227\ 668530876350740268820474664325/432510354860541242539382292889882223\ 31886250161549356585308*c_1010_8^2 + 146481705281286991369253817532409084055057783812931827765639859839/\ 43251035486054124253938229288988222331886250161549356585308*c_1010_\ 8 + 136699099147440952659696268359455613498695009168380664495748005\ 21/21625517743027062126969114644494111165943125080774678292654, c_0011_0 - 1, c_0011_10 - 974908518687978047689750853018060279785518580643487/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 - 1526623973234902352730705764600967041166209752545927/33731370830933\ 856897242292524586213520619204054944*c_1010_8^21 - 12359589630513603408851713998207647399793680581701117/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^20 - 14719105767503523454442976195002336532438747458056299/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^19 - 42175310975171313540660410637603677914712924555580043/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 - 47814401674699536149302197531826229507606974291322457/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 - 8814608968071470720591636609901231393050867443970203/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 + 20168240722840215586339864828836852260305494489163953/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 + 13272983709275016659406954178434985781990717890257121/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^14 + 8328744181766497596093592506236881079535874167445229/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 + 12699522929055834421601969825701452743624021135984991/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^12 - 31015877878117774217421082022559043129806923888442573/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 + 5326965274697811016390939192446836912396124688686563/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 + 4132936674271610119425877627964588877743914697608777/84328427077334\ 64224310573131146553380154801013736*c_1010_8^9 - 2217121306452127401182917193916758779699257047981081/42164213538667\ 32112155286565573276690077400506868*c_1010_8^8 + 7636417965804812426222395491072809027589320189599707/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 + 983102293016882879311492048365140179596995570479309/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 - 10867097799547901728534962791773253132316372275051131/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^5 + 4754240727523978866494307407154704038255881731076567/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 729897197266143795372423934580694298742561742652877/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 - 101751450943086311087284779114351762308022583474675/168656854154669\ 28448621146262293106760309602027472*c_1010_8^2 + 248005668472096857308326445414192902603916676057321/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 23937190981642848783569587804938492662556648676689/8432842707733464\ 224310573131146553380154801013736, c_0011_11 + 588624980679575322808975576397688713588026627730823/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 + 922608832135760005640131048047857787139648370509743/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 + 7461703235217856201966190719734501216363431865702813/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 + 8883296223603709369440802190832767233500242634854607/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 + 25407579459281529735515586762935559287169272857595819/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 + 28631290429051687327558439034886892568304352868449057/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 + 5081857916466256110825377512589900122663971465252147/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 - 12521663965562015270497656411496113190478888735842669/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 - 8342713867422801105607007762022521909141870608010757/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 - 5012413561049806808507991478486442693891066073939565/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 - 7418553374605081869460257412270892623750861677097947/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 + 18892188857972062758586410476406617914523917800623565/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 - 3015123756357340901341193278878625336214236367424155/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 - 2501258723095225069968816714171712535197664525735009/84328427077334\ 64224310573131146553380154801013736*c_1010_8^9 + 2634907741124398406597929632234804391611770557934161/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 - 4157894805715017280534308466099367663793323440357739/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 - 543065966289339226161805878516399839692816278584185/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 + 6241065861007519554211256311429663546025389712658259/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 - 2717141112277890362767059925499738599897497833749071/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 - 430105446561735173961970825914976129903780632756861/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 + 42531036169802267416987492341777840352457063624103/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 - 142594889089875448251988979518634328089805808525801/168656854154669\ 28448621146262293106760309602027472*c_1010_8 - 17578883715954063125640772898465098900327548095409/8432842707733464\ 224310573131146553380154801013736, c_0011_4 - 136326089293500721320325905408187669751662353047085/16865685\ 415466928448621146262293106760309602027472*c_1010_8^22 - 56275981147071538742135403823564396783541950086663/2108210676933366\ 056077643282786638345038700253434*c_1010_8^21 - 1798484753063119686953818209123277656406274565118905/16865685415466\ 928448621146262293106760309602027472*c_1010_8^20 - 1101736686154258886033463045101577236810131503972159/42164213538667\ 32112155286565573276690077400506868*c_1010_8^19 - 6578361968090814108066168383138717533764381376850605/16865685415466\ 928448621146262293106760309602027472*c_1010_8^18 - 7661406280315528872771092274133472438180225576757747/16865685415466\ 928448621146262293106760309602027472*c_1010_8^17 - 901997056556581036660103547336892348666775069108075/421642135386673\ 2112155286565573276690077400506868*c_1010_8^16 + 323978944319194829709339197275086361106998059608770/105410533846668\ 3028038821641393319172519350126717*c_1010_8^15 + 2266473545585956520988842682508435395931670393928917/84328427077334\ 64224310573131146553380154801013736*c_1010_8^14 + 695136067650985066993081059415183995305451836904695/421642135386673\ 2112155286565573276690077400506868*c_1010_8^13 + 1007396579121298543273859316653284380835194888686895/42164213538667\ 32112155286565573276690077400506868*c_1010_8^12 - 3692652976534528839491059817308861215641373435981307/16865685415466\ 928448621146262293106760309602027472*c_1010_8^11 - 15672461210634919516631633556057917445001566267991/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^10 + 2465796377276435110905689159453180917854421851836703/84328427077334\ 64224310573131146553380154801013736*c_1010_8^9 - 2161894137053743200114446278689200306048523662021105/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 + 149274848661249009389307649157308745630681682840453/168656854154669\ 28448621146262293106760309602027472*c_1010_8^7 + 59827545361897725708978937996070006892392790660473/1054105338466683\ 028038821641393319172519350126717*c_1010_8^6 - 1605959078020795408672042470128416438942193521852965/16865685415466\ 928448621146262293106760309602027472*c_1010_8^5 + 443140980515031808023641999762061391320124031183647/168656854154669\ 28448621146262293106760309602027472*c_1010_8^4 + 272228383098346922368730013295076733272396307969755/168656854154669\ 28448621146262293106760309602027472*c_1010_8^3 - 23154245654239745741617269510515277197009374363039/4216421353866732\ 112155286565573276690077400506868*c_1010_8^2 + 37235192272845685211415289169905391165986443822527/4216421353866732\ 112155286565573276690077400506868*c_1010_8 + 6424924311055453252989049941900876209765458203081/21082106769333660\ 56077643282786638345038700253434, c_0101_0 - 976994622239470254793283814324390698007857393641209/67462741\ 661867713794484585049172427041238408109888*c_1010_8^22 - 1500815357398221564937203363003853155616175844802077/33731370830933\ 856897242292524586213520619204054944*c_1010_8^21 - 12219087563928436788880238910273298364558501631874971/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^20 - 14400997213453612083384521939341563864207078350471949/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^19 - 40667166913877270059818375774658793167804210321099189/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 - 45717201103213597290891058605370125534217171922992031/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 - 7551315249500521870575683349550009749425154424897873/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 + 20683041840496581689110260222150658759513499834948223/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 + 12389541628158447041753661470274745300031076739923515/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^14 + 8202670479434497962221692563526561882863406407341615/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 + 12426678083186848337497717765360117306246876734803905/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^12 - 32716211269649797012972248547397189083376530319541587/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 + 7006491920587079573791007455977310940947842050294341/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 + 1983877198065848580425468571160903106265208562181687/42164213538667\ 32112155286565573276690077400506868*c_1010_8^9 - 2344410586897465408794695699117288660167998954586237/42164213538667\ 32112155286565573276690077400506868*c_1010_8^8 + 10136295204124626552849128748457215112515562676538997/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^7 + 674911344277616957142921727113622298351980206582243/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 - 10850973440808371979322770662493462696693821791205725/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^5 + 5427709681532494156016201906553465380213297851243225/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 412404641272807511911301260656017984826241561842819/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 - 69295977218608749396325357235411325238583778815465/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 + 244257783736117293350569723268410381471469339954871/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 26450571854781610842712281421632174087094051733711/8432842707733464\ 224310573131146553380154801013736, c_0101_1 + 552221814650566368899777945229502605989157853813887/67462741\ 661867713794484585049172427041238408109888*c_1010_8^22 + 805729402725715890368122266838556839477408608033615/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 + 6658943560516090427766672624275460150291253736734101/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 + 7631957498900363526937519261192654805316910795838103/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 + 20675085262579585176895204843488630888515594002023475/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 + 22803499188454130766303583648453446769316952946201945/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 + 2692997471531750065160301235488817089625253526579347/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 - 11805148882782604803988672823134016926792831412236989/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 - 4811445784911063702345406254277440009065890673556373/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 - 3639712539778888881752626587455072498999838920557109/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 - 6524497868887742544241155162976847094261552558214923/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 + 20081257481645774729766318927350009491209364195368357/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 - 7508468859761649617357019337483445234530698258125603/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 - 2153319501910774234579942352528253525107577051339863/84328427077334\ 64224310573131146553380154801013736*c_1010_8^9 + 2979405596572532317101756268752842265555433396140411/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 - 9363755521145706768718696416968018102651925284159251/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 - 54880129436287235786985417690981001752855576875741/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^6 + 6318146403944428474136002193564490285912868579806315/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 - 3969966267729869196855463597079060630371099021400151/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 342052562844626966677107614957567881869932883075323/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 + 32632724628091247572499559093525482730255623965763/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 - 132508324517262913296219041478264136010477327853977/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 1227300873575737601810074139824099581893302983751/84328427077334642\ 24310573131146553380154801013736, c_0101_11 + 500340579807089933266729461525743008746142568133477/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 + 724865413627795007018119018484163965858757345945105/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 + 5984846028076122274456614824739490007498658060755151/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 + 6824094191878556224548949581799639342119351128644377/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 + 18215380296082810645124870598070170726258416131655329/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 + 19723513926802966041230201188109622272430561473228995/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 + 1832936523308131493169899651533186889564059823189605/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 - 11194519836552564378367423910841697588958860298262187/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 - 4302425903183794763372919197578090687009292473118039/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 - 2822507527259215315351721860603735422886062415779571/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 - 5562893330713750704837676597773179319090799999901413/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 + 18932379874995113738429430384624516274415118179529351/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 - 6430321826123426563118575845354165713008980029696049/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 - 494089071619154164075934540014896575043479386680355/210821067693336\ 6056077643282786638345038700253434*c_1010_8^9 + 345204159058938393238742826882649182534385606162488/105410533846668\ 3028038821641393319172519350126717*c_1010_8^8 - 8443411453068477986492853279204031315436548139681121/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 - 216865217164742195924436328024083014213995377934019/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 + 5758745191990569836981805067852980462665849704852185/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 - 3601634090949091386387037097487108183341040796460277/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 305469279104265630403702703712548382993310852541049/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 + 38069859321143367019558031646670492644335256640993/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 - 128246842635250868493720294699076304048972330607051/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 4622568758037016753211383668967601826551514435021/84328427077334642\ 24310573131146553380154801013736, c_0101_12 + 118811956357962282011515328675609692024937322591801/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 + 213458707754845825510080313138173069056083044515697/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 + 1672388764573928576161232836338664031511541958895219/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 + 2136289378630769737992096438564071723400513416949249/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 + 6748690281817448365247495321750641377417059999660277/67462741661867\ 713794484585049172427041238408109888*c_1010_8^18 + 8124147635950955652027598570663625333660517441531311/67462741661867\ 713794484585049172427041238408109888*c_1010_8^17 + 2410699835641096160642028723885064267884456042461901/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 - 1943573941127287167781662469350821465280178587000379/33731370830933\ 856897242292524586213520619204054944*c_1010_8^15 - 2643315349556499471970775917337217643974011383258987/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 - 1614347794311811547183802211300166816822361488101723/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 - 2147760525556064163939178621050144029864267522927405/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 + 2159651476831887402585130523854724581706962441741395/67462741661867\ 713794484585049172427041238408109888*c_1010_8^11 + 1172515668431754447684820408701421063371957218349387/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 - 588796286150698311052307061629469016881136357869415/843284270773346\ 4224310573131146553380154801013736*c_1010_8^9 + 335400695172453864472149067244693030395061538146317/843284270773346\ 4224310573131146553380154801013736*c_1010_8^8 + 1322951308465751388663263734202553722806731926362923/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 - 355926779623944685530485594748245163344093890093955/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 + 1381299022117388364377008655943724814207665156053261/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 + 101176227261460122290590387415898423206021362003855/674627416618677\ 13794484585049172427041238408109888*c_1010_8^4 - 594351362639082971269441730534216259458365427814675/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 + 22891373153002112474121272914805710296136221069869/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 - 18396237375583502580733188530190691814704616489783/1686568541546692\ 8448621146262293106760309602027472*c_1010_8 - 18522910093437241867156296711680543242924587686655/8432842707733464\ 224310573131146553380154801013736, c_1001_0 - 238891590280166142861280544388148798748476987929309/67462741\ 661867713794484585049172427041238408109888*c_1010_8^22 - 364034306163503104498400621260774262489896144527297/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 - 2950460446449854329670331504421435962507551215377663/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 - 3456986159361334652990500876926380785895111514706653/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 - 9551447150357185266710810859546943534648673238444225/67462741661867\ 713794484585049172427041238408109888*c_1010_8^18 - 10448271732747113391008945925619025208214858486438011/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 - 1428975554934102116185196164503315751851595785160469/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 + 5318358992510420546396298074553196964082037436721991/33731370830933\ 856897242292524586213520619204054944*c_1010_8^15 + 2734903347676178025113317240769690716895106131842915/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 + 1233174431225737960617905602260272986751122863638875/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 + 2690787039309534781790752232777320576620920157251521/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 - 8096556492323390829107563425479262728713425996760967/67462741661867\ 713794484585049172427041238408109888*c_1010_8^11 + 1640371324426283180659141629522951992081890278662585/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 + 524754743997056758812952866651549451314368601421761/421642135386673\ 2112155286565573276690077400506868*c_1010_8^9 - 1184504512216640362959879806621261258110246733990647/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 + 1860810474527459952212868157491382046425434820432145/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 + 362928614365580732297157960306965506071326080544119/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 - 2504782548828745192931726615845242825313612244675329/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 + 1157968696884349427296613002452283202685867874107245/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 242528459844263698667919720302738707887295116838071/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 - 12557999356332112430789029632415850552984347174117/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 + 34636935115683011393450422323070615027811689777579/1686568541546692\ 8448621146262293106760309602027472*c_1010_8 + 5229588792699553813077404949670657788537823586259/84328427077334642\ 24310573131146553380154801013736, c_1001_1 + 1058923065254578566997181152301627848951786092127161/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 + 1665320998909531701691523098202889575305662933175245/33731370830933\ 856897242292524586213520619204054944*c_1010_8^21 + 13482943180957876592778061354613028507098670828076827/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^20 + 16107483761663868628324417609454334727037703842770413/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^19 + 46461483418583768874703471024487500758368625596075477/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 + 53155396691274835045175469495032856591359265350018591/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 + 10439202537151518157658818162445409441169115141234529/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^16 - 21167775271944265851842129401271126972389929572851519/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 - 14333178261173689753870958083271478371409403889607915/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^14 - 9548692258996354231920185768460154558858933973221919/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 - 14563209723516267322334351451463606041003435595802529/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^12 + 32813634956819079405715231860444428502530477755868467/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 - 5407547692509961076639114535244137970305791309060741/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 - 2227379450362171004702802455790045511245830796874093/42164213538667\ 32112155286565573276690077400506868*c_1010_8^9 + 2418834337709169502219456367896551144280428125829849/42164213538667\ 32112155286565573276690077400506868*c_1010_8^8 - 8141774180374760083535735229165688534084828295264597/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 - 1139839181020748908948561503939585905481217184020083/16865685415466\ 928448621146262293106760309602027472*c_1010_8^6 + 12394774733587769848536951146671500420430761892237661/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^5 - 4989136651852363567052702460317372842272500076654969/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 - 1081863360970199129649450326331349933509598944330531/67462741661867\ 713794484585049172427041238408109888*c_1010_8^3 + 115714108723835753257617972304042171126585002283241/168656854154669\ 28448621146262293106760309602027472*c_1010_8^2 - 274246908938730439015335767769004553722026057594007/168656854154669\ 28448621146262293106760309602027472*c_1010_8 - 35215592349788472734219690734159445431797486147567/8432842707733464\ 224310573131146553380154801013736, c_1001_11 - 791772794504879842246821310045571233488407774594973/6746274\ 1661867713794484585049172427041238408109888*c_1010_8^22 - 1257998387222584565165973835592060715828174248977761/33731370830933\ 856897242292524586213520619204054944*c_1010_8^21 - 10132560421295048771388135477990389757227574348710031/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^20 - 12150286273874335103730924698950714807682278046982669/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^19 - 35087284564052098498667657276161839653520154731036321/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 - 39747182948341699493083062709459823042715755910130315/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 - 7558499070068843188458249475270981923610474422685557/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 + 16565656630098745063218546609095984346842878186505967/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 + 11661069761720857356556752158613483925082825405160051/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^14 + 6598895442567706893605176688752327912850243741008675/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 + 9873204657474532901184146588308812158059531621419561/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 - 24959869037412130510985894225774199028955732214289319/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 + 2726995204930853010131589872858638980789805051533193/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 + 1724273776455790407404138669741491962412397138837045/42164213538667\ 32112155286565573276690077400506868*c_1010_8^9 - 3407101112008643519634255477833876429469116915888573/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 + 4146401113507730739648207977013749762740907134626257/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 + 938648567607163674591685854389259781314334373649075/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 - 8280465733188147392378813952680628001576169013419105/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 + 3387721065800062170630698764990173943082831005405101/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 852343064002883029714460670374865943725166029074567/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 - 63768926683505541578069931940184916751480769289897/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 + 169972483619301056881694697805491727055245547617595/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 22126461646597696259333437475350514869234020037811/8432842707733464\ 224310573131146553380154801013736, c_1001_2 - 504951892699271420779881543489383109709421818686543/67462741\ 661867713794484585049172427041238408109888*c_1010_8^22 - 787656284492010745152997016642974168380582173367783/337313708309338\ 56897242292524586213520619204054944*c_1010_8^21 - 6381069014932014019515979054892054902201317431482245/67462741661867\ 713794484585049172427041238408109888*c_1010_8^20 - 7590049800187889323064147268568952479756518265550775/33731370830933\ 856897242292524586213520619204054944*c_1010_8^19 - 21693125682571765441557169702050703717846093134551059/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^18 - 24657178170209438173746171738401418080867980383879209/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^17 - 4634564423645889143968023559232192000686530772463355/33731370830933\ 856897242292524586213520619204054944*c_1010_8^16 + 10156804205080133891777751623395101736106413688805005/3373137083093\ 3856897242292524586213520619204054944*c_1010_8^15 + 6331080595009530979601330814159453273239407396415981/33731370830933\ 856897242292524586213520619204054944*c_1010_8^14 + 4002586774999440774692016388940596164364186436906909/33731370830933\ 856897242292524586213520619204054944*c_1010_8^13 + 6828124663374759727661376497776301641765142704784283/33731370830933\ 856897242292524586213520619204054944*c_1010_8^12 - 15603507523764379260324399751742168891462662073578053/6746274166186\ 7713794484585049172427041238408109888*c_1010_8^11 + 3090706237240264912333667886583667423295828200091731/67462741661867\ 713794484585049172427041238408109888*c_1010_8^10 + 2165041745488299882216307259044838350078703096628473/84328427077334\ 64224310573131146553380154801013736*c_1010_8^9 - 2392186096902902731425027835681749560206607772001631/84328427077334\ 64224310573131146553380154801013736*c_1010_8^8 + 3903578401125431219079634465530813833330472460262803/67462741661867\ 713794484585049172427041238408109888*c_1010_8^7 + 668524943290869736519786221723977592585993722865885/168656854154669\ 28448621146262293106760309602027472*c_1010_8^6 - 5896666463728101235935715937092834015518964115143419/67462741661867\ 713794484585049172427041238408109888*c_1010_8^5 + 2439334501922495849368392475592866861120860750574903/67462741661867\ 713794484585049172427041238408109888*c_1010_8^4 + 551473988882464477115272751159717376250289070938629/674627416618677\ 13794484585049172427041238408109888*c_1010_8^3 - 75511973232799659744229784976535563994276152668075/1686568541546692\ 8448621146262293106760309602027472*c_1010_8^2 + 133947607479475577669975604668807101613268715142409/168656854154669\ 28448621146262293106760309602027472*c_1010_8 + 14879420066636167111696232499418487752972726000697/8432842707733464\ 224310573131146553380154801013736, c_1010_8^23 + 11/3*c_1010_8^22 + 43/3*c_1010_8^21 + 997/27*c_1010_8^20 + 4795/81*c_1010_8^19 + 5810/81*c_1010_8^18 + 3547/81*c_1010_8^17 - 2608/81*c_1010_8^16 - 1328/27*c_1010_8^15 - 2480/81*c_1010_8^14 - 2836/81*c_1010_8^13 + 487/27*c_1010_8^12 + 976/81*c_1010_8^11 - 3043/81*c_1010_8^10 + 1520/81*c_1010_8^9 + 1003/81*c_1010_8^8 - 743/81*c_1010_8^7 + 769/81*c_1010_8^6 + 10/9*c_1010_8^5 - 298/81*c_1010_8^4 + 7/81*c_1010_8^3 - 64/81*c_1010_8^2 - 20/27*c_1010_8 - 8/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.790 Total time: 4.990 seconds, Total memory usage: 84.38MB