Magma V2.19-8 Wed Aug 21 2013 00:31:40 on localhost [Seed = 2295240720] Type ? for help. Type -D to quit. Loading file "K14n18503__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18503 geometric_solution 12.26228845 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 -1 5 5 0 -5 0 -1 1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827202587902 0.566344629101 0 4 6 5 0132 2103 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 -5 0 1 4 5 -5 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810772979520 0.501739025306 7 0 9 8 0132 0132 0132 0132 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 4 -4 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.589671066965 0.846195431351 6 10 7 0 2031 0132 2031 0132 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 0 -1 1 0 0 -5 5 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567017690277 0.823458896276 11 1 0 12 0132 2103 0132 0132 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 5 -5 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190653827905 0.907625929686 6 8 1 10 1023 2310 0132 3120 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 4 0 -4 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.941098093878 0.952187533698 11 5 3 1 3120 1023 1302 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 0 4 1 0 0 -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.422376781838 0.873022358489 2 9 12 3 0132 3120 2103 1302 0 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 -5 5 0 0 0 0 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705594291430 0.488350754296 11 12 2 5 2103 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509905890832 1.250720546095 10 7 11 2 3201 3120 0213 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 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297234070059 0.396686221838 5 3 12 9 3120 0132 0132 2310 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308850822663 0.817451572628 4 9 8 6 0132 0213 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.758554373059 0.863447766513 7 8 4 10 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -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 5 0 0 -5 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546595589178 0.686196004841 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_1001_12']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : negation(d['c_0101_2']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : negation(d['c_0011_5']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_5']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_12']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_1001_12'], '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' : d['c_0011_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], '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_11'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_5, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1792241098678098191855572408342401455366130339102295977457743872350\ 04590533719527296687386784308573/5782276223701022547889067817527179\ 7865593009621103134686116185182785541739050195969657531135172778560\ *c_1001_12^25 + 107410289059714781174741503828302010477941826793745\ 37019379786513749867367308503289361411576756417/3483298929940375028\ 8488360346549275822646391338013936557901316375172013095813371066058\ 7536958872160*c_1001_12^24 + 75623891254803003057500309762806337540\ 273287698042859535595051245898012489907231742119962644854819/722784\ 5279626278184861334771908974733199126202637891835764523147848192717\ 381274496207191391896597320*c_1001_12^23 - 4089838191987459790756723505606640601650486501290779059741376471300\ 4372085894517858514344288024430199/57822762237010225478890678175271\ 7978655930096211031346861161851827855417390501959696575311351727785\ 60*c_1001_12^22 - 6322252561267097600586457662050108782232039342726\ 9063842040574650034543216879356523166334415203147461/57822762237010\ 2254788906781752717978655930096211031346861161851827855417390501959\ 69657531135172778560*c_1001_12^21 + 4562917989254484913796695671001216992684120807905994773247987757770\ 009729472495495353306759778463357/608660655126423426093586086055492\ 609111505364432664575643328265081953070937370483891131906686029248*\ c_1001_12^20 + 3964405841611900157224867787732652603677459781989438\ 74627561712048961382140463049303080188242793844889/2891138111850511\ 2739445339087635898932796504810551567343058092591392770869525097984\ 828765567586389280*c_1001_12^19 - 672875019437307969716910991180803\ 9766319417417599841772180706574456243659589304846241828826805803247\ 63/1445569055925255636972266954381794946639825240527578367152904629\ 5696385434762548992414382783793194640*c_1001_12^18 - 5309591265346746464443501752216037369907119781654514993868305635879\ 310938594016052623035243531121724591/578227622370102254788906781752\ 7179786559300962110313468611618518278554173905019596965753113517277\ 8560*c_1001_12^17 + 99452593250528356631363764786236745322304735111\ 64945449709659970468370358505566704290151789990968045213/5782276223\ 7010225478890678175271797865593009621103134686116185182785541739050\ 195969657531135172778560*c_1001_12^16 + 3025939663895841618638965852899508012948065583496665087350212877445\ 549544788430181077073384893973425953/722784527962627818486133477190\ 8974733199126202637891835764523147848192717381274496207191391896597\ 320*c_1001_12^15 - 310119421614648947686263774578320683773064858766\ 824404661001011392641485349145076280282458335745141823/760825818908\ 0292826169826075693657613893817055408307195541603313524413386717131\ 04863914883357536560*c_1001_12^14 - 7235819613066768712742977977654423044507933355759995112692242814984\ 9832022818509526082555498793089543473/57822762237010225478890678175\ 2717978655930096211031346861161851827855417390501959696575311351727\ 78560*c_1001_12^13 + 3230686265704498361165409925725874724513584042\ 9044694279792311623443161894619666432207301608244240246139/57822762\ 2370102254788906781752717978655930096211031346861161851827855417390\ 50195969657531135172778560*c_1001_12^12 + 7594822085190509341930981172394833427809533188839386955275995768325\ 214389942531837219596184818879657633/304330327563211713046793043027\ 7463045557526822163322878216641325409765354686852419455659533430146\ 240*c_1001_12^11 - 172408406271812613216527694604019801480535594529\ 51426323805307405257699057838986250364263826644189425617/5782276223\ 7010225478890678175271797865593009621103134686116185182785541739050\ 195969657531135172778560*c_1001_12^10 - 8884347285948961669530329657578892443699683171616834545475750453765\ 9829815391184190091152600048101344689/28911381118505112739445339087\ 6358989327965048105515673430580925913927708695250979848287655675863\ 89280*c_1001_12^9 - 82987281083080875729609333880277172205774247920\ 57920603742382909600039495724663385451822956364028499199/1445569055\ 9252556369722669543817949466398252405275783671529046295696385434762\ 548992414382783793194640*c_1001_12^8 + 7098765907806173204108873102365943037259238216956327591013740760737\ 366945121163266278019092305557172159/304330327563211713046793043027\ 7463045557526822163322878216641325409765354686852419455659533430146\ 240*c_1001_12^7 + 1115294603589395137138280162171921219727744802810\ 0877268150716072903858389813304817265445950203461146369/11564552447\ 4020450957781356350543595731186019242206269372232370365571083478100\ 39193931506227034555712*c_1001_12^6 - 3224556601016071218564787137716406471649742777066886605481165177193\ 5318253534043943804796100799112531467/57822762237010225478890678175\ 2717978655930096211031346861161851827855417390501959696575311351727\ 78560*c_1001_12^5 - 46823503713664107529767030385348881806562285083\ 683081015471313272850734175790177111102749329144649428553/578227622\ 3701022547889067817527179786559300962110313468611618518278554173905\ 0195969657531135172778560*c_1001_12^4 - 1867846218370420734607685822538745488914164355413008611549661073848\ 46702493359870652466645261054524203/1806961319906569546215333692977\ 2436832997815506594729589411307869620481793453186240517978479741493\ 30*c_1001_12^3 + 49588699473863312535171282030765836648881710095706\ 2527356541707151705798479131049481194086288447777597/36139226398131\ 3909243066738595448736659956310131894591788226157392409635869063724\ 8103595695948298660*c_1001_12^2 + 639211355268470666198634804570244\ 5582461962942956005857735755864040058820854975579741534185929621984\ 999/578227622370102254788906781752717978655930096211031346861161851\ 82785541739050195969657531135172778560*c_1001_12 + 6097116050062827762188125222730138081043639564703487819839465901636\ 83036126366695521091374700685264549/2891138111850511273944533908763\ 5898932796504810551567343058092591392770869525097984828765567586389\ 280, c_0011_0 - 1, c_0011_10 - 15507181219779121171496639315780189510939445970662246468672\ 54813290358171681399/1207971859130612267346663678333220979869682007\ 6559534102416405868301367786029279027*c_1001_12^25 - 1471872355592455905197478603918039042374598828192426935334960313398\ 5626896653556/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 + 1461019807185868720235453830625114500671174678025142321902577163466\ 958276246470/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 + 3533483104970531919454389607075230789948017613778368566902389860123\ 09111576333948/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^22 + 3902126177267892311797568329005923992483111844988054515396991377181\ 16517548040577/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^21 - 3917122096009564025676176373668581003430623064296267413633958090533\ 268325414889591/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^20 - 5157173879435481410059036018887686044561413324121721553667406209152\ 216831584017412/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 + 2534628229117674935323308369106327270853829809878214857189524193796\ 1744149549255359/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 3512474551364142800188939732688829185443396479639311187368931613395\ 8635321558411992/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^17 - 9908442376754093855292395295848290731405768024831522534140530805584\ 6417168175431504/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^16 - 1679600754033849507602194132579784993590213341470317335995607993190\ 37875667774998226/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 2630891806365117185261369322995121008165605166566048981325460266222\ 85448417708404360/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 5140149448918101507204983116440702652380650290154375399656873221915\ 17878953372307640/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^13 - 4458936867759606982391093012259272901734438336455059040636264671756\ 21336192550781650/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^12 - 1041291405923809020495127893459155974725629081519645135487722067432\ 821883106875832885/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^11 + 4533001544918271356183052467372532687463416104408843983006519337203\ 92242363408184260/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^10 + 1262762969857475441728672910315523094933407887481018157216250393959\ 218937188928638610/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 - 2018382558526359374218295149822503973250239020824096459254446533287\ 5320967894887921/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^8 - 9900217196885425862768667613870911873665730306508521208555088072701\ 24587635950635421/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^7 - 2478878493814537949469732097393438636982439865218328568419452158061\ 22742095962597156/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^6 + 1815352789027483363892696434492082285609618754441803870431129821638\ 91812066940562165/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^5 + 3745848259928726184751928511599612158058959288061106405223756437199\ 37258892474030769/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^4 - 2828950728144858030243758705705979017292051401386670753155759299287\ 4944525634226176/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 1016462039751198878096409770753067341216437009328872581933687997788\ 267640812951920/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^2 - 4692526028602625046689643365138638488458331463685504196805242212249\ 6173051306756227/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12 + 3755769154695142767977062910279734487027381258028250841207679098508\ 079165742526446/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027, c_0011_11 - 85203626091479335906696500550291438778872928864026019777736\ 4325925310841551665/24159437182612245346933273566664419597393640153\ 119068204832811736602735572058558054*c_1001_12^25 - 3479816475716701380717599355421385647053262200777065127474375015492\ 182292661144/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^24 + 6782914164742011297660099500813763131477002980174442261940202506136\ 702399384139/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 + 2138422925182201334834267154051644512574831250394234191033936392724\ 99768118741207/2415943718261224534693327356666441959739364015311906\ 8204832811736602735572058558054*c_1001_12^22 - 3156091990250308325068634113457124155587992577622712652943761441516\ 6042093853435/24159437182612245346933273566664419597393640153119068\ 204832811736602735572058558054*c_1001_12^21 - 2890076855430180163374497033343352910698904628733758754974272535119\ 976695065259637/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^20 - 3789257153469490890516124157654464869177947743998649659301468208410\ 74582762323862/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^19 + 1112346499915813623045095422127463610823165316799504773444301531510\ 9468558079826110/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 9946672755754763140040004989125164713076461987322009662285218093737\ 700022622200453/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^17 - 1066578882956482946420560342481850001726760597893802821908225713146\ 35293567995411525/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^16 - 3879398204404940796406938531661017392630345809108092369641391023579\ 6927380845253334/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^15 + 1778738829016258498549993321764153213560227998718917459246337839956\ 63618284092888429/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 3364828847444572370528779084991397051353724320832405805543160925080\ 90686921040677193/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^13 - 7990936454012597274638749981542255978068819629130785299442706435069\ 60976143649701233/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^12 - 9161717498152627478250574081849844285398899409747487901121724855260\ 36182661003612913/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^11 + 1175118337882078332649032330316469859961992916799060934906382553924\ 804284951905388213/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^10 + 7669342996211068428246895838541236774681514311361029424758576786859\ 51666625965137320/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^9 - 4341701158505646832402423617708752003122483872686795250299939336526\ 94030327115142930/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 - 1644156909059966726534585984145674208004505133353193775622000790257\ 366449186334868017/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^7 + 8980337635624327196032165056081981526140881156871258541947130062359\ 4949240941819545/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^6 + 7971338273780184429536041587282008102149810933281823921757628912651\ 27756564294859087/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^5 + 4864377403978625283729149124163831543577154248883932759480522170995\ 59468383672788017/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^4 - 1837369173474915420560599298621901528877528161330733975668203277954\ 5125041568012585/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 1004570430476774976982922626769782247394726642032382852100073068226\ 07758057618030676/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^2 - 1101876889136933866036674338702961742989468387347054942808789835986\ 57504368035296887/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12 - 2278861614350720737749314597389009198936531952624318176160282329476\ 8736497227875108/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0011_12 + 39757844614899665004480152825544900236063485262880243477037\ 18054597463157517153/2415943718261224534693327356666441959739364015\ 3119068204832811736602735572058558054*c_1001_12^25 + 1896448328390460424292145248764677917205229901691958613620924740638\ 8243833478222/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 - 1376084171963274620096838165739400975365858922709063612740315566536\ 088689177604/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 - 9139223620953985592607799908631027989093195182479077613062948175615\ 83137659713743/2415943718261224534693327356666441959739364015311906\ 8204832811736602735572058558054*c_1001_12^22 - 1042660877591625071970027249595955306777761255395266169430571580153\ 755850063872675/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^21 + 1018292179945062179711191779302294395649313241271034747324497072291\ 7890778431510421/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^20 + 6945463631669384835174446003045004704602527059219539824023860984431\ 780451690372014/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 - 3322800470487677505405333039769735520188476699945983826784279322177\ 3424160852811751/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 - 9561880493204692027333639907603803721547955958233661935550997264620\ 0777057223990737/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^17 + 2635408433550902207392573992412286618602695351487998418068612528950\ 99476619185417581/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^16 + 2296448975872641890597101748848546380564054535089249795359870254256\ 04189574794881610/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 - 3545228373856909899731089644572498155446770224621525215045902735100\ 71411821661582378/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 - 1430232611625859986812574947116796570489088830514137519503898475146\ 266264670933483719/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^13 + 1232691804338550035350844794267080610344533642347412326668545035957\ 079870684072419207/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^12 + 2972627726018289411627245980970014992781087292086173639379653136684\ 610747091591722693/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^11 - 1311158611306542100261840494430844332812447602010603790084857363496\ 157101220251249745/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^10 - 1901813897318613819167266271685826473327717137623464675935892399261\ 097669366908905405/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 + 1030444302507591784317667020894275812316040788831129558310686567160\ 70583836798592467/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 + 3162117820587253073558176592669308443589709007470374576577265410002\ 504544655622010781/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^7 + 6915678265192731360482885494310357508617338030494228124882654653695\ 87541308584239691/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^6 - 9237787820989057230170331812959399230954197311356848470990488660608\ 92706405923326937/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^5 - 1103910229497458774452603101645315061587443903831944828984330899000\ 840616511877781499/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^4 + 3869253763477647043430454952568502234508110723215513370660116213958\ 7233921531484455/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 + 8525496130759754737868116334970609577503432927017292832435651111506\ 4207220411907359/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^2 + 1553871436427751484885790033194065707602625916491976613796518201250\ 81065083111637091/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12 + 1167652483971696315834633608643278855901215107826517035071554565900\ 1049438267062497/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0011_5 - 246412576377435735151027292174737423197210735734404761814579\ 5731364689645740729/12079718591306122673466636783332209798696820076\ 559534102416405868301367786029279027*c_1001_12^25 - 2313567624031244580633068830453471686649009252418510918734393189519\ 6106739722709/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 + 5282483991079453310230112388066191570895620752907529765757423013021\ 417173382186/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 + 5665387749427193281061071988308870874642321897565344498365070538196\ 55515302777371/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^22 + 5618687909584576589298368020135283392592752994637540849113470027766\ 18571576239973/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^21 - 6412665352698158752493242349105543599380692842820671066490726367602\ 953298337473238/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^20 - 7682501935431808074464842233387014501588817754998615224406983996013\ 901890280040644/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 + 4248941413980619099187032992803567634613029041698075427090953077182\ 7405829938785960/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 5325372039334945585094006638265184588112755969051794398773515742028\ 4302135053142638/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^17 - 1720982856607424257430338430116395266773222322320851070961104187560\ 93027493952923846/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^16 - 2608396181686696301580872068115631462406512237980533683820608406519\ 31206893896188319/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 4810120191464849562115340697021425349172615343309126034553580205046\ 92727145333109291/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 8212893846261610986619492399735382093372983283429463396261503526686\ 83689325141057647/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^13 - 8933066108848595091337874130726775159621225345311984065761549051311\ 12207502484400090/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^12 - 1723851406137415791503523804450066062334269382395458463646485402290\ 174806238169824028/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^11 + 1087893128781840888739380257233002553246244886419951803773283489487\ 506454732373203672/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^10 + 2219394662535530247044944645832560794678309186415682046561703555294\ 296536577623304867/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 - 5031001576101937857572001934360681763695896579929375592256014885924\ 43141329800457931/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 - 1915471845903771137144311809399491337323966102119540893255043240606\ 992160821559104746/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^7 - 7059402607024476947130151112702391958238775724264546050707507555332\ 8816723894015538/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^6 + 6241410295411405926000520697937200184188416563835029359713300061068\ 41796206294012649/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^5 + 5147497340193090276723026846236820917388712864298715658903966954045\ 75290695482965888/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^4 - 1621597168307990441578438087261999184024381466976009166092617626741\ 29082013861840992/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^3 - 5544715876463452009965642620428653961208017346898384946387472756153\ 5192400295437766/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^2 - 5767730304933297781849797512654125140662080774022924517539235357516\ 1107604478782918/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12 + 5439976092679254176820952725209140071392778391028252499475994696597\ 68837523660790/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027, c_0011_9 + 283767819284061278182314394645830402179316281054999107290659\ 135156839119947711/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^25 + 1286355339876348866716357468701240462740732116023964936608268088769\ 003163014903/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^24 - 9379687856896438712970703789180059941151618797378787947188954416670\ 40744554219/1207971859130612267346663678333220979869682007655953410\ 2416405868301367786029279027*c_1001_12^23 - 6969811324397637596536808051693402820786258014184788182532329764362\ 2896928224659/24159437182612245346933273566664419597393640153119068\ 204832811736602735572058558054*c_1001_12^22 - 5101699912114257609198976153354091812557000426696537904503933354262\ 5901552875263/24159437182612245346933273566664419597393640153119068\ 204832811736602735572058558054*c_1001_12^21 + 8498681478350160058119060087248649633207787886329388671748730620198\ 08068818036809/2415943718261224534693327356666441959739364015311906\ 8204832811736602735572058558054*c_1001_12^20 + 4635756818091321445795924121251310670963413231857782923674396646635\ 30958224374430/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^19 - 2969677511728772973227166319562355880167695102344931742627601872247\ 160571540241454/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^18 - 7803232613201732691438310850990539977137879843383180880916592817657\ 527528448603971/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^17 + 2508341144153919856496189791200109280958044440002466229114149276407\ 6584763355449213/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^16 + 2233554696357545310217982717147511606621108605334690236595773699135\ 4319827813900140/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^15 - 3425447704364862076824043720589906162810274451227346525725429959540\ 3498252086389622/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^14 - 1646211329599723645527176190312969721460826874694722371040463030569\ 67750430074119787/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^13 + 9901983732590697293640187505006471719826251795908441943294260473492\ 5398145013681713/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^12 + 4051507642580330023196339427267109128480104759274188001040981640381\ 69121074041219097/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^11 + 3789081260597368561954681105885978806670864396646086654385181761384\ 523791681976479/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^10 - 3173148602272147656387939705264326961758632266667067032059915994398\ 90188347755483008/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^9 - 1804074253628726082213810202441048896058779810974792984297516877063\ 90662932793939341/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 + 6138237521445916200132354053313248717640537718510073094677082074509\ 64168539142614355/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^7 + 6922693976276033919013057855932753110665148352094359785652066611483\ 38339392572515705/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^6 - 1879209062145647941677017910197953580270595392354315154248595054223\ 29468337687624755/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^5 - 6676153025637126177207081154943151405755270867881142685131833135207\ 93947160557651093/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^4 - 7230779551824980633233480805069257611623571780906756897954908266198\ 7777787466698471/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 + 1033988278922660416824457528946405929102834424393897389531679805555\ 33789965499439601/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^2 + 1395292466796847036421815324022512202340460674530263349486907932779\ 71083165953494379/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12 + 1384910774383789617328990672342060179828109894237367082979738362460\ 8603654873738977/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0101_0 + 312015624283037221127370190821478603935759547011394320629727\ 7832793270996823507/24159437182612245346933273566664419597393640153\ 119068204832811736602735572058558054*c_1001_12^25 + 1384543319239957029865081319179952326289116009549775939925165045518\ 5406658951973/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 - 1084833593358947836178827590645381388921491905754467587802132730964\ 9441306312969/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^23 - 7133310554545412244323390140055846098727003249315887823043706610313\ 84100592843465/2415943718261224534693327356666441959739364015311906\ 8204832811736602735572058558054*c_1001_12^22 - 3425368007446564722791349132872702112790582764543033454320486629739\ 13030065023467/2415943718261224534693327356666441959739364015311906\ 8204832811736602735572058558054*c_1001_12^21 + 8466322459609019669669696009898490500866732930043818990729592304165\ 523320051533205/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^20 + 2756118530741272980368472274208773559976513573533373344621828942824\ 744598440249410/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 - 2927679697080791810136323174890156057024256203183144103898447195858\ 5080631666195455/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 - 3905484987752959559416556904303535829413719298443550253411924109522\ 3419899500778189/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^17 + 2508204376501059117175299541937634094903535302610695084804306988736\ 60652863982816321/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^16 + 1060959169900710448098829846447973411121529889850962660790401631615\ 28297347545235680/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 - 3858155393882754836965629677847921059149175357862691619996839694414\ 70419128847991506/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 - 6952348370945825190037205463443442145954456686342608382744365894865\ 17070991337874611/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^13 + 1651928305899088175909038095100743713397619741443719292237041354590\ 031869644939388421/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^12 + 1490621654509005148087236581636834589727474029237704545063049358889\ 659010787651147875/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^11 - 2503079283525841425185993513217722325441005144196429828870229826547\ 057623867711705831/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^10 - 9245893066833475146492084157886497325351269632959599308381704281443\ 35410690938242179/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^9 + 1081455788411732242078019789884685415103358844327908511546847223903\ 094120426532546201/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^8 + 1723575298046150211886967845099598176500550984399359704246060027009\ 823439349234131263/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^7 - 1347354434886451972272990016597991675077208452349568347410022995943\ 601336328520547981/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^6 - 5319132413164826732855470744267665700146285473234843346753022387042\ 46158142197828507/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^5 - 1747249377321911855009914657266867414693623298042596688120769364696\ 1739274358028191/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^4 + 2131896951581817252129800291737084684618000533784943891380044536811\ 47181911895525498/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^3 - 6394881282391489177414668491766215678858683926605814891205713645909\ 3805768804415015/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^2 - 2933811246176953471209211927817496797767312608912859659706952553568\ 996840329610231/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12 - 1093254054861263143630898535813112712016785229559471151339838586313\ 1741323464352001/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0101_1 + 132077982701117662025944359181015245648621038235160666562079\ 3316926202231461485/12079718591306122673466636783332209798696820076\ 559534102416405868301367786029279027*c_1001_12^25 + 1454670697422506820968076353793812812064140646450184951472622899909\ 1705396821628/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 + 1959579732289350692761667520372668343671599759139963980333344560372\ 8027536323658/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^23 - 2839837543739906658561688082737074722466713100867923984663740659628\ 93747525939802/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^22 - 7692749444414054777652881426307333876879224656040002218735475576458\ 29252630127394/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^21 + 2450082428547254852553127240244796110480578096756611022740605950591\ 342267464188216/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^20 + 8549856001896990495479182975530123499147083814300720460547558486832\ 390382734155768/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 - 1148160424075599510338190761253136525614424594807110996184799131131\ 5440261738135202/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 - 5238914678789476498168603315232205395471863133118291608483241295027\ 2861588413396572/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^17 + 2188575293987296406278045261216701569410531112974473663561881374605\ 2985349993748719/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^16 + 2072566156312580217719007616644966946764508977174589198992132198452\ 37782015139378661/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 3216879531456954850888224014133187643058909780829890214225931132407\ 7910308037541397/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^14 - 5195788982528144985420199815006687591960239334047274872647195917969\ 50528288500534739/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^13 - 2792491295632220790845154560799094967636498702619901587277233951317\ 08869804921785516/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^12 + 8050371160062841999416185135866400053821353803034633435011817848511\ 02173948512694912/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^11 + 6655466180983499568087871637660575283247874074325499631021185818661\ 25260232910909408/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^10 - 6226034096704292102266512509013009900000149356891416254851349847383\ 96894270863124129/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^9 - 8022415362845699705480212937189876315822389820807627913196290631176\ 51111693374316824/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 + 5162910158880734053391854554053515183011335578289480827689733411372\ 6046190129398982/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^7 + 3479672829369581052014470563869131406093605018216537437333608361336\ 26671660785799413/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^6 + 2804214719246684023187553772918152875425033492881540260189737915737\ 74296901495832044/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^5 + 1128583652377163591985080982289347810237272976790587725916389046627\ 35641731520894018/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^4 - 5455574175691211502678252545136482755247495771693744514936138989895\ 4629483349230002/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 7490265689192727667622220928848045177916180453212362938260945630855\ 1022582272680299/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^2 - 6882094395371216741641878682722452298083334890203985617222231125398\ 2623677271644870/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12 - 1815776225878424736324563838379189967483563899492403109583707585148\ 6584276994679824/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0101_10 - 26946667464395037888190052549020614387735234759438738102219\ 0789835473577375510/12079718591306122673466636783332209798696820076\ 559534102416405868301367786029279027*c_1001_12^25 - 3108500070398747798690848084436647478678355392757889364431505759449\ 315677061779/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^24 - 5065647306311276221372571026476977905544773828468858485419899138838\ 070659193003/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 + 6076878301581528258390932789031061304050975163330012362154830249205\ 2002913631014/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^22 + 1904277204682974728838062022207381843525086916441980912326482777440\ 55026191092314/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^21 - 5239524581058720027368345226297294684792181518847188605219789953841\ 20559617718330/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^20 - 2203433508185990177999868745344559512355523238670671717638647468818\ 289847042344759/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 + 2470545641069131924940768277463216943921038375646606715127506947209\ 819246173816766/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^18 + 1423296549732700505778233887633521356945071271714812325220085386824\ 3525289017924357/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^17 - 4679263091338805683909612302644000895639821006457299713044646630130\ 609164593216635/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^16 - 5929505151140123552900673912848947911506690845871943712019113732499\ 8332750170064817/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^15 - 1113509486186923767210782455060426266220927434443052235871887240698\ 0895698653709992/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^14 + 1645741130210917817101791424978499281699312821044306268147036717367\ 75423262984609389/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^13 + 8605990495608119690982130641452497484565196795064911452778286036843\ 5053473021131423/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^12 - 2994517804166679994024312636395223330282645957079732717784932870104\ 89077992302937165/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^11 - 2314455911467815650468899214803180442359924944621194034896128237326\ 83212809081518045/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^10 + 3318942864170858469384161427718045262697058476150113854802339006826\ 40715603413842877/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^9 + 3410194979531788530239622848982025040792664120153075132570014559820\ 56149291902660580/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 - 1637887177020831371408063116407042907114464686956109933849644882621\ 82238322374872335/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^7 - 3075049681249682037065193358897632541798900516350492050668588449123\ 39563680971111140/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^6 - 1661101245981601306028376955916458689516229394296861288466949670364\ 2831830482453265/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^5 + 1169555026910867226611975341232879112442758427667640807698174745668\ 88881593790379905/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^4 + 9094039743902080794806913814196438872710002535297126943029299665645\ 1845185983231857/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 4920022992063918790688141459223685888500385972498590024581578763105\ 2868923169107889/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^2 - 8080343296165235325742318919303009958404717641227741546144419050872\ 007157133400957/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12 - 1599358016311926240844993154706147584482602922866452446558433398195\ 2870247966838227/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0101_11 - 20662564137506768612215007541355916500844564008751346689866\ 49989780418333071684/1207971859130612267346663678333220979869682007\ 6559534102416405868301367786029279027*c_1001_12^25 - 2000458591315356706127960748250415003288843881269709842883728769802\ 2391246791484/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 - 6643139528997825859397000108635454458155242940696830236345791673494\ 11380773456/1207971859130612267346663678333220979869682007655953410\ 2416405868301367786029279027*c_1001_12^23 + 4824339435504364764777713853711912842492292420565731554956003735834\ 69769547234926/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^22 + 6152159342281761069108407491394407887741174244434347512097727950665\ 04303908053535/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027*c_1001_12^21 - 5368363280524341304573286194412794781257584799963298221593503246867\ 495042959279170/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^20 - 8283034062120883517032638890409266360641994344398776957309441761323\ 048333677432823/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^19 + 3499022668019433841644041511271464476636331134914864866501648266822\ 5298411395361424/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 5820614401795412241228321925678864219743031537621078394909272739876\ 5097810808635469/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^17 - 1381490209702285663459973266226857604758302733396109428148648857609\ 90271241042774810/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^16 - 2808241955891772726113620969848109784384818540958513114089165591399\ 55474367856730933/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 3601598932980924624457607277764898059083238579405387929034991556016\ 47284146696159130/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 8904408471002908329775815720756751204391693023338903619308924033682\ 79878293476222590/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^13 - 5775155721371363950724036180408853677257158489024397577595248308547\ 45800929088263287/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^12 - 1892099439382386292175383038821175669911071480370826748393260021918\ 608502149577635134/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^11 + 4746062175909275660120591082860641438845304125984104945259662731430\ 73101705078938395/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^10 + 2526269338439937461184909945513489883688467867468798371426244767964\ 011188799506350054/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 + 2569910721905029331371907177319695167233951344660497874948239498924\ 68613070699746055/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 - 2127973516914786413771048030696171217909197930626426462417735171384\ 538605763610007143/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^7 - 7930984207291831919844119317220556428076603930775764626614025378495\ 68108979902079285/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^6 + 7017967195393217515609925617862804689248519114606404805977658514234\ 57281064801469971/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^5 + 7960199990457632059567986840727731421363967037162970692936092097282\ 75712854503874600/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^4 + 3422152737408843140726304813982896887435456769665832446142092827629\ 1281647987087181/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 1747782180043616494607260011488998485002137129104361325583834255540\ 43691434439832955/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^2 - 1034952976545952238090840656720525765216003315074005703171752612380\ 32522797152846915/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12 - 1834219945879633847733846432045581386458346710815911371438026352785\ 5800471508419719/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_0101_2 - 772782036169981779524963669989860162017320654022470711508779\ 6385716106185654205/24159437182612245346933273566664419597393640153\ 119068204832811736602735572058558054*c_1001_12^25 - 3821850702315854372988620159035913754274206403782839820645037038599\ 1088720663846/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 - 1196022443102504795931371285419177732729792902149950357879749457819\ 5521468019879/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^23 + 1742440367497078516511538030239831579518117115880343553369709540626\ 392537600950437/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^22 + 2614542410418445315468773493421449098990769212209166146599700498614\ 199968924992307/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^21 - 1834389082148335998728992866203670509319207192617875754268956977201\ 2769261437756887/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^20 - 1614163755023411161772457059214266245586474613754041161593159081310\ 8565015338115754/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^19 + 5641827713196506909792678946725734861072281491371186186915972991460\ 8429858221537659/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 2121975423011697424686737391695444224852378951366357203789000839895\ 51858163132046163/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^17 - 4109715187464509575745437521406955355560377941397741030515746952134\ 49690355926999525/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^16 - 4768216749516382082160244345345934804083473249111526363340334650163\ 91229471161269205/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 4842421622700665878472819072965189396051862440422557359933982306937\ 08952941407763848/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 2773375554512802915905920372957532096159282358218875177709276301191\ 112372977422350931/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^13 - 1342226129018345971823680737035117383086774125325552785002628656357\ 275038815755031467/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^12 - 5324586512404305560006071575787739546294572781591593473213333979768\ 272563524373280701/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^11 + 8578814866859537643008655178935691895483063085668626186062815012469\ 93287564595795999/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^10 + 3055523011194824589373202994211722130542438674175112857937103437508\ 001012205736112460/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 + 4819639819971642376624104512534581903052881306754924554950014913697\ 20520352246496231/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^8 - 4305956457085717393211922197789993971269930581516686845192920003438\ 024550451136204841/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^7 - 1487282533835814706512966962452563875945692451825858690630513492284\ 485757547724779985/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^6 + 6478977895201918071213979819435647169100470714325226116107676433625\ 92290940372442095/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^5 + 1342143395114899825182825601983513364335212474433049876425577441217\ 030146198865267927/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^4 - 8411465010097417629047592726638254842704240077777667289965935193804\ 985957636704087/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^3 - 9016174840542209011630316039149758731567434723391387129584201843438\ 551693965733250/120797185913061226734666367833322097986968200765595\ 34102416405868301367786029279027*c_1001_12^2 - 1149848378825505683411601019013223474447823271731569402685106785418\ 17833802648734159/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12 + 4715414610522964161539663194584176703941886785153500131328422470224\ 52549751068099/1207971859130612267346663678333220979869682007655953\ 4102416405868301367786029279027, c_1001_0 - 784767848576335902506320516208355869514056066280620786267949\ 9467165746105466311/24159437182612245346933273566664419597393640153\ 119068204832811736602735572058558054*c_1001_12^25 - 3813284052086630828366034290776800488775307728807462976890800658401\ 9544812235611/12079718591306122673466636783332209798696820076559534\ 102416405868301367786029279027*c_1001_12^24 - 4754150059845210857277124641279539165632944880492611882572649018819\ 889189018479/120797185913061226734666367833322097986968200765595341\ 02416405868301367786029279027*c_1001_12^23 + 1787162722013943935974912231074427489766235830571428390891187013242\ 047745756921843/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^22 + 2353272991566851826965989544713706366278690421986061351434536503767\ 632841281622087/241594371826122453469332735666644195973936401531190\ 68204832811736602735572058558054*c_1001_12^21 - 1939843696971002826089665723028478228019480096332282452444812829242\ 0575656925558061/24159437182612245346933273566664419597393640153119\ 068204832811736602735572058558054*c_1001_12^20 - 1501874712833992958609521904318385888674211494850352547857221481220\ 2672707026143395/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^19 + 6177181554117494288763432443658852305106332510539511227203036779826\ 2705214262144099/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^18 + 2016666873295102657723974325820533437456822822810248030144488577075\ 07893416405822161/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^17 - 4747809433763711702075574713515115303963498352858686988369559981073\ 01117597606418183/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12^16 - 4682230193709669545382914931001761652219039186370344950251336579832\ 68839430167470079/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^15 + 6116551053223483268743520279849010599725487683249949080529158591477\ 22118415882993127/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^14 + 2828938879520806178940896919338619191999214959862170227330314152238\ 118495950637594275/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^13 - 2010133357471192764216861956214861782719952173651674126212972535636\ 895435680625435697/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^12 - 5707223985365590497642875789535343061294300869861615722766088692516\ 169516282437891755/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^11 + 1979874152804366493855371321478417215499586607937271089054140094938\ 348177937630892313/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^10 + 3538481918648858845447996537224846386640124343215588077320778613677\ 014767688233509684/120797185913061226734666367833322097986968200765\ 59534102416405868301367786029279027*c_1001_12^9 - 3084691311826586387849113810053549504964849738015355811274304629185\ 1615625021710418/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^8 - 5668185032663279904540613303442316396314013083977429901599978670987\ 011052412232140051/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^7 - 1225452377833773337765438445996692978371453270573193354259505627513\ 191838031312356541/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^6 + 1572746265797944497952989922030211168368421447312911362179599241130\ 780373033566980025/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^5 + 1766233138697317271752085134299162882748415527172182140219931380430\ 714111330738175947/241594371826122453469332735666644195973936401531\ 19068204832811736602735572058558054*c_1001_12^4 - 8789330808588789796381706279700656842460780990728483752097181131752\ 3853039396214921/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027*c_1001_12^3 - 1464137710744741792354959820772216501666118282079709773758782652052\ 83318588290581287/1207971859130612267346663678333220979869682007655\ 9534102416405868301367786029279027*c_1001_12^2 - 1891509959510211013578811930882083906337700439823695367618403481308\ 97259518526766383/2415943718261224534693327356666441959739364015311\ 9068204832811736602735572058558054*c_1001_12 - 1599800409020743675911715613502456145333897602521951735691127830812\ 9387982098845096/12079718591306122673466636783332209798696820076559\ 534102416405868301367786029279027, c_1001_12^26 + 10*c_1001_12^25 + 4*c_1001_12^24 - 227*c_1001_12^23 - 365*c_1001_12^22 + 2375*c_1001_12^21 + 4530*c_1001_12^20 - 14496*c_1001_12^19 - 30139*c_1001_12^18 + 51981*c_1001_12^17 + 136168*c_1001_12^16 - 116280*c_1001_12^15 - 401725*c_1001_12^14 + 134907*c_1001_12^13 + 787151*c_1001_12^12 - 3965*c_1001_12^11 - 940866*c_1001_12^10 - 310640*c_1001_12^9 + 678433*c_1001_12^8 + 410629*c_1001_12^7 - 112311*c_1001_12^6 - 304421*c_1001_12^5 - 53920*c_1001_12^4 + 36180*c_1001_12^3 + 41979*c_1001_12^2 + 9574*c_1001_12 + 1444 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.980 Total time: 12.189 seconds, Total memory usage: 121.72MB