Magma V2.19-8 Wed Aug 21 2013 00:47:20 on localhost [Seed = 374342262] Type ? for help. Type -D to quit. Loading file "K14n770__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n770 geometric_solution 11.05162240 oriented_manifold CS_known 0.0000000000000008 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 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 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.262573444535 1.028676198769 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.085429702714 0.794410853742 8 0 4 6 0132 0132 2031 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 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.184846798588 1.564696110987 6 9 7 0 0132 0132 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.703730491579 0.587588785337 5 5 0 2 0132 3201 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 -1 1 0 0 0 0 0 -1 0 1 -9 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598245218704 0.502182788310 4 1 4 8 0132 0132 2310 3201 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 1 -1 0 0 1 -1 9 0 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467588483356 0.590992570678 3 2 1 9 0132 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 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 1.264120057014 0.302538253946 8 10 3 1 3201 0132 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 1 0 0 -1 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036671152342 0.639744742792 2 5 10 7 0132 2310 3120 2310 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 9 -9 0 -1 0 1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465220067567 0.458479771714 11 3 6 12 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.646153059245 0.615786611109 11 7 8 12 2103 0132 3120 3201 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 1 -1 1 0 -1 0 0 0 0 0 1 -10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646153059245 0.615786611109 9 12 10 12 0132 1023 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.318508725441 1.084717381145 11 10 9 11 1023 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.391103899485 0.353003397442 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_1001_1']), 'c_1010_12' : negation(d['c_0110_10']), 'c_1010_11' : d['c_0110_10'], 'c_1010_10' : negation(d['c_1001_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_10'], '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_1100_9' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_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' : negation(d['c_0101_5']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_0101_1']), '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' : negation(d['c_0101_3']), '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_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_2']), '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' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['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_10, c_0011_11, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0110_10, c_1001_0, c_1001_1, c_1001_12, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 21600969177576498464152144124409737198834/8302419410643531412072341\ 902990432196007995*c_1001_5^17 + 4956031367397007130184242711104705\ 220378/8302419410643531412072341902990432196007995*c_1001_5^16 + 20257970447566656259261777679507775293449/2767473136881177137357447\ 300996810732002665*c_1001_5^15 - 6488530208064777146085436262619188\ 655622/2767473136881177137357447300996810732002665*c_1001_5^14 - 1037602128949881952720168467938136205567/43696944266544902168801799\ 4894233273474105*c_1001_5^13 - 354889348424587944889062375075316680\ 15592/1660483882128706282414468380598086439201599*c_1001_5^12 + 23606812611077174020063453644945259364678/2767473136881177137357447\ 300996810732002665*c_1001_5^11 - 1412480536456508718969190525746834\ 055995284/8302419410643531412072341902990432196007995*c_1001_5^10 - 5327594958909935569868648218380655545449593/83024194106435314120723\ 41902990432196007995*c_1001_5^9 - 231615801332763015982294981803368\ 9511889309/2767473136881177137357447300996810732002665*c_1001_5^8 + 925921419068717986180647582780681467622428/276747313688117713735744\ 7300996810732002665*c_1001_5^7 + 4885983210241090452594986277025969\ 140418526/1660483882128706282414468380598086439201599*c_1001_5^6 + 18799785223723605040870580689234898629252471/8302419410643531412072\ 341902990432196007995*c_1001_5^5 - 10582456510790338035803036863859997323818697/8302419410643531412072\ 341902990432196007995*c_1001_5^4 - 34152911938723610515193920718526057210156251/8302419410643531412072\ 341902990432196007995*c_1001_5^3 - 1993350036472274719893568461369051171187858/27674731368811771373574\ 47300996810732002665*c_1001_5^2 - 470405539186764401171099989893419\ 2220789037/922491045627059045785815766998936910667555*c_1001_5 - 9046712725520377788890887819618490061652267/83024194106435314120723\ 41902990432196007995, c_0011_0 - 1, c_0011_10 + 3402694588912371699732328025984/125631455102431015511831025\ 346332433*c_1001_5^17 - 33369753040471258512459965146340/1256314551\ 02431015511831025346332433*c_1001_5^16 + 11173079667383258508404439584746/1256314551024310155118310253463324\ 33*c_1001_5^15 + 105228527678415003851490170203712/1256314551024310\ 15511831025346332433*c_1001_5^14 - 2938354143709815432650017289543/6612181847496369237464790807701707*\ c_1001_5^13 - 63352480436592218910895331232955/12563145510243101551\ 1831025346332433*c_1001_5^12 - 177532035530775764516307016368256/12\ 5631455102431015511831025346332433*c_1001_5^11 + 472506079798941324077040768663689/125631455102431015511831025346332\ 433*c_1001_5^10 - 28183763639919235653274669511225/2921661746568163\ 151437930822007731*c_1001_5^9 - 6167910681975227982533827796472970/\ 125631455102431015511831025346332433*c_1001_5^8 - 7844832743878127521261927822851681/12563145510243101551183102534633\ 2433*c_1001_5^7 + 13328078044691790074948158251675516/1256314551024\ 31015511831025346332433*c_1001_5^6 + 34508299667561152487141323714964293/1256314551024310155118310253463\ 32433*c_1001_5^5 + 13501210805495369410556440721937844/125631455102\ 431015511831025346332433*c_1001_5^4 - 26369760857422074124722819051165866/1256314551024310155118310253463\ 32433*c_1001_5^3 - 11538922760249625814617955839083731/125631455102\ 431015511831025346332433*c_1001_5^2 + 51618915375323720405768791781389470/1256314551024310155118310253463\ 32433*c_1001_5 - 85080386554929966125607569211650167/12563145510243\ 1015511831025346332433, c_0011_11 - 31574891678260626480859281526490/12563145510243101551183102\ 5346332433*c_1001_5^17 + 54926832004192522132966881135629/125631455\ 102431015511831025346332433*c_1001_5^16 + 33935587168937139625269471611345/1256314551024310155118310253463324\ 33*c_1001_5^15 - 139260113866392892811135080096788/1256314551024310\ 15511831025346332433*c_1001_5^14 + 6346823108988560028790785972685/6612181847496369237464790807701707*\ c_1001_5^13 - 225492810858297216207448453523118/1256314551024310155\ 11831025346332433*c_1001_5^12 + 611976072595447992704347303081964/1\ 25631455102431015511831025346332433*c_1001_5^11 - 3087446948505290208082682501044380/12563145510243101551183102534633\ 2433*c_1001_5^10 - 94658550880743293411519749717251/292166174656816\ 3151437930822007731*c_1001_5^9 - 977468761113809408391310443488244/\ 125631455102431015511831025346332433*c_1001_5^8 + 8982718389667773777000956739210902/12563145510243101551183102534633\ 2433*c_1001_5^7 + 17816344734476214891659403714827425/1256314551024\ 31015511831025346332433*c_1001_5^6 - 18661462911626697603887597638446913/1256314551024310155118310253463\ 32433*c_1001_5^5 + 14133839290751970008797784896328809/125631455102\ 431015511831025346332433*c_1001_5^4 + 34675223334135595976586938954217710/1256314551024310155118310253463\ 32433*c_1001_5^3 + 36157042979158829358929665331733510/125631455102\ 431015511831025346332433*c_1001_5^2 - 141803782687547456121525479372454832/125631455102431015511831025346\ 332433*c_1001_5 + 58407854296457950817721220999224655/1256314551024\ 31015511831025346332433, c_0101_0 + 19815604547791224250558195072435/125631455102431015511831025\ 346332433*c_1001_5^17 + 463079013628165893326535520181/125631455102\ 431015511831025346332433*c_1001_5^16 - 85748178263643327747282205143302/1256314551024310155118310253463324\ 33*c_1001_5^15 + 79507392754475059337654355709695/12563145510243101\ 5511831025346332433*c_1001_5^14 + 2092023231435145728073483070532/6\ 612181847496369237464790807701707*c_1001_5^13 + 37502348051312036209657579824113/1256314551024310155118310253463324\ 33*c_1001_5^12 + 4049738257429394661640794121644/125631455102431015\ 511831025346332433*c_1001_5^11 + 653345295032868224448211617205971/\ 125631455102431015511831025346332433*c_1001_5^10 + 158391102305378906289269641923747/292166174656816315143793082200773\ 1*c_1001_5^9 + 4748770047819945915889994533842469/12563145510243101\ 5511831025346332433*c_1001_5^8 - 4467212199569376092836620541932849\ /125631455102431015511831025346332433*c_1001_5^7 - 16357204006928227485417465072543808/1256314551024310155118310253463\ 32433*c_1001_5^6 - 2529028238635368437197186042375559/1256314551024\ 31015511831025346332433*c_1001_5^5 + 28250983891788882547930689394599622/1256314551024310155118310253463\ 32433*c_1001_5^4 - 40817256495669637955905445731116675/125631455102\ 431015511831025346332433*c_1001_5^3 - 83970861659288423695276761631594982/1256314551024310155118310253463\ 32433*c_1001_5^2 + 18230194575086219592775279865173030/125631455102\ 431015511831025346332433*c_1001_5 + 89310911121124206846855478350169545/1256314551024310155118310253463\ 32433, c_0101_1 + 43325400762922902074338643072132/125631455102431015511831025\ 346332433*c_1001_5^17 - 31417679240215618326203900473854/1256314551\ 02431015511831025346332433*c_1001_5^16 - 66657721841336130912159563011973/1256314551024310155118310253463324\ 33*c_1001_5^15 + 66922689336254393348358739725160/12563145510243101\ 5511831025346332433*c_1001_5^14 - 1674043137384282289379261291541/6\ 612181847496369237464790807701707*c_1001_5^13 + 453906051579879355799827939594676/125631455102431015511831025346332\ 433*c_1001_5^12 - 491927524312769029787380039246303/125631455102431\ 015511831025346332433*c_1001_5^11 + 3231071649862687067009063226937912/12563145510243101551183102534633\ 2433*c_1001_5^10 + 214660532266648358295145778837490/29216617465681\ 63151437930822007731*c_1001_5^9 + 126681461700504512292752605257742\ 72/125631455102431015511831025346332433*c_1001_5^8 - 1356921239933667357412946952303327/12563145510243101551183102534633\ 2433*c_1001_5^7 - 31569544707449065501957084096491907/1256314551024\ 31015511831025346332433*c_1001_5^6 + 554522538018209318693881436105261/125631455102431015511831025346332\ 433*c_1001_5^5 + 23222154680507656188560432407173367/12563145510243\ 1015511831025346332433*c_1001_5^4 + 36685498130289582789685462617579277/1256314551024310155118310253463\ 32433*c_1001_5^3 - 36849098284236701554851748186312023/125631455102\ 431015511831025346332433*c_1001_5^2 + 51438585754454221378301290988844154/1256314551024310155118310253463\ 32433*c_1001_5 + 23929494419817029432473369538349980/12563145510243\ 1015511831025346332433, c_0101_2 - 10599077978806314964263505103722/125631455102431015511831025\ 346332433*c_1001_5^17 - 9373885969073416401521791362255/12563145510\ 2431015511831025346332433*c_1001_5^16 + 52571829805093920799616787151236/1256314551024310155118310253463324\ 33*c_1001_5^15 - 58825489063564290383495258824028/12563145510243101\ 5511831025346332433*c_1001_5^14 + 3395923485090032235638334376979/6\ 612181847496369237464790807701707*c_1001_5^13 - 56738899070045752236278256843705/1256314551024310155118310253463324\ 33*c_1001_5^12 - 247483175618759513640000233093696/1256314551024310\ 15511831025346332433*c_1001_5^11 + 267785990170533619703656095819421/125631455102431015511831025346332\ 433*c_1001_5^10 - 115469566780223089778112484525853/292166174656816\ 3151437930822007731*c_1001_5^9 - 4191747123626042953050183400136427\ /125631455102431015511831025346332433*c_1001_5^8 - 1999814609540020300005782802158478/12563145510243101551183102534633\ 2433*c_1001_5^7 + 8284412439110388937171000970096443/12563145510243\ 1015511831025346332433*c_1001_5^6 + 10274289576154667154633731539438477/1256314551024310155118310253463\ 32433*c_1001_5^5 + 2726877239990096524879865567871965/1256314551024\ 31015511831025346332433*c_1001_5^4 + 54830286020568281699400053457097125/1256314551024310155118310253463\ 32433*c_1001_5^3 + 236484161492863927705617212865312/12563145510243\ 1015511831025346332433*c_1001_5^2 + 8167266844514084774230148211182704/12563145510243101551183102534633\ 2433*c_1001_5 - 14420217141875261497189047764927656/125631455102431\ 015511831025346332433, c_0101_3 - 83488447283043757/426296661151195795273*c_1001_5^17 + 205401099901058584/426296661151195795273*c_1001_5^16 + 138138013344868529/426296661151195795273*c_1001_5^15 - 589084723197258900/426296661151195795273*c_1001_5^14 + 16402093469914443/22436666376378726067*c_1001_5^13 - 473144476660228002/426296661151195795273*c_1001_5^12 + 1573335446704808226/426296661151195795273*c_1001_5^11 - 6132039884262953085/426296661151195795273*c_1001_5^10 - 218197929362983759/9913875840725483611*c_1001_5^9 + 17253835788592017068/426296661151195795273*c_1001_5^8 + 56673460602018514014/426296661151195795273*c_1001_5^7 + 59365321524006749131/426296661151195795273*c_1001_5^6 - 109364526299488872712/426296661151195795273*c_1001_5^5 - 116873504559067426645/426296661151195795273*c_1001_5^4 + 111838762268411052350/426296661151195795273*c_1001_5^3 + 232218681959893434494/426296661151195795273*c_1001_5^2 - 254830966783116929617/426296661151195795273*c_1001_5 - 97094141997391263202/426296661151195795273, c_0101_5 - 252042056875146545986236042198/66121818474963692374647908077\ 01707*c_1001_5^17 + 3210298128680069510256677177055/661218184749636\ 9237464790807701707*c_1001_5^16 - 2370437528332093362525720386847/6\ 612181847496369237464790807701707*c_1001_5^15 - 4952547509926816350731368396695/6612181847496369237464790807701707*\ c_1001_5^14 + 6925790551561042740709950098535/661218184749636923746\ 4790807701707*c_1001_5^13 - 5365018909793046307217250912091/6612181\ 847496369237464790807701707*c_1001_5^12 + 24616760259343842864197044738410/6612181847496369237464790807701707\ *c_1001_5^11 - 60725956257106439954971995160806/6612181847496369237\ 464790807701707*c_1001_5^10 + 4951959806620972112075982954932/15377\ 1670872008586917785832737249*c_1001_5^9 + 517555235985851032489719128165163/661218184749636923746479080770170\ 7*c_1001_5^8 + 643931568527769103900185985559055/661218184749636923\ 7464790807701707*c_1001_5^7 + 59895313580589055817765533034097/6612\ 181847496369237464790807701707*c_1001_5^6 - 1829432809298075950932203878554069/66121818474963692374647908077017\ 07*c_1001_5^5 - 325902071433203507088803213827917/66121818474963692\ 37464790807701707*c_1001_5^4 - 413573336930821379193759220221175/66\ 12181847496369237464790807701707*c_1001_5^3 - 817632617484056542121996928574632/661218184749636923746479080770170\ 7*c_1001_5^2 - 2993136037331166375008630568110433/66121818474963692\ 37464790807701707*c_1001_5 + 3194571099159243075023454170168237/661\ 2181847496369237464790807701707, c_0110_10 + 23667487807551264740372649959979/12563145510243101551183102\ 5346332433*c_1001_5^17 - 43865586973804677923975839177129/125631455\ 102431015511831025346332433*c_1001_5^16 - 35484017786152499614271995393388/1256314551024310155118310253463324\ 33*c_1001_5^15 + 143157360016647825837454480881259/1256314551024310\ 15511831025346332433*c_1001_5^14 - 3313209363033918829038442176618/6612181847496369237464790807701707*\ c_1001_5^13 + 67788153930813069230954760256340/12563145510243101551\ 1831025346332433*c_1001_5^12 - 337224809335512424419553510919882/12\ 5631455102431015511831025346332433*c_1001_5^11 + 2148678539291788912923515469872516/12563145510243101551183102534633\ 2433*c_1001_5^10 + 72755824032121334548759923952416/292166174656816\ 3151437930822007731*c_1001_5^9 - 1011014121238063685103071510626821\ /125631455102431015511831025346332433*c_1001_5^8 - 8748656735933516708112061742092845/12563145510243101551183102534633\ 2433*c_1001_5^7 - 7743096416818200699467749411935886/12563145510243\ 1015511831025346332433*c_1001_5^6 + 28436425802555748268717978330594140/1256314551024310155118310253463\ 32433*c_1001_5^5 - 444772736870525448530763964895922/12563145510243\ 1015511831025346332433*c_1001_5^4 - 15465123738800033154767667349565113/1256314551024310155118310253463\ 32433*c_1001_5^3 - 23121255817790942970999103953455381/125631455102\ 431015511831025346332433*c_1001_5^2 + 123406011807600830911227531799548743/125631455102431015511831025346\ 332433*c_1001_5 - 118313329275195387065708338170675981/125631455102\ 431015511831025346332433, c_1001_0 - 10592006168541637980255981639118/125631455102431015511831025\ 346332433*c_1001_5^17 - 23228924028862279930335388203792/1256314551\ 02431015511831025346332433*c_1001_5^16 + 90627404723821681270257549964174/1256314551024310155118310253463324\ 33*c_1001_5^15 + 42110195178258046866190990867921/12563145510243101\ 5511831025346332433*c_1001_5^14 - 9668194366602826367129130025971/6\ 612181847496369237464790807701707*c_1001_5^13 - 86573451711377803932223529444478/1256314551024310155118310253463324\ 33*c_1001_5^12 - 14281094633229820217604853743070/12563145510243101\ 5511831025346332433*c_1001_5^11 - 97890324777730747762992109692770/\ 125631455102431015511831025346332433*c_1001_5^10 - 110496347146808029813335807706005/292166174656816315143793082200773\ 1*c_1001_5^9 - 6527845381209695339278606973331477/12563145510243101\ 5511831025346332433*c_1001_5^8 + 6815629844122314542310149801639074\ /125631455102431015511831025346332433*c_1001_5^7 + 31483663653011571274283503198353851/1256314551024310155118310253463\ 32433*c_1001_5^6 + 24890118137990593263465091477735464/125631455102\ 431015511831025346332433*c_1001_5^5 - 44921923356256318284730776572682776/1256314551024310155118310253463\ 32433*c_1001_5^4 - 68948122434923093702853747305627926/125631455102\ 431015511831025346332433*c_1001_5^3 + 30703460416166606165813552440354880/1256314551024310155118310253463\ 32433*c_1001_5^2 + 122989242430554696526924734991636554/12563145510\ 2431015511831025346332433*c_1001_5 - 97207478205719321702941016171784201/1256314551024310155118310253463\ 32433, c_1001_1 - 83488447283043757/426296661151195795273*c_1001_5^17 + 205401099901058584/426296661151195795273*c_1001_5^16 + 138138013344868529/426296661151195795273*c_1001_5^15 - 589084723197258900/426296661151195795273*c_1001_5^14 + 16402093469914443/22436666376378726067*c_1001_5^13 - 473144476660228002/426296661151195795273*c_1001_5^12 + 1573335446704808226/426296661151195795273*c_1001_5^11 - 6132039884262953085/426296661151195795273*c_1001_5^10 - 218197929362983759/9913875840725483611*c_1001_5^9 + 17253835788592017068/426296661151195795273*c_1001_5^8 + 56673460602018514014/426296661151195795273*c_1001_5^7 + 59365321524006749131/426296661151195795273*c_1001_5^6 - 109364526299488872712/426296661151195795273*c_1001_5^5 - 116873504559067426645/426296661151195795273*c_1001_5^4 + 111838762268411052350/426296661151195795273*c_1001_5^3 + 232218681959893434494/426296661151195795273*c_1001_5^2 - 254830966783116929617/426296661151195795273*c_1001_5 - 97094141997391263202/426296661151195795273, c_1001_12 + 34825997378540175158978370836/15377167087200858691778583273\ 7249*c_1001_5^17 + 8456373740511181131923926476/1537716708720085869\ 17785832737249*c_1001_5^16 - 195425917485134219450888097515/1537716\ 70872008586917785832737249*c_1001_5^15 + 111107062268018477853849096669/153771670872008586917785832737249*c_\ 1001_5^14 + 211980349130118917189600458397/153771670872008586917785\ 832737249*c_1001_5^13 + 44342309996838433574308800292/1537716708720\ 08586917785832737249*c_1001_5^12 + 314192241677079486053308070124/153771670872008586917785832737249*c_\ 1001_5^11 + 1070611545625245325073155866048/15377167087200858691778\ 5832737249*c_1001_5^10 + 10671663591701731608228532505863/153771670\ 872008586917785832737249*c_1001_5^9 + 9603186123955170689802152384418/153771670872008586917785832737249*c\ _1001_5^8 - 15744826772502353562487282352040/1537716708720085869177\ 85832737249*c_1001_5^7 - 53982660291587145425300045140909/153771670\ 872008586917785832737249*c_1001_5^6 - 12809999330042647126486446726503/153771670872008586917785832737249*\ c_1001_5^5 + 109241194645218378002968854752485/15377167087200858691\ 7785832737249*c_1001_5^4 + 84903654577981906374805519019732/1537716\ 70872008586917785832737249*c_1001_5^3 - 55345179480522874502537345070859/153771670872008586917785832737249*\ c_1001_5^2 + 3239517500464180932628717953467/1537716708720085869177\ 85832737249*c_1001_5 + 123779768145182050528234564633611/1537716708\ 72008586917785832737249, c_1001_5^18 - c_1001_5^17 - 2*c_1001_5^16 + 3*c_1001_5^15 - c_1001_5^14 + 7*c_1001_5^13 - 10*c_1001_5^12 + 76*c_1001_5^11 + 191*c_1001_5^10 + 181*c_1001_5^9 - 216*c_1001_5^8 - 785*c_1001_5^7 + 64*c_1001_5^6 + 467*c_1001_5^5 + 333*c_1001_5^4 - 1110*c_1001_5^3 + 2755*c_1001_5^2 - 405*c_1001_5 + 2089 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.630 Total time: 7.839 seconds, Total memory usage: 83.69MB