Magma V2.19-8 Wed Aug 21 2013 00:57:42 on localhost [Seed = 189600189] Type ? for help. Type -D to quit. Loading file "L13n4413__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4413 geometric_solution 12.21705203 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 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 -1 1 1 0 -1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.318466590680 1.219544917870 0 5 3 6 0132 0132 0321 0132 0 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 -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.462993110450 0.335230156756 7 0 8 5 0132 0132 0132 0132 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 0 0 0 0 0 -4 4 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.327615136710 0.947848426445 6 9 1 0 0132 0132 0321 0132 0 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 -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.527481560878 0.491641770239 10 7 0 5 0132 0213 0132 0213 0 1 1 1 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 -5 5 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492111285068 0.803235238491 11 1 2 4 0132 0132 0132 0213 0 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 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691688512354 0.896652698155 3 9 1 12 0132 0213 0132 0132 0 1 1 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 0 0 0 0 0 0 0 1 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 0 0 1.080983589834 0.745268451002 2 11 4 12 0132 0132 0213 0213 0 1 1 1 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 0 -1 1 0 0 -5 5 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.451007627254 0.802662827809 10 11 12 2 1023 0321 0213 0132 0 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 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529378258559 0.507538481620 10 3 6 11 2310 0132 0213 0132 0 1 1 1 0 0 1 -1 -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 1 -1 0 5 0 -1 -4 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.534805263106 0.621027575409 4 8 9 12 0132 1023 3201 2310 1 1 1 1 0 -1 0 1 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 1 -5 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.020669439919 0.625953212422 5 7 9 8 0132 0132 0132 0321 0 1 1 1 0 -1 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 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 0 0 0 0 0 0 0 0.565719800159 1.200809326320 10 8 6 7 3201 0213 0132 0213 0 1 1 1 0 0 -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 1 -1 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785142270968 0.777774093618 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_2'], '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' : negation(d['c_0101_1']), 'c_0101_11' : negation(d['c_0101_10']), '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_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_1100_9' : d['c_1001_12'], 'c_1100_8' : d['c_1010_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1010_12'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1010_12'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1010_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1010_12'], '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_1001_11'], 'c_1010_8' : d['c_1001_2'], '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_1001_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' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_2']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_1']), '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_12, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_1, c_1001_11, c_1001_12, c_1001_2, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 45259124467525790028653328/738421071760205090227537*c_1010_12^16 + 13575601061933003864049635/738421071760205090227537*c_1010_12^15 - 13743751331977184034959999/32105263989574134357719*c_1010_12^14 - 198934146644508128513487927/738421071760205090227537*c_1010_12^13 + 20326477714589734390968898/15069817791024593678113*c_1010_12^12 + 406440378880034886939366055/738421071760205090227537*c_1010_12^11 - 635373427402554247825510894/738421071760205090227537*c_1010_12^10 - 2682932178785247913039108704/738421071760205090227537*c_1010_12^9 + 2559818743675982475599872957/738421071760205090227537*c_1010_12^8 - 612034426786505873279003347/738421071760205090227537*c_1010_12^7 + 3427233133221017098742441012/738421071760205090227537*c_1010_12^6 - 4282331840629404549624079907/738421071760205090227537*c_1010_12^5 + 2221659746731337134787616504/738421071760205090227537*c_1010_12^4 - 3931131930683577130985758723/738421071760205090227537*c_1010_12^3 + 4137223768254527590662883655/738421071760205090227537*c_1010_12^2 - 1248468440746297605989099153/738421071760205090227537*c_1010_12 - 13074129684015439314456638/738421071760205090227537, c_0011_0 - 1, c_0011_10 - 8157874790329344933/41468953745252046445*c_1010_12^16 - 7759511126700138212/41468953745252046445*c_1010_12^15 + 54952759633883026433/41468953745252046445*c_1010_12^14 + 15181115249780218402/8293790749050409289*c_1010_12^13 - 148291246746717036202/41468953745252046445*c_1010_12^12 - 40606270046068644584/8293790749050409289*c_1010_12^11 + 4700898317005274578/8293790749050409289*c_1010_12^10 + 571040595653467102234/41468953745252046445*c_1010_12^9 - 83594472600643588327/41468953745252046445*c_1010_12^8 - 95479093423228995758/41468953745252046445*c_1010_12^7 - 682617907212390036298/41468953745252046445*c_1010_12^6 + 65888485606552174314/8293790749050409289*c_1010_12^5 - 29058393137281269122/41468953745252046445*c_1010_12^4 + 663719604807284692226/41468953745252046445*c_1010_12^3 - 294362964764857738368/41468953745252046445*c_1010_12^2 - 150792477667844925264/41468953745252046445*c_1010_12 - 2912643236227589054/41468953745252046445, c_0011_12 + 10588073991055953837/41468953745252046445*c_1010_12^16 + 16648079418646202669/41468953745252046445*c_1010_12^15 - 59199126009894161872/41468953745252046445*c_1010_12^14 - 128975677288549492991/41468953745252046445*c_1010_12^13 + 108063625129808872352/41468953745252046445*c_1010_12^12 + 291828944242493577398/41468953745252046445*c_1010_12^11 + 129943170605208600068/41468953745252046445*c_1010_12^10 - 590290815618782250933/41468953745252046445*c_1010_12^9 - 170360682548515510062/41468953745252046445*c_1010_12^8 - 9889067396271270779/41468953745252046445*c_1010_12^7 + 726766524948164836502/41468953745252046445*c_1010_12^6 - 26383146787635482499/41468953745252046445*c_1010_12^5 + 49755541795531349549/41468953745252046445*c_1010_12^4 - 685172047379245548309/41468953745252046445*c_1010_12^3 - 305608763225000242/8293790749050409289*c_1010_12^2 + 29928470191086020131/8293790749050409289*c_1010_12 + 16735299975752243753/41468953745252046445, c_0101_0 - 18244939116406721604/41468953745252046445*c_1010_12^16 - 17795907506238031226/41468953745252046445*c_1010_12^15 + 115530581797192497029/41468953745252046445*c_1010_12^14 + 31520737408277783179/8293790749050409289*c_1010_12^13 - 296956432659478496926/41468953745252046445*c_1010_12^12 - 72434046597951817045/8293790749050409289*c_1010_12^11 + 4050175101025550685/8293790749050409289*c_1010_12^10 + 1093686889309128398812/41468953745252046445*c_1010_12^9 - 300104992212972875771/41468953745252046445*c_1010_12^8 + 23060584248547240271/41468953745252046445*c_1010_12^7 - 1349655282155311190634/41468953745252046445*c_1010_12^6 + 163854905652122576895/8293790749050409289*c_1010_12^5 - 285805469766940237576/41468953745252046445*c_1010_12^4 + 1340334018994992545528/41468953745252046445*c_1010_12^3 - 778483651842682722864/41468953745252046445*c_1010_12^2 - 47349276899324542152/41468953745252046445*c_1010_12 + 33554025649490078343/41468953745252046445, c_0101_1 + 40159450210416425652/41468953745252046445*c_1010_12^16 + 42962453470185970237/41468953745252046445*c_1010_12^15 - 251817950564959118932/41468953745252046445*c_1010_12^14 - 376045608348750650959/41468953745252046445*c_1010_12^13 + 621300161242226692064/41468953745252046445*c_1010_12^12 + 885680597137771341037/41468953745252046445*c_1010_12^11 + 53050481755845696727/41468953745252046445*c_1010_12^10 - 2448672339244468516399/41468953745252046445*c_1010_12^9 + 389797620177628398323/41468953745252046445*c_1010_12^8 + 16063633843495589938/41468953745252046445*c_1010_12^7 + 3003764169889141455537/41468953745252046445*c_1010_12^6 - 1502912432341212749251/41468953745252046445*c_1010_12^5 + 543054045794563885307/41468953745252046445*c_1010_12^4 - 2909179930239300721349/41468953745252046445*c_1010_12^3 + 1327436884358898712924/41468953745252046445*c_1010_12^2 + 254360333301305440682/41468953745252046445*c_1010_12 - 4870841951473619671/41468953745252046445, c_0101_10 - 56284270154712998931/41468953745252046445*c_1010_12^16 - 54161144253258638371/41468953745252046445*c_1010_12^15 + 357499934112607559401/41468953745252046445*c_1010_12^14 + 484636259574174065357/41468953745252046445*c_1010_12^13 - 918119810374000719252/41468953745252046445*c_1010_12^12 - 1114604634782619829031/41468953745252046445*c_1010_12^11 + 48035178036873996449/41468953745252046445*c_1010_12^10 + 3357847943642124932832/41468953745252046445*c_1010_12^9 - 941370294656390112009/41468953745252046445*c_1010_12^8 + 170878648433085482466/41468953745252046445*c_1010_12^7 - 4166084748974996111691/41468953745252046445*c_1010_12^6 + 2514314497850356559018/41468953745252046445*c_1010_12^5 - 1114468642599071940956/41468953745252046445*c_1010_12^4 + 4221101000791150048677/41468953745252046445*c_1010_12^3 - 2369127431575510096412/41468953745252046445*c_1010_12^2 + 2497488279121929024/41468953745252046445*c_1010_12 - 28346014095112863557/41468953745252046445, c_0101_2 + 23744784287285904306/41468953745252046445*c_1010_12^16 + 26159867212168689706/41468953745252046445*c_1010_12^15 - 148417582504763298916/41468953745252046445*c_1010_12^14 - 226339575137860050457/41468953745252046445*c_1010_12^13 + 364781567278900978837/41468953745252046445*c_1010_12^12 + 534404275532337539986/41468953745252046445*c_1010_12^11 + 29743252967756424941/41468953745252046445*c_1010_12^10 - 1452852860838043979887/41468953745252046445*c_1010_12^9 + 196446390300072401814/41468953745252046445*c_1010_12^8 + 54742221244351864609/41468953745252046445*c_1010_12^7 + 1765713165393657550781/41468953745252046445*c_1010_12^6 - 834864872274992005518/41468953745252046445*c_1010_12^5 + 233410908475728873091/41468953745252046445*c_1010_12^4 - 1724586266556599660332/41468953745252046445*c_1010_12^3 + 757121926381929001502/41468953745252046445*c_1010_12^2 + 232353613235106923826/41468953745252046445*c_1010_12 + 7774636420514701642/41468953745252046445, c_1001_0 - 1, c_1001_1 - 9715260450736248456/8293790749050409289*c_1010_12^16 - 10117196981554887628/8293790749050409289*c_1010_12^15 + 60971540823840158732/8293790749050409289*c_1010_12^14 + 88569257879195543821/8293790749050409289*c_1010_12^13 - 151955356895223649861/8293790749050409289*c_1010_12^12 - 205556884888715107315/8293790749050409289*c_1010_12^11 - 6114142395549660701/8293790749050409289*c_1010_12^10 + 584206849935227257833/8293790749050409289*c_1010_12^9 - 119339570522394889761/8293790749050409289*c_1010_12^8 + 5635050039785727711/8293790749050409289*c_1010_12^7 - 712842155861281097115/8293790749050409289*c_1010_12^6 + 388633389137475933431/8293790749050409289*c_1010_12^5 - 148721998523333140520/8293790749050409289*c_1010_12^4 + 692148537560783993544/8293790749050409289*c_1010_12^3 - 346572621000493325873/8293790749050409289*c_1010_12^2 - 47154721191292266666/8293790749050409289*c_1010_12 + 9463140131706828380/8293790749050409289, c_1001_11 - 4388529859033159773/8293790749050409289*c_1010_12^16 - 5342812326874515423/8293790749050409289*c_1010_12^15 + 26220216947448182659/8293790749050409289*c_1010_12^14 + 44430290668385927352/8293790749050409289*c_1010_12^13 - 58366541534909701778/8293790749050409289*c_1010_12^12 - 101427004268743867375/8293790749050409289*c_1010_12^11 - 27859655088117337434/8293790749050409289*c_1010_12^10 + 256945949795486180822/8293790749050409289*c_1010_12^9 - 4809622228260779188/8293790749050409289*c_1010_12^8 + 19563211662374326126/8293790749050409289*c_1010_12^7 - 336461938857687290066/8293790749050409289*c_1010_12^6 + 121587753002610214168/8293790749050409289*c_1010_12^5 - 63352826275703106284/8293790749050409289*c_1010_12^4 + 324967539895723566415/8293790749050409289*c_1010_12^3 - 109638181358057854245/8293790749050409289*c_1010_12^2 - 24846151428873761037/8293790749050409289*c_1010_12 - 11697398099037681379/8293790749050409289, c_1001_12 + 580694178800499339/8293790749050409289*c_1010_12^16 + 2115856155448702354/8293790749050409289*c_1010_12^15 - 2419944511962181260/8293790749050409289*c_1010_12^14 - 15049050467599527115/8293790749050409289*c_1010_12^13 - 2381176154376072842/8293790749050409289*c_1010_12^12 + 38015596709795079918/8293790749050409289*c_1010_12^11 + 25525947903598583626/8293790749050409289*c_1010_12^10 - 37037457088210005040/8293790749050409289*c_1010_12^9 - 79367238031077947806/8293790749050409289*c_1010_12^8 + 32165997142098864986/8293790749050409289*c_1010_12^7 + 32250083242460220855/8293790749050409289*c_1010_12^6 + 85462600856832873335/8293790749050409289*c_1010_12^5 - 62494785499959950616/8293790749050409289*c_1010_12^4 - 9391828776632911915/8293790749050409289*c_1010_12^3 - 77854362136982219991/8293790749050409289*c_1010_12^2 + 60494324967826582292/8293790749050409289*c_1010_12 - 1619071110568857638/8293790749050409289, c_1001_2 - 3430956350389516758/8293790749050409289*c_1010_12^16 - 3738809892829080378/8293790749050409289*c_1010_12^15 + 21289150077664181330/8293790749050409289*c_1010_12^14 + 32506089197659268267/8293790749050409289*c_1010_12^13 - 50961100115202268559/8293790749050409289*c_1010_12^12 - 75554874227869780672/8293790749050409289*c_1010_12^11 - 11644112906137417886/8293790749050409289*c_1010_12^10 + 204610965554777552886/8293790749050409289*c_1010_12^9 - 22124096857195192810/8293790749050409289*c_1010_12^8 + 10187270352967180168/8293790749050409289*c_1010_12^7 - 262836614845585630400/8293790749050409289*c_1010_12^6 + 112305227866518292102/8293790749050409289*c_1010_12^5 - 51699013841522057981/8293790749050409289*c_1010_12^4 + 252463149285829119393/8293790749050409289*c_1010_12^3 - 102711414687318864705/8293790749050409289*c_1010_12^2 - 14960770824061997258/8293790749050409289*c_1010_12 - 10463089806878882264/8293790749050409289, c_1010_12^17 + 1/3*c_1010_12^16 - 7*c_1010_12^15 - 14/3*c_1010_12^14 + 22*c_1010_12^13 + 10*c_1010_12^12 - 14*c_1010_12^11 - 181/3*c_1010_12^10 + 163/3*c_1010_12^9 - 31/3*c_1010_12^8 + 226/3*c_1010_12^7 - 92*c_1010_12^6 + 133/3*c_1010_12^5 - 254/3*c_1010_12^4 + 265/3*c_1010_12^3 - 23*c_1010_12^2 - 5/3*c_1010_12 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB