Magma V2.19-8 Wed Aug 21 2013 00:05:26 on localhost [Seed = 2917909287] Type ? for help. Type -D to quit. Loading file "K13n2060__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2060 geometric_solution 10.95224286 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 0 3 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.192122218535 0.834746930713 0 4 4 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 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.579870653906 1.262698001345 0 0 7 6 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -3 -1 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598663483580 0.618574389486 5 8 6 0 3120 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.293406294264 1.179050915803 1 1 9 5 2031 0132 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 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.699651005425 0.654025294438 4 10 1 3 3201 0132 0132 3120 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 0 3 -4 -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.296977528250 1.177908635517 3 9 2 8 2031 3012 0132 0213 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 -1 1 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524669075704 1.192901680755 11 9 10 2 0132 0132 0132 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 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794988306640 1.193666730697 10 3 11 6 2103 0132 3012 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527013822035 1.764878298558 6 7 11 4 1230 0132 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 -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 1.021213526630 1.604707505217 12 5 8 7 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719045782000 0.323617906488 7 8 9 12 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465185720159 0.245099321126 10 12 11 12 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647570675842 0.357614720905 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_9']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0110_6'], 'c_1100_6' : d['c_0110_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0110_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0110_6'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0110_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0110_6']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_6, c_0101_9, c_0110_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 9095941568686509007626155246919872843707419608387539256488110018534\ 8122613455713554966748051/24650228029857163905095104286970383480445\ 75860204657411919591692427212661170640160024038477922304*c_1001_4^3\ 0 - 237594970893134050435702904681462128037488137318767185594301381\ 903496981064058897814635548283/616255700746429097627377607174259587\ 011143965051164352979897923106803165292660040006009619480576*c_1001\ _4^29 - 26892974594716032148517577075565828437046932021162393151699\ 8654994527215867958671345649259601/24650228029857163905095104286970\ 38348044575860204657411919591692427212661170640160024038477922304*c\ _1001_4^28 + 550309316251635081850630392789382819956244086137967481\ 26788360228624635102840481755195426216227/2465022802985716390509510\ 4286970383480445758602046574119195916924272126611706401600240384779\ 22304*c_1001_4^27 - 54218781881795496587346459357800877783904716851\ 5474174547385443365083271242658521583053034903/28301065476299843748\ 6740577347535975665278514374817154066543248269484806104551109072794\ 3143424*c_1001_4^26 + 239287434561725017991019806283530167985781939\ 465698578672414089138690312838178578341735647118965/189617138691208\ 9531161161868228491036957366046311274932245839763405548200900492430\ 78772190609408*c_1001_4^25 - 13406000203211452620009075435379958129\ 88147875259088427535077004044006308975028657338202314909245/1540639\ 2518660727440684440179356489675278599126279108824497448077670079132\ 3165010001502404870144*c_1001_4^24 + 6829463591787531462186760226401743297983253555833841961166461889628\ 6607003257269022173262230535403/12325114014928581952547552143485191\ 74022287930102328705959795846213606330585320080012019238961152*c_10\ 01_4^23 - 450368051951939431944091847058536786803151539116935882398\ 79991469679236098794879049327546671089/1582780790410759207980936450\ 94197916273569786837335136247565923489611702913229752152564432896*c\ _1001_4^22 + 201250423820054441878443642389565412551188675080706015\ 985702223985475048886705665507060581874543513/176073057356122599322\ 1078877640741677174697043003326722799708351733723329407600114302884\ 62708736*c_1001_4^21 - 22326536822254829997132383889969219561803713\ 95915619497256796821112023126753043115249848054638870235/6162557007\ 4642909762737760717425958701114396505116435297989792310680316529266\ 0040006009619480576*c_1001_4^20 + 227313217541253551438206992174966\ 8765496500216909561602141080097430432131735915316030670247595277773\ 3/24650228029857163905095104286970383480445758602046574119195916924\ 27212661170640160024038477922304*c_1001_4^19 - 5948384950224327011903093695295176356359411520660154886738180124908\ 141018411542960225401446772249229/308127850373214548813688803587129\ 793505571982525582176489948961553401582646330020003004809740288*c_1\ 001_4^18 + 84938877042577303314185192613784452843679296530707774033\ 862169047295393794581245752388790827689129007/246502280298571639050\ 9510428697038348044575860204657411919591692427212661170640160024038\ 477922304*c_1001_4^17 - 1354456886532899560680412263439938737878776\ 08293744853281045531865809968233362691228733591304909647909/2465022\ 8029857163905095104286970383480445758602046574119195916924272126611\ 70640160024038477922304*c_1001_4^16 + 4966996297979883245656174189563675518805102242203635559118119292738\ 1925420461587232225569323262553669/61625570074642909762737760717425\ 9587011143965051164352979897923106803165292660040006009619480576*c_\ 1001_4^15 - 3703060710984071461194375345499990213476764306395942225\ 5657538813394310100649526449227836850583209727/35214611471224519864\ 4215775528148335434939408600665344559941670346744665881520022860576\ 925417472*c_1001_4^14 + 4807007846544324550126212293364405465056841\ 277157191361856084498565907986915222994834711545841135567/440182643\ 3903064983052697194101854192936742607508316806999270879334308323519\ 0002857572115677184*c_1001_4^13 - 178035734757185742541628756880058\ 3591743159456158900731326352909572777974612018502197986833125951103\ 53/2465022802985716390509510428697038348044575860204657411919591692\ 427212661170640160024038477922304*c_1001_4^12 + 1293158526278540595797178427868765276315467743864993414156962029697\ 0850702118825512564571298247555901/24650228029857163905095104286970\ 38348044575860204657411919591692427212661170640160024038477922304*c\ _1001_4^11 + 114981657742335837952947934231240260884929324922733507\ 430903147478345673117951999223181321853431195063/246502280298571639\ 0509510428697038348044575860204657411919591692427212661170640160024\ 038477922304*c_1001_4^10 - 1411595418897753758758165677219445360149\ 46743233069696757739667607999840310533107508070977259295813473/2465\ 0228029857163905095104286970383480445758602046574119195916924272126\ 61170640160024038477922304*c_1001_4^9 + 6040805227495044039361802843652085091297637322544090061753756563994\ 7187113554626651871582835991577967/12325114014928581952547552143485\ 19174022287930102328705959795846213606330585320080012019238961152*c\ _1001_4^8 - 5896368922252108466267685781098804261566074962491735201\ 8771822245601707265778781153407804724022025957/12325114014928581952\ 5475521434851917402228793010232870595979584621360633058532008001201\ 9238961152*c_1001_4^7 + 2970552099586611207469407867550358497139545\ 7300912682769594145284065461304898905852435655479860110651/61625570\ 0746429097627377607174259587011143965051164352979897923106803165292\ 660040006009619480576*c_1001_4^6 - 4943645902300587403164632118874852951468174835910632301799235093336\ 8870050168862788953341213585844717/12325114014928581952547552143485\ 19174022287930102328705959795846213606330585320080012019238961152*c\ _1001_4^5 + 4656979623716150471510248315851069971194298402073577511\ 70995770931424374119517240801039942407374039/1384844271340290107027\ 8148475826058135081886855082345010784222991164116073992360449573249\ 875968*c_1001_4^4 - 95810313122994834637449721955109137105079066988\ 807920217313307873019931603623106739002576098759529349/246502280298\ 5716390509510428697038348044575860204657411919591692427212661170640\ 160024038477922304*c_1001_4^3 + 51756359563009997780605600971717998\ 656057803780113296444239675383526434545889961813169032032541380529/\ 1232511401492858195254755214348519174022287930102328705959795846213\ 606330585320080012019238961152*c_1001_4^2 - 7136686887647847828293166209086664024703397628992180018171318202443\ 3757068361654744303494315336827551/24650228029857163905095104286970\ 38348044575860204657411919591692427212661170640160024038477922304*c\ _1001_4 + 299246007894249800836276174482827102004779728834270549546\ 66770586052504844240956004434129274432403751/2465022802985716390509\ 5104286970383480445758602046574119195916924272126611706401600240384\ 77922304, c_0011_0 - 1, c_0011_10 - 70834036727178611809505171705086337651841189704452118737033\ 449/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^30 + 6943211710627634719922981546080634358569931107\ 03011382803678187/7299481603359070349238488448734904229887546137642\ 7519529078607577088*c_1001_4^29 - 129888192900595727119714165885599\ 36037444625408316881582256456119/1459896320671814069847697689746980\ 84597750922752855039058157215154176*c_1001_4^28 + 86249142853957295417229686039939640083998068001471423791982842011/1\ 4598963206718140698476976897469808459775092275285503905815721515417\ 6*c_1001_4^27 - 524742959324751208254452273554748960809807016770670\ 934865786036975/145989632067181406984769768974698084597750922752855\ 039058157215154176*c_1001_4^26 + 3108281714873124382464110472915236\ 666838081243433783975410798459977/145989632067181406984769768974698\ 084597750922752855039058157215154176*c_1001_4^25 - 8140424107460105049709983828086514853449415440134567934842689409867\ /729948160335907034923848844873490422988754613764275195290786075770\ 88*c_1001_4^24 + 17433923092011315629015675999716566881087514716666\ 454099055226218853/364974080167953517461924422436745211494377306882\ 13759764539303788544*c_1001_4^23 - 7439926353841209563179098871017649176312972224342080976306389349669\ /456217600209941896827405528045931514367971633602671997056741297356\ 8*c_1001_4^22 + 161558355313309682433883864973582537849246631882997\ 204883637854658161/364974080167953517461924422436745211494377306882\ 13759764539303788544*c_1001_4^21 - 7017015777496678140007802970732398007220422205699893856542313539546\ 19/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^20 + 248240555011754382900826250524158221343376032936\ 4858236140040725365699/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^19 - 9324903980127054105458395149231325951365616537910802043258824719561\ 59/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^18 + 507101575289925688974567442723906134358260864115\ 8295640231808600393543/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^17 - 6292698869445270249110131516188145551909168531958275569775779503040\ 731/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^16 + 3694122173228890847151184052020661917879292488\ 69051215718488964751163/9124352004198837936548110560918630287359432\ 672053439941134825947136*c_1001_4^15 - 1194464911259794045264176501429203116311275462348556540476277487224\ 473/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^14 - 3809070908546086197490854997800651391267121645\ 377106277286210944894109/729948160335907034923848844873490422988754\ 61376427519529078607577088*c_1001_4^13 + 1359271647474093107458814200083949323575984783763321728242003557536\ 8405/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^12 - 101551444413710219458069446545345566481986090\ 20771404894842189240140351/1459896320671814069847697689746980845977\ 50922752855039058157215154176*c_1001_4^11 + 2056640827880746715766188267860628659509988330246852052455548561478\ 737/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^10 + 9877782284720632633736781313302752050294578556\ 73398410572162094678983/1459896320671814069847697689746980845977509\ 22752855039058157215154176*c_1001_4^9 + 1302148620472878171787708487918929737657227725834012529934685009450\ 43/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^8 - 6472656687791276443429245083377613380974141825535\ 3200605298503896137/36497408016795351746192442243674521149437730688\ 213759764539303788544*c_1001_4^7 - 6427160629033830461260962703796337990771511842563129230294150488907\ 27/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^6 + 1042066139841369765061404468378911388217260571535\ 0103739852487901053/45621760020994189682740552804593151436797163360\ 26719970567412973568*c_1001_4^5 + 225342617675274259733365028007184\ 878943411982869299305797721603101797/182487040083976758730962211218\ 37260574718865344106879882269651894272*c_1001_4^4 - 7469259287801590680268260471371708771029206905152980337936609073946\ 23/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^3 - 129427957842390121288784827101744146852751178930\ 0017884083061148685243/72994816033590703492384884487349042298875461\ 376427519529078607577088*c_1001_4^2 + 3187220924728633764195091260928085670722616734253514996102461133335\ 721/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4 - 2034265855895018042050236411037640936476685414555\ 848835802414472729771/145989632067181406984769768974698084597750922\ 752855039058157215154176, c_0011_11 + 33847973228864977617530642486130656355888900268536755837135\ 515/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^30 - 4010785563203797669904425164680337747804555897\ 93646983714138855/1459896320671814069847697689746980845977509227528\ 55039058157215154176*c_1001_4^29 + 9012551055423192931630063276240796981126216126153195537990088109/29\ 1979264134362813969539537949396169195501845505710078116314430308352\ *c_1001_4^28 - 6854572879340010683018024590302263460194902193946941\ 7412257309961/29197926413436281396953953794939616919550184550571007\ 8116314430308352*c_1001_4^27 + 439293679919693184145906868168221193\ 641405887065403687088902290929/291979264134362813969539537949396169\ 195501845505710078116314430308352*c_1001_4^26 - 2653518209227431926339579899813165274399414798046640142382563478695\ /291979264134362813969539537949396169195501845505710078116314430308\ 352*c_1001_4^25 + 7372649942770644515358610617813903032083712966062\ 481398188867473469/145989632067181406984769768974698084597750922752\ 855039058157215154176*c_1001_4^24 - 4404072084653341651321474390221765825143458872248835283975695919313\ /182487040083976758730962211218372605747188653441068798822696518942\ 72*c_1001_4^23 + 17430650733572488810616854639946772706423859334552\ 552361819041422857/182487040083976758730962211218372605747188653441\ 06879882269651894272*c_1001_4^22 - 1132206236451819882472844607894724803582695866271194016497480724914\ 59/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^21 + 121229583266740291604086989301171588160919753455\ 9729716310957294333973/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^20 - 5417161525488936291896877286935089351683099858699036290457498325904\ 357/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^19 + 1290808717258622952272665093309328303939596430\ 532607640919652163116391/364974080167953517461924422436745211494377\ 30688213759764539303788544*c_1001_4^18 - 1733761835003004403845995046323097061884991003694463926955173955123\ 9305/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^17 + 264111072264732834835370689589134154973251140\ 60284998676128847393361673/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^16 - 4555586481352669665745222413041628802396530483682729788408938476477\ 199/364974080167953517461924422436745211494377306882137597645393037\ 88544*c_1001_4^15 + 43036070941159102782561789566855773571207848181\ 112108873654987628446635/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^14 - 1928847300196235914808984475721729495260778891270744064590477128212\ 3195/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^13 + 196367222961265658902988786788597007037662177\ 77061129201166031688769049/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^12 + 4874486825224910187478229237073557008874936566832395324246741898623\ 917/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^11 - 2019326904885354602178470853745876394981424092\ 1629776665235688299661703/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^10 + 2242992977730626504156797932697573755903361776149754950177983386738\ 1239/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^9 - 5046232232558558867971131178006428744064709325\ 872842499546280746296079/729948160335907034923848844873490422988754\ 61376427519529078607577088*c_1001_4^8 + 2444500542755182258870405274442810750064868300855544538925178432442\ 789/364974080167953517461924422436745211494377306882137597645393037\ 88544*c_1001_4^7 - 923675065457435882478285830212349536824908940194\ 5453597449269787311427/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^6 + 3910193462404371898765093484461568520301590075767254888883703858482\ 023/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^5 - 458973893078004409947832615972372202126696909871\ 107298509011289852195/912435200419883793654811056091863028735943267\ 2053439941134825947136*c_1001_4^4 + 1618558766379255879733335433664873282089250906248356302831902734616\ 2081/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^3 - 7478513756418780100730372678238913830229684696\ 109746451933020068092409/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^2 + 9458751422865970750384856475287534910081521077294124035130583967286\ 521/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4 - 3342413826604315672628842048507356392632077528275\ 256256272954952495831/291979264134362813969539537949396169195501845\ 505710078116314430308352, c_0011_3 + 233404995854654983138368759942175191313405360608636195450871\ 91/2919792641343628139695395379493961691955018455057100781163144303\ 08352*c_1001_4^30 - 31163055968048645246801821376420074599804411407\ 4707909977053807/14598963206718140698476976897469808459775092275285\ 5039058157215154176*c_1001_4^29 + 760543969008943560452180630094467\ 1063141116930967517634572564533/29197926413436281396953953794939616\ 9195501845505710078116314430308352*c_1001_4^28 - 60529295355680295319224868763243551932874573374813259952223410269/2\ 9197926413436281396953953794939616919550184550571007811631443030835\ 2*c_1001_4^27 + 393023384626457485054673713938692705874872007615877\ 625597828829029/291979264134362813969539537949396169195501845505710\ 078116314430308352*c_1001_4^26 - 2385550581471405234813005512067941\ 785189881508673166069149137515047/291979264134362813969539537949396\ 169195501845505710078116314430308352*c_1001_4^25 + 6738048648960967182677278482420149105969999103398745305787914656743\ /145989632067181406984769768974698084597750922752855039058157215154\ 176*c_1001_4^24 - 8262442554000563176274926534670152873793836792739\ 512838092583169291/364974080167953517461924422436745211494377306882\ 13759764539303788544*c_1001_4^23 + 6728135233506636636696078333095737012027446638738076809168079271065\ 1/72994816033590703492384884487349042298875461376427519529078607577\ 088*c_1001_4^22 - 1121996199473663020261860534261049548224760178653\ 45034159808945198709/3649740801679535174619244224367452114943773068\ 8213759764539303788544*c_1001_4^21 + 1229407316216533406048275577335413369626168831206874412270325360411\ 531/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^20 - 5595790096795225429546642927434301558719168431\ 057015575735265575705777/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^19 + 2701591482534955527155137565914433238693018062168666526775791414714\ 537/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^18 - 18290943166445108804965498609362116637699421166\ 855849381773678678376489/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^17 + 2805103466021751213060210453433035304109132541622554430433246321401\ 4865/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^16 - 488993863100937008160971596311636059473082157\ 9283326092182718286971981/36497408016795351746192442243674521149437\ 730688213759764539303788544*c_1001_4^15 + 4698736550795551485453746828640738989156480022501411218033646076327\ 6959/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^14 - 215490087257368688846406973359778512220865248\ 78793235328712133318122963/1459896320671814069847697689746980845977\ 50922752855039058157215154176*c_1001_4^13 + 2278376015558038041520317720052704530541378778648877482350848515736\ 1753/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^12 + 458574180055416809482896644632653598424955057\ 0589881632212511857214721/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^11 - 2192641121539862627341553192885183240881025898746617589472741670439\ 0587/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^10 + 242410201936003926765228209505086166512103789\ 88678710525659664495493815/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^9 - 2694058420248303513621286098974809241323559235721818293277621413789\ 599/364974080167953517461924422436745211494377306882137597645393037\ 88544*c_1001_4^8 + 661931994787972028402205411940777584113125849501\ 857749501435543354431/912435200419883793654811056091863028735943267\ 2053439941134825947136*c_1001_4^7 - 1022557477165265608870625708719674148908907171645071660305748572306\ 3529/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^6 + 4294336048521422152555347967585038965961603945\ 663866140979113512741467/729948160335907034923848844873490422988754\ 61376427519529078607577088*c_1001_4^5 - 3902867812091831637722232960593263339739220903275273986882237313145\ 093/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^4 + 175290943934570878385555493020336358146930252573\ 30060667969198967981805/2919792641343628139695395379493961691955018\ 45505710078116314430308352*c_1001_4^3 - 8442824492698627847334595059608005884155171184077898297803536306637\ 551/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^2 + 10836239102677112069878054514745285804523810784\ 386358949609360524727897/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4 - 4101210659013866861849158659408471546312745941765943380861266339493\ 879/291979264134362813969539537949396169195501845505710078116314430\ 308352, c_0011_6 + 139155926898910245717087978130236029284637888592814966583061\ 279/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^30 - 2197539104905565805299444861364753351500275462\ 6857226662339467/22810880010497094841370276402296575718398581680133\ 59985283706486784*c_1001_4^29 + 27336113470667229023569013871164956\ 531069472299470171045356974003/291979264134362813969539537949396169\ 195501845505710078116314430308352*c_1001_4^28 - 188149551628466022132728861986103548824899158998040997501486299833/\ 2919792641343628139695395379493961691955018455057100781163144303083\ 52*c_1001_4^27 + 11646558674210396949541783932408921339056488334371\ 59907398319286871/2919792641343628139695395379493961691955018455057\ 10078116314430308352*c_1001_4^26 - 6942876978561699870715442809071123586194854010396987388251420693039\ /291979264134362813969539537949396169195501845505710078116314430308\ 352*c_1001_4^25 + 4623584489226646465648407054276291107862676767835\ 396075664291157617/364974080167953517461924422436745211494377306882\ 13759764539303788544*c_1001_4^24 - 8206495950341159720924638319551890116197550053505875785629817519153\ 5/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4^23 + 295890114178689083779674148579690154579961271521\ 260844843183669645137/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^22 - 8666357306884931432365393177030154949516873522633148904077978299856\ 87/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^21 + 10417806041645971644795217649690297462269543873\ 86469346817022912082471/7299481603359070349238488448734904229887546\ 1376427519529078607577088*c_1001_4^20 - 8390131284196680697690868705211560234041690443153185252264362356071\ 259/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^19 + 3654304358136233773709455375815903935587924914\ 653311208693433178675357/729948160335907034923848844873490422988754\ 61376427519529078607577088*c_1001_4^18 - 2292420691918633725700533418839024165564126188918541058509874697826\ 4945/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^17 + 329222789355897368245499064130881962224688481\ 53343783546622494108320767/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^16 - 1037749100543921743431707947906507197847759476533583512695582671589\ 4013/72994816033590703492384884487349042298875461376427519529078607\ 577088*c_1001_4^15 + 4110795542826517950678878370167063957349329225\ 3880034339835716083277411/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^14 - 6343513078635415333543056191280337666258112446695962208166172611209\ 569/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^13 + 26687281040816740304996767774136557977427791433\ 9556598661165242828067/29197926413436281396953953794939616919550184\ 5505710078116314430308352*c_1001_4^12 + 1791135705617207113060536351626524984349553960789247180419748885966\ 9505/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^11 - 216125805081760844224205276870222018577215593\ 17904055794154202021176921/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^10 + 1931587846469155768784830302293215939585332700851020894610404375270\ 1375/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^9 - 9547449292748392894153348192025394997649741560\ 698159811098262914945361/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^8 + 9403325360588800109925488054168115161224042578301631438203038385124\ 985/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^7 - 39354695371129893027648648921949434598713539721\ 42670450680791535804821/7299481603359070349238488448734904229887546\ 1376427519529078607577088*c_1001_4^6 + 6871785350581893326793942522248003922639746116074835091560496848263\ 465/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^5 - 78141530678293603213254499703470699319719121706\ 94095144782364103216801/1459896320671814069847697689746980845977509\ 22752855039058157215154176*c_1001_4^4 + 1597349666125096184839988803179019100977649325918818435131349392424\ 2675/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^3 - 5361523990965845679146086537188316938151362534\ 348001214510947063588385/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^2 + 4499426453828679921694218420884709917540560262557204264839173983082\ 433/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4 - 2919579848692938071288189502135464809509772090967\ 97207892134257668373/2919792641343628139695395379493961691955018455\ 05710078116314430308352, c_0101_0 + 237169638388700440249252579527498912529300459075867652836594\ 613/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^30 - 1252531903496470834250088930376642741839137845\ 761872829442659909/729948160335907034923848844873490422988754613764\ 27519529078607577088*c_1001_4^29 + 50934965602437435004853164136946299151056479979591269062551156901/2\ 9197926413436281396953953794939616919550184550571007811631443030835\ 2*c_1001_4^28 - 362603955883146331324538109777266378938396738276567\ 247737908414907/291979264134362813969539537949396169195501845505710\ 078116314430308352*c_1001_4^27 + 2271662004189807023394242103969773\ 939530934011310266752884464855073/291979264134362813969539537949396\ 169195501845505710078116314430308352*c_1001_4^26 - 1360200601807956942523190844870574912785960647240672706327275749658\ 9/29197926413436281396953953794939616919550184550571007811631443030\ 8352*c_1001_4^25 + 183940616698647282752092996897554097420973820835\ 41595921873321409517/7299481603359070349238488448734904229887546137\ 6427519529078607577088*c_1001_4^24 - 1678490903894819497416758654706642107434585334743310245884403798733\ 87/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^23 + 62771148069195469785803506899204143056999879313\ 3557267074414336295005/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^22 - 1918012773945188214386066888745789638234235700779599900680727611819\ 307/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^21 + 1206903132249370779721310663706731198597945796\ 974231071155735710913715/364974080167953517461924422436745211494377\ 30688213759764539303788544*c_1001_4^20 - 2035166501624873762907866478482471024414731514337102659092898856265\ 4189/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^19 + 922750812991275564447925670724009325022729203\ 1702072022303211097570253/72994816033590703492384884487349042298875\ 461376427519529078607577088*c_1001_4^18 - 5966653550438876150580974589941607086738613746167300557715707927224\ 9955/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^17 + 880406511491133407070418839677279020239923419\ 38674314923638969672354233/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^16 - 2903266882127511966912800439702935115580553957056644045822176479061\ 8309/72994816033590703492384884487349042298875461376427519529078607\ 577088*c_1001_4^15 + 1262255348124707446447269127828140293103985743\ 36592924399903046978166409/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^14 - 1205678864334328144992187017405159273150269618672658241382557968098\ 3587/36497408016795351746192442243674521149437730688213759764539303\ 788544*c_1001_4^13 + 2926750520041098603332001470562725943123038475\ 0728101225230780792179837/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^12 + 3629967173728361815815716534274733019725595746179407967598866923608\ 3739/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^11 - 639841424900881002990316887714976103908239553\ 58281803209715415761824479/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^10 + 6169385151026846300916029275843484986373927545688820923521578144694\ 6397/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^9 - 2885739075435873149776352836829687594502100260\ 2023131386272695812853609/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^8 + 2851802214219512253233405996476657662150173999565110317494284766904\ 2085/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^7 - 6310051609492574087096083698201091423522556092\ 863888412264212466531073/364974080167953517461924422436745211494377\ 30688213759764539303788544*c_1001_4^6 + 2146642982152142775179327882087039600965285229021752715303610080153\ 6721/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^5 - 2235216898636158212007562444059983896842544871\ 6447830116830544140935733/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^4 + 4827194240907309218571878851922807090922231974923844947690338520572\ 6765/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^3 - 1935449325050234698512660550989022888323654817\ 5627354463384878207245747/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^2 + 2021340699714038377645683480906729935634256529259403100963266803846\ 9107/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4 - 490539410041069629861703695013566980331440332608\ 8015494501893572070635/29197926413436281396953953794939616919550184\ 5505710078116314430308352, c_0101_10 - 10317535176601761414838444575200052938349686706064173223300\ 969/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^30 + 55990770075312487585995519916386123356402614678\ 9818582774686481/14598963206718140698476976897469808459775092275285\ 5039058157215154176*c_1001_4^29 - 689310645062009327240221681468344\ 4550529153483397260551352556711/14598963206718140698476976897469808\ 4597750922752855039058157215154176*c_1001_4^28 + 13765944113345024006252367169166915966697015293618897640939824117/3\ 6497408016795351746192442243674521149437730688213759764539303788544\ *c_1001_4^27 - 3577248547466986415120713090984473690059083517293546\ 37336329059151/1459896320671814069847697689746980845977509227528550\ 39058157215154176*c_1001_4^26 + 54298085927912516028534450721186067\ 9773967305051665257920234999359/36497408016795351746192442243674521\ 149437730688213759764539303788544*c_1001_4^25 - 1228720724691447452234161442100851114300118593504070645305874017564\ 3/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4^24 + 603839559216905983252012585075770392688080594561\ 13058978345088501067/1459896320671814069847697689746980845977509227\ 52855039058157215154176*c_1001_4^23 - 2462578297561004178839806182187938574081114074619503291583364833624\ 97/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^22 + 82224242021308637263072301006267300817354451227\ 2618141701198565236955/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^21 - 2253656725048559471162784345530159329307594669861199628514452597336\ 085/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^20 + 5129243898075772342712223403421801294804924177\ 120591762517000309080263/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^19 - 4951362019300041505923384196829474601533383501735039621431560365168\ 391/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^18 + 52361938749671934263952007983320356993103773740\ 3385883526384903603709/45621760020994189682740552804593151436797163\ 36026719970567412973568*c_1001_4^17 - 2569291256855861216633484773995110117896813157671791881724841477552\ 2507/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^16 + 179135060250309522562399063393800582397327372\ 42651792566780703522435019/7299481603359070349238488448734904229887\ 5461376427519529078607577088*c_1001_4^15 - 1075034804942075517518331855857109064993656933431844750851222921852\ 1755/36497408016795351746192442243674521149437730688213759764539303\ 788544*c_1001_4^14 + 3935043118441057974440993578832969722071631398\ 4702253191108066613013007/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^13 - 2065379797243234758774807583572408057619475506899843989714472526390\ 9137/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^12 - 220087022075878919901515277047439336482379152\ 0332223355098677642076531/72994816033590703492384884487349042298875\ 461376427519529078607577088*c_1001_4^11 + 2022588206095972967537857287623726478886414787961619542170412419188\ 5981/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^10 - 559856427150146471767371667421625392500981999\ 3973659075920465784515185/36497408016795351746192442243674521149437\ 730688213759764539303788544*c_1001_4^9 + 1992027059216910367574268994260318417271337100162246622694064105400\ 6703/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^8 - 1926891704690279880699510894406219267875509826\ 7032110267433795772077697/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^7 + 1838826785428155896213317221315195955020287650982020966419322484340\ 3423/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^6 - 1564983357203587330579521857846789394868180144\ 2277745885746854713895115/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^5 + 1441289330566931792176712893192196056384493660012856288216643324076\ 8157/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^4 - 1603239717544502716500302961473578947664194529\ 1307884737820765188487701/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^3 + 4765879279758328562951571240601967412722676680740266039671705021684\ 17/4562176002099418968274055280459315143679716336026719970567412973\ 568*c_1001_4^2 - 11850414898121750921527983568890594606054240427396\ 00286972461098270401/1824870400839767587309622112183726057471886534\ 4106879882269651894272*c_1001_4 + 364493274743623519046377498913204\ 7912890025329428816580231007998133095/14598963206718140698476976897\ 4698084597750922752855039058157215154176, c_0101_11 + 66483657664943005553756392772319160513365104991702783024385\ 859/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^30 - 1402742941893250859579872760219414666389225924\ 664132266675758677/145989632067181406984769768974698084597750922752\ 855039058157215154176*c_1001_4^29 + 7122385858587783898829927383335326172927348013636999614744905451/72\ 994816033590703492384884487349042298875461376427519529078607577088*\ c_1001_4^28 - 10133839593893013128636257545002402525172903431034708\ 4774480122659/14598963206718140698476976897469808459775092275285503\ 9058157215154176*c_1001_4^27 + 396755734757108324251965728916008577\ 17331332068719577777655170617/9124352004198837936548110560918630287\ 359432672053439941134825947136*c_1001_4^26 - 3801014185099897147981612371430110883301531131136947457865884173591\ /145989632067181406984769768974698084597750922752855039058157215154\ 176*c_1001_4^25 + 2055433948780262547058633127945621163366235660841\ 9658716717154218209/14598963206718140698476976897469808459775092275\ 2855039058157215154176*c_1001_4^24 - 9373621638480413736521963881295990431687461796810239814232133160365\ 7/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4^23 + 350388413194658099551153950984384738469459856214\ 792682981025146029429/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^22 - 1070290885861265130462425355156593021110960159306852869683408927578\ 405/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^21 + 2693599858304179847571188909598580511353932978\ 107161348573902890258979/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^20 - 7097989344519827772746546616492068414441534282832625250498681197393\ 37/1824870400839767587309622112183726057471886534410687988226965189\ 4272*c_1001_4^19 + 643849840730503977588191782567511123399178112287\ 596716409712574906895/912435200419883793654811056091863028735943267\ 2053439941134825947136*c_1001_4^18 - 1665793543269226786197413807017858526362074056325382141398753921329\ 9573/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^17 + 122910461169913004482227391781988867729998730\ 35747934233895019716432651/7299481603359070349238488448734904229887\ 5461376427519529078607577088*c_1001_4^16 - 1621392049866080256961243373216909851066005003509578504312540706699\ 7277/72994816033590703492384884487349042298875461376427519529078607\ 577088*c_1001_4^15 + 3527165561110059368288305837698910575815596859\ 7244743474757973209550373/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^14 - 2702200106722401469200638709550515898804395913014170898116656614864\ 0303/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^13 + 207584193148220805427944545819780186024988023\ 4452766503255560473578265/36497408016795351746192442243674521149437\ 730688213759764539303788544*c_1001_4^12 + 1006655082642031823225069424154241261193221487428681000651809761423\ 6389/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^11 - 111700461442054509281260356916894311930212492\ 0813297174251900957779927/91243520041988379365481105609186302873594\ 32672053439941134825947136*c_1001_4^10 + 1717504910481955777894722046953182991131551114607906680458877875101\ 3807/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^9 - 1603769707751628348298889699090214681260083278\ 0448408989398704058748843/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^8 + 1603489457477594851930542424167275121907193075616418458273370729742\ 1763/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^7 - 1436227167101391459115279701547379776120298648\ 0497606498568081828590285/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^6 + 1220640737088574673506334703455529846986299968490418707954186334266\ 2553/14598963206718140698476976897469808459775092275285503905815721\ 5154176*c_1001_4^5 - 1256816464260184470587200212016150022250113105\ 5081015689162513288653821/14598963206718140698476976897469808459775\ 0922752855039058157215154176*c_1001_4^4 + 6743742567054615339052141921142164324505923321520944898041670081652\ 707/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^3 - 338861966307157247691528646222094232981415099661\ 709094841710325910697/456217600209941896827405528045931514367971633\ 6026719970567412973568*c_1001_4^2 + 5663269688632715752036705271839343103022103793614590650481937227363\ 565/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4 - 3447035152512829371262115988905977098689829753573\ 48375722746663527019/3649740801679535174619244224367452114943773068\ 8213759764539303788544, c_0101_12 - 71674904330349358327088080818532307991517171420066972633151\ 087/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^30 + 7007826682453954986773657295821513965135240639\ 28802941184586649/1459896320671814069847697689746980845977509227528\ 55039058157215154176*c_1001_4^29 - 13120742057299020085861750232917626115169010953141196250414960921/2\ 9197926413436281396953953794939616919550184550571007811631443030835\ 2*c_1001_4^28 + 875193222719633210098213794665506729469695183495526\ 81425734390781/2919792641343628139695395379493961691955018455057100\ 78116314430308352*c_1001_4^27 - 53475830076570791236857386324761933\ 6913741855839488799060182744369/29197926413436281396953953794939616\ 9195501845505710078116314430308352*c_1001_4^26 + 3171601784918035113626508796231971484334326331677157841032503036671\ /291979264134362813969539537949396169195501845505710078116314430308\ 352*c_1001_4^25 - 8319396665969740100692174373458259924848901924891\ 742201991941944689/145989632067181406984769768974698084597750922752\ 855039058157215154176*c_1001_4^24 + 1791139936204525298167501610342581201483135007214714207623513764026\ 1/72994816033590703492384884487349042298875461376427519529078607577\ 088*c_1001_4^23 - 3090422063365940295321676164221075507866755402612\ 2790828399342476451/36497408016795351746192442243674521149437730688\ 213759764539303788544*c_1001_4^22 + 1708159225711109678955040416487084175012997090800371234190269015468\ 69/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^21 - 762934756539169875284754966477482425932714000782\ 188939122066723317473/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^20 + 2810875467990298071918158222593276162020343712417739724016085356968\ 493/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^19 - 1112138568223560039989273586396039166811002439\ 532406744645319597162345/729948160335907034923848844873490422988754\ 61376427519529078607577088*c_1001_4^18 + 6382821543569894503301096471242302648912208222364711181637559361933\ 217/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^17 - 8385911600737850843685504340564119197939545611\ 543706146918649900099013/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^16 + 2809561491294322259473799509829333966278958772557708075572324477602\ 07/9124352004198837936548110560918630287359432672053439941134825947\ 136*c_1001_4^15 - 5356901318593788777496842464426791188769529895724\ 714199197540444583023/291979264134362813969539537949396169195501845\ 505710078116314430308352*c_1001_4^14 - 1510756246990177826926271529578376469322384326494168889159045514936\ 487/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^13 + 1043379647148405017861969520917472352828697118\ 7467455734405150996054891/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^12 - 1017161797185918278343789873715019719232098807285189489039659991112\ 7689/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^11 + 446053722832493857159188637629779186300627539\ 7285318192606564686782671/29197926413436281396953953794939616919550\ 1845505710078116314430308352*c_1001_4^10 - 1290810162217379488848987516890640587420337325284538478166695973729\ 903/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^9 + 51983834197857039970620860102757969245552138564\ 4969282814560292968703/72994816033590703492384884487349042298875461\ 376427519529078607577088*c_1001_4^8 - 5728667618645906655771021110790482687649744977507353502220249990713\ 97/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^7 + 4570507171604809395339323783028974972938620096836\ 66425223843530438259/1459896320671814069847697689746980845977509227\ 52855039058157215154176*c_1001_4^6 - 1184808631162670115513236236691783958109813552602055397697837058609\ 03/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^5 + 8552778749069533089281063567789099831161296691667\ 1665416027729189869/91243520041988379365481105609186302873594326720\ 53439941134825947136*c_1001_4^4 - 229419824481077149652933062365436\ 3845464099877210823775906774018210817/29197926413436281396953953794\ 9396169195501845505710078116314430308352*c_1001_4^3 - 3643707623460560001906719165661321272123128123950052618569582474243\ 73/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^2 + 151322715319545678478638395868167335346426801223\ 7181372923611067051343/29197926413436281396953953794939616919550184\ 5505710078116314430308352*c_1001_4 - 1845586356072998389311900743223063862642731904896880787399450413651\ 333/291979264134362813969539537949396169195501845505710078116314430\ 308352, c_0101_6 + 279760570726939576318888707457455052073432382620483528059487\ 03/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^30 - 54298692234476827998931491764531151541149990306\ 8718042273956639/14598963206718140698476976897469808459775092275285\ 5039058157215154176*c_1001_4^29 + 252162780332397433361813359854584\ 7119234876932459290264217290703/72994816033590703492384884487349042\ 298875461376427519529078607577088*c_1001_4^28 - 33448868399713903488702577581290345866850827699291467133636926403/1\ 4598963206718140698476976897469808459775092275285503905815721515417\ 6*c_1001_4^27 + 102041929314172933069939576504424498794661934299815\ 647203211035873/729948160335907034923848844873490422988754613764275\ 19529078607577088*c_1001_4^26 - 12097519372967443524517894764686647\ 95630701559516050160094722457501/1459896320671814069847697689746980\ 84597750922752855039058157215154176*c_1001_4^25 + 6327468439969639442143415828753929411563399622281888176008873411757\ /145989632067181406984769768974698084597750922752855039058157215154\ 176*c_1001_4^24 - 2709799329489617815801707695367157350155449336895\ 5001570762832401071/14598963206718140698476976897469808459775092275\ 2855039058157215154176*c_1001_4^23 + 9284638824979860869433333103624870951125095369148469691721896398648\ 5/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4^22 - 254439070471372347990493576105937567859565071410\ 256140204306084167503/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^21 + 5628634700471297174939437851952150301311588928950947159529521090066\ 07/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^20 - 51343064951353810150867072278163329840752498146\ 9391207795652566936755/72994816033590703492384884487349042298875461\ 376427519529078607577088*c_1001_4^19 + 8059369614113126481093280796988079977540986341107119567764606927206\ 27/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^18 - 230060576790646781818973683768284539302059866145\ 7757225755950988935855/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^17 + 1502795697739672781703990919706386269536689396627028309630856393874\ 963/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^16 - 15842651477714579547370301141979695965705449655\ 57723039882667318255155/7299481603359070349238488448734904229887546\ 1376427519529078607577088*c_1001_4^15 + 1757346076342848695650622391682919226991666221340796997122279251136\ 337/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^14 + 1309326040681597369214747068492578333290254699\ 476350296739658903318643/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^13 - 9588901710988286992030834921382998195882308113880648469882999835253\ 19/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^12 + 348885586436991790884398818360711005046493002462\ 7175755582774491371833/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^11 - 6799148381305583975751122752039946475366379677066111286037498721278\ 33/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^10 + 398515854719023404122325702206227544414835150847\ 307009129880367803381/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^9 - 8445887149378128883286267294112203482886310836187892855956554445851\ 19/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^8 + 856362296101517446983167990420276104155840792679\ 381571460362880896853/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^7 - 2369344043203570420263786705776353895036157773536150459745176200498\ 13/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^6 + 318852523295985174221378332739926445567256846593\ 718563724042328778123/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^5 - 1045840435286181064812989605753619933133844297601526547659864577282\ 993/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^4 + 51047037753750893890483027483697444333811445926\ 474724947234436568795/912435200419883793654811056091863028735943267\ 2053439941134825947136*c_1001_4^3 + 1666994788796280601893544950180015008191169874239251488969812836538\ 85/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^2 - 8354476004140489663888295329459154970984931061034\ 92604904248420503353/1459896320671814069847697689746980845977509227\ 52855039058157215154176*c_1001_4 + 1618409823865188569848609341718329770478291059181371953781600292610\ 51/3649740801679535174619244224367452114943773068821375976453930378\ 8544, c_0101_9 - 839996930998470940902913739462653576947523405876121900230496\ 51/2919792641343628139695395379493961691955018455057100781163144303\ 08352*c_1001_4^30 + 85761347563452723800540139437862114514023859882\ 4665521111971571/14598963206718140698476976897469808459775092275285\ 5039058157215154176*c_1001_4^29 - 167974025366008226465148127480700\ 47417589402403604656383468130669/2919792641343628139695395379493961\ 69195501845505710078116314430308352*c_1001_4^28 + 115929522516843522505145517815413861738123180025308333495850828113/\ 2919792641343628139695395379493961691955018455057100781163144303083\ 52*c_1001_4^27 - 71662088212744649402767093059419247522812279873009\ 2867589902826849/29197926413436281396953953794939616919550184550571\ 0078116314430308352*c_1001_4^26 + 426998791233073265887758860777147\ 1901284316445474924691843032056559/29197926413436281396953953794939\ 6169195501845505710078116314430308352*c_1001_4^25 - 1139355089810749119935099167778941516844106073700904674637282547833\ 7/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4^24 + 126593940978980503569482206421228618244944530648\ 58525093130411497193/3649740801679535174619244224367452114943773068\ 8213759764539303788544*c_1001_4^23 - 4562635574410243537780969914004378148887208436074371329326692395637\ 9/36497408016795351746192442243674521149437730688213759764539303788\ 544*c_1001_4^22 + 8321416586474846408017794244405424576702380222265\ 881473764860079181/228108800104970948413702764022965757183985816801\ 3359985283706486784*c_1001_4^21 - 126988263154522253568438626859182\ 4625270516125391534416404109841914417/14598963206718140698476976897\ 4698084597750922752855039058157215154176*c_1001_4^20 + 5043865214129738837231267451547280099112149174816346562581542037530\ 517/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^19 - 1078496900682363602535209976428855459487366797\ 942435634459321826041513/364974080167953517461924422436745211494377\ 30688213759764539303788544*c_1001_4^18 + 1328038034778297668221923850834575866824457001439087365007745578603\ 7153/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^17 - 187749520059750842415435145853886842751302885\ 46416110817640815570186377/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^16 + 2898280450087418200174845851840372639698779929502007764904814177143\ 277/364974080167953517461924422436745211494377306882137597645393037\ 88544*c_1001_4^15 - 21699463891019706249117456947177206563763931204\ 580742567844592808075283/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^14 + 5310563910510159271000873659338626893836228928795171680129982629453\ 839/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^13 + 4994738054004823525118126476382446318044147986\ 360285874657472005748983/291979264134362813969539537949396169195501\ 845505710078116314430308352*c_1001_4^12 - 1359261033132195566019122637974575983962433287298075542956844544190\ 2341/29197926413436281396953953794939616919550184550571007811631443\ 0308352*c_1001_4^11 + 119010352587627436898405226308352449941246893\ 01084213839693052235055991/2919792641343628139695395379493961691955\ 01845505710078116314430308352*c_1001_4^10 - 8877594391317236729250708498746040641571176579281268163021449093858\ 495/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^9 + 24844261730132615916076317815575427451273781164\ 59898791220857996461277/7299481603359070349238488448734904229887546\ 1376427519529078607577088*c_1001_4^8 - 6408126165234514629134426486481131157307138701946493507304573004425\ 41/1824870400839767587309622112183726057471886534410687988226965189\ 4272*c_1001_4^7 + 3744299110032631577331855061384546244788763299997\ 971368390728638552039/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^6 - 1601508812630255351164298321916152558432936224410133561415982887525\ 809/729948160335907034923848844873490422988754613764275195290786075\ 77088*c_1001_4^5 + 103158980169505530506363517401289149934668877689\ 1520816676302266276745/36497408016795351746192442243674521149437730\ 688213759764539303788544*c_1001_4^4 - 8199696552148299791031255741481272263125705208089236630529497633059\ 265/291979264134362813969539537949396169195501845505710078116314430\ 308352*c_1001_4^3 + 22515596884898351626730457633227033004973686629\ 72972127160773679366913/1459896320671814069847697689746980845977509\ 22752855039058157215154176*c_1001_4^2 - 8228144384951111967733905782127929368565759325906425075447163224247\ 21/2919792641343628139695395379493961691955018455057100781163144303\ 08352*c_1001_4 - 65453072297941482401180538025616762546654455555388\ 7896611709715859673/29197926413436281396953953794939616919550184550\ 5710078116314430308352, c_0110_6 + 196539733065464108573373381075582202486324712925829353951571\ 49/1459896320671814069847697689746980845977509227528550390581572151\ 54176*c_1001_4^30 - 19886333497874919894772666913770951347650942817\ 8826996725629535/72994816033590703492384884487349042298875461376427\ 519529078607577088*c_1001_4^29 + 3855155841745479905892853688308703\ 501435530767363668125857487873/145989632067181406984769768974698084\ 597750922752855039058157215154176*c_1001_4^28 - 26374464999194913534462525854112220839466982590711281233025888431/1\ 4598963206718140698476976897469808459775092275285503905815721515417\ 6*c_1001_4^27 + 162423876448083798819883714896699852567378220800970\ 604420552092487/145989632067181406984769768974698084597750922752855\ 039058157215154176*c_1001_4^26 - 9665451878137457040760176387924989\ 32120153607458276786456514704743/1459896320671814069847697689746980\ 84597750922752855039058157215154176*c_1001_4^25 + 321103459126504100347370472254864486393486950455661043048887768719/\ 9124352004198837936548110560918630287359432672053439941134825947136\ *c_1001_4^24 - 5663522308789236447848747820365518301603676477892526\ 670432170703367/364974080167953517461924422436745211494377306882137\ 59764539303788544*c_1001_4^23 + 40361725911262093560359977887964256\ 863618932161731397229237886694797/729948160335907034923848844873490\ 42298875461376427519529078607577088*c_1001_4^22 - 1450901193656600282586518114131830827211013798542523424768641755367\ 9/91243520041988379365481105609186302873594326720534399411348259471\ 36*c_1001_4^21 + 13595856940232466514971874751032537869995894187531\ 6423302735263519473/36497408016795351746192442243674521149437730688\ 213759764539303788544*c_1001_4^20 - 1058692920631535741703124118038746395469949909777840542363363582750\ 527/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^19 + 8877846344412459108822867340282281424308517621\ 06867320671809095612289/7299481603359070349238488448734904229887546\ 1376427519529078607577088*c_1001_4^18 - 2688791210362950868375226980021505749145414590927903858562549522392\ 673/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^17 + 3744414575810775652049907701843706485662004200\ 738114195097103755163669/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^16 - 1405332688982691703930559342276424428479582321151247504645884337995\ 61/4562176002099418968274055280459315143679716336026719970567412973\ 568*c_1001_4^15 + 3906562173253650481229685827836010433906846225608\ 781583351369222116065/145989632067181406984769768974698084597750922\ 752855039058157215154176*c_1001_4^14 - 6744183068935923901476227045393044385039950978492643328782137084113\ 71/7299481603359070349238488448734904229887546137642751952907860757\ 7088*c_1001_4^13 - 179298861575336225303414246971692748654377473728\ 3385509360202941440047/14598963206718140698476976897469808459775092\ 2752855039058157215154176*c_1001_4^12 + 3061631865782893323756557549565102933122120655577979424177539419175\ 923/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^11 - 2276502684886949026685737488563264086520321896\ 135647163430007455826621/145989632067181406984769768974698084597750\ 922752855039058157215154176*c_1001_4^10 + 1644407896633053301952156971602916215439311915708325347765385259959\ 175/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^9 - 95353464917026566667777080846761775815764292313\ 9059512107246571899359/72994816033590703492384884487349042298875461\ 376427519529078607577088*c_1001_4^8 + 4342334666983344035613974083812182257905073220684261734057642250458\ 31/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^7 - 1211606974084766916093682623256343103850754848739\ 94222630014139696629/1824870400839767587309622112183726057471886534\ 4106879882269651894272*c_1001_4^6 + 2176103987428427832032505323737616910933245883463268580515058643014\ 57/3649740801679535174619244224367452114943773068821375976453930378\ 8544*c_1001_4^5 - 7498745510016894589556634186921316936027450641616\ 17192440087558019299/7299481603359070349238488448734904229887546137\ 6427519529078607577088*c_1001_4^4 + 1535382309924638143072763155697509854729574069850247990723907011073\ 051/145989632067181406984769768974698084597750922752855039058157215\ 154176*c_1001_4^3 - 16613122493397571437845787345147584473747357747\ 0357447759838080075167/36497408016795351746192442243674521149437730\ 688213759764539303788544*c_1001_4^2 - 5556848568505507640812390909584807796069924226847927246740782773260\ 7/14598963206718140698476976897469808459775092275285503905815721515\ 4176*c_1001_4 + 248215837847543703096566255474009732496611323774094\ 361988906294773993/145989632067181406984769768974698084597750922752\ 855039058157215154176, c_1001_4^31 - 21*c_1001_4^30 + 213*c_1001_4^29 - 1520*c_1001_4^28 + 9564*c_1001_4^27 - 57382*c_1001_4^26 + 310669*c_1001_4^25 - 1422050*c_1001_4^24 + 5359248*c_1001_4^23 - 16597296*c_1001_4^22 + 42629302*c_1001_4^21 - 92346961*c_1001_4^20 + 173012077*c_1001_4^19 - 288919355*c_1001_4^18 + 438774076*c_1001_4^17 - 598352585*c_1001_4^16 + 693776457*c_1001_4^15 - 621730893*c_1001_4^14 + 351564481*c_1001_4^13 - 527914*c_1001_4^12 - 257548162*c_1001_4^11 + 356765212*c_1001_4^10 - 359392899*c_1001_4^9 + 339239244*c_1001_4^8 - 312268682*c_1001_4^7 + 280844290*c_1001_4^6 - 268457436*c_1001_4^5 + 269855867*c_1001_4^4 - 242863511*c_1001_4^3 + 172718805*c_1001_4^2 - 80356022*c_1001_4 + 24371791 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 27.670 Total time: 27.879 seconds, Total memory usage: 87.62MB