Magma V2.19-8 Wed Aug 21 2013 00:46:02 on localhost [Seed = 3667709675] Type ? for help. Type -D to quit. Loading file "K14n7124__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7124 geometric_solution 11.56822979 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 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.678271517543 0.768364870878 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354295755294 0.731471756924 6 7 7 0 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796237044819 0.816066924605 8 9 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.303700467660 1.155391901950 11 1 5 12 0132 0132 3012 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 -1 0 1 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506542949501 0.392762257042 12 4 1 8 3201 1230 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 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.547539328568 0.955990709348 2 11 12 8 0132 3201 3201 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583796487103 0.713913666444 2 2 8 9 2103 0132 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087109551690 0.582562208920 3 6 5 7 0132 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.792810963025 1.625563314710 10 3 11 7 3012 0132 0132 0213 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 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302356398497 0.329547751401 12 11 3 9 1230 0132 0132 1230 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 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753707574552 0.433368463739 4 10 6 9 0132 0132 2310 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 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.178768957740 0.711091741692 6 10 4 5 2310 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846772939047 1.192685120681 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_2']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0101_4'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_0101_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], '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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0110_7']), 'c_1100_3' : negation(d['c_0110_7']), 'c_1100_2' : negation(d['c_0110_7']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_2']), 'c_1100_11' : negation(d['c_0011_2']), 'c_1100_10' : negation(d['c_0110_7']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_10'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : negation(d['c_1001_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_5'], '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0101_0']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], '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_4'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_7']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_12, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_4, c_0110_7, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2093249754591119016275293417741924246975716934477657535692023668460\ 1034553445731952786214899339/46333741576191611089588084258483436891\ 00040492680327022524272245864902681774322672618887459702388*c_1001_\ 10^25 + 15693201209721673587153087773730245512587098703864323650745\ 306870623396726512832160502922223825/463337415761916110895880842584\ 8343689100040492680327022524272245864902681774322672618887459702388\ *c_1001_10^24 + 517903811664505953374429134553077506311455998428358\ 0089247316179914324317305049187316689135/35696256992443460007386813\ 7584618157865950731331304084940236690744599590275371546426724765770\ 6*c_1001_10^23 + 21594474321456189725454291520043022919312214481172\ 4426604611212197092485475456514696955866031600/11583435394047902772\ 3970210646208592227501012317008175563106806146622567044358066815472\ 1864925597*c_1001_10^22 - 13485825085847462491581157350122763205280\ 36492330584621595562549764208249328704933135169798574941/4633374157\ 6191611089588084258483436891000404926803270225242722458649026817743\ 22672618887459702388*c_1001_10^21 + 4450100267173595496460100246509724047014353969739032964940270471795\ 378733568377689233047913763/261772551277918706720836634228719982435\ 03053630962299562284023987937303286860580071293149489844*c_1001_10^\ 20 - 74460103070060552852868372393954109158449979082244563412218033\ 70940922504584570098632320132588299/2316687078809580554479404212924\ 171844550020246340163511262136122932451340887161336309443729851194*\ c_1001_10^19 + 1385511782953043207406340454138724195120549154397687\ 8268415143342271981970808097683962785143801483/23166870788095805544\ 7940421292417184455002024634016351126213612293245134088716133630944\ 3729851194*c_1001_10^18 + 12081031751178327811026773327489653102992\ 17201935360182999652606773009562254242157318013118552135/2725514210\ 3642124170345931916754962877059061721648982485436895563911192245731\ 3098389346321158964*c_1001_10^17 - 3346224421968002571852218552555440843778683765533822278759162664392\ 1471192122760665796104243597281/46333741576191611089588084258483436\ 89100040492680327022524272245864902681774322672618887459702388*c_10\ 01_10^16 - 11908741046061682770227740578971582700204217142592573574\ 801842667032439898014499671949219503711908/386114513134930092413234\ 0354873619740916700410566939185436893538220752234811935560515739549\ 75199*c_1001_10^15 + 1656665077333472050107722349612324554056221000\ 7135202490058251462408418992206795064371307896509848/38611451313493\ 0092413234035487361974091670041056693918543689353822075223481193556\ 051573954975199*c_1001_10^14 + 265038238560131873043747520206945285\ 457440597096376750553545768361695555285882295658283571787246683/463\ 3374157619161108958808425848343689100040492680327022524272245864902\ 681774322672618887459702388*c_1001_10^13 - 5172215416979419003785699291539661930761786778780666649613411805388\ 0538282184807614108480502565982/38611451313493009241323403548736197\ 4091670041056693918543689353822075223481193556051573954975199*c_100\ 1_10^12 + 208634788765694141484810128891399547830941301977543252016\ 104014549977480859968765194385655645594367/231668707880958055447940\ 4212924171844550020246340163511262136122932451340887161336309443729\ 851194*c_1001_10^11 - 115184918109089657253555493206404557430690263\ 094517929870965293249040676652636118977739707608009365/115834353940\ 4790277239702106462085922275010123170081755631068061466225670443580\ 668154721864925597*c_1001_10^10 + 529572629156774044382582159548594\ 457486192427151451863640760288210545191990566777637320781358676703/\ 2316687078809580554479404212924171844550020246340163511262136122932\ 451340887161336309443729851194*c_1001_10^9 - 5693362753500617039044478765418973495810438420288568806996544049754\ 36343069098095305240240046612229/2316687078809580554479404212924171\ 844550020246340163511262136122932451340887161336309443729851194*c_1\ 001_10^8 - 60908740955243035352749480901632273545430879054308457785\ 1620862873215670649427323331296829722280439/46333741576191611089588\ 0842584834368910004049268032702252427224586490268177432267261888745\ 9702388*c_1001_10^7 + 219427900468577683654847119954810992879477660\ 107747731243121483246567511087054661523855315489385675/154445805253\ 9720369652936141949447896366680164226775674174757415288300893924774\ 224206295819900796*c_1001_10^6 + 5802469077495744088677520121825846\ 54639183699199704083920548938039611715138522427932242825776709298/1\ 1583435394047902772397021064620859222750101231700817556310680614662\ 25670443580668154721864925597*c_1001_10^5 - 6504162740797527160715793186418497375022128118767906639128360352513\ 99612157932351497588491665990767/2316687078809580554479404212924171\ 844550020246340163511262136122932451340887161336309443729851194*c_1\ 001_10^4 - 11496012878345564874941273693592471642941712594912146742\ 0916147746349717426716373632855281939419445/42121583251083282808716\ 4402349849426281821862970938820229479295078627516524938424783535223\ 609308*c_1001_10^3 + 8702106392772244091942085484061301451053345013\ 7624149087280404422801666103159152706392201573833023/46333741576191\ 6110895880842584834368910004049268032702252427224586490268177432267\ 2618887459702388*c_1001_10^2 + 707053703208883840131015745419997451\ 402697483021991239417770176279270739631952202139530193806789815/463\ 3374157619161108958808425848343689100040492680327022524272245864902\ 681774322672618887459702388*c_1001_10 - 5553606695909313695023817945525149425832882815588611458384843056214\ 280157440958524550528798512072/105303958127708207021791100587462356\ 570455465742734705057369823769656879131234606195883805902327, c_0011_0 - 1, c_0011_12 + 58583803531351080630030208099825952635165163506859517421397\ 346660214428792/161984492995799977151446109295478967138735821978003\ 0395012412548107147807948299*c_1001_10^25 - 5099414066538129263619323627887802992501372253967051254573699467031\ 1582526/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 + 6911029132024278263199203274237015232183280906103341491195983021769\ 56024/1472586299961817974104055539049808792170325654345482177284011\ 40737013437086209*c_1001_10^23 - 2437747856465921428406177910971487\ 943229806777833664280576968043347421681381/161984492995799977151446\ 1092954789671387358219780030395012412548107147807948299*c_1001_10^2\ 2 + 404848479288818015845527384786804680692301438511217633530670520\ 7866396738646/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^21 - 3521748778238742697302349317951357300247701352911048738384109164673\ 299391851/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 + 4353282699429989387071128994341202475143354283474993633542817116345\ 7497218269/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 - 8319126758329931150623835342862021226130144937171834481845057653107\ 3664788040/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 3376463024193266481435405617005289165293857345193334542008710785493\ 5735645714/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 + 7046959462060608754374142632711742908250449151276636538099354800044\ 0727568366/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 3651340099830512036948925559577599948623622120161235317559364466654\ 25942767840/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 - 5430846676862228108893651891407427701535438192599678792587432898093\ 24182176525/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 5586874754528088056509836401113232900031291903196115005502211491225\ 05939495281/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 + 1583189727436195594533711988109125300562959652308341677845799972414\ 429090769692/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 - 1636957432212032395937050326231268783022824648590461619635767361614\ 154768547471/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 + 2301657229796717859551352389595795655214313929786200325479146236213\ 480056732491/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 - 3787180868996681426282610255945754988145527438457612193981640825434\ 919759331243/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 + 3793772309274243631493805744243244739461074599403635433403620470485\ 086140234923/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 8742113673375611053202420668744425925335765614350999230064183422991\ 77329806809/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^7 - 1383427868780100327044480004001387986648556909407584440763646216543\ 696297633731/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 4471202906950495575664610197889064987021403919196720376147105133410\ 375886510804/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 + 1678637344708380107427381543434483604326779726639115632595784791802\ 989843006259/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 2447728132932587949130210072575855390194649909997584789443173800067\ 14514803092/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 1075120202160246719205489412242656321955818844125390928813714075213\ 101665349658/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 - 1294270175849000769626976493216814859439502916793452856697266652259\ 130643576301/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 - 6554865707049274175220897197668198260338372366881353000565259067336\ 4955990335/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0011_2 + 445272649630732756915797683924407812248563721686834393409427\ 97222875096349/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^25 - 3090937832537028402468693481912051805449774943319743135890105899237\ 9205950/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 + 2208037156315187490190625130485878846154644462111421744074901798901\ 620904/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 - 180943282727087594196278019728726\ 9142438766052820380368726266371219967368242/16198449299579997715144\ 61092954789671387358219780030395012412548107147807948299*c_1001_10^\ 22 + 28005141466522156682755544103810555966819089429908247064667671\ 51093862597976/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^21 - 3110884939217037862363741067917473907276458159755932337281821205378\ 245780834/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 + 3181039012975161432173723537826694350837685316061943438454213513918\ 3181536272/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 - 5854517556915280690154701358395642883850047098366739799120836174637\ 3047788712/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 2104885927198986398798226899324176235604082527466707920293748916486\ 0669241624/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 + 5582804936140068197674036192522479801165992874552046706453942910436\ 0233080965/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 2492048731084070907698746784531843099279610184596165626997077009557\ 33981195360/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 - 4107747117127618037228276872240563016104948642571135032436133968099\ 79135783807/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 3804715038592800912582743478861956544843015194105820655140056140825\ 47047544634/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 + 1235236319864636000154073149150352773686805059843773035826904016412\ 863673185213/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 - 1329835014788143765649576414079222853504240007896726459018663646879\ 928253418578/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 + 1464388828169719310453337757354289505585639469051753930990583880940\ 114057809444/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 - 2651577922724791461461057879741422759815608729471072698866380626771\ 555022468601/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 + 2632533901872135755188876628713164751891238017404506996901349057631\ 432145923104/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 6368953920636569971451493395840059710593573236689842109120207988457\ 36121888040/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^7 - 1715807317808881729131979090883408190753857753126853630357737643291\ 068479023933/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 2432643019870940899878045729454624437788932751658856998023482905595\ 893803554166/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 + 2537222355281911590091688230051950949669199086118001776246443675572\ 947738147610/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 1279584947174237222812827999869343722665280425327128539800455161709\ 95577316279/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 - 1131959300559047974123150866644477924806487840904331520014714245214\ 645526633619/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 - 1596273106711251245823755914570222133402202448883166436401869634293\ 079008039467/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 + 9999745940348087496435190770574565225018223226977394041206490404787\ 436573515/147258629996181797410405553904980879217032565434548217728\ 401140737013437086209, c_0011_5 + 952895242109716882590225939567309801506500234114999427309702\ 08981672203050/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^25 - 6478885619782432768972032914174945163878765496685901701388021688266\ 7794937/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 - 2269420904743538113177646241123690532715486527595462741258728640271\ 404841/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 - 384546540775296860059254284685350\ 6602377875280663310714163692049700824245597/16198449299579997715144\ 61092954789671387358219780030395012412548107147807948299*c_1001_10^\ 22 + 59318839741119595068729844487103037447432137593547395744702407\ 66422193143426/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^21 - 3501396756604444660121547311692986638717351369073020358975299588762\ 334813615/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 + 6434272242989289135075769929434722945681204018497438666798920042061\ 2072096013/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 - 1213502243814513991750654151679185928542315019170069854544681274507\ 71798796319/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^18 - 9859859768217541611251460959994305572068411704614690028000823987889\ 5251944047/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 + 1967778911744239116971632448488211292872219757150970114931544342477\ 88833300549/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^16 + 6183455225725186000435555820876119263392566525246770200167797516577\ 57542456345/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 - 9689573611185230545169539148428011515678164082026677350305661162829\ 22415096924/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 1267512593933867891038000179345720092153936323959698758077000186568\ 306161845657/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^13 + 3177638170324211575905668005207691455605558274283545382330933818572\ 838282320992/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 - 1927158117602481945957064756167785792810938344403995172794929417488\ 865674111927/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 + 1106467212931088690100554684997138662774249551255584219705100430855\ 620322459438/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 - 3991617613092066588858483515023059056647840349592079521752064467929\ 610057245962/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 + 4179655888531482952592443034645055675716182465393511397875826146670\ 975693151299/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 4011931894899210480048097261367758952903280068406023754969971956169\ 623683302560/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 - 5365750584466332502192426096682580035091063409286872065095043085992\ 343306765378/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 8886032108035336308169442951594688690860334800975546757719348115103\ 893650459533/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 + 8201941324182198382123380706259110525636638670575277695858621916822\ 973967473868/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 8078826690320057263215401707661986151803400148588180223540825101814\ 08250752900/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 - 4823061472777782817455677821949933968044169157368313135558133288569\ 753343821118/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 - 4359107783550661765752101335809509095897918942601196456214574201021\ 967096727573/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 + 5144928559131936851244957406929412852958095411035535930765615801550\ 9224890531/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0101_0 - 145640501684620801958059206063421678627679822874340882221743\ 964846708500315/161984492995799977151446109295478967138735821978003\ 0395012412548107147807948299*c_1001_10^25 + 8373284400648744333337456953790688493062847951530760105206881924932\ 5522573/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 + 5670225638767478078790774420925774127140306727709289769519516723127\ 50181/1472586299961817974104055539049808792170325654345482177284011\ 40737013437086209*c_1001_10^23 + 5979519986207036481457565179341777\ 540614872261790467521607960184488086480574/161984492995799977151446\ 1092954789671387358219780030395012412548107147807948299*c_1001_10^2\ 2 - 839450992156349117677629620255560611421460658513842193908357657\ 6400022882320/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^21 + 6239692674389568377967820642910050393833273861133216843010484862561\ 992185114/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 - 1031229767350188185937581141754357563730483175726131546044553556484\ 30545591881/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^19 + 1774161303660126205481473199626284400616908447342722827378631627049\ 32674178673/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^18 + 1359990466109803338096029498599567686351913712670948883125082172188\ 67671598943/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^17 - 1849838049841041471862619109268821373922216919191576795594535170534\ 98617709370/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^16 - 9640382674119829546626683207631146452335250036189760208387024031565\ 67876027102/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 + 1253099349715632123723718657674350433144590139658820691333958010025\ 873973723950/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^14 + 1771187948790225045790835509892831572780506043520459837770892936784\ 746330250661/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^13 - 3922581832652152732493958413381935029588859767201183248491575708925\ 094913543778/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 + 2784035107420754847924498188710810159514793296109996431383190040719\ 925518177848/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 - 3247163183729336125413574783177930002675899706344887313823111381123\ 120467212119/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 + 7596881529102737781192062915005975773888312473211683742293027619458\ 274672014270/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 - 7776833100559640025247814145167520945269864713743065237555625346997\ 576129352510/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 - 3781217961882733642881707283276717214966040473971377198859549918806\ 716955878416/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 + 3044728820591252952526296516225860255250995306124594083837858022087\ 652694603800/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 + 1506381387106438146394628412385582759125548953944431584086188594677\ 4711655392194/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^5 - 9302015296463429072708723141652326720357891917184719847931922163923\ 551670702669/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 - 6648129439308167690146838031837418059665168927941828482761339112951\ 93612220291/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 - 4274401832068136533623401420425123362531885095736180820848546005015\ 38214996940/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^2 + 7055202249084710140229122102122029500039865490289020242651536624699\ 166995606386/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 - 8591484177639860448133118825916094455385917770809441919281117358079\ 2816906151/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0101_1 + 248540164430736844585431716082557980474078884057632151378304\ 64534223889321/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^25 + 3865133792386201324501580673102334011504655882838173001519129722634\ 5467307/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 + 7241815585230937203254272289740589729699885711868665687772254608429\ 96847/1472586299961817974104055539049808792170325654345482177284011\ 40737013437086209*c_1001_10^23 - 9749348894191769881125577316093215\ 93936954522772824480992741710493900875230/1619844929957999771514461\ 092954789671387358219780030395012412548107147807948299*c_1001_10^22 - 73251803473227032199648447005563033183961003718368870599593238796\ 0430608231/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^21 + 4250296322166238364827910278089986967286829656233009042467746195126\ 66050875/1619844929957999771514461092954789671387358219780030395012\ 412548107147807948299*c_1001_10^20 + 1475586150631806585265598268702865552238987954675028056975554174555\ 2538879807/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 + 7564443909239517603914075885198625622603125993325370047472015568498\ 507285139/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^18 - 6350451825400292223224464291800172332037992355879696406874334900468\ 6813817385/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 - 1693410701270847208159554538755232058339401729278631602306220860639\ 3115408805/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 1416225217607339341445021603072892906006651551294536793695896439799\ 26102141773/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 + 1203320119243549528684158940683682154590266300505125282390312799997\ 22802133760/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 4989868550620572748733470078478204689036659088904049041037966322222\ 05687980941/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 + 9585266272266061866879910850682571761372948425008666141864208623172\ 3714443378/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^12 + 1785482406611328139000915336917897758216570562335892599119962951651\ 73070623707/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^11 - 1641799400625697041307367885362807513994223936680077534997333491666\ 66296903977/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^10 + 2497442716157914788782978290645325365270471164110945320293333783437\ 56925476124/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^9 - 1706808354886548297070356964706367015093522418655543024839301820858\ 087596632136/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 3113909257561653348021239631433276665620662347580422297844315866902\ 635656423654/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 - 5897268363907522065183638762417819852960660401719005323566448066234\ 25364107451/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^6 + 9401109525499810249548653162100945106012026223911024071045367811519\ 2852707517/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^5 - 3332961482971759422502813782594569963980103399336902749589141369881\ 238858832938/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 1012557334878502783639557991595982166689831707282014155283670809639\ 29823250944/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 1362080673600960709044260176761814821448594925287761640607831233199\ 259873022076/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 + 1026137692531819023033945652126789399971952678952968254022111939797\ 505647598077/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 - 5199310754003676817822160296093074927481716562127429245884913762838\ 3322527205/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0101_10 + 65898879019623898769912543635491418888423745797561449765690\ 284645482427697/161984492995799977151446109295478967138735821978003\ 0395012412548107147807948299*c_1001_10^25 - 4363409798328636257722715437604621325711879883421007289750724451334\ 1520989/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 + 4139295597750029975141571314157891115257453729211336783328146422486\ 021303/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 - 273198767828665210641627216717547\ 3454127928255360141203438114057559288133525/16198449299579997715144\ 61092954789671387358219780030395012412548107147807948299*c_1001_10^\ 22 + 40763155188050010293906292777397959869419385200013020817415333\ 90186477403324/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^21 - 4986457775947181841547490193851108709566281896558515578073938155623\ 594268188/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 + 4955631351503362033705207375483031458816622608889082979266997316981\ 9437295746/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 - 8805485232386910859640381062263426028934643313784038845591260708998\ 0438044542/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 2183649491626910861077439647399930950875833783119121199224883033047\ 3268844755/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 + 3232306486550660805070488017053213023730417772792164263699914462724\ 2428571713/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 4162184598262678677166227435256530035574955506405104508145715486173\ 15585304031/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 - 5698750845927951047373862302213200345031650267420073749187683242690\ 44778112045/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 5173105969767351589287022171001371872156089181189950966454036833205\ 08768534279/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 + 1465465485632311627192618658078504325523432821691937947304386292583\ 301242321555/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 - 1717135217189312309947464383987463991146248389341414396508798119448\ 961199027885/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 + 2693879181227455428658122121373271890607317213343458227742288442659\ 301833131227/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 - 5034189582108415516546265020454731173208439100412940894055985277233\ 557502174555/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 + 5547949706742746770121926712913181991721536145448518747965536200311\ 026129054133/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 - 1539463960820654122491371480760081755356381990779169706438536394472\ 876607014959/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 + 1506689083889614234028701618864870264996923986323007816545543375673\ 578832372785/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 6759287595547793527742060523476616854690894285276597119837423880238\ 629984009579/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 + 3484619051904364086931767899606924308953554825619995930556730437127\ 038268869041/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 1310440313335870169852651695497282653271884324728491905751625288210\ 61505847114/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 2090997300237056437760794549036130549028131316047714096155955116349\ 771700719566/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 - 4244781810040076790829930206824529985852488054649957175734770421788\ 218522391864/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 + 2614581258119914741887170794816080024579665250421121221934284312677\ 3271792608/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0101_11 + 64101958598327493811288956682364001643585213790942595788040\ 599565715918471/161984492995799977151446109295478967138735821978003\ 0395012412548107147807948299*c_1001_10^25 - 3338433473134456083559150842033374757286073730283911455993775433409\ 711994/161984492995799977151446109295478967138735821978003039501241\ 2548107147807948299*c_1001_10^24 + 4253251872665586703428344903132849222773411135431533044256261999959\ 248169/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 - 264480029397073251120380200258596\ 7359702345306983999211559018339905010371010/16198449299579997715144\ 61092954789671387358219780030395012412548107147807948299*c_1001_10^\ 22 + 23207900199116699466351426719293391798734722622246693240320221\ 86073909235401/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^21 - 3622931924403709011846351449296946105691463812326429109854601640798\ 313494761/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 + 4676465331266300239842404690519384514331437305569904442950666395870\ 0951741774/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 - 5653546392150985609735018560532651768622731579980226563445725993486\ 5839682654/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 5316649450833415592243653566427367741709117917806297623689444809069\ 2201753572/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 - 1362392442742127375897943237791750149760082061166980878377545647332\ 7091528502/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 3816852473413696559622463135160908014938779161890114421068260573581\ 00889986798/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 - 2730743512165778381565669403803094738413171978304862381251617689724\ 77412717371/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 6245787385173153612642022613387623093415277061994050404323817884077\ 34213641716/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 + 9182536549165445049425159364673957729527833009763913878970133533763\ 66234819515/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^12 - 1257760869585574321411619385570502224088697075822751227646475673695\ 824723189802/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 + 2312516306830244470655406585622640025486573200906069078221016882031\ 931885770129/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 - 3612404318239637874167005077023460676683237151150434582734175083615\ 625221473188/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 + 2942384417529178586832308703091967204564816204014184578347459164475\ 145579929988/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 6109577624784374152306481504623014057841272455142847109522626595863\ 86305684063/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^7 + 1747768999772436169433959389104818945266893587007117316939888954879\ 134032470707/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 4533786423659594982710122754689121526478272659814208122187496907191\ 017531933666/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 - 7232162177538683480595546529146017079813493657673286230950872097200\ 70699290601/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^4 + 3401827565823246007807670647312147196240859255908686451459325481092\ 8104694312/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209*c_1001_10^3 + 2353354565721419146442052358925785216705816206967083523690165934138\ 823337465398/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 + 8691000979579186964515238252467597601103329004740019586075491139404\ 80174463943/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10 - 1184113941265650844998450832621985937901633755624268931948225460165\ 27628512057/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209, c_0101_2 - 112504653804280873156047836464258733862794286885454573624875\ 19902039234979/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^25 + 1023217565153292120817814456677431327838318974966376048559171253648\ 89303322/1619844929957999771514461092954789671387358219780030395012\ 412548107147807948299*c_1001_10^24 - 3112384082864526247593163618208779771977525270927908121119249971187\ 583892/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 + 529253027107645065528263865136948\ 141664867321887545086049228205786357387460/161984492995799977151446\ 1092954789671387358219780030395012412548107147807948299*c_1001_10^2\ 2 - 457683152912955845310219119710576214597769843390030771480255522\ 6465737361640/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^21 + 5173910985160087795328464314460214240713359539780027074595144640211\ 942521716/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 - 1426145915770852642516322891826764401146991815746814423679492730627\ 0393030248/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 + 8319765550645109651502603959657054650194371489310769923756146413869\ 1340647081/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 9379104387316372343622972387990522642170025760888334291793587731495\ 8653078765/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 - 7299489200878845839833037643385951677058416652662890286531196260048\ 1647825615/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 - 3248810991307454078190206465081825248033268633701044163397712965316\ 9392671583/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^15 + 6367002803644810819399295119433391012989089053116723955311158382006\ 74580596691/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 4932749288057806074808150973740765846986282045284341827214183859318\ 97364404882/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 - 1127106275372048480124846145455758760024842069239564822949528121874\ 533849657180/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 + 2171417625334408211764709209295613523017812894224627705757956630112\ 982817018777/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 - 2745993251817021672577093140010317584095400811956956988641317677565\ 479365258290/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 + 4041573433211318148305323989038654033084362690756861006424030726283\ 187264999274/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 - 6109551164504216233250071848369392194359678942471152950782687426920\ 308414337760/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 4737936388677607145141319962725147326522779898569153824459585364380\ 770649338344/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 + 1254450971143633352269726232226894028713319684557673673170088245063\ 463204145072/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 + 8085794138227965365391601358771719851889128732374846090004893667508\ 25922392330/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^5 - 6149884628014233824983603658616450761080827878918471702080961869347\ 744934308381/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 1420717651615132130483277926872609347689309522401157563708403452631\ 07713207695/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 8969923848634741589330140708657775291980344300036293903166305190289\ 99965186397/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^2 + 1976090082146120206853200620565054247092170876258865604695097133228\ 070450646985/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 + 5001509686357165585880091426105745770268722365447206268540521892008\ 3030753005/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0101_4 - 731507548827281813988233553566546625325858229070193234429293\ 7985267998905/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^25 - 7360042682094930058966081902831816667894923705460439648229750156970\ 061537/161984492995799977151446109295478967138735821978003039501241\ 2548107147807948299*c_1001_10^24 - 3448192684547602148821650986734189592039125638601002634208548120309\ 065279/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 + 294239821820730678010094256203985\ 510898121477526476922861146014211866452144/161984492995799977151446\ 1092954789671387358219780030395012412548107147807948299*c_1001_10^2\ 2 - 278307259168208709353554298717491800189241348891257464348281823\ 20080664678/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^21 + 1464708997708439144245140875899751409318580543647466839689828990950\ 294876337/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 - 6023486520733726466340783811418289836732683254140893457241802006361\ 940077477/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^19 + 4863584740569797090165457194014048028044983766122043637462030558906\ 773256502/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^18 - 1192813532566355620357965969605358214418023562074213342783827752446\ 2466800959/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 + 3814652975509947949303654615658529884520031378484472274399440337319\ 8298996653/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 - 5108444984321666402173018756789300869513333862438691905863510195188\ 9642536191/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^15 + 2679041690657229384802104108057726434962120748203949566002503445972\ 0595935520/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^14 - 4137687847607364672228142301118610278752027220061640390481746580199\ 7170961002/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^13 + 1177242418038839673410933300306209750395268306164037305414136798311\ 27848448137/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^12 + 8017778497727991401041405775619520812342374075095277687303075783480\ 6430480414/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^11 - 3922219514307375691067697317774762353930032835572579022631422064458\ 21776398736/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^10 + 1247008713111734090263654764508976185062911661955328700074344451798\ 637742843312/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 - 1754177397468503138628120968669937252260461546044883314561915729825\ 939988819210/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 2413675328158215227811613547634524347889958552214269629444954736772\ 053936821768/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 - 2890116952669714561073181622866258251645480895730592257309189592217\ 275130006516/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 + 2288084688597297952077450325587551867669490366079876743690318746828\ 254097498775/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 - 1805981707195983979504386356172440704626775098980880297960945645324\ 048425862782/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 1137287819596717779277558377078572736922765585269092883691548511856\ 53008955978/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 - 1015877098076809718555305136793474227072312471922323167342241041136\ 670035369908/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 + 1330666704233076249688492620652925455025626918076473924025091221421\ 940070867264/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 - 9169446965169188917108067992484278284918037617302474222499543380013\ 8227782943/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_0110_7 + 605736188941382577645528327813133053518838548237440184579625\ 0517445281249/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^25 + 7697393053085334815442108287663460490238909511917359380682267308898\ 5186571/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 - 3926920373097408411959077618618545712749282593575604766896610398520\ 636909/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 - 223289093976479648692010885654530\ 995995167733416339689739156866215935659649/161984492995799977151446\ 1092954789671387358219780030395012412548107147807948299*c_1001_10^2\ 2 - 294203202292267509725145602465838417393855929296400479020758667\ 9373989235659/16198449299579997715144610929547896713873582197800303\ 95012412548107147807948299*c_1001_10^21 + 4196564666218118909704792944175452240660985917351798120768032589322\ 018873242/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 - 1969958614694626275913809076296976887017439860924312745256592140736\ 02034851/1619844929957999771514461092954789671387358219780030395012\ 412548107147807948299*c_1001_10^19 + 4995016266799866520728549924928829836890945862698705447318395725284\ 8751033648/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^18 - 9983850895534474632511415627214003655081931488666437699783240090915\ 5042033378/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 - 5333771261439704334940294732298919520929050770259382504068867333223\ 7875757683/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^16 + 1262472899243298114904835914606787445524316044763357814512791876778\ 46938874040/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 + 3992004830122355588073896051285993940499803404428661715511974395360\ 02466425397/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^14 - 6852015628460312274658468935059089965064489399709288557132201767634\ 94253761415/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 - 6185017544556826975028755588198138412584762875713860100294920040113\ 68305599095/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^12 + 1914552960743763511119069618840418253786460839646957682313339221869\ 011051097176/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 - 2069925462489354706869436761484988136819605905874135556801290039330\ 616696685327/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 + 2206828550413166541571614404549302335455317238098967394378501155249\ 342212907307/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 - 3597017081226598264649630317134695067464961153393909641700179797654\ 078583555585/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 + 3605642122357367860074038450525304285193610753132183673378150321763\ 791183000345/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^7 + 2549307309300542863751901682439262188276401732742170687608985333501\ 816079293503/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 - 3693024687580891447124390887084205549573547055427966171307914680669\ 237203743538/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 - 3195144795938104666254217916914431722891620196771173693739751437186\ 785559456102/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 + 2246401367509515225387230940580704283497246482148151419846859134772\ 79676428871/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 2035442884313849224009348859114170669551476095187775865250629369455\ 797626128158/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 - 7984342839793344200678237795643886198322686667898123376236956129519\ 16036252912/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10 + 8834301672189228313809658083985730871485056605128419717552711309418\ 4448330714/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_1001_0 - 124469712275678433136926385539792032548589052801488009582894\ 251710282099155/161984492995799977151446109295478967138735821978003\ 0395012412548107147807948299*c_1001_10^25 + 9468615770762154475330112478873031346114540348308511446503168809144\ 9359888/16198449299579997715144610929547896713873582197800303950124\ 12548107147807948299*c_1001_10^24 - 6141033986079944723255748102614635574914341308164506960746957764379\ 375688/147258629996181797410405553904980879217032565434548217728401\ 140737013437086209*c_1001_10^23 + 510442739418121332492324755213819\ 5241572763526826928205902414828106266767619/16198449299579997715144\ 61092954789671387358219780030395012412548107147807948299*c_1001_10^\ 22 - 81495214577409656788264144254185617590167530983575892819026968\ 40127921267419/1619844929957999771514461092954789671387358219780030\ 395012412548107147807948299*c_1001_10^21 + 9051085702287037105733596731613493557925790199015249553321553653331\ 497925621/161984492995799977151446109295478967138735821978003039501\ 2412548107147807948299*c_1001_10^20 - 9095681713756381492357277476859640331899059382467306669515989927824\ 2711276581/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^19 + 1703074270166166330433452024451467381862604494395105586791899193347\ 10383490785/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^18 + 4833606695642195219161344564259086558799920321679246495964156964695\ 8445272576/16198449299579997715144610929547896713873582197800303950\ 12412548107147807948299*c_1001_10^17 - 1354937920742076008236599020130764027506386696141141369672062918022\ 80687955828/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^16 - 7221125265407108828795551114787054630388494669177045345268375515971\ 87748180925/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^15 + 1182381016466051195717720921838433736828709363204961832240008542814\ 757703744068/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^14 + 9906677192923487255219024785432691806437240377929801324992321657627\ 46202059130/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^13 - 3363289350819465867873056477703739323005297595600196863980530770133\ 094841916050/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^12 + 3733932265648167200627671798732364247828546086779057810902343341060\ 375853779021/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^11 - 4437414154538091167909926354660066474177459548048303847197044347576\ 774645785023/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^10 + 8111748169260374206098683341042943458765810865876969375555044670336\ 950019254128/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^9 - 8877352839287147161936105341800813708250108369448287687699915574566\ 788941283335/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^8 - 2772274697918534480484973748596138238525982250346794874071339389399\ 60384084481/1619844929957999771514461092954789671387358219780030395\ 012412548107147807948299*c_1001_10^7 + 2579566860841186772304056817522140857658539711589236977385232721725\ 480863264446/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^6 + 9080770767295658952747197510239689010930433865877015517878324744301\ 562106854533/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^5 - 8225876351445286568096494848683714760652938190474048733498365478627\ 035584879556/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^4 - 2740583520838532177978812640568209784683436302343198095885556187089\ 64028366631/1472586299961817974104055539049808792170325654345482177\ 28401140737013437086209*c_1001_10^3 + 1102249559607442715501780332769184844589144472774988258869058227354\ 684055122128/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10^2 + 4580847780742321391806469257401919864035205049505213220929004791016\ 918213258098/161984492995799977151446109295478967138735821978003039\ 5012412548107147807948299*c_1001_10 - 8963080742320764469554549436107325686799095789323485647846760172251\ 9104534062/14725862999618179741040555390498087921703256543454821772\ 8401140737013437086209, c_1001_10^26 - c_1001_10^25 - 41*c_1001_10^23 + 75*c_1001_10^22 - 59*c_1001_10^21 + 718*c_1001_10^20 - 1509*c_1001_10^19 - 563*c_1001_10^18 + 1857*c_1001_10^17 + 6262*c_1001_10^16 - 11439*c_1001_10^15 - 9689*c_1001_10^14 + 33118*c_1001_10^13 - 28712*c_1001_10^12 + 27185*c_1001_10^11 - 57265*c_1001_10^10 + 68493*c_1001_10^9 + 12162*c_1001_10^8 - 38066*c_1001_10^7 - 98935*c_1001_10^6 + 99618*c_1001_10^5 + 43604*c_1001_10^4 - 22728*c_1001_10^3 - 38186*c_1001_10^2 + 15048*c_1001_10 - 7139 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.420 Total time: 6.620 seconds, Total memory usage: 64.12MB