Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 1916006216] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2398 geometric_solution 5.76054586 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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.335555654501 0.584840155291 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.656728370690 1.021862857555 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -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 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.656728370690 1.021862857555 1 2 5 5 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193892438967 1.460742207731 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.154827646782 1.489211091530 5 3 5 3 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.628279981456 0.938428259155 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 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 -1 0 1 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.428394373413 0.132382563094 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1628227750371729154395793181121761007664437350950997749919610297891\ 1765923619315/16539162330840315302417657517444038752573683036621143\ 5878351923103589439647*c_0101_4^32 - 2947766625732637882060502184897494128584024938719425836473016574622\ 947898953170/236273747583433075748823678820629125036766900523159194\ 11193131871941348521*c_0101_4^31 - 3852593172849017314835253494883378827904433115923631370136444718940\ 19956287988146/1653916233084031530241765751744403875257368303662114\ 35878351923103589439647*c_0101_4^30 + 7868316225859655766058547124131080286994821152032307149830282446737\ 20135266330083/1653916233084031530241765751744403875257368303662114\ 35878351923103589439647*c_0101_4^29 + 2362288013985162532692729050001551008796639907879961619763268261392\ 480622307220162/165391623308403153024176575174440387525736830366211\ 435878351923103589439647*c_0101_4^28 - 8332934048779687551024463404245345772016576840053791018081663437774\ 482728906178749/165391623308403153024176575174440387525736830366211\ 435878351923103589439647*c_0101_4^27 - 4301885289649173883529419360764366936123250110616019335909502807798\ 996444883711211/165391623308403153024176575174440387525736830366211\ 435878351923103589439647*c_0101_4^26 + 6314314459962834815033896210381815037636551117878035357566388620206\ 878025692414688/236273747583433075748823678820629125036766900523159\ 19411193131871941348521*c_0101_4^25 + 4926055065112876497513495502595253794293353437586125028713697032418\ 5141752803697575/16539162330840315302417657517444038752573683036621\ 1435878351923103589439647*c_0101_4^24 - 2719759943116888847434483534182781109336166029796162040744871961256\ 6841160106502626/23627374758343307574882367882062912503676690052315\ 919411193131871941348521*c_0101_4^23 - 4113500782616320608052293612414987500366862092526857241587814145583\ 28423728133011345/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^22 + 3712153374467155662088316189062767932707258631706897117823191749660\ 80909690444067681/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^21 + 1344364815641226577744657013686850890883553429307334692749580577098\ 669686607566890575/165391623308403153024176575174440387525736830366\ 211435878351923103589439647*c_0101_4^20 + 4203086343192049613446932668553681510750078242272118030357060509236\ 40951713235220032/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^19 - 2068741954165739915565602773307826291035689236368663352978394183904\ 144882517719089016/165391623308403153024176575174440387525736830366\ 211435878351923103589439647*c_0101_4^18 - 1705479052814226754008821383001337995633914311758960396598567602144\ 243081158000131634/165391623308403153024176575174440387525736830366\ 211435878351923103589439647*c_0101_4^17 + 1196767292344155258580611218928770143197385773720737949410503564519\ 351263882370242322/165391623308403153024176575174440387525736830366\ 211435878351923103589439647*c_0101_4^16 + 1254334930964165970625796093081900852169273404676763045504472272771\ 516468592064873600/165391623308403153024176575174440387525736830366\ 211435878351923103589439647*c_0101_4^15 - 1756409667485192205059552685615506262744506949105767516948972799022\ 81190177561178913/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^14 + 1940097208260954918775755388326999988810744545544996703083401546879\ 16890846685899585/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^13 + 9414230053560198597813977592500862918309257140558822563368004566470\ 5996589874145257/23627374758343307574882367882062912503676690052315\ 919411193131871941348521*c_0101_4^12 - 3388685675392597684998477498376547099068115054755380562759756975252\ 52513323508526079/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^11 - 9448307278623486446332970719275582190567768097408387593022516601765\ 22937874422687829/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^10 - 2625459171945135601151350957221713422290204927261771969902419123093\ 39714230615223418/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^9 + 5179612062564058023373667926096972960586958471923307519937142326438\ 1982626946393461/23627374758343307574882367882062912503676690052315\ 919411193131871941348521*c_0101_4^8 + 2797452672904937681135843842968274373421896395872594670856652859827\ 97968124045534856/1653916233084031530241765751744403875257368303662\ 11435878351923103589439647*c_0101_4^7 + 1749840754131115434038489574646702799206184345919485881071226075776\ 2757749137354119/16539162330840315302417657517444038752573683036621\ 1435878351923103589439647*c_0101_4^6 - 5695918102755390914117176360970858230401689972959557329559280719907\ 5975312738371663/16539162330840315302417657517444038752573683036621\ 1435878351923103589439647*c_0101_4^5 - 2727181331809736362723190891997871555124540919388400900137294664028\ 9765861784831681/16539162330840315302417657517444038752573683036621\ 1435878351923103589439647*c_0101_4^4 - 3065988533048903949046268238117251916407438104875673922932776841722\ 026188100221978/165391623308403153024176575174440387525736830366211\ 435878351923103589439647*c_0101_4^3 + 1682402208059186908947810993354780280597026038781166999497667354016\ 493845630792560/165391623308403153024176575174440387525736830366211\ 435878351923103589439647*c_0101_4^2 + 6248900996309088110000413128519111208301701743591079961243978702271\ 93324508781346/1653916233084031530241765751744403875257368303662114\ 35878351923103589439647*c_0101_4 + 6091117416339773054979876531824930621193875806112714690895969032898\ 9370733259080/16539162330840315302417657517444038752573683036621143\ 5878351923103589439647, c_0011_0 - 1, c_0011_1 + 233693258757050785103528182991852773762143743676742922649759\ 438821823095905/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^32 - 4228104823109790675905279567463210740577917591064411866854741876224\ 2058890/50271010124134696967834825280984920220588702238970041300410\ 9188764709543*c_0101_4^31 - 552967543089664223748919334336101489653\ 3480756414658773765701138534414090694/35189707086894287877484377696\ 68944415441209156727902891028764321352966801*c_0101_4^30 + 1128860343725062044090977945522305000588560630356139023568218060896\ 9199299004/35189707086894287877484377696689444154412091567279028910\ 28764321352966801*c_0101_4^29 + 33913138852032219543467309768017284\ 998562074952392084659840332928071065551758/351897070868942878774843\ 7769668944415441209156727902891028764321352966801*c_0101_4^28 - 1195711819301391417343786517471662850108993951946488655792117225066\ 96084518667/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^27 - 6183280388201210099145074450188506\ 2618957128653098263527848640309895526429943/35189707086894287877484\ 37769668944415441209156727902891028764321352966801*c_0101_4^26 + 9061814509323030640609652788385232272010005070179511439423309536546\ 1373121913/50271010124134696967834825280984920220588702238970041300\ 4109188764709543*c_0101_4^25 + 707500925136388577754895641991997618\ 877746827455342085192285036437011690012552/351897070868942878774843\ 7769668944415441209156727902891028764321352966801*c_0101_4^24 - 3902639798457163123232990724976038306400962648322930323574725121707\ 89078991837/5027101012413469696783482528098492022058870223897004130\ 04109188764709543*c_0101_4^23 - 59058986100644324686532196679628584\ 52378046859153524179576748001964200607889601/3518970708689428787748\ 437769668944415441209156727902891028764321352966801*c_0101_4^22 + 5322930869954287096912774160637583808035992476480709402355883301222\ 685335840155/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^21 + 192979271559738969689150734397276\ 91752165017784617010744895163991902260933455338/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^20 + 6047142747947783801182114086784390751281215004364477587272033691579\ 330763938737/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^19 - 296837144738895133531303820017410\ 44853607136001875229723648103016973319417960083/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^18 - 2449573057437900159114640430335030320634630270993714172663452692697\ 8358089812137/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^17 + 1715730747963766414438172438517401197713498856006207490685825006230\ 4409915181200/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^16 + 1800867601490043442421081332986476859308262475583265418956181925135\ 1798357508875/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^15 - 2513349189738698641291147252881705921962048615591936938246071173570\ 849432061561/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^14 + 278362967595769839417735885026290\ 7547515222246399033253045142906457298320558000/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^13 + 1351970306069731208372010971617804787946878297375735972266631015559\ 681507631654/502710101241346969678348252809849202205887022389700413\ 004109188764709543*c_0101_4^12 - 4854877371958751627978318063628441\ 378472206241176826679774499698606346024611107/351897070868942878774\ 8437769668944415441209156727902891028764321352966801*c_0101_4^11 - 1356151767867935802311019997401421324999307550025641557932620590749\ 5357840508580/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^10 - 3775761399904676288765662046228778324078153824236049683199214262349\ 793852529785/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^9 + 7428767272277118025880574486796738\ 93294620283251102930798163017791267685003872/5027101012413469696783\ 48252809849202205887022389700413004109188764709543*c_0101_4^8 + 4016056126583549162503259116340772823325421958610673875700750073016\ 552964455212/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^7 + 2527242464225212635072379931885861\ 24602549661682918041145209473367585301006311/3518970708689428787748\ 437769668944415441209156727902891028764321352966801*c_0101_4^6 - 8169866892379946841318891934493097191217799659675976992943685144451\ 59381456913/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^5 - 39147580109226208647072866136189330\ 7310963607762341304710141037315342404438886/35189707086894287877484\ 37769668944415441209156727902891028764321352966801*c_0101_4^4 - 4410479855090785034955145926520728942538075053471468030654543200229\ 4638106306/35189707086894287877484377696689444154412091567279028910\ 28764321352966801*c_0101_4^3 + 241180256066191769981367117460690031\ 78984641359178055169740046033719243351910/3518970708689428787748437\ 769668944415441209156727902891028764321352966801*c_0101_4^2 + 8973692817054264096804456232005552320642252223297193950623483695116\ 051842181/351897070868942878774843776966894441544120915672790289102\ 8764321352966801*c_0101_4 + 874394393256615215365335749912999783190\ 096032384670945202598188172768501413/351897070868942878774843776966\ 8944415441209156727902891028764321352966801, c_0011_4 + 952791318115536199247998327628185348588729043826068222184450\ 0334527863274328/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^32 - 1724476843096307690363034316387891343930223070061020197343620625924\ 751433586/502710101241346969678348252809849202205887022389700413004\ 109188764709543*c_0101_4^31 - 2254477020345926348975723151762446275\ 09242194315408903901634631274398376321665/3518970708689428787748437\ 769668944415441209156727902891028764321352966801*c_0101_4^30 + 4603546857927119054170254343241593840560023492523019651111184176808\ 83649085385/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^29 + 1382524878933108188967774205268072\ 645443293639104199102075270508506995998521464/351897070868942878774\ 8437769668944415441209156727902891028764321352966801*c_0101_4^28 - 4875770337948116965716118011434077620913866775083920635747068178614\ 420770723301/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^27 - 251915275411297555291811890907712\ 1412593059478262969722374128679529764700801393/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^26 + 3694910359803925326313810715487082261258045264095322555843502657561\ 796323162021/502710101241346969678348252809849202205887022389700413\ 004109188764709543*c_0101_4^25 + 2883485136532028887466334445275724\ 2061365937757293915677557303926467137729909691/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^24 - 1591422606169344111170896174811326945881019790829083128831953208396\ 4044745286504/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^23 - 240750695367035372160079308257522\ 989981527361831397542749194068686865099097016690/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^22 + 21715417340069476670808125752360396550769584104423368357412938316\ 3984858313815109/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^21 + 7867799114718158799859799521368968263395940491790611392502730381389\ 47608142293085/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^20 + 2461925723562040271146374268189278902494924868052863974139131646788\ 82440942532544/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^19 - 1210558316431560332066765426124786559428847688769545181860627377091\ 470183806494153/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^18 - 9984150872369894525841948325961118857755588929244098768793312526037\ 66148774140356/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^17 + 7001036485798932066840317030642041437889552282212813302535700941373\ 27982754309932/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^16 + 7343073284134433037330926254715383738914450353900390966021624303353\ 28864088173950/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^15 - 1026279110753335400998592087493142018483356955710339966768644183670\ 28632487235220/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^14 + 1134426073881331789197841342089744392582955573736524597388422508308\ 92657784919567/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^13 + 5509888626073136649052471305742713539031022005805014507068424590140\ 4967780516622/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^12 - 198182917264334011919470614836189\ 726778172154785234871392178153273646074625040575/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^11 - 55299035734552130535814223962043242310012552398202074060772347965\ 3714308225723385/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^10 - 1537905852791134399611864690568960043666029891321918622990777848574\ 73739442022378/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^9 + 3030925905972356836593171561123968699291914277994105400310261526420\ 4877713563031/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^8 + 1637721485807485782537749746087571\ 89180276883745960574619050640493364336627181322/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^7 + 1027145367101162364958282746280807871394926254857733451615620641303\ 4130094859050/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^6 - 333381146172456021162717836000061\ 90488934895527064255260409403384174339937699600/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^5 - 1596781859034083454893329689483600799297749649772298002633828322063\ 7686613602617/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^4 - 179653667117218835215339190553049\ 5486391358856683395240382178462384410093436450/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^3 + 9847365643988465000489300364602434941971929345926854372718815495686\ 30047022456/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^2 + 36595608936148011124179959562745472\ 5347182478979276195820849985688729930215057/35189707086894287877484\ 37769668944415441209156727902891028764321352966801*c_0101_4 + 3568224531659437623035888983018702553831347367526567894441052947802\ 5459851246/35189707086894287877484377696689444154412091567279028910\ 28764321352966801, c_0011_5 + 664381483729559825942984274868926951734685942408998039362622\ 1801467447673568/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^32 - 1201718189351379361128263583364516539224252486542641835909112873277\ 225633326/502710101241346969678348252809849202205887022389700413004\ 109188764709543*c_0101_4^31 - 1572125485900535923070384444519094272\ 05677978242507409865350772586177649593517/3518970708689428787748437\ 769668944415441209156727902891028764321352966801*c_0101_4^30 + 3208809631846820992236072089287937530088189490950630858666600787381\ 49141296231/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^29 + 9643177482383865582955866015405695\ 04631062783494729615404537969694249076865203/3518970708689428787748\ 437769668944415441209156727902891028764321352966801*c_0101_4^28 - 3399157485401623310354894089436758880941260185757171452998355735240\ 154467644212/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^27 - 175948465138553734585608979342754\ 9819920864783686332162797413672713577902178582/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^26 + 2576341690300983921145226060802556685263617368344021200688824494601\ 888617754122/502710101241346969678348252809849202205887022389700413\ 004109188764709543*c_0101_4^25 + 2012124951590856046924836191833850\ 1710070046323391915359148149816158668711734125/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^24 - 1109511959698866903863795601973762373108822038593430057996039144941\ 5984723602351/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^23 - 167940891330681754375842651293129\ 607210484249284409499311645744203657354525079831/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^22 + 15130012815536907266912237864102495706952789961274472840163517240\ 9110068678078940/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^21 + 5487701937516285948950329969256882790670314972983713721302333227530\ 40296808778624/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^20 + 1720837950806952377632828936381584819218235139279849209620532038758\ 38849303383787/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^19 - 8440735204866741132226174887692594941576631061852692819061123554508\ 72594983561790/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^18 - 6968961145682377364403173572582027485009533533498154248924404441032\ 30486963515378/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^17 + 4877607459646155524290783070641493847582702792325283166615310220963\ 97943033448363/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^16 + 5125279764774704987469864425666299539742612219702922217807400905824\ 01804896273687/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^15 - 7123454102846998681053549820476355617335582654662989104205522533353\ 5162174932561/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^14 + 7897513182349479368754495484405417781538192568075510521792668758182\ 9694153729930/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^13 + 3843234321086133296150009559679339468094425012037552724344535100999\ 3072343382294/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^12 - 137994893122790235434180737088996\ 397413476599376400987498144965416453922446867565/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^11 - 38575770777963011056283638387326088114982007126950936414784132199\ 0435398737738955/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^10 - 1075240429595089671550036254785401643007447995802993825379050890502\ 11521332790481/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^9 + 2113078543135325260680604863700578519842868931950315647107541497005\ 3276888653214/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^8 + 1143295932274934307996443338846014\ 37869219365963867238733991717461236653875587456/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^7 + 7230932195437223872676633987941544590167957951802857103670269527121\ 261993910919/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^6 - 2325553719940071309325693881862060\ 2452688937549116049913292958326141112540876294/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^5 - 1115254927821586989198934962986268690442089682005533561414387078304\ 3893531113809/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^4 - 125841431137287032807662315795801\ 4446821086911756879318961739449328721611596389/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^3 + 6868040752503075948413183004515740491868163945724374701142879469408\ 90903143092/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^2 + 25574816443069582344772126123977038\ 2307632429130499608650213966835040356015246/35189707086894287877484\ 37769668944415441209156727902891028764321352966801*c_0101_4 + 2498196154269319700336716807684145861884416638104179431400355017577\ 0426755699/35189707086894287877484377696689444154412091567279028910\ 28764321352966801, c_0101_0 + 103741755237714045744464125708982155371486810521040421074213\ 12917583773993414/3518970708689428787748437769668944415441209156727\ 902891028764321352966801*c_0101_4^32 - 1877930076909550614169001912200720885845310507741947522057244467568\ 162408891/502710101241346969678348252809849202205887022389700413004\ 109188764709543*c_0101_4^31 - 2454688000256253918032448033086019819\ 83407341055377307065369902215695912040108/3518970708689428787748437\ 769668944415441209156727902891028764321352966801*c_0101_4^30 + 5012896650333193346093981388209317818066051524295956331259892993961\ 70385919653/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^29 + 1505212187205002219505538796902537\ 391817876493593493097014145596604758284663483/351897070868942878774\ 8437769668944415441209156727902891028764321352966801*c_0101_4^28 - 5309095453464352318470158504695348243648712050570515689365862448897\ 653255096923/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^27 - 274182014912273940694182453428173\ 6083020535144662507596268976134141735076677984/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^26 + 4023126424997250508965752675960273343963122182539651902281016488333\ 190254041275/502710101241346969678348252809849202205887022389700413\ 004109188764709543*c_0101_4^25 + 3139049754026613678638100197762422\ 2512860553101324328736875040517033660412425642/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^24 - 1732839390729599401803830350371536681413616264259140543748363652903\ 5529329258603/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^23 - 262109790265743113965272250419074\ 859002966860686807523431103986478162356134559577/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^22 + 23648611591258472239846965959030605534818914776791529979199124642\ 0515525545916263/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^21 + 8566063838737473460128671366978207135035425219796394558666223000840\ 91154354103815/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^20 + 2679104476138489520094053807181610895537911048158991707705431847222\ 17471031547451/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^19 - 1318097161143465761612816583510533123100769976955205516919519055518\ 640641899146374/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^18 - 1086845693726782862923220153309509929305572005985299221877660108491\ 716439281391412/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^17 + 7624288662491976489967285998705558829483602616706814986038270675138\ 31764427752587/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^16 + 7993569203715629708735349296588633477860367648185116460104446623507\ 12486733070342/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^15 - 1118402895102252504889508795594019090552467881185394469341610641225\ 84668445751528/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^14 + 1235652770769533076842095196317036283917215729929402352834975775999\ 01494736152347/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^13 + 5998706474093464180668217232279323710763454128791119387836868122488\ 6526633309749/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^12 - 215858721475515545226788908435633\ 263724892663082822876880483310738856838755165282/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^11 - 60205182844195312684954419803179653729042307621433351566528203265\ 8711476254139037/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^10 - 1673544391963740983663233401747499231752827572119490754432883312344\ 64916584476801/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^9 + 3300237706876064059316885645991956656295106812880050426647633554771\ 2115585157506/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^8 + 1782764650428263909625616208637860\ 48480250243969677992043990764751898350577377776/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^7 + 1116357533690833663903648546613071870785105179384312640596530358461\ 7733973087729/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^6 - 362958605303137062512955404450369\ 16440121744217116995909099777987037317597933992/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^5 - 1738080645369387471974468834771713406736959551622987857679654301720\ 9827425833953/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^4 - 195461526963866287413455713664191\ 1895331827049987948108993370066728418304526220/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^3 + 1072107025972850428866186580468585775903956415909836352532321675253\ 336336530891/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^2 + 3982999109125651183106361244761726\ 19553173148580231809351818794332959513594780/3518970708689428787748\ 437769668944415441209156727902891028764321352966801*c_0101_4 + 3882606071282457641104327082566476866525244646646750425190451954664\ 4342075191/35189707086894287877484377696689444154412091567279028910\ 28764321352966801, c_0101_1 + 102386506431825651518360645333632663649522498705101021866673\ 95074600219128259/3518970708689428787748437769668944415441209156727\ 902891028764321352966801*c_0101_4^32 - 1853142642265239479021468597329038097882798031310476683964793066567\ 999787322/502710101241346969678348252809849202205887022389700413004\ 109188764709543*c_0101_4^31 - 2422647754770385951009180695487454880\ 82518708044820107187725546184442929971247/3518970708689428787748437\ 769668944415441209156727902891028764321352966801*c_0101_4^30 + 4946995728572717331650896945798884570304632373799043581461927711948\ 16979354681/3518970708689428787748437769668944415441209156727902891\ 028764321352966801*c_0101_4^29 + 1485644881476804067781403724486028\ 442715486868762374722576774582069994937110805/351897070868942878774\ 8437769668944415441209156727902891028764321352966801*c_0101_4^28 - 5239507095296254558510564442304154150367480746285409189442620609093\ 504402492702/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^27 - 270696713003388951862939829522123\ 2558014946633252494123641393993802628604601916/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^26 + 3970538966122268793800627798110420974280320902005166874983920269884\ 615152153712/502710101241346969678348252809849202205887022389700413\ 004109188764709543*c_0101_4^25 + 3098526282506925165431644576566803\ 2320580080907732853700554788952825668395377236/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^24 - 1710142775493975405896364245024363096686320431801388475094261161549\ 8610030214190/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^23 - 258707261662783214505297125541305\ 500986934887479057077287547200848651946180157769/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^22 + 23335748082134444464321876152268320781344234880676849520570229621\ 0770073826632476/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^21 + 8454651990304313709792641446304974843810751614443057275751043115614\ 91254750098674/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^20 + 2645423118008738408133300184794270448931189285793675158768663831511\ 89112885426970/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^19 - 1300863535285242017468478441312704384178417731620904162921194864931\ 242814444063652/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^18 - 1072868722489877169463355666702233965084937278219885753387201699785\ 098848808574683/351897070868942878774843776966894441544120915672790\ 2891028764321352966801*c_0101_4^17 + 7523438691748775579762853649135512452308412872008884929031356437678\ 31104389420287/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^16 + 7890679457190775864517729399181864407216827583223984329247434423660\ 85212180277318/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^15 - 1102928297321306320828953371110805798244353159686361766886726887336\ 54706802754543/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^14 + 1219097136451300543231838861732892499171389565201523570343882818171\ 45130755584053/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^13 + 5920834509291334169203401083748375393644302148901208105792383369683\ 5711853661032/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^12 - 212974581674122150235957580195773\ 175931358094268558719264512347315547935369662156/351897070868942878\ 7748437769668944415441209156727902891028764321352966801*c_0101_4^11 - 59423630383379025746332385829435852186999587069073599715877474734\ 6180927956666131/35189707086894287877484377696689444154412091567279\ 02891028764321352966801*c_0101_4^10 - 1652533308668218612519531922636340129924995416531783902007443023356\ 04912366182742/3518970708689428787748437769668944415441209156727902\ 891028764321352966801*c_0101_4^9 + 3257035679649327636578475449936728105042686866151290928297398442005\ 9521193619115/50271010124134696967834825280984920220588702238970041\ 3004109188764709543*c_0101_4^8 + 1759852316477030903379178042365826\ 07816178143123699018529370971761257067884245600/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^7 + 1103593412616432184351464576170460876883074655354063301371291834111\ 0927464525703/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^6 - 358247360650464335857896205122683\ 50122350891157711420009723635976798700256042920/3518970708689428787\ 748437769668944415441209156727902891028764321352966801*c_0101_4^5 - 1715854808465339304214270325435474384000440329513466175346242890079\ 1505583975809/35189707086894287877484377696689444154412091567279028\ 91028764321352966801*c_0101_4^4 - 193044996261333074019902593905607\ 0159601610726654727444731953065389706533349945/35189707086894287877\ 48437769668944415441209156727902891028764321352966801*c_0101_4^3 + 1058181469675883469096126283216522393827188843306123695164144844621\ 766761650748/351897070868942878774843776966894441544120915672790289\ 1028764321352966801*c_0101_4^2 + 3932403957266320418107537148887456\ 04592038444465919332860479533304512416876172/3518970708689428787748\ 437769668944415441209156727902891028764321352966801*c_0101_4 + 3834185918061489863720864102513533854021974498750938509821198388734\ 1765380992/35189707086894287877484377696689444154412091567279028910\ 28764321352966801, c_0101_4^33 - c_0101_4^32 - 24*c_0101_4^31 + 42*c_0101_4^30 + 158*c_0101_4^29 - 473*c_0101_4^28 - 401*c_0101_4^27 + 2644*c_0101_4^26 + 3751*c_0101_4^25 - 10884*c_0101_4^24 - 28389*c_0101_4^23 + 16046*c_0101_4^22 + 88660*c_0101_4^21 + 47883*c_0101_4^20 - 120155*c_0101_4^19 - 138705*c_0101_4^18 + 45504*c_0101_4^17 + 96683*c_0101_4^16 + 9804*c_0101_4^15 + 9032*c_0101_4^14 + 43658*c_0101_4^13 - 9994*c_0101_4^12 - 63591*c_0101_4^11 - 31635*c_0101_4^10 + 17958*c_0101_4^9 + 23133*c_0101_4^8 + 5667*c_0101_4^7 - 3211*c_0101_4^6 - 2610*c_0101_4^5 - 636*c_0101_4^4 + 53*c_0101_4^3 + 66*c_0101_4^2 + 14*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB