Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 3431813155] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0723 geometric_solution 4.67304077 oriented_manifold CS_known -0.0000000000000000 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.508004603217 0.044344874501 2 0 2 0 0132 2310 1023 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.538395610730 0.126189283634 1 3 1 3 0132 0132 1023 2310 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 -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.106229412178 2.231957686590 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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.106237853663 1.027969824043 6 5 3 5 0132 1023 0132 3012 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 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.450913524385 1.089671858825 4 6 4 3 1023 3201 1230 0132 0 0 0 0 0 0 -1 1 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 0.450913524385 1.089671858825 4 6 5 6 0132 2310 2310 3201 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 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.324233124516 0.783537623907 ==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_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2024133847362086050193982346697076384680625204100600679240138343087\ 792832109517609630/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^30 + 1018131895465775128674105387341623029853863010457356084262817081625\ 0473413683646206758/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^29 - 9274557828900845241070232532303535957836302901556923498469636687610\ 1662157749895092115/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^28 - 6056681756215557157345872183520813804186713688262791836206137380444\ 65883281697094121593/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^27 + 2017996691375412697646526357668585661070993991522494108848971594357\ 11907920482802279603/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^26 + 7088763961647092648518402413536399751445951437390835699704408339840\ 480343173922141905152/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^25 + 1072246973688783345887801593125907774334172057137035070910610689329\ 2052755482935218160417/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^24 - 3279825438488667691202552534604642251954585268602565921443389913599\ 1926888524606426958993/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^23 - 9510205515545203871168931838395360655769939022831739944085607091177\ 7862072001058582430705/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^22 + 9707436273406066810765887847531009138117313798444058126761112191118\ 3329396237873373671403/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^21 + 4034560316129659122611163121046113645138916586253373646906252646213\ 62408391184713199973224/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^20 - 2202630123309310709400671988771222685215844001751252173872785054067\ 51116301583854250923764/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^19 - 1013228489440840526805341133392898881427619538692549396035036461377\ 390584556223074575547046/258240033359420654922914889810945607212571\ 0765674669209161137141266184262887832369*c_0101_6^18 + 2736470876677223229831229677968051869065623279302550493507466676385\ 30419521818525842459820/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^17 + 1647955693314361543293010419660621393446105510359726736296198367128\ 299831988669689581688935/258240033359420654922914889810945607212571\ 0765674669209161137141266184262887832369*c_0101_6^16 + 6831478655418598134666247297474022280977224114402173296291716384501\ 5821729985755618383983/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^15 - 1985044495522279307122730277945329629054550840472630228483002179714\ 632988744092929825058152/258240033359420654922914889810945607212571\ 0765674669209161137141266184262887832369*c_0101_6^14 - 4082641213606927372521299281105897565601883230805248174410665435969\ 82573240053839980753923/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^13 + 1691539969800396408646816985469952170618340430081103903564487445776\ 666401725626445654003145/258240033359420654922914889810945607212571\ 0765674669209161137141266184262887832369*c_0101_6^12 + 2505524957719860030895532112227459722537895194268579829208433326281\ 94081467293579624899255/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^11 - 8983383385015953852386699928706277296351570019753689644117518906879\ 03590051636995658751258/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^10 + 1270858164600515860553338801005705330290360566828320733609088750812\ 5082245872208177231661/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^9 + 2626165441760145279717411139883158703562242679636484829026742586479\ 30634232726359015400272/2582400333594206549229148898109456072125710\ 765674669209161137141266184262887832369*c_0101_6^8 - 5625713335758963933190003184959895354186834553522961020037004244819\ 4606028968047315163666/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^7 - 3482384260600166705908483184889860049582249847339295939810321160344\ 6590036822766209448868/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^6 + 1815685076699336287618933633147798845880386795120045157314376332045\ 2154718408815282434272/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^5 + 9943541243117525207592060314884175289058861635403779034188354805674\ 42995727920817653148/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^4 - 2209557685138475571111689996199390477762964229867940576089561284553\ 048616854015547072705/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^3 + 6945594911516021262161377537235446345914860778705429478105238710899\ 0355082902900591189/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^2 + 9438525644338065805391992524636370774491894540258133174686764325355\ 0113596759249804737/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6 + 3561398950278791992795658891717461492417165735090365821122772052520\ 934859466635818954/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369, c_0011_0 - 1, c_0011_1 + 307042084734473433545871818658894607774585841335800152268399\ 1958849052726979248892/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^30 + 1643915416134925368450635138057930906841237071831441309227422888591\ 3569161050079211/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^29 - 1351215375081312461934500111913528773929579485505508745042381578634\ 79374108604713632/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^28 - 9613137092840126649215917943567068316494034361364845712119152212894\ 01153668127383434/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^27 - 1609616162937097459987082926943087297286939319932968016741351213216\ 3048931574245108/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^26 + 1067607633744185597154693655588007810665520856288824385658509509870\ 0690629727640190796/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^25 + 1973760618851746778856640337099334322567057774664768032254056102627\ 4138206825378524934/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^24 - 4254614132043192239535845766535615977170941889549051060577434260330\ 0956860711718297558/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^23 - 1567021122478107841705919439629329317098998702049965167355202238426\ 64994809577896258128/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^22 + 9302557158639086468842626868673556812045558214495912191592002013448\ 0763833973147657346/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^21 + 6310563253627161520021817204224172285696650985731691801165258736898\ 45669891915669202471/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^20 - 1205375952738095372507420689956961880637839597286445862783471487586\ 84884462095122167879/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^19 - 1531260926990610325148258058355455840602326480378978785160492531515\ 430249328013054192437/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^18 - 9897739295638858697962962731040128837980022282737870377334185544943\ 2188784462240244521/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^17 + 2361122053096578181336812630841208359319465530171307864734163881005\ 100881820998986920942/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^16 + 8823135594273463937525088870255239748955084088855559178403841202499\ 12342871047556285887/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^15 - 2563750699729285752265132792745841134134196288258513526070052698199\ 760500749366115961144/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^14 - 1416928588718302619407416956290033005116228189695769759791601121606\ 236389462536954296384/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^13 + 1927568651020066526432490590738026629281053590213935375716512193249\ 814195737119827822297/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^12 + 9428715648627186915507408258016937930598782601967982538336027317958\ 97316212146706674801/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^11 - 9225077185657502501825563201155250704987942029917720997578688729559\ 94609967447004022252/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^10 - 2485649156870449337791854175401645829409985122363648288752235310596\ 40569655149114227673/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^9 + 2592948804815966228525657065577384135587282681795347898008330667076\ 08269465803529989207/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^8 - 1836763044980989408447174265783937853280288426769043806128650956218\ 616871909578930139/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^7 - 4109713933490215210578130589862293459533418187744409939306153662325\ 1980825104218665822/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^6 + 1089935865012844441764930938540767891813969139788291743620648271597\ 1015658008395698430/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^5 + 4207289718793818304396429405555025003178736435152849173493625760965\ 377282765537010914/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^4 - 1302928984515552635870580726030444436421716292272687612511784174094\ 221437055139631185/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^3 - 3157640682196738945250151234657141264134741812634521569496583364608\ 05031074820805751/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^2 + 1988043201565159724183048067193628102832221332720823276846492126173\ 0551460235954863/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6 + 6130132517522268866367311604416233587678722491153442004602691530438\ 621885389285026/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369, c_0011_4 - 884597421176903228434991176879067046635221102649004338249453\ 158780772783088811659/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^30 - 4377107643192651390325714872703157911389377185877448696202593232670\ 256230135120078/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369*c_0101_6^29 + 4094734095481932646854968621981419300482348898171927809809154204575\ 5928313478289800/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^28 + 2617059562725056558859360117667693450519081294076642210114427513389\ 11416576946390098/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^27 - 1117566679339312818354003353978403426211301915073459734814674048086\ 53734881056137960/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^26 - 3109027248744830532753700732655470829935592872569582987241644358017\ 485748957412285470/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^25 - 4452133704186584846638545842590544950396003624303181145890255750818\ 522165595466083121/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^24 + 1488180353526495833370931654161541311407948310504369533120182491140\ 0526446247874265799/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^23 + 4090895836673881487073313855992907565941638269203693587257112474264\ 2008077229139319491/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^22 - 4604008169388452207644137131776504706815496600174301998890673167571\ 9451458901353092702/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^21 - 1759413332671822059121136753440676302360012436509477208351407746328\ 51038565159497914096/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^20 + 1089733539119192990495846794009651186152092710777778963262183296587\ 09797776065570357031/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^19 + 4451004364379186807887985020933810460936901809551764975086928886960\ 99358669830118029652/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^18 - 1460326982006890360809833016464065048214146017948221893993962785165\ 43284921883619487914/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^17 - 7307056203084329720206874773285584009086514871730139332146762169327\ 25114263732341810198/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^16 + 1204963679915702663958982734531811563090766826307478693338083100076\ 465202810696115551/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^15 + 8912347759402110193617681927861915174193710362204922708017215653504\ 10256210901924051676/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^14 + 1567257328893107316748059329161569032052227810741344061393941232469\ 72857483524130240188/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^13 - 7591989306698100481263113249577250758861105679338629598266966860686\ 50022841941423030840/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^12 - 9928113183976717977660181495169702527181839998188996718020962087268\ 2674932947749069557/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^11 + 3908116238274032942530404394920376310386588955852934922046716617716\ 08733674058470897680/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^10 - 9645805074756995364338684993759163411821757160076822227294166180749\ 077117516098258912/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^9 - 1051505404054670098439992362527031080216208186592492173752312623178\ 06168425504154973885/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^8 + 2544476947218116780484466205487633564931206754526031136041790750720\ 7378979714975632260/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^7 + 1145245893302448914342156500432878712729461948537419150325429708609\ 8833019796421184573/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^6 - 7570921096390067749922728879337471088082089421026573195516450784295\ 374011288513712335/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^5 - 7980511727660154260111993869793841906010598437762458451602119364527\ 1714035891203075/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^4 + 7490899001862530539485055862863570917702684714124482376877678443591\ 61431777543437750/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^3 - 3329245980300290053344202008314128515354393399532520319643110829473\ 1893722103556719/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^2 - 1440461768676688304059616977965335871785660365311714700587878274661\ 0458165980734288/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6 + 1168213934977849235310619371786316638870438259110326800401354624541\ 499205024776078/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369, c_0101_0 + 172294479055181805871929391461822535961890288881841050804020\ 548517737813734717850/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^30 + 2646273439054792438593021104235808381705802180711082808830373178970\ 04516204733402/2582400333594206549229148898109456072125710765674669\ 209161137141266184262887832369*c_0101_6^29 - 1098937311270580011882486715267957338658444221876620404635505855539\ 1895686077978067/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^28 - 2435439510577828819987254475973089598024709535233223672780959560888\ 4450188027203432/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^27 + 2001250970317617629303630798638493044863847582788084292617013846202\ 03060059538273352/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^26 + 5655156301664002446053670744534102960740283361695825998596515354499\ 99059594653218538/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^25 - 1187700037216865412889302548392313579589252082144181983194233997459\ 444236775244158093/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^24 - 6217293385859280572497142582883307535706433942698379096075961128550\ 921302002563752626/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^23 + 1139829991281852969304716236496379850441124804710198180122532723652\ 066528544327233501/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^22 + 3735456739123332465176903930805934711362688065428251813195419491906\ 5420064314988787257/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^21 + 9327071090131534810079488466951911318734143575662303710371855469984\ 327743756348659994/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^20 - 1396396312304293622250175145300709164918124736931125743313388775955\ 29046646498190501757/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^19 - 3595662590531534004184112970651543462795441331916009948353665309518\ 5238456877575722848/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^18 + 3224048058526672679132260664549202769607628604887145063437040580799\ 14199741445712113497/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^17 + 9605427543389165353229886089949613312287892733321957621560553334965\ 6523834623574128685/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^16 - 4699921305690645088700454698122272503584680546153044551603078341087\ 15106068445134706926/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^15 - 2465780490767890577221352383536963380974816071882353261232971406246\ 52814017340370010439/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^14 + 5164984233627179075833780558509754956088875475777103136770213876411\ 35087185621610618304/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^13 + 3239645510787705253601854960792470655169586954527703592796039341681\ 43377478472380762929/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^12 - 4257922107744047885767002112067904717122496077766191905626971689924\ 50607403828207586063/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^11 - 1920253207368942823799312010216794836880776298028407127402999716557\ 29961324799534058397/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^10 + 2258686800739484858967849341066000715274584305750148933554148094038\ 98472668264821310625/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^9 + 3847412101309513293302106412895600047809558643500025791714947014491\ 3217640202639362294/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^8 - 6631236810413518620424297412903916513460456469969454519602268535174\ 6303678893822167540/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^7 + 7048746431718530896530864263105228962079924143128708186474434425910\ 133850784949149957/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^6 + 9152475037493954873990908496811878461937566312719596654539304547160\ 028166605578830541/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^5 - 3680402171085114886486268390099759845223439360289226118310183306335\ 086805508372765191/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^4 - 5168612196489990097386607464831554519123750988702961196879943199889\ 25277232651495248/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^3 + 3882654400327463683660113993820428333864981792075751166546360056573\ 49387664371933914/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^2 + 2273354592085945836439868581327424538463227864748829263480641029801\ 2856628929163197/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6 - 6441463486719469802659641429258684296161626160266967027647482921555\ 784772497864246/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369, c_0101_1 - 153655876805500768553148782407853775640894105396534500527456\ 4892639961561761857950/25824003335942065492291488981094560721257107\ 65674669209161137141266184262887832369*c_0101_6^30 - 8166722143764504443999948512152394842953047183269947680478773350955\ 403499688684645/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369*c_0101_6^29 + 6797612013482224794680714149744062098365343024075930264296585293075\ 9324634756904545/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^28 + 4786524744147281669404113004353803551359329111054664544051383538709\ 39222188391378019/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^27 - 1206580670660568709571718662176784985134389642343068062090908606117\ 0633673777235492/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^26 - 5355124994989925781483739102129337602641698497909361876057570590991\ 337893677001453974/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^25 - 9680062130903170809830549374422091943986809248220044153291154279245\ 684124862079771892/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^24 + 2178955871012417585423553039219634042029063228259619846881733926243\ 6297516711479451912/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^23 + 7791852865683616876128404444868081165096888722893284876890507783689\ 4549405971527569842/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^22 - 4980768847677601071942467077812955978771895143524021185843507970910\ 4780452923442043622/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^21 - 3160044193638265534343056749605730599373043261888938751576289009296\ 89386994754547101710/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^20 + 7183625927563168619258663029709907382851767521308853344573525034639\ 7962484582718498185/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^19 + 7707526833346925275149163004785619834900671691837040238744629891857\ 36039240974381528185/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^18 + 2488243159308057167317451416712706325961622946605699669456387253443\ 2389825115020375136/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^17 - 1197546382272326793471082823060089587352058130933893545929368351027\ 047281493634789161319/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^16 - 4109348934899687552110818368595049806029875203534508627980568430905\ 23089558008052418618/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^15 + 1316186798031499592861610346973537696367453689428182499313818280063\ 015024466172089043776/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^14 + 6871915507887932556189861499860777459957916079199994707347854995343\ 06043952269200210164/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^13 - 9998596592107203491798665492766644981693532690046859639820069540180\ 44025469202161085894/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^12 - 4632190647504600005462900154139344951726492347511728847987440251870\ 77571267228001498030/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^11 + 4783553901519838431731009814337545269139867000867595355281632622407\ 04451586218187714689/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^10 + 1222031137650045284152173993927134464792096101156052374464165744752\ 29956548085079633211/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^9 - 1324743810572632666488660374681948823784827606932418336675618160653\ 95840958120210500665/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^8 + 1622303417744069309343108618991373964496784082504443912639690500796\ 252151988687047695/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^7 + 2059989628202169164727893155070918024133690536354299124084926578333\ 5044774465812682541/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^6 - 5642077180345677095565126470526296473792795875200037784889433732320\ 629450606890180285/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^5 - 2151167524089825107928254680798768509344421023731177443841775373806\ 044117732622237255/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^4 + 6640437067525317541118699513407808269526664194838435746503363636036\ 52202719642200696/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^3 + 1617012069412679670278104692338003392372510342546036399981396483312\ 66980160010527169/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^2 - 9365593671212354749395120492187646323896230557135275680405771136861\ 485238735251923/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369*c_0101_6 - 1820777123753895732052342780035957015483470776009234426656659814603\ 330473513165174/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369, c_0101_4 + 728840063240102229737909697308792919888602413715952219076933\ 982165301087962226054/258240033359420654922914889810945607212571076\ 5674669209161137141266184262887832369*c_0101_6^30 + 3761554828949620935455905973807060462798846245504023400573786718138\ 226377024416945/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369*c_0101_6^29 - 3272550706748511130259795104809111063406642956112306877790265714305\ 9095548380217287/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^28 - 2214166292012925592823621180985032032488269422113140314978727781314\ 42453668407588589/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^27 + 3595934270941620693171829766904739916783741347297388650175076622889\ 9548496335239263/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6^26 + 2501541351233782636989812897681071772149092632744322639634598723837\ 756920650171752952/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^25 + 4182627999561113160227304784980194650970978775356133971724471291701\ 811982777704352368/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^24 - 1065888671561474375630250305797432017077710517215813604204609940019\ 8695755624606710492/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^23 - 3446591834350092911527389469221953375103687898477596936364816688595\ 8906667708623324007/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^22 + 2818874296329231412148809408471945018642469218211895663682018466757\ 4047654226887626083/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^21 + 1400381011718581350798191520619472110481409813867428277461650123420\ 96860577701538308674/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^20 - 5665762697921851576877718987466584910697043727041378792151959109323\ 2102269391396878424/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^19 - 3374690544531867882228716407739773718293697538803306293544332407407\ 34301434226957803275/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^18 + 5064646964311983534728172552748685425118324753355256054820905534881\ 1595932897811201020/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^17 + 5186334604106848283474929800034013177517934903577440083528610073950\ 05201692594498977783/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^16 + 8017084702065022351778323459256642181075189327222916619654812200477\ 2705597319672531657/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^15 - 5850095235414836237794405184358489393692780041159033218597563894661\ 53156033966885982038/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^14 - 1661921182562581431474055282374458250702557047039920927313615368522\ 52230590841225071878/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^13 + 4658172897111772676527391199361669024153653020798167751777485852776\ 29058148041575657850/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^12 + 7150982214408363587323704558233731229255443965204227633325941610229\ 8189443016346463840/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^11 - 2309367931789443207945833256891182663084275194792218196369457502563\ 49282609965835481814/2582400333594206549229148898109456072125710765\ 674669209161137141266184262887832369*c_0101_6^10 + 2125519817821717280918528856345730940167412306387821921773143898819\ 7719969021735672672/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^9 + 6170930553384656921738475925737367578275677469158075394986942960392\ 4479020933386065885/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^8 - 2268608659363115834200652598019638620472391519714961836994488984801\ 7078897419621432973/25824003335942065492291488981094560721257107656\ 74669209161137141266184262887832369*c_0101_6^7 - 6117561984728578524618954203870289006900600684579552822510254060502\ 830946430009027767/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^6 + 5371554348394015596307299855875745557079298074693944596365912178572\ 287583154379776741/258240033359420654922914889810945607212571076567\ 4669209161137141266184262887832369*c_0101_6^5 - 4790082149735642414486550585837146702474390172989531507372564348477\ 33064499445284629/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^4 - 4351626001567743617080479648752218102392206368332359039229327079641\ 52938573088540649/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^3 + 1061011779053196229302206263164671428172472320189354724402810661036\ 16454951980402269/2582400333594206549229148898109456072125710765674\ 669209161137141266184262887832369*c_0101_6^2 + 1242867439843285786744732227275550768858472465918421111834927491195\ 6915034194721255/25824003335942065492291488981094560721257107656746\ 69209161137141266184262887832369*c_0101_6 - 2191324990901357341844520374581570781701774578208688887832092316409\ 413730866855663/258240033359420654922914889810945607212571076567466\ 9209161137141266184262887832369, c_0101_6^31 + 5*c_0101_6^30 - 46*c_0101_6^29 - 298*c_0101_6^28 + 110*c_0101_6^27 + 3508*c_0101_6^26 + 5190*c_0101_6^25 - 16465*c_0101_6^24 - 46660*c_0101_6^23 + 49829*c_0101_6^22 + 199284*c_0101_6^21 - 116105*c_0101_6^20 - 503177*c_0101_6^19 + 153029*c_0101_6^18 + 824700*c_0101_6^17 + 6222*c_0101_6^16 - 1005140*c_0101_6^15 - 174509*c_0101_6^14 + 869417*c_0101_6^13 + 105741*c_0101_6^12 - 470624*c_0101_6^11 + 15362*c_0101_6^10 + 141586*c_0101_6^9 - 31673*c_0101_6^8 - 19818*c_0101_6^7 + 10248*c_0101_6^6 + 665*c_0101_6^5 - 1351*c_0101_6^4 + 57*c_0101_6^3 + 73*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB