Magma V2.19-8 Tue Aug 20 2013 23:47:12 on localhost [Seed = 2851062767] Type ? for help. Type -D to quit. Loading file "K14n9633__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9633 geometric_solution 10.38479369 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 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 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.182801039476 0.786885008094 0 4 6 5 0132 0132 0132 0132 0 0 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 0 0 0 0 0 0 0 4 -4 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 1.628583943954 1.131072414637 0 0 4 5 3120 0132 2103 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 -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.351085342217 0.428142112977 7 7 8 0 0132 1230 0132 0132 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 0 0 0 0 -1 0 0 1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664558043732 0.885634326998 2 1 9 8 2103 0132 0132 3201 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 3 -3 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.848815782034 0.762200992375 2 6 1 10 3012 3012 0132 0132 0 0 0 0 0 -1 1 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 -4 4 0 -1 0 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246320363012 0.715352951637 5 9 11 1 1230 3120 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -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 4 -4 0 0 4 -4 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.400693392017 1.225111048500 3 11 3 10 0132 3120 3012 3120 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 4 0 -4 0 0 0 0 3 -3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457939743895 0.722385613470 10 4 9 3 3120 2310 2103 0132 0 0 0 0 0 0 0 0 1 0 -1 0 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 3 0 -3 0 0 3 0 -3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469345231027 0.558591930057 8 6 11 4 2103 3120 3120 0132 0 0 0 0 0 1 -1 0 1 0 0 -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 4 -4 0 3 0 0 -3 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651151929310 1.299322261056 7 11 5 8 3120 2031 0132 3120 0 0 0 0 0 1 0 -1 0 0 1 -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 3 0 -3 0 0 3 -3 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546730424636 0.190865148432 10 7 9 6 1302 3120 3120 0132 0 0 0 0 0 0 1 -1 1 0 0 -1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 -4 4 0 0 -4 -3 3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.194297374166 0.611044201330 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0011_9'], 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : d['c_0011_10'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0101_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'], '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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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' : 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_3'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5']})} 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_3, c_0011_5, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_6, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 60814304779829776584397607/7798322445285381601580*c_0101_8^18 + 384645959833498804325482729/15596644890570763203160*c_0101_8^17 + 20500344249271513078267462/1949580611321345400395*c_0101_8^16 - 688324266340282342385896073/7798322445285381601580*c_0101_8^15 + 11419324279264606418266784251/15596644890570763203160*c_0101_8^14 - 30640182409881942744882922413/15596644890570763203160*c_0101_8^13 + 44477838198210447208296444339/15596644890570763203160*c_0101_8^12 - 19231765502245804026115116531/7798322445285381601580*c_0101_8^11 + 2711955278104257906070113593/15596644890570763203160*c_0101_8^10 + 5007642241999105164409166539/3899161222642690800790*c_0101_8^9 - 7094407704050530375753396447/7798322445285381601580*c_0101_8^8 + 4922366736688069886590498827/3119328978114152640632*c_0101_8^7 - 27581289569033162940656060893/15596644890570763203160*c_0101_8^6 + 1802433181460238739656373867/15596644890570763203160*c_0101_8^5 + 1478212103283403241768478852/1949580611321345400395*c_0101_8^4 - 7335374707740441812969012791/15596644890570763203160*c_0101_8^3 + 2979378997810323900441840597/15596644890570763203160*c_0101_8^2 - 434586771234975364778526127/7798322445285381601580*c_0101_8 + 42364615301541231214585263/15596644890570763203160, c_0011_0 - 1, c_0011_10 - 195367770955470006/27934556193797845*c_0101_8^18 - 753016904993565791/27934556193797845*c_0101_8^17 - 837597953279193589/27934556193797845*c_0101_8^16 + 1438622947605607164/27934556193797845*c_0101_8^15 - 17517717527301149184/27934556193797845*c_0101_8^14 + 37584408286492725322/27934556193797845*c_0101_8^13 - 50239360699657445291/27934556193797845*c_0101_8^12 + 38216134591890008688/27934556193797845*c_0101_8^11 + 7199834566541624818/27934556193797845*c_0101_8^10 - 15959572980266052754/27934556193797845*c_0101_8^9 + 14159732142873508166/27934556193797845*c_0101_8^8 - 7268861661291786195/5586911238759569*c_0101_8^7 + 23020414858940167012/27934556193797845*c_0101_8^6 + 3451982497748085322/27934556193797845*c_0101_8^5 - 8807279018605849524/27934556193797845*c_0101_8^4 + 7203093963021476999/27934556193797845*c_0101_8^3 - 3526089151210639288/27934556193797845*c_0101_8^2 + 892443189658261666/27934556193797845*c_0101_8 - 228689557301771667/27934556193797845, c_0011_3 + 377879443251100844/27934556193797845*c_0101_8^18 + 1430530558123868124/27934556193797845*c_0101_8^17 + 1502372927357730436/27934556193797845*c_0101_8^16 - 2974171684440948621/27934556193797845*c_0101_8^15 + 33942119951665895531/27934556193797845*c_0101_8^14 - 74985136295213591268/27934556193797845*c_0101_8^13 + 100603548579646586209/27934556193797845*c_0101_8^12 - 78260785442827817577/27934556193797845*c_0101_8^11 - 11827083993395952492/27934556193797845*c_0101_8^10 + 33304106015634789106/27934556193797845*c_0101_8^9 - 27883295000399557959/27934556193797845*c_0101_8^8 + 14369108265082500469/5586911238759569*c_0101_8^7 - 48244767862777831468/27934556193797845*c_0101_8^6 - 6099563564060304908/27934556193797845*c_0101_8^5 + 17743834386158890591/27934556193797845*c_0101_8^4 - 14724608586979654856/27934556193797845*c_0101_8^3 + 7390985390965761767/27934556193797845*c_0101_8^2 - 1787665493600342354/27934556193797845*c_0101_8 + 480161655905249633/27934556193797845, c_0011_5 + 442567202370359318/27934556193797845*c_0101_8^18 + 1707124254373506303/27934556193797845*c_0101_8^17 + 1907881332903527937/27934556193797845*c_0101_8^16 - 3219633818531285702/27934556193797845*c_0101_8^15 + 39754957332942919582/27934556193797845*c_0101_8^14 - 84967278849128867901/27934556193797845*c_0101_8^13 + 114006036980252576948/27934556193797845*c_0101_8^12 - 86157982982708010804/27934556193797845*c_0101_8^11 - 16833218400661040659/27934556193797845*c_0101_8^10 + 37010871179160000467/27934556193797845*c_0101_8^9 - 33007940119650305888/27934556193797845*c_0101_8^8 + 16264297465782838300/5586911238759569*c_0101_8^7 - 52199103415564171181/27934556193797845*c_0101_8^6 - 7460531417528457151/27934556193797845*c_0101_8^5 + 21048100241654210742/27934556193797845*c_0101_8^4 - 16617216535777908657/27934556193797845*c_0101_8^3 + 7689109474486189524/27934556193797845*c_0101_8^2 - 1909184502849751183/27934556193797845*c_0101_8 + 436713479889953476/27934556193797845, c_0011_6 - 379422647262428349/27934556193797845*c_0101_8^18 - 1465314130533168619/27934556193797845*c_0101_8^17 - 1648605407542666796/27934556193797845*c_0101_8^16 + 2731494094611574946/27934556193797845*c_0101_8^15 - 34083298588497788641/27934556193797845*c_0101_8^14 + 72757322420039055248/27934556193797845*c_0101_8^13 - 97949973203361465484/27934556193797845*c_0101_8^12 + 74809521911178111317/27934556193797845*c_0101_8^11 + 12999222688690602467/27934556193797845*c_0101_8^10 - 30279169819311076586/27934556193797845*c_0101_8^9 + 28435178858934919364/27934556193797845*c_0101_8^8 - 14078402328205071981/5586911238759569*c_0101_8^7 + 44636176416638639863/27934556193797845*c_0101_8^6 + 5505931900567348338/27934556193797845*c_0101_8^5 - 17017890844369399511/27934556193797845*c_0101_8^4 + 14439250644031776376/27934556193797845*c_0101_8^3 - 6942159544557435177/27934556193797845*c_0101_8^2 + 1776122531961843114/27934556193797845*c_0101_8 - 442567202370359318/27934556193797845, c_0011_9 + 379422647262428349/27934556193797845*c_0101_8^18 + 1465314130533168619/27934556193797845*c_0101_8^17 + 1648605407542666796/27934556193797845*c_0101_8^16 - 2731494094611574946/27934556193797845*c_0101_8^15 + 34083298588497788641/27934556193797845*c_0101_8^14 - 72757322420039055248/27934556193797845*c_0101_8^13 + 97949973203361465484/27934556193797845*c_0101_8^12 - 74809521911178111317/27934556193797845*c_0101_8^11 - 12999222688690602467/27934556193797845*c_0101_8^10 + 30279169819311076586/27934556193797845*c_0101_8^9 - 28435178858934919364/27934556193797845*c_0101_8^8 + 14078402328205071981/5586911238759569*c_0101_8^7 - 44636176416638639863/27934556193797845*c_0101_8^6 - 5505931900567348338/27934556193797845*c_0101_8^5 + 17017890844369399511/27934556193797845*c_0101_8^4 - 14439250644031776376/27934556193797845*c_0101_8^3 + 6942159544557435177/27934556193797845*c_0101_8^2 - 1776122531961843114/27934556193797845*c_0101_8 + 442567202370359318/27934556193797845, c_0101_0 + 28636668076899833/5586911238759569*c_0101_8^18 + 98480832768238524/5586911238759569*c_0101_8^17 + 70039852582890139/5586911238759569*c_0101_8^16 - 292337812358307280/5586911238759569*c_0101_8^15 + 2607875373072729687/5586911238759569*c_0101_8^14 - 6554447461294298916/5586911238759569*c_0101_8^13 + 9042945580000103632/5586911238759569*c_0101_8^12 - 7682077091901595872/5586911238759569*c_0101_8^11 + 13724285170557508/5586911238759569*c_0101_8^10 + 3470871342975894850/5586911238759569*c_0101_8^9 - 2465321400925626719/5586911238759569*c_0101_8^8 + 5974911126664357721/5586911238759569*c_0101_8^7 - 5137134031135582386/5586911238759569*c_0101_8^6 - 138407724834147535/5586911238759569*c_0101_8^5 + 1740137742137349086/5586911238759569*c_0101_8^4 - 1410187272945379018/5586911238759569*c_0101_8^3 + 745594365530683219/5586911238759569*c_0101_8^2 - 177560696367408418/5586911238759569*c_0101_8 + 48540830836896145/5586911238759569, c_0101_10 - 99236731269301539/5586911238759569*c_0101_8^18 - 373802915899802637/5586911238759569*c_0101_8^17 - 386633450378905341/5586911238759569*c_0101_8^16 + 790548077172887610/5586911238759569*c_0101_8^15 - 8930264627047511639/5586911238759569*c_0101_8^14 + 19845303125991520955/5586911238759569*c_0101_8^13 - 26718655435364670251/5586911238759569*c_0101_8^12 + 20800429918463091443/5586911238759569*c_0101_8^11 + 3045840051524169199/5586911238759569*c_0101_8^10 - 9103570114578700248/5586911238759569*c_0101_8^9 + 7499609748930026127/5586911238759569*c_0101_8^8 - 18819700967831413522/5586911238759569*c_0101_8^7 + 12985093391108383265/5586911238759569*c_0101_8^6 + 1570492426087475508/5586911238759569*c_0101_8^5 - 4944451891845741073/5586911238759569*c_0101_8^4 + 3919430132752820240/5586911238759569*c_0101_8^3 - 1915861063548362590/5586911238759569*c_0101_8^2 + 461201718165638026/5586911238759569*c_0101_8 - 117758439205192756/5586911238759569, c_0101_2 - 770145103376650762/27934556193797845*c_0101_8^18 - 2944263551722467837/27934556193797845*c_0101_8^17 - 3185842134726449238/27934556193797845*c_0101_8^16 + 5882646805142986993/27934556193797845*c_0101_8^15 - 69045247961999191393/27934556193797845*c_0101_8^14 + 150301558925283649069/27934556193797845*c_0101_8^13 - 200683203327342109772/27934556193797845*c_0101_8^12 + 154182456488424593981/27934556193797845*c_0101_8^11 + 26962075472930016561/27934556193797845*c_0101_8^10 - 65072063912581655313/27934556193797845*c_0101_8^9 + 55456133898326596412/27934556193797845*c_0101_8^8 - 29020499800301712174/5586911238759569*c_0101_8^7 + 94116904862566404814/27934556193797845*c_0101_8^6 + 13833252295977565154/27934556193797845*c_0101_8^5 - 34921560986864705028/27934556193797845*c_0101_8^4 + 28946974520170939813/27934556193797845*c_0101_8^3 - 14541809087172246566/27934556193797845*c_0101_8^2 + 3533650117723082737/27934556193797845*c_0101_8 - 985479593494168604/27934556193797845, c_0101_3 - 767879512740001532/27934556193797845*c_0101_8^18 - 2902437681957978477/27934556193797845*c_0101_8^17 - 3038271528140168498/27934556193797845*c_0101_8^16 + 6046821161251543333/27934556193797845*c_0101_8^15 - 69043691417016088868/27934556193797845*c_0101_8^14 + 152759258725980182174/27934556193797845*c_0101_8^13 - 205523921866805212967/27934556193797845*c_0101_8^12 + 160213024365576147776/27934556193797845*c_0101_8^11 + 23259326987876327291/27934556193797845*c_0101_8^10 - 68263266503000328478/27934556193797845*c_0101_8^9 + 57666859805974862862/27934556193797845*c_0101_8^8 - 29206803030704916214/5586911238759569*c_0101_8^7 + 98997988782793223124/27934556193797845*c_0101_8^6 + 11703114315971681814/27934556193797845*c_0101_8^5 - 36871139681301155583/27934556193797845*c_0101_8^4 + 30306846021972781023/27934556193797845*c_0101_8^3 - 14986814765661642121/27934556193797845*c_0101_8^2 + 3659374938975974722/27934556193797845*c_0101_8 - 955862932575539074/27934556193797845, c_0101_6 - 480161655905249633/27934556193797845*c_0101_8^18 - 1818364410966849743/27934556193797845*c_0101_8^17 - 1910692214029117757/27934556193797845*c_0101_8^16 + 3779405287600015527/27934556193797845*c_0101_8^15 - 43121347282463016147/27934556193797845*c_0101_8^14 + 95221365486846255746/27934556193797845*c_0101_8^13 - 127643082496801753858/27934556193797845*c_0101_8^12 + 99143700276937261119/27934556193797845*c_0101_8^11 + 15359608519240115654/27934556193797845*c_0101_8^10 - 42431183123897256037/27934556193797845*c_0101_8^9 + 35359010778815908413/27934556193797845*c_0101_8^8 - 18239359132820470205/5586911238759569*c_0101_8^7 + 61159237360341645996/27934556193797845*c_0101_8^6 + 7911188766736862296/27934556193797845*c_0101_8^5 - 22710135790254673072/27934556193797845*c_0101_8^4 + 18748451462640081517/27934556193797845*c_0101_8^3 - 9283474208282826794/27934556193797845*c_0101_8^2 + 2240182283333028738/27934556193797845*c_0101_8 - 613142785925905811/27934556193797845, c_0101_8^19 + 3*c_0101_8^18 + c_0101_8^17 - 11*c_0101_8^16 + 96*c_0101_8^15 - 269*c_0101_8^14 + 422*c_0101_8^13 - 416*c_0101_8^12 + 131*c_0101_8^11 + 113*c_0101_8^10 - 143*c_0101_8^9 + 248*c_0101_8^8 - 277*c_0101_8^7 + 84*c_0101_8^6 + 60*c_0101_8^5 - 76*c_0101_8^4 + 50*c_0101_8^3 - 20*c_0101_8^2 + 5*c_0101_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.600 Total time: 1.810 seconds, Total memory usage: 64.12MB