Magma V2.19-8 Tue Aug 20 2013 23:39:57 on localhost [Seed = 3398217337] Type ? for help. Type -D to quit. Loading file "K14n21983__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21983 geometric_solution 10.15804652 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 1 0 -1 0 0 0 0 0 -1 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755589636413 1.536629524845 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 -4 4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348041943654 0.610461523490 3 0 5 6 0213 0132 0132 2310 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 -1 0 1 0 0 0 0 0 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466250491821 0.687949025898 2 8 9 0 0213 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 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.304750200847 0.518442707960 7 7 0 10 2103 0132 0132 0132 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 0 0 0 0 0 1 -1 3 0 0 -3 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.012865429913 0.817393446588 8 1 8 2 0213 0132 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 0 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466250491821 0.687949025898 2 9 1 10 3201 0132 0132 3120 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 4 0 -4 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.155032998886 0.899691141164 10 4 4 1 1230 0132 2103 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 -1 0 -3 4 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.372248462325 0.701117914434 5 3 9 5 0213 0132 3201 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 1 0 -1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324923684886 0.996069927081 8 6 10 3 2310 0132 0132 0132 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 -3 0 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 0 -0.160794015826 1.505130002313 6 7 4 9 3120 3012 0132 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 -1 1 0 0 0 3 -3 -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.489210610471 0.613612386247 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_4'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_9']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : 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' : 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_1100_0'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_6'], 'c_1100_10' : d['c_1100_0'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : negation(d['c_0101_9']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_9'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_0'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_9']})} 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_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_9, c_1001_1, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 124514296063429410843323408621927314918/114413485312395952640179441\ 36755021043*c_1100_0^14 - 79273158803111771255114036224498074658/11\ 441348531239595264017944136755021043*c_1100_0^13 - 1002045724100615062076100274792007313987/11441348531239595264017944\ 136755021043*c_1100_0^12 + 2635466810071368821058841130315904441604\ /11441348531239595264017944136755021043*c_1100_0^11 - 2278798183906952310337307356731646736671/11441348531239595264017944\ 136755021043*c_1100_0^10 + 2382385075194344483184233397839374038721\ 8/11441348531239595264017944136755021043*c_1100_0^9 - 33958798812041270810823573977566012269321/1144134853123959526401794\ 4136755021043*c_1100_0^8 + 6609800850150013528630856399794341524030\ 9/11441348531239595264017944136755021043*c_1100_0^7 - 183035003620290775234157646285962532144797/114413485312395952640179\ 44136755021043*c_1100_0^6 + 593099853928777787852681602284120590658\ 99/11441348531239595264017944136755021043*c_1100_0^5 - 460775101854695376562091048535492951195807/114413485312395952640179\ 44136755021043*c_1100_0^4 + 846993759215768763098107906167984581657\ 168/11441348531239595264017944136755021043*c_1100_0^3 - 13031774349967431265767723827450891418733/1144134853123959526401794\ 4136755021043*c_1100_0^2 + 1965720823105103019953389922463524834743\ 70/11441348531239595264017944136755021043*c_1100_0 - 149909046823625716921539651072925585553101/114413485312395952640179\ 44136755021043, c_0011_0 - 1, c_0011_10 - 1757733923130983994954152580386/214297593767364586327363628\ 7086537*c_1100_0^14 - 1792908433531213134562776271110/2142975937673\ 645863273636287086537*c_1100_0^13 - 14386141476758653802328984219261/2142975937673645863273636287086537\ *c_1100_0^12 + 32283129150104243848571103964578/2142975937673645863\ 273636287086537*c_1100_0^11 - 15575459952844692564483820559097/2142\ 975937673645863273636287086537*c_1100_0^10 + 324284845123195559718480287433135/214297593767364586327363628708653\ 7*c_1100_0^9 - 347143360832007899208849322021341/214297593767364586\ 3273636287086537*c_1100_0^8 + 718291073776853892220033959193244/214\ 2975937673645863273636287086537*c_1100_0^7 - 2227939695187029703524785038801806/21429759376736458632736362870865\ 37*c_1100_0^6 - 305443169173453132199115287184762/21429759376736458\ 63273636287086537*c_1100_0^5 - 6122763914587398980309477580738397/2\ 142975937673645863273636287086537*c_1100_0^4 + 9307753379162089197530581594904008/21429759376736458632736362870865\ 37*c_1100_0^3 + 5512248788551776963865141397565951/2142975937673645\ 863273636287086537*c_1100_0^2 + 2273100565673306994026276164252748/\ 2142975937673645863273636287086537*c_1100_0 + 413298294900512421538166946115/2142975937673645863273636287086537, c_0011_3 - 282727345918538443851630923022/21429759376736458632736362870\ 86537*c_1100_0^14 - 157395313848898005623058243914/2142975937673645\ 863273636287086537*c_1100_0^13 - 1844350746938803023343862029121/21\ 42975937673645863273636287086537*c_1100_0^12 + 7178376583794824093908772431832/2142975937673645863273636287086537*\ c_1100_0^11 - 1025061888789930061047344841088/214297593767364586327\ 3636287086537*c_1100_0^10 + 54002826594984968844464498639705/214297\ 5937673645863273636287086537*c_1100_0^9 - 79583848287097023681044146159537/2142975937673645863273636287086537\ *c_1100_0^8 + 98017633999227699973603671805858/21429759376736458632\ 73636287086537*c_1100_0^7 - 444786833045113385665462903352029/21429\ 75937673645863273636287086537*c_1100_0^6 + 55079924399173626049910448281210/2142975937673645863273636287086537\ *c_1100_0^5 - 898482240270044603386476342618741/2142975937673645863\ 273636287086537*c_1100_0^4 + 2490050651380839097272128325032330/214\ 2975937673645863273636287086537*c_1100_0^3 + 1071226695563991610096037126442459/21429759376736458632736362870865\ 37*c_1100_0^2 + 615479899921190415041905354809114/21429759376736458\ 63273636287086537*c_1100_0 - 3449515239859118748762245461370356/214\ 2975937673645863273636287086537, c_0011_4 - 1348386515657453640443607021536/2142975937673645863273636287\ 086537*c_1100_0^14 - 419401483620821701447354504956/214297593767364\ 5863273636287086537*c_1100_0^13 - 10687221563601395017029178838438/\ 2142975937673645863273636287086537*c_1100_0^12 + 31395893353238244561304994104270/2142975937673645863273636287086537\ *c_1100_0^11 - 35047186441385002977512184186733/2142975937673645863\ 273636287086537*c_1100_0^10 + 262213626676857551630187071971367/214\ 2975937673645863273636287086537*c_1100_0^9 - 444832613476190373228876391281946/214297593767364586327363628708653\ 7*c_1100_0^8 + 820880223181304806268430319705814/214297593767364586\ 3273636287086537*c_1100_0^7 - 2147058606010378212415978126972233/21\ 42975937673645863273636287086537*c_1100_0^6 + 1140214323783447336758074368658705/21429759376736458632736362870865\ 37*c_1100_0^5 - 4877470105643946893073940717914352/2142975937673645\ 863273636287086537*c_1100_0^4 + 10141046254833562724493989094645505\ /2142975937673645863273636287086537*c_1100_0^3 - 2619527147400789334713886527599457/21429759376736458632736362870865\ 37*c_1100_0^2 + 1606335083044471438343318479221611/2142975937673645\ 863273636287086537*c_1100_0 + 42095366695533204042525371166727/2142\ 975937673645863273636287086537, c_0011_6 - 130663846423134239277521075930/21429759376736458632736362870\ 86537*c_1100_0^14 - 962668434001418579631867875532/2142975937673645\ 863273636287086537*c_1100_0^13 - 1921220627112578391830968355557/21\ 42975937673645863273636287086537*c_1100_0^12 - 4284453720430412983807080796685/2142975937673645863273636287086537*\ c_1100_0^11 + 14381107096980204081913039181522/21429759376736458632\ 73636287086537*c_1100_0^10 + 18170092808925947212828740870185/21429\ 75937673645863273636287086537*c_1100_0^9 + 127229345344062703400897211091391/214297593767364586327363628708653\ 7*c_1100_0^8 - 108406489218221374356515254836642/214297593767364586\ 3273636287086537*c_1100_0^7 + 141377217541478599426648685618218/214\ 2975937673645863273636287086537*c_1100_0^6 - 1074819796294053173693523013364785/21429759376736458632736362870865\ 37*c_1100_0^5 - 788631936287082193421447311223634/21429759376736458\ 63273636287086537*c_1100_0^4 - 2088261229978708334297917143766342/2\ 142975937673645863273636287086537*c_1100_0^3 + 4513779321358568669445107180886201/21429759376736458632736362870865\ 37*c_1100_0^2 + 4015611810301121815855032153689093/2142975937673645\ 863273636287086537*c_1100_0 + 848792097774250615212529230950858/214\ 2975937673645863273636287086537, c_0101_0 - 1566469246771014663529373734126/2142975937673645863273636287\ 086537*c_1100_0^14 - 1514401735535955860522236588994/21429759376736\ 45863273636287086537*c_1100_0^13 - 13017950463386526905831098718103/2142975937673645863273636287086537\ *c_1100_0^12 + 28533746564578925425286373563322/2142975937673645863\ 273636287086537*c_1100_0^11 - 17961229344993922214754495668725/2142\ 975937673645863273636287086537*c_1100_0^10 + 290170465437360453959536167829573/214297593767364586327363628708653\ 7*c_1100_0^9 - 312934856877993275133884017909739/214297593767364586\ 3273636287086537*c_1100_0^8 + 701533811605489266257783741497899/214\ 2975937673645863273636287086537*c_1100_0^7 - 1958833935005835653628219719399024/21429759376736458632736362870865\ 37*c_1100_0^6 - 159209965676166116299478805477418/21429759376736458\ 63273636287086537*c_1100_0^5 - 5432809510771111260198306762715968/2\ 142975937673645863273636287086537*c_1100_0^4 + 7979251182135331418376287645150768/21429759376736458632736362870865\ 37*c_1100_0^3 + 3514743295683482269355756489424626/2142975937673645\ 863273636287086537*c_1100_0^2 + 2120990109611382810173560529867377/\ 2142975937673645863273636287086537*c_1100_0 + 2156717726736434702104811986323100/21429759376736458632736362870865\ 37, c_0101_10 + 11670305419039163839922215960/21429759376736458632736362870\ 86537*c_1100_0^14 + 249944194635517149223636002022/2142975937673645\ 863273636287086537*c_1100_0^13 + 71111130602992856978351093652/2142\ 975937673645863273636287086537*c_1100_0^12 + 1642070931976271085965784208233/2142975937673645863273636287086537*\ c_1100_0^11 - 6411993137021190492715849966111/214297593767364586327\ 3636287086537*c_1100_0^10 + 7719614221570691937323453952299/2142975\ 937673645863273636287086537*c_1100_0^9 - 46646995302096207400824267596190/2142975937673645863273636287086537\ *c_1100_0^8 + 109605954958533939753569459121880/2142975937673645863\ 273636287086537*c_1100_0^7 - 177795389499139366953388236506214/2142\ 975937673645863273636287086537*c_1100_0^6 + 521452549360099317508585433034077/214297593767364586327363628708653\ 7*c_1100_0^5 - 510022582960911290442377444476469/214297593767364586\ 3273636287086537*c_1100_0^4 + 1267922557538345329221535735758265/21\ 42975937673645863273636287086537*c_1100_0^3 - 2738360440109359792644635027240213/21429759376736458632736362870865\ 37*c_1100_0^2 + 2698063721807785044879469312253930/2142975937673645\ 863273636287086537*c_1100_0 - 375716486599266958322600359439946/214\ 2975937673645863273636287086537, c_0101_9 + 26620988338734490333983432430/214297593767364586327363628708\ 6537*c_1100_0^14 - 211174381584370920014867998824/21429759376736458\ 63273636287086537*c_1100_0^13 + 17371964301844367068188154041/21429\ 75937673645863273636287086537*c_1100_0^12 - 1823106390469817843727179470173/2142975937673645863273636287086537*\ c_1100_0^11 + 6196731176624902561796467204395/214297593767364586327\ 3636287086537*c_1100_0^10 - 1492540588800368822408439777597/2142975\ 937673645863273636287086537*c_1100_0^9 + 47931158280427398388294790823335/2142975937673645863273636287086537\ *c_1100_0^8 - 63924874446869955363513737148475/21429759376736458632\ 73636287086537*c_1100_0^7 + 44357286579424090921374095466897/214297\ 5937673645863273636287086537*c_1100_0^6 - 328376939753516452921086129614628/214297593767364586327363628708653\ 7*c_1100_0^5 - 101033479870009026887100834835553/214297593767364586\ 3273636287086537*c_1100_0^4 - 744196750439034071976060672714999/214\ 2975937673645863273636287086537*c_1100_0^3 + 1996770017128448767755538915324326/21429759376736458632736362870865\ 37*c_1100_0^2 + 1444902698699354920237908017583676/2142975937673645\ 863273636287086537*c_1100_0 + 371790069467431362179269720188477/214\ 2975937673645863273636287086537, c_1001_1 + 26620988338734490333983432430/214297593767364586327363628708\ 6537*c_1100_0^14 - 211174381584370920014867998824/21429759376736458\ 63273636287086537*c_1100_0^13 + 17371964301844367068188154041/21429\ 75937673645863273636287086537*c_1100_0^12 - 1823106390469817843727179470173/2142975937673645863273636287086537*\ c_1100_0^11 + 6196731176624902561796467204395/214297593767364586327\ 3636287086537*c_1100_0^10 - 1492540588800368822408439777597/2142975\ 937673645863273636287086537*c_1100_0^9 + 47931158280427398388294790823335/2142975937673645863273636287086537\ *c_1100_0^8 - 63924874446869955363513737148475/21429759376736458632\ 73636287086537*c_1100_0^7 + 44357286579424090921374095466897/214297\ 5937673645863273636287086537*c_1100_0^6 - 328376939753516452921086129614628/214297593767364586327363628708653\ 7*c_1100_0^5 - 101033479870009026887100834835553/214297593767364586\ 3273636287086537*c_1100_0^4 - 744196750439034071976060672714999/214\ 2975937673645863273636287086537*c_1100_0^3 + 1996770017128448767755538915324326/21429759376736458632736362870865\ 37*c_1100_0^2 + 1444902698699354920237908017583676/2142975937673645\ 863273636287086537*c_1100_0 + 371790069467431362179269720188477/214\ 2975937673645863273636287086537, c_1001_3 + 130663846423134239277521075930/21429759376736458632736362870\ 86537*c_1100_0^14 + 962668434001418579631867875532/2142975937673645\ 863273636287086537*c_1100_0^13 + 1921220627112578391830968355557/21\ 42975937673645863273636287086537*c_1100_0^12 + 4284453720430412983807080796685/2142975937673645863273636287086537*\ c_1100_0^11 - 14381107096980204081913039181522/21429759376736458632\ 73636287086537*c_1100_0^10 - 18170092808925947212828740870185/21429\ 75937673645863273636287086537*c_1100_0^9 - 127229345344062703400897211091391/214297593767364586327363628708653\ 7*c_1100_0^8 + 108406489218221374356515254836642/214297593767364586\ 3273636287086537*c_1100_0^7 - 141377217541478599426648685618218/214\ 2975937673645863273636287086537*c_1100_0^6 + 1074819796294053173693523013364785/21429759376736458632736362870865\ 37*c_1100_0^5 + 788631936287082193421447311223634/21429759376736458\ 63273636287086537*c_1100_0^4 + 2088261229978708334297917143766342/2\ 142975937673645863273636287086537*c_1100_0^3 - 4513779321358568669445107180886201/21429759376736458632736362870865\ 37*c_1100_0^2 - 4015611810301121815855032153689093/2142975937673645\ 863273636287086537*c_1100_0 - 848792097774250615212529230950858/214\ 2975937673645863273636287086537, c_1100_0^15 + c_1100_0^14 + 17/2*c_1100_0^13 - 18*c_1100_0^12 + 25/2*c_1100_0^11 - 377/2*c_1100_0^10 + 411/2*c_1100_0^9 - 473*c_1100_0^8 + 2637/2*c_1100_0^7 - 81/2*c_1100_0^6 + 7615/2*c_1100_0^5 - 10869/2*c_1100_0^4 - 3077/2*c_1100_0^3 - 5331/2*c_1100_0^2 + 135*c_1100_0 - 281/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB