Magma V2.19-8 Wed Aug 21 2013 00:58:19 on localhost [Seed = 88285081] Type ? for help. Type -D to quit. Loading file "L13n4980__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4980 geometric_solution 11.64975378 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 0 -1 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 0 0 0 -1 6 -5 0 0 0 0 1 -3 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765437934358 1.182676125106 0 5 5 6 0132 0132 1302 0132 1 1 1 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 0 5 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238028197276 0.695235729097 4 0 8 7 0213 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 6 -6 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851041621524 0.887476861214 9 10 11 0 0132 0132 0132 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 6 -6 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.611335885920 0.672872081408 2 7 0 9 0213 0132 0132 0321 1 1 1 0 0 0 -1 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 0 5 -5 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249219776034 0.798338201473 1 1 10 12 2031 0132 2031 0132 1 1 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 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559215320435 1.287449392883 11 9 1 10 0321 0321 0132 0132 1 1 1 1 0 -1 1 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 5 -5 0 0 0 0 0 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.934721161711 0.883243912097 8 4 2 12 0321 0132 0132 2031 1 1 0 1 0 0 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 0 0 0 0 0 0 0 0 -6 0 6 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054652008434 1.214609980793 7 12 10 2 0321 2031 1302 0132 1 1 0 1 0 0 0 0 0 0 -1 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 6 -6 -2 -1 0 3 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574039977504 0.594541018663 3 4 11 6 0132 0321 0321 0321 1 1 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 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572551002464 0.389951613628 8 3 6 5 2031 0132 0132 1302 1 1 1 1 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 1 0 0 -1 0 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220855466386 1.422932567290 6 12 9 3 0321 1302 0321 0132 1 1 1 1 0 -1 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 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 0 0 0 0.797764382468 0.782929614556 8 7 5 11 1302 1302 0132 2031 1 1 1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 6 0 0 -6 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.106760180438 1.088179113521 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0110_10'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_10']), 'c_1100_8' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_1001_9'], 'c_1100_3' : d['c_1001_9'], 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0011_12'], '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_1001_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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0110_10']), 'c_0101_12' : negation(d['c_0011_8']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0011_4'], '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_10'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : negation(d['c_0011_11'])})} 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_0011_12, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_5, c_0110_10, c_1001_0, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 17552470150958217861547609438615034049/4506554043289593960240874812\ 747086*c_1001_9^14 + 437187070243964128604088534995137921273/270393\ 24259737563761445248876482516*c_1001_9^13 - 7916047066713171732836068219419066861/32189671737782814001720534376\ 7649*c_1001_9^12 - 5176403463156269652209282598468202869/2253277021\ 644796980120437406373543*c_1001_9^11 - 3054788632223741342023936536652288962997/27039324259737563761445248\ 876482516*c_1001_9^10 + 713340597344586266333822819931377408341/675\ 9831064934390940361312219120629*c_1001_9^9 - 2210288136260212079173959976189907681653/13519662129868781880722624\ 438241258*c_1001_9^8 + 990421880429236058157666418899792146999/6759\ 831064934390940361312219120629*c_1001_9^7 - 5531671277514351949044545842867707316057/27039324259737563761445248\ 876482516*c_1001_9^6 + 2936308662152132781444921865181311502311/135\ 19662129868781880722624438241258*c_1001_9^5 - 1097469777970230190976519004215872575059/67598310649343909403613122\ 19120629*c_1001_9^4 + 785303598321825477128000192148990048554/67598\ 31064934390940361312219120629*c_1001_9^3 - 12232330999141224412504853854299038072/1648739284130339253746661516\ 85869*c_1001_9^2 + 1290975834098991941497548959933368766443/2703932\ 4259737563761445248876482516*c_1001_9 - 36359466029444572975927159487260174785/2253277021644796980120437406\ 373543, c_0011_0 - 1, c_0011_10 + 1745396701043056731836235468/1152714645168067938940971899*c\ _1001_9^14 + 7979938359765992764747123225/1152714645168067938940971\ 899*c_1001_9^13 - 7595010092786830662319454666/11527146451680679389\ 40971899*c_1001_9^12 - 3928323679004405975249416825/115271464516806\ 7938940971899*c_1001_9^11 - 52623033901354492045178348222/115271464\ 5168067938940971899*c_1001_9^10 + 25140035510599373322816697586/115\ 2714645168067938940971899*c_1001_9^9 - 64535397319065195651982312376/1152714645168067938940971899*c_1001_9\ ^8 + 39634730946268190354053809784/1152714645168067938940971899*c_1\ 001_9^7 - 78285787911609574315427321488/115271464516806793894097189\ 9*c_1001_9^6 + 65575292714597973375294329247/1152714645168067938940\ 971899*c_1001_9^5 - 48528197285869091037993297799/11527146451680679\ 38940971899*c_1001_9^4 + 34938508135580462701502654188/115271464516\ 8067938940971899*c_1001_9^3 - 21482825789377261904163108870/1152714\ 645168067938940971899*c_1001_9^2 + 14358171078483112340749115537/1152714645168067938940971899*c_1001_9 - 2552558191449874723105894832/1152714645168067938940971899, c_0011_11 - 356206320937611651737342889/1152714645168067938940971899*c_\ 1001_9^14 - 1247878864335777986733407994/11527146451680679389409718\ 99*c_1001_9^13 + 3483331204700311671796083714/115271464516806793894\ 0971899*c_1001_9^12 + 81591773914179718734337819/115271464516806793\ 8940971899*c_1001_9^11 + 9291937529378194974560955715/1152714645168\ 067938940971899*c_1001_9^10 - 17290282339232779762710606164/1152714\ 645168067938940971899*c_1001_9^9 + 12771513684350861716324973282/1152714645168067938940971899*c_1001_9\ ^8 - 21010573680102354067671899302/1152714645168067938940971899*c_1\ 001_9^7 + 18486637885534362906483363222/115271464516806793894097189\ 9*c_1001_9^6 - 28186619422854828792384358965/1152714645168067938940\ 971899*c_1001_9^5 + 16829790748553040726442383024/11527146451680679\ 38940971899*c_1001_9^4 - 14327299301837090857843308001/115271464516\ 8067938940971899*c_1001_9^3 + 7606835018134327895277042461/11527146\ 45168067938940971899*c_1001_9^2 - 6783730114338374156609122518/1152\ 714645168067938940971899*c_1001_9 + 2094058088751581507704670871/1152714645168067938940971899, c_0011_12 - 728114750912442471977878263/1152714645168067938940971899*c_\ 1001_9^14 - 6845869890435918646438212225/23054292903361358778819437\ 98*c_1001_9^13 + 2717211634906586443955663501/115271464516806793894\ 0971899*c_1001_9^12 + 1888671057391413493074209200/1152714645168067\ 938940971899*c_1001_9^11 + 43838133138011370297828961009/2305429290\ 336135877881943798*c_1001_9^10 - 7622857209333854628081783759/11527\ 14645168067938940971899*c_1001_9^9 + 26479035789405247901494227250/1152714645168067938940971899*c_1001_9\ ^8 - 11395859875024115928837876847/1152714645168067938940971899*c_1\ 001_9^7 + 64079536148993215099276982419/230542929033613587788194379\ 8*c_1001_9^6 - 21232751114274657179638591992/1152714645168067938940\ 971899*c_1001_9^5 + 18840803854713703602833882772/11527146451680679\ 38940971899*c_1001_9^4 - 9336969927267295140046574652/1152714645168\ 067938940971899*c_1001_9^3 + 8259506266864320453596763986/115271464\ 5168067938940971899*c_1001_9^2 - 10281469825601886044686313979/2305\ 429290336135877881943798*c_1001_9 + 481586380273388854141223711/1152714645168067938940971899, c_0011_4 - 11148719466454289776630442439/2305429290336135877881943798*c\ _1001_9^14 - 24045059080988067519979620020/115271464516806793894097\ 1899*c_1001_9^13 + 62316111436043789907294653653/230542929033613587\ 7881943798*c_1001_9^12 + 15401833917002117208521515133/230542929033\ 6135877881943798*c_1001_9^11 + 163408383522190093517016632585/11527\ 14645168067938940971899*c_1001_9^10 - 248466404395995666548587124765/2305429290336135877881943798*c_1001_\ 9^9 + 218197121470671620359475660349/1152714645168067938940971899*c\ _1001_9^8 - 351301934565059157285495158725/230542929033613587788194\ 3798*c_1001_9^7 + 270236716021709390278820374613/115271464516806793\ 8940971899*c_1001_9^6 - 542591711958234808560846753941/230542929033\ 6135877881943798*c_1001_9^5 + 196191424992929315940341444782/115271\ 4645168067938940971899*c_1001_9^4 - 141941037287692521429874069184/1152714645168067938940971899*c_1001_\ 9^3 + 183560827539167622922844230277/2305429290336135877881943798*c\ _1001_9^2 - 61019422431313807405082714771/1152714645168067938940971\ 899*c_1001_9 + 35386405884400912253694012857/2305429290336135877881\ 943798, c_0011_6 - 2924852980438248107141934126/1152714645168067938940971899*c_\ 1001_9^14 - 24433611348065212586656011707/2305429290336135877881943\ 798*c_1001_9^13 + 18002266201326652848652814608/1152714645168067938\ 940971899*c_1001_9^12 + 2645988929202434344963456243/23054292903361\ 35877881943798*c_1001_9^11 + 84730935499444814002192895609/11527146\ 45168067938940971899*c_1001_9^10 - 152006464291267803686013714559/2305429290336135877881943798*c_1001_\ 9^9 + 126218837310919786533610536430/1152714645168067938940971899*c\ _1001_9^8 - 103818976635131252935788568941/115271464516806793894097\ 1899*c_1001_9^7 + 309056035727685418808595671331/230542929033613587\ 7881943798*c_1001_9^6 - 159225996845406884970370808457/115271464516\ 8067938940971899*c_1001_9^5 + 242609263764674816604173409339/230542\ 9290336135877881943798*c_1001_9^4 - 171746289733913494223126335575/2305429290336135877881943798*c_1001_\ 9^3 + 107596747664774315358459239553/2305429290336135877881943798*c\ _1001_9^2 - 37435133704703297828306455273/1152714645168067938940971\ 899*c_1001_9 + 23689011570415167745431430805/2305429290336135877881\ 943798, c_0011_8 - 2211924848675702014890500229/2305429290336135877881943798*c_\ 1001_9^14 - 5170561986876274722481893244/11527146451680679389409718\ 99*c_1001_9^13 + 4108739366850884850460757330/115271464516806793894\ 0971899*c_1001_9^12 + 2015414380109824009473130976/1152714645168067\ 938940971899*c_1001_9^11 + 67609442296930747145398568251/2305429290\ 336135877881943798*c_1001_9^10 - 22290746363633205329451239899/2305\ 429290336135877881943798*c_1001_9^9 + 45582439823285050812009246802/1152714645168067938940971899*c_1001_9\ ^8 - 39808863333143151798090206773/2305429290336135877881943798*c_1\ 001_9^7 + 49865261244025492045282389610/115271464516806793894097189\ 9*c_1001_9^6 - 39525312545876414964098932654/1152714645168067938940\ 971899*c_1001_9^5 + 61116691482301871091432318795/23054292903361358\ 77881943798*c_1001_9^4 - 43438830203568892904040371845/230542929033\ 6135877881943798*c_1001_9^3 + 12390119824664210026118691665/1152714\ 645168067938940971899*c_1001_9^2 - 18369813704076240754470929511/2305429290336135877881943798*c_1001_9 + 3461962645816497298681159805/2305429290336135877881943798, c_0101_0 - 1, c_0101_5 + 3665682408834679864727705751/1152714645168067938940971899*c_\ 1001_9^14 + 16192296123618104825997127537/1152714645168067938940971\ 899*c_1001_9^13 - 18585039208132775459518387627/1152714645168067938\ 940971899*c_1001_9^12 - 5859694395695241429727488284/11527146451680\ 67938940971899*c_1001_9^11 - 108555104825545885840354726529/1152714\ 645168067938940971899*c_1001_9^10 + 69418830598403213896246552229/1152714645168067938940971899*c_1001_9\ ^9 - 143370932378210718117752770269/1152714645168067938940971899*c_\ 1001_9^8 + 100965348208900570624262147771/1152714645168067938940971\ 899*c_1001_9^7 - 174000156409072108897908782488/1152714645168067938\ 940971899*c_1001_9^6 + 161892542934478278660374781941/1152714645168\ 067938940971899*c_1001_9^5 - 120536999567166630240225318697/1152714\ 645168067938940971899*c_1001_9^4 + 84938866914081983419545459449/1152714645168067938940971899*c_1001_9\ ^3 - 54257488241392477095511675696/1152714645168067938940971899*c_1\ 001_9^2 + 35628922343632191346368387597/115271464516806793894097189\ 9*c_1001_9 - 9117493109331747603306636428/1152714645168067938940971\ 899, c_0110_10 - 5119439968993657714564911273/2305429290336135877881943798*c\ _1001_9^14 - 11021734136741830103515234293/115271464516806793894097\ 1899*c_1001_9^13 + 14476299841281890609057630297/115271464516806793\ 8940971899*c_1001_9^12 + 3844280015585417420254357308/1152714645168\ 067938940971899*c_1001_9^11 + 149500767354161024535310884807/230542\ 9290336135877881943798*c_1001_9^10 - 116546914833173222463041864559/2305429290336135877881943798*c_1001_\ 9^9 + 97788492554925667305743523467/1152714645168067938940971899*c_\ 1001_9^8 - 162121833084657989450434088769/2305429290336135877881943\ 798*c_1001_9^7 + 124134895165046616852626392878/1152714645168067938\ 940971899*c_1001_9^6 - 122367230388601863696275849287/1152714645168\ 067938940971899*c_1001_9^5 + 179957307652031389389018318599/2305429\ 290336135877881943798*c_1001_9^4 - 126438903624595073935050547053/2305429290336135877881943798*c_1001_\ 9^3 + 41867368416728267069392984031/1152714645168067938940971899*c_\ 1001_9^2 - 52888030983188141938265845683/23054292903361358778819437\ 98*c_1001_9 + 14773023572846997907932113051/23054292903361358778819\ 43798, c_1001_0 + 728114750912442471977878263/1152714645168067938940971899*c_1\ 001_9^14 + 6845869890435918646438212225/230542929033613587788194379\ 8*c_1001_9^13 - 2717211634906586443955663501/1152714645168067938940\ 971899*c_1001_9^12 - 1888671057391413493074209200/11527146451680679\ 38940971899*c_1001_9^11 - 43838133138011370297828961009/23054292903\ 36135877881943798*c_1001_9^10 + 7622857209333854628081783759/115271\ 4645168067938940971899*c_1001_9^9 - 26479035789405247901494227250/1152714645168067938940971899*c_1001_9\ ^8 + 11395859875024115928837876847/1152714645168067938940971899*c_1\ 001_9^7 - 64079536148993215099276982419/230542929033613587788194379\ 8*c_1001_9^6 + 21232751114274657179638591992/1152714645168067938940\ 971899*c_1001_9^5 - 18840803854713703602833882772/11527146451680679\ 38940971899*c_1001_9^4 + 9336969927267295140046574652/1152714645168\ 067938940971899*c_1001_9^3 - 8259506266864320453596763986/115271464\ 5168067938940971899*c_1001_9^2 + 7976040535265750166804370181/23054\ 29290336135877881943798*c_1001_9 - 481586380273388854141223711/1152714645168067938940971899, c_1001_3 + 635316049979563701882010023/1152714645168067938940971899*c_1\ 001_9^14 + 2924383011032765378537442682/115271464516806793894097189\ 9*c_1001_9^13 - 2616540734492351501919563556/1152714645168067938940\ 971899*c_1001_9^12 - 1054631429751694146301463472/11527146451680679\ 38940971899*c_1001_9^11 - 18347576409211746664375222967/11527146451\ 68067938940971899*c_1001_9^10 + 8556098154120072968559736324/115271\ 4645168067938940971899*c_1001_9^9 - 26076032053505726540896449587/1152714645168067938940971899*c_1001_9\ ^8 + 7687261635596400955577720591/1152714645168067938940971899*c_10\ 01_9^7 - 33471643746752358682809328748/1152714645168067938940971899\ *c_1001_9^6 + 18433089410253790827820365104/11527146451680679389409\ 71899*c_1001_9^5 - 20344442505085831466108879600/115271464516806793\ 8940971899*c_1001_9^4 + 8436932212720361701711870087/11527146451680\ 67938940971899*c_1001_9^3 - 8326390232529645793795073362/1152714645\ 168067938940971899*c_1001_9^2 + 5274696366649797988196201909/115271\ 4645168067938940971899*c_1001_9 - 69166809240436544730084521/115271\ 4645168067938940971899, c_1001_9^15 + 101/27*c_1001_9^14 - 217/27*c_1001_9^13 + 52/27*c_1001_9^12 - 773/27*c_1001_9^11 + 39*c_1001_9^10 - 473/9*c_1001_9^9 + 1465/27*c_1001_9^8 - 605/9*c_1001_9^7 + 2071/27*c_1001_9^6 - 1723/27*c_1001_9^5 + 1250/27*c_1001_9^4 - 281/9*c_1001_9^3 + 551/27*c_1001_9^2 - 257/27*c_1001_9 + 49/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.420 seconds, Total memory usage: 32.09MB