LIB "tst.lib";tst_init();

ring r= 43051,(x1),dp;
poly r1,r2,q1,q2;
poly p1=
18045*x1^100+8915*x1^99-9586*x1^98+11858*x1^97-4588*x1^96-20179*x1^95+6674*x1^94
+ 60*x1^93+5619*x1^92-16583*x1^91-17152*x1^90-7698*x1^89-5378*x1^88+17676*x1^87+
4338*x1^86-11605*x1^85-8722*x1^84-10586*x1^83+12445*x1^82-8867*x1^81-4987*x1^80-
5827*x1^79-7056*x1^78+10624*x1^77-8932*x1^76+20783*x1^75+12673*x1^74+14479*x1^73
+1505*x1^72+19828*x1^71+9890*x1^70+9420*x1^69+6164*x1^68-189*x1^67+7089*x1^66-
13275*x1^65-21334*x1^64-1598*x1^63+15218*x1^62-15781*x1^61-2348*x1^60+9702*x1^59
+9847*x1^58+728*x1^57+6178*x1^56-12972*x1^55-9878*x1^54-20775*x1^53+9033*x1^52+
16760*x1^51-11545*x1^50+1204*x1^49+4439*x1^48-1758*x1^47-14034*x1^46-7901*x1^45-
847*x1^44-6058*x1^43+16021*x1^42+12383*x1^41-21486*x1^40+8794*x1^39-13258*x1^38+
18595*x1^37+11391*x1^36+6449*x1^35-9143*x1^34-15469*x1^33-4247*x1^32-4324*x1^31+
6964*x1^30-15132*x1^29+19394*x1^28+20794*x1^27-9739*x1^26-8235*x1^25-19466*x1^24
-992*x1^23+1313*x1^22+6339*x1^21+7240*x1^20+1010*x1^19-21426*x1^18-6126*x1^17-
10914*x1^16-7273*x1^15-21519*x1^14+19387*x1^13+14969*x1^12+16709*x1^11-10137*x1^
10-20117*x1^9-11042*x1^8-17942*x1^7+3075*x1^6-8269*x1^5+21490*x1^4-1008*x1^3+
10648*x1^2+6716*x1+20617;
poly p2 =
-19964*x1^100+1325*x1^99-1563*x1^98+13515*x1^97-20526*x1^96-16308*x1^95+4705*x1^
94+17504*x1^93-20020*x1^92-16711*x1^91+19689*x1^90+19481*x1^89-15758*x1^88-2839*
x1^87-13513*x1^86+19117*x1^85-19425*x1^84+9635*x1^83+7132*x1^82-8635*x1^81+10322
*x1^80-4747*x1^79-4530*x1^78+17909*x1^77+5937*x1^76-2786*x1^75+1662*x1^74+557*x1
^73-2195*x1^72-598*x1^71-5671*x1^70-7268*x1^69+20656*x1^68+10936*x1^67+14816*x1^
66-6654*x1^65-595*x1^64-10046*x1^63-11484*x1^62+18424*x1^61+12524*x1^60-16424*x1
^59-5299*x1^58-13128*x1^57+11250*x1^56-14100*x1^55+6583*x1^54-11288*x1^53-10515*
x1^52-12962*x1^51-18156*x1^50+7195*x1^49+3450*x1^48-2329*x1^47+11411*x1^46+19081
*x1^45-14392*x1^44+14874*x1^43+10114*x1^42+9721*x1^41+446*x1^40+19797*x1^39-
16093*x1^38-19833*x1^37+20228*x1^36-14495*x1^35-5148*x1^34-14310*x1^33+4716*x1^
32-21210*x1^31+12548*x1^30+2379*x1^29-18869*x1^28+17412*x1^27+6310*x1^26-14370*
x1^25+10948*x1^24-8643*x1^23-2926*x1^22-15705*x1^21-4256*x1^20-2643*x1^19+13341*
x1^18-8197*x1^17+6036*x1^16+12479*x1^15+10564*x1^14-20059*x1^13+20512*x1^12+6770
*x1^11+20929*x1^10-12891*x1^9-13236*x1^8+19882*x1^7-12695*x1^6+6751*x1^5-59*x1^4
+13436*x1^3+11053*x1^2-9773*x1+9996;
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;

tst_status();
gcd (p1,p2);
tst_status();

gcd (q1,q2);
tst_status();

gcd (r1,r2);
tst_status();
tst_status(1);

$