Magma V2.19-8 Tue Aug 20 2013 23:41:03 on localhost [Seed = 2193942112] Type ? for help. Type -D to quit. Loading file "K12n451__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n451 geometric_solution 11.22997444 oriented_manifold CS_known 0.0000000000000011 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 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 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.417387905009 1.821058705682 0 4 6 5 0132 1023 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 0 -1 -1 0 5 -4 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.177060691748 0.741276040378 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 -4 0 4 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.256233827743 1.235113004559 10 11 6 0 0132 0132 3012 0132 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 -4 4 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.159371234977 0.498143408600 1 7 0 8 1023 0132 0132 0213 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 -1 0 1 0 0 -5 0 5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065786860780 0.964564029253 10 7 1 11 2103 0321 0132 1302 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 4 -4 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.379483530163 1.224672499758 10 3 8 1 3120 1230 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 5 -5 4 -5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177060691748 0.741276040378 2 4 9 5 0132 0132 0321 0321 0 0 0 0 0 0 0 0 1 0 -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 0 -1 0 1 4 0 -4 0 0 -1 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428198623499 0.385080119316 11 6 2 4 0213 3201 0132 0213 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 5 0 0 -5 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379483530163 1.224672499758 10 11 7 2 1302 1302 0321 0132 0 0 0 0 0 0 0 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 0 0 0 4 0 0 -4 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.357804851187 0.594177903324 3 9 5 6 0132 2031 2103 3120 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 4 0 -4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929618017665 1.031937497294 8 3 5 9 0213 0132 2031 2031 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 -5 5 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541490134947 0.837507356751 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_6']), 'c_1001_10' : d['c_0011_5'], 'c_1001_5' : d['c_0110_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0101_0'], '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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_7'], 'c_1100_8' : d['c_1001_7'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : negation(d['c_1001_6']), 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0110_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_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' : negation(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' : 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_6']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], '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_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0110_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0110_11'], 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_1']})} 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_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_11, c_1001_2, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 63605283359041198838587/3415684094563006262893*c_1001_7^11 + 5476373577794506716941736/146874416066209269304399*c_1001_7^10 + 7434122908093935875748231/146874416066209269304399*c_1001_7^9 + 22116045733424560254801370/146874416066209269304399*c_1001_7^8 + 14648311773414346566055656/146874416066209269304399*c_1001_7^7 + 9608545284905717570922568/146874416066209269304399*c_1001_7^6 + 45113997930469781664417327/146874416066209269304399*c_1001_7^5 + 1527107661323968769903236/146874416066209269304399*c_1001_7^4 + 2780777963855773615421356/146874416066209269304399*c_1001_7^3 + 40571095643279580442489846/146874416066209269304399*c_1001_7^2 - 21115249482059170024068273/146874416066209269304399*c_1001_7 + 14819364021879624231301409/146874416066209269304399, c_0011_0 - 1, c_0011_10 - 850562012362942911/1890251297489212099*c_1001_7^11 - 69693210267412369/145403945960708623*c_1001_7^10 - 52846204464066605/1890251297489212099*c_1001_7^9 - 2105638080939121527/1890251297489212099*c_1001_7^8 + 3110344790794497335/1890251297489212099*c_1001_7^7 + 5611817394724932767/1890251297489212099*c_1001_7^6 - 6491416765063802679/1890251297489212099*c_1001_7^5 + 2805582788265753416/1890251297489212099*c_1001_7^4 + 7719327985802085610/1890251297489212099*c_1001_7^3 - 310908272328452407/145403945960708623*c_1001_7^2 + 735878067063009447/1890251297489212099*c_1001_7 + 2543664756966884222/1890251297489212099, c_0011_5 - 361258679884179255/1890251297489212099*c_1001_7^11 - 1351176246706907810/1890251297489212099*c_1001_7^10 - 2344967682444909851/1890251297489212099*c_1001_7^9 - 3966533111567236768/1890251297489212099*c_1001_7^8 - 376236379719627012/145403945960708623*c_1001_7^7 - 2037319650234616732/1890251297489212099*c_1001_7^6 - 1990733537880708376/1890251297489212099*c_1001_7^5 - 5189209877980660968/1890251297489212099*c_1001_7^4 - 2768502461395334160/1890251297489212099*c_1001_7^3 - 2239572941473699784/1890251297489212099*c_1001_7^2 - 1788966585698932726/1890251297489212099*c_1001_7 - 879184811869564433/1890251297489212099, c_0011_6 - 233215229490823971/1890251297489212099*c_1001_7^11 + 141605030760144615/1890251297489212099*c_1001_7^10 + 1419785998299153053/1890251297489212099*c_1001_7^9 + 1428379969121970861/1890251297489212099*c_1001_7^8 + 4060555833405664706/1890251297489212099*c_1001_7^7 + 5444642738676454441/1890251297489212099*c_1001_7^6 - 2376336373671109912/1890251297489212099*c_1001_7^5 + 1431544802398302991/1890251297489212099*c_1001_7^4 + 9057539086382844820/1890251297489212099*c_1001_7^3 - 1186247478414354374/1890251297489212099*c_1001_7^2 - 15214700653640726/1890251297489212099*c_1001_7 + 4756664450930006070/1890251297489212099, c_0011_8 - 703521808008700429/1890251297489212099*c_1001_7^11 - 1958493034845464227/1890251297489212099*c_1001_7^10 - 2479562310565321617/1890251297489212099*c_1001_7^9 - 4664721444664869443/1890251297489212099*c_1001_7^8 - 4252951261095674586/1890251297489212099*c_1001_7^7 + 1345316469757557314/1890251297489212099*c_1001_7^6 - 3717500151458569349/1890251297489212099*c_1001_7^5 - 7430701164234473507/1890251297489212099*c_1001_7^4 + 2010919087938373072/1890251297489212099*c_1001_7^3 - 1185096494899703486/1890251297489212099*c_1001_7^2 - 4769934020351945472/1890251297489212099*c_1001_7 + 880842880889637836/1890251297489212099, c_0101_0 + 2214927167176734138/1890251297489212099*c_1001_7^11 + 4470202296922186192/1890251297489212099*c_1001_7^10 + 5678523133618939964/1890251297489212099*c_1001_7^9 + 13509788742213665150/1890251297489212099*c_1001_7^8 + 7062073497099106857/1890251297489212099*c_1001_7^7 - 1334588714913770633/1890251297489212099*c_1001_7^6 + 17944040564764540715/1890251297489212099*c_1001_7^5 + 5531518067967265598/1890251297489212099*c_1001_7^4 - 4359125788850342748/1890251297489212099*c_1001_7^3 + 9657792303850280206/1890251297489212099*c_1001_7^2 + 1898575094530622594/1890251297489212099*c_1001_7 - 945775305501758378/1890251297489212099, c_0101_1 + 255249643901354279/1890251297489212099*c_1001_7^11 + 1093979743258642957/1890251297489212099*c_1001_7^10 + 2638805051123551071/1890251297489212099*c_1001_7^9 + 4383943347529325740/1890251297489212099*c_1001_7^8 + 6114519549354421299/1890251297489212099*c_1001_7^7 + 6289281014835793401/1890251297489212099*c_1001_7^6 + 3436176549197102463/1890251297489212099*c_1001_7^5 + 5981957212464605745/1890251297489212099*c_1001_7^4 + 654263893013577104/145403945960708623*c_1001_7^3 + 904112654906496909/1890251297489212099*c_1001_7^2 + 2318507672911170424/1890251297489212099*c_1001_7 + 4261600367413514330/1890251297489212099, c_0101_6 + 856732033830412884/1890251297489212099*c_1001_7^11 + 1431901390923661665/1890251297489212099*c_1001_7^10 + 860387840622762658/1890251297489212099*c_1001_7^9 + 3293524540206412153/1890251297489212099*c_1001_7^8 - 240744964444278412/1890251297489212099*c_1001_7^7 - 4791452932421382216/1890251297489212099*c_1001_7^6 + 7446504724260186356/1890251297489212099*c_1001_7^5 + 1994066619470049224/1890251297489212099*c_1001_7^4 - 7958645987339437500/1890251297489212099*c_1001_7^3 + 5300717857239949980/1890251297489212099*c_1001_7^2 + 1503610429183614599/1890251297489212099*c_1001_7 - 3502430653359758494/1890251297489212099, c_0110_11 + 965779932464110087/1890251297489212099*c_1001_7^11 + 2180823209822362697/1890251297489212099*c_1001_7^10 + 2414768467042327477/1890251297489212099*c_1001_7^9 + 416930218648155053/145403945960708623*c_1001_7^8 + 3181689193701909724/1890251297489212099*c_1001_7^7 - 2729446313737101821/1890251297489212099*c_1001_7^6 + 6796934964166937417/1890251297489212099*c_1001_7^5 + 5667102708122164754/1890251297489212099*c_1001_7^4 - 3680528450290299912/1890251297489212099*c_1001_7^3 + 3059993932251599308/1890251297489212099*c_1001_7^2 + 2579111865693774520/1890251297489212099*c_1001_7 - 2396045192678166792/1890251297489212099, c_1001_2 + 1203447227875280722/1890251297489212099*c_1001_7^11 + 1915297377094240665/1890251297489212099*c_1001_7^10 + 1838452019909051056/1890251297489212099*c_1001_7^9 + 5090983879453279529/1890251297489212099*c_1001_7^8 - 794262919304429199/1890251297489212099*c_1001_7^7 - 5179311291489163773/1890251297489212099*c_1001_7^6 + 6766763966452678982/1890251297489212099*c_1001_7^5 - 2286427674843704735/1890251297489212099*c_1001_7^4 - 5205057866567754259/1890251297489212099*c_1001_7^3 + 4859020937363558078/1890251297489212099*c_1001_7^2 - 118841408609094064/145403945960708623*c_1001_7 - 1675521069410306802/1890251297489212099, c_1001_6 + 154597526343651898/145403945960708623*c_1001_7^11 + 4897420912109882807/1890251297489212099*c_1001_7^10 + 5984859503830432798/1890251297489212099*c_1001_7^9 + 12486527080501470235/1890251297489212099*c_1001_7^8 + 8990053853085813275/1890251297489212099*c_1001_7^7 - 4248476346583563647/1890251297489212099*c_1001_7^6 + 12875278960893868351/1890251297489212099*c_1001_7^5 + 12251008314843845845/1890251297489212099*c_1001_7^4 - 8309396180627519781/1890251297489212099*c_1001_7^3 + 6491732194801934218/1890251297489212099*c_1001_7^2 + 6276098842973066323/1890251297489212099*c_1001_7 - 3375692598246310218/1890251297489212099, c_1001_7^12 + 90/43*c_1001_7^11 + 111/43*c_1001_7^10 + 283/43*c_1001_7^9 + 187/43*c_1001_7^8 + 5/43*c_1001_7^7 + 476/43*c_1001_7^6 + 200/43*c_1001_7^5 - 139/43*c_1001_7^4 + 405/43*c_1001_7^3 + 93/43*c_1001_7^2 - 2*c_1001_7 + 139/43 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_11, c_1001_2, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 979/8*c_1001_7^14 + 3921/8*c_1001_7^13 - 2677/2*c_1001_7^12 + 3624*c_1001_7^11 - 37887/8*c_1001_7^10 - 16687/8*c_1001_7^9 + 72877/8*c_1001_7^8 - 3255/4*c_1001_7^7 - 64963/8*c_1001_7^6 + 2517/8*c_1001_7^5 + 18411/4*c_1001_7^4 + 7237/8*c_1001_7^3 - 10171/8*c_1001_7^2 - 699*c_1001_7 - 859/8, c_0011_0 - 1, c_0011_10 + 5*c_1001_7^14 - 17*c_1001_7^13 + 42*c_1001_7^12 - 113*c_1001_7^11 + 99*c_1001_7^10 + 216*c_1001_7^9 - 334*c_1001_7^8 - 212*c_1001_7^7 + 380*c_1001_7^6 + 220*c_1001_7^5 - 235*c_1001_7^4 - 177*c_1001_7^3 + 53*c_1001_7^2 + 73*c_1001_7 + 18, c_0011_5 - c_1001_7, c_0011_6 + c_1001_7^14 - 3*c_1001_7^13 + 7*c_1001_7^12 - 19*c_1001_7^11 + 10*c_1001_7^10 + 53*c_1001_7^9 - 53*c_1001_7^8 - 68*c_1001_7^7 + 67*c_1001_7^6 + 66*c_1001_7^5 - 36*c_1001_7^4 - 46*c_1001_7^3 + c_1001_7^2 + 17*c_1001_7 + 6, c_0011_8 - 21*c_1001_7^14 + 76*c_1001_7^13 - 194*c_1001_7^12 + 519*c_1001_7^11 - 531*c_1001_7^10 - 785*c_1001_7^9 + 1599*c_1001_7^8 + 440*c_1001_7^7 - 1680*c_1001_7^6 - 348*c_1001_7^5 + 972*c_1001_7^4 + 366*c_1001_7^3 - 247*c_1001_7^2 - 184*c_1001_7 - 33, c_0101_0 - 13/2*c_1001_7^14 + 28*c_1001_7^13 - 157/2*c_1001_7^12 + 210*c_1001_7^11 - 296*c_1001_7^10 - 147/2*c_1001_7^9 + 604*c_1001_7^8 - 279*c_1001_7^7 - 907/2*c_1001_7^6 + 551/2*c_1001_7^5 + 445/2*c_1001_7^4 - 207/2*c_1001_7^3 - 74*c_1001_7^2 + 9*c_1001_7 + 17/2, c_0101_1 - 37/2*c_1001_7^14 + 68*c_1001_7^13 - 349/2*c_1001_7^12 + 465*c_1001_7^11 - 487*c_1001_7^10 - 1367/2*c_1001_7^9 + 1490*c_1001_7^8 + 264*c_1001_7^7 - 3055/2*c_1001_7^6 - 285/2*c_1001_7^5 + 1721/2*c_1001_7^4 + 449/2*c_1001_7^3 - 228*c_1001_7^2 - 132*c_1001_7 - 39/2, c_0101_6 + c_1001_7^14 - 3*c_1001_7^13 + 7*c_1001_7^12 - 19*c_1001_7^11 + 10*c_1001_7^10 + 53*c_1001_7^9 - 53*c_1001_7^8 - 68*c_1001_7^7 + 67*c_1001_7^6 + 66*c_1001_7^5 - 36*c_1001_7^4 - 46*c_1001_7^3 + c_1001_7^2 + 17*c_1001_7 + 6, c_0110_11 + 1, c_1001_2 - 11*c_1001_7^14 + 35*c_1001_7^13 - 83*c_1001_7^12 + 222*c_1001_7^11 - 145*c_1001_7^10 - 570*c_1001_7^9 + 708*c_1001_7^8 + 633*c_1001_7^7 - 928*c_1001_7^6 - 533*c_1001_7^5 + 580*c_1001_7^4 + 368*c_1001_7^3 - 135*c_1001_7^2 - 145*c_1001_7 - 30, c_1001_6 + 47/2*c_1001_7^14 - 80*c_1001_7^13 + 393/2*c_1001_7^12 - 524*c_1001_7^11 + 442*c_1001_7^10 + 2159/2*c_1001_7^9 - 1702*c_1001_7^8 - 921*c_1001_7^7 + 4013/2*c_1001_7^6 + 1455/2*c_1001_7^5 - 2413/2*c_1001_7^4 - 1155/2*c_1001_7^3 + 299*c_1001_7^2 + 255*c_1001_7 + 97/2, c_1001_7^15 - 3*c_1001_7^14 + 7*c_1001_7^13 - 19*c_1001_7^12 + 10*c_1001_7^11 + 53*c_1001_7^10 - 53*c_1001_7^9 - 68*c_1001_7^8 + 67*c_1001_7^7 + 66*c_1001_7^6 - 36*c_1001_7^5 - 46*c_1001_7^4 + c_1001_7^3 + 16*c_1001_7^2 + 7*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.020 Total time: 1.240 seconds, Total memory usage: 64.12MB