Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2084429978] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0788 geometric_solution 4.72945503 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.224684671039 0.138646238702 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 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 2.417115791735 1.897744804235 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 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.393256604867 0.571131940662 2 4 4 5 0132 2310 3201 0132 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 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.219583980044 0.792794372661 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -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 -1 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.219583980044 0.792794372661 6 4 3 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.345761212218 0.784218003824 5 5 6 6 0132 2310 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 1.927606140358 0.575469892947 ==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' : d['c_0101_0'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1218318172910272230076701553308316393855262544407/18608437626163799\ 879288113902389162179449410085*c_0101_6^25 - 1221071891833653947451026488429501521939265456471/18608437626163799\ 879288113902389162179449410085*c_0101_6^24 - 3315294519440639550307027006362883879693266873658/16916761478330727\ 16298919445671742016313582735*c_0101_6^23 + 30438674906580886781447958587060858315574073646011/1860843762616379\ 9879288113902389162179449410085*c_0101_6^22 + 10397398092540974828454361128086666014691779184351/4135208361369733\ 30650846975608648048432209113*c_0101_6^21 - 71564382312327574287450879094366796211151084147543/3721687525232759\ 975857622780477832435889882017*c_0101_6^20 - 99911914007635431403903950844861989384047476334584/5638920492776909\ 05432973148557247338771194245*c_0101_6^19 + 284432088447549339336418322624760374122828072007404/206760418068486\ 6653254234878043240242161045565*c_0101_6^18 + 13685452890473210105897947164375121431309316703111261/1860843762616\ 3799879288113902389162179449410085*c_0101_6^17 - 11862276207313233760199568073293839436591353878051687/1860843762616\ 3799879288113902389162179449410085*c_0101_6^16 - 1242341999391370176492125017054648258231924421609543/68920139356162\ 2217751411626014413414053681855*c_0101_6^15 + 34078657534121656617864832630797667031681506660608427/1860843762616\ 3799879288113902389162179449410085*c_0101_6^14 + 1681070743527130150182264717042911956691933536614787/68920139356162\ 2217751411626014413414053681855*c_0101_6^13 - 53066065683416585798861792603856182445075257726164496/1860843762616\ 3799879288113902389162179449410085*c_0101_6^12 - 31170299263265345454321545090405241939641531003987086/1860843762616\ 3799879288113902389162179449410085*c_0101_6^11 + 11288834304546454955781061105833365981231785898154059/6202812542054\ 599959762704634129720726483136695*c_0101_6^10 + 23060175755371372215256113981695697319599221596165898/1860843762616\ 3799879288113902389162179449410085*c_0101_6^9 - 11440207934568705617406289409599176550468036597215476/1860843762616\ 3799879288113902389162179449410085*c_0101_6^8 - 15323350025659255296118184805883362918522048780083141/1860843762616\ 3799879288113902389162179449410085*c_0101_6^7 + 2165953051369378124599709980381511956064485300497664/18608437626163\ 799879288113902389162179449410085*c_0101_6^6 + 4696839245441430708696500686095498620867888598496199/18608437626163\ 799879288113902389162179449410085*c_0101_6^5 + 46253138835877947602529351684899850340943805544249/1860843762616379\ 9879288113902389162179449410085*c_0101_6^4 - 70446217276852810433105774954756628326628998606858/3721687525232759\ 975857622780477832435889882017*c_0101_6^3 - 1383221098891067152152342708931111752185791314656/16916761478330727\ 16298919445671742016313582735*c_0101_6^2 - 3912714886225284746098721759426078044783013458241/62028125420545999\ 59762704634129720726483136695*c_0101_6 - 4096055959834066190009153054661375671848889983024/18608437626163799\ 879288113902389162179449410085, c_0011_0 - 1, c_0011_2 + 17268777619643171161724919367079984236483375/125309344283931\ 31231843847745716607528248761*c_0101_6^25 - 23479217693336268615971211802419532820082831/1253093442839313123184\ 3847745716607528248761*c_0101_6^24 - 509731597804257271810292161297424200912484656/125309344283931312318\ 43847745716607528248761*c_0101_6^23 + 615157488476618573490146834185532693874556644/125309344283931312318\ 43847745716607528248761*c_0101_6^22 + 6447846857790072262642833214875406960011585764/12530934428393131231\ 843847745716607528248761*c_0101_6^21 - 7416197074265098370715232759553530102540605080/12530934428393131231\ 843847745716607528248761*c_0101_6^20 - 44536214712784553240881180508566496334209471231/1253093442839313123\ 1843847745716607528248761*c_0101_6^19 + 52679547796432042674105139813489861862243096724/1253093442839313123\ 1843847745716607528248761*c_0101_6^18 + 178281682345363654661217295550299393081661490562/125309344283931312\ 31843847745716607528248761*c_0101_6^17 - 235243253460942568080822824129710912378322213929/125309344283931312\ 31843847745716607528248761*c_0101_6^16 - 403916201368857256035289114056794160552804491537/125309344283931312\ 31843847745716607528248761*c_0101_6^15 + 642536322769406822526460142524542777026539389300/125309344283931312\ 31843847745716607528248761*c_0101_6^14 + 442346002126477318571798927378483413378201361021/125309344283931312\ 31843847745716607528248761*c_0101_6^13 - 951586407805308513898979369859884540575721692251/125309344283931312\ 31843847745716607528248761*c_0101_6^12 - 134155838478118775135092145399658795456850815726/125309344283931312\ 31843847745716607528248761*c_0101_6^11 + 588479252880445229130415477755227395614107984756/125309344283931312\ 31843847745716607528248761*c_0101_6^10 + 129170212300508864148345300782901019456987042654/125309344283931312\ 31843847745716607528248761*c_0101_6^9 - 243801342402179174982533302152973047639457320017/125309344283931312\ 31843847745716607528248761*c_0101_6^8 - 142137732009503308139221985482340285407391780921/125309344283931312\ 31843847745716607528248761*c_0101_6^7 + 95509539312692547064002245531993176253152400408/1253093442839313123\ 1843847745716607528248761*c_0101_6^6 + 42942381622721087443360019460872747033809941661/1253093442839313123\ 1843847745716607528248761*c_0101_6^5 - 19678151797768977580641153271746968550975910320/1253093442839313123\ 1843847745716607528248761*c_0101_6^4 - 747896816097303284172185442068150570292239222/125309344283931312318\ 43847745716607528248761*c_0101_6^3 + 837839103606577254448508468618986038245603386/125309344283931312318\ 43847745716607528248761*c_0101_6^2 - 402014935778696102272878403429640876380481895/125309344283931312318\ 43847745716607528248761*c_0101_6 + 44191687524540440613817700490087111323288382/1253093442839313123184\ 3847745716607528248761, c_0011_4 + 12102070817163425356658150969552608150132428/125309344283931\ 31231843847745716607528248761*c_0101_6^25 - 16053863164471513313500597725124001282507696/1253093442839313123184\ 3847745716607528248761*c_0101_6^24 - 358026165131813216185689154759722368711320429/125309344283931312318\ 43847745716607528248761*c_0101_6^23 + 419739555541790758177378841382386043653620674/125309344283931312318\ 43847745716607528248761*c_0101_6^22 + 4540338263239605149597669778101360343992653916/12530934428393131231\ 843847745716607528248761*c_0101_6^21 - 5059852089744781592384643298568571609280133423/12530934428393131231\ 843847745716607528248761*c_0101_6^20 - 31472978719378852429991100388169227354657884866/1253093442839313123\ 1843847745716607528248761*c_0101_6^19 + 36029703955154902247855061011125651553589292735/1253093442839313123\ 1843847745716607528248761*c_0101_6^18 + 126747320713133237058849692153874450357612316275/125309344283931312\ 31843847745716607528248761*c_0101_6^17 - 161716891778037418202292691586463528106622718591/125309344283931312\ 31843847745716607528248761*c_0101_6^16 - 290632755788053845738275160877951585432868194059/125309344283931312\ 31843847745716607528248761*c_0101_6^15 + 445072023387818490264475584285931882279986260025/125309344283931312\ 31843847745716607528248761*c_0101_6^14 + 328672381544715316721754117131638144344639204653/125309344283931312\ 31843847745716607528248761*c_0101_6^13 - 666790105325841512024415173631151988760347746537/125309344283931312\ 31843847745716607528248761*c_0101_6^12 - 117383466310758634580856475690242095179421888261/125309344283931312\ 31843847745716607528248761*c_0101_6^11 + 421585868508513552419849456169977284482043117013/125309344283931312\ 31843847745716607528248761*c_0101_6^10 + 100275796128106646506460526439417065543840381025/125309344283931312\ 31843847745716607528248761*c_0101_6^9 - 171814930277308533720143162499982384372339222417/125309344283931312\ 31843847745716607528248761*c_0101_6^8 - 105888625990895211102995864389084895366338441538/125309344283931312\ 31843847745716607528248761*c_0101_6^7 + 66002661231172593633009029895652046774012390936/1253093442839313123\ 1843847745716607528248761*c_0101_6^6 + 33140825516552295354324183668304966608175814761/1253093442839313123\ 1843847745716607528248761*c_0101_6^5 - 13780923609559708707012243738427731999811898356/1253093442839313123\ 1843847745716607528248761*c_0101_6^4 - 893498929103766635085039449457422276388421514/125309344283931312318\ 43847745716607528248761*c_0101_6^3 + 533431410173262381215427116805265546267931621/125309344283931312318\ 43847745716607528248761*c_0101_6^2 - 287410170213441937852321722621236489801521219/125309344283931312318\ 43847745716607528248761*c_0101_6 + 35972041574038841685520697551655660492994283/1253093442839313123184\ 3847745716607528248761, c_0101_0 + 10089576973485268276654528843717679547984282/125309344283931\ 31231843847745716607528248761*c_0101_6^25 - 14280282869575875889595608997945526293714604/1253093442839313123184\ 3847745716607528248761*c_0101_6^24 - 296775617205647504052768988741383786084844335/125309344283931312318\ 43847745716607528248761*c_0101_6^23 + 375303983631081357642607793236934484167567985/125309344283931312318\ 43847745716607528248761*c_0101_6^22 + 3739568478714634326293325110865552758845184544/12530934428393131231\ 843847745716607528248761*c_0101_6^21 - 4523673324651641426150942959326519543996901611/12530934428393131231\ 843847745716607528248761*c_0101_6^20 - 25690617737250348462208811466377520875024146370/1253093442839313123\ 1843847745716607528248761*c_0101_6^19 + 31995316542281118458498155431716360141682376777/1253093442839313123\ 1843847745716607528248761*c_0101_6^18 + 101912106686261345377170159757668946421142612808/125309344283931312\ 31843847745716607528248761*c_0101_6^17 - 141655161175548209290411422733753379844933967519/125309344283931312\ 31843847745716607528248761*c_0101_6^16 - 226713590660904757569524158861070481343584326618/125309344283931312\ 31843847745716607528248761*c_0101_6^15 + 382069250549997779517346462558044629590075217570/125309344283931312\ 31843847745716607528248761*c_0101_6^14 + 236279887712041325133585948582002850156374164401/125309344283931312\ 31843847745716607528248761*c_0101_6^13 - 555137405365137416728394749861864926900099864009/125309344283931312\ 31843847745716607528248761*c_0101_6^12 - 53273478944757124453331366529171525961055313405/1253093442839313123\ 1843847745716607528248761*c_0101_6^11 + 331008548791026882864009617093648871512010796251/125309344283931312\ 31843847745716607528248761*c_0101_6^10 + 70115025509958432906534696444989561862361775139/1253093442839313123\ 1843847745716607528248761*c_0101_6^9 - 142000546382658608742221465750460575280673101063/125309344283931312\ 31843847745716607528248761*c_0101_6^8 - 78673494644504255044998518237305327644851776915/1253093442839313123\ 1843847745716607528248761*c_0101_6^7 + 55920768972989624329416754851626289258871804245/1253093442839313123\ 1843847745716607528248761*c_0101_6^6 + 23116151794549334519024355418428816693400443110/1253093442839313123\ 1843847745716607528248761*c_0101_6^5 - 10440042333161926406811177216192439407219183204/1253093442839313123\ 1843847745716607528248761*c_0101_6^4 - 619628525259170072062284669128552410667549765/125309344283931312318\ 43847745716607528248761*c_0101_6^3 + 341587443636182663915008830100184271797351600/125309344283931312318\ 43847745716607528248761*c_0101_6^2 - 211604288635081762019913879152693227613415416/125309344283931312318\ 43847745716607528248761*c_0101_6 + 25956428957714952888751457467896780354464866/1253093442839313123184\ 3847745716607528248761, c_0101_1 + 11146319711482104633825360336833059197078773/125309344283931\ 31231843847745716607528248761*c_0101_6^25 - 14309725830350532587955575433110273570083653/1253093442839313123184\ 3847745716607528248761*c_0101_6^24 - 329822789346500570674369148996837372472824972/125309344283931312318\ 43847745716607528248761*c_0101_6^23 + 371787831492007604623113425666417321569468127/125309344283931312318\ 43847745716607528248761*c_0101_6^22 + 4181835276211075654016708094255036495494203367/12530934428393131231\ 843847745716607528248761*c_0101_6^21 - 4463292069507019923359335837388692135713275784/12530934428393131231\ 843847745716607528248761*c_0101_6^20 - 28980062362954116057916925554547489728661317735/1253093442839313123\ 1843847745716607528248761*c_0101_6^19 + 31729497681426702503425533505696336408320013759/1253093442839313123\ 1843847745716607528248761*c_0101_6^18 + 116744625598045633079567932140836419767430220676/125309344283931312\ 31843847745716607528248761*c_0101_6^17 - 142447686556387896136810423878603757217175764612/125309344283931312\ 31843847745716607528248761*c_0101_6^16 - 268479336065610091266780309365936481621430655260/125309344283931312\ 31843847745716607528248761*c_0101_6^15 + 391865823749227050845981125041515559450081209205/125309344283931312\ 31843847745716607528248761*c_0101_6^14 + 307853499328586598554877207922619821606242500342/125309344283931312\ 31843847745716607528248761*c_0101_6^13 - 583672818874465856703657555763337767152337565811/125309344283931312\ 31843847745716607528248761*c_0101_6^12 - 121000779322798541069220135282432557274477041538/125309344283931312\ 31843847745716607528248761*c_0101_6^11 + 359635732415126105368881837542867959386149730545/125309344283931312\ 31843847745716607528248761*c_0101_6^10 + 104076716413280830448010724143300169478916927418/125309344283931312\ 31843847745716607528248761*c_0101_6^9 - 142914231456935333273045585948381654219652401059/125309344283931312\ 31843847745716607528248761*c_0101_6^8 - 97775539220951812961314126479920705803238351815/1253093442839313123\ 1843847745716607528248761*c_0101_6^7 + 52305122766636999182274113591346462027312684799/1253093442839313123\ 1843847745716607528248761*c_0101_6^6 + 28627139435267709380950187789720339059727693677/1253093442839313123\ 1843847745716607528248761*c_0101_6^5 - 10269407877544018237646458672083691408085556717/1253093442839313123\ 1843847745716607528248761*c_0101_6^4 - 475261367885356751912265729724185915080941160/125309344283931312318\ 43847745716607528248761*c_0101_6^3 + 524910628821069520528162123622011576270014007/125309344283931312318\ 43847745716607528248761*c_0101_6^2 - 225271828827132192499169327417341222700386575/125309344283931312318\ 43847745716607528248761*c_0101_6 + 16284989759888420483946321836049598682737989/1253093442839313123184\ 3847745716607528248761, c_0101_3 + 11902696844119745292228529336710425759015445/125309344283931\ 31231843847745716607528248761*c_0101_6^25 - 16231964380265337750904306676182565629300773/1253093442839313123184\ 3847745716607528248761*c_0101_6^24 - 351261746219139305753284943500441664865092434/125309344283931312318\ 43847745716607528248761*c_0101_6^23 + 425426398678734468104135233722436829881675259/125309344283931312318\ 43847745716607528248761*c_0101_6^22 + 4442190702030747832888516616665253279284656979/12530934428393131231\ 843847745716607528248761*c_0101_6^21 - 5129483243852810622563459932592772028868247338/12530934428393131231\ 843847745716607528248761*c_0101_6^20 - 30671683259484205196665051600567903371368581589/1253093442839313123\ 1843847745716607528248761*c_0101_6^19 + 36430695813541861567060670556579363711757862200/1253093442839313123\ 1843847745716607528248761*c_0101_6^18 + 122699549348564168078947187588726961418814368426/125309344283931312\ 31843847745716607528248761*c_0101_6^17 - 162611056161426098246724137386320519237288951229/125309344283931312\ 31843847745716607528248761*c_0101_6^16 - 277581181786635786067254827768992944998527922564/125309344283931312\ 31843847745716607528248761*c_0101_6^15 + 443843830523643915008784081280561625647908399810/125309344283931312\ 31843847745716607528248761*c_0101_6^14 + 302640726883290282529185635360483003413072726039/125309344283931312\ 31843847745716607528248761*c_0101_6^13 - 656609638177617579983469667952762547469672855889/125309344283931312\ 31843847745716607528248761*c_0101_6^12 - 89112987483450926171440526130341423607138160286/1253093442839313123\ 1843847745716607528248761*c_0101_6^11 + 405005366766145443866383964004844107539009344765/125309344283931312\ 31843847745716607528248761*c_0101_6^10 + 86926269044563206253700668561446464745039928309/1253093442839313123\ 1843847745716607528248761*c_0101_6^9 - 167486257608209948307226819295806567196700982124/125309344283931312\ 31843847745716607528248761*c_0101_6^8 - 97202609209606129669130702549268197468287670784/1253093442839313123\ 1843847745716607528248761*c_0101_6^7 + 65924819004420897732879926611719966060563590287/1253093442839313123\ 1843847745716607528248761*c_0101_6^6 + 29165471259823997708790101564089581653669001061/1253093442839313123\ 1843847745716607528248761*c_0101_6^5 - 13559472107155059496670724078455592831031075833/1253093442839313123\ 1843847745716607528248761*c_0101_6^4 - 379935441770780092876567954350494924289025961/125309344283931312318\ 43847745716607528248761*c_0101_6^3 + 542523918955735812113244130410197268623463001/125309344283931312318\ 43847745716607528248761*c_0101_6^2 - 284692733739999765001587485496755252875551795/125309344283931312318\ 43847745716607528248761*c_0101_6 + 33782847286806152755482446630826950117387363/1253093442839313123184\ 3847745716607528248761, c_0101_6^26 - c_0101_6^25 - 30*c_0101_6^24 + 25*c_0101_6^23 + 386*c_0101_6^22 - 295*c_0101_6^21 - 2731*c_0101_6^20 + 2121*c_0101_6^19 + 11404*c_0101_6^18 - 9895*c_0101_6^17 - 28220*c_0101_6^16 + 28730*c_0101_6^15 + 38834*c_0101_6^14 - 45709*c_0101_6^13 - 27384*c_0101_6^12 + 31015*c_0101_6^11 + 19621*c_0101_6^10 - 11280*c_0101_6^9 - 13214*c_0101_6^8 + 2521*c_0101_6^7 + 4416*c_0101_6^6 - 234*c_0101_6^5 - 441*c_0101_6^4 + 32*c_0101_6^3 - 5*c_0101_6^2 - 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB