Magma V2.19-8 Tue Aug 20 2013 23:39:29 on localhost [Seed = 1309157898] Type ? for help. Type -D to quit. Loading file "K13n789__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n789 geometric_solution 10.25904745 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1023 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 1 -1 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038531672834 0.743565192369 0 4 5 2 0132 0132 0132 1023 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554384842227 0.911442539005 3 0 0 1 1023 0132 1023 1023 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 1 -1 0 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.038531672834 0.743565192369 4 2 0 5 0132 1023 0132 0132 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 -1 1 -1 0 1 0 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.554384842227 0.911442539005 3 1 6 7 0132 0132 0132 0132 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 1 0 0 -1 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870493611773 1.324558037119 8 9 3 1 0132 0132 0132 0132 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 1 -1 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.870493611773 1.324558037119 8 9 8 4 3120 0321 0213 0132 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 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259315548326 0.700634713976 8 10 4 9 2103 0132 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 0 0 1 -1 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.414622220865 0.992785203322 5 6 7 6 0132 0213 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259315548326 0.700634713976 7 5 10 6 3012 0132 0132 0321 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 1 0 0 0 0 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414622220865 0.992785203322 10 7 10 9 2031 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 -1 0 1 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.453088687200 0.283730319905 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_4'], 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_10' : 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_10' : negation(d['c_0011_10']), '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_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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0110_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0110_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0110_2'], 'c_1010_8' : negation(d['c_0011_6']), '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : 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' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_9'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), '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_4'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_5']), 'c_1100_8' : d['c_0011_5']})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_9, c_0110_2, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 1928892107545793454985661833/2974113025900296923672465444*c_1001_1^\ 22 - 2061430221386496892079043/767513038942012109334829792*c_1001_1\ ^21 + 123366350912332765521637313467/11896452103601187694689861776*\ c_1001_1^20 - 119529473311410318943045303581/2379290420720237538937\ 9723552*c_1001_1^19 - 19527057202829729274556472499/313064529042136\ 518281312152*c_1001_1^18 + 1638978458484656431374557998215/23792904\ 207202375389379723552*c_1001_1^17 + 231490592134717963960442522427/1487056512950148461836232722*c_1001_\ 1^16 - 3892815525788497813537001593955/1189645210360118769468986177\ 6*c_1001_1^15 - 693301393333235898524433407677/11896452103601187694\ 689861776*c_1001_1^14 + 3760196515483976230045132615297/59482260518\ 00593847344930888*c_1001_1^13 - 255826204909813243767784587965/7675\ 13038942012109334829792*c_1001_1^12 - 13490711219198667214392505015233/23792904207202375389379723552*c_10\ 01_1^11 + 15004433403886164074263081991075/237929042072023753893797\ 23552*c_1001_1^10 + 3876038516340252571347986301747/237929042072023\ 75389379723552*c_1001_1^9 - 444116964986314715269231091076/74352825\ 6475074230918116361*c_1001_1^8 + 4276022169307720887228974590141/23\ 792904207202375389379723552*c_1001_1^7 + 1285717556243255632344639412757/2974113025900296923672465444*c_1001\ _1^6 - 6933873186573044343588603163623/2379290420720237538937972355\ 2*c_1001_1^5 - 3667719902381174721924420209061/23792904207202375389\ 379723552*c_1001_1^4 + 1198016409379433111574365134343/594822605180\ 0593847344930888*c_1001_1^3 - 859835393117702307348732300389/118964\ 52103601187694689861776*c_1001_1^2 - 1920028881416469011262719350471/23792904207202375389379723552*c_100\ 1_1 + 894627946245873128852830144839/23792904207202375389379723552, c_0011_0 - 1, c_0011_10 - 12745566744092382287616/773702660223802529571401*c_1001_1^2\ 2 - 5012720244084436675997/773702660223802529571401*c_1001_1^21 + 261067670929545667083833/773702660223802529571401*c_1001_1^20 + 55389240308432214706949/773702660223802529571401*c_1001_1^19 - 107664151357669776903471/40721192643358027872179*c_1001_1^18 + 287776581194592447990571/773702660223802529571401*c_1001_1^17 + 7742662141108017405422516/773702660223802529571401*c_1001_1^16 - 5400744389458906316328936/773702660223802529571401*c_1001_1^15 - 14341573991614586077969159/773702660223802529571401*c_1001_1^14 + 21909397779123990901298095/773702660223802529571401*c_1001_1^13 + 10374507086512102803055908/773702660223802529571401*c_1001_1^12 - 33918012519252664712017563/773702660223802529571401*c_1001_1^11 + 4162020297527003810980280/773702660223802529571401*c_1001_1^10 + 23864233983857217339920256/773702660223802529571401*c_1001_1^9 - 15229579615497908140296583/773702660223802529571401*c_1001_1^8 - 8444838166715917293397284/773702660223802529571401*c_1001_1^7 + 17002637320503669415172320/773702660223802529571401*c_1001_1^6 - 444062749687998774055465/773702660223802529571401*c_1001_1^5 - 12702930835361056487447617/773702660223802529571401*c_1001_1^4 + 3214301404424051698465071/773702660223802529571401*c_1001_1^3 + 1404408380120329035435428/773702660223802529571401*c_1001_1^2 - 3559826436186590917068212/773702660223802529571401*c_1001_1 + 972213866416667043896421/773702660223802529571401, c_0011_5 + 61170790430495448269166/773702660223802529571401*c_1001_1^22 + 230845098774168018246999/3094810640895210118285604*c_1001_1^21 - 924581260377109090393707/773702660223802529571401*c_1001_1^20 - 1451447840935475612468753/3094810640895210118285604*c_1001_1^19 + 292727391021811199203135/40721192643358027872179*c_1001_1^18 - 7101801037753496281557989/3094810640895210118285604*c_1001_1^17 - 32624487279336436861780961/1547405320447605059142802*c_1001_1^16 + 37061587918360075496531759/1547405320447605059142802*c_1001_1^15 + 20689102513068186386439938/773702660223802529571401*c_1001_1^14 - 47613184049035070159566666/773702660223802529571401*c_1001_1^13 - 4472025155498481284257329/3094810640895210118285604*c_1001_1^12 + 223522390262600311369188457/3094810640895210118285604*c_1001_1^11 - 118020720288473856539276297/3094810640895210118285604*c_1001_1^10 - 129026279556971545308380173/3094810640895210118285604*c_1001_1^9 + 82015050224149032580546315/1547405320447605059142802*c_1001_1^8 + 19715615191443710915827693/3094810640895210118285604*c_1001_1^7 - 33273180242190208666541043/773702660223802529571401*c_1001_1^6 + 38511330111873683031046437/3094810640895210118285604*c_1001_1^5 + 64411216953345732370895729/3094810640895210118285604*c_1001_1^4 - 27720171750699166745941417/1547405320447605059142802*c_1001_1^3 - 1113342915135967176717354/773702660223802529571401*c_1001_1^2 + 26711965057196382203318883/3094810640895210118285604*c_1001_1 - 8238272904503439162117813/3094810640895210118285604, c_0011_6 - 61170790430495448269166/773702660223802529571401*c_1001_1^22 - 230845098774168018246999/3094810640895210118285604*c_1001_1^21 + 924581260377109090393707/773702660223802529571401*c_1001_1^20 + 1451447840935475612468753/3094810640895210118285604*c_1001_1^19 - 292727391021811199203135/40721192643358027872179*c_1001_1^18 + 7101801037753496281557989/3094810640895210118285604*c_1001_1^17 + 32624487279336436861780961/1547405320447605059142802*c_1001_1^16 - 37061587918360075496531759/1547405320447605059142802*c_1001_1^15 - 20689102513068186386439938/773702660223802529571401*c_1001_1^14 + 47613184049035070159566666/773702660223802529571401*c_1001_1^13 + 4472025155498481284257329/3094810640895210118285604*c_1001_1^12 - 223522390262600311369188457/3094810640895210118285604*c_1001_1^11 + 118020720288473856539276297/3094810640895210118285604*c_1001_1^10 + 129026279556971545308380173/3094810640895210118285604*c_1001_1^9 - 82015050224149032580546315/1547405320447605059142802*c_1001_1^8 - 19715615191443710915827693/3094810640895210118285604*c_1001_1^7 + 33273180242190208666541043/773702660223802529571401*c_1001_1^6 - 38511330111873683031046437/3094810640895210118285604*c_1001_1^5 - 64411216953345732370895729/3094810640895210118285604*c_1001_1^4 + 27720171750699166745941417/1547405320447605059142802*c_1001_1^3 + 1113342915135967176717354/773702660223802529571401*c_1001_1^2 - 26711965057196382203318883/3094810640895210118285604*c_1001_1 + 8238272904503439162117813/3094810640895210118285604, c_0101_0 + 365583340174149976787207/3094810640895210118285604*c_1001_1^\ 22 + 61170790430495448269166/773702660223802529571401*c_1001_1^21 - 5618488344012231610348313/3094810640895210118285604*c_1001_1^20 - 193414580028809136819293/773702660223802529571401*c_1001_1^19 + 1770765937672785376794901/162884770573432111488716*c_1001_1^18 - 8983442850749423153577255/1547405320447605059142802*c_1001_1^17 - 46506942989339370413275817/1547405320447605059142802*c_1001_1^16 + 31761965593232503516627240/773702660223802529571401*c_1001_1^15 + 23100585711356912458105967/773702660223802529571401*c_1001_1^14 - 286848346863792880986106525/3094810640895210118285604*c_1001_1^13 + 47542018257231354250205093/3094810640895210118285604*c_1001_1^12 + 289456980344518100052657099/3094810640895210118285604*c_1001_1^11 - 198360784298368761843248421/3094810640895210118285604*c_1001_1^10 - 61752235195543053095542201/1547405320447605059142802*c_1001_1^9 + 222664893690560732360912961/3094810640895210118285604*c_1001_1^8 - 4873184079781305796521321/773702660223802529571401*c_1001_1^7 - 167463054977721077199222291/3094810640895210118285604*c_1001_1^6 + 81504699713465201707926337/3094810640895210118285604*c_1001_1^5 + 32965040312467465645043481/1547405320447605059142802*c_1001_1^4 - 18536217243164277207863931/773702660223802529571401*c_1001_1^3 + 15848407832560911981622531/3094810640895210118285604*c_1001_1^2 + 26791356173760889624031127/3094810640895210118285604*c_1001_1 - 3649738095620641293408877/773702660223802529571401, c_0101_1 + 196506372369051726593157/6189621281790420236571208*c_1001_1^\ 22 + 260164794342255495774363/6189621281790420236571208*c_1001_1^21 - 2785225704286218521279247/6189621281790420236571208*c_1001_1^20 - 2283579265537117332452345/6189621281790420236571208*c_1001_1^19 + 823852348115621495376887/325769541146864222977432*c_1001_1^18 + 1738262764673821579989341/6189621281790420236571208*c_1001_1^17 - 5544735899924186795212974/773702660223802529571401*c_1001_1^16 + 14930924000472854228549439/3094810640895210118285604*c_1001_1^15 + 16180725691855899575735993/1547405320447605059142802*c_1001_1^14 - 83254913721196344621441003/6189621281790420236571208*c_1001_1^13 - 24666607173522766969393875/3094810640895210118285604*c_1001_1^12 + 51078868322098325073608707/3094810640895210118285604*c_1001_1^11 - 1618119642959903489875735/1547405320447605059142802*c_1001_1^10 - 70364707333443116550826275/6189621281790420236571208*c_1001_1^9 + 53532435786146920966450857/6189621281790420236571208*c_1001_1^8 + 32282805420975222234885689/6189621281790420236571208*c_1001_1^7 - 61952519107451280767021565/6189621281790420236571208*c_1001_1^6 - 2761436272366230057785071/1547405320447605059142802*c_1001_1^5 + 31966078926329963872789903/6189621281790420236571208*c_1001_1^4 - 3725648296479236996872249/3094810640895210118285604*c_1001_1^3 - 3637971132910716514915351/6189621281790420236571208*c_1001_1^2 + 1814610703449486589508933/773702660223802529571401*c_1001_1 - 1670739299984149474227697/6189621281790420236571208, c_0101_4 + c_1001_1, c_0101_9 + 75070855056386184383743/773702660223802529571401*c_1001_1^22 + 84884220940188445209502/773702660223802529571401*c_1001_1^21 - 1121695378813111627859880/773702660223802529571401*c_1001_1^20 - 626977515175283583775654/773702660223802529571401*c_1001_1^19 + 355030164912225944259697/40721192643358027872179*c_1001_1^18 - 1383033988101726799211539/773702660223802529571401*c_1001_1^17 - 20200325388699803170675231/773702660223802529571401*c_1001_1^16 + 21788873608814212205389820/773702660223802529571401*c_1001_1^15 + 26527587031768586555190430/773702660223802529571401*c_1001_1^14 - 60130900418039008093086524/773702660223802529571401*c_1001_1^13 + 1510988137913651245944499/773702660223802529571401*c_1001_1^12 + 69629971613070831380677241/773702660223802529571401*c_1001_1^11 - 46322590483805738971520790/773702660223802529571401*c_1001_1^10 - 34955559912142414465238951/773702660223802529571401*c_1001_1^9 + 60712733303827748053128023/773702660223802529571401*c_1001_1^8 - 206859159276870329036511/773702660223802529571401*c_1001_1^7 - 46136857574046611408386756/773702660223802529571401*c_1001_1^6 + 17000477145576648494030902/773702660223802529571401*c_1001_1^5 + 19531024844299568464050593/773702660223802529571401*c_1001_1^4 - 22000550542102231257122245/773702660223802529571401*c_1001_1^3 + 2147880661346465373122051/773702660223802529571401*c_1001_1^2 + 10473474790028176245819486/773702660223802529571401*c_1001_1 - 3990178723244304943171398/773702660223802529571401, c_0110_2 - 196506372369051726593157/6189621281790420236571208*c_1001_1^\ 22 - 260164794342255495774363/6189621281790420236571208*c_1001_1^21 + 2785225704286218521279247/6189621281790420236571208*c_1001_1^20 + 2283579265537117332452345/6189621281790420236571208*c_1001_1^19 - 823852348115621495376887/325769541146864222977432*c_1001_1^18 - 1738262764673821579989341/6189621281790420236571208*c_1001_1^17 + 5544735899924186795212974/773702660223802529571401*c_1001_1^16 - 14930924000472854228549439/3094810640895210118285604*c_1001_1^15 - 16180725691855899575735993/1547405320447605059142802*c_1001_1^14 + 83254913721196344621441003/6189621281790420236571208*c_1001_1^13 + 24666607173522766969393875/3094810640895210118285604*c_1001_1^12 - 51078868322098325073608707/3094810640895210118285604*c_1001_1^11 + 1618119642959903489875735/1547405320447605059142802*c_1001_1^10 + 70364707333443116550826275/6189621281790420236571208*c_1001_1^9 - 53532435786146920966450857/6189621281790420236571208*c_1001_1^8 - 32282805420975222234885689/6189621281790420236571208*c_1001_1^7 + 61952519107451280767021565/6189621281790420236571208*c_1001_1^6 + 2761436272366230057785071/1547405320447605059142802*c_1001_1^5 - 31966078926329963872789903/6189621281790420236571208*c_1001_1^4 + 3725648296479236996872249/3094810640895210118285604*c_1001_1^3 + 3637971132910716514915351/6189621281790420236571208*c_1001_1^2 - 1814610703449486589508933/773702660223802529571401*c_1001_1 + 1670739299984149474227697/6189621281790420236571208, c_1001_1^23 - 16*c_1001_1^21 + 8*c_1001_1^20 + 96*c_1001_1^19 - 110*c_1001_1^18 - 235*c_1001_1^17 + 526*c_1001_1^16 + 50*c_1001_1^15 - 1011*c_1001_1^14 + 651*c_1001_1^13 + 804*c_1001_1^12 - 1154*c_1001_1^11 - 15*c_1001_1^10 + 962*c_1001_1^9 - 502*c_1001_1^8 - 512*c_1001_1^7 + 587*c_1001_1^6 + 75*c_1001_1^5 - 379*c_1001_1^4 + 195*c_1001_1^3 + 77*c_1001_1^2 - 113*c_1001_1 + 31, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.350 seconds, Total memory usage: 32.09MB