p1 := -936639990+26248623452*x1**47-30174373832*x1**46-19627087954*x1**45+23532819511*x1**24-15331409214*x1**23-5892518210*x1**22-2954269379*x1**28-35110566664*x1**27-4846605217*x1**26-31276301429*x1**25-19509035058*x1**44+18467021749*x1**43+18517327396*x1**42-3435911855*x1**50-272899085*x1**49+1530941050*x1**48+4507833875*x1+10918084347*x1**21+7814495607*x1**20+23471621465*x1**19-11157075535*x1**18-11580405260*x1**41-12162845828*x1**39+12293848678*x1**10-14679334842*x1**9+17276957972*x1**8+6436149609*x1**7-8608995580*x1**3-178435747*x1**2+21474090980*x1**17-3966988360*x1**16-1330154020*x1**15-13410537172*x1**14-31038290506*x1**51+17469329915*x1**52-15282350857*x1**53-11990574398*x1**54+4255578378*x1**55+2134905268*x1**56+38375274669*x1**57+9183261708*x1**58+23467669465*x1**59-5872201799*x1**60+44704228721*x1**61+27682281779*x1**62-17204774085*x1**63-7544450778*x1**64-319408644*x1**65+36034512058*x1**66-6744628155*x1**67+1363904895*x1**68+22219362387*x1**69+4275663006*x1**70+14038262112*x1**71+25591410149*x1**72+9385606040*x1**73-4745283802*x1**74+11598735101*x1**75-2508504600*x1**76+11912265375*x1**77+6624766926*x1**78-4828562936*x1**79+16636451249*x1**80-9654281719*x1**81+1913801599*x1**82+2030662033*x1**83-5474416933*x1**84+11196778577*x1**85+512268187*x1**86-1029159530*x1**87+1890708440*x1**88+142491112*x1**89-1261023993*x1**90+3580061526*x1**91-967823912*x1**92+2292551912*x1**93-3890383043*x1**94-7104898913*x1**95+3692350529*x1**96-933592128*x1**97+1199649580*x1**98-227816977*x1**99-12217636980*x1**40+26794929142*x1**38-41046742100*x1**37+8432066353*x1**36-6214147095*x1**35+741141010*x1**100-6270990007*x1**34-6863205889*x1**33-38388107386*x1**32-561107347*x1**13-6663332709*x1**12+5507703343*x1**11+11614165303*x1**31-4503859503*x1**30+26050790733*x1**29+1788729074*x1**6+2123912816*x1**5-2542140060*x1**4:;

p2 := 1882371920-30937311949*x1**47+6616907060*x1**46-7420079075*x1**45-28689993421*x1**24+5544486596*x1**23+7149046134*x1**22+29115114125*x1**28-7204610489*x1**27-214559874*x1**26+3363043648*x1**25-6061422988*x1**44-85814533599*x1**43-5548876327*x1**42+20531692560*x1**50-23673866858*x1**49+1553111326*x1**48-7521320830*x1-19801882818*x1**21+7056872613*x1**20-8039690791*x1**19+11049483001*x1**18+21957440404*x1**41+18566882873*x1**39-1088265300*x1**10+29943249139*x1**9+3160532878*x1**8+110919258*x1**7+1584505491*x1**3-2133682609*x1**2+11700952246*x1**17-12424469513*x1**16-426278523*x1**15+7561875663*x1**14+19494168654*x1**51-8174921854*x1**52+18073788685*x1**53-48441925739*x1**54-3850452489*x1**55-17753230977*x1**56-44973929094*x1**57+7332053562*x1**58-18246235652*x1**59+9980611956*x1**60+6961020716*x1**61-3323333429*x1**62-20693764726*x1**63+2577247520*x1**64-22463329638*x1**65-13528331424*x1**66+440594870*x1**67+778770195*x1**68+24497174109*x1**69-11578701274*x1**70-217623403*x1**71+16461882236*x1**72-6001481047*x1**73-5750277357*x1**74-16262001424*x1**75+13760397067*x1**76+12678193001*x1**77+29675566382*x1**78+1889202286*x1**79+12672890141*x1**80+26252749471*x1**81+25061328813*x1**82+20393397488*x1**83-6344703601*x1**84-12986831645*x1**85+10287410396*x1**86+18964048763*x1**87+9141433582*x1**88+9742202475*x1**89+1800283356*x1**90+9411879011*x1**91+13562767020*x1**92-3883570155*x1**93+1190623161*x1**94+4638169279*x1**95+10385086102*x1**96+10263027507*x1**97+5186524611*x1**98+1309311388*x1**99+2485463829*x1**40-14414308862*x1**38-2750892631*x1**37-34230002076*x1**36-21558061051*x1**35+2789684836*x1**100-9973372012*x1**34+12038293769*x1**33-2280622009*x1**32-14841292646*x1**13+4463462090*x1**12+11039962159*x1**11+20714527103*x1**31+29530802947*x1**30+4813620791*x1**29+8841198971*x1**6-4237029618*x1**5-1135211878*x1**4:;

q1 := -96986421453*x1**426-75230349764*x1**425+128202397899*x1**424+67687797741*x1**423+3024931260*x1**422+43589211963*x1**421+17028560437*x1**420+9502389896*x1**419+4613252773*x1**418+12194328527*x1**417-57222260166*x1**416+40667752907*x1**415+93728947357*x1**414+35662883623*x1**47-14000072723*x1**46-9724148606*x1**45-368500426*x1**174-66112223350*x1**173-44075800265*x1**172+7490450738*x1**171+51779005621*x1**170-64020260063*x1**169-35711451392*x1**192-13811036693*x1**191+38422996693*x1**190+78178593950*x1**189-26765678624*x1**188-36201354868*x1**187+2322225247*x1**24-4088975893*x1**23-5491427592*x1**22+66441957259*x1**333+132975753131*x1**332-25949991451*x1**331-18528608186*x1**330+34867243557*x1**329-86291867505*x1**328-23705975211*x1**327+28864997607*x1**326-29169139957*x1**325-72081734233*x1**324+16339897368*x1**323-36285833017*x1**322+38448532777*x1**321+5689122392*x1**320-11755215572*x1**113+27585680289*x1**112+42744050328*x1**111-19842208161*x1**110-15319380323*x1**109-9901465464*x1**108-5117699979*x1**107-46666019657*x1**106-9394133585*x1**105-6971615995*x1**104+6471181832*x1**114-93545055409*x1**347-52862770931*x1**346-17176975268*x1**345+102286955731*x1**344-108335379176*x1**343-49965250837*x1**342+70929683596*x1**341+43502762174*x1**340-21623476978*x1**339-48184795307*x1**338+147075382031*x1**337+2375821388*x1**336+73656068270*x1**335-36587627572*x1**334-46411968297*x1**477+117867456111*x1**476+21597655248*x1**475-96794140788*x1**474+39647492898*x1**473+34037992542*x1**472+46480360486*x1**471-83731284596*x1**470-95857281423*x1**469+6999736667*x1**468-38822852477*x1**467-130028027968*x1**466-14942819105*x1**465-44491532079*x1**464-136904650366*x1**450+127351380760*x1**449-127679332542*x1**448-43163228644*x1**447+130723680563*x1**446+20671214531*x1**445+28594103126*x1**444-20976472951*x1**443+51300798407*x1**442-136736402258*x1**441-70334716366*x1**440-15000956055*x1**439-62750491292*x1**438+80489844722*x1**451-72300799704*x1**373+85385725929*x1**372-36185314264*x1**371+40354846070*x1**370+100343908392*x1**369-64625422713*x1**368+64635098245*x1**367+148519100093*x1**366-2548271547*x1**365+81466612776*x1**364+4505982224*x1**363-27138600773*x1**362+33493048106*x1**361-24851820772*x1**28-10244897195*x1**27-4624820516*x1**26-7148687043*x1**25-31464114015*x1**44+4702632945*x1**43+7767686263*x1**42+42336900887*x1**399+3102221349*x1**398-70334528471*x1**397+64364012828*x1**396+2888804578*x1**395+128564212488*x1**394+46187560735*x1**393-22449464022*x1**392-10778814882*x1**391-12324659485*x1**390-29896766926*x1**389-81652748187*x1**388+83789647837*x1**387+117499172*x1**50+12296030709*x1**49-19192082610*x1**48-75325243338*x1**202-23708473101*x1**201-26628963155*x1**200+8750880100*x1**199+51496310059*x1**198-825543354*x1**197-55510698265*x1**196+360107673*x1**195+63114288079*x1**194+47841450181*x1**193-64231677271*x1**203-33846557625*x1**500+32003634503*x1**499-58125049485*x1**498-201024576939*x1**497-16961069022*x1**496-6460857023*x1**495+17540403418*x1**494+110942113017*x1**493+31743184966*x1**492-25555053476*x1**491+4508005212*x1+54592680578*x1**437-76412796528*x1**436+1877940561*x1**435-103704559046*x1**434+67584435952*x1**433-92743779936*x1**432+16830509289*x1**431+90333755240*x1**430+7491824203*x1**429-39217091446*x1**428+9937722888*x1**427-19900810770*x1**281+99196779*x1**280-16832864815*x1**279+12499571427*x1**278+45347289311*x1**277+71352470823*x1**276+43741436118*x1**275+37615792835*x1**274+46658948580*x1**273+33324303635*x1**272+73592650369*x1**271-67395425230*x1**270-9849537996*x1**269+66141877639*x1**268+123533283703*x1**360+23749744933*x1**359-158320760707*x1**358-96354447711*x1**357+74192188378*x1**356-12722639577*x1**355-5277964622*x1**354+27541514016*x1**353-15290636975*x1**352-56026626672*x1**351-83627404427*x1**350+134971538669*x1**349-70927614564*x1**348-30866959351*x1**21+23196788827*x1**20+14806487974*x1**19+7202161677*x1**18-77560240113*x1**168-97097519755*x1**167-7146671571*x1**166+74640588234*x1**165+44466905554*x1**164+54305760741*x1**163-42912777561*x1**162-53367072318*x1**161-53826227844*x1**160+58601558389*x1**159+46328377750*x1**158+50761112626*x1**157+45872218888*x1**156-2281730398*x1**155+17638972322*x1**41-18461568113*x1**39+138681011610*x1**186+37241543347*x1**185+6568392823*x1**184+51513027685*x1**183-7992856706*x1**182+76890726092*x1**181+42349995803*x1**180+56514811799*x1**179+39745228095*x1**178-5406867587*x1**177-1951053982*x1**176-5802216424*x1**175-50792201214*x1**463+6116297*x1**462+6556570017*x1**461+108055362490*x1**460-12691470210*x1**459+4182889988*x1**458-43791168823*x1**457+34631974035*x1**456-19719579134*x1**455+25960754189*x1**454+98225606953*x1**453+91031125129*x1**452-24988409414*x1**10-743558160*x1**9-1699950291*x1**8+2808610975*x1**7-48769244040*x1**154-96704849123*x1**153+111227374137*x1**152-14353055349*x1**151-3530455648*x1**150+67627044718*x1**149+48938383630*x1**148-36284076468*x1**147-36888035781*x1**146+21119495829*x1**145-7910849264*x1**144-12955332083*x1**143-45900441635*x1**142-13504842602*x1**3+6990226732*x1**2-104066823246*x1**294-33495506282*x1**293+14075627371*x1**292+98874306790*x1**291-60578180611*x1**290+4520025730*x1**289+11037329991*x1**288-61725490177*x1**287-81799020830*x1**286-7490987671*x1**285-53034900008*x1**284-18832528068*x1**283-41894083315*x1**282+37239574099*x1**217-19338020660*x1**216-12240694841*x1**215+43055454509*x1**214+40264787273*x1**213-5627707745*x1**212+65168034480*x1**211+60502488359*x1**210-43821281361*x1**209-66454240411*x1**208-2909056156*x1**207+28786587304*x1**206-30816172728*x1**205+33777871529*x1**204-190549103953*x1**490+76694110369*x1**489-2193972225*x1**488-15694566522*x1**487-5687638790*x1**486+108859908155*x1**485-10632768957*x1**484+59932596621*x1**483-128319694751*x1**482+9747184412*x1**481-46212670973*x1**480-241524000*x1**479-109350192806*x1**478-19351431004*x1**17-10992374349*x1**16+4266182503*x1**15+1491492502*x1**14-26936243598*x1**51+9140784640*x1**52-17235611114*x1**53+51043001177*x1**54+17375254851*x1**55+29087076273*x1**56+41034433851*x1**57-3776695101*x1**58+15602920815*x1**59-33931973560*x1**60-5394467773*x1**61-33356572049*x1**62+26987634076*x1**63-13728305358*x1**64-9103761879*x1**65-7718466644*x1**66-36314004427*x1**67-5838889357*x1**68-34997974374*x1**69+18394398361*x1**70+2693349321*x1**71+26120420097*x1**72+17127750642*x1**73-13997783088*x1**74-20592275154*x1**75-32678406375*x1**76-37626204617*x1**77-48378652006*x1**78+21054785420*x1**79-29131926756*x1**80+8395471553*x1**81+7784927438*x1**82+13009002197*x1**83-6234144809*x1**84-37572100716*x1**85-6593230199*x1**86+66776088000*x1**87+78828918914*x1**88+11091149924*x1**89+10549817427*x1**90+6921991220*x1**91-10162442680*x1**92-31105862688*x1**93+29905246284*x1**94+56641649019*x1**95+2729368709*x1**96-29516060802*x1**97-60463907529*x1**98-20589437573*x1**99-76023724773*x1**386-66294717897*x1**385+127893777713*x1**384-33654971374*x1**383+67124743823*x1**382-31169670568*x1**381-62445748947*x1**380-88066123018*x1**379-38626212646*x1**378-16479040877*x1**377-38277841666*x1**376-22265169452*x1**375-94473640391*x1**374-16848867764*x1**40+97436811*x1**38-11456803668*x1**37+29134819428*x1**36+19443677064*x1**35+115142334273*x1**308+56747688015*x1**307+25168740472*x1**306+13152212288*x1**305-44950776707*x1**304+76665344711*x1**303+29576368959*x1**302+32075973218*x1**301-9029375348*x1**300+6642245020*x1**299+91687715671*x1**298-51412655310*x1**297+83980703440*x1**296+46894388060*x1**295-5884703744*x1**141+2949366186*x1**140-94344563203*x1**139-49160316545*x1**138-32150373572*x1**137+12194208956*x1**136+6964141193*x1**135-33897455084*x1**134+10261728181*x1**133-55302581972*x1**132+21255450769*x1**131-36152255205*x1**130-15653019958*x1**129+35552230340*x1**128+19003739378*x1**244+108435248514*x1**243+56090919989*x1**242+69228227868*x1**241+91831598024*x1**240-17331067829*x1**239+85583813531*x1**238+23101424573*x1**237-81857540502*x1**236-36120008211*x1**235+5734833290*x1**234-18668026178*x1**233-49074512287*x1**232+17073277846*x1**413+30247783286*x1**412-165671844164*x1**411-155653969476*x1**410-187279578486*x1**409+39531046142*x1**408-27411804632*x1**407+29944561569*x1**406-111402223051*x1**405-154854505413*x1**404-40754859947*x1**403-42933459998*x1**402-49470282393*x1**401+47851831012*x1**400+14974328774*x1**100+35782130492*x1**267-46375317876*x1**266+35773383758*x1**265+20027063447*x1**264+21061029248*x1**263+39184671316*x1**262-90547480531*x1**261-66296134219*x1**260-17351793087*x1**259+32060807026*x1**258+94792744023*x1**257+49960952178*x1**256-56558329066*x1**255+24220170558*x1**34+13174400153*x1**33-32599593323*x1**32+68703378390*x1**127+7209203154*x1**126+53371357578*x1**125+29055746831*x1**124+7953940336*x1**123+58282173183*x1**122+9572688731*x1**121+18717721630*x1**120-73554904502*x1**119+3118816831*x1**118+14413362310*x1**117+5342856589*x1**116+19553114613*x1**115+21062039154*x1**102-554311514*x1**101-22619708092*x1**103+61239109029*x1**254-3920281128*x1**253-78250174682*x1**252-54555413490*x1**251+115877792898*x1**250+43662559749*x1**249-120143669223*x1**248+50903904162*x1**247+11038501743*x1**246-77319776228*x1**245+32754289554*x1**13+9140139237*x1**12-5050784936*x1**11-28608214851*x1**319-115868216966*x1**318+21037102483*x1**317-40760242975*x1**316-97849927912*x1**315+97524668075*x1**314+15492130497*x1**313-109577284825*x1**312-15523330582*x1**311+53171617167*x1**310+2760321123*x1**309+11953881518*x1**31-4644794034*x1**30+8900679779*x1**29+3038154286*x1**6-1713528498*x1**5-1682288772*x1**4-48992402174*x1**231-74205154963*x1**230-12320683295*x1**229+2580030624*x1**228+64073843802*x1**227+98985527674*x1**226+27217405490*x1**225-4798940390*x1**224-40677318547*x1**223+22320424589*x1**222-40460537540*x1**221-2484720173*x1**220+91568547773*x1**219-30440775257*x1**218-20925478361*x1**501-55379150825*x1**502+41318859160*x1**503-201803259151*x1**504+24491832146*x1**505+11945310232*x1**506+16801030141*x1**507-85919705432*x1**508-204400811240*x1**509+108827759662*x1**510-7434778800*x1**511+11930243788*x1**512+52620104622*x1**513+2896973876*x1**514-62777820856*x1**515-58602826569*x1**516+133850541568*x1**517-141993258526*x1**518+23529758012*x1**519-49454155126*x1**520+48873695726*x1**521-4147628780*x1**522+37394108608*x1**523+47603927637*x1**524-24791421698*x1**525+227326835801*x1**526-14216866536*x1**527+18576010707*x1**528-21047691775*x1**529+41343039994*x1**530+54576723923*x1**531-93293864449*x1**532-33311213168*x1**533-121363092547*x1**534+33716301298*x1**535-141040357184*x1**536+51729666523*x1**537+47937306583*x1**538+59972281522*x1**539-118977051593*x1**540+67621432194*x1**541+49510957189*x1**542-18373445363*x1**543+77268324211*x1**544-133652596329*x1**545-33419335873*x1**546-427835316*x1**547-53735861227*x1**548-18820033537*x1**549+39133250886*x1**550-56649816582*x1**551+39906553346*x1**552-38346679560*x1**553-21315694546*x1**554-5783912402*x1**555+27780723169*x1**556-38733479148*x1**557-105931482172*x1**558-96741538387*x1**559-49387589876*x1**560+8867816401*x1**561+49087289355*x1**562+1454848177*x1**563+33306828689*x1**564-99246716946*x1**565+37769469573*x1**566+32186219432*x1**567-11308309096*x1**568+18668048060*x1**569+49786290189*x1**570+18415965909*x1**571+3684081565*x1**572-4772411978*x1**573+29967501107*x1**574+88125664232*x1**575-45402703990*x1**576-17923494443*x1**577-66856091994*x1**578+52497931423*x1**579-38961224535*x1**580-37418352186*x1**581+49679845815*x1**582-57132928134*x1**583+59226638697*x1**584-154438376054*x1**585-33182700061*x1**586-29726913945*x1**587-69912710958*x1**588-35066505635*x1**589+12117333556*x1**590+90618649713*x1**591+25641508805*x1**592-14360015792*x1**593-2388909185*x1**594-66943383926*x1**595+74263398539*x1**596+143519268530*x1**597+69955222853*x1**598+93655324812*x1**599+95865179464*x1**600+26117219984*x1**601+125957153927*x1**602+85643852758*x1**603+42892120680*x1**604-21713462866*x1**605+14954939220*x1**606+10043903038*x1**607+75469410317*x1**608-51837119306*x1**609+15040917218*x1**610+20377338352*x1**611+31441679566*x1**612-83915039746*x1**613+26252571519*x1**614-503634581*x1**615+26287902963*x1**616-93906462389*x1**617-31633190464*x1**618+89968162928*x1**619-170991982775*x1**620+83899910708*x1**621+106560970300*x1**622-44686742795*x1**623+15837336057*x1**624+40628901174*x1**625+45734331636*x1**626+33015259104*x1**627+98460164072*x1**628-42946149377*x1**629-7628175548*x1**630+19113794084*x1**631-41069464410*x1**632+14600883385*x1**633-39765610904*x1**634+15187751854*x1**635-64373116881*x1**636+57427180760*x1**637-54359632537*x1**638-64614552532*x1**639+33179178357*x1**640+48320365071*x1**641-11056685372*x1**642+38160121363*x1**643-103617462479*x1**644-2932820983*x1**645+55149815103*x1**646+2425431294*x1**647-56577206559*x1**648+16057758155*x1**649+35778946395*x1**650-48176618659*x1**651-64696379262*x1**652-22620871596*x1**653+58425156881*x1**654+44785934533*x1**655+80551487292*x1**656+54031151324*x1**657-5670209695*x1**658+17381996998*x1**659-19820657597*x1**660+21974450271*x1**661-82269840114*x1**662-37921867307*x1**663+36456465218*x1**664-83294486767*x1**665-15913209110*x1**666-41870399203*x1**667+75486284992*x1**668-69200721639*x1**669+71593232147*x1**670-24896238679*x1**671+12917620475*x1**672+83950160209*x1**673-49426619038*x1**674-75127058039*x1**675+54011881154*x1**676+37241246401*x1**677-57745731856*x1**678+139894949202*x1**679+81749104336*x1**680+19047569663*x1**681-3263108647*x1**682+27211133766*x1**683-122451257494*x1**684-8555594792*x1**685+33253239722*x1**686-107349740514*x1**687+51092807913*x1**688+4057189648*x1**689-93256950011*x1**690+55162355472*x1**691-61816339842*x1**692+16885083096*x1**693-121751819826*x1**694+50639115264*x1**695+77247288431*x1**696+22943813602*x1**697+33215869090*x1**698-58975325286*x1**699-157199542515*x1**700+87871148892*x1**701-28766482795*x1**702-29747811055*x1**703-68956086160*x1**704+65220950625*x1**705-21662209987*x1**706+37272639173*x1**707+96801516469*x1**708-71318240058*x1**709+51218503786*x1**710+89676365367*x1**711-74236109343*x1**712+73239144110*x1**713+74363608320*x1**714+9145207269*x1**715-43125847627*x1**716+45624962357*x1**717-87121922253*x1**718-16301512498*x1**719-74699639223*x1**720+10858510024*x1**721-49718828989*x1**722+69188784202*x1**723-57283163802*x1**724-25240946842*x1**725-18848125183*x1**726+30824101946*x1**727+28131925069*x1**728-4523237314*x1**729-21708406770*x1**730+16572200087*x1**731+33901545283*x1**732+36570946377*x1**733-85342952665*x1**734-11024354222*x1**735-52996875075*x1**736+2850866301*x1**737+584390938*x1**738-15576643293*x1**739-19952462826*x1**740+118150124588*x1**741-30970777574*x1**742-65402936216*x1**743+59841029763*x1**744-45851459883*x1**745-27905618565*x1**746+9407727592*x1**747+74081843028*x1**748-36908923676*x1**749+33404180933*x1**750-12010832118*x1**751-27598133503*x1**752-18631604127*x1**753+110706117529*x1**754-58260993047*x1**755+92000371551*x1**756-3544997753*x1**757-24026345516*x1**758-5326405854*x1**759+78096319892*x1**760-597358210*x1**761-35334977036*x1**762+27768304059*x1**763-27110809247*x1**764-73612582334*x1**765+107609364617*x1**766-59301141886*x1**767+23970324440*x1**768-29060060082*x1**769+68777102577*x1**770-132377413827*x1**771+22754238015*x1**772-32129043594*x1**773-64999432548*x1**774-19372762078*x1**775+31184492389*x1**776-10477627638*x1**777+50023457084*x1**778+47413007239*x1**779-26371384083*x1**780+60690219120*x1**781+19239801238*x1**782-83296732353*x1**783+1369782155*x1**784+39528998233*x1**785+89322610585*x1**786-14469114718*x1**787+61444882143*x1**788-27268007305*x1**789-66782025565*x1**790+72559382333*x1**791-58375896558*x1**792-59019888869*x1**793+59537001845*x1**794-7672146710*x1**795+46071362979*x1**796+43864876841*x1**797-38389399338*x1**798+12445498240*x1**799+22445421945*x1**800-19867191482*x1**801+29695639763*x1**802-439060343*x1**803-14548926177*x1**804+6493137958*x1**805-26475885652*x1**806+17199673294*x1**807-14472466294*x1**808-3972443858*x1**809-6694412444*x1**810-27845179245*x1**811+69564423337*x1**812-1242944956*x1**813+71753847110*x1**814-110162491247*x1**815+28760590961*x1**816-45033514586*x1**817+20432605842*x1**818-2254902164*x1**819-18122426841*x1**820+39792310652*x1**821-16010785979*x1**822-29809849055*x1**823+9525854977*x1**824+17249950273*x1**825-10134672379*x1**826+20583429199*x1**827+24105975389*x1**828+7878147881*x1**829+7805909361*x1**830+24860098133*x1**831-5072168506*x1**832+40045803265*x1**833+42779485436*x1**834-13432875572*x1**835+88161293341*x1**836+91355873384*x1**837-1467257349*x1**838+11158963816*x1**839+9583583914*x1**840+31122429769*x1**841-40482720803*x1**842-4081869019*x1**843-57902352430*x1**844+16964780747*x1**845-29060953772*x1**846-69504616419*x1**847-61121483464*x1**848-46713891301*x1**849+44904999298*x1**850-69604536083*x1**851-11337020865*x1**852+294505024*x1**853-47318977509*x1**854+3027572134*x1**855+21339618482*x1**856-15853149005*x1**857+16285335552*x1**858+40110182790*x1**859-18341657161*x1**860+49887789936*x1**861-33552701768*x1**862+46385081780*x1**863-981469808*x1**864+41200826158*x1**865+10777507154*x1**866-14950519144*x1**867+40419646263*x1**868-53741450130*x1**869-22868517477*x1**870+45151817598*x1**871-19543438862*x1**872+3955972510*x1**873+54752188479*x1**874+21656278056*x1**875-37418558367*x1**876+46148554703*x1**877-47291859633*x1**878-60826337453*x1**879-95667516424*x1**880-25153078038*x1**881-110893670927*x1**882+36745227210*x1**883+24891033298*x1**884+13329786568*x1**885+1662662627*x1**886+11971271338*x1**887+17144987144*x1**888-2615988799*x1**889-28070812835*x1**890+37844104025*x1**891+4209715470*x1**892+20489525484*x1**893-34750326173*x1**894-26930924040*x1**895+28807856566*x1**896-67232744129*x1**897+21557992547*x1**898-7466474096*x1**899-29460379882*x1**900+11599719084*x1**901+67152781205*x1**902+8214925141*x1**903-36941792660*x1**904+53285909119*x1**905+25945946437*x1**906-50737201760*x1**907-3797518282*x1**908-14516581381*x1**909+17052064867*x1**910+49668098832*x1**911-25564508274*x1**912-27386697676*x1**913-11774383518*x1**914-493156372*x1**915+13331359952*x1**916+18215828822*x1**917-1703765835*x1**918-25637155270*x1**919+16201914729*x1**920+58046441105*x1**921-63259400427*x1**922+67373094341*x1**923-10917543441*x1**924+12944714407*x1**925-330113187*x1**926+16734740522*x1**927+2893980284*x1**928-32842296951*x1**929+36608286601*x1**930-15595841*x1**931+16778173120*x1**932-19939580967*x1**933-9051600178*x1**934-35290902058*x1**935+13004524714*x1**936-41266776816*x1**937+12920294247*x1**938+1269376803*x1**939-5513768295*x1**940+12475046328*x1**941+31918641624*x1**942+66368453249*x1**943-897770392*x1**944+40506291484*x1**945+6825383600*x1**946-210725476*x1**947+23275280063*x1**948-5947164362*x1**949-28808686423*x1**950+4353896571*x1**951+10244426548*x1**952-7839372567*x1**953+30532389165*x1**954-3403582670*x1**955+45380086128*x1**956-13074314129*x1**957+28545325753*x1**958-5842784212*x1**959-26959506281*x1**960+6604365268*x1**961-32138117276*x1**962-15682414365*x1**963-4133390557*x1**964-12416495535*x1**965-2929737653*x1**966-19993300065*x1**967+11247744076*x1**968+3841401771*x1**969+25671473626*x1**970-7838123767*x1**971+3182563094*x1**972-23190705393*x1**973+25687775853*x1**974+4991068675*x1**975+9883795932*x1**976-9640729721*x1**977-9525700462*x1**978+18936689098*x1**979-1080031439*x1**980+21713668278*x1**981-16017536235*x1**982+10320999730*x1**983-6460201416*x1**984-1480416714*x1**985+1153896503*x1**986-9970475903*x1**987-1255301536*x1**988+7891254981*x1**989+6703945740*x1**990+6810250661*x1**991+1856482568*x1**992+8149237774*x1**993+7008509831*x1**994+6006570629*x1**995+6726792746*x1**996+4503145470*x1**997+91649222*x1**998+3092691860*x1**999+2111130448*x1**1000+7931022064:;

q2 := 13695560229*x1**426+16181971852*x1**425-90237548124*x1**424-71238644589*x1**423-54046636289*x1**422-56977010004*x1**421+24652773038*x1**420+20598565048*x1**419+91475303480*x1**418-84971121323*x1**417-113672677125*x1**416+175104489886*x1**415+24909134379*x1**414+6097498021*x1**47-184800727*x1**46-20666602129*x1**45-11384394640*x1**174-39167969192*x1**173+32831872664*x1**172-414425301*x1**171+26088535929*x1**170+35596493049*x1**169+30563227841*x1**192+11577650926*x1**191-43191322527*x1**190+12086295210*x1**189+23955571873*x1**188-25298685458*x1**187-28444834807*x1**24+7010388904*x1**23-29006384328*x1**22-84330871264*x1**333+9836257003*x1**332+37640357302*x1**331+17905116770*x1**330-130251115515*x1**329-95978501346*x1**328+19514981244*x1**327-106652197296*x1**326+35941298261*x1**325+57388442425*x1**324+44763228998*x1**323+51086800775*x1**322-87113853021*x1**321+63617860368*x1**320-65881485345*x1**113-14717773249*x1**112-30051082488*x1**111-16699273079*x1**110+52386582094*x1**109-51477006365*x1**108+86299667628*x1**107+33339117727*x1**106-11189599026*x1**105+15726918*x1**104-21825360566*x1**114-31322461593*x1**347+65284435509*x1**346-17301191144*x1**345+15734564143*x1**344+23681004128*x1**343+134055240076*x1**342-63495561637*x1**341+69119399187*x1**340+15761017924*x1**339+62192334766*x1**338+76140614307*x1**337+48592812810*x1**336-78591910551*x1**335+5387039994*x1**334-20627179048*x1**477+30863999178*x1**476-81087236312*x1**475-75933164205*x1**474-33082131999*x1**473+45384435920*x1**472+116792836581*x1**471+116973440762*x1**470-58617873216*x1**469+16707117530*x1**468+70585482190*x1**467-25245695981*x1**466+21964655001*x1**465+156326246149*x1**464+50572629272*x1**450+15562656594*x1**449-31384475178*x1**448+28806488822*x1**447+98379780384*x1**446-8577150468*x1**445-241997040784*x1**444+44292557638*x1**443-41043057929*x1**442+43426121636*x1**441+73421002043*x1**440-122245378325*x1**439+666183816*x1**438-140210723957*x1**451+33590048221*x1**373+175101192821*x1**372+70736972554*x1**371-92048656022*x1**370-3495793191*x1**369-86224980665*x1**368-67443623327*x1**367+32314536775*x1**366-28883186212*x1**365+5111742127*x1**364+121792145390*x1**363+37030667675*x1**362-4097118072*x1**361+22857776248*x1**28-12136573216*x1**27+20442780080*x1**26+25846700052*x1**25+13425491987*x1**44-51594114984*x1**43-4377477922*x1**42-43041382453*x1**399-57661186745*x1**398-22359325055*x1**397+20325429303*x1**396+69035457782*x1**395+87685373045*x1**394+24365492495*x1**393+29684393262*x1**392+48430131525*x1**391-695625227*x1**390+20950623212*x1**389-11707096914*x1**388+27698204708*x1**387-17709284679*x1**50-23800618055*x1**49+58495527083*x1**48+14753967994*x1**202-7917376913*x1**201-7656165582*x1**200+44410996825*x1**199+27191475903*x1**198-65422047389*x1**197-14819333083*x1**196-1269092109*x1**195-23263288526*x1**194+23503451557*x1**193-45722872111*x1**203+18051733352*x1**500-125499139260*x1**499-36395631156*x1**498-59637301917*x1**497+105481548989*x1**496+75797493110*x1**495+32239299835*x1**494+11835972529*x1**493+116574982204*x1**492-51868336172*x1**491-9265203432*x1-39597713836*x1**437+113015935234*x1**436-153556796338*x1**435-4853604252*x1**434+97729740048*x1**433-33063566031*x1**432+126719186003*x1**431-74175775603*x1**430-42715005191*x1**429+32714632165*x1**428+76253488404*x1**427-22147870587*x1**281-17004010435*x1**280-17534946529*x1**279+39828373720*x1**278+52099668150*x1**277+55016917354*x1**276-27029028714*x1**275+1832097078*x1**274-60942810739*x1**273+47857879747*x1**272-51278864730*x1**271-5222780191*x1**270-5898650096*x1**269-21678273747*x1**268-21425566464*x1**360+39916245264*x1**359-48631849103*x1**358-15434842369*x1**357-11776709827*x1**356+21409992004*x1**355+60368342836*x1**354-70458747506*x1**353+18437371892*x1**352-51315223539*x1**351-105763188874*x1**350-41326464493*x1**349+26384980460*x1**348-6783761138*x1**21+21334689185*x1**20-12549566198*x1**19+27317791211*x1**18-21543723029*x1**168-39565879160*x1**167-85203918111*x1**166-6431356158*x1**165+7131456890*x1**164+56067799364*x1**163-65758483287*x1**162+14185002785*x1**161+4476126737*x1**160+58098059740*x1**159-15413944760*x1**158-21400285509*x1**157+39120970417*x1**156+41014228126*x1**155+13550191011*x1**41+1778606821*x1**39-41861155597*x1**186-87150315050*x1**185+60380468445*x1**184+11245803100*x1**183-107391972561*x1**182-15954816780*x1**181-55185898305*x1**180-51517237471*x1**179+1349603646*x1**178+39890682017*x1**177+73058970151*x1**176-88252631077*x1**175+8225838344*x1**463-52845822946*x1**462-84438483052*x1**461-17729797211*x1**460-98562969717*x1**459-82399019651*x1**458+104524956499*x1**457-126683869629*x1**456+21367403421*x1**455+36131797666*x1**454-137807476393*x1**453-94740863919*x1**452+1868123354*x1**10+6382151694*x1**9-14641898053*x1**8+21502452426*x1**7-4475582501*x1**154+8381680030*x1**153+1999803400*x1**152-89024997066*x1**151+38794061551*x1**150-47355124077*x1**149-43574475045*x1**148+981109162*x1**147+13077105992*x1**146-92234719034*x1**145-22003948923*x1**144+65545791087*x1**143-21673710856*x1**142-3360829230*x1**3-5213505618*x1**2+12467729502*x1**294-5587793663*x1**293+6216249569*x1**292+1442921644*x1**291+37867507103*x1**290-31492290101*x1**289-14673167737*x1**288+33015189422*x1**287-2704565484*x1**286+95174488990*x1**285-54217068575*x1**284+44084204773*x1**283-36577262466*x1**282+10376879211*x1**217-20844169749*x1**216-63109698641*x1**215+15376432884*x1**214-21978305305*x1**213+13899584470*x1**212+139241561028*x1**211-44664654159*x1**210+2599647517*x1**209+76562835916*x1**208+18920601168*x1**207+45165432827*x1**206-13822292860*x1**205-25195536685*x1**204+2953366208*x1**490+62275626307*x1**489+44809710519*x1**488+111073061078*x1**487+76178250211*x1**486+4726676962*x1**485-16307384*x1**484+25134354985*x1**483+35561572012*x1**482-77940816336*x1**481+14820209996*x1**480-8713117577*x1**479+138978861424*x1**478-900952782*x1**17-15341289507*x1**16-12806716201*x1**15+9443970355*x1**14-5790259982*x1**51-12187496620*x1**52+14358577261*x1**53+16962500513*x1**54+25955497814*x1**55-18109191113*x1**56-47942729935*x1**57-25726536005*x1**58-22107331394*x1**59-26777218680*x1**60+9526384172*x1**61-2329994611*x1**62-797667779*x1**63+9992192122*x1**64-10517453590*x1**65+79225602882*x1**66+37973423762*x1**67-14732143550*x1**68-10707214185*x1**69-20734263762*x1**70+32036697598*x1**71-15304882544*x1**72-8663047826*x1**73+15796475487*x1**74-15625754764*x1**75-1806722698*x1**76-13992042720*x1**77+24071578801*x1**78-1460871729*x1**79-35556467385*x1**80+6278675758*x1**81+28441859025*x1**82-21446356551*x1**83-22846651633*x1**84+10847836941*x1**85+4499336468*x1**86+128532189*x1**87+4158071015*x1**88+5253407021*x1**89+29777404725*x1**90-26059465923*x1**91-40927448548*x1**92-25096489123*x1**93+53387092350*x1**94-3391739440*x1**95+19640218031*x1**96-55211392254*x1**97-25873270895*x1**98-9727303835*x1**99+106230698908*x1**386-15945119461*x1**385-17935823635*x1**384-53556374993*x1**383-109640641868*x1**382-59714904671*x1**381-122191901431*x1**380+9957955506*x1**379+149517895199*x1**378+48813595534*x1**377+54994058521*x1**376-43911659492*x1**375-40228007707*x1**374+374490216*x1**40+8496344002*x1**38+21128346388*x1**37-492653491*x1**36-26347609411*x1**35+92580385617*x1**308+5753392383*x1**307+72418711676*x1**306-36955820476*x1**305-2443808280*x1**304+51138244830*x1**303+19081895493*x1**302-777541237*x1**301+42995124541*x1**300+43654667628*x1**299-26268273836*x1**298-61864683651*x1**297+64621393027*x1**296-51924046581*x1**295-25603791079*x1**141-23477310146*x1**140+4635174703*x1**139-2883430101*x1**138+565462517*x1**137+29217704662*x1**136+40502985228*x1**135-5190429488*x1**134-815731986*x1**133-18342727081*x1**132+14168171180*x1**131+72498842324*x1**130+19120698858*x1**129+3448048300*x1**128-42150729253*x1**244-59646966806*x1**243+25136726637*x1**242-58312463169*x1**241+13429294186*x1**240-68028026326*x1**239-1855231812*x1**238+67042351401*x1**237-24141943642*x1**236-108693143246*x1**235-42010041207*x1**234+48918679823*x1**233+72331711491*x1**232-40303836579*x1**413-8185236331*x1**412-90945546891*x1**411-105388424000*x1**410+37156268112*x1**409-38869414179*x1**408+87460111563*x1**407+70482270872*x1**406-73257224213*x1**405-67165510452*x1**404-45616617911*x1**403+47409747378*x1**402-10941088271*x1**401-72305864589*x1**400+18141927617*x1**100-27919403621*x1**267-75002469491*x1**266-45875064276*x1**265-18838130679*x1**264+15478573827*x1**263+17341560325*x1**262+54857986683*x1**261+88131799297*x1**260-76999127565*x1**259-66198972699*x1**258+48106377422*x1**257-77285757762*x1**256+1624330315*x1**255+3841588365*x1**34+30013218950*x1**33-5340125031*x1**32-37334201612*x1**127-59895558088*x1**126-16505068767*x1**125+33919294466*x1**124+40944166758*x1**123+24536748508*x1**122-51786214663*x1**121+49057258571*x1**120+5860208924*x1**119-16197153571*x1**118+20745014792*x1**117+1859432439*x1**116+1336798052*x1**115+25319297625*x1**102+15443752161*x1**101+15888204012*x1**103+5268537528*x1**254+13437751905*x1**253+55130661310*x1**252-56945656856*x1**251-53187848971*x1**250+36792199923*x1**249+65889482847*x1**248+54676062204*x1**247+9373444102*x1**246+82778707527*x1**245-1155729565*x1**13+10818690967*x1**12-3151299763*x1**11-113435197911*x1**319+36460320856*x1**318+31533841659*x1**317+59374192238*x1**316+36714124360*x1**315-46466864464*x1**314+57939540988*x1**313-117051043786*x1**312+6908217352*x1**311+119695096985*x1**310-37288034834*x1**309+32155729060*x1**31+10298011464*x1**30-10817352548*x1**29-4579078917*x1**6+1775874428*x1**5+930697362*x1**4-27139276488*x1**231-12815380034*x1**230+109060553835*x1**229-3147654703*x1**228-69338296876*x1**227-2295143261*x1**226+88918309431*x1**225-52677961098*x1**224-4339428106*x1**223+39692513052*x1**222+2368222659*x1**221-12821485264*x1**220+40810501984*x1**219-3135618321*x1**218-3478620156+121642846747*x1**501-30077710643*x1**502+135206627500*x1**503+80788885407*x1**504+4294142336*x1**505+60113761961*x1**506-52525711241*x1**507-67661624614*x1**508-19690589512*x1**509+17662010567*x1**510+46484264868*x1**511-49055110297*x1**512+105429732598*x1**513-159310387634*x1**514-34712567266*x1**515+17939009679*x1**516+10058720567*x1**517+189648210622*x1**518+178503051946*x1**519+40612030324*x1**520+69140480072*x1**521-19608267751*x1**522-132451377221*x1**523-101549814781*x1**524+50009385834*x1**525-35218480373*x1**526-108625790743*x1**527+18136907263*x1**528-179938816243*x1**529-15427215352*x1**530-67053449940*x1**531+47014300252*x1**532-119829185605*x1**533-31934518648*x1**534+44603663143*x1**535-51498133528*x1**536-3111728028*x1**537+27910834213*x1**538-26950819455*x1**539-15441994785*x1**540-109737641439*x1**541+6588852171*x1**542-38378954724*x1**543+4250430490*x1**544+21653035413*x1**545-90519813297*x1**546+218486022762*x1**547+15816240641*x1**548+27772488593*x1**549-46868203601*x1**550-692131251*x1**551-21710665882*x1**552-3789275125*x1**553+35568459021*x1**554-145437381161*x1**555+104188652886*x1**556+11967964256*x1**557+32234710722*x1**558+51264850939*x1**559+19578428472*x1**560-6653459610*x1**561+78776159254*x1**562-90902552066*x1**563+32028754344*x1**564-16371374875*x1**565+43915617220*x1**566-40979866127*x1**567-113279807002*x1**568+41056504620*x1**569+87062936546*x1**570+84540227360*x1**571+176182414158*x1**572+126129784646*x1**573-18113497064*x1**574+95632973430*x1**575-61835186044*x1**576-1094266284*x1**577-25548526606*x1**578-16286188041*x1**579+23652588125*x1**580+99748065654*x1**581+89189400499*x1**582-84281188422*x1**583-24822510820*x1**584-89019899561*x1**585+17299853927*x1**586+37447146519*x1**587-52389168891*x1**588+60307425654*x1**589+105423385125*x1**590-16151503989*x1**591+51669035353*x1**592+25896930669*x1**593+68125207997*x1**594-48076475979*x1**595+49080185222*x1**596-114085618440*x1**597+62417918964*x1**598-29972805919*x1**599+102994192965*x1**600+9470661387*x1**601-65249001543*x1**602+101392509369*x1**603+13718716428*x1**604+38937251889*x1**605-65562594382*x1**606+66443969710*x1**607+18877176302*x1**608-31358768559*x1**609+82684433809*x1**610-35507835802*x1**611+123781293747*x1**612+31262151912*x1**613-38249975546*x1**614+3925377499*x1**615-9663279445*x1**616+65505212623*x1**617-38333318816*x1**618-10947904682*x1**619-33057241878*x1**620+137158617657*x1**621+82280949071*x1**622-144548051021*x1**623+26049388729*x1**624+120972835647*x1**625+22919074287*x1**626+21809122232*x1**627+38807820245*x1**628-35626871745*x1**629+61073211657*x1**630+10263794194*x1**631-87779372272*x1**632+122409165273*x1**633-71973533044*x1**634-16220803574*x1**635+190684171230*x1**636+39466031010*x1**637-28535534784*x1**638-129018222849*x1**639-83527842222*x1**640+12242673643*x1**641-69609384363*x1**642+110212358649*x1**643+165584710235*x1**644+83720551042*x1**645-46594433050*x1**646-25255661563*x1**647-32840172649*x1**648+38437706003*x1**649+24359981454*x1**650+103816698072*x1**651+35342491654*x1**652+99935819866*x1**653-76900534968*x1**654+9187154790*x1**655-21467901456*x1**656+11271802560*x1**657+2793048339*x1**658+156900676156*x1**659-71757864537*x1**660+69068834560*x1**661-21725605511*x1**662+20565641172*x1**663-17160005713*x1**664-28846431158*x1**665-63820679105*x1**666+67344279329*x1**667+17417509088*x1**668-49749571514*x1**669-149526619276*x1**670+63726307333*x1**671+47868397878*x1**672-152430070*x1**673-98024226774*x1**674-5900709150*x1**675+35049382555*x1**676+45151856490*x1**677-74725155328*x1**678+85550840075*x1**679-28035942909*x1**680-26105359645*x1**681+8366135944*x1**682-61065262686*x1**683-11480596600*x1**684+66582786332*x1**685+31934448191*x1**686-4555392418*x1**687+21122866405*x1**688+98576196894*x1**689-67653329405*x1**690+23891408534*x1**691-97842890368*x1**692-38880790121*x1**693+31989951820*x1**694-85233731747*x1**695+81476023995*x1**696+13150343534*x1**697+34515945612*x1**698-28479873758*x1**699+7200965291*x1**700+22962247818*x1**701+31245755201*x1**702-7231787902*x1**703+20078549142*x1**704+112814365060*x1**705-37906130331*x1**706+119341166775*x1**707-4419273787*x1**708-136935403112*x1**709-42320208584*x1**710-76243411849*x1**711-85094494474*x1**712+62345894287*x1**713+123330307888*x1**714-28416874429*x1**715-8930496064*x1**716-27860939118*x1**717-67479134742*x1**718+63217142335*x1**719-104983862154*x1**720+63261675838*x1**721+29568447967*x1**722+5532882614*x1**723+7122613368*x1**724-75015246457*x1**725+27623940192*x1**726-71280327669*x1**727+63881717913*x1**728-64602087729*x1**729+55116167817*x1**730-37894641441*x1**731+24570439656*x1**732+60506453909*x1**733-56693236822*x1**734+65202309407*x1**735+48657462670*x1**736+7020063399*x1**737-14972937697*x1**738+14832651654*x1**739+38685418056*x1**740-120977459366*x1**741+128129373977*x1**742-93004438817*x1**743+21708662393*x1**744-42256337713*x1**745-74943652142*x1**746+13089216312*x1**747-68161772735*x1**748-9184732864*x1**749-36881334485*x1**750+12849929766*x1**751-14616276010*x1**752-117623139884*x1**753+85738538127*x1**754-39397879206*x1**755-41203911145*x1**756+17752041163*x1**757-28528185854*x1**758-75782937817*x1**759+58967984992*x1**760-46501383932*x1**761-30160463545*x1**762+9264824504*x1**763-61240651988*x1**764+46332296135*x1**765-36374812215*x1**766-33996335903*x1**767+38748904012*x1**768+16692416615*x1**769-24682633336*x1**770-101120634096*x1**771-16383524365*x1**772-9803993525*x1**773-41138860891*x1**774+6438402836*x1**775+15150248922*x1**776+37535375473*x1**777+38243096134*x1**778+42990687315*x1**779+6806571489*x1**780-98981551731*x1**781+48378556460*x1**782-20305038281*x1**783-19970849999*x1**784-32199627381*x1**785-33726111417*x1**786+26825654676*x1**787+61472162609*x1**788-52262572570*x1**789+6245081045*x1**790+37192923285*x1**791-36188152777*x1**792-37778625393*x1**793+26152618527*x1**794-18379411727*x1**795-16240247039*x1**796+45087181394*x1**797-124867049408*x1**798-107527500523*x1**799-24928581030*x1**800+19049432356*x1**801-47425859030*x1**802+94662514506*x1**803-83733870803*x1**804+24856672813*x1**805-94427622673*x1**806+243768097*x1**807+12589141374*x1**808+41959344927*x1**809+18983184801*x1**810+42147767843*x1**811+69911314756*x1**812+41515466302*x1**813-25611533183*x1**814+20697173226*x1**815-23226268622*x1**816-3460976233*x1**817+19330241623*x1**818+53475160447*x1**819-2631042112*x1**820-9676147438*x1**821-48282043682*x1**822-90120418937*x1**823+48976788717*x1**824-7320635080*x1**825-31580257870*x1**826-40998967997*x1**827-9980407645*x1**828+66749588012*x1**829+7524200886*x1**830+14940938828*x1**831-28733285670*x1**832+61208670468*x1**833-46627324765*x1**834-324835109*x1**835-104056679115*x1**836+29480632050*x1**837-22586403838*x1**838+40186158836*x1**839+15807331652*x1**840-32196192662*x1**841+4141096053*x1**842-23428399361*x1**843-68414521546*x1**844-39195126416*x1**845+20150874189*x1**846+70929847486*x1**847+15213160735*x1**848-209188024*x1**849-55922045928*x1**850+31518449658*x1**851+9332299671*x1**852-61000802604*x1**853+42494294179*x1**854+333778076*x1**855+21847051495*x1**856-53208254853*x1**857+41428747135*x1**858-13241351753*x1**859-16608043286*x1**860+9621250261*x1**861+25806175298*x1**862-21297665820*x1**863-14032790352*x1**864-18013819490*x1**865+15757760316*x1**866+17003024240*x1**867-30013032879*x1**868+30760011284*x1**869-13804439291*x1**870-51756563292*x1**871+51909198130*x1**872-29495505438*x1**873+7110464993*x1**874-36258305774*x1**875-9149267274*x1**876-30428902968*x1**877-48039515073*x1**878-34750047014*x1**879+7876564124*x1**880-45028260612*x1**881+29426481275*x1**882+36322178879*x1**883+55350571320*x1**884-72386726651*x1**885+23215477084*x1**886-95129391342*x1**887-62068317572*x1**888-5131982570*x1**889+25120942005*x1**890+47570343070*x1**891-16931626769*x1**892+32866462223*x1**893+75548504697*x1**894-48026152317*x1**895-33748968072*x1**896-1682061382*x1**897+8180943332*x1**898+19356108993*x1**899+7145333263*x1**900+22433305927*x1**901+18401298176*x1**902-46765206984*x1**903-19742304183*x1**904-48845002624*x1**905-27099816961*x1**906+23031415252*x1**907-4460429941*x1**908-14418681720*x1**909-41227198785*x1**910-10148524063*x1**911+18686856429*x1**912-97172567422*x1**913-9574103314*x1**914-18076030731*x1**915-28358519392*x1**916-16581350003*x1**917+12090038057*x1**918+44243258246*x1**919-3986576854*x1**920+11411306779*x1**921+17162852247*x1**922+6351778392*x1**923-15260387550*x1**924-29138592351*x1**925-14800636505*x1**926+9885625539*x1**927-36480762358*x1**928+844036464*x1**929-7561956503*x1**930-28235178974*x1**931-15625555530*x1**932+2051786154*x1**933-31812159700*x1**934+13415581956*x1**935+5382068286*x1**936+20152707873*x1**937-46081228993*x1**938+17160743960*x1**939-4906718548*x1**940-22981161630*x1**941+39189470825*x1**942-15015976743*x1**943+36442762021*x1**944+14159701449*x1**945-20259808043*x1**946+19582548075*x1**947+7969503721*x1**948+15803199913*x1**949+9091493711*x1**950-11663943215*x1**951-5644414749*x1**952-3135411920*x1**953+2212086003*x1**954-3254521457*x1**955-56705145197*x1**956+6408789788*x1**957+10381413436*x1**958-3057504701*x1**959+12451307686*x1**960+9518096173*x1**961-15016723746*x1**962+37406257148*x1**963+808574925*x1**964+8217276211*x1**965-5548816739*x1**966+8580073344*x1**967-16411223685*x1**968+7110424112*x1**969-8924388605*x1**970+20244682123*x1**971+16962224189*x1**972+21644034171*x1**973+10349693065*x1**974+14406123922*x1**975+17009695542*x1**976+10162045861*x1**977+5660460802*x1**978-1036608219*x1**979-1885363228*x1**980-5283058429*x1**981-516240895*x1**982-15317530637*x1**983-11663251903*x1**984+4064930580*x1**985+7633085681*x1**986+8471058375*x1**987+20912594799*x1**988+3688126507*x1**989+11604012893*x1**990+5171125016*x1**991+7684753357*x1**992-2336834864*x1**993+2482449646*x1**994-23487081*x1**995+41345539*x1**996-1908649318*x1**997-1563161986*x1**998-3391442566*x1**999-1975737484*x1**1000:;

r1 := 138233755629*x1**426-22168686741*x1**425-65314032186*x1**424+46713467112*x1**423+54066842891*x1**422+82543269656*x1**421+176235947107*x1**420+23156315980*x1**419-8714217205*x1**418-7917439564*x1**417-20923895097*x1**416-96817317174*x1**415+37671252734*x1**414+16053780026*x1**47+26648458420*x1**46+254608847*x1**45-11343106531*x1**174-44222442938*x1**173-10656079278*x1**172-54688112379*x1**171-72653860271*x1**170+70185903368*x1**169-66162378498*x1**192-19340590695*x1**191-74831870843*x1**190-51340722881*x1**189-65948469390*x1**188-40940690738*x1**187-9541570627*x1**24+12358437331*x1**23-3840010930*x1**22-26103658089*x1**333+16787990043*x1**332-72471206553*x1**331+38195377054*x1**330+48906246421*x1**329+29212932541*x1**328+27943555500*x1**327-126086829668*x1**326+45642899604*x1**325+152779000312*x1**324-45599025206*x1**323-86920511292*x1**322+30167371152*x1**321+27416748135*x1**320-546541724*x1**113+41265938666*x1**112-24708554690*x1**111-20961586765*x1**110+16946301630*x1**109+45088470222*x1**108-5349150466*x1**107+15365225017*x1**106-7995302120*x1**105-20232813599*x1**104+10081791273*x1**114-3865321947*x1**347-87489963865*x1**346-30639453185*x1**345+3676613013*x1**344-58165676134*x1**343-68737381572*x1**342-3907635479*x1**341+14873150406*x1**340-5503004922*x1**339-78473587467*x1**338-54025110093*x1**337-29151845013*x1**336-67735495295*x1**335+73397803045*x1**334-27801675473*x1**477-14039747517*x1**476-8375986438*x1**475+84327817349*x1**474+82430096016*x1**473+85036210781*x1**472+74675551911*x1**471-31481207861*x1**470+50505881655*x1**469+57661203244*x1**468+1422790738*x1**467+46263290040*x1**466+17837475246*x1**465+109465309830*x1**464+5141857548*x1**450-85449781066*x1**449+84234728669*x1**448-88234927160*x1**447-127641987837*x1**446-92744124462*x1**445-55229182896*x1**444-58231651691*x1**443-71614587111*x1**442-19795619691*x1**441+16444963184*x1**440+7188954710*x1**439-21800762926*x1**438+858791107*x1**451-75911542139*x1**373-9360344384*x1**372+121593378315*x1**371-13873126064*x1**370+26377931906*x1**369+65223112057*x1**368+54567161420*x1**367+81605659307*x1**366+50232494189*x1**365+22085432850*x1**364+68840804661*x1**363-15408612740*x1**362+86485074789*x1**361-15439204155*x1**28-6661325097*x1**27+6410229219*x1**26+30961129925*x1**25+38724464689*x1**44+13389600650*x1**43-4221359244*x1**42-1728086134*x1**399-37933493961*x1**398-14669037140*x1**397+23734942521*x1**396-58830055830*x1**395+8467094098*x1**394+77771292477*x1**393-89683404862*x1**392-78155773051*x1**391-39478631291*x1**390-67987409649*x1**389-64950072499*x1**388-12266565939*x1**387+11491110518*x1**50+23873449940*x1**49+22044595358*x1**48+14077914429*x1**202-57100831007*x1**201+13655668351*x1**200-22624838544*x1**199-51198193976*x1**198+4929392620*x1**197+61541561422*x1**196+58408299147*x1**195-2755337167*x1**194-2544113778*x1**193+38364208184*x1**203-39653790505*x1**1196+237290860955*x1**1197+1445942111*x1**1198-44203650162*x1**1199+82332058439*x1**1200-8702521180*x1**1201+70840770500*x1**1202+119211377409*x1**1203+62594288529*x1**1204-90021858665*x1**1205-129281425167*x1**1206+136510590125*x1**1207-32382101108*x1**1208+4377395620*x1**1209-94124507363*x1**1210-136821711247*x1**1211-62766336520*x1**1212+73042766437*x1**1213+170448193742*x1**1214-159429807450*x1**1215+23801498853*x1**1216+83841365444*x1**1217-2786331945*x1**1218-110101444536*x1**1219+120943591409*x1**1220-17972193177*x1**1221-17917016958*x1**1222+76059557227*x1**1223-26278875051*x1**1224+28452314938*x1**1225+59268213718*x1**1226-14918040641*x1**1227+214442906160*x1**1228-40652938342*x1**1229+96990811343*x1**1230-1760397639*x1**1231-21403305270*x1**1232+108438376045*x1**1233+11163376014*x1**1234-49795674343*x1**1235-155428477820*x1**1236-46317266895*x1**1237-21181283092*x1**1238+54803863270*x1**1239+77990955099*x1**1240+9021816223*x1**1241-81330127566*x1**1242-172066502236*x1**1243+38125269764*x1**1244+126728193806*x1**1245+20491510600*x1**1246+52585146599*x1**1247-188911557303*x1**1248-134043853649*x1**1249+67603167253*x1**1250-130154245559*x1**1251-55153609001*x1**1252+163170176229*x1**1253-4743088670*x1**1254+41209412802*x1**1255-10129602317*x1**1256+181535124040*x1**1257+56212841612*x1**1258+71426935568*x1**1259-30429980124*x1**1260-60832906417*x1**1261+67431835761*x1**1262+121532246986*x1**1263+33159787171*x1**1264+79034947915*x1**1265+12461193342*x1**1266-75977547043*x1**1267-43756049561*x1**1268+168122514802*x1**1269-48398370299*x1**1270+35964935382*x1**1271+54347586872*x1**1272+44590944224*x1**1273+10445353165*x1**1274-26132065869*x1**1275-47859095692*x1**1276-1718582779*x1**1277-41783188995*x1**1279+11909834976*x1**1278-77982413527*x1**500-73027923452*x1**499-85982752234*x1**498-88590919157*x1**497+18625207103*x1**496-19917282031*x1**495-203961285889*x1**494+92315048982*x1**493-113685780846*x1**492-35278695612*x1**491-4343198835*x1+8372388799*x1**437-7765335812*x1**436+122688463230*x1**435+143085745466*x1**434-15940623925*x1**433+59911209151*x1**432+41198459053*x1**431+86637043974*x1**430-19150403305*x1**429-9590187908*x1**428+72843435206*x1**427-18969078712*x1**281-45111690065*x1**280-29657990745*x1**279-29667542848*x1**278-14810537128*x1**277+38201688736*x1**276-3959944314*x1**275+75115374863*x1**274+13874014995*x1**273+9466913592*x1**272+40932968214*x1**271-124744392985*x1**270+42790568189*x1**269+14764851450*x1**268-56964896169*x1**360+107236900075*x1**359+64188502464*x1**358-19966311943*x1**357-89292693652*x1**356+37459485658*x1**355+9602002258*x1**354+8694265442*x1**353+104669007441*x1**352+25291836948*x1**351-18712737803*x1**350+72885504388*x1**349-6701955331*x1**348+16019376388*x1**21-10276721887*x1**20+9332762048*x1**19-15679749591*x1**18+15800007975*x1**168-43019181710*x1**167+44135505581*x1**166+609100023*x1**165+6765959027*x1**164-13557946012*x1**163+4278574066*x1**162+6019496346*x1**161+63349714834*x1**160+36279456292*x1**159-8605662788*x1**158-16446890130*x1**157-41810449045*x1**156-7095450334*x1**155-4077050532*x1**41+21830008852*x1**39-29092609442*x1**186-12826386339*x1**185+6695603221*x1**184-49972209582*x1**183-83136366951*x1**182-50423891996*x1**181-18169858920*x1**180-78476319819*x1**179-21436351653*x1**178+7919620529*x1**177+28970986638*x1**176+79296839091*x1**175+77264613819*x1**463+116466004826*x1**462+55542962016*x1**461-13262967705*x1**460+36244684198*x1**459+83226762576*x1**458-64390551357*x1**457-18179417756*x1**456-99881894932*x1**455+75031794196*x1**454+26324508605*x1**453-26157248749*x1**452-3352003325*x1**10-12675513756*x1**9-15441617775*x1**8-5613718699*x1**7+43860635066*x1**154+27940358221*x1**153-2134093560*x1**152+54527866704*x1**151+2777626391*x1**150+38378887212*x1**149+49841642562*x1**148-30221044274*x1**147+21827366162*x1**146+17014456405*x1**145+30271071817*x1**144-27945878711*x1**143+51399953423*x1**142-57512493*x1**3+2646183642*x1**2-20412139833*x1**294-93210725051*x1**293-34887615044*x1**292-47910215801*x1**291-6350488002*x1**290-13981009447*x1**289-155911910590*x1**288+34327352071*x1**287-43586097508*x1**286-23319014164*x1**285-56002153978*x1**284+81803548303*x1**283-71820207962*x1**282-10617748524*x1**217-34889926744*x1**216-43806949611*x1**215+12004331776*x1**214+29950034237*x1**213-32867273114*x1**212-34298658181*x1**211+21233130475*x1**210-15987453386*x1**209-28840589378*x1**208+1865221090*x1**207+5310473345*x1**206+21898421919*x1**205-7574068856*x1**204+69079520037*x1**490-77180539242*x1**489-3940662000*x1**488-74380408842*x1**487+46029555022*x1**486+22962337328*x1**485-121388716462*x1**484-114696481860*x1**483-4968867689*x1**482+69556807304*x1**481+57719690408*x1**480+83880745421*x1**479-90995723818*x1**478+16426027446*x1**17-9008826521*x1**16+3125040990*x1**15-10087115771*x1**14+7507131425*x1**1364+5491038077*x1**1365+23299185767*x1**1366+158679796477*x1**1367+124242620006*x1**1368-34138235836*x1**1369-104792195268*x1**1370+44072214558*x1**1371+30242736127*x1**1372+74669209902*x1**1373-28102587847*x1**1374-39469546681*x1**1375+52533883313*x1**1376-80940926697*x1**1377+78402169540*x1**1378+58161497695*x1**1379-78127274957*x1**1380+187195727863*x1**1381+34839827097*x1**1382+97631469873*x1**1383-132261723396*x1**1384-243403867184*x1**1385+101905407375*x1**1386-103768707126*x1**1387+140665326183*x1**1388+38246904662*x1**1389+94463316851*x1**1390+42616536629*x1**1391+75720607770*x1**1392+75120834886*x1**1393+57978068569*x1**1394+82557166839*x1**1395+14150729258*x1**1396+27266620054*x1**1397-18339937355*x1**1398+167325111479*x1**1399-172482710865*x1**1400+26706898368*x1**1401+49778092097*x1**1402-153703751430*x1**1403-61886877598*x1**1404-81585576994*x1**1405+19946334906*x1**1406-69565555266*x1**1407+94052269487*x1**1408-113507716080*x1**1409-17501141543*x1**1410-137588116092*x1**1411+165758417577*x1**1412+35485042515*x1**1413+61433836565*x1**1414+90286860422*x1**1415+2551044222*x1**1416-77880307583*x1**1417-50298698782*x1**1418+83096470495*x1**1419+115239475320*x1**1420+72164396736*x1**1421+189899241723*x1**1422-56373869311*x1**1423+97019679656*x1**1424-48247967357*x1**1425+154619324085*x1**1426-67236039222*x1**1427-47410964957*x1**1428+169855658430*x1**1429+30322992840*x1**1430-63052501875*x1**1431+222129643467*x1**1432+4192274277*x1**1433-75770181677*x1**1434+64933458610*x1**1435+77098206606*x1**1436-27720674116*x1**1437-5749263490*x1**1438+125660847820*x1**1439-34531000515*x1**1440-124220079488*x1**1441-138169543755*x1**1442+17069521947*x1**1443+47935404425*x1**1444+52181081902*x1**1445+16289942255*x1**1446-15900660870*x1**51+32923650103*x1**52+27554024107*x1**53+18237379971*x1**54+20628678703*x1**55+1475901766*x1**56-15828776045*x1**57+38774503478*x1**58-26045359531*x1**59-23045701898*x1**60-24089408197*x1**61+34446523234*x1**62+40957087639*x1**63+11389117440*x1**64+9820681224*x1**65+16429339120*x1**66+26545401357*x1**67-32362862895*x1**68-26680758766*x1**69-13927308596*x1**70+57526789510*x1**71-2089874730*x1**72+77834083653*x1**73+1750624845*x1**74-16803601217*x1**75-60811888974*x1**76-30511923805*x1**77-49471168139*x1**78+295087634*x1**79-2230079022*x1**80+8101489602*x1**81+1848095682*x1**82-13546237573*x1**83-64824054906*x1**84-1604410156*x1**85-13212803439*x1**86-28859271440*x1**87-21647178880*x1**88-2728763159*x1**89+20896727129*x1**90+17467604913*x1**91+17068807003*x1**92-6893543875*x1**93+47303976287*x1**94+24117835126*x1**95-42839904766*x1**96+73128945825*x1**97+16819953882*x1**98+23690754989*x1**99+43674412612*x1**386+125292875686*x1**385-6868632145*x1**384+6792231538*x1**383+13345729255*x1**382+100308206906*x1**381-36410281681*x1**380+151329173416*x1**379+34770326061*x1**378-31189291341*x1**377+41062130384*x1**376+12585820391*x1**375-25741536606*x1**374+7011683808*x1**40+3801986823*x1**38-13975966697*x1**37+860658280*x1**36+7772384392*x1**35+70631237268*x1**308+8038593583*x1**307+9785270382*x1**306+7562096391*x1**305+18097750087*x1**304-36486540217*x1**303+21014018569*x1**302-50758761074*x1**301+31281420904*x1**300+53709825490*x1**299+52888377853*x1**298-74951274347*x1**297+12921546086*x1**296-76415705347*x1**295+15826680805*x1**141-8143429483*x1**140-1266967067*x1**139-52609851275*x1**138-127235369220*x1**137-5562487640*x1**136+15459500426*x1**135-34261922713*x1**134-26128935470*x1**133-31766069313*x1**132-46271941901*x1**131+11210102504*x1**130-66673301013*x1**129-52689509960*x1**128+60511652766*x1**244-75008847608*x1**243-20985226623*x1**242+7192516942*x1**241-161582525421*x1**240-49134000625*x1**239-9420319932*x1**238-52466552215*x1**237+20737248665*x1**236+4518034715*x1**235-86981206669*x1**234-65413662872*x1**233-55595224849*x1**232+48838613905*x1**413-89117174044*x1**412-28371635419*x1**411+58369364519*x1**410-63080675673*x1**409-30544354398*x1**408-45382170441*x1**407-18873560244*x1**406+18026475289*x1**405-50705159627*x1**404+38696002656*x1**403+526588856*x1**402-21240649788*x1**401-43406345490*x1**400+74297814205*x1**100+6264961896*x1**267-1021895999*x1**266+86122332454*x1**265+38169747213*x1**264+64147932916*x1**263+58378689172*x1**262+24226397033*x1**261-29422870170*x1**260-47943224531*x1**259+26452750294*x1**258+105345226861*x1**257+43954658692*x1**256-20434482832*x1**255+8127775817*x1**34+30199475755*x1**33-12223507015*x1**32+22756827882*x1**127-32719507346*x1**126-49802125175*x1**125+60597935861*x1**124-74864424168*x1**123+13477644513*x1**122+5355799358*x1**121+10198619648*x1**120+20797815942*x1**119+1011263561*x1**118-6797018716*x1**117-9127452274*x1**116+22527387258*x1**115+10256659433*x1**102+29285807465*x1**101+7541734764*x1**103+17761344886*x1**254-17286568131*x1**253+25433230102*x1**252-40561054425*x1**251+11031323376*x1**250+23702567137*x1**249-60198922511*x1**248+28633857562*x1**247+47422980942*x1**246-9295089069*x1**245-10089830249*x1**13-23491786545*x1**12+4224016794*x1**11+81467257701*x1**319+63655491886*x1**318-66641279796*x1**317+144469815422*x1**316-77290195044*x1**315+70923255017*x1**314+15984076870*x1**313+14434564477*x1**312+36604017606*x1**311+103558138654*x1**310-51454408044*x1**309-3209161334*x1**31+15201977479*x1**30+28627262797*x1**29-906050188*x1**6-10466791945*x1**5-8215574614*x1**4+6088611949*x1**1280-155043352048*x1**1281-118198059014*x1**1282+141985007241*x1**1283-20206827728*x1**1284-22529445083*x1**1285+3357709716*x1**1286+20047180952*x1**1287+20996464819*x1**1288-23941814014*x1**1289-95188363707*x1**1290+40630147116*x1**1291-14052413668*x1**1292-21048701821*x1**1293+100140633841*x1**1294+167338922803*x1**1295+33226558*x1**1296-128357266656*x1**1297+81105983581*x1**1298+31392576204*x1**1299-21641561406*x1**1300+235587348445*x1**1301+161935696996*x1**1302-128703673247*x1**1303-39346114561*x1**1304+42054040866*x1**1305-12956319862*x1**1306+65064708855*x1**1307+44115412714*x1**1308-39733064653*x1**1309+3355869893*x1**1310-161862258823*x1**1311+97885854896*x1**1312-102623735650*x1**1313-108185508417*x1**1314+108464851653*x1**1315-112704576169*x1**1316+131875786827*x1**1317+60270345360*x1**1318+20669673912*x1**1319+21026875646*x1**1320+75295304489*x1**1321+43782162551*x1**1322-61132288089*x1**1323+24355164025*x1**1324+63346171944*x1**1325+85327679328*x1**1326+97712315102*x1**1327+99189458373*x1**1328-160846738551*x1**1329-141296521216*x1**1330+20245830585*x1**1331-52143723845*x1**1332-76834814333*x1**1333+41461601925*x1**1334+18631439711*x1**1335-178840949428*x1**1336-66799837449*x1**1337+106991716450*x1**1338-153373473969*x1**1339-50991501172*x1**1340+136263482777*x1**1341+40392134464*x1**1342-83367427546*x1**1343+28165179356*x1**1344+120448869294*x1**1345-139735638019*x1**1346+55812330303*x1**1347+115565807139*x1**1348+80171150937*x1**1349-29320222386*x1**1350+85845037273*x1**1351-56994419699*x1**1352-1430513579*x1**1353+5782046987*x1**1354-38239520543*x1**1355-80217085657*x1**1356-66662368035*x1**1357+73040143027*x1**1358+31583949065*x1**1359+22409165365*x1**1360-52189298813*x1**1361-30600519487*x1**1363-160877387612*x1**1362-130745878790*x1**1447-164421846143*x1**1448+58826335534*x1**1449-121078622350*x1**1450-92870208218*x1**1451+63205043793*x1**1452-47504622824*x1**1453-40792276413*x1**1454+132243469959*x1**1455-50122842754*x1**1456-25457647727*x1**1457+75460123980*x1**1458+92360457423*x1**1459-47123614245*x1**1460+27742628194*x1**1461+70699349259*x1**1462-60815737692*x1**1463-169591512815*x1**1464+120636922587*x1**1465+2874472932*x1**1466-107608428068*x1**1467-5720975123*x1**1468+79093930048*x1**1469-56584218802*x1**1470-170994826684*x1**1471+72209169257*x1**1472-49673733343*x1**1473-90870320816*x1**1474+157355941752*x1**1475+110866008554*x1**1476+16569857191*x1**1477-30490578506*x1**1478+76530403441*x1**1479-162248432265*x1**1480+93640590463*x1**1481-15744202469*x1**1482+8788690056*x1**1483-70664515415*x1**1484+35129616345*x1**1485-39685588353*x1**1486-10030759315*x1**1487+88476545624*x1**1488-37767780482*x1**1489+85460102492*x1**1490-154368097388*x1**1491-101122282432*x1**1492-17958917193*x1**1493+15758996309*x1**1494-52478307769*x1**1495-40381137773*x1**1496-133030420549*x1**1497-24719543246*x1**1498-8096296417*x1**1499+101004857673*x1**1500+86200685962*x1**1501-25972251955*x1**1502-84505928738*x1**1503+4038114310*x1**1504-1730887646*x1**1505+34280919324*x1**1506-10546638656*x1**1507+33864769034*x1**1508+37325029980*x1**1509+52990264954*x1**1510+78875435896*x1**1511-23552799978*x1**1512+18021688980*x1**1513-70918050095*x1**1514+37377330996*x1**1515+147115987122*x1**1516+59886319925*x1**1517+69247156063*x1**1518+44264194675*x1**1519-5321836395*x1**1520+49605413611*x1**1521+16106834226*x1**1522-127288542421*x1**1523+10517014560*x1**1524-33826730451*x1**1525+17362491215*x1**1526+11259519069*x1**1527-111850411663*x1**1528+169788136728*x1**1529-61627977383*x1**1530-83949340540*x1**1531-203179287438*x1**1532+65741933623*x1**1533-43116357571*x1**1534-40480690150*x1**1535-41131362243*x1**1536+79032181440*x1**1537-59212226430*x1**1538+15954047280*x1**1539+58552174868*x1**1540-2763240020*x1**1541-70634496472*x1**1542+61309662059*x1**1543-116329612672*x1**1544-3218593493*x1**1545+88470810821*x1**1546+39987733363*x1**1547-110861185999*x1**1548+67527613693*x1**1549-5618360677*x1**1550+34760731651*x1**1551+101313541809*x1**1552+57123487946*x1**1553-73138213965*x1**1554-113152834893*x1**1555+85732909325*x1**1556+17860086653*x1**1557-112504565378*x1**1558+55883545171*x1**1559-65178434517*x1**1560-39660841716*x1**1561-63794649779*x1**1562+46366489306*x1**1563-13439935357*x1**1564+88339338684*x1**1565-57150594822*x1**1566+30622063640*x1**1567-16625632272*x1**1568-119377667973*x1**1569+224593656399*x1**1570+53193487159*x1**1571+65126081701*x1**1572+62970399092*x1**1573+68191968832*x1**1574-2532739610*x1**1575+182827386055*x1**1576+88816579011*x1**1577-89385510567*x1**1578+66143786656*x1**1579+126309891941*x1**1580+5804094044*x1**1581+97890664428*x1**1582+85726994348*x1**1583-23154770060*x1**1584-117108787907*x1**1585+13971227562*x1**1586+38219978507*x1**1587-29292257027*x1**1588-45584106398*x1**1589+226543786384*x1**1590-123525218087*x1**1591-106279675553*x1**1592+59009279185*x1**1593-21501846244*x1**1594-58215906325*x1**1595+10168443133*x1**1596+14253963923*x1**1597-103607933374*x1**1598-23820552704*x1**1599+73298115017*x1**1600-76073336462*x1**1601+27722337160*x1**1602+30665618287*x1**1603-40718538083*x1**1604-10845646905*x1**1605+103841915855*x1**1606-88690958814*x1**1607+15639683979*x1**1608+63587256763*x1**1609+79584369720*x1**1610-3856065377*x1**1611+3277105804*x1**1612+49374804337*x1**1613+22208269344*x1**1614-103803342247*x1**1615-18126304778*x1**1616-2637468237*x1**1617+1194910718*x1**1618+49396303997*x1**1619-59067168846*x1**1620-151244829011*x1**1621-61107141831*x1**1622+6516627549*x1**1623-46932605166*x1**1624+40009442716*x1**1625+10816141849*x1**1626-13881407844*x1**1627+19588816684*x1**1628-30762755573*x1**1629-3498132458*x1**1630-51828207675*x1**1631-143896344594*x1**1632+13062299884*x1**1633+118213321141*x1**1634+20450936554*x1**1635-22769649400*x1**1636+24410873563*x1**1637+61409701263*x1**1638+62682111645*x1**1639-12555885646*x1**1640+81231121875*x1**1641-87265869575*x1**1642-50101835778*x1**1643+23208178290*x1**1644+47909319630*x1**1645-56149574095*x1**1646-5387312186*x1**1647+45155954494*x1**1648-26506247987*x1**1649-24655453114*x1**1650+64438306450*x1**1651+933006957*x1**1652+88649043790*x1**1653+33722720231*x1**1654-67168346690*x1**1655+20490156374*x1**1656+58590799138*x1**1657-35113882356*x1**1658+86769469196*x1**1659-31677323009*x1**1660+68172444087*x1**1661+30384983461*x1**1662+65971494796*x1**1663+29114405715*x1**1664-72273691319*x1**1665+8637409991*x1**1666+102558776528*x1**1667+25534632508*x1**1668-150062568831*x1**1669+149103774958*x1**1670+76826656126*x1**1671-9206966427*x1**1672+47754890342*x1**1673+143906292602*x1**1674-47363760887*x1**1675-100347436928*x1**1676+49034963661*x1**1677-30032825100*x1**1678+1904447368*x1**1679-16465929892*x1**1680+115898668860*x1**1681-15427200819*x1**1682+78327171484*x1**1683+40114906121*x1**1684-115194215170*x1**1685-11250164384*x1**1686-61135885162*x1**1687-25229902390*x1**1688-80960554583*x1**1689+46627919488*x1**1690+12640135253*x1**1691-12106872032*x1**1692+657736289*x1**1693-61068471661*x1**1694-69864159279*x1**1695-132350791169*x1**1696+98340842400*x1**1697-70012959047*x1**1698-2783637838*x1**1699+3610440908*x1**1700-47500311360*x1**1701-27795498744*x1**1702-8059436836*x1**1703+31022917786*x1**1704+11882840379*x1**1705+32303942074*x1**1706+85260001288*x1**1707+34515935101*x1**1708-48862338609*x1**1709-37609344377*x1**1710+26243060316*x1**1711-93968692092*x1**1712+7263670481*x1**1713+14186751888*x1**1714+50504820421*x1**1715-97325627322*x1**1716-7505006522*x1**1717-22987526264*x1**1718-25885379938*x1**1719-60493345579*x1**1720-35418112892*x1**1721+84502334154*x1**1722-76073278035*x1**1723-14606929933*x1**1724+66548501808*x1**1725+5528600957*x1**1726-8215155843*x1**1727-59490241426*x1**1728-28466163634*x1**1729-70616897676*x1**1730-8577546165*x1**1731-17443872540*x1**1732+45985496045*x1**1733-25689081146*x1**1734+31463778961*x1**1735-11994818364*x1**1736+26963273177*x1**1737-14658991498*x1**1738+3071653886*x1**1739+10415294559*x1**1740-11371033244*x1**1741-63444243140*x1**1742+6028056803*x1**1743+43009638114*x1**1744+134916900978*x1**1745+17343194494*x1**1746+80265572665*x1**1747-34809795749*x1**1748-105843176239*x1**1749-825331310*x1**1750-4839163988*x1**1751-62409624690*x1**1752-20792219308*x1**1753-97773424039*x1**1754-40261609853*x1**1755-43580213332*x1**1756-35959090815*x1**1757-38749485599*x1**1758-36327596188*x1**1759-37274972348*x1**1760+40676817240*x1**1761+83402203312*x1**1762+68572573193*x1**1763-13232334596*x1**1764+26432741583*x1**1765-5897475378*x1**1766-61972444406*x1**1767+58535013523*x1**1768+19602260192*x1**1769-8318743400*x1**1770+7803001425*x1**1771+76563637063*x1**1772-113144033283*x1**1773-71048872512*x1**1774+37755540165*x1**1775+19330521255*x1**1776-56127401651*x1**1777+18888644242*x1**1778+31817399525*x1**1779+10800209238*x1**1780+42691003617*x1**1781+33764982495*x1**1782+46697603267*x1**1783-25632574756*x1**1784+33073816150*x1**1785+60790438629*x1**1786+52911597033*x1**1787+36269227256*x1**1788+24513405600*x1**1789-62856298604*x1**1790+40347138135*x1**1791+47204525731*x1**1792-44078709555*x1**1793-70239814448*x1**1794-16761046243*x1**1795-40213099308*x1**1796-70370190048*x1**1797+88560337870*x1**1798-43789585801*x1**1799-26066270170*x1**1800-12513783195*x1**1801+40117642516*x1**1802+1078125116*x1**1803+51122854580*x1**1804+49031149283*x1**1805-14630551725*x1**1806+83787049535*x1**1807+64190880486*x1**1808+72057188859*x1**1809+10305597348*x1**1810+79560003326*x1**1811+27992723763*x1**1812-40123535204*x1**1813+6540213580*x1**1814-12201813772*x1**1815-62863210776*x1**1816-9530516684*x1**1817+26089647341*x1**1818+8240990342*x1**1819-16988726374*x1**1820+25502485674*x1**1821+21819935364*x1**1822+7578747975*x1**1823-7924234392*x1**1824-4583916789*x1**1825+27312267438*x1**1826+27028394122*x1**1827+36340332694*x1**1828+34569493970*x1**1829-24317197250*x1**1830-73040883806*x1**1831+119152928326*x1**1832-27999217300*x1**1833-66377712512*x1**1834+19049296317*x1**1835-1499967276*x1**1836-101411288144*x1**1837-9893623936*x1**1838-12904600465*x1**1839-65098811535*x1**1840-10374614407*x1**1841-63493256502*x1**1842-20925111013*x1**1843-43545631503*x1**1844-56380343071*x1**1845-78765502946*x1**1846-61513189902*x1**1847-53296444805*x1**1848-22832568686*x1**1849+35971486958*x1**1850+15588623624*x1**1851+53739674006*x1**1852-27920615672*x1**1853+20232297980*x1**1854-24748814662*x1**1855+6432159679*x1**1856+14056122601*x1**1857+16908873134*x1**1858-54999071671*x1**1859-3428715644*x1**1860-19509913014*x1**1861-2921305636+10285270533*x1**1862+54449949829*x1**1863-16556984981*x1**1864-45632321047*x1**1865-37192326359*x1**1866-89167294735*x1**1867+28988566970*x1**1868+33580738542*x1**1869+17847650506*x1**1870-2590933698*x1**1871+60479028111*x1**1872-74174252419*x1**1873-51005953957*x1**1874+34076527326*x1**1875-12501722418*x1**1876+11997164778*x1**1877+11106537537*x1**1878-67544802654*x1**1879-28559326960*x1**1880+25496394971*x1**1881-7743517594*x1**1882-60700405990*x1**1883-3306265111*x1**1884-52601213422*x1**1885-48504437343*x1**1886-33628794516*x1**1887-6175399721*x1**1888-42427338898*x1**1889+2438088321*x1**1890-10879611090*x1**1891-50114291787*x1**1892+8139307516*x1**1893+699677484*x1**1894+27742148976*x1**1895+2363683066*x1**1896+23142955138*x1**1897-13125418109*x1**1898-8068365620*x1**1899-26376527681*x1**1900-16879977313*x1**1901-13899647882*x1**1902+55501082808*x1**1903+20977999945*x1**1904-41959603668*x1**1905+42141731465*x1**1906-65252748680*x1**1907-5713058482*x1**1908+5531788408*x1**1909+1048150468*x1**1910-34295154871*x1**1911+43795245653*x1**1912-4033095400*x1**1913+72651409*x1**1914+31984617590*x1**1915+71930374776*x1**1916+54517887941*x1**1917+63333532478*x1**1918+28984482038*x1**1919-3608878013*x1**1920+53698106501*x1**1921-6222405514*x1**1922-7430102368*x1**1923+1402958879*x1**1924+24008303304*x1**1925-26827491519*x1**1926-18648926565*x1**1927-3823394849*x1**1928+5733309563*x1**1929-6299547658*x1**1930-6962395749*x1**1931-40969231686*x1**1932-45285051134*x1**1933+10564829658*x1**1934-30748565479*x1**1935+26388805425*x1**1936-10363567687*x1**1937-2246446609*x1**1938+52290201133*x1**1939-17786261909*x1**1940+17176068018*x1**1941+64179974707*x1**1942-1578020234*x1**1943-2645079212*x1**1944+4997898669*x1**1945+10466153459*x1**1946-27279279576*x1**1947+13143215693*x1**1948+25305770043*x1**1949-7792611978*x1**1950-3367810548*x1**1951+23045646458*x1**1952+2489207763*x1**1953-9625209614*x1**1954+17800677290*x1**1955+26661651216*x1**1956+10046368551*x1**1957+42990303916*x1**1958+25595010235*x1**1959+10610259914*x1**1960+48515299215*x1**1961+18912135820*x1**1962-32456695901*x1**1963+43323673755*x1**1964-21642505920*x1**1965-52393990137*x1**1966-9367854579*x1**1967-10325914747*x1**1968-16523379626*x1**1969+22693063102*x1**1970+20643925200*x1**1971-19137060196*x1**1972-39466187671*x1**1973-22674273729*x1**1974-13174940089*x1**1975-28945458193*x1**1976+21790522131*x1**1977+17410100411*x1**1978-12046307125*x1**1979-1835929094*x1**1980+12380357301*x1**1981+373817436*x1**1982+14048331587*x1**1983+20998406345*x1**1984-20185931652*x1**1985-17385658538*x1**1986-6371722529*x1**1987-11640878021*x1**1988+11243150741*x1**1989+19803816827*x1**1990+548583054*x1**1991+5438200196*x1**1992-640602400*x1**1993-9126628108*x1**1994+4447085824*x1**1995-398990035*x1**1996-5395080531*x1**1997-2441931417*x1**1998-1200282319*x1**1999-655038612*x1**2000+5366597811*x1**231+68706406617*x1**230+17345409974*x1**229-48143185759*x1**228+44737410494*x1**227-68056841842*x1**226-19799043985*x1**225-49804885873*x1**224+47061365105*x1**223-4032111915*x1**222-3623332613*x1**221-23047211828*x1**220-33602755354*x1**219-53260548964*x1**218+11121679469*x1**1001+211391200411*x1**1002-121806627697*x1**1003-7593859366*x1**1004-68089674863*x1**1005-93535081213*x1**1006-100904889771*x1**1007+205151348397*x1**1008-26911086523*x1**1009+20992481200*x1**1010-26975210049*x1**1011+9802944823*x1**1012-99339217781*x1**1013-28676624812*x1**1014-106268955620*x1**1015-28064424851*x1**1016+149985720354*x1**1017-10056890284*x1**1018-25972392754*x1**1019-60442506971*x1**1020+24876839939*x1**1021-140451184537*x1**1022+139436860282*x1**1023+102456153010*x1**1024+143113275735*x1**1025-43874834829*x1**1026-120467763129*x1**1027+82361748186*x1**1028+70759866448*x1**1029-132303541720*x1**1030+62109348740*x1**1031-2307679959*x1**1032-43220551985*x1**1033-3105105156*x1**501-115056774450*x1**502+112590551437*x1**503+5074319239*x1**504-65050446174*x1**505+27525467715*x1**506+67043788704*x1**507+73109872394*x1**508+4454612231*x1**509-166827879565*x1**510+48004509602*x1**511+80073196338*x1**512+84629877684*x1**513+24953136452*x1**514-13404546936*x1**515-60152470306*x1**516+103604258158*x1**517+30378727630*x1**518+96105639988*x1**519+86931170303*x1**520+1851307686*x1**521-10704467449*x1**522+48099516842*x1**523+25278865072*x1**524-21023665046*x1**525-27596977843*x1**526+65317392068*x1**527+56996468517*x1**528-23541114280*x1**529-4528634244*x1**530-49979244811*x1**531-1372409230*x1**532+108626443622*x1**533+38697103934*x1**534+5617360642*x1**535-31315823926*x1**536+6522344835*x1**537-50005336880*x1**538-96453605654*x1**539+28390028376*x1**540+167430623705*x1**541-79419733246*x1**542-24583477278*x1**543+63017279331*x1**544-12241800025*x1**545-40444796471*x1**546-198616484429*x1**547-9239010524*x1**548+39965042629*x1**549-33945600302*x1**550-12524550727*x1**551+3446319229*x1**552-45586186264*x1**553+95379898956*x1**554-105411519522*x1**555+28743671574*x1**556-56347937800*x1**557+82076691560*x1**558-74986185221*x1**559-53554425965*x1**560-4171382516*x1**561+47050272907*x1**562-141507918105*x1**563-68329670995*x1**564-21468094592*x1**565-42005013644*x1**566+1988928389*x1**567+89304325452*x1**568+46242523185*x1**569-64871208337*x1**570-10239983494*x1**571-70479561912*x1**572+56681858933*x1**573+97804124796*x1**574+171255081488*x1**575-130052127051*x1**576-14919774499*x1**577+18415158122*x1**578-14270012626*x1**579-9826133185*x1**580+10877406520*x1**581-37520045371*x1**582+172353597026*x1**583+190781179637*x1**584+86006600201*x1**585-63038348575*x1**586+36324085954*x1**587+25668119488*x1**588-75472073699*x1**589+94604145076*x1**590+31201682136*x1**591-66618040256*x1**592-45927957789*x1**593-30451201238*x1**594+124888776542*x1**595+106197365428*x1**596-46438347803*x1**597-18424519559*x1**598+2639003013*x1**599-27907496745*x1**600-18199794457*x1**601-103880772629*x1**602+23137884650*x1**603-1512635630*x1**604-147696867223*x1**605+80829019035*x1**606-161525424590*x1**607-100434984435*x1**608+29614936899*x1**609-6137679862*x1**610+60715360985*x1**611+34868225692*x1**612-58893614200*x1**613-32696951034*x1**614+29320270324*x1**615-87130316336*x1**616+113482677724*x1**617-160405479943*x1**618-123613848093*x1**619+93085583175*x1**620+6456833758*x1**621+39419082730*x1**622+68534416102*x1**623-25600393374*x1**624+90189542563*x1**625+188413710505*x1**626+47761747853*x1**627+133884897114*x1**628+103302592307*x1**629+838529232*x1**630+99793611131*x1**631-30322268075*x1**632+111356852748*x1**633+43231984135*x1**634+110500432225*x1**635+84573167353*x1**636+437111929*x1**637+88828390775*x1**638+150357932904*x1**639+69321584552*x1**640+4998543409*x1**641+77507164385*x1**642-5551641217*x1**643+133533084525*x1**644-148039019687*x1**645+34184755625*x1**646+58913273467*x1**647-144075969804*x1**648-81457644110*x1**649-88064205997*x1**650-76970723677*x1**651-135555167488*x1**652-4963071211*x1**653-71129120*x1**654-25524718409*x1**655+63345713205*x1**656+61571118817*x1**657-107047528701*x1**658-16064516713*x1**659-22356065855*x1**660-96298139547*x1**661+117212160499*x1**662+23069062197*x1**663+67098662581*x1**664+60095764808*x1**665+4311023429*x1**666-13452349998*x1**667+91235201366*x1**668-122795422087*x1**669-9005240476*x1**670-99246025367*x1**671+90306081579*x1**672-113597846449*x1**673-31798545519*x1**674-71234065451*x1**675+20415132246*x1**676+171318088198*x1**677+76440873812*x1**678+86723386966*x1**679+60768372398*x1**680+38646393133*x1**681+46034963485*x1**682+161267463461*x1**683-95395669596*x1**684+43300902681*x1**685+1364577202*x1**686+89232456559*x1**687+20757990799*x1**688+168914572153*x1**689-37448321567*x1**690-15404071512*x1**691-673765572*x1**692-22284471241*x1**693-45418634390*x1**694-51127164178*x1**695-54766988245*x1**696+23452651883*x1**697+82054856051*x1**698+28585810080*x1**699-128474952409*x1**700-66068244980*x1**701-62286757834*x1**702+10446524482*x1**703-23350333885*x1**704-49357457852*x1**705-20412291318*x1**706+72438491276*x1**707-9712277514*x1**708+99856984639*x1**709+12531900104*x1**710+15860752484*x1**711+92139497336*x1**712-22087999262*x1**713-189651791840*x1**714+431932231*x1**715-79802249583*x1**716+31582207314*x1**717+71827172753*x1**718+88606853762*x1**719+121148429011*x1**720-20480789552*x1**721-85506256319*x1**722-22747058943*x1**723+22272625680*x1**724+75106833715*x1**725-87815085198*x1**726-18573784977*x1**727+51790194453*x1**728-34926769490*x1**729+156368605389*x1**730-89883516474*x1**731-106204257960*x1**732+126409684589*x1**733+99590987979*x1**734+76044515259*x1**735+134493643759*x1**736+80505851731*x1**737-7948293309*x1**738+28390988236*x1**739+158320452938*x1**740+45025281010*x1**741+79496671226*x1**742-48239197544*x1**743+78128671709*x1**744-250719796024*x1**745-161889144663*x1**746+121290695138*x1**747+89224446335*x1**748-12017264890*x1**749+8836137575*x1**750-186287680017*x1**751+79370288211*x1**752+81231119965*x1**753+45969331743*x1**754-84293927522*x1**755-175094284570*x1**756-77777720697*x1**757+96346229248*x1**758-98800364838*x1**759+13503370732*x1**760-117936272490*x1**761-187387525590*x1**762+16390728965*x1**763-41826835741*x1**764-108395149961*x1**765-107880166963*x1**766-76149324709*x1**767-88276194375*x1**768+33191031138*x1**769-204617761996*x1**770+161285750732*x1**771-48140097503*x1**772+11077755135*x1**773+12757803021*x1**774-43152311232*x1**775-271935037932*x1**776+1831433875*x1**777+65100048254*x1**778+17917219486*x1**779+104345191161*x1**780-19736603553*x1**781-36421925355*x1**782-26813686138*x1**783+263563040875*x1**784+192297311726*x1**785-95972724582*x1**786+17848985752*x1**787-84432409440*x1**788+111804445366*x1**789+245846106331*x1**790+91609765067*x1**791+63679570834*x1**792+10523814205*x1**793-106441552262*x1**794+115586926862*x1**795+677538038*x1**796+6853856052*x1**797-39814859093*x1**798+15816033482*x1**799+147593524975*x1**800-73234648246*x1**801-53137394100*x1**802+58091667262*x1**803+37495621759*x1**804-217416974216*x1**805-66396397229*x1**806-91927898947*x1**807+54149805354*x1**808-123901425066*x1**809-51475545581*x1**810-186300013422*x1**811-126705120470*x1**812-189510422*x1**813+11338404677*x1**814+6325441981*x1**815+91232083427*x1**816-133780522659*x1**817-86298399414*x1**818-44135279153*x1**819+76816814544*x1**820-138195966434*x1**821-75684218038*x1**822-126386426657*x1**823-44809130231*x1**824-83490163212*x1**825-34351203484*x1**826-41719317981*x1**827-120688936869*x1**828-14489273602*x1**829+106470084813*x1**830+41964660903*x1**831+33403043858*x1**832+151505022397*x1**833+87862913140*x1**834+120445537076*x1**835-98566276077*x1**836+4697632177*x1**837+44046773581*x1**838+73352678462*x1**839-11410306650*x1**840+22742711623*x1**841-51216881846*x1**842-147550591892*x1**843+26476191234*x1**844+193153996499*x1**845-35927538398*x1**846-6194176598*x1**847-221667022042*x1**848-14015578041*x1**849-5698749713*x1**850+26363594400*x1**851+14645715378*x1**852+48470068979*x1**853-138256378354*x1**854-132853825554*x1**855+57482839352*x1**856+34735643796*x1**857+86752172547*x1**858+60835536589*x1**859-63791336423*x1**860+23481544832*x1**861+378282280*x1**862+23239795711*x1**863+88713416598*x1**864-48468401808*x1**865+43928927469*x1**866+11773049307*x1**867-62470361270*x1**868+177145273813*x1**869-194358054372*x1**870+18849309164*x1**871-61004124650*x1**872-89154730183*x1**873-180073144042*x1**874+10857839862*x1**875-11488914470*x1**876-105388656993*x1**877+29610973464*x1**878-179112409056*x1**879+27490437080*x1**880+6130882402*x1**881-73717395879*x1**882-24727395241*x1**883+6427407478*x1**884+27774977309*x1**885+26171001560*x1**886+285300862204*x1**887+250920282226*x1**888+69247036204*x1**889-68353373325*x1**890-19660487923*x1**891-199313228024*x1**892+185922127103*x1**893-56927953551*x1**894+60519873690*x1**895+77728652690*x1**896-105603952672*x1**897-63339878187*x1**898-74519679962*x1**899-45764977904*x1**900+17864107983*x1**901+10133013854*x1**902-144667843119*x1**903+33769537229*x1**904+116016157352*x1**905-109345484017*x1**906+104654868950*x1**907-961106931*x1**908+31965621838*x1**909-6900915942*x1**910+39708679388*x1**911+165967464883*x1**912-13498312464*x1**913-167799799320*x1**914-131936289889*x1**915+89614618044*x1**916+85016248695*x1**917-79954038780*x1**918-209591894768*x1**919-71794807620*x1**920-23283477500*x1**921+12638220555*x1**922-95752230735*x1**923-116899891043*x1**924-101215036532*x1**925-119610153404*x1**926+54021790022*x1**927-21789255788*x1**928-260168043271*x1**929+34842031670*x1**930-47465526644*x1**931+79209496048*x1**932-162752101811*x1**933-175986001160*x1**934+48825705322*x1**935-136513818801*x1**936-52160690022*x1**937+72550039192*x1**938+94214685087*x1**939+198826572346*x1**940+57618960407*x1**941-89924832368*x1**942+15802881411*x1**943-62911879311*x1**944+32899449993*x1**945+126311503110*x1**946+78846277994*x1**947+141308676066*x1**948+70641162803*x1**949+5724759068*x1**950-49633865841*x1**951+95173521056*x1**952+161015858353*x1**953-29202803241*x1**954-12952363057*x1**955+133465863039*x1**956-87901324933*x1**957+69820941995*x1**958+3949578988*x1**959-8912902751*x1**960-227471782047*x1**961-4215427616*x1**962-36853070177*x1**963-115632004639*x1**964-137399830344*x1**965+37813828221*x1**966-134999621522*x1**967-81129702306*x1**968+2906545160*x1**969+183426496219*x1**970-58439170144*x1**971-77898139208*x1**972+27989592415*x1**973-114857219664*x1**974-45221435974*x1**975-39064281171*x1**976-144100939667*x1**977+96900598155*x1**978-9683692867*x1**979+32505144597*x1**980+75767337062*x1**981+1732485201*x1**982+94598116663*x1**983-104431472515*x1**984+45112579763*x1**985-8325398155*x1**986-25719591452*x1**987+137274743203*x1**988+63077282203*x1**989+49611802496*x1**990-56530688200*x1**991-187825062699*x1**992+63000663541*x1**993+60988168565*x1**994-38033047686*x1**995+130178588597*x1**996+38679439189*x1**997+32500163168*x1**998+252301658883*x1**999-2212947761*x1**1000+85808058970*x1**1034-19483972835*x1**1035-41683691103*x1**1036+87145067951*x1**1037-137328803807*x1**1038+73968879794*x1**1039+36957534556*x1**1040+130660430707*x1**1041-166476549509*x1**1042+107108386321*x1**1043+22690853232*x1**1044-107648941612*x1**1045-864971871*x1**1046-26346541667*x1**1047+10871561131*x1**1048+97767553492*x1**1049-32532248732*x1**1050-1904971938*x1**1051-103073957349*x1**1052+86313670653*x1**1053+62536836*x1**1054-42832050487*x1**1055+121155288006*x1**1056+26990131150*x1**1057-214613212658*x1**1058+105777147715*x1**1059+36621520780*x1**1060+132811335476*x1**1061+103729451809*x1**1062-38953804569*x1**1063-92616845436*x1**1064-16510771977*x1**1065+58930939417*x1**1066+37085549174*x1**1067+24888041169*x1**1068-66607238646*x1**1069+124192560702*x1**1070-68000929614*x1**1071+81195252365*x1**1072+125144994277*x1**1073-237062572076*x1**1074+53610096124*x1**1075+225331588922*x1**1076-17707032826*x1**1077-89973693921*x1**1078+19974317710*x1**1079+102021238351*x1**1080-93050149638*x1**1081-98539649902*x1**1082-94653473795*x1**1083-44306474118*x1**1084+38414544973*x1**1085+135628798013*x1**1086-70487053525*x1**1087-72092697500*x1**1088-192271505385*x1**1089-62340659589*x1**1090+29834574943*x1**1091-22322653140*x1**1092-34947157570*x1**1093-24287759319*x1**1094-47068473067*x1**1095+154054328835*x1**1096+164245063199*x1**1097-51273349848*x1**1098-196203282068*x1**1099-24096070070*x1**1100-99584984772*x1**1101+98129847697*x1**1102-65702953785*x1**1103-10789632775*x1**1104+44241978999*x1**1105+37558102317*x1**1106-9505736359*x1**1107-25199280665*x1**1108+74235442860*x1**1109-54694524996*x1**1110+2264402295*x1**1111-128996845643*x1**1112-71285266617*x1**1113+67661071648*x1**1114-54492210583*x1**1115+22513724859*x1**1116+34033473659*x1**1117+43758233629*x1**1118-41516781021*x1**1119-42784639112*x1**1120+123644068072*x1**1121-14247218617*x1**1122+83808200085*x1**1123-183298893778*x1**1124-46735100971*x1**1125-62031928641*x1**1126-99474744881*x1**1127+17800004552*x1**1128+106525151324*x1**1129-251246407755*x1**1130-25580077568*x1**1131-81843377333*x1**1132+26788118746*x1**1133+19182872780*x1**1134-59925937362*x1**1135-50058300773*x1**1136-101822550837*x1**1137+657933280*x1**1138+19564861148*x1**1139+35046428744*x1**1140+2682475585*x1**1141-56992102077*x1**1142+35860931273*x1**1143+203789134219*x1**1144-6727336873*x1**1145-109903742856*x1**1146+47719560439*x1**1147+13527975161*x1**1148+98260043934*x1**1149-58366673275*x1**1150-130127164351*x1**1151+83455071177*x1**1152-68823162825*x1**1153-60225615746*x1**1154-74042831871*x1**1155-12014905342*x1**1156+23388731515*x1**1157-8626013014*x1**1158+21953195679*x1**1159-155980220910*x1**1160-217972125487*x1**1161+89682346870*x1**1162-37658668031*x1**1163+58027967881*x1**1164-90378430633*x1**1165-43341202030*x1**1166+16523493943*x1**1167-18906640960*x1**1168+212117365642*x1**1169-33986370441*x1**1170+45185768856*x1**1171+4763319487*x1**1172+1371747234*x1**1173+148876972098*x1**1174+95191837796*x1**1175-123809421852*x1**1176+79843098120*x1**1177-41267372840*x1**1178-121155059136*x1**1179-65482206391*x1**1180-79113584784*x1**1181+11116916638*x1**1182-92738566955*x1**1183+3388410239*x1**1184+19005832198*x1**1185+66751715230*x1**1186-96920966455*x1**1187-184353824811*x1**1188+29600147939*x1**1189-36474471319*x1**1190-75094557509*x1**1191-55155813058*x1**1192-139796362527*x1**1193-36990042600*x1**1194-149308311610*x1**1195:;

r2 := -12298243395*x1**426-33246261919*x1**425+14881216216*x1**424+100717315398*x1**423+32435341799*x1**422+11306102069*x1**421-42857343048*x1**420-23027068074*x1**419-121525059139*x1**418+41062828633*x1**417-9120088623*x1**416+38127915034*x1**415-53332525642*x1**414+10667345234*x1**47+20250868505*x1**46+28797169308*x1**45-43235989359*x1**174+38758957270*x1**173-29243855534*x1**172-46185370245*x1**171-47223973616*x1**170-10368178271*x1**169-10557528292*x1**192+37487979771*x1**191-16245699850*x1**190-55729045478*x1**189+36012407938*x1**188+72614386131*x1**187-15204240841*x1**24-8711949900*x1**23+14257174071*x1**22+56377120052*x1**333+14839742003*x1**332-38325417931*x1**331+54176364398*x1**330-53620700530*x1**329+17198633981*x1**328-15450486288*x1**327+15372974977*x1**326+5921781285*x1**325+81501682291*x1**324-66626158040*x1**323-20609502025*x1**322-109523674165*x1**321+56875705806*x1**320-23244792061*x1**113-19309284277*x1**112-38916326672*x1**111+44091306530*x1**110-34827830974*x1**109+32699097269*x1**108-72721416508*x1**107+17265636833*x1**106-36617312032*x1**105-41573561571*x1**104+12279258834*x1**114+82436036606*x1**347-31261753091*x1**346-44500371183*x1**345-125274002688*x1**344-31133631871*x1**343+128460249050*x1**342+100179005762*x1**341-114828839354*x1**340+108064336275*x1**339+90994968967*x1**338-44508032271*x1**337+85772561126*x1**336-14871801916*x1**335-21281913217*x1**334+17047025764*x1**477-26275017578*x1**476+101182365586*x1**475+88231498193*x1**474-59806242426*x1**473+113427095614*x1**472+116163017856*x1**471+53708041635*x1**470-154328984869*x1**469+56803301458*x1**468-35861674205*x1**467-88315900409*x1**466-33792693422*x1**465-132786811376*x1**464-109585745531*x1**450+37453216778*x1**449+2927086149*x1**448-59663587909*x1**447-99229589433*x1**446+22434345521*x1**445+3804407873*x1**444-22843316212*x1**443+15023409723*x1**442+79744521756*x1**441-89156003460*x1**440-62409603681*x1**439-22865453841*x1**438-62845550343*x1**451-10075612299*x1**373+90241752514*x1**372+3172648684*x1**371-64532174127*x1**370+72446697772*x1**369-44304010100*x1**368-94564984737*x1**367-19761536748*x1**366+26376102015*x1**365-158229005056*x1**364-62154676691*x1**363-40346077174*x1**362-33481542412*x1**361+13571997673*x1**28+8161213787*x1**27+1023845397*x1**26-16720514075*x1**25-2383844588*x1**44+8356875255*x1**43-26827438588*x1**42+44585618338*x1**399+37434341256*x1**398+48503836694*x1**397+64340759602*x1**396+70497118845*x1**395+58332730505*x1**394+37917909552*x1**393-17951385993*x1**392-72126324042*x1**391+83367616252*x1**390+54914454358*x1**389-80690399086*x1**388+3788723413*x1**387+6657597500*x1**50-27587838729*x1**49-11015114987*x1**48-62834670333*x1**202+14506585098*x1**201+6123240614*x1**200-23983987723*x1**199-8895963188*x1**198+74318166429*x1**197-59835752920*x1**196-29296586194*x1**195-28410809765*x1**194-57005146105*x1**193-58918383547*x1**203+10630344160*x1**1196-18556978555*x1**1197-164043335170*x1**1198-87839930075*x1**1199+4152300286*x1**1200+99517087469*x1**1201-73797793712*x1**1202-25260491411*x1**1203+76114220378*x1**1204+40133672638*x1**1205-230680916222*x1**1206+219293086650*x1**1207+3638620539*x1**1208-6652308741*x1**1209+12775249723*x1**1210+3251379936*x1**1211-75721519451*x1**1212-163406006228*x1**1213-165491770209*x1**1214+46054734359*x1**1215-741970731*x1**1216+99721318208*x1**1217-48283084345*x1**1218-201279475291*x1**1219+57418480238*x1**1220-134680981668*x1**1221+34536313632*x1**1222+10430882187*x1**1223+70914285740*x1**1224-108730001945*x1**1225+184561606957*x1**1226-50600427283*x1**1227+27438909544*x1**1228+3869947176*x1**1229-99212395993*x1**1230-122356266132*x1**1231+190721719645*x1**1232+10663679376*x1**1233+171017341569*x1**1234-61192181164*x1**1235+100411947630*x1**1236-85397438998*x1**1237+106275225374*x1**1238+3419807107*x1**1239+36976923465*x1**1240+57882249834*x1**1241-107227057330*x1**1242-45892223123*x1**1243+39898058432*x1**1244-25685770417*x1**1245-15437084634*x1**1246+79678067292*x1**1247+53459571441*x1**1248-9772387681*x1**1249-8634944328*x1**1250-103233454566*x1**1251+80654434021*x1**1252-30348898500*x1**1253+31622090094*x1**1254-59747674770*x1**1255+50418039889*x1**1256-131270697937*x1**1257+73386317355*x1**1258-33268294896*x1**1259+220123546149*x1**1260-47814110905*x1**1261+31648485555*x1**1262+50736345265*x1**1263+12957979612*x1**1264-12352680940*x1**1265+8954284112*x1**1266+4405063605*x1**1267-66479748368*x1**1268+98898741778*x1**1269+137071640600*x1**1270-13677831086*x1**1271-32633620324*x1**1272+100644420930*x1**1273-101006678220*x1**1274+57929446438*x1**1275-46456850356*x1**1276+119383219795*x1**1277-68889453480*x1**1279+27403268808*x1**1278-9452745528*x1**500+12505989143*x1**499-88746500517*x1**498+36522434736*x1**497+105148848765*x1**496-31099548526*x1**495-29920704228*x1**494-84722298862*x1**493-14005980691*x1**492+18668364817*x1**491+2284051770*x1-33852801349*x1**437+24746815214*x1**436+14725842338*x1**435+71589114295*x1**434+95344800351*x1**433-103870206918*x1**432-2292807366*x1**431+122702353734*x1**430-39127758310*x1**429+71141989765*x1**428+91775420843*x1**427+29584402698*x1**281+34879992632*x1**280-7929148263*x1**279-62511168551*x1**278+75173708697*x1**277+2210745302*x1**276+47365447862*x1**275+34770067078*x1**274+15629493834*x1**273+123387217284*x1**272-83879189754*x1**271+90474389247*x1**270+20723731518*x1**269-13648232822*x1**268+135048430531*x1**360+9779963494*x1**359-79763997627*x1**358+80167613186*x1**357+59427033891*x1**356-56617078458*x1**355+70792836473*x1**354-42721386790*x1**353+18854232633*x1**352-27799012434*x1**351-7540762106*x1**350+51000825517*x1**349-61789935211*x1**348+6364435339*x1**21-8596138092*x1**20-13862640657*x1**19+12972909594*x1**18+25640262624*x1**168+73106364011*x1**167+50996630476*x1**166-46522919587*x1**165-2318061818*x1**164-46439765345*x1**163+3018635654*x1**162-51033321714*x1**161-54420823241*x1**160-25754428117*x1**159-20957251811*x1**158-56979883142*x1**157-113069491386*x1**156+78310111278*x1**155+8791974299*x1**41-20484038584*x1**39+65329554945*x1**186+63604634904*x1**185+67548191757*x1**184-46287362343*x1**183+86853548227*x1**182-78112812263*x1**181-39054030995*x1**180+70082669285*x1**179+4991564873*x1**178+35132330683*x1**177+5220672794*x1**176+27538233543*x1**175+45604753836*x1**463-72517449336*x1**462-172648125640*x1**461+77371325704*x1**460+103318563842*x1**459-47970420952*x1**458-173692529*x1**457-16267041286*x1**456-39608578784*x1**455-44014507517*x1**454-40698179828*x1**453+64997452090*x1**452-16621185638*x1**10-5839518904*x1**9+7779380684*x1**8+7805287316*x1**7-931618705*x1**154+77399210009*x1**153-12286080400*x1**152-15618003169*x1**151-44221287122*x1**150+44169698801*x1**149-77234959789*x1**148+19578529715*x1**147-2795707215*x1**146-11375091988*x1**145+21793365806*x1**144+31454951276*x1**143+6091116508*x1**142+7402060559*x1**3-15638332394*x1**2-16846517099*x1**294-6573457577*x1**293-36345200919*x1**292+104115784551*x1**291-32337698003*x1**290+17593183564*x1**289+90879035663*x1**288+124574515327*x1**287-2750093470*x1**286+74836130434*x1**285+28760033840*x1**284+76932285409*x1**283+70510978158*x1**282+2131234223*x1**217-47160319189*x1**216-4500367537*x1**215-10694873972*x1**214-13052396086*x1**213-119312329735*x1**212-12249530649*x1**211-58377372451*x1**210+61312423521*x1**209-62735937652*x1**208-18739775224*x1**207+19541226826*x1**206+52687803759*x1**205-48487381888*x1**204+49838817064*x1**490+103336940622*x1**489-114398006939*x1**488+40164473234*x1**487+22188458973*x1**486+102241404959*x1**485-132777915090*x1**484+77723628319*x1**483+29176152754*x1**482+116603267994*x1**481-14526032223*x1**480-45775708833*x1**479-267391385*x1**478+22100788607*x1**17-11428840425*x1**16-954947579*x1**15+6057723695*x1**14+63494717499*x1**1364-10349348333*x1**1365-11354317920*x1**1366+90668431927*x1**1367-92110654585*x1**1368+231933389918*x1**1369+19189606214*x1**1370+37836457811*x1**1371-41835147412*x1**1372-64829306413*x1**1373-99539521475*x1**1374+14786388671*x1**1375+213836900645*x1**1376+22624850100*x1**1377+4395435896*x1**1378-93161939597*x1**1379+89789272863*x1**1380-63671202085*x1**1381-18208723976*x1**1382+102193294445*x1**1383+42149570567*x1**1384-57427709585*x1**1385-101096944615*x1**1386+62581117784*x1**1387-58899807423*x1**1388+115177108233*x1**1389-19168792202*x1**1390+38132618085*x1**1391-50907816003*x1**1392-23737421785*x1**1393-65750929733*x1**1394-8568961669*x1**1395-37662793882*x1**1396+101039333860*x1**1397-47341688773*x1**1398+9724870415*x1**1399-15791202897*x1**1400+13843025496*x1**1401-128893801207*x1**1402-32183995709*x1**1403-139023659805*x1**1404-42684304557*x1**1405-14610977549*x1**1406+57122422992*x1**1407+128491635951*x1**1408+3614885611*x1**1409-36404761221*x1**1410-112811070097*x1**1411+153443879256*x1**1412+164794102332*x1**1413+134470678635*x1**1414-88690316169*x1**1415-74374605027*x1**1416-90950545612*x1**1417-104814317576*x1**1418-177228350594*x1**1419-11835540964*x1**1420+20873445658*x1**1421-195114255686*x1**1422+87306904630*x1**1423+59376189861*x1**1424-117251826188*x1**1425+57626371798*x1**1426+17253066619*x1**1427-65717447508*x1**1428+38123913202*x1**1429+64257781929*x1**1430-110886945374*x1**1431+70757769597*x1**1432+10322610698*x1**1433-48134918817*x1**1434-56503764527*x1**1435+117474984824*x1**1436+33765540181*x1**1437+107731007106*x1**1438+96338855448*x1**1439+8934843329*x1**1440-30541434613*x1**1441+72531211591*x1**1442+30197093191*x1**1443+72368177095*x1**1444-76451969600*x1**1445-92672018447*x1**1446-1744298703*x1**51+26882297486*x1**52-18398383509*x1**53+3005642217*x1**54+3593805670*x1**55-21740657388*x1**56+6314837654*x1**57-14388840020*x1**58-48213795147*x1**59-11593118081*x1**60-1502891403*x1**61+37639792348*x1**62+4590584128*x1**63+62090294921*x1**64+31955540056*x1**65-8921556943*x1**66+21988615968*x1**67-23025433031*x1**68+38334620159*x1**69+19779920702*x1**70-16146115882*x1**71+18104295332*x1**72-20379887728*x1**73+28122778533*x1**74-22233760331*x1**75+2601350324*x1**76-23301155844*x1**77+27813631959*x1**78-37895927213*x1**79-2648750595*x1**80+24636697824*x1**81+17895391597*x1**82+8568029391*x1**83+36393556404*x1**84+17452747156*x1**85-49612336092*x1**86-10886997637*x1**87-11130667420*x1**88+29158789170*x1**89-5400236199*x1**90+77812065577*x1**91-49643768511*x1**92-13107221267*x1**93-52311659384*x1**94+34469782323*x1**95-35571894501*x1**96+53972502564*x1**97+30760824828*x1**98+100388019377*x1**99+97252215701*x1**386-116099602858*x1**385+76103387516*x1**384-11150909008*x1**383-43760747755*x1**382+30435548717*x1**381+105763654230*x1**380+62286795532*x1**379+76050666216*x1**378+37247029295*x1**377+2903246935*x1**376+17740821225*x1**375-67645627457*x1**374+1068927231*x1**40-21411907744*x1**38+30329881614*x1**37-30031713761*x1**36+18856879565*x1**35+28958849017*x1**308-11122674865*x1**307+16515984422*x1**306-44335554221*x1**305+54476123312*x1**304-20904234081*x1**303+61391311771*x1**302-16775061346*x1**301+3210400498*x1**300+56658482015*x1**299-105337656712*x1**298+33759085293*x1**297+61939776273*x1**296-41177733805*x1**295-59566196142*x1**141+18476269572*x1**140-23088141060*x1**139-11801865656*x1**138+30847010853*x1**137+21929475729*x1**136+31313930007*x1**135-2990246614*x1**134-14929686587*x1**133+38476911951*x1**132-46205516843*x1**131-13904775963*x1**130+10524952653*x1**129+40066745986*x1**128+1970323384*x1**244+1446777973*x1**243+2391572443*x1**242-89493321216*x1**241+39101186256*x1**240+98222226415*x1**239-9239552468*x1**238+5916325669*x1**237+36005795144*x1**236+45537168101*x1**235-40607567937*x1**234-3750879706*x1**233+57951296798*x1**232-7755123318*x1**413-37469436811*x1**412+70016616413*x1**411-42829701116*x1**410-40550876166*x1**409-36147696900*x1**408+65981234023*x1**407-122609177512*x1**406-32890978471*x1**405+89421010177*x1**404+24395518617*x1**403+97415643004*x1**402-61366468342*x1**401-68686837546*x1**400-24197772525*x1**100-55496272864*x1**267+11842466716*x1**266+11739104212*x1**265+45395994939*x1**264-2462010012*x1**263-46901504750*x1**262+2194886178*x1**261-43818646770*x1**260-64456303482*x1**259-42678178437*x1**258+16930473337*x1**257-79111479558*x1**256+55486339504*x1**255-6531034828*x1**34+27035707153*x1**33-29177734926*x1**32-102519500337*x1**127-25120666485*x1**126-30579535492*x1**125+9392730819*x1**124-19261680565*x1**123+9092366703*x1**122-13808837057*x1**121-10767506476*x1**120+9387090911*x1**119+5861529627*x1**118+30570618150*x1**117+9821369125*x1**116+27953902351*x1**115+25585821707*x1**102-9147523101*x1**101-43069458046*x1**103-77197009243*x1**254+41768972254*x1**253-51107733143*x1**252+2179732347*x1**251-73246837376*x1**250-76028238883*x1**249-15944993585*x1**248-122980270638*x1**247+29301117006*x1**246-10775309722*x1**245+18396353043*x1**13-16862760430*x1**12+15452547818*x1**11-10527226187*x1**319+101533968365*x1**318+45962612479*x1**317-40854272816*x1**316+29357583774*x1**315-98334493728*x1**314-26844181578*x1**313+152535370585*x1**312-48558849904*x1**311-65465771182*x1**310+48084068810*x1**309-798955677*x1**31+35715352173*x1**30-41114886366*x1**29-10576978086*x1**6-11825376542*x1**5+7286512470*x1**4+18388806457*x1**1280+161794076352*x1**1281-28337710306*x1**1282-17255976845*x1**1283-76008915764*x1**1284+55400148387*x1**1285-60639021891*x1**1286-101066145720*x1**1287-123972185159*x1**1288+87115039832*x1**1289-155574783014*x1**1290+23730856463*x1**1291+309102172*x1**1292-106791492726*x1**1293-237381096018*x1**1294+28548371390*x1**1295-330246556*x1**1296-29689811838*x1**1297-189254819970*x1**1298-30865123604*x1**1299-44582502556*x1**1300-111505655799*x1**1301-44557592539*x1**1302+53733507680*x1**1303+20819197021*x1**1304+1395361755*x1**1305-49184624216*x1**1306-40903280869*x1**1307-93317035741*x1**1308-28525136465*x1**1309+46815641959*x1**1310-37147646401*x1**1311-171269226982*x1**1312+55545463284*x1**1313+26432914392*x1**1314+63358274704*x1**1315-21229429338*x1**1316-128600950288*x1**1317-42113338606*x1**1318-140824193885*x1**1319-2326798220*x1**1320+64192104658*x1**1321-51630561209*x1**1322-49498217773*x1**1323-90416752098*x1**1324+83991720563*x1**1325+150608820483*x1**1326+65119613397*x1**1327+20967841540*x1**1328-95934246964*x1**1329-177636442910*x1**1330-104683025381*x1**1331+46752411240*x1**1332-71028555511*x1**1333-80536733392*x1**1334-60889544079*x1**1335-22450515462*x1**1336-61149950566*x1**1337-23445736673*x1**1338-50742295044*x1**1339+41001013374*x1**1340+94763809142*x1**1341+77883336357*x1**1342-53873424849*x1**1343-85586877816*x1**1344+147245896720*x1**1345+103273157293*x1**1346+49487544766*x1**1347-129528420075*x1**1348-61945581330*x1**1349-76408360080*x1**1350+84312569941*x1**1351+3005072928*x1**1352+21564682198*x1**1353-99865781821*x1**1354-96904486038*x1**1355-67290910420*x1**1356+121809010991*x1**1357-201280052*x1**1358-25659166014*x1**1359-7854234250*x1**1360+83496185253*x1**1361-156457302131*x1**1363-130043471771*x1**1362-116623034666*x1**1447+63340754284*x1**1448+29056858824*x1**1449-14463741969*x1**1450+101462718016*x1**1451-69374438503*x1**1452-104332978401*x1**1453+14930947674*x1**1454+32883271359*x1**1455+37930611868*x1**1456-16920913941*x1**1457-80230082425*x1**1458+46610161083*x1**1459+19972507802*x1**1460-59510262751*x1**1461+10916713060*x1**1462+57866464903*x1**1463-10394342923*x1**1464-90970881156*x1**1465+37858629616*x1**1466-106679590218*x1**1467-24913741790*x1**1468+109967614373*x1**1469+48890249817*x1**1470+1848149679*x1**1471-98549032445*x1**1472+60720768502*x1**1473+137842172780*x1**1474+5243491906*x1**1475-59750299327*x1**1476+45228722812*x1**1477+27935880244*x1**1478+80537672690*x1**1479-20295991643*x1**1480-87845315347*x1**1481+50218956865*x1**1482-38373564442*x1**1483-20957663060*x1**1484+27711035106*x1**1485+95016265056*x1**1486+55710516985*x1**1487+82619750454*x1**1488+110859243542*x1**1489+53435806482*x1**1490-133528838222*x1**1491+158330827120*x1**1492-97083117015*x1**1493+111387362388*x1**1494+85479818296*x1**1495-10482105703*x1**1496-2572665530*x1**1497+133068208484*x1**1498+4146821725*x1**1499+68330996935*x1**1500-28065751920*x1**1501+15974361469*x1**1502-85929799702*x1**1503-28686472019*x1**1504+148667781296*x1**1505-10084131821*x1**1506-94793837277*x1**1507-84791761144*x1**1508-63678878999*x1**1509+39694015413*x1**1510+446659189*x1**1511+95377871547*x1**1512+9666212199*x1**1513+161795671654*x1**1514-91000484021*x1**1515+145579875230*x1**1516+81265093794*x1**1517-998831496*x1**1518-128803139300*x1**1519+52770776790*x1**1520-146403349418*x1**1521+32587886089*x1**1522-75251805801*x1**1523+166805166779*x1**1524-57035303250*x1**1525+57521577337*x1**1526+21285234901*x1**1527+3027584246*x1**1528+105899112243*x1**1529+14781758392*x1**1530-22683394179*x1**1531-25210689640*x1**1532+99935945643*x1**1533-84021930147*x1**1534+42259497554*x1**1535+45907068922*x1**1536+84279071229*x1**1537-29539017121*x1**1538+45338942887*x1**1539-24806480906*x1**1540+87977283203*x1**1541+62516484079*x1**1542+159450661656*x1**1543-23655833088*x1**1544-44112269864*x1**1545+10606111566*x1**1546-8499088313*x1**1547+96101127142*x1**1548-89377300943*x1**1549-59851591087*x1**1550-56214120248*x1**1551-157507855204*x1**1552-62249119108*x1**1553-85445577597*x1**1554-4401721329*x1**1555-101536174643*x1**1556-58119121629*x1**1557-114925796667*x1**1558+48574709630*x1**1559-34280314464*x1**1560+14766752770*x1**1561-30236783234*x1**1562-14509377591*x1**1563-209749274080*x1**1564-37393636602*x1**1565-59883917907*x1**1566+90592372530*x1**1567-125327647858*x1**1568-144372630004*x1**1569+17757782785*x1**1570+32530054069*x1**1571-103160474054*x1**1572+27004259534*x1**1573+36592332602*x1**1574-49900527049*x1**1575+109450983286*x1**1576+87454580007*x1**1577-22429929394*x1**1578-90955942668*x1**1579-52085998619*x1**1580+7542444291*x1**1581-129095640958*x1**1582-116117273631*x1**1583-15362293016*x1**1584-75422573875*x1**1585+104080240756*x1**1586+29567135838*x1**1587-85533231646*x1**1588-14007407713*x1**1589-72167537141*x1**1590+15578436550*x1**1591+37099609795*x1**1592+5366651746*x1**1593-80006924851*x1**1594+21429342288*x1**1595+30269096496*x1**1596-56303168087*x1**1597-32192045909*x1**1598-24090181314*x1**1599-91201040971*x1**1600-90424483245*x1**1601-41789191466*x1**1602+48796472891*x1**1603+6667317240*x1**1604-20054404612*x1**1605+90717205115*x1**1606-45574268144*x1**1607+96577965375*x1**1608-84937868700*x1**1609+15254114769*x1**1610-85324218128*x1**1611-36100598429*x1**1612+59140120545*x1**1613+28348387068*x1**1614-25936772983*x1**1615+14152778910*x1**1616+93013422289*x1**1617+5325703012*x1**1618+5299012928*x1**1619-114456880810*x1**1620+24631873118*x1**1621+71187736583*x1**1622+44454005446*x1**1623-65564007677*x1**1624-18686868545*x1**1625-38320190467*x1**1626-11068635951*x1**1627+38623912436*x1**1628+128145741026*x1**1629-47444447640*x1**1630-69911372525*x1**1631+73982054085*x1**1632+67625321661*x1**1633-43780921866*x1**1634+42499209425*x1**1635+112438203531*x1**1636-29637261064*x1**1637+29717059942*x1**1638+73064218527*x1**1639+78354730927*x1**1640-23583391619*x1**1641+51406219011*x1**1642-49806860311*x1**1643-22338703465*x1**1644-37561475541*x1**1645+87296115958*x1**1646-25055231815*x1**1647-26132634595*x1**1648+51665990532*x1**1649-172652705651*x1**1650-104663637871*x1**1651+11737785837*x1**1652+47284031389*x1**1653-125440895392*x1**1654-42350923347*x1**1655+22245934791*x1**1656+50062160311*x1**1657+26993180274*x1**1658+93916764416*x1**1659+17723933407*x1**1660-7709629970*x1**1661-10925189482*x1**1662-87095313733*x1**1663-24424934930*x1**1664+138103101710*x1**1665+9725815469*x1**1666-95975878178*x1**1667+111443666516*x1**1668-96028904366*x1**1669-61862950969*x1**1670+20517212289*x1**1671+85165260123*x1**1672-168755515234*x1**1673-45383540058*x1**1674-14246010186*x1**1675+5321412602*x1**1676-97837120785*x1**1677+63051474234*x1**1678-11622330015*x1**1679-6813440517*x1**1680-158000336988*x1**1681-61045444490*x1**1682-16113615735*x1**1683+42790018648*x1**1684-55289921194*x1**1685-55354435735*x1**1686+7663298003*x1**1687-75007919562*x1**1688+155177776611*x1**1689+58476171975*x1**1690+2632834366*x1**1691+18899732593*x1**1692+26511602610*x1**1693+105064498377*x1**1694+61127828457*x1**1695+6326945505-959052659*x1**1696-73433944554*x1**1697+17547912794*x1**1698-54354897407*x1**1699-58838742934*x1**1700+94679918763*x1**1701+42039556955*x1**1702-130770900613*x1**1703-54147770285*x1**1704+31508315675*x1**1705+18763864996*x1**1706-22723355698*x1**1707+23015897095*x1**1708-73252327021*x1**1709-66778379186*x1**1710-33519375139*x1**1711+8936095442*x1**1712-54146328075*x1**1713+3330235304*x1**1714-19390098322*x1**1715+48324815570*x1**1716-22141912841*x1**1717-37722070562*x1**1718+26839695493*x1**1719+76090925762*x1**1720+88225567190*x1**1721+47256653156*x1**1722+30627370862*x1**1723-63714216871*x1**1724-18205624350*x1**1725+59802680427*x1**1726+53057549555*x1**1727+14174441194*x1**1728+75765825464*x1**1729+32963108753*x1**1730-12499134875*x1**1731+27273333256*x1**1732+9234764883*x1**1733-22990113287*x1**1734-30534003983*x1**1735+5390988324*x1**1736+51965774003*x1**1737+36123492542*x1**1738+23495532313*x1**1739+24538679309*x1**1740+48466824303*x1**1741+25810926063*x1**1742-12309341239*x1**1743+71863273789*x1**1744+27521706644*x1**1745+51703817418*x1**1746+31047946433*x1**1747-17225947158*x1**1748+113616875883*x1**1749+48119672693*x1**1750+32640697894*x1**1751+5838339810*x1**1752+35494583363*x1**1753+35996883701*x1**1754+64454412007*x1**1755+67672887170*x1**1756+24852637977*x1**1757+39599198948*x1**1758+100612424867*x1**1759+61066112206*x1**1760-47730662897*x1**1761-75220323201*x1**1762-7637941778*x1**1763-13208589131*x1**1764+55098518018*x1**1765+102817175067*x1**1766-46374680712*x1**1767+7922233525*x1**1768+12354251760*x1**1769-17497361436*x1**1770-59990480700*x1**1771-2475917864*x1**1772-53137166580*x1**1773-65697709393*x1**1774+8377278120*x1**1775-39634303915*x1**1776+27494498566*x1**1777-6623951999*x1**1778-2860049814*x1**1779+45174937843*x1**1780+19218150182*x1**1781+31009745617*x1**1782-57914680622*x1**1783-93027860213*x1**1784-32466824482*x1**1785-87664162092*x1**1786-40426743792*x1**1787+22191823745*x1**1788-4385019263*x1**1789+40619736886*x1**1790-59537851776*x1**1791+29407007656*x1**1792+25083658856*x1**1793+16109214404*x1**1794-2628597691*x1**1795+90593408292*x1**1796+73529865188*x1**1797+69070203891*x1**1798-22715686937*x1**1799-47275795580*x1**1800+24349081011*x1**1801+37519310529*x1**1802-30466082586*x1**1803+16849925300*x1**1804+52411382847*x1**1805-49758979601*x1**1806+15679528686*x1**1807+76574645775*x1**1808+46732065431*x1**1809-67248446805*x1**1810-41574164595*x1**1811-45948531070*x1**1812-91525781500*x1**1813-98636828248*x1**1814-62341009634*x1**1815-106737947357*x1**1816+5944715919*x1**1817+27959962466*x1**1818-18281456838*x1**1819+43419080798*x1**1820+8238895067*x1**1821+57794363933*x1**1822-3885695019*x1**1823-16620769333*x1**1824+20617426129*x1**1825+31772378717*x1**1826-77659311932*x1**1827-2614944050*x1**1828-53541082178*x1**1829+47415264521*x1**1830+19297049465*x1**1831-50744052035*x1**1832-14699341644*x1**1833-20185897392*x1**1834+11304473461*x1**1835-8417793205*x1**1836+42208138630*x1**1837+40010050281*x1**1838+8580892377*x1**1839+744941642*x1**1840+13372194202*x1**1841+14518343301*x1**1842-12610498299*x1**1843-19180304452*x1**1844+25853574415*x1**1845-39663241273*x1**1846-51735769060*x1**1847+28701486795*x1**1848+34631767452*x1**1849+30665603097*x1**1850-31737130343*x1**1851-11359635277*x1**1852-53356680586*x1**1853+34804124525*x1**1854-29905007001*x1**1855-16020507432*x1**1856-11717124778*x1**1857+34454112900*x1**1858-29236460046*x1**1859-27386914094*x1**1860+48525768547*x1**1861+28213658802*x1**1862+8947787875*x1**1863+57150247624*x1**1864+8348708750*x1**1865+8808792586*x1**1866+25213586793*x1**1867+56635111548*x1**1868-9337443075*x1**1869+21165923060*x1**1870+18588461938*x1**1871+30858411086*x1**1872+3419917365*x1**1873+77549765533*x1**1874-7998236281*x1**1875-19374386693*x1**1876-35418234974*x1**1877+38577714149*x1**1878+15358209695*x1**1879+34405664552*x1**1880+4306560036*x1**1881-60158002*x1**1882-22204346895*x1**1883+9575772188*x1**1884+38275674214*x1**1885+76935802774*x1**1886-8688725759*x1**1887+4641950168*x1**1888+26752524534*x1**1889+11976777389*x1**1890+47203277801*x1**1891+34427926908*x1**1892-10684178562*x1**1893+11127497799*x1**1894+42062545265*x1**1895-53825407401*x1**1896+4989669095*x1**1897+55453648034*x1**1898+20983145705*x1**1899-14958562665*x1**1900+8355251080*x1**1901+24031795321*x1**1902-29739158452*x1**1903+21980289986*x1**1904-17205919827*x1**1905+7346027701*x1**1906+11569319363*x1**1907+13614834645*x1**1908-35975188961*x1**1909+46603311768*x1**1910+30120456597*x1**1911-8478220385*x1**1912-56827863625*x1**1913+30296155243*x1**1914-36287579039*x1**1915-24672161998*x1**1916+24469720179*x1**1917-35478863962*x1**1918-54234895242*x1**1919-66565864759*x1**1920-40947685264*x1**1921-19971682562*x1**1922+2385658644*x1**1923-29296192350*x1**1924+1423940493*x1**1925-10597630015*x1**1926-20525914191*x1**1927+2929730657*x1**1928+16463714177*x1**1929+12681038897*x1**1930-19145947289*x1**1931-13466142524*x1**1932-20222110298*x1**1933-19251726839*x1**1934-37002885076*x1**1935-7802339043*x1**1936-47523780291*x1**1937+8321382372*x1**1938+13992616571*x1**1939+26068955056*x1**1940-8086679459*x1**1941+286270153*x1**1942-2705340674*x1**1943+255535813*x1**1944-34493130463*x1**1945-8359391510*x1**1946+32075412687*x1**1947+3157786517*x1**1948-5134583707*x1**1949+20294329376*x1**1950-5719300052*x1**1951-3610361046*x1**1952+19714585416*x1**1953+31029310975*x1**1954+6525668645*x1**1955-17551589763*x1**1956+6326740399*x1**1957+4078698282*x1**1958-19314799201*x1**1959-3581682397*x1**1960-18696461472*x1**1961-45787235498*x1**1962-39343868284*x1**1963-25552626240*x1**1964-47676215824*x1**1965-6535189504*x1**1966-20440671693*x1**1967-27850667563*x1**1968-2284895619*x1**1969+12350652323*x1**1970+10616601145*x1**1971+34114023739*x1**1972+31816702425*x1**1973+26974067096*x1**1974+29215489795*x1**1975+23576334729*x1**1976+34095198361*x1**1977+21863597299*x1**1978+23856960019*x1**1979+25344212108*x1**1980+15345894525*x1**1981+2452061679*x1**1982-7870355413*x1**1983-19430775349*x1**1984-11433900994*x1**1985-14519775288*x1**1986-12549755734*x1**1987+1850026837*x1**1988-7355516784*x1**1989-5810824702*x1**1990+512283203*x1**1991-246928108*x1**1992+2728608*x1**1993-1528915243*x1**1994-3274467887*x1**1995+111483392*x1**1996+204389413*x1**1997-1867708432*x1**1998+274767516*x1**1999-407080161*x1**2000+9253740790*x1**231+13104137650*x1**230+34300405699*x1**229-8555184450*x1**228+43336832551*x1**227-56284596497*x1**226-25147990866*x1**225+60729543880*x1**224-33106841378*x1**223+6879339359*x1**222+66221993617*x1**221+78495102233*x1**220+59060525921*x1**219-45581015054*x1**218-32695677520*x1**1001+5858837086*x1**1002+11101676909*x1**1003+54178409615*x1**1004-102677317737*x1**1005+49344188139*x1**1006-51959708001*x1**1007+105417515933*x1**1008+46478254597*x1**1009+128535749044*x1**1010-94364594821*x1**1011+33413669637*x1**1012-45620718356*x1**1013-100703155988*x1**1014+182697936406*x1**1015-4328691289*x1**1016-10572913320*x1**1017+140226913701*x1**1018+53616253797*x1**1019+20429764848*x1**1020-12296179015*x1**1021-28995067707*x1**1022+60058804070*x1**1023+946107762*x1**1024-123343657863*x1**1025-119844451014*x1**1026-25586132061*x1**1027+228044249670*x1**1028-78424973402*x1**1029+15544042868*x1**1030-156169819256*x1**1031+133624252178*x1**1032+134097573058*x1**1033+10968367799*x1**501-18881216863*x1**502+33402630296*x1**503+76127322783*x1**504+159555881935*x1**505-49965731760*x1**506+115209281005*x1**507-76077580384*x1**508-78116158821*x1**509+117550323107*x1**510+26979777455*x1**511-155912045504*x1**512+103479368669*x1**513+57621022564*x1**514-13401704476*x1**515+45474459041*x1**516-96550433410*x1**517-33742521550*x1**518-151057690994*x1**519-56249009463*x1**520-18145952124*x1**521-34496211522*x1**522-37529073802*x1**523-60399419461*x1**524+76579518486*x1**525+9508878552*x1**526-135885189822*x1**527+46048035428*x1**528-30487445718*x1**529-109948921884*x1**530+70391869697*x1**531-98966950587*x1**532-44645403425*x1**533+5885105007*x1**534-70206621840*x1**535+132109982423*x1**536+5785503183*x1**537+43805605951*x1**538-212103940095*x1**539+2924498758*x1**540-35677811233*x1**541+95766897237*x1**542+77061233199*x1**543+150823590075*x1**544+51669758591*x1**545+16098118870*x1**546+62776931078*x1**547+37921177915*x1**548-72391602956*x1**549+103759653977*x1**550+118007269422*x1**551+74135478514*x1**552+37851770609*x1**553-27151771323*x1**554+135262774533*x1**555-148721705333*x1**556-57897207026*x1**557+213375944794*x1**558+2012721198*x1**559-180168011470*x1**560-208947464842*x1**561+5976005785*x1**562-122773099578*x1**563-66719865278*x1**564-44726841245*x1**565+48311917869*x1**566-183072526346*x1**567+76608052065*x1**568-103253918977*x1**569-105765112928*x1**570-109313878463*x1**571-83146150392*x1**572-79800305957*x1**573+12469814261*x1**574-57834727129*x1**575+31234388882*x1**576-29973254616*x1**577-27479417998*x1**578+85884874224*x1**579-149843470993*x1**580+139085218821*x1**581+36488567498*x1**582-140867295982*x1**583-81036140847*x1**584-14734953476*x1**585+68113949406*x1**586+76145793396*x1**587+44037201888*x1**588-58467597905*x1**589+57456355271*x1**590-46396703755*x1**591+218686220932*x1**592-103656661497*x1**593+27260907290*x1**594-74244694267*x1**595+75519577923*x1**596-31958208950*x1**597+56019215687*x1**598-17061668425*x1**599+105139109203*x1**600+77415602565*x1**601-108954493245*x1**602+85140330302*x1**603-79572683246*x1**604+114764444877*x1**605-45484289011*x1**606-91760986422*x1**607-94315977182*x1**608+878602400*x1**609+16704751100*x1**610-45166613346*x1**611-79452542049*x1**612-64363757544*x1**613-82091593450*x1**614-66991607227*x1**615-33107406460*x1**616-84308321740*x1**617+41248072469*x1**618+151606030721*x1**619-20963307199*x1**620-76780636743*x1**621-60506307359*x1**622-65639868144*x1**623+77307497014*x1**624-120629395172*x1**625-58920551146*x1**626-72152119854*x1**627-13784023413*x1**628-29723302902*x1**629-59103450945*x1**630-42263718431*x1**631+90530664298*x1**632+2162738628*x1**633-58826755300*x1**634-28237680670*x1**635-104924312614*x1**636+100208929059*x1**637-70312120136*x1**638+77455696272*x1**639-63510025164*x1**640+13962573264*x1**641+51758925013*x1**642-19656476291*x1**643-90116387134*x1**644+41548179409*x1**645+167043690167*x1**646-13106079927*x1**647-12639563298*x1**648-31532919796*x1**649-81943547371*x1**650+2659468451*x1**651-72797097105*x1**652-17552611729*x1**653-68871406970*x1**654-78926317536*x1**655-51871988682*x1**656+10073360063*x1**657+117133535357*x1**658-39610605270*x1**659-124819309047*x1**660+186332751132*x1**661-5951967439*x1**662-48169310072*x1**663+20768672093*x1**664-91409373144*x1**665+19524139200*x1**666+127619304757*x1**667-98128438655*x1**668-4904617268*x1**669-57989017792*x1**670+73729690684*x1**671+89333834959*x1**672+99716011285*x1**673+103503472300*x1**674-84453399907*x1**675+8258389068*x1**676-9450340905*x1**677+7822296540*x1**678-78821470413*x1**679-83133235896*x1**680-80330275908*x1**681+22914959031*x1**682-152091289333*x1**683-36005600658*x1**684+127080114963*x1**685-68043079905*x1**686+49836751263*x1**687-51469985682*x1**688-6616590590*x1**689-69655808220*x1**690+115173723007*x1**691-45634640258*x1**692-21385988093*x1**693-300962360849*x1**694+58893380816*x1**695+62393657508*x1**696+48036552547*x1**697-134579469584*x1**698+140621673048*x1**699+7912276958*x1**700-21132961576*x1**701+65127930334*x1**702+131378452178*x1**703-15011857309*x1**704+30180971097*x1**705-80521071636*x1**706-11613585664*x1**707+7782812135*x1**708-19836259198*x1**709+76867406939*x1**710-192663376*x1**711+115884985152*x1**712-200807422928*x1**713+24839446685*x1**714+118564095011*x1**715-16582885964*x1**716+8953308047*x1**717+2612524258*x1**718+75668312401*x1**719-103182809527*x1**720+51780158587*x1**721+161189143724*x1**722-16275946972*x1**723-181335131597*x1**724-182505534903*x1**725+59091110661*x1**726-64607113177*x1**727-2296140395*x1**728-68790652631*x1**729-103730693290*x1**730-207388846791*x1**731-14552975373*x1**732-62805658879*x1**733+18781202924*x1**734-128986271973*x1**735+31639320741*x1**736-83104477502*x1**737-9885651183*x1**738+137707546857*x1**739+97735595675*x1**740+112807494432*x1**741+68402438627*x1**742+35895157342*x1**743+12428002821*x1**744-72588844028*x1**745-79799800966*x1**746+42629111745*x1**747+195740197570*x1**748-39606216107*x1**749+13892037724*x1**750-3213907310*x1**751+143251925064*x1**752+83337773036*x1**753+55289116209*x1**754+111071736278*x1**755+47114731432*x1**756+46017675542*x1**757+106534303190*x1**758+65005886163*x1**759-75480068719*x1**760-32231292099*x1**761-187585046063*x1**762+106574561203*x1**763-46410997680*x1**764+132837442879*x1**765+78280061721*x1**766+7680405380*x1**767-42516357685*x1**768+128713753555*x1**769-9029278097*x1**770+47246046167*x1**771+187701638909*x1**772+19911051190*x1**773-30984914944*x1**774-2484314352*x1**775+7170418460*x1**776-1284643600*x1**777+89116539289*x1**778-20001530400*x1**779-90466507480*x1**780-74012539600*x1**781+57274308958*x1**782-24727523350*x1**783+128683569525*x1**784-103054717034*x1**785-142511386724*x1**786+73690538474*x1**787-89229469699*x1**788-74963796774*x1**789+71970802266*x1**790+133757287893*x1**791+187098918939*x1**792+132291921645*x1**793+107833456866*x1**794+64137348734*x1**795-45340423408*x1**796-20368785860*x1**797-35482501796*x1**798+104548164657*x1**799-225828818492*x1**800+83058094351*x1**801+197238886430*x1**802+71570704333*x1**803-14855122348*x1**804-11330859909*x1**805+73194349886*x1**806-85465641976*x1**807+195052602572*x1**808+181032739569*x1**809+15148060162*x1**810-148378949751*x1**811+51042083256*x1**812-69786758*x1**813+97712314954*x1**814-101202436100*x1**815-98106306738*x1**816-80219160719*x1**817-46257669081*x1**818-168779267268*x1**819+151005793010*x1**820+97144323363*x1**821+6301125373*x1**822-127837257500*x1**823+40902091406*x1**824-101906053776*x1**825-23279213783*x1**826-73850280596*x1**827+21474507157*x1**828-3710280111*x1**829+125929627807*x1**830-65005088220*x1**831+112378373235*x1**832-130261726208*x1**833-103928057603*x1**834+88732873688*x1**835+123408542087*x1**836-113183605499*x1**837-72717691074*x1**838+78681040025*x1**839+73703419129*x1**840+127758960193*x1**841+17259409183*x1**842-17726090931*x1**843+162215334739*x1**844-51931981106*x1**845-104999647147*x1**846-38897884082*x1**847+11139645386*x1**848+117700946259*x1**849+109990176394*x1**850-71799635745*x1**851-459245032*x1**852-69367307377*x1**853-2027522216*x1**854-7461919795*x1**855+129571738032*x1**856+95090476040*x1**857-95589373455*x1**858+144520675739*x1**859+8580136460*x1**860-76481988297*x1**861-80888061958*x1**862+175337057530*x1**863+39161149387*x1**864+46724848451*x1**865-25067481720*x1**866+109073193366*x1**867-20110082142*x1**868-2065440519*x1**869+196039832496*x1**870+51287378325*x1**871+226840092695*x1**872-85044341352*x1**873+36582038212*x1**874+22454235962*x1**875-37614234565*x1**876-12154781489*x1**877-92525662835*x1**878+43210605729*x1**879-29503086808*x1**880+47536718905*x1**881-119488430617*x1**882+41802893764*x1**883-36749803555*x1**884+96596043730*x1**885+46051300012*x1**886+90602974436*x1**887-53608972981*x1**888-5306460651*x1**889+98749285110*x1**890+131701203007*x1**891+25773458094*x1**892-46977988482*x1**893+6670499818*x1**894-68968602211*x1**895+21468836009*x1**896-70795434629*x1**897-151229340489*x1**898-79365642073*x1**899+89379856502*x1**900+180727114848*x1**901+19745037556*x1**902+20006492259*x1**903-68966001684*x1**904+130265998317*x1**905-117371414201*x1**906-7030328681*x1**907-56677471592*x1**908+19528257927*x1**909+44475269947*x1**910+3470169206*x1**911+22467959607*x1**912+98656618915*x1**913-13743860146*x1**914+23552943848*x1**915-138242276800*x1**916-88277644417*x1**917+47255373796*x1**918-31977886816*x1**919-115363640056*x1**920+25243901225*x1**921-105295249154*x1**922-36136467784*x1**923+52453236830*x1**924+80777038439*x1**925+44837049142*x1**926-55254888309*x1**927-68234489848*x1**928-92165707190*x1**929-179410896808*x1**930-6303111717*x1**931-80199610328*x1**932-15380092970*x1**933-33938724551*x1**934+17931510779*x1**935-96931631295*x1**936-48687303542*x1**937-19820879797*x1**938+37877911542*x1**939-143694146707*x1**940+113317058619*x1**941+20429285363*x1**942-171716251844*x1**943-84741152883*x1**944-40418477950*x1**945+78524492177*x1**946+22451226106*x1**947-92140592429*x1**948-224175995509*x1**949-94751427805*x1**950-40689590157*x1**951-160025438504*x1**952+101043700206*x1**953+174023744486*x1**954-42827761752*x1**955-14794443421*x1**956+243752790124*x1**957+61496900473*x1**958-36377552247*x1**959-58121282080*x1**960+144994090046*x1**961+92486830236*x1**962-149072168741*x1**963+50911986581*x1**964+63775356240*x1**965+97687261817*x1**966-46280177159*x1**967-7688043430*x1**968-39472067128*x1**969+73201769053*x1**970-58880360399*x1**971+170840419458*x1**972-54292746092*x1**973-103821886252*x1**974-83322943096*x1**975+76066200343*x1**976+165315085358*x1**977+5424131554*x1**978-67459706942*x1**979+159323933212*x1**980-107491571445*x1**981-55118253633*x1**982-17278583408*x1**983+19225845993*x1**984-114988147351*x1**985-79315655096*x1**986+11088007172*x1**987-60859418995*x1**988-145858383656*x1**989+113692045711*x1**990-75018497310*x1**991-365437868380*x1**992+35092192414*x1**993-110082408015*x1**994+51647441793*x1**995-184568312640*x1**996+99653476797*x1**997+38507247220*x1**998+123929024786*x1**999+172382798537*x1**1000-15653697225*x1**1034-40712974939*x1**1035-84481983259*x1**1036-183059486597*x1**1037+306329739993*x1**1038-86809010253*x1**1039-193596563569*x1**1040+77147957893*x1**1041+71846054998*x1**1042-37049094394*x1**1043-44803582029*x1**1044+15081867854*x1**1045-216710094742*x1**1046-47796798084*x1**1047-96211690279*x1**1048-189635981392*x1**1049-88214456018*x1**1050+63138650430*x1**1051-141086932675*x1**1052+179045473644*x1**1053+152961766238*x1**1054+42049851016*x1**1055-12923309793*x1**1056+77822981644*x1**1057+49606124226*x1**1058+64949849127*x1**1059+139832839733*x1**1060-79078674035*x1**1061-63872053437*x1**1062+5880968210*x1**1063+77059684059*x1**1064+118861193169*x1**1065-67361913998*x1**1066-170366309445*x1**1067-34162286067*x1**1068-69460395006*x1**1069+97779302218*x1**1070+216724014279*x1**1071+58118563580*x1**1072-206554378418*x1**1073+3910530696*x1**1074+9692241373*x1**1075+250051138068*x1**1076-24386215253*x1**1077-109899509519*x1**1078-3113733500*x1**1079+71737845657*x1**1080+65818722190*x1**1081-42083406251*x1**1082+114681977929*x1**1083+111087402900*x1**1084-36208556668*x1**1085+67189586885*x1**1086-95415909459*x1**1087-39930935857*x1**1088+61175159309*x1**1089-119992012339*x1**1090+85494280676*x1**1091-141608604262*x1**1092+17013318480*x1**1093-38635221143*x1**1094-48453647574*x1**1095+21051206372*x1**1096-158416995981*x1**1097+70402137413*x1**1098+49633932323*x1**1099-86748492368*x1**1100+104553685254*x1**1101-63949144239*x1**1102+419956495*x1**1103+16552807277*x1**1104-74328747961*x1**1105+75400756459*x1**1106+34917686845*x1**1107+37471578275*x1**1108-73580767536*x1**1109+77174108880*x1**1110+148715919329*x1**1111-66428402497*x1**1112+165172263241*x1**1113-26783742086*x1**1114+190088576166*x1**1115+54515121646*x1**1116+101483331390*x1**1117-108689512350*x1**1118+53249730955*x1**1119+72222967172*x1**1120-5526562207*x1**1121-207861618362*x1**1122+39979297711*x1**1123-131526399820*x1**1124+89213762352*x1**1125-62167567794*x1**1126-30249775241*x1**1127-2196583404*x1**1128+15230073656*x1**1129+60729041258*x1**1130+88532730048*x1**1131+10217062509*x1**1132-60718111019*x1**1133-57474242537*x1**1134+79431153433*x1**1135+80845158176*x1**1136+97779807512*x1**1137-56322792891*x1**1138-164156429512*x1**1139-19878255222*x1**1140+78282404374*x1**1141+98799976154*x1**1142-95492650246*x1**1143+93751186963*x1**1144-4498456358*x1**1145-65869796255*x1**1146+169995598057*x1**1147-50203042871*x1**1148+109603182180*x1**1149-111413589428*x1**1150+98314563037*x1**1151+67616351563*x1**1152+181622227355*x1**1153+20284657424*x1**1154-61079727667*x1**1155+147106285121*x1**1156-17573539453*x1**1157-30144779725*x1**1158-2161067542*x1**1159+39349893244*x1**1160-27707519713*x1**1161+94277219419*x1**1162+134402588238*x1**1163+179705148708*x1**1164-162624387842*x1**1165-67400319401*x1**1166+131747136365*x1**1167-38125149979*x1**1168-67302505083*x1**1169-70487051743*x1**1170+8837205881*x1**1171+83316371332*x1**1172+50807693411*x1**1173-52447034078*x1**1174-14301265462*x1**1175-147487671006*x1**1176-23113128499*x1**1177+8300673447*x1**1178+56955833747*x1**1179-12038131262*x1**1180+47065770458*x1**1181-157303901005*x1**1182+37559510536*x1**1183-148257314211*x1**1184+34849913846*x1**1185+45007732808*x1**1186-115806825639*x1**1187-161598801109*x1**1188-18347919490*x1**1189+60028556357*x1**1190+30303822679*x1**1191+161206159164*x1**1192-1888494396*x1**1193-4658087012*x1**1194-61288806540*x1**1195:;

n:=43051;
time(p:=gcd(p1 % n,p2 % n)); size(p); 
time(q:=gcd(q1 % n,q2 % n)); size(q); 
time(r:=gcd(r1 % n,r2 % n)); size(r);
