Magma V2.19-8 Tue Aug 20 2013 23:42:10 on localhost [Seed = 3448481947] Type ? for help. Type -D to quit. Loading file "L13a3002__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a3002 geometric_solution 9.60098541 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 0 0 1 2 1230 3012 0132 0132 1 1 1 1 0 1 -1 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 -4 3 1 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815545378110 0.988609805844 3 2 4 0 0132 3012 0132 0132 1 1 1 1 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 3 0 -3 0 0 0 0 0 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224989164508 0.859381684283 1 3 0 5 1230 3201 0132 0132 1 1 1 1 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 4 0 0 -4 -1 0 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224989164508 0.859381684283 1 6 2 7 0132 0132 2310 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.177293638051 0.300003127456 8 9 6 1 0132 0132 1023 0132 1 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 0 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.201455120028 0.491865880972 7 10 2 10 3120 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 -1 1 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 -1 1 0 0 4 -4 -1 3 0 -2 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267810126218 0.736996017840 9 3 4 10 2103 0132 1023 2103 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907843860810 0.559188884159 8 8 3 5 2103 1302 0132 3120 1 1 0 1 0 1 0 -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 -3 0 3 3 0 -3 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.678415197131 0.682868360559 4 10 7 7 0132 3201 2103 2031 0 1 1 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 0 0 0 0 0 0 0 -1 1 0 0 0 -3 3 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.678415197131 0.682868360559 9 4 6 9 3012 0132 2103 1230 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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.286925448101 1.741018260640 5 5 8 6 3012 0132 2310 2103 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 4 -4 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678415197131 0.682868360559 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0011_1'], 'c_1001_8' : d['c_0011_7'], 'c_1010_10' : negation(d['c_1001_3']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_4']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : negation(d['c_0011_1']), 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_0110_10'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0011_4']), 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0101_6'], 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : negation(d['c_0011_1']), 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1028899651348659613187228047925885496812744733982/47206163675966588\ 1810882945548981493633185374125*c_1001_3^16 + 857204259835492963027638112547493906237341703281/674373766799522688\ 30126135078425927661883624875*c_1001_3^15 + 877834584215581544228092927095389777118156387338/524512929732962090\ 90098105060997943737020597125*c_1001_3^14 - 37662476553551575808732365712011390595368687102736/1573538789198886\ 27270294315182993831211061791375*c_1001_3^13 + 2339532556767379085165316512151579154068922370821/44958251119968179\ 22008409005228395177458908325*c_1001_3^12 - 16026668048382540694813105691450408202572112579661/1748376432443206\ 9696699368353665981245673532375*c_1001_3^11 + 5602667332006917170369948491567263485623370499137/33961268831630638\ 97920021190999866860670398375*c_1001_3^10 + 10292382029487106922646247288398116793016418372914/7493041853328029\ 870014015008713991962431513875*c_1001_3^9 - 1669828568116679483591655405380098164876152183591/32113036514262985\ 15720292146591710841042077375*c_1001_3^8 - 479829624371756069974106687034684723463026363155261/157353878919888\ 627270294315182993831211061791375*c_1001_3^7 - 5221099113316415412173119202381007249363080861188267/47206163675966\ 5881810882945548981493633185374125*c_1001_3^6 - 64950742685131817660259033402497146696020943850936/3211303651426298\ 515720292146591710841042077375*c_1001_3^5 - 3859373065556829846879465902113140218686609552712056/15735387891988\ 8627270294315182993831211061791375*c_1001_3^4 - 668815076979765721966916932349132085453843403890931/314707757839777\ 25454058863036598766242212358275*c_1001_3^3 - 7017134221312634000888274184531078363193444289553159/47206163675966\ 5881810882945548981493633185374125*c_1001_3^2 - 2551030368404963654389814759823077890462504024304633/47206163675966\ 5881810882945548981493633185374125*c_1001_3 - 321026239202987830186114396430009925550742454850264/157353878919888\ 627270294315182993831211061791375, c_0011_0 - 1, c_0011_1 - 4647638798795012602762099178619422/5235637283271447896652475\ 692137787021*c_1001_3^16 + 31048426086790051904360033680495375/5235\ 637283271447896652475692137787021*c_1001_3^15 + 5232480545440340929659156897140668/17452124277571492988841585640459\ 29007*c_1001_3^14 - 186128893979539596513465525039914251/1745212427\ 757149298884158564045929007*c_1001_3^13 + 508066080103754059111669234377033464/174521242775714929888415856404\ 5929007*c_1001_3^12 - 856140315480047224580627214506150714/17452124\ 27757149298884158564045929007*c_1001_3^11 + 4357184927846055028731954843003197830/52356372832714478966524756921\ 37787021*c_1001_3^10 + 462161372547210848465492296373338746/1745212\ 427757149298884158564045929007*c_1001_3^9 - 1886388143137454779196965097503572160/17452124277571492988841585640\ 45929007*c_1001_3^8 - 2362561043294965311581834407585240848/1745212\ 427757149298884158564045929007*c_1001_3^7 - 15448173598764053413618928385658455872/5235637283271447896652475692\ 137787021*c_1001_3^6 - 7413952427043564495485185593080096058/174521\ 2427757149298884158564045929007*c_1001_3^5 - 3784584502362873122591958882787003644/17452124277571492988841585640\ 45929007*c_1001_3^4 + 2733448156605592698608384668794004864/1745212\ 427757149298884158564045929007*c_1001_3^3 + 7332811117558455407922336744337533712/52356372832714478966524756921\ 37787021*c_1001_3^2 + 8614499003864499925260000793113785969/5235637\ 283271447896652475692137787021*c_1001_3 + 419857520357555875752538177731170372/174521242775714929888415856404\ 5929007, c_0011_10 + 1, c_0011_4 + 8125470279433520816966608191696304/5235637283271447896652475\ 692137787021*c_1001_3^16 - 62282048508422252968731555855677744/5235\ 637283271447896652475692137787021*c_1001_3^15 + 12097623176630720007969377084488766/1745212427757149298884158564045\ 929007*c_1001_3^14 + 310200504793164652761280403420008975/174521242\ 7757149298884158564045929007*c_1001_3^13 - 1204812037032393160893661929616653286/17452124277571492988841585640\ 45929007*c_1001_3^12 + 2752120399351842565153914869657617169/174521\ 2427757149298884158564045929007*c_1001_3^11 - 16019314511561356464446235538983271592/5235637283271447896652475692\ 137787021*c_1001_3^10 + 4638231545023678210112185167050887895/17452\ 12427757149298884158564045929007*c_1001_3^9 - 1449469492830343470434369301395583268/17452124277571492988841585640\ 45929007*c_1001_3^8 + 4857337464782158939647158828193930668/1745212\ 427757149298884158564045929007*c_1001_3^7 + 10927754201086123645487501764322189968/5235637283271447896652475692\ 137787021*c_1001_3^6 + 9166851436987510623424186186602944716/174521\ 2427757149298884158564045929007*c_1001_3^5 - 2527008172621431029079701015401503360/17452124277571492988841585640\ 45929007*c_1001_3^4 + 192769007299204619124344043513885225/17452124\ 27757149298884158564045929007*c_1001_3^3 - 12756912407938904431744846316965160216/5235637283271447896652475692\ 137787021*c_1001_3^2 - 2658057174773270092483481868966289891/523563\ 7283271447896652475692137787021*c_1001_3 - 1274408195630196925592446995188120632/17452124277571492988841585640\ 45929007, c_0011_7 - 14514760803232369687710310552346140/523563728327144789665247\ 5692137787021*c_1001_3^16 + 86896475433653945290606882746367538/523\ 5637283271447896652475692137787021*c_1001_3^15 + 33037664984067636906420115043589124/1745212427757149298884158564045\ 929007*c_1001_3^14 - 536526379776440066366197370351792699/174521242\ 7757149298884158564045929007*c_1001_3^13 + 1221605780504502066560521586120518406/17452124277571492988841585640\ 45929007*c_1001_3^12 - 2183523514591909381255610408912876456/174521\ 2427757149298884158564045929007*c_1001_3^11 + 12382596601299600944910741432360780104/5235637283271447896652475692\ 137787021*c_1001_3^10 + 1823580552627878903976462799148802968/17452\ 12427757149298884158564045929007*c_1001_3^9 + 12425927018564655171602375017291177/1745212427757149298884158564045\ 929007*c_1001_3^8 - 10140650208691950102321153787663264370/17452124\ 27757149298884158564045929007*c_1001_3^7 - 62049097795351153091020648815434292280/5235637283271447896652475692\ 137787021*c_1001_3^6 - 42353415560226224677439627137557376776/17452\ 12427757149298884158564045929007*c_1001_3^5 - 44866431511235708354238605428570569687/1745212427757149298884158564\ 045929007*c_1001_3^4 - 35432958616038235066082878150329452613/17452\ 12427757149298884158564045929007*c_1001_3^3 - 58026344207664671184798514219360905838/5235637283271447896652475692\ 137787021*c_1001_3^2 - 17538943735535668098446278856705511200/52356\ 37283271447896652475692137787021*c_1001_3 - 987107465439654562011514234204307500/174521242775714929888415856404\ 5929007, c_0101_0 - 11994991901345377283831386291300/523563728327144789665247569\ 2137787021*c_1001_3^16 - 10958123894592992581268844473399500/523563\ 7283271447896652475692137787021*c_1001_3^15 + 24944066981151389201915074833122237/1745212427757149298884158564045\ 929007*c_1001_3^14 + 6146044097548123241287486806949724/17452124277\ 57149298884158564045929007*c_1001_3^13 - 419181220299910878632341001873789116/174521242775714929888415856404\ 5929007*c_1001_3^12 + 1253469309457619367288826594264989292/1745212\ 427757149298884158564045929007*c_1001_3^11 - 7568212299180653110379094573656131258/52356372832714478966524756921\ 37787021*c_1001_3^10 + 4795539913383676302713459811204881316/174521\ 2427757149298884158564045929007*c_1001_3^9 - 1683484282971850779154130565642338912/17452124277571492988841585640\ 45929007*c_1001_3^8 - 35415097740499373834638386346688744/174521242\ 7757149298884158564045929007*c_1001_3^7 - 22052941887010874740310659820637249865/5235637283271447896652475692\ 137787021*c_1001_3^6 - 10511252583339077823616741007939644800/17452\ 12427757149298884158564045929007*c_1001_3^5 - 22177247142762899753419213153658223660/1745212427757149298884158564\ 045929007*c_1001_3^4 - 12958547754767440792276304357562279708/17452\ 12427757149298884158564045929007*c_1001_3^3 - 27694522292523493375583419387217762116/5235637283271447896652475692\ 137787021*c_1001_3^2 - 4900238022030057803743299094339059548/523563\ 7283271447896652475692137787021*c_1001_3 + 458919025478219474328534854217222258/174521242775714929888415856404\ 5929007, c_0101_1 - c_1001_3, c_0101_4 + 1153632238432340111418051377721308/5235637283271447896652475\ 692137787021*c_1001_3^16 - 8350462195052868575212075147553920/52356\ 37283271447896652475692137787021*c_1001_3^15 + 518926710109882131248439443395255/174521242775714929888415856404592\ 9007*c_1001_3^14 + 45752745434293709008737326882598498/174521242775\ 7149298884158564045929007*c_1001_3^13 - 158993467433885288289017698627464300/174521242775714929888415856404\ 5929007*c_1001_3^12 + 310921967607649338666613808804149412/17452124\ 27757149298884158564045929007*c_1001_3^11 - 1459419491368048896742506716486280874/52356372832714478966524756921\ 37787021*c_1001_3^10 + 119156368907184956036186147685923534/1745212\ 427757149298884158564045929007*c_1001_3^9 + 560812984977122903639762122524961859/174521242775714929888415856404\ 5929007*c_1001_3^8 - 136185198717920582061800888844720768/174521242\ 7757149298884158564045929007*c_1001_3^7 + 1193226929306604453402895584904690925/52356372832714478966524756921\ 37787021*c_1001_3^6 + 573316005296845639048763385877404268/17452124\ 27757149298884158564045929007*c_1001_3^5 + 334682644402404693857765260612192787/174521242775714929888415856404\ 5929007*c_1001_3^4 - 892563846371357486882222141250916110/174521242\ 7757149298884158564045929007*c_1001_3^3 + 4940691440377431513567259843537218422/52356372832714478966524756921\ 37787021*c_1001_3^2 - 211377973346939113837474702783402502/52356372\ 83271447896652475692137787021*c_1001_3 + 602496714400875529476631176503820918/174521242775714929888415856404\ 5929007, c_0101_6 - 6502130256687509598190643859274580/5235637283271447896652475\ 692137787021*c_1001_3^16 + 51980798589816125058376277936505676/5235\ 637283271447896652475692137787021*c_1001_3^15 - 15780590287645821469398058626136199/1745212427757149298884158564045\ 929007*c_1001_3^14 - 240575026501623378161031944208740290/174521242\ 7757149298884158564045929007*c_1001_3^13 + 1043884607506326504688514992017630988/17452124277571492988841585640\ 45929007*c_1001_3^12 - 2582719272571227204236222023196522072/174521\ 2427757149298884158564045929007*c_1001_3^11 + 15739387677384075893234661064405074739/5235637283271447896652475692\ 137787021*c_1001_3^10 - 5779368877926626980666101597550261786/17452\ 12427757149298884158564045929007*c_1001_3^9 + 3774648441529698270963857592964129899/17452124277571492988841585640\ 45929007*c_1001_3^8 - 5862623731987809105577408726339984382/1745212\ 427757149298884158564045929007*c_1001_3^7 + 521603553713909231964566054986655575/523563728327144789665247569213\ 7787021*c_1001_3^6 - 8482781401736787172046254258981780248/17452124\ 27757149298884158564045929007*c_1001_3^5 + 4558289313581760344236084079121865598/17452124277571492988841585640\ 45929007*c_1001_3^4 - 3039003562435989379862349699350176642/1745212\ 427757149298884158564045929007*c_1001_3^3 + 8771854695014482589636392132111421581/52356372832714478966524756921\ 37787021*c_1001_3^2 - 1941000951989824455839823674515201924/5235637\ 283271447896652475692137787021*c_1001_3 + 1204988534561740254908693421334138275/17452124277571492988841585640\ 45929007, c_0110_10 - 1153632238432340111418051377721308/523563728327144789665247\ 5692137787021*c_1001_3^16 + 8350462195052868575212075147553920/5235\ 637283271447896652475692137787021*c_1001_3^15 - 518926710109882131248439443395255/174521242775714929888415856404592\ 9007*c_1001_3^14 - 45752745434293709008737326882598498/174521242775\ 7149298884158564045929007*c_1001_3^13 + 158993467433885288289017698627464300/174521242775714929888415856404\ 5929007*c_1001_3^12 - 310921967607649338666613808804149412/17452124\ 27757149298884158564045929007*c_1001_3^11 + 1459419491368048896742506716486280874/52356372832714478966524756921\ 37787021*c_1001_3^10 - 119156368907184956036186147685923534/1745212\ 427757149298884158564045929007*c_1001_3^9 - 560812984977122903639762122524961859/174521242775714929888415856404\ 5929007*c_1001_3^8 + 136185198717920582061800888844720768/174521242\ 7757149298884158564045929007*c_1001_3^7 - 1193226929306604453402895584904690925/52356372832714478966524756921\ 37787021*c_1001_3^6 - 573316005296845639048763385877404268/17452124\ 27757149298884158564045929007*c_1001_3^5 - 334682644402404693857765260612192787/174521242775714929888415856404\ 5929007*c_1001_3^4 + 892563846371357486882222141250916110/174521242\ 7757149298884158564045929007*c_1001_3^3 - 4940691440377431513567259843537218422/52356372832714478966524756921\ 37787021*c_1001_3^2 + 211377973346939113837474702783402502/52356372\ 83271447896652475692137787021*c_1001_3 - 602496714400875529476631176503820918/174521242775714929888415856404\ 5929007, c_1001_3^17 - 13/2*c_1001_3^16 - 3*c_1001_3^15 + 219/2*c_1001_3^14 - 312*c_1001_3^13 + 666*c_1001_3^12 - 1322*c_1001_3^11 + 1047/2*c_1001_3^10 - 651*c_1001_3^9 + 4377/2*c_1001_3^8 + 3334*c_1001_3^7 + 15531/2*c_1001_3^6 + 6996*c_1001_3^5 + 7233*c_1001_3^4 + 3577*c_1001_3^3 + 3901/2*c_1001_3^2 + 384*c_1001_3 + 369/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB