Magma V2.19-8 Tue Aug 20 2013 23:57:00 on localhost [Seed = 2615014254] Type ? for help. Type -D to quit. Loading file "K13a2823__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a2823 geometric_solution 10.47493043 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575035599762 0.775449062895 0 2 4 4 0132 0213 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 19 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401999145535 0.411412315882 5 0 1 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -19 20 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.733017838430 0.369456076616 6 5 7 0 0213 0213 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 -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.809588106310 1.422330756741 1 1 0 6 3120 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 19 1 0 -20 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401999145535 0.411412315882 2 8 3 9 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.660596274823 1.103402031708 3 9 2 4 0213 0321 0132 0213 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 -20 20 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.872865153383 0.695144054838 8 10 11 3 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781693995694 0.343884478608 9 5 10 7 0213 0132 1023 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 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.039463699816 0.695316487725 8 10 5 6 0213 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.258855947853 0.502867808170 9 7 8 11 1023 0132 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 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 1.315777713703 2.072666459538 12 12 10 7 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739387883199 0.604321923868 11 12 11 12 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.963850157678 0.343781013549 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], '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' : negation(d['1']), 's_0_9' : negation(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_1100_9' : d['c_1001_0'], 'c_1100_8' : negation(d['c_0101_12']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0110_10'], 'c_1100_3' : d['c_0110_10'], 'c_1100_2' : negation(d['c_0011_4']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0101_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : negation(d['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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0110_10, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t - 15393851058727548391888606440683746097217427426030370272015/2798386\ 1681227937557306831151256378898949961826843712*c_1001_1^41 + 214464117426932513220864499407125810495800697029360821982867/279838\ 61681227937557306831151256378898949961826843712*c_1001_1^40 - 28428371768491604022779998263768532637823342290262477136875/3997694\ 525889705365329547307322339842707137403834816*c_1001_1^39 - 883402853019824937325608167664926991719164042213615039835803/599654\ 1788834558047994320960983509764060706105752224*c_1001_1^38 + 4892379315575511797810895180350725890443255416169135866923449/41975\ 792521841906335960246726884568348424942740265568*c_1001_1^37 - 5751721052771966612600131603553347898463982199848946845175931/39976\ 94525889705365329547307322339842707137403834816*c_1001_1^36 + 130920765546140792834412065788355003225698181702105634967519585/839\ 51585043683812671920493453769136696849885480531136*c_1001_1^35 - 547853341592706473129864714205108603762679960616391668008598173/839\ 51585043683812671920493453769136696849885480531136*c_1001_1^34 + 37702191510073001130258145814782023332312258598380202205328619/3997\ 694525889705365329547307322339842707137403834816*c_1001_1^33 - 1579971082992141523335842769433250691977860105885880965268139743/83\ 951585043683812671920493453769136696849885480531136*c_1001_1^32 + 3150297179961823018595562902359263177062753423094553928817657137/83\ 951585043683812671920493453769136696849885480531136*c_1001_1^31 - 439919558657846302777613485561999050314142670540688525508886163/119\ 93083577669116095988641921967019528121412211504448*c_1001_1^30 + 441821336853735671273436983311259680946498570132997394224229809/399\ 7694525889705365329547307322339842707137403834816*c_1001_1^29 - 530820642104417822001475419177931387666477596264791128142116261/119\ 93083577669116095988641921967019528121412211504448*c_1001_1^28 + 21371466323180339199502636074297051653321788164526214305013403755/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^27 - 803860699960519398855462556821726017524811123717813510507455283/839\ 51585043683812671920493453769136696849885480531136*c_1001_1^26 + 13216235362767146315260992894728870520263565812040512883087438049/2\ 7983861681227937557306831151256378898949961826843712*c_1001_1^25 + 1016257370761556809793408387571888594772887595861092870200507939/10\ 493948130460476583990061681721142087106235685066392*c_1001_1^24 + 60212922521619465399328361278479534912612706816599392329750442021/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^23 + 1874658051859239370591403666348579249132236240852997055489776505/69\ 95965420306984389326707787814094724737490456710928*c_1001_1^22 + 6286439784084685273850048746518061716773390119759143207145685777/69\ 95965420306984389326707787814094724737490456710928*c_1001_1^21 + 9301838472290215005065939302056965354877595339613096485945472713/20\ 987896260920953167980123363442284174212471370132784*c_1001_1^20 + 78095274572021535518984730684665818582833693017264469057440833481/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^19 + 45169101552722100201854515315759060422963116772153766956331376147/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^18 + 33278500893870549447167410427994655302204233763755133047002335479/4\ 1975792521841906335960246726884568348424942740265568*c_1001_1^17 + 137815681535216165756912857864982403406188249772372802109273335/272\ 570081310661729454287316408341352911850277534192*c_1001_1^16 + 15423658685895349311306287093405823143446394771833596828532070041/2\ 7983861681227937557306831151256378898949961826843712*c_1001_1^15 + 10436248890480320038126791928430224328106564051297036281314125993/2\ 7983861681227937557306831151256378898949961826843712*c_1001_1^14 + 3691483384265561535915136228518858669554978610746105065743772579/11\ 993083577669116095988641921967019528121412211504448*c_1001_1^13 + 18042884848376371491553154345829656897969459227063880471125734035/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^12 + 11325166622165227980898859870191670641300539412162857615736971547/8\ 3951585043683812671920493453769136696849885480531136*c_1001_1^11 + 2662617560384751131374704983576130246949891797445894892881578899/27\ 983861681227937557306831151256378898949961826843712*c_1001_1^10 + 537940731356056618472554985930554305077649681203290105685642177/119\ 93083577669116095988641921967019528121412211504448*c_1001_1^9 + 40025759442620042854964546157763047174123700106778773698953729/1271\ 993712783088070786674143238926313588634628492896*c_1001_1^8 + 452909915971922111157568579754894095680508540039788626810708881/419\ 75792521841906335960246726884568348424942740265568*c_1001_1^7 + 26076181918651160244586908692138582838349164790078956315696699/3497\ 982710153492194663353893907047362368745228355464*c_1001_1^6 + 73476704824914274308785528802333142779453226688735016164551771/4197\ 5792521841906335960246726884568348424942740265568*c_1001_1^5 + 99422610676109261642320411131830202694961271549908710013004355/8395\ 1585043683812671920493453769136696849885480531136*c_1001_1^4 + 3560198137693200956868745593541881754608988499516736095246677/20987\ 896260920953167980123363442284174212471370132784*c_1001_1^3 + 2351493791375680894507577714160151850390993435926805983594781/20987\ 896260920953167980123363442284174212471370132784*c_1001_1^2 + 205866248023910618901114371564665728954686655029247240936721/279838\ 61681227937557306831151256378898949961826843712*c_1001_1 + 397582317453935860890954744787946480625977916297615758460611/839515\ 85043683812671920493453769136696849885480531136, c_0011_0 - 1, c_0011_10 + 151205469295251895531665793093488313046333645/2065553719295\ 3296503611175803439969501664*c_1001_1^41 - 5785932851665685450976984901695413841110130955/61966611578859889510\ 833527410319908504992*c_1001_1^40 - 544457585340168071379619009076181344397361243/619666115788598895108\ 33527410319908504992*c_1001_1^39 + 19345810453007772844467419897599857147142278733/1032776859647664825\ 1805587901719984750832*c_1001_1^38 + 17993168455459294728310201355777483226292612565/3098330578942994475\ 5416763705159954252496*c_1001_1^37 + 1327596425564435979157456943230453607051907692869/61966611578859889\ 510833527410319908504992*c_1001_1^36 + 130287124061528911039759704393602034378308766111/206555371929532965\ 03611175803439969501664*c_1001_1^35 + 7100960092881334286844388768587208910558217517607/61966611578859889\ 510833527410319908504992*c_1001_1^34 + 1967157653204398810263654124418607421540463014699/61966611578859889\ 510833527410319908504992*c_1001_1^33 + 25174606701102368963586041713352191173495181194365/6196661157885988\ 9510833527410319908504992*c_1001_1^32 + 2147704464764662398326015186815694797101545269055/20655537192953296\ 503611175803439969501664*c_1001_1^31 + 66049650900166839727334582470301358709935810585967/6196661157885988\ 9510833527410319908504992*c_1001_1^30 + 5091110473543354007802459592498592047348208901243/20655537192953296\ 503611175803439969501664*c_1001_1^29 + 134905376850259964037023227775115290575459685921113/619666115788598\ 89510833527410319908504992*c_1001_1^28 + 27410220379364343338536839096479969209561461168031/6196661157885988\ 9510833527410319908504992*c_1001_1^27 + 73244767383334806115866849185426208375276147932051/2065553719295329\ 6503611175803439969501664*c_1001_1^26 + 12563144954569398580803810956401132618235320567917/2065553719295329\ 6503611175803439969501664*c_1001_1^25 + 35989484698561266493784655146178257803622623501535/7745826447357486\ 188854190926289988563124*c_1001_1^24 + 38872644978222710718252621539938842096909945979601/6196661157885988\ 9510833527410319908504992*c_1001_1^23 + 75549535962893968589738764579754235405290376376615/1549165289471497\ 2377708381852579977126248*c_1001_1^22 + 2286677095678171817361113484881069274826369694745/51638842982383241\ 25902793950859992375416*c_1001_1^21 + 62209542961285681788936533074413684735678546412841/1549165289471497\ 2377708381852579977126248*c_1001_1^20 + 2621170691799736845352628566627248900745847549687/20655537192953296\ 503611175803439969501664*c_1001_1^19 + 50767631124670371742206200963302037114141840093789/2065553719295329\ 6503611175803439969501664*c_1001_1^18 - 4917981444987731905622677772518845172432443319141/30983305789429944\ 755416763705159954252496*c_1001_1^17 + 14641708751199130827562859372448193323047768701303/1549165289471497\ 2377708381852579977126248*c_1001_1^16 - 17814261022014797632072511090570425710336324617345/6196661157885988\ 9510833527410319908504992*c_1001_1^15 + 438358530630059458163098388374831659924677416261/206555371929532965\ 03611175803439969501664*c_1001_1^14 - 5281858663765589944865914201569070259271106936453/20655537192953296\ 503611175803439969501664*c_1001_1^13 - 16584917061290496229470654919972721624884056276185/6196661157885988\ 9510833527410319908504992*c_1001_1^12 - 9404393357232034670376716852876654891567658601393/61966611578859889\ 510833527410319908504992*c_1001_1^11 - 13095269941907361590162512347457861354265802209371/6196661157885988\ 9510833527410319908504992*c_1001_1^10 - 3869679648425795371580355675841072011714730728373/61966611578859889\ 510833527410319908504992*c_1001_1^9 - 2893767678121018655231957758926164145665494894531/30983305789429944\ 755416763705159954252496*c_1001_1^8 - 180388233961145929593010128157641515902809949545/103277685964766482\ 51805587901719984750832*c_1001_1^7 - 204505706790944144411292475772731992550889513465/774582644735748618\ 8854190926289988563124*c_1001_1^6 - 32468819053849812928329151722390075974225957611/1032776859647664825\ 1805587901719984750832*c_1001_1^5 - 97223749442653568628490325725747032006376931891/2065553719295329650\ 3611175803439969501664*c_1001_1^4 - 1683595914890802089842584461273187129372543553/51638842982383241259\ 02793950859992375416*c_1001_1^3 - 248184491418622286640137281950581\ 2656853291993/5163884298238324125902793950859992375416*c_1001_1^2 - 303946843242430898703609835483691289949804819/206555371929532965036\ 11175803439969501664*c_1001_1 - 13229585919863461660340697431800728\ 01071723385/61966611578859889510833527410319908504992, c_0011_11 + 3986330215985220795776076237223704643382667475/619666115788\ 59889510833527410319908504992*c_1001_1^41 - 48028162846310229868361389697170118555662361207/6196661157885988951\ 0833527410319908504992*c_1001_1^40 - 38528865500068089152465035793470892883106013767/6196661157885988951\ 0833527410319908504992*c_1001_1^39 + 495155159023660127266066060667779791919411004659/309833057894299447\ 55416763705159954252496*c_1001_1^38 + 507186219502316037048108296307578797249732520857/309833057894299447\ 55416763705159954252496*c_1001_1^37 + 12435879650178925339866846906034146323438198587465/6196661157885988\ 9510833527410319908504992*c_1001_1^36 + 12276634521844355899926836021197786708308558461297/6196661157885988\ 9510833527410319908504992*c_1001_1^35 + 23905098257176941966615125658639264557271538638081/2065553719295329\ 6503611175803439969501664*c_1001_1^34 + 68583204232150818614258671200873564896308080821255/6196661157885988\ 9510833527410319908504992*c_1001_1^33 + 273295940341088030332415930275034464857538101559057/619666115788598\ 89510833527410319908504992*c_1001_1^32 + 253106353810374642783854846021415094357546829786513/619666115788598\ 89510833527410319908504992*c_1001_1^31 + 257583682773120242191990427709448022639203919309481/206555371929532\ 96503611175803439969501664*c_1001_1^30 + 692416804820740379514110476856493033963621539858581/619666115788598\ 89510833527410319908504992*c_1001_1^29 + 1712156943778880112174861560958864887321761627787837/61966611578859\ 889510833527410319908504992*c_1001_1^28 + 1483293932063700708995911527570000646593501513276491/61966611578859\ 889510833527410319908504992*c_1001_1^27 + 1020084515769955998331834904098822344998786720282175/20655537192953\ 296503611175803439969501664*c_1001_1^26 + 2562006716322301276639539443982275700436385222391011/61966611578859\ 889510833527410319908504992*c_1001_1^25 + 560312565621821554237080982925200674901912304259199/774582644735748\ 6188854190926289988563124*c_1001_1^24 + 3624618543185384302503527895420543730422199498392101/61966611578859\ 889510833527410319908504992*c_1001_1^23 + 451670994088652130612342342693668522066116462076789/516388429823832\ 4125902793950859992375416*c_1001_1^22 + 1057718567484563861319050766722437494594748557863207/15491652894714\ 972377708381852579977126248*c_1001_1^21 + 1353903533293898130327135081570847868944969618791569/15491652894714\ 972377708381852579977126248*c_1001_1^20 + 4077745703131202031224822746010839675074923941383481/61966611578859\ 889510833527410319908504992*c_1001_1^19 + 4451670880157877269892742394922693986195263950009587/61966611578859\ 889510833527410319908504992*c_1001_1^18 + 1614733214389622684599629453800037370763860974717991/30983305789429\ 944755416763705159954252496*c_1001_1^17 + 745110243451540293870163277671657396581710016081355/154916528947149\ 72377708381852579977126248*c_1001_1^16 + 693273801815473525036938813610461543866096357827417/206555371929532\ 96503611175803439969501664*c_1001_1^15 + 1598868330609260420338283766954287424457231719594571/61966611578859\ 889510833527410319908504992*c_1001_1^14 + 1071103050657364108464153447346855557600723133394677/61966611578859\ 889510833527410319908504992*c_1001_1^13 + 223597473162704430668779840304645288651379080586705/206555371929532\ 96503611175803439969501664*c_1001_1^12 + 430777888119672552089759776245730005680599280650699/619666115788598\ 89510833527410319908504992*c_1001_1^11 + 70862303768448065075126655127025240315008440490003/2065553719295329\ 6503611175803439969501664*c_1001_1^10 + 43691785963612709819029855380988990123208691322733/2065553719295329\ 6503611175803439969501664*c_1001_1^9 + 24221508091861483968831029271240934755377084343977/3098330578942994\ 4755416763705159954252496*c_1001_1^8 + 14440381058781330200280878051523211116746807937385/3098330578942994\ 4755416763705159954252496*c_1001_1^7 + 306604050258174784699002502168671500323358471903/258194214911916206\ 2951396975429996187708*c_1001_1^6 + 2155093788044129950666099711383162181283668020659/30983305789429944\ 755416763705159954252496*c_1001_1^5 + 648242164176783073100828250217417503310922438195/619666115788598895\ 10833527410319908504992*c_1001_1^4 + 96681054488207263483515356448027436590840932593/1549165289471497237\ 7708381852579977126248*c_1001_1^3 + 1868246858056690934343372412056002530407125887/51638842982383241259\ 02793950859992375416*c_1001_1^2 + 521371898032446010175607759354879\ 3071910522433/20655537192953296503611175803439969501664*c_1001_1 - 336239516008689437496735667916117263116568285/619666115788598895108\ 33527410319908504992, c_0011_3 + 43436772600331452898634633069917119745542481/206555371929532\ 96503611175803439969501664*c_1001_1^41 - 1511734752439455691198467917790085892711848583/61966611578859889510\ 833527410319908504992*c_1001_1^40 - 1961160378364152538045429464523300292476753463/61966611578859889510\ 833527410319908504992*c_1001_1^39 + 15901145862865973574646186487983799705791909603/3098330578942994475\ 5416763705159954252496*c_1001_1^38 + 7943234256236273973195231005219004425929599443/10327768596476648251\ 805587901719984750832*c_1001_1^37 + 421466825056705064343519304480841930409029925737/619666115788598895\ 10833527410319908504992*c_1001_1^36 + 194207512360481731665704185325113936199760388107/206555371929532965\ 03611175803439969501664*c_1001_1^35 + 2524462979197268415089666736563193469179105484435/61966611578859889\ 510833527410319908504992*c_1001_1^34 + 3284535711837303831448239618336530007883507976039/61966611578859889\ 510833527410319908504992*c_1001_1^33 + 9937107929825207834706663625337781016626582280129/61966611578859889\ 510833527410319908504992*c_1001_1^32 + 4078976770135123877383786709455240954469503804811/20655537192953296\ 503611175803439969501664*c_1001_1^31 + 28953022400334154621292077571650852436754734036827/6196661157885988\ 9510833527410319908504992*c_1001_1^30 + 11270824847779157501576849822194088498744012360439/2065553719295329\ 6503611175803439969501664*c_1001_1^29 + 66043262452009713014958726304424840056326050078221/6196661157885988\ 9510833527410319908504992*c_1001_1^28 + 73191776165295000617292411737201552314401432614507/6196661157885988\ 9510833527410319908504992*c_1001_1^27 + 121559735794126132353946663197574583612856160636813/619666115788598\ 89510833527410319908504992*c_1001_1^26 + 127788547014567010472598203643572819134330172684627/619666115788598\ 89510833527410319908504992*c_1001_1^25 + 7649919566085761724117826822737604192154046444401/25819421491191620\ 62951396975429996187708*c_1001_1^24 + 182808777803349264336540505571923019007329807128069/619666115788598\ 89510833527410319908504992*c_1001_1^23 + 57364764865966904994887476466317054706451222330227/1549165289471497\ 2377708381852579977126248*c_1001_1^22 + 53960117767789641046786696893904896289768359458375/1549165289471497\ 2377708381852579977126248*c_1001_1^21 + 59462712838969169187116604119047670428253865994021/1549165289471497\ 2377708381852579977126248*c_1001_1^20 + 70168974810344189876011120777085040379146581993219/2065553719295329\ 6503611175803439969501664*c_1001_1^19 + 67970977746681340007345019217442014112276867358497/2065553719295329\ 6503611175803439969501664*c_1001_1^18 + 84396211246913031914583843137069986178404856429767/3098330578942994\ 4755416763705159954252496*c_1001_1^17 + 11955520171256626869530710504590478319916076574697/5163884298238324\ 125902793950859992375416*c_1001_1^16 + 110134593358725605382116743586632522923931246310219/619666115788598\ 89510833527410319908504992*c_1001_1^15 + 81758703387334558899249898049079881246319176668475/6196661157885988\ 9510833527410319908504992*c_1001_1^14 + 19171344287468444881128789159625966236656121759191/2065553719295329\ 6503611175803439969501664*c_1001_1^13 + 37020374010214798192721926770641725955262506347187/6196661157885988\ 9510833527410319908504992*c_1001_1^12 + 23471648076151769170239536017395576155445205117499/6196661157885988\ 9510833527410319908504992*c_1001_1^11 + 4324235454622314219973763307738581869386362571235/20655537192953296\ 503611175803439969501664*c_1001_1^10 + 7244737002704471613741890694147628458938114821159/61966611578859889\ 510833527410319908504992*c_1001_1^9 + 566547670493490847667611235590689565219196361771/103277685964766482\ 51805587901719984750832*c_1001_1^8 + 808042144138770533503859347646964656034347939849/309833057894299447\ 55416763705159954252496*c_1001_1^7 + 79514564668762760590340976201965753651830341883/7745826447357486188\ 854190926289988563124*c_1001_1^6 + 121631080852442350705026037178653891741765270715/309833057894299447\ 55416763705159954252496*c_1001_1^5 + 79428870804455684778970408932226143912112218259/6196661157885988951\ 0833527410319908504992*c_1001_1^4 + 5475931624364443455590487277482783872790581201/15491652894714972377\ 708381852579977126248*c_1001_1^3 + 1468662749829625376506316707283499928939855777/15491652894714972377\ 708381852579977126248*c_1001_1^2 + 884064467492734299652687484562683222466444947/619666115788598895108\ 33527410319908504992*c_1001_1 + 19312468234888556968807435846583586\ 1482412979/61966611578859889510833527410319908504992, c_0011_4 - 4702373066926572924807199861213203684273281/2065553719295329\ 6503611175803439969501664*c_1001_1^41 + 178276987853466988541492824815498450043069751/619666115788598895108\ 33527410319908504992*c_1001_1^40 + 12347469432067167813970610446174070818931597/2065553719295329650361\ 1175803439969501664*c_1001_1^39 - 179748348982139786133490635858793\ 4803590155411/30983305789429944755416763705159954252496*c_1001_1^38 - 255450739949268597354050901137166017846992595/1032776859647664825\ 1805587901719984750832*c_1001_1^37 - 13894966049438311276202285556936210611735397875/2065553719295329650\ 3611175803439969501664*c_1001_1^36 - 17313780407172678679730950151141224375676224369/6196661157885988951\ 0833527410319908504992*c_1001_1^35 - 225661882396955552182609519606170714987941248739/619666115788598895\ 10833527410319908504992*c_1001_1^34 - 30266083969483592272008763755206040988605119805/2065553719295329650\ 3611175803439969501664*c_1001_1^33 - 809929741061630044883799630235589336889453668561/619666115788598895\ 10833527410319908504992*c_1001_1^32 - 104295843828586979043827102726494495472075581659/206555371929532965\ 03611175803439969501664*c_1001_1^31 - 717988305619100858085179727501878556237507379033/206555371929532965\ 03611175803439969501664*c_1001_1^30 - 792248608385602535242397311718431329233501253205/619666115788598895\ 10833527410319908504992*c_1001_1^29 - 4469097565366742172203676685446007181298489060605/61966611578859889\ 510833527410319908504992*c_1001_1^28 - 1553731341473548054301765958956988246041465435867/61966611578859889\ 510833527410319908504992*c_1001_1^27 - 2473589235852396039424510064207903017621875678271/20655537192953296\ 503611175803439969501664*c_1001_1^26 - 807673817082804912534172944019356739942309619265/206555371929532965\ 03611175803439969501664*c_1001_1^25 - 415425670621476711779340559208798316169952425533/258194214911916206\ 2951396975429996187708*c_1001_1^24 - 1012635484382802483795331790486685043678816268295/20655537192953296\ 503611175803439969501664*c_1001_1^23 - 2709833832517265642607370211773121565246706947043/15491652894714972\ 377708381852579977126248*c_1001_1^22 - 765385048032343534649155292864324355242478604303/154916528947149723\ 77708381852579977126248*c_1001_1^21 - 2356479678946293696278216012524964257618665832549/15491652894714972\ 377708381852579977126248*c_1001_1^20 - 2448207467247918510472944914135321283544697868473/61966611578859889\ 510833527410319908504992*c_1001_1^19 - 6368680064322281688881848105716449073100831938931/61966611578859889\ 510833527410319908504992*c_1001_1^18 - 250673816173417336516617936920517523989676968477/103277685964766482\ 51805587901719984750832*c_1001_1^17 - 780003133019765450887787356710329680351137562171/154916528947149723\ 77708381852579977126248*c_1001_1^16 - 657506713275107009638444154900448845341087843291/619666115788598895\ 10833527410319908504992*c_1001_1^15 - 882132503005048149099999298966430067960863503915/619666115788598895\ 10833527410319908504992*c_1001_1^14 - 52549506389775925681759736918521798182866549479/2065553719295329650\ 3611175803439969501664*c_1001_1^13 + 79314091988133066240423581730858002491352555485/6196661157885988951\ 0833527410319908504992*c_1001_1^12 + 18903483902191711842249900816932769000716506613/6196661157885988951\ 0833527410319908504992*c_1001_1^11 + 76681241401024511432867927834724983432797307757/2065553719295329650\ 3611175803439969501664*c_1001_1^10 + 11056717372753115197271614608834213053056389379/2065553719295329650\ 3611175803439969501664*c_1001_1^9 + 20903023415537233790912046275444457579702438565/1032776859647664825\ 1805587901719984750832*c_1001_1^8 + 6789145926456747681307532353851453138531206855/30983305789429944755\ 416763705159954252496*c_1001_1^7 + 1611667517205314588027662149816179167794886919/25819421491191620629\ 51396975429996187708*c_1001_1^6 + 147034327944168512064700287709048\ 1937363632293/30983305789429944755416763705159954252496*c_1001_1^5 + 2406494493331914197392273807156883817263442783/20655537192953296503\ 611175803439969501664*c_1001_1^4 + 84843846169123073329135808578041310422947527/1549165289471497237770\ 8381852579977126248*c_1001_1^3 + 1893097621789573698415812950599567\ 29796878239/15491652894714972377708381852579977126248*c_1001_1^2 + 5462623798834191121103042226104315676313247/20655537192953296503611\ 175803439969501664*c_1001_1 + 3425043289606845314735483323003200248\ 6815229/61966611578859889510833527410319908504992, c_0011_6 + 22620408340753574669340483536795065292931611/516388429823832\ 4125902793950859992375416*c_1001_1^41 - 262840426821983557518940951391906230491856719/516388429823832412590\ 2793950859992375416*c_1001_1^40 - 100610452350577481041059152629477\ 8645499872049/15491652894714972377708381852579977126248*c_1001_1^39 + 8286864789186656185143124845101708028678708625/774582644735748618\ 8854190926289988563124*c_1001_1^38 + 12252270610135121387482324821314548422079960547/7745826447357486188\ 854190926289988563124*c_1001_1^37 + 73055577850176938983994768471122008763155480785/5163884298238324125\ 902793950859992375416*c_1001_1^36 + 299512850938564164656884326626625547336078306091/154916528947149723\ 77708381852579977126248*c_1001_1^35 + 436947404121598799777364609534248851577401489711/516388429823832412\ 5902793950859992375416*c_1001_1^34 + 1688219125281703208134456624664254799501285002925/15491652894714972\ 377708381852579977126248*c_1001_1^33 + 1717934150645675851747282833537214092070097958361/51638842982383241\ 25902793950859992375416*c_1001_1^32 + 6288502061789204216682650511064946762396952529663/15491652894714972\ 377708381852579977126248*c_1001_1^31 + 15000492367298539060530826784384394777839159686129/1549165289471497\ 2377708381852579977126248*c_1001_1^30 + 5790885938099925988777222635831901205249885554989/51638842982383241\ 25902793950859992375416*c_1001_1^29 + 11394468798336404274187591678543820001894526134025/5163884298238324\ 125902793950859992375416*c_1001_1^28 + 12532637401957922556046926974951721396918460893347/5163884298238324\ 125902793950859992375416*c_1001_1^27 + 62858593429808459641040042044356225132012474758623/1549165289471497\ 2377708381852579977126248*c_1001_1^26 + 21876819100726027954055423100093518930652140508143/5163884298238324\ 125902793950859992375416*c_1001_1^25 + 3952017025318125634345796528803104179877993489910/64548553727979051\ 5737849243857499046927*c_1001_1^24 + 31289792657293399483570952192956797238111646314821/5163884298238324\ 125902793950859992375416*c_1001_1^23 + 29606071616988071396632193008687828844781597690983/3872913223678743\ 094427095463144994281562*c_1001_1^22 + 4617051763926545249560984809372394327573584359236/64548553727979051\ 5737849243857499046927*c_1001_1^21 + 15328439027059676515104265173777097023177117457580/1936456611839371\ 547213547731572497140781*c_1001_1^20 + 36017052962434513903416343322979178928750603643873/5163884298238324\ 125902793950859992375416*c_1001_1^19 + 105011357856337835214404763171447546752642292394181/154916528947149\ 72377708381852579977126248*c_1001_1^18 + 43312210228263203596292234098438184907461343543433/7745826447357486\ 188854190926289988563124*c_1001_1^17 + 18447369622439861667881584405491173448823776063125/3872913223678743\ 094427095463144994281562*c_1001_1^16 + 56512045769968424262276744950590101659380845464057/1549165289471497\ 2377708381852579977126248*c_1001_1^15 + 13997031721406803520767938163164117589300350831163/5163884298238324\ 125902793950859992375416*c_1001_1^14 + 29507225110057770966902196751823916578826912327547/1549165289471497\ 2377708381852579977126248*c_1001_1^13 + 18982034044214628780123600691134590495512750853905/1549165289471497\ 2377708381852579977126248*c_1001_1^12 + 4013537041081705662157452000263197869364166118491/51638842982383241\ 25902793950859992375416*c_1001_1^11 + 2212864740890810893570682212160926090762199930677/51638842982383241\ 25902793950859992375416*c_1001_1^10 + 3716249882088774309705330000612999261479952921685/15491652894714972\ 377708381852579977126248*c_1001_1^9 + 289227620680895958882659726092643174602227334021/258194214911916206\ 2951396975429996187708*c_1001_1^8 + 414512110420947954156598371950834406318125953945/774582644735748618\ 8854190926289988563124*c_1001_1^7 + 26981294656246383440355015010637146397781758277/1290971074559581031\ 475698487714998093854*c_1001_1^6 + 20801966776692677990063606852268527323376206783/2581942149119162062\ 951396975429996187708*c_1001_1^5 + 13425473295383264623944879702024258745512577215/5163884298238324125\ 902793950859992375416*c_1001_1^4 + 1405219416848410963656851230148838200250434182/19364566118393715472\ 13547731572497140781*c_1001_1^3 + 370582055807937259954902699965487\ 210963400207/1936456611839371547213547731572497140781*c_1001_1^2 + 453962558007503912670235018322037816326374121/154916528947149723777\ 08381852579977126248*c_1001_1 + 96864656021742382259304731121835650\ 303414005/15491652894714972377708381852579977126248, c_0101_0 + c_1001_1, c_0101_10 + 22620408340753574669340483536795065292931611/51638842982383\ 24125902793950859992375416*c_1001_1^41 - 262840426821983557518940951391906230491856719/516388429823832412590\ 2793950859992375416*c_1001_1^40 - 100610452350577481041059152629477\ 8645499872049/15491652894714972377708381852579977126248*c_1001_1^39 + 8286864789186656185143124845101708028678708625/774582644735748618\ 8854190926289988563124*c_1001_1^38 + 12252270610135121387482324821314548422079960547/7745826447357486188\ 854190926289988563124*c_1001_1^37 + 73055577850176938983994768471122008763155480785/5163884298238324125\ 902793950859992375416*c_1001_1^36 + 299512850938564164656884326626625547336078306091/154916528947149723\ 77708381852579977126248*c_1001_1^35 + 436947404121598799777364609534248851577401489711/516388429823832412\ 5902793950859992375416*c_1001_1^34 + 1688219125281703208134456624664254799501285002925/15491652894714972\ 377708381852579977126248*c_1001_1^33 + 1717934150645675851747282833537214092070097958361/51638842982383241\ 25902793950859992375416*c_1001_1^32 + 6288502061789204216682650511064946762396952529663/15491652894714972\ 377708381852579977126248*c_1001_1^31 + 15000492367298539060530826784384394777839159686129/1549165289471497\ 2377708381852579977126248*c_1001_1^30 + 5790885938099925988777222635831901205249885554989/51638842982383241\ 25902793950859992375416*c_1001_1^29 + 11394468798336404274187591678543820001894526134025/5163884298238324\ 125902793950859992375416*c_1001_1^28 + 12532637401957922556046926974951721396918460893347/5163884298238324\ 125902793950859992375416*c_1001_1^27 + 62858593429808459641040042044356225132012474758623/1549165289471497\ 2377708381852579977126248*c_1001_1^26 + 21876819100726027954055423100093518930652140508143/5163884298238324\ 125902793950859992375416*c_1001_1^25 + 3952017025318125634345796528803104179877993489910/64548553727979051\ 5737849243857499046927*c_1001_1^24 + 31289792657293399483570952192956797238111646314821/5163884298238324\ 125902793950859992375416*c_1001_1^23 + 29606071616988071396632193008687828844781597690983/3872913223678743\ 094427095463144994281562*c_1001_1^22 + 4617051763926545249560984809372394327573584359236/64548553727979051\ 5737849243857499046927*c_1001_1^21 + 15328439027059676515104265173777097023177117457580/1936456611839371\ 547213547731572497140781*c_1001_1^20 + 36017052962434513903416343322979178928750603643873/5163884298238324\ 125902793950859992375416*c_1001_1^19 + 105011357856337835214404763171447546752642292394181/154916528947149\ 72377708381852579977126248*c_1001_1^18 + 43312210228263203596292234098438184907461343543433/7745826447357486\ 188854190926289988563124*c_1001_1^17 + 18447369622439861667881584405491173448823776063125/3872913223678743\ 094427095463144994281562*c_1001_1^16 + 56512045769968424262276744950590101659380845464057/1549165289471497\ 2377708381852579977126248*c_1001_1^15 + 13997031721406803520767938163164117589300350831163/5163884298238324\ 125902793950859992375416*c_1001_1^14 + 29507225110057770966902196751823916578826912327547/1549165289471497\ 2377708381852579977126248*c_1001_1^13 + 18982034044214628780123600691134590495512750853905/1549165289471497\ 2377708381852579977126248*c_1001_1^12 + 4013537041081705662157452000263197869364166118491/51638842982383241\ 25902793950859992375416*c_1001_1^11 + 2212864740890810893570682212160926090762199930677/51638842982383241\ 25902793950859992375416*c_1001_1^10 + 3716249882088774309705330000612999261479952921685/15491652894714972\ 377708381852579977126248*c_1001_1^9 + 289227620680895958882659726092643174602227334021/258194214911916206\ 2951396975429996187708*c_1001_1^8 + 414512110420947954156598371950834406318125953945/774582644735748618\ 8854190926289988563124*c_1001_1^7 + 26981294656246383440355015010637146397781758277/1290971074559581031\ 475698487714998093854*c_1001_1^6 + 20801966776692677990063606852268527323376206783/2581942149119162062\ 951396975429996187708*c_1001_1^5 + 13425473295383264623944879702024258745512577215/5163884298238324125\ 902793950859992375416*c_1001_1^4 + 1405219416848410963656851230148838200250434182/19364566118393715472\ 13547731572497140781*c_1001_1^3 + 370582055807937259954902699965487\ 210963400207/1936456611839371547213547731572497140781*c_1001_1^2 + 453962558007503912670235018322037816326374121/154916528947149723777\ 08381852579977126248*c_1001_1 + 96864656021742382259304731121835650\ 303414005/15491652894714972377708381852579977126248, c_0101_11 + 95636140601134617808114326579924551684070511/25819421491191\ 62062951396975429996187708*c_1001_1^41 - 3420708989781680698093953636072528989986670879/77458264473574861888\ 54190926289988563124*c_1001_1^40 - 3205757650127222476840094677261738574265200699/77458264473574861888\ 54190926289988563124*c_1001_1^39 + 35455243530681172579756583757463554333580875383/3872913223678743094\ 427095463144994281562*c_1001_1^38 + 40978361700480865614614165066536500932506238083/3872913223678743094\ 427095463144994281562*c_1001_1^37 + 301519031191151609169622042858227559959140988317/258194214911916206\ 2951396975429996187708*c_1001_1^36 + 996049421806373025659397634341721874538528320713/774582644735748618\ 8854190926289988563124*c_1001_1^35 + 5276328717969313977302018023765850026340682770243/77458264473574861\ 88854190926289988563124*c_1001_1^34 + 1861694052402639114543663338105626371862651359875/25819421491191620\ 62951396975429996187708*c_1001_1^33 + 20309813058599750663615106111932471884020144727397/7745826447357486\ 188854190926289988563124*c_1001_1^32 + 20690829904059192041737754704455985906316551370785/7745826447357486\ 188854190926289988563124*c_1001_1^31 + 57974808017260266857420972576519413470625025311105/7745826447357486\ 188854190926289988563124*c_1001_1^30 + 56832372554260290537171847272422603333390850757625/7745826447357486\ 188854190926289988563124*c_1001_1^29 + 43222847205265314287469106291602153059434377335243/2581942149119162\ 062951396975429996187708*c_1001_1^28 + 122262105300824139018076588382820057697224513741505/774582644735748\ 6188854190926289988563124*c_1001_1^27 + 78009300143404664534301511746369359334286947042551/2581942149119162\ 062951396975429996187708*c_1001_1^26 + 70702867706325356001753326065858050550050567553017/2581942149119162\ 062951396975429996187708*c_1001_1^25 + 86591198644878438543392825462899924429493189362784/1936456611839371\ 547213547731572497140781*c_1001_1^24 + 100487921216122939981643912782350402040939802550693/258194214911916\ 2062951396975429996187708*c_1001_1^23 + 211811791225681021419078996253033376633993851399981/387291322367874\ 3094427095463144994281562*c_1001_1^22 + 88394479509367832483090368534609629501890305561598/1936456611839371\ 547213547731572497140781*c_1001_1^21 + 214408758572948709181934360863102871702911352399255/387291322367874\ 3094427095463144994281562*c_1001_1^20 + 342502894510277414273996970721889659418700145300301/774582644735748\ 6188854190926289988563124*c_1001_1^19 + 357916534641315152511765702789359117899666264514275/774582644735748\ 6188854190926289988563124*c_1001_1^18 + 136355428401724793512866291023005898152453400141695/387291322367874\ 3094427095463144994281562*c_1001_1^17 + 20342952728656425177261923415160724817569493198915/6454855372797905\ 15737849243857499046927*c_1001_1^16 + 176645315301444911320862681968557099121140302942021/774582644735748\ 6188854190926289988563124*c_1001_1^15 + 134053304709918724893584161306137922488654929870915/774582644735748\ 6188854190926289988563124*c_1001_1^14 + 30514775214635064945738964326634787015611693878227/2581942149119162\ 062951396975429996187708*c_1001_1^13 + 57994693006444700066889878104713333424197917522137/7745826447357486\ 188854190926289988563124*c_1001_1^12 + 37066974329665004118573114802109035440124218014347/7745826447357486\ 188854190926289988563124*c_1001_1^11 + 19177690725093740726456371531444595147739466057897/7745826447357486\ 188854190926289988563124*c_1001_1^10 + 11356179078082589729148572679514266767236170993197/7745826447357486\ 188854190926289988563124*c_1001_1^9 + 1163543507069885043253845006562570871365739657653/19364566118393715\ 47213547731572497140781*c_1001_1^8 + 419654270021441271397425430411823885328817614695/129097107455958103\ 1475698487714998093854*c_1001_1^7 + 391678187179287683808689668356356307620077243961/387291322367874309\ 4427095463144994281562*c_1001_1^6 + 94404370166691010440565669958577595235335402097/1936456611839371547\ 213547731572497140781*c_1001_1^5 + 27947785350273114420426324724708994152960124195/2581942149119162062\ 951396975429996187708*c_1001_1^4 + 8494158620818415417025703577653183690270578983/19364566118393715472\ 13547731572497140781*c_1001_1^3 + 243656589523818362887807450661090\ 1701164961927/3872913223678743094427095463144994281562*c_1001_1^2 + 458220882679281221995277096395557397328557973/258194214911916206295\ 1396975429996187708*c_1001_1 + 346231845816755039097513532491664434\ 52082261/2581942149119162062951396975429996187708, c_0101_12 + 1153941115758817027428368715223488454944750517/619666115788\ 59889510833527410319908504992*c_1001_1^41 - 15164536501947812919633664664640265256193936641/6196661157885988951\ 0833527410319908504992*c_1001_1^40 + 3981714165238587482963308443892593882581240735/61966611578859889510\ 833527410319908504992*c_1001_1^39 + 49941493608672819210724074451543990251600920743/1032776859647664825\ 1805587901719984750832*c_1001_1^38 - 9566540765056304872389497510939764953406863569/30983305789429944755\ 416763705159954252496*c_1001_1^37 + 3262518463088887375168119818369276076942569531599/61966611578859889\ 510833527410319908504992*c_1001_1^36 - 398841712571080706946058282796418929224608819497/619666115788598895\ 10833527410319908504992*c_1001_1^35 + 16673033672734898768309890895345116614320146320677/6196661157885988\ 9510833527410319908504992*c_1001_1^34 - 1014728059565731377327153113470383695340916134229/20655537192953296\ 503611175803439969501664*c_1001_1^33 + 56259793876699622326868571881464686891577414841879/6196661157885988\ 9510833527410319908504992*c_1001_1^32 - 14331423214899129151164504609886796866069093411609/6196661157885988\ 9510833527410319908504992*c_1001_1^31 + 139266659671989729578154840906629593109706425781709/619666115788598\ 89510833527410319908504992*c_1001_1^30 - 48156132090875321325535382425105833425211977743373/6196661157885988\ 9510833527410319908504992*c_1001_1^29 + 88136301426793040151051828659855953590093795214281/2065553719295329\ 6503611175803439969501664*c_1001_1^28 - 123383671655006304351450137074094401145622761182403/619666115788598\ 89510833527410319908504992*c_1001_1^27 + 129995133993690838471346101490176971467422519533241/206555371929532\ 96503611175803439969501664*c_1001_1^26 - 249914535477251392860580011155731040627042186634715/619666115788598\ 89510833527410319908504992*c_1001_1^25 + 55010658780865534728924838377718095798285911585045/7745826447357486\ 188854190926289988563124*c_1001_1^24 - 408633982623341331149835343857556157310602603174797/619666115788598\ 89510833527410319908504992*c_1001_1^23 + 88619854615675486220606596270440690001139652936253/1549165289471497\ 2377708381852579977126248*c_1001_1^22 - 136320676378154082523256650139954746522146465067739/154916528947149\ 72377708381852579977126248*c_1001_1^21 + 37139552722137877122331569247520229950381711228767/1549165289471497\ 2377708381852579977126248*c_1001_1^20 - 596242310308701595204670353124751069163012882138225/619666115788598\ 89510833527410319908504992*c_1001_1^19 - 80443349664343169244875671327657673595380588455115/6196661157885988\ 9510833527410319908504992*c_1001_1^18 - 266619742069531180696171555794103939124282822743519/309833057894299\ 44755416763705159954252496*c_1001_1^17 - 55608960415525021788778037082155638092153166459499/1549165289471497\ 2377708381852579977126248*c_1001_1^16 - 386970313820678813560515815316214798911939900347363/619666115788598\ 89510833527410319908504992*c_1001_1^15 - 78836826988494813421332438320319491091710276170513/2065553719295329\ 6503611175803439969501664*c_1001_1^14 - 74855845382376162439437511973809134645074538927615/2065553719295329\ 6503611175803439969501664*c_1001_1^13 - 166115179092312485844476343522074771352978054050699/619666115788598\ 89510833527410319908504992*c_1001_1^12 - 101787550884543235279520971778206781103815786699155/619666115788598\ 89510833527410319908504992*c_1001_1^11 - 83345404158664666989760334689639465380470104419841/6196661157885988\ 9510833527410319908504992*c_1001_1^10 - 34776593960825590583183250267294211212559031403071/6196661157885988\ 9510833527410319908504992*c_1001_1^9 - 5002561490853422907558619026074884968641294197907/10327768596476648\ 251805587901719984750832*c_1001_1^8 - 1420901417538859844168716723949826851381297591955/10327768596476648\ 251805587901719984750832*c_1001_1^7 - 314527610597248668403664199004686126331877633127/258194214911916206\ 2951396975429996187708*c_1001_1^6 - 698167217976314192918496055268670901956826269875/309833057894299447\ 55416763705159954252496*c_1001_1^5 - 1250191173403806361823171104735171964930781460987/61966611578859889\ 510833527410319908504992*c_1001_1^4 - 33824298115601151079855899595930089971008829221/1549165289471497237\ 7708381852579977126248*c_1001_1^3 - 30402032171502821117775666218877916529333018965/1549165289471497237\ 7708381852579977126248*c_1001_1^2 - 1937799311774501908229570528826295535089663097/20655537192953296503\ 611175803439969501664*c_1001_1 - 5228462207265518618346416796055524\ 680932329883/61966611578859889510833527410319908504992, c_0110_10 - 1, c_1001_0 - 18940970985848447188978636571645403537430445/309833057894299\ 44755416763705159954252496*c_1001_1^41 + 79963368750123660424149607935048041677901547/1032776859647664825180\ 5587901719984750832*c_1001_1^40 + 433468636077346138810852495414806\ 94466554769/30983305789429944755416763705159954252496*c_1001_1^39 - 2415628664578084355195735980690949527481910221/15491652894714972377\ 708381852579977126248*c_1001_1^38 - 963318969608616360843462224320711064849136167/154916528947149723777\ 08381852579977126248*c_1001_1^37 - 18615908682775807270699709217935366573104028909/1032776859647664825\ 1805587901719984750832*c_1001_1^36 - 7206951634815733697964143359012257392879594637/10327768596476648251\ 805587901719984750832*c_1001_1^35 - 100507596693801432547104202370564196120347656087/103277685964766482\ 51805587901719984750832*c_1001_1^34 - 112619147016870783327330323808900269251044774569/309833057894299447\ 55416763705159954252496*c_1001_1^33 - 1079274452715108415331349881468679174727347117527/30983305789429944\ 755416763705159954252496*c_1001_1^32 - 384942669421462111857726958043293621122788146391/309833057894299447\ 55416763705159954252496*c_1001_1^31 - 953938156075844780896905441292512551134829121431/103277685964766482\ 51805587901719984750832*c_1001_1^30 - 321640392643020956008421810884794956445853659633/103277685964766482\ 51805587901719984750832*c_1001_1^29 - 1972574790544761527945749340656694959272460009561/10327768596476648\ 251805587901719984750832*c_1001_1^28 - 1868442007675484870971017488257682295326166219541/30983305789429944\ 755416763705159954252496*c_1001_1^27 - 9786113623334740962804111898304797353248135989771/30983305789429944\ 755416763705159954252496*c_1001_1^26 - 955400552505019463798098288681956106738835176999/103277685964766482\ 51805587901719984750832*c_1001_1^25 - 1634957083554222386896654040120473949507159353927/38729132236787430\ 94427095463144994281562*c_1001_1^24 - 3514634273734649644897225420689734009515437289675/30983305789429944\ 755416763705159954252496*c_1001_1^23 - 3529594170981783247253502287161237138739040393143/77458264473574861\ 88854190926289988563124*c_1001_1^22 - 285958877364869409892895899223351785242647604075/258194214911916206\ 2951396975429996187708*c_1001_1^21 - 3036597069231822154573732429545334727506311615901/77458264473574861\ 88854190926289988563124*c_1001_1^20 - 2611560409240920533656730149935201551365693328255/30983305789429944\ 755416763705159954252496*c_1001_1^19 - 8058069542152976493898344289992728966557671567797/30983305789429944\ 755416763705159954252496*c_1001_1^18 - 244401499415010598251832443973901000992055989531/516388429823832412\ 5902793950859992375416*c_1001_1^17 - 949176461019161331376855366302117051678391504073/774582644735748618\ 8854190926289988563124*c_1001_1^16 - 513925985534418184717517049986498837268392197829/309833057894299447\ 55416763705159954252496*c_1001_1^15 - 929933790643168823612020632034388663834127465949/309833057894299447\ 55416763705159954252496*c_1001_1^14 - 14344910072600504628833896830501176725923575299/3098330578942994475\ 5416763705159954252496*c_1001_1^13 + 79579762076108590148757331959409662857020508593/1032776859647664825\ 1805587901719984750832*c_1001_1^12 + 108061361634224924109247892135440194813903446195/309833057894299447\ 55416763705159954252496*c_1001_1^11 + 362693475836713927987673045909715062402992494337/309833057894299447\ 55416763705159954252496*c_1001_1^10 + 23594151874777974059178997709201749884772256733/1032776859647664825\ 1805587901719984750832*c_1001_1^9 + 92511490219137029638808952462053741880850143821/1549165289471497237\ 7708381852579977126248*c_1001_1^8 + 4042322797892682817275851470201570608178724235/51638842982383241259\ 02793950859992375416*c_1001_1^7 + 347919865642464759442256255819167\ 2458297931109/1936456611839371547213547731572497140781*c_1001_1^6 + 813319776830329714811636837907258599454676613/516388429823832412590\ 2793950859992375416*c_1001_1^5 + 1026251055236266712430030753375674\ 0463101201315/30983305789429944755416763705159954252496*c_1001_1^4 + 135418926607586285953601036537488894974990449/774582644735748618885\ 4190926289988563124*c_1001_1^3 + 2672119625025340778952750515350349\ 09526029743/7745826447357486188854190926289988563124*c_1001_1^2 + 25554040928300287170212156637676954980951083/3098330578942994475541\ 6763705159954252496*c_1001_1 + 480299424524629527742745329898596783\ 74906107/30983305789429944755416763705159954252496, c_1001_1^42 - 12*c_1001_1^41 - 10*c_1001_1^40 + 245*c_1001_1^39 + 264*c_1001_1^38 + 3193*c_1001_1^37 + 3294*c_1001_1^36 + 18908*c_1001_1^35 + 18846*c_1001_1^34 + 73832*c_1001_1^33 + 71126*c_1001_1^32 + 213876*c_1001_1^31 + 199024*c_1001_1^30 + 485926*c_1001_1^29 + 436552*c_1001_1^28 + 892248*c_1001_1^27 + 773504*c_1001_1^26 + 1346345*c_1001_1^25 + 1125615*c_1001_1^24 + 1683611*c_1001_1^23 + 1356488*c_1001_1^22 + 1749104*c_1001_1^21 + 1356671*c_1001_1^20 + 1505956*c_1001_1^19 + 1122763*c_1001_1^18 + 1066910*c_1001_1^17 + 762957*c_1001_1^16 + 614482*c_1001_1^15 + 420320*c_1001_1^14 + 282664*c_1001_1^13 + 184394*c_1001_1^12 + 101356*c_1001_1^11 + 62928*c_1001_1^10 + 27427*c_1001_1^9 + 16204*c_1001_1^8 + 5358*c_1001_1^7 + 3018*c_1001_1^6 + 707*c_1001_1^5 + 381*c_1001_1^4 + 56*c_1001_1^3 + 29*c_1001_1^2 + 2*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.020 Total time: 1.229 seconds, Total memory usage: 32.09MB