Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 2648441153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1797 geometric_solution 5.46842012 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520743269094 0.106390200652 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635868310066 0.270222375281 1 3 1 4 0132 0132 1023 0132 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 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 1.130076513260 1.782509592703 4 2 6 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.058681873740 0.938833281684 5 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 0 0 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 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.058681873740 0.938833281684 4 5 3 5 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414395385697 0.769413036103 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.961834594777 1.124547072435 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 5*c_0101_6^4 + 23*c_0101_6^3 - 23*c_0101_6^2 - 14*c_0101_6 + 18, c_0011_0 - 1, c_0011_1 - c_0101_6, c_0011_4 - 1, c_0011_6 - c_0101_6^3 + 2*c_0101_6^2 + c_0101_6 - 1, c_0101_0 + c_0101_6^4 - 3*c_0101_6^3 + 3*c_0101_6, c_0101_1 - c_0101_6^2 + c_0101_6 + 1, c_0101_6^5 - 4*c_0101_6^4 + 2*c_0101_6^3 + 5*c_0101_6^2 - 2*c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 5895634026637857658565705015013457296693527367058992804244642599611\ 344471258901888686611522970458/477000265678288092385955565525156848\ 90691435119002200442170025146762955126629975251559445788485*c_0101_\ 6^32 - 236389930561112507096149061336108265396678060579237875147174\ 353195797840877728237155732994745582696/238500132839144046192977782\ 7625784244534571755950110022108501257338147756331498762577972289424\ 25*c_0101_6^31 - 17224310671149431521486451043284928640521554066764\ 2035541071723791545294113650448810088033693947868/23850013283914404\ 6192977782762578424453457175595011002210850125733814775633149876257\ 797228942425*c_0101_6^30 - 2530233323018123567520866176755577242519\ 75284994530152652027370418368753119195132527863397351978608/4770002\ 6567828809238595556552515684890691435119002200442170025146762955126\ 629975251559445788485*c_0101_6^29 + 4663664385294722255045558848344347156486304074889967825099866604394\ 16606461429878148750248251356734/2385001328391440461929777827625784\ 24453457175595011002210850125733814775633149876257797228942425*c_01\ 01_6^28 - 128058565081420680709273491840266780972141285964525662045\ 2376343949495336690840243355731153331188401/23850013283914404619297\ 7782762578424453457175595011002210850125733814775633149876257797228\ 942425*c_0101_6^27 + 2976617195004276173172244589090898345805474365\ 005292469831992361149413765509440036615816416204559964/238500132839\ 1440461929777827625784244534571755950110022108501257338147756331498\ 76257797228942425*c_0101_6^26 - 26280075802340098949031045934757471\ 04915498680823369724440711400981639017925824285536175479476665769/2\ 3850013283914404619297778276257842445345717559501100221085012573381\ 4775633149876257797228942425*c_0101_6^25 - 1135288276958771875405073930631772120935494989039730935369557260220\ 875189236447197818671223935844633/954000531356576184771911131050313\ 6978138287023800440088434005029352591025325995050311889157697*c_010\ 1_6^24 + 4476927231994202011478100882948672621588219399264149676853\ 534810802084755042763653801949714359742488/238500132839144046192977\ 7827625784244534571755950110022108501257338147756331498762577972289\ 42425*c_0101_6^23 + 66066338780760036443002589234016089557928740009\ 241053859468023132747415534567003041094418208728225664/238500132839\ 1440461929777827625784244534571755950110022108501257338147756331498\ 76257797228942425*c_0101_6^22 + 15969892187883561224200276464502848\ 9469102729382388367290531589910227449413838658110090772397798444276\ /238500132839144046192977782762578424453457175595011002210850125733\ 814775633149876257797228942425*c_0101_6^21 - 5632806483534928014846470418986041181717197613535666339567247001300\ 094651219449508942076309781674579/477000265678288092385955565525156\ 84890691435119002200442170025146762955126629975251559445788485*c_01\ 01_6^20 - 774621327112556572877291639270922738871594024535938822819\ 328631512646566059290161124096646763232768394/238500132839144046192\ 9777827625784244534571755950110022108501257338147756331498762577972\ 28942425*c_0101_6^19 + 29980173062600558894314213651652445576172862\ 9389851312894999356826503067119038321220913789284671279111/23850013\ 2839144046192977782762578424453457175595011002210850125733814775633\ 149876257797228942425*c_0101_6^18 + 1464518600863568366422834338182040001796274725828783871160171692151\ 176050654327765384722710905540727469/238500132839144046192977782762\ 578424453457175595011002210850125733814775633149876257797228942425*\ c_0101_6^17 - 84535143533184593760986407217093427037759028996166075\ 3707434260695119357521123486174689418025665931481/23850013283914404\ 6192977782762578424453457175595011002210850125733814775633149876257\ 797228942425*c_0101_6^16 - 2454312745922910665883551502221191984767\ 845179743821705435146691193115597296337213796273563159294394261/238\ 5001328391440461929777827625784244534571755950110022108501257338147\ 75633149876257797228942425*c_0101_6^15 + 1380543522673192641439050886028962835822886383363260383333871680409\ 738466837523483823304604544437760279/238500132839144046192977782762\ 578424453457175595011002210850125733814775633149876257797228942425*\ c_0101_6^14 + 41256865598434705482837318921414433835425535081441970\ 08651566948276795562425359344787187263081961302522/2385001328391440\ 4619297778276257842445345717559501100221085012573381477563314987625\ 7797228942425*c_0101_6^13 - 168631379371841718793748400252662279586\ 92261336376474524950967650236359008669790589764768616365775049/3407\ 1447548449149456139683251796917779065310799287286030121446533402110\ 804735696608256746991775*c_0101_6^12 - 2107240856166334338937924320998931327400071290236569759327190679562\ 80462749698216558159763522523413806/9540005313565761847719111310503\ 136978138287023800440088434005029352591025325995050311889157697*c_0\ 101_6^11 - 29335004080583943768061450217208788140400838197438480464\ 44198778831500618865966019734534434706824006553/2385001328391440461\ 9297778276257842445345717559501100221085012573381477563314987625779\ 7228942425*c_0101_6^10 + 420714589833877334090543726530167200507934\ 5644025657690676595826910192253936226638568091501366665571412/23850\ 0132839144046192977782762578424453457175595011002210850125733814775\ 633149876257797228942425*c_0101_6^9 + 2728857161609807169528814046572219774521813184517678692785586023455\ 538753195019987816820908600673343246/238500132839144046192977782762\ 578424453457175595011002210850125733814775633149876257797228942425*\ c_0101_6^8 - 867869873426670870445705534303342749982024065403862743\ 285565923571153209484242371849299840046559844333/238500132839144046\ 1929777827625784244534571755950110022108501257338147756331498762577\ 97228942425*c_0101_6^7 - 125722224131224767739444172249477788555083\ 439740258339591755044196802851384862694768919721295050025346/340714\ 4754844914945613968325179691777906531079928728603012144653340211080\ 4735696608256746991775*c_0101_6^6 - 3409529424470554471171336067401274056122533752262444654829125365905\ 35071568772614487042783396973379874/2385001328391440461929777827625\ 78424453457175595011002210850125733814775633149876257797228942425*c\ _0101_6^5 - 1073750905277506805745968310019643025768092520201915106\ 8943834578978225409188554039312042733331868744/23850013283914404619\ 2977782762578424453457175595011002210850125733814775633149876257797\ 228942425*c_0101_6^4 + 11638845850412495001900376506162561216061002\ 313912894204569816944954370280207958484025431160843912703/477000265\ 6782880923859555655251568489069143511900220044217002514676295512662\ 9975251559445788485*c_0101_6^3 + 1524615548578089185393455464457683\ 116298012699410928403654907775701667735561605380747685919590236266/\ 9540005313565761847719111310503136978138287023800440088434005029352\ 591025325995050311889157697*c_0101_6^2 + 1719033684049605534978000542746323925071927468344098280777131467302\ 2850487279925605375862265725279258/23850013283914404619297778276257\ 8424453457175595011002210850125733814775633149876257797228942425*c_\ 0101_6 + 2285797808219283737346001634800035003821731755653145883653\ 996004215460201413096112447225636243357542/238500132839144046192977\ 7827625784244534571755950110022108501257338147756331498762577972289\ 42425, c_0011_0 - 1, c_0011_1 - 189452814334255918961411973592501781287354247496150192268342\ 0026927184503778032886098219349/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^32 + 2267926158861842881525969863018600291804425511487500271348393\ 723594512846806855273496754648/128571500182826979079772389629422331\ 241755889808631268038194137861894757753719609842478290535*c_0101_6^\ 31 + 38184077038042132561144863012729519543715233572644496899881843\ 398816021213293940763387775776/642857500914134895398861948147111656\ 208779449043156340190970689309473788768598049212391452675*c_0101_6^\ 30 + 13026376262872197975145379509489891055725326620168124623500394\ 3913929305683901770979327896901/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^29 + 1846445520359913602188436796569679036503591165947774136905466\ 58814940256665917832812780475928/6428575009141348953988619481471116\ 56208779449043156340190970689309473788768598049212391452675*c_0101_\ 6^28 + 234661594203390938001652770286519764151567913013619212759978\ 009069496918841943153149514397258/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^27 + 13528756225043845967455196997280099833805517230713760231579\ 9848901356274388927691856601728996/64285750091413489539886194814711\ 1656208779449043156340190970689309473788768598049212391452675*c_010\ 1_6^26 + 1088538949844879803617638005515407968730836371473814506124\ 77694407616212361411991903937905858/6428575009141348953988619481471\ 11656208779449043156340190970689309473788768598049212391452675*c_01\ 01_6^25 + 212020143926970357079230840771941924778715815491425446767\ 5713884060040251549603258605267835912/64285750091413489539886194814\ 7111656208779449043156340190970689309473788768598049212391452675*c_\ 0101_6^24 + 7423398126700917747946163570561915706626637704599030252\ 03138638785656281798361646467845347886/1285715001828269790797723896\ 29422331241755889808631268038194137861894757753719609842478290535*c\ _0101_6^23 - 900351064350224436530910858665927662190031585564963433\ 670825266098218619355571666653043365534/642857500914134895398861948\ 147111656208779449043156340190970689309473788768598049212391452675*\ c_0101_6^22 - 15423073617388994713088455491683187563489370144046177\ 385869213402642117049135342757356136558492/642857500914134895398861\ 9481471116562087794490431563401909706893094737887685980492123914526\ 75*c_0101_6^21 - 23946259974678030340979652267298569731884484906322\ 982422610423085653659485428518440874460063406/642857500914134895398\ 8619481471116562087794490431563401909706893094737887685980492123914\ 52675*c_0101_6^20 + 27889707321478006959461185219619561220909312500\ 023934682739722382951190784186785183339471126647/642857500914134895\ 3988619481471116562087794490431563401909706893094737887685980492123\ 91452675*c_0101_6^19 + 59206600366323938819787848523940737375156928\ 694718669443805870398045398095561395712360368813174/642857500914134\ 8953988619481471116562087794490431563401909706893094737887685980492\ 12391452675*c_0101_6^18 - 57414587591830062185318854912234685787484\ 553182190595894921615900682761770979396923510361244567/642857500914\ 1348953988619481471116562087794490431563401909706893094737887685980\ 49212391452675*c_0101_6^17 - 97137781640530711551659344478465146922\ 328087956291935341424356701260683327576960523763159414327/642857500\ 9141348953988619481471116562087794490431563401909706893094737887685\ 98049212391452675*c_0101_6^16 + 12230818601437532260165812927062182\ 4465154441955649414599761265003097192837263395250177935796133/64285\ 7500914134895398861948147111656208779449043156340190970689309473788\ 768598049212391452675*c_0101_6^15 + 3777702419603763137954112996700739993994344620897054580098541230816\ 0804779952148718051772502386/12857150018282697907977238962942233124\ 1755889808631268038194137861894757753719609842478290535*c_0101_6^14 - 17618194426270439232371955583915090994797418742367781593907284324\ 5272409307400216692940614915696/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^13 - 4288885085619165561337831714555231086083042026944032789247001\ 62162687026708643068065952061000109/6428575009141348953988619481471\ 11656208779449043156340190970689309473788768598049212391452675*c_01\ 01_6^12 - 680152456556635134168738178944211999467957986490428312849\ 98857309673790936147107739418948933457/6428575009141348953988619481\ 47111656208779449043156340190970689309473788768598049212391452675*c\ _0101_6^11 + 453067280150091902768731677060740566602182246361325129\ 950632830411524911347397260240540777998509/642857500914134895398861\ 9481471116562087794490431563401909706893094737887685980492123914526\ 75*c_0101_6^10 + 69996349060778828307349175833714407791729993903902\ 543774038745692892682212447146425577953370022/128571500182826979079\ 7723896294223312417558898086312680381941378618947577537196098424782\ 90535*c_0101_6^9 - 992310148904211963281604627113827914800190661951\ 64406453281702815330559207980634538019056481479/6428575009141348953\ 9886194814711165620877944904315634019097068930947378876859804921239\ 1452675*c_0101_6^8 - 1895459537407722084375788132331090814132056674\ 63707078284366955833432781963599083653076916573857/6428575009141348\ 9539886194814711165620877944904315634019097068930947378876859804921\ 2391452675*c_0101_6^7 - 6794360521539559824440845838308331869336506\ 7942239390522636485167297869896280073157242383488027/64285750091413\ 4895398861948147111656208779449043156340190970689309473788768598049\ 212391452675*c_0101_6^6 - 54505582241710957589986995276057791779186\ 99302224424659612495692074312144111719758149576892038/6428575009141\ 3489539886194814711165620877944904315634019097068930947378876859804\ 9212391452675*c_0101_6^5 + 1183335397474366549611057054205674387101\ 7994844506031878797617475637339903913330139076230165408/64285750091\ 4134895398861948147111656208779449043156340190970689309473788768598\ 049212391452675*c_0101_6^4 + 16774310097810758748473745511320009270\ 60121500633209575470931745092233690510060519247637974749/1285715001\ 8282697907977238962942233124175588980863126803819413786189475775371\ 9609842478290535*c_0101_6^3 + 3457074739113768747652291657708038715\ 266497825065941420731526646713477586275764548882692428992/642857500\ 9141348953988619481471116562087794490431563401909706893094737887685\ 98049212391452675*c_0101_6^2 + 679763824488320310485375221170019650\ 132997920847929793231260028885801096784232737714983104692/642857500\ 9141348953988619481471116562087794490431563401909706893094737887685\ 98049212391452675*c_0101_6 + 27171906263402499244374153513919310215\ 7897525727520226466757229202110449913969013295801554291/64285750091\ 4134895398861948147111656208779449043156340190970689309473788768598\ 049212391452675, c_0011_4 + 134010273408051561976863688734111150925430026169113539191247\ 19477295410566841067155932501546/6428575009141348953988619481471116\ 56208779449043156340190970689309473788768598049212391452675*c_0101_\ 6^32 - 109540859765074390151548442959842605550855789355959456888710\ 061021587589167551557783085637953/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^31 - 61231939215636670722098472126656171105591943014328417693279\ 782080801177404747937503341615563/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^30 - 56672283905500102228928724985940865693678394976513913079384\ 1798519197204592881659023813313839/64285750091413489539886194814711\ 1656208779449043156340190970689309473788768598049212391452675*c_010\ 1_6^29 + 1203666533562185356733331068592264319815301012502914679238\ 9820433499827310052950977373024037/25714300036565395815954477925884\ 466248351177961726253607638827572378951550743921968495658107*c_0101\ _6^28 - 12582164308456454624132482008329945603528432631132438023274\ 2750565951821960319283249614602651/12857150018282697907977238962942\ 2331241755889808631268038194137861894757753719609842478290535*c_010\ 1_6^27 + 1467598860112680193362012840746092029609517167547247407573\ 685602050461933864286862013654850168/642857500914134895398861948147\ 111656208779449043156340190970689309473788768598049212391452675*c_0\ 101_6^26 - 14104619821953393907713735966977679021323790788583092632\ 88644996232324244934563729382603012984/6428575009141348953988619481\ 47111656208779449043156340190970689309473788768598049212391452675*c\ _0101_6^25 - 126492726067374979736283112136959274305800630494572341\ 11426216333689820897033084912321554321443/6428575009141348953988619\ 4814711165620877944904315634019097068930947378876859804921239145267\ 5*c_0101_6^24 + 399328104909549949487806080620138237019707376255043\ 8170561285015029694995992717356036919276899/64285750091413489539886\ 1948147111656208779449043156340190970689309473788768598049212391452\ 675*c_0101_6^23 + 2933594925217286200796137252250275215202973763521\ 2870864557173726371670657363733571139414084113/64285750091413489539\ 8861948147111656208779449043156340190970689309473788768598049212391\ 452675*c_0101_6^22 + 6835570691049938414943548405504509863055468345\ 4371122528810794890213759815361951785989160466321/64285750091413489\ 5398861948147111656208779449043156340190970689309473788768598049212\ 391452675*c_0101_6^21 - 2283295457768904282710999809987785658783664\ 9941101044533171358578992143804966641070019296552501/64285750091413\ 4895398861948147111656208779449043156340190970689309473788768598049\ 212391452675*c_0101_6^20 - 6966883166029464197460773719348240424948\ 9472614503303439744869821716711444244608100901056515057/12857150018\ 2826979079772389629422331241755889808631268038194137861894757753719\ 609842478290535*c_0101_6^19 + 1883352967431244095368778617949535486\ 74237587718920627106460925712435494030391653475526775705972/6428575\ 0091413489539886194814711165620877944904315634019097068930947378876\ 8598049212391452675*c_0101_6^18 + 126377094542032812028700840624424\ 873552163478648719547338112924576129491540464810634325433808938/128\ 5715001828269790797723896294223312417558898086312680381941378618947\ 57753719609842478290535*c_0101_6^17 - 9525999624687875149269836811973890006314631066914569700726175121417\ 6491028794356767346359611559/12857150018282697907977238962942233124\ 1755889808631268038194137861894757753719609842478290535*c_0101_6^16 - 20650441137641818154903654382388196505498248913349969398209542340\ 7542812581686975414895788241089/12857150018282697907977238962942233\ 1241755889808631268038194137861894757753719609842478290535*c_0101_6\ ^15 + 7742428221456000217028832834066229402624185888389076450432576\ 69839493310543627417298464475150277/6428575009141348953988619481471\ 11656208779449043156340190970689309473788768598049212391452675*c_01\ 01_6^14 + 348284485933811837053200912107959060533250892398343203967\ 580711498000472405800295777931744398568/128571500182826979079772389\ 629422331241755889808631268038194137861894757753719609842478290535*\ c_0101_6^13 - 29893267565788707862563893325395954164644559652069963\ 5856454362579188886002428450135249138892423/64285750091413489539886\ 1948147111656208779449043156340190970689309473788768598049212391452\ 675*c_0101_6^12 - 2322590608915651901381031369808418701805290034111\ 722839329497260334978277052017066951280974378102/642857500914134895\ 3988619481471116562087794490431563401909706893094737887685980492123\ 91452675*c_0101_6^11 - 20088591732200523522983321271508437430893156\ 0070124393917102067449127733902952555214214816804463/12857150018282\ 6979079772389629422331241755889808631268038194137861894757753719609\ 842478290535*c_0101_6^10 + 2014030447723451353538893462213954194234\ 254279704135276205993020147092771260479088795812415017336/642857500\ 9141348953988619481471116562087794490431563401909706893094737887685\ 98049212391452675*c_0101_6^9 + 931178777943712597795286654154568620\ 654745710888471403994185252215395482944577188793724318396314/642857\ 5009141348953988619481471116562087794490431563401909706893094737887\ 68598049212391452675*c_0101_6^8 - 477339831161209603147302253936597\ 679118064138888834298170939389392735832435465381131325290124106/642\ 8575009141348953988619481471116562087794490431563401909706893094737\ 88768598049212391452675*c_0101_6^7 - 3046749481396617213155336727482549032460139746362043473762480429113\ 88301036027833776538969934408/6428575009141348953988619481471116562\ 08779449043156340190970689309473788768598049212391452675*c_0101_6^6 - 52103288131009875440207459339282139746629032077412752337384670145\ 88993263126614430307292088515/2571430003656539581595447792588446624\ 8351177961726253607638827572378951550743921968495658107*c_0101_6^5 + 4660632419911157220328832259224608788397096936690489322733917730934\ 826779397585523595648489486/642857500914134895398861948147111656208\ 779449043156340190970689309473788768598049212391452675*c_0101_6^4 + 4991589146161703952109083073467269625068024431405938080959402755500\ 861694689475145546203233859/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^3 + 1417511863244647635901105137904000536340370937817922012757335783152\ 5308756608913436835129744002/64285750091413489539886194814711165620\ 8779449043156340190970689309473788768598049212391452675*c_0101_6^2 + 6128396545414189908612948913207365328287046528726078863959412386272\ 512919885475896848127313006/642857500914134895398861948147111656208\ 779449043156340190970689309473788768598049212391452675*c_0101_6 + 2432398997033775249290137413382254977607403134122029901151366231486\ 53352208168995672055833742/6428575009141348953988619481471116562087\ 79449043156340190970689309473788768598049212391452675, c_0011_6 + 185156859319485875500825131605036901144592729547992185189614\ 1712071553064388256288920416957/12857150018282697907977238962942233\ 1241755889808631268038194137861894757753719609842478290535*c_0101_6\ ^32 - 8059218908076982119914659709297822913678905482044076680631836\ 5413054772331096613814372176586/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^31 - 7326710521115045552303034273768428849592369727637345934732196\ 636995879799699464717983742828/642857500914134895398861948147111656\ 208779449043156340190970689309473788768598049212391452675*c_0101_6^\ 30 - 66228782936839397989289161379270439693457447608337865680138459\ 965112684288196378972239866904/128571500182826979079772389629422331\ 241755889808631268038194137861894757753719609842478290535*c_0101_6^\ 29 + 47409771096044430141867824122011268574407933358014347075051252\ 5490387806601518026652443593294/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^28 - 2659853752412380116185725731761040879063896636289890969207031\ 90095475789060944915206687037776/6428575009141348953988619481471116\ 56208779449043156340190970689309473788768598049212391452675*c_0101_\ 6^27 + 139172890703086672030463885690222925587709602734371011347808\ 5902024127395131949731254694248324/64285750091413489539886194814711\ 1656208779449043156340190970689309473788768598049212391452675*c_010\ 1_6^26 - 1100301769955572404877613340383265231244471693895533871248\ 247832308199373874751189084498355344/642857500914134895398861948147\ 111656208779449043156340190970689309473788768598049212391452675*c_0\ 101_6^25 - 16789467421770222353666069134081031083192730671330937481\ 94444884398481708033557826322647640989/1285715001828269790797723896\ 29422331241755889808631268038194137861894757753719609842478290535*c\ _0101_6^24 + 783577048917463134449316888850804237759880251675292482\ 2920856330732593007010196214184676712383/64285750091413489539886194\ 8147111656208779449043156340190970689309473788768598049212391452675\ *c_0101_6^23 + 2411843001799828250054066192072578645908892633982379\ 6258375834647424076399299908938446433215744/64285750091413489539886\ 1948147111656208779449043156340190970689309473788768598049212391452\ 675*c_0101_6^22 + 3985178986252175869031704374885113867908483090952\ 9579107223952954088123327716688171586211546496/64285750091413489539\ 8861948147111656208779449043156340190970689309473788768598049212391\ 452675*c_0101_6^21 - 9708810307304394160278972826187663500366248396\ 645793506656175795184678837299145955067863580324/128571500182826979\ 0797723896294223312417558898086312680381941378618947577537196098424\ 78290535*c_0101_6^20 - 26560907134038250241270138913278051869810385\ 3888791267191367717468713689700099608017203633235074/64285750091413\ 4895398861948147111656208779449043156340190970689309473788768598049\ 212391452675*c_0101_6^19 + 2351636621215097486052824813561899104846\ 46040478846694349247504059839113903075167008935229443091/6428575009\ 1413489539886194814711165620877944904315634019097068930947378876859\ 8049212391452675*c_0101_6^18 + 478401342093636653714675721087958063\ 413634109227046483457036303447421458775174335011842115195314/642857\ 5009141348953988619481471116562087794490431563401909706893094737887\ 68598049212391452675*c_0101_6^17 - 5345764064202387358199959361056683431051058764097948210396150146177\ 13505390518541353413756727456/6428575009141348953988619481471116562\ 08779449043156340190970689309473788768598049212391452675*c_0101_6^1\ 6 - 747585145544476403061435073179566753498536482996175175830222236\ 606163891821297734870527753242556/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^15 + 90990637770888982609276297561166688573501310022179571340206\ 7176310150457660979394607604658245494/64285750091413489539886194814\ 7111656208779449043156340190970689309473788768598049212391452675*c_\ 0101_6^14 + 1292302764435214663314714327417565079022697005170785502\ 147877948880145781652823505186947258269122/642857500914134895398861\ 9481471116562087794490431563401909706893094737887685980492123914526\ 75*c_0101_6^13 - 80321240436659414385091322738049701572868783461365\ 4732034611701324568368946746592539061351934553/64285750091413489539\ 8861948147111656208779449043156340190970689309473788768598049212391\ 452675*c_0101_6^12 - 4178139044938003605086603135483712340670477691\ 27549806694396606105105384190595569698465755737538/1285715001828269\ 7907977238962942233124175588980863126803819413786189475775371960984\ 2478290535*c_0101_6^11 - 269245181818616249032793483587282532514053\ 857320202914502767600243042968216520484458659200140303/642857500914\ 1348953988619481471116562087794490431563401909706893094737887685980\ 49212391452675*c_0101_6^10 + 21982584421448732548170143171324242798\ 38919725190283671439739287460472352555837988026342267509802/6428575\ 0091413489539886194814711165620877944904315634019097068930947378876\ 8598049212391452675*c_0101_6^9 + 6526908677810694023249282546432177\ 47567629904414865106501903998858476991552604578475542396610726/6428\ 5750091413489539886194814711165620877944904315634019097068930947378\ 8768598049212391452675*c_0101_6^8 - 7094042840207080406718267635184376123591715466324436104894339458871\ 20695688535930932670599784763/6428575009141348953988619481471116562\ 08779449043156340190970689309473788768598049212391452675*c_0101_6^7 - 34742915687680270286604816196615733677250781637659223131236591183\ 5955387085498931288909885526272/64285750091413489539886194814711165\ 6208779449043156340190970689309473788768598049212391452675*c_0101_6\ ^6 - 92708346407898110889203119613954481777482562995737302630169405\ 882703556793964449175602743802334/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^5 + 224715780720152632118530111744429368175654528570729522446219\ 08708753407612589443541289876978441/6428575009141348953988619481471\ 11656208779449043156340190970689309473788768598049212391452675*c_01\ 01_6^4 + 1368826562076710381365559677458882299906014512232721284128\ 723456713363453995968308147029441079/257143000365653958159544779258\ 84466248351177961726253607638827572378951550743921968495658107*c_01\ 01_6^3 + 3403076020701365127431744978100434472575926888584985950574\ 408106548490128874980712787128070313/128571500182826979079772389629\ 422331241755889808631268038194137861894757753719609842478290535*c_0\ 101_6^2 + 657024702546361964548609750822856764923504350290756105981\ 3852580620740873522326051327357802023/64285750091413489539886194814\ 7111656208779449043156340190970689309473788768598049212391452675*c_\ 0101_6 + 2488267191829327554916342937795362793357503976410458273411\ 14461054696211633923144453289909052/6428575009141348953988619481471\ 11656208779449043156340190970689309473788768598049212391452675, c_0101_0 + 109573569159020344294910632211433375994927639828195875863499\ 7646506842356145608690721265936/12857150018282697907977238962942233\ 1241755889808631268038194137861894757753719609842478290535*c_0101_6\ ^32 - 9700352526071208053003542990396031050879493211429045510174790\ 653561106205787285975849754022/128571500182826979079772389629422331\ 241755889808631268038194137861894757753719609842478290535*c_0101_6^\ 31 + 82148953432836103391097919663723585972683888052201122534857091\ 7209971567669925131706561569/12857150018282697907977238962942233124\ 1755889808631268038194137861894757753719609842478290535*c_0101_6^30 - 41182787819852586661791710079295510220940036870108891682221957609\ 530710161371575706608331537/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^29 + 5929858604327042522297104623456810106201225643686072223367461566584\ 3028031698874240466355063/12857150018282697907977238962942233124175\ 5889808631268038194137861894757753719609842478290535*c_0101_6^28 - 5382855585449763157181110092893157802734602457034423455491059999557\ 2137241247099765549592402/12857150018282697907977238962942233124175\ 5889808631268038194137861894757753719609842478290535*c_0101_6^27 + 1659965118230353883037123081868035645176085705855019595919193757771\ 72060743062637069660980482/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^26 - 1731534751001175879260458417534994920760378084495599895155240751486\ 84202832924851578787565276/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^25 - 9563438415873866491869114037412865249563412391156978192373863555432\ 06645349534063356515799613/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^24 + 1051358517735170084722431194971580365787753136978156572752593837532\ 906078224880102303740610917/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^23 + 2441450142555098673300696310559442246195926039156421144968256255983\ 605926835514435894073878048/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^22 + 4193659926061572183266961930205048249032327654194603419427306978865\ 879651865466214033764771963/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^21 - 5953660947601455717188153924669882774741498120844596448986689688075\ 239198804757295715010746314/128571500182826979079772389629422331241\ 755889808631268038194137861894757753719609842478290535*c_0101_6^20 - 2885822047806296662798890567514365759490355081377621352285134847929\ 4851634824361693247678039651/12857150018282697907977238962942233124\ 1755889808631268038194137861894757753719609842478290535*c_0101_6^19 + 33218206141554969498000896799828889968404546207981527860919441194\ 309686071542754061780928713733/128571500182826979079772389629422331\ 241755889808631268038194137861894757753719609842478290535*c_0101_6^\ 18 + 46065461785063196556920365141238859946435435958059840157530699\ 542034784176756430914466786196633/128571500182826979079772389629422\ 331241755889808631268038194137861894757753719609842478290535*c_0101\ _6^17 - 71700613370676174015076606626920979215573999186946862864832\ 324031822961108149551380764616790928/128571500182826979079772389629\ 422331241755889808631268038194137861894757753719609842478290535*c_0\ 101_6^16 - 67337180681979947202354836710515999586038432192911547851\ 302170999301100352237449600850657492827/128571500182826979079772389\ 629422331241755889808631268038194137861894757753719609842478290535*\ c_0101_6^15 + 11852799735522997705820233552573224799238582694276683\ 8520763245604638312236484385703486295598063/12857150018282697907977\ 2389629422331241755889808631268038194137861894757753719609842478290\ 535*c_0101_6^14 + 1164423643707015436825587501926965032008250881614\ 67411267198811069114432963353994013733085915024/1285715001828269790\ 7977238962942233124175588980863126803819413786189475775371960984247\ 8290535*c_0101_6^13 - 115459056606660779598416961164484105223147979\ 754294055976472431230500677495706814147268005671071/128571500182826\ 9790797723896294223312417558898086312680381941378618947577537196098\ 42478290535*c_0101_6^12 - 39922665797143457436648272070329351994597\ 871616022362918186212421512508579123185988663153210635/257143000365\ 6539581595447792588446624835117796172625360763882757237895155074392\ 1968495658107*c_0101_6^11 + 419324799722507299964205974934754140451\ 0945232306924370720712602210879617762881806865703969758/25714300036\ 5653958159544779258844662483511779617262536076388275723789515507439\ 21968495658107*c_0101_6^10 + 23376918624348610842400279653857103709\ 3361777373169417548326587881609909391116060900631558489849/12857150\ 0182826979079772389629422331241755889808631268038194137861894757753\ 719609842478290535*c_0101_6^9 + 68982670399418749295023319413297803\ 5413140403656895873769630316060988130493500834681322600844/12857150\ 0182826979079772389629422331241755889808631268038194137861894757753\ 719609842478290535*c_0101_6^8 - 84267493182582677208487571827090544\ 202956026898352936348730406944555436572926834200914309842558/128571\ 5001828269790797723896294223312417558898086312680381941378618947577\ 53719609842478290535*c_0101_6^7 - 928413140939765577189552369676384\ 5485659565919788177184942789674645229774585361650739556108762/12857\ 1500182826979079772389629422331241755889808631268038194137861894757\ 753719609842478290535*c_0101_6^6 + 2774353777107180447575572806111348255988924843934005575979820196624\ 55686901230348270807513299/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^5 + 8521120607846817348180386824908463170265997917969628581984977636239\ 59107316825017007434830435/2571430003656539581595447792588446624835\ 1177961726253607638827572378951550743921968495658107*c_0101_6^4 + 3087405733554616290378835338779385053336125217448036001134710493191\ 22205132632786434791114621/2571430003656539581595447792588446624835\ 1177961726253607638827572378951550743921968495658107*c_0101_6^3 + 2584789762901321831518041873776008824842181442841871630235201431528\ 69809865049618384675426726/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^2 + 5279030552471223964775422365948392995719045977005616327297690921347\ 4113176096781557090379712/12857150018282697907977238962942233124175\ 5889808631268038194137861894757753719609842478290535*c_0101_6 - 9811989900342100589298396250654090726311349646082185637432414599445\ 4388978394583445552626531/12857150018282697907977238962942233124175\ 5889808631268038194137861894757753719609842478290535, c_0101_1 - 571590932594657516365232064302028119865931780996691668236893\ 989292623110853830643147194012/642857500914134895398861948147111656\ 208779449043156340190970689309473788768598049212391452675*c_0101_6^\ 32 + 13962633114266542840569912197392257732999996035971518042553596\ 15049386658385615791002565282/1285715001828269790797723896294223312\ 41755889808631268038194137861894757753719609842478290535*c_0101_6^3\ 1 - 138038064529537338615864598117703519626443674905773290412024340\ 68949650520616845494695899232/6428575009141348953988619481471116562\ 08779449043156340190970689309473788768598049212391452675*c_0101_6^3\ 0 - 417815525039722832015262098537424640645878912714343265029037610\ 3851748611158045496203226817/64285750091413489539886194814711165620\ 8779449043156340190970689309473788768598049212391452675*c_0101_6^29 - 13807532821209291939124801803519306689833329661338215022545100624\ 1241108430630084236200808631/64285750091413489539886194814711165620\ 8779449043156340190970689309473788768598049212391452675*c_0101_6^28 - 53469758514912030845329230574663136248388217626495038449304153239\ 663643628747788867149064796/642857500914134895398861948147111656208\ 779449043156340190970689309473788768598049212391452675*c_0101_6^27 - 2420206824845355046060034140029841731439470275748964281138498252679\ 24152924044101525312994292/6428575009141348953988619481471116562087\ 79449043156340190970689309473788768598049212391452675*c_0101_6^26 + 1153082507460558470627107339410679187344245325623652934344100794384\ 01850419354883927534489929/6428575009141348953988619481471116562087\ 79449043156340190970689309473788768598049212391452675*c_0101_6^25 + 3773924038216204681452573702296409454930457820277551293110864423913\ 32636893020222105576095651/6428575009141348953988619481471116562087\ 79449043156340190970689309473788768598049212391452675*c_0101_6^24 - 5116771808891463357331605188615445149971928109785892795361813324582\ 45516640211533461106538919/1285715001828269790797723896294223312417\ 55889808631268038194137861894757753719609842478290535*c_0101_6^23 - 3060846001731124127902976369431047509399245590265971018478404382413\ 575117962690066833771765062/642857500914134895398861948147111656208\ 779449043156340190970689309473788768598049212391452675*c_0101_6^22 + 4973134345225718453041334816044305754319897205476965019405914050889\ 62906313925464872966242404/6428575009141348953988619481471116562087\ 79449043156340190970689309473788768598049212391452675*c_0101_6^21 + 1630192866459291408858256655148470497187707763515254989544404595121\ 4580019118268624950434670702/64285750091413489539886194814711165620\ 8779449043156340190970689309473788768598049212391452675*c_0101_6^20 + 26687161742132988521368697441748211214129928042799752601218625593\ 149228425803081815309339773441/642857500914134895398861948147111656\ 208779449043156340190970689309473788768598049212391452675*c_0101_6^\ 19 - 57044303543664493404396302136329212590127114592112239523476532\ 021280338541608067789375108498153/642857500914134895398861948147111\ 656208779449043156340190970689309473788768598049212391452675*c_0101\ _6^18 - 46332261679288075856788307791631144999320332949783427407556\ 033401616135035594255018432433704761/642857500914134895398861948147\ 111656208779449043156340190970689309473788768598049212391452675*c_0\ 101_6^17 + 11598768968937053518248914768859370293839158285117350730\ 2372937282057384600070478661507168456464/64285750091413489539886194\ 8147111656208779449043156340190970689309473788768598049212391452675\ *c_0101_6^16 + 5901561435547534797017032699582506983693260879443124\ 7172134487393801105791602506023074670416719/64285750091413489539886\ 1948147111656208779449043156340190970689309473788768598049212391452\ 675*c_0101_6^15 - 4132895737768538569416496580475125275875249797945\ 6112762403763639079718165406799125207469948411/12857150018282697907\ 9772389629422331241755889808631268038194137861894757753719609842478\ 290535*c_0101_6^14 - 1151584440475355356085789494850490356369853994\ 83300185689751578342976790975280137638767963527223/6428575009141348\ 9539886194814711165620877944904315634019097068930947378876859804921\ 2391452675*c_0101_6^13 + 288352280721846958754716403828796882768434\ 632639664299481708816400342688236445494988943239704588/642857500914\ 1348953988619481471116562087794490431563401909706893094737887685980\ 49212391452675*c_0101_6^12 + 32463104184229020987171613445465411897\ 3812576569275861863885491785420564133799709292604421783354/64285750\ 0914134895398861948147111656208779449043156340190970689309473788768\ 598049212391452675*c_0101_6^11 - 1490559558295204404863249076189063\ 90200407102252360520463707531531242083718296731801398663225923/6428\ 5750091413489539886194814711165620877944904315634019097068930947378\ 8768598049212391452675*c_0101_6^10 - 9173504018248059005384333400003316898756988106494096093401859932639\ 4902838212566520933577136189/12857150018282697907977238962942233124\ 1755889808631268038194137861894757753719609842478290535*c_0101_6^9 - 4930041636731080241066845670327046542955792940614343965540094767278\ 7641207909305212994740688247/64285750091413489539886194814711165620\ 8779449043156340190970689309473788768598049212391452675*c_0101_6^8 + 1888769754554723108920260540337988548599056558092541398529848298488\ 12036629022404784654965993119/6428575009141348953988619481471116562\ 08779449043156340190970689309473788768598049212391452675*c_0101_6^7 + 76635212608894822470709784532044824301118259856325357185165442086\ 205160457141898112734796248654/642857500914134895398861948147111656\ 208779449043156340190970689309473788768598049212391452675*c_0101_6^\ 6 + 134672132424240494438755156613673261187693641526565608244452886\ 22942723552090688558723065448721/6428575009141348953988619481471116\ 56208779449043156340190970689309473788768598049212391452675*c_0101_\ 6^5 - 1038717902435922658365061112509571944191564813877276772239521\ 6892371687130805090530638960687681/64285750091413489539886194814711\ 1656208779449043156340190970689309473788768598049212391452675*c_010\ 1_6^4 - 17811541322343810220559370893572988103766623933371498911990\ 16913684751774060800007133484827427/1285715001828269790797723896294\ 22331241755889808631268038194137861894757753719609842478290535*c_01\ 01_6^3 - 3962980200348979628418310041750295862645310851140807784041\ 104357114612423935499271771172459764/642857500914134895398861948147\ 111656208779449043156340190970689309473788768598049212391452675*c_0\ 101_6^2 - 925366070021073903132978706897399392200738226749967182320\ 430780140166391158535671782234139619/642857500914134895398861948147\ 111656208779449043156340190970689309473788768598049212391452675*c_0\ 101_6 + 26000052825261090296381810164557737133656257983286114769412\ 9919624351532975449845723359062048/64285750091413489539886194814711\ 1656208779449043156340190970689309473788768598049212391452675, c_0101_6^33 - 8*c_0101_6^32 - 6*c_0101_6^31 - 43*c_0101_6^30 + 15*c_0101_6^29 - 43*c_0101_6^28 + 100*c_0101_6^27 - 87*c_0101_6^26 - 965*c_0101_6^25 + 134*c_0101_6^24 + 2247*c_0101_6^23 + 5458*c_0101_6^22 - 858*c_0101_6^21 - 26310*c_0101_6^20 + 9680*c_0101_6^19 + 49958*c_0101_6^18 - 27813*c_0101_6^17 - 83928*c_0101_6^16 + 45419*c_0101_6^15 + 141032*c_0101_6^14 - 1612*c_0101_6^13 - 179096*c_0101_6^12 - 102700*c_0101_6^11 + 141302*c_0101_6^10 + 95315*c_0101_6^9 - 28203*c_0101_6^8 - 30402*c_0101_6^7 - 12006*c_0101_6^6 - 571*c_0101_6^5 + 1988*c_0101_6^4 + 1322*c_0101_6^3 + 606*c_0101_6^2 + 86*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB