user=juhehe [2018-07-21 01:31:52] 837*2^1519476-1 is not prime. Res64: 1D71EAFAEF6F9938 Time : 0.0 sec. user=mdettweiler [2018-07-21 03:29:12] 797*2^1519470-1 is not prime. Res64: E8F766EACBB2C4CC Time : 0.0 sec. user=mdettweiler [2018-07-21 03:44:33] 657*2^1519469-1 is not prime. Res64: EE40FDDED388FC15 Time : 0.0 sec. user=juhehe [2018-07-21 03:53:17] 909*2^1519476-1 is not prime. Res64: ED5FAA2CC79E3DDC Time : 0.0 sec. user=mdettweiler [2018-07-21 03:56:41] 675*2^1519469-1 is not prime. Res64: 12FE3C425A0C346C Time : 0.0 sec. user=mdettweiler [2018-07-21 03:56:42] 799*2^1519469-1 is not prime. Res64: 57ABD72D50156CE0 Time : 0.0 sec. user=juhehe [2018-07-21 05:27:14] 955*2^1519477-1 is not prime. Res64: BE202D2BE58B0E77 Time : 0.0 sec. user=mdettweiler [2018-07-21 06:27:15] 753*2^1519475-1 is not prime. Res64: 61FE78EF151588EB Time : 0.0 sec. user=mdettweiler [2018-07-21 06:27:16] 629*2^1519476-1 is not prime. Res64: 638B3F3D5494C96E Time : 0.0 sec. user=mdettweiler [2018-07-21 06:27:42] 705*2^1519476-1 is not prime. Res64: 12A9C6875169C2A2 Time : 0.0 sec. user=mdettweiler [2018-07-21 06:27:42] 675*2^1519474-1 is not prime. Res64: 7244E26F620595CF Time : 0.0 sec. user=mdettweiler [2018-07-21 15:04:18] 993*2^1519476-1 is not prime. Res64: B3D3061E034C4374 Time : 0.0 sec. user=mdettweiler [2018-07-21 15:04:39] 651*2^1519477-1 is not prime. Res64: B4DA41C10CFFEBBA Time : 0.0 sec. user=mdettweiler [2018-07-21 15:25:38] 957*2^1519477-1 is not prime. Res64: 58CB00ADF2F04294 Time : 0.0 sec. user=mdettweiler [2018-07-21 16:14:57] 735*2^1519476-1 is not prime. Res64: B21B0B2EE413D292 Time : 0.0 sec. user=mdettweiler [2018-07-21 17:31:49] 803*2^1519474-1 is not prime. Res64: FF5B14DEE1BC55CC Time : 0.0 sec.