Magma V2.19-8 Wed Aug 21 2013 00:17:31 on localhost [Seed = 3465061286] Type ? for help. Type -D to quit. Loading file "K13n697__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n697 geometric_solution 11.60078047 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 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 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102789566151 1.283013143673 0 5 7 6 0132 0132 0132 0132 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 -1 1 0 0 13 -13 0 1 0 -1 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379850813632 0.544139421839 7 0 8 6 0132 0132 0132 2031 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 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465034896723 0.305325291336 9 8 10 0 0132 3012 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821757510494 0.790925382595 10 11 0 5 0321 0132 0132 2103 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 -1 14 0 0 0 0 13 0 0 -13 1 13 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004974261465 0.706314161501 12 1 7 4 0132 0132 1023 2103 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 0 -13 13 -1 0 1 0 0 14 0 -14 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889021676516 0.945804576961 9 2 1 10 2103 1302 0132 3201 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 -13 0 13 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.346535013866 0.777820506996 2 11 5 1 0132 3201 1023 0132 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 13 -13 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954287027882 1.173736647407 3 11 12 2 1230 0321 3012 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 0 0 0 0 0 0 -13 0 0 13 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.199377012000 1.121543176708 3 12 6 11 0132 2310 2103 1230 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 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.802451548402 0.646370938268 4 6 12 3 0321 2310 3120 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 0 0 -1 0 1 0 -13 0 0 13 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029151514894 0.517420187617 9 4 7 8 3012 0132 2310 0321 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424761894681 0.706482008207 5 8 10 9 0132 1230 3120 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 -1 1 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601168156083 0.330843162126 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_1001_10']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_0'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['c_0011_3']), '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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_8']), 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_12']), 'c_1100_3' : negation(d['c_0101_12']), 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_0'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_2'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_3'], '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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_6']), '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_11'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0011_8']})} 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_8, c_0101_0, c_0101_11, c_0101_12, c_0101_7, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 5829347058938480271673333577921787506497449400182840118032812005639\ 8771874/14866160510857465634983255254863902565595662520039555222139\ 91818285051611*c_1001_2^25 + 36950347311290419822892688491100250864\ 0407021382835041285692672086283613426/14866160510857465634983255254\ 86390256559566252003955522213991818285051611*c_1001_2^24 + 2284384880988462269701616243357257580464671065523713766664806281194\ 80914588/1486616051085746563498325525486390256559566252003955522213\ 991818285051611*c_1001_2^23 + 4834152496689962471629670869274639313\ 8322199438915603642347223880313713132/34572466304319687523216872685\ 730005966501540744278035400325391122908177*c_1001_2^22 + 2605698158885160815971761723349769247894982141942006855517188816477\ 21383842/1143550808527497356537173481143377120430435578464581170933\ 83986021927047*c_1001_2^21 + 24780053123706581760756840112496410407\ 37161990722402352328229286295086201730/1486616051085746563498325525\ 486390256559566252003955522213991818285051611*c_1001_2^20 + 3954149765544236014915842683236718065237885028106024032731311484225\ 78939625/3197023765775799061286721560185785497977561832266571015513\ 9608995377454*c_1001_2^19 + 212048932411155469693124268162024727465\ 9106889325806769887695035307185036663/99107736739049770899888368365\ 7593504373044168002637014809327878856701074*c_1001_2^18 + 3681686784460971151601180073432718627485613470285998172760135095914\ 8839272348/14866160510857465634983255254863902565595662520039555222\ 13991818285051611*c_1001_2^17 + 11063106754327998046969870679912474\ 888325654576584853565041065325974599159699/148661605108574656349832\ 5525486390256559566252003955522213991818285051611*c_1001_2^16 + 2082560397389817064434945050299812509633243006227349270099511099043\ 38406331/3303591224634992363329612278858645014576813893342123382697\ 75959618900358*c_1001_2^15 - 92914410217830207528629222952130158182\ 4245496887737864666826560548521286551/49553868369524885449944184182\ 8796752186522084001318507404663939428350537*c_1001_2^14 - 8924523392630235519175554553166293554145288479205611685844406618555\ 9007064882/14866160510857465634983255254863902565595662520039555222\ 13991818285051611*c_1001_2^13 - 12718120179328716036337812054587629\ 9615691660575752483985001829794521213087/28533897333699550163115653\ 08035297997235251923232160311351231896900291*c_1001_2^12 - 8428308521866480516166579557244028250132442962503089416875338238591\ 0571412071/99107736739049770899888368365759350437304416800263701480\ 9327878856701074*c_1001_2^11 - 115580794355315097347195392658766432\ 96665179625746199131377238704844577658305/1564859001142891119471921\ 60577514763848375394947784791811999138766847538*c_1001_2^10 - 1870663136242189389150105696626703726888590247197814619692874926964\ 56727466783/2973232102171493126996651050972780513119132504007911044\ 427983636570103222*c_1001_2^9 - 65754268146785475615339847144317714\ 991573563717283833637526035556679649540583/148661605108574656349832\ 5525486390256559566252003955522213991818285051611*c_1001_2^8 - 7018832291760834902878086999274219888397153139976013908502546709418\ 6713988445/29732321021714931269966510509727805131191325040079110444\ 27983636570103222*c_1001_2^7 - 930114216658342818786252135052925568\ 534409602932952322033825471475766658889/110119707487833078777653742\ 628621500485893796444737446089925319872966786*c_1001_2^6 + 9564370370008351048176877421547670557901222727380198931306882299680\ 41695808/1486616051085746563498325525486390256559566252003955522213\ 991818285051611*c_1001_2^5 + 28091502433687944426397508223103346362\ 8449840546115833368498464957878118281/33035912246349923633296122788\ 5864501457681389334212338269775959618900358*c_1001_2^4 + 3777038097169856901452325303925047132108813998380992040409622974240\ 07075334/1651795612317496181664806139429322507288406946671061691348\ 87979809450179*c_1001_2^3 + 168091048226171550610915790913310822429\ 3340473395414799213115319667467551251/14866160510857465634983255254\ 86390256559566252003955522213991818285051611*c_1001_2^2 + 4228969594615983792762429241622416390982241700015694559098565167274\ 217487/165179561231749618166480613942932250728840694667106169134887\ 979809450179*c_1001_2 - 2331753585220186802201994319334456092919477\ 48474629216674895317672732677467/9910773673904977089988836836575935\ 04373044168002637014809327878856701074, c_0011_0 - 1, c_0011_10 + 612499966651979935926390916934515373643324731737352/4656991\ 02969303978067076686467021435223163950320321*c_1001_2^25 - 4000913493020780834341260382629626638718034009454544/46569910296930\ 3978067076686467021435223163950320321*c_1001_2^24 - 1311336806396733068248339197670186924335135477653716/46569910296930\ 3978067076686467021435223163950320321*c_1001_2^23 - 547024398984902957299439237773193531229295181918188/108302116969605\ 57629466899685279568261003812798147*c_1001_2^22 - 32523523335321893295310761595625053377363221927407744/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^21 - 32226439122267479106776827172060357188366271287047632/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^20 - 69217834295971448338345924433369602788413497488789206/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^19 - 5086445032690886827979342898587374903628188588446824/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^18 - 491859359674352657563005245269623229829543990987541007/465699102969\ 303978067076686467021435223163950320321*c_1001_2^17 - 60299499266286632027761526286761323790648066686921337/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^16 - 27013921978880345548080635885824564123848580236806158/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^15 - 1089094395059279614798187205498417536723828681278618/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 + 833407576835670875714195392195872100764271592605492912/465699102969\ 303978067076686467021435223163950320321*c_1001_2^13 + 570273464386209709108870583036170848898556574449778385/465699102969\ 303978067076686467021435223163950320321*c_1001_2^12 + 568162828782504576790249373503969647154343399079621560/155233034323\ 101326022358895489007145074387983440107*c_1001_2^11 + 1301569418027769324860596843655625857320082740078423856/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^10 + 1683571152954318303524889791919647566352167343286100313/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^9 + 1152092963637776309149187836917172284987218289563631256/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^8 + 1002855417226377912681921705976833406200384964608089042/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^7 + 54664642786687478270653694798704062559158546726949612/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^6 + 298443553999126606645029533928875934272842184770553321/465699102969\ 303978067076686467021435223163950320321*c_1001_2^5 + 28021704032383936486215528743522801120518932922490227/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 + 1910066238284532984967650849571316691686880885418138/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^3 - 23040672316840129449326388671297526148419421522796267/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^2 - 3115671785435963850749110084900662765256482419484643/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 - 414723090827770944137768516306235908824351371798451/517443447743671\ 08674119631829669048358129327813369, c_0011_11 - 1283055856467947412315560945362957333592591286936536/465699\ 102969303978067076686467021435223163950320321*c_1001_2^25 + 8432947279527078642513495460612792546148904181403144/46569910296930\ 3978067076686467021435223163950320321*c_1001_2^24 + 2344137483193955077672642353496837646245293365297944/46569910296930\ 3978067076686467021435223163950320321*c_1001_2^23 + 1153922603080872830011346160613949643547964205623728/10830211696960\ 557629466899685279568261003812798147*c_1001_2^22 + 66007624087828009770946289707467115195749557525962504/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^21 + 67185322177314330660735283322946311428332463606545284/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^20 + 48250373673437263984005889847864295804340681803402010/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^19 + 5349329191187429778265573914385699783434666168199502/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^18 + 1049632278048134737848237696172013640207218740575792034/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^17 + 73738243016192640463042096024666703750964972466039088/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^16 + 186144132398220591542943784403334410402786559065370586/155233034323\ 101326022358895489007145074387983440107*c_1001_2^15 - 2423710201446383171659715233905522279738973820516479/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 - 1719206809072832532650636748385055728958547457091381149/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^13 - 1128446920988867758242145019956378638899703951193565710/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^12 - 1204290077452164339066801697794026159688946765847909899/15523303432\ 3101326022358895489007145074387983440107*c_1001_2^11 - 2582826995087234111803259708217510193947721392301862012/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^10 - 3576813164628597893424815113698710729422936936629346433/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^9 - 2321360479995312643639779918719781117555701240988902371/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^8 - 2120965264150819638921108756786861019685244841748274110/46569910296\ 9303978067076686467021435223163950320321*c_1001_2^7 - 335329291292206840420108435922147796765331646153890621/155233034323\ 101326022358895489007145074387983440107*c_1001_2^6 - 639136634301275235485935070158746711821181475188419678/465699102969\ 303978067076686467021435223163950320321*c_1001_2^5 - 57951447236917362695621498912739919563336130445631227/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 - 6946982771862023178272685609010441107144976789399300/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^3 + 46207773960150131075930660623118708336127673071973322/4656991029693\ 03978067076686467021435223163950320321*c_1001_2^2 + 5956484776293502680401287020534392373050634630775211/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 + 853345560711389368832860737052175215668650815027797/517443447743671\ 08674119631829669048358129327813369, c_0011_3 + 229265918943452505535881309808175198973798733826740/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 - 1521150448591558232926246747527914942264887171708996/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^24 - 320308312022582838316436507344168879817611521852680/155233034323101\ 326022358895489007145074387983440107*c_1001_2^23 - 206221714729619509856389507847523959400102252541544/361007056565351\ 9209822299895093189420334604266049*c_1001_2^22 - 11275562503220216205325922717577542658754057652381552/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^21 - 11423952066616697315836771395292496257244001312751192/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^20 - 25737828251395931214495149509054762983593543511362755/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^19 + 578278740868409630709860716255245587021040299039033/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 - 188969525645647073232997647894384581815909859504206316/155233034323\ 101326022358895489007145074387983440107*c_1001_2^17 - 2471740877120965875590255555453116511542397150243554/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^16 - 33800314865323144365184024092297493652632554001485828/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^15 + 2202825236948579511155731001016996161347809975754207/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 + 308467450908038628127257251188645886951689419614528156/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 + 179623368013091041721996172810835483956969594629252762/155233034323\ 101326022358895489007145074387983440107*c_1001_2^12 + 213758334812780003714723528855884108511159922374907569/517443447743\ 67108674119631829669048358129327813369*c_1001_2^11 + 428602361067475087676234211973397367960335113477185478/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 + 620114940778236417398305371227859108546428124560225584/155233034323\ 101326022358895489007145074387983440107*c_1001_2^9 + 392591739282065623001264062921561138049441542101560876/155233034323\ 101326022358895489007145074387983440107*c_1001_2^8 + 361068698673332056974042649542458212530234756350777863/155233034323\ 101326022358895489007145074387983440107*c_1001_2^7 + 56884833468722316272914700164362233224619499769118581/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^6 + 107937078621254256608126145436540191539347999751725966/155233034323\ 101326022358895489007145074387983440107*c_1001_2^5 + 9958792868566074699035134333544803262836465748282605/51744344774367\ 108674119631829669048358129327813369*c_1001_2^4 + 1065292020549702431503363215942780993346808230697899/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 - 7367691865423065466050732266963569548510915167071885/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^2 - 937335581343192075681545773421167512933175476680122/517443447743671\ 08674119631829669048358129327813369*c_1001_2 - 429449633437362491210533871383598846000202429098700/517443447743671\ 08674119631829669048358129327813369, c_0011_6 - 187986303694993292100623000520877764079827423677192/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 + 1244340804901419272584528306996543446315962266738076/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^24 + 285529439826202950637988302912443683988677861701780/155233034323101\ 326022358895489007145074387983440107*c_1001_2^23 + 168612856902461221236139250081172305990394134335396/361007056565351\ 9209822299895093189420334604266049*c_1001_2^22 + 9359232501951448310321368635963754805343913731291568/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^21 + 9411598700281248185259329608207644737082408854715092/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^20 + 21107277576419487598630334977266917623229466902832134/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^19 - 125316004298413866002489605403304280761114105051793/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 + 153879540800697956316760112306709370926424260046536433/155233034323\ 101326022358895489007145074387983440107*c_1001_2^17 + 4972028423887619352090547386768107099885986727714291/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^16 + 27192351683058602627883377901671312962682398159849618/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^15 - 1449086653542965936797879356464185964471415986761037/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 - 250923142786003743587420638208427568522992388715894905/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 - 153617406908362356850619614048971986729306593008237259/155233034323\ 101326022358895489007145074387983440107*c_1001_2^12 - 173893988188984196750416271878234912251588035572678997/517443447743\ 67108674119631829669048358129327813369*c_1001_2^11 - 360206812745616629310907569243006505854554430522310175/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 - 511013485167241652550932786040771727289717670576020285/155233034323\ 101326022358895489007145074387983440107*c_1001_2^9 - 324710127643373906771014362516324451729973561757602860/155233034323\ 101326022358895489007145074387983440107*c_1001_2^8 - 303126870248877329156849112483978061175819159823172865/155233034323\ 101326022358895489007145074387983440107*c_1001_2^7 - 46605242436465765000277345901322804300419310204783712/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^6 - 92237962709638318277298556168432098084859852528688456/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^5 - 8055483468536114692456992937483824102994348532193998/51744344774367\ 108674119631829669048358129327813369*c_1001_2^4 - 1183332883741051287568902334485416336347599938368558/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 + 6406108548721091896132860770824080384652110962329919/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^2 + 709037347602305677461035376683644143836960508856961/517443447743671\ 08674119631829669048358129327813369*c_1001_2 + 371566186553241124548097367677302649796409049678612/517443447743671\ 08674119631829669048358129327813369, c_0011_8 - 384613207554823362846755494657254030587109148454408/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 + 2534589854903844806511239849442203917378795004356384/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^24 + 663021497515538627340879949437339463609272737875616/155233034323101\ 326022358895489007145074387983440107*c_1001_2^23 + 114951448780695993900487066438936185423056228576988/120335685521783\ 9736607433298364396473444868088683*c_1001_2^22 + 6516428041721924512220542510904796087401087717533608/51744344774367\ 108674119631829669048358129327813369*c_1001_2^21 + 19614548651683284323435326459891983556346682533746060/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^20 + 129759314281362568302001594058754055245641228113004890/155233034323\ 101326022358895489007145074387983440107*c_1001_2^19 + 811915638514866426549829950414801247676182585657048/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 + 313201472812484201029276448471620299196066937489093968/155233034323\ 101326022358895489007145074387983440107*c_1001_2^17 + 17943638959312623946167336905958254262612266858328025/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^16 + 162674829453180240543470691439405327921609170253262800/155233034323\ 101326022358895489007145074387983440107*c_1001_2^15 - 1969566712371972269597698737816887036246907200307135/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 - 518674181665222687663428399619484036354744023576724716/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 - 108972065710082058696108291646900834839932422177278899/517443447743\ 67108674119631829669048358129327813369*c_1001_2^12 - 1071260147088498410044614327899554549388871682075037471/15523303432\ 3101326022358895489007145074387983440107*c_1001_2^11 - 757470985052570838749481925312851472841816564615903732/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 - 348632070939332384566370250227044780687271986095494331/517443447743\ 67108674119631829669048358129327813369*c_1001_2^9 - 680048534816926848588192512847444689883969205132025024/155233034323\ 101326022358895489007145074387983440107*c_1001_2^8 - 615254370238332437249845253634902597326536889638229711/155233034323\ 101326022358895489007145074387983440107*c_1001_2^7 - 291682711247662210531738166745400010373010024108613527/155233034323\ 101326022358895489007145074387983440107*c_1001_2^6 - 184633747033369620034184255180198049499715380909079087/155233034323\ 101326022358895489007145074387983440107*c_1001_2^5 - 49844107174094275725122990784784410396348962256346672/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 - 1904265849827223552097690056921805390485626944334847/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 + 13301995839622467007252189388472848421984927230840384/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^2 + 4811130189178785942457092265529038270999831211402302/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 + 708919272602405114870293029538397811803500570034410/517443447743671\ 08674119631829669048358129327813369, c_0101_0 + 105604891500861095240711696634932873642789634563796/51744344\ 774367108674119631829669048358129327813369*c_1001_2^25 - 2094133630280942765104279967283801700810346202324752/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^24 - 503218831446912633212526318271978524428356510217200/155233034323101\ 326022358895489007145074387983440107*c_1001_2^23 - 284012354397631137689980400285142841669784112966056/361007056565351\ 9209822299895093189420334604266049*c_1001_2^22 - 15853105443568898370606852308758481909066407366930088/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^21 - 15893403143221289905509276042857648130072798793382372/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^20 - 106596331651137649090577009213343775632951592573788235/155233034323\ 101326022358895489007145074387983440107*c_1001_2^19 + 14628833393190378881667342477134945897454786683446/5174434477436710\ 8674119631829669048358129327813369*c_1001_2^18 - 86141106886930207209935652470527786206540805512043808/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^17 - 9376326594655822148929339733903810781148808806474658/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^16 - 135325303384632949114291277830321107933333032515023706/155233034323\ 101326022358895489007145074387983440107*c_1001_2^15 + 2736326365067783103825582521104257376065800399149106/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 + 141851006090725695962746769788613343483046406320734487/517443447743\ 67108674119631829669048358129327813369*c_1001_2^13 + 260710369848175751539654445505392644154427913244463860/155233034323\ 101326022358895489007145074387983440107*c_1001_2^12 + 879365479421684788948166631882069539993929173673613171/155233034323\ 101326022358895489007145074387983440107*c_1001_2^11 + 201860474729188068846827440123074502214470030434736663/517443447743\ 67108674119631829669048358129327813369*c_1001_2^10 + 855376544821107956450029050728796066533558623707891013/155233034323\ 101326022358895489007145074387983440107*c_1001_2^9 + 544340319434926818358138710992711921648481505727956225/155233034323\ 101326022358895489007145074387983440107*c_1001_2^8 + 500316148648732844415807409938216580663154764026504995/155233034323\ 101326022358895489007145074387983440107*c_1001_2^7 + 233795815955456567210551272688640627753119327691976931/155233034323\ 101326022358895489007145074387983440107*c_1001_2^6 + 49502511226568382134424510220060517087142486197876441/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^5 + 40387011195397998822224378550639900073882152569146717/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 + 1230804120128755910941816182168656650444330656850574/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 - 3509194089828244970740608074881225636688110473890126/51744344774367\ 108674119631829669048358129327813369*c_1001_2^2 - 3896944023595384332101823259042180224365142795647332/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 - 541190570557655661668609964521968337116321100253799/517443447743671\ 08674119631829669048358129327813369, c_0101_11 + 95826800582410176159177373491058380264101675629600/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 - 209244193947117171744445824328211416161061905933368/517443447743671\ 08674119631829669048358129327813369*c_1001_2^24 - 66810732892968327863587941387033831974132568107700/5174434477436710\ 8674119631829669048358129327813369*c_1001_2^23 - 84346407678078774730915529486029307246049002939800/3610070565653519\ 209822299895093189420334604266049*c_1001_2^22 - 5035958409822729063501605266965606850725080417899648/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^21 - 1555512410637994707898055748431301399101401659279488/51744344774367\ 108674119631829669048358129327813369*c_1001_2^20 - 32202396748304347105332688163881019975826158584953652/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^19 - 505613576420040554744377256537579961613373157842678/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 - 74718231076117391453734781631646466448323475687720233/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^17 - 3069550910083325226042351631342421110299850419897972/51744344774367\ 108674119631829669048358129327813369*c_1001_2^16 - 31376079115445309789478113868059159537391472225114288/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^15 - 1469776228550148826559249264309565165517165557066840/51744344774367\ 108674119631829669048358129327813369*c_1001_2^14 + 135679391261053999614404519492195756999097549670156061/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 + 83390873382049779475540945371223863509072707128625948/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^12 + 257053848046025876892702459725815876917504709428362615/155233034323\ 101326022358895489007145074387983440107*c_1001_2^11 + 197646877743279402772493280941636830174741380521498356/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 + 239296578017640414200340971513277351167379028588772513/155233034323\ 101326022358895489007145074387983440107*c_1001_2^9 + 57980543460839437428009039301595009336604868610586346/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^8 + 45126087608642871317870933813291387210307853608374823/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^7 + 72081800771715843350838372823490172030138724974092074/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^6 + 37338594588318813712206949721612112671236157630549821/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^5 + 11740182398110513144922595581979609799755157037853661/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 - 273498086756109701699266725589764759651338263160311/517443447743671\ 08674119631829669048358129327813369*c_1001_2^3 - 3207386295386193864457963615357290499994996066963503/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^2 - 1247024012195459748740681292671907550465387673627569/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 - 117008315890510394059981090261200280235888438150713/517443447743671\ 08674119631829669048358129327813369, c_0101_12 + 1491761132152141297273755644122878341678647771136/517443447\ 74367108674119631829669048358129327813369*c_1001_2^25 - 8568232843499245851707411271543447717674833366944/51744344774367108\ 674119631829669048358129327813369*c_1001_2^24 - 10605685187224266093090447178038652303600733006584/5174434477436710\ 8674119631829669048358129327813369*c_1001_2^23 - 1439474805278161334624304543973993730838842084096/12033568552178397\ 36607433298364396473444868088683*c_1001_2^22 - 122248817817836872441458898046395540505931572691892/517443447743671\ 08674119631829669048358129327813369*c_1001_2^21 - 154751455094855361135774341484325213927177520143952/517443447743671\ 08674119631829669048358129327813369*c_1001_2^20 - 569675854948188741184806235598963292402157052977008/517443447743671\ 08674119631829669048358129327813369*c_1001_2^19 - 453562794169533230971368220169386024136429463867200/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 - 1323811382604240115100116389077674929170224245891026/51744344774367\ 108674119631829669048358129327813369*c_1001_2^17 - 999187971800856885035332077324757845645373290784288/517443447743671\ 08674119631829669048358129327813369*c_1001_2^16 - 1093298525892650286254430316373582461752120080912767/51744344774367\ 108674119631829669048358129327813369*c_1001_2^15 - 192004077207229128486594771908878203677576122473426/517443447743671\ 08674119631829669048358129327813369*c_1001_2^14 + 1536997657771008144784387414216234155906158115754392/51744344774367\ 108674119631829669048358129327813369*c_1001_2^13 + 3238507336926991037405430454001025321471143075828020/51744344774367\ 108674119631829669048358129327813369*c_1001_2^12 + 5529205400352075027764638367735484432106658569507420/51744344774367\ 108674119631829669048358129327813369*c_1001_2^11 + 6343194028375155991284217967409968307563846006687642/51744344774367\ 108674119631829669048358129327813369*c_1001_2^10 + 7804003531179954602392397917297677919588736303896789/51744344774367\ 108674119631829669048358129327813369*c_1001_2^9 + 5886969007272895849132157844217147179550613022966621/51744344774367\ 108674119631829669048358129327813369*c_1001_2^8 + 5810982112737291989082730029362041795697672672932283/51744344774367\ 108674119631829669048358129327813369*c_1001_2^7 + 3173253757021476843996654638455275618678181996218114/51744344774367\ 108674119631829669048358129327813369*c_1001_2^6 + 2313454334408980439407312752259536836633976253146023/51744344774367\ 108674119631829669048358129327813369*c_1001_2^5 + 760320482411593176744976680892888774044333157478998/517443447743671\ 08674119631829669048358129327813369*c_1001_2^4 + 442798853881575403482559894235116460350795720820967/517443447743671\ 08674119631829669048358129327813369*c_1001_2^3 - 99439085756541211138563283138791888928832841393997/5174434477436710\ 8674119631829669048358129327813369*c_1001_2^2 + 41436449315271183458857191981917497701313394583800/5174434477436710\ 8674119631829669048358129327813369*c_1001_2 - 43837706324454031686015903536110304415126860114946/5174434477436710\ 8674119631829669048358129327813369, c_0101_7 + 258364399403311243474113885189984881708199756871460/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 - 1689456987982494893259952801212474161294198117898664/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^24 - 535964408015686937905425289172161920495501156936296/155233034323101\ 326022358895489007145074387983440107*c_1001_2^23 - 77206230463287817960969613112900032128089047126848/1203356855217839\ 736607433298364396473444868088683*c_1001_2^22 - 4540551188404498026586524952522451948360758866461408/51744344774367\ 108674119631829669048358129327813369*c_1001_2^21 - 13714698161690345978496242002559235592729760523888928/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^20 - 87588727510609027603984958993116141223571398184734221/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^19 - 1972894847251772728284454128197002852582788333711396/51744344774367\ 108674119631829669048358129327813369*c_1001_2^18 - 209206469540753037346325491390821451560699639185713774/155233034323\ 101326022358895489007145074387983440107*c_1001_2^17 - 22355472225631994055555139933966770367487188646580700/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^16 - 107647110808562758619958327907516733010680490397956244/155233034323\ 101326022358895489007145074387983440107*c_1001_2^15 + 30357009507750643958634531014946788506925936766553/5174434477436710\ 8674119631829669048358129327813369*c_1001_2^14 + 348244038934018778978211838399077357549296559192069679/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 + 79511689735843826136590303748647471017016203425937440/5174434477436\ 7108674119631829669048358129327813369*c_1001_2^12 + 725380065897125597557272001982727452199333247807841825/155233034323\ 101326022358895489007145074387983440107*c_1001_2^11 + 540363179103913642306834762943292022315909385441507633/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 + 240390231884288976408816870978675229492507927293053321/517443447743\ 67108674119631829669048358129327813369*c_1001_2^9 + 481664336543450960170853272973642758568566672439979224/155233034323\ 101326022358895489007145074387983440107*c_1001_2^8 + 428983276517007604074165465176187423085582605890206246/155233034323\ 101326022358895489007145074387983440107*c_1001_2^7 + 209173485780034230046796474420632412441945504614328938/155233034323\ 101326022358895489007145074387983440107*c_1001_2^6 + 128145246377725752034275633270217775780051535869878337/155233034323\ 101326022358895489007145074387983440107*c_1001_2^5 + 36909826991802926007197696673214003612775245758789382/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 + 1171886938908427241173093957853532747042027261210712/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 - 9517967827158579432748655718756476722309952711336159/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^2 - 3642464472650214730372149313161914861993771131580287/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 - 516270106323741725891342223495513351654462880319248/517443447743671\ 08674119631829669048358129327813369, c_1001_1 + 211314771576554691045055998202650337345087042365400/15523303\ 4323101326022358895489007145074387983440107*c_1001_2^25 - 462830277544672186541813370115869538862086886302508/517443447743671\ 08674119631829669048358129327813369*c_1001_2^24 - 128922434926918399114620322236325223201431298217512/517443447743671\ 08674119631829669048358129327813369*c_1001_2^23 - 190324418677463066960624348374171376209950061106404/361007056565351\ 9209822299895093189420334604266049*c_1001_2^22 - 10895269730306378729391815027037028310108442717075988/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^21 - 3718883294222010478772898088239091828677559025613448/51744344774367\ 108674119631829669048358129327813369*c_1001_2^20 - 71674076006838571013191088943519799603078427726633386/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^19 - 967582288773550517142628822477486248296730958392345/517443447743671\ 08674119631829669048358129327813369*c_1001_2^18 - 173565200259797747583112323678266411362396298098591736/155233034323\ 101326022358895489007145074387983440107*c_1001_2^17 - 4251359808511487079167273322505103536598313917059007/51744344774367\ 108674119631829669048358129327813369*c_1001_2^16 - 93460710938152525992311938496805314077643076988541749/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^15 + 806451231013639304156176884902963404761297445209738/517443447743671\ 08674119631829669048358129327813369*c_1001_2^14 + 282813874222889729846573744807880582796328368596844310/155233034323\ 101326022358895489007145074387983440107*c_1001_2^13 + 185336402267268760315925809477708099577233796859894766/155233034323\ 101326022358895489007145074387983440107*c_1001_2^12 + 598859311302674188954086674364478291221026817180474122/155233034323\ 101326022358895489007145074387983440107*c_1001_2^11 + 428767689221439093170534890063370354635584852281473198/155233034323\ 101326022358895489007145074387983440107*c_1001_2^10 + 595884190803525995748114001798933669596377267240294150/155233034323\ 101326022358895489007145074387983440107*c_1001_2^9 + 130100365445324695147855505816237109889335026815341429/517443447743\ 67108674119631829669048358129327813369*c_1001_2^8 + 118368796633848056338023093856280445640735767448218588/517443447743\ 67108674119631829669048358129327813369*c_1001_2^7 + 173168269512588102981891180713679166641104273624612797/155233034323\ 101326022358895489007145074387983440107*c_1001_2^6 + 108424660125694414511314812298824293218154501324748451/155233034323\ 101326022358895489007145074387983440107*c_1001_2^5 + 31977151124747682069361890827921675875017313104515563/1552330343231\ 01326022358895489007145074387983440107*c_1001_2^4 + 1407903853832717826620735776602902743218941072745837/51744344774367\ 108674119631829669048358129327813369*c_1001_2^3 - 6757097783015881833584268447579838705655933146338580/15523303432310\ 1326022358895489007145074387983440107*c_1001_2^2 - 3014298121005381747129218945376715834226984759665501/15523303432310\ 1326022358895489007145074387983440107*c_1001_2 - 405467688966543274587616232547181844603382827615238/517443447743671\ 08674119631829669048358129327813369, c_1001_10 - c_1001_2, c_1001_2^26 - 7*c_1001_2^25 + c_1001_2^24 - 38*c_1001_2^23 - 35*c_1001_2^22 - 31*c_1001_2^21 - 1269/4*c_1001_2^20 + 525/4*c_1001_2^19 - 3275/4*c_1001_2^18 + 290*c_1001_2^17 - 1689/4*c_1001_2^16 + 195*c_1001_2^15 + 2665/2*c_1001_2^14 + 601/2*c_1001_2^13 + 9873/4*c_1001_2^12 + 832*c_1001_2^11 + 3941/2*c_1001_2^10 + 2687/4*c_1001_2^9 + 3673/4*c_1001_2^8 + 123*c_1001_2^7 + 371/2*c_1001_2^6 - 237/4*c_1001_2^5 - 36*c_1001_2^4 - 40*c_1001_2^3 + 3/4*c_1001_2^2 - 3/4*c_1001_2 + 9/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.320 Total time: 6.530 seconds, Total memory usage: 96.16MB