Magma V2.19-8 Tue Aug 20 2013 17:58:52 on localhost [Seed = 3768669274] Type ? for help. Type -D to quit. Loading file "10_65__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_65 geometric_solution 12.07646143 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 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 -1 0 1 -1 0 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.472336112838 0.539572538924 0 4 6 5 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 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.987859770614 0.592111853224 7 0 7 0 0132 0132 3012 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 1 0 -1 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.926428736699 0.947336965357 6 4 0 7 0132 3012 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.805764719216 1.653355101621 3 1 8 9 1230 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 1 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.019216202992 0.663931659049 6 10 1 11 2103 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 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.956663400604 1.008206876518 3 10 5 1 0132 0213 2103 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 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473626060940 0.718311600088 2 2 3 8 0132 1230 2031 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081486895731 1.049262239824 7 12 12 4 3012 0132 1302 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 -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.378759928199 0.744599351779 11 12 4 11 3012 0321 0132 2310 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 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524109518235 1.178692001920 11 5 6 12 1230 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.752234214987 0.667397894839 9 10 5 9 3201 3012 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.524109518235 1.178692001920 8 8 10 9 2031 0132 0132 0321 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 -1 0 -1 2 -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.457276353639 1.066933551278 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_7']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : d['c_1001_12'], 's_0_10' : 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' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), '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' : 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' : negation(d['1']), 's_0_5' : 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_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0101_4'], 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_1001_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_7']), 'c_1010_1' : d['c_1001_12'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_0011_11'], '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'], 'c_1100_12' : d['c_1001_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' : negation(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_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_9'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_4'], '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' : d['c_0101_11'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_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_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0101_7, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1875841327177077548873530959090372522726804235/61259053019478503765\ 9826691369947774063610872*c_1001_12^24 - 1452630666540000547036157299886021017322115614/76573816274348129707\ 478336421243471757951359*c_1001_12^23 - 6347390581750361979522229719256651407145133845/76573816274348129707\ 478336421243471757951359*c_1001_12^22 - 169130035264281895176486884011958279195250113449/612590530194785037\ 659826691369947774063610872*c_1001_12^21 - 878992004389858863323831493536823039971776714235/122518106038957007\ 5319653382739895548127221744*c_1001_12^20 - 1974472290285255975814538675073257956009025461985/12251810603895700\ 75319653382739895548127221744*c_1001_12^19 - 218267268227822149034858183166097849573516666825/680656144660872264\ 06647410152216419340401208*c_1001_12^18 - 793344544442464497715167907332022168365738061913/136131228932174452\ 813294820304432838680802416*c_1001_12^17 - 12275861431119139027022831549332946743324017195277/1225181060389570\ 075319653382739895548127221744*c_1001_12^16 - 9940870254948492362229794306295017611956888871547/61259053019478503\ 7659826691369947774063610872*c_1001_12^15 - 14762205250878976943027435423809254835515261163463/6125905301947850\ 37659826691369947774063610872*c_1001_12^14 - 6650021974677738177177598591088735272457273227849/20419684339826167\ 9219942230456649258021203624*c_1001_12^13 - 50194207734975169232186495259357183823854894515843/1225181060389570\ 075319653382739895548127221744*c_1001_12^12 - 30210413808518819440645824852377024648183291230451/6125905301947850\ 37659826691369947774063610872*c_1001_12^11 - 68257867688797067869517194709067792009592882845017/1225181060389570\ 075319653382739895548127221744*c_1001_12^10 - 16699166989138868173270111692572067986942474900735/3062952650973925\ 18829913345684973887031805436*c_1001_12^9 - 8363951946717731735971465501176501857638390206769/20419684339826167\ 9219942230456649258021203624*c_1001_12^8 - 23066059638405435555329384008434345533181129285385/1225181060389570\ 075319653382739895548127221744*c_1001_12^7 + 2592186649476416312101796874922310811511724849/61259053019478503765\ 9826691369947774063610872*c_1001_12^6 + 979544697426447857402082587148720711635282497097/136131228932174452\ 813294820304432838680802416*c_1001_12^5 + 6964226612555246339656441044215118165591376226039/12251810603895700\ 75319653382739895548127221744*c_1001_12^4 + 131981643396839445656957212646767056022159808047/510492108495654198\ 04985557614162314505300906*c_1001_12^3 + 173808400057447023728193855905181556405141613665/204196843398261679\ 219942230456649258021203624*c_1001_12^2 + 281443392614156234875864347474176500329910580885/122518106038957007\ 5319653382739895548127221744*c_1001_12 + 34144833915274569372679046786349506936534570665/6125905301947850376\ 59826691369947774063610872, c_0011_0 - 1, c_0011_10 + 91630543596727904604549354522722939/60995770388208676728084\ 1528748525409*c_1001_12^24 + 665146460427835935230384339178987475/6\ 09957703882086767280841528748525409*c_1001_12^23 + 3035100044395448849363886214509173873/60995770388208676728084152874\ 8525409*c_1001_12^22 + 10579285883393855935313683382789106748/60995\ 7703882086767280841528748525409*c_1001_12^21 + 19308924085651704475250535064334249591/4066384692547245115205610191\ 65683606*c_1001_12^20 + 66886953830106603999554386100386792205/6099\ 57703882086767280841528748525409*c_1001_12^19 + 137098889884631630487240204202239960863/609957703882086767280841528\ 748525409*c_1001_12^18 + 510897767598816487487917123677761923561/12\ 19915407764173534561683057497050818*c_1001_12^17 + 99011753368098387553047755941823985033/1355461564182415038401870063\ 88561202*c_1001_12^16 + 736905901271027679994357408284518419771/609\ 957703882086767280841528748525409*c_1001_12^15 + 1126789623977174748612749570067473527997/60995770388208676728084152\ 8748525409*c_1001_12^14 + 3136596648396169369345529122723218223219/\ 1219915407764173534561683057497050818*c_1001_12^13 + 4052754260572587567729113107159012564289/12199154077641735345616830\ 57497050818*c_1001_12^12 + 2499218310235964958147065190369590428979\ /609957703882086767280841528748525409*c_1001_12^11 + 2918552711612809404063886076385744008650/60995770388208676728084152\ 8748525409*c_1001_12^10 + 2032647712195279687846364180723369945045/\ 406638469254724511520561019165683606*c_1001_12^9 + 579763514790331422228443312701686396973/135546156418241503840187006\ 388561202*c_1001_12^8 + 1646628257868330057315540741936975377056/60\ 9957703882086767280841528748525409*c_1001_12^7 + 73217318072478615357981889624678528774/6777307820912075192009350319\ 4280601*c_1001_12^6 + 10808301263690168054821922841903355567/677730\ 78209120751920093503194280601*c_1001_12^5 - 112726684229898263260325866869958718107/121991540776417353456168305\ 7497050818*c_1001_12^4 - 51332884635671255615288709377331061787/609\ 957703882086767280841528748525409*c_1001_12^3 - 25271495587408202537695487342655403259/6099577038820867672808415287\ 48525409*c_1001_12^2 - 8136162250412528230130536636324533235/609957\ 703882086767280841528748525409*c_1001_12 - 222854956098699733423695872962877005/677730782091207519200935031942\ 80601, c_0011_11 - 50290024122610122858993820451636947/60995770388208676728084\ 1528748525409*c_1001_12^24 - 313994819913560041222402892377857485/6\ 09957703882086767280841528748525409*c_1001_12^23 - 1354764885672041959280700838899015373/60995770388208676728084152874\ 8525409*c_1001_12^22 - 4484772002737788871657939648995318965/609957\ 703882086767280841528748525409*c_1001_12^21 - 7703487475669249536277271618320717075/40663846925472451152056101916\ 5683606*c_1001_12^20 - 25668670162075323678265842798212160397/60995\ 7703882086767280841528748525409*c_1001_12^19 - 50836389336523635151820080514933715193/6099577038820867672808415287\ 48525409*c_1001_12^18 - 91922458632268514236123179320483379337/6099\ 57703882086767280841528748525409*c_1001_12^17 - 17488710795720777509493223116611578360/6777307820912075192009350319\ 4280601*c_1001_12^16 - 509503956669447586922414977512189714121/1219\ 915407764173534561683057497050818*c_1001_12^15 - 375940148301834173056677805233130741912/609957703882086767280841528\ 748525409*c_1001_12^14 - 503493743923961711253097751295610259575/60\ 9957703882086767280841528748525409*c_1001_12^13 - 632446441594945019091841934154080622608/609957703882086767280841528\ 748525409*c_1001_12^12 - 1525987895638158932235485387060658747941/1\ 219915407764173534561683057497050818*c_1001_12^11 - 859383092026559627381150771521480737116/609957703882086767280841528\ 748525409*c_1001_12^10 - 276952611052539459735144775824241927724/20\ 3319234627362255760280509582841803*c_1001_12^9 - 67642191920594617573009361641064401948/6777307820912075192009350319\ 4280601*c_1001_12^8 - 548682754847007128616206178198438970891/12199\ 15407764173534561683057497050818*c_1001_12^7 - 5205864734660865434221663442607185366/20331923462736225576028050958\ 2841803*c_1001_12^6 + 50953724145251096445229140880759053041/406638\ 469254724511520561019165683606*c_1001_12^5 + 65453370800982649068800567318493293875/6099577038820867672808415287\ 48525409*c_1001_12^4 + 65932849104401425264904594060235118475/12199\ 15407764173534561683057497050818*c_1001_12^3 + 23120686316384960018892151616993727815/1219915407764173534561683057\ 497050818*c_1001_12^2 + 2969382544344744724400033437906199027/60995\ 7703882086767280841528748525409*c_1001_12 + 142289967422974736399997790983807652/677730782091207519200935031942\ 80601, c_0011_12 - 6167655364160630649285201115694879/609957703882086767280841\ 528748525409*c_1001_12^24 + 37441810122131814729024878262418709/609\ 957703882086767280841528748525409*c_1001_12^23 + 335554321009151618566336819149460627/609957703882086767280841528748\ 525409*c_1001_12^22 + 1672225721902036356947503660664269364/6099577\ 03882086767280841528748525409*c_1001_12^21 + 4097090814546749917117921627539894925/40663846925472451152056101916\ 5683606*c_1001_12^20 + 16996757230411744612680991833427828360/60995\ 7703882086767280841528748525409*c_1001_12^19 + 39767946336931058713006762900458522595/6099577038820867672808415287\ 48525409*c_1001_12^18 + 164533212573201533059252096749153318833/121\ 9915407764173534561683057497050818*c_1001_12^17 + 34212357903987842600732834632235314601/1355461564182415038401870063\ 88561202*c_1001_12^16 + 542101613579369312768010435155042299621/121\ 9915407764173534561683057497050818*c_1001_12^15 + 904864437576922025154475537015710720581/121991540776417353456168305\ 7497050818*c_1001_12^14 + 695087731926206729406074490939296688079/6\ 09957703882086767280841528748525409*c_1001_12^13 + 1946439718413376628355605410138779986941/12199154077641735345616830\ 57497050818*c_1001_12^12 + 2543165392358079967322749016395827754055\ /1219915407764173534561683057497050818*c_1001_12^11 + 3177517911624751652531399720379751394083/12199154077641735345616830\ 57497050818*c_1001_12^10 + 625764366178967955995172323447578359620/\ 203319234627362255760280509582841803*c_1001_12^9 + 441455705086952954205484519009596718195/135546156418241503840187006\ 388561202*c_1001_12^8 + 3495866850312654969712637851905021950299/12\ 19915407764173534561683057497050818*c_1001_12^7 + 800635587713027545905404411640787235633/406638469254724511520561019\ 165683606*c_1001_12^6 + 416950630893723444603869166943049094971/406\ 638469254724511520561019165683606*c_1001_12^5 + 503100342464650957345868015388014936305/121991540776417353456168305\ 7497050818*c_1001_12^4 + 163220162019985771061124514931843471737/12\ 19915407764173534561683057497050818*c_1001_12^3 + 39378051547649060668004822555492736691/1219915407764173534561683057\ 497050818*c_1001_12^2 + 6479313796379371227324978349660768517/12199\ 15407764173534561683057497050818*c_1001_12 + 85921267379129650188307256494257195/1355461564182415038401870063885\ 61202, c_0011_3 + 56122402323301974961932043155250286/203319234627362255760280\ 509582841803*c_1001_12^24 + 131048292661918923605784140433100167/67\ 773078209120751920093503194280601*c_1001_12^23 + 1791113892330392050256603880184310444/20331923462736225576028050958\ 2841803*c_1001_12^22 + 2081017140295981503107761520609144067/677730\ 78209120751920093503194280601*c_1001_12^21 + 5703097558078998605582310987042977576/67773078209120751920093503194\ 280601*c_1001_12^20 + 79767424448314579439742941004020681083/406638\ 469254724511520561019165683606*c_1001_12^19 + 164980802225199368025878565521106234137/406638469254724511520561019\ 165683606*c_1001_12^18 + 103417702758588358587024905877992034993/13\ 5546156418241503840187006388561202*c_1001_12^17 + 91106137747651899809234317235147081118/6777307820912075192009350319\ 4280601*c_1001_12^16 + 910532123275206753388535488644957701633/4066\ 38469254724511520561019165683606*c_1001_12^15 + 468124100750972138049308957990021158629/135546156418241503840187006\ 388561202*c_1001_12^14 + 1984733773284614106241565572490694506467/4\ 06638469254724511520561019165683606*c_1001_12^13 + 435589361168612626082588516225417237848/677730782091207519200935031\ 94280601*c_1001_12^12 + 3274225815205050263530783343859042311899/40\ 6638469254724511520561019165683606*c_1001_12^11 + 1292477067947708928876331052739441815269/13554615641824150384018700\ 6388561202*c_1001_12^10 + 1384427559523545000485346039012998143019/\ 135546156418241503840187006388561202*c_1001_12^9 + 629040588708098963614914885361950863031/677730782091207519200935031\ 94280601*c_1001_12^8 + 2743577099497178636133814637721524027093/406\ 638469254724511520561019165683606*c_1001_12^7 + 1537926968560888694863563711785357076239/40663846925472451152056101\ 9165683606*c_1001_12^6 + 661112586136155862577329432140239731853/40\ 6638469254724511520561019165683606*c_1001_12^5 + 220874968847621425942670394279040355887/406638469254724511520561019\ 165683606*c_1001_12^4 + 9253558187101236405498727580601449223/67773\ 078209120751920093503194280601*c_1001_12^3 + 4621899941177166169579227513973754359/20331923462736225576028050958\ 2841803*c_1001_12^2 + 75908463341653930412757939100127884/677730782\ 09120751920093503194280601*c_1001_12 - 169768092256891613735834619541189481/677730782091207519200935031942\ 80601, c_0011_9 - 103857312344328450198630222486721210/20331923462736225576028\ 0509582841803*c_1001_12^24 - 220399209023261258660496476611968354/6\ 7773078209120751920093503194280601*c_1001_12^23 - 2930688862633798048895184604305717373/20331923462736225576028050958\ 2841803*c_1001_12^22 - 3308334679638164896472287166381802174/677730\ 78209120751920093503194280601*c_1001_12^21 - 8793551025700263132545196756503127777/67773078209120751920093503194\ 280601*c_1001_12^20 - 60496997489947775541405119010212818954/203319\ 234627362255760280509582841803*c_1001_12^19 - 246493421572255098237691750817582588353/406638469254724511520561019\ 165683606*c_1001_12^18 - 152753067540681794602260336690710493913/13\ 5546156418241503840187006388561202*c_1001_12^17 - 133740455656796574182565319892238374514/677730782091207519200935031\ 94280601*c_1001_12^16 - 662816929031123884245183405447590530364/203\ 319234627362255760280509582841803*c_1001_12^15 - 672597749231334307594528594371448960501/135546156418241503840187006\ 388561202*c_1001_12^14 - 1409691534919186308293626479973100081053/2\ 03319234627362255760280509582841803*c_1001_12^13 - 614767505391289266237448755788955777267/677730782091207519200935031\ 94280601*c_1001_12^12 - 2299329166278970538096427789162447839233/20\ 3319234627362255760280509582841803*c_1001_12^11 - 1797705433982525646413925646781995668611/13554615641824150384018700\ 6388561202*c_1001_12^10 - 944639718110987127571072828764198252395/6\ 7773078209120751920093503194280601*c_1001_12^9 - 835800329632528560675606358668439971937/677730782091207519200935031\ 94280601*c_1001_12^8 - 1778313981618872638618895626218545402390/203\ 319234627362255760280509582841803*c_1001_12^7 - 1977118364068075065201225061399521688561/40663846925472451152056101\ 9165683606*c_1001_12^6 - 433332950581167115719286892718384065489/20\ 3319234627362255760280509582841803*c_1001_12^5 - 152830023017292415785185916363486810148/203319234627362255760280509\ 582841803*c_1001_12^4 - 29449535746740902406317021073989330869/1355\ 46156418241503840187006388561202*c_1001_12^3 - 10200938727559803998856989236241893781/2033192346273622557602805095\ 82841803*c_1001_12^2 - 418704196667941317076760527538477983/6777307\ 8209120751920093503194280601*c_1001_12 - 54395719485213923862663134743130789/1355461564182415038401870063885\ 61202, c_0101_0 - 6453808610770491867149011375188065/6777307820912075192009350\ 3194280601*c_1001_12^24 - 42189817406615150737586079682240239/67773\ 078209120751920093503194280601*c_1001_12^23 - 190093345364219779660300225926650838/677730782091207519200935031942\ 80601*c_1001_12^22 - 648333970752363049265077501115664658/677730782\ 09120751920093503194280601*c_1001_12^21 - 3486956748076104284740817666951513085/13554615641824150384018700638\ 8561202*c_1001_12^20 - 4011790065494791025509438611895493247/677730\ 78209120751920093503194280601*c_1001_12^19 - 16347236495650572662574502617794721659/1355461564182415038401870063\ 88561202*c_1001_12^18 - 15202268749473011358920494806079506140/6777\ 3078209120751920093503194280601*c_1001_12^17 - 26519206010153063922684262151948275371/6777307820912075192009350319\ 4280601*c_1001_12^16 - 43735993702673145542972375735844589788/67773\ 078209120751920093503194280601*c_1001_12^15 - 133125714608499003496692612155624641451/135546156418241503840187006\ 388561202*c_1001_12^14 - 92661208299490963540877704399569548986/677\ 73078209120751920093503194280601*c_1001_12^13 - 120091851065220357605570394007422037273/677730782091207519200935031\ 94280601*c_1001_12^12 - 148269803667545171359161754932576343467/677\ 73078209120751920093503194280601*c_1001_12^11 - 345177444146419400429752030396373090537/135546156418241503840187006\ 388561202*c_1001_12^10 - 179695841523705548102026772726119693996/67\ 773078209120751920093503194280601*c_1001_12^9 - 154561925287127864269577932126068667263/677730782091207519200935031\ 94280601*c_1001_12^8 - 100467280900330775441994836735273035681/6777\ 3078209120751920093503194280601*c_1001_12^7 - 87072174503624962500830534363933345759/1355461564182415038401870063\ 88561202*c_1001_12^6 - 16626115457754056192383550523495129989/13554\ 6156418241503840187006388561202*c_1001_12^5 + 3469437302535080799924451979280313008/67773078209120751920093503194\ 280601*c_1001_12^4 + 7474378178340170935613704516655647637/13554615\ 6418241503840187006388561202*c_1001_12^3 + 1813504994636429665675181319988416417/67773078209120751920093503194\ 280601*c_1001_12^2 + 626478251161343864353077031986709466/677730782\ 09120751920093503194280601*c_1001_12 + 162309880545219902851508315350043745/677730782091207519200935031942\ 80601, c_0101_1 - 6167655364160630649285201115694879/6099577038820867672808415\ 28748525409*c_1001_12^24 + 37441810122131814729024878262418709/6099\ 57703882086767280841528748525409*c_1001_12^23 + 335554321009151618566336819149460627/609957703882086767280841528748\ 525409*c_1001_12^22 + 1672225721902036356947503660664269364/6099577\ 03882086767280841528748525409*c_1001_12^21 + 4097090814546749917117921627539894925/40663846925472451152056101916\ 5683606*c_1001_12^20 + 16996757230411744612680991833427828360/60995\ 7703882086767280841528748525409*c_1001_12^19 + 39767946336931058713006762900458522595/6099577038820867672808415287\ 48525409*c_1001_12^18 + 164533212573201533059252096749153318833/121\ 9915407764173534561683057497050818*c_1001_12^17 + 34212357903987842600732834632235314601/1355461564182415038401870063\ 88561202*c_1001_12^16 + 542101613579369312768010435155042299621/121\ 9915407764173534561683057497050818*c_1001_12^15 + 904864437576922025154475537015710720581/121991540776417353456168305\ 7497050818*c_1001_12^14 + 695087731926206729406074490939296688079/6\ 09957703882086767280841528748525409*c_1001_12^13 + 1946439718413376628355605410138779986941/12199154077641735345616830\ 57497050818*c_1001_12^12 + 2543165392358079967322749016395827754055\ /1219915407764173534561683057497050818*c_1001_12^11 + 3177517911624751652531399720379751394083/12199154077641735345616830\ 57497050818*c_1001_12^10 + 625764366178967955995172323447578359620/\ 203319234627362255760280509582841803*c_1001_12^9 + 441455705086952954205484519009596718195/135546156418241503840187006\ 388561202*c_1001_12^8 + 3495866850312654969712637851905021950299/12\ 19915407764173534561683057497050818*c_1001_12^7 + 800635587713027545905404411640787235633/406638469254724511520561019\ 165683606*c_1001_12^6 + 416950630893723444603869166943049094971/406\ 638469254724511520561019165683606*c_1001_12^5 + 503100342464650957345868015388014936305/121991540776417353456168305\ 7497050818*c_1001_12^4 + 163220162019985771061124514931843471737/12\ 19915407764173534561683057497050818*c_1001_12^3 + 39378051547649060668004822555492736691/1219915407764173534561683057\ 497050818*c_1001_12^2 + 6479313796379371227324978349660768517/12199\ 15407764173534561683057497050818*c_1001_12 + 85921267379129650188307256494257195/1355461564182415038401870063885\ 61202, c_0101_11 - 8122721248380545996861243010366848/609957703882086767280841\ 528748525409*c_1001_12^24 - 38129259893764960500006109587081163/609\ 957703882086767280841528748525409*c_1001_12^23 - 175481207536490772562790065966433705/609957703882086767280841528748\ 525409*c_1001_12^22 - 609923477295211882324826623276786543/60995770\ 3882086767280841528748525409*c_1001_12^21 - 575350506536673565946115741076275505/203319234627362255760280509582\ 841803*c_1001_12^20 - 9124577440913833219741673097072755725/1219915\ 407764173534561683057497050818*c_1001_12^19 - 10483832747635683587139508850619139601/6099577038820867672808415287\ 48525409*c_1001_12^18 - 21863532860147737897218695465885053316/6099\ 57703882086767280841528748525409*c_1001_12^17 - 4705861600802109264442105356555768961/67773078209120751920093503194\ 280601*c_1001_12^16 - 75349845877466042422468688079328880470/609957\ 703882086767280841528748525409*c_1001_12^15 - 250348958308987414506645185314472298985/121991540776417353456168305\ 7497050818*c_1001_12^14 - 197957583983417197457783427229928350307/6\ 09957703882086767280841528748525409*c_1001_12^13 - 294129817531107250273302205958414151436/609957703882086767280841528\ 748525409*c_1001_12^12 - 404709572115711108258031532034015719759/60\ 9957703882086767280841528748525409*c_1001_12^11 - 1036330849025392484377046451971879163209/12199154077641735345616830\ 57497050818*c_1001_12^10 - 208469705630426339914529702637470671363/\ 203319234627362255760280509582841803*c_1001_12^9 - 79053236887384713109468845033680864073/6777307820912075192009350319\ 4280601*c_1001_12^8 - 739933723059235606644676759645565435947/60995\ 7703882086767280841528748525409*c_1001_12^7 - 439071499481630417444579273893466543723/406638469254724511520561019\ 165683606*c_1001_12^6 - 156308469350892706542455184041965981696/203\ 319234627362255760280509582841803*c_1001_12^5 - 511628052015369263678607643963171868375/121991540776417353456168305\ 7497050818*c_1001_12^4 - 106861922343860132965154443215527966716/60\ 9957703882086767280841528748525409*c_1001_12^3 - 70109039461114455151593057792216819119/1219915407764173534561683057\ 497050818*c_1001_12^2 - 19296887420985554248832647629996136873/1219\ 915407764173534561683057497050818*c_1001_12 - 218463542889013511057359383349134296/677730782091207519200935031942\ 80601, c_0101_4 + 49895633530312999807480483932118340/609957703882086767280841\ 528748525409*c_1001_12^24 + 209003264040221688098032218601616170/60\ 9957703882086767280841528748525409*c_1001_12^23 + 702054492876014260121295933007733423/609957703882086767280841528748\ 525409*c_1001_12^22 + 1635765825558162299818425470949822130/6099577\ 03882086767280841528748525409*c_1001_12^21 + 677679978395881921665850426647219727/203319234627362255760280509582\ 841803*c_1001_12^20 + 746001225817650484495646768935775270/60995770\ 3882086767280841528748525409*c_1001_12^19 - 11130888749683697227830345905658991187/1219915407764173534561683057\ 497050818*c_1001_12^18 - 43096985561923525050032844659625994307/121\ 9915407764173534561683057497050818*c_1001_12^17 - 11346869937730138170756511275365632809/1355461564182415038401870063\ 88561202*c_1001_12^16 - 107008061998449222562674522962860924232/609\ 957703882086767280841528748525409*c_1001_12^15 - 432287824838383571034287437890926639171/121991540776417353456168305\ 7497050818*c_1001_12^14 - 772696982398100357788176723540737141459/1\ 219915407764173534561683057497050818*c_1001_12^13 - 1182896620899992173083985781435768114575/12199154077641735345616830\ 57497050818*c_1001_12^12 - 813074597673462077531004769007088191011/\ 609957703882086767280841528748525409*c_1001_12^11 - 2158157952176239110021334971720129527059/12199154077641735345616830\ 57497050818*c_1001_12^10 - 938655231048008311847602742303556451513/\ 406638469254724511520561019165683606*c_1001_12^9 - 372656237913383522236138192530524243435/135546156418241503840187006\ 388561202*c_1001_12^8 - 1631520330288919735334403880442761771010/60\ 9957703882086767280841528748525409*c_1001_12^7 - 790839946907618965974604221983334895309/406638469254724511520561019\ 165683606*c_1001_12^6 - 404214666598776888635156785067834258521/406\ 638469254724511520561019165683606*c_1001_12^5 - 422743428542119180014179146668857304841/121991540776417353456168305\ 7497050818*c_1001_12^4 - 108142598486734249999403925587373945085/12\ 19915407764173534561683057497050818*c_1001_12^3 - 12515392805152278379365347197240344260/6099577038820867672808415287\ 48525409*c_1001_12^2 - 1036281119964837425386088619335520793/609957\ 703882086767280841528748525409*c_1001_12 + 92045951951185512974760874207850025/6777307820912075192009350319428\ 0601, c_0101_7 + 19919367975442259410699174113192706/203319234627362255760280\ 509582841803*c_1001_12^24 + 45553723808627859539618868428800005/677\ 73078209120751920093503194280601*c_1001_12^23 + 611009892448155432881087340160708441/203319234627362255760280509582\ 841803*c_1001_12^22 + 699266434462810924263384807853056044/67773078\ 209120751920093503194280601*c_1001_12^21 + 1882862851697659860632953612117588064/67773078209120751920093503194\ 280601*c_1001_12^20 + 25904309588375373899385151527001331765/406638\ 469254724511520561019165683606*c_1001_12^19 + 26467813716421451727169606450807000580/2033192346273622557602805095\ 82841803*c_1001_12^18 + 32832961675400821415913305746456968271/1355\ 46156418241503840187006388561202*c_1001_12^17 + 57406944800206193814814432981440163193/1355461564182415038401870063\ 88561202*c_1001_12^16 + 285221652244488363714591843921200407381/406\ 638469254724511520561019165683606*c_1001_12^15 + 145130704021758726182221175778218422047/135546156418241503840187006\ 388561202*c_1001_12^14 + 607223438656198848927109529586048530603/40\ 6638469254724511520561019165683606*c_1001_12^13 + 263984454273064889689879232891802423649/135546156418241503840187006\ 388561202*c_1001_12^12 + 987983005089980883965347320620212977653/40\ 6638469254724511520561019165683606*c_1001_12^11 + 387452650176004488241430892383192517767/135546156418241503840187006\ 388561202*c_1001_12^10 + 407865995778558166554397450349974794501/13\ 5546156418241503840187006388561202*c_1001_12^9 + 358597669825646466403187794780619171487/135546156418241503840187006\ 388561202*c_1001_12^8 + 749552822091443409497276419947462341773/406\ 638469254724511520561019165683606*c_1001_12^7 + 413170161935991044858808011629450168315/406638469254724511520561019\ 165683606*c_1001_12^6 + 194639569285430415647092343339060330191/406\ 638469254724511520561019165683606*c_1001_12^5 + 41479856303655294656779892858529799264/2033192346273622557602805095\ 82841803*c_1001_12^4 + 9125516346918197330017136923691038163/135546\ 156418241503840187006388561202*c_1001_12^3 + 2656050754527226507665406905196965914/20331923462736225576028050958\ 2841803*c_1001_12^2 + 239052502400850453547518832018082717/13554615\ 6418241503840187006388561202*c_1001_12 + 8922245096484920306738954530674109/67773078209120751920093503194280\ 601, c_1001_1 - 248869765798957320095556687178064110/60995770388208676728084\ 1528748525409*c_1001_12^24 - 1534807915848489744634286805818192822/\ 609957703882086767280841528748525409*c_1001_12^23 - 6740683581524838917857299121105863034/60995770388208676728084152874\ 8525409*c_1001_12^22 - 22633160912537852220326848106767265861/60995\ 7703882086767280841528748525409*c_1001_12^21 - 19869113876636738684466095024771542619/2033192346273622557602805095\ 82841803*c_1001_12^20 - 136348886469452487185363793619584257455/609\ 957703882086767280841528748525409*c_1001_12^19 - 277365653711458374703296622643740760995/609957703882086767280841528\ 748525409*c_1001_12^18 - 1031147894654099596676958452111986068623/1\ 219915407764173534561683057497050818*c_1001_12^17 - 200999146876321939442513929961094234203/135546156418241503840187006\ 388561202*c_1001_12^16 - 2989984195249702346676302251032503749075/1\ 219915407764173534561683057497050818*c_1001_12^15 - 2273926334428522617504874925587355948818/60995770388208676728084152\ 8748525409*c_1001_12^14 - 6367616372536206638598423726012382492817/\ 1219915407764173534561683057497050818*c_1001_12^13 - 8377887096391827947490920849165332259251/12199154077641735345616830\ 57497050818*c_1001_12^12 - 1050374942582291960433455309128529651350\ 7/1219915407764173534561683057497050818*c_1001_12^11 - 6179900277609148694456685579697387508993/60995770388208676728084152\ 8748525409*c_1001_12^10 - 4347927406204040774696367174421634419837/\ 406638469254724511520561019165683606*c_1001_12^9 - 1301862079685680298095009974433665755387/13554615641824150384018700\ 6388561202*c_1001_12^8 - 8690833368982274317088007461124675873559/1\ 219915407764173534561683057497050818*c_1001_12^7 - 296285197756608919933260524309718983471/677730782091207519200935031\ 94280601*c_1001_12^6 - 305318563519123167022774381429867708327/1355\ 46156418241503840187006388561202*c_1001_12^5 - 1175229715300717636178362491756626520727/12199154077641735345616830\ 57497050818*c_1001_12^4 - 405244205526902757760946574718398738457/1\ 219915407764173534561683057497050818*c_1001_12^3 - 112506288865078848702497029703303888101/121991540776417353456168305\ 7497050818*c_1001_12^2 - 11689719622210236801311346686791272832/609\ 957703882086767280841528748525409*c_1001_12 - 220708778094395886956573218919899305/677730782091207519200935031942\ 80601, c_1001_12^25 + 7*c_1001_12^24 + 32*c_1001_12^23 + 112*c_1001_12^22 + 617/2*c_1001_12^21 + 724*c_1001_12^20 + 3015/2*c_1001_12^19 + 2853*c_1001_12^18 + 5057*c_1001_12^17 + 16933/2*c_1001_12^16 + 26281/2*c_1001_12^15 + 18741*c_1001_12^14 + 49865/2*c_1001_12^13 + 63037/2*c_1001_12^12 + 75323/2*c_1001_12^11 + 40942*c_1001_12^10 + 76677/2*c_1001_12^9 + 59131/2*c_1001_12^8 + 36911/2*c_1001_12^7 + 18945/2*c_1001_12^6 + 8239/2*c_1001_12^5 + 1527*c_1001_12^4 + 474*c_1001_12^3 + 119*c_1001_12^2 + 23*c_1001_12 + 9/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.190 Total time: 2.410 seconds, Total memory usage: 32.09MB