Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 1730608051] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1242 geometric_solution 5.13810632 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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.515950673049 0.562524118429 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 1 -1 0 -1 0 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 -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 1.114458296145 0.965477113053 3 0 4 1 2310 0132 3201 3012 0 0 0 0 0 1 -1 0 -1 0 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 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 1.114458296145 0.965477113053 3 1 2 3 3201 0132 3201 2310 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.332480486175 0.701446901114 2 5 1 5 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.381484481396 0.466434813417 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 1 -1 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.854503281898 0.318856933780 5 6 5 6 0132 2310 1023 3201 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 -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.819583728871 0.165855270150 ==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' : d['1'], 's_2_6' : 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_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' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(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' : 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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : 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' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : 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: 25 Groebner basis: [ t + 906103760580221275794897602705132414453566984331/328728777740507935\ 24535939871860940364617452103*c_0101_6^24 - 21572582106002063547640434005865329719724661951685/6574575554810158\ 7049071879743721880729234904206*c_0101_6^23 + 20599862719177230522185738029057723010761834116109/3287287777405079\ 3524535939871860940364617452103*c_0101_6^22 + 1622003322570094857409460576092955258146170812545/52179171069921894\ 4833903807489856196263769081*c_0101_6^21 - 16692759174299809559006964275552119416417210297107/2191525184936719\ 5683023959914573960243078301402*c_0101_6^20 - 699472674657867623638007348864050779321935457534982/328728777740507\ 93524535939871860940364617452103*c_0101_6^19 - 4077021620835016304990094882019629031295048476557773/65745755548101\ 587049071879743721880729234904206*c_0101_6^18 - 168667996669186005133005123862305838054646423858507/365254197489453\ 2613837326652428993373846383567*c_0101_6^17 + 5369920489399243374187064387222669960356267069056469/32872877774050\ 793524535939871860940364617452103*c_0101_6^16 + 29950827896230563905939393424496948180125603471015389/6574575554810\ 1587049071879743721880729234904206*c_0101_6^15 + 24721737325758882002211881636406600327881210379302899/6574575554810\ 1587049071879743721880729234904206*c_0101_6^14 - 10460454101431179319173635488560841110543305761392946/3287287777405\ 0793524535939871860940364617452103*c_0101_6^13 - 32464913293907715380766553094654517370885873924053305/3287287777405\ 0793524535939871860940364617452103*c_0101_6^12 - 7282627418585285890896463877128840682496274573671523/10957625924683\ 597841511979957286980121539150701*c_0101_6^11 + 7387578221080121779911483759841362294795899663200223/21915251849367\ 195683023959914573960243078301402*c_0101_6^10 + 16090907102347536405041409264962334574041108228393755/2191525184936\ 7195683023959914573960243078301402*c_0101_6^9 + 21459005062311596756902178209042266088340723274049483/6574575554810\ 1587049071879743721880729234904206*c_0101_6^8 - 298103110651892388466525006764418517475292424376674/469612539629297\ 0503505134267408705766373921729*c_0101_6^7 - 1364563765190758317969669909259788968223627671853853/10957625924683\ 597841511979957286980121539150701*c_0101_6^6 - 586778117747599982007602707575778090561763775007355/730508394978906\ 5227674653304857986747692767134*c_0101_6^5 - 1324930896804827788873967051076465046008672835282901/32872877774050\ 793524535939871860940364617452103*c_0101_6^4 - 27270219289887346726365963340491625227633121662965/4696125396292970\ 503505134267408705766373921729*c_0101_6^3 + 552335313678996164378690074987938729520487652511019/657457555481015\ 87049071879743721880729234904206*c_0101_6^2 + 34966517214176922936241696551900450168949243404835/7305083949789065\ 227674653304857986747692767134*c_0101_6 + 11461803890286590575048643263751982183762419206757/2191525184936719\ 5683023959914573960243078301402, c_0011_0 - 1, c_0011_4 - 785763253828639437078386431233246638103185/38179881270674556\ 939066132255355331433934323*c_0101_6^24 + 8773922448756488415109386311246144766022345/38179881270674556939066\ 132255355331433934323*c_0101_6^23 - 3611554000513534414276348575298561170019353/12726627090224852313022\ 044085118443811311441*c_0101_6^22 - 103321232361908525782501781283904909573026188/381798812706745569390\ 66132255355331433934323*c_0101_6^21 - 13568562510076963692237400050165747017936419/1272662709022485231302\ 2044085118443811311441*c_0101_6^20 + 637562690084707161384057931869176054755984108/381798812706745569390\ 66132255355331433934323*c_0101_6^19 + 735673059711309939879391219057816920774518375/127266270902248523130\ 22044085118443811311441*c_0101_6^18 + 2521762597594970391611890970493032604669013571/38179881270674556939\ 066132255355331433934323*c_0101_6^17 - 3951860280773822464865541586880120396649789493/38179881270674556939\ 066132255355331433934323*c_0101_6^16 - 5523584366819971068253303333439412618981370320/12726627090224852313\ 022044085118443811311441*c_0101_6^15 - 19466966283987687463214264292304209205412362441/3817988127067455693\ 9066132255355331433934323*c_0101_6^14 + 1031714356708929611868053958289868221797073630/12726627090224852313\ 022044085118443811311441*c_0101_6^13 + 36006022996358637108692315610068347338095356852/3817988127067455693\ 9066132255355331433934323*c_0101_6^12 + 37746204964222602346851160981904163776272100119/3817988127067455693\ 9066132255355331433934323*c_0101_6^11 + 96706400127182144888673558706190340893336760/1272662709022485231302\ 2044085118443811311441*c_0101_6^10 - 9857221448534095353070099745510465443502863194/12726627090224852313\ 022044085118443811311441*c_0101_6^9 - 22234730392446959347523035238392191938274811610/3817988127067455693\ 9066132255355331433934323*c_0101_6^8 - 2409917436666394574362648669499753714146981376/38179881270674556939\ 066132255355331433934323*c_0101_6^7 + 5125771826787610109828682423798277905237181729/38179881270674556939\ 066132255355331433934323*c_0101_6^6 + 1421925035037716891050743759197246769572451584/12726627090224852313\ 022044085118443811311441*c_0101_6^5 + 2514144467115715847852264340053965526318547866/38179881270674556939\ 066132255355331433934323*c_0101_6^4 + 250889217989976792255949231643319291494007725/127266270902248523130\ 22044085118443811311441*c_0101_6^3 - 76273480059610125322585801514645051022837064/1272662709022485231302\ 2044085118443811311441*c_0101_6^2 - 270853009638538067352301195386823604809278704/381798812706745569390\ 66132255355331433934323*c_0101_6 - 22402083872644934039568920501142201948686803/1272662709022485231302\ 2044085118443811311441, c_0101_0 - 34175650856766179820788853785804036915877014/381798812706745\ 56939066132255355331433934323*c_0101_6^24 + 401499886827073678075972337772001157447685979/381798812706745569390\ 66132255355331433934323*c_0101_6^23 - 236613482831258077179328448956921683470500644/127266270902248523130\ 22044085118443811311441*c_0101_6^22 - 4022347816321156926583437260845908937979858549/38179881270674556939\ 066132255355331433934323*c_0101_6^21 + 155257186934883006862480245483193521065464566/127266270902248523130\ 22044085118443811311441*c_0101_6^20 + 26846928646820003856910098989817311299266604057/3817988127067455693\ 9066132255355331433934323*c_0101_6^19 + 26880835893984240681936279872886111970463281603/1272662709022485231\ 3022044085118443811311441*c_0101_6^18 + 66679669708192399180399996934996627382802274636/3817988127067455693\ 9066132255355331433934323*c_0101_6^17 - 199870553751483044367384844782222584483864130655/381798812706745569\ 39066132255355331433934323*c_0101_6^16 - 199190179534383871054508938038191930441046647061/127266270902248523\ 13022044085118443811311441*c_0101_6^15 - 531452279177497171638145183601540800319126803207/381798812706745569\ 39066132255355331433934323*c_0101_6^14 + 121538707069568479292453911691776953016081797055/127266270902248523\ 13022044085118443811311441*c_0101_6^13 + 1302264667113825757442699698680665587755155500345/38179881270674556\ 939066132255355331433934323*c_0101_6^12 + 959373882819004057766478697972921189275328887892/381798812706745569\ 39066132255355331433934323*c_0101_6^11 - 125914444619498412237617379794910744804145124522/127266270902248523\ 13022044085118443811311441*c_0101_6^10 - 331647310750265114000569534282818968951292632429/127266270902248523\ 13022044085118443811311441*c_0101_6^9 - 486549979130577762765188114136481329103710379676/381798812706745569\ 39066132255355331433934323*c_0101_6^8 + 67040649300520039011518045095463484114416195251/3817988127067455693\ 9066132255355331433934323*c_0101_6^7 + 171212873386697195936511322222003692113181259999/381798812706745569\ 39066132255355331433934323*c_0101_6^6 + 37313931565550354917901349846581091676904176405/1272662709022485231\ 3022044085118443811311441*c_0101_6^5 + 57347625270501020295829681558712673170212303469/3817988127067455693\ 9066132255355331433934323*c_0101_6^4 + 3399330724098584025275571601913076313522707600/12726627090224852313\ 022044085118443811311441*c_0101_6^3 - 3673335222082276670258429702596179457193651587/12726627090224852313\ 022044085118443811311441*c_0101_6^2 - 6985125538478316297926622930937532894521266452/38179881270674556939\ 066132255355331433934323*c_0101_6 - 301112819868271315436457469189359710586950104/127266270902248523130\ 22044085118443811311441, c_0101_1 + 3707496125027855085089696630579233541049635/1272662709022485\ 2313022044085118443811311441*c_0101_6^24 - 135999122114985123203386138507188632258702579/381798812706745569390\ 66132255355331433934323*c_0101_6^23 + 298420888925601482322450118276936740662330258/381798812706745569390\ 66132255355331433934323*c_0101_6^22 + 1137751545151987383393421674144104781543437651/38179881270674556939\ 066132255355331433934323*c_0101_6^21 - 207564040935628859172107096723511294633462937/127266270902248523130\ 22044085118443811311441*c_0101_6^20 - 2750624182092858524359960515935235084216649778/12726627090224852313\ 022044085118443811311441*c_0101_6^19 - 22501457848711963407963544124245131895282078148/3817988127067455693\ 9066132255355331433934323*c_0101_6^18 - 12446663956984703720229171796617897349344324260/3817988127067455693\ 9066132255355331433934323*c_0101_6^17 + 22421050982452867246337412677986709742430391787/1272662709022485231\ 3022044085118443811311441*c_0101_6^16 + 161546480276703193033462853380042914557493242054/381798812706745569\ 39066132255355331433934323*c_0101_6^15 + 109115902720485284442585754785323093507136780884/381798812706745569\ 39066132255355331433934323*c_0101_6^14 - 145377319567132046353701081907191250831995465110/381798812706745569\ 39066132255355331433934323*c_0101_6^13 - 344112940901842814293606906774994378434571073311/381798812706745569\ 39066132255355331433934323*c_0101_6^12 - 180204493415173693935779618016913243727141335162/381798812706745569\ 39066132255355331433934323*c_0101_6^11 + 52107730400447094897499864464439568470255268069/1272662709022485231\ 3022044085118443811311441*c_0101_6^10 + 78729125017056783233792744554601962248513711627/1272662709022485231\ 3022044085118443811311441*c_0101_6^9 + 26781893947354312926590220296376463242039541559/1272662709022485231\ 3022044085118443811311441*c_0101_6^8 - 28679505761804796216187213737211913952605273111/3817988127067455693\ 9066132255355331433934323*c_0101_6^7 - 38159371653933686221845280887739760981000183392/3817988127067455693\ 9066132255355331433934323*c_0101_6^6 - 8370826642510698518773734323572677366782516813/12726627090224852313\ 022044085118443811311441*c_0101_6^5 - 3970072300014823724483386401628863733343484015/12726627090224852313\ 022044085118443811311441*c_0101_6^4 - 680569535428073217550912480966456105271740621/381798812706745569390\ 66132255355331433934323*c_0101_6^3 + 2818636515019851390657483734670818998857404093/38179881270674556939\ 066132255355331433934323*c_0101_6^2 + 1252333704319226575292593860247895901374217257/38179881270674556939\ 066132255355331433934323*c_0101_6 + 39301412800093466504332962076607357855038675/1272662709022485231302\ 2044085118443811311441, c_0101_2 + 9732645495350999231821465320119125338718957/3817988127067455\ 6939066132255355331433934323*c_0101_6^24 - 112688754180399069858552817408944190735307453/381798812706745569390\ 66132255355331433934323*c_0101_6^23 + 60575395266516616845584676741163493780458109/1272662709022485231302\ 2044085118443811311441*c_0101_6^22 + 1192483384066249593924588878747642299316477374/38179881270674556939\ 066132255355331433934323*c_0101_6^21 + 10705360899184076664967861198528409982105280/1272662709022485231302\ 2044085118443811311441*c_0101_6^20 - 7769716987785986499451757111149626629391699890/38179881270674556939\ 066132255355331433934323*c_0101_6^19 - 8058986800046800815334258609787505357537158322/12726627090224852313\ 022044085118443811311441*c_0101_6^18 - 22133220077511094801523579728259374482582239050/3817988127067455693\ 9066132255355331433934323*c_0101_6^17 + 55586461751106241482732203965440274312352536730/3817988127067455693\ 9066132255355331433934323*c_0101_6^16 + 60162205756615454325335434953972701203350615651/1272662709022485231\ 3022044085118443811311441*c_0101_6^15 + 173656606696400452176426134686914500163553874843/381798812706745569\ 39066132255355331433934323*c_0101_6^14 - 30525847886423461846323692667712823693268374509/1272662709022485231\ 3022044085118443811311441*c_0101_6^13 - 394652847439358552353180342331239934830875753761/381798812706745569\ 39066132255355331433934323*c_0101_6^12 - 320052856878976913489361102419047567657407615641/381798812706745569\ 39066132255355331433934323*c_0101_6^11 + 29800492309475910509871564457288825562460919565/1272662709022485231\ 3022044085118443811311441*c_0101_6^10 + 103207884475428691305317979383509184498187273384/127266270902248523\ 13022044085118443811311441*c_0101_6^9 + 168009830006486752127934173067550392150992490760/381798812706745569\ 39066132255355331433934323*c_0101_6^8 - 12505091841831386868103723587012621559686605447/3817988127067455693\ 9066132255355331433934323*c_0101_6^7 - 53495579285911135372783663652889739976026535531/3817988127067455693\ 9066132255355331433934323*c_0101_6^6 - 12214913894628630626653899700350087379484103017/1272662709022485231\ 3022044085118443811311441*c_0101_6^5 - 19330343126403310298870120724666519937407135892/3817988127067455693\ 9066132255355331433934323*c_0101_6^4 - 1329124037905077927282570470716918702310250152/12726627090224852313\ 022044085118443811311441*c_0101_6^3 + 1094326279973316210019163923302001909134185782/12726627090224852313\ 022044085118443811311441*c_0101_6^2 + 2354395224774464316854049927494244974667756622/38179881270674556939\ 066132255355331433934323*c_0101_6 + 116260181329510323909825415866529134455577077/127266270902248523130\ 22044085118443811311441, c_0101_5 + 868604870228306776682736052925969980551677/38179881270674556\ 939066132255355331433934323*c_0101_6^24 - 3277950922855799382514147621826800991983217/12726627090224852313022\ 044085118443811311441*c_0101_6^23 + 13569449894975619335223235813501402475236991/3817988127067455693906\ 6132255355331433934323*c_0101_6^22 + 111404461302329571866882353255022589095400961/381798812706745569390\ 66132255355331433934323*c_0101_6^21 + 9392583009224092783883937514161708520409940/12726627090224852313022\ 044085118443811311441*c_0101_6^20 - 698362444086267465477918232117415110487635699/381798812706745569390\ 66132255355331433934323*c_0101_6^19 - 2331373583397508894674091947851411497175740094/38179881270674556939\ 066132255355331433934323*c_0101_6^18 - 2480371624684044048768279787421062117372748743/38179881270674556939\ 066132255355331433934323*c_0101_6^17 + 4567485922790366837846591893528389996048095923/38179881270674556939\ 066132255355331433934323*c_0101_6^16 + 17405704144618247900579371032674852539484555177/3817988127067455693\ 9066132255355331433934323*c_0101_6^15 + 6401283776342456756983438706523009878334138202/12726627090224852313\ 022044085118443811311441*c_0101_6^14 - 5057898443171657850109577407130166818931282866/38179881270674556939\ 066132255355331433934323*c_0101_6^13 - 12539932239575149281653721027691987956723296637/1272662709022485231\ 3022044085118443811311441*c_0101_6^12 - 36359621388346209951083662787351997032362280009/3817988127067455693\ 9066132255355331433934323*c_0101_6^11 + 883460718442849652173180481611331173494808775/127266270902248523130\ 22044085118443811311441*c_0101_6^10 + 10057813520859411236229382186215278003117864179/1272662709022485231\ 3022044085118443811311441*c_0101_6^9 + 20522367480255526917386133537231374336801106605/3817988127067455693\ 9066132255355331433934323*c_0101_6^8 + 449891931645564753305630304554905773250901286/127266270902248523130\ 22044085118443811311441*c_0101_6^7 - 5066351361728151015568467159906644919879850133/38179881270674556939\ 066132255355331433934323*c_0101_6^6 - 1382642284059132628607332192285489679316496684/12726627090224852313\ 022044085118443811311441*c_0101_6^5 - 2398043201372405909242320756599882048904555809/38179881270674556939\ 066132255355331433934323*c_0101_6^4 - 675552371270636430845009221168402533780125005/381798812706745569390\ 66132255355331433934323*c_0101_6^3 + 263661520197626033543055740641187008954373771/381798812706745569390\ 66132255355331433934323*c_0101_6^2 + 262024068260435588376093778447478212623508042/381798812706745569390\ 66132255355331433934323*c_0101_6 + 20420892819032715688847435503684112712478015/1272662709022485231302\ 2044085118443811311441, c_0101_6^25 - 11*c_0101_6^24 + 12*c_0101_6^23 + 133*c_0101_6^22 + 75*c_0101_6^21 - 794*c_0101_6^20 - 2949*c_0101_6^19 - 3730*c_0101_6^18 + 4355*c_0101_6^17 + 21852*c_0101_6^16 + 28754*c_0101_6^15 + 1206*c_0101_6^14 - 45986*c_0101_6^13 - 56897*c_0101_6^12 - 10491*c_0101_6^11 + 37224*c_0101_6^10 + 36391*c_0101_6^9 + 9079*c_0101_6^8 - 6404*c_0101_6^7 - 7122*c_0101_6^6 - 4216*c_0101_6^5 - 1596*c_0101_6^4 + 87*c_0101_6^3 + 451*c_0101_6^2 + 186*c_0101_6 + 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB