Magma V2.19-8 Tue Aug 20 2013 23:59:55 on localhost [Seed = 3330322325] Type ? for help. Type -D to quit. Loading file "K13n1441__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1441 geometric_solution 11.86069757 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.607088020427 0.990034910534 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092822952737 0.425979019710 5 0 8 7 3201 0132 0132 3201 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388737412939 0.561681547156 9 6 10 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.572597331194 0.915925719827 5 11 0 9 0132 0132 0132 2031 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 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.591574062454 0.779953581701 4 1 11 2 0132 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.887604937074 1.465070359513 11 12 1 3 2031 0132 0132 0321 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 -1 1 -1 0 1 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.750232925437 0.931122484437 10 2 12 1 0132 2310 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.704011375772 1.603802439573 10 9 12 2 2310 1302 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150686383666 0.743209796710 3 4 11 8 0132 1302 2031 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200447050485 0.731458415839 7 12 8 3 0132 3012 3201 0132 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 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.403415243594 1.091499404837 5 4 6 9 2310 0132 1302 1302 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.396046085552 0.332815545734 10 6 7 8 1230 0132 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.527053086525 0.498114735929 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : 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_0011_12'], 'c_0101_10' : d['c_0101_1'], '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' : negation(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_1100_9' : negation(d['c_1001_2']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_0'], 'c_1100_10' : negation(d['c_0011_8']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0110_2']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_5']), 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_10, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_0110_2, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 1011673750405166668957770116417900029957041823926312907696942681155\ 318828719/217540554580205165910695841082813980950438991716488176517\ 793324080527750*c_1001_2^26 + 6721608587700548227456654525617859431\ 949783963306084221665071877873295226327/369818942786348782048182929\ 8407837676157462859180299000802486509368971750*c_1001_2^25 + 3739286750707151865243700077174893019404845695130854948061349226888\ 9496951469/12327298092878292734939430994692792253858209530600996669\ 34162169789657250*c_1001_2^24 - 52430971390113888110340733187973644\ 279319422685023821602204431078582003604589/217540554580205165910695\ 841082813980950438991716488176517793324080527750*c_1001_2^23 - 8756746396738404805538823540726366783502574822383652245479738955848\ 9494498768/18490947139317439102409146492039188380787314295901495004\ 01243254684485875*c_1001_2^22 + 31239601650057985464209546530647694\ 54602143800804519400434954175256413738152288/1849094713931743910240\ 914649203918838078731429590149500401243254684485875*c_1001_2^21 - 1847691873102091671686332483136924598481664386038601401176865166245\ 465618437024/184909471393174391024091464920391883807873142959014950\ 0401243254684485875*c_1001_2^20 - 581488156055291756010171632132457\ 1447855707049626603407456216295074109726685949/12327298092878292734\ 93943099469279225385820953060099666934162169789657250*c_1001_2^19 + 1711888836432433500018424852141210251720524632127681080650540893939\ 5207181227063/36981894278634878204818292984078376761574628591802990\ 00802486509368971750*c_1001_2^18 + 2315106321896455826634828005274260966739244890927632885733773935245\ 104236956256/369818942786348782048182929840783767615746285918029900\ 080248650936897175*c_1001_2^17 - 1132756095869089003658945637724256\ 9182241023275870596086736299990691939710634693/12327298092878292734\ 93943099469279225385820953060099666934162169789657250*c_1001_2^16 - 3720938143895901154947920755503328880962802929222791591892813402566\ 002964172201/123272980928782927349394309946927922538582095306009966\ 6934162169789657250*c_1001_2^15 + 357260877159390946237643757396698\ 85022450653520635153042304876489096411079042617/3698189427863487820\ 481829298407837676157462859180299000802486509368971750*c_1001_2^14 - 1399694810595494590603623893127216979790703202210190241036117627163\ 574309524393/616364904643914636746971549734639612692910476530049833\ 467081084894828625*c_1001_2^13 - 1555591425571774169359727068289989\ 7048515296902801720730568615991664179211975133/36981894278634878204\ 81829298407837676157462859180299000802486509368971750*c_1001_2^12 + 3096876953422204306994269792695465607384194510822283930201150176714\ 181561963273/739637885572697564096365859681567535231492571836059800\ 160497301873794350*c_1001_2^11 - 2697547375360311067367805503779351\ 56362542399838996406884273343262820371687009/1232729809287829273493\ 94309946927922538582095306009966693416216978965725*c_1001_2^10 - 4620645543849921292310031844167836396889524033878684809616310181143\ 82762669701/2465459618575658546987886198938558450771641906120199333\ 86832433957931450*c_1001_2^9 + 865242708368326708627515180267407432\ 759304208210642872625829997598468444412029/217540554580205165910695\ 841082813980950438991716488176517793324080527750*c_1001_2^8 - 1162729412338668283494169968889064287533290561644018489512137576278\ 878245808943/184909471393174391024091464920391883807873142959014950\ 0401243254684485875*c_1001_2^7 - 2639639863136054890370711350754104\ 007617152656187505052651099362074638546206191/123272980928782927349\ 3943099469279225385820953060099666934162169789657250*c_1001_2^6 + 9188473470965628413375890408601488013967282007086390683956996038053\ 12436279379/1232729809287829273493943099469279225385820953060099666\ 934162169789657250*c_1001_2^5 + 24909811305310773163682025216422544\ 6162061044466454289115146905826551875912591/36981894278634878204818\ 2929840783767615746285918029900080248650936897175*c_1001_2^4 - 1265364362504902889466641385381257236720159707277578407367252336943\ 30344280466/1849094713931743910240914649203918838078731429590149500\ 401243254684485875*c_1001_2^3 - 28786185719608516433175279059593443\ 439910948181772735396105880045948968140656/168099519448340355476446\ 786291265348916248311780922681854658477698589625*c_1001_2^2 - 1583910152350705919493800970530298283716178794352385629756917708155\ 78688103/6723980777933614219057871451650613956649932471236907274186\ 339107943585*c_1001_2 + 5125287218613520651483304901030342830448061\ 0549542934664265955112126348105953/12327298092878292734939430994692\ 79225385820953060099666934162169789657250, c_0011_0 - 1, c_0011_10 + 10624577828013119812115354675545373044441674433134302577710\ 599902/564883847983442422348652571048008203831403067556311475541176\ 8325*c_1001_2^26 + 403330595292293488286785379286519140049455039810\ 7210384789844023/56488384798344242234865257104800820383140306755631\ 14755411768325*c_1001_2^25 + 69287519076826904693508334045786316562\ 221937099896643129174115143/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^24 - 550934251524377698913319648445838388494823620948097483645826520087/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 - 1014602692242437723944997586392657831866015261288055853\ 53405335489/5648838479834424223486525710480082038314030675563114755\ 411768325*c_1001_2^22 + 3862187133448547260803534714027107373867962\ 475347156513114826143224/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^21 - 2349383783322136055669367530692449589291863423732466660917568153127\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^20 - 107523078117436900940894890107806999742491828253755221\ 57141177738753/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^19 + 1085415122185727452645522953897727854631\ 8474846120340180612858885687/56488384798344242234865257104800820383\ 14030675563114755411768325*c_1001_2^18 + 2823214528518309010909699271890885011793165135009630735180755077678\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^17 - 216106390453254697508990422184130999753502189251647962\ 80773777656921/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^16 - 6377439098358488712514383041931398756057\ 160973463151021266954810147/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^15 + 2280828539670761388438089685588882418842817727439475272301197506160\ 8/5648838479834424223486525710480082038314030675563114755411768325*\ c_1001_2^14 - 59424854822161299529111291723019597145064499211191007\ 56490404540967/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^13 - 9996158564983885986302572927556882805454\ 700127165284051301477488017/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^12 + 2026817746216833568381959109220434507857182544948469926637227921547\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^11 - 102031156750705748218723855744168623812853282666257425\ 3542551624041/11297676959668848446973051420960164076628061351126229\ 51082353665*c_1001_2^10 - 86888735882920321210550744421636000131003\ 5794939961720573489561422/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^9 + 9365949421139199639074825871804698644392746235177934834906264935857\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^8 - 1751597655187041114041492620338793196248826625516238459\ 707188293264/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^7 - 5053267559148223667270406646549248280727553\ 174854639790186759403752/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^6 + 1991517180707790517793329088589521041393160702818995270203795877413\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^5 + 3156860973749711747322750959252266568078120533393363618\ 27622378563/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^4 - 24471760380208959839270258057723701027955566\ 2168410340066387801593/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^3 - 413590291386364381129464389272829\ 135649643644482401331954344656268/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^2 - 1700007878537310959300424709900418352518163566236922331702201418/22\ 5953539193376968939461028419203281532561227022524590216470733*c_100\ 1_2 + 1060795151323653508172336582326119084829619265267935109075479\ 75866/5648838479834424223486525710480082038314030675563114755411768\ 325, c_0011_12 + 10250561437830498365038554988551772280597996505267450031151\ 60179/5648838479834424223486525710480082038314030675563114755411768\ 325*c_1001_2^26 - 1434711146323935789429095501561132732004500184723\ 50351034974579/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^25 + 6180960670642043177259403105569720850114\ 334877942956217250418286/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^24 - 56879100533096437393827660827339947292641507920510415489095155374/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^23 + 15902989643260032652049842174482845870735282243241688628\ 538607072/564883847983442422348652571048008203831403067556311475541\ 1768325*c_1001_2^22 + 392831943061061540548059956803265353995881459\ 317492075667557905398/564883847983442422348652571048008203831403067\ 5563114755411768325*c_1001_2^21 - 409385191526475563857799312591406\ 052020768003072951141758070872704/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^20 - 1030365294836348071504821130123007635916725590415779734211415925281\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^19 + 158538399964985091024369357153279151298282031695320815\ 4155481235974/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^18 + 23543696931007823501035854629805652444639\ 8802937641018000326516961/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^17 - 2872289633711372254821697973050504417927619220859606957245422183567\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^16 - 173663850857734645494033707333328635428495219140838207\ 205731959769/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^15 + 273589239505319310531621600412900557079994\ 0153788302002603046755241/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^14 - 1059725967784431324302958227515655430523619136274854134603181455159\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^13 - 955248973230221186298211605463476228714378876712666417\ 221233182384/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^12 + 230786213737501509955952646261948647314745\ 616886465250125047788639/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^11 - 163852699897912746093581485766263312590581395419074942453485544727/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^10 - 4544499782943069087029354541822237349038515516262632610\ 7164111519/11297676959668848446973051420960164076628061351126229510\ 82353665*c_1001_2^9 + 116234759149553854085417115805363092410834606\ 9216965311080118377739/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^8 - 412077966925001228347158106205358\ 277456125664191417390489657034003/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^7 - 559520804563648001660094630064940760611105145343816746565603752379/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^6 + 27311502245133257561264354352654278089187741898060977803\ 3766333651/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^5 + 307630646466860268435329501677128708821438019\ 27284251280762573706/1129767695966884844697305142096016407662806135\ 112622951082353665*c_1001_2^4 - 30061671884159392702521429088719698\ 787540669770250040032628354511/564883847983442422348652571048008203\ 8314030675563114755411768325*c_1001_2^3 - 40522063503062107231432129261840874320053691853265660872994549161/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^2 - 275373859623102766800955139362054081226514313907752571277\ 307605/225953539193376968939461028419203281532561227022524590216470\ 733*c_1001_2 + 8040742936979263808166237056619496138158215624627457\ 678672400107/564883847983442422348652571048008203831403067556311475\ 5411768325, c_0011_3 - 243193390322915243826379710798877386817239183428703634235027\ 8378/56488384798344242234865257104800820383140306755631147554117683\ 25*c_1001_2^26 - 19827658304515479557503712206962593003832317770134\ 11859204809872/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^25 - 1550863779799139765667453692071816651468\ 8075425242451481451895227/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^24 + 119125346666194366209497845791144209628835533171368080049982731118/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 + 8352554752699904394740032216063730422604854736289217962\ 9304011296/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^22 - 91556546095008087227493629612103873696226022\ 1514359387245847002761/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^21 + 167868280294048329747721080027908891918770613158668268924934478978/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^20 + 2939077797025181407443088754524939817627630389172816939\ 887855491167/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^19 - 168831294465953412050967172554117961570406\ 7336933609178167966901443/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^18 - 959722960624058165166306226406560072056596315664711211444664494537/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^17 + 4401176525042391514197510392502808567927227219541647586\ 850390471294/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^16 + 384432119670339437197370281740091610614350\ 8309249090578597366113583/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^15 - 5762726084649103473275652512543348207327846074786636302590844616562\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^14 - 381608181901398640868189328966552171860628941525091463\ 865507479512/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^13 + 353198323739307771546120944941734851481909\ 4698323599717999893961713/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^12 - 446621294439657476518712019286092879801083519797474907100293300043/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^11 + 8474319824967920780857480930907924274278235436574756089\ 9267429949/11297676959668848446973051420960164076628061351126229510\ 82353665*c_1001_2^10 + 39251067822551265774209999861913716766879055\ 8879861299766648096283/11297676959668848446973051420960164076628061\ 35112622951082353665*c_1001_2^9 - 235702383181194164749657055452381\ 4437204909461148375019894686791523/56488384798344242234865257104800\ 82038314030675563114755411768325*c_1001_2^8 - 345740543505710664030715450900040766261564955102077373002435815404/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^7 + 16320525004771313312606866621972335732170014961969373374\ 00178171928/5648838479834424223486525710480082038314030675563114755\ 411768325*c_1001_2^6 - 25763375204994710174046137308251689642421329\ 3762475456284400277832/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^5 - 103294641466908647782624265230386\ 470727784405142449798905991482182/112976769596688484469730514209601\ 6407662806135112622951082353665*c_1001_2^4 + 766002080338057553874051120374956421453238287973123163410239202/564\ 8838479834424223486525710480082038314030675563114755411768325*c_100\ 1_2^3 + 92157947162438051385349442699200027261973710008984539635894\ 634677/564883847983442422348652571048008203831403067556311475541176\ 8325*c_1001_2^2 + 1260440390839618194184031016678079086842563510002\ 185514047194755/225953539193376968939461028419203281532561227022524\ 590216470733*c_1001_2 - 2705769576080285586462266368008535194005381\ 4368246077666965611049/56488384798344242234865257104800820383140306\ 75563114755411768325, c_0011_8 + 743561822829718665703122635551339681043734057387481305820324\ 5514/56488384798344242234865257104800820383140306755631147554117683\ 25*c_1001_2^26 + 29339049164709036012776620784234275149378900898853\ 46490086353986/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^25 + 4829917090990937744674913114875602346973\ 3357242997966864136545801/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^24 - 385033289675114482507006464987813598687885160648731656290612045434/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 - 7833694076737588671688629021174530070251590162508349598\ 4787036448/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^22 + 27135831878588825048968255405330039064343377\ 77264545043338211210868/5648838479834424223486525710480082038314030\ 675563114755411768325*c_1001_2^21 - 1596239479191145901672482845681408734573492890243822436562959359689\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^20 - 763221294152604772880868005270691116237320311216823438\ 3874680165096/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^19 + 74908521532830600776903890951190121339185\ 19406972364558531888597109/5648838479834424223486525710480082038314\ 030675563114755411768325*c_1001_2^18 + 2047967740292394437146918142180919554206041699458571425215475565221\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^17 - 150506977439023770349855193276767129895198062521748185\ 23842054896447/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^16 - 5078534302408042608011386714089236438139\ 431721040306417700380138779/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^15 + 1604129046954332473630445887710783893189627152747446878905622433628\ 1/5648838479834424223486525710480082038314030675563114755411768325*\ c_1001_2^14 - 35835030204227602289339586382778133186510692880691833\ 85288576153844/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^13 - 7196866410643157261855481224189509097934\ 282246615944073082019704044/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^12 + 1372076612045074040999161206564774508989962372067665231458498447089\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^11 - 683536919076359347482966919776332278841715287255223049\ 431876424037/112976769596688484469730514209601640766280613511262295\ 1082353665*c_1001_2^10 - 629932083702275948130815128011363911526205\ 049105218798656815282734/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^9 + 6565808477707225326967409659012185909403670154099793418014581742424\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^8 - 1009606983153690851598211844154401752346241888610072301\ 362647900973/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^7 - 3627007734660187192829425552149740812087656\ 517936593599163052925564/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^6 + 1243381709506323260489571603851697608944468674341368862153344350341\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^5 + 2294438128165602049074074961418212320375204741920154024\ 21362701121/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^4 - 10433941109306297898103853844623379251996602\ 6527139191802152073376/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^3 - 293094762393993082714321609755347\ 106597828644080025155428051483301/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^2 - 1847857334721567798275788467798543887243257160024931941714116239/22\ 5953539193376968939461028419203281532561227022524590216470733*c_100\ 1_2 + 7367387938982217142027997570646557942435385357273363707275064\ 6787/56488384798344242234865257104800820383140306755631147554117683\ 25, c_0101_0 + 108207673606011266547192451285557288002846808647416619578944\ 53091/5648838479834424223486525710480082038314030675563114755411768\ 325*c_1001_2^26 + 4849425224014163368297877175439326504500293697271\ 705616570260509/564883847983442422348652571048008203831403067556311\ 4755411768325*c_1001_2^25 + 706484835465548025566915969984255755357\ 07188714015507927031764819/5648838479834424223486525710480082038314\ 030675563114755411768325*c_1001_2^24 - 556828396071028298549147075608968031723299056207654094628692645671/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 - 1437402278563154396539131427343095461938276994177273994\ 53830601112/5648838479834424223486525710480082038314030675563114755\ 411768325*c_1001_2^22 + 3933431242520236718267641041937272571244463\ 719189287853409704260542/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^21 - 2098982147172649030345532370369428476324800890679040543797806079041\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^20 - 111586687595842329359663060147285376027844271671164275\ 28712535895624/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^19 + 1018303678560403016398137100061458664749\ 9207322636400709591012928221/56488384798344242234865257104800820383\ 14030675563114755411768325*c_1001_2^18 + 3052403042796362471656145533419693704310085087520210996756232004474\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^17 - 206851625299735359919127277282708794021479231422532123\ 39136544585218/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^16 - 8188342785624725901695098697085231597870\ 359282031661160137507042001/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^15 + 2223808875883662205983901011481849189197758298766239150235174286051\ 4/5648838479834424223486525710480082038314030675563114755411768325*\ c_1001_2^14 - 43158697045049191234454791545057140356037494227130762\ 91508891412136/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^13 - 1010201545780979823991489211391094651271\ 6294675592400259909006939736/56488384798344242234865257104800820383\ 14030675563114755411768325*c_1001_2^12 + 1909884664152863562329029175650559137154236345825864715678443502671\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^11 - 940695628891127104612926382627963729238586880095409826\ 586851561348/112976769596688484469730514209601640766280613511262295\ 1082353665*c_1001_2^10 - 958189856360247642123253011899203617390381\ 134943630333077735482846/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^9 + 9179159010922389419529701907918985076055540080654579805828187010656\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^8 - 1029323257616668463680566108303849054206348352850177299\ 831628120837/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^7 - 5071998981411959560949316006719138776568116\ 499371597246178719827016/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^6 + 1583301326224063911413262740899494738895540789111003391862482676154\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^5 + 3166851711024054321207433707455459846190098738790046177\ 23011456389/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^4 - 11910578199551836097724896871078001275442164\ 7859471977331881870869/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^3 - 387633562725458342269387918328070\ 584822051874050863366404816724619/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^2 - 2623066030101833471004022468331587633145618375068419176655441840/22\ 5953539193376968939461028419203281532561227022524590216470733*c_100\ 1_2 + 9654211562044326772886348692078687267387784376873801361961478\ 9003/56488384798344242234865257104800820383140306755631147554117683\ 25, c_0101_1 - 602899692466337728676844015090389560235179260947157860900434\ 8816/56488384798344242234865257104800820383140306755631147554117683\ 25*c_1001_2^26 - 21573636402627713594107224177084872446682518104784\ 40744356572159/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^25 - 3927333543752833440244076104285145011086\ 3457000842461391967463394/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^24 + 313605816585465144466405102402801557616713094623134454850691895746/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 + 5069329642737494101207876961196978392137988775099178711\ 7526772012/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^22 - 21919399326187523258870693281487474266775183\ 69159806313129619084817/5648838479834424223486525710480082038314030\ 675563114755411768325*c_1001_2^21 + 1374201396833186193700236441224726704392011033249217792388474679866\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^20 + 607265287530014232255077157500808542433681045820723358\ 1590645858049/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^19 - 62422787713453660598824264227776060370618\ 17893754102711739236413621/5648838479834424223486525710480082038314\ 030675563114755411768325*c_1001_2^18 - 1584686537425039393262216785292644797320256729168851757845003101534\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^17 + 123033116022616065206399861915597865086743737218186977\ 09024426309743/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^16 + 3543096984964816842869175701892581510364\ 103643451228524963014095426/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^15 - 1286625502884454146851720146563105034035448887725759721432795006418\ 9/5648838479834424223486525710480082038314030675563114755411768325*\ c_1001_2^14 + 33290113164750580775876233431941639525190759789459510\ 87255472203836/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^13 + 5559384351789364931103427596106458151162\ 128603119931953431888709536/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^12 - 1122505961157738821050892835056818465390291418841351539323791755391\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^11 + 587686044987013712396276841186741325544354116624434927\ 738596809098/112976769596688484469730514209601640766280613511262295\ 1082353665*c_1001_2^10 + 472253560289306839758023860696728091786850\ 167733060333513731644611/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^9 - 5290409677075077961450919299844012562864128772368091552833599396856\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^8 + 9836918609671587871021807871155677072067604211542012926\ 12645475812/5648838479834424223486525710480082038314030675563114755\ 411768325*c_1001_2^7 + 28499357372697271560892445365421495132678066\ 92815165833177884273241/5648838479834424223486525710480082038314030\ 675563114755411768325*c_1001_2^6 - 1074997766973391042836219917687352512245423871548152517437212449454\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^5 - 1805872966750111958965801894326845017421384555584684936\ 08035882554/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^4 + 11761403267139216526837969076069012455647193\ 1321201516112972730594/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^3 + 227345210172610097547803539459396\ 532432848523845761545227224690919/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^2 + 1240548936165402891560984923114818516814864300164626538082975994/22\ 5953539193376968939461028419203281532561227022524590216470733*c_100\ 1_2 - 5509202688083526263976575151287349398709432520075483336063631\ 3978/56488384798344242234865257104800820383140306755631147554117683\ 25, c_0101_12 + 45397275206487400460596010866111170775117134058411788718512\ 5149/11297676959668848446973051420960164076628061351126229510823536\ 65*c_1001_2^26 + 26451830324824853248486740907619811990685581594757\ 6353022285771/11297676959668848446973051420960164076628061351126229\ 51082353665*c_1001_2^25 + 28413489429712871561087677664819387733237\ 16021551045924384323761/1129767695966884844697305142096016407662806\ 135112622951082353665*c_1001_2^24 - 22986971304914103516469333078268361695634439168089973612507419249/1\ 129767695966884844697305142096016407662806135112622951082353665*c_1\ 001_2^23 - 10148466029689626496571832204108093199134585589923338287\ 756256373/112976769596688484469730514209601640766280613511262295108\ 2353665*c_1001_2^22 + 172304780192553409859790808058127773675230158\ 683070717694308103508/112976769596688484469730514209601640766280613\ 5112622951082353665*c_1001_2^21 - 660896339101189248690270323774908\ 28463096064242085390991587658079/1129767695966884844697305142096016\ 407662806135112622951082353665*c_1001_2^20 - 533560408782659820724103971847871093987157543800179163900006447276/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^19 + 4038860091512397471136661405444439035803511846917983316\ 58590257014/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^18 + 1671953323090845378159081917165166392002612\ 67633328370665493362466/2259535391933769689394610284192032815325612\ 27022524590216470733*c_1001_2^17 - 929293888792829979073718160268898669987863418655945765401923387142/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^16 - 6239684079957312029639897623615381491862587492149819741\ 51390348859/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^15 + 1125138069966079422701190936958213404605552\ 818539141803770150728811/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^14 + 529528066066150355533440169287306291234681402673043107982632856/112\ 9767695966884844697305142096016407662806135112622951082353665*c_100\ 1_2^13 - 6343526113533022249562370516261943945500759258508199543806\ 09841994/1129767695966884844697305142096016407662806135112622951082\ 353665*c_1001_2^12 + 8403186047697704604078747142129822659450512729\ 0351068439565381978/22595353919337696893946102841920328153256122702\ 2524590216470733*c_1001_2^11 - 246728412596897622975557481320575495\ 33911919759426176761946759854/2259535391933769689394610284192032815\ 32561227022524590216470733*c_1001_2^10 - 64314864405659631666473658939943040569197854789535632278750992025/2\ 25953539193376968939461028419203281532561227022524590216470733*c_10\ 01_2^9 + 4604381187138277309510603483228854563934854293477554872857\ 57646974/1129767695966884844697305142096016407662806135112622951082\ 353665*c_1001_2^8 + 30936821398923636867244871738696492823328104337\ 956500924339614082/112976769596688484469730514209601640766280613511\ 2622951082353665*c_1001_2^7 - 3078067926703781504375149519031832446\ 57479298679966817232068377389/1129767695966884844697305142096016407\ 662806135112622951082353665*c_1001_2^6 + 53649620120692558441988427000617549124233151189828898088299119856/1\ 129767695966884844697305142096016407662806135112622951082353665*c_1\ 001_2^5 + 195714374287824541948488135379944160646309896884704658314\ 52925345/2259535391933769689394610284192032815325612270225245902164\ 70733*c_1001_2^4 - 663519211637834139920957627020136563765528770844\ 358909228599176/112976769596688484469730514209601640766280613511262\ 2951082353665*c_1001_2^3 - 1798209947459832483690815422184760193773\ 7794734991784183548592081/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^2 - 917719484324884978597353260921603174068355547477764862116711148/225\ 953539193376968939461028419203281532561227022524590216470733*c_1001\ _2 + 52502035965026868673584109470193937174709314050895269832399764\ 72/1129767695966884844697305142096016407662806135112622951082353665\ , c_0101_3 + 138756370207163607129816740285488057832734080566105872336483\ 2718/56488384798344242234865257104800820383140306755631147554117683\ 25*c_1001_2^26 + 65375110769463991113123188791282924726622406820677\ 7937259335032/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^25 + 84616257425375806743749186890366550496932\ 76250687336885833688562/5648838479834424223486525710480082038314030\ 675563114755411768325*c_1001_2^24 - 71847968543806945765063001332377129656709021365887420959251200608/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^23 - 24524464250529339144874706438744959709261816200595367570\ 712936251/564883847983442422348652571048008203831403067556311475541\ 1768325*c_1001_2^22 + 532758016631106295818866128594176183909570194\ 258056760689618120191/564883847983442422348652571048008203831403067\ 5563114755411768325*c_1001_2^21 - 231507356920434803857977916938252\ 201758406053635876427826539125593/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^20 - 1640361809621497564528731938582155078196214922196890109047340283302\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^19 + 126533412488170431366565985677943530672130523594536332\ 6072002613958/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^18 + 51452815417512729246507845222248726829562\ 1410847473276771682595242/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^17 - 2776356853853857503073609446366764041298398263493491967192955606664\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^16 - 192361738988445144762804423731170714696137848981741403\ 1825025969848/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^15 + 32596650755438478746874263742445022835718\ 14575680164716949241819597/5648838479834424223486525710480082038314\ 030675563114755411768325*c_1001_2^14 - 3180230560719074950881383135697096568678702877177321429500773753/56\ 48838479834424223486525710480082038314030675563114755411768325*c_10\ 01_2^13 - 177727245747964215584954150801037870478788044111896345832\ 4531267553/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^12 + 25589536864081397224858281784607832942403893\ 4229278544695325852218/11297676959668848446973051420960164076628061\ 35112622951082353665*c_1001_2^11 - 87442215187441714799295194359779668840824035383661250990617107869/1\ 129767695966884844697305142096016407662806135112622951082353665*c_1\ 001_2^10 - 19584730948127824785691552677271488148780817239526286308\ 8554542188/11297676959668848446973051420960164076628061351126229510\ 82353665*c_1001_2^9 + 138429925078961489336829023493782209222298793\ 4294854172212760280788/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^8 + 121115726851333391079991087609759\ 635746554901355016100035066673124/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^7 - 877842643264109053799574753832699751706345228004335284392476839943/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^6 + 15479762483445650056030691124934544638569544575537080136\ 6865832192/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^5 + 499534526898711163658541801348631482165598752\ 89296490128569269872/1129767695966884844697305142096016407662806135\ 112622951082353665*c_1001_2^4 - 19870449307318869216842947898022029\ 449156501298209789412420127587/564883847983442422348652571048008203\ 8314030675563114755411768325*c_1001_2^3 - 54097737674345282587250163374655284875911810565366028611113920162/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^2 - 702759737063151683999341891983468378700472841381327141122\ 267900/225953539193376968939461028419203281532561227022524590216470\ 733*c_1001_2 + 1440370979976635548712615633865626107480981596999408\ 1181985575794/56488384798344242234865257104800820383140306755631147\ 55411768325, c_0101_5 - 970887246389499634406999599306763718604437343067498468518001\ 6986/56488384798344242234865257104800820383140306755631147554117683\ 25*c_1001_2^26 - 34133685249405461538540243132900744637016604342806\ 45826844407239/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^25 - 6328853860041434246168420045533137185024\ 2832498000511756220428474/56488384798344242234865257104800820383140\ 30675563114755411768325*c_1001_2^24 + 505803097673587809506348262968181524629770228746613949661463697716/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^23 + 7849180877781862153554166477591966031321359607431223175\ 4781506127/56488384798344242234865257104800820383140306755631147554\ 11768325*c_1001_2^22 - 35238917981289556808072554067161940718681705\ 08953496349791469232407/5648838479834424223486525710480082038314030\ 675563114755411768325*c_1001_2^21 + 2216189704366705957208385807347297664233077803826514321848971393311\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^20 + 972350704796434429777271453257588376264340694502781714\ 2118908865854/56488384798344242234865257104800820383140306755631147\ 55411768325*c_1001_2^19 - 99632775040048442876576278812981288595878\ 10570614958579074327899591/5648838479834424223486525710480082038314\ 030675563114755411768325*c_1001_2^18 - 2523061055609729113758086541301751572902121797031044799827647211549\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^17 + 194253796589250098193697155060702274724806672510700135\ 53128874226578/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^16 + 5571668354421938913918650204701631489460\ 404352041558566670491001846/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^15 - 2002898094087972225708025494515971235726994204691525489347162139999\ 4/5648838479834424223486525710480082038314030675563114755411768325*\ c_1001_2^14 + 52809959419792173043001474115786544845913209993751910\ 84102415194481/5648838479834424223486525710480082038314030675563114\ 755411768325*c_1001_2^13 + 8371780500493310535913370978161368153671\ 418210854610550605296014106/564883847983442422348652571048008203831\ 4030675563114755411768325*c_1001_2^12 - 1747632051480932816354539445140711036601510146751723606867159769296\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^11 + 966503612499551270048137905208814386003905305852747971\ 560556779598/112976769596688484469730514209601640766280613511262295\ 1082353665*c_1001_2^10 + 714887609253703454775019671791623402336441\ 667432054383708066482841/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^9 - 8243279905356669235195867030120076682893973342365445712053227044126\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^8 + 1548484933780417180024392681568107691657083241533371188\ 841842663877/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^7 + 4311329389280416369319409408547458818062505\ 228919136593933332854261/564883847983442422348652571048008203831403\ 0675563114755411768325*c_1001_2^6 - 1589505181288457107391638737284259358000758759515101293203971406159\ /5648838479834424223486525710480082038314030675563114755411768325*c\ _1001_2^5 - 2735116600659405814088012173927569796179637091689262958\ 47130641664/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^4 + 14437357628942102573296273659666797115059647\ 9248621239227720806124/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^3 + 372395292092052130092325316000031\ 661758302418514389478713488045174/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^2 + 1772836830951710364644282063682941335759786121549310272410015702/22\ 5953539193376968939461028419203281532561227022524590216470733*c_100\ 1_2 - 8644915601432235507674995392646557285797900338288061385127872\ 0538/56488384798344242234865257104800820383140306755631147554117683\ 25, c_0110_2 - 288676835742884554184579027505632084229739153232763705580140\ 1258/11297676959668848446973051420960164076628061351126229510823536\ 65*c_1001_2^26 - 13603367198751894122636251831326943779527590888802\ 70393479992787/1129767695966884844697305142096016407662806135112622\ 951082353665*c_1001_2^25 - 1894197477726275539439717500776458027877\ 8074972069707974683928472/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^24 + 148059419527962906894396995847077713559927494567584558438803117743/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^23 + 4135834644704408612843612726432687436227198572467631220\ 6142211661/11297676959668848446973051420960164076628061351126229510\ 82353665*c_1001_2^22 - 10453215734721667896989472115674145031896313\ 87500757616727689645316/1129767695966884844697305142096016407662806\ 135112622951082353665*c_1001_2^21 + 538227750172957135947839315689754510440799760519372480428039735293/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^20 + 2965969528840131026439029422395076816872378789740914578\ 568027395102/112976769596688484469730514209601640766280613511262295\ 1082353665*c_1001_2^19 - 264572735066220363963748545926855236737563\ 8367372875908045845919188/11297676959668848446973051420960164076628\ 06135112622951082353665*c_1001_2^18 - 811987496774492177513741928033963286041814852858709650342830185813/\ 225953539193376968939461028419203281532561227022524590216470733*c_1\ 001_2^17 + 53916939157578336027240945554076761243052952123649771665\ 17948517109/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^16 + 2197949363211278166390948071203081360939833\ 095532400076939356259903/112976769596688484469730514209601640766280\ 6135112622951082353665*c_1001_2^15 - 5802047053462535522639897711202626331659273818634220106001265370382\ /1129767695966884844697305142096016407662806135112622951082353665*c\ _1001_2^14 + 109342731958702032903608810635605737331680011810007503\ 1909344488343/11297676959668848446973051420960164076628061351126229\ 51082353665*c_1001_2^13 + 26284159513233772793460424466094764309037\ 14567201663710236629443508/1129767695966884844697305142096016407662\ 806135112622951082353665*c_1001_2^12 - 496371798302666892282977070667532470591214182004021005218427379370/\ 225953539193376968939461028419203281532561227022524590216470733*c_1\ 001_2^11 + 24770993281181567821479797098850258219624672232346442416\ 6526747907/22595353919337696893946102841920328153256122702252459021\ 6470733*c_1001_2^10 + 251376554137764103430665271319177743540269237\ 669950202330109056722/225953539193376968939461028419203281532561227\ 022524590216470733*c_1001_2^9 - 23925652196450785768197007939469101\ 72673909806053695811775416940063/1129767695966884844697305142096016\ 407662806135112622951082353665*c_1001_2^8 + 255068931631032058348842042976726444424116663726894441157877983231/\ 1129767695966884844697305142096016407662806135112622951082353665*c_\ 1001_2^7 + 13156529624291991380311541914484269908167355307640760226\ 11242412868/1129767695966884844697305142096016407662806135112622951\ 082353665*c_1001_2^6 - 39762301870397205258886862359876253869590242\ 9062866062465652768147/11297676959668848446973051420960164076628061\ 35112622951082353665*c_1001_2^5 - 831661872838524337664446543116343\ 79824235715262447171680955572332/2259535391933769689394610284192032\ 81532561227022524590216470733*c_1001_2^4 + 20079040471881674362108004184026229931404030971189106563164446972/1\ 129767695966884844697305142096016407662806135112622951082353665*c_1\ 001_2^3 + 101048393270173301345029395790962433038521638133700388463\ 559504112/112976769596688484469730514209601640766280613511262295108\ 2353665*c_1001_2^2 + 3752913308414554079201710656981751255456349519\ 797935302433538034/225953539193376968939461028419203281532561227022\ 524590216470733*c_1001_2 - 2398262513874809877504419084939638535829\ 4604445428337612258930564/11297676959668848446973051420960164076628\ 06135112622951082353665, c_1001_0 - 180615826810000695049254333619350450831970175791663474169167\ 537/564883847983442422348652571048008203831403067556311475541176832\ 5*c_1001_2^26 + 204721828433228671095178907819819301607017818761482\ 682353278712/564883847983442422348652571048008203831403067556311475\ 5411768325*c_1001_2^25 - 675408463901448322006120174336072779606485\ 116036226157920239533/564883847983442422348652571048008203831403067\ 5563114755411768325*c_1001_2^24 + 117570944118211191659246242431702\ 95023254226460346967367666657722/5648838479834424223486525710480082\ 038314030675563114755411768325*c_1001_2^23 - 9590102507705930768980286196537597834241802803118108405848018391/56\ 48838479834424223486525710480082038314030675563114755411768325*c_10\ 01_2^22 - 859347109510020958829205240320339785699686951670292051045\ 76321219/5648838479834424223486525710480082038314030675563114755411\ 768325*c_1001_2^21 + 1118213740746114293739673561575297261369900560\ 87578424767302678662/5648838479834424223486525710480082038314030675\ 563114755411768325*c_1001_2^20 + 2582219118909791531336581815289045\ 55121204344432881951920538748368/5648838479834424223486525710480082\ 038314030675563114755411768325*c_1001_2^19 - 386516824826997897557391264085392560205586486418699763100496330447/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^18 - 8264738332847596314825078542664353621605695448426674196\ 0631030813/11297676959668848446973051420960164076628061351126229510\ 82353665*c_1001_2^17 + 66601367945609861513251740521234124230254324\ 0219532871537225154851/56488384798344242234865257104800820383140306\ 75563114755411768325*c_1001_2^16 + 324830537325223629954779484220096846623962825709643692328876359307/\ 5648838479834424223486525710480082038314030675563114755411768325*c_\ 1001_2^15 - 6449624117014008832091560036143893608880503377011714700\ 35816355973/5648838479834424223486525710480082038314030675563114755\ 411768325*c_1001_2^14 + 1696740488294269257515971985367907735686291\ 678619184186167724827/564883847983442422348652571048008203831403067\ 5563114755411768325*c_1001_2^13 + 299889571810166637605504176429330\ 911436464119515441121162988130677/564883847983442422348652571048008\ 2038314030675563114755411768325*c_1001_2^12 - 43411678558781058796785404816706728173071860870932504563266237752/1\ 129767695966884844697305142096016407662806135112622951082353665*c_1\ 001_2^11 + 21997230902121240923407692230636318282770647050551902966\ 274163671/112976769596688484469730514209601640766280613511262295108\ 2353665*c_1001_2^10 + 325192420363556023045872565516196508332144358\ 05916171233641201472/1129767695966884844697305142096016407662806135\ 112622951082353665*c_1001_2^9 - 28579648340762647566594831252336360\ 9216671449736834565378735935542/56488384798344242234865257104800820\ 38314030675563114755411768325*c_1001_2^8 - 46968707033964560711971465611692394451751323587440072039760483741/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^7 + 183695297034946682699424967024066512109303585877357847178\ 620278087/564883847983442422348652571048008203831403067556311475541\ 1768325*c_1001_2^6 - 7441745338996516039272555771780612039845115830\ 715087953228537978/564883847983442422348652571048008203831403067556\ 3114755411768325*c_1001_2^5 - 9757839206866416677746674577429992348\ 735076779041660954465140768/112976769596688484469730514209601640766\ 2806135112622951082353665*c_1001_2^4 + 23934730546548237593548770424879280232279891083341871247189811183/5\ 648838479834424223486525710480082038314030675563114755411768325*c_1\ 001_2^3 + 151483497362730351812393910581102978189271920761438078535\ 11857808/5648838479834424223486525710480082038314030675563114755411\ 768325*c_1001_2^2 - 16758720033604804989552792128604710644702365909\ 6968120114101422/22595353919337696893946102841920328153256122702252\ 4590216470733*c_1001_2 - 172527869459585781798415688966234198296047\ 0957662254160614640246/56488384798344242234865257104800820383140306\ 75563114755411768325, c_1001_2^27 + 20/17*c_1001_2^26 + 116/17*c_1001_2^25 - 794/17*c_1001_2^24 - 866/17*c_1001_2^23 + 6045/17*c_1001_2^22 + 1202/17*c_1001_2^21 - 20150/17*c_1001_2^20 + 3384/17*c_1001_2^19 + 36287/17*c_1001_2^18 - 15676/17*c_1001_2^17 - 37588/17*c_1001_2^16 + 26786/17*c_1001_2^15 + 19566/17*c_1001_2^14 - 22059/17*c_1001_2^13 + 3208/17*c_1001_2^12 + 4105/17*c_1001_2^11 - 13190/17*c_1001_2^10 + 9187/17*c_1001_2^9 + 9173/17*c_1001_2^8 - 9701/17*c_1001_2^7 - 3439/17*c_1001_2^6 + 4643/17*c_1001_2^5 + 1687/17*c_1001_2^4 - 836/17*c_1001_2^3 - 583/17*c_1001_2^2 + 86/17*c_1001_2 + 121/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.920 Total time: 8.130 seconds, Total memory usage: 64.12MB