Magma V2.19-8 Wed Aug 21 2013 00:14:44 on localhost [Seed = 896752050] Type ? for help. Type -D to quit. Loading file "K13n4039__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4039 geometric_solution 12.20483888 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 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 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.572860366757 0.690817271247 0 4 6 5 0132 0132 0132 0132 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 7 -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 0 0 0 0 0.672358908900 0.737185232046 7 0 8 0 0132 0132 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 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.582897618430 0.912363444972 9 8 9 0 0132 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313052152029 0.730309849063 8 1 6 10 0213 0132 0213 0132 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 -7 6 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 0 0 0 0 0.365728467800 0.338885491993 9 7 1 11 2103 0213 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 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.343032243602 1.547450706141 8 4 7 1 2103 0213 0213 0132 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 0 6 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.588261623675 0.380434337481 2 6 5 10 0132 0213 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.630052735618 1.010111694573 4 3 6 2 0213 2103 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502439143450 0.897856847284 3 3 5 12 0132 1230 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.683360328248 0.726495875418 7 12 4 12 3201 3012 0132 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 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.669093309322 1.253157809105 11 12 5 11 3201 1302 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 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.754793282610 0.576706105223 10 10 9 11 1230 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196979555605 0.745970012979 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0101_12']), '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'], 'c_0101_12' : d['c_0101_12'], '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_1']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : negation(d['c_1001_0']), '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_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_0101_11']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0011_10'], 'c_0011_6' : d['c_0011_3'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], '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_12, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 46 Groebner basis: [ t - 9903795058900526634225523569950604649379735352996628709697172955505\ 3138816610402509975222189234085233348661374499180225159464819219818\ 27571433839265342021543408912127419217093249/5624787668672124427248\ 1987024669062279415014325410322257713516568891772508402376916407064\ 7681373212079986345339989373325234093881290289275552259508543798432\ 65061580335037440000*c_1001_4^45 + 3565666094669033006893719816626917949493336796917455435438112114398\ 8189354457805464235855514526720817530318418104389155165891773244424\ 67047978225552759796955279973608865399402039/4017705477622946019462\ 9990731906473056725010232435944469795368977779837506001697797433617\ 6915266580057133103814278123803738638486635920911108756791816998880\ 4647255738216960000*c_1001_4^44 - 613218783033778780181465157082925\ 7058327852138813575548782857232850489321934567570604727187488834483\ 8603722295447669949154001596546201159799579915908923343325253295164\ 50858550111/1442253248377467801858512487812027237933718316036162109\ 1721414504844044232923686388822324299522390053332983213845881367313\ 69471490487921219364767970625124186283630265000960000*c_1001_4^43 + 9330054245954593998678156371753808447889509039541750135002783494971\ 3779061168665485202378603595589784559161156897410098291911470599125\ 50078141641857148958243216416901895936378211/1004426369405736504865\ 7497682976618264181252558108986117448842244444959376500424449358404\ 4228816645014283275953569530950934659621658980227777189197954249720\ 1161813934554240000*c_1001_4^42 - 125802264275739898892521072556405\ 2850965193496333523144797574358954057346186431588546123579103619335\ 1735309462817119534810078699732503864276049625409298796617161780275\ 9099903696239/56247876686721244272481987024669062279415014325410322\ 2577135165688917725084023769164070647681373212079986345339989373325\ 2340938812902892755522595085437984326506158033503744000*c_1001_4^41 + 21630263658605407462476152288396602083597917309908878281355496441\ 2322712445579256025376737424038442867777849233542354090989074913553\ 7483304224119194179624881708420872958183435068629/56247876686721244\ 2724819870246690622794150143254103222577135165688917725084023769164\ 0706476813732120799863453399893733252340938812902892755522595085437\ 9843265061580335037440000*c_1001_4^40 + 1662799224557529101811795385312105768584124279142147250004017952515\ 4418630869682900547663291872021870827682843464623268172648744489405\ 7320779501825450083640285127274633187086270873/18749292228907081424\ 1606623415563540931383381084701074192378388562972575028007923054690\ 2158937910706933287817799964577750780312937634297585174198361812661\ 4421687193445012480000*c_1001_4^39 + 8595707237150799603890516099413732854262588857010735528438771156611\ 4262948992560011111389718695059167001200199177567529814393116546804\ 1340815303465232037189928070902315007171911391/46873230572267703560\ 4016558538908852328458452711752685480945971407431437570019807636725\ 5397344776767333219544499911444376950782344085743962935495904531653\ 605421798361253120000*c_1001_4^38 + 2549931699717158510510994190796893042741818950058618988631364829247\ 4651147052068551724788607455243748848689313721107892136478020018519\ 25688949778592051998471551168958268983348660113/1406196917168031106\ 8120496756167265569853753581352580564428379142222943127100594229101\ 7661920343303019996586334997343331308523470322572318888064877135949\ 60816265395083759360000*c_1001_4^37 + 2709348461140171674253451514426257569961733213497266081681341213509\ 6937579190964871596637862408828803684783934505511400307075867201419\ 1519826548134553343122605080748969116749059609/20603617833963825740\ 8358926830289605419102616576594587024591635783486346184624091268890\ 3471360341436190426173406554481044813530700697030313378239958035891\ 69469090037857280000*c_1001_4^36 + 3438633260640351448972633531393143702158167602289309867944052654936\ 8849028659882763205665085325662573532300874105362367368590928165252\ 43850225194451593618441543668215475363545722939/4017705477622946019\ 4629990731906473056725010232435944469795368977779837506001697797433\ 6176915266580057133103814278123803738638486635920911108756791816998\ 8804647255738216960000*c_1001_4^35 + 9482811438497844380707088088242902778906795193266105742658381911228\ 2426945854747200063233774880694973628194482161392716206122169187931\ 44794010934578566936471915933867054131290046897/9374646114453540712\ 0803311707781770465691690542350537096189194281486287514003961527345\ 1079468955353466643908899982288875390156468817148792587099180906330\ 7210843596722506240000*c_1001_4^34 - 4653609367638499540222512949794827201066369213862861065681393983333\ 6861736081357684087768771218041760592964669064307184351559817757686\ 792373856153436141234476060049927090929446307781/468732305722677035\ 6040165585389088523284584527117526854809459714074314375700198076367\ 2553973447767673332195444999114443769507823440857439629354959045316\ 53605421798361253120000*c_1001_4^33 - 2164081260661699425275621956791444622183531453791236819174946879815\ 9141834876335678159926969208846223392740328845712869859386249210198\ 8232536856522263694879439945016556976450161707557/14061969171680311\ 0681204967561672655698537535813525805644283791422229431271005942291\ 0176619203433030199965863349973433313085234703225723188880648771359\ 4960816265395083759360000*c_1001_4^32 - 4719374617929176567270475893599051035497800072934896717573960668960\ 8531496958612077439732189282819891795307797209860450475846551661485\ 5173531774736822571881973645435005707041717325097/28123938343360622\ 1362409935123345311397075071627051611288567582844458862542011884582\ 0353238406866060399931726699946866626170469406451446377761297542718\ 9921632530790167518720000*c_1001_4^31 + 2324413941148527432044649511474613927589980794158592605931080931616\ 5599036184579229434322371921347872736173735874481760496490166943508\ 3007187034733560642208868813027290320525070380279/14061969171680311\ 0681204967561672655698537535813525805644283791422229431271005942291\ 0176619203433030199965863349973433313085234703225723188880648771359\ 4960816265395083759360000*c_1001_4^30 + 1074777803802792677071421475269053015524111355013850339172466903939\ 8475025365373791349111137660636782784728311348032165851352379553466\ 028220669122274551395220335413730117973348951071/149994337831256651\ 3932852987324508327451067048677608593539027108503780600224063384437\ 5217271503285655466302542399716622006242503501074380681393586894501\ 2915373497547560099840*c_1001_4^29 + 3360744244081615370371247207593687773269875354657363281239421003720\ 2370522342546999947185676397052480010124217075658494242627172276300\ 2212998586273091146191540124225547908724599432321/28123938343360622\ 1362409935123345311397075071627051611288567582844458862542011884582\ 0353238406866060399931726699946866626170469406451446377761297542718\ 992163253079016751872000*c_1001_4^28 - 1299509858405090439843311543054491762260663785083062382524221945679\ 8415828045054175529435061832004216762434756428417340531378973099709\ 32601280925690045544115681341016564915599577102823/2812393834336062\ 2136240993512334531139707507162705161128856758284445886254201188458\ 2035323840686606039993172669994686662617046940645144637776129754271\ 89921632530790167518720000*c_1001_4^27 - 3554997731278371749963022190087598103912467524621040310846194487198\ 9392168565389236771502490806988994034635489031461381202213937941178\ 16829065584942901689421743806009818279044649393/1075074095694213384\ 4128820149974973677258221392471391868829036041454849485550913019190\ 9527462036164388376595057337418449012632622570773944104025135425037\ 92672985776057920000*c_1001_4^26 - 9597959856602863239994854093919668651073008765759839162530499410052\ 7273077554533205996806779891672654103623407176632615940445141660899\ 52733861460075114624538720609264873639588982451091/5624787668672124\ 4272481987024669062279415014325410322257713516568891772508402376916\ 4070647681373212079986345339989373325234093881290289275552259508543\ 79843265061580335037440000*c_1001_4^25 + 3270071989243121385514724428825719970051056101621548149386443169355\ 4310438313408571606111018722962852301664367429205634284666105405324\ 32193273716667384145141641139676961278966582703371/1124957533734424\ 8854496397404933812455883002865082064451542703313778354501680475383\ 2814129536274642415997269067997874665046818776258057855110451901708\ 75968653012316067007488000*c_1001_4^24 + 3213572571915409656824419194830640475009794143630850643282989675701\ 7586894801351611328282035837761678085802474869088501414554038115566\ 987895739930153092997551133512587373745467826974071/562478766867212\ 4427248198702466906227941501432541032225771351656889177250840237691\ 6407064768137321207998634533998937332523409388129028927555225950854\ 379843265061580335037440000*c_1001_4^23 - 8829232640886120570635493484088643186103358510337813519745181086519\ 1994297308337526810652481243847281659464495207182442153019934468169\ 955988638307289583213422275043028522658932774399/351549229292007776\ 7030124189041816392463438395338145141107094785555735781775148557275\ 4415480085825754999146583749335832827130867580643079722016219283987\ 40204066348770939840000*c_1001_4^22 - 1612623152056530022266320908341298684690628324745556877313254278575\ 2678991156599688566977811248765293578555484469067459320627554147625\ 354884981577736910614414509212704083969264497319153/187492922289070\ 8142416066234155635409313833810847010741923783885629725750280079230\ 5469021589379107069332878177999645777507803129376342975851741983618\ 126614421687193445012480000*c_1001_4^21 - 2490992695378239903905433217966791907667787740296225460242541775734\ 7337243058625095494515175092320038234150508230780462457527293807747\ 0376167889071040397567754278090632101798870135671/43267597451324034\ 0557553746343608171380115494810848632751642435145321326987710591664\ 6697289856717015999894964153764410194108414471463763658094303911875\ 372558850890795002880000*c_1001_4^20 + 9536907819237171922278019806041382055941727022873748657978575966615\ 7546010873501758836835686374513547632344297580354754426060969340944\ 46119484940361444241788191721367384129761375402863/1406196917168031\ 1068120496756167265569853753581352580564428379142222943127100594229\ 1017661920343303019996586334997343331308523470322572318888064877135\ 94960816265395083759360000*c_1001_4^19 - 1488208813514381959677941835424601431346961205030491383269993191265\ 5789320423459515228395774461270628952129806705628533759180075088910\ 48655055854743829728415608220471392351667123888613/2812393834336062\ 2136240993512334531139707507162705161128856758284445886254201188458\ 2035323840686606039993172669994686662617046940645144637776129754271\ 89921632530790167518720000*c_1001_4^18 - 5678947528571913294641149287421533418373818918820445810236702772095\ 7498914253310457602087966314897579683754963694461980260922794825934\ 7622426285687836038964253450778955864374364780601/28123938343360622\ 1362409935123345311397075071627051611288567582844458862542011884582\ 0353238406866060399931726699946866626170469406451446377761297542718\ 992163253079016751872000*c_1001_4^17 + 1209921574884251088028667397941795186048918544854930187215503544657\ 7026371223076104158937386721891606433561793439366096335097899543438\ 07320570784330492609797281137237997177481716149389/5624787668672124\ 4272481987024669062279415014325410322257713516568891772508402376916\ 4070647681373212079986345339989373325234093881290289275552259508543\ 79843265061580335037440000*c_1001_4^16 - 1551582418452231891878515186306380189839578837728459865705081735820\ 6878321444106418853915240052495847517738112576000296963604127250765\ 94666657360060879570314589003516562421400013408817/5624787668672124\ 4272481987024669062279415014325410322257713516568891772508402376916\ 4070647681373212079986345339989373325234093881290289275552259508543\ 79843265061580335037440000*c_1001_4^15 + 2865833399517600344671709437431161088809966618792506326865422123559\ 6155875682967685091589557123951669980588492270491274811152740004415\ 0253873366320769874237990953435253169496159270149/23436615286133851\ 7802008279269454426164229226355876342740472985703715718785009903818\ 3627698672388383666609772249955722188475391172042871981467747952265\ 826802710899180626560000*c_1001_4^14 - 6007657658335742955443486419429233987772154589547381338911973444448\ 9522290783594695439248897278555718915112401720975408271975219720553\ 0281200027277432331105376513374221805923443131231/80354109552458920\ 3892599814638129461134500204648718889395907379555596750120033955948\ 6723538305331601142662076285562476074772769732718418222175135836339\ 977609294511476433920000*c_1001_4^13 - 8768125793801742638058546931558183304619977310208122427375530522142\ 3351434979691579999771961163699034212096997602889275036144356817828\ 601744298917780635701182714240043636454516420517/669617579603824336\ 5771665121984412176120835038739324078299228162963306251000282966238\ 9362819211096676188850635713020633956439747772653485184792798636166\ 4800774542623036160000*c_1001_4^12 + 8894039710523515889422544649503367618190010243258801528728171898535\ 6199902858783180137796568425980371303438680077308725619123176973276\ 57604681975512498182816323761619991492915573589483/5624787668672124\ 4272481987024669062279415014325410322257713516568891772508402376916\ 4070647681373212079986345339989373325234093881290289275552259508543\ 79843265061580335037440000*c_1001_4^11 + 5290406725383797648252854994133468308310376701835718042036538374882\ 8697039915164303117077705691624759534048273331891316793815986311306\ 2760204197125445723216085474168387098017353889873/14061969171680311\ 0681204967561672655698537535813525805644283791422229431271005942291\ 0176619203433030199965863349973433313085234703225723188880648771359\ 4960816265395083759360000*c_1001_4^10 - 1054440626922022163414391011118712337946346681952396964538447173155\ 4336411976049033449270120125216948649916488474168759622456566991295\ 19655072054696733419679583413514100231791206801599/1124957533734424\ 8854496397404933812455883002865082064451542703313778354501680475383\ 2814129536274642415997269067997874665046818776258057855110451901708\ 75968653012316067007488000*c_1001_4^9 + 1681627185128917134074777608908668745661629865200053426332770846140\ 9661198136442678102864357664510018599814945272142600745813674397939\ 341832362345285481060636370494864119443693353571/216337987256620170\ 2787768731718040856900577474054243163758212175726606634938552958323\ 3486449283585079999474820768822050970542072357318818290471519559376\ 86279425445397501440000*c_1001_4^8 + 1488314995326528326076010245984466400656475848564867315219814576422\ 2313462970896855787424674166528338264197756482388729876804482807538\ 5692722387263335488005756501467663431874849126369/80354109552458920\ 3892599814638129461134500204648718889395907379555596750120033955948\ 6723538305331601142662076285562476074772769732718418222175135836339\ 977609294511476433920000*c_1001_4^7 - 3753205013310939515308697356549794970715904817698979753487010030228\ 9526548643045565527608247691994778456346586629194521269729510148237\ 76197185783033186013106393669735499128656417623/1171830764306692589\ 0100413963472721308211461317793817137023649285185785939250495190918\ 1384933619419183330488612497786109423769558602143599073387397613291\ 3401355449590313280000*c_1001_4^6 + 1096963012736157496316072729822171370927492725858500473282753190016\ 3493205407625416369433781886708809902586758531177650268726598737854\ 500799222590534536117401127550015262945886637207/703098458584015553\ 4060248378083632784926876790676290282214189571111471563550297114550\ 8830960171651509998293167498671665654261735161286159444032438567974\ 80408132697541879680000*c_1001_4^5 - 1135057207677340424426013893294486467050727736152257355390817471593\ 8205938797509016656433655969579633249009656532295596126334161427188\ 992375041579499250269112520672928929792875236023/703098458584015553\ 4060248378083632784926876790676290282214189571111471563550297114550\ 8830960171651509998293167498671665654261735161286159444032438567974\ 80408132697541879680000*c_1001_4^4 - 1516270772768866082871881039843563250292976045810310031929381074004\ 0394198138326545786953312912477952057780810092625232974425174764442\ 267688687194816211259515749618043161014880643/450704140117958688080\ 7851524412585118542869737613006591162942032763763822788651996506976\ 3436007468916665572543268379272855295984077747538105148999082035130\ 821363445781280000*c_1001_4^3 + 87943512656844173967972030878059443\ 6366318194733455099234556118822496783804498522789935527967863096876\ 1182275600620192801972189529334685636208245446790471719214971572525\ 74307919851/1757746146460038883515062094520908196231719197669072570\ 5535473927778678908875742786377207740042912877499573291874667916413\ 56543379032153986100810964199370102033174385469920000*c_1001_4^2 - 1654092145476538473160670701154553254185797917659581253671755761886\ 5210792517310412471998933970908539793679509270945848445028150087375\ 76002360548371337518707250826934442428790321/9154927846146035851640\ 9484089630635220402041545264196382997260040513952650394493679047956\ 9793901712369769442285138953979873199676579246867760839043853838594\ 8089449924322500*c_1001_4 + 183418042556102306324924017202359657813\ 2397555943201155924659813223564010261486609629724645297325503805359\ 9296532640820065798282420558122805856100035962985948254023406243873\ 931649/439436536615009720878765523630227049057929799417268142638386\ 8481944669727218935696594301935010728219374893322968666979103391358\ 44758038496525202741049842525508293596367480000, c_0011_0 - 1, c_0011_10 - 52048932273179892122160152322724342106005255630506213410064\ 8393448560524977156698615692323639970572492094328689871128226056822\ 8249136796103977010461/68864099130811683078245968556543776371607570\ 8168617986923102823170206186451156532287605602838147798684872062472\ 815042213358193223658632343106223296*c_1001_4^45 + 2704370249616865646315407776967335653158154131767529459650598055922\ 9401073931892230949982786447847909660778375031524447082861566935658\ 356656065998407/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^44 - 1292045975506468607303537686496994534387302946950346470916354086857\ 1366462104528995833275596198661334113832274827390890887233274138772\ 7904099719225477/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^43 + 2917205334209570938433188704454431847870467246248524709251725794240\ 4323756966206848157107874248407069307346486876376727770899892547195\ 3009517055406169/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^42 - 1730326044318836460176130988658675968282180609482369688212801211254\ 4998873666237256254762667469772194557507080386631374537646921921030\ 8799139898203619/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^41 + 1218826155674655953238177558801049356622140262473224017350677768463\ 1236804784197541838752206627879253331812779019377117135780089867705\ 38454621373567583/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^40 + 7037688760017224099473161361086545845092881881737365525713410079056\ 7577144623246101198054739307983513414807692284804127569341749998558\ 660243677384469/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^39 + 5299726530625243700208013616421422427423076659702462537626289605984\ 9617359142654809230881500242473230816230461530271187441364351242562\ 04004958960157363/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^38 + 2214260796910275789399250743336497311114480868608458079916483287686\ 1168616676800576159339293654373378954374317688893187120215951413689\ 08579749602766897/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 + 3739017055250247094457584376472884268309571424305176418065088158352\ 6213095185845244180551153334840519438834599555366495106289206848495\ 969216689445311881/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^36 + 1820289089759336652583287247991280455926347766373789611106160895965\ 4897335672993603118222819637483530181978817416497612272879930863919\ 607995843336550181/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^35 + 1051176651551565808799233518182368556761737810275981288727465347638\ 1021640776811954610707124121354347778669063985250716002462122991750\ 836941191187213657/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^34 - 1522509770908020012098072420618714477091678264664559390701339056905\ 5933113310939216985967734689200418827212237516261851709666560650116\ 6063171631629590943/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^33 - 1042823426637699493195632457866281241515773184017572235954779332359\ 7287208892558456050502726495057955113328974777406246983422576810269\ 2752478834168285005/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^32 - 1996621455007757460152667800832502459459510696131616692398792810223\ 8409905702543996250228257503926786038920322598802896443439252776795\ 1958621360354453487/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^31 + 3172649810085405906927928448637439510336706970363125942963871718667\ 8633896661123037654093824624454762710466531928310434220706722643647\ 2019902817019207871/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^30 + 2146552413576296396254952728997871192302333086135616580586285976969\ 6501911368487859328771801691555400882124757171244564251324553527237\ 24984430987476181389/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^29 + 3226076803483632516870612249327025897568849051380120160274302951127\ 6370641670016108393901834748550796437398725625218650546062046069504\ 41979456836829062615/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^28 - 5326112732829529659412405426923793276292838758588968506158643818355\ 0947980100668280848705773313046816182049799441910782273049695246867\ 3993274349567957773/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^27 - 5053824861857417936905602113616845057662748427933356828455879970017\ 1938566507487794644712358740080233290080654016486216782319661240092\ 51137942243249310321/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^26 - 3780858386309810101918322332953667076120887969763127514404243275560\ 7322935115773772778950280837850777989180353158573289713583720699809\ 46352405985628266091/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^25 + 5128938190949271864540707858074216641455168787603349089971648223503\ 3685282719538397430038813917044134891980945274910311677611970261472\ 48360525851831432337/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^24 + 8389446839750034573054761478970226695598929225918072634612663284552\ 9121792380809504274201599057258328730742960983224862466319107374840\ 56104908321239496055/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^23 - 3392366025753726572756107877212253140336234225345495134127713603130\ 7464134082678841100715446867395499824669358212061071306739405243512\ 79474496796347901249/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^22 - 2720484720501315071678355863051907567107902965504044166948000271632\ 8056201054999924963800873271055932907664647369135352265223472748853\ 999148996403347181469/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^21 + 1098433400989817146197876953502087219227345452377434544289340329623\ 3522438503334420210619385619372912071554118410924161532424643853799\ 9273325293680936469/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^20 + 2207639590255570620353081223791964538066359460903595123286477501272\ 4517628252929679719292157062391241596860639477473517359661592594811\ 109135595777937595209/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^19 - 1927201202806374027280800406787590714552247445432413614750707971003\ 6893968997454483621820790647035619001549810030202620453440591109156\ 1278220348132929105/43040061956757301923903730347839860232254731760\ 5386241826939264481378866531972832679753501773842374178045039045509\ 40138334887076478664521444138956*c_1001_4^18 - 3353447639074632770393887294849327418807583811323533234721745626830\ 0983827199551646497322687999711992289460743663049327585840551280984\ 54289625559291404253/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^17 + 8999771259627653337408523504597204087662316696736621737168025923990\ 1056615764285932477845779574594343297119014538301619553980742214772\ 1770783277111010577/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^16 - 3857161930546961204142492813984914377959197208800420379441902869206\ 4444903279450257421820698127404913808296405647337468203778675204619\ 2506343599067971567/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^15 + 3825222485457408858486734079937296883882227617968383581417656912429\ 9588839656675715855257774343287849849816628267787723915672933922089\ 21918626164184776531/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^14 - 2615581515224436049463151796781583377544868195951956562622541455243\ 5348599195867873069738651244024438521633302391721117508375098193726\ 37171868237452969763/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^13 - 3802695069003445463251002907976489184334519206197051726974395775502\ 9247499447639882209545959856808203954794131464597961223571278318961\ 71784254691824170751/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^12 + 5299337462670165669630666700696418707153969471700418583978338001880\ 8028321410166663281191836022564616257907635768158462395278546463582\ 68605710266313629885/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^11 + 8245921090530955992220121033456563802219322615064443238536430594519\ 2526092601114369894445148965896192773023505409979734106331525056213\ 1518698512845684957/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^10 - 3108876926272726455176210809404326473393655076551445709065354868683\ 7540279973541926857284856359474474383772582225130401448541359707229\ 79127247093097992465/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^9 + 4001283788081893171041856893023970966168294434398610118691680677351\ 8643430373625857272775354762305069057885923959789607381266214647837\ 4587958679716632285/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^8 + 6097578552223989346062358580955347984483534885017404663498405574930\ 2151346296864057815413878852111278297594361804687774600538919206118\ 8349915937552494915/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^7 - 1176380739110189102660602756331558933636294766550053931021435169690\ 3104166264611441142474379351111247177515222372964000473943870944083\ 1099991175111732199/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^6 + 2514508293825104885720325702646458295574570704687306467114178393600\ 3477526130795816107145456011652896815463716208863665849062024209107\ 492682225968906545/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^5 - 8881177737973007823875085538412359558238424067718552697893328390555\ 5773828824352348179925476703890420273993593274768361988791757717856\ 6076181267807835/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4^4 - 1217615752049192577044586051154094465238347597444390143449177637709\ 1065552354856378288281266511645359475413317839223404402165983019440\ 18242843963102779/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^3 + 5088629474736011509765845662875879252026614755590667772208649309997\ 2653069743314070137904664383179804517715675761578357827920534112589\ 0466056062158737/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4^2 - 1944941415180390895010819840278443318726407887366193982007998602666\ 0008434662973122412124194215913014181030060788892031218787878402127\ 1443095748769719/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4 + 2591137759083852823888417429421295136524999410146662940707395622998\ 8806401793288297076228543326511083757387528377533985752013915842273\ 560234693794769/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0011_11 - 51507884535845996726760568317507947208274016343764856798897\ 2403083513681804867934237936402288738836282469577996355322846467749\ 7064533661085581661053/68864099130811683078245968556543776371607570\ 8168617986923102823170206186451156532287605602838147798684872062472\ 815042213358193223658632343106223296*c_1001_4^45 + 2691475840803224697972203984639912588270453506835497929160955562635\ 4661357110036389392715469287019524201854892964999849112422275605828\ 913196085420037/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^44 - 1285373640700204526273103741328902264299744133949167479936901229599\ 5718100790424352385620779038781622296836201188864167669933442184495\ 8734154790061145/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^43 + 2919536564981247811348364180756797086258547796717854744560170698678\ 4180011180326036280434826012679074863866023326347783901207515069675\ 9898637898868599/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^42 - 1727481572334711982833523625555057306321464253347925008236450886935\ 6192918140421867810687598811193356180018451124622943644063161808939\ 9642317163730485/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^41 + 1221780912179279606164974894486243904603238739243962537731326415411\ 4530542419696567105942190547550471315914861323119157443749025336238\ 12868934138327779/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^40 + 2887847059208713651919164235047720704555294308018160937667364565258\ 7327082037558971570348248940696074921496268575883125642018870055304\ 624966523224073/172160247827029207695614921391359440929018927042154\ 4967307757057925515466127891330719014007095369496712180156182037605\ 53339548305914658085776555824*c_1001_4^39 + 5222369873098508465528898199052738841475480702116968732334142730316\ 3470779214030114022778880477007695672699765633327686626689594781090\ 15344121105090193/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^38 + 2105514383197484437193853471407620739745803752306451641090828530557\ 9205635144651891099775617516704795408402346441981916280867952090887\ 61247959632454729/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 + 3674287732763701266575465072192999867080955892439554952983410696070\ 6443176373936198562037090649603575126142474512444256916073595587289\ 552512350426348657/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^36 + 1672805282152272933535226855640350078661394688796051655097538174875\ 3668564423936062081831811089097623790663844208114701022867990413163\ 434593941283647111/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^35 + 9653673382318522804432497678091266904860302856329938430335226852027\ 4433096442228223656387697903339048362658262120158585557739283963224\ 48338814145629927/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^34 - 1515301968187053369256153599204656174186772475868507184329689386765\ 5111847367174214411400347880684257288747110997238390731472932755221\ 9166161017145368305/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^33 - 1012899545700894479741934469302566205063740063553919025126051374981\ 2236449528863619659552695978296786484085711857681400193567528374981\ 8013290187738645519/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^32 - 1885835170377178396003562464242484727061186610263533450855180998833\ 0772605134009663017811987669421685652844172796303736446530870248936\ 3988509053509084971/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^31 + 3265658825570967599600574519556932664379372588792959642055670558120\ 1272955152927002621393639868464086143404821115124335942732580029504\ 0672036063239335437/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^30 + 2124458230013086432966199296059529414069058473044319769651395437652\ 8330442193862109491040603119056972952681070896765732841882556563225\ 28115330526577634389/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^29 + 3129436403897486436198069050295026905175343579132122250580289853270\ 7199325956508970908252208298007230632223549192355187201957255120511\ 80235809753775038793/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^28 - 5626535799854516570189594255560318563759462789046116682649120496430\ 6476445192032282052266260240965016890657181720498833254142083647663\ 4414644258614303557/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^27 - 5023643648026706187223370151138168405171917470237032652335404550174\ 2288673515019131474470245262532794097889588446714375945721405685079\ 29539768490930270703/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^26 - 3477776360227938595882098916354087285122215010685941452365551119727\ 2894737985840698510691881587282066572269039380516178276885187771631\ 43697564141877439131/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^25 + 2615685002139275448321343107090686335122682142229196564468972472858\ 0259736066911007836403417228625820380228189588712885075938785349442\ 97482096362396402875/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^24 + 4134559743066588356891017001865467510777191676431823312575216496043\ 4026495007436979545017803779792815826532205752175449485757266773868\ 30044153687602152453/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^23 - 3901890964104706141661656930155938658752660440617921352148923509473\ 6982607534125855505356075256581317837337575431356240397696734847111\ 17840210991464143627/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^22 - 2723666417633387635635026295295586932552795416254659461039416952048\ 7882217553112813670642715554759137805034239088136609565957851763562\ 843383809862439576533/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^21 + 7156931050823649811770810237183964494987154382057149387534292391782\ 7387424538082027338152067143415600050716666966960496495940441182205\ 5687512271319255577/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^20 + 2225076866475005183377321039060120023539129485116552953835495954940\ 1879990080997122043961979841284843853149207760111124301471173836285\ 909425464555776082587/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^19 - 2121001954467840609460656975084412932343327598264179008687875119985\ 3619982358066095733075897592714989058212475797143036949205401303459\ 5811830811692517067/43040061956757301923903730347839860232254731760\ 5386241826939264481378866531972832679753501773842374178045039045509\ 40138334887076478664521444138956*c_1001_4^18 - 3404598998405402312824619966225351995870759887889575399861181800457\ 7711136022463746395759625948527100736654038716829298945946675008811\ 29172156000852270231/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^17 + 9565620522855069160605960923507766952103263057535548212960331645007\ 9379176658966341307768397153538246271721868260270876354138686785491\ 0112433097311556425/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^16 - 1847748430147132388204092294076049735783339750675916186276209553454\ 2713552691698335007145105349157409866703117572342269113843156958725\ 5166767753417247821/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^15 + 3827013525731670236699625068546435645733248742475025830702979209117\ 2263826758283806594055187470695353853717501009455548866518922793481\ 78127205777701090377/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^14 - 2668918953976020930084949107543675154724413123035216442937795920356\ 7199074119760686884415244942146099878952390100648739347647097296148\ 69596903628577251403/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^13 - 3747705213921414062428334664691418870573279298244499481846345292371\ 1947337656378495961631070336748604318895152368453121764294873797868\ 21418477289616556273/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^12 + 5367864176239999774189130219657688471864633533199349201847018632352\ 7581584367950824949060622506830336679484193651353023139650213845972\ 41851942091744042381/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^11 + 7543838688765401008311507872850315300558771224425770707572038967281\ 2505749700376198336528382301491028149484581831980415756918528142968\ 8266897020952242531/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^10 - 3148080564406287871459369401982017406403985141188847491863221199347\ 3548965862357108641444569105095119261613019076473917515224421819654\ 87232211542715364193/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^9 + 4328176828746566888032183644197012945788060654501808381073958253437\ 6308654334400107607237626448344144673072213215976487476701694536757\ 3499334462053836887/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^8 + 6199416798229416486421174400850101713524098889001580065142899971266\ 7276661036913699668715008516030336178216279465148497900708456260491\ 3048352391953713335/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^7 - 1216836754981718281403714407837969552216648863110029444937471673480\ 6574407249298980397261567493726753772978037408405457411944479556786\ 7475477925298330105/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^6 + 2458148681342374375290482470337225617528713205131899798716535798705\ 9240074323946698537219873408302807028522411975128350173719991169333\ 864509729276343445/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^5 - 1819102951861362154311424489913449728894744143715014737647983265715\ 3159154526749070552270390797126455420162833387405405385621003511106\ 47751372621407543/2152003097837865096195186517391993011612736588026\ 9312091346963224068943326598641633987675088692118708902251952275470\ 069167443538239332260722069478*c_1001_4^4 - 1183593781732471006186909974105781767851367145686333871435606504246\ 9211140082045540633628545179348765548903196679175150947923127500118\ 02099246420064425/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^3 + 1033386353108627860966267587481095909023534087874814959777299178183\ 4603185660006042154256195290880121480138691758418801774517788088659\ 99136430827875173/4304006195675730192390373034783986023225473176053\ 8624182693926448137886653197283267975350177384237417804503904550940\ 138334887076478664521444138956*c_1001_4^2 - 1973511036764866572733909871243144005327084603507263134583004283459\ 4391233774861979148759231174755089494035384561646086543418749853345\ 2351339561738595/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4 + 2663365094981341721330420557721393381073645789817748391136677098905\ 1147526770801861559849020551910522145569762344399518571221905581972\ 387102638013870/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0011_12 - 59321253314280970875399346115197701931150183373327767371669\ 4093782186494401424347349429132504745926602167255544930610856451236\ 876640359550847651599/860801239135146038478074606956797204645094635\ 2107724836538785289627577330639456653595070035476847483560900780910\ 1880276669774152957329042888277912*c_1001_4^45 + 2473464048090618771348366555623571648068542469165678101920292738310\ 8538861432787197998423692264143413665924752160780148247126486044731\ 983241492766777/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^44 - 1476843414274033802395735091591222553027720873824425014028607908449\ 8658307756009988574209343759241953648588375575165122874729819344668\ 630769670169309/860801239135146038478074606956797204645094635210772\ 4836538785289627577330639456653595070035476847483560900780910188027\ 6669774152957329042888277912*c_1001_4^43 + 2676348244367992023369143002513768248306246453397586597293154854182\ 4721876291543024366118737116539999110450792917282208066346533032854\ 0343641575833301/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^42 - 3170686736986063165740795914592564963437769959821073755376984277231\ 9354506335293246679770345654089253625877380011985948503820737001650\ 3320026282055339/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^41 + 5596023030254814172125853068429904512533347669360727012063924644085\ 6237787860158653107335269978041554020576258353629203755776840060096\ 5991171950132339/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 + 1162782215566719809970140308034309597692169108343160597261186678632\ 7120363178459671869107175173151804348003252626526522715444350565471\ 7090403667739735/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^39 + 4821005516382606960004141255111731256427851668189095287317719730511\ 2789908459423868614415764534393532233155949507558985270549636487412\ 11617676033929155/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^38 + 1975672180473715828540657049692271217551098496042666104344635035567\ 3810449000848344808527556819164819189007666948883375902250088497536\ 50262150829483439/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 + 8490397389165775483226328183006448538177365781181901868129753547805\ 6030635917065070553267416518980978932542899395779994073079596766738\ 48870560060651257/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^36 + 1594903481804776592335600662253238146392946834501950936140998609257\ 2140894555191852580328596491887544030021845090365261492268160445951\ 546388223756618903/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^35 + 4604431783374434691625909711538590900926039943951789221337750445868\ 6025779400759898470440460511497847803866309149991186706930968483388\ 60965655267950461/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^34 - 1392506302905983357783607353170353445641167303632180304899957294459\ 0780637943889643612596198693036181529249409943960543131475909273761\ 7873426505414566337/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^33 - 5882285441685762967581076825543180301461467522643023141515410068196\ 5243619326779502739511426678174418369631224752469571345976513917831\ 25815260514566646/1076001548918932548097593258695996505806368294013\ 4656045673481612034471663299320816993837544346059354451125976137735\ 034583721769119666130361034739*c_1001_4^32 - 8875720490999455518914816462708943080518677135768404485918553836344\ 7359623044611663127435719930273141549520851349973004837147429058527\ 560617263395198453/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^31 + 2956003449291548488194358607171264308112039236537834341783215224898\ 6821113098720278458854876930691619114244814504964126645902184106423\ 3320399308366091301/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^30 + 3058078910910062811398197022528528330230979221545045407544903998909\ 2451542048994373858720578994630730182291693686419249106808488105867\ 127069068533668339/107600154891893254809759325869599650580636829401\ 3465604567348161203447166329932081699383754434605935445112597613773\ 5034583721769119666130361034739*c_1001_4^29 + 2909559289830144811468004893118433898263818112549219682931687765798\ 0513942031393528371563044800936594591904446978173699428215227639349\ 79514600970780042023/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^28 - 1007069898066531261354088980503574552659490035115820498529502037687\ 3674134973732500678123593554973479894805712958127876880246570734245\ 89665586459144936619/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^27 - 4618958014481280393785759515111262629466147456005153053641957758518\ 6660718638238838536033578195092051139272861720948875315972260646908\ 31655361193652591905/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^26 - 8284396160706555561182128023644860421428844977131653117699484234893\ 8328170221172432032028625113056786877085591305681770347957537958127\ 0460409008066729327/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^25 + 9509430099942802165186422224971154329226649001858720374660783401395\ 8728597331514243116451550999049756955743296113588757728048766806206\ 62714488119669777123/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^24 + 1526386900167956608752119625964276396279135671584631536952588772787\ 9320923361925253769325183564630621307985792198830319859547979223872\ 743023901246790250847/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^23 - 3368483263200149647066969867605679925338237572630708749539790269873\ 4463242718572018806753770767366843636538815341386018666482525761937\ 88164428168818436341/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^22 - 1248099688509608127808256457388874999480096482909005418122171627818\ 9977165960262819872673331812380957558858898650509637813241466499459\ 885621073104264567767/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^21 + 1086440492772097231512163153461567565378284081569906236829722039072\ 0765478891865905824053835455505214401207791963998359449778159060695\ 60816125369015546235/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^20 + 2033157450325959739494219271105374519107426905185161852580803417370\ 6809850543261063590920480274961657247254725125909043596789190209453\ 764316223452403016265/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^19 - 1492828343729384691429878785567323437511177880117488717580665378356\ 4285693313101835194945333302088539211699894556040155746663990826535\ 18065677756818200519/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^18 - 3100851707901455737447080014297787683693668868022399047498102633911\ 1747268092112328970344687361476397619130088338517810476298992712137\ 12367622320527129083/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^17 + 2669597270892485391214878574105136636888047305309514607457286606215\ 8639241342092997508140958617420557617897043824918219970469144234748\ 176432763693947111/215200309783786509619518651739199301161273658802\ 6931209134696322406894332659864163398767508869211870890225195227547\ 0069167443538239332260722069478*c_1001_4^16 - 6910208841352548461595959847626379825285044352783957346447595935158\ 4691571215064889117761752022066954184218242148883552604975515676446\ 4011286657610474261/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^15 + 3508753312189520648896260752840436866966249877587103772875700170591\ 9900524050526709416486456050042560729621604152641640627305734568045\ 23488049954792279967/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^14 - 1212787587517034654964898448968928505619587674564738156553028539425\ 2407575417192747146263897983436809890281118788451802082039618472173\ 61669311766650429171/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^13 - 3459163241264212739832138427508386595417112695129232217633232112452\ 8994691632497955477147066590281275151417196924438131553816113458219\ 15203617505103304215/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^12 + 2447092952566696542363925065463177967434972077041724328986459558851\ 2400576423898444007715732940389116783705126262046360049445606182941\ 84233412199577831775/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^11 + 7203606297431566156304367787322996813212013014057486743266989588896\ 8783449888424410932570972136389772035784197399578395814540813253389\ 0299404179529995005/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^10 - 1435321306209060555350407160152180673296338927326455607057142312830\ 4270758145069269300371401247368542418427746942463236104753082277291\ 62162457369665023473/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^9 + 3836156812734799254491049582278003127208335739496029165495144909241\ 8401033905141478213265462390711118971263223393768294203664511712937\ 3665292196063476755/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^8 + 8816886621809036946760788734903295343464854984140610268594405533979\ 9387638834877852335800437664754596319263240459219978093599196525178\ 05807724803559503/1076001548918932548097593258695996505806368294013\ 4656045673481612034471663299320816993837544346059354451125976137735\ 034583721769119666130361034739*c_1001_4^7 - 1099479738549605245967108419048107166584961001752535741578348378162\ 6732153874955469093898155728354280827892641057508230979290542141119\ 4961115906835611379/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^6 + 2277367168677875744925692740801224812872999298578215839236948084651\ 0573949590609140465265466391663710559807698232060312030222633538716\ 686429614610027593/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^5 - 8253191416944401547132374324467400912173288402783531676260678521656\ 0852967208353548514273743303184050235208608073214676848639248057644\ 1136291389633170/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4^4 - 1099200222867670777224534802474609783437100838404014287464067467759\ 5082579740254660083749266031184013885202997300985706702996972236799\ 75832403730561695/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^3 + 9412337942121320461638156463152857006029556723340222362119093896340\ 5381848818441115085982392006293084601993069777289565271334760444010\ 1900857348997285/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^2 - 1798020851856955712422470880420027478636656621877209228172224690824\ 5518329239536218487276139008407139870958312500058044946502717438465\ 6577051769249751/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4 + 2412977095519611576640492773925642099326932505770192131418861123324\ 0968822956374720659925014183211352624920073356796583542048194340564\ 229501460708924/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0011_3 + 547229384555120147386223795083631472459498318828452559225223\ 6858645791386632544642909863809128534314251706999711321311721787650\ 89251690700355733595/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^45 - 3557245445896060125737581080264890580099688571078028061974852646992\ 5116176999593631923333794526411264638628983804917425294092736693507\ 5620699269437/43040061956757301923903730347839860232254731760538624\ 1826939264481378866531972832679753501773842374178045039045509401383\ 34887076478664521444138956*c_1001_4^44 + 1359314500055090431091164565326048207875525456261262460921698086870\ 9357681286313395982885118106343746882424753718488391307848903313340\ 524318258835591/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^43 - 1535786237344403007929992804528674170673607167176693890880032805108\ 5789377266060726312886476329274211673279298674741312001795608157048\ 477629237451719/172160247827029207695614921391359440929018927042154\ 4967307757057925515466127891330719014007095369496712180156182037605\ 53339548305914658085776555824*c_1001_4^42 + 3641244945496211875647408213653631552734906870882986832847319480448\ 4545801777308386307380185941876806375840988460190320813490952852010\ 164564538409897/172160247827029207695614921391359440929018927042154\ 4967307757057925515466127891330719014007095369496712180156182037605\ 53339548305914658085776555824*c_1001_4^41 - 1283312861871467201769219729195694818370484095850246892720617671657\ 4222649121192630331614451805522084860593458416747042845723377803116\ 0560623587542455/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 - 1462083612271371203266398725641656171792809245115320696497312623100\ 3432484987443389002949717391728058790109046094707450285783223870126\ 481039119516391/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^39 - 2782789900664087664788106532739960134022549888449837681261698224438\ 1197825394518590477933537470759324003081375766764018195381178980663\ 2534086968481375/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^38 - 2890464846713716172476364032465795617639738807952202710118605759318\ 0044694469221361923660699595275766898666763034441184917133846728815\ 550073088631267/215200309783786509619518651739199301161273658802693\ 1209134696322406894332659864163398767508869211870890225195227547006\ 9167443538239332260722069478*c_1001_4^37 - 3924057417433636749226796032239461319185561522106241581389449319067\ 4524745482664575165767799495666570574472401020705388323406795736500\ 81737428747285047/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^36 - 4718932903957716941186331242679839122752791784882921191853019201529\ 3395373275438862930843496273916689868672753456368588934001725219432\ 8999316671499717/86080123913514603847807460695679720464509463521077\ 2483653878528962757733063945665359507003547684748356090078091018802\ 76669774152957329042888277912*c_1001_4^35 - 1081757627631828375663315773026064352653362698609639977903397253531\ 0613372227165183063968881089139823182996995658218814832883720420468\ 10297419664671223/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^34 + 8019366450440618698423564215301776499151981066636209712784040499116\ 8715145286219645053679629658134413674358423475736329769273799946306\ 10514936589597877/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^33 + 1094594283592539217223022101103874824068206017807895769800849129152\ 0540114908637914382468052099877784425082871300946379270351339780266\ 845447793623900457/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^32 + 2080987531135939735201484762038352049417219077565051701412327811767\ 8898276862369934248681172681742515774961991002501815582276827793113\ 671572058401702923/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^31 - 8424903210930428437556228397432011130304741701504229115071186391029\ 9960159551733490434043995554932975140297716294026323947003990436335\ 17095490198610355/4304006195675730192390373034783986023225473176053\ 8624182693926448137886653197283267975350177384237417804503904550940\ 138334887076478664521444138956*c_1001_4^30 - 2262398911810391271276002131089415227550694862325346487513373945482\ 6401996234917113145263196367299011154095890360208950107422907477448\ 4001394314009059243/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^29 - 1692809545510638641196804466398078697239587259435385481190433595500\ 9932209500863358732681592908553916445706059667181756695153635122628\ 3502871054739861873/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^28 + 1133933851517872827229152930082964490990505409270565086418266603742\ 5949873262702247136265785641013143776267708271661787845273807572795\ 4464075772936822321/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^27 + 1332043985406498783508528396948224213582689236377665644964961564569\ 1069444866265073495278468007166605514362274616378370545538554525788\ 2128535116326424117/43040061956757301923903730347839860232254731760\ 5386241826939264481378866531972832679753501773842374178045039045509\ 40138334887076478664521444138956*c_1001_4^26 + 3953458167126040520708970009131953829367939079302010068238834976719\ 5004778899985062605398669471530291660739718515074406911017187599584\ 8430645484806297481/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^25 - 1085173898897177064386156712966584346015896952133740481400672294827\ 4204784034867758216882671159385866310567366102498260827981060898851\ 52856183193084822347/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^24 - 1767767082760023360325670492236120482903554595948389421350687777321\ 1091753844696816758915199529308815074839294611190112818384950291084\ 51269808979797507391/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^23 + 1813072587198413210803151257022461147021181440793551555245337878973\ 0325823478431877340118639811696777071913326805621941211272850506731\ 6423654968701330009/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^22 + 2869560950727182797555795955017202272587962481938267551632750007437\ 9516245127312494998916385398556522403749036812216139922788616397014\ 46286066488232846757/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^21 - 9522741792646287749848194993546149641232184853228284126138767665120\ 8832013145849088425034548077781503552727891205731330166007444623722\ 060772272032871145/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^20 - 1164690501865393045689267626354550625360774661297178014001877192432\ 8512913350673825388216480926113907498051921689616127243992088548842\ 02668101745328258977/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^19 + 1626495349095040302925915409764654967499645052335146493112824148682\ 1012282319037452380017389489804486963458364742796489205587309050338\ 1080831595757147869/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^18 + 1769963754584081439220553129628057777159478108303955459002297355182\ 1465037955349905049468565295407759901148206524605712750730003153108\ 0907420106497057513/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^17 - 9491391703325196225805372635245232779012902468918949073685436943487\ 9300451624065344339404356732089586272245856018111423719085965254653\ 013781710908255919/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^16 + 8117270361899833070396606034375074885502784201227048573225353329890\ 9959769897937761687845261321686377955699986768707194090440626101398\ 667311309083624317/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^15 - 2013733138657235338900047816905383365517588417579467945432747681491\ 7058022587242983644060356215690506991549895098207845358131460370367\ 8508883417830267677/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^14 + 2759821590538502626737542373462751150682915769848931448315132484679\ 1138651129778761042899342747473912009218508814768569928584614686037\ 3294758884327970647/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^13 + 2002459484112726789740673979589336833299650251901305098486216595380\ 3611023061582232255748301847167685094851135707907452056999872618589\ 2674756564587922535/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^12 - 5591028489361039441286867016940356469033429441161537690281016835879\ 0932359135505464030595259798253702449985032229986099216504748280219\ 9620435617814918873/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^11 - 4340830221173222608984384355712655586681417213693233843594969938831\ 0295560297517715996071087324278937153199891874770224210355802597589\ 245688605314140869/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^10 + 3280332296369588858075380565093824243119941496436647384151096819291\ 5710150361130965040178476810787725711447623332991542828615278984216\ 7303634208853947097/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^9 - 1055246774504332262545121453732481721303051218332688211730022118326\ 8963374704749158607718022174976063169042541351636333879040784965739\ 067029525648451989/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^8 - 6435428697144089250562778119778798191542308687530077231859963395924\ 3790454646197867473281486348645746134276411555036029565303225518431\ 809823911705905449/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^7 + 6203791703183240229684273553588943070965868082588311302024894819190\ 9762731894304958843351052188291416667987583679086708496879715183270\ 98089937325914385/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^6 - 6629559264433297717875841601588891680849915228066119768620420887637\ 7934052452589205917668451055504589474431619257831149690503809671990\ 6123760314424983/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^5 + 1499530204491369230642868950992238726029862305314863134420595127062\ 2185273298010225521613962580240515197561621378018174181486257259436\ 46487777907469065/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^4 + 1285935914947365884505326729874282279958380727894198241581215178562\ 4973728612243651898395018907785738449635511883960539911389012298567\ 8151659124435923/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^3 - 1074052074063672194095205519380778851872321645556446052858271644564\ 5223042586198780163833773610897258926116983653376055818024987769242\ 4884482249100317/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4^2 + 2052152267852101837172549540038275350636484649228838089424951643916\ 1368820352487685347364741300726043031891646883802256861287474596908\ 262099863816087/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739*c_1001_4 - 5478701643274037296531739462216425918621229086472724899783951537229\ 0907841266717961218094289459295694389608211573131005529387216831057\ 50678640724275/1076001548918932548097593258695996505806368294013465\ 6045673481612034471663299320816993837544346059354451125976137735034\ 583721769119666130361034739, c_0011_5 + 928914976262101645062144543491055258562300963850093841885980\ 9966370125480184973017107781179374061798698681535467317030952562707\ 51054523475012757723/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^45 - 1932083142223614878387962146688377383276061897384175133491150871607\ 7597917384290960423219169967548220714547817208659546530094004588137\ 227168100881877/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^44 + 4614511192496147189847534318811150379892832062507807139088643725431\ 7202380685363551934864514113344990588420178737138334333654692584013\ 238601264221645/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^43 - 2085242229213803125370963070147214808000046742939969523356124160675\ 7732233743887100589547185110848186665235220596165612896900308424078\ 6989988971455433/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^42 + 1236103639542144179551476331008499042243677338180641648251256735852\ 3389722472680120181769524084888824150179480787328962508071172839254\ 0862831073520913/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^41 - 4356108242068502960843853293952501466045556207372987716626192943013\ 6107695152486270875059321423234154979222362535162395297153233822255\ 9895502678202883/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 - 9939023408437494528122754433076630939144202503868381130863540489111\ 2327454082720473972463981972089273017173966828236640835985525570328\ 644688545074115/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^39 - 3779523220703166522189165198036574184022921807477210563297308730511\ 8701088588913603717593202341915190846953959009117734687570734486760\ 92344928890429421/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^38 - 7857188849196565069505166471435417275661479181590806823330051939020\ 6623018046621336466934996839102238925476254780506431357983642087580\ 6866776736295799/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^37 - 6662602568364953599458777650510756454762941871459059645371360899868\ 7800971770509719345428274780140946605580007077378949869066972417846\ 03523100870273739/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^36 - 1283901405023060902480661040707836156896857369403448092106220821106\ 2585395858672637814469406757778231911882011680054168105701663254559\ 427290494025858331/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^35 - 7366355232320253023882473255621690025879942427908437735789873595440\ 4492148863424602794963645593708465855901301072667486503752304384328\ 97564362205086181/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^34 + 1088721847936286625446640891914815238116040827861923993849841440991\ 2520276828405099400896155762522452997787202276754823844835773428181\ 3136978423715034049/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^33 + 7433440560991938891025210152988548324581742682454569012669114156953\ 1261643784415825761268709833195530741221611331852738193704347911680\ 368418434867049391/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^32 + 7072740099666587054636024585920991936848233301076000414974604972761\ 0695686863022363402600796720689666582734829663970661188199687687814\ 742112641459597483/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^31 - 2284950334273060312826240094951567217785700205278402370212223015295\ 6670575286307946951425210673286322100589781971657407077053754898382\ 8758537037981703509/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^30 - 1919450287802856573185188993576755927091036753846928448840154376946\ 7293235115546420681048148869479525914343348772956791669702794832575\ 7974832007135531965/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^29 - 2299231165782267461175935541663302977051278966452653725561213060981\ 9495467401957990828304923810834268687493280848015606233620213169874\ 32313599695241201171/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^28 + 1921709466750082704212406071932923598907038074415599106787070007009\ 8692008494621188403798826592675749535386817170003674187342010212191\ 6846895384835415755/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^27 + 3616233897152719140206090525283726626211449981313206364808923293151\ 0297497706627863299394071502747796234361916662846249892248446498561\ 66321556508803861491/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^26 + 6713476296646850516402487458815211324770985952215877273683107817902\ 3648020186544740700433724727031685317261701179256102124679091204736\ 3685887282022936381/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^25 - 7362031515819364865311578323457170900339490883628385522969130260422\ 5503567130397711915539373753674309365591374505291352119833568992057\ 32990879082179011475/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^24 - 1199783607459300689117481915726455205337814879580688251581312084671\ 0589241901078768159145669618259558582411215209908251655772094606175\ 064129573201432808045/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^23 + 2458321792278068402947470701942000973131874370186604254875623585454\ 0652981362176032295170373393424941033330396118110406943310446678507\ 15204702544258040811/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^22 + 4868600317838000640438451048731668936588470551580817806178263128683\ 7569088705884756416759789178414413916426526477166037418315852279024\ 16956267048068833005/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^21 - 6477427834505690987674434266053457729664947573605471852413959768854\ 4194723265419795522942215575233909294950403189151994911361774753801\ 5099563603352448663/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^20 - 1580883712099780415441744767728783779506531774132823287757239300601\ 2090211652548671886017307646589186678904591640068592554382181479662\ 516153951265571479035/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^19 + 5528960076118258008679636319837403232152722815523185868352767127243\ 1412170033398170585914757223674027639728829886856839121035988353719\ 7433531732546006491/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^18 + 2402525055034643977951741213414161325736015883815058341251313702690\ 8676675855510880425696968655133816892438943301429410563322520075670\ 60448923660619575161/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^17 - 2018484429079156848009921309159473609349429736223441611697190077413\ 1144594268200188426541327849577976890763580022713052603758277758894\ 212107131265753801/215200309783786509619518651739199301161273658802\ 6931209134696322406894332659864163398767508869211870890225195227547\ 0069167443538239332260722069478*c_1001_4^16 + 5508702086815357841275963497137150375253389884503288729128420195665\ 4079440541413220387842001208322231490981457138558684257953970193903\ 2314554382821981421/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^15 - 2734103677981509373563481574458152902255340322760186580503522786803\ 6996581603863747787469740465097163956627296270368385006234737779015\ 10416096476501753905/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^14 + 4683322133248009131181603611876684365244921410788917068254469133119\ 7588298775760682225878857092075584556860826327975145146459876783120\ 6971993475504054141/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^13 + 2718620618633111218013739930511096267308354374085183672838294634137\ 6761352616783792541431044881813833393523445013745295847978794696280\ 72484365013458079847/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^12 - 9487482124772011415133404778639346249941821019507618757551599106776\ 5101564881523346439216329551805997031272024027920389067356877519326\ 2649968315475576035/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^11 - 5887361986854026149128180472336890670502085520784185081865027824154\ 5189954147306045269323009961892427027922105182854330090267083180145\ 0845956068914178077/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^10 + 5566459183449817991224633640639945820986949950998211710836582485070\ 5500973990142537528648842553856438588922480427104635518680916535266\ 1024377998115853901/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^9 - 2870033832626113478092873608923210600833049415130013509413698922177\ 0323027574798138428871233090588263646573234181334288073587618426785\ 6817094832838930611/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^8 - 2184190871372523529678973325247046453355483404865741943649917463147\ 8297488706692567835383458280549391492466103723207349509620995954306\ 5465360689076113349/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^7 + 8436496468249636327386921742095679321849390946143104078495776572836\ 9084234810565260320019025610680977673261974211430590790606174481582\ 799539212750780543/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^6 - 8994879631253525081670685820065279875175460691633837144914736098687\ 4166021796425699182075442184610631184842451570253014800500648712892\ 43928477783168391/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^5 + 1017598293856761557608631151023846712166324618089631708613962218790\ 6254961515330591020624810659119565620527117461685074604791787967908\ 913035945764910331/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^4 + 4359449212128856070223151514723601843396740636313433593760296995206\ 5610285301798763798557859568524255453976927939125683553858124007190\ 5643745895231969/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^3 - 7292023591245514265988332842120692453006001954141420670271726601403\ 1308683236416635078238139055464901146907361198395138398681558538422\ 4088246250247069/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^2 + 6966382289193474019922653648486485346022482217032149066086226645261\ 7377492565886002354949722817654334399930362768696912310410984436482\ 475838395468106/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739*c_1001_4 - 1858443432326342863042259948121090018204601991615015306324419234845\ 8917466208634220659002744387877747705247532026835900604827763256237\ 680469231106696/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0101_0 + 390289068056489131490706272471425600156262399142380664034873\ 9702963897726105516966021857990274973269949868076330439569423459706\ 948659081271748322885/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^45 - 2539547841324202508777800155138291862807623716963738471629414424907\ 7305032679141941231139982301263214851241901862279138623764535017804\ 33473323937409/4304006195675730192390373034783986023225473176053862\ 4182693926448137886653197283267975350177384237417804503904550940138\ 334887076478664521444138956*c_1001_4^44 + 9703506202566713431089481430056578531244202968155761994460731909680\ 7771760648279781643396746308367355683107286483862575622148389218156\ 361995352915489/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^43 - 1097456253590380293995597691457275372095152673598891042957180889660\ 9707036654830372687698524939989372044510042769034597356150548170256\ 5618616574275189/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^42 + 2600852536983819259058925380534122227952268157054969496442428427475\ 5151000421789540500120956716777130205275659053950842204823382510892\ 6101332100205203/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^41 - 9172956292615678796088972547703253824665220747863518625455140559142\ 4321999221378778243764849166459819699889794572501209470272370270611\ 5678943429697313/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 - 1012248654629960641856752327963751044629805468575251606477414359366\ 8240776787220316675664235845851113789925495999403775359280530295385\ 0634518351160985/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^39 - 1983229518721219730379622624233015954698316915222547723419910663528\ 6904006807999536665514730140201069187720691587850794277069190686574\ 38302591172976949/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^38 - 2047324032273065280213893574109761009780762303667069362101674735413\ 3688797984243265716897969897814820026965307112760585775242449489061\ 4012426705746759/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4^37 - 2795184847693563879536531844606007335006837732272956114638170925506\ 3097450112998406621449431035966100383153623899547804055388755937662\ 986799932372067809/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^36 - 3322964887931422286047117855675755715776902192812372502704803672679\ 6529909236761712082736769054945172585299062593916412702889697754879\ 60482224907677327/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^35 - 7612994642015204649735906149745455804141268197659203837737502063616\ 0324365288030599810849961681247233453267657135771581973765104324227\ 48957054399528589/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^34 + 5725494315305689186332404967725863921094068648586437883215068811538\ 7582335469127099197695700163628599548000077134838585982961632080445\ 882407022239077781/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^33 + 7782193098883005287035593512405390163983705623989100268038313171753\ 7355163955466514492612136950206991135413022859829022388644723722191\ 146419997981236527/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^32 + 1472219701944596441751610607693555566081465513859970123279097273501\ 0664153395716665257817837708226272972278118414085463639767323504921\ 3311231425129332125/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^31 - 6051732655861810852931452618070180091814587377107962455008560928668\ 8516066121906554655464541701254021423656784227639640990329871922346\ 495272414476309165/430400619567573019239037303478398602322547317605\ 3862418269392644813788665319728326797535017738423741780450390455094\ 0138334887076478664521444138956*c_1001_4^30 - 1613821430391476901383395463187398132319108294463457780949018644083\ 0365529722523852238380224568687737134788143710935268201316274605665\ 74122302991357430117/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^29 - 1203255076527354588327639886545430203540662236008930972409663086789\ 5420028266925618304126346761827773426701045055296766773168471987947\ 21555929820916816815/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^28 + 8182433061250241962629620837595082576564322147525527719428875216597\ 6539318313721191726471872722210550452098115112471805649141190112274\ 7196986309455849787/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^27 + 4754520448913324568352865280889359592010468058322155700153294395516\ 3135936608595310706795489685586015582179613132349268810990882614286\ 5863790369418876105/21520030978378650961951865173919930116127365880\ 2693120913469632240689433265986416339876750886921187089022519522754\ 70069167443538239332260722069478*c_1001_4^26 + 2786090538970862329353574572151172428050861822266962816296733509871\ 8306701672684840646473246731950092556434047530978358884431766622868\ 28695813645076688295/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^25 - 7781797170106765593004336208323475054566261956269655081581049094883\ 2134694980362880471018431776199455363653808554534855817570646236638\ 94927260230819940117/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^24 - 1260258161806003869030507418460057666375114005844711961064622394876\ 3860646190345450760120811913326626833518713165494086297613419454701\ 807341582971545420921/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^23 + 1328106473702204810590725806060763569855563412052779560676870381151\ 3367070410629846476914082246920653539340093185164603374012454197249\ 18884993900916917167/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^22 + 2051085461719789791711881961058955620084347987704292662937386085750\ 8452931215969067422265023353301791081891365175735430792589072410453\ 637459346071278469323/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^21 - 7475907943637412160205773330807360803187432915628077305185231862085\ 7682668607210477564494617262724625162104018126903156974658442161492\ 3540170351583895007/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^20 - 8333827751504061733458301652309259712305018803716373405459141136996\ 1067329450052924477182047316682582802558832536577438878111622844183\ 52218729278065717899/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^19 + 1179716185061353661966716325522214655573212258207162617484116590733\ 3943223580977593678127377129421549159920273055060401416282087912498\ 87533288235438913195/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^18 + 1267868036030115822551183775942122593850875956877817716669421370100\ 9641868393239369072224564857015435325696818214055427179259645642593\ 25471226642674545581/8608012391351460384780746069567972046450946352\ 1077248365387852896275773306394566535950700354768474835609007809101\ 880276669774152957329042888277912*c_1001_4^17 - 6833425573027644926089948127987461043327753339366600602061459142609\ 0557674469604591960786705208298894180729034495467454791584791553177\ 6593488497832867905/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^16 + 5764034104128065602482294135077636241055777761476908428104407196071\ 9843889828663830934863200699019919366823321998747057284765407161067\ 3490005766586173411/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^15 - 1438862647086402223926614227878024413657362653084572115120751005472\ 9330292559662456373819064907907131192513405266282845859668673361659\ 82948107851433537823/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^14 + 1978544997466381450039842668898896072737212854735099128087183488986\ 6789486158733359228747891754149039011230420690319573850880368209663\ 58502137188558816777/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^13 + 1427234839062312027705905093030128472061795449612855906422744631606\ 0186626270332820966650747079930078392246884437427690091080554836507\ 33742941769455295093/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^12 - 4003494405315934026049603523218848030920927844242156510422074603933\ 2069200466704738653518113399896034745886152242232795185384727358678\ 70669255516252524767/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^11 - 3060369459532770107461496544534488528119754978253033900365130584138\ 3880190687114349412589003308011390702248461932252244025115483507842\ 3304193401868696543/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^10 + 2348681688597062167409670206943177964770950987671171657292695220347\ 7036410482878578434238937160514270256649498313354713080385750653460\ 46957278381054909487/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^9 - 7628554466207274181210629196839879157413291792774781510568600885763\ 6261267547693757168011011930916136455209790710436702124573293658491\ 849135146297079469/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^8 - 4610121522725091169861103954096617441575265432147703677456347671951\ 5619835498301670126443603684161073263136773581312903510475485409011\ 5218692243463935711/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^7 + 4451211658420187412006604943676351111598608801056436407982539726101\ 9056653229835979751785257419953217152682101846561200167003022705492\ 712599162822415771/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^6 - 2361459593170903683996603958956414707939078636130303414169293590289\ 1788846404760457590750259166312566493755190426227100771333580455054\ 68060753243889913/2152003097837865096195186517391993011612736588026\ 9312091346963224068943326598641633987675088692118708902251952275470\ 069167443538239332260722069478*c_1001_4^5 + 1075089419362816222700993929117190916325590127683779518615859208057\ 5350189708314012489168039259866474300391289017106703761265181592530\ 710340706840752697/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^4 + 9151720427201509781891466994693692144384672561629428064418552717715\ 7391624638006253659475514943417206631558963005586153482456101980996\ 4239577423271869/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^3 - 7689934054638120767746998910523968890407625230150148780126406956268\ 1465605242765968794231107739322144877381150319571343586924595729658\ 4865051961114095/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4^2 + 1469527924023863841370814873862654478048894144284725905616726754837\ 2940110727094805546509026165005367993423694013577699145255579326228\ 1269336601248847/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4 - 3923739315723417351154031100078109196643493440522825491625351236001\ 8446551527599831228498607534252598269443458452185987389306273473974\ 269057657947679/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0101_1 + 216767602708701426008007107323169380405406223170323927508356\ 3969763955995230283110336159585545316980164018367933094798616424253\ 177451893117065649103/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^45 - 5646144176040326459896984547873486489688239077801391315000614295867\ 0339009641271306924190145250333976945430606186293231119408498364287\ 82181111943825/1721602478270292076956149213913594409290189270421544\ 9673077570579255154661278913307190140070953694967121801561820376055\ 3339548305914658085776555824*c_1001_4^44 + 2696693405004935215296162396008519459330953746061567347782313200970\ 6550579238729112688255662523357394169522268310108330125786132243030\ 188537022758881/172160247827029207695614921391359440929018927042154\ 4967307757057925515466127891330719014007095369496712180156182037605\ 53339548305914658085776555824*c_1001_4^43 - 3052391680141058125245168348070344608363532544111848795895298808716\ 5645945034453205599853892953793924600726711760825049767742462249310\ 520552676464797/860801239135146038478074606956797204645094635210772\ 4836538785289627577330639456653595070035476847483560900780910188027\ 6669774152957329042888277912*c_1001_4^42 + 2892814156415824826314629674068391586828539764126492534533646953989\ 7159301738702205177303534837228455973917393782569713527589863599900\ 0652364575019473/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^41 - 5103622327132162463129762428126148275497286151358148732381018460726\ 3862980292169694560580299679869162799015699514144262906079927231077\ 4861676869662557/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 - 5474501228984597872943879654004712448498233465947918036315393324949\ 1855333053303768773938624943689011698550970270249420197256670242063\ 935208248395623/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^39 - 2201748445228937778580658589113853603801487262720860034637591727312\ 4528925055330645109788361765698757976166706421890551558732381108553\ 03326034728305163/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^38 - 1810553844659029334592351636407921641089619108421566072325882667792\ 1835959945630538713772718213252978678820167154915215276982252207405\ 13500333180809187/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 - 1551368738707187981328054723198094009940873659742673618062727913883\ 6811540707752779402065040242590479420924524337772695165169807567005\ 150522180656246533/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^36 - 3660196976243103746412663545398178424452588649570991133442883095727\ 4157415840921456679225596466385423834458167908296552938435469746927\ 68732205882654631/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^35 - 8405753029568661149160996884667533745573202817419809757810675559383\ 8970407925247756998378641186763030017368139499577694456389173816200\ 74560787910921765/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^34 + 7951442694765320032008289809748385322961963135653650514509635251987\ 3517461704011624235328483712696513360066397388107333136628129627773\ 57437454141024715/2152003097837865096195186517391993011612736588026\ 9312091346963224068943326598641633987675088692118708902251952275470\ 069167443538239332260722069478*c_1001_4^33 + 8617712768006886066457133360047261247391768484176436721332447039371\ 9711958449404979513196455498927875509212870622648971436437628519288\ 648821541187342019/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^32 + 8126577203491663752612810641550138917630338364643963845621270274613\ 8633273676213689390178988840791188923290645011574546712008054086699\ 550969036221283847/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^31 - 3373692310835222177195762002759215392352916653138546587400863083489\ 4564056553832665288890721778011251274337479058582571231438035307631\ 246735665070634263/430400619567573019239037303478398602322547317605\ 3862418269392644813788665319728326797535017738423741780450390455094\ 0138334887076478664521444138956*c_1001_4^30 - 8953434129022283439269145578403550055036222296003437916488524841984\ 0888909420635713887661300519657069028191741761487237846502017065576\ 4116553483375250761/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^29 - 4161951216594665811615083787920044000951543728916205886281461364201\ 9817095839567279851368832469517440599492752306810355419087221204398\ 896385071275025492/107600154891893254809759325869599650580636829401\ 3465604567348161203447166329932081699383754434605935445112597613773\ 5034583721769119666130361034739*c_1001_4^28 + 9169225957253762350254099840182531141127242536919925345571039159104\ 4374069209971710846669547206596066621730843095414042426891709536808\ 0206727113934614863/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^27 + 2112262601113140360462659779722595265933001124094492380021157230475\ 6628706281808283658745635540489046131434631161662114463516740383806\ 04449712925530195631/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^26 + 1527355629555182405973456573799263257234208130438588810758938856556\ 3663929939222727635582334432420820129476952151174806758798733040281\ 74603347561704523095/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^25 - 4340390284619958553220861863947147808203855028897361172258642755399\ 4162476217875961625779951799445456564794741664743355099327732811610\ 89592854824942454993/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^24 - 1747139869282869000817912245965371370075798179548231213054608242037\ 6702586796762326799532458657026719483968622728799044193091517663043\ 25184534417563155269/8608012391351460384780746069567972046450946352\ 1077248365387852896275773306394566535950700354768474835609007809101\ 880276669774152957329042888277912*c_1001_4^23 + 1514726629533811150574544570873792920387817573981925763076241665674\ 6930870935145667528924153525001508291866149377369276198767351783657\ 40567508429416888241/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^22 + 5704184118448371399323962851824398031421842302419974721914714125187\ 7425091658911135534716244736355882609239149026746582088361682735036\ 16528369526408164751/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^21 - 4586602329956465384005302900149131270776414452411959036038177279053\ 0345420425642448136581397916815149812846300257764651874087512264964\ 3890151367859203265/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^20 - 9284939898344752199927808367082522556872569195509225331219318831316\ 6155294941209555258433127917513956656118779704101659349458156717779\ 70175851495092972127/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^19 + 1336848215660273215407811584185317747569019310990404662697514916828\ 8932668374380900132834157936856739345591154399675612199019111178642\ 14109185724820332561/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^18 + 1415194081210068899914937975648473512246376840399058200532199859843\ 8682271094215114988394798060166108683766407488021111723682957670461\ 60185694938693118873/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^17 - 3843396550209182659355729920527673531867306482936432238505376405639\ 6934526314399291637177918650073329564610063595341492380534203703644\ 2796233463899702645/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^16 + 3181820986571932424300498933707221322345922646327708908789366917578\ 8201000462108424375320265753124754826460184554591230426040852304342\ 0597783916802946075/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^15 - 1601259837095839994420094087243291867179272908935484676762074484204\ 5466383166573203178431918501944173892756367785143985101662925689259\ 31864064575965460779/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^14 + 2759215499180867085708114983631491789952929922483539005570645924075\ 5122937705577449666786894564843209596775679233586750141763870851062\ 7416965138138657565/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^13 + 7918786398696112459109953992860170909444961411874213184913459260014\ 2565026423347285214613169206162449404447419096463515257812176460323\ 2970846372424854723/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^12 - 1115948276738506505487543955902325414605782268688439064774736294782\ 3115030121780058797937472542045184266321659650614746000223904562307\ 06102802524870958849/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^11 - 1675510488517752986152789547261895544509144788672288764426340787840\ 3793374038910645883487457414460790829848133145216640443873197961587\ 7894069260781756883/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^10 + 3274195619718390117394974117662845318678714771126336140032020855427\ 1933882688171355970211141113046918689490405694220928687859959294361\ 8267259221073200413/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^9 - 4305308100146412139339565342438275608908544030992115553003485973878\ 9741208488204766185492140974338873592597898016433885381250209482259\ 700587426472321713/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^8 - 8041726876949600238672146370396313239597115313583041240206510638002\ 8662501015366949529607237222447747473824129621523966098910785751533\ 05370796697691818/1076001548918932548097593258695996505806368294013\ 4656045673481612034471663299320816993837544346059354451125976137735\ 034583721769119666130361034739*c_1001_4^7 + 1245093693853281848846328287558788076451717874731492374055315584351\ 9152663837246483802261881917322713910940036498092322485729219445714\ 992680348844356079/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^6 - 2093499948871749713250218162950585070894838081236383691888872681982\ 2843809425115457314934520031919005581119342849464085846846437290764\ 053739467052374425/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^5 + 1201459824618399630694630429906204390190607932242981033437361510219\ 0260409416567131388813483563264518783567881347249177955622560940259\ 055644666631675699/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^4 + 2536129558003328838951997272401132307364751021352567217996776989310\ 4562441916652590226117415428522279299520182870641639151076833750282\ 1398634638874823/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4^3 - 8579375606154485224271988211859518343055949574553507354917267427037\ 4053721859963632748198461842794938044113760493545381971704533952173\ 8603862547476937/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^2 + 1639602162501786405387682483558629916019000947547397276772097550948\ 0145501233671096486349165501934033008506025540377378430049218405143\ 5143741054612095/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4 - 2190966949135727705097017126669501856774992317232746204617053612558\ 3989844128088537027300420046619024971482311275392924690305200710359\ 567993386344109/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0101_10 - 17102375952684564957149707325019614765310117196575742836051\ 7042101463759409733958919814246030124445909662945652070663062007482\ 28807039469134569801141/1377281982616233661564919371130875527432151\ 4163372359738462056463404123729023130645752112056762955973697441249\ 45630084426716386447317264686212446592*c_1001_4^45 + 2228293619613390241544157818028164678330050722490143529157404542449\ 2255527148438732228928465667799914178372825744297536656843621635577\ 502138936701773/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^44 - 4257255192061771261887868027426311533079585809076370948777795063691\ 2520870620988598255393936952776130484037696407836214449857345814070\ 7940625873070713/13772819826162336615649193711308755274321514163372\ 3597384620564634041237290231306457521120567629559736974412494563008\ 4426716386447317264686212446592*c_1001_4^43 + 4821217055028468668769605337585255063301647061821083221861927350125\ 0973824022979103956953023472454928970893523172395922223821897030712\ 5176727746901181/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^42 - 1142225446902544754772302929705269551949803700148409672266616336901\ 1060816344212122536350284173435058412958897458786327290088145743325\ 21347459347331811/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^41 + 4031356074095208838782624913534276446598029782488523018159574791086\ 0042316491136741226059389207570305462502755696919362898095040037621\ 90382814741775581/1377281982616233661564919371130875527432151416337\ 2359738462056463404123729023130645752112056762955973697441249456300\ 84426716386447317264686212446592*c_1001_4^40 + 4234721297243920679905842991066588628245507288981164118181067098301\ 6903250682748223841685524923661119116849230829557273959422371748396\ 8690125310531109/13772819826162336615649193711308755274321514163372\ 3597384620564634041237290231306457521120567629559736974412494563008\ 4426716386447317264686212446592*c_1001_4^39 + 8684148742480632921005553492819811605610508380613734865616493166539\ 0293045222330049667693674385394586878991194332457132905813941115299\ 40815612175444687/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^38 + 3562074792661379730308046281245070950693154785585161188672862855912\ 1361627421723635872174828160407724131787646269577778147735821197946\ 70691894000521387/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 + 1223715831042812139338225507220291251889890476978872884119587434803\ 3309569779729639236955932816801759173710570734941805395199508359375\ 0298017894404267101/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^36 + 7188466568174157568090393514537598813228009703418509137832454244122\ 9074866913809048686406980415979113392897269987084317286648147117234\ 29281406131841241/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^35 + 3312168340737429963851052060483997795297482751371280017638014450585\ 2487471243681658169785852055453250678613724660809059598645084310376\ 395638270474458105/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^34 - 1568264300601232033531652351434827881306038077986995792673185735391\ 8785423039012282771355509521114564336726280701890534905904932419099\ 801747828494699131/215200309783786509619518651739199301161273658802\ 6931209134696322406894332659864163398767508869211870890225195227547\ 0069167443538239332260722069478*c_1001_4^33 - 3393113740589380777693074320255144542486625887889437176266123962091\ 7559103828593965382515229250203476272746255140408813529076703082561\ 6372442551573874835/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^32 - 6394552268009759590860713071086864608662702046428720466598328941611\ 8594085826249591967975747871122939397625264651683751589436632306352\ 1592353525248415089/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^31 + 1665018105373150614877744746039955410593036572063393395831253171042\ 5847503917624873040403646118609489250160746439419175245485031707081\ 641292205717569117/107600154891893254809759325869599650580636829401\ 3465604567348161203447166329932081699383754434605935445112597613773\ 5034583721769119666130361034739*c_1001_4^30 + 7055932074256447813052227366329615159123427497256121248847928138000\ 3538050025350462617186167078565091396683975612717083347934793089544\ 22804021000422934101/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^29 + 5243285771187338506462524845407281232190783201927524784224520029850\ 2826836660829072641105488531826491853924201120033918799636966219179\ 56300515609803843325/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^28 - 3629993802243433686163494418840780115897111549987393441909845963260\ 3714750861756965270454180481179662714244821268221929576517058584139\ 26132988842564019995/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^27 - 8326146792061631319925481660287221951114754636769739183700107790746\ 8518141200959854951042681594337519101881737457998327267693019642620\ 39093249674384199795/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^26 - 1194900325699308737793177732501179332972778429756320726177456136677\ 4269229048216949921164796310589400601064677240407890272238683868341\ 835015442283718287679/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^25 + 3428959144906511080088171446232750122351185745914235861977476392392\ 2148256457664415422498592140547406216139840653482063609307257026967\ 382050552590568066033/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^24 + 5502794463391265942325031233547684948901636336846427785746818937083\ 9672579371829370361715715021568514939395077561863339819118886812131\ 613165174276241405365/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^23 - 6069062398566585589669190861747233049009627701647183257787815603634\ 6225589081683166171720590022523000049797405325161501979909964058085\ 57085004541123151787/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^22 - 9000180145320619321304091100508635355722585540156527029410027108282\ 1943440585595391373837249947492087606415863389083741819568109392013\ 079010345361453552735/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^21 + 3895033022773636764707827350813304366361186062076724819880124675988\ 9805148904985466573692587452498531464761755885810082713550240293079\ 71434732272509367903/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^20 + 3666504990192693486874122450665973722895160992569771182361548887555\ 2993837996299517908835512840285188789742261644332874688191531225922\ 158938958848335176409/688640991308116830782459685565437763716075708\ 1686179869231028231702061864511565322876056028381477986848720624728\ 15042213358193223658632343106223296*c_1001_4^19 - 5377061978185553446169690007546386041654490185252645185763503362401\ 2683458583235917095362013409397388892724721200895977265761142215498\ 85719924508033704509/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^18 - 2798202080533314776596013827217896860035653992016618946095592666911\ 2769291659441917074701503724464242255029379564197208449004999000472\ 30707378478911755309/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^17 + 3089196064985776782516819446581386228025472695322353629587537598271\ 7333062484730078017824604877146595647810171136433036940669029409663\ 38460628573696420681/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^16 - 2491400187829191480254592860168401573760406769731331181162193509090\ 1825941370691143528807723107500627555066252787836403923773869462417\ 96365586020321483863/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^15 + 6323418372149523940359875465854329034732507460340848364022027986542\ 8780171637362854946797440816143553041326077724969546520523847888455\ 70433894542551107725/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^14 - 8735049888917631863531276684639561588375512220605479727766891708916\ 9707448899611461454262622771933413767511443855779834734587438134078\ 59752369058940045789/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^13 - 6240661139183631607984999983764505788666508769740058054669640574603\ 7082571213790369245776559112612969804858048077516274854939345150382\ 65752418971560846553/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^12 + 1764644197866364518879057375779580165519142206017602192456098383865\ 8147586732515041251232200010219214964208771379325618263671263116686\ 629187405720829247767/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^11 + 1302266268850344146779351904301676604812873165317188161184076614573\ 1048571112527664677944228635649120243589611056853701121254473517961\ 22411901819130048759/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^10 - 1035621159987711733014889765672378955338771210343708744812477477157\ 7683233437807533157547521215008394300507118225551775832110723957081\ 023639127343913463735/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^9 + 3456860098318641833704739958333213434274169644035182816509528258534\ 6913386308515107016747767290986095358712522227195104916359410811772\ 4786306372024310647/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^8 + 2036974252079663492617002249842103101896409099524710366085618524281\ 4785774394179843230987643107840015422559307761701699746307676608984\ 84979445022516998495/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^7 - 1985870516217587752141313824415635923290583232206878888262254627104\ 0223238249919541290422210466073455614874592230077773661669771848174\ 9570294151636595559/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^6 + 1026809216635495622705370386955573261895511300079791952737831076527\ 0607504830193554784190213803970437296783979143200050344963032021658\ 913428443266737535/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^5 - 5952895820305175963283759232198870146777736247748239652081410909925\ 5237625505112097820755803759510362670506019180192174369457662953203\ 02688690375135267/4304006195675730192390373034783986023225473176053\ 8624182693926448137886653197283267975350177384237417804503904550940\ 138334887076478664521444138956*c_1001_4^4 - 1987697382358301013202853062682296283413294813698207072413439592043\ 2845328860387340409634510005385531330031204359982079740901217060344\ 48342406482206171/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^3 + 4248199392551783089034698277704784030720226023703363419513227290537\ 0488607186334158467729515334405427032589846720124257202207474546714\ 1568716220403244/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4^2 - 1622388415010016109190966997552270186914603078008657806612740355535\ 2813506076471755821842156133360795093425489423178923968791136695629\ 9636802711163612/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4 + 4354726469753283174791629133458473921318442605254248858831196588627\ 8917816327353961001629756762448650440988409662699143610000887181681\ 590905023173320/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0101_11 + 38456933314795749624965079323374244337260561794760307722289\ 2444878892112040554896768105179420287521254707462727674067006742369\ 0423892810264366605259/34432049565405841539122984278271888185803785\ 4084308993461551411585103093225578266143802801419073899342436031236\ 407521106679096611829316171553111648*c_1001_4^45 - 2004309074339192015510359725917985353440934718807138937840506718380\ 1663503120436470610904103585317074694112698430279647651743461293871\ 752704091791977/344320495654058415391229842782718881858037854084308\ 9934615514115851030932255782661438028014190738993424360312364075211\ 06679096611829316171553111648*c_1001_4^44 + 4786564093690285168184518546774551169593747026290003908770087307835\ 2765059867888524750892759210581113935999163760782235647035080194153\ 641079377200873/172160247827029207695614921391359440929018927042154\ 4967307757057925515466127891330719014007095369496712180156182037605\ 53339548305914658085776555824*c_1001_4^43 - 2168335828647352870287987541907300196922379168760757302773114593441\ 8502134266948970332671783692061993370932327845947744714530487987894\ 1849439502221899/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^42 + 5136975396288601942266943183674191582783221207018228903190239638011\ 0080167942841930099054035242768518396394659486720282366723359763293\ 8361553612030071/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^41 - 9065898638142079547773799088493413689124401842075711486330523014437\ 2785553782875764782991110715314915610292981856113415943042254339764\ 0305929511721487/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^40 - 2378252930300286046085437571326957913181142158604695669099153477136\ 7356933548136593570001754225987498010767083409456392141040284238105\ 711292608400997/860801239135146038478074606956797204645094635210772\ 4836538785289627577330639456653595070035476847483560900780910188027\ 6669774152957329042888277912*c_1001_4^39 - 9763927124019620286606081404234747774245769312221993925704768897300\ 6615531483334778472661710139573625497223598074073210081469126539720\ 1705728463683409/86080123913514603847807460695679720464509463521077\ 2483653878528962757733063945665359507003547684748356090078091018802\ 76669774152957329042888277912*c_1001_4^38 - 3202310630469099875636064955161099318481687054220546274499352513739\ 0559306897697359126567785767668117078238218181567384954700527914208\ 74701965429842053/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^37 - 2751359827311483346521892496960680649061027528774433846338781514467\ 0796749332275003558139037986540326442533974909605740018409047076837\ 004828449289816905/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^36 - 1291845096865560662945116738655242083962942124302873497166805138911\ 8831308493551609738985767858622442929776397478522170046867839976092\ 610348403071716007/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^35 - 1486893972949027736757164347549070579059202699042418765576988780850\ 8447607193623975093934026869316819144023377179469567707244447614567\ 564892992249251109/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^34 + 1128754740587131087068066081418178583899312301384545576342042005925\ 2377753903000644407631021932672031923917073151354200224364644341243\ 6812456543424274393/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^33 + 1526119935269179019229282286990204853301972398461484979929517553118\ 7176341474107247719070447392446563920662265924857029037041008282153\ 5194482960481276447/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^32 + 1437448053532182794468204415787720399291703716257129360959826963315\ 1821605341362882840697595086426677352630678865099997698423779578908\ 8202903813645953225/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^31 - 2398473220200525650400741224539639529619000873490981343315333031448\ 6344853328624618134544748088374415416160646173868236775383269869848\ 3467069992958110887/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^30 - 1587325392293207377956352740448737850385588782814820116430457476232\ 9875843678053501288638013194500874462903398257972197316172232953061\ 69091848432326457397/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^29 - 2358559979945306035880962986286654120552204055078562695115012859323\ 3724797103503945254892812216241176554728273150734077356698519816365\ 62466338897250084857/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^28 + 1633462657669214314926714977952292223079666652033102365535726280082\ 4893652213495712968344616026491464919685991598977485091732932595273\ 01750017813931809149/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^27 + 9364816150914181997224814288447279722074391038930155358301741351531\ 2782807974400203658999542463154720641402988064357352897981828860056\ 3486402923925581483/43040061956757301923903730347839860232254731760\ 5386241826939264481378866531972832679753501773842374178045039045509\ 40138334887076478664521444138956*c_1001_4^26 + 2689932380831381930266409072720063891223580341535679105965566265341\ 4562130494444286251741653285316777458541165832005710263468554749533\ 24206377470380267943/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^25 - 3856126655474043822000046060327378794120336781621772960150204664048\ 6152450640604521993616942672966759895592069083092624638151638690358\ 44156120466380041249/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^24 - 1238130377567381238657606846818847201243068975330975292515996387347\ 4946299365554452365103818614461537913244685068500190575983730327418\ 423472161049203880525/344320495654058415391229842782718881858037854\ 0843089934615514115851030932255782661438028014190738993424360312364\ 07521106679096611829316171553111648*c_1001_4^23 + 6811529527170030092881745744666113289439825196698189111678701192407\ 7898935557874135775334255472318706738575548802884393503744505045604\ 4570677803275528513/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^22 + 5060737814832383016567901250342257506192305164975456933981028001987\ 0642416878425374105331746874254694590306101773346889233745104785395\ 82319317287713452975/8608012391351460384780746069567972046450946352\ 1077248365387852896275773306394566535950700354768474835609007809101\ 880276669774152957329042888277912*c_1001_4^21 - 4324807006042102761920904197992771332206243281877125330248916356813\ 4383951178840822024964233170312784611348948713004606825634319605925\ 4643492713447274143/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^20 - 8243758654829214974797494458357006150447419929985501545266287018003\ 1886892658320726845759834692732982051973097996222933715461645484666\ 94254065443014033025/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^19 + 2408158752157411801678727385540819320877400892589415204873324574429\ 8350948072998944343368187112376894918734023950539969000145619234922\ 97899378260052307227/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^18 + 3143948562348810995946913190543012872125396059105672441626572795999\ 4813491119047163583830320118712670753752251546878575262032187426378\ 8097543430443991809/21520030978378650961951865173919930116127365880\ 2693120913469632240689433265986416339876750886921187089022519522754\ 70069167443538239332260722069478*c_1001_4^17 - 6907427239632289372226374687150350984231644300443785861056147291070\ 0035304876722100791926317847267687794598712734156724639953618227956\ 3115213169369321105/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^16 + 2805468056455662567821838181075651954892125983954077794857656976024\ 0888056122274153495198902255393467749810122998836004654824394566158\ 0589711044993318473/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^15 - 3554246677520184298035075389448076441328477007840069783534312822729\ 7173949936831503952628333289540011854954751664667666430577495542493\ 2025537020060889013/43040061956757301923903730347839860232254731760\ 5386241826939264481378866531972832679753501773842374178045039045509\ 40138334887076478664521444138956*c_1001_4^14 + 9820435871927326403072698949254453081751466819602872257036432356550\ 4681612870968117693346762116700567875966810332624575903700890176038\ 9293351266670358865/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^13 + 2806634375195011932056345278396525985730596199190257342493041253077\ 7921586216524001493244223596510531699168168841294369330891161334153\ 05137782974639124067/3443204956540584153912298427827188818580378540\ 8430899346155141158510309322557826614380280141907389934243603123640\ 7521106679096611829316171553111648*c_1001_4^12 - 9917242486419110848435625438223697992363663600529386803788623430787\ 3158052202174513088203957106261576921598343341908279575097938973952\ 7376656063428487339/86080123913514603847807460695679720464509463521\ 0772483653878528962757733063945665359507003547684748356090078091018\ 80276669774152957329042888277912*c_1001_4^11 - 5872371919884036071099397262318746443346929874793274901360852872026\ 9301945506526102389874510096899037512929639517586190449028038442024\ 8315654452907717429/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^10 + 1163780122042153096750759697617383972263984781296894393117770562263\ 1521652517889325243412516987586869714578744768163609920772732885195\ 46690874742804228093/1721602478270292076956149213913594409290189270\ 4215449673077570579255154661278913307190140070953694967121801561820\ 3760553339548305914658085776555824*c_1001_4^9 - 3096649102666444669509053005673804552912205307847891065227607111002\ 5097857745396172903833759960273691539070259150636019102294236979944\ 2917876345402237029/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^8 - 5720331676836092637820385732405153743857890525433063586294664067184\ 3855801268194883690451119324371753280397969006278770337134535772156\ 150827806606901991/430400619567573019239037303478398602322547317605\ 3862418269392644813788665319728326797535017738423741780450390455094\ 0138334887076478664521444138956*c_1001_4^7 + 8901668867160262535313533887570889602181659840191808585227530053365\ 3118436816994028523242418907117300435363116952504372431114989754275\ 209474157156590029/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^6 - 3698313740961812394441950305889356073785016605190115351381594727792\ 3040248405537289148440703840741516062111934214499043196286928071044\ 407849446644856931/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^5 + 2139599525367102485049551087041428806624401524401121647123892356123\ 6010818097815225889259550411911843959212147495515071854264968150315\ 817214969030695625/172160247827029207695614921391359440929018927042\ 1544967307757057925515466127891330719014007095369496712180156182037\ 60553339548305914658085776555824*c_1001_4^4 + 2236583844115135461956268119993589896204711525996506975599393321583\ 1412811655143755597648067386268106974060315038444931804054348175576\ 0581466279150689/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4^3 - 3815946170604561892543443043029635309885523892183134214777360076057\ 0330517414338596970880304899113863441170933936446325919953472469952\ 1182241077498275/10760015489189325480975932586959965058063682940134\ 6560456734816120344716632993208169938375443460593544511259761377350\ 34583721769119666130361034739*c_1001_4^2 + 2915633304763688644934269941367360745501507442022258162191246850971\ 0874637660956440686615940331647820909101315699837006080034714079477\ 4442780624459315/21520030978378650961951865173919930116127365880269\ 3120913469632240689433265986416339876750886921187089022519522754700\ 69167443538239332260722069478*c_1001_4 - 3909820692423364777724146936789319920783155801523788340311240721883\ 3196076505434891887600098735505241058157612842391706734836207630485\ 455819451746155/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739, c_0101_12 + 12519399973086507234496389189787564087335664202377812985890\ 7987790508935190721357044996200318434958476032484449380146751458685\ 5620704078800588652473/13772819826162336615649193711308755274321514\ 1633723597384620564634041237290231306457521120567629559736974412494\ 5630084426716386447317264686212446592*c_1001_4^45 - 1675365901741915083852403807200645329932656148101539802805534176568\ 8115964421780738829775233518139021368083989386480304653464824053507\ 25861482754579/3443204956540584153912298427827188818580378540843089\ 9346155141158510309322557826614380280141907389934243603123640752110\ 6679096611829316171553111648*c_1001_4^44 + 3194602406769875244756278007005711704923520543349926111427005997275\ 5346213954695160260314538300385736977560208711803156192427233878224\ 425307885615197/137728198261623366156491937113087552743215141633723\ 5973846205646340412372902313064575211205676295597369744124945630084\ 426716386447317264686212446592*c_1001_4^43 - 3718382896963097905543471211560032134411878048007294247498354507642\ 5480826617952061836023080691403627112689083477135071852804646499145\ 306424940087301/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^42 + 8710382769914433558909574596480643658205727706913572084772652468395\ 8370970854177650903457394445722286134758855857674850449620329874443\ 458256067034799/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^41 - 3132009760089055767258263367647360756960827305511729183805092397099\ 1421580253780796577284900713131005390439108289590287110189430201090\ 7012568548870769/13772819826162336615649193711308755274321514163372\ 3597384620564634041237290231306457521120567629559736974412494563008\ 4426716386447317264686212446592*c_1001_4^40 - 3590272689940777004216695644946222387034217085351481564241112845937\ 2113124715824544511447977081489559476219669766270686702477099104050\ 86285703078049/1377281982616233661564919371130875527432151416337235\ 9738462056463404123729023130645752112056762955973697441249456300844\ 26716386447317264686212446592*c_1001_4^39 - 6227017794713846253576727202498985599623109387648254644779376939438\ 1260194615799725167139882983735946684772510595139809767788607367713\ 2652155574088111/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^38 - 2106976983364199585499755833223338437936830483258389728969241389257\ 7475835298802083401785182260550485005978956223884680792369275964953\ 4493627244800303/34432049565405841539122984278271888185803785408430\ 8993461551411585103093225578266143802801419073899342436031236407521\ 106679096611829316171553111648*c_1001_4^37 - 8653222973409378184865089743466378476320802057340007243918025946711\ 5235937986879857299023589677352426755883864734675505937179464050548\ 43910659687002241/1377281982616233661564919371130875527432151416337\ 2359738462056463404123729023130645752112056762955973697441249456300\ 84426716386447317264686212446592*c_1001_4^36 - 2113787865694906652177031223983505399586088303400989993163988482491\ 1312054390304475895679350135442302212416674792262263323408665896418\ 798728727051124/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739*c_1001_4^35 - 1536441701846697099683293479853266949968286227184864875211788982314\ 1067277726084196237302265237415785406385300364993273769248776177378\ 55880073661774373/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^34 + 4721598920718305599901299073234223151061694031616305260963564108610\ 5616322588034746615781533703769007521708398616927096695869757349117\ 38588096443276647/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^33 + 2264437776582532048669418521365539716246571361678127931399220153981\ 9546838672666857743276916239710969825706398096960825553234812498410\ 361124585184625935/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^32 + 3630659713610286702088212515257276045347092137388007707015450036545\ 2747166410921690755453649755585006725324015258257475084654114954653\ 504170457618005045/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^31 - 1161407092965161571743188537952131678228838128313013938043065203836\ 1985956383420761170513911871002124180691563595648069009184396135855\ 712383430318448453/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^30 - 5177938342449157552509793982833658978098111499948096701791262404305\ 5977388523636940357524455348878597309593485829249673561057206596711\ 2729703843114173305/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^29 - 3476171642429842838770391915309713558352146784265407270714279439643\ 6521577696561370975847019492304475247862929463290472215360310115324\ 7493346929925071613/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^28 + 3488253932900941269519984692419399430505582147750512517045775706248\ 6363533680357061821947333080602572043897266380262445139947852557797\ 2002510216511430791/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^27 + 6235252525781327192709979368639911616829048641670523212360690566407\ 6779819362642146111943018253818215593872087567343647181549787546732\ 8183934840576383187/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^26 + 5731360197694884846832620650046745165693014519755460697864721324745\ 7751122067832248484135134944255183705574414237264639985937665626817\ 2668244353040442795/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^25 - 2874630787444457117833603232099166197733732434628182909571021496161\ 8043977635388438834100616436734164349399245931479495139776198175510\ 84624894049755243453/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^24 - 3961853342470375321191042192096548714605122378668862819664691481756\ 6950479628321362257375965286431728893888098382123038443201259926300\ 77645914214688792001/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^23 + 7571680863259278927075387216747496892114530430359126858211047305408\ 3367777100880928331680416399577836296915895618570701877533817230937\ 9965947309813407811/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^22 + 6961899131596197861089372431592007515260705219366860034981283656004\ 9945045603698321181130930501776612266022064517821487187613295027255\ 76740546667921525579/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^21 - 9217684296550934694306166776669196037365532721802567459691569916165\ 6473095129921244063909606594759673438652097234959431388375315303085\ 4003519165294637667/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^20 - 2919217290298610373317956129791237708923733140861375729149765800309\ 7414583163371810764012277570601998342772678370507903265898647031124\ 15694718376142911817/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^19 + 5854808150251380012776506791236092834696528558385025757558384458375\ 7829601515216306411823267439804490107801262965441825636349026789515\ 9581974575367254033/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^18 + 2296425496580164320619510040821508195328732996361029714674007721863\ 3980802991444460086181983630115453620716756016092102796113712446014\ 6665504591193356163/17216024782702920769561492139135944092901892704\ 2154496730775705792551546612789133071901400709536949671218015618203\ 760553339548305914658085776555824*c_1001_4^17 - 2983821974708541746609561599685620520533544142095496176894334609027\ 2246828968924847472754321648836815255105869451698837459132447960545\ 8021671654170499741/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^16 + 1549815757272078492846836484510277915580216076153716840418737853102\ 9651522722589851544699053300527325320007040243159902855416936385837\ 8018753745723010219/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^15 - 4867753177266036529501138060983224011543227810620141865175024775727\ 5064652628249705852458030667220274848003778323700771307782533669263\ 9889403128050998037/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^14 + 7320765911135689309046710916761183521217711430661138821183508529576\ 9082226572821872254616631893990479305749445721560041122093576920959\ 6288994657881465793/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^13 + 4484466048210332508764596544242698484152404934004553644169906197436\ 7337067279250407886511995521287178195351387610502033833652141780885\ 4080022933033739705/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^12 - 1434171431701915137187410395001416386638637317112083743351414943896\ 5924706170334721802421069483991699293986351637784913362306919421431\ 17908292907646547587/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^11 - 6092867727391224974861553281106429411213733316054690310486294786350\ 4944900429966078855842756763364410745416781253612082126788892130187\ 053509220931860407/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^10 + 8404500715201989087349949068687694444127442356667141998674263084023\ 8964909162054313391522860948812240033568254001336433393020380734035\ 3632316285184239331/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^9 - 3558675192120409687053051139220575674770770907210779465614142093765\ 8360353402556091357446429834314440565011352027865354568743164533616\ 381639355508178457/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^8 - 1680857315125557173247102649752405666696465563851705124139322657634\ 7752064638877270555387841639037405221110031612465974585513345346916\ 7990046495788714971/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^7 + 1743984041568883169279745542797031733529377336252510070036833111892\ 1481536036281636835254081828298308816489614280590568968676794849137\ 684508366891993327/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^6 - 7110999049163121531639344494200116416981239126400087222313105261105\ 7638326264542006111713033325659890541840276946957006768506029653585\ 6798071800300061/86080123913514603847807460695679720464509463521077\ 2483653878528962757733063945665359507003547684748356090078091018802\ 76669774152957329042888277912*c_1001_4^5 + 5057820375962830599003267862230821150851271894368782196758325460669\ 4146059809913716900848998417244523382053238874345299433884740647438\ 6798929734080987/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^4 + 1342725350498989177330041260000341736761787255107498698914968181593\ 0191376202229547583263348214118711754843673227655550757032678730760\ 3952105659348949/86080123913514603847807460695679720464509463521077\ 2483653878528962757733063945665359507003547684748356090078091018802\ 76669774152957329042888277912*c_1001_4^3 - 3483363004433856010475251435908342176480849432332962407741176601313\ 2882002364105921937631626080613051765523120672935144342196575459044\ 573166002464305/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739*c_1001_4^2 + 1326812019782691727942654335893138374812882230169747676773586932189\ 5966185855145276907449190089867632550935870802996426738411011893943\ 976323701202245/107600154891893254809759325869599650580636829401346\ 5604567348161203447166329932081699383754434605935445112597613773503\ 4583721769119666130361034739*c_1001_4 - 3744890727690964218924439648631737752814265120875117665351819147306\ 5289963955069011922045710117560994878630846300744671612883941326429\ 00861990280308/1076001548918932548097593258695996505806368294013465\ 6045673481612034471663299320816993837544346059354451125976137735034\ 583721769119666130361034739, c_1001_0 + 184615204571377590264360329734980828570117297668250894559721\ 0593564264183671014929977055091529201436654349829771557892969711238\ 078082956202040440885/137728198261623366156491937113087552743215141\ 6337235973846205646340412372902313064575211205676295597369744124945\ 630084426716386447317264686212446592*c_1001_4^45 - 2394956898435704104242541775758725898176162999792837506274364610024\ 3501100719028054504175896847403055182048038490791715168769588057917\ 72682519633753/3443204956540584153912298427827188818580378540843089\ 9346155141158510309322557826614380280141907389934243603123640752110\ 6679096611829316171553111648*c_1001_4^44 + 4577108251966506803460757859755810332831357892166291603205342589241\ 0392167256090912384028303535433909797090517198601557731526855910332\ 166264724793861/137728198261623366156491937113087552743215141633723\ 5973846205646340412372902313064575211205676295597369744124945630084\ 426716386447317264686212446592*c_1001_4^43 - 5159904257576711206974532204922746225846009889083872047816555301474\ 4100311791411920119814090585088168735337852444260537825637620417004\ 949743648602885/688640991308116830782459685565437763716075708168617\ 9869231028231702061864511565322876056028381477986848720624728150422\ 13358193223658632343106223296*c_1001_4^42 + 1224798120776693586799271873440902768678078587329934737197301388430\ 0271222072289065912428911640512668695383316451457774762522436990530\ 1350240071819025/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^41 - 4309692810650434094830162731620219755951777163174781184380669891470\ 6293860116968199554039718925421772891556062712787632845288215247841\ 4842410156085669/13772819826162336615649193711308755274321514163372\ 3597384620564634041237290231306457521120567629559736974412494563008\ 4426716386447317264686212446592*c_1001_4^40 - 5213414275345038616815815364021698522247669763026783224446733797718\ 8091478720721311998822365075231832849745412870573731018594300293169\ 861991957825709/137728198261623366156491937113087552743215141633723\ 5973846205646340412372902313064575211205676295597369744124945630084\ 426716386447317264686212446592*c_1001_4^39 - 9406508695656059659927365437699073052406491345034345112731056851672\ 3147216367923470861925400602756626625416045297333601076637698234371\ 2827645151540461/68864099130811683078245968556543776371607570816861\ 7986923102823170206186451156532287605602838147798684872062472815042\ 213358193223658632343106223296*c_1001_4^38 - 1981136023849425523620018926830919761948048947048352743967052380205\ 0602391171354642760581528946144640685390624758628345678764281596067\ 9156861371237493/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^37 - 1328013478747483561990685798582466194363064800816501124939447040395\ 0241641733862115452837488556621173718188017932008050423604454452166\ 108091327657067189/137728198261623366156491937113087552743215141633\ 7235973846205646340412372902313064575211205676295597369744124945630\ 084426716386447317264686212446592*c_1001_4^36 - 8193829944159821455121845537750324682746518481528377795621195461390\ 2579079187626743990555591797017144840336046500636853235247721529314\ 6228762865506485/17216024782702920769561492139135944092901892704215\ 4496730775705792551546612789133071901400709536949671218015618203760\ 553339548305914658085776555824*c_1001_4^35 - 3775243913737169897605931825913905108746458611152266146152762676570\ 5431211400051427704375469403327060822354531902412670507607686527617\ 10325975274914431/6886409913081168307824596855654377637160757081686\ 1798692310282317020618645115653228760560283814779868487206247281504\ 2213358193223658632343106223296*c_1001_4^34 + 6744924306735169887901755885512884764674396723137553913111756369761\ 1188495009145542117185728299127893275827699297917624043875553723290\ 65045664071984379/8608012391351460384780746069567972046450946352107\ 7248365387852896275773306394566535950700354768474835609007809101880\ 276669774152957329042888277912*c_1001_4^33 + 3717481495356473660074927775039547455087824777963307058198070952099\ 3308652761156157778351819897773121945426305847590299681873533128696\ 294421561787945653/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^32 + 7158885807761711507283440045959643313758050178304389276020759011895\ 0194970469675944979809208213518293202821194167135645902951583211885\ 676749853893288849/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^31 - 1394377161415200891608909931657332649263454605535348993375252092304\ 0983133183274153748175200366046646055246741103572336587430222330192\ 089615566334866557/860801239135146038478074606956797204645094635210\ 7724836538785289627577330639456653595070035476847483560900780910188\ 0276669774152957329042888277912*c_1001_4^30 - 7620556097556094377912337057723840913841616096765884445371020087262\ 5770282374003398069526120364793423150264651410574692206863696519858\ 0464162568573687837/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^29 - 5753581754782744368377514698107310567191961772718298657988435388009\ 3816595857659410944549859689549377142718664935757324970460132379462\ 5910370981154806613/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^28 + 3713350087853919371570729575689193844220054471129678683828526350675\ 6992251411403707768048209110215137272113339523839749399876690116237\ 6513017181461192805/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^27 + 8955036593731070694457726466788876844833145233997807590192439154168\ 9997553108477373462133751692042678685306021962818833784797095695714\ 5050542051209169569/34432049565405841539122984278271888185803785408\ 4308993461551411585103093225578266143802801419073899342436031236407\ 521106679096611829316171553111648*c_1001_4^26 + 1365909697386416813310656921563639516753720895949121301647961080077\ 9102152955080084237474888949425401550993763764014835917408929131679\ 41630972386985975623/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^25 - 3607993030598825963908121045247199758532379785711288972572830716751\ 7350871683743564220451190767969711476020041575339498961367497078510\ 60021407753953717425/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^24 - 5954516423163100313034634289148580722207911398070790939051638487634\ 2682388147253527164198198635471750755540873499748923412137206335502\ 02915056249339964577/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^23 + 5764165493434735459440935501715049496848253994029297403318632048700\ 8308588195485970692225476953503625500731213817718369482276125912943\ 8496580273031894861/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^22 + 9614581139823001010469461846056604553628639077998580684288659910923\ 2796298462906716804036257222689029292296129388952060895677011660343\ 81524236495706795555/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^21 - 2693782301063202111245388573375498254494924155467684712123668610542\ 5925152593831928078252226691522226595230200970796531293269052859341\ 9171591204690438519/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^20 - 3895113169951451033639573704653037179534383844948779657732428813694\ 7828614965722532127796378734905152409433675556016506802492126161700\ 94294060427828486719/6886409913081168307824596855654377637160757081\ 6861798692310282317020618645115653228760560283814779868487206247281\ 5042213358193223658632343106223296*c_1001_4^19 + 5389215332979335605776417595970833851745457626727675734030150355841\ 3635411036391612329399911221724717664580026879614587243382924864110\ 5316227498172235011/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^18 + 7387123751227690008524196795821004327567418125286783672429201324773\ 2013689101580101564673582026950491377461205977548152960434158285880\ 682036504842884647/430400619567573019239037303478398602322547317605\ 3862418269392644813788665319728326797535017738423741780450390455094\ 0138334887076478664521444138956*c_1001_4^17 - 3226752581885795986747611047265896443855667969684677136233028575080\ 5656435554608863612185192779578584408264768413140121449164867377993\ 7681509109599916913/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^16 + 2742860653815855748169923817656547670577804455638666563293652539399\ 6742983111110011946293060366188149002978023787823082399688144168414\ 8948912132485090023/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^15 - 6763847492844682846627661524646147703722264590187143941850960668605\ 1995412515562608302886891175007155260046219438362626630109161717253\ 2264643933116818323/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^14 + 9217267247247671902527069159077749332977092870624100683338456009692\ 8632057466362137745277768302121600311557255287150275016018075643005\ 1619625821083400881/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^13 + 6757408537808783765909584284430924347135455908913681207757408471038\ 1975706717885702393054273020573106713057677309032756495060135651790\ 6437024983053293421/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^12 - 1869791599317462467383870092843046905673631577594907649350721571123\ 1553597481111129094740950861299281091708929168035200499197233583948\ 17463169264688281803/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^11 - 1480979312596399534763126341498526511924294677423362178185872594262\ 2271896548545487706989675392627482425260293984360613294543269660255\ 9458880223290377531/68864099130811683078245968556543776371607570816\ 8617986923102823170206186451156532287605602838147798684872062472815\ 042213358193223658632343106223296*c_1001_4^10 + 1097264576418557270793098002788679236163438651714613599953634207550\ 0918742136823965167700370025962091266979210747580110138255417721292\ 36657447998199031795/1377281982616233661564919371130875527432151416\ 3372359738462056463404123729023130645752112056762955973697441249456\ 30084426716386447317264686212446592*c_1001_4^9 - 3525581551774983471621557026384549222279035199097711588804706616195\ 8601937168981362102454407358779304493765811958408964818534698685472\ 041269127856558417/344320495654058415391229842782718881858037854084\ 3089934615514115851030932255782661438028014190738993424360312364075\ 21106679096611829316171553111648*c_1001_4^8 - 2152265444584109991286741352744828845956434544994826189346813375622\ 9376938005409442302712724800101289632934107741197207576718067216200\ 8645013766704598267/13772819826162336615649193711308755274321514163\ 3723597384620564634041237290231306457521120567629559736974412494563\ 0084426716386447317264686212446592*c_1001_4^7 + 2103081336442182391007089775487186799095007580175278325520145706279\ 4911004125233045296179847842336399173363275840477811066076081558161\ 604047104621402031/688640991308116830782459685565437763716075708168\ 6179869231028231702061864511565322876056028381477986848720624728150\ 42213358193223658632343106223296*c_1001_4^6 - 4445236870711981154927412749616189737313616472494815555662799805258\ 1530594422956414870775182485573663463667116305044081436417736207245\ 46951742586477677/3443204956540584153912298427827188818580378540843\ 0899346155141158510309322557826614380280141907389934243603123640752\ 1106679096611829316171553111648*c_1001_4^5 + 2502056253342934143288983012231262368592975195432807678659632975230\ 1755998284238466508930250000633294748876261436876231383933818748768\ 55852166664569963/1721602478270292076956149213913594409290189270421\ 5449673077570579255154661278913307190140070953694967121801561820376\ 0553339548305914658085776555824*c_1001_4^4 + 2150138416350873802532340739224455153608445572472072569680144755501\ 9844567651877653257344586556158754311565009105432430512495545276124\ 9939728516991145/86080123913514603847807460695679720464509463521077\ 2483653878528962757733063945665359507003547684748356090078091018802\ 76669774152957329042888277912*c_1001_4^3 - 1805995909405724124161367762184858307379282027323878400040709854178\ 0468634286513716827463782778593968696491042367655939219061808207184\ 5129721883781565/43040061956757301923903730347839860232254731760538\ 6241826939264481378866531972832679753501773842374178045039045509401\ 38334887076478664521444138956*c_1001_4^2 + 3439790583935672259323541954387608841155386759989304437755182210043\ 7130817451534901811027203875141112211594419224275946238579850502493\ 598277949114693/215200309783786509619518651739199301161273658802693\ 1209134696322406894332659864163398767508869211870890225195227547006\ 9167443538239332260722069478*c_1001_4 - 4579597138742566098091469930538524861411624214399487845941427756839\ 9996361472908203235599665009083265579122220894259161720197025757639\ 76776622230845/1076001548918932548097593258695996505806368294013465\ 6045673481612034471663299320816993837544346059354451125976137735034\ 583721769119666130361034739, c_1001_4^46 - 6*c_1001_4^45 + 29*c_1001_4^44 - 76*c_1001_4^43 + 178*c_1001_4^42 - 341*c_1001_4^41 + 161*c_1001_4^40 - 996*c_1001_4^39 - 32*c_1001_4^38 - 6497*c_1001_4^37 + 2282*c_1001_4^36 - 1210*c_1001_4^35 + 61764*c_1001_4^34 + 33116*c_1001_4^33 + 12162*c_1001_4^32 - 183796*c_1001_4^31 - 314657*c_1001_4^30 - 288080*c_1001_4^29 + 908514*c_1001_4^28 + 1614416*c_1001_4^27 - 835189*c_1001_4^26 - 2558163*c_1001_4^25 - 1641639*c_1001_4^24 + 3245424*c_1001_4^23 + 4708759*c_1001_4^22 - 4370105*c_1001_4^21 - 4112452*c_1001_4^20 + 4001270*c_1001_4^19 + 815732*c_1001_4^18 - 1208821*c_1001_4^17 + 287205*c_1001_4^16 - 854440*c_1001_4^15 + 1093181*c_1001_4^14 + 327656*c_1001_4^13 - 1606511*c_1001_4^12 + 659376*c_1001_4^11 + 725671*c_1001_4^10 - 556914*c_1001_4^9 - 55659*c_1001_4^8 + 116780*c_1001_4^7 - 27836*c_1001_4^6 + 18704*c_1001_4^5 - 6896*c_1001_4^4 - 4640*c_1001_4^3 + 3712*c_1001_4^2 - 1280*c_1001_4 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.630 Total time: 3.839 seconds, Total memory usage: 64.12MB