Magma V2.19-8 Tue Aug 20 2013 23:46:19 on localhost [Seed = 408842771] Type ? for help. Type -D to quit. Loading file "K14n16147__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16147 geometric_solution 10.41853250 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 2103 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 -1 0 0 1 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.106435529134 1.042077130113 0 0 2 4 0132 2103 2310 0132 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 -1 1 1 0 20 -21 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.106435529134 1.042077130113 3 1 4 0 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 -20 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.287467281512 1.862326198742 2 5 0 6 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 0 1 -1 0 0 -1 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.582310453021 0.675929414424 2 7 1 8 2310 0132 0132 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 -1 1 -21 0 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582310453021 0.675929414424 8 3 9 10 3120 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 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.427484803271 0.220251768827 11 9 3 7 0132 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 -1 1 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.352983368978 0.636515061641 6 4 9 10 3201 0132 1023 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 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.352983368978 0.636515061641 11 9 4 5 3201 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427484803271 0.220251768827 8 6 7 5 1023 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193103960120 1.992605714440 11 7 5 11 1230 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.151449830833 0.952423200567 6 10 10 8 0132 3012 1230 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 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.151449830833 0.952423200567 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : d['c_0101_9'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0101_9'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_2'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_1001_5'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0011_2']), 'c_1100_8' : d['c_0011_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_2']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_2']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_9, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 5328007661456727367683630010797180815643713794200970577279378817586\ 721/616410648645960144189476191849831161317074079096906870816442014\ 40720*c_1001_5^24 + 96405916665861583903738630559803624633295256930\ 08200689813354337684013/1232821297291920288378952383699662322634148\ 1581938137416328840288144*c_1001_5^23 - 5199529876333838419002173208051029773543863759114238723309276705819\ 433/256837770269150060078948413270762983882114199623711196173517506\ 0030*c_1001_5^22 - 199657070696728164364189119764577129734051147831\ 460364844631622425542059/308205324322980072094738095924915580658537\ 03954845343540822100720360*c_1001_5^21 + 5822554975729506552721714013717934467099100054249483490213829706286\ 58473/1027351081076600240315793653083051935528456798494844784694070\ 0240120*c_1001_5^20 - 122985809019126367325696678876539332030814550\ 2360104139762629434810099551/77051331080745018023684523981228895164\ 63425988711335885205525180090*c_1001_5^19 + 1213885184322347847885274281017856285916280679437676204644080107497\ 8936841/61641064864596014418947619184983116131707407909690687081644\ 201440720*c_1001_5^18 + 1714429186873032284642036685417192723722528\ 61331718406743630600599212097/6164106486459601441894761918498311613\ 1707407909690687081644201440720*c_1001_5^17 - 2415379987199927428314189244417683407972974690889855687713443167114\ 325929/616410648645960144189476191849831161317074079096906870816442\ 01440720*c_1001_5^16 - 19688179763702710381774864658914339040440538\ 602085046805567570660847240819/308205324322980072094738095924915580\ 65853703954845343540822100720360*c_1001_5^15 + 1159149878774153177322431969360326843876577355482121296583417423114\ 6787783/15410266216149003604736904796245779032926851977422671770411\ 050360180*c_1001_5^14 + 8816913424343968890272943052785253995782159\ 831680733016379793672859874237/205470216215320048063158730616610387\ 10569135969896895693881400480240*c_1001_5^13 - 4602146894772934018596751615452278086918616604495940981590285179217\ 8328221/15410266216149003604736904796245779032926851977422671770411\ 050360180*c_1001_5^12 + 1074273576692165048696133956711565072758690\ 559906819204285180714566638759/190250200199370414873295120941305913\ 986751258980526811980383337780*c_1001_5^11 - 5867593598526664229453846929996764727395952423359072764143026377424\ 3409771/12328212972919202883789523836996623226341481581938137416328\ 840288144*c_1001_5^10 + 6916496160994273105842296847324246519669717\ 8521759023643994510338999627081/61641064864596014418947619184983116\ 131707407909690687081644201440720*c_1001_5^9 - 1284784549759418021530486201254120649896653180591157676109246943565\ 0331/61641064864596014418947619184983116131707407909690687081644201\ 440720*c_1001_5^8 - 65102619762014124555733219289977922258974195297\ 338694144171931082337469957/308205324322980072094738095924915580658\ 53703954845343540822100720360*c_1001_5^7 + 3230288300321726638371156266256849628329930981674532809030692466395\ 920097/616410648645960144189476191849831161317074079096906870816442\ 0144072*c_1001_5^6 + 9660488080342441981276276753005301527158975409\ 337267385356845555164722207/616410648645960144189476191849831161317\ 07407909690687081644201440720*c_1001_5^5 + 5848760026879799437818381772440144501735617569172578311053177377974\ 011257/616410648645960144189476191849831161317074079096906870816442\ 01440720*c_1001_5^4 + 112012476636551416513754351779714089925544687\ 5986458856775550184905234501/15410266216149003604736904796245779032\ 926851977422671770411050360180*c_1001_5^3 - 1555845064122890037185951563087456618876557785244517038560751313901\ 279503/308205324322980072094738095924915580658537039548453435408221\ 00720360*c_1001_5^2 + 212784209836984106550121333786794458049660198\ 86958328988981710611547738/1284188851345750300394742066353814919410\ 570998118555980867587530015*c_1001_5 + 3246149295085552886236127495710328526602551179582291374106836578452\ 86663/6164106486459601441894761918498311613170740790969068708164420\ 1440720, c_0011_0 - 1, c_0011_10 + 21034037063854755046069955814752314040468346180318564309781\ 7/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^24 - 95930202633841452722729880868024885822061346234185129812\ 0199/2199678577862994737811251253801663937874335287091303179331522*\ c_1001_5^23 + 25346701232868150006322384388714621558965629115825489\ 04947215/2199678577862994737811251253801663937874335287091303179331\ 522*c_1001_5^22 + 1538361329471678386071314413474716129408713091294\ 0363003512175/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^21 - 13904491263457094138360312149015566613066868\ 2692865236824273985/43993571557259894756225025076033278757486705741\ 82606358663044*c_1001_5^20 + 19937700402376485061651009913643855051\ 2915968751513809290736075/21996785778629947378112512538016639378743\ 35287091303179331522*c_1001_5^19 - 254574651427922536671711854778112827423904486779257790912994313/219\ 9678577862994737811251253801663937874335287091303179331522*c_1001_5\ ^18 + 3235833430138060239713605068565034435257101196412413969025346\ 3/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^17 + 90371365645933294773943165522040548985093245093128866939\ 254641/439935715572598947562250250760332787574867057418260635866304\ 4*c_1001_5^16 + 154976896484814134638604430399546705402018620648027\ 6193032905857/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^15 - 19446970366781939996817440088798877123187917\ 87228107234387281549/4399357155725989475622502507603327875748670574\ 182606358663044*c_1001_5^14 - 8977968538754277049031345648799787760\ 23667472117547737201618321/4399357155725989475622502507603327875748\ 670574182606358663044*c_1001_5^13 + 3661520839482441493210273617759250228342960977330412486782120423/21\ 99678577862994737811251253801663937874335287091303179331522*c_1001_\ 5^12 - 714010372927837509151637962242377170993365937129566458668494\ 8181/2199678577862994737811251253801663937874335287091303179331522*\ c_1001_5^11 + 12660712967047026717537851168097354176090436139359396\ 202638038583/439935715572598947562250250760332787574867057418260635\ 8663044*c_1001_5^10 - 932423148808052258336153002586387248922695401\ 715384739837303328/109983928893149736890562562690083196893716764354\ 5651589665761*c_1001_5^9 + 3588168722608148707628467417971173172287\ 14656544663944563692175/4399357155725989475622502507603327875748670\ 574182606358663044*c_1001_5^8 + 25346515580673447534759550249246108\ 02936017265467440891766744797/2199678577862994737811251253801663937\ 874335287091303179331522*c_1001_5^7 - 413515400967031811480252484609976829760193574097206080262092380/109\ 9839288931497368905625626900831968937167643545651589665761*c_1001_5\ ^6 - 24694919440574653617907135625587746372145723976731806198556344\ 5/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^5 - 126272698006811439885246981706836126492879340062537517140\ 432263/219967857786299473781125125380166393787433528709130317933152\ 2*c_1001_5^4 - 8420124420980934639593463518590481041605675694261047\ 2026064179/21996785778629947378112512538016639378743352870913031793\ 31522*c_1001_5^3 + 129589887030310415265100107679368913658644616307\ 570454694054669/439935715572598947562250250760332787574867057418260\ 6358663044*c_1001_5^2 - 5700740715752655698463957632379424507913017\ 3260597132437891871/43993571557259894756225025076033278757486705741\ 82606358663044*c_1001_5 - 92115588016763613609455916962118768421284\ 62236034608943336387/4399357155725989475622502507603327875748670574\ 182606358663044, c_0011_11 - 21034037063854755046069955814752314040468346180318564309781\ 7/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^24 + 95930202633841452722729880868024885822061346234185129812\ 0199/2199678577862994737811251253801663937874335287091303179331522*\ c_1001_5^23 - 25346701232868150006322384388714621558965629115825489\ 04947215/2199678577862994737811251253801663937874335287091303179331\ 522*c_1001_5^22 - 1538361329471678386071314413474716129408713091294\ 0363003512175/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^21 + 13904491263457094138360312149015566613066868\ 2692865236824273985/43993571557259894756225025076033278757486705741\ 82606358663044*c_1001_5^20 - 19937700402376485061651009913643855051\ 2915968751513809290736075/21996785778629947378112512538016639378743\ 35287091303179331522*c_1001_5^19 + 254574651427922536671711854778112827423904486779257790912994313/219\ 9678577862994737811251253801663937874335287091303179331522*c_1001_5\ ^18 - 3235833430138060239713605068565034435257101196412413969025346\ 3/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^17 - 90371365645933294773943165522040548985093245093128866939\ 254641/439935715572598947562250250760332787574867057418260635866304\ 4*c_1001_5^16 - 154976896484814134638604430399546705402018620648027\ 6193032905857/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^15 + 19446970366781939996817440088798877123187917\ 87228107234387281549/4399357155725989475622502507603327875748670574\ 182606358663044*c_1001_5^14 + 8977968538754277049031345648799787760\ 23667472117547737201618321/4399357155725989475622502507603327875748\ 670574182606358663044*c_1001_5^13 - 3661520839482441493210273617759250228342960977330412486782120423/21\ 99678577862994737811251253801663937874335287091303179331522*c_1001_\ 5^12 + 714010372927837509151637962242377170993365937129566458668494\ 8181/2199678577862994737811251253801663937874335287091303179331522*\ c_1001_5^11 - 12660712967047026717537851168097354176090436139359396\ 202638038583/439935715572598947562250250760332787574867057418260635\ 8663044*c_1001_5^10 + 932423148808052258336153002586387248922695401\ 715384739837303328/109983928893149736890562562690083196893716764354\ 5651589665761*c_1001_5^9 - 3588168722608148707628467417971173172287\ 14656544663944563692175/4399357155725989475622502507603327875748670\ 574182606358663044*c_1001_5^8 - 25346515580673447534759550249246108\ 02936017265467440891766744797/2199678577862994737811251253801663937\ 874335287091303179331522*c_1001_5^7 + 413515400967031811480252484609976829760193574097206080262092380/109\ 9839288931497368905625626900831968937167643545651589665761*c_1001_5\ ^6 + 24694919440574653617907135625587746372145723976731806198556344\ 5/4399357155725989475622502507603327875748670574182606358663044*c_1\ 001_5^5 + 126272698006811439885246981706836126492879340062537517140\ 432263/219967857786299473781125125380166393787433528709130317933152\ 2*c_1001_5^4 + 8420124420980934639593463518590481041605675694261047\ 2026064179/21996785778629947378112512538016639378743352870913031793\ 31522*c_1001_5^3 - 129589887030310415265100107679368913658644616307\ 570454694054669/439935715572598947562250250760332787574867057418260\ 6358663044*c_1001_5^2 + 5700740715752655698463957632379424507913017\ 3260597132437891871/43993571557259894756225025076033278757486705741\ 82606358663044*c_1001_5 + 92115588016763613609455916962118768421284\ 62236034608943336387/4399357155725989475622502507603327875748670574\ 182606358663044, c_0011_2 - 24204497507354197080094339697508771124623335595305991049820/\ 1099839288931497368905625626900831968937167643545651589665761*c_100\ 1_5^24 + 1789162442021566155063658566635594699603061253345501534556\ 765/8798714311451978951245005015206655751497341148365212717326088*c\ _1001_5^23 - 487946418108734050504103260419675832266030327115517035\ 0451863/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^22 - 67884145801761550193055639070252634520930365180686\ 43383418193/4399357155725989475622502507603327875748670574182606358\ 663044*c_1001_5^21 + 1295933840824480320310580163085777827065179748\ 30083322342657157/8798714311451978951245005015206655751497341148365\ 212717326088*c_1001_5^20 - 3824978975323472248556259671736678200996\ 15288826947166567215997/8798714311451978951245005015206655751497341\ 148365212717326088*c_1001_5^19 + 2572519374645444541165784459127709\ 68077992085297542268032142975/4399357155725989475622502507603327875\ 748670574182606358663044*c_1001_5^18 - 11505006610338122387760855150544735409243905289106410456298140/1099\ 839288931497368905625626900831968937167643545651589665761*c_1001_5^\ 17 - 17634615890646104915697735117235032888265127440203181458396671\ /2199678577862994737811251253801663937874335287091303179331522*c_10\ 01_5^16 - 141935675221876660316135603314627783627050409491708527801\ 7158483/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^15 + 98051419809711495375735868683887511999174528657855\ 5436703467475/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^14 + 14671247673499879090238425843925208836257567\ 9899726296815018769/21996785778629947378112512538016639378743352870\ 91303179331522*c_1001_5^13 - 17017393394099029780385111202281436324\ 87599919068358377206146481/2199678577862994737811251253801663937874\ 335287091303179331522*c_1001_5^12 + 6975879979808757494842504091031186054207880548174236234645689913/43\ 99357155725989475622502507603327875748670574182606358663044*c_1001_\ 5^11 - 666228945549617186075448537442167025865325296526575043115191\ 9899/4399357155725989475622502507603327875748670574182606358663044*\ c_1001_5^10 + 50531258890905800718602358605260910128862099373107849\ 20137052903/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^9 - 97612334842440606587846017371812200116438774802\ 4508044468197529/87987143114519789512450050152066557514973411483652\ 12717326088*c_1001_5^8 - 448821423578560821632946834472258400417782\ 3645504212474652878105/87987143114519789512450050152066557514973411\ 48365212717326088*c_1001_5^7 + 197385410507670903829345127303455536\ 2081397039603029828091940689/87987143114519789512450050152066557514\ 97341148365212717326088*c_1001_5^6 + 17076473545689535392357109369546988018214780891136275858192341/8798\ 714311451978951245005015206655751497341148365212717326088*c_1001_5^\ 5 + 98341746772596588164061268250117916423719279835939754980738441/\ 4399357155725989475622502507603327875748670574182606358663044*c_100\ 1_5^4 + 29079043048971428611316545360789288211248614465100169120488\ 013/2199678577862994737811251253801663937874335287091303179331522*c\ _1001_5^3 - 1122642506429419300639986087186646563714743473273655523\ 99325095/8798714311451978951245005015206655751497341148365212717326\ 088*c_1001_5^2 + 80343921811421713496717054226883486962415030640812\ 42983545050/1099839288931497368905625626900831968937167643545651589\ 665761*c_1001_5 + 2176064667959829595326519000965386267522150846310\ 089834580779/439935715572598947562250250760332787574867057418260635\ 8663044, c_0011_4 - 24204497507354197080094339697508771124623335595305991049820/\ 1099839288931497368905625626900831968937167643545651589665761*c_100\ 1_5^24 + 1789162442021566155063658566635594699603061253345501534556\ 765/8798714311451978951245005015206655751497341148365212717326088*c\ _1001_5^23 - 487946418108734050504103260419675832266030327115517035\ 0451863/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^22 - 67884145801761550193055639070252634520930365180686\ 43383418193/4399357155725989475622502507603327875748670574182606358\ 663044*c_1001_5^21 + 1295933840824480320310580163085777827065179748\ 30083322342657157/8798714311451978951245005015206655751497341148365\ 212717326088*c_1001_5^20 - 3824978975323472248556259671736678200996\ 15288826947166567215997/8798714311451978951245005015206655751497341\ 148365212717326088*c_1001_5^19 + 2572519374645444541165784459127709\ 68077992085297542268032142975/4399357155725989475622502507603327875\ 748670574182606358663044*c_1001_5^18 - 11505006610338122387760855150544735409243905289106410456298140/1099\ 839288931497368905625626900831968937167643545651589665761*c_1001_5^\ 17 - 17634615890646104915697735117235032888265127440203181458396671\ /2199678577862994737811251253801663937874335287091303179331522*c_10\ 01_5^16 - 141935675221876660316135603314627783627050409491708527801\ 7158483/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^15 + 98051419809711495375735868683887511999174528657855\ 5436703467475/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^14 + 14671247673499879090238425843925208836257567\ 9899726296815018769/21996785778629947378112512538016639378743352870\ 91303179331522*c_1001_5^13 - 17017393394099029780385111202281436324\ 87599919068358377206146481/2199678577862994737811251253801663937874\ 335287091303179331522*c_1001_5^12 + 6975879979808757494842504091031186054207880548174236234645689913/43\ 99357155725989475622502507603327875748670574182606358663044*c_1001_\ 5^11 - 666228945549617186075448537442167025865325296526575043115191\ 9899/4399357155725989475622502507603327875748670574182606358663044*\ c_1001_5^10 + 50531258890905800718602358605260910128862099373107849\ 20137052903/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^9 - 97612334842440606587846017371812200116438774802\ 4508044468197529/87987143114519789512450050152066557514973411483652\ 12717326088*c_1001_5^8 - 448821423578560821632946834472258400417782\ 3645504212474652878105/87987143114519789512450050152066557514973411\ 48365212717326088*c_1001_5^7 + 197385410507670903829345127303455536\ 2081397039603029828091940689/87987143114519789512450050152066557514\ 97341148365212717326088*c_1001_5^6 + 17076473545689535392357109369546988018214780891136275858192341/8798\ 714311451978951245005015206655751497341148365212717326088*c_1001_5^\ 5 + 98341746772596588164061268250117916423719279835939754980738441/\ 4399357155725989475622502507603327875748670574182606358663044*c_100\ 1_5^4 + 29079043048971428611316545360789288211248614465100169120488\ 013/2199678577862994737811251253801663937874335287091303179331522*c\ _1001_5^3 - 1122642506429419300639986087186646563714743473273655523\ 99325095/8798714311451978951245005015206655751497341148365212717326\ 088*c_1001_5^2 + 80343921811421713496717054226883486962415030640812\ 42983545050/1099839288931497368905625626900831968937167643545651589\ 665761*c_1001_5 + 2176064667959829595326519000965386267522150846310\ 089834580779/439935715572598947562250250760332787574867057418260635\ 8663044, c_0101_0 + 60482989783829010245668091678951085505405684354209100585433/\ 4399357155725989475622502507603327875748670574182606358663044*c_100\ 1_5^24 - 1076111561349741241124997016662645798755842804161418501709\ 567/8798714311451978951245005015206655751497341148365212717326088*c\ _1001_5^23 + 266958209357423637252171513715434611197852901685352045\ 5351809/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^22 + 94775879261108462905565305338791915059137683337607\ 96453336115/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^21 - 3895136683964950602567603111189652423381796182\ 8030241944297315/43993571557259894756225025076033278757486705741826\ 06358663044*c_1001_5^20 + 21153159436719111146040905951947967259778\ 3586228908713454013631/87987143114519789512450050152066557514973411\ 48365212717326088*c_1001_5^19 - 24307557416250195904361576973808049\ 9503573309854169138164968481/87987143114519789512450050152066557514\ 97341148365212717326088*c_1001_5^18 - 42103366319885828230072140127422170982185185750194597775074201/8798\ 714311451978951245005015206655751497341148365212717326088*c_1001_5^\ 17 + 25232793045466920084841455520378001455274691261379361235729401\ /4399357155725989475622502507603327875748670574182606358663044*c_10\ 01_5^16 + 900291702347847767495931102189712211595091127988056654690\ 347345/879871431145197895124500501520665575149734114836521271732608\ 8*c_1001_5^15 - 114167012964712887852981532625120271386301348608086\ 219267175313/109983928893149736890562562690083196893716764354565158\ 9665761*c_1001_5^14 - 746164544408505844818809797089110823061645899\ 262523848651357487/879871431145197895124500501520665575149734114836\ 5212717326088*c_1001_5^13 + 203442222628435392982968129509649933326\ 2067135299856060424286579/43993571557259894756225025076033278757486\ 70574182606358663044*c_1001_5^12 - 910957911701641730981307290864270398230421948921284781782913957/109\ 9839288931497368905625626900831968937167643545651589665761*c_1001_5\ ^11 + 6929871730368139483788965924793633038685109637437724808256623\ 90/1099839288931497368905625626900831968937167643545651589665761*c_\ 1001_5^10 - 6848772639831557964797195432925426167742887044374451171\ 34626579/8798714311451978951245005015206655751497341148365212717326\ 088*c_1001_5^9 - 16933943085994559002858065226558197676340997252568\ 9875923631781/87987143114519789512450050152066557514973411483652127\ 17326088*c_1001_5^8 + 376468524965248511992549683823447554582945590\ 699766297092579437/109983928893149736890562562690083196893716764354\ 5651589665761*c_1001_5^7 - 1787867469945258865392420597856107676747\ 83796784094580377424937/4399357155725989475622502507603327875748670\ 574182606358663044*c_1001_5^6 - 13997748357304043522929170887585246\ 6981235083672272161568592075/43993571557259894756225025076033278757\ 48670574182606358663044*c_1001_5^5 - 177413475278864017714789370687346655633034461013618601488463097/879\ 8714311451978951245005015206655751497341148365212717326088*c_1001_5\ ^4 - 16929040542367189270187436856066614289001748420326337646513061\ 5/8798714311451978951245005015206655751497341148365212717326088*c_1\ 001_5^3 + 651594371379866096830059384770178417873917770007264646202\ 06131/8798714311451978951245005015206655751497341148365212717326088\ *c_1001_5^2 - 16045045653216988019098404514920911487253889878195635\ 64915647/1099839288931497368905625626900831968937167643545651589665\ 761*c_1001_5 - 9203507982778495497302989404585129736894773453726854\ 851710829/879871431145197895124500501520665575149734114836521271732\ 6088, c_0101_10 + 10483147837186200452620790934812971644119203076279111926881\ 91/17597428622903957902490010030413311502994682296730425434652176*c\ _1001_5^24 - 963182154661625747649140255858012527954929361640255107\ 9370215/17597428622903957902490010030413311502994682296730425434652\ 176*c_1001_5^23 + 6478721052531688771783393781056276882169989230802\ 842972867961/439935715572598947562250250760332787574867057418260635\ 8663044*c_1001_5^22 + 374330834382248441989066944694964044142232054\ 88729426789143703/8798714311451978951245005015206655751497341148365\ 212717326088*c_1001_5^21 - 3488891249180865533537612776462853097576\ 08504125867892659308873/8798714311451978951245005015206655751497341\ 148365212717326088*c_1001_5^20 + 5086327894125083405586298277929768\ 35139068818515858621602051235/4399357155725989475622502507603327875\ 748670574182606358663044*c_1001_5^19 - 2678641965697528811688418918510477065094794262021220385240328219/17\ 597428622903957902490010030413311502994682296730425434652176*c_1001\ _5^18 + 35413403492778024700800365316896508253906640564248349976181\ 7753/17597428622903957902490010030413311502994682296730425434652176\ *c_1001_5^17 + 4119886588931511045281440126561381623942785959391891\ 76908096991/1759742862290395790249001003041331150299468229673042543\ 4652176*c_1001_5^16 + 384513612797454300893496122416554037984444695\ 6253993498364503737/87987143114519789512450050152066557514973411483\ 65212717326088*c_1001_5^15 - 63783097050776235865591002689086425726\ 3038772703071928754070395/10998392889314973689056256269008319689371\ 67643545651589665761*c_1001_5^14 - 3720494089559458711608775611171341331223052302462132957053422689/17\ 597428622903957902490010030413311502994682296730425434652176*c_1001\ _5^13 + 91729366813334108808205219157563146106959668638022613490790\ 53437/4399357155725989475622502507603327875748670574182606358663044\ *c_1001_5^12 - 1842081418211686892172480218500486279579435974466004\ 0009709954149/43993571557259894756225025076033278757486705741826063\ 58663044*c_1001_5^11 + 68288104798679793702527086418016206952718844\ 279609627695939526545/175974286229039579024900100304133115029946822\ 96730425434652176*c_1001_5^10 - 23591579745985609626969099146539507\ 755248062322346566367433845455/175974286229039579024900100304133115\ 02994682296730425434652176*c_1001_5^9 + 3646835335432291072317708798246654606276873424198015115739146537/17\ 597428622903957902490010030413311502994682296730425434652176*c_1001\ _5^8 + 124905851537432642179544302753815003727709200596813246021660\ 19037/8798714311451978951245005015206655751497341148365212717326088\ *c_1001_5^7 - 48790701597816022906750573887910798143797918645903030\ 67036617801/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^6 - 47758123077254966953074531966791563521406218199\ 9552483725965437/17597428622903957902490010030413311502994682296730\ 425434652176*c_1001_5^5 - 11398234154439640326215816104708575951877\ 55249841143463988674483/1759742862290395790249001003041331150299468\ 2296730425434652176*c_1001_5^4 - 1871178537155370437305276435157268\ 15554701635618244212250714067/4399357155725989475622502507603327875\ 748670574182606358663044*c_1001_5^3 + 307273797298043918466275354693376316176933898275374078526361625/879\ 8714311451978951245005015206655751497341148365212717326088*c_1001_5\ ^2 - 76335287567065903733255093913871552102438427780920279772755159\ /4399357155725989475622502507603327875748670574182606358663044*c_10\ 01_5 - 290932014973014954750303928956303065388089784852780766190607\ 37/17597428622903957902490010030413311502994682296730425434652176, c_0101_11 - 11757092947327088210802195277498911847330580101739666115354\ 9/17597428622903957902490010030413311502994682296730425434652176*c_\ 1001_5^24 + 1056231098582926431015243703278081163899908318919448698\ 934117/175974286229039579024900100304133115029946822967304254346521\ 76*c_1001_5^23 - 13407199131579231773148218056799893378782771708983\ 32488090295/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^22 - 2257575999538623465784991153102393626550139961\ 714264284812101/439935715572598947562250250760332787574867057418260\ 6358663044*c_1001_5^21 + 383240558063703125479594479943821650962326\ 11966540257167897295/8798714311451978951245005015206655751497341148\ 365212717326088*c_1001_5^20 - 1059287605567640291362266002574878534\ 75733717539343200336693685/8798714311451978951245005015206655751497\ 341148365212717326088*c_1001_5^19 + 250860380743097477042378688406569439858195745834782582666096259/175\ 97428622903957902490010030413311502994682296730425434652176*c_1001_\ 5^18 + 298400847138163992285936532316033741138707027360391144741459\ 25/17597428622903957902490010030413311502994682296730425434652176*c\ _1001_5^17 - 637842171855193068141232061695680974219779544976253002\ 39236857/1759742862290395790249001003041331150299468229673042543465\ 2176*c_1001_5^16 - 437179813253575355966520367071757520027506469207\ 150829822119243/879871431145197895124500501520665575149734114836521\ 2717326088*c_1001_5^15 + 486745526713178910032011234668542555466248\ 032021647341171356367/879871431145197895124500501520665575149734114\ 8365212717326088*c_1001_5^14 + 684421855840005477109198650668856486\ 077073531915343576521805223/175974286229039579024900100304133115029\ 94682296730425434652176*c_1001_5^13 - 508691775128392429713807182493753161784102501014455116479812359/219\ 9678577862994737811251253801663937874335287091303179331522*c_1001_5\ ^12 + 1847605008478883489207670636541031157334625252443867466177294\ 513/4399357155725989475622502507603327875748670574182606358663044*c\ _1001_5^11 - 580709303873633859378652639587578094967251972933687258\ 1283687871/17597428622903957902490010030413311502994682296730425434\ 652176*c_1001_5^10 + 7919570006744381079750206452542194513404794019\ 30082464578333753/1759742862290395790249001003041331150299468229673\ 0425434652176*c_1001_5^9 + 3370290164285261870527392275882941271574\ 75220637017388863636567/1759742862290395790249001003041331150299468\ 2296730425434652176*c_1001_5^8 - 7150595589830092396366815218974774\ 63278320525945925788380153049/4399357155725989475622502507603327875\ 748670574182606358663044*c_1001_5^7 + 115848117162758907799637928067389654107176825246059683938582465/439\ 9357155725989475622502507603327875748670574182606358663044*c_1001_5\ ^6 + 40144424815898371370341460349856080779461927378550256904550964\ 1/17597428622903957902490010030413311502994682296730425434652176*c_\ 1001_5^5 + 75744414576560929541046139812263373053833307194757103899\ 378019/175974286229039579024900100304133115029946822967304254346521\ 76*c_1001_5^4 + 186192437362369367787941261703425210856806853081541\ 90009138463/4399357155725989475622502507603327875748670574182606358\ 663044*c_1001_5^3 - 35931625746034627955420851755481424567040668659\ 536047300004813/879871431145197895124500501520665575149734114836521\ 2717326088*c_1001_5^2 + 5123617038303219508783488355366163636679292\ 565451186507055357/879871431145197895124500501520665575149734114836\ 5212717326088*c_1001_5 + 124915879149092202373075845802964517381376\ 79717762381006169219/1759742862290395790249001003041331150299468229\ 6730425434652176, c_0101_2 - 366665923515233935724219759980788534135214614049227491215397\ /8798714311451978951245005015206655751497341148365212717326088*c_10\ 01_5^24 + 334717616075241511685791247805233903905343902705521639137\ 1115/8798714311451978951245005015206655751497341148365212717326088*\ c_1001_5^23 - 11074209272371714102058451236107250671189062309128174\ 15232933/1099839288931497368905625626900831968937167643545651589665\ 761*c_1001_5^22 - 2676878248698696697349262507251699935853419476669\ 8002705479483/87987143114519789512450050152066557514973411483652127\ 17326088*c_1001_5^21 + 24262150548656020947753781664737867428066404\ 2664493511169146041/87987143114519789512450050152066557514973411483\ 65212717326088*c_1001_5^20 - 17418754016061795981861899560242111603\ 8366111645244866324552055/21996785778629947378112512538016639378743\ 35287091303179331522*c_1001_5^19 + 445735252972083810261820710149268855699677123808555492629504847/439\ 9357155725989475622502507603327875748670574182606358663044*c_1001_5\ ^18 - 1485901188331668004247859173056164310371096418071216965334695\ 3/2199678577862994737811251253801663937874335287091303179331522*c_1\ 001_5^17 - 16238113849367458689434747386390774067903560325596001607\ 7049961/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^16 - 13484409665103982926318740016137747942912207696991\ 37953514443369/4399357155725989475622502507603327875748670574182606\ 358663044*c_1001_5^15 + 1702741875629660748444585579919949492780063\ 763854527718376640315/439935715572598947562250250760332787574867057\ 4182606358663044*c_1001_5^14 + 194314352103647269764755233858629366\ 569830939906316814056971876/109983928893149736890562562690083196893\ 7167643545651589665761*c_1001_5^13 - 6395679036088833794375644296662341991259754821516673422623223883/43\ 99357155725989475622502507603327875748670574182606358663044*c_1001_\ 5^12 + 124952344600418631263550540723198458859628916547125705713133\ 45587/4399357155725989475622502507603327875748670574182606358663044\ *c_1001_5^11 - 2220940477730578286451697942031407843866825164766988\ 3022392017211/87987143114519789512450050152066557514973411483652127\ 17326088*c_1001_5^10 + 65404068890285495626282427212015442517173503\ 77771492020042868513/8798714311451978951245005015206655751497341148\ 365212717326088*c_1001_5^9 - 50903035953140119715997028197365426872\ 4745831283787850721234213/87987143114519789512450050152066557514973\ 41148365212717326088*c_1001_5^8 - 898681325792926395361414913854354\ 6197785596465424608491818555903/87987143114519789512450050152066557\ 51497341148365212717326088*c_1001_5^7 + 3069569078661925261041131848788925102935066989844142579586166713/87\ 98714311451978951245005015206655751497341148365212717326088*c_1001_\ 5^6 + 5131364614972529273459096718973634101291641478506099949892536\ 4/1099839288931497368905625626900831968937167643545651589665761*c_1\ 001_5^5 + 218916750390266490678622480141514105203351226395699591996\ 821205/439935715572598947562250250760332787574867057418260635866304\ 4*c_1001_5^4 + 3170045162320737854314532664622808921998244117219673\ 62444991623/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^3 - 29122480998468484331116447750969712363166648036\ 068782888580000/109983928893149736890562562690083196893716764354565\ 1589665761*c_1001_5^2 + 2273193279566528423578959096101577563951953\ 0308921852976324789/21996785778629947378112512538016639378743352870\ 91303179331522*c_1001_5 + 21439120703719181765209991312924314361721\ 35643262112218655883/1099839288931497368905625626900831968937167643\ 545651589665761, c_0101_9 + c_1001_5, c_1001_10 - 36666592351523393572421975998078853413521461404922749121539\ 7/8798714311451978951245005015206655751497341148365212717326088*c_1\ 001_5^24 + 33471761607524151168579124780523390390534390270552163913\ 71115/8798714311451978951245005015206655751497341148365212717326088\ *c_1001_5^23 - 1107420927237171410205845123610725067118906230912817\ 415232933/109983928893149736890562562690083196893716764354565158966\ 5761*c_1001_5^22 - 267687824869869669734926250725169993585341947666\ 98002705479483/8798714311451978951245005015206655751497341148365212\ 717326088*c_1001_5^21 + 2426215054865602094775378166473786742806640\ 42664493511169146041/8798714311451978951245005015206655751497341148\ 365212717326088*c_1001_5^20 - 1741875401606179598186189956024211160\ 38366111645244866324552055/2199678577862994737811251253801663937874\ 335287091303179331522*c_1001_5^19 + 445735252972083810261820710149268855699677123808555492629504847/439\ 9357155725989475622502507603327875748670574182606358663044*c_1001_5\ ^18 - 1485901188331668004247859173056164310371096418071216965334695\ 3/2199678577862994737811251253801663937874335287091303179331522*c_1\ 001_5^17 - 16238113849367458689434747386390774067903560325596001607\ 7049961/87987143114519789512450050152066557514973411483652127173260\ 88*c_1001_5^16 - 13484409665103982926318740016137747942912207696991\ 37953514443369/4399357155725989475622502507603327875748670574182606\ 358663044*c_1001_5^15 + 1702741875629660748444585579919949492780063\ 763854527718376640315/439935715572598947562250250760332787574867057\ 4182606358663044*c_1001_5^14 + 194314352103647269764755233858629366\ 569830939906316814056971876/109983928893149736890562562690083196893\ 7167643545651589665761*c_1001_5^13 - 6395679036088833794375644296662341991259754821516673422623223883/43\ 99357155725989475622502507603327875748670574182606358663044*c_1001_\ 5^12 + 124952344600418631263550540723198458859628916547125705713133\ 45587/4399357155725989475622502507603327875748670574182606358663044\ *c_1001_5^11 - 2220940477730578286451697942031407843866825164766988\ 3022392017211/87987143114519789512450050152066557514973411483652127\ 17326088*c_1001_5^10 + 65404068890285495626282427212015442517173503\ 77771492020042868513/8798714311451978951245005015206655751497341148\ 365212717326088*c_1001_5^9 - 50903035953140119715997028197365426872\ 4745831283787850721234213/87987143114519789512450050152066557514973\ 41148365212717326088*c_1001_5^8 - 898681325792926395361414913854354\ 6197785596465424608491818555903/87987143114519789512450050152066557\ 51497341148365212717326088*c_1001_5^7 + 3069569078661925261041131848788925102935066989844142579586166713/87\ 98714311451978951245005015206655751497341148365212717326088*c_1001_\ 5^6 + 5131364614972529273459096718973634101291641478506099949892536\ 4/1099839288931497368905625626900831968937167643545651589665761*c_1\ 001_5^5 + 218916750390266490678622480141514105203351226395699591996\ 821205/439935715572598947562250250760332787574867057418260635866304\ 4*c_1001_5^4 + 3170045162320737854314532664622808921998244117219673\ 62444991623/8798714311451978951245005015206655751497341148365212717\ 326088*c_1001_5^3 - 29122480998468484331116447750969712363166648036\ 068782888580000/109983928893149736890562562690083196893716764354565\ 1589665761*c_1001_5^2 + 2273193279566528423578959096101577563951953\ 0308921852976324789/21996785778629947378112512538016639378743352870\ 91303179331522*c_1001_5 + 21439120703719181765209991312924314361721\ 35643262112218655883/1099839288931497368905625626900831968937167643\ 545651589665761, c_1001_5^25 - 9*c_1001_5^24 + 23*c_1001_5^23 + 76*c_1001_5^22 - 652*c_1001_5^21 + 1816*c_1001_5^20 - 2195*c_1001_5^19 - 127*c_1001_5^18 + 432*c_1001_5^17 + 7420*c_1001_5^16 - 8347*c_1001_5^15 - 5338*c_1001_5^14 + 34231*c_1001_5^13 - 63700*c_1001_5^12 + 52195*c_1001_5^11 - 10881*c_1001_5^10 - 60*c_1001_5^9 + 24214*c_1001_5^8 - 4921*c_1001_5^7 - 1998*c_1001_5^6 - 1380*c_1001_5^5 - 974*c_1001_5^4 + 497*c_1001_5^3 - 187*c_1001_5^2 - 70*c_1001_5 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.510 Total time: 1.720 seconds, Total memory usage: 32.09MB