user=mdettweiler [2019-05-25 02:28:41] 1001*2^1539158-1 is not prime. Res64: DE9E8C601FE020E3 Time : 0.0 sec. user=mdettweiler [2019-05-25 02:57:02] 713*2^1539158-1 is not prime. Res64: 44ADF919A823D544 Time : 0.0 sec. user=mdettweiler [2019-05-25 02:57:03] 743*2^1539158-1 is not prime. Res64: FE3A781E9B31D6ED Time : 0.0 sec. user=mdettweiler [2019-05-25 02:57:03] 791*2^1539158-1 is not prime. Res64: AE2C1CEEBCDADFAB Time : 0.0 sec. user=mdettweiler [2019-05-25 02:57:04] 921*2^1539158-1 is not prime. Res64: 0C1E045F2F210121 Time : 0.0 sec. user=mdettweiler [2019-05-25 02:57:04] 951*2^1539158-1 is not prime. Res64: 19F910D4A1C0C7CE Time : 0.0 sec. user=mdettweiler [2019-05-25 03:22:40] 851*2^1539150-1 is not prime. Res64: 84079CEF47262ABF Time : 0.0 sec. user=mdettweiler [2019-05-25 03:52:04] 863*2^1539160-1 is not prime. Res64: D1C584D15A6B834B Time : 0.0 sec. user=mdettweiler [2019-05-25 03:52:06] 899*2^1539160-1 is not prime. Res64: C2E1284137256C0C Time : 0.0 sec. user=mdettweiler [2019-05-25 03:52:06] 917*2^1539160-1 is not prime. Res64: F4180D215252FF40 Time : 0.0 sec. user=mdettweiler [2019-05-25 03:52:08] 957*2^1539160-1 is not prime. Res64: AE0366E853BD57DB Time : 0.0 sec. user=mdettweiler [2019-05-25 03:52:09] 975*2^1539160-1 is not prime. Res64: BB5CEBF547E32130 Time : 0.0 sec. user=mdettweiler [2019-05-25 04:47:41] 999*2^1539160-1 is not prime. Res64: 9A7918F5A0D90560 Time : 0.0 sec. user=mdettweiler [2019-05-25 04:47:42] 649*2^1539161-1 is not prime. Res64: 69BEC93FB9AD29E0 Time : 0.0 sec. user=mdettweiler [2019-05-25 04:47:42] 657*2^1539161-1 is not prime. Res64: F1CB370A0D6B141A Time : 0.0 sec. user=mdettweiler [2019-05-25 04:47:43] 747*2^1539161-1 is not prime. Res64: 536C019B02CA8376 Time : 0.0 sec. user=mdettweiler [2019-05-25 04:47:43] 777*2^1539161-1 is not prime. Res64: 98F5CCC48573E31F Time : 0.0 sec. user=mdettweiler [2019-05-25 05:42:24] 795*2^1539161-1 is not prime. Res64: 44DF3658B623E993 Time : 0.0 sec. user=mdettweiler [2019-05-25 05:42:24] 879*2^1539161-1 is not prime. Res64: 1F52DF04BC66AA70 Time : 0.0 sec. user=mdettweiler [2019-05-25 05:42:24] 677*2^1539162-1 is not prime. Res64: EF2140969E51A4BC Time : 0.0 sec. user=mdettweiler [2019-05-25 05:42:25] 711*2^1539162-1 is not prime. Res64: 578BAF6D61DD7124 Time : 0.0 sec. user=mdettweiler [2019-05-25 05:42:25] 735*2^1539162-1 is not prime. Res64: 488DCD23A5F1A380 Time : 0.0 sec. user=mdettweiler [2019-05-25 06:36:29] 767*2^1539162-1 is not prime. Res64: E0F8D80BE0D63652 Time : 0.0 sec. user=mdettweiler [2019-05-25 06:36:30] 615*2^1539163-1 is not prime. Res64: 39A32C5B165C76C5 Time : 0.0 sec. user=mdettweiler [2019-05-25 06:36:30] 619*2^1539163-1 is not prime. Res64: 78085A467123DE30 Time : 0.0 sec. user=mdettweiler [2019-05-25 06:36:31] 639*2^1539163-1 is not prime. Res64: 0BD066A338315A52 Time : 0.0 sec. user=mdettweiler [2019-05-25 06:36:31] 709*2^1539163-1 is not prime. Res64: C0BEA4ABC14C1DFA Time : 0.0 sec. user=mdettweiler [2019-05-25 06:52:41] 961*2^1539159-1 is not prime. Res64: BF25D367DAFA0CDA Time : 0.0 sec. user=mdettweiler [2019-05-25 07:30:31] 783*2^1539163-1 is not prime. Res64: C6178F9B29995374 Time : 0.0 sec. user=mdettweiler [2019-05-25 07:30:32] 885*2^1539163-1 is not prime. Res64: 1682BFDCB9ECDC74 Time : 0.0 sec. user=mdettweiler [2019-05-25 07:30:32] 895*2^1539163-1 is not prime. Res64: 1BAC61FEB83DBECD Time : 0.0 sec. user=mdettweiler [2019-05-25 07:30:33] 719*2^1539164-1 is not prime. Res64: 75932B4900DDE945 Time : 0.0 sec. user=mdettweiler [2019-05-25 07:30:33] 855*2^1539164-1 is not prime. Res64: 726968DE66B85C7C Time : 0.0 sec. user=mdettweiler [2019-05-25 08:25:53] 959*2^1539164-1 is not prime. Res64: 17BF44D82B3748AC Time : 0.0 sec. user=mdettweiler [2019-05-25 08:25:54] 983*2^1539164-1 is not prime. Res64: 26EDCE2B0B72B436 Time : 0.0 sec. user=mdettweiler [2019-05-25 08:25:54] 609*2^1539165-1 is not prime. Res64: 2B9145DCA0198A0A Time : 0.0 sec. user=mdettweiler [2019-05-25 08:25:55] 685*2^1539165-1 is not prime. Res64: DC4948D98FC5469D Time : 0.0 sec. user=mdettweiler [2019-05-25 08:25:55] 691*2^1539165-1 is not prime. Res64: A93DA1CA7AFCC6F5 Time : 0.0 sec. user=mdettweiler [2019-05-25 08:33:18] 921*2^1539150-1 is not prime. Res64: 40486C97FA0AB431 Time : 0.0 sec. user=mdettweiler [2019-05-25 08:33:18] 927*2^1539150-1 is not prime. Res64: DC2980AB2A6F099D Time : 0.0 sec. user=mdettweiler [2019-05-25 08:33:19] 945*2^1539150-1 is not prime. Res64: A6C08F105D0D1826 Time : 0.0 sec. user=mdettweiler [2019-05-25 09:20:07] 859*2^1539165-1 is not prime. Res64: 3990A08CDF5C83CB Time : 0.0 sec. user=mdettweiler [2019-05-25 09:20:08] 915*2^1539165-1 is not prime. Res64: 1A6AB5630355892E Time : 0.0 sec. user=mdettweiler [2019-05-25 09:20:08] 927*2^1539165-1 is not prime. Res64: 263B2DF4525DBFC0 Time : 0.0 sec. user=mdettweiler [2019-05-25 09:20:09] 949*2^1539165-1 is not prime. Res64: 60060DD5B13C3940 Time : 0.0 sec. user=mdettweiler [2019-05-25 09:20:09] 991*2^1539165-1 is not prime. Res64: 81E933E7C3CC6B0A Time : 0.0 sec. user=mdettweiler [2019-05-25 09:27:39] 783*2^1539166-1 is not prime. Res64: AFF77A4084597AD6 Time : 0.0 sec. user=mdettweiler [2019-05-25 12:16:33] 969*2^1539159-1 is not prime. Res64: 58BB0F5B513234C6 Time : 0.0 sec. user=mdettweiler [2019-05-25 12:16:33] 635*2^1539160-1 is not prime. Res64: 3061F828619E6503 Time : 0.0 sec. user=mdettweiler [2019-05-25 12:16:34] 675*2^1539160-1 is not prime. Res64: E87220148D979E7A Time : 0.0 sec. user=mdettweiler [2019-05-25 12:16:34] 693*2^1539160-1 is not prime. Res64: B0C8433BA6167055 Time : 0.0 sec. user=mdettweiler [2019-05-25 13:11:55] 609*2^1539169-1 is not prime. Res64: D9BF4A8BC2A4844B Time : 0.0 sec. user=mdettweiler [2019-05-25 13:43:22] 741*2^1539159-1 is not prime. Res64: 48E350B4CE0BA5C7 Time : 0.0 sec. user=mdettweiler [2019-05-25 15:02:16] 923*2^1539166-1 is not prime. Res64: E6B96B38894D2491 Time : 0.0 sec. user=mdettweiler [2019-05-25 15:02:20] 945*2^1539166-1 is not prime. Res64: 2AA353A6173D59FB Time : 0.0 sec. user=mdettweiler [2019-05-25 15:02:22] 621*2^1539167-1 is not prime. Res64: C878DC396643C704 Time : 0.0 sec. user=mdettweiler [2019-05-25 15:02:24] 729*2^1539167-1 is not prime. Res64: 1DCFC7914D6E7892 Time : 0.0 sec. user=mdettweiler [2019-05-25 15:56:16] 895*2^1539167-1 is not prime. Res64: 2A96A2A4F2812336 Time : 0.0 sec. user=mdettweiler [2019-05-25 19:43:29] 745*2^1539169-1 is not prime. Res64: BE0FA681FF1C3716 Time : 0.0 sec. user=mdettweiler [2019-05-25 20:10:18] 853*2^1539159-1 is not prime. Res64: C796300CBAE32197 Time : 0.0 sec. user=mdettweiler [2019-05-25 20:10:19] 873*2^1539159-1 is not prime. Res64: CE123AD577A67E44 Time : 0.0 sec. user=mdettweiler [2019-05-25 20:10:20] 879*2^1539159-1 is not prime. Res64: 0D7C2DA8E91CDC91 Time : 0.0 sec. user=mdettweiler [2019-05-25 21:08:34] 789*2^1539171-1 is not prime. Res64: 1F980B87049CA1E1 Time : 0.0 sec. user=mdettweiler [2019-05-25 21:08:36] 955*2^1539171-1 is not prime. Res64: 42FC0398A056E570 Time : 0.0 sec. user=mdettweiler [2019-05-25 21:08:38] 961*2^1539171-1 is not prime. Res64: 2F7C343578B9CB66 Time : 0.0 sec. user=mdettweiler [2019-05-25 21:08:39] 615*2^1539172-1 is not prime. Res64: E5C858FB389FF07B Time : 0.0 sec. user=mdettweiler [2019-05-25 21:08:41] 705*2^1539172-1 is not prime. Res64: E4527A2EF6445504 Time : 0.0 sec. user=mdettweiler [2019-05-25 22:55:23] 993*2^1539167-1 is not prime. Res64: 30B2B858B13C5C5E Time : 0.0 sec. user=mdettweiler [2019-05-25 23:00:35] 641*2^1539170-1 is not prime. Res64: DB98E5E629DB206C Time : 0.0 sec. user=mdettweiler [2019-05-25 23:00:36] 665*2^1539170-1 is not prime. Res64: 0CFD6E82CD3356EC Time : 0.0 sec. user=mdettweiler [2019-05-25 23:00:37] 911*2^1539170-1 is not prime. Res64: 2EB0C97EF8047F42 Time : 0.0 sec. user=mdettweiler [2019-05-25 23:00:41] 619*2^1539171-1 is not prime. Res64: 0E75A8B7DAAA9225 Time : 0.0 sec. user=mdettweiler [2019-05-25 23:00:43] 703*2^1539171-1 is not prime. Res64: 97D9625C28FB8829 Time : 0.0 sec. user=mdettweiler [2019-05-25 23:58:20] 615*2^1539173-1 is not prime. Res64: 7B25084E1BD46EA9 Time : 0.0 sec.