Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 829467914] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0156 geometric_solution 3.64616698 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0.544863487357 0.041825951025 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514978347243 0.015113502771 3 0 3 0 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -1 0 0 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 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 -1.859754802831 0.804429015200 2 2 4 5 0132 3201 0132 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 1 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 1.275495601457 0.937666527623 5 6 5 3 1302 0132 1230 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 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.999054605162 0.504347437866 6 4 3 4 2310 2031 0132 3012 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 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.999054605162 0.504347437866 6 4 5 6 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202336609681 0.402680178949 ==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' : 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' : negation(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_0101_6']), 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0011_0'], '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' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_3']})} 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_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 394269789494411586231492659520959768015641155624459380743019611/163\ 325397277246919378334516839103519788686942451785186192704*c_0101_6^\ 24 - 19139016450384736340020141268847015329763263750808373054300179\ 767/1143277780940728435648341617873724638520808597162496303348928*c\ _0101_6^23 - 739630190927133914250713496777065664757252298563404886\ 98817998061/1143277780940728435648341617873724638520808597162496303\ 348928*c_0101_6^22 - 1621112348663560596606745752775281167969970459\ 28701541573082711701/5716388904703642178241708089368623192604042985\ 81248151674464*c_0101_6^21 - 57404843023136292521499237581513215422\ 5448119833839228087655843109/11432777809407284356483416178737246385\ 20808597162496303348928*c_0101_6^20 - 2964204087445374442808316537038861389626225235392702676990026925/23\ 23735327115301698472239060718952517318716660899382730384*c_0101_6^1\ 9 + 133034709779735205955571529433597371372889788501406165118854328\ 47/1143277780940728435648341617873724638520808597162496303348928*c_\ 0101_6^18 - 1974532484539654738783391092445535264125223475995568704\ 719868331765/571638890470364217824170808936862319260404298581248151\ 674464*c_0101_6^17 - 2620703010893676955785065812412842697332648232\ 04265956049778692913/5716388904703642178241708089368623192604042985\ 81248151674464*c_0101_6^16 - 73311076670751372295529966259735490277\ 78005321724182024590602748243/3810925936469094785494472059579082128\ 40269532387498767782976*c_0101_6^15 - 343808920040758770786889549196025435959819546533509812913206047467/\ 54441799092415639792778172279701173262895647483928395397568*c_0101_\ 6^14 - 415845596616004091227029483887248798361266400430291400852486\ 33375831/1143277780940728435648341617873724638520808597162496303348\ 928*c_0101_6^13 + 1902839629831536763958855330127047716816166121713\ 784334216345600973/142909722617591054456042702234215579815101074645\ 312037918616*c_0101_6^12 - 3763850256602807036241871914892723520227\ 6393364407160262764339426705/11432777809407284356483416178737246385\ 20808597162496303348928*c_0101_6^11 + 3432270453440869272628891070617852848890663701450414976223260453215\ 3/1143277780940728435648341617873724638520808597162496303348928*c_0\ 101_6^10 - 21364398966965243525432540724027642796726765411494797339\ 205662448871/571638890470364217824170808936862319260404298581248151\ 674464*c_0101_6^9 + 10182697042948176027392415147694370125868266272\ 350773747611390442899/381092593646909478549447205957908212840269532\ 387498767782976*c_0101_6^8 - 13592177546661704771899482638071939486\ 578969267949630100256621683029/571638890470364217824170808936862319\ 260404298581248151674464*c_0101_6^7 + 121449541959086079269310654534618203202150201665531002509122357343/\ 6805224886551954974097271534962646657861955935491049424696*c_0101_6\ ^6 - 59874770700507135424538038971672486676921499724465600691874231\ 37979/571638890470364217824170808936862319260404298581248151674464*\ c_0101_6^5 + 484416351981784715175533479157736213710737616891871421\ 6329491976827/11432777809407284356483416178737246385208085971624963\ 03348928*c_0101_6^4 - 342318433545544309743414454496820151143282059\ 896724376287914907813/285819445235182108912085404468431159630202149\ 290624075837232*c_0101_6^3 + 12893687034685437349588840781850670118\ 9311673279127664472483577491/57163889047036421782417080893686231926\ 0404298581248151674464*c_0101_6^2 - 30313614962323248798943731403614527505145369448688609396425663983/1\ 143277780940728435648341617873724638520808597162496303348928*c_0101\ _6 + 59806686075222383431933109358126894277719437552897660994397517\ 1/381092593646909478549447205957908212840269532387498767782976, c_0011_0 - 1, c_0011_4 + 2846305783662202791539001731885031695616575970760429420313/2\ 17188028294211328960551219200935531633892210707161151852*c_0101_6^2\ 4 + 21631198176537530821515588365406767995230073997358441809147/217\ 188028294211328960551219200935531633892210707161151852*c_0101_6^23 + 89749753977498069625057269621662438481944096397079075038433/2171880\ 28294211328960551219200935531633892210707161151852*c_0101_6^22 + 193759459413429147029003188952592640537432781938291881059593/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^21 + 274606603802960115374993250539480317135277518528199286726739/723960\ 09431403776320183739733645177211297403569053717284*c_0101_6^20 + 11822981942725042364076493320988095113384987338686596128099/1324317\ 245696410542442385482932533729474952504311958243*c_0101_6^19 + 1061513648115943780660083049799734887987390504913234904953465/21718\ 8028294211328960551219200935531633892210707161151852*c_0101_6^18 + 708535142093877151918033189292446811197096776475926398799711/361980\ 04715701888160091869866822588605648701784526858642*c_0101_6^17 + 1631208976193300531758522883970591332836390341051876447206279/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^16 + 23531860426626322329003449909540813366258635816586344915412677/2171\ 88028294211328960551219200935531633892210707161151852*c_0101_6^15 + 7546179207887080675585903862648730549463627955223773961225809/72396\ 009431403776320183739733645177211297403569053717284*c_0101_6^14 + 50582282672776665076189710856238362197271729392860000682554951/2171\ 88028294211328960551219200935531633892210707161151852*c_0101_6^13 + 3489726794144205032333068132543175059326182560571718920787512/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^12 + 11204340107567015704087772601535541304701450467886588841572243/7239\ 6009431403776320183739733645177211297403569053717284*c_0101_6^11 - 3681244248207309372632235979831048827437581556841222095553331/72396\ 009431403776320183739733645177211297403569053717284*c_0101_6^10 + 4168342082798307356482353349593183646202517542095328715918257/36198\ 004715701888160091869866822588605648701784526858642*c_0101_6^9 - 6048506862997531350437734595576540942624910907151859537815797/21718\ 8028294211328960551219200935531633892210707161151852*c_0101_6^8 + 6009252282063080000918321653375853006267272570299723375341591/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^7 - 1424643215063485809849848264691977183095207252347914903985601/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^6 + 689544634952901932546356822185119800202176680886990423583015/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^5 + 996235494172273103769250622691688705156516500806653229050993/217188\ 028294211328960551219200935531633892210707161151852*c_0101_6^4 - 164721458918492553396031939807377887672922677594077835781898/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^3 + 36653403020605760390497243909642018360039095229039635544663/3619800\ 4715701888160091869866822588605648701784526858642*c_0101_6^2 - 35535797479610025408940644962799490771098319979341001534801/2171880\ 28294211328960551219200935531633892210707161151852*c_0101_6 + 3333264310630840569910576379830003884060491421533177148979/21718802\ 8294211328960551219200935531633892210707161151852, c_0101_0 + 144227884498809646804462429851390721320107217970152801/10507\ 32715022442163992768408555020314965746309084168*c_0101_6^24 + 1006197140440727690335569920552560262319527719968267663/10507327150\ 22442163992768408555020314965746309084168*c_0101_6^23 + 3907202218552433664265233155512677785074862669136953017/10507327150\ 22442163992768408555020314965746309084168*c_0101_6^22 + 8553280828176120934407552686290020267368847032381293263/52536635751\ 1221081996384204277510157482873154542084*c_0101_6^21 + 30713473440899714012156592020382351165813574789485490029/1050732715\ 022442163992768408555020314965746309084168*c_0101_6^20 + 19374477066549645268575279330761822722265583659426920103/2626831787\ 55610540998192102138755078741436577271042*c_0101_6^19 + 2548924146715331847169691578646128788194041431832154733/10507327150\ 22442163992768408555020314965746309084168*c_0101_6^18 + 103253200881476160666365594225451259696001187448739211363/525366357\ 511221081996384204277510157482873154542084*c_0101_6^17 + 18031036297502560720212308229849229757673123338511486723/5253663575\ 11221081996384204277510157482873154542084*c_0101_6^16 + 1150928400258594440404436554449528511319560206022169589841/10507327\ 15022442163992768408555020314965746309084168*c_0101_6^15 + 425433772320759838087328492010064571770222936177427311123/105073271\ 5022442163992768408555020314965746309084168*c_0101_6^14 + 2191139115709151714037733605877836787754580658465507933623/10507327\ 15022442163992768408555020314965746309084168*c_0101_6^13 - 87951943790650410153817876493376003222163394199707075250/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^12 + 1938720241696198628720259178052578556163845632614264924501/10507327\ 15022442163992768408555020314965746309084168*c_0101_6^11 - 1711392452543068816397082738216342143639006817497909710513/10507327\ 15022442163992768408555020314965746309084168*c_0101_6^10 + 1081683955385325152473313288396148567046378588018562395547/52536635\ 7511221081996384204277510157482873154542084*c_0101_6^9 - 1505347788592571922261908195362219747991205473232202054941/10507327\ 15022442163992768408555020314965746309084168*c_0101_6^8 + 679409893304453095540957342244748210007495412627149468639/525366357\ 511221081996384204277510157482873154542084*c_0101_6^7 - 252426615900105590876472381560841665981928543082720178125/262683178\ 755610540998192102138755078741436577271042*c_0101_6^6 + 292238789444390241939403925879629551156466847128190544753/525366357\ 511221081996384204277510157482873154542084*c_0101_6^5 - 228940620446932147858859724292617644844647652375957148259/105073271\ 5022442163992768408555020314965746309084168*c_0101_6^4 + 15603768668424947998900848968327057216957559062420877321/2626831787\ 55610540998192102138755078741436577271042*c_0101_6^3 - 5561147622989720910412338593019467207556662696126706275/52536635751\ 1221081996384204277510157482873154542084*c_0101_6^2 + 1235776866584598395977643636704121194563806725232099043/10507327150\ 22442163992768408555020314965746309084168*c_0101_6 - 63294980474061257393311115628928051739477481215282569/1050732715022\ 442163992768408555020314965746309084168, c_0101_1 - 523306677276480592566974360439849992937283031380474103855/10\ 8594014147105664480275609600467765816946105353580575926*c_0101_6^24 - 3673516531708879966539115995101602184513774655412971954989/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^23 - 14352948234328836682052842703579507415109179031188827951335/1085940\ 14147105664480275609600467765816946105353580575926*c_0101_6^22 - 31407135538405613557499898531162994592678365183334281436650/5429700\ 7073552832240137804800233882908473052676790287963*c_0101_6^21 - 38219604687622874010278165801731319085279106326129956610795/3619800\ 4715701888160091869866822588605648701784526858642*c_0101_6^20 - 3516055539301159147240152283649644736352760343674278998330/13243172\ 45696410542442385482932533729474952504311958243*c_0101_6^19 - 25986259395174702259058451971612224264682532910918165444855/1085940\ 14147105664480275609600467765816946105353580575926*c_0101_6^18 - 126783550027922623854696255346921156953734358139284976848444/180990\ 02357850944080045934933411294302824350892263429321*c_0101_6^17 - 83526071134848581326890442709227279576929413822827506287267/5429700\ 7073552832240137804800233882908473052676790287963*c_0101_6^16 - 4208190569001246811147322482553257563448320171839464811108347/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^15 - 579247186854971555343513890368707747450485329380454723436059/361980\ 04715701888160091869866822588605648701784526858642*c_0101_6^14 - 8163728113692734537720330328679770207385282633857136258739549/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^13 + 1054245296667984272604668114539011091722848063748116343119333/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^12 - 2407766744277266721401116794586098199947014388422043195477543/36198\ 004715701888160091869866822588605648701784526858642*c_0101_6^11 + 1966067705166581798525022130480684012269764814019430607136333/36198\ 004715701888160091869866822588605648701784526858642*c_0101_6^10 - 1302431982903048745512514877376009870413599870545349685287361/18099\ 002357850944080045934933411294302824350892263429321*c_0101_6^9 + 5256966517490784736696194629183798932741854671711139793268635/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^8 - 2455997841572348600217689388866444633339562585464285413322360/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^7 + 1780646647545639573531055070869644867315901236238267194269975/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^6 - 1043726636869955211303958858399712919479155809040545542975300/54297\ 007073552832240137804800233882908473052676790287963*c_0101_6^5 + 819064812871779435084283108977619023565068064229430057218039/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^4 - 116534179585083241616202754934761843477829398390689895136857/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^3 + 7029524745588070697278327477319501578116155585230732023791/18099002\ 357850944080045934933411294302824350892263429321*c_0101_6^2 - 4876164343826602380314606641989969381211082864829363648547/10859401\ 4147105664480275609600467765816946105353580575926*c_0101_6 + 81326831864481552589634118025746754505162929155232415939/1085940141\ 47105664480275609600467765816946105353580575926, c_0101_2 - 72347208504607297832502030192698202235958567296139920249/108\ 594014147105664480275609600467765816946105353580575926*c_0101_6^24 - 510505739129336847423929112159008711081639281613649999655/108594014\ 147105664480275609600467765816946105353580575926*c_0101_6^23 - 2003768294908911226675303385607181320370496436231822328361/10859401\ 4147105664480275609600467765816946105353580575926*c_0101_6^22 - 4381672327247807634779873133867744525460206537506357636780/54297007\ 073552832240137804800233882908473052676790287963*c_0101_6^21 - 5398745305152657523905675515573005272688873645919366871323/36198004\ 715701888160091869866822588605648701784526858642*c_0101_6^20 - 494612733042754919176410622183124237828730006620533732537/132431724\ 5696410542442385482932533729474952504311958243*c_0101_6^19 - 5287674112304690499137992501706782378787237272618155687773/10859401\ 4147105664480275609600467765816946105353580575926*c_0101_6^18 - 17646206188121090385391398150046427119818245852795301116967/1809900\ 2357850944080045934933411294302824350892263429321*c_0101_6^17 - 13575866520890528710997925238606542826519721866945696661062/5429700\ 7073552832240137804800233882908473052676790287963*c_0101_6^16 - 584008046295321423228017742028155975166912565020775581640099/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^15 - 87411830203140334369149588647999632567160373316726824157469/3619800\ 4715701888160091869866822588605648701784526858642*c_0101_6^14 - 1145023198662286452592904141912106038651983690564569967398991/10859\ 4014147105664480275609600467765816946105353580575926*c_0101_6^13 + 122403071528306873409107307967749382083205541249418519688903/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^12 - 334559690235818780450124233087593705232011912926847235019631/361980\ 04715701888160091869866822588605648701784526858642*c_0101_6^11 + 259310936051919618321240227738415283365210467288418179912219/361980\ 04715701888160091869866822588605648701784526858642*c_0101_6^10 - 177177885064973094703510721786261508397199048812612228602189/180990\ 02357850944080045934933411294302824350892263429321*c_0101_6^9 + 693511062444352216373075237195198116086730384651339568087573/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^8 - 332092919517084096504876351014654578986129169700645750190196/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^7 + 236473553703658290506061398181379054892387698443882814181086/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^6 - 138671010419368869611493282769695349713623470842905314044424/542970\ 07073552832240137804800233882908473052676790287963*c_0101_6^5 + 106822525360533225404757041478906935610349513286865656731477/108594\ 014147105664480275609600467765816946105353580575926*c_0101_6^4 - 15349274239875382741835825970368809530822605569522498708229/5429700\ 7073552832240137804800233882908473052676790287963*c_0101_6^3 + 893070563712308994419649437627049459866264721692013613646/180990023\ 57850944080045934933411294302824350892263429321*c_0101_6^2 - 651351674616691108934597582526103531419660580211118941087/108594014\ 147105664480275609600467765816946105353580575926*c_0101_6 + 78183112712168151238784217512577674123067922093917860539/1085940141\ 47105664480275609600467765816946105353580575926, c_0101_3 + 10384191624598183649437659588971178334258202321504445/131341\ 589377805270499096051069377539370718288635521*c_0101_6^24 + 72047866308609089212092841071808281999295066761930262/1313415893778\ 05270499096051069377539370718288635521*c_0101_6^23 + 278367703650410366597324048090212182105447064276594877/131341589377\ 805270499096051069377539370718288635521*c_0101_6^22 + 1219609791543926303551739977433429586796268273011333703/13134158937\ 7805270499096051069377539370718288635521*c_0101_6^21 + 2159084367655595570170798799058488500230556520556831454/13134158937\ 7805270499096051069377539370718288635521*c_0101_6^20 + 5472753791760882713584226576558450291387423395029144488/13134158937\ 7805270499096051069377539370718288635521*c_0101_6^19 - 73977417497663264387746987064373397399080920394965461/1313415893778\ 05270499096051069377539370718288635521*c_0101_6^18 + 14753867821082965554839527051496983505539832086012201904/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^17 + 1994612701388906325817303061163925984137904167473679843/13134158937\ 7805270499096051069377539370718288635521*c_0101_6^16 + 82509292683290911471340369895750198725158608381418080771/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^15 + 27342940994121820612948765520783852215776958685676044384/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^14 + 155156687882680402886946370399847648983960320230076020164/131341589\ 377805270499096051069377539370718288635521*c_0101_6^13 - 57643958305318532040441483467465162087651761645746496948/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^12 + 138626294676432004735163220150254973370368651414699308267/131341589\ 377805270499096051069377539370718288635521*c_0101_6^11 - 128520383219129913577870675605649689341325992786616101479/131341589\ 377805270499096051069377539370718288635521*c_0101_6^10 + 158280178540285207329332386058655575016310767575871198006/131341589\ 377805270499096051069377539370718288635521*c_0101_6^9 - 112895562954546155048889623781599743738029218266249604151/131341589\ 377805270499096051069377539370718288635521*c_0101_6^8 + 99897430175175334569750737679001163984129832145589382285/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^7 - 75300395736822981523778170757846332122211895141913207821/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^6 + 43652930350434259906472603706869184449155938294754710160/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^5 - 17275921934400939349037244156079021844981167835084479967/1313415893\ 77805270499096051069377539370718288635521*c_0101_6^4 + 4718145437350040294853034312929602343622292051110346297/13134158937\ 7805270499096051069377539370718288635521*c_0101_6^3 - 853055803681793095615758304770844224690095967584536664/131341589377\ 805270499096051069377539370718288635521*c_0101_6^2 + 95859513390576587384645635465177353865879424401496185/1313415893778\ 05270499096051069377539370718288635521*c_0101_6 - 5312693417269907486778598772157676532132276152274252/13134158937780\ 5270499096051069377539370718288635521, c_0101_6^25 + 48/7*c_0101_6^24 + 184/7*c_0101_6^23 + 809/7*c_0101_6^22 + 1397/7*c_0101_6^21 + 3607/7*c_0101_6^20 - 281/7*c_0101_6^19 + 10117/7*c_0101_6^18 + 572/7*c_0101_6^17 + 55929/7*c_0101_6^16 + 14068/7*c_0101_6^15 + 105430/7*c_0101_6^14 - 46071/7*c_0101_6^13 + 101195/7*c_0101_6^12 - 13548*c_0101_6^11 + 117435/7*c_0101_6^10 - 87545/7*c_0101_6^9 + 77311/7*c_0101_6^8 - 58546/7*c_0101_6^7 + 35818/7*c_0101_6^6 - 15639/7*c_0101_6^5 + 713*c_0101_6^4 - 1126/7*c_0101_6^3 + 179/7*c_0101_6^2 - 18/7*c_0101_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB