user=mdettweiler [2020-02-05 00:05:13] 825*2^1553567-1 is not prime. Res64: 1BF6A869D4258C76 Time : 0.0 sec. user=mdettweiler [2020-02-05 04:34:52] 997*2^1553565-1 is not prime. Res64: 2FC3E01DDFBD2AF8 Time : 0.0 sec. user=mdettweiler [2020-02-05 04:44:08] 693*2^1553563-1 is not prime. Res64: CA58476B727C5EAA Time : 0.0 sec. user=mdettweiler [2020-02-05 04:44:08] 723*2^1553563-1 is not prime. Res64: 972F59FDBE7EF2F5 Time : 0.0 sec. user=mdettweiler [2020-02-05 05:38:15] 789*2^1553568-1 is not prime. Res64: 174900864102D51B Time : 0.0 sec. user=mdettweiler [2020-02-05 05:38:27] 843*2^1553568-1 is not prime. Res64: 1DE268AAF652F583 Time : 0.0 sec. user=mdettweiler [2020-02-05 06:52:48] 955*2^1553567-1 is not prime. Res64: F31092267110EFCB Time : 0.0 sec. user=mdettweiler [2020-02-05 06:52:49] 627*2^1553568-1 is not prime. Res64: C53FA093BF738CB6 Time : 0.0 sec. user=mdettweiler [2020-02-05 06:52:49] 705*2^1553568-1 is not prime. Res64: 4B14B5AE2D242FAC Time : 0.0 sec. user=mdettweiler [2020-02-05 06:52:50] 765*2^1553568-1 is not prime. Res64: 5142B5544E26EAE1 Time : 0.0 sec. user=mdettweiler [2020-02-05 07:46:42] 649*2^1553569-1 is not prime. Res64: A7BC4D36A0397C48 Time : 0.0 sec. user=mdettweiler [2020-02-05 10:08:57] 999*2^1553565-1 is not prime. Res64: A108319746FD6DFF Time : 0.0 sec. user=mdettweiler [2020-02-05 11:27:45] 875*2^1553568-1 is not prime. Res64: 26E878899375FBF0 Time : 0.0 sec. user=mdettweiler [2020-02-05 11:27:45] 899*2^1553568-1 is not prime. Res64: FE0A890025B1F93F Time : 0.0 sec. user=mdettweiler [2020-02-05 11:27:46] 969*2^1553568-1 is not prime. Res64: BF0F2FA35F58F32E Time : 0.0 sec. user=mdettweiler [2020-02-05 12:22:18] 657*2^1553570-1 is not prime. Res64: BEE1445A97F76318 Time : 0.0 sec. user=mdettweiler [2020-02-05 14:19:46] 691*2^1553569-1 is not prime. Res64: 8447D7C63C9EB88A Time : 0.0 sec. user=mdettweiler [2020-02-05 14:19:46] 771*2^1553569-1 is not prime. Res64: A53C575925212B2B Time : 0.0 sec. user=mdettweiler [2020-02-05 14:19:47] 847*2^1553569-1 is not prime. Res64: 10A1959D1543503C Time : 0.0 sec. user=mdettweiler [2020-02-05 14:19:47] 967*2^1553569-1 is not prime. Res64: D1C9CE2483F4A4D4 Time : 0.0 sec. user=mdettweiler [2020-02-05 15:14:55] 971*2^1553570-1 is not prime. Res64: DB478ACE7B4858FF Time : 0.0 sec. user=mdettweiler [2020-02-05 15:14:56] 775*2^1553571-1 is not prime. Res64: 3703F612D9B77759 Time : 0.0 sec. user=mdettweiler [2020-02-05 15:14:57] 795*2^1553571-1 is not prime. Res64: AE110B056FA5F4D4 Time : 0.0 sec. user=mdettweiler [2020-02-05 15:14:57] 819*2^1553571-1 is not prime. Res64: D62AE4699493C3AC Time : 0.0 sec. user=mdettweiler [2020-02-05 15:14:58] 895*2^1553571-1 is not prime. Res64: DE5F7431DA9906AF Time : 0.0 sec. user=mdettweiler [2020-02-05 15:40:26] 663*2^1553566-1 is not prime. Res64: C439CC7E458C7DBC Time : 0.0 sec. user=mdettweiler [2020-02-05 15:40:27] 783*2^1553566-1 is not prime. Res64: 2AB89A9EEC102C20 Time : 0.0 sec. user=mdettweiler [2020-02-05 16:06:45] 639*2^1553572-1 is not prime. Res64: EC09ED02DA1A8072 Time : 0.0 sec. user=mdettweiler [2020-02-05 16:06:47] 705*2^1553572-1 is not prime. Res64: 51C1E91BA1C2EE4C Time : 0.0 sec. user=mdettweiler [2020-02-05 16:06:48] 719*2^1553572-1 is not prime. Res64: 24F9B31C9EE8D08B Time : 0.0 sec. user=mdettweiler [2020-02-05 16:06:49] 723*2^1553572-1 is not prime. Res64: 70ADAE813C40167A Time : 0.0 sec. user=mdettweiler [2020-02-05 16:06:59] 803*2^1553572-1 is not prime. Res64: EAFE0CA69E7D7E4C Time : 0.0 sec. user=mdettweiler [2020-02-05 16:33:35] 819*2^1553572-1 is not prime. Res64: A509FA1949D069FD Time : 0.0 sec. user=mdettweiler [2020-02-05 16:33:36] 827*2^1553572-1 is not prime. Res64: CF5B14D8620E141E Time : 0.0 sec. user=mdettweiler [2020-02-05 16:33:36] 833*2^1553572-1 is not prime. Res64: FEF0FC0BDA1B457C Time : 0.0 sec. user=mdettweiler [2020-02-05 16:33:37] 873*2^1553572-1 is not prime. Res64: 30D663FEE364BF07 Time : 0.0 sec. user=mdettweiler [2020-02-05 16:33:37] 909*2^1553572-1 is not prime. Res64: E6831C748B9669FF Time : 0.0 sec. user=mdettweiler [2020-02-05 17:29:11] 727*2^1553573-1 is not prime. Res64: CC849EC644293820 Time : 0.0 sec. user=mdettweiler [2020-02-05 17:29:11] 771*2^1553573-1 is not prime. Res64: 0D4C4CE4848634B5 Time : 0.0 sec. user=mdettweiler [2020-02-05 17:29:12] 861*2^1553573-1 is not prime. Res64: 2F3388164426EF4B Time : 0.0 sec. user=mdettweiler [2020-02-05 17:29:13] 901*2^1553573-1 is not prime. Res64: 05E1AAB89998875E Time : 0.0 sec. user=mdettweiler [2020-02-05 17:29:13] 677*2^1553574-1 is not prime. Res64: DE10A5FC809F0D35 Time : 0.0 sec. user=mdettweiler [2020-02-05 17:50:08] 731*2^1553570-1 is not prime. Res64: E0948AE9D5BB727A Time : 0.0 sec. user=mdettweiler [2020-02-05 17:50:08] 747*2^1553570-1 is not prime. Res64: C9C44A64444B4BCF Time : 0.0 sec. user=mdettweiler [2020-02-05 17:50:09] 923*2^1553570-1 is not prime. Res64: 6FA0CE761DFBD256 Time : 0.0 sec. user=mdettweiler [2020-02-05 17:50:09] 957*2^1553570-1 is not prime. Res64: 805795229B36E94D Time : 0.0 sec. user=mdettweiler [2020-02-05 18:23:09] 681*2^1553574-1 is not prime. Res64: E55D5BB2F2AE8EEC Time : 0.0 sec. user=mdettweiler [2020-02-05 18:23:10] 711*2^1553574-1 is not prime. Res64: EEFA625F6B6DA7F8 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:23:10] 747*2^1553574-1 is not prime. Res64: 0CEAAC01DB79A0A1 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:23:11] 765*2^1553574-1 is not prime. Res64: 747E09C92A5BC3C0 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:23:11] 861*2^1553574-1 is not prime. Res64: 3045318843B9FFB5 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:45:05] 971*2^1553574-1 is not prime. Res64: 11C0DC849BA75992 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:45:05] 1001*2^1553574-1 is not prime. Res64: CB83BE15BB2D0AEA Time : 0.0 sec. user=mdettweiler [2020-02-05 18:45:06] 601*2^1553575-1 is not prime. Res64: 427D209CA76DF77C Time : 0.0 sec. user=mdettweiler [2020-02-05 18:45:06] 609*2^1553575-1 is not prime. Res64: DB35315F5B60E642 Time : 0.0 sec. user=mdettweiler [2020-02-05 18:45:06] 619*2^1553575-1 is not prime. Res64: 0A06C8BCA00C4D07 Time : 0.0 sec. user=mdettweiler [2020-02-05 19:17:04] 625*2^1553575-1 is not prime. Res64: 332EF6BACB158906 Time : 0.0 sec. user=mdettweiler [2020-02-05 19:17:05] 705*2^1553575-1 is not prime. Res64: 8E095E34C90C03EC Time : 0.0 sec. user=mdettweiler [2020-02-05 19:17:05] 709*2^1553575-1 is not prime. Res64: AA547EB504468604 Time : 0.0 sec. user=mdettweiler [2020-02-05 19:17:06] 891*2^1553575-1 is not prime. Res64: 6AE006E211B05A3D Time : 0.0 sec. user=mdettweiler [2020-02-05 19:17:07] 913*2^1553575-1 is not prime. Res64: 2B11308CA18CBC17 Time : 0.0 sec. user=mdettweiler [2020-02-05 19:38:58] 933*2^1553575-1 is not prime. Res64: 8C08A6241173764F Time : 0.0 sec. user=mdettweiler [2020-02-05 19:38:59] 659*2^1553576-1 is not prime. Res64: E45589F2F20D346E Time : 0.0 sec. user=mdettweiler [2020-02-05 19:38:59] 669*2^1553576-1 is not prime. Res64: D1A8C8C8DE09B5D3 Time : 0.0 sec. user=mdettweiler [2020-02-05 19:39:00] 693*2^1553576-1 is not prime. Res64: 6F5F2E9133FD0ACF Time : 0.0 sec. user=mdettweiler [2020-02-05 19:39:00] 845*2^1553576-1 is not prime. Res64: 6677A961EC911FEA Time : 0.0 sec. user=mdettweiler [2020-02-05 20:09:34] 879*2^1553576-1 is not prime. Res64: E43BE6393222038E Time : 0.0 sec. user=mdettweiler [2020-02-05 20:09:35] 661*2^1553577-1 is not prime. Res64: FEE89B9B989ECE61 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:09:36] 669*2^1553577-1 is not prime. Res64: 4D33FF6009618B2B Time : 0.0 sec. user=mdettweiler [2020-02-05 20:09:36] 741*2^1553577-1 is not prime. Res64: 6BD63145B6545173 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:09:37] 805*2^1553577-1 is not prime. Res64: 11207CF2109E894B Time : 0.0 sec. user=mdettweiler [2020-02-05 20:33:44] 847*2^1553577-1 is not prime. Res64: 5868929B0C576DF9 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:33:45] 895*2^1553577-1 is not prime. Res64: EBA1B3FB2CEA7651 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:33:45] 919*2^1553577-1 is not prime. Res64: 3E71042A2F0E7AEB Time : 0.0 sec. user=mdettweiler [2020-02-05 20:33:45] 955*2^1553577-1 is not prime. Res64: 329E3428E7FF9E33 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:33:46] 651*2^1553578-1 is not prime. Res64: 0F57D00FD6C79774 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:58:45] 681*2^1553578-1 is not prime. Res64: 34C879DDAEEB48AE Time : 0.0 sec. user=mdettweiler [2020-02-05 20:58:45] 687*2^1553578-1 is not prime. Res64: E6FCC6174A510A77 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:58:46] 755*2^1553578-1 is not prime. Res64: 319740D139A8DA87 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:58:46] 867*2^1553578-1 is not prime. Res64: 30C470923B9B7A94 Time : 0.0 sec. user=mdettweiler [2020-02-05 20:58:46] 881*2^1553578-1 is not prime. Res64: AD0AD4B7E3C27093 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:01:11] 649*2^1553579-1 is not prime. Res64: 48B8218511C05E5B Time : 0.0 sec. user=mdettweiler [2020-02-05 21:01:12] 663*2^1553579-1 is not prime. Res64: DAA5F66EA91530A2 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:01:13] 675*2^1553579-1 is not prime. Res64: AAC262DAFD4AA6ED Time : 0.0 sec. user=mdettweiler [2020-02-05 21:01:14] 679*2^1553579-1 is not prime. Res64: 97B864DAF5E70A04 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:01:14] 799*2^1553579-1 is not prime. Res64: D5FD8D6EB5C030F9 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:27:55] 811*2^1553579-1 is not prime. Res64: 8134DF133E905E55 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:52:40] 737*2^1553580-1 is not prime. Res64: C986ABE6286A11A3 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:52:40] 779*2^1553580-1 is not prime. Res64: AE96E78EF4CD0E76 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:52:41] 867*2^1553580-1 is not prime. Res64: 07D96085ABB343E0 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:52:41] 927*2^1553580-1 is not prime. Res64: 53139F88AC6CB40B Time : 0.0 sec. user=mdettweiler [2020-02-05 21:52:41] 651*2^1553581-1 is not prime. Res64: 38CE73278167E598 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:55:22] 717*2^1553581-1 is not prime. Res64: 253BF52EA3BDD669 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:55:22] 819*2^1553581-1 is not prime. Res64: 1B3BAB150C7B8565 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:55:23] 825*2^1553581-1 is not prime. Res64: 2E1629DE1F5F344E Time : 0.0 sec. user=mdettweiler [2020-02-05 21:55:23] 901*2^1553581-1 is not prime. Res64: FB2D805C78E560D1 Time : 0.0 sec. user=mdettweiler [2020-02-05 21:55:23] 951*2^1553581-1 is not prime. Res64: 6AC74549EA0F0B9E Time : 0.0 sec. user=mdettweiler [2020-02-05 22:50:00] 873*2^1553582-1 is not prime. Res64: 0724BFB8F0E0DBB6 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:50:00] 981*2^1553582-1 is not prime. Res64: 90632330816ACF37 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:50:01] 663*2^1553583-1 is not prime. Res64: A69ECFE68FD2A6CE Time : 0.0 sec. user=mdettweiler [2020-02-05 22:50:01] 705*2^1553583-1 is not prime. Res64: AC3AA503E616C3FD Time : 0.0 sec. user=mdettweiler [2020-02-05 22:50:01] 739*2^1553583-1 is not prime. Res64: 7F72EA0F779077D4 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:52:47] 975*2^1553581-1 is not prime. Res64: EBEAEA16AB149919 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:52:47] 671*2^1553582-1 is not prime. Res64: E3AE6129CF1DAAE6 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:52:47] 771*2^1553582-1 is not prime. Res64: ED284EAD6DC50B67 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:52:48] 825*2^1553582-1 is not prime. Res64: 6A550599FED0D177 Time : 0.0 sec. user=mdettweiler [2020-02-05 22:52:48] 827*2^1553582-1 is not prime. Res64: C7508EED44121031 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:46:22] 825*2^1553583-1 is not prime. Res64: 214517236244D7AB Time : 0.0 sec. user=mdettweiler [2020-02-05 23:46:23] 853*2^1553583-1 is not prime. Res64: 1692BBE1749FA807 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:46:23] 859*2^1553583-1 is not prime. Res64: 364B4F03E64CA880 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:46:23] 933*2^1553583-1 is not prime. Res64: 9B940308612E89F0 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:46:24] 955*2^1553583-1 is not prime. Res64: 10D3A51A4C5E605C Time : 0.0 sec. user=mdettweiler [2020-02-05 23:47:02] 961*2^1553583-1 is not prime. Res64: CF695FAD9EFA4306 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:47:02] 609*2^1553584-1 is not prime. Res64: 8C39AD37944EA4ED Time : 0.0 sec. user=mdettweiler [2020-02-05 23:47:12] 657*2^1553584-1 is not prime. Res64: AC72864E0786F19A Time : 0.0 sec. user=mdettweiler [2020-02-05 23:47:12] 675*2^1553584-1 is not prime. Res64: FB1DBBD79490EAF9 Time : 0.0 sec. user=mdettweiler [2020-02-05 23:47:12] 677*2^1553584-1 is not prime. Res64: 20DCF926393C6524 Time : 0.0 sec.