Magma V2.19-8 Tue Aug 20 2013 17:56:51 on localhost [Seed = 728407862] Type ? for help. Type -D to quit. Loading file "10_54__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_54 geometric_solution 10.59131113 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477735946739 0.325441740331 0 5 6 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771729920140 0.849521747994 7 0 7 8 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.425403164217 0.472722512442 8 1 6 0 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.029568810933 0.965544207374 9 5 0 5 0132 3012 0132 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 1 -1 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.615882034127 1.678973513074 4 1 10 4 1230 0132 0132 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 -1 1 -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.807432320399 0.524964223031 9 3 8 1 3120 0213 2031 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.093482726641 0.823324273185 2 2 10 11 0132 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037875133899 0.853862935443 10 3 2 6 1023 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.513997471561 0.761429378106 4 11 11 6 0132 1023 0213 3120 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 1 -1 0 0 1 5 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722235427616 1.096856748864 11 8 7 5 3012 1023 1023 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 1 -1 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.955075214713 0.862447702733 9 9 7 10 1023 0213 0132 1230 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 0 1 0 0 -1 -5 6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581244517912 0.635962677943 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0110_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0110_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0110_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0110_8'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_10'], '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' : negation(d['c_0011_10']), '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_0011_10'], 'c_0110_10' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], '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_0101_7'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_11'], '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_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_0110_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1668369298149249954441060209453778137180844659965239/68636830731089\ 931107886691327829824886405472917552*c_1001_1^25 + 1415903068789757691541295005414097165153401661567553/36124647753205\ 22689888773227780517099284498574608*c_1001_1^24 - 209912361003363911147197506528243523162809820164522345/686368307310\ 89931107886691327829824886405472917552*c_1001_1^23 + 1038948565865885234453857510960597448122410068006482417/68636830731\ 089931107886691327829824886405472917552*c_1001_1^22 - 454371392213702631235656436420418065943096102867493707/857960384138\ 6241388485836415978728110800684114694*c_1001_1^21 + 4729436485493509348821602395148430254992508319966517495/34318415365\ 544965553943345663914912443202736458776*c_1001_1^20 - 4659215574566527883937403006000597517824822834869667793/17159207682\ 772482776971672831957456221601368229388*c_1001_1^19 + 1710547362103400747647333312225482858084929781671715866/42898019206\ 93120694242918207989364055400342057347*c_1001_1^18 - 630176976530766518142251972941063713566951679126522425/155992797116\ 1134797906515711996132383781942566308*c_1001_1^17 + 6631047583319850610679402299619019475521008449655847121/34318415365\ 544965553943345663914912443202736458776*c_1001_1^16 + 12171763171149681907521833055806102299213529171279340833/6863683073\ 1089931107886691327829824886405472917552*c_1001_1^15 - 32966188967399675179183344078885401387919634910506853861/6863683073\ 1089931107886691327829824886405472917552*c_1001_1^14 + 8532135895464574326597012925138391164340687433834754159/17159207682\ 772482776971672831957456221601368229388*c_1001_1^13 - 8269479292751466666121724237521482759220586080482249623/34318415365\ 544965553943345663914912443202736458776*c_1001_1^12 - 236573758226477360398656681173751046141875998059179602/428980192069\ 3120694242918207989364055400342057347*c_1001_1^11 + 300231315869045012519512521849518717412122286519390641/155992797116\ 1134797906515711996132383781942566308*c_1001_1^10 - 5637865514013218326078941379808503894526505454199486945/34318415365\ 544965553943345663914912443202736458776*c_1001_1^9 + 4611459718335411161276348068748370706273380251397702161/68636830731\ 089931107886691327829824886405472917552*c_1001_1^8 + 225916770808395353691166051920632308338721741254815779/686368307310\ 89931107886691327829824886405472917552*c_1001_1^7 - 1454680334221044611340371230980501237750504024445220977/68636830731\ 089931107886691327829824886405472917552*c_1001_1^6 + 973421113371237207744572601996129372184493628367191643/686368307310\ 89931107886691327829824886405472917552*c_1001_1^5 - 338653076881753663818965717920453478616934696048712337/686368307310\ 89931107886691327829824886405472917552*c_1001_1^4 - 37821760288798421857722089456541968318824536701019477/6863683073108\ 9931107886691327829824886405472917552*c_1001_1^3 + 100042126273739302706033642220611725200900184995656523/686368307310\ 89931107886691327829824886405472917552*c_1001_1^2 - 35887125531013646451383337389303968217569554665515705/6863683073108\ 9931107886691327829824886405472917552*c_1001_1 + 1012293915907772427875349528419505846946206854650619/34318415365544\ 965553943345663914912443202736458776, c_0011_0 - 1, c_0011_10 + 560490767948842809607461999127008629/8824251356732506783362\ 823457732522668*c_1001_1^25 - 4573697278125143262277910700703649457\ /4412125678366253391681411728866261334*c_1001_1^24 + 36069425706500091310961643741402996825/4412125678366253391681411728\ 866261334*c_1001_1^23 - 90141066433215051781801712365648586866/2206\ 062839183126695840705864433130667*c_1001_1^22 + 1272791620556011764873991714723493011233/88242513567325067833628234\ 57732522668*c_1001_1^21 - 834810514346609419501629236831450314582/2\ 206062839183126695840705864433130667*c_1001_1^20 + 3315069602207151393432649232863780827683/44121256783662533916814117\ 28866261334*c_1001_1^19 - 2452981204451877257233169944690484243065/\ 2206062839183126695840705864433130667*c_1001_1^18 + 2506823524725512535196067286445343002972/22060628391831266958407058\ 64433130667*c_1001_1^17 - 2443403188346654309059275334612875704257/\ 4412125678366253391681411728866261334*c_1001_1^16 - 4299623594189786566997929248567089802369/88242513567325067833628234\ 57732522668*c_1001_1^15 + 5940032769828801566428582416481953647523/\ 4412125678366253391681411728866261334*c_1001_1^14 - 12327822630808979324524676981907326880925/8824251356732506783362823\ 457732522668*c_1001_1^13 + 1475864461079611306940952020136256288942\ /2206062839183126695840705864433130667*c_1001_1^12 + 750312384093778576310929831993401414643/441212567836625339168141172\ 8866261334*c_1001_1^11 - 1209251968120363911075847980761185169432/2\ 206062839183126695840705864433130667*c_1001_1^10 + 2018704943224842662538539011738645739021/44121256783662533916814117\ 28866261334*c_1001_1^9 - 1599448475502432606002985005484037418953/8\ 824251356732506783362823457732522668*c_1001_1^8 - 85969266690837876886891212251308303713/4412125678366253391681411728\ 866261334*c_1001_1^7 + 288569349247801806631532882779014940367/4412\ 125678366253391681411728866261334*c_1001_1^6 - 181730186966683211213004344883895115999/441212567836625339168141172\ 8866261334*c_1001_1^5 + 46122744849432657317524721493724577077/4412\ 125678366253391681411728866261334*c_1001_1^4 + 19716442365386394278323742786780602559/4412125678366253391681411728\ 866261334*c_1001_1^3 - 25840473678258775618231503615950072963/44121\ 25678366253391681411728866261334*c_1001_1^2 + 992709228740185944003169550470072297/441212567836625339168141172886\ 6261334*c_1001_1 + 7500175032240597184211487880289462257/8824251356\ 732506783362823457732522668, c_0011_11 - 253628197313335355496456485731538955/4412125678366253391681\ 411728866261334*c_1001_1^25 + 1974379514753314277406342524032235013\ /2206062839183126695840705864433130667*c_1001_1^24 - 14770224574704720821137289009005543944/2206062839183126695840705864\ 433130667*c_1001_1^23 + 69368735830840351816818598067246652459/2206\ 062839183126695840705864433130667*c_1001_1^22 - 454131204532594848984192701773734780249/441212567836625339168141172\ 8866261334*c_1001_1^21 + 540868191350237887235605267333134360866/22\ 06062839183126695840705864433130667*c_1001_1^20 - 937454270739760687253467336101126925428/220606283918312669584070586\ 4433130667*c_1001_1^19 + 1101930355797069128296077328058926777779/2\ 206062839183126695840705864433130667*c_1001_1^18 - 605984453042628152038027278734334579433/220606283918312669584070586\ 4433130667*c_1001_1^17 - 623261351945635859215466354246122886207/22\ 06062839183126695840705864433130667*c_1001_1^16 + 3795554020654927652344355474335541405741/44121256783662533916814117\ 28866261334*c_1001_1^15 - 2142917411472338625399952028844028676972/\ 2206062839183126695840705864433130667*c_1001_1^14 + 2002559452698130360620251642250831758295/44121256783662533916814117\ 28866261334*c_1001_1^13 + 603165613999941612923821201060216340793/2\ 206062839183126695840705864433130667*c_1001_1^12 - 1374036742495520941040957642388145712774/22060628391831266958407058\ 64433130667*c_1001_1^11 + 1048391458611307494663832395389516470702/\ 2206062839183126695840705864433130667*c_1001_1^10 - 333070444181648608221304423101231117663/220606283918312669584070586\ 4433130667*c_1001_1^9 - 399008209709126949656187770433833625687/441\ 2125678366253391681411728866261334*c_1001_1^8 + 326799757874178142679538722459203231162/220606283918312669584070586\ 4433130667*c_1001_1^7 - 180152623071588899388164495415953913833/220\ 6062839183126695840705864433130667*c_1001_1^6 + 51139963598698396700491645856538851176/2206062839183126695840705864\ 433130667*c_1001_1^5 + 11604041998165990115037191470729047572/22060\ 62839183126695840705864433130667*c_1001_1^4 - 25873932404437469225673617612433448495/2206062839183126695840705864\ 433130667*c_1001_1^3 + 13780589774849607006149318530650072523/22060\ 62839183126695840705864433130667*c_1001_1^2 + 2507471540864742532220206922117208108/22060628391831266958407058644\ 33130667*c_1001_1 - 4043798943338422814454379720811163753/441212567\ 8366253391681411728866261334, c_0011_3 + 275551745820940613302886213681329546/22060628391831266958407\ 05864433130667*c_1001_1^25 - 4655575774103447459928215183133324960/\ 2206062839183126695840705864433130667*c_1001_1^24 + 38002356165439018490837801550783795880/2206062839183126695840705864\ 433130667*c_1001_1^23 - 196868063666259759953247105500248804309/220\ 6062839183126695840705864433130667*c_1001_1^22 + 721554444154558458948022017379580602908/220606283918312669584070586\ 4433130667*c_1001_1^21 - 1971473866045161419937827736512433228091/2\ 206062839183126695840705864433130667*c_1001_1^20 + 4099728611560753649411654977134308962855/22060628391831266958407058\ 64433130667*c_1001_1^19 - 6431605796487820719396507658909923427545/\ 2206062839183126695840705864433130667*c_1001_1^18 + 7187354016251744823959470048130079428334/22060628391831266958407058\ 64433130667*c_1001_1^17 - 4497402924333474977726881182046946412357/\ 2206062839183126695840705864433130667*c_1001_1^16 - 1450550545810882678137497145404975503741/22060628391831266958407058\ 64433130667*c_1001_1^15 + 7348967348973763342649033472864783272469/\ 2206062839183126695840705864433130667*c_1001_1^14 - 9022690952702744731480756201257736900407/22060628391831266958407058\ 64433130667*c_1001_1^13 + 5482664415822934266473904734468365472188/\ 2206062839183126695840705864433130667*c_1001_1^12 - 77952897523047371639312044762874779499/2206062839183126695840705864\ 433130667*c_1001_1^11 - 3131381436801459221719158163509722759433/22\ 06062839183126695840705864433130667*c_1001_1^10 + 3157266642925691510183853478061824552982/22060628391831266958407058\ 64433130667*c_1001_1^9 - 1551036106097534970466990655596841798610/2\ 206062839183126695840705864433130667*c_1001_1^8 + 109104037534325739646821400166013078230/220606283918312669584070586\ 4433130667*c_1001_1^7 + 384746717357434993627639993863191054725/220\ 6062839183126695840705864433130667*c_1001_1^6 - 290314435234576454392347216275507914708/220606283918312669584070586\ 4433130667*c_1001_1^5 + 112061271663948295453503039317335799184/220\ 6062839183126695840705864433130667*c_1001_1^4 + 381954873871504128723491501274844441/220606283918312669584070586443\ 3130667*c_1001_1^3 - 31471843397194354889500502161059699836/2206062\ 839183126695840705864433130667*c_1001_1^2 + 19425708504936821097400591482067640249/2206062839183126695840705864\ 433130667*c_1001_1 - 2989827083171581093414914867234934260/22060628\ 39183126695840705864433130667, c_0101_0 + 783764243988454397574209002801803593/22060628391831266958407\ 05864433130667*c_1001_1^25 - 13048440401982784145458666833949331535\ /2206062839183126695840705864433130667*c_1001_1^24 + 105071418384280168200461045209119178060/220606283918312669584070586\ 4433130667*c_1001_1^23 - 537280598922086509328631606505740041382/22\ 06062839183126695840705864433130667*c_1001_1^22 + 1945159615154186108617066099157080415360/22060628391831266958407058\ 64433130667*c_1001_1^21 - 5253080387769429413760173210978568186531/\ 2206062839183126695840705864433130667*c_1001_1^20 + 10802315782478668351726630591151361730623/2206062839183126695840705\ 864433130667*c_1001_1^19 - 1675937297794797168762834342343289186124\ 7/2206062839183126695840705864433130667*c_1001_1^18 + 18514042561176705846595416482265881330459/2206062839183126695840705\ 864433130667*c_1001_1^17 - 1140823643661832421288621275234551261918\ 4/2206062839183126695840705864433130667*c_1001_1^16 - 3828852024211323376596080902657007947528/22060628391831266958407058\ 64433130667*c_1001_1^15 + 18689839231960429976326951599592971425580\ /2206062839183126695840705864433130667*c_1001_1^14 - 22831442394289650144741032598024267683182/2206062839183126695840705\ 864433130667*c_1001_1^13 + 1405054462607336427870638263222455907392\ 0/2206062839183126695840705864433130667*c_1001_1^12 - 694965355294063295206010625615450447838/220606283918312669584070586\ 4433130667*c_1001_1^11 - 7443769262526541800041728253094224946513/2\ 206062839183126695840705864433130667*c_1001_1^10 + 7911856760995863240101446685967689865937/22060628391831266958407058\ 64433130667*c_1001_1^9 - 4162307631682484108761684399104219202045/2\ 206062839183126695840705864433130667*c_1001_1^8 + 584721458771003262922728877038072992315/220606283918312669584070586\ 4433130667*c_1001_1^7 + 792546458292257974331531650609185811326/220\ 6062839183126695840705864433130667*c_1001_1^6 - 728198509106170250927736790115370047335/220606283918312669584070586\ 4433130667*c_1001_1^5 + 321021675076417975715535805909898887832/220\ 6062839183126695840705864433130667*c_1001_1^4 - 35286406205881131290448253209403276300/2206062839183126695840705864\ 433130667*c_1001_1^3 - 56049070693297212496619556700455014255/22060\ 62839183126695840705864433130667*c_1001_1^2 + 33435358961065123612276923927517718271/2206062839183126695840705864\ 433130667*c_1001_1 - 4580523273140792233636045316843710910/22060628\ 39183126695840705864433130667, c_0101_1 - 110356038539252591209818833354085470/22060628391831266958407\ 05864433130667*c_1001_1^25 + 1864439829319313264618252898428679648/\ 2206062839183126695840705864433130667*c_1001_1^24 - 15226969456870344512114336977141635541/2206062839183126695840705864\ 433130667*c_1001_1^23 + 78979598306005750212053720175507870102/2206\ 062839183126695840705864433130667*c_1001_1^22 - 290122446489728246911081767990000227249/220606283918312669584070586\ 4433130667*c_1001_1^21 + 795648659448643767855300893116582793184/22\ 06062839183126695840705864433130667*c_1001_1^20 - 1664780383424917408575886998904726427926/22060628391831266958407058\ 64433130667*c_1001_1^19 + 2639916649584894139071923244889919814395/\ 2206062839183126695840705864433130667*c_1001_1^18 - 3015533307589282395816314903589838475468/22060628391831266958407058\ 64433130667*c_1001_1^17 + 2022994083225894711318199568108919635846/\ 2206062839183126695840705864433130667*c_1001_1^16 + 323249828707998463616013980350052632899/220606283918312669584070586\ 4433130667*c_1001_1^15 - 2770538057322793351274552507440734974331/2\ 206062839183126695840705864433130667*c_1001_1^14 + 3652292993358251134039266978554311198463/22060628391831266958407058\ 64433130667*c_1001_1^13 - 2459219247299047053912611313657068131188/\ 2206062839183126695840705864433130667*c_1001_1^12 + 367248074889121913372943056526285204833/220606283918312669584070586\ 4433130667*c_1001_1^11 + 1055180800342145260563076925933759432161/2\ 206062839183126695840705864433130667*c_1001_1^10 - 1286665209034704828962981603304894343810/22060628391831266958407058\ 64433130667*c_1001_1^9 + 767866976445528504279017943286430454715/22\ 06062839183126695840705864433130667*c_1001_1^8 - 164585330342359449388040729673477099298/220606283918312669584070586\ 4433130667*c_1001_1^7 - 121115221079148421031000996948719703963/220\ 6062839183126695840705864433130667*c_1001_1^6 + 138131612510970471472917883123328354739/220606283918312669584070586\ 4433130667*c_1001_1^5 - 70310398654147789924996363257207264945/2206\ 062839183126695840705864433130667*c_1001_1^4 + 6199682672898518780218085133608664349/22060628391831266958407058644\ 33130667*c_1001_1^3 + 14150834656938191333490687645851716089/220606\ 2839183126695840705864433130667*c_1001_1^2 - 8143527176015995999080936396540465969/22060628391831266958407058644\ 33130667*c_1001_1 + 2626930164771642353774820023108018535/220606283\ 9183126695840705864433130667, c_0101_10 + 624817417607472515560489616705060191/8824251356732506783362\ 823457732522668*c_1001_1^25 - 4832690007346046419862588474715010589\ /4412125678366253391681411728866261334*c_1001_1^24 + 35947036909583674637445407850796835629/4412125678366253391681411728\ 866261334*c_1001_1^23 - 83996243630313957909036937897148734466/2206\ 062839183126695840705864433130667*c_1001_1^22 + 1095975805032956969036522075906232897659/88242513567325067833628234\ 57732522668*c_1001_1^21 - 652222453960298041775194641207794406292/2\ 206062839183126695840705864433130667*c_1001_1^20 + 2273794230641420507792129468715464095995/44121256783662533916814117\ 28866261334*c_1001_1^19 - 1370053943323171797371039687853426466395/\ 2206062839183126695840705864433130667*c_1001_1^18 + 870459856521629086237714268618993779120/220606283918312669584070586\ 4433130667*c_1001_1^17 + 873247102924056166247714669035761885897/44\ 12125678366253391681411728866261334*c_1001_1^16 - 7148838010507972198789138098113977875999/88242513567325067833628234\ 57732522668*c_1001_1^15 + 4076607607110616830395267265787270242227/\ 4412125678366253391681411728866261334*c_1001_1^14 - 3541601670691474610580038211674491758463/88242513567325067833628234\ 57732522668*c_1001_1^13 - 621820291168467973019101836477323334955/2\ 206062839183126695840705864433130667*c_1001_1^12 + 2368874844989191288225358746276534992729/44121256783662533916814117\ 28866261334*c_1001_1^11 - 728270222061988625324867302758696562564/2\ 206062839183126695840705864433130667*c_1001_1^10 + 175239187015321294279199333349553731435/441212567836625339168141172\ 8866261334*c_1001_1^9 + 1067476804348356924362320489618080022025/88\ 24251356732506783362823457732522668*c_1001_1^8 - 505065097806931653071508306728399166775/441212567836625339168141172\ 8866261334*c_1001_1^7 + 158982352556289996659269676757788788919/441\ 2125678366253391681411728866261334*c_1001_1^6 + 14746460870020381848873183106221049627/4412125678366253391681411728\ 866261334*c_1001_1^5 - 84528451030128982605707927063999857709/44121\ 25678366253391681411728866261334*c_1001_1^4 + 68359926159046484492395746772946912485/4412125678366253391681411728\ 866261334*c_1001_1^3 - 25017163545827168862507085592412426201/44121\ 25678366253391681411728866261334*c_1001_1^2 - 12156611104338076910825749049022541843/4412125678366253391681411728\ 866261334*c_1001_1 + 16663047815713799631241982614431251327/8824251\ 356732506783362823457732522668, c_0101_11 - 157824080595710669798960305495106307/4412125678366253391681\ 411728866261334*c_1001_1^25 + 2798604487722735635431974657272933877\ /4412125678366253391681411728866261334*c_1001_1^24 - 23974900114550626310499666349636253021/4412125678366253391681411728\ 866261334*c_1001_1^23 + 130622410709567559518219035370095183199/441\ 2125678366253391681411728866261334*c_1001_1^22 - 252500512454849419291417944138880315253/220606283918312669584070586\ 4433130667*c_1001_1^21 + 731141579971203831537435168889047493311/22\ 06062839183126695840705864433130667*c_1001_1^20 - 1624358185492251061396008833773414495042/22060628391831266958407058\ 64433130667*c_1001_1^19 + 2765426434100116282033415120943299149106/\ 2206062839183126695840705864433130667*c_1001_1^18 - 3476808942353525209626816212159590630828/22060628391831266958407058\ 64433130667*c_1001_1^17 + 2809172969240414312178174859288818355925/\ 2206062839183126695840705864433130667*c_1001_1^16 - 818964029775181683189446844841523144367/441212567836625339168141172\ 8866261334*c_1001_1^15 - 5344790884891977943779214659413013366951/4\ 412125678366253391681411728866261334*c_1001_1^14 + 4417576699550607472485977925206436422302/22060628391831266958407058\ 64433130667*c_1001_1^13 - 3584440029017342405140888288098509493583/\ 2206062839183126695840705864433130667*c_1001_1^12 + 1011037018372193414475460037371194049573/22060628391831266958407058\ 64433130667*c_1001_1^11 + 1219503917666630042945591300133691448618/\ 2206062839183126695840705864433130667*c_1001_1^10 - 1836336734067592548588565165280932495209/22060628391831266958407058\ 64433130667*c_1001_1^9 + 2326077752650999815858619177195972267097/4\ 412125678366253391681411728866261334*c_1001_1^8 - 490622199101397755460078947936681444523/441212567836625339168141172\ 8866261334*c_1001_1^7 - 429216739804048498981673213709140451365/441\ 2125678366253391681411728866261334*c_1001_1^6 + 452042610035491351267337872022889863605/441212567836625339168141172\ 8866261334*c_1001_1^5 - 186212478689973721251604572729193162481/441\ 2125678366253391681411728866261334*c_1001_1^4 + 10532501234675590988210772436874939461/4412125678366253391681411728\ 866261334*c_1001_1^3 + 30878242684193838744187552233137297795/44121\ 25678366253391681411728866261334*c_1001_1^2 - 22360108711967022564231029841370011783/4412125678366253391681411728\ 866261334*c_1001_1 + 2125362575341523969785324888476729835/22060628\ 39183126695840705864433130667, c_0101_5 + 25808814057575298383076285166837695/882425135673250678336282\ 3457732522668*c_1001_1^25 - 264473723763637092925809093750051149/22\ 06062839183126695840705864433130667*c_1001_1^24 + 3431578808416808401735086998274207743/22060628391831266958407058644\ 33130667*c_1001_1^23 - 49418468978560884946101779700440717359/44121\ 25678366253391681411728866261334*c_1001_1^22 + 470970882232745186771457788473340187881/882425135673250678336282345\ 7732522668*c_1001_1^21 - 404013783203263142269428376864430926872/22\ 06062839183126695840705864433130667*c_1001_1^20 + 2082894533599371925873765487092525774853/44121256783662533916814117\ 28866261334*c_1001_1^19 - 2046103020830894650048894080752185401240/\ 2206062839183126695840705864433130667*c_1001_1^18 + 3014627459400536523609462473647394891565/22060628391831266958407058\ 64433130667*c_1001_1^17 - 6185063773690569911241774198956627255229/\ 4412125678366253391681411728866261334*c_1001_1^16 + 6243653028215819609024986884969757898637/88242513567325067833628234\ 57732522668*c_1001_1^15 + 1212236155299971673107147012487069853688/\ 2206062839183126695840705864433130667*c_1001_1^14 - 14260284597571557783627489494776209874801/8824251356732506783362823\ 457732522668*c_1001_1^13 + 3821596605803022114891248952213716075078\ /2206062839183126695840705864433130667*c_1001_1^12 - 3936208437885875837751579855384214325741/44121256783662533916814117\ 28866261334*c_1001_1^11 - 303670149895535126454566416228221101902/2\ 206062839183126695840705864433130667*c_1001_1^10 + 2850981018060007972922037281908379962019/44121256783662533916814117\ 28866261334*c_1001_1^9 - 5005292847984362340914540180800728656007/8\ 824251356732506783362823457732522668*c_1001_1^8 + 515663539581729048542366846486378643954/220606283918312669584070586\ 4433130667*c_1001_1^7 + 25158142384305719690173455640620599508/2206\ 062839183126695840705864433130667*c_1001_1^6 - 148291818894418646993904408583926741782/220606283918312669584070586\ 4433130667*c_1001_1^5 + 89090978656038823882985095298263281510/2206\ 062839183126695840705864433130667*c_1001_1^4 - 21781172143373036530422989156858256196/2206062839183126695840705864\ 433130667*c_1001_1^3 - 5664445972144637267577094224383208902/220606\ 2839183126695840705864433130667*c_1001_1^2 + 8985228345235850796035142425626288577/22060628391831266958407058644\ 33130667*c_1001_1 - 8552773905980850746406823958065792367/882425135\ 6732506783362823457732522668, c_0101_7 + 616191714994974293123691415676086219/88242513567325067833628\ 23457732522668*c_1001_1^25 - 2426147291548242001857006562639189496/\ 2206062839183126695840705864433130667*c_1001_1^24 + 18332572820189401113420805658277684854/2206062839183126695840705864\ 433130667*c_1001_1^23 - 173690052910342436675949363444825359787/441\ 2125678366253391681411728866261334*c_1001_1^22 + 1144372075573806332140289881907057993277/88242513567325067833628234\ 57732522668*c_1001_1^21 - 683468648148361019694851821861499544144/2\ 206062839183126695840705864433130667*c_1001_1^20 + 2360991129920025872259784813029465814573/44121256783662533916814117\ 28866261334*c_1001_1^19 - 1359690510098945595760157774882778791576/\ 2206062839183126695840705864433130667*c_1001_1^18 + 655389700875762036879573571637133206533/220606283918312669584070586\ 4433130667*c_1001_1^17 + 2014557259193094107267128019654581397711/4\ 412125678366253391681411728866261334*c_1001_1^16 - 10631391474767874540985873585260105276119/8824251356732506783362823\ 457732522668*c_1001_1^15 + 2808031436665008903847258273668860183823\ /2206062839183126695840705864433130667*c_1001_1^14 - 4091534874235735617774115327117182141689/88242513567325067833628234\ 57732522668*c_1001_1^13 - 1273296537679578679174781118760193308018/\ 2206062839183126695840705864433130667*c_1001_1^12 + 4332984383009153356017099097375127320845/44121256783662533916814117\ 28866261334*c_1001_1^11 - 1376299850278042995554999622153473063967/\ 2206062839183126695840705864433130667*c_1001_1^10 + 340966266655569417325593995174152720455/441212567836625339168141172\ 8866261334*c_1001_1^9 + 2036139314603857227932922268054333081377/88\ 24251356732506783362823457732522668*c_1001_1^8 - 539364644338128877062805401456729238963/220606283918312669584070586\ 4433130667*c_1001_1^7 + 237844699297250820226616841756040874586/220\ 6062839183126695840705864433130667*c_1001_1^6 - 19733799217748691190973878774732725643/2206062839183126695840705864\ 433130667*c_1001_1^5 - 55270052036641073708221750780382638584/22060\ 62839183126695840705864433130667*c_1001_1^4 + 54946128321148597293486795148520684003/2206062839183126695840705864\ 433130667*c_1001_1^3 - 23934576793220584764321682459759995603/22060\ 62839183126695840705864433130667*c_1001_1^2 - 3783164006164595131540140389507245444/22060628391831266958407058644\ 33130667*c_1001_1 + 25665572775462031677925539191631471933/88242513\ 56732506783362823457732522668, c_0110_8 - 313800817413058316889349319985587265/88242513567325067833628\ 23457732522668*c_1001_1^25 + 2528198100163273168362375480932805193/\ 4412125678366253391681411728866261334*c_1001_1^24 - 19616008051244385188608840654858643721/4412125678366253391681411728\ 866261334*c_1001_1^23 + 47980251096854718239894627806598642226/2206\ 062839183126695840705864433130667*c_1001_1^22 - 658176258280383823427048265627151563517/882425135673250678336282345\ 7732522668*c_1001_1^21 + 414599644701991771564625080418471601935/22\ 06062839183126695840705864433130667*c_1001_1^20 - 1549534555592190749769592455295475787979/44121256783662533916814117\ 28866261334*c_1001_1^19 + 1032522195009961085132624795951530452252/\ 2206062839183126695840705864433130667*c_1001_1^18 - 823774414961843471331586357572128204769/220606283918312669584070586\ 4433130667*c_1001_1^17 - 83424470714627608821916487534871430169/441\ 2125678366253391681411728866261334*c_1001_1^16 + 4723961586949581149504465898977895758657/88242513567325067833628234\ 57732522668*c_1001_1^15 - 3472458758533836154964214370904205557665/\ 4412125678366253391681411728866261334*c_1001_1^14 + 4677900990394297230073704711028274466485/88242513567325067833628234\ 57732522668*c_1001_1^13 + 51675887648436872360157198539990199375/22\ 06062839183126695840705864433130667*c_1001_1^12 - 1730817606599106279239599361633879204653/44121256783662533916814117\ 28866261334*c_1001_1^11 + 789697267019449183892260899099142955086/2\ 206062839183126695840705864433130667*c_1001_1^10 - 551732183211261388098720310452699180889/441212567836625339168141172\ 8866261334*c_1001_1^9 - 409981212714160438699679368514038679599/882\ 4251356732506783362823457732522668*c_1001_1^8 + 332496061634534055074390778599071122691/441212567836625339168141172\ 8866261334*c_1001_1^7 - 119188953353250827092739940559630095115/441\ 2125678366253391681411728866261334*c_1001_1^6 - 20485295607268896203647342254531592357/4412125678366253391681411728\ 866261334*c_1001_1^5 + 28265064923555815047488012574267988863/44121\ 25678366253391681411728866261334*c_1001_1^4 - 6992673074874602192026040343069064275/44121256783662533916814117288\ 66261334*c_1001_1^3 - 1315482545378342756777051941643370981/4412125\ 678366253391681411728866261334*c_1001_1^2 + 6302139787041143679927002304732360273/44121256783662533916814117288\ 66261334*c_1001_1 - 8347247329672562230064062922519423337/882425135\ 6732506783362823457732522668, c_1001_1^26 - 17*c_1001_1^25 + 140*c_1001_1^24 - 734*c_1001_1^23 + 2733*c_1001_1^22 - 7623*c_1001_1^21 + 16298*c_1001_1^20 - 26614*c_1001_1^19 + 31828*c_1001_1^18 - 23726*c_1001_1^17 + 853*c_1001_1^16 + 25697*c_1001_1^15 - 38507*c_1001_1^14 + 29439*c_1001_1^13 - 7882*c_1001_1^12 - 9398*c_1001_1^11 + 14090*c_1001_1^10 - 9339*c_1001_1^9 + 2725*c_1001_1^8 + 872*c_1001_1^7 - 1420*c_1001_1^6 + 780*c_1001_1^5 - 188*c_1001_1^4 - 72*c_1001_1^3 + 80*c_1001_1^2 - 25*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.500 Total time: 4.710 seconds, Total memory usage: 64.12MB