Magma V2.19-8 Tue Aug 20 2013 16:18:22 on localhost [Seed = 1545453938] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2571 geometric_solution 5.87393920 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.463114476878 0.235790336554 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822104639442 0.637274060839 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.290787398450 1.073236189768 2 5 4 1 3201 1023 1023 0132 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 0 0 0 0 0 0 0 0 1 0 -1 0 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.290787398450 1.073236189768 6 2 3 6 0132 0132 1023 3201 0 0 0 0 0 0 -1 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 0 1 -1 0 0 0 0 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.631962701687 0.631234286865 3 5 5 2 1023 1230 3012 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218836875116 0.726104774505 4 4 6 6 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 -1 0 1 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 1.716221502474 0.552332905733 ==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_4'], 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : 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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : 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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 2563103086604770882293742607157392170768174372733059710223381334129\ 48358050751910568787121243669/1888522082396789266566092381950654918\ 684250379110332709781422932254156573842931822687946574496*c_0101_6^\ 34 - 10634864049321420145138811376564641627366745791120573787376068\ 73854185030743951170103859875358761/1888522082396789266566092381950\ 654918684250379110332709781422932254156573842931822687946574496*c_0\ 101_6^33 + 35353924003771517775885805402041268319572231519387509751\ 22869999860402571524407620415915739484387/6295073607989297555220307\ 9398355163956141679303677756992714097741805219128097727422931552483\ 2*c_0101_6^32 + 287004473616269107281850603608478458419972151531217\ 7588657053005091728308434181736346008263159207/31475368039946487776\ 1015396991775819780708396518388784963570488709026095640488637114657\ 762416*c_0101_6^31 - 1760555430259242569131511499422117443203072929\ 42768261639849629154363605941661738293935461528251619/1888522082396\ 7892665660923819506549186842503791103327097814229322541565738429318\ 22687946574496*c_0101_6^30 + 73057262816580556311213907426431835643\ 932661553949024821563381019742604341685358053453380792363889/188852\ 2082396789266566092381950654918684250379110332709781422932254156573\ 842931822687946574496*c_0101_6^29 + 8742478217625851046990319815679086894217968696827538251483758781248\ 29104584742202503737224372927715/1888522082396789266566092381950654\ 918684250379110332709781422932254156573842931822687946574496*c_0101\ _6^28 - 23410233877057987116464434072092851991140164082195658579907\ 7594103686858746514738307878439452110625/47213052059919731664152309\ 5487663729671062594777583177445355733063539143460732955671986643624\ *c_0101_6^27 - 7902522376427855808946964204433141529448913757980135\ 41168570420094284238911120758637042928875476181/1888522082396789266\ 5660923819506549186842503791103327097814229322541565738429318226879\ 46574496*c_0101_6^26 - 17329602795362673681061434848708611063703181\ 5142049236787335248051486578938932045471791980955972993/11108953425\ 8634662739181904820626759922602963477078394693024878367891563167231\ 283687526269088*c_0101_6^25 + 9375187181744344428890672395720245168\ 874905708147074869897564817838123777395145473448680826460756741/188\ 8522082396789266566092381950654918684250379110332709781422932254156\ 573842931822687946574496*c_0101_6^24 + 2309324097106473141354886777685917267098529078687632095829126436280\ 362033571132431842012768795102505/236065260299598658320761547743831\ 864835531297388791588722677866531769571730366477835993321812*c_0101\ _6^23 - 21659242167542607732426238433949234945724363304837591112051\ 888201597557273982710613241001522532245039/472130520599197316641523\ 0954876637296710625947775831774453557330635391434607329556719866436\ 24*c_0101_6^22 + 22034556698914918199555004906745817633033940221984\ 566527176084561277049257334246291020811205029620055/629507360798929\ 7555220307939835516395614167930367775699271409774180521912809772742\ 29315524832*c_0101_6^21 + 16504520969660416429605497471329458296614\ 7471077540790622773385139442428985150948466206203843325077555/18885\ 2208239678926656609238195065491868425037911033270978142293225415657\ 3842931822687946574496*c_0101_6^20 - 6392693729568700834273031093345902195677265357156987301654123385910\ 5520914207847898384339445848588863/31475368039946487776101539699177\ 5819780708396518388784963570488709026095640488637114657762416*c_010\ 1_6^19 + 2664627378250822794277411445496342129885100357355689071943\ 8660416146078333797421581288231098224824033/31475368039946487776101\ 5396991775819780708396518388784963570488709026095640488637114657762\ 416*c_0101_6^18 + 4309742872748796284712575544345378962154986748528\ 08521027250005351192466394009854449300700787467480177/1888522082396\ 7892665660923819506549186842503791103327097814229322541565738429318\ 22687946574496*c_0101_6^17 - 41692157590251419558249453951110958257\ 642955155206738534718660443137015267693956440978875288405350769/118\ 0326301497993291603807738719159324177656486943957943613389332658847\ 85865183238917996660906*c_0101_6^16 + 1641657398237580713487802344757594668260196520206342638864974092065\ 95710358414060645170664796668478177/1888522082396789266566092381950\ 654918684250379110332709781422932254156573842931822687946574496*c_0\ 101_6^15 + 46432295052303998320006871382963628142881258694563466670\ 1153462636586725066487481684511936742525911967/18885220823967892665\ 6609238195065491868425037911033270978142293225415657384293182268794\ 6574496*c_0101_6^14 - 924361995667199787124621380246588716791944568\ 9153676731371816205119234435867979953148385444865755717/37029844752\ 8782209130606349402089199742009878256927982310082927892971877224104\ 27895842089696*c_0101_6^13 + 10406360455283286344012009785314546467\ 48025986803029329534343637289383784450116457219612584080640723/1573\ 7684019973243888050769849588790989035419825919439248178524435451304\ 7820244318557328881208*c_0101_6^12 + 6148982507528095587640862748172151895617305007546016147036776760751\ 9688325073044138250283197953170099/47213052059919731664152309548766\ 3729671062594777583177445355733063539143460732955671986643624*c_010\ 1_6^11 - 3865511897327904188994106104107814377491241123574284685145\ 9791387157196523384230116321941440120480825/62950736079892975552203\ 0793983551639561416793036777569927140977418052191280977274229315524\ 832*c_0101_6^10 - 2669837135001178907079552502270884059641151966157\ 814515718344415955243430396982382595808808225482475/786884200998662\ 1944025384924794395494517709912959719624089262217725652391012215927\ 8664440604*c_0101_6^9 + 7338734683711659638887075912986894107707201\ 4080864172095692107923957760666917800716451358721777917535/18885220\ 8239678926656609238195065491868425037911033270978142293225415657384\ 2931822687946574496*c_0101_6^8 - 1000692861229717182874273577834700\ 8190150000082908205262362612808145332856402692591249235614277944807\ /188852208239678926656609238195065491868425037911033270978142293225\ 4156573842931822687946574496*c_0101_6^7 - 1132589398846083965736834918022392469193038901047007109471015762551\ 1122543219044077319284200504390323/18885220823967892665660923819506\ 54918684250379110332709781422932254156573842931822687946574496*c_01\ 01_6^6 + 1796166544378981906217388391232085917610549810258461591289\ 856155197472230779265216290671269311755569/944261041198394633283046\ 1909753274593421251895551663548907114661270782869214659113439732872\ 48*c_0101_6^5 + 332570752028255251174464930148389164647293961331556\ 729576138442977387449614290618346499010612168449/188852208239678926\ 6566092381950654918684250379110332709781422932254156573842931822687\ 946574496*c_0101_6^4 - 53747353677523367765417147401956288964578546\ 917723803707037970855730511383591458090980545817220399/629507360798\ 9297555220307939835516395614167930367775699271409774180521912809772\ 74229315524832*c_0101_6^3 + 690866998899795790633016940327984260064\ 6209020607279191125488681003806596202630492858214076439817/47213052\ 0599197316641523095487663729671062594777583177445355733063539143460\ 732955671986643624*c_0101_6^2 + 75322962808135325778593229329372501\ 31804092563667714242042076737228009986754092793798462913621/1851492\ 2376439110456530317470104459987100493912846399115504146394648593861\ 205213947921044848*c_0101_6 - 1011579009527966744375269625427414546\ 730027620762792686307541063813112488194974731496435250545333/188852\ 2082396789266566092381950654918684250379110332709781422932254156573\ 842931822687946574496, c_0011_0 - 1, c_0011_1 + 247230161533242857017697012273138136197767415559756923082188\ 4533584774281019059079186847/10249624876239542989664701876718589452\ 55784649736846718085924844699324283724823624220607*c_0101_6^34 + 3126450302207039092561811325755326312147777423986175582303940924577\ 6436598466257195524484/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^33 - 1015880846262346726965898125912740613222969276760888609277264508942\ 26203104509141025308064/1024962487623954298966470187671858945255784\ 649736846718085924844699324283724823624220607*c_0101_6^32 - 1726563657443042985450068830439855279078009613644201233552859217738\ 72284700338582174786844/1024962487623954298966470187671858945255784\ 649736846718085924844699324283724823624220607*c_0101_6^31 + 1685852441170073441051560091593831882604593637555014543469408332898\ 208265791131663892285796/102496248762395429896647018767185894525578\ 4649736846718085924844699324283724823624220607*c_0101_6^30 - 1790549781878493257815335416615913919224890163678057670332511159143\ 382105287507289578503675/307488746287186289689941056301557683576735\ 3949210540154257774534097972851174470872661821*c_0101_6^29 - 2537231771965901608073022954772823469178023655205854255472054671512\ 4445667027975952833568234/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^28 + 2548104221529715190396675932799038772754237663996046129591035109226\ 7746150986590861759031486/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^27 + 2428525810565335942621623078443519007267892484867680963323803799798\ 4713785817619447740892453/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^26 + 8671521464423678252239444667851023732859333974838017948870349735838\ 2727812718016120190337224/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^25 - 8836661285558873164192185195636372350671510552809747101740187293518\ 2494841389083477156192186/10249624876239542989664701876718589452557\ 84649736846718085924844699324283724823624220607*c_0101_6^24 - 1835592615891094560105236963399553018960711516496679174250829638414\ 77204419137757179478594626/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^23 + 8231764876073370093839742923299591113935579604534338568302544437716\ 52972635030734502680632897/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^22 - 5864119848660312742609612896926024103859005131275174006678704988161\ 36742644897462018624367370/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^21 - 4876207358145122182333528491787625560155042712218610755071556628945\ 498453753673972429720131442/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^20 + 3597716852834414558690450336395687854500470512512096540895752966010\ 263438109954801219744714859/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^19 - 3978141136570175729950191757780358087709866379989282022256950696200\ 699894106410663657120688304/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^18 - 4233567762306979525042223885520244947156394627489740471492088761017\ 724683028390041639304059179/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^17 + 6184820571741718743223966780952255810538495615190155740181485867018\ 668817713855324777711671305/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^16 - 1222036685021196532170128062794576487848483126076624014982092508855\ 203894300236493687366958369/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^15 - 4558372814126814844882937367554340863116828016263825238119576126571\ 801846346537742312911985581/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^14 + 1289885889117213693565618672978443724100768910708092158277746368355\ 8972613043662269702600304466/30748874628718628968994105630155768357\ 67353949210540154257774534097972851174470872661821*c_0101_6^13 + 1224994948188062463070263216157081316039397852285398984933922666115\ 69325175895816278725595053/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^12 - 7142518314380928235802946621268435252732694693069749710827532211494\ 693498011235800249610600304/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^11 + 1000323163290112267064837686549644715413741658938154049853883495734\ 110955761932486043954632772/102496248762395429896647018767185894525\ 5784649736846718085924844699324283724823624220607*c_0101_6^10 + 2020172333232190412255636995377240736305186157643637770226698595580\ 564392346658400562666476230/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^9 - 6790242161807784774546070609980288714282288990494687710449696342364\ 97008062148579577297232988/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^8 + 6272835086948421245940042123761226307395618482094039336461742297907\ 6352079779770668894924739/10249624876239542989664701876718589452557\ 84649736846718085924844699324283724823624220607*c_0101_6^7 + 1159872374678064100471690404926126052319990278262244550928112796297\ 81303497868192888883020801/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^6 - 3155642789439729167515740199888087201120035474652987461461875561913\ 9426948171917518988741613/10249624876239542989664701876718589452557\ 84649736846718085924844699324283724823624220607*c_0101_6^5 - 1395805781442872138580866771659285259344266896725928422177832466975\ 5498068568480827970849621/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^4 + 1812361145967978787879193461211312030431297658210787455456869071373\ 559816307678965681644203/102496248762395429896647018767185894525578\ 4649736846718085924844699324283724823624220607*c_0101_6^3 - 8720889501788163166441960140079977448834217161411538513816595984251\ 12588267249778907614514/3074887462871862896899410563015576835767353\ 949210540154257774534097972851174470872661821*c_0101_6^2 - 2738896455729995293726001525131795868582878826631411112601586190808\ 6551183168472014557829/10249624876239542989664701876718589452557846\ 49736846718085924844699324283724823624220607*c_0101_6 + 3791270042016940863270126982177794196594558695378159086216786239916\ 5823640401616455680558/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821, c_0011_3 - 587342362341681937813466985418854176519909264991681723227642\ 55236620735879176594972115527487/1573768401997324388805076984958879\ 09890354198259194392481785244354513047820244318557328881208*c_0101_\ 6^34 - 734047705653431533832771648058242518592446106682676743059768\ 069803412907342274774984581830201/472130520599197316641523095487663\ 729671062594777583177445355733063539143460732955671986643624*c_0101\ _6^33 + 72613490293647766279298077231211646346267145046815871487093\ 28893290407291002834477044420734801/4721305205991973166415230954876\ 63729671062594777583177445355733063539143460732955671986643624*c_01\ 01_6^32 + 593575423931743663842077068982163443890212683144199101079\ 3405969208337589328915281408426188209/23606526029959865832076154774\ 3831864835531297388791588722677866531769571730366477835993321812*c_\ 0101_6^31 - 1201746598627455188862222955581929572630629404592111567\ 24265385014288995956357613094138422747331/4721305205991973166415230\ 9548766372967106259477758317744535573306353914346073295567198664362\ 4*c_0101_6^30 + 499441657185116132297169559604351580362268396385703\ 32759107598524890831780897469226458159130369/4721305205991973166415\ 2309548766372967106259477758317744535573306353914346073295567198664\ 3624*c_0101_6^29 + 591170911152949949393880932519050556624915560542\ 973885409506060711226314237315787698980508083715/472130520599197316\ 6415230954876637296710625947775831774453557330635391434607329556719\ 86643624*c_0101_6^28 - 15939374768811195656773861721547703965272581\ 8155464084543153828318674801443903213744525574718985/11803263014979\ 9329160380773871915932417765648694395794361338933265884785865183238\ 917996660906*c_0101_6^27 - 4973786971041329104730709509216238087496\ 38322624292674205257841657687737577116412146946651341405/4721305205\ 9919731664152309548766372967106259477758317744535573306353914346073\ 2955671986643624*c_0101_6^26 - 402224553363912376112026966017945942\ 61237371347885034111472097423601194500120938830730886099547/9257461\ 1882195552282651587350522299935502469564231995577520731973242969306\ 02606973960522424*c_0101_6^25 + 63451591455728200328237717150374401\ 59416847813208378879758461243037957404002562071074516508602765/4721\ 3052059919731664152309548766372967106259477758317744535573306353914\ 3460732955671986643624*c_0101_6^24 + 1568325785216241123018935504677991306467774130778681756002756448213\ 596644176076427071411507691329/590163150748996645801903869359579662\ 08882824347197897180669466632942392932591619458998330453*c_0101_6^2\ 3 - 147304758619522450655679100584375995517941034057561813178634560\ 86504646866893481924098034689239585/1180326301497993291603807738719\ 15932417765648694395794361338933265884785865183238917996660906*c_01\ 01_6^22 + 460730453432381701761692356255107460475494209013810558310\ 59407211130831889742959636074273419846925/4721305205991973166415230\ 9548766372967106259477758317744535573306353914346073295567198664362\ 4*c_0101_6^21 + 109623598414473844635218080956204758877675566921865\ 468871759053776536425355329012310526474372546779/472130520599197316\ 6415230954876637296710625947775831774453557330635391434607329556719\ 86643624*c_0101_6^20 - 43502669360627908579113873010244157984716421\ 143293993778349337608297678185129519662708307115149303/786884200998\ 6621944025384924794395494517709912959719624089262217725652391012215\ 9278664440604*c_0101_6^19 + 586526925466971798205439764876655291895\ 62466679043834398382777414955704196146119414079103253359539/2360652\ 6029959865832076154774383186483553129738879158872267786653176957173\ 0366477835993321812*c_0101_6^18 + 281664448670127960717930924418950\ 481122484361921091768695609547156873443676278230146420962281038281/\ 4721305205991973166415230954876637296710625947775831774453557330635\ 39143460732955671986643624*c_0101_6^17 - 5698374134148607652294359351400183930003347265486392453926761373648\ 6354489194810629127183748528653/59016315074899664580190386935957966\ 208882824347197897180669466632942392932591619458998330453*c_0101_6^\ 16 + 13205387456573496697012189985157279998693279758309320940936991\ 2708042587274043771821601833072237841/47213052059919731664152309548\ 7663729671062594777583177445355733063539143460732955671986643624*c_\ 0101_6^15 + 2978360166631806447388735760176492779578929442172496914\ 98801516868075688241637866884621752914942615/4721305205991973166415\ 2309548766372967106259477758317744535573306353914346073295567198664\ 3624*c_0101_6^14 - 638514940104189434958630189135239833779233131076\ 3136541095963414645600487847635336880451442395701/92574611882195552\ 2826515873505222999355024695642319955775207319732429693060260697396\ 0522424*c_0101_6^13 + 694171283500277713428525547900644932201582410\ 0961952462806363284368443760034119060607160339080225/11803263014979\ 9329160380773871915932417765648694395794361338933265884785865183238\ 917996660906*c_0101_6^12 + 3938795160426242743657185413333980369459\ 4647279821681085555338121234942545229375567168746698406887/11803263\ 0149799329160380773871915932417765648694395794361338933265884785865\ 183238917996660906*c_0101_6^11 - 2819667162988427564791670299549108\ 7201707782901262750353215757256752094297667857114545883527243305/15\ 7376840199732438880507698495887909890354198259194392481785244354513\ 047820244318557328881208*c_0101_6^10 - 4490564326664668038441870038991806258865695408883071302285303071084\ 844794300169608675784706820052/590163150748996645801903869359579662\ 08882824347197897180669466632942392932591619458998330453*c_0101_6^9 + 49583152829165394348229432974876398479479640030801456494782022917\ 839321000125130911290697767247287/472130520599197316641523095487663\ 729671062594777583177445355733063539143460732955671986643624*c_0101\ _6^8 - 100156486617348502161649805331954583329530479453980152770016\ 78305129083580261541426383571187730495/4721305205991973166415230954\ 87663729671062594777583177445355733063539143460732955671986643624*c\ _0101_6^7 - 6371356185849770600686622898945657996442999953834857806\ 033673768053341609963703676244810538053907/472130520599197316641523\ 0954876637296710625947775831774453557330635391434607329556719866436\ 24*c_0101_6^6 + 138487053264760082120947593530316543965636474751598\ 9925629964624516170153302919555142470444201861/23606526029959865832\ 0761547743831864835531297388791588722677866531769571730366477835993\ 321812*c_0101_6^5 - 90029805006214402681950971296139385527423981630\ 78170103602826648128052219223895611294843134255/4721305205991973166\ 4152309548766372967106259477758317744535573306353914346073295567198\ 6643624*c_0101_6^4 - 3711704300808623219846062695051875557003493166\ 2412282616982704422248145043682109134107290745335/15737684019973243\ 8880507698495887909890354198259194392481785244354513047820244318557\ 328881208*c_0101_6^3 + 61958867270295455231323236863782642592185629\ 69938135960318547304119129960350172976075063995499/1180326301497993\ 2916038077387191593241776564869439579436133893326588478586518323891\ 7996660906*c_0101_6^2 - 3284010169860699081557557799526897325788712\ 4586722755634193777013867862606180833437487231573/13886191782329332\ 8423977381025783449903253704346347993366281097959864453959039104609\ 40783636*c_0101_6 - 75447742228076959898366516242129770190684824283\ 5587399384825723204209095788255582106787028045/47213052059919731664\ 1523095487663729671062594777583177445355733063539143460732955671986\ 643624, c_0101_0 - 236864078696758773924220188448134304164230876067763495830026\ 460476732569398561819389164370703/786884200998662194402538492479439\ 54945177099129597196240892622177256523910122159278664440604*c_0101_\ 6^34 - 990573654258646106706691779013519286048434543695343948810431\ 132830269535199874109153294572051/786884200998662194402538492479439\ 54945177099129597196240892622177256523910122159278664440604*c_0101_\ 6^33 + 293102704293034345654187041885118812462840591070102612868359\ 60297756601631412453371637539375225/2360652602995986583207615477438\ 31864835531297388791588722677866531769571730366477835993321812*c_01\ 01_6^32 + 243570249898944777584169794518324073368350521431398751058\ 69653257176606786475396938745378902855/1180326301497993291603807738\ 71915932417765648694395794361338933265884785865183238917996660906*c\ _0101_6^31 - 486647960955203425438543952930027619806540424853198031\ 092358786778852349013474331256033958687423/236065260299598658320761\ 5477438318648355312973887915887226778665317695717303664778359933218\ 12*c_0101_6^30 + 18646744582459151108793287494385709461863762830263\ 1481830263428740047041925877103597134052151773/23606526029959865832\ 0761547743831864835531297388791588722677866531769571730366477835993\ 321812*c_0101_6^29 + 8108056240104671762449767922857304015108581024\ 04611038525290220159391166371054668667269478148609/7868842009986621\ 9440253849247943954945177099129597196240892622177256523910122159278\ 664440604*c_0101_6^28 - 6297946349478288959988615616962678598705339\ 78692173212174225913951691523382603495477792246977790/5901631507489\ 9664580190386935957966208882824347197897180669466632942392932591619\ 458998330453*c_0101_6^27 - 7615834726854569967015371963024063244481\ 77046622265778815645935232218346452095671715919545869799/7868842009\ 9866219440253849247943954945177099129597196240892622177256523910122\ 159278664440604*c_0101_6^26 - 4835554139529262113790089980368377434\ 41076238905875534568147760758957225924567043821472440493065/1388619\ 1782329332842397738102578344990325370434634799336628109795986445395\ 903910460940783636*c_0101_6^25 + 2572461486839940830976198748258627\ 6364575256440207325257957225033526484594258230190578804082379945/23\ 6065260299598658320761547743831864835531297388791588722677866531769\ 571730366477835993321812*c_0101_6^24 + 1302307551362865506279593466277373324462133104121318135900552497959\ 4324267614500263488335990892406/59016315074899664580190386935957966\ 208882824347197897180669466632942392932591619458998330453*c_0101_6^\ 23 - 59660848419274703651713676497904570672125067975942682489544075\ 900880789445743741788167995769738377/590163150748996645801903869359\ 57966208882824347197897180669466632942392932591619458998330453*c_01\ 01_6^22 + 175284919043900858180759969697266958779649401351948895494\ 443339822764550645056511026389980561482877/236065260299598658320761\ 5477438318648355312973887915887226778665317695717303664778359933218\ 12*c_0101_6^21 + 46469219948386970164427319342002521562190570602590\ 6159470148001412261903574924932808075133001281479/23606526029959865\ 8320761547743831864835531297388791588722677866531769571730366477835\ 993321812*c_0101_6^20 - 1749847578303126538306115358489329860873938\ 80530108467822013425009019276121180939681290491143211215/3934421004\ 9933109720126924623971977472588549564798598120446311088628261955061\ 079639332220302*c_0101_6^19 + 6786022047904622791396233860266461129\ 2963544461388845884312756448892358707396600359284770584926849/39344\ 2100499331097201269246239719774725885495647985981204463110886282619\ 55061079639332220302*c_0101_6^18 + 1215105236040419469830594269783593022707335216759759528381157492300\ 332141338117800161870211859260889/236065260299598658320761547743831\ 864835531297388791588722677866531769571730366477835993321812*c_0101\ _6^17 - 45384838989666289093539566648901106663595305626121138300704\ 4796595891992602715788491911930891523677/59016315074899664580190386\ 935957966208882824347197897180669466632942392932591619458998330453*\ c_0101_6^16 + 39103509276657985355831480704232020525181829510233035\ 4355805374330362310753747344302963490595783229/23606526029959865832\ 0761547743831864835531297388791588722677866531769571730366477835993\ 321812*c_0101_6^15 + 1313481762882765136659981491208180721893005222\ 721217873481752245453998170085934409150481205328275259/236065260299\ 5986583207615477438318648355312973887915887226778665317695717303664\ 77835993321812*c_0101_6^14 - 74841863543381393330700934351410072735\ 962874130442065385559589101156280911928927349478847968396619/138861\ 9178232933284239773810257834499032537043463479933662810979598644539\ 5903910460940783636*c_0101_6^13 - 304476043836667508441270899400738\ 4948861523455613875068566029587888480408142319507324920409930825/59\ 0163150748996645801903869359579662088828243471978971806694666329423\ 92932591619458998330453*c_0101_6^12 + 1730821189781031409939544548505929925745779129184302580954460837415\ 79987903837459791115463410897122/5901631507489966458019038693595796\ 6208882824347197897180669466632942392932591619458998330453*c_0101_6\ ^11 - 1010576802019909188615610624815870013532037603239361076905266\ 50420980558288374818215991020652154121/7868842009986621944025384924\ 7943954945177099129597196240892622177256523910122159278664440604*c_\ 0101_6^10 - 1591176401444664988174824037292665487443672965850616477\ 4438973082616741941273132524762354794830674/19672105024966554860063\ 4623119859887362942747823992990602231555443141309775305398196661101\ 51*c_0101_6^9 + 200972051514988433797226753130293404249457728475734\ 091886227004994968906872054301675172887712359331/236065260299598658\ 3207615477438318648355312973887915887226778665317695717303664778359\ 93321812*c_0101_6^8 - 212501285696496201376958262982741970356631935\ 63260282389191848511027773670854351535127638357496435/2360652602995\ 9865832076154774383186483553129738879158872267786653176957173036647\ 7835993321812*c_0101_6^7 - 3367309227916153085931886696461078512984\ 9476936229249011972887813041878276719335061094940573313659/23606526\ 0299598658320761547743831864835531297388791588722677866531769571730\ 366477835993321812*c_0101_6^6 + 48086078441314869835624784687073837\ 19232573851135311483187021336877092505112302107427420751953927/1180\ 3263014979932916038077387191593241776564869439579436133893326588478\ 5865183238917996660906*c_0101_6^5 + 1299808106641628650305647697031306731271440425974289413787550712155\ 320908445123477801986984770745/236065260299598658320761547743831864\ 835531297388791588722677866531769571730366477835993321812*c_0101_6^\ 4 - 179832201384300162211217634366265451373569511211668868039769224\ 965125419636318462859015296188759/786884200998662194402538492479439\ 54945177099129597196240892622177256523910122159278664440604*c_0101_\ 6^3 + 7060223076128697714873272623993485080060936497919506547524000\ 125231415084431425734124944914370/196721050249665548600634623119859\ 88736294274782399299060223155544314130977530539819666110151*c_0101_\ 6^2 + 2227586257735777165338369339020542529873303783934485695107697\ 90562550849101169763555697864017/6943095891164666421198869051289172\ 495162685217317399668314054897993222697951955230470391818*c_0101_6 - 3586334298854472918755375034424597951283878586527030900219343906045\ 309180338647038080767074273/236065260299598658320761547743831864835\ 531297388791588722677866531769571730366477835993321812, c_0101_1 - 893392287097355264711052479391416778832944217280106569230212\ 12883389488234385032280213/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^34 - 1301354867858576965759321226939545419048761327283343393892575284140\ 380356998183919059648/307488746287186289689941056301557683576735394\ 9210540154257774534097972851174470872661821*c_0101_6^33 + 1020692493457568312729695215134107028407603946759833430991121868758\ 3991796564939671060138/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^32 + 2535013232768072131187762103841284737907254778442859341258445267356\ 8209505403634620458650/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^31 - 1677104720741187231866367476791248797418506475822405127723952923233\ 28472777684204283595606/3074887462871862896899410563015576835767353\ 949210540154257774534097972851174470872661821*c_0101_6^30 - 4392690459243209156786831335381528283836389910655212590727308482991\ 1340669439101885219561/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^29 + 9083361874133375355772084549582177836554886615210315114878368441018\ 35215541692602518762553/3074887462871862896899410563015576835767353\ 949210540154257774534097972851174470872661821*c_0101_6^28 - 3560820382818808528956718572219999727238960044497367781819061541171\ 18000732656026492327426/3074887462871862896899410563015576835767353\ 949210540154257774534097972851174470872661821*c_0101_6^27 - 1195562694084567075587228545148154574041376501859525109701339766353\ 201373802787918931653524/307488746287186289689941056301557683576735\ 3949210540154257774534097972851174470872661821*c_0101_6^26 - 1251542901111256826214781482804035315089046610640953148458966623554\ 938149373796887921791640/102496248762395429896647018767185894525578\ 4649736846718085924844699324283724823624220607*c_0101_6^25 + 7218818414557397340232529254040071965859193558020853410824735855372\ 585686953411746996360062/307488746287186289689941056301557683576735\ 3949210540154257774534097972851174470872661821*c_0101_6^24 + 2478960625047473258601143132495636454016183460407161581046419254179\ 7641035307395419696407089/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^23 - 7452947974738917425501069922490245510946711588326817577520881923730\ 3197022368460692476695713/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^22 + 1436472349042208701430350228970598765096507477313075816351129679398\ 9898960695171951962145292/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^21 + 1955910145984075592547342736954238790512998285974117153583161166160\ 48178549224768848221920482/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^20 - 9203859841804067380281482533629897603816621352752152531344498007125\ 3989578339618794585322551/10249624876239542989664701876718589452557\ 84649736846718085924844699324283724823624220607*c_0101_6^19 - 4757590783490890374183103362543907906222085752884987244680633677424\ 3910468517605825794248108/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^18 + 4776264138666846893728220042587409056375977219300164470977285082225\ 20622476033452305834210868/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^17 - 3999814200145653745472582151381171395290603379226406536134919265202\ 45351449342690318327464310/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^16 - 1625887946630030286059156898749301606315290759695291162651584757440\ 41279821740477266784499606/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^15 + 4819210658350841094008410878041212415333967630537938061413803655225\ 03653393325741436022710782/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^14 - 6863129550649774978686024055521818053901289298690791373873395766267\ 1665435756993721136546347/10249624876239542989664701876718589452557\ 84649736846718085924844699324283724823624220607*c_0101_6^13 - 1875176429341673439360007986022217257826937046220197342320709458604\ 91000430512735402934558419/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^12 + 2095107914183133822566878551038751734951593531528778904687167749278\ 80068371228866448419931509/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^11 + 1091970957544837944149704335832227753397295477933344817849661857933\ 544584118126654395579287/102496248762395429896647018767185894525578\ 4649736846718085924844699324283724823624220607*c_0101_6^10 - 9641676647002792928577315554672841634429178855254984982823097734118\ 3693827314900430679961447/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^9 + 3476570331771667249764007599017921368998109527976302035604831589627\ 6854148485158420962289969/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^8 + 1727909804306476711629733673991466003053009366572842468938816792439\ 5316995068990110924577429/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^7 - 1190197351935912286994730222232707445729532906564560562094802902173\ 1243349982453473517013640/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^6 - 6295068069744028406203378972465558072949964074916249067269407562617\ 7516819602962810108066/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^5 + 1090606432872812432543655730304215650279020588707778868985802674191\ 875355174096212106632509/307488746287186289689941056301557683576735\ 3949210540154257774534097972851174470872661821*c_0101_6^4 - 7717082917465259014585344065902436477979165080807510204113764007916\ 4560295979035232291047/10249624876239542989664701876718589452557846\ 49736846718085924844699324283724823624220607*c_0101_6^3 + 1091739314350072453453590361988985425054794559608992397230705884543\ 2672734545064120890653/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6^2 + 1321816341246011083390097455540777704771508974570210245296733522081\ 9396961433566948890492/30748874628718628968994105630155768357673539\ 49210540154257774534097972851174470872661821*c_0101_6 - 1266431746781804185736596467307439069644308345042454816559241409403\ 590471670821658871461/307488746287186289689941056301557683576735394\ 9210540154257774534097972851174470872661821, c_0101_4 - 308119743268007626078446561167080304425573203554216413680056\ 97925301984952316208763336113/1229954985148745158759764225206230734\ 3069415796842160617031098136391891404697883490647284*c_0101_6^34 - 4325917601478707076271498670477308831012380786567845993470255453420\ 7139659317527533843411/40998499504958171958658807506874357810231385\ 98947386872343699378797297134899294496882428*c_0101_6^33 + 1266666982457623632074762771521614077040172170991995811718422687848\ 471380589284058733135493/122995498514874515875976422520623073430694\ 15796842160617031098136391891404697883490647284*c_0101_6^32 + 1074104725187802672573812085220513042087863432194938956172367850122\ 367503529637580035108105/614977492574372579379882112603115367153470\ 7898421080308515549068195945702348941745323642*c_0101_6^31 - 2102356137727366865695658236913805758196199775778833772461567899793\ 9492531022431512077757667/12299549851487451587597642252062307343069\ 415796842160617031098136391891404697883490647284*c_0101_6^30 + 2498790899573391358589081992562442664914241748756822107620229540356\ 071567769526870012566203/409984995049581719586588075068743578102313\ 8598947386872343699378797297134899294496882428*c_0101_6^29 + 1054725349848445179895883992031109323285696485577999681896718042418\ 07268908489988731326739079/1229954985148745158759764225206230734306\ 9415796842160617031098136391891404697883490647284*c_0101_6^28 - 2655041321611068710608532851149979042477297988312035295166503563111\ 7043809782250992688155607/30748874628718628968994105630155768357673\ 53949210540154257774534097972851174470872661821*c_0101_6^27 - 1010215370181267506427211192833773057604596439056060777107977253117\ 71183853839287914198917361/1229954985148745158759764225206230734306\ 9415796842160617031098136391891404697883490647284*c_0101_6^26 - 3596396156987631295753409241568432108768063621671023038439612478169\ 50478725848825724264774449/1229954985148745158759764225206230734306\ 9415796842160617031098136391891404697883490647284*c_0101_6^25 + 1103087157568238351222006823505098284092611449890899511897455967853\ 151011958400647932245708997/122995498514874515875976422520623073430\ 69415796842160617031098136391891404697883490647284*c_0101_6^24 + 5714994088307170331559842268675058180237626237570984140494719271551\ 15194019606508110675567452/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^23 - 2567769294070383588564773302766880009199869766529445544858206943759\ 865731244102200550997355837/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^22 + 7330165865855978400792035328021234894541164580538858758781309184065\ 640223663673973479669601565/122995498514874515875976422520623073430\ 69415796842160617031098136391891404697883490647284*c_0101_6^21 + 2027475637405869716971184565970230680639402355857049692984355410877\ 0190812374249531438178691043/12299549851487451587597642252062307343\ 069415796842160617031098136391891404697883490647284*c_0101_6^20 - 2246066812228099671317007841956271768268845939872220854428637930985\ 7985754516775149075314131839/61497749257437257937988211260311536715\ 34707898421080308515549068195945702348941745323642*c_0101_6^19 + 2762911334569078343414936927714526300335235662611814103011583609554\ 499017231526048189695596445/204992497524790859793294037534371789051\ 1569299473693436171849689398648567449647248441214*c_0101_6^18 + 5286918617612621663107907923603311049639066005695706493224299619071\ 3168773047297986376374438033/12299549851487451587597642252062307343\ 069415796842160617031098136391891404697883490647284*c_0101_6^17 - 1931651312769543871447861817203339377251748205334391628785995227385\ 8004256974167357403930858173/30748874628718628968994105630155768357\ 67353949210540154257774534097972851174470872661821*c_0101_6^16 + 1525067691849259177711779517097883260587034058497146787702914969344\ 3658528524953179829579521241/12299549851487451587597642252062307343\ 069415796842160617031098136391891404697883490647284*c_0101_6^15 + 1900200438330419384145765116311273842810928557545823023828741213611\ 0020565725321049436837098613/40998499504958171958658807506874357810\ 23138598947386872343699378797297134899294496882428*c_0101_6^14 - 5374982770936688785249562467285494309064100877436715500426028714925\ 6985673763458833326530539591/12299549851487451587597642252062307343\ 069415796842160617031098136391891404697883490647284*c_0101_6^13 - 3945743626868184059554304411916534021290240463316154009244486629011\ 00897063974150396395415382/3074887462871862896899410563015576835767\ 353949210540154257774534097972851174470872661821*c_0101_6^12 + 7454623871105120191303586318642414999188115856403073704798118773364\ 455454026709852618375526484/307488746287186289689941056301557683576\ 7353949210540154257774534097972851174470872661821*c_0101_6^11 - 1251194785720368154702430421807428145032780902998413359440105657803\ 7102307298994383017045270487/12299549851487451587597642252062307343\ 069415796842160617031098136391891404697883490647284*c_0101_6^10 - 7041319345066908315490907562477631233767450731893153549613562611449\ 12698802852159007261402545/1024962487623954298966470187671858945255\ 784649736846718085924844699324283724823624220607*c_0101_6^9 + 8505566871593770285306793863798687867844201336524307708259213340615\ 825778968763613517754755283/122995498514874515875976422520623073430\ 69415796842160617031098136391891404697883490647284*c_0101_6^8 - 7729395955823546876843405590348032622510478931744691343930143390139\ 62424777517547859652540475/1229954985148745158759764225206230734306\ 9415796842160617031098136391891404697883490647284*c_0101_6^7 - 1462718366072168546280479034703152663234053429867684074169910453671\ 051945137158266098911796603/122995498514874515875976422520623073430\ 69415796842160617031098136391891404697883490647284*c_0101_6^6 + 1978082232729417834066099699241128158031760241337843598552869234416\ 85326377599871702047954221/6149774925743725793798821126031153671534\ 707898421080308515549068195945702348941745323642*c_0101_6^5 + 6016777861506994710821920742369151242573371721384002512808392477008\ 4573566510757971382210473/12299549851487451587597642252062307343069\ 415796842160617031098136391891404697883490647284*c_0101_6^4 - 2307791451653750573374922055996050773841690722008343038091225055332\ 5996244927938213967842077/12299549851487451587597642252062307343069\ 415796842160617031098136391891404697883490647284*c_0101_6^3 + 3035537010983166504187754246146475132874069621816655923319177265306\ 19408215250255344018206/1024962487623954298966470187671858945255784\ 649736846718085924844699324283724823624220607*c_0101_6^2 + 1767268370469045597776195421577744551292891695204838116431713380411\ 49850746283253975802829/6149774925743725793798821126031153671534707\ 898421080308515549068195945702348941745323642*c_0101_6 - 1605806623293755129706079557568325768552764166878914256921982031869\ 09877682039896685436425/1229954985148745158759764225206230734306941\ 5796842160617031098136391891404697883490647284, c_0101_6^35 + 4*c_0101_6^34 - 42*c_0101_6^33 - 61*c_0101_6^32 + 697*c_0101_6^31 - 388*c_0101_6^30 - 3370*c_0101_6^29 + 4171*c_0101_6^28 + 2541*c_0101_6^27 + 10988*c_0101_6^26 - 38270*c_0101_6^25 - 66583*c_0101_6^24 + 348980*c_0101_6^23 - 308669*c_0101_6^22 - 606806*c_0101_6^21 + 1596537*c_0101_6^20 - 848192*c_0101_6^19 - 1598079*c_0101_6^18 + 2868797*c_0101_6^17 - 1029613*c_0101_6^16 - 1738278*c_0101_6^15 + 2133222*c_0101_6^14 - 321975*c_0101_6^13 - 973288*c_0101_6^12 + 609755*c_0101_6^11 + 186121*c_0101_6^10 - 332523*c_0101_6^9 + 83822*c_0101_6^8 + 41372*c_0101_6^7 - 22625*c_0101_6^6 + 829*c_0101_6^5 + 1110*c_0101_6^4 - 269*c_0101_6^3 + 14*c_0101_6^2 + 7*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB