Magma V2.19-8 Tue Aug 20 2013 23:47:04 on localhost [Seed = 1325999473] Type ? for help. Type -D to quit. Loading file "K14n7331__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7331 geometric_solution 11.18127698 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0.514421133547 0.746727911488 3 0 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014836789754 1.112605591243 6 7 3 0 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023592418979 1.125273112519 1 2 8 8 0132 3201 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.534489402271 0.499377514393 5 7 1 6 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.531108836278 0.513255721461 4 6 7 1 0132 1230 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927106580559 1.125755238237 2 4 5 9 0132 0321 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 -1 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.749847870299 1.090484218149 5 2 4 10 2031 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.081661443050 0.589723740386 3 9 11 3 3120 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998782562731 1.071446184100 8 10 6 11 1230 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509939609230 0.433503877825 11 11 7 9 2310 3012 0132 0321 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 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764986840632 1.095817954698 10 9 10 8 1230 0321 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571681142655 0.613552376701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_1001_9'], 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_2'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 6256140233864860095313000125435924909905651555451209740317190160370\ 1804552631801143118522653239237856017633653788644874302155537994264\ 404827277957676039801779727816537115513763832965789345977051314/490\ 4224584010361822698658067300120129400241961665920311119415060808624\ 2275168433165253653095290703211197846147340541012669507816494046208\ 29105187251699576219363974500070195501094532082801552215*c_1001_9^3\ 2 + 297555823094099840147129095718397951754642648451734611542050733\ 1080287667249215088576351845578657143790002282446095013241430866657\ 5907167026115127325228629398011308556730792185058260757876423709473\ 6/13011208080027490550016847933653379935143499081970808988684162406\ 2269622362691761458836222497710028927667755084781027176470122778453\ 5919811803417025961112058198605479610460030902630960743268955*c_100\ 1_9^31 - 4040345323322205398338986247566926585032560734569542583911\ 9996414255679200948672465207670127787079184461064458540732400375120\ 1279200917649011803777614902616972269496001523058607087204232926387\ 85263303/6375491959213470369508255487490156168220314550165696404455\ 2395790512114957718963114829749023877914174557199991542703316470360\ 1614422600707783674342720944908517316685009125415142289170764201787\ 95*c_1001_9^30 + 61821604463461310682896041399158938217883224124260\ 1514614295221966248219009469289112057199229270339966737061698874734\ 8117660892858628957959701383057019557551689652109015399711852203934\ 3201428592540740/12750983918426940739016510974980312336440629100331\ 3928089104791581024229915437926229659498047755828349114399983085406\ 6329407203228845201415567348685441889817034633370018250830284578341\ 5284035759*c_1001_9^29 + 680688723366851105859444427502332834576064\ 7630284552032466242013596995445166181368682893174801142492685889070\ 6222274194281762900223889719707464018087469999985742619532349698466\ 80181810119057366286904322/6375491959213470369508255487490156168220\ 3145501656964044552395790512114957718963114829749023877914174557199\ 9915427033164703601614422600707783674342720944908517316685009125415\ 14228917076420178795*c_1001_9^28 - 3881482979038359009528312895348190251293626251360455509478469105235\ 5507621486810002262155138926977144752836287600588738409872365197615\ 2777056157060666703157921953862235840831449529995024283505143150169\ 07/6375491959213470369508255487490156168220314550165696404455239579\ 0512114957718963114829749023877914174557199991542703316470360161442\ 260070778367434272094490851731668500912541514228917076420178795*c_1\ 001_9^27 + 30314485335816720275426954402154129829814275528567345487\ 9085003785833545396873196143631700220746435111370127306955839067436\ 2970046323784116673634994757366991857385188644441248158272233239423\ 49503380840682/6375491959213470369508255487490156168220314550165696\ 4044552395790512114957718963114829749023877914174557199991542703316\ 4703601614422600707783674342720944908517316685009125415142289170764\ 20178795*c_1001_9^26 - 39087433763809562865410599031551292512793045\ 1968264052410406378133557536045396371224242680044907693019464527428\ 3093104763214867135134040516181142399366736574894995669101445504636\ 17120944153959325433245386/6375491959213470369508255487490156168220\ 3145501656964044552395790512114957718963114829749023877914174557199\ 9915427033164703601614422600707783674342720944908517316685009125415\ 14228917076420178795*c_1001_9^25 - 7716768366726840836446751999797546587142906585101751311242715005614\ 9149404901841492226097191766195053778766093683165987621007705394491\ 4368629458615087188641137595194918078422437934020976606171756072447\ 957/127509839184269407390165109749803123364406291003313928089104791\ 5810242299154379262296594980477558283491143999830854066329407203228\ 8452014155673486854418898170346333700182508302845783415284035759*c_\ 1001_9^24 + 1008405050526719237041014998792611566599609187842977922\ 9711330709517129036614969332400208372260718186260155742607636809113\ 1108931837300134501400681798264386824872385117428756149091595684196\ 06042799154425747/1275098391842694073901651097498031233644062910033\ 1392808910479158102422991543792622965949804775582834911439998308540\ 6632940720322884520141556734868544188981703463337001825083028457834\ 15284035759*c_1001_9^23 - 29234071906251548582951310165336342483041\ 6745353366314849300250170736843039729441374298466097419056954702007\ 6991997608287382528143867101990691726243351984788249464018808653294\ 31507618885633013563648557903083/6375491959213470369508255487490156\ 1682203145501656964044552395790512114957718963114829749023877914174\ 5571999915427033164703601614422600707783674342720944908517316685009\ 12541514228917076420178795*c_1001_9^22 + 1179703229127568955599083567279066664277720929290442227459175981116\ 9404450266644396252691024421730990011009225184039433449082144842010\ 1052590229556069273545443595074137238299953708280691494837713112719\ 7204792/63754919592134703695082554874901561682203145501656964044552\ 3957905121149577189631148297490238779141745571999915427033164703601\ 6144226007077836743427209449085173166850091254151422891707642017879\ 5*c_1001_9^21 - 354535043297674541403296826467796327331847286837931\ 6435546020964369509451133500508555045310203011329655223345603416018\ 5479571727505442457540602377118563935101201662507695235617730481375\ 06848406426067141962048/6375491959213470369508255487490156168220314\ 5501656964044552395790512114957718963114829749023877914174557199991\ 5427033164703601614422600707783674342720944908517316685009125415142\ 28917076420178795*c_1001_9^20 + 79721963836780084463524428267260609\ 2699334651059707956550347522338632157140178452165499455929470239714\ 2407755832777590721880996998390631607871972146316147281150935706615\ 092658676141529923641060533391917455896/637549195921347036950825548\ 7490156168220314550165696404455239579051211495771896311482974902387\ 7914174557199991542703316470360161442260070778367434272094490851731\ 668500912541514228917076420178795*c_1001_9^19 - 1366335232183137057164029700603860387084429544318175534083252354799\ 8884674950575272354470974297824246618597088041428025540772494741499\ 9171070611733195723719862781919959848119354572655914965660738286992\ 11045057/6375491959213470369508255487490156168220314550165696404455\ 2395790512114957718963114829749023877914174557199991542703316470360\ 1614422600707783674342720944908517316685009125415142289170764201787\ 95*c_1001_9^18 + 18933002953014545233412966825517501339514059701587\ 7033860365029875160406009458006920225697587597955643167579285056111\ 6107084968113129840476192377323551118491176530318552436032317681235\ 0352270146801514837970102/63754919592134703695082554874901561682203\ 1455016569640445523957905121149577189631148297490238779141745571999\ 9154270331647036016144226007077836743427209449085173166850091254151\ 4228917076420178795*c_1001_9^17 - 231692554551864794450303258038278\ 7634766048903509093757721063149247561491696462948756342489178573074\ 9184259574475410953298028815995797407493973393427575508110982885260\ 925644252465624955976086427614210108807053/637549195921347036950825\ 5487490156168220314550165696404455239579051211495771896311482974902\ 3877914174557199991542703316470360161442260070778367434272094490851\ 731668500912541514228917076420178795*c_1001_9^16 + 2663966570415777824482511539493530123276081240383931395006003929193\ 8183956535721649334854023935911534926542201653327963589066167840526\ 5858933407808452927753647553476758457803975556960149113571647937088\ 84130207/6375491959213470369508255487490156168220314550165696404455\ 2395790512114957718963114829749023877914174557199991542703316470360\ 1614422600707783674342720944908517316685009125415142289170764201787\ 95*c_1001_9^15 - 21470223976129708520431933838575597103700811728085\ 2003846421000694018398802954297645939148831826796270093160031050923\ 0311548146871650358011474818912686533442544177751985650211006882739\ 078724967368636947785574/490422458401036182269865806730012012940024\ 1961665920311119415060808624227516843316525365309529070321119784614\ 7340541012669507816494046208291051872516995762193639745000701955010\ 94532082801552215*c_1001_9^14 + 49069894771599172075395347456491317\ 0784057408644474824598079758871738264051648549313417848291342602248\ 2869097137261768111973472847399697819545539016775604483097962912692\ 261085291636601068161675500046778223956/127509839184269407390165109\ 7498031233644062910033139280891047915810242299154379262296594980477\ 5582834911439998308540663294072032288452014155673486854418898170346\ 333700182508302845783415284035759*c_1001_9^13 - 1698635405991525323266005150814296943802873717635098143210959544008\ 7430033027929474676180789266989483616892898629170004713374966610547\ 5559565764914049609525297215865763463522749542310826791929508544310\ 36382638/6375491959213470369508255487490156168220314550165696404455\ 2395790512114957718963114829749023877914174557199991542703316470360\ 1614422600707783674342720944908517316685009125415142289170764201787\ 95*c_1001_9^12 + 18329528297952067203787302728256438695059568903722\ 8089367076551622493490235732456260600878910501548343208457081349785\ 4609245307041561287662032389142161685547416292456212151874543907787\ 110406437673966143186805/127509839184269407390165109749803123364406\ 2910033139280891047915810242299154379262296594980477558283491143999\ 8308540663294072032288452014155673486854418898170346333700182508302\ 845783415284035759*c_1001_9^11 - 7976228904226727296318025850363533\ 9259997535938987935097967202821204987110807823637384239793066488289\ 9735053693656467250642103939537980604127420100318949239120912546069\ 952251255125142859610972103540249935666/127509839184269407390165109\ 7498031233644062910033139280891047915810242299154379262296594980477\ 5582834911439998308540663294072032288452014155673486854418898170346\ 333700182508302845783415284035759*c_1001_9^10 + 1150959161787911880053091313236375366658705067176708351244214592804\ 2753165430805811430205118431265833062937840806709259235296165813780\ 1242470140945202338485585899577537809586428217217250910565788237184\ 331559/490422458401036182269865806730012012940024196166592031111941\ 5060808624227516843316525365309529070321119784614734054101266950781\ 649404620829105187251699576219363974500070195501094532082801552215*\ c_1001_9^9 - 672903141281938684849496864121169990326267685990926270\ 5709575187380494134341338278756387729420117036452308061656803154190\ 9512213411500158400537550648938003609972431745719290522027382744567\ 758021257866282854/910784565601924338501179355355736595460044935737\ 9566292078913684358873565388423302118535574839702024936742855934671\ 9023529085944917514386826239191817277844073902383572732202163184167\ 25202882685*c_1001_9^8 + 118458230993950082140842440408892157250981\ 2213338588390610357417551776276816758171667761791968537962451891324\ 1908390647102997120043845016303624415683970784061002994986859511278\ 1999952873944006332763977217487/63754919592134703695082554874901561\ 6822031455016569640445523957905121149577189631148297490238779141745\ 5719999154270331647036016144226007077836743427209449085173166850091\ 2541514228917076420178795*c_1001_9^7 - 4519774426397239724411793041653370454192805135501551897594248148475\ 0604982677432013494850568587770193532015512178696188530332966015676\ 9375819517568639693131077549455650913322174969428177139658611675161\ 1293/12750983918426940739016510974980312336440629100331392808910479\ 1581024229915437926229659498047755828349114399983085406632940720322\ 88452014155673486854418898170346333700182508302845783415284035759*c\ _1001_9^6 + 3236980625696325112270051217481872854193852339972606358\ 7889488578163098007920444228162815832461599972064210295180036104050\ 9687464045371806488505625506877638773671536200640323953476284986218\ 6457081862991913/63754919592134703695082554874901561682203145501656\ 9640445523957905121149577189631148297490238779141745571999915427033\ 1647036016144226007077836743427209449085173166850091254151422891707\ 6420178795*c_1001_9^5 - 4940765599682980401132428729803335300087160\ 1127816993262280868740568505033112592842041860594170758338514176880\ 5066992945862668340911013719056545329677986766547178460694666350913\ 70830780966669951730186989/9107845656019243385011793553557365954600\ 4493573795662920789136843588735653884233021185355748397020249367428\ 5593467190235290859449175143868262391918172778440739023835727322021\ 6318416725202882685*c_1001_9^4 + 2801881697517614570162807551925750\ 8122012746672099321310899815116472346731592910686732557773656065251\ 3564311989380537642800572611854684763298843531719394476866512293493\ 68440071672214687534947559147557358/6375491959213470369508255487490\ 1561682203145501656964044552395790512114957718963114829749023877914\ 1745571999915427033164703601614422600707783674342720944908517316685\ 00912541514228917076420178795*c_1001_9^3 - 1547171513740696206204638399882588469658817112236944329884886330391\ 6797085866129595246376505582079941920548282540203520341284830400276\ 1006855636120242550388683679827547312009083156800077108275268874473\ 3/63754919592134703695082554874901561682203145501656964044552395790\ 5121149577189631148297490238779141745571999915427033164703601614422\ 60070778367434272094490851731668500912541514228917076420178795*c_10\ 01_9^2 + 4649295109946039014862209770225514988999936759470824282216\ 5057451203379265519479480242224792274620233844571113017856286089184\ 4714733377521837078247510382773285307724534678779957477667058359317\ 6160869/49042245840103618226986580673001201294002419616659203111194\ 1506080862422751684331652536530952907032111978461473405410126695078\ 1649404620829105187251699576219363974500070195501094532082801552215\ *c_1001_9 - 3318773623332277674717235216704238462153073133807533635\ 9923568934032707802121936645932775607224658468367046205619344426168\ 8454226961499070115003613784827081278567320758083395836391764670629\ 2993232877/63754919592134703695082554874901561682203145501656964044\ 5523957905121149577189631148297490238779141745571999915427033164703\ 6016144226007077836743427209449085173166850091254151422891707642017\ 8795, c_0011_0 - 1, c_0011_10 - 13589594607943226207038314972066885883974909701036768319474\ 1064278653931475916957116854457554601653530009755519121634685045284\ 19199231400037848389112276988797077772167582/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^32 + 18873265112864629614337662053941961415\ 2996843012975347488508674387715256842683844032259696207826303537194\ 15457980638286723039232901735975392366822421360948962389472320307/7\ 6153978057088683001491040266538409064837313917939343784974922697628\ 5670657449100015283690561301179790755026903029490957340376924659346\ 0047109744703229827430448278304819*c_1001_9^31 - 7053912739598088004038696721550537690346140630561784417410166266892\ 1722309321783947831090316463194108048901864278821751169259061186173\ 8848419250509854090283877798294958065/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647*c_1001_9^30 + 523855338714660663855062094678078599175147624\ 9402868341430648850381352709662831535052017624270187906502341305667\ 781125875682840584957397596829224685008949353960897958847265/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9^29 + 1131119957928301776771356429436531834505519360882785606303370522074\ 5028317546933832016511641110657740522631173905528285898021765079594\ 6177686970054046062111823590114857805341/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 - 663281499372192590797294349574925009744552\ 4965283520040727289010239150433124101041191869462421832896039310166\ 29964275693148099528699146756740718442708614053667993779628178649/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^27 + 5141888424712675520788048592085496246539669503955933552672860136798\ 7541719053306739761165771790808888139779163311578681775875628283544\ 26222225563730127027917269396518838527767/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 - 71438609127298497424242788240725986946814\ 1968093220950246435569438742489598253046588056875569202007315307502\ 8919089915213926128106537581038791925031121014256980704152273878630\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 - 6388950969944025846000067369943183133317830600339294500726170916635\ 8642809451642240577653769756388016319488728268700297576878882722313\ 424489194465075235815344766026739247551264/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^24 + 8509384002419135110272685247642472670301\ 3874975263096936129548102996571057088817702817119763939718046079963\ 7079457630151691212789859349141645436893966168339574360175676897304\ 871/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^23 - 3837328355213350583510347435224142284108039257308444061554639968788\ 0000247537912294592996343461188312136055374504208391073141015393136\ 7289630347743757088551327842106706238934280/76153978057088683001491\ 0402665384090648373139179393437849749226976285670657449100015283690\ 5613011797907550269030294909573403769246593460047109744703229827430\ 448278304819*c_1001_9^22 + 2029096479549597111080944953358616942925\ 4143223835348658396604946128949139211118465756398416145614492305486\ 2014786446111509738749149179722448535718199079133583412622063238600\ 09910/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^21 - 6150949667896613105997869995626930872130464219167867134637082259450\ 2688877208436988365905158033106041887781966003654178285180706172491\ 483083278857012303571831570231642947733312415/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 + 1075435454214247045304661236496651546\ 8731656234866967598049358115892936613230462421750715340197479605631\ 3532649531913681906650914653875608526893979303554126441169514755689\ 64923843/7615397805708868300149104026653840906483731391793934378497\ 4922697628567065744910001528369056130117979075502690302949095734037\ 69246593460047109744703229827430448278304819*c_1001_9^19 - 2425020462073965246236006227094349182771973597811314751610070836088\ 1672020774265802576408307748656267774730331416177047735801164073319\ 6416603650694251922177975222826119560630282040/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 + 339427195358804365357985230904577209\ 9439165964969135140398677189402031529660926353555235866073451800156\ 1994233397554184082162066092257066763955676141141416274484485952480\ 7670191672/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 - 4175629468387309683872543473855196662273251894173231170310807635407\ 8512229920937683872852142288251653696735465156979623037579915664920\ 5380480743899962612209601375749781006651231392/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 + 481285671822971751925519476583182635\ 9755146888502473131811654664363808639071819268202627145699075315778\ 4834024053150989451474713710317069448387815987825412362020729926949\ 4635579234/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 - 5073572156734854159953963149868209231623575683167692795492779166952\ 9971826964480890835513541356155603874464697035217366504254326956425\ 8814992218413655995730883297573795555067273161/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 + 451514437426454854694333323849704415\ 5698256487266036978279698220311920714756361645113954886558632599271\ 2620938760578536155895693242422626187236657261938998635500601481125\ 0883331313/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 - 3178181580308772393305931372788373423083827744535278269520105910957\ 7720652263493189444728180062063368517152719960771729547781502714731\ 7127184120203329757950958981221200294133007771/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 + 174131945018676904503555301071203101\ 9249511622062772081092374544246143880568736572017694256303189505555\ 3405041576843590265028907697686697357055586133343738257508327830241\ 0112943893/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 - 7654131096627386131856978237823941520434511076884741541450651207110\ 6371927065410625008743703124661579326858974943240316553167133523019\ 902355053282308645530652298446167093979003514/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 + 2883653651899263274307330651879255658\ 9495269559432205736737423303256015856850534231657768675849512350084\ 2017173951841569932684755377956750968579439126145737110087103327797\ 18406332/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 - 9219243334545421346163583235720564842522564070208135425642493022080\ 1114244010299142665149095546422375468485394650520911543317608103544\ 49627730895535715287937533100008545326961090/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^8 + 233217961039044064543643005109699854736\ 5524990839599521622256107615930568981139028979490348656547518738473\ 1472124255943909439341416956482662879659278746866200099184807288655\ 53699/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^7 - 4508895805305616192433077284227785541893606722093521828720156136583\ 2849957439427294325843597986731247397963823212115898614351013222082\ 4633056725177978082872309529530130000504819/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 + 6444908025538837484778085308413392133771\ 7477472344686953174902449220176544157423480307064667953258099551692\ 7565681257331102788141729785012337569539318874259169164046250161743\ 82/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^5 - 6970245978792405136905245351053128082130941291173760596617908601623\ 6529707352937440206665648462764507640328758101425739000490030566867\ 41999730035548957678358939372690226842136/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 + 548536811270442275240769186707285041044574\ 3496722299990206404682588442613345424263171405590671053898961254941\ 27536859686272528984495466252609627410354461421333846244313161607/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 - 3472042429936037776222206444772819622672107921288041619392260660091\ 0217766667757036364750689265670013567523677306509141031063881204622\ 073951418662659845011039272663155378096/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^2 + 11129916167938172909653313500219294112546191\ 5367074212171178554620885680015002252717130526456039900274608975172\ 8489777367680320016152168536014859491139897852000760151761185/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9 - 6751715722270444535218539778657251563748502598954336050416459606999\ 0476486849969828010518884685609205890198120624395312780582661350083\ 089658440863645789409268081780336445/990001714742152879019383523464\ 9993178428850809332114692046739950691713718546838300198687977296915\ 3372798153497393833824454249000205714980612426681141987756595827617\ 962647, c_0011_11 + 23109872991527924442815607182760715490853585653730783174775\ 9730618033203538238606743888739304150190923522216809915651579053463\ 51922992835617910578107066554548367892789398/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^32 - 41243304567486450160921839576386286202\ 5913383657991925181356775535749662488096436911317585134977308001132\ 946754716225866842623178053353774333001060481111684641925109890006/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^31 + 8572988066736240318066230901576340750521984605688000170543413645803\ 3001348608780701965938640400930632884617911049604846761191527331014\ 991486391751016072708938684048692069/761539780570886830014910402665\ 3840906483731391793934378497492269762856706574491000152836905613011\ 7979075502690302949095734037692465934600471097447032298274304482783\ 04819*c_1001_9^30 - 86881015756014894437635359114810873723225546660\ 3346137428162193464237165451420208510270000583858119129609015410862\ 5181880778921101249320596892823744149376551207749646752123/99000171\ 4742152879019383523464999317842885080933211469204673995069171371854\ 6838300198687977296915337279815349739383382445424900020571498061242\ 6681141987756595827617962647*c_1001_9^29 - 1941313793020673437237547186303394377028343694412120586420038275839\ 5793076493968795256012170012652319974535670353497366073318605060667\ 4367131913008624705541242221083297034590/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 + 108737103474396814200023990492238217898025\ 0436002009469243027272929932066570858142160084523872566915916022312\ 898509106589486522627424494989140393648542533933472978101842416633/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^27 - 6556583490484572740193902508705323084562284943007701172343616371179\ 5527729597427132104889351685606964567134465683798519430835852030729\ 8239083412385857921045340834358213018666/76153978057088683001491040\ 2665384090648373139179393437849749226976285670657449100015283690561\ 3011797907550269030294909573403769246593460047109744703229827430448\ 278304819*c_1001_9^26 + 1040572203331191367551546851802032610653294\ 8433898709700766259067230079231817713500277750765144632903553094121\ 906771088504908451442265928673525631564107745384821656048701986090/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^25 + 8506334255277441461812328645155736801914278971020663454219055932205\ 5403554074632699078606393024253252489400394758433845865900659301554\ 60773840635241078805423010320096227426400/7615397805708868300149104\ 0266538409064837313917939343784974922697628567065744910001528369056\ 1301179790755026903029490957340376924659346004710974470322982743044\ 8278304819*c_1001_9^24 - 142386894889939324424379574634874892379488\ 9928299536931185702860411203574800068843043670835225173374954629245\ 2471655866310778855554274733633977534459229719664351481861257879442\ 71/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^23 + 8190507827381286337651926278942430064915208435013997495141285373767\ 8334997250124442179016310074973167691210733952468641622774012199470\ 96293353255283946400675363057187869437136122/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^22 - 32842380065798599126773347985716678239\ 9650365993389623397114641934973293786771945886206487407648754996547\ 5513630303632633447984314459378841082675283263254762324329122035426\ 5668191/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^21 + 9799073522281938462572147133790798220493879376849579988838060179563\ 4815510932171499750526608575971417945095919412929249480291440714172\ 863837229824452151602753739633938376172848243/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 - 2182302441019764487371478863879330496\ 6501553768652966068714461876808637368882231546518071647424194227502\ 0945965076521191282679446450260473819828001244799204988385342564284\ 642910405/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^19 + 3694952202093869098683169706015552789474126024148488336025197927991\ 7978932323069364355938141249401667807845722812600040708400163456033\ 4911955223335288488097514892113494693773089806/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 505721004372413811422639519649389345\ 2778906809295312609601265544747665382261833786754343239869858643145\ 3422267212210810367778117529766222126853244338687681761127384646825\ 1695207078/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 + 6135903739718534699137388416610850770381433717900361126684326156798\ 0416357412888601215426461296187642789530528789173881697594777626924\ 6008116481274391600500657910401025943742072532/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 - 702258671907882835694568931424314196\ 4813760263599105059480948346966701400247127882142985218729559203551\ 7570781840209454278488643992819567419046728989487472275692387238335\ 3949400231/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 + 7302712874062807614631842390017763450329431278398885360522587552075\ 1799727302355084837093870919302896636472070114313869716808287554850\ 2045813444670694586464894092939042399609916593/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 - 631255420046697106219866699603169097\ 2169005109434859769301426121310629748618762535540741537982886448811\ 0048252777374297131182499564098899592644587892679080829182031264810\ 1425909302/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 + 4246731390353425691820578741632015740658889322452666449061083187739\ 8974029575169582330017713198721188197911724527748837087985499258860\ 5911502604771069209080176183666331211119664759/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 220415063234400002302494367650013573\ 9963839896749953457312840635948839740154401973124785206304845941654\ 7049222345288676472207876222853865813371355395236258928516206243426\ 1389143915/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 + 9203259238897473586618794105786488748152150577719172884364075192051\ 2273094096231447531538151345213758983075857210336883870566455881917\ 484188343588643584076037187548726710045341178/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 - 3345578106162176954154838353089875474\ 1051219225130229388078467943926790458892401220235038213005934997457\ 7015895654481021984731292559194903561609579937264686297299849447015\ 30568867/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 + 1005524009159999429333984239602706876093097145139092354640054553749\ 9758535579364118456812478089712564133874903796530419457250871335093\ 243668935927393478717324952916777041423953366/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^8 - 23323384178838030718241870294749416911\ 8464682183824962390996627891553954101012453921382845242012626951407\ 8492693817107920619240957042347469509954478509012591921872340744516\ 209615/990001714742152879019383523464999317842885080933211469204673\ 9950691713718546838300198687977296915337279815349739383382445424900\ 0205714980612426681141987756595827617962647*c_1001_9^7 + 3965714762033572290667888954370086926647403890184618477914966276271\ 0355523820321939762177300089370804547744072740419495365851111778056\ 1146671682737052746579320276964727636084311/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 - 4810372612239974391848667534878333817564\ 9404661805991141442462593799272791878944829704520157482998745545186\ 6427199740967885548553999052715583033341223946982766944642386594394\ 96/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^5 + 4175921334952377637972124788502640248112475551480047226933862334852\ 2684076181072878969257062431793524486046064399866452917975850295602\ 36529651867715285061392592225895810983383/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 - 244259449637450156848740522841664969144322\ 2082805878858186879089564273310269942993025579892369110550892264943\ 33320420838153317539745096284172301610407397709745441893044787918/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 + 8439084133132908001640046607824887626568394848406390365844577539924\ 9955196125426826890484257948903624698649957794840647011258463734978\ 00408923969676191191923208883260892893/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^2 + 567835553439624149215173682184181929397198366\ 3415102318628171150064840917095363479237009362839355986870951580456\ 24173164625671442112821223348074302073145179281724364007542/9900017\ 1474215287901938352346499931784288508093321146920467399506917137185\ 4683830019868797729691533727981534973938338244542490002057149806124\ 26681141987756595827617962647*c_1001_9 + 2075800076009845826674120222354911294885069825958850792925637681559\ 6770667638404439060981946292065040047539745167714643085033378966597\ 19222603114888732252007046810333984/9900017147421528790193835234649\ 9931784288508093321146920467399506917137185468383001986879772969153\ 3727981534973938338244542490002057149806124266811419877565958276179\ 62647, c_0011_2 - 325041935208357334665239903404015074454770036424069966739359\ 1309531419019677958436815395242255313517069905244638865936599124786\ 1997727778319433267130597914108010497546408/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 + 581838366914427883006840463534038374671\ 8631340697390550185380219396257790143310147533905575581461177444747\ 68171836488700269435570944799186459170145577381162159374972495952/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^31 - 1599115053733331468415032144327760898145070572355466838787737450114\ 4629152921399097559833326303891608581648528091860897431095593549517\ 42394226325915451301183310299254117992/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^30 + 12310808146597916765651701033652463903345880\ 7007904596843827331908969461208562295873033248595381990894943215767\ 23011729904444738191892247524359778474196268998350127704415097/9900\ 0171474215287901938352346499931784288508093321146920467399506917137\ 1854683830019868797729691533727981534973938338244542490002057149806\ 12426681141987756595827617962647*c_1001_9^29 + 2723730846738265054671323978852236385289404743741756360609473709450\ 1934396134941190833287210191510710553457816792954231011652789010958\ 6969503707394183827758999479909436762438/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 - 154394525819231531281571278912000355690963\ 5953202358122517267461089309888858279064484930317372283395811242641\ 365172924020694409990718525040577094960752639737880499088814566122/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^27 + 1207389202669563369887409631808429632702673371772031368337889949947\ 4178681879906789145193556526442224298578930708277877895294782549329\ 700790883453997379251494124342701153058625/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^26 - 1176736856075135637065889433250535600326\ 0370263279991909349049912565551724517022244717589692173505332916161\ 7821307499636567845670491333653313475167694400103755352767785785922\ 8/76153978057088683001491040266538409064837313917939343784974922697\ 6285670657449100015283690561301179790755026903029490957340376924659\ 3460047109744703229827430448278304819*c_1001_9^25 - 1546128408064815524853267087750405748317773993723749464918089658142\ 3222009801958093966092424384888703199462921441011534175514584056662\ 2617117769150057096742039738717928372124627/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^24 + 201090772131930571942122221073004986179\ 7015985859717163788287008126266437254201833856835207163273158352207\ 8185579482740731332155680761132365132800099256770608528829965530474\ 44960/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^23 - 1162955898592821538623624886284661635934380491873664623122176936133\ 9146278156307462681936753629367844397101094921446463039321217021257\ 768436283662396959005542458325434851634023959/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^22 + 4683543878907481567512605551210773853\ 2653537867660931355137202288996500890132434305107437763490345723884\ 8772965313176888131047422699736677399679111787527213019815978323471\ 36049850/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^21 - 1404375535569850763760407500139337444522019474817103956617694166034\ 2075709193591338304477615140296400154312617937412969503278213645896\ 9121768211482466128011353654030283722515920696/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^20 + 314861910931885107125477614842448539\ 4669277099875941136870806591876247849645557938458913021082061597422\ 4685225356092765254910981397751917486732133862016034388339363960218\ 1821328572/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^19 - 5376909508872313835999407694026078328571397553599944477766805966265\ 6024555056707227623330465496124243047921496126934078023147667167964\ 9082021813652058336402506718002499648089909230/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 + 742480147090912269001761751054226100\ 8614714721159283448772987977699221278287989340382955089991406907527\ 2322755331590217163819463048135605647161313644228570068964975016743\ 1384384457/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 - 9065857320818702233240161883851593513476490043410957132588507996468\ 9269182924804864238834689678152116131125740073393167617911361142452\ 1901959499116088265668993579446510107293980779/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 + 104121903803664859925705116176746336\ 1578320765937899344470031214368411769718656137864506941581177526312\ 9304560314160310736470945799898137770893450255067496683947980398549\ 90910037705/9900017147421528790193835234649993178428850809332114692\ 0467399506917137185468383001986879772969153372798153497393833824454\ 249000205714980612426681141987756595827617962647*c_1001_9^15 - 1088692143106847684878725445709071334446120757096006535379728705813\ 3407477309202633302303263530827675963455486746412137722158371229955\ 18342158715203037783384240965348019578832026898/9900017147421528790\ 1938352346499931784288508093321146920467399506917137185468383001986\ 8797729691533727981534973938338244542490002057149806124266811419877\ 56595827617962647*c_1001_9^14 + 95268326616820943271544273853425922\ 7820422603261939141952435855832406359105538329772185064938283811838\ 4743719668634569456823901634494893663309156775519414955137321121195\ 41542057484/9900017147421528790193835234649993178428850809332114692\ 0467399506917137185468383001986879772969153372798153497393833824454\ 249000205714980612426681141987756595827617962647*c_1001_9^13 - 6548367903663344774241751797449114470776010931713174908808099307419\ 7940900595836288464950252576047186863665508183514780078890165578783\ 0181366049392921942948234679219147837944945467/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 + 350258920690627379772813167387295687\ 3170246302134564600964230196594880067484411627981630448578439000485\ 0719353355992329365173389079079828023168635039845130148869396893770\ 1290715446/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 - 1512307790321626512400885298947951034357630241783067582131933430857\ 8657346659150103871105842309672339355786584494557454958192821576020\ 7837979181007787313677375794355091841204958598/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^10 + 564595240499622400702770399337804432\ 5624320274128103622896833042617566046143743791707319351417581287978\ 4832089077422788875068066336492057406250025582917705900626874648836\ 584136510/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^9 - 1761501183001005958598390237616835900096976856178502037100454598448\ 6460965437529470462103317707053516102964932034953620490977762768813\ 179451301766929648942758792988925971415355918/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^8 + 43667962377572130112737572362265829249\ 9886151842012843843313863337965716568961218929303465493827726748616\ 4087885870664569991180896311373889525177072056225925621731177912253\ 102681/990001714742152879019383523464999317842885080933211469204673\ 9950691713718546838300198687977296915337279815349739383382445424900\ 0205714980612426681141987756595827617962647*c_1001_9^7 - 8211293412282641083309311373668653092661023651540500427799704559342\ 3691554527467144131489594438075203195540094396318674764736584076943\ 7142609299191314098489227216766767997716011/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 + 1145327840529214633195555712679984497236\ 9940162756074202811679534553377818853657091093177345621958398073618\ 0271213121579115192066839010007338635073639557051117254631774613213\ 014/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^5 - 1166527505117036454953992100243858507892903323205427248307364678716\ 5705540056258858248628021966219481655676887450108944496860809785413\ 322063151084361584524203448867761475150330/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^4 + 63932785352169130444860479013833793368827\ 4391100956311779843215059868029589001752212617213064206748873763661\ 40988509346140166069998937980419896670501429044213812141490843593/7\ 6153978057088683001491040266538409064837313917939343784974922697628\ 5670657449100015283690561301179790755026903029490957340376924659346\ 0047109744703229827430448278304819*c_1001_9^3 - 4298270477736428435748369767064114873409232879467221000554367877713\ 3607344819725412065583685358571032249221101538682837105906459499414\ 821799798720494408118851924524852442529/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^2 + 14431362422419615272195038556192070367424880\ 5096932483805266116612372030396316298912775119168386656142923143718\ 5646508790963534084440934831806233955670426600635131668608668/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9 - 1253606286206173839748204824842014965961412582190039132455990469337\ 7426022013717625067029155132210789248745238981415074382391078503796\ 0708675740692485375486382620009208166/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647, c_0011_4 + 378301718587260540552221942947440540066903806500496190451263\ 3642197061930170785192507532028754251782232530320906508284326652780\ 0745900036070056534723178946455604895954816/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 - 679116981053946805073471669124531906795\ 8152133933084675122624464107454584536459988294704370015932741602196\ 56946885562417159497881808934959114010318914172081064917683326069/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^31 + 1895466263159710370283211689759029106035816785047210950013137094027\ 4100156384201779692860442128779630030308401169777487160416001731293\ 90244722496268368107977784519487681484/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^30 - 14416002059401427753706780563199487460837360\ 2617319892399289072024486981194717018720264646094864634698112200474\ 93845245386220936645617573080225707624267465819825437641337478/9900\ 0171474215287901938352346499931784288508093321146920467399506917137\ 1854683830019868797729691533727981534973938338244542490002057149806\ 12426681141987756595827617962647*c_1001_9^29 - 3162868422016334476115742735012619326948061671740099776627750981461\ 5887786808539517150634767837326619606269713579886680736040778541380\ 6182744260527761033490049435523153337656/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 + 181335363216335259624793600415854831985948\ 7838041784226648142250409228783149672677352417565788811329060817267\ 217327212685411794788130614481800106590893732064519627406328506126/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^27 - 1414089139630058268782530094484762404059970811718734972871256387233\ 4846745310516421729867872880857181783239478924338245397935300149516\ 928431242009716794949116477062118983739450/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^26 + 1850589642075472807573732375986573598483\ 8609716663695759445706241375163915211942429845229125213703983776221\ 5263632493039844412206017848735019347280898124983131970244667797526\ 07/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^25 + 1791868343164439787275189689633938263853236607236298298075902218653\ 9773192626096946290277774007494302177111073375511977728919808082050\ 3748347957963535577688758132837784484198707/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^24 - 234980819760629066354854056565161044688\ 8285913059199359455694700375587760946690218569293699525289089995692\ 8878732090317581091066193142423743552091461596551488682838324743438\ 48398/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^23 + 1365317598538702416529950270408804812101005552868004982761654142722\ 8980385172141813480928921332770399756644287728048466159618350111029\ 928197349244869781020219720690362143652673097/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^22 - 5517844997930137511203869198144349394\ 4225613741977562331679548728717592278301165739626811366456939492138\ 7674337946040285922328463054962773273511024766069647880477314957200\ 82135047/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^21 + 1660998641934432219362197988278477532257124603154453991297781011155\ 2710566908168723753991496499295738702840569364830692035263841989967\ 2629048918169205199741845058873386367512997550/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^20 - 374260584034952170095835680181325495\ 0428348938522146276284763054413736537637025828548207130052931837331\ 1118343382365048852711226046970195716478201544905210137838981986435\ 6168751358/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^19 + 6428875879723356417051254532380009503716791019944204174394828714604\ 7214163852964286004625687205912221023410853499911462623043543305012\ 5139984236727810818199626936846621032486741198/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 892500688730603029381418734525931829\ 4444653701484744763840426823056360974069134121343948970343639196066\ 8484703959181918182478820980326513466658577814861758688058819349169\ 7012865974/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 + 1093248167382228629335431688561143922948412307887533947943781125217\ 1766278208217339188641954334674619734000588294357856591607988162766\ 67211323153388920745989014672030680381792905650/9900017147421528790\ 1938352346499931784288508093321146920467399506917137185468383001986\ 8797729691533727981534973938338244542490002057149806124266811419877\ 56595827617962647*c_1001_9^16 - 96738474793494585532256016861697819\ 4825295331302232665824089367619392340048128727849923440292015796541\ 6043535202299586758053549263720010010158781318367452885444228276881\ 6641386053/76153978057088683001491040266538409064837313917939343784\ 9749226976285670657449100015283690561301179790755026903029490957340\ 3769246593460047109744703229827430448278304819*c_1001_9^15 + 1319218531641277839154954321575966984457830012192104122516772259936\ 4576370486836118863204228286794201654912120866841385490055559434749\ 64915397158093690581912188213308237720157890292/9900017147421528790\ 1938352346499931784288508093321146920467399506917137185468383001986\ 8797729691533727981534973938338244542490002057149806124266811419877\ 56595827617962647*c_1001_9^14 - 11623700029433084712715257943470122\ 5343159665009040320907270135558739716026860680845231944903270998960\ 0306003144913760660530062682109487968957822288553359110725687466810\ 061690585168/990001714742152879019383523464999317842885080933211469\ 2046739950691713718546838300198687977296915337279815349739383382445\ 4249000205714980612426681141987756595827617962647*c_1001_9^13 + 8072803320550091960699711382207858019540240358429085985698338520341\ 1725251923465212807208890578827724143399157840564333373983866587825\ 6253507921382201705991366853350570842285856631/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 436862723472967281594331287151556181\ 1595224696531497149689654553945969519089314917847113033394637362183\ 0048781673180985743942739396907310393224017541816995338829986556421\ 3222439310/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 + 1465732441140903141216383016786769785801702887215799256813139979335\ 0095755404215485191244108784423916308558297287272821609870184251991\ 698142670120211126605646213699896926874757994/761539780570886830014\ 9104026653840906483731391793934378497492269762856706574491000152836\ 9056130117979075502690302949095734037692465934600471097447032298274\ 30448278304819*c_1001_9^10 - 71595927807474143461764566992821008704\ 1730878589687525989745282011301599054431051674939042713938703735184\ 8030727467725637720873643276429245199719292090787858256943806862108\ 3903984/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^9 + 2262142000738363836039450447916292706245787301570149080704175235165\ 2010135387322178946311090288186726713656596864599071474843728185831\ 796997529889282887348867998254264111336428849/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^8 - 56925284239307427685127078732930295716\ 0265299881629859627917757766614106540569803351532338639540333243460\ 6879731260910321337236826262407078918699541369268802114975125983007\ 108738/990001714742152879019383523464999317842885080933211469204673\ 9950691713718546838300198687977296915337279815349739383382445424900\ 0205714980612426681141987756595827617962647*c_1001_9^7 + 1092387961284504974588437486379628909016486335856736718272241616493\ 2633304068311742590769270455045483859393005586206021830026912237486\ 25819236614084637600270182153387641695556616/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^6 - 156137643200301969661998006103662581757\ 5539422620875901761069488693457250700934741762033132435113275474630\ 8358483535518459487673758163700452068311132809905461660598317713124\ 8651/99000171474215287901938352346499931784288508093321146920467399\ 5069171371854683830019868797729691533727981534973938338244542490002\ 05714980612426681141987756595827617962647*c_1001_9^5 + 1659315945089407053357378361022582457550155540743721717249447584272\ 7697940444043414124164695093366099799301354508581986505072643192584\ 481889640574195767178574392192368174383604/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^4 - 12598680515632541373110853106964419590179\ 8338702650421274662525823026198777672420770210725026649442891025329\ 2033247102521456760641303142622595134381782566711065365975995745099\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^3 + 5477121713918169044659314187488293835062119144128439028768929099740\ 0839356516199920751711117162178529269833577173269812350872075555920\ 83918775179411321162715275252884160993/7615397805708868300149104026\ 6538409064837313917939343784974922697628567065744910001528369056130\ 1179790755026903029490957340376924659346004710974470322982743044827\ 8304819*c_1001_9^2 - 2445921773013898625145262765996972332775136883\ 6639728887858016875156542104466372824002433927045601533178943819353\ 48431906075287460938221096284713082886767337495837101745383/9900017\ 1474215287901938352346499931784288508093321146920467399506917137185\ 4683830019868797729691533727981534973938338244542490002057149806124\ 26681141987756595827617962647*c_1001_9 + 1496133280128345344162020400731758648164563242838106970358274960309\ 1270430267471579223270960119649829481875257066161205197585910842379\ 164930932559411647747580801487017528/761539780570886830014910402665\ 3840906483731391793934378497492269762856706574491000152836905613011\ 7979075502690302949095734037692465934600471097447032298274304482783\ 04819, c_0011_9 + 972826868481751566223101140564826476018545603149861481658651\ 1924685804288290630462505076338655023878985978784298672815066677642\ 318851436894008052736855366797585796911877/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^32 - 1728060721909895699620076955992873930464\ 1329354149401542493409865784921640137397820775288674419205302389730\ 1074043579570917321154973439628665190035729456542077887406369460/99\ 0001714742152879019383523464999317842885080933211469204673995069171\ 3718546838300198687977296915337279815349739383382445424900020571498\ 0612426681141987756595827617962647*c_1001_9^31 + 4549549523393320682725296634944377841567124982676454142980238287060\ 0419056872033770654266585862347960217229573668244144565215701104518\ 9636430375894930065542398549047564479/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647*c_1001_9^30 - 362296656039424978688503836045755750218039196\ 1401083920669993857120028613522855783939845668402884466256306369793\ 776433240213050430193231574318791607379005277606872300557878/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9^29 - 8201402842029520726349461682149237169309316005082811952271821942537\ 1286908413222956567531462130855912909284927491020097032277111107360\ 725746522300933455316169776514269780541/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^28 + 4508291168222583607092035282647576812475684\ 2556621598741557148587788229760223904834259466599760574387472687367\ 8562693253736459278155389723294521559996437551446131169882079094/99\ 0001714742152879019383523464999317842885080933211469204673995069171\ 3718546838300198687977296915337279815349739383382445424900020571498\ 0612426681141987756595827617962647*c_1001_9^27 - 3552203941687371944413439042856823822189602969483853788589867999940\ 4606788472519801795958121587161267897524326021712335293697143814016\ 85207776302105920555973347007871641372896/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 + 40934614469051297510902311836314895655909\ 0913936792263359528724552799656474831284016527851140406742274665852\ 4996105786194130695845904347775061819789159505924418238211502559356\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 + 4681924515533833229930293214748918715365363983889584611786936081787\ 4356496693113324010067144817911053586555374080958573265001703199585\ 745984062952475188213458721118152315056998/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^24 - 5954135772398569245206596771607795611462\ 0202552659459475351089142973838696507079435621758760610731262141773\ 6535727268908707489216811869946372874157539646515923048038826238089\ 285/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^23 + 3399225851112946725768685283227762683374969060916723018530453110632\ 4631488168751211860781449078812797793791299287299522769690652348040\ 89221700035531426096544380869060352984148145/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^22 - 13554204268009007838351440998045226530\ 7746926520467354086726577335713143820757623954482883961902971292502\ 6933275346089474181180323822049167092870706697188997186162229580257\ 8733395/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^21 + 4018910968522178333207043585782675126016336969671397254558546259454\ 4220266009963655315273284278543195162693085970198531478487868813934\ 727222866731878525317226600549350221507045608/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 - 8878706817997631406627906725055198782\ 1770533289705341562922884970580362011860458968807708992072594039601\ 0583032377136117946391256211753720643658899233413838246141817309653\ 71369004/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^19 + 1489335312538264915188916469743196778580125566293523259714010149383\ 5115044448551710406077263171020646347292011452809031852595369658451\ 1203078175415590986019245463202051469443978716/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 155530576044425155344054452180606775\ 1662275876522505506615513598183257472405113673113334480168745777972\ 9098618658698173117566140002485793802145058613503165575831241094592\ 611783371/761539780570886830014910402665384090648373139179393437849\ 7492269762856706574491000152836905613011797907550269030294909573403\ 769246593460047109744703229827430448278304819*c_1001_9^17 + 2442543407524293046479479843954191469130158014319778352599348384778\ 2322581313952238428981874267247003717253999599729275340134885671381\ 4816283988944814727065216247442413899780906133/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 - 278993849711066579983201891327506018\ 5810039197123319647498138990967943086130003233307463094715806530448\ 1417104813290268772067865418798667836091602603398594777527188203948\ 5334247134/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 + 2886050834925318020689698284904630578450155922443549011269053608139\ 3644187915002426222967200573405776411345041021040688578592956394542\ 2136977323774423976187249840702675238315221351/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 - 246719994915366679413320459690149949\ 2338517195931781371053225256760628154816462006137713928071997633149\ 5733481064752888281190490682684090862294304007848720818980307578729\ 3993179721/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 + 1633439525420046717334038666643384770250773995999173210483963128252\ 4759343245354665290302157225487093368779540698862751839646724601428\ 0782944314202427592325849543048872961284839148/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 834164149507859569704331839786442164\ 5525862878341432255801365480308445081006498421652520015196625795982\ 8996344337282328981712360999467982654182326695502221705576961018807\ 745952029/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^11 + 3444605110810428021453911042895365302160762479377968455382101029652\ 1122055729319061995024667511216562780612327485617437674270082357105\ 652410552454361196089251209349807344112111739/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 - 1247613221067804842880648297081858047\ 6517407638469093713235691438628061979887223528986952475858701890425\ 1699494478011818552443746413736564995253751714967560177847378531095\ 81204792/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 + 3681290487945682986123011258108132813817390476084173376391114643503\ 7177262197745235873578025391621153219494132547781897981630008894497\ 48286146671352676955363076584634047387353014/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^8 - 845351815808847993718945564870456258779\ 7527718268706793060432876400689624058051835494087668724980122092707\ 3640493049574225601909367795553065797596885325463046157378165593346\ 4577/99000171474215287901938352346499931784288508093321146920467399\ 5069171371854683830019868797729691533727981534973938338244542490002\ 05714980612426681141987756595827617962647*c_1001_9^7 + 1419437901727286476148332938193783018477962276183699993375812235897\ 7799836879077785170725693064584091047826626324868932926911276277487\ 0688777811018192145891057663123382087663701/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 - 1748659261048386664602806412139884102144\ 2605662682147799234726499763692716417271544510222002635689338231059\ 4325894544564215066594420340414423848692377210761366797780547143098\ 07/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^5 + 1538012029786459036510357671050051770400763265677558659144790838508\ 8663921878068626101246194620221840391516754772719088297564421101725\ 26200373400393186188434488059755072946824/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 - 104951358551735457986633176731299246792970\ 5540037242624789539176010470662473265730205149226327386272400390334\ 36957937577320145642064184055328655765895918232557317818957259682/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 + 4199248218235958593846166031795335814440239541316372774756812679843\ 9036885749647673061171308144311125549161053278732600855221036305296\ 42646927870352810597445833825987602732/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^2 - 138363552385021957895998787914099734171106663\ 7158409427520882413037484729604591725025419063611437008347942262284\ 72262244031342686747146710517224452422125076963053476304513/9900017\ 1474215287901938352346499931784288508093321146920467399506917137185\ 4683830019868797729691533727981534973938338244542490002057149806124\ 26681141987756595827617962647*c_1001_9 - 6004878566538417512246803603794896911277495077684312579041832236742\ 4555121294907659567163791039459533647346591431305685863106770374430\ 12678558938627432112146425355687046/9900017147421528790193835234649\ 9931784288508093321146920467399506917137185468383001986879772969153\ 3727981534973938338244542490002057149806124266811419877565958276179\ 62647, c_0101_0 + 138597158077417007838688770481531643657529098656281817083678\ 8980371071422918219094269834489426631195913729597003041094281326783\ 0020691813625986072293927774056341582775410/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 - 251491894897943913564504584427529139650\ 1271790855880745265113026707132730547527211694725762475283696928908\ 97509005690825522848321732775153297145437697336001707574168328349/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^31 + 7418764031345989306562721698800335740014659810363771169960576057528\ 9831092693298587940343656613181086067490801833136418029007106928623\ 7068801542190862635538561074094610599/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647*c_1001_9^30 - 540231252014157713762255190205365730804185982\ 7433738877464636950206347406144973726521404901523157368790847807778\ 244685902633300573293817270697034021820443017796256836877994/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9^29 - 1148895788663892492267881279153150971900230473865046750749003319317\ 5806497866660674670861348068846370639293252434603264601548955679937\ 5795707095248219647834742042496363010294/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 + 687098876655190467391967679851919851552846\ 6869681744387419729650784805997579782683277811187572053062227308507\ 06566276487999304316531922086978422340077668581727740342774644661/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^27 - 5302938027947742200360181091650101772936484652171708209759961472460\ 2178096500270891050684844440253222944477485865031099571894523569452\ 15352724309948899738513341408648656464151/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 + 77480182290811653139013822356930637469485\ 0674744011388151337401421712818642945773341101308664866480744433638\ 0318837607136844780230085196379232278064172935233250407464623909462\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 + 6461776700251064697587755420705224380042131817369060745232448272440\ 7696301206314628921071275364255101992668223877659226484872970226622\ 952121777920236338313038861895274286019653/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^24 - 8739372054919631782864758297383357995509\ 8164043202924050217185562705956634270045323140765519765800136199628\ 0187310307782829609901345340855991715296461365024792224783753791412\ 329/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^23 + 5165160528557493062514866303549067404512618244392977478018112638168\ 2544378088684097647700213361356476793956183938385487373308829148332\ 11446357207734847319726623209307198090149126/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^22 - 21137378271831759131223926862029603604\ 6039383078733318947430342466149803957974796342235667169425026633229\ 3185653924829997464540475123423956868391317982196174569519472898241\ 4740977/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^21 + 6450005907234953209791918275646043249199738618595005448648595166838\ 0045438419629988559797833068721727340794312489037628055890165563642\ 422604436134561486267521478524619241877063876/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 - 1478299798725529020914279921003727775\ 0304466584590554717126115927071686865892876272844181783742022347233\ 9891432445648146161694671822787853628484166705904029351647432298469\ 528858571/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^19 + 2589077359506037079472837292038194161621141189688032687970081621690\ 5347600184692219488607248818933629577235452892453304407456290598224\ 0598862268774594075129651588161201378129712595/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 365576297502751510339301981175554928\ 9087166448292214840772340183031402331649143858164113621434844198006\ 9353154035168090120149528760706362391095183251223230098868947736985\ 0525596942/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 + 4520959863592778533417233284101502644495915766988615120718217949523\ 1439917043406089016101598285656201680893993243411583237140606066711\ 7049611427277081242468560582742445423108036995/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 - 522378684681210400322830405574011104\ 5510766142355932254615222684383776578535515039418442538329276187967\ 6361917697355738107734713922957769578609340331125416000594811063551\ 3196773785/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 + 5533276349722263564601171016524724207575275383350871270571395014625\ 8229301041794692001361558928888213555887969339617487435265314756549\ 9016248534967699089460619582187888763762704217/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 - 497516467845485815373199970848478840\ 4711353439249695921540404667675300198609771319006770858338561740516\ 7159069716484703750043084224250087682340027190355538012521778155892\ 4211390862/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 + 3555649730599328587604991220810013732038264504776417706430541023946\ 5055510513049397242344109236274560120089750522850326741609675860815\ 4048044950815388863307520904717675074860219098/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 198009344203694517544057574500638228\ 7207415487298584398578623845488269623243162337904672664544515664493\ 8255596839695912264815484748093584221843393019900598205115177891050\ 1473442832/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 + 8808675034347302501107123578210732648577288221926904901086103639375\ 6990219604890240035264797413923803428284789864937289418476051589793\ 537839834432875868695006724683954514607078663/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 - 3331029693229130970035118088375137383\ 5949883996165200921069060233495433260921475778091676610820627047298\ 3052783094522171186760754111587054378562889439438928642503918081500\ 39681850/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 + 8259319062325361173621720262708382819649929593299386992398268900558\ 2607045519915136623232251700126455635370117892220773433383843701636\ 7270193225360749502289221866054605860590580/76153978057088683001491\ 0402665384090648373139179393437849749226976285670657449100015283690\ 5613011797907550269030294909573403769246593460047109744703229827430\ 448278304819*c_1001_9^8 - 27473190912124974266756338475409505572994\ 6597682950501226686405300725752621924243329688994136211401088752809\ 7345709055019888199444057459492450244974650605862568975960820451978\ 747/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^7 + 5301818389068890782972045066032235951738447414577381023624206245998\ 3941592436228727860590436391157257534131529566558774444025595444395\ 0087079258641681009559765672112409458754522/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 - 7340440497937032435822034781743150258671\ 1292296769882748222480859989768307510397823813343525976402755665567\ 5876719948495534628176018482806659591078883861969868279012678531027\ 08/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^5 + 7480232558666714543332917004964541288924144356131198021366552195903\ 6401184715054393477525310574258039094835791738657404899929636436020\ 82501760858083426558807285164090133940910/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 - 543112621923205858722751750523349673268184\ 7787361481182780511205623240104190581621252736983977433705382957104\ 98483505528056243756397149385343033679176920718896977142137851048/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 + 3640680262263015136318207622662604231461257294585758481479917645189\ 7338874281421982293734558849265594090064514912449745098085422522769\ 028859061028903378685955165488378133937/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^2 - 14325582856509154310661629289301192953004186\ 8350208876362253915868715970290304941813105664105338918831374507605\ 2688667252298393625435098394404892941389058491644566877215621/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9 + 1669001060594658381418214220345460407912950309520306857218651932116\ 4308939558239049526545192072405975469394768141162335679069079160095\ 5179228180790696139094668972357320010/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647, c_0101_1 + 119694062917552967853389833248836638025740991502183945658721\ 0319756539631341028353742740021261703747879155639764269262915529857\ 3807040589718085589246979114156981508243988/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 - 161716937904126321900206670888589336315\ 7524235640402546063091187900443281957422376680211610440938462123818\ 1179681291976049431920382933050746437733601199248224186668439877/76\ 1539780570886830014910402665384090648373139179393437849749226976285\ 6706574491000152836905613011797907550269030294909573403769246593460\ 047109744703229827430448278304819*c_1001_9^31 + 5173952066270388965115990273749982594429021525483821545439807340500\ 8568861693593142155077764348196046959755822061668895821484598776165\ 2246657439183658858314198712881136137/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647*c_1001_9^30 - 434572752517564750670875543832871964273783715\ 6455832491526066808620809013718193331251197109899815065777898241323\ 794276122766926311356386928249136275352690755441527553715228/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9^29 - 1017968805939732681193221698413866194203215536483875269460287759179\ 9581337819419158869611571780606984717678873185504863298949187704234\ 0754979824894613594656438227597018156115/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 + 534597942625526345423239301896601292864178\ 9739700983961560479197015347437280555792381616504546239921777399026\ 07956033295587763339785156025710288829788680360389670020802997419/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^27 - 4259881690075798299006086456860981692690246401743854245977170982886\ 5135995258389770121187469364796004435992942299887804602990447316062\ 06573785527835771070390170758830972622613/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 + 41649319602290824669347555963809797813368\ 9496997030122013661518465150501702917765877987693765232145061293848\ 9666835268105185445600672840351178551991488650423288862376082592164\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 + 5861637772373603523332357526931088135892713521364437943011117424954\ 3590147789945283434022997471047865947929987853156789427569546227370\ 430376568104741138532742597721833148901244/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^24 - 7211191659329570839003186545484069091732\ 8136072694525859878558845403692215705761541392388627692793758010363\ 9641319340524355896349464318988847943547817081169528599845384989981\ 092/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^23 + 3104850454550532092089392149793102900839151704310034636982694474533\ 2536429576964113182235072671224722105407952669491190662082492384085\ 7852188768319458059447626165353619870924108/76153978057088683001491\ 0402665384090648373139179393437849749226976285670657449100015283690\ 5613011797907550269030294909573403769246593460047109744703229827430\ 448278304819*c_1001_9^22 - 1584238375809805242229430111099029341919\ 4655971720997764102778658676617753834943662139727727804437156226197\ 9707559195705023955762796213033860707026392305683812097693114201259\ 03644/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^21 + 4611815878862055532698919814856215429653981753340840648712952904572\ 8284455900532420594777364634750198275383045860777727901329276782522\ 017479604128722874105792839600104481937769069/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 - 7643111046332724476365678931562163999\ 8399859410618811475078765360344650480835282558124091153376757141803\ 2989480348051679156998848375541420063899935643534417133648570474939\ 2049877/76153978057088683001491040266538409064837313917939343784974\ 9226976285670657449100015283690561301179790755026903029490957340376\ 9246593460047109744703229827430448278304819*c_1001_9^19 + 1613882284561527685008551856440645553870710196725780566890618447055\ 1521121373708235000242682041830164722750903297784627735856848777439\ 2595962321289090125400965264408607837034060717/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 212048959478250811425096244742862128\ 6534479535918578077417773592025629337336904605671982751077941669100\ 0724038055235803785525188283336273134308692732229404786396338759743\ 6476399652/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 + 2505887088245306074714739881381497992306893938995008605846009094173\ 6308964503372750868211664588487430083470557824908904404075462756112\ 3546115056267802295559926815499217950483605368/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 - 282867721508509014467562965583536026\ 7815048234346366119071395735871238074173925170130530391382618731177\ 4488354234349497359898904107780654023012993306126843301367532930681\ 9324625020/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 + 2860557727488244583745936599533884254794865302537091826036615340945\ 5851453522138454552001375006156625341646117381467890471763204337044\ 4466627117004961571867319284037317227042594007/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 - 232065399481924793569230486073249128\ 4754617045385068224890361084349059048295423632219323441637208924498\ 7164171516475177551561875321107314920079076252096847668282802648308\ 5775920970/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 + 1397040830987527638618900730828735684470940656528087392675304936743\ 9351087926226611374267992508149588481801075464378521016271748186954\ 9644105683813205186344856749119906785364878854/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 618839949994721402163013806106741258\ 0026913433327083474437207711432629552319401388679508429859744128581\ 7668815222974177385450902296266466363263656221732792814592549696862\ 847378366/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^11 + 2143393003341174358341658135211369641283440658996735713745081200584\ 3027206377751858312209386272214435002420747308721665386732483323282\ 725396121246095821080783083157276766298478023/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 - 6635024906811826830411274339861240478\ 5501101751508219166506946339724659869195759059432854649300518926161\ 2250464150019280769910770850254090878010965101745615642440057407628\ 6021113/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^9 + 1353983147977811143111230218973184472424758967106687502102927664708\ 3028411984321799602338765429630145209247096354964087165918139115707\ 57996582763172658254307634253939596133330194/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^8 - 945038915769303822122139007659660790030\ 0848094858285318200553565444367313028380974063675258192202111646118\ 7326050261791709933644003540787434996533530171633551774408474626727\ 881/990001714742152879019383523464999317842885080933211469204673995\ 0691713718546838300198687977296915337279815349739383382445424900020\ 5714980612426681141987756595827617962647*c_1001_9^7 - 4618298112615888646637937929236599059863279637321014679950404228679\ 7771966185067114031050325770036760250751277660337583148199144968069\ 190639818737359847470244982573248014039932/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^6 + 16577152681339727179428515357740630307289\ 9626186980243147951210233602432559708515948937790607982556053304189\ 4977539617261144564997217551179518090957248258123035512539773972692\ 3/99000171474215287901938352346499931784288508093321146920467399506\ 9171371854683830019868797729691533727981534973938338244542490002057\ 14980612426681141987756595827617962647*c_1001_9^5 - 2985739281311525257190120463830629436624691012784828151383135855479\ 4421038681766162593492524782700202138488808511609467564164593745144\ 58099375298862922645919489543525585022272/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 + 324052621888240612650048896217131170006439\ 0724626966143825327685973985713839227771556370014140787916279270931\ 51057716515440363567881159031898994369934519826652111793760361527/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 - 2833076265146284338492029092551686812295128089293221441940426003463\ 3056341792040839724069085293682658505341628288260854943239054686014\ 449922054388889808080654508263549878529/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^2 + 15036153439111706611469724984007992354840314\ 5466203258325028998511636257174079673805799645482323631448344521884\ 6140588501705333792678398375113716750312852666766012059346894/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9 - 8797836622790020233584743441036175776499576720409887186524290051339\ 5478914788954866433113747155964417454670452930431061224082043891118\ 145316318166074637063419144446030615/990001714742152879019383523464\ 9993178428850809332114692046739950691713718546838300198687977296915\ 3372798153497393833824454249000205714980612426681141987756595827617\ 962647, c_0101_10 - 21111571049728334155823032101559332733601836967126144358000\ 7459434307903355401682725214480037030225832599939436259995604525644\ 53272810744714421269151249683555160020780841/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^32 + 37614414826937917666332980540605735946\ 8309509319032601872478727794416574845801375508641605500182480101735\ 468538926803497753388000808495969786336154394102615491554738852436/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^31 - 1006962217384084944585603900240640240331281676523409532097824351871\ 6198216926205506336219681179265152296531465186288202940250671292657\ 37942047599398326663126565216270621526/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^30 + 79069055707579757635690741473595126091349895\ 2429475832773622209919690889209637137652847657846532595202052143485\ 7353813391741016584167154796248648367690553118297004548282905/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9^29 + 1775797458018693991552701141056964222532131368119403991264189490818\ 4647621525950702912053037194029275637048538404513340313468717675875\ 3993101318547421602638829341453068877794/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 - 988083130964505232486823429403469487383691\ 8598042081081753623279477267867804099153886984709958246236517582965\ 07997291883223172553169630760237340149865396888321182048361368828/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^27 + 7757203192412422830468798743449006004232184774306434492512678854780\ 6003358098838092384044576085234832859299220727098259395828846599831\ 76077741087538232607109452088177872937934/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 - 92756555542996864131798745274043404245378\ 8185326750886843088396556370622798486385205380683063022093707831277\ 3488735479137910334685157591490240813547880597053008902855731177444\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 - 1012973301550966433244221232279106266297599484043571803363611232597\ 3154509097480205026525128103486511026361010301376592862189213333998\ 8243724206861456675550387427732419968833652/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^24 + 129774982712381984327237305617968782246\ 1103764501135663505466188862895790486133076216429798243203309362432\ 4429051180998966230461637112709516073826412553546510125012326361591\ 56225/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^23 - 7443783743857991173457586728673995349388787010043193705996066268482\ 3082626021647247556593993329311416610055522038617056034375170330450\ 22394878146401385507372517964627625729350461/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^22 + 29781500054948283795439553043446296544\ 5784147362108257058448396418270869134183685287671649722131744864231\ 7334659943459322660854756194145115986591397003709915288411131730845\ 0077884/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^21 - 8863238950635275765178509929057812988168211943214688428976736453845\ 7504853184994478680369443698661204403741143111995277663175240087371\ 151277472308390153697585793958812105072038703/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 + 1967225086078643398241784516993772618\ 5456801721434103336890179886749453543874107951626636108536925824290\ 0226780045468637391289155269021510225982589027221358342027895820989\ 461979099/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^19 - 3316803741077754915622627000946653139888269946582511056883293039242\ 3563341894433547390408091434368852515165184443168316078916631234010\ 7256159677619307370549202084714090217287100761/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 + 347750646356301283440193866866219995\ 6546731185583756679930942095034979072452611832383722284394650570662\ 8185791061227199947952670604247074536400653443586640855600129578838\ 133909438/761539780570886830014910402665384090648373139179393437849\ 7492269762856706574491000152836905613011797907550269030294909573403\ 769246593460047109744703229827430448278304819*c_1001_9^17 - 5469713017795274628609682001933624836653621624323184938407924891802\ 4998325404292361305085842983916423496585245535519616243155319340891\ 1509507881715011651231327519572515994388184820/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 + 625075695512702999113270910239130266\ 5695050621800812906909051914472248081283692302345317849807707866100\ 1234739483893358067810578944487319244295632537856146920883095710887\ 3220908307/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 - 6482819897468855867882413447659291547442519306399551762302596088340\ 2850886091961058788307138382279758677705041286040350121842748641469\ 2033881598176227209328170890505390869432275432/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 + 557086151593594840118926829687493946\ 0681408005385077678843022944299493008478147230509407203106991465968\ 7044291637011187273752798730473058068297000521119920179691513815536\ 4579308349/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 - 3710338468852788730582448195160084875707445714154630227983738562884\ 2087808741472436853481249042538226384195725651216758298511194158619\ 0070215451808678243917617822858758431113955393/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 + 189966907907869084368869466442538859\ 3621820962411647143143465164860906014175188174597007174444424031399\ 8691177506293069670756016716788594589891194568932443003762019834241\ 5506113935/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 - 7813962432318455019867893199930182986987425276825874901254924057346\ 8024190795328279504777592259325539265759158710226532130047267470054\ 405712450612017109136561760587709077682745960/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 + 2806595188544072296571138712501592638\ 8727159386679563813135819711394673340579585658681315935819543568705\ 1893800096054899585298347701887473324301084625843322318454157921012\ 91648674/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 - 8270993860197334407429719959544960865365821354245239572389696313774\ 0015939274926480130273481393741872061441830814855284878869526154305\ 77546732087140476939295464632421797477571739/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^8 + 185414619207587452955313794303343025544\ 2945162122457332816658976456477049127995171640319478954347446142754\ 4696385264551325052714443959250150809722351200431095859978260120832\ 38793/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^7 - 2967110075475502563719515916058703188937370824955911404291173238564\ 5814004505227671439740561839463527449856851761009309643709846744626\ 2537640164021701091712789618355076662738627/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^6 + 3242403935841148775348947541274650259681\ 3856561066747988273975657516050704798646143442766342507340278039537\ 2374581774422896173705670400460869149932046016957932978936204365820\ 27/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^5 - 2333634576274527997429368613669297107060401640522930458630855544569\ 9192625484190751027619729448402825127656185978971653708780208047747\ 20149362322051092341565966299805243138702/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 + 849015732027731224119976378868486266368882\ 7441486987760295631707601982724125999130984052470374574090385875823\ 2694275083416309404261289693060878224504998400198317671182410093/99\ 0001714742152879019383523464999317842885080933211469204673995069171\ 3718546838300198687977296915337279815349739383382445424900020571498\ 0612426681141987756595827617962647*c_1001_9^3 + 1868502110719320590598875675049688270139086146786379374864080234919\ 3976006932439815567628453901745440515781149422173722778589854908922\ 85493313966053994784428094136043271058/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^2 - 104753237669699498603030437066423861891415477\ 3226528222920088944643543361348017817957577508635340859985216177831\ 709142047341975907711462340451505675264271054428618240781255/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9 + 3051225236841952773319645138281883353924380609577515335397153820161\ 4061855179802241836959535696572455880294403379371273998366333866922\ 793209143220205950393294571215045680/990001714742152879019383523464\ 9993178428850809332114692046739950691713718546838300198687977296915\ 3372798153497393833824454249000205714980612426681141987756595827617\ 962647, c_0101_2 - 133841469062734957432060919490707165959761400157717116167782\ 6603959201987793698929285141695739711826696295831247522355757296979\ 3678226842609195346775739377484278130001934/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 + 237361450120014205874271380425341432600\ 5194957904670856563679148351766864427067550759542229827495254570576\ 62294970965194702834838166370382735049461892414891361690848738921/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^31 - 6185670260225312348479108775539092979843225294203791215394082965609\ 3791342970249234461496077800521580033613917516647637839769007973354\ 6175472811020516691917531878834723428/99000171474215287901938352346\ 4999317842885080933211469204673995069171371854683830019868797729691\ 5337279815349739383382445424900020571498061242668114198775659582761\ 7962647*c_1001_9^30 + 495731370864288850352723349069184952718313694\ 6007171021133745579297594280832554458677374192350267277627984015554\ 946704310281861341120367440728417005883465370399136979856471/990001\ 7147421528790193835234649993178428850809332114692046739950691713718\ 5468383001986879772969153372798153497393833824454249000205714980612\ 426681141987756595827617962647*c_1001_9^29 + 1130011284042904984295594191999769456170691889510058745411481081548\ 4315716245924671684111883240210538605635192282696993791453657133835\ 3934307719981403865287202184377478951891/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 - 474764811317909950714216458783025451283086\ 0069025355681937678585800496817788699289794914345949832255847553565\ 0762569947775091314009168039909207640328015352101448412419797176/76\ 1539780570886830014910402665384090648373139179393437849749226976285\ 6706574491000152836905613011797907550269030294909573403769246593460\ 047109744703229827430448278304819*c_1001_9^27 + 4864862590650957810390068865832062737503514006062808858170162133701\ 4614448191188570401071256846436408522644013223313250595653456756721\ 12844280338891758231392355094220760038058/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^26 - 54677805399252799174378418857391492084120\ 7180040671736180782706246656633197444900734726494799222417967799257\ 8913523640754431524908555295298346363640947881762424557373276972337\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^25 - 6476205698119208052561052288454496553150927543638669737839357178325\ 7423020404385959455693670207780763363044017817442857000348044017697\ 699107142917079898744623128611742058692210/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^24 + 6288506654989458389960283261294988829226\ 8472282897909697847189761420294079419555866763475179037508294136182\ 1437710260679363027613424219590815159075615704208712391838917074037\ 82/7615397805708868300149104026653840906483731391793934378497492269\ 7628567065744910001528369056130117979075502690302949095734037692465\ 93460047109744703229827430448278304819*c_1001_9^23 - 4650552672859175571038286045795597496547518211070630356461468612262\ 8933771469695964911020867319425637488790644210456409260265699475942\ 18463478431751682152133329732823602874754491/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^22 + 18481897091032087113025538314881519973\ 5883927959400055176549871575146616140802210403423259731457865467400\ 2073749852088783328755727763585574959492839257747440094953769665493\ 4744452/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^21 - 5457895351674289923903919766184870404490097217160008364711435027704\ 6433081663564825688101287287552569200496663403696132849132096965767\ 101301487968462222534261440182462421785005656/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^20 + 1198660818512401336440456744933299904\ 0100153345451025373997070912136664600471327813084237773411012388033\ 9613161763441174936656609104626157734784254134532699740091036019570\ 171668553/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^19 - 1993512425048672540018617802026726442852820145924713593089226918020\ 5374354269206253185104356523166408966288727251908119607222061076852\ 4342105252156579615448600671919850295356167499/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 + 267857612332890772711309031083736243\ 7630667197525136080864139786016440095645093034137912575732678632814\ 6985201781404468035215731234986234221871656533735965666672204262882\ 4761303159/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^17 - 3207914336002015536124300061281202617380507974532309806247552400581\ 7897531255163464586711121296398095642281183353369100605330154954215\ 4137656576256190442751952286349735551974868118/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^16 + 364535389730432195878201855934801326\ 3105844470032968611065803792254868870403291620399384061132963956293\ 4208936769700767010417994778597761347743064812849864290606773062415\ 6558352456/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^15 - 3745274787170134834756266737969271339907626233735111693032618812445\ 1341637206650507350722130043481159183722010727996902233361456340820\ 5289203282700991790611612887175672393527746370/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^14 + 314969727071663562767158615105980004\ 8813233686655837474022571674370508826642858714478745575215240165939\ 9982046406927416507914615063588563448217778926162989687885921773823\ 4111424375/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^13 - 2016591020700428095007562069222816327311341227783818829202339487673\ 8148063316254009861477831666914795163664273938123706317937485420258\ 8907721661155157583402265771183069488596941661/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 + 972828331148941350618105572248783398\ 4377460245984063956533765545673171159087327791703880164944810435384\ 1290406722133108286310615305738132027313984289870378253804342371505\ 482311769/990001714742152879019383523464999317842885080933211469204\ 6739950691713718546838300198687977296915337279815349739383382445424\ 9000205714980612426681141987756595827617962647*c_1001_9^11 - 3716856125156206362879059178881801971910294457585050620267314968406\ 7317257460745039931994192944595987694271216511570756903816982479658\ 870555959928678648202032247923306236070398994/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^10 + 1249086064295222805392124205740023255\ 7769844391172069045870308459044200080278676314699912227419503549694\ 9296610710461901609457260795039979615653293711339791738827536018162\ 13915782/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^9 - 3283568155067845151427199843810143917954447983419198607052298516427\ 6954687610787582587613058357784191205748383710731195517848828824663\ 73192521108542161014461522990697917909353063/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^8 + 566266417432121698377055655417033250546\ 7389255060016714686437211826785240040017312216016339678062882044842\ 1894509575164478798389652921285895335144721673825391211275294537702\ 0249/99000171474215287901938352346499931784288508093321146920467399\ 5069171371854683830019868797729691533727981534973938338244542490002\ 05714980612426681141987756595827617962647*c_1001_9^7 - 3102896729602652270088966637965749281423911432747241460314922196084\ 5433025602170884610014962110444828932662417437120249878972711740159\ 95024990228803481583178665957739100136030/7615397805708868300149104\ 0266538409064837313917939343784974922697628567065744910001528369056\ 1301179790755026903029490957340376924659346004710974470322982743044\ 8278304819*c_1001_9^6 - 4810351031482600465268176710759973502174809\ 8952654444337860439918947951359684581543860925588224755183108634656\ 3841464311465418935909047683274045048229182058475843142011952942/76\ 1539780570886830014910402665384090648373139179393437849749226976285\ 6706574491000152836905613011797907550269030294909573403769246593460\ 047109744703229827430448278304819*c_1001_9^5 + 2050472625671438845007275490642813958378570903377627497396808730070\ 6228192467477498198627418106257371843936453876990559705358179385924\ 09788137881748899116243268140742865903809/9900017147421528790193835\ 2346499931784288508093321146920467399506917137185468383001986879772\ 9691533727981534973938338244542490002057149806124266811419877565958\ 27617962647*c_1001_9^4 - 295509047450139279575018701566149681289862\ 0557495412743722867002297825589495832041771879198679821774399984934\ 87506670826021654738695083614157258434658813855960548895130425404/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^3 + 2644818893724366792271192416258856989876677847910574220983224225602\ 0084203177776291158272424592385987828619858966540486415513190844333\ 724641356189642719848957339191036428985/990001714742152879019383523\ 4649993178428850809332114692046739950691713718546838300198687977296\ 9153372798153497393833824454249000205714980612426681141987756595827\ 617962647*c_1001_9^2 - 23329929598625568337142372917819910480304507\ 2104062891738032233178193976976770267584983999951643364263754341271\ 2768593311066401719797522781453449309199390165374722573391047/99000\ 1714742152879019383523464999317842885080933211469204673995069171371\ 8546838300198687977296915337279815349739383382445424900020571498061\ 2426681141987756595827617962647*c_1001_9 + 7599871484840385533011895907393879024526400747680196424388104599772\ 7064641551257395954002207797199568069732523177972812575846351694842\ 967012761610886032255739322384164914/990001714742152879019383523464\ 9993178428850809332114692046739950691713718546838300198687977296915\ 3372798153497393833824454249000205714980612426681141987756595827617\ 962647, c_1001_0 + 450675943150213840758286233694181293485807253302465043613078\ 3452358827025751047542996592292561319983364508299112233627200785032\ 6308590557119735652500034366088583289361801/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^32 - 810239267482856324830937796609145501671\ 7965057498248006348128799463746530672483942910334243702201998973009\ 39451955920227541640150223756829053562510942825347357968570905697/9\ 9000171474215287901938352346499931784288508093321146920467399506917\ 1371854683830019868797729691533727981534973938338244542490002057149\ 80612426681141987756595827617962647*c_1001_9^31 + 2279153776041900465846549157239795628762385189317797384744850630618\ 0550412823298722987825164630720449716001677406357160692053320535395\ 19421412335512299664268081400223222125/9900017147421528790193835234\ 6499931784288508093321146920467399506917137185468383001986879772969\ 1533727981534973938338244542490002057149806124266811419877565958276\ 17962647*c_1001_9^30 - 17226091655919899896039814350839240206827108\ 2578394552761313832332502191264227388685748537633480983004029041732\ 61035124757050421649437002658043600073325335289874432559064604/9900\ 0171474215287901938352346499931784288508093321146920467399506917137\ 1854683830019868797729691533727981534973938338244542490002057149806\ 12426681141987756595827617962647*c_1001_9^29 - 3763604886398606442103237260210922870891709097759783670111259100809\ 5144383822859766824540051206401653819352358732475453415857917280838\ 0354870650485784457400369893122038422063/99000171474215287901938352\ 3464999317842885080933211469204673995069171371854683830019868797729\ 6915337279815349739383382445424900020571498061242668114198775659582\ 7617962647*c_1001_9^28 + 217045401625703182640581033694260885379832\ 3535446228996889199788498397962757456954809194957133276428591271300\ 278186526323270358077493919791535221036831825883546344193023683093/\ 9900017147421528790193835234649993178428850809332114692046739950691\ 7137185468383001986879772969153372798153497393833824454249000205714\ 980612426681141987756595827617962647*c_1001_9^27 - 1689987299081793586284096607737151160133676378084488174884754274101\ 6132257055815109284640945933634665192487895565438424100067473461974\ 507575824948238645065529733227530596639244/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^26 + 2247373188628985026580729556331035378401\ 4988756618801914849846475713510206702969339729768556287870441578431\ 7354399442785639041924024539674615882223563958448307060655027659440\ 45/9900017147421528790193835234649993178428850809332114692046739950\ 6917137185468383001986879772969153372798153497393833824454249000205\ 714980612426681141987756595827617962647*c_1001_9^25 + 2130432882637855960883525996021473726239469551399240262677679041370\ 5405730051571397955302644850828418543155792645092295287048268559429\ 6308037732378241566691020599732976234513440/99000171474215287901938\ 3523464999317842885080933211469204673995069171371854683830019868797\ 7296915337279815349739383382445424900020571498061242668114198775659\ 5827617962647*c_1001_9^24 - 280520700117541405408081452867779792680\ 3939820124672387378153544313148268516498026792286772138931303926373\ 9188982398987446072645310291397093262660047959040589075537216685970\ 47863/9900017147421528790193835234649993178428850809332114692046739\ 9506917137185468383001986879772969153372798153497393833824454249000\ 205714980612426681141987756595827617962647*c_1001_9^23 + 1633745735616972985301284838335194126000749538252332438886862496733\ 2332346463571767826937520610282249292066788672633002605750058762706\ 123067676783800866316685373723802341437257008/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^22 - 6614000029529482683209035335749496474\ 1787766711909594840330770658882685254636073317727737948579765455085\ 9436201468793610163778712412610443638708126540648538098431898788596\ 99187623/9900017147421528790193835234649993178428850809332114692046\ 7399506917137185468383001986879772969153372798153497393833824454249\ 000205714980612426681141987756595827617962647*c_1001_9^21 + 1994704105426569047493169858366606906609650527066251002159279635310\ 9556473568927452779311799474305026984873784432299866533192795221197\ 1634698840116206051892106291854553997527662317/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^20 - 450511806492348677484568537810485668\ 5928574354772389455402911568766763143667058676626286254504114373446\ 6447876224095315164544354250424409421671910909776134356852455003028\ 1121124582/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^19 + 7759382287317193706917765175562876545296523678106518796498531791161\ 2309281182198825898895579155678272081015472302806578624615686399579\ 9349082367332093528834115047594094055054837369/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^18 - 107968398819945887319824935950675734\ 8406343784416570520766160416129453000881740228770964853138696267040\ 5386570821198649119857910287301116315655725373280287278464605206303\ 17990850179/9900017147421528790193835234649993178428850809332114692\ 0467399506917137185468383001986879772969153372798153497393833824454\ 249000205714980612426681141987756595827617962647*c_1001_9^17 + 1324171169942419556152172260824832682246279304329885745311781639934\ 8124401520623836636211872794545884489647599145705117455072133945070\ 68109410431515266349430643348916667153436895071/9900017147421528790\ 1938352346499931784288508093321146920467399506917137185468383001986\ 8797729691533727981534973938338244542490002057149806124266811419877\ 56595827617962647*c_1001_9^16 - 11723975691456951646179967720999159\ 8674021022720102838299804796372223761873158847320551310241030719072\ 5269646108880541977628494613410539006043394434530163389799398495392\ 62696347016/7615397805708868300149104026653840906483731391793934378\ 4974922697628567065744910001528369056130117979075502690302949095734\ 03769246593460047109744703229827430448278304819*c_1001_9^15 + 1601008474042834093926590000363110105588174359088435470740444205849\ 6355927805238823496275981573128025616362945675643289033361936208249\ 27122789695305168855109896112021953338910271059/9900017147421528790\ 1938352346499931784288508093321146920467399506917137185468383001986\ 8797729691533727981534973938338244542490002057149806124266811419877\ 56595827617962647*c_1001_9^14 - 14146742831085824768819083818446409\ 3177139502072764039649143380803833306877087569834613440904683537045\ 7841568928371519812194162383605008049869466500357949608483381917310\ 615117515536/990001714742152879019383523464999317842885080933211469\ 2046739950691713718546838300198687977296915337279815349739383382445\ 4249000205714980612426681141987756595827617962647*c_1001_9^13 + 9863807346875472617199651152095290282107375747973329880200267408936\ 4370106809305885868241234222282449687214554598203625553289617476947\ 1828037976062388632738141553902693750598794271/99000171474215287901\ 9383523464999317842885080933211469204673995069171371854683830019868\ 7977296915337279815349739383382445424900020571498061242668114198775\ 6595827617962647*c_1001_9^12 - 535818392471426386592145729264725498\ 5430326173670382402694434571868188754772414026265788258097531841593\ 6261646807464822942341651131122640543073082892970674676242634450297\ 7915031325/99000171474215287901938352346499931784288508093321146920\ 4673995069171371854683830019868797729691533727981534973938338244542\ 49000205714980612426681141987756595827617962647*c_1001_9^11 + 1802410064477371936006974972030132173714856976774553718553852554893\ 8940768420803976118070049192652894924173561724440160979900069981798\ 330564220445542634841398263246615179199183298/761539780570886830014\ 9104026653840906483731391793934378497492269762856706574491000152836\ 9056130117979075502690302949095734037692465934600471097447032298274\ 30448278304819*c_1001_9^10 - 88144837208638535081229954057292179903\ 0881783074446316084420982007906907178969717674567566524182559907444\ 2584923017049183903698829420822714086035616665196875904987069084663\ 1249120/99000171474215287901938352346499931784288508093321146920467\ 3995069171371854683830019868797729691533727981534973938338244542490\ 00205714980612426681141987756595827617962647*c_1001_9^9 + 2796136352885578386742143374303165175344794345322500242051363755011\ 8261211871798235232285751228361434747783748928108223314018799884765\ 696955550307890556146436312554808592701271905/990001714742152879019\ 3835234649993178428850809332114692046739950691713718546838300198687\ 9772969153372798153497393833824454249000205714980612426681141987756\ 595827617962647*c_1001_9^8 - 70566475861901768732139495693432298288\ 8028093539220762835733019017994022967823320098734791868194178274872\ 5625892878840550380001945081354331218740129153388535212438582638816\ 859092/990001714742152879019383523464999317842885080933211469204673\ 9950691713718546838300198687977296915337279815349739383382445424900\ 0205714980612426681141987756595827617962647*c_1001_9^7 + 1359142048135840890790589978058232699464329979821265968278193338291\ 1162962849558427372448708721652096316538348880732487472036290571680\ 41458304743727828464818313318488533688937674/9900017147421528790193\ 8352346499931784288508093321146920467399506917137185468383001986879\ 7729691533727981534973938338244542490002057149806124266811419877565\ 95827617962647*c_1001_9^6 - 195223421468481657577831732265553570176\ 5036726375994942482449196180858639744047416323109927042187157332642\ 1603426083827574768881816723840084078232629557415223463897823006066\ 6221/99000171474215287901938352346499931784288508093321146920467399\ 5069171371854683830019868797729691533727981534973938338244542490002\ 05714980612426681141987756595827617962647*c_1001_9^5 + 2106449096293288434707765194972658910030165388164944329154243989912\ 5002967521782908041274382233709867230482880709802398535841602732263\ 598768914498163501317993289261022125658335/990001714742152879019383\ 5234649993178428850809332114692046739950691713718546838300198687977\ 2969153372798153497393833824454249000205714980612426681141987756595\ 827617962647*c_1001_9^4 - 16409179161131096645253492884106273247669\ 7255463243370928079564535864715773281131649101576306734436526892911\ 4969328208751681333046507647042507558620714604746250695855431061867\ /990001714742152879019383523464999317842885080933211469204673995069\ 1713718546838300198687977296915337279815349739383382445424900020571\ 4980612426681141987756595827617962647*c_1001_9^3 + 7406959254485743131375059625002108954784031787046430783400887734925\ 5131129489215937558803837552502580063067990919409043127513534612717\ 47787922070727654896952640760360756563/7615397805708868300149104026\ 6538409064837313917939343784974922697628567065744910001528369056130\ 1179790755026903029490957340376924659346004710974470322982743044827\ 8304819*c_1001_9^2 - 3389710093945745996318675013012666820641157479\ 7315275815526531274112291220464394938451142807544924650725325748873\ 63216485629915994691002057646151474605511335372610011182975/9900017\ 1474215287901938352346499931784288508093321146920467399506917137185\ 4683830019868797729691533727981534973938338244542490002057149806124\ 26681141987756595827617962647*c_1001_9 + 1998945068969420587306933076365928021074679548258833267252885492342\ 9108609042153163305028076023272364904174331181597974221614328371597\ 912488430609655772592398759334182079/761539780570886830014910402665\ 3840906483731391793934378497492269762856706574491000152836905613011\ 7979075502690302949095734037692465934600471097447032298274304482783\ 04819, c_1001_9^33 - 18*c_1001_9^32 + 51*c_1001_9^31 - 384*c_1001_9^30 - 8341*c_1001_9^29 + 48327*c_1001_9^28 - 376357*c_1001_9^27 + 508544*c_1001_9^26 + 4702572*c_1001_9^25 - 62331975*c_1001_9^24 + 364044929*c_1001_9^23 - 1477757960*c_1001_9^22 + 4471016600*c_1001_9^21 - 10144526742*c_1001_9^20 + 17587716054*c_1001_9^19 - 24667068977*c_1001_9^18 + 30460381385*c_1001_9^17 - 35207214365*c_1001_9^16 + 37160864482*c_1001_9^15 - 33188956501*c_1001_9^14 + 23624695584*c_1001_9^13 - 13255236214*c_1001_9^12 + 6034421580*c_1001_9^11 - 2356120806*c_1001_9^10 + 779124190*c_1001_9^9 - 211745775*c_1001_9^8 + 45496801*c_1001_9^7 - 7642449*c_1001_9^6 + 989773*c_1001_9^5 - 99703*c_1001_9^4 + 7513*c_1001_9^3 - 440*c_1001_9^2 + 17*c_1001_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.110 Total time: 2.310 seconds, Total memory usage: 32.09MB