Magma V2.19-8 Wed Aug 21 2013 00:52:18 on localhost [Seed = 2328665901] Type ? for help. Type -D to quit. Loading file "L12a1290__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1290 geometric_solution 11.72638425 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 0 0 1 2 1302 2031 0132 0132 1 1 1 1 0 0 0 0 -1 0 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 1 0 -1 3 0 -3 0 -1 1 0 0 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525393067376 0.442668675186 3 2 4 0 0132 3012 0132 0132 1 1 1 1 0 0 0 0 0 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 -3 3 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.133334368126 0.780559491683 1 5 0 6 1230 0132 0132 0132 1 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 1 -1 -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 1.430452932523 0.632549233423 1 7 8 7 0132 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038208502339 1.616646564190 9 6 5 1 0132 3120 3120 0132 1 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 1 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.369014306079 0.777490483596 10 2 4 8 0132 0132 3120 2310 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 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.595596783969 0.297715804374 7 4 2 10 0213 3120 0132 2103 1 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 1 -1 0 0 -4 4 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.661730343600 0.954822582380 6 3 11 3 0213 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.038208502339 1.616646564190 5 12 12 3 3201 0132 0321 0132 0 1 1 1 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 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.802818863065 1.032815934455 4 11 12 11 0132 0213 0132 0321 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 1 -1 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.303804078331 0.842973992197 5 11 12 6 0132 3012 2103 2103 1 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 -1 1 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.935044827355 0.679043344809 10 9 9 7 1230 0321 0213 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 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.621617517428 1.049908854624 10 8 8 9 2103 0132 0321 0132 0 1 1 1 0 -1 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 0 2 -1 -1 -4 0 0 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.802818863065 1.032815934455 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_1001_11'], 'c_1010_12' : d['c_1001_11'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_0011_4'], '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), '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_11'], 'c_1100_8' : d['c_1001_12'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : d['c_1001_12'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : negation(d['c_0101_1']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : negation(d['c_1001_4']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_7'], 'c_1010_8' : d['c_1001_12'], '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_4']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_1'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_10'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_2'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10']})} 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_1, c_0011_10, c_0011_11, c_0011_4, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_1001_11, c_1001_12, c_1001_4, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 22496640322768107381604997/259895775705676471990720*c_1001_7^20 - 9834360180167771687947537/64973943926419117997680*c_1001_7^19 + 5663586914186171396483243/64973943926419117997680*c_1001_7^18 + 411514836855021097340544473/129947887852838235995360*c_1001_7^17 + 647817313738405797431172479/259895775705676471990720*c_1001_7^16 - 440437370361014732693663915/51979155141135294398144*c_1001_7^15 - 2950218731696599760000027209/129947887852838235995360*c_1001_7^14 + 4740853936236682671040997/1052209618241605149760*c_1001_7^13 + 1771611729422772082798697221/25989577570567647199072*c_1001_7^12 + 1537601812880528493735884193/64973943926419117997680*c_1001_7^11 - 4980000385196663038477429221/51979155141135294398144*c_1001_7^10 - 16855640695577635293434491223/259895775705676471990720*c_1001_7^9 + 2413656480422775807764500881/37127967957953781712960*c_1001_7^8 + 18497342121351674770416493239/259895775705676471990720*c_1001_7^7 - 301684801570688214214221831/18563983978976890856480*c_1001_7^6 - 148878224815876118229845449/4260586486978302819520*c_1001_7^5 + 12470757878212806951979581/7425593591590756342592*c_1001_7^4 + 529711423269558300652759615/51979155141135294398144*c_1001_7^3 - 1420316138992094622966901/854920314821304184180*c_1001_7^2 - 769240798284015396859279899/129947887852838235995360*c_1001_7 - 159736133135893496995901227/64973943926419117997680, c_0011_0 - 1, c_0011_1 - 141070416708063/545175031730744*c_1001_7^20 - 88206695390951/136293757932686*c_1001_7^19 - 69684511573887/68146878966343*c_1001_7^18 + 1645392118620851/272587515865372*c_1001_7^17 + 3668442591080669/545175031730744*c_1001_7^16 - 3054065116089709/545175031730744*c_1001_7^15 - 10314533393620221/272587515865372*c_1001_7^14 - 2588187427915987/545175031730744*c_1001_7^13 + 23270212312949839/272587515865372*c_1001_7^12 + 1195776502293035/68146878966343*c_1001_7^11 - 51927444018840763/545175031730744*c_1001_7^10 - 16595396235432397/545175031730744*c_1001_7^9 + 35387218704780481/545175031730744*c_1001_7^8 + 14417300828167673/545175031730744*c_1001_7^7 - 9458137041887949/272587515865372*c_1001_7^6 - 5426483540516291/545175031730744*c_1001_7^5 + 8197986697260781/545175031730744*c_1001_7^4 + 2332139367508165/545175031730744*c_1001_7^3 - 579114177605779/136293757932686*c_1001_7^2 - 852135158893003/272587515865372*c_1001_7 + 187771814733635/136293757932686, c_0011_10 - c_1001_7^2, c_0011_11 - 514910531170391/545175031730744*c_1001_7^20 - 1077430922936953/545175031730744*c_1001_7^19 - 401452397168725/136293757932686*c_1001_7^18 + 3177774613937749/136293757932686*c_1001_7^17 + 8367555658105871/545175031730744*c_1001_7^16 - 6900830376791409/272587515865372*c_1001_7^15 - 70526717932365453/545175031730744*c_1001_7^14 + 17109418839150557/545175031730744*c_1001_7^13 + 159245390387745143/545175031730744*c_1001_7^12 - 11613873715974607/272587515865372*c_1001_7^11 - 170471312307899193/545175031730744*c_1001_7^10 + 1791564418230419/272587515865372*c_1001_7^9 + 58788017473349343/272587515865372*c_1001_7^8 + 941348227470917/272587515865372*c_1001_7^7 - 61822863875622309/545175031730744*c_1001_7^6 + 8296872908778193/545175031730744*c_1001_7^5 + 11063768200575363/272587515865372*c_1001_7^4 - 252319481516463/136293757932686*c_1001_7^3 - 5222284800156379/545175031730744*c_1001_7^2 - 514386166027883/136293757932686*c_1001_7 + 502363612926287/136293757932686, c_0011_4 + 93335699403641/272587515865372*c_1001_7^20 + 421967801169923/545175031730744*c_1001_7^19 + 316470654896255/272587515865372*c_1001_7^18 - 2271540532926635/272587515865372*c_1001_7^17 - 489417330787096/68146878966343*c_1001_7^16 + 4684614908980629/545175031730744*c_1001_7^15 + 26305358048123723/545175031730744*c_1001_7^14 - 164874005500179/68146878966343*c_1001_7^13 - 59367430664993379/545175031730744*c_1001_7^12 - 3489572291923/68146878966343*c_1001_7^11 + 7724154837789994/68146878966343*c_1001_7^10 + 5737313023642245/545175031730744*c_1001_7^9 - 39803071688087815/545175031730744*c_1001_7^8 - 4063528846728103/545175031730744*c_1001_7^7 + 20469596384933335/545175031730744*c_1001_7^6 - 593289551209897/136293757932686*c_1001_7^5 - 7110236806741253/545175031730744*c_1001_7^4 + 114356682427855/545175031730744*c_1001_7^3 + 993233575896459/545175031730744*c_1001_7^2 + 220727293041065/136293757932686*c_1001_7 - 149704748748525/136293757932686, c_0101_1 - 141070416708063/545175031730744*c_1001_7^20 - 88206695390951/136293757932686*c_1001_7^19 - 69684511573887/68146878966343*c_1001_7^18 + 1645392118620851/272587515865372*c_1001_7^17 + 3668442591080669/545175031730744*c_1001_7^16 - 3054065116089709/545175031730744*c_1001_7^15 - 10314533393620221/272587515865372*c_1001_7^14 - 2588187427915987/545175031730744*c_1001_7^13 + 23270212312949839/272587515865372*c_1001_7^12 + 1195776502293035/68146878966343*c_1001_7^11 - 51927444018840763/545175031730744*c_1001_7^10 - 16595396235432397/545175031730744*c_1001_7^9 + 35387218704780481/545175031730744*c_1001_7^8 + 14417300828167673/545175031730744*c_1001_7^7 - 9458137041887949/272587515865372*c_1001_7^6 - 5426483540516291/545175031730744*c_1001_7^5 + 8197986697260781/545175031730744*c_1001_7^4 + 2332139367508165/545175031730744*c_1001_7^3 - 579114177605779/136293757932686*c_1001_7^2 - 579547643027631/272587515865372*c_1001_7 + 187771814733635/136293757932686, c_0101_10 + 162251666992629/545175031730744*c_1001_7^20 + 43461682845847/68146878966343*c_1001_7^19 + 62247298694140/68146878966343*c_1001_7^18 - 1989867582478921/272587515865372*c_1001_7^17 - 2781877345070879/545175031730744*c_1001_7^16 + 5117537371640571/545175031730744*c_1001_7^15 + 10903855025907337/272587515865372*c_1001_7^14 - 6037992187618455/545175031730744*c_1001_7^13 - 27036913384960951/272587515865372*c_1001_7^12 + 1483395327226964/68146878966343*c_1001_7^11 + 62890537708234089/545175031730744*c_1001_7^10 - 9166527224476485/545175031730744*c_1001_7^9 - 47548232366805319/545175031730744*c_1001_7^8 + 5335126553287937/545175031730744*c_1001_7^7 + 13663587196460665/272587515865372*c_1001_7^6 - 5736080477643039/545175031730744*c_1001_7^5 - 9712990167845707/545175031730744*c_1001_7^4 + 1861627219655669/545175031730744*c_1001_7^3 + 235662459207654/68146878966343*c_1001_7^2 + 145697598674749/272587515865372*c_1001_7 - 208704739939469/136293757932686, c_0101_2 + 2560624166886/68146878966343*c_1001_7^20 + 16780726627217/272587515865372*c_1001_7^19 + 14299997972015/272587515865372*c_1001_7^18 - 141166380009357/136293757932686*c_1001_7^17 - 20067850198144/68146878966343*c_1001_7^16 + 525858633468327/272587515865372*c_1001_7^15 + 657714794517791/136293757932686*c_1001_7^14 - 1099518249764639/272587515865372*c_1001_7^13 - 3780821044060173/272587515865372*c_1001_7^12 + 2520844311513079/272587515865372*c_1001_7^11 + 1191919445051150/68146878966343*c_1001_7^10 - 3278025046301501/272587515865372*c_1001_7^9 - 1814482631342251/136293757932686*c_1001_7^8 + 676236257625291/68146878966343*c_1001_7^7 + 515202720098319/68146878966343*c_1001_7^6 - 1906658883565643/272587515865372*c_1001_7^5 - 730011689576713/272587515865372*c_1001_7^4 + 680410412105089/136293757932686*c_1001_7^3 - 17858045653299/136293757932686*c_1001_7^2 - 378702084135177/272587515865372*c_1001_7 - 44168063869901/136293757932686, c_0101_5 + 8195065930253/272587515865372*c_1001_7^20 + 4498877807027/272587515865372*c_1001_7^19 - 18263395479491/272587515865372*c_1001_7^18 - 71781769573577/68146878966343*c_1001_7^17 + 85551199135229/272587515865372*c_1001_7^16 + 190262430734049/68146878966343*c_1001_7^15 + 290046769711025/68146878966343*c_1001_7^14 - 485551826895702/68146878966343*c_1001_7^13 - 3966286803471425/272587515865372*c_1001_7^12 + 3886976566500097/272587515865372*c_1001_7^11 + 5206434005700533/272587515865372*c_1001_7^10 - 1133711930421579/68146878966343*c_1001_7^9 - 4024234441346685/272587515865372*c_1001_7^8 + 3529195443836229/272587515865372*c_1001_7^7 + 1307626917730977/136293757932686*c_1001_7^6 - 609160859807091/68146878966343*c_1001_7^5 - 446861921165429/136293757932686*c_1001_7^4 + 905270984995207/272587515865372*c_1001_7^3 - 39259392782801/136293757932686*c_1001_7^2 - 161901621771465/272587515865372*c_1001_7 - 34312454348821/136293757932686, c_1001_11 - 176329432088881/272587515865372*c_1001_7^20 - 729737460170177/545175031730744*c_1001_7^19 - 276957799780445/136293757932686*c_1001_7^18 + 4365681645396577/272587515865372*c_1001_7^17 + 698209789129374/68146878966343*c_1001_7^16 - 8684123381942247/545175031730744*c_1001_7^15 - 48719007880550779/545175031730744*c_1001_7^14 + 5535713325766051/272587515865372*c_1001_7^13 + 105171563617823241/545175031730744*c_1001_7^12 - 5680292407066751/272587515865372*c_1001_7^11 - 13447596824958138/68146878966343*c_1001_7^10 - 5583398388015647/545175031730744*c_1001_7^9 + 70027802579893367/545175031730744*c_1001_7^8 + 7217823008229771/545175031730744*c_1001_7^7 - 34495689482700979/545175031730744*c_1001_7^6 + 1280396215567577/272587515865372*c_1001_7^5 + 12414546233305019/545175031730744*c_1001_7^4 + 852349293589817/545175031730744*c_1001_7^3 - 3336985126495147/545175031730744*c_1001_7^2 - 883074733381017/272587515865372*c_1001_7 + 146829436493409/68146878966343, c_1001_12 - 1, c_1001_4 + 27760533635307/68146878966343*c_1001_7^20 + 508792258678799/545175031730744*c_1001_7^19 + 374298404117211/272587515865372*c_1001_7^18 - 2703401610723073/272587515865372*c_1001_7^17 - 2398124050192733/272587515865372*c_1001_7^16 + 6162351421799683/545175031730744*c_1001_7^15 + 31845655567560683/545175031730744*c_1001_7^14 - 1036759825588889/272587515865372*c_1001_7^13 - 74878677108032779/545175031730744*c_1001_7^12 - 158769163356741/68146878966343*c_1001_7^11 + 42092761357467631/272587515865372*c_1001_7^10 + 9614991152473915/545175031730744*c_1001_7^9 - 57494661335612365/545175031730744*c_1001_7^8 - 10086621261398045/545175031730744*c_1001_7^7 + 30455673925070639/545175031730744*c_1001_7^6 + 141243922185177/272587515865372*c_1001_7^5 - 12101578654347275/545175031730744*c_1001_7^4 - 8357726788023/545175031730744*c_1001_7^3 + 2641433594776479/545175031730744*c_1001_7^2 + 202001679388730/68146878966343*c_1001_7 - 208823010628083/136293757932686, c_1001_7^21 + 3*c_1001_7^20 + 5*c_1001_7^19 - 22*c_1001_7^18 - 39*c_1001_7^17 + 12*c_1001_7^16 + 164*c_1001_7^15 + 94*c_1001_7^14 - 343*c_1001_7^13 - 251*c_1001_7^12 + 371*c_1001_7^11 + 324*c_1001_7^10 - 225*c_1001_7^9 - 241*c_1001_7^8 + 104*c_1001_7^7 + 110*c_1001_7^6 - 52*c_1001_7^5 - 45*c_1001_7^4 + 12*c_1001_7^3 + 17*c_1001_7^2 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.680 Total time: 0.900 seconds, Total memory usage: 32.09MB