Magma V2.19-8 Wed Aug 21 2013 00:10:19 on localhost [Seed = 3651122815] Type ? for help. Type -D to quit. Loading file "K13n259__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n259 geometric_solution 11.80854085 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 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.105984194897 0.954057849845 0 3 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.308083649751 0.535344245058 0 0 7 6 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 -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.362829974070 1.083443631735 8 9 0 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742868594198 1.346402929025 6 10 1 10 0321 0132 0132 1230 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 1 0 -1 1 0 -1 0 1 13 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443860846150 1.043850932752 6 11 12 1 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.213031482081 0.997623216018 4 8 2 5 0321 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.504105601373 0.872367112814 8 12 11 2 1023 2103 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 0 1 0 0 0 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.111285064045 0.701929581458 3 7 12 6 0132 1023 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.358985728633 0.851358272624 10 3 11 11 2310 0132 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374679816626 0.584498726143 4 4 9 12 3012 0132 3201 3012 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 -1 0 1 1 0 0 -1 0 0 0 0 14 -13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397550204153 0.746185821567 7 5 9 9 2310 0132 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374679816626 0.584498726143 8 7 10 5 2103 2103 1230 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 -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.541937127753 1.108083511767 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : negation(d['c_0101_12']), 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_1001_2']), 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : negation(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' : negation(d['c_0011_12']), '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_1100_9' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_1001_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_12']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_2'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_12']), 'c_0110_10' : d['c_0110_10'], '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_0011_12'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0110_10, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 4430036972395061348232696906528495544674627472890888587350423899806\ 786843/404183744389266808792984692152781234459166730581563852625522\ 35855295146*c_1001_2^29 - 11357189579097863741394445592093129690813\ 77425819330398976996168201575819/4145474301428377526081894278490063\ 943170940826477577975646383164645656*c_1001_2^28 - 2491182085093230165961093249002454141273644699346725608459398405586\ 2649351/80836748877853361758596938430556246891833346116312770525104\ 471710590292*c_1001_2^27 + 1120090082136485734325439317500082837845\ 1994657265148759603303845100181047/47551028751678448093292316723856\ 61581872549771547810030888498335917076*c_1001_2^26 + 2955960431485101100156565247830512176979508096642213343520715831098\ 68057487/1616734977557067235171938768611124937836666922326255410502\ 08943421180584*c_1001_2^25 - 14413801801168945655372403376373973876\ 13600971944639981952810778589077832561/1616734977557067235171938768\ 61112493783666692232625541050208943421180584*c_1001_2^24 - 2264235717920118526680706311914910852798392165145724779122208048046\ 87188041/1796372197285630261302154187345694375374074358140283789446\ 7660380131176*c_1001_2^23 + 149288665703067509394666607630763739518\ 4731905126528983652787813444895211736/20209187219463340439649234607\ 639061722958336529078192631276117927647573*c_1001_2^22 - 3462995878488602201255085505106399665953582903406319827828838167280\ 11526635/8083674887785336175859693843055624689183334611631277052510\ 4471710590292*c_1001_2^21 - 516464539698997662457868331053017363567\ 556326115947956072509915896122142213/310910572607128314456142070886\ 7547957378205619858183481734787373484242*c_1001_2^20 + 8046816585583382645500514042293396031926261186799236292572517243914\ 60981207/1616734977557067235171938768611124937836666922326255410502\ 08943421180584*c_1001_2^19 + 37092873320719756431561207384968994007\ 008917202363165181592070427233005723453/808367488778533617585969384\ 30556246891833346116312770525104471710590292*c_1001_2^18 - 8507950081322243356127345167225358454306460099956948700402962091988\ 238189351/898186098642815130651077093672847187687037179070141894723\ 3830190065588*c_1001_2^17 - 242546585505309795949591680725267305336\ 59404560341039881550095209523041456865/8083674887785336175859693843\ 0556246891833346116312770525104471710590292*c_1001_2^16 + 3167748855061214586316771942087046744921095599689174324485528250266\ 498826151/179637219728563026130215418734569437537407435814028378944\ 67660380131176*c_1001_2^15 + 28978585016609672442604264669202023104\ 138399653394484465609564259027288627915/161673497755706723517193876\ 861112493783666692232625541050208943421180584*c_1001_2^14 - 7154455186329818773053521564963557016732023677131743960761875443063\ 4063978353/26945582959284453919532312810185415630611115372104256841\ 701490570196764*c_1001_2^13 + 1871037837071175679250909704434565065\ 91132705931849851146625104590552166327677/8083674887785336175859693\ 8430556246891833346116312770525104471710590292*c_1001_2^12 - 1779736382753673852375561706286670422175283178357711803595178898857\ 71685801719/1616734977557067235171938768611124937836666922326255410\ 50208943421180584*c_1001_2^11 + 33633548105163639603384551070217721\ 0751393111467761068888327220121246933627011/16167349775570672351719\ 3876861112493783666692232625541050208943421180584*c_1001_2^10 - 1039946525561582791021470329919891084107514371860241119445980676166\ 38269256063/1616734977557067235171938768611124937836666922326255410\ 50208943421180584*c_1001_2^9 + 129656894099281238502415201091474262\ 168200953006700438212273939539998557899043/808367488778533617585969\ 38430556246891833346116312770525104471710590292*c_1001_2^8 + 1041500557135246218067639795004551854297397829571121086734340888632\ 8558131815/16167349775570672351719387686111249378366669223262554105\ 0208943421180584*c_1001_2^7 + 1162727378460118170910957922358826668\ 748026194377733453697977595929947552034/224546524660703782662769273\ 4182117969217592947675354736808457547516397*c_1001_2^6 - 1777201941933901389088505431506812257105170878166777668277492843533\ 1656251273/16167349775570672351719387686111249378366669223262554105\ 0208943421180584*c_1001_2^5 - 1316121617106540872857117606336424321\ 0002049447912582470922802902891635951/31091057260712831445614207088\ 67547957378205619858183481734787373484242*c_1001_2^4 - 2249991390988426207324618177774973077866299741525767295368266029620\ 42108091/1796372197285630261302154187345694375374074358140283789446\ 7660380131176*c_1001_2^3 - 9230392416724226381763879583992111029139\ 77387059813790465495430546869822081/8083674887785336175859693843055\ 6246891833346116312770525104471710590292*c_1001_2^2 + 4286714981210834364804504589672525085070483328357163456245099166704\ 5640721/13472791479642226959766156405092707815305557686052128420850\ 745285098382*c_1001_2 - 1061666430604232742301712413206290158251517\ 2351969563512562020921161091087/95102057503356896186584633447713231\ 63745099543095620061776996671834152, c_0011_0 - 1, c_0011_10 + 34933404456399623711294193818252618418845723276873406082059\ 267852/268628453954664173540817410477583200049957285282372860008189\ 681483*c_1001_2^29 - 3413363964401351073500387090587699972745119234\ 1425655353330019041/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^28 - 140939784173295579418736817302710\ 859937004973258354397972748035728/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^27 + 556354988071039065206313242568897746753707917899161553708216162591/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^26 + 13768664264830497192478436800677762664581302184291422\ 57929206423217/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^25 - 70987606903125674700403928986472831146\ 7200687407850356607376013376/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^24 - 4327258329493313316153802112728357548550812197161424582327613429354\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^23 + 1805247662929934078089455374877072488993464521400172\ 2403031275222191/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^22 + 251360220940969099401205922051115838\ 88854303690725197391340345451446/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^21 - 1291286980551908926696965240318542175098185248849898905523062968055\ 3/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^20 + 231401936651968263999251576150366695018654670350319\ 9418477360151910/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^19 + 172148144371610822273894581173293769\ 838136382436799754470144172962433/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^18 - 3228877281060361245243243567049231461804164927903306326173188263583\ 9/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 - 840910316081163013345403068119435211290033060438701\ 60830946256111066/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^16 + 71543261260426963385808136960010933\ 816716292514093129230099830753279/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^15 + 1908369168849376482361012115133412010465441135760463015480489430350\ 81/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^14 - 52069995526999812887672791972991975581521135419591\ 9082185968019090372/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^13 + 710398604770386311997051671103772\ 20249569357267522314919010920243402/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^12 - 1803135462663701796274296654594207445017701663257177873502732826105\ 17/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^11 + 93317234651242057773273798502590232125609769240590\ 098830215913654721/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^10 - 1085435322249905191560440005203892\ 44635600068004783879886280213669078/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^9 + 6904065486305651361629783610323693348577266664059130927657545184859\ 5/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^8 + 4282844023586143134714416390725781106957712007883817\ 792908053230437/158016737620390690318127888516225411794092520754336\ 97647540569499*c_1001_2^7 + 511878562902050376719341602471186939739\ 30330931071731839743197494792/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^6 + 2801757019740069122782383545560440210320559191510226067654878293186\ 6/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^5 - 1178398590116155174911742625996714336396088034309965\ 8790079527251056/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^4 + 3290501009540348618198174040339856511\ 939922672387384524908797372238/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^3 - 144424466959001539620020622834138157523721959110027453066897296392/\ 15801673762039069031812788851622541179409252075433697647540569499*c\ _1001_2^2 + 5564122574800405830386214394057976845334837084737090298\ 06793587832/2686284539546641735408174104775832000499572852823728600\ 08189681483*c_1001_2 + 52935292291359267404077961722784138359512959\ 302741496312346443614/268628453954664173540817410477583200049957285\ 282372860008189681483, c_0011_11 + 18943338043009848465030836906879682242668713057308188538343\ 93419/2686284539546641735408174104775832000499572852823728600081896\ 81483*c_1001_2^29 + 11800677425282543365820939118174076303073317830\ 61748277754702658/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^28 - 10589757305573273533057277363230978\ 943458027029882976586707412317/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^27 + 17324943260287031220484898046324549660233672099172574428490923335/2\ 68628453954664173540817410477583200049957285282372860008189681483*c\ _1001_2^26 + 123212343726707244419970127215603611850455131158731063\ 644654759246/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2^25 + 8389857680635985342997481435634077657358\ 8588001832933808679356175/26862845395466417354081741047758320004995\ 7285282372860008189681483*c_1001_2^24 - 304305236537394091228044497499473691384750554974602135053001677223/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^23 + 57542173356330732219225536064305590448874459481243414\ 9694668962089/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^22 + 293040052050417282125673665377089857004\ 0341961186878977059686699678/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^21 + 1567904118555792238490542162785295755954549624975660024583196490853\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^20 - 1266265656320495887995182314030060803274079853634237\ 435297544080230/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^19 + 8965811794389349277217357475888190942\ 741130109775146835191251156532/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^18 + 1324445020902817463341853070610665908444612615502576344683337061856\ 7/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 - 724802979372484679944522403496877393093441988776070\ 8765062907465396/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^16 - 645041263999678754668298790853464137\ 9287131549066710262714614940860/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^15 + 1585551158758407984485965007803691184362912413264392679022433503922\ 8/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 - 988016402029252656720455249138602401931782492290506\ 6912870024536961/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^13 - 421333917060163223146547843739940703\ 75348365233119004411549819791995/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^12 - 7573046224755839992439584714977717735097700170680946589704496179274\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^11 - 2862358475539862795044521362103036342324273339170777\ 228063136663988/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^10 + 4604008573252218105345758096821625085\ 282265187045359336654358233353/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^9 - 3458183703096758960248180575314250565476235244975378547257816268421\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^8 + 61255402484524143114859376184722123213561616063721465\ 6319153764529/15801673762039069031812788851622541179409252075433697\ 647540569499*c_1001_2^7 + 97076352654104867951785972971350541549033\ 40979724331379658617796253/2686284539546641735408174104775832000499\ 57285282372860008189681483*c_1001_2^6 + 5902495935039309287025828605358581359113962925322104862124638559582\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^5 + 20139639000474565175963952231626557901043208324378276\ 7823662025166/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^4 - 2527067611019786139504048941920235387319\ 940913856360458204183668326/268628453954664173540817410477583200049\ 957285282372860008189681483*c_1001_2^3 - 47428907630434053000543149781644044984997425220725782852412592936/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 - 13191611629841750880263335895598545212397114452508880263\ 4713812639/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 + 174183660606362461088469761430389287760539476\ 215847689606980389511/268628453954664173540817410477583200049957285\ 282372860008189681483, c_0011_12 + 65838965880791016651471467667943114923893303982024981528404\ 26019/2686284539546641735408174104775832000499572852823728600081896\ 81483*c_1001_2^29 - 18317576893656733463873125642251443666485436997\ 68321197193856291/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^28 - 32523665581890613188437392453303851\ 751854618223270325234436925824/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^27 + 87153068524514184276423936889920185412404337960342383852474408873/2\ 68628453954664173540817410477583200049957285282372860008189681483*c\ _1001_2^26 + 339431370169352600397296228043282118556595235552889336\ 973544855247/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2^25 + 2625576382677274758714907000759458415706\ 2341705673548460273714389/26862845395466417354081741047758320004995\ 7285282372860008189681483*c_1001_2^24 - 976588689245139618869797604345046019269258768893209236100665150330/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^23 + 28431727426661957251433144809687444403008979317042332\ 49068047410738/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^22 + 73140793895177767584238419052522389147\ 16697778850844343014689165405/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^21 + 181469565575335744604411863890668142657994638284305358473496534427/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^20 - 26358651637579408841056327510647308128885711666249404\ 39219305121247/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^19 + 32992775920205448376395565999883221844\ 536961108598488451015612253200/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^18 + 1678799794037462801375276930001856206558350728171579164602452440804\ 9/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 - 275508275148743800972942854488107682143318791870534\ 47996871461100272/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^16 + 98302470710732593777592212823711136\ 6442928594116721296339393617392/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^15 + 5039920539723886587037305915343900676219341761732804967858754662431\ 0/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 - 754011655136647523045893452862552945989369753819212\ 97468254556686526/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^13 - 65120921217873195351207275333743780\ 906513419943105613893754060571388/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^12 - 4894237737069525001270015537621629406590641187600215335162849933422\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^11 + 8486288929746361123590162740642444870469550149159847\ 7729802537983/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^10 - 556424077575312720417011788479352366974\ 0919592454228607452692875630/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^9 - 464052887257912061512232194974052268085428421816602890026323555161/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^8 + 154456743349849855427949651714203820515456843528700011\ 2433558473325/15801673762039069031812788851622541179409252075433697\ 647540569499*c_1001_2^7 + 17835150845846371546275117607154713636897\ 550852467595131325989158446/268628453954664173540817410477583200049\ 957285282372860008189681483*c_1001_2^6 + 7862245933244927345471515041423599580423046041379978089257628040057\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^5 - 11749090937077462802435198265543924487260761527350766\ 71492168636897/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^4 - 237497957855452336250552782443383786844\ 8310844038218091419973993806/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^3 - 12043327141321030629017966720490488904007168135568373730598936432/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 - 57115401838620436534308029074207072634120829296934234248\ 7944232968/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 + 163914705708341058008417097038715335124850380\ 99162776319994146306/2686284539546641735408174104775832000499572852\ 82372860008189681483, c_0011_3 - 117650377306023291411926548251028101543576401697777200550168\ 89196/2686284539546641735408174104775832000499572852823728600081896\ 81483*c_1001_2^29 + 14530188030965925560015630756837339244428615049\ 910734702978244597/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^28 + 4182981422006097291186916800291057\ 0445450229330842326472949371539/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^27 - 198416886936518864061597415051300673163806262902790651976260628800/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^26 - 40360390569826288180713509831594471192525511350962382\ 7308961300447/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^25 + 322109950619348262369852891969188810904\ 716933061224343787873152113/268628453954664173540817410477583200049\ 957285282372860008189681483*c_1001_2^24 + 1269393655789242419543002788364498704649407213719791099306567938680\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^23 - 6462681759726251679762044735588900209447318422498716\ 479979711247637/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^22 - 6553620359856717373651158256381725669\ 800590036571629220390512646939/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^21 + 5328651073354990190750084518209623976240594906949388981410583560142\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^20 - 4510024083827753536308206059995755926458743512132774\ 544644524558747/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^19 - 5798855211038088164839988160436722461\ 7127620118359104358328008275511/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^18 + 2586889463678454672177101754544191030501660936151880085188572869630\ 2/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 + 122606049850688987678058776793184865154409936217695\ 99252786536160968/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^16 - 36001513981868271197985157662411809\ 231943628138669348626837539979440/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^15 - 5216155589244700534472364498589836487837450961161686811618864639566\ 9/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 + 189793205580559715663243867322009326944305237358236\ 598100056045141820/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^13 - 8636207295316251158514527791421428\ 4223380220455272314311937526633338/26862845395466417354081741047758\ 3200049957285282372860008189681483*c_1001_2^12 + 9839791115200044977697762693999719488409800796412557208513685685328\ 1/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^11 - 332715591248520812826398203095780014561542361718982\ 04582723664393906/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^10 + 60481075197797981448761241389397552\ 945361911625189638501352242431803/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^9 - 3312322129854438168912593532042161853265256863273204886665701289051\ 3/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^8 - 6144404982524614701152668411177197291689123012495899\ 07721805751338/1580167376203906903181278885162254117940925207543369\ 7647540569499*c_1001_2^7 - 1218616852556972883077633150146788006300\ 3924517209044111839890709848/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^6 - 1233054053263985775873543910208566974755811171296917918534001596714\ 2/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^5 - 1688504983194773181719325462543427295376746967691039\ 577417685583947/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^4 - 68043635908288793275186169590334590477\ 98254217169568057801317326421/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^3 + 17653074708970403933965281043484658879370845585854705299115780716/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 - 76224054024025164518550668270652705811492147811125393762\ 4549301061/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 + 159335696594978626401101492427221293769237710\ 16022849071255131113/2686284539546641735408174104775832000499572852\ 82372860008189681483, c_0101_0 - 595113888919020887410534552289412938705720857896517643191500\ 24120/2686284539546641735408174104775832000499572852823728600081896\ 81483*c_1001_2^29 + 62205487508589186563846861832004880786233488030\ 830333901713666350/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^28 + 2380194569624395247272358727978821\ 96850973594790808031909843834818/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^27 - 965351462807361607564306419549435828820435054195124149297839921278/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^26 - 22891555708404300351732297347264617631689306630661668\ 13289465040356/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^25 + 13966769350097864589152314673419474584\ 61028434147909285462673877282/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^24 + 7373349829154157168914933534432834439621166906023004310829808839377\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^23 - 3126867635500664207310192060422238927965794824649944\ 3170249348988500/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^22 - 409665802762407917290445926615642622\ 82985924915429138762218745718697/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^21 + 2581210739399143257372684323947196957674783910890092950388737867651\ 3/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^20 - 376810477613696383015710164853374418930174620590967\ 9359437396006969/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^19 - 293219835798264288604936948558647175\ 955336811169739170316695831868205/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^18 + 7499406885936781948767882446352473901798342006899478596111824146354\ 5/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 + 148832007929061656463038855577936177940628643999893\ 148969099927634373/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^16 - 1303554876241477127779255917612244\ 93342708231859775955731855427466409/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^15 - 3216486985152597146302604799900584223794436389514622717243450582917\ 55/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^14 + 91201634612880824117825116135412022819426374155273\ 5450963198114112800/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^13 - 170796716006682901150465211440917\ 052352558606722768570499229125376791/268628453954664173540817410477\ 583200049957285282372860008189681483*c_1001_2^12 + 2906716242889367018115203274399897105912884250995944590279469808813\ 64/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^11 - 18502903410309479182004649603069243214324878952381\ 8511299755622608277/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^10 + 186567432313361520836068310861404\ 512295188846260932255501471965838594/268628453954664173540817410477\ 583200049957285282372860008189681483*c_1001_2^9 - 1311116485428093808750461089342578432724028782285899008165919349133\ 48/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^8 - 698173052109417853898395712858465006561329346837659\ 3549213447745132/15801673762039069031812788851622541179409252075433\ 697647540569499*c_1001_2^7 - 78271464236260694140466614040372729180\ 391969565619396367022149918747/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^6 - 3613062293556076111473342880216618315221579379519609119753826559398\ 5/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^5 + 2717418770578335689623007951190930729644931575550625\ 5712468363498726/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^4 - 3969241274970741013777650712072196979\ 913652160624321168963074668384/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^3 + 284704409347092104823515057106328400757425760246575915375548744594/\ 15801673762039069031812788851622541179409252075433697647540569499*c\ _1001_2^2 - 1005437519023752017589393299259702378526814992810830641\ 893894827856/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2 - 7898082400705824139855539723320131376445818\ 5222347306322367369025/26862845395466417354081741047758320004995728\ 5282372860008189681483, c_0101_1 + 535158812776989647543542505944802486218999321720842902396091\ 2430/26862845395466417354081741047758320004995728528237286000818968\ 1483*c_1001_2^29 - 440429059790459712338110193847011636298763800082\ 7880141557232134/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^28 - 212213161123952270490314724671390440\ 77595504940517979145439141280/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^27 + 81318004201752484398136386903817422943901883534890006603005406603/2\ 68628453954664173540817410477583200049957285282372860008189681483*c\ _1001_2^26 + 219270733138692248236375603387264411425106870395886286\ 773307977100/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2^25 - 6039916214396419054198801712804162689654\ 5684547436106856520812850/26862845395466417354081741047758320004995\ 7285282372860008189681483*c_1001_2^24 - 626235089953542585332906591993093560125842166140150347770221792672/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^23 + 26701263700687100470322350452482656985639733874936247\ 15390238191972/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^22 + 41376444344745641699704642393206945802\ 02970032529708517283299028103/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^21 - 861258532543401109656038408110315844078508106144216241943548685955/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^20 + 11279206307371067512727375169123395982905300338919174\ 20362078716757/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^19 + 26669743474777449419771672530284186123\ 480491314354721672788720000305/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^18 - 714460998039343440502663818942925367853654921224663033386345578612/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^17 - 80651099398789599553424001281188484693699907097161202\ 09066417398228/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^16 + 10751390342717713826880259470192529199\ 813359602886770706294927468300/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^15 + 2999058735236246819960604009370807240018425424273061829938664008089\ 8/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 - 752424105242418815600228334617266783820308136039380\ 82226515076937620/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^13 + 52227506198774614902213289056578459\ 39111465285323550015644025774440/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^12 - 3925543255476394398505709333795439865433385106468083689699281374978\ 1/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^11 + 632440297649194583857104779978042620039870255814823\ 7124592659110270/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^10 - 271301094676981111676963770931865767\ 16746570588961882436781120903478/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^9 + 1109550893979481948668435388341745334463688101673812307816554239094\ 8/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^8 + 4139337956529747371979613194624023273413785034894949\ 80005689402768/1580167376203906903181278885162254117940925207543369\ 7647540569499*c_1001_2^7 + 1248975897603850659030584533360865786144\ 1405431666414603953495497318/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^6 + 7614340997521087403133749727612081063286971770255190515710023773467\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^5 + 25757502243253556810420144473016450091955387728290578\ 19379679302801/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^4 + 271621697616867797542205495836250026031\ 2490526987658450988630182534/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^3 + 23944409130751822769876150117189881839672541164237064817199496358/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 + 10512095060790745627604615374672858107347863187331202822\ 1786122407/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 - 206514848460401967115380072651918061788531330\ 345162462780132074174/268628453954664173540817410477583200049957285\ 282372860008189681483, c_0101_10 + 16559863136750159887343803174157982266942176064119125541909\ 078859/268628453954664173540817410477583200049957285282372860008189\ 681483*c_1001_2^29 - 1392169139271058178344159730368576972776702742\ 9969280403187892157/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^28 - 661750736663911183791368374578445\ 49331838712298822521080607263933/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^27 + 252176152223189657209127039352485217984501166404372641692696880558/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^26 + 67714130065946306094824234028759999302804368100791813\ 4277425549699/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^25 - 203472306800937478225131129116606702339\ 585264211223185712091948264/268628453954664173540817410477583200049\ 957285282372860008189681483*c_1001_2^24 - 1981183754469591869642248404356435375964589826330504139570044497700\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^23 + 8236073494227718704276581797884603426671653843085844\ 753914368297712/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^22 + 1273962123232161283488644857705028061\ 4444699392410117662804687546110/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^21 - 3059588113143533702240593856621121154615958005042428086506242494067\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^20 + 2441241617051574654076608484397512008974532037518712\ 496784965983784/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^19 + 8104149676917006690482665642312098755\ 4919333984835405426446785823631/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^18 - 3750143934234896331477688722056926293479909769769399878993509970678\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^17 - 2775642617636459618172535163089426474945818660548250\ 7784172804335748/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^16 + 274022033179571595853401372727580096\ 28085078241605237399961655338747/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^15 + 8926109701707780405923184228307573050839808217815705892720053688654\ 5/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 - 228096461741078715101155809870960221071583360533652\ 863612242557869087/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^13 + 1549436665874972860513538195209021\ 3666964039218263534605559578956197/26862845395466417354081741047758\ 3200049957285282372860008189681483*c_1001_2^12 - 1218004118360968919208187070255921014532942477666872521501222920518\ 60/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^11 + 35610546042159691069834507725043514169626596690403\ 172947865547436377/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^10 - 6146050607653395766460227243069833\ 4096499427552611121419054915509456/26862845395466417354081741047758\ 3200049957285282372860008189681483*c_1001_2^9 + 2772796301385000271777008660738358454737686230208206488028695999150\ 8/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^8 + 1757743253169656841163360008257160728675513960133176\ 016485632302154/158016737620390690318127888516225411794092520754336\ 97647540569499*c_1001_2^7 + 333975274729854171342915125848779861834\ 62576731102589102575075871706/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^6 + 2268218159194087180792427691288818487752339522444446534882093526560\ 9/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^5 + 1461286351434886418977013805033149570789321719504214\ 890589711144166/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^4 + 42441226398253993518595863965908734285\ 01483986044729037701213209797/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^3 - 47934484936748378460015838373307573509583861597933766383365509974/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 + 61423169473114112746502661679254457435982403758100433797\ 2688576184/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 + 334421727992059850146984784830095881503023421\ 44736290690940320311/2686284539546641735408174104775832000499572852\ 82372860008189681483, c_0101_12 + 74511610428816734968642459572808039944485691014591346866084\ 684847/268628453954664173540817410477583200049957285282372860008189\ 681483*c_1001_2^29 - 4883809555176124730630341775072611772677421834\ 6008122228766874693/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^28 - 315793303635805626730257165639279\ 675969024029848173135857562938981/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^27 + 1085235078025255828547590336190983462456657059975270309565008174433\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^26 + 3283249106468451348580219592622510484504236522103401\ 628730691495748/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^25 - 4529659383295319916657786715530502547\ 88683388723470776096551220411/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^24 - 9343795969158109096635483477040109949201905387321941242431736195163\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^23 + 3551954734432173933788601358015061864840687496487256\ 2472364839931789/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^22 + 649545664493508159158044504612525936\ 10534221237758256422630623717614/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^21 - 6477844072359556981012556078093149508490209041838409575122969251034\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^20 + 3580434306654194624450799360466575996912306243634288\ 541954050797111/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^19 + 3687679238523369947293227886376107973\ 73077577557848380020151025989491/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^18 + 4928013192650451790940345362557229785630681508039582929599508876782\ 7/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 - 161205947944795409918464028221660477104408460898635\ 477458153126136913/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^16 + 1039645370913476828038818810915689\ 87507486244845458890169556010853655/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^15 + 4391984506284425011093702149343965669509889532405536487660532485771\ 94/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^14 - 97324688406130650245790335972656546076908849478402\ 9748598181622717574/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^13 - 155458211064780169569625240575909\ 994222816054244194241079114692427096/268628453954664173540817410477\ 583200049957285282372860008189681483*c_1001_2^12 - 4372611511589744140455075957793445834845974469253328909808001415696\ 60/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^11 + 48082681032317440391890063088659021592251542563509\ 540765129564720732/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^10 - 2223253753515889494654857069686178\ 49693368316554847004090481596217293/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^9 + 8594655947359644935579687495546108254548797828859127521680134762156\ 2/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^8 + 1037236079058845626347454053533730595185643150806727\ 6732420278714525/15801673762039069031812788851622541179409252075433\ 697647540569499*c_1001_2^7 + 16902512628570932110477991955235940486\ 7405622689547365507301071923730/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^6 + 1145985493104740367681216971761409391011746294865390471106452419594\ 25/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^5 + 157907648581884560355649867082925165860541211198350\ 25347205223522453/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^4 + 125396801532066291689336704031968577\ 64951383718223909455277024000670/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^3 - 138869286809360574015940436869878864996548523045248892989070731492/\ 15801673762039069031812788851622541179409252075433697647540569499*c\ _1001_2^2 - 1830947758691078405722875190152460182059866241523728721\ 80120156452/2686284539546641735408174104775832000499572852823728600\ 08189681483*c_1001_2 + 98177491658364748733487050583473273099641255\ 788655126618561644135/268628453954664173540817410477583200049957285\ 282372860008189681483, c_0101_2 + 455182331538378349914510214707240617079546228176067829523166\ 3619/26862845395466417354081741047758320004995728528237286000818968\ 1483*c_1001_2^29 - 319812425020751254982105990876973010136555784996\ 7106497046267814/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^28 - 186418328810403128746376139439948961\ 29771850409705035540707018239/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^27 + 66854351518288089890766265747893274820754872903810585874110429614/2\ 68628453954664173540817410477583200049957285282372860008189681483*c\ _1001_2^26 + 195545308585556897303236823068687736096547368989395115\ 657439365584/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2^25 - 2994958078780459087737174404475614386375\ 7450441440472622197329292/26862845395466417354081741047758320004995\ 7285282372860008189681483*c_1001_2^24 - 548274806381478660065773749090709490679556999444574994212736999675/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^23 + 21970878221899344470853436758230304134147503302410520\ 17983735844038/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^22 + 38107539510181960503596171853883739504\ 42293399093676667413466192748/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^21 - 345672138094714229033724470335520702338551224220669767774108141853/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^20 + 64252575787403539467782476651193667036203177964808043\ 7457147979052/26862845395466417354081741047758320004995728528237286\ 0008189681483*c_1001_2^19 + 225928422462690535887468524359755249675\ 03742662162569203096904802212/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^18 + 2121471844491433141567348171745005318914498780637955250690053508702\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^17 - 7610624615666298872173203628711135724845247550173159\ 504042097108535/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^16 + 7087654535169249435893338435048857641\ 444631344328178945919541584235/268628453954664173540817410477583200\ 049957285282372860008189681483*c_1001_2^15 + 2661960896745344215949846416220204669587206783899486244230152285556\ 6/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 - 604858296563630369247894605544754677949150745034593\ 11807988435336510/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^13 - 42568895253715145058103606494878854\ 28707182952211877877910693854959/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^12 - 3241859662950828057805043816361437377311293167047488048994480647281\ 8/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^11 + 465304414154165218548186682358265972454051362439652\ 0821975882706288/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^10 - 204351434692802405779084009984518334\ 70461709165291647327452080048937/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^9 + 7839568811522037005726015133220137798277611926968172108108639766851\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^8 + 44619942563666915157987548403378079230491881184112924\ 8699017531828/15801673762039069031812788851622541179409252075433697\ 647540569499*c_1001_2^7 + 11790111063542321104714069443877803361773\ 169119079157483575060025716/268628453954664173540817410477583200049\ 957285282372860008189681483*c_1001_2^6 + 7171635338942770853298208151190807980651848966449157177068807276323\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^5 + 20449881668405773360360817186037453523444282393146723\ 74953564090871/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^4 + 153835885100614328298780938944457662265\ 5808611063290920591720364590/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^3 + 7653525493761023161154509596026544358336192796076960043651293710/15\ 801673762039069031812788851622541179409252075433697647540569499*c_1\ 001_2^2 + 521856583165481888719681920239444427139656725705705319094\ 39678793/2686284539546641735408174104775832000499572852823728600081\ 89681483*c_1001_2 - 24144825291680159082667426647017068020737705362\ 2035868862191342026/26862845395466417354081741047758320004995728528\ 2372860008189681483, c_0110_10 - 87345541639375460929600726901908171688406582296987640338816\ 928660/268628453954664173540817410477583200049957285282372860008189\ 681483*c_1001_2^29 + 6401620250873866350682296095240280878187095609\ 0760131170166697923/26862845395466417354081741047758320004995728528\ 2372860008189681483*c_1001_2^28 + 363034481157018925676046184647993\ 587779926434130086342118047279204/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^27 - 1297727410441594886069945348479561138621853537500757025756351257391\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^26 - 3739858870147680766286913366568908335275845968993509\ 147861970272548/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^25 + 7837692005394593393467561720033226433\ 73037603059276840190468949596/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^24 + 1081335744363472250487485013275795591672366643956831255071443303468\ 4/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^23 - 424138790162111841093864086393552390506784853335048\ 79678833772242007/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^22 - 72603629082211613426840117824685863\ 368165487561312441936763728132740/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^21 + 1201972867270021065559889161087026152331316507152018623602976847192\ 7/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^20 - 647277578810770441761293422570098662842656131312140\ 9029905959743775/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^19 - 430663759673192984696989215713516708\ 836342152080573135826287706469194/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^18 - 2498775328176553559496743743339923769599205965355848911767517542788\ 2/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 + 179881178470953426494093347166350393701896026469827\ 454123267393671257/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^16 - 1315315953080357765474138121440813\ 79652271536097808867513895247864537/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^15 - 5001721248628354205029801091636199192567637745692358653203377503067\ 44/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^14 + 11720775893641249581245026629478849235714852251084\ 05160961528112807007/2686284539546641735408174104775832000499572852\ 82372860008189681483*c_1001_2^13 + 8125397939674465208295405972172568629924767804109685400217041451707\ 4/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^12 + 542235055345074579257065197810234599053544087068805\ 920652030223516112/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^11 - 1106597808971667552530069509642594\ 33160707932190780193083198286795781/2686284539546641735408174104775\ 83200049957285282372860008189681483*c_1001_2^10 + 2804217983743601612900723726013090701458050944512638604221694830657\ 66/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^9 - 123535776987141060075792860621182706807709304477229\ 146732810042444173/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^8 - 11211235367147244473500156448886289\ 568364593751742461430094899876509/158016737620390690318127888516225\ 41179409252075433697647540569499*c_1001_2^7 - 1875166881134748787383585056133927978909826208258700914468244392150\ 80/2686284539546641735408174104775832000499572852823728600081896814\ 83*c_1001_2^6 - 123536049333687405052051325477597527877001255047508\ 943694434303909712/268628453954664173540817410477583200049957285282\ 372860008189681483*c_1001_2^5 - 10599040497646256224480300536310015\ 764038972454437315138922580832282/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^4 - 1583487636507948350563276699720152628291421932745233816878763149717\ 1/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^3 + 2293150924255365500376104210445805023413019040695759\ 39797099152945/1580167376203906903181278885162254117940925207543369\ 7647540569499*c_1001_2^2 - 8945485429235663684085718565194167986607\ 96966548961312022450711066/2686284539546641735408174104775832000499\ 57285282372860008189681483*c_1001_2 - 115796316947824336857415060611156028102148497190770468004483205260/\ 268628453954664173540817410477583200049957285282372860008189681483, c_1001_1 - 450266997542572520396744360684428779040350812843623968972914\ 1872/26862845395466417354081741047758320004995728528237286000818968\ 1483*c_1001_2^29 - 178423852600869225051974811377332289481328938929\ 8266590731481882/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^28 + 248273790009349328719703360517584243\ 33956280974807695896492866223/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^27 - 46523778492574418484378124291205258461211528579275786912085938732/2\ 68628453954664173540817410477583200049957285282372860008189681483*c\ _1001_2^26 - 278870815447544149792669114448598032809758066274248883\ 689917647605/268628453954664173540817410477583200049957285282372860\ 008189681483*c_1001_2^25 - 1461549174890186554889652749554586717583\ 03355704956418046384803677/2686284539546641735408174104775832000499\ 57285282372860008189681483*c_1001_2^24 + 719530336578807525092744813561340402517747254373324844348480940783/\ 268628453954664173540817410477583200049957285282372860008189681483*\ c_1001_2^23 - 15337788938901681071443177749929480072758477407301105\ 90095540524518/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^22 - 65128891111256312129949307328915379828\ 86604314927369609942975942301/2686284539546641735408174104775832000\ 49957285282372860008189681483*c_1001_2^21 - 2578433622258155386197512012815252840920385530748557306824173813313\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^20 + 2815467267151568350659258675839214555095743414544324\ 450878843794969/268628453954664173540817410477583200049957285282372\ 860008189681483*c_1001_2^19 - 2201172206748303615720963189161894191\ 8208875947012155183423114725957/26862845395466417354081741047758320\ 0049957285282372860008189681483*c_1001_2^18 - 2627573112797621518286890850645792203441101948911337433311153092339\ 7/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^17 + 194863098222561718990600834563915752198560889946716\ 88056908385048108/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^16 + 92134307985323308833744019087223561\ 74094753263939729703918795833222/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^15 - 3748449602730070718584424690535450705148753395417113265051511910793\ 2/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^14 + 323099473093091373708743210168314594176915016333365\ 57289474050165943/2686284539546641735408174104775832000499572852823\ 72860008189681483*c_1001_2^13 + 86823388375334600232635974982905629\ 226863309201131458097950213919763/268628453954664173540817410477583\ 200049957285282372860008189681483*c_1001_2^12 + 6914097135803472636906222657265567075373278300497910577139860283240\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^11 + 1132425697955428844849656919603553042263393745516424\ 0856531816357828/26862845395466417354081741047758320004995728528237\ 2860008189681483*c_1001_2^10 - 100831879969680749888881948708342278\ 76909722619915886706177395239535/2686284539546641735408174104775832\ 00049957285282372860008189681483*c_1001_2^9 + 7781692487021052797713523956036065243984100755799027639701941641249\ /268628453954664173540817410477583200049957285282372860008189681483\ *c_1001_2^8 - 13095419772086947220956180105711992660835643219344353\ 92171629969321/1580167376203906903181278885162254117940925207543369\ 7647540569499*c_1001_2^7 - 1965242934595649415697209235057174719470\ 9806538236795579100674961917/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^6 - 1153865321084128529532045444217373723155948865983481581523565304516\ 5/26862845395466417354081741047758320004995728528237286000818968148\ 3*c_1001_2^5 - 1020819018101241572060666239120344722680758673437976\ 33993653780322/2686284539546641735408174104775832000499572852823728\ 60008189681483*c_1001_2^4 + 418135906659492165280456483843955388312\ 6388423894265635570020964965/26862845395466417354081741047758320004\ 9957285282372860008189681483*c_1001_2^3 + 37061742858978600627291585204680124485145452926038653561103158975/1\ 5801673762039069031812788851622541179409252075433697647540569499*c_\ 1001_2^2 + 76914382622146260412651869472451219630412219433778967413\ 5222688570/26862845395466417354081741047758320004995728528237286000\ 8189681483*c_1001_2 - 101332227719270956272790914918980631510377546\ 561853121371134095808/268628453954664173540817410477583200049957285\ 282372860008189681483, c_1001_2^30 - c_1001_2^29 - 4*c_1001_2^28 + 16*c_1001_2^27 + 39*c_1001_2^26 - 21*c_1001_2^25 - 123*c_1001_2^24 + 519*c_1001_2^23 + 706*c_1001_2^22 - 379*c_1001_2^21 + 81*c_1001_2^20 + 4914*c_1001_2^19 - 1041*c_1001_2^18 - 2326*c_1001_2^17 + 2061*c_1001_2^16 + 5358*c_1001_2^15 - 15002*c_1001_2^14 + 2456*c_1001_2^13 - 5433*c_1001_2^12 + 2867*c_1001_2^11 - 3155*c_1001_2^10 + 2168*c_1001_2^9 + 1991*c_1001_2^8 + 1481*c_1001_2^7 + 782*c_1001_2^6 - 350*c_1001_2^5 + 79*c_1001_2^4 - 104*c_1001_2^3 + 8*c_1001_2^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.540 Total time: 14.740 seconds, Total memory usage: 147.62MB