Magma V2.19-8 Tue Aug 20 2013 20:03:29 on localhost [Seed = 1140987338] Type ? for help. Type -D to quit. Loading file "11_319__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_319 geometric_solution 14.20872152 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -2 -1 -2 0 0 2 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.072989040605 0.963552384443 0 4 5 3 0132 1023 0132 0321 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 0 -2 0 2 2 0 0 -2 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.127545494952 1.086418394470 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 0 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 -3 0 3 3 0 0 -3 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687323987578 0.812993711936 9 1 8 0 0132 0321 0321 0132 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 -2 0 2 0 0 0 0 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847473634590 0.995883849094 1 6 0 10 1023 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 1 0 2 0 -2 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178014529411 1.088905811786 11 11 7 1 0132 1230 0132 0132 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 -3 0 3 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.628650617689 0.885562523889 2 4 12 13 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -3 0 0 3 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630581218760 0.501026640149 9 10 2 5 3120 1023 0132 0132 0 0 0 0 0 0 1 -1 0 0 -1 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 -3 3 0 0 3 -3 2 -2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.052476070893 0.970327860653 11 10 3 2 3201 0321 0321 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278880760487 0.660447149643 3 12 12 7 0132 0213 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 2 0 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207590772130 0.834400740261 7 14 4 8 1023 0132 0132 0321 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 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222708315449 0.476356155345 5 13 5 8 0132 3012 3012 2310 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 3 0 -3 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.466984415224 0.750844130658 9 14 9 6 2103 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 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.598434482219 0.630146845088 11 14 6 14 1230 0213 0132 2310 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 -3 3 -1 1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728219733194 1.285992932580 13 10 13 12 3201 0132 0213 0321 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 -1 1 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728219733194 1.285992932580 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : negation(d['1']), 'c_1001_14' : d['c_1001_13'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : d['c_1001_13'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_13'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0101_13']), 'c_1010_10' : d['c_1001_13'], 'c_1010_14' : d['c_1001_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : negation(d['c_0011_11']), '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_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_3'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_8'], 'c_1100_3' : d['c_1001_8'], 'c_1100_2' : d['c_1001_3'], 'c_1100_14' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_1001_8'], 'c_1100_13' : negation(d['c_0011_10']), 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_1001_13'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_13'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_13'], '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_0011_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_13' : d['c_0011_11'], 'c_0110_12' : d['c_0101_6'], 'c_0110_14' : negation(d['c_0011_12']), 's_0_13' : d['1'], 'c_0101_12' : negation(d['c_0011_3']), 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], '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_0101_3'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_13, c_0101_3, c_0101_6, c_1001_10, c_1001_13, c_1001_3, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4504521728571442058611209673262582379617010143/29404641875135336497\ 7382671586898645902617600*c_1001_8^18 - 8523017515821151660331858047595156274781885649/58809283750270672995\ 476534317379729180523520*c_1001_8^17 + 76481543472969148694890467566055250547894703999/5880928375027067299\ 5476534317379729180523520*c_1001_8^16 - 406218235765063497833983361668986175935444023923/294046418751353364\ 977382671586898645902617600*c_1001_8^15 + 57867658276045900986801003271647759801536440297/1176185675005413459\ 9095306863475945836104704*c_1001_8^14 - 877066386783291526152509764408432457560651649367/147023209375676682\ 488691335793449322951308800*c_1001_8^13 + 373163646403833390743224873810735881339617063609/588092837502706729\ 95476534317379729180523520*c_1001_8^12 - 1897173354356578854544172178908916086506774646153/14702320937567668\ 2488691335793449322951308800*c_1001_8^11 + 1240480408079803503486286869295172570308629813463/29404641875135336\ 4977382671586898645902617600*c_1001_8^10 - 1205205128258710740986509563054190940398370204789/29404641875135336\ 4977382671586898645902617600*c_1001_8^9 + 16591137740761238428460616738302543360550703315/8401326250038667570\ 78236204533996131150336*c_1001_8^8 + 8372434924395733825077134977668600072199202332059/29404641875135336\ 4977382671586898645902617600*c_1001_8^7 + 8281249557215420345676428026360257754297155657439/29404641875135336\ 4977382671586898645902617600*c_1001_8^6 + 110317158447864623954958683508052280105422853719/459447529298989632\ 7771604243545291342228400*c_1001_8^5 + 1917165810865862841072185047252208305861559434117/29404641875135336\ 4977382671586898645902617600*c_1001_8^4 - 82275955572083178907545422433588515420939027533/1470232093756766824\ 88691335793449322951308800*c_1001_8^3 - 275664846546998251119781302125598561939578736219/294046418751353364\ 977382671586898645902617600*c_1001_8^2 - 940069790833256282704049521237455011734105667573/294046418751353364\ 977382671586898645902617600*c_1001_8 + 290502116202672590616983624337714285338787660419/294046418751353364\ 977382671586898645902617600, c_0011_0 - 1, c_0011_10 - 217005508913605773781383641076661199/4641821876126385459458\ 076625121530958*c_1001_8^18 + 2137168197100633951427013017068550421\ /4641821876126385459458076625121530958*c_1001_8^17 - 19203715213293166548742056210993454329/4641821876126385459458076625\ 121530958*c_1001_8^16 + 26572462296360805820358815354582874895/4641\ 821876126385459458076625121530958*c_1001_8^15 - 75986717893373382045182749469928472287/4641821876126385459458076625\ 121530958*c_1001_8^14 + 55049155164356080452780952622912899001/2320\ 910938063192729729038312560765479*c_1001_8^13 - 117077624892562174125523628301918303473/464182187612638545945807662\ 5121530958*c_1001_8^12 + 105439889322960200931834743525118551189/23\ 20910938063192729729038312560765479*c_1001_8^11 - 122184899713680639252851573328478858393/464182187612638545945807662\ 5121530958*c_1001_8^10 + 65855598668817294837233871638501756653/464\ 1821876126385459458076625121530958*c_1001_8^9 - 148150027647971696573401850154319726316/232091093806319272972903831\ 2560765479*c_1001_8^8 - 302869576567886612588847518478742366077/464\ 1821876126385459458076625121530958*c_1001_8^7 - 222315821393785464956459539855950395161/464182187612638545945807662\ 5121530958*c_1001_8^6 - 77642025824735370617621287588436504224/2320\ 910938063192729729038312560765479*c_1001_8^5 + 74055888519771831823114869070399203805/4641821876126385459458076625\ 121530958*c_1001_8^4 + 40243461283538723148649316987243295386/23209\ 10938063192729729038312560765479*c_1001_8^3 + 22957047014519710299777574287431826805/4641821876126385459458076625\ 121530958*c_1001_8^2 + 48972188546009959317682509648433056553/46418\ 21876126385459458076625121530958*c_1001_8 - 28891253876873706320449018230993968053/4641821876126385459458076625\ 121530958, c_0011_11 + 257387955701337737552913287321175965/2320910938063192729729\ 038312560765479*c_1001_8^18 - 2469698646248202977869222268535168423\ /2320910938063192729729038312560765479*c_1001_8^17 + 22158196662447097483357193226386372485/2320910938063192729729038312\ 560765479*c_1001_8^16 - 25964954574141510351838367469417302541/2320\ 910938063192729729038312560765479*c_1001_8^15 + 84086311084567520565320037345291809882/2320910938063192729729038312\ 560765479*c_1001_8^14 - 109909826695140435582344503319901587286/232\ 0910938063192729729038312560765479*c_1001_8^13 + 113891418941913988284156408248980146710/232091093806319272972903831\ 2560765479*c_1001_8^12 - 224769813749932378082449063378015849464/23\ 20910938063192729729038312560765479*c_1001_8^11 + 93216624662052442560921813157223067298/2320910938063192729729038312\ 560765479*c_1001_8^10 - 63011370989081160196602393746640778140/2320\ 910938063192729729038312560765479*c_1001_8^9 + 339112125966586345082182472767702099606/232091093806319272972903831\ 2560765479*c_1001_8^8 + 438914317466027949635038682099388971287/232\ 0910938063192729729038312560765479*c_1001_8^7 + 383344398802450535317759782060313081929/232091093806319272972903831\ 2560765479*c_1001_8^6 + 296729962495842113530251014304345423278/232\ 0910938063192729729038312560765479*c_1001_8^5 + 6366961901733802135819855095535418160/23209109380631927297290383125\ 60765479*c_1001_8^4 - 68421751350099185095913762466933139313/232091\ 0938063192729729038312560765479*c_1001_8^3 - 36498591339780269616238686216439570502/2320910938063192729729038312\ 560765479*c_1001_8^2 - 56883806362271073443790036515296406429/23209\ 10938063192729729038312560765479*c_1001_8 + 22931888819002483164745696550401963303/2320910938063192729729038312\ 560765479, c_0011_12 + 307149673546872100795046739002817485/4641821876126385459458\ 076625121530958*c_1001_8^18 - 2986304396335939942745998412627862095\ /4641821876126385459458076625121530958*c_1001_8^17 + 26813570860227516901842298965337315423/4641821876126385459458076625\ 121530958*c_1001_8^16 - 34308855224200965706832410228443782231/4641\ 821876126385459458076625121530958*c_1001_8^15 + 103877190341507729668407425320148999771/464182187612638545945807662\ 5121530958*c_1001_8^14 - 71461465409492494694663164251620456323/232\ 0910938063192729729038312560765479*c_1001_8^13 + 149941810590919712832107702346654724913/464182187612638545945807662\ 5121530958*c_1001_8^12 - 140467513225728322988990774730994992818/23\ 20910938063192729729038312560765479*c_1001_8^11 + 138595444027881564601076026135263254899/464182187612638545945807662\ 5121530958*c_1001_8^10 - 80253216649611323776719775038362145775/464\ 1821876126385459458076625121530958*c_1001_8^9 + 202732154738217741302926489209038060545/232091093806319272972903831\ 2560765479*c_1001_8^8 + 479616975465680473742260133653313279597/464\ 1821876126385459458076625121530958*c_1001_8^7 + 383946600959188518221253557920306935471/464182187612638545945807662\ 5121530958*c_1001_8^6 + 147270562070228508272552807571708032169/232\ 0910938063192729729038312560765479*c_1001_8^5 - 41247729641288648726158278266935870637/4641821876126385459458076625\ 121530958*c_1001_8^4 - 45323676622786358003668039067940652727/23209\ 10938063192729729038312560765479*c_1001_8^3 - 34628357413799132341686199504828878257/4641821876126385459458076625\ 121530958*c_1001_8^2 - 67190783684453121472819276647083291073/46418\ 21876126385459458076625121530958*c_1001_8 + 33318305843962437698885849248529058763/4641821876126385459458076625\ 121530958, c_0011_3 - 1, c_0011_8 + 317433042294248009521392248331765055/46418218761263854594580\ 76625121530958*c_1001_8^18 - 3056037265501684836499501263863688061/\ 4641821876126385459458076625121530958*c_1001_8^17 + 27427604572580557247240229245386158959/4641821876126385459458076625\ 121530958*c_1001_8^16 - 32933713073197188296479739696576954745/4641\ 821876126385459458076625121530958*c_1001_8^15 + 105044527765667804191415538797418417123/464182187612638545945807662\ 5121530958*c_1001_8^14 - 70031320796593223845300742726890620920/232\ 0910938063192729729038312560765479*c_1001_8^13 + 146657303101406280892483228346373643419/464182187612638545945807662\ 5121530958*c_1001_8^12 - 142561124318628898153729283142754211654/23\ 20910938063192729729038312560765479*c_1001_8^11 + 128035148427254166988328986606415150723/464182187612638545945807662\ 5121530958*c_1001_8^10 - 84826804706239982245477143560713636843/464\ 1821876126385459458076625121530958*c_1001_8^9 + 212977697887420360774105291401915039889/232091093806319272972903831\ 2560765479*c_1001_8^8 + 526207262457733868364052903584133482499/464\ 1821876126385459458076625121530958*c_1001_8^7 + 454779583500899695026923479102693376211/464182187612638545945807662\ 5121530958*c_1001_8^6 + 171724860422495857147998093164406132038/232\ 0910938063192729729038312560765479*c_1001_8^5 - 12965220722164805630044296126951543397/4641821876126385459458076625\ 121530958*c_1001_8^4 - 42038969559596476664537000085837406994/23209\ 10938063192729729038312560765479*c_1001_8^3 - 41052522559179548992033335673601774029/4641821876126385459458076625\ 121530958*c_1001_8^2 - 68978779142952295357450275367521269395/46418\ 21876126385459458076625121530958*c_1001_8 + 31524605159355669387688404634048909039/4641821876126385459458076625\ 121530958, c_0101_1 + 422009095101882849691525212198464929/46418218761263854594580\ 76625121530958*c_1001_8^18 - 4069497164259745145410017478316117015/\ 4641821876126385459458076625121530958*c_1001_8^17 + 36523320300970797632204935901368403351/4641821876126385459458076625\ 121530958*c_1001_8^16 - 44310755816819688911573325691676554765/4641\ 821876126385459458076625121530958*c_1001_8^15 + 139895421296057742976562758732625768477/464182187612638545945807662\ 5121530958*c_1001_8^14 - 93659773564963970519587798779223654286/232\ 0910938063192729729038312560765479*c_1001_8^13 + 195687405552152261979421878596679278037/464182187612638545945807662\ 5121530958*c_1001_8^12 - 189460414907511994682769111881099676896/23\ 20910938063192729729038312560765479*c_1001_8^11 + 172511646453821722078682647917697762797/464182187612638545945807662\ 5121530958*c_1001_8^10 - 111610678678756692121011522089864294613/46\ 41821876126385459458076625121530958*c_1001_8^9 + 282533750724571956390400664428770983667/232091093806319272972903831\ 2560765479*c_1001_8^8 + 692211356649808276961574418260035611533/464\ 1821876126385459458076625121530958*c_1001_8^7 + 591429037400181717638015052361071879649/464182187612638545945807662\ 5121530958*c_1001_8^6 + 223371344054755333716647107377113215262/232\ 0910938063192729729038312560765479*c_1001_8^5 - 27302276280481634105501360388574336557/4641821876126385459458076625\ 121530958*c_1001_8^4 - 58656615968507678008027197830207031617/23209\ 10938063192729729038312560765479*c_1001_8^3 - 58901775461370351024023801835463461869/4641821876126385459458076625\ 121530958*c_1001_8^2 - 88302599039450468902940186831479732195/46418\ 21876126385459458076625121530958*c_1001_8 + 43536558224506932532935844668741656119/4641821876126385459458076625\ 121530958, c_0101_10 + 567893860145407951886313324923834135/4641821876126385459458\ 076625121530958*c_1001_8^18 - 5472507561385259433644250340072996239\ /4641821876126385459458076625121530958*c_1001_8^17 + 49113582870172826309521518111372763831/4641821876126385459458076625\ 121530958*c_1001_8^16 - 59308728001938805223731855787248397939/4641\ 821876126385459458076625121530958*c_1001_8^15 + 187928685727921151331216136745738087305/464182187612638545945807662\ 5121530958*c_1001_8^14 - 125423434943702940456022033868419612435/23\ 20910938063192729729038312560765479*c_1001_8^13 + 262446823774388617937333806050975795603/464182187612638545945807662\ 5121530958*c_1001_8^12 - 254813927274603820117892671070717629163/23\ 20910938063192729729038312560765479*c_1001_8^11 + 231460557642750967602945506751796514677/464182187612638545945807662\ 5121530958*c_1001_8^10 - 154316505974059498185360527930261283249/46\ 41821876126385459458076625121530958*c_1001_8^9 + 382337116096877002346918836197210883780/232091093806319272972903831\ 2560765479*c_1001_8^8 + 928626110877388068595857838051467288337/464\ 1821876126385459458076625121530958*c_1001_8^7 + 812758703743034025569440223755264916301/464182187612638545945807662\ 5121530958*c_1001_8^6 + 303020937004908601787723775777543239472/232\ 0910938063192729729038312560765479*c_1001_8^5 - 19470808863650554162717540651139985817/4641821876126385459458076625\ 121530958*c_1001_8^4 - 80727704729115001670809643941284162561/23209\ 10938063192729729038312560765479*c_1001_8^3 - 82974611758028028023575090781492228381/4641821876126385459458076625\ 121530958*c_1001_8^2 - 126097008790329441632619227111006042389/4641\ 821876126385459458076625121530958*c_1001_8 + 55958576838103767360172459131120145607/4641821876126385459458076625\ 121530958, c_0101_13 - 207028638962311729764831372402439778/2320910938063192729729\ 038312560765479*c_1001_8^18 + 1974978719537177686619563628107391535\ /2320910938063192729729038312560765479*c_1001_8^17 - 17713829721251677148839421944914236984/2320910938063192729729038312\ 560765479*c_1001_8^16 + 19906548224980922931782059093235682748/2320\ 910938063192729729038312560765479*c_1001_8^15 - 66586402601043053731091491782857006564/2320910938063192729729038312\ 560765479*c_1001_8^14 + 84691780693893616883487350081491400349/2320\ 910938063192729729038312560765479*c_1001_8^13 - 87077960759425454081558044851800666113/2320910938063192729729038312\ 560765479*c_1001_8^12 + 176137227585975177706433055530783975650/232\ 0910938063192729729038312560765479*c_1001_8^11 - 65450466431472173111943021033542132439/2320910938063192729729038312\ 560765479*c_1001_8^10 + 48011491221728701439753480663099813335/2320\ 910938063192729729038312560765479*c_1001_8^9 - 270462746992507914055293704141188133727/232091093806319272972903831\ 2560765479*c_1001_8^8 - 367537654203778793708263444007278287074/232\ 0910938063192729729038312560765479*c_1001_8^7 - 330554656675814683875655384637176705718/232091093806319272972903831\ 2560765479*c_1001_8^6 - 259265653554396702048408391303534483618/232\ 0910938063192729729038312560765479*c_1001_8^5 - 22076952322675086404912179165051047940/2320910938063192729729038312\ 560765479*c_1001_8^4 + 52375662613200570138477532303876166874/23209\ 10938063192729729038312560765479*c_1001_8^3 + 32258257335249524495709627426230748688/2320910938063192729729038312\ 560765479*c_1001_8^2 + 48172590591997129474905092856976691583/23209\ 10938063192729729038312560765479*c_1001_8 - 16210878449565903473313255112304531284/2320910938063192729729038312\ 560765479, c_0101_3 + 276613625571422488202183468618792413/23209109380631927297290\ 38312560765479*c_1001_8^18 - 2669395401624883692019616595832511828/\ 2320910938063192729729038312560765479*c_1001_8^17 + 23959417540404894287757912707492574303/2320910938063192729729038312\ 560765479*c_1001_8^16 - 29217623994622303910113282127021556399/2320\ 910938063192729729038312560765479*c_1001_8^15 + 91925820420215688465376132124643687674/2320910938063192729729038312\ 560765479*c_1001_8^14 - 123266515511958761261314420925914635374/232\ 0910938063192729729038312560765479*c_1001_8^13 + 128893737606157739490372061807661100999/232091093806319272972903831\ 2560765479*c_1001_8^12 - 248979870668809542339482412142759422524/23\ 20910938063192729729038312560765479*c_1001_8^11 + 113801199471871202056783571941990500998/232091093806319272972903831\ 2560765479*c_1001_8^10 - 73535400495327587087378674799023750561/232\ 0910938063192729729038312560765479*c_1001_8^9 + 369633186943298071951338474410480295276/232091093806319272972903831\ 2560765479*c_1001_8^8 + 453232177997589285737532185114528364070/232\ 0910938063192729729038312560765479*c_1001_8^7 + 386049558051266029891385169441019569752/232091093806319272972903831\ 2560765479*c_1001_8^6 + 293869893570406169378054099637662486827/232\ 0910938063192729729038312560765479*c_1001_8^5 - 20225393238427592813029347806809488362/2320910938063192729729038312\ 560765479*c_1001_8^4 - 83779609429647650565164903029962480414/23209\ 10938063192729729038312560765479*c_1001_8^3 - 43621583325819672199137810501928065303/2320910938063192729729038312\ 560765479*c_1001_8^2 - 62093861828954633470857129466771257675/23209\ 10938063192729729038312560765479*c_1001_8 + 28598198028435977059626402874282933779/2320910938063192729729038312\ 560765479, c_0101_6 + 157418022615880005896795639747728995/23209109380631927297290\ 38312560765479*c_1001_8^18 - 1498167328857302245372208442541483756/\ 2320910938063192729729038312560765479*c_1001_8^17 + 13441805107564685109578086501139651012/2320910938063192729729038312\ 560765479*c_1001_8^16 - 14898516952204267916276827079127362315/2320\ 910938063192729729038312560765479*c_1001_8^15 + 50880564907100041455682809567552116460/2320910938063192729729038312\ 560765479*c_1001_8^14 - 64143372429043717457602509000415818856/2320\ 910938063192729729038312560765479*c_1001_8^13 + 67343517781473742169813898252327470069/2320910938063192729729038312\ 560765479*c_1001_8^12 - 136049209647633996500456000035990665175/232\ 0910938063192729729038312560765479*c_1001_8^11 + 50827075119877422306610024568940875603/2320910938063192729729038312\ 560765479*c_1001_8^10 - 42112381231977252582164481790037043876/2320\ 910938063192729729038312560765479*c_1001_8^9 + 208397715710742154802615715631399748812/232091093806319272972903831\ 2560765479*c_1001_8^8 + 281735659854687796643246019407091292168/232\ 0910938063192729729038312560765479*c_1001_8^7 + 265297194835800821982272171483597375320/232091093806319272972903831\ 2560765479*c_1001_8^6 + 213719787802548269552270430974963152681/232\ 0910938063192729729038312560765479*c_1001_8^5 + 28525217605627598365036805789517237399/2320910938063192729729038312\ 560765479*c_1001_8^4 - 29166297449676335087686532853175248246/23209\ 10938063192729729038312560765479*c_1001_8^3 - 26657206348924238835555358246628868314/2320910938063192729729038312\ 560765479*c_1001_8^2 - 37390022474617711570531435308433006012/23209\ 10938063192729729038312560765479*c_1001_8 + 10597144736331049266995205295659317820/2320910938063192729729038312\ 560765479, c_1001_10 + 224695201141086147736386466789755647/4641821876126385459458\ 076625121530958*c_1001_8^18 - 2145097024149676232315114722598911233\ /4641821876126385459458076625121530958*c_1001_8^17 + 19239163458541924244938617093758128865/4641821876126385459458076625\ 121530958*c_1001_8^16 - 21729426105741280244306509736995967963/4641\ 821876126385459458076625121530958*c_1001_8^15 + 72322224639944584410836785231228646765/4641821876126385459458076625\ 121530958*c_1001_8^14 - 46238459199181321980391233271280193740/2320\ 910938063192729729038312560765479*c_1001_8^13 + 95204567433428983692203631821842807335/4641821876126385459458076625\ 121530958*c_1001_8^12 - 96232493921171128147376017381339573124/2320\ 910938063192729729038312560765479*c_1001_8^11 + 74380919088357921827428630932476070433/4641821876126385459458076625\ 121530958*c_1001_8^10 - 55335964536820539141044762541499087339/4641\ 821876126385459458076625121530958*c_1001_8^9 + 149484015247534462807113504750584897525/232091093806319272972903831\ 2560765479*c_1001_8^8 + 390373964781058619136902155987822119237/464\ 1821876126385459458076625121530958*c_1001_8^7 + 359154133305337945094280001963005014323/464182187612638545945807662\ 5121530958*c_1001_8^6 + 135683396932520749984924090576672343965/232\ 0910938063192729729038312560765479*c_1001_8^5 + 21722859312649972247103638197892891183/4641821876126385459458076625\ 121530958*c_1001_8^4 - 27742155972879626579065876249573287833/23209\ 10938063192729729038312560765479*c_1001_8^3 - 34981776603019787758147840392987604151/4641821876126385459458076625\ 121530958*c_1001_8^2 - 47844791903378002070241633917546540661/46418\ 21876126385459458076625121530958*c_1001_8 + 14193035431832659766975389847212637543/4641821876126385459458076625\ 121530958, c_1001_13 - 257387955701337737552913287321175965/2320910938063192729729\ 038312560765479*c_1001_8^18 + 2469698646248202977869222268535168423\ /2320910938063192729729038312560765479*c_1001_8^17 - 22158196662447097483357193226386372485/2320910938063192729729038312\ 560765479*c_1001_8^16 + 25964954574141510351838367469417302541/2320\ 910938063192729729038312560765479*c_1001_8^15 - 84086311084567520565320037345291809882/2320910938063192729729038312\ 560765479*c_1001_8^14 + 109909826695140435582344503319901587286/232\ 0910938063192729729038312560765479*c_1001_8^13 - 113891418941913988284156408248980146710/232091093806319272972903831\ 2560765479*c_1001_8^12 + 224769813749932378082449063378015849464/23\ 20910938063192729729038312560765479*c_1001_8^11 - 93216624662052442560921813157223067298/2320910938063192729729038312\ 560765479*c_1001_8^10 + 63011370989081160196602393746640778140/2320\ 910938063192729729038312560765479*c_1001_8^9 - 339112125966586345082182472767702099606/232091093806319272972903831\ 2560765479*c_1001_8^8 - 438914317466027949635038682099388971287/232\ 0910938063192729729038312560765479*c_1001_8^7 - 383344398802450535317759782060313081929/232091093806319272972903831\ 2560765479*c_1001_8^6 - 296729962495842113530251014304345423278/232\ 0910938063192729729038312560765479*c_1001_8^5 - 6366961901733802135819855095535418160/23209109380631927297290383125\ 60765479*c_1001_8^4 + 68421751350099185095913762466933139313/232091\ 0938063192729729038312560765479*c_1001_8^3 + 36498591339780269616238686216439570502/2320910938063192729729038312\ 560765479*c_1001_8^2 + 56883806362271073443790036515296406429/23209\ 10938063192729729038312560765479*c_1001_8 - 22931888819002483164745696550401963303/2320910938063192729729038312\ 560765479, c_1001_3 + 92766816300792625414301362443887001/464182187612638545945807\ 6625121530958*c_1001_8^18 - 869900128236660810328427058754219831/46\ 41821876126385459458076625121530958*c_1001_8^17 + 7793073023923397334509450551404341619/46418218761263854594580766251\ 21530958*c_1001_8^16 - 7619153331463331792103409247158050317/464182\ 1876126385459458076625121530958*c_1001_8^15 + 28277200873077298154077315957957851287/4641821876126385459458076625\ 121530958*c_1001_8^14 - 16250053130176465062756704540677933000/2320\ 910938063192729729038312560765479*c_1001_8^13 + 32095432331675714588890937901281015383/4641821876126385459458076625\ 121530958*c_1001_8^12 - 35309398842420383399679951496916172568/2320\ 910938063192729729038312560765479*c_1001_8^11 + 13921602870283163043160978396748371799/4641821876126385459458076625\ 121530958*c_1001_8^10 - 14412063299405628272193265403417261667/4641\ 821876126385459458076625121530958*c_1001_8^9 + 56578375242014388691781808338931115939/2320910938063192729729038312\ 560765479*c_1001_8^8 + 185617278282247622308502945938742331041/4641\ 821876126385459458076625121530958*c_1001_8^7 + 175259760204719352997504511759554284209/464182187612638545945807662\ 5121530958*c_1001_8^6 + 73358618441086779813603906927232208016/2320\ 910938063192729729038312560765479*c_1001_8^5 + 40036200083949238377141070579645172877/4641821876126385459458076625\ 121530958*c_1001_8^4 - 9765135381591507087886564636726107696/232091\ 0938063192729729038312560765479*c_1001_8^3 - 14095407218190188208453570597415679135/4641821876126385459458076625\ 121530958*c_1001_8^2 - 30106835561218063444097962824234611621/46418\ 21876126385459458076625121530958*c_1001_8 + 2327219413498033796555548432062270487/46418218761263854594580766251\ 21530958, c_1001_8^19 - 10*c_1001_8^18 + 90*c_1001_8^17 - 136*c_1001_8^16 + 370*c_1001_8^15 - 563*c_1001_8^14 + 625*c_1001_8^13 - 1067*c_1001_8^12 + 731*c_1001_8^11 - 418*c_1001_8^10 + 1435*c_1001_8^9 + 1163*c_1001_8^8 + 838*c_1001_8^7 + 577*c_1001_8^6 - 421*c_1001_8^5 - 267*c_1001_8^4 - 43*c_1001_8^3 - 176*c_1001_8^2 + 178*c_1001_8 - 35 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_13, c_0101_3, c_0101_6, c_1001_10, c_1001_13, c_1001_3, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1485283056203709902122446505149255863454251533541718742192503309318\ 19136470136401/1609780960412395194183984630786428780535302903097968\ 98673162426087379542894040*c_1001_8^23 - 2218161411458823863105377712203923303464291484376318510655943008310\ 72165945241/1568987290850287713629614649889306803640646104383985367\ 1848189677132509054*c_1001_8^22 - 467370221255462670428393282389541\ 4622943658680246358841244672505490048987228283737/10061131002577469\ 9636499039424151798783456431443623061670726516304612214308775*c_100\ 1_8^21 + 4092633981181486823633525878961905421640000568258725430257\ 5066123518996727066462687/80489048020619759709199231539321439026765\ 1451548984493365812130436897714470200*c_1001_8^20 - 4349365709189526222002998729384084698836777804671068531697688635892\ 544485167835923/596215170523109331179253566957936585383445519665914\ 4395302312077310353440520*c_1001_8^19 + 5231191606460981474590005027816951008345259213824530593817920173777\ 3389399403483077/47346498835658682181881900905483199427508908914646\ 146668577184143346924380600*c_1001_8^18 - 5407139050575208437725498008951047279044624234029706849106993136693\ 099581071830849753/804890480206197597091992315393214390267651451548\ 984493365812130436897714470200*c_1001_8^17 + 1046814365646267660799048273812480486055960647832511304339921263176\ 8698742811249759327/80489048020619759709199231539321439026765145154\ 8984493365812130436897714470200*c_1001_8^16 - 2620685837757318917799715825255967336768935138345926376004887345163\ 55496166272664837/2682968267353991990306641051310714634225504838496\ 6149778860404347896590482340*c_1001_8^15 - 9484433951496897454665094979996713630553450951382681022225154001957\ 453024863192856113/160978096041239519418398463078642878053530290309\ 796898673162426087379542894040*c_1001_8^14 + 9653150859220086398838244019086639528187803663349608733713440842138\ 9219546830766554909/80489048020619759709199231539321439026765145154\ 8984493365812130436897714470200*c_1001_8^13 - 3578316594367308419842017508529133449301990247703699037747326995831\ 2985223057304153979/20122262005154939927299807884830359756691286288\ 7246123341453032609224428617550*c_1001_8^12 + 2067869813457843798850618338714877477628888833296137415039391593482\ 4207969699497293633/89432275578466399676888035043690487807516827949\ 887165929534681159655301607800*c_1001_8^11 - 1055239863707600349974781356605531545597039853605971267266642914056\ 476393859209664749/536593653470798398061328210262142926845100967699\ 3229955772080869579318096468*c_1001_8^10 + 1581880125755821927491064513875241219965416913051086847922613241941\ 39747417873389551641/8048904802061975970919923153932143902676514515\ 48984493365812130436897714470200*c_1001_8^9 - 3275495340331252695388771364611340387373422758657362263155114937921\ 7520201959229768537/26829682673539919903066410513107146342255048384\ 9661497788604043478965904823400*c_1001_8^8 + 1474270166020103998461064461400317671277311880357758852028223450689\ 7092960368722525657/13414841336769959951533205256553573171127524192\ 4830748894302021739482952411700*c_1001_8^7 - 7268254561603309735546958336385662106642392460938582872750983012555\ 314061502970653543/134148413367699599515332052565535731711275241924\ 830748894302021739482952411700*c_1001_8^6 + 5822432142300097179813011933898692517284283906649293624538866887820\ 021842088037366327/160978096041239519418398463078642878053530290309\ 796898673162426087379542894040*c_1001_8^5 - 1085906585165371811519092654056108902125008715226659990172993937392\ 0903153446232662373/80489048020619759709199231539321439026765145154\ 8984493365812130436897714470200*c_1001_8^4 + 3885716419773929586245806385267810334466136953707610809381495604763\ 566103109288561523/804890480206197597091992315393214390267651451548\ 984493365812130436897714470200*c_1001_8^3 + 3720712556551003194488577860065895211191034753499617834254528876699\ 0638885339129459/40244524010309879854599615769660719513382572577449\ 2246682906065218448857235100*c_1001_8^2 - 2263241729472706844362200021122861123390201945662732967639514362114\ 5391205310842509/80489048020619759709199231539321439026765145154898\ 449336581213043689771447020*c_1001_8 + 8806990553397857242418198786360690319002829546537888868062292111983\ 935393281777757/670742066838497997576660262827678658556376209624153\ 74447151010869741476205850, c_0011_0 - 1, c_0011_10 - 28140247112680734195670936551951279069200466046265345720192\ 3939390765/10350271397332838884283257029793103745262823188912027701\ 1182801371686*c_1001_8^23 - 194705782434783877237327590938150877700\ 6508893456019589215466644537810/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^22 - 1784050099619643332243012629104626729733226549514171218364496468466\ 9041/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 + 419429123682308329289694238702727785519499811\ 41312981301716125808255999/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^20 - 5525155005395546478773933633104496607921810578149047048265917151226\ 68987/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 + 38592822547476359693809044551631732074917949\ 3146262518116052360087964035/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^18 - 7386101680344155196917375260702312741959692949699950316607604317054\ 503427/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^17 + 1051617661147424633964877082856638225342471\ 0237566923683441320387017641847/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^16 - 4918832515092529215286473079368291224481087792779635204372590932216\ 7593189/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^15 + 333870678098646204389451416867703615108621\ 03266829697820817018091534003799/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^14 - 2296825396642619258870604449303890655168271994131271940455062892442\ 1110871/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^13 + 9111015013728147267654056012576188831963492\ 2752497361047734606821026051579/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^12 - 2242759084745149425405094405678137268907059605465081284431196417892\ 9759055/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^11 + 1804501528160817314241311450709858686115001\ 8189545257874497209517557401240/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^10 - 5682729176016982667466331686850343229771136748167256154034976264532\ 3171173/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 + 3998547328296626723263050828577784095022647\ 4428440023135682415758521568185/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^8 - 1242314483974977560262711682217124861334417735714811670323659531529\ 9543131/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^7 + 1452526115316442832404772491353121115998532\ 7327135981302656588935243409717/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^6 - 6934563313220029908175093804668443578246812810735105210098230348779\ 253881/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^5 + 28800445136040180576199616066559981653287116\ 43747119870550269712260530061/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 - 4582721485163951219017626652128143947731907750047755483392923831796\ 59699/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^3 + 266527450206389313910684413774327375074239167\ 206227103105247965529188931/207005427946656777685665140595862074905\ 256463778240554022365602743372*c_1001_8^2 - 2668548555617938751486670880833103264162721939589898537434701074794\ 3021/10350271397332838884283257029793103745262823188912027701118280\ 1371686*c_1001_8 + 429753507991841468846103540714267773640598941927\ 5169684135285490140927/10350271397332838884283257029793103745262823\ 1889120277011182801371686, c_0011_11 + 72652870687276281971755830051920986756647277409468597939688\ 4969014985/10350271397332838884283257029793103745262823188912027701\ 1182801371686*c_1001_8^23 + 526862142387471299759376916798470702811\ 0652880268961832216507551802085/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^22 + 1501724236562092091823721277656178986908627768231323083304081154695\ 0856/51751356986664194421416285148965518726314115944560138505591400\ 685843*c_1001_8^21 - 1712929228653817764129120351106723740572725298\ 0567845640540672927272675/51751356986664194421416285148965518726314\ 115944560138505591400685843*c_1001_8^20 + 6901389120787237274167121067286800235147276551483320614007624384907\ 25507/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^19 - 15334965623143612525605459752497150949864187\ 42006611522970632952982730779/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^18 + 4254261933843649212273420280464225248081849609056983577197543318392\ 240075/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^17 - 10739814692794616329750694177607597651219758\ 541056279537170792951161040352/517513569866641944214162851489655187\ 26314115944560138505591400685843*c_1001_8^16 + 4913751677958542182488615151802068805838335595380065782537928390983\ 2492927/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^15 - 266771449960827860649018625980686823034449\ 70863185279141139284250453019911/5175135698666419442141628514896551\ 8726314115944560138505591400685843*c_1001_8^14 + 4137473857763916979756091963755966395671972970715649427573111875795\ 9304059/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^13 - 3113624074047301943633135561105838311476746\ 0026400305015497401939982159075/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^12 + 3689722558503189784141572141239021730420184370568512286466160027294\ 5990611/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^11 - 4381906534571035409341077449640366285646030\ 6814440214319303115689551362837/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^10 + 4368000977702300835556084794785983804060107779933010702980617478999\ 8421773/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^9 - 1120459625385327696242928529329364211045114\ 5910802404582082629524272453476/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^8 + 8422088854305299296947152487174402489516761164959748479093716294819\ 991331/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^7 - 748206071558086334713921122068943484338323588\ 5869955511356174355746711733/10350271397332838884283257029793103745\ 2628231889120277011182801371686*c_1001_8^6 + 1925589870471203119977483275383544024165518530273509843124495086563\ 863985/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^5 - 113560985404931571038969109538900627113903905\ 6918906318636291197922756957/10350271397332838884283257029793103745\ 2628231889120277011182801371686*c_1001_8^4 + 4018140557405892651974256742015569316027116211535320272475884967195\ 84687/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^3 - 739565764928421222751886592851565229930865284\ 27595516702036458434573535/1035027139733283888428325702979310374526\ 28231889120277011182801371686*c_1001_8^2 + 1678836071635804331136824121022948209978175416429514367406597315504\ 8093/10350271397332838884283257029793103745262823188912027701118280\ 1371686*c_1001_8 + 219582047947608004095635831687321945075680965484\ 264002299445811628505/103502713973328388842832570297931037452628231\ 889120277011182801371686, c_0011_12 + 81921490166314206597084997329453660068216490446366897258722\ 8154497065/20700542794665677768566514059586207490525646377824055402\ 2365602743372*c_1001_8^23 + 116344187200122574048629844960321196597\ 06641239752988035248656738278055/2070054279466567776856651405958620\ 74905256463778240554022365602743372*c_1001_8^22 + 7572649543119199953542376525948901597637720268960747400907283878868\ 362/517513569866641944214162851489655187263141159445601385055914006\ 85843*c_1001_8^21 - 48719613641261283474800556707152165645994531547\ 993926412736714827156975/207005427946656777685665140595862074905256\ 463778240554022365602743372*c_1001_8^20 + 7902303040595557563593354314197866952132980266483452047910836236914\ 59593/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 - 19640982179291007859160232131542158263872345\ 67027219490416130526105891601/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^18 + 1012336525131011614023008346688677944639265472485783557338263151270\ 4831861/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^17 - 678204860175710113788466376850124244705243\ 8094225700703733494107068534319/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^16 + 3140160123892467643030823247531651521440946382032549172146459217005\ 9998053/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^15 - 770824019284441237079776532989695322654815\ 06249375617681980096487824768879/2070054279466567776856651405958620\ 74905256463778240554022365602743372*c_1001_8^14 + 1119273237997780680556752385383113700832908985088476783342167151595\ 57813117/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^13 - 98770966613014801266790794995855854836436\ 420445689821724668098523125779693/207005427946656777685665140595862\ 074905256463778240554022365602743372*c_1001_8^12 + 1051505908174827451748222414802956963917064903053456457582261300660\ 64906113/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^11 - 37453211281795906249291132850600671662455\ 658098189218872353049117184996365/103502713973328388842832570297931\ 037452628231889120277011182801371686*c_1001_8^10 + 6481487839625996327855574870725982912995983469240100098444144358527\ 6716743/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 - 2018386018076696456099786652957061290688404\ 2287465203673476957343400368411/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^8 + 1350013409413270775038333872968010413087495682469949773432900847996\ 6796149/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^7 - 1427932783034230456094253551229261347907276\ 7236096593761233427583245443193/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^6 + 7025311615882769543097446338890738288089464825417363287495640663813\ 993897/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^5 - 26286545045483236718417556483575982147843262\ 03560659281248991070350769559/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 + 8661286785081965134053866460130462385503688533100243542329009439245\ 71837/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^3 - 563704713518427244424972240405127259193322404\ 58999596709784383751726732/5175135698666419442141628514896551872631\ 4115944560138505591400685843*c_1001_8^2 + 1170375887405528249607827061277397017483810577833138925760179974579\ 8897/51751356986664194421416285148965518726314115944560138505591400\ 685843*c_1001_8 - 5764610446511932327620149263989586258460409431065\ 502649035717863902777/207005427946656777685665140595862074905256463\ 778240554022365602743372, c_0011_3 + 101672479818982446406549685375849524382346332800536194427656\ 63802335/1035027139733283888428325702979310374526282318891202770111\ 82801371686*c_1001_8^23 - 18490923654263410081145424552282266569102\ 865386172043057046991314505/517513569866641944214162851489655187263\ 14115944560138505591400685843*c_1001_8^22 - 1127900449474954595767380109004387655506583250472061143590442770306\ 549/517513569866641944214162851489655187263141159445601385055914006\ 85843*c_1001_8^21 - 16238140059898768630350657356743778757309419772\ 724751917351154356656807/207005427946656777685665140595862074905256\ 463778240554022365602743372*c_1001_8^20 + 3663053837398342910108873027075617678731683532278432900501126922316\ 6791/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^19 - 393208853905312835635909980538372331109296260\ 735876187464837902360998417/207005427946656777685665140595862074905\ 256463778240554022365602743372*c_1001_8^18 + 2537011251858941151592210892912132512464480506599717688915812692604\ 11090/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^17 - 491658937923280487641946335989706971529716821\ 8375630866679786065097829387/20700542794665677768566514059586207490\ 5256463778240554022365602743372*c_1001_8^16 + 6128442871785386211162076603516695274526845169902017703780645408447\ 149465/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^15 - 2637785642771088262049651199842197813529545\ 1449292907240491743226640991307/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^14 + 1463096293671332139468218160054516123652523232989028446663788081370\ 1655043/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^13 - 108987916858485890738791268473914520219211\ 54737268165132299441398842659646/5175135698666419442141628514896551\ 8726314115944560138505591400685843*c_1001_8^12 + 3345176599512972437588835273213795598628689456024628166510872972157\ 9115607/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^11 - 962452054590845714530443482270766134815952\ 1338842203745140229506283762804/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^10 + 5820224553671337534476091782911135962299262833788397325882186513881\ 119934/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^9 - 226622764917570210601988899711667652244906406\ 51515887776798007101946272163/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^8 + 1174949222343991584921396984775633992135109633967446233058279697955\ 3779453/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^7 - 2171583806112920798766105768677325417096944\ 186884355392382815476554281110/517513569866641944214162851489655187\ 26314115944560138505591400685843*c_1001_8^6 + 3875993903182255264333994989670724323361274511931941379104088054833\ 112601/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^5 - 19614921581247345936825730432037725908619173\ 64495221634311793099787785871/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 + 5837474011514251158804932668922735431517367127657353289150044162047\ 51035/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^3 - 506865976424182036665115678754798931046850419\ 58587111697015492230041623/5175135698666419442141628514896551872631\ 4115944560138505591400685843*c_1001_8^2 + 3830221040288085270493183292006050229005942083120777432365064100051\ 6981/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 415302837127806666601257872101419295380125280201\ 9923795709844639274085/10350271397332838884283257029793103745262823\ 1889120277011182801371686, c_0011_8 - 493628119639727824913402334773535025427162888393361250637419\ 280655/115259146963617359513176581623531222107603821702806544555882\ 852307*c_1001_8^23 - 7134666049465526011023733731367021546916581548\ 647256287805092775840/115259146963617359513176581623531222107603821\ 702806544555882852307*c_1001_8^22 - 2005103781477846983892495830579726206465998946445325161733886881346\ 1/11525914696361735951317658162353122210760382170280654455588285230\ 7*c_1001_8^21 + 970212729417493515610608491323207122470278814283033\ 16886377181547251/4610365878544694380527063264941248884304152868112\ 26178223531409228*c_1001_8^20 - 18808650445395646897625866282425952\ 05592762408275429906970827633490079/4610365878544694380527063264941\ 24888430415286811226178223531409228*c_1001_8^19 + 4261535955201431608731505636947133036327221853222738105692981037022\ 409/461036587854469438052706326494124888430415286811226178223531409\ 228*c_1001_8^18 - 1167118555709133889802815515815084771994294789876\ 0226688495147012296593/23051829392723471902635316324706244421520764\ 3405613089111765704614*c_1001_8^17 + 5954655945771811751049380288789470964810949111206722013689992916158\ 8453/46103658785446943805270632649412488843041528681122617822353140\ 9228*c_1001_8^16 - 682861271515936933815791889399586271240596082874\ 12103322983179470942099/2305182939272347190263531632470624442152076\ 43405613089111765704614*c_1001_8^15 + 1518968494345490706252157071844298945248824787871470890441712441238\ 19463/4610365878544694380527063264941248884304152868112261782235314\ 09228*c_1001_8^14 - 58155973734982192917983416505543179415937523435\ 706858795239364151801754/115259146963617359513176581623531222107603\ 821702806544555882852307*c_1001_8^13 + 9035526122427722900197213304457258399359599825184998040455716441385\ 8365/23051829392723471902635316324706244421520764340561308911176570\ 4614*c_1001_8^12 - 209720044141104855309582323549091823672720911006\ 103683466303029322172027/461036587854469438052706326494124888430415\ 286811226178223531409228*c_1001_8^11 + 6457031008541491335723877812376293124540758962316488189668370616787\ 9803/23051829392723471902635316324706244421520764340561308911176570\ 4614*c_1001_8^10 - 626114287454101522285563213990677426676692143503\ 22329687726811606087017/2305182939272347190263531632470624442152076\ 43405613089111765704614*c_1001_8^9 + 6674238132511688892582461991737601902913725471680862532558523341115\ 5941/46103658785446943805270632649412488843041528681122617822353140\ 9228*c_1001_8^8 - 4913169859091001437808925012467568193688687242750\ 6575959231785674164173/46103658785446943805270632649412488843041528\ 6811226178223531409228*c_1001_8^7 + 5636068008908447309139002957980129472913640248698767127314729790088\ 387/115259146963617359513176581623531222107603821702806544555882852\ 307*c_1001_8^6 - 11568867306248772963914548104591698309364727992425\ 912921077609592293527/461036587854469438052706326494124888430415286\ 811226178223531409228*c_1001_8^5 + 3585024484634596384581761743917824719429243850039135815744792423429\ 559/461036587854469438052706326494124888430415286811226178223531409\ 228*c_1001_8^4 - 12497874938398604799918971127085700260945259284198\ 56166832516816739965/4610365878544694380527063264941248884304152868\ 11226178223531409228*c_1001_8^3 + 125237400482748043229166517768316\ 651041360792076847212828241561922503/230518293927234719026353163247\ 062444215207643405613089111765704614*c_1001_8^2 - 5556069552689210899919913540207482639901421936998755929893822299404\ 1/46103658785446943805270632649412488843041528681122617822353140922\ 8*c_1001_8 + 344014527596856465351867585924811973191044320416111530\ 923348340108/115259146963617359513176581623531222107603821702806544\ 555882852307, c_0101_1 - 424755003494901833466549995249823880602598582955754050936576\ 580668445/103502713973328388842832570297931037452628231889120277011\ 182801371686*c_1001_8^23 - 3073351999370209128191332202872662251689\ 826482784021214935236877908195/517513569866641944214162851489655187\ 26314115944560138505591400685843*c_1001_8^22 - 3472403196523892882519722033807917136864140959391140953910686604302\ 3093/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 + 411255460474726720642667216330076667336581744\ 16936164374126886674769935/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^20 - 8085176452152307500008653485919163085472815297445525533489360588407\ 61989/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 + 90957982496110922499798221238768931368633247\ 6604196754604693507341023109/10350271397332838884283257029793103745\ 2628231889120277011182801371686*c_1001_8^18 - 1001079859504370715352962586848494315079061212175715019455908198509\ 4704739/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^17 + 127209210573105565411368272667770966315346\ 83845539401736525600814717294075/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^16 - 5830969112071155658402384350385763449047313508521169562399613324109\ 1210891/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^15 + 321579918459498130661722550138868365149919\ 81373324563925924040365110059007/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^14 - 4946653921552968650397322458082328292574665019440729666563658110629\ 9718777/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^13 + 759547424617337018836671344921490329558003\ 80613050082499136728504767217467/2070054279466567776856651405958620\ 74905256463778240554022365602743372*c_1001_8^12 - 2221519843792642292669171734497184081588615066251123119653088048537\ 9720942/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^11 + 1348025020957952927705101719506948303275367\ 7253699881712338884998817962220/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^10 - 5289921099713258552696812792774071546567892476806589295099824944737\ 0639039/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 + 2772323461372823755503819961850496590633457\ 3541284766401569180005272190007/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^8 - 5159087237922259386378989610303399987932102739361313084567235700052\ 042156/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^7 + 930339638678457037666999976995961814972187632\ 7021758414990362331669854857/20700542794665677768566514059586207490\ 5256463778240554022365602743372*c_1001_8^6 - 4807207381087474692801685963783419338025542376434706017680683815525\ 549659/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^5 + 14483676726782945938038788714015833400459481\ 95355345465343806584349717659/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 - 1276711179811864404878753784101791997855310898848755079936795985414\ 35653/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^3 + 9745792629154486939945450828203617218558221094\ 5685248303303084811301133/20700542794665677768566514059586207490525\ 6463778240554022365602743372*c_1001_8^2 - 5575699691518473529821869235896781792093140377648750452469622921991\ 966/517513569866641944214162851489655187263141159445601385055914006\ 85843*c_1001_8 + 75122498966018325532473095484380470256911913513931\ 751867307820441233/103502713973328388842832570297931037452628231889\ 120277011182801371686, c_0101_10 + 56146690641779401193331861328226628524103643362893094062183\ 1053789555/10350271397332838884283257029793103745262823188912027701\ 1182801371686*c_1001_8^23 + 397808271019329403895425932677991370185\ 6128729043553962257351317245810/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^22 + 4099662895361405110006682002885259968099031123211629305138973525632\ 1847/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 - 341950355540492393668629887209548946212798823\ 14859844010352503911413053/1035027139733283888428325702979310374526\ 28231889120277011182801371686*c_1001_8^20 + 1084426565729746278289208106710428535955945105907970810494455703131\ 689821/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^19 - 1362854253827036884334393363610495672633295\ 458473638944603548240355519009/103502713973328388842832570297931037\ 452628231889120277011182801371686*c_1001_8^18 + 6971280886577433290213469687949917509059681040247032699729935719314\ 095169/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^17 - 3758493805234786166254407813993627183910492\ 9819719924139624427715615552499/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^16 + 4351607209744689626361748366361780034128697276614922095971024627416\ 1598835/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^15 - 107822655554808554689464774810341418061214\ 517672408902920079967283094762867/207005427946656777685665140595862\ 074905256463778240554022365602743372*c_1001_8^14 + 1554896715148552659092144145523700513604305393378882725374579828111\ 27501219/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^13 - 13896161493325505363740132614780394068937\ 8515362968974534758043710572034531/20700542794665677768566514059586\ 2074905256463778240554022365602743372*c_1001_8^12 + 1462990672211821137655616952870063355076179690492997375169316214002\ 44137307/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^11 - 10581983852690318571476632268152424840624\ 6568743305693763022658622590842459/20700542794665677768566514059586\ 2074905256463778240554022365602743372*c_1001_8^10 + 9022370019596614734512899460206035742536274364766823676434020624737\ 5622539/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 - 1429513675521815745803354066082574772742932\ 4683284817228081063808631879649/51751356986664194421416285148965518\ 726314115944560138505591400685843*c_1001_8^8 + 9414825265537434576779634293735126314306035573245047958495242625152\ 927434/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^7 - 101298690863659654493166504562524830710805463\ 60319727771110350028078849227/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^6 + 4917739486745436638781852686747078776143285386826658876643303359061\ 395547/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^5 - 37441424673609543246401616149896032016668155\ 88451184821936180205310083341/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 + 3030962026414150230019596447986897931204525934125147176303114543372\ 65284/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^3 - 8051715791111594715622143684978343409596285093\ 0507794904118550629124838/51751356986664194421416285148965518726314\ 115944560138505591400685843*c_1001_8^2 + 6481323863646172640958800498747769637022015071410557300559424795196\ 4381/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 846171101323905567502647220408684550317444322926\ 7381451226975358249271/20700542794665677768566514059586207490525646\ 3778240554022365602743372, c_0101_13 - 44437245235123275056227272259172602199775412189666854795603\ 2694841325/20700542794665677768566514059586207490525646377824055402\ 2365602743372*c_1001_8^23 - 673739986313088060347131153692473238105\ 7465720243650658224161588099815/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^22 - 5652343328712781182271573907506437863587919255451344194753871280934\ 525/517513569866641944214162851489655187263141159445601385055914006\ 85843*c_1001_8^21 + 22239112498640732426644461363130328611599361564\ 48006090195210375991883/5175135698666419442141628514896551872631411\ 5944560138505591400685843*c_1001_8^20 - 1020566157067353251057277907569329348196662591336289781357949993421\ 99824/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^19 + 165030857014775178462557009681080408007709253\ 959676046709460043037087656/517513569866641944214162851489655187263\ 14115944560138505591400685843*c_1001_8^18 - 4585014851091973311322823408640576113989647595408406804033441991322\ 716475/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^17 + 9709799293048637129947202796307196855522266\ 040174178948963559138376008831/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^16 - 5346716193298434088183040694838986276632553208687955901593044834845\ 479424/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^15 + 64034272402530017141704711068700177831897336\ 27572273937512102565783094385/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^14 - 2902496898827127865048869796034823795669418670903090968353548420016\ 9132757/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^13 + 468524935481348782429281606750913825430626\ 4672707410488920969139237560637/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^12 - 4968793779443812893293192714310551988826606221284352703604096098476\ 281393/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^11 - 15022287512571829108204050480375869961523991\ 47833628675498335794463260951/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^10 - 8901199207153542520733623655729103215835499859554830606949957837043\ 611539/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^9 - 39450594761099032142224660877565222139061955\ 20419370441585217468215123211/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^8 - 1176775881893893390650570319339814388066205943438480051502407345039\ 475065/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^7 - 22398310234617625862268215694113812932378557\ 20851146563129552888179252091/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^6 + 3474493643621582001939645167277910850381117584642762118218397575033\ 61325/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^5 - 435241826985857766949570366796426457854493283\ 999878443943819797267889247/103502713973328388842832570297931037452\ 628231889120277011182801371686*c_1001_8^4 + 1094610998480542850474963552198902486603101053835605781936973156417\ 97581/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^3 - 297940028632292421963538093922246503799727213\ 01707045144183032239375463/5175135698666419442141628514896551872631\ 4115944560138505591400685843*c_1001_8^2 + 2025705245267624633944935957550989996655083444744653029628797804456\ 9949/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 713339694722422519825649756554648607696642981104\ 6452853626294236154517/20700542794665677768566514059586207490525646\ 3778240554022365602743372, c_0101_3 + 130887320982715028692640271866467913244199002389295992557599\ 8815758895/20700542794665677768566514059586207490525646377824055402\ 2365602743372*c_1001_8^23 + 184509721407575656998605881614124297585\ 29519471477468991342602305128685/2070054279466567776856651405958620\ 74905256463778240554022365602743372*c_1001_8^22 + 4638771380751843623788236082026246899068795724465699953496033057538\ 4639/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 - 837292326214062538951707388839247389527346485\ 43168757186171535068138951/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^20 + 1268355417442492787840237408935442679968935830465913322178160055237\ 718317/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^19 - 8171302611191147141929337924568105860665973\ 88617877583000610550282616659/5175135698666419442141628514896551872\ 6314115944560138505591400685843*c_1001_8^18 + 4113039054449569344582910063480381290030048752992399104540126385366\ 718753/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^17 - 44934403545573674858203739763038504386093156\ 264536021445259808531453372445/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^16 + 1042680074977272831129479494189210504938890160607677716411996355917\ 69504937/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^15 - 66082994246881298878330762688147600997673\ 182321660534906598391677395529359/103502713973328388842832570297931\ 037452628231889120277011182801371686*c_1001_8^14 + 1882658877163597885983160111008022982494696590903138878932777459448\ 19608927/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^13 - 43259351175672797041228019593638227125048\ 206483796513181111426379757382693/517513569866641944214162851489655\ 18726314115944560138505591400685843*c_1001_8^12 + 8937618578049582043288584083043922173250403832339457630601086467417\ 0212013/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^11 - 666818295597499924551091572407337139856251\ 26745354839752780339796711844103/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^10 + 2774308117366781859826480432040974539594410066012456505283159740184\ 0581592/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^9 - 36339166485032198750996204154587681315960908\ 962383443066550268279969495933/103502713973328388842832570297931037\ 452628231889120277011182801371686*c_1001_8^8 + 4687107740669117547481440474971458090322122140857945425826830255794\ 5266447/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^7 - 1299775803197925578392628490810303617362432\ 8252009321193928149517232532279/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^6 + 1246969552567478067273484370126172587508283860384650334953920245691\ 0285005/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^5 - 4927513459121399441956418793853572198085816\ 547192136324960472965730905041/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^4 + 3933371073955799242260581671723447878320611977039648041716391124998\ 84466/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^3 - 4382881574289761766423893629825090485454632822\ 20903930146654289471256147/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^2 + 8656991144643355130105179697885390615880543377930322479802256246736\ 9697/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 128392470461763272516268751249005133950904371993\ 55015330445520017116059/2070054279466567776856651405958620749052564\ 63778240554022365602743372, c_0101_6 - 706293050861103978163666690752249215114683306098483025796610\ 38628225/1035027139733283888428325702979310374526282318891202770111\ 82801371686*c_1001_8^23 - 11206659298960643036286477882281191272753\ 65379135559807550531891799315/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^22 - 4310797171873301066898959181467609798765366814542604761526053630639\ 825/103502713973328388842832570297931037452628231889120277011182801\ 371686*c_1001_8^21 - 5706412713570885142521681292273320310363290832\ 98429341351788759639393/1035027139733283888428325702979310374526282\ 31889120277011182801371686*c_1001_8^20 - 6233726748584494512487712354099022628256334870116942735543437632269\ 6155/10350271397332838884283257029793103745262823188912027701118280\ 1371686*c_1001_8^19 + 286442361732563402519155707935580665389631483\ 88641740364489768225327775/5175135698666419442141628514896551872631\ 4115944560138505591400685843*c_1001_8^18 - 3093273307326532163151698377737784868405583935861180679380665825469\ 23636/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^17 + 947856333236552779551362225927030317794136402\ 233821565778073654475847403/103502713973328388842832570297931037452\ 628231889120277011182801371686*c_1001_8^16 - 1864275197322519868338683773371679455385828605478068222016980942312\ 818673/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^15 - 7493817765253924419930351042277614192121659\ 25714898454760762972736974286/5175135698666419442141628514896551872\ 6314115944560138505591400685843*c_1001_8^14 - 5837638972065538714535750982030931240268598160359875536515384424394\ 00425/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^13 - 26760706188927277514407303791244653941225263\ 88230261362576533455027977011/5175135698666419442141628514896551872\ 6314115944560138505591400685843*c_1001_8^12 + 8520396210034319827454756654438631307773042455060434047319572080155\ 51410/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^11 - 301806947488554143275256644522102415659189302\ 6399683892997025860689762504/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^10 + 1041659043871375423433159254452236654534803667438090183897290144025\ 186652/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^9 - 198744239747872270692382691195531983594927777\ 7470923336775983804773771336/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^8 + 1621142873753936565140562377885850946313453255874693676816610591562\ 908391/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^7 - 84688099526382612620736647421002042774540001\ 6912377640310774508531115061/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^6 + 7182134734561811419097123582201275307884409371095394963359119757080\ 05845/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^5 - 461145202263764889100618699023711050495908031\ 092027821387723036039395865/103502713973328388842832570297931037452\ 628231889120277011182801371686*c_1001_8^4 + 6585499279462605964828576861617551467625127955490047130108712235308\ 1154/51751356986664194421416285148965518726314115944560138505591400\ 685843*c_1001_8^3 - 54196852517749923287581621701106244665523096666\ 016633130993919845929651/103502713973328388842832570297931037452628\ 231889120277011182801371686*c_1001_8^2 + 9777381450266458560105933069896675237341081268258959267872281904634\ 505/103502713973328388842832570297931037452628231889120277011182801\ 371686*c_1001_8 - 2778888081768075475377553623661840291126366375151\ 234658799903930172189/103502713973328388842832570297931037452628231\ 889120277011182801371686, c_1001_10 + 24996996020679716644646141234164621082201217915397383835014\ 4607292705/51751356986664194421416285148965518726314115944560138505\ 591400685843*c_1001_8^23 + 7076264568386218818037292311797382741123\ 094712771857877477290952273845/103502713973328388842832570297931037\ 452628231889120277011182801371686*c_1001_8^22 + 3626773088356754485067045111863826571945181074992665036599927434098\ 2469/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 - 616053624944506838491380547568571296381197118\ 31853314159832460865195145/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^20 + 9662214570760843344134496440529649172801811729629588515049529326601\ 48069/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 - 61053817823142402782678080176059240651325444\ 8532833671146285583304168507/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^18 + 1244581774143269226238163436389057378007520388607243927461226679795\ 7061035/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^17 - 168242737289477063126433754035833388627297\ 34062430960041164423695559569977/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^16 + 7793634982072609424916199956985214063133304453312183578973976532520\ 9678871/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^15 - 485050117004022754376514585960745915275851\ 18873087378171115354387261129139/1035027139733283888428325702979310\ 37452628231889120277011182801371686*c_1001_8^14 + 6972251754295268858776140694140077784766022161363129627878000859302\ 3179437/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^13 - 125386072112840622697499087743623314672028\ 100334089212470158777646346436561/207005427946656777685665140595862\ 074905256463778240554022365602743372*c_1001_8^12 + 3284342423941898216725031590374669706830032413367246717195787787412\ 2302051/51751356986664194421416285148965518726314115944560138505591\ 400685843*c_1001_8^11 - 4783476884374776780890542893891426494172790\ 7881069785637089413621807527095/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^10 + 8109842992117281450993004665746973153252275655009749766340186669050\ 8629371/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 - 5175952582040612119505401675817146719429058\ 1385390820075373745814276314359/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^8 + 1696146170110098585865294446544311658712587239434133408190727814641\ 7139961/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^7 - 1835146643431805199076774144990471882313510\ 1532061486168711809179709566887/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^6 + 8894124439536918091018399087619330519316199248700957131547049836349\ 727523/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^5 - 34003666914604831458929734649811677259226550\ 16142175743820288813507721389/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 + 2752267715850198944719179906199671524539699824547934968810757832059\ 29549/5175135698666419442141628514896551872631411594456013850559140\ 0685843*c_1001_8^3 - 2935380944244229943018778448034824380996056813\ 30902055674296137528878845/2070054279466567776856651405958620749052\ 56463778240554022365602743372*c_1001_8^2 + 1482942656045631669341628822505294636731387688911937457084858623106\ 2457/51751356986664194421416285148965518726314115944560138505591400\ 685843*c_1001_8 - 1890427536224454245913152408182605211192842669327\ 039441172733964111766/517513569866641944214162851489655187263141159\ 44560138505591400685843, c_1001_13 + 22607835232815304507823865369380610985690285663000800502515\ 2586061970/51751356986664194421416285148965518726314115944560138505\ 591400685843*c_1001_8^23 + 3181679508101840034589448603262798503363\ 743456803999517560480979203875/517513569866641944214162851489655187\ 26314115944560138505591400685843*c_1001_8^22 + 3174258749722388300928602536704130108316093806516169756489411766550\ 7861/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 - 293558832185619850128575616394570501814501846\ 97414318221477564343454261/1035027139733283888428325702979310374526\ 28231889120277011182801371686*c_1001_8^20 + 8773933651902121492160141149282011066066979488364933678394979622460\ 67653/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 - 56959020013069247879139335402906318885501272\ 0645535309736444147715318435/51751356986664194421416285148965518726\ 314115944560138505591400685843*c_1001_8^18 + 2853154503532200872828681737384894672489966469244621524080491877863\ 205655/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^17 - 31294178897849353972701687673054329541328969\ 281147595012053947892598622535/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^16 + 3633743126030436961316548854856319059530337622094493690080106462559\ 5063111/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^15 - 927537862834377838185889979451562040525748\ 62479976553362764736251105237201/2070054279466567776856651405958620\ 74905256463778240554022365602743372*c_1001_8^14 + 1316422504855398523253529317715897763908819310683200467714501368522\ 37495195/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^13 - 12191400364323804397341638203518380470847\ 6976163628653292469540722010761031/20700542794665677768566514059586\ 2074905256463778240554022365602743372*c_1001_8^12 + 1253230586743154811036347293918047998336201896043115160823749263468\ 75264451/2070054279466567776856651405958620749052564637782405540223\ 65602743372*c_1001_8^11 - 94166715265813010276032382402474369470047\ 554225701298906617361267212272959/207005427946656777685665140595862\ 074905256463778240554022365602743372*c_1001_8^10 + 7794950040805735357970508264756404333202546615323162954180824063311\ 9552815/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^9 - 2567959695515356482848767619701977600798684\ 6969840656064237261460505900661/10350271397332838884283257029793103\ 7452628231889120277011182801371686*c_1001_8^8 + 1651916838305999727123507522713245366380262228548829491852894704744\ 3328831/10350271397332838884283257029793103745262823188912027701118\ 2801371686*c_1001_8^7 - 9185147021060392416255447440306191595141118\ 157207227220152974179085258899/103502713973328388842832570297931037\ 452628231889120277011182801371686*c_1001_8^6 + 4415543758937639640556701033899974226979429525078085583538466750248\ 728419/103502713973328388842832570297931037452628231889120277011182\ 801371686*c_1001_8^5 - 34860832002125758015721670021615572078676991\ 79793451579004434730343283087/2070054279466567776856651405958620749\ 05256463778240554022365602743372*c_1001_8^4 + 5581750633957361448945591465110407809179016881311235999162409375170\ 02321/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^3 - 154374275792570847827391059873812663585120665\ 406809173233203998829010989/103502713973328388842832570297931037452\ 628231889120277011182801371686*c_1001_8^2 + 6148611124878047254489147318464052860135795235435077608593673628898\ 6387/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 878863402143808982925947762749563226821080012788\ 9576762173143673272241/20700542794665677768566514059586207490525646\ 3778240554022365602743372, c_1001_3 - 274372002216456729561080993131597647852667060834669969346579\ 796891045/103502713973328388842832570297931037452628231889120277011\ 182801371686*c_1001_8^23 - 2086941915772872963004320564721908524746\ 909423464962314656026572598210/517513569866641944214162851489655187\ 26314115944560138505591400685843*c_1001_8^22 - 2832638196525980066366282573920585839318417266409122576726912852229\ 5563/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8^21 + 490270135451437026972484538267742463000432126\ 3721373059603781511091089/10350271397332838884283257029793103745262\ 8231889120277011182801371686*c_1001_8^20 - 5028844589672353056174100985291589404227573614601707549620269147353\ 83361/2070054279466567776856651405958620749052564637782405540223656\ 02743372*c_1001_8^19 + 39431616205297629497775926719158871727639330\ 0715540903497744657552093909/10350271397332838884283257029793103745\ 2628231889120277011182801371686*c_1001_8^18 - 1401107430311448339444738543079330575591883139812362053117051440529\ 034420/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^17 + 11665079873329111346301089037376061063550064\ 883077523136629223912045538873/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^16 - 6400042759640526105860331484728748731539989866427860462289109642118\ 714908/517513569866641944214162851489655187263141159445601385055914\ 00685843*c_1001_8^15 + 13954793700893360441018452447118525161205020\ 972764563201792400750706842443/207005427946656777685665140595862074\ 905256463778240554022365602743372*c_1001_8^14 - 3385670382501682686489074677864887943599698776030593033147433817959\ 9721041/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^13 + 263095931865403377190904040904972775059286\ 3941972566769520067037917875269/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^12 - 2226584366581211026202815625775606938318718521842897537627147474490\ 8697993/20700542794665677768566514059586207490525646377824055402236\ 5602743372*c_1001_8^11 - 652858457439230208921083340966704375712694\ 0596820870268011129888109547285/20700542794665677768566514059586207\ 4905256463778240554022365602743372*c_1001_8^10 - 9410519145988663131416613248155632749176689445428584517804108946877\ 290731/207005427946656777685665140595862074905256463778240554022365\ 602743372*c_1001_8^9 - 32704044474470109036291056104324917870845551\ 48235846900072002411960993709/1035027139733283888428325702979310374\ 52628231889120277011182801371686*c_1001_8^8 - 3250093255506013226592297472163513152309000444312020396584855421966\ 53831/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^7 - 851543152739764534558118109808378375878941135\ 668635854398399911669273583/517513569866641944214162851489655187263\ 14115944560138505591400685843*c_1001_8^6 + 5643640179952334006017344831328861786483924645310658972894765771210\ 00449/1035027139733283888428325702979310374526282318891202770111828\ 01371686*c_1001_8^5 - 121486349211394438079278481138354466558962106\ 5955638941731852334497769173/20700542794665677768566514059586207490\ 5256463778240554022365602743372*c_1001_8^4 + 7818050382757343984856673615474192465759503348879578633432622039870\ 8817/51751356986664194421416285148965518726314115944560138505591400\ 685843*c_1001_8^3 - 40208849649864362776101200294328070296017068489\ 606828265583770197218727/517513569866641944214162851489655187263141\ 15944560138505591400685843*c_1001_8^2 + 2790938981606438592215499076418156440179444402576048873780478997889\ 0201/20700542794665677768566514059586207490525646377824055402236560\ 2743372*c_1001_8 - 922779811733330583745074929087027615836216205885\ 8104766772035296529251/20700542794665677768566514059586207490525646\ 3778240554022365602743372, c_1001_8^24 + 14*c_1001_8^23 + 171/5*c_1001_8^22 - 328/5*c_1001_8^21 + 4902/5*c_1001_8^20 - 12984/5*c_1001_8^19 + 64647/5*c_1001_8^18 - 35808*c_1001_8^17 + 422187/5*c_1001_8^16 - 112340*c_1001_8^15 + 809821/5*c_1001_8^14 - 155140*c_1001_8^13 + 817107/5*c_1001_8^12 - 627928/5*c_1001_8^11 + 535879/5*c_1001_8^10 - 355408/5*c_1001_8^9 + 243002/5*c_1001_8^8 - 27078*c_1001_8^7 + 71527/5*c_1001_8^6 - 29702/5*c_1001_8^5 + 11084/5*c_1001_8^4 - 642*c_1001_8^3 + 833/5*c_1001_8^2 - 144/5*c_1001_8 + 19/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 216.500 Total time: 216.710 seconds, Total memory usage: 1360.31MB