Magma V2.19-8 Tue Aug 20 2013 19:59:04 on localhost [Seed = 3019236133] Type ? for help. Type -D to quit. Loading file "11_305__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_305 geometric_solution 13.60664854 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.647845276195 0.699482661579 0 4 5 0 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 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.647845276195 0.699482661579 6 0 8 7 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 1 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 0.712933633822 0.417957898387 9 10 9 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.923553322974 0.726401292727 10 1 8 11 3120 0132 2310 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.690859315287 0.507137241767 12 13 12 1 0132 0132 3120 0132 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 5 -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.647921016343 0.600309506387 2 9 12 13 0132 2103 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.770821588493 0.627483743621 12 10 2 8 1230 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.631283750562 0.806726323898 7 4 11 2 3120 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 1 -1 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.595027318174 0.562749826215 3 6 3 14 0132 2103 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.923553322974 0.726401292727 13 3 7 4 3012 0132 0213 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 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.793601723061 0.419332956681 14 14 4 8 0213 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685486391039 0.711225383771 5 7 5 6 0132 3012 3120 3012 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 -5 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.647921016343 0.600309506387 6 5 14 10 3012 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978607231878 1.360462434251 11 13 9 11 0213 3201 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 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.520063204301 1.176044983508 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0101_13']), 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0011_8']), 'c_1010_13' : d['c_0011_7'], 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : negation(d['c_0011_0']), 'c_1010_14' : negation(d['c_1001_1']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_14'], 'c_0101_10' : d['c_0011_7'], 'c_0101_14' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0101_8']), 'c_1100_14' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : negation(d['c_0011_8']), 'c_1100_13' : d['c_0011_14'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0101_13'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_13']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_8']), 'c_0110_10' : d['c_0011_14'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0011_10'], 'c_0110_14' : d['c_0101_8'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0011_7' : d['c_0011_7'], 's_0_8' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0011_12'], '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_14'], 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_13, c_0101_6, c_0101_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 5870220907152900498252563/227078074921142716863488*c_1001_2^16 - 16983193466902411580134379/28384759365142839607936*c_1001_2^15 - 387611850912096780524007797/56769518730285679215872*c_1001_2^14 - 11371664045384219972429821039/227078074921142716863488*c_1001_2^13 - 4573685246084551370611011153/17467544224703285912576*c_1001_2^12 - 116825474688711233937274505927/113539037460571358431744*c_1001_2^11 - 711656020267600090797307421707/227078074921142716863488*c_1001_2^\ 10 - 1712110302426442384954715018783/227078074921142716863488*c_100\ 1_2^9 - 253124467008306025194500500237/17467544224703285912576*c_10\ 01_2^8 - 2539651661545668629101471386141/113539037460571358431744*c\ _1001_2^7 - 3145855015904701625601440198025/11353903746057135843174\ 4*c_1001_2^6 - 3102203428217098398035589588487/11353903746057135843\ 1744*c_1001_2^5 - 4785148183163866207429758945809/22707807492114271\ 6863488*c_1001_2^4 - 2793424337314005139858588697983/22707807492114\ 2716863488*c_1001_2^3 - 290779427101581602901648059719/567695187302\ 85679215872*c_1001_2^2 - 1353743167031625259668780995/1000343942383\ 888620544*c_1001_2 - 2400911413759891196564262079/14192379682571419\ 803968, c_0011_0 - 1, c_0011_10 - 328962946020934263/2813715242381328272*c_1001_2^16 - 913702881269230969/351714405297666034*c_1001_2^15 - 5018723247357820102/175857202648833017*c_1001_2^14 - 566753813217242177207/2813715242381328272*c_1001_2^13 - 219080858127930604157/216439634029332944*c_1001_2^12 - 5367894454126728121131/1406857621190664136*c_1001_2^11 - 31297116752949243362875/2813715242381328272*c_1001_2^10 - 71895403105196077724511/2813715242381328272*c_1001_2^9 - 10123898330691312307485/216439634029332944*c_1001_2^8 - 96466700644243226730555/1406857621190664136*c_1001_2^7 - 113066413940223574172239/1406857621190664136*c_1001_2^6 - 104970899938596376135335/1406857621190664136*c_1001_2^5 - 151341025279457697348337/2813715242381328272*c_1001_2^4 - 81696644357339008163863/2813715242381328272*c_1001_2^3 - 3867813415883911696679/351714405297666034*c_1001_2^2 - 31933171335781318803/12395221332076336*c_1001_2 - 96428367927030786597/351714405297666034, c_0011_11 - 618463013265470353/1406857621190664136*c_1001_2^16 - 3529859810054910807/351714405297666034*c_1001_2^15 - 79574135550273907327/703428810595332068*c_1001_2^14 - 1153301827927008756083/1406857621190664136*c_1001_2^13 - 458342879538380259519/108219817014666472*c_1001_2^12 - 11567487873578391453667/703428810595332068*c_1001_2^11 - 69618898867300272521171/1406857621190664136*c_1001_2^10 - 165482336270547095492075/1406857621190664136*c_1001_2^9 - 24174929147696171696553/108219817014666472*c_1001_2^8 - 59927765071167503744116/175857202648833017*c_1001_2^7 - 146749412115542113418109/351714405297666034*c_1001_2^6 - 286117272053169013459399/703428810595332068*c_1001_2^5 - 436316646106267488031969/1406857621190664136*c_1001_2^4 - 251822429590342491491615/1406857621190664136*c_1001_2^3 - 51842737479118672010293/703428810595332068*c_1001_2^2 - 119446750451118423043/6197610666038168*c_1001_2 - 420746130120172270558/175857202648833017, c_0011_12 + 245256126139180755/1406857621190664136*c_1001_2^16 + 2842420363278097977/703428810595332068*c_1001_2^15 + 16238504531305128847/351714405297666034*c_1001_2^14 + 476958586932656904369/1406857621190664136*c_1001_2^13 + 192052072921816294149/108219817014666472*c_1001_2^12 + 1227814429573627981634/175857202648833017*c_1001_2^11 + 29953435815271386897719/1406857621190664136*c_1001_2^10 + 72154271383481043136875/1406857621190664136*c_1001_2^9 + 10682271253651866865501/108219817014666472*c_1001_2^8 + 107340291352710010637817/703428810595332068*c_1001_2^7 + 33296746765288444571240/175857202648833017*c_1001_2^6 + 65795114658279961897741/351714405297666034*c_1001_2^5 + 203423595090118636026901/1406857621190664136*c_1001_2^4 + 119055907409387939616267/1406857621190664136*c_1001_2^3 + 6215041303077054908568/175857202648833017*c_1001_2^2 + 58059119760530445565/6197610666038168*c_1001_2 + 206484596051790206031/175857202648833017, c_0011_14 - 263072145870443999/1406857621190664136*c_1001_2^16 - 743303441953669390/175857202648833017*c_1001_2^15 - 16587960410706783797/351714405297666034*c_1001_2^14 - 475631918364026747203/1406857621190664136*c_1001_2^13 - 186780240148400698805/108219817014666472*c_1001_2^12 - 4651676190586021933611/703428810595332068*c_1001_2^11 - 27583759633337433290831/1406857621190664136*c_1001_2^10 - 64488238174392712913075/1406857621190664136*c_1001_2^9 - 9248339736959580001425/108219817014666472*c_1001_2^8 - 89827679994217375614973/703428810595332068*c_1001_2^7 - 107451625290850226837193/703428810595332068*c_1001_2^6 - 101996066228810392144027/703428810595332068*c_1001_2^5 - 150771015591944810779789/1406857621190664136*c_1001_2^4 - 83814699592460850446371/1406857621190664136*c_1001_2^3 - 8231971769146906605107/351714405297666034*c_1001_2^2 - 35682504796738277215/6197610666038168*c_1001_2 - 115881085432046061274/175857202648833017, c_0011_7 - 245256126139180755/1406857621190664136*c_1001_2^16 - 2842420363278097977/703428810595332068*c_1001_2^15 - 16238504531305128847/351714405297666034*c_1001_2^14 - 476958586932656904369/1406857621190664136*c_1001_2^13 - 192052072921816294149/108219817014666472*c_1001_2^12 - 1227814429573627981634/175857202648833017*c_1001_2^11 - 29953435815271386897719/1406857621190664136*c_1001_2^10 - 72154271383481043136875/1406857621190664136*c_1001_2^9 - 10682271253651866865501/108219817014666472*c_1001_2^8 - 107340291352710010637817/703428810595332068*c_1001_2^7 - 33296746765288444571240/175857202648833017*c_1001_2^6 - 65795114658279961897741/351714405297666034*c_1001_2^5 - 203423595090118636026901/1406857621190664136*c_1001_2^4 - 119055907409387939616267/1406857621190664136*c_1001_2^3 - 6215041303077054908568/175857202648833017*c_1001_2^2 - 58065317371196483733/6197610666038168*c_1001_2 - 206660453254439039048/175857202648833017, c_0011_8 + 101265242791258955/703428810595332068*c_1001_2^16 + 578905948931374045/175857202648833017*c_1001_2^15 + 26112191178779790315/703428810595332068*c_1001_2^14 + 94570962707580075169/351714405297666034*c_1001_2^13 + 75062939035107098967/54109908507333236*c_1001_2^12 + 1889749623106482130013/351714405297666034*c_1001_2^11 + 5665775974970241141627/351714405297666034*c_1001_2^10 + 6699508616846383176405/175857202648833017*c_1001_2^9 + 972202346437206843425/13527477126833309*c_1001_2^8 + 76469743999865374566985/703428810595332068*c_1001_2^7 + 92642663462234806923549/703428810595332068*c_1001_2^6 + 44564280732319329675337/351714405297666034*c_1001_2^5 + 33418656715790097003495/351714405297666034*c_1001_2^4 + 18878466883821636544559/351714405297666034*c_1001_2^3 + 15108104918433172731745/703428810595332068*c_1001_2^2 + 4182572235431003842/774701333254771*c_1001_2 + 111561939655094315324/175857202648833017, c_0101_0 + 328962946020934263/2813715242381328272*c_1001_2^16 + 913702881269230969/351714405297666034*c_1001_2^15 + 5018723247357820102/175857202648833017*c_1001_2^14 + 566753813217242177207/2813715242381328272*c_1001_2^13 + 219080858127930604157/216439634029332944*c_1001_2^12 + 5367894454126728121131/1406857621190664136*c_1001_2^11 + 31297116752949243362875/2813715242381328272*c_1001_2^10 + 71895403105196077724511/2813715242381328272*c_1001_2^9 + 10123898330691312307485/216439634029332944*c_1001_2^8 + 96466700644243226730555/1406857621190664136*c_1001_2^7 + 113066413940223574172239/1406857621190664136*c_1001_2^6 + 104970899938596376135335/1406857621190664136*c_1001_2^5 + 151341025279457697348337/2813715242381328272*c_1001_2^4 + 81696644357339008163863/2813715242381328272*c_1001_2^3 + 3867813415883911696679/351714405297666034*c_1001_2^2 + 31933171335781318803/12395221332076336*c_1001_2 + 96428367927030786597/351714405297666034, c_0101_1 - 121228147583537673/2813715242381328272*c_1001_2^16 - 679315057042369953/703428810595332068*c_1001_2^15 - 1885423858603231966/175857202648833017*c_1001_2^14 - 215666408164789082421/2813715242381328272*c_1001_2^13 - 84679462163603042107/216439634029332944*c_1001_2^12 - 2114564212917233845427/1406857621190664136*c_1001_2^11 - 12614408604275542463261/2813715242381328272*c_1001_2^10 - 29780849863782339445529/2813715242381328272*c_1001_2^9 - 4331118470815676845955/216439634029332944*c_1001_2^8 - 42859606041150841185293/1406857621190664136*c_1001_2^7 - 52510405744401812180659/1406857621190664136*c_1001_2^6 - 51375531760265812887499/1406857621190664136*c_1001_2^5 - 78912987128638673530087/2813715242381328272*c_1001_2^4 - 46092779630212446017889/2813715242381328272*c_1001_2^3 - 1208610073003490786505/175857202648833017*c_1001_2^2 - 22940947336507748585/12395221332076336*c_1001_2 - 84610908431792277295/351714405297666034, c_0101_13 + 29747025247724991/216439634029332944*c_1001_2^16 + 167039157036730257/54109908507333236*c_1001_2^15 + 925815226126913957/27054954253666618*c_1001_2^14 + 52710622119718577971/216439634029332944*c_1001_2^13 + 266937822580286371881/216439634029332944*c_1001_2^12 + 506780932012171990961/108219817014666472*c_1001_2^11 + 2974729264535873713139/216439634029332944*c_1001_2^10 + 6875756168127314758119/216439634029332944*c_1001_2^9 + 12656422174165836575897/216439634029332944*c_1001_2^8 + 9322255457406130444111/108219817014666472*c_1001_2^7 + 10972942002126648710645/108219817014666472*c_1001_2^6 + 10223940123299793573473/108219817014666472*c_1001_2^5 + 14782700679143355291609/216439634029332944*c_1001_2^4 + 7995974974683523599119/216439634029332944*c_1001_2^3 + 378901761625922043267/27054954253666618*c_1001_2^2 + 3126223116255280927/953478564005872*c_1001_2 + 9450920662266125597/27054954253666618, c_0101_6 + 14338076800/74713533089*c_1001_2^16 + 327244102634/74713533089*c_1001_2^15 + 7377504438959/149427066178*c_1001_2^14 + 53478654661417/149427066178*c_1001_2^13 + 10632511537583/5747194853*c_1001_2^12 + 537110069493150/74713533089*c_1001_2^11 + 3236061082515929/149427066178*c_1001_2^10 + 7702351854817311/149427066178*c_1001_2^9 + 1127024781351055/11494389706*c_1001_2^8 + 22392085885744233/149427066178*c_1001_2^7 + 27475130911629161/149427066178*c_1001_2^6 + 13424987828390902/74713533089*c_1001_2^5 + 20531273645031171/149427066178*c_1001_2^4 + 11890359633433829/149427066178*c_1001_2^3 + 4916391276475853/149427066178*c_1001_2^2 + 5694034075923/658269014*c_1001_2 + 80764478445497/74713533089, c_0101_8 - 666134302739180737/1406857621190664136*c_1001_2^16 - 1896781238017272038/175857202648833017*c_1001_2^15 - 85353603952414549071/703428810595332068*c_1001_2^14 - 1234792437271724130583/1406857621190664136*c_1001_2^13 - 489855501742195341527/108219817014666472*c_1001_2^12 - 12341281641551374808393/703428810595332068*c_1001_2^11 - 74149996113603209615091/1406857621190664136*c_1001_2^10 - 175962570716764733574563/1406857621190664136*c_1001_2^9 - 25665037577939027062201/108219817014666472*c_1001_2^8 - 63523018546202520124275/175857202648833017*c_1001_2^7 - 77657468381253581933432/175857202648833017*c_1001_2^6 - 302348246711200123965849/703428810595332068*c_1001_2^5 - 460325978918900525423169/1406857621190664136*c_1001_2^4 - 265221298018726964276631/1406857621190664136*c_1001_2^3 - 54496679989853590709449/703428810595332068*c_1001_2^2 - 125285645025401146303/6197610666038168*c_1001_2 - 440155888965734693517/175857202648833017, c_1001_0 + 14338076800/74713533089*c_1001_2^16 + 327244102634/74713533089*c_1001_2^15 + 7377504438959/149427066178*c_1001_2^14 + 53478654661417/149427066178*c_1001_2^13 + 10632511537583/5747194853*c_1001_2^12 + 537110069493150/74713533089*c_1001_2^11 + 3236061082515929/149427066178*c_1001_2^10 + 7702351854817311/149427066178*c_1001_2^9 + 1127024781351055/11494389706*c_1001_2^8 + 22392085885744233/149427066178*c_1001_2^7 + 27475130911629161/149427066178*c_1001_2^6 + 13424987828390902/74713533089*c_1001_2^5 + 20531273645031171/149427066178*c_1001_2^4 + 11890359633433829/149427066178*c_1001_2^3 + 4916391276475853/149427066178*c_1001_2^2 + 5694034075923/658269014*c_1001_2 + 80764478445497/74713533089, c_1001_1 - 2531663766/74713533089*c_1001_2^16 - 112034978173/149427066178*c_1001_2^15 - 613856721812/74713533089*c_1001_2^14 - 8655390916625/149427066178*c_1001_2^13 - 1673530644667/5747194853*c_1001_2^12 - 164374462395371/149427066178*c_1001_2^11 - 240631517320580/74713533089*c_1001_2^10 - 556570424244687/74713533089*c_1001_2^9 - 79134706904402/5747194853*c_1001_2^8 - 1527455716481303/74713533089*c_1001_2^7 - 3639092397105835/149427066178*c_1001_2^6 - 3447892505719825/149427066178*c_1001_2^5 - 1275055879516300/74713533089*c_1001_2^4 - 711569376033959/74713533089*c_1001_2^3 - 281884134692013/74713533089*c_1001_2^2 - 620168574855/658269014*c_1001_2 - 8246302328903/74713533089, c_1001_2^17 + 24*c_1001_2^16 + 284*c_1001_2^15 + 2165*c_1001_2^14 + 11807*c_1001_2^13 + 48618*c_1001_2^12 + 156041*c_1001_2^11 + 398229*c_1001_2^10 + 818339*c_1001_2^9 + 1363534*c_1001_2^8 + 1845510*c_1001_2^7 + 2021338*c_1001_2^6 + 1772523*c_1001_2^5 + 1219541*c_1001_2^4 + 635716*c_1001_2^3 + 236179*c_1001_2^2 + 55616*c_1001_2 + 6208 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_13, c_0101_6, c_0101_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 8872640530350615047178897279869148020298451803678718932968687391160\ 889137054403185642199/127223407313988613000239229246648297038846148\ 43974640721057739920152610090759115971924*c_1001_2^23 + 3299676458180321207356628621084056928854009365951761593476214129579\ 369096434069571476254077/167510819630085007116981651841420257767814\ 095445666102827260242282009366194995026963666*c_1001_2^22 + 2500217571577011245583601925032795952464988687887090004497879323923\ 91245540599774169334321895/1005064917780510042701889911048521546606\ 884572673996616963561453692056197169970161781996*c_1001_2^21 + 2053096144336414171788930406896559953562157144890729114706507245887\ 91564423740199118966280953/1116738797533900047446544345609468385118\ 76063630444068551506828188006244129996684642444*c_1001_2^20 + 8834388711619334298046819362791919509118281860507442819527296335558\ 296902623171934369741633397/100506491778051004270188991104852154660\ 6884572673996616963561453692056197169970161781996*c_1001_2^19 + 3284468876557215775720693894915770963847772370542443311392668410413\ 98975820018338906887127663/1155247031931620738737804495458070743226\ 3041065218351919121396019448921806551381169908*c_1001_2^18 + 6335557715629868174964223358822774667859970360886628846233981266943\ 5727674029437993318746196061/10050649177805100427018899110485215466\ 06884572673996616963561453692056197169970161781996*c_1001_2^17 + 3412968857951034033399204508107236568144305843275789802272887498418\ 12829737689223886110511422/3641539557175761024282209822639570821039\ 436857514480496244787875695855786847717977471*c_1001_2^16 + 2108549590324637408605896842777725669525405186740914457079246633935\ 7598686697367922447892216632/25126622944512751067547247776213038665\ 1721143168499154240890363423014049292492540445499*c_1001_2^15 + 3626324495835497198181928228476049775987576417198145707538317093948\ 289554219656407929593807583/167510819630085007116981651841420257767\ 814095445666102827260242282009366194995026963666*c_1001_2^14 - 2417409272309251504972479570532913830468328147548567780588887186276\ 8779213005682912899506913815/50253245889025502135094495552426077330\ 3442286336998308481780726846028098584985080890998*c_1001_2^13 - 1678965776040520399875554423190163073057065095572476634631050765664\ 688159372748688375016383749/257708953277053857103048695140646550412\ 02168530102477358040037274155287106922311840564*c_1001_2^12 - 8768952582437780179898397315828756998386747869343495837431132676203\ 552662887593988600969914151/335021639260170014233963303682840515535\ 628190891332205654520484564018732389990053927332*c_1001_2^11 + 5635348033083536252163109952174628325788589175270614881247598842386\ 106333265776072538470118083/335021639260170014233963303682840515535\ 628190891332205654520484564018732389990053927332*c_1001_2^10 + 2583853619307239875391581284650578017048702827974351142925877797281\ 3278250341812575253700550237/10050649177805100427018899110485215466\ 06884572673996616963561453692056197169970161781996*c_1001_2^9 + 1179674276970017753763112304083841807938803730625826380096426231703\ 605663621631554224690681789/111673879753390004744654434560946838511\ 876063630444068551506828188006244129996684642444*c_1001_2^8 - 5516896468329211428409820349149134746341616975743456153360144596369\ 28071291286687727390587104/2512662294451275106754724777621303866517\ 21143168499154240890363423014049292492540445499*c_1001_2^7 - 1086954444410455246716490358628224980634752559438942163613882769559\ 4166094512992430863336295/27017874133884678567255105135712944801260\ 33797510743593988068423903376874112823015543*c_1001_2^6 - 2290842160368572961132130889019507146594047348165042792562264073394\ 95854630390748800382934859/1675108196300850071169816518414202577678\ 14095445666102827260242282009366194995026963666*c_1001_2^5 + 6114014722253471357249920258162342593926092308795598635255718684726\ 92573998430527240018236/2888117579829051846844511238645176858065760\ 266304587979780349004862230451637845292477*c_1001_2^4 + 2932466127102554424127755259418475399975845405337564365694949830921\ 90994212047936401282559741/1005064917780510042701889911048521546606\ 884572673996616963561453692056197169970161781996*c_1001_2^3 + 1800423328648524886894613410393748623380550124361257399625569010088\ 7932839212680931114692943/33502163926017001423396330368284051553562\ 8190891332205654520484564018732389990053927332*c_1001_2^2 - 6642057458288537804375763342400024048260574975678632834258220488769\ 33805610574407908217767/5583693987669500237232721728047341925593803\ 1815222034275753414094003122064998342321222*c_1001_2 - 1665658137001342351777606319161670267789897589866756712903593031315\ 22756815033528549587701/3722462658446333491488481152031561283729202\ 1210148022850502276062668748043332228214148, c_0011_0 - 1, c_0011_10 - 34329891046470627464020341912172147196951749345048250384058\ 3535672521731851/45883027805465213916610734121589043532398127899731\ 5316878566474182699913204*c_1001_2^23 - 5380439961194597765448718003403211152416971235559193703230072116438\ 10034951/2549057100303622995367263006754946862911007105540640649325\ 3693010149995178*c_1001_2^22 - 122176843162561056765678083849076589\ 253465126185043424566759315679676717067735/458830278054652139166107\ 341215890435323981278997315316878566474182699913204*c_1001_2^21 - 3007746945669269595970304946571996304220248414460264854196385587831\ 84260827459/1529434260182173797220357804052968117746604263324384389\ 59522158060899971068*c_1001_2^20 - 4314605891230420038027887921341465872982958733634488241600622675462\ 024934976049/458830278054652139166107341215890435323981278997315316\ 878566474182699913204*c_1001_2^19 - 1607045042239944395041321089115423540851016287282937434174572378034\ 68660684971/5273911242007495852483992427768855578436566425256497895\ 155936484858619692*c_1001_2^18 - 3116504110499899284172125629719985\ 4334172898977315497033449230586684510376525541/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^17 - 60179168797512926676419390624277786041201052908182844203659666788\ 9561043611629/58824394622391299893090684771268004528715548589399399\ 59981621463880768118*c_1001_2^16 - 2174762564193187236030345522717389211700241386971520398441514320451\ 1895220152019/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^15 - 2598295312068535815235247666974824825854949656590350682103977382353\ 11934896405/8496857001012076651224210022516489543036690351802135497\ 751231003383331726*c_1001_2^14 + 5260723294090134918092718909786378\ 748606452977657028559574336011824290802586172/114707569513663034791\ 526835303972608830995319749328829219641618545674978301*c_1001_2^13 + 1074067798195256255158550113582163635403531297061963982919774950005\ 3794230202345/15294342601821737972203578040529681177466042633243843\ 8959522158060899971068*c_1001_2^12 + 5109937335114371277418449147312137539672789853657070591054783626113\ 026092498597/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^11 - 2064759266270200600019665702674412421129137138823171350008942262543\ 717222840241/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^10 - 1253050061079188108407964993983862413802969733768792069309212172898\ 7204055308305/45883027805465213916610734121589043532398127899731531\ 6878566474182699913204*c_1001_2^9 - 2072132839177225882790036182207004910530534800309718160091583202579\ 745500108449/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^8 + 9114358016230776336544739560145924270066745123676085629456257337564\ 9356620312/11470756951366303479152683530397260883099531974932882921\ 9641618545674978301*c_1001_2^7 + 1031366023503872639191308763554545\ 4808767301921299052731735148961894017523881/24668294519067319310005\ 77103311238899591297198910297402572938033240322114*c_1001_2^6 + 6992970982160134999597666912290760061446966299768853271864068218139\ 9794834494/38235856504554344930508945101324202943665106583109609739\ 880539515224992767*c_1001_2^5 - 38694135746248055177444750440060949\ 121761702297888383622234192672504317100/131847781050187396312099810\ 6942213894609141606314124473788984121214654923*c_1001_2^4 - 1387467743248016728391820405219679141875033978253558489898008990740\ 06391823869/4588302780546521391661073412158904353239812789973153168\ 78566474182699913204*c_1001_2^3 - 438969128848815161776541632277529\ 0887806820052186697238467884551355455174053/50981142006072459907345\ 260135098937258220142110812812986507386020299990356*c_1001_2^2 + 7863849353436263213502919671175386116595586585668688682476508053028\ 9571643/12745285501518114976836315033774734314555035527703203246626\ 846505074997589*c_1001_2 + 9943110722748623283134242277296645616343\ 3620538945745764133071303799139357/16993714002024153302448420045032\ 979086073380703604270995502462006766663452, c_0011_11 + 12230642128515934186085176298782030697777303574153086372191\ 6214932209665123/11470756951366303479152683530397260883099531974932\ 8829219641618545674978301*c_1001_2^23 + 2282838948167024288919789906324451663530732018531640380981530962891\ 614495101/764717130091086898610178902026484058873302131662192194797\ 61079030449985534*c_1001_2^22 + 42793915728615439050154959373335571\ 506801451692678001386526163030520370383502/114707569513663034791526\ 835303972608830995319749328829219641618545674978301*c_1001_2^21 + 1040886593928803568652814432014590034162530205320045035879676069971\ 08285116823/3823585650455434493050894510132420294366510658310960973\ 9880539515224992767*c_1001_2^20 + 293948032878181198555718478913033\ 6345048997874816026666887625798599607635016519/22941513902732606958\ 3053670607945217661990639498657658439283237091349956602*c_1001_2^19 + 35728261580243410362925406877578947450539963049555847251983390407\ 540649095311/878985207001249308747332071294809263072761070876082982\ 525989414143103282*c_1001_2^18 + 1008920786354239920264192161079493\ 3149378030608178027800727910566476300273855143/11470756951366303479\ 1526835303972608830995319749328829219641618545674978301*c_1001_2^17 + 24831536092130072070362963182850800668044703526429537667595633775\ 0461520360949/19608131540797099964363561590422668176238516196466466\ 53327207154626922706*c_1001_2^16 + 2469466521403562884302725042614489175461064996610883629491291522829\ 1723332614993/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^15 + 1590455162800263952293650190153260388520196863895205060580650515914\ 619181487033/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^14 - 7848683552388512200074352366171070279923070139220928573053527871011\ 294834364204/114707569513663034791526835303972608830995319749328829\ 219641618545674978301*c_1001_2^13 - 2129402359796563587760302042613021964131491478319793146727173117242\ 379752389205/254905710030362299536726300675494686291100710554064064\ 93253693010149995178*c_1001_2^12 - 2203417215584953742817942365437796999267139669797190865686038829929\ 517761226803/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^11 + 9468277218225112352452459366717708013678225477889038425152802905521\ 11930703302/3823585650455434493050894510132420294366510658310960973\ 9880539515224992767*c_1001_2^10 + 372285537575197882403822384748755\ 4487570370988753929373445960567421764052173973/11470756951366303479\ 1526835303972608830995319749328829219641618545674978301*c_1001_2^9 + 4547629336595926668258805581154595004214472488324020207570336195718\ 99395330899/3823585650455434493050894510132420294366510658310960973\ 9880539515224992767*c_1001_2^8 - 3904016549005801591341532784390057\ 18407783662653967230490057007328010206240032/1147075695136630347915\ 26835303972608830995319749328829219641618545674978301*c_1001_2^7 - 4006177869851671709613367743919544820504577543164922854244201342664\ 398306781/822276483968910643666859034437079633197099066303432467524\ 312677746774038*c_1001_2^6 - 55843573080237898964394938110180305039\ 887487701245226486856328983761002750567/382358565045543449305089451\ 01324202943665106583109609739880539515224992767*c_1001_2^5 + 4119050031847499918296317961345106001825556479408747372314588681392\ 48600246/1318477810501873963120998106942213894609141606314124473788\ 984121214654923*c_1001_2^4 + 75278417875187430033249375519863189671\ 549998882180434708824504630909791491005/229415139027326069583053670\ 607945217661990639498657658439283237091349956602*c_1001_2^3 + 1891042432393331063370681530735757892811891508370718391848173078831\ 048521691/382358565045543449305089451013242029436651065831096097398\ 80539515224992767*c_1001_2^2 - 112844194643567647375832740110129461\ 270752068075502455383385499795912752581/849685700101207665122421002\ 2516489543036690351802135497751231003383331726*c_1001_2 - 2890424135502935558764498543288644924106641030468464994628487620576\ 5853195/84968570010120766512242100225164895430366903518021354977512\ 31003383331726, c_0011_12 - 18859995878291634071384725942182848415604192746719257399635\ 27431897225687/1699371400202415330244842004503297908607338070360427\ 0995502462006766663452*c_1001_2^23 - 5122663486881740774358234845590068376775715602604266764064696820107\ 5876663/16993714002024153302448420045032979086073380703604270995502\ 462006766663452*c_1001_2^22 - 9256295181734090124014279909486345134\ 56056361538873109076397465862573478709/2549057100303622995367263006\ 7549468629110071055406406493253693010149995178*c_1001_2^21 - 4299878140392444273766263329901425133155948277803182971262157052219\ 660680795/169937140020241533024484200450329790860733807036042709955\ 02462006766663452*c_1001_2^20 - 28616720554411090893518969291930690\ 629665983053567850078861498866187104240313/254905710030362299536726\ 30067549468629110071055406406493253693010149995178*c_1001_2^19 - 1932200865397595727641464253186276928557163232955804839933109494007\ 601410345/585990138000832872498221380863206175381840713917388655017\ 326276095402188*c_1001_2^18 - 8195461307948078530635695208232009692\ 5841850395951897884222310271603662402394/12745285501518114976836315\ 033774734314555035527703203246626846505074997589*c_1001_2^17 - 5190138132617241184636296425122847261022030684769407405598311821901\ 934281489/653604384693236665478785386347422272541283873215548884442\ 402384875640902*c_1001_2^16 - 1264475173833705355837099765720385963\ 34268121037181081629973531844631293593523/2549057100303622995367263\ 0067549468629110071055406406493253693010149995178*c_1001_2^15 + 5056549266848122698157847238571801319521392619986496088756323231561\ 497312477/424842850050603832561210501125824477151834517590106774887\ 5615501691665863*c_1001_2^14 + 647757784493911783748560784906838038\ 29546817719386216381261187632261443052305/1274528550151811497683631\ 5033774734314555035527703203246626846505074997589*c_1001_2^13 + 6250726655943936070906931269267782334495723361230588002195899268510\ 1817002001/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^12 - 2164012466938634481557125527142662\ 329280919986315588018599804361374570787415/254905710030362299536726\ 30067549468629110071055406406493253693010149995178*c_1001_2^11 - 3239157056626159012695316568469606838394925653056642863786730629131\ 5470784841/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^10 - 5234860087518967379488728291423515\ 551060784190192125253496272092280095955743/424842850050603832561210\ 5011258244771518345175901067748875615501691665863*c_1001_2^9 - 2079516802065655067388080629437783962687860214432779659607976902065\ 031932773/169937140020241533024484200450329790860733807036042709955\ 02462006766663452*c_1001_2^8 + 119288693919588993437195907128468668\ 48093777574941303194040749726909930051835/5098114200607245990734526\ 0135098937258220142110812812986507386020299990356*c_1001_2^7 + 6670450326216349153679518153138141799896591529056954416269226050611\ 0284823/54818432264594042911123935629138642213139937753562164501620\ 8451831182692*c_1001_2^6 + 3188152882713187249248896374734780547458\ 78559911996489569672555210991164401/5098114200607245990734526013509\ 8937258220142110812812986507386020299990356*c_1001_2^5 - 8335401208476082251144962114061775533902999740444204703537694536159\ 496379/585990138000832872498221380863206175381840713917388655017326\ 276095402188*c_1001_2^4 - 12381700921808141265116771931983239682131\ 789424903605154767771682057231220/424842850050603832561210501125824\ 4771518345175901067748875615501691665863*c_1001_2^3 + 1121924663736483116712243609741539885464589265132915942483855709998\ 5637885/16993714002024153302448420045032979086073380703604270995502\ 462006766663452*c_1001_2^2 - 56662897017137498158098116070484618486\ 668609692455810060667328578627320253/509811420060724599073452601350\ 98937258220142110812812986507386020299990356*c_1001_2 - 2568668665449306041129879146117434072037665576930172515771427462965\ 61041/8496857001012076651224210022516489543036690351802135497751231\ 003383331726, c_0011_14 - 55172076504524291490318115248456699996481016599942918962541\ 004845581205235/229415139027326069583053670607945217661990639498657\ 658439283237091349956602*c_1001_2^23 - 1019543630218124848207989396491249152963831392724577976249598066335\ 101996135/152943426018217379722035780405296811774660426332438438959\ 522158060899971068*c_1001_2^22 - 3774314833660720192841923161483867\ 2145256808282295707490842832118303214014439/45883027805465213916610\ 7341215890435323981278997315316878566474182699913204*c_1001_2^21 - 4513850103624026749649403754123536383999334284489862307258470061922\ 6496217363/76471713009108689861017890202648405887330213166219219479\ 761079030449985534*c_1001_2^20 - 1245783571929765751843395478169447\ 986611719298256357330362953448598270819287947/458830278054652139166\ 107341215890435323981278997315316878566474182699913204*c_1001_2^19 - 7327247828437872726086118411678063664428849065678309049436496642005\ 935217061/878985207001249308747332071294809263072761070876082982525\ 989414143103282*c_1001_2^18 - 7875161736939478393960140243031431948\ 426084787560587925112584143157578235359855/458830278054652139166107\ 341215890435323981278997315316878566474182699913204*c_1001_2^17 - 2223454208030356051150578829842522131936214104613824741545952563661\ 3779835204/98040657703985499821817807952113340881192580982332332666\ 3603577313461353*c_1001_2^16 - 358403349514594834007675579591050945\ 5699047693622652776650330060568940922198659/22941513902732606958305\ 3670607945217661990639498657658439283237091349956602*c_1001_2^15 + 2245510384278967620285181869144968199158370655511055005421486483357\ 75652548595/7647171300910868986101789020264840588733021316621921947\ 9761079030449985534*c_1001_2^14 + 397161974014008940325230907838779\ 0866017697967616252875243162016980163500690065/22941513902732606958\ 3053670607945217661990639498657658439283237091349956602*c_1001_2^13 + 37085534828868596204885140813230078827876255439227026519475953265\ 9770084185539/25490571003036229953672630067549468629110071055406406\ 493253693010149995178*c_1001_2^12 + 1405636384409164928687093443592844484724165797648195685884554729938\ 17152121385/1529434260182173797220357804052968117746604263324384389\ 59522158060899971068*c_1001_2^11 - 5875468348554745857358007580204671899217934773243335029795409779631\ 37522319811/7647171300910868986101789020264840588733021316621921947\ 9761079030449985534*c_1001_2^10 - 271026009228637932809378694120783\ 4681837020380358110089392605970933795556779937/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^9 - 2689683521756470151693295347295690959601692878937440593693133354879\ 4544227191/38235856504554344930508945101324202943665106583109609739\ 880539515224992767*c_1001_2^8 + 70735051516697098413067912170957915\ 8444430413855326407794870080249426373431715/45883027805465213916610\ 7341215890435323981278997315316878566474182699913204*c_1001_2^7 + 1630330704898403279196967978848354281648944797575163446603900063527\ 313380997/164455296793782128733371806887415926639419813260686493504\ 8625355493548076*c_1001_2^6 + 1724937871315933497158151993805905885\ 3958175125495250813427261530705956038089/15294342601821737972203578\ 0405296811774660426332438438959522158060899971068*c_1001_2^5 - 7958432529473289198833977005536562968466826950941919617077490896536\ 32448803/5273911242007495852483992427768855578436566425256497895155\ 936484858619692*c_1001_2^4 - 38153882509483004982051210631130339691\ 579136213266406668200577892949192330341/458830278054652139166107341\ 215890435323981278997315316878566474182699913204*c_1001_2^3 - 5973769672088290548487499862537789803225229017917644605361980567993\ 38258399/7647171300910868986101789020264840588733021316621921947976\ 1079030449985534*c_1001_2^2 + 7253591790330170514716184404851418007\ 3401516784040236207628565033594803931/16993714002024153302448420045\ 032979086073380703604270995502462006766663452*c_1001_2 + 2834764196216342144535542456876437514708671598801428577780067505823\ 3026173/16993714002024153302448420045032979086073380703604270995502\ 462006766663452, c_0011_7 + 708918110331748942590267444243182648512690011083618217066851\ 92654836163498/1147075695136630347915268353039726088309953197493288\ 29219641618545674978301*c_1001_2^23 + 2627650384552472285610532305098717066849889653231199780734606014349\ 379113855/152943426018217379722035780405296811774660426332438438959\ 522158060899971068*c_1001_2^22 + 9768017239311275667350644517638983\ 6732454367454526486216609555914885484075145/45883027805465213916610\ 7341215890435323981278997315316878566474182699913204*c_1001_2^21 + 1175511504657750460883773899905818933459585918001879788834713411504\ 11172351547/7647171300910868986101789020264840588733021316621921947\ 9761079030449985534*c_1001_2^20 + 327606102125991499518864054615563\ 8109274487094801535806581844116631703540453479/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^19 + 19576923067675115733649384003281510032129387647436993908071150949\ 190885221037/878985207001249308747332071294809263072761070876082982\ 525989414143103282*c_1001_2^18 + 2162974723223877580303535404501877\ 5253304359721258988061850324312536849195673089/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^17 + 64487725241866530227539349075358150473232442075413004773116000453\ 934250925156/980406577039854998218178079521133408811925809823323326\ 663603577313461353*c_1001_2^16 + 6051924683395701353007148603910834\ 640416598357405769258188630262845512960573831/114707569513663034791\ 526835303972608830995319749328829219641618545674978301*c_1001_2^15 + 4455958740119028584000131143342835247148340060939692858816826452679\ 60362126071/7647171300910868986101789020264840588733021316621921947\ 9761079030449985534*c_1001_2^14 - 879579752830188922900082179165197\ 3251883866697129608234057898738263468567011411/22941513902732606958\ 3053670607945217661990639498657658439283237091349956602*c_1001_2^13 - 10720151808763949332727810263930068631621958532825463939301364808\ 58046451478363/2549057100303622995367263006754946862911007105540640\ 6493253693010149995178*c_1001_2^12 - 1831491867919729602763447234632670800548438236916181606315836487705\ 864007058837/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^11 + 5432084500719557993896409651624045806274628185333254865104737057408\ 38589287993/3823585650455434493050894510132420294366510658310960973\ 9880539515224992767*c_1001_2^10 + 745627031541323439592436039149992\ 8240432398298171637956035563475148202280467025/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^9 + 4048394628463102374092093473103460922983757408124580341220079583086\ 48746484691/7647171300910868986101789020264840588733021316621921947\ 9761079030449985534*c_1001_2^8 - 9319214629992753608361385611738410\ 78378857853093429299125315620577167184386201/4588302780546521391661\ 07341215890435323981278997315316878566474182699913204*c_1001_2^7 - 4023745005262576246758749975416794875140815125390730821184221932242\ 781028993/164455296793782128733371806887415926639419813260686493504\ 8625355493548076*c_1001_2^6 - 1053926481094571487643391757886488757\ 99868313310319992118319594094767460521857/1529434260182173797220357\ 80405296811774660426332438438959522158060899971068*c_1001_2^5 + 8862592084681710158651389927008589227364950179235978938271795080001\ 06722759/5273911242007495852483992427768855578436566425256497895155\ 936484858619692*c_1001_2^4 + 73787207494117921045296057542891293372\ 353407271695407387863698029488239424121/458830278054652139166107341\ 215890435323981278997315316878566474182699913204*c_1001_2^3 + 8818696682830246876940024179197608779229104537272980861117728002386\ 03789909/3823585650455434493050894510132420294366510658310960973988\ 0539515224992767*c_1001_2^2 - 2048868091380158327885475676482131087\ 20735783654003315405857303368418250085/5098114200607245990734526013\ 5098937258220142110812812986507386020299990356*c_1001_2 - 1432655830402170029184176051416124831181880094360081824266019938999\ 3202441/16993714002024153302448420045032979086073380703604270995502\ 462006766663452, c_0011_8 - 321922644879512019177334771468394543815227768059339555679296\ 110229488032/424842850050603832561210501125824477151834517590106774\ 8875615501691665863*c_1001_2^23 - 355030819334286168507488219571532\ 33169324821448583995235519456234265307011/1699371400202415330244842\ 0045032979086073380703604270995502462006766663452*c_1001_2^22 - 1306800591756917112581081355821520731127697209940103346891197061029\ 427103661/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^21 - 15537379614434328945358339513018068\ 36591711902888137796087681020594968641419/8496857001012076651224210\ 022516489543036690351802135497751231003383331726*c_1001_2^20 - 4267058953505915392207307973152591871723256394661881475391708026646\ 5330343543/50981142006072459907345260135098937258220142110812812986\ 507386020299990356*c_1001_2^19 - 3759640725784672088838974811377319\ 04700776333119258661226670318852296953106/1464975345002082181245553\ 45215801543845460178479347163754331569023850547*c_1001_2^18 - 2718806948209921446250749244790498975372290998781859086258507299250\ 35054649171/5098114200607245990734526013509893725822014211081281298\ 6507386020299990356*c_1001_2^17 - 239693028687623992007236959589871\ 9600636758716135400980141782978493985540560/32680219234661833273939\ 2693173711136270641936607774442221201192437820451*c_1001_2^16 - 1518535142632270925191083218930934472556583939072518572030094765759\ 48934414797/2549057100303622995367263006754946862911007105540640649\ 3253693010149995178*c_1001_2^15 - 102748557209347427305883032636077\ 35495677095005035860107932320783382746381615/8496857001012076651224\ 210022516489543036690351802135497751231003383331726*c_1001_2^14 + 8047237360801755266786199318995710622608014705776833955179370963792\ 2329235057/25490571003036229953672630067549468629110071055406406493\ 253693010149995178*c_1001_2^13 + 3165902987342268965622363561595165\ 6055050617766660617475028322048655615766563/84968570010120766512242\ 10022516489543036690351802135497751231003383331726*c_1001_2^12 + 6626939046962150334967510741604367675281504949509792651470706039248\ 2256953187/50981142006072459907345260135098937258220142110812812986\ 507386020299990356*c_1001_2^11 - 7445905532531546553215700628129300\ 762340370930667466118163517032935933582835/849685700101207665122421\ 0022516489543036690351802135497751231003383331726*c_1001_2^10 - 2079699062978761975752079125608641930304092925441166685446691869009\ 7860921085/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^9 - 23891691710025106357847925960845582\ 62341042999146270848956210549954218734166/4248428500506038325612105\ 011258244771518345175901067748875615501691665863*c_1001_2^8 - 1594125769531438514275726073209580683416314514254472018670185998866\ 634258195/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^7 + 563336119762965681834419766372549337\ 85759862373123533980437600618534590841/5481843226459404291112393562\ 91386422131399377535621645016208451831182692*c_1001_2^6 + 2943565522687979988738564208401885177546246671709350295873219616909\ 991299549/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^5 + 483899980562929456546327770259814977\ 7109151185088942309381175007472722179/58599013800083287249822138086\ 3206175381840713917388655017326276095402188*c_1001_2^4 - 7286899862026443570455780472012122123363577884345910963299554486418\ 5796397/16993714002024153302448420045032979086073380703604270995502\ 462006766663452*c_1001_2^3 - 13619373917428448196191126856650918382\ 908578152361858939639678982044106427/849685700101207665122421002251\ 6489543036690351802135497751231003383331726*c_1001_2^2 + 2480149441670530720739685222613840802831633626400110541176526555945\ 1256069/50981142006072459907345260135098937258220142110812812986507\ 386020299990356*c_1001_2 + 1096273359411139963578711671054577277144\ 595989363655137102849816106835423/169937140020241533024484200450329\ 79086073380703604270995502462006766663452, c_0101_0 - 618341019161878137207761740949089861730001577226196289548413\ 628759740173259/458830278054652139166107341215890435323981278997315\ 316878566474182699913204*c_1001_2^23 - 5782331596945318523134003519530282882732281918069345158474350498806\ 532602783/152943426018217379722035780405296811774660426332438438959\ 522158060899971068*c_1001_2^22 - 1086842729689863489097740766543896\ 35670479388324004665035026650592405803928757/2294151390273260695830\ 53670607945217661990639498657658439283237091349956602*c_1001_2^21 - 5896019979773727875382791464875018050162525448935936320695730507126\ 6197053273/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^20 - 1882837703912391847886000504827605\ 720946555175825208565852304645785985671869670/114707569513663034791\ 526835303972608830995319749328829219641618545674978301*c_1001_2^19 - 2766881591125216584740915603202641849398707427474622668508697532337\ 81974246507/5273911242007495852483992427768855578436566425256497895\ 155936484858619692*c_1001_2^18 - 1317195648271271202428824455006336\ 7642903837817155023004480583242183290769106617/11470756951366303479\ 1526835303972608830995319749328829219641618545674978301*c_1001_2^17 - 49565750730308380684450018991701713174399760058873403764036977757\ 5489128929207/29412197311195649946545342385634002264357774294699699\ 79990810731940384059*c_1001_2^16 - 3422293249819648750469249572390138823420360998932031512634915506335\ 2023702561575/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^15 - 1475085263675835135332254509809444099817879046210964686671901973515\ 868840014312/382358565045543449305089451013242029436651065831096097\ 39880539515224992767*c_1001_2^14 + 1904569064128121050030389827787084874820473309468907083395243219936\ 0481953337937/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^13 + 1725343802261934635517192215100489911153743521943804853516975432753\ 6331794658491/15294342601821737972203578040529681177466042633243843\ 8959522158060899971068*c_1001_2^12 + 3567244700496096731293987668755683839888760365371283348352859558220\ 181997341397/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^11 - 4137475054778445562288789033278748789234291599824932239769613069258\ 091705208423/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^10 - 1003300502399659403809209625392205075538452840105337339680278309626\ 3756144918767/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^9 - 3266466647931551542517896333136771085885967439620800000178165381959\ 97082294979/1699371400202415330244842004503297908607338070360427099\ 5502462006766663452*c_1001_2^8 + 1217391349462717635193392580904824\ 678292462048325088764363406076884670604947257/458830278054652139166\ 107341215890435323981278997315316878566474182699913204*c_1001_2^7 + 3267156704891053052681368943606661582291598805171314012576169605642\ 0626447149/49336589038134638620011542066224777991825943978205948051\ 45876066480644228*c_1001_2^6 + 389027700407485716943614183474572176\ 820975127615648282944711256730165742763937/152943426018217379722035\ 780405296811774660426332438438959522158060899971068*c_1001_2^5 - 9787592881419121471855183188071407440750693371739558653780463602974\ 36179127/5273911242007495852483992427768855578436566425256497895155\ 936484858619692*c_1001_2^4 - 10629083016777770688150158360672387363\ 1835281955860062044398112121296957159993/22941513902732606958305367\ 0607945217661990639498657658439283237091349956602*c_1001_2^3 - 1686270487440503381491075514278632335911020097619837662817646981436\ 1267090963/15294342601821737972203578040529681177466042633243843895\ 9522158060899971068*c_1001_2^2 + 5787968836593454294072588178206194\ 98390328177586691947805421131513979188393/5098114200607245990734526\ 0135098937258220142110812812986507386020299990356*c_1001_2 + 3191312414804747795693402587602050397292145352232833632144255737742\ 7893553/42484285005060383256121050112582447715183451759010677488756\ 15501691665863, c_0101_1 - 768501552413989466722489261592758005418705164866335771990705\ 197256553801191/458830278054652139166107341215890435323981278997315\ 316878566474182699913204*c_1001_2^23 - 7168842586121880229435830635406456513425793522214549505619462267509\ 274922141/152943426018217379722035780405296811774660426332438438959\ 522158060899971068*c_1001_2^22 - 6716269562965700378922819782927384\ 8576045498522887376489892193143114410767068/11470756951366303479152\ 6835303972608830995319749328829219641618545674978301*c_1001_2^21 - 2177202763161104014046106050136092791555471353369126207791623358327\ 21764664243/5098114200607245990734526013509893725822014211081281298\ 6507386020299990356*c_1001_2^20 - 460988679137479024169838713876064\ 5409112188358537848073076631121675042467294307/22941513902732606958\ 3053670607945217661990639498657658439283237091349956602*c_1001_2^19 - 33620391419939002207039980347743783005204870736121187051018350702\ 1070572155519/52739112420074958524839924277688555784365664252564978\ 95155936484858619692*c_1001_2^18 - 3167733999131036666828809407061845131953401601915031001900411570730\ 3274869643407/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^17 - 5867213555443120169544798089727000566467641522230385492271575645089\ 16168644641/2941219731119564994654534238563400226435777429469969979\ 990810731940384059*c_1001_2^16 - 3935574226380233801570722717524597\ 4460620764602528069393720601810187317781302787/22941513902732606958\ 3053670607945217661990639498657658439283237091349956602*c_1001_2^15 - 14372475802301813398364804348848994035690434473656059915432236419\ 66626728355422/3823585650455434493050894510132420294366510658310960\ 9739880539515224992767*c_1001_2^14 + 2345305156440451035048062448093328183335898052798349840243405960113\ 2253000089861/22941513902732606958305367060794521766199063949865765\ 8439283237091349956602*c_1001_2^13 + 1978863150377334847381410864594923920414990466555767967778759180481\ 6993439926171/15294342601821737972203578040529681177466042633243843\ 8959522158060899971068*c_1001_2^12 + 1831440316406692598910868781641367099292454454521418056003352541101\ 454215595881/382358565045543449305089451013242029436651065831096097\ 39880539515224992767*c_1001_2^11 - 5361704113663916337837187634602822788980277472630650435291139789959\ 126943579091/152943426018217379722035780405296811774660426332438438\ 959522158060899971068*c_1001_2^10 - 5685481710645171686165418438769695355556627190888248293421306576035\ 934667095329/114707569513663034791526835303972608830995319749328829\ 219641618545674978301*c_1001_2^9 - 1008568130087858313080932345876491475378197114366458939395264379861\ 517237873085/509811420060724599073452601350989372582201421108128129\ 86507386020299990356*c_1001_2^8 + 181486011886894608060687142215652\ 4729939047105195089556963169647310150082153767/45883027805465213916\ 6107341215890435323981278997315316878566474182699913204*c_1001_2^7 + 3569039465880154694977101219954332026239667487677469215728942390982\ 5969988411/49336589038134638620011542066224777991825943978205948051\ 45876066480644228*c_1001_2^6 + 379309529021898498168878627948682031\ 806595530924087800469293172340857181294067/152943426018217379722035\ 780405296811774660426332438438959522158060899971068*c_1001_2^5 - 1671012666538002874621531180362439571298323718962617732356690406707\ 004940909/527391124200749585248399242776885557843656642525649789515\ 5936484858619692*c_1001_2^4 - 5576254589321351626782855911280369212\ 8520913107273403517106535706622679152035/11470756951366303479152683\ 5303972608830995319749328829219641618545674978301*c_1001_2^3 - 1446835584890453179123999650945519465241589458019467342117977266730\ 0617791699/15294342601821737972203578040529681177466042633243843895\ 9522158060899971068*c_1001_2^2 + 6984678919672294944740059545077902\ 50935326985309413271820589518694472176999/5098114200607245990734526\ 0135098937258220142110812812986507386020299990356*c_1001_2 + 5420916932849575461198769756169570069717920457364242348186771259591\ 0182085/84968570010120766512242100225164895430366903518021354977512\ 31003383331726, c_0101_13 - 30344813845466521177586512392857444413796527866645868396559\ 8696569985108141/22941513902732606958305367060794521766199063949865\ 7658439283237091349956602*c_1001_2^23 - 1411040504239798676619806255128288659653193363911232972467314815277\ 949402719/382358565045543449305089451013242029436651065831096097398\ 80539515224992767*c_1001_2^22 - 52684466367810166182354646731530549\ 952359565019929657629472630063420742918126/114707569513663034791526\ 835303972608830995319749328829219641618545674978301*c_1001_2^21 - 1275019290002353246649148862854735415504125228752680780713929962163\ 43035840803/3823585650455434493050894510132420294366510658310960973\ 9880539515224992767*c_1001_2^20 - 178920444174258830094080419324670\ 4593620875632477615482524570501154309009066213/11470756951366303479\ 1526835303972608830995319749328829219641618545674978301*c_1001_2^19 - 43161862333039193416076370442858116695995399746487764564130334759\ 467712783491/878985207001249308747332071294809263072761070876082982\ 525989414143103282*c_1001_2^18 - 1207226049885459262269724798761496\ 7237356537901227341533955560706287832366676144/11470756951366303479\ 1526835303972608830995319749328829219641618545674978301*c_1001_2^17 - 29344568941632232929081019543496985637080934199297234394593100949\ 2097437432893/19608131540797099964363561590422668176238516196466466\ 53327207154626922706*c_1001_2^16 - 1431053016313252275287924951749276889361029752672519623864546824245\ 5541729520281/11470756951366303479152683530397260883099531974932882\ 9219641618545674978301*c_1001_2^15 - 1639291630772720230588441291425230158862591960804108269173386598848\ 146242206833/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^14 + 9316179268614354775840600144262751655319368767857412729243958560787\ 683988077571/114707569513663034791526835303972608830995319749328829\ 219641618545674978301*c_1001_2^13 + 2441859206890639806340534316648701370102982588961658444461562216109\ 160315043857/254905710030362299536726300675494686291100710554064064\ 93253693010149995178*c_1001_2^12 + 1196560007696959307509601474442979076208722105395953849121596494998\ 821236908363/382358565045543449305089451013242029436651065831096097\ 39880539515224992767*c_1001_2^11 - 2233162767946934037185016501245645801593111663639449443005446435594\ 806759744267/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^10 - 8411254742453990484597988957822867893255027199452784548166665084884\ 648621844067/229415139027326069583053670607945217661990639498657658\ 439283237091349956602*c_1001_2^9 - 1002189830943590503144824191736522936610714661620607742753342708139\ 370834939215/764717130091086898610178902026484058873302131662192194\ 79761079030449985534*c_1001_2^8 + 435826327831880543012146605882477\ 927960623572656371000552587504111888807703266/114707569513663034791\ 526835303972608830995319749328829219641618545674978301*c_1001_2^7 + 2183775147368452552212105826598759958249945180410195035388405737511\ 443126396/411138241984455321833429517218539816598549533151716233762\ 156338873387019*c_1001_2^6 + 12177718844871257569804362661453864386\ 4265868986619594433330724201501960005391/76471713009108689861017890\ 202648405887330213166219219479761079030449985534*c_1001_2^5 - 8365972435623663295110958034296399502653244480378296997977208445544\ 50992261/2636955621003747926241996213884427789218283212628248947577\ 968242429309846*c_1001_2^4 - 39247771526081274481532861218034951617\ 671214538745305143353578987388484335668/114707569513663034791526835\ 303972608830995319749328829219641618545674978301*c_1001_2^3 - 3994132972909808137199477162474440545970493363349859308261749004879\ 681321221/764717130091086898610178902026484058873302131662192194797\ 61079030449985534*c_1001_2^2 + 138480848912918596355235911229222359\ 955142342488615838592755971110117843195/127452855015181149768363150\ 33774734314555035527703203246626846505074997589*c_1001_2 + 1497885758527581690005382006773491667508535828508863179969456827473\ 3935539/42484285005060383256121050112582447715183451759010677488756\ 15501691665863, c_0101_6 + 277018332939901718856174330857259949826166643602945859716418\ 88372586635797/1764731838671738996792720543138040135861466457681981\ 9879944864391642304354*c_1001_2^23 + 5137638754386027817546681020216323129716092158882894022392214305541\ 17152999/1176487892447825997861813695425360090574310971787987991996\ 3242927761536236*c_1001_2^22 + 191142651697954360226767814150122801\ 37503802146495481644338922957927792845613/3529463677343477993585441\ 0862760802717229329153639639759889728783284608708*c_1001_2^21 + 2302482936740388905404744330980416761078949719242382336945844869928\ 4208661135/58824394622391299893090684771268004528715548589399399599\ 81621463880768118*c_1001_2^20 + 64243969793479358471091438117915747\ 8308708796413592755509668848373081702928523/35294636773434779935854\ 410862760802717229329153639639759889728783284608708*c_1001_2^19 + 1922478295169395758658123215471027988367827924676158546874586424892\ 097502091/338071233462018964902820027421080485797215796490801147125\ 38054390119357*c_1001_2^18 + 42578865546530279407867743576021080301\ 14297651795154029681337757640141085828145/3529463677343477993585441\ 0862760802717229329153639639759889728783284608708*c_1001_2^17 + 3315026097724219933659164254890462272936283220250327066608424143301\ 67610928159/1960813154079709996436356159042266817623851619646646653\ 327207154626922706*c_1001_2^16 + 1211824357841356288370916156058709\ 169815894739243737437964000542720047977816593/882365919335869498396\ 3602715690200679307332288409909939972432195821152177*c_1001_2^15 + 5606870229872329568640357268466223841855596329904080480825306943696\ 0044943671/29412197311195649946545342385634002264357774294699699799\ 90810731940384059*c_1001_2^14 - 16490062909311841349226242137921299\ 82399238675584347925679094442938772352790917/1764731838671738996792\ 7205431380401358614664576819819879944864391642304354*c_1001_2^13 - 1027936182030645713300057681502205804700862495676730387299753268013\ 32997526766/9804065770398549982181780795211334088119258098233233266\ 63603577313461353*c_1001_2^12 - 36631561620371722785824682802646503\ 5163986290106068083588337254404030725808841/11764878924478259978618\ 136954253600905743109717879879919963242927761536236*c_1001_2^11 + 1989864750097564247901102531317637359492045007875034039464575394662\ 65391568651/5882439462239129989309068477126800452871554858939939959\ 981621463880768118*c_1001_2^10 + 1396866631377409717109344731726728\ 540211702893610875695958570117251458573769127/352946367734347799358\ 54410862760802717229329153639639759889728783284608708*c_1001_2^9 + 3924562276295941702284166741365816817993282419988944048510395142435\ 8459475722/29412197311195649946545342385634002264357774294699699799\ 90810731940384059*c_1001_2^8 - 152626876889720721441252185768454465\ 589326086822845824070705249929707124634609/352946367734347799358544\ 10862760802717229329153639639759889728783284608708*c_1001_2^7 - 7015323159396179230703593321283767208062870112436590600252484799081\ 12204189/1265040744567554836410552360672430204918613948159126873114\ 32719653349852*c_1001_2^6 - 188246568668681423274411591616570288162\ 78352515732201412747883495252279528847/1176487892447825997861813695\ 4253600905743109717879879919963242927761536236*c_1001_2^5 + 1374984899316994277223213739728854091201323363718156154058337112892\ 04228925/4056854801544227578833840329052965829566589557889613765504\ 56652681432284*c_1001_2^4 + 122328852325081351446024489834590622845\ 57156122818235322447010325997763845765/3529463677343477993585441086\ 2760802717229329153639639759889728783284608708*c_1001_2^3 + 3036649345217244358415163893614574133220697802147901956396810021505\ 90290209/5882439462239129989309068477126800452871554858939939959981\ 621463880768118*c_1001_2^2 - 32945164033732584995047376446680324383\ 018335741289107578591594839004661117/392162630815941999287271231808\ 4533635247703239293293306654414309253845412*c_1001_2 - 5215717665095169487135791970213501893814491357303127276927532756656\ 474549/130720876938647333095757077269484454508256774643109776888480\ 4769751281804, c_0101_8 - 137769406375029381833417712320921216857163141256213564270334\ 3979132063211/16993714002024153302448420045032979086073380703604270\ 995502462006766663452*c_1001_2^23 - 3824892128255135816045856652508193481044162598092883740397623262040\ 8830281/16993714002024153302448420045032979086073380703604270995502\ 462006766663452*c_1001_2^22 - 3544016552450059125546341372221757322\ 49672468768045186950979991812183354750/1274528550151811497683631503\ 3774734314555035527703203246626846505074997589*c_1001_2^21 - 3392357090048927593136214584274810580504415544096168331512355165190\ 510782123/169937140020241533024484200450329790860733807036042709955\ 02462006766663452*c_1001_2^20 - 11695040966673936517404402122587496\ 436772149269408872602350798093592137445416/127452855015181149768363\ 15033774734314555035527703203246626846505074997589*c_1001_2^19 - 1646559908915521764575892910405287478807281985589229370182326193532\ 746501019/585990138000832872498221380863206175381840713917388655017\ 326276095402188*c_1001_2^18 - 1466722685433443247482543867010194938\ 81905383762524986620243752280006953376971/2549057100303622995367263\ 0067549468629110071055406406493253693010149995178*c_1001_2^17 - 4923027530357079056520309937140891158547061839865704784103657413701\ 762383625/653604384693236665478785386347422272541283873215548884442\ 402384875640902*c_1001_2^16 - 6514414567412486005058908885154371107\ 9684964827114762349076080482234568127783/12745285501518114976836315\ 033774734314555035527703203246626846505074997589*c_1001_2^15 + 8229923078353517354066306106589251253616013669084585056971997306844\ 404047509/849685700101207665122421002251648954303669035180213549775\ 1231003383331726*c_1001_2^14 + 139784865776441946498649389673127289\ 614888898575218004783091895249683869439665/254905710030362299536726\ 30067549468629110071055406406493253693010149995178*c_1001_2^13 + 7615872251430297305912580804295246913605738464302789025270643354174\ 4519005699/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^12 + 6701103092395973661700571334398603\ 580342130230217522814919981839299390459339/254905710030362299536726\ 30067549468629110071055406406493253693010149995178*c_1001_2^11 - 3789182570375166947454440145945259327475806961719243746664311665015\ 7885606349/16993714002024153302448420045032979086073380703604270995\ 502462006766663452*c_1001_2^10 - 6959413530625953689365142311932208\ 773278302619000595709972345862189874610661/424842850050603832561210\ 5011258244771518345175901067748875615501691665863*c_1001_2^9 - 3240936408348096796732751342257395983176649785667253916244252552048\ 162129089/169937140020241533024484200450329790860733807036042709955\ 02462006766663452*c_1001_2^8 + 185522919954122446189021640559248444\ 22912540752008743388826696329328341050917/5098114200607245990734526\ 0135098937258220142110812812986507386020299990356*c_1001_2^7 + 1167843031913082572230928310370009553202653524679694506306390502264\ 18518747/5481843226459404291112393562913864221313993775356216450162\ 08451831182692*c_1001_2^6 + 137081840361891710448205779631389700646\ 1074753769882755528770425200188779239/50981142006072459907345260135\ 098937258220142110812812986507386020299990356*c_1001_2^5 - 9369296536000074993451676195934128593161298735382279012855872629542\ 778959/585990138000832872498221380863206175381840713917388655017326\ 276095402188*c_1001_2^4 - 47195316112334601904749051337021754450203\ 117894087704869866685175629249769/849685700101207665122421002251648\ 9543036690351802135497751231003383331726*c_1001_2^3 + 4096144716194227191829004726295176966166901415959475340250453128537\ 48219/1699371400202415330244842004503297908607338070360427099550246\ 2006766663452*c_1001_2^2 - 4587152933841978242883577867700263718480\ 6546271841348301253455966404835065/50981142006072459907345260135098\ 937258220142110812812986507386020299990356*c_1001_2 + 2841375596026645397567265208594718656545284712381349560545424917983\ 5384/42484285005060383256121050112582447715183451759010677488756155\ 01691665863, c_1001_0 + 950714398707643179043181720564929521183512613444986811979297\ 70091376335401/7647171300910868986101789020264840588733021316621921\ 9479761079030449985534*c_1001_2^23 + 1765694719193178620021594385775168046471582117886665713146812698417\ 411192001/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^22 + 65812056005158831536558973928840557\ 420344615547406347088681331706754046098417/152943426018217379722035\ 780405296811774660426332438438959522158060899971068*c_1001_2^21 + 7947285054001452823625871530883848492115954982469444391997287404872\ 9264693195/25490571003036229953672630067549468629110071055406406493\ 253693010149995178*c_1001_2^20 + 2225064837014596697408394248466828\ 079283783469121101017670035908919774361396221/152943426018217379722\ 035780405296811774660426332438438959522158060899971068*c_1001_2^19 + 1338177707104498401367223474058026637046719664785639478654173260718\ 0928108023/29299506900041643624911069043160308769092035695869432750\ 8663138047701094*c_1001_2^18 + 149255205619522096454252900155882408\ 04220869702059406240504646004655823226423235/1529434260182173797220\ 35780405296811774660426332438438959522158060899971068*c_1001_2^17 + 4521089728593337978550045774305546209144862333138450324019367241238\ 4503955299/32680219234661833273939269317371113627064193660777444222\ 1201192437820451*c_1001_2^16 + 880128011124775460913944096759699896\ 2743157885164790022924736173375946552354071/76471713009108689861017\ 890202648405887330213166219219479761079030449985534*c_1001_2^15 + 2571774269171795635950477995294516758568510874453502886753435238793\ 62887865853/1274528550151811497683631503377473431455503552770320324\ 6626846505074997589*c_1001_2^14 - 281259441818330866294062691456019\ 6755735274638574772098332377463966952394541424/38235856504554344930\ 508945101324202943665106583109609739880539515224992767*c_1001_2^13 - 3689882594651134981402492645503358663162191069944116237166991682706\ 55864020436/4248428500506038325612105011258244771518345175901067748\ 875615501691665863*c_1001_2^12 - 1458506214724871107555710185242338\ 352517225915409242641026041609940969435246041/509811420060724599073\ 45260135098937258220142110812812986507386020299990356*c_1001_2^11 + 3299897298963622936324691602523640407608777117237975157957282122694\ 86262257565/1274528550151811497683631503377473431455503552770320324\ 6626846505074997589*c_1001_2^10 + 501784995488949700327597668993616\ 8485671551537239398551993972250513781021147239/15294342601821737972\ 2035780405296811774660426332438438959522158060899971068*c_1001_2^9 + 3057104254596541216103628782869633110836683131280748719700013553920\ 48479355077/2549057100303622995367263006754946862911007105540640649\ 3253693010149995178*c_1001_2^8 - 4681645197714148633228353811271657\ 32996387463166942583911837840967789647423713/1529434260182173797220\ 35780405296811774660426332438438959522158060899971068*c_1001_2^7 - 2515821773837667640755530132772307325453218613896102362342406863675\ 284819547/548184322645940429111239356291386422131399377535621645016\ 208451831182692*c_1001_2^6 - 73353761261668543666714214133720577917\ 179692824181397078101838409199288812125/509811420060724599073452601\ 35098937258220142110812812986507386020299990356*c_1001_2^5 + 4035148888252077289624015294963275209868111554361540859305015825367\ 34828765/1757970414002498617494664142589618526145522141752165965051\ 978828286206564*c_1001_2^4 + 43062408064114262740453608338484544466\ 992102119068849955412730691739276202989/152943426018217379722035780\ 405296811774660426332438438959522158060899971068*c_1001_2^3 + 1155050857054515768083670483080255647321088237677676413996040696511\ 378266761/254905710030362299536726300675494686291100710554064064932\ 53693010149995178*c_1001_2^2 - 110789671095256657497557722451297336\ 919099830582570375427367613949680336825/169937140020241533024484200\ 45032979086073380703604270995502462006766663452*c_1001_2 - 4150409941548098602820334731633544590574451770561030174966144573641\ 1497347/16993714002024153302448420045032979086073380703604270995502\ 462006766663452, c_1001_1 - 114284088666496639081467028110372943180862448818200853136721\ 646364989700589/152943426018217379722035780405296811774660426332438\ 438959522158060899971068*c_1001_2^23 - 1061309887001180821788277263797654096118518034994069905243708195140\ 500896167/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^22 - 98884029037219905748020094804573871\ 53802173753138993698151572836265253736156/3823585650455434493050894\ 5101324202943665106583109609739880539515224992767*c_1001_2^21 - 9549003733021702815971671431322882735918396629380493350963312461232\ 3795032733/50981142006072459907345260135098937258220142110812812986\ 507386020299990356*c_1001_2^20 - 6677368076247665427804742947809566\ 08224328950058714613670109352190932979156401/7647171300910868986101\ 7890202648405887330213166219219479761079030449985534*c_1001_2^19 - 1602990352612044702240010685056721797416653291037619277068885915305\ 9671330573/58599013800083287249822138086320617538184071391738865501\ 7326276095402188*c_1001_2^18 - 222498116690780432115162403959385951\ 4902878588642058907812022146655260710887783/38235856504554344930508\ 945101324202943665106583109609739880539515224992767*c_1001_2^17 - 5337666588311090729859308118523545750916792258055900606471065495726\ 0272717097/65360438469323666547878538634742227254128387321554888444\ 2402384875640902*c_1001_2^16 - 504556121870202383248039285793232843\ 0423361585681747003091948530114894923151513/76471713009108689861017\ 890202648405887330213166219219479761079030449985534*c_1001_2^15 - 9713268499415584563389586288655974026337124549099064468563334491212\ 4814623996/12745285501518114976836315033774734314555035527703203246\ 626846505074997589*c_1001_2^14 + 3660611045697936041022073697737358\ 757349187286507203270438062848801983819864215/764717130091086898610\ 17890202648405887330213166219219479761079030449985534*c_1001_2^13 + 8954008052376678500173546943331654438885837275060253992177289417928\ 69104081393/1699371400202415330244842004503297908607338070360427099\ 5502462006766663452*c_1001_2^12 + 187408633932004135384823439414074\ 396615050651628198730577175678213509019978084/127452855015181149768\ 36315033774734314555035527703203246626846505074997589*c_1001_2^11 - 9345591820457695361112172211412395758578091225422258193965624307025\ 65942657817/5098114200607245990734526013509893725822014211081281298\ 6507386020299990356*c_1001_2^10 - 157270809377247492783494168201133\ 0536600492599334934275544284358170660071655093/76471713009108689861\ 017890202648405887330213166219219479761079030449985534*c_1001_2^9 - 3253403484423438486613720389542404539472347906141184627768851358156\ 07147124499/5098114200607245990734526013509893725822014211081281298\ 6507386020299990356*c_1001_2^8 + 4350621326598190853327916520241612\ 12233919395693901638255639204048888941283217/1529434260182173797220\ 35780405296811774660426332438438959522158060899971068*c_1001_2^7 + 1720336358625732811886076794327236902869421240490924878467933728213\ 598549807/548184322645940429111239356291386422131399377535621645016\ 208451831182692*c_1001_2^6 + 40615430111042950592177483912817509120\ 998006563085444109885567766690983660237/509811420060724599073452601\ 35098937258220142110812812986507386020299990356*c_1001_2^5 - 4774266584558255137755038078884578889084976964905514557027820324423\ 99366131/1757970414002498617494664142589618526145522141752165965051\ 978828286206564*c_1001_2^4 - 17210216153918717562538561036585001472\ 258445536435702942332570164699837874339/764717130091086898610178902\ 02648405887330213166219219479761079030449985534*c_1001_2^3 - 1531490863994069501345498276796921276687213421667208477960599423379\ 446393363/509811420060724599073452601350989372582201421108128129865\ 07386020299990356*c_1001_2^2 + 167530647988925095934528218139549568\ 306362362443918168402161177079011045571/169937140020241533024484200\ 45032979086073380703604270995502462006766663452*c_1001_2 + 2667784249833921354267852237979593125789931668526938831112924622015\ 7277037/84968570010120766512242100225164895430366903518021354977512\ 31003383331726, c_1001_2^24 + 2196/79*c_1001_2^23 + 27200/79*c_1001_2^22 + 196194/79*c_1001_2^21 + 909275/79*c_1001_2^20 + 2823720/79*c_1001_2^19 + 5923199/79*c_1001_2^18 + 8104587/79*c_1001_2^17 + 6143744/79*c_1001_2^16 - 12600/79*c_1001_2^15 - 5384642/79*c_1001_2^14 - 5241831/79*c_1001_2^13 - 965841/79*c_1001_2^12 + 2253894/79*c_1001_2^11 + 2081539/79*c_1001_2^10 + 436056/79*c_1001_2^9 - 428828/79*c_1001_2^8 - 326139/79*c_1001_2^7 - 43413/79*c_1001_2^6 + 46083/79*c_1001_2^5 + 21802/79*c_1001_2^4 - 810/79*c_1001_2^3 - 1980/79*c_1001_2^2 - 162/79*c_1001_2 + 81/79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 176.810 Total time: 177.030 seconds, Total memory usage: 522.25MB