/* McKee- Smyth example of a Salem polynomial with trace = -2  */

s :=
1 + 2*x - 11*x^2 - 66*x^3 - 180*x^4 - 332*x^5 - 465*x^6 - 518*x^7 - 465*x^8 - 
 326*x^9 - 141*x^10 + 51*x^11 + 206*x^12 + 274*x^13 + 224*x^14 + 71*x^15 - 
 126*x^16 - 298*x^17 - 396*x^18 - 391*x^19 - 269*x^20 - 54*x^21 + 172*x^22 + 
 304*x^23 + 285*x^24 + 135*x^25 - 84*x^26 - 317*x^27 - 525*x^28 - 662*x^29 - 
 679*x^30 - 577*x^31 - 431*x^32 - 335*x^33 - 327*x^34 - 378*x^35 - 440*x^36 - 
 484*x^37 - 486*x^38 - 415*x^39 - 263*x^40 - 77*x^41 + 64*x^42 + 105*x^43 + 
 42*x^44 - 110*x^45 - 339*x^46 - 604*x^47 - 806*x^48 - 840*x^49 - 683*x^50 - 
 422*x^51 - 181*x^52 - 36*x^53 - 5*x^54 - 99*x^55 - 327*x^56 - 646*x^57 - 
 944*x^58 - 1112*x^59 - 1111*x^60 - 972*x^61 - 750*x^62 - 503*x^63 - 
 300*x^64 - 220*x^65 - 287*x^66 - 425*x^67 - 509*x^68 - 475*x^69 - 355*x^70 - 
 227*x^71 - 148*x^72 - 158*x^73 - 300*x^74 - 599*x^75 - 996*x^76 - 
 1344*x^77 - 1485*x^78 - 1353*x^79 - 990*x^80 - 513*x^81 - 71*x^82 + 
 179*x^83 + 125*x^84 - 248*x^85 - 825*x^86 - 1413*x^87 - 1819*x^88 - 
 1919*x^89 - 1671*x^90 - 1134*x^91 - 471*x^92 + 84*x^93 + 347*x^94 + 
 264*x^95 - 82*x^96 - 539*x^97 - 944*x^98 - 1182*x^99 - 1199*x^100 - 
 1033*x^101 - 798*x^102 - 635*x^103 - 631*x^104 - 807*x^105 - 1113*x^106 - 
 1447*x^107 - 1655*x^108 - 1604*x^109 - 1259*x^110 - 742*x^111 - 265*x^112 - 
 27*x^113 - 113*x^114 - 512*x^115 - 1122*x^116 - 1765*x^117 - 2207*x^118 - 
 2270*x^119 - 1900*x^120 - 1206*x^121 - 390*x^122 + 304*x^123 + 664*x^124 + 
 550*x^125 - 14*x^126 - 837*x^127 - 1622*x^128 - 2141*x^129 - 2294*x^130 - 
 2100*x^131 - 1629*x^132 - 1029*x^133 - 498*x^134 - 240*x^135 - 318*x^136 - 
 632*x^137 - 982*x^138 - 1224*x^139 - 1289*x^140 - 1193*x^141 - 995*x^142 - 
 832*x^143 - 839*x^144 - 1079*x^145 - 1453*x^146 - 1786*x^147 - 1914*x^148 - 
 1790*x^149 - 1413*x^150 - 837*x^151 - 189*x^152 + 274*x^153 + 319*x^154 - 
 134*x^155 - 911*x^156 - 1734*x^157 - 2339*x^158 - 2588*x^159 - 2411*x^160 - 
 1847*x^161 - 1039*x^162 - 270*x^163 + 211*x^164 + 271*x^165 - 42*x^166 - 
 605*x^167 - 1223*x^168 - 1709*x^169 - 1879*x^170 - 1710*x^171 - 1343*x^172 - 
 1033*x^173 - 917*x^174 - 1001*x^175 - 1173*x^176 - 1352*x^177 - 1436*x^178 - 
 1347*x^179 - 1013*x^180 - 513*x^181 - 38*x^182 + 147*x^183 - 76*x^184 - 
 695*x^185 - 1538*x^186 - 2378*x^187 - 2911*x^188 - 2926*x^189 - 2347*x^190 - 
 1359*x^191 - 254*x^192 + 631*x^193 + 1077*x^194 + 931*x^195 + 217*x^196 - 
 897*x^197 - 2031*x^198 - 2826*x^199 - 3035*x^200 - 2680*x^201 - 1921*x^202 - 
 1043*x^203 - 275*x^204 + 165*x^205 + 216*x^206 - 85*x^207 - 548*x^208 - 
 1014*x^209 - 1320*x^210 - 1426*x^211 - 1330*x^212 - 1184*x^213 - 
 1131*x^214 - 1294*x^215 - 1595*x^216 - 1888*x^217 - 1956*x^218 - 
 1737*x^219 - 1226*x^220 - 559*x^221 + 111*x^222 + 528*x^223 + 538*x^224 + 
 51*x^225 - 798*x^226 - 1812*x^227 - 2675*x^228 - 3145*x^229 - 3006*x^230 - 
 2298*x^231 - 1223*x^232 - 184*x^233 + 549*x^234 + 808*x^235 + 629*x^236 + 
 54*x^237 - 729*x^238 - 1527*x^239 - 2042*x^240 - 2158*x^241 - 1887*x^242 - 
 1461*x^243 - 1038*x^244 - 779*x^245 - 681*x^246 - 747*x^247 - 818*x^248 - 
 792*x^249 - 569*x^250 - 279*x^251 - 54*x^252 - 82*x^253 - 362*x^254 - 
 924*x^255 - 1675*x^256 - 2517*x^257 - 3134*x^258 - 3279*x^259 - 2758*x^260 - 
 1729*x^261 - 448*x^262 + 682*x^263 + 1410*x^264 + 1490*x^265 + 930*x^266 - 
 166*x^267 - 1410*x^268 - 2474*x^269 - 3017*x^270 - 2952*x^271 - 2255*x^272 - 
 1192*x^273 - 57*x^274 + 710*x^275 + 921*x^276 + 534*x^277 - 169*x^278 - 
 972*x^279 - 1608*x^280 - 2019*x^281 - 2097*x^282 - 1942*x^283 - 1629*x^284 - 
 1410*x^285 - 1368*x^286 - 1566*x^287 - 1781*x^288 - 1867*x^289 - 
 1599*x^290 - 1010*x^291 - 168*x^292 + 600*x^293 + 1076*x^294 + 977*x^295 + 
 331*x^296 - 774*x^297 - 1973*x^298 - 3002*x^299 - 3497*x^300 - 3353*x^301 - 
 2495*x^302 - 1223*x^303 + 126*x^304 + 1016*x^305 + 1203*x^306 + 576*x^307 - 
 544*x^308 - 1863*x^309 - 2937*x^310 - 3576*x^311 - 3565*x^312 - 3009*x^313 - 
 2022*x^314 - 1011*x^315 - 216*x^316 + 86*x^317 - 11*x^318 - 423*x^319 - 
 833*x^320 - 1126*x^321 - 1119*x^322 - 960*x^323 - 728*x^324 - 712*x^325 - 
 951*x^326 - 1523*x^327 - 2195*x^328 - 2855*x^329 - 3170*x^330 - 3032*x^331 - 
 2285*x^332 - 1194*x^333 - 40*x^334 + 640*x^335 + 650*x^336 - 133*x^337 - 
 1368*x^338 - 2775*x^339 - 3839*x^340 - 4307*x^341 - 3893*x^342 - 
 2779*x^343 - 1185*x^344 + 297*x^345 + 1303*x^346 + 1437*x^347 + 787*x^348 - 
 497*x^349 - 1841*x^350 - 2878*x^351 - 3205*x^352 - 2947*x^353 - 2251*x^354 - 
 1576*x^355 - 1095*x^356 - 1089*x^357 - 1454*x^358 - 2162*x^359 - 
 2783*x^360 - 3067*x^361 - 2683*x^362 - 1842*x^363 - 771*x^364 - 39*x^365 + 
 142*x^366 - 457*x^367 - 1562*x^368 - 2942*x^369 - 4003*x^370 - 4454*x^371 - 
 3959*x^372 - 2752*x^373 - 1064*x^374 + 471*x^375 + 1471*x^376 + 1439*x^377 + 
 450*x^378 - 1329*x^379 - 3169*x^380 - 4576*x^381 - 5022*x^382 - 4606*x^383 - 
 3436*x^384 - 2061*x^385 - 782*x^386 - 127*x^387 - 166*x^388 - 977*x^389 - 
 2060*x^390 - 3062*x^391 - 3437*x^392 - 3218*x^393 - 2431*x^394 - 
 1600*x^395 - 993*x^396 - 1038*x^397 - 1605*x^398 - 2614*x^399 - 3506*x^400 - 
 4035*x^401 - 3804*x^402 - 2961*x^403 - 1575*x^404 - 227*x^405 + 723*x^406 + 
 679*x^407 - 318*x^408 - 2134*x^409 - 3992*x^410 - 5387*x^411 - 5720*x^412 - 
 5094*x^413 - 3601*x^414 - 1891*x^415 - 359*x^416 + 349*x^417 + 167*x^418 - 
 968*x^419 - 2447*x^420 - 3865*x^421 - 4563*x^422 - 4503*x^423 - 3624*x^424 - 
 2493*x^425 - 1449*x^426 - 1084*x^427 - 1331*x^428 - 2169*x^429 - 
 3023*x^430 - 3674*x^431 - 3680*x^432 - 3157*x^433 - 2058*x^434 - 943*x^435 - 
 146*x^436 - 293*x^437 - 1296*x^438 - 3017*x^439 - 4665*x^440 - 5831*x^441 - 
 5934*x^442 - 5099*x^443 - 3385*x^444 - 1505*x^445 + 97*x^446 + 708*x^447 + 
 330*x^448 - 1077*x^449 - 2859*x^450 - 4607*x^451 - 5545*x^452 - 5527*x^453 - 
 4396*x^454 - 2824*x^455 - 1277*x^456 - 508*x^457 - 515*x^458 - 1371*x^459 - 
 2520*x^460 - 3724*x^461 - 4340*x^462 - 4309*x^463 - 3438*x^464 - 
 2301*x^465 - 1257*x^466 - 1019*x^467 - 1567*x^468 - 2936*x^469 - 
 4415*x^470 - 5616*x^471 - 5836*x^472 - 5116*x^473 - 3448*x^474 - 
 1582*x^475 + 61*x^476 + 720*x^477 + 362*x^478 - 1139*x^479 - 3114*x^480 - 
 5107*x^481 - 6210*x^482 - 6247*x^483 - 5028*x^484 - 3264*x^485 - 
 1431*x^486 - 373*x^487 - 164*x^488 - 989*x^489 - 2283*x^490 - 3795*x^491 - 
 4787*x^492 - 5137*x^493 - 4536*x^494 - 3482*x^495 - 2243*x^496 - 
 1584*x^497 - 1564*x^498 - 2391*x^499 - 3477*x^500 - 4536*x^501 - 
 4849*x^502 - 4442*x^503 - 3201*x^504 - 1804*x^505 - 544*x^506 - 106*x^507 - 
 469*x^508 - 1840*x^509 - 3626*x^510 - 5472*x^511 - 6453*x^512 - 6381*x^513 - 
 5018*x^514 - 3082*x^515 - 1020*x^516 + 282*x^517 + 705*x^518 - 72*x^519 - 
 1529*x^520 - 3390*x^521 - 4778*x^522 - 5471*x^523 - 5054*x^524 - 
 4001*x^525 - 2524*x^526 - 1443*x^527 - 947*x^528 - 1457*x^529 - 2491*x^530 - 
 3791*x^531 - 4522*x^532 - 4618*x^533 - 3835*x^534 - 2745*x^535 - 
 1524*x^536 - 873*x^537 - 848*x^538 - 1813*x^539 - 3238*x^540 - 4809*x^541 - 
 5588*x^542 - 5410*x^543 - 4008*x^544 - 2082*x^545 - 25*x^546 + 1227*x^547 + 
 1511*x^548 + 468*x^549 - 1330*x^550 - 3558*x^551 - 5260*x^552 - 6191*x^553 - 
 5844*x^554 - 4628*x^555 - 2734*x^556 - 1097*x^557 - 52*x^558 - 191*x^559 - 
 1096*x^560 - 2558*x^561 - 3715*x^562 - 4423*x^563 - 4240*x^564 - 
 3541*x^565 - 2346*x^566 - 1379*x^567 - 789*x^568 - 1103*x^569 - 1937*x^570 - 
 3153*x^571 - 3931*x^572 - 4143*x^573 - 3361*x^574 - 2074*x^575 - 478*x^576 + 
 548*x^577 + 818*x^578 - 111*x^579 - 1725*x^580 - 3808*x^581 - 5456*x^582 - 
 6415*x^583 - 6062*x^584 - 4696*x^585 - 2458*x^586 - 379*x^587 + 1092*x^588 + 
 1231*x^589 + 371*x^590 - 1346*x^591 - 3031*x^592 - 4421*x^593 - 4837*x^594 - 
 4455*x^595 - 3174*x^596 - 1755*x^597 - 475*x^598 - 65*x^599 - 349*x^600 - 
 1386*x^601 - 2412*x^602 - 3237*x^603 - 3245*x^604 - 2719*x^605 - 
 1680*x^606 - 917*x^607 - 568*x^608 - 1126*x^609 - 2172*x^610 - 3640*x^611 - 
 4762*x^612 - 5376*x^613 - 4864*x^614 - 3501*x^615 - 1362*x^616 + 562*x^617 + 
 1856*x^618 + 1803*x^619 + 731*x^620 - 1239*x^621 - 3192*x^622 - 4812*x^623 - 
 5322*x^624 - 4837*x^625 - 3261*x^626 - 1425*x^627 + 308*x^628 + 1093*x^629 + 
 993*x^630 - 172*x^631 - 1669*x^632 - 3199*x^633 - 3935*x^634 - 3959*x^635 - 
 3151*x^636 - 2251*x^637 - 1398*x^638 - 1181*x^639 - 1398*x^640 - 
 2251*x^641 - 3151*x^642 - 3959*x^643 - 3935*x^644 - 3199*x^645 - 
 1669*x^646 - 172*x^647 + 993*x^648 + 1093*x^649 + 308*x^650 - 1425*x^651 - 
 3261*x^652 - 4837*x^653 - 5322*x^654 - 4812*x^655 - 3192*x^656 - 
 1239*x^657 + 731*x^658 + 1803*x^659 + 1856*x^660 + 562*x^661 - 1362*x^662 - 
 3501*x^663 - 4864*x^664 - 5376*x^665 - 4762*x^666 - 3640*x^667 - 
 2172*x^668 - 1126*x^669 - 568*x^670 - 917*x^671 - 1680*x^672 - 2719*x^673 - 
 3245*x^674 - 3237*x^675 - 2412*x^676 - 1386*x^677 - 349*x^678 - 65*x^679 - 
 475*x^680 - 1755*x^681 - 3174*x^682 - 4455*x^683 - 4837*x^684 - 4421*x^685 - 
 3031*x^686 - 1346*x^687 + 371*x^688 + 1231*x^689 + 1092*x^690 - 379*x^691 - 
 2458*x^692 - 4696*x^693 - 6062*x^694 - 6415*x^695 - 5456*x^696 - 
 3808*x^697 - 1725*x^698 - 111*x^699 + 818*x^700 + 548*x^701 - 478*x^702 - 
 2074*x^703 - 3361*x^704 - 4143*x^705 - 3931*x^706 - 3153*x^707 - 
 1937*x^708 - 1103*x^709 - 789*x^710 - 1379*x^711 - 2346*x^712 - 3541*x^713 - 
 4240*x^714 - 4423*x^715 - 3715*x^716 - 2558*x^717 - 1096*x^718 - 191*x^719 - 
 52*x^720 - 1097*x^721 - 2734*x^722 - 4628*x^723 - 5844*x^724 - 6191*x^725 - 
 5260*x^726 - 3558*x^727 - 1330*x^728 + 468*x^729 + 1511*x^730 + 1227*x^731 - 
 25*x^732 - 2082*x^733 - 4008*x^734 - 5410*x^735 - 5588*x^736 - 4809*x^737 - 
 3238*x^738 - 1813*x^739 - 848*x^740 - 873*x^741 - 1524*x^742 - 2745*x^743 - 
 3835*x^744 - 4618*x^745 - 4522*x^746 - 3791*x^747 - 2491*x^748 - 
 1457*x^749 - 947*x^750 - 1443*x^751 - 2524*x^752 - 4001*x^753 - 5054*x^754 - 
 5471*x^755 - 4778*x^756 - 3390*x^757 - 1529*x^758 - 72*x^759 + 705*x^760 + 
 282*x^761 - 1020*x^762 - 3082*x^763 - 5018*x^764 - 6381*x^765 - 6453*x^766 - 
 5472*x^767 - 3626*x^768 - 1840*x^769 - 469*x^770 - 106*x^771 - 544*x^772 - 
 1804*x^773 - 3201*x^774 - 4442*x^775 - 4849*x^776 - 4536*x^777 - 
 3477*x^778 - 2391*x^779 - 1564*x^780 - 1584*x^781 - 2243*x^782 - 
 3482*x^783 - 4536*x^784 - 5137*x^785 - 4787*x^786 - 3795*x^787 - 
 2283*x^788 - 989*x^789 - 164*x^790 - 373*x^791 - 1431*x^792 - 3264*x^793 - 
 5028*x^794 - 6247*x^795 - 6210*x^796 - 5107*x^797 - 3114*x^798 - 
 1139*x^799 + 362*x^800 + 720*x^801 + 61*x^802 - 1582*x^803 - 3448*x^804 - 
 5116*x^805 - 5836*x^806 - 5616*x^807 - 4415*x^808 - 2936*x^809 - 
 1567*x^810 - 1019*x^811 - 1257*x^812 - 2301*x^813 - 3438*x^814 - 
 4309*x^815 - 4340*x^816 - 3724*x^817 - 2520*x^818 - 1371*x^819 - 515*x^820 - 
 508*x^821 - 1277*x^822 - 2824*x^823 - 4396*x^824 - 5527*x^825 - 5545*x^826 - 
 4607*x^827 - 2859*x^828 - 1077*x^829 + 330*x^830 + 708*x^831 + 97*x^832 - 
 1505*x^833 - 3385*x^834 - 5099*x^835 - 5934*x^836 - 5831*x^837 - 
 4665*x^838 - 3017*x^839 - 1296*x^840 - 293*x^841 - 146*x^842 - 943*x^843 - 
 2058*x^844 - 3157*x^845 - 3680*x^846 - 3674*x^847 - 3023*x^848 - 
 2169*x^849 - 1331*x^850 - 1084*x^851 - 1449*x^852 - 2493*x^853 - 
 3624*x^854 - 4503*x^855 - 4563*x^856 - 3865*x^857 - 2447*x^858 - 968*x^859 + 
 167*x^860 + 349*x^861 - 359*x^862 - 1891*x^863 - 3601*x^864 - 5094*x^865 - 
 5720*x^866 - 5387*x^867 - 3992*x^868 - 2134*x^869 - 318*x^870 + 679*x^871 + 
 723*x^872 - 227*x^873 - 1575*x^874 - 2961*x^875 - 3804*x^876 - 4035*x^877 - 
 3506*x^878 - 2614*x^879 - 1605*x^880 - 1038*x^881 - 993*x^882 - 1600*x^883 - 
 2431*x^884 - 3218*x^885 - 3437*x^886 - 3062*x^887 - 2060*x^888 - 977*x^889 - 
 166*x^890 - 127*x^891 - 782*x^892 - 2061*x^893 - 3436*x^894 - 4606*x^895 - 
 5022*x^896 - 4576*x^897 - 3169*x^898 - 1329*x^899 + 450*x^900 + 1439*x^901 + 
 1471*x^902 + 471*x^903 - 1064*x^904 - 2752*x^905 - 3959*x^906 - 4454*x^907 - 
 4003*x^908 - 2942*x^909 - 1562*x^910 - 457*x^911 + 142*x^912 - 39*x^913 - 
 771*x^914 - 1842*x^915 - 2683*x^916 - 3067*x^917 - 2783*x^918 - 2162*x^919 - 
 1454*x^920 - 1089*x^921 - 1095*x^922 - 1576*x^923 - 2251*x^924 - 
 2947*x^925 - 3205*x^926 - 2878*x^927 - 1841*x^928 - 497*x^929 + 787*x^930 + 
 1437*x^931 + 1303*x^932 + 297*x^933 - 1185*x^934 - 2779*x^935 - 3893*x^936 - 
 4307*x^937 - 3839*x^938 - 2775*x^939 - 1368*x^940 - 133*x^941 + 650*x^942 + 
 640*x^943 - 40*x^944 - 1194*x^945 - 2285*x^946 - 3032*x^947 - 3170*x^948 - 
 2855*x^949 - 2195*x^950 - 1523*x^951 - 951*x^952 - 712*x^953 - 728*x^954 - 
 960*x^955 - 1119*x^956 - 1126*x^957 - 833*x^958 - 423*x^959 - 11*x^960 + 
 86*x^961 - 216*x^962 - 1011*x^963 - 2022*x^964 - 3009*x^965 - 3565*x^966 - 
 3576*x^967 - 2937*x^968 - 1863*x^969 - 544*x^970 + 576*x^971 + 1203*x^972 + 
 1016*x^973 + 126*x^974 - 1223*x^975 - 2495*x^976 - 3353*x^977 - 3497*x^978 - 
 3002*x^979 - 1973*x^980 - 774*x^981 + 331*x^982 + 977*x^983 + 1076*x^984 + 
 600*x^985 - 168*x^986 - 1010*x^987 - 1599*x^988 - 1867*x^989 - 1781*x^990 - 
 1566*x^991 - 1368*x^992 - 1410*x^993 - 1629*x^994 - 1942*x^995 - 
 2097*x^996 - 2019*x^997 - 1608*x^998 - 972*x^999 - 169*x^1000 + 534*x^1001 + 
 921*x^1002 + 710*x^1003 - 57*x^1004 - 1192*x^1005 - 2255*x^1006 - 
 2952*x^1007 - 3017*x^1008 - 2474*x^1009 - 1410*x^1010 - 166*x^1011 + 
 930*x^1012 + 1490*x^1013 + 1410*x^1014 + 682*x^1015 - 448*x^1016 - 
 1729*x^1017 - 2758*x^1018 - 3279*x^1019 - 3134*x^1020 - 2517*x^1021 - 
 1675*x^1022 - 924*x^1023 - 362*x^1024 - 82*x^1025 - 54*x^1026 - 279*x^1027 - 
 569*x^1028 - 792*x^1029 - 818*x^1030 - 747*x^1031 - 681*x^1032 - 
 779*x^1033 - 1038*x^1034 - 1461*x^1035 - 1887*x^1036 - 2158*x^1037 - 
 2042*x^1038 - 1527*x^1039 - 729*x^1040 + 54*x^1041 + 629*x^1042 + 
 808*x^1043 + 549*x^1044 - 184*x^1045 - 1223*x^1046 - 2298*x^1047 - 
 3006*x^1048 - 3145*x^1049 - 2675*x^1050 - 1812*x^1051 - 798*x^1052 + 
 51*x^1053 + 538*x^1054 + 528*x^1055 + 111*x^1056 - 559*x^1057 - 
 1226*x^1058 - 1737*x^1059 - 1956*x^1060 - 1888*x^1061 - 1595*x^1062 - 
 1294*x^1063 - 1131*x^1064 - 1184*x^1065 - 1330*x^1066 - 1426*x^1067 - 
 1320*x^1068 - 1014*x^1069 - 548*x^1070 - 85*x^1071 + 216*x^1072 + 
 165*x^1073 - 275*x^1074 - 1043*x^1075 - 1921*x^1076 - 2680*x^1077 - 
 3035*x^1078 - 2826*x^1079 - 2031*x^1080 - 897*x^1081 + 217*x^1082 + 
 931*x^1083 + 1077*x^1084 + 631*x^1085 - 254*x^1086 - 1359*x^1087 - 
 2347*x^1088 - 2926*x^1089 - 2911*x^1090 - 2378*x^1091 - 1538*x^1092 - 
 695*x^1093 - 76*x^1094 + 147*x^1095 - 38*x^1096 - 513*x^1097 - 1013*x^1098 - 
 1347*x^1099 - 1436*x^1100 - 1352*x^1101 - 1173*x^1102 - 1001*x^1103 - 
 917*x^1104 - 1033*x^1105 - 1343*x^1106 - 1710*x^1107 - 1879*x^1108 - 
 1709*x^1109 - 1223*x^1110 - 605*x^1111 - 42*x^1112 + 271*x^1113 + 
 211*x^1114 - 270*x^1115 - 1039*x^1116 - 1847*x^1117 - 2411*x^1118 - 
 2588*x^1119 - 2339*x^1120 - 1734*x^1121 - 911*x^1122 - 134*x^1123 + 
 319*x^1124 + 274*x^1125 - 189*x^1126 - 837*x^1127 - 1413*x^1128 - 
 1790*x^1129 - 1914*x^1130 - 1786*x^1131 - 1453*x^1132 - 1079*x^1133 - 
 839*x^1134 - 832*x^1135 - 995*x^1136 - 1193*x^1137 - 1289*x^1138 - 
 1224*x^1139 - 982*x^1140 - 632*x^1141 - 318*x^1142 - 240*x^1143 - 
 498*x^1144 - 1029*x^1145 - 1629*x^1146 - 2100*x^1147 - 2294*x^1148 - 
 2141*x^1149 - 1622*x^1150 - 837*x^1151 - 14*x^1152 + 550*x^1153 + 
 664*x^1154 + 304*x^1155 - 390*x^1156 - 1206*x^1157 - 1900*x^1158 - 
 2270*x^1159 - 2207*x^1160 - 1765*x^1161 - 1122*x^1162 - 512*x^1163 - 
 113*x^1164 - 27*x^1165 - 265*x^1166 - 742*x^1167 - 1259*x^1168 - 
 1604*x^1169 - 1655*x^1170 - 1447*x^1171 - 1113*x^1172 - 807*x^1173 - 
 631*x^1174 - 635*x^1175 - 798*x^1176 - 1033*x^1177 - 1199*x^1178 - 
 1182*x^1179 - 944*x^1180 - 539*x^1181 - 82*x^1182 + 264*x^1183 + 
 347*x^1184 + 84*x^1185 - 471*x^1186 - 1134*x^1187 - 1671*x^1188 - 
 1919*x^1189 - 1819*x^1190 - 1413*x^1191 - 825*x^1192 - 248*x^1193 + 
 125*x^1194 + 179*x^1195 - 71*x^1196 - 513*x^1197 - 990*x^1198 - 
 1353*x^1199 - 1485*x^1200 - 1344*x^1201 - 996*x^1202 - 599*x^1203 - 
 300*x^1204 - 158*x^1205 - 148*x^1206 - 227*x^1207 - 355*x^1208 - 
 475*x^1209 - 509*x^1210 - 425*x^1211 - 287*x^1212 - 220*x^1213 - 
 300*x^1214 - 503*x^1215 - 750*x^1216 - 972*x^1217 - 1111*x^1218 - 
 1112*x^1219 - 944*x^1220 - 646*x^1221 - 327*x^1222 - 99*x^1223 - 5*x^1224 - 
 36*x^1225 - 181*x^1226 - 422*x^1227 - 683*x^1228 - 840*x^1229 - 806*x^1230 - 
 604*x^1231 - 339*x^1232 - 110*x^1233 + 42*x^1234 + 105*x^1235 + 64*x^1236 - 
 77*x^1237 - 263*x^1238 - 415*x^1239 - 486*x^1240 - 484*x^1241 - 440*x^1242 - 
 378*x^1243 - 327*x^1244 - 335*x^1245 - 431*x^1246 - 577*x^1247 - 
 679*x^1248 - 662*x^1249 - 525*x^1250 - 317*x^1251 - 84*x^1252 + 135*x^1253 + 
 285*x^1254 + 304*x^1255 + 172*x^1256 - 54*x^1257 - 269*x^1258 - 391*x^1259 - 
 396*x^1260 - 298*x^1261 - 126*x^1262 + 71*x^1263 + 224*x^1264 + 274*x^1265 + 
 206*x^1266 + 51*x^1267 - 141*x^1268 - 326*x^1269 - 465*x^1270 - 518*x^1271 - 
 465*x^1272 - 332*x^1273 - 180*x^1274 - 66*x^1275 - 11*x^1276 + 2*x^1277 + 
 x^1278;

sc := PolynomialRing(ComplexField())!s;
time R := Roots(sc);
save "trace-2.s";
print R;

time irr := IsIrreducible(s);
print "irr = ", irr;
save "trace-2.s";


