source: git/Tst/Short/fermat_gcd_1var.tst @ e1cda9

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