Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 172725974] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0887 geometric_solution 4.78807832 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.642662445480 0.133684218913 0 2 2 0 3201 0132 1023 0132 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 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 1.529825646789 0.434592954062 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -1 0 1 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.040639577908 0.641143820501 2 4 4 5 0132 2310 1302 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 1 0 -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.191641745490 0.737930378682 3 5 2 3 2031 2310 0132 3201 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 -1 1 -1 0 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.191641745490 0.737930378682 6 6 3 4 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 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.494719267326 1.035343260360 5 6 6 5 0132 3201 2310 3201 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 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.789688399777 0.497871696342 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : 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_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2384353869543820089307916289278577517900795706/22339966727018463902\ 531207629170434121241909*c_0101_6^25 + 21662149774714856761089874866546504926098464552/2233996672701846390\ 2531207629170434121241909*c_0101_6^24 + 2736797048340582475168788543621570641682849607/31914238181454948432\ 18743947024347731605987*c_0101_6^23 - 326654820055489782110810099938794835230358606987/223399667270184639\ 02531207629170434121241909*c_0101_6^22 + 409401613435979788620717338301037037164294096232/223399667270184639\ 02531207629170434121241909*c_0101_6^21 + 1630638911492527101052486410796677893000879221728/22339966727018463\ 902531207629170434121241909*c_0101_6^20 - 3833852640649668922779305587138745761763520116664/22339966727018463\ 902531207629170434121241909*c_0101_6^19 - 1155606130792430883648045146826593092699927872869/22339966727018463\ 902531207629170434121241909*c_0101_6^18 + 1584399643348300013695836324775244051419273644108/31914238181454948\ 43218743947024347731605987*c_0101_6^17 - 6318417208700460247586724499852328061226095578574/22339966727018463\ 902531207629170434121241909*c_0101_6^16 - 1904635723608032275299919677948074498351230908220/31914238181454948\ 43218743947024347731605987*c_0101_6^15 + 14144947598392007496198928839095393235442929831965/2233996672701846\ 3902531207629170434121241909*c_0101_6^14 + 4529858087457726927193526235788216109099190595390/22339966727018463\ 902531207629170434121241909*c_0101_6^13 - 18910546173798803499984229384685908172530159130956/2233996672701846\ 3902531207629170434121241909*c_0101_6^12 - 996743088324685746571012099505668560372968444054/223399667270184639\ 02531207629170434121241909*c_0101_6^11 + 16630852818235704346096263554703687655545231310338/2233996672701846\ 3902531207629170434121241909*c_0101_6^10 + 3972416280480939716695049083405966043913116584227/22339966727018463\ 902531207629170434121241909*c_0101_6^9 - 1166647226046358538427374789866527436180345063054/31914238181454948\ 43218743947024347731605987*c_0101_6^8 - 3572656370214904099820594828878177213601180519314/22339966727018463\ 902531207629170434121241909*c_0101_6^7 + 327049046401116556743072405725008368463409203623/319142381814549484\ 3218743947024347731605987*c_0101_6^6 + 1275869910485314259915178527783786272367857397999/22339966727018463\ 902531207629170434121241909*c_0101_6^5 - 395841554229294634819501542398885420179533032392/223399667270184639\ 02531207629170434121241909*c_0101_6^4 - 227373576100745546714723978107137590342638767568/223399667270184639\ 02531207629170434121241909*c_0101_6^3 + 40065612870984101514549260175170638307529885373/2233996672701846390\ 2531207629170434121241909*c_0101_6^2 + 19549362224581198198424496175145183936366602603/2233996672701846390\ 2531207629170434121241909*c_0101_6 - 1741754984664044423950996864213772479398434859/22339966727018463902\ 531207629170434121241909, c_0011_0 - 1, c_0011_1 + 1119029335952513759689400923982556999871313/3191423818145494\ 843218743947024347731605987*c_0101_6^25 - 10128708993829441948308552374576275446691808/3191423818145494843218\ 743947024347731605987*c_0101_6^24 - 9741279624299124198160016142159758123741442/31914238181454948432187\ 43947024347731605987*c_0101_6^23 + 156870122362760777163325462478730790273682986/319142381814549484321\ 8743947024347731605987*c_0101_6^22 - 185358848196208014876776862434086852069111171/319142381814549484321\ 8743947024347731605987*c_0101_6^21 - 827956035656575946056222374289176615031623202/319142381814549484321\ 8743947024347731605987*c_0101_6^20 + 1867067296834663023283725865348803763050358206/31914238181454948432\ 18743947024347731605987*c_0101_6^19 + 838198476274106232763224534500224887211212600/319142381814549484321\ 8743947024347731605987*c_0101_6^18 - 5933124217539011462339023252422100217996666599/31914238181454948432\ 18743947024347731605987*c_0101_6^17 + 2920459900201065753524481871742636813164907617/31914238181454948432\ 18743947024347731605987*c_0101_6^16 + 8139595148483538805949085351409992940925277862/31914238181454948432\ 18743947024347731605987*c_0101_6^15 - 8234919430144681232631935510034293026311837190/31914238181454948432\ 18743947024347731605987*c_0101_6^14 - 3742044839266199658480347452170329846821657505/31914238181454948432\ 18743947024347731605987*c_0101_6^13 + 11648105674982512976468960536657642813647268532/3191423818145494843\ 218743947024347731605987*c_0101_6^12 + 264016001609457642293169736898939607686906688/319142381814549484321\ 8743947024347731605987*c_0101_6^11 - 10578022804821330168117150835669655988935016441/3191423818145494843\ 218743947024347731605987*c_0101_6^10 - 1166562177906596784367341806973144032796531428/31914238181454948432\ 18743947024347731605987*c_0101_6^9 + 6035658128093253678841133797251704829307190727/31914238181454948432\ 18743947024347731605987*c_0101_6^8 + 1652114081725750144374594967231681177502299421/31914238181454948432\ 18743947024347731605987*c_0101_6^7 - 2147649357946589351346390208186549342374991978/31914238181454948432\ 18743947024347731605987*c_0101_6^6 - 779936625105308456708473658249062904972075948/319142381814549484321\ 8743947024347731605987*c_0101_6^5 + 501021812161686727909920629986861335246855795/319142381814549484321\ 8743947024347731605987*c_0101_6^4 + 147009445748284361973566182917711297906492479/319142381814549484321\ 8743947024347731605987*c_0101_6^3 - 79132062713581185503572009097246108212952269/3191423818145494843218\ 743947024347731605987*c_0101_6^2 - 10497533117182419033259447173878024036211055/3191423818145494843218\ 743947024347731605987*c_0101_6 + 6695730705718080622403329287716771\ 867605269/3191423818145494843218743947024347731605987, c_0011_4 + 3231417058942366658006589966511570076775184/3191423818145494\ 843218743947024347731605987*c_0101_6^25 - 30688437624674717495989145079566711845404148/3191423818145494843218\ 743947024347731605987*c_0101_6^24 - 14362487162742970133693740562393374593229334/3191423818145494843218\ 743947024347731605987*c_0101_6^23 + 457816670372846443705083384942295586791484845/319142381814549484321\ 8743947024347731605987*c_0101_6^22 - 733349023346631702863895421059002810109062465/319142381814549484321\ 8743947024347731605987*c_0101_6^21 - 2046382567028898622279711114868182958756555428/31914238181454948432\ 18743947024347731605987*c_0101_6^20 + 6190045554573687196180873707498018638258358680/31914238181454948432\ 18743947024347731605987*c_0101_6^19 - 265840058657489109439276597177500224724113621/319142381814549484321\ 8743947024347731605987*c_0101_6^18 - 16418624609329461126228359677546905256854803298/3191423818145494843\ 218743947024347731605987*c_0101_6^17 + 14634886752735307702100436566968672985203753390/3191423818145494843\ 218743947024347731605987*c_0101_6^16 + 16484725874474280679939584633156229709452398289/3191423818145494843\ 218743947024347731605987*c_0101_6^15 - 27924787367760138413587518716983180833896830575/3191423818145494843\ 218743947024347731605987*c_0101_6^14 - 114801337625075688225549768546940495988157306/319142381814549484321\ 8743947024347731605987*c_0101_6^13 + 30417168237830418943984964974622087645815451551/3191423818145494843\ 218743947024347731605987*c_0101_6^12 - 9152889347604307585822634233542489339502079173/31914238181454948432\ 18743947024347731605987*c_0101_6^11 - 25815196476001443741751174616975775334551909304/3191423818145494843\ 218743947024347731605987*c_0101_6^10 + 3746587276187722399456960068364017350985925933/31914238181454948432\ 18743947024347731605987*c_0101_6^9 + 15297716912990762735012519589322618714819256203/3191423818145494843\ 218743947024347731605987*c_0101_6^8 + 1197307858793147575084286433236055936223581593/31914238181454948432\ 18743947024347731605987*c_0101_6^7 - 5656987732651910026624579188365441613564236204/31914238181454948432\ 18743947024347731605987*c_0101_6^6 - 937795515795241380955224173941256445289233745/319142381814549484321\ 8743947024347731605987*c_0101_6^5 + 1277220139843065753059761982969386331477808334/31914238181454948432\ 18743947024347731605987*c_0101_6^4 + 155071607277983947932991061115926974366040839/319142381814549484321\ 8743947024347731605987*c_0101_6^3 - 169752603287698159965508444465024705825968153/319142381814549484321\ 8743947024347731605987*c_0101_6^2 - 10397766111629361754066405289345109161860012/3191423818145494843218\ 743947024347731605987*c_0101_6 + 8933530346288304316042904620103818\ 787195455/3191423818145494843218743947024347731605987, c_0011_5 + 2189265743166655330084952399181931651767682/3191423818145494\ 843218743947024347731605987*c_0101_6^25 - 21239698939629218472261388085627585816385947/3191423818145494843218\ 743947024347731605987*c_0101_6^24 - 5789586179159599270930860016165722618977545/31914238181454948432187\ 43947024347731605987*c_0101_6^23 + 314925158152432818088271621058809496709294130/319142381814549484321\ 8743947024347731605987*c_0101_6^22 - 556616438059265243451501579784717649247149066/319142381814549484321\ 8743947024347731605987*c_0101_6^21 - 1327755418263425370406388938396231767160364554/31914238181454948432\ 18743947024347731605987*c_0101_6^20 + 4514970381573469445375845534367200909273531127/31914238181454948432\ 18743947024347731605987*c_0101_6^19 - 792142573290828356716175625324979363142693091/319142381814549484321\ 8743947024347731605987*c_0101_6^18 - 11527057591062311575391808516576248630839102329/3191423818145494843\ 218743947024347731605987*c_0101_6^17 + 11808501572581383801897824106825759632874700628/3191423818145494843\ 218743947024347731605987*c_0101_6^16 + 10668147648045073312217374489812401171505328169/3191423818145494843\ 218743947024347731605987*c_0101_6^15 - 21516907335279799270914973810992226846337785038/3191423818145494843\ 218743947024347731605987*c_0101_6^14 + 1449399336962492198841142296179032566104779336/31914238181454948432\ 18743947024347731605987*c_0101_6^13 + 22143377679752153025575071851926669311335224992/3191423818145494843\ 218743947024347731605987*c_0101_6^12 - 8982137691359845502790476339352361826263898398/31914238181454948432\ 18743947024347731605987*c_0101_6^11 - 18970495789357855806466559792142683171610177656/3191423818145494843\ 218743947024347731605987*c_0101_6^10 + 5240793040834236909118012721611401429409373348/31914238181454948432\ 18743947024347731605987*c_0101_6^9 + 12368133144218608142848470028903229199844106596/3191423818145494843\ 218743947024347731605987*c_0101_6^8 - 204132583667431511714072049773602261235540516/319142381814549484321\ 8743947024347731605987*c_0101_6^7 - 5075908285217042056160994099042204394262743581/31914238181454948432\ 18743947024347731605987*c_0101_6^6 - 589851780981195076826839466304538799669471779/319142381814549484321\ 8743947024347731605987*c_0101_6^5 + 1213970723194184396891074628478637498354192883/31914238181454948432\ 18743947024347731605987*c_0101_6^4 + 155387311810436630785470261070282566947172518/319142381814549484321\ 8743947024347731605987*c_0101_6^3 - 171956330245716986658127021546670506166312078/319142381814549484321\ 8743947024347731605987*c_0101_6^2 - 14566519205540524763186614289284715402488413/3191423818145494843218\ 743947024347731605987*c_0101_6 + 1050153909000373477578363869683973\ 0224150165/3191423818145494843218743947024347731605987, c_0101_0 + 1792618560068695846922311671457174082619464/3191423818145494\ 843218743947024347731605987*c_0101_6^25 - 16018813646719027293910217772123394206378731/3191423818145494843218\ 743947024347731605987*c_0101_6^24 - 17425996331655810101934702224749255668222378/3191423818145494843218\ 743947024347731605987*c_0101_6^23 + 248669553304259066620011354356897252494494500/319142381814549484321\ 8743947024347731605987*c_0101_6^22 - 265096540374403559683550273301880186586218365/319142381814549484321\ 8743947024347731605987*c_0101_6^21 - 1350065494643377034690296198755932862242066716/31914238181454948432\ 18743947024347731605987*c_0101_6^20 + 2780610815734998214250456243059615185831974595/31914238181454948432\ 18743947024347731605987*c_0101_6^19 + 1706135541353348633600444003849825798074513276/31914238181454948432\ 18743947024347731605987*c_0101_6^18 - 9018338102179970689224355136909928168192479521/31914238181454948432\ 18743947024347731605987*c_0101_6^17 + 3088084430864440901411507853603942585666912302/31914238181454948432\ 18743947024347731605987*c_0101_6^16 + 13115440565033492107263731076936498913748878482/3191423818145494843\ 218743947024347731605987*c_0101_6^15 - 10045506713770221053409811262289467382232758039/3191423818145494843\ 218743947024347731605987*c_0101_6^14 - 7915743944657908887281593879339175124599555055/31914238181454948432\ 18743947024347731605987*c_0101_6^13 + 15885039412736284887563239163202998046302448643/3191423818145494843\ 218743947024347731605987*c_0101_6^12 + 4023095090925135340143656895728604777026251329/31914238181454948432\ 18743947024347731605987*c_0101_6^11 - 15928787844985012416966500035917222446676805703/3191423818145494843\ 218743947024347731605987*c_0101_6^10 - 6098659133285173316516670254495392732888849175/31914238181454948432\ 18743947024347731605987*c_0101_6^9 + 8533509422868898171124306709366005620549701290/31914238181454948432\ 18743947024347731605987*c_0101_6^8 + 5450012621152017322442220392721658889365544363/31914238181454948432\ 18743947024347731605987*c_0101_6^7 - 2030801609883189080265666885622204272330865254/31914238181454948432\ 18743947024347731605987*c_0101_6^6 - 2113739781399898074373064406031584394731086655/31914238181454948432\ 18743947024347731605987*c_0101_6^5 + 134528494432227900012120784876195379685612130/319142381814549484321\ 8743947024347731605987*c_0101_6^4 + 370062415342228580089665598816763462236497934/319142381814549484321\ 8743947024347731605987*c_0101_6^3 + 7903745858035316138427151438942130622697522/31914238181454948432187\ 43947024347731605987*c_0101_6^2 - 333803331007724373546976234263802\ 46498762452/3191423818145494843218743947024347731605987*c_0101_6 - 522739482240882352993158161021752187652627/319142381814549484321874\ 3947024347731605987, c_0101_2 - 1609921443070731805991283241654907224925544/3191423818145494\ 843218743947024347731605987*c_0101_6^25 + 14308966328666763352635994923223454448541955/3191423818145494843218\ 743947024347731605987*c_0101_6^24 + 15661920563507767542711907265551012181260274/3191423818145494843218\ 743947024347731605987*c_0101_6^23 - 216847088914799919924555647579083669099489181/319142381814549484321\ 8743947024347731605987*c_0101_6^22 + 236553282338386236957147237048049769101305652/319142381814549484321\ 8743947024347731605987*c_0101_6^21 + 1136440253464077236064868317404962397795541505/31914238181454948432\ 18743947024347731605987*c_0101_6^20 - 2379892231505294671405803897125827287266305518/31914238181454948432\ 18743947024347731605987*c_0101_6^19 - 1142935383739504672404539332040706166455561020/31914238181454948432\ 18743947024347731605987*c_0101_6^18 + 7262128269571162186002354102980988045897907220/31914238181454948432\ 18743947024347731605987*c_0101_6^17 - 3256668618471953483783715304780367635692210833/31914238181454948432\ 18743947024347731605987*c_0101_6^16 - 9264511800624151664595379560429176805778537028/31914238181454948432\ 18743947024347731605987*c_0101_6^15 + 8497984462301327454934820924373992155132114746/31914238181454948432\ 18743947024347731605987*c_0101_6^14 + 3487025127422019104989779886842787184535779323/31914238181454948432\ 18743947024347731605987*c_0101_6^13 - 12576091223753341861154335888043032822539591196/3191423818145494843\ 218743947024347731605987*c_0101_6^12 - 1595929412737662838768540548156624320014086777/31914238181454948432\ 18743947024347731605987*c_0101_6^11 + 10241568552819964994746080165114325721899050886/3191423818145494843\ 218743947024347731605987*c_0101_6^10 + 3049408279237575152473997390287873549436137274/31914238181454948432\ 18743947024347731605987*c_0101_6^9 - 4126906227290003846952889091059391360290834591/31914238181454948432\ 18743947024347731605987*c_0101_6^8 - 1813874120900147988921816031420091866483468314/31914238181454948432\ 18743947024347731605987*c_0101_6^7 + 1120912595260733467290567205757866815898607068/31914238181454948432\ 18743947024347731605987*c_0101_6^6 + 411876618077004449229393361639344013034376463/319142381814549484321\ 8743947024347731605987*c_0101_6^5 - 315172574401810198369422567136457824907943876/319142381814549484321\ 8743947024347731605987*c_0101_6^4 - 44340894602867340190754237699441072130495903/3191423818145494843218\ 743947024347731605987*c_0101_6^3 + 52177493193100317701826051196767373556438027/3191423818145494843218\ 743947024347731605987*c_0101_6^2 - 1672202094022858986735838495256944404181325/31914238181454948432187\ 43947024347731605987*c_0101_6 - 28628392790116122948312583467885380\ 54953715/3191423818145494843218743947024347731605987, c_0101_6^26 - 9*c_0101_6^25 - 9*c_0101_6^24 + 138*c_0101_6^23 - 158*c_0101_6^22 - 724*c_0101_6^21 + 1575*c_0101_6^20 + 758*c_0101_6^19 - 4874*c_0101_6^18 + 2093*c_0101_6^17 + 6633*c_0101_6^16 - 5726*c_0101_6^15 - 3482*c_0101_6^14 + 8542*c_0101_6^13 + 1602*c_0101_6^12 - 8229*c_0101_6^11 - 2704*c_0101_6^10 + 4369*c_0101_6^9 + 2408*c_0101_6^8 - 1206*c_0101_6^7 - 962*c_0101_6^6 + 172*c_0101_6^5 + 198*c_0101_6^4 - 13*c_0101_6^3 - 23*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB