Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 1511769697] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0147 geometric_solution 3.64342251 oriented_manifold CS_known -0.0000000000000001 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.656389468265 0.019244754594 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.821433262859 0.025384127197 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.604257868432 0.093622802382 4 2 4 2 0132 0132 2310 1023 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 -1 0 1 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 -0.980366758144 1.446440480326 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 -1 1 0 1 0 0 -1 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.037610619404 1.974677084139 6 6 6 4 1302 1023 2031 0132 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 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.500934404343 0.503496820148 5 5 4 5 1023 2031 0132 1302 0 0 0 0 0 0 -1 1 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 -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.500934404343 0.503496820148 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(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_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_5']), '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : 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' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 3394931845605031891946822378945105896746318868650068528084885185103\ 6840714818111074663113/37172064383095827278379394109879015915862934\ 3052854040287523844853048355362472697340560*c_0101_4^32 - 1697730887667070983178658790370557403105943256676455459798124323757\ 07297544858544120643/4646508047886978409797424263734876989482866788\ 1606755035940480606631044420309087167570*c_0101_4^31 - 8814511734048501895325873003025913719991551504968782673361021872563\ 3091351320113572642993/92930160957739568195948485274697539789657335\ 76321351007188096121326208884061817433514*c_0101_4^30 - 5078765899796131748563451721628044760015807054501714322500596724411\ 44056989122640147915147/3717206438309582727837939410987901591586293\ 43052854040287523844853048355362472697340560*c_0101_4^29 + 5930627867793747633999027647216488265182052891741927705627216456416\ 233137151891626545970639/185860321915479136391896970549395079579314\ 67152642702014376192242652417768123634867028*c_0101_4^28 - 1675043290590766278092861298578556778890150177759377283123428348838\ 535593114914493642136729/464650804788697840979742426373487698948286\ 67881606755035940480606631044420309087167570*c_0101_4^27 - 1046759031774421255454535139512050084768552993204509963566025273055\ 20880531478450754355954243/2478137625539721818558626273991934394390\ 8622870190269352501589656869890357498179822704*c_0101_4^26 + 3743915621375165856786536142776746838348883381877280410086266347005\ 601690304580286614896630/464650804788697840979742426373487698948286\ 6788160675503594048060663104442030908716757*c_0101_4^25 + 1121394727714125633499616260631330983719899618785555797035883137623\ 1925262602888628239670886083/37172064383095827278379394109879015915\ 8629343052854040287523844853048355362472697340560*c_0101_4^24 - 1269981413086336066821146295274892741372031205408891633951581356935\ 15275019996535955250141397/2323254023943489204898712131867438494741\ 4333940803377517970240303315522210154543583785*c_0101_4^23 - 4153970744441884470566943953232630367877157020815274452527819734034\ 312068200321712813791430273/309767203192465227319828284248991799298\ 85778587737836690626987071087362946872724778380*c_0101_4^22 + 1250516914716773559492997080996155610495560304616023386620188682822\ 597712317340989043744996161/743441287661916545567587882197580318317\ 25868610570808057504768970609671072494539468112*c_0101_4^21 + 2464873894976194600242361900057537344191960952101665237822357472565\ 0559936252622831242319250039/61953440638493045463965656849798359859\ 771557175475673381253974142174725893745449556760*c_0101_4^20 - 7239347869410318337487627960720718526796726198084380090920091535700\ 827825157651742888929352369/371720643830958272783793941098790159158\ 629343052854040287523844853048355362472697340560*c_0101_4^19 - 3021815755957771149338766518413449311604413702747711408822789642881\ 18665413261060685376046953957/3717206438309582727837939410987901591\ 58629343052854040287523844853048355362472697340560*c_0101_4^18 - 1107484150724848271827221696522324368203893295534272488735981434844\ 03181225412338919822022963/4646508047886978409797424263734876989482\ 866788160675503594048060663104442030908716757*c_0101_4^17 + 7137814541768595890525342503418025027205174807386393478633613473157\ 2571515793305490578816446161/61953440638493045463965656849798359859\ 771557175475673381253974142174725893745449556760*c_0101_4^16 + 4068971023732391476640590813344047710835136577410136129013125585230\ 5541992862190894921560489593/37172064383095827278379394109879015915\ 8629343052854040287523844853048355362472697340560*c_0101_4^15 - 8335935985315447611919056741552848439463112723757420285557711610197\ 9247742629155529480802143983/74344128766191654556758788219758031831\ 725868610570808057504768970609671072494539468112*c_0101_4^14 - 5734826768224853829430490030739418838581061361027628313066455985935\ 7721072374154235019073430339/37172064383095827278379394109879015915\ 8629343052854040287523844853048355362472697340560*c_0101_4^13 + 1812823136779130142191491727152361683814648033444112158700297941599\ 1042966607804398196734239255/24781376255397218185586262739919343943\ 908622870190269352501589656869890357498179822704*c_0101_4^12 + 2044795952200294985383066673578938974551572455846200293967648262718\ 711374324043632697981948905/185860321915479136391896970549395079579\ 31467152642702014376192242652417768123634867028*c_0101_4^11 - 7156997778096190166368518655854683787533833757220673767417098941541\ 020557027251124653669066936/232325402394348920489871213186743849474\ 14333940803377517970240303315522210154543583785*c_0101_4^10 - 2574104562694890025396153736698530668259953509529076240796916395735\ 746861705450226471327533381/619534406384930454639656568497983598597\ 71557175475673381253974142174725893745449556760*c_0101_4^9 + 2931124776798854699999702515671047305658962046105424072792200023029\ 678190597971074133790138933/371720643830958272783793941098790159158\ 62934305285404028752384485304835536247269734056*c_0101_4^8 + 4371518791480900574159597154659315248038395887193869036973620425465\ 00942240406441021298895319/4646508047886978409797424263734876989482\ 8667881606755035940480606631044420309087167570*c_0101_4^7 - 3298203238673486590753538450673056225463949926638455172302810038400\ 31086395004175635757546797/3097672031924652273198282842489917992988\ 5778587737836690626987071087362946872724778380*c_0101_4^6 - 1086253187703765275739994224537358443833505026274376616802786997944\ 02468781497157753303798191/4646508047886978409797424263734876989482\ 8667881606755035940480606631044420309087167570*c_0101_4^5 + 6485724550943223096975511558126419997128822349738557461201897619127\ 0007723396419270663904297/18586032191547913639189697054939507957931\ 4671526427020143761922426524177681236348670280*c_0101_4^4 + 9051437538294809562675585533770949876640966011965166698713792568496\ 5559781407548979885532157/18586032191547913639189697054939507957931\ 4671526427020143761922426524177681236348670280*c_0101_4^3 + 6915775577089781938184312393352511636430419752753630159464558188121\ 36318487127789337411251/1858603219154791363918969705493950795793146\ 7152642702014376192242652417768123634867028*c_0101_4^2 - 2293899872457598153899384446118468352698469468333448589344348054372\ 628869448487117605639871/123906881276986090927931313699596719719543\ 114350951346762507948284349451787490899113520*c_0101_4 - 5794815199085335876276087481411896825274247355308056320719355969734\ 25360332961770647784337/3717206438309582727837939410987901591586293\ 43052854040287523844853048355362472697340560, c_0011_0 - 1, c_0011_1 - 169658254052621429170980062925610629750493431265304602150467\ 8804181463885260479931607/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^32 + 1860208748928949277209037034899268677856777318349848968883051554462\ 378673857449829471/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919*c_0101_4^31 + 1743964323323085559062169670590847626632535065335547065854770420896\ 95769904915898924540/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^30 - 1589725612708123712351201326677384265518690912372036195554633230677\ 99705503169006686495/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^29 - 5776431564458239336051503168564171627120165060634076085170137540800\ 813800386617834664230/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^28 + 6780738383148631484695828502931875187048651070182342605199807677185\ 609090171179471065023/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^27 + 7186357146565051217710630539756438315631826636035540084375825263995\ 5240090302558027910629/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^26 - 9131866990887257692369581271376626086444540166542970634410880725142\ 5465369378994305338803/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^25 - 4710825698247042031576019165292138688808777871436976343223739116582\ 71335017675345073237683/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^24 + 6052437453810504854972017769141738565168617764978096143025112686737\ 77009701172802128788323/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^23 + 1900209894905676719705029967780752953468302746150611961088103445103\ 592557403905222263502787/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^22 - 2359989267101712200910689709292032577861724101078870534489079187893\ 267377026942943919406675/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^21 - 5101603626047681902184144566286332552240132656237057265131554164472\ 956761722138734193951219/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^20 + 5904615711442822373887467425275154173578740992892489041072566259921\ 383244981275158476203155/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^19 + 9436128346550674133206508516227259990776223566985921003230656636835\ 890014795325902069240228/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^18 - 9894403868999664267079143843522649404309071947761170484197369222012\ 213692013917785939521881/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^17 - 1205956123265808117514092709520298557600327195140618291612874116875\ 6079097134407957317849334/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^16 + 1128601991351605812360474605778570268344010912781795765663951267414\ 9675089566659736003516038/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^15 + 1039865436564052075489663440225897291656351791733886840184473206855\ 0478882251563296658961411/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^14 - 8723784993858270127854545858635945244533532358850950899679000904111\ 308660532588646498485783/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^13 - 5742966027557717510550220049981510985333186836084614628604305347204\ 392489149573856398260838/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^12 + 4440982580237249190017421177590337953140586862445385917970535921741\ 813295676211195251507480/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^11 + 1860139736453840270975309197433103482389966277885152592017084134987\ 336968739748978927991647/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^10 - 1381829775734764070147434618942714937869114680394638035718906540554\ 959497417663418220847689/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^9 - 3193947230114825629559884880925099389400815790484741130208311379145\ 02949194474089404835905/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^8 + 2145205910789134422659621058979421281267170904138934287445828903711\ 12435907711243741551660/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^7 + 4192012296172046688436053537203612811571652375130053640643372134004\ 9307578503392959443343/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^6 - 6281436922584981370652547862804910348292988841165047509387326357835\ 995062687931421579680/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^5 - 9345114503835398230446346041633753937892115952765793060011755059552\ 513041540831207074683/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^4 - 4920721992688016533679834142125749858529319208495350879911138572297\ 67616162867527809846/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^3 + 6141893420828390341248750888058207081531874282677164577668522786796\ 46497454406428654692/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^2 + 3703891806451709224871571565230910405073527741153291144511808764754\ 4079932093657208241/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4 - 1286358958506616859444551858984739155872016300954467488944121882942\ 5883586487573012019/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919, c_0011_5 - 607493371857499326949302328351056094562151724718234592951784\ 573661300702469564524520/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^32 + 6353143055990256821434932521682891845448607007646414306544899171208\ 24121315692213682/1548836015962326136599141421244958996494288929386\ 891834531349353554368147343636238919*c_0101_4^31 + 6250757705845581154788123574746776853111409784792756929806863861522\ 9093227342429849765/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^30 - 5382089208997546475382390951055669886249013205651561764362324042629\ 7161853146675815900/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^29 - 2074042744561828960539934309051809467098543238008777981940171607006\ 380020037612165416089/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^28 + 2328832709586858383142033833663038356641351253269995191786335958165\ 560507626116642965393/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^27 + 2594360952723376780041634724118713777380707036952345047230229642815\ 5786642030369868934713/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^26 - 3160184796760870199638887283763420680522318159427727753469121935203\ 3890106959275787869197/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^25 - 1712811558081347832487088850796947219035091600886875687840274690028\ 85048667152031233983973/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^24 + 2106949211597923536552972534988673667595529049969744134336765777455\ 70430700845619198253995/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^23 + 6962347139049188734844783571131526152211521901159446474558908130446\ 18807132963347429281809/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^22 - 8257599345469113117055147885111934878453784139704084010325112915494\ 85425309708776988747515/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^21 - 1883185750247964222207749428615652222534955480505625962516461720671\ 341568007483742351977346/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^20 + 2075336034795629647647198836908954505542244073255519143569611225061\ 613740534197651739173824/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^19 + 3506892961306647090675690721926898820523581508632616262111625903288\ 691950793089893239273202/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^18 - 3492101867556359348133149433817282286757470963853240247568736157344\ 830686321398010581962042/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^17 - 4509208038119907296046760751479527375851845608499426235163420282895\ 991273877882038874291863/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^16 + 4000193779764232949077593584951607126833478416881979968310613014314\ 260604494794582668442096/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^15 + 3909806093928970294250123569964614630850466918752229829130359935004\ 375581730673610642122323/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^14 - 3106830083267047871697358418365454543931315785814151277270978628970\ 925389155531716905671720/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^13 - 2170276597784828967361276138858065994069805501838833135887513007142\ 144270286800345003195081/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^12 + 1589549441745882916612985464831777617238971097876983019501912047742\ 791731449480420256538199/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^11 + 7055967572782950387414687495972618867607950872407685684751427825065\ 93081051053816831379686/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^10 - 4957374349212366245280000233516480962552793938248254719465316088583\ 27781555809212973926197/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^9 - 1207834994068965389333626115223033059646583140758803497387462495916\ 46290924099641332828660/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^8 + 7581627258444894877580226046746449017011104650899218919558297560976\ 4626991985748971622669/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^7 + 1550719308926451989778714513529964213708089059765368589964063205596\ 4228370995377646546754/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^6 - 1645421372761762956909560325213572114475223614273846203118525855229\ 334335828936562860094/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^5 - 3461071420962518820814632282367796168352917956684624846343646934432\ 488416315843943113538/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^4 - 2280337486636892097455882705633823904206622802415509557420035208947\ 54657272623103135036/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^3 + 2181868789677828982751784209862171191178529169764443890736626442120\ 87901366505977886889/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^2 + 1488581481441065341610818505373573255204608611263647565647852792834\ 9105096425896951248/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4 - 4294155492614892365408737128798387461539201597808060494478892243897\ 954542970378900677/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919, c_0101_0 - 673437806207940168038236442628109523709568141046805840287576\ 717026386227372217607231/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^32 + 7436360616885679450279549106839980996530993840225560689362557715908\ 24243197922261406/1548836015962326136599141421244958996494288929386\ 891834531349353554368147343636238919*c_0101_4^31 + 6923325989334396088416318589417294139513497098696140901639795227773\ 5064756263554127582/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^30 - 6366932791147243071135502388512498276457599670890616315833024425573\ 5141943856779325657/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^29 - 2293853169316777975878371894951740392912086394063949563782141139169\ 139727024477820216330/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^28 + 2711931734071795023363085837738846121667752041059933761154022351954\ 530159677797948171960/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^27 + 2855115335074139703941465755796293116707917561133080995233576602382\ 7415322130807183028096/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^26 - 3656514297430033188181284481725856875189298545307504864777327242341\ 0039403800091629927754/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^25 - 1872290196146301296715566859676353354405698511556630610378409246932\ 43638395560760612897585/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^24 + 2428764270376461100840844764431519938717976803555927330587599326555\ 40190534518901852360265/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^23 + 7552845637824246419091092165407949944744770310678077316860058168363\ 73799445044299070435977/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^22 - 9498319946048114126334625016818710752095093306998412902879725916568\ 06091769311938732431267/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^21 - 2027063570068938292812372173066807666505215003591703730854515756280\ 305663913775324291260376/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^20 + 2385286679177643246267280580925871883917076868430898984553859092336\ 270974929682132945577941/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^19 + 3746187549348991513980192163981800314706349378082201859818571754089\ 084176340968184281283326/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^18 - 4015314157362084040328402665850477123825411717987800655023387121296\ 041152382425970012712431/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^17 - 4780299220368815018035283467834124532498286128646019205712754531438\ 628236760017249235519603/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^16 + 4605154494155339586410586588787897730344328898831725294749374736905\ 932446702121312768175352/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^15 + 4109753856774030808815835210804459456953748515809677314539175199875\ 960799405492539962319260/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^14 - 3581740612681575313829305988522905781139967238195556023423596688147\ 379038691990935593321345/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^13 - 2255066520001850926000843459078116653473600582020635645477986309966\ 038983662349272012187745/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^12 + 1834816761070235949930319137930011752735656965541387718234059926537\ 910645575154441581290070/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^11 + 7184151085798544359404913820585973536917670276177449086683970233089\ 85999784433556901498652/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^10 - 5741036321975965367921121326666843005649316468269303846700316468238\ 51991216672049862684355/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^9 - 1177565198806895204757547071134932412252406490604600202399843064143\ 54608515198727834872249/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^8 + 8980167267750741639752656481468552137248420678951751846727991460889\ 3669190891388622607871/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^7 + 1488530511499402048083626521407270614333407883615521482066644963515\ 4596284021774827336023/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^6 - 2949644679562349573222520309231470673269763322949971323623090309036\ 079961767370830220573/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^5 - 3695676937217513601834034756054526754538187434031642541548766164940\ 553142151549452077489/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^4 - 1082610291790608082775685494074029517167930535122296218267796744441\ 91135057670846266913/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^3 + 2499935184405263266404740757537566052839968510584495376205114588849\ 33814733918138467046/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^2 + 5794651911105332487741970287233618482443403668919879298422864031415\ 781665777426113135/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919*c_0101_4 - 5201440880620127801200947355389859219715081320909892670683373954748\ 076469024633853814/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919, c_0101_1 + 222368012829579116674503080807985296829146395453056602262245\ 3010156182924868074422625/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^32 - 2489799796965876622593223935078141150520514186267257369256872049729\ 229608355461137412/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919*c_0101_4^31 - 2284783456896156747305818988598698917629615567838616387272912359038\ 36951589857396061009/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^30 + 2135770173197383553618791235263138221607248586372208725353294733196\ 63605864900672790169/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^29 + 7561875285415692104146152651123865006482108496647979069718475318234\ 265961029795667726145/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^28 - 9054379269849026897676994521234807102746429583771291526910617888873\ 083517210969140434906/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^27 - 9384566515512064966629115214047453183033468967908372076591794685547\ 8410641472577341061940/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^26 + 1215505987375761521790339288227189565458608628817538109277751855028\ 59615022384414531001321/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^25 + 6131663458894769472348777452288733102434494701089564648221970975745\ 21127155211787332252554/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^24 - 8036041688026353701099738077831025441402196365862910118218368516824\ 21978022077163492428623/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^23 - 2464317834505644423948065838824019822761051481298794292264761937464\ 336728601503001481806234/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^22 + 3126484605459191253283566787658255839720703204087227756024899430425\ 693827767328023420122356/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^21 + 6591837101800560738078335562460793734160930716098565520161310266258\ 315007221815857175980774/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^20 - 7806045396856328942160934384595449652229380852709871752861200600084\ 572398513239910913029964/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^19 - 1214952856425078295248255016414490656932724059878556919683745825610\ 1983131787070566840352039/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^18 + 1305244508642287791116243112920561926311280082395817976737153790271\ 6972678333966040623656363/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^17 + 1547371779045133589544943563183856121240805753146954300712947131172\ 7103339074974985608905535/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^16 - 1484968214878927545418531053348927477784202732581078271968726435414\ 1968334243561438365741185/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^15 - 1329363050893680287475780304837461201301891847176415164377734069532\ 2003235588520561226743351/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^14 + 1143784484742102631135809089835529711319396978987440264157359379057\ 3202428924925689746559043/15488360159623261365991414212449589964942\ 88929386891834531349353554368147343636238919*c_0101_4^13 + 7309244571612811960621308786427291258173115268585531317386698571935\ 467026873870321492069070/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^12 - 5793568431151607129530507096710946189658939043594092594108793901153\ 927251415940217575541803/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^11 - 2352896159274290472469162959145326540694450842498972188132374994301\ 266321217732401387622267/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^10 + 1790740579501695756924419355322350702037892016292459616974107203003\ 809266847603372780442618/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^9 + 4007699694605128627471147391527431884847298140746814034845552091375\ 73612501184726620608195/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^8 - 2758056071314848969350486658134074016160214061278089009579404852676\ 39591931063925514464969/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^7 - 5307015477620684563926849449375083656230153402262025148232706881425\ 1340711491779142349853/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^6 + 7957296440358478811445407363814764560770673277346406554156133944455\ 929001863872621611704/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^5 + 1204340118901305903837352843656402039706763621123937582321066880298\ 1723893252051534771951/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^4 + 6434461152242644864621027416264984714833716962134158513603463623183\ 04345380098406500851/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^3 - 7902810469221981943201613987664615782907811727064654521003688080271\ 05163545625935269607/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^2 - 4811127066342100943298073264855522455723440663251697046878527959672\ 5830938975087582409/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4 + 1661487946180898974678844014194992030237304433032242525747853360277\ 0394144426157427749/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919, c_0101_3 - 392793035866563762156891073412290864058886099635919709525409\ 450597492181668601421468/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^32 + 4260616515381137942366541394319082790287554029959612747877093044154\ 65073759316515676/1548836015962326136599141421244958996494288929386\ 891834531349353554368147343636238919*c_0101_4^31 + 4038921392550282597424142492711397199786257749546276942467380732070\ 8736442504970185755/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^30 - 3634790422386943866764143489176184866411516285073435679438149983388\ 8614258194969338528/15488360159623261365991414212449589964942889293\ 86891834531349353554368147343636238919*c_0101_4^29 - 1338584035391990914454405890029258866350836206621039063642711040312\ 751287050526420336128/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^28 + 1555732572536918069617718570966143258107469051307384073406577009160\ 316163601085579293759/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^27 + 1668148737985143812584920262700886821963388034814548697036117068027\ 7681189697898713886310/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^26 - 2100445178867386546001216238484715356539209822480343280437639709822\ 4935088059574106797576/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^25 - 1095872412068321216960574909562495434381980939829524935301003999338\ 27023006797326844279905/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^24 + 1395551446215665066790186445956212923369269704876364967963494804720\ 58581403665864609173009/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^23 + 4430346021774655654138196083410962810143608856499468545088351788016\ 43518917120471207865400/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^22 - 5455463524759920975420748960439735051413047824534223929167395486105\ 01739253209641265184277/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^21 - 1191874128707552741906148655940226293629239436246703138961873071814\ 461219401451453597273469/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^20 + 1368649450456570293876406998944721274768178992665350280164597893127\ 657288263187289065188482/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^19 + 2208284801380939405737455285167259654401180727959048387298480452033\ 307265294509032822629578/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^18 - 2300365773370838279913185208283285285862138220285453048854223125136\ 949037883780394560418181/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^17 - 2825862415689144131124077160852907061650544147280854438865244783299\ 781431523017976101148017/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^16 + 2633027445704933507124153055128045517222356374638353418153932231781\ 771496342557504988022389/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^15 + 2438410908483051328778385530180842024313813000018872288758422713315\ 270357697594162839609795/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^14 - 2043407186887959822470129438130230396911634003276805867647671147293\ 090170330427658910298287/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^13 - 1346031156199988118513350630708483650742802045957252799566039317337\ 831295792370147470271408/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^12 + 1044581208848230722933422841087671646172471201706372197337068666728\ 492508589329699823918728/154883601596232613659914142124495899649428\ 8929386891834531349353554368147343636238919*c_0101_4^11 + 4342668188513598037959829885296060838267184737513595475796650719084\ 62878299213013551114883/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^10 - 3260384332803200406197534672226201530800281276482387741898932432254\ 48704565023870398805234/1548836015962326136599141421244958996494288\ 929386891834531349353554368147343636238919*c_0101_4^9 - 7347914291331947608641359520990279321250300963568841131868009481210\ 6744795056813404675772/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^8 + 5054816020980744658640686228132985070804754647602427947847464129045\ 0476310449989467644014/15488360159623261365991414212449589964942889\ 29386891834531349353554368147343636238919*c_0101_4^7 + 9512649402225897704048630813391057684072789031004648309264469124563\ 117370195278372602561/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^6 - 1421684746527362187625522634666740348416745547726766614075929213308\ 057734377179065808498/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^5 - 2216311750333267281510871186078545423961482585570514376049649242341\ 890520173617357204852/154883601596232613659914142124495899649428892\ 9386891834531349353554368147343636238919*c_0101_4^4 - 1200742484945316006296431004354223366746194440653911792857768042163\ 93185276925360489092/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^3 + 1521954411130660827241983668189972448154359541119226017765978377164\ 90098541279182477799/1548836015962326136599141421244958996494288929\ 386891834531349353554368147343636238919*c_0101_4^2 + 8848545760899303892297136497536283627871318846553109812960102491144\ 302804984841014429/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919*c_0101_4 - 3405253131741819780594438381202910037092287747333257164087940170630\ 924464063817427765/154883601596232613659914142124495899649428892938\ 6891834531349353554368147343636238919, c_0101_4^33 - 104*c_0101_4^31 - 19*c_0101_4^30 + 3508*c_0101_4^29 - 264*c_0101_4^28 - 46757*c_0101_4^27 + 7400*c_0101_4^26 + 336891*c_0101_4^25 - 52536*c_0101_4^24 - 1512524*c_0101_4^23 + 164509*c_0101_4^22 + 4537538*c_0101_4^21 - 188969*c_0101_4^20 - 9391893*c_0101_4^19 - 253032*c_0101_4^18 + 13527782*c_0101_4^17 + 1121137*c_0101_4^16 - 13453467*c_0101_4^15 - 1557603*c_0101_4^14 + 9046841*c_0101_4^13 + 1079900*c_0101_4^12 - 3977472*c_0101_4^11 - 381518*c_0101_4^10 + 1083554*c_0101_4^9 + 78344*c_0101_4^8 - 163276*c_0101_4^7 - 23240*c_0101_4^6 + 9490*c_0101_4^5 + 6362*c_0101_4^4 - 36*c_0101_4^3 - 421*c_0101_4^2 - 17*c_0101_4 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB