Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1444399792] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0765 geometric_solution 4.70790086 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388120836605 0.205198893352 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0.598223266053 0.859417903164 1 4 3 3 0132 0132 3012 1230 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281410466997 1.375352062901 2 2 4 1 3012 1230 3201 0132 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 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 1.281410466997 1.375352062901 3 2 5 5 2310 0132 2310 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 0 0 0 1 0 -1 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.360048158546 0.464733216613 6 4 4 6 0132 3201 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304129223356 0.803508445996 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 2.263915897854 0.430640688594 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2667367662644622359305726565155845105134630748358705088068767740073\ 6591/41794255938365322944138551917119495302942456662862410085753052\ 053280*c_0101_6^23 + 2703019293432441283772577824195873665936114820\ 27967054408054344267199793/4179425593836532294413855191711949530294\ 2456662862410085753052053280*c_0101_6^22 - 7955131419338255663535332071467266554552700968219568785805456404541\ 45791/2089712796918266147206927595855974765147122833143120504287652\ 6026640*c_0101_6^21 - 916860147227182676383796733018541521617623443\ 00231443586766007237025149/1306070498073916342004329747409984228216\ 951770714450315179782876665*c_0101_6^20 - 1336387481286677590576250645153556407620976389296985943579152879493\ 69005/7598955625157331444388827621294453691444083029611347288318736\ 73696*c_0101_6^19 + 84244954730647876787086374845183935673544029395\ 83757221388934101861500883/4179425593836532294413855191711949530294\ 245666286241008575305205328*c_0101_6^18 + 2701956344334492133685475445856367752176477512947129101697361486872\ 33392587/4179425593836532294413855191711949530294245666286241008575\ 3052053280*c_0101_6^17 - 115740942153895006412547737767775304357673\ 2222041902139812755685573539976247/41794255938365322944138551917119\ 495302942456662862410085753052053280*c_0101_6^16 - 1340147901430445407528773524177389131821644939063168584737820351022\ 8109339/75989556251573314443888276212944536914440830296113472883187\ 3673696*c_0101_6^15 + 266917489866556743425620668218896780887263737\ 37440281693813307465722965529/2612140996147832684008659494819968456\ 43390354142890063035956575333*c_0101_6^14 - 2732129032385710533386592005197826913612066630312950244635164101825\ 01440161/2089712796918266147206927595855974765147122833143120504287\ 6526026640*c_0101_6^13 - 493337917700696319265124498490636814860995\ 3014603482184051314018544694364297/41794255938365322944138551917119\ 495302942456662862410085753052053280*c_0101_6^12 + 2599490984479583050828909479860844995843791537118373572745595097817\ 82068183/5224281992295665368017318989639936912867807082857801260719\ 131506660*c_0101_6^11 + 5829459404349964592327358695742756258111041\ 93168103567966824535140807098151/4179425593836532294413855191711949\ 5302942456662862410085753052053280*c_0101_6^10 - 3154376776652627898984668802053233178566492529231326868821404037469\ 31327303/4179425593836532294413855191711949530294245666286241008575\ 3052053280*c_0101_6^9 + 3408695698555939123190454513459835257531117\ 88677999101266732731859718763359/8358851187673064588827710383423899\ 060588491332572482017150610410656*c_0101_6^8 - 6487277123899772551001724312324383670994727463607765761157887626277\ 194820/261214099614783268400865949481996845643390354142890063035956\ 575333*c_0101_6^7 - 81881881248010103821989367192102155938032097570\ 9554959304181832920699379011/41794255938365322944138551917119495302\ 942456662862410085753052053280*c_0101_6^6 + 1508625650954222758764297084034837247100452602685224634593225480389\ 21305403/2089712796918266147206927595855974765147122833143120504287\ 6526026640*c_0101_6^5 + 3087922952565632687095116088993391595414678\ 9953944087246301309757274328727/83588511876730645888277103834238990\ 60588491332572482017150610410656*c_0101_6^4 + 7051699318964846111429140320708836701148081585422863794140770584990\ 754487/104485639845913307360346379792798738257356141657156025214382\ 63013320*c_0101_6^3 - 443174607981075783404237184826860329270401493\ 338047122327390711322790947/835885118767306458882771038342389906058\ 8491332572482017150610410656*c_0101_6^2 - 7794609335983422324304881987285140119513856717523009843355649811699\ 18411/4179425593836532294413855191711949530294245666286241008575305\ 2053280*c_0101_6 - 194037819793568772811625031799402994692478368101\ 378087528206613379372627/417942559383653229441385519171194953029424\ 56662862410085753052053280, c_0011_0 - 1, c_0011_1 - 884078392816481565844310441600927578469735860928877750550406\ 632/237467363286166607637150863165451677857627594675354602759960523\ 03*c_0101_6^23 - 89512535179546391252655059188230600488596439650588\ 86697684672106/2374673632861666076371508631654516778576275946753546\ 0275996052303*c_0101_6^22 + 528257955536585448519737933003960990199\ 06341142419992058591190813/2374673632861666076371508631654516778576\ 2759467535460275996052303*c_0101_6^21 + 96924736812142936396545396098149863453995493768850590945086660261/2\ 3746736328616660763715086316545167785762759467535460275996052303*c_\ 0101_6^20 + 2418394303070027284939128169160553817980579809511136890\ 71885121478/2374673632861666076371508631654516778576275946753546027\ 5996052303*c_0101_6^19 - 279553128810549610345099495804585928227442\ 5708633318255959730129025/23746736328616660763715086316545167785762\ 759467535460275996052303*c_0101_6^18 - 8934506321202926461953126806156611864558035911929048409623575369577\ /23746736328616660763715086316545167785762759467535460275996052303*\ c_0101_6^17 + 38486695293621471869839427519124008869567988629567694\ 851517330541246/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^16 + 24221248823762990791231962574552101064\ 211773838824995953980927119223/237467363286166607637150863165451677\ 85762759467535460275996052303*c_0101_6^15 - 1424498842596331149890593012573248668423402028751507379982559696723\ 87/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^14 + 192518012764591870755740825232346182668795707565088\ 02845105191936668/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^13 + 165771638288712081539309066466408782\ 165674807861130675819766626092319/237467363286166607637150863165451\ 67785762759467535460275996052303*c_0101_6^12 - 7176975872168305117880460208059937869523397926971476944415612329458\ 1/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^11 - 2096475937010747576835923687381447911222971608506402\ 2952334519697400/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^10 + 1293669989688008221031285017326209195\ 6509749796569406403485776243374/23746736328616660763715086316545167\ 785762759467535460275996052303*c_0101_6^9 - 5706644951037419669394555374587912358627487285019937468381228251792\ 0/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^8 + 34771077548276810340179904501261290260130408118082438\ 097760118139771/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^7 + 277340559467209424948623088541405092117\ 02772471232643424780215908886/2374673632861666076371508631654516778\ 5762759467535460275996052303*c_0101_6^6 - 1124355673274315177734187895745097172211603563190573930011023695716\ 8/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^5 - 49996101832774523929981122682339534157188668880462455\ 85568066741166/2374673632861666076371508631654516778576275946753546\ 0275996052303*c_0101_6^4 - 6431376544777794111570806931557151111427\ 04131530633261492658371255/2374673632861666076371508631654516778576\ 2759467535460275996052303*c_0101_6^3 + 69444370994205009939342776122016391355830703054596920743903123889/2\ 3746736328616660763715086316545167785762759467535460275996052303*c_\ 0101_6^2 + 49573223236991850560324552504052588706638668985503627288\ 86619471/2374673632861666076371508631654516778576275946753546027599\ 6052303*c_0101_6 - 962896556723767002465334111718569423244489215977\ 5257226067309109/23746736328616660763715086316545167785762759467535\ 460275996052303, c_0011_3 + 193224095084371510294745957046240131476553729255244069189112\ 3256/23746736328616660763715086316545167785762759467535460275996052\ 303*c_0101_6^23 + 1954843657744657868933716072223751622018155128556\ 9872457634380649/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^22 - 1155986420612853798534219228017054689\ 86808440318219379603114206503/2374673632861666076371508631654516778\ 5762759467535460275996052303*c_0101_6^21 - 210784403609258508304085471844829793851956338300933502299144668034/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^20 - 527708076441001751839432009145701784077002153316127624\ 620124288940/237467363286166607637150863165451677857627594675354602\ 75996052303*c_0101_6^19 + 61128381176942082374403495824652943067425\ 03694255157710230545498693/2374673632861666076371508631654516778576\ 2759467535460275996052303*c_0101_6^18 + 1947515984024600943853688961523229767774354162865229184325582759403\ 0/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^17 - 8422903390148054486651294419052988086895001966203825\ 1575978630384866/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^16 - 5214071229985706046642333874230812167\ 2376583888709652591351037698506/23746736328616660763715086316545167\ 785762759467535460275996052303*c_0101_6^15 + 3111448264387201371235127079767363956552257911050847308127991252666\ 65/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^14 - 447900145435264742422897851074367827393871220546107\ 11113780690059929/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^13 - 359722584748456768676174245662587722\ 418879172802750840365299908711104/237467363286166607637150863165451\ 67785762759467535460275996052303*c_0101_6^12 + 1588993703061328873465505197031643766106366281434281293453164129181\ 42/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^11 + 421540787951242783334860974196769106540466691006748\ 78539316048368063/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^10 - 268372486781620342367913116550152360\ 84314493467489857351501699675802/2374673632861666076371508631654516\ 7785762759467535460275996052303*c_0101_6^9 + 1248889121090471614117571750462110218888802227147234959737291012474\ 30/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^8 - 7718096778721249041145857131720890650881243493424628\ 0888509221054721/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^7 - 59202870283351871952879430454684909357\ 248135013084066347018039886294/237467363286166607637150863165451677\ 85762759467535460275996052303*c_0101_6^6 + 2422501267541712378748199654910661308488692960679365214652619989474\ 4/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^5 + 10737535265348683284050308634331878641281266935537443\ 207035854335584/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^4 + 143158107812292923440668578833285512572\ 7657363990993560166812780486/23746736328616660763715086316545167785\ 762759467535460275996052303*c_0101_6^3 - 134011976729388679277796262181315577456448183951962878846002796447/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^2 - 8500258293820997506030756956520610183344322386891177854\ 382936973/237467363286166607637150863165451677857627594675354602759\ 96052303*c_0101_6 - 11258263277056753479576262053781737571930054812\ 382910517488469164/237467363286166607637150863165451677857627594675\ 35460275996052303, c_0011_5 - 236586705856789571390931717841613960874305557386623682327085\ 0066/23746736328616660763715086316545167785762759467535460275996052\ 303*c_0101_6^23 - 2415181533628052486291117841659875611163335458177\ 1563107485007946/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^22 + 1393612498626913875751657142614330478\ 19598678850008579403025928726/2374673632861666076371508631654516778\ 5762759467535460275996052303*c_0101_6^21 + 271130951154822444917614478443679467338221683137259946229881073692/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^20 + 669156072146200284234005722811619969214635926366802251\ 912575959637/237467363286166607637150863165451677857627594675354602\ 75996052303*c_0101_6^19 - 74265943602032297231454681271261641012597\ 80747489973962875881300916/2374673632861666076371508631654516778576\ 2759467535460275996052303*c_0101_6^18 - 2453279377239096996923657828534655331568285754831197119474031248073\ 4/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^17 + 1009812325704820120574420166072991850078835356515560\ 77979748765921916/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^16 + 733708948435220095779799072964862221\ 12850325393905056599873401080867/2374673632861666076371508631654516\ 7785762759467535460275996052303*c_0101_6^15 - 3755614279566903704487219829061030757555901356692574846739965352265\ 23/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^14 + 197427989550618194729748628266803065950390235505295\ 73704507645373728/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^13 + 447080503680050310923993164303627396\ 780005335275329296971173695380028/237467363286166607637150863165451\ 67785762759467535460275996052303*c_0101_6^12 - 1545053548785023233338982799226522475318829297406528201205889210187\ 24/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^11 - 713672949021168475041092020744524114683811891348659\ 30183513765716225/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^10 + 289004704849266770013237755883883648\ 11769071195286681821662773138630/2374673632861666076371508631654516\ 7785762759467535460275996052303*c_0101_6^9 - 1494935106013941468547242742241625355166297087884124068040323971392\ 91/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^8 + 8045009549897876424055183469989410507454301421776505\ 0230519349993861/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^7 + 81636935957121455722558264092898397986\ 835033879005999155799411083575/237467363286166607637150863165451677\ 85762759467535460275996052303*c_0101_6^6 - 2339091543628576182123269028414571535347594004466491721593723247757\ 2/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^5 - 16163894897170586132224889669945925710271003380550188\ 201605344761642/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^4 - 292213546002968918980748250778495151660\ 6323145105856821798004600590/23746736328616660763715086316545167785\ 762759467535460275996052303*c_0101_6^3 + 100418378543413812660860888865237837961919314161038530417115834103/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^2 + 5860513515685581412550159263439206233935777316404428823\ 3959582684/23746736328616660763715086316545167785762759467535460275\ 996052303*c_0101_6 + 7568660612444975890619962533395368284226592623\ 176836608588394778/237467363286166607637150863165451677857627594675\ 35460275996052303, c_0101_0 - 343711549220970761678398107809755053033913394763001805667438\ 3256/23746736328616660763715086316545167785762759467535460275996052\ 303*c_0101_6^23 - 3447163039780369739693833175569541853369724877589\ 1849770869048001/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^22 + 2085514441540724631387322302391081982\ 72498722065743579990692794098/2374673632861666076371508631654516778\ 5762759467535460275996052303*c_0101_6^21 + 355614667858823028170209815872870612544189799075616901064345367006/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^20 + 913700386663323522635174682311629125241843537002147847\ 477539683499/237467363286166607637150863165451677857627594675354602\ 75996052303*c_0101_6^19 - 10943015701946065808419454838561432574440\ 714573665661052110947258335/237467363286166607637150863165451677857\ 62759467535460275996052303*c_0101_6^18 - 3365494494078977197660516842317965384489212518416004934363993027563\ 8/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^17 + 1524554103334891174482153854944800283812559369747690\ 34101833828729986/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^16 + 783559178804980266962809512383345379\ 88141927624552367844547641563888/2374673632861666076371508631654516\ 7785762759467535460275996052303*c_0101_6^15 - 5558226200905085178660321354624970641179797456149374752564138835678\ 98/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^14 + 130909497470456725470565030691933466655883727066124\ 909402684960343811/237467363286166607637150863165451677857627594675\ 35460275996052303*c_0101_6^13 + 61188081520679954141250936378751744\ 8664683284098375226856191702715317/23746736328616660763715086316545\ 167785762759467535460275996052303*c_0101_6^12 - 3328556538116474712668125192786675630756819203035171274143181292255\ 26/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^11 - 273963672226124765984719364385799770598421831921965\ 88025616859353962/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^10 + 405773204814908942454955943557604849\ 57812829504794136274665337375454/2374673632861666076371508631654516\ 7785762759467535460275996052303*c_0101_6^9 - 2269935158492526271736185644061748830392537303140121115731785616312\ 03/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^8 + 1586630009480391255175628511769480509197840772143026\ 89567530525143045/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^7 + 8482699926342806367003723083709344337\ 2480174117294677334166513517715/23746736328616660763715086316545167\ 785762759467535460275996052303*c_0101_6^6 - 4607710288975704148981266698177935383141537537869554319320547320001\ 7/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^5 - 12371703412673914183412319263473312781737946440459082\ 736621443805694/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^4 - 295702046534271157911500957432424204131\ 1789261898504723362662811357/23746736328616660763715086316545167785\ 762759467535460275996052303*c_0101_6^3 + 75208252984789041998030367202934408327678107452462734677226855904/2\ 3746736328616660763715086316545167785762759467535460275996052303*c_\ 0101_6^2 + 16489147287775532572798672733939979118997092718435236958\ 032748260/237467363286166607637150863165451677857627594675354602759\ 96052303*c_0101_6 + 25604772242847200319177119394982530956136183430\ 415059367434254818/237467363286166607637150863165451677857627594675\ 35460275996052303, c_0101_3 - 128625284302724508195141615546064535635018760545615665542961\ 0786/23746736328616660763715086316545167785762759467535460275996052\ 303*c_0101_6^23 - 1327885364008999861734012259612550541333917317323\ 0376700309312474/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^22 + 7426556509617988471181156667466138149\ 0587607992368637081213733472/23746736328616660763715086316545167785\ 762759467535460275996052303*c_0101_6^21 + 156254822907828832546272001500061328730397879213142560129904660812/\ 23746736328616660763715086316545167785762759467535460275996052303*c\ _0101_6^20 + 380036282250605216877817300140624847756133341494991739\ 624027969651/237467363286166607637150863165451677857627594675354602\ 75996052303*c_0101_6^19 - 39968400666435217170388810890975420878363\ 82956411272320247761620218/2374673632861666076371508631654516778576\ 2759467535460275996052303*c_0101_6^18 - 1380587574696375299139884805960320337637593440541833424094423684133\ 1/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^17 + 5340262310548323769570412133346245463872937568752179\ 9553885856954055/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^16 + 4632747530408319106477747277984399809\ 1455184886812207845481972709785/23746736328616660763715086316545167\ 785762759467535460275996052303*c_0101_6^15 - 2001436494653199516818809206162379860321219524757779437138652994638\ 01/2374673632861666076371508631654516778576275946753546027599605230\ 3*c_0101_6^14 - 130020263962107548981204167371293221781367299793593\ 53437116892625916/2374673632861666076371508631654516778576275946753\ 5460275996052303*c_0101_6^13 + 246369760615337864784606722288769098\ 809527578052584112924005002261807/237467363286166607637150863165451\ 67785762759467535460275996052303*c_0101_6^12 - 5668747017849179762400917587705297021606758297177693813726331580109\ 8/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^11 - 5082989251519623981031777674422853211231373305727857\ 3155040366353207/23746736328616660763715086316545167785762759467535\ 460275996052303*c_0101_6^10 + 1270624384653363995617863572297881735\ 2354899438933666685802515676962/23746736328616660763715086316545167\ 785762759467535460275996052303*c_0101_6^9 - 7921952973979261743187630650398910076694715510200112234027517449471\ 8/23746736328616660763715086316545167785762759467535460275996052303\ *c_0101_6^8 + 34150231041167914770457484162210099592143667613087552\ 318827980589592/237467363286166607637150863165451677857627594675354\ 60275996052303*c_0101_6^7 + 501393121213212646107371391480657618532\ 65837845966488209476799207745/2374673632861666076371508631654516778\ 5762759467535460275996052303*c_0101_6^6 - 8225611122617959626567404915004622732770892713011320820142981501097\ /23746736328616660763715086316545167785762759467535460275996052303*\ c_0101_6^5 - 105583091943566538858584452812988044324555017296169930\ 77843362220350/2374673632861666076371508631654516778576275946753546\ 0275996052303*c_0101_6^4 - 2384048386275401491148134625221280956385\ 485266634674025509737144569/237467363286166607637150863165451677857\ 62759467535460275996052303*c_0101_6^3 - 16865652255428241197985303701685345429079571469555933004082364085/2\ 3746736328616660763715086316545167785762759467535460275996052303*c_\ 0101_6^2 + 27240292966487870949618728110165693231509493203078367126\ 085712198/237467363286166607637150863165451677857627594675354602759\ 96052303*c_0101_6 + 38359971164200058655230949896415154492606507380\ 05949920695303842/2374673632861666076371508631654516778576275946753\ 5460275996052303, c_0101_6^24 + 10*c_0101_6^23 - 61*c_0101_6^22 - 102*c_0101_6^21 - 261*c_0101_6^20 + 3195*c_0101_6^19 + 9707*c_0101_6^18 - 44738*c_0101_6^17 - 21814*c_0101_6^16 + 163695*c_0101_6^15 - 41902*c_0101_6^14 - 181841*c_0101_6^13 + 102475*c_0101_6^12 + 11089*c_0101_6^11 - 14406*c_0101_6^10 + 65394*c_0101_6^9 - 47465*c_0101_6^8 - 25341*c_0101_6^7 + 15259*c_0101_6^6 + 4267*c_0101_6^5 + 323*c_0101_6^4 - 229*c_0101_6^3 - 16*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB