Magma V2.19-8 Tue Aug 20 2013 23:48:08 on localhost [Seed = 3187398647] Type ? for help. Type -D to quit. Loading file "K11a144__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a144 geometric_solution 11.82285809 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 9 1 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.333843808080 0.594233308885 0 3 0 2 0132 3120 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -9 10 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906940147929 1.000429871940 4 0 1 5 0132 0132 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 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.439496461709 0.690786501180 5 1 6 0 3012 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -10 0 10 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708287599575 0.872921363229 2 5 7 8 0132 2103 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 -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.835173932214 0.509355154201 8 4 2 3 0132 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.281885567026 1.337109682462 8 9 10 3 1302 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602678937390 0.594725926180 8 10 11 4 3120 1023 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602678937390 0.594725926180 5 6 4 7 0132 2031 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580614934158 0.639168323943 11 6 10 12 1230 0132 0321 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 -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.590688724441 0.946356058084 7 12 9 6 1023 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.865803087182 1.102119977879 12 9 12 7 3120 3012 2103 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833212983959 0.661302423512 11 10 9 11 2103 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263663022576 0.584414113878 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_12'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], '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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_10']), 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_1001_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], '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' : d['c_0101_7'], 'c_0110_10' : d['c_0011_5'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], '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_0011_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_4, c_0101_7, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 1135243007265480870077214055807883745475007618282957590937964321601\ 4500468125463/73810064964168761863758171164807149995228181509289079\ 0838142908888032142525*c_1001_12^35 - 1017232884714253570724650003978074780136742892400357708653261646756\ 270934363817/351476499829375056494086529356224523786800864329947995\ 63721090899430102025*c_1001_12^34 - 3185054562655477585084439666368314705334994288180459788763874035948\ 9825774412248/73810064964168761863758171164807149995228181509289079\ 0838142908888032142525*c_1001_12^33 - 1787528727951805432281052577803516111727499676615377007306521212265\ 9408656506072/24603354988056253954586057054935716665076060503096359\ 6946047636296010714175*c_1001_12^32 + 4720593231839190394282923568270484026518569638192728035981275400079\ 3497582349988/24603354988056253954586057054935716665076060503096359\ 6946047636296010714175*c_1001_12^31 + 6199747581436809297966331688913913816097625120529462997638133390189\ 7580764585009/24603354988056253954586057054935716665076060503096359\ 6946047636296010714175*c_1001_12^30 + 2437037865443838828518617929497455205149723639500559241256485244847\ 22955713264619/2460335498805625395458605705493571666507606050309635\ 96946047636296010714175*c_1001_12^29 + 9298729661308025512556301178903345828402470728542224443470998873349\ 966796655356/458447608473097899774895473073336335374088083908627820\ 3963620552099578525*c_1001_12^28 - 2477799609418735071047787631925428527753935296952535869844394476352\ 3931371177007/49206709976112507909172114109871433330152121006192719\ 389209527259202142835*c_1001_12^27 + 1241503952475192504480258157850104603333590133750436002463932966667\ 64555946540849/2108858998976250338964519176137347142720805185979687\ 9738232654539658061215*c_1001_12^26 - 4615876911133653852773562242981464444202513485284920733856579371215\ 37277614984744/3514764998293750564940865293562245237868008643299479\ 9563721090899430102025*c_1001_12^25 + 6306338795208885517617376438998382124103465164512619870718436174455\ 83676762937319/1476201299283375237275163423296142999904563630185781\ 58167628581777606428505*c_1001_12^24 - 1229462697860436980805120458398788143394656144756291489072609274343\ 3512664363457873/24603354988056253954586057054935716665076060503096\ 3596946047636296010714175*c_1001_12^23 - 6980657733507134388000469383411888589720906503930649366202341686780\ 594087291367093/738100649641687618637581711648071499952281815092890\ 790838142908888032142525*c_1001_12^22 - 6883430342619414926273991082203713482915320721319999103467792946060\ 0592662517547951/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^21 - 1745153566609601746973754052817939475942814668422221319904149985259\ 5364727227417814/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^20 - 6872127520015767690117111095937053102404640086360015594495668881355\ 4389959795807924/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^19 + 1911838851144578843649537126139710762419990972193039677665592383507\ 528709268373587/246033549880562539545860570549357166650760605030963\ 596946047636296010714175*c_1001_12^18 - 3129718247044762651422022616912873812445253541000249179396764202926\ 653488515650963/738100649641687618637581711648071499952281815092890\ 790838142908888032142525*c_1001_12^17 + 4080275242318076686118942858152360180826423554977022174866812930111\ 6341221792340588/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^16 + 1966830157521493580449789520598358633905939423257963998567573812885\ 09718282483344/6649555402177365933671907312144788287858394730566583\ 701244530710702992275*c_1001_12^15 - 3377837235060581679835545173446137177263748147046299737018051746870\ 891499093608417/147620129928337523727516342329614299990456363018578\ 158167628581777606428505*c_1001_12^14 - 1510102685250352188747396145562294992788386277780968160968040968329\ 205584729461443/210885899897625033896451917613734714272080518597968\ 79738232654539658061215*c_1001_12^13 - 9720705578405006288397684435404474996972346015786683684189874622650\ 3258976221773386/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^12 - 3303884167853955217240478155595975042109717714249518075686980911003\ 864229173391554/254517465393685385737097141947610862052510970721686\ 47959935962375449384225*c_1001_12^11 - 8466994856881647915077194597641949123136067163109067756165023288791\ 9140913814588731/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^10 - 5996895809780041022187561018652386045570577191325806408953116185658\ 8396521583568574/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^9 - 3220279347445378155876614816416732708009328070498983741462506902561\ 3340167804143477/73810064964168761863758171164807149995228181509289\ 0790838142908888032142525*c_1001_12^8 - 4781848410181859610606704957087325060378508866458627526100340231734\ 382866050182102/147620129928337523727516342329614299990456363018578\ 158167628581777606428505*c_1001_12^7 - 6439178239680077039603495564851778081068833312447846735546194461809\ 78239207199929/4920670997611250790917211410987143333015212100619271\ 9389209527259202142835*c_1001_12^6 - 5689754614484891631810977619161825865348260211540487088610007833744\ 6959558669324/42177179979525006779290383522746942854416103719593759\ 47646530907931612243*c_1001_12^5 - 3567318507472772322336510387600513621290732262235993425718689355239\ 925678086738994/738100649641687618637581711648071499952281815092890\ 790838142908888032142525*c_1001_12^4 - 9166337693452781655828826531448275104584029795303537586395738710232\ 23426688892393/2460335498805625395458605705493571666507606050309635\ 96946047636296010714175*c_1001_12^3 - 5184722502166186490272743434527232039352200166156443399312204744482\ 12281175873792/7381006496416876186375817116480714999522818150928907\ 90838142908888032142525*c_1001_12^2 - 8831486605341505036146210288260601685742331202513855918857911271691\ 081415629462/295240259856675047455032684659228599980912726037156316\ 33525716355521285701*c_1001_12 + 2618079775708725363068976252555497\ 0711357377218842841311749916346982677779130751/73810064964168761863\ 7581711648071499952281815092890790838142908888032142525, c_0011_0 - 1, c_0011_10 + 41998408619222517013811608463329652988406815607667782020188\ 41548/1780797290055199953367282949552273821877538361324384126316120\ 4761*c_1001_12^35 + 53322909111859462899901369873530109473648746885\ 69062563121010903/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 + 68388642366866050617718927618981212\ 73514708262871049274322307068/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^33 + 13125263217539202554934700535958153466050238770390082332962455359/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 - 638466411617602652721355062538092253585932866026112005\ 09335086073/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12^31 - 35917516960580323258656441624710229895558\ 365400912777263733995153/178079729005519995336728294955227382187753\ 83613243841263161204761*c_1001_12^30 - 224501079896934304033994260128183828245976120021974891166513369951/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 - 39672259912536116280761354493782125212844914939323754\ 5712439087836/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 + 476145780908249196448891680773423171904\ 710451444380006743335458558/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 - 1716546174689407229987327441423693618444706177510082847286037443780\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 + 4492906857283772863927348513397440265465783787221081\ 679953882209156/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 - 3253672522806931302175878520232002467\ 686086950513830736667948655027/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^24 + 1398295173531748865002717257457794699543537689959412499807259781149\ 0/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 - 503055333546764543967883203750558299626772403481825\ 3392351044909995/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^22 + 230914041126761858548698196148717693\ 59459026631018584895092159613626/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^21 - 6919330771548812750324904948372977943292045534633510629443320744465\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 + 2037817391988069316591893090836519826651602205752492\ 5121469044861287/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 - 140147842239086395420463843304903336\ 77574091572149489729248702884151/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^18 + 1410446072032020583150544014157250068271981014231642796837726066531\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 - 1235852256388372087653661212883107738506211530022486\ 6573014275967597/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^16 - 408825518063735231065179704492454310\ 077605630744162977331044711623/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^15 + 1156417106596058257815651644080152429466262863902911625470679184195\ 3/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 + 139879802695613305586044237018850579999424016691909\ 07363036181600691/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 + 23234936873801432978866928547673474\ 385274498299384265344640080309270/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 + 1466869409676513530140802770019747787342877603236486143158409528395\ 3/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 + 112363724687651635867166819283824341304726040177340\ 62504788527405576/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 + 64862887198486519848687529312948976\ 82063057635993114625952983938321/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^9 + 981629133801278663244077482881803472641044628651149294320536261963/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^8 + 369740376819487520623020498324278881039769122485201508\ 5940314647716/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^7 - 3132866175494912180246301423466805211912\ 95806120910507686638008362/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^6 + 1907992849471857014258643912342833514601533216258628857770434987221\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 - 22616166870082179808142951059093181306613757727428123\ 3126775001953/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^4 + 2424157910385172653138377400904308682427\ 74684862756946812469903710/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^3 - 119361316705652202938464814967652086039554617167137755071299907210/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^2 - 223545652985637182605287730905606687245061123089434583\ 2443699656/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 - 513477541050394626776660183842746931968380370\ 0891904560928082315/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0011_11 - 44619598571598853749259582771462040721271154841368797118803\ 0967/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 + 142871584146713000040336372613819833615722463329\ 4312959930567575/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^34 + 196693933773472622234096183652626231\ 2261813133724270386819031555/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^33 + 1754549304620991099844922132267016030838396724105623906772381427/17\ 807972900551999533672829495522738218775383613243841263161204761*c_1\ 001_12^32 + 1303565267686628101410875926685743663373298487121510530\ 7609530460/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12^31 - 260976177414543856394106679307440294663393\ 66655840497404544248175/1780797290055199953367282949552273821877538\ 3613243841263161204761*c_1001_12^30 + 3773492992208493982993015504710562274088086078920162725818525052/17\ 807972900551999533672829495522738218775383613243841263161204761*c_1\ 001_12^29 - 6072771942665281080533294989834382934739073940537308190\ 7899892929/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12^28 - 246654853473081165607417764385226345919573\ 261290493900644880572439/178079729005519995336728294955227382187753\ 83613243841263161204761*c_1001_12^27 + 404456128903205857721600139960571561484257972627657129118560030489/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^26 - 12533318792168563800791200667700655647646921579405332\ 84731505056191/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^25 + 23575781968340142271945623203509955201\ 20435597785848260890670533170/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^24 - 2735317292872244732019090299784359603857257711422058610774419593178\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^23 + 6715337491325249711109221642888774458250792904770396\ 984079358674497/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 - 4033614930314357496621840686783200543\ 753466022109403155333105887236/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^21 + 1067979686274755515662863173819714903160260220729934583733180074591\ 6/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^20 - 401834927697026923814240037853111709018604296596803\ 6473215374626292/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 + 979749870551333065277819205023074091\ 9954268415178068052388451429566/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^18 - 5305267924282185138204234898509864845744133278112210788078499926280\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 7968154894697141165044019466939843763507349318204125\ 48103610621024/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^16 - 47729805510443246204549821011366504603\ 75034034992486969923122878185/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^15 - 1713221047455065311387251135284698845384381719605086416854640630388\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^14 + 4133798013786522750998688942087207045561726704438199\ 964070615860129/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^13 + 4283618448035500354503902919116861896\ 189173108167368713855557356211/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^12 + 9038221958242972029762138921712995025101091707214252445299430897185\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^11 + 6173564833167968579554153489908480459798095698031701\ 755659669834360/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^10 + 4698813687756834385177020750008868508\ 486631915481162401982470125770/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^9 + 3375808615607328186471343362100412846296803161057901935578456584554\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 + 51788984694323493508731996507884019939442145408702383\ 5469636924556/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^7 + 1872834164750219410530410441329311132673\ 252878174120190880815226905/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^6 - 23079073464126272600234686302434758100964177102886986035336427774/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^5 + 8252849382422190549269476720712185519482824916881606808\ 15101097459/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12^4 + 286876117689502796513837412191913768391698\ 29448182484426391699966/1780797290055199953367282949552273821877538\ 3613243841263161204761*c_1001_12^3 + 127188054707727953844548742479404753345647324261730788062270618000/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^2 - 115090134773150904765328430629524517050440578461432769\ 38425432894/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12 + 28428772600755792014751408262986637805921943\ 07728470841314934671/1780797290055199953367282949552273821877538361\ 3243841263161204761, c_0011_3 + 114600959122518502108997458883856239089392363386197416479382\ 3006/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 - 806497166145078143873868034738742362528558176045\ 86614223306108/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^34 - 16064629041776317766381632323274473687\ 52486026178058530281034399/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^33 - 710720480735042639008913589496312577125677397100167644304028379/178\ 07972900551999533672829495522738218775383613243841263161204761*c_10\ 01_12^32 - 24331037063766956574071065428304103623469028578681188785\ 334799015/178079729005519995336728294955227382187753836132438412631\ 61204761*c_1001_12^31 + 9162214024420933773400228485690877294822592\ 884074328751441625796/178079729005519995336728294955227382187753836\ 13243841263161204761*c_1001_12^30 - 24500522436737053937147553032975403887488280703828957113633368799/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^29 - 150021290641620504362495834003795976956579980861746067\ 86264628148/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12^28 + 35196507643850271164144857094652509782931\ 8985807658100649826771947/17807972900551999533672829495522738218775\ 383613243841263161204761*c_1001_12^27 - 506755284688919653214474809381765581209919866984997756823173351653/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^26 + 16608159250769735170593387773479772392253858448586468\ 60190072624788/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^25 - 19041484871221122517845044775570306529\ 45439553221964333337147166812/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^24 + 3353757648373195949710276516344164777380448611006539421327611393009\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^23 - 5229769818072939435742317043375059162477137466692810\ 593243621664860/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 + 3173621153608629373630673488233172423\ 916757579610800850603425199668/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^21 - 8223227964107827822808658639224588796308169066422151572152549563681\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 + 9730238043434684007125577119875825201615821537968460\ 5378927735387/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^19 - 843045614561281198023790025891884290916\ 0948198032388120891692003252/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^18 - 1319298677212214966202530291476222751427545192177888211469425589613\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 1211010099606389016748135982022560299910729668698952\ 230581324593745/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^16 + 4032232919777281155272025417046596103\ 232711513102826618642319920348/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^15 + 6930559119617228587728298871701855861181919896612353473741339864523\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^14 - 5507268225476068775943530387428582343987820430803004\ 03473794735387/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^13 - 31895852134520254367185741688161419600\ 13575791688433896287385132560/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^12 - 8819919145414022703223867674172391029294997804638967749217051805490\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^11 - 9641987422825451607642181396985181670433376019292206\ 549130765117366/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^10 - 6683788472775853877147054815382902814\ 982991794744854022889954148236/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^9 - 5370695656945842635356117982395902409793215773403994947077895613673\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 - 14780538546715702668956549385205199126730948324861825\ 39820644534178/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^7 - 172573522114053432619587278543244676965\ 7246533765628219907653053164/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^6 - 729632037297914670241090410151351837557160494627843416211359139900/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^5 - 642180256090295892605469744245805562741324963574093644\ 229669300247/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^4 - 43584344555008955381477787289674505723311\ 9055677356702205559031656/17807972900551999533672829495522738218775\ 383613243841263161204761*c_1001_12^3 - 73930292605793749086546514425371107224097679808430009930609114119/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^2 - 3410281319075117164817443409866787477207990199136041759\ 0361713814/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 + 177778096221146380625270773372354682505803217\ 1752275047039267022/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0011_5 - 926130672692035704536832554299183372617829526712909402083883\ 7055/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 - 159322151293319371344775837833777969060452030030\ 65548688877273126/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 - 20937125748807517422989604515909480\ 500553715381243074240535157578/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^33 - 36236197756426670915382404402738237771414991994341515682253935240/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 + 126834734809774898514309796253969791081351450223583738\ 998729005902/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^31 + 1406695538476076271307204988868625147247\ 07000053174662498330872342/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^30 + 539303941057627574643333679460944648393906381594179323141780165217/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 + 10985803075863415431843605468184213092605916562843925\ 17693308212156/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^28 - 62409456803572610648037606889845708285\ 3812668804456680547295040210/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^27 + 3359882973705248877780032760267645301105603692604932955065239916961\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 - 8270447562497603165797546644330747132680938355374795\ 683715060406135/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 + 2996471255949199608100402849964203909\ 536116716818278212203676479397/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^24 - 2829897704235741587670897845495409267055556547533129250327935054848\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 - 208056294978879431624724671729263513901959910459091\ 1519086932182868/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^22 - 481203137314848890157222101447001336\ 68592225506106229456197262056430/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^21 - 6398185789745676517941554551010055789864566847240064928148360637393\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 - 4200524696941079032940514059390755332843439920223840\ 2425683464686481/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 + 123373832076797481426136327279620367\ 09942351529710802129914209788245/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^18 + 6823608804080247656764433872020082110348001408935518839910628105249\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 2815353144642130320884580690770374646399219793620020\ 2871659932760415/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^16 + 116893246546613123679034271393562866\ 88248146629328665840215269497934/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^15 - 2321384117851055232082554096794144623849850606531452406312756346938\ 3/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 - 421382550391913937548243469052908313916899079455844\ 00330033785126092/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 - 66002124219308319106816863782278486\ 733262863226340174053197531116846/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 - 5654010618602784258672109946743148644033523438701193322715207797020\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 - 427247814728894170502985161201850324856962695295055\ 36787291611613091/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 - 27830562914145887320893553517524989\ 634049190518225139916851187429510/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^9 - 1110927862697969416058495614032971021401916879555515401167984544839\ 8/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^8 - 1087676412190669531567499544155597326856263428392533\ 0871134848153574/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^7 - 3556560363185062174411790441018253396\ 473060009982841115980382656069/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^6 - 4758256189374150887448885590205648170811467573055386543374727662215\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 - 13226100984293430799996881517862771706900123351224895\ 61138961190460/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^4 - 778642318702793352131436892836067743988\ 530863717120072859126101272/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^3 - 7233987748205734269165809009953156389430908524612666964802915877/17\ 807972900551999533672829495522738218775383613243841263161204761*c_1\ 001_12^2 + 23628042273552349572123611910091874620146290173057690800\ 375802678/178079729005519995336728294955227382187753836132438412631\ 61204761*c_1001_12 + 1363783740659452747105838372638114274515687328\ 2936528835393207161/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0101_0 + 735705240486539618220180729911511103457914594818265010967130\ 1840/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 + 120253078437975648769837858827223526598613812753\ 31519344333560293/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 + 16515724674303384542026062100163681\ 686491366457815445227920146714/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^33 + 29127768949067036294250111275253320477452018188951264050416802099/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 - 100816641428207486225878021093920061787572559629805735\ 857538179018/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^31 - 9922923630603676219047801246869643323057\ 9681739905027202419953195/17807972900551999533672829495522738218775\ 383613243841263161204761*c_1001_12^30 - 431949532418214001608045994309814757364585677058854359766467993848/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 - 85212062723173546621196867969242018829716841224582373\ 5389120930180/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 + 511450809948198711597842286805194754386\ 811843142344732545879724447/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 - 2829841750972525208051427786725895864291583443641813019905208047249\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 + 6852994966780057742993126306962542571217751892528259\ 661356950723961/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 - 3284900509442754529832129446776586002\ 898244565551157299985241754603/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^24 + 2353931803828629813832490738162411591200509233076639336257526006463\ 9/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 - 540678182895953681631248039607644720042616179089509\ 516125680601902/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 + 4111627232750249424434206926964856529\ 7780624904439787977100277401539/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^21 + 2147643534585030164093649937644962552554442289711974518830210402611\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 + 3813074287857226714601706653419337632004497720910125\ 2188836977699207/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 - 119041514805115168403479585796545537\ 92085522370210306293604028845350/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^18 - 17979859173053185098550035533927279185272066979014416886462512453/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^17 - 232733651155648616041617769626241665362512941663567868\ 83752210248263/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^16 - 82704381000291081379182687661927816147\ 17180812424625110636497264706/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^15 + 1592260739365962956679006371266692604905746880313488302668991983719\ 4/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 + 305235451808610321250386008531361677082535802209033\ 28418559809229127/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 + 52221604182336167822778155162365862\ 251285122111513995468609719834301/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 + 4528426347947917222754675607151970765986469524317486803012563431294\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 + 375211928874937819329315964566351562126825074461571\ 87677000201542855/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 + 25397457493570391837799900890058792\ 363752329095364841456828967031505/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^9 + 1147430558602900342355718933048026827523415150201201681415311512537\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^8 + 1066936121661095526343370473050335919396978475598756\ 4174046098997855/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^7 + 3091952173499748326059323124512704104\ 092738404647159830550570017536/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^6 + 4597571473005790172800191344824260737073297998184699882307602085329\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 + 10911049706711475262924394389090161956149416046106501\ 77117845065501/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^4 + 102984330143475113896318924628386177669\ 6182677955831225105034300435/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^3 + 73396670695224278076329620620815657283144884622878213175255781855/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^2 + 5205956267043311489650410221627508057613655919436860822\ 0166013109/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 + 260868078930335153323446309140491407169150760\ 6321821371962586308/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0101_1 + 442066812460504027693314417001423665662882238717958914129221\ 0838/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 + 870348780792972546979407901879289638712534934598\ 3616679757168797/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^34 + 104425268342824548583856028639167837\ 35702425119388555346383885122/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^33 + 16455259882104896780324429435704863536485326084466026281345255790/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 - 602561034739260867185818748240516291782242351353609574\ 85508534122/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12^31 - 88453317740886658904899271128865728111841\ 645109386444224473127382/178079729005519995336728294955227382187753\ 83613243841263161204761*c_1001_12^30 - 256363911468233844304996155422628887712282008628884406280032844629/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 - 55251476158854076335116591263537436742225335230165991\ 8123545721490/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 + 254538275167273981897730716977813178210\ 175537406721322976243110389/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 - 1322549900032548428979277784481051699265848906766787121509888158893\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 + 3516537807526380011409109567196203230778482773219612\ 519359914029101/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 - 6675110162883567755944123296013631757\ 3728850566335326285904847042/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^24 + 1222876012718171816060108830451198136841414341649701728062385798527\ 5/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 + 385395291975519010241558340481622748943756941379230\ 7057369224387708/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^22 + 196293439600962449419656622542925870\ 48581692213632461705954246228334/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^21 + 5856082336579575911954660689237890130181506992575212058741100878607\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 + 1484514712793032979405637892420850591470899607278976\ 2448462610228122/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 - 567845636445505373429599654249037434\ 8797394781964937236483847625857/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^18 - 9324895541220133748301152557000908350842892419214509995996654803636\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 - 1506634003609473838751964779322671973607099643940705\ 0555385256336897/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^16 - 517955955154202879914026721159972058\ 4198591803296905879526943576944/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^15 + 1427341881405809040548235420500637677816630589926052090890481466687\ 7/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 + 254831509487374077560993595077633072319529745130602\ 25270325911651884/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 + 32536594295154333743147956917330575\ 544090706810983587091943094144184/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 + 2554759100927520096358540159823695851879341346582547260609872856141\ 3/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 + 153350533154885229593945239407664792081888346113377\ 27666233201935744/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 + 70427156357067032718154954019278278\ 65314967596595144538629711990648/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^9 + 878176327994828188146609631299441020605457662240575969594740652306/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^8 + 165315554548626725049226922480405967324866542742828415\ 7972606141276/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^7 + 5744724721773897339142228304168889315086\ 50688548444523900406584379/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^6 + 1143059481640409840538689380010701796702205407712606629273774358070\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 + 26305263433282338323841853681944357836484257822651213\ 371698703402/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^4 - 11743613817083907649696978224146284825875\ 0770571556990887005117606/17807972900551999533672829495522738218775\ 383613243841263161204761*c_1001_12^3 - 252005397336142816241854556558969428092148698774794307988944607134/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^2 - 921085563329657297601684977645384125065373907566764042\ 42140445307/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12 - 13193124095516059126343564768387485088243680\ 11781746811204381950/1780797290055199953367282949552273821877538361\ 3243841263161204761, c_0101_10 - 25437806569719558042694110036547723819194511853990888718382\ 41634/1780797290055199953367282949552273821877538361324384126316120\ 4761*c_1001_12^35 - 52345354170792393521246634506595889682618995663\ 05234616634039763/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 - 65188437722638279750230981777029046\ 68016889347328079775865739671/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^33 - 10535472793360194928969187923436391406110387280660578915140366846/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 + 329189128126524224592915920160703469548389512142083681\ 94362518857/1780797290055199953367282949552273821877538361324384126\ 3161204761*c_1001_12^31 + 52860110607056399593775311795056450724421\ 461243515906729472894978/178079729005519995336728294955227382187753\ 83613243841263161204761*c_1001_12^30 + 151384647461808859949963882095797489001838847506106066498702954286/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 + 33781976707866842146802325637776300856647310156469447\ 6928408710058/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 - 107055202634625688879949417638641335077\ 216501262331107864412157628/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 + 778461347610127916341805830820573123741550371832930246253022478298/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^26 - 19093160359347143876024277776685820459396475068777540\ 73591495198373/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^25 - 14866847246470159245966212334288322533\ 3977782520011831802029061835/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^24 - 6955057169654466672602623885601718729976582211350715242315779143981\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^23 - 3164293085625312382112812318854780858974412243917822\ 248108493425740/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 - 1164567886781151288231538645738369572\ 9426038728443780113348825204543/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^21 - 5514760668353507336744101551002470994391000898003580349621456720735\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 - 9480769303129721386599502506973670124335936409588608\ 198018600799548/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^19 + 6900144295242343225560332573834285485\ 42789543248848019151980994057/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^18 + 4744380553745540928764938641391460391009545129596080146484003149507\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 7932118568814114010502219828785981450526790601056276\ 951345107933435/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^16 + 4031592207378298869933895681745238994\ 220943005835275765148430768193/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^15 - 6915042151818278714040728086440501534711527875547169497726900789637\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^14 - 1439294427429278123875419176910036688917110793454896\ 6343599117644388/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^13 - 196432155347962737589032112305871982\ 88436666629092959044642461241848/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^12 - 1792613820813870176855345471574078783035838037834841792356754543046\ 7/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 - 125778831809110254094312559169316687351073087944458\ 22075404414935142/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 - 79456276651633980473147426405198436\ 93056969393447429517116924589248/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^9 - 3555107334461708993391527482600188132230740597297766601474746766723\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 - 27412108282634199519779014468604987500670660591033800\ 78460748361115/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^7 - 156347188734835016262050760195920446215\ 5109988581268314876878981852/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^6 - 1177959310354531453664104896445646638389883385931095552595668131730\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 - 49576968198361087250244589031850095207442606121646689\ 9977886164420/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^4 - 1585754626505890441714827614169390893228\ 92759351069038665991098176/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^3 + 9865447341424511070459490324194532548682299044961978719443338669/17\ 807972900551999533672829495522738218775383613243841263161204761*c_1\ 001_12^2 + 41449712420443301087887255275430828043642315304284659356\ 37705080/1780797290055199953367282949552273821877538361324384126316\ 1204761*c_1001_12 - 13784844128035508407220932123557692613229542837\ 5561602827252879/17807972900551999533672829495522738218775383613243\ 841263161204761, c_0101_3 - 176350115536305186744478563328216224708782862028800368584372\ 77/1780797290055199953367282949552273821877538361324384126316120476\ 1*c_1001_12^35 + 19262252282538931689790959238432390817777794377259\ 13301142603106/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^34 + 34533471606587561557555885032308178810\ 60177598118899931118155080/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^33 + 4211029384497538177029169970498271888313172494676555267074519291/17\ 807972900551999533672829495522738218775383613243841263161204761*c_1\ 001_12^32 + 7810780988560522073625259008431394139759838257943630133\ 360535240/178079729005519995336728294955227382187753836132438412631\ 61204761*c_1001_12^31 - 2648267385147410356643671924015521342584405\ 6842267961305617526410/17807972900551999533672829495522738218775383\ 613243841263161204761*c_1001_12^30 - 31462238450753685207544769910518714545674365124681983347128106804/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^29 - 108047004399952999199366335155089288846424115496508980\ 175755894004/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^28 - 2388984646299710238740490498048207135823\ 99924365092076942653201103/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^27 + 141239904852191942682996628927788178390138516420852472841255238970/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^26 - 68650736058914678038553524507107371920661169746756198\ 4434898616434/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^25 + 165673758230237909104762492481036912120\ 7636932813496800671740368990/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^24 - 414576840223310981398585331818841651458592575558185647397731688605/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^23 + 55189369342427543850906627959300405573378908037759234\ 56728891401826/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^22 + 10898716482949395977951352816425372382\ 80104270963642994253751794871/1780797290055199953367282949552273821\ 8775383613243841263161204761*c_1001_12^21 + 8962801375905695471875983319479836711069568488037300591304738428230\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 + 2559027131435467676603537487644141957357351812557187\ 224685935660655/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^19 + 7038807803820655825977944383376657731\ 470289773567515112523415371079/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^18 - 1212482591848594648211443534454165503364298288696869804998913070932\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 - 3169862039535889226967601686680786598323712098049887\ 903191761673977/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^16 - 4803610914509091325047508610099886862\ 168683501246387051443450537408/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^15 - 2966587950816228554809079026209847523916677839071095637414883606121\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^14 + 5351228828942345564669035670007346269285007424938216\ 250818669013178/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^13 + 9213594708572232449187278262614777932\ 263234873008225317192707535572/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^12 + 1332660974686144005793175501743214274063653084989263748082420803348\ 7/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 + 119116521707450400097403343901260631536114262590244\ 73733347747616667/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 + 80500576247875896899230223124392868\ 36651457037809591786789628724685/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^9 + 5471219735318453731308067000652774041436395317695803039428875733344\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 + 20779717097616210267232283851742267269389130203186142\ 67682521471582/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^7 + 193755917840860277969775434640792499607\ 9640692121086619518161456895/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^6 + 939249280399321698208690168450204110620874902012422581454611680123/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^5 + 736629612795733236657689460140142884802610986553089741\ 653128209268/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^4 + 40034481386601172491834640486058444869473\ 9716485199138085362176579/17807972900551999533672829495522738218775\ 383613243841263161204761*c_1001_12^3 + 65271203239402723925960467782564948913376328663857554708890035456/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^2 + 1300339200528473490139345974672366484192828452984938586\ 2059018115/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 - 215497671829124625751103986811360170843835335\ 3156500151625899113/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0101_4 - 757359293881322325387991285931120090641734331526980389762746\ 7909/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 - 125485119516250768624513656941968036802050106186\ 15601218011704962/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 - 16189078003197264526992372528624716\ 288486126665168601939670449913/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^33 - 28335667160080601708448855440477743413404404594902454323309589207/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 + 105722759099448504076582813470713519992451912108608900\ 803476050902/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^31 + 1087726094820984485248784440449021532744\ 88459013906585344182557409/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^30 + 432245074526077736890901018644318086753379058254248420413594500085/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 + 86794406318890210100642330072017872427308893054115531\ 3983345195036/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 - 571229187428391686649766200755326237601\ 586593815669330196679648306/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 + 2766594537548455348768405872500953955067386353101373781486911978011\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 - 6926630921756517294005594251357343478830150024422103\ 800874237445688/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 + 2857214013442769154221088382283559747\ 936014269516133259802449643885/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^24 - 2324005114215469900219589254821908354262389023717431700258234766233\ 7/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 - 171611360786371055962221256642273193159211289026014\ 198196428775489/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 - 3910913948493248599040768708916227343\ 0889467383766431427611840918881/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^21 - 2496734923765008105277665638461787912743530265014998685102257625996\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 - 3392186695039894947505209214027703056121413008361328\ 4112509158094840/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 + 126586604886157043892058182035861537\ 31937011037634102493821591572318/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^18 + 4824392719741324760574961420956719455285364686676412081009749425385\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 2279094842054013355745929371855202334469573882194304\ 4100711896129434/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^16 + 767500409450186130612279355666960013\ 3252335217885750206100095876666/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^15 - 1967775540345310438603237489198931180398458826691420005589251943214\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 - 331840177965409462913246049533969282569024212931192\ 85764072406862369/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 - 51494070136485950730405250283509817\ 548726127327805707897635182344465/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 - 4217687746713482256011278141639276483669069975407213121373392642492\ 4/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 - 316733434857537216230385391050793236114263581367731\ 99568670278755678/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 - 20153313311233378034606986855826894\ 184532318007119389543959941189012/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^9 - 7526780922080841669290090588558301255708354122401574235697450839084\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 - 82024416107011009190705608402266603890938543792306609\ 67235329501017/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^7 - 223378384605465094976374265379148644861\ 8646965264065944297751109082/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^6 - 3651366255607791924850064683762711232963752637611716317338272648149\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 - 74672927750518233103339205572907627907152988667908278\ 6065299724474/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^4 - 5555660350302083094380786377768713828123\ 15668454721727698211870815/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^3 + 43564899964765962849825797297473918513126196048648902185390408892/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^2 + 1397270182770467915676161509270897548703523210008927230\ 4470071086/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 + 952539113080594356634976005479586892680821602\ 1102165868774177194/17807972900551999533672829495522738218775383613\ 243841263161204761, c_0101_7 - c_1001_12, c_1001_1 - 757359293881322325387991285931120090641734331526980389762746\ 7909/17807972900551999533672829495522738218775383613243841263161204\ 761*c_1001_12^35 - 125485119516250768624513656941968036802050106186\ 15601218011704962/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^34 - 16189078003197264526992372528624716\ 288486126665168601939670449913/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^33 - 28335667160080601708448855440477743413404404594902454323309589207/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^32 + 105722759099448504076582813470713519992451912108608900\ 803476050902/178079729005519995336728294955227382187753836132438412\ 63161204761*c_1001_12^31 + 1087726094820984485248784440449021532744\ 88459013906585344182557409/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^30 + 432245074526077736890901018644318086753379058254248420413594500085/\ 17807972900551999533672829495522738218775383613243841263161204761*c\ _1001_12^29 + 86794406318890210100642330072017872427308893054115531\ 3983345195036/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^28 - 571229187428391686649766200755326237601\ 586593815669330196679648306/178079729005519995336728294955227382187\ 75383613243841263161204761*c_1001_12^27 + 2766594537548455348768405872500953955067386353101373781486911978011\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^26 - 6926630921756517294005594251357343478830150024422103\ 800874237445688/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^25 + 2857214013442769154221088382283559747\ 936014269516133259802449643885/178079729005519995336728294955227382\ 18775383613243841263161204761*c_1001_12^24 - 2324005114215469900219589254821908354262389023717431700258234766233\ 7/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^23 - 171611360786371055962221256642273193159211289026014\ 198196428775489/178079729005519995336728294955227382187753836132438\ 41263161204761*c_1001_12^22 - 3910913948493248599040768708916227343\ 0889467383766431427611840918881/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^21 - 2496734923765008105277665638461787912743530265014998685102257625996\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^20 - 3392186695039894947505209214027703056121413008361328\ 4112509158094840/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^19 + 126586604886157043892058182035861537\ 31937011037634102493821591572318/1780797290055199953367282949552273\ 8218775383613243841263161204761*c_1001_12^18 + 4824392719741324760574961420956719455285364686676412081009749425385\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^17 + 2279094842054013355745929371855202334469573882194304\ 4100711896129434/17807972900551999533672829495522738218775383613243\ 841263161204761*c_1001_12^16 + 767500409450186130612279355666960013\ 3252335217885750206100095876666/17807972900551999533672829495522738\ 218775383613243841263161204761*c_1001_12^15 - 1967775540345310438603237489198931180398458826691420005589251943214\ 2/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^14 - 331840177965409462913246049533969282569024212931192\ 85764072406862369/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^13 - 51494070136485950730405250283509817\ 548726127327805707897635182344465/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^12 - 4217687746713482256011278141639276483669069975407213121373392642492\ 4/17807972900551999533672829495522738218775383613243841263161204761\ *c_1001_12^11 - 316733434857537216230385391050793236114263581367731\ 99568670278755678/1780797290055199953367282949552273821877538361324\ 3841263161204761*c_1001_12^10 - 20153313311233378034606986855826894\ 184532318007119389543959941189012/178079729005519995336728294955227\ 38218775383613243841263161204761*c_1001_12^9 - 7526780922080841669290090588558301255708354122401574235697450839084\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^8 - 82024416107011009190705608402266603890938543792306609\ 67235329501017/1780797290055199953367282949552273821877538361324384\ 1263161204761*c_1001_12^7 - 223378384605465094976374265379148644861\ 8646965264065944297751109082/17807972900551999533672829495522738218\ 775383613243841263161204761*c_1001_12^6 - 3651366255607791924850064683762711232963752637611716317338272648149\ /17807972900551999533672829495522738218775383613243841263161204761*\ c_1001_12^5 - 74672927750518233103339205572907627907152988667908278\ 6065299724474/17807972900551999533672829495522738218775383613243841\ 263161204761*c_1001_12^4 - 5555660350302083094380786377768713828123\ 15668454721727698211870815/1780797290055199953367282949552273821877\ 5383613243841263161204761*c_1001_12^3 + 43564899964765962849825797297473918513126196048648902185390408892/1\ 7807972900551999533672829495522738218775383613243841263161204761*c_\ 1001_12^2 + 1397270182770467915676161509270897548703523210008927230\ 4470071086/17807972900551999533672829495522738218775383613243841263\ 161204761*c_1001_12 + 952539113080594356634976005479586892680821602\ 1102165868774177194/17807972900551999533672829495522738218775383613\ 243841263161204761, c_1001_12^36 + 2*c_1001_12^35 + 3*c_1001_12^34 + 5*c_1001_12^33 - 12*c_1001_12^32 - 18*c_1001_12^31 - 66*c_1001_12^30 - 139*c_1001_12^29 + 19*c_1001_12^28 - 375*c_1001_12^27 + 808*c_1001_12^26 - 166*c_1001_12^25 + 3193*c_1001_12^24 + 1005*c_1001_12^23 + 6045*c_1001_12^22 + 2229*c_1001_12^21 + 6062*c_1001_12^20 + 152*c_1001_12^19 + 40*c_1001_12^18 - 3563*c_1001_12^17 - 2356*c_1001_12^16 + 1361*c_1001_12^15 + 4895*c_1001_12^14 + 9077*c_1001_12^13 + 9318*c_1001_12^12 + 8203*c_1001_12^11 + 5904*c_1001_12^10 + 3228*c_1001_12^9 + 2272*c_1001_12^8 + 1005*c_1001_12^7 + 910*c_1001_12^6 + 388*c_1001_12^5 + 252*c_1001_12^4 + 63*c_1001_12^3 + 17*c_1001_12^2 - 2*c_1001_12 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.950 Total time: 2.160 seconds, Total memory usage: 32.09MB