Magma V2.19-8 Tue Aug 20 2013 23:40:12 on localhost [Seed = 1864960976] Type ? for help. Type -D to quit. Loading file "K12n171__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n171 geometric_solution 10.31992293 oriented_manifold CS_known 0.0000000000000004 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 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.780592338109 0.558966006451 0 5 3 5 0132 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631131818257 0.489992630498 5 0 7 6 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 2 -2 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.433044206228 0.409365686757 1 8 7 0 2031 0132 3201 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 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.682422496939 0.659532499567 8 6 0 9 0213 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.327694455197 1.235061219460 6 1 2 1 0132 0132 1302 1023 0 0 0 0 0 0 0 0 0 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 -1 0 1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432711423965 0.500953513065 5 8 2 4 0132 0213 0132 0321 0 0 0 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 0 0 0 0 0 2 -2 1 0 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.159373427738 0.837115882169 3 10 10 2 2310 0132 0321 0132 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 -1 0 1 0 0 2 -2 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636314500945 0.668982971122 4 3 6 11 0213 0132 0213 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 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177709854053 1.308270055124 10 11 4 11 3012 0321 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.325034534998 1.196348125825 11 7 7 9 1023 0132 0321 1230 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 -1 0 1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636314500945 0.668982971122 9 10 8 9 3201 1023 0132 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 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.442723211050 0.363327985212 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0101_11']), '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' : negation(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_9'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0011_10'], 'c_1100_3' : d['c_0011_10'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_1001_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : d['c_0011_9'], 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), '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_0011_0'], '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' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0011_9'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1001_10, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 277234455918686027406031290369470507/111782775006093388941097553720\ 40*c_1001_9^25 + 224633859223355320247103054629612429/1117827750060\ 9338894109755372040*c_1001_9^24 - 221113269222287738080709125393219\ 909/588330394768912573374197651160*c_1001_9^23 - 1680712404782930486811635715818176603/55891387503046694470548776860\ 20*c_1001_9^22 + 12655935777405706420443735765224348021/55891387503\ 04669447054877686020*c_1001_9^21 + 8826789915103715906283276867044443637/55891387503046694470548776860\ 20*c_1001_9^20 - 89016373938336772993341053235728188279/11178277500\ 609338894109755372040*c_1001_9^19 - 4790627570035513613116744660680303071/10162070455099398994645232156\ 40*c_1001_9^18 + 213771016399215989156451488487847175279/1117827750\ 0609338894109755372040*c_1001_9^17 + 142041978089490491696727373399466707/15004399329676964958536584392*\ c_1001_9^16 - 76099174254120012467042875135607829235/22356555001218\ 67778821951074408*c_1001_9^15 - 79926775617193994674946783893402942\ 417/5589138750304669447054877686020*c_1001_9^14 + 521058767706045655235958068802886565231/111782775006093388941097553\ 72040*c_1001_9^13 + 181144552432006828047886105424017019821/1117827\ 7500609338894109755372040*c_1001_9^12 - 551445376183919162084028060824775794759/111782775006093388941097553\ 72040*c_1001_9^11 - 9991395969218422470760814771471714427/745218500\ 040622592940650358136*c_1001_9^10 + 72673616649289317425770510507555764/1840954792590470832363266695*c_\ 1001_9^9 + 31233187551324545326958927565328210921/37260925002031129\ 64703251790680*c_1001_9^8 - 52022065133378456337493271500374097985/\ 2235655500121867778821951074408*c_1001_9^7 - 1709145238071508392228394432825597413/46576156252538912058790647383\ 5*c_1001_9^6 + 10233678123173495178581794700204904595/1117827750060\ 933889410975537204*c_1001_9^5 + 45662760606087999296835314986599293\ 23/5589138750304669447054877686020*c_1001_9^4 - 1095484410280058002260178780472237249/74521850004062259294065035813\ 6*c_1001_9^3 - 13235936321908965827186817588292997083/1117827750060\ 9338894109755372040*c_1001_9^2 + 1527527707902063244164599580456400\ 71/186304625010155648235162589534*c_1001_9 - 730881064837730666780827862187923929/558913875030466944705487768602\ 0, c_0011_0 - 1, c_0011_10 - 1601441009511140123939/2525493156519343133167*c_1001_9^25 - 2235125512078715034181/2525493156519343133167*c_1001_9^24 + 1222910838214301008053/132920692448386480693*c_1001_9^23 + 33433353301280259780226/2525493156519343133167*c_1001_9^22 - 130576581776769935611456/2525493156519343133167*c_1001_9^21 - 16771271646134791974530/229590286956303921197*c_1001_9^20 + 427810862308142214898389/2525493156519343133167*c_1001_9^19 + 587376535482616110275819/2525493156519343133167*c_1001_9^18 - 960804456759396701014406/2525493156519343133167*c_1001_9^17 - 1273773261729531369802082/2525493156519343133167*c_1001_9^16 + 1609014968324218888907197/2525493156519343133167*c_1001_9^15 + 188547388152880163190836/229590286956303921197*c_1001_9^14 - 2061335069409003417427346/2525493156519343133167*c_1001_9^13 - 2579566163352928158621769/2525493156519343133167*c_1001_9^12 + 2021049506157162811654542/2525493156519343133167*c_1001_9^11 + 2436410760462836770856517/2525493156519343133167*c_1001_9^10 - 1469934645713392306814974/2525493156519343133167*c_1001_9^9 - 1747479811154964137871802/2525493156519343133167*c_1001_9^8 + 742252669461592911450867/2525493156519343133167*c_1001_9^7 + 903489117461753759516018/2525493156519343133167*c_1001_9^6 - 202296021799872365046158/2525493156519343133167*c_1001_9^5 - 281137187138938260086147/2525493156519343133167*c_1001_9^4 - 23925589218518249447877/2525493156519343133167*c_1001_9^3 + 91465549760193019268773/2525493156519343133167*c_1001_9^2 - 2427922842184155074466/2525493156519343133167*c_1001_9 - 4436101132293772283806/2525493156519343133167, c_0011_3 - 2444653664678818101925/2525493156519343133167*c_1001_9^25 - 3486248780638571388739/2525493156519343133167*c_1001_9^24 + 1847215441284913980911/132920692448386480693*c_1001_9^23 + 51540849123164132945069/2525493156519343133167*c_1001_9^22 - 194268514794377018122415/2525493156519343133167*c_1001_9^21 - 25408327799379646077878/229590286956303921197*c_1001_9^20 + 628052232736400891103595/2525493156519343133167*c_1001_9^19 + 873734886921019093015657/2525493156519343133167*c_1001_9^18 - 1395112491613962488749303/2525493156519343133167*c_1001_9^17 - 1860558778656343063752215/2525493156519343133167*c_1001_9^16 + 2314322022371559858511585/2525493156519343133167*c_1001_9^15 + 270703975915663508107169/229590286956303921197*c_1001_9^14 - 2932516975732376390165062/2525493156519343133167*c_1001_9^13 - 3629905362692593067911301/2525493156519343133167*c_1001_9^12 + 2842859844811507048944015/2525493156519343133167*c_1001_9^11 + 3347520986212233113619251/2525493156519343133167*c_1001_9^10 - 2039204089671230073925907/2525493156519343133167*c_1001_9^9 - 2336798524391790215688980/2525493156519343133167*c_1001_9^8 + 1008494326178640479690431/2525493156519343133167*c_1001_9^7 + 1163241706952016817713811/2525493156519343133167*c_1001_9^6 - 267142874802314780801740/2525493156519343133167*c_1001_9^5 - 336992290197569484041706/2525493156519343133167*c_1001_9^4 - 36436551408930097076028/2525493156519343133167*c_1001_9^3 + 122595205053501646015805/2525493156519343133167*c_1001_9^2 - 6413372252442761260511/2525493156519343133167*c_1001_9 - 2051928546282979788484/2525493156519343133167, c_0011_9 - 811123112987452633729/2525493156519343133167*c_1001_9^25 - 1117803006637166892164/2525493156519343133167*c_1001_9^24 + 615556197526827488463/132920692448386480693*c_1001_9^23 + 16551141374860026535314/2525493156519343133167*c_1001_9^22 - 65135783495259800943116/2525493156519343133167*c_1001_9^21 - 8143879328587402454809/229590286956303921197*c_1001_9^20 + 211651762932972460424214/2525493156519343133167*c_1001_9^19 + 278117380306729855701366/2525493156519343133167*c_1001_9^18 - 473208033085326067424267/2525493156519343133167*c_1001_9^17 - 585204561076885444760827/2525493156519343133167*c_1001_9^16 + 793376709316831985233730/2525493156519343133167*c_1001_9^15 + 83793568901981084683781/229590286956303921197*c_1001_9^14 - 1024589022408746304659965/2525493156519343133167*c_1001_9^13 - 1100072470801831912339483/2525493156519343133167*c_1001_9^12 + 1024436197703107713697102/2525493156519343133167*c_1001_9^11 + 983813705518130951930557/2525493156519343133167*c_1001_9^10 - 778142995042737124796580/2525493156519343133167*c_1001_9^9 - 661993510861738005660681/2525493156519343133167*c_1001_9^8 + 432368771746058129153222/2525493156519343133167*c_1001_9^7 + 315123403918304534061930/2525493156519343133167*c_1001_9^6 - 158576716473269916715992/2525493156519343133167*c_1001_9^5 - 87839849002413265768823/2525493156519343133167*c_1001_9^4 + 21307317008355343715384/2525493156519343133167*c_1001_9^3 + 43290858364824882214328/2525493156519343133167*c_1001_9^2 - 12710780279389539647893/2525493156519343133167*c_1001_9 - 3530526155514711917085/2525493156519343133167, c_0101_0 + 1298413600757383649982/2525493156519343133167*c_1001_9^25 + 1914075524023507512980/2525493156519343133167*c_1001_9^24 - 973180591943632515129/132920692448386480693*c_1001_9^23 - 28160837962448108837751/2525493156519343133167*c_1001_9^22 + 101067772329241222767633/2525493156519343133167*c_1001_9^21 + 13807814123980059727345/229590286956303921197*c_1001_9^20 - 322746419480577040394372/2525493156519343133167*c_1001_9^19 - 472700257858184655568385/2525493156519343133167*c_1001_9^18 + 708970528916882168430453/2525493156519343133167*c_1001_9^17 + 1003351649536507114347912/2525493156519343133167*c_1001_9^16 - 1164307369883816634533587/2525493156519343133167*c_1001_9^15 - 145624688727564114312973/229590286956303921197*c_1001_9^14 + 1458161493182632094981517/2525493156519343133167*c_1001_9^13 + 1945860569761123452244768/2525493156519343133167*c_1001_9^12 - 1394959276499130303447521/2525493156519343133167*c_1001_9^11 - 1786277473088316600614586/2525493156519343133167*c_1001_9^10 + 983144349232032344040197/2525493156519343133167*c_1001_9^9 + 1237568205335296902147965/2525493156519343133167*c_1001_9^8 - 471473913165860920539824/2525493156519343133167*c_1001_9^7 - 605413430097616258560377/2525493156519343133167*c_1001_9^6 + 115080043689164163793894/2525493156519343133167*c_1001_9^5 + 169823101538016538967439/2525493156519343133167*c_1001_9^4 + 24040675876438642829981/2525493156519343133167*c_1001_9^3 - 62136975683495051396285/2525493156519343133167*c_1001_9^2 + 2737297785721865680563/2525493156519343133167*c_1001_9 - 298966318630258538239/2525493156519343133167, c_0101_10 - 2025722696754476137735/2525493156519343133167*c_1001_9^25 - 2616188530853624364144/2525493156519343133167*c_1001_9^24 + 1567476276018697546319/132920692448386480693*c_1001_9^23 + 39374703756330963589733/2525493156519343133167*c_1001_9^22 - 170938545889777648124540/2525493156519343133167*c_1001_9^21 - 19848743427808484020320/229590286956303921197*c_1001_9^20 + 572733436847396467023544/2525493156519343133167*c_1001_9^19 + 698781742163439305057870/2525493156519343133167*c_1001_9^18 - 1314532999086664381893856/2525493156519343133167*c_1001_9^17 - 1524209471885329816056748/2525493156519343133167*c_1001_9^16 + 2244637390391872527514590/2525493156519343133167*c_1001_9^15 + 227195315377313933745578/229590286956303921197*c_1001_9^14 - 2933510191820758389210648/2525493156519343133167*c_1001_9^13 - 3135476618233768819223786/2525493156519343133167*c_1001_9^12 + 2938333556228352828596122/2525493156519343133167*c_1001_9^11 + 2993969749537795318190266/2525493156519343133167*c_1001_9^10 - 2192605277947088239253933/2525493156519343133167*c_1001_9^9 - 2182012450010762449195130/2525493156519343133167*c_1001_9^8 + 1149146250078133994449165/2525493156519343133167*c_1001_9^7 + 1155594606956411200187414/2525493156519343133167*c_1001_9^6 - 344809328690348529227098/2525493156519343133167*c_1001_9^5 - 378178023458416727468680/2525493156519343133167*c_1001_9^4 - 13077683348364522151344/2525493156519343133167*c_1001_9^3 + 127794712925702180295236/2525493156519343133167*c_1001_9^2 - 6160801356943100124146/2525493156519343133167*c_1001_9 - 6444328499383797394476/2525493156519343133167, c_0101_11 + 1991447467614954181881/2525493156519343133167*c_1001_9^25 + 2551293361166341019006/2525493156519343133167*c_1001_9^24 - 1537331478311289662400/132920692448386480693*c_1001_9^23 - 38235973787314170465028/2525493156519343133167*c_1001_9^22 + 167111132678488455356093/2525493156519343133167*c_1001_9^21 + 19128106154489943976644/229590286956303921197*c_1001_9^20 - 558219029034892032872629/2525493156519343133167*c_1001_9^19 - 667537359592859965118038/2525493156519343133167*c_1001_9^18 + 1278045305139344029572288/2525493156519343133167*c_1001_9^17 + 1442507075954165403111759/2525493156519343133167*c_1001_9^16 - 2178836187880812740634133/2525493156519343133167*c_1001_9^15 - 213117080089255245570360/229590286956303921197*c_1001_9^14 + 2845360758745918757072362/2525493156519343133167*c_1001_9^13 + 2911891850333120356160105/2525493156519343133167*c_1001_9^12 - 2850902603563450101732406/2525493156519343133167*c_1001_9^11 - 2745869359390612654569199/2525493156519343133167*c_1001_9^10 + 2129739735851360085804710/2525493156519343133167*c_1001_9^9 + 1972240845989616352761834/2525493156519343133167*c_1001_9^8 - 1121178252291152358484211/2525493156519343133167*c_1001_9^7 - 1025179931637345858257812/2525493156519343133167*c_1001_9^6 + 342078493848107808460088/2525493156519343133167*c_1001_9^5 + 322222148228561426236470/2525493156519343133167*c_1001_9^4 + 9587275718438231968401/2525493156519343133167*c_1001_9^3 - 115209172533312669280872/2525493156519343133167*c_1001_9^2 + 8587505162414754282060/2525493156519343133167*c_1001_9 + 4812095428194947569788/2525493156519343133167, c_0101_2 + 220100962770881568818/2525493156519343133167*c_1001_9^25 + 359617509300728857012/2525493156519343133167*c_1001_9^24 - 162333771181617953562/132920692448386480693*c_1001_9^23 - 5270214272325381310900/2525493156519343133167*c_1001_9^22 + 16350710525907134977136/2525493156519343133167*c_1001_9^21 + 2574892906910407331478/229590286956303921197*c_1001_9^20 - 50198355460534598570695/2525493156519343133167*c_1001_9^19 - 87162283134644057392628/2525493156519343133167*c_1001_9^18 + 105615845257577872022115/2525493156519343133167*c_1001_9^17 + 181653385475369822986265/2525493156519343133167*c_1001_9^16 - 166219408149971024451344/2525493156519343133167*c_1001_9^15 - 25730027986867847497070/229590286956303921197*c_1001_9^14 + 198261903891701592596586/2525493156519343133167*c_1001_9^13 + 333613822359379220189750/2525493156519343133167*c_1001_9^12 - 178795872069309331772281/2525493156519343133167*c_1001_9^11 - 293168337794528754081664/2525493156519343133167*c_1001_9^10 + 117455069625489917500771/2525493156519343133167*c_1001_9^9 + 191931808944312171512653/2525493156519343133167*c_1001_9^8 - 49808814422748463311145/2525493156519343133167*c_1001_9^7 - 87624188107548438878760/2525493156519343133167*c_1001_9^6 + 8391077180702134230632/2525493156519343133167*c_1001_9^5 + 22800052661762215657016/2525493156519343133167*c_1001_9^4 + 4665281112729110470077/2525493156519343133167*c_1001_9^3 - 8847998350450823543604/2525493156519343133167*c_1001_9^2 + 239247082688037913721/2525493156519343133167*c_1001_9 + 273308478665821627980/2525493156519343133167, c_0101_6 + 512555561353859541701/2525493156519343133167*c_1001_9^25 + 785864040019681169681/2525493156519343133167*c_1001_9^24 - 378680209414273154143/132920692448386480693*c_1001_9^23 - 11428343090994488688203/2525493156519343133167*c_1001_9^22 + 38433476128055433674011/2525493156519343133167*c_1001_9^21 + 5506476436235942405191/229590286956303921197*c_1001_9^20 - 119890971160503911542093/2525493156519343133167*c_1001_9^19 - 184779943831543147366513/2525493156519343133167*c_1001_9^18 + 257929553989430935956560/2525493156519343133167*c_1001_9^17 + 384348785079572677190800/2525493156519343133167*c_1001_9^16 - 416399507766885712615745/2525493156519343133167*c_1001_9^15 - 54786967422125339071952/229590286956303921197*c_1001_9^14 + 512244738803067661740166/2525493156519343133167*c_1001_9^13 + 718406816350356096174840/2525493156519343133167*c_1001_9^12 - 481612654580766608415979/2525493156519343133167*c_1001_9^11 - 646632495675221175274468/2525493156519343133167*c_1001_9^10 + 333502175371363271334868/2525493156519343133167*c_1001_9^9 + 441823546205349756669196/2525493156519343133167*c_1001_9^8 - 155601064651657480038703/2525493156519343133167*c_1001_9^7 - 214032914410974141936393/2525493156519343133167*c_1001_9^6 + 35874067953859789687416/2525493156519343133167*c_1001_9^5 + 58367225936944269057623/2525493156519343133167*c_1001_9^4 + 9376405731527206202419/2525493156519343133167*c_1001_9^3 - 21926074827404043586283/2525493156519343133167*c_1001_9^2 + 841414343938263420081/2525493156519343133167*c_1001_9 - 1776039301117244930383/2525493156519343133167, c_1001_0 + 273308478665821627980/2525493156519343133167*c_1001_9^25 + 493409441436703196798/2525493156519343133167*c_1001_9^24 - 196842614246662924352/132920692448386480693*c_1001_9^23 - 7183968832438065537378/2525493156519343133167*c_1001_9^22 + 19054240328932743579320/2525493156519343133167*c_1001_9^21 + 3498972481621698803956/229590286956303921197*c_1001_9^20 - 56128497931724402399562/2525493156519343133167*c_1001_9^19 - 118798783605655827193675/2525493156519343133167*c_1001_9^18 + 113719448684734839172672/2525493156519343133167*c_1001_9^17 + 249922721993131691595555/2525493156519343133167*c_1001_9^16 - 173647636790198293387735/2525493156519343133167*c_1001_9^15 - 35907145890296702460964/229590286956303921197*c_1001_9^14 + 200725699382957959056830/2525493156519343133167*c_1001_9^13 + 474303467344181436856386/2525493156519343133167*c_1001_9^12 - 176106490352378115992950/2525493156519343133167*c_1001_9^11 - 429693055484533586257921/2525493156519343133167*c_1001_9^10 + 113787986938879649980556/2525493156519343133167*c_1001_9^9 + 292372495971615759407971/2525493156519343133167*c_1001_9^8 - 46939801409615931341867/2525493156519343133167*c_1001_9^7 - 138907378467806314032625/2525493156519343133167*c_1001_9^6 + 5574003117496736262420/2525493156519343133167*c_1001_9^5 + 36541850483281761912572/2525493156519343133167*c_1001_9^4 + 8314703292473669374076/2525493156519343133167*c_1001_9^3 - 11459919128554365580743/2525493156519343133167*c_1001_9^2 - 4814088018990447605251/2525493156519343133167*c_1001_9 + 512555561353859541701/2525493156519343133167, c_1001_10 + c_1001_9, c_1001_9^26 + c_1001_9^25 - 15*c_1001_9^24 - 15*c_1001_9^23 + 89*c_1001_9^22 + 81*c_1001_9^21 - 309*c_1001_9^20 - 251*c_1001_9^19 + 735*c_1001_9^18 + 528*c_1001_9^17 - 1300*c_1001_9^16 - 837*c_1001_9^15 + 1770*c_1001_9^14 + 1010*c_1001_9^13 - 1865*c_1001_9^12 - 918*c_1001_9^11 + 1489*c_1001_9^10 + 640*c_1001_9^9 - 874*c_1001_9^8 - 326*c_1001_9^7 + 341*c_1001_9^6 + 103*c_1001_9^5 - 53*c_1001_9^4 - 59*c_1001_9^3 + 24*c_1001_9^2 + c_1001_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.930 Total time: 1.139 seconds, Total memory usage: 32.09MB