Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 3381155312] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0223 geometric_solution 4.03440324 oriented_manifold CS_known 0.0000000000000002 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.530688419608 0.021913774092 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588174278626 0.055764231201 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.093967896449 0.799938682922 2 2 4 4 3201 0132 2310 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 -1 1 -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 1.505746147826 2.521311339271 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 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.498471765765 0.294114226907 4 6 6 6 0132 0321 1302 3201 0 0 0 0 0 0 0 0 1 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 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.497696924946 0.874201671477 5 5 4 5 2031 2310 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.497696924946 0.874201671477 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_5' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], '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_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], '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' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 7771385689409785722207778917094039562188230213846279484761369312812\ 9316/74219421151279723066181284193424963846211931154952593000946567\ 366705*c_0101_4^31 + 4032701082906558697011073008973292947122144940\ 90522020504594925660265443/7421942115127972306618128419342496384621\ 1931154952593000946567366705*c_0101_4^30 - 5126029209401408090641873474783854876955408243049393437176079306823\ 647958/742194211512797230661812841934249638462119311549525930009465\ 67366705*c_0101_4^29 - 18974109262350974351951564394106265534655621\ 107529241824151936126466453701/742194211512797230661812841934249638\ 46211931154952593000946567366705*c_0101_4^28 + 1102846154398445653288303930089167467917722153665085373724293038491\ 35066591/7421942115127972306618128419342496384621193115495259300094\ 6567366705*c_0101_4^27 + 262116706863994656286870670689784449597618\ 600300825774013172919169509279008/742194211512797230661812841934249\ 63846211931154952593000946567366705*c_0101_4^26 - 1168486980134206477356361213994718354643613380724490243384492355589\ 642236321/742194211512797230661812841934249638462119311549525930009\ 46567366705*c_0101_4^25 - 20799724215233480071122271176557984855696\ 36551122095110005464048855284470553/7421942115127972306618128419342\ 4963846211931154952593000946567366705*c_0101_4^24 + 7118996740949370673400994243304288752575953865381921625028771225942\ 497333292/742194211512797230661812841934249638462119311549525930009\ 46567366705*c_0101_4^23 + 10681441412971287402585877251447475306240\ 430089168011055466844509059410221086/742194211512797230661812841934\ 24963846211931154952593000946567366705*c_0101_4^22 - 2750515122891497566144024425812608475158476761691782676531703181961\ 7023393831/74219421151279723066181284193424963846211931154952593000\ 946567366705*c_0101_4^21 - 3623256266594996253060301725640129918877\ 4364421072621306709609345100309417222/74219421151279723066181284193\ 424963846211931154952593000946567366705*c_0101_4^20 + 7170236390377483881087889086188895796548909255395146768053485788114\ 8684395751/74219421151279723066181284193424963846211931154952593000\ 946567366705*c_0101_4^19 + 8231880347922750673733511442836199252309\ 7711262679438808603440525738848220928/74219421151279723066181284193\ 424963846211931154952593000946567366705*c_0101_4^18 - 2607619475894241495117892125796873122519149230223042251321823173664\ 5745926922/14843884230255944613236256838684992769242386230990518600\ 189313473341*c_0101_4^17 - 1267697166762253990388460156409799474080\ 24307140308519193203320603305682096087/7421942115127972306618128419\ 3424963846211931154952593000946567366705*c_0101_4^16 + 1673462079408825372005363369238215578962775121585672315996885714027\ 11748865439/7421942115127972306618128419342496384621193115495259300\ 0946567366705*c_0101_4^15 + 132615176536449607497968787912182166804\ 882030306438807392421091860014181708597/742194211512797230661812841\ 93424963846211931154952593000946567366705*c_0101_4^14 - 1508293946052880408955847098919226247893722467601524038993291293384\ 70358948641/7421942115127972306618128419342496384621193115495259300\ 0946567366705*c_0101_4^13 - 931343731139756723795075505405151127861\ 67940653639954157042974979712768974918/7421942115127972306618128419\ 3424963846211931154952593000946567366705*c_0101_4^12 + 9354813071603971120747730292234834980700709386073793829105582323197\ 5162364883/74219421151279723066181284193424963846211931154952593000\ 946567366705*c_0101_4^11 + 4269117664837287427690433000447035618553\ 5962196270618326022047500633486910537/74219421151279723066181284193\ 424963846211931154952593000946567366705*c_0101_4^10 - 3851707663120859978877692586237738310062471808334424225307953720116\ 1577482488/74219421151279723066181284193424963846211931154952593000\ 946567366705*c_0101_4^9 - 12188603078691978914406170684520129408838\ 168086776538402036349213762129801556/742194211512797230661812841934\ 24963846211931154952593000946567366705*c_0101_4^8 + 1988372198073279588349414345402847843491024627899170588059382922708\ 619388065/148438842302559446132362568386849927692423862309905186001\ 89313473341*c_0101_4^7 + 203050090163763687444461069067927190851141\ 8883806963903741271872646658115753/74219421151279723066181284193424\ 963846211931154952593000946567366705*c_0101_4^6 - 3962236919166649488791495279622172229500325577835022149857858655065\ 7385493/20059303013859384612481428160385125363841062474311511621877\ 45063965*c_0101_4^5 - 369698133644493203008488228956100496760742693\ 94337974793380676422259590488/1484388423025594461323625683868499276\ 9242386230990518600189313473341*c_0101_4^4 + 2106453607816098024554844485476044340077464903421458663973447951187\ 7478220/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^3 + 92182429157023558412904467319928008241319867\ 51706640031437316761208727167/7421942115127972306618128419342496384\ 6211931154952593000946567366705*c_0101_4^2 - 5262742357759987326221552361522393245990227076026230135597088916009\ 45499/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4 - 254035842428055387360524260565746465067928704831\ 581513102479170172499192/742194211512797230661812841934249638462119\ 31154952593000946567366705, c_0011_0 - 1, c_0011_1 - 325185653030250149209651186445712780877408343436518838086042\ 41291925/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^31 - 184178106789543363812155879039051303371946\ 156562554106547023922994355/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^30 + 2054208221977285831239478411547298987745710970234001219122260055364\ 058/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^29 + 88974574206111925046483871745795129773606314821\ 88681780465721545368594/1484388423025594461323625683868499276924238\ 6230990518600189313473341*c_0101_4^28 - 4170661589097261061300454429347479687965278945249208068029979246236\ 4452/14843884230255944613236256838684992769242386230990518600189313\ 473341*c_0101_4^27 - 1286831744542929462628019096109432255427051606\ 51444231997042035472060622/1484388423025594461323625683868499276924\ 2386230990518600189313473341*c_0101_4^26 + 4232156427405994309411002047213172259270145680793504036957946894484\ 47068/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^25 + 106056259765439063370562414208655060536628301\ 5745042989219621448199317046/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^24 - 2427096012754130470477919407076395277313280518812441542144691948230\ 228239/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^23 - 55390963019073311358366406754855227155911407\ 05180512362188100837646915067/1484388423025594461323625683868499276\ 9242386230990518600189313473341*c_0101_4^22 + 8592785634023526770248619294418608468745082178980268162690470204852\ 641991/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^21 + 18827632119164540238687363561474429247103197\ 318116860198596846862498425886/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^20 - 1999379426028588561781505459889259232984756684713660601733984002594\ 1885668/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^19 - 4258745446061280309796793074801332929845284\ 8025143376060566087976277394955/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^18 + 3166998828179195218843000511074126771711604398413455781699523269330\ 5760349/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^17 + 6516409273420567274829494192762885673062521\ 1667911364777571367124717442560/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^16 - 3452261733639731108378500197631408156043917935292924469593953385467\ 1001015/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^15 - 6768383037309569176698578554045086013717328\ 3073041774454616500884648733616/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^14 + 2558876439461121343210374524388072777674104829043606344745524795501\ 7857282/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^13 + 4711134543065371378751719785750389397544136\ 0281210796548146020426906543137/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^12 - 1245050973694587802813617936872944603133742157243152616880992273003\ 4090271/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^11 - 2128925341032381293236172013808179627935717\ 5074575820510582735856748490579/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^10 + 3733938208335115783220092414345375522289662523862350918488241548415\ 111490/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^9 + 591599102944736370954873400299687194453246557\ 4111563203955664374501383216/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^8 - 6153138346320475720189562659387442120115485555713260163459340828459\ 52392/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^7 - 9293971059001280200130824732677591010796652737\ 94037447885367281671519192/1484388423025594461323625683868499276924\ 2386230990518600189313473341*c_0101_4^6 + 1115391034140227230073332174842545889899261620536296990825933662624\ 701/401186060277187692249628563207702507276821249486230232437549012\ 793*c_0101_4^5 + 72382084785244603835112300141195674988048840874245\ 530447319016364357849/148438842302559446132362568386849927692423862\ 30990518600189313473341*c_0101_4^4 + 2804267258894776982181518539015691751777682754832523645747880960462\ 60/1484388423025594461323625683868499276924238623099051860018931347\ 3341*c_0101_4^3 - 2266354838998288378002384696478046277494701817362\ 716332986322451086671/148438842302559446132362568386849927692423862\ 30990518600189313473341*c_0101_4^2 - 5262259360377779188054531973571938379635742553428580545898999396194\ 6/14843884230255944613236256838684992769242386230990518600189313473\ 341*c_0101_4 + 1993093668712880098394516767727994536629899945450756\ 6257437236056155/14843884230255944613236256838684992769242386230990\ 518600189313473341, c_0011_4 + 599900985123752722898173790046958957559071388385350204873721\ 10394968/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^31 + 336993239829624714518250332401321212165727\ 732995072318914922466288081/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^30 - 3809878105919523491382887492876335105651757027398573058971846496527\ 019/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^29 - 16263446126990527588732078034173627401115802048\ 211305677559571852963245/148438842302559446132362568386849927692423\ 86230990518600189313473341*c_0101_4^28 + 7799121487141046268656367603408135370313728659188545217437109029312\ 2351/14843884230255944613236256838684992769242386230990518600189313\ 473341*c_0101_4^27 + 2350158180521541578987223868091438910827191777\ 59366279665888931537562458/1484388423025594461323625683868499276924\ 2386230990518600189313473341*c_0101_4^26 - 7977208998297773468480086117468351824012323999862341488285793087116\ 19236/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^25 - 193695247794899469917725237068009599629748302\ 4556967728967382490304674306/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^24 + 4628817715201949767329656351458634179008238723311503426430670897346\ 990656/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^23 + 10144023836704043464651211058161811915963959\ 099623653877202691916842430904/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^22 - 1667317011910676599625823371211321078961870281712582852513024236207\ 1823606/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^21 - 3467606035161830795624408981678259939429234\ 7594770973054853520639438706584/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^20 + 3972695090640789632297256146168504803465523835923090850646260406146\ 4389218/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^19 + 7909469522730289695556225951958748375274359\ 1927454076506911150605692034973/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^18 - 6493943843143659137039968325184241741671758082047160585334605269055\ 1645161/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^17 - 1223872881763837436780490375453167486049506\ 67692691326439948767919470071983/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^16 + 7379984842666072427862493252975086465443833871045511806186893105915\ 6603186/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^15 + 1290161764631918043116048642545128822374333\ 64027780255216793859420751336854/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^14 - 5788053033809045366595979643653943911531791029820997327596825784567\ 2029132/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^13 - 9161995782448158637199624437102824648133888\ 4914566016136324905868902249763/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^12 + 3050445935125715400843786163560057912393059224090176626582109667008\ 9349807/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^11 + 4258231345263078646959276316779765801910185\ 6234260524045029437945358075547/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^10 - 1030589807722157085559935033415122088497434242969345297338694001841\ 4182913/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^9 - 12324670063045014737890361808686656225324945\ 403443645626000687276047625791/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^8 + 2062829745053240884519185605600430722330888533006019374585751568905\ 770271/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^7 + 205698050324421496075395098806706245382464226\ 2589984461124300140161120049/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^6 - 5664273525542565443080989970749670534707980153208624796532490764123\ 080/401186060277187692249628563207702507276821249486230232437549012\ 793*c_0101_4^5 - 17594380680343318375890905721197200431618215980143\ 0895901015222015188466/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^4 + 7294091368225618141494562378430664566128701873105634328811562179224\ 303/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^3 + 646072110635757413498043123200732377143977528340\ 6225373241025240781735/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^2 + 4001670474956545799731817823362991916813034194586571498636820921841\ 1/14843884230255944613236256838684992769242386230990518600189313473\ 341*c_0101_4 - 7946831935793283612664290396077361004939563514230021\ 7297489761129500/14843884230255944613236256838684992769242386230990\ 518600189313473341, c_0011_6 + 404642230270178221811719708440104947256749095042715851582472\ 82467316/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^31 + 228581297485287865592803432439319545786649\ 805917193883295837556142673/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^30 - 2563188475490196851882742071175126371478125633766554933950238523929\ 250/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^29 - 11053411333796440964313467857128503040159633624\ 108931028360101206171341/148438842302559446132362568386849927692423\ 86230990518600189313473341*c_0101_4^28 + 5229645655581477027580267150935610119829738271630178375975795304948\ 3249/14843884230255944613236256838684992769242386230990518600189313\ 473341*c_0101_4^27 + 1602945719770281862091789224318599703944201788\ 66042675238334876284461079/1484388423025594461323625683868499276924\ 2386230990518600189313473341*c_0101_4^26 - 5338706965070582120316599149824425840063421955051279172284146378770\ 09875/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^25 - 132496489380261596293461702211746635766250499\ 7731431825552593201497082453/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^24 + 3089444304944586160179390486878068066290561072537055190734714102581\ 993078/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^23 + 69520920053433473186102271593072208081198331\ 25695034868186420900386203892/1484388423025594461323625683868499276\ 9242386230990518600189313473341*c_0101_4^22 - 1108192037913559305835110677088218614547963869006383678908747045871\ 8489830/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^21 - 2380106868417719997498635010116567210447608\ 6140992671040500721740276820313/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^20 + 2625615332854588878280571146422603556223393538123903470805718378226\ 5985960/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^19 + 5438482298374025320561709507660458275473164\ 0748937682704518209314429726970/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^18 - 4262350066337284484817739983486132367626740722001136982887132134379\ 5666337/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^17 - 8434807985136879587349347138199052802965697\ 6873789673014334632666826212299/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^16 + 4805003437637600022036742961313335322147609932273046559132779837761\ 9988578/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^15 + 8919086983062307773456735810788214372625959\ 2863617800026353660292963807659/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^14 - 3733587461403443526600570105732712033569950292915873483284456098509\ 0109199/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^13 - 6358996250409818985482049509395322603725798\ 0310943806302792221922091483189/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^12 + 1945977877934804168964913362757122074413985473472747748870971380403\ 6170534/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^11 + 2969986796902802724832547217215802904880040\ 4525054800979367873960698057962/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^10 - 6482270454597399592198397457274198584171916448152724026847898025368\ 438634/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^9 - 864485700246481550671314876337776612302682309\ 6898267947001294401815173645/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^8 + 1272069070968791343898717363677639635629927060701959326081770820451\ 827567/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^7 + 145133381151436435316945272426746983754201220\ 2695046636067560858143655490/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^6 - 3381700706461268348194075411953350821305027154739554626769157053029\ 902/401186060277187692249628563207702507276821249486230232437549012\ 793*c_0101_4^5 - 12499219015253432254395111066785066170864296238643\ 7022986713614090703830/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^4 + 4017649018220410695616360690766677297944702231590067169872142572782\ 577/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^3 + 470016419455823212267937506456274984226318056327\ 2021950950519279428521/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^2 + 4201300690784349904233057378350942666299627402618197225745477606580\ 5/14843884230255944613236256838684992769242386230990518600189313473\ 341*c_0101_4 - 6165681066108732772371501047153973036493484479000886\ 1028471124775294/14843884230255944613236256838684992769242386230990\ 518600189313473341, c_0101_0 - 807958681986692857634055590246073503507770553414995544430113\ 67524216/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^31 - 451425774158026821979039586546232514339100\ 523588527355987386590952252/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^30 + 5146325455737624615957621076301429836738823070752915587914447145893\ 921/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^29 + 21757029863289980826305057130661155375425005194\ 279096208725553354989416/148438842302559446132362568386849927692423\ 86230990518600189313473341*c_0101_4^28 - 1057869351920837842781705390416500649822703687009657231666865177749\ 69805/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^27 - 313753354276030519050423843604288500324550674\ 935322058428089094793373695/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^26 + 1085594392294984699601076099328866623014268116658590880580109841069\ 115706/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^25 + 25822527677869716499598777532507218894002498\ 69638494008049576010180560454/1484388423025594461323625683868499276\ 9242386230990518600189313473341*c_0101_4^24 - 6329084653314473634101576255650995370916462841961093073990584176670\ 648378/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^23 - 13524113398923202079520564711527033710924402\ 746352673946239659573580617266/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^22 + 2295581176490009329899345105459424680730339795631208154071556212628\ 9447834/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^21 + 4628807764380225818149539395146577331313325\ 6355234377290331240489251787647/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^20 - 5519869361508340306900102030397405019824767460331332981274901409558\ 5005345/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^19 - 1058037490919980220808916661462125634326544\ 50246151170563246302006619896042/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^18 + 9125404957505551386537934274396509619097488241882304979919544427612\ 0944554/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^17 + 1641930689631109959195804181734840641667641\ 66771227256545157588994088482932/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^16 - 1051143257854827624990646101471246557803543655806244693888964331003\ 21928840/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^15 - 173776409583225830148929259655194148857098\ 539562369610190919343569839058263/148438842302559446132362568386849\ 92769242386230990518600189313473341*c_0101_4^14 + 8377884766460313209504640076208187919767007979773586121942495194958\ 5955792/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^13 + 1241084674462797597535506511160457062116943\ 58677111983072596988061233014487/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^12 - 4502147310675828696485514109964119570827532428059870162897732264083\ 9703476/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^11 - 5817625338951783788058232048805627782403812\ 3920985977194927445739647493120/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^10 + 1557712456525327149491370843274608439902037424220760415248644827686\ 4296840/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^9 + 17065269887683807773792135578780415893400823\ 790875191038856536058303989044/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^8 - 3212234375956101660519232930985320462577286007921463804057089913474\ 282517/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^7 - 291133696502663005604158217517858195275793573\ 1754608433855284469298277507/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^6 + 9199731314620830145409790348180255605981553670839804712314716666109\ 234/401186060277187692249628563207702507276821249486230232437549012\ 793*c_0101_4^5 + 25871193844347913568765928680527706415629264718116\ 4487180403188307914010/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^4 - 1275773767377148304595149912646068202552442055638186343044068432373\ 0983/14843884230255944613236256838684992769242386230990518600189313\ 473341*c_0101_4^3 - 10163066291871788790760245262019990045292500622\ 759360768333690096940525/148438842302559446132362568386849927692423\ 86230990518600189313473341*c_0101_4^2 - 1174765770704567483871034077867244850219358965388780769417399389315\ 94/1484388423025594461323625683868499276924238623099051860018931347\ 3341*c_0101_4 + 132223592354047531315303573406148225130606295798897\ 400839070499317359/148438842302559446132362568386849927692423862309\ 90518600189313473341, c_0101_1 - 588464085048430691035169984729258827172154190931776782525554\ 46155262/1484388423025594461323625683868499276924238623099051860018\ 9313473341*c_0101_4^31 - 331441415289606060142687028595483732764307\ 458058769372359698761369212/148438842302559446132362568386849927692\ 42386230990518600189313473341*c_0101_4^30 + 3732060072494327214398175995303896425073482785526460756464910535169\ 207/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^29 + 16006662291761956716669466873584042357035766526\ 131442227653248365775695/148438842302559446132362568386849927692423\ 86230990518600189313473341*c_0101_4^28 - 7625301368228187996527086415356285017684806473351612288754286786430\ 0824/14843884230255944613236256838684992769242386230990518600189313\ 473341*c_0101_4^27 - 2315566350307752815356168315406057587311209267\ 27673632940449833363118623/1484388423025594461323625683868499276924\ 2386230990518600189313473341*c_0101_4^26 + 7788761979946626184958483305533840302627839569554056690299866743508\ 61323/1484388423025594461323625683868499276924238623099051860018931\ 3473341*c_0101_4^25 + 190976377076476416575607397466902045134000991\ 3745119552799065239718240575/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^24 - 4510697361749519583006115206282562224688960573048890774827629558305\ 422675/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^23 - 10001158970139481231276870629571473757415407\ 012625829442850316878839593775/148438842302559446132362568386849927\ 69242386230990518600189313473341*c_0101_4^22 + 1620219448360556687702774881472288211128621038872217007995129806603\ 9597776/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^21 + 3416602685960372663570957941517095825025887\ 4110912381735495509247904086603/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^20 - 3846831203733836614961108436711404174374656530373931224901343717841\ 1510400/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^19 - 7784842346447886948574278550066184690962936\ 7287626598057108483835723433628/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^18 + 6262914665698765392332292226198470331100333312716037264225958329788\ 4422212/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^17 + 1202776216616638875485021310188230762488502\ 28785307763475787030304478623539/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^16 - 7087139917498427402287602839273845607692662776508070601219934347599\ 7061698/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^15 - 1265235299422405963212584865518393407105551\ 01890964883863589484865598777393/1484388423025594461323625683868499\ 2769242386230990518600189313473341*c_0101_4^14 + 5534653081952848836320932197302070739236665604863408964949320785482\ 1835291/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^13 + 8957297274693641662810469583416594228002147\ 3633662621139064314041182392904/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^12 - 2905099230105803281178230216436312341828762950536489735847789764873\ 4139123/14843884230255944613236256838684992769242386230990518600189\ 313473341*c_0101_4^11 - 4144099232408688570484197173498203379932283\ 9372274340786516606474948270170/14843884230255944613236256838684992\ 769242386230990518600189313473341*c_0101_4^10 + 9780430609677436832519740483314153990630728486368548135588097879983\ 812180/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^9 + 119153814235783918769336830135042408956831769\ 68086900381093126351346552561/1484388423025594461323625683868499276\ 9242386230990518600189313473341*c_0101_4^8 - 1952112809661247477687835226047189376254199091630699176977044807459\ 400346/148438842302559446132362568386849927692423862309905186001893\ 13473341*c_0101_4^7 - 197183608497245165246248448875525119422789463\ 4060190858067974454028508746/14843884230255944613236256838684992769\ 242386230990518600189313473341*c_0101_4^6 + 5342155932413655425036016021696376147197242969815739992077677221551\ 793/401186060277187692249628563207702507276821249486230232437549012\ 793*c_0101_4^5 + 16745516753923078067873913918253800977712182308392\ 3730438519392740736356/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^4 - 6824180357817437023927024400232581723473871000600236948549637062978\ 686/148438842302559446132362568386849927692423862309905186001893134\ 73341*c_0101_4^3 - 621003586822839772050010259569739714032327452432\ 6101402638524375595418/14843884230255944613236256838684992769242386\ 230990518600189313473341*c_0101_4^2 - 3656413227322247539312695477072170100156772580191848488186270311397\ 4/14843884230255944613236256838684992769242386230990518600189313473\ 341*c_0101_4 + 8425727590068222273855934009735870896782973586680023\ 5835756294271037/14843884230255944613236256838684992769242386230990\ 518600189313473341, c_0101_4^32 + 5*c_0101_4^31 - 67*c_0101_4^30 - 232*c_0101_4^29 + 1469*c_0101_4^28 + 3120*c_0101_4^27 - 15750*c_0101_4^26 - 24145*c_0101_4^25 + 97451*c_0101_4^24 + 121965*c_0101_4^23 - 384499*c_0101_4^22 - 408949*c_0101_4^21 + 1027457*c_0101_4^20 + 917795*c_0101_4^19 - 1918184*c_0101_4^18 - 1389412*c_0101_4^17 + 2528610*c_0101_4^16 + 1416230*c_0101_4^15 - 2341087*c_0101_4^14 - 955090*c_0101_4^13 + 1493012*c_0101_4^12 + 409893*c_0101_4^11 - 633909*c_0101_4^10 - 104342*c_0101_4^9 + 169958*c_0101_4^8 + 13963*c_0101_4^7 - 26550*c_0101_4^6 - 832*c_0101_4^5 + 2145*c_0101_4^4 + 32*c_0101_4^3 - 76*c_0101_4^2 - 2*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB