Magma V2.19-8 Tue Aug 20 2013 17:57:09 on localhost [Seed = 1478093906] Type ? for help. Type -D to quit. Loading file "11_531__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_531 geometric_solution 10.36707815 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 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 7 0 -6 -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.081750318094 0.425584988034 0 2 3 5 0132 0213 3120 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 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.677796314952 0.347732284545 6 0 1 7 0132 0132 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675802347020 1.082858022188 5 4 1 0 0132 3120 3120 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 -7 6 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.647740663085 0.881508278832 8 3 0 8 0132 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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.654347571190 1.139461452114 3 9 1 10 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 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.116777217440 1.240639778763 2 11 10 11 0132 0132 3201 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 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.538622287463 1.279822057961 10 8 2 9 1302 2103 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 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.214473802148 0.870158152609 4 7 11 4 0132 2103 0321 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.654347571190 1.139461452114 7 5 9 9 3120 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272194455741 1.127699385601 6 7 5 11 2310 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.067100264939 0.581023816382 6 6 8 10 3012 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.279359934482 0.663787991291 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0110_7']), 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0110_7']), 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_7'], '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' : 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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_7'], 'c_1100_8' : d['c_0101_11'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_9']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0110_7']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_9']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_9']), 'c_1010_8' : d['c_0011_3'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_3'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_10']), 'c_0110_10' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_9, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1455493561956644069870125467246521100858841591809520980377346462744\ 91/2651935330695408466804058359421643957566713247835408387595786496\ 63559*c_1001_1^28 + 24780250143982195781338717763223689329164879546\ 45371017007534968994/8365726595253654469413433310478372105888685324\ 40191920377219715027*c_1001_1^27 + 5636091018046881077037301939346046871700309696612506993537627248642\ 05/8839784435651361556013527864738813191889044159451361291985954988\ 7853*c_1001_1^26 + 239928734982562752959217212946212225026857245627\ 4644060778650062614665/26519353306954084668040583594216439575667132\ 4783540838759578649663559*c_1001_1^25 + 1606796359550751459171457104303000353029464420449935188420703325909\ 5/32739942354264302059309362461995604414403867257227264044392425884\ 39*c_1001_1^24 - 70396452435797250339344561436160694681988816745925\ 3352129346978776380/29465948118837871853378426215796043972963480531\ 504537639953183295951*c_1001_1^23 - 2235990756546817645130978890791633281312854055820385286453384649403\ 6247/26519353306954084668040583594216439575667132478354083875957864\ 9663559*c_1001_1^22 - 582858418687749382568080392890966137091693528\ 22518391092396976483450116/2651935330695408466804058359421643957566\ 71324783540838759578649663559*c_1001_1^21 - 9784252703685595955537327021268876922707236871551012864827564228573\ 4920/26519353306954084668040583594216439575667132478354083875957864\ 9663559*c_1001_1^20 - 607868868112579486639411048919047063945181600\ 8914517345829304116257438/88397844356513615560135278647388131918890\ 441594513612919859549887853*c_1001_1^19 + 6778046445957800859990626803600622029597435709731609961206064219852\ 2492/88397844356513615560135278647388131918890441594513612919859549\ 887853*c_1001_1^18 + 3192306708121879515871922676480932733851108540\ 18036536209337306003468594/2651935330695408466804058359421643957566\ 71324783540838759578649663559*c_1001_1^17 + 9853264601707460492131955311966993393867749838092759651489878097943\ 0067/88397844356513615560135278647388131918890441594513612919859549\ 887853*c_1001_1^16 + 4990290134072598630049482973927147172392206301\ 52928032933211179570626771/2651935330695408466804058359421643957566\ 71324783540838759578649663559*c_1001_1^15 + 7906439245016301894906345513886811233052648439527890690444584388318\ 21456/2651935330695408466804058359421643957566713247835408387595786\ 49663559*c_1001_1^14 + 62287847338757326923286863138944046481827370\ 8791831924148709413251441243/26519353306954084668040583594216439575\ 6671324783540838759578649663559*c_1001_1^13 + 2042329398297693817007189973184005069837089253042291742163741673109\ 57649/2651935330695408466804058359421643957566713247835408387595786\ 49663559*c_1001_1^12 + 16690740999774586296218352363578196260402947\ 7662469320648653415307899862/26519353306954084668040583594216439575\ 6671324783540838759578649663559*c_1001_1^11 + 3538364480496998322238318864417774936463619231923552298659351229425\ 19751/2651935330695408466804058359421643957566713247835408387595786\ 49663559*c_1001_1^10 + 34613906514654145944302476655116042830532527\ 8578487029527220088219553124/26519353306954084668040583594216439575\ 6671324783540838759578649663559*c_1001_1^9 + 1935286170338152403366381467728499794731276987239598931822425682236\ 85064/2651935330695408466804058359421643957566713247835408387595786\ 49663559*c_1001_1^8 + 812668150956186430479794558314850836810864416\ 69951291846779869273574650/2651935330695408466804058359421643957566\ 71324783540838759578649663559*c_1001_1^7 + 1228328554060828999914779795034168108798455751620018174653744854488\ 657/203995025438108343600312181493972612120516403679646799045829730\ 51043*c_1001_1^6 - 777504626248011860982654357230083336441280191262\ 8509913599960539114707/26519353306954084668040583594216439575667132\ 4783540838759578649663559*c_1001_1^5 - 1934653902542568767349461495022838030613549233499948486197006690248\ 137/883978443565136155601352786473881319188904415945136129198595498\ 87853*c_1001_1^4 - 231884698617590372982114061661696659291216335863\ 7857555715789972271268/26519353306954084668040583594216439575667132\ 4783540838759578649663559*c_1001_1^3 - 1759766565367557128557631379197905266489141902051067306465348449198\ 15/2651935330695408466804058359421643957566713247835408387595786496\ 63559*c_1001_1^2 + 578628573779667652540676823445050809553362799749\ 4371592834969981865/32739942354264302059309362461995604414403867257\ 22726404439242588439*c_1001_1 + 16046221111195423695043291975774296\ 6900350874775146628843232126131615/26519353306954084668040583594216\ 4395756671324783540838759578649663559, c_0011_0 - 1, c_0011_10 - 67728091950448266301381145899329844486976165/25332425393702\ 1082306903491664410740957583371*c_1001_1^28 - 396961930721395675215646939036513183888763068/253324253937021082306\ 903491664410740957583371*c_1001_1^27 - 951648832928241693238118994856592115206846537/253324253937021082306\ 903491664410740957583371*c_1001_1^26 - 1454101633566562748343944826688436997409950580/25332425393702108230\ 6903491664410740957583371*c_1001_1^25 - 1026570877373838076549409092886455107609104859/25332425393702108230\ 6903491664410740957583371*c_1001_1^24 + 2913719802442004931196574299897924505668802473/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 + 12081656740217789226573258510790413388240315161/2533242539370210823\ 06903491664410740957583371*c_1001_1^22 + 32015605031053001948721030123110598912119972051/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 + 57226082289159660513385212659155486661376171641/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 + 25888058050959962802405847075374458094977022420/2533242539370210823\ 06903491664410740957583371*c_1001_1^19 - 98336482841439859449011152695137441307560222936/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 - 203355251285623162869177197593873095480673991854/253324253937021082\ 306903491664410740957583371*c_1001_1^17 - 212012525951955516073181894498472925116536377086/253324253937021082\ 306903491664410740957583371*c_1001_1^16 - 271693918704853992949150582154777704491978507849/253324253937021082\ 306903491664410740957583371*c_1001_1^15 - 417819366691180603604696111014114441130811031172/253324253937021082\ 306903491664410740957583371*c_1001_1^14 - 407489901440678183445865689082767753622312890563/253324253937021082\ 306903491664410740957583371*c_1001_1^13 - 181459859707227029010077496100860704490509534090/253324253937021082\ 306903491664410740957583371*c_1001_1^12 - 22714746530449424129199556830435957832255391278/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 - 91350483484950941277403590590646400797880026677/2533242539370210823\ 06903491664410740957583371*c_1001_1^10 - 213988768831636832454823605601038649172227333359/253324253937021082\ 306903491664410740957583371*c_1001_1^9 - 186466135115209391991902570253769979531459678279/253324253937021082\ 306903491664410740957583371*c_1001_1^8 - 41651322276714396329798888608973485328294344717/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 + 40882341525054960261874630128464444274933193233/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 + 27368756976006443818344171614224765451989923166/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 + 28432915656574762067245425454449111844161198/2533242539370210823069\ 03491664410740957583371*c_1001_1^4 - 3353823054048352207175015458475762643604015627/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 - 2961460842300845202707670824124146485451080038/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 - 293922718153285945592124438575793392645831529/253324253937021082306\ 903491664410740957583371*c_1001_1 + 259331453435117820777668894939801980937423167/253324253937021082306\ 903491664410740957583371, c_0011_3 + 171601358019955469864403565460987589748601257/25332425393702\ 1082306903491664410740957583371*c_1001_1^28 + 818299666705263132847872069634441552383368916/253324253937021082306\ 903491664410740957583371*c_1001_1^27 + 1558764121113592037539928491154974745428998463/25332425393702108230\ 6903491664410740957583371*c_1001_1^26 + 2196382146573135741872358393406412491170999611/25332425393702108230\ 6903491664410740957583371*c_1001_1^25 + 641675383668667918398917613047864684264661716/253324253937021082306\ 903491664410740957583371*c_1001_1^24 - 7476984060781078556698015723119100717676530704/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 - 22208154736873365653407575863425119464859129873/2533242539370210823\ 06903491664410740957583371*c_1001_1^22 - 58790300826025689006368750013482364871939961922/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 - 86883375406171427403719565087861147662423889331/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 + 13684244513093136062156135956255920203535700306/2533242539370210823\ 06903491664410740957583371*c_1001_1^19 + 209444443814118337116955158428751230275713191668/253324253937021082\ 306903491664410740957583371*c_1001_1^18 + 286681767197293630302091891507293323992417191844/253324253937021082\ 306903491664410740957583371*c_1001_1^17 + 283291494035204380101765441204990755471631559543/253324253937021082\ 306903491664410740957583371*c_1001_1^16 + 465254420866217145230722414548977119147839915944/253324253937021082\ 306903491664410740957583371*c_1001_1^15 + 626603044393522949498935665808412215112227393189/253324253937021082\ 306903491664410740957583371*c_1001_1^14 + 463927278729499246112883318531314669913623068985/253324253937021082\ 306903491664410740957583371*c_1001_1^13 + 127797552145428830177908827656419504933693901046/253324253937021082\ 306903491664410740957583371*c_1001_1^12 + 53073103765028903874251182386060698685045688386/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 + 199369572680605316608296058391270564439219090806/253324253937021082\ 306903491664410740957583371*c_1001_1^10 + 316880616051459509186452573372926640015613725922/253324253937021082\ 306903491664410740957583371*c_1001_1^9 + 179332260065567999248932473997908518440387045350/253324253937021082\ 306903491664410740957583371*c_1001_1^8 + 7287521887259730890502318254757083755664412832/25332425393702108230\ 6903491664410740957583371*c_1001_1^7 - 55216596203299750367626889035177958588555189900/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 17357159668427848509074899763498921709151962082/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 - 4153549677753655400979414087150901495549648671/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 7843569837586180441412686371336423941072164009/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 3103897401567617701558817381952456247667194669/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 - 96729198815503149476478521128153306210021004/2533242539370210823069\ 03491664410740957583371*c_1001_1 + 106491163357521204408957237352970584012275195/253324253937021082306\ 903491664410740957583371, c_0011_4 + 96298941719554203544775161451801507376682081/253324253937021\ 082306903491664410740957583371*c_1001_1^28 + 452125566547871512937053816465542104409390745/253324253937021082306\ 903491664410740957583371*c_1001_1^27 + 841808003389385468871288896714428832698953149/253324253937021082306\ 903491664410740957583371*c_1001_1^26 + 1171325067258788396463280195997620236026774413/25332425393702108230\ 6903491664410740957583371*c_1001_1^25 + 273172141496709489426601504068284347425204413/253324253937021082306\ 903491664410740957583371*c_1001_1^24 - 4217337784386630501524218534831044036394598317/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 - 12157958990465255485106916106216284108441735265/2533242539370210823\ 06903491664410740957583371*c_1001_1^22 - 32110316029274629367728982151970808837811733976/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 - 46398141034781015174001612825173755402235810784/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 + 11069313564074929929710584299937829078833486910/2533242539370210823\ 06903491664410740957583371*c_1001_1^19 + 116788798161489116399825557588561083253481863456/253324253937021082\ 306903491664410740957583371*c_1001_1^18 + 152610037783392143367205356547956806350671305230/253324253937021082\ 306903491664410740957583371*c_1001_1^17 + 147840488018711489200758706093983047849020440789/253324253937021082\ 306903491664410740957583371*c_1001_1^16 + 249809263598728103818362309052776471268118332871/253324253937021082\ 306903491664410740957583371*c_1001_1^15 + 333118603843466962007334719441483190046877190766/253324253937021082\ 306903491664410740957583371*c_1001_1^14 + 235937943725188574526213087684275083506023312976/253324253937021082\ 306903491664410740957583371*c_1001_1^13 + 53503036091802270856118953093096703045253210917/2533242539370210823\ 06903491664410740957583371*c_1001_1^12 + 24667760268987922570605363618669882466051111970/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 + 109717647188336531728449803856439177265048567007/253324253937021082\ 306903491664410740957583371*c_1001_1^10 + 169898880133640502702736080133617623844062535954/253324253937021082\ 306903491664410740957583371*c_1001_1^9 + 88008227640378182538740189854155536806446298983/2533242539370210823\ 06903491664410740957583371*c_1001_1^8 - 2476941232141157984972131625318917142808332980/25332425393702108230\ 6903491664410740957583371*c_1001_1^7 - 30893551623627338583171612397059458661785342990/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 7283753198902086851953026576491797568216223632/25332425393702108230\ 6903491664410740957583371*c_1001_1^5 - 1675568187212135939633360440135238546361112873/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 4493597479521269357132978505984933766952918365/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 1242719178886930193153555678218713126547754033/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 - 8132386132163601696638589455855764066175622/25332425393702108230690\ 3491664410740957583371*c_1001_1 + 121747425258003224281933755301250\ 447536784267/253324253937021082306903491664410740957583371, c_0011_7 + 70881524790378812476081210942405418838502659/253324253937021\ 082306903491664410740957583371*c_1001_1^28 + 454482903472816356264067650089570252340899815/253324253937021082306\ 903491664410740957583371*c_1001_1^27 + 1171004628095957093612608119797485693436817003/25332425393702108230\ 6903491664410740957583371*c_1001_1^26 + 1812865672478956441616527971285620852773196201/25332425393702108230\ 6903491664410740957583371*c_1001_1^25 + 1423019801483813340672043385398229422151314907/25332425393702108230\ 6903491664410740957583371*c_1001_1^24 - 3136918856086790966645120204928097997415801635/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 - 14505265530306767290241092830918313225366852328/2533242539370210823\ 06903491664410740957583371*c_1001_1^22 - 38087764967916038120782068448916569733831672568/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 - 71337226765069609933716071403383513916238336958/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 - 41704884566826658866536238575347371694696607032/2533242539370210823\ 06903491664410740957583371*c_1001_1^19 + 115088909933918249539079685760508715295256684667/253324253937021082\ 306903491664410740957583371*c_1001_1^18 + 264480318401979333674982441449810964653257331099/253324253937021082\ 306903491664410740957583371*c_1001_1^17 + 271625127491824235962650570557878426845332155572/253324253937021082\ 306903491664410740957583371*c_1001_1^16 + 316233067722022671355228828162448670537557878641/253324253937021082\ 306903491664410740957583371*c_1001_1^15 + 508478318652130197772520221111583850136816098021/253324253937021082\ 306903491664410740957583371*c_1001_1^14 + 525714093050581931663106341930018312168770957984/253324253937021082\ 306903491664410740957583371*c_1001_1^13 + 230359277050319928203936851402700621816089517342/253324253937021082\ 306903491664410740957583371*c_1001_1^12 - 12144191892244348741974951363783495319393990334/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 + 78246924889538759636536494957512652439911990784/2533242539370210823\ 06903491664410740957583371*c_1001_1^10 + 266988714689995254374602889442216021503376085577/253324253937021082\ 306903491664410740957583371*c_1001_1^9 + 254902732500038857762199582053256927425681213066/253324253937021082\ 306903491664410740957583371*c_1001_1^8 + 50079076193392432913972337832899486199544023374/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 - 71840241761775203347354937830609045101570135280/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 48466527909003515077723515770938998653550927734/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 + 3698696453240598975495372385478088364685923262/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 7739065091729104992317933338287129890360249009/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 4470439646478116000053191734238816081557148995/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 - 15891135315113604384338283315221892771371635/2533242539370210823069\ 03491664410740957583371*c_1001_1 - 520575199847545712567655917716461015141884201/253324253937021082306\ 903491664410740957583371, c_0101_0 - 134785149112529297397981967732180535519405612/25332425393702\ 1082306903491664410740957583371*c_1001_1^28 - 666990036817384830759834379685892016767509309/253324253937021082306\ 903491664410740957583371*c_1001_1^27 - 1342631613203023581914487484583405966118662945/25332425393702108230\ 6903491664410740957583371*c_1001_1^26 - 1960664154007661420126729895865438900375744938/25332425393702108230\ 6903491664410740957583371*c_1001_1^25 - 849665033998831587266434813220143411313569842/253324253937021082306\ 903491664410740957583371*c_1001_1^24 + 5730345289148028434287522424837515237193134374/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 + 18465118165185525757511425549366668216588189245/2533242539370210823\ 06903491664410740957583371*c_1001_1^22 + 49428517684255776003280201523593633152196383023/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 + 77007150193040788812955016901491934079573074261/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 + 2713866236365959688268374567414781643165266190/25332425393702108230\ 6903491664410740957583371*c_1001_1^19 - 164340156382078883537923644761697328302889871622/253324253937021082\ 306903491664410740957583371*c_1001_1^18 - 253972667110223084779579695534541861074487727574/253324253937021082\ 306903491664410740957583371*c_1001_1^17 - 266931545144700886635077644068691853102453773023/253324253937021082\ 306903491664410740957583371*c_1001_1^16 - 412499578461206799696103185083571919214700588495/253324253937021082\ 306903491664410740957583371*c_1001_1^15 - 565096704103799419763819029543754139580340650586/253324253937021082\ 306903491664410740957583371*c_1001_1^14 - 464024189971195214499138358673890197889560125595/253324253937021082\ 306903491664410740957583371*c_1001_1^13 - 182108891348390981080854849457858885693383633420/253324253937021082\ 306903491664410740957583371*c_1001_1^12 - 73069036675162231618968743037314568038555097736/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 - 169545871794404939588682442492693861390591290224/253324253937021082\ 306903491664410740957583371*c_1001_1^10 - 279546221161891546199859129992862740601643131166/253324253937021082\ 306903491664410740957583371*c_1001_1^9 - 188796816576854448306148778664529721983804679600/253324253937021082\ 306903491664410740957583371*c_1001_1^8 - 36555616184791715001649334185454065110692755723/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 + 37887096264276847230719353446772050763177328543/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 + 19907068183252615424741904514760152317743418473/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 + 6359064750954885395603450869517859025317661807/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 - 4569128056293729049661527265636327987107434811/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 - 1872366765736889929009511358591167846529058995/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 - 17464365339584482425167517140027027436313605/2533242539370210823069\ 03491664410740957583371*c_1001_1 - 95869772949555523888988461913575339930899945/2533242539370210823069\ 03491664410740957583371, c_0101_1 + 9854502538409795405566324572904717175883057/2533242539370210\ 82306903491664410740957583371*c_1001_1^28 + 50822484224284235005170044741747968277732225/2533242539370210823069\ 03491664410740957583371*c_1001_1^27 + 99949737782105709693491039462940640433732886/2533242539370210823069\ 03491664410740957583371*c_1001_1^26 + 119274561595747962119496295540965266769541739/253324253937021082306\ 903491664410740957583371*c_1001_1^25 - 6074045457312211730472604837381795347531295/25332425393702108230690\ 3491664410740957583371*c_1001_1^24 - 554767803336845173160786697517613719343129638/253324253937021082306\ 903491664410740957583371*c_1001_1^23 - 1526473278140984950191749074700599151577943773/25332425393702108230\ 6903491664410740957583371*c_1001_1^22 - 3548778353221115887766038564937031787717794152/25332425393702108230\ 6903491664410740957583371*c_1001_1^21 - 5100126800153732730873932068471514775414102763/25332425393702108230\ 6903491664410740957583371*c_1001_1^20 + 2086743211224291365950992311662615487086911871/25332425393702108230\ 6903491664410740957583371*c_1001_1^19 + 17772943451885038089830340794724730343794049273/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 + 22739925542487119121172978878285529581317524144/2533242539370210823\ 06903491664410740957583371*c_1001_1^17 + 12753952797827343452066414188641184297729974293/2533242539370210823\ 06903491664410740957583371*c_1001_1^16 + 14692497617997373646232419070549649905185783268/2533242539370210823\ 06903491664410740957583371*c_1001_1^15 + 26513952974273863157091747310870984319543265169/2533242539370210823\ 06903491664410740957583371*c_1001_1^14 + 12449887391058667846967168135447260772559577079/2533242539370210823\ 06903491664410740957583371*c_1001_1^13 - 23119576841688157733171978916259411105224970294/2533242539370210823\ 06903491664410740957583371*c_1001_1^12 - 31929289597470420272967726407840704706395220967/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 - 5188596934196739811882509946756689900230009806/25332425393702108230\ 6903491664410740957583371*c_1001_1^10 + 16168318840617413399547882643752992745013525761/2533242539370210823\ 06903491664410740957583371*c_1001_1^9 + 5644122745187861046474088313451931741954892239/25332425393702108230\ 6903491664410740957583371*c_1001_1^8 - 16545466952714100272471909515546489124415986790/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 - 19270236471662469606152354669217727465100798103/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 6863010693767707165762388400607975279336821996/25332425393702108230\ 6903491664410740957583371*c_1001_1^5 + 1859885316830152983251650399895427222921575134/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 1446817463320979428222463609769040216513447962/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 456210062870085057458183042835687593245835617/253324253937021082306\ 903491664410740957583371*c_1001_1^2 - 243804990984452865412272795623267690143297459/253324253937021082306\ 903491664410740957583371*c_1001_1 - 61340096165501015569291757319196009420350923/2533242539370210823069\ 03491664410740957583371, c_0101_10 + 11058292690028642433875533745936763307251804/25332425393702\ 1082306903491664410740957583371*c_1001_1^28 + 65175365393500516453564201507601187264826257/2533242539370210823069\ 03491664410740957583371*c_1001_1^27 + 154162030976214108434240587247481740677588612/253324253937021082306\ 903491664410740957583371*c_1001_1^26 + 219392531504948100052045146442209711787572444/253324253937021082306\ 903491664410740957583371*c_1001_1^25 + 109011463156673351305591844161667814249140210/253324253937021082306\ 903491664410740957583371*c_1001_1^24 - 582768150203250489235470703116546238085269485/253324253937021082306\ 903491664410740957583371*c_1001_1^23 - 2095038037403542726662752526229864409769681062/25332425393702108230\ 6903491664410740957583371*c_1001_1^22 - 5180398671804701821940021293843912820630444332/25332425393702108230\ 6903491664410740957583371*c_1001_1^21 - 8755513461223740157298331176466622019552481261/25332425393702108230\ 6903491664410740957583371*c_1001_1^20 - 2407342124181207009634682357133899964483417538/25332425393702108230\ 6903491664410740957583371*c_1001_1^19 + 20140000279915713147922519003972271763409475554/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 + 37409979154539825677464342247481000209667534921/2533242539370210823\ 06903491664410740957583371*c_1001_1^17 + 31088420246775924309370112869698773817235558417/2533242539370210823\ 06903491664410740957583371*c_1001_1^16 + 30353054321396991333157101828349084415075800647/2533242539370210823\ 06903491664410740957583371*c_1001_1^15 + 51825135209796064188204225495223400286567314680/2533242539370210823\ 06903491664410740957583371*c_1001_1^14 + 48037938787734443165647473918677476723388444294/2533242539370210823\ 06903491664410740957583371*c_1001_1^13 - 1092470299045211242870286356155711689814106493/25332425393702108230\ 6903491664410740957583371*c_1001_1^12 - 33305570442102745310366367066654454982724114857/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 - 7582440842317630928015917003184726893871667208/25332425393702108230\ 6903491664410740957583371*c_1001_1^10 + 28588288973040092660860793755098115810781499769/2533242539370210823\ 06903491664410740957583371*c_1001_1^9 + 24309056000327050635363233257482702855495097794/2533242539370210823\ 06903491664410740957583371*c_1001_1^8 - 9412449497481093749757160132959062374400553299/25332425393702108230\ 6903491664410740957583371*c_1001_1^7 - 24290523488804795026960550815266411603202397716/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 12633856832818200510548077837071675265899578661/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 + 1297949617810166923041091019829860178470570219/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 1996908412122723940485104763007334298683904980/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 701868950805835881269582416655019715854924497/253324253937021082306\ 903491664410740957583371*c_1001_1^2 - 128092453122197308914559218666350354298304580/253324253937021082306\ 903491664410740957583371*c_1001_1 - 123352081874666230653777047229169817579317951/253324253937021082306\ 903491664410740957583371, c_0101_11 + 50226666451975887111011498502366919957358739/25332425393702\ 1082306903491664410740957583371*c_1001_1^28 + 268370139331452259645035363932454804730990532/253324253937021082306\ 903491664410740957583371*c_1001_1^27 + 601995463218965422977023374923632519265811857/253324253937021082306\ 903491664410740957583371*c_1001_1^26 + 947362631090160147907288518454341886250748185/253324253937021082306\ 903491664410740957583371*c_1001_1^25 + 646133425327458693367476209417227361343348960/253324253937021082306\ 903491664410740957583371*c_1001_1^24 - 1950357010093783278758863846850817377569307896/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 - 7685937145738894652662648186964239067869963417/25332425393702108230\ 6903491664410740957583371*c_1001_1^22 - 21285508018227672698616114271302680480713433726/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 - 36504425373450550957507393843370476367946141525/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 - 13771919889514162260921622104314378430809121283/2533242539370210823\ 06903491664410740957583371*c_1001_1^19 + 58380388600660205749848984069458369623602360357/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 + 118289485245015898090820525656428650080592982488/253324253937021082\ 306903491664410740957583371*c_1001_1^17 + 141439696075848964133473067115400537153418758170/253324253937021082\ 306903491664410740957583371*c_1001_1^16 + 200413171584767981359808478465160796685721378820/253324253937021082\ 306903491664410740957583371*c_1001_1^15 + 279447391764888447546680849759256299218283435461/253324253937021082\ 306903491664410740957583371*c_1001_1^14 + 269655417736765519269865591582110630196311911643/253324253937021082\ 306903491664410740957583371*c_1001_1^13 + 155365001757159755632015522224835453963877668044/253324253937021082\ 306903491664410740957583371*c_1001_1^12 + 69879796694312835820603823100382601349760404777/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 + 82281490375547586407868646607115788000001668889/2533242539370210823\ 06903491664410740957583371*c_1001_1^10 + 134142826055739380169697856027360518899079324720/253324253937021082\ 306903491664410740957583371*c_1001_1^9 + 118473174708733868345657187965072850136246647344/253324253937021082\ 306903491664410740957583371*c_1001_1^8 + 49698018347341428949181685446222099225090557657/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 - 2710147252049379069808017318895076532095499646/25332425393702108230\ 6903491664410740957583371*c_1001_1^6 - 11253877993946627422345266910593909429779222233/2533242539370210823\ 06903491664410740957583371*c_1001_1^5 - 4524998253993457553837153492480375802041352216/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 630604306775913376098782300664713286151909814/253324253937021082306\ 903491664410740957583371*c_1001_1^3 + 1013775285155972526893319853222603808011048991/25332425393702108230\ 6903491664410740957583371*c_1001_1^2 + 43032070487165212711152358827508742612974914/2533242539370210823069\ 03491664410740957583371*c_1001_1 + 230356275822576031117805007764390767476014211/253324253937021082306\ 903491664410740957583371, c_0101_9 + 37977470750399859836033951911937545922799838/253324253937021\ 082306903491664410740957583371*c_1001_1^28 + 177757653124112482712746280602248434072305858/253324253937021082306\ 903491664410740957583371*c_1001_1^27 + 335899657129098448746680112616609658106668879/253324253937021082306\ 903491664410740957583371*c_1001_1^26 + 483394649637191651420776832607814350852550379/253324253937021082306\ 903491664410740957583371*c_1001_1^25 + 139127806168542437061024238496365851180079461/253324253937021082306\ 903491664410740957583371*c_1001_1^24 - 1617613917231598557144320449946808876330946256/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 - 4795379429375422470088623090461748589581087274/25332425393702108230\ 6903491664410740957583371*c_1001_1^22 - 12879693324316446249418592342339364933629190900/2533242539370210823\ 06903491664410740957583371*c_1001_1^21 - 18749152593109397447759855956416721350597408074/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 + 2946649200632161194139117942707740627925515754/25332425393702108230\ 6903491664410740957583371*c_1001_1^19 + 44148764340231107492313971580394587632671870052/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 + 61966252606639920506098475501082962554796215824/2533242539370210823\ 06903491664410740957583371*c_1001_1^17 + 64362936844153228303146328393442981186348695475/2533242539370210823\ 06903491664410740957583371*c_1001_1^16 + 103173177077142358484396306219578727463159866359/253324253937021082\ 306903491664410740957583371*c_1001_1^15 + 134502137977971231834928484312248676822398793063/253324253937021082\ 306903491664410740957583371*c_1001_1^14 + 102700485486680711122718967463737228290240808366/253324253937021082\ 306903491664410740957583371*c_1001_1^13 + 32684676135965398183358068347841980858633152259/2533242539370210823\ 06903491664410740957583371*c_1001_1^12 + 13371881469466832061434287481031357851776912323/2533242539370210823\ 06903491664410740957583371*c_1001_1^11 + 39312433291650023832554227561979798405210703448/2533242539370210823\ 06903491664410740957583371*c_1001_1^10 + 67483307128937409190847511940915981320940278440/2533242539370210823\ 06903491664410740957583371*c_1001_1^9 + 40803201823727028372228047281437004230219908736/2533242539370210823\ 06903491664410740957583371*c_1001_1^8 + 5489547604995944854431261596071222711454444063/25332425393702108230\ 6903491664410740957583371*c_1001_1^7 - 12193990417278272851404227457948913304128368944/2533242539370210823\ 06903491664410740957583371*c_1001_1^6 - 4884837064979822769337441044560803899327896659/25332425393702108230\ 6903491664410740957583371*c_1001_1^5 - 1710714735688523098040699749543838810103296415/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 2480329924526699882644643724451405104319504637/25332425393702108230\ 6903491664410740957583371*c_1001_1^3 + 610156000981402916054525510146270511467041679/253324253937021082306\ 903491664410740957583371*c_1001_1^2 + 115742883402057686478268013685286527897295215/253324253937021082306\ 903491664410740957583371*c_1001_1 + 189475517208451490583314901200580292023760432/253324253937021082306\ 903491664410740957583371, c_0110_7 - 30381469503968046270543362441360791315096597/253324253937021\ 082306903491664410740957583371*c_1001_1^28 - 136375566210377427543068433553553937267679593/253324253937021082306\ 903491664410740957583371*c_1001_1^27 - 223108093784654652811249370840058284166767510/253324253937021082306\ 903491664410740957583371*c_1001_1^26 - 261397379983414862513386910944075148255656228/253324253937021082306\ 903491664410740957583371*c_1001_1^25 + 69150563585982041181742347123796560380614888/2533242539370210823069\ 03491664410740957583371*c_1001_1^24 + 1448051897131920287315619244776679793159131260/25332425393702108230\ 6903491664410740957583371*c_1001_1^23 + 3519114861763460007807413665407968123586626460/25332425393702108230\ 6903491664410740957583371*c_1001_1^22 + 8767637681308472905314044172622551038696271675/25332425393702108230\ 6903491664410740957583371*c_1001_1^21 + 11253040362982042660163703780263212814182247678/2533242539370210823\ 06903491664410740957583371*c_1001_1^20 - 9963483644206648535649591925923157925682361696/25332425393702108230\ 6903491664410740957583371*c_1001_1^19 - 40029793593753723319306861486739714050508312193/2533242539370210823\ 06903491664410740957583371*c_1001_1^18 - 35902533072742165748059541283893934944737019146/2533242539370210823\ 06903491664410740957583371*c_1001_1^17 - 22779257044684672809912796066000979424583892029/2533242539370210823\ 06903491664410740957583371*c_1001_1^16 - 57593337974109284953047763225440711032243095098/2533242539370210823\ 06903491664410740957583371*c_1001_1^15 - 78823123206730663449182980455493779836599483151/2533242539370210823\ 06903491664410740957583371*c_1001_1^14 - 28625986216129802496509589268082067884645149545/2533242539370210823\ 06903491664410740957583371*c_1001_1^13 + 26234889070163371110975746805902089473374402496/2533242539370210823\ 06903491664410740957583371*c_1001_1^12 + 6528410802922798699549267382709788174159249147/25332425393702108230\ 6903491664410740957583371*c_1001_1^11 - 38741061762872607908743851702541464531399893594/2533242539370210823\ 06903491664410740957583371*c_1001_1^10 - 44039459795264856499070260223665291862787148452/2533242539370210823\ 06903491664410740957583371*c_1001_1^9 - 1705362292652135298784216980769405914804803969/25332425393702108230\ 6903491664410740957583371*c_1001_1^8 + 21795482078561020170827547335577923406190656211/2533242539370210823\ 06903491664410740957583371*c_1001_1^7 + 9432403411074861110095008150668587585930398666/25332425393702108230\ 6903491664410740957583371*c_1001_1^6 - 5020278179513773115462629022284380211938418164/25332425393702108230\ 6903491664410740957583371*c_1001_1^5 - 2299812344968740762907381927435202877623393285/25332425393702108230\ 6903491664410740957583371*c_1001_1^4 + 112816379917351898611660863409258552924657201/253324253937021082306\ 903491664410740957583371*c_1001_1^3 + 387434935020982778891638297439539995399117101/253324253937021082306\ 903491664410740957583371*c_1001_1^2 - 145641834350188201330640751130510199117723002/253324253937021082306\ 903491664410740957583371*c_1001_1 - 130187705279651118834501451876590217879004768/253324253937021082306\ 903491664410740957583371, c_1001_1^29 + 5*c_1001_1^28 + 10*c_1001_1^27 + 14*c_1001_1^26 + 5*c_1001_1^25 - 45*c_1001_1^24 - 140*c_1001_1^23 - 364*c_1001_1^22 - 561*c_1001_1^21 + 26*c_1001_1^20 + 1332*c_1001_1^19 + 1930*c_1001_1^18 + 1792*c_1001_1^17 + 2779*c_1001_1^16 + 4004*c_1001_1^15 + 3084*c_1001_1^14 + 712*c_1001_1^13 + 28*c_1001_1^12 + 1182*c_1001_1^11 + 2120*c_1001_1^10 + 1241*c_1001_1^9 - 82*c_1001_1^8 - 486*c_1001_1^7 - 128*c_1001_1^6 + 35*c_1001_1^5 + 49*c_1001_1^4 + 14*c_1001_1^3 - 5*c_1001_1^2 - 2*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.430 Total time: 0.640 seconds, Total memory usage: 32.09MB