Magma V2.19-8 Tue Aug 20 2013 23:43:43 on localhost [Seed = 3819276010] Type ? for help. Type -D to quit. Loading file "K13n1435__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1435 geometric_solution 10.57486962 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 0213 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 -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.124056200194 0.578012425500 0 0 5 4 0132 0213 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 -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.882695786572 1.058988551463 4 0 7 6 0213 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371238503018 1.832105639152 8 9 0 4 0132 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 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.549864492801 1.664284048431 2 3 1 10 0213 0321 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 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.476485313193 0.770540168119 11 7 11 1 0132 3120 3012 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 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384699249526 0.701936693538 8 7 2 9 2031 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196653277783 1.337322874721 6 5 9 2 1230 3120 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 -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 -0.229570932533 0.919862501566 3 10 6 11 0132 1302 1302 0132 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 -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.888239881259 1.323888096604 10 3 6 7 1302 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 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.042234989190 0.415290669427 11 9 4 8 3120 2031 0132 2031 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.197917225480 1.149543375412 5 5 8 10 0132 1230 0132 3120 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 -1 1 0 0 -1 1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706178805420 0.805610614550 ==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' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_11'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : 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' : negation(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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_1100_2'], 'c_1100_6' : d['c_1100_2'], 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_1001_4'], 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : d['c_1100_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_2'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_1001_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_11'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0101_10']), 's_3_1' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_10, c_0011_11, c_0011_3, c_0011_4, c_0011_7, c_0101_1, c_0101_10, c_0101_7, c_1001_11, c_1001_4, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 9931280385650675990590090482175/1664977742382816912335617184*c_1100\ _2^18 - 479383198187506904375975357473263/8324888711914084561678085\ 920*c_1100_2^17 + 62477213826267905407083056519331/2601527722473151\ 42552440185*c_1100_2^16 - 61123884277129270916251052159611/88562645\ 871426431507213680*c_1100_2^15 + 1272099513577368896929659574036518\ 1/8324888711914084561678085920*c_1100_2^14 - 4673194162246683372636813600730295/1664977742382816912335617184*c_1\ 100_2^13 + 17843108291591739464299136468611157/41624443559570422808\ 39042960*c_1100_2^12 - 5934816387914456862730243181656411/104061108\ 8989260570209760740*c_1100_2^11 + 536311496595698763384419349389214\ 7/832488871191408456167808592*c_1100_2^10 - 10745014401231901065610507068635243/1664977742382816912335617184*c_\ 1100_2^9 + 22681517998556131273851453181839977/41624443559570422808\ 39042960*c_1100_2^8 - 181089294278323697723599962125369/44281322935\ 713215753606840*c_1100_2^7 + 10367970065624888839727380591865109/41\ 62444355957042280839042960*c_1100_2^6 - 11075064077871347202136035154750083/8324888711914084561678085920*c_\ 1100_2^5 + 4232961450106934760265352929760273/832488871191408456167\ 8085920*c_1100_2^4 - 333940840598952274535821325819799/208122217797\ 8521140419521480*c_1100_2^3 + 23608824395339995751174803175117/1664\ 977742382816912335617184*c_1100_2^2 + 1887232109901522602374115506307/416244435595704228083904296*c_1100_\ 2 - 20966865241133851338002509620493/8324888711914084561678085920, c_0011_0 - 1, c_0011_10 - 77171824832567028223/38457610120018564495*c_1100_2^18 + 796906385781842179361/38457610120018564495*c_1100_2^17 - 3582677707231386636341/38457610120018564495*c_1100_2^16 + 10754177433183022263773/38457610120018564495*c_1100_2^15 - 24588904220419998292736/38457610120018564495*c_1100_2^14 + 46115051516040250723329/38457610120018564495*c_1100_2^13 - 14404386442069459880421/7691522024003712899*c_1100_2^12 + 96604063936818975333982/38457610120018564495*c_1100_2^11 - 110748769415679691191449/38457610120018564495*c_1100_2^10 + 110388275998690401444993/38457610120018564495*c_1100_2^9 - 93807431310325110406213/38457610120018564495*c_1100_2^8 + 68595175904523330437756/38457610120018564495*c_1100_2^7 - 41333469113881957580128/38457610120018564495*c_1100_2^6 + 20486068339346756908244/38457610120018564495*c_1100_2^5 - 7291779001038835714493/38457610120018564495*c_1100_2^4 + 1691930565487575871182/38457610120018564495*c_1100_2^3 + 101204323463471178449/38457610120018564495*c_1100_2^2 - 158929928369995601152/38457610120018564495*c_1100_2 + 16981863865262022398/38457610120018564495, c_0011_11 + 1353352426423205362/7691522024003712899*c_1100_2^18 - 87279414979253101629/38457610120018564495*c_1100_2^17 + 572784649822628159009/38457610120018564495*c_1100_2^16 - 2463386317734468324467/38457610120018564495*c_1100_2^15 + 7218905531121454471637/38457610120018564495*c_1100_2^14 - 3236209683068779953488/7691522024003712899*c_1100_2^13 + 29260722652332513031257/38457610120018564495*c_1100_2^12 - 44477109351627374790703/38457610120018564495*c_1100_2^11 + 56377916472090630805692/38457610120018564495*c_1100_2^10 - 61749777367648259453987/38457610120018564495*c_1100_2^9 + 56232152708163939842264/38457610120018564495*c_1100_2^8 - 44512613332846288318102/38457610120018564495*c_1100_2^7 + 27851960665031110724817/38457610120018564495*c_1100_2^6 - 2986176057259205508601/7691522024003712899*c_1100_2^5 + 5252713842202233421568/38457610120018564495*c_1100_2^4 - 291733062978181778876/7691522024003712899*c_1100_2^3 - 145483201315743701467/38457610120018564495*c_1100_2^2 + 70075207447039139787/38457610120018564495*c_1100_2 - 9359042162025062006/38457610120018564495, c_0011_3 - 25346177419209475862/38457610120018564495*c_1100_2^18 + 230058024338172960482/38457610120018564495*c_1100_2^17 - 908836105986398865844/38457610120018564495*c_1100_2^16 + 2665265554962227267886/38457610120018564495*c_1100_2^15 - 6287785629600818814614/38457610120018564495*c_1100_2^14 + 12562796671969028827861/38457610120018564495*c_1100_2^13 - 21064702907971754476564/38457610120018564495*c_1100_2^12 + 6247411539629488490161/7691522024003712899*c_1100_2^11 - 39481018251076570577873/38457610120018564495*c_1100_2^10 + 44313737629071912948674/38457610120018564495*c_1100_2^9 - 42285427166145304776298/38457610120018564495*c_1100_2^8 + 35271163102933535876422/38457610120018564495*c_1100_2^7 - 24470627557753949687098/38457610120018564495*c_1100_2^6 + 2796169020659638680491/7691522024003712899*c_1100_2^5 - 6185850789262200539359/38457610120018564495*c_1100_2^4 + 1719571453878407973706/38457610120018564495*c_1100_2^3 - 160755763216540675697/38457610120018564495*c_1100_2^2 - 34455625826152278250/7691522024003712899*c_1100_2 + 40583163778731674702/38457610120018564495, c_0011_4 - 111212525691824072582/38457610120018564495*c_1100_2^18 + 1242006922505985276701/38457610120018564495*c_1100_2^17 - 1193720194676272271491/7691522024003712899*c_1100_2^16 + 18207003734176907469448/38457610120018564495*c_1100_2^15 - 41293196112384898872007/38457610120018564495*c_1100_2^14 + 75329043724439344459226/38457610120018564495*c_1100_2^13 - 113600233525463793538406/38457610120018564495*c_1100_2^12 + 143827979800002442618894/38457610120018564495*c_1100_2^11 - 154281361668431233711548/38457610120018564495*c_1100_2^10 + 138860677556223223879179/38457610120018564495*c_1100_2^9 - 21031914871357696159447/7691522024003712899*c_1100_2^8 + 63226048136993046498903/38457610120018564495*c_1100_2^7 - 29869063063266840406952/38457610120018564495*c_1100_2^6 + 8238637812629231439404/38457610120018564495*c_1100_2^5 - 312663313427289505013/38457610120018564495*c_1100_2^4 - 1613395864165021779116/38457610120018564495*c_1100_2^3 + 575866448982513098473/38457610120018564495*c_1100_2^2 - 13335759824837275680/7691522024003712899*c_1100_2 - 35154105750612804834/38457610120018564495, c_0011_7 - 310448739761337292313/38457610120018564495*c_1100_2^18 + 2836539148038626425513/38457610120018564495*c_1100_2^17 - 10785032897433515825479/38457610120018564495*c_1100_2^16 + 28001646978388604101544/38457610120018564495*c_1100_2^15 - 11145233204827186523399/7691522024003712899*c_1100_2^14 + 92310051565335338422099/38457610120018564495*c_1100_2^13 - 124566722389280042707766/38457610120018564495*c_1100_2^12 + 147181980979919207084059/38457610120018564495*c_1100_2^11 - 142425482544592813583739/38457610120018564495*c_1100_2^10 + 124571120366252396261548/38457610120018564495*c_1100_2^9 - 85747644039423899370814/38457610120018564495*c_1100_2^8 + 55683136602269922173139/38457610120018564495*c_1100_2^7 - 5132210371163305314139/7691522024003712899*c_1100_2^6 + 12897094449950014806101/38457610120018564495*c_1100_2^5 - 664084493027361168170/7691522024003712899*c_1100_2^4 + 1622427469821377520776/38457610120018564495*c_1100_2^3 - 174520025790361951231/38457610120018564495*c_1100_2^2 - 13398721803283970382/38457610120018564495*c_1100_2 + 8504999113143525360/7691522024003712899, c_0101_1 - 64598612107403292061/7691522024003712899*c_1100_2^18 + 3047577905460978067518/38457610120018564495*c_1100_2^17 - 2443524332496382742516/7691522024003712899*c_1100_2^16 + 33583792587003208095889/38457610120018564495*c_1100_2^15 - 14213900390931821136165/7691522024003712899*c_1100_2^14 + 25011027210570576181411/7691522024003712899*c_1100_2^13 - 181855376679435674489979/38457610120018564495*c_1100_2^12 + 230851464504341799599132/38457610120018564495*c_1100_2^11 - 246490750772540138702737/38457610120018564495*c_1100_2^10 + 234491834214683430659417/38457610120018564495*c_1100_2^9 - 184873253459688107130476/38457610120018564495*c_1100_2^8 + 130874939798809644438038/38457610120018564495*c_1100_2^7 - 72829282108608517895291/38457610120018564495*c_1100_2^6 + 36444041202238551908399/38457610120018564495*c_1100_2^5 - 11793941852170758889087/38457610120018564495*c_1100_2^4 + 3441083174957401431983/38457610120018564495*c_1100_2^3 + 23669470248409562717/38457610120018564495*c_1100_2^2 - 213582517443628890387/38457610120018564495*c_1100_2 + 8343756699947278585/7691522024003712899, c_0101_10 + 38645300956261929743/38457610120018564495*c_1100_2^18 - 246607723660669720451/38457610120018564495*c_1100_2^17 + 369274398674047991273/38457610120018564495*c_1100_2^16 + 170455384223897878517/38457610120018564495*c_1100_2^15 - 2274518463391279624808/38457610120018564495*c_1100_2^14 + 6207368488826311902351/38457610120018564495*c_1100_2^13 - 2533186622939994365768/7691522024003712899*c_1100_2^12 + 17747240196408036011927/38457610120018564495*c_1100_2^11 - 22063636419665338661373/38457610120018564495*c_1100_2^10 + 19530210649078710385574/38457610120018564495*c_1100_2^9 - 16168026302264819205054/38457610120018564495*c_1100_2^8 + 1562061499660450176911/7691522024003712899*c_1100_2^7 - 691337599406031367189/7691522024003712899*c_1100_2^6 - 727122049780111438163/38457610120018564495*c_1100_2^5 + 803559284496173624054/38457610120018564495*c_1100_2^4 - 164995147433573494080/7691522024003712899*c_1100_2^3 + 121134578845658242763/38457610120018564495*c_1100_2^2 + 15938222216027622475/7691522024003712899*c_1100_2 - 22091024099028593001/38457610120018564495, c_0101_7 - c_1100_2, c_1001_11 - 131017059481860432199/38457610120018564495*c_1100_2^18 + 1316795752609185361874/38457610120018564495*c_1100_2^17 - 5729458304696654744618/38457610120018564495*c_1100_2^16 + 16786768642687757844312/38457610120018564495*c_1100_2^15 - 37594685786711572015593/38457610120018564495*c_1100_2^14 + 69212889740243753332457/38457610120018564495*c_1100_2^13 - 105812296767628425824973/38457610120018564495*c_1100_2^12 + 27838842343195113155707/7691522024003712899*c_1100_2^11 - 155672385533896477747976/38457610120018564495*c_1100_2^10 + 151453957694464453947203/38457610120018564495*c_1100_2^9 - 124607723855195791331191/38457610120018564495*c_1100_2^8 + 88046301407498514803164/38457610120018564495*c_1100_2^7 - 50621486854453865790881/38457610120018564495*c_1100_2^6 + 4753268551243146925849/7691522024003712899*c_1100_2^5 - 7788367155190905955228/38457610120018564495*c_1100_2^4 + 1618067367130770501397/38457610120018564495*c_1100_2^3 + 123020458865598406916/38457610120018564495*c_1100_2^2 - 22060579146630700166/7691522024003712899*c_1100_2 + 6558947875830640539/38457610120018564495, c_1001_4 - 32572174805637604533/7691522024003712899*c_1100_2^18 + 1424586686090242028378/38457610120018564495*c_1100_2^17 - 4896806729786901293974/38457610120018564495*c_1100_2^16 + 10799623696317430951929/38457610120018564495*c_1100_2^15 - 16978031235353470997792/38457610120018564495*c_1100_2^14 + 3997152280173199958368/7691522024003712899*c_1100_2^13 - 12564727658703374549834/38457610120018564495*c_1100_2^12 - 3967421890584966264011/38457610120018564495*c_1100_2^11 + 29647805148600561378672/38457610120018564495*c_1100_2^10 - 49163407615553768499007/38457610120018564495*c_1100_2^9 + 60355776518996779200448/38457610120018564495*c_1100_2^8 - 53654522761631341104244/38457610120018564495*c_1100_2^7 + 7777533125164703403981/7691522024003712899*c_1100_2^6 - 20773238956115849018758/38457610120018564495*c_1100_2^5 + 8128512527859293856796/38457610120018564495*c_1100_2^4 - 1722179175441726638761/38457610120018564495*c_1100_2^3 - 335330713746078104247/38457610120018564495*c_1100_2^2 + 109973659009324490572/38457610120018564495*c_1100_2 - 22205260047923318614/38457610120018564495, c_1100_2^19 - 104/11*c_1100_2^18 + 421/11*c_1100_2^17 - 1178/11*c_1100_2^16 + 2539/11*c_1100_2^15 - 4546/11*c_1100_2^14 + 6731/11*c_1100_2^13 - 8694/11*c_1100_2^12 + 9430/11*c_1100_2^11 - 9089/11*c_1100_2^10 + 7215/11*c_1100_2^9 - 5106/11*c_1100_2^8 + 2766/11*c_1100_2^7 - 1313/11*c_1100_2^6 + 338/11*c_1100_2^5 - 5*c_1100_2^4 - 43/11*c_1100_2^3 + 17/11*c_1100_2^2 - 1/11*c_1100_2 - 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.820 Total time: 2.029 seconds, Total memory usage: 64.12MB