Magma V2.19-8 Wed Aug 21 2013 00:11:08 on localhost [Seed = 1064915153] Type ? for help. Type -D to quit. Loading file "K13n2768__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2768 geometric_solution 11.21787619 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 6 -6 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631708157688 0.954257395294 0 5 6 3 0132 0132 0132 1302 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 0 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.385543795794 0.910716716935 7 0 9 8 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527908570344 0.588795363067 10 7 1 0 0132 0132 2031 0132 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 1 -1 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338152865577 0.679410684955 6 11 0 5 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890882328060 0.671495817315 10 1 4 8 1023 0132 1230 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024592872706 0.701747451540 4 8 9 1 0132 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356512891980 0.597577385960 2 3 9 11 0132 0132 0213 0213 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 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729733400554 0.942034976207 12 6 2 5 0132 3120 0132 1023 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 1 -1 0 0 0 0 1 -6 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029383092768 1.624808686102 12 7 6 2 3012 0213 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650837446656 1.180827472695 3 5 11 12 0132 1023 3120 3201 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 1 0 -1 0 0 1 -1 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585855206299 0.348105837890 12 4 10 7 2103 0132 3120 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 -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.491384277957 0.210828006014 8 10 11 9 0132 2310 2103 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.246734794519 0.944071281557 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_5']), 'c_1001_10' : d['c_0101_5'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_3']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_11']), '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_0011_12'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_6']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_11']), '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_0101_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], '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_3']), 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_12'], '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_0011_9'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_1001_0, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 25327223734338253740188222187137071686521280301339747581/1015897366\ 836139197036658204911528369778375594205236709914160*c_1001_5^17 + 195255113096236822801775325944582808525235047621909594751/101589736\ 683613919703665820491152836977837559420523670991416*c_1001_5^16 + 224467058715467846082667257228928062410109461739376492481/507948683\ 418069598518329102455764184889187797102618354957080*c_1001_5^15 - 1457519548313348961017233392101138205462393291872415389107/63493585\ 427258699814791137806970523111148474637827294369635*c_1001_5^14 + 36634968508981269746644307801192523717580764348728860123063/1015897\ 366836139197036658204911528369778375594205236709914160*c_1001_5^13 + 4290249780634646974604335347266947322722236065016493621175/25397434\ 170903479925916455122788209244459389855130917747854*c_1001_5^12 - 261070107407271400599204651751008274612376605399427276522023/507948\ 683418069598518329102455764184889187797102618354957080*c_1001_5^11 - 792212111720426510724377936482098981749739117164974165852901/101589\ 7366836139197036658204911528369778375594205236709914160*c_1001_5^10 + 2440471571598972743346909114579111489036358272513175255556651/101\ 5897366836139197036658204911528369778375594205236709914160*c_1001_5\ ^9 - 327193032995836024959137589924714520669797219726298051843101/1\ 015897366836139197036658204911528369778375594205236709914160*c_1001\ _5^8 - 941053528152300254962754131301196699670555756345458278916494\ 3/1015897366836139197036658204911528369778375594205236709914160*c_1\ 001_5^7 - 193078075346236893585631162785048171549801111176360490645\ 8187/507948683418069598518329102455764184889187797102618354957080*c\ _1001_5^6 + 2379351398701520530453374791385924279750896527130523107\ 465443/101589736683613919703665820491152836977837559420523670991416\ 0*c_1001_5^5 - 9028160192633622210635394298119750961009564229193678\ 01120723/1015897366836139197036658204911528369778375594205236709914\ 16*c_1001_5^4 - 475206793346074084881649492438872473826770245078466\ 009432869/101589736683613919703665820491152836977837559420523670991\ 416*c_1001_5^3 - 88579303561586936486826970785738658487406984692135\ 06592409753/5079486834180695985183291024557641848891877971026183549\ 57080*c_1001_5^2 - 235258201695399417049790055705355782430104817940\ 7175558593167/12698717085451739962958227561394104622229694927565458\ 8739270*c_1001_5 - 466864477282620834637559935400142607469556508373\ 7673352465679/10158973668361391970366582049115283697783755942052367\ 09914160, c_0011_0 - 1, c_0011_11 - 549539915373177794117215944639506909417/1151523753997137662\ 028740522682387827817290*c_1001_5^17 + 116705464660492853427713000912745970045/115152375399713766202874052\ 268238782781729*c_1001_5^16 + 2811511624123276383513296917315173512\ 352/575761876998568831014370261341193913908645*c_1001_5^15 - 12585011026954627635006023503392841345697/5757618769985688310143702\ 61341193913908645*c_1001_5^14 - 11475186768314966086517850400466409\ 070079/1151523753997137662028740522682387827817290*c_1001_5^13 + 23466756634214259791848662817901960216076/1151523753997137662028740\ 52268238782781729*c_1001_5^12 - 98911863091052245160557396266160491\ 521946/575761876998568831014370261341193913908645*c_1001_5^11 - 908201849552794789225053892684487620955877/115152375399713766202874\ 0522682387827817290*c_1001_5^10 + 204125594121484058537608477098677\ 6854921037/1151523753997137662028740522682387827817290*c_1001_5^9 + 1146422488825574438487199837209749339735083/11515237539971376620287\ 40522682387827817290*c_1001_5^8 - 483886098757442144591342498252880\ 8126285581/1151523753997137662028740522682387827817290*c_1001_5^7 + 1060620292034725191353634729190827243733346/57576187699856883101437\ 0261341193913908645*c_1001_5^6 + 5822813211894186620770933812052793\ 718009371/1151523753997137662028740522682387827817290*c_1001_5^5 - 809108415479170394752535439142758225627809/115152375399713766202874\ 052268238782781729*c_1001_5^4 + 63401884640917015920176393746313679\ 6675499/115152375399713766202874052268238782781729*c_1001_5^3 - 100095509386758677570091849198723637591231/575761876998568831014370\ 261341193913908645*c_1001_5^2 - 24591278925913021763408984931359941\ 95214991/575761876998568831014370261341193913908645*c_1001_5 + 4228079722604630497958358211730598471371597/11515237539971376620287\ 40522682387827817290, c_0011_12 + 474490463297273517519772316212587907119/1151523753997137662\ 028740522682387827817290*c_1001_5^17 - 85515824937602341745014589125178395732/1151523753997137662028740522\ 68238782781729*c_1001_5^16 - 25306699141365668357492179439092621465\ 34/575761876998568831014370261341193913908645*c_1001_5^15 + 10030194628046428298519847510292140452409/5757618769985688310143702\ 61341193913908645*c_1001_5^14 + 15367537746464201038405250499451055\ 869873/1151523753997137662028740522682387827817290*c_1001_5^13 - 19551139648182066908970593478268968306425/1151523753997137662028740\ 52268238782781729*c_1001_5^12 + 57394662926209164650996732009589957\ 722157/575761876998568831014370261341193913908645*c_1001_5^11 + 791938349282474523198599258025183082007899/115152375399713766202874\ 0522682387827817290*c_1001_5^10 - 153053680105749951830053762126352\ 8378281609/1151523753997137662028740522682387827817290*c_1001_5^9 - 1309967423925935080751439979873954294495031/11515237539971376620287\ 40522682387827817290*c_1001_5^8 + 367407652119052303731375577863248\ 5379617367/1151523753997137662028740522682387827817290*c_1001_5^7 - 623386744894759792359536976095179250216422/575761876998568831014370\ 261341193913908645*c_1001_5^6 - 49327180934135990972888322417713587\ 79204027/1151523753997137662028740522682387827817290*c_1001_5^5 + 613899749234652270737681604283289704377675/115152375399713766202874\ 052268238782781729*c_1001_5^4 - 46031593527319098557929025878369904\ 0624447/115152375399713766202874052268238782781729*c_1001_5^3 - 450260887678220955869809008193511906690238/575761876998568831014370\ 261341193913908645*c_1001_5^2 + 20707553885709498118272583802992069\ 17492707/575761876998568831014370261341193913908645*c_1001_5 - 3272281024562235811306411564393603672673039/11515237539971376620287\ 40522682387827817290, c_0011_9 + 37355408817316550204415607769131592276/575761876998568831014\ 370261341193913908645*c_1001_5^17 - 18934133341470904552934793961671139778/1151523753997137662028740522\ 68238782781729*c_1001_5^16 - 39847841325624702340407553542616916955\ 7/575761876998568831014370261341193913908645*c_1001_5^15 + 1974747495924668055628978111418219839807/57576187699856883101437026\ 1341193913908645*c_1001_5^14 + 568199660367174550679100962858039723\ 487/575761876998568831014370261341193913908645*c_1001_5^13 - 3677449006501359247490504059373145838301/11515237539971376620287405\ 2268238782781729*c_1001_5^12 + 190169084993913139574006848580576960\ 13031/575761876998568831014370261341193913908645*c_1001_5^11 + 75354310170481583884028800373438399157551/5757618769985688310143702\ 61341193913908645*c_1001_5^10 - 17876408559269759850456227582728904\ 3124286/575761876998568831014370261341193913908645*c_1001_5^9 - 90404850940341641116175920843525326004879/5757618769985688310143702\ 61341193913908645*c_1001_5^8 + 497614829456054601251022163809974593\ 372113/575761876998568831014370261341193913908645*c_1001_5^7 - 209317366634307361975341019032082074870611/575761876998568831014370\ 261341193913908645*c_1001_5^6 - 55387315969277386332959987189732389\ 9114848/575761876998568831014370261341193913908645*c_1001_5^5 + 141897161462322701232580234155207904397661/115152375399713766202874\ 052268238782781729*c_1001_5^4 - 13020578806869180736965098195607017\ 7613665/115152375399713766202874052268238782781729*c_1001_5^3 - 179341364294434243486589201476657026403969/575761876998568831014370\ 261341193913908645*c_1001_5^2 + 62207152017315374265435533256076977\ 8403011/575761876998568831014370261341193913908645*c_1001_5 - 662251379366717888461324930486746814195181/575761876998568831014370\ 261341193913908645, c_0101_0 + 286379737820162341592930680763871527901/57576187699856883101\ 4370261341193913908645*c_1001_5^17 - 101632405596686012639810898008528785690/115152375399713766202874052\ 268238782781729*c_1001_5^16 - 3111212774445225401998797152834832608\ 877/575761876998568831014370261341193913908645*c_1001_5^15 + 12045394747714612757835708197747240458457/5757618769985688310143702\ 61341193913908645*c_1001_5^14 + 10115141461417583791017786591300306\ 995367/575761876998568831014370261341193913908645*c_1001_5^13 - 23788421873783403286782635763976468980815/1151523753997137662028740\ 52268238782781729*c_1001_5^12 + 62748084212941898537259611148367398\ 330761/575761876998568831014370261341193913908645*c_1001_5^11 + 494506869153828228784440354100161303384556/575761876998568831014370\ 261341193913908645*c_1001_5^10 - 9003345780726912424905001022427358\ 58860816/575761876998568831014370261341193913908645*c_1001_5^9 - 890366188245078780643540614438965623648169/575761876998568831014370\ 261341193913908645*c_1001_5^8 + 22472601961205759182918076163361757\ 52175268/575761876998568831014370261341193913908645*c_1001_5^7 - 421170830649761999814116957448376823684846/575761876998568831014370\ 261341193913908645*c_1001_5^6 - 31480345977179899913313830095267650\ 21522633/575761876998568831014370261341193913908645*c_1001_5^5 + 679718799412050165412649218170472874410061/115152375399713766202874\ 052268238782781729*c_1001_5^4 - 36236818032112897279947861877513487\ 5544203/115152375399713766202874052268238782781729*c_1001_5^3 - 736958183455964861351375807456664061359724/575761876998568831014370\ 261341193913908645*c_1001_5^2 + 22742005422608994016675089308663940\ 66750931/575761876998568831014370261341193913908645*c_1001_5 - 1174732516959465307316623418113286915665991/57576187699856883101437\ 0261341193913908645, c_0101_1 - 27839035641699179671353865873084517157/115152375399713766202\ 874052268238782781729*c_1001_5^17 + 81419231170828472608508289471549933861/1151523753997137662028740522\ 68238782781729*c_1001_5^16 + 24895035844647266106443791345552196272\ 2/115152375399713766202874052268238782781729*c_1001_5^15 - 1535127437674200037661154340965657931569/11515237539971376620287405\ 2268238782781729*c_1001_5^14 + 324542576116888941554854810819157398\ 046/115152375399713766202874052268238782781729*c_1001_5^13 + 12964068741249828999212746639458234471880/1151523753997137662028740\ 52268238782781729*c_1001_5^12 - 19462591832334011598998337477392492\ 620079/115152375399713766202874052268238782781729*c_1001_5^11 - 43442661695095541567439874004254094466659/1151523753997137662028740\ 52268238782781729*c_1001_5^10 + 14646159467449689522606476544940697\ 7479809/115152375399713766202874052268238782781729*c_1001_5^9 - 3532432935881567692808068700571191734567/11515237539971376620287405\ 2268238782781729*c_1001_5^8 - 3427771862329440614299968607850005741\ 85122/115152375399713766202874052268238782781729*c_1001_5^7 + 281954735119081640646962447164943141541497/115152375399713766202874\ 052268238782781729*c_1001_5^6 + 33847521744312216429784658511696316\ 9680186/115152375399713766202874052268238782781729*c_1001_5^5 - 678050715069817866301110829451486981129457/115152375399713766202874\ 052268238782781729*c_1001_5^4 + 52105590412580834690895961201966398\ 9547783/115152375399713766202874052268238782781729*c_1001_5^3 - 83078702108740569891801592965535473357602/1151523753997137662028740\ 52268238782781729*c_1001_5^2 - 396398359868111907074391844457289131\ 488030/115152375399713766202874052268238782781729*c_1001_5 + 396676627200997461392218483699152523343469/115152375399713766202874\ 052268238782781729, c_0101_2 + 889915046289506151479941868222007877767/11515237539971376620\ 28740522682387827817290*c_1001_5^17 - 157605015469713172932252432935664548204/115152375399713766202874052\ 268238782781729*c_1001_5^16 - 4691417799982923671842428907496394770\ 287/575761876998568831014370261341193913908645*c_1001_5^15 + 18743389104025527262355358024892534993747/5757618769985688310143702\ 61341193913908645*c_1001_5^14 + 28084713562162790598616354004770139\ 646629/1151523753997137662028740522682387827817290*c_1001_5^13 - 36415795363610104320492615220314512045191/1151523753997137662028740\ 52268238782781729*c_1001_5^12 + 11036538691264042424766368919777648\ 5996036/575761876998568831014370261341193913908645*c_1001_5^11 + 1457038470974595025322439043191769328025457/11515237539971376620287\ 40522682387827817290*c_1001_5^10 - 2925618219150214282992604041117156459543537/11515237539971376620287\ 40522682387827817290*c_1001_5^9 - 237301826005526103524706976867090\ 6207875803/1151523753997137662028740522682387827817290*c_1001_5^8 + 6914778161853081667165407101630636142434171/11515237539971376620287\ 40522682387827817290*c_1001_5^7 - 152426796443776934302538367366325\ 0066676116/575761876998568831014370261341193913908645*c_1001_5^6 - 10003931217845931613816455714294659324502571/1151523753997137662028\ 740522682387827817290*c_1001_5^5 + 1142892804942530261549134630029084594152087/11515237539971376620287\ 4052268238782781729*c_1001_5^4 - 9549944174261724487943582498963688\ 52769456/115152375399713766202874052268238782781729*c_1001_5^3 - 1582596836170968618419201897762436378909334/57576187699856883101437\ 0261341193913908645*c_1001_5^2 + 3781031793855027185141613167115398\ 231322221/575761876998568831014370261341193913908645*c_1001_5 - 6344032857103846475704290203213716728104037/11515237539971376620287\ 40522682387827817290, c_0101_3 - 135284754080705779652102671649624152498/57576187699856883101\ 4370261341193913908645*c_1001_5^17 + 46399271359336596850210376410740205929/1151523753997137662028740522\ 68238782781729*c_1001_5^16 + 14780429237583875001033700421355222375\ 81/575761876998568831014370261341193913908645*c_1001_5^15 - 5649473046000668574519742832202034966436/57576187699856883101437026\ 1341193913908645*c_1001_5^14 - 501233740705629776726149294400829867\ 5536/575761876998568831014370261341193913908645*c_1001_5^13 + 11245283998987440299971197126521907829748/1151523753997137662028740\ 52268238782781729*c_1001_5^12 - 28173397603501203609791497117490747\ 511778/575761876998568831014370261341193913908645*c_1001_5^11 - 235717886775007617568911139447726355933168/575761876998568831014370\ 261341193913908645*c_1001_5^10 + 4280692837896616661881658339002555\ 99259263/575761876998568831014370261341193913908645*c_1001_5^9 + 436796024406944918639418418143511895905942/575761876998568831014370\ 261341193913908645*c_1001_5^8 - 10821736780354435395019244470089596\ 01030234/575761876998568831014370261341193913908645*c_1001_5^7 + 269303648151709530308442446784001930873753/575761876998568831014370\ 261341193913908645*c_1001_5^6 + 16090402167258129035893528759492032\ 74317779/575761876998568831014370261341193913908645*c_1001_5^5 - 335030398340368065797696983979744562084962/115152375399713766202874\ 052268238782781729*c_1001_5^4 + 22867627941281265615291865812699450\ 4448346/115152375399713766202874052268238782781729*c_1001_5^3 + 884281535186280645064365976203793235531837/575761876998568831014370\ 261341193913908645*c_1001_5^2 - 14136531754069977328178094969165972\ 67703803/575761876998568831014370261341193913908645*c_1001_5 + 464846816922820576023239987946834618447818/575761876998568831014370\ 261341193913908645, c_0101_5 - 66600956382547679065957303024513061311/230304750799427532405\ 748104536477565563458*c_1001_5^17 + 69790266301840625755130449396641800613/1151523753997137662028740522\ 68238782781729*c_1001_5^16 + 32246845045902757975840613516109951583\ 3/115152375399713766202874052268238782781729*c_1001_5^15 - 1512094902919583666767387041924816616321/11515237539971376620287405\ 2268238782781729*c_1001_5^14 - 952354282620031586908293393321567957\ 129/230304750799427532405748104536477565563458*c_1001_5^13 + 13713760654613109432692577317726526505743/1151523753997137662028740\ 52268238782781729*c_1001_5^12 - 13443617176647651786660285545269217\ 210386/115152375399713766202874052268238782781729*c_1001_5^11 - 97330829925337536025517094974669582357959/2303047507994275324057481\ 04536477565563458*c_1001_5^10 + 25954906876704134290909674856835082\ 9450281/230304750799427532405748104536477565563458*c_1001_5^9 + 76033188025335885342988348070712334948989/2303047507994275324057481\ 04536477565563458*c_1001_5^8 - 561736549485794386650376024909531456\ 913369/230304750799427532405748104536477565563458*c_1001_5^7 + 245201276403713772285238014983470229861021/115152375399713766202874\ 052268238782781729*c_1001_5^6 + 66691117378913404488315388685302456\ 5179965/230304750799427532405748104536477565563458*c_1001_5^5 - 584142895860050568268996804271362049315037/115152375399713766202874\ 052268238782781729*c_1001_5^4 + 47694035033953767730207890045232486\ 9993899/115152375399713766202874052268238782781729*c_1001_5^3 + 22134423302818670576423995866596940468818/1151523753997137662028740\ 52268238782781729*c_1001_5^2 - 262707556236034821772422627866387752\ 362817/115152375399713766202874052268238782781729*c_1001_5 + 633376758337697662114266890501727313710257/230304750799427532405748\ 104536477565563458, c_0101_6 + 138445109773276768113749056005243195117/23030475079942753240\ 5748104536477565563458*c_1001_5^17 - 116079706964628980790934544066044728608/115152375399713766202874052\ 268238782781729*c_1001_5^16 - 7282621757733704316834855959894786110\ 33/115152375399713766202874052268238782781729*c_1001_5^15 + 2819440272279092664235914222393797972164/11515237539971376620287405\ 2268238782781729*c_1001_5^14 + 462640368269142813929645190584930153\ 2671/230304750799427532405748104536477565563458*c_1001_5^13 - 27526416998473323956069381302937595272376/1151523753997137662028740\ 52268238782781729*c_1001_5^12 + 14922851046323264677718305433791308\ 803872/115152375399713766202874052268238782781729*c_1001_5^11 + 218357130195740361864295210113072164116661/230304750799427532405748\ 104536477565563458*c_1001_5^10 - 4267117904628760535274558216075452\ 98158619/230304750799427532405748104536477565563458*c_1001_5^9 - 362950780599746366570834687015650896515079/230304750799427532405748\ 104536477565563458*c_1001_5^8 + 95752422512627865142395349473006883\ 7149603/230304750799427532405748104536477565563458*c_1001_5^7 - 229872251516026124332076412202333878102994/115152375399713766202874\ 052268238782781729*c_1001_5^6 - 13822191612957425034549168315375925\ 58120963/230304750799427532405748104536477565563458*c_1001_5^5 + 836365398562542417787237925528690461109030/115152375399713766202874\ 052268238782781729*c_1001_5^4 - 76922665062239101017730139183775548\ 7899220/115152375399713766202874052268238782781729*c_1001_5^3 - 196321282407121074112816324304907577945341/115152375399713766202874\ 052268238782781729*c_1001_5^2 + 52210830216253957313555011901518833\ 7057405/115152375399713766202874052268238782781729*c_1001_5 - 967102655610533740707508506255060654531115/230304750799427532405748\ 104536477565563458, c_1001_0 - 36440005369144624196504377551728201407/575761876998568831014\ 370261341193913908645*c_1001_5^17 + 4873962854252404708892487541120386333/11515237539971376620287405226\ 8238782781729*c_1001_5^16 + 427936002642315986678369114586520522459\ /575761876998568831014370261341193913908645*c_1001_5^15 - 1003285303370604633343955919278489833509/57576187699856883101437026\ 1341193913908645*c_1001_5^14 - 253598983270347281619444570624648268\ 3899/575761876998568831014370261341193913908645*c_1001_5^13 + 2355905633850659935547963209144991056933/11515237539971376620287405\ 2268238782781729*c_1001_5^12 + 757773407752289724928066491132919446\ 4898/575761876998568831014370261341193913908645*c_1001_5^11 - 53091476777061009568429643134522102212092/5757618769985688310143702\ 61341193913908645*c_1001_5^10 + 32039650371744658510503367360540614\ 884042/575761876998568831014370261341193913908645*c_1001_5^9 + 157663845878680317442970251347186033255738/575761876998568831014370\ 261341193913908645*c_1001_5^8 - 18595159924599334479104633018813622\ 687156/575761876998568831014370261341193913908645*c_1001_5^7 - 105603058705929191056559165867578745287393/575761876998568831014370\ 261341193913908645*c_1001_5^6 + 62622511042203355318417097645855007\ 368901/575761876998568831014370261341193913908645*c_1001_5^5 - 28502991960380222035800279479350429041905/1151523753997137662028740\ 52268238782781729*c_1001_5^4 + 429085126090312175358618000683811395\ 78110/115152375399713766202874052268238782781729*c_1001_5^3 + 283291111050917397209245699965894746349208/575761876998568831014370\ 261341193913908645*c_1001_5^2 - 24316289236466841335394692487714072\ 1668607/575761876998568831014370261341193913908645*c_1001_5 - 289412972602768310060133848022372109276413/575761876998568831014370\ 261341193913908645, c_1001_2 - 642404151477042495979283444261141192079/11515237539971376620\ 28740522682387827817290*c_1001_5^17 + 109878564917372835575601151378746194557/115152375399713766202874052\ 268238782781729*c_1001_5^16 + 3425734092426332135194542860229518075\ 284/575761876998568831014370261341193913908645*c_1001_5^15 - 13207745049012471589509847401050507822324/5757618769985688310143702\ 61341193913908645*c_1001_5^14 - 22081816104846620766359902153551441\ 035063/1151523753997137662028740522682387827817290*c_1001_5^13 + 25898494892909587288031815880381848483466/1151523753997137662028740\ 52268238782781729*c_1001_5^12 - 68341902498545632945030609526841226\ 398087/575761876998568831014370261341193913908645*c_1001_5^11 - 1045412580975077579820960059307252478987179/11515237539971376620287\ 40522682387827817290*c_1001_5^10 + 1968208784787683044354654867527159189674029/11515237539971376620287\ 40522682387827817290*c_1001_5^9 + 179067928472367588126367091968280\ 3135039551/1151523753997137662028740522682387827817290*c_1001_5^8 - 4533669711900480590290389427759706707388657/11515237539971376620287\ 40522682387827817290*c_1001_5^7 + 799326172786509217619891101005653\ 436802832/575761876998568831014370261341193913908645*c_1001_5^6 + 6213617731002477371105706371778756623366317/11515237539971376620287\ 40522682387827817290*c_1001_5^5 - 733396001408935235798652855681971\ 225215382/115152375399713766202874052268238782781729*c_1001_5^4 + 616941507167509452112184271386122986234897/115152375399713766202874\ 052268238782781729*c_1001_5^3 + 81664117736852217418221164799639977\ 7076948/575761876998568831014370261341193913908645*c_1001_5^2 - 2309902937484121262193209955318560783017137/57576187699856883101437\ 0261341193913908645*c_1001_5 + 395199460283969522902855375693890534\ 4739799/1151523753997137662028740522682387827817290, c_1001_5^18 - c_1001_5^17 - 12*c_1001_5^16 + 34*c_1001_5^15 + 65*c_1001_5^14 - 387*c_1001_5^13 - 74*c_1001_5^12 + 1855*c_1001_5^11 - 2002*c_1001_5^10 - 5318*c_1001_5^9 + 5832*c_1001_5^8 + 3041*c_1001_5^7 - 14017*c_1001_5^6 + 4163*c_1001_5^5 + 1100*c_1001_5^4 - 11264*c_1001_5^3 + 6030*c_1001_5^2 - 457*c_1001_5 - 6389 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.480 Total time: 9.689 seconds, Total memory usage: 132.56MB