Magma V2.19-8 Mon Sep 9 2013 19:26:49 on localhost [Seed = 559753855] Type ? for help. Type -D to quit. Loading file "10^2_41__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_41 geometric_solution 15.22324466 oriented_manifold CS_known -0.0000000000000010 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 0132 0132 0132 0 0 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 0 -1 1 1 0 0 -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.221239406040 1.380202256793 0 4 5 5 0132 0132 2103 0132 0 0 1 1 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 -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.573540467471 0.868886010656 6 0 5 7 0132 0132 0213 0132 0 0 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354430934933 0.611994125651 4 6 8 0 0132 0132 0132 0132 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 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.458150101987 1.275485039943 3 1 0 9 0132 0132 0132 0132 0 0 1 1 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 0 0 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.424488585161 0.451557618848 1 2 1 10 2103 0213 0132 0132 0 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 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.470860460620 0.801620756560 2 3 11 10 0132 0132 0132 1023 0 0 1 1 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 1 0 -1 0 0 0 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.809355124379 0.826492998719 12 8 2 9 0132 0213 0132 0213 0 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 0 0 0 0 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.358690812645 1.389047472135 13 11 7 3 0132 0132 0213 0132 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 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.630728820168 0.779724576119 13 10 4 7 2103 0132 0132 0213 0 0 0 1 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 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.905091068031 0.932259853619 11 9 5 6 2031 0132 0132 1023 0 0 1 0 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 0 -1 1 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.566754286405 0.552836415700 12 8 10 6 3120 0132 1302 0132 0 0 1 1 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602698952756 0.474226244031 7 14 15 11 0132 0132 0132 3120 1 0 1 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 1 4 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172780285786 0.999861336818 8 15 9 14 0132 1230 2103 1230 0 0 1 1 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 -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 0 0 0.491218689438 0.593736545505 13 12 15 15 3012 0132 0213 3120 1 0 0 1 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 1 -1 0 1 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.297077172361 0.502914552252 14 14 13 12 3120 0213 3012 0132 1 0 0 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 0 0 0 0 0 0 -4 -1 0 5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297077172361 0.502914552252 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_11']), 'c_1001_14' : negation(d['c_0011_11']), 'c_1001_11' : d['c_0110_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0011_15']), 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0011_15'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0011_5'], 'c_1010_15' : negation(d['c_0011_15']), 'c_1010_14' : negation(d['c_0011_15']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_0_13' : d['1'], 's_3_15' : d['1'], 's_3_14' : 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'], 'c_0101_15' : d['c_0011_15'], 'c_0101_14' : d['c_0011_15'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : 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_0011_15' : d['c_0011_15'], 'c_0011_14' : negation(d['c_0011_12']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1010_7'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : d['c_1001_10'], 's_0_15' : d['1'], 'c_1100_15' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_10']), 'c_1100_13' : d['c_0101_12'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1100_14' : negation(d['c_0011_15']), 's_0_14' : d['1'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_0110_10'], 'c_1100_8' : d['c_1010_7'], '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_0011_10'], '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_10']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0101_6'], 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 's_3_12' : d['1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_13'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_13'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_15, c_0011_5, c_0101_0, c_0101_10, c_0101_12, c_0101_13, c_0101_6, c_0110_10, c_1001_0, c_1001_10, c_1001_2, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 151677548400719521008756509997631729074670753/210071486828783328045\ 27701033520315268539624*c_1010_7^23 - 147028478185327340603622875082364445794916017/630214460486349984135\ 83103100560945805618872*c_1010_7^22 - 23918351691330675970703838381278806773218453/3151072302431749920679\ 1551550280472902809436*c_1010_7^21 - 1812485557529707988379803481088407010180286143/63021446048634998413\ 583103100560945805618872*c_1010_7^20 - 41962792572258092570729660120099647972389173/3248528146836855588329\ 02593301860545389788*c_1010_7^19 - 1803591978620722236770439780919835718592171523/15755361512158749603\ 395775775140236451404718*c_1010_7^18 - 635098023491168677328208048689193437694966268/787768075607937480169\ 7887887570118225702359*c_1010_7^17 - 706584599491998561037990571412455975463144853/190974078935257570950\ 2518275774574115321784*c_1010_7^16 - 13473522364564451554536361433568451402735335995/3151072302431749920\ 6791551550280472902809436*c_1010_7^15 - 12751789745131831085553536204402328175357456331/3151072302431749920\ 6791551550280472902809436*c_1010_7^14 - 8565215737837966456198949616568060091436628967/15755361512158749603\ 395775775140236451404718*c_1010_7^13 - 21467940143025062880637298740101089193950778845/3151072302431749920\ 6791551550280472902809436*c_1010_7^12 - 4279903156637087015279884234908372359205350117/15755361512158749603\ 395775775140236451404718*c_1010_7^11 - 2930315677356625373465728062385404370988193719/10503574341439166402\ 263850516760157634269812*c_1010_7^10 - 30892559061339592996544304483940478200756684981/3151072302431749920\ 6791551550280472902809436*c_1010_7^9 + 4455054332161531968638865603391057555677461219/63021446048634998413\ 583103100560945805618872*c_1010_7^8 + 3087200200963961550465276039995849096612843633/63021446048634998413\ 583103100560945805618872*c_1010_7^7 - 24991988311705745426848336287608114677026412417/6302144604863499841\ 3583103100560945805618872*c_1010_7^6 + 11014313426498376771324675462874137182408449505/3151072302431749920\ 6791551550280472902809436*c_1010_7^5 - 311599370129930540364486880819547138629303447/233412763143092586716\ 9744559280035029837736*c_1010_7^4 - 182440548245858652622857324159170332148909662/262589358535979160056\ 5962629190039408567453*c_1010_7^3 + 6263628567781258509564221267450530881197211317/31510723024317499206\ 791551550280472902809436*c_1010_7^2 - 161520491839674500709461352005570325394823290/787768075607937480169\ 7887887570118225702359*c_1010_7 + 271492536861299675050870645047406\ 1420907623881/63021446048634998413583103100560945805618872, c_0011_0 - 1, c_0011_10 - 137049314476157755890741708796842708/3038279224501361380779\ 1114225763238439*c_1010_7^23 + 140381859275077832335156706303729399\ 0/30382792245013613807791114225763238439*c_1010_7^22 + 720328402147390186892942655335838185/303827922450136138077911142257\ 63238439*c_1010_7^21 - 1183220681944477358463360105675020153/303827\ 92245013613807791114225763238439*c_1010_7^20 + 3682984296809938518973138019387938194/30382792245013613807791114225\ 763238439*c_1010_7^19 + 25111198810911909667178887393000454289/3038\ 2792245013613807791114225763238439*c_1010_7^18 + 23618413325400297727445863654132544503/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 800012497368717693732086445343908865/30382\ 792245013613807791114225763238439*c_1010_7^16 + 67737232623784994522573342296770316754/3038279224501361380779111422\ 5763238439*c_1010_7^15 + 99124332254121021152522406501857592544/303\ 82792245013613807791114225763238439*c_1010_7^14 + 66705736785623371744597599663696832845/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 113275515774013393195972580892525258945/30\ 382792245013613807791114225763238439*c_1010_7^12 + 171862138762520338121987574558613667048/303827922450136138077911142\ 25763238439*c_1010_7^11 + 110537181294370201380086024317757762718/3\ 0382792245013613807791114225763238439*c_1010_7^10 + 86180957562970263158128839938465515171/3038279224501361380779111422\ 5763238439*c_1010_7^9 + 327209694711499767649091245230490315437/303\ 82792245013613807791114225763238439*c_1010_7^8 + 132254278755051841822825231607411605580/303827922450136138077911142\ 25763238439*c_1010_7^7 + 6859161319502442750854908198436331113/3038\ 2792245013613807791114225763238439*c_1010_7^6 + 268615916890979996365136429143365714728/303827922450136138077911142\ 25763238439*c_1010_7^5 + 31496422364119695623360413471722665352/303\ 82792245013613807791114225763238439*c_1010_7^4 + 81512188724216020823928979467394274454/3038279224501361380779111422\ 5763238439*c_1010_7^3 + 90499170907562149033111898311869109979/3038\ 2792245013613807791114225763238439*c_1010_7^2 - 12872460419238674422469127022244408866/3038279224501361380779111422\ 5763238439*c_1010_7 + 52526995811355128196304958479906709278/303827\ 92245013613807791114225763238439, c_0011_11 - 387371843413941491730012610872421557/3038279224501361380779\ 1114225763238439*c_1010_7^23 + 613722970519928781348282222329427763\ /30382792245013613807791114225763238439*c_1010_7^22 - 940524948402752002056892910759159850/303827922450136138077911142257\ 63238439*c_1010_7^21 - 1175054480777213647054037741864732763/303827\ 92245013613807791114225763238439*c_1010_7^20 - 4590400602663878469366673769767749612/30382792245013613807791114225\ 763238439*c_1010_7^19 + 2258788986051606776097016297494043754/30382\ 792245013613807791114225763238439*c_1010_7^18 - 9603685612008384066170339360747507398/30382792245013613807791114225\ 763238439*c_1010_7^17 - 21765006888006855017242027637103450371/3038\ 2792245013613807791114225763238439*c_1010_7^16 + 720760211895734679034093532567588966/303827922450136138077911142257\ 63238439*c_1010_7^15 - 41190731218905357657313412410113545779/30382\ 792245013613807791114225763238439*c_1010_7^14 - 18523477204812883035960674216654525447/3038279224501361380779111422\ 5763238439*c_1010_7^13 - 51511196348683290943910585889433270413/303\ 82792245013613807791114225763238439*c_1010_7^12 - 35278405587977749107163255580254774028/3038279224501361380779111422\ 5763238439*c_1010_7^11 - 79935735611699783280569395940827432058/303\ 82792245013613807791114225763238439*c_1010_7^10 - 59761806212685417571422411066665665042/3038279224501361380779111422\ 5763238439*c_1010_7^9 + 12244093345381209666513324226162730725/3038\ 2792245013613807791114225763238439*c_1010_7^8 - 190891146129270188777872313729140122875/303827922450136138077911142\ 25763238439*c_1010_7^7 + 56959771648944929958743304764436405140/303\ 82792245013613807791114225763238439*c_1010_7^6 - 118510859906424137926976810034818453905/303827922450136138077911142\ 25763238439*c_1010_7^5 - 76168341440109965387305851152704726926/303\ 82792245013613807791114225763238439*c_1010_7^4 + 80853259731467831939458613086974086250/3038279224501361380779111422\ 5763238439*c_1010_7^3 - 104938151704456085375926325123993395094/303\ 82792245013613807791114225763238439*c_1010_7^2 + 2757419752558104821129096127702621978/30382792245013613807791114225\ 763238439*c_1010_7 + 2215241990096711418752026978446140615/30382792\ 245013613807791114225763238439, c_0011_12 - 137049314476157755890741708796842708/3038279224501361380779\ 1114225763238439*c_1010_7^23 + 140381859275077832335156706303729399\ 0/30382792245013613807791114225763238439*c_1010_7^22 + 720328402147390186892942655335838185/303827922450136138077911142257\ 63238439*c_1010_7^21 - 1183220681944477358463360105675020153/303827\ 92245013613807791114225763238439*c_1010_7^20 + 3682984296809938518973138019387938194/30382792245013613807791114225\ 763238439*c_1010_7^19 + 25111198810911909667178887393000454289/3038\ 2792245013613807791114225763238439*c_1010_7^18 + 23618413325400297727445863654132544503/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 800012497368717693732086445343908865/30382\ 792245013613807791114225763238439*c_1010_7^16 + 67737232623784994522573342296770316754/3038279224501361380779111422\ 5763238439*c_1010_7^15 + 99124332254121021152522406501857592544/303\ 82792245013613807791114225763238439*c_1010_7^14 + 66705736785623371744597599663696832845/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 113275515774013393195972580892525258945/30\ 382792245013613807791114225763238439*c_1010_7^12 + 171862138762520338121987574558613667048/303827922450136138077911142\ 25763238439*c_1010_7^11 + 110537181294370201380086024317757762718/3\ 0382792245013613807791114225763238439*c_1010_7^10 + 86180957562970263158128839938465515171/3038279224501361380779111422\ 5763238439*c_1010_7^9 + 327209694711499767649091245230490315437/303\ 82792245013613807791114225763238439*c_1010_7^8 + 132254278755051841822825231607411605580/303827922450136138077911142\ 25763238439*c_1010_7^7 + 6859161319502442750854908198436331113/3038\ 2792245013613807791114225763238439*c_1010_7^6 + 268615916890979996365136429143365714728/303827922450136138077911142\ 25763238439*c_1010_7^5 + 31496422364119695623360413471722665352/303\ 82792245013613807791114225763238439*c_1010_7^4 + 81512188724216020823928979467394274454/3038279224501361380779111422\ 5763238439*c_1010_7^3 + 90499170907562149033111898311869109979/3038\ 2792245013613807791114225763238439*c_1010_7^2 - 12872460419238674422469127022244408866/3038279224501361380779111422\ 5763238439*c_1010_7 + 52526995811355128196304958479906709278/303827\ 92245013613807791114225763238439, c_0011_15 + 1699944371629171270977998801949784218/303827922450136138077\ 91114225763238439*c_1010_7^23 - 13761705323912263643825721131047605\ 12/30382792245013613807791114225763238439*c_1010_7^22 - 939676759138681439043110001840961262/303827922450136138077911142257\ 63238439*c_1010_7^21 + 8414208572169393685699873300816148998/303827\ 92245013613807791114225763238439*c_1010_7^20 + 22615856229669910931980349311876537096/3038279224501361380779111422\ 5763238439*c_1010_7^19 - 8727705218734860696692170092944199991/3038\ 2792245013613807791114225763238439*c_1010_7^18 - 12919610061230117347653950515961468999/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 91565637402837104941745850882416567234/303\ 82792245013613807791114225763238439*c_1010_7^16 + 17350266841893013711936285281878083399/3038279224501361380779111422\ 5763238439*c_1010_7^15 - 21546859501822145636285602246269752613/303\ 82792245013613807791114225763238439*c_1010_7^14 + 88389766679072132900655762490832351373/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 81087287969370288521902623978724178126/303\ 82792245013613807791114225763238439*c_1010_7^12 - 59128399893205964509988565486782944796/3038279224501361380779111422\ 5763238439*c_1010_7^11 + 72545124095651578567146297437717586247/303\ 82792245013613807791114225763238439*c_1010_7^10 + 305711654216541737461222789941518930545/303827922450136138077911142\ 25763238439*c_1010_7^9 - 258401197852441640637773689053094991446/30\ 382792245013613807791114225763238439*c_1010_7^8 + 23152176652274390529710518560607370507/3038279224501361380779111422\ 5763238439*c_1010_7^7 + 339605887903575526461087005954026421775/303\ 82792245013613807791114225763238439*c_1010_7^6 - 267767638020612545499174211161015431606/303827922450136138077911142\ 25763238439*c_1010_7^5 + 131210616231623520220057647348047105616/30\ 382792245013613807791114225763238439*c_1010_7^4 + 82501380233812129139174180562131027271/3038279224501361380779111422\ 5763238439*c_1010_7^3 - 144963738965000198527793839799359362638/303\ 82792245013613807791114225763238439*c_1010_7^2 + 91822857296284224971925160269173667939/3038279224501361380779111422\ 5763238439*c_1010_7 - 28413110126204500381214024512136606464/303827\ 92245013613807791114225763238439, c_0011_5 + 488056249081408321213360216000177281/30382792245013613807791\ 114225763238439*c_1010_7^23 - 2107164946142577908638973691475921726\ /30382792245013613807791114225763238439*c_1010_7^22 + 167525579887826473879382340434313357/303827922450136138077911142257\ 63238439*c_1010_7^21 + 2030498723853873779760057970963403530/303827\ 92245013613807791114225763238439*c_1010_7^20 + 212680188862904304634395770467673842/303827922450136138077911142257\ 63238439*c_1010_7^19 - 30096161522180565927361784878924859588/30382\ 792245013613807791114225763238439*c_1010_7^18 - 15891919283695527031952419538050990981/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 14915727386687670601176993174498200372/303\ 82792245013613807791114225763238439*c_1010_7^16 - 73803235187825186084339435166857135404/3038279224501361380779111422\ 5763238439*c_1010_7^15 - 73220126146118535482070521678595233756/303\ 82792245013613807791114225763238439*c_1010_7^14 - 58473380535020384350561199264533605542/3038279224501361380779111422\ 5763238439*c_1010_7^13 - 81204302975996032555471815727039996247/303\ 82792245013613807791114225763238439*c_1010_7^12 - 168952346121695434702606888858152606134/303827922450136138077911142\ 25763238439*c_1010_7^11 - 42937710765250068946283081685834244988/30\ 382792245013613807791114225763238439*c_1010_7^10 - 59086414561098812210939983402262711735/3038279224501361380779111422\ 5763238439*c_1010_7^9 - 369020947534347670188383989538543089268/303\ 82792245013613807791114225763238439*c_1010_7^8 + 2244846298360157646435593127608235023/30382792245013613807791114225\ 763238439*c_1010_7^7 - 63536666422803375125819060011808870960/30382\ 792245013613807791114225763238439*c_1010_7^6 - 191354038328598438505847941191053352513/303827922450136138077911142\ 25763238439*c_1010_7^5 + 5516018438037467542394019771944626983/3038\ 2792245013613807791114225763238439*c_1010_7^4 - 129009683032606038832214956962184079906/303827922450136138077911142\ 25763238439*c_1010_7^3 - 48114900100960205481755053479917006844/303\ 82792245013613807791114225763238439*c_1010_7^2 - 6037237308481784915114462221394810975/30382792245013613807791114225\ 763238439*c_1010_7 - 22192942498017152715340736273149327927/3038279\ 2245013613807791114225763238439, c_0101_0 - 1, c_0101_10 + 1525053166040547532287898352558320068/303827922450136138077\ 91114225763238439*c_1010_7^23 + 90214131720409842886220968790043286\ 8/30382792245013613807791114225763238439*c_1010_7^22 - 900307700931286179397196547285441564/303827922450136138077911142257\ 63238439*c_1010_7^21 + 5972647006193878065185786504120913464/303827\ 92245013613807791114225763238439*c_1010_7^20 + 29825108776496273620680337151212474980/3038279224501361380779111422\ 5763238439*c_1010_7^19 + 27755250168785264644056152571909252960/303\ 82792245013613807791114225763238439*c_1010_7^18 + 4201449906929989721448589268773852352/30382792245013613807791114225\ 763238439*c_1010_7^17 + 72186877119619603613946364442086609320/3038\ 2792245013613807791114225763238439*c_1010_7^16 + 121988885125090727492471307223103328698/303827922450136138077911142\ 25763238439*c_1010_7^15 + 80638978353553226156877499274675484698/30\ 382792245013613807791114225763238439*c_1010_7^14 + 113687436773582645299801949685494143088/303827922450136138077911142\ 25763238439*c_1010_7^13 + 190310121777690138683317464384118598548/3\ 0382792245013613807791114225763238439*c_1010_7^12 + 121438404574999266054342087871871593923/303827922450136138077911142\ 25763238439*c_1010_7^11 + 100570045326632698123438983942889275726/3\ 0382792245013613807791114225763238439*c_1010_7^10 + 340434532743802683645765627097225766289/303827922450136138077911142\ 25763238439*c_1010_7^9 + 182855555686986932973025974028338872430/30\ 382792245013613807791114225763238439*c_1010_7^8 - 32856420515225096213008075923813274374/3038279224501361380779111422\ 5763238439*c_1010_7^7 + 227880508162386362385512590838682541466/303\ 82792245013613807791114225763238439*c_1010_7^6 + 107325682762754354704111454531207956355/303827922450136138077911142\ 25763238439*c_1010_7^5 + 25821367524153958264157077799905763290/303\ 82792245013613807791114225763238439*c_1010_7^4 + 131736120725559592718375939155955869487/303827922450136138077911142\ 25763238439*c_1010_7^3 - 40107653340329001520511454549338925440/303\ 82792245013613807791114225763238439*c_1010_7^2 - 768525653849812894050564764589354333/303827922450136138077911142257\ 63238439*c_1010_7 + 18289491124572861691966041890739592218/30382792\ 245013613807791114225763238439, c_0101_12 + 1657681251584958889919494561561669230/303827922450136138077\ 91114225763238439*c_1010_7^23 - 26166911578344800625251669739394741\ 94/30382792245013613807791114225763238439*c_1010_7^22 + 1299638077671940036803970769590640941/30382792245013613807791114225\ 763238439*c_1010_7^21 + 6435216106383441973418541772938898218/30382\ 792245013613807791114225763238439*c_1010_7^20 + 17255720082146734248732077535949123063/3038279224501361380779111422\ 5763238439*c_1010_7^19 - 22561968459434489997158885579068382528/303\ 82792245013613807791114225763238439*c_1010_7^18 + 5558086168280284410970438276546650305/30382792245013613807791114225\ 763238439*c_1010_7^17 + 74125661586754653472856643371407094440/3038\ 2792245013613807791114225763238439*c_1010_7^16 - 49234834482786594395291784164501527526/3038279224501361380779111422\ 5763238439*c_1010_7^15 - 2287264899240930718055840306371030326/3038\ 2792245013613807791114225763238439*c_1010_7^14 + 50325272799442484860424107067290823440/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 6802382552952677694482930923686866166/3038\ 2792245013613807791114225763238439*c_1010_7^12 - 137286592015314438762581344124309575601/303827922450136138077911142\ 25763238439*c_1010_7^11 + 93855250968816804539042268683299554588/30\ 382792245013613807791114225763238439*c_1010_7^10 + 107846981185175554820005830618149252807/303827922450136138077911142\ 25763238439*c_1010_7^9 - 416081463098532561299452173032299466432/30\ 382792245013613807791114225763238439*c_1010_7^8 + 234535258108011627382570144715288749268/303827922450136138077911142\ 25763238439*c_1010_7^7 + 28661732866761694986435220182770483154/303\ 82792245013613807791114225763238439*c_1010_7^6 - 329800784328685602623154643117654530635/303827922450136138077911142\ 25763238439*c_1010_7^5 + 196904836301945790640119765445539701690/30\ 382792245013613807791114225763238439*c_1010_7^4 - 102182437584084703433087828360241425213/303827922450136138077911142\ 25763238439*c_1010_7^3 - 79403927247152356136515303594130039438/303\ 82792245013613807791114225763238439*c_1010_7^2 + 85781572504513940170048980189563567827/3038279224501361380779111422\ 5763238439*c_1010_7 - 59573673996069970638010532335313882982/303827\ 92245013613807791114225763238439, c_0101_13 - 399334515146206464999388549681563786/3038279224501361380779\ 1114225763238439*c_1010_7^23 + 363339153002741445185867281284462156\ /30382792245013613807791114225763238439*c_1010_7^22 - 1250481134946921733990874022043871734/30382792245013613807791114225\ 763238439*c_1010_7^21 - 1523321189179875751099990010350919940/30382\ 792245013613807791114225763238439*c_1010_7^20 - 4191565697980563368692241370517972006/30382792245013613807791114225\ 763238439*c_1010_7^19 - 2798063683008294851606382361198349016/30382\ 792245013613807791114225763238439*c_1010_7^18 - 19628134696212320296283343778733064200/3038279224501361380779111422\ 5763238439*c_1010_7^17 - 24922451327444709099683091050161941444/303\ 82792245013613807791114225763238439*c_1010_7^16 + 9988710424149194234242258722893215966/30382792245013613807791114225\ 763238439*c_1010_7^15 - 47555276779320059436991567121319076634/3038\ 2792245013613807791114225763238439*c_1010_7^14 - 59442788212709568515231098137968705606/3038279224501361380779111422\ 5763238439*c_1010_7^13 - 12485745342242479954857274549526512337/303\ 82792245013613807791114225763238439*c_1010_7^12 - 11149997662528099981048300903196344156/3038279224501361380779111422\ 5763238439*c_1010_7^11 - 71413729470921392067390295862554529140/303\ 82792245013613807791114225763238439*c_1010_7^10 - 9423659469095091641177972365209600304/30382792245013613807791114225\ 763238439*c_1010_7^9 + 81605122517203621163757769921171485468/30382\ 792245013613807791114225763238439*c_1010_7^8 - 193425838006741042444339521536776536228/303827922450136138077911142\ 25763238439*c_1010_7^7 + 43862138440420650412979298402038829042/303\ 82792245013613807791114225763238439*c_1010_7^6 + 170539346936343585617330965911914428000/303827922450136138077911142\ 25763238439*c_1010_7^5 - 145891516333747844092576497190299957711/30\ 382792245013613807791114225763238439*c_1010_7^4 + 82470585294335443073546983811817159722/3038279224501361380779111422\ 5763238439*c_1010_7^3 + 27883266963406937576519368550787229334/3038\ 2792245013613807791114225763238439*c_1010_7^2 - 52674099765175019060432186196939247290/3038279224501361380779111422\ 5763238439*c_1010_7 + 46509114327124917086692626333685262387/303827\ 92245013613807791114225763238439, c_0101_6 - 399334515146206464999388549681563786/30382792245013613807791\ 114225763238439*c_1010_7^23 + 363339153002741445185867281284462156/\ 30382792245013613807791114225763238439*c_1010_7^22 - 1250481134946921733990874022043871734/30382792245013613807791114225\ 763238439*c_1010_7^21 - 1523321189179875751099990010350919940/30382\ 792245013613807791114225763238439*c_1010_7^20 - 4191565697980563368692241370517972006/30382792245013613807791114225\ 763238439*c_1010_7^19 - 2798063683008294851606382361198349016/30382\ 792245013613807791114225763238439*c_1010_7^18 - 19628134696212320296283343778733064200/3038279224501361380779111422\ 5763238439*c_1010_7^17 - 24922451327444709099683091050161941444/303\ 82792245013613807791114225763238439*c_1010_7^16 + 9988710424149194234242258722893215966/30382792245013613807791114225\ 763238439*c_1010_7^15 - 47555276779320059436991567121319076634/3038\ 2792245013613807791114225763238439*c_1010_7^14 - 59442788212709568515231098137968705606/3038279224501361380779111422\ 5763238439*c_1010_7^13 - 12485745342242479954857274549526512337/303\ 82792245013613807791114225763238439*c_1010_7^12 - 11149997662528099981048300903196344156/3038279224501361380779111422\ 5763238439*c_1010_7^11 - 71413729470921392067390295862554529140/303\ 82792245013613807791114225763238439*c_1010_7^10 - 9423659469095091641177972365209600304/30382792245013613807791114225\ 763238439*c_1010_7^9 + 81605122517203621163757769921171485468/30382\ 792245013613807791114225763238439*c_1010_7^8 - 193425838006741042444339521536776536228/303827922450136138077911142\ 25763238439*c_1010_7^7 + 43862138440420650412979298402038829042/303\ 82792245013613807791114225763238439*c_1010_7^6 + 170539346936343585617330965911914428000/303827922450136138077911142\ 25763238439*c_1010_7^5 - 145891516333747844092576497190299957711/30\ 382792245013613807791114225763238439*c_1010_7^4 + 82470585294335443073546983811817159722/3038279224501361380779111422\ 5763238439*c_1010_7^3 + 27883266963406937576519368550787229334/3038\ 2792245013613807791114225763238439*c_1010_7^2 - 52674099765175019060432186196939247290/3038279224501361380779111422\ 5763238439*c_1010_7 + 46509114327124917086692626333685262387/303827\ 92245013613807791114225763238439, c_0110_10 + 390940106176137852693751967836757649/3038279224501361380779\ 1114225763238439*c_1010_7^23 - 989795316244391662981229185992571254\ /30382792245013613807791114225763238439*c_1010_7^22 - 39602796565859123351311364501543109/3038279224501361380779111422576\ 3238439*c_1010_7^21 + 498269704738811150127730129378961270/30382792\ 245013613807791114225763238439*c_1010_7^20 + 2744520861773728179574519098544980334/30382792245013613807791114225\ 763238439*c_1010_7^19 - 13130256926942955397741031431402220628/3038\ 2792245013613807791114225763238439*c_1010_7^18 - 12932866289292173507235698720375057767/3038279224501361380779111422\ 5763238439*c_1010_7^17 - 4790122906019214281383720257313067720/3038\ 2792245013613807791114225763238439*c_1010_7^16 - 41156446973963501340658373900316440114/3038279224501361380779111422\ 5763238439*c_1010_7^15 - 44392984094618129283459212349546418410/303\ 82792245013613807791114225763238439*c_1010_7^14 - 80862849515546602338983858053863663849/3038279224501361380779111422\ 5763238439*c_1010_7^13 - 83099232808244010431070207446774735767/303\ 82792245013613807791114225763238439*c_1010_7^12 - 143062751377441579645146887659296348598/303827922450136138077911142\ 25763238439*c_1010_7^11 - 111251170244616502491652746991969061692/3\ 0382792245013613807791114225763238439*c_1010_7^10 - 120857922826040845613061455355916529165/303827922450136138077911142\ 25763238439*c_1010_7^9 - 234430394759147713587287714321516950844/30\ 382792245013613807791114225763238439*c_1010_7^8 - 100452577373601578609786951594180991823/303827922450136138077911142\ 25763238439*c_1010_7^7 - 218768190278542379584840131519263353830/30\ 382792245013613807791114225763238439*c_1010_7^6 - 104963364751635357698180337903306398916/303827922450136138077911142\ 25763238439*c_1010_7^5 - 83743253613783485436142569384459117101/303\ 82792245013613807791114225763238439*c_1010_7^4 - 155561834945525621525403030347366096620/303827922450136138077911142\ 25763238439*c_1010_7^3 - 18069756194070219437954885098266374094/303\ 82792245013613807791114225763238439*c_1010_7^2 - 49218564009388314793478850641067041812/3038279224501361380779111422\ 5763238439*c_1010_7 - 26585622164625423830334010319646529573/303827\ 92245013613807791114225763238439, c_1001_0 + 2013109415121955853501258568558497349/3038279224501361380779\ 1114225763238439*c_1010_7^23 - 120502362893847947977676400357548885\ 8/30382792245013613807791114225763238439*c_1010_7^22 - 732782121043459705517814206851128207/303827922450136138077911142257\ 63238439*c_1010_7^21 + 8003145730047751844945844475084316994/303827\ 92245013613807791114225763238439*c_1010_7^20 + 30037788965359177925314732921680148822/3038279224501361380779111422\ 5763238439*c_1010_7^19 - 2340911353395301283305632307015606628/3038\ 2792245013613807791114225763238439*c_1010_7^18 - 11690469376765537310503830269277138629/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 87102604506307274215123357616584809692/303\ 82792245013613807791114225763238439*c_1010_7^16 + 48185649937265541408131872056246193294/3038279224501361380779111422\ 5763238439*c_1010_7^15 + 7418852207434690674806977596080250942/3038\ 2792245013613807791114225763238439*c_1010_7^14 + 55214056238562260949240750420960537546/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 109105818801694106127845648657078602301/30\ 382792245013613807791114225763238439*c_1010_7^12 - 47513941546696168648264800986281012211/3038279224501361380779111422\ 5763238439*c_1010_7^11 + 57632334561382629177155902257055030738/303\ 82792245013613807791114225763238439*c_1010_7^10 + 281348118182703871434825643694963054554/303827922450136138077911142\ 25763238439*c_1010_7^9 - 186165391847360737215358015510204216838/30\ 382792245013613807791114225763238439*c_1010_7^8 - 30611574216864938566572482796205039351/3038279224501361380779111422\ 5763238439*c_1010_7^7 + 164343841739582987259693530826873670506/303\ 82792245013613807791114225763238439*c_1010_7^6 - 84028355565844083801736486659845396158/3038279224501361380779111422\ 5763238439*c_1010_7^5 + 31337385962191425806551097571850390273/3038\ 2792245013613807791114225763238439*c_1010_7^4 + 2726437692953553886160982193771789581/30382792245013613807791114225\ 763238439*c_1010_7^3 - 88222553441289207002266508029255932284/30382\ 792245013613807791114225763238439*c_1010_7^2 + 23577029282682015998626087239779073131/3038279224501361380779111422\ 5763238439*c_1010_7 - 3903451373444291023374694382409735709/3038279\ 2245013613807791114225763238439, c_1001_10 + 829852984461099924002075479229155212/3038279224501361380779\ 1114225763238439*c_1010_7^23 - 132352581033141071970812944869936497\ 1/30382792245013613807791114225763238439*c_1010_7^22 + 422804720176194016701017827588808716/303827922450136138077911142257\ 63238439*c_1010_7^21 + 3714398236494241175075279336213883402/303827\ 92245013613807791114225763238439*c_1010_7^20 + 9013163250592739801471254743993316624/30382792245013613807791114225\ 763238439*c_1010_7^19 - 12298238872329199959404056742144040407/3038\ 2792245013613807791114225763238439*c_1010_7^18 + 796223850002885081417319589536240036/303827922450136138077911142257\ 63238439*c_1010_7^17 + 43820043389597004673474637321738959574/30382\ 792245013613807791114225763238439*c_1010_7^16 - 14094393584068842287946055818837509132/3038279224501361380779111422\ 5763238439*c_1010_7^15 - 3575933042640055427212425167360362596/3038\ 2792245013613807791114225763238439*c_1010_7^14 + 40244477674460115513136005823330106124/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 23117962187849426000427050325490498472/303\ 82792245013613807791114225763238439*c_1010_7^12 - 48412409360976966111029673113047946484/3038279224501361380779111422\ 5763238439*c_1010_7^11 + 74087483784712495377259360801477007791/303\ 82792245013613807791114225763238439*c_1010_7^10 + 96165482045281970454468972116696277500/3038279224501361380779111422\ 5763238439*c_1010_7^9 - 198725767838747238281870923790250406434/303\ 82792245013613807791114225763238439*c_1010_7^8 + 87720399424249992083616200845680426264/3038279224501361380779111422\ 5763238439*c_1010_7^7 + 83400432574358294844510757222191556551/3038\ 2792245013613807791114225763238439*c_1010_7^6 - 167871568800994550945313138633735799616/303827922450136138077911142\ 25763238439*c_1010_7^5 + 91555493748447467176284982419830876710/303\ 82792245013613807791114225763238439*c_1010_7^4 - 31389800794321780297113965336399478392/3038279224501361380779111422\ 5763238439*c_1010_7^3 - 112064007357727111552681030677856998455/303\ 82792245013613807791114225763238439*c_1010_7^2 + 50430762635580875438358492053077931940/3038279224501361380779111422\ 5763238439*c_1010_7 - 46060151584996538724748551874262091612/303827\ 92245013613807791114225763238439, c_1001_2 + 2013109415121955853501258568558497349/3038279224501361380779\ 1114225763238439*c_1010_7^23 - 120502362893847947977676400357548885\ 8/30382792245013613807791114225763238439*c_1010_7^22 - 732782121043459705517814206851128207/303827922450136138077911142257\ 63238439*c_1010_7^21 + 8003145730047751844945844475084316994/303827\ 92245013613807791114225763238439*c_1010_7^20 + 30037788965359177925314732921680148822/3038279224501361380779111422\ 5763238439*c_1010_7^19 - 2340911353395301283305632307015606628/3038\ 2792245013613807791114225763238439*c_1010_7^18 - 11690469376765537310503830269277138629/3038279224501361380779111422\ 5763238439*c_1010_7^17 + 87102604506307274215123357616584809692/303\ 82792245013613807791114225763238439*c_1010_7^16 + 48185649937265541408131872056246193294/3038279224501361380779111422\ 5763238439*c_1010_7^15 + 7418852207434690674806977596080250942/3038\ 2792245013613807791114225763238439*c_1010_7^14 + 55214056238562260949240750420960537546/3038279224501361380779111422\ 5763238439*c_1010_7^13 + 109105818801694106127845648657078602301/30\ 382792245013613807791114225763238439*c_1010_7^12 - 47513941546696168648264800986281012211/3038279224501361380779111422\ 5763238439*c_1010_7^11 + 57632334561382629177155902257055030738/303\ 82792245013613807791114225763238439*c_1010_7^10 + 281348118182703871434825643694963054554/303827922450136138077911142\ 25763238439*c_1010_7^9 - 186165391847360737215358015510204216838/30\ 382792245013613807791114225763238439*c_1010_7^8 - 30611574216864938566572482796205039351/3038279224501361380779111422\ 5763238439*c_1010_7^7 + 164343841739582987259693530826873670506/303\ 82792245013613807791114225763238439*c_1010_7^6 - 84028355565844083801736486659845396158/3038279224501361380779111422\ 5763238439*c_1010_7^5 + 31337385962191425806551097571850390273/3038\ 2792245013613807791114225763238439*c_1010_7^4 + 2726437692953553886160982193771789581/30382792245013613807791114225\ 763238439*c_1010_7^3 - 88222553441289207002266508029255932284/30382\ 792245013613807791114225763238439*c_1010_7^2 - 6805762962331597809165026985984165308/30382792245013613807791114225\ 763238439*c_1010_7 - 3903451373444291023374694382409735709/30382792\ 245013613807791114225763238439, c_1010_7^24 - 2/3*c_1010_7^23 + 1/3*c_1010_7^22 + 13/3*c_1010_7^21 + 43/3*c_1010_7^20 + 2/3*c_1010_7^19 + 20/3*c_1010_7^18 + 55*c_1010_7^17 + 73/3*c_1010_7^16 + 112/3*c_1010_7^15 + 230/3*c_1010_7^14 + 262/3*c_1010_7^13 + 98/3*c_1010_7^12 + 114*c_1010_7^11 + 584/3*c_1010_7^10 - 149/3*c_1010_7^9 + 442/3*c_1010_7^8 + 442/3*c_1010_7^7 - 115/3*c_1010_7^6 + 149*c_1010_7^5 + 17*c_1010_7^4 - 10/3*c_1010_7^3 + 170/3*c_1010_7^2 - 25/3*c_1010_7 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.870 Total time: 4.080 seconds, Total memory usage: 147.50MB