Magma V2.19-8 Tue Aug 20 2013 18:21:14 on localhost [Seed = 3002272575] Type ? for help. Type -D to quit. Loading file "11_417__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_417 geometric_solution 13.10687612 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 14 1 1 2 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 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.861662276227 1.363997252949 0 4 5 0 0132 0132 0132 2031 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.073598543618 0.725674881575 6 7 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.423269211602 0.995633064533 9 8 0 10 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369604345647 0.775683266018 11 1 12 8 0132 0132 0132 2031 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.638368067212 0.850647057725 10 9 8 1 3120 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.499379114284 1.050645773630 2 11 7 10 0132 0321 1023 2031 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.406162123805 0.351479756878 13 2 6 12 0132 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123906481048 1.247296640756 3 4 5 2 1023 1302 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666745137455 0.638176118065 3 5 11 13 0132 3120 1023 2103 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.387953994646 0.745942086825 13 6 3 5 2103 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.387953994646 0.745942086825 4 12 9 6 0132 3120 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.247083197593 0.738121491853 13 11 7 4 1230 3120 2031 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.078865982381 0.793899351039 7 12 10 9 0132 3012 2103 2103 0 0 0 0 0 1 0 -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 -1 0 1 1 0 -1 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.698006179756 0.785129087262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_2'], 'c_1001_13' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_11'], 'c_1010_13' : d['c_0011_5'], 'c_1010_12' : d['c_0011_0'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_5']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 'c_0101_13' : d['c_0101_10'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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_0_8' : d['1'], 's_0_9' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_0101_5']), 'c_1100_13' : negation(d['c_0101_1']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_3'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_2_8' : 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' : negation(d['c_1001_2']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_13']), 'c_0011_6' : negation(d['c_0011_13']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_13'], 'c_0110_11' : d['c_0011_13'], 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : d['c_0101_7'], 'c_0110_12' : d['c_0011_13'], 'c_1010_4' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_13'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_13' : d['1'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 4253991775192133033/102555649745029360800*c_1001_2^12 - 7807220969673519263/51277824872514680400*c_1001_2^11 + 13669761181460246243/51277824872514680400*c_1001_2^10 + 44361707677518943619/51277824872514680400*c_1001_2^9 - 170032479065807128297/25638912436257340200*c_1001_2^8 + 2672537361898213126993/102555649745029360800*c_1001_2^7 - 218127251007450334207/3418521658167645360*c_1001_2^6 + 12929823320850632873051/102555649745029360800*c_1001_2^5 - 6034326434551330970651/34185216581676453600*c_1001_2^4 + 559318446821657744093/2848768048473037800*c_1001_2^3 - 37543692176874105905/256389124362573402*c_1001_2^2 + 1748509270810169480191/25638912436257340200*c_1001_2 - 194252889335320560271/12819456218128670100, c_0011_0 - 1, c_0011_10 + 53053279958041/37983573979640504*c_1001_2^12 - 24561733119597/18991786989820252*c_1001_2^11 - 3072365778000/4747946747455063*c_1001_2^10 + 615730928801879/18991786989820252*c_1001_2^9 - 1144829870199935/9495893494910126*c_1001_2^8 + 14856204016099609/37983573979640504*c_1001_2^7 - 11144848067541697/18991786989820252*c_1001_2^6 + 47598181879730585/37983573979640504*c_1001_2^5 - 39107865764269505/37983573979640504*c_1001_2^4 + 24691290960644671/18991786989820252*c_1001_2^3 - 26007444662216283/18991786989820252*c_1001_2^2 + 1659611854528369/9495893494910126*c_1001_2 - 8137407034818577/4747946747455063, c_0011_13 + 144763838434593/37983573979640504*c_1001_2^12 - 56124319415981/9495893494910126*c_1001_2^11 - 48444207671257/18991786989820252*c_1001_2^10 + 2049109938137823/18991786989820252*c_1001_2^9 - 1811950621055959/4747946747455063*c_1001_2^8 + 43676073404382017/37983573979640504*c_1001_2^7 - 7857389705642414/4747946747455063*c_1001_2^6 + 104510408006689955/37983573979640504*c_1001_2^5 - 55761396747195367/37983573979640504*c_1001_2^4 + 38743958791531487/18991786989820252*c_1001_2^3 - 923138239810473/4747946747455063*c_1001_2^2 + 9209007759052825/4747946747455063*c_1001_2 - 1940193092097293/4747946747455063, c_0011_3 - 38812692976357/75967147959281008*c_1001_2^12 + 14150455675966/4747946747455063*c_1001_2^11 - 219362433240379/37983573979640504*c_1001_2^10 - 579594051537007/37983573979640504*c_1001_2^9 + 1135792175695619/9495893494910126*c_1001_2^8 - 33750679749835701/75967147959281008*c_1001_2^7 + 19776912181982449/18991786989820252*c_1001_2^6 - 136935498615215743/75967147959281008*c_1001_2^5 + 160443410262651111/75967147959281008*c_1001_2^4 - 88115883533070761/37983573979640504*c_1001_2^3 + 5706275507266602/4747946747455063*c_1001_2^2 - 25530287997698755/9495893494910126*c_1001_2 + 4985633004900856/4747946747455063, c_0011_5 + 120161077035813/37983573979640504*c_1001_2^12 - 110915417173445/37983573979640504*c_1001_2^11 - 23481803206172/4747946747455063*c_1001_2^10 + 773958219459705/9495893494910126*c_1001_2^9 - 4909153216647127/18991786989820252*c_1001_2^8 + 29614853437737213/37983573979640504*c_1001_2^7 - 36683794312897501/37983573979640504*c_1001_2^6 + 73571555492000377/37983573979640504*c_1001_2^5 - 18892508336486939/18991786989820252*c_1001_2^4 + 61729144950404567/37983573979640504*c_1001_2^3 - 6762285415792347/9495893494910126*c_1001_2^2 - 62866834560941/9495893494910126*c_1001_2 - 2208999283770099/4747946747455063, c_0101_0 - 1, c_0101_1 + 405490813765833/75967147959281008*c_1001_2^12 - 25543624201817/4747946747455063*c_1001_2^11 - 8422996753065/37983573979640504*c_1001_2^10 + 5196398812881631/37983573979640504*c_1001_2^9 - 2220202540287019/4747946747455063*c_1001_2^8 + 117209565833889841/75967147959281008*c_1001_2^7 - 41875749385102579/18991786989820252*c_1001_2^6 + 360782161669325379/75967147959281008*c_1001_2^5 - 215536996791198755/75967147959281008*c_1001_2^4 + 216902176395236381/37983573979640504*c_1001_2^3 - 10574643153317885/9495893494910126*c_1001_2^2 + 31917564885934483/9495893494910126*c_1001_2 - 6220434774958594/4747946747455063, c_0101_10 - 120161077035813/37983573979640504*c_1001_2^12 + 110915417173445/37983573979640504*c_1001_2^11 + 23481803206172/4747946747455063*c_1001_2^10 - 773958219459705/9495893494910126*c_1001_2^9 + 4909153216647127/18991786989820252*c_1001_2^8 - 29614853437737213/37983573979640504*c_1001_2^7 + 36683794312897501/37983573979640504*c_1001_2^6 - 73571555492000377/37983573979640504*c_1001_2^5 + 18892508336486939/18991786989820252*c_1001_2^4 - 61729144950404567/37983573979640504*c_1001_2^3 + 6762285415792347/9495893494910126*c_1001_2^2 + 62866834560941/9495893494910126*c_1001_2 + 2208999283770099/4747946747455063, c_0101_11 - 40218235134745/75967147959281008*c_1001_2^12 + 69619255785241/9495893494910126*c_1001_2^11 - 381214294763931/37983573979640504*c_1001_2^10 - 930917539653887/37983573979640504*c_1001_2^9 + 1137077853927432/4747946747455063*c_1001_2^8 - 60857682958639969/75967147959281008*c_1001_2^7 + 39425891446722333/18991786989820252*c_1001_2^6 - 224451699768133211/75967147959281008*c_1001_2^5 + 314420702722318939/75967147959281008*c_1001_2^4 - 98810347169849533/37983573979640504*c_1001_2^3 + 10860033019639189/4747946747455063*c_1001_2^2 - 20316923224247075/9495893494910126*c_1001_2 + 10031967874447594/4747946747455063, c_0101_2 - 40218235134745/75967147959281008*c_1001_2^12 + 69619255785241/9495893494910126*c_1001_2^11 - 381214294763931/37983573979640504*c_1001_2^10 - 930917539653887/37983573979640504*c_1001_2^9 + 1137077853927432/4747946747455063*c_1001_2^8 - 60857682958639969/75967147959281008*c_1001_2^7 + 39425891446722333/18991786989820252*c_1001_2^6 - 224451699768133211/75967147959281008*c_1001_2^5 + 314420702722318939/75967147959281008*c_1001_2^4 - 98810347169849533/37983573979640504*c_1001_2^3 + 10860033019639189/4747946747455063*c_1001_2^2 - 20316923224247075/9495893494910126*c_1001_2 + 10031967874447594/4747946747455063, c_0101_5 - 38812692976357/75967147959281008*c_1001_2^12 + 14150455675966/4747946747455063*c_1001_2^11 - 219362433240379/37983573979640504*c_1001_2^10 - 579594051537007/37983573979640504*c_1001_2^9 + 1135792175695619/9495893494910126*c_1001_2^8 - 33750679749835701/75967147959281008*c_1001_2^7 + 19776912181982449/18991786989820252*c_1001_2^6 - 136935498615215743/75967147959281008*c_1001_2^5 + 160443410262651111/75967147959281008*c_1001_2^4 - 88115883533070761/37983573979640504*c_1001_2^3 + 5706275507266602/4747946747455063*c_1001_2^2 - 25530287997698755/9495893494910126*c_1001_2 + 4985633004900856/4747946747455063, c_0101_7 - 53053279958041/37983573979640504*c_1001_2^12 + 24561733119597/18991786989820252*c_1001_2^11 + 3072365778000/4747946747455063*c_1001_2^10 - 615730928801879/18991786989820252*c_1001_2^9 + 1144829870199935/9495893494910126*c_1001_2^8 - 14856204016099609/37983573979640504*c_1001_2^7 + 11144848067541697/18991786989820252*c_1001_2^6 - 47598181879730585/37983573979640504*c_1001_2^5 + 39107865764269505/37983573979640504*c_1001_2^4 - 24691290960644671/18991786989820252*c_1001_2^3 + 26007444662216283/18991786989820252*c_1001_2^2 - 1659611854528369/9495893494910126*c_1001_2 + 8137407034818577/4747946747455063, c_0101_8 + 222151753371095/37983573979640504*c_1001_2^12 - 39694079877783/4747946747455063*c_1001_2^11 + 105469718243657/18991786989820252*c_1001_2^10 + 2887996432209319/18991786989820252*c_1001_2^9 - 5576197256269657/9495893494910126*c_1001_2^8 + 75480122791862771/37983573979640504*c_1001_2^7 - 15413165391771257/4747946747455063*c_1001_2^6 + 248858830142270561/37983573979640504*c_1001_2^5 - 187990203526924933/37983573979640504*c_1001_2^4 + 152509029964153571/18991786989820252*c_1001_2^3 - 21987194167851089/9495893494910126*c_1001_2^2 + 28723926441816619/4747946747455063*c_1001_2 - 11206067779859450/4747946747455063, c_1001_2^13 - 2*c_1001_2^12 + 2*c_1001_2^11 + 26*c_1001_2^10 - 116*c_1001_2^9 + 401*c_1001_2^8 - 750*c_1001_2^7 + 1447*c_1001_2^6 - 1401*c_1001_2^5 + 1836*c_1001_2^4 - 880*c_1001_2^3 + 1208*c_1001_2^2 - 736*c_1001_2 + 480 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_13, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 9488499871051495844916565706312111074499849387540689202267444761343\ 736402611323907248944733758677773/158206716463806660751926409726891\ 0973877283787740686739139056007955021295799341382545490864925220797\ 15*c_1001_2^25 + 11052901578926236809350674069091541827975977821417\ 8883137766799604916310676699522537493873896994062027/15820671646380\ 6660751926409726891097387728378774068673913905600795502129579934138\ 254549086492522079715*c_1001_2^24 + 9350188829162858516034562973412899606223308206887233201587775179579\ 79564441539452580805742811942210732/1582067164638066607519264097268\ 9109738772837877406867391390560079550212957993413825454908649252207\ 9715*c_1001_2^23 + 113248418163541826993893224939716900576112150564\ 5123553431344348850574227287230453327226308910074030358/31641343292\ 7613321503852819453782194775456757548137347827811201591004259159868\ 27650909817298504415943*c_1001_2^22 + 2519954525601919425816288168403410696442076744622553351731134411798\ 1263854028122681633244451807580367087/15820671646380666075192640972\ 6891097387728378774068673913905600795502129579934138254549086492522\ 079715*c_1001_2^21 + 8566184813982746419527729520854012486510980798\ 9123259458476176027243982506053525374943534825066396163842/15820671\ 6463806660751926409726891097387728378774068673913905600795502129579\ 934138254549086492522079715*c_1001_2^20 + 7649431408017981793427907775243357217459594673078543955253971816867\ 1190691178196638201333142838448029688/52735572154602220250642136575\ 6303657959094595913562246379685335985007098599780460848496954975073\ 59905*c_1001_2^19 + 48612639355145172475984773039394984534334444075\ 4258721689556644061641768856474129027843861548958924641224/15820671\ 6463806660751926409726891097387728378774068673913905600795502129579\ 934138254549086492522079715*c_1001_2^18 + 7789101427701133516203616984641604487325921035106093117590065812860\ 57050279546716009711018378521042727202/1582067164638066607519264097\ 2689109738772837877406867391390560079550212957993413825454908649252\ 2079715*c_1001_2^17 + 758972755842173241102183250397593020667444512\ 546218452874888088240612685763791270551156700309721721332681/158206\ 7164638066607519264097268910973877283787740686739139056007955021295\ 79934138254549086492522079715*c_1001_2^16 - 4332140138630428920080264170026032104195329147035760833466250027034\ 9351644599438242899406079873312061148/31641343292761332150385281945\ 3782194775456757548137347827811201591004259159868276509098172985044\ 15943*c_1001_2^15 - 53350163963460114300905941328738925360266226709\ 6852308805890605181803340254431938441979610695583319788836/31641343\ 2927613321503852819453782194775456757548137347827811201591004259159\ 86827650909817298504415943*c_1001_2^14 - 1233914587019537762634225610226865010667279772489628494453855677423\ 108381215849886980078491749004615181930/316413432927613321503852819\ 4537821947754567575481373478278112015910042591598682765090981729850\ 4415943*c_1001_2^13 - 828463648981798213101186330632516570181897911\ 0416494124009479800813189027736900440439152855570749102946297/15820\ 6716463806660751926409726891097387728378774068673913905600795502129\ 579934138254549086492522079715*c_1001_2^12 - 1676612150215982577228345524154117781103241070127906218717663779566\ 42517614454671066406269563797007465729/5859508017178024472293570730\ 6255961995454955101506916264409481776111899844420051205388550552785\ 95545*c_1001_2^11 + 59402370442719286760563520479395454596395657659\ 53221544204003303984331247357856806106966600608076477559231/1582067\ 1646380666075192640972689109738772837877406867391390560079550212957\ 9934138254549086492522079715*c_1001_2^10 + 5125863080875281085255823008101632214666168883416115840586860032204\ 760542411638541212842783012463769262841/527355721546022202506421365\ 7563036579590945959135622463796853359850070985997804608484969549750\ 7359905*c_1001_2^9 + 1381043739166181262901767043125093284018522957\ 8156537286168542986873197215970798514384627251551258900053314/15820\ 6716463806660751926409726891097387728378774068673913905600795502129\ 579934138254549086492522079715*c_1001_2^8 + 2123392825366106206626958626188361006645480281188866508089194980592\ 1273842222928906775896344199111956744/47941429231456563864220124159\ 6639689053722359921420223981532123622733725999800418953179049977339\ 6355*c_1001_2^7 - 1195774409300273592912726063182862810402633121902\ 6990033821207709336434909325922874023085927936196204993721/15820671\ 6463806660751926409726891097387728378774068673913905600795502129579\ 934138254549086492522079715*c_1001_2^6 - 1742835496825273854340395637424909612672712724642867252566703060865\ 171406377960811522832327489692064984762/527355721546022202506421365\ 7563036579590945959135622463796853359850070985997804608484969549750\ 7359905*c_1001_2^5 + 1183982249794436989631613816721949388762574652\ 1937198460041020847344792470217078090102682163921148260457008/15820\ 6716463806660751926409726891097387728378774068673913905600795502129\ 579934138254549086492522079715*c_1001_2^4 + 1469661545743906749823989867910430880441647160603382759256786048329\ 6782262231158065382436277365125185060462/15820671646380666075192640\ 9726891097387728378774068673913905600795502129579934138254549086492\ 522079715*c_1001_2^3 + 26223158952995512177255324553538068473472088\ 30607831295845784272058441147470755759479597205061906779655519/1582\ 0671646380666075192640972689109738772837877406867391390560079550212\ 9579934138254549086492522079715*c_1001_2^2 - 4031546786284628331135870333918644442286811323598942522632833433245\ 654010600308580415587909942254840004328/158206716463806660751926409\ 7268910973877283787740686739139056007955021295799341382545490864925\ 22079715*c_1001_2 - 19191658031117451668759703838454052632031696316\ 34905817093570043183811427716881091405616861166815515454/1341872065\ 0026010241893673428913579082928615672100820518567056895292801491088\ 5613447454695922410585, c_0011_0 - 1, c_0011_10 - 76878218040322161828039110920624596094653249519902582693972\ 989308139108919285467344143/533069262112383471525197111574191151474\ 9734749756657900602126519602909552955196001974955509*c_1001_2^25 - 8778334781931226641414942797317166087154308329541499215000140035868\ 96728515788809786124/5330692621123834715251971115741911514749734749\ 756657900602126519602909552955196001974955509*c_1001_2^24 - 7394963641356322137273704248430096429574337954609461186403381684707\ 210996400932147270966/533069262112383471525197111574191151474973474\ 9756657900602126519602909552955196001974955509*c_1001_2^23 - 4445826273787635233891359701761263193659285092804218096745934273219\ 1753586268404359237267/53306926211238347152519711157419115147497347\ 49756657900602126519602909552955196001974955509*c_1001_2^22 - 1964566404993232232959071012955841535986288008956820273601447490310\ 46009519993971808088132/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^21 - 6652234174159598226784467659190309460505704458792733648335661240091\ 72817294288991804711455/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^20 - 1786062985838217398223414636927031175759711813472049890356197334868\ 700508334127616567569560/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^19 - 3830382191858101015572069620795624052809829598315493312862847456169\ 790069846633424398642515/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^18 - 6353769535694307730509769752743069644793728398916375790531021588871\ 772861613589756026166478/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^17 - 7005286762156875915491769233558914926473833369093681086737506015085\ 202055139123043983372246/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^16 - 1410822289744303388783689385374479566007909564494369229072326771192\ 737602290099536917424671/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^15 + 1407369970361139695425576015751266415938502859969494689064180680608\ 8197991183092009429359865/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^14 + 3723100694611271235810871428136205660053108496753220375202344024664\ 8253052775550651684056633/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^13 + 5254864495934647880048665921538098624029327903053451492149691302369\ 8521735416776861177133830/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^12 + 3088945338877827907236299778021264939016987676804889661653512885095\ 7084877799047140642798118/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 2893171191250122254889866027094267007347484784378819981443301148057\ 7868324050722840897885772/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^10 - 7574798118308789856040933001809342796367948721296538448662423352479\ 6311381356083355567377349/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 - 5678010737092971345926186602597195595505164875221883368145485077949\ 1794046115386960268268506/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^8 + 2005093985972216135122005382306088778129116158506250196144274294762\ 2312404120923463601921811/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 + 8078847899042914032352938878111312476515144470442466100507774445687\ 4713799357076372787068514/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^6 + 1588574216389591760684560052847624908917875170141299981557958851240\ 4233065801273340761543826/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 7592740131989469206204167119212317292064954585946276525402610310857\ 5376288296446823385358011/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^4 - 6092006905382885074048404334251008772319833313466120380997187261454\ 7956624666703430068346403/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^3 + 9736882670135515334381211600746480270024851517280710946253455196387\ 566054704133055458295832/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^2 + 2154160682145537425080967662661590646908598547011435729057411179935\ 8905124794907246517708148/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2 - 8715622958828076058317118236199284679433046742079775982496051173255\ 20546359664596755727/4069231008491476881871733676138863751717354770\ 8066090844291042134373355366070198488358439, c_0011_13 - 16091923074144928297861597110299349397916512593169807193368\ 7692250113654542788206113200/15992077863371504145755913347225734544\ 249204249269973701806379558808728658865588005924866527*c_1001_2^25 - 1896791391713764024951317581803958511154106429330880687962984595334\ 229557411031689640677/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^24 - 1612481363818914470407997009727615601951635431243183994716013201029\ 4053893457711599027085/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^23 - 9849038769636663093303939494174965681537788662546668632222414935866\ 9727391229123113778012/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 - 4434341287005778406476564573178648096486339728407565833977985155688\ 65717128313325228720910/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 - 1533696858097772435088301522517793090175330623199244553271576839291\ 196816179243785174624320/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^20 - 1406124358778534820660857444381834707213817811636994534173762647444\ 427549907833243129869584/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^19 - 9329502204368381456964310685896029644169382853368580548755045305124\ 898119695816055878343415/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^18 - 1622039437568181625280769943478171719684117138019064094722953468344\ 7496756133441703107794815/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^17 - 1988358175724478407868444354980240125079237066781652164838697080491\ 3841005697082092805831383/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 - 9894980159537512368775076619852561276624084344084164866617244343425\ 238550596565477847082462/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^15 + 2401113815042663970967377339305268320433674875626041102757336173007\ 4373863638805037302028296/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 + 8018555671175078840317388230063058924316663922028642946732119883532\ 1262279876608132465949217/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 + 1268138465868887927287012368440691660504947274145318938909752800529\ 79059883008387178327670996/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^12 + 3186854035133292934794915720325491312211842196571465522866826851791\ 9402339026436760198251119/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 3219404182648953257223562526924730912013839472084539792135830784632\ 8597614980965913265469994/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^10 - 4993650803127181987289428060435233426172022131674228716752847322085\ 2511571241663995705265661/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 - 1311144309291153928437892056681316516672840598427375602353901813900\ 27709863370957368327658937/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^8 + 1006928651862426684722123380142846209950398316432486364796484473849\ 8987314575659316646256837/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 + 1865056199558287098893053402173821585051178045112088328284486773635\ 14492696500509396797453507/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^6 + 2611238826131755160818141981272393805815262727085128790618563763311\ 5597457396629283826430418/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 1476958443529808346885665912155260699529428862664858479979520547050\ 04170502558570753937982781/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^4 - 1257449085604249250493579837562431501894888762156419094026242395626\ 20800708094793988807607906/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 - 2969621063228437005633561945268429573548658626270346913390091958436\ 517733428014830994838419/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^2 + 4407583552242569108998192899105655773145358342868117517868195187339\ 9685362672663368212203883/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 + 2254157480137093614943500416312676107484250703016590980246857608962\ 9758259815311838154731/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0011_3 + 424396885420217877951459519024958704121190103796683181801039\ 356883278662190089373806480/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 + 4813975137608033941237419334178770791617852416420394789400805787852\ 877132831424327918243/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^24 + 4052273828308184050846562808890717084828936353228608395604180070474\ 1001834969279776732117/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^23 + 2430360170801531777024426982175329291736706789754907914772802464444\ 95471622292162811393484/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^22 + 1071741405146335666197524160309277347164639492667975307004845363864\ 712839794013235235088909/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^21 + 3623882716894381658702273046681696028877628027934805126738271877400\ 716890461122419460661695/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^20 + 3241991077486869176034453875215780886530559641614819421500707024059\ 670094623930642947997755/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^19 + 2087446793471842508875146963519520069791300401297251055466040131297\ 1718973162006307191102856/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^18 + 3473074681492033921235774498198803757710827406695610851856315607054\ 6235685448073178952639420/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^17 + 3869596762577740031970125136574055869509831970096699127222848205557\ 3579438075468711274249320/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 + 9373088399730889480884117278024477613213595553869956023993977056208\ 367538505193242304232736/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^15 - 7290152494595898310106561339603590571091177016864821004625385950562\ 7633650925166703379061485/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 - 1967023812141536678887344232449231406639887430811120521933670905843\ 94362119195904216934735680/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^13 - 2792882617853178509210719318856421052765949431250988375888897813645\ 87217018355937086915418031/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^12 - 5508443063115950013622633695053076019105766349786279288362867762437\ 0077718843402640883469715/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 + 1479900086167576414607973182609473847485301252993607080699633788724\ 17152179006919343409543003/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^10 + 1304189467540184204519946200522829178116191237454208745166602056282\ 17807346347000881696560236/5330692621123834715251971115741911514749\ 734749756657900602126519602909552955196001974955509*c_1001_2^9 + 2870707064049050946657394399908032754112139552079687730653900395577\ 65704019690523283132373776/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^8 - 4062662462423256604066348208632446991638194936114070461007733202984\ 4182401583194077156801396/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 - 4488500693536880809728590122497219854019865459981968721523642264455\ 73807588281128658581559184/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^6 - 3088250174085387036792722583108238813265057327708288211513004565224\ 6889130922321758793204157/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 + 3881923318290615805551681247015780132386354939242742364250355580323\ 92234895590103129411603175/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^4 + 3258319764254908332729936247991116736862101494126293254944338172410\ 30220119081222419041937611/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 - 4158584335602365441215418106038406319233473062478535832465606605452\ 9845204706248458875778850/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 - 9832733891970207915234695538201399419003442963240930111142461302617\ 6788715853537692535555872/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 - 7441303227683548104572914026851955038948034941668063266268260490269\ 1393458529998463222562/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0011_5 - 114570656018762129923124571401271402710784321888394248983266\ 824198210996553826011067515/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 - 1478137604062079317749789069782291272831925906156647027318261106249\ 320657424529429646376/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^24 - 1295146729226907762278714987065721944178560212537870668952131144169\ 8431223599315636663228/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^23 - 8266339068138842189584788571793172293041444252556971279282630374688\ 0622786231476197407408/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 - 3921163501153037675940330593469665935975294582758558694041788017528\ 79266769729495407364513/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 - 1437034790897530254641132085339007612743324477501123118454268401878\ 539722346792802996530584/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^20 - 1403691154256655383806559901616863514677220974183642416577714297770\ 741829556140249248545640/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^19 - 1004075203190340930227355034736913931095771949025778522524486135642\ 5666040989497015280583270/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^18 - 1934883376826717704729423827933759836529482171826217492283503858126\ 1225323473270517548124213/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^17 - 2860898669625496958593966797683361392550835201594507957823888423959\ 1555803293200550080116772/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 - 2736230516190030581006379096892696736132046213156192275637825833080\ 8182275251085065524235008/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^15 - 8887173004050128363678118028240586514037562989796485584356883728215\ 06392672214846078325875/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^14 + 5901746117590188271109844424152794190929886298630134252498581114008\ 5479734027714982901518696/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 + 1336991436452391480461596997800977501893771427397258753081755909541\ 60274767313077889948018156/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^12 + 5266609680661468021623604896205099695135660915603664333863333802853\ 4654027451417948927460470/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 + 7291792914759837846870734163937288686526668333588281183861346921736\ 6032237110297062136144342/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^10 - 2175615450487725309826984656425103685543807641742828666267648071563\ 0962267647629493812257654/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 - 1239520520199209142263356762062175205014475641185155259442805349295\ 23679791911400168130711622/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^8 - 9587125062179028003691098937957280656013259308609872694707146618810\ 337400790188380074326096/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^7 + 1489297228550917797956618420510873067064449534712531068193988348133\ 99446948152516065511994161/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^6 + 5545619101804619554480837123124759317445141799187993913612024735793\ 1595377260971633256004495/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 4407497307729212147877677265708128826661374373567785236873337919185\ 7354258678516827758685392/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^4 - 1179572778073302647360433479949002875998752190370491869345384458793\ 83707357973181353853698472/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 - 4108190057472885842917560200309368400904677876678938280789010689559\ 7765348527679948944661030/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 + 1586064699021623820356334610574564308265156036723811752362200154092\ 2163930178507822449999422/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 + 2929010958699102816004270597837782510882823512324363180149985827927\ 3359101539199601072442/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_0 + 263725783942462403986502391009181541801976303194637489821839\ 40798042622057960125724892/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^25 + 4028827258033413524028339452162917695978542269859989376934337935801\ 30825206192218711814/1599207786337150414575591334722573454424920424\ 9269973701806379558808728658865588005924866527*c_1001_2^24 + 3711833707177098314794018259909835434688642110108997181922583586303\ 270756706302613810371/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^23 + 2514288316018509335743245336062743401538361888893270059512060005468\ 3185580929243058558526/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 + 1270419825433356662357822129726212263543671252549696624756731415406\ 87970624387786571571884/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 + 4920869304973746025781785845851581476858857823197771959071158484612\ 07570774649549027808674/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^20 + 5019254089533176260545222138444764921618037021119170135130413451984\ 54253516299748762263332/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 + 3706501562895406233306729530485842417871055346648432450753566250803\ 181369651315773138688917/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^18 + 7292408898217928523668259564130655359263437190654222926392114988540\ 455434793477814027232475/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^17 + 1083382782246989709115748474181281926358482684799466797239075410357\ 7397613101102641262815439/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 + 9656870432644999268861774017507617511378556821362653051406706458823\ 575469853039478693930299/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^15 - 3319180017678122823498600526304014100680433910632433933752466470570\ 158663710051264169106246/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^14 - 3185997390485512754581436433573423016089844763888929716604772280482\ 4495143743120948008616982/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 - 6713204255498684871841175511292824406831929156876235803553860906916\ 2638629600718496138604394/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^12 - 2601967625327508921970072886885074332302730295274783544753637587774\ 7916444882181678945645561/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 2527239753498824482990661903125809420546984392891899774875508758241\ 2294646341235307693815904/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^10 + 2431752131869080398240587016393242157365773935861352639149126595139\ 6478071242708514607390004/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 + 1223398806002430157013519520582458892828855657324259496521126827265\ 19706221105080351805284424/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^8 + 1974070668931389660511916538595259553959501379407000654251805957546\ 4338739453718030447507100/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 - 7247502200921790273518911035269484460213788391615644732863329686064\ 0186528945762814090325847/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^6 - 4399638145236449757167012917297674362646152809330379092562314911795\ 5763281554156883162366969/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 5165041692764076713527846901342005754451650603480154255574030401023\ 11152268585924326170374/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^4 + 1392479812864727203204253763212763106009300631810156731943937199971\ 46315164351652170167269136/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 + 7105236198451511762617332289635266789082237802640443212493265759600\ 6493434395905013136404426/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 - 3309256465649355898536952806240186623278320177792592310069536213322\ 7664816542792733811409467/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 - 6754727589233247381167623639148539418618701487543187858844608931220\ 5524865501444054772008/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_1 - 186498165649116163040478875545972494652762580612290153841345\ 008273349695160154226303795/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 - 1886705557781757228120092269861446023896486807693309617674824668004\ 220410056186347874920/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^24 - 1529293776278865645847302763475931744655576898124261541923724991513\ 2064257214025144972841/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^23 - 8586281565101325783787643684482215325948616773196450371596564787324\ 4921278351264734386966/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 - 3474981264061483952573841241321782263208259626205290826457515499500\ 40762894367873302910788/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 - 1059493783455529282928707699205893840004537782402557364257838182640\ 425988083689555094985961/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^20 - 8380306376275927417359228187750985750961532383616229694892710666226\ 32530291647893909432988/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 - 4567341830747351449810178745785372139359425757308414651176779917105\ 847677494149310891578984/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^18 - 5658733549071554750940364183212707382639234420014598841116787533899\ 532409340948953048217440/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^17 - 1648342434427246407856871407111454598722297125545857652679503324003\ 513501986365537094809982/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^16 + 1159329590633800830717784527580940952678390197357810105259328090222\ 1748376955620502338299484/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^15 + 3251886956342947892668791753917072129969677122271020442365534573411\ 6589194214651667156301776/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 + 4931635087604556146531161374425561293656882590935722868863524663761\ 5967996832777619480837035/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 + 3359438802828407327920546855481965502351195477136287540244324507733\ 0202015637429823566461936/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^12 - 1432714253523576297656324219456202863850676615417378592241385267888\ 7651170485310248886197127/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 1143808676019941029682750080778265918394660900911843043674310001294\ 44062314105991087394719463/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^10 - 2890565203270283006054000599123691400577999597570882076210545213555\ 0298808987212428080481168/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 + 2939239203892061193535414180182836840207733249849102905865543517767\ 4635844362149042977714411/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^8 + 4361734102505081631206556935534860442238423494592986280955111131549\ 7082533556889523355254460/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 + 1058149235158203088170695931118260418902296547846258338996066548836\ 00388216534443898091162638/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^6 - 4584683578855174390853315122818636146181710352950461773167676991370\ 5945512605801188176076655/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 1178760871673436513109267096543149908668439827435818129735040588827\ 61794102351075919496372324/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^4 + 5290561726944384524461563579479964144294377849579667109807058202381\ 0979006072556248039017727/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^3 + 8627311885206735133653322359962669292162539046819473604815782858584\ 1820300030598781999303724/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 - 8378307806756809295695352802371879459540851760805536228019007276136\ 697729310576699878215032/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2 - 1599192956155181937436581971304003483503249602580740762723882941634\ 8064554106448982865953/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_10 + 88735904885217862148431782343972631971235006830800433665244\ 802207372263116714329905172/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 + 8234633150849948338459431821051878977337820246905410688467352719072\ 05648781613597359946/1599207786337150414575591334722573454424920424\ 9269973701806379558808728658865588005924866527*c_1001_2^24 + 6456567169156691977431562675615517747784681200077330888671185098320\ 423449976167707304912/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^23 + 3407791593289098642258008388386001365324370084785234499006841384985\ 7614677200039736336048/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 + 1256030187331247135903342166591142799619562280325055489100438127534\ 16484406940900365434212/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 + 3349006122666118643889170074949759655150853215398296102386495014357\ 99979014559569131071514/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^20 + 2171293481016896122002934817873974174444661441053079677029396212677\ 31573093182019057614847/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 + 8078039449604765336169123115366194519976585162740292215036156277815\ 05275055581196298804412/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^18 + 5592970958095229622099700005794286990705618240464285899098551031332\ 7194424430256408899961/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^17 - 2779367156697903195470144243519888523263238142294457014551289511353\ 869479027776745494646942/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^16 - 7195009202119521813092767366748427772594290917999814476867104451549\ 265265243598287329214247/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^15 - 8928269459193752004456186158318775261381987645925637922500054048633\ 422608111134508797349058/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^14 - 1229214446656262982915003500394624738834806614132840039238783101617\ 250018327045480803100411/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^13 + 2366789656348991764919062321471490896340212681159118360723752748128\ 0271292323927054264222438/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^12 + 2048277114548477039312731441609901198009524097431918660941675451839\ 4747306799932125946029823/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 + 5538891374228491129736582599697332312968920753235886201950619686217\ 6631945054471974200524183/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^10 - 8770165012404117173645955350357757467490573416252550443944338251401\ 426401099733275735829624/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^9 - 1154578192935837418992178584261159830003257957338346983365575343197\ 86979234032240024640756814/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^8 - 4092984239502335938472197783261023402087633234353849887602894604914\ 1771364274115930984583746/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 - 2228711126717355319213394795790215220863789780770995296796453583210\ 4388878357154565202227982/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^6 + 4749899676978248622194746254091552809258930576192884754111387407527\ 9041469261644705615143227/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 + 4282429834796245440897768376978275602945556997601190746386572545957\ 5065779679094593295958563/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^4 - 1348649766819909412088362243278380689368719368892909525191525774057\ 53168469824300229677401618/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 - 9179649823758307648594422140592455843834756670727754273153991209861\ 6284316687768278545242371/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 + 2267280700071306905206770241265380210213008572081561746138342246319\ 4797194361381225499128462/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 + 7027965778505126809612741885061696437938250825644364096352808404337\ 2673669654146734998548/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_11 - 20187393451555706075681325741812202976211241910312355844786\ 2107866911509730447843592/40692310084914768818717336761388637517173\ 547708066090844291042134373355366070198488358439*c_1001_2^25 - 1868980783171920249458221690403112397914042400918867378072899518985\ 715709530198956267/406923100849147688187173367613886375171735477080\ 66090844291042134373355366070198488358439*c_1001_2^24 - 1449917311279384087263844766042881524929717572124147966818911243336\ 4695386024918439318/40692310084914768818717336761388637517173547708\ 066090844291042134373355366070198488358439*c_1001_2^23 - 7534055263490329346332608008577021428979263273145849162126278976699\ 7331176196457902245/40692310084914768818717336761388637517173547708\ 066090844291042134373355366070198488358439*c_1001_2^22 - 2676915587418551200080330368432318933556093258495877342625043876188\ 54664129671960966872/4069231008491476881871733676138863751717354770\ 8066090844291042134373355366070198488358439*c_1001_2^21 - 6517418511711915808746349582891027054748269710034212938233272322820\ 65018759795816088349/4069231008491476881871733676138863751717354770\ 8066090844291042134373355366070198488358439*c_1001_2^20 - 9726835198044365609087395806389660571078044931447099750418404643577\ 06689765778579681163/4069231008491476881871733676138863751717354770\ 8066090844291042134373355366070198488358439*c_1001_2^19 + 8625343266111606481037469351975974266282630695973345868564774765902\ 065466808658226504/406923100849147688187173367613886375171735477080\ 66090844291042134373355366070198488358439*c_1001_2^18 + 5287826420215197938103167151722155731004098600619326224713130917317\ 087516526665410934028/406923100849147688187173367613886375171735477\ 08066090844291042134373355366070198488358439*c_1001_2^17 + 1937652031757113818899543091242892630141990852084376291009856361608\ 9727185968314616529854/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439*c_1001_2^16 + 4213468447434795493834171324110101589333130469120613061375922322753\ 4682372506536900360872/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439*c_1001_2^15 + 6041859164814971741417570387813684246076535526914812683954721850329\ 4531244688795456931753/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439*c_1001_2^14 + 4706139899016757082430979507719731091360232214185809255323236519255\ 2855819356507831330317/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439*c_1001_2^13 - 3435635326609746099539632725308570493584810762803267332512874472668\ 3217916870879003053668/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439*c_1001_2^12 - 1883366985409418236302455600097202756263180766626501290610334085731\ 42144196459254496671398/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^11 - 2713165439768320541983345322931138197036293769915799635045061287449\ 93688083032997847642357/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^10 - 1434139995729467484313046288617956262796315405800731818601585590803\ 38278475428290747729461/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^9 + 1116339220033398938136481212652393212371549772876122706586115242759\ 49621144690941731038545/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^8 + 2596778806038473635306388115373116195205992909298301205792832223798\ 31216619449061325387734/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^7 + 1104290865355235419691958288671684747753498656884548494975958882749\ 74482192929658046024588/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^6 - 3230881218911630961112251476753704562487187752538514019998461498607\ 50447307127380935228481/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^5 - 2522507246475116056312009670869524551904350838124297510256514876216\ 52424265059299552262864/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^4 + 1125476681003706594043270188692669273936356242199978788607909330422\ 34050712264417950603743/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^3 + 1882225128204389987449832282390901962202665432814635452919409477824\ 15445697548132649730064/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439*c_1001_2^2 - 4086807443306152343488580094930426957212193643707152322251135185308\ 032946031892391014090/406923100849147688187173367613886375171735477\ 08066090844291042134373355366070198488358439*c_1001_2 - 4940803880255301977589595131969939241991243616275370443921212619891\ 1626434333775342131981/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_2 - 129452599557980767154343575034194963348920850474888191479733\ 249037035796624241166638724/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 - 1549443621415520704965169053289149680750930634088151455461743239135\ 235584666260817634666/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^24 - 1326859605897702918810506628382216247227702623467670693687040356189\ 1984405306177274791015/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^23 - 8181975202198603482154182941124742152095104402694452731028459713628\ 1631510473607815054705/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 - 3731624012205525358755098051864018078482064028614437273249685985080\ 14663100249005731374090/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 - 1311435337707515418029004260928318831673036576681878462286896713854\ 387766342233246929259373/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^20 - 1226234110801225458033075940690923163244681793286801117904757683868\ 518308616920955458508596/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^19 - 8349679300118339850554851887030096192826154950056328851841218808408\ 852369644003027150881573/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^18 - 1510293716825524018021931668252970575969120204497108558552019671108\ 6015640872855774535018357/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^17 - 2009035075755906348396421452733507269241629685740221035299224578625\ 3312928941234322631394768/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 - 1441250704249383688424231579573853161524729480558627702064957705300\ 2904423258548087165983206/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^15 + 1203896603017058724368384110101403596553176294511510664682446321341\ 7410982702948418563809454/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 + 6091345996704172263364528646388789063067745078254751785976751359746\ 1817947076985534828521917/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 + 1092469427993439690070760237295917429532540013008226184566526929276\ 11704215103665935000562763/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^12 + 3340213638070648804971249215097163044284845717408761220379300176111\ 2907288305942119453958608/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 + 7890815782653636606452189149461106671970129917169568763158602916122\ 789533232585286625850604/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^10 - 3095454858393633700609051676455578109982326220358633221031337623663\ 1906787973618955648563630/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 - 9685940066822656572442444697289637535085427525832524503705171765540\ 0098571938328428683478099/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^8 + 4723126820792712351376452937050027103244680726188333557819960752957\ 256227569756680079036798/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^7 + 1432346067407903751022606552255493551007363483737237403686878274676\ 26984340554389947665838926/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^6 + 2600059329302531575154147584967185646244057332598858223477407250426\ 7804269983658353831707726/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 9752862130293449511513626908231526315308225170380060012707067658137\ 0824557181829399597516630/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^4 - 9926074454603251354448874423884246081334164965235955102379639663800\ 2489100787205428630237688/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^3 + 1511322111969179620276078010724855549791269748559362931232304327839\ 449619192448041130440172/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^2 + 1122645491307319151011483553672950307875923806491904401150611134200\ 7326093772886102595854755/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 + 1733861189131952903371565282659456192858157744325479920670153973921\ 7013199892310875765285/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_5 + 229636612856566978744127376503221967144396156558482291086575\ 51653375436703725631736213/5330692621123834715251971115741911514749\ 734749756657900602126519602909552955196001974955509*c_1001_2^25 + 2848305368579541570739629901962313755992116233151821798767278450239\ 42615437374363777615/5330692621123834715251971115741911514749734749\ 756657900602126519602909552955196001974955509*c_1001_2^24 + 2457710590102758757663255578028288464280943234697984514740349218551\ 579470527997306296470/533069262112383471525197111574191151474973474\ 9756657900602126519602909552955196001974955509*c_1001_2^23 + 1538329534299102553071987286537694910644638247397837575115520770062\ 5153611855633404898365/53306926211238347152519711157419115147497347\ 49756657900602126519602909552955196001974955509*c_1001_2^22 + 7127584238380989597766737930913432283725004479469187881646333970888\ 8533610341809571562659/53306926211238347152519711157419115147497347\ 49756657900602126519602909552955196001974955509*c_1001_2^21 + 2546794130063693735707404284849602745424633261402769018450957523177\ 30201606758848028824419/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^20 + 7275583177792971739823161806292848916737528292734059070771812658176\ 48164718534092301645886/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 + 1691207845936947406723711562376131314629308152456815133936619370428\ 842403192844806493966820/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^18 + 3173576630940019551493618219350845727305688751058237296140579594038\ 365355666096052836934506/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^17 + 4546386689988800874331669933177779039719040132051241483518987195892\ 882516849411719970447438/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^16 + 4172365701002661614004438006839243879670756327664734506837835508057\ 305194436736020802308288/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^15 + 4406925772481275331449544183346142931503110269491755623288532305050\ 1490361815140941306498/53306926211238347152519711157419115147497347\ 49756657900602126519602909552955196001974955509*c_1001_2^14 - 8564619149019250001078005973210013071228530889762854264764097022507\ 339991120891565210580872/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^13 - 1824215990446735674615585648377884278584278489029415806201223842926\ 4640610260871424166718572/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^12 - 1918525649674559415363127364315574233810794287464036549429529497982\ 2949269436673755803177700/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 6096680944525274871237218879995355233189907833636064552874947054741\ 263141116935577716638133/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^10 + 6817090049625505628917320533066337617495025103127638423251457722763\ 153308892045647153964079/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^9 + 2457978338639518992501579048785571487430184010878562634536833782760\ 727694882673789402755920/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^8 - 1716117960622515347014303385967034768076022101233453235213226364995\ 1622458306865369863174480/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 - 3303171994648695296052037245859647851734659539620015792228686688843\ 0590075068968089837036834/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^6 - 1567107733567486601358071753736009607238507771864251292633269193163\ 0778212659756738332336792/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 + 2109326605277010071570160444422306655418304649140997868286924406987\ 9587936723089873914447201/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^4 + 9792591672900550312604106837840988027293679526258780560899403772616\ 073357892286035424511208/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^3 - 1204986521191725002674890630972750029066075138951920966012435973577\ 8468632116213350085085057/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^2 - 4027683583388416623919626622272935778943791250550555672833716008638\ 517360342364089758246954/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2 + 4009579508135427650561756644933545411082727830376089528141544762261\ 2246663324747896230246/40692310084914768818717336761388637517173547\ 708066090844291042134373355366070198488358439, c_0101_7 - 100814086372577707286635540646432821603667009729847943320525\ 957516990009464460820595791/159920778633715041457559133472257345442\ 49204249269973701806379558808728658865588005924866527*c_1001_2^25 - 9844053094597220557513658921838367366732503672935913563395922353103\ 73179670085716179891/1599207786337150414575591334722573454424920424\ 9269973701806379558808728658865588005924866527*c_1001_2^24 - 7771390140952346043407298032490189159056561010380533653373818289401\ 933728788511383171624/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^23 - 4202411796995840684410475396903092242756768089151947151341461766425\ 0883886080966828194088/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^22 - 1591897616497556099574273534593561802731209918142574497292211963951\ 49601244787640687705761/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^21 - 4342396291330023315267033214582731673877593307527276180337234852381\ 96728022905414640874581/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^20 - 2819404940978668674634093728305375743607719914509790675036688612395\ 93244928299283697613847/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 - 9607382869713170843159612371177489297205454751626735017350679094472\ 47695478200832526262321/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^18 + 5219569399962074711481106642577023400725765672825076458366541417471\ 59931463620959539606143/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^17 + 5919845239388812384993503814264915055613532737920600439944971388607\ 991351890738885913767289/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^16 + 1603612770789525811598872548356479356773354338006386629838790688398\ 1981062369100765359313377/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^15 + 2597976237499280329191792939793477498407028634723295259416843549986\ 5327581724844177049296321/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 + 2411751214502108941562163390851200540111748150886203370445184767878\ 8701397825698845427955939/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 - 6795800670738773141571956960706059268204563087304503794627727639003\ 875130360099701818375751/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^12 - 2455057755206784366527390883365128801953494502517182491799721354482\ 0187041955867332129649531/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 1149853297027328859721450123947683040958259900408448493023577871994\ 14869336396570544369364046/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^10 - 1900164965194729323233787908357586412913134033623280340775502214453\ 9501444062508965526214157/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^9 + 6132571071855668304785387156936328613156737323494464384988409874274\ 8471504374142855030242395/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^8 + 4107408919843222966162243134228714906853834457920269693937691110051\ 4193231236761320839779910/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 + 5291444302653922868404230535396231297032956212052986397290871654007\ 0373866187185199780460794/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^6 - 5077014357144631322703853712817533000123709054764085861504287096015\ 5850507683643084384993159/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 1331946667440934412203796931201761974836880632966771456240656294733\ 57556010187721810926139079/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^4 + 8244265464124860788570381911599046402293711277487127745737468692955\ 1156887023837174364557539/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^3 + 1177575277914070685466265640643675699182697149117070082418501370879\ 42502740251632392249415664/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^2 - 6730385252518933165900026809227161035737755791751533758179926075713\ 35838156949669688684493/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2 - 1073535481224053209267793062815355845875636112630365193962611150809\ 64244915674592630213180/4069231008491476881871733676138863751717354\ 7708066090844291042134373355366070198488358439, c_0101_8 - 441530269874130567442776367455007217171352118914385555795933\ 85856638747102563315863827/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^25 - 1798342830269927659407800946429459098482152717850897052199665025253\ 97163548701774827052/1599207786337150414575591334722573454424920424\ 9269973701806379558808728658865588005924866527*c_1001_2^24 - 6726561105296697497049309557900900231743328965602062672086419615351\ 90652207543425640724/1599207786337150414575591334722573454424920424\ 9269973701806379558808728658865588005924866527*c_1001_2^23 + 4370627795265044578636551913774688748443580716601259944985913995569\ 019819401860120085410/159920778633715041457559133472257345442492042\ 49269973701806379558808728658865588005924866527*c_1001_2^22 + 6443284828148208249494514200485102426738999650238945873723948705702\ 9510436655987875623052/15992077863371504145755913347225734544249204\ 249269973701806379558808728658865588005924866527*c_1001_2^21 + 3902250080787690585145405619238977360719579559487460920071456968343\ 23824009520096621532732/1599207786337150414575591334722573454424920\ 4249269973701806379558808728658865588005924866527*c_1001_2^20 + 5206479771820963374863043586572232556100975593669738943837167024088\ 58546513098620072873188/5330692621123834715251971115741911514749734\ 749756657900602126519602909552955196001974955509*c_1001_2^19 + 4724126916489513963456945272861131676843947228334168353504363635233\ 588680071301296200068385/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^18 + 1129240528563076491544178206343337914589874736416470601395155323843\ 7615526668828955394086193/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^17 + 2137762752426666086297266028785396776447132768006614568422643243432\ 3634715602809260788384028/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^16 + 2962569667382733150766123820413542511962600089804545793785192070400\ 0239994478283481083572757/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^15 + 2364488054507707997310042684192469884616167831581511290193845096204\ 9134674196908309897409069/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^14 - 1048346201820967112569475034513107820734695605617277109308364436379\ 7889705932229621425205321/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^13 - 7752073093550615744259868271547614744261781795212198814637781855533\ 1295084554963288466565625/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^12 - 4884076029187335011184260122377718120202401015030316620577954146032\ 7605516525823343397754665/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^11 - 1263093933054654816309205068988615041674430613625870027317000471729\ 19001733828356551946848201/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^10 - 2101647055375925001812868519596402126201559475078647645094058573322\ 984727189328801577780053/533069262112383471525197111574191151474973\ 4749756657900602126519602909552955196001974955509*c_1001_2^9 + 9557088187284561346047458484711654747813899179756043945110916012137\ 7049896533643450537602013/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^8 + 2409545451773294496241081228340770118532644011819666382975487549191\ 4146905478721567078356942/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^7 - 7493843117227991455941231672989400250534208473308849222726105300526\ 9490773173587777840856403/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^6 - 7562416136278293172942110700603223710047741887715330106488549697128\ 1592365097703211296951332/53306926211238347152519711157419115147497\ 34749756657900602126519602909552955196001974955509*c_1001_2^5 - 4263872114545905772918409701146059022996697102161850533415813832618\ 290862417451281388657085/159920778633715041457559133472257345442492\ 04249269973701806379558808728658865588005924866527*c_1001_2^4 + 1483730681058765971702928237707016527152660517029274500005567570152\ 02635005595924598019106476/1599207786337150414575591334722573454424\ 9204249269973701806379558808728658865588005924866527*c_1001_2^3 + 5407298853774090382655399045676670839364891827894455860627634571567\ 9901287999842280392064142/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2^2 - 4105503928766683746113473774561360599472317307914952936576673985382\ 5275757744610072427150081/15992077863371504145755913347225734544249\ 204249269973701806379558808728658865588005924866527*c_1001_2 - 8649874707919694886097224229370174222518052813247550463265635808106\ 744081521737680554999/406923100849147688187173367613886375171735477\ 08066090844291042134373355366070198488358439, c_1001_2^26 + 11*c_1001_2^25 + 91*c_1001_2^24 + 533*c_1001_2^23 + 2270*c_1001_2^22 + 7313*c_1001_2^21 + 18363*c_1001_2^20 + 35657*c_1001_2^19 + 49150*c_1001_2^18 + 27347*c_1001_2^17 - 73768*c_1001_2^16 - 265454*c_1001_2^15 - 468224*c_1001_2^14 - 454643*c_1001_2^13 + 81957*c_1001_2^12 + 926050*c_1001_2^11 + 1209966*c_1001_2^10 + 410924*c_1001_2^9 - 854712*c_1001_2^8 - 1294909*c_1001_2^7 + 266970*c_1001_2^6 + 1595060*c_1001_2^5 + 740546*c_1001_2^4 - 715070*c_1001_2^3 - 592160*c_1001_2^2 + 39693*c_1001_2 + 154449 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.400 Total time: 17.620 seconds, Total memory usage: 143.25MB