Magma V2.19-8 Thu Sep 12 2013 15:35:32 on localhost [Seed = 3366489356] Type ? for help. Type -D to quit. Loading file "10_116__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_116 geometric_solution 15.42386651 oriented_manifold CS_known 0.0000000000000010 1 0 torus 0.000000000000 0.000000000000 17 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 1 -1 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.886646195349 0.722666878098 0 5 5 6 0132 0132 1302 0132 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 1 7 -8 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.215067726683 0.970987910591 4 0 8 7 0213 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 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724662726726 0.445604999740 7 4 9 0 0213 0321 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.753985988106 1.122365282857 2 10 0 3 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595832748810 0.473178728305 1 1 9 11 2031 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -7 0 0 7 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.782555968746 0.981716451997 12 10 1 13 0132 1023 0132 0132 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 8 -8 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.657670276401 0.782562527191 3 10 2 14 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 0 0 0 0 0 0 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.358013924471 0.579197623022 15 10 14 2 0132 0321 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 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.539751644052 0.649703580767 5 13 13 3 2031 2310 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 1 -1 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215067726683 0.970987910591 6 4 7 8 1023 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358013924471 0.579197623022 16 16 5 12 0132 1302 0132 1302 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 -7 7 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857422592653 1.540021607992 6 15 11 14 0132 0213 2031 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832856654654 1.174281134339 9 15 6 9 2103 2103 0132 3201 0 0 0 0 0 0 1 -1 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 8 -8 -1 0 0 1 0 -1 0 1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215067726683 0.970987910591 12 8 7 16 3201 0213 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0.476544654734 0.383355762285 8 13 12 16 0132 2103 0213 3012 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 1 -1 0 0 0 0 0 0 0 0 0 -1 8 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.240089344345 0.587134169906 11 14 15 11 0132 1302 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.059606067356 0.643823123201 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : d['c_0011_13'], 'c_1001_14' : d['c_1001_14'], 'c_1001_16' : d['c_0110_14'], 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_0011_15'], 'c_1001_12' : d['c_0011_13'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_13']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_13'], 'c_1001_8' : d['c_1001_14'], 'c_1010_13' : negation(d['c_0011_13']), 'c_1010_12' : negation(d['c_0110_14']), 'c_1010_11' : negation(d['c_0011_14']), 'c_1010_10' : d['c_1001_2'], 'c_1010_16' : d['c_0011_11'], 'c_1010_15' : d['c_0011_13'], 'c_1010_14' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_7'], 'c_0101_16' : negation(d['c_0011_13']), 'c_0101_15' : negation(d['c_0011_10']), 'c_0101_14' : negation(d['c_0101_0']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : d['1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_11']), 'c_1100_9' : negation(d['c_0110_13']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : negation(d['c_0110_13']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_9']), 'c_1100_0' : negation(d['c_0110_13']), 'c_1100_3' : negation(d['c_0110_13']), 'c_1100_2' : negation(d['c_0011_11']), 'c_1100_14' : negation(d['c_0011_11']), 'c_1100_15' : negation(d['c_0110_14']), 's_0_10' : d['1'], 'c_1100_16' : d['c_0011_14'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_1001_14'], 'c_1100_13' : negation(d['c_0011_9']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_14'], 'c_1010_6' : d['c_0011_15'], 'c_1010_5' : d['c_0101_11'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 's_0_14' : d['1'], 'c_1010_9' : negation(d['c_0110_13']), 's_0_15' : d['1'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_14'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_15']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], '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' : negation(d['c_0011_13']), 'c_0110_10' : d['c_0011_15'], 'c_0110_13' : d['c_0110_13'], 'c_0110_12' : d['c_0101_0'], 'c_0110_15' : d['c_0011_14'], 'c_0110_14' : d['c_0110_14'], 'c_0110_16' : d['c_0101_11'], 'c_1010_4' : d['c_1001_0'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 's_2_14' : d['1'], 's_0_9' : d['1'], 'c_1010_8' : d['c_1001_2'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0011_14'], 'c_0011_10' : d['c_0011_10'], 's_1_16' : d['1'], 's_1_15' : d['1'], '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_7'], 'c_0110_8' : negation(d['c_0011_10']), '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' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_12'], 'c_0101_13' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_15, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0110_13, c_0110_14, c_1001_0, c_1001_14, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 567911550334337450737/82874835045681200*c_1001_2^15 + 66544370925579680009/8287483504568120*c_1001_2^14 - 2157405721360908653713/82874835045681200*c_1001_2^13 + 765207093424631794577/82874835045681200*c_1001_2^12 + 16429258511343850711/10359354380710150*c_1001_2^11 + 178889609511875234602/5179677190355075*c_1001_2^10 + 211943574307244390999/16574967009136240*c_1001_2^9 + 614765125400742675674/5179677190355075*c_1001_2^8 - 114165964909244707837/3314993401827248*c_1001_2^7 + 401377634610967514769/4143741752284060*c_1001_2^6 - 304327449819346080282/5179677190355075*c_1001_2^5 + 398101901166328720329/3314993401827248*c_1001_2^4 - 1986356657621014078201/20718708761420300*c_1001_2^3 + 4217625798230551537/1035935438071015*c_1001_2^2 - 3917505998640728263469/82874835045681200*c_1001_2 + 1650925702734582128799/41437417522840600, c_0011_0 - 1, c_0011_10 + 6563633423/29560149467*c_1001_2^15 + 10561182382/29560149467*c_1001_2^14 - 25232498379/29560149467*c_1001_2^13 - 4987700659/29560149467*c_1001_2^12 + 21826623578/29560149467*c_1001_2^11 + 22431455434/29560149467*c_1001_2^10 + 23271382254/29560149467*c_1001_2^9 + 114768658430/29560149467*c_1001_2^8 + 9081702612/29560149467*c_1001_2^7 + 17971995606/29560149467*c_1001_2^6 + 19832888176/29560149467*c_1001_2^5 + 49091615364/29560149467*c_1001_2^4 - 21999555756/29560149467*c_1001_2^3 - 33143664063/29560149467*c_1001_2^2 + 4239609632/29560149467*c_1001_2 + 32291053119/29560149467, c_0011_11 + c_1001_2, c_0011_13 - 1, c_0011_14 - 8969033789/29560149467*c_1001_2^15 - 8546273563/29560149467*c_1001_2^14 + 34183497558/29560149467*c_1001_2^13 - 24132200012/29560149467*c_1001_2^12 + 10276658185/29560149467*c_1001_2^11 - 36567399878/29560149467*c_1001_2^10 - 27272236067/29560149467*c_1001_2^9 - 155525016603/29560149467*c_1001_2^8 + 71264702647/29560149467*c_1001_2^7 - 167350054856/29560149467*c_1001_2^6 + 85525365134/29560149467*c_1001_2^5 - 134781756607/29560149467*c_1001_2^4 + 117295495390/29560149467*c_1001_2^3 - 41934321418/29560149467*c_1001_2^2 + 40207519612/29560149467*c_1001_2 - 39398369163/29560149467, c_0011_15 - 10184778984/29560149467*c_1001_2^15 - 12087399004/29560149467*c_1001_2^14 + 34437155339/29560149467*c_1001_2^13 - 17246641113/29560149467*c_1001_2^12 + 14766354714/29560149467*c_1001_2^11 - 60827803833/29560149467*c_1001_2^10 - 26316356731/29560149467*c_1001_2^9 - 184787226023/29560149467*c_1001_2^8 + 34338137227/29560149467*c_1001_2^7 - 206277620075/29560149467*c_1001_2^6 + 122234638338/29560149467*c_1001_2^5 - 238864363552/29560149467*c_1001_2^4 + 126333169402/29560149467*c_1001_2^3 - 40019694000/29560149467*c_1001_2^2 + 83122042455/29560149467*c_1001_2 - 49053440398/29560149467, c_0011_3 - 13726773149/29560149467*c_1001_2^15 - 19820659408/29560149467*c_1001_2^14 + 44753301025/29560149467*c_1001_2^13 - 9004731187/29560149467*c_1001_2^12 - 145992898/29560149467*c_1001_2^11 - 70671811189/29560149467*c_1001_2^10 - 33983545410/29560149467*c_1001_2^9 - 265740215014/29560149467*c_1001_2^8 - 23822500175/29560149467*c_1001_2^7 - 230742887062/29560149467*c_1001_2^6 + 68033674286/29560149467*c_1001_2^5 - 264474168318/29560149467*c_1001_2^4 + 171587962987/29560149467*c_1001_2^3 + 10232254026/29560149467*c_1001_2^2 + 90755479797/29560149467*c_1001_2 - 60500119424/29560149467, c_0011_7 - 4202122423/29560149467*c_1001_2^15 - 5453166281/29560149467*c_1001_2^14 + 15508550812/29560149467*c_1001_2^13 - 4970597041/29560149467*c_1001_2^12 - 5272321824/29560149467*c_1001_2^11 - 14396771610/29560149467*c_1001_2^10 - 5248484236/29560149467*c_1001_2^9 - 81901014792/29560149467*c_1001_2^8 + 11547897356/29560149467*c_1001_2^7 - 69632782223/29560149467*c_1001_2^6 - 889973708/29560149467*c_1001_2^5 - 58048703999/29560149467*c_1001_2^4 + 81702175976/29560149467*c_1001_2^3 + 9219956550/29560149467*c_1001_2^2 + 53968829105/29560149467*c_1001_2 - 22779747184/29560149467, c_0011_9 + 14040342119/29560149467*c_1001_2^15 + 24260419766/29560149467*c_1001_2^14 - 46315156033/29560149467*c_1001_2^13 - 9536461125/29560149467*c_1001_2^12 + 29404521836/29560149467*c_1001_2^11 + 53311211905/29560149467*c_1001_2^10 + 51654103810/29560149467*c_1001_2^9 + 276422985691/29560149467*c_1001_2^8 + 65271361679/29560149467*c_1001_2^7 + 145941375016/29560149467*c_1001_2^6 + 60019611908/29560149467*c_1001_2^5 + 159449513089/29560149467*c_1001_2^4 - 114170154201/29560149467*c_1001_2^3 - 97000792852/29560149467*c_1001_2^2 - 80902045559/29560149467*c_1001_2 + 51439765444/29560149467, c_0101_0 + 10184778984/29560149467*c_1001_2^15 + 12087399004/29560149467*c_1001_2^14 - 34437155339/29560149467*c_1001_2^13 + 17246641113/29560149467*c_1001_2^12 - 14766354714/29560149467*c_1001_2^11 + 60827803833/29560149467*c_1001_2^10 + 26316356731/29560149467*c_1001_2^9 + 184787226023/29560149467*c_1001_2^8 - 34338137227/29560149467*c_1001_2^7 + 206277620075/29560149467*c_1001_2^6 - 122234638338/29560149467*c_1001_2^5 + 238864363552/29560149467*c_1001_2^4 - 126333169402/29560149467*c_1001_2^3 + 40019694000/29560149467*c_1001_2^2 - 83122042455/29560149467*c_1001_2 + 49053440398/29560149467, c_0101_11 + 2111765063/29560149467*c_1001_2^15 + 5971899777/29560149467*c_1001_2^14 - 1035231278/29560149467*c_1001_2^13 - 8173201684/29560149467*c_1001_2^12 - 3333922671/29560149467*c_1001_2^11 + 25832836776/29560149467*c_1001_2^10 + 6607409385/29560149467*c_1001_2^9 + 54137585243/29560149467*c_1001_2^8 + 61428884966/29560149467*c_1001_2^7 + 70274316119/29560149467*c_1001_2^6 + 19310798487/29560149467*c_1001_2^5 + 119827628693/29560149467*c_1001_2^4 - 10761792731/29560149467*c_1001_2^3 + 27138772255/29560149467*c_1001_2^2 - 53430480328/29560149467*c_1001_2 + 26126332762/29560149467, c_0101_12 + 4202122423/29560149467*c_1001_2^15 + 5453166281/29560149467*c_1001_2^14 - 15508550812/29560149467*c_1001_2^13 + 4970597041/29560149467*c_1001_2^12 + 5272321824/29560149467*c_1001_2^11 + 14396771610/29560149467*c_1001_2^10 + 5248484236/29560149467*c_1001_2^9 + 81901014792/29560149467*c_1001_2^8 - 11547897356/29560149467*c_1001_2^7 + 69632782223/29560149467*c_1001_2^6 + 889973708/29560149467*c_1001_2^5 + 58048703999/29560149467*c_1001_2^4 - 81702175976/29560149467*c_1001_2^3 - 9219956550/29560149467*c_1001_2^2 - 53968829105/29560149467*c_1001_2 + 22779747184/29560149467, c_0110_13 + 2111765063/29560149467*c_1001_2^15 + 5971899777/29560149467*c_1001_2^14 - 1035231278/29560149467*c_1001_2^13 - 8173201684/29560149467*c_1001_2^12 - 3333922671/29560149467*c_1001_2^11 + 25832836776/29560149467*c_1001_2^10 + 6607409385/29560149467*c_1001_2^9 + 54137585243/29560149467*c_1001_2^8 + 61428884966/29560149467*c_1001_2^7 + 70274316119/29560149467*c_1001_2^6 + 19310798487/29560149467*c_1001_2^5 + 119827628693/29560149467*c_1001_2^4 - 10761792731/29560149467*c_1001_2^3 + 27138772255/29560149467*c_1001_2^2 - 53430480328/29560149467*c_1001_2 + 26126332762/29560149467, c_0110_14 - 4399340577/29560149467*c_1001_2^15 - 4487563225/29560149467*c_1001_2^14 + 18571594754/29560149467*c_1001_2^13 - 9903908913/29560149467*c_1001_2^12 - 6618477647/29560149467*c_1001_2^11 - 9743363275/29560149467*c_1001_2^10 - 14795554305/29560149467*c_1001_2^9 - 68726895475/29560149467*c_1001_2^8 + 38741369814/29560149467*c_1001_2^7 - 66282383076/29560149467*c_1001_2^6 - 10658292946/29560149467*c_1001_2^5 - 41809897388/29560149467*c_1001_2^4 + 17536449627/29560149467*c_1001_2^3 + 8921672350/29560149467*c_1001_2^2 + 3133561156/29560149467*c_1001_2 - 1902620020/29560149467, c_1001_0 - 209145043/29560149467*c_1001_2^15 + 330060820/29560149467*c_1001_2^14 - 2087685577/29560149467*c_1001_2^13 - 6593153030/29560149467*c_1001_2^12 + 13237831584/29560149467*c_1001_2^11 - 9701259029/29560149467*c_1001_2^10 + 5038573910/29560149467*c_1001_2^9 - 6997490598/29560149467*c_1001_2^8 - 7922949651/29560149467*c_1001_2^7 - 80476385633/29560149467*c_1001_2^6 + 26042764369/29560149467*c_1001_2^5 - 73019555367/29560149467*c_1001_2^4 + 20227149779/29560149467*c_1001_2^3 - 38967361822/29560149467*c_1001_2^2 + 31190467838/29560149467*c_1001_2 - 15941553778/29560149467, c_1001_14 - 3149367424/29560149467*c_1001_2^15 - 2221831274/29560149467*c_1001_2^14 + 9804564874/29560149467*c_1001_2^13 - 16233178818/29560149467*c_1001_2^12 + 14489954548/29560149467*c_1001_2^11 - 12780091730/29560149467*c_1001_2^10 - 5235580675/29560149467*c_1001_2^9 - 71424999292/29560149467*c_1001_2^8 + 27342641715/29560149467*c_1001_2^7 - 126525965139/29560149467*c_1001_2^6 + 45939226700/29560149467*c_1001_2^5 - 98244757372/29560149467*c_1001_2^4 + 59278756481/29560149467*c_1001_2^3 - 80681855779/29560149467*c_1001_2^2 + 37902638190/29560149467*c_1001_2 - 15281425520/29560149467, c_1001_2^16 + c_1001_2^15 - 4*c_1001_2^14 + 2*c_1001_2^13 + 5*c_1001_2^11 + c_1001_2^10 + 17*c_1001_2^9 - 8*c_1001_2^8 + 15*c_1001_2^7 - 11*c_1001_2^6 + 19*c_1001_2^5 - 17*c_1001_2^4 + 3*c_1001_2^3 - 7*c_1001_2^2 + 7*c_1001_2 - 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_15, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0110_13, c_0110_14, c_1001_0, c_1001_14, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 5811510784049934880315620750693961596341454590726649093496407629458\ 14287411232919952769671425328993908004493632151761/1177848228944857\ 2893922840608694879307975813623762744357230676316461419859250820327\ 88624988659967671087383307038891*c_1001_2^35 - 6717259137741797989372731936409625956344348017349227912693325215841\ 739254363833993079328629030323869834051022079526352/129563305183934\ 3018331512466956436723877339498613901879295374394810756184517590236\ 0674874875259644381961216377427801*c_1001_2^34 - 2939377196129546007595354146129244609326259901379152002998805118011\ 0879233253289630512879807046785233526955381528474451/12956330518393\ 4301833151246695643672387733949861390187929537439481075618451759023\ 60674874875259644381961216377427801*c_1001_2^33 + 8629677677307793912939072301884367800466939258948958232111270547455\ 6903509412218826395432858680571196687684229885399335/12956330518393\ 4301833151246695643672387733949861390187929537439481075618451759023\ 60674874875259644381961216377427801*c_1001_2^32 + 1483543213079231037954541386946942630131034588762939851717720980425\ 352372837120949397579329120099089419884665167013726471/129563305183\ 9343018331512466956436723877339498613901879295374394810756184517590\ 2360674874875259644381961216377427801*c_1001_2^31 - 3815230629783830679001591392260296676928431541954472638725926349244\ 217490046257625786390180436795037758195859818665605445/129563305183\ 9343018331512466956436723877339498613901879295374394810756184517590\ 2360674874875259644381961216377427801*c_1001_2^30 + 6465465032874689033839723132406965914969605642040360485094759203482\ 970849691182030416646913911100262619597417724164801972/129563305183\ 9343018331512466956436723877339498613901879295374394810756184517590\ 2360674874875259644381961216377427801*c_1001_2^29 + 4190124047583326331750976592056354017112509873353224585972729521992\ 51802186713082547740847649566500464116574629097428648/4467700178756\ 3552356259050584704714616459982710824202734323254993474351190261732\ 2781892237077918771791766081980269*c_1001_2^28 + 7183734907517439130259667561681152411510907839031825211934765358261\ 916745766118240745972078610126732019632212027714515126/129563305183\ 9343018331512466956436723877339498613901879295374394810756184517590\ 2360674874875259644381961216377427801*c_1001_2^27 + 6318355816126754322331039578391593288762231440850649474903520482433\ 5181572554407367699388062020655467178790871474025359621/12956330518\ 3934301833151246695643672387733949861390187929537439481075618451759\ 02360674874875259644381961216377427801*c_1001_2^26 - 2597580649976315324752978772498517418361691681398016963811755464132\ 28674681442093331839735966820863737339416188666355578371/1295633051\ 8393430183315124669564367238773394986139018792953743948107561845175\ 902360674874875259644381961216377427801*c_1001_2^25 + 9449859685978460027809698397164902714647547346053446926439208122443\ 37198266057234563153625244134560532635728280887566228079/1295633051\ 8393430183315124669564367238773394986139018792953743948107561845175\ 902360674874875259644381961216377427801*c_1001_2^24 - 2260013812104559031783485396595977956011176207304803178186200103740\ 123722406507344173241585273618738658649661200201230383611/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^23 + 4349941774047652026866862393809371577964225943871903278001381303869\ 979370495484524928738096947202486852807360212882807361886/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^22 - 7481895835918922723452037963622214196063159593856235922502769910373\ 518845766524206999809648019979021957025574017629539930239/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^21 + 1110341184938726001147199513521612072374981197393628700676907327878\ 9946783051672721016164228675691079660727974030901655272016/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^20 - 1508067706467160436607622691892168150660063188360997180001080766154\ 3565383360892649899594360045477768985709263323855382470045/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^19 + 1795546947243718970234683511302476934590677201016585497017210081157\ 6777370202973044590868542181032315663035172027700177250023/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^18 - 1957429278726653467100205282516560692787139860745683924691523821135\ 7313893247176819349172031059728559273721187722331632938144/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^17 + 1902662516417465823374447886468589567038662581222183894100846613798\ 3906875361989037480326937063976390608269540273743530978691/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^16 - 1675847632213084881743292102623553210924301015786414131719687421376\ 6756142642497424274097639600547174130167500183789916910014/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^15 + 1291126434876567972275477490067897032927237465144927642191647203222\ 8400382389862369828657114130934520782613344398939527015033/12956330\ 5183934301833151246695643672387733949861390187929537439481075618451\ 75902360674874875259644381961216377427801*c_1001_2^14 - 8597808821755055002874599790728873903708254524241950880950688698735\ 466398098051049087782849275443866987851149175265142264360/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^13 + 4629390075601896533036468424916292167359041501339594583979092663590\ 424180874848953504333937759813085668744790863878468979691/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^12 - 1705863127599945829626119252406824585312840792549997388575820219355\ 340934575465104113511786081346881420367060432526906154271/129563305\ 1839343018331512466956436723877339498613901879295374394810756184517\ 5902360674874875259644381961216377427801*c_1001_2^11 - 4272232754418027926585293499559975109273043083536431222266122163673\ 4652276840677597951752227280128026004711309063815000517/12956330518\ 3934301833151246695643672387733949861390187929537439481075618451759\ 02360674874875259644381961216377427801*c_1001_2^10 + 7654016876038453529941437989015890599344896789322484398753642546314\ 23277273009919521815292100860010656908078582277928695506/1295633051\ 8393430183315124669564367238773394986139018792953743948107561845175\ 902360674874875259644381961216377427801*c_1001_2^9 - 8070811616542043253380426125609895107240381979072624787386367091263\ 42955362700981404491246278128895098549859818829876519802/1295633051\ 8393430183315124669564367238773394986139018792953743948107561845175\ 902360674874875259644381961216377427801*c_1001_2^8 + 1337798947562491307640510972431751694895255622020832917749007243681\ 6702282235633333228088389835946377759890340980732341311/31600806142\ 4230004471100601696691883872521828930219970559847413368477118175022\ 008796948167689259619072224789693361*c_1001_2^7 - 2480234544494994283950131437386742247288435189759515196016530730296\ 0598505032912911406637350704239695980911864415626751472/11778482289\ 4485728939228406086948793079758136237627443572306763164614198592508\ 2032788624988659967671087383307038891*c_1001_2^6 + 2255057587721421458653470616627763029574934598799595673682571918488\ 74232160651807901112929303306034041329264269179872919/2872800558402\ 0909497372781972426534897501984448201815505440673942588828925002000\ 799722560699023601733838617244851*c_1001_2^5 - 2835048062398038589688259579099497435946956030889695158347939052836\ 6388164781918529619475114580215464993905102356006055608/12956330518\ 3934301833151246695643672387733949861390187929537439481075618451759\ 02360674874875259644381961216377427801*c_1001_2^4 + 2087751689558814428211184022069950438012136984071198851901504736102\ 94352505187839762989213889425146551566935426316396319/4467700178756\ 3552356259050584704714616459982710824202734323254993474351190261732\ 2781892237077918771791766081980269*c_1001_2^3 - 1093023653317697292288947581776968597517101600750769186501668034501\ 567541686032450674870439971655560928458934797931499119/129563305183\ 9343018331512466956436723877339498613901879295374394810756184517590\ 2360674874875259644381961216377427801*c_1001_2^2 + 1422923801087255491652079821153797949870208968421152572142157510789\ 6318007348760515218656665520507848932308679129536410/11778482289448\ 5728939228406086948793079758136237627443572306763164614198592508203\ 2788624988659967671087383307038891*c_1001_2 - 1231394598586352368142350900590310385570162617419029889075179951688\ 8584922906453200067340963004549225067270601295399225/12956330518393\ 4301833151246695643672387733949861390187929537439481075618451759023\ 60674874875259644381961216377427801, c_0011_0 - 1, c_0011_10 - 91661010570413141156897232239901878196135636533342001579952\ 528119075103079018281982448000510/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^35 - 1117333139068384455985928606215330276918149624198319397935\ 568062518798705477121785551062743119/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^34 - 2330534352199068098284125105042521637625928285976975681\ 88765729163102504074256601191900597084/4353439272866189282956132548\ 205210752957117004334532650353611146998682939818491900962766578759*\ c_1001_2^33 + 38823484250333405847673456062843777947055508772798719\ 48037868194124075222152117670737986881170/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^32 - 29006001442323993702087192851045962485249886065803\ 342451721238773322588158159484717230305938723/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^31 - 2419553231279564343921267456749338387949494440\ 57472351467272471833474265490902982394972084816145/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^30 + 16245503624695990834388896456649988688056\ 6508361010089193045109025222720106059506071574555885969/43534392728\ 6618928295613254820521075295711700433453265035361114699868293981849\ 1900962766578759*c_1001_2^29 - 293589835671657439702318804330921523\ 48821674238348618538365249451992401985531290290162573017481/1501185\ 9561607549251572870855880037079162472428739767759840038437926492895\ 9258341412509192371*c_1001_2^28 - 356265385629573570519068696216950\ 3820724401404933504192761188614576803789789568310710140461658047/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^27 - 7579805879236886542049546538906427627708938330028581317447782362929\ 186019127630732760368230952456/435343927286618928295613254820521075\ 2957117004334532650353611146998682939818491900962766578759*c_1001_2\ ^26 - 1707224131203854254266792178490797632860554328531141945580075\ 6482687256300983778563435741600582833/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^25 + 627653346471745758566545317155921117509529551150617873\ 9679884722465265698627557880895031574459474/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^24 - 105600710718415900695302576413504557330243697227\ 048644432475880573969016824193025539043618785982312/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^23 + 1387654926728967098089113487619645796129\ 75867960778119518655016810911406139043812857174891180991327/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^22 - 3428554594957967766682350202937195985110124471750519211710082743790\ 60068002309213251800993722558022/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^21 + 47569609439034414670541985850412306731562941614125298860288\ 6659721945376750675894322769649234971833/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^20 - 739028566912730607938331523073120517541830610371727\ 257599853067466574568790974722270717012155687938/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^19 + 9012905590367420141636201325032834086040355\ 62809315648508461112760803727517519661070529371714709674/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^18 - 10432686601806906158757705262423199\ 14538367577966913150396278318430712518027707941867305094240650201/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^17 + 1074917728890505783898166368952131820059024879710966252890504754318\ 945942586702656726551331465315739/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^16 - 9930967030661663368235556495589058403722167340138131911777\ 71632026591695025916783321796234845317024/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^15 + 83077576832565502111151685677608747634847850135048\ 9140244122766414493472437755955102223133513512075/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^14 - 591461001944384469950637168878130989736196\ 078071467194276787769266797819041329403179444995192234847/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^13 + 3713479148422680952202175212486753\ 47213024362394751558397710709286584853074553298333597679779392189/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^12 - 1756020506868372722102270478639078810483609230382697162070718866118\ 15496326932148453942432731130592/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^11 + 49793126090361239483372036963270668254158189997465299126026\ 821894677125757051021882152552427260498/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^10 + 2099836041681921380282405240824826227901847104220194\ 0281114711840577927056679510066860614802746452/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^9 - 4120429564465989104516771515497861396194013755\ 6918239485217539009951420237399832136336531301941567/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^8 + 3577809657354462833514198072420644362798\ 4862759360149382791010990961243224590863479663798666149921/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^7 - 2229502107832379372763593860189137\ 3997581755980745350229905581939948279461029971213403657336221666/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^6 + 1076021339522377831453728652035891881093683137898132385543265184172\ 5266420856949186323885388648465/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^5 - 4169611066872258768880274225549057782900708802507649357829567\ 072753260427206259144776605203503015/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^4 + 41331493841975736999603788593659957515644197818404510981\ 331152566001388298009980138085525230519/150118595616075492515728708\ 558800370791624724287397677598400384379264928959258341412509192371*\ c_1001_2^3 - 249184487465286162539635031355755408741656170455523820\ 294745339216226537974044042684609645499691/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^2 + 33866143766780955205983667208424811668970078971587\ 256962689126405221184699866189048705647408322/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2 + 3174411478312561482907521902384163085598151998601\ 745857741655435878901881732569136931071167462/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759, c_0011_11 - 17735162983355286053565658184305005160877013702117183776554\ 705415426703803349213937790986087970/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^35 - 6161533772892236323482767372410369925283088278121480560\ 902118095843743541215423355881190491634/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^34 + 6960603001754294821654813739611810600523340031154533\ 0593393997464646214750508332236838438314526/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^33 - 134444714742670256271741549594090267420606894678\ 079670785092566368612431170164558133943670690176/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^32 - 4288122999408655034477725956470450604744864\ 126584126052480090821166320502668358672326857092341719/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^31 + 4525681596584259887010264758788051159\ 995057264733685526794059149394747012416725434445737572856402/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^30 - 1234570740598794571934060179141297837131352734149096804243923871117\ 8516527952842130082223162912165/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^29 - 165466426443572823306920689640774697626424910478492864961398\ 2373963220757906327871744551805270975/15011859561607549251572870855\ 8800370791624724287397677598400384379264928959258341412509192371*c_\ 1001_2^28 - 9172217997515774171961645254863463430245036564730370709\ 3323335920480776125072097917622651199175290/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^27 - 307105751624920207149919407230622043134310267030\ 047052810701005264753558668389079794200640638908133/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^26 + 2985301759376058256212728874480313864750\ 81624015690828092335282710784155138524262000509976576606194/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^25 - 2219735396348382282316550357128323044707031445529259209702280797373\ 935782570284879390078610926355546/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^24 + 3363230900026531153813102491878811524540196087826016816516\ 956535863772729785266656906791148807883775/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^23 - 7953220116547657230318640969151409243413318285642\ 750828515056310262797274661940049405734899077052365/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^22 + 1132492078542396660504983425772900429952\ 1173054073561286148813740609414539936737503817708935646746538/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^21 - 1811628704108623268821410365913863800620919341034232354876640058681\ 6397032122376270810893143307194304/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^20 + 222590906976748625834875733425170720395780230008577847598\ 46989717709955133588045249563265078056539127/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^19 - 27241665368413390694590128162917170324757648463\ 071283505661602189347637781263838056483243177791858868/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^18 + 2823532210283775824323749363909803045\ 3305298828269191654161720403665258928136030422263134403110687804/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^17 - 2781801595486173849077552832805145793403185271704678557988579695075\ 5883627740196912151554120199926301/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^16 + 238029610662055086398556046386755043503894035158821207838\ 07825565936451381601853413622855801664095401/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^15 - 18557764868676510754749399856327323177376710444\ 422932405300273746563275295079784380924318272767063567/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^14 + 1235958586648533794653922105697987639\ 1089363733355904330834686953645322210784890803737505441450688133/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^13 - 6970046920648938270351671736871850941252854042431567624921144743055\ 115099943494402995496370107727199/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^12 + 2835697786491974628945378320260107740262987145427199636890\ 827118187950284983082135331351685198222147/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^11 - 3352239227648789068762928984737851494469356178204\ 84608018774472176649922410407149717700249286990296/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^10 - 78663871702298359105598012174682198928730\ 6924854977704740496093559475598430523017927402893966253947/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^9 + 9773226275581998704345983890695612\ 12578359290864530241773364700912254365347415692829993672522856875/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^8 - 7373415863510492866827248087370812354212543002087036520620425977028\ 15701576094404783854191096469654/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^7 + 424435374965303001420235337994010531165513714218475371143537\ 595005142475025977342225304373105048299/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^6 - 19493047626799237900338446881391547916212191796712543\ 1349658305271127710818976818581716409967489103/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^5 + 7198091966867794501864283077965327205477520559\ 4639749061661432292641020962205492549396035729950878/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^4 - 7179113659621281313703710455211128606297\ 98615233397771344018066838314049059148383880802645139186/1501185956\ 1607549251572870855880037079162472428739767759840038437926492895925\ 8341412509192371*c_1001_2^3 + 4464874160254817101746242740072839811\ 453126645246383673740884213208104085387409041368189558481685/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^2 - 6621885313032583310708640640353244708968332486390642979761949936294\ 40025230620334355662271153647/4353439272866189282956132548205210752\ 957117004334532650353611146998682939818491900962766578759*c_1001_2 + 4896644476273211190507793924143683484575397229898601344176584040930\ 3402600270152784246209476476/43534392728661892829561325482052107529\ 57117004334532650353611146998682939818491900962766578759, c_0011_13 - 25827623430372730254910476906466846688566492303152457167666\ 51545101830743007116427428321526832/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^35 - 78839412779131172999502475252741781047845383451260781202\ 1617195555672747864382754076848089907/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^34 + 950860385687091444272645833218666859922650227603708897\ 2173478704632380105513726127308232680298/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^33 - 201331646805055922394739190123513828510012975482181\ 15547336288190684064565789375004891226113083/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^32 - 62066298109097027605722857880729179353420098958\ 1471593040376486018455824506147289049436157330703/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^31 + 680257133028597209593320959937339903181175\ 212674565246478364689854754748139427619113449920008127/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^30 - 1987147154422698066802503079442087369\ 051322477703655350196032300662049681039380074423152720229925/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^29 - 2315602380955381609001236585693878644157810337147561265785563567640\ 26610690843077812493618083999/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 - 134699007608418759903244022107406159930686908353572687680034369\ 54284919989802427273613312853127220/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 - 45928415640669443831309995237041421276918031585135819557\ 077833684375596276469159712241324571832736/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^26 + 4239100682494711573394571071482183465172253583849\ 4959652228628678289613213362732284024540371221572/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^25 - 335049912159275969656342042529851147536399\ 908916498591601086774879289401182235305967295889856842002/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^24 + 5187306391117083038283554410903294\ 05388780060770359158716776667710476799730659896021748160484835920/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^23 - 1257094741430795014616895246859905441783066662278320242623839628181\ 903973597729973837427156401221313/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^22 + 1835056601793587120824626798341738468079547209863752939821\ 779850389526913474877149175464135764812876/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^21 - 2987275587532615947523838959922213547738317997824\ 156624361867639494350390502837379007644795040665287/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^20 + 3783446346192618142963998140403798713764\ 018160389241126968522650370043589972076099177352615456364583/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^19 - 4733386353605324505774000725792404846737766805790304623426242330581\ 407226739619813353891405471373567/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^18 + 5082351757489868867957645714806217361328799031337521915061\ 928709249745559075118726149580507220597789/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^17 - 5142915555347581209495642937029374061802872627030\ 162705432752031240485481624467731775665962784819617/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^16 + 4600620220321157730434021880153910953359\ 967739616049404500438837321610526809140330249289298205595973/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^15 - 3745418055541888397625434776459995827865411321045523642654731871551\ 450042562345186761784782765182699/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^14 + 2672322414538655614807413385317702378714635108160985947835\ 026952701260220614745356522839738949124960/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^13 - 1643614884037120121612307841033319730105128151555\ 856432234874345181340271153868285794115118945691288/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^12 + 8062831314610325981032578388452101285345\ 02915475803315281376105104178311679825225979077299689090420/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^11 - 2401720318196258671497004956335687176189391757562262285374057956253\ 83443830816410329924242969752158/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^10 - 59044544950811214686392321375074721357294280564450135451506\ 532230312858699454566347119039535858161/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^9 + 16115186496227233530733481607116215313848933274223923\ 3830625218504044625939991917614683722877386078/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^8 - 1501162299880346893145188598689449118003261135\ 38161609484841555077997840689760571329734654079400155/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^7 + 998659555419697388925634322958226369153\ 21678638958872601152189615088760525810999024865245965256267/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^6 - 524916495783243177459477167039001\ 65622998716419478457189887688602440194853994391272266020679578759/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^5 + 2225360693125644966596554812898628702175554717562388029049973719850\ 7833461091643482898173518064329/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^4 - 2613595500973060783058692496324665371954885778401936100266672\ 55601399180174448040292985550627093/1501185956160754925157287085588\ 00370791624724287397677598400384379264928959258341412509192371*c_10\ 01_2^3 + 1969207793136999553780096342221999091814353551763810917396\ 775444102557359128134616185779793177500/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^2 - 36167952321427187271798178049059088175184520753773252\ 5360565094224810202367665678419473967373140/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2 + 366034273818596721228336660992780170409943186991333\ 29829396142013346559989748272759914336203855/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759, c_0011_14 - 12786861131417696569525363154551633242272573158275705664366\ 793395447173234192692760123937623009/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^35 - 2110095867694329443728159834614995451896752091795469722\ 385917502894194833243290277974808877046/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^34 + 4930254087838008686843488600961787653642371497866227\ 1990402351867537138775159254407820293071698/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^33 - 108238454757202110434754909694538774138586280702\ 108981148775892514056729061679910507757586418569/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^32 - 3068233164752290227156628906201346065090698\ 121549055615805080847003783787209217296268876733760478/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^31 + 3820511636955648487337191685819605727\ 058558361078465631120210212419878132003283559066309029872522/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^30 - 9915562949159563715341589817735331464852910757277595271891496953007\ 369737195104845096514255025859/435343927286618928295613254820521075\ 2957117004334532650353611146998682939818491900962766578759*c_1001_2\ ^29 - 1135280155578942990191853403511648294065320477768169334681341\ 267495360642388218660497494450838317/150118595616075492515728708558\ 800370791624724287397677598400384379264928959258341412509192371*c_1\ 001_2^28 - 60676827163509372198102408304915720116514377535692384694\ 122264140999801100476562593214719178253553/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^27 - 2148359182157090913602134168733141946918953793193\ 14067897653786402596276347301155796742600305435618/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^26 + 24241813687059450325558327377214359183797\ 7724189500566498836077648463066514556842309171493563775007/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^25 - 167771687747792388370658872003981\ 0605715832374955030022687263082126219938171935149879720952956518366\ /435343927286618928295613254820521075295711700433453265035361114699\ 8682939818491900962766578759*c_1001_2^24 + 2717958959089221492275691297676268111542469744581409161361786249370\ 526603493852646848159021527414828/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^23 - 6364011073418755264748149705474327059617323838453416593611\ 686484638081075093707955947495878953315941/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^22 + 9352357227358643055060288440242414999771527487324\ 736351023810905421921114942059052394261662647148453/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^21 - 1505258802924417378865709405819277238194\ 6532851645807488213760206624163910728929133159677814813677782/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^20 + 1892145167766847977307590936764164552606848499257737792920573825393\ 3795645885851649455191377888659814/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^19 - 234723017604747117909722235496272121832957456103581452104\ 74647525506621368396587778181148558819427998/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^18 + 24801223154862636812045968800400031598246388166\ 243279501602996488909015192436379992691242084654306612/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^17 - 2484430180433077618595908985707764525\ 2980782304234952570458678229825339217286258984718682931221463150/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^16 + 2174104217988914431544329488543450380440978249105958732291075934706\ 4449132725823024804601671522586961/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^15 - 173624438440931316248623857959665897717729127050413127987\ 66820168573309850030029025000565995956736335/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^14 + 11941947979404231416475387820811246666119011746\ 248921393138731806535310587202603841593698541276089746/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^13 - 7033665768323435124389576293540645210\ 833026081002085870972346290226640022140011299258062927624768408/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^12 + 3136545547651306374110292601586295243992053740744895589188023156154\ 897554420931233853693422246830232/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^11 - 6569126953554296995274533131286941149410111555515617347289\ 21405862895994967856120435477394178413581/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^10 - 55494516646807149032082180506509064293777023632665\ 1808138475730021354931702705365360403332486960296/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^9 + 8620746778294898399228231535570424309414956\ 19987696671454075641710768322918126051515915549094182442/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^8 - 703977024523708310320563705164440708\ 680157681854719326793171628318382435633133118826928093806794331/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^7 + 4284403932408621499276666190580881166475330275353957542179652175078\ 89467638009638263922306287153016/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^6 - 206897357709839436187060018224960607791978562555626699489862\ 228815920269038888317854562291868846564/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^5 + 80296847355708217424195324450241536371611746275745029\ 175083071006489779790353336912794102651270771/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^4 - 84753749091200364899288229346259817311817104070\ 3819494069983467447093307914580009017554421740230/15011859561607549\ 2515728708558800370791624724287397677598400384379264928959258341412\ 509192371*c_1001_2^3 + 55941207379141114263515867161109768341676729\ 98019573494821102109677579569265726311424177633159671/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^2 - 888492311314476603742852315922155712997\ 257366876689518191846290564356570903858214754236247257470/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2 + 6868797005240555380872280926267576165\ 8655900290542782191777979291454655701230082003370846326676/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759, c_0011_15 + 12346727432290097810646713744567036328243694606320426840387\ 9514120110857934617851823097964232/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^35 - 537547518392675138338525345966898997438260552027711305174\ 196633546870776256750872560507316525/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^34 - 8837936966038531617677900152986989844438677443301757386\ 23078546635376006384819977293560265166/4353439272866189282956132548\ 205210752957117004334532650353611146998682939818491900962766578759*\ c_1001_2^33 + 28052586261345874853974292599513665917772731461516645\ 86171865233269143718207523124203379709133/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^32 + 25710089507036981373402657021654648317293763779643\ 214707738903847119228048788273261966703291800/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^31 - 1723842525042585107044169040873645830467461679\ 54621971403374455350157240503718493364804857041526/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^30 + 18519047051818784030663675327554011875403\ 0664994201462856598142003885110308980601190530517285150/43534392728\ 6618928295613254820521075295711700433453265035361114699868293981849\ 1900962766578759*c_1001_2^29 - 358114940940916052041304988556936919\ 6059593135082261912968195527637246115259085921830741646054/15011859\ 5616075492515728708558800370791624724287397677598400384379264928959\ 258341412509192371*c_1001_2^28 - 1080867512353824460187008283747532\ 665224906382284001922484415996235797257657698616612825860579729/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^27 - 1590063747203177978131296289964560674648650315574632672907049030051\ 134058196172010710236340004269/435343927286618928295613254820521075\ 2957117004334532650353611146998682939818491900962766578759*c_1001_2\ ^26 - 1429384668393114332686564981362682306028332794596236322451019\ 3677013822128532895639529376971905870/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^25 + 188274308576140871326648147301399526562402876855193080\ 95880279114392170463443495951606200616040790/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^24 - 10133856823455007612144367743180729566330369999\ 8468643131843738003547063531465870623553172233473956/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^23 + 138319935453225860098321437500324769728\ 312962872943499575828343826325422105230416761042824976245537/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^22 - 3413354949137718618936636560315714306885084558750678224845272566733\ 81995565547489608160564821421189/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^21 + 42704633593529395097393941246474788994097145860236715636672\ 9169962079987364537251389770131431138592/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^20 - 725175730170340772405674180553496390565698342535684\ 211030430455406056565858376674125479405123202282/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^19 + 7965481173752480591968587941150376298486426\ 82244023191321132616840779352276656093956022319796536660/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^18 - 10229944619080699374828876645354931\ 50163131838819852353532380361805218249699028293441189756975922788/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^17 + 9666950303854612870988893305118982764181013550392800576016409361266\ 02097796782284858239554703347285/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^16 - 98047803232721397064000904341870463893838689145204379253580\ 9055801715658771353548534547284322131862/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^15 + 773590776739148470170937571688992594795926734033523\ 846140273560395389557814082316723908247486936632/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^14 - 6084183902173845267692319531296228491639320\ 96434012952049799797312432850945776994097156631516720508/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^13 + 37031123374648790492170118094747337\ 2927416222296901872017136100307465775356804837919892096325014718/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^12 - 2020385514805468903626981717958191731114541721388268539464642468224\ 05591884330215336560583660608828/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^11 + 65489329901930174914680486787474260550853675531445070373812\ 883415585670586686723402121549454116190/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^10 + 5257902539506583148312977080163119590888547525256291\ 099332055366589347859386526560455031984968932/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^9 - 34083331216313772032889865507602781914132807002\ 759843860621347645852338524371967907378317637159261/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^8 + 34207879941597101508295083758196320185682\ 267605533484596359845364787012471683237282487224556987562/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^7 - 23001683971625801145208701856039368\ 335699309769477116496438945447314266744689945943699574006490321/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^6 + 1222684447646857049800517698668549356360182238540483533510558790339\ 6281823281966637208771940095645/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^5 - 5048659552827189887669017492726118380240414226220926554480565\ 504019232072351372614298745646832480/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^4 + 57933784167029676018651065624154993977067378299733775614\ 719930808458849291692628370986500382639/150118595616075492515728708\ 558800370791624724287397677598400384379264928959258341412509192371*\ c_1001_2^3 - 419918980531858579812397461986580303122458789574104247\ 358423812839158045263293068241381314311448/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^2 + 68001648502597369826442111099053089793989901063030\ 582733017232444196163817422783709937512694971/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2 - 1188559845568210345921736301552719991215271202473\ 0031730563994462085848283990559180299944862775/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759, c_0011_3 - 480496006056660578782075831261413023980062230356137180098969\ 287370113161179999380469948094189/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^35 - 2040041915415900471535510169633121428071207394408867286442\ 751731144992210517193669043836468861/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^34 - 1793691176431365058051144652020823698412250607600591862\ 142482999154616981103407119928023904970/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^33 + 2086531618813665050590642566141641768910007500888895\ 870638688001398603281048040655715607267582/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^32 - 1178487906003040275059151468920953812852346712557\ 88144809224743827746098676751658258038419948223/4353439272866189282\ 9561325482052107529571170043345326503536111469986829398184919009627\ 66578759*c_1001_2^31 - 34991751270643151225631576595901442549536457\ 0669721306277829737232552505358636123181655697434995/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^30 - 595929192649959198304385025308057509194\ 739062185641362465407806046321329302270155944098774563161/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^29 - 6778528353084783236558815617640425\ 4460284392793327763887163378229729017881608267732017841253641/15011\ 8595616075492515728708558800370791624724287397677598400384379264928\ 959258341412509192371*c_1001_2^28 - 9308130163420610858235783928310886868546713372570740515411053667149\ 879194759428843645144461893154/435343927286618928295613254820521075\ 2957117004334532650353611146998682939818491900962766578759*c_1001_2\ ^27 - 2661984646767838332587669658051058252449865297319262955985118\ 7619977311946205149345762812829534929/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^26 - 411183171072122919189534849252749225803366346633179833\ 54737769236537196321239852361865389217532505/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^25 - 81281466242169110976656891003189818885574203317\ 374949519027025043380057357301881234335277259894147/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^24 - 9558341464965559146070972791339547283830\ 3108185735247547834076117275762821095489701895623634817078/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^23 - 210599799065336546684154057276582\ 467604981270742030772195512519886622552602565522103045287738581366/\ 4353439272866189282956132548205210752957117004334532650353611146998\ 682939818491900962766578759*c_1001_2^22 - 2998223146982546707840949986503798452920383366780942755656910550519\ 2423092476172309725179751722166/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^21 - 450752982331570050311126356421182188424950392927466063114478\ 711177551070727896054492783722077271840/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^20 + 3000929553429048432629015035847422536428303639824518\ 61341932269973701248838976412118247582827266084/4353439272866189282\ 9561325482052107529571170043345326503536111469986829398184919009627\ 66578759*c_1001_2^19 - 86416430591994350019291460070173819843278178\ 1944156498033643779458332479193867714010401893859009730/43534392728\ 6618928295613254820521075295711700433453265035361114699868293981849\ 1900962766578759*c_1001_2^18 + 865393582012505079621490064662872836\ 334991083649511821290340407982784706392642931254213599303689973/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^17 - 1250171314719595318962181216039567783803255603835805370495504317988\ 074728391957936385639211908267056/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^16 + 1222358179350974447235724925690584496367062667600092053529\ 396787498775489906669688215887463855835588/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^15 - 1280956763743446153394323528757838301698957096927\ 690140348012932363744647187954554213406594290341312/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^14 + 1075857068551538106235740434574359109986\ 573297079390776623238940702894859849165000422063570104720333/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^13 - 8418713796676923711492440636094244011517565211486882435925309382026\ 82656023779879163241272740540844/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^12 + 54372082644646183105409241649389690783684621703617148531783\ 3810561989989951907887106906652581311268/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^11 - 292023418114821506391378745499172660500928873430318\ 625797665772609814654901524177716310984343824991/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^10 + 1016578151920163957230730647639958871329940\ 60015994340034839564898572641814283790304680516843842857/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^9 + 978565830259568349393338216449527949\ 2108090500211497305576859697767422841861405208608175275957676/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^8 - 5232320062699627490385916708733679421134372660417132344889960215141\ 9644322118827823311940764786721/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^7 + 5138021565059993533741757902691999304387298066166600961709377\ 8595383977886336563756622054351215123/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^6 - 3365534070640521870302033780232032945499427909622001693\ 8968802257845240624534813430356809204868317/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^5 + 1680428475801250713501929905023041024628939403385\ 7595455419837805167614701208193063839672642130676/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^4 - 2230601333115739396964759583314605697077909\ 35651506716446435512619871909859346009819628219012727/1501185956160\ 7549251572870855880037079162472428739767759840038437926492895925834\ 1412509192371*c_1001_2^3 + 1873559800624757885283386063994898448508\ 788052120385027362155905222606522033345448830147754169889/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^2 - 36689632652778317344853135663224023\ 8130420703927577906797427431518438009820108073344066787851308/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2 + 404976735227545121777065577049223\ 69040683727706895691193574107312891878083587231585751703919804/4353\ 4392728661892829561325482052107529571170043345326503536111469986829\ 39818491900962766578759, c_0011_7 + 221655703126478026829012550659663278589007249726121882805190\ 2636568308759375427098333774336870/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^35 + 597505938705922840320043795899958400318763856055486782416\ 775848936374123716469759049695979050/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^34 - 8469088608924013916306823864444801099231257054041352398\ 815977585989352953009911433572666365608/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^33 + 1791343265195517867328770959547966898120197022242914\ 7458328530320261912973065495347715960580633/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^32 + 533586884995789371008377730250139764340023866281\ 592358885846718306380906483234754494488865155665/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^31 - 6066305161556685311433468548337621255423970\ 16000593953455209140891270838789659127456153753785199/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^30 + 16596143544489152448726558661831051660\ 59184661173024465046526812617608343027048718531750640290110/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^29 + 2028936155407088464793860636533853004606890354690634794359628661982\ 17997483555826462539424447697/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 + 111095036136027431774532589868380825842373084398069601659982618\ 61125974873891850707260832034968711/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 + 38467631219997218147927139808016790901903213724875741946\ 995385021962536175051608716271133549245252/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^26 - 3788968083399507752980791862654738369755695786270\ 2017477423258688956074979172042177577376580789731/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^25 + 286942090163734599131222979281949020173798\ 714597783064760838469899198479924194847486811978213400617/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^24 - 4416788267258079580868945179624419\ 39675573072130896781595331974194807031512523944706176398432968170/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^23 + 1056032651377378282067276701347523291338759442440760135806557494939\ 328450072729065505141726814884041/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^22 - 1509508161283565341764509613847518680562694745442483970534\ 473097319761340944335725579101025824069569/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^21 + 2440999204197138769984677397922063576680122442696\ 988554381391415013639645424604591509392590943966280/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^20 - 3011410309386321125425640586110149282166\ 687677646203154389528618588070693695990151111422907544722736/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^19 + 3719761323952664754866345696620718932196473049472670120539593587378\ 920969255582598053344427138316637/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^18 - 3867309500794282990273190294794610974368735311600104454078\ 021550886911079833870646855146480834138451/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^17 + 3833641258447757183969444709102838260642175505839\ 733479123757823295485619438229396226823570006502550/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^16 - 3292864989510011174823339947626291107501\ 475762430056595649104592061286889095777144471748782231318296/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^15 + 2578232241586097343199028865555275189150576225080347874018524527449\ 367235383520047424168732798460322/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^14 - 1718804431384196177146185463644827287763994881805589421908\ 330048325196124666272978969912188205207434/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^13 + 9662789430866988808096746545539189646496089908671\ 23375947568770998922094628922447059892489628799400/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^12 - 38802663355566556137739684770722265549427\ 6927748440516644214064838208042755673366472406294618360454/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^11 + 375671207929029591332441781081151\ 88685645312741093303843338503323681558020198452216087525971042276/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^10 + 1187589631207863142889791140785730629656287123543941171420122095153\ 79107182744591698141986971869555/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^9 - 143162211283276485718823377751139789368683122637322228543045\ 180201133768619802512612617251639736188/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^8 + 10608544683372766880302398662883218018960442865675958\ 6873424089407136551370451512330410123157543862/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^7 - 5945798307428988563282433132317055859521479401\ 5545552512975520063205905376242624303539505815613862/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^6 + 2620961182217297633912686660899989072391\ 9388794883358071268186495537636327931228623310780048840366/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^5 - 8968641299101995542241154744195406\ 198780799146650067685380871845781965019398154407991922991756294/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^4 + 7800282710992673213851092439832911559208210445756558731905166434585\ 9301287462699913512752346062/15011859561607549251572870855880037079\ 1624724287397677598400384379264928959258341412509192371*c_1001_2^3 - 3409748636703040241289592979018820618162656644087863256992617920458\ 31903686371203261428797604454/4353439272866189282956132548205210752\ 957117004334532650353611146998682939818491900962766578759*c_1001_2^\ 2 + 168133218997130620451726985927826450860070033341040347865375230\ 47418841865911333048044783986757/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2 + 65828562671424060314326536791920595404143878051876145634306625\ 48692058480280879268075424924129/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759, c_0011_9 + 188144129029402414732495370968893644627998541589239039817790\ 6315204607031514976792589633269405/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^35 + 113134985603316431321026703371492524377395556231849910024\ 1177557087988270160733551707750556930/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^34 - 626383660079464250929822460663647596585074742927160689\ 8946689407464851893739842695027198636654/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^33 + 118538593690988862493764843745369796078005594343250\ 95807753083641786351792412300969133332902395/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^32 + 45324281053930698769777057619086648261104421025\ 1518017636352078242387526759180710111973883967765/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^31 - 354975797396794249256034708220694764161839\ 162925355394762883765250458421880285876395390081123153/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^30 + 1416760945852023505999868988913528501\ 173610515728832497332633919289037394932604552263355625951588/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^29 + 1711543410298287801096959440566753637352332109824240347661986619291\ 83259687259437559180164672896/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 + 116040787553222393953832007289913809351933931523284162349574750\ 60201314759362478806588186243331168/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 + 37207736356261401588145738186924642130030203979306191529\ 835713472316551315447362468332656803034688/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^26 - 2149469517962971384628667155359910167100299365051\ 3287563496364957807957348572694802031517548318087/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^25 + 235796040469364253374553181262495002969098\ 248882428465010455936422546129637986967330208102488223756/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^24 - 3359633122893150013092787509058364\ 89386026616610890169568505140211560339816042636977111736319461195/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^23 + 8631970965342559732854367271777753256638998901029971304643390035217\ 21870546826699108078484292362672/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^22 - 12639682872312633435653931013639085511990531891924676856424\ 16271239995055953756250054734502692451838/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^21 + 20675012276613952922080330564069638448182534490816\ 41209760313697110194996123485632270380010192276692/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^20 - 27021209953362643929970055711746573342907\ 42007598449541660571318412200532212640913709301874743646259/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^19 + 3381167785772986215430242035283884408527727886206883322440509705425\ 538986087704673523350917153051294/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^18 - 3789535199955794013571089101071364852895660061911968478807\ 078363859382432162038246757168777955994561/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^17 + 3849165792130358742099778222510187498194753974007\ 876588169341618759364428389903362602822615060611630/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^16 - 3606353340751004403976559688370105417481\ 220654773275277113173600484197861734152427720173468757418128/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^15 + 2992016542132462870327302847658401907109344517696100994965702896446\ 177174085656613875574818292990400/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^14 - 2263509009941806880804561092039275186961424489446745056817\ 493469650636704031817472143279985362117895/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^13 + 1455311584931615942775489659696376075252549758436\ 399127459784674906336882366772013541601426224975232/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^12 - 7932304519537309455778825313687961946621\ 04215274255531005582285018629342463333776970559065958634400/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^11 + 2989216025142348567428991918557745083366092501927750344648611116802\ 55883942109878610790290296839237/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^10 - 17452905840144015626167181457698600248635460596833017332606\ 597800645199966207322217621572539502403/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^9 - 10473674017517058162665341706012132185889162722207092\ 6978289334868964753403121964347446309393745195/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^8 + 1204035774855669800858899109401054573858963638\ 04274360444910695932770860229110141965177742889415475/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^7 - 888763828624629654546933803212144258050\ 11655039476100837558412202101126885282604105558545874965109/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^6 + 505879355619276554509979101371696\ 30794782852906109018362993110844902278911394032851910722439360965/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^5 - 2295305608092425865797748429393851537767469883419472378581792598713\ 8291928262925550067465293910718/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^4 + 2871994777818341099401723894847973316355585519184430638683477\ 38363136115554278592950246966151966/1501185956160754925157287085588\ 00370791624724287397677598400384379264928959258341412509192371*c_10\ 01_2^3 - 2319699084021385649099428112256848758229574368279100845233\ 044826404558254219835188111591585374294/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^2 + 44525480256196557092894033272312862586492346674817669\ 8322398818760191149876410916666913265384899/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2 - 521905962027266801973039436528757430508116459229416\ 22146732281976791169443518155857699078822640/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759, c_0101_0 + 931478682394213484632861943336267359080045582355429039689624\ 1394132570599247209002879898778238/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^35 + 500104064746559805080468592076083535428259372286655186078\ 4548598648786571821550421094648990424/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^34 - 340867874460836157388263554337479555322584343540982989\ 31763071143039198006562484132871084966543/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^33 + 64186734548828909591916360675808713755544003606431\ 151311175289792744004919345255399012306495481/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^32 + 2257206460382328513838204467932755373184947679\ 388006507325775561877542244284866100737209718686364/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^31 - 1936627352256766926278501029145690082393\ 735233877355754053674452369995542915093087093490945244864/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^30 + 6485646008588120825118613837685994\ 759708480235344248352125577091481739119976947824743193303618067/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^29 + 8936987421228311753161999382239101497912746272437798640372289177685\ 89151040068434029120597543073/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 + 540285684183009140751766000632934488944967083430417018859076297\ 46975746335022008791704659491754887/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 + 17544134409697307396515805218284049771346431189117776723\ 3033865554194067381978809876222098268962731/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^26 - 117566606699842760162377828179126666840775216465\ 842780696898831426580768079372736827242458440563608/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^25 + 1164398408021521465972017013822790055165\ 528680496541764224250215268748840659267459288513191174625243/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^24 - 1586539408631888349482956230499382482883715042168603648693365134039\ 949434888821477931723824988790191/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^23 + 4056062394455562410614298646763319380993039431608535773122\ 129874224826296019655715236064496734095669/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^22 - 5521778168368233195005829332903514816993624794642\ 841592775353565267143588614677237723170651300456272/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^21 + 9132941949688155089437769046254763055497\ 239954497843101767064595639514685848495495589681016909888252/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^20 - 1102665428091256659061327378791187294061508989406558637683907757394\ 9180750786238531542404832235182482/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^19 + 137465078948476639379668125126781948763513498247944792724\ 13689168896659095227594228201740940898297336/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^18 - 14216869819191170404678700481159947077698476951\ 928624924031202991542988689004039154580490916095359044/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^17 + 1418026367785620224921641759500328770\ 1075751399493139499634784815080184637673932489665490457706810382/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^16 - 1221719342193147261144992119896389063214024573628856272362465735651\ 1769934436801589416924561022291227/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^15 + 967190106163117854778101528622193176087188990054374269550\ 2740482220578177357267276044520281773649002/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^14 - 656943742016641133360734576411320534770107421478\ 4597336344237268760559072225509759088201625310799324/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^13 + 382001505698815649620465962354500367930\ 8921333742530483259442021047260540925229975739303275008773694/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^12 - 1665537454284572614383975046784985041842753757281062634217703221326\ 022669531502236437498577991618339/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^11 + 3183013428846696712394273414635919271252157277818062385541\ 55157430605634456718209183721664190093112/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^10 + 32393695612521892000427034312388579038332088947096\ 3610004743760104408108599134069161289013811418620/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^9 - 4767493561075112844579072300620445796427484\ 02489809370049727233187018035924903939563544994427860171/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^8 + 384671046717855261816498528703423088\ 709565280142744385408783310052986328619633290956377657345302125/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^7 - 2332447898244093708359174882773615548406365792424955432908368372212\ 25729039430495542114653832637970/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^6 + 112922020742736661835505285221113604090875207931212732024425\ 726040286032636256195927497987495141193/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^5 - 44129384284199500352734997902753817830819689278833704\ 827335554083225924970574840330574830069311525/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^4 + 47230842141314053680996917286917803423263472077\ 8679521080103882236177593164446825153499430569061/15011859561607549\ 2515728708558800370791624724287397677598400384379264928959258341412\ 509192371*c_1001_2^3 - 32127044676484285949815729443753361675404304\ 67005223483359846920895907165184810233953969792291150/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^2 + 524676197578093849638448265807678451186\ 922348722945811873874334638971348459735147489254298201391/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2 - 4436581871601724785610885566479530618\ 5176379901881758176042720128457333579875656223986592409567/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759, c_0101_11 + 13363502149978746387217939494616552703767656838250735459323\ 341999956044857458195080620605467847/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^35 + 2410170649216832471603502439277695444547179588810208538\ 563675159787907385527183881374897203815/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^34 - 5283927433361089192844254117228246121038674020055203\ 4294921356555977449406344502619667154246922/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^33 + 111097178545786797601143621394451007041126408743\ 206155581483238748996968059165832816881860281820/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^32 + 3213381491232575456517470115219157003403440\ 259412295202149782714303370493788033107671768988404310/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^31 - 3950457723010999859039574602692680155\ 292531417418105962728061924140451668074820412821212245046477/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^30 + 9970330005549483260721193356957412350464787001238531417399341149312\ 622798386568487429753718270321/435343927286618928295613254820521075\ 2957117004334532650353611146998682939818491900962766578759*c_1001_2\ ^29 + 1197402206488396699130340831348484840007529298743714827341321\ 681143758305522344357131366360775803/150118595616075492515728708558\ 800370791624724287397677598400384379264928959258341412509192371*c_1\ 001_2^28 + 63205772093842191743200664994513196421051847949625121758\ 599514614762083006935295410848713142452381/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^27 + 2214065055704622307454727084331745805647757899164\ 94893395285524821659390732666749180155545439925033/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^26 - 25894033666280834351907386801121525629626\ 9469857693731491437589854042747632648733178473456703501738/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^25 + 172248799963290902918898046579585\ 5577288267153393833625550593875367806057334480166961629757133248802\ /435343927286618928295613254820521075295711700433453265035361114699\ 8682939818491900962766578759*c_1001_2^24 - 2802855397889626277201652942126854285761517348546496577688237905378\ 556278439782170804934035122474721/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^23 + 6455072199493964588997386568123061236378323872642582225415\ 270542512093492068964746533486606982501645/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^22 - 9504171368438337880512606847231300488873138234910\ 671498597469706012427399401932684506154994874875315/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^21 + 1512534445595135839640685027495278441128\ 4313709433334642211287413122672652520688762176592157081183232/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^20 - 1897753156739306095302213595603521521711662362052233042026939261261\ 3318647436838627302231821810253588/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^19 + 233170700989152205412769573316518856722008686222856857689\ 24600818798391109489806160090079162123980404/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^18 - 24528952707730739572518997819173946510867904385\ 675169043824990431466537834713180387420865806765931491/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^17 + 2436163528785220065853849444812838178\ 4353570279810313928870518081458822403674537043306557085076895011/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^16 - 2115741717957494498796391808425798932709890578050165759921154547358\ 1613863833068562934322857185332116/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^15 + 167156444066519893916763187293374315800096387649608171825\ 98926178053278014739545391299585129369216879/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^14 - 11346949247867800759861558196913720005572955628\ 053930946386679580511193843939095045810566338669017969/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^13 + 6559342848843363001310429167627214282\ 278379326449685436696404585838476726663291873202258257147171431/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^12 - 2813706227598443691861495508178879103861294980218749822357613104633\ 137427776225189339710992138710624/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^11 + 4824042280410811113558152189839256008954933824652739103902\ 94894398622720108957026174554487187660881/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^10 + 61867897489057682401211461936931105468070383847334\ 4573935792515252455385884584338712688620131056458/43534392728661892\ 8295613254820521075295711700433453265035361114699868293981849190096\ 2766578759*c_1001_2^9 - 8577087742475550992434304146017334786466840\ 97318652840880847184828781357540151824862749067056985948/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759*c_1001_2^8 + 674583682623806318609760160220553615\ 275282228409837981156507174940244010596832463743308913302222779/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^7 - 3994878403156178227695808254571205099629563685355178939473619790715\ 52752778547346679790105526824215/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^6 + 188051854035384682789642450004343764004634486172422050014397\ 231774933790880113815359539413291348618/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^5 - 71098289659414710677334001018240879901959123192099761\ 346711072546737400850943806962215430859304573/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^4 + 72582834398179085753754772093503760162610309085\ 7620065616586541762517237698263776298159182383604/15011859561607549\ 2515728708558800370791624724287397677598400384379264928959258341412\ 509192371*c_1001_2^3 - 46180603690342382544789102782251017243297327\ 49792580201251006520952749300469314248973014674590545/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^2 + 694238127691407517717112314009337804378\ 114389592569717976459576570786333793676113732580169025723/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2 - 4878480107280616464027327944809821768\ 1544570127598544197221713759817923587351670843031844077688/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759, c_0101_12 - 99088699657007487291294373689968166220334921571097905749764\ 32021609219446462187738270714923431/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^35 - 19559836397935958741530359257740641131788053669484274742\ 37771016028447075378111727763172194733/4353439272866189282956132548\ 205210752957117004334532650353611146998682939818491900962766578759*\ c_1001_2^34 + 40027828118385823755648690396849082787005221816421365\ 260816553198020234921689331957836229081332/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^33 - 8202379655394878909291539588087187365107680884779\ 1212111892057809604219453767643901247997113608/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^32 - 238883619505084449910304309297579022011898924\ 8790079219731959357864902283990001631141910160120058/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^31 + 289682363769939613543740114478001326322\ 8679048806344996379768823131684907095478126559581803339585/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^30 - 713097120659079469986339948231476\ 1837389258577203856432513754445001995263971163326072111124826645/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^29 - 9053031456024353893792181882629398516560971061481503746263597667344\ 02898128001578057331623177408/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 - 468021001545151168078820753338627630873409720603132915000624330\ 27520715970521225944878807118010596/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 - 16286661628971854303041522061047542670965163981764700003\ 4290172324394431676460536045253851172383342/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^26 + 191480045368689958133590231135029790019756543044\ 972289535640961931172050461805070349625142676158444/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^25 - 1265160848960457129956612818576265892414\ 259262063212798158022669121923502733108205077718924660132578/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^24 + 2024091083099969565246271889907470452025812305952820122117846220619\ 551616035446838501663900151847830/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^23 - 4651335596064457875870544732850315639627073649812894043071\ 634889365543823379237701442502433040114217/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^22 + 6732962540781435759354805511719947596103505749977\ 676611946362703914614135633715080863720736394227503/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^21 - 1070626062875419288231049910725954570358\ 5701377140377629713639356392459851501417877114043710865027136/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^20 + 1318956465282528869505662407870297319783931649550683895263938842379\ 7026227594587468061580775781223209/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^19 - 161327237313013103384139101774382407034273184147848624951\ 13130113437858860903658671911786789805758928/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^18 + 16638543897262976010171447112244055920219867612\ 991238319335818987018814675376523842591349566552188257/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^17 - 1639311715164491867064861415103112811\ 2617485060288291390641907304799752724375692049111032981114293162/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^16 + 1390583455769478824672100486512472578708539059234263832140521928376\ 6073727150342604408692962094373117/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^15 - 107937564365498194528426517988685209883888305635583251522\ 98209329963866490650906809298733555860569189/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^14 + 70626346914423889994508680031042599184460187592\ 47009892414073964439347081674804710249527375922508865/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^13 - 39086966453766391889626527876958320251\ 10025378814291903898729711713246370105028941611366611086685657/4353\ 4392728661892829561325482052107529571170043345326503536111469986829\ 39818491900962766578759*c_1001_2^12 + 1493133245067436079039099564860855830090670192157607816990951812735\ 075946843102145296581246555941577/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^11 - 7712700546603474370008768678254639031718196378939188796499\ 9604793171973513304259960311714146889577/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^10 - 532672252726828593939386285611411824446735106359048\ 256803279309539394115790948942002618301471493299/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^9 + 59977661703873941695599473887086894520078801\ 6925848680418841962423774498715777601016093401758528395/43534392728\ 6618928295613254820521075295711700433453265035361114699868293981849\ 1900962766578759*c_1001_2^8 - 4309076479332921332626689286642576891\ 93928421902638591239651620539766554507056010885393215999514705/4353\ 4392728661892829561325482052107529571170043345326503536111469986829\ 39818491900962766578759*c_1001_2^7 + 2374419142359337260425429058523804197925039970907161147879660469805\ 61622173669225219446102375286204/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^6 - 103394524915689307340992680581615560172599151732159022085937\ 318255199441919470438872005452087958436/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^5 + 35611970081481102013424527461918668204551034876175749\ 240999113381280009368660551191047138124683281/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^4 - 31947086147360651158288553301044447701618015477\ 6269489476078312406180939300208294789872094098611/15011859561607549\ 2515728708558800370791624724287397677598400384379264928959258341412\ 509192371*c_1001_2^3 + 16480300782741489684516655789403870972046305\ 07121018399432945383448474642884331842122567256745742/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^2 - 185421332305315129157997133309154926478\ 170729644516111074913598589897802096756938949179122204766/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2 - 3438514787666131813531616199833572529\ 40144125266339698553755914344731719231612756023236760102/4353439272\ 8661892829561325482052107529571170043345326503536111469986829398184\ 91900962766578759, c_0110_13 - 14979731199473792125494169121839142252369712579119512166292\ 708974206133562912866780613438260609/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^35 - 4868742381860179643628320764648675226797289825159259355\ 500231241300357535043438246226856028126/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^34 + 5864817565345982446886133881383617351611770223374301\ 8438727607580963386973322346384004664892717/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^33 - 115572533685097345491926406546204706747161380886\ 486200349746777477976632365009130945485456160899/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^32 - 3618820031892474142603762812972548636461529\ 622922652123394105816634388226696986052014055519999053/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^31 + 3904120640964112950454893809431353506\ 300702952165689095778418510359211837122018808130282206711669/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^30 - 1057932849124569478605977868868531068110107948835228114009965949914\ 3265705108547199834529856963639/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^29 - 139240245066045747209114276135248125942687304504972420728232\ 1773040757100705456647164887558216773/15011859561607549251572870855\ 8800370791624724287397677598400384379264928959258341412509192371*c_\ 1001_2^28 - 7665626180636429851896092457483576434252060204915953046\ 3468180643246846757843328507367056116620918/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^27 - 258680883098889257559362638713526250530563021324\ 146101007038270501913541196648728920761229657680934/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^26 + 2548044368286653534438514435132524267525\ 38557645151338915915388522811460789270135342263520583645272/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^25 - 1888848511942024788569609711083327139185499225886897854904973334777\ 567252824494097714547861529623892/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^24 + 2875598318188090581146702459396917725768560477717446723371\ 756880899426869483704047704319804214572331/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^23 - 6806796926103792840442692666133887366892283683076\ 155669327485166048113476070606972804871142444860110/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^22 + 9697639829414135575009092813800883280386\ 417602202963766482947078029035022402086131371865694170062037/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^21 - 1554860120592665245695757773207545837642989412658088971150077568268\ 3770364746748309431238969012178055/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^20 + 191032209209741651735573477313919558601761008280317406178\ 47749085668003366066767984519814716037930525/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^19 - 23426642732191373852833133958284839129985010807\ 023510084965455322206906825798616622695972170848491212/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^18 + 2427133015708901927364101594911068840\ 0724232869642822046689644025444958759804226758458216452514280353/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^17 - 2394385347478776435513633359207119532777846973273927863325850147405\ 7953770224248202106795215061996533/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^16 + 204841375901115620867965042981533318944990373192850349406\ 37231881554813318937218814573640871539627559/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^15 - 15977495206218586578414808592029381756274549896\ 659707339703447868182778227651134634027896869106248534/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^14 + 1063159941336915120485548609750649768\ 3048044311723898968040195636301314754445172537682630590370472434/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^13 - 5986161332690550626992823275924422104047154362517924651538145390663\ 775047191594111384088719316545017/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^12 + 2424083428681514742102950123192953030653402153589442376246\ 370886270119428723847161808487572381834721/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^11 - 2709247793307456445058525342199168261515165917905\ 70567546758647542818303309419291002953132656361974/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^10 - 69089285303054501792509086622576904737532\ 9323517550837783577259852915383199622674641544166860040769/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^9 + 8498627001428886310098682697002128\ 58240447632602408517417687843979622282532527996993897182143420394/4\ 3534392728661892829561325482052107529571170043345326503536111469986\ 82939818491900962766578759*c_1001_2^8 - 6374797329567964155056458357452276416652075857307338520199629237031\ 66809880933654528564013100633374/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^7 + 364767236955067232049482894610698734611503397168384954462522\ 009817304659586185436836378523384640909/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^6 - 16616969252113928765244867904417718668188774249256247\ 6251400939151562920902828349605560498469501717/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^5 + 6060525661106994709729268301186496563227287808\ 3406831729020688672670421281137027078271122107159978/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^4 - 5933409543046234460560995165501690099941\ 04441734120841529357421319584588309283176465888550462418/1501185956\ 1607549251572870855880037079162472428739767759840038437926492895925\ 8341412509192371*c_1001_2^3 + 3569574048783426703235328994015543586\ 183579671886593768034118195607134990493186640924900616826678/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^2 - 4983616573825437057440595473282130482476095214042789635173432157244\ 64674445154574078651991973925/4353439272866189282956132548205210752\ 957117004334532650353611146998682939818491900962766578759*c_1001_2 + 3210038396152937050824239307256857646764273337216819475062224585349\ 4773928721784874078919810787/43534392728661892829561325482052107529\ 57117004334532650353611146998682939818491900962766578759, c_0110_14 + 56535488926858772293383167074059050677999418825100810755980\ 09826880938968634423629493591644319/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^35 + 26619217469287000523006240808381115384913345666323694017\ 3939934960040345304456799870273457751/43534392728661892829561325482\ 05210752957117004334532650353611146998682939818491900962766578759*c\ _1001_2^34 - 218300848638253221206344603701363087751737780952267039\ 85065110315342090249819269812370611276238/4353439272866189282956132\ 5482052107529571170043345326503536111469986829398184919009627665787\ 59*c_1001_2^33 + 50970660221579117613387694238038501711041242935686\ 058645022550328894130177240722698140379988817/435343927286618928295\ 6132548205210752957117004334532650353611146998682939818491900962766\ 578759*c_1001_2^32 + 1351094422889729136952336112917269117286640500\ 424312713653871079584913940814316196169366685464408/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^31 - 1850506386948222957777238029976762637651\ 287601284425692417699999051729280057259924562625429757007/435343927\ 2866189282956132548205210752957117004334532650353611146998682939818\ 491900962766578759*c_1001_2^30 + 4604905439517540139956570277921930\ 198656147527635578820165451150798422877171564055142456449213932/435\ 3439272866189282956132548205210752957117004334532650353611146998682\ 939818491900962766578759*c_1001_2^29 + 4878038982353008020902024673260805497139225766247775010442278917116\ 46069504941482118450666585182/1501185956160754925157287085588003707\ 91624724287397677598400384379264928959258341412509192371*c_1001_2^2\ 8 + 251032232151361092166018919374188332502509624989771193979302162\ 25622268429183114734599195595958886/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^27 + 92322899624723981498277114611365091860744907023269469774\ 903862754591997785405733851554078702558174/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^26 - 1164116502139497193307263079210115094228592566251\ 80386198812733248503494278813455941024309680459281/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^25 + 75923011725092335234888254285456532861241\ 9087051215754989945938206472455605012789593848821424729111/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^24 - 128013828469585799843869981482155\ 2792426316836139341678634521641339668520467412877634942833867569906\ /435343927286618928295613254820521075295711700433453265035361114699\ 8682939818491900962766578759*c_1001_2^23 + 2961251769181867900587482221581917859156373920250528148346166156711\ 697972291932015473684781448806894/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^22 - 4422748241941703155371162788675686235731589948522248747930\ 765897305193932590130953342975932398726162/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^21 + 7113261720165124879606249052486221469996287103241\ 220638565572610789678070983252163900045666759714378/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^20 - 9023300260989439899212347567621609479477\ 844035192643861585643672999519101259240222293074139007515455/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^19 + 1122905549679657517884865177388619988271652305870205068196394225070\ 2303988661684224350831400963256343/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^18 - 119325813536686503621443482344882854512251194743070635590\ 58908099362294990347255056950027581262913022/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^17 + 12002695742987045536284300871323703329658205859\ 312571031481988768239937059112230164448658780823438376/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^16 - 1056137712938507636678102631866639041\ 6648356815171772110065460477822660043115205409404622752862770192/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^15 + 8476874517452220687636366766134793364998765344182280682183312132625\ 400965612732001320662559261727261/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^14 - 5867184976119641263824881100367775591717143666932480933253\ 031709035043131676329325387196072831526433/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^13 + 3478253872720612216539603212116020805883763335992\ 228112447428310151552298078034763606257077971500195/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^12 - 1572756359487366109608861656969088855969\ 115051973451134140594170121887692559079869877463674815004257/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^11 + 3459274582417990994024933471549463448541264260349967732227320359838\ 76698857846274710104437985973287/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^10 + 25908690292069839338886609491543850291496690239229307069981\ 6707543987323333840476083263920421659715/43534392728661892829561325\ 4820521075295711700433453265035361114699868293981849190096276657875\ 9*c_1001_2^9 - 4202464185836584453083019634346237073165175882776040\ 52043641730501659692638866255478195331917353570/4353439272866189282\ 9561325482052107529571170043345326503536111469986829398184919009627\ 66578759*c_1001_2^8 + 346337793095578030410407411624257577913451575\ 386513006288110677495644071700514256791008597196186843/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^7 - 21199043349317890572071477546761949163\ 7501788111462029584141397423447408447847782672087550652293423/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^6 + 1026051758965594424313141073466991685963705307533966676767400382150\ 42507363013050070871724012408317/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^5 - 398461290354868806029142602133195728383694055463467064162996\ 05564323545135728347753611389868529072/4353439272866189282956132548\ 205210752957117004334532650353611146998682939818491900962766578759*\ c_1001_2^4 + 420958213615373359881099286581316296681396554036808356\ 836061950218716336013516806482671076337826/150118595616075492515728\ 7085588003707916247242873976775984003843792649289592583414125091923\ 71*c_1001_2^3 - 274138701514711804081089239792876112645137823889608\ 4788379448348714005562884287767485920195770040/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^2 + 4347302229678559775016175165716344250306387109\ 16342125956080433869778413491106372236434503098454/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2 - 31804922134412331478408458064685243781561571\ 745104264396899452320374650819344579922962039489122/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759, c_1001_0 + 199807718469393901762988550425999776066523063019860640270772\ 57572854920134734417201708087251033/4353439272866189282956132548205\ 210752957117004334532650353611146998682939818491900962766578759*c_1\ 001_2^35 + 80411022315451032901164430643514140577406787652781220113\ 22125674791441925469790124875366174535/4353439272866189282956132548\ 205210752957117004334532650353611146998682939818491900962766578759*\ c_1001_2^34 - 78294522520110128493902553038291522077777801039300480\ 699618490335412517447201972010911447401378/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^33 + 1465449431452556310575908299052810917308001184450\ 17302817320646157834503429792279994399366848381/4353439272866189282\ 9561325482052107529571170043345326503536111469986829398184919009627\ 66578759*c_1001_2^32 + 48399054129520909292306637717368049013491489\ 13230200813888257196875334116926696816896850260576871/4353439272866\ 1892829561325482052107529571170043345326503536111469986829398184919\ 00962766578759*c_1001_2^31 - 48330449442339314630138610407020469248\ 69385552370655899582249568606998914145849349679488330571050/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^30 + 1356358685226226287856851585223980264449732144083123424002075180207\ 7962269923903221588716393690800/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^29 + 188843126775022258137397020117668505570445816084264289544498\ 4751438947647761521725628605154477944/15011859561607549251572870855\ 8800370791624724287397677598400384379264928959258341412509192371*c_\ 1001_2^28 + 1061814703062838301163811533340499802560957734643593386\ 29122424758354195702614609353475540024485379/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^27 + 35067835036409664716968609054619301413561645997\ 6627745659511077960527346459139700240310733929915850/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^26 - 320228018385400009097755724857902803106\ 803259076658981503479028279991783778012433494980485201004931/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^25 + 2474172743540956426261173373525085718753590864905683218023126532917\ 750376567949612521309875371140495/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^24 - 3658195087297509537806268463488172768252725828212422639821\ 348561270705696949003521104247526823988142/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^23 + 8721935243184136164610786760207697782120152017503\ 235975143693833615020121324302155772008795790844800/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^22 - 1227813545870145447617802599119401589205\ 6658850382876381716874997925169190812948428993686189882241165/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^21 + 1965162914560445752251625898809440845577630661076071282617637163677\ 5329398346777708951552925811740643/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^20 - 239722586050539140731692031845724639789979171638755693778\ 88816965496921818011125465319534204055606761/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^19 + 29252194796766368270033104682263822838792877040\ 608533613547163221108299378641613641014096098114715532/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^18 - 3016055713350935769016670052731968341\ 5609690780286579767561150578300504614138742831053709824018612963/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^17 + 2957649289570836532835748252706586247095322948656956705430214253870\ 8487549418880752818591883789402326/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^16 - 251626623129534040782132844113059686063294652636997969106\ 25619164824632334774396458828912806810889023/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^15 + 19476597159787707642900994145826557546341504390\ 671413579172295847167997367563918030332635431168468170/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^14 - 1286211591531449570370173717033541898\ 6726648663640940463569469967709595037108158136272000125551530496/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^13 + 7153977104939048705895395031140828389706901656733958961667547084122\ 209437397909415024591991891805042/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^12 - 2828861042579001172579474522483005366361253410022685038332\ 080259541842852174892045891323810650022835/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^11 + 2446630100230360628275521011270995402151035441191\ 87075789791316193418287659255290491969472001144746/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^10 + 88088662299398780363253988658439128068848\ 6748421934020053286089416512618198234708295139447079678400/43534392\ 7286618928295613254820521075295711700433453265035361114699868293981\ 8491900962766578759*c_1001_2^9 - 1042000512710826127417423170788339\ 968967609778877440010546307386016901255700678876331854376741728181/\ 4353439272866189282956132548205210752957117004334532650353611146998\ 682939818491900962766578759*c_1001_2^8 + 7697471781038764160396633740330173985275808930045086639033345987877\ 03151155963640259456587326054524/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^7 - 436007866508490518260740744206598550084344001324664097875131\ 872380413680267645810104819014634043214/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^6 + 19725721184027252618381728306582695809678173398892966\ 6379002534325957503521174721973240851034462042/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^5 - 7159249747353552887257441849706988765514767911\ 3243995169472715782272583167373173006451370382987909/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^4 + 6996889344886391205780503369838873265403\ 34706207137283768737154476057366237086729982883094662340/1501185956\ 1607549251572870855880037079162472428739767759840038437926492895925\ 8341412509192371*c_1001_2^3 - 4237190564669926113926944015678287354\ 619115668578597126962962759417132678737094245804273362239751/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^2 + 6030324278496006154292086025972205195152404346792658516916403579021\ 28470453234261900743780016166/4353439272866189282956132548205210752\ 957117004334532650353611146998682939818491900962766578759*c_1001_2 - 4141517078547150535457101250593125005844318919572248514751848724762\ 7344527968993876958818589025/43534392728661892829561325482052107529\ 57117004334532650353611146998682939818491900962766578759, c_1001_14 + 22344264640283164915247986997827733132544928774388261819002\ 278591422340372322304194709203793546/435343927286618928295613254820\ 5210752957117004334532650353611146998682939818491900962766578759*c_\ 1001_2^35 + 7100647364436912406571439225045947050022535241368321171\ 214026999363574605580940401953629057346/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^34 - 8949429308400897851799102225136248556289865001784199\ 0474841368093279160328100214020585081343559/43534392728661892829561\ 3254820521075295711700433453265035361114699868293981849190096276657\ 8759*c_1001_2^33 + 170677352929144880559218495870195279648142518366\ 715987537881442524848208347335944724875653455076/435343927286618928\ 2956132548205210752957117004334532650353611146998682939818491900962\ 766578759*c_1001_2^32 + 5403402817808976287587119565841931336737824\ 976206338464796642398559873309519141009739681153375892/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^31 - 5870658576894757504480396898528898554\ 035364632750873148409921194063731814736879288576780814160738/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^30 + 1533830171808907465006476033453690629908560567309477177563862969333\ 8590157556960502515506850346417/43534392728661892829561325482052107\ 52957117004334532650353611146998682939818491900962766578759*c_1001_\ 2^29 + 207621953138539107718956474371726380074146643485493284185870\ 9639492519906032504581433104342798606/15011859561607549251572870855\ 8800370791624724287397677598400384379264928959258341412509192371*c_\ 1001_2^28 + 1128685369481681311093835796622831103548847386896166571\ 55613504920017075911629887928010389436108894/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^27 + 37876888212242904621343359038100192422743193072\ 6558148963291058326793414010906876455446078311442610/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^26 - 397785940883525861261444206051632088289\ 096860470732741970756693734084736299239057798868036441370643/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^25 + 2776739409875061318353026145476895229992202244374184536260295878734\ 210498740368678255040330817798573/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^24 - 4306413136082647660797139519239793093285491706282077712278\ 958326858882876237875743432980609948961220/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^23 + 9963275042133818312603382492319462976827005567310\ 021404386158499795983561480324946758109109974102352/435343927286618\ 9282956132548205210752957117004334532650353611146998682939818491900\ 962766578759*c_1001_2^22 - 1435881210955539711804099901856052308246\ 2179812861142260636870090940689126058657021257214004334655323/43534\ 3927286618928295613254820521075295711700433453265035361114699868293\ 9818491900962766578759*c_1001_2^21 + 2268543149834657843929375322777225129356352275321578620000425249389\ 2819493690813882107409158499245416/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^20 - 280351776062375956236116069945741518256983832988013044783\ 49653577403701140706436772852633556933784218/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^19 + 34007260258910427558181135735460566066214717918\ 992916076591181279323411916534265302382144232502601274/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^18 - 3532256936173286930357579918334354470\ 1727345438637162960586181039072669961025453231854826487036890723/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^17 + 3455601972060124804280170763365341061300048719324414097966485062379\ 5125165474801929151239541189910893/43534392728661892829561325482052\ 10752957117004334532650353611146998682939818491900962766578759*c_10\ 01_2^16 - 295452772524561165471380540322582484280028278778122049073\ 31253565784562853421914783491393665824439308/4353439272866189282956\ 1325482052107529571170043345326503536111469986829398184919009627665\ 78759*c_1001_2^15 + 22855062044191071150351821727725400857354201033\ 791947560842272335157788469625367816560830101360321293/435343927286\ 6189282956132548205210752957117004334532650353611146998682939818491\ 900962766578759*c_1001_2^14 - 1514887957498564169500099371590593570\ 3855754073633208575272347339662190850864022126659799873338382644/43\ 5343927286618928295613254820521075295711700433453265035361114699868\ 2939818491900962766578759*c_1001_2^13 + 8433156138403312943248727992011369580343094254557413157911680732901\ 100557361097456774849530032072287/435343927286618928295613254820521\ 0752957117004334532650353611146998682939818491900962766578759*c_100\ 1_2^12 - 3353865059256060579944948072126439029172889904126587135214\ 066173907494610120703468636461998077261223/435343927286618928295613\ 2548205210752957117004334532650353611146998682939818491900962766578\ 759*c_1001_2^11 + 3026984987776934526698721002178161687139334293289\ 05923408091521079600717165832302484629089735994984/4353439272866189\ 2829561325482052107529571170043345326503536111469986829398184919009\ 62766578759*c_1001_2^10 + 10307759031848713441601645672961075218377\ 41012795728202464185697435422742007073787843668506322237734/4353439\ 2728661892829561325482052107529571170043345326503536111469986829398\ 18491900962766578759*c_1001_2^9 - 122553466045639466451776222994711\ 4425365321857540425260548516026594773585552925866550091927441469035\ /435343927286618928295613254820521075295711700433453265035361114699\ 8682939818491900962766578759*c_1001_2^8 + 9070204607913528987048096421733479894497378882437899881569353582354\ 85699530977879022252653523549499/4353439272866189282956132548205210\ 752957117004334532650353611146998682939818491900962766578759*c_1001\ _2^7 - 513790012989609792526681305563027162029155839672323870660827\ 834888719038110270888514498698952686713/435343927286618928295613254\ 8205210752957117004334532650353611146998682939818491900962766578759\ *c_1001_2^6 + 23233895394014963255233831507869882604204458074029436\ 9881586548365498908851642372996412740602507912/43534392728661892829\ 5613254820521075295711700433453265035361114699868293981849190096276\ 6578759*c_1001_2^5 - 8416337363932281188632944003611488915556294127\ 8058261997524060425444132087394891348062842385914371/43534392728661\ 8928295613254820521075295711700433453265035361114699868293981849190\ 0962766578759*c_1001_2^4 + 8195309426404398949893645111246656962883\ 87130702906784337476483380325496145036778410921093633933/1501185956\ 1607549251572870855880037079162472428739767759840038437926492895925\ 8341412509192371*c_1001_2^3 - 4943293940206777331687021321320224142\ 607702127397260858432460671528869212835926667788881208315337/435343\ 9272866189282956132548205210752957117004334532650353611146998682939\ 818491900962766578759*c_1001_2^2 + 6984651669751265777074763404862295673252185322140831203656669940609\ 77335335733478379652288157138/4353439272866189282956132548205210752\ 957117004334532650353611146998682939818491900962766578759*c_1001_2 - 4803290457209219935382743060143587783937351029165941953626385671782\ 1493206660776401034994936204/43534392728661892829561325482052107529\ 57117004334532650353611146998682939818491900962766578759, c_1001_2^36 - 4*c_1001_2^34 + 9*c_1001_2^33 + 239*c_1001_2^32 - 339*c_1001_2^31 + 796*c_1001_2^30 + 2462*c_1001_2^29 + 4256*c_1001_2^28 + 15665*c_1001_2^27 - 22498*c_1001_2^26 + 132029*c_1001_2^25 - 233163*c_1001_2^24 + 519460*c_1001_2^23 - 798399*c_1001_2^22 + 1257510*c_1001_2^21 - 1624265*c_1001_2^20 + 1998494*c_1001_2^19 - 2151678*c_1001_2^18 + 2154584*c_1001_2^17 - 1916290*c_1001_2^16 + 1540607*c_1001_2^15 - 1080920*c_1001_2^14 + 649562*c_1001_2^13 - 304178*c_1001_2^12 + 77627*c_1001_2^11 + 37596*c_1001_2^10 - 71579*c_1001_2^9 + 61924*c_1001_2^8 - 39240*c_1001_2^7 + 19771*c_1001_2^6 - 8075*c_1001_2^5 + 2650*c_1001_2^4 - 676*c_1001_2^3 + 128*c_1001_2^2 - 16*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2914.260 Total time: 2914.449 seconds, Total memory usage: 8971.66MB