Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 3734979494] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3309 geometric_solution 6.44153978 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0.432280393620 0.546203663421 0 3 5 4 0132 0132 0132 0132 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 -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.651429285475 0.817472650271 3 0 4 5 3201 0132 3201 2310 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 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.651429285475 0.817472650271 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473910578014 1.245983534160 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102853107017 0.804689036938 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933759643789 0.728040194717 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677752246211 0.328568627038 ==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' : negation(d['1']), 's_2_0' : negation(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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1173356055422766207683289449794242271279951122680965059696581183279\ 43633976346839936347/1064181258514026017360931723426669576985202825\ 089070203236238574829501678298251734368*c_0101_6^31 + 3753567060057772193323126502270373538214534477222120905718064375379\ 62964642523675999137/1064181258514026017360931723426669576985202825\ 089070203236238574829501678298251734368*c_0101_6^30 + 5467038762769786703678307302706630903708003731115555735440035442769\ 439430159688423138801/106418125851402601736093172342666957698520282\ 5089070203236238574829501678298251734368*c_0101_6^29 - 2912542486213193362812025635965992239255888661632219252305690745401\ 4536043800517149198095/15962718877710390260413975851400043654778042\ 37633605304854357862244252517447377601552*c_0101_6^28 - 9225426146020444564706008606379604666690649311744434549896801925672\ 2883857351777145506735/15962718877710390260413975851400043654778042\ 37633605304854357862244252517447377601552*c_0101_6^27 + 1002282704101554670789024977479170883055029869334875191376720660937\ 276961271772124692999231/319254377554207805208279517028000873095560\ 8475267210609708715724488505034894755203104*c_0101_6^26 + 1426928121777753626479253263390755126248425871166455434662786020652\ 73717850307222244986511/7981359438855195130206987925700021827389021\ 18816802652427178931122126258723688800776*c_0101_6^25 - 1426021398934359169362146336000923359279516771848478190504507366732\ 898281361586330971023201/532090629257013008680465861713334788492601\ 412544535101618119287414750839149125867184*c_0101_6^24 + 6189932812342505447311465968511971823890227271226370896986886324701\ 15139645099099187017503/1064181258514026017360931723426669576985202\ 825089070203236238574829501678298251734368*c_0101_6^23 + 4424543049781711309466450707583954914723433408584267867283298931426\ 1376111940728803637294109/31925437755420780520827951702800087309556\ 08475267210609708715724488505034894755203104*c_0101_6^22 - 1543297369589065274007958164053188017412410797626254072605220603791\ 775926678018811774359269/266045314628506504340232930856667394246300\ 706272267550809059643707375419574562933592*c_0101_6^21 - 5032717696704383441184902010443492497968946125644971091745849855110\ 8821998589298815241978729/10641812585140260173609317234266695769852\ 02825089070203236238574829501678298251734368*c_0101_6^20 + 2042854452098789716375906475341915566637386698986217676035958567447\ 2090887532866625392013287/10641812585140260173609317234266695769852\ 02825089070203236238574829501678298251734368*c_0101_6^19 + 3430608404113785990308662522939957181223268305101135894412686783026\ 51372535713863014545880857/3192543775542078052082795170280008730955\ 608475267210609708715724488505034894755203104*c_0101_6^18 - 1029399480819251806385738262461800410796210811590298880869634159877\ 74677938869599435176520633/3192543775542078052082795170280008730955\ 608475267210609708715724488505034894755203104*c_0101_6^17 - 5278308435093836181190356523679103004290492768714797107036670594562\ 56079279449460786464852321/3192543775542078052082795170280008730955\ 608475267210609708715724488505034894755203104*c_0101_6^16 + 2890600073925002711867979441190156716536978258993175178394544008152\ 8804537232791897913126151/10641812585140260173609317234266695769852\ 02825089070203236238574829501678298251734368*c_0101_6^15 + 5542595449110517726060760654165933152866611848961625849639110254065\ 58216302120828426847608719/3192543775542078052082795170280008730955\ 608475267210609708715724488505034894755203104*c_0101_6^14 - 8336848774156285866253980794693590442370231893778078618844157462552\ 50670327424430181797259/1330226573142532521701164654283336971231503\ 53136133775404529821853687709787281466796*c_0101_6^13 - 6541597736238137104418814131093494470153234235443293027039278822754\ 4462031079398823272697639/53209062925701300868046586171333478849260\ 1412544535101618119287414750839149125867184*c_0101_6^12 - 4634669662548069774521842885062187825556789836027461040104905691768\ 637701213140510522295181/532090629257013008680465861713334788492601\ 412544535101618119287414750839149125867184*c_0101_6^11 + 9170349802108854677826202864083259560629825424363015626151650131110\ 0506235076770037702519733/15962718877710390260413975851400043654778\ 04237633605304854357862244252517447377601552*c_0101_6^10 + 2722302343418350868985001327985198726059522569956127207513990641769\ 9932439193387739268782863/31925437755420780520827951702800087309556\ 08475267210609708715724488505034894755203104*c_0101_6^9 - 1791887338944580188352783581805935689618217251655310181292682450974\ 0877616622738341527622809/10641812585140260173609317234266695769852\ 02825089070203236238574829501678298251734368*c_0101_6^8 - 9939224470321196858495646482144819726522980155412540856130006986348\ 4761665850842728799229/30697536303289212039257645868077007028419312\ 262184717401045343504697163797064953876*c_0101_6^7 + 4379868352597740072897678041393813334721587340731578251169663153762\ 513809205968213184520737/159627188777103902604139758514000436547780\ 4237633605304854357862244252517447377601552*c_0101_6^6 + 1085356760867290700907411249249317622388170540070813866303950594746\ 34040940953981829373155/1995339859713798782551746981425005456847255\ 29704200663106794732780531564680922200194*c_0101_6^5 - 4918100666051601633330506389984106527366887484699020581718936104397\ 78054184884501312472525/3192543775542078052082795170280008730955608\ 475267210609708715724488505034894755203104*c_0101_6^4 - 1776226645986116797492903592495182694256609335213181898850224865178\ 9433562363052855561685/53209062925701300868046586171333478849260141\ 2544535101618119287414750839149125867184*c_0101_6^3 - 2146435366014446260276667348711009652554132336520740890456712167119\ 4394049861223983873763/31925437755420780520827951702800087309556084\ 75267210609708715724488505034894755203104*c_0101_6^2 - 9382725733201735364282694385026293765427749716418452672542288798706\ 60920081594233516443/1064181258514026017360931723426669576985202825\ 089070203236238574829501678298251734368*c_0101_6 + 7754017865176380335822856761956234382255252816477415814438934971062\ 22480446575812091851/3192543775542078052082795170280008730955608475\ 267210609708715724488505034894755203104, c_0011_0 - 1, c_0011_4 + 354314542899308577197312671649063848241231899102750083216495\ 353642017543049288661/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^31 - 5373474545200223611213252241967028091193994077965431996357945042425\ 99071295488157/4209577763109280131965710931276382820352859276459929\ 60140917157764834524643295781*c_0101_6^30 - 1730971420649109945765197349953422733420254248643845851041950943537\ 0334032116761073/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^29 + 2924053075667010146921353789995281940620584202466945910409990249784\ 5449620504544373/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^28 + 2300233151097075622781444846742963612413826663981230873228876371278\ 57254491643849159/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^27 - 6077590340649513423443024718084948803104842021871227725629657323486\ 81908747781525004/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^26 - 1538008024229083305024417864739768713272280233242603317459188812078\ 224872595754294410/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^25 + 5771970805572278518020957900981781278295625487513174140060382698261\ 629207691021072788/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^24 + 7569161363240278231865772511451627501396297962506793900242233136640\ 678802101005057505/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^23 - 2958181043167507111675044902673958296962288848745993567288959014734\ 5614345219775392273/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^22 - 3063607358272512269089459132992301614424315971571136336646282830501\ 4901416808734005030/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^21 + 8893962217598723986029872297495676082709351162774418023360504420010\ 0151915538098770670/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^20 + 8776825124004466728776905437882344011733352157807923421852316626231\ 6456999400329422435/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^19 - 1596691120547374398628490285205745265115683790178480955066672834752\ 34366883572753418776/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^18 - 1648559046922904542414103759377942654470676365611618206713455895221\ 38045650016152615317/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^17 + 1730023179339740302431374703305123319209788652405402611399558967052\ 35852399259851089903/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^16 + 1983107977819888087005382748851753390931012724713388726710529465297\ 98612768822703248035/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^15 - 1112925726061011036656575524188121823300217020199364524504941192739\ 41491772890021325352/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^14 - 1500998006246210966739232382430512469703686246296325267107725417585\ 24586143756361757151/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^13 + 3857368529350745069732932365988339383519413940141160311724669365928\ 7471942649434350793/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^12 + 7001580567271029782425723023968351083304830494093471354239758172217\ 3531086414387759541/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^11 - 4503343308999735600255855242924386691234043641587221669306511055492\ 068651553680409590/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^10 - 1863225119645662056087049023415686316948371581836891083260444721977\ 3688145825372268179/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^9 - 1282664112768983367490463201379691248870172416410536661063683262018\ 670770109613474858/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^8 + 1567376861851823194983748903675878907849067208550485673298084907411\ 08418571997403938/3238136740853292409204393024058756015656045597276\ 8689241609012135756501895638137*c_0101_6^7 + 4832921882574778724039000278612876148986597540650312670970905281873\ 74114563473660083/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^6 + 1769910291369533589972188711548710350149227508167587467077026032863\ 51066295170928123/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^5 - 5640398635062170675373728280163203400852952030147940100667536562489\ 2572155531335467/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^4 - 3765239383124767852394695745091340384269402494350187006108307766467\ 2561785756533383/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^3 - 2135920007571393641937571377825435225818059201912997310278659952251\ 386996034575919/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6^2 - 5562374819174550350933482611866312501561106357055748505097959679823\ 92668708077261/4209577763109280131965710931276382820352859276459929\ 60140917157764834524643295781*c_0101_6 + 2398242650157273530130997871110814051653766447967040738902927312783\ 6672925840153/42095777631092801319657109312763828203528592764599296\ 0140917157764834524643295781, c_0101_0 + 258337859117791494422073423315079623450025550954047614720518\ 4908951444474287711911/42095777631092801319657109312763828203528592\ 7645992960140917157764834524643295781*c_0101_6^31 - 6032711784751805994807605560738052633577491140537949003926944412452\ 882061190901279/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6^30 - 1239999189154455912030744841422521179812022697829494778729439208204\ 83968333087066173/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^29 + 3183003012061821387174394848006312986177391521297526703057678325554\ 82184471614868193/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^28 + 1551092188062869455968701999068816934349581824507563027443539703156\ 914608419567061572/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^27 - 5899992605446981921155381103351526647909274339697124744582048471108\ 554436833584966638/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^26 - 8217205339282940454222113660434125667469845053193363116700354343156\ 892049276638228159/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^25 + 5316021656473545945435668973977854577936077855576327143663384927629\ 3484208706513323838/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^24 + 2467201200637240625444716320939406372253645597903176591952848353592\ 8198728639846340929/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^23 - 2784626658513446031230097563924514002900089322869017894226911409929\ 45830714934674704623/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^22 - 6417335370218578466230072346697010087191444194805382897344762702378\ 7521380213007852922/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^21 + 9219724350548840340697273417921688081298941376238731033999436697347\ 97795055207717916548/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^20 + 1750771480168981551474417473166161500793044685963448045080681171495\ 02946759750073312011/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^19 - 1969484716469109825031090263861329395762946484803824598394756172294\ 111553671820255944042/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^18 - 4374245828644063561654136088543515308195965857266170550845966725065\ 47989354540557741215/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^17 + 2783213285230904121368708394323514712575351550005548702834498332287\ 585099253403083140395/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^16 + 7800312071987432125053507228411797499873455985051191314014258555676\ 47571349859468927959/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^15 - 2642465421360909767141214822471351125861373052004387022638570027735\ 850625835735846568105/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^14 - 8963258618434680626950255727271429612527844004237790239358228520523\ 59900920274218568357/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^13 + 1675133761550678302482497198035722271240207599143606756863885690613\ 004514716035710408562/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^12 + 6567775439188972822486921799895744209081878350228231743221946757586\ 88560111000494150533/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^11 - 6951167273065252118636342051640761174120326576510172662708001082831\ 33976223695308233542/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^10 - 2984063018423930510610287559079445645184675027509417165125851126701\ 99207756135792091166/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^9 + 1795132999949252917257155084257809784791585542566364841826809192172\ 18831591961139233059/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^8 + 6052758556090518190134046597768135519665732380132570355881914270671\ 155371253811977065/323813674085329240920439302405875601565604559727\ 68689241609012135756501895638137*c_0101_6^7 - 2545091297325857664560626738759024713232239752974185467832629137817\ 7270253896732936633/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^6 - 1011652810867597540128434271736755129700640040442812816698586791348\ 6654131781218195484/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^5 + 1054389905822428942682490536383433250186053605482098280265436692513\ 820550495445645737/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^4 + 3993307731917178991195267504193515555501562613998718212385475106440\ 08709216628636613/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^3 + 8860710726568893721992965271799714333169846911027578830674455209583\ 3167008546030942/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^2 + 1750737574846321502086635839904555967293342362494446591286079764619\ 1982771841226240/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6 - 2544779554544061328446416581894974816180492677440793516820634733452\ 719294451418812/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781, c_0101_1 + 863160017320556961257824577972657545291577022284744144536426\ 609752527749190498490/601368251872754304566530133039483260050408468\ 06570422877273879680690646377613683*c_0101_6^31 - 1618753728599522546135385713340490434183601685260809647693840091458\ 153811480464055/601368251872754304566530133039483260050408468065704\ 22877273879680690646377613683*c_0101_6^30 - 4197850768768489017443340081167351939751648898145901477611395930089\ 8721726060866321/60136825187275430456653013303948326005040846806570\ 422877273879680690646377613683*c_0101_6^29 + 8676832019973453753785388993967711278034702099055542837900622615774\ 6235803721227677/60136825187275430456653013303948326005040846806570\ 422877273879680690646377613683*c_0101_6^28 + 5484675985658906572290922924765688196373870603993486124349584237524\ 01897347415797629/6013682518727543045665301330394832600504084680657\ 0422877273879680690646377613683*c_0101_6^27 - 1703740657658465839409600576789774006197816313627945339402847079115\ 595558298273893330/601368251872754304566530133039483260050408468065\ 70422877273879680690646377613683*c_0101_6^26 - 3397633938557225740094752477931701198177486543046319050783315750826\ 804685897501267276/601368251872754304566530133039483260050408468065\ 70422877273879680690646377613683*c_0101_6^25 + 1587170210912387567228854018312197056198556112972632839090264702278\ 1726012899644613076/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^24 + 1462754633100184771053882153818798531082013001085452794400464080981\ 5145020021510355312/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^23 - 8313082141549296601057482843840536665950765057143495778696462833751\ 4315162021878568548/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^22 - 5495525118934921997739840767995685934224675174244234835980112743396\ 6664583533477600711/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^21 + 2661660522089057956886782828319282248314184015920751306146565821821\ 51085978836278727471/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^20 + 1611856797964227025621448892469565301797113552894957272725140600025\ 22514653500338788284/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^19 - 5331947128801886506252671325619759608960743150042287935614178411270\ 44853421765400560997/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^18 - 3331155246662276747227235917566318515198370903088291886726932127039\ 46257805747014468180/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^17 + 6844441455291367209034740399690643648453887757674346601232112146364\ 64134230947419193907/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^16 + 4619413717301233987009455110336062487412737743387652409117286636005\ 41376839087426259257/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^15 - 5703145124903790444665309761814709922896779967282986672852476063951\ 54483210501317920340/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^14 - 4188862175541801842011586306830095128822447590224874241740214546864\ 84222761349320548214/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^13 + 3053431295397933119637938521881873225438580941081460359996860610160\ 01380185512441387685/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^12 + 2451090583501515876573502814478491153685097314958202905738391511229\ 55882917075657666057/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^11 - 1026991339089188969951665931560558692134286803926478649504736993595\ 07352221996904612190/6013682518727543045665301330394832600504084680\ 6570422877273879680690646377613683*c_0101_6^10 - 8921388568694173599738214182850080482996665266049647830708161417140\ 8494216854890393693/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^9 + 2083881679883651854205087647349069971652472174518304798797083104518\ 6189616395776467207/60136825187275430456653013303948326005040846806\ 570422877273879680690646377613683*c_0101_6^8 + 1427678240351093054067271136293597676855167137383597351458437270921\ 841781848293519805/462590962979041772743484717722679430808006513896\ 6955605944144590822357413662591*c_0101_6^7 - 2391434797585190628539927117036197332318167715157688160412278622715\ 636956530940416461/601368251872754304566530133039483260050408468065\ 70422877273879680690646377613683*c_0101_6^6 - 1736514877371185402994602688847008032740043356889691079880792349107\ 962564069473390333/601368251872754304566530133039483260050408468065\ 70422877273879680690646377613683*c_0101_6^5 + 8173864187831318673733616749889242289358340799868179247053952423487\ 0709031702322381/60136825187275430456653013303948326005040846806570\ 422877273879680690646377613683*c_0101_6^4 + 2885427828695069853798926522654231120545936849654803779338082444886\ 8732562838570915/60136825187275430456653013303948326005040846806570\ 422877273879680690646377613683*c_0101_6^3 + 6827697812554658650631391903113751479146537317914302055910705272216\ 466104579384893/601368251872754304566530133039483260050408468065704\ 22877273879680690646377613683*c_0101_6^2 + 2321555391643940292235806802860972433727527942454477337115991347326\ 693587870948938/601368251872754304566530133039483260050408468065704\ 22877273879680690646377613683*c_0101_6 - 4650904800023740970023356779269688769033407866825007883757536809513\ 94325771456655/6013682518727543045665301330394832600504084680657042\ 2877273879680690646377613683, c_0101_2 + 395229204830830735022328099743516370922937511934637346205349\ 026818610003002444744/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^31 + 3515689691454513893103018197678125767166783520559369189588307044463\ 05543672057633/4209577763109280131965710931276382820352859276459929\ 60140917157764834524643295781*c_0101_6^30 - 2093411244215613933167996892930083608098796608198068963382039579471\ 3234038448578781/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^29 - 1397446557153389453314169822986436537693905734276410283073258407828\ 6091478879946643/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^28 + 3444690413428715886185045529600189618158765030100310259744738251821\ 23604038037892416/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^27 - 5544225225305045400382029780657839420171295523701074559874421185010\ 3549504353577585/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^26 - 3491046404195568906430670933350019832928671074921684324056587125375\ 801496040216941004/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^25 + 2348171760780582576773580516558779467638764562448104988314175119102\ 731864115165316051/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^24 + 2531652291114213961011611314854301071859190106272754282202899083655\ 5012869719903638523/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^23 - 1364536290636760921056471441373421071671561863993411267286674343354\ 8494593687533817391/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^22 - 1232989979001055659640824590939970527675548996893780017185746307080\ 20427049256010073297/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^21 + 2111724528536207691783978921474138927924382831928783710769048639755\ 5225375956300543963/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^20 + 3818152377086480123558918866303430987263225337537222862185886236735\ 29399862454513173222/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^19 + 5891396972555094778129768969396545886897584168371401452485300365945\ 6031803652522895765/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^18 - 7397850907822089892789399670466648622512932587987770213519803461930\ 42669797092055712493/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^17 - 3007993862086159998475561378740817398142165741478678931457707878742\ 63704250535991928618/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^16 + 8965707774075568632736278207680910149443662121374530651019940615712\ 91364575244603880953/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^15 + 5548118549349974701034277055626242263612948847758763200730554789601\ 51672220601648353256/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^14 - 6667922931156647093709244854076667534571235355423641539925106778100\ 89585823122586287526/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^13 - 5580931010165186442698111329552393891149993665388641222052929654549\ 94589082023951146361/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^12 + 2822636426490457991373165307975988587729206087076496225536182111661\ 60612114367088406256/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^11 + 3290882132800297995666314527861209667047487666954906172402408194264\ 20227308631122477610/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^10 - 5157561038653765113324458640863417924103580916050516598855313312324\ 7690849452739290480/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^9 - 1116073303323464604587523612083977973080486629924055989158411403596\ 33739483184883133074/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^8 - 3274434356999767315755277260955269948638335598017436771815894686964\ 02413185034528712/3238136740853292409204393024058756015656045597276\ 8689241609012135756501895638137*c_0101_6^7 + 1945579667095320608029348841767704051818880638756480641177056367476\ 9300690635802322927/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^6 + 2937271850298875973580890235577064164429522151912364376155036635036\ 766629842346317854/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^5 - 1102367506394339272760606276638867265976793036067633083747282193726\ 678335523708379187/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^4 - 2785535406103380276756484423392496116658651935278568333083400319204\ 70401027163496424/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^3 - 5474497090095075756162950026689294815173275760040468970166964684471\ 1866413797156757/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^2 - 6978944762373293806652804699842464632144685801460134443398857240502\ 231795299639864/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6 + 1519530944426169679007282059083274499209148174589507331111365092804\ 108996828923077/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781, c_0101_5 - 200798198120308896572109511369130548313953349738220832088610\ 3352633518662292424578/42095777631092801319657109312763828203528592\ 7645992960140917157764834524643295781*c_0101_6^31 + 3424130328935312976261249946203004793881838849182033409535154571360\ 543307911181402/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6^30 + 9814278243857802286635172675591671859190518372869202142951797724555\ 4987522971227967/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^29 - 1850398629967476896999888547382320207014689249797814759668297430616\ 91719355900749056/4209577763109280131965710931276382820352859276459\ 92960140917157764834524643295781*c_0101_6^28 - 1302681610266167010258735807969237683542241660762927927707978246578\ 064136431445172750/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^27 + 3735414741916803089178793790801845397912314718470099850822598138426\ 580347223706847634/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^26 + 8474271710653926875206215083300110657985680496972326767374182952429\ 915771183142015893/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^25 - 3533616065904518876970354691356576437983143705707128053315223865458\ 8149460327111385601/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^24 - 3956191128312032180353045325199377615043227458009727777889795906636\ 9579532237454492362/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^23 + 1852119175211402499656153599815990346213138678387003514159398801631\ 18471184933095339638/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^22 + 1567290398050826830455763803834803483640482005407700593974379950644\ 47418194799326623728/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^21 - 5849451234592677155403333167656192245339336322568960128713354731781\ 39339234554301229381/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^20 - 4631585382565464137833288877695989789386137525321443667556005737310\ 15634468867757338365/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^19 + 1138910441045898832409362874784494891222698731858183127718430263227\ 443871936641131742270/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^18 + 9350063600816701190748056199754616158651635757674161100119189688458\ 61230464003623997087/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^17 - 1394036615076028871564939624898794233736669486023895306973897723168\ 473256034996667149158/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^16 - 1246781336033722279284469152505304549775240062015729623329181133164\ 360223474382338084453/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^15 + 1077092850153593034826813688235702272954550457133607964728527491464\ 138817805699804864826/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^14 + 1077634537545892916695701274252709462481935248694860926517951329011\ 299359829712076921885/420957776310928013196571093127638282035285927\ 645992960140917157764834524643295781*c_0101_6^13 - 5109980625271470724494844030413272918831408999852778586936424526470\ 25547626935366155507/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^12 - 5951963718993456813748261514343657940638124577359071281870131046585\ 90677092136949949132/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^11 + 1403572367763596743600523328594631695962263790105888783556866468460\ 61899506811973443241/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^10 + 2021913217336111204770323798309957124249402440690106531074873962124\ 64667716151051009697/4209577763109280131965710931276382820352859276\ 45992960140917157764834524643295781*c_0101_6^9 - 1991279477822582399395274636133718215180986013698144097037240358513\ 0388348039835454512/42095777631092801319657109312763828203528592764\ 5992960140917157764834524643295781*c_0101_6^8 - 2974203756007102602958443787848778509718946777651518328495742812296\ 074754572776650346/323813674085329240920439302405875601565604559727\ 68689241609012135756501895638137*c_0101_6^7 + 1269825924053161858547533596339438525541201055987328248204021135918\ 113687409794361844/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^6 + 3178623175640856541138752477323500212453454146431658084079642243196\ 532584109373791913/420957776310928013196571093127638282035285927645\ 992960140917157764834524643295781*c_0101_6^5 + 2362764728427774824485175886982448800640337364358285304793661380676\ 1603329497250104/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^4 - 1054776200643856126539541173142192558817347245426351766190759143613\ 0991058053936380/42095777631092801319657109312763828203528592764599\ 2960140917157764834524643295781*c_0101_6^3 - 7185579379276464894194222431291108745353935277501709098263687560155\ 856487066423231/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6^2 - 5523076756534953813585969396583102557774519517100860048598557081012\ 051272137186667/420957776310928013196571093127638282035285927645992\ 960140917157764834524643295781*c_0101_6 + 3084253524714333898695642846747883391571534048892866401923614696127\ 76965785126608/4209577763109280131965710931276382820352859276459929\ 60140917157764834524643295781, c_0101_6^32 - 2*c_0101_6^31 - 146/3*c_0101_6^30 + 107*c_0101_6^29 + 636*c_0101_6^28 - 6227/3*c_0101_6^27 - 3867*c_0101_6^26 + 58046/3*c_0101_6^25 + 47563/3*c_0101_6^24 - 308830/3*c_0101_6^23 - 172867/3*c_0101_6^22 + 340071*c_0101_6^21 + 518530/3*c_0101_6^20 - 715326*c_0101_6^19 - 1146928/3*c_0101_6^18 + 2946334/3*c_0101_6^17 + 1751476/3*c_0101_6^16 - 2674172/3*c_0101_6^15 - 1791413/3*c_0101_6^14 + 528114*c_0101_6^13 + 1214056/3*c_0101_6^12 - 196060*c_0101_6^11 - 530843/3*c_0101_6^10 + 121924/3*c_0101_6^9 + 141017/3*c_0101_6^8 - 8558/3*c_0101_6^7 - 6546*c_0101_6^6 - 467*c_0101_6^5 + 299*c_0101_6^4 + 211/3*c_0101_6^3 + 44/3*c_0101_6^2 + 2/3*c_0101_6 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB