Magma V2.19-8 Tue Aug 20 2013 23:39:37 on localhost [Seed = 660685669] Type ? for help. Type -D to quit. Loading file "K12a1131__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1131 geometric_solution 10.20851724 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.001433980305 1.275458415504 0 4 3 0 0132 0132 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 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380822002069 0.485027108027 5 5 3 0 0132 1230 3012 0132 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 -1 1 0 0 0 0 -12 13 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704006291701 1.000864956025 6 2 0 1 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387059365254 1.569443892117 7 1 7 5 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593686327610 0.563749837410 2 8 2 4 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 1 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529833574732 0.668421723068 3 8 9 9 0132 2031 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.182758254418 0.692261679443 4 4 8 9 0132 1230 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841395185419 1.167414318566 6 5 7 10 1302 0132 1023 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464519586743 0.178245449016 6 10 7 6 3120 3012 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712435188713 0.603483097748 9 11 8 11 1230 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015959637220 2.538200552542 11 10 11 10 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367031454734 0.195373257460 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0110_11'], 'c_1001_10' : negation(d['c_0011_2']), 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_2']), 'c_1010_10' : d['c_0110_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : negation(d['c_1001_3']), 'c_1100_3' : negation(d['c_1001_3']), 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_4'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_2']), 'c_0011_8' : d['c_0011_2'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_2']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_4']), 'c_0101_8' : d['c_0011_3'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_4'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_1100_8' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_7, c_0110_11, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 8630504144330628066808592519799653590033721934296555496590577553502\ 50723043067232437745/2756261349242769729785874040821022648415903511\ 2912717533439763087482749882079981891*c_1001_3^35 - 7824354750655227873118881893878127087687570041606561356579015909339\ 92279579384639211998/2756261349242769729785874040821022648415903511\ 2912717533439763087482749882079981891*c_1001_3^34 + 1311692574119177461182197044844951278993867524874757576012032597569\ 8074086640044370847046/27562613492427697297858740408210226484159035\ 112912717533439763087482749882079981891*c_1001_3^33 + 4073186319410123055446048564826687403036515385085073132351222567266\ 458424962780678695114/275626134924276972978587404082102264841590351\ 12912717533439763087482749882079981891*c_1001_3^32 + 5233900889429195981476442784525647498043289360617134782059058208483\ 015487808765198002946/162133020543692337046227884754177802847994324\ 1936042207849397828675455875416469523*c_1001_3^31 + 7197473139045611025396407025997997585096979863996073516823504348545\ 007163781298731053812/275626134924276972978587404082102264841590351\ 12912717533439763087482749882079981891*c_1001_3^30 + 3745727541675915439084617979868252460605954520700954813539212273768\ 58356202032420756201543/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^29 + 4071752323847539915586539092787284787824819763142640920983215176960\ 725662867384246449090/162133020543692337046227884754177802847994324\ 1936042207849397828675455875416469523*c_1001_3^28 + 1134506494249911604261319866131798913097168708344417352533426130845\ 808160179027469474001395/275626134924276972978587404082102264841590\ 35112912717533439763087482749882079981891*c_1001_3^27 + 3755469875895551503782594046332202135908159259634269307342967032922\ 16576184868525976312747/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^26 + 2341755937007425527665255784747931792524419257020754538902259915065\ 864071810535411684411287/275626134924276972978587404082102264841590\ 35112912717533439763087482749882079981891*c_1001_3^25 + 1178021332958857858591577327344947477346703944984003279440764294665\ 920572100660869826235630/275626134924276972978587404082102264841590\ 35112912717533439763087482749882079981891*c_1001_3^24 + 3190683231240362674379019728419076047200063720524642513582927220183\ 652318431500817050450953/275626134924276972978587404082102264841590\ 35112912717533439763087482749882079981891*c_1001_3^23 + 1106715556637704125956459722378302989524565018338447261758693122945\ 59911766417092247920055/1621330205436923370462278847541778028479943\ 241936042207849397828675455875416469523*c_1001_3^22 + 3247893234798213068873464456011678683325070934848757144628893452728\ 87361263999370421208266/3937516213203956756836962915458603783451290\ 730416102504777109012497535697439997413*c_1001_3^21 + 2080486160639368706269113424465551809607831131109983911740692199373\ 64192865317469871463162/3937516213203956756836962915458603783451290\ 730416102504777109012497535697439997413*c_1001_3^20 + 1056284151281103165480956882956242677406275034615473441757230053517\ 013082769088089630946/162133020543692337046227884754177802847994324\ 1936042207849397828675455875416469523*c_1001_3^19 - 2042259057197604642411541571289547411848567674448978456349074143671\ 60793719785266969689085/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^18 - 1350212486631661443912733971866483074470079490007163335809844200835\ 660844154436382533542945/275626134924276972978587404082102264841590\ 35112912717533439763087482749882079981891*c_1001_3^17 - 8633072029812596773395570191795129272026722110847660706286994771837\ 68306464837261951392925/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^16 - 1793112659667133391816892763115551466982958123259927134915617709274\ 85293043421194158939673/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^15 - 1348628317106247654095017628266809395424769206655919527492589496988\ 93715636151702305837515/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^14 + 4878356343504483064847724532804366988756117246953245463743448418650\ 4818969254544671461115/21202010378790536382968261852469404987814642\ 39454824425649212545190980760159998607*c_1001_3^13 + 5978090369641448808632747654066310247635328724990345745952646423358\ 97098567492253532928403/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^12 + 2802644200333176967395445191142305059034295759045898555422072395012\ 4496164424204896233581/21202010378790536382968261852469404987814642\ 39454824425649212545190980760159998607*c_1001_3^11 - 1021460970408788325480296171256115190596887199448275671583035117685\ 03002164527336439592509/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^10 - 7040536024225771753171577796942341067300869653716033925658263972379\ 56590510213387843310233/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^9 - 2390225123240680807060604050469892981541550693729778204338175714954\ 19059942971554422944152/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^8 + 3511565592552792252800261909325265582875542944815313908924472036656\ 74544122281151544509319/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^7 + 1724842300559619229411986825170259118676191465685617616197610791923\ 96467607837805479816868/2756261349242769729785874040821022648415903\ 5112912717533439763087482749882079981891*c_1001_3^6 - 8207292342253311106816421460080709128003035983692031058440487147361\ 9833734121844215739078/27562613492427697297858740408210226484159035\ 112912717533439763087482749882079981891*c_1001_3^5 - 5136057066944312142044877365791508854007525616624557943506817575078\ 2438202332016457838055/27562613492427697297858740408210226484159035\ 112912717533439763087482749882079981891*c_1001_3^4 + 9188502435082499613775863092619605343188022427400800377467506480226\ 303851251205039319884/275626134924276972978587404082102264841590351\ 12912717533439763087482749882079981891*c_1001_3^3 + 3209458835903627270969909737295453345153469894441509570742313992070\ 70007046150611561272/1198374499670769447732988713400444629746045004\ 909248588410424482064467386177390517*c_1001_3^2 - 3843277755787718167836038767959983768064969193812353383608018279103\ 02266122851149847584/2756261349242769729785874040821022648415903511\ 2912717533439763087482749882079981891*c_1001_3 - 4236740802521701496851321899506384842219648994680236258148457246834\ 60573180917293926154/2756261349242769729785874040821022648415903511\ 2912717533439763087482749882079981891, c_0011_0 - 1, c_0011_10 - 17152494721602966913037918896627562472966122402873851617868\ 3637700/12451044449668955598151876343498879595152798182264839996654\ 87613*c_1001_3^35 + 36860647126874133659963306299211924091555259908\ 5091011289992426305/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^34 - 28094966853768755315286412838509633\ 40070646766693398927980681470875/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^33 + 2499511558546357680527603631923593249272001740100168201540145527625\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 - 168805344939102703938429119201163804609461076416538250\ 80443504160392/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^31 + 2145383681690316505166427072425195194740\ 2992246541270867095410254821/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^30 - 7342300831084245613665563103684065903076405150344590698823580127837\ 1/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^29 + 85267580087211054191485693741312550250680654680250920\ 969237260540374/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^28 - 212303818010546186146105614226435790261\ 649923564578565556137413417381/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^27 + 2333616161152997062991144018932455617694330396399868532335271355235\ 88/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 - 3817905796836723041090172164802340013528762399929386\ 29411746672132874/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^25 + 4289183788820880706322306206875491703\ 17282415582241879308157876775537/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^24 - 3462786845584939600721015135967697056587958541335056959152626887866\ 65/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^23 + 5919871627841550518132836651966993242136191118755794\ 91754869837889052/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^22 + 5765194684320014433274696492836151052\ 1964089269123576015157786395726/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^21 + 5281925012002235617913430282806346907173584062598965025835574696339\ 66/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^20 + 4735821398632313246441727312039394095632148835612158\ 20078816750187801/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^19 + 2612535167465134118418478369509545842\ 81509083055439205795855624874138/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 + 3517115026004190965689385300898261540306547240437639831971999732483\ 42/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 - 9972588715994438077343315413757279367749523658457256\ 3612787836759377/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^16 - 13946651555076735970233219848138388264\ 9513263315147306499551629696535/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^15 - 8726651582677805894881330643392788183302223662621689456540909518353\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^14 - 15869167380983965410546591370380231882239037663013215\ 149561659241986/957772649974535046011682795653759968857907552481910\ 76897345201*c_1001_3^13 + 76560775985938662213950542843103811048434\ 50233982409175581222251831/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^12 + 3502893981517246546017948446277853485786101569011491610761882171545\ /95777264997453504601168279565375996885790755248191076897345201*c_1\ 001_3^11 + 14087355359141139445829724897417967130124930870666066679\ 9028082596107/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^10 + 14405502336510038070278061049326440223924\ 6875224299605376486463031735/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^9 - 9129696684476368133594451635191050494619566460918964266800309864585\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^8 - 120628851872505690235995055421379540597514442720130218\ 488425017267531/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^7 + 1474878002168182878207077830004188301235\ 8765452916064767662121951275/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^6 + 4135277594630774771424758328855366118826276041779037715083042156676\ 9/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 + 271859354952739220209737493035692972019756321054841400\ 6736495221654/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^4 - 678042009012450180767970513667445572042100\ 6803641123174418853893645/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^3 - 1047946670018882168205232571289947789746934799517415968505448018271\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^2 + 4428638920730221405788107575613217931793389067496787505\ 86402773352/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3 + 8603302869859546037984112575633276538436756714\ 1040517695345367776/12451044449668955598151876343498879595152798182\ 26483999665487613, c_0011_2 + 285108420446809727706119433715729194092789002104850702444901\ 258575/124510444496689555981518763434988795951527981822648399966548\ 7613*c_1001_3^35 - 282724674865238229298868881453031792423065073695\ 219643608419043130/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^34 + 436926738780893807951345998573934968\ 2937785097757202450517164565310/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^33 + 957214423227339238577674485193696764620742754686633707075013678237/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^32 + 2950374821253917039092344087194595101169967915475573157\ 9610710753386/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^31 - 16850986187577410617983344927962756459146\ 1596800910023548636307059/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^30 + 1250235190028329462827273001725284325332845544333738610344443770980\ 31/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^29 + 1171692557390484605767379640135199256834480521603043\ 8482399741352253/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^28 + 37932514574173650278332337164553111407\ 0952376082174787000914298890506/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^27 + 9005316307606070085079443572333555870939677059291855893581122228173\ 7/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^26 + 78286537673071874963347412967582848805484490585373384\ 5095153826676438/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^25 + 31950608072821771799201507691041996337\ 0801820421003722216077317807276/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^24 + 1061742835363900529779585360338074549670264409308758156397409838832\ 615/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^23 + 530505093863669409778859199131200160631593393110868\ 014653316410025848/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^22 + 752107714744506382412496134590079999\ 005994582604369545311547619516490/124510444496689555981518763434988\ 7959515279818226483999665487613*c_1001_3^21 + 4205869432032820420531809550821870756744305928222387845611070896011\ 80/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^20 + 1476902580483065661510629718536329234278609969399724\ 419907015360236/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^19 - 633004552598897417987071514453564919402\ 66469222489593568860983924477/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^18 - 4426911343604582595650676990819345903889180514281456272578635578457\ 68/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 - 2509699205102572288150803153923743427075138173537356\ 37894991727214111/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^16 - 5720997288030503393119852526489138132\ 9077010120681926190924982209782/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^15 - 4444904491192526559078803796662522084036683040480218975301989747738\ 5/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^14 + 16206301612363377552082402758569555136803347796039377\ 133128072437136/957772649974535046011682795653759968857907552481910\ 76897345201*c_1001_3^13 + 17766575506940455576693976056167633958701\ 8451397856361719269068229075/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^12 + 8810428285302464391617490148929460532510389382008729055739502529730\ /95777264997453504601168279565375996885790755248191076897345201*c_1\ 001_3^11 - 39720122183325040400853403899786054717872324535180538039\ 271490723682/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^10 - 225332690678549698547529413772284074290159\ 903203834849384085633917882/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^9 - 6269926581646032812857088535471621610530494970521751795437553132016\ 3/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^8 + 113124634262613459650148601117060755458486353076409338\ 592343716531035/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^7 + 4773945727434580718389075790123261546404\ 3838442078825720121770607311/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^6 - 2707070331695412269944764171642948999600952666789549341529732852771\ 7/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 - 144000931837832826306409478131372337507057211069985585\ 49226894451089/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^4 + 32165384098344825431072847141369130473158\ 66031579270418890451360530/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^3 + 2064959375286004118487102954012632097983868357079147289066390289086\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^2 - 1538123200714422409038283495612269869701703587554030675\ 04567179893/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3 - 1165515081950937689128522526183113886283993059\ 43061267144388211189/1245104444966895559815187634349887959515279818\ 226483999665487613, c_0011_3 + 499172811998349080778639007688017297732299425654562560737102\ 290450/124510444496689555981518763434988795951527981822648399966548\ 7613*c_1001_3^35 - 440757066643890802134236461908527186311189671914\ 234465229973106215/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^34 + 762667960872600935402530740557117675\ 6173728235022976148601654986654/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^33 + 2495393968554711118314522251117572073679572952587148368005293738010\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 + 523000423219807694308891639643458126095482779837721043\ 10317006943289/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^31 + 5702851454290259567039940127081184876591\ 056657517012166628727391836/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^30 + 2222583256358955859673206052500116294813830292872613688228889692842\ 41/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^29 + 4634510539532109427693461401743122616921123224255015\ 7758552163707015/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^28 + 68097428236681885168342763207115833709\ 2094265110796932483845453974183/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^27 + 2399817330265747092182674577044317705835353414526873804739193773996\ 04/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 + 1434422901778222955337266837657491887420632792270906\ 118516082857729291/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^25 + 746358388250869045358613878936476859\ 452317250028887920562868976860962/124510444496689555981518763434988\ 7959515279818226483999665487613*c_1001_3^24 + 2025960359393699799782188925906172900810417448223885501393893352900\ 024/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^23 + 122958095206788812142562683659833758565285080643914\ 4049078053222862921/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^22 + 15896405960336345552726578148104205\ 86457660306058779330543694689163498/1245104444966895559815187634349\ 887959515279818226483999665487613*c_1001_3^21 + 1040222919337479710736885098154105022060188826319299385727665787057\ 148/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^20 + 257756925840881712296771925662952911714205972459001\ 856294714080571372/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^19 + 396496904308617714074089791940152141\ 79828038700185219211385290738950/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 - 6987012406442796083492636993756232815685622353107003165320644136708\ 71/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 - 4781821509267531185178719357034416816596822911521430\ 73335183020779500/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^16 - 1688828307937333410910379957888494388\ 90700223118058031560911361940249/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^15 - 1287419763342309759408477895869780256210925861673728069045621173197\ 86/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^14 + 2544251836700000000550799612610843376076639562940467\ 6673426411679645/95777264997453504601168279565375996885790755248191\ 076897345201*c_1001_3^13 + 3288759877515215999156971840395884965778\ 61364659621931170832933648988/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^12 + 1875934335087622932775014001826839280639913630678071066911237829355\ 3/95777264997453504601168279565375996885790755248191076897345201*c_\ 1001_3^11 - 2255181873760185255463203715662629153172144115960189097\ 5432250205934/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^10 - 37485147130978156416129082647881118911489\ 8878240979897868258921925426/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^9 - 1407264211432998160625432846657171919545539564516093722694407921707\ 48/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^8 + 16870745053377737569022353422620931410944830848674085\ 7332631015904169/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^7 + 877675770131746228586181215388504281495\ 13827728018263812174130185123/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^6 - 3623730364870906281404282294245138209496587452356175474847095587056\ 7/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 - 238099426488579920076828474790725359927507953073124320\ 37243005401249/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^4 + 38094861863334542684823897489801902524444\ 56812581675107775415526541/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^3 + 3167382927145616189697951620783594202872485924833664612122185943406\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^2 - 1553167839905858106151211094743957055738577046579318624\ 01597628161/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3 - 1692889423123478429320072596490594486573098087\ 94845510078020818757/1245104444966895559815187634349887959515279818\ 226483999665487613, c_0101_0 - 220102393011292789416692874412044634372595502262206307548845\ 34270/1245104444966895559815187634349887959515279818226483999665487\ 613*c_1001_3^35 + 2190134185739763539870939483225552134368416917988\ 4696957938977568/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^34 - 33745924379206029808642927076275363236\ 8422586113887532691194950870/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^33 - 72634774291883237309824015767234447726180924406640777482168458823/1\ 245104444966895559815187634349887959515279818226483999665487613*c_1\ 001_3^32 - 22786945050653981990774729634914369037637755385413012584\ 90678755796/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3^31 + 2104278262276454267679331021784778704083836\ 2909940364335093136534/12451044449668955598151876343498879595152798\ 18226483999665487613*c_1001_3^30 - 9660292931728455277244236224094794906618690810772131396237591566988\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^29 - 868100786304450063654657015378393069695102667890937196\ 974102442773/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^28 - 293179881658827622355117479573909279207845\ 01319828749627460191828335/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^27 - 6839816030040164151716226356137146406726060588862815562490143867529\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^26 - 605286311671225190577736839622042753021727380555503909\ 09328621088975/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^25 - 2443608333995653346392082812278144038722\ 8035546688897085355226402470/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^24 - 8212430047221177409563782868811641311312045157434011083126139081499\ 8/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^23 - 40662128285623489759621925470341448115724962513076011\ 061195252037683/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^22 - 582538348205642795796671780669866745596\ 53888558085751066306798537449/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^21 - 3228048970549686231226917844597695904850059574819525808674009691761\ 6/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^20 - 24696305733961094676919684337346768934873771065177559\ 3646089828278/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^19 + 48741341113286427072809331175688529131267\ 35035882065535056122943599/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^18 + 3414306119701557405651210482712136376091646178114792342703793326833\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^17 + 19292278749825771003696918554558084795141869578419392\ 782452179854325/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^16 + 447263503996071291397046136284923658714\ 8109975473424529055313667999/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^15 + 3455207954377757784278320721578471319178184926015720587725215526165\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^14 - 124992947247394276299334291890402855076288959339343018\ 0951898795871/95777264997453504601168279565375996885790755248191076\ 897345201*c_1001_3^13 - 1364526585724971651436124626358469216061856\ 8502016044973783298523927/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^12 - 681032097922147742943609632133835441859517933427410681211556225446/\ 95777264997453504601168279565375996885790755248191076897345201*c_10\ 01_3^11 + 307419935802869333453089714413074541410190635279867435621\ 6659301459/12451044449668955598151876343498879595152798182264839996\ 65487613*c_1001_3^10 + 17354099608672697394606062567347692005006750\ 452972796918118962843960/124510444496689555981518763434988795951527\ 9818226483999665487613*c_1001_3^9 + 4800119270750299773340072654525854075328594100036674844228702942107\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^8 - 8698142792597480207269511714898012480803455966905202538\ 779522373369/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^7 - 3654551002425306045653683647100944034063324\ 371509372730729577748482/124510444496689555981518763434988795951527\ 9818226483999665487613*c_1001_3^6 + 2079035381383320373124939037951803460508547866970434883773779771423\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^5 + 1102251877938781902538711367499176448179316971710116210\ 534080222494/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^4 - 2468410776997897898086480221009515684736093\ 66844548407157415138313/1245104444966895559815187634349887959515279\ 818226483999665487613*c_1001_3^3 - 156767348672834072470076103785465463813083885072420858152865409549/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^2 + 11798787592390317684326102298738028494050256078755520570\ 163312190/124510444496689555981518763434988795951527981822648399966\ 5487613*c_1001_3 + 773592067522852859865463172317902056121207049696\ 1135498651132743/12451044449668955598151876343498879595152798182264\ 83999665487613, c_0101_1 - 449051256009771207923490967876445426036367515759380974915831\ 01780/1245104444966895559815187634349887959515279818226483999665487\ 613*c_1001_3^35 + 3997228954152012725860892615626228047871425085659\ 5869751517774982/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^34 - 68649720075185902312547602728939475187\ 7508092503768539833368883912/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^33 - 219364313660055999738699529404038695916673133427744876204435511202/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^32 - 4705270589652082414996119882438144885300769443273172795\ 622273570569/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^31 - 478480206834597017572761579269938012099521\ 008221297927492523693496/124510444496689555981518763434988795951527\ 9818226483999665487613*c_1001_3^30 - 2000382367505758329527214138071966924565919281420239374808957342863\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^29 - 40178083263291757161052986574217327704490637192586130\ 99698621235200/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^28 - 6128957407056808053711496275807918280225\ 8888863522577350875227041103/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^27 - 2111944890913473983845475755449142233162029805026492147508594809096\ 1/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^26 - 12907003711387718963840754998134782623744093173087143\ 0305535271979819/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^25 - 66148728153233938697443118075740979382\ 686538140170982114427309032405/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^24 - 1821634185250190038775188963778135712235839311038871018539203082669\ 54/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^23 - 1092254207386719330247201425433945118294964742410473\ 10199872522489938/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^22 - 1427483667190074624046487254491139216\ 94568985623685554333426768872549/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^21 - 9250165284703611034440720966849358386927541383265362983243599075836\ 7/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^20 - 22934852733464605414003270964110770536931153989578226\ 588910485031072/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^19 - 340831416657992668572801963514079807858\ 7293867629585542168774656614/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^18 + 6279789016934387832678915574141147279055384958905664738475961143886\ 1/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^17 + 42554893329453348256820152486175515006095109910554347\ 088586004571906/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^16 + 150062561842005538574993215718448168455\ 15881275282126081618993285239/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^15 + 1145072249814577411899652835804951822010148213335422484146005422318\ 9/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^14 - 22948060563378245029003215518954519726580317539785968\ 50329317654749/9577726499745350460116827956537599688579075524819107\ 6897345201*c_1001_3^13 - 293655434433113033819547545711369552168566\ 47536723327079575430441801/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^12 - 1678523257107847191341236183022843660594902914819989571159156558609\ /95777264997453504601168279565375996885790755248191076897345201*c_1\ 001_3^11 + 21715345835625250843653796157383528047525845000567499490\ 02665385934/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3^10 + 3366717440869078689776913384752001934419368\ 3786633877011396634574937/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^9 + 1245392276525591538735526788029075537528732524313491219679390011760\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^8 - 152001463599366009488481234705443301423308657650239382\ 23279349314355/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^7 - 78089813783217093959980162642401213802934\ 13912409642099126425840959/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^6 + 3277347947377098230997951234084729876192775658271492711800279693530\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^5 + 2124084374868138133038936421371725727191852080537371041\ 438398555185/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^4 - 3478457678423662732272465414667481324382195\ 45234356172675484112590/1245104444966895559815187634349887959515279\ 818226483999665487613*c_1001_3^3 - 283039404391740235541071319993254034249304301751521143243265462691/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^2 + 11825842304740390374743806430653039521931000211192462180\ 133996240/124510444496689555981518763434988795951527981822648399966\ 5487613*c_1001_3 + 151442877681959547910833557738486970681317948668\ 07337924786548878/1245104444966895559815187634349887959515279818226\ 483999665487613, c_0101_10 - 15188750521432440974957590639669121169605447860901481896104\ 39826155/1245104444966895559815187634349887959515279818226483999665\ 487613*c_1001_3^35 + 1485290898271156965837382552230784245704349506\ 580443666439782792422/124510444496689555981518763434988795951527981\ 8226483999665487613*c_1001_3^34 - 232154551287567384534235710992840\ 07468232979869538823318478659757923/1245104444966895559815187634349\ 887959515279818226483999665487613*c_1001_3^33 - 5467816739125181700160084101139787273102393242870724802104410037666\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 - 156607447515153461310363648428388114840466698212954634\ 842997251340981/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^31 - 126702788913323103812339199655090843262\ 9146792692564443235770382473/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^30 - 6616939263896765106935597995065274536663218742780079706148814286322\ 78/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^29 - 7246400857770910231168283890462863052909725467919996\ 3132392218234206/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^28 - 20027131782846802766486344206537305797\ 04994382758071851140662413029391/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^27 - 5097971031777946108231536250592402789782149493907805352729057983097\ 11/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 - 4118478867229444862155468556718017864880495824903960\ 967999527808433361/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^25 - 175862284612293334486130394779959466\ 2146972049856332513371305804642415/12451044449668955598151876343498\ 87959515279818226483999665487613*c_1001_3^24 - 5555057522980654170660049718598371896039701366642172467888653294066\ 057/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^23 - 288220695548270389883370781485028065271351081700658\ 4473826429835372912/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^22 - 38702048014703665276327058861992582\ 49682019751789144679685586240098716/1245104444966895559815187634349\ 887959515279818226483999665487613*c_1001_3^21 - 2247937502030528103814165294024397888660580403885915039965349408869\ 098/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^20 + 996824249711604969012228503732285497039896810985874\ 43018121418430297/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^19 + 3837032859484699475296736516776960053\ 88371192103804478154779808732508/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 + 2386678402511783176213215066180398189586759778311860703774239254334\ 166/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^17 + 136886256223465271902089108657027526555641261739551\ 6615641695979189340/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^16 + 26617199105470421410147740625933853\ 3692568172281169357720209860305074/12451044449668955598151876343498\ 87959515279818226483999665487613*c_1001_3^15 + 2161544820027400297712959977924978745817123430382450994070571838972\ 97/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^14 - 8741667260132088444362935912688709000103674792729927\ 8506189829288176/95777264997453504601168279565375996885790755248191\ 076897345201*c_1001_3^13 - 9726335700000448846394710594744838043927\ 73499797336227139423501127242/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^12 - 4585862262325081556172897875137161383339179695162430178782680576536\ 4/95777264997453504601168279565375996885790755248191076897345201*c_\ 1001_3^11 + 2199703974817225520669952487955581202469991987478174830\ 60006132029645/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^10 + 1222288231707507576529613991522414853540\ 465128520630062431475657709087/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^9 + 3457133349234335983150425677799507685485568800921489492145606306642\ 16/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^8 - 62419204803647600449627596787160274051444176534485803\ 9642749877908779/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^7 - 266954332978414192324521993290114588232\ 066383079602999912556624705647/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^6 + 1513643141290175802417357466609018949915022720755533294732869708602\ 93/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^5 + 81561864150977766866674884975820932961401100722408566\ 048367216411244/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^4 - 1817863755727557911192988402022818025018\ 4094976105994755696942223635/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^3 - 1188942193036018612874895436094458570366995091639857919469782161337\ 2/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^2 + 876974859477263901170414259816580793985959351668960418\ 408463988575/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3 + 687008424451625732410392322464393202937727832\ 488375799037737062627/124510444496689555981518763434988795951527981\ 8226483999665487613, c_0101_2 - 155584060549568414394379428110966378817169123763882917974473\ 375840/124510444496689555981518763434988795951527981822648399966548\ 7613*c_1001_3^35 + 137955063060807139713168550113630036867526623839\ 589856813722094726/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^34 - 237783779727098156341133134437764434\ 3234003373015019959363362161968/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^33 - 768592766426627556691527655154917233812430063671809306697747468462/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^32 - 1630169540159778911764027912031759823980013157923885606\ 0980570042852/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^31 - 17154645387233086946972511437298675150447\ 42463388652263850656784682/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^30 - 6929088118937386869963237516924663345902456849409121855135345531382\ 3/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^29 - 14173344765997136631940268785056946023215992528053707\ 859867042720810/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^28 - 212298530016807743353152194928347765169\ 619970346021553148905706325168/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^27 - 7395620949192021565478436700085233704935327125767832079117941219405\ 0/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^26 - 44712997162370336143641961385279574219567479887530060\ 7106815087859599/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^25 - 23084357692335785299153470132987524424\ 2815944468783188265280497164827/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^24 - 6312710039199276082558376896441460697534736697474264578933781076203\ 01/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^23 - 3807443311474751221006912209205754854431037992067928\ 70565463487772301/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^22 - 4949667602444932228511002544366243091\ 30813478772893350203357154153182/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^21 - 3222755840135852250860264669839927472691091417712155873237836386734\ 70/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^20 - 7984251309381948762085246023453395210249983156952801\ 5869372222339305/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^19 - 12059114176902249220529223819104457530\ 118705665902185793970421049799/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^18 + 2176940516363907486782974529990719820472723560333839173340090177531\ 54/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 + 1482170529187264057490589578224398445327644951996891\ 47094965105482376/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^16 + 5230077807671077932536430462389971996\ 9262098157375754255985248487333/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^15 + 3988896621358995665391976199399601883146795660089000626757443347968\ 8/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^14 - 79411263996636431232576880221208133825759180248055469\ 29017939911067/9577726499745350460116827956537599688579075524819107\ 6897345201*c_1001_3^13 - 102112793032914302001402278809276506093275\ 832262184891751911906900397/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^12 - 5830379398444122910959437578561891478870246201686309103886870769139\ /95777264997453504601168279565375996885790755248191076897345201*c_1\ 001_3^11 + 72883407435187420261497584768797523372010447762330721908\ 05012752429/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3^10 + 1167454260987926535346111943968391541791640\ 94551853798477686273215603/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^9 + 4349295271667638750903243552498281535786227605441341145015632080862\ 8/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^8 - 526299851172316318275747995163836195589921124400149613\ 63857954995689/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^7 - 27201692657194518095944083907183694273007\ 426196705551133719689240456/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^6 + 1132814844939118927625029724565745748683115256055133237149275116635\ 3/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 + 738974677538212429254139914944797695385515145629570721\ 6125317190541/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^4 - 119636651090585924940348487581222518756446\ 3060161108415028672467262/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^3 - 983927712145229359265742715340968096573814348688263776342457385479/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^2 + 47798216722576133384657279235232582366615155862851427368\ 607468524/124510444496689555981518763434988795951527981822648399966\ 5487613*c_1001_3 + 526196362291360897528900292549049461311058903757\ 26014338003344861/1245104444966895559815187634349887959515279818226\ 483999665487613, c_0101_4 - 789289233363384779891890343284470347505566892262971891020800\ 525865/124510444496689555981518763434988795951527981822648399966548\ 7613*c_1001_3^35 + 776723600591498640710513070971993002931126786647\ 993318991231924956/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^34 - 120819316841242532979146226487686248\ 42742052529915752279115756057031/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^33 - 2751713429065752521035386574647263734674624632018625368107563865759\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 - 815710791660323681052368746599489431317462220871214365\ 35154547472069/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^31 - 1650341858635538149843078662480836625347\ 01760052706459207907691720/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^30 - 3452580406288397416251620499385703312772657216562081411424630224528\ 73/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^29 - 3532053948568591817387069148606511774479428970008832\ 3733700822912915/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^28 - 10466310522151930365031913786703008691\ 18921544266036740338633963381931/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^27 - 2580974549022680263496032159942200456334871902106388120226292734063\ 06/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 - 2157610998232901366366110919719875162221129786306051\ 344605543241426179/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^25 - 902038233319000452522882136252510026\ 455086793517397355705068167872502/124510444496689555981518763434988\ 7959515279818226483999665487613*c_1001_3^24 - 2921658326473881350517089593435805881500877864062959702848464084196\ 603/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^23 - 148946560451191805737997116270843641749238760791030\ 5951288659549426544/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^22 - 20595334545147966962332405576597734\ 76631642756333694224628915072159308/1245104444966895559815187634349\ 887959515279818226483999665487613*c_1001_3^21 - 1175040020853218277650923550434586393451402021596402960163438117939\ 629/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^20 + 127139433037598770647792004207751040520381202517603\ 99042307221685342/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^19 + 1803592402511888996394224587485654847\ 97824754892899351174902263314923/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 + 1229824176050415004203662055871023362561449634972221115621479104237\ 452/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^17 + 702289176712343075571573676207815976562474526684609\ 488538171709796157/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^16 + 151908440933441667413557634625385347\ 694522078457552432994324624033753/124510444496689555981518763434988\ 7959515279818226483999665487613*c_1001_3^15 + 1199545059598869951152588265616663712129858863233672563386478589830\ 73/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^14 - 4502477285418856246481443392148735820901064663494130\ 3596289657182592/95777264997453504601168279565375996885790755248191\ 076897345201*c_1001_3^13 - 4980043553503604780827228689073726810543\ 34276284423732163752146736076/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^12 - 2424724899106727192142292251194346658337263963718581632750848424046\ 2/95777264997453504601168279565375996885790755248191076897345201*c_\ 1001_3^11 + 1103584931418768488010667112995704838541854141402116737\ 19582361908489/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^10 + 6280088974070672384353130127029498504096\ 25816080662513127506615172031/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^9 + 1768286274154279360721508393636337706837013614792490294566648776297\ 43/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^8 - 31699560005454020378459775017636847889659004121704469\ 4707249377219098/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^7 - 134952982456747283852604831442192936113\ 721571687565733542283838623799/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^6 + 7616622082431653737018652343799407296659349612360824941414469236469\ 0/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 + 408316547198336081464042860103333155354423588620998296\ 89697817203642/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^4 - 90774212467200499679513434896718298871453\ 58096220564968780835950976/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^3 - 5899724869901019076875013199355649311863212089936426177290432411689\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^2 + 4350121594897144200423249928338174493716662376699381908\ 57187067843/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3 + 3389276649246045455084297683414636699954788415\ 74991066769585549381/1245104444966895559815187634349887959515279818\ 226483999665487613, c_0101_7 - 670894665975140636597775744647466850330782723379347029810957\ 746420/124510444496689555981518763434988795951527981822648399966548\ 7613*c_1001_3^35 + 546135555542839454403853692077087040200882021308\ 751884689459560443/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^34 - 101968973730521531194078680756775695\ 53299197830252847677771989546876/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^33 - 4082971605163387383123184716684828933528718654908373672480097744874\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 - 703150158558195674002692430986646785316184241883254545\ 84331899012982/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^31 - 1262856048164595600524634882371516802923\ 4492772120610403392095204069/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^30 - 2978968683718351525977936906996066009687843187347036353889766187842\ 38/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^29 - 8394973826234376234373674767211969592857846527837051\ 1048596331918738/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^28 - 91348067026436808091690442887396265028\ 8916395842758444735326766348961/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^27 - 3897746594318464503197458134365118784815823651240462520349372996379\ 31/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 - 1931462694841810786522158210544901263071253454472735\ 650487283070171413/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^25 - 114634402162571190709861527161025347\ 9010950897457775820257132384830749/12451044449668955598151876343498\ 87959515279818226483999665487613*c_1001_3^24 - 2753517826668249014405926818896435905330080107999217562471961817314\ 202/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^23 - 185575788194178037208016387804173290455228040691081\ 8040183276477662303/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^22 - 21997719744647259546262667229666773\ 66402106749981831410335802478142509/1245104444966895559815187634349\ 887959515279818226483999665487613*c_1001_3^21 - 1561199843195477355339036837817874222181155147715320208170592417718\ 699/124510444496689555981518763434988795951527981822648399966548761\ 3*c_1001_3^20 - 407681892514756671857693573163754262740111971161821\ 506850475009758005/124510444496689555981518763434988795951527981822\ 6483999665487613*c_1001_3^19 - 854165651257306908743347736572422691\ 26866050049609019999656496165285/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 + 9364963584411529335294050480375556048176995689949533151253267961618\ 03/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 + 7061574596980959004250441424632577861934483283482452\ 13199933276664746/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^16 + 2568328359057767700902657464393541858\ 29348598922768123951279335192363/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^15 + 1939718784905301571689195777256428533137902817650094249503506816278\ 37/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^14 - 3317655682121257578612615612753283133039759282052520\ 3078710255357831/95777264997453504601168279565375996885790755248191\ 076897345201*c_1001_3^13 - 4720927711955204643128278445718573978676\ 86271352843165945992445164625/1245104444966895559815187634349887959\ 515279818226483999665487613*c_1001_3^12 - 2675138596921418989838987661691989611782107158388014334738333403868\ 3/95777264997453504601168279565375996885790755248191076897345201*c_\ 1001_3^11 + 7748051618317059297398196737164584627800131149274388081\ 733757087529/124510444496689555981518763434988795951527981822648399\ 9665487613*c_1001_3^10 + 508210315394525181138686248165287128631959\ 422386440854654982991329569/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^9 + 2187968543372488175019394903943359745795299652147848355002586123842\ 32/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^8 - 22080002730139647473947081721442191919804099097703305\ 8353948542124078/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^7 - 129685923889707852911181358621315537283\ 708324283733284436725452897081/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^6 + 4512729963386191721371015940746874926583938949576642186093224411208\ 8/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 + 342169162783081162437407988720895360395346126944057828\ 21874818182708/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^4 - 43383855963972106106227993324529154204114\ 56117892045471901522040135/1245104444966895559815187634349887959515\ 279818226483999665487613*c_1001_3^3 - 4464570539941341169591855197619667518709601869744292939835183032143\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^2 + 1491321538641691701878270364594507723453285329707241658\ 47271427087/1245104444966895559815187634349887959515279818226483999\ 665487613*c_1001_3 + 2353222306996159870042987350580712054173547264\ 54808365559246999932/1245104444966895559815187634349887959515279818\ 226483999665487613, c_0110_11 + 13249910107300362744973093657078196272440393619502263704274\ 4681320/12451044449668955598151876343498879595152798182264839996654\ 87613*c_1001_3^35 - 30435688989292708324264927107770295163330012908\ 9407086489014082488/12451044449668955598151876343498879595152798182\ 26483999665487613*c_1001_3^34 + 21886697380350510977654179818986912\ 93552754317920670008749422205635/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^33 - 2243589228502335417094503050577810173515805373409889784344650596411\ /1245104444966895559815187634349887959515279818226483999665487613*c\ _1001_3^32 + 129714999134586713610055066875258452049771633843802890\ 03926841996376/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^31 - 1881450349563038246269768551252952103956\ 9767128980884543734078328217/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^30 + 5659066767317801895127224083826638659777694752888695287210887736299\ 8/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^29 - 75919211184235505023189477691647190236367857774726200\ 467740920122141/124510444496689555981518763434988795951527981822648\ 3999665487613*c_1001_3^28 + 162785197553362530681008341357516529530\ 746249832225556120140512158344/124510444496689555981518763434988795\ 9515279818226483999665487613*c_1001_3^27 - 2128013795674153142831548298222535941757504056041826929398815660711\ 58/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^26 + 2870429040333875163866288540191104893726550492394999\ 33621107748034299/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^25 - 4057085148297774573454075887328640488\ 70625571137323467635188115654081/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^24 + 2389939572824426616502087964717475046946749383307477055936996533868\ 69/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^23 - 5758965586822060903547148513098026118790512839974695\ 46398636706372555/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^22 - 1000589443405712493274205900053391665\ 98869214265289102401985922442247/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^21 - 5283776722365620497644681275593108030228487259771418098754638158657\ 79/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^20 - 4271536856587703090272349248939720158822544486856370\ 48297600598257880/1245104444966895559815187634349887959515279818226\ 483999665487613*c_1001_3^19 - 2642903236493088613212365004088374286\ 67239747475453885231387030323076/1245104444966895559815187634349887\ 959515279818226483999665487613*c_1001_3^18 - 2988971769845352194463967253270192281834026969364649022182647320013\ 51/1245104444966895559815187634349887959515279818226483999665487613\ *c_1001_3^17 + 8420033552945068114661606406876982825002107485830319\ 3810905125581706/12451044449668955598151876343498879595152798182264\ 83999665487613*c_1001_3^16 + 11554997629158370082773412328763824610\ 0383130520605643304869272500192/12451044449668955598151876343498879\ 59515279818226483999665487613*c_1001_3^15 + 8383002554742983683684775029148334458589647657707395834876680330810\ 4/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^14 + 12992963763611940239681944200881623972088153275007843\ 703052617426216/957772649974535046011682795653759968857907552481910\ 76897345201*c_1001_3^13 - 12690007087288069387591775907208758488276\ 158495234655771586057427633/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^12 - 3301289269753444244335766458889913629730896693643100549679957884993\ /95777264997453504601168279565375996885790755248191076897345201*c_1\ 001_3^11 - 12407141140808340559802948776477426853126479712774250633\ 8838827245392/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^10 - 11439435992530382672433834422269132739430\ 5272950614037040310359774917/12451044449668955598151876343498879595\ 15279818226483999665487613*c_1001_3^9 + 7834632193227308337043425182350142761099082038023463270794869770999\ 6/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^8 + 978324397927957690068679766234576626994184898612954720\ 54745152573942/1245104444966895559815187634349887959515279818226483\ 999665487613*c_1001_3^7 - 11874438320889530485793488427229731807044\ 397305535746211647898954239/124510444496689555981518763434988795951\ 5279818226483999665487613*c_1001_3^6 - 3353110933260385893557474577852607927735169296595854625185430802437\ 1/1245104444966895559815187634349887959515279818226483999665487613*\ c_1001_3^5 - 260365452118337469430114802812560833357477154739539909\ 9748394528235/12451044449668955598151876343498879595152798182264839\ 99665487613*c_1001_3^4 + 543182247264274337894791897197022226051951\ 4446616877074759324863370/12451044449668955598151876343498879595152\ 79818226483999665487613*c_1001_3^3 + 966444294688831752516508620607501494318213163621045112921932197453/\ 1245104444966895559815187634349887959515279818226483999665487613*c_\ 1001_3^2 - 34615533269138363938398533622095425890341223804795375612\ 4479625775/12451044449668955598151876343498879595152798182264839996\ 65487613*c_1001_3 - 83190033747126110636481379934493788097755728366\ 742643872258168185/124510444496689555981518763434988795951527981822\ 6483999665487613, c_1001_3^36 - 2/5*c_1001_3^35 + 74/5*c_1001_3^34 + 62/5*c_1001_3^33 + 532/5*c_1001_3^32 + 307/5*c_1001_3^31 + 445*c_1001_3^30 + 1523/5*c_1001_3^29 + 6921/5*c_1001_3^28 + 5616/5*c_1001_3^27 + 15133/5*c_1001_3^26 + 2821*c_1001_3^25 + 23004/5*c_1001_3^24 + 21306/5*c_1001_3^23 + 20422/5*c_1001_3^22 + 16786/5*c_1001_3^21 + 6148/5*c_1001_3^20 + 407/5*c_1001_3^19 - 1507*c_1001_3^18 - 1708*c_1001_3^17 - 3819/5*c_1001_3^16 - 1773/5*c_1001_3^15 + 2937/5*c_1001_3^14 + 5079/5*c_1001_3^13 + 3949/5*c_1001_3^12 + 744/5*c_1001_3^11 - 4091/5*c_1001_3^10 - 3319/5*c_1001_3^9 + 1158/5*c_1001_3^8 + 1838/5*c_1001_3^7 + 42/5*c_1001_3^6 - 468/5*c_1001_3^5 - 84/5*c_1001_3^4 + 59/5*c_1001_3^3 + 16/5*c_1001_3^2 - 3/5*c_1001_3 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.270 Total time: 1.480 seconds, Total memory usage: 32.09MB