p1 := -2107-7967*x1+19271*x1**50+551*x1**49-39300*x1**48+23685*x1**51-47193*x1**61+22470*x1**63-11981*x1**64+4427*x1**65+12796*x1**66-11319*x1**67-44213*x1**68-18278*x1**69-8897*x1**70-15766*x1**71+10258*x1**72+13882*x1**73-23195*x1**74-8704*x1**75+4815*x1**76-13598*x1**77+13217*x1**78-16323*x1**79-13612*x1**80-14833*x1**62+25634*x1**52+17615*x1**54+14299*x1**55-19193*x1**56-4719*x1**57-51084*x1**58-14141*x1**59+22254*x1**60+61350*x1**53-7982*x1**81-5434*x1**82+16274*x1**83+7039*x1**84+4819*x1**85+13739*x1**86+7595*x1**87+13020*x1**88-1874*x1**89-11233*x1**90-24214*x1**91-11353*x1**92-2585*x1**93+22786*x1**94+18677*x1**95+16977*x1**96+1096*x1**97-9941*x1**98-5735*x1**99-6630*x1**100-11236*x1**35+21918*x1**34-7645*x1**33+12569*x1**32+44195*x1**42+7111*x1**41-5940*x1**40+8721*x1**39+8*x1**38+3951*x1**37-16955*x1**36+8166*x1**44+1255*x1**43-5677*x1**45+2889*x1**46-8483*x1**47-6954*x1**31-21427*x1**30-20019*x1**29-13763*x1**28-8902*x1**27-8764*x1**26+11613*x1**12+1365*x1**11-5613*x1**10+7489*x1**9+3585*x1**8-11942*x1**15+17166*x1**18-12107*x1**17-25122*x1**16+17961*x1**14-3205*x1**13+13609*x1**20-11190*x1**24+3638*x1**25+7883*x1**23-6332*x1**22+511*x1**21+31863*x1**19-2029*x1**4+2383*x1**3-4956*x1**2+1663*x1**7-6356*x1**6+4493*x1**5:; p2 := -2401-3773*x1-9484*x1**50-4086*x1**49-31296*x1**48-21634*x1**51+18525*x1**61-1327*x1**63+17211*x1**64+6097*x1**65+4392*x1**66+5639*x1**67+26737*x1**68+5985*x1**69-2186*x1**70+3352*x1**71+5962*x1**72+5413*x1**73+15009*x1**74+7176*x1**75+23806*x1**76-860*x1**77+16368*x1**78+9044*x1**79+4566*x1**80-7929*x1**62-13086*x1**52-84580*x1**54-17160*x1**55-4502*x1**56-56940*x1**57+5464*x1**58-25712*x1**59-41935*x1**60+2429*x1**53+12607*x1**81-4635*x1**82+1625*x1**83+11692*x1**84-22514*x1**85+14489*x1**86+6490*x1**87-6581*x1**88+5116*x1**89-9671*x1**90-18639*x1**91-1692*x1**92-9911*x1**93-3458*x1**94+2083*x1**95-10129*x1**96+6425*x1**97+986*x1**98+1890*x1**99+6205*x1**100+4746*x1**35+14296*x1**34+33685*x1**33+23430*x1**32-20474*x1**42+14725*x1**41-39167*x1**40+11129*x1**39+34455*x1**38+19625*x1**37+6082*x1**36+7384*x1**44-9814*x1**43+11853*x1**45-23402*x1**46+24318*x1**47+10912*x1**31+17976*x1**30-11869*x1**29+11588*x1**28+11503*x1**27+15005*x1**26-11632*x1**12-17281*x1**11+4819*x1**10-17526*x1**9+1700*x1**8-9352*x1**15+5662*x1**18-11328*x1**17+9618*x1**16-3703*x1**14+9162*x1**13-25581*x1**20+13776*x1**24-1141*x1**25-22249*x1**23-3267*x1**22-2752*x1**21+17790*x1**19+13366*x1**4-4768*x1**3+1366*x1**2+2927*x1**7+5018*x1**6-6514*x1**5:; q1 := -1368+2517*x1-62928*x1**500+126728*x1**499-139637*x1**498+27580*x1**50+22746*x1**49-2531*x1**48-14087*x1**51-5358*x1**61+46791*x1**63-7435*x1**64-40697*x1**65+13424*x1**66+30705*x1**67+9285*x1**68-11869*x1**69+16191*x1**70-17766*x1**71-60286*x1**72+12097*x1**73+9105*x1**74-31654*x1**75+9021*x1**76-53005*x1**77+19426*x1**78+53086*x1**79-25232*x1**80+12673*x1**62-31816*x1**52-21377*x1**54+618*x1**55+39344*x1**56+4398*x1**57-61128*x1**58-463*x1**59-8004*x1**60+6777*x1**53+896*x1**81-14671*x1**82-28762*x1**83-35402*x1**84-5453*x1**85+40572*x1**86+24269*x1**87-44167*x1**88-22203*x1**89-50138*x1**90-26643*x1**91+19350*x1**92+19349*x1**93+40256*x1**94+13649*x1**95-47903*x1**96-41079*x1**97-5645*x1**98-4755*x1**99-11582*x1**100-40612*x1**35+2800*x1**34+2779*x1**33-7942*x1**32-69752*x1**426+94597*x1**425+47154*x1**424+2012*x1**423+31277*x1**422+33408*x1**421+84807*x1**420+28863*x1**419+68957*x1**418+68073*x1**417+59170*x1**416+90828*x1**415-16413*x1**414-47850*x1**413+139517*x1**412-127726*x1**411+5282*x1**410+22398*x1**409+77991*x1**408+17422*x1**407+142163*x1**406+61882*x1**405+89785*x1**404+94572*x1**403-2414*x1**402-56973*x1**401-101640*x1**400-149488*x1**434-98144*x1**433+5076*x1**432+40468*x1**431+136215*x1**430+151022*x1**429+29277*x1**428-186747*x1**427-11950*x1**438+46996*x1**437-87072*x1**436+50978*x1**435-53867*x1**439+34216*x1**465-34398*x1**464+186429*x1**463+115912*x1**462+50371*x1**461-94614*x1**460-6364*x1**459+208358*x1**458-37065*x1**457-95153*x1**456+134795*x1**455-4809*x1**454-55455*x1**453-122445*x1**452+43069*x1**451-72494*x1**450+79409*x1**449-68950*x1**448-16066*x1**447-50587*x1**446-102418*x1**445-74453*x1**444+167227*x1**443-43709*x1**442+19063*x1**441-33367*x1**440+65259*x1**476+43375*x1**475-62053*x1**474+57480*x1**473+16073*x1**472+196982*x1**471+29802*x1**470-49897*x1**469-9948*x1**468+67615*x1**467-19190*x1**466-7500*x1**42+18420*x1**41-23816*x1**40-4876*x1**39+7627*x1**38+16788*x1**37-6120*x1**36+5817*x1**44+26641*x1**43-20495*x1**45-3115*x1**497-60587*x1**496-201311*x1**495-46792*x1**494+31565*x1**493+22845*x1**492-40022*x1**491-106106*x1**490-69754*x1**489+16080*x1**488+66696*x1**487+188430*x1**486+143305*x1**485+3480*x1**484+19886*x1**483-69468*x1**482+54910*x1**481-6406*x1**480+26650*x1**479+64640*x1**478-11401*x1**477-2757*x1**46+3794*x1**47+45223*x1**266+94576*x1**265+42457*x1**264-45418*x1**263+54839*x1**262+62286*x1**261-43253*x1**260+74164*x1**259-22360*x1**258+367*x1**267+87386*x1**297+1033*x1**293-34984*x1**292+15107*x1**291+29227*x1**290-60676*x1**289+37316*x1**288+67439*x1**287+28665*x1**286-30395*x1**285-12669*x1**284-118959*x1**283-76727*x1**282+40578*x1**281+12478*x1**280+139518*x1**279-64661*x1**278-70425*x1**277-51423*x1**276-75396*x1**275-69331*x1**274+14651*x1**273+65687*x1**272-33259*x1**271-5551*x1**270+26596*x1**269-48554*x1**268+30609*x1**31+13234*x1**30-24923*x1**29-18067*x1**28-12113*x1**27-23210*x1**26+89410*x1**323+102031*x1**322+57892*x1**321-20669*x1**320+60640*x1**319-1516*x1**318+2552*x1**317-34122*x1**333-49281*x1**332-16718*x1**331+96104*x1**330-15874*x1**329-42731*x1**328-33928*x1**327-29381*x1**326+25084*x1**325-91237*x1**324-11027*x1**334+21081*x1**345-6588*x1**344-85155*x1**343+81994*x1**342-27868*x1**341-18945*x1**340+94970*x1**339+74905*x1**338+84612*x1**337-2698*x1**336+24174*x1**335-961*x1**371-62269*x1**370+77449*x1**369-8992*x1**368-45317*x1**367+50793*x1**366+100850*x1**365+49600*x1**364+418*x1**363-38448*x1**362+111756*x1**361-59212*x1**360+83470*x1**359+38710*x1**358+41701*x1**357+4635*x1**356+34246*x1**355-47782*x1**354+63743*x1**353+14401*x1**352-2942*x1**351-15056*x1**350+909*x1**349-42355*x1**348-27510*x1**347-125124*x1**346-25863*x1**373+80195*x1**372+52262*x1**316+149353*x1**315-55819*x1**314+103411*x1**313+158668*x1**312-959*x1**311+41724*x1**310+62321*x1**309+40000*x1**308-48054*x1**307-43199*x1**306+111954*x1**305+10527*x1**304-22207*x1**303-44732*x1**302-62568*x1**301-57920*x1**300-5505*x1**299+4394*x1**298-18533*x1**296-3782*x1**295-68145*x1**294+31258*x1**399+2445*x1**398-23728*x1**397-17216*x1**396-63084*x1**395-4385*x1**394-95754*x1**393+63983*x1**392-53024*x1**391-44658*x1**390-17576*x1**389-41740*x1**388+6318*x1**387+6705*x1**386-84829*x1**385+53323*x1**384+853*x1**383+21916*x1**382+57967*x1**381-2589*x1**380+71462*x1**379-52141*x1**378-7581*x1**377-107109*x1**376+58294*x1**375-9185*x1**374+16162*x1**145-45541*x1**144-5390*x1**143+16722*x1**142-30871*x1**141+8858*x1**140-35953*x1**139-64934*x1**138-6993*x1**137-47839*x1**136+34376*x1**135+1714*x1**134-55912*x1**133+60713*x1**132-66513*x1**131+3055*x1**130-52112*x1**129-16474*x1**128+68069*x1**127-20608*x1**126+796*x1**125+37824*x1**124-61304*x1**123-43055*x1**122-17539*x1**121+680*x1**120-18792*x1**12+22675*x1**11+23056*x1**10+12449*x1**9+769*x1**8-70461*x1**156-13959*x1**155-3582*x1**154+38179*x1**153+509*x1**152+11510*x1**151+21141*x1**150-23384*x1**149-39509*x1**148+91242*x1**147+2943*x1**146+33565*x1**177-16919*x1**176+54064*x1**175-48549*x1**174+61080*x1**173-7615*x1**172-781*x1**171+37221*x1**170+67845*x1**169-16675*x1**168+48196*x1**167+30887*x1**166+17310*x1**165-135726*x1**164+67870*x1**163+21560*x1**162+19914*x1**161+11556*x1**160+70610*x1**159-47532*x1**158+25493*x1**157-4417*x1**15+20459*x1**18+40952*x1**17+29850*x1**16-13653*x1**14-41563*x1**13-45800*x1**119+61140*x1**118+8669*x1**117+21847*x1**116-79064*x1**115-12970*x1**114+14648*x1**113-14101*x1**112-30609*x1**111+34569*x1**110+18287*x1**109-12075*x1**107+7847*x1**106+22346*x1**105-23549*x1**104-3279*x1**103+44478*x1**102-1076*x1**101-48244*x1**20+6836*x1**201+1668*x1**200-48353*x1**199-25269*x1**198-75510*x1**197+50290*x1**196+75028*x1**195+15221*x1**194+82848*x1**193-7631*x1**192-80664*x1**191-88334*x1**190+18015*x1**189+84791*x1**188+46134*x1**187-4242*x1**186-17111*x1**185-95674*x1**184+54257*x1**183-64039*x1**182+35669*x1**181+17814*x1**180-75848*x1**179-42986*x1**178-27965*x1**228-94680*x1**227+63443*x1**226-78487*x1**225+8800*x1**224-58462*x1**223-85978*x1**222-20545*x1**221+38209*x1**220+42553*x1**219+62882*x1**218-78547*x1**217+73749*x1**216-53425*x1**215+11205*x1**214+32703*x1**213+116004*x1**212+8114*x1**211+788*x1**210+15187*x1**209-9315*x1**208-80863*x1**207+20671*x1**206-56079*x1**205-15767*x1**204+31905*x1**203+78466*x1**202-12265*x1**234-35331*x1**233-91707*x1**232+109440*x1**231-19376*x1**230+26171*x1**229+30379*x1**24+63028*x1**252+9160*x1**251-2817*x1**250+49242*x1**249-119901*x1**248-153407*x1**247-11239*x1**246+23438*x1**245+26296*x1**244-22390*x1**243-11429*x1**242+25379*x1**241-106807*x1**240+12136*x1**239+15332*x1**238+39203*x1**237+15547*x1**236-20061*x1**235-20118*x1**257+19291*x1**256+101761*x1**255-3630*x1**254-7337*x1**253+13929*x1**25+21267*x1**23-5025*x1**22-16945*x1**21-27666*x1**19-2191*x1**4+11365*x1**3+7985*x1**2-3553*x1**7-18692*x1**6-11338*x1**5-21056*x1**108+6546*x1**501-191302*x1**502-79510*x1**503-65806*x1**504+8111*x1**505+47722*x1**506+78838*x1**507+101061*x1**508+63259*x1**509-103564*x1**510-74851*x1**544-174966*x1**546-109470*x1**547+160718*x1**548+28397*x1**549+21235*x1**550-103816*x1**551+15599*x1**552-149336*x1**553-98258*x1**545+28210*x1**554-6175*x1**555+23644*x1**556+94624*x1**557-89878*x1**558-113748*x1**559-49343*x1**560+91912*x1**561+34420*x1**562-50036*x1**563+8764*x1**564+17462*x1**565-10665*x1**566+4433*x1**567+42567*x1**568-39896*x1**511+34392*x1**512-1252*x1**513+87985*x1**514+126695*x1**515+22222*x1**516-142289*x1**517+20542*x1**518+77779*x1**519-199249*x1**520+102289*x1**521+51103*x1**522-13558*x1**524+33990*x1**525-1402*x1**526+52050*x1**527+39174*x1**528-17971*x1**529+20449*x1**530+47878*x1**531-52137*x1**532-2594*x1**533-43235*x1**534+13613*x1**535-50267*x1**536-79596*x1**537-92795*x1**538-32565*x1**539+54227*x1**540-71137*x1**541+32592*x1**542-20287*x1**543+129714*x1**523-11030*x1**616+166341*x1**617-89703*x1**618+45481*x1**619-36199*x1**620+51414*x1**621-99641*x1**622-42368*x1**623+94675*x1**624+88105*x1**625+62598*x1**626+137212*x1**627+73363*x1**628+56976*x1**629-8849*x1**630-89311*x1**631-52982*x1**632+35761*x1**633+84848*x1**634-26340*x1**635-5634*x1**636+40135*x1**637-17527*x1**638-139991*x1**639-66912*x1**640+155655*x1**641+13263*x1**642-56872*x1**643-199551*x1**644-50946*x1**645+15816*x1**646-40485*x1**647-2615*x1**648+80392*x1**649+32051*x1**650-38389*x1**651-111528*x1**652+34080*x1**653-72650*x1**654+61913*x1**655-70919*x1**656-78982*x1**657-63906*x1**658+4987*x1**659+85398*x1**660+92332*x1**661+10581*x1**662-9507*x1**608-8820*x1**609-54207*x1**610-5942*x1**611+59155*x1**612+65755*x1**613+10436*x1**614+15343*x1**615+12258*x1**585-11797*x1**586-6093*x1**587-254632*x1**588-96200*x1**589+36506*x1**590+36557*x1**591-94285*x1**592-20095*x1**593-26461*x1**594+72331*x1**595+95209*x1**569+45876*x1**570+69083*x1**571+124047*x1**572-38339*x1**573+219104*x1**574+35058*x1**575+25981*x1**576-11144*x1**577+64388*x1**578+114*x1**579-19025*x1**580+34757*x1**581-3375*x1**582-10633*x1**583+94099*x1**584-132267*x1**596-100986*x1**597+45027*x1**598+19888*x1**599+2646*x1**600-103029*x1**601-132542*x1**602+25637*x1**603+26933*x1**604+50175*x1**605-70515*x1**606+3540*x1**607+33620*x1**663-104162*x1**664-73999*x1**665-94129*x1**666+94415*x1**667+31830*x1**668-5005*x1**669+27726*x1**670+44480*x1**671+54227*x1**672+50650*x1**673-36618*x1**674+73854*x1**675-83478*x1**676+83430*x1**677-12361*x1**678+15746*x1**679-67222*x1**680+25389*x1**681-59494*x1**682+51009*x1**683+5516*x1**684+26886*x1**685+39793*x1**686-124334*x1**687-104667*x1**688-22802*x1**689-59040*x1**690-35282*x1**691+20231*x1**692-10146*x1**693+10496*x1**694-70312*x1**695-23451*x1**696+25991*x1**697+55521*x1**698-113503*x1**699-134070*x1**700-113543*x1**701-137007*x1**702+61726*x1**703-33606*x1**704+53903*x1**705-40448*x1**706+4894*x1**707-107277*x1**708-86139*x1**709-68962*x1**710-16212*x1**711+6491*x1**712-79377*x1**713-27934*x1**714-7561*x1**715-67725*x1**716+45970*x1**717+216735*x1**718-137176*x1**719-83295*x1**720+5746*x1**721-48014*x1**722+39883*x1**723+60457*x1**724+49097*x1**725-3439*x1**726-11151*x1**727-2207*x1**728+70984*x1**729-16530*x1**730-66203*x1**731-13069*x1**732+56823*x1**733-28636*x1**734+35635*x1**735+7024*x1**736-13647*x1**737-141812*x1**738+3551*x1**739+40067*x1**740+106430*x1**741-60146*x1**742-84142*x1**743-56336*x1**744-35018*x1**745-28114*x1**746+48357*x1**747+83943*x1**748-622*x1**749-91288*x1**750-60778*x1**751+35656*x1**752-29322*x1**753+72416*x1**754-33714*x1**755-53150*x1**756-61948*x1**757-26773*x1**758-14013*x1**759+44150*x1**760+102179*x1**761-45084*x1**762-21220*x1**763-48465*x1**764+76913*x1**765-44733*x1**766-14166*x1**767+55934*x1**768+51115*x1**769+46692*x1**770-50553*x1**771+30072*x1**772+84302*x1**773+105576*x1**774+15638*x1**775-83937*x1**776+57*x1**777+50156*x1**778+40385*x1**779+1895*x1**780+72976*x1**781+98109*x1**782-17711*x1**783+36796*x1**784-11557*x1**785-53085*x1**786+33967*x1**787-43234*x1**788-7853*x1**789+80450*x1**790+148118*x1**791-13683*x1**792-47086*x1**793-45213*x1**794+7230*x1**795-35*x1**796+64324*x1**797-41719*x1**798-3774*x1**799-87888*x1**800-2764*x1**801+34199*x1**802+28067*x1**803+57152*x1**804+6485*x1**805-10129*x1**806-52006*x1**807-79247*x1**808-31185*x1**809+16696*x1**810+49617*x1**811-12422*x1**812-113676*x1**813-45421*x1**814-21624*x1**815+71790*x1**816+85697*x1**817-31184*x1**818-19922*x1**819-42000*x1**820-64032*x1**821-127714*x1**822+75365*x1**823+51420*x1**824-35002*x1**825+1706*x1**826+33387*x1**827-9716*x1**828-19761*x1**829-25702*x1**830-37203*x1**831+7663*x1**832-75159*x1**833+5565*x1**834-9322*x1**835-31941*x1**836+21325*x1**837-2845*x1**838-34434*x1**839-10368*x1**840+2185*x1**841-27934*x1**842-16267*x1**843-41163*x1**844+25895*x1**845+40393*x1**846+3941*x1**847-21991*x1**848-6784*x1**849+18050*x1**850-90653*x1**851+60321*x1**852+8423*x1**853+13572*x1**854-156301*x1**855-21806*x1**856+35085*x1**857-15085*x1**858+54547*x1**859-47800*x1**860-5254*x1**861-81781*x1**862-29440*x1**863+22184*x1**864-46117*x1**865-59070*x1**866+17927*x1**867+33855*x1**868-3151*x1**869-29846*x1**870-65956*x1**871+52289*x1**872-35287*x1**873+54512*x1**874-83059*x1**875-37459*x1**876-2672*x1**877-8033*x1**878+35411*x1**879+15932*x1**880+17557*x1**881-102416*x1**882-758*x1**883+33596*x1**884+88484*x1**885+12872*x1**886+2572*x1**887+46754*x1**888+1808*x1**889+39711*x1**890-17346*x1**891+93893*x1**892+27086*x1**893+41025*x1**894+55423*x1**895+10557*x1**896+15809*x1**897-41601*x1**898+15383*x1**899+56744*x1**900+48292*x1**901+12460*x1**902+47575*x1**903+7133*x1**904-4963*x1**905-36508*x1**906+40056*x1**907+24227*x1**908+21353*x1**909+27255*x1**910+38360*x1**911+17237*x1**912+10553*x1**913+85724*x1**914+41962*x1**915+63340*x1**916-14715*x1**917-15090*x1**918-10060*x1**919+55422*x1**920+39387*x1**921+18064*x1**922+49105*x1**923+30516*x1**924+67754*x1**925-39611*x1**926-1869*x1**927+17979*x1**928+56851*x1**929+26558*x1**930+20527*x1**931+24521*x1**932-9309*x1**933+8971*x1**934+14831*x1**935+68598*x1**936+33539*x1**937+4457*x1**938+20848*x1**939+14657*x1**940-7254*x1**941-41834*x1**942+22774*x1**943+18000*x1**944+48189*x1**945+6981*x1**946+26315*x1**947+1341*x1**948-16146*x1**949-27103*x1**950+21402*x1**951+38473*x1**952+10482*x1**953-23425*x1**954+19125*x1**955+3086*x1**956+5820*x1**957+27199*x1**958+15683*x1**959+14548*x1**960+16778*x1**961-21663*x1**962-10322*x1**963-56927*x1**964+19710*x1**965-16079*x1**966+2508*x1**967-9465*x1**968+20640*x1**969-10146*x1**970-22758*x1**971-12289*x1**972-19208*x1**973-37003*x1**974+2892*x1**975-17318*x1**976-2994*x1**977-10592*x1**978-11231*x1**979+20238*x1**980+23234*x1**981-2207*x1**982-11822*x1**983-15862*x1**984+2933*x1**985-7984*x1**986-9333*x1**987+9463*x1**988+21888*x1**989+5011*x1**990+12439*x1**991+2736*x1**992-17243*x1**993-22202*x1**994+6028*x1**995+16742*x1**996+8153*x1**997-8041*x1**998-941*x1**999+11*x1**1000:; q2 := -6336-11784*x1+4932*x1**500+50975*x1**499+97099*x1**498-15185*x1**50-35458*x1**49-3044*x1**48+13767*x1**51+19234*x1**61-17894*x1**63+18735*x1**64-19974*x1**65-74185*x1**66+24966*x1**67+20533*x1**68-4341*x1**69+7991*x1**70+55079*x1**71-50140*x1**72-62180*x1**73+39666*x1**74+26552*x1**75+427*x1**76+35692*x1**77-22108*x1**78+1224*x1**79-29889*x1**80-7251*x1**62+43*x1**52+19785*x1**54-25981*x1**55-17850*x1**56-8708*x1**57-5910*x1**58-17200*x1**59+33737*x1**60-1968*x1**53-27426*x1**81+76764*x1**82+37352*x1**83-7468*x1**84-32889*x1**85-2395*x1**86+34476*x1**87-30999*x1**88+26660*x1**89-23550*x1**90-11040*x1**91-3042*x1**92+55160*x1**93+34254*x1**94-40638*x1**95-21061*x1**96-40800*x1**97+5796*x1**98+60663*x1**99+50901*x1**100+22063*x1**35-31440*x1**34-27849*x1**33+7755*x1**32+110306*x1**426-115497*x1**425+20415*x1**424+67595*x1**423+28928*x1**422+42735*x1**421+9196*x1**420+65649*x1**419+14523*x1**418-122033*x1**417-60312*x1**416-80286*x1**415-68129*x1**414-41662*x1**413-99035*x1**412+90631*x1**411+18885*x1**410+20285*x1**409+103847*x1**408+49*x1**407-78236*x1**406+146563*x1**405+51046*x1**404+28921*x1**403+8513*x1**402+93930*x1**401+57512*x1**400-151248*x1**434-32796*x1**433-6320*x1**432-13153*x1**431+39244*x1**430+1207*x1**429-125494*x1**428+75594*x1**427+71100*x1**438-104332*x1**437+33349*x1**436+17541*x1**435-36707*x1**439+3468*x1**465-37426*x1**464+4923*x1**463-68389*x1**462+37190*x1**461-153141*x1**460+9355*x1**459+58415*x1**458-26337*x1**457-33589*x1**456-60647*x1**455-96122*x1**454+3772*x1**453+48878*x1**452+47805*x1**451-9815*x1**450-19456*x1**449+41357*x1**448+109367*x1**447-70859*x1**446-26327*x1**445-56764*x1**444+112709*x1**443+84028*x1**442-114405*x1**441+13469*x1**440+75154*x1**476-13917*x1**475+89884*x1**474+40702*x1**473-102123*x1**472-52269*x1**471-54844*x1**470-31354*x1**469+35506*x1**468-26591*x1**467+40325*x1**466+25113*x1**42-38860*x1**41-32253*x1**40-18775*x1**39+24889*x1**38-3913*x1**37+9886*x1**36+25961*x1**44+20718*x1**43+53782*x1**45+148743*x1**497-71348*x1**496+38970*x1**495-69447*x1**494+119334*x1**493+209256*x1**492+16894*x1**491+17755*x1**490-13091*x1**489+61269*x1**488+60877*x1**487-34956*x1**486-3555*x1**485+7309*x1**484+44127*x1**483+2004*x1**482-77975*x1**481+37224*x1**480-53310*x1**479-99789*x1**478-8866*x1**477-26350*x1**46+2664*x1**47-28517*x1**266-9030*x1**265-56243*x1**264+2532*x1**263-148743*x1**262-47669*x1**261-2217*x1**260+76152*x1**259+33687*x1**258-76494*x1**267+27600*x1**297-78630*x1**293-68075*x1**292-10407*x1**291-40497*x1**290-53532*x1**289+22767*x1**288-919*x1**287-26600*x1**286-19633*x1**285+19684*x1**284-11088*x1**283-44447*x1**282+29042*x1**281+49415*x1**280-23335*x1**279+34497*x1**278-7428*x1**277-9528*x1**276+2950*x1**275-12454*x1**274+80274*x1**273-11356*x1**272-8544*x1**271+52315*x1**270-86635*x1**269-11482*x1**268+18471*x1**31+2029*x1**30+6484*x1**29+11951*x1**28-17347*x1**27+7705*x1**26+15541*x1**323-46446*x1**322-86117*x1**321-7060*x1**320+9858*x1**319-102444*x1**318+112000*x1**317+62657*x1**333-21036*x1**332-47391*x1**331-25301*x1**330+1843*x1**329-329*x1**328+46388*x1**327-45259*x1**326+95490*x1**325+22935*x1**324-79440*x1**334+52306*x1**345-56880*x1**344+61293*x1**343-74447*x1**342-18731*x1**341+25963*x1**340+37668*x1**339+10946*x1**338-6400*x1**337-56723*x1**336+18902*x1**335-6560*x1**371+67845*x1**370+30644*x1**369-33743*x1**368-93463*x1**367-15362*x1**366+15340*x1**365+46588*x1**364-33466*x1**363+73487*x1**362-54280*x1**361-173369*x1**360-28330*x1**359-52960*x1**358+30366*x1**357+20899*x1**356+59310*x1**355+85864*x1**354+36605*x1**353+40710*x1**352-51058*x1**351+7116*x1**350+37369*x1**349+98835*x1**348+80705*x1**347+62567*x1**346-678*x1**373+18456*x1**372-65734*x1**316+32304*x1**315-47716*x1**314-157705*x1**313-60347*x1**312+35891*x1**311-52771*x1**310-54138*x1**309-62416*x1**308-18320*x1**307+42911*x1**306-51152*x1**305+42328*x1**304-64533*x1**303+37605*x1**302+30404*x1**301+32050*x1**300+76679*x1**299-99895*x1**298+59164*x1**296-106932*x1**295+106931*x1**294+24565*x1**399+101405*x1**398+76345*x1**397+34939*x1**396+84599*x1**395-129439*x1**394+127572*x1**393+27839*x1**392+7132*x1**391+58203*x1**390-42361*x1**389-9644*x1**388+17227*x1**387-90659*x1**386+56714*x1**385+19616*x1**384-9827*x1**383-49144*x1**382+51479*x1**381+548*x1**380+101139*x1**379-51395*x1**378-9396*x1**377+40716*x1**376+15155*x1**375-85129*x1**374+45539*x1**145-49187*x1**144-84561*x1**143+14981*x1**142-78934*x1**141+38549*x1**140+46695*x1**139+30137*x1**138+18715*x1**137+7978*x1**136-105944*x1**135-38644*x1**134-25305*x1**133+69515*x1**132+49336*x1**131+38646*x1**130+10128*x1**129+7578*x1**128-45907*x1**127-34515*x1**126+745*x1**125+51674*x1**124-13931*x1**123+47163*x1**122-39146*x1**121-38791*x1**120+12741*x1**12+2341*x1**11-19627*x1**10-21728*x1**9+2501*x1**8-62303*x1**156+99627*x1**155+43811*x1**154-35273*x1**153-25451*x1**152-71627*x1**151+14225*x1**150+10629*x1**149+101280*x1**148+30343*x1**147-107015*x1**146+41606*x1**177-5407*x1**176+1429*x1**175-36378*x1**174+59320*x1**173-47308*x1**172+99354*x1**171-31347*x1**170-61573*x1**169-11818*x1**168-45715*x1**167-58723*x1**166+12914*x1**165-56185*x1**164-7108*x1**163-84181*x1**162+24633*x1**161+94005*x1**160-126837*x1**159-1879*x1**158-9439*x1**157+21163*x1**15-8494*x1**18-25839*x1**17-1561*x1**16-5662*x1**14+3974*x1**13+44403*x1**119-33107*x1**118-21042*x1**117+33494*x1**116-17715*x1**115-53687*x1**114-13088*x1**113+140*x1**112-15245*x1**111-33628*x1**110+13219*x1**109+40524*x1**107+67247*x1**106-8625*x1**105-59664*x1**104-49230*x1**103-51057*x1**102+51292*x1**101-9917*x1**20+6081*x1**201+46891*x1**200-47454*x1**199-62696*x1**198+41710*x1**197+18905*x1**196+46484*x1**195+39763*x1**194+5584*x1**193-80122*x1**192-68819*x1**191-61225*x1**190+65582*x1**189-76743*x1**188+31261*x1**187+24627*x1**186-43917*x1**185+29632*x1**184-5935*x1**183-78409*x1**182+54977*x1**181+7914*x1**180+18263*x1**179+36344*x1**178+17764*x1**228+39636*x1**227+72602*x1**226-37408*x1**225+24660*x1**224-19506*x1**223-57444*x1**222-18625*x1**221+75768*x1**220-54505*x1**219-1311*x1**218-24631*x1**217-66612*x1**216-123582*x1**215-91923*x1**214+35544*x1**213-42258*x1**212-21479*x1**211+78630*x1**210-69830*x1**209-68336*x1**208-7103*x1**207+21333*x1**206+26090*x1**205-2844*x1**204+22078*x1**203+89181*x1**202+121555*x1**234+87427*x1**233+39975*x1**232+19237*x1**231-13255*x1**230-37761*x1**229-6025*x1**24+58779*x1**252+93840*x1**251+16027*x1**250+137937*x1**249-70759*x1**248+29186*x1**247-32044*x1**246-7642*x1**245+41519*x1**244+2409*x1**243-51568*x1**242-25984*x1**241-60334*x1**240+30556*x1**239-7279*x1**238-58845*x1**237-15424*x1**236-51954*x1**235+63439*x1**257+48527*x1**256+66625*x1**255-86121*x1**254-16328*x1**253+21835*x1**25+20507*x1**23+28454*x1**22-11264*x1**21-2287*x1**19+5863*x1**4+2059*x1**3-6862*x1**2+5251*x1**7+17382*x1**6+5646*x1**5+53693*x1**108-2220*x1**501-178171*x1**502+35562*x1**503+86592*x1**504+115360*x1**505-21838*x1**506-5983*x1**507+133517*x1**508-62778*x1**509+14689*x1**510+21219*x1**544+78574*x1**546+70049*x1**547-2225*x1**548+6810*x1**549+1272*x1**550+54800*x1**551-15350*x1**552+14022*x1**553-14642*x1**545-12293*x1**554+34987*x1**555-80945*x1**556+65048*x1**557+4396*x1**558+5987*x1**559+59996*x1**560-25921*x1**561-20674*x1**562-73724*x1**563-86051*x1**564+57444*x1**565+30358*x1**566-47115*x1**567+83676*x1**568+32647*x1**511-56107*x1**512+160040*x1**513+37815*x1**514+73084*x1**515+19498*x1**516+80908*x1**517-69505*x1**518+57795*x1**519+44871*x1**520+117699*x1**521-17791*x1**522+77150*x1**524-47800*x1**525-88448*x1**526-124619*x1**527-162383*x1**528+108698*x1**529-72699*x1**530+62382*x1**531-17169*x1**532-15565*x1**533-75333*x1**534-106966*x1**535-37986*x1**536+44573*x1**537-36631*x1**538+42208*x1**539-5662*x1**540+57347*x1**541+90315*x1**542+154755*x1**543+5844*x1**523+25893*x1**616+6367*x1**617-70773*x1**618+32464*x1**619-10751*x1**620+9236*x1**621-45776*x1**622-85970*x1**623+60399*x1**624+13210*x1**625+22899*x1**626-101228*x1**627+67283*x1**628-49406*x1**629-93221*x1**630-17611*x1**631-81861*x1**632-80851*x1**633-40863*x1**634+101734*x1**635+84815*x1**636+93493*x1**637-93707*x1**638+60197*x1**639+34746*x1**640+71174*x1**641+116940*x1**642+19311*x1**643-38383*x1**644+27902*x1**645-90481*x1**646+35257*x1**647+70607*x1**648+62710*x1**649+86763*x1**650+37765*x1**651-24756*x1**652+79081*x1**653-36572*x1**654+71500*x1**655+10004*x1**656+10307*x1**657-26116*x1**658+40391*x1**659+29403*x1**660+48382*x1**661+40371*x1**662+17964*x1**608-66405*x1**609+84023*x1**610+108021*x1**611-57828*x1**612+17896*x1**613-30899*x1**614+5573*x1**615+80902*x1**585+40394*x1**586-95297*x1**587-39918*x1**588-21629*x1**589-102865*x1**590+18055*x1**591+17661*x1**592+70475*x1**593+18799*x1**594-62172*x1**595+6542*x1**569-63042*x1**570-61611*x1**571-804*x1**572+30421*x1**573-827*x1**574+84135*x1**575-93535*x1**576-36838*x1**577-31079*x1**578-10732*x1**579-152986*x1**580+25187*x1**581-78780*x1**582-104612*x1**583-82337*x1**584-32116*x1**596-18344*x1**597+111809*x1**598-3677*x1**599-73528*x1**600-74039*x1**601+60655*x1**602-7301*x1**603-52559*x1**604-50970*x1**605-147067*x1**606-87111*x1**607+68281*x1**663+8767*x1**664+66218*x1**665-1593*x1**666+51951*x1**667-42881*x1**668-58854*x1**669-41820*x1**670+121478*x1**671-29364*x1**672+67316*x1**673-108952*x1**674-63036*x1**675-63736*x1**676-60490*x1**677+26749*x1**678+26778*x1**679-6816*x1**680-56263*x1**681-103299*x1**682+56220*x1**683-56912*x1**684+105806*x1**685+18461*x1**686-208*x1**687-135502*x1**688+40890*x1**689-78405*x1**690+6671*x1**691+101024*x1**692+20806*x1**693-73654*x1**694-4110*x1**695+34849*x1**696+83609*x1**697-91702*x1**698-10490*x1**699-49417*x1**700+72413*x1**701-115808*x1**702+67997*x1**703-28999*x1**704-15903*x1**705-18810*x1**706-64148*x1**707-51673*x1**708+71240*x1**709+11167*x1**710-25747*x1**711+38696*x1**712+33736*x1**713-78299*x1**714-72221*x1**715+16201*x1**716+102446*x1**717-79882*x1**718-64009*x1**719-18865*x1**720+20202*x1**721-83188*x1**722+13949*x1**723-58788*x1**724+27369*x1**725-127822*x1**726-47406*x1**727-96352*x1**728+77832*x1**729-7570*x1**730-68492*x1**731-70303*x1**732-33187*x1**733+11249*x1**734-19185*x1**735-24464*x1**736-27739*x1**737-91427*x1**738-2873*x1**739+112169*x1**740+52050*x1**741+49872*x1**742-27512*x1**743-68687*x1**744-21489*x1**745+48460*x1**746+25736*x1**747+19330*x1**748+36807*x1**749-111154*x1**750-40184*x1**751-85849*x1**752+30258*x1**753+64448*x1**754+18727*x1**755+19609*x1**756-101909*x1**757-110682*x1**758-56025*x1**759+15190*x1**760+60986*x1**761-25770*x1**762+1145*x1**763-29242*x1**764-40822*x1**765+27055*x1**766+69747*x1**767-41493*x1**768-38067*x1**769+10638*x1**770-12425*x1**771+32665*x1**772-50799*x1**773-24851*x1**774-37999*x1**775+81972*x1**776+13712*x1**777+21142*x1**778+80045*x1**779+10989*x1**780-18919*x1**781+20331*x1**782+1981*x1**783+81220*x1**784+93490*x1**785+86203*x1**786-6184*x1**787-34669*x1**788+2625*x1**789+36488*x1**790+98399*x1**791+55871*x1**792-12580*x1**793+29981*x1**794-11495*x1**795-4120*x1**796-11600*x1**797+120764*x1**798+27277*x1**799-12511*x1**800-22539*x1**801+65689*x1**802+59797*x1**803-42505*x1**804+54730*x1**805+81002*x1**806+122534*x1**807-34284*x1**808+35794*x1**809+23785*x1**810+93547*x1**811+81437*x1**812-75417*x1**813-14919*x1**814+92631*x1**815+39042*x1**816+41033*x1**817+9437*x1**818-2449*x1**819-73120*x1**820+21390*x1**821-4992*x1**822+113498*x1**823-2845*x1**824-66107*x1**825-32548*x1**826+1570*x1**827+30833*x1**828+12646*x1**829-11235*x1**830-50766*x1**831+89265*x1**832-43042*x1**833-1536*x1**834+77853*x1**835-45779*x1**836-22918*x1**837-52773*x1**838-6208*x1**839-26906*x1**840+88824*x1**841-31306*x1**842+47841*x1**843-50295*x1**844+10093*x1**845-44660*x1**846-14687*x1**847+54329*x1**848-76237*x1**849-10938*x1**850-31387*x1**851+52803*x1**852+52921*x1**853-73013*x1**854+61459*x1**855-54150*x1**856-14971*x1**857-79759*x1**858+57004*x1**859-6337*x1**860+33853*x1**861-75884*x1**862-29897*x1**863-24566*x1**864-33404*x1**865+20385*x1**866-10007*x1**867+30032*x1**868+25466*x1**869-132998*x1**870-7827*x1**871-42954*x1**872+74252*x1**873-68670*x1**874+37229*x1**875-30501*x1**876+39224*x1**877-41751*x1**878+40396*x1**879-11037*x1**880-33488*x1**881-44421*x1**882-23593*x1**883+15648*x1**884+49701*x1**885-36712*x1**886+45061*x1**887-23462*x1**888+35585*x1**889-47581*x1**890-24803*x1**891+16116*x1**892-15421*x1**893-72965*x1**894+8773*x1**895+4501*x1**896+21015*x1**897-947*x1**898-10723*x1**899-4722*x1**900-30308*x1**901-25646*x1**902+11311*x1**903-7746*x1**904+63211*x1**905-56647*x1**906-72333*x1**907+11126*x1**908+19959*x1**909+15870*x1**910-27557*x1**911+24503*x1**912+23184*x1**913-51436*x1**914-78049*x1**915+20443*x1**916+16088*x1**917-1045*x1**918+826*x1**919-34245*x1**920+24401*x1**921-43788*x1**922+46959*x1**923-48763*x1**924-10333*x1**925-27312*x1**926-4637*x1**927+6597*x1**928-16296*x1**929+59310*x1**930-4379*x1**931+6115*x1**932-45278*x1**933+16605*x1**934-35307*x1**935-32384*x1**936+43345*x1**937-6473*x1**938+18593*x1**939-54643*x1**940+30580*x1**941-43187*x1**942-37941*x1**943+16887*x1**944+34660*x1**945+57995*x1**946-39793*x1**947-15020*x1**948-28081*x1**949+29576*x1**950-20978*x1**951-2490*x1**952+39058*x1**953+31933*x1**954+23666*x1**955-45171*x1**956+13372*x1**957+33063*x1**958+24160*x1**959+14389*x1**960+1634*x1**961-7927*x1**962-28327*x1**963+14751*x1**964-23861*x1**965+68400*x1**966+11323*x1**967+490*x1**968-29450*x1**969-19011*x1**970-14395*x1**971+19216*x1**972+24061*x1**973+34798*x1**974+485*x1**975-11013*x1**976-17932*x1**977+4632*x1**978+6966*x1**979+19961*x1**980+16933*x1**981+2852*x1**982-5265*x1**983-12204*x1**984-8039*x1**985+25412*x1**986+12248*x1**987-4338*x1**988+6385*x1**989+6283*x1**990-20229*x1**991-19051*x1**992+1166*x1**993+19521*x1**994-1835*x1**995-6702*x1**996+483*x1**997+5937*x1**998-7163*x1**999-924*x1**1000:; r1 := 3772-5709*x1-28359*x1**500+38352*x1**499-18303*x1**498+6501*x1**50+10696*x1**49-1676*x1**48+16891*x1**51-13974*x1**61+2724*x1**63+12680*x1**64-21913*x1**65-15210*x1**66+55129*x1**67+29145*x1**68-6600*x1**69-24329*x1**70-51150*x1**71+5490*x1**72+55870*x1**73+33147*x1**74-3221*x1**75-28446*x1**76-51612*x1**77+26380*x1**78+23396*x1**79-23223*x1**80+9822*x1**62-397*x1**52-11382*x1**54-46309*x1**55-15076*x1**56+6892*x1**57+23052*x1**58+11385*x1**59+4256*x1**60+36833*x1**53-10501*x1**81+43971*x1**82+54351*x1**83-19414*x1**84-27134*x1**85-21321*x1**86-7194*x1**87+13114*x1**88-34251*x1**89+8102*x1**90+47750*x1**91+28785*x1**92+20345*x1**93-54449*x1**94-30618*x1**95-22047*x1**96+25330*x1**97+21323*x1**98-51229*x1**99+19729*x1**100+31419*x1**35-4737*x1**34+7355*x1**33-2656*x1**32+8843*x1**426+47785*x1**425+127478*x1**424-65458*x1**423+14777*x1**422-93396*x1**421+27831*x1**420-9922*x1**419+16810*x1**418+144200*x1**417-80526*x1**416-4056*x1**415-32827*x1**414+49112*x1**413-18552*x1**412-13979*x1**411+37676*x1**410-64354*x1**409-45623*x1**408-53796*x1**407-24610*x1**406-3991*x1**405-39627*x1**404+25959*x1**403-79866*x1**402+53410*x1**401+55172*x1**400+67052*x1**434+8049*x1**433+3640*x1**432-93987*x1**431+16358*x1**430+14985*x1**429-20187*x1**428+113128*x1**427+3132*x1**438+3831*x1**437-5700*x1**436-86528*x1**435-9143*x1**439+55924*x1**465+70350*x1**464+17611*x1**463+19650*x1**462-79863*x1**461-84278*x1**460+136906*x1**459-24018*x1**458+44776*x1**457-43225*x1**456+13730*x1**455-66923*x1**454+557*x1**453+43161*x1**452-73774*x1**451-109307*x1**450+61123*x1**449+90363*x1**448+98922*x1**447-80633*x1**446-254040*x1**445-97756*x1**444+5701*x1**443+67470*x1**442-68553*x1**441+119231*x1**440+124811*x1**476+44511*x1**475+53616*x1**474+41041*x1**473+4456*x1**472+107588*x1**471-122749*x1**470+55230*x1**469-1297*x1**468-35117*x1**467+11114*x1**466-8983*x1**42-11404*x1**41+13251*x1**40+19727*x1**39-27929*x1**38-44657*x1**37+15832*x1**36+11783*x1**44-6278*x1**43+6518*x1**45+48134*x1**497+79525*x1**496-15300*x1**495+86888*x1**494-43997*x1**493-27314*x1**492-89871*x1**491-44102*x1**490-74716*x1**489+34059*x1**488+30999*x1**487+113820*x1**486-32060*x1**485-3682*x1**484+4103*x1**483-55391*x1**482+8341*x1**481-49165*x1**480-2255*x1**479-118791*x1**478-26432*x1**477-3074*x1**46-24293*x1**47+9203*x1**1004+108531*x1**1006-170733*x1**1007+137815*x1**1008-34901*x1**1009+71957*x1**1010+6609*x1**1011+258825*x1**1012-17820*x1**1013-264807*x1**1014+45603*x1**1015-4574*x1**1005-1531*x1**266-59518*x1**265-19012*x1**264+37042*x1**263+3240*x1**262+39299*x1**261-55226*x1**260+6422*x1**259-10560*x1**258+572*x1**267+6719*x1**297+51112*x1**293+3709*x1**292-34008*x1**291-52713*x1**290-121445*x1**289-44027*x1**288-5940*x1**287+90909*x1**286+21978*x1**285+4080*x1**284-38973*x1**283+112409*x1**282-38524*x1**281-23809*x1**280-2037*x1**279+22270*x1**278+4409*x1**277-60532*x1**276-70052*x1**275-53699*x1**274+154594*x1**273+48683*x1**272+41489*x1**271+1878*x1**270-43757*x1**269+39645*x1**268+15419*x1**31-16192*x1**30-21601*x1**29+1534*x1**28-7519*x1**27+14238*x1**26-39941*x1**323-31780*x1**322-22881*x1**321-2198*x1**320-54769*x1**319+50104*x1**318-914*x1**317-158477*x1**1001+39083*x1**1002-26063*x1**1003-34432*x1**333+5983*x1**332+70101*x1**331+20318*x1**330+15141*x1**329+39636*x1**328+18292*x1**327-29947*x1**326+79278*x1**325-36376*x1**324-4022*x1**334-136587*x1**345-47677*x1**344+21486*x1**343-43856*x1**342+89452*x1**341+62819*x1**340+22127*x1**339-24183*x1**338-24931*x1**337-37297*x1**336-22717*x1**335+24158*x1**371+61743*x1**370-630*x1**369+3383*x1**368-19622*x1**367+61229*x1**366+44875*x1**365-19515*x1**364+27991*x1**363-12830*x1**362-18460*x1**361-76651*x1**360-6611*x1**359-65339*x1**358+10309*x1**357+47377*x1**356+84508*x1**355-12478*x1**354-64497*x1**353+17316*x1**352+32521*x1**351-87943*x1**350-127444*x1**349+7935*x1**348-40913*x1**347+177*x1**346-9800*x1**373+2023*x1**372+19512*x1**316+11931*x1**315-84661*x1**314-62540*x1**313-4764*x1**312-10806*x1**311-16306*x1**310-9342*x1**309+63974*x1**308-23053*x1**307+113676*x1**306-43558*x1**305-59091*x1**304-70289*x1**303-40940*x1**302-36946*x1**301+85407*x1**300+8680*x1**299-41616*x1**298-3743*x1**296+31165*x1**295-1565*x1**294-74282*x1**399+29337*x1**398-15980*x1**397-49629*x1**396+133307*x1**395-7518*x1**394-50435*x1**393-23113*x1**392+54828*x1**391-17768*x1**390-2277*x1**389+724*x1**388+69633*x1**387-25669*x1**386+171*x1**385-104710*x1**384+70340*x1**383-83334*x1**382-43544*x1**381+174825*x1**380-58610*x1**379+167228*x1**378-42215*x1**377+56474*x1**376+48887*x1**375+12706*x1**374-8167*x1**145-66621*x1**144+6152*x1**143-4165*x1**142-47645*x1**141+39451*x1**140-2214*x1**139-12613*x1**138+41137*x1**137+14914*x1**136+25127*x1**135-16150*x1**134-76923*x1**133-27807*x1**132+5674*x1**131+75168*x1**130-15446*x1**129+5500*x1**128+11130*x1**127-62332*x1**126-42856*x1**125+5621*x1**124-13655*x1**123+62107*x1**122+8349*x1**121+20309*x1**120+7130*x1**12+20434*x1**11+7337*x1**10-8977*x1**9-13452*x1**8-68173*x1**1141+47372*x1**1142-231942*x1**1143+45359*x1**1144-157898*x1**1145+65560*x1**1146-148902*x1**1147+33401*x1**1148+114773*x1**1149+74585*x1**1150-93515*x1**1151-95988*x1**1152-85746*x1**1153-31449*x1**1154+157471*x1**1155-8780*x1**156-52122*x1**155+17879*x1**154+20354*x1**153+58090*x1**152-65204*x1**151+22676*x1**150+54725*x1**149+15021*x1**148-23181*x1**147-20140*x1**146-42410*x1**1129+71619*x1**1131-195565*x1**1132+142818*x1**1133-93833*x1**1134-150829*x1**1135+228298*x1**1136-87939*x1**1137-31006*x1**1138+150076*x1**1139-185060*x1**1140-51029*x1**1130+79635*x1**177+56552*x1**176+67995*x1**175+10042*x1**174-80454*x1**173-53102*x1**172+25053*x1**171+2431*x1**170+72879*x1**169+91588*x1**168-51685*x1**167-3226*x1**166-33678*x1**165-60220*x1**164+4336*x1**163+17958*x1**162+8478*x1**161+39694*x1**160+60346*x1**159-15283*x1**158-6787*x1**157+10696*x1**1120+149020*x1**1122+29870*x1**1123-142446*x1**1124-80538*x1**1125-6936*x1**1126+90377*x1**1127+52673*x1**1128-5889*x1**1121-3779*x1**15-11408*x1**1104+97852*x1**1106+260701*x1**1107+1442*x1**1108+49634*x1**1109-47931*x1**1110+68848*x1**1111-116047*x1**1112-1581*x1**1113+183424*x1**1114+22708*x1**1115+6439*x1**1116-107011*x1**1117-145565*x1**1118+20132*x1**1119-89669*x1**1105-535*x1**18+15016*x1**17-6413*x1**16-9199*x1**14+3484*x1**13-2990*x1**1088+40382*x1**1090-20652*x1**1091+152655*x1**1092+46400*x1**1093-183303*x1**1094+82692*x1**1095-110453*x1**1096+118708*x1**1097-16580*x1**1098+53882*x1**1099-5461*x1**1100+79320*x1**1101+159818*x1**1102-7067*x1**1103-70122*x1**1089-221371*x1**1079+15087*x1**1081-39068*x1**1082-41962*x1**1083-63552*x1**1084-34364*x1**1085+18261*x1**1086+120837*x1**1087-97570*x1**1080+36867*x1**119-31538*x1**118-7032*x1**117-74049*x1**116+62052*x1**115+55579*x1**114+41445*x1**113+379*x1**112-47600*x1**111+4584*x1**110-25869*x1**109+9167*x1**107-4171*x1**106+38904*x1**105-26747*x1**104-16900*x1**103+8690*x1**102+47003*x1**101+6361*x1**1064-53665*x1**1066+57646*x1**1067+94036*x1**1068-70379*x1**1069-133237*x1**1070+31827*x1**1071+88796*x1**1072-47844*x1**1073+35790*x1**1074-69277*x1**1075-91352*x1**1076-81658*x1**1077+25860*x1**1078-87341*x1**1065+7773*x1**20+80313*x1**1052-102235*x1**1054-60705*x1**1055+30655*x1**1056-167319*x1**1057+14090*x1**1058-112744*x1**1059+34068*x1**1060-102207*x1**1061+173533*x1**1062+89156*x1**1063-16638*x1**1053+37995*x1**201-33773*x1**200+23415*x1**199+64552*x1**198-13113*x1**197+34086*x1**196-49503*x1**195-22589*x1**194-39747*x1**193+23788*x1**192+51879*x1**191-29777*x1**190+53904*x1**189-16915*x1**188-24947*x1**187+17642*x1**186+62668*x1**185+14565*x1**184+35660*x1**183-46250*x1**182-24078*x1**181-17278*x1**180-22247*x1**179-57012*x1**178-25559*x1**1040-64643*x1**1042+104681*x1**1043+41973*x1**1044-25866*x1**1045+49961*x1**1046-44259*x1**1047+61174*x1**1048-199351*x1**1049+123733*x1**1050+34746*x1**1051-42741*x1**1041-38917*x1**228-40209*x1**227+32318*x1**226-57064*x1**225+89327*x1**224+65815*x1**223-8175*x1**222-67170*x1**221+21236*x1**220-77565*x1**219-14414*x1**218+40881*x1**217+56568*x1**216+15071*x1**215+66634*x1**214-156090*x1**213-69952*x1**212+118206*x1**211+40694*x1**210-59214*x1**209+26797*x1**208+43366*x1**207-12466*x1**206-24958*x1**205+11469*x1**204+12296*x1**203-30047*x1**202-46990*x1**234-1411*x1**233+20672*x1**232+40589*x1**231-9248*x1**230+12722*x1**229-133915*x1**1030+105715*x1**1032+17767*x1**1033-76702*x1**1034-65803*x1**1035+20026*x1**1036+275795*x1**1037+125281*x1**1038+4661*x1**1039+22975*x1**1031-16386*x1**1016+188613*x1**1018+94084*x1**1019+3577*x1**1020+89906*x1**1021+90588*x1**1022-4886*x1**1023-153387*x1**1024-40475*x1**1025-63520*x1**1026+91394*x1**1027+114707*x1**1028-82262*x1**1029+56865*x1**1017-24513*x1**24-21640*x1**252+8755*x1**251-19887*x1**250-28650*x1**249+56761*x1**248-16846*x1**247+54834*x1**246+71903*x1**245-16471*x1**244+34998*x1**243-59454*x1**242-9955*x1**241-17793*x1**240+25127*x1**239+127293*x1**238-29974*x1**237+41413*x1**236-35631*x1**235-14937*x1**257-9678*x1**256-28865*x1**255+24028*x1**254-32150*x1**253+20151*x1**25-4361*x1**23-5432*x1**22+31181*x1**21-28282*x1**19-35034*x1**1182+23575*x1**1184-58263*x1**1185+91496*x1**1186+31196*x1**1187+62859*x1**1188-84164*x1**1189-83652*x1**1190-86346*x1**1191+24041*x1**1192+28363*x1**1193+104292*x1**1194+89002*x1**1195+80874*x1**1183+22587*x1**1168+111641*x1**1170+69869*x1**1171-26287*x1**1172+236866*x1**1173-55009*x1**1174+17663*x1**1175+8311*x1**1176+90051*x1**1177-34843*x1**1178-123177*x1**1179-232628*x1**1180-110058*x1**1181+52497*x1**1169-1970*x1**1156+73512*x1**1158-1709*x1**1159-22672*x1**1160+9068*x1**1161-134160*x1**1162-49441*x1**1163-641*x1**1164-127079*x1**1165+158356*x1**1166+15277*x1**1167+113834*x1**1157+46820*x1**1235+22165*x1**1237+33410*x1**1238-183695*x1**1239+59870*x1**1240+89077*x1**1241-4512*x1**1242-63740*x1**1243+69803*x1**1244-74478*x1**1245-35296*x1**1246-275*x1**1236+105466*x1**1221+158175*x1**1223-87286*x1**1224+98839*x1**1225-68694*x1**1226+20835*x1**1227-14507*x1**1228-93623*x1**1229-78118*x1**1230-137301*x1**1231-13679*x1**1232-26095*x1**1233+182238*x1**1234+162966*x1**1222-412*x1**4+8978*x1**3-1056*x1**2+130409*x1**1206+6417*x1**1208-32230*x1**1209-68803*x1**1210-40592*x1**1211+47040*x1**1212+45496*x1**1213-42936*x1**1214-42339*x1**1215+5492*x1**1216-205850*x1**1217-182585*x1**1218+66375*x1**1219-40473*x1**1220+40293*x1**1207-7238*x1**7+3095*x1**6+7061*x1**5+3921*x1**1196+204569*x1**1198-3557*x1**1199+30700*x1**1200-49739*x1**1201+5835*x1**1202-89834*x1**1203-37423*x1**1204-84361*x1**1205+161127*x1**1197+70187*x1**1271-104520*x1**1273+31874*x1**1274-226320*x1**1275+113582*x1**1276-115284*x1**1277-65331*x1**1278-66044*x1**1279-54202*x1**1280-89261*x1**1281+99789*x1**1282+13044*x1**1272-136776*x1**1257-165020*x1**1259+17338*x1**1260+31469*x1**1261+130115*x1**1262+168607*x1**1263-90990*x1**1264+17710*x1**1265-158760*x1**1266+34429*x1**1267-28892*x1**1268-2794*x1**1269+123963*x1**1270-13224*x1**1258-43382*x1**1247+71433*x1**1249-15273*x1**1250-50176*x1**1251-20783*x1**1252+24421*x1**1253-2529*x1**1254-34380*x1**1255-20344*x1**1256-21540*x1**1248-132039*x1**1305+146657*x1**1307+119477*x1**1308+1277*x1**1309-90402*x1**1310-95129*x1**1311+93626*x1**1312+160936*x1**1313-75528*x1**1314+82322*x1**1315+17779*x1**1316-103487*x1**1306-74597*x1**1293-98702*x1**1294+58925*x1**1295-34416*x1**1296-42156*x1**1297+124021*x1**1298-6050*x1**1299-78639*x1**1300+107382*x1**1301+20580*x1**1302-119679*x1**1303+41592*x1**1304+53357*x1**1283+75555*x1**1285-46694*x1**1286+88795*x1**1287+1239*x1**1288+20114*x1**1289+1581*x1**1290+67645*x1**1291+238132*x1**1292-72176*x1**1284-20257*x1**1359-74666*x1**1360+2604*x1**1361+26129*x1**1362-35169*x1**1363-132287*x1**1364-20883*x1**1365-3574*x1**1366+30404*x1**1367+149474*x1**1343-138626*x1**1345-10849*x1**1346-81161*x1**1347-148896*x1**1348-21933*x1**1349+39840*x1**1350-177908*x1**1351+44600*x1**1352+73194*x1**1353-85260*x1**1354+34269*x1**1355+123114*x1**1356+21489*x1**1357-815*x1**1358-1077*x1**1344+8158*x1**108+31988*x1**1329-20285*x1**1331-8986*x1**1332+59630*x1**1333+107700*x1**1334+56421*x1**1335+9758*x1**1336+172644*x1**1337-134293*x1**1338+14173*x1**1339+18720*x1**1340-61811*x1**1341-65987*x1**1342-65503*x1**1330+12462*x1**1317-184048*x1**1319+32965*x1**1320-46819*x1**1321-209*x1**1322-2948*x1**1323+101885*x1**1324-41379*x1**1325-66364*x1**1326+107942*x1**1327+37094*x1**1328+148505*x1**1318-80984*x1**1368+32475*x1**1370+5078*x1**1371+21709*x1**1372-83960*x1**1373-191966*x1**1374+48705*x1**1375-20940*x1**1376+23082*x1**1377-6121*x1**1378+8872*x1**1379-91005*x1**1369-119664*x1**1380+58402*x1**1382-63857*x1**1383-87352*x1**1384-107980*x1**1385+15885*x1**1386+123831*x1**1387+135606*x1**1388-38873*x1**1389-4685*x1**1390-47037*x1**1391-7065*x1**1392-15583*x1**1393+143237*x1**1394+68669*x1**1395-69730*x1**1381+47201*x1**1424-138409*x1**1425+103097*x1**1426+131274*x1**1427+22354*x1**1428+175706*x1**1429+115585*x1**1430+20221*x1**1431-54607*x1**1432+18800*x1**1433-51821*x1**1414-74583*x1**1416+9799*x1**1417+105575*x1**1418+5408*x1**1419+16855*x1**1420+52172*x1**1421+69694*x1**1422+72953*x1**1423+8779*x1**1415+47181*x1**1404-53993*x1**1406+16590*x1**1407-10556*x1**1408-87898*x1**1409+205365*x1**1410-22463*x1**1411+56012*x1**1412-155635*x1**1413+56690*x1**1405-104882*x1**1396-63765*x1**1397+26661*x1**1398+88515*x1**1399-41012*x1**1400+163752*x1**1401-41618*x1**1402-25399*x1**1403+73255*x1**1443-64409*x1**1444-4721*x1**1445-126264*x1**1446+25646*x1**1447-59289*x1**1448-137530*x1**1449+36910*x1**1450-67417*x1**1451+20221*x1**1452-85250*x1**1434-14300*x1**1436-97086*x1**1437+60371*x1**1438+23171*x1**1439+51501*x1**1440+92476*x1**1441+16275*x1**1442-52931*x1**1435+11295*x1**1462+37647*x1**1463+75218*x1**1464+22232*x1**1465+91136*x1**1466-36028*x1**1467-62348*x1**1468+48546*x1**1469-135732*x1**1470-17265*x1**1471+25902*x1**1472+9253*x1**1473-11738*x1**1453+68705*x1**1454-119140*x1**1455+70981*x1**1456+38984*x1**1457+139660*x1**1458-65507*x1**1459-124315*x1**1460-28742*x1**1461+221881*x1**1474+10933*x1**1475-67032*x1**1476+28173*x1**1477+2923*x1**1478-182384*x1**1479+93126*x1**1480+98952*x1**1481-38335*x1**1482-72046*x1**1483-93583*x1**1484-99644*x1**1485-118124*x1**1486-30826*x1**1487-57534*x1**1488-32657*x1**1497+97119*x1**1498-67139*x1**1499-59119*x1**1500-126920*x1**1501+60643*x1**1502+29259*x1**1503-8296*x1**1504-4821*x1**1505+81299*x1**1506+33438*x1**1507-7588*x1**1508-7028*x1**1509-130809*x1**1510+52915*x1**1524+53495*x1**1525+68308*x1**1526-43206*x1**1527+118892*x1**1528-102939*x1**1529-63495*x1**1530+33111*x1**1531+46014*x1**1532-934*x1**1533-53658*x1**1534-84847*x1**1535-86881*x1**1536+148256*x1**1537+15667*x1**1538-117299*x1**1511-41896*x1**1513-72493*x1**1514+65773*x1**1515+205958*x1**1516+121818*x1**1517+48066*x1**1518-561*x1**1519-158643*x1**1520+122624*x1**1521+48701*x1**1522-91012*x1**1523-110982*x1**1512-177866*x1**1550+48176*x1**1551-43624*x1**1552+108213*x1**1553-46901*x1**1554+19235*x1**1555+104*x1**1556+15254*x1**1557-95919*x1**1539-141033*x1**1540+35704*x1**1541+19697*x1**1542-46414*x1**1543+139383*x1**1544-202970*x1**1545+118759*x1**1546+129855*x1**1547-12160*x1**1548+90563*x1**1549-7266*x1**1588+46806*x1**1589-76671*x1**1590-1028*x1**1591+19483*x1**1592+40235*x1**1593-99343*x1**1594+21790*x1**1595-166246*x1**1596-100259*x1**1597+69487*x1**1598-67815*x1**1573+22733*x1**1574-117028*x1**1575-12928*x1**1576+2752*x1**1577+52008*x1**1578+66525*x1**1579-23187*x1**1580-103187*x1**1581+39820*x1**1582+54489*x1**1583+68045*x1**1584-42373*x1**1585+10419*x1**1586-108065*x1**1587+32796*x1**1558-63441*x1**1559+143538*x1**1560+33004*x1**1561-2428*x1**1562-13757*x1**1563-31317*x1**1564+128779*x1**1565+3796*x1**1566+34595*x1**1567+56126*x1**1568+58421*x1**1569+48601*x1**1570-16130*x1**1571+55968*x1**1572-15098*x1**1599+12412*x1**1600-42843*x1**1601-90294*x1**1602-6359*x1**1603-52991*x1**1604+5909*x1**1605-47552*x1**1606+51224*x1**1607+35545*x1**1608+38229*x1**1609-40053*x1**1610-29634*x1**1611+6684*x1**1612-93724*x1**1637+71081*x1**1638-70221*x1**1639+28279*x1**1640+9509*x1**1641+55804*x1**1642+57538*x1**1643+68610*x1**1644-11580*x1**1645-21892*x1**1646+633*x1**1647+66105*x1**1648-16366*x1**1649-102202*x1**1650+43656*x1**1651-89787*x1**1629-37155*x1**1630-58225*x1**1631+11238*x1**1632-13398*x1**1633+19155*x1**1634+24376*x1**1635-140638*x1**1636+97953*x1**1613-101281*x1**1615-29172*x1**1616-71069*x1**1617+95174*x1**1618+45171*x1**1619+37926*x1**1620-70713*x1**1621-43688*x1**1622+114370*x1**1623-64258*x1**1624+57254*x1**1625-63693*x1**1626-56855*x1**1627-136634*x1**1628+25408*x1**1614+67920*x1**1652+19256*x1**1653-46277*x1**1654-24689*x1**1655+45677*x1**1656+16433*x1**1657-13950*x1**1658+72472*x1**1659+58799*x1**1660-9785*x1**501-5888*x1**502+61389*x1**503-25197*x1**504-4004*x1**505+29249*x1**506-134638*x1**507-41832*x1**508-495*x1**509-10492*x1**510-113620*x1**544-132458*x1**546-163749*x1**547+24663*x1**548-61149*x1**549-18439*x1**550-10290*x1**551+30028*x1**552-97253*x1**553+57036*x1**545+26531*x1**554-22914*x1**555+63081*x1**556-84444*x1**557+78863*x1**558-116701*x1**559-20662*x1**560+111802*x1**561-13353*x1**562-85759*x1**563-75560*x1**564+36369*x1**565+32091*x1**566+99921*x1**567+134559*x1**568+144626*x1**511+118178*x1**512+210*x1**513+66320*x1**514-13267*x1**515-16965*x1**516-62879*x1**517-21432*x1**518-36987*x1**519-16464*x1**520+69277*x1**521-59763*x1**522-90288*x1**524+8192*x1**525+179324*x1**526+53175*x1**527-122367*x1**528-104461*x1**529+106693*x1**530-77530*x1**531+22490*x1**532+73917*x1**533+52691*x1**534-35800*x1**535+12140*x1**536-136683*x1**537-88515*x1**538+40345*x1**539-195370*x1**540+38999*x1**541+14788*x1**542+98350*x1**543+111088*x1**523+8653*x1**1661+54098*x1**1662-34384*x1**1663-40183*x1**1664+27882*x1**1665+6357*x1**1666+55138*x1**1667+70684*x1**1668+16621*x1**1669-94412*x1**1670+23915*x1**1671+89634*x1**1672+40753*x1**1673+132760*x1**1674-2284*x1**1675-13095*x1**616-28455*x1**617+189915*x1**618-65613*x1**619+158005*x1**620-64699*x1**621+82588*x1**622+28754*x1**623-20416*x1**624+44882*x1**625+90691*x1**626-42986*x1**627+2520*x1**628+191002*x1**629+78819*x1**630+68477*x1**631+91962*x1**632-78339*x1**633-1356*x1**634+1800*x1**635+38498*x1**636-28458*x1**637-70594*x1**638-63912*x1**639-98960*x1**640-6374*x1**641-17755*x1**642-54124*x1**643+134627*x1**644-45988*x1**645+50302*x1**646-28579*x1**647-71419*x1**648-195852*x1**649+138465*x1**650-3687*x1**651+75696*x1**652+155900*x1**653-258594*x1**654+94763*x1**655-3358*x1**656+38577*x1**657+94759*x1**658-47070*x1**659+51513*x1**660+71330*x1**661+119247*x1**662+69983*x1**608-226*x1**609-19711*x1**610+10956*x1**611-87470*x1**612-13449*x1**613-3841*x1**614-33836*x1**615-4560*x1**585-106825*x1**586+89782*x1**587-46767*x1**588-74424*x1**589+256141*x1**590+4048*x1**591-27156*x1**592-41459*x1**593-84486*x1**594+67323*x1**595+68560*x1**569-2017*x1**570-13035*x1**571-24271*x1**572-3948*x1**573+10487*x1**574-49851*x1**575-53359*x1**576-78913*x1**577+24172*x1**578-107478*x1**579+44498*x1**580+109805*x1**581+78227*x1**582-44689*x1**583-57413*x1**584+80451*x1**596+121583*x1**597-13614*x1**598+17903*x1**599-215*x1**600+6198*x1**601+4632*x1**602+51284*x1**603+10690*x1**604-49151*x1**605-107304*x1**606+65739*x1**607+77793*x1**663-66197*x1**664-39685*x1**665+84116*x1**666-104216*x1**667+51536*x1**668-64446*x1**669-47352*x1**670-186*x1**671+29490*x1**672+74887*x1**673+80207*x1**674-14862*x1**675-63628*x1**676+44656*x1**677-3847*x1**678-78911*x1**679+27515*x1**680+41462*x1**681+87322*x1**682+26298*x1**683-40767*x1**684-68320*x1**685+118888*x1**686+46601*x1**687-45762*x1**688-55042*x1**689+67869*x1**690-122070*x1**691+128219*x1**692+57528*x1**693-81615*x1**694+58923*x1**695-74242*x1**696+56664*x1**697-58956*x1**698-53456*x1**699+100279*x1**700+112640*x1**701+80402*x1**702-191243*x1**703-76677*x1**704-27847*x1**705-31388*x1**706-61077*x1**707-38319*x1**708-65012*x1**709+14347*x1**710-67412*x1**711+123251*x1**712+12662*x1**713+3566*x1**714+35878*x1**715+36012*x1**716+243395*x1**717+64964*x1**718-105783*x1**719+27976*x1**720+117661*x1**721-48333*x1**722+34342*x1**723+47987*x1**724-124426*x1**725-28904*x1**726+183410*x1**727+80678*x1**728+66443*x1**729+37955*x1**730+83404*x1**731-60527*x1**732-157324*x1**733+25967*x1**734-202293*x1**735-61898*x1**736-24463*x1**737+78032*x1**738+15608*x1**739-21575*x1**740-39329*x1**741+64599*x1**742-33623*x1**743+48044*x1**744-51659*x1**745+11947*x1**746-55954*x1**747-20610*x1**748-54201*x1**749+48944*x1**750-42391*x1**751-73375*x1**752-161520*x1**753-136669*x1**754-5499*x1**755+158508*x1**756+103368*x1**757+70760*x1**758+10222*x1**759-89330*x1**760-169735*x1**761-18822*x1**762+10200*x1**763+55385*x1**764-13231*x1**765+146373*x1**766+7972*x1**767-5299*x1**768-77136*x1**769+6645*x1**770+176831*x1**771+9969*x1**772-127946*x1**773-130011*x1**774+25301*x1**775+12528*x1**776-18695*x1**777-66321*x1**778-34106*x1**779-113743*x1**780+140714*x1**781-14757*x1**782+14113*x1**783+128818*x1**784+152392*x1**785+65474*x1**786-98479*x1**787-53732*x1**788+109592*x1**789+77860*x1**790-47974*x1**791-30223*x1**792+42135*x1**793-41154*x1**794+4069*x1**795-72486*x1**796+23858*x1**797+86305*x1**798-21728*x1**799+51398*x1**800-176976*x1**801-137196*x1**802-19754*x1**803+136207*x1**804+38809*x1**805+106397*x1**806+31364*x1**807-14424*x1**808-53618*x1**809-37309*x1**810-19672*x1**811-46512*x1**812+109478*x1**813+124434*x1**814+115104*x1**815-59930*x1**816-16425*x1**817+108349*x1**818+76262*x1**819+65766*x1**820-46287*x1**821+58850*x1**822-64739*x1**823+116925*x1**824-78962*x1**825+14564*x1**826-180971*x1**827-140224*x1**828+104915*x1**829-20768*x1**830+67220*x1**831+122144*x1**832+34979*x1**833+127798*x1**834-238069*x1**835-8469*x1**836-60389*x1**837-75016*x1**838-130440*x1**839-74854*x1**840+32208*x1**841+88750*x1**842+29997*x1**843-214107*x1**844-176045*x1**845-137016*x1**846+75697*x1**847+110543*x1**848-62289*x1**849-124460*x1**850-89863*x1**851+106474*x1**852+77986*x1**853+43966*x1**854-44189*x1**855-156129*x1**856-97581*x1**857+60379*x1**858+63679*x1**859+11151*x1**860+141029*x1**861-112536*x1**862-26083*x1**863-48123*x1**864-82519*x1**865+80913*x1**866-20615*x1**867+18016*x1**868+27684*x1**869-70460*x1**870-203036*x1**871+87876*x1**872-64109*x1**873-135250*x1**874-29534*x1**875+303407*x1**876+86992*x1**877-33781*x1**878-102907*x1**879+45967*x1**880-48311*x1**1676-64646*x1**1677+8780*x1**1678-89730*x1**1679+51125*x1**1680+81822*x1**1681+5829*x1**1682+3387*x1**1683-33443*x1**1684+175329*x1**881-63359*x1**882+23769*x1**883-135962*x1**884-23904*x1**885-37301*x1**886+39517*x1**887+101687*x1**888+107948*x1**889-8832*x1**890-45108*x1**891+34153*x1**892-8577*x1**893+84005*x1**894-67379*x1**895-9038*x1**896-3827*x1**897-172510*x1**898+101362*x1**899+169576*x1**900+24876*x1**901+182757*x1**902+85387*x1**903-14477*x1**904-56052*x1**905-80169*x1**906-60150*x1**907-45676*x1**908+80858*x1**909-107578*x1**910-2330*x1**911+85851*x1**912-78139*x1**913-49522*x1**914+9485*x1**915+260565*x1**916+134767*x1**917+180078*x1**918-140282*x1**919-64830*x1**920+4377*x1**921-43434*x1**922-63049*x1**923+186766*x1**924+52498*x1**925+36028*x1**926+29718*x1**927+153541*x1**928-59153*x1**929-51844*x1**930-112862*x1**931+146100*x1**932-40034*x1**933+26904*x1**934-56942*x1**935-72181*x1**936+67551*x1**937+33926*x1**938-192857*x1**939+86413*x1**940+3606*x1**941+3781*x1**942+3711*x1**943-87022*x1**944-109076*x1**945+58634*x1**946+13013*x1**947+58183*x1**948+27378*x1**949-113845*x1**950+168774*x1**951-92553*x1**952+77528*x1**953+24096*x1**954+16479*x1**955-30812*x1**956+26047*x1**957-32313*x1**958-278592*x1**959+84184*x1**960-60507*x1**961-23547*x1**962-79864*x1**963-9112*x1**964+9588*x1**965-34316*x1**966+111219*x1**967+35212*x1**968-65229*x1**969+158992*x1**970-125110*x1**971+47058*x1**972-91530*x1**973-26010*x1**974+92244*x1**975-60469*x1**976-100094*x1**977-47095*x1**978+46224*x1**979+215068*x1**980-76270*x1**981-30793*x1**982+6009*x1**983-47525*x1**984+5423*x1**985+97496*x1**986-131565*x1**987+169560*x1**988-131158*x1**989+93491*x1**990+1852*x1**991+26252*x1**992-128619*x1**993-202621*x1**994-2557*x1**995+213624*x1**996+60672*x1**997-83272*x1**998+7942*x1**999+122561*x1**1000-27291*x1**1489-8592*x1**1490+6150*x1**1491-8865*x1**1492+108535*x1**1493-20367*x1**1494-16513*x1**1495+107297*x1**1496-98664*x1**1685+9722*x1**1687-28409*x1**1688-13978*x1**1689+118740*x1**1690-106619*x1**1691-29670*x1**1692-38566*x1**1693-11332*x1**1694-57837*x1**1686+67876*x1**1712-58331*x1**1714+7991*x1**1715-147312*x1**1716-16161*x1**1717+76222*x1**1718-20732*x1**1719+6341*x1**1720+2050*x1**1721-25480*x1**1722+7674*x1**1723-24607*x1**1724-44277*x1**1725+13030*x1**1726-33340*x1**1727+4883*x1**1713+38934*x1**1703+18449*x1**1704-29136*x1**1705+30522*x1**1706+44960*x1**1707-8529*x1**1708+65451*x1**1709+41755*x1**1710-5445*x1**1711+34159*x1**1728+62633*x1**1729+86540*x1**1730-77408*x1**1731+17503*x1**1732-112968*x1**1733+3339*x1**1734+29835*x1**1735+102070*x1**1736+3236*x1**1737+37910*x1**1738-18715*x1**1784-57665*x1**1785-82227*x1**1786+27480*x1**1787-37686*x1**1788+28245*x1**1789+10527*x1**1790+50912*x1**1791-64473*x1**1775+60918*x1**1776+24120*x1**1777-26807*x1**1778+18400*x1**1779-89895*x1**1780+2121*x1**1781+9126*x1**1782+35679*x1**1783-7445*x1**1767+22839*x1**1768+19340*x1**1769+27238*x1**1770+24559*x1**1771+45436*x1**1772-2973*x1**1773-13668*x1**1774+21987*x1**1752-7819*x1**1753+63519*x1**1754+60971*x1**1755-98790*x1**1756-6248*x1**1757-12079*x1**1758-55636*x1**1759+43510*x1**1760+35120*x1**1761+111626*x1**1762-564*x1**1763+84316*x1**1764-55917*x1**1765-46318*x1**1766+25824*x1**1739-132938*x1**1740-20887*x1**1741-16132*x1**1742-19132*x1**1743-40618*x1**1744+39119*x1**1745-37971*x1**1746-66805*x1**1747+75969*x1**1748-41685*x1**1749-120856*x1**1750+20209*x1**1751+47829*x1**1792-34439*x1**1793-122213*x1**1794-24829*x1**1795-38969*x1**1796+81353*x1**1797+25175*x1**1798-54500*x1**1799+10957*x1**1800+22748*x1**1801-11963*x1**1816+61524*x1**1817+37381*x1**1818+59825*x1**1819-32059*x1**1820-86559*x1**1821-3718*x1**1822+84036*x1**1823+57510*x1**1824+80879*x1**1825+68929*x1**1802-44311*x1**1803+13058*x1**1804-100241*x1**1805+4836*x1**1806+45301*x1**1807-10822*x1**1808+34468*x1**1809+33225*x1**1810-24522*x1**1811+86596*x1**1812+18151*x1**1813-40104*x1**1814-19875*x1**1815-21231*x1**1899-16720*x1**1900-19181*x1**1901-3057*x1**1902+10632*x1**1903+2741*x1**1904+17912*x1**1905+32509*x1**1906-5047*x1**1907+34868*x1**1908-37072*x1**1909-9945*x1**1910+41040*x1**1887-30315*x1**1888+20144*x1**1889-19847*x1**1890-24625*x1**1891-44139*x1**1892+997*x1**1893+23330*x1**1894+14500*x1**1895+51087*x1**1896+19796*x1**1897+32818*x1**1898+14123*x1**1875+9914*x1**1876+15795*x1**1877+45084*x1**1878+22305*x1**1879-41277*x1**1880-32434*x1**1881-11991*x1**1882-704*x1**1883+5954*x1**1884-9443*x1**1885-42617*x1**1886+20887*x1**1866-13298*x1**1867+30041*x1**1868-13534*x1**1869+13807*x1**1870-40806*x1**1871+27390*x1**1872+18161*x1**1873+20333*x1**1874-26728*x1**1856+5573*x1**1857+5636*x1**1858+27291*x1**1859-69151*x1**1860-36663*x1**1861-49539*x1**1862+40517*x1**1863-1380*x1**1864+4822*x1**1865-32427*x1**1845+12606*x1**1847+10723*x1**1848+26182*x1**1849-8954*x1**1850-55776*x1**1851-35072*x1**1852+47230*x1**1853-26335*x1**1854-37773*x1**1855-17214*x1**1846-56942*x1**1837+11442*x1**1838-35038*x1**1839+85186*x1**1840-78238*x1**1841+35190*x1**1842+4035*x1**1843-18615*x1**1844-35891*x1**1826+10667*x1**1828-41201*x1**1829-31474*x1**1830+61512*x1**1831+61579*x1**1832+12666*x1**1833+42192*x1**1834-24041*x1**1835-32367*x1**1836-32948*x1**1827+18855*x1**1911-1529*x1**1912+5514*x1**1913+15533*x1**1914-22568*x1**1915-65496*x1**1916+34125*x1**1917+89771*x1**1918+6914*x1**1919+43189*x1**1920-26659*x1**1921-125496*x1**1922+15192*x1**1923-23943*x1**1924-10198*x1**1925-878*x1**1926+21440*x1**1927-7283*x1**1928+43857*x1**1929-803*x1**1930-78652*x1**1931-47887*x1**1932-3595*x1**1933-22661*x1**1934+18410*x1**1935+36991*x1**1936-35960*x1**1937-9177*x1**1986-3056*x1**1987-16887*x1**1988-20881*x1**1989-1059*x1**1990-9252*x1**1991-14908*x1**1992-958*x1**1993-4721*x1**1994-16166*x1**1995+11316*x1**1996-2240*x1**1997-10151*x1**1998+25542*x1**1974-1747*x1**1976-17483*x1**1977+4908*x1**1978+3478*x1**1979-3193*x1**1980+30064*x1**1981-18902*x1**1982-19807*x1**1983+17281*x1**1984-10653*x1**1985+21095*x1**1975+15336*x1**1959-12465*x1**1961+18084*x1**1962+22248*x1**1963+7094*x1**1964-1501*x1**1965+34695*x1**1966-35351*x1**1967+25917*x1**1968+42286*x1**1969-15233*x1**1970+40899*x1**1971+10744*x1**1972+6608*x1**1973+28438*x1**1960+39008*x1**1951-43361*x1**1952+26564*x1**1953+34353*x1**1954-24810*x1**1955-4036*x1**1956-7263*x1**1957-22273*x1**1958+10734*x1**1938+3234*x1**1939-5544*x1**1940+18333*x1**1941-26450*x1**1942-3306*x1**1943+1177*x1**1944+24109*x1**1945+3854*x1**1946-31826*x1**1947+7050*x1**1948-28189*x1**1949-27719*x1**1950+6902*x1**1999-2523*x1**2000+6564*x1**1695+166138*x1**1696+88892*x1**1697-70451*x1**1698-158624*x1**1699+28331*x1**1700-12514*x1**1701+88490*x1**1702:; r2 := -3680-4456*x1+90816*x1**500+35952*x1**499+89870*x1**498+752*x1**50-12289*x1**49-23435*x1**48-17241*x1**51-14723*x1**61+6711*x1**63+6503*x1**64+22558*x1**65+6863*x1**66-46805*x1**67+12318*x1**68+19740*x1**69+18027*x1**70-937*x1**71+8515*x1**72-31468*x1**73-45349*x1**74-18459*x1**75+12369*x1**76+80664*x1**77-306*x1**78+227*x1**79+5232*x1**80+431*x1**62+368*x1**52+8678*x1**54+20343*x1**55+2013*x1**56+4246*x1**57-9906*x1**58-17455*x1**59-23042*x1**60-15119*x1**53-2597*x1**81-3565*x1**82-69014*x1**83-17348*x1**84-6767*x1**85+11358*x1**86+38549*x1**87-18590*x1**88-4627*x1**89-4552*x1**90-21171*x1**91-16020*x1**92-11018*x1**93+35396*x1**94+9435*x1**95+42563*x1**96+12154*x1**97-44781*x1**98-14640*x1**99+12351*x1**100+6263*x1**35+3104*x1**34-9478*x1**33+20397*x1**32+65067*x1**426-28804*x1**425-13785*x1**424-22548*x1**423-53184*x1**422+14376*x1**421-45257*x1**420+10559*x1**419-34416*x1**418+101839*x1**417-73815*x1**416+28979*x1**415-6977*x1**414+6469*x1**413+161564*x1**412+90476*x1**411-74268*x1**410-3418*x1**409-4925*x1**408+8878*x1**407+37405*x1**406-133800*x1**405+88358*x1**404+37413*x1**403+165902*x1**402-33451*x1**401+531*x1**400-68561*x1**434-36683*x1**433-35691*x1**432-22457*x1**431+85080*x1**430+27475*x1**429-174244*x1**428+64722*x1**427-9452*x1**438+52058*x1**437+121930*x1**436-90242*x1**435+25541*x1**439+8828*x1**465-6237*x1**464-29599*x1**463+63744*x1**462+26785*x1**461+11147*x1**460-46981*x1**459-33202*x1**458+75746*x1**457-17667*x1**456-33876*x1**455+97186*x1**454+52099*x1**453+46929*x1**452+99487*x1**451-46197*x1**450-70827*x1**449+55981*x1**448-110001*x1**447+28442*x1**446-14336*x1**445+101296*x1**444-20615*x1**443+41444*x1**442+44460*x1**441-61876*x1**440+23078*x1**476-47718*x1**475-12433*x1**474+51298*x1**473-53107*x1**472-87012*x1**471+159685*x1**470-81269*x1**469-172650*x1**468-106750*x1**467-8213*x1**466-325*x1**42+19881*x1**41-6598*x1**40-21981*x1**39+2415*x1**38-24610*x1**37-17071*x1**36+10732*x1**44+12739*x1**43+13865*x1**45+133403*x1**497-39686*x1**496+94869*x1**495-49546*x1**494-36052*x1**493-68993*x1**492+67934*x1**491-42113*x1**490-31818*x1**489+61066*x1**488-112881*x1**487-101480*x1**486-23605*x1**485+13221*x1**484-22606*x1**483+15143*x1**482+53746*x1**481+39127*x1**480+176772*x1**479+8443*x1**478-86496*x1**477+13773*x1**46+13980*x1**47+60273*x1**1004-33060*x1**1006-53145*x1**1007+48235*x1**1008+32886*x1**1009+6984*x1**1010+196602*x1**1011+194816*x1**1012+106181*x1**1013-52616*x1**1014+44083*x1**1015+62867*x1**1005+18730*x1**266-103812*x1**265+52035*x1**264-28278*x1**263+14922*x1**262-24591*x1**261-40270*x1**260-87032*x1**259+77605*x1**258-38946*x1**267+26196*x1**297+36037*x1**293+34332*x1**292-30486*x1**291-37045*x1**290-20689*x1**289-35642*x1**288+90660*x1**287-52277*x1**286+54346*x1**285-69694*x1**284+50016*x1**283+19063*x1**282+61818*x1**281-5714*x1**280-22201*x1**279+13581*x1**278-68724*x1**277+109641*x1**276-93071*x1**275-85136*x1**274-40943*x1**273+39641*x1**272+61448*x1**271-3759*x1**270+91134*x1**269-17711*x1**268+19716*x1**31+21003*x1**30-549*x1**29-13938*x1**28+5136*x1**27-32520*x1**26+19366*x1**323+79200*x1**322-64670*x1**321+23107*x1**320+132715*x1**319+46506*x1**318-23611*x1**317-128284*x1**1001-13043*x1**1002+71880*x1**1003-72036*x1**333+8024*x1**332+2340*x1**331-45317*x1**330-31855*x1**329-12566*x1**328-34668*x1**327-22004*x1**326-19187*x1**325-24293*x1**324+61218*x1**334+45586*x1**345-5488*x1**344+56838*x1**343+10007*x1**342+72494*x1**341+8939*x1**340-162576*x1**339+14426*x1**338-81724*x1**337-45823*x1**336+3189*x1**335+26428*x1**371-10871*x1**370+17587*x1**369+78741*x1**368+40184*x1**367-44367*x1**366+145169*x1**365-86323*x1**364-54360*x1**363-110599*x1**362+7269*x1**361-23484*x1**360+16140*x1**359+47237*x1**358-59367*x1**357+45830*x1**356-55093*x1**355-24347*x1**354-12995*x1**353+115231*x1**352+36370*x1**351-78074*x1**350+18605*x1**349-38905*x1**348+19389*x1**347-104066*x1**346-78723*x1**373+5062*x1**372-17762*x1**316-45825*x1**315-43359*x1**314+114095*x1**313-16904*x1**312+2467*x1**311+94825*x1**310-27607*x1**309-58789*x1**308+44540*x1**307+36850*x1**306-18507*x1**305+18651*x1**304-25070*x1**303-68235*x1**302+127130*x1**301-86275*x1**300-74417*x1**299-43912*x1**298-105277*x1**296+83863*x1**295+65041*x1**294+12828*x1**399-244588*x1**398+4343*x1**397+127499*x1**396+43442*x1**395-12826*x1**394+50419*x1**393-2428*x1**392+5739*x1**391+30428*x1**390+51839*x1**389+19437*x1**388-29748*x1**387-23482*x1**386-86231*x1**385-11595*x1**384+52981*x1**383+61910*x1**382+56111*x1**381-32479*x1**380+5959*x1**379-3510*x1**378+47191*x1**377-153495*x1**376+18020*x1**375-5107*x1**374-16073*x1**145-4727*x1**144-18872*x1**143+17994*x1**142-45330*x1**141+7214*x1**140+79505*x1**139-32905*x1**138+38722*x1**137-79692*x1**136-9231*x1**135+43793*x1**134+32906*x1**133+49039*x1**132-23502*x1**131-55229*x1**130+11723*x1**129+12571*x1**128+9801*x1**127+80*x1**126-32045*x1**125+36988*x1**124+3384*x1**123-39070*x1**122-64115*x1**121-50109*x1**120-3545*x1**12-849*x1**11+3345*x1**10+15261*x1**9+4997*x1**8+10369*x1**1141-55733*x1**1142+52731*x1**1143-3263*x1**1144-63120*x1**1145+18000*x1**1146-48692*x1**1147+66406*x1**1148-124290*x1**1149+251127*x1**1150+51041*x1**1151+33806*x1**1152+145567*x1**1153+109542*x1**1154-95615*x1**1155+1510*x1**156+13725*x1**155+45548*x1**154-4919*x1**153+45083*x1**152-12940*x1**151-64211*x1**150+1240*x1**149+12272*x1**148-55419*x1**147-37252*x1**146-38607*x1**1129+62454*x1**1131-129923*x1**1132-229619*x1**1133-237689*x1**1134+145082*x1**1135+59857*x1**1136+95792*x1**1137+145423*x1**1138+49136*x1**1139-12171*x1**1140+131166*x1**1130-88457*x1**177-54635*x1**176-44215*x1**175+88757*x1**174+51411*x1**173-36202*x1**172-17022*x1**171-48857*x1**170-5317*x1**169-33756*x1**168+12414*x1**167-57648*x1**166-1480*x1**165-13698*x1**164-31810*x1**163+55991*x1**162-46012*x1**161-35693*x1**160-1773*x1**159+15532*x1**158+20570*x1**157-116968*x1**1120-53038*x1**1122-7002*x1**1123-33218*x1**1124-88707*x1**1125+2355*x1**1126-191541*x1**1127-37708*x1**1128+177525*x1**1121-2592*x1**15+17222*x1**1104+2753*x1**1106+64278*x1**1107+105091*x1**1108-162075*x1**1109-18575*x1**1110+874*x1**1111-136441*x1**1112-101399*x1**1113+7252*x1**1114+83800*x1**1115+1222*x1**1116-50296*x1**1117-34961*x1**1118+16008*x1**1119-98528*x1**1105-14166*x1**18+9425*x1**17+12994*x1**16-3839*x1**14-2358*x1**13-19959*x1**1088-109851*x1**1090+198140*x1**1091-136200*x1**1092-185377*x1**1093-75600*x1**1094-29783*x1**1095-113437*x1**1096-83899*x1**1097+81773*x1**1098+71733*x1**1099-29277*x1**1100+245957*x1**1101+191194*x1**1102-12133*x1**1103+146491*x1**1089-158523*x1**1079-58797*x1**1081+155238*x1**1082-48738*x1**1083+21262*x1**1084-116604*x1**1085+40583*x1**1086-134403*x1**1087+678*x1**1080+47410*x1**119+49053*x1**118+1160*x1**117-9866*x1**116+11978*x1**115-14776*x1**114-21298*x1**113-6347*x1**112-17162*x1**111+25763*x1**110-3905*x1**109-6034*x1**107+18332*x1**106+11922*x1**105+43090*x1**104-9949*x1**103+1666*x1**102-25860*x1**101+12734*x1**1064+187796*x1**1066+84630*x1**1067-89242*x1**1068-70552*x1**1069-25560*x1**1070+9474*x1**1071+3857*x1**1072-33195*x1**1073+43056*x1**1074-49544*x1**1075+25784*x1**1076+256441*x1**1077-116785*x1**1078+5188*x1**1065-2882*x1**20+182619*x1**1052+10653*x1**1054+77233*x1**1055+21948*x1**1056+2802*x1**1057-18048*x1**1058-147846*x1**1059+56958*x1**1060-17373*x1**1061-94678*x1**1062-157200*x1**1063+83660*x1**1053-3988*x1**201-2422*x1**200-23575*x1**199-7858*x1**198+17828*x1**197-5741*x1**196-28292*x1**195+5731*x1**194+75423*x1**193+34509*x1**192+7788*x1**191-43123*x1**190-8073*x1**189+39991*x1**188+75946*x1**187-34425*x1**186-65547*x1**185+4456*x1**184-36751*x1**183-66083*x1**182-16378*x1**181+33512*x1**180+45321*x1**179+61718*x1**178+116104*x1**1040-94890*x1**1042+62418*x1**1043-77773*x1**1044+80774*x1**1045-17169*x1**1046+66366*x1**1047-104325*x1**1048+81526*x1**1049-191284*x1**1050+45699*x1**1051-227149*x1**1041-104385*x1**228+6420*x1**227+120162*x1**226-35314*x1**225+21282*x1**224+53374*x1**223+42038*x1**222+36193*x1**221-79400*x1**220-85426*x1**219-48265*x1**218+104987*x1**217-40482*x1**216-14313*x1**215+36267*x1**214+88659*x1**213+29832*x1**212-4569*x1**211-60191*x1**210+4532*x1**209+3995*x1**208-13939*x1**207+16405*x1**206-73393*x1**205-50340*x1**204+38169*x1**203+25359*x1**202+18664*x1**234+3771*x1**233+80025*x1**232-7319*x1**231-12541*x1**230-71938*x1**229+2645*x1**1030-117203*x1**1032-23567*x1**1033+156185*x1**1034-19077*x1**1035-106498*x1**1036+8836*x1**1037-91916*x1**1038+119870*x1**1039-79348*x1**1031-31830*x1**1016+77703*x1**1018+81164*x1**1019-147008*x1**1020-65830*x1**1021-16529*x1**1022-99176*x1**1023+217225*x1**1024+21312*x1**1025-133777*x1**1026+88713*x1**1027-1817*x1**1028-182475*x1**1029+45311*x1**1017-2462*x1**24-39720*x1**252+2854*x1**251+4520*x1**250+64365*x1**249+21585*x1**248+33270*x1**247+13349*x1**246-43708*x1**245+2825*x1**244-74777*x1**243-18552*x1**242+34656*x1**241-50977*x1**240+16453*x1**239-116180*x1**238-39345*x1**237+95056*x1**236+48041*x1**235+33891*x1**257+112422*x1**256-21633*x1**255-40052*x1**254-11861*x1**253-11717*x1**25+20077*x1**23+19259*x1**22-5138*x1**21-13491*x1**19-14915*x1**1182-46221*x1**1184+178218*x1**1185-65241*x1**1186-44946*x1**1187-54714*x1**1188+22367*x1**1189-1901*x1**1190-102724*x1**1191-17027*x1**1192+57298*x1**1193+211092*x1**1194+14713*x1**1195-8444*x1**1183+518*x1**1168-78847*x1**1170-20614*x1**1171+59290*x1**1172-23399*x1**1173+16329*x1**1174-78773*x1**1175+12000*x1**1176-56430*x1**1177+56167*x1**1178+105680*x1**1179+21921*x1**1180+44956*x1**1181+51312*x1**1169-101982*x1**1156-55418*x1**1158+157376*x1**1159+8704*x1**1160-59319*x1**1161+6459*x1**1162-88212*x1**1163-108093*x1**1164+319887*x1**1165+14785*x1**1166-94138*x1**1167-96266*x1**1157-112534*x1**1235+71385*x1**1237+168038*x1**1238+31764*x1**1239+61453*x1**1240-131329*x1**1241+149060*x1**1242+151845*x1**1243+69823*x1**1244+714*x1**1245+37844*x1**1246+15037*x1**1236+148580*x1**1221+74472*x1**1223-47471*x1**1224-136713*x1**1225+158201*x1**1226+62431*x1**1227-127465*x1**1228-59010*x1**1229+181019*x1**1230-9171*x1**1231+39722*x1**1232+60048*x1**1233-156587*x1**1234-89467*x1**1222-172*x1**4-1093*x1**3+6080*x1**2-92515*x1**1206-25108*x1**1208-14169*x1**1209-45979*x1**1210-46013*x1**1211+7284*x1**1212-12090*x1**1213-127760*x1**1214+4981*x1**1215+6136*x1**1216-24159*x1**1217+17993*x1**1218+89001*x1**1219-47050*x1**1220-185020*x1**1207+2931*x1**7-14656*x1**6-4053*x1**5+122916*x1**1196-16700*x1**1198-101963*x1**1199-25020*x1**1200-57138*x1**1201+144133*x1**1202+65118*x1**1203-91713*x1**1204+131327*x1**1205+7820*x1**1197-96371*x1**1271+38917*x1**1273-135482*x1**1274+19585*x1**1275-2123*x1**1276+65286*x1**1277+10079*x1**1278+58366*x1**1279+76815*x1**1280+80436*x1**1281+19932*x1**1282-25293*x1**1272+39471*x1**1257-212787*x1**1259+140198*x1**1260-9353*x1**1261-119558*x1**1262-96765*x1**1263+64906*x1**1264-27120*x1**1265-2100*x1**1266+144343*x1**1267+20188*x1**1268-108481*x1**1269+19309*x1**1270-15533*x1**1258-39072*x1**1247+11512*x1**1249-25039*x1**1250+45795*x1**1251-97515*x1**1252-63183*x1**1253-80283*x1**1254-16194*x1**1255-19962*x1**1256-35524*x1**1248-5350*x1**1305-97996*x1**1307+53493*x1**1308+75947*x1**1309+220551*x1**1310-49130*x1**1311+98339*x1**1312-72630*x1**1313+60620*x1**1314+48427*x1**1315+147951*x1**1316-61015*x1**1306+17495*x1**1293+148146*x1**1294+40370*x1**1295-47447*x1**1296+111730*x1**1297-273775*x1**1298+5127*x1**1299-109025*x1**1300+83060*x1**1301-1091*x1**1302-6675*x1**1303-70816*x1**1304-158254*x1**1283+121287*x1**1285-186229*x1**1286+32934*x1**1287-31649*x1**1288+42470*x1**1289+98917*x1**1290-138365*x1**1291+51235*x1**1292+50448*x1**1284-55133*x1**1359-96162*x1**1360+96511*x1**1361-118334*x1**1362+159186*x1**1363-104697*x1**1364+90790*x1**1365-125180*x1**1366+84748*x1**1367-64906*x1**1343+13333*x1**1345+87464*x1**1346-40091*x1**1347-155928*x1**1348-119251*x1**1349-155553*x1**1350+121376*x1**1351+104489*x1**1352-40264*x1**1353+54653*x1**1354+3782*x1**1355+87200*x1**1356+64608*x1**1357-52751*x1**1358+102895*x1**1344-69875*x1**108-18613*x1**1329-90360*x1**1331+25089*x1**1332-205554*x1**1333+56938*x1**1334+29713*x1**1335-9502*x1**1336+33087*x1**1337+22707*x1**1338+55662*x1**1339+51719*x1**1340-9627*x1**1341+76158*x1**1342+84902*x1**1330+177938*x1**1317+25903*x1**1319+1501*x1**1320-11476*x1**1321+52396*x1**1322-102447*x1**1323+23875*x1**1324+1574*x1**1325-91930*x1**1326-36606*x1**1327+90034*x1**1328-8078*x1**1318+21753*x1**1368+22829*x1**1370-4795*x1**1371+165261*x1**1372-35510*x1**1373+71955*x1**1374+4881*x1**1375+130088*x1**1376-40450*x1**1377+116141*x1**1378+84466*x1**1379+32169*x1**1369+80827*x1**1380+53319*x1**1382-133042*x1**1383-3305*x1**1384-102311*x1**1385+6352*x1**1386-50572*x1**1387-147936*x1**1388+127240*x1**1389-3340*x1**1390+185305*x1**1391-81145*x1**1392+38278*x1**1393-160768*x1**1394+24584*x1**1395-37089*x1**1381+165877*x1**1424-52129*x1**1425-45052*x1**1426-124617*x1**1427-171797*x1**1428-15858*x1**1429+19250*x1**1430+62358*x1**1431-57573*x1**1432-56662*x1**1433-22089*x1**1414+35272*x1**1416-127456*x1**1417-47197*x1**1418-94596*x1**1419+123192*x1**1420+55734*x1**1421+77951*x1**1422+46648*x1**1423-119949*x1**1415-18905*x1**1404+60208*x1**1406+46849*x1**1407-4300*x1**1408+14569*x1**1409-147529*x1**1410+10027*x1**1411+70823*x1**1412-2221*x1**1413+3075*x1**1405+120604*x1**1396-95001*x1**1397+102172*x1**1398+51189*x1**1399-27620*x1**1400+25340*x1**1401-17374*x1**1402+17002*x1**1403-66237*x1**1443-66224*x1**1444-98000*x1**1445+171647*x1**1446-21651*x1**1447+43080*x1**1448+124465*x1**1449+168864*x1**1450-17467*x1**1451+62615*x1**1452+43857*x1**1434-34758*x1**1436-23551*x1**1437-36539*x1**1438+13596*x1**1439-61723*x1**1440-79016*x1**1441-2171*x1**1442-32417*x1**1435-51033*x1**1462+23915*x1**1463+47158*x1**1464+82665*x1**1465+23208*x1**1466-1831*x1**1467-43839*x1**1468+8059*x1**1469+119049*x1**1470+8711*x1**1471+42200*x1**1472+92844*x1**1473+66448*x1**1453-218575*x1**1454-74780*x1**1455+58814*x1**1456+73923*x1**1457-17636*x1**1458+93531*x1**1459-11662*x1**1460-175113*x1**1461+47585*x1**1474-17252*x1**1475+8178*x1**1476+79467*x1**1477-84585*x1**1478-26804*x1**1479-32158*x1**1480+75913*x1**1481-89191*x1**1482+188319*x1**1483+70452*x1**1484-50954*x1**1485+69918*x1**1486+113907*x1**1487+34517*x1**1488+83571*x1**1497+85949*x1**1498-247608*x1**1499-46548*x1**1500+19412*x1**1501-74603*x1**1502+118319*x1**1503+96932*x1**1504-20110*x1**1505-135324*x1**1506-30568*x1**1507+20009*x1**1508-24079*x1**1509+153871*x1**1510-69228*x1**1524-28701*x1**1525-61333*x1**1526+66093*x1**1527-2673*x1**1528+10945*x1**1529+2339*x1**1530+33812*x1**1531-68299*x1**1532-3368*x1**1533+12768*x1**1534-81216*x1**1535-10389*x1**1536-31347*x1**1537-18227*x1**1538+117380*x1**1511-32801*x1**1513-8552*x1**1514-63364*x1**1515+29644*x1**1516+37835*x1**1517+75344*x1**1518-38856*x1**1519-39531*x1**1520+78780*x1**1521-15956*x1**1522+49047*x1**1523+74272*x1**1512+120526*x1**1550+65584*x1**1551-62545*x1**1552-33793*x1**1553-97687*x1**1554+10824*x1**1555+58098*x1**1556-63042*x1**1557-10930*x1**1539-113984*x1**1540-2055*x1**1541-89021*x1**1542-87328*x1**1543-138388*x1**1544+135989*x1**1545-92308*x1**1546+86075*x1**1547+5451*x1**1548+34081*x1**1549-12473*x1**1588-52676*x1**1589-32281*x1**1590+36772*x1**1591+22071*x1**1592+48469*x1**1593-29854*x1**1594+115444*x1**1595-26226*x1**1596+74911*x1**1597-14286*x1**1598+18895*x1**1573-47025*x1**1574+135410*x1**1575+33848*x1**1576-24823*x1**1577+18379*x1**1578-77018*x1**1579+116293*x1**1580+32649*x1**1581+38605*x1**1582+822*x1**1583-72621*x1**1584+115965*x1**1585+29434*x1**1586-33152*x1**1587+51429*x1**1558-44077*x1**1559-55219*x1**1560+2240*x1**1561+52128*x1**1562-64105*x1**1563-85187*x1**1564-55672*x1**1565-90450*x1**1566+51451*x1**1567-78319*x1**1568+82512*x1**1569-50738*x1**1570+137898*x1**1571-82033*x1**1572-39331*x1**1599+91032*x1**1600+6344*x1**1601+31867*x1**1602-36543*x1**1603+34121*x1**1604-68923*x1**1605+41496*x1**1606+45439*x1**1607+40997*x1**1608+171507*x1**1609+42067*x1**1610-24489*x1**1611+4816*x1**1612-14877*x1**1637+10433*x1**1638-51050*x1**1639-37017*x1**1640-37143*x1**1641-27287*x1**1642+29492*x1**1643+19333*x1**1644-26916*x1**1645-76982*x1**1646+46763*x1**1647-33148*x1**1648+4704*x1**1649+622*x1**1650-104304*x1**1651+17052*x1**1629-15573*x1**1630-35968*x1**1631+39588*x1**1632-41682*x1**1633+46070*x1**1634+2619*x1**1635-69441*x1**1636+71876*x1**1613+145218*x1**1615+6627*x1**1616-30147*x1**1617-40961*x1**1618+10109*x1**1619-37978*x1**1620+24149*x1**1621+57121*x1**1622+31673*x1**1623-28458*x1**1624-47319*x1**1625-36018*x1**1626-21103*x1**1627+79843*x1**1628+92938*x1**1614+20229*x1**1652+114517*x1**1653-56343*x1**1654-44644*x1**1655+24712*x1**1656-15887*x1**1657-79744*x1**1658-29330*x1**1659-50913*x1**1660+8421*x1**501+5136*x1**502-27010*x1**503-64069*x1**504-52711*x1**505-32600*x1**506+33993*x1**507+167034*x1**508+129755*x1**509-32472*x1**510+59947*x1**544+7937*x1**546-35673*x1**547-15447*x1**548+68154*x1**549-55218*x1**550+6219*x1**551+98545*x1**552-36571*x1**553-4929*x1**545-56313*x1**554-40840*x1**555+2867*x1**556-97093*x1**557-38448*x1**558+4290*x1**559+28168*x1**560+41991*x1**561-102589*x1**562-51695*x1**563-17834*x1**564-9504*x1**565-80785*x1**566-177711*x1**567+156010*x1**568-4501*x1**511-28382*x1**512+51267*x1**513+113855*x1**514+1280*x1**515+9783*x1**516-63583*x1**517-15498*x1**518-136174*x1**519+21510*x1**520+39599*x1**521+86153*x1**522+41382*x1**524+63484*x1**525-106729*x1**526-49276*x1**527-27021*x1**528+57882*x1**529-194749*x1**530+71294*x1**531-158601*x1**532-15191*x1**533+69321*x1**534-13128*x1**535+75661*x1**536+21039*x1**537+183716*x1**538+106275*x1**539-69993*x1**540+4056*x1**541-114975*x1**542+63631*x1**543-71494*x1**523-70201*x1**1661+125995*x1**1662+4926*x1**1663+96989*x1**1664-7632*x1**1665+13797*x1**1666+2191*x1**1667+82407*x1**1668-16258*x1**1669-1033*x1**1670+24154*x1**1671+14282*x1**1672-82389*x1**1673-21777*x1**1674-22420*x1**1675+10859*x1**616-17844*x1**617-162745*x1**618-4073*x1**619+70326*x1**620+13353*x1**621+95035*x1**622+153534*x1**623-71825*x1**624-106868*x1**625-168861*x1**626+20905*x1**627-43047*x1**628-16969*x1**629-66325*x1**630-41710*x1**631+138328*x1**632+120510*x1**633-14015*x1**634+40697*x1**635+157658*x1**636-10032*x1**637+85758*x1**638+7937*x1**639+53937*x1**640-89298*x1**641+74374*x1**642+38697*x1**643+200437*x1**644+63412*x1**645-111216*x1**646-12689*x1**647+43856*x1**648-95230*x1**649-108263*x1**650-145687*x1**651-8069*x1**652-218044*x1**653-40356*x1**654-105418*x1**655+149860*x1**656+7125*x1**657+28013*x1**658+23164*x1**659-19361*x1**660-43065*x1**661-68103*x1**662+35525*x1**608-3240*x1**609+3187*x1**610-99527*x1**611+1194*x1**612+161969*x1**613-161481*x1**614+24773*x1**615-96039*x1**585+82470*x1**586-82744*x1**587-121573*x1**588-34899*x1**589+107979*x1**590+56176*x1**591+22343*x1**592+84404*x1**593-74474*x1**594-31579*x1**595-29062*x1**569+14573*x1**570+83569*x1**571+18414*x1**572+79850*x1**573-36487*x1**574-92495*x1**575-24990*x1**576-24621*x1**577+127735*x1**578+15386*x1**579+77070*x1**580-9084*x1**581+33484*x1**582+29983*x1**583-25767*x1**584-7399*x1**596+29375*x1**597-4935*x1**598+44674*x1**599-3424*x1**600-96916*x1**601+7447*x1**602-125032*x1**603+41684*x1**604+109116*x1**605-13157*x1**606+164645*x1**607+64299*x1**663-71567*x1**664-51171*x1**665-161989*x1**666+72335*x1**667+112796*x1**668-6796*x1**669+123732*x1**670-116574*x1**671+63104*x1**672-110676*x1**673-44265*x1**674-15848*x1**675+53867*x1**676+36713*x1**677-34907*x1**678-13855*x1**679-61195*x1**680-16022*x1**681-106208*x1**682-36666*x1**683+22987*x1**684+143069*x1**685+758*x1**686+142529*x1**687-129752*x1**688-34448*x1**689-701*x1**690+208348*x1**691-98208*x1**692-56498*x1**693-6621*x1**694-46551*x1**695-65012*x1**696-50843*x1**697-19027*x1**698+22833*x1**699+65457*x1**700+42080*x1**701+5932*x1**702+111168*x1**703+45928*x1**704-82466*x1**705+1306*x1**706+106852*x1**707-166435*x1**708+73317*x1**709-246868*x1**710-34015*x1**711+115230*x1**712+61499*x1**713+141860*x1**714-1436*x1**715+13116*x1**716+97303*x1**717+4677*x1**718+127349*x1**719-8341*x1**720-40846*x1**721-80584*x1**722-143590*x1**723-122991*x1**724-201*x1**725+118580*x1**726+157950*x1**727-45619*x1**728-128412*x1**729-134565*x1**730+70202*x1**731+125605*x1**732-46547*x1**733+81030*x1**734+127368*x1**735-51996*x1**736-8532*x1**737-44716*x1**738+234233*x1**739+12798*x1**740+30071*x1**741+18244*x1**742-126790*x1**743-174694*x1**744-243956*x1**745+115764*x1**746-31119*x1**747+70464*x1**748-11845*x1**749-151968*x1**750-26735*x1**751-60185*x1**752+82005*x1**753+128779*x1**754+271963*x1**755-86985*x1**756-253090*x1**757-48050*x1**758-101357*x1**759+129340*x1**760+41763*x1**761+53666*x1**762+5824*x1**763+85316*x1**764-78241*x1**765-183418*x1**766-48918*x1**767-55974*x1**768+27645*x1**769+77708*x1**770+13291*x1**771-63126*x1**772-130765*x1**773+38333*x1**774+112330*x1**775+85262*x1**776+69336*x1**777-119199*x1**778+109469*x1**779-138288*x1**780+140112*x1**781+64826*x1**782+194909*x1**783-83694*x1**784-19245*x1**785+10478*x1**786-45688*x1**787-151788*x1**788-37544*x1**789-42021*x1**790+6891*x1**791-84865*x1**792+76969*x1**793-95857*x1**794+91731*x1**795-154571*x1**796+28909*x1**797-47726*x1**798+306060*x1**799-31586*x1**800+92643*x1**801-69376*x1**802+104359*x1**803-41307*x1**804-121697*x1**805+46313*x1**806-88099*x1**807-24232*x1**808+89970*x1**809+127376*x1**810+97867*x1**811+105675*x1**812+61013*x1**813+95494*x1**814-157168*x1**815+59789*x1**816-34522*x1**817-49791*x1**818+33701*x1**819+46579*x1**820-17078*x1**821-120221*x1**822+64415*x1**823+71648*x1**824-134071*x1**825+173907*x1**826-997*x1**827-8076*x1**828-99607*x1**829+20681*x1**830-97146*x1**831-187798*x1**832+145694*x1**833+125343*x1**834+46797*x1**835-21492*x1**836+15711*x1**837+67805*x1**838+22789*x1**839-194601*x1**840-93878*x1**841-38870*x1**842+129517*x1**843+63748*x1**844+42272*x1**845+121927*x1**846-48660*x1**847+5933*x1**848-57982*x1**849+106329*x1**850+86009*x1**851-45875*x1**852-10676*x1**853-82832*x1**854-111746*x1**855-78240*x1**856-91287*x1**857-43776*x1**858-104183*x1**859+11261*x1**860+130803*x1**861+83288*x1**862+21301*x1**863-646*x1**864+35312*x1**865-125107*x1**866+122724*x1**867-101384*x1**868+181114*x1**869-76139*x1**870+161553*x1**871-12825*x1**872+131625*x1**873-12299*x1**874-13158*x1**875-146709*x1**876+99759*x1**877+104888*x1**878-268913*x1**879-141725*x1**880-60181*x1**1676+109930*x1**1677+27589*x1**1678-113124*x1**1679-48937*x1**1680-89572*x1**1681-9691*x1**1682+7172*x1**1683-69*x1**1684-120640*x1**881-4395*x1**882+26085*x1**883-135325*x1**884-61091*x1**885+45141*x1**886-207834*x1**887+73531*x1**888-183274*x1**889+141774*x1**890-153812*x1**891+99395*x1**892-160928*x1**893-107080*x1**894+106788*x1**895-7071*x1**896-37885*x1**897+288255*x1**898-128187*x1**899-97931*x1**900-104368*x1**901-48435*x1**902-179762*x1**903+55858*x1**904+86872*x1**905-102687*x1**906+83165*x1**907-104949*x1**908+10038*x1**909-166171*x1**910+237233*x1**911-20153*x1**912+151331*x1**913-41070*x1**914-61238*x1**915-86835*x1**916+55908*x1**917-222072*x1**918+75702*x1**919+211649*x1**920+165625*x1**921-23446*x1**922-9582*x1**923+39364*x1**924+30526*x1**925-79572*x1**926-66738*x1**927-27090*x1**928+184853*x1**929+100842*x1**930-150624*x1**931-15814*x1**932+61251*x1**933-15448*x1**934+62354*x1**935-65163*x1**936-28681*x1**937+88907*x1**938+105263*x1**939+279460*x1**940+101170*x1**941+21482*x1**942-127930*x1**943-18227*x1**944+105618*x1**945+143108*x1**946-81088*x1**947+7145*x1**948-128272*x1**949+34233*x1**950-42953*x1**951-111170*x1**952+35124*x1**953-59374*x1**954-68688*x1**955+41785*x1**956-80457*x1**957-48648*x1**958+223566*x1**959-114526*x1**960-94333*x1**961-78000*x1**962+16648*x1**963+25087*x1**964-83297*x1**965+57755*x1**966-132336*x1**967+65761*x1**968+58508*x1**969+220969*x1**970-69853*x1**971+125297*x1**972-169390*x1**973-162899*x1**974+36998*x1**975-34992*x1**976-122501*x1**977-31433*x1**978-109701*x1**979-152151*x1**980+168254*x1**981-2830*x1**982-42805*x1**983-158721*x1**984-86847*x1**985-318671*x1**986+103642*x1**987-50610*x1**988+47842*x1**989+124777*x1**990-34601*x1**991+66171*x1**992+61123*x1**993+101347*x1**994-165170*x1**995-161517*x1**996-60281*x1**997-152963*x1**998+56567*x1**999-4168*x1**1000-71221*x1**1489-107555*x1**1490+87999*x1**1491-41746*x1**1492+7382*x1**1493-10596*x1**1494+1113*x1**1495+61476*x1**1496-6900*x1**1685+6802*x1**1687+12120*x1**1688+48484*x1**1689-7628*x1**1690-51861*x1**1691-5657*x1**1692-64354*x1**1693-64422*x1**1694+7937*x1**1686-607*x1**1712+53443*x1**1714-79668*x1**1715-1620*x1**1716+92596*x1**1717+64943*x1**1718+231*x1**1719+68027*x1**1720-47330*x1**1721-19707*x1**1722-18944*x1**1723+40223*x1**1724+49412*x1**1725+18359*x1**1726+39068*x1**1727-44002*x1**1713-4706*x1**1703+53824*x1**1704+95228*x1**1705-60792*x1**1706+47096*x1**1707-39448*x1**1708-94257*x1**1709+45128*x1**1710+56*x1**1711-90823*x1**1728+61351*x1**1729+15458*x1**1730-907*x1**1731+92035*x1**1732+21361*x1**1733+121421*x1**1734+65992*x1**1735+37326*x1**1736+63451*x1**1737+22041*x1**1738+34914*x1**1784+8612*x1**1785-2905*x1**1786-118604*x1**1787-37956*x1**1788-7549*x1**1789-6294*x1**1790+47907*x1**1791+16465*x1**1775-68638*x1**1776-2765*x1**1777-10939*x1**1778+37528*x1**1779-57538*x1**1780-24247*x1**1781-35202*x1**1782-57856*x1**1783-65725*x1**1767+45747*x1**1768-66456*x1**1769-76130*x1**1770+52733*x1**1771+7266*x1**1772+25009*x1**1773-764*x1**1774-58065*x1**1752-74263*x1**1753-59075*x1**1754+67205*x1**1755+23191*x1**1756-1565*x1**1757+12864*x1**1758-50214*x1**1759+6933*x1**1760-94005*x1**1761-65161*x1**1762-22588*x1**1763+119724*x1**1764-18183*x1**1765+32153*x1**1766-23606*x1**1739+71865*x1**1740+51913*x1**1741+79911*x1**1742-40739*x1**1743+41978*x1**1744-26046*x1**1745-16183*x1**1746+47520*x1**1747-8044*x1**1748+120039*x1**1749-18895*x1**1750+40921*x1**1751-9847*x1**1792-15055*x1**1793+32057*x1**1794-43483*x1**1795-42539*x1**1796-41820*x1**1797-23484*x1**1798+15461*x1**1799+22132*x1**1800+82432*x1**1801+25527*x1**1816-83869*x1**1817-17527*x1**1818+85505*x1**1819-5800*x1**1820+17391*x1**1821+41348*x1**1822+461*x1**1823+16691*x1**1824+19838*x1**1825+18091*x1**1802+61033*x1**1803-530*x1**1804-115789*x1**1805-47630*x1**1806+13760*x1**1807+33557*x1**1808-28275*x1**1809-74110*x1**1810-26387*x1**1811-12903*x1**1812+30333*x1**1813-39368*x1**1814-8473*x1**1815-23933*x1**1899-51823*x1**1900-3035*x1**1901+50495*x1**1902-44226*x1**1903+12508*x1**1904-6948*x1**1905-73637*x1**1906-651*x1**1907-722*x1**1908+20389*x1**1909+22980*x1**1910-28495*x1**1887-24009*x1**1888+24862*x1**1889+9655*x1**1890-25932*x1**1891+33590*x1**1892+39979*x1**1893-38238*x1**1894+6462*x1**1895+14701*x1**1896-22598*x1**1897+4923*x1**1898-2221*x1**1875+7531*x1**1876+36871*x1**1877-21480*x1**1878-3897*x1**1879+21021*x1**1880-48542*x1**1881+33144*x1**1882+110052*x1**1883-6163*x1**1884-1591*x1**1885+81347*x1**1886+4395*x1**1866-23349*x1**1867+67926*x1**1868-18095*x1**1869+1107*x1**1870+18393*x1**1871-28209*x1**1872-22600*x1**1873+36164*x1**1874+30349*x1**1856-24139*x1**1857-6057*x1**1858+15941*x1**1859-12863*x1**1860+11693*x1**1861+26482*x1**1862+2211*x1**1863-8037*x1**1864+18636*x1**1865+14850*x1**1845+22925*x1**1847+10519*x1**1848+7899*x1**1849-4722*x1**1850-10054*x1**1851-9616*x1**1852+38445*x1**1853+22868*x1**1854-13441*x1**1855+33973*x1**1846+10077*x1**1837+36357*x1**1838-30799*x1**1839-78920*x1**1840+41014*x1**1841-28239*x1**1842+19605*x1**1843-54230*x1**1844-26021*x1**1826-55873*x1**1828+8297*x1**1829+17562*x1**1830+33240*x1**1831+18826*x1**1832-70821*x1**1833-9167*x1**1834+48424*x1**1835-5225*x1**1836+2771*x1**1827-27383*x1**1911-34538*x1**1912+7568*x1**1913-17959*x1**1914-64204*x1**1915-22950*x1**1916-6578*x1**1917+2284*x1**1918-5942*x1**1919+66828*x1**1920-30198*x1**1921-4650*x1**1922+6451*x1**1923-11764*x1**1924+31544*x1**1925+22321*x1**1926-15441*x1**1927+2127*x1**1928+1450*x1**1929+27166*x1**1930+25349*x1**1931-9647*x1**1932-24448*x1**1933-40679*x1**1934+9923*x1**1935-36281*x1**1936-20777*x1**1937+2344*x1**1986+8894*x1**1987+8156*x1**1988+3102*x1**1989+1364*x1**1990+12440*x1**1991-2665*x1**1992-6778*x1**1993+6847*x1**1994+4666*x1**1995-3287*x1**1996-2653*x1**1997+5105*x1**1998-5425*x1**1974+6119*x1**1976+9617*x1**1977-243*x1**1978-4409*x1**1979+2158*x1**1980+5584*x1**1981+2275*x1**1982+28604*x1**1983+17938*x1**1984+8287*x1**1985+6169*x1**1975-1842*x1**1959+4458*x1**1961-1171*x1**1962+3447*x1**1963+1392*x1**1964+26920*x1**1965+266*x1**1966-21029*x1**1967+3789*x1**1968-5547*x1**1969+20446*x1**1970+24776*x1**1971+11929*x1**1972+1414*x1**1973-3566*x1**1960-44816*x1**1951-9302*x1**1952+25631*x1**1953-6040*x1**1954+15749*x1**1955+11047*x1**1956-7874*x1**1957-9827*x1**1958-5108*x1**1938-48102*x1**1939+39656*x1**1940+17668*x1**1941-2796*x1**1942+14260*x1**1943-27*x1**1944-67367*x1**1945-54545*x1**1946+7286*x1**1947+22418*x1**1948-626*x1**1949+55836*x1**1950-2542*x1**1999+609*x1**2000-90381*x1**1695+69588*x1**1696+3053*x1**1697-22673*x1**1698+77138*x1**1699-79388*x1**1700-37440*x1**1701+46467*x1**1702:; time(p:=gcd(p1,p2)); size(p); time(q:=gcd(q1,q2)); size(q); time(r:=gcd(r1,r2)); size(r); //p; //q; //r;