Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 4172899353] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1986 geometric_solution 5.55193476 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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 0.445412807427 0.597481027144 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 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.549060949994 0.595121058156 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549060949994 0.595121058156 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.353592015210 1.229748154315 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.162553441259 0.907699012637 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686176272346 0.292561788539 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767875836979 0.113844463623 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_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_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), '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_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : 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' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2073962835295394238229326384050371404796390486342349266484051289832\ 240175752826408760108415882896212374464953/207389142703506018797354\ 0658104176972457247324149388846252180414540058085957594568427950159\ 00950420949526910*c_0101_6^29 - 85262127437341507334081021799430710\ 2335232555253211432612921532980960973618547899188941098112692585385\ 5300317/10369457135175300939867703290520884862286236620746944231260\ 9020727002904297879728421397507950475210474763455*c_0101_6^28 - 5013815995039843311227495432605970628025887642094899977016962646627\ 7442998033400810046991070781013277404118263/20738914270350601879735\ 4065810417697245724732414938884625218041454005808595759456842795015\ 900950420949526910*c_0101_6^27 + 5089126051661180464970307862617401\ 1548035652851600763851765229660090881115328231384439092102578731798\ 347440164/207389142703506018797354065810417697245724732414938884625\ 21804145400580859575945684279501590095042094952691*c_0101_6^26 - 4955133783999957424498203369547768094571416643207491543176709580629\ 5815255435999343651159209570019850630751005/41477828540701203759470\ 8131620835394491449464829877769250436082908011617191518913685590031\ 80190084189905382*c_0101_6^25 + 26320112271489743424353354895046917\ 0903679457955863308811288299832015006258833400469915165707197249796\ 76819032/9426779213795728127152457536837168056623851473406312937509\ 910975182082208898157129217955268225019134069405*c_0101_6^24 + 3864739123734558033918244841773876509678569083732865694301727084468\ 40411340412318484352884355784728064874751531/1885355842759145625430\ 4915073674336113247702946812625875019821950364164417796314258435910\ 536450038268138810*c_0101_6^23 - 2787694688366696281215971275519795\ 3102208000259599056416381851661849128506441856400550224138734517128\ 820620810518/103694571351753009398677032905208848622862366207469442\ 312609020727002904297879728421397507950475210474763455*c_0101_6^22 + 8603059346472103125860776344181959747959259883289702755366972602990\ 7207411663138626946701219960146913934145783739/20738914270350601879\ 7354065810417697245724732414938884625218041454005808595759456842795\ 015900950420949526910*c_0101_6^21 - 1733649084743209933924537852582492926823047156348434877147875096292\ 1952892520249241678866689612664062100878845729/20738914270350601879\ 7354065810417697245724732414938884625218041454005808595759456842795\ 015900950420949526910*c_0101_6^20 - 1140176256245593918689370953706062775698200705531999124775042562152\ 39373628445571667234740715793248112977904992249/2073891427035060187\ 9735406581041769724572473241493888462521804145400580859575945684279\ 5015900950420949526910*c_0101_6^19 + 2907876956555071327937946531569041374584616819340780042120195341392\ 55714020005995919634928933109499125626914272873/1036945713517530093\ 9867703290520884862286236620746944231260902072700290429787972842139\ 7507950475210474763455*c_0101_6^18 - 2277219606912223354330735352611349760540511445489069231580926095186\ 15181117652955873173948984389673788234897454566/1036945713517530093\ 9867703290520884862286236620746944231260902072700290429787972842139\ 7507950475210474763455*c_0101_6^17 + 4059960165838178494798202088218479032009847232581524050862431828283\ 921076065674550327081050013593793520279247377/207389142703506018797\ 3540658104176972457247324149388846252180414540058085957594568427950\ 1590095042094952691*c_0101_6^16 - 476737448385552026451210177075886\ 9904489693258197759962848692893275399485313812772763555997708368771\ 254840801833/942677921379572812715245753683716805662385147340631293\ 7509910975182082208898157129217955268225019134069405*c_0101_6^15 - 2241983261466471272855661838595245153751456818038109565851298550976\ 969152619540855604909553071049115475504394612551/207389142703506018\ 7973540658104176972457247324149388846252180414540058085957594568427\ 95015900950420949526910*c_0101_6^14 + 1517706587506919790791895718841605038101110049463340130542884989675\ 51191740766520419927755811434868319108851629385/2073891427035060187\ 9735406581041769724572473241493888462521804145400580859575945684279\ 501590095042094952691*c_0101_6^13 + 2577983018814780373247649502512601100000833147199421501119738266541\ 02419362260442567590960833261188601214291104468/1036945713517530093\ 9867703290520884862286236620746944231260902072700290429787972842139\ 7507950475210474763455*c_0101_6^12 - 1121114948390743946244363567343022177444523098252899378631839060784\ 93134057622683572945116220211474829294445178787/1036945713517530093\ 9867703290520884862286236620746944231260902072700290429787972842139\ 7507950475210474763455*c_0101_6^11 + 1576040904559895866030316953353118813843574037884135369030074874144\ 66811019316787282767511406447922817915415649655/2073891427035060187\ 9735406581041769724572473241493888462521804145400580859575945684279\ 501590095042094952691*c_0101_6^10 - 5327426908308481871206981773816474125668680837572792858991496352859\ 30524342608062787746709345114774250744229813162/1036945713517530093\ 9867703290520884862286236620746944231260902072700290429787972842139\ 7507950475210474763455*c_0101_6^9 - 2845926341112672042643697997784440037837447666269970176307334402077\ 86091848980268444101096267816258001997245369519/2073891427035060187\ 9735406581041769724572473241493888462521804145400580859575945684279\ 5015900950420949526910*c_0101_6^8 + 5272674086034823758227829914711460500922454363477811217856023952430\ 537391741393040869674835478468475474853066305/377071168551829125086\ 0983014734867222649540589362525175003964390072832883559262851687182\ 107290007653627762*c_0101_6^7 + 93262076077328873757149812934000341\ 9567444918226569843735767861275702897372237403270384295325388516198\ 4129807189/10369457135175300939867703290520884862286236620746944231\ 2609020727002904297879728421397507950475210474763455*c_0101_6^6 - 6177557441991958827842872758667712014500029710141633740809834205927\ 6580477332890309992377778838913874708724443468/10369457135175300939\ 8677032905208848622862366207469442312609020727002904297879728421397\ 507950475210474763455*c_0101_6^5 + 4637038917040070006718251923778658103497192176692285693483810262791\ 9528339380155239701149992045212621981870754443/20738914270350601879\ 7354065810417697245724732414938884625218041454005808595759456842795\ 015900950420949526910*c_0101_6^4 - 9313379244313756572265737653745245397358242540956488198524338203729\ 3362312188916319595259991471149174168131711/10369457135175300939867\ 7032905208848622862366207469442312609020727002904297879728421397507\ 950475210474763455*c_0101_6^3 - 20315985071774846239587728570601751\ 7841703979811860510564163469975949592330443245397569079973324636094\ 6415432309/20738914270350601879735406581041769724572473241493888462\ 5218041454005808595759456842795015900950420949526910*c_0101_6^2 + 2358521482026336395240202567949034070191354562769948841146539386853\ 09052146973647430424413295878625130336918947/2073891427035060187973\ 5406581041769724572473241493888462521804145400580859575945684279501\ 5900950420949526910*c_0101_6 + 537496199086279105406489439962309900\ 7342560014397785575100194889315905258954086750253155645913830396023\ 50152749/2073891427035060187973540658104176972457247324149388846252\ 18041454005808595759456842795015900950420949526910, c_0011_0 - 1, c_0011_1 - 351858317693456991731533163818541603130605366674324589009031\ 44592590053029062462129970128143944920966/8677369987594394091939500\ 6615237530228336708123405391056576586382429208617472576084851471088\ 263774455869*c_0101_6^29 + 2568069624401171692954162110619179292858\ 29815975766479977812262375800230597905155899403860659030437237/8677\ 3699875943940919395006615237530228336708123405391056576586382429208\ 617472576084851471088263774455869*c_0101_6^28 + 1086690062779531670069512630474001161788304967355223215076974192862\ 088346621177307646072012075347073505/867736998759439409193950066152\ 3753022833670812340539105657658638242920861747257608485147108826377\ 4455869*c_0101_6^27 - 761849056972611726395477339980424516538403165\ 7939030876296251476926589833834834699424690976137789239248/86773699\ 8759439409193950066152375302283367081234053910565765863824292086174\ 72576084851471088263774455869*c_0101_6^26 - 2815529433346344604471550475689545662696076742311809268713335725898\ 945427803105236445822130851816564410/867736998759439409193950066152\ 3753022833670812340539105657658638242920861747257608485147108826377\ 4455869*c_0101_6^25 - 128661673720569528349247053278201831085904507\ 19572010585130700408234347408881533925581440537489636998318/8677369\ 9875943940919395006615237530228336708123405391056576586382429208617\ 472576084851471088263774455869*c_0101_6^24 - 8355822948523250399128737264580446581696823366972607649476805081390\ 1110564404757025148483494482088319834/86773699875943940919395006615\ 2375302283367081234053910565765863824292086174725760848514710882637\ 74455869*c_0101_6^23 + 87121114674862261570991528017279620146264819\ 4803814868584988701841739132405477119864056972915287317069989/86773\ 6998759439409193950066152375302283367081234053910565765863824292086\ 17472576084851471088263774455869*c_0101_6^22 - 6567927637706620142522575526964988932450374561034692509132523004404\ 26709799886246277478467855812260399069/8677369987594394091939500661\ 5237530228336708123405391056576586382429208617472576084851471088263\ 774455869*c_0101_6^21 - 2737238164353124619670452959644939545318708\ 36712484123030459202236286093278838788433735920221198607010123/8677\ 3699875943940919395006615237530228336708123405391056576586382429208\ 617472576084851471088263774455869*c_0101_6^20 + 1590092563401356407998344870009296046714724395575388266831616060812\ 164369048721426724839369049666098912073/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^19 - 862060717284193450217476174817943679497174\ 5223472729707735929603520490556596843846077981401707862638312475/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^18 + 2184866683208138587131842226879322718306971894596144598642402216734\ 75158665896310245355647971280520298630/8677369987594394091939500661\ 5237530228336708123405391056576586382429208617472576084851471088263\ 774455869*c_0101_6^17 - 8767345819061636365026503755625130172272820\ 32440110442835549674473964875634125924708948705798868752984442/8677\ 3699875943940919395006615237530228336708123405391056576586382429208\ 617472576084851471088263774455869*c_0101_6^16 + 1242940173518558285596356679720416141299822358617370784016843760597\ 953127496011130908584275194978249283080/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^15 + 420139315872858693372634248325122723468174\ 04313523035913608973734505707372413090590163529360120007544753173/8\ 6773699875943940919395006615237530228336708123405391056576586382429\ 208617472576084851471088263774455869*c_0101_6^14 + 1162192031017523714902410489373260043829886665806330628350806577065\ 9039458368143546257653608243872812548536/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^13 + 24578486942697239347715429516316319449012\ 28860426000668253879584857190798363519071348419668725175217839455/8\ 6773699875943940919395006615237530228336708123405391056576586382429\ 208617472576084851471088263774455869*c_0101_6^12 + 1668400210364048156777654768284251106651451134730881929625931594755\ 348083939983686578145820351038589446854/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^11 - 381728078658496659776668548027296026996089\ 28016578882899027116255656981607931168378604656044258776794422295/8\ 6773699875943940919395006615237530228336708123405391056576586382429\ 208617472576084851471088263774455869*c_0101_6^10 - 1221484593191102538450178907155806358074693298286643260461981215184\ 3540514589545646818777394379567237650508/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^9 - 183083971382106916583302884510748593063337\ 1216354082801911695221137533888151164829146309215839875987583763/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^8 - 4173288374645839260913117629443944505840704167597995459803076246849\ 314110160182286126865411802782930842949/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^7 + 4715683892724364583081352462229037039395820\ 251309670281973176904631933294085837115811762898564836727518176/867\ 7369987594394091939500661523753022833670812340539105657658638242920\ 8617472576084851471088263774455869*c_0101_6^6 + 2726237723555730417613572412009675102794260237790220056709687089952\ 937552793199985793040285923551596724127/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^5 - 1471636866831198476211352809851170399629552\ 538068116703627407761359240426397782404119563365328375213344310/867\ 7369987594394091939500661523753022833670812340539105657658638242920\ 8617472576084851471088263774455869*c_0101_6^4 - 4573381386490034137636140950447439042849650052609172737524931056974\ 7059221177057659409301100399440568427/86773699875943940919395006615\ 2375302283367081234053910565765863824292086174725760848514710882637\ 74455869*c_0101_6^3 + 297699565812118866248224041743453596717418415\ 373187398964728391270647844905252558834162212431819906710977/867736\ 9987594394091939500661523753022833670812340539105657658638242920861\ 7472576084851471088263774455869*c_0101_6^2 - 5689333176089608933552628147253109123325422958660070205072465635394\ 2637144003679896920892936486064077093/86773699875943940919395006615\ 2375302283367081234053910565765863824292086174725760848514710882637\ 74455869*c_0101_6 - 30386473590004335767149425485536177907329952258\ 38853415852847022992674086958879046642125113665504782983/7888518170\ 5403582653995460559306845662124280112186719142342351256753826015884\ 16007713770098933070405079, c_0101_0 + 561740529832559667638144735870956531529888494754600152598333\ 800827217754499012671845488366606694/821240807936498664316351209712\ 1050506317493294486591741054382655439881112784724842099972940835115\ 7*c_0101_6^29 - 465541795787572429995846032899777857095289385052068\ 7056731938381269925331457211435176707915433478/82124080793649866431\ 6351209712105050631749329448659174105438265543988111278472484209997\ 29408351157*c_0101_6^28 - 13268199778178271661888025923128695081998\ 847307932591462892454787846537026247014415126545284599667/821240807\ 9364986643163512097121050506317493294486591741054382655439881112784\ 7248420999729408351157*c_0101_6^27 + 1386458313822904318266419557378391085365491742721216476034007309159\ 95745292270831246627117752093314/8212408079364986643163512097121050\ 5063174932944865917410543826554398811127847248420999729408351157*c_\ 0101_6^26 - 7636616642954355483577633878594561270408548636257248936\ 8940159121561459695625784018577247708807814/82124080793649866431635\ 1209712105050631749329448659174105438265543988111278472484209997294\ 08351157*c_0101_6^25 + 16370560465015056747829483351525437013410459\ 5348473399498888138771536087689674920596037818375717426/82124080793\ 6498664316351209712105050631749329448659174105438265543988111278472\ 48420999729408351157*c_0101_6^24 + 1140274792218237794379293219770245295543178166899917999233867932244\ 590615033367929103141944161022355/821240807936498664316351209712105\ 05063174932944865917410543826554398811127847248420999729408351157*c\ _0101_6^23 - 151743113070864395222683185992849694547690730874535032\ 73616103352908813320085551580196942559759560046/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^22 + 2430918124205660942948037001216104537452\ 8683578194391331853818243892701542952900948032430981264402539/82124\ 0807936498664316351209712105050631749329448659174105438265543988111\ 27847248420999729408351157*c_0101_6^21 - 6489415726311477210000831554753400649054595928850731768140212548751\ 590642281036031212302564110893008/821240807936498664316351209712105\ 05063174932944865917410543826554398811127847248420999729408351157*c\ _0101_6^20 - 301828428681573451077694244942865619789468922302075582\ 15836067806813519167846307970421527970968849648/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^19 + 1595605539489106583591478659951692141175\ 98916467075462657801812365900501067571186983118998889687280405/8212\ 4080793649866431635120971210505063174932944865917410543826554398811\ 127847248420999729408351157*c_0101_6^18 - 1342745514829196521299732597793137251508521737873280346499737499349\ 65140069630517324851860218219442116/8212408079364986643163512097121\ 0505063174932944865917410543826554398811127847248420999729408351157\ *c_0101_6^17 + 2181562652144384230691229037711660161993636877410527\ 9439938963124596850239453036305811976023203191593/82124080793649866\ 4316351209712105050631749329448659174105438265543988111278472484209\ 99729408351157*c_0101_6^16 - 30986429381111146960226373420330240628\ 668277387457467440635777223549775282426833168264868411216264512/821\ 2408079364986643163512097121050506317493294486591741054382655439881\ 1127847248420999729408351157*c_0101_6^15 - 6060759309470312800839202652627917336950523249697818527483799304437\ 92896356906153171728370191580076452/8212408079364986643163512097121\ 0505063174932944865917410543826554398811127847248420999729408351157\ *c_0101_6^14 + 4502963369660516933779316427168185867453311492423236\ 44413044571180306294817444681570131201824863883187/8212408079364986\ 6431635120971210505063174932944865917410543826554398811127847248420\ 999729408351157*c_0101_6^13 + 1019116457428801947982070102138859780\ 17127290662793494584182624134178392599902290888272992535968150114/8\ 2124080793649866431635120971210505063174932944865917410543826554398\ 811127847248420999729408351157*c_0101_6^12 - 6315166761136435203112920909505422532135682773115704081192400940251\ 0083268752163977043993545887087700/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^11 + 43727296899663339080276010648758465183407063160305508\ 0716812563425168990411350933233525282829930198555/82124080793649866\ 4316351209712105050631749329448659174105438265543988111278472484209\ 99729408351157*c_0101_6^10 - 31677887132565937543473653048564651327\ 1467024307667050940596315773130974871279027894366365381646091766/82\ 1240807936498664316351209712105050631749329448659174105438265543988\ 11127847248420999729408351157*c_0101_6^9 - 5128160006765503465652521135589455113631036867528988581026509287084\ 1649684899498633827346314516889884/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^8 + 791046992482112458844036721069421161726225088865033582\ 77911889358868831763427984180132803260923233001/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^7 - 41823047435058153250309929585467732797391\ 15418217808507390154728150315620706895061266362348500492731/8212408\ 0793649866431635120971210505063174932944865917410543826554398811127\ 847248420999729408351157*c_0101_6^6 - 3300747485825176747780063225308323977820593289521662961576795135219\ 1814334565880824345697904429836224/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^5 + 152384234408746604924414506647375133184437367931277661\ 87414425853558645757641998911041791567079241075/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^4 - 18861154894223926086825217157006871797636\ 62508381324642880190262463855975689668124262205408860532064/8212408\ 0793649866431635120971210505063174932944865917410543826554398811127\ 847248420999729408351157*c_0101_6^3 - 5097929930829164647424949527636107269189878509963014081491578727686\ 68026722122357744621414244124641/8212408079364986643163512097121050\ 5063174932944865917410543826554398811127847248420999729408351157*c_\ 0101_6^2 + 28538558247428755405170364425787349566181140592412332015\ 2617608986301604448172292231110096989251308/82124080793649866431635\ 1209712105050631749329448659174105438265543988111278472484209997294\ 08351157*c_0101_6 + 11102476623334042306573319754579307191475822417\ 927510690003064989146848974932854899459783976785634/746582552669544\ 2402875920088291864096652266631351447037322166050399891920713386220\ 090884491668287, c_0101_1 + 356240050036547103331069605245274310597259951369858355918976\ 70903059879286973785025553112630639/7465825526695442402875920088291\ 864096652266631351447037322166050399891920713386220090884491668287*\ c_0101_6^29 - 28220083510748875235182051187523796568696583022763642\ 2360514592481288809901010885157309632160201/74658255266954424028759\ 2008829186409665226663135144703732216605039989192071338622009088449\ 1668287*c_0101_6^28 - 945930579293785793269943156279377743825364883\ 831598056912578663908674095100499042916089100491355/746582552669544\ 2402875920088291864096652266631351447037322166050399891920713386220\ 090884491668287*c_0101_6^27 + 8457675468980983051562929108493777159\ 155708740091105893103830512363992677974317032209566097698788/746582\ 5526695442402875920088291864096652266631351447037322166050399891920\ 713386220090884491668287*c_0101_6^26 - 1724758565869830653008499474793092846255217237835741492354778939594\ 126698649700189705473510051591/746582552669544240287592008829186409\ 6652266631351447037322166050399891920713386220090884491668287*c_010\ 1_6^25 + 9416229547714523961873714947968831663500156089681519337230\ 098302707798189084104060861351881866610/746582552669544240287592008\ 8291864096652266631351447037322166050399891920713386220090884491668\ 287*c_0101_6^24 + 7609958725640336830254352257597973830721124909181\ 3936127673574299767141679927725071320027631295700/74658255266954424\ 0287592008829186409665226663135144703732216605039989192071338622009\ 0884491668287*c_0101_6^23 - 934776564782856831313106995856062961321\ 237947559630246942486543782146664216385162774056871641426581/746582\ 5526695442402875920088291864096652266631351447037322166050399891920\ 713386220090884491668287*c_0101_6^22 + 1197328221975851322092177538691716193103161431818637628360797814015\ 492850458300294391353487389872600/746582552669544240287592008829186\ 4096652266631351447037322166050399891920713386220090884491668287*c_\ 0101_6^21 + 6226686815658487432601411547215113725709810966534208159\ 5292656283403022323606262029055878932186317/74658255266954424028759\ 2008829186409665226663135144703732216605039989192071338622009088449\ 1668287*c_0101_6^20 - 196513690006980051833207742501814191341578869\ 7811956092017722212962379804646265820236417810020221690/74658255266\ 9544240287592008829186409665226663135144703732216605039989192071338\ 6220090884491668287*c_0101_6^19 + 942936258623904627596290374745318\ 7489181589160415475233591240579776827470953380931152883522361120646\ /746582552669544240287592008829186409665226663135144703732216605039\ 9891920713386220090884491668287*c_0101_6^18 - 4988028154801862038066885190792293998072581613735166063767861058214\ 876415357785113978436530598703290/746582552669544240287592008829186\ 4096652266631351447037322166050399891920713386220090884491668287*c_\ 0101_6^17 - 8343791401060635442309170959830057659294826025215977137\ 78537888454224909010810509898374852954785783/7465825526695442402875\ 9200882918640966522666313514470373221660503998919207133862200908844\ 91668287*c_0101_6^16 - 17876860300998329913506298323265125898842172\ 51390106463384068476630121373261627601103075325435063559/7465825526\ 6954424028759200882918640966522666313514470373221660503998919207133\ 86220090884491668287*c_0101_6^15 - 3913963983931573668159233101044099661288903110762957432322760475861\ 8325549340781424107109837403850714/74658255266954424028759200882918\ 64096652266631351447037322166050399891920713386220090884491668287*c\ _0101_6^14 + 142893840806483958910847010434128506806853144572089373\ 25294521598814564327726416025236277229575668224/7465825526695442402\ 8759200882918640966522666313514470373221660503998919207133862200908\ 84491668287*c_0101_6^13 + 12981095788373393982947211765012651299243\ 666500724072186499024025188714036516954680836966774382687559/746582\ 5526695442402875920088291864096652266631351447037322166050399891920\ 713386220090884491668287*c_0101_6^12 - 1134201876588670835404851446470684164456233357003949729674459091391\ 955042908141373414732596860690611/746582552669544240287592008829186\ 4096652266631351447037322166050399891920713386220090884491668287*c_\ 0101_6^11 + 2688254053271681572381436020367719141273735982520906485\ 6436245606447694234033702502336505143216338681/74658255266954424028\ 7592008829186409665226663135144703732216605039989192071338622009088\ 4491668287*c_0101_6^10 - 993407246710988255973497571993190140660362\ 6188267182842724181169564993253378518023888719596584138268/74658255\ 2669544240287592008829186409665226663135144703732216605039989192071\ 3386220090884491668287*c_0101_6^9 - 7725730046104345582672971912325609226085989564876084874313804561149\ 052428270935134839347058644013051/746582552669544240287592008829186\ 4096652266631351447037322166050399891920713386220090884491668287*c_\ 0101_6^8 + 34806753764921540630637090301611408131819252217776850375\ 23910827352906355148427250330146243349347602/7465825526695442402875\ 9200882918640966522666313514470373221660503998919207133862200908844\ 91668287*c_0101_6^7 + 127182005474760800585422957885849843595289899\ 0576704038965128345288451186956383979241133489725483027/74658255266\ 9544240287592008829186409665226663135144703732216605039989192071338\ 6220090884491668287*c_0101_6^6 - 1900036359740889997231812268972249\ 307694341588078141381126525540242594325857953110819574431927577880/\ 7465825526695442402875920088291864096652266631351447037322166050399\ 891920713386220090884491668287*c_0101_6^5 + 2626480090024025505890935753630656926724367612497993642804530538975\ 59349135526396307042231276079527/7465825526695442402875920088291864\ 096652266631351447037322166050399891920713386220090884491668287*c_0\ 101_6^4 + 137408522626104547115823107967276283439313021301840373878\ 578403464397069016361606194105737596622487/746582552669544240287592\ 0088291864096652266631351447037322166050399891920713386220090884491\ 668287*c_0101_6^3 - 41087108258563233018810663801181764467490880749\ 451463906154714068556422119398982179289942080922305/746582552669544\ 2402875920088291864096652266631351447037322166050399891920713386220\ 090884491668287*c_0101_6^2 + 51434878780509213818695116915358126288\ 9161119811802150749040162166350073265973880326643474363401/74658255\ 2669544240287592008829186409665226663135144703732216605039989192071\ 3386220090884491668287*c_0101_6 + 586777798463237493950568512219954\ 1509417942317257343783359983816005272443437955692168199055745666/74\ 6582552669544240287592008829186409665226663135144703732216605039989\ 1920713386220090884491668287, c_0101_4 + 187356329733853425645033890057109603037653257758449061645925\ 564903304551747116292084565209633051198734/867736998759439409193950\ 0661523753022833670812340539105657658638242920861747257608485147108\ 8263774455869*c_0101_6^29 - 154610528230639276486151421678590224070\ 9622440372516398437010063483467055079885344706430438789428914818/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^28 - 4468693402235313154292005529393485654122326061329585772959868680261\ 544497995285458065247536729013441268/867736998759439409193950066152\ 3753022833670812340539105657658638242920861747257608485147108826377\ 4455869*c_0101_6^27 + 460073884073628882552623335758590651236521372\ 99951125107089497531383300228809603106249469080289361246510/8677369\ 9875943940919395006615237530228336708123405391056576586382429208617\ 472576084851471088263774455869*c_0101_6^26 - 2422420661554735842119870584873061549986178515073640273802523357943\ 4731360952292120083640638122148907492/86773699875943940919395006615\ 2375302283367081234053910565765863824292086174725760848514710882637\ 74455869*c_0101_6^25 + 56045641472634398020693833835256763106830974\ 174983589938192481673692988505788872652188155711820848125083/867736\ 9987594394091939500661523753022833670812340539105657658638242920861\ 7472576084851471088263774455869*c_0101_6^24 + 3841547943713288096447427652758924395868119492534691234944776260411\ 85064448543036073411272893894791567154/8677369987594394091939500661\ 5237530228336708123405391056576586382429208617472576084851471088263\ 774455869*c_0101_6^23 - 5043446932594317395632087031683307529449599\ 523626320753007734828791322986620657512214848331584247245496991/867\ 7369987594394091939500661523753022833670812340539105657658638242920\ 8617472576084851471088263774455869*c_0101_6^22 + 7957200498885101811587380361083380806801429753169491470803087084679\ 096655345511960541782600349460110494105/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^21 - 215079390092576455619404464690239145329137\ 0741027868998066349195659619888875168952724637693791555293215173/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^20 - 1004153452948025626790243498618338611464549722035682505254498099654\ 6533324207307714594443013131719506159175/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^19 + 53069462173711637429874027373127789176420\ 124578144111194369138142342812535461349673379130333552066001616689/\ 8677369987594394091939500661523753022833670812340539105657658638242\ 9208617472576084851471088263774455869*c_0101_6^18 - 4335757100772038946600044420957009189154958284477597685120322716011\ 0218430780007733295231327747323588640650/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^17 + 82009794962372335181211309466917673900978\ 24875776773558594188704973456135150620116912680244832564740245112/8\ 6773699875943940919395006615237530228336708123405391056576586382429\ 208617472576084851471088263774455869*c_0101_6^16 - 9050961492958196466408191999653367185572584558134272587877862274929\ 251601709436469264262670510995457066807/867736998759439409193950066\ 1523753022833670812340539105657658638242920861747257608485147108826\ 3774455869*c_0101_6^15 - 202516486805326553360358667770175583595614\ 354761620197777818827499451885956169853101237974177518656348916576/\ 8677369987594394091939500661523753022833670812340539105657658638242\ 9208617472576084851471088263774455869*c_0101_6^14 + 1421577359097535002273148257866227208162670184323950144419298132546\ 66027379246853663065469381925101899936127/8677369987594394091939500\ 6615237530228336708123405391056576586382429208617472576084851471088\ 263774455869*c_0101_6^13 + 2576788635904917323511213423081669653003\ 0217972261775294884749921290523733076690589994513286401731451810946\ /867736998759439409193950066152375302283367081234053910565765863824\ 29208617472576084851471088263774455869*c_0101_6^12 - 2835440962356381279954741438032630089058474362836098176936740108144\ 4284584864504038731895915922371349030391/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^11 + 14504679557594287198819987123401322813733\ 5286612075897734058449682701305389131132811822674325646073730542420\ /867736998759439409193950066152375302283367081234053910565765863824\ 29208617472576084851471088263774455869*c_0101_6^10 - 9823446667317173252309416991397695624154869798329950608100521486869\ 2559858699532099344440176059207244681733/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^9 - 960717452535376913825577729641469301672719\ 7789819781797178751325334989286613902864029270967496821389939639/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^8 + 3222215765155158203704353336701774412633538371932720189469449686364\ 1047323878263187941837123706289563954511/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^7 - 359495336481806019892947841636683550832422\ 870642359066505161431563903166599061372294721483405334278909504/867\ 7369987594394091939500661523753022833670812340539105657658638242920\ 8617472576084851471088263774455869*c_0101_6^6 - 1137677146392325364492810317898264093300537328154924552042112007699\ 4121464452514807376539834681162982911564/86773699875943940919395006\ 6152375302283367081234053910565765863824292086174725760848514710882\ 63774455869*c_0101_6^5 + 442409159544440453863425023643091453178050\ 4767511168172873423185768684981839797961887120532270639500899450/86\ 7736998759439409193950066152375302283367081234053910565765863824292\ 08617472576084851471088263774455869*c_0101_6^4 - 6183721861172080129793051015305909002932410386823926796044661815473\ 29994486601490754704972057833589206308/8677369987594394091939500661\ 5237530228336708123405391056576586382429208617472576084851471088263\ 774455869*c_0101_6^3 + 96537658455468519299616632894538933900115416\ 514937412969619337512682933981454224001222924280921361235947/867736\ 9987594394091939500661523753022833670812340539105657658638242920861\ 7472576084851471088263774455869*c_0101_6^2 + 2594951894897938019398411752511596148996182791392177767356587637282\ 0338031909231946783529435697705280407/86773699875943940919395006615\ 2375302283367081234053910565765863824292086174725760848514710882637\ 74455869*c_0101_6 + 12334749733824389789546330204091118500601961547\ 24278312182601283169586513935380067907586766873008144659/7888518170\ 5403582653995460559306845662124280112186719142342351256753826015884\ 16007713770098933070405079, c_0101_5 - 496206781946539893152847942491164324464965603539259226141995\ 25232174357832160255422591306167981/8212408079364986643163512097121\ 0505063174932944865917410543826554398811127847248420999729408351157\ *c_0101_6^29 + 3560902787073362831510017230497392103566324858345078\ 36449735326700535056347066936412573078113007/8212408079364986643163\ 5120971210505063174932944865917410543826554398811127847248420999729\ 408351157*c_0101_6^28 + 1605805332694476268102596222681486333814199\ 279945193083197984366126086086839168439990485822904525/821240807936\ 4986643163512097121050506317493294486591741054382655439881112784724\ 8420999729408351157*c_0101_6^27 - 107655422781757833528589872211762\ 41198912480133764428828455973896714848746120156311120475513495224/8\ 2124080793649866431635120971210505063174932944865917410543826554398\ 811127847248420999729408351157*c_0101_6^26 - 6216183261314047386093679969212814403178496301381187264028345554003\ 646611962408616789885751805058/821240807936498664316351209712105050\ 63174932944865917410543826554398811127847248420999729408351157*c_01\ 01_6^25 - 123118268742511610270593165424622767083757602701512358891\ 13148211880189703828985096543950627714914/8212408079364986643163512\ 0971210505063174932944865917410543826554398811127847248420999729408\ 351157*c_0101_6^24 - 1166130728790215702602634233109418802898225568\ 57401256117588064352488906883058263441664770683649906/8212408079364\ 9866431635120971210505063174932944865917410543826554398811127847248\ 420999729408351157*c_0101_6^23 + 1221418622874936907588898402797074\ 350532078537557058985225326482659105186833110867093061884455610024/\ 8212408079364986643163512097121050506317493294486591741054382655439\ 8811127847248420999729408351157*c_0101_6^22 - 7089424124041078458494543706925919667514229537378748797875977897681\ 94718788858748962784501141250981/8212408079364986643163512097121050\ 5063174932944865917410543826554398811127847248420999729408351157*c_\ 0101_6^21 - 1215487498900677694410998378970925864910730510301572867\ 518281449662552371346234883982987171328729244/821240807936498664316\ 3512097121050506317493294486591741054382655439881112784724842099972\ 9408351157*c_0101_6^20 + 263295167110432066643628485703155269511474\ 5968925534382893668656904650503012883485493526453511918335/82124080\ 7936498664316351209712105050631749329448659174105438265543988111278\ 47248420999729408351157*c_0101_6^19 - 1119849134799135010754287277864036231734885307342800176000174793422\ 7078795554350905650858363676906954/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^18 - 26361563522348336140141646975769149916022851279838286\ 75889792465362566089149594898960845951405730249/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^17 + 5293836305163425816642633515895368503413\ 571928104229340111861792123953721976539701388235019652130465/821240\ 8079364986643163512097121050506317493294486591741054382655439881112\ 7847248420999729408351157*c_0101_6^16 + 2890470677569330502816706595941531115966117240297752738753542288661\ 162360180114946013837604915020529/821240807936498664316351209712105\ 05063174932944865917410543826554398811127847248420999729408351157*c\ _0101_6^15 + 565194729224947573915905353005621666220647622326842607\ 62606016151572528900856607267390122827139224998/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^14 + 2107031179572841142172991230618059602337\ 1545385036003447888929788665486615196146517684778449835499893/82124\ 0807936498664316351209712105050631749329448659174105438265543988111\ 27847248420999729408351157*c_0101_6^13 - 2722516340968544170332022067369113425279047257372681763568083376571\ 2807085248447514896295760128445599/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^12 - 84157303120556685632220895146019015000743109595365940\ 57830493680482065950956934846205234378943657222/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^11 - 3682934726331761881207587592644664037192\ 6153571106043676540392978526449749143164246591675213407435492/82124\ 0807936498664316351209712105050631749329448659174105438265543988111\ 27847248420999729408351157*c_0101_6^10 - 1505302556114516843605153639916614862230250034097444588997344968092\ 6638880953854766161408812617444786/82124080793649866431635120971210\ 505063174932944865917410543826554398811127847248420999729408351157*\ c_0101_6^9 + 165977897425601266466263328015087037112067296438585014\ 11274781868541820478343875474119170327021624446/8212408079364986643\ 1635120971210505063174932944865917410543826554398811127847248420999\ 729408351157*c_0101_6^8 + 83004051013364113579539686858991598032510\ 0009670834178604267059118187451781482497799378668297820434/82124080\ 7936498664316351209712105050631749329448659174105438265543988111278\ 47248420999729408351157*c_0101_6^7 - 5239373729791850766590449043355940858150693191564536077197049728035\ 027994644659492148753661757015137/821240807936498664316351209712105\ 05063174932944865917410543826554398811127847248420999729408351157*c\ _0101_6^6 + 1479598743968868008901116992203684621261766711014094548\ 103752760835285983096624829399792726026811532/821240807936498664316\ 3512097121050506317493294486591741054382655439881112784724842099972\ 9408351157*c_0101_6^5 + 1509596154117623634466486514668027627063963\ 635593781496420969139488743067250324337766298580298950363/821240807\ 9364986643163512097121050506317493294486591741054382655439881112784\ 7248420999729408351157*c_0101_6^4 - 6123067688595055420278116844595143350600064190601637834999084197122\ 59427629507423088938059910807910/8212408079364986643163512097121050\ 5063174932944865917410543826554398811127847248420999729408351157*c_\ 0101_6^3 - 63182751062653787773678365796701482139387333436808299655\ 4486945454363563364537805517406926012289/82124080793649866431635120\ 9712105050631749329448659174105438265543988111278472484209997294083\ 51157*c_0101_6^2 + 202602410253525889620843264214845483582980981754\ 28692441180407609040050519187798894209881546048843/8212408079364986\ 6431635120971210505063174932944865917410543826554398811127847248420\ 999729408351157*c_0101_6 + 8622617389005887245793701167941374079155\ 0711491405678350170693225537208903387856946628112245479/74658255266\ 9544240287592008829186409665226663135144703732216605039989192071338\ 6220090884491668287, c_0101_6^30 - 8*c_0101_6^29 - 26*c_0101_6^28 + 240*c_0101_6^27 - 65*c_0101_6^26 + 253*c_0101_6^25 + 2112*c_0101_6^24 - 26427*c_0101_6^23 + 35513*c_0101_6^22 + 817*c_0101_6^21 - 56808*c_0101_6^20 + 268237*c_0101_6^19 - 157384*c_0101_6^18 - 28850*c_0101_6^17 - 46167*c_0101_6^16 - 1092367*c_0101_6^15 + 491520*c_0101_6^14 + 409377*c_0101_6^13 - 53483*c_0101_6^12 + 736595*c_0101_6^11 - 344543*c_0101_6^10 - 250078*c_0101_6^9 + 109780*c_0101_6^8 + 39636*c_0101_6^7 - 57682*c_0101_6^6 + 9221*c_0101_6^5 + 4831*c_0101_6^4 - 1033*c_0101_6^3 - 101*c_0101_6^2 + 283*c_0101_6 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB