Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1444399795] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2027 geometric_solution 5.56719783 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 0 0 0 0 0 0 0 1 0 -1 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.407525128740 0.485158714878 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.984881471543 1.208498730466 3 0 4 1 2310 0132 2310 3012 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 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.984881471543 1.208498730466 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143707338691 0.410871125803 6 2 1 6 0132 3201 0132 1023 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669322268306 0.407013187928 3 5 5 3 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.100792763475 0.985001187749 4 6 6 4 0132 3201 2310 1023 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148614492293 0.511292779369 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_0_6' : 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_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 284625266803724714390500553331674823008422294866746972540863065839/\ 14338433808438020711838052261406197948682118898433651483920250174*c\ _0101_6^26 + 109052953613358472173118469142808637277072421035220077\ 1541930382301/71692169042190103559190261307030989743410594492168257\ 41960125087*c_0101_6^25 - 47198027272580383322010017607141506785117\ 51295035840619133453818501/1433843380843802071183805226140619794868\ 2118898433651483920250174*c_0101_6^24 - 2083819236000984265403420939362754665730709662218359069986881059902\ 6/7169216904219010355919026130703098974341059449216825741960125087*\ c_0101_6^23 + 29486563548141836298403492209827241154464742519837794\ 784008679549944/716921690421901035591902613070309897434105944921682\ 5741960125087*c_0101_6^22 + 379792851271298959166663395740103920576\ 039419657385978041110369936257/143384338084380207118380522614061979\ 48682118898433651483920250174*c_0101_6^21 - 1983498746233864284750009456572040747153742835766164235768082654603\ 79/7169216904219010355919026130703098974341059449216825741960125087\ *c_0101_6^20 - 9696830112009085685856354438834513762048946994294456\ 65579553544344453/7169216904219010355919026130703098974341059449216\ 825741960125087*c_0101_6^19 + 3022900853305622790862898438172669423\ 41045749955793315195721749883511/7169216904219010355919026130703098\ 974341059449216825741960125087*c_0101_6^18 + 5962853541254818942096164714731468308773965967016991265846327143411\ 507/143384338084380207118380522614061979486821188984336514839202501\ 74*c_0101_6^17 + 15491800144814197833329925428014080628217917883437\ 04244497935518306780/7169216904219010355919026130703098974341059449\ 216825741960125087*c_0101_6^16 - 1069738003351787593741336077660751\ 6775702085801749981585569312122048857/14338433808438020711838052261\ 406197948682118898433651483920250174*c_0101_6^15 - 4868807430078970098006046353985242255663322308407371799131405841008\ 508/716921690421901035591902613070309897434105944921682574196012508\ 7*c_0101_6^14 + 269114247142827327545931129746559860288960428534991\ 0622418022309154904/71692169042190103559190261307030989743410594492\ 16825741960125087*c_0101_6^13 + 56060237310699280141126908000880557\ 92399336436616615817389344105444793/7169216904219010355919026130703\ 098974341059449216825741960125087*c_0101_6^12 + 2279390020391748922137318974160752797446140085130321499026398502979\ 893/716921690421901035591902613070309897434105944921682574196012508\ 7*c_0101_6^11 - 796965063250613000792265684220328962721368581634527\ 6154430709876050411/14338433808438020711838052261406197948682118898\ 433651483920250174*c_0101_6^10 - 1193345045684171371688021964470927\ 044576004909599287362524730449813779/716921690421901035591902613070\ 3098974341059449216825741960125087*c_0101_6^9 + 3932063011699981316602482759778055537751487939526191547739377606001\ 245/143384338084380207118380522614061979486821188984336514839202501\ 74*c_0101_6^8 - 106841424833852010999533315780356248001119217169028\ 207574440478215321/143384338084380207118380522614061979486821188984\ 33651483920250174*c_0101_6^7 - 528588308613125465134167744183199561\ 412266368664221793094904842333951/143384338084380207118380522614061\ 97948682118898433651483920250174*c_0101_6^6 + 4377315726998552297568922501042299907388656805288313937825356429282\ /174858948883390496485829905626904853032708767054068920535612807*c_\ 0101_6^5 - 12079424073263843175120972037536908899265486984197089485\ 966930870141/143384338084380207118380522614061979486821188984336514\ 83920250174*c_0101_6^4 - 143070576619723859796118260549423514002607\ 43043188303618007972173188/7169216904219010355919026130703098974341\ 059449216825741960125087*c_0101_6^3 + 6513786537579106190732710927107114976985033074415928143308401680956\ /7169216904219010355919026130703098974341059449216825741960125087*c\ _0101_6^2 - 4702563399287225001766680844852882460593338128164926368\ 13568718615/7169216904219010355919026130703098974341059449216825741\ 960125087*c_0101_6 + 1458010082190893303474052451893654278508699469\ 91712672892047296679/1433843380843802071183805226140619794868211889\ 8433651483920250174, c_0011_0 - 1, c_0011_4 - 8739259647992491458506312548115317580052192024399167481683/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^26 - 65959118198029656928642418263924481555723799249477913714902/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^25 + 152280374076359026851614327976812819646724894932322531447916/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^24 + 126023089577960112296096230484909809422652481098732375148007\ 1/15737462774132886012584817354594982722771016745033653184737*c_010\ 1_6^23 - 1951297398617024612613020731751181089141060334540157752200\ 605/15737462774132886012584817354594982722771016745033653184737*c_0\ 101_6^22 - 11401713827451911520605454709970730618489143533753481189\ 829627/15737462774132886012584817354594982722771016745033653184737*\ c_0101_6^21 + 13430073817744754350429687268437622545724603500385701\ 397105634/157374627741328860125848173545949827227710167450336531847\ 37*c_0101_6^20 + 57700669550880593249555135656177578997377748217351\ 293878169511/157374627741328860125848173545949827227710167450336531\ 84737*c_0101_6^19 - 24752252810066800157452312987425685580273331466\ 664636752789378/157374627741328860125848173545949827227710167450336\ 53184737*c_0101_6^18 - 17883212768647236964458579713807535539444305\ 5126127533550538560/15737462774132886012584817354594982722771016745\ 033653184737*c_0101_6^17 - 7557119802247058127245871209628769662269\ 4430448987360416452920/15737462774132886012584817354594982722771016\ 745033653184737*c_0101_6^16 + 3329762536920015103230794585260964050\ 28477485231265571782673767/1573746277413288601258481735459498272277\ 1016745033653184737*c_0101_6^15 + 259718090412514064170773213125571\ 123671163979103164688159823950/157374627741328860125848173545949827\ 22771016745033653184737*c_0101_6^14 - 187137282040825220302885191817440076812560557956213843798746568/157\ 37462774132886012584817354594982722771016745033653184737*c_0101_6^1\ 3 - 319320465474090514480842743968154371027385577049384252974892210\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^12 - 10682969204806478511615068344354048729897182441964777175198\ 6352/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^11 + 2527749637509733058866073662783796251601957158324662474\ 86851755/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6^10 + 422576244730408182953467923820113212721388547554963\ 93981164386/1573746277413288601258481735459498272277101674503365318\ 4737*c_0101_6^9 - 1210705249295319107559514168708234298720313562196\ 90703531782088/1573746277413288601258481735459498272277101674503365\ 3184737*c_0101_6^8 + 1414912099955754436007936030599039813851646334\ 9388557127331993/15737462774132886012584817354594982722771016745033\ 653184737*c_0101_6^7 + 13555708134509123085625640070871129884447308\ 831675784468813123/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^6 - 107892387491780856082161894897616454230483\ 82942529590150663308/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6^5 + 1012101005023418336417459407198108592739\ 831505208253294591776/157374627741328860125848173545949827227710167\ 45033653184737*c_0101_6^4 + 479017101996018890559591815513140645189\ 164720489688630707669/157374627741328860125848173545949827227710167\ 45033653184737*c_0101_6^3 - 407880305503379705435711310760170261302\ 999768839401327270027/157374627741328860125848173545949827227710167\ 45033653184737*c_0101_6^2 + 465482763348300622294381296164988657826\ 81165852939538050495/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6 - 145158453544657948570252345142444643208270\ 91833429053306493/1573746277413288601258481735459498272277101674503\ 3653184737, c_0101_0 + 6662489347667578073303542136825171982809210290425151613787/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^26 + 49690535921393880546184217863235454355564349816580799697652/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^25 - 120838625759037379582127817206200181223291186000398678753093/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^24 - 952327423695463492638576258655100406419457932763729098230297\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^23 + 15780032146616593694990613009021172639205823664528464762840\ 21/15737462774132886012584817354594982722771016745033653184737*c_01\ 01_6^22 + 859566628250202075010422723189333485365094939863928021347\ 3522/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^21 - 1107539601031599885470504350372869919265589824689197664\ 0275687/15737462774132886012584817354594982722771016745033653184737\ *c_0101_6^20 - 4339183918631550071862922867627465511967582160787982\ 0599026522/15737462774132886012584817354594982722771016745033653184\ 737*c_0101_6^19 + 2321565799597188488891492073792876630946446441501\ 6379447638847/15737462774132886012584817354594982722771016745033653\ 184737*c_0101_6^18 + 1361788250335896514356100150549638620764706374\ 94282793157227407/1573746277413288601258481735459498272277101674503\ 3653184737*c_0101_6^17 + 446586827858041231024498391394652759910496\ 27105422404623344127/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6^16 - 263545426849216589558703600525337435891\ 299265527135919674570060/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^15 - 17725438839853968307009748599821169\ 5531000820191007032920502800/15737462774132886012584817354594982722\ 771016745033653184737*c_0101_6^14 + 168508332982479194039437623577217230674191709136725343961670822/157\ 37462774132886012584817354594982722771016745033653184737*c_0101_6^1\ 3 + 236407122287296951747703839235153415630618650929347386151398555\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^12 + 57036760032091595080651354146301503347057409087625691357025\ 495/15737462774132886012584817354594982722771016745033653184737*c_0\ 101_6^11 - 20625826190572630717564016738524589000864833775537035793\ 3273668/15737462774132886012584817354594982722771016745033653184737\ *c_0101_6^10 - 1904034510696470312372398519753522839153055558880606\ 8056452013/15737462774132886012584817354594982722771016745033653184\ 737*c_0101_6^9 + 99849629763310739260597372975460601032679531825435\ 482513255034/157374627741328860125848173545949827227710167450336531\ 84737*c_0101_6^8 - 199274346424541334216641365447778630888429474730\ 42615742124034/1573746277413288601258481735459498272277101674503365\ 3184737*c_0101_6^7 - 1021683842775333033923721269278872061299579421\ 7395946964635216/15737462774132886012584817354594982722771016745033\ 653184737*c_0101_6^6 + 99624040872186783812665107034559128030089017\ 97957032431739751/1573746277413288601258481735459498272277101674503\ 3653184737*c_0101_6^5 - 2160713256176861714948628082694836981188094\ 783843044224713766/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^4 - 412381831659424122210522258664580128972401\ 140288186005967730/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^3 + 381595608695978266668183887774442671467232\ 043896973902013060/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^2 - 111718967267412416790166866129700426788169\ 358118659957383405/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6 + 97933147834877361637289286851393886834044229\ 11140893626588/1573746277413288601258481735459498272277101674503365\ 3184737, c_0101_1 + 3343760674083709373850228295140028117451674889057203909569/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^26 + 26237665371445171571468611266740219604019421601765345950681/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^25 - 51549747516551302729007610518377052719122149843191483071414/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^24 - 506041356067537303101462099930811451590397181080764806058473/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^23 + 616115225157999106426725047843654153259569241087008309984772\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^22 + 47077899984787431674871416865464081558903958023130124260858\ 13/15737462774132886012584817354594982722771016745033653184737*c_01\ 01_6^21 - 400543339410126555492914814592129994185921466143862867963\ 1177/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^20 - 2471722693111977813878932972416054260929594053063089710\ 7383879/15737462774132886012584817354594982722771016745033653184737\ *c_0101_6^19 + 4013033886301837179641231770980374519430411985611361\ 951675054/157374627741328860125848173545949827227710167450336531847\ 37*c_0101_6^18 + 76824640051332366394793384556611216851793763656586\ 228469707168/157374627741328860125848173545949827227710167450336531\ 84737*c_0101_6^17 + 47756961372665418394688159910530205016392417365\ 405447983108602/157374627741328860125848173545949827227710167450336\ 53184737*c_0101_6^16 - 13561168015242104552969949989934410385969497\ 9944952415189129056/15737462774132886012584817354594982722771016745\ 033653184737*c_0101_6^15 - 1468807016623851225297761725384395023452\ 73722725200385330167659/1573746277413288601258481735459498272277101\ 6745033653184737*c_0101_6^14 + 713100943640238680900664530952319324\ 71646249069484751992721526/1573746277413288601258481735459498272277\ 1016745033653184737*c_0101_6^13 + 171303004439684642681453941463866\ 890256098816324492480524323319/157374627741328860125848173545949827\ 22771016745033653184737*c_0101_6^12 + 65395380457421516424099106314042505619978862937900074759845734/1573\ 7462774132886012584817354594982722771016745033653184737*c_0101_6^11 - 114649484563454736166647851140969132296767775860221957151848511/1\ 5737462774132886012584817354594982722771016745033653184737*c_0101_6\ ^10 - 6035500939977950106007484999948054632156775313149990767017629\ 3/15737462774132886012584817354594982722771016745033653184737*c_010\ 1_6^9 + 61612127703911339966095245542351906184303003437643260822695\ 927/15737462774132886012584817354594982722771016745033653184737*c_0\ 101_6^8 + 138850801080932684935312788645058948983853252485842448153\ 94893/15737462774132886012584817354594982722771016745033653184737*c\ _0101_6^7 - 1565985213384535365883212533039251840713595177677648951\ 1652260/15737462774132886012584817354594982722771016745033653184737\ *c_0101_6^6 + 30547867092385905063059229204524490755456629107778987\ 60026748/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6^5 + 1438497602265767928954702429685922896505513885438088\ 064941782/157374627741328860125848173545949827227710167450336531847\ 37*c_0101_6^4 - 100530257731190893207486201330043621479496185191560\ 7980446101/15737462774132886012584817354594982722771016745033653184\ 737*c_0101_6^3 + 71252829280105911894535963768679538607470885072549\ 482237276/157374627741328860125848173545949827227710167450336531847\ 37*c_0101_6^2 + 281430476432864332259519228443303237346469405079477\ 06079296/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6 - 111111645317479570914035900844068868664253280361513463\ 83505/15737462774132886012584817354594982722771016745033653184737, c_0101_2 + 11468336680403894187431414482503140624149463007525841529125/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^26 + 87728583138900175806400905841874005394932498601919631357974/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^25 - 189936359302124755317911618732044227999799645452730378131573\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^24 - 16657925952894298199898581801207488575232638029817004292341\ 71/15737462774132886012584817354594982722771016745033653184737*c_01\ 01_6^23 + 237662878350552329754714091662266521144544574875230275322\ 3591/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^22 + 1506341246806342687765011134721280628424296025055816196\ 8835064/15737462774132886012584817354594982722771016745033653184737\ *c_0101_6^21 - 1592360887651577076623875958823445309962409582825634\ 4749032859/15737462774132886012584817354594982722771016745033653184\ 737*c_0101_6^20 - 7603178717822925987222149477010927075357235232214\ 7938460245563/15737462774132886012584817354594982722771016745033653\ 184737*c_0101_6^19 + 2369556170812076881379510254563763745007048072\ 6535383070224440/15737462774132886012584817354594982722771016745033\ 653184737*c_0101_6^18 + 2302302900142352619110958754992094499658233\ 25720804751133815751/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6^17 + 123288919040625507251735513116056410988\ 143124571771067229026927/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^16 - 40342767948267921735643156497736725\ 1884605288451612870624776343/15737462774132886012584817354594982722\ 771016745033653184737*c_0101_6^15 - 367335871553065189765329310426053388609805157449329816838843225/157\ 37462774132886012584817354594982722771016745033653184737*c_0101_6^1\ 4 + 172889528827298815284816389386156211001680276860176577798299471\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^13 + 39470703473083964559629568631495240012932354753761163997121\ 8826/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^12 + 1949226404622784885434589273530842861626401508555623357\ 65810615/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6^11 - 266887486226605548071458649202500920304668414524235\ 231459142081/157374627741328860125848173545949827227710167450336531\ 84737*c_0101_6^10 - 60386226713468122225442868314580505873420740335\ 365489835498754/157374627741328860125848173545949827227710167450336\ 53184737*c_0101_6^9 + 125955161533502889184123537932432707673805675\ 366680677450974087/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^8 - 225086459527058225578204279154940367054674\ 29929719257773344933/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6^7 - 5908890690656780997992391276781083393016\ 936470849952277414047/157374627741328860125848173545949827227710167\ 45033653184737*c_0101_6^6 + 167088224629905185996940217661999110256\ 93602312193071697246940/1573746277413288601258481735459498272277101\ 6745033653184737*c_0101_6^5 - 2181412892296163284845489676849041034\ 239995131371468993660148/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^4 + 352615544351092407543669213892378280\ 91313252261214390111579/1573746277413288601258481735459498272277101\ 6745033653184737*c_0101_6^3 + 5952102480869929099556290411903298691\ 47211064766980914015945/1573746277413288601258481735459498272277101\ 6745033653184737*c_0101_6^2 - 1210923162611904780535903458278318697\ 11653432887829119078599/1573746277413288601258481735459498272277101\ 6745033653184737*c_0101_6 + 413794938046511891044550180727357412724\ 45258671220137425804/1573746277413288601258481735459498272277101674\ 5033653184737, c_0101_5 + 17462543419312475593038512310581180655583876881661428072967/\ 15737462774132886012584817354594982722771016745033653184737*c_0101_\ 6^26 + 134985030397486439592611567574148125400819243476278869838921\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^25 - 27939986165826756188545855816712465475975878733250072564618\ 5/15737462774132886012584817354594982722771016745033653184737*c_010\ 1_6^24 - 2567020840561050498536921902150026893769858015447010783303\ 791/15737462774132886012584817354594982722771016745033653184737*c_0\ 101_6^23 + 34281418395952407581315076550990476965815631590255484132\ 13357/15737462774132886012584817354594982722771016745033653184737*c\ _0101_6^22 + 233658948057948325150010157961152921841966079254547010\ 98731055/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6^21 - 225531321979341964828179319793410929901914947997730\ 87741084306/1573746277413288601258481735459498272277101674503365318\ 4737*c_0101_6^20 - 118988671508472673179908841841405605910650001565\ 349081968809973/157374627741328860125848173545949827227710167450336\ 53184737*c_0101_6^19 + 27679383700821397392983456564326752961302267\ 570649926318762793/157374627741328860125848173545949827227710167450\ 33653184737*c_0101_6^18 + 35997430365988354867379313068143372586965\ 7201477952854228235422/15737462774132886012584817354594982722771016\ 745033653184737*c_0101_6^17 + 2159338439514213775885262837523047305\ 47467883801476712627596147/1573746277413288601258481735459498272277\ 1016745033653184737*c_0101_6^16 - 618361187640515589923481887336371\ 358927015287362225002739092158/157374627741328860125848173545949827\ 22771016745033653184737*c_0101_6^15 - 624624152965498260897924186064980786842051500937587778675941745/157\ 37462774132886012584817354594982722771016745033653184737*c_0101_6^1\ 4 + 247815985667468934793749804914071920057786863794875356561821762\ /15737462774132886012584817354594982722771016745033653184737*c_0101\ _6^13 + 66276342010051712386873753681833411571332581639400061238916\ 4360/15737462774132886012584817354594982722771016745033653184737*c_\ 0101_6^12 + 3408240559833063619155578677882984837758417946014382496\ 12375158/1573746277413288601258481735459498272277101674503365318473\ 7*c_0101_6^11 - 420609175999904519309594503341664210618344926728198\ 561576570150/157374627741328860125848173545949827227710167450336531\ 84737*c_0101_6^10 - 15192068179830499788484669771037383497535451635\ 8929277314828232/15737462774132886012584817354594982722771016745033\ 653184737*c_0101_6^9 + 20207225830380762028435723979915034803579065\ 8544256377722485605/15737462774132886012584817354594982722771016745\ 033653184737*c_0101_6^8 - 51267119366806656131262994813532892969651\ 29856709189310697658/1573746277413288601258481735459498272277101674\ 5033653184737*c_0101_6^7 - 1939111706950772390082628619776154121624\ 8364501685564451084747/15737462774132886012584817354594982722771016\ 745033653184737*c_0101_6^6 + 21841985617433343434958353040117527556\ 182536166648842680468148/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^5 - 844958420436627212957251139243229272\ 235369794183910785915142/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^4 - 704555534280302971348005641923075218\ 917377597409017026911805/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^3 + 747609081145968997435365749971292387\ 899521096924250157314069/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6^2 - 111399853522320254765559944828777794\ 826952034983565390681278/157374627741328860125848173545949827227710\ 16745033653184737*c_0101_6 + 39713330639336919709080279089147980200\ 591323216498533538126/157374627741328860125848173545949827227710167\ 45033653184737, c_0101_6^27 + 8*c_0101_6^26 - 14*c_0101_6^25 - 152*c_0101_6^24 + 158*c_0101_6^23 + 1404*c_0101_6^22 - 947*c_0101_6^21 - 7281*c_0101_6^20 - 145*c_0101_6^19 + 21649*c_0101_6^18 + 17807*c_0101_6^17 - 33917*c_0101_6^16 - 46468*c_0101_6^15 + 7707*c_0101_6^14 + 45102*c_0101_6^13 + 28443*c_0101_6^12 - 22400*c_0101_6^11 - 16984*c_0101_6^10 + 11485*c_0101_6^9 + 3818*c_0101_6^8 - 2283*c_0101_6^7 + 883*c_0101_6^6 + 426*c_0101_6^5 - 157*c_0101_6^4 + 35*c_0101_6^3 + 15*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB