Magma V2.19-8 Tue Aug 20 2013 23:54:06 on localhost [Seed = 3137130784] Type ? for help. Type -D to quit. Loading file "K12n469__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n469 geometric_solution 11.95891284 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010712725756 0.814653843487 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 3 -3 0 1 0 0 -1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443485255433 0.472936873638 3 0 5 8 2103 0132 3120 0132 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 -1 0 1 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735386181620 0.662678833212 7 9 2 0 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030372773497 0.967037875653 5 10 0 8 3120 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 1 0 -1 0 4 0 0 -4 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.078587093070 1.038196363566 9 1 2 4 3120 0132 3120 3120 0 0 0 0 0 -1 1 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 -3 3 0 1 0 0 -1 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380852183801 0.681577816544 7 10 1 11 2103 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.188940088837 1.106584208824 3 10 6 1 0132 2031 2103 0132 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 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829759744035 1.095096799892 4 9 2 12 3120 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 4 -1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473535490580 0.269832774990 12 3 8 5 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842756361508 0.556047958087 7 4 11 6 1302 0132 3012 3201 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 -1 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528286702738 0.691381479962 12 10 6 12 3012 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463206840164 1.146931717195 9 11 8 11 0132 1302 0132 1230 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 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334742708548 0.715223401226 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_11'], 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : 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_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_5']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_5']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_5, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 6959568002950982301225692386652214086175350586258203795733260816759\ 768571678390989813552502044187994695333030854471130888998702/610756\ 1823923880507543196960619992228451450113087926624434229899745332125\ 9525069482106585688325337075604923261479331684523*c_1001_2^35 + 1602611602736900195656648268046644271170732483753302760917952838677\ 43730489144829020479526061099337950967655612034207413442962086/6107\ 5618239238805075431969606199922284514501130879266244342298997453321\ 259525069482106585688325337075604923261479331684523*c_1001_2^34 + 1403273697222257528478745556556720487643642102259209075592448111217\ 099231819923654238012922942895762474753690111209332054381083308/610\ 7561823923880507543196960619992228451450113087926624434229899745332\ 1259525069482106585688325337075604923261479331684523*c_1001_2^33 + 7248643500374476839421084887044082612202537065517456617478472397230\ 427385929638773207621574319726308951653462096784443396313080918/610\ 7561823923880507543196960619992228451450113087926624434229899745332\ 1259525069482106585688325337075604923261479331684523*c_1001_2^32 + 2788416922409314007915388438018521362977369584919430075628795182846\ 2948011188274029288223012593421951794124102198361623614152655536/61\ 0756182392388050754319696061999222845145011308792662443422989974533\ 21259525069482106585688325337075604923261479331684523*c_1001_2^31 + 2714344807178548784524413461759435196975996394185933648727639535009\ 115253236051497323265290565430686539751524229473914956277897321/210\ 6055801353062243980412745041376630500500038995836767046286172325976\ 595156036878693330540976735761227755974533770058087*c_1001_2^30 + 2170560728897734137532001969398744074136830800983168852245354597162\ 37209219896698013779997277160751341266330986230238046682444512789/1\ 2215123647847761015086393921239984456902900226175853248868459799490\ 6642519050138964213171376650674151209846522958663369046*c_1001_2^29 - 16566077348401966270235020881090839412017510205600060854351752737\ 0435363924724743458880732028807597430479632835613256183636173658625\ /610756182392388050754319696061999222845145011308792662443422989974\ 53321259525069482106585688325337075604923261479331684523*c_1001_2^2\ 8 - 482046081501455833485565855077573064713181093272946194097178700\ 7141032926529513455259357810053491884361463415697558851440541182009\ /300865114479008891997201820720196661500071434142262395292326596046\ 568085022290982670475791568105108746822282076252865441*c_1001_2^27 - 5768714373289793466884332305530597044288489199059652518495710729305\ 64647145402366509572510718770218176770885592675728603710834376465/3\ 4900353279565031471675411203542812734008286360502437853909885141401\ 897862585753989775191821900192614631384720845332391156*c_1001_2^26 + 8976580320833674943955019577324263884582358369271984460788466933531\ 228974694119563453863162479018251034730818765720902184850661333187/\ 2443024729569552203017278784247996891380580045235170649773691959898\ 13285038100277928426342753301348302419693045917326738092*c_1001_2^2\ 5 + 142072069412093017607441965961887005938730067631903912511490412\ 9473659521112591476824158072666599437660335248553021053241943869625\ 64/1650692384844292029065728908275673575257148679212953141738981053\ 985224898906082958975853667252036137178511439499441396879*c_1001_2^\ 24 - 50867121090329708117319910708228584120256822886933282354219676\ 3024772950473716037075293045582588604109358512646585398992608223201\ 253/187924979197657861770559906480615145490813849633474665367207073\ 83831791156776944456032795596407796023263053311224409749084*c_1001_\ 2^23 - 119132082183610210641410319091190753292913748562766082978375\ 4683116866098582423440375205467660213712242834572231778987275988940\ 2093691/61075618239238805075431969606199922284514501130879266244342\ 298997453321259525069482106585688325337075604923261479331684523*c_1\ 001_2^22 - 51774475547056887403554731839271476333234129355888167948\ 7357901254258044466410927793381303643861109911875184217549078129729\ 7230008529/12215123647847761015086393921239984456902900226175853248\ 8684597994906642519050138964213171376650674151209846522958663369046\ *c_1001_2^21 + 6769444685301210113770105890236725431934406469539018\ 8459135594845506068194015843267729111091120941063924617797767672614\ 312692837711235/244302472956955220301727878424799689138058004523517\ 0649773691959898132850381002779284263427533013483024196930459173267\ 38092*c_1001_2^20 + 17309544652998482280492548408692134000957872942\ 2846029232127890348949422453469286578466158916620178377469498973526\ 06186362970339620339/1221512364784776101508639392123998445690290022\ 6175853248868459799490664251905013896421317137665067415120984652295\ 8663369046*c_1001_2^19 - 334018968684431109752853341284318002820416\ 4868112850932849286592784236209208851423148611070590318384466586360\ 0423404054791361217069821/12215123647847761015086393921239984456902\ 9002261758532488684597994906642519050138964213171376650674151209846\ 522958663369046*c_1001_2^18 - 4955985667500305066823876347206701509\ 6101395099957356920068077434657413116016528703190759993046165880922\ 761886599412228983217829477371/244302472956955220301727878424799689\ 1380580045235170649773691959898132850381002779284263427533013483024\ 19693045917326738092*c_1001_2^17 + 2380708092873355509679721367174715840549971764960962626686125159360\ 4570015950060914579496553872936941430534842873743026831581730505767\ /122151236478477610150863939212399844569029002261758532488684597994\ 906642519050138964213171376650674151209846522958663369046*c_1001_2^\ 16 + 46667845519552896691269169848543583704166112143178353539602625\ 1482884902962354494482156846535959512783144354506860709897002534963\ 70387/2443024729569552203017278784247996891380580045235170649773691\ 95989813285038100277928426342753301348302419693045917326738092*c_10\ 01_2^15 - 353311515399309681678548808298620835061570903024281087301\ 2908277398570423559393131463928713769851790033609382689521417825831\ 492308923/349003532795650314716754112035428127340082863605024378539\ 09885141401897862585753989775191821900192614631384720845332391156*c\ _1001_2^14 - 455635589774841333190621852223858371943095701055544145\ 3073092350209849759101989596178616207260967790069241468323899510174\ 321948112753/349003532795650314716754112035428127340082863605024378\ 5390988514140189786258575398977519182190019261463138472084533239115\ 6*c_1001_2^13 + 460694876102974951850157384794790119441899368407658\ 6855048063548313752309805593697950831369049246952735625873384435252\ 657519184180965/122151236478477610150863939212399844569029002261758\ 5324886845979949066425190501389642131713766506741512098465229586633\ 69046*c_1001_2^12 + 81748162417976479455222786675612226079182529296\ 6575296654499370657212327060320182253138257393747983172005988329284\ 6963780955205263117/12215123647847761015086393921239984456902900226\ 1758532488684597994906642519050138964213171376650674151209846522958\ 663369046*c_1001_2^11 - 1779836187223487010750049038138571943594853\ 8986633667311066948487371663712658991843981830155151474647453187791\ 6560471586320643328931/18792497919765786177055990648061514549081384\ 9633474665367207073838317911567769444560327955964077960232630533112\ 24409749084*c_1001_2^10 - 62908748312249559251465053968411704328926\ 9305180592162490695212396386209892918774837729852950766881137003286\ 4871093607855299497181421/24430247295695522030172787842479968913805\ 8004523517064977369195989813285038100277928426342753301348302419693\ 045917326738092*c_1001_2^9 + 15120829436838916194189750629403233723\ 0190478752175115443089376436047185570767779792096986221156813245751\ 030916420889837158416245895/122151236478477610150863939212399844569\ 0290022617585324886845979949066425190501389642131713766506741512098\ 46522958663369046*c_1001_2^8 + 882606543192496161136651132724399678\ 8263371379308676320544176723544853360670120613552143568115286148250\ 68218031070459673529159416415/1221512364784776101508639392123998445\ 6902900226175853248868459799490664251905013896421317137665067415120\ 9846522958663369046*c_1001_2^7 + 5743412832632389518594170646197291\ 9822329510590188281659300065034550499696045658659429795537003293528\ 81107067931186648218899421346/6107561823923880507543196960619992228\ 4514501130879266244342298997453321259525069482106585688325337075604\ 923261479331684523*c_1001_2^6 - 25907741092920858565895700029731133\ 1580492869958712998806343369434875421047047243930205287239578037102\ 87342432731547183824532680155/1879249791976578617705599064806151454\ 9081384963347466536720707383831791156776944456032795596407796023263\ 053311224409749084*c_1001_2^5 - 61252690460947566254302432478184670\ 8930333198840446702062247950244567969332893089087725283869917573516\ 330529585112228283679767048/872508831989125786791885280088570318350\ 2071590125609463477471285350474465646438497443797955475048153657846\ 180211333097789*c_1001_2^4 + 18779596466252996405492820085402742256\ 5119301180900227877231226152268304047258171218400452006150968478660\ 31407060925876172260989875/1221512364784776101508639392123998445690\ 2900226175853248868459799490664251905013896421317137665067415120984\ 6522958663369046*c_1001_2^3 + 1974759069382840854564561172690744907\ 0872705030787293290877600223391233601330520656353062132363535562310\ 09945190281501923548405845/2443024729569552203017278784247996891380\ 5800452351706497736919598981328503810027792842634275330134830241969\ 3045917326738092*c_1001_2^2 - 5651827227592761158971743964758988108\ 7911391529507482693522151585329773215901362075717922289146790830557\ 357338821713391798525483/842422320541224897592165098016550652200200\ 0155983347068185144689303906380624147514773322163906943044911023898\ 135080232348*c_1001_2 + 6237726836642562206905316642034142203223785\ 3372106095261206769116406072596026905200050915480875471709004574870\ 922635596203812907/122151236478477610150863939212399844569029002261\ 7585324886845979949066425190501389642131713766506741512098465229586\ 63369046, c_0011_0 - 1, c_0011_10 - 17959755007926825770516544011944953205687738686035011061164\ 6195708859465776158441774577238064351205823028264/30992980872685736\ 2271249306539783119945588110265552554142731464505268460119965754227\ 556901667167879235614133*c_1001_2^35 - 4415520729773138310206670849682183493717455725732629215639408459882\ 718827960713637698213534049506863055892336/309929808726857362271249\ 3065397831199455881102655525541427314645052684601199657542275569016\ 67167879235614133*c_1001_2^34 - 42728270343542984730979108987514790\ 8566863589471140507309587556848377687624813583380861585130657030836\ 53011424/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^33 - 2452728209623075469369982114125404614181496327250562551625229761544\ 94902730685608543459002879489487515091699680/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 - 102882667858645115769078411220391\ 6016132466277887240263802550185810947608045151233332798506883094780\ 662880839040/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 - 3257481012529939458703962423907602271667233072033657679616153759617\ 970279221890173172348152073149958079525529788/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 - 6416112153853190721627167358056952081333701317597921382496227134668\ 572263622650308439847135133447663956332265002/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^29 - 1553400839049929911952769159295925800633361114452235028551707293002\ 476630720352198583054351101646739445751533886/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 + 4119998156662569445297117824753372879257705309816005911481620621069\ 056218725248933426696669564935288474467729142/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^27 + 911644801883571364977701299457106\ 0141179408228562670883502700357048047856604169711810888345473518648\ 005439869215/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^26 - 5849634073661462967053157540329966818594967259278095308769996095684\ 588239621189141563019112462824235551883878702/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^25 - 1956205891230124090197690319687301671938399450891921162270107719930\ 38309441685455846582878516222158980491993761120/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^24 - 1616251232473343231715571628188643624673913242081106390781848870081\ 38966896603397965038329299599237297640468516474/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^23 + 2929144890922327600584588005838423536705192263466650704327089779125\ 36010581694587776410212224992785412119525740682/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^22 + 4509096424768926533699240975536211029281929285130315757709648059152\ 84861724830381616573342842388447790163881829224/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 - 2353799067442978926356151890327749941686569605474149155351432334364\ 98281691375556915849241528627459474529621033507/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^20 - 6762605965305533733598511976297180516325543249293412304387293700299\ 20249434507236699040656924902563559189173663821/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^19 + 4943734901478179320636314986560105792384096603723169902454027306550\ 6364436175721734956311648872654944384026136347/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^18 + 6799354255556503581131184289628075519147924887969750078090377127594\ 71118524578436286787987640623411736983339385926/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^17 + 1183180512604770608788526249242327865492577477795026845270070297844\ 16805990949916195978781415900669656111775754948/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^16 - 4941434495025530580802034945963429273807824815470810524537945617034\ 31890588397341766144944128885860633989689227797/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^15 - 2424345804438357405187894934364942361324957125636443461932577106860\ 3313656978800414565424016460678435266686914290/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 3846341407162649735672993010253250732371576532407561235127283841183\ 1710257532235632715712643969331234684317371173/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 + 1274520789345148636356947695271150019960367828818500128576249727065\ 76821733630951043533209083971826366114658471603/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^12 - 1121902732712033829813663739220941850923378809198539052472536379880\ 83219312503564706865282202791792894593018509037/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^11 - 6403582047098834825419443055470897028975350491105335003830028630912\ 5705844518756041334196087932908120711160426036/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^10 + 3586019423610017060669972825921254179655542503079811495346651562555\ 3668268528275549484805984922367740360290648117/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 + 2235224555661334695505075534247538223073770098694183712830543252701\ 2121906871792739416697299623529033013431867020/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^8 - 8564842447452456701654260017884021454518824482740110315758836286647\ 042581189271278827544897041302279016090952174/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^7 - 521160035968091355762092125895817\ 2668088032890183343217136846416903006646968878167336366970190358579\ 547694785465/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^6 + 1433700309032290261242483714579266342482647918390830689365069481483\ 385833399156905284310635048715537538210513852/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^5 + 101684651838078774305506852810312\ 7904749812319936265618279858911149389868865557622216714870274615681\ 98967847779/4427568696097962318160704379139758856365544432365036487\ 7533066357895494302852250603936700238166839890802019*c_1001_2^4 - 1593422378060280584812090773482654585035398583674767909673972368675\ 97076987622103858337516543504138644928195317/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^3 - 3816392734790227737441537201310167\ 9538115631600818402249663894610113792397017470471479622370901554254\ 227884741/309929808726857362271249306539783119945588110265552554142\ 731464505268460119965754227556901667167879235614133*c_1001_2^2 + 1251526357214642667826884499636892024698978463222470141509992271475\ 5936088609582317213586196069127339509820544/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2 - 5579602164540340881510252717675346102\ 1135595397580787429373050304045733260576786824973333228754657027325\ 2035/30992980872685736227124930653978311994558811026555255414273146\ 4505268460119965754227556901667167879235614133, c_0011_11 - 27411025915698810560323612098318581782465044615523432431852\ 6800450295877655375685085172569554680234473665120/30992980872685736\ 2271249306539783119945588110265552554142731464505268460119965754227\ 556901667167879235614133*c_1001_2^35 - 6297383333856408027006392319495465966176366329333280880929416867094\ 907894269944467859827364407268779722143976/309929808726857362271249\ 3065397831199455881102655525541427314645052684601199657542275569016\ 67167879235614133*c_1001_2^34 - 55119222972079818433816756285332207\ 7702459924550988548120370574309068484701450790481410952359769202942\ 32500392/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^33 - 2868691032716038864366194371422303730455231592846637875645938661263\ 80044117721355859964933589010678085821172472/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 - 112114315963298941845998695305495\ 0499496811620471037286134450259931381886462275392716416991717037729\ 769127000840/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 - 3241472075198902310808590281976099674058716770129968505691666594794\ 889340426667373135756501761999857010612498304/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 - 4892854211432362519143496060124831603242043536530914792453784720169\ 812770944836314290873836040357818996252136996/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^29 + 4474651863367678088467873528471941309005189320791454434482581333772\ 140009858198226827818991386549499946150729802/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 + 4956234297253003300126755134289678355762782471500412652596975760900\ 733783949388192636386368413183266867957675008/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^27 + 580873295480630950541813295543748\ 1143154292630660105644928094192303580221560011093367597789902504755\ 249817907114/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^26 - 6603318607704626747034159828048329334309914532511456144309424170498\ 0435033542863396061568240117616877683866244765/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^25 - 1722014429701783765451458879421018551797922888183936787769582461858\ 64667818019257555853250105729125730249052407083/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^24 + 3136548364759551203843089579960220763438925245045418698010579741978\ 8190472619607869135523638726823739117141848925/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^23 + 3395186801108792224418337176248061370821513980677547071739621450079\ 54728218200916477969884858864762093188839168695/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^22 + 8969223757965796879805851539166715190157493345240487466214737287553\ 6713672134824535118293710252996477829022136830/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^21 - 4238740497524925427568900366646074270389473328275094433673621712877\ 16656269475130273173944243735761074323033579118/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^20 - 2175790012097801691292742328018166905509582551890268814303816810444\ 26046826078533915299985978519786270909705266969/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^19 + 3681959355330669160939703794717126294297835638697502550354149003686\ 68480082754438201449647880833321693298730476528/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 + 2588008417074888044174840739170140811995661386250981659930149888977\ 93925619736486133846690926051559785565952029303/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^17 - 2320249552076402501923344921458777257167705233461254445018692594583\ 60286456230013340346701676096129563468267902255/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^16 - 2048455043186241995437666637181849599500248925574582970157023693112\ 00913001109625423345068846429982144176532628430/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^15 + 1558951559597377051581523275421700718222585402288608055563555611774\ 1457213851380777386081395350082222539471083798/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 1663535166218243704386095874062286618979694540787942999497360389009\ 0158860173062263813480910027879517650269892647/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 - 3975062371706658336585382117441408032093761151133550703381593215395\ 0523618217055032077190902093723072217350811426/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^12 - 4815474790847757690491229805004927959153799611756892075189991069980\ 3696711395390647295956528937107161829655066538/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^11 + 1183616798918968399467367745507102578368633682992125172452648926285\ 6370188812748761594041211338547996647442885430/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^10 + 1394944332470096244421589748040449449053508309383072092940278670705\ 0309603920531207196566818203891637795224117606/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 - 3014975682340236942680457074912744733949625863593985546530514274640\ 302176264850593471340982853083618325830774269/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^8 - 251075693645294004631711790199692\ 0967654354132515396297504579677150791098764192749199658694185251906\ 418879617769/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^7 + 6666289580628272285523316576641773657972725762307834467616508026101\ 12508734644473283890543867091755306721483176/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^6 + 1827703593708864288670797923103842\ 9820540234488922042722388441531835374264822442236465907386325785525\ 8597521581/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^5 - 1812215085864697797399908624704861080411124596083601112246331032961\ 9478358363338301219002147896116136074070259/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^4 + 139878431511634465946377786617513642\ 6115960095063940226973723304465923477966398531587042610434975498440\ 7365078/30992980872685736227124930653978311994558811026555255414273\ 1464505268460119965754227556901667167879235614133*c_1001_2^3 + 1540175971910684370981011613624823948214363746284015526611810029266\ 4541442564468063862552089188277359242239399/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^2 - 17527025465991116378774300516230255\ 6692187955793338089308582564546422186646448950971375995953219393010\ 9040768/30992980872685736227124930653978311994558811026555255414273\ 1464505268460119965754227556901667167879235614133*c_1001_2 + 3569385725910141863688060167272014997566441473785995743665957654178\ 76461744796957674512389652174422569691334/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133, c_0011_12 + 57096641779955950757610299772651641698792875701962993735458\ 8691687582963247059466648706455512825133698590884/30992980872685736\ 2271249306539783119945588110265552554142731464505268460119965754227\ 556901667167879235614133*c_1001_2^35 + 1327785403214384335825184502326557417426585969594563558249642047138\ 8892259868494073347467941694162219342970264/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^34 + 1183222218988802341714345010449081\ 9674812109214695160067808141974944336156144827684882764319641275815\ 1941739556/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^33 + 6256737708822019266975463090083143519537218412984330539307824315632\ 03314230307977591536123999546125282673800132/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 + 246615799607085951142059288273605\ 2941195697993872972312594409877730443107437706982453772914767595883\ 904093753212/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 + 7210218828680940904943823562557348395525561811880114840116792486256\ 530327613174771258129131927638261283813688134/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 + 1129956141382988097927714431538627457941606671516898121755758069422\ 0609226142710642812157969263219647892515077881/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^29 - 8803870897178739041953127020799505046179223984405303813452554055027\ 207890193886712382391260074284978674108184263/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 - 1125255687410089082350396819912643501969532061556499844479681713211\ 2515762694873739743560781471991221651135751334/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^27 - 2947586645521505913634194053901482149211656630690627750483788127763\ 2399516388882869440274602241051098882726287723/88551373921959246363\ 2140875827951771273108886473007297550661327157909886057045012078734\ 00476333679781604038*c_1001_2^26 + 1372673183976387756123980024419848629016647825401191894117405243629\ 48783565913149342911832268928384404991772851248/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^25 + 8627489654510486365948946279685134309029337882774531083140015243570\ 61767054639065924616471296462796476070145881859/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^24 + 2782080944219532612597741579945536820470281491180415881752224824174\ 691710714225137524874750259435021241425292143/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^23 - 1704778660110711356149963423880419115309398416187272142087751743520\ 941952952009819979659827404859651430416611765873/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^22 - 4034385132991431348626911716441259833838761577302259368571433757766\ 47603865459510177276305587166564013221603614401/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 + 2118430909832620586329878981147283476271840861083727780461718624953\ 425538345693857484333286565180437177051881692697/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^20 + 1674362676442178560945846369120555452733912117073457989668957917972\ 022831853247762924048181769319145858413447208127/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^19 - 8963026159255975384816232941999347778828198792248919023053075193252\ 13575493204168176276009047007962120801799531458/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 - 1992560178239418355466242609044294466649119043088623801299619626511\ 275712365366106783499800964138717031605852288969/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^17 + 1042748257801694038488956712153145171549672900984865083478034952197\ 033423904396506809955832445236275164716840617797/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^16 + 1643119804570086424848305803667275584637352755835206328212385732707\ 689039579502133586725966076569179390617335151883/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^15 - 2791728318024397157470102477035720699733457669920666818042437491565\ 7432217348160577604396270538026050082997241346/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 - 7138007941477646688549328405185755576945817661089864464040142102579\ 3592521356989192523757686728726709077340046981/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 + 6523467921344185369601928579460097989585808010613584549894006342890\ 7514129248585386401162377740514726043348912731/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^12 + 2288857997870725987718151450437963570984754478091734011018167465921\ 11124455766585186033123062869684097687736860470/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^11 + 2027054202526521947942566085180515137774421481740209690862772918978\ 3618906939138121941655169604934409345446270531/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^10 - 7832944735973979393883916022602745630566613349146922511955154519344\ 0733466661772625576447118101733571363691507913/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 - 1791061795617998923006695930048705628228856989583945276716817619634\ 4238796790439684227510731083428056172380698999/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^8 + 1919679484635394554826079922644177452824354790945527295455203734535\ 0744415772984293565493789505233872808760774711/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^7 + 3042992811745771506414479980001358265223958167493159038324224804837\ 799583916153693822315981920221977407537325765/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^6 - 613663620977623049785434956470840\ 0805414794849366772509444931195362185187361967551238685104669607499\ 710313970963/619859617453714724542498613079566239891176220531105108\ 285462929010536920239931508455113803334335758471228266*c_1001_2^5 - 1572800594220479201092722382411435552117420119762987645413628102293\ 35337309391937724890789750830665118724416919/8855137392195924636321\ 4087582795177127310888647300729755066132715790988605704501207873400\ 476333679781604038*c_1001_2^4 + 26363777002451521649209927434689077\ 7764884201427807620919374220725503345891088900165938777269033058184\ 857672277/309929808726857362271249306539783119945588110265552554142\ 731464505268460119965754227556901667167879235614133*c_1001_2^3 + 8145786394627648099145678733186467053404067307144496122653471628443\ 9021779122336551654829633032259867938796297/61985961745371472454249\ 8613079566239891176220531105108285462929010536920239931508455113803\ 334335758471228266*c_1001_2^2 - 76162481131045177291779956047432537\ 6857058625802705083298572654284623526769533805882169663668675286059\ 1977667/30992980872685736227124930653978311994558811026555255414273\ 1464505268460119965754227556901667167879235614133*c_1001_2 - 2052856166188827497107837969825347172728447807928031442105514652697\ 09448765582972009391636337242611691860185/6198596174537147245424986\ 1307956623989117622053110510828546292901053692023993150845511380333\ 4335758471228266, c_0011_6 + 176732321316187320802754281933921264935442392411235790545328\ 38311285449471525865926243147795444454613594852/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^35 + 5417781795230929033563941242798886426619000961321116752015450687411\ 89715472330474006602891485432957565854616/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133*c_1001_2^34 + 680687018215212620247335595831249533\ 1140838885275908456724065641380585288262523390723878996009094739125\ 905844/309929808726857362271249306539783119945588110265552554142731\ 464505268460119965754227556901667167879235614133*c_1001_2^33 + 4888315572936453571028716326723137903325791926622816961929940475580\ 8686389982681891981177993170345507235925252/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^32 + 2414467325996352639162438206423360\ 0874732750113177011568044103333367114850977505491816126302006029716\ 1849908020/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^31 + 9052144524022646171774123108214541567006271601446421909050543358572\ 12728618668265521953454318863662851410442774/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^30 + 247029463012273139503963782113964\ 2042425290277909881204723890354362454840118713582301604425071818030\ 051236051569/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^29 + 3716473018790935609831251671599341011535965915253199768256769404132\ 920573040944099922740561730093308185282413833/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 - 3004966035113603801864155351593523218478956223299043786804117503084\ 27137643249264543425133805648949777294297242/4427568696097962318160\ 7043791397588563655444323650364877533066357895494302852250603936700\ 238166839890802019*c_1001_2^27 - 6350573457483815757032289218785770\ 7655553526986520665349046759378030908310758001846658705624018284535\ 51944255515/8855137392195924636321408758279517712731088864730072975\ 5066132715790988605704501207873400476333679781604038*c_1001_2^26 - 3351376485028558480685416366180887059588272192771064259881993208665\ 0947738531025926722424555798384033558566138150/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^25 + 4673870080474806178971873201518182320716387069119519872874675549043\ 3065902149956834312300922558713641429049130315/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^24 + 2356041532463764131231412060714531472135693375879524634376907650451\ 11971232134411572556454079802157931376816337375/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^23 + 1056421524746946800919390037167093162254003839723049613213974002537\ 20507114622805364780280331607274008542841704657/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^22 - 1896201027571675278859743577981454140133797461502606700528977247389\ 41274212837409629264265893954816618095284082211/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 - 3997152002065619423775963516539091252508073761564030908848589998504\ 05158321766448450314280309282918697680621100153/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^20 + 3394529280645855146524741739217491357238490628353729201550533949707\ 92926109005744974952652030043360324816875882697/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^19 + 3168703224215104222597103856802989160717043244263414991714104565108\ 73743588855719642015785333315760082775208831966/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 - 1319102209925190063902770646985558172371427183418372376051468605696\ 01871240302177524930314408193023160857560194047/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^17 - 6358677389248154728556307603037738183273762758184776701480160005752\ 47725809129706760944707067771327945676587903195/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^16 - 7150401986852057229126608421209870903414255684451875229643440011358\ 6610072937079469493846550214731484961933833505/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^15 + 3182735926484667241370604547061098091554185477326886243942273016260\ 7893888053244606171755657646189697545768967367/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 1054170468041418112616264407257537589617641956817896008213243834970\ 6587779671149506649809619568099655573410242682/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 - 2256128879750822547748473913994940120370534270459354769719231562393\ 55934946995956342184388340246981574517854114535/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^12 - 5819794123401067758185065689376967539210448206612823165939014587365\ 7993349765942617044372355254442380269277032019/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^11 + 8264509827815412764917492648888507506793944807661229604333257669602\ 3461777223619659415361878510796458923404071123/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^10 + 2907641298999052729618399510729488433480707267527209824728612470896\ 6791128215486261896040930689297296240433478915/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 - 2097867935045878720785676485542826488902934285757331042184005435909\ 4002684381073405718211174860483534592976980441/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^8 - 9872759062447999397581897781156014534184096231267934040037826113430\ 214687165256295605764500835236833608050923832/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^7 + 156581350404552458869508259323171\ 6478979043680808697457013033355437102361464920325329214281020037108\ 402535401817/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^6 + 4380070805129291813674419490817493121647254145528364736974757581931\ 765324339073303564546523367100322401668066937/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^5 - 128605212142514053533837388165631\ 5913936672877460305499963076540703748478309624325492145245674872820\ 4054687173/88551373921959246363214087582795177127310888647300729755\ 066132715790988605704501207873400476333679781604038*c_1001_2^4 - 2658040340790256438913965196616139457867547413665313482997563679215\ 54704925988422141268246372236464192083567483/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^3 - 3662367615521950508923172533583778\ 7826271512567196521005738901528748431032662212934411942123646751801\ 833249019/619859617453714724542498613079566239891176220531105108285\ 462929010536920239931508455113803334335758471228266*c_1001_2^2 + 8890085017957989117465685505817548797631772415845777351022075997385\ 815027063692204274392696594720878736698722/309929808726857362271249\ 3065397831199455881102655525541427314645052684601199657542275569016\ 67167879235614133*c_1001_2 - 44726262637926267031964817288682936033\ 9889535835182338955876513491715625780303799661606677995133285106373\ 805/619859617453714724542498613079566239891176220531105108285462929\ 010536920239931508455113803334335758471228266, c_0101_0 + 216554065724298631942592970289776272914100910583820196765387\ 72601609790865335073525845056913338472503027444/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^35 + 5096253030723069979868102206635742078379877265025236392832263839950\ 62423500206308930702044950954898151512328/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133*c_1001_2^34 + 469474330008547894413842632286980233\ 5025516773076672469052415359370010329988590977827058194691540906144\ 254596/309929808726857362271249306539783119945588110265552554142731\ 464505268460119965754227556901667167879235614133*c_1001_2^33 + 2655155928141362788258390854610568716187270339626555421191537429666\ 9828962992727690617175775864152078495234884/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^32 + 1144029208929084552637148326594380\ 0730731766549276201352617519227104132504260142622579148573009396925\ 9227844580/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^31 + 3765823527385404926765737315652014894448585194562266813827232516483\ 93010384065003882553089766485294552294063358/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^30 + 814971155562184824553256177833513\ 5226976831477988015265235267977367870534042150681472034106089592019\ 47417219037/3099298087268573622712493065397831199455881102655525541\ 42731464505268460119965754227556901667167879235614133*c_1001_2^29 + 7195167399123433367141416064254398695016149716108930959221356385882\ 11910845367703108707647193854828346934717449/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^28 - 210533166379838468383084161522605\ 2767163580085690708317996534076957521077399541215838672154448266047\ 27548760318/4427568696097962318160704379139758856365544432365036487\ 7533066357895494302852250603936700238166839890802019*c_1001_2^27 - 1491193298873587142051335594353404928798247348104630645638641272825\ 277292702543674951040378843652352091546129351/885513739219592463632\ 1408758279517712731088864730072975506613271579098860570450120787340\ 0476333679781604038*c_1001_2^26 - 493524855469649841322228498149635\ 3046157762979224051613549915236377531644782709267458881876921625799\ 291430360508/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^25 + 6985890294064447900990603029053220745511839389536086353625537049179\ 288330443414498818697811936176372231107108775/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^24 + 3147848081868792109090932478246365503457920996490759044401314314947\ 2961557901672139127097920301424960252546179975/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^23 + 3665463440948445713642010765794834819876443050079864960022923811098\ 6786709513498128123255900743758750136415539129/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^22 - 1061728176649116100254533623787416178971416989025695410724276447967\ 3668310965972888835185619650156259720274683191/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^21 - 1043653483955153275925351221258080116782445682936700037817984316567\ 22417315603543990338497493026178386221300987213/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^20 - 4311809129598591193962715317891350098742722096629762668912860441614\ 1471561191417533376809504414942508720994514253/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^19 + 6979953490043187482271944405970224902045216684624237562570998019636\ 1594240402120941498212594782571151451411195598/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^18 + 1204167666824566435073147541758765304788196288739191543020846137464\ 72380174379808911576292567534323870122282698469/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^17 - 1136068157317105695425586871835656469198616591670238547055279880786\ 08858771448409822562732116769507151362254237661/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^16 - 1507547550013663534691660115828154099164667555094812108927143615797\ 23347190575984304076406866377621555600849020037/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^15 + 4012350311168505663239982988777275196945261413714876711493040642527\ 457603483672652176624015704179569898097966691/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^14 + 877229361899551268288197076757063\ 1333073164143741368741547953224224812835224317639100767525095417359\ 226443759461/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^13 - 1189578019340493890051129500178805917163398162087757496269183269146\ 9907841059876455679598745791230579789631065639/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^12 - 3573064241782049126957659829634948399493892124605515060596340252164\ 3058474196035065994074966643919538399656911527/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^11 - 4721104805266857116074862977988974050806896306339957724232186912128\ 111359283986974276402982189442407394126955635/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^10 + 1528216114073143804862945550623058575842010692343587438793104410125\ 1347999828262022159973554050291625844298502774/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 + 5105030563129648995966448817039699106735636919746416601904209654093\ 892398004182081778308320521036000361097527167/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^8 - 473034008097916397475752158274961\ 3733583868679471834763952069945949974235442921145846261105930241780\ 716999146540/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^7 - 1075970589935210231360320379390110072479161861100032723303539552918\ 648799128326663961109764031801487216383913109/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^6 + 196838334257087444065407088183774\ 0875680323952563261143993562621776521817208372002968030670798390575\ 220904548849/619859617453714724542498613079566239891176220531105108\ 285462929010536920239931508455113803334335758471228266*c_1001_2^5 + 7278586706955391159036018813422787132780440923985818256747112803468\ 1366642340942947853592102520739348458672357/88551373921959246363214\ 0875827951771273108886473007297550661327157909886057045012078734004\ 76333679781604038*c_1001_2^4 - 114262388616495391803867920683781472\ 3462007363760337632726959108727408327567590166983806352378342748468\ 71636078/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^3 - 5604495966589637601266544359570952279486019593300016596290405411080\ 7644013784872136247290729453582714178516685/61985961745371472454249\ 8613079566239891176220531105108285462929010536920239931508455113803\ 334335758471228266*c_1001_2^2 + 40073870919245655158764737900067796\ 6500406326898701575382477105065357798768574059972135650370264141616\ 9055863/30992980872685736227124930653978311994558811026555255414273\ 1464505268460119965754227556901667167879235614133*c_1001_2 - 2353149999683159864157993305499009965783926706550615100597213065128\ 83157379150107463676765695915505856205099/6198596174537147245424986\ 1307956623989117622053110510828546292901053692023993150845511380333\ 4335758471228266, c_0101_1 - 443869863965323131404703259614716170723591164857084633842996\ 237090215452114987451787474213174706069658853392/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^35 - 1026094472831053474925132076151096648709056596677601849375352347945\ 5738833877015605631045152567652867901337128/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^34 - 9054225825915764881975575427894982\ 5131632649260172688517933796999749170664930380594701601991876996039\ 874136752/309929808726857362271249306539783119945588110265552554142\ 731464505268460119965754227556901667167879235614133*c_1001_2^33 - 4733392853603339952960162823177431849898965752864485237714231267097\ 88538188293359227956212059542484418931610872/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 - 184716082398001458851501991849672\ 6092373951825760273980300088041598682127751659301767521554961471984\ 015635849152/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 - 5327125064798439448469680758036925309957341402743559756480026919380\ 329209964935332513935763175403044573534652104/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 - 7962991603036281672016709138335924232377981453932868345085255001038\ 905266632500686474368644072675370493834029184/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^29 + 8172890135699852246893627390882191023660710371039349674631023424879\ 871512540833497748910736131700350722177242506/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 + 8621630538999433782482565120889598242239770327223743361928010926623\ 863398302091692453701218494332977352024805278/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^27 + 101587563121041249918013490430792\ 1690760890456632946736232352901250514627764023641264248353760523314\ 9162821700578/44275686960979623181607043791397588563655444323650364\ 877533066357895494302852250603936700238166839890802019*c_1001_2^26 - 1196463127721499719251809140026941193704915029903446892540670087302\ 82793926587954685856010688663192401118256430901/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^25 - 3208637574348062717724196437474554362375884686730415711233219435138\ 35636996117329491800089940109984910594344836576/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^24 + 5182694040106265140767821001094869637549826241916385026147284019838\ 8429142510232790362170242091005832936112612747/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^23 + 6693600087752140303368727929939718735970055261303637933174223831013\ 10501434250874095937314772375819025308535174520/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^22 + 2106969624790938623734866377032187148665425077708501398459463632072\ 85096263874995036364220106372856797320641391136/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 - 8849644388715053306525297362628029912976814606408302999562801871506\ 12711822798597715741099858224311233929197690642/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^20 - 5258458185618443819200715198675484343704286552909110223665148264373\ 27772230715755191328265398349712689984261902356/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^19 + 8142206370494222862337153365596667995030521561229476533956485317328\ 08914449877750753561700154365029543273004795050/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 + 6727857596093164175815090652328043050691525616310693516601573111612\ 95945614052544535683015661492278909409721431346/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^17 - 5396070604282016224483491573800929329605747030279402075146688278384\ 05120264624812168940292229215880498702152559156/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^16 - 5837110860448815574984897513075644852321874621844834346088805152489\ 50310446074732313925657821817370298002596747492/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^15 + 3701375365131100658359773790598903379185667920121049412581199059219\ 3658857235702062876191333518684636032707753935/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 5304043933388044978314986203324769905883476644613871723686367115860\ 4454898363806773522247732472313898104672359671/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 - 8844035299767829732577840960357695917502305215323913767273044762581\ 2793723537235896494789276171453100110070947055/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^12 - 1775089727402080250195826863933506786570657527254859409684993456091\ 49769654082762614602097784827057751490951332894/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^11 + 1999016580417878250420587325685790029051344430901006004447187369011\ 3057152937778830023072468472541645912721404066/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^10 + 6335976952004002471734485337957182327418307119422429472978415556159\ 8293562160189839838268000868506643532863149979/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 - 2130530467269318945932723365268074964463361160393793701119489192475\ 950420704817383619098816888303240859271052059/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^8 - 162529785552748724969091131774468\ 3821878413153295618770642052009277278067574352790281800230802380590\ 5300876164660/30992980872685736227124930653978311994558811026555255\ 4142731464505268460119965754227556901667167879235614133*c_1001_2^7 - 3072650992157588635821623916149858994499087298334338689542703641565\ 37762187913402201747451142820173994198220288/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^6 + 2765055898837613835696003073423605\ 8186778676822915906549105613005672725212708718559636545796423347360\ 21908223735/3099298087268573622712493065397831199455881102655525541\ 42731464505268460119965754227556901667167879235614133*c_1001_2^5 + 2055699817473527624377046240732022669068174765611876596078533180916\ 4995360924723189728587157006726304491337615/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^4 - 265505321154826170801505541036770547\ 5544989986460591620988359379545920711249613803423122819550173927516\ 97734286/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^3 - 1285246484809124698189037654831109266688438422465785800621465328098\ 6606752137909631620903672596177536736760443/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^2 + 95913777813748297390781757799047940\ 3286653247516729531329422862360878650589364512947484913599643836438\ 8554471/30992980872685736227124930653978311994558811026555255414273\ 1464505268460119965754227556901667167879235614133*c_1001_2 - 4666069229240562623373313311548531100385907488020090740744789259686\ 31100989722712168835223519833405225101222/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133, c_0101_11 + 27933536215721139937175802522149561368144585205089525671283\ 393999828154932922570427876660959406814497734176/442756869609796231\ 8160704379139758856365544432365036487753306635789549430285225060393\ 6700238166839890802019*c_1001_2^35 + 6395500099844069968042338046986823724984216026618399774620095878476\ 99526193719236969995543373507520224521264/4427568696097962318160704\ 3791397588563655444323650364877533066357895494302852250603936700238\ 166839890802019*c_1001_2^34 + 5551242420705820331987536244338036032\ 9013502751825626902932965073459399231576697620227808441125458118565\ 56224/4427568696097962318160704379139758856365544432365036487753306\ 6357895494302852250603936700238166839890802019*c_1001_2^33 + 2843517999573749278775048605380343396454820531982667839819857773361\ 9627463206711569360628627959435992295217856/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^32 + 10876286488588233783717112851496985\ 5594248276944346747451326367609985110368398750806627443290113117694\ 027727992/442756869609796231816070437913975885636554443236503648775\ 33066357895494302852250603936700238166839890802019*c_1001_2^31 + 3043589296080951467685752517871080759527079815847467830758927634386\ 27124706371592395067364367136368133976812176/4427568696097962318160\ 7043791397588563655444323650364877533066357895494302852250603936700\ 238166839890802019*c_1001_2^30 + 4049899844533175872626180681649760\ 3093258776442347195728143372403448963157962529458670747289232248475\ 7703598624/44275686960979623181607043791397588563655444323650364877\ 533066357895494302852250603936700238166839890802019*c_1001_2^29 - 6959739340590918209839133815679516055918260305119866651768562392529\ 31374440274255148370126894799008682141199580/4427568696097962318160\ 7043791397588563655444323650364877533066357895494302852250603936700\ 238166839890802019*c_1001_2^28 - 3830162773406117068187254407693580\ 2432033097525240687081595155329942859579614427830875638342695904208\ 77507897764/4427568696097962318160704379139758856365544432365036487\ 7533066357895494302852250603936700238166839890802019*c_1001_2^27 - 3705204925036016044059317661841762083032249555846689467208478709181\ 492136574313909911759848245912948534052698708/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^26 + 905495442219144078113437209961342\ 7113331757090317540279773636624439385945608091801415160230305190043\ 422941902680/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^25 + 1987220384716453234666783333724580639347667853188801724809962617190\ 7285150296253647204485841163723362405615030750/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^24 - 7516502800069234205311239260414992367322290748112862996172632577254\ 375834283428399980499356295266339433896458262/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^23 - 449670442712003800085733663250190\ 7549635457215944489130037269956036888326865114222833505045723527407\ 5445939620259/44275686960979623181607043791397588563655444323650364\ 877533066357895494302852250603936700238166839890802019*c_1001_2^22 - 7665366884513542552479128605501371615520958744181774293153584648090\ 655865341089170972591269329651922102921918150/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^21 + 630723826931590396807534171673544\ 2075465455196048216633962308542137285931412483275912424086205863544\ 7283106858480/44275686960979623181607043791397588563655444323650364\ 877533066357895494302852250603936700238166839890802019*c_1001_2^20 + 2960690188556731527674793852837549853433830441120799265262108068266\ 4211555283327849564537541654864847948307008796/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^19 - 6086015243163966990082606166850193311386123084603700760933262973216\ 6146826541288906531053749175158088685721356145/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^18 - 4287649322593938216804335479378050418029157949979166023960061207408\ 8077842989147565677791475683205084843628434476/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^17 + 4190334594554318755670214134542122407419162902727731231422473778047\ 2697582262002022390940062074625497405924745754/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^16 + 3995976942255293941039094721263876749974611681726211860333334175334\ 7154211857026339746366120092770325422486143144/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^15 - 2061817450514416538044749231866507079286758047592110435493707897172\ 9000270826085737400959076799347203071178109546/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 - 2670018566543680860644710746779289478743262612116720579694070405536\ 1226200750199217340692998273025021820109963110/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 + 6963917368582719051695783460062618257913733329238422825618679189442\ 859955740613765395534087034927654026027201419/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^12 + 132272910694705760043187852951395\ 9138727317890237874526336474092503298950302997882217996284800827354\ 2518072082366/44275686960979623181607043791397588563655444323650364\ 877533066357895494302852250603936700238166839890802019*c_1001_2^11 - 1353031018547812950189777682266984128973295680491249492861103569580\ 657465056586182717692523852055962372969185045/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^10 - 485342118008686599861133946704185\ 8380494922338981677322714881063559336800102178629396231911909159084\ 833831845353/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^9 - 2679931790979667704074300983034685349601453428568777396691387725322\ 0050059652601611830453130350576200461387068/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^8 + 127614860689443168833582887153374376\ 6817331602152977731648546485057065050016623645294022357883317470887\ 050006494/442756869609796231816070437913975885636554443236503648775\ 33066357895494302852250603936700238166839890802019*c_1001_2^7 + 1106006539932153629847672247568453363354499601448483721167342106639\ 33770489806303089455643700640026543859417266/4427568696097962318160\ 7043791397588563655444323650364877533066357895494302852250603936700\ 238166839890802019*c_1001_2^6 - 22135845073181063485747766135854708\ 4604492325633731860310931485490072207043956146893327991113948865113\ 489564401/442756869609796231816070437913975885636554443236503648775\ 33066357895494302852250603936700238166839890802019*c_1001_2^5 - 3286362160526817123142255584458941381175413220730566776802906918771\ 7815281732276250350824212714219006439356126/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^4 + 206467087519356578338106974777526375\ 5042650280828726034594317616982970804949498478696816267638014263797\ 9123111/44275686960979623181607043791397588563655444323650364877533\ 066357895494302852250603936700238166839890802019*c_1001_2^3 + 3570860607378066576532366293841313393110752188411153601523513791471\ 744014769360980337577724270909193436352507/442756869609796231816070\ 4379139758856365544432365036487753306635789549430285225060393670023\ 8166839890802019*c_1001_2^2 - 4907851854642375243734413358432561477\ 1717705888151795814165111220629947357200953204254561108995303071891\ 5949/44275686960979623181607043791397588563655444323650364877533066\ 357895494302852250603936700238166839890802019*c_1001_2 + 6286674734106192176921579964899914243938935857682670466302720171123\ 583158225252572064961189480440806161474/442756869609796231816070437\ 9139758856365544432365036487753306635789549430285225060393670023816\ 6839890802019, c_0101_12 + 39537263159596603774562106598815216275719516578176072305806\ 1943794500874381826735699267261563750528320870616/30992980872685736\ 2271249306539783119945588110265552554142731464505268460119965754227\ 556901667167879235614133*c_1001_2^35 + 8894819029656455667617314646692555418462162994981726646080190534482\ 786004632646919966976820915451101280934616/309929808726857362271249\ 3065397831199455881102655525541427314645052684601199657542275569016\ 67167879235614133*c_1001_2^34 + 74913681514074662233795413471845651\ 9750131932660189956832134364831236956378851731902580148709382510360\ 74665560/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^33 + 3698648884519079793804174396831524314017364600780895235041856762691\ 09200187503883707903884225253550005733104720/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 + 136671739859414981707281116948198\ 8077074535383649018930134236631928160894515423402332975131428411378\ 659701157296/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 + 3625204683239488455348540714541271701994861776636472266914104837618\ 845728061833435038691594124319383034454928932/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 + 3729242656562328484003396171085447935596169267533212023212004515895\ 708428631316848758066086152085527324693665626/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^29 - 1302752959942762272920759103512396828082619030733537339295884542960\ 7721505299376803603708101325961434816337668856/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^28 - 7424189533358362383223923538340894564671561493374721602563130843419\ 633139543863272884788112856108600413463661530/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^27 - 442451639035970969656993037205111\ 4905898320379357174133545343734766704387237525512951017815839176814\ 653041261781/442756869609796231816070437913975885636554443236503648\ 77533066357895494302852250603936700238166839890802019*c_1001_2^26 + 1571071406006157096648720446175190619910846312560881071183782995335\ 03424771039049417002222271050793495899485071039/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^25 + 2458832969026909886596287771848251481253261152192105209029896746572\ 55929625607700502901065960847818628456588499433/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^24 - 2236761536589622388533001541572343568660169855524868460212553012496\ 86636253022055060982420754136379441106613246754/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^23 - 6438806636691807571799003711760073978867022206519240382161933608651\ 94623295658850011443332338038831494438543148166/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^22 + 1161639806969564208915890313552907499058206974967434514386732920215\ 77926615030548064557627857139039989447769084058/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 + 1014486667726927112924633863637131012131993000966751927604010452844\ 074632601660917736200247487450485585317641001752/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^20 + 1516557393527724561990717406826022777773592034712791229715696427521\ 85412787130825235388691251396080730092737474593/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^19 - 1100557814147198687053450320473152542916812902768054710034476024178\ 861952460531908315773180663345145167031026337148/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^18 - 3955440826606884372962046708945645628417691704992089520629389105492\ 37195648171068286859329714812035115657575672984/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^17 + 8685235513006305660187425416508744086236069171897287867405004677914\ 51098249743642054311717136993656179241760883712/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^16 + 4576512362998597135997706119664249458901441077222148172824072902603\ 45493268920419049670370485716800872283908086539/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^15 - 7311000842246047911279648501465628028629805995723220998257049242446\ 7126436882638867551154588265893862027522882512/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 - 5000137611564294841308263649355908275781266346204699634755456325109\ 2400316742459062157740061878147181428052482867/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 + 2274554671844937165082083547734586343189869533671820623220572917433\ 14325918248692869568664019644419715472382309443/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^12 + 1922075137048253317584096604013319726076184426362750200173363301245\ 59525547825122910980255216360008551610923969961/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^11 - 7562492130980001218008715580611346180328675262601408380069465831435\ 5394778993875549687874235197990477991334191508/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^10 - 7706953765554730959261674089321598147530190876707364148822853563329\ 4613335262388058599244460657764029256072050362/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 + 1791408190414457384386278476869185668940560410032814606963937378918\ 8838558734541491257682805226861343537583074051/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^8 + 2212222557763080441328883667944685061003786781820069765029788916609\ 0831709331892616919306003455246273968452343212/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^7 - 2584352163696879159086356830706300566937592772372513807763884621136\ 939876424455379670572937820857330172944999290/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^6 - 425868524513045327636934861505076\ 2612976523527759090969369387671406006316601448357314828128755782168\ 960659453916/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^5 + 1590376768608172463370861895926332529621064412868734041438371882862\ 2617645315661712452537480002739898597076666/44275686960979623181607\ 0437913975885636554443236503648775330663578954943028522506039367002\ 38166839890802019*c_1001_2^4 + 465148374915315845266560277822246713\ 6456519922149303607384969816367612515887184347678661545534391048098\ 30648644/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^3 + 1446066404174979071006828812496812251814968870184530613764104216331\ 5808459731803407753941156308670501414153975/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^2 - 16633136303388393862674276562834540\ 0281541384848624725155287274482595045505774722337645598391112630930\ 96625703/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2 + 8600073918103867837870684829757479988731749107991170327735155312897\ 56526625824957335650368989097063676665278/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133, c_0101_5 - 119577453651556111284033730041088682569509528890896756835679\ 390130900920558948458674027998619296191719838516/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^35 - 2548214450725617234397541737739716075799227884572658542758854924656\ 907331922567631740673921311464407695320704/309929808726857362271249\ 3065397831199455881102655525541427314645052684601199657542275569016\ 67167879235614133*c_1001_2^34 - 19433742060176545401606943553193015\ 0163645427977873333512510458037846807712292954687027022769970097668\ 19426236/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^33 - 8419558964357675061756398379870696962831791432269951042203551658270\ 0941351957541416657603782345357300401327636/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^32 - 2725671159502807049667629314518727\ 4357147248793433623735725268375734011480798490848954600009257141925\ 5917028884/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^31 - 5569197843392504451257072827048651269962701027644187511919670492292\ 10587877924126678490469640798242130476843166/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^30 + 387595924127162185237259552682113\ 0130170673442451319670720732797626741304726176284134861776900190480\ 23859868543/3099298087268573622712493065397831199455881102655525541\ 42731464505268460119965754227556901667167879235614133*c_1001_2^29 + 5991912499485415422017046964164596453565709403533411659412224094882\ 939222246923770996775117830501227002476480229/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 + 1802597272945017798306348080862210172192626061533118525136000807837\ 500600622005603991183849962905148920065105858/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^27 - 233833942168138010973993365865339\ 0245436514263675190841549142420865017706279688706339696884428949224\ 375566873401/885513739219592463632140875827951771273108886473007297\ 55066132715790988605704501207873400476333679781604038*c_1001_2^26 - 6380968134539036217579837727863853295781730423252302191765364812555\ 8361442993562072032216972711738045416976487171/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^25 - 6723587453745450150528583605318750954640746666894906466366556203446\ 2320789392026177773793191525884031600394401393/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^24 + 2991981091960751155979959966940717001098546429208306887136833462964\ 88312376547218493046909916644116193041813530525/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^23 + 3083329937475634421521351866022582291821449625184562911612576874920\ 00094878223943832673704671563110263990847424003/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^22 - 2126862413651994211135588421346774206301683292103181753945549077169\ 33507436327347459299162280423969116702365291019/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 - 6199309719470643113472412786486148431968498268815379905388245053564\ 95429503779741077818961279984921261568737474715/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^20 + 3922304277021330486039220339139322817463168383338741588159333990652\ 01627040856625513091048689656831679051045094753/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^19 + 3979296759955101922296619766270042157015487254406738389539682391602\ 70462266087061223073599220697123428660239471244/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 - 2234369142098120451639243035206025906449860022562503479383166340228\ 31240060636760658872333332378803192302532052633/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^17 - 7254432754203773631050647729266121693584350219474370466559578503937\ 97154220045929296371274976977933679849924097931/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^16 + 4959903111959222518814983377114424679011651534149929172234378181787\ 3772150014582241700520708142536997360096694811/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^15 + 3516539275355465783428776729535591023200672692725833808447803751101\ 1850501336327636238522175584616893541733476980/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 2587705390607644710087904957499778112714898961432748400619609786821\ 974705586564849050987948875642767441058572404/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^13 - 253977827286792675851311416217404\ 4796131113189901225788530967156056131086310105896776934858508257840\ 78569121081357/6198596174537147245424986130795662398911762205311051\ 08285462929010536920239931508455113803334335758471228266*c_1001_2^1\ 2 - 213028978192009470574053065104107551871117642902829559652322262\ 28104499801701409631332107421603500758822469533655/3099298087268573\ 6227124930653978311994558811026555255414273146450526846011996575422\ 7556901667167879235614133*c_1001_2^11 + 9933332626647021415004020594085097576596955157567698361307148807833\ 8894382099379905322714316040273626359265642013/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^10 + 1113467246542499686532731966295500744664421339056139813477635022580\ 0855069183494265487171585275112169083828819297/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 - 2841439061604790820823692965573684405331462141558569272524069670648\ 4273054013994245176442855628082631863986023309/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^8 - 3605292259384825916185500324855750076943275859367809813072043282526\ 259338733121063703230590054281908273413293984/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^7 + 271612236389677631988531644891299\ 1769598878317237445163418277395862345313576162684109217578812807859\ 638580610298/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^6 + 1452985404357126049488295877301130530781943209249428175334404663666\ 843477772769322413111751580153114708906575335/619859617453714724542\ 4986130795662398911762205311051082854629290105369202399315084551138\ 03334335758471228266*c_1001_2^5 - 799374595101370218438876802290804\ 6970766566262262917191689642086891438693900616575537982396726213788\ 2819505945/88551373921959246363214087582795177127310888647300729755\ 066132715790988605704501207873400476333679781604038*c_1001_2^4 - 7159344142308881605887267723744479985404719282842701779288882580325\ 0705024932412760192854933542502771570683942/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^3 + 11766469326802826989286121665889469\ 3784799377611411426596459889147166145721622533008436437486319043199\ 23503261/6198596174537147245424986130795662398911762205311051082854\ 62929010536920239931508455113803334335758471228266*c_1001_2^2 - 2741930898887383842381390366653902063486265332648176036714173860763\ 28655088235646445745110077471240267839705/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133*c_1001_2 + 590327490271395106376258937697624841635\ 2695704327233987906531092617620522548029316489044324789544883778310\ 97/6198596174537147245424986130795662398911762205311051082854629290\ 10536920239931508455113803334335758471228266, c_0101_8 + 297557784904244275009889769794928043134750008705705707570019\ 69717258240271899905325673041461412152780133304/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^35 + 5830102782122100042208553284696498408183348598430597546095332689252\ 59612369149651305859260510425444421479664/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133*c_1001_2^34 + 367370072503482625542979034356268818\ 2575493679913199419939952190990816209042221790893264917832295812497\ 214712/309929808726857362271249306539783119945588110265552554142731\ 464505268460119965754227556901667167879235614133*c_1001_2^33 + 1095038710856169813151615011703935314699920272425519554592174113288\ 3586732995636721746136781212781760537088520/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^32 + 1686557075211086063593496766458975\ 3135596518602167076342336105223598348202357414950636042603531442577\ 321371848/309929808726857362271249306539783119945588110265552554142\ 731464505268460119965754227556901667167879235614133*c_1001_2^31 - 5645291964021085407527340232061141069021901663816235324676674583965\ 3394237092116795034586409130892746847762420/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^30 - 6425881598372468583407360549820301\ 0134300974343225347692363227238965176462551620359883873062379346765\ 3233742378/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^29 - 2220227695287918900508831412087599750829725590782500348273603587972\ 521373469038433355769482797024273899935095698/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^28 - 2785020166726805163924031720582418107590960909082281009571129429738\ 57109951364222545473903825159769128765717844/4427568696097962318160\ 7043791397588563655444323650364877533066357895494302852250603936700\ 238166839890802019*c_1001_2^27 + 1232734729389492666402791925264073\ 2791660719511067231170274959212975038074877758498584665311031482877\ 03880560623/4427568696097962318160704379139758856365544432365036487\ 7533066357895494302852250603936700238166839890802019*c_1001_2^26 + 2216271027650294992885048456952681136429239085748295113160032332018\ 4029947059912381259865538538514549635094927748/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^25 - 6765058923055175137002688149461496644642503290643540766484472848298\ 521320885159521670689730513905607959597589077/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^24 - 6940339086078366105898514568844326247248901717576204891220127248498\ 3978714276195236791508675773638634535550232097/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^23 - 2579875169885087970894963910959848931085224055682895637530917853513\ 0606162423910899131690028874660029995164556845/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^22 + 1222874259215884729958480690374609647647299541786018028713834871187\ 31186519235494836632973026626778997644689113887/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 + 8732810259578023223152903343840528584086367591040193955595726792833\ 2770953205120805554531753028544461536845960266/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^20 - 1405933227064399430271992373547814627152504395969921822486345585222\ 21984008279990214005046107829614334718500511518/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^19 - 1394160862609414354708996414914179474954586948197125836201677664198\ 48242853975019835189461388099914661111952229380/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^18 + 1101845651137515194286253767411626250839575409225580225291923134881\ 44375131068766258238246963679093543154948848421/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^17 + 1457338452741481686011327698523879237284938919357900844255314689077\ 57865474284984649217702931397452410628616399313/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^16 - 5785313732802485714343780411863772952213342293330175093872608880973\ 1561526772132143785674144251288587367982704588/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^15 - 1559999105253781297287127194904136503742304206169223904802520241794\ 1889863307752619487577045055989126040921375632/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 + 2558642834485289005739977591149715419395581653929305075902703097559\ 953840592252358726088186372371194952115285662/442756869609796231816\ 0704379139758856365544432365036487753306635789549430285225060393670\ 0238166839890802019*c_1001_2^13 + 606199806472131295080821613906625\ 9432178390551143863848962046623474620066725108911701421444996546398\ 3025806015756/30992980872685736227124930653978311994558811026555255\ 4142731464505268460119965754227556901667167879235614133*c_1001_2^12 - 91324949715709907487790014082195722724530868399236033169762299323\ 1169619557699650392947035006551958906168827979/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^11 - 2496562893224141836825898807541289711473303036529305351817695042583\ 3871272014262980650563672760560445535818616557/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^10 - 2081648378344932750736956856056554070082391299484852602710209729826\ 804183594995959924867681165009038339533748587/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^9 + 738130450720645789515714254679447\ 2433860746858039626367642868244112321371541193385474427124492703374\ 399337427143/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^8 + 1149324062986912034103826270028534960765182902542877585851751521610\ 623591738732488297239539391961148384477727890/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^7 - 142809277008900383966675843577202\ 9132465301099224434652267329572436287990994945234160476467660098482\ 624948532739/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^6 - 3194391531890458765659829716853480194644585596327856718930604843722\ 10303011344663269297450130478272389059130150/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^5 + 1970296217496356711284408626307858\ 4719675858312185755659172839525160474416600744612294095040062744260\ 403512145/442756869609796231816070437913975885636554443236503648775\ 33066357895494302852250603936700238166839890802019*c_1001_2^4 + 4266182634228403016156331619037582499912801413953678507900593147918\ 6822439366401813565837824249575357427507521/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^3 + 80671305361616406097727189581848719\ 7323959220738642973288555006232159960531642540666044788691166061771\ 571886/309929808726857362271249306539783119945588110265552554142731\ 464505268460119965754227556901667167879235614133*c_1001_2^2 - 4470952656082429063293797415091953023875151388527903933550142757242\ 02136552150746219654079258467508548142881/3099298087268573622712493\ 0653978311994558811026555255414273146450526846011996575422755690166\ 7167879235614133*c_1001_2 - 288737347002840766851223434597753616867\ 0241487252426255911339618410225222352470934680124539426334160285204\ 55/3099298087268573622712493065397831199455881102655525541427314645\ 05268460119965754227556901667167879235614133, c_1001_0 + 671172750055267768122627659930566611323441504883836024600014\ 805261803624095732759525506996410411680441798620/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^35 + 1541641767142115076641123540346118442300838110669253063238411980013\ 3545564056242163160909362949336572084322824/30992980872685736227124\ 9306539783119945588110265552554142731464505268460119965754227556901\ 667167879235614133*c_1001_2^34 + 1346656523741911950787228876826629\ 2743282973544033116273570461593033970050913163860484679276147028072\ 0808226316/30992980872685736227124930653978311994558811026555255414\ 2731464505268460119965754227556901667167879235614133*c_1001_2^33 + 6965499597166566393920614770568004669334256693241978663125885407714\ 95517940314485809532197601860146385721815188/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^32 + 269542417650694862697586894459472\ 7522320950766003873572833899466284944219144274384864588047314617922\ 554352088556/309929808726857362271249306539783119945588110265552554\ 142731464505268460119965754227556901667167879235614133*c_1001_2^31 + 7679098772605249533966976569775715552749405811447527497499690342591\ 318774987121325419243692823358444710519978154/309929808726857362271\ 2493065397831199455881102655525541427314645052684601199657542275569\ 01667167879235614133*c_1001_2^30 + 1097792666690958971670926822033911763909665703486355088997821304216\ 1231859514223395475050297710043138895082359447/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^29 - 1383508180936526019572623811973651441513984198450745375526223979633\ 3481423689641437041623905732926693207774054321/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^28 - 1275999306819834540404827257510348275326848079493127119300369509231\ 3655436521135990279595759061590411007544596666/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^27 - 2737681438706326926950029147879338843158227825930411251595412863735\ 5327303253585328730971961861359877669831906737/88551373921959246363\ 2140875827951771273108886473007297550661327157909886057045012078734\ 00476333679781604038*c_1001_2^26 + 1922931497231748593254267528305880126501097032174902162023794654901\ 59723860670739642963037645061704603415978757720/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^25 + 9196015745079370066900514571804304919986989703907786845872384476912\ 69281695159771289326102120498143717249698739113/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^24 - 2623925178507293748391401838096955495256501001618931991136125378361\ 63512499464245364913609574674228121333016845841/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^23 - 1980879734335766646842847287019187839913990349395193480323842089294\ 509988458350370114895968345586028316883823796805/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^22 - 2114016389523716329702476233680738404222508596439567542501181822322\ 14609877902439572759997177032791866813552762229/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^21 + 2695610435644528612093174390398132962174122460480418298342735355380\ 331597522929304727731223172087295894105405906355/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^20 + 1320504489643739310426870667246781260601702922701417444314591038278\ 894712352683577231738565262583157425831290634659/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^19 - 1280020658845395951872141184082664315266848227639122197517035494814\ 168540302503982393873246588329712736250437714235/309929808726857362\ 2712493065397831199455881102655525541427314645052684601199657542275\ 56901667167879235614133*c_1001_2^18 - 1803516056536231891755595768680133332149718664125488917092773796227\ 970317955930037199295083471341031568253585778657/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^17 + 1765461972756514627103445902313530998935292059247954346874951174581\ 990770049806220120923802924339628077282939019201/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^16 + 1626873891162719717731269220119272969225622909776286666017423619226\ 852820027536072684632787763536384207205596382965/619859617453714724\ 5424986130795662398911762205311051082854629290105369202399315084551\ 13803334335758471228266*c_1001_2^15 - 6401117684316199633518367821389299772955464208583098200314168901354\ 4438270453849693815343751160122201938124682105/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^14 - 7615300436536870880737515200298971452388372763189954004390294736813\ 7731598214713903119470634034304179340711152946/44275686960979623181\ 6070437913975885636554443236503648775330663578954943028522506039367\ 00238166839890802019*c_1001_2^13 + 3331411710026427076155990159546294027275962537704445901465932798630\ 42695863972195571594361959780810295757356123727/6198596174537147245\ 4249861307956623989117622053110510828546292901053692023993150845511\ 3803334335758471228266*c_1001_2^12 + 2615226034604153839437487733643457364450461362701431224163234879463\ 14354402956857445660194868518365321616692525308/3099298087268573622\ 7124930653978311994558811026555255414273146450526846011996575422755\ 6901667167879235614133*c_1001_2^11 - 8749019084570576486316281287304084424209660965233879936716679611557\ 6304994051738226121526721794700431031778482089/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^10 - 9576693371094382073650270479879899018770140442459735704961090861036\ 3997881334574054461650203985338745371636310296/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^9 + 1408778918955320800609412999559578397213816598181849003880932407455\ 9880610757007683630885060770911737426130394961/61985961745371472454\ 2498613079566239891176220531105108285462929010536920239931508455113\ 803334335758471228266*c_1001_2^8 + 2534293859934817741516053871952541650239285079750632266640688492188\ 0520449575238642993897082139109095824979406193/30992980872685736227\ 1249306539783119945588110265552554142731464505268460119965754227556\ 901667167879235614133*c_1001_2^7 - 2207127986526628874511911013793723589273764642093142163691554715870\ 04176532907759995032929281603109559533504461/3099298087268573622712\ 4930653978311994558811026555255414273146450526846011996575422755690\ 1667167879235614133*c_1001_2^6 - 9014527667940759076795255299046102\ 0607744028691690490699411844333523018203045196297709036254051549054\ 89136556903/6198596174537147245424986130795662398911762205311051082\ 85462929010536920239931508455113803334335758471228266*c_1001_2^5 - 4531134816752546219270924713489705115887740183407114914371663498019\ 9745135669592150036428956078863834131415601/88551373921959246363214\ 0875827951771273108886473007297550661327157909886057045012078734004\ 76333679781604038*c_1001_2^4 + 461615557381729436246130889564230776\ 1827321073754925922677503522772744524774467854224806253103307788918\ 59570753/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2^3 + 4122911774436367413708483933160762954996509858045310237302507834432\ 3682507152797962751076121030333886706888159/61985961745371472454249\ 8613079566239891176220531105108285462929010536920239931508455113803\ 334335758471228266*c_1001_2^2 - 17920279948506019531893536357599120\ 9445694368989308361925679834373238438025150285047890769534536981092\ 45343908/3099298087268573622712493065397831199455881102655525541427\ 31464505268460119965754227556901667167879235614133*c_1001_2 + 1809881792859692739153545003723223927297621819592506601296060222565\ 087721157907444278057957147472720018644977/619859617453714724542498\ 6130795662398911762205311051082854629290105369202399315084551138033\ 34335758471228266, c_1001_2^36 + 23*c_1001_2^35 + 201*c_1001_2^34 + 1036*c_1001_2^33 + 3978*c_1001_2^32 + 22401/2*c_1001_2^31 + 61135/4*c_1001_2^30 - 48461/2*c_1001_2^29 - 559795/4*c_1001_2^28 - 1129513/8*c_1001_2^27 + 2611495/8*c_1001_2^26 + 5971441/8*c_1001_2^25 - 258332*c_1001_2^24 - 3410429/2*c_1001_2^23 - 2598283/8*c_1001_2^22 + 19535709/8*c_1001_2^21 + 4705981/4*c_1001_2^20 - 19472563/8*c_1001_2^19 - 13712291/8*c_1001_2^18 + 3519247/2*c_1001_2^17 + 3258329/2*c_1001_2^16 - 7478507/8*c_1001_2^15 - 4484725/4*c_1001_2^14 + 2901727/8*c_1001_2^13 + 4625459/8*c_1001_2^12 - 795163/8*c_1001_2^11 - 1789575/8*c_1001_2^10 + 137059/8*c_1001_2^9 + 504929/8*c_1001_2^8 - 1871/2*c_1001_2^7 - 96987/8*c_1001_2^6 - 1119/4*c_1001_2^5 + 10933/8*c_1001_2^4 + 267/8*c_1001_2^3 - 487/8*c_1001_2^2 + 49/8*c_1001_2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.500 Total time: 2.720 seconds, Total memory usage: 64.12MB