Magma V2.19-8 Wed Aug 21 2013 00:57:25 on localhost [Seed = 4138789936] Type ? for help. Type -D to quit. Loading file "L13n4346__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4346 geometric_solution 12.03816457 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3120 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 0 0 0 0 0 0 0 -1 1 0 -1 0 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.276052657896 0.761918916027 0 2 4 4 0132 1230 2103 0132 1 0 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 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.662590323694 0.456147360571 5 0 1 6 0132 0132 3012 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 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.480179392333 1.559932222951 0 5 4 0 3120 0132 0132 0132 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 0 0 0 0 0 0 0 0 1 -1 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.655381233735 0.689756464525 1 7 1 3 2103 0132 0132 0132 1 0 1 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 0 0 0 0 0 0 0 0 1 0 -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 0 0 -0.023943840893 0.704914128223 2 3 8 9 0132 0132 0132 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 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.605535331405 0.833871242351 10 8 2 7 0132 0132 0132 2310 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630123946768 1.053980997245 6 4 11 9 3201 0132 0132 1230 1 1 1 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 0 0 0 0 0 0 0 0 -1 1 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720333052754 0.697850376685 10 6 12 5 3120 0132 0132 0132 1 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 0 0 0 0 0 0 -1 0 0 1 -1 9 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464739923453 0.638165998597 7 12 5 11 3012 3120 0132 2310 1 1 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 0 0 0 0 0 0 0 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.386542293791 1.771246301703 6 11 12 8 0132 0213 1302 3120 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 -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.511150453899 0.330432362759 9 12 10 7 3201 3201 0213 0132 1 1 1 1 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 8 0 1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337772911468 0.690960472764 10 9 11 8 2031 3120 2310 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.064706323285 0.879161982206 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_12']), 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_1001_12']), 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : negation(d['c_0011_10']), '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0011_12']), '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_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' : 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' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_1001_12']), 'c_1010_4' : negation(d['c_1001_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_1001_0'], 'c_1100_8' : d['c_0011_11'], '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'], 'c_1100_12' : d['c_0011_11'], '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_9'], 'c_0011_8' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_12']), 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : negation(d['c_0101_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : negation(d['c_0011_12']), 's_2_9' : d['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_4, c_0011_9, c_0101_0, c_0101_12, c_0101_2, c_0101_3, c_0101_5, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1794412710850860289968484131/377947501989637409342741696*c_1001_12^\ 16 - 13024580355229883279641310027/188973750994818704671370848*c_10\ 01_12^15 - 144265049925532175107006922715/3779475019896374093427416\ 96*c_1001_12^14 - 93316637368926410837747193141/9448687549740935233\ 5685424*c_1001_12^13 - 234154483081147009463139659291/1889737509948\ 18704671370848*c_1001_12^12 - 242609394270681377063097232533/188973\ 750994818704671370848*c_1001_12^11 - 123069925479756834623774222797/47243437748704676167842712*c_1001_12\ ^10 - 603130777683113022290222862893/188973750994818704671370848*c_\ 1001_12^9 - 1149247844823688316668204201755/37794750198963740934274\ 1696*c_1001_12^8 - 827054507929818549458665820707/18897375099481870\ 4671370848*c_1001_12^7 - 92653031419415218902777588213/472434377487\ 04676167842712*c_1001_12^6 - 1138867967854607554771749223/855084846\ 130401378603488*c_1001_12^5 - 248044873740514683929282770651/188973\ 750994818704671370848*c_1001_12^4 + 121723960157438419218584942749/94486875497409352335685424*c_1001_12\ ^3 - 18988670327339861047895307071/377947501989637409342741696*c_10\ 01_12^2 + 11685598446764029090132962567/188973750994818704671370848\ *c_1001_12 + 8301758633599996285455518989/3779475019896374093427416\ 96, c_0011_0 - 1, c_0011_10 + 41207866353218982/518932698455616163*c_1001_12^16 + 2294386207637423465/2075730793822464652*c_1001_12^15 + 11831517526227202503/2075730793822464652*c_1001_12^14 + 26510400771857551331/2075730793822464652*c_1001_12^13 + 5850681635616759274/518932698455616163*c_1001_12^12 + 21606722842374860067/2075730793822464652*c_1001_12^11 + 68652973729490549821/2075730793822464652*c_1001_12^10 + 31728156459428329263/1037865396911232326*c_1001_12^9 + 50839151431459018475/2075730793822464652*c_1001_12^8 + 52316294409541179877/1037865396911232326*c_1001_12^7 - 7002606500797487035/2075730793822464652*c_1001_12^6 + 28279565842547825307/2075730793822464652*c_1001_12^5 + 9983374650065114203/518932698455616163*c_1001_12^4 - 55819246782252706305/2075730793822464652*c_1001_12^3 + 45538211682132399003/2075730793822464652*c_1001_12^2 - 3593496528649853183/2075730793822464652*c_1001_12 - 33730143341989782/518932698455616163, c_0011_11 + 5740799643214848/518932698455616163*c_1001_12^16 + 320306552882760557/2075730793822464652*c_1001_12^15 + 1673872393582415227/2075730793822464652*c_1001_12^14 + 3970043509294070263/2075730793822464652*c_1001_12^13 + 1141023430811537743/518932698455616163*c_1001_12^12 + 5850503549259488103/2075730793822464652*c_1001_12^11 + 12214195451704950157/2075730793822464652*c_1001_12^10 + 5745367171202911721/1037865396911232326*c_1001_12^9 + 14514645131112178395/2075730793822464652*c_1001_12^8 + 10910536007718104041/1037865396911232326*c_1001_12^7 + 5098677840496236197/2075730793822464652*c_1001_12^6 + 15399122156077818587/2075730793822464652*c_1001_12^5 + 1564016532913273747/518932698455616163*c_1001_12^4 - 4483312678954387221/2075730793822464652*c_1001_12^3 + 10255573535326766791/2075730793822464652*c_1001_12^2 - 6679912705799283327/2075730793822464652*c_1001_12 + 888413770539343388/518932698455616163, c_0011_12 + 26199393479442055/518932698455616163*c_1001_12^16 + 1437046351339804385/2075730793822464652*c_1001_12^15 + 7217715161070060643/2075730793822464652*c_1001_12^14 + 15258805319455521223/2075730793822464652*c_1001_12^13 + 2791185619235884690/518932698455616163*c_1001_12^12 + 10016658090874260295/2075730793822464652*c_1001_12^11 + 39819526717707163559/2075730793822464652*c_1001_12^10 + 15054998932787905543/1037865396911232326*c_1001_12^9 + 22045362969804183593/2075730793822464652*c_1001_12^8 + 28820265886049178305/1037865396911232326*c_1001_12^7 - 20407239200474367585/2075730793822464652*c_1001_12^6 + 15143436091091433101/2075730793822464652*c_1001_12^5 + 4927711416025956288/518932698455616163*c_1001_12^4 - 41160832594644874223/2075730793822464652*c_1001_12^3 + 34936262426699196767/2075730793822464652*c_1001_12^2 - 6663818445636859233/2075730793822464652*c_1001_12 + 61806420058411954/518932698455616163, c_0011_4 - 191563749238001349/2075730793822464652*c_1001_12^16 - 2668246062939743413/2075730793822464652*c_1001_12^15 - 13797433379093933409/2075730793822464652*c_1001_12^14 - 15619827411512843341/1037865396911232326*c_1001_12^13 - 28952965446988603747/2075730793822464652*c_1001_12^12 - 28247031653896745835/2075730793822464652*c_1001_12^11 - 20401975505727463117/518932698455616163*c_1001_12^10 - 75877776294101366031/2075730793822464652*c_1001_12^9 - 16781661604705383276/518932698455616163*c_1001_12^8 - 126495578966689210381/2075730793822464652*c_1001_12^7 + 3423389068863851047/2075730793822464652*c_1001_12^6 - 20782923169762438547/1037865396911232326*c_1001_12^5 - 40207440504206881915/2075730793822464652*c_1001_12^4 + 60912859914960180867/2075730793822464652*c_1001_12^3 - 53190960630363440543/2075730793822464652*c_1001_12^2 + 5550894916960762413/1037865396911232326*c_1001_12 - 1086970819710296137/518932698455616163, c_0011_9 + 86938541750528553/2075730793822464652*c_1001_12^16 + 1174964725179531701/2075730793822464652*c_1001_12^15 + 5751255317651237973/2075730793822464652*c_1001_12^14 + 5729166246175238857/1037865396911232326*c_1001_12^13 + 6632921138288638987/2075730793822464652*c_1001_12^12 + 6030126869714912811/2075730793822464652*c_1001_12^11 + 7662356209972827758/518932698455616163*c_1001_12^10 + 17720227818759744055/2075730793822464652*c_1001_12^9 + 2954821308371121018/518932698455616163*c_1001_12^8 + 41767637249531680421/2075730793822464652*c_1001_12^7 - 27641620854396184835/2075730793822464652*c_1001_12^6 + 6391175527930080627/1037865396911232326*c_1001_12^5 + 10959590721407017891/2075730793822464652*c_1001_12^4 - 37552960518618390299/2075730793822464652*c_1001_12^3 + 33045993174465072067/2075730793822464652*c_1001_12^2 - 4964409793853238639/1037865396911232326*c_1001_12 + 244281525209342243/518932698455616163, c_0101_0 - 1, c_0101_12 + 35606103951891941/1037865396911232326*c_1001_12^16 + 1005570324656942863/2075730793822464652*c_1001_12^15 + 5299834142783066585/2075730793822464652*c_1001_12^14 + 12319194237082166493/2075730793822464652*c_1001_12^13 + 5759639388125588469/1037865396911232326*c_1001_12^12 + 9118323083277412113/2075730793822464652*c_1001_12^11 + 29022793161267700295/2075730793822464652*c_1001_12^10 + 7778759120236298729/518932698455616163*c_1001_12^9 + 21690192288154653723/2075730793822464652*c_1001_12^8 + 21400351374403565919/1037865396911232326*c_1001_12^7 + 1135764365455731173/2075730793822464652*c_1001_12^6 + 2001519166410087565/2075730793822464652*c_1001_12^5 + 8787498057175429107/1037865396911232326*c_1001_12^4 - 22714099053230100917/2075730793822464652*c_1001_12^3 + 11064122560767247943/2075730793822464652*c_1001_12^2 + 6643768803294423999/2075730793822464652*c_1001_12 - 820112083338037574/518932698455616163, c_0101_2 - 114086687101568107/2075730793822464652*c_1001_12^16 - 1587636465551334519/2075730793822464652*c_1001_12^15 - 8207180410817444293/2075730793822464652*c_1001_12^14 - 4661257532735921467/518932698455616163*c_1001_12^13 - 17768549947971111013/2075730793822464652*c_1001_12^12 - 18388841422483487515/2075730793822464652*c_1001_12^11 - 12539591669106752083/518932698455616163*c_1001_12^10 - 46230698840206082471/2075730793822464652*c_1001_12^9 - 22022738638604359331/1037865396911232326*c_1001_12^8 - 79701295010254661735/2075730793822464652*c_1001_12^7 - 935169882995901069/2075730793822464652*c_1001_12^6 - 8081058162612018877/518932698455616163*c_1001_12^5 - 24953620889709876535/2075730793822464652*c_1001_12^4 + 35060752333531833667/2075730793822464652*c_1001_12^3 - 36971081152051088963/2075730793822464652*c_1001_12^2 + 2550689009427497570/518932698455616163*c_1001_12 - 1083474169743820437/518932698455616163, c_0101_3 + 38738531068216621/1037865396911232326*c_1001_12^16 + 540304798694204447/1037865396911232326*c_1001_12^15 + 1397563242069122279/518932698455616163*c_1001_12^14 + 6297312346041000407/1037865396911232326*c_1001_12^13 + 5592207749508746367/1037865396911232326*c_1001_12^12 + 2464547557853314580/518932698455616163*c_1001_12^11 + 7862383836620711034/518932698455616163*c_1001_12^10 + 7411769363473820890/518932698455616163*c_1001_12^9 + 11540584570806407221/1037865396911232326*c_1001_12^8 + 23397141978217274323/1037865396911232326*c_1001_12^7 - 1089639737964938029/518932698455616163*c_1001_12^6 + 4620806844538400793/1037865396911232326*c_1001_12^5 + 3813454903624251345/518932698455616163*c_1001_12^4 - 6463026895357086800/518932698455616163*c_1001_12^3 + 4054969869578087895/518932698455616163*c_1001_12^2 - 449516898105767273/1037865396911232326*c_1001_12 + 3496649966475700/518932698455616163, c_0101_5 + 44479330711431469/518932698455616163*c_1001_12^16 + 2481525747659578345/2075730793822464652*c_1001_12^15 + 12854378330135393459/2075730793822464652*c_1001_12^14 + 29159292893458071891/2075730793822464652*c_1001_12^13 + 6733231180320284110/518932698455616163*c_1001_12^12 + 25566884012086004743/2075730793822464652*c_1001_12^11 + 75113266144670638429/2075730793822464652*c_1001_12^10 + 35392444625098195281/1037865396911232326*c_1001_12^9 + 60676983414337807279/2075730793822464652*c_1001_12^8 + 57704819964152652687/1037865396911232326*c_1001_12^7 - 3618440063223268035/2075730793822464652*c_1001_12^6 + 33882349534231421759/2075730793822464652*c_1001_12^5 + 9190926340161776437/518932698455616163*c_1001_12^4 - 56187527841811081621/2075730793822464652*c_1001_12^3 + 44771063285773934603/2075730793822464652*c_1001_12^2 - 4326518710577423115/2075730793822464652*c_1001_12 + 376474372016678625/518932698455616163, c_1001_0 + 38738531068216621/1037865396911232326*c_1001_12^16 + 540304798694204447/1037865396911232326*c_1001_12^15 + 1397563242069122279/518932698455616163*c_1001_12^14 + 6297312346041000407/1037865396911232326*c_1001_12^13 + 5592207749508746367/1037865396911232326*c_1001_12^12 + 2464547557853314580/518932698455616163*c_1001_12^11 + 7862383836620711034/518932698455616163*c_1001_12^10 + 7411769363473820890/518932698455616163*c_1001_12^9 + 11540584570806407221/1037865396911232326*c_1001_12^8 + 23397141978217274323/1037865396911232326*c_1001_12^7 - 1089639737964938029/518932698455616163*c_1001_12^6 + 4620806844538400793/1037865396911232326*c_1001_12^5 + 3813454903624251345/518932698455616163*c_1001_12^4 - 6463026895357086800/518932698455616163*c_1001_12^3 + 4054969869578087895/518932698455616163*c_1001_12^2 - 449516898105767273/1037865396911232326*c_1001_12 - 515436048489140463/518932698455616163, c_1001_12^17 + 14*c_1001_12^16 + 73*c_1001_12^15 + 168*c_1001_12^14 + 162*c_1001_12^13 + 158*c_1001_12^12 + 440*c_1001_12^11 + 430*c_1001_12^10 + 377*c_1001_12^9 + 694*c_1001_12^8 + 40*c_1001_12^7 + 218*c_1001_12^6 + 250*c_1001_12^5 - 300*c_1001_12^4 + 253*c_1001_12^3 - 14*c_1001_12^2 + 9*c_1001_12 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.490 seconds, Total memory usage: 32.09MB