user=mdettweiler [2020-07-20 20:02:52] 881*2^1563526-1 is not prime. Res64: B2AF9F2ED78455B1 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:02:53] 993*2^1563526-1 is not prime. Res64: DCAB103AEAA350F1 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:02:54] 781*2^1563527-1 is not prime. Res64: 55EF824423F5AB8F Time : 0.0 sec. user=mdettweiler [2020-07-20 20:02:55] 861*2^1563527-1 is not prime. Res64: 01B67EEEA5F75123 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:02:56] 949*2^1563527-1 is not prime. Res64: 9DB6080F404AC16E Time : 0.0 sec. user=mdettweiler [2020-07-20 20:22:30] 973*2^1563527-1 is not prime. Res64: 15D9617256363E22 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:22:30] 605*2^1563528-1 is not prime. Res64: 2DF8135C03091C99 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:22:31] 635*2^1563528-1 is not prime. Res64: 28AFFB19B65D29F2 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:22:31] 683*2^1563528-1 is not prime. Res64: 67E0B08B8D0EEE34 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:22:32] 705*2^1563528-1 is not prime. Res64: 7A97D262409BCC8C Time : 0.0 sec. user=mdettweiler [2020-07-20 20:23:56] 927*2^1563528-1 is not prime. Res64: 7C7ED0DBB5404604 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:23:56] 999*2^1563528-1 is not prime. Res64: 54FA42E63E56A750 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:23:57] 679*2^1563529-1 is not prime. Res64: 1C792217722BBB8E Time : 0.0 sec. user=mdettweiler [2020-07-20 20:23:57] 789*2^1563529-1 is not prime. Res64: C3C7E17E36D3A4D6 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:23:58] 895*2^1563529-1 is not prime. Res64: F7FDC8C3E004A44C Time : 0.0 sec. user=mdettweiler [2020-07-20 20:58:55] 997*2^1563529-1 is not prime. Res64: 88FD3B40EA7E414D Time : 0.0 sec. user=mdettweiler [2020-07-20 20:58:55] 641*2^1563530-1 is not prime. Res64: 984B169B9AC53701 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:58:55] 785*2^1563530-1 is not prime. Res64: EC6BC7A5BD8AB0D3 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:58:56] 801*2^1563530-1 is not prime. Res64: 9DB72A17BDB14E62 Time : 0.0 sec. user=mdettweiler [2020-07-20 20:58:56] 831*2^1563530-1 is not prime. Res64: 877D0C7F21CBF7BD Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:20] 857*2^1563530-1 is not prime. Res64: E438D4AC8CD893EB Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:20] 867*2^1563530-1 is not prime. Res64: 751ABDB3AE553FFC Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:21] 923*2^1563530-1 is not prime. Res64: FA4319DD46FE7241 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:21] 945*2^1563530-1 is not prime. Res64: 0027F9E3CF665EDC Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:22] 613*2^1563531-1 is not prime. Res64: DED98A96A3F8236F Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:23] 619*2^1563531-1 is not prime. Res64: CC8EA2164A4A6DC1 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:23] 669*2^1563531-1 is not prime. Res64: D98B98B0516E1E44 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:24] 829*2^1563531-1 is not prime. Res64: 8668D7DEE1CF0A1D Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:25] 859*2^1563531-1 is not prime. Res64: 43B2A940C53D02F4 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:19:25] 895*2^1563531-1 is not prime. Res64: 2BEE206922D795EB Time : 0.0 sec. user=mdettweiler [2020-07-20 21:53:52] 943*2^1563531-1 is not prime. Res64: 3EB3D1D7B1ABEC80 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:53:53] 677*2^1563532-1 is not prime. Res64: AE51EB96EA8A74FD Time : 0.0 sec. user=mdettweiler [2020-07-20 21:53:53] 743*2^1563532-1 is not prime. Res64: 52D45CC7DBB41750 Time : 0.0 sec. user=mdettweiler [2020-07-20 21:53:54] 749*2^1563532-1 is not prime. Res64: 02474AD01B633D4B Time : 0.0 sec. user=mdettweiler [2020-07-20 21:53:54] 855*2^1563532-1 is not prime. Res64: 94EBFD665FCE0532 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:13:43] 901*2^1563533-1 is not prime. Res64: B2163A0EB4B38EA9 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:13:44] 945*2^1563533-1 is not prime. Res64: 7C491C1417EA04FD Time : 0.0 sec. user=mdettweiler [2020-07-20 22:13:45] 621*2^1563534-1 is not prime. Res64: FEEAD8DF862D3A82 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:13:46] 657*2^1563534-1 is not prime. Res64: C2FFC8006238CC0E Time : 0.0 sec. user=mdettweiler [2020-07-20 22:13:47] 707*2^1563534-1 is not prime. Res64: B26D4AE21FC789F7 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:17:27] 857*2^1563532-1 is not prime. Res64: F360E12F6A88D14F Time : 0.0 sec. user=mdettweiler [2020-07-20 22:17:27] 873*2^1563532-1 is not prime. Res64: 1A96532A3D699AFA Time : 0.0 sec. user=mdettweiler [2020-07-20 22:17:28] 915*2^1563532-1 is not prime. Res64: DCC1EACA5B3673F6 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:17:28] 929*2^1563532-1 is not prime. Res64: F1EC0D30B3CB54DC Time : 0.0 sec. user=mdettweiler [2020-07-20 22:17:29] 933*2^1563532-1 is not prime. Res64: B58FE4B1EDC51614 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:48:30] 711*2^1563534-1 is not prime. Res64: 3DEB0323CDF92574 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:48:30] 825*2^1563534-1 is not prime. Res64: EBC551BC095A4816 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:48:31] 993*2^1563534-1 is not prime. Res64: 023E67F6D5870752 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:48:31] 625*2^1563535-1 is not prime. Res64: 5A11F03B265310B6 Time : 0.0 sec. user=mdettweiler [2020-07-20 22:48:32] 763*2^1563535-1 is not prime. Res64: BF9BFC71C131843F Time : 0.0 sec. user=mdettweiler [2020-07-20 23:07:31] 765*2^1563535-1 is not prime. Res64: C5F721B75F774A64 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:07:32] 793*2^1563535-1 is not prime. Res64: A4647BC60F1B45A5 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:07:33] 841*2^1563535-1 is not prime. Res64: 0BA7FA29FA51CE58 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:07:34] 669*2^1563536-1 is not prime. Res64: 9E43BE2540E88394 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:07:36] 717*2^1563536-1 is not prime. Res64: E02ED9ACECA5F611 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:13:24] 747*2^1563536-1 is not prime. Res64: E194E784565B5F96 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:13:25] 767*2^1563536-1 is not prime. Res64: A6BFE1454923D356 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:13:26] 825*2^1563536-1 is not prime. Res64: E43DCA74E78B4822 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:13:27] 869*2^1563536-1 is not prime. Res64: 3D3AC2D4F394529C Time : 0.0 sec. user=mdettweiler [2020-07-20 23:13:28] 903*2^1563536-1 is not prime. Res64: 5AAD111950933142 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:44:09] 923*2^1563536-1 is not prime. Res64: DD01D66F660E2C00 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:44:09] 983*2^1563536-1 is not prime. Res64: 0E13A185D54FF2CA Time : 0.0 sec. user=mdettweiler [2020-07-20 23:44:10] 999*2^1563536-1 is not prime. Res64: 90860E4618A2963E Time : 0.0 sec. user=mdettweiler [2020-07-20 23:44:10] 667*2^1563537-1 is not prime. Res64: A4E662880E9A8017 Time : 0.0 sec. user=mdettweiler [2020-07-20 23:44:11] 739*2^1563537-1 is not prime. Res64: 10CC638DA7AC75CF Time : 0.0 sec.