Magma V2.19-8 Tue Aug 20 2013 23:39:05 on localhost [Seed = 2851065280] Type ? for help. Type -D to quit. Loading file "K11n181__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n181 geometric_solution 11.34500385 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.025611660335 1.503174072989 0 4 5 2 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417204604713 1.436878191142 6 0 7 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563912861101 0.533849743459 8 8 5 0 0132 1230 0321 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 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376943225878 0.815596043754 1 9 0 10 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388882519197 0.510625972566 10 10 3 1 1023 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.453606138107 0.631732830994 2 11 10 11 0132 0132 2103 0213 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 -5 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762454700580 0.498753295661 9 9 8 2 2310 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370795549441 0.762775524859 3 11 3 7 0132 1230 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 0 0 1 -1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533071824635 1.010297430492 11 4 7 7 0132 0132 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883979474565 0.610891665509 6 5 4 5 2103 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.250045525069 1.044454260565 9 6 8 6 0132 0132 3012 0213 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 5 1 -6 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.762454700580 0.498753295661 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0101_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_7']), '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'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : d['c_0101_0'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_3'], '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_0101_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_1001_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_2, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 1896002768722795607/740450269212909056*c_1001_5^12 - 5970945278727341225/740450269212909056*c_1001_5^11 - 16173525683666352235/740450269212909056*c_1001_5^10 + 87734852330558012823/740450269212909056*c_1001_5^9 + 45688002701345398373/740450269212909056*c_1001_5^8 - 573740100319273585489/740450269212909056*c_1001_5^7 + 45785606163965862641/740450269212909056*c_1001_5^6 + 2061799698871853447737/740450269212909056*c_1001_5^5 - 248872010045367820651/740450269212909056*c_1001_5^4 - 521523777165217011155/92556283651613632*c_1001_5^3 - 172381050134201405379/185112567303227264*c_1001_5^2 + 131196198931327174373/23139070912903408*c_1001_5 + 50888072155820291549/11569535456451704, c_0011_0 - 1, c_0011_10 - 1, c_0011_3 - 25085792085031/9742766700169856*c_1001_5^12 + 102342251959719/9742766700169856*c_1001_5^11 + 133669628742293/9742766700169856*c_1001_5^10 - 1272029132667545/9742766700169856*c_1001_5^9 + 354968270442333/9742766700169856*c_1001_5^8 + 7315691241295711/9742766700169856*c_1001_5^7 - 5275454389839239/9742766700169856*c_1001_5^6 - 23574682392426475/9742766700169856*c_1001_5^5 + 15029346514087641/9742766700169856*c_1001_5^4 + 23310599619858519/4871383350084928*c_1001_5^3 - 525041979676933/608922918760616*c_1001_5^2 - 398099412635326/76115364845077*c_1001_5 - 123855209242272/76115364845077, c_0011_7 + 2012345576813/1217845837521232*c_1001_5^12 - 13914692491875/2435691675042464*c_1001_5^11 - 35504476247677/2435691675042464*c_1001_5^10 + 216860537393289/2435691675042464*c_1001_5^9 + 18372291588675/2435691675042464*c_1001_5^8 - 1352198586822447/2435691675042464*c_1001_5^7 + 744752626146371/2435691675042464*c_1001_5^6 + 4325025440712977/2435691675042464*c_1001_5^5 - 3132966312856211/2435691675042464*c_1001_5^4 - 6598344598644389/2435691675042464*c_1001_5^3 + 1413752176085749/1217845837521232*c_1001_5^2 + 300074525470185/152230729690154*c_1001_5 + 40881692710920/76115364845077, c_0101_0 + 11920100537111/9742766700169856*c_1001_5^12 - 33215899038411/9742766700169856*c_1001_5^11 - 127940231020113/9742766700169856*c_1001_5^10 + 592084960211685/9742766700169856*c_1001_5^9 + 433391013789159/9742766700169856*c_1001_5^8 - 4157900295737267/9742766700169856*c_1001_5^7 + 361409522289067/9742766700169856*c_1001_5^6 + 15531479719343367/9742766700169856*c_1001_5^5 - 5022957148691565/9742766700169856*c_1001_5^4 - 14789716546303153/4871383350084928*c_1001_5^3 + 710287801189523/1217845837521232*c_1001_5^2 + 249474512070565/76115364845077*c_1001_5 + 84652473430083/76115364845077, c_0101_1 - 524846991145/9742766700169856*c_1001_5^12 + 8245479131381/9742766700169856*c_1001_5^11 - 50970647049329/9742766700169856*c_1001_5^10 + 56628566664709/9742766700169856*c_1001_5^9 + 380447982888519/9742766700169856*c_1001_5^8 - 1095547181974163/9742766700169856*c_1001_5^7 - 974540744166773/9742766700169856*c_1001_5^6 + 5589165259692583/9742766700169856*c_1001_5^5 - 711987828000781/9742766700169856*c_1001_5^4 - 5258043924854177/4871383350084928*c_1001_5^3 - 103786248116025/1217845837521232*c_1001_5^2 + 67337517920471/152230729690154*c_1001_5 + 66751697324324/76115364845077, c_0101_10 + 3247376694987/4871383350084928*c_1001_5^12 - 6716041475837/4871383350084928*c_1001_5^11 - 42988039494207/4871383350084928*c_1001_5^10 + 141612966420923/4871383350084928*c_1001_5^9 + 232058574047513/4871383350084928*c_1001_5^8 - 1086114207288813/4871383350084928*c_1001_5^7 - 623864229740803/4871383350084928*c_1001_5^6 + 4369460122179197/4871383350084928*c_1001_5^5 + 837429402327089/4871383350084928*c_1001_5^4 - 990517627769387/608922918760616*c_1001_5^3 - 340612672808575/1217845837521232*c_1001_5^2 + 73475651382117/76115364845077*c_1001_5 + 38153041829899/76115364845077, c_0101_2 - 3788921142669/9742766700169856*c_1001_5^12 - 454573730115/9742766700169856*c_1001_5^11 + 99636930012423/9742766700169856*c_1001_5^10 - 201908923211699/9742766700169856*c_1001_5^9 - 604874775434209/9742766700169856*c_1001_5^8 + 1973908068601205/9742766700169856*c_1001_5^7 + 1623963002886995/9742766700169856*c_1001_5^6 - 7704507161354553/9742766700169856*c_1001_5^5 - 1040603583972141/9742766700169856*c_1001_5^4 + 5327133727822989/4871383350084928*c_1001_5^3 + 26919979769261/304461459380308*c_1001_5^2 + 24249683243247/304461459380308*c_1001_5 - 51148518066272/76115364845077, c_0101_3 - 5425347147137/9742766700169856*c_1001_5^12 + 19783816086737/9742766700169856*c_1001_5^11 + 41964152031699/9742766700169856*c_1001_5^10 - 308859027369839/9742766700169856*c_1001_5^9 + 30726134305867/9742766700169856*c_1001_5^8 + 1985671881159641/9742766700169856*c_1001_5^7 - 1609137981770673/9742766700169856*c_1001_5^6 - 6792559474984973/9742766700169856*c_1001_5^5 + 6697815953345743/9742766700169856*c_1001_5^4 + 6865575524148057/4871383350084928*c_1001_5^3 - 525450236999049/608922918760616*c_1001_5^2 - 99883495843371/76115364845077*c_1001_5 - 46499431600184/76115364845077, c_1001_2 + 142420894613/304461459380308*c_1001_5^12 - 729841579853/304461459380308*c_1001_5^11 + 1163215260937/304461459380308*c_1001_5^10 + 2676711329303/304461459380308*c_1001_5^9 - 12418840050355/304461459380308*c_1001_5^8 + 14625752877743/304461459380308*c_1001_5^7 + 33611742214845/304461459380308*c_1001_5^6 - 134760275139943/304461459380308*c_1001_5^5 + 97214251176673/304461459380308*c_1001_5^4 + 138603620025205/152230729690154*c_1001_5^3 - 71472846566008/76115364845077*c_1001_5^2 - 27031395166463/76115364845077*c_1001_5 - 46537335509297/76115364845077, c_1001_3 - 822855721745/608922918760616*c_1001_5^12 + 17281588230327/2435691675042464*c_1001_5^11 + 1432349430545/2435691675042464*c_1001_5^10 - 169986043113965/2435691675042464*c_1001_5^9 + 197089821057873/2435691675042464*c_1001_5^8 + 789447736389611/2435691675042464*c_1001_5^7 - 1228511216887543/2435691675042464*c_1001_5^6 - 2010800668270777/2435691675042464*c_1001_5^5 + 2501597341349019/2435691675042464*c_1001_5^4 + 4260441536777683/2435691675042464*c_1001_5^3 - 339796158164343/1217845837521232*c_1001_5^2 - 148624900564761/76115364845077*c_1001_5 - 39202735812189/76115364845077, c_1001_5^13 - 3*c_1001_5^12 - 9*c_1001_5^11 + 45*c_1001_5^10 + 31*c_1001_5^9 - 299*c_1001_5^8 - 21*c_1001_5^7 + 1091*c_1001_5^6 + 31*c_1001_5^5 - 2220*c_1001_5^4 - 692*c_1001_5^3 + 2160*c_1001_5^2 + 2048*c_1001_5 + 256 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_2, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 579494128649176836913164488260691431576341955097/443613750897464827\ 2158924556165662554535891*c_1001_5^15 - 31551334610902569696118601652079289024081662720387/1375202627782140\ 96436926661241135539190612621*c_1001_5^14 + 3090561860272598932804886341933292830958862509015/72379085672744261\ 28259297960059765220558559*c_1001_5^13 + 96244395231217459918412849578655155720418383828705/1375202627782140\ 96436926661241135539190612621*c_1001_5^12 + 109084811482681189443299635493272156678597538030014/137520262778214\ 096436926661241135539190612621*c_1001_5^11 + 865209057617791914536815209679869570063059253117812/137520262778214\ 096436926661241135539190612621*c_1001_5^10 - 887869844956796333744223375217244284189401461502272/137520262778214\ 096436926661241135539190612621*c_1001_5^9 - 6979333700046218194384664401843141180280807589068730/13752026277821\ 4096436926661241135539190612621*c_1001_5^8 + 7141213254618404675812565369633924518773584636035507/13752026277821\ 4096436926661241135539190612621*c_1001_5^7 + 3718924017088104542580686104175374238968676051195088/13752026277821\ 4096436926661241135539190612621*c_1001_5^6 + 1375465691559767513705901767941271192067361257728400/13752026277821\ 4096436926661241135539190612621*c_1001_5^5 + 1058977514635868832218034095393078819477394605751696/13752026277821\ 4096436926661241135539190612621*c_1001_5^4 + 265697541374543060954489800751833133493112640039680/137520262778214\ 096436926661241135539190612621*c_1001_5^3 + 8653660345089703358726385518301860610779199856470/12501842070746736\ 039720605567375958108237511*c_1001_5^2 + 9213925776309016677046324150241505181917459294722/13752026277821409\ 6436926661241135539190612621*c_1001_5 + 3520145686172291781663961555682270624050686673244/13752026277821409\ 6436926661241135539190612621, c_0011_0 - 1, c_0011_10 - 11267709410788631962499424837135517/61182627515926861003556\ 861733653419*c_1001_5^15 + 191614353745551919586624150257127630/611\ 82627515926861003556861733653419*c_1001_5^14 - 396369187768971071292728805732312696/611826275159268610035568617336\ 53419*c_1001_5^13 + 628960054653124829515879459080888988/6118262751\ 5926861003556861733653419*c_1001_5^12 + 603731710442574679653383687495790850/611826275159268610035568617336\ 53419*c_1001_5^11 + 306773978371689167080911622039874148/6118262751\ 5926861003556861733653419*c_1001_5^10 + 8564867864277884820652925763979823782/61182627515926861003556861733\ 653419*c_1001_5^9 - 6783757054138604570940260784682799087/611826275\ 15926861003556861733653419*c_1001_5^8 - 67178575338721022370044764924589856811/6118262751592686100355686173\ 3653419*c_1001_5^7 + 86491080355317264539189730812300579740/6118262\ 7515926861003556861733653419*c_1001_5^6 + 2501028778845463186596495901369961623/61182627515926861003556861733\ 653419*c_1001_5^5 + 15804951287413541727281859633579167945/61182627\ 515926861003556861733653419*c_1001_5^4 + 3467503069717233053951914732211706388/61182627515926861003556861733\ 653419*c_1001_5^3 + 1603442777214318616363110272731215619/611826275\ 15926861003556861733653419*c_1001_5^2 + 210045056446203914212363729290638253/611826275159268610035568617336\ 53419*c_1001_5 + 105510006672729131809185519382281035/6118262751592\ 6861003556861733653419, c_0011_3 + 1249316553456456948830592700867223148/6118262751592686100355\ 6861733653419*c_1001_5^15 - 2736176589075564539650772081256694023/6\ 1182627515926861003556861733653419*c_1001_5^14 + 5327099069041330088349691321692502603/61182627515926861003556861733\ 653419*c_1001_5^13 + 4261913147260674588766708180821824012/61182627\ 515926861003556861733653419*c_1001_5^12 + 5965622204058475608969945306549152533/61182627515926861003556861733\ 653419*c_1001_5^11 + 57801343112626861999070348964859801424/6118262\ 7515926861003556861733653419*c_1001_5^10 - 86565426070614108302906311967151634810/6118262751592686100355686173\ 3653419*c_1001_5^9 - 445209209607441195548217479458279862897/611826\ 27515926861003556861733653419*c_1001_5^8 + 685978993891888888743406976580715190345/611826275159268610035568617\ 33653419*c_1001_5^7 - 59535270696214631626548303879000682520/611826\ 27515926861003556861733653419*c_1001_5^6 + 151744664596631198133705267539056556142/611826275159268610035568617\ 33653419*c_1001_5^5 + 8757501028575099819521673377396228588/6118262\ 7515926861003556861733653419*c_1001_5^4 + 18103504470689960078190807528206210217/6118262751592686100355686173\ 3653419*c_1001_5^3 + 287594682816392072618735489565567031/611826275\ 15926861003556861733653419*c_1001_5^2 + 700114263269501792747710500088329155/611826275159268610035568617336\ 53419*c_1001_5 - 39928491968375326357061272618483212/61182627515926\ 861003556861733653419, c_0011_7 + 299283137694673456843652929094750692/61182627515926861003556\ 861733653419*c_1001_5^15 - 244749219595554549285734746876075929/611\ 82627515926861003556861733653419*c_1001_5^14 + 373284217411004429211123641278051550/611826275159268610035568617336\ 53419*c_1001_5^13 + 2780296482880464013709449734263370277/611826275\ 15926861003556861733653419*c_1001_5^12 + 2818452864792699195553960269185061718/61182627515926861003556861733\ 653419*c_1001_5^11 + 15789461660380291424177650113057215686/6118262\ 7515926861003556861733653419*c_1001_5^10 - 1727866619437687301827642058109350114/61182627515926861003556861733\ 653419*c_1001_5^9 - 135255593330077702582320810573975189237/6118262\ 7515926861003556861733653419*c_1001_5^8 + 18241875793898214830347246153119368232/6118262751592686100355686173\ 3653419*c_1001_5^7 + 212568984339964095961750101586294077428/611826\ 27515926861003556861733653419*c_1001_5^6 + 14350102605834917235355191027332957294/6118262751592686100355686173\ 3653419*c_1001_5^5 + 51239998358046214335707064495605982779/6118262\ 7515926861003556861733653419*c_1001_5^4 + 9530240518051476528174120772689548317/61182627515926861003556861733\ 653419*c_1001_5^3 + 5034265004786312405931143327324679584/611826275\ 15926861003556861733653419*c_1001_5^2 + 719987540190496490656740622395922059/611826275159268610035568617336\ 53419*c_1001_5 + 182116495688044818596815695333881337/6118262751592\ 6861003556861733653419, c_0101_0 + 4838911167265261753016323057/2361351891776413006698450858110\ 9*c_1001_5^15 - 1249111890256875686480886914/2361351891776413006698\ 4508581109*c_1001_5^14 + 16630279252988581803178214467/236135189177\ 64130066984508581109*c_1001_5^13 + 45134505533501035351385355904/23613518917764130066984508581109*c_10\ 01_5^12 + 110803280307935078442843284543/23613518917764130066984508\ 581109*c_1001_5^11 + 389966268479722116397577906474/236135189177641\ 30066984508581109*c_1001_5^10 + 405409208448971717602479570712/2361\ 3518917764130066984508581109*c_1001_5^9 - 1340956833096143854407706951170/23613518917764130066984508581109*c_\ 1001_5^8 + 31022591849114410387545886228/23613518917764130066984508\ 581109*c_1001_5^7 - 382855744296783813379092226346/2361351891776413\ 0066984508581109*c_1001_5^6 - 38002892774850397569355497433/2361351\ 8917764130066984508581109*c_1001_5^5 - 49980664091993665830047706111/23613518917764130066984508581109*c_10\ 01_5^4 - 4431402746469904331929216244/23613518917764130066984508581\ 109*c_1001_5^3 - 3192592448685451947418481048/236135189177641300669\ 84508581109*c_1001_5^2 + 38207364796199482471722598505676/236135189\ 17764130066984508581109*c_1001_5 - 80859139203849077487224138/23613518917764130066984508581109, c_0101_1 + 18227166240100702307004580086156389/611826275159268610035568\ 61733653419*c_1001_5^15 - 310034011252011748744889646077261149/6118\ 2627515926861003556861733653419*c_1001_5^14 + 641328313101877570051419093929702376/611826275159268610035568617336\ 53419*c_1001_5^13 - 1017709695353753230087307553327274387/611826275\ 15926861003556861733653419*c_1001_5^12 - 976893618730078662885080933957618112/611826275159268610035568617336\ 53419*c_1001_5^11 - 496603153708732082033488728235743060/6118262751\ 5926861003556861733653419*c_1001_5^10 - 13858103097637167204498936290869705219/6118262751592686100355686173\ 3653419*c_1001_5^9 + 10978230353004125714696183530825547867/6118262\ 7515926861003556861733653419*c_1001_5^8 + 108697366523756468538438399613378425646/611826275159268610035568617\ 33653419*c_1001_5^7 - 139944971358128064248391283724328042546/61182\ 627515926861003556861733653419*c_1001_5^6 - 4046675956939401549361035925173201090/61182627515926861003556861733\ 653419*c_1001_5^5 - 25572879708188614398846372220729537161/61182627\ 515926861003556861733653419*c_1001_5^4 - 5610530563792755908746706552125602591/61182627515926861003556861733\ 653419*c_1001_5^3 - 2594420638005039250476184205428605026/611826275\ 15926861003556861733653419*c_1001_5^2 - 339859859050872318127649975184945516/611826275159268610035568617336\ 53419*c_1001_5 - 109536042968430573020717505048543989/6118262751592\ 6861003556861733653419, c_0101_10 + 1297018452274304994713414593108326566/611826275159268610035\ 56861733653419*c_1001_5^15 - 2838095506453999497213585300040879012/\ 61182627515926861003556861733653419*c_1001_5^14 + 5488037803687721934057780364533655341/61182627515926861003556861733\ 653419*c_1001_5^13 + 4512619079698900593776731198308038464/61182627\ 515926861003556861733653419*c_1001_5^12 + 6054663664734673829795363292398414387/61182627515926861003556861733\ 653419*c_1001_5^11 + 59875715967651967100795619275507456636/6118262\ 7515926861003556861733653419*c_1001_5^10 - 89933809054123979435868255716932319858/6118262751592686100355686173\ 3653419*c_1001_5^9 - 464102653248936347073611551339943135425/611826\ 27515926861003556861733653419*c_1001_5^8 + 713658036022805774692006012783561551577/611826275159268610035568617\ 33653419*c_1001_5^7 - 46929714568197254718984330615753796613/611826\ 27515926861003556861733653419*c_1001_5^6 + 138377731715496656134413932941799762420/611826275159268610035568617\ 33653419*c_1001_5^5 + 8537429730027267478592740062016029757/6118262\ 7515926861003556861733653419*c_1001_5^4 + 15293609455183951426245880648564483796/6118262751592686100355686173\ 3653419*c_1001_5^3 - 469475741383387011208797954496646852/611826275\ 15926861003556861733653419*c_1001_5^2 + 739737641357088783716450269004189744/611826275159268610035568617336\ 53419*c_1001_5 - 87976010366063830362513114461016606/61182627515926\ 861003556861733653419, c_0101_2 - 1059944842354502842982311948072276814/6118262751592686100355\ 6861733653419*c_1001_5^15 + 2099679189939059927992031396522458384/6\ 1182627515926861003556861733653419*c_1001_5^14 - 4060180686745385131690359117434022001/61182627515926861003556861733\ 653419*c_1001_5^13 - 4506108983461058495961981554357538115/61182627\ 515926861003556861733653419*c_1001_5^12 - 5921709622045472809657166678650450448/61182627515926861003556861733\ 653419*c_1001_5^11 - 50205438981426342626622683720588350356/6118262\ 7515926861003556861733653419*c_1001_5^10 + 63068126683610364365471709446753710002/6118262751592686100355686173\ 3653419*c_1001_5^9 + 391873109295362518618857972203221550876/611826\ 27515926861003556861733653419*c_1001_5^8 - 501246274739281333434137513272580943379/611826275159268610035568617\ 33653419*c_1001_5^7 - 61609640230735457374020184694825029399/611826\ 27515926861003556861733653419*c_1001_5^6 - 132101397285361988699806737201318228518/611826275159268610035568617\ 33653419*c_1001_5^5 - 35381241554054984611516801684342108061/611826\ 27515926861003556861733653419*c_1001_5^4 - 17779181033848549278753675485857593448/6118262751592686100355686173\ 3653419*c_1001_5^3 - 4591372501322164060129785872161717520/61182627\ 515926861003556861733653419*c_1001_5^2 - 791366350012493997928760077673189520/611826275159268610035568617336\ 53419*c_1001_5 - 206622447452940493259498777760513422/6118262751592\ 6861003556861733653419, c_0101_3 - 849282326290585820098235362529313945/61182627515926861003556\ 861733653419*c_1001_5^15 + 1855951660083614226237428381917261828/61\ 182627515926861003556861733653419*c_1001_5^14 - 3552658873788633013623784344201475433/61182627515926861003556861733\ 653419*c_1001_5^13 - 3039472468922220835621165229751326778/61182627\ 515926861003556861733653419*c_1001_5^12 - 3830555052991405576337879625200932999/61182627515926861003556861733\ 653419*c_1001_5^11 - 39077949175531117387082158095578467988/6118262\ 7515926861003556861733653419*c_1001_5^10 + 58952180196254223472697969373278644797/6118262751592686100355686173\ 3653419*c_1001_5^9 + 305718487433069288327858065854980090271/611826\ 27515926861003556861733653419*c_1001_5^8 - 468743881053986688991589927274709227418/611826275159268610035568617\ 33653419*c_1001_5^7 + 16396843047093876481825771564489087967/611826\ 27515926861003556861733653419*c_1001_5^6 - 72155389339998258783479276442389828457/6118262751592686100355686173\ 3653419*c_1001_5^5 - 5056579639849999250517469352113641914/61182627\ 515926861003556861733653419*c_1001_5^4 - 6642096104027387336126725126577618237/61182627515926861003556861733\ 653419*c_1001_5^3 + 1047207786488538049327943885252763210/611826275\ 15926861003556861733653419*c_1001_5^2 - 176450505621235659864080860638438227/611826275159268610035568617336\ 53419*c_1001_5 + 102419313748002588387358083056901709/6118262751592\ 6861003556861733653419, c_1001_2 - 18233660927020694668757431416144687/611826275159268610035568\ 61733653419*c_1001_5^15 + 310035720043195412212951899830646406/6118\ 2627515926861003556861733653419*c_1001_5^14 - 641353150460946655663124521249076974/611826275159268610035568617336\ 53419*c_1001_5^13 + 1017645236685181665029959040003951474/611826275\ 15926861003556861733653419*c_1001_5^12 + 976744411297671077066681007248270916/611826275159268610035568617336\ 53419*c_1001_5^11 + 496014373726719093183175388537648627/6118262751\ 5926861003556861733653419*c_1001_5^10 + 13857542085469193780494055524669672995/6118262751592686100355686173\ 3653419*c_1001_5^9 - 10976983325141777121739660339759337631/6118262\ 7515926861003556861733653419*c_1001_5^8 - 108697444698347152251590438922171543182/611826275159268610035568617\ 33653419*c_1001_5^7 + 139945333874339320736590922099762479410/61182\ 627515926861003556861733653419*c_1001_5^6 + 4046707351026804678200958464486620146/61182627515926861003556861733\ 653419*c_1001_5^5 + 25572927682730641837543169995967670586/61182627\ 515926861003556861733653419*c_1001_5^4 + 5610534569581641637731970336484942950/61182627515926861003556861733\ 653419*c_1001_5^3 + 2594423739528368267079917458118230910/611826275\ 15926861003556861733653419*c_1001_5^2 + 339859960322749452388214729957420122/611826275159268610035568617336\ 53419*c_1001_5 + 71723178791374897767081344656249334/61182627515926\ 861003556861733653419, c_1001_3 - 77167914443068553140679989878251591/611826275159268610035568\ 61733653419*c_1001_5^15 + 164908276144489252301375011162645881/6118\ 2627515926861003556861733653419*c_1001_5^14 - 260345916738863914556191714386369564/611826275159268610035568617336\ 53419*c_1001_5^13 - 405493612575414003237907005955732856/6118262751\ 5926861003556861733653419*c_1001_5^12 - 143653944657584624120306747260102228/611826275159268610035568617336\ 53419*c_1001_5^11 - 3355009515505621059667022424087541956/611826275\ 15926861003556861733653419*c_1001_5^10 + 5452041969811306752125202487710646234/61182627515926861003556861733\ 653419*c_1001_5^9 + 30566677706298895727745545305018569823/61182627\ 515926861003556861733653419*c_1001_5^8 - 44785330531835379096291338143073382266/6118262751592686100355686173\ 3653419*c_1001_5^7 - 20397234431737857705348717587269485742/6118262\ 7515926861003556861733653419*c_1001_5^6 + 21628074033361047941936575035424269509/6118262751592686100355686173\ 3653419*c_1001_5^5 + 355948631785370467797226430886336727/611826275\ 15926861003556861733653419*c_1001_5^4 + 4546495072966481251522546436413574369/61182627515926861003556861733\ 653419*c_1001_5^3 + 1224956978082858842535957755623141000/611826275\ 15926861003556861733653419*c_1001_5^2 + 256244157379333400403786273520655372/611826275159268610035568617336\ 53419*c_1001_5 + 77742295441426844563101265374218705/61182627515926\ 861003556861733653419, c_1001_5^16 - 68/31*c_1001_5^15 + 134/31*c_1001_5^14 + 102/31*c_1001_5^13 + 154/31*c_1001_5^12 + 1440/31*c_1001_5^11 - 2145/31*c_1001_5^10 - 10966/31*c_1001_5^9 + 547*c_1001_5^8 - 2114/31*c_1001_5^7 + 4585/31*c_1001_5^6 + 241/31*c_1001_5^5 + 599/31*c_1001_5^4 + 40/31*c_1001_5^3 + 39/31*c_1001_5^2 + 1/31*c_1001_5 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.120 Total time: 1.330 seconds, Total memory usage: 32.09MB