user=mdettweiler [2019-05-03 00:15:41] 843*2^1537580-1 is not prime. Res64: 20F4A1D243317B8A Time : 0.0 sec. user=mdettweiler [2019-05-03 00:15:42] 855*2^1537580-1 is not prime. Res64: 29666D7C960BF47F Time : 0.0 sec. user=mdettweiler [2019-05-03 00:15:42] 893*2^1537580-1 is not prime. Res64: C0793D04DF062036 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:15:43] 923*2^1537580-1 is not prime. Res64: 926EB160D326B9A9 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:15:44] 999*2^1537580-1 is not prime. Res64: 3DC694975F1FEF11 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:32:40] 691*2^1537581-1 is not prime. Res64: 4E8FB3899FB6A153 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:32:40] 747*2^1537581-1 is not prime. Res64: 7DB4842924FDD8A3 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:32:40] 877*2^1537581-1 is not prime. Res64: E88B2880C9084CA9 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:32:41] 885*2^1537581-1 is not prime. Res64: 74F594BC3FEE5103 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:32:41] 987*2^1537581-1 is not prime. Res64: E925E73E09A159AC Time : 0.0 sec. user=mdettweiler [2019-05-03 00:34:03] 741*2^1537582-1 is not prime. Res64: 1017FA6E0CABD3ED Time : 0.0 sec. user=mdettweiler [2019-05-03 00:34:04] 609*2^1537583-1 is not prime. Res64: 59018954AB181036 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:34:04] 853*2^1537583-1 is not prime. Res64: 235F0FE5D9A9831E Time : 0.0 sec. user=mdettweiler [2019-05-03 00:34:05] 627*2^1537584-1 is not prime. Res64: 8C873E4EACCF1C03 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:34:05] 725*2^1537584-1 is not prime. Res64: 299ED1C4F0050E33 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:41:04] 767*2^1537584-1 is not prime. Res64: 38FD279179751BF3 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:41:04] 945*2^1537584-1 is not prime. Res64: 23DBEF659A2D69CD Time : 0.0 sec. user=mdettweiler [2019-05-03 00:41:04] 959*2^1537584-1 is not prime. Res64: F6E6EFA810779333 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:41:05] 645*2^1537585-1 is not prime. Res64: F1AAD4D59666D127 Time : 0.0 sec. user=mdettweiler [2019-05-03 00:41:05] 691*2^1537585-1 is not prime. Res64: F951FD7B54E81B46 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:07:18] 727*2^1537585-1 is not prime. Res64: BDC52B4F8B502FC5 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:07:21] 729*2^1537585-1 is not prime. Res64: D7E747591DA73EAD Time : 0.0 sec. user=mdettweiler [2019-05-03 01:07:23] 811*2^1537585-1 is not prime. Res64: 0E4792E4786C4D23 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:07:25] 841*2^1537585-1 is not prime. Res64: DAD9569930246B5F Time : 0.0 sec. user=mdettweiler [2019-05-03 01:07:26] 897*2^1537585-1 is not prime. Res64: F55AAB84D54F7984 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:17] 955*2^1537585-1 is not prime. Res64: 5FFB9949839868BB Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:19] 957*2^1537585-1 is not prime. Res64: 1D2AA18612D33821 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:20] 979*2^1537585-1 is not prime. Res64: D960B41240E3AE42 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:21] 999*2^1537585-1 is not prime. Res64: DA53D24C56C62B1D Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:22] 633*2^1537586-1 is not prime. Res64: 82FB77FD7F30A0D2 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:42] 657*2^1537586-1 is not prime. Res64: E1E9A339C9C9A51C Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:44] 813*2^1537586-1 is not prime. Res64: 6137C3DD5FE3A398 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:45] 831*2^1537586-1 is not prime. Res64: 92A7219CC9DC7CDF Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:46] 843*2^1537586-1 is not prime. Res64: DCBABBD70FBD6640 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:25:47] 941*2^1537586-1 is not prime. Res64: 2022026E2CE74159 Time : 0.0 sec. user=S_K_ [2019-05-03 01:27:28] 833*2^1537578-1 is not prime. Res64: 8DA7492BCD16D0E6 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:32:16] 609*2^1537587-1 is not prime. Res64: 3B5DED3D6B55BB8A Time : 0.0 sec. user=mdettweiler [2019-05-03 01:32:17] 753*2^1537587-1 is not prime. Res64: EC71A4FB730A6029 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:32:17] 765*2^1537587-1 is not prime. Res64: E0F34C0E72A1BE48 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:32:18] 825*2^1537587-1 is not prime. Res64: 4E22BEB8E6BD67F7 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:32:18] 605*2^1537588-1 is not prime. Res64: 31AB4FA33C3A140A Time : 0.0 sec. user=mdettweiler [2019-05-03 01:59:05] 677*2^1537588-1 is not prime. Res64: 723F771F46677FDD Time : 0.0 sec. user=mdettweiler [2019-05-03 01:59:06] 689*2^1537588-1 is not prime. Res64: 7905818352F6018B Time : 0.0 sec. user=mdettweiler [2019-05-03 01:59:06] 933*2^1537588-1 is not prime. Res64: D3C51CB2262A85F5 Time : 0.0 sec. user=mdettweiler [2019-05-03 01:59:06] 619*2^1537589-1 is not prime. Res64: E587812ACA84695E Time : 0.0 sec. user=mdettweiler [2019-05-03 01:59:07] 631*2^1537589-1 is not prime. Res64: 36F098F5E02E14CC Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:00] 691*2^1537589-1 is not prime. Res64: 2ED25127F49BDB14 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:01] 745*2^1537589-1 is not prime. Res64: 7BBFEAE84E2B2F44 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:01] 759*2^1537589-1 is not prime. Res64: 864D60D403865E52 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:02] 867*2^1537589-1 is not prime. Res64: 49C4C07412992822 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:02] 879*2^1537589-1 is not prime. Res64: C14D38BF7337E253 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:23] 987*2^1537589-1 is not prime. Res64: 6571A9474AFC630B Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:23] 725*2^1537590-1 is not prime. Res64: 97F949D6918D138E Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:24] 797*2^1537590-1 is not prime. Res64: 6DCD824E87D5BB27 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:24] 851*2^1537590-1 is not prime. Res64: 8290B1A15D7CFA51 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:17:24] 875*2^1537590-1 is not prime. Res64: A55916523857B19F Time : 0.0 sec. user=mdettweiler [2019-05-03 02:23:54] 927*2^1537590-1 is not prime. Res64: 05648CF414D403D9 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:23:54] 703*2^1537591-1 is not prime. Res64: 34D5AD64F7C98A0E Time : 0.0 sec. user=mdettweiler [2019-05-03 02:23:55] 813*2^1537591-1 is not prime. Res64: B7E7AAC8C96493D2 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:23:55] 841*2^1537591-1 is not prime. Res64: 09616E713413F3DB Time : 0.0 sec. user=mdettweiler [2019-05-03 02:23:55] 885*2^1537591-1 is not prime. Res64: 6AD1107F8455CF19 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:51:23] 975*2^1537591-1 is not prime. Res64: 3D633CE8AACDE64F Time : 0.0 sec. user=mdettweiler [2019-05-03 02:51:23] 999*2^1537591-1 is not prime. Res64: EA4804C936111B55 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:51:24] 713*2^1537592-1 is not prime. Res64: E34033E65325F782 Time : 0.0 sec. user=mdettweiler [2019-05-03 02:51:24] 735*2^1537592-1 is not prime. Res64: 5F6D83D36F91F57E Time : 0.0 sec. user=mdettweiler [2019-05-03 02:51:25] 803*2^1537592-1 is not prime. Res64: B8E226724E9704AB Time : 0.0 sec. user=mdettweiler [2019-05-03 03:08:51] 873*2^1537592-1 is not prime. Res64: 58375C472A6C7DF8 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:08:53] 657*2^1537593-1 is not prime. Res64: 40EBCC6913F8A8D7 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:08:55] 675*2^1537593-1 is not prime. Res64: 1E8D01BCE27546B4 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:08:56] 691*2^1537593-1 is not prime. Res64: DF57A4E0A9017E99 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:08:58] 745*2^1537593-1 is not prime. Res64: B8C37ACE86CA0D0A Time : 0.0 sec. user=mdettweiler [2019-05-03 03:09:17] 817*2^1537593-1 is not prime. Res64: D9562B8AAEE796C0 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:09:20] 867*2^1537593-1 is not prime. Res64: DD509901A8DF0BB7 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:09:24] 915*2^1537593-1 is not prime. Res64: 53C9F24E12FF7269 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:09:27] 937*2^1537593-1 is not prime. Res64: 2ED97B9268372B34 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:09:29] 969*2^1537593-1 is not prime. Res64: 79A05EC3FABC6F89 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:15:39] 985*2^1537593-1 is not prime. Res64: D22C2EC804CCFD1A Time : 0.0 sec. user=mdettweiler [2019-05-03 03:15:40] 605*2^1537594-1 is not prime. Res64: 3658483DDB4CF800 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:15:40] 657*2^1537594-1 is not prime. Res64: F1EFBC6EC760DBEE Time : 0.0 sec. user=mdettweiler [2019-05-03 03:15:40] 663*2^1537594-1 is not prime. Res64: 802EA421E926E9A7 Time : 0.0 sec. user=mdettweiler [2019-05-03 03:15:41] 737*2^1537594-1 is not prime. Res64: 6871BDD4E5FC19FC Time : 0.0 sec. user=mdettweiler [2019-05-03 03:42:52] 825*2^1537594-1 is not prime. Res64: 92919791CF45F1CC Time : 0.0 sec. user=mdettweiler [2019-05-03 03:42:53] 857*2^1537594-1 is not prime. Res64: 62FDC4F56C2B65DE Time : 0.0 sec. user=mdettweiler [2019-05-03 03:42:53] 905*2^1537594-1 is not prime. Res64: 83FC557B7CE17BFC Time : 0.0 sec. user=mdettweiler [2019-05-03 03:42:54] 951*2^1537594-1 is not prime. Res64: 9CD4F608458CAAFF Time : 0.0 sec. user=mdettweiler [2019-05-03 03:42:54] 643*2^1537595-1 is not prime. Res64: D982B773C7FC4E70 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:05] 645*2^1537595-1 is not prime. Res64: 211652A4D74BF47C Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:08] 799*2^1537595-1 is not prime. Res64: 18B2CBD22193C3BA Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:15] 963*2^1537595-1 is not prime. Res64: 903AE701A089D78A Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:17] 675*2^1537596-1 is not prime. Res64: A3CA097C1648D7AA Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:22] 699*2^1537596-1 is not prime. Res64: 85618A61337AF329 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:25] 991*2^1537595-1 is not prime. Res64: A245C9E3104A2262 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:27] 843*2^1537596-1 is not prime. Res64: FF56BC3CF0F342D1 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:31] 845*2^1537596-1 is not prime. Res64: C4F9324922124EA4 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:03:35] 857*2^1537596-1 is not prime. Res64: CC286C10643EEFE9 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:08:08] 867*2^1537596-1 is not prime. Res64: 0DE2B49D5BF42D3D Time : 0.0 sec. user=mdettweiler [2019-05-03 04:08:12] 887*2^1537596-1 is not prime. Res64: C7867B8B4E70D1B7 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:08:13] 927*2^1537596-1 is not prime. Res64: 123B9E650D21C70E Time : 0.0 sec. user=mdettweiler [2019-05-03 04:08:17] 661*2^1537597-1 is not prime. Res64: 11AAD38721E2D8A2 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:08:19] 667*2^1537597-1 is not prime. Res64: 52FEB2CCD66B8F93 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:36:17] 777*2^1537597-1 is not prime. Res64: FEB0666AABAC92B5 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:36:17] 825*2^1537597-1 is not prime. Res64: D0FB5EA3CF5150B7 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:36:18] 889*2^1537597-1 is not prime. Res64: 5C41D330366C26B1 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:36:18] 915*2^1537597-1 is not prime. Res64: 88DF7B7E3426DA98 Time : 0.0 sec. user=mdettweiler [2019-05-03 04:36:19] 955*2^1537597-1 is not prime. Res64: 645143E444A0A63E Time : 0.0 sec. user=mdettweiler [2019-05-03 05:02:28] 999*2^1537597-1 is not prime. Res64: B0E6DCFAA0A74666 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:02:30] 743*2^1537598-1 is not prime. Res64: 255C5EA4FD8CDF25 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:02:31] 797*2^1537598-1 is not prime. Res64: BD43220BE057A830 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:02:32] 897*2^1537598-1 is not prime. Res64: 2ED5899B547B55E6 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:02:33] 971*2^1537598-1 is not prime. Res64: 686B6F5348212965 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:29:06] 1001*2^1537598-1 is not prime. Res64: 8FBE778E16B88D1D Time : 0.0 sec. user=mdettweiler [2019-05-03 05:29:07] 621*2^1537599-1 is not prime. Res64: 766357E914FFBFD9 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:29:07] 661*2^1537599-1 is not prime. Res64: 336CFABCAC40DB74 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:29:08] 669*2^1537599-1 is not prime. Res64: AB290272AAF2AD05 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:29:08] 751*2^1537599-1 is not prime. Res64: 2917F601C06AFF35 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:55:28] 885*2^1537599-1 is not prime. Res64: 7B8DF2130DF3527B Time : 0.0 sec. user=mdettweiler [2019-05-03 05:55:29] 933*2^1537599-1 is not prime. Res64: FFDE7F3FD5A31E4D Time : 0.0 sec. user=mdettweiler [2019-05-03 05:55:29] 675*2^1537600-1 is not prime. Res64: 815AB7812DBB3574 Time : 0.0 sec. user=mdettweiler [2019-05-03 05:55:30] 713*2^1537600-1 is not prime. Res64: 24077B9BAF77F04D Time : 0.0 sec. user=mdettweiler [2019-05-03 05:55:30] 857*2^1537600-1 is not prime. Res64: D3B7DA80148FAAC9 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:21:38] 995*2^1537600-1 is not prime. Res64: FE62D8B9CE42D2E4 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:21:38] 711*2^1537601-1 is not prime. Res64: AD2DA9B781819BE9 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:21:39] 967*2^1537601-1 is not prime. Res64: 9EC37F152719EC02 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:21:39] 633*2^1537602-1 is not prime. Res64: 0CA56E63DE1F862C Time : 0.0 sec. user=mdettweiler [2019-05-03 06:21:39] 765*2^1537602-1 is not prime. Res64: 83601C0CF75FE20C Time : 0.0 sec. user=mdettweiler [2019-05-03 06:48:08] 791*2^1537602-1 is not prime. Res64: 963505FA546FAFAF Time : 0.0 sec. user=mdettweiler [2019-05-03 06:48:09] 801*2^1537602-1 is not prime. Res64: AF9FBD01977F8F2B Time : 0.0 sec. user=mdettweiler [2019-05-03 06:48:09] 803*2^1537602-1 is not prime. Res64: F7A6ED8638F898A6 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:48:10] 977*2^1537602-1 is not prime. Res64: AE2CEC0C9EC2F6C1 Time : 0.0 sec. user=mdettweiler [2019-05-03 06:48:10] 603*2^1537603-1 is not prime. Res64: 8A2C96C8D92546B0 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:14:07] 615*2^1537603-1 is not prime. Res64: D36C64EF2462B451 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:14:07] 649*2^1537603-1 is not prime. Res64: BDFE5E8B0E368DAD Time : 0.0 sec. user=mdettweiler [2019-05-03 07:14:07] 709*2^1537603-1 is not prime. Res64: 23DE38BCC8D35DA1 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:14:08] 741*2^1537603-1 is not prime. Res64: 6B9EB9D48D7824B5 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:14:08] 861*2^1537603-1 is not prime. Res64: 2B35D558B382D33A Time : 0.0 sec. user=mdettweiler [2019-05-03 07:41:10] 999*2^1537603-1 is not prime. Res64: 59F4744574ADE321 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:41:10] 635*2^1537604-1 is not prime. Res64: 4A04F9BDF54AAAB5 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:41:11] 675*2^1537604-1 is not prime. Res64: 91B49D5216DDB778 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:41:11] 749*2^1537604-1 is not prime. Res64: A13A4D3EC3E19CB9 Time : 0.0 sec. user=mdettweiler [2019-05-03 07:41:11] 813*2^1537604-1 is not prime. Res64: 408B7E8CDA30F1A1 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:06:25] 899*2^1537604-1 is not prime. Res64: 295BD04CA46B34EF Time : 0.0 sec. user=mdettweiler [2019-05-03 08:06:32] 927*2^1537604-1 is not prime. Res64: F1EA50890EFE94A9 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:06:34] 711*2^1537605-1 is not prime. Res64: D4D0214F92DCF19A Time : 0.0 sec. user=mdettweiler [2019-05-03 08:06:35] 765*2^1537605-1 is not prime. Res64: D947EAD96662FFA7 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:06:36] 777*2^1537605-1 is not prime. Res64: 9C75427CA3D10366 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:33:37] 975*2^1537605-1 is not prime. Res64: 56F4A36E26F71CF8 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:33:37] 985*2^1537605-1 is not prime. Res64: 43E960D0C67C0592 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:33:38] 741*2^1537606-1 is not prime. Res64: 6C6FDE5BF4D96DE7 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:33:38] 833*2^1537606-1 is not prime. Res64: 2D13D8EAA9ED2B48 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:33:39] 881*2^1537606-1 is not prime. Res64: 0B4A254BDFBE359A Time : 0.0 sec. user=mdettweiler [2019-05-03 08:38:40] 653*2^1537596-1 is not prime. Res64: A67CE757AB833E09 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:59:14] 609*2^1537607-1 is not prime. Res64: 5174F957C684A80F Time : 0.0 sec. user=mdettweiler [2019-05-03 08:59:15] 655*2^1537607-1 is not prime. Res64: 2041C9FB953C4CF1 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:59:15] 661*2^1537607-1 is not prime. Res64: 9487D904A36A3632 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:59:15] 693*2^1537607-1 is not prime. Res64: B91C5B545907EF03 Time : 0.0 sec. user=mdettweiler [2019-05-03 08:59:16] 775*2^1537607-1 is not prime. Res64: 60AEBAE4F957FCA4 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:08:37] 843*2^1537607-1 is not prime. Res64: CB616AD8058EC5D5 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:08:41] 973*2^1537607-1 is not prime. Res64: 728EB1AB34003E3B Time : 0.0 sec. user=mdettweiler [2019-05-03 09:08:44] 981*2^1537607-1 is not prime. Res64: 596E3CD6B2E90612 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:08:46] 629*2^1537608-1 is not prime. Res64: 1FFDC447010B5037 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:08:50] 669*2^1537608-1 is not prime. Res64: 5CAB8DB4BC66645A Time : 0.0 sec. user=mdettweiler [2019-05-03 09:25:01] 707*2^1537608-1 is not prime. Res64: 58D5EDE6D4969D57 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:25:01] 737*2^1537608-1 is not prime. Res64: B8039537302D1050 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:25:02] 777*2^1537608-1 is not prime. Res64: 7703FF6CDBDBF674 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:25:02] 803*2^1537608-1 is not prime. Res64: 432398CE316E0464 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:25:02] 845*2^1537608-1 is not prime. Res64: C58572C651851B72 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:30:53] 945*2^1537608-1 is not prime. Res64: D389CDF3E9E662AB Time : 0.0 sec. user=mdettweiler [2019-05-03 09:30:54] 977*2^1537608-1 is not prime. Res64: 1CA4902B3DEE73D8 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:30:54] 679*2^1537609-1 is not prime. Res64: 333F0F069B7F15B3 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:30:55] 769*2^1537609-1 is not prime. Res64: 3DAEA86273D58946 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:30:55] 985*2^1537609-1 is not prime. Res64: 104E673684A18C84 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:51:03] 623*2^1537610-1 is not prime. Res64: 2B0E7AAC3462E1C1 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:51:03] 641*2^1537610-1 is not prime. Res64: 5BE0F605073CB16C Time : 0.0 sec. user=mdettweiler [2019-05-03 09:51:03] 797*2^1537610-1 is not prime. Res64: 2B224F5E186190F4 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:51:04] 867*2^1537610-1 is not prime. Res64: 0986A600CF9DC162 Time : 0.0 sec. user=mdettweiler [2019-05-03 09:51:04] 921*2^1537610-1 is not prime. Res64: D4FEC6F5F292BB1A Time : 0.0 sec. user=mdettweiler [2019-05-03 10:03:27] 927*2^1537610-1 is not prime. Res64: E5CD6902A41402A9 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:03:28] 1001*2^1537610-1 is not prime. Res64: 2969430318C8B084 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:03:28] 615*2^1537611-1 is not prime. Res64: 2FEA9C137B3C9EC8 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:03:29] 741*2^1537611-1 is not prime. Res64: 7C587D6EDFC3111D Time : 0.0 sec. user=mdettweiler [2019-05-03 10:03:29] 949*2^1537611-1 is not prime. Res64: 78FF457F84A46B7B Time : 0.0 sec. user=mdettweiler [2019-05-03 10:18:24] 629*2^1537612-1 is not prime. Res64: 6E67AB626E61CC72 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:18:24] 665*2^1537612-1 is not prime. Res64: 6BF4E3C713ECC5D3 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:18:25] 693*2^1537612-1 is not prime. Res64: 569F2B10F28351D5 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:18:25] 719*2^1537612-1 is not prime. Res64: 2B4135896F5BEE69 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:18:26] 735*2^1537612-1 is not prime. Res64: E936A22745A870B7 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:24:53] 777*2^1537612-1 is not prime. Res64: F5D9875DFA6B1CFD Time : 0.0 sec. user=mdettweiler [2019-05-03 10:24:53] 819*2^1537612-1 is not prime. Res64: 12205E5A69FC9FFB Time : 0.0 sec. user=mdettweiler [2019-05-03 10:24:54] 855*2^1537612-1 is not prime. Res64: 251604597668CA76 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:24:54] 909*2^1537612-1 is not prime. Res64: CCBF752DCB15CE21 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:24:54] 965*2^1537612-1 is not prime. Res64: E04460CEAE7E7699 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:45:30] 999*2^1537612-1 is not prime. Res64: C82330BC547556B8 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:45:30] 697*2^1537613-1 is not prime. Res64: 8D1C562C86CB4C15 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:45:31] 715*2^1537613-1 is not prime. Res64: 64FBC0CD8C5EDCCD Time : 0.0 sec. user=mdettweiler [2019-05-03 10:45:31] 741*2^1537613-1 is not prime. Res64: E2A95848551D8FDF Time : 0.0 sec. user=mdettweiler [2019-05-03 10:45:31] 759*2^1537613-1 is not prime. Res64: AB2C2F18DA151424 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:56:25] 855*2^1537613-1 is not prime. Res64: EE75B68271538801 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:56:25] 925*2^1537613-1 is not prime. Res64: BDD563EFB71A185A Time : 0.0 sec. user=mdettweiler [2019-05-03 10:56:26] 717*2^1537614-1 is not prime. Res64: AD4068999633DFA7 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:56:26] 755*2^1537614-1 is not prime. Res64: 12334A5C5A971CD3 Time : 0.0 sec. user=mdettweiler [2019-05-03 10:56:26] 773*2^1537614-1 is not prime. Res64: C455003291F099CB Time : 0.0 sec. user=mdettweiler [2019-05-03 11:09:58] 885*2^1537614-1 is not prime. Res64: CE0A7939B19103B7 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:09:58] 921*2^1537614-1 is not prime. Res64: 03CE10536D7A74FF Time : 0.0 sec. user=mdettweiler [2019-05-03 11:09:59] 625*2^1537615-1 is not prime. Res64: ADC753302D599727 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:09:59] 645*2^1537615-1 is not prime. Res64: 7844099A54528A09 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:10:00] 661*2^1537615-1 is not prime. Res64: 4BB3EB78F65BA005 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:16:25] 843*2^1537615-1 is not prime. Res64: 049C4B6F191905E0 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:16:25] 891*2^1537615-1 is not prime. Res64: B454279EF3C44E78 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:16:26] 895*2^1537615-1 is not prime. Res64: BCE566039C19CB61 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:16:26] 623*2^1537616-1 is not prime. Res64: EEB6EAB06386DBAD Time : 0.0 sec. user=mdettweiler [2019-05-03 11:16:26] 629*2^1537616-1 is not prime. Res64: B5F868027C97BE79 Time : 0.0 sec. user=apcnc [2019-05-03 11:18:20] 909*2^1537617-1 is not prime. Res64: 3A27EBCA64D11DD5 Time : 0.0 sec. user=apcnc [2019-05-03 11:18:21] 901*2^1537617-1 is not prime. Res64: 471B4CC8899C0411 Time : 0.0 sec. user=apcnc [2019-05-03 11:18:51] 695*2^1537618-1 is not prime. Res64: 0DC7673F6A613237 Time : 0.0 sec. user=apcnc [2019-05-03 11:19:14] 657*2^1537618-1 is not prime. Res64: 4FFE572D0DEAB5D5 Time : 0.0 sec. user=apcnc [2019-05-03 11:32:28] 795*2^1537620-1 is not prime. Res64: 9621CF4A8479568C Time : 0.0 sec. user=mdettweiler [2019-05-03 11:36:52] 633*2^1537616-1 is not prime. Res64: 86D9B353518C6589 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:36:52] 669*2^1537616-1 is not prime. Res64: 509F567E57DA175B Time : 0.0 sec. user=mdettweiler [2019-05-03 11:36:53] 759*2^1537616-1 is not prime. Res64: 1D2D2C25A4515F75 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:36:53] 777*2^1537616-1 is not prime. Res64: FF401AC0AAA72256 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:36:53] 813*2^1537616-1 is not prime. Res64: D1F9928416923C83 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:48:28] 869*2^1537616-1 is not prime. Res64: E16E8B8FF009D524 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:48:29] 935*2^1537616-1 is not prime. Res64: 9BC8E4090C67521B Time : 0.0 sec. user=mdettweiler [2019-05-03 11:48:29] 945*2^1537616-1 is not prime. Res64: DE70EC4FF95C7405 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:48:29] 999*2^1537616-1 is not prime. Res64: 9FFA1C457F777FB9 Time : 0.0 sec. user=mdettweiler [2019-05-03 11:48:30] 889*2^1537617-1 is not prime. Res64: ED959067EE10B6DF Time : 0.0 sec. user=mdettweiler [2019-05-03 12:02:50] 705*2^1537618-1 is not prime. Res64: 5D5ECFDD3A99E603 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:02:51] 791*2^1537618-1 is not prime. Res64: 868AC7ED1A364D51 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:02:52] 813*2^1537618-1 is not prime. Res64: 4D1C269C49869515 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:02:52] 825*2^1537618-1 is not prime. Res64: B1BC409D8387BD30 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:02:53] 911*2^1537618-1 is not prime. Res64: A78EC101B77A5479 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:10:11] 945*2^1537618-1 is not prime. Res64: ED71C8535E8D4BCE Time : 0.0 sec. user=mdettweiler [2019-05-03 12:10:13] 1001*2^1537618-1 is not prime. Res64: B175BC3A77D079B5 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:10:14] 621*2^1537619-1 is not prime. Res64: F86805F3DE4C8A00 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:10:15] 675*2^1537619-1 is not prime. Res64: 813FB5CDDB9E3B4E Time : 0.0 sec. user=mdettweiler [2019-05-03 12:10:17] 741*2^1537619-1 is not prime. Res64: 8F127F1BD55E6842 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:18:07] 981*2^1537622-1 is not prime. Res64: 47E057019BB230BF Time : 0.0 sec. user=mdettweiler [2019-05-03 12:31:13] 839*2^1537620-1 is not prime. Res64: 0C7DF9CBC121AEEA Time : 0.0 sec. user=mdettweiler [2019-05-03 12:31:13] 639*2^1537621-1 is not prime. Res64: 203723DF0956358D Time : 0.0 sec. user=mdettweiler [2019-05-03 12:31:14] 645*2^1537621-1 is not prime. Res64: 2CBDE68CDC2D975D Time : 0.0 sec. user=mdettweiler [2019-05-03 12:31:14] 727*2^1537621-1 is not prime. Res64: CCF0BAE17868409D Time : 0.0 sec. user=mdettweiler [2019-05-03 12:31:14] 789*2^1537621-1 is not prime. Res64: 66E54C2D261EADC2 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:42:24] 799*2^1537621-1 is not prime. Res64: 55A28F8849966135 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:42:24] 635*2^1537622-1 is not prime. Res64: 873A08409D5B3507 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:42:24] 645*2^1537622-1 is not prime. Res64: F897CD1C66596C44 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:42:24] 741*2^1537622-1 is not prime. Res64: C5C050BC640B334E Time : 0.0 sec. user=mdettweiler [2019-05-03 12:42:25] 797*2^1537622-1 is not prime. Res64: 854E69A9DCCCA917 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:58:50] 825*2^1537622-1 is not prime. Res64: FD73F9BC81450B53 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:58:50] 875*2^1537622-1 is not prime. Res64: D25AE407EEE5BC9A Time : 0.0 sec. user=mdettweiler [2019-05-03 12:58:50] 887*2^1537622-1 is not prime. Res64: A33FA1AC5AF70D56 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:58:50] 935*2^1537622-1 is not prime. Res64: 4BD5E6E0C8F024C1 Time : 0.0 sec. user=mdettweiler [2019-05-03 12:58:51] 945*2^1537622-1 is not prime. Res64: D5DC9F10C149E5ED Time : 0.0 sec. user=mdettweiler [2019-05-03 13:04:57] 615*2^1537623-1 is not prime. Res64: DBD68810F8F0F794 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:04:58] 679*2^1537623-1 is not prime. Res64: FE5FAA9F30E4B2F9 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:04:58] 693*2^1537623-1 is not prime. Res64: C1D627EEAF86B801 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:04:59] 775*2^1537623-1 is not prime. Res64: 8A07AEC71D266414 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:04:59] 825*2^1537623-1 is not prime. Res64: B7FDF38F293F02BD Time : 0.0 sec. user=mdettweiler [2019-05-03 13:26:43] 885*2^1537623-1 is not prime. Res64: 07AC7E2A9A89C32F Time : 0.0 sec. user=mdettweiler [2019-05-03 13:26:44] 895*2^1537623-1 is not prime. Res64: 97F8CBC0F8702E33 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:26:44] 963*2^1537623-1 is not prime. Res64: 033DEBAB65C5B76F Time : 0.0 sec. user=mdettweiler [2019-05-03 13:26:44] 605*2^1537624-1 is not prime. Res64: 942B740F81139877 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:26:45] 609*2^1537624-1 is not prime. Res64: E5FFC80C202053E9 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:36:55] 657*2^1537624-1 is not prime. Res64: 54044A94A5FA3285 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:36:55] 677*2^1537624-1 is not prime. Res64: 5A6E2BDBAB95855C Time : 0.0 sec. user=mdettweiler [2019-05-03 13:36:55] 747*2^1537624-1 is not prime. Res64: B86ADC4396553265 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:36:56] 785*2^1537624-1 is not prime. Res64: 9F28DE0E00AF6491 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:36:56] 873*2^1537624-1 is not prime. Res64: F7D9540468F2A234 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:53:50] 887*2^1537624-1 is not prime. Res64: 5286EC0A60A7AF79 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:53:50] 947*2^1537624-1 is not prime. Res64: A6B6AD0563C6E2CE Time : 0.0 sec. user=mdettweiler [2019-05-03 13:53:51] 995*2^1537624-1 is not prime. Res64: 7F878133F5B28CB4 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:53:51] 795*2^1537625-1 is not prime. Res64: 1C7F5FB41F40F904 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:53:51] 647*2^1537626-1 is not prime. Res64: 6D102790644DF767 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:59:25] 735*2^1537626-1 is not prime. Res64: D0BB8B18A5AD67ED Time : 0.0 sec. user=mdettweiler [2019-05-03 13:59:26] 873*2^1537626-1 is not prime. Res64: F6333F5CC0843D2B Time : 0.0 sec. user=mdettweiler [2019-05-03 13:59:26] 887*2^1537626-1 is not prime. Res64: 97289F9654EC7949 Time : 0.0 sec. user=mdettweiler [2019-05-03 13:59:27] 975*2^1537626-1 is not prime. Res64: 0F64DF85BBC319DC Time : 0.0 sec. user=mdettweiler [2019-05-03 13:59:27] 649*2^1537627-1 is not prime. Res64: 5A266FCB5A667749 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:19:11] 681*2^1537627-1 is not prime. Res64: 15288E731E868EED Time : 0.0 sec. user=mdettweiler [2019-05-03 14:19:12] 733*2^1537627-1 is not prime. Res64: 2608BE0A71C804F6 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:19:12] 751*2^1537627-1 is not prime. Res64: 7D78D69694F8B9B8 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:19:13] 775*2^1537627-1 is not prime. Res64: 48C88C48905E85E6 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:19:13] 801*2^1537627-1 is not prime. Res64: 2C24AB6E1328BDA1 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:30:09] 805*2^1537627-1 is not prime. Res64: A0CF4DD017A6DD6C Time : 0.0 sec. user=mdettweiler [2019-05-03 14:30:10] 873*2^1537627-1 is not prime. Res64: 74BF4AA809EB29B9 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:30:10] 901*2^1537627-1 is not prime. Res64: 44A233344728B235 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:30:10] 915*2^1537627-1 is not prime. Res64: 6C5927CFC0802190 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:30:11] 759*2^1537628-1 is not prime. Res64: 4BB07E93518C08E6 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:46:00] 869*2^1537628-1 is not prime. Res64: E3DB5DC28ED4AD89 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:46:00] 879*2^1537628-1 is not prime. Res64: 0028FABD3CD19559 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:46:01] 897*2^1537628-1 is not prime. Res64: 28C0A18AF322E187 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:46:01] 923*2^1537628-1 is not prime. Res64: 3F5CCE72A538EEED Time : 0.0 sec. user=mdettweiler [2019-05-03 14:46:01] 945*2^1537628-1 is not prime. Res64: CC497C0B48EFB226 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:52:02] 959*2^1537628-1 is not prime. Res64: 5E6732BC9A15ABAA Time : 0.0 sec. user=mdettweiler [2019-05-03 14:52:03] 963*2^1537628-1 is not prime. Res64: F80C6D8AE7FA35F1 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:52:03] 615*2^1537629-1 is not prime. Res64: 333C28E1EF678BE0 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:52:03] 655*2^1537629-1 is not prime. Res64: E7F8FF17C5B51101 Time : 0.0 sec. user=mdettweiler [2019-05-03 14:52:04] 765*2^1537629-1 is not prime. Res64: E27EC17CD5C27B41 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:11:49] 781*2^1537629-1 is not prime. Res64: 90C94E366C1682FA Time : 0.0 sec. user=mdettweiler [2019-05-03 15:11:49] 889*2^1537629-1 is not prime. Res64: 8BC9542F224C5311 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:11:50] 891*2^1537629-1 is not prime. Res64: 8AB5C936964DF6FC Time : 0.0 sec. user=mdettweiler [2019-05-03 15:11:50] 997*2^1537629-1 is not prime. Res64: F4B88502D6BE2E06 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:11:51] 647*2^1537630-1 is not prime. Res64: 344FC6FE00457E64 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:21:44] 657*2^1537630-1 is not prime. Res64: 9A3C3F7D4D835978 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:21:44] 671*2^1537630-1 is not prime. Res64: 16D35C941DF399E0 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:21:45] 741*2^1537630-1 is not prime. Res64: 911E6F1D08E4C538 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:21:45] 911*2^1537630-1 is not prime. Res64: 60B270AD8E7C6FB3 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:21:46] 933*2^1537630-1 is not prime. Res64: C5DC32C1872E43D7 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:37:49] 957*2^1537630-1 is not prime. Res64: 92151BFE2E78177C Time : 0.0 sec. user=mdettweiler [2019-05-03 15:37:50] 673*2^1537631-1 is not prime. Res64: 38E644D3555BE4EB Time : 0.0 sec. user=mdettweiler [2019-05-03 15:37:50] 711*2^1537631-1 is not prime. Res64: 1C250F85220B4823 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:37:50] 789*2^1537631-1 is not prime. Res64: 6A77809B5825D7FE Time : 0.0 sec. user=mdettweiler [2019-05-03 15:37:51] 813*2^1537631-1 is not prime. Res64: 2CB5BA481B801448 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:43:57] 823*2^1537631-1 is not prime. Res64: FDC942C7CE0339D2 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:43:57] 921*2^1537631-1 is not prime. Res64: 8F246D57CCACA85A Time : 0.0 sec. user=mdettweiler [2019-05-03 15:43:57] 939*2^1537631-1 is not prime. Res64: D9F3262665B11C77 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:43:58] 993*2^1537631-1 is not prime. Res64: 091ABEEA847D9AD2 Time : 0.0 sec. user=mdettweiler [2019-05-03 15:43:58] 689*2^1537632-1 is not prime. Res64: 0319CB32E3D37114 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:04:05] 959*2^1537632-1 is not prime. Res64: 310D428895DF2864 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:04:07] 715*2^1537633-1 is not prime. Res64: EC42C8FB5395FC42 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:04:11] 919*2^1537633-1 is not prime. Res64: 6C86797BDF98B5DC Time : 0.0 sec. user=mdettweiler [2019-05-03 16:04:12] 617*2^1537634-1 is not prime. Res64: BE3332682CBAAA2B Time : 0.0 sec. user=mdettweiler [2019-05-03 16:04:14] 705*2^1537634-1 is not prime. Res64: DEA27E747EB451EF Time : 0.0 sec. user=mdettweiler [2019-05-03 16:14:14] 741*2^1537634-1 is not prime. Res64: 7A5AC5036BA86BCB Time : 0.0 sec. user=mdettweiler [2019-05-03 16:14:14] 875*2^1537634-1 is not prime. Res64: 25C065B1288A04BB Time : 0.0 sec. user=mdettweiler [2019-05-03 16:14:14] 957*2^1537634-1 is not prime. Res64: B643BBBF8750A139 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:14:15] 1001*2^1537634-1 is not prime. Res64: A677588FE681A1E9 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:14:15] 675*2^1537635-1 is not prime. Res64: F8D4921B38A031DB Time : 0.0 sec. user=mdettweiler [2019-05-03 16:29:33] 765*2^1537635-1 is not prime. Res64: 8BB43725617DF2B3 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:29:33] 781*2^1537635-1 is not prime. Res64: EF58A6B762C0B974 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:29:33] 795*2^1537635-1 is not prime. Res64: 78E1621F58137785 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:29:34] 801*2^1537635-1 is not prime. Res64: F4CD500E8B1CABC1 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:29:34] 823*2^1537635-1 is not prime. Res64: EEA0795D40C78BC5 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:36:04] 871*2^1537635-1 is not prime. Res64: 17820D479136BA30 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:36:04] 765*2^1537636-1 is not prime. Res64: 9DE4AA7CD949AAE7 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:36:05] 783*2^1537636-1 is not prime. Res64: 90A057DB8A00D30B Time : 0.0 sec. user=mdettweiler [2019-05-03 16:36:05] 897*2^1537636-1 is not prime. Res64: 10D0FD0AC4C2F4C1 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:36:06] 965*2^1537636-1 is not prime. Res64: 820E220441280330 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:56:30] 615*2^1537637-1 is not prime. Res64: FBDE0E9108B308C6 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:56:30] 837*2^1537637-1 is not prime. Res64: 3BE388D8525F7477 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:56:31] 871*2^1537637-1 is not prime. Res64: 210F3799F34684EF Time : 0.0 sec. user=mdettweiler [2019-05-03 16:56:31] 901*2^1537637-1 is not prime. Res64: 66315F8557CCE5E8 Time : 0.0 sec. user=mdettweiler [2019-05-03 16:56:31] 635*2^1537638-1 is not prime. Res64: 873E2049A810C956 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:05:46] 671*2^1537638-1 is not prime. Res64: F06F8843D600D881 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:05:49] 681*2^1537638-1 is not prime. Res64: 81F702C4F8681229 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:05:52] 711*2^1537638-1 is not prime. Res64: 71368EB532107185 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:21:26] 765*2^1537638-1 is not prime. Res64: 1DFC6900784932F5 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:21:27] 891*2^1537638-1 is not prime. Res64: B01FD65D4640C3C3 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:21:27] 893*2^1537638-1 is not prime. Res64: 522915FCF084BF9D Time : 0.0 sec. user=mdettweiler [2019-05-03 17:21:27] 609*2^1537639-1 is not prime. Res64: A7E405914B821D84 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:21:28] 675*2^1537639-1 is not prime. Res64: 46D3262BA23C8EFC Time : 0.0 sec. user=mdettweiler [2019-05-03 17:27:58] 735*2^1537639-1 is not prime. Res64: 58FAD11EC3D53B46 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:27:59] 759*2^1537639-1 is not prime. Res64: AF1C5841981ADA3E Time : 0.0 sec. user=mdettweiler [2019-05-03 17:27:59] 843*2^1537639-1 is not prime. Res64: EF062429E2FA00C5 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:28:00] 853*2^1537639-1 is not prime. Res64: 4FDFE56469AF79F7 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:28:00] 891*2^1537639-1 is not prime. Res64: 87CC1B3C42B5B4B4 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:49:07] 961*2^1537639-1 is not prime. Res64: FE6A22BCFB0FC029 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:49:07] 969*2^1537639-1 is not prime. Res64: 034AB7C00442E2A9 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:49:08] 975*2^1537639-1 is not prime. Res64: DB405EFBC185BAC9 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:49:08] 609*2^1537640-1 is not prime. Res64: 9677E6E7B82BA412 Time : 0.0 sec. user=mdettweiler [2019-05-03 17:49:08] 665*2^1537640-1 is not prime. Res64: 9BC32B28DDECEF86 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:13:37] 725*2^1537640-1 is not prime. Res64: 70D3CA36ABD548C6 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:13:38] 819*2^1537640-1 is not prime. Res64: 35880830E8373F61 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:13:39] 957*2^1537640-1 is not prime. Res64: 61E21EEC044FB458 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:13:39] 691*2^1537641-1 is not prime. Res64: 6B064ACB1B3E4836 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:13:39] 735*2^1537641-1 is not prime. Res64: B8CEC631D4BBD29B Time : 0.0 sec. user=mdettweiler [2019-05-03 18:20:27] 781*2^1537641-1 is not prime. Res64: 5C21C3EF5F17EBC4 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:20:27] 657*2^1537642-1 is not prime. Res64: 7DC70EC66FAFCE86 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:20:27] 791*2^1537642-1 is not prime. Res64: A793FBA26797B027 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:20:28] 803*2^1537642-1 is not prime. Res64: BD097D04CF3388F8 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:20:28] 813*2^1537642-1 is not prime. Res64: 2F4CE661326657A9 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:43:56] 827*2^1537642-1 is not prime. Res64: C47A1E067829053F Time : 0.0 sec. user=mdettweiler [2019-05-03 18:43:56] 873*2^1537642-1 is not prime. Res64: 6B14C000F7B729A2 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:43:56] 915*2^1537642-1 is not prime. Res64: C61DB62239976510 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:43:57] 917*2^1537642-1 is not prime. Res64: 431B0F8C57C98011 Time : 0.0 sec. user=mdettweiler [2019-05-03 18:43:57] 923*2^1537642-1 is not prime. Res64: 32BD6526C8CB5005 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:11:36] 957*2^1537642-1 is not prime. Res64: EB310A21A4EC12D2 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:11:37] 663*2^1537643-1 is not prime. Res64: C43A71FEC1964CEE Time : 0.0 sec. user=mdettweiler [2019-05-03 19:11:37] 943*2^1537643-1 is not prime. Res64: 154F2676FCBC371F Time : 0.0 sec. user=mdettweiler [2019-05-03 19:11:38] 873*2^1537644-1 is not prime. Res64: 80EADC1677284B14 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:11:38] 959*2^1537644-1 is not prime. Res64: FE04D45B93181C85 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:18:34] 649*2^1537645-1 is not prime. Res64: EE2F7B1691D39E12 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:18:34] 721*2^1537645-1 is not prime. Res64: A63782EAD461E658 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:18:35] 759*2^1537645-1 is not prime. Res64: AEA0C134C084F36D Time : 0.0 sec. user=mdettweiler [2019-05-03 19:18:35] 961*2^1537645-1 is not prime. Res64: 3E1BE47B900C45EE Time : 0.0 sec. user=mdettweiler [2019-05-03 19:18:35] 999*2^1537645-1 is not prime. Res64: F6454AD443F611AC Time : 0.0 sec. user=mdettweiler [2019-05-03 19:41:15] 615*2^1537646-1 is not prime. Res64: F9740EFAE61ADC25 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:41:15] 857*2^1537646-1 is not prime. Res64: 4AC2DFD305FCFD61 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:41:16] 953*2^1537646-1 is not prime. Res64: 78F6C050380067C1 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:41:16] 981*2^1537646-1 is not prime. Res64: DA91C19FB3426273 Time : 0.0 sec. user=mdettweiler [2019-05-03 19:41:16] 625*2^1537647-1 is not prime. Res64: CCB86E7F88D6B1E6 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:08:32] 703*2^1537647-1 is not prime. Res64: 9254BF1F48B9EAC8 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:08:33] 765*2^1537647-1 is not prime. Res64: 939266341915007E Time : 0.0 sec. user=mdettweiler [2019-05-03 20:08:33] 859*2^1537647-1 is not prime. Res64: 4D670B0F54048B57 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:08:34] 723*2^1537648-1 is not prime. Res64: 50F33B4227157934 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:08:34] 777*2^1537648-1 is not prime. Res64: 3A1E801FC1B6DA97 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:14:46] 797*2^1537648-1 is not prime. Res64: EB701BC8EA6C11A6 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:14:46] 827*2^1537648-1 is not prime. Res64: 2FA1C59ECD8D550B Time : 0.0 sec. user=mdettweiler [2019-05-03 20:14:47] 833*2^1537648-1 is not prime. Res64: CC3288F95DDC946D Time : 0.0 sec. user=mdettweiler [2019-05-03 20:14:47] 843*2^1537648-1 is not prime. Res64: 7627361FB19986C5 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:14:47] 869*2^1537648-1 is not prime. Res64: 95CBDDB0035E4721 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:39:42] 927*2^1537648-1 is not prime. Res64: 6FEC54FB8FC29585 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:39:42] 959*2^1537648-1 is not prime. Res64: 6B200390BA1D6C30 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:39:43] 999*2^1537648-1 is not prime. Res64: 655F262885490221 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:39:43] 637*2^1537649-1 is not prime. Res64: 189D9687C16E4CE1 Time : 0.0 sec. user=mdettweiler [2019-05-03 20:39:43] 795*2^1537649-1 is not prime. Res64: 39F09A03B0E5CCFB Time : 0.0 sec. user=mdettweiler [2019-05-03 21:07:48] 949*2^1537649-1 is not prime. Res64: DFD9C95D4EF98DDA Time : 0.0 sec. user=mdettweiler [2019-05-03 21:07:50] 955*2^1537649-1 is not prime. Res64: 8E2446A42A8C90EE Time : 0.0 sec. user=mdettweiler [2019-05-03 21:07:51] 681*2^1537650-1 is not prime. Res64: 41D0C636762E3119 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:07:54] 783*2^1537650-1 is not prime. Res64: 4E184E9ADC8843F5 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:07:56] 803*2^1537650-1 is not prime. Res64: 5FD77CF93EE1DA43 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:12:52] 851*2^1537650-1 is not prime. Res64: F228F6C5D02A62B4 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:12:53] 885*2^1537650-1 is not prime. Res64: 5F98EB94251823D5 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:12:53] 905*2^1537650-1 is not prime. Res64: 211B88C9AC4D18B5 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:12:54] 945*2^1537650-1 is not prime. Res64: 70CDDBA8C8E92AEA Time : 0.0 sec. user=mdettweiler [2019-05-03 21:12:54] 971*2^1537650-1 is not prime. Res64: 061B793DE17E3C9D Time : 0.0 sec. user=mdettweiler [2019-05-03 21:35:35] 679*2^1537651-1 is not prime. Res64: 1A4C26F19DA1593D Time : 0.0 sec. user=mdettweiler [2019-05-03 21:35:35] 681*2^1537651-1 is not prime. Res64: 21FC38C68664191B Time : 0.0 sec. user=mdettweiler [2019-05-03 21:35:36] 709*2^1537651-1 is not prime. Res64: DC89385230772CA8 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:35:36] 735*2^1537651-1 is not prime. Res64: CDD521D5A7D9EC70 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:35:36] 783*2^1537651-1 is not prime. Res64: 6BD1397DFE4F1189 Time : 0.0 sec. user=mdettweiler [2019-05-03 21:51:12] 725*2^1537638-1 is not prime. Res64: DC17D828B8790B1B Time : 0.0 sec. user=mdettweiler [2019-05-03 21:51:13] 761*2^1537638-1 is not prime. Res64: 9C4A0B1580DF7E97 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:02:04] 829*2^1537651-1 is not prime. Res64: 4A61A7D75117F9AB Time : 0.0 sec. user=mdettweiler [2019-05-03 22:02:05] 843*2^1537651-1 is not prime. Res64: F3C488C6979DA890 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:02:06] 849*2^1537651-1 is not prime. Res64: 263ECA04A37E4D57 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:02:07] 909*2^1537651-1 is not prime. Res64: E8A2110BC38BDF2B Time : 0.0 sec. user=mdettweiler [2019-05-03 22:02:08] 603*2^1537652-1 is not prime. Res64: 01735E0B02C19500 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:07:08] 669*2^1537652-1 is not prime. Res64: C9ABE4A261486E2E Time : 0.0 sec. user=mdettweiler [2019-05-03 22:07:09] 759*2^1537652-1 is not prime. Res64: E98D5E6904B8D8CC Time : 0.0 sec. user=mdettweiler [2019-05-03 22:07:10] 875*2^1537652-1 is not prime. Res64: 581A6200A39A369B Time : 0.0 sec. user=mdettweiler [2019-05-03 22:07:11] 935*2^1537652-1 is not prime. Res64: 3C51E398B1898D06 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:07:12] 945*2^1537652-1 is not prime. Res64: 44ED21992DB81C9C Time : 0.0 sec. user=mdettweiler [2019-05-03 22:28:05] 959*2^1537652-1 is not prime. Res64: E167268CD5DAD191 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:28:05] 999*2^1537652-1 is not prime. Res64: 016750C7BE0BF496 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:28:06] 609*2^1537653-1 is not prime. Res64: CF9EDF6183FF1342 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:28:06] 685*2^1537653-1 is not prime. Res64: 42EF2D81C2627827 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:28:06] 877*2^1537653-1 is not prime. Res64: 1764EF330DFD1E23 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:43:37] 937*2^1537653-1 is not prime. Res64: 683D8FC522B37AC1 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:43:38] 979*2^1537653-1 is not prime. Res64: 3F76E4D99DFB39ED Time : 0.0 sec. user=mdettweiler [2019-05-03 22:43:38] 687*2^1537654-1 is not prime. Res64: 29FE14B29CF4FED6 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:43:38] 755*2^1537654-1 is not prime. Res64: 550970D02BDC945A Time : 0.0 sec. user=mdettweiler [2019-05-03 22:43:39] 831*2^1537654-1 is not prime. Res64: 7948DC2DBEAFACF8 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:54:19] 857*2^1537654-1 is not prime. Res64: 87E3B7125106764E Time : 0.0 sec. user=mdettweiler [2019-05-03 22:54:19] 915*2^1537654-1 is not prime. Res64: 0D07C5259B52B943 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:54:20] 983*2^1537654-1 is not prime. Res64: 486AC8DCF5375316 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:54:20] 739*2^1537655-1 is not prime. Res64: 8F95098FCD34B137 Time : 0.0 sec. user=mdettweiler [2019-05-03 22:54:20] 759*2^1537655-1 is not prime. Res64: 7655A22EDE5DDEC8 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:00:43] 963*2^1537655-1 is not prime. Res64: CFC95CD0B32E7539 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:00:44] 981*2^1537655-1 is not prime. Res64: 454A09A90E554DE1 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:00:45] 999*2^1537655-1 is not prime. Res64: DA226F5D8450D6C9 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:00:45] 627*2^1537656-1 is not prime. Res64: 246AFDE90B8006FA Time : 0.0 sec. user=mdettweiler [2019-05-03 23:00:47] 789*2^1537656-1 is not prime. Res64: 96FC6275EB187D91 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:20:56] 873*2^1537656-1 is not prime. Res64: 19CB41AEB291AE3C Time : 0.0 sec. user=mdettweiler [2019-05-03 23:20:56] 875*2^1537656-1 is not prime. Res64: A748FC0C9B4EAB05 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:20:57] 615*2^1537657-1 is not prime. Res64: 0ACBA5A45BFB6C58 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:20:57] 885*2^1537657-1 is not prime. Res64: FBF68DE73E5BE9EA Time : 0.0 sec. user=mdettweiler [2019-05-03 23:20:57] 979*2^1537657-1 is not prime. Res64: 4991C3044173B66C Time : 0.0 sec. user=mdettweiler [2019-05-03 23:35:38] 641*2^1537658-1 is not prime. Res64: 10329608C6BAB535 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:35:39] 683*2^1537658-1 is not prime. Res64: FA3027FB217A9E14 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:35:39] 687*2^1537658-1 is not prime. Res64: C8D859E9057DAD76 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:35:39] 885*2^1537658-1 is not prime. Res64: 2DFE47AE6E3A7D4E Time : 0.0 sec. user=mdettweiler [2019-05-03 23:35:40] 893*2^1537658-1 is not prime. Res64: 2A45E422DE9F9A68 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:47:22] 953*2^1537658-1 is not prime. Res64: 332314BD31CE1473 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:47:22] 971*2^1537658-1 is not prime. Res64: A06DDD5171DD1C8E Time : 0.0 sec. user=mdettweiler [2019-05-03 23:47:22] 625*2^1537659-1 is not prime. Res64: 639EE7E75AF0CA19 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:47:23] 705*2^1537659-1 is not prime. Res64: 74B02CEF4397FB9C Time : 0.0 sec. user=mdettweiler [2019-05-03 23:47:23] 745*2^1537659-1 is not prime. Res64: 8025FB2F40949BCD Time : 0.0 sec. user=mdettweiler [2019-05-03 23:53:33] 789*2^1537659-1 is not prime. Res64: AD633A5AD758CB57 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:53:33] 793*2^1537659-1 is not prime. Res64: 9686EFDB466F3C8C Time : 0.0 sec. user=mdettweiler [2019-05-03 23:53:34] 843*2^1537659-1 is not prime. Res64: DF94265765E05292 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:53:34] 975*2^1537659-1 is not prime. Res64: 5E1E2B2A3B945D07 Time : 0.0 sec. user=mdettweiler [2019-05-03 23:53:35] 723*2^1537660-1 is not prime. Res64: CE8A2EB440C630C5 Time : 0.0 sec.