Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 3566553128] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2114 geometric_solution 5.61282749 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 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.601604044156 0.175926485100 2 0 2 0 0132 2310 1023 0132 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 1 -1 -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.867119765919 0.271863120751 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.247684963620 0.529541690633 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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 -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.526779545706 0.538145125054 5 6 2 3 3201 0132 0132 3120 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 -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.526779545706 0.538145125054 5 5 3 4 1302 2031 0132 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 -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.596761486078 0.905033196087 6 4 6 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560109430193 1.485232624244 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_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_5'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 4758210892057207464917962597323155782419658107678917612331802151268\ 16547946685046140167885426147542422957825162979/2975494347683042795\ 2123363438387774882537347814339566230298688697179675870540733766906\ 8116453814935873098106836412575*c_1001_3^26 - 1931347985954305734011975951840289705699918664247612075868476520379\ 1504409248396858311464593105781297225762837678599/59509886953660855\ 9042467268767755497650746956286791324605973773943593517410814675338\ 136232907629871746196213672825150*c_1001_3^25 - 7011819685474277051521433130290209792275340327267916929935106965176\ 059302623667490166193136483088672052882805287631/661220966151787287\ 8249636319641727751674966180964348051177486377151039082342385281534\ 8470323069985749577357074758350*c_1001_3^24 + 2380529037736641239986423642064907582882615832233512098047926855151\ 74775901074266771011427563591354424726419236623563/2975494347683042\ 7952123363438387774882537347814339566230298688697179675870540733766\ 9068116453814935873098106836412575*c_1001_3^23 + 2089176424708009371792982127189687705869450863151327284620906872552\ 307705880495269235990869723309654087702479461846131/595098869536608\ 5590424672687677554976507469562867913246059737739435935174108146753\ 38136232907629871746196213672825150*c_1001_3^22 + 5743262392922316265185263712094314326970610045085664795684343334935\ 3819546007638878585623585127870890134618680342269/66122096615178728\ 7824963631964172775167496618096434805117748637715103908234238528153\ 48470323069985749577357074758350*c_1001_3^21 - 1384434251957451094192893593955106380342039254066863290215352351798\ 782584917784407361107112129444716052405922066630161/396732579691072\ 3726949781791785036651004979708578608830706491826290623449405431168\ 9209082193841991449746414244855010*c_1001_3^20 - 1674562633561563601735994934680253624425163928178631781729899621912\ 3805450239958501391777093071848841384421914196149063/11901977390732\ 1711808493453753551099530149391257358264921194754788718703482162935\ 067627246581525974349239242734565030*c_1001_3^19 - 7804438516760841000366008544101448617826913012523077134854694737258\ 367899413003681288042896787924985625911540264884319/540998972306007\ 7809476975170615959069552245057152648405508852490396304703734678866\ 7103293900693624704199655788438650*c_1001_3^18 + 1943433660966542004380714385614435756958299269966445109748927444601\ 2824851650922365510365766993144546169749662533571988/33061048307589\ 3643912481815982086387583748309048217402558874318857551954117119264\ 07674235161534992874788678537379175*c_1001_3^17 + 1512807382368069209463870438718045163661892873444586289764256982928\ 922852917758458742846272320722408980520981397856557039/595098869536\ 6085590424672687677554976507469562867913246059737739435935174108146\ 75338136232907629871746196213672825150*c_1001_3^16 + 2773061508157881684041618167803387064301359284710918019056436517363\ 56333855686813160096702072448304446411197814601661199/6612209661517\ 8728782496363196417277516749661809643480511774863771510390823423852\ 815348470323069985749577357074758350*c_1001_3^15 + 6030195321749176274340448225433344252687398499378299483525122980126\ 81896626502164466198209911063785866815589686552064174/2975494347683\ 0427952123363438387774882537347814339566230298688697179675870540733\ 7669068116453814935873098106836412575*c_1001_3^14 - 6111233696708082970087138048474040563696497725557858888834797769108\ 65229453629352018976731467854603352234336958504635082/9918314492276\ 8093173744544794625916275124492714465220767662295657265586235135779\ 223022705484604978624366035612137525*c_1001_3^13 - 8507356599104698801888761897743879073565401966398507482090688543546\ 638891793726710224039131530207134960949707606685049249/595098869536\ 6085590424672687677554976507469562867913246059737739435935174108146\ 75338136232907629871746196213672825150*c_1001_3^12 - 3364680334420393921506268006118900705420831633644697867244928134950\ 09793141592157378534067299592656907709616755010089117/2380395478146\ 4342361698690750710219906029878251471652984238950957743740696432587\ 013525449316305194869847848546913006*c_1001_3^11 + 1584475621882118731505545358937181211085493141212662717608963702800\ 48241082417872047531362189740754434870998795597730369/5950988695366\ 0855904246726876775549765074695628679132460597377394359351741081467\ 533813623290762987174619621367282515*c_1001_3^10 + 1501576377194326723859355051417611576925743635294593396587254585922\ 53359485583342926996010060859235627914445064351607028/9016649538433\ 4630157949586176932651159204084285877473425147541506605078395577981\ 11183882316782270784033275964739775*c_1001_3^9 + 1185730992884657936172536542254923842037801075164737624702383222069\ 4697432516271054474929209748057630684969853310878254339/59509886953\ 6608559042467268767755497650746956286791324605973773943593517410814\ 675338136232907629871746196213672825150*c_1001_3^8 + 6391397881369659703948627521862858443392018587324830716766665623204\ 499314332205343870140204899771535160554163042063009387/595098869536\ 6085590424672687677554976507469562867913246059737739435935174108146\ 75338136232907629871746196213672825150*c_1001_3^7 - 1865327542634568739425619800797971836629433095537154365494457830357\ 715026474779218142408313001329230950401755630545801831/198366289845\ 5361863474890895892518325502489854289304415353245913145311724702715\ 58446045410969209957248732071224275050*c_1001_3^6 - 2876164126129237449431276456439353308330222473834048653886844040679\ 215174482741358661965901245571750173806394071614996773/198366289845\ 5361863474890895892518325502489854289304415353245913145311724702715\ 58446045410969209957248732071224275050*c_1001_3^5 - 1666085966827701077920008472184739051671658916446178771198224849437\ 4318788311216630166488901113182899008689402441213347/21639958892240\ 3112379079006824638362782089802286105936220354099615852188149387154\ 6684131756027744988167986231537546*c_1001_3^4 + 2475062096713555923769246713954218078416027489409309095333075117528\ 15293101831690134710353010077420131963362663718587511/9918314492276\ 8093173744544794625916275124492714465220767662295657265586235135779\ 223022705484604978624366035612137525*c_1001_3^3 + 3012401494401737015243027150954767185853445746764141433929040650174\ 417479132528264586351691204392959934082163219209460971/595098869536\ 6085590424672687677554976507469562867913246059737739435935174108146\ 75338136232907629871746196213672825150*c_1001_3^2 + 8907519703301600185111713290419350571034370887563203641850685539086\ 1570158553946442656456504083296628662856936425133347/29754943476830\ 4279521233634383877748825373478143395662302986886971796758705407337\ 669068116453814935873098106836412575*c_1001_3 - 1221990831518472264308814576682606292061605176964088603604140934264\ 07189091770701191703159396545303849636006328392851209/1983662898455\ 3618634748908958925183255024898542893044153532459131453117247027155\ 8446045410969209957248732071224275050, c_0011_0 - 1, c_0011_1 + 132584836583793794020367679480036266203407272507366791564310\ 8169733236788963424330776855726588804825673/44814426951647018201324\ 8273203841475087660990488535931573446526871383433719988252278270029\ 37198725577330588*c_1001_3^26 - 15616905634365618559589517740659844\ 5170804436755374698285171590868411330768794856829750135080531694759\ 15/2240721347582350910066241366019207375438304952442679657867232634\ 3569171685999412613913501468599362788665294*c_1001_3^25 + 4651917584573090183038389102869662541738205012959625061055477895352\ 401761124383611294218167248977965517/149381423172156727337749424401\ 2804916958869968295119771911488422904611445733294174260900097906624\ 1859110196*c_1001_3^24 + 619257779278359484013251126515517091237664\ 490043852430803087434899328989780693330968727223221887947759813/448\ 1442695164701820132482732038414750876609904885359315734465268713834\ 3371998825227827002937198725577330588*c_1001_3^23 + 4360635684490368192285507116528565390320153106025472906265211438269\ 52139526074302690249902887502024601601/2240721347582350910066241366\ 0192073754383049524426796578672326343569171685999412613913501468599\ 362788665294*c_1001_3^22 - 3562628365455134802103372762905098685992\ 89890370107411619689099275377831920665380493227916557384065146989/7\ 4690711586078363668874712200640245847943498414755988595574421145230\ 57228666470871304500489533120929555098*c_1001_3^21 - 3603229860901324692153436152782633173607958032850317702618409003435\ 348312049648244746160002134712859172549/746907115860783636688747122\ 0064024584794349841475598859557442114523057228666470871304500489533\ 120929555098*c_1001_3^20 - 1135801267776125160408832115793336485591\ 4560742816029930631489962236673004812430666952478140911712760542219\ /112036067379117545503312068300960368771915247622133982893361631717\ 84585842999706306956750734299681394332647*c_1001_3^19 + 2810813788710799974989417792749235943046397231592512107709927035864\ 8229030462306476222752356596164540362663/44814426951647018201324827\ 3203841475087660990488535931573446526871383433719988252278270029371\ 98725577330588*c_1001_3^18 + 12793767387088805069028870056214262755\ 1672333089696691894276748983674199363447056259374379694696158001580\ 115/149381423172156727337749424401280491695886996829511977191148842\ 29046114457332941742609000979066241859110196*c_1001_3^17 + 2059591707391250621201425959362871157936617987890502569945449520550\ 40528767148118058663071668377071227459207/1120360673791175455033120\ 6830096036877191524762213398289336163171784585842999706306956750734\ 299681394332647*c_1001_3^16 + 2618584883747731105727455265794935537\ 2660591662397927355178255045778979275407799525973841359161276904684\ 8455/14938142317215672733774942440128049169588699682951197719114884\ 229046114457332941742609000979066241859110196*c_1001_3^15 - 1693039249648687995295847099668578132049488001988237953369289283279\ 33930729190233798548858832902032839758662/1120360673791175455033120\ 6830096036877191524762213398289336163171784585842999706306956750734\ 299681394332647*c_1001_3^14 - 7859212751293906363009516702563398722\ 7627350934049942505160692802015093314446864267306820232266864190286\ 8457/14938142317215672733774942440128049169588699682951197719114884\ 229046114457332941742609000979066241859110196*c_1001_3^13 - 1743055662477880374459674155338996329439797092027349035455445304910\ 977489770730226784917382141493029712756747/224072134758235091006624\ 1366019207375438304952442679657867232634356917168599941261391350146\ 8599362788665294*c_1001_3^12 - 452978563081491884924293808099274553\ 3595534768499200312928213592385951456111320172242108232691777568158\ 49247/4481442695164701820132482732038414750876609904885359315734465\ 2687138343371998825227827002937198725577330588*c_1001_3^11 + 5782908701446661195255842197459135733567885379031854276565811022507\ 41368441850122860311589534258944684951136/1120360673791175455033120\ 6830096036877191524762213398289336163171784585842999706306956750734\ 299681394332647*c_1001_3^10 + 1221085487568879356962111773317508000\ 3239432965090484463204731433984749749262994873623321208655235653272\ 01551/1493814231721567273377494244012804916958869968295119771911488\ 4229046114457332941742609000979066241859110196*c_1001_3^9 + 1626751890460977416365903342348017286517025615108275307126169937181\ 077824686751160807171487542638324647304441/224072134758235091006624\ 1366019207375438304952442679657867232634356917168599941261391350146\ 8599362788665294*c_1001_3^8 - 2347596063938731091860984056892474803\ 7603236090524452679779618293567011657120484873128336555682572060854\ 7879/11203606737911754550331206830096036877191524762213398289336163\ 171784585842999706306956750734299681394332647*c_1001_3^7 - 1871341547930529185203170249731058212793733273645659345835772568995\ 66948943214470085600390693583644690215781/3734535579303918183443735\ 6100320122923971749207377994297787210572615286143332354356522502447\ 66560464777549*c_1001_3^6 - 289029298978383431347721128651308893563\ 4302542454817335627821719860173918519886486083440700554320343009631\ 25/7469071158607836366887471220064024584794349841475598859557442114\ 523057228666470871304500489533120929555098*c_1001_3^5 + 4696854572694862537909010350952655958497845694507417490081856160241\ 6183867196504420932832888202344943157519/44814426951647018201324827\ 3203841475087660990488535931573446526871383433719988252278270029371\ 98725577330588*c_1001_3^4 + 289330114892236328438671123426571790995\ 3861586267051058733257501772475392336822156655399359885047338923087\ 97/1493814231721567273377494244012804916958869968295119771911488422\ 9046114457332941742609000979066241859110196*c_1001_3^3 - 9910487749719236285771118954382438752093505936626333213175886077157\ 4453634423893253101192039633673339773031/44814426951647018201324827\ 3203841475087660990488535931573446526871383433719988252278270029371\ 98725577330588*c_1001_3^2 - 909687251711170017764210446298151031111\ 5751189473256693317064727483413138893272610058375950317176397776190\ 5/44814426951647018201324827320384147508766099048853593157344652687\ 138343371998825227827002937198725577330588*c_1001_3 + 1070892502465636793444579268769062032494763868455803854840690060033\ 0914823453003512930288766304928224223421/14938142317215672733774942\ 4401280491695886996829511977191148842290461144573329417426090009790\ 66241859110196, c_0011_4 + 360617120531613996040582434981934976094508809759480121726893\ 3817449930550324727398778523946228732636325153/26775499742935302199\ 8365512032465185328000250292138005716844963642479817061849981029959\ 385799028085643155930653*c_1001_3^26 - 1596087253083659873548400110809972239680158682587196882018717538454\ 88954461875710191108886755252197984758307/5355099948587060439967310\ 2406493037065600050058427601143368992728495963412369996205991877159\ 8056171286311861306*c_1001_3^25 - 555528062117139278801459766331910\ 2030801283502489226728350799283146659133078633093943874036428638647\ 2556113/17850333161956868133224367468831012355200016686142533714456\ 3309094986544707899987353306257199352057095437287102*c_1001_3^24 + 1738229846803743602113425506791621940131656147071878559232445286617\ 689053805971420804495646069140172916101307/267754997429353021998365\ 5120324651853280002502921380057168449636424798170618499810299593857\ 99028085643155930653*c_1001_3^23 + 9569814016392011280208232488116852275636774913606605491475194636836\ 089387651973970039435209691732562084526437/535509994858706043996731\ 0240649303706560005005842760114336899272849596341236999620599187715\ 98056171286311861306*c_1001_3^22 - 1615877787650468220712287655424910415274600880316395822594108432290\ 800742070527220405400758424490973165678385/178503331619568681332243\ 6746883101235520001668614253371445633090949865447078999873533062571\ 99352057095437287102*c_1001_3^21 - 4485577624827681762426211832136908959217366745235843551778879241202\ 4027315703490465079299212300236286521050321/17850333161956868133224\ 3674688310123552000166861425337144563309094986544707899987353306257\ 199352057095437287102*c_1001_3^20 - 4158592137985915384860346614404769632144972471990331465173722738898\ 80224830622209630339039507254428403766723123/5355099948587060439967\ 3102406493037065600050058427601143368992728495963412369996205991877\ 1598056171286311861306*c_1001_3^19 - 1989995854330073764107205060892275424472207958801479923468060219015\ 32794228452270072791583147285728796497081771/5355099948587060439967\ 3102406493037065600050058427601143368992728495963412369996205991877\ 1598056171286311861306*c_1001_3^18 + 3866155379398303069199847086690042727446230133357003933495748675678\ 19130230218150302366355294788778932078691191/8925166580978434066612\ 1837344155061776000083430712668572281654547493272353949993676653128\ 599676028547718643551*c_1001_3^17 + 7499196205567156778277524452294059393243400004507801231246863836215\ 942854711004070931275618574402815865063265231/535509994858706043996\ 7310240649303706560005005842760114336899272849596341236999620599187\ 71598056171286311861306*c_1001_3^16 + 3558460279441103332158954313561578360739976101902694279356163655704\ 212793156885736771563943101681595589441748359/178503331619568681332\ 2436746883101235520001668614253371445633090949865447078999873533062\ 57199352057095437287102*c_1001_3^15 + 1087835755374989935315067858966166639514163270508203632076578515967\ 160728832892605323499376285719816249603903768/267754997429353021998\ 3655120324651853280002502921380057168449636424798170618499810299593\ 85799028085643155930653*c_1001_3^14 - 3126834515766443128918646889487580207409676373621932616510240117060\ 581747220938114141468640522416615817993704019/892516658097843406661\ 2183734415506177600008343071266857228165454749327235394999367665312\ 8599676028547718643551*c_1001_3^13 - 3810916390802402082893836715176436617224457963858637583930423433613\ 4512105471633956581019379310571904106586953065/53550999485870604399\ 6731024064930370656000500584276011433689927284959634123699962059918\ 771598056171286311861306*c_1001_3^12 - 2945163499942360936590667233060423247340475147899831991105856643450\ 8399101983527501157654381531410672049400256213/53550999485870604399\ 6731024064930370656000500584276011433689927284959634123699962059918\ 771598056171286311861306*c_1001_3^11 + 5502624705860156929505370880362247501020893319895968844112222186477\ 695483472259596869796849964209742094801883192/267754997429353021998\ 3655120324651853280002502921380057168449636424798170618499810299593\ 85799028085643155930653*c_1001_3^10 + 6886327842775205099217935109367328469430189095934867528207713868577\ 933936716338535144595004558673283684899572927/892516658097843406661\ 2183734415506177600008343071266857228165454749327235394999367665312\ 8599676028547718643551*c_1001_3^9 + 4858115067186336701827168810403762986058513909272877586854310835205\ 5560829580872636177395759798532316785600173955/53550999485870604399\ 6731024064930370656000500584276011433689927284959634123699962059918\ 771598056171286311861306*c_1001_3^8 + 1905628586166403968001369463239324552150569430044577149962484742198\ 5417303343415678267439639976495023108669291677/53550999485870604399\ 6731024064930370656000500584276011433689927284959634123699962059918\ 771598056171286311861306*c_1001_3^7 - 7548888891802211702968990369274902735753206237347498323240590517276\ 232312276342001033918182169530321626691715393/178503331619568681332\ 2436746883101235520001668614253371445633090949865447078999873533062\ 57199352057095437287102*c_1001_3^6 - 1047043501664481450723050780735244851278129000544899184600299681297\ 5563924133323854072339966349284573863576942991/17850333161956868133\ 2243674688310123552000166861425337144563309094986544707899987353306\ 257199352057095437287102*c_1001_3^5 - 1511237738225697650358096023990882987241005207957383525292244439899\ 2262269237210958144234856380602240070955925401/53550999485870604399\ 6731024064930370656000500584276011433689927284959634123699962059918\ 771598056171286311861306*c_1001_3^4 + 9974377330798961784197882149605864073384531242588419974044358861378\ 61635624081984486212116988726607464462016294/8925166580978434066612\ 1837344155061776000083430712668572281654547493272353949993676653128\ 599676028547718643551*c_1001_3^3 + 8021281330580872394144504647440196846306655004627826442845463164118\ 449803898237946860579920881091678157174440145/535509994858706043996\ 7310240649303706560005005842760114336899272849596341236999620599187\ 71598056171286311861306*c_1001_3^2 + 3789587145416100888852253146275192512868381292737500002700688195870\ 4362946950841568086866480111934900374331680/26775499742935302199836\ 5512032465185328000250292138005716844963642479817061849981029959385\ 799028085643155930653*c_1001_3 - 2001604552152787027851545997282808\ 6438042903516571945377638603006138053614252900390418858672299597940\ 6580986553/17850333161956868133224367468831012355200016686142533714\ 4563309094986544707899987353306257199352057095437287102, c_0011_5 + 420337485682177869497739337042608548066334515152691759529327\ 89450917815800140568564873721564656922945440953/3213059969152236263\ 9803861443895822239360030035056560686021395637097578047421997723595\ 12629588337027717871167836*c_1001_3^26 - 5081052738508945879976134328070844267824295831514781041112125682215\ 35875356883647448917511890143290432234535/1606529984576118131990193\ 0721947911119680015017528280343010697818548789023710998861797563147\ 94168513858935583918*c_1001_3^25 + 1147837360393727982447219216625924392634548762525928938875122525109\ 69947343408517790712997932492432278016387/3570066632391373626644873\ 4937662024710400033372285067428912661818997308941579997470661251439\ 8704114190874574204*c_1001_3^24 + 198823802820434475437086455908849\ 4731337907640302103394369448103210872535131139221365971594446866933\ 2781668105/32130599691522362639803861443895822239360030035056560686\ 02139563709757804742199772359512629588337027717871167836*c_1001_3^2\ 3 + 751871085001894312472962708881547805773371415006794146145681704\ 9690053456998273068322722078459118878824405933/16065299845761181319\ 9019307219479111196800150175282803430106978185487890237109988617975\ 6314794168513858935583918*c_1001_3^22 - 5269018044555508125579715981099049491773098508327433083707391250430\ 892881554667832224757140687113927935114191/178503331619568681332243\ 6746883101235520001668614253371445633090949865447078999873533062571\ 99352057095437287102*c_1001_3^21 - 1088921713568531621075080173884848560335269687568311683762102861758\ 44825408241198687401777673637317234501095393/5355099948587060439967\ 3102406493037065600050058427601143368992728495963412369996205991877\ 1598056171286311861306*c_1001_3^20 - 2440862059876539976529983235345573478305191845706452379745861058727\ 33540071741247330784477177111297403293352089/8032649922880590659950\ 9653609739555598400075087641401715053489092743945118554994308987815\ 7397084256929467791959*c_1001_3^19 + 2121624040165824753909177930285209676334787046931801516674690026500\ 731291179934321865505823322543818867187845755/321305996915223626398\ 0386144389582223936003003505656068602139563709757804742199772359512\ 629588337027717871167836*c_1001_3^18 + 1356534708810722787786131098510370346294270494843262669935996267887\ 751603958056801389843103503822444368588550577/357006663239137362664\ 4873493766202471040003337228506742891266181899730894157999747066125\ 14398704114190874574204*c_1001_3^17 + 4459677541454641543902944874925196813949523937829329764434898375470\ 098414309414102677460144720449363220880952601/803264992288059065995\ 0965360973955559840007508764140171505348909274394511855499430898781\ 57397084256929467791959*c_1001_3^16 + 2984353066853696087223938808672480409104848425448486885017063505491\ 00638954860606594835749287595926782787575873/3570066632391373626644\ 8734937662024710400033372285067428912661818997308941579997470661251\ 4398704114190874574204*c_1001_3^15 - 1193928850759721971386080146443211413427285442263752649530811049756\ 0128048078629954659007089914209680815608270782/80326499228805906599\ 5096536097395555984000750876414017150534890927439451185549943089878\ 157397084256929467791959*c_1001_3^14 - 2301225208371500464356563660918625093467873334545302712319076648951\ 7123090580940401439734455953984940227000132553/10710199897174120879\ 9346204812986074131200100116855202286737985456991926824739992411983\ 7543196112342572623722612*c_1001_3^13 - 2392379456720974133946889894920124753071188686029663456610830189826\ 0996661204820067095785519726205608301616215319/16065299845761181319\ 9019307219479111196800150175282803430106978185487890237109988617975\ 6314794168513858935583918*c_1001_3^12 + 8835088230816432160728539586572665331097612647697106076647992987361\ 0703763204290130235363900712573964265888449497/32130599691522362639\ 8038614438958222393600300350565606860213956370975780474219977235951\ 2629588337027717871167836*c_1001_3^11 + 3148189448227985318375989323279050320179772526547332328802571036694\ 0412835713435610286891786113544423212374764811/80326499228805906599\ 5096536097395555984000750876414017150534890927439451185549943089878\ 157397084256929467791959*c_1001_3^10 + 1802138504197119692749730774343525928896121188913012434292369977787\ 1623715589189163140673022094474200483924562215/10710199897174120879\ 9346204812986074131200100116855202286737985456991926824739992411983\ 7543196112342572623722612*c_1001_3^9 - 4316679679308385987083529382800095062270363272647820824211092118448\ 126300201615644611460606716771627354557361007/160652998457611813199\ 0193072194791111968001501752828034301069781854878902371099886179756\ 314794168513858935583918*c_1001_3^8 - 3714020981434684994923339162154520168590799101014957677302420993321\ 7384757540058233686267105833041239381617039014/80326499228805906599\ 5096536097395555984000750876414017150534890927439451185549943089878\ 157397084256929467791959*c_1001_3^7 - 6690047692743946336634593031475762004263786902515582598858935595215\ 790860626675464957499169270797828176303390078/267754997429353021998\ 3655120324651853280002502921380057168449636424798170618499810299593\ 85799028085643155930653*c_1001_3^6 + 3918834071060098615118985249805499170332453710015082823961640481451\ 269139881032569466642884816259180378110583899/535509994858706043996\ 7310240649303706560005005842760114336899272849596341236999620599187\ 71598056171286311861306*c_1001_3^5 + 7332848462959539402637674398779158679680926748386245522785443969818\ 7035237383633721029477523700350908279761454059/32130599691522362639\ 8038614438958222393600300350565606860213956370975780474219977235951\ 2629588337027717871167836*c_1001_3^4 + 1661824544438656421765281308113565420742540329772488818796354520272\ 2308410754916316489458760968175350921689021133/10710199897174120879\ 9346204812986074131200100116855202286737985456991926824739992411983\ 7543196112342572623722612*c_1001_3^3 - 3240137967628903535549531319508375926092705656897963844736549100707\ 4789089113433681096469931124822624264733337603/32130599691522362639\ 8038614438958222393600300350565606860213956370975780474219977235951\ 2629588337027717871167836*c_1001_3^2 - 1404460832489290629636962584268515398172634844359531488930008346596\ 7921870415725634777320329816191942681948026709/32130599691522362639\ 8038614438958222393600300350565606860213956370975780474219977235951\ 2629588337027717871167836*c_1001_3 + 9390393092129984920907999782356608319609135292289446600666237636160\ 02371217554971822046064899076324536187974869/1071019989717412087993\ 4620481298607413120010011685520228673798545699192682473999241198375\ 43196112342572623722612, c_0101_0 - 850326895160853598664171785684068859898197789296134809811687\ 304218720249458468563839618456466741975485/336108202137352636509936\ 2049028811063157457428664019486800848951535375752899911892087025220\ 2899044182997941*c_1001_3^26 + 400289619023139178716399355137443704\ 2996500462355745422788758697963042935981412583442870313866511310023\ 3/67221640427470527301987240980576221263149148573280389736016979030\ 707515057998237841740504405798088365995882*c_1001_3^25 - 1926879425184989903645578442900466279213077937890742210454532810606\ 888928494939856466345845350505330577/746907115860783636688747122006\ 4024584794349841475598859557442114523057228666470871304500489533120\ 929555098*c_1001_3^24 - 3943870462077919487341410667874080764267750\ 85456383854818870777006730718103777871430456160866645576136735/3361\ 0820213735263650993620490288110631574574286640194868008489515353757\ 528999118920870252202899044182997941*c_1001_3^23 - 1137360997570058700433537198689098868456615590872738962683503326395\ 786656612178257544240153201541703716623/672216404274705273019872409\ 8057622126314914857328038973601697903070751505799823784174050440579\ 8088365995882*c_1001_3^22 + 289112706713468033266561925183467363361\ 338159226834980137367012047557495117936794746283373889048896767321/\ 7469071158607836366887471220064024584794349841475598859557442114523\ 057228666470871304500489533120929555098*c_1001_3^21 + 9207509280771371179312671823411267100780436587338299762569372289027\ 129403266208040490362992480638448331165/224072134758235091006624136\ 6019207375438304952442679657867232634356917168599941261391350146859\ 9362788665294*c_1001_3^20 + 592418825324721418646269624979510022711\ 1723008124933965931820431670143906907082384380889810767457767725168\ 1/67221640427470527301987240980576221263149148573280389736016979030\ 707515057998237841740504405798088365995882*c_1001_3^19 - 3079877482093390963416340929263066788725569230848551168713892232184\ 2487171143686834150335091429775574753589/67221640427470527301987240\ 9805762212631491485732803897360169790307075150579982378417405044057\ 98088365995882*c_1001_3^18 - 26915375779063548165268950618595778226\ 5466501205375039417788882911909164925046672379363038747284903496315\ 59/3734535579303918183443735610032012292397174920737799429778721057\ 261528614333235435652250244766560464777549*c_1001_3^17 - 1072066064016924864043057739365208955446034579119241417729724775356\ 023551290345688604004204850795024046054629/672216404274705273019872\ 4098057622126314914857328038973601697903070751505799823784174050440\ 5798088365995882*c_1001_3^16 - 122374954827175380217398462411511619\ 9600223505242162106101269474839911561737355306287609311827714863584\ 75601/7469071158607836366887471220064024584794349841475598859557442\ 114523057228666470871304500489533120929555098*c_1001_3^15 + 3467024535620042093368571373329470203509492464116587522705735138278\ 61725097758773844824005117906130224146594/3361082021373526365099362\ 0490288110631574574286640194868008489515353757528999118920870252202\ 899044182997941*c_1001_3^14 + 4824594802089890236066922862544052574\ 5950100039608205213067092589406329442127290302557265124184340022407\ 7021/11203606737911754550331206830096036877191524762213398289336163\ 171784585842999706306956750734299681394332647*c_1001_3^13 + 4659509723025062767605289452129624281101079226040693030784326390430\ 935946651162183227135679726526018104318513/672216404274705273019872\ 4098057622126314914857328038973601697903070751505799823784174050440\ 5798088365995882*c_1001_3^12 + 111170356105592087837388822719599679\ 1726089066708132205563594053453834913825417118308113235136045919423\ 621207/672216404274705273019872409805762212631491485732803897360169\ 79030707515057998237841740504405798088365995882*c_1001_3^11 - 1157256464946241574428021591207847578141616212604549790740661823564\ 247093465956091085213267079566686115590126/336108202137352636509936\ 2049028811063157457428664019486800848951535375752899911892087025220\ 2899044182997941*c_1001_3^10 - 783118605488698749621499969390345721\ 3468836670894895467666613680425041188340961842398395138859394844152\ 98575/1120360673791175455033120683009603687719152476221339828933616\ 3171784585842999706306956750734299681394332647*c_1001_3^9 - 4761257418752575124066359096361141516345052720498018572078306513337\ 088223718027884060261459181252701539504249/672216404274705273019872\ 4098057622126314914857328038973601697903070751505799823784174050440\ 5798088365995882*c_1001_3^8 + 4036420444713030282206864092513841211\ 5847095251387635705472852994392631059961942305769584309739321830259\ 1355/67221640427470527301987240980576221263149148573280389736016979\ 030707515057998237841740504405798088365995882*c_1001_3^7 + 7520667937408015341677345937420820317866775929950857404924913018443\ 61609651554654703422805431202247457527799/2240721347582350910066241\ 3660192073754383049524426796578672326343569171685999412613913501468\ 599362788665294*c_1001_3^6 + 85306027844373953211316387925504391671\ 8643337687202054045648727796497943154576527399454200711625684114212\ 089/224072134758235091006624136601920737543830495244267965786723263\ 43569171685999412613913501468599362788665294*c_1001_3^5 + 5123427295083676828995461165757984289325940282273717041430444760932\ 16796784978474452632392325965147716476309/6722164042747052730198724\ 0980576221263149148573280389736016979030707515057998237841740504405\ 798088365995882*c_1001_3^4 - 11793905704794315726354453694885286479\ 9427210295515740583962062358734810862476319531232392174661371820220\ 727/112036067379117545503312068300960368771915247622133982893361631\ 71784585842999706306956750734299681394332647*c_1001_3^3 + 1336093352269057181499877025001456472603107032328501987731271464080\ 06276424322567275022865425865379142561281/6722164042747052730198724\ 0980576221263149148573280389736016979030707515057998237841740504405\ 798088365995882*c_1001_3^2 - 45937717136254356574724496419942667489\ 2356287188364186133403263039562680804641253170685848947631732429890\ 60/3361082021373526365099362049028811063157457428664019486800848951\ 5353757528999118920870252202899044182997941*c_1001_3 - 1167578209391813540025779782637464273508256086933133796559662676660\ 3637711505750161886994971570442898493355/22407213475823509100662413\ 6601920737543830495244267965786723263435691716859994126139135014685\ 99362788665294, c_0101_1 - 178232133964976151214344475338547981396287353536862265940242\ 476748199860954631956505680843697856242469/224072134758235091006624\ 1366019207375438304952442679657867232634356917168599941261391350146\ 8599362788665294*c_1001_3^26 + 422288433584274947657752458730233608\ 8937020366671542605320011522674379567983468554122887036363063285123\ /224072134758235091006624136601920737543830495244267965786723263435\ 69171685999412613913501468599362788665294*c_1001_3^25 - 4001699053090427171941144280818306445015281898660514900693314634071\ 62581330938066186740329644729814667/3734535579303918183443735610032\ 0122923971749207377994297787210572615286143332354356522502447665604\ 64777549*c_1001_3^24 - 84070347798181535126701045169542576831296630\ 063488107182759482027189362794023036135452914835377913899937/224072\ 1347582350910066241366019207375438304952442679657867232634356917168\ 5999412613913501468599362788665294*c_1001_3^23 - 1045832721928648480507286631383210406333407152261474267580050228587\ 59599096863999402152406631732637667907/2240721347582350910066241366\ 0192073754383049524426796578672326343569171685999412613913501468599\ 362788665294*c_1001_3^22 + 1074689245937683746292791406607196310376\ 81547184348126113391399819312953370462508255010786273522471741571/7\ 4690711586078363668874712200640245847943498414755988595574421145230\ 57228666470871304500489533120929555098*c_1001_3^21 + 9602679012357015570748871759553619519137436444352936665749168166733\ 33900561714707766263100648490849876565/7469071158607836366887471220\ 0640245847943498414755988595574421145230572286664708713045004895331\ 20929555098*c_1001_3^20 + 56380043250817210831657591662569427153249\ 97091645696648890357146227717262969487660668199024098639482638225/2\ 2407213475823509100662413660192073754383049524426796578672326343569\ 171685999412613913501468599362788665294*c_1001_3^19 - 2627822301308990119982381070492761515490276634576153158558538827591\ 178441859306532904365849776868309325965/112036067379117545503312068\ 3009603687719152476221339828933616317178458584299970630695675073429\ 9681394332647*c_1001_3^18 - 173612965563878362929629028612304030776\ 1681101231605357709104556624059492541631627231280150327755449746249\ 5/74690711586078363668874712200640245847943498414755988595574421145\ 23057228666470871304500489533120929555098*c_1001_3^17 - 1022309749731904745904937722145675874801179120118808488465631340301\ 48645293398957370435061471136163637006185/2240721347582350910066241\ 3660192073754383049524426796578672326343569171685999412613913501468\ 599362788665294*c_1001_3^16 - 1326244872676957326686704774234952157\ 2180610749361401050809462200796587671279518522400316167194501662568\ 648/373453557930391818344373561003201229239717492073779942977872105\ 7261528614333235435652250244766560464777549*c_1001_3^15 + 6194165058445753343027429121716424601381050705755268586492651317943\ 3861659624018826398193017989577801184283/11203606737911754550331206\ 8300960368771915247622133982893361631717845858429997063069567507342\ 99681394332647*c_1001_3^14 + 10645681807487891798231025642036906243\ 3634896491061158033562979302298881281576277381164384293368120621742\ 167/746907115860783636688747122006402458479434984147559885955744211\ 4523057228666470871304500489533120929555098*c_1001_3^13 + 3999482287972020193249627093800547318596814256877349069499994002062\ 99487573642659495145810919765265480151749/2240721347582350910066241\ 3660192073754383049524426796578672326343569171685999412613913501468\ 599362788665294*c_1001_3^12 - 2393889603386693682460458115028272699\ 0706092291833756671790697619115683805464592413815459227055216785664\ 538/112036067379117545503312068300960368771915247622133982893361631\ 71784585842999706306956750734299681394332647*c_1001_3^11 - 1969600031544590625443593282252847265203061359738926046060856738471\ 64663990757739464572432177871875652342392/1120360673791175455033120\ 6830096036877191524762213398289336163171784585842999706306956750734\ 299681394332647*c_1001_3^10 - 1356415911290686487172035021087464295\ 2255286733429296776026402543063748163541104767205144818625941623589\ 3987/74690711586078363668874712200640245847943498414755988595574421\ 14523057228666470871304500489533120929555098*c_1001_3^9 - 3457613513381736013630420806174275201553657326095922262043647300782\ 72998761530183179612375930185120960748607/2240721347582350910066241\ 3660192073754383049524426796578672326343569171685999412613913501468\ 599362788665294*c_1001_3^8 + 28767055972204088795761996562064864361\ 7080922086378831684506336138424538019586441771895607766584681886258\ 403/224072134758235091006624136601920737543830495244267965786723263\ 43569171685999412613913501468599362788665294*c_1001_3^7 + 1001168228181263878716165928189972707617730085096908304410982315772\ 20530884518403032143693820163834888032739/7469071158607836366887471\ 2200640245847943498414755988595574421145230572286664708713045004895\ 33120929555098*c_1001_3^6 + 458371994865169895269229111172979617381\ 6374814964109589779279161586448683101435173217399166478654153636486\ 5/74690711586078363668874712200640245847943498414755988595574421145\ 23057228666470871304500489533120929555098*c_1001_3^5 - 4021405616238180711151676134712454939726139622375238753773057747070\ 4856727911348496279323434130459145926357/11203606737911754550331206\ 8300960368771915247622133982893361631717845858429997063069567507342\ 99681394332647*c_1001_3^4 - 524934345940085349472425082037327920726\ 8021509079422302629794576697710467559961148513533057003976952518253\ 7/74690711586078363668874712200640245847943498414755988595574421145\ 23057228666470871304500489533120929555098*c_1001_3^3 + 2792122328213828417355552398656396826628657861595951511307724353533\ 8297213309365355606923093499133790787403/11203606737911754550331206\ 8300960368771915247622133982893361631717845858429997063069567507342\ 99681394332647*c_1001_3^2 + 196113681426128101740343373903455731857\ 5096076868939496670641953231253582831268260531598636441635326321028\ 3/22407213475823509100662413660192073754383049524426796578672326343\ 569171685999412613913501468599362788665294*c_1001_3 + 1131437447335268819392916183507927027642543145503707060159742861424\ 006108927063300744594071682018491924591/373453557930391818344373561\ 0032012292397174920737799429778721057261528614333235435652250244766\ 560464777549, c_1001_3^27 - 23*c_1001_3^26 - 3*c_1001_3^25 + 482*c_1001_3^24 + 917*c_1001_3^23 - 1428*c_1001_3^22 - 17520*c_1001_3^21 - 42830*c_1001_3^20 + 8627*c_1001_3^19 + 316758*c_1001_3^18 + 779423*c_1001_3^17 + 824817*c_1001_3^16 - 459509*c_1001_3^15 - 2383119*c_1001_3^14 - 3520823*c_1001_3^13 - 1075165*c_1001_3^12 + 2824855*c_1001_3^11 + 4279881*c_1001_3^10 + 3487213*c_1001_3^9 - 603646*c_1001_3^8 - 3463176*c_1001_3^7 - 2445198*c_1001_3^6 - 86815*c_1001_3^5 + 1395252*c_1001_3^4 + 514222*c_1001_3^3 - 282122*c_1001_3^2 - 63204*c_1001_3 + 20205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB