Magma V2.19-8 Tue Aug 20 2013 18:11:59 on localhost [Seed = 1814943634] Type ? for help. Type -D to quit. Loading file "10^2_69__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_69 geometric_solution 14.02625731 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 15 1 2 1 3 0132 0132 3012 0132 0 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292947522442 0.814032206144 0 0 5 4 0132 1230 0132 0132 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 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.608179706132 0.700199608414 3 0 5 3 1023 0132 2103 3120 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 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.037229051987 0.756529349369 2 2 0 6 3120 1023 0132 0132 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 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935109671166 1.318632509639 7 7 1 8 0132 1302 0132 0132 0 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 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.577346002527 1.157789938634 2 9 9 1 2103 0132 1302 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 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.398644162814 0.789360612151 10 10 3 9 0132 1302 0132 3012 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412707125245 0.701460667728 4 10 11 4 0132 3120 0132 2031 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 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.278224026090 0.762148187452 12 13 4 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833032950743 0.318857296980 5 5 6 12 2031 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.490229643512 1.009403067172 6 7 8 6 0132 3120 0132 2031 0 0 1 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 0 -1 1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701697670615 0.838105377625 14 13 13 7 0132 3201 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919619496300 1.708497565750 8 14 9 14 0132 0321 2031 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 -1 1 1 0 0 -1 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.700151752238 0.487294635506 14 8 11 11 1023 0132 2310 1302 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 0 6 -5 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755723350483 0.453824720712 11 13 12 12 0132 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915944640072 1.488535993986 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_14' : d['c_0101_13'], 'c_1001_11' : negation(d['c_0101_13']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0110_9']), 'c_1001_5' : d['c_0110_9'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_1001_8'], 'c_1010_12' : d['c_0101_13'], 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_14' : d['c_0101_13'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0101_14'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_11']), 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_1001_8']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_1']), 'c_1100_14' : negation(d['c_0110_9']), 'c_1100_11' : negation(d['c_1001_8']), 'c_1100_10' : d['c_0101_9'], 'c_1100_13' : d['c_0011_11'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_1001_1'], 's_3_12' : d['1'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : d['c_0110_9'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_0101_9'], 's_3_1' : d['1'], 's_2_8' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_9']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_14'], 'c_0110_10' : d['c_0101_6'], 'c_0110_13' : d['c_0101_13'], 'c_0110_12' : d['c_0101_14'], 'c_0110_14' : d['c_0011_11'], 'c_1010_4' : d['c_1001_8'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 'c_0101_7' : d['c_0101_14'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_14'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_14'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_14, c_0101_6, c_0101_9, c_0110_9, c_1001_1, c_1001_10, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3265182247081987920464472567169487181436902705712868549156145049216\ 7690445246241013326702490663417867345599947716/12873848412990647465\ 2664637362302320814999262629236376999712058471786610206604843927608\ 899228672049635963615220651307*c_1001_8^22 - 4613531950942917803515361154819262020413351222607009690559738078291\ 00623113933857460102217839468282421795202335320/1287384841299064746\ 5266463736230232081499926262923637699971205847178661020660484392760\ 8899228672049635963615220651307*c_1001_8^21 - 4013325033406938471667803914612610597280367632460105276839896467184\ 01341170555550725010384889395519070267510210817/1287384841299064746\ 5266463736230232081499926262923637699971205847178661020660484392760\ 8899228672049635963615220651307*c_1001_8^20 + 2705637010696813573847414066881725684487459851057932677933184228708\ 2508374532494251893698480507773646334646965496901/12873848412990647\ 4652664637362302320814999262629236376999712058471786610206604843927\ 608899228672049635963615220651307*c_1001_8^19 + 1977862060081000650924342789444065700180468127282863626840591892443\ 3421411602371768605773460749130248476864544551574/18391212018558067\ 8075235196231860458307141803756051967142445797816838014580864062753\ 72699889810292805137659317235901*c_1001_8^18 + 3237089710437816061807103722754264827729567164295251569447171409342\ 21914321032957263703946788821653980592533647974767/1287384841299064\ 7465266463736230232081499926262923637699971205847178661020660484392\ 7608899228672049635963615220651307*c_1001_8^17 + 7008860423661780461306676189337735608835741918452099078690015858533\ 29918532860496859746941963449988059779658262788044/1287384841299064\ 7465266463736230232081499926262923637699971205847178661020660484392\ 7608899228672049635963615220651307*c_1001_8^16 + 7926375769188634565515614786967631736978479661443743195556619122821\ 12400871487547710375948859597914269976657595149067/1287384841299064\ 7465266463736230232081499926262923637699971205847178661020660484392\ 7608899228672049635963615220651307*c_1001_8^15 + 3051584559137402513817297408791782911165970900817205812503449823414\ 8960633112084455408581476519478247470225625316404/18391212018558067\ 8075235196231860458307141803756051967142445797816838014580864062753\ 72699889810292805137659317235901*c_1001_8^14 + 2770226081733557112132635617534820170416435547604955368379322153200\ 333114033806819179962058936058307874288679840999654/128738484129906\ 4746526646373623023208149992626292363769997120584717866102066048439\ 27608899228672049635963615220651307*c_1001_8^13 + 1386797656145021592012788524754055944643805391637542262600293581532\ 4562386470895443309404016325181163330387891886327308/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^12 + 3804510677085653538200834871098714951305736949776636883942301933564\ 4413111580951885399085894789496159658923056035589160/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^11 + 5692713797411515859981585771375612838506695869358693202426356228450\ 1300085683389601008839798504244933455501338225019556/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^10 + 7367934536770683885427981263629183208754102989100873047135215740530\ 508001935473161597058993096465871758740736735614569/183912120185580\ 6780752351962318604583071418037560519671424457978168380145808640627\ 5372699889810292805137659317235901*c_1001_8^9 + 4132958171896049214345648334333750282648788131532836349001305123026\ 3874682462871010455282936996697537499020446990714301/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^8 + 6319969950337693199361996472050277702260196763192364996809505629143\ 475779536919205839669942960409354469966831268789750/183912120185580\ 6780752351962318604583071418037560519671424457978168380145808640627\ 5372699889810292805137659317235901*c_1001_8^7 + 7127008381632557834531252403752956119810304860571091245544584363652\ 2551526894419550810925748837961730308753902821204161/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^6 + 4054695052874172183578655345757071447333086171261002227570326875027\ 4164342070496439072367482902802834773535177003024330/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^5 - 2739224663786289657865610030056105000343571472242647918927574714028\ 4995613786822331359155732379666080058609600609740808/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^4 - 4529507674057389608155431652742833976261612594391423691793839126184\ 7932246715925918751057940046580224583563950274355777/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8^3 + 5740955985992731999218313042973307650633920234593157998571572723163\ 164656278729201572319938831155430640972674122764089/128738484129906\ 4746526646373623023208149992626292363769997120584717866102066048439\ 27608899228672049635963615220651307*c_1001_8^2 + 1102265643737491694735748172085977655138058900094432311376644987708\ 9793419694520578064522876293981566128376823515101021/12873848412990\ 6474652664637362302320814999262629236376999712058471786610206604843\ 927608899228672049635963615220651307*c_1001_8 - 3133444929457246683338758117866048093509589401946985491484628032450\ 282295823447032204727770767299328635805735079690/183912120185580678\ 0752351962318604583071418037560519671424457978168380145808640627537\ 2699889810292805137659317235901, c_0011_0 - 1, c_0011_10 + 98360275564849723423499066720384948153771144454040163540584\ 110792228574765379522631688984516304138410072/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 - 1500969236047925395206763304422354109626102731716473191490259038470\ 992177491137676240952642705132044772848/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 614894221106574804042863717850137681\ 0972822604490106046722035542407736580921461741014929465101624297401\ 42/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 + 7889865981347183551722448258762496539416045494413249186809285371492\ 1687025262922184391649514418884827780790/13253676242861443573632701\ 7940547925426242137683614712515391914577317755643153016006219952493\ 20815696058721171*c_1001_8^19 + 32818651203921722062122220803651022\ 1395945772412426808883173214723225876937263420078635426778793463815\ 166655/132536762428614435736327017940547925426242137683614712515391\ 91457731775564315301600621995249320815696058721171*c_1001_8^18 + 7068415910390335608398943803878932001958772072800324062083617239708\ 37694332878649789004560867720492326325317/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^17 + 1761132648275190239654112224743962\ 7892497297727672397884581735530462089000283700610943828262683135363\ 50429899/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^16 + 1371929661488414763509995885299995098064548001608542739619094959132\ 352690516406817980575638217972490086461402/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 + 134621196011312426350435794332734\ 1108232956232575681024408766073171929014241504931764104235702852241\ 746773482/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 + 8482969776941742228031150204783135023605853338615422189381253433568\ 077274658905587720479576592851069198454491/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^13 + 330359385575046547630038931228944\ 1875494859527545553929776289798033552275194934721524817327221319118\ 2884178001/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^12 + 8674326364646911776779078641264531174439844318724644216607344295054\ 8481218494854402211585002539695005334832154/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^11 + 1178656678899719331789784340946871237432068418911195300923305574315\ 57542131080577711082295508080839567429311241/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 + 1415793961371017989142254641192772707475145269734446420656748248941\ 79754133213886489053427572639023541136186869/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 + 1190329649646787255257404669397388483738619868892422593429654052299\ 13696285130970611423878402851763181185440531/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 + 1481724170711961819601119017041610478895624495805229739643476701207\ 93355637333686733958004187807479381705430834/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 + 1204333324351584125652996917412827146326575058818077990032388343555\ 34543956247294861268685596485641404706060274/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 + 8819526111369951751210099271017777880492474974374528771453229877594\ 0375704762341283356211050420125073117788614/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^5 - 477662961423901445519109359057975\ 6124197719635775831820499231319482865136810319878906461370833233213\ 7564594512/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^4 + 1317729585357430074394396270401451672079786553593739720313051047107\ 9072736106472548792548675648068804121240325/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^3 - 492541514865329761646682597832065\ 1744934113459779710428698751312848654115946379696146637847064277849\ 4869492634/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^2 - 8795952163675507428053282479193884573147491745022950220050342841625\ 616050032406165045656399873128713608646195/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8 + 429544248246037958001668394705175800\ 5332856542384693658881613482092169754610384263284169292646184756160\ 053476/132536762428614435736327017940547925426242137683614712515391\ 91457731775564315301600621995249320815696058721171, c_0011_11 + 76034646053872819714145119001805391230574786577635431130679\ 309382413944140817279851908955160030696314832/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 - 1106898986661778682972859844955563150417993033365206019377631762457\ 636880622326317220230956436872404621600/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 - 320441701036318797853268201802092191\ 0941915393263702392786678798776114342236893785236366160224177956618\ 28/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 + 6104199140557296912666957193800995558915452276530356420222231158518\ 3190587305245402233926148713813748005748/13253676242861443573632701\ 7940547925426242137683614712515391914577317755643153016006219952493\ 20815696058721171*c_1001_8^19 + 29656260547557554666397370382574175\ 9946296149366954852580475789204174265284386815742712975597275941097\ 904396/132536762428614435736327017940547925426242137683614712515391\ 91457731775564315301600621995249320815696058721171*c_1001_8^18 + 7394824768043170532283442374178852334044605295287774573322219102260\ 22990966659605503236759204540222626285144/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^17 + 1812252744862997457306559692776614\ 4649729199021767114968467383182486724812740465296382090712183826716\ 35325128/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^16 + 2181742957214294884632783470732337895426382364477788548012191783738\ 223346813168420584208810291843858331551184/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 + 221959233076809935965608233062849\ 0678754904278778291890431059459215558777482092327620235298897719332\ 829968420/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 + 7784640358453702134189775240108977949701244127942263537339892431573\ 889963051523061401554194107901008209523148/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^13 + 307877851093689072398864112099068\ 4276690242671664148937186145032734981833844574673857626813919351707\ 4862554751/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^12 + 8709508829108960272638311117175354208836088889134660864346932378404\ 5309841624085694242923788261528334223382594/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^11 + 1452922364077675772400106378418826231691843778216897816122891513712\ 02898116133595941760158493471830150750055749/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 + 1933140231076169377332771387293855695498559939205360200628945688607\ 91486640149056323863413161342522998107127246/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 + 2023822059660857791479122549534896936869403654471212005828028789346\ 90903043302578925368343786841219910571265083/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 + 2284644326973344656642169015755065848288130342992502303618033726546\ 29308764590978025822633949077648842719024858/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 + 2290456472481390024503160553526793484170300081546120898423892391963\ 03315056086719607223530885459655531212667744/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 + 2010413263737883189334947675507248588640995716883329226149901319969\ 99449453672987049644769594823200631752638840/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 + 7923859653481160051340376400374432967316734952196853804061686623282\ 4946368525409749936980471846521200952380714/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^4 + 467291975453896627998903960188923\ 9428252971607938663481913071666313805861816519301130271664682224438\ 6941857752/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^3 + 3491224423346518065087760203711553992927926752236087238728920908555\ 599278874889872930854398583111987855798347/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^2 - 9938209525045459202937640853617490\ 9665067492939992812958761360788178124285297622409918081127275282544\ 36716038/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8 + 6330816707453467284308059165699897284402192940314940955187946995768\ 153455586034994303729561136889971579155955/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171, c_0011_5 - 144929051356181330107055546662088657397723453984700817475131\ 972849842120026822949510352722459662805210212/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 + 2099824303960801441905906933170330886066287522568583625150021976907\ 662922463430462970590730328712571441204/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 730866173527677545076698027173905377\ 7476471935195196692605619629249787178404357569813401057594835685790\ 65/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 - 1159267193587304219258232198120594296965066742510519445360746971824\ 53294075594682953009322620363352788654352/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 5733010829839928940112360529482631\ 8160534959399600591085166430178336763529968167229882426682854177041\ 1530665/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 - 1469407289383521096247281861398320475768347000310456037162474253764\ 277901828349630788806536909714804907928012/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 364843247197458810813255109661186\ 2142278283791832718549575559621051748290344159474639198135908554790\ 608507871/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 4629354436933921504698811894296519323595280100914534396708257052835\ 293632440129617730785894866988563070957668/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 508650240581147405748734554342506\ 6937450667696526116722168760609323992783303472207642176444909139012\ 872240264/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 - 1575729845320142411776669709925185201218424044390780211548396407220\ 8824322971634154216211456576112006710700308/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 6037429080288235929183853332166748345282271759787941245737226036583\ 1485098042683513767673250053814753978404240/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 - 1726148836659013658267289771470765987736814908579817613736414258193\ 05762141931814557932184132834370320237895076/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 2984944775167475843073367197107976911533583980232823194506105793912\ 62871543116280869224635839070235703397165709/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 4153641508441159484874953089857520576697980336344654226431027606982\ 79599848820796972741721018947364785666206096/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 4547541010935115578931316652351479981887885435980093904781810144789\ 61689763086837101581963948666293530203770965/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 5193397903281089459608715641607073148960649506429928558936572910506\ 01516336390733521422160720062635379764432168/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 - 5270225316938064998642669530284662732192168412442310143004583968632\ 68536344642538599558214251116069513910544048/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 - 4852059935811899360838430555826814959425100010956164187462968912109\ 53897855165495775364434124004583693183482972/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 - 2467156958428494770381804322822167498967674382531291992962052488812\ 29629259888651325621548069685997930422237905/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 1590174847518388780561874792930099764577541600060353245118819709961\ 04989129438559660463594840837045709772280728/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 3238902191350920716852402891193294728518851459686150085114910688711\ 5278305004483289431953044480440349269546969/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 - 149439914752241820696003759006061\ 3149800910881219483362847428191251450523851104001589459792490764678\ 4637134876/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8 - 1989069924731536290151641382539026192262815343262254733934749185960\ 6287401853232515161977030799458794861847583/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_0 + 132920234702031335917335485907542130153979837435730044096694\ 441354980667379437985924615503342488730847132/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 - 1928486205156235742491354302853648934250391033982503692093384338359\ 984246469025815799521317900354651778984/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 - 667451550119853654846755504183689569\ 0910026816017477248122157826249824148359709511520483749776168917878\ 59/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 + 1068656738446528738117260905708066032863695430572462389499975491723\ 41553194321464145533118550018183040695563/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 + 5236479793463428638077076557515806\ 4923701997191618597484790086943854866589165799499708021934013049252\ 7072593/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 + 1308321175207352713539585760500710649910938363901246884287997913632\ 435388478377788005714463798643505946534242/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 + 319080425105430609514063537124491\ 4825296058340034745451307653919963746325450196144330221806350971996\ 211029707/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 + 3896750327466809809877300981682801146509500390405737794788320094609\ 692658161672383663658805271960677896468884/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 + 392373762506102720894924980274091\ 7645400068795786729415400784366341652837818562689235295276930494302\ 244744994/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 + 1379603875261440510965976556235169771318344319064706295754416223396\ 9054993860689615580313280514640139373951930/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 + 5473802285833259391723635492510339691536095542571403195455519042034\ 0348623304185409283097077657739265284787368/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 + 1543360550103084628682306556958325248591845406788567790822611028928\ 82281290638844120981130957228271592988249477/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 + 2576432678964416266013547818183726018791367082691533802350603019371\ 56894830898259766978864808905747598157528673/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 + 3414446347312709405091871043927282670629505266855452083963352690598\ 79757846237922608462405334670899702514800552/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 + 3630659762524740738903923432782137994571206930566574811253952792361\ 24401277526937268836181401762055471756433769/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 + 4194508744312103834022683789606983854152502688594227804543438505640\ 28578711406500934280604630863924353115161840/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 + 4382355860283631105133425170881454296706340414682187285435808881607\ 06244374284960417937846387683015033204609888/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 + 3892564183800741527576731792394401498980562583149872801672964841765\ 08265451326721753539550923260143727123348966/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 + 1748132166558700496386660605508640392959937966843266835841171542748\ 71231206031505719255258107708775733578791203/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 + 1138030476071768392564579522581912449894163562668499027134160389045\ 38271093051490062774645989014848673049300233/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 + 5218956079372927096403814603302278395203346226149025330241796052947\ 0889463007008057219352127935346412824076809/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 + 217566147788508289321198139982409\ 3381498291719023807696187464324432727052427799378159838312990376868\ 1236918799/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8 + 1861236663571609474654246302936795392985006384688185649176922812721\ 7355105958662851352658541347007945309733014/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_1 - 1, c_0101_10 - 35912953869433660841271212451660417149663345442896408487949\ 6012148285305541545331325601288859310639747560/13253676242861443573\ 6327017940547925426242137683614712515391914577317755643153016006219\ 95249320815696058721171*c_1001_8^22 + 5223850371017193546148269031080433432033940393185854614606711648608\ 510820788245987745783002631334517201696/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 152372834190792999327267526279126605\ 9816185453320326439599525597159587362443539722153552482819441143702\ 506/132536762428614435736327017940547925426242137683614712515391914\ 57731775564315301600621995249320815696058721171*c_1001_8^20 - 2875364939454247183961580145657595049407214624925404602470594160710\ 02125875733625876022275854059261014853950/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 1403936175689704550214991860005071\ 6831044453156077019156076063367496837269876592151587061609067926768\ 52396204/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^18 - 3551765593688793647127064565010691261834842204160150716489851120147\ 762880500584782431728953936896718680180414/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 880625540261453113515342061137987\ 0741779413038785912774405749425975521844600546712610803950462313197\ 239949750/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 1090012964135219758791874512869600433381069514359586172352514034154\ 1250662841070079906566170462761759085768588/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^15 - 1175993838467433685381292469623675631697926938415728512558979856418\ 8796887519279673512241085748149399771204392/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^14 - 3817599211384341362255141774655541929833361119024504476455152035582\ 1630198315555718103048932903684044951591066/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 1469371286448921121839441538850139947048560575358075563367186447188\ 91712446303669823336452864148705228826103646/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^12 - 4178189961430350505102450603588380937028847496234622986656595425526\ 77040500669940711335147452497306419296693910/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 7121914505634059412108058737871559916451972994249090693936741771859\ 24156629870926365491401982435893320785005932/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 9796303790377866619111527130439602317982659644143864191442914783162\ 05761311564227589863870244231624841303353650/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 1056892057624249328955820741709456124277264670400909868811688193648\ 772931165608132757483225715211455335998301164/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^8 - 1198018764669393570728250328587396170337789698191460639654328326058\ 064882745591609354731670418402263278670364376/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^7 - 1197780197010318386214372965407702422482027975438869080758680698787\ 002104822479607272903350917142201372785165828/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^6 - 1080129921858746829735153128455082294820872512884084806235444881830\ 493015433932469128018580036431856675148513976/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^5 - 4981877843722567910853952890871982861612758282909047800788498798860\ 38525170810255392739911583007056839379389718/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 3216615065305053503280625054680066669506912231896765536598037508906\ 07228618015071429410345849138887167554421751/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 2761560006391379843944322399329007163766656658691992154957401195931\ 7064795907751176216459987096502818227051490/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 + 243556083906083298023950237742774\ 5321205199743659998276559153547198939475165656660355267285037675665\ 960894476/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8 - 2239326755910551251978279693187585624522063366116004758331355125402\ 0807432235845957245397994928236119115157164/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_13 + 13464465086305582686352067246157773356704947434135165965803\ 8123964176056469352325256738729006005787087752/13253676242861443573\ 6327017940547925426242137683614712515391914577317755643153016006219\ 95249320815696058721171*c_1001_8^22 - 1948476335494736706229904606085117386735567584591042984669425458996\ 269493859732145228910280048729957420512/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 - 716053609778142738142874908277429391\ 5166830434545652900149242174213280529455492621776462674819869534044\ 02/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 + 1077422432811742763636553480784971916781233844659824811828804313820\ 46950359971862007036732118877459874600054/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 + 5343713438994404590168653775374618\ 4735954966691171360286958338795498987804793297735196336787588320918\ 5077060/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 + 1372080815086501652136371912752431063687223832042967942394792559142\ 124840475493666520463596328850275985292938/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 + 340749847274992596802327760702548\ 4985575651574631844020394389494276936071707150564485668266432405586\ 059267310/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 + 4348309757356533637623112402820085160000367644959438197190082506705\ 514500092366168719670109733457941691831366/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 + 474906988846636560493496579958584\ 0921490436916530032668780964354919453028329880225110218655495478752\ 664796109/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 + 1469527203373698932001023176037120784952761280497029097239221493714\ 5984147042496995989349582527337741344815868/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 + 5615548419891624906694157616516778834953451601253777247343550003108\ 7627507117959747309325737139672085635077343/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 + 1609183776265149062172714260702936169077520478418957600822163379771\ 81438955256714790325989192886238023560690816/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 + 2793204061863735583435683338282848042722521078177528961778815843213\ 90182309527148178627977445773254903816787770/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 + 3888339809925852639595721246202264217833484334669781781253948547199\ 03140044330627197312259704697263051517400374/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 + 4270085431446103476464512013420664419603028741231568232920683351567\ 57861709338110966341721008989373505545270785/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 + 4818372115313771139844067753056515584195080734206499004993946929037\ 20438726275431661034728794830362423420498646/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 + 4856075385504637873872042336908620584058494468867359949026353462836\ 93767958045325706065612382193285265465693818/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 + 4394055462408702125841723922629224481268507580616319364102140871189\ 19557371828148434487601562971491022829193674/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 + 2191460468465724064736543231750706894777375002693391755838366997363\ 02525819602746248018180556258987590651410910/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 + 1367340457430041715481577452275265567084965781960620773825755558811\ 41625894254709111024098437116993404834387492/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 + 1966061518617762887520166552621541500307501284292004312772057819428\ 5423836352486113228360317811058338195512572/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 + 759897949967253619049559548487015\ 4612368987030983944489592613862766308495118090366626687975318079744\ 67577710/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8 + 1114330028408143593922278209771301523846972784779235135966249107542\ 9306136150649709192464047298347141533436631/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_14 - 15303125517184409121284977272167926372289638418832800160515\ 1112098235672088103472632819282358372315056384/13253676242861443573\ 6327017940547925426242137683614712515391914577317755643153016006219\ 95249320815696058721171*c_1001_8^22 + 2226208970051332741268255446955772562992988451778400519669250554454\ 785138396268636852256647332072879314192/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 649781497930601764063807458291285820\ 0738571533735387421610744751760478891131572065558002807276184899309\ 12/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 - 1225915910274413833937503723908250605530315547945811105868272484937\ 95221383946846075513765590473408690001060/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 5979286343198896569136926512015640\ 9809443745352881478737597596198554459816679194089707597358256890373\ 1742184/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 - 1509467251374299183162073321135615124232710224284407599544800540226\ 975249470191409394929484634625542693840524/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 374203080627927028171077903525394\ 7043303702257716668935464604299662759793979056575647756386127671430\ 986022177/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 4629140686586560793918953718792960188452737742589144187847274005411\ 786251403255555038194803241822675257198458/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 496724807641205008491379348923835\ 8404571017065004531689386689218310752586460823462113552638351193352\ 572432987/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 - 1628796922725836651177100834611090711778196773758496544301326078163\ 8667262817812721072249511617725840531428722/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 6254747430971304579169852749191071982184841250694288330642962463388\ 7056626159980215997819535096041616236285687/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 - 1776043332238670957153023886807528983499534735287067490386092259576\ 09030332624081167075120458085712934004199322/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 3023012273911709137171315441195131250770606590457456750349759481801\ 11613172558146305220315998861974983227501054/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 4152997768014755992254783910884858329498129598470667102458108606580\ 37086312938684128724469439500682960203305576/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 4493937263803420014229757858478908994951823795468649285848942456343\ 93082460202468514029279478467235435224353427/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 5082010652644101796780597256638100668929909454689277616549512188213\ 10065639441951095670321944896308162809831014/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 - 5083675608710367311098198997646274709844134870048759617552055655051\ 00809389081367724873105902134507884426882010/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 - 4525235159197500553405456058906037001531100046793387695501150554712\ 96922662091719893803680516042076184632577656/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 - 2071429437994377848957900287115521795476967426263470154498592267951\ 25475900582177233924099883771350330827373118/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 1311389603575942086552061869840217304298012195249759816389875688904\ 23816387288220581428062459883272110583455928/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 1240069748651827950479892243416813647724009050706542982540662360363\ 9025914441803276948750939196815256933272632/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 - 113940111286948604681530190571831\ 7829978376461932341489313423590838840674891156147622595913555876013\ 392942232/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8 - 1046403416266996041385866607039211105175707788059390205996877022276\ 2092423460476308831073741722159697642167569/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_6 - 313092392384881336042862455670180350655896766614845541423683\ 170959513263733477193284849174116854245605524/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 + 4537645550042508108817979661705195732637353726260486227535266698917\ 558928151961698538883404762610314138728/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 158430621099444476963400727804610752\ 6830829511878873694972623280481054746714108901916374062369948956009\ 217/132536762428614435736327017940547925426242137683614712515391914\ 57731775564315301600621995249320815696058721171*c_1001_8^20 - 2508258978157490723974974766352901152658524504696354034368510687168\ 12510543924458831551826208498835739666845/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 1237320127378810553522540761080933\ 4674357555279667826120581358870531079634163058325997367157922489847\ 57381061/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^18 - 3148658610983254927071228542433602295761572190692147321098315753867\ 056718256573295425497106445724107436013688/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 778134923580504826681745434791001\ 2275102568814516170726391528880299415361558876145638662376289929074\ 962734493/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 9782132940020265062712138092058542801231637872356788094603658706528\ 737787314751814718839459928198560317715486/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 105039454664190255119808517894955\ 2384938183584713126812972906166649929576396669523230710775946822918\ 0116690900/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^14 - 3364961124266338750512370187711135732664661925625650678156935178579\ 3280622996066657342948421201829183684327550/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 1300290088813841769931358516830704438425393068599307337988328919573\ 87638849779332497910104374364681053964724236/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^12 - 3702456433075003740084834642905187092855767263156050633927798443979\ 95434829653876957550152702673804237597040521/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 6344330975932529061243271669826024804392796616417356058545294363248\ 96615291383752210684236286457315621184238337/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 8719556316053782830938870370307767603527514732545064909148797396544\ 21135618217024073685432054027505485186630350/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 9488225685195991684380098623787623422339571151430989885804032710683\ 87587060729407074377887351396086174728446627/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 1085381775475201800440592850860383417427514585502357576103917731883\ 426938862803275599658179742616305893241199462/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^7 - 1108304616515041833899364575716109281383703932651876394504914427806\ 325083029234357423079795664491808356152337248/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^6 - 1008786182249497315013508863325793058555568405321828266256213378154\ 805461716342878584388009714395173675503443086/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^5 - 4973847186937060105937653571546538751256734623340248596336133039794\ 21969512704061144701608727091620433594885973/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 3217625983211671550545534288577443447307791421485062988654255760131\ 74017711681332839627491995109715803586426535/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 8241657060311085523200831085531548575948461584474731022122704260126\ 2574247500927632959794663524559741049951733/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 - 317046881197353224570089829142444\ 7182027697507979060475660363249163243121971525546563644695892786878\ 1310822194/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8 - 3211389599696645727628973512752585486727207648179845795316360441084\ 1566109626202398611345826120364174780147664/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_0101_9 + 834478225990037771079235640621579380010249645418033151659181\ 01189174077249728429145301662296852180494352/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^22 - 1196418667796533107376299989648493525153572667691079505351445245479\ 672522879962080441085858993812633225936/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 - 583765977714599696215806369233600699\ 2753932006619225261017656903268699053648370333461228089606242033572\ 00/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 + 6639925984057400802828953003435443971821900484898258514884779371706\ 7587190132613118769271345272385819628220/13253676242861443573632701\ 7940547925426242137683614712515391914577317755643153016006219952493\ 20815696058721171*c_1001_8^19 + 34002353798761671555303169650311555\ 1140072670170931809021081628303121344950658419551793145046108832287\ 097471/132536762428614435736327017940547925426242137683614712515391\ 91457731775564315301600621995249320815696058721171*c_1001_8^18 + 9122122831333582469118178500988943355913333370358542798794214661118\ 46819022851331699312334844026643781490896/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^17 + 2311178201373244796048350752577593\ 2650912032169178469297373205218071707714507821505584203439342570915\ 38830543/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^16 + 3188036417791545226744612649564525401630464727316508994898601153426\ 062597070343452253514036480194822113072220/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 + 380231091686533409947714852878130\ 2100085587034851352271542304932325530630791323931825524861053983326\ 258550952/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 + 1006812066942195805049850116140858135328842157813328807694264001079\ 6011112919910810283472451086476448997537480/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 + 3654311555295027326618410787145898303902105780256350819560099079380\ 9539203697072832433798841075947478014172297/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 + 1064110737807094654707222065111644361250035245962596098110480684901\ 40333043008173491306210822268860601544703468/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 + 1952704342349154583944930460202449928274873246637205750095737818024\ 14278758406759325069025940297182006008680087/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 + 2890182815545817137362739781802928287649070315849513784149079120907\ 26102652236496994244130498305268986005486208/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 + 3364135194934642647599828036733468405565833382722099075167358462079\ 35375730945307770064699457531071898294072185/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 + 3825565940070477346031835376213263577315793704517632553146330725869\ 17903822006433036391010397228636165763393592/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 + 3870936785916122400756042550824252997383205940785947474607884793320\ 74703911534571408906068148469730177852245016/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 + 3676494187107995141223374840647035985061345962219066842405546746268\ 18238661877717024940300898752704126587003876/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 + 2289963861883393607717792212677700400882619528247727415784817099451\ 85194508958838387730752887602336575627660182/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 + 1498962827958020689402461932006315106464224522648341904729099296025\ 85168225696948387973584423759191176477039652/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 + 2961639655110442570701940372147959869303806575723406002089803704019\ 1079955511714603013408163758422967995467603/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 + 368079679631367581212790607940669\ 1443440266951693856075374448531793927592546312748248058640004412661\ 044427642/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8 + 4682915837694948661351691016611247495354086754758718957218390756986\ 573163202636602469190360315835924908044129/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171, c_0110_9 - 180172157682850000125526969762638220501916929179115497326988\ 729604532596354039207360233670774365514758392/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 + 2609159344886272366326625358851546798386962692277982535441882360557\ 574681682935882739362086862255662359744/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 916854660874591114787251773862417957\ 7398268302771259701604074978560723318781379507643256873923320642213\ 58/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 - 1439602239710961985857713860644835119794829074123891644868535195444\ 70957349602994686018707658480652698971282/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 7136721480324676897148331053293528\ 1819873555605059663721023501761455929752464783760265649645211849223\ 0308468/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 - 1840337435775902213531642781932891645850633826790900436810317840234\ 621329778195507419782642647080601489479446/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 459054498475074217167681897666509\ 7449806510474481425275083874960335669036108680001308440569938957078\ 751704786/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 5885382612553455252834837110375741654722137481951050299815338611919\ 045129153079431055180654656237882421246602/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 658020784135799830303160198675460\ 6203981767051344538714328277300157642926148132543071812482537734877\ 871945906/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 - 1985357249004898239546393631475965961346317606560944382402518955182\ 4225629135377041762635140687189044310375620/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 7529098602305158307589949675796704692717835143421670184427770153704\ 7290226475147088627007296706941788679936868/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 - 2159095882971919111402528085946861844263921856367482843105187415051\ 13153539015032836569021745445532644608791044/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 3767898296968112795229723851642298785601429533725822256194691343877\ 39720460485492443705371477551568023026709664/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 5305109968741073425846999326380484932898009465689612825185444705945\ 41377771979101465223026719356605782671829798/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 5857565922671250945476175191005485427768364220864415074550079918322\ 63185783202469805541705949634030702972012858/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 6659309010439914170383244718996850320122643166429347956495738813193\ 98360151396774665377575111752381540126037622/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 - 6700690304866787233860220586279638517130698911836576659613335396456\ 18838654949397005141949276808793322947727360/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 - 6195297638694231622558356840863529086575121470068409860889168939782\ 97196265016156830848458791135029948380094120/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 - 3225715020378359609550992966037898358296796656496981760494961497045\ 50738306672555425446350619382844700016094770/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 2079595507139903157980954765995530997413627858816563961520095371086\ 35746618629842776852846006094867130537126302/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 3022700980938158426797016482229270180745115358325705691880908207179\ 1684784493919575740442535589213328225874924/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 - 994807334088449352488916891600353\ 8005294057889552527794728989247305160695437261684038063829024100100\ 073903395/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8 - 1350152936125036252974727209815790093742201263491660146139437628362\ 4211003667539547258687284773356229470414650/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_1001_1 - 168163341028700005935806909008091693258173312630144723948551\ 198109671143706654243774496451657191440395312/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 + 2437821246081706666912072728534864846571066203691902602385244722009\ 896005688531235568292674433897742697524/132536762428614435736327017\ 9405479254262421376836147125153919145773177556431530160062199524932\ 0815696058721171*c_1001_8^21 + 853440037466767224557309250872202149\ 0831823183593540257120613175560760288736731449350339566104653874301\ 52/1325367624286144357363270179405479254262421376836147125153919145\ 7731775564315301600621995249320815696058721171*c_1001_8^20 - 1348991784570186504716742568232306855693457762185834589007763715343\ 59216468329775878542503588135482951012493/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^19 - 6640190443948176595113047081326702\ 8583040593397077670120647158526974032811662416030091244896370721434\ 5850396/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171*c_1001_8^18 - 1679251321599733830823946681035281819993225190381691283935841500102\ 778816428223664636690569536009302528085676/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^17 - 413291676383046015868490325129815\ 0132824285022683452176815969259247667071214716670999464240381374284\ 354226622/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^16 - 5152778503086343558013326197762023477636357771442253697895401653693\ 444154874622196988053565061209997246757818/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 541744306060755145449350624607045\ 6911931168150605151407560301057175302980663223024664931314559090167\ 244450636/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 - 1789231278946196338735700477785950531446237881234870466608538771358\ 4456300024432503126736964625717176973627242/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^13 - 6965471807850181770129731836140296038971658926205132134146063159155\ 6153751736648984142431124310866299986319996/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^12 - 1976307596415990081817544871434421105118952354576233020191384185786\ 89672687722062399617968569839433917359145445/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^11 - 3359386200765053218169904472718047892859212636184532864039188569336\ 33743748267471341459600447387079917787072628/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^10 - 4565914807612623346063917280450247026829534396200410682717769789561\ 41535769396227100943711035080140699520424254/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 4940684674260876105448781971436143440451685715450895981022222565894\ 25897297642569972795923402729792644524675662/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 5660419851470928544797212866996761025314496348593647202102604408328\ 25422526412542078236019022553670513476767294/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 - 5812820848212353340350976226876430081644870914076453802044560309430\ 56546684591818823521581413375738842241793200/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 - 5235801886683073789296658077431115626130584042262118475099164869438\ 51563861177382809023575590390589982319960114/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 - 2506690228508565335555849248724371252289060240808956603374080550981\ 92340252815409819080060657405622503172648068/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 1627451135693282769983659495647343682730249821424709743535436050170\ 69028582242773179163897154272670093814145807/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^3 - 5002754868960164806348428194338253847429610124788580937007793571414\ 7295942496444343527841619044119391780404764/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^2 - 167606966445111403874086070136383\ 4032226786626759577112812935057911792598120421544974184903402022199\ 6673687318/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8 - 2547687299251253794840602309619038548726813681753738186535530400896\ 7054272088271484071364044641721075977021252/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171, c_1001_10 - 45527506819794173262006297301060486934867454837763837668950\ 605640356539884686882103494941768359727670640/132536762428614435736\ 3270179405479254262421376836147125153919145773177556431530160062199\ 5249320815696058721171*c_1001_8^22 + 6606830093915356600967207527664294116513951076869395507724569015613\ 05187823203737510451806813525704939232/1325367624286144357363270179\ 4054792542624213768361471251539191457731775564315301600621995249320\ 815696058721171*c_1001_8^21 + 2008010510964483766443768655849885662\ 2314378682256068014548328043474427893258868858667941991034511081695\ 6/13253676242861443573632701794054792542624213768361471251539191457\ 731775564315301600621995249320815696058721171*c_1001_8^20 - 3621798068992192222211603798598632030135952294640668330397308816242\ 4006989631132678981975539603192824371228/13253676242861443573632701\ 7940547925426242137683614712515391914577317755643153016006219952493\ 20815696058721171*c_1001_8^19 - 17930080413302723069796772779189097\ 0839185889138883034340651629659569419476714860250693128576235283045\ 231408/132536762428614435736327017940547925426242137683614712515391\ 91457731775564315301600621995249320815696058721171*c_1001_8^18 - 4682566206894005613952708691804605821634099947479324944155252810924\ 96489302701840899319046318230325504186508/1325367624286144357363270\ 1794054792542624213768361471251539191457731775564315301600621995249\ 320815696058721171*c_1001_8^17 - 1183046512000816203653541369639612\ 4642308588998495812546894854660587329644015294368227723035065514926\ 92437476/1325367624286144357363270179405479254262421376836147125153\ 9191457731775564315301600621995249320815696058721171*c_1001_8^16 - 1537072855196921615211724707555656494721769836991612102625256105213\ 530629060713262335510544922779940729415236/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^15 - 183113795289163269809663618716876\ 5282491330134814506045547312945238189897818252317961593827042256125\ 207149797/132536762428614435736327017940547925426242137683614712515\ 39191457731775564315301600621995249320815696058721171*c_1001_8^14 - 5158300456311993075453704554388451763935563260639152851632974614678\ 241482092880045773285558159851302965559752/132536762428614435736327\ 0179405479254262421376836147125153919145773177556431530160062199524\ 9320815696058721171*c_1001_8^13 - 191355018241353340089579205927992\ 5857764383542167892937084220150595966271935718734131768155956726970\ 3044859525/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^12 - 5499121067067700492298138252439256751864013779485252422830240352793\ 1714583758318046243032552559294621048100228/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^11 - 9746942351043772117940405133594507428789084555482932944158755006634\ 9538150958344265077394031778313119209921894/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^10 - 1416770158815220786251278080178220715064525131019831043931496158746\ 38237727648474267910767014659342731154429424/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^9 - 1587480491225147469011663177584821008165335479632846841629396566755\ 05324073864358839199984940644657197426742073/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^8 - 1840936895126143030539176965940334735927562432222848951501791884156\ 77921425121343004342846316922019116705538976/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^7 - 1844614919362149359988178249371017933072204442969216710586981933619\ 25070696904071299076336894615508057482033542/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^6 - 1801242176285529496716632918234304605306613889452090496787028068593\ 77638893188008396360857228163538925550900446/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^5 - 1034254551912635544814449734287191463519421653803590004656594499682\ 48212487069809177428170063123857109364683860/1325367624286144357363\ 2701794054792542624213768361471251539191457731775564315301600621995\ 249320815696058721171*c_1001_8^4 - 7122550497098614424993773137202654303286620768559431876943398122749\ 4120724375133665828747568977873725702738810/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8^3 - 105663946232039553927684992960772\ 8680437614074033701379108850387750626094814143346251208221777815499\ 0030362352/13253676242861443573632701794054792542624213768361471251\ 539191457731775564315301600621995249320815696058721171*c_1001_8^2 - 2244185163377868347947231116157131508668137295481560459730891931876\ 0305410240754247997390280813107821665046856/13253676242861443573632\ 7017940547925426242137683614712515391914577317755643153016006219952\ 49320815696058721171*c_1001_8 - 23582290771689265905244900004448856\ 9895228478712425010173188520819490486751688983806622323747500908793\ 6978019/13253676242861443573632701794054792542624213768361471251539\ 191457731775564315301600621995249320815696058721171, c_1001_8^23 - 14*c_1001_8^22 - 49/4*c_1001_8^21 + 3197/4*c_1001_8^20 + 8695/2*c_1001_8^19 + 47879/4*c_1001_8^18 + 118439/4*c_1001_8^17 + 171561/4*c_1001_8^16 + 47367*c_1001_8^15 + 242947/2*c_1001_8^14 + 929775/2*c_1001_8^13 + 1380353*c_1001_8^12 + 2586632*c_1001_8^11 + 14856145/4*c_1001_8^10 + 17041155/4*c_1001_8^9 + 18916271/4*c_1001_8^8 + 4954585*c_1001_8^7 + 9255447/2*c_1001_8^6 + 11264523/4*c_1001_8^5 + 5897427/4*c_1001_8^4 + 1069467/2*c_1001_8^3 + 358117/4*c_1001_8^2 + 397893/4*c_1001_8 + 198233/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.350 Total time: 4.559 seconds, Total memory usage: 32.09MB