Magma V2.19-8 Tue Aug 20 2013 23:47:45 on localhost [Seed = 4071921821] Type ? for help. Type -D to quit. Loading file "K10a53__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a53 geometric_solution 11.60290525 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 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 1 0 -1 0 0 0 0 -5 0 0 5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250285519690 0.746698922972 0 4 3 3 0132 0132 1302 3201 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -6 6 -1 0 0 1 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068053654676 1.334825633652 0 0 6 5 2031 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 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.596445238682 1.203960604712 1 1 0 6 2031 2310 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 -6 0 6 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.566487198770 0.878084312899 6 1 7 8 2031 0132 0132 0132 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 1 0 -1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925724588106 0.577995535148 9 9 2 7 0132 1302 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.153596956776 0.865504025596 3 7 4 2 3012 2103 1302 0132 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 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308674482051 0.426414927978 5 6 10 4 3012 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 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539396934623 0.598163873819 9 10 4 11 2103 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 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.088799267544 0.868270686267 5 12 8 5 0132 0132 2103 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 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577554241187 0.590588047561 12 8 11 7 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 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.452314557171 0.762978160214 12 12 8 10 0132 1230 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 1 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.374337187384 1.421028987883 11 9 11 10 0132 0132 3012 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 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826651744555 0.658050827670 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0011_6'], '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'], 'c_0101_12' : d['c_0101_10'], '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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_1100_10'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_10'], 'c_1100_10' : d['c_1100_10'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1100_10'], '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' : negation(d['c_0101_10']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_10']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0011_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['1']})} 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_0011_7, c_0101_10, c_0101_11, c_0101_2, c_0101_4, c_0101_5, c_1001_2, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 6396284870210560525018557527729016106924896168533030607/17047326484\ 99917473614770755333277486135550036765600*c_1100_10^30 - 51047471181948042434636753557763498229738514487509557/6199027812726\ 972631326439110302827222311091042784*c_1100_10^29 - 1831997003718601338659769849041589138165617459331889291/85236632424\ 9958736807385377666638743067775018382800*c_1100_10^28 + 1189401890704023208320757266465561180431704961034413001/34790462214\ 284030073770831741495458900725510954400*c_1100_10^27 - 139272393808841994149575800178851522911457316994486356467/170473264\ 8499917473614770755333277486135550036765600*c_1100_10^26 + 23151354343948450764695496398304583120701958329464033581/8523663242\ 49958736807385377666638743067775018382800*c_1100_10^25 + 3946086361017556216618547904538790756749893303975133521/48706647099\ 997642103279164438093642461015715336160*c_1100_10^24 - 931337909023140555189459663487642210913684105793682409/774878476590\ 87157891580488878785340278888638034800*c_1100_10^23 + 1485085309419322774451711665908735900805570353404824623/24353323549\ 9988210516395822190468212305078576680800*c_1100_10^22 - 513742989780115183664510137364174639168249101565737284463/170473264\ 8499917473614770755333277486135550036765600*c_1100_10^21 + 19740834955597896602746255600679863810767108285068490017/1704732648\ 4999174736147707553332774861355500367656*c_1100_10^20 - 467040949938413840925096041504677813316474890070864865487/340946529\ 699983494722954151066655497227110007353120*c_1100_10^19 + 1465086289178328385532421142366255587034449900085474178511/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^18 + 725406790545379251209185789326598953695158871137997994953/170473264\ 8499917473614770755333277486135550036765600*c_1100_10^17 - 2904812770712748092534281349595812264123246039872797534343/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^16 + 3917177345675211370611263706282895442238853708479416924557/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^15 - 379155254914347067870841194989606939311141936224391913437/213091581\ 062489684201846344416659685766943754595700*c_1100_10^14 - 1245701391393327661623646950111077396742718357686400312201/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^13 + 7010314624449022883266369122463645986960430593891000859829/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^12 - 12379387601225844442708880662459116482483096533425291927721/1704732\ 648499917473614770755333277486135550036765600*c_1100_10^11 + 7374204305069704549850088113998460515272080604116820629243/85236632\ 4249958736807385377666638743067775018382800*c_1100_10^10 - 2634923506660245484891041251247837712650172357721930812171/34094652\ 9699983494722954151066655497227110007353120*c_1100_10^9 + 9202845074559553939593852094908558172387869155946374410931/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^8 - 4860220873660898098846530366632514045337516763441244571373/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^7 + 153012037525107188861029330285452015965725960844825142039/106545790\ 531244842100923172208329842883471877297850*c_1100_10^6 - 1800292508666893019923450198983175799497895692141808847401/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^5 + 779809208572826413351495989161724579108414544612230858373/852366324\ 249958736807385377666638743067775018382800*c_1100_10^4 - 1116620665356847622826915371979039107929037097331299757847/17047326\ 48499917473614770755333277486135550036765600*c_1100_10^3 + 537696807772341217687423301791702205082990622718220204831/170473264\ 8499917473614770755333277486135550036765600*c_1100_10^2 - 168877190949473138765605924370406713457038421862782559783/170473264\ 8499917473614770755333277486135550036765600*c_1100_10 + 32919136238065892572276430403876102267942170357462334409/1704732648\ 499917473614770755333277486135550036765600, c_0011_0 - 1, c_0011_10 - 121937175224375723858535233625731806360/5522137042878684790\ 04222363556892971313*c_1100_10^30 + 15127141190497991645400328985454031616/5020124584435167990947476032\ 3353906483*c_1100_10^29 + 477229513484064398552700644415165628117/1\ 104427408575736958008444727113785942626*c_1100_10^28 - 1926292246877104243962358239724687420467/11044274085757369580084447\ 27113785942626*c_1100_10^27 + 1794777858120148114589648123991806056\ 084/552213704287868479004222363556892971313*c_1100_10^26 + 1740313761787439884356916767599657357561/11044274085757369580084447\ 27113785942626*c_1100_10^25 - 4776707027663465342034971863566055740\ 999/1104427408575736958008444727113785942626*c_1100_10^24 - 159436415594406804882926581213807756871/502012458443516799094747603\ 23353906483*c_1100_10^23 - 910348706971763425993067420866144455531/\ 552213704287868479004222363556892971313*c_1100_10^22 + 9557548301231385392275381516492013533851/55221370428786847900422236\ 3556892971313*c_1100_10^21 - 59393939721444329928713099718478710056\ 207/1104427408575736958008444727113785942626*c_1100_10^20 + 16945002001083548424977868127430785081515/5522137042878684790042223\ 63556892971313*c_1100_10^19 - 1223330539050489776861175964359827520\ 0117/1104427408575736958008444727113785942626*c_1100_10^18 - 24293459468427364541391303005017909441995/5522137042878684790042223\ 63556892971313*c_1100_10^17 + 3598473392502894024161744692498738901\ 3757/552213704287868479004222363556892971313*c_1100_10^16 - 40145434658997206411863543810479967317864/5522137042878684790042223\ 63556892971313*c_1100_10^15 + 2860559836098602413280095704271312229\ 9851/1104427408575736958008444727113785942626*c_1100_10^14 + 92698264413196658320571367727302418758623/1104427408575736958008444\ 727113785942626*c_1100_10^13 - 200622487802969794245109515402538937\ 686145/1104427408575736958008444727113785942626*c_1100_10^12 + 141489554415084664954187523069538537256476/552213704287868479004222\ 363556892971313*c_1100_10^11 - 272416002231281443494194768676838812\ 118225/1104427408575736958008444727113785942626*c_1100_10^10 + 100618027028555931703244020732280430257042/552213704287868479004222\ 363556892971313*c_1100_10^9 - 5261073079618935360974297996909217903\ 8850/552213704287868479004222363556892971313*c_1100_10^8 + 38827490480532825475301394696963936966727/1104427408575736958008444\ 727113785942626*c_1100_10^7 - 2601798167522664787935889661455453327\ 7237/1104427408575736958008444727113785942626*c_1100_10^6 + 30716956978568380549128922134861684487851/1104427408575736958008444\ 727113785942626*c_1100_10^5 - 2473640138348661060738386179930517179\ 7517/1104427408575736958008444727113785942626*c_1100_10^4 + 13015309523477236894664943707195248915593/1104427408575736958008444\ 727113785942626*c_1100_10^3 - 3928033056968276567703031228966498102\ 009/1104427408575736958008444727113785942626*c_1100_10^2 + 100418586257542647925428074929999755352/552213704287868479004222363\ 556892971313*c_1100_10 + 191789926654004410467025035124179368955/55\ 2213704287868479004222363556892971313, c_0011_11 - c_1100_10, c_0011_3 + 100418586257542647925428074929999755352/55221370428786847900\ 4222363556892971313*c_1100_10^30 - 822476896461898671257374066892740159/502012458443516799094747603233\ 53906483*c_1100_10^29 - 362061264341175745000942911552626686902/552\ 213704287868479004222363556892971313*c_1100_10^28 + 545578796568401512762424020405824081437/552213704287868479004222363\ 556892971313*c_1100_10^27 - 104175428401369092716337300937992720100\ 7/1104427408575736958008444727113785942626*c_1100_10^26 - 5142793301737816287166074715662488805621/11044274085757369580084447\ 27113785942626*c_1100_10^25 + 1090219405765346019096272704770726423\ 877/552213704287868479004222363556892971313*c_1100_10^24 + 662078185164713481179735545270235738643/100402491688703359818949520\ 646707812966*c_1100_10^23 + 536112405348655945881987808367441398961\ 3/1104427408575736958008444727113785942626*c_1100_10^22 - 6087896402410932569855028565923915733624/55221370428786847900422236\ 3556892971313*c_1100_10^21 + 14989800348111406430781490565421723257\ 267/552213704287868479004222363556892971313*c_1100_10^20 + 16009231399841399257307390921242616187604/5522137042878684790042223\ 63556892971313*c_1100_10^19 - 2586564228011488371173690002939078231\ 5111/1104427408575736958008444727113785942626*c_1100_10^18 + 29223943038940886801029723261129516558991/5522137042878684790042223\ 63556892971313*c_1100_10^17 - 1392273631334655633137818599668083283\ 4231/1104427408575736958008444727113785942626*c_1100_10^16 - 5940449647150193267439200905307706142117/55221370428786847900422236\ 3556892971313*c_1100_10^15 + 28864589520241730829576704879932687168\ 703/552213704287868479004222363556892971313*c_1100_10^14 - 56760123559089099258528201163513638447185/5522137042878684790042223\ 63556892971313*c_1100_10^13 + 7379271226057568726933247934788740224\ 4811/1104427408575736958008444727113785942626*c_1100_10^12 - 32712390684300205227520683463458031482131/1104427408575736958008444\ 727113785942626*c_1100_10^11 - 724871138118218597070231924851957528\ 46859/1104427408575736958008444727113785942626*c_1100_10^10 + 66698871639588637028839140972773859585647/5522137042878684790042223\ 63556892971313*c_1100_10^9 - 13706215637726222993737121093858762254\ 4033/1104427408575736958008444727113785942626*c_1100_10^8 + 50258995434680175357322489760217872149288/5522137042878684790042223\ 63556892971313*c_1100_10^7 - 15850066227210241151953439281963975551\ 830/552213704287868479004222363556892971313*c_1100_10^6 + 9740480336226591203073148790380467726395/11044274085757369580084447\ 27113785942626*c_1100_10^5 - 15424822354180057138177655603315817947\ 077/1104427408575736958008444727113785942626*c_1100_10^4 + 16273314387229454034347810109858179117731/1104427408575736958008444\ 727113785942626*c_1100_10^3 - 1393638136087624485869768962923641238\ 1853/1104427408575736958008444727113785942626*c_1100_10^2 + 4155311416772351193528998306622692872867/11044274085757369580084447\ 27113785942626*c_1100_10 + 92234523888188358362530526482910722909/1\ 104427408575736958008444727113785942626, c_0011_6 + 224767213320480872269654015690352604202/55221370428786847900\ 4222363556892971313*c_1100_10^30 - 25041913020353804272459871926492650281/1004024916887033598189495206\ 46707812966*c_1100_10^29 - 1251789958612465567600365303331858829023\ /1104427408575736958008444727113785942626*c_1100_10^28 + 2764804911735933708497023755240111038065/11044274085757369580084447\ 27113785942626*c_1100_10^27 - 2067765481125375129245085427401473891\ 519/552213704287868479004222363556892971313*c_1100_10^26 - 3755221281519941188210911011246195842430/55221370428786847900422236\ 3556892971313*c_1100_10^25 + 50991071355506895851423968654333684729\ 17/1104427408575736958008444727113785942626*c_1100_10^24 + 570007075680332350936807145197977440733/502012458443516799094747603\ 23353906483*c_1100_10^23 + 4989884463965004321124843335296334912935\ /552213704287868479004222363556892971313*c_1100_10^22 - 30980863002485444725303103588438104547855/1104427408575736958008444\ 727113785942626*c_1100_10^21 + 422604543185569918200598819713795104\ 78906/552213704287868479004222363556892971313*c_1100_10^20 + 6261681470587359647679872607828024849274/55221370428786847900422236\ 3556892971313*c_1100_10^19 - 23894423223004353624816187709755357314\ 77/552213704287868479004222363556892971313*c_1100_10^18 + 46054593464579711934353619504257609297644/5522137042878684790042223\ 63556892971313*c_1100_10^17 - 6134980426979624825543134656430869750\ 8213/1104427408575736958008444727113785942626*c_1100_10^16 + 29794664106569233054826890858273919287608/5522137042878684790042223\ 63556892971313*c_1100_10^15 + 2375842910081648218896557201222249990\ 8701/1104427408575736958008444727113785942626*c_1100_10^14 - 185820621963950104889064448329405962981813/110442740857573695800844\ 4727113785942626*c_1100_10^13 + 11265666359659356803129141573033443\ 5659942/552213704287868479004222363556892971313*c_1100_10^12 - 278648302654580991211801334792445355030483/110442740857573695800844\ 4727113785942626*c_1100_10^11 + 18237278147074277023035757240011880\ 4293387/1104427408575736958008444727113785942626*c_1100_10^10 - 48172307012864483151850044998815416597582/5522137042878684790042223\ 63556892971313*c_1100_10^9 + 26286785926806932988950798009550803282\ 781/1104427408575736958008444727113785942626*c_1100_10^8 + 1940631717249117680425316968452408469247/11044274085757369580084447\ 27113785942626*c_1100_10^7 + 20868014783875035021037496890213837645\ 974/552213704287868479004222363556892971313*c_1100_10^6 - 16589755941544522327114175986235425672238/5522137042878684790042223\ 63556892971313*c_1100_10^5 + 11966861675549398325054234090959105132\ 857/1104427408575736958008444727113785942626*c_1100_10^4 - 40628448356577856763638230136490875385/5522137042878684790042223635\ 56892971313*c_1100_10^3 - 1323939579141972048941522397055696032893/\ 1104427408575736958008444727113785942626*c_1100_10^2 - 632013851701150509734134540408975618416/552213704287868479004222363\ 556892971313*c_1100_10 + 170624640962469524586163103100098452350/55\ 2213704287868479004222363556892971313, c_0011_7 + 118357285775455214836018264321905492533/11044274085757369580\ 08444727113785942626*c_1100_10^30 + 4080995277694057868962156154658217576/50201245844351679909474760323\ 353906483*c_1100_10^29 - 326470940872059921809603582472047303448/55\ 2213704287868479004222363556892971313*c_1100_10^28 + 436029403692494199994826569568389274741/110442740857573695800844472\ 7113785942626*c_1100_10^27 + 25300129076527791856027342637719329724\ 2/552213704287868479004222363556892971313*c_1100_10^26 - 4917140855997261460030138852833664252305/11044274085757369580084447\ 27113785942626*c_1100_10^25 + 4297044390659390998573071405354774713\ 03/552213704287868479004222363556892971313*c_1100_10^24 + 783492240146883888542434848936246239927/100402491688703359818949520\ 646707812966*c_1100_10^23 + 215718757474056128412531394528061365443\ 0/552213704287868479004222363556892971313*c_1100_10^22 - 10225823021222992267212411219645224975083/1104427408575736958008444\ 727113785942626*c_1100_10^21 + 343034462508368559137345945041783457\ 1265/552213704287868479004222363556892971313*c_1100_10^20 + 24820828386823285737582810872553472353236/5522137042878684790042223\ 63556892971313*c_1100_10^19 - 2039193664106780326702277391159464195\ 9380/552213704287868479004222363556892971313*c_1100_10^18 + 20717495563199718745063889258209364612479/1104427408575736958008444\ 727113785942626*c_1100_10^17 + 875177851073819596995482058406787376\ 9641/552213704287868479004222363556892971313*c_1100_10^16 - 55371186849245831478394367163475126917877/1104427408575736958008444\ 727113785942626*c_1100_10^15 + 306249633421426133077185148927152294\ 56947/552213704287868479004222363556892971313*c_1100_10^14 - 79259270015159168418222411493601018036113/1104427408575736958008444\ 727113785942626*c_1100_10^13 - 204332406450796655256584243631108419\ 45021/1104427408575736958008444727113785942626*c_1100_10^12 + 48489551208282471023997837588801436391755/5522137042878684790042223\ 63556892971313*c_1100_10^11 - 8972729871210863382992405568182087168\ 8303/552213704287868479004222363556892971313*c_1100_10^10 + 96802461197491616228169245737248710899948/5522137042878684790042223\ 63556892971313*c_1100_10^9 - 69122268969689210081976295902871197502\ 583/552213704287868479004222363556892971313*c_1100_10^8 + 35183135206199577784409206395066550618134/5522137042878684790042223\ 63556892971313*c_1100_10^7 - 49448088652793702896243344842109977613\ 95/1104427408575736958008444727113785942626*c_1100_10^6 + 2795848967745489334824951095300836331127/55221370428786847900422236\ 3556892971313*c_1100_10^5 - 123161579115873881343335253421399085483\ 24/552213704287868479004222363556892971313*c_1100_10^4 + 20941001643454076899679667183396517967021/1104427408575736958008444\ 727113785942626*c_1100_10^3 - 6909515906811921637034171397419270093\ 597/1104427408575736958008444727113785942626*c_1100_10^2 - 425061301315133397387416477016892673093/110442740857573695800844472\ 7113785942626*c_1100_10 + 1052338126156876063811690209669697129431/\ 1104427408575736958008444727113785942626, c_0101_10 + 349853840848297997314645440063512333431/1104427408575736958\ 008444727113785942626*c_1100_10^30 - 9773335771365428546061966788492585702/50201245844351679909474760323\ 353906483*c_1100_10^29 - 429004461524539344565197498135055090141/55\ 2213704287868479004222363556892971313*c_1100_10^28 + 2053125552271226408303631436719084834161/11044274085757369580084447\ 27113785942626*c_1100_10^27 - 3528873989868014975355528775043908596\ 633/1104427408575736958008444727113785942626*c_1100_10^26 - 2527382962601113657332888250236247858286/55221370428786847900422236\ 3556892971313*c_1100_10^25 + 27309335236983301542773216017208722762\ 25/1104427408575736958008444727113785942626*c_1100_10^24 + 736801072786886993350972014082420225681/100402491688703359818949520\ 646707812966*c_1100_10^23 + 477226289327373989624449399857907990226\ 4/552213704287868479004222363556892971313*c_1100_10^22 - 21144960368252224634647630506699373455503/1104427408575736958008444\ 727113785942626*c_1100_10^21 + 339122088226046739325867858072401122\ 55780/552213704287868479004222363556892971313*c_1100_10^20 + 544228651994062554869326528424640889852/552213704287868479004222363\ 556892971313*c_1100_10^19 + 197586901576764928516345695992337269464\ 71/1104427408575736958008444727113785942626*c_1100_10^18 + 68881927317297281083254714544815026596593/1104427408575736958008444\ 727113785942626*c_1100_10^17 - 251543392586821966522733918671489445\ 17272/552213704287868479004222363556892971313*c_1100_10^16 + 68817299295491159129026150250027325182429/1104427408575736958008444\ 727113785942626*c_1100_10^15 - 276821465738000411475242113165607610\ 1175/552213704287868479004222363556892971313*c_1100_10^14 - 126794094833952736496286214787664599844003/110442740857573695800844\ 4727113785942626*c_1100_10^13 + 87415115134229000792765376695915421\ 073966/552213704287868479004222363556892971313*c_1100_10^12 - 268478592812523725244500130292679682956657/110442740857573695800844\ 4727113785942626*c_1100_10^11 + 10606978852537922055765992752900682\ 4895561/552213704287868479004222363556892971313*c_1100_10^10 - 162067355513414146175262090459357231617809/110442740857573695800844\ 4727113785942626*c_1100_10^9 + 879213143125089980266193120545477818\ 83457/1104427408575736958008444727113785942626*c_1100_10^8 - 35118378951567181411310997666154334945705/1104427408575736958008444\ 727113785942626*c_1100_10^7 + 2363879608217830886253516867535173915\ 5624/552213704287868479004222363556892971313*c_1100_10^6 - 12696269589184181893568114441773083214961/5522137042878684790042223\ 63556892971313*c_1100_10^5 + 96709174826650278040730616459281778775\ 89/552213704287868479004222363556892971313*c_1100_10^4 - 5411869578459051964408996807729315323267/55221370428786847900422236\ 3556892971313*c_1100_10^3 + 180736847758096676706413527239037928185\ 0/552213704287868479004222363556892971313*c_1100_10^2 - 2298576805011382554900166109480050475285/11044274085757369580084447\ 27113785942626*c_1100_10 - 269178645251625688569735474622432315729/\ 1104427408575736958008444727113785942626, c_0101_11 + 110279626811180373998489327634615732439/1104427408575736958\ 008444727113785942626*c_1100_10^30 + 19039365023974947304425971637418741665/1004024916887033598189495206\ 46707812966*c_1100_10^29 - 303537902545790006865238291371840963423/\ 552213704287868479004222363556892971313*c_1100_10^28 - 6079273588313654476025337183384793375/11044274085757369580084447271\ 13785942626*c_1100_10^27 + 519305452984336400186095981647667520176/\ 552213704287868479004222363556892971313*c_1100_10^26 - 2608843271843068535690841949130803733000/55221370428786847900422236\ 3556892971313*c_1100_10^25 - 21073336563035111225389467068260194294\ 73/1104427408575736958008444727113785942626*c_1100_10^24 + 376950136907834059353465810313212015379/502012458443516799094747603\ 23353906483*c_1100_10^23 + 4297546459578208681886492081260028732734\ /552213704287868479004222363556892971313*c_1100_10^22 - 2368371904002940164782474563736985858963/55221370428786847900422236\ 3556892971313*c_1100_10^21 - 95394185620761767135797690764653103292\ 9/1104427408575736958008444727113785942626*c_1100_10^20 + 32026714563751900776453300701917622165059/5522137042878684790042223\ 63556892971313*c_1100_10^19 - 1868873491658659434886664835109440495\ 8675/1104427408575736958008444727113785942626*c_1100_10^18 + 17808680538917090699561691406139072412411/1104427408575736958008444\ 727113785942626*c_1100_10^17 + 209358760037020196680281336525738344\ 84873/552213704287868479004222363556892971313*c_1100_10^16 - 53036366749441975638017330029092857402675/1104427408575736958008444\ 727113785942626*c_1100_10^15 + 610863717683701271323168494703511667\ 01303/1104427408575736958008444727113785942626*c_1100_10^14 - 26192762451222627503113783200327315029709/5522137042878684790042223\ 63556892971313*c_1100_10^13 - 3413666451038036717098369908246923410\ 5593/552213704287868479004222363556892971313*c_1100_10^12 + 61011320076027879779678667414147068392503/5522137042878684790042223\ 63556892971313*c_1100_10^11 - 9985453440344233692216440378347711977\ 3268/552213704287868479004222363556892971313*c_1100_10^10 + 175816207866660262147402531663139393178685/110442740857573695800844\ 4727113785942626*c_1100_10^9 - 111453741923528913678578472463850009\ 274289/1104427408575736958008444727113785942626*c_1100_10^8 + 23598319513898445763991727255009533562111/5522137042878684790042223\ 63556892971313*c_1100_10^7 + 31754886289550647339035217759073888203\ 19/552213704287868479004222363556892971313*c_1100_10^6 + 14528492421981583955718683514544540948901/1104427408575736958008444\ 727113785942626*c_1100_10^5 - 1231509219027851232125512947017744672\ 2154/552213704287868479004222363556892971313*c_1100_10^4 + 15359189201189842021923459520701377085047/1104427408575736958008444\ 727113785942626*c_1100_10^3 - 1892088289513234136742248163685173464\ 378/552213704287868479004222363556892971313*c_1100_10^2 - 786917641640115624205762662537986995193/552213704287868479004222363\ 556892971313*c_1100_10 + 531005039481544733232470485601858815345/11\ 04427408575736958008444727113785942626, c_0101_2 - 24970493492732904929036183624353006815/100402491688703359818\ 949520646707812966*c_1100_10^30 + 597450848088834507298042146409469\ 12171/100402491688703359818949520646707812966*c_1100_10^29 + 7793581584964999678760263813371365191/50201245844351679909474760323\ 353906483*c_1100_10^28 - 124851476621453959240191311588447245724/50\ 201245844351679909474760323353906483*c_1100_10^27 + 286294268274941563747399858350323984603/502012458443516799094747603\ 23353906483*c_1100_10^26 - 187778526491779601199749083029310560661/\ 100402491688703359818949520646707812966*c_1100_10^25 - 357912805972156913570207432293669111803/502012458443516799094747603\ 23353906483*c_1100_10^24 + 79434187724475834659038270702626827054/5\ 0201245844351679909474760323353906483*c_1100_10^23 + 88689130497270132463536762409644372670/5020124584435167990947476032\ 3353906483*c_1100_10^22 + 1028871903441919768864097239861375320889/\ 50201245844351679909474760323353906483*c_1100_10^21 - 8041239370373297721563823187189629150497/10040249168870335981894952\ 0646707812966*c_1100_10^20 + 98060278698398392273074005189055265178\ 83/100402491688703359818949520646707812966*c_1100_10^19 - 2098509179077884505121662132453981098184/50201245844351679909474760\ 323353906483*c_1100_10^18 - 215153731167449424182093996717156355512\ 4/50201245844351679909474760323353906483*c_1100_10^17 + 13443700855572384228638824884164014588413/1004024916887033598189495\ 20646707812966*c_1100_10^16 - 1487441866008895916508115620908133280\ 3717/100402491688703359818949520646707812966*c_1100_10^15 + 5387615110083796219163823730152046955264/50201245844351679909474760\ 323353906483*c_1100_10^14 + 394816097503962776584344280165265532867\ 8/50201245844351679909474760323353906483*c_1100_10^13 - 15517052500924886783955722892556064183940/5020124584435167990947476\ 0323353906483*c_1100_10^12 + 49636564617781986291832963359041841340\ 635/100402491688703359818949520646707812966*c_1100_10^11 - 27974355507747910910636240613799673241669/5020124584435167990947476\ 0323353906483*c_1100_10^10 + 22463636702480092468572010595964529047\ 355/50201245844351679909474760323353906483*c_1100_10^9 - 14157099371391612501945335236976980837463/5020124584435167990947476\ 0323353906483*c_1100_10^8 + 112485168400809419991846888971491180669\ 75/100402491688703359818949520646707812966*c_1100_10^7 - 2528337704788621130089094133544726650043/50201245844351679909474760\ 323353906483*c_1100_10^6 + 2663312721524859640792688751301253978935\ /50201245844351679909474760323353906483*c_1100_10^5 - 5539659444096716096840632967148970041001/10040249168870335981894952\ 0646707812966*c_1100_10^4 + 184518475322496550739011118548288787901\ 3/50201245844351679909474760323353906483*c_1100_10^3 - 952817417632897372100023911957117472397/100402491688703359818949520\ 646707812966*c_1100_10^2 + 64141251569433109259044232777572641345/5\ 0201245844351679909474760323353906483*c_1100_10 - 26277132576688436867463032917193278273/1004024916887033598189495206\ 46707812966, c_0101_4 + 379345366027256430982242261948281510297/11044274085757369580\ 08444727113785942626*c_1100_10^30 - 23449121376215892012699312067668273181/1004024916887033598189495206\ 46707812966*c_1100_10^29 - 1009572428220394448475359538875834959251\ /1104427408575736958008444727113785942626*c_1100_10^28 + 2361573282437535071123772133071434116181/11044274085757369580084447\ 27113785942626*c_1100_10^27 - 3761139247948112900472387121977241140\ 567/1104427408575736958008444727113785942626*c_1100_10^26 - 2916940825062943645151990290351553222413/55221370428786847900422236\ 3556892971313*c_1100_10^25 + 44272952204435045517349146702532662711\ 35/1104427408575736958008444727113785942626*c_1100_10^24 + 888462957420726292481978251765044022083/100402491688703359818949520\ 646707812966*c_1100_10^23 + 437517118980922504464534139716055316462\ 4/552213704287868479004222363556892971313*c_1100_10^22 - 12644256873464552412428143251324907717417/5522137042878684790042223\ 63556892971313*c_1100_10^21 + 3643651228631557661581756173076399614\ 8426/552213704287868479004222363556892971313*c_1100_10^20 + 1663941216507109765169636150470994918157/11044274085757369580084447\ 27113785942626*c_1100_10^19 + 6298896645589063250495214031436813270\ 73/552213704287868479004222363556892971313*c_1100_10^18 + 77212481175768989644717678445515694569179/1104427408575736958008444\ 727113785942626*c_1100_10^17 - 645530130327712623551251110163131915\ 79979/1104427408575736958008444727113785942626*c_1100_10^16 + 56865420272250900833339070589984209102293/1104427408575736958008444\ 727113785942626*c_1100_10^15 + 779551732446228304095293894690220279\ 4625/1104427408575736958008444727113785942626*c_1100_10^14 - 157811301267469487218802300746160761747911/110442740857573695800844\ 4727113785942626*c_1100_10^13 + 10165262669545558609905170969311429\ 7964049/552213704287868479004222363556892971313*c_1100_10^12 - 265377890829193689184044863772228622251541/110442740857573695800844\ 4727113785942626*c_1100_10^11 + 95917101394395123240885344883758429\ 434213/552213704287868479004222363556892971313*c_1100_10^10 - 106375098167559738876033546613473109953755/110442740857573695800844\ 4727113785942626*c_1100_10^9 + 197578400481325898245843785241848344\ 45837/552213704287868479004222363556892971313*c_1100_10^8 + 1044776196312652969682885641433431705135/55221370428786847900422236\ 3556892971313*c_1100_10^7 + 302861389213380887864411748851771192617\ 99/1104427408575736958008444727113785942626*c_1100_10^6 - 13816477603038985616188158783270381471875/5522137042878684790042223\ 63556892971313*c_1100_10^5 + 64456395763139648875060157043280647830\ 70/552213704287868479004222363556892971313*c_1100_10^4 - 2625426994594994158745043153354827168258/55221370428786847900422236\ 3556892971313*c_1100_10^3 - 137389916211341735482887404338523751815\ 0/552213704287868479004222363556892971313*c_1100_10^2 + 12745236248619339894172421179137889151/1104427408575736958008444727\ 113785942626*c_1100_10 + 406945689422631975930029915432339434355/11\ 04427408575736958008444727113785942626, c_0101_5 + 224767213320480872269654015690352604202/55221370428786847900\ 4222363556892971313*c_1100_10^30 - 25041913020353804272459871926492650281/1004024916887033598189495206\ 46707812966*c_1100_10^29 - 1251789958612465567600365303331858829023\ /1104427408575736958008444727113785942626*c_1100_10^28 + 2764804911735933708497023755240111038065/11044274085757369580084447\ 27113785942626*c_1100_10^27 - 2067765481125375129245085427401473891\ 519/552213704287868479004222363556892971313*c_1100_10^26 - 3755221281519941188210911011246195842430/55221370428786847900422236\ 3556892971313*c_1100_10^25 + 50991071355506895851423968654333684729\ 17/1104427408575736958008444727113785942626*c_1100_10^24 + 570007075680332350936807145197977440733/502012458443516799094747603\ 23353906483*c_1100_10^23 + 4989884463965004321124843335296334912935\ /552213704287868479004222363556892971313*c_1100_10^22 - 30980863002485444725303103588438104547855/1104427408575736958008444\ 727113785942626*c_1100_10^21 + 422604543185569918200598819713795104\ 78906/552213704287868479004222363556892971313*c_1100_10^20 + 6261681470587359647679872607828024849274/55221370428786847900422236\ 3556892971313*c_1100_10^19 - 23894423223004353624816187709755357314\ 77/552213704287868479004222363556892971313*c_1100_10^18 + 46054593464579711934353619504257609297644/5522137042878684790042223\ 63556892971313*c_1100_10^17 - 6134980426979624825543134656430869750\ 8213/1104427408575736958008444727113785942626*c_1100_10^16 + 29794664106569233054826890858273919287608/5522137042878684790042223\ 63556892971313*c_1100_10^15 + 2375842910081648218896557201222249990\ 8701/1104427408575736958008444727113785942626*c_1100_10^14 - 185820621963950104889064448329405962981813/110442740857573695800844\ 4727113785942626*c_1100_10^13 + 11265666359659356803129141573033443\ 5659942/552213704287868479004222363556892971313*c_1100_10^12 - 278648302654580991211801334792445355030483/110442740857573695800844\ 4727113785942626*c_1100_10^11 + 18237278147074277023035757240011880\ 4293387/1104427408575736958008444727113785942626*c_1100_10^10 - 48172307012864483151850044998815416597582/5522137042878684790042223\ 63556892971313*c_1100_10^9 + 26286785926806932988950798009550803282\ 781/1104427408575736958008444727113785942626*c_1100_10^8 + 1940631717249117680425316968452408469247/11044274085757369580084447\ 27113785942626*c_1100_10^7 + 20868014783875035021037496890213837645\ 974/552213704287868479004222363556892971313*c_1100_10^6 - 16589755941544522327114175986235425672238/5522137042878684790042223\ 63556892971313*c_1100_10^5 + 11966861675549398325054234090959105132\ 857/1104427408575736958008444727113785942626*c_1100_10^4 - 40628448356577856763638230136490875385/5522137042878684790042223635\ 56892971313*c_1100_10^3 - 1323939579141972048941522397055696032893/\ 1104427408575736958008444727113785942626*c_1100_10^2 - 632013851701150509734134540408975618416/552213704287868479004222363\ 556892971313*c_1100_10 + 170624640962469524586163103100098452350/55\ 2213704287868479004222363556892971313, c_1001_2 + 246657658255269376359821704199955239121/11044274085757369580\ 08444727113785942626*c_1100_10^30 - 35777081765201776724374729433868214035/1004024916887033598189495206\ 46707812966*c_1100_10^29 - 230223172651646190414975667564542908241/\ 1104427408575736958008444727113785942626*c_1100_10^28 + 995565685529267350908749621932559050448/552213704287868479004222363\ 556892971313*c_1100_10^27 - 228514825436936003180622475220070634428\ 5/552213704287868479004222363556892971313*c_1100_10^26 + 31043793054535341792064369422047220855/1104427408575736958008444727\ 113785942626*c_1100_10^25 + 381603357445629289342594509767161755061\ 7/1104427408575736958008444727113785942626*c_1100_10^24 - 63441574347417239015954482579213260255/1004024916887033598189495206\ 46707812966*c_1100_10^23 + 2146982327971900776586492985671970211967\ /1104427408575736958008444727113785942626*c_1100_10^22 - 7395373644314488367902541188258988955357/55221370428786847900422236\ 3556892971313*c_1100_10^21 + 34893020267491458430078393092480979314\ 444/552213704287868479004222363556892971313*c_1100_10^20 - 29477457987056406590192752970606047137488/5522137042878684790042223\ 63556892971313*c_1100_10^19 + 2530759905442306059829056457372958454\ 4593/552213704287868479004222363556892971313*c_1100_10^18 + 57131945203412489096634936597038934372945/1104427408575736958008444\ 727113785942626*c_1100_10^17 - 802439990567295363406980449235722834\ 12677/1104427408575736958008444727113785942626*c_1100_10^16 + 133928127142822713803765043248664537170641/110442740857573695800844\ 4727113785942626*c_1100_10^15 - 32105446624047624846820921423177649\ 484760/552213704287868479004222363556892971313*c_1100_10^14 - 62926609340863380510800499486190471124357/1104427408575736958008444\ 727113785942626*c_1100_10^13 + 237068995794866951917783409520485912\ 233003/1104427408575736958008444727113785942626*c_1100_10^12 - 199786726417499885431781370848592474187636/552213704287868479004222\ 363556892971313*c_1100_10^11 + 207629620380875457082339606936979280\ 278336/552213704287868479004222363556892971313*c_1100_10^10 - 182961033281032072719509719282690190560333/552213704287868479004222\ 363556892971313*c_1100_10^9 + 2118988432700554757894967385575645629\ 75871/1104427408575736958008444727113785942626*c_1100_10^8 - 49857700173709585100809885171014853146839/5522137042878684790042223\ 63556892971313*c_1100_10^7 + 21860107239375466891660802968921991698\ 609/552213704287868479004222363556892971313*c_1100_10^6 - 38027282945057173575027952317389168077199/1104427408575736958008444\ 727113785942626*c_1100_10^5 + 2326624699153217485014717326706281959\ 8945/552213704287868479004222363556892971313*c_1100_10^4 - 12806552997100043097410833566033504449148/5522137042878684790042223\ 63556892971313*c_1100_10^3 + 10003850297540460558104515509168482625\ 959/1104427408575736958008444727113785942626*c_1100_10^2 - 676884004440331538543549049522861866429/110442740857573695800844472\ 7113785942626*c_1100_10 - 718911220154335328283101105074103689148/5\ 52213704287868479004222363556892971313, c_1100_10^31 - 2*c_1100_10^30 - c_1100_10^29 + 9*c_1100_10^28 - 20*c_1100_10^27 + 3*c_1100_10^26 + 23*c_1100_10^25 + c_1100_10^24 + c_1100_10^23 - 80*c_1100_10^22 + 293*c_1100_10^21 - 305*c_1100_10^20 + 158*c_1100_10^19 + 158*c_1100_10^18 - 432*c_1100_10^17 + 524*c_1100_10^16 - 355*c_1100_10^15 - 287*c_1100_10^14 + 1058*c_1100_10^13 - 1722*c_1100_10^12 + 1929*c_1100_10^11 - 1611*c_1100_10^10 + 1038*c_1100_10^9 - 480*c_1100_10^8 + 235*c_1100_10^7 - 207*c_1100_10^6 + 189*c_1100_10^5 - 127*c_1100_10^4 + 50*c_1100_10^3 - 10*c_1100_10^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.060 Total time: 9.259 seconds, Total memory usage: 64.12MB