Magma V2.19-8 Tue Aug 20 2013 23:52:55 on localhost [Seed = 2648438358] Type ? for help. Type -D to quit. Loading file "L13n4450__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4450 geometric_solution 11.06878080 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 -1 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 -1 1 0 0 0 2 -2 -1 3 0 -2 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.026838973832 1.328752644542 0 5 6 4 0132 0132 0132 0321 1 0 1 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 0 0 0 0 0 0 0 4 0 0 -4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365800557119 0.378585247190 7 0 7 5 0132 0132 3120 0132 1 1 1 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 -1 0 0 0 1 -1 1 -1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471424079746 0.730424635479 4 8 9 0 0321 0132 0132 0132 1 0 1 0 0 0 0 0 -1 0 0 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 0 1 -1 2 0 0 -2 0 3 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541740374006 0.845499161459 3 1 0 8 0321 0321 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 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 1 0 2 -3 0 4 0 -4 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.248568987880 0.957341618084 10 1 2 10 0132 0132 0132 2103 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 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.870575640597 1.128877970129 11 10 7 1 0132 2103 3012 0132 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 0 0 0.998097466115 1.086672044480 2 6 2 8 0132 1230 3120 2310 0 1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471424079746 0.730424635479 7 3 4 9 3201 0132 0132 0132 1 0 0 1 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 0 0 0 -3 0 3 0 0 0 0 0 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298376578389 0.413376297033 11 10 8 3 3201 1230 0132 0132 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 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.033085465188 1.175587523194 5 6 9 5 0132 2103 3012 2103 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 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870575640597 1.128877970129 6 11 11 9 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529571407036 0.687563223719 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0101_1'], 'c_1010_10' : negation(d['c_1001_1']), '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_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_2_11' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1100_0'], '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' : d['c_0011_11'], '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' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_0101_6'], 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : negation(d['c_0101_6']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_5, c_0101_6, c_1001_0, c_1001_1, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1893343267982693903187583100545/20720767947490317077930665288*c_110\ 0_0^15 + 1097063110147003525825099675317/29601097067843310111329521\ 84*c_1100_0^14 + 261045578996315229122790722139/4228728152549044301\ 61850312*c_1100_0^13 + 940472097493310640675554265923/2114364076274\ 52215080925156*c_1100_0^12 - 7918009302490099744234862291605/227700\ 746675717770087150168*c_1100_0^11 + 950831063527349266786546547049829/20720767947490317077930665288*c_1\ 100_0^10 - 1660586440786501691926622769676751/207207679474903170779\ 30665288*c_1100_0^9 - 518546929893234853316436724935587/10360383973\ 745158538965332644*c_1100_0^8 + 642010299824246950206029331769057/2\ 0720767947490317077930665288*c_1100_0^7 - 1510185857514421795547084379795965/20720767947490317077930665288*c_\ 1100_0^6 - 53388757686444823388526144091787/10360383973745158538965\ 332644*c_1100_0^5 - 1316770889792404196212632400636235/207207679474\ 90317077930665288*c_1100_0^4 - 152144324048285907995220735257357/51\ 80191986872579269482666322*c_1100_0^3 - 43489309296128424316970668174689/1593905226730024390610051176*c_110\ 0_0^2 - 145282195142335503929172911602037/2072076794749031707793066\ 5288*c_1100_0 - 24975546582224392716291085497525/103603839737451585\ 38965332644, c_0011_0 - 1, c_0011_11 - 26445070724107635037445999/211436407627452215080925156*c_11\ 00_0^15 + 122662962152947288644647657/211436407627452215080925156*c\ _1100_0^14 + 58714399297815875228378129/105718203813726107540462578\ *c_1100_0^13 + 1174748041202761372742614629/21143640762745221508092\ 5156*c_1100_0^12 - 831281856344866227741465649/16264339048265555006\ 225012*c_1100_0^11 + 19100364672742501502612891239/2114364076274522\ 15080925156*c_1100_0^10 - 15147576509594329704086228811/10571820381\ 3726107540462578*c_1100_0^9 - 2992545196831614842113294517/21143640\ 7627452215080925156*c_1100_0^8 + 20713848571556564813771025107/2114\ 36407627452215080925156*c_1100_0^7 - 29343744308493442575185662103/211436407627452215080925156*c_1100_0^\ 6 + 9475290183872547604978610377/211436407627452215080925156*c_1100\ _0^5 - 7295944199800773915011064955/105718203813726107540462578*c_1\ 100_0^4 - 1149813212518298791461251821/211436407627452215080925156*\ c_1100_0^3 - 47492882792248048154968141/8132169524132777503112506*c\ _1100_0^2 + 206525524753994822583398993/52859101906863053770231289*\ c_1100_0 + 330011056657255949235936669/211436407627452215080925156, c_0011_3 + 5155125065900500074629845/52859101906863053770231289*c_1100_\ 0^15 - 23363168638402809707431322/52859101906863053770231289*c_1100\ _0^14 - 24664553847029130095300709/52859101906863053770231289*c_110\ 0_0^13 - 234736271498440878202951223/52859101906863053770231289*c_1\ 100_0^12 + 159818220439973114897708728/4066084762066388751556253*c_\ 1100_0^11 - 3535110184694068433437272806/52859101906863053770231289\ *c_1100_0^10 + 5812263067006750643853679244/52859101906863053770231\ 289*c_1100_0^9 + 764458732095136816874529261/5285910190686305377023\ 1289*c_1100_0^8 - 3259574593980804371249022160/52859101906863053770\ 231289*c_1100_0^7 + 5607800014225326049931554403/528591019068630537\ 70231289*c_1100_0^6 - 1673764829846637988893698177/5285910190686305\ 3770231289*c_1100_0^5 + 3221422922336957757414677497/52859101906863\ 053770231289*c_1100_0^4 + 471243076190277773498071317/5285910190686\ 3053770231289*c_1100_0^3 + 58941530795976796359832366/4066084762066\ 388751556253*c_1100_0^2 - 16278021892839256892341043/52859101906863\ 053770231289*c_1100_0 + 25081697335771534900529760/5285910190686305\ 3770231289, c_0011_4 + 3068128941195705458463147/52859101906863053770231289*c_1100_\ 0^15 - 14231575577320820046704056/52859101906863053770231289*c_1100\ _0^14 - 13334631117446173428277217/52859101906863053770231289*c_110\ 0_0^13 - 137526562783939233514860338/52859101906863053770231289*c_1\ 100_0^12 + 96316429394159108875271625/4066084762066388751556253*c_1\ 100_0^11 - 2229633551490648209347093664/52859101906863053770231289*\ c_1100_0^10 + 3627957220436968522395447830/528591019068630537702312\ 89*c_1100_0^9 + 176763077477223211571066494/52859101906863053770231\ 289*c_1100_0^8 - 2122025996025652353796872854/528591019068630537702\ 31289*c_1100_0^7 + 3510146556895178255984666723/5285910190686305377\ 0231289*c_1100_0^6 - 1236298488189255659199275650/52859101906863053\ 770231289*c_1100_0^5 + 1929197210357784061186151618/528591019068630\ 53770231289*c_1100_0^4 + 137566885013650346432365367/52859101906863\ 053770231289*c_1100_0^3 + 28928505061356534398155773/40660847620663\ 88751556253*c_1100_0^2 - 70409889728823816094796176/528591019068630\ 53770231289*c_1100_0 + 25319264772608627553629023/52859101906863053\ 770231289, c_0101_1 - 1, c_0101_10 + 280827993071443424162280/52859101906863053770231289*c_1100_\ 0^15 + 497136898430096351557014/52859101906863053770231289*c_1100_0\ ^14 - 9735275183363950838256337/52859101906863053770231289*c_1100_0\ ^13 - 19655862108429467497636486/52859101906863053770231289*c_1100_\ 0^12 + 2674958327564468662961207/4066084762066388751556253*c_1100_0\ ^11 + 537802567715395310849975984/52859101906863053770231289*c_1100\ _0^10 - 1043119349061286569796836416/52859101906863053770231289*c_1\ 100_0^9 + 2256502394707941980761084407/52859101906863053770231289*c\ _1100_0^8 - 260973931195352690503431012/52859101906863053770231289*\ c_1100_0^7 - 977691501858137075370060541/52859101906863053770231289\ *c_1100_0^6 + 2093656119602689057830008242/528591019068630537702312\ 89*c_1100_0^5 - 715925834970875146648804386/52859101906863053770231\ 289*c_1100_0^4 + 1148922428788411322334837850/528591019068630537702\ 31289*c_1100_0^3 + 4255852206015158701446623/4066084762066388751556\ 253*c_1100_0^2 + 170703270584020324018596001/5285910190686305377023\ 1289*c_1100_0 - 37757186563972042718919019/528591019068630537702312\ 89, c_0101_5 + 706435648838301709102537/52859101906863053770231289*c_1100_0\ ^15 - 1985709788478970706317367/52859101906863053770231289*c_1100_0\ ^14 - 8972428355812879124720743/52859101906863053770231289*c_1100_0\ ^13 - 37732433335766974608728289/52859101906863053770231289*c_1100_\ 0^12 + 17715010644726780774080691/4066084762066388751556253*c_1100_\ 0^11 + 9876274812755849969675056/52859101906863053770231289*c_1100_\ 0^10 - 65137555570925109943658589/52859101906863053770231289*c_1100\ _0^9 + 1482910640487395305946406652/52859101906863053770231289*c_11\ 00_0^8 - 272647095584500274721045305/52859101906863053770231289*c_1\ 100_0^7 - 143511820411928475249862712/52859101906863053770231289*c_\ 1100_0^6 + 1116104228324464498717980344/52859101906863053770231289*\ c_1100_0^5 + 67965450223757359880636849/52859101906863053770231289*\ c_1100_0^4 + 715809975897441595443574124/52859101906863053770231289\ *c_1100_0^3 + 13910953181170392026054045/4066084762066388751556253*\ c_1100_0^2 + 144079273625655413069216003/52859101906863053770231289\ *c_1100_0 - 17418753542012903542688472/52859101906863053770231289, c_0101_6 + 448414577627556251895767/211436407627452215080925156*c_1100_\ 0^15 + 633006291230299215270063/211436407627452215080925156*c_1100_\ 0^14 - 7274442036145192115639269/105718203813726107540462578*c_1100\ _0^13 - 31048798869494233821134981/211436407627452215080925156*c_11\ 00_0^12 + 4439929068669498940275465/16264339048265555006225012*c_11\ 00_0^11 + 779093335656326124439901401/211436407627452215080925156*c\ _1100_0^10 - 739990121684792381249098853/10571820381372610754046257\ 8*c_1100_0^9 + 3570008685050554925800584873/21143640762745221508092\ 5156*c_1100_0^8 - 782740627484157320871121295/211436407627452215080\ 925156*c_1100_0^7 - 472191855328107510913250673/2114364076274522150\ 80925156*c_1100_0^6 + 2927652747838661388103405791/2114364076274522\ 15080925156*c_1100_0^5 - 830229873098940131389678375/10571820381372\ 6107540462578*c_1100_0^4 + 2455302380722841908836838313/21143640762\ 7452215080925156*c_1100_0^3 - 6134270316649994653028427/81321695241\ 32777503112506*c_1100_0^2 + 139295574121233457258074951/52859101906\ 863053770231289*c_1100_0 - 252167369048751482967721501/211436407627\ 452215080925156, c_1001_0 + 2036232725962507699809405/52859101906863053770231289*c_1100_\ 0^15 - 9435611825795399720790839/52859101906863053770231289*c_1100_\ 0^14 - 8892428374870746329190439/52859101906863053770231289*c_1100_\ 0^13 - 91267157473494490851403765/52859101906863053770231289*c_1100\ _0^12 + 63873462667721557503992171/4066084762066388751556253*c_1100\ _0^11 - 1476368911265384930910394965/52859101906863053770231289*c_1\ 100_0^10 + 2398908988081988837921666173/52859101906863053770231289*\ c_1100_0^9 + 147644432668851041719584488/52859101906863053770231289\ *c_1100_0^8 - 1427568118688246718641086588/528591019068630537702312\ 89*c_1100_0^7 + 2353409657112218471905064769/5285910190686305377023\ 1289*c_1100_0^6 - 765025479992375704414175256/528591019068630537702\ 31289*c_1100_0^5 + 1259930121585239392667107739/5285910190686305377\ 0231289*c_1100_0^4 + 100573518986313574789967533/528591019068630537\ 70231289*c_1100_0^3 + 19858145072420397436406596/406608476206638875\ 1556253*c_1100_0^2 + 12576257592948607666231651/5285910190686305377\ 0231289*c_1100_0 + 12263628476112403468058627/528591019068630537702\ 31289, c_1001_1 - 1532555741158066651754192/52859101906863053770231289*c_1100_\ 0^15 + 7996491140870562478088277/52859101906863053770231289*c_1100_\ 0^14 + 2956895057943850650286306/52859101906863053770231289*c_1100_\ 0^13 + 63162432823424336994958260/52859101906863053770231289*c_1100\ _0^12 - 51395905782028523403376828/4066084762066388751556253*c_1100\ _0^11 + 1456272085459880799738593280/52859101906863053770231289*c_1\ 100_0^10 - 2299284965403189019074971732/52859101906863053770231289*\ c_1100_0^9 + 759968106736442869318800237/52859101906863053770231289\ *c_1100_0^8 + 1431515303511820714133157695/528591019068630537702312\ 89*c_1100_0^7 - 2081826003206038930889057116/5285910190686305377023\ 1289*c_1100_0^6 + 1396108841547131144114748016/52859101906863053770\ 231289*c_1100_0^5 - 1051712396043177796956006886/528591019068630537\ 70231289*c_1100_0^4 + 561386181847659604594720663/52859101906863053\ 770231289*c_1100_0^3 + 3856915493571746422383068/406608476206638875\ 1556253*c_1100_0^2 + 241260372079615153210619621/528591019068630537\ 70231289*c_1100_0 + 78386243760494927079070146/52859101906863053770\ 231289, c_1001_2 - 1294988304320973998654929/52859101906863053770231289*c_1100_\ 0^15 + 4959225268817397249524527/52859101906863053770231289*c_1100_\ 0^14 + 10425516061166191739318731/52859101906863053770231289*c_1100\ _0^13 + 62851551147989753660117865/52859101906863053770231289*c_110\ 0_0^12 - 37010505794419087437252805/4066084762066388751556253*c_110\ 0_0^11 + 516716432182494247959264701/52859101906863053770231289*c_1\ 100_0^10 - 793538982946099688422113881/52859101906863053770231289*c\ _1100_0^9 - 1281559710294246567626774114/52859101906863053770231289\ *c_1100_0^8 + 768748338853385830450327820/5285910190686305377023128\ 9*c_1100_0^7 - 764201288128370682387666456/528591019068630537702312\ 89*c_1100_0^6 - 676837602351959013909816312/52859101906863053770231\ 289*c_1100_0^5 - 449611820657690258663795100/5285910190686305377023\ 1289*c_1100_0^4 - 647928494675368755702162429/528591019068630537702\ 31289*c_1100_0^3 - 16200237434708252236404025/406608476206638875155\ 6253*c_1100_0^2 - 129428432649806654737036522/528591019068630537702\ 31289*c_1100_0 + 30193561845437684204096588/52859101906863053770231\ 289, c_1100_0^16 - 4*c_1100_0^15 - 7*c_1100_0^14 - 49*c_1100_0^13 + 378*c_1100_0^12 - 480*c_1100_0^11 + 843*c_1100_0^10 + 601*c_1100_0^9 - 316*c_1100_0^8 + 758*c_1100_0^7 + 104*c_1100_0^6 + 693*c_1100_0^5 + 349*c_1100_0^4 + 307*c_1100_0^3 + 82*c_1100_0^2 + 25*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB