Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 1646526093] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1920 geometric_solution 5.52168567 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.268563105285 0.128918323818 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 2.245961572806 1.373373274374 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 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.641919962850 0.623183995212 2 5 4 6 0132 0132 3201 0132 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 -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.130069156030 0.760901763271 3 6 2 5 2310 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.130069156030 0.760901763271 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -1 1 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.143046987474 0.783453707981 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734364309919 1.297272434056 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1876726061352780727672017115269033471219456903655917065035116738713\ 596325865604608470409/309899390326061712322454441281428006957071637\ 12252354731067602970033464686246259302615*c_0110_5^31 + 1257378144446424659360286782102265119032147640746540238420588431925\ 0930970743755112415283/30989939032606171232245444128142800695707163\ 712252354731067602970033464686246259302615*c_0110_5^30 + 9537230439534962240384056623259843983894902919104386746131121306381\ 789131313844529694472/281726718478237920293140401164934551779156033\ 7477486793733418451821224062386023572965*c_0110_5^29 - 5301114671110914758529740340426792257930147376813908640661693784485\ 20345541720190168977416/3098993903260617123224544412814280069570716\ 3712252354731067602970033464686246259302615*c_0110_5^28 + 4848049082701503420573546043303290004341885485515242747414836115000\ 07497765391236095222604/3098993903260617123224544412814280069570716\ 3712252354731067602970033464686246259302615*c_0110_5^27 + 4186625429133051998391002657912280121732539372758862596925760141254\ 53121854535925536271955/6197987806521234246449088825628560139141432\ 742450470946213520594006692937249251860523*c_0110_5^26 - 6635091468120082028227935435651061817124442218018574142396562626823\ 992408182273623733078129/309899390326061712322454441281428006957071\ 63712252354731067602970033464686246259302615*c_0110_5^25 - 1346904319262034188087225310136281455207942323317345892991550552127\ 674399812565633029145361/619798780652123424644908882562856013914143\ 2742450470946213520594006692937249251860523*c_0110_5^24 + 1442644447647080343597726369772443298353147744564481223550944976421\ 036239909821954598833767/281726718478237920293140401164934551779156\ 0337477486793733418451821224062386023572965*c_0110_5^23 + 3511009312018386673583299817970416152238159976130839285309829786010\ 7782448205332986550474686/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^22 + 2364188102358866087245465923096539353542788065687928257506964232727\ 584748388349238538479342/309899390326061712322454441281428006957071\ 63712252354731067602970033464686246259302615*c_0110_5^21 - 3877519265283448587532648603692689612446135465981283126569372027043\ 878471808033098225507223/134738865359157266227154104904968698676987\ 6683141406727437721868262324551575924317505*c_0110_5^20 - 5558975474144998375387891354536050477239625427587142161160377256869\ 4128378390455390766487366/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^19 + 8361507392362207242296065462531565814496793737958126878567462337626\ 8188168723959017183095326/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^18 + 1048388575851522602253041234683867198482172675853178576640831603811\ 15086330238429055187330868/3098993903260617123224544412814280069570\ 7163712252354731067602970033464686246259302615*c_0110_5^17 - 1377733458826995885122826331634676202673066948056102285522784508466\ 2028667676718974771773467/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^16 - 1410983504680432733957927152254025437177796910759303816186755410176\ 89973673799356335654377894/3098993903260617123224544412814280069570\ 7163712252354731067602970033464686246259302615*c_0110_5^15 - 2176137393432102024431776648848001469815189926125938731019960612062\ 279588280178680226795281/281726718478237920293140401164934551779156\ 0337477486793733418451821224062386023572965*c_0110_5^14 + 9824843750099034704521554935455523184896616276887372510347752426864\ 2579740369787308145912389/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^13 + 1388524090642629890940160469892290667052521486321850947622827439626\ 7667516259047033242164298/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^12 - 1780281739661505368346835630474235453958966872834286370678572374684\ 1428019078801085054818148/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^11 + 1263792307567006950241477364934247779575852747641352946323628984321\ 267661828139069513626522/134738865359157266227154104904968698676987\ 6683141406727437721868262324551575924317505*c_0110_5^10 + 4604298758031210183860043325897191665274089731904968290801541016922\ 239878465674346040719996/619798780652123424644908882562856013914143\ 2742450470946213520594006692937249251860523*c_0110_5^9 - 1634174791663370367997025143838225039652370553492203840785926292331\ 2658804801264706447578657/30989939032606171232245444128142800695707\ 163712252354731067602970033464686246259302615*c_0110_5^8 + 4621382782407497659567170961123279251535732946678066967362063258633\ 571745828502534508314623/309899390326061712322454441281428006957071\ 63712252354731067602970033464686246259302615*c_0110_5^7 + 3405330388024218356689249367417327428772638786465589965726680602124\ 175803651527783733892419/309899390326061712322454441281428006957071\ 63712252354731067602970033464686246259302615*c_0110_5^6 - 2515895491025530503700815495097527540995481429765981594972205639065\ 288129802819007515472071/309899390326061712322454441281428006957071\ 63712252354731067602970033464686246259302615*c_0110_5^5 + 1009976283512591936610168703415819410261076444106448390771170918199\ 12464241356563575918993/6197987806521234246449088825628560139141432\ 742450470946213520594006692937249251860523*c_0110_5^4 - 5737393669951042440736440015387131764855476572507790328064200368149\ 7507735069225096411498/30989939032606171232245444128142800695707163\ 712252354731067602970033464686246259302615*c_0110_5^3 - 1245785099403274108176765999827371683680158517743157316724603913055\ 970673062452656507189/269477730718314532454308209809937397353975336\ 628281345487544373652464910315184863501*c_0110_5^2 + 1447812189337643235452034528517411125702596568760469833131511222188\ 9992828613593209523413/30989939032606171232245444128142800695707163\ 712252354731067602970033464686246259302615*c_0110_5 - 9606631158133277281242492012395493148664828653586880616355139466413\ 998884863588235423856/309899390326061712322454441281428006957071637\ 12252354731067602970033464686246259302615, c_0011_0 - 1, c_0011_2 - 460543935901621915968227057795528237222045741193294129913587\ 987910753824511215/167301118488219911691641914050259539641412175983\ 69825670200531202358882760093967*c_0110_5^31 + 2986704908256543163346994842160881934354242577186555694256375290482\ 822006102545/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5^30 + 2628956761308868310546782171224538756953348792217281716086788873315\ 3853753587902/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^29 - 1238181316682268885160249507866942900842204860362381100161090443192\ 71023782490987/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^28 + 9789854312735715968824040971387303673250798646055167407056713469929\ 0316194938673/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^27 + 5084914652929862131806811995044052474652996496665231598116475922451\ 58981965894467/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^26 - 1500129674474110753269910954207927299583925037871468386475638766452\ 519992986232927/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^25 - 1859643224840827358978950585253431626793077657131462800858910039806\ 310517429262941/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^24 + 3174463230248053813508294964484234121941526984648582946930158438040\ 735843803341836/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^23 + 8871960750989251413264515094560937001362565585075027969809162371297\ 959399647628007/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^22 + 3266911240023496889948710638564656910043162268292912450889802471447\ 333297156006981/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^21 - 8328780171137565185327112469215141944822252636153619182397755971868\ 22070142056028/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^20 - 1736752275627303054298768455081940794845693561740038160530761179826\ 5505225679373248/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^19 + 1193039365547565974841759738465881045203043771673287983560465647914\ 5432117569116479/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^18 + 2439796256259780671629957027352231493391703601299958380022558545467\ 4975372972932765/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^17 + 6214080177080848903087062408642267275924016981945813796927689652832\ 160815173668000/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^16 - 2627654527562793686317240271932009747814042609845624354437882256928\ 9418723167656391/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^15 - 1151556655261275131296981918527506731688062827033452416194137944868\ 9357365982235382/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^14 + 1304873921837890423682244990312001521741938683863816350064338088607\ 2841024703669854/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^13 + 3100965594802909149471403394723860105566694183734384564733195528219\ 247073015659624/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^12 + 2197186735482090618370520656575477373435682794220519112789383597314\ 770824065606545/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^11 + 4490117756837149245978901969550023444375115585134374392445087628796\ 74570498106677/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^10 + 6581747303195816532556214804768423104104267116430698281928921630618\ 498290610175953/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^9 - 2065181733652241777401712852520735637731559387499288649209524743222\ 822676229684162/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^8 + 2030169469537470154338221091822929980812018930576728788517135350250\ 561468908861502/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^7 + 6599253798570689528315690206098116310377050090760052473363535683933\ 31150764331223/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^6 - 4746509381342331926276015303750530911166901236852614535758299339640\ 89023682932209/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^5 + 2502795394605101876782499793319634726157940321479348577838091509327\ 98049637454305/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^4 + 7691653100042181523923653108278800128610324481520095283441802047202\ 6426947305/16730111848821991169164191405025953964141217598369825670\ 200531202358882760093967*c_0110_5^3 - 2271533974495953301371547084552872739002403069478337858647869924661\ 464282358582/727396167340086572572356148044606694093096417320427203\ 052197008798212293917129*c_0110_5^2 + 8827942076953965543987352137206353504138219800480756024418683821797\ 494694714086/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5 - 1140976920455569409042461523265091552376193018561814956877051354162\ 1210049125230/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967, c_0011_4 - 506011591031991801235469059879930226020464577835099522866962\ 31337605801602408295759/5634534369564758405862808023298691035583120\ 67495497358746683690364244812477204714593*c_0110_5^31 + 3436548239458585840776692376309915382394559559522992756803787213302\ 99941803095774402/5634534369564758405862808023298691035583120674954\ 97358746683690364244812477204714593*c_0110_5^30 + 2799089721708523164455265427454155760973309762822917970554280471315\ 048111018459184063/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^29 - 1456298493413348184913842092807456849399763299448477976326261177845\ 0358583945300128036/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^28 + 1429806025438646809770603974030212186851893900349672851354962213103\ 2288603263110975907/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^27 + 5571744357655296229268931207756189802445323242623669540905142620977\ 0700066287975151377/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^26 - 1845455498551977195853759434300833707558466478110486841291388285957\ 98695184652996856908/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^25 - 1671879755806949605870675987846294430263518234356809410568122063945\ 95327680107335855409/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^24 + 4510299934556009824752114053615219836966274172900668409213214681454\ 01393288927622228749/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^23 + 9124411920654478679315620915761371687993130864130440670949772061496\ 07210710086585034645/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^22 - 4370598838240093528502011975769700884057909054201440312871350878092\ 7030282391256617334/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^21 - 1060138709712440020386758471005165178010424692847110300712918317618\ 84834799826360133062/2449797551984677567766438270999430885036139423\ 8934667771594943059314991846834987591*c_0110_5^20 - 1255526519084881825743607586530032894941978467781087162870345099914\ 607492292876231048531/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^19 + 2491306791435415605385950621176862610740951790814834614491036627784\ 709521121068715712284/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^18 + 2633921410244426317269509963378294571698800453890278198283603987721\ 065030328772547143862/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^17 - 7894175697619747343015114216200293475704852659398218036023951848813\ 69266479827289131913/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^16 - 3861510329874503704972809647288297674908906372180170601390427292116\ 139112212043254743017/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^15 - 1766042985982674593200078165394776605058160389371508971265582672373\ 45570080044334457427/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^14 + 2893976352319832833677143706108682174800985336590886945483850327571\ 194516933453322840549/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^13 + 8117157233664066359386402181177601888824951136129449734558569569022\ 9113903409801211693/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^12 - 7180610426792557276957879511773364402623815849763133153052513281054\ 68285394358226482988/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^11 + 3680310226994849131590244123845898476809728281171154568839780523716\ 8843313047140834594/24497975519846775677664382709994308850361394238\ 934667771594943059314991846834987591*c_0110_5^10 + 6515023818350040498967109018941623760780815178200515354749548519145\ 83228813532356273109/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^9 - 5241858724130000439722252506021558915988523896455777424075181661412\ 35405038180311947984/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^8 + 1396007661090380502439512239669860576042353746996935668662140634298\ 45411948326670362453/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^7 + 1224871713133937718041811288017598690333536915767903675131621394290\ 75990656704992916113/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^6 - 7085179503683372219569592700284404126953443435061770222134810562526\ 8238865575491933711/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^5 + 3012137226728281207300020375241731684548617691204526085310116192668\ 789120094572739081/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^4 + 6837027223198929258931546279426344479945011353520512484953412605060\ 344024119039450371/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^3 - 1412731874771929595272659275510385322555506803536416901632685743447\ 41011161113962602/2449797551984677567766438270999430885036139423893\ 4667771594943059314991846834987591*c_0110_5^2 - 7912413747837374568468389287860084801076017245076138965936935356025\ 2293354495910740/56345343695647584058628080232986910355831206749549\ 7358746683690364244812477204714593*c_0110_5 - 1788576101694362344399351472438277385266166173678721014630438617229\ 4282063472710198/56345343695647584058628080232986910355831206749549\ 7358746683690364244812477204714593, c_0101_0 + 453896223327420177644339060311999127938193313209212601196691\ 29845550530708535320220/5634534369564758405862808023298691035583120\ 67495497358746683690364244812477204714593*c_0110_5^31 - 3202725958879180820906874179799540533636829289726780078721701725177\ 05686091688951224/5634534369564758405862808023298691035583120674954\ 97358746683690364244812477204714593*c_0110_5^30 - 2434201138648503242753451132484347472243693433310020394204321973358\ 547326769366922241/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^29 + 1375990614308014558475621933463534290013623277361225195716812962552\ 3629208783243673615/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^28 - 1599718156781223708924650659157177768220948929701958914151774208002\ 3801465173184640870/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^27 - 4794073382338089607288040370925399494813474785413743993825605082635\ 9654466252613939931/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^26 + 1797295959941465763226007872349004597848698392158599079972534368562\ 58765567142738279927/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^25 + 1121568622859445817414470302183551354384344855045843319338228936990\ 36601080625143619437/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^24 - 4608488085974328927406005088261206674636882284117459114117162881326\ 16735090116444712130/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^23 - 7336398880225823153556808460711546916709158080116357161487301310627\ 09066126910067860234/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^22 + 2966601883268953924232757670092478237376517055636014903677746913709\ 68487878607336191297/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^21 + 9924039722407452896026873597016071218984589345812168788767392310020\ 7055839833608212317/24497975519846775677664382709994308850361394238\ 934667771594943059314991846834987591*c_0110_5^20 + 5669611942409785899738186244688118504980047225125828964917665263538\ 58879394052639355409/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^19 - 2786987964487700482089067116098918867023018355611720304388088099734\ 984443108544251753015/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^18 - 1975199739994478493083625367133884375414249743039959865011421034589\ 387280893646914098341/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^17 + 1562759318607517816317011503400320048344097566263296261399017710565\ 923602245934630081745/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^16 + 3644794635655557986491330914205495941784328733153235688680807654325\ 442704633196242447982/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^15 - 7582461431090835528648936640413912605438074386087033088500523793143\ 29696826916842656144/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^14 - 3084911072846400478784752301573844174566723113634273147224178664345\ 028143315148632133044/563453436956475840586280802329869103558312067\ 495497358746683690364244812477204714593*c_0110_5^13 + 4527234770051391915615588766599928439427601393201669268093294710891\ 81591420077156974549/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^12 + 9715694949352152929522240287398432078149829588274417101337783914917\ 30049084660875206575/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^11 - 3448566912001102352153507573184992245593369761610730434699896490073\ 6765158534508687431/24497975519846775677664382709994308850361394238\ 934667771594943059314991846834987591*c_0110_5^10 - 4525490110952940012360409834608896254706134003791798111488897991811\ 51201892441911008363/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^9 + 6603729851818288458827412980566274967908197476739249830460024584667\ 95691418308927785243/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^8 - 1742761994663333124401387198521278510188126349475845303696187075685\ 65056478787089900682/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^7 - 1170683016657907438694467672850355324320490229694121689281500792837\ 06705546126330978256/5634534369564758405862808023298691035583120674\ 95497358746683690364244812477204714593*c_0110_5^6 + 7978827353861571008120875504177273738078670469307022304317755520790\ 7478818321599425346/56345343695647584058628080232986910355831206749\ 5497358746683690364244812477204714593*c_0110_5^5 - 7328093618117363064049139413093396911492991880902696310512834000972\ 305467696646693109/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^4 - 7987331827813193784946162160090529669461165029704571255737223193567\ 313985844448863406/563453436956475840586280802329869103558312067495\ 497358746683690364244812477204714593*c_0110_5^3 + 8891376639739230111085540777333792292222495837154192547190853798903\ 8335918236285363/24497975519846775677664382709994308850361394238934\ 667771594943059314991846834987591*c_0110_5^2 - 2534786394182160159049426034827518315484513845570688299361200289615\ 79518757113196159/5634534369564758405862808023298691035583120674954\ 97358746683690364244812477204714593*c_0110_5 - 9642516586364625789089291024829767519346181532057535842551882262689\ 8643920956060567/56345343695647584058628080232986910355831206749549\ 7358746683690364244812477204714593, c_0101_1 + 141054030092811005942240802628581770585726429637272123794369\ 883204016762990363/167301118488219911691641914050259539641412175983\ 69825670200531202358882760093967*c_0110_5^31 - 1404357468801934491304768987500634993177847010185307017987137193240\ 063970363137/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5^30 - 4699032838490610129080307055672172547650741694665036039872733707550\ 167341815870/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5^29 + 6469925072185845734105363486822463239984447626062151395444872813434\ 9575595134721/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^28 - 1715919769691094910000331595082898376080478157859162827871137243701\ 38207777397094/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^27 - 3132016309954284591196920021780726598694264965973813464434576745624\ 821683410171/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5^26 + 9548835013179430755964883700633117478122163761664093153605970983218\ 64193188627011/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^25 - 1203167228225240544686509631516367456682929515971680206038320887547\ 730901468242632/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^24 - 2369746567965561475223841639332677516416386587455539557843655884164\ 040465827250064/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^23 + 1273086025982331644168004599309755977193250492949981432252060521416\ 167055938140868/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^22 + 7318878414329458826112986659564165711935780323003186973738827782847\ 818997549516124/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^21 + 2650525786636301098917170236767685201356763611541545100303365713371\ 77270804777154/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^20 - 1641031270576540989396910394622788208338451727217389997783095315769\ 7569656586431679/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^19 - 1516778063631288108889013565883787321958450633481680561222285403784\ 0260101768183130/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^18 + 1160031318731020232608436988784927833246037721874909446175587969469\ 2940035802940512/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^17 + 2083564590259824276251279992846679718124478922079844627582416996152\ 7953876269019968/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^16 + 5652738933236675466351734554268943881658549596418148537796626803782\ 121493393818434/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^15 - 2854513812212626498407707421874921564627396946983390013731779696397\ 3507414482539944/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^14 - 7049883465904666024794401025958130063261401723999429290694675989149\ 515184116484580/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^13 + 1813131112764121611942980721648740203151182658995532991042008404584\ 9798173752804527/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^12 + 2775609035837560594142577590770972832854044507126933194604774088234\ 76839015106196/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^11 - 1310989696328862414560570425748376021413454009531817116490708738900\ 11502304600529/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^10 + 5624216006767546975866506377415957780413015332109967276544590725296\ 707349636020495/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^9 + 4737682565912908529214434812810324250427415441248637614741658058191\ 776095132696801/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^8 - 4379500301475838043359121582533559030494534649317634959779553787359\ 402296716489415/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^7 + 2296351434022205127174120324101712763950087631253468283040541575189\ 446666809288950/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^6 - 1007175004486972709457891605505377008893937115555330761783526027848\ 59871880194106/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^5 - 1943882660787000912603534419500991419857837388107289460335538147894\ 87774325091524/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^4 + 1287291501933837381957166668841705332726611496669451919901841716633\ 05501755661288/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^3 - 2264563529055127314102990237783028025877715184110437224132172258329\ 824622021734/727396167340086572572356148044606694093096417320427203\ 052197008798212293917129*c_0110_5^2 + 5611090872265564752992365053284170329918449094995499329079013700873\ 065826223293/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5 - 1625677221912999537412609083824312873664998163788401723743604476847\ 4825616999625/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967, c_0101_3 - 127570701000905350729041536569557631131566972824051846129654\ 307544175986726665/167301118488219911691641914050259539641412175983\ 69825670200531202358882760093967*c_0110_5^31 + 9068159286861703697965082796887446182397387225120342964463078202095\ 30016091544/1673011184882199116916419140502595396414121759836982567\ 0200531202358882760093967*c_0110_5^30 + 6970273431117240780680242784040339077056314976194160857758159865236\ 250105806420/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967*c_0110_5^29 - 4016322794497240167097353564008120435736787856149077035551944178286\ 1849002530855/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^28 + 3683084748391956539139257621219238267951211092365855326595117338316\ 1669391114262/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^27 + 1796136278755366723221064248370249244261239615360341711304816642764\ 31921833824385/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^26 - 5436420717603432062351534544544422147934433679141856628931394297668\ 08825168378542/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^25 - 5008454728662564454350739435019708263186193166181453732394359735199\ 56032595108953/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^24 + 1882423310490987448057580899217659609542856182878114800366938354246\ 257795341891736/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^23 + 2811059212172558865422879230496245632429055184783045819787097300958\ 783005319668159/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^22 - 2310648494638131794478211953061024797156187947982120787099559402493\ 035882088809726/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^21 - 4421496829959039212445905239696327577431462045511353303448585837547\ 94709144404922/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^20 - 2228353672212901868668663394062853636251849864650959361454402027222\ 002778121558080/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^19 + 1669599001761694202824900091901312032890969260609907680542166906946\ 5118155408643853/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^18 + 1282019482287893128635522890990490993478318586219253933027563882164\ 5468435070948070/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^17 - 1206743417918020583032139030050276826329477070910871578163335418201\ 5684563339105463/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^16 - 2320295996178270821521067866225541978955949890878002436157070731064\ 5629675787357951/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^15 + 1862043489022241269503900348665663738447447194336537494941823273759\ 442322462835518/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^14 + 2400115485924136908611077268633964969512530740982525212391038729754\ 4756000512230593/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^13 + 4711907821447935156530255871373119197978941535295007456885423583146\ 170067164823944/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^12 - 1298482353323343498726483438573300465958640693329246251846138680610\ 9739836071879736/16730111848821991169164191405025953964141217598369\ 825670200531202358882760093967*c_0110_5^11 - 1268265390026172603791980909824134631003627051344638481784119073712\ 47285192018002/7273961673400865725723561480446066940930964173204272\ 03052197008798212293917129*c_0110_5^10 + 3390392395743505557272202333845369026947348169624692491803138124611\ 173720087162325/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^9 - 3026801942803569137969828447439776348231078095225470885012374080676\ 958720733273136/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^8 - 2297168502922988465544638037114705840833714255250110755349678581261\ 105953485104867/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^7 + 1241901159670012101719431716346991504347612724290627301134910283226\ 140551694150103/167301118488219911691641914050259539641412175983698\ 25670200531202358882760093967*c_0110_5^6 + 8349286184276874608097362988653375631478302024906216924258219791041\ 5022637882114/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^5 - 3850309986005161075520574384829268612843260765448627490825936177826\ 55065888758884/1673011184882199116916419140502595396414121759836982\ 5670200531202358882760093967*c_0110_5^4 + 4406969235492297820477322989556313404884727712838673656111728207642\ 6809213532336/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5^3 + 2113827061632032004088997395959820346228570309842497538464164081530\ 784585975208/727396167340086572572356148044606694093096417320427203\ 052197008798212293917129*c_0110_5^2 - 1759233445276700023224496499152266808668662457532835193641509879230\ 7725824289829/16730111848821991169164191405025953964141217598369825\ 670200531202358882760093967*c_0110_5 + 4560570053479162373955146591291008478211422195862993185767493770795\ 011212831604/167301118488219911691641914050259539641412175983698256\ 70200531202358882760093967, c_0110_5^32 - 7*c_0110_5^31 - 54*c_0110_5^30 + 300*c_0110_5^29 - 337*c_0110_5^28 - 1070*c_0110_5^27 + 3902*c_0110_5^26 + 2651*c_0110_5^25 - 9943*c_0110_5^24 - 16534*c_0110_5^23 + 5390*c_0110_5^22 + 49903*c_0110_5^21 + 15114*c_0110_5^20 - 58985*c_0110_5^19 - 45107*c_0110_5^18 + 30142*c_0110_5^17 + 78952*c_0110_5^16 - 12113*c_0110_5^15 - 65234*c_0110_5^14 + 8146*c_0110_5^13 + 18841*c_0110_5^12 - 18083*c_0110_5^11 - 9661*c_0110_5^10 + 14091*c_0110_5^9 - 3679*c_0110_5^8 - 2386*c_0110_5^7 + 2081*c_0110_5^6 - 362*c_0110_5^5 - 64*c_0110_5^4 + 74*c_0110_5^3 - 20*c_0110_5^2 + c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB