Magma V2.19-8 Tue Aug 20 2013 16:16:39 on localhost [Seed = 3987501367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0946 geometric_solution 4.84848435 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572410391507 0.114232178085 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 0 0 0 0 0 0 0 0 0 0.747501717020 0.221051915399 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.924688369872 0.943201870198 5 2 4 4 0132 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341286799497 0.695279358150 3 3 2 5 3120 3201 0132 1023 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.341286799497 0.695279358150 3 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.202813583779 0.791845005551 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.702711806610 0.271688000219 ==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_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : 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_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 91874384441077221797283664902298298597919533790440663834833533213/2\ 23084843896302941364425949469213693811733863138468783971423925*c_01\ 01_6^27 + 299978581258425112465011610345994612287980459822853474489\ 434405533/223084843896302941364425949469213693811733863138468783971\ 423925*c_0101_6^26 - 2461271223115837187746387904011276264592318764\ 793983905040254417491/223084843896302941364425949469213693811733863\ 138468783971423925*c_0101_6^25 - 6598525741500295525914179118479655\ 061393790864898202554506811058512/223084843896302941364425949469213\ 693811733863138468783971423925*c_0101_6^24 + 5242673756439866030671747853095890174076569647524540575851866323666\ /44616968779260588272885189893842738762346772627693756794284785*c_0\ 101_6^23 + 17606341257403630910823415960298727524792250917402247610\ 34625233619/8923393755852117654577037978768547752469354525538751358\ 856957*c_0101_6^22 - 1414812946006397233777338610177308732598812953\ 75750096307223472757111/2230848438963029413644259494692136938117338\ 63138468783971423925*c_0101_6^21 - 1056468928261430163023178585601060751307572265497440439588797841559\ 7/223084843896302941364425949469213693811733863138468783971423925*c\ _0101_6^20 + 369693130901864615940276820928861642421291736298919493\ 211341927449416/223084843896302941364425949469213693811733863138468\ 783971423925*c_0101_6^19 - 1112502559648841553693249497875631694279\ 591392442100276024973359380556/223084843896302941364425949469213693\ 811733863138468783971423925*c_0101_6^18 + 1125881199499644418537622117911118324569900262069726209178601849616\ 54/223084843896302941364425949469213693811733863138468783971423925*\ c_0101_6^17 + 55856207765582379002754763099360126668302989455076280\ 26598390672667101/2230848438963029413644259494692136938117338631384\ 68783971423925*c_0101_6^16 - 45565148105703480035941911441725585568\ 17583387584683141151233036970631/2230848438963029413644259494692136\ 93811733863138468783971423925*c_0101_6^15 - 1331756250737873250130273432405934812607381390977325446369065406094\ 0299/22308484389630294136442594946921369381173386313846878397142392\ 5*c_0101_6^14 + 169348603898767285596067912949153000489062370391249\ 49405791030470176949/2230848438963029413644259494692136938117338631\ 38468783971423925*c_0101_6^13 + 17415118658802373464765872821392502\ 826753665772354836288705775351799823/223084843896302941364425949469\ 213693811733863138468783971423925*c_0101_6^12 - 1207151807570725496565841084701448977092932350262377438714595011621\ 834/8923393755852117654577037978768547752469354525538751358856957*c\ _0101_6^11 - 114104904758388290722509998352597070047620063485718030\ 22585182211820388/2230848438963029413644259494692136938117338631384\ 68783971423925*c_0101_6^10 + 51402758125912137360476683808902857168\ 70223169502027544033860582761963/4461696877926058827288518989384273\ 8762346772627693756794284785*c_0101_6^9 + 2898950907409698909852939938562889123895154672127898545677519316370\ 84/44616968779260588272885189893842738762346772627693756794284785*c\ _0101_6^8 - 9681741055883838053910943313242332932572327946302404195\ 829711851156773/223084843896302941364425949469213693811733863138468\ 783971423925*c_0101_6^7 + 12296286400300200773445027004979600758598\ 51925570221650999960878076999/2230848438963029413644259494692136938\ 11733863138468783971423925*c_0101_6^6 + 1264337608538768852102619272598273249530804056436883652034851637017\ 766/223084843896302941364425949469213693811733863138468783971423925\ *c_0101_6^5 - 33652758352859984132586830071672887915902021048594989\ 2308417248349113/22308484389630294136442594946921369381173386313846\ 8783971423925*c_0101_6^4 + 2969597820762835180038514492796652865894\ 8187342955026231383873882141/22308484389630294136442594946921369381\ 1733863138468783971423925*c_0101_6^3 + 2604830947080811394537269431005071877917321552369823529803965452629\ /223084843896302941364425949469213693811733863138468783971423925*c_\ 0101_6^2 - 52885543701717294030703636780046108450317813700277400354\ 84887566983/2230848438963029413644259494692136938117338631384687839\ 71423925*c_0101_6 + 96398970428881083075446750849541251809027461536\ 5932407969187366426/22308484389630294136442594946921369381173386313\ 8468783971423925, c_0011_0 - 1, c_0011_1 - 206700804004004582465823414721863527473712243254053036711479\ 53/8923393755852117654577037978768547752469354525538751358856957*c_\ 0101_6^27 - 8759212008213490749268490718467235307274706695201493191\ 0726204/89233937558521176545770379787685477524693545255387513588569\ 57*c_0101_6^26 + 47529682237301290353024918067329976052064288649642\ 8828185693455/89233937558521176545770379787685477524693545255387513\ 58856957*c_0101_6^25 + 19734242385138901570383292124460768766660189\ 35391695778134704215/8923393755852117654577037978768547752469354525\ 538751358856957*c_0101_6^24 - 4140996670639812255574693516468558605\ 931281818509661905030574301/892339375585211765457703797876854775246\ 9354525538751358856957*c_0101_6^23 - 14526997546522196951381414481718202651631139681833290850213070512/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^22 + 19225389876245510271720796852807895901805225713966616634505\ 904537/892339375585211765457703797876854775246935452553875135885695\ 7*c_0101_6^21 + 253757414114818352871105388059953480410952020279703\ 35210613409687/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^20 - 6600963462531415105586417442020247372358677\ 1488910762796886443551/89233937558521176545770379787685477524693545\ 25538751358856957*c_0101_6^19 + 17997597888900810553528669143638585\ 4588969072845418659219773899340/89233937558521176545770379787685477\ 52469354525538751358856957*c_0101_6^18 + 173040364639500110818506732814442386138970316718092666502148516018/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^17 - 1153821336249427363332448025433747495355158575023787329630\ 779505125/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^16 - 134740577368713883447940915236603183411734865077\ 511014929432173475/892339375585211765457703797876854775246935452553\ 8751358856957*c_0101_6^15 + 325271793444847116562368594273523232531\ 2783474358919498982971292698/89233937558521176545770379787685477524\ 69354525538751358856957*c_0101_6^14 - 714418333847415839588858943704816185335605661590195133777006501810/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^13 - 5655610233403488226771767812860301421759548828050176862911\ 085311823/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^12 + 182488750056548827412089343329200228089779879397\ 2349113639881580246/89233937558521176545770379787685477524693545255\ 38751358856957*c_0101_6^11 + 60344589767352645342983406487451938531\ 95103765309807567032882155971/8923393755852117654577037978768547752\ 469354525538751358856957*c_0101_6^10 - 1003333833954949120502871678382861344070536095252034158185534897474\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6^9 - 2955933595753406180803811370019556606850136572133722697709\ 454929620/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^8 + 1182519808909905679419497580600092161185668673982\ 11892455032644919/8923393755852117654577037978768547752469354525538\ 751358856957*c_0101_6^7 + 56254670413309366468224755587752260019661\ 5415229921645227634379275/89233937558521176545770379787685477524693\ 54525538751358856957*c_0101_6^6 + 707513027974447423980431230643950\ 3830656195229286505753899127446/89233937558521176545770379787685477\ 52469354525538751358856957*c_0101_6^5 - 22336094507021009009659028885592072100232116588232022302167048528/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^4 + 145616306074217366126318297011189926199010541548784306880641\ 2703/8923393755852117654577037978768547752469354525538751358856957*\ c_0101_6^3 - 170649495965865722145585440270007417145234479002299455\ 7059348362/89233937558521176545770379787685477524693545255387513588\ 56957*c_0101_6^2 - 180942591737164228187917695082741854946622334124\ 489782000556767/892339375585211765457703797876854775246935452553875\ 1358856957*c_0101_6 + 975198015935852413759292638112908902729577247\ 49189559055568300/8923393755852117654577037978768547752469354525538\ 751358856957, c_0011_4 + 561522786461265516622656292283317604148737028186061769736827\ 5/8923393755852117654577037978768547752469354525538751358856957*c_0\ 101_6^27 + 23589327082101334671998193367968192653915870714702473214\ 172089/892339375585211765457703797876854775246935452553875135885695\ 7*c_0101_6^26 - 129799699797927050460919768478203044278658123923130\ 925321676427/892339375585211765457703797876854775246935452553875135\ 8856957*c_0101_6^25 - 530492614907514946014013057137305255361407768\ 579240420218960895/892339375585211765457703797876854775246935452553\ 8751358856957*c_0101_6^24 + 114040274680269482401538119696791783856\ 0647431940084517480147443/89233937558521176545770379787685477524693\ 54525538751358856957*c_0101_6^23 + 3885352221782204731674767730020743858271782376394230413566244471/89\ 23393755852117654577037978768547752469354525538751358856957*c_0101_\ 6^22 - 533371533802576905636954472275766760874919633638170396388036\ 5444/8923393755852117654577037978768547752469354525538751358856957*\ c_0101_6^21 - 65528208553983559450163965099452047933244005060194860\ 63611724476/8923393755852117654577037978768547752469354525538751358\ 856957*c_0101_6^20 + 1803792734065642637341511678361679669570993151\ 6701926711884616164/89233937558521176545770379787685477524693545255\ 38751358856957*c_0101_6^19 - 49856717569018314234001070053727071480\ 644039044353710927314490400/892339375585211765457703797876854775246\ 9354525538751358856957*c_0101_6^18 - 44622296366623657425224368199761854978206582557112952653244036158/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^17 + 31368798985314482685470630287762828163742028953820313113449\ 7300561/89233937558521176545770379787685477524693545255387513588569\ 57*c_0101_6^16 + 22859792651556048720654118222559757253600253636032\ 425022986391229/892339375585211765457703797876854775246935452553875\ 1358856957*c_0101_6^15 - 874324848651300231641511880933670744536560\ 325422043881265858919532/892339375585211765457703797876854775246935\ 4525538751358856957*c_0101_6^14 + 230946636637452501995648217539811\ 619051172603411507768759683815273/892339375585211765457703797876854\ 7752469354525538751358856957*c_0101_6^13 + 1497414227988058216905853547790846776668774724337471524821374743409\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6^12 - 552998141916295773329966385645236102441796517410121788976\ 297577425/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^11 - 156194365858175001761615429398938561038821330164\ 6045858426528232820/89233937558521176545770379787685477524693545255\ 38751358856957*c_0101_6^10 + 32580481692751419099552182542832857904\ 1685637602956045256633273595/89233937558521176545770379787685477524\ 69354525538751358856957*c_0101_6^9 + 726133850432993890916733402769680626393694288392500518571675720519/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^8 - 59446208178804676850635634819312522258532549106842129106583\ 223116/892339375585211765457703797876854775246935452553875135885695\ 7*c_0101_6^7 - 1180962447532381651573578464742793411598737754442660\ 02340263460935/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^6 + 37299720230305211490500513505909067097661226\ 96849114882473372483/8923393755852117654577037978768547752469354525\ 538751358856957*c_0101_6^5 + 44438994565289726257032477078034491819\ 8015276583877561511903894/89233937558521176545770379787685477524693\ 54525538751358856957*c_0101_6^4 - 365326188409457671735131723884974\ 584273275909130667579753158525/892339375585211765457703797876854775\ 2469354525538751358856957*c_0101_6^3 + 439753561122970366619797480919211846723601722985394601975928678/892\ 3393755852117654577037978768547752469354525538751358856957*c_0101_6\ ^2 - 14495790635141162880237430372646618896350448566594794822150298\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6 - 894246727530495034289243042857196466090673683053171075512561\ 4/8923393755852117654577037978768547752469354525538751358856957, c_0101_0 + 748738923041601805747983525821283062606895792439681306776349\ 25/8923393755852117654577037978768547752469354525538751358856957*c_\ 0101_6^27 + 3196211763605310150498621447309886484965816129118115564\ 89340456/8923393755852117654577037978768547752469354525538751358856\ 957*c_0101_6^26 - 1711461549200375643551456686232116399090053859357\ 206884937397275/892339375585211765457703797876854775246935452553875\ 1358856957*c_0101_6^25 - 720023832601667189274469086512495436316946\ 1679713766747127072713/89233937558521176545770379787685477524693545\ 25538751358856957*c_0101_6^24 + 14771220692235611051982871671966004\ 022578342407157625653752168388/892339375585211765457703797876854775\ 2469354525538751358856957*c_0101_6^23 + 53047607929360184336862551668333615682288235145076724758513397358/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^22 - 67969488845868294547579802307210411338680849082448026489368\ 603824/892339375585211765457703797876854775246935452553875135885695\ 7*c_0101_6^21 - 937662671485585540782900520441978316862202624817466\ 64358225946460/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^20 + 2361849174143107153683496891975675805901541\ 98636965278148622228991/8923393755852117654577037978768547752469354\ 525538751358856957*c_0101_6^19 - 6453207415626956589356442558239565\ 04076990198394166141493081205246/8923393755852117654577037978768547\ 752469354525538751358856957*c_0101_6^18 - 646381836672525014404667722923547577869941309049398368892588175482/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^17 + 4158383778319198041871631614134915130292308788956212106290\ 591361626/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^16 + 611578251949266378090813136411185524802690359571\ 847682962094425382/892339375585211765457703797876854775246935452553\ 8751358856957*c_0101_6^15 - 117505729962629368528118236706308112218\ 68598437074892327906802150481/8923393755852117654577037978768547752\ 469354525538751358856957*c_0101_6^14 + 2245146003646729510084122475395202254509017110069808020399242545455\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6^13 + 205104317903500047617471011951964724207418492719654347050\ 09697548626/8923393755852117654577037978768547752469354525538751358\ 856957*c_0101_6^12 - 6018106670392288465064217400261885170412012576\ 050301509910228603290/892339375585211765457703797876854775246935452\ 5538751358856957*c_0101_6^11 - 219437456071458270194687524499073791\ 35586981434378908543809943585347/8923393755852117654577037978768547\ 752469354525538751358856957*c_0101_6^10 + 3013661229009064609732817131290893400842833729695294481059517352560\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6^9 + 1066772480043210643426268059194716390699003327888616305866\ 1356991737/89233937558521176545770379787685477524693545255387513588\ 56957*c_0101_6^8 - 161626618653560724994969929897176342867762259176\ 186883879208749749/892339375585211765457703797876854775246935452553\ 8751358856957*c_0101_6^7 - 1971287160601202954740493183316478858336\ 627355931320494618175027111/892339375585211765457703797876854775246\ 9354525538751358856957*c_0101_6^6 - 59806170493590970188706298143833724457184992004725557378328075101/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^5 + 666741007320042854697957509156330673355780324425797463630022\ 19684/8923393755852117654577037978768547752469354525538751358856957\ *c_0101_6^4 - 60384991016178010464529905310418040633324170350198688\ 04328501366/8923393755852117654577037978768547752469354525538751358\ 856957*c_0101_6^3 + 59535850556317284951539050144994327253578248695\ 87096670316152656/8923393755852117654577037978768547752469354525538\ 751358856957*c_0101_6^2 + 66680224713890801626106576593785267968801\ 4895884010452177165506/89233937558521176545770379787685477524693545\ 25538751358856957*c_0101_6 - 29473462962385222147481327384425421919\ 2902778602638702698287872/89233937558521176545770379787685477524693\ 54525538751358856957, c_0101_3 + 640412105891074851958041463302138428936596723080179088583414\ /8923393755852117654577037978768547752469354525538751358856957*c_01\ 01_6^27 + 246786483948004314727130852624855346581681364673851963351\ 1128/8923393755852117654577037978768547752469354525538751358856957*\ c_0101_6^26 - 15598124097392334742316390830525498737882189698520480\ 175948044/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^25 - 548844087694946866250804533775089793295296485109\ 30344806314924/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^24 + 1474353851295614509488000732034239592919087\ 33710116973893265666/8923393755852117654577037978768547752469354525\ 538751358856957*c_0101_6^23 + 3875650721002715809857293231731011117\ 72456206187935592619862240/8923393755852117654577037978768547752469\ 354525538751358856957*c_0101_6^22 - 724837105037402298059872766056584507004357464117632600999284735/892\ 3393755852117654577037978768547752469354525538751358856957*c_0101_6\ ^21 - 4673979116314891622572963870406401714316818418782684014300437\ 30/8923393755852117654577037978768547752469354525538751358856957*c_\ 0101_6^20 + 2122797076538812401487040304201174550239769504682465276\ 432266072/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^19 - 642090095308901459932463614881305526608268517078\ 0527316358608028/89233937558521176545770379787685477524693545255387\ 51358856957*c_0101_6^18 - 26203838146594086186418732585527719289034\ 05299929349637777293760/8923393755852117654577037978768547752469354\ 525538751358856957*c_0101_6^17 + 3591447726783597608639913658298332\ 9868497735933623689203832116283/89233937558521176545770379787685477\ 52469354525538751358856957*c_0101_6^16 - 9693552162443461529751690610292664559770638771324772474511012214/89\ 23393755852117654577037978768547752469354525538751358856957*c_0101_\ 6^15 - 926553911992180372607876830764681311409090784962703090481959\ 88239/8923393755852117654577037978768547752469354525538751358856957\ *c_0101_6^14 + 5517713251566057935218118188281861127027450468707957\ 9286897531741/89233937558521176545770379787685477524693545255387513\ 58856957*c_0101_6^13 + 14321084403091446293014010427351523279869228\ 0750481800409035029510/89233937558521176545770379787685477524693545\ 25538751358856957*c_0101_6^12 - 10126053924758305254274963219512409\ 9707154630665379609592060872339/89233937558521176545770379787685477\ 52469354525538751358856957*c_0101_6^11 - 132751881290432979295905743030537070491993447808600023801520365755/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^10 + 6396309243066959018030692143247795268410332150474519330942\ 6147081/89233937558521176545770379787685477524693545255387513588569\ 57*c_0101_6^9 + 546471095684008433960947938720503563193704058854911\ 71021044378786/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^8 - 11087619142948448509838722309929612870500767\ 411688369908636388825/892339375585211765457703797876854775246935452\ 5538751358856957*c_0101_6^7 - 8923793249597533478787470589862232509\ 534683228860778508608179474/892339375585211765457703797876854775246\ 9354525538751358856957*c_0101_6^6 - 569329766204248299085844345269882610133899011267409847060691894/892\ 3393755852117654577037978768547752469354525538751358856957*c_0101_6\ ^5 + 44814493698376066479528906599152395882122706902673657940070477\ 1/8923393755852117654577037978768547752469354525538751358856957*c_0\ 101_6^4 - 170239729698835569775937750909876796118069562562544093582\ 27888/8923393755852117654577037978768547752469354525538751358856957\ *c_0101_6^3 + 28580209012395151783523046735134754363571441929058030\ 011672157/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^2 + 2307074696560512744196557387150606618645641039048\ 7698660388659/89233937558521176545770379787685477524693545255387513\ 58856957*c_0101_6 - 22009000152651832799639345990884809269091447520\ 77872637628452/8923393755852117654577037978768547752469354525538751\ 358856957, c_0101_5 + 198103824389288499978461915148913138731787829772818778439252\ 54/8923393755852117654577037978768547752469354525538751358856957*c_\ 0101_6^27 + 8458429601172728501690550104727783290511326960324905761\ 6177237/89233937558521176545770379787685477524693545255387513588569\ 57*c_0101_6^26 - 45312835393782722868962572286938582531683931237583\ 4745778407259/89233937558521176545770379787685477524693545255387513\ 58856957*c_0101_6^25 - 19070057589802762168371742137168484722716440\ 00556065734710033511/8923393755852117654577037978768547752469354525\ 538751358856957*c_0101_6^24 + 3915507087178079217958862885370831947\ 880455497035039944549933797/892339375585211765457703797876854775246\ 9354525538751358856957*c_0101_6^23 + 14073301072481463903150746887537483047352003951654600572949644372/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^22 - 18052828330241234039157516594567449678194900183003797071962\ 998810/892339375585211765457703797876854775246935452553875135885695\ 7*c_0101_6^21 - 250710159132016923326878554454943556241160857869636\ 62060977822036/8923393755852117654577037978768547752469354525538751\ 358856957*c_0101_6^20 + 6285997621697722475499147542110691716556824\ 3978294392838979155862/89233937558521176545770379787685477524693545\ 25538751358856957*c_0101_6^19 - 17033204338869546856681415259076796\ 6280095605100316746332823152819/89233937558521176545770379787685477\ 52469354525538751358856957*c_0101_6^18 - 172402966907260946706457521678067411042267946589322170208368272026/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^17 + 1103692036483898014720381649292020547806045962035477048032\ 228400114/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^16 + 165073007948379096257713622349067056537082658480\ 422706127674130450/892339375585211765457703797876854775246935452553\ 8751358856957*c_0101_6^15 - 313001606609236291807986079495394274543\ 7876440846097070384803602448/89233937558521176545770379787685477524\ 69354525538751358856957*c_0101_6^14 + 593335200728618008325134553487292045692104145407430350816931961476/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^13 + 5483612193184720460174518636948978112139938623440595296387\ 208864026/892339375585211765457703797876854775246935452553875135885\ 6957*c_0101_6^12 - 161143658142850236557577958421513132111352627831\ 4838551825264759748/89233937558521176545770379787685477524693545255\ 38751358856957*c_0101_6^11 - 58985655781831233765217114851304882482\ 29659064966489699101253137231/8923393755852117654577037978768547752\ 469354525538751358856957*c_0101_6^10 + 840086807369810482952527303112135424637420120708846445536386005504/\ 8923393755852117654577037978768547752469354525538751358856957*c_010\ 1_6^9 + 29119856806734976231274640376190618622370644280952830706070\ 15421630/8923393755852117654577037978768547752469354525538751358856\ 957*c_0101_6^8 - 68807730650245142337097699757385922343578526461144\ 385543272768129/892339375585211765457703797876854775246935452553875\ 1358856957*c_0101_6^7 - 5585504073640797000553976770610460637656707\ 68001012362975793938763/8923393755852117654577037978768547752469354\ 525538751358856957*c_0101_6^6 - 11496279639713339797012211212258526\ 547660506806427671845759427258/892339375585211765457703797876854775\ 2469354525538751358856957*c_0101_6^5 + 22512928821488073466883226993029330312459179193016841058017447409/8\ 923393755852117654577037978768547752469354525538751358856957*c_0101\ _6^4 - 157005588028672600172271494614084294823598047090122011346624\ 8883/8923393755852117654577037978768547752469354525538751358856957*\ c_0101_6^3 + 168623957888408441595552359187425918138611084519221464\ 0910696298/89233937558521176545770379787685477524693545255387513588\ 56957*c_0101_6^2 + 194121669034804762878234384773181602606967054756\ 176425362388445/892339375585211765457703797876854775246935452553875\ 1358856957*c_0101_6 - 974812779168164660176495707873901846478631221\ 84808457562695194/8923393755852117654577037978768547752469354525538\ 751358856957, c_0101_6^28 + 4*c_0101_6^27 - 24*c_0101_6^26 - 90*c_0101_6^25 + 223*c_0101_6^24 + 655*c_0101_6^23 - 1097*c_0101_6^22 - 1005*c_0101_6^21 + 3485*c_0101_6^20 - 9471*c_0101_6^19 - 6298*c_0101_6^18 + 57806*c_0101_6^17 - 6786*c_0101_6^16 - 158829*c_0101_6^15 + 72099*c_0101_6^14 + 265070*c_0101_6^13 - 153552*c_0101_6^12 - 270201*c_0101_6^11 + 118142*c_0101_6^10 + 130455*c_0101_6^9 - 39826*c_0101_6^8 - 25250*c_0101_6^7 + 6106*c_0101_6^6 + 1040*c_0101_6^5 - 306*c_0101_6^4 + 99*c_0101_6^3 - 12*c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB