user=mdettweiler [2020-02-02 01:03:57] 927*2^1553524-1 is not prime. Res64: 597B19A155E8C529 Time : 0.0 sec. user=mdettweiler [2020-02-02 01:03:59] 645*2^1553525-1 is not prime. Res64: CE9C8098D10D02E5 Time : 0.0 sec. user=mdettweiler [2020-02-02 01:04:02] 649*2^1553525-1 is not prime. Res64: AFEF29459EB5BB26 Time : 0.0 sec. user=mdettweiler [2020-02-02 01:04:03] 651*2^1553525-1 is not prime. Res64: 4CAA96142934AD0E Time : 0.0 sec. user=mdettweiler [2020-02-02 01:56:28] 729*2^1553525-1 is not prime. Res64: 6B9EC156DB2C6A7B Time : 0.0 sec. user=mdettweiler [2020-02-02 01:56:29] 671*2^1553526-1 is not prime. Res64: 7E65A8B23DBE2DBD Time : 0.0 sec. user=mdettweiler [2020-02-02 01:56:29] 717*2^1553526-1 is not prime. Res64: 8A691F7570DC66B6 Time : 0.0 sec. user=mdettweiler [2020-02-02 01:56:30] 795*2^1553526-1 is not prime. Res64: 64DC0BC672771101 Time : 0.0 sec. user=mdettweiler [2020-02-02 01:56:50] 663*2^1553528-1 is not prime. Res64: 9C875D807208A2AF Time : 0.0 sec. user=mdettweiler [2020-02-02 02:48:57] 811*2^1553529-1 is not prime. Res64: 92C10C14020458E6 Time : 0.0 sec. user=mdettweiler [2020-02-02 02:48:58] 835*2^1553529-1 is not prime. Res64: 489586E6C80A731E Time : 0.0 sec. user=mdettweiler [2020-02-02 02:48:58] 731*2^1553530-1 is not prime. Res64: EC8F96FF9C309C64 Time : 0.0 sec. user=mdettweiler [2020-02-02 02:48:58] 741*2^1553530-1 is not prime. Res64: AA538B6B87F28A1F Time : 0.0 sec. user=mdettweiler [2020-02-02 02:48:59] 803*2^1553530-1 is not prime. Res64: 0E06C6F4D238DA78 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:43:11] 645*2^1553531-1 is not prime. Res64: B6F98A33D908D4A6 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:43:12] 715*2^1553531-1 is not prime. Res64: 710882CB7B95AE26 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:43:13] 735*2^1553531-1 is not prime. Res64: 614E950D073B3031 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:43:13] 931*2^1553531-1 is not prime. Res64: B216D7E7E675F004 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:43:14] 981*2^1553531-1 is not prime. Res64: B8D2CCC45230DC1E Time : 0.0 sec. user=mdettweiler [2020-02-02 03:51:45] 705*2^1553527-1 is not prime. Res64: 39D3726C858FCDEF Time : 0.0 sec. user=mdettweiler [2020-02-02 03:51:46] 741*2^1553527-1 is not prime. Res64: 86B2642A057C93DD Time : 0.0 sec. user=mdettweiler [2020-02-02 03:51:47] 805*2^1553527-1 is not prime. Res64: D002634DFAD89C21 Time : 0.0 sec. user=mdettweiler [2020-02-02 03:51:47] 831*2^1553527-1 is not prime. Res64: 1CF71BC08E174B16 Time : 0.0 sec. user=mdettweiler [2020-02-02 04:38:59] 993*2^1553531-1 is not prime. Res64: D40A6B2C9945EF78 Time : 0.0 sec. user=mdettweiler [2020-02-02 04:47:17] 947*2^1553532-1 is not prime. Res64: 372CE1C14F8D68FD Time : 0.0 sec. user=mdettweiler [2020-02-02 07:53:35] 839*2^1553528-1 is not prime. Res64: 7C3C134900B48BDE Time : 0.0 sec. user=mdettweiler [2020-02-02 10:36:49] 629*2^1553532-1 is not prime. Res64: 4BD00AAEFCD72AD3 Time : 0.0 sec. user=mdettweiler [2020-02-02 10:44:47] 621*2^1553533-1 is not prime. Res64: 954042DAC6375665 Time : 0.0 sec. user=mdettweiler [2020-02-02 14:30:43] 667*2^1553529-1 is not prime. Res64: 7CA98A8F64237A30 Time : 0.0 sec. user=mdettweiler [2020-02-02 14:30:44] 765*2^1553529-1 is not prime. Res64: 647DB1128BCF57B5 Time : 0.0 sec. user=mdettweiler [2020-02-02 14:30:44] 781*2^1553529-1 is not prime. Res64: 135A7F9748BB891F Time : 0.0 sec. user=mdettweiler [2020-02-02 15:22:37] 605*2^1553534-1 is not prime. Res64: 89090DFAE29DAC32 Time : 0.0 sec. user=mdettweiler [2020-02-02 15:26:37] 817*2^1553533-1 is not prime. Res64: 91C933770A4D42A8 Time : 0.0 sec. user=mdettweiler [2020-02-02 15:26:50] 885*2^1553533-1 is not prime. Res64: 72DE99C680ABA2EA Time : 0.0 sec. user=mdettweiler [2020-02-02 17:21:15] 749*2^1553532-1 is not prime. Res64: 8ACB7776419AB39D Time : 0.0 sec. user=mdettweiler [2020-02-02 17:21:15] 767*2^1553532-1 is not prime. Res64: 9A6E09D48AD76189 Time : 0.0 sec. user=mdettweiler [2020-02-02 17:21:16] 933*2^1553532-1 is not prime. Res64: 85B7A75EE1BADBE4 Time : 0.0 sec. user=mdettweiler [2020-02-02 18:14:43] 875*2^1553534-1 is not prime. Res64: 46895BDE3A392889 Time : 0.0 sec. user=mdettweiler [2020-02-02 18:14:46] 953*2^1553534-1 is not prime. Res64: 2A39CAA9D7BBD3B6 Time : 0.0 sec. user=mdettweiler [2020-02-02 18:14:58] 675*2^1553535-1 is not prime. Res64: D8AE34FD1CAD38EC Time : 0.0 sec. user=mdettweiler [2020-02-02 20:44:07] 677*2^1553534-1 is not prime. Res64: FEF33EFBD2DA5233 Time : 0.0 sec. user=mdettweiler [2020-02-02 20:44:07] 711*2^1553534-1 is not prime. Res64: 92A63905626914A3 Time : 0.0 sec. user=mdettweiler [2020-02-02 20:44:08] 755*2^1553534-1 is not prime. Res64: 0ADBA6D15E2C8348 Time : 0.0 sec. user=mdettweiler [2020-02-02 20:44:08] 831*2^1553534-1 is not prime. Res64: 7CC3FE91F146234F Time : 0.0 sec. user=mdettweiler [2020-02-02 21:41:07] 963*2^1553535-1 is not prime. Res64: A819D25E255A21B5 Time : 0.0 sec. user=mdettweiler [2020-02-02 22:29:30] 999*2^1553533-1 is not prime. Res64: 978607A9E9DEED0E Time : 0.0 sec. user=mdettweiler [2020-02-02 23:22:13] 691*2^1553537-1 is not prime. Res64: 6158703E1C72617E Time : 0.0 sec.