Magma V2.19-8 Tue Aug 20 2013 23:46:22 on localhost [Seed = 660688169] Type ? for help. Type -D to quit. Loading file "K14n16468__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16468 geometric_solution 10.98282687 oriented_manifold CS_known 0.0000000000000003 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 -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 -1 1 0 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846985824278 0.831823972608 0 2 6 5 0132 0213 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 0 -1 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.712981182109 0.776321559601 7 0 1 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.393231154743 0.472011250901 9 7 10 0 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 14 0 0 -14 -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.908850558953 0.756101910243 11 6 0 7 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 14 -14 15 -14 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399136190885 1.248935839400 10 11 1 6 2310 2310 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -14 0 0 14 0 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599160426736 0.304847921449 5 4 8 1 3201 0132 0213 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 0 -15 0 1 0 0 -1 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834086846274 1.216751370193 2 11 3 4 0132 0213 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 -15 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.986981741666 0.656583793038 9 6 2 11 1302 0213 0132 2031 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 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.241225565005 1.224921497298 3 8 10 10 0132 2031 2310 1230 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 -14 0 14 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.097460233579 0.632171470657 9 9 5 3 3012 3201 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538590530316 0.514561268651 4 8 7 5 0132 1302 0213 3201 0 0 0 0 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 0 15 -15 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513006364920 0.494686777673 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_8'], 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0110_8'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_8'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_5']), 'c_1010_10' : d['c_0110_8'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : d['c_0011_8'], '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_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_1100_9' : d['c_0011_10'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_5']), 'c_1100_10' : negation(d['c_0011_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_1001_0'], '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_1'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : 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'], '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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : negation(d['c_0011_0']), '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_3'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0110_8'], '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_3'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} 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_11, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0110_8, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 4344217329350426954454424653620157/14189749504210901115847062324601\ 40*c_1001_5^19 + 16322726220671051914516926839039186/35474373760527\ 2527896176558115035*c_1001_5^18 + 739334733486543364297553004147003\ 41/709487475210545055792353116230070*c_1001_5^17 + 131960708997345503802787068454664717/141897495042109011158470623246\ 0140*c_1001_5^16 - 29454846366272877831027070273073522/709487475210\ 54505579235311623007*c_1001_5^15 - 1393598362603792411356434597688676209/70948747521054505579235311623\ 0070*c_1001_5^14 - 7230724882684695823697237663526516811/1418974950\ 421090111584706232460140*c_1001_5^13 - 3457682276372273221002398373771513526/35474373760527252789617655811\ 5035*c_1001_5^12 - 5350905393093631876761271913005431889/3547437376\ 05272527896176558115035*c_1001_5^11 - 394562665670707777998228637444071123/202710707203012873083529461780\ 02*c_1001_5^10 - 1094073539363398091590562312695111548/506776768007\ 53218270882365445005*c_1001_5^9 - 732321922656358261217059183337938\ 7839/354743737605272527896176558115035*c_1001_5^8 - 24434828406969293147990387457022696473/1418974950421090111584706232\ 460140*c_1001_5^7 - 17644762241491188896852967618364951411/14189749\ 50421090111584706232460140*c_1001_5^6 - 5313686450062779395245713611142147697/70948747521054505579235311623\ 0070*c_1001_5^5 - 5484723729645170280719379012262042293/14189749504\ 21090111584706232460140*c_1001_5^4 - 516076821802153224460364630369478904/354743737605272527896176558115\ 035*c_1001_5^3 - 724525963313203232566253629648179973/1418974950421\ 090111584706232460140*c_1001_5^2 - 40408374489904447642413162487105771/3547437376052725278961765581150\ 35*c_1001_5 - 56610183345973236901114993401147267/14189749504210901\ 11584706232460140, c_0011_0 - 1, c_0011_10 + 552326549960718018569009/968695615371469283020702*c_1001_5^\ 19 + 4152485462103375052841800/484347807685734641510351*c_1001_5^18 + 9476071383244671696969750/484347807685734641510351*c_1001_5^17 + 18140356003715375400127851/968695615371469283020702*c_1001_5^16 - 37081209063088439531091498/484347807685734641510351*c_1001_5^15 - 177604306290992062620401901/484347807685734641510351*c_1001_5^14 - 935673482123781812072515445/968695615371469283020702*c_1001_5^13 - 898949158179584219246887738/484347807685734641510351*c_1001_5^12 - 1402065086706741564070737790/484347807685734641510351*c_1001_5^11 - 259430416156162522938665387/69192543955104948787193*c_1001_5^10 - 289415649456457252410451252/69192543955104948787193*c_1001_5^9 - 1938644116915505556109287099/484347807685734641510351*c_1001_5^8 - 3251443187662964334399166233/968695615371469283020702*c_1001_5^7 - 2331478937766047514589502973/968695615371469283020702*c_1001_5^6 - 707398416301432771530620949/484347807685734641510351*c_1001_5^5 - 702754010116273484920218489/968695615371469283020702*c_1001_5^4 - 132707441332072904267813249/484347807685734641510351*c_1001_5^3 - 75099471810529725331675131/968695615371469283020702*c_1001_5^2 - 7596600051193066803128616/484347807685734641510351*c_1001_5 - 3220026264325401539291877/968695615371469283020702, c_0011_11 + 14055770451814952722757/69192543955104948787193*c_1001_5^19 + 207941308930509048974343/69192543955104948787193*c_1001_5^18 + 436259498610542427242697/69192543955104948787193*c_1001_5^17 + 420157354841603364841353/69192543955104948787193*c_1001_5^16 - 1859247783088564923439027/69192543955104948787193*c_1001_5^15 - 8513334009022139995138363/69192543955104948787193*c_1001_5^14 - 22418468460021792223064006/69192543955104948787193*c_1001_5^13 - 42969569705079582392220917/69192543955104948787193*c_1001_5^12 - 67257243255008907738082928/69192543955104948787193*c_1001_5^11 - 87257218535655815181470019/69192543955104948787193*c_1001_5^10 - 97953210735957398455465319/69192543955104948787193*c_1001_5^9 - 93855543946977872190549970/69192543955104948787193*c_1001_5^8 - 79250752536717806668620379/69192543955104948787193*c_1001_5^7 - 56700753098029953209309147/69192543955104948787193*c_1001_5^6 - 34692438816704939999946824/69192543955104948787193*c_1001_5^5 - 17145655588607929294153286/69192543955104948787193*c_1001_5^4 - 6269706907170009862981992/69192543955104948787193*c_1001_5^3 - 1712222034802448985473183/69192543955104948787193*c_1001_5^2 - 206206436680089209890236/69192543955104948787193*c_1001_5 - 59824909860921224699418/69192543955104948787193, c_0011_3 - 157456942253584711150682/484347807685734641510351*c_1001_5^1\ 9 - 2364235241233366232173048/484347807685734641510351*c_1001_5^18 - 5323731216762670912592054/484347807685734641510351*c_1001_5^17 - 4620427231938490512934983/484347807685734641510351*c_1001_5^16 + 22254273874392630731723201/484347807685734641510351*c_1001_5^15 + 101575750371105421146521599/484347807685734641510351*c_1001_5^14 + 260339842651285874489295595/484347807685734641510351*c_1001_5^13 + 487882630560411085111189409/484347807685734641510351*c_1001_5^12 + 741104293818630202121596072/484347807685734641510351*c_1001_5^11 + 132976071654093986808213119/69192543955104948787193*c_1001_5^10 + 143197551547913539846370358/69192543955104948787193*c_1001_5^9 + 918550588272015727058687687/484347807685734641510351*c_1001_5^8 + 731562291687956765042186543/484347807685734641510351*c_1001_5^7 + 488667864006551111950194679/484347807685734641510351*c_1001_5^6 + 266695844341180418582227675/484347807685734641510351*c_1001_5^5 + 109997525146061831763331885/484347807685734641510351*c_1001_5^4 + 28081505392877546768742922/484347807685734641510351*c_1001_5^3 + 925654274807865505166528/484347807685734641510351*c_1001_5^2 - 1027225749972708780922626/484347807685734641510351*c_1001_5 - 515573294355145576678906/484347807685734641510351, c_0011_5 - 6235192953858112604737/69192543955104948787193*c_1001_5^19 - 89801169679503590315951/69192543955104948787193*c_1001_5^18 - 161085743838670292581594/69192543955104948787193*c_1001_5^17 - 163063868195844724059157/69192543955104948787193*c_1001_5^16 + 813333961253617428683904/69192543955104948787193*c_1001_5^15 + 3388280744442688323457755/69192543955104948787193*c_1001_5^14 + 8972930386866189920247956/69192543955104948787193*c_1001_5^13 + 17094326061874084180808035/69192543955104948787193*c_1001_5^12 + 27181397055959959494606402/69192543955104948787193*c_1001_5^11 + 35789330501401785766685639/69192543955104948787193*c_1001_5^10 + 41544347784737484116607711/69192543955104948787193*c_1001_5^9 + 41114249098288193312684852/69192543955104948787193*c_1001_5^8 + 36833981964962187763570548/69192543955104948787193*c_1001_5^7 + 27843202528147760914951781/69192543955104948787193*c_1001_5^6 + 18993550931759829503190255/69192543955104948787193*c_1001_5^5 + 10570610879411302207130498/69192543955104948787193*c_1001_5^4 + 5000135018519286066006970/69192543955104948787193*c_1001_5^3 + 1919302316122663838973753/69192543955104948787193*c_1001_5^2 + 423476421818082217323347/69192543955104948787193*c_1001_5 + 99694726340924962833110/69192543955104948787193, c_0011_8 + 7258478637349595387895/69192543955104948787193*c_1001_5^19 + 101515369523685789088372/69192543955104948787193*c_1001_5^18 + 145817934445324548808642/69192543955104948787193*c_1001_5^17 + 138084262349161851764333/69192543955104948787193*c_1001_5^16 - 984504039351976600913187/69192543955104948787193*c_1001_5^15 - 3564702468278530017640932/69192543955104948787193*c_1001_5^14 - 9138298240244200361329878/69192543955104948787193*c_1001_5^13 - 16533571982724344523520495/69192543955104948787193*c_1001_5^12 - 25252236492934789530026062/69192543955104948787193*c_1001_5^11 - 31147883164232474988095884/69192543955104948787193*c_1001_5^10 - 34011114757901448041209863/69192543955104948787193*c_1001_5^9 - 30213984816952254642331082/69192543955104948787193*c_1001_5^8 - 24565035466311857055250095/69192543955104948787193*c_1001_5^7 - 15084732307203066713335540/69192543955104948787193*c_1001_5^6 - 8614273466660030825471175/69192543955104948787193*c_1001_5^5 - 2647375594683307999034886/69192543955104948787193*c_1001_5^4 - 361674763524502765530931/69192543955104948787193*c_1001_5^3 + 414870511512935636545551/69192543955104948787193*c_1001_5^2 + 223558979416786257554302/69192543955104948787193*c_1001_5 - 25424167732506331926572/69192543955104948787193, c_0101_0 + 51914390911227618127329/138385087910209897574386*c_1001_5^19 + 376086366599010766493369/69192543955104948787193*c_1001_5^18 + 689211383540991818036438/69192543955104948787193*c_1001_5^17 + 1086553821979367022897317/138385087910209897574386*c_1001_5^16 - 3623020633623659926068640/69192543955104948787193*c_1001_5^15 - 14600582441376494483690199/69192543955104948787193*c_1001_5^14 - 73331334029119292694716893/138385087910209897574386*c_1001_5^13 - 67427855417467110526231209/69192543955104948787193*c_1001_5^12 - 102221929302555075625290616/69192543955104948787193*c_1001_5^11 - 128078472962433279022635113/69192543955104948787193*c_1001_5^10 - 139873648801593850368128840/69192543955104948787193*c_1001_5^9 - 129466937921479826714728779/69192543955104948787193*c_1001_5^8 - 213406085514459171431922461/138385087910209897574386*c_1001_5^7 - 146611597897707487850814603/138385087910209897574386*c_1001_5^6 - 43464658786285843330720385/69192543955104948787193*c_1001_5^5 - 41067219776386292774202403/138385087910209897574386*c_1001_5^4 - 7139727650565438111525930/69192543955104948787193*c_1001_5^3 - 4166537379503745811359759/138385087910209897574386*c_1001_5^2 - 288074331463989304541984/69192543955104948787193*c_1001_5 - 221221858761212165342791/138385087910209897574386, c_0101_1 - 29827976668048873661661/138385087910209897574386*c_1001_5^19 - 224472017434426244700631/69192543955104948787193*c_1001_5^18 - 513988062100093544862962/69192543955104948787193*c_1001_5^17 - 960951746059981940390553/138385087910209897574386*c_1001_5^16 + 2041973010559115812086912/69192543955104948787193*c_1001_5^15 + 9653246023548046528037361/69192543955104948787193*c_1001_5^14 + 50504372662736171684355365/138385087910209897574386*c_1001_5^13 + 48119936908226365626834663/69192543955104948787193*c_1001_5^12 + 74439077759686692347104901/69192543955104948787193*c_1001_5^11 + 95350479338408854709918206/69192543955104948787193*c_1001_5^10 + 105032308340947670967166607/69192543955104948787193*c_1001_5^9 + 98785175548370642695163868/69192543955104948787193*c_1001_5^8 + 162342421039244601760460199/138385087910209897574386*c_1001_5^7 + 112798040341642224738748031/138385087910209897574386*c_1001_5^6 + 32807803021791567952520328/69192543955104948787193*c_1001_5^5 + 29956058127863041205631605/138385087910209897574386*c_1001_5^4 + 4944821920094456966715219/69192543955104948787193*c_1001_5^3 + 1644415286467147852687691/138385087910209897574386*c_1001_5^2 + 32793867860497098444833/69192543955104948787193*c_1001_5 - 64941667275801998039169/138385087910209897574386, c_0110_8 - 340155152678134406265029/968695615371469283020702*c_1001_5^1\ 9 - 2459254500729220312022868/484347807685734641510351*c_1001_5^18 - 4435265726205738777968571/484347807685734641510351*c_1001_5^17 - 6589786577769334207112063/968695615371469283020702*c_1001_5^16 + 24122802473665133623478792/484347807685734641510351*c_1001_5^15 + 94953434825140655316924940/484347807685734641510351*c_1001_5^14 + 471698486638445606332854895/968695615371469283020702*c_1001_5^13 + 429142245419601259356960117/484347807685734641510351*c_1001_5^12 + 645491687361073212471282090/484347807685734641510351*c_1001_5^11 + 114538842472840038241865081/69192543955104948787193*c_1001_5^10 + 124298456742901839829027141/69192543955104948787193*c_1001_5^9 + 799488577324057204580215648/484347807685734641510351*c_1001_5^8 + 1313583424378162851587251765/968695615371469283020702*c_1001_5^7 + 895649601245362534817715705/968695615371469283020702*c_1001_5^6 + 265720080599970131185225460/484347807685734641510351*c_1001_5^5 + 248982657849159359277208517/968695615371469283020702*c_1001_5^4 + 45064987878957077072646635/484347807685734641510351*c_1001_5^3 + 27377272320142964363167523/968695615371469283020702*c_1001_5^2 + 2234954739082309540143489/484347807685734641510351*c_1001_5 + 1546670557603546905956179/968695615371469283020702, c_1001_0 + 151809743709604093601015/968695615371469283020702*c_1001_5^1\ 9 + 1107736999913814825453310/484347807685734641510351*c_1001_5^18 + 2113038225042496854754637/484347807685734641510351*c_1001_5^17 + 3112792795943078062503781/968695615371469283020702*c_1001_5^16 - 10672714314763658040421212/484347807685734641510351*c_1001_5^15 - 43666953070108261555787119/484347807685734641510351*c_1001_5^14 - 217654636420239933297525825/968695615371469283020702*c_1001_5^13 - 200720401865973297874858346/484347807685734641510351*c_1001_5^12 - 304414070613534620973538215/484347807685734641510351*c_1001_5^11 - 54865025839381391158796971/69192543955104948787193*c_1001_5^10 - 60298391267919425505575656/69192543955104948787193*c_1001_5^9 - 397164087426429291087694149/484347807685734641510351*c_1001_5^8 - 662536642958908267711955667/968695615371469283020702*c_1001_5^7 - 469232981413894902067970917/968695615371469283020702*c_1001_5^6 - 141367034249879638648680756/484347807685734641510351*c_1001_5^5 - 142006000584684471648993975/968695615371469283020702*c_1001_5^4 - 26391105641324922113067754/484347807685734641510351*c_1001_5^3 - 15519738551003891024618369/968695615371469283020702*c_1001_5^2 - 1243068682619559744917058/484347807685734641510351*c_1001_5 + 399330365783859739715585/968695615371469283020702, c_1001_1 + 45512070843356575658563/138385087910209897574386*c_1001_5^19 + 337544305981192033830695/69192543955104948787193*c_1001_5^18 + 715533636532114235927569/69192543955104948787193*c_1001_5^17 + 1301133923179623364871837/138385087910209897574386*c_1001_5^16 - 3087813972722508564113953/69192543955104948787193*c_1001_5^15 - 13951421737215014839744430/69192543955104948787193*c_1001_5^14 - 72472168263647702047602583/138385087910209897574386*c_1001_5^13 - 68740224670377610169987384/69192543955104948787193*c_1001_5^12 - 106353312545684731831003145/69192543955104948787193*c_1001_5^11 - 136348846224817953166664847/69192543955104948787193*c_1001_5^10 - 150987397133193773764570212/69192543955104948787193*c_1001_5^9 - 142684273819818823937941545/69192543955104948787193*c_1001_5^8 - 236861669241885151035374549/138385087910209897574386*c_1001_5^7 - 166326609272966234035857441/138385087910209897574386*c_1001_5^6 - 49395174376833070633142968/69192543955104948787193*c_1001_5^5 - 46993108789218216389079711/138385087910209897574386*c_1001_5^4 - 8154329489360105353414813/69192543955104948787193*c_1001_5^3 - 3880342069062415223132795/138385087910209897574386*c_1001_5^2 - 262852777801154213001056/69192543955104948787193*c_1001_5 - 97172453590767688996795/138385087910209897574386, c_1001_5^20 + 15*c_1001_5^19 + 34*c_1001_5^18 + 35*c_1001_5^17 - 129*c_1001_5^16 - 634*c_1001_5^15 - 1705*c_1001_5^14 - 3329*c_1001_5^13 - 5288*c_1001_5^12 - 6982*c_1001_5^11 - 7966*c_1001_5^10 - 7808*c_1001_5^9 - 6741*c_1001_5^8 - 4994*c_1001_5^7 - 3183*c_1001_5^6 - 1683*c_1001_5^5 - 707*c_1001_5^4 - 233*c_1001_5^3 - 55*c_1001_5^2 - 11*c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.770 seconds, Total memory usage: 32.09MB