Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 3819077419] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2318 geometric_solution 5.71231906 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.582448686619 0.480984209259 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803856600538 0.504874981413 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 1 0 -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 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548758596971 0.592109449595 2 5 4 1 2031 1023 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.548758596971 0.592109449595 2 4 4 3 0132 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.454445873122 0.882319311471 3 6 2 6 1023 0132 0132 2310 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.906287622133 0.784646239334 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533619950773 0.189154674979 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(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_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), '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_3']), '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_0101_6']), 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 2120638584338038665622809182914847044412901310902200671848541366685\ 54330257877568568431775834003001/1128969057399287782653572369087874\ 840382379099602774657481208629286943313512837830924885857408*c_0110\ _6^32 - 41894422724310130507494129166454215771351318981579285127078\ 463082325132420356806220607326211913353/564484528699643891326786184\ 543937420191189549801387328740604314643471656756418915462442928704*\ c_0110_6^31 + 47507455636522179822043956219449888039016540368161791\ 8202504391234109783722249255113591386702308251/70560566087455486415\ 8482730679921775238986937251734160925755393304339570945523644328053\ 66088*c_0110_6^30 - 54964484494402792650876445024591080243932422320\ 11522444896716275098237016884277561552986248846837513/5644845286996\ 4389132678618454393742019118954980138732874060431464347165675641891\ 5462442928704*c_0110_6^29 + 508314891706989884192991668807790512529\ 0272152696542758692398944906097113374295307786882647438870713/70560\ 5660874554864158482730679921775238986937251734160925755393304339570\ 94552364432805366088*c_0110_6^28 + 1180699957696602523751340782125175044241114146115625233071516154612\ 82707309275321674832582876750141945/5644845286996438913267861845439\ 37420191189549801387328740604314643471656756418915462442928704*c_01\ 10_6^27 - 308980278236428917466668782403404219752788424844808095640\ 786714083735790816605464972698571842212412147/564484528699643891326\ 7861845439374201911895498013873287406043146434716567564189154624429\ 28704*c_0110_6^26 - 87123596530015139766232628273183880729076027772\ 6131616941718395138825602460630698502861093014118924177/11289690573\ 9928778265357236908787484038237909960277465748120862928694331351283\ 7830924885857408*c_0110_6^25 - 244570960082107670400409242730837037\ 29768206860836050905952369833783010951679713991351731959622582721/7\ 0560566087455486415848273067992177523898693725173416092575539330433\ 957094552364432805366088*c_0110_6^24 + 2246586099917469751975884010622689474733424380792573556549688788225\ 878657203321467479742392754656997203/112896905739928778265357236908\ 7874840382379099602774657481208629286943313512837830924885857408*c_\ 0110_6^23 + 1155911967525876653159532776458738832144890830528045214\ 885542639222927546197215581553769446538890685647/112896905739928778\ 2653572369087874840382379099602774657481208629286943313512837830924\ 885857408*c_0110_6^22 - 9938443828939591164171124754937076328773228\ 072005086260939880814000192743758958231496393298601451036629/112896\ 9057399287782653572369087874840382379099602774657481208629286943313\ 512837830924885857408*c_0110_6^21 + 2269502795455309260575792443081988185093901581574789407680731716772\ 212031635258357538427775249074972209/112896905739928778265357236908\ 7874840382379099602774657481208629286943313512837830924885857408*c_\ 0110_6^20 + 2481390176062130882804699247929471379178231355408919962\ 2952185536781437009406680225918366801804380702473/11289690573992877\ 8265357236908787484038237909960277465748120862928694331351283783092\ 4885857408*c_0110_6^19 + 211172226980090630312098166488719682325366\ 92154613050833026720067661695874457969314897392545871780361613/1128\ 9690573992877826535723690878748403823790996027746574812086292869433\ 13512837830924885857408*c_0110_6^18 - 6643949441206379789233869840327514512354883229520950866174081400552\ 389410704413751786405651857311355889/112896905739928778265357236908\ 7874840382379099602774657481208629286943313512837830924885857408*c_\ 0110_6^17 - 3338770207591015455899615421953564644052329570240998122\ 5931995072735567379434204379220210165281053436897/11289690573992877\ 8265357236908787484038237909960277465748120862928694331351283783092\ 4885857408*c_0110_6^16 - 619782496808295923646195327171110992501018\ 045242100217839615033734890690374220978513133635858048050251/141121\ 1321749109728316965461359843550477973874503468321851510786608679141\ 89104728865610732176*c_0110_6^15 + 1851038880493539600162959572519282711450478069759156844500165612724\ 6496022410277712864357356288826720165/11289690573992877826535723690\ 87874840382379099602774657481208629286943313512837830924885857408*c\ _0110_6^14 - 146746148067010759058657722509773856249968211214578055\ 94897364433788451173982270945588451870374467074629/1128969057399287\ 7826535723690878748403823790996027746574812086292869433135128378309\ 24885857408*c_0110_6^13 - 47181308784281447261414672878146942450009\ 848419517839518086669652494614972769913770000839375673936437755/112\ 8969057399287782653572369087874840382379099602774657481208629286943\ 313512837830924885857408*c_0110_6^12 - 9730808998282332933605295965497586581251984335742514021495293086496\ 376031910173995216961772801883857763/282242264349821945663393092271\ 968710095594774900693664370302157321735828378209457731221464352*c_0\ 110_6^11 + 28221940050928696438007031303674977592619750489556967596\ 18012364980885388124239422602674400189318175573/1128969057399287782\ 6535723690878748403823790996027746574812086292869433135128378309248\ 85857408*c_0110_6^10 + 12238848644539888176689406658184893702985615\ 574019652707150473163899686954923802758745142133994498951649/564484\ 5286996438913267861845439374201911895498013873287406043146434716567\ 56418915462442928704*c_0110_6^9 + 606206241849424504817953912697022\ 9271561316397153526510696526728242480798527730686160220236267016007\ 545/564484528699643891326786184543937420191189549801387328740604314\ 643471656756418915462442928704*c_0110_6^8 - 8372988126946000378894541108790572441822573191614010819692638915598\ 22833667793646984833947005670108417/5644845286996438913267861845439\ 37420191189549801387328740604314643471656756418915462442928704*c_01\ 10_6^7 - 3347430035306311317873004740488504473871731781763542839468\ 489815402304840517422466431935627635910313045/112896905739928778265\ 3572369087874840382379099602774657481208629286943313512837830924885\ 857408*c_0110_6^6 - 95127708028690820563455063288065132714586627397\ 3838688054029564168361046688354156961015860218910168203/11289690573\ 9928778265357236908787484038237909960277465748120862928694331351283\ 7830924885857408*c_0110_6^5 + 3083467096391233646485791739786855838\ 9892560602468389692835798407349024267270100464755118488105889711/28\ 2242264349821945663393092271968710095594774900693664370302157321735\ 828378209457731221464352*c_0110_6^4 + 9116591519730831117755283345245701446363406345764460955077044959793\ 2637514435571702479372926098753863/56448452869964389132678618454393\ 7420191189549801387328740604314643471656756418915462442928704*c_011\ 0_6^3 + 22205876310798289439721700261315225783533913922813675492193\ 648235986778406988115888233048053808933481/112896905739928778265357\ 2369087874840382379099602774657481208629286943313512837830924885857\ 408*c_0110_6^2 - 16617676434633924147270662438445835354835054482284\ 633587024563588239610223140193969484865917107089/141121132174910972\ 8316965461359843550477973874503468321851510786608679141891047288656\ 10732176*c_0110_6 - 10734459466335255583587736301211223120702436516\ 02752010159701257041905983496884648689457537238218133/2822422643498\ 2194566339309227196871009559477490069366437030215732173582837820945\ 7731221464352, c_0011_0 - 1, c_0011_1 - 159467799235275620135624969286491010101076258003479351453332\ 087075488792500665791712573367699891/141121132174910972831696546135\ 984355047797387450346832185151078660867914189104728865610732176*c_0\ 110_6^32 - 31510942696650109051771112148943772696043539875548514046\ 528975578123953643301200925487980567197/705605660874554864158482730\ 67992177523898693725173416092575539330433957094552364432805366088*c\ _0110_6^31 + 357245878508410453238357172892056627256510519948207171\ 593458678860069059735452663138909407312987/882007076093193580198103\ 4133499022190487336715646677011571942416304244636819045554100670761\ *c_0110_6^30 - 4132965330250118563721515140442946400420295803683558\ 571612440818782517513276443560211453388394339/705605660874554864158\ 4827306799217752389869372517341609257553933043395709455236443280536\ 6088*c_0110_6^29 + 764478726544307201760533998163993293490953814286\ 7421726411646481012325032964545978833959814843655/17640141521863871\ 6039620682669980443809746734312933540231438848326084892736380911082\ 01341522*c_0110_6^28 + 88788930068519075261886216994353550317605505\ 749438005971463892928628481023301798736075681746164891/705605660874\ 5548641584827306799217752389869372517341609257553933043395709455236\ 4432805366088*c_0110_6^27 - 232337942305346438215034696232444066424\ 862784158775232690864575937492794839199255407046779321912725/705605\ 6608745548641584827306799217752389869372517341609257553933043395709\ 4552364432805366088*c_0110_6^26 - 655186176781065584372023711037362\ 349193755793050124832968729572326962860340980673550224789826188195/\ 1411211321749109728316965461359843550477973874503468321851510786608\ 67914189104728865610732176*c_0110_6^25 - 7358326340962710264438008642326005183738962372025005272239800270711\ 8891975679165006963510464484149/35280283043727743207924136533996088\ 761949346862586708046287769665216978547276182216402683044*c_0110_6^\ 24 + 16893297304358941545155378852194876433939566628958797132240780\ 08664318049581461101605315952842748377/1411211321749109728316965461\ 35984355047797387450346832185151078660867914189104728865610732176*c\ _0110_6^23 + 869350769875322521669396419271868807040012995904313929\ 260573215650653205594935230631362205839622513/141121132174910972831\ 6965461359843550477973874503468321851510786608679141891047288656107\ 32176*c_0110_6^22 - 74733788973090992008589281081418922174781968275\ 97983154872852281001217718088223801703108832477129027/1411211321749\ 1097283169654613598435504779738745034683218515107866086791418910472\ 8865610732176*c_0110_6^21 + 170600771117515698837043856517925450120\ 4979105820988478156734162082775259600803546289374045689091183/14112\ 1132174910972831696546135984355047797387450346832185151078660867914\ 189104728865610732176*c_0110_6^20 + 1865945350165235996283298257616495743780833554632926478165104913634\ 8498003677575400446693006624018223/14112113217491097283169654613598\ 4355047797387450346832185151078660867914189104728865610732176*c_011\ 0_6^19 + 1588135055813036568914546052098330555786483538279754157190\ 5523199173913205871085529401422213013354459/14112113217491097283169\ 6546135984355047797387450346832185151078660867914189104728865610732\ 176*c_0110_6^18 - 4993986601446751641152622738014096728129000956165\ 512346990802709335172606396572070835094949875481023/141121132174910\ 9728316965461359843550477973874503468321851510786608679141891047288\ 65610732176*c_0110_6^17 - 25106423716403350199482994950025541010636\ 053634741001264048810874319568087063409459113616419136291687/141121\ 1321749109728316965461359843550477973874503468321851510786608679141\ 89104728865610732176*c_0110_6^16 - 9326518064473259951602884475986520031198765041745468560948616070191\ 30253450078903185675962983325353/3528028304372774320792413653399608\ 8761949346862586708046287769665216978547276182216402683044*c_0110_6\ ^15 + 1391818619573780812038572554610807386047980073001404950645228\ 9624300544641307593571853586072249108415/14112113217491097283169654\ 6135984355047797387450346832185151078660867914189104728865610732176\ *c_0110_6^14 - 1103431227367406977959615956478548979531810937708804\ 3951334385600164464791716117985976222187160397955/14112113217491097\ 2831696546135984355047797387450346832185151078660867914189104728865\ 610732176*c_0110_6^13 - 3548003820454799061298514198179549264828949\ 2329997650932510164828703215047842132277486884415719129781/14112113\ 2174910972831696546135984355047797387450346832185151078660867914189\ 104728865610732176*c_0110_6^12 - 3659116574600980593781096081676709\ 478755883692235860079552649709783527852908117111568289312421355863/\ 1764014152186387160396206826699804438097467343129335402314388483260\ 8489273638091108201341522*c_0110_6^11 + 2118105320350755364014971857551559829766112928125824010989186233136\ 700172209987899085515104890314159/141121132174910972831696546135984\ 355047797387450346832185151078660867914189104728865610732176*c_0110\ _6^10 + 92025962453744905053093574620122589839958037753227166140925\ 83346119063778664760642837543393867399829/7056056608745548641584827\ 3067992177523898693725173416092575539330433957094552364432805366088\ *c_0110_6^9 + 45590813334252514320148365926058746992087300891669627\ 90775174230718648688865996302491721806662734787/7056056608745548641\ 5848273067992177523898693725173416092575539330433957094552364432805\ 366088*c_0110_6^8 - 62896275927408344799529267536006288547912653851\ 3521620771805364813980258566210898157933980178947799/70560566087455\ 4864158482730679921775238986937251734160925755393304339570945523644\ 32805366088*c_0110_6^7 - 251673881436744929007539042722582814778979\ 5861704656699030458173075991002760106256123607948488127503/14112113\ 2174910972831696546135984355047797387450346832185151078660867914189\ 104728865610732176*c_0110_6^6 - 71540819645252426850912522992651043\ 1132586871590983641756714912398522087442339103961311538087205165/14\ 1121132174910972831696546135984355047797387450346832185151078660867\ 914189104728865610732176*c_0110_6^5 + 5789903706603274178560677113894703682548705613275511848252263532652\ 187212560549073412691808655873/882007076093193580198103413349902219\ 0487336715646677011571942416304244636819045554100670761*c_0110_6^4 + 6853704290106535216977835613892453280128301623520499820325511037133\ 8744070018163951965694173991801/70560566087455486415848273067992177\ 523898693725173416092575539330433957094552364432805366088*c_0110_6^\ 3 + 166986933694609432736800505012979548270329283043341659677502539\ 02804082418129924510165963627579531/1411211321749109728316965461359\ 84355047797387450346832185151078660867914189104728865610732176*c_01\ 10_6^2 - 2440926708069365888287980995306273678078062686829420441610\ 4554780972986711149732464024235773293/35280283043727743207924136533\ 996088761949346862586708046287769665216978547276182216402683044*c_0\ 110_6 - 80698582832421074473738258695347251452490824723901024251657\ 0162311508574094474788609586641263545/35280283043727743207924136533\ 996088761949346862586708046287769665216978547276182216402683044, c_0011_3 - 800861318521107169514304670663392703748406327915894445123960\ 39532078705561328860786270946577475/1411211321749109728316965461359\ 84355047797387450346832185151078660867914189104728865610732176*c_01\ 10_6^32 - 158374021830085154476082154456581432459380678511278499845\ 61081451289987277433809858391791940909/7056056608745548641584827306\ 7992177523898693725173416092575539330433957094552364432805366088*c_\ 0110_6^31 + 1794107688568144503836645208833960644632143595741930943\ 85894256171900438086711888637299509737871/8820070760931935801981034\ 133499022190487336715646677011571942416304244636819045554100670761*\ c_0110_6^30 - 20751734446436216547983480170598957860831182526492897\ 89999054571027305490560017748690139899716883/7056056608745548641584\ 8273067992177523898693725173416092575539330433957094552364432805366\ 088*c_0110_6^29 + 3839165595658911365107126022996622370677321618336\ 179514667293847042686915156136670667649886399931/176401415218638716\ 0396206826699804438097467343129335402314388483260848927363809110820\ 1341522*c_0110_6^28 + 445951063171580307662938974175776731947958966\ 23673161026137828739927113413854247991938353148288315/7056056608745\ 5486415848273067992177523898693725173416092575539330433957094552364\ 432805366088*c_0110_6^27 - 1166665195270091942015081399293441779532\ 24481718924976858227664958371847775225067067752213215573981/7056056\ 6087455486415848273067992177523898693725173416092575539330433957094\ 552364432805366088*c_0110_6^26 - 3290992873615373570420576761358940\ 65014724672417588809350967691578888168307251689168533049534922819/1\ 4112113217491097283169654613598435504779738745034683218515107866086\ 7914189104728865610732176*c_0110_6^25 - 3698590665041593116806309929550182085976677392078081241182192774638\ 5230915784225102384150056876109/35280283043727743207924136533996088\ 761949346862586708046287769665216978547276182216402683044*c_0110_6^\ 24 + 84829948791117191565514912724871951110735543569311081179128114\ 7796621992008957399245660755623130329/14112113217491097283169654613\ 5984355047797387450346832185151078660867914189104728865610732176*c_\ 0110_6^23 + 4368202345484955762135279788471453114746168582139245190\ 41976815549423087192828798059130725213023537/1411211321749109728316\ 9654613598435504779738745034683218515107866086791418910472886561073\ 2176*c_0110_6^22 - 375296600473255637575983342616601954090135320074\ 8843976969537461395391173443411695848032480802682515/14112113217491\ 0972831696546135984355047797387450346832185151078660867914189104728\ 865610732176*c_0110_6^21 + 8557053954703526797063193724409319109101\ 04896316345415054980580165503850211876879452183179625119183/1411211\ 3217491097283169654613598435504779738745034683218515107866086791418\ 9104728865610732176*c_0110_6^20 + 937075204239754620831218086611869\ 2589462666314401895496196707406954965131100954802651091481488526479\ /141121132174910972831696546135984355047797387450346832185151078660\ 867914189104728865610732176*c_0110_6^19 + 7978594678408456608691948525527235810499163468705999944832085084113\ 583368377282726999108339652772859/141121132174910972831696546135984\ 355047797387450346832185151078660867914189104728865610732176*c_0110\ _6^18 - 25043742911059713913918641623478424344845594991561861494929\ 69186487770552821287812574714006235623119/1411211321749109728316965\ 4613598435504779738745034683218515107866086791418910472886561073217\ 6*c_0110_6^17 - 126080059025386340962049115174256087099838383688280\ 46312542133633652358067141411280594528108246585175/1411211321749109\ 7283169654613598435504779738745034683218515107866086791418910472886\ 5610732176*c_0110_6^16 - 469312668647371805689204884269896940060257\ 049083086664123674591968358932564368840562061355613959913/352802830\ 4372774320792413653399608876194934686258670804628776966521697854727\ 6182216402683044*c_0110_6^15 + 698771389890460500908200026428570309\ 2934300166027961615345575216511614050075163864241728309425997503/14\ 1121132174910972831696546135984355047797387450346832185151078660867\ 914189104728865610732176*c_0110_6^14 - 5540138219746125324054237200333940100693554147780480877330446993080\ 400668610086133409429361239811443/141121132174910972831696546135984\ 355047797387450346832185151078660867914189104728865610732176*c_0110\ _6^13 - 17819461983339389467992711630687335090052600511954621240734\ 259737232518723901702150449566707888365445/141121132174910972831696\ 5461359843550477973874503468321851510786608679141891047288656107321\ 76*c_0110_6^12 - 18383915288860346389703536790146601447770150108586\ 54868201630041717247751941491848274555746647215111/1764014152186387\ 1603962068266998044380974673431293354023143884832608489273638091108\ 201341522*c_0110_6^11 + 1056725639152892002978642909195614793280923\ 942344877523363554635808780829435203717161798342075441535/141121132\ 1749109728316965461359843550477973874503468321851510786608679141891\ 04728865610732176*c_0110_6^10 + 46204192169903755579761396186303334\ 89924762648269571131654925637605031593160567116833256987975093325/7\ 0560566087455486415848273067992177523898693725173416092575539330433\ 957094552364432805366088*c_0110_6^9 + 2290620424888149187576601066879087113012489487284896941469152100288\ 334133605224121317714383792930587/705605660874554864158482730679921\ 77523898693725173416092575539330433957094552364432805366088*c_0110_\ 6^8 - 3147311886837637504362793126323961281250985088151146196674034\ 55840924842423805071282727352663535415/7056056608745548641584827306\ 7992177523898693725173416092575539330433957094552364432805366088*c_\ 0110_6^7 - 12632592981521570371661616625944433886308678416880582545\ 50030894676786897967887481602440303415491487/1411211321749109728316\ 9654613598435504779738745034683218515107866086791418910472886561073\ 2176*c_0110_6^6 - 3594529589599989681787867281958138902454843814189\ 93435390616858036574126984693950377632458191730669/1411211321749109\ 7283169654613598435504779738745034683218515107866086791418910472886\ 5610732176*c_0110_6^5 + 2896465476409774869916691239060580400298616\ 153795596468287203641937597941789107809768624073097879/882007076093\ 1935801981034133499022190487336715646677011571942416304244636819045\ 554100670761*c_0110_6^4 + 34394902433190875083684197293795196630906\ 560355273413163467877181782248626661111920474285613298505/705605660\ 8745548641584827306799217752389869372517341609257553933043395709455\ 2364432805366088*c_0110_6^3 + 8389641394635316253937618837009038618\ 947670730133521864583160473121203060834075740532115008512411/141121\ 1321749109728316965461359843550477973874503468321851510786608679141\ 89104728865610732176*c_0110_6^2 - 112715047802918397362352942816887\ 81499266092426243611372124010795239470265254562897783542071693/3528\ 0283043727743207924136533996088761949346862586708046287769665216978\ 547276182216402683044*c_0110_6 - 4049511691294742641559359841818386\ 56503663895905834058452922474646779601332553790282765293247113/3528\ 0283043727743207924136533996088761949346862586708046287769665216978\ 547276182216402683044, c_0101_0 + 374905232566970125723152992799925891192134142889363338974539\ 07755549196598424949492065693563395/1764014152186387160396206826699\ 8044380974673431293354023143884832608489273638091108201341522*c_011\ 0_6^32 + 2948491327468567448715235282638320991006753034991453789905\ 8469676035442996410297367106280290535/35280283043727743207924136533\ 996088761949346862586708046287769665216978547276182216402683044*c_0\ 110_6^31 - 67193071711624840289177690516888434717944727107259690085\ 4544475806290342634439377200082358501419/88200707609319358019810341\ 33499022190487336715646677011571942416304244636819045554100670761*c\ _0110_6^30 + 972962906306254415750346568498089773311655856391586314\ 406863276205346751379184534220187840723679/882007076093193580198103\ 4133499022190487336715646677011571942416304244636819045554100670761\ *c_0110_6^29 - 1438097931762987752410825785387292805179402056756821\ 3942218949550161668559367426535111680277698039/17640141521863871603\ 9620682669980443809746734312933540231438848326084892736380911082013\ 41522*c_0110_6^28 - 20860462272085721996347957447568128880907169806\ 539824200387559250831960380500609407505377971247023/882007076093193\ 5801981034133499022190487336715646677011571942416304244636819045554\ 100670761*c_0110_6^27 + 1093371486766999243716659226011260163216216\ 75855402884016271619479340720342458482592119163028993597/1764014152\ 1863871603962068266998044380974673431293354023143884832608489273638\ 091108201341522*c_0110_6^26 + 7692704968411114600835370746027435814\ 3944573581948245264091679618944440154671816070978833685710991/88200\ 7076093193580198103413349902219048733671564667701157194241630424463\ 6819045554100670761*c_0110_6^25 + 137647748969828781006211080171878\ 775470817055911740657983486831276527160874424145563598497253916611/\ 3528028304372774320792413653399608876194934686258670804628776966521\ 6978547276182216402683044*c_0110_6^24 - 1987204408007412245284750429249214485120526082764026257237093335564\ 93812429337137596237492435587817/8820070760931935801981034133499022\ 190487336715646677011571942416304244636819045554100670761*c_0110_6^\ 23 - 40742360376424799177732895904498594934362211796125948080483172\ 5897181208979799595713285950929314495/35280283043727743207924136533\ 996088761949346862586708046287769665216978547276182216402683044*c_0\ 110_6^22 + 35152794237462458603174608697355722814361412740252127073\ 80222269935429648084776480599650453578754815/3528028304372774320792\ 4136533996088761949346862586708046287769665216978547276182216402683\ 044*c_0110_6^21 - 8085528316628275536114092816775964609223634224419\ 31504704727248025515498981266537963612883780195509/3528028304372774\ 3207924136533996088761949346862586708046287769665216978547276182216\ 402683044*c_0110_6^20 - 8774515674775627994378072901537179605220009\ 315731646999838618446342760187422840807807628100732420639/352802830\ 4372774320792413653399608876194934686258670804628776966521697854727\ 6182216402683044*c_0110_6^19 - 745044267130821620184378536188740993\ 7788248697140594629408217823250422035722752068848916712115042275/35\ 2802830437277432079241365339960887619493468625867080462877696652169\ 78547276182216402683044*c_0110_6^18 + 2369489850971915909971873627380273064482671351971186233684173595490\ 129512907945005894135028143308737/352802830437277432079241365339960\ 88761949346862586708046287769665216978547276182216402683044*c_0110_\ 6^17 + 118087134452572256213290173924028823697232803033252438249578\ 27801676386998090095081267833460191037999/3528028304372774320792413\ 6533996088761949346862586708046287769665216978547276182216402683044\ *c_0110_6^16 + 1732375877628046667530614944545846216080323491488668\ 198920297962636903913645732901821358070722008097/352802830437277432\ 0792413653399608876194934686258670804628776966521697854727618221640\ 2683044*c_0110_6^15 - 163906524344748039476945235568329638713456792\ 3426382819887257848969245748427034890333281784581864175/88200707609\ 3193580198103413349902219048733671564667701157194241630424463681904\ 5554100670761*c_0110_6^14 + 519641296243947036295445720659540654441\ 2975189653551205568274681555693169491398660850520538352704159/35280\ 2830437277432079241365339960887619493468625867080462877696652169785\ 47276182216402683044*c_0110_6^13 + 1667552857791700193388417298438151538625913104706206000742297998499\ 8409787596011366026487384428090959/35280283043727743207924136533996\ 088761949346862586708046287769665216978547276182216402683044*c_0110\ _6^12 + 13728424819596824586066915408589467518767662530816080426452\ 207858923609428548775428918968053745844463/352802830437277432079241\ 3653399608876194934686258670804628776966521697854727618221640268304\ 4*c_0110_6^11 - 259254638945594189834209102131745761987189131668241\ 942725677888598184242973071984518607577694896466/882007076093193580\ 1981034133499022190487336715646677011571942416304244636819045554100\ 670761*c_0110_6^10 - 8668264976592676281872238525783071678365649813\ 725470322718096314747623279667123679593289285311389159/352802830437\ 2774320792413653399608876194934686258670804628776966521697854727618\ 2216402683044*c_0110_6^9 - 1068976389229791952432001307811852133051\ 321237001447724163959844176943953840621565285449225665145456/882007\ 0760931935801981034133499022190487336715646677011571942416304244636\ 819045554100670761*c_0110_6^8 + 30220246839662093890999787150522266\ 4260905201003143251821028820120249469327188951357785949212508057/17\ 6401415218638716039620682669980443809746734312933540231438848326084\ 89273638091108201341522*c_0110_6^7 + 2968257881007031793984215499076357388336843959202910645350874811260\ 17698202670161694311287530566645/8820070760931935801981034133499022\ 190487336715646677011571942416304244636819045554100670761*c_0110_6^\ 6 + 335607190633407216032015383869810639560743361831760641731921223\ 656893411354341979054386518050792305/352802830437277432079241365339\ 96088761949346862586708046287769665216978547276182216402683044*c_01\ 10_6^5 - 4452877288205801949161422619757865075491717712011713358488\ 6599449522543845069675608439617740827785/35280283043727743207924136\ 533996088761949346862586708046287769665216978547276182216402683044*\ c_0110_6^4 - 323746059042628836826682944207318804798940891511668991\ 26949756432106353071854995148208730471594529/1764014152186387160396\ 2068266998044380974673431293354023143884832608489273638091108201341\ 522*c_0110_6^3 - 19604720410928610021544636937607442892160283225829\ 99422363874860586578610778244933279348964936943/8820070760931935801\ 9810341334990221904873367156466770115719424163042446368190455541006\ 70761*c_0110_6^2 + 653610868060917362235148895563446620773142318322\ 08604638534846467333272292513118569491550163325/3528028304372774320\ 7924136533996088761949346862586708046287769665216978547276182216402\ 683044*c_0110_6 + 7626928346459720335082696684909796671405386395984\ 39882458293698998550363572678053053178685686123/1764014152186387160\ 3962068266998044380974673431293354023143884832608489273638091108201\ 341522, c_0101_4 - 168855308327537336447184350906813585166308589568336159645823\ 4853970858396473019424974841903617/88200707609319358019810341334990\ 22190487336715646677011571942416304244636819045554100670761*c_0110_\ 6^32 - 664822821702949610110168910892307993213571342260495551726173\ 747622792633606653141318559480716/882007076093193580198103413349902\ 2190487336715646677011571942416304244636819045554100670761*c_0110_6\ ^31 + 6052618365433609406572256329683113757089315220036441913896486\ 9878885311699958486245024496437011/88200707609319358019810341334990\ 22190487336715646677011571942416304244636819045554100670761*c_0110_\ 6^30 - 876139000684078098419118530918502213174241734107653218677836\ 27207252321650004957470136928573247/8820070760931935801981034133499\ 022190487336715646677011571942416304244636819045554100670761*c_0110\ _6^29 + 64767877690297317018668108785988017559107919247790503710383\ 0503724857323594406503669732163129578/88200707609319358019810341334\ 99022190487336715646677011571942416304244636819045554100670761*c_01\ 10_6^28 + 187939518019601138078734336676745177016285908546514202151\ 6625579118152708902604495456029251384359/88200707609319358019810341\ 33499022190487336715646677011571942416304244636819045554100670761*c\ _0110_6^27 - 492345542872392333710026298044152831295908380904556410\ 8435124669599115637528990935889062934698536/88200707609319358019810\ 3413349902219048733671564667701157194241630424463681904555410067076\ 1*c_0110_6^26 - 693157036547924773466678466740562098180238155150011\ 1557093462754530571772169746721045695025423017/88200707609319358019\ 8103413349902219048733671564667701157194241630424463681904555410067\ 0761*c_0110_6^25 - 310391694843765729195391992493692601048336242051\ 8014994418834054567789230441161841248308541021936/88200707609319358\ 0198103413349902219048733671564667701157194241630424463681904555410\ 0670761*c_0110_6^24 + 178975712203317441918636717412291416114067722\ 21051980552614271416939356459580782531299373206393103/8820070760931\ 9358019810341334990221904873367156466770115719424163042446368190455\ 54100670761*c_0110_6^23 + 91828427623832312857477028161852480630034\ 32699896265166554359875323884525477636556541871973489620/8820070760\ 9319358019810341334990221904873367156466770115719424163042446368190\ 45554100670761*c_0110_6^22 - 79155936602013798053329668426355080995\ 914745741941079910239650053307257360845234069586408493939273/882007\ 0760931935801981034133499022190487336715646677011571942416304244636\ 819045554100670761*c_0110_6^21 + 1817195422723604079474531300941522\ 2424592309046065907513109525756609893903589686991385879540020240/88\ 2007076093193580198103413349902219048733671564667701157194241630424\ 4636819045554100670761*c_0110_6^20 + 1975960507950234428167368098406918024589200500956138433537891023590\ 53448558593106778793017999452105/8820070760931935801981034133499022\ 190487336715646677011571942416304244636819045554100670761*c_0110_6^\ 19 + 16787793502632991681869375180962210977385012260953825600847477\ 7504182389621881154777752696878690746/88200707609319358019810341334\ 99022190487336715646677011571942416304244636819045554100670761*c_01\ 10_6^18 - 532445366273103796184147727209337484495873046632502606755\ 03102138047609518872252708263333144349769/8820070760931935801981034\ 133499022190487336715646677011571942416304244636819045554100670761*\ c_0110_6^17 - 26591509051218671672030185117615809853148278930499503\ 7829561760576129155152954329788649291430076657/88200707609319358019\ 8103413349902219048733671564667701157194241630424463681904555410067\ 0761*c_0110_6^16 - 391384428899077224424987531784585985425466849780\ 12451266383263205762935053656243820775994094237590/8820070760931935\ 8019810341334990221904873367156466770115719424163042446368190455541\ 00670761*c_0110_6^15 + 14758238520591430513422876560430846001325103\ 4555507462987478594471932314221445103513645316760827889/88200707609\ 3193580198103413349902219048733671564667701157194241630424463681904\ 5554100670761*c_0110_6^14 - 116971135048485760713524206456916670632\ 274549727254669597038181042207687230044926658899605852855269/882007\ 0760931935801981034133499022190487336715646677011571942416304244636\ 819045554100670761*c_0110_6^13 - 3755686978808024322090550919217942\ 63143682151791623961792063957991882394928473388108903351859347471/8\ 8200707609319358019810341334990221904873367156466770115719424163042\ 44636819045554100670761*c_0110_6^12 - 3093590050814692474861939011086211172833954609189294709141970966442\ 77160526798956859659409882647290/8820070760931935801981034133499022\ 190487336715646677011571942416304244636819045554100670761*c_0110_6^\ 11 + 23132605335167903436255398502656271287515048990159436948866417\ 047704860530025470556641104826581064/882007076093193580198103413349\ 9022190487336715646677011571942416304244636819045554100670761*c_011\ 0_6^10 + 1951416996730011590847604571707907283699382532406697208743\ 01397881530288028879659886083198380142945/8820070760931935801981034\ 133499022190487336715646677011571942416304244636819045554100670761*\ c_0110_6^9 + 963653680019298252544948224503514433980682709773985228\ 52825823034531901765896856005404521764236839/8820070760931935801981\ 0341334990221904873367156466770115719424163042446368190455541006707\ 61*c_0110_6^8 - 135383001129669379071416238666245433463886453366862\ 58742793790440180549372076946342536152656143033/8820070760931935801\ 9810341334990221904873367156466770115719424163042446368190455541006\ 70761*c_0110_6^7 - 267188705877699188204631745230291522814186508481\ 20731066006233704556771650424153493481857741379131/8820070760931935\ 8019810341334990221904873367156466770115719424163042446368190455541\ 00670761*c_0110_6^6 - 756418244529209549959835729056027712555260035\ 2564517250251394934818124898062564750214552372905834/88200707609319\ 3580198103413349902219048733671564667701157194241630424463681904555\ 4100670761*c_0110_6^5 + 9968139535089730155884636038567579099578044\ 98887333702034702142999380100734541851802108277917444/8820070760931\ 9358019810341334990221904873367156466770115719424163042446368190455\ 54100670761*c_0110_6^4 + 145647303267231873017512380689449921776266\ 8482054271222181390930808708614502097330584117385629205/88200707609\ 3193580198103413349902219048733671564667701157194241630424463681904\ 5554100670761*c_0110_6^3 + 1767129401593783184190151210447098881719\ 66573699057836343701904099668949328647452698949129498667/8820070760\ 9319358019810341334990221904873367156466770115719424163042446368190\ 45554100670761*c_0110_6^2 - 132579048749073359143771227376089188765\ 6573227755009772928056633282269137416789199837050737048/88200707609\ 3193580198103413349902219048733671564667701157194241630424463681904\ 5554100670761*c_0110_6 - 343044043787353697788830175829659374173925\ 72744247703320154095958422982990233187149079830793648/8820070760931\ 9358019810341334990221904873367156466770115719424163042446368190455\ 54100670761, c_0101_6 + 249891981313887195387201137105011848447433330585229179665483\ 53216777399705015821341980673096625/1411211321749109728316965461359\ 84355047797387450346832185151078660867914189104728865610732176*c_01\ 10_6^32 + 494328730253932298877610310626517853644928792768492157187\ 1509176828282471119281927689092843823/70560566087455486415848273067\ 992177523898693725173416092575539330433957094552364432805366088*c_0\ 110_6^31 - 55981279106168578493010438621450425342695617454759240622\ 246486683994512033110180362280744672852/882007076093193580198103413\ 3499022190487336715646677011571942416304244636819045554100670761*c_\ 0110_6^30 + 6474587380835239878691828641382979906414369211595130741\ 97891665375033334836568264708556788819001/7056056608745548641584827\ 3067992177523898693725173416092575539330433957094552364432805366088\ *c_0110_6^29 - 1197911730577664174639543445114849817040958537993412\ 559914086645596223654863285114161949074883569/176401415218638716039\ 6206826699804438097467343129335402314388483260848927363809110820134\ 1522*c_0110_6^28 - 139155667872653583546053904268253468340060708128\ 90300270469781285024950861692731869873088332100961/7056056608745548\ 6415848273067992177523898693725173416092575539330433957094552364432\ 805366088*c_0110_6^27 + 3640156864750989830736132455685868637838302\ 7516361177093391060676023604327712543079761430926601167/70560566087\ 4554864158482730679921775238986937251734160925755393304339570945523\ 64432805366088*c_0110_6^26 + 10269727531359198771381261392112669204\ 3289407810934695078614451834799732248860233249750232762758865/14112\ 1132174910972831696546135984355047797387450346832185151078660867914\ 189104728865610732176*c_0110_6^25 + 1154386778749592144458178329106082943313461576097744341051249497526\ 1952554610300611740532745265135/35280283043727743207924136533996088\ 761949346862586708046287769665216978547276182216402683044*c_0110_6^\ 24 - 26468701818918358786440489537933955835857002202307234991355709\ 6113901456643209442349289153408895571/14112113217491097283169654613\ 5984355047797387450346832185151078660867914189104728865610732176*c_\ 0110_6^23 - 1363302520941271106312434975515273510318929856514103848\ 52842102387304995373308299789194370385627179/1411211321749109728316\ 9654613598435504779738745034683218515107866086791418910472886561073\ 2176*c_0110_6^22 + 117101815782130215413000797109769635329881333655\ 6062796742597033647024126949054214275244309862639329/14112113217491\ 0972831696546135984355047797387450346832185151078660867914189104728\ 865610732176*c_0110_6^21 - 2668627613095238934562082447916557913477\ 91740248090399035592312382929026554964443261424128142607573/1411211\ 3217491097283169654613598435504779738745034683218515107866086791418\ 9104728865610732176*c_0110_6^20 - 292397792496587712213077285508539\ 2162259371872020661475982290244989162426192309278710730136142605413\ /141121132174910972831696546135984355047797387450346832185151078660\ 867914189104728865610732176*c_0110_6^19 - 2489905514332017776863553311666138052718581970979230337700514502059\ 736542272615904919853733376647401/141121132174910972831696546135984\ 355047797387450346832185151078660867914189104728865610732176*c_0110\ _6^18 + 78112405828954606556511928289033027365790238661109110279236\ 0208471163972233908500169541616603066181/14112113217491097283169654\ 6135984355047797387450346832185151078660867914189104728865610732176\ *c_0110_6^17 + 3934093902267237334136182334327742588643041061053064\ 634598069472791984612619347624108262649414332141/141121132174910972\ 8316965461359843550477973874503468321851510786608679141891047288656\ 10732176*c_0110_6^16 + 14653908846785192411425984610989313543489818\ 9743376347113796385901494631305712218753771476039308415/35280283043\ 7277432079241365339960887619493468625867080462877696652169785472761\ 82216402683044*c_0110_6^15 - 21803079901800497065925899150176028139\ 70059063411765019898412627342961403692755923638107440482166997/1411\ 2113217491097283169654613598435504779738745034683218515107866086791\ 4189104728865610732176*c_0110_6^14 + 1728482391925687667441834347731631525031731459413417966188518386940\ 234029111106066190506621237940865/141121132174910972831696546135984\ 355047797387450346832185151078660867914189104728865610732176*c_0110\ _6^13 + 55604708391587403107697976561378427754465566456604770388341\ 70392325952344357621955604820242863769015/1411211321749109728316965\ 4613598435504779738745034683218515107866086791418910472886561073217\ 6*c_0110_6^12 + 573717737183444976323501980808005391626058010638179\ 220415123692905431726948441143609995966681361073/176401415218638716\ 0396206826699804438097467343129335402314388483260848927363809110820\ 1341522*c_0110_6^11 - 329125667239044510984025853003993424632543236\ 297109490482965087585221048377980780777714596062918773/141121132174\ 9109728316965461359843550477973874503468321851510786608679141891047\ 28865610732176*c_0110_6^10 - 14416456452230016641543796357545831254\ 72477262115666301323470582494919574164360242642856162623226959/7056\ 0566087455486415848273067992177523898693725173416092575539330433957\ 094552364432805366088*c_0110_6^9 - 7148295812929104192553492277116708295971676210121410349401224472083\ 61356882149589219387462615437009/7056056608745548641584827306799217\ 7523898693725173416092575539330433957094552364432805366088*c_0110_6\ ^8 + 98153894919841427791659179367700803345789016524027486610309721\ 873361493933856041470357946373793501/705605660874554864158482730679\ 92177523898693725173416092575539330433957094552364432805366088*c_01\ 10_6^7 + 3941563624822879014983760097702337102514656325548711553009\ 59787221389563506113849545818687251942597/1411211321749109728316965\ 4613598435504779738745034683218515107866086791418910472886561073217\ 6*c_0110_6^6 + 1121447488762968795039901542454191423284167628049151\ 59054102777649260259559314277556936593803004271/1411211321749109728\ 3169654613598435504779738745034683218515107866086791418910472886561\ 0732176*c_0110_6^5 - 9041594377354132355202902504585547126200026359\ 13336203804381605944910975462548011512027656313826/8820070760931935\ 8019810341334990221904873367156466770115719424163042446368190455541\ 00670761*c_0110_6^4 - 107310297523779623921893163758031905487606756\ 52812202681044723460088705607857813348417245327144915/7056056608745\ 5486415848273067992177523898693725173416092575539330433957094552364\ 432805366088*c_0110_6^3 - 26165345678267787676900120235223202601941\ 19938383908764132498839003868406631657363136909770090617/1411211321\ 7491097283169654613598435504779738745034683218515107866086791418910\ 4728865610732176*c_0110_6^2 + 3652945644881606449315929861443675969\ 907264289614917554286041939412513970830953045590298985051/352802830\ 4372774320792413653399608876194934686258670804628776966521697854727\ 6182216402683044*c_0110_6 + 126342369328859239339546690299486785188\ 456731997462580458880379217519009654352137918711891668059/352802830\ 4372774320792413653399608876194934686258670804628776966521697854727\ 6182216402683044, c_0110_6^33 - 36*c_0110_6^31 + 66*c_0110_6^30 - 404*c_0110_6^29 - 962*c_0110_6^28 + 3354*c_0110_6^27 + 2957*c_0110_6^26 + 222*c_0110_6^25 - 11323*c_0110_6^24 - 1265*c_0110_6^23 + 49019*c_0110_6^22 - 29219*c_0110_6^21 - 112783*c_0110_6^20 - 53347*c_0110_6^19 + 70675*c_0110_6^18 + 145063*c_0110_6^17 - 38826*c_0110_6^16 - 96525*c_0110_6^15 + 103687*c_0110_6^14 + 195145*c_0110_6^13 + 95638*c_0110_6^12 - 85829*c_0110_6^11 - 110168*c_0110_6^10 - 11566*c_0110_6^9 + 30486*c_0110_6^8 + 12665*c_0110_6^7 - 1751*c_0110_6^6 - 2354*c_0110_6^5 - 630*c_0110_6^4 + 235*c_0110_6^3 + 42*c_0110_6^2 + 20*c_0110_6 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB