Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 223121873] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0857 geometric_solution 4.76895527 oriented_manifold CS_known 0.0000000000000005 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.388288856989 0.216961146693 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.649074063800 0.879686319707 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.284386385645 1.304129529505 2 2 4 1 3012 1230 0132 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.284386385645 1.304129529505 5 2 5 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.688041452959 0.950440663731 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370875700122 0.169623589790 6 5 6 5 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.530018609268 0.333282562527 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_0101_4']), '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_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1325587499199769710576143486512956860269217630880400400625895492485\ 2606121741117443079965555/25491302559830244484425798610615824952557\ 0518731377682054321386339320669732543105146518432*c_0101_4^28 + 1953110142910729632358942846458700767899783383255411544340180976576\ 80923298588947468107252013/2549130255983024448442579861061582495255\ 70518731377682054321386339320669732543105146518432*c_0101_4^27 + 2263696467581406496522395014302970696416192266388301731544993560513\ 43462848589201873318337119/2549130255983024448442579861061582495255\ 70518731377682054321386339320669732543105146518432*c_0101_4^26 - 2821708950351508266649771966301366648055457765830852053903284669048\ 64206978120776453326117107/1593206409989390280276612413163489059534\ 8157420711105128395086646207541858283944071657402*c_0101_4^25 - 3395399848763149150769967606271259337613254153574378398456166912523\ 415559218600226187827424171/849710085327674816147526620353860831751\ 90172910459227351440462113106889910847701715506144*c_0101_4^24 + 3062582566172493147249421360262079454297120968630138772468571293487\ 0048784749567581180827592219/25491302559830244484425798610615824952\ 5570518731377682054321386339320669732543105146518432*c_0101_4^23 + 1993737027773221334410730876916543227466392121804176532193834318277\ 25178537259459052111849872111/2549130255983024448442579861061582495\ 25570518731377682054321386339320669732543105146518432*c_0101_4^22 - 7504035956334029378301722245032242193046718010852702138062865757530\ 4046381783631394466559258937/63728256399575611211064496526539562381\ 392629682844420513580346584830167433135776286629608*c_0101_4^21 - 1146429804838427049248973291475242105117980565346533450646146240474\ 80959496480963382053117093551/2832366951092249387158422067846202772\ 5063390970153075783813487371035629970282567238502048*c_0101_4^20 + 8599978221159096396958377899121468119775893459909724922013764387353\ 41069274567491559455489324941/2549130255983024448442579861061582495\ 25570518731377682054321386339320669732543105146518432*c_0101_4^19 + 5581739033482301575956152559604166785244149010095162489197653584169\ 81813904370170388648145405609/3641614651404320640632256944373689278\ 9367216961625383150617340905617238533220443592359776*c_0101_4^18 - 3045397710656369561801693818883985347500908119725020234007247241464\ 976588130615785570780128635/303467887617026720052688078697807439911\ 3934746802115262551445075468103211101703632696648*c_0101_4^17 - 7250373521273253484835748539421977993765284212559346171253400537042\ 458667755483200140210936697261/127456512799151222422128993053079124\ 762785259365688841027160693169660334866271552573259216*c_0101_4^16 + 1163860594167753240251959327060625578366389419966079947803079817128\ 11809408435937722825486019411/7080917377730623467896055169615506931\ 265847742538268945953371842758907492570641809625512*c_0101_4^15 + 2491727275244855403269527127036860434614966389724640603308472108970\ 398163488760654549183640586007/212427521331918704036881655088465207\ 93797543227614806837860115528276722477711925428876536*c_0101_4^14 - 2300743119950142150467150017304309965246818576492262253710626191165\ 7989789880940069100064357829117/25491302559830244484425798610615824\ 9525570518731377682054321386339320669732543105146518432*c_0101_4^13 - 37206269935760880686181144925893280618634600495586260377291424954\ 52497309349436106826255797072023/4248550426638374080737633101769304\ 1587595086455229613675720231056553444955423850857753072*c_0101_4^12 + 30519075085414391959245362571993753019318897736983700152167192638\ 006605863311581871842149304408693/254913025598302444844257986106158\ 249525570518731377682054321386339320669732543105146518432*c_0101_4^\ 11 - 27886283589242968870717910597306316505961559901344822068474963\ 6305540440941273810632246803445123/25491302559830244484425798610615\ 8249525570518731377682054321386339320669732543105146518432*c_0101_4\ ^10 - 3168847498319443626925137039640640495419896004354014694052862\ 56887554597354744430551704162019177/7080917377730623467896055169615\ 506931265847742538268945953371842758907492570641809625512*c_0101_4^\ 9 + 155711295747464098364037206877933891541241154395027640067541533\ 525966590086082105236095340401721/182080732570216032031612847218684\ 46394683608480812691575308670452808619266610221796179888*c_0101_4^8 + 13112619059301152752202411100797066178142160226783951536254696919\ 58826509543711594465069152963429/2549130255983024448442579861061582\ 49525570518731377682054321386339320669732543105146518432*c_0101_4^7 + 25816728742039562941977001255742187538158290524905041276436550838\ 940846085793570733984138037343/141618347554612469357921103392310138\ 62531695485076537891906743685517814985141283619251024*c_0101_4^6 - 2298803160229279546360161904225225104830452608166106387039339309222\ 96885300361189492313786164299/1274565127991512224221289930530791247\ 62785259365688841027160693169660334866271552573259216*c_0101_4^5 + 3117072570934483740353738781233562169262351324369272917942160922650\ 591658172767282177817605837/254913025598302444844257986106158249525\ 570518731377682054321386339320669732543105146518432*c_0101_4^4 + 7098548206410332897255727848516221339137494346189537610701139532258\ 2873320518791548662852659/10621376066595935201844082754423260396898\ 771613807403418930057764138361238855962714438268*c_0101_4^3 + 4234738078797048802836415567996924629523240855013825498550640932316\ 850222667805242024076182551/849710085327674816147526620353860831751\ 90172910459227351440462113106889910847701715506144*c_0101_4^2 + 3285046120107928013514471028681243846579933040539818074142947473726\ 0672559590598564945907859/12138715504681068802107523147912297596455\ 738987208461050205780301872412844406814530786592*c_0101_4 - 8244282323848217743124911702700001539106385247419797408038591301642\ 63348647406263160956508061/2549130255983024448442579861061582495255\ 70518731377682054321386339320669732543105146518432, c_0011_0 - 1, c_0011_1 - 662958562388549124937464867189258827805057212273640228086532\ 8981149605435252641016527/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^28 - 9800548936665428256162119317020612491237776141263594892028182511767\ 6620447162644253310/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^27 - 1179385144647107303554371062822266172453889016781543323960819705187\ 48531711096645844854/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^26 + 2253465193157236215357830743092502066934397493557109865809697814298\ 880121666940756116810/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^25 + 5206844212879047176617010414901516745971872842626719085553750124186\ 480491208774442725888/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^24 - 1509078930418907017648741617333259396560840719259776427046528816143\ 5576648696407896784684/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^23 - 1005264292736296312473573780739883314219752845119587680558578341135\ 84824173846042085749857/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^22 + 1453679596703980042691645873200437071479342421384600565314644245459\ 10460442585037724064033/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^21 + 5245250095053150042767908032352131526216995103474708971777137977861\ 37911051059217311214138/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^20 - 4060945064315172934460364176798247545418756090829257653723521694650\ 87757591874446024662699/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^19 - 1981059126083460324974076407239631423088362976397999268307329444829\ 245100725509929231330632/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^18 + 3495305605464419517910986419080404937494218674297591636564003443754\ 2885329743905039366395/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^17 + 7279708268334905765380735354206534485977968429942841684949200209966\ 498124297926135721934486/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^16 - 1734683586498608330043727438131845679183334028799016139537197361073\ 400898028843041662380525/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^15 - 1513193444022828411106356970558567792539826292029472056194376112616\ 5778156161624500505634726/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^14 + 1077713192141042571741270967855223899160718976343646653059191214095\ 6545982513836056017386747/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^13 + 1188268101425605183871820467328449118265310387265991805365604430655\ 9562147922482893166951619/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^12 - 1480359207941692514068685618368695318295137285074466402939021590658\ 2442860096450233542233569/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^11 - 7286034553224360009319720928124504756093570383406603710794199032581\ 58547382647891592847708/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^10 + 5838129605908278221599244273595480562532184370686909750823792178910\ 300408749939213940761894/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^9 - 8018710462930166378072967894665276570485926445192153772345981747428\ 08696089900943839837464/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^8 - 7510329554958356964922227578569971929793105090572484078622990677168\ 89939667345199626332229/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^7 - 2595259690457414196932456495042873054047430714888472112315201659946\ 53837920410790625992965/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^6 + 2205016098666758196033631993021946874447283225031534909175559150703\ 51911880857174502830226/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^5 + 1265538172272912144879154094147212978851273264475443708701114411281\ 3600357861221744886190/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^4 - 2359036590949804937772926127712312349630240434774823342291522273011\ 080241824968495914535/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^3 - 6091879926989533026636048243991955338758066868218789455905014897579\ 997001613854291869961/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^2 - 7780577604714258798529000835252935164493125662701099637054069451253\ 02725578387389419045/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4 + 3848063232333807413051416410041880050847989831838512798143325882834\ 91827833753458444409/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027, c_0011_3 - 188772649970362307396837192163227096094568695462095556400295\ 0289482233656832996348550/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^28 - 2803936087897168310562803589575233003654371258482886196942774886329\ 7381791422141770751/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^27 - 3547340197662487955917750741243950379513624831403164013632838444856\ 1802273430588075815/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^26 + 6404661549185944024659725061752946124764705503921947326093276893862\ 27476865549089838716/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^25 + 1530175319038627009324899066198665642178979855452043466346771559143\ 855234725725533448635/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^24 - 4216131524054160162593928045098187808330748293017711756306794267662\ 787805029058749671761/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^23 - 2900690276864898996045205898850018441863659549867902763269967886475\ 8781602958072420305671/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^22 + 3947968688180546194930937790554874277084174161848318087224213294667\ 0498082288122648166542/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^21 + 1535115553009629206659222011377308937709631261314256231807302002861\ 50948407005108522784009/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^20 - 1056799580844115940889618792475438311513249168759081127391532770752\ 54964255084819957302011/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^19 - 5788582794107818752110305547674322724805527759329844581248811903049\ 81496221266848021900411/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^18 - 3092207082878860499462348757102296252551355338838224836083535230653\ 7037424952591479193753/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^17 + 2095924149329539858070311829993746545610859101464133485876795492420\ 038470826397168522317183/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^16 - 3284746717184821399133006773111695064572820322632821020751731813425\ 27371278517764499020562/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^15 - 4412020160983506731509705949461422307626569965043418148326567440865\ 870961460811891191338180/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^14 + 2721810465444694413273307826641224446201261175318773409941333632316\ 799868284479472028811805/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^13 + 3742701387466456452694751738675604363800286450713036691248622383515\ 292046500381215147003741/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^12 - 3967483326063022490756428296120794003806999663248632837193831665413\ 251477064203586838683201/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^11 - 6507413033205983599798672152975857618226595857947408889713158257970\ 47425688085264265506268/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^10 + 1686862342301668134560500220695351988244519664195536107214509701878\ 135676255831532757596193/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^9 - 4948099731791070762460402154830369346562965891367533432026141768075\ 5144306454920390052745/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^8 - 2483973784125914423752611740670372084189147214067609882128664885241\ 31057286337127697696958/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^7 - 1028419933533558928673936911982889074863079535503680606180578697358\ 52407509738886710785053/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^6 + 5657552352424501466994866253445588157251613028692817363796204997195\ 8967322141712245700849/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^5 + 1112766746436345068618676928534033004928738233921097087503384611191\ 5762449160566993686181/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^4 + 1870350097605353651515710682279980302437169054985903975616134860988\ 88345058052090418725/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^3 - 1837508181284209570495194080841676216070327777099114373730689918398\ 146474070696444704707/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^2 - 4164474310640696444302737351517216093217140797720405692801520054145\ 45342860974939433347/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4 + 1187841380431033290235492628862530054365419727721427164846710212376\ 28276403840553505345/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027, c_0011_6 + 387758007775261440595861304120157323442109504871365645937507\ 2753689096587060866748394/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^28 + 5747026265423792574154056807582158691032999413600252344094826210629\ 1863787589868501179/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^27 + 7121202747092194461851776123459658571962311323345734937699691145101\ 4878027115425088173/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^26 - 1314689592280947413583844784960671048876797508881581725767108083154\ 110392695300582188920/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^25 - 3094357893590543706001358467490546704831737626882147146263366261653\ 497758010099189152121/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^24 + 8695709152711286288835318032490875349328816449752487709687102548279\ 632612005876794828900/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^23 + 5908711878680674111350281617263078428227462756744415830153727583838\ 2165977669329111599175/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^22 - 8271142521911837935684378939818465029845274946550344973573890308506\ 3478616663997902990451/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^21 - 3092859470991761575869136924803728591063544211027450273102660366467\ 97531025423162165539648/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^20 + 2253427180502519270925138260751556116253628758373399527136215405949\ 81318328266463846588548/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^19 + 1163811382124187975511650229514325624341151941983687395417254008928\ 772670877989003108639507/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^18 + 2376193776616366773669655625856973571254562024082779857938517860425\ 2538666893736710251167/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^17 - 4244999086666927115628153427126402482436970633823477120661713337446\ 521843236862142905643784/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^16 + 8615869750641016523602028560298426432851187228761216812111725791854\ 87283415283299178124082/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^15 + 8845723120576928618765979369741075504047605156632573016087250886541\ 300037935119276632812212/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^14 - 5984208148587374137316035061358917962849393959315880743265193206085\ 675153713353291637449278/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^13 - 7099705217503823554443879154527842971743698454659421357297303666775\ 784314193229664349254321/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^12 + 8381943703464345175929257573339229095858774528725121658794762986339\ 509688060195432147871832/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^11 + 6690830675713949664329325002365978522116976514244424955856657120379\ 01497145075225302658581/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^10 - 3358177324867142326491216306488598028166245504856779991107514962653\ 460482392503962540952423/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^9 + 3691188140062591161829553500337554417730221094965800018837933375615\ 87945483868832872932624/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^8 + 4408716817678059940829373267482667212305085831286375796212756490424\ 41155962433580545667318/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^7 + 1624731993037293627847007313906308356675308015330183922340633272078\ 82846922962462826332642/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^6 - 1234482596038524357336026127004504169817467834204090176008831267902\ 12902215016823013949086/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^5 - 9650273304253181633956326754458847819700738300136577891701902897542\ 112423677769105939343/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^4 + 1095944240202060236992073879397744178628421564899740743013384791744\ 756478083195905476912/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^3 + 3321501305500792210890316699033649581803884869635415986921789208199\ 198439649710912064478/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^2 + 5667930766445867953780180436086960636853413411460470129095303569007\ 51089921591274588833/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4 - 2174060412799318751765674786860386766102203436657502911462939543684\ 00414883852242867177/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027, c_0101_0 + 100353101545289981500712946295371800729302601902387462959795\ 42831500389002317679504844/1264449531737611333552866994574197666297\ 47281116754802606310211477837633795904318029027*c_0101_4^28 + 1489133653381774121706563567946099191210484669818924388018733645634\ 63173819417571790173/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^27 + 1872231724794451311863093133783687176878338722799083347735958762658\ 17944994631799028084/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^26 - 3394825292962905731336880251477520700456780590113093041667899133196\ 622990052956410780196/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^25 - 8060428580427438331940327460366260655915433463614663726639182618900\ 622227632862861149254/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^24 + 2227407603401051376687299896957279501216518551492302385199576018432\ 2059765516297588685895/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^23 + 1530332358162488373411729115164709484897995842677383051050331435681\ 63364762388417153937763/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^22 - 2109334415138744558937878410865500174835924796143035277985169444230\ 52441920839869756432319/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^21 - 7997252045095725619158796430743531701507935767254277015095717731105\ 96019803401331529496694/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^20 + 5663012665427846609877481633936705693626506395642797578889522798903\ 87779136470961354851365/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^19 + 2998771919053565682975697018265518589345295225905368925187715055747\ 878598563450933680213494/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^18 + 1140527618308617335799542318610710405562659923196839314199231612140\ 48744747464939760553019/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^17 - 1090526793003309077810066896324009354108987621485658699678514263162\ 4463249563287860002149157/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^16 + 2092795646620862432112741767210007159030396323322682717156216919567\ 910460066992573185720216/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^15 + 2267922757852955614459420746093491615656982147827765162243647769037\ 6303182232911765963730294/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^14 - 1518887217761118424396200989647806882122164971535243937272239338243\ 6936657523968652733574739/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^13 - 1812243509920564558304098191205510586065627983965846540500959306782\ 8909725817503471227489129/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^12 + 2129010259407293203265447944264151799064264208963081459669547996854\ 3867385566064087190415013/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^11 + 1615830200164245611050282770771247914157256170055574829470402358463\ 987407489148702070832512/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^10 - 8413993241205708597185353626782209497676152314020420814891702277994\ 009994801434251350976121/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^9 + 9712802350344393376391668884551597750851091530154117420243889091321\ 10824911852109844200575/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^8 + 1054924145957046391260074067685795610011536629276242848399598658778\ 258621952011892993038539/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^7 + 4054732213232397369662215446233737666045922843707826837631769857022\ 18239611589536902447117/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^6 - 3050347527758962613061566713460298644609464277480077551026758956414\ 66649839396322628334171/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^5 - 1612588160361774224587558188121546911247917540498209521735563382730\ 1461484966222230745632/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^4 + 6608562780091053720700780721216392089410444320520114281819651167163\ 67761189205366372825/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^3 + 8029008939309097219461288113565824387562047848496877647584597814118\ 686450702049186394861/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^2 + 1057169874874487590413354318216658422286844041320083763307188537613\ 411252903028858559915/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4 - 5383308718797082577186780507486456242484610813740847605323559670701\ 15732532378913436362/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027, c_0101_3 - 508345644598823199811822093225084474965982560621842025662935\ 3877450747112060969776766/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^28 - 7525044298254748172989532188808597523626137306906551571426058114423\ 4048746689108717021/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^27 - 9202145144790436374783930207925332091716448014609209479930850597590\ 9652282804014670704/12644495317376113335528669945741976662974728111\ 6754802606310211477837633795904318029027*c_0101_4^26 + 1724763554647796286864079238855114988568101978446542215482705034422\ 643288752885697576976/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^25 + 4024725029905461998319867743124340508545430143532199772603001951386\ 870783547157002579836/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^24 - 1146301294278482827661235084441502274915758729746959543708203482533\ 6095860980411947372917/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^23 - 7722904856298624791550314175764507924231735345377813363387058289054\ 0456928827265285558893/12644495317376113335528669945741976662974728\ 1116754802606310211477837633795904318029027*c_0101_4^22 + 1097729359921263262334861629952739231181179486106764341563444265308\ 92530814174368867231715/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^21 + 4030138671999300896766384393056503440376466482669499220726577442885\ 16018173410363873672063/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^20 - 3021651202715451142398006174427304896362453571951037962925514560396\ 92284878999492785135996/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^19 - 1517816880662032808026498537364678682608456309672647147653122130445\ 112744493522211552584743/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^18 - 5024178130550456388168101317888504217710178758921475111778892139892\ 269290134898447723504/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^17 + 5556184233381641972255516567202180499599869677334515375542428879750\ 415513625110732721506409/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^16 - 1231559638519666016046263710675421178021347909793576745923665249699\ 602816741154276471464803/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^15 - 1154194699998647321110820690349349474262060674412992310898939322733\ 1968067026601268292593329/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^14 + 8051331344408937227586435119534214205763378721205485127245266241381\ 267773649917139844514406/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^13 + 9092852889862900148605773605583696779821770709010983284001102491167\ 421584175134245999881586/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^12 - 1111385787701836394761636005612355348571046412168736766806635216401\ 0832068838815239234716728/12644495317376113335528669945741976662974\ 7281116754802606310211477837633795904318029027*c_0101_4^11 - 6145505676683791978947590291736075058205813937758712423052047573892\ 33903269223262297469155/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^10 + 4352039848193005800237687745399620804644576732028299452740227439686\ 199668241430377150822281/126444953173761133355286699457419766629747\ 281116754802606310211477837633795904318029027*c_0101_4^9 - 5769994226900942736916549196252814636557803635518137997126693216220\ 63174394446480244613717/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^8 - 5373157367236526902125869072614569804919560574944053795571243292676\ 66908934101598579136088/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^7 - 2038721070626644870172668270541652632885166020431133389968013741825\ 78562507182340066588615/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^6 + 1588724280690277776411847596708447415389183443166267488732559154364\ 60096058407948785876421/1264449531737611333552866994574197666297472\ 81116754802606310211477837633795904318029027*c_0101_4^5 + 9816353105458983303181260625904659262640315929058558444313504743714\ 342174039328668625103/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^4 - 4420961145758184544807082740494274792516179287199895235926143987614\ 67027452880716249303/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4^3 - 4617606643288521289205574827449123149536778918247027872059737706212\ 325074077403062168943/126444953173761133355286699457419766629747281\ 116754802606310211477837633795904318029027*c_0101_4^2 - 7292457201857372795142970442196630560610022157002944209545503311994\ 75880161536522389822/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027*c_0101_4 + 2971592848481155985560050874672565435088295957011634886219891682652\ 55902762788786791617/1264449531737611333552866994574197666297472811\ 16754802606310211477837633795904318029027, c_0101_4^29 + 15*c_0101_4^28 + 21*c_0101_4^27 - 336*c_0101_4^26 - 859*c_0101_4^25 + 2105*c_0101_4^24 + 15653*c_0101_4^23 - 18636*c_0101_4^22 - 83821*c_0101_4^21 + 44111*c_0101_4^20 + 311813*c_0101_4^19 + 59276*c_0101_4^18 - 1098302*c_0101_4^17 + 25028*c_0101_4^16 + 2337036*c_0101_4^15 - 1134719*c_0101_4^14 - 2140366*c_0101_4^13 + 1849751*c_0101_4^12 + 587807*c_0101_4^11 - 860332*c_0101_4^10 - 65206*c_0101_4^9 + 140663*c_0101_4^8 + 62090*c_0101_4^7 - 25202*c_0101_4^6 - 8961*c_0101_4^5 + 104*c_0101_4^4 + 999*c_0101_4^3 + 309*c_0101_4^2 - 47*c_0101_4 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB