Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 88381923] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0745 geometric_solution 4.69182740 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0.136770351060 0.115810545995 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5.138463293384 3.677579753971 3 0 4 0 0132 2310 0132 0132 0 0 0 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 0 1 -1 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.401726844656 2.988148176057 2 4 4 5 0132 3201 0213 0132 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 1 0 -1 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.365217953660 0.693134416158 5 3 3 2 1023 0213 2310 0132 0 0 0 0 0 1 0 -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 1 0 -1 0 0 1 -1 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365217953660 0.693134416158 6 4 3 6 0132 1023 0132 3201 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 0 -1 1 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.650473869976 0.244481128314 5 5 6 6 0132 2310 2031 1302 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130529256460 0.941238034458 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_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_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' : negation(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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], '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_0011_4'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_2, c_0011_4, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 614488783745611911707733205574252981027086814691830/697840569203021\ 648317038132950678738928480096981*c_0101_6^24 - 255849185094593358729623025686918575137168505632422/232613523067673\ 882772346044316892912976160032327*c_0101_6^23 - 28012334693670154859307053390056180207974902666176787/6978405692030\ 21648317038132950678738928480096981*c_0101_6^22 + 14796642136748976129804897994202145795186416839324318/2326135230676\ 73882772346044316892912976160032327*c_0101_6^21 + 372578098107772832902035221178624058508812098884189188/697840569203\ 021648317038132950678738928480096981*c_0101_6^20 - 433319139582563052530912760958513651735525699157673488/697840569203\ 021648317038132950678738928480096981*c_0101_6^19 - 733174491509467860695752028725651972008226772572507736/232613523067\ 673882772346044316892912976160032327*c_0101_6^18 + 401606466331185316889862208156374594178902304238198098/232613523067\ 673882772346044316892912976160032327*c_0101_6^17 + 5065502902283773944718448677890329002443729781910491670/69784056920\ 3021648317038132950678738928480096981*c_0101_6^16 - 3229886961148731495594624005414463362910052730514780898/69784056920\ 3021648317038132950678738928480096981*c_0101_6^15 - 5397574584631542231375407552823201680509183841669298176/69784056920\ 3021648317038132950678738928480096981*c_0101_6^14 + 6303397274026765321130674030132779845455134049119067552/69784056920\ 3021648317038132950678738928480096981*c_0101_6^13 + 717402929480760914760597693171698362741139810732734097/775378410225\ 57960924115348105630970992053344109*c_0101_6^12 - 3725656849717239503777497003429547031923058755468919019/23261352306\ 7673882772346044316892912976160032327*c_0101_6^11 - 4868108678902338632796862710552791554990038227964274712/69784056920\ 3021648317038132950678738928480096981*c_0101_6^10 + 12296225183184360695273617337806652751948721707141469108/6978405692\ 03021648317038132950678738928480096981*c_0101_6^9 + 363159373400890334729981695163096109541090372098688127/697840569203\ 021648317038132950678738928480096981*c_0101_6^8 - 6811106089324082910892533420361044436261253460465669530/69784056920\ 3021648317038132950678738928480096981*c_0101_6^7 + 1230674551939049183464992485198598884345261798905287434/69784056920\ 3021648317038132950678738928480096981*c_0101_6^6 + 1749386327976527876822182314849628377757862920725402043/69784056920\ 3021648317038132950678738928480096981*c_0101_6^5 - 530555842764712393514625779931721478011490513107586735/697840569203\ 021648317038132950678738928480096981*c_0101_6^4 - 175872694099817019472315074205180920346390813723211122/697840569203\ 021648317038132950678738928480096981*c_0101_6^3 + 62194315675857297933773936616850435514866163671198757/6978405692030\ 21648317038132950678738928480096981*c_0101_6^2 + 708678475421562053587973303215289279086788802538497/697840569203021\ 648317038132950678738928480096981*c_0101_6 - 677437555080960261402010676259402147829404198796786/697840569203021\ 648317038132950678738928480096981, c_0011_0 - 1, c_0011_2 - 91072322877788483373857257660272566584572980084/258459470075\ 19320308038449368543656997351114703*c_0101_6^24 + 64197957165999479745531214968471352376462104414/2584594700751932030\ 8038449368543656997351114703*c_0101_6^23 + 4208748278379464015317872090248088130272157951123/25845947007519320\ 308038449368543656997351114703*c_0101_6^22 - 4314813788844293957915657660581299863768634482096/25845947007519320\ 308038449368543656997351114703*c_0101_6^21 - 58578162800508064963353203667426646880836644178511/2584594700751932\ 0308038449368543656997351114703*c_0101_6^20 + 33873990546171344176817924576095970670496885986444/2584594700751932\ 0308038449368543656997351114703*c_0101_6^19 + 357927410896514791803732371004172521968471341051044/258459470075193\ 20308038449368543656997351114703*c_0101_6^18 + 1593926510619093097878020136622284424342745973273/25845947007519320\ 308038449368543656997351114703*c_0101_6^17 - 829808223676158346395523954182718020196290866199424/258459470075193\ 20308038449368543656997351114703*c_0101_6^16 + 64294829828465569669469303631482383538317841715949/2584594700751932\ 0308038449368543656997351114703*c_0101_6^15 + 1018105070887424560710961244858659291940680956640517/25845947007519\ 320308038449368543656997351114703*c_0101_6^14 - 481264078101372969401820487228436048866870504778376/258459470075193\ 20308038449368543656997351114703*c_0101_6^13 - 1416373645693778006859850601895912195584365647906009/25845947007519\ 320308038449368543656997351114703*c_0101_6^12 + 1093107032397530909289367082403239439410620817871017/25845947007519\ 320308038449368543656997351114703*c_0101_6^11 + 1561404788543886222856338319868703072644149674041302/25845947007519\ 320308038449368543656997351114703*c_0101_6^10 - 1350409067261973405477472344406171633461490566971394/25845947007519\ 320308038449368543656997351114703*c_0101_6^9 - 988263160835662608777708233384837626458245912798710/258459470075193\ 20308038449368543656997351114703*c_0101_6^8 + 887259535740314714071798173738296644745387952565334/258459470075193\ 20308038449368543656997351114703*c_0101_6^7 + 345703169487997122167105115262619262100662475306076/258459470075193\ 20308038449368543656997351114703*c_0101_6^6 - 302177849643963242180093408295015532669632430080908/258459470075193\ 20308038449368543656997351114703*c_0101_6^5 - 64079954851588781354341598532521062874421064295439/2584594700751932\ 0308038449368543656997351114703*c_0101_6^4 + 52624884279114109167403401995966704574620004947496/2584594700751932\ 0308038449368543656997351114703*c_0101_6^3 + 7534969563847983488997625353057799829230263738046/25845947007519320\ 308038449368543656997351114703*c_0101_6^2 - 3130313572661721564851664325556660700795828323420/25845947007519320\ 308038449368543656997351114703*c_0101_6 - 284152218619365315024352488304003113056723839203/258459470075193203\ 08038449368543656997351114703, c_0011_4 + 117478649260573788928100165652260771774372864069/77537841022\ 557960924115348105630970992053344109*c_0101_6^24 - 27622410139776954800061375453407630929598310741/2584594700751932030\ 8038449368543656997351114703*c_0101_6^23 - 5431893837437935457530861924605286136979629884697/77537841022557960\ 924115348105630970992053344109*c_0101_6^22 + 1857524081446538423802760074527532571541003946191/25845947007519320\ 308038449368543656997351114703*c_0101_6^21 + 75689592856291407672704255581144367928475088029900/7753784102255796\ 0924115348105630970992053344109*c_0101_6^20 - 43962612409493121469431321170499201947820669929630/7753784102255796\ 0924115348105630970992053344109*c_0101_6^19 - 154454691948563919306140712023137044958883688867645/258459470075193\ 20308038449368543656997351114703*c_0101_6^18 + 157991966975603493183133375531818744598900660563/258459470075193203\ 08038449368543656997351114703*c_0101_6^17 + 1080031691601961932059959528687159184137861183847009/77537841022557\ 960924115348105630970992053344109*c_0101_6^16 - 90574876273183373344554966076490269789965448274887/7753784102255796\ 0924115348105630970992053344109*c_0101_6^15 - 1334473085003087880242879570641830213353694597301016/77537841022557\ 960924115348105630970992053344109*c_0101_6^14 + 639200161612653491926130952870857360837728571014987/775378410225579\ 60924115348105630970992053344109*c_0101_6^13 + 615328542085801666674955783989022138521888481418287/258459470075193\ 20308038449368543656997351114703*c_0101_6^12 - 480275226830798129736497188751670587307744324811385/258459470075193\ 20308038449368543656997351114703*c_0101_6^11 - 2035517107107901613773392344938233291293424583944491/77537841022557\ 960924115348105630970992053344109*c_0101_6^10 + 1794650680323560382021199264445618673061684069734880/77537841022557\ 960924115348105630970992053344109*c_0101_6^9 + 1284851445630259372270685989849784897606390453537528/77537841022557\ 960924115348105630970992053344109*c_0101_6^8 - 1196746520240580899612288937494432279531154509519762/77537841022557\ 960924115348105630970992053344109*c_0101_6^7 - 437151904982981351838236481629177183230903512684175/775378410225579\ 60924115348105630970992053344109*c_0101_6^6 + 412213887561761222886473961398904380856622550715337/775378410225579\ 60924115348105630970992053344109*c_0101_6^5 + 74851058141123271103216196758429892983743955250395/7753784102255796\ 0924115348105630970992053344109*c_0101_6^4 - 71065309483526812056591506326827503645810139197374/7753784102255796\ 0924115348105630970992053344109*c_0101_6^3 - 8232775020352690804993488081887466771343065806581/77537841022557960\ 924115348105630970992053344109*c_0101_6^2 + 4131361317551427747051460983658135952182348910653/77537841022557960\ 924115348105630970992053344109*c_0101_6 + 350377082925349240173512108717197915764001154411/775378410225579609\ 24115348105630970992053344109, c_0101_1 - 211960004980164140646484657695615028819635541490/77537841022\ 557960924115348105630970992053344109*c_0101_6^24 + 63809098251292168503550949227369824493243020871/2584594700751932030\ 8038449368543656997351114703*c_0101_6^23 + 9739386847264783972040299296612127258127712253250/77537841022557960\ 924115348105630970992053344109*c_0101_6^22 - 3982820688223695528400527312288234073306103311144/25845947007519320\ 308038449368543656997351114703*c_0101_6^21 - 133147963109506471371535412110400371454805242741521/775378410225579\ 60924115348105630970992053344109*c_0101_6^20 + 103851984641933175891657450464321308689653019634328/775378410225579\ 60924115348105630970992053344109*c_0101_6^19 + 267249645721545578249700799298844807576033206334299/258459470075193\ 20308038449368543656997351114703*c_0101_6^18 - 47221954855277014847820464481626221985554033677053/2584594700751932\ 0308038449368543656997351114703*c_0101_6^17 - 1841205407885962004394791814699395508041147560646660/77537841022557\ 960924115348105630970992053344109*c_0101_6^16 + 475355154281522614778373570033720148819327840283404/775378410225579\ 60924115348105630970992053344109*c_0101_6^15 + 2137165582438813901248722331334030583414519848208620/77537841022557\ 960924115348105630970992053344109*c_0101_6^14 - 1442801959567871853910734896542230898786507601566660/77537841022557\ 960924115348105630970992053344109*c_0101_6^13 - 958447735894767868832350154142637532624803464305217/258459470075193\ 20308038449368543656997351114703*c_0101_6^12 + 977786295209318841117208191804890327157454169334250/258459470075193\ 20308038449368543656997351114703*c_0101_6^11 + 2889181738192783351325058187908717403325812536908693/77537841022557\ 960924115348105630970992053344109*c_0101_6^10 - 3396648100363579704581053319038053226369797439025512/77537841022557\ 960924115348105630970992053344109*c_0101_6^9 - 1524345749435084755995485556695057442681407203438610/77537841022557\ 960924115348105630970992053344109*c_0101_6^8 + 2037881847673864876604325943478104791147158553303725/77537841022557\ 960924115348105630970992053344109*c_0101_6^7 + 416652443326936150388827801401083284169632406399488/775378410225579\ 60924115348105630970992053344109*c_0101_6^6 - 623610202378678439965698225139641322699744856474899/775378410225579\ 60924115348105630970992053344109*c_0101_6^5 - 60477472933633982939373882692361797475450841539889/7753784102255796\ 0924115348105630970992053344109*c_0101_6^4 + 97910913544205368454818859109863898710032479410776/7753784102255796\ 0924115348105630970992053344109*c_0101_6^3 + 8516463351619637764632913981347799274785737519934/77537841022557960\ 924115348105630970992053344109*c_0101_6^2 - 5300962605750614715552712979372044049731187824795/77537841022557960\ 924115348105630970992053344109*c_0101_6 - 404053928446446760427676101005743113862019128335/775378410225579609\ 24115348105630970992053344109, c_0101_2 - 157970616138061723922919300577388355537508283800/77537841022\ 557960924115348105630970992053344109*c_0101_6^24 + 37043388686338774168242319211040901996901956066/2584594700751932030\ 8038449368543656997351114703*c_0101_6^23 + 7301879798327217719360618683606446966178209278824/77537841022557960\ 924115348105630970992053344109*c_0101_6^22 - 2492126404774662533486471795562164830899690011502/25845947007519320\ 308038449368543656997351114703*c_0101_6^21 - 101679950542879788148551890137507045298211328420031/775378410225579\ 60924115348105630970992053344109*c_0101_6^20 + 58744957616254226524047216277030124049112894082587/7753784102255796\ 0924115348105630970992053344109*c_0101_6^19 + 207233109884714138641977918215131248641420133849647/258459470075193\ 20308038449368543656997351114703*c_0101_6^18 + 752892064922631709568781467852165074869257817319/258459470075193203\ 08038449368543656997351114703*c_0101_6^17 - 1443559409144475756348774832415198714930420856691858/77537841022557\ 960924115348105630970992053344109*c_0101_6^16 + 114477776445529880573954861360630915163337071240509/775378410225579\ 60924115348105630970992053344109*c_0101_6^15 + 1774863209935713576356912788356113882145299030002021/77537841022557\ 960924115348105630970992053344109*c_0101_6^14 - 844397222141823381176262839768091060786724002285641/775378410225579\ 60924115348105630970992053344109*c_0101_6^13 - 821280654535243879280275335832205883192709831666775/258459470075193\ 20308038449368543656997351114703*c_0101_6^12 + 636647555966024036527847706993394667943218986459241/258459470075193\ 20308038449368543656997351114703*c_0101_6^11 + 2716446786098709740409275357449632522612271799601364/77537841022557\ 960924115348105630970992053344109*c_0101_6^10 - 2366473778476699153619973930315322672286335154844404/77537841022557\ 960924115348105630970992053344109*c_0101_6^9 - 1713490897802458339524014049765678241030469457479677/77537841022557\ 960924115348105630970992053344109*c_0101_6^8 + 1562583192182041877278281563659919894142544664905777/77537841022557\ 960924115348105630970992053344109*c_0101_6^7 + 589026470325249813441748289392964013843523998521930/775378410225579\ 60924115348105630970992053344109*c_0101_6^6 - 531750299048335063052193630394477933687677500584382/775378410225579\ 60924115348105630970992053344109*c_0101_6^5 - 105038129458339977927843862673641470477335038507424/775378410225579\ 60924115348105630970992053344109*c_0101_6^4 + 91433760144011342452168561310864028501093084279569/7753784102255796\ 0924115348105630970992053344109*c_0101_6^3 + 12175830622340410504188861594840537547358347613168/7753784102255796\ 0924115348105630970992053344109*c_0101_6^2 - 5290993192051862264762691762212411856919442839652/77537841022557960\ 924115348105630970992053344109*c_0101_6 - 483378116535823739899632381796713739706016738886/775378410225579609\ 24115348105630970992053344109, c_0101_4 + 121371040069476977474563761153037771026566536125/25845947007\ 519320308038449368543656997351114703*c_0101_6^24 - 62254844689836572101707555018512054415213999577/2584594700751932030\ 8038449368543656997351114703*c_0101_6^23 - 5637584950963386076720732527400010413262477636780/25845947007519320\ 308038449368543656997351114703*c_0101_6^22 + 4688379615334962919670232958533031401115898909087/25845947007519320\ 308038449368543656997351114703*c_0101_6^21 + 79726697401461216214258049282258211221551602356936/2584594700751932\ 0308038449368543656997351114703*c_0101_6^20 - 31020802384370685279129423223527096066836248123311/2584594700751932\ 0308038449368543656997351114703*c_0101_6^19 - 493068428209633814698125022367378809928616884274195/258459470075193\ 20308038449368543656997351114703*c_0101_6^18 - 85365948829237397071906764910277222245792712411030/2584594700751932\ 0308038449368543656997351114703*c_0101_6^17 + 1149002941916208701704304933455297299499994950419738/25845947007519\ 320308038449368543656997351114703*c_0101_6^16 + 104543979581096504665775837253889617573809833836569/258459470075193\ 20308038449368543656997351114703*c_0101_6^15 - 1472239967937127152314789774802331011680665726202136/25845947007519\ 320308038449368543656997351114703*c_0101_6^14 + 440339010196941592028729454944894256562066725443315/258459470075193\ 20308038449368543656997351114703*c_0101_6^13 + 2114799538446897334915272512691542262037083856241561/25845947007519\ 320308038449368543656997351114703*c_0101_6^12 - 1211958136431835987751412793014694843104267099215174/25845947007519\ 320308038449368543656997351114703*c_0101_6^11 - 2488275715666467763310420143519711570416356719434881/25845947007519\ 320308038449368543656997351114703*c_0101_6^10 + 1610967512653552855095497791178509071471276507107437/25845947007519\ 320308038449368543656997351114703*c_0101_6^9 + 1760865621639082472563520743379185101147540048019760/25845947007519\ 320308038449368543656997351114703*c_0101_6^8 - 1158355812104183029768124763359149751173311572502044/25845947007519\ 320308038449368543656997351114703*c_0101_6^7 - 700367930389726476750200259158548427359878779829622/258459470075193\ 20308038449368543656997351114703*c_0101_6^6 + 437109164210519869470686479016986256021747703475437/258459470075193\ 20308038449368543656997351114703*c_0101_6^5 + 145355556727269354688720943096383297953382647557536/258459470075193\ 20308038449368543656997351114703*c_0101_6^4 - 84416347129524659121371992940266197559047641581831/2584594700751932\ 0308038449368543656997351114703*c_0101_6^3 - 16408143296152093685424963100873669603649108639633/2584594700751932\ 0308038449368543656997351114703*c_0101_6^2 + 5550578475805221509950262694227417659379427014796/25845947007519320\ 308038449368543656997351114703*c_0101_6 + 526481045514077475305553575625075846662893121092/258459470075193203\ 08038449368543656997351114703, c_0101_6^25 - c_0101_6^24 - 46*c_0101_6^23 + 61*c_0101_6^22 + 629*c_0101_6^21 - 561*c_0101_6^20 - 3818*c_0101_6^19 + 1134*c_0101_6^18 + 9106*c_0101_6^17 - 3360*c_0101_6^16 - 10955*c_0101_6^15 + 8508*c_0101_6^14 + 14011*c_0101_6^13 - 16512*c_0101_6^12 - 13636*c_0101_6^11 + 19761*c_0101_6^10 + 6584*c_0101_6^9 - 12866*c_0101_6^8 - 1039*c_0101_6^7 + 4444*c_0101_6^6 - 234*c_0101_6^5 - 799*c_0101_6^4 + 84*c_0101_6^3 + 61*c_0101_6^2 - 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB