Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 559988202] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1004 geometric_solution 4.88939821 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378056473817 0.224959540790 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668501415706 0.937420872103 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.341162121005 1.260383149677 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.341162121005 1.260383149677 5 2 5 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.798543759742 0.839246467751 4 6 4 6 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735145667438 0.189331331122 6 5 6 5 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804572964828 0.084977573014 ==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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 4065951896678194580143820225614627054766049100477450145418861770667\ 316359278068582245/194599980590382986818098844677138342373516374294\ 5164572565228057141853574313103453*c_0101_6^34 - 5030369861681474180769687636444625913688397129320117987197188940407\ 45220114534312332/1769090732639845334709989497064894021577421584495\ 60415687748005194713961301191223*c_0101_6^33 - 1971530425456413189509702022965402637366948015737884943204104026786\ 74504732475400246836/1945999805903829868180988446771383423735163742\ 945164572565228057141853574313103453*c_0101_6^32 + 2906201554377089655973845588712921482018629271233181107893157942408\ 46811583859037785691/1945999805903829868180988446771383423735163742\ 945164572565228057141853574313103453*c_0101_6^31 + 2920282061486576690087577425621426125591836221106938608781912041268\ 331522331621208869124/194599980590382986818098844677138342373516374\ 2945164572565228057141853574313103453*c_0101_6^30 - 4552296039577174494718312756642936140321019293355260987097788152089\ 33161145812216396930/1945999805903829868180988446771383423735163742\ 945164572565228057141853574313103453*c_0101_6^29 - 3167801725836632173853480795756713623545356920354362021516436188966\ 4987822803028485834641/19459998059038298681809884467713834237351637\ 42945164572565228057141853574313103453*c_0101_6^28 - 1286730195012844163606968793517526982886566474465646975061007962704\ 0994383441627929663707/19459998059038298681809884467713834237351637\ 42945164572565228057141853574313103453*c_0101_6^27 + 1876608534111281106842247112887611048271733206462915099781212347143\ 91636199546324755647588/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^26 + 1207228390745505673941704982957221240659754182892075406592960046118\ 73674450027985501162703/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^25 - 6618131519403847565705369057342682658572845564375173765700649862489\ 36597749366079367831984/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^24 - 5437430388567747395413264186823012374720464517625247976619782953153\ 85590009389239036073457/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^23 + 1575269480080346921856139080277773107879323200569858434871955919419\ 067765051156190334910446/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^22 + 1501505402689857962385429842600163787506518318004638517537031048010\ 978456900315724196891814/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^21 - 2544525313527581757202236267092652061887884504934629778771186014275\ 54926064906198051916094/1769090732639845334709989497064894021577421\ 58449560415687748005194713961301191223*c_0101_6^20 - 2798295656194138225713688851907256076157765770797143992026852032532\ 922419559725681034150365/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^19 + 3931080865289295138465812670266439326140784832836997069235955923618\ 722887769670332342342041/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^18 + 3668826475219346621235907979750494051082372837318442162037650057272\ 760743931181335341637209/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^17 - 4399366377832230909746706984677607487048328479153239056895941633186\ 338428745178583257887366/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^16 - 3417875779650521790392130045288988754679263777495454867695409967940\ 439577241635771787642855/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^15 + 3838763864386052275734448027155628576483041906626168489254747168245\ 116141645804273152957737/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^14 + 2237837607527975474638964398190210930325842997175211651885055679131\ 115092554505705242062729/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^13 - 2529437977490295149616059018641276527480094025383414298264760385362\ 620899184616534229721786/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^12 - 9872976712825254134817600980716189607443841147514571060919612663520\ 10981870428477721957880/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^11 + 1210723804942775611448140747748363865484356678069573733220439714892\ 719365643538823252993749/194599980590382986818098844677138342373516\ 3742945164572565228057141853574313103453*c_0101_6^10 + 2643547796087873534576124326398035879492014992632660912774509091607\ 27520703842787210878695/1945999805903829868180988446771383423735163\ 742945164572565228057141853574313103453*c_0101_6^9 - 3625942415578398776019935300365874650432034321576674760848873792208\ 3254883132956791835558/17690907326398453347099894970648940215774215\ 8449560415687748005194713961301191223*c_0101_6^8 - 3190755472248220580402857486998453299211078695583518737785009734141\ 8951271041606514548374/19459998059038298681809884467713834237351637\ 42945164572565228057141853574313103453*c_0101_6^7 + 8332226126673971784153489235969696426487183824924848643746158788234\ 0330333711770675395823/19459998059038298681809884467713834237351637\ 42945164572565228057141853574313103453*c_0101_6^6 - 1472289779997818054491653195692440512035175595081242327924914077092\ 008316293597967266039/194599980590382986818098844677138342373516374\ 2945164572565228057141853574313103453*c_0101_6^5 - 9819753842003169682276292014356169492781717719658151702820668884162\ 096518122559488610345/194599980590382986818098844677138342373516374\ 2945164572565228057141853574313103453*c_0101_6^4 + 6523397137917582807242848382283004497198096947734017048988291350227\ 15945539190564665442/1945999805903829868180988446771383423735163742\ 945164572565228057141853574313103453*c_0101_6^3 + 4899811277931165671153988570528627304941518506312084810559650561108\ 8967032912051319542/17690907326398453347099894970648940215774215844\ 9560415687748005194713961301191223*c_0101_6^2 - 7314074008095520333315231900805023978075932926032299553646042408499\ 56703586419354128/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6 - 1169207269460570019087616392905903952695740569261278677815969448326\ 4750015880707070081/19459998059038298681809884467713834237351637429\ 45164572565228057141853574313103453, c_0011_0 - 1, c_0011_1 - 601586288403792231650158525476603540525187185082619588229002\ 23044794039329436834/4746340990009341141904849870174105911549179860\ 8418648111347025783947648153978133*c_0101_6^34 + 6372735420314209749226099303548151853475516543646227466476349474999\ 182983310504/431485544546303740173168170015827810140834532803805891\ 9213365980358877104907103*c_0101_6^33 + 2937336087599073105716850978208694426796477635118911900961782456782\ 006810350059111/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^32 - 3736653044696104103212500352687080578845749710685617777804668720695\ 696637794802367/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^31 - 4425556808222661810280795403437493205469803585099281148875713037325\ 3172593945542990/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^30 - 1333228730012139554163284502961725476081246156113340081727893286936\ 238151825311126/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^29 + 4730069525582437984927674240083262408560618012282466754987374882094\ 35562923702463266/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^28 + 2804535294203910421526155539603197742050821448663138567062267053124\ 47395435020817799/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^27 - 2772934078096036145954445636583425999355743724277995003665412663656\ 545710141726056738/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^26 - 2330934339240201754943215812475789740672337973239441650619114493596\ 244357577335926992/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^25 + 9648744011484300065030981749959413036205936063319813329161040221902\ 053456150094293342/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^24 + 1002048332009483469149844342971004695073189101742357879198962071863\ 5552274384029650125/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^23 - 2249356184505147822802157763315190274278274111370064290884877706450\ 7779815104587540426/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^22 - 2712849587608242894777749459127402154880684744457574676078171600823\ 2695353193082067209/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^21 + 3543334784066916518838791013622986701840273477468487640180912461745\ 238097907329652578/431485544546303740173168170015827810140834532803\ 8058919213365980358877104907103*c_0101_6^20 + 5061263570736010482216272518628124159327787712881994604839832346391\ 1827744769758967385/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^19 - 5363738096020996008523336549561517157776160248351880189852910053154\ 0967256384819293919/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^18 - 6785098859331569006116635732312531096574469088054044369929657181625\ 7000832515222103593/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^17 + 5967835116960428455748134055251228069851779207267774318957298671649\ 1093272096518387556/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^16 + 6619653015982662683146841845980318476374550301163067596099562974072\ 0387140087677834429/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^15 - 5281659325075335408753145367004315505921865587672534635106244911852\ 3353866281478566557/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^14 - 4681397488995263514786544673419994983197508652848069988612956932550\ 7531178699065290925/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^13 + 3606738216909100662051459641998866227018285624929992471027542472631\ 9421325684675949556/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^12 + 2346689022038143307421149049615712264992357724935648678179293851335\ 7385482211759505233/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^11 - 1833360799180897361813244822495546400215156443899260467182583618521\ 4042700451489927302/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^10 - 7955480347178910326859131423687233305546904455997746013833828137075\ 403918973313455897/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^9 + 6020762928552710145451807796092478595431220751552732034869946997259\ 62773740207997082/4314855445463037401731681700158278101408345328038\ 058919213365980358877104907103*c_0101_6^8 + 1687011990892706164672835187632141032834767049708340483449492080075\ 820777131572409073/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^7 - 1587183401515651639029822343004981255327993467984026807061472326459\ 931084079916631820/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^6 - 1900740467401020232434855307539789678186058976236339648137805721249\ 09375033037497918/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^5 + 2291579275906815070570639055540998247286119920381450308648899436952\ 30603671213732832/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^4 + 6859672946233288299935313824871575803079012600251644744366540394335\ 527361914754848/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^3 - 1504858279025990635055677800375719465014331022262246251621206887403\ 692363114561255/431485544546303740173168170015827810140834532803805\ 8919213365980358877104907103*c_0101_6^2 + 2967009311136644369926801486149118626485339187218811115789399325826\ 09651310723253/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133*c_0101_6 + 4076454450295886188089295927810409092608340470789931879757657052339\ 01197018824927/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133, c_0011_3 + 393603323115314900164998743707101135429291379122392492146052\ 10362185344504325388/4746340990009341141904849870174105911549179860\ 8418648111347025783947648153978133*c_0101_6^34 - 3895997855645173627568695518434579026720137233713708682266089493627\ 002357677134/431485544546303740173168170015827810140834532803805891\ 9213365980358877104907103*c_0101_6^33 - 1928823556189469651387361618762378565580244560399831520224427854416\ 104458173452564/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^32 + 2303989998828586549074636594733823671318702897671515410153374965972\ 914909343141082/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^31 + 2930944018635490526436450541844440289596080896343193269913148290288\ 1089303756649061/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^30 + 2771784540052108877909668869857311581421829320196866028242565016175\ 305007229547449/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^29 - 3118130259285938014908985224689526279265606021422757116427211340566\ 93388298950162315/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^28 - 2058361890710087808280414568855213915421202054102303410933255923136\ 65612413511269126/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^27 + 1827201767421498686875234661568810346005480604799855972572356621333\ 251337052815399557/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^26 + 1664782049843797251502088415994240270721578994147272833985309796492\ 964100825361531512/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^25 - 6360438068397385431593905642654026782091641393806252944828208428954\ 454139170533055618/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^24 - 7084596381163993286621515323722447377782121236609121726754205020651\ 223520392271541056/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^23 + 1481404329660535909805333368864626986698898789300269737493551448065\ 9857242650608188566/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^22 + 1914538776148936825524245197999561458600567781621333643734891060115\ 7793113744452328214/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^21 - 2330102427325062625708479389527060721447351883414286032493856825054\ 029564308344490120/431485544546303740173168170015827810140834532803\ 8058919213365980358877104907103*c_0101_6^20 - 3590361954844827114712497779696493786318161270585367689457158756774\ 1716787819665933726/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^19 + 3531746532723648209012960500995658802559888736021565292996992740134\ 8991988490503758671/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^18 + 4870187607560712075172410416982857060178769121069289790816066488395\ 9316759507556900715/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^17 - 3963047345167999043795712513431380837684884805373428531132110812070\ 6227393818837059074/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^16 - 4838377998887781943612795537688379738134041074294480541981865639549\ 0415140273341440177/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^15 + 3571468118571480533940566270049454674260562090638878978865795224748\ 1991965382257289258/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^14 + 3506620273924586455639785572969150734386676914053631211649224636459\ 4493517638351235768/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^13 - 2507017976879849828187309251866464625869171997487919681795834109546\ 8621980584959684103/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^12 - 1815249929347274311123202171356427025511895221866255234695947396614\ 1062421732628542216/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^11 + 1321637111352420444267394981697631309902015389060092050541699395092\ 2706809410851795903/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^10 + 6421373949096304753486111175169339536425748185835065850808695805068\ 590945273695064481/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^9 - 4540682326046847504526851365529126105901009727708507087914934832759\ 12709434392449277/4314855445463037401731681700158278101408345328038\ 058919213365980358877104907103*c_0101_6^8 - 1438576621158748861581568565477772397051611274588004398163805375213\ 430365560675988272/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^7 + 1262527069665925275520264333838151911125859726310996122558436110690\ 070373382939059944/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^6 + 1740457743033208029438795925723167457691673290258144374382157101231\ 56704913111812548/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^5 - 1933217593734654937027132628216351309082104850440919563882311334939\ 79869670998650671/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^4 - 7042080876718387875151064676385452238541848780155342185352255674899\ 635689643793171/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^3 + 1335482303429073431462172117005823209895293154147822482177610253163\ 622180357186351/431485544546303740173168170015827810140834532803805\ 8919213365980358877104907103*c_0101_6^2 - 2759837019348009236131069480856500331490155344502356102352466418255\ 27319296628568/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133*c_0101_6 - 3331255074423434902422296940610738853172613273826022608098481182579\ 27616315418362/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133, c_0101_0 + 451875945788155519939414670072632564090311760383558727807617\ 0998945702927880709/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^34 - 2181460938191745457653945498875000497038111858528619725757763215647\ 816934560238/431485544546303740173168170015827810140834532803805891\ 9213365980358877104907103*c_0101_6^33 - 2049811148371636076623427372358860008618597908051300084488085237492\ 14398515494507/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133*c_0101_6^32 + 1202322966410337100236642293474825847262654419868619095555432465189\ 993331689948689/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^31 + 2461607081366314751482466963615456603519489200501375449318883280309\ 590215596671183/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^30 - 1405614391163739291220126472205092442414822016457836943521720333202\ 9454727999939000/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^29 - 4046036163240668134958177086941847417739434537787100847498128605584\ 5842256406218308/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^28 + 1259176362584692790683226696382402962995782060272476379550029751006\ 98389642184066643/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^27 + 3437198374175159571722324272307738886935752345758764483040503526261\ 27770906234199168/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^26 - 6581466005158106828796589175085045807998034853186036385385126770312\ 74617877821450562/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^25 - 1729531523538735396895687235984002308007743621321629803929073248231\ 902473276227665748/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^24 + 2004186165260306850384724221512597326819315780721390173516971480594\ 712082938608064440/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^23 + 5762725889733717726872384809302250743291743039122770720732774260085\ 709526836312931858/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^22 - 3908146384538859353451444762122804940607619411870864380479683206081\ 591540843256093896/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^21 - 1230361437692780694050954565613174767405612509433694254635956939322\ 211618327518966547/431485544546303740173168170015827810140834532803\ 8058919213365980358877104907103*c_0101_6^20 + 5490017814704521913421032918908135443715283696455074762997508315833\ 005930313940894507/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^19 + 2337864867745474821916002612830964659686740589675193452133660516000\ 6739366853391527680/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^18 - 6343573839322125571881026127376393148653207756360913774783888741263\ 573180413761195999/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^17 - 3028965972640848211371874211047058656437566989772638945150094102954\ 2205706266056712101/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^16 + 6613131398847887985592896130540961060325036160436615952335692289418\ 140033360991042594/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^15 + 2944940463941565776214836705296445033706169485410327218102585463435\ 2320073594903344738/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^14 - 6125151750370467976126488224702881315255381744994676960413295892430\ 267971301234258736/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^13 - 2126292582702066169740172160321262615867355613514893314216700172034\ 6334688816307289881/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^12 + 4620490079545145930595103099667090394282538198261604630509680016889\ 352345090842058306/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^11 + 1114920542056118157780281170795772886059715067558142950399434253865\ 4693927317916739334/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^10 - 2612956680831476444565429472784504931176927790186528784650504591524\ 967386396319114569/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^9 - 3716135804429020244981272671485118812248937873059668889381070211063\ 99652218367601530/4314855445463037401731681700158278101408345328038\ 058919213365980358877104907103*c_0101_6^8 + 1027525488858633693105730535439171693310040882063399503186981687932\ 247959194968246195/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^7 + 9922199733141354051057060066838088505734417310491249568439986460374\ 40882085980370704/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^6 - 2536473535259432453638771612014617198057303191996420367310880580919\ 48402424659742449/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^5 - 1463792773968396675942646390513538356219056380656869053227897400052\ 30047622435154374/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^4 + 3393828746280082098834277237405908339443972373504504201860880688850\ 5430443143470431/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^3 + 1057261714881011456626285670971284289041838257461528312299906512599\ 991118470362081/431485544546303740173168170015827810140834532803805\ 8919213365980358877104907103*c_0101_6^2 - 1684515621216423776018048969413390387847074642733574358023586012144\ 561983259734598/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6 - 3522464851157400337784931642977747387272469386211153657545332143920\ 21802157390063/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133, c_0101_3 - 437740115974366453316151386745945665656196381020939941484795\ 96150134339816038111/4746340990009341141904849870174105911549179860\ 8418648111347025783947648153978133*c_0101_6^34 + 7117691443056390735630449832452423276129059908045001691189329615861\ 336613328969/431485544546303740173168170015827810140834532803805891\ 9213365980358877104907103*c_0101_6^33 + 2102424158459282338933238599953990893406981695868071454677971591038\ 234754792297404/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^32 - 4041610614133435466911646993918354105402842413860177179173030389861\ 367917342002853/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^31 - 3036486782252228312046236644549333358601941366009456741362658275463\ 9839372890582507/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^30 + 1861977948709754957615674512315583443439915891031807001843709851485\ 7944485709717155/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^29 + 3429849432085022932394038922907605201994693235858805057322754796318\ 76021826126175871/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^28 - 6324425218626915404893606642761468500228515557943228959917188868931\ 529930068219414/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^27 - 2121940044636491657582341228587862974705608150280513792279035772416\ 782849034608988423/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^26 - 4703811208246933183271941684736968438264614177008841021948993234758\ 66866111176345284/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^25 + 7924670007749227196990399568605585920278141398359794594440226358347\ 987005109048544627/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^24 + 3072863200319890444579719954001843895613723317678145749872972068810\ 110769506751595373/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^23 - 2028774923963357958625652246726214975837397097989469762500268566578\ 2504097788850889890/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^22 - 1001306987185829157446002808995465226009361068563281745050658926863\ 8415172687530885898/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^21 + 3534834609366452096585130431251161574627373225566626795423256761821\ 277227640421928870/431485544546303740173168170015827810140834532803\ 8058919213365980358877104907103*c_0101_6^20 + 2015112942750410640890473498428720301212467862780981061348538510831\ 2139024491931969467/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^19 - 5819131665740527265926236134627709825135993419678099114570536467324\ 2833060351778497675/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^18 - 2676828913359395691988460847517055387927789993442123715781894499776\ 4894561508054702819/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^17 + 6809251251932358659018699468863847880947104475192419003949980856309\ 7195027383775665536/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^16 + 2373666949098271141920974232556258107536384568476842015874657097065\ 2798163895220938916/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^15 - 6110078772298948205956790248617928435560311409328305835109116514776\ 9005076215680643707/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^14 - 1350886199418110161737356673620804453372480778229476705567924651396\ 3078608697627152309/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^13 + 4097974594289639888216688943492298606512535579917548422111094833466\ 4313521880095211648/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^12 + 4090539846061375786470221529011295735671276635433238502181568744463\ 333871131875355326/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^11 - 1988156647747441838435559259833002189395882531326730209777855895353\ 2706558635123298184/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^10 + 1023460885056604600381807163987542563699932264979228263223824398514\ 51435692050961112/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^9 + 6053458740382607751040935770374360995740915085217142666816601155953\ 22428336837920776/4314855445463037401731681700158278101408345328038\ 058919213365980358877104907103*c_0101_6^8 - 5729154929812515593221750164681335231813700406727882741316116662064\ 34109291148191830/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^7 - 1444264022934772431352979170601563547320822667562270877879715710690\ 446607496728971785/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^6 + 1955361088452898016047269699313058773955055256434176155163029890068\ 78781838311057402/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^5 + 1861669134348423515395197953859892435258813406323095570718669589919\ 52128147640738161/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^4 - 2679170052033349200173353199504586360939899771751174058084320377268\ 7419063228937129/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^3 - 1131851185685076896404159274374803612942065381720281876582493437088\ 119875688983875/431485544546303740173168170015827810140834532803805\ 8919213365980358877104907103*c_0101_6^2 + 1252351821069317168506110633881416364043726118369409481568624990013\ 958859746254674/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6 + 3164159679282999256790959416204254153814696245077244213541370019239\ 93357127655676/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133, c_0101_4 - 270565276871517171476514000182259648280809210879722790545705\ 61192025932549428432/4746340990009341141904849870174105911549179860\ 8418648111347025783947648153978133*c_0101_6^34 + 4350438565090859117833398017743291394333681971272271696624143079512\ 238852230898/431485544546303740173168170015827810140834532803805891\ 9213365980358877104907103*c_0101_6^33 + 1298525743459074742896687159256822975481655960901383967047644638614\ 176708040026098/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^32 - 2469565026515796180302664960430517961932602813469583449684164906735\ 302709845741875/474634099000934114190484987017410591154917986084186\ 48111347025783947648153978133*c_0101_6^31 - 1872445008106051172086242925562508688939323939752524552800377433333\ 6538020872520555/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^30 + 1099587485354756213488634421326953829383741240871692604765834553633\ 6297137972342857/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^29 + 2108469604233524034167265001761053339357823236921469755156459513833\ 96399927411241149/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^28 + 5229393564558163896435163695629788479384662568393480531518900919968\ 24223181437113/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133*c_0101_6^27 - 1296679526394963869732544881698010536052892902236527443670689650359\ 017078481543536817/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^26 - 3107728351167882852577200418317981532658148558472936082012008194343\ 89934506545724899/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^25 + 4804448199146259641174409029269210790405735859497528898030372031423\ 646640187053069880/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^24 + 1939691619262975912417865661216325799791641307709883235986564893381\ 611499883747535476/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^23 - 1219517184402790204714619022022488925641562259554033040329055314911\ 9443391057156108109/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^22 - 6181107681238711137299205862431237290194853357932845469278362785847\ 890257697415506828/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^21 + 2108229738451021998569194196083864634548832746908108860102162691020\ 562719464811241577/431485544546303740173168170015827810140834532803\ 8058919213365980358877104907103*c_0101_6^20 + 1222470258408070619686318544736959034382264239617156813698727912102\ 2270153034392586338/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^19 - 3446455630190715716413259832382413775703817360271793248375386771501\ 7381815375658085915/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^18 - 1594668966530580304148807991222427283523486597803415895303146034940\ 7411839170903880976/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^17 + 4003702245746656646460061048136736747088375155897302494405492587815\ 3624260491908991198/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^16 + 1379345307816833622694084027419790835056086116473310176115901480299\ 8257620975621993566/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^15 - 3560444636482759779870733244990432620423040395310924194048621012107\ 6424596004737566652/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^14 - 7502590743937356881302553270625610222958224563117146730566552642396\ 028485304709644269/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^13 + 2358960262354246263548017925048540051441449412051721514345122047782\ 7027559969055888597/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^12 + 1973832255566460620528315524413602656914997699758622547839316257412\ 392848759021177507/474634099000934114190484987017410591154917986084\ 18648111347025783947648153978133*c_0101_6^11 - 1124534413509846927204754157498809324090893141870398583726965898387\ 5559630909139828009/47463409900093411419048498701741059115491798608\ 418648111347025783947648153978133*c_0101_6^10 + 3020407588577523781252740495355123946075051842074336076250286000688\ 64727083958945223/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^9 + 3333266985702868465529375447594901284555620133302093917263786984470\ 48079410488153448/4314855445463037401731681700158278101408345328038\ 058919213365980358877104907103*c_0101_6^8 - 4148198482091916046824679940023990236624274628017945042854602759777\ 23839982501278111/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^7 - 7615894738484767705136230749000422847125385244748183298346719684303\ 54248303356062113/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^6 + 1274142450103903455031793030339620606054238269417127701952168246799\ 91662411644302596/4746340990009341141904849870174105911549179860841\ 8648111347025783947648153978133*c_0101_6^5 + 9154304121162166285870099563253088988461241935435015821687129828869\ 7047865380439082/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^4 - 1619312911634386670515572631923264335521475828418519988304058277583\ 9906969330040529/47463409900093411419048498701741059115491798608418\ 648111347025783947648153978133*c_0101_6^3 - 5073302242616560161121815774880230975380363647122179997852558412124\ 92300481747063/4314855445463037401731681700158278101408345328038058\ 919213365980358877104907103*c_0101_6^2 + 7334112141799271422034580176380791540706879071313516535853935031757\ 87060200008531/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133*c_0101_6 + 1416219369440467895063351995800939594689671422561881729837300763950\ 73263282475907/4746340990009341141904849870174105911549179860841864\ 8111347025783947648153978133, c_0101_6^35 - c_0101_6^34 - 49*c_0101_6^33 + 54*c_0101_6^32 + 745*c_0101_6^31 + 146*c_0101_6^30 - 7846*c_0101_6^29 - 5977*c_0101_6^28 + 45167*c_0101_6^27 + 46440*c_0101_6^26 - 152950*c_0101_6^25 - 193225*c_0101_6^24 + 342220*c_0101_6^23 + 512284*c_0101_6^22 - 562061*c_0101_6^21 - 945068*c_0101_6^20 + 730158*c_0101_6^19 + 1266482*c_0101_6^18 - 772010*c_0101_6^17 - 1250764*c_0101_6^16 + 657575*c_0101_6^15 + 909374*c_0101_6^14 - 437670*c_0101_6^13 - 479405*c_0101_6^12 + 219206*c_0101_6^11 + 177968*c_0101_6^10 - 78816*c_0101_6^9 - 44842*c_0101_6^8 + 18966*c_0101_6^7 + 7290*c_0101_6^6 - 2791*c_0101_6^5 - 726*c_0101_6^4 + 213*c_0101_6^3 + 40*c_0101_6^2 - 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB