user=mdettweiler [2016-11-02 00:07:13] 953*2^1444670-1 is not prime. Res64: E99567D629309422 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:07:15] 981*2^1444670-1 is not prime. Res64: D9546D0B05A23D61 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:07:16] 619*2^1444671-1 is not prime. Res64: 189D531E1E607887 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:07:18] 639*2^1444671-1 is not prime. Res64: AEC7BA3506F4AA4C Time : 0.0 sec. user=mdettweiler [2016-11-02 00:07:20] 679*2^1444671-1 is not prime. Res64: A99AA00E8E9894A7 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:10:23] 685*2^1444671-1 is not prime. Res64: A515D13092FD7CBB Time : 0.0 sec. user=mdettweiler [2016-11-02 00:10:26] 735*2^1444671-1 is not prime. Res64: 6CFF97DEFA6C4804 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:10:28] 793*2^1444671-1 is not prime. Res64: B5E35BCCC43F26FB Time : 0.0 sec. user=mdettweiler [2016-11-02 00:10:31] 805*2^1444671-1 is not prime. Res64: 27724A0BF5F3A287 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:10:32] 819*2^1444671-1 is not prime. Res64: 4B270A2AA915A056 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:35:13] 849*2^1444671-1 is not prime. Res64: A8FFF93C3B97309D Time : 0.0 sec. user=mdettweiler [2016-11-02 00:35:13] 865*2^1444671-1 is not prime. Res64: 8202CB31883B2A45 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:35:14] 969*2^1444671-1 is not prime. Res64: 2EA1ED0A89AB01DB Time : 0.0 sec. user=mdettweiler [2016-11-02 00:35:14] 635*2^1444672-1 is not prime. Res64: CCB944982D3E7BB0 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:35:15] 695*2^1444672-1 is not prime. Res64: CBE8160F0E0D7538 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:41:11] 699*2^1444672-1 is not prime. Res64: E059D57D757FB126 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:41:11] 765*2^1444672-1 is not prime. Res64: 5434E381D15CAF61 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:41:11] 827*2^1444672-1 is not prime. Res64: 56D8E0D172227336 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:41:11] 863*2^1444672-1 is not prime. Res64: 3B489A0C9871F051 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:41:12] 873*2^1444672-1 is not prime. Res64: 7051607D45048412 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:53:16] 675*2^1444673-1 is not prime. Res64: 6D4A351814E12E7E Time : 0.0 sec. user=mdettweiler [2016-11-02 00:53:16] 969*2^1444673-1 is not prime. Res64: 7459FF6D0C8D3906 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:53:17] 605*2^1444674-1 is not prime. Res64: 235D43E8F9281524 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:53:17] 657*2^1444674-1 is not prime. Res64: E95FF91870C0E83B Time : 0.0 sec. user=mdettweiler [2016-11-02 00:53:17] 705*2^1444674-1 is not prime. Res64: BE3CEF612140E20F Time : 0.0 sec. user=mdettweiler [2016-11-02 00:56:40] 747*2^1444674-1 is not prime. Res64: 92AD2B163A7DBC8D Time : 0.0 sec. user=mdettweiler [2016-11-02 00:56:41] 791*2^1444674-1 is not prime. Res64: 5902872FD26FE0AA Time : 0.0 sec. user=mdettweiler [2016-11-02 00:56:41] 905*2^1444674-1 is not prime. Res64: 23482146900946D2 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:56:41] 649*2^1444675-1 is not prime. Res64: F17AC8F67CF07835 Time : 0.0 sec. user=mdettweiler [2016-11-02 00:56:42] 693*2^1444675-1 is not prime. Res64: 8215A4279F3F6E72 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:20:22] 765*2^1444675-1 is not prime. Res64: A1866DBBCED148B7 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:20:22] 783*2^1444675-1 is not prime. Res64: 2DBAD059703FC122 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:20:22] 793*2^1444675-1 is not prime. Res64: 96DDEDE8826E324C Time : 0.0 sec. user=mdettweiler [2016-11-02 01:20:23] 943*2^1444675-1 is not prime. Res64: E41B580B4CAC4BBA Time : 0.0 sec. user=mdettweiler [2016-11-02 01:20:23] 633*2^1444676-1 is not prime. Res64: C1B8E66E8DE988A6 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:26:46] 773*2^1444676-1 is not prime. Res64: 0F8C11B207BA6310 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:26:48] 789*2^1444676-1 is not prime. Res64: 91F7EBCBBB80674E Time : 0.0 sec. user=mdettweiler [2016-11-02 01:26:48] 873*2^1444676-1 is not prime. Res64: 471D3DC9C391592D Time : 0.0 sec. user=mdettweiler [2016-11-02 01:26:50] 963*2^1444676-1 is not prime. Res64: B5C41CDC24F88580 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:26:51] 607*2^1444677-1 is not prime. Res64: 436192E1D594FD85 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:39:23] 615*2^1444677-1 is not prime. Res64: EDD8A6ED29F9D389 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:39:24] 747*2^1444677-1 is not prime. Res64: 84309AF355D74C8D Time : 0.0 sec. user=mdettweiler [2016-11-02 01:39:24] 759*2^1444677-1 is not prime. Res64: 0164FB48BB659585 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:39:24] 849*2^1444677-1 is not prime. Res64: F7B7EE5F1F46C5F2 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:39:25] 889*2^1444677-1 is not prime. Res64: C5EDEE2EF2EA7DFD Time : 0.0 sec. user=mdettweiler [2016-11-02 01:42:33] 895*2^1444677-1 is not prime. Res64: 33F576961A657248 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:42:34] 915*2^1444677-1 is not prime. Res64: BFBAE54115E31167 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:42:34] 815*2^1444678-1 is not prime. Res64: 37ED259A62BA630F Time : 0.0 sec. user=mdettweiler [2016-11-02 01:42:34] 845*2^1444678-1 is not prime. Res64: CBC632584FA4E228 Time : 0.0 sec. user=mdettweiler [2016-11-02 01:42:35] 881*2^1444678-1 is not prime. Res64: 3648FEC1542C1EBB Time : 0.0 sec. user=mdettweiler [2016-11-02 02:06:49] 923*2^1444678-1 is not prime. Res64: C9A6A3D461A60F2E Time : 0.0 sec. user=mdettweiler [2016-11-02 02:06:53] 971*2^1444678-1 is not prime. Res64: 0C7E15471735628F Time : 0.0 sec. user=mdettweiler [2016-11-02 02:06:58] 975*2^1444678-1 is not prime. Res64: E891894AF84BE919 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:07:02] 603*2^1444679-1 is not prime. Res64: AA577C8911A415B0 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:07:05] 663*2^1444679-1 is not prime. Res64: 176CDD518328759B Time : 0.0 sec. user=mdettweiler [2016-11-02 02:13:19] 679*2^1444679-1 is not prime. Res64: 0146F5F03BBEC321 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:13:19] 741*2^1444679-1 is not prime. Res64: DE1F380263479361 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:13:19] 771*2^1444679-1 is not prime. Res64: D75514884D549CF8 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:13:19] 943*2^1444679-1 is not prime. Res64: 6000C5D9C1FA56DA Time : 0.0 sec. user=mdettweiler [2016-11-02 02:13:20] 999*2^1444679-1 is not prime. Res64: 7A26B80DC66E8E04 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:25:06] 629*2^1444680-1 is not prime. Res64: A25E90CDDE79C129 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:25:06] 665*2^1444680-1 is not prime. Res64: 34076E8B1A52C84C Time : 0.0 sec. user=mdettweiler [2016-11-02 02:25:07] 675*2^1444680-1 is not prime. Res64: AC60913C7FBF9AD3 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:25:07] 779*2^1444680-1 is not prime. Res64: 95B00EA33C3F06A0 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:25:08] 909*2^1444680-1 is not prime. Res64: 89D9E39BF7F12234 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:27:52] 915*2^1444680-1 is not prime. Res64: 62325D7247EFD013 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:27:53] 933*2^1444680-1 is not prime. Res64: 2A35DA99FFC7237F Time : 0.0 sec. user=mdettweiler [2016-11-02 02:27:53] 609*2^1444681-1 is not prime. Res64: C9E8A960DBFC4B0F Time : 0.0 sec. user=mdettweiler [2016-11-02 02:27:53] 741*2^1444681-1 is not prime. Res64: 1A36E2AE2507CA85 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:27:53] 799*2^1444681-1 is not prime. Res64: 279EE76DC300CFB7 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:52:29] 849*2^1444681-1 is not prime. Res64: AA9B7D24C9218A7B Time : 0.0 sec. user=mdettweiler [2016-11-02 02:52:29] 889*2^1444681-1 is not prime. Res64: 76E5D8E22C8219C3 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:52:30] 925*2^1444681-1 is not prime. Res64: 7E985598B74AFE21 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:52:30] 951*2^1444681-1 is not prime. Res64: 204D1EEEDCD12506 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:52:30] 665*2^1444682-1 is not prime. Res64: E8D7BFB74C52914C Time : 0.0 sec. user=mdettweiler [2016-11-02 02:58:04] 683*2^1444682-1 is not prime. Res64: A949AE77087976EC Time : 0.0 sec. user=mdettweiler [2016-11-02 02:58:05] 797*2^1444682-1 is not prime. Res64: 3282B4E39A529D35 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:58:05] 833*2^1444682-1 is not prime. Res64: F7AFB551839DB07C Time : 0.0 sec. user=mdettweiler [2016-11-02 02:58:05] 983*2^1444682-1 is not prime. Res64: 9E17EE9C12176B21 Time : 0.0 sec. user=mdettweiler [2016-11-02 02:58:07] 615*2^1444683-1 is not prime. Res64: 08533C906AB7EC9D Time : 0.0 sec. user=mdettweiler [2016-11-02 03:12:43] 963*2^1444683-1 is not prime. Res64: E6731841E2E611DC Time : 0.0 sec. user=mdettweiler [2016-11-02 03:12:44] 639*2^1444684-1 is not prime. Res64: CE93A005A6BE552C Time : 0.0 sec. user=mdettweiler [2016-11-02 03:12:44] 665*2^1444684-1 is not prime. Res64: 87A730083E3C99AC Time : 0.0 sec. user=mdettweiler [2016-11-02 03:12:45] 723*2^1444684-1 is not prime. Res64: A262D4544054C503 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:12:46] 743*2^1444684-1 is not prime. Res64: 418CF2763102BAD5 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:38:54] 749*2^1444684-1 is not prime. Res64: E11251A53FE0D7E5 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:38:56] 813*2^1444684-1 is not prime. Res64: 0BC6F549C7A0D251 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:38:59] 887*2^1444684-1 is not prime. Res64: 594B0564965D7129 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:39:00] 903*2^1444684-1 is not prime. Res64: E8A9781B42AB07DE Time : 0.0 sec. user=mdettweiler [2016-11-02 03:39:03] 959*2^1444684-1 is not prime. Res64: 1BDD3CF47BC3E348 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:44:32] 989*2^1444684-1 is not prime. Res64: 26A9455A65AE39C2 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:44:36] 699*2^1444685-1 is not prime. Res64: FE44BA65271DE00E Time : 0.0 sec. user=mdettweiler [2016-11-02 03:44:38] 715*2^1444685-1 is not prime. Res64: 3B4F119710AEA10B Time : 0.0 sec. user=mdettweiler [2016-11-02 03:44:41] 771*2^1444685-1 is not prime. Res64: 31EA61CC83906411 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:44:45] 775*2^1444685-1 is not prime. Res64: 8CD7D38013E8FF2D Time : 0.0 sec. user=mdettweiler [2016-11-02 03:59:08] 831*2^1444685-1 is not prime. Res64: F190EE400A3AE618 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:59:08] 951*2^1444685-1 is not prime. Res64: 55D3919A6C664AAF Time : 0.0 sec. user=mdettweiler [2016-11-02 03:59:09] 713*2^1444686-1 is not prime. Res64: F798DBDF2DCF84BA Time : 0.0 sec. user=mdettweiler [2016-11-02 03:59:09] 843*2^1444686-1 is not prime. Res64: 62206718F3922061 Time : 0.0 sec. user=mdettweiler [2016-11-02 03:59:10] 873*2^1444686-1 is not prime. Res64: D0C057DFD2EC7F66 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:25:02] 945*2^1444686-1 is not prime. Res64: 29D16EC5ED7F1756 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:25:03] 625*2^1444687-1 is not prime. Res64: 11E3A8E1EAE32809 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:25:03] 649*2^1444687-1 is not prime. Res64: BD2A4AE08A7A2E2E Time : 0.0 sec. user=mdettweiler [2016-11-02 04:25:03] 741*2^1444687-1 is not prime. Res64: AC1AADAE8F4D4185 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:25:03] 945*2^1444687-1 is not prime. Res64: 1F645200B0D21F46 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:30:26] 985*2^1444687-1 is not prime. Res64: 2E0B0222AE5AE4D5 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:30:26] 615*2^1444688-1 is not prime. Res64: BEAF3BEEECD5B451 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:30:27] 633*2^1444688-1 is not prime. Res64: 9C30586066F7A76A Time : 0.0 sec. user=mdettweiler [2016-11-02 04:30:27] 669*2^1444688-1 is not prime. Res64: B6A336201309E984 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:30:27] 827*2^1444688-1 is not prime. Res64: 44451229FFD627E4 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:45:02] 839*2^1444688-1 is not prime. Res64: AE1B54E55AD035D1 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:45:02] 855*2^1444688-1 is not prime. Res64: 243BA8D87A7D0BE3 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:45:03] 869*2^1444688-1 is not prime. Res64: ED2FA81C33797051 Time : 0.0 sec. user=mdettweiler [2016-11-02 04:45:03] 945*2^1444688-1 is not prime. Res64: 6C6DBA024056635A Time : 0.0 sec. user=mdettweiler [2016-11-02 04:45:03] 999*2^1444688-1 is not prime. Res64: FDF28F25FB2D0BA4 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:10:38] 615*2^1444689-1 is not prime. Res64: 5E4BDB99963BFA53 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:10:39] 627*2^1444689-1 is not prime. Res64: E0D43ED9C966292A Time : 0.0 sec. user=mdettweiler [2016-11-02 05:10:42] 649*2^1444689-1 is not prime. Res64: F30AE1CF09EFA372 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:10:43] 681*2^1444689-1 is not prime. Res64: 0AA2142197F50D63 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:10:45] 727*2^1444689-1 is not prime. Res64: 384A8CFC59AC2EDD Time : 0.0 sec. user=mdettweiler [2016-11-02 05:16:11] 807*2^1444689-1 is not prime. Res64: 36C0BCDF7D0D30D7 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:16:11] 865*2^1444689-1 is not prime. Res64: C358A6ED3F54065C Time : 0.0 sec. user=mdettweiler [2016-11-02 05:16:11] 889*2^1444689-1 is not prime. Res64: 9C5F289A2B5C044C Time : 0.0 sec. user=mdettweiler [2016-11-02 05:16:11] 907*2^1444689-1 is not prime. Res64: 91EC1B81424A6E89 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:16:12] 909*2^1444689-1 is not prime. Res64: 760D5D9DBF70A069 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:30:33] 665*2^1444690-1 is not prime. Res64: E5CA092A94AF622B Time : 0.0 sec. user=mdettweiler [2016-11-02 05:30:34] 675*2^1444690-1 is not prime. Res64: FA933002EA88FCA0 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:30:34] 873*2^1444690-1 is not prime. Res64: 36A14779DE3E2A22 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:30:34] 951*2^1444690-1 is not prime. Res64: 60B18D36A81A2517 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:30:34] 711*2^1444691-1 is not prime. Res64: 080CE8255112AD4A Time : 0.0 sec. user=mdettweiler [2016-11-02 05:56:48] 879*2^1444691-1 is not prime. Res64: 9B765CEA990EBC84 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:56:48] 889*2^1444691-1 is not prime. Res64: C43CE98535F38C58 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:56:49] 943*2^1444691-1 is not prime. Res64: 5F2C3B4C68C15A88 Time : 0.0 sec. user=mdettweiler [2016-11-02 05:56:49] 633*2^1444692-1 is not prime. Res64: 2727A5126C7DD00F Time : 0.0 sec. user=mdettweiler [2016-11-02 05:56:49] 737*2^1444692-1 is not prime. Res64: 6D0DAD7A34A49EFD Time : 0.0 sec. user=mdettweiler [2016-11-02 06:01:52] 749*2^1444692-1 is not prime. Res64: B78938DFF6935C14 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:01:53] 873*2^1444692-1 is not prime. Res64: DA99A6B81FFB6898 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:01:54] 681*2^1444693-1 is not prime. Res64: 363F8169BDA2B49D Time : 0.0 sec. user=mdettweiler [2016-11-02 06:01:54] 685*2^1444693-1 is not prime. Res64: A3F05E21C74933D1 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:01:55] 687*2^1444693-1 is not prime. Res64: 5BEDC6ACBC5E3557 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:04:51] 703*2^1444683-1 is not prime. Res64: 857C6939AE8CD451 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:04:53] 819*2^1444683-1 is not prime. Res64: 4C058E025A27CE49 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:04:54] 835*2^1444683-1 is not prime. Res64: 09A982FBD223300E Time : 0.0 sec. user=mdettweiler [2016-11-02 06:04:56] 853*2^1444683-1 is not prime. Res64: A3BACD13D63595EA Time : 0.0 sec. user=mdettweiler [2016-11-02 06:04:57] 955*2^1444683-1 is not prime. Res64: F6B640F87B97A2BE Time : 0.0 sec. user=mdettweiler [2016-11-02 06:16:06] 715*2^1444693-1 is not prime. Res64: 55BF81991487CD41 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:16:06] 747*2^1444693-1 is not prime. Res64: D8672608F88FE881 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:16:07] 801*2^1444693-1 is not prime. Res64: 02CAF63A06BCDE28 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:16:07] 877*2^1444693-1 is not prime. Res64: 6DF1D90D6A94D91E Time : 0.0 sec. user=mdettweiler [2016-11-02 06:16:07] 895*2^1444693-1 is not prime. Res64: 0F92553651D12857 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:41:51] 915*2^1444693-1 is not prime. Res64: B767BECBDDBBACC4 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:41:51] 635*2^1444694-1 is not prime. Res64: 59D24BC313F21770 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:41:51] 663*2^1444694-1 is not prime. Res64: A2349B1FEB07FEEC Time : 0.0 sec. user=mdettweiler [2016-11-02 06:41:52] 731*2^1444694-1 is not prime. Res64: AEB6E4CA17C57DDD Time : 0.0 sec. user=mdettweiler [2016-11-02 06:41:52] 857*2^1444694-1 is not prime. Res64: B4393CA1EC42D7C1 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:46:53] 873*2^1444694-1 is not prime. Res64: 0A3C3690C79F2E29 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:46:54] 885*2^1444694-1 is not prime. Res64: A6EFA6A577618E16 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:46:54] 1001*2^1444694-1 is not prime. Res64: 2FB3F16F173FD7B4 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:46:54] 781*2^1444695-1 is not prime. Res64: 8952F4B24BD81C14 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:46:54] 885*2^1444695-1 is not prime. Res64: 34848C9F18461FD2 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:49:51] 891*2^1444695-1 is not prime. Res64: BD4A2F5534837E75 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:49:51] 969*2^1444695-1 is not prime. Res64: CBCF2E102DC0584B Time : 0.0 sec. user=mdettweiler [2016-11-02 06:49:51] 979*2^1444695-1 is not prime. Res64: 888A7DAD3D9C16EA Time : 0.0 sec. user=mdettweiler [2016-11-02 06:49:52] 747*2^1444696-1 is not prime. Res64: F308E2A2F85E9FE1 Time : 0.0 sec. user=mdettweiler [2016-11-02 06:49:52] 813*2^1444696-1 is not prime. Res64: 62AA69BDE1F6AE98 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:00:55] 855*2^1444696-1 is not prime. Res64: 665A7AE3303DBD66 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:00:58] 857*2^1444696-1 is not prime. Res64: 22CE0FFA8B7D4093 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:01:00] 923*2^1444696-1 is not prime. Res64: BC69200CD2B5D699 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:01:03] 939*2^1444696-1 is not prime. Res64: B564BE24E0B69E84 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:01:04] 631*2^1444697-1 is not prime. Res64: 30AC2FCCDEBE5961 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:26:39] 637*2^1444697-1 is not prime. Res64: E2E4E9B49919B515 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:26:39] 675*2^1444697-1 is not prime. Res64: AA14A5CFE9DC5D5E Time : 0.0 sec. user=mdettweiler [2016-11-02 07:26:40] 663*2^1444698-1 is not prime. Res64: 69852E26A1306640 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:26:40] 797*2^1444698-1 is not prime. Res64: EB087B35D020F6FC Time : 0.0 sec. user=mdettweiler [2016-11-02 07:26:40] 821*2^1444698-1 is not prime. Res64: A13806705A56D5C7 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:31:47] 921*2^1444698-1 is not prime. Res64: 60CA0333D8A259A4 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:31:47] 945*2^1444698-1 is not prime. Res64: DC72B521F9215714 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:31:47] 993*2^1444698-1 is not prime. Res64: 2C9DF5E10BDB15A9 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:31:48] 769*2^1444699-1 is not prime. Res64: C909DF18CC021BC4 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:31:48] 811*2^1444699-1 is not prime. Res64: CF88518BEE96EB74 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:34:35] 999*2^1444699-1 is not prime. Res64: 41CF925476793B39 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:34:35] 833*2^1444700-1 is not prime. Res64: A626EF16E884D021 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:34:35] 875*2^1444700-1 is not prime. Res64: 88CC7D4D1104CBD2 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:34:36] 927*2^1444700-1 is not prime. Res64: 2F632A8400457B86 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:34:36] 957*2^1444700-1 is not prime. Res64: 8A1FC8A8EEDC5D43 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:46:02] 963*2^1444700-1 is not prime. Res64: 529B29C5ED6A0792 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:46:03] 999*2^1444700-1 is not prime. Res64: C65E21BDC33BBED6 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:46:03] 625*2^1444701-1 is not prime. Res64: A5267711058C14A2 Time : 0.0 sec. user=mdettweiler [2016-11-02 07:46:03] 711*2^1444701-1 is not prime. Res64: EE378080F7D64CCA Time : 0.0 sec. user=mdettweiler [2016-11-02 07:46:03] 825*2^1444701-1 is not prime. Res64: E5465FB55F3E9E75 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:11:34] 835*2^1444701-1 is not prime. Res64: 2991EA6D006F95D8 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:11:34] 861*2^1444701-1 is not prime. Res64: 72BC8A5E2A477892 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:11:35] 885*2^1444701-1 is not prime. Res64: 183E0C52E32CE9D2 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:11:35] 975*2^1444701-1 is not prime. Res64: 101C904E2A2390E4 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:11:35] 777*2^1444702-1 is not prime. Res64: 62A217B04B2CCF23 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:16:43] 843*2^1444702-1 is not prime. Res64: DD8E800D7C4EA59A Time : 0.0 sec. user=mdettweiler [2016-11-02 08:16:43] 603*2^1444703-1 is not prime. Res64: 7135E796DC223CB9 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:16:43] 619*2^1444703-1 is not prime. Res64: 54BE77362F56CA75 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:16:44] 831*2^1444703-1 is not prime. Res64: 4A6CDDD732663A35 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:16:44] 861*2^1444703-1 is not prime. Res64: 3783AEAFDB8529DE Time : 0.0 sec. user=mdettweiler [2016-11-02 08:19:26] 879*2^1444703-1 is not prime. Res64: 58BC0787970B8780 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:19:27] 885*2^1444703-1 is not prime. Res64: DFD4C3524B6A26DE Time : 0.0 sec. user=mdettweiler [2016-11-02 08:19:27] 939*2^1444703-1 is not prime. Res64: 0AC5F6824873BC9C Time : 0.0 sec. user=mdettweiler [2016-11-02 08:19:27] 949*2^1444703-1 is not prime. Res64: A2EC6BB8F11561F7 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:19:27] 999*2^1444703-1 is not prime. Res64: E68670D548DFEB84 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:30:58] 609*2^1444704-1 is not prime. Res64: 05D0EA3287E008C9 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:30:58] 705*2^1444704-1 is not prime. Res64: 64A6FD06A7F953AF Time : 0.0 sec. user=mdettweiler [2016-11-02 08:30:58] 927*2^1444704-1 is not prime. Res64: 1831A661A6C9CA20 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:30:59] 929*2^1444704-1 is not prime. Res64: 98F66C84006661E5 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:30:59] 947*2^1444704-1 is not prime. Res64: C764AB0ABF19A8CF Time : 0.0 sec. user=mdettweiler [2016-11-02 08:56:27] 649*2^1444705-1 is not prime. Res64: 44BA157EC21364E0 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:56:27] 885*2^1444705-1 is not prime. Res64: AF84658E4D6639D4 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:56:27] 985*2^1444705-1 is not prime. Res64: 751A63925B56A3CA Time : 0.0 sec. user=mdettweiler [2016-11-02 08:56:27] 997*2^1444705-1 is not prime. Res64: 5F483A97D1CEA3B8 Time : 0.0 sec. user=mdettweiler [2016-11-02 08:56:28] 651*2^1444706-1 is not prime. Res64: 45C0CF827BBD7536 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:01:40] 677*2^1444706-1 is not prime. Res64: 21E3098E3FB66E8B Time : 0.0 sec. user=mdettweiler [2016-11-02 09:01:42] 741*2^1444706-1 is not prime. Res64: 8509A0B77BA5FEDE Time : 0.0 sec. user=mdettweiler [2016-11-02 09:01:42] 825*2^1444706-1 is not prime. Res64: 1AA57894B8E5FCE1 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:01:43] 633*2^1444707-1 is not prime. Res64: 6594D68CFEC10A9C Time : 0.0 sec. user=mdettweiler [2016-11-02 09:01:43] 685*2^1444707-1 is not prime. Res64: 468ECE9DE0BA3FE5 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:04:27] 703*2^1444707-1 is not prime. Res64: 09E2588DEC3C473A Time : 0.0 sec. user=mdettweiler [2016-11-02 09:04:28] 819*2^1444707-1 is not prime. Res64: 0896B0F9829F4CB0 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:04:29] 955*2^1444707-1 is not prime. Res64: 6E9D5B7F0DD51C63 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:04:29] 973*2^1444707-1 is not prime. Res64: 79618A3207E6491B Time : 0.0 sec. user=mdettweiler [2016-11-02 09:04:30] 623*2^1444708-1 is not prime. Res64: 71907FDD2F2C4DD2 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:15:52] 687*2^1444708-1 is not prime. Res64: 7F6298ACBD4A1C1F Time : 0.0 sec. user=mdettweiler [2016-11-02 09:15:52] 843*2^1444708-1 is not prime. Res64: 2D38161F4C17085C Time : 0.0 sec. user=mdettweiler [2016-11-02 09:15:53] 897*2^1444708-1 is not prime. Res64: AA24189C7ABB90C0 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:15:53] 905*2^1444708-1 is not prime. Res64: 1CC35F2B061E2DC7 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:15:54] 957*2^1444708-1 is not prime. Res64: FED72042B0B8CE20 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:41:18] 969*2^1444708-1 is not prime. Res64: F0FB346D56F53A1D Time : 0.0 sec. user=mdettweiler [2016-11-02 09:41:18] 685*2^1444709-1 is not prime. Res64: 10EDEBC0F103606C Time : 0.0 sec. user=mdettweiler [2016-11-02 09:41:18] 691*2^1444709-1 is not prime. Res64: 47C2C4056079A5BE Time : 0.0 sec. user=mdettweiler [2016-11-02 09:41:19] 789*2^1444709-1 is not prime. Res64: EEF73DC2FD903F62 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:41:19] 889*2^1444709-1 is not prime. Res64: D60BBB1B498D28B1 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:46:46] 897*2^1444709-1 is not prime. Res64: 5293FCD41306CC99 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:46:47] 641*2^1444710-1 is not prime. Res64: BE5715267A7E4F29 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:46:47] 741*2^1444710-1 is not prime. Res64: 9A249EDA3A3165ED Time : 0.0 sec. user=mdettweiler [2016-11-02 09:46:47] 747*2^1444710-1 is not prime. Res64: 3041EC6077BA66CD Time : 0.0 sec. user=mdettweiler [2016-11-02 09:46:48] 755*2^1444710-1 is not prime. Res64: 8DF9E54322B2F2BD Time : 0.0 sec. user=mdettweiler [2016-11-02 09:49:27] 773*2^1444710-1 is not prime. Res64: 089D4A51B6079CD5 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:49:27] 791*2^1444710-1 is not prime. Res64: B1ABB9D7B2B10948 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:49:27] 891*2^1444710-1 is not prime. Res64: EE3CCC2F98B723B1 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:49:27] 625*2^1444711-1 is not prime. Res64: 14ACDF0309B70153 Time : 0.0 sec. user=mdettweiler [2016-11-02 09:49:28] 673*2^1444711-1 is not prime. Res64: 70FA8F26F3C225EF Time : 0.0 sec. user=mdettweiler [2016-11-02 10:00:49] 723*2^1444711-1 is not prime. Res64: 55CB799B516A9B66 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:00:49] 759*2^1444711-1 is not prime. Res64: 79DDF345583AD457 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:00:50] 909*2^1444711-1 is not prime. Res64: 6DA0152FD7DE7338 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:00:51] 973*2^1444711-1 is not prime. Res64: D2AA7A04E9DCACEB Time : 0.0 sec. user=mdettweiler [2016-11-02 10:00:51] 603*2^1444712-1 is not prime. Res64: 3CF3C8B7CC551B19 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:26:06] 699*2^1444712-1 is not prime. Res64: AE960297632D2781 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:26:06] 785*2^1444712-1 is not prime. Res64: 93B896A4E27D6236 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:26:06] 797*2^1444712-1 is not prime. Res64: 3D4467131477468A Time : 0.0 sec. user=mdettweiler [2016-11-02 10:26:07] 873*2^1444712-1 is not prime. Res64: DEC9065C2CDCDCA5 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:26:07] 879*2^1444712-1 is not prime. Res64: B8D9FE5F7D185D8B Time : 0.0 sec. user=mdettweiler [2016-11-02 10:31:42] 929*2^1444712-1 is not prime. Res64: 2539DF8FB369638F Time : 0.0 sec. user=mdettweiler [2016-11-02 10:31:42] 609*2^1444713-1 is not prime. Res64: EAF31F03A0E51DB8 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:31:42] 691*2^1444713-1 is not prime. Res64: 66D11ACE95044026 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:31:42] 741*2^1444713-1 is not prime. Res64: 2ABE72635471EA3B Time : 0.0 sec. user=mdettweiler [2016-11-02 10:31:43] 921*2^1444713-1 is not prime. Res64: 8828BFAFABA24ACC Time : 0.0 sec. user=mdettweiler [2016-11-02 10:34:09] 621*2^1444714-1 is not prime. Res64: 438334CF38999AF0 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:34:09] 675*2^1444714-1 is not prime. Res64: 55C7A816C79DCE9F Time : 0.0 sec. user=mdettweiler [2016-11-02 10:34:09] 681*2^1444714-1 is not prime. Res64: 3A5AD2D574F84977 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:34:10] 687*2^1444714-1 is not prime. Res64: 16126DAA93928DE3 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:34:10] 701*2^1444714-1 is not prime. Res64: C1D1BD817FAD2F14 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:45:45] 755*2^1444714-1 is not prime. Res64: C94D8E0A98BB52DC Time : 0.0 sec. user=mdettweiler [2016-11-02 10:45:46] 947*2^1444714-1 is not prime. Res64: 7AB31C025D63DB82 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:45:46] 981*2^1444714-1 is not prime. Res64: B5B8E03E6EAF487F Time : 0.0 sec. user=mdettweiler [2016-11-02 10:45:46] 603*2^1444715-1 is not prime. Res64: 6F2A393EAD3AB3A4 Time : 0.0 sec. user=mdettweiler [2016-11-02 10:45:46] 663*2^1444715-1 is not prime. Res64: D6E2D979586FDDC9 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:11:06] 715*2^1444715-1 is not prime. Res64: 87BA7F31C9FBDAC6 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:11:07] 753*2^1444715-1 is not prime. Res64: C7EA4C6250408549 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:11:08] 771*2^1444715-1 is not prime. Res64: A65F741408AFAAF2 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:11:10] 799*2^1444715-1 is not prime. Res64: B3069A86C93D3FBB Time : 0.0 sec. user=mdettweiler [2016-11-02 11:11:11] 801*2^1444715-1 is not prime. Res64: 49D4C93C6FF10E40 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:16:37] 855*2^1444715-1 is not prime. Res64: 0E2148C7C8463830 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:16:37] 921*2^1444715-1 is not prime. Res64: 169A895A5430AA8E Time : 0.0 sec. user=mdettweiler [2016-11-02 11:16:37] 669*2^1444716-1 is not prime. Res64: ACC425CA3E080E2E Time : 0.0 sec. user=mdettweiler [2016-11-02 11:16:37] 737*2^1444716-1 is not prime. Res64: E85146C88A26CD99 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:16:38] 779*2^1444716-1 is not prime. Res64: B1E3142FEEC03FD4 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:18:55] 843*2^1444716-1 is not prime. Res64: C29F5D7079C635B6 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:18:55] 845*2^1444716-1 is not prime. Res64: FDEAB99088CC2C0C Time : 0.0 sec. user=mdettweiler [2016-11-02 11:18:55] 893*2^1444716-1 is not prime. Res64: 06FBD0A0CD616516 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:18:56] 609*2^1444717-1 is not prime. Res64: FEB3CD34B1C7CD9D Time : 0.0 sec. user=mdettweiler [2016-11-02 11:18:56] 729*2^1444717-1 is not prime. Res64: 95D9840B35B65201 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:30:31] 747*2^1444717-1 is not prime. Res64: FE8467954BFBF32D Time : 0.0 sec. user=mdettweiler [2016-11-02 11:30:31] 777*2^1444717-1 is not prime. Res64: CA10C1DB95C4A226 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:30:31] 889*2^1444717-1 is not prime. Res64: E167AFD43161B663 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:30:32] 605*2^1444718-1 is not prime. Res64: 24F11FDC5ED8A3C6 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:30:32] 635*2^1444718-1 is not prime. Res64: 6867C6EA2D328505 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:56:13] 833*2^1444718-1 is not prime. Res64: 457C86CB6FB94112 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:56:13] 951*2^1444718-1 is not prime. Res64: A95AA142F0A63CAA Time : 0.0 sec. user=mdettweiler [2016-11-02 11:56:13] 1001*2^1444718-1 is not prime. Res64: C6D57182B5A6D9E7 Time : 0.0 sec. user=mdettweiler [2016-11-02 11:56:14] 609*2^1444719-1 is not prime. Res64: E1D056096FDC295C Time : 0.0 sec. user=mdettweiler [2016-11-02 11:56:14] 675*2^1444719-1 is not prime. Res64: 0B1EC6B0D5722E39 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:01:29] 741*2^1444719-1 is not prime. Res64: D068A0252BF6814A Time : 0.0 sec. user=mdettweiler [2016-11-02 12:01:30] 793*2^1444719-1 is not prime. Res64: 8B8BED2F9436074B Time : 0.0 sec. user=mdettweiler [2016-11-02 12:01:31] 853*2^1444719-1 is not prime. Res64: 8E1D479EA9E8F404 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:01:32] 931*2^1444719-1 is not prime. Res64: AC871DCF23353724 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:01:34] 991*2^1444719-1 is not prime. Res64: 1648AD8756939486 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:03:42] 819*2^1444720-1 is not prime. Res64: 198FC5D720AADB59 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:03:43] 933*2^1444720-1 is not prime. Res64: 637B012DF603459A Time : 0.0 sec. user=mdettweiler [2016-11-02 12:03:44] 627*2^1444721-1 is not prime. Res64: 598FC703696AFE35 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:03:45] 657*2^1444721-1 is not prime. Res64: 64EFE27576D5465C Time : 0.0 sec. user=mdettweiler [2016-11-02 12:03:46] 777*2^1444721-1 is not prime. Res64: 522EB4B255EB4632 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:15:24] 805*2^1444721-1 is not prime. Res64: C26FF8D8842890C2 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:15:24] 945*2^1444721-1 is not prime. Res64: 7AC514CA7E584381 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:15:25] 711*2^1444722-1 is not prime. Res64: 5AB7CED583BEC993 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:15:25] 747*2^1444722-1 is not prime. Res64: A783DBC4094975FE Time : 0.0 sec. user=mdettweiler [2016-11-02 12:15:25] 801*2^1444722-1 is not prime. Res64: FC1DE8229FAB515F Time : 0.0 sec. user=mdettweiler [2016-11-02 12:41:06] 675*2^1444723-1 is not prime. Res64: 188FF68ECCA59586 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:41:06] 741*2^1444723-1 is not prime. Res64: 6CB9A68EAC67CF74 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:41:06] 805*2^1444723-1 is not prime. Res64: 0ACA669B43B7B1E0 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:41:06] 835*2^1444723-1 is not prime. Res64: 9E12A5AB27969FAF Time : 0.0 sec. user=mdettweiler [2016-11-02 12:41:07] 951*2^1444723-1 is not prime. Res64: 15690E4217E11303 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:46:29] 993*2^1444723-1 is not prime. Res64: A1473B4DA4CA8591 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:46:29] 999*2^1444723-1 is not prime. Res64: 704CAE2A61B3B844 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:46:30] 725*2^1444724-1 is not prime. Res64: 01FD507FF56F1371 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:46:30] 819*2^1444724-1 is not prime. Res64: 5070EC42E24A6C4B Time : 0.0 sec. user=mdettweiler [2016-11-02 12:46:30] 897*2^1444724-1 is not prime. Res64: 70C68E4BFD8B3928 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:48:35] 927*2^1444724-1 is not prime. Res64: 8534521B92D618C9 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:48:35] 993*2^1444724-1 is not prime. Res64: 4B6C5B1D18A83ED2 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:48:36] 609*2^1444725-1 is not prime. Res64: 21C36EC551B90EBC Time : 0.0 sec. user=mdettweiler [2016-11-02 12:48:36] 669*2^1444725-1 is not prime. Res64: 75F0B36BCF63F030 Time : 0.0 sec. user=mdettweiler [2016-11-02 12:48:36] 691*2^1444725-1 is not prime. Res64: 9186C4ECDFB82438 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:00:05] 741*2^1444725-1 is not prime. Res64: 617EE87C12B6821F Time : 0.0 sec. user=mdettweiler [2016-11-02 13:00:06] 781*2^1444725-1 is not prime. Res64: E68D6D8BE846012A Time : 0.0 sec. user=mdettweiler [2016-11-02 13:00:06] 819*2^1444725-1 is not prime. Res64: EAA23704E5BC6918 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:00:06] 825*2^1444725-1 is not prime. Res64: B4C106A77E591E3D Time : 0.0 sec. user=mdettweiler [2016-11-02 13:00:06] 837*2^1444725-1 is not prime. Res64: FA0D4B87A062233D Time : 0.0 sec. user=mdettweiler [2016-11-02 13:26:38] 859*2^1444725-1 is not prime. Res64: DCFC8ED6E10DD422 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:26:38] 889*2^1444725-1 is not prime. Res64: 3CF82D09068A7276 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:26:39] 623*2^1444726-1 is not prime. Res64: AD2942BB76C561AD Time : 0.0 sec. user=mdettweiler [2016-11-02 13:26:39] 635*2^1444726-1 is not prime. Res64: 58B6BB0376847EB2 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:26:39] 647*2^1444726-1 is not prime. Res64: C0E6A6DF695A86E9 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:32:10] 657*2^1444726-1 is not prime. Res64: 8A1A6C2FD2ADC576 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:32:10] 671*2^1444726-1 is not prime. Res64: 18A4B23048502928 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:32:10] 677*2^1444726-1 is not prime. Res64: D273FD175E6B4A4E Time : 0.0 sec. user=mdettweiler [2016-11-02 13:32:10] 655*2^1444727-1 is not prime. Res64: 1BD1EE1F9FA9480F Time : 0.0 sec. user=mdettweiler [2016-11-02 13:32:11] 685*2^1444727-1 is not prime. Res64: 36F652435B35F871 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:34:05] 735*2^1444727-1 is not prime. Res64: 46E3F83C6E1F9884 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:34:05] 813*2^1444727-1 is not prime. Res64: FD1AC02121A2DB3E Time : 0.0 sec. user=mdettweiler [2016-11-02 13:34:05] 859*2^1444727-1 is not prime. Res64: 60D0F38E63561A81 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:34:06] 963*2^1444727-1 is not prime. Res64: C65E9E1EBE03E0B9 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:34:06] 765*2^1444728-1 is not prime. Res64: 897BE782A4E5C166 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:45:47] 773*2^1444728-1 is not prime. Res64: 1DFCF6B1073354B0 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:45:47] 797*2^1444728-1 is not prime. Res64: 9F0451A3827B1C72 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:45:48] 875*2^1444728-1 is not prime. Res64: C6DE1D8D382DCC98 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:45:48] 879*2^1444728-1 is not prime. Res64: AAE2ADF4CA461C70 Time : 0.0 sec. user=mdettweiler [2016-11-02 13:45:48] 705*2^1444729-1 is not prime. Res64: 0953A72302D29DB9 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:11:31] 867*2^1444729-1 is not prime. Res64: D7EA6BB55A99D507 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:11:32] 877*2^1444729-1 is not prime. Res64: C3D277C5A53B3E93 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:11:33] 895*2^1444729-1 is not prime. Res64: D8C5AD06FB1D4880 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:11:33] 939*2^1444729-1 is not prime. Res64: C39BC1669D14CD1B Time : 0.0 sec. user=mdettweiler [2016-11-02 14:11:34] 707*2^1444730-1 is not prime. Res64: 628AD6BDCB878C05 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:17:00] 731*2^1444730-1 is not prime. Res64: FA2EEA959A1F1D77 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:17:00] 801*2^1444730-1 is not prime. Res64: 8E11EDFC9F1391C7 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:17:01] 831*2^1444730-1 is not prime. Res64: C71F96CC8753192A Time : 0.0 sec. user=mdettweiler [2016-11-02 14:17:01] 893*2^1444730-1 is not prime. Res64: 6A9292E5D7BDB0A2 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:17:01] 917*2^1444730-1 is not prime. Res64: 54A839CD19499450 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:18:52] 685*2^1444731-1 is not prime. Res64: F876DED730A8B698 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:18:52] 723*2^1444731-1 is not prime. Res64: 9E38874FB77D0D3D Time : 0.0 sec. user=mdettweiler [2016-11-02 14:18:52] 751*2^1444731-1 is not prime. Res64: 5186BB59C0FA0210 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:18:53] 849*2^1444731-1 is not prime. Res64: 6B8C025ADDC4A09D Time : 0.0 sec. user=mdettweiler [2016-11-02 14:18:53] 859*2^1444731-1 is not prime. Res64: 1BA48E68E766A128 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:30:39] 955*2^1444731-1 is not prime. Res64: 4A1EB2D62F34DF54 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:30:40] 979*2^1444731-1 is not prime. Res64: 917AAAFB75810080 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:30:40] 605*2^1444732-1 is not prime. Res64: E84DB606E519D6CB Time : 0.0 sec. user=mdettweiler [2016-11-02 14:30:40] 677*2^1444732-1 is not prime. Res64: D288C17139C8E2EB Time : 0.0 sec. user=mdettweiler [2016-11-02 14:30:41] 873*2^1444732-1 is not prime. Res64: D006017DEBACB41D Time : 0.0 sec. user=mdettweiler [2016-11-02 14:56:32] 875*2^1444732-1 is not prime. Res64: 03585F4FE76E8EED Time : 0.0 sec. user=mdettweiler [2016-11-02 14:56:33] 899*2^1444732-1 is not prime. Res64: 775A57F93F882E7D Time : 0.0 sec. user=mdettweiler [2016-11-02 14:56:33] 947*2^1444732-1 is not prime. Res64: 1B3B3B6F451C3A63 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:56:33] 631*2^1444733-1 is not prime. Res64: 9194E5A18CB601F0 Time : 0.0 sec. user=mdettweiler [2016-11-02 14:56:33] 915*2^1444733-1 is not prime. Res64: EA9A5113BA0708E9 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:01:54] 945*2^1444733-1 is not prime. Res64: 6BF44D58B4D3F04A Time : 0.0 sec. user=mdettweiler [2016-11-02 15:01:54] 955*2^1444733-1 is not prime. Res64: 5D5CC2F324C8D20B Time : 0.0 sec. user=mdettweiler [2016-11-02 15:01:55] 987*2^1444733-1 is not prime. Res64: CE4B9F68363499B1 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:01:56] 991*2^1444733-1 is not prime. Res64: BAA168175918384D Time : 0.0 sec. user=mdettweiler [2016-11-02 15:01:56] 657*2^1444734-1 is not prime. Res64: 62914FCF2FB8CF9E Time : 0.0 sec. user=mdettweiler [2016-11-02 15:03:45] 773*2^1444734-1 is not prime. Res64: 78AE5A1F6D52E416 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:03:47] 783*2^1444734-1 is not prime. Res64: FF173B0360E93A59 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:03:48] 795*2^1444734-1 is not prime. Res64: 3BCF653FB681EDC5 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:03:49] 851*2^1444734-1 is not prime. Res64: 02D9E6AA3482B22E Time : 0.0 sec. user=mdettweiler [2016-11-02 15:03:50] 921*2^1444734-1 is not prime. Res64: E41E25D5702754F3 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:16:00] 609*2^1444735-1 is not prime. Res64: 1E7A5F9A4236E222 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:16:00] 645*2^1444735-1 is not prime. Res64: 9C9E81734F3FDB66 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:16:01] 661*2^1444735-1 is not prime. Res64: 07FE77FB1020F7DA Time : 0.0 sec. user=mdettweiler [2016-11-02 15:16:01] 709*2^1444735-1 is not prime. Res64: 76A2D297AB347405 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:16:01] 763*2^1444735-1 is not prime. Res64: C3AC6C09F41B39CB Time : 0.0 sec. user=mdettweiler [2016-11-02 15:42:39] 843*2^1444735-1 is not prime. Res64: B8CF028C9D79B518 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:42:40] 895*2^1444735-1 is not prime. Res64: 43BC8006F3B26742 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:42:40] 909*2^1444735-1 is not prime. Res64: 6BECF1DE0BB87D7A Time : 0.0 sec. user=mdettweiler [2016-11-02 15:42:40] 973*2^1444735-1 is not prime. Res64: A99A0AA028E4FB25 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:42:40] 725*2^1444736-1 is not prime. Res64: ECD7F353C937DDA3 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:48:01] 735*2^1444736-1 is not prime. Res64: 25F2EA17D5A88810 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:48:01] 833*2^1444736-1 is not prime. Res64: 8A8CC6E678E0CE3C Time : 0.0 sec. user=mdettweiler [2016-11-02 15:48:01] 983*2^1444736-1 is not prime. Res64: F8CDA804FD70F79C Time : 0.0 sec. user=mdettweiler [2016-11-02 15:48:02] 681*2^1444737-1 is not prime. Res64: 52D49C5E45F6F5C7 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:48:02] 769*2^1444737-1 is not prime. Res64: 75CBFA4B5BF3747D Time : 0.0 sec. user=mdettweiler [2016-11-02 15:49:35] 817*2^1444737-1 is not prime. Res64: C53543141EA15C8D Time : 0.0 sec. user=mdettweiler [2016-11-02 15:49:35] 847*2^1444737-1 is not prime. Res64: 97B132C0442F3C53 Time : 0.0 sec. user=mdettweiler [2016-11-02 15:49:36] 871*2^1444737-1 is not prime. Res64: C0D6C95ECA5F899C Time : 0.0 sec. user=mdettweiler [2016-11-02 15:49:36] 991*2^1444737-1 is not prime. Res64: 652C8EC0D7A722AB Time : 0.0 sec. user=mdettweiler [2016-11-02 15:49:36] 617*2^1444738-1 is not prime. Res64: E5A975FBF0F1CE28 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:02:01] 647*2^1444738-1 is not prime. Res64: BA029302E7C7B4BC Time : 0.0 sec. user=mdettweiler [2016-11-02 16:02:02] 737*2^1444738-1 is not prime. Res64: 00B0A570BF66C8F0 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:02:03] 743*2^1444738-1 is not prime. Res64: 86716D4F04C5341D Time : 0.0 sec. user=mdettweiler [2016-11-02 16:02:05] 923*2^1444738-1 is not prime. Res64: 8F2602959AFC0975 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:02:06] 621*2^1444739-1 is not prime. Res64: BD1DDDB2D0518095 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:30:27] 693*2^1444739-1 is not prime. Res64: 0B4F6948E9F66A74 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:30:27] 741*2^1444739-1 is not prime. Res64: 183BE94F9BC2075F Time : 0.0 sec. user=mdettweiler [2016-11-02 16:30:27] 753*2^1444739-1 is not prime. Res64: 36DF6EB1BB893817 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:30:28] 825*2^1444739-1 is not prime. Res64: 8DE430694E39EDF2 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:30:28] 859*2^1444739-1 is not prime. Res64: 99261F7DB6D497C9 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:36:03] 629*2^1444740-1 is not prime. Res64: 123667EE2A2AC1DE Time : 0.0 sec. user=mdettweiler [2016-11-02 16:36:04] 699*2^1444740-1 is not prime. Res64: 60BD4D18C8F914B4 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:36:04] 767*2^1444740-1 is not prime. Res64: 9037099F9C2A5243 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:36:04] 863*2^1444740-1 is not prime. Res64: A73382E13F4497D4 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:36:04] 933*2^1444740-1 is not prime. Res64: 9D097DADF44855B7 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:37:37] 987*2^1444741-1 is not prime. Res64: AA4633C8146D4A9B Time : 0.0 sec. user=mdettweiler [2016-11-02 16:37:37] 999*2^1444741-1 is not prime. Res64: E43DDD56BE86593D Time : 0.0 sec. user=mdettweiler [2016-11-02 16:37:38] 603*2^1444742-1 is not prime. Res64: 8C2DF3D07CA2C22B Time : 0.0 sec. user=mdettweiler [2016-11-02 16:37:38] 615*2^1444742-1 is not prime. Res64: 539FD2D40BDB0579 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:37:38] 657*2^1444742-1 is not prime. Res64: 1841E71CE49E4BFF Time : 0.0 sec. user=mdettweiler [2016-11-02 16:49:49] 675*2^1444742-1 is not prime. Res64: CDE419FD230BA2D2 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:49:50] 755*2^1444742-1 is not prime. Res64: 07ECE636AC0C2D97 Time : 0.0 sec. user=mdettweiler [2016-11-02 16:49:50] 771*2^1444742-1 is not prime. Res64: BD0D73175FDE553D Time : 0.0 sec. user=mdettweiler [2016-11-02 16:49:51] 649*2^1444743-1 is not prime. Res64: B63313C6531EEFDD Time : 0.0 sec. user=mdettweiler [2016-11-02 16:49:51] 661*2^1444743-1 is not prime. Res64: 1DF470030D1E92FD Time : 0.0 sec. user=mdettweiler [2016-11-02 17:18:19] 679*2^1444743-1 is not prime. Res64: 08E6420118CF4F2F Time : 0.0 sec. user=mdettweiler [2016-11-02 17:18:20] 685*2^1444743-1 is not prime. Res64: A708CF36119B03A3 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:18:20] 735*2^1444743-1 is not prime. Res64: E8E07DC4B3D1AB6A Time : 0.0 sec. user=mdettweiler [2016-11-02 17:18:20] 789*2^1444743-1 is not prime. Res64: 77C9323297E49F6A Time : 0.0 sec. user=mdettweiler [2016-11-02 17:18:21] 871*2^1444743-1 is not prime. Res64: 2E5C296170A74CF7 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:23:29] 921*2^1444743-1 is not prime. Res64: 899427091E1C3F53 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:23:29] 623*2^1444744-1 is not prime. Res64: 0E44198EFAA05CFF Time : 0.0 sec. user=mdettweiler [2016-11-02 17:23:29] 629*2^1444744-1 is not prime. Res64: 06A7AD646B1C31CA Time : 0.0 sec. user=mdettweiler [2016-11-02 17:23:29] 695*2^1444744-1 is not prime. Res64: AC4B35FAAD0A9804 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:23:30] 873*2^1444744-1 is not prime. Res64: 7092EAB2769E1912 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:25:03] 909*2^1444744-1 is not prime. Res64: C4F93B45DB20634D Time : 0.0 sec. user=mdettweiler [2016-11-02 17:25:03] 697*2^1444745-1 is not prime. Res64: C25A7BE9FDCF6921 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:25:04] 795*2^1444745-1 is not prime. Res64: D532F6DDC7D051A6 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:25:04] 819*2^1444745-1 is not prime. Res64: 25DDBBC809B4A0DC Time : 0.0 sec. user=mdettweiler [2016-11-02 17:25:04] 861*2^1444745-1 is not prime. Res64: B04029CA83DA014F Time : 0.0 sec. user=mdettweiler [2016-11-02 17:37:24] 671*2^1444746-1 is not prime. Res64: 728BBBDAC434148A Time : 0.0 sec. user=mdettweiler [2016-11-02 17:37:25] 711*2^1444746-1 is not prime. Res64: 431F1567037C7F98 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:37:25] 713*2^1444746-1 is not prime. Res64: 0F7660B6F8281980 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:37:25] 741*2^1444746-1 is not prime. Res64: 63EFB78286531016 Time : 0.0 sec. user=mdettweiler [2016-11-02 17:37:26] 887*2^1444746-1 is not prime. Res64: 6424FF1AF6B430DA Time : 0.0 sec. user=mdettweiler [2016-11-02 18:03:45] 625*2^1444747-1 is not prime. Res64: F6CED2449D2ED2FC Time : 0.0 sec. user=mdettweiler [2016-11-02 18:03:47] 685*2^1444747-1 is not prime. Res64: E3FD57704420014E Time : 0.0 sec. user=mdettweiler [2016-11-02 18:03:48] 693*2^1444747-1 is not prime. Res64: D7FD0CF6F4F492B1 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:03:49] 633*2^1444748-1 is not prime. Res64: 6EDAB4CDDFCB6A53 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:03:50] 735*2^1444748-1 is not prime. Res64: 234375408DA7B486 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:09:00] 749*2^1444748-1 is not prime. Res64: 8E7DE917C9CF95C5 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:09:06] 755*2^1444748-1 is not prime. Res64: E530EF2D288E8CBC Time : 0.0 sec. user=mdettweiler [2016-11-02 18:09:08] 837*2^1444748-1 is not prime. Res64: 7107197D4EF00F99 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:09:10] 879*2^1444748-1 is not prime. Res64: 5E03AC6FC227993E Time : 0.0 sec. user=mdettweiler [2016-11-02 18:09:11] 935*2^1444748-1 is not prime. Res64: 6B1051CAC30B79B9 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:10:35] 945*2^1444748-1 is not prime. Res64: EB0DF77668B728D1 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:10:36] 969*2^1444748-1 is not prime. Res64: 15C81FDDA5A4584B Time : 0.0 sec. user=mdettweiler [2016-11-02 18:10:37] 789*2^1444749-1 is not prime. Res64: 81DE8BBBB130BF24 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:10:37] 921*2^1444749-1 is not prime. Res64: 5D1F3FC7E62405D1 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:10:37] 653*2^1444750-1 is not prime. Res64: B43367AC62B4C2D9 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:22:30] 813*2^1444750-1 is not prime. Res64: 48402A9BC842BE4D Time : 0.0 sec. user=mdettweiler [2016-11-02 18:22:30] 825*2^1444750-1 is not prime. Res64: 0850C3AA00018C47 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:22:30] 857*2^1444750-1 is not prime. Res64: E85D0511D031EDB6 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:22:30] 861*2^1444750-1 is not prime. Res64: DADD11A6260C1B5E Time : 0.0 sec. user=mdettweiler [2016-11-02 18:22:31] 863*2^1444750-1 is not prime. Res64: F38F88B0A9A2468A Time : 0.0 sec. user=mdettweiler [2016-11-02 18:48:46] 975*2^1444750-1 is not prime. Res64: D3DBB991DEFD4551 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:48:46] 603*2^1444751-1 is not prime. Res64: 9D50129FD5AAD4BF Time : 0.0 sec. user=mdettweiler [2016-11-02 18:48:46] 621*2^1444751-1 is not prime. Res64: 0D3FD1CB0745473F Time : 0.0 sec. user=mdettweiler [2016-11-02 18:48:46] 715*2^1444751-1 is not prime. Res64: 6F6A0BE3243B59AC Time : 0.0 sec. user=mdettweiler [2016-11-02 18:48:47] 669*2^1444752-1 is not prime. Res64: 32B58034BC8D57C8 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:54:19] 683*2^1444752-1 is not prime. Res64: D5349055B3ECC895 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:54:19] 765*2^1444752-1 is not prime. Res64: 8F74E6F484CDE0A7 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:54:19] 809*2^1444752-1 is not prime. Res64: 5ACC7AE99BDB2EB6 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:54:20] 887*2^1444752-1 is not prime. Res64: B913E7AD6AB32B98 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:54:20] 945*2^1444752-1 is not prime. Res64: E38EF45400BE0E8F Time : 0.0 sec. user=mdettweiler [2016-11-02 18:55:38] 983*2^1444752-1 is not prime. Res64: DE1343FA75811BEF Time : 0.0 sec. user=mdettweiler [2016-11-02 18:55:38] 625*2^1444753-1 is not prime. Res64: E76503EE72114038 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:55:39] 639*2^1444753-1 is not prime. Res64: 6B1BD2F9ED4DA80E Time : 0.0 sec. user=mdettweiler [2016-11-02 18:55:39] 649*2^1444753-1 is not prime. Res64: 3065D5701FE08977 Time : 0.0 sec. user=mdettweiler [2016-11-02 18:55:39] 699*2^1444753-1 is not prime. Res64: 8A5FC44E3090CCB0 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:07:22] 747*2^1444753-1 is not prime. Res64: 4C3AD91BE388B8E6 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:07:26] 831*2^1444753-1 is not prime. Res64: A5070943B7737247 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:07:28] 895*2^1444753-1 is not prime. Res64: 2498866716AB1C67 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:07:30] 605*2^1444754-1 is not prime. Res64: 3AD36CA5FAA923B9 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:07:33] 645*2^1444754-1 is not prime. Res64: DB6810ECA9788F48 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:34:21] 753*2^1444754-1 is not prime. Res64: 574B1A37E5051E2F Time : 0.0 sec. user=mdettweiler [2016-11-02 19:34:21] 783*2^1444754-1 is not prime. Res64: 9B3278D8A4827889 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:34:21] 815*2^1444754-1 is not prime. Res64: 1D008D302BB79464 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:34:22] 861*2^1444754-1 is not prime. Res64: 8F0B881645452C5D Time : 0.0 sec. user=mdettweiler [2016-11-02 19:34:22] 927*2^1444754-1 is not prime. Res64: 1D8632E3034E3162 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:40:08] 691*2^1444755-1 is not prime. Res64: C2D9DE59BB206A14 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:41:18] 705*2^1444756-1 is not prime. Res64: ECFF7D62E6BD1C30 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:41:18] 873*2^1444756-1 is not prime. Res64: 82EC7518EFFBC85A Time : 0.0 sec. user=mdettweiler [2016-11-02 19:41:20] 645*2^1444757-1 is not prime. Res64: A8AB7839DEC7221D Time : 0.0 sec. user=mdettweiler [2016-11-02 19:41:20] 675*2^1444757-1 is not prime. Res64: 9AF7F9FC056CAD63 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:41:20] 697*2^1444757-1 is not prime. Res64: 75CA4F0DF1D54207 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:53:33] 957*2^1444757-1 is not prime. Res64: 784EF8C6320306B5 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:53:34] 981*2^1444757-1 is not prime. Res64: C8882BFB9F1FC303 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:53:34] 651*2^1444758-1 is not prime. Res64: 3A77023CC188ACA0 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:53:34] 705*2^1444758-1 is not prime. Res64: D4E09B7BD8AF6C31 Time : 0.0 sec. user=mdettweiler [2016-11-02 19:53:34] 833*2^1444758-1 is not prime. Res64: 6BFC97F9D6A535DB Time : 0.0 sec. user=mdettweiler [2016-11-02 20:19:47] 887*2^1444758-1 is not prime. Res64: AB0533A919992A6F Time : 0.0 sec. user=mdettweiler [2016-11-02 20:19:47] 893*2^1444758-1 is not prime. Res64: 3B94D24E4335EC9D Time : 0.0 sec. user=mdettweiler [2016-11-02 20:19:48] 915*2^1444758-1 is not prime. Res64: 4E9E0F0AC2DDF22A Time : 0.0 sec. user=mdettweiler [2016-11-02 20:19:48] 1001*2^1444758-1 is not prime. Res64: 60CAD06A65A6DFF4 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:19:48] 625*2^1444759-1 is not prime. Res64: F68B289672BB1841 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:27:37] 639*2^1444759-1 is not prime. Res64: E6422E275E9845F8 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:27:37] 645*2^1444759-1 is not prime. Res64: 8D71CA5D71B503CA Time : 0.0 sec. user=mdettweiler [2016-11-02 20:27:37] 679*2^1444759-1 is not prime. Res64: 558921320BE6C82F Time : 0.0 sec. user=mdettweiler [2016-11-02 20:27:37] 735*2^1444759-1 is not prime. Res64: EED7579369E830F4 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:27:38] 759*2^1444759-1 is not prime. Res64: 3324F7D48D1FCD8D Time : 0.0 sec. user=mdettweiler [2016-11-02 20:39:42] 973*2^1444759-1 is not prime. Res64: 1C2B474EE08A63DF Time : 0.0 sec. user=mdettweiler [2016-11-02 20:39:42] 975*2^1444759-1 is not prime. Res64: 62760DCF1402C1D3 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:39:42] 713*2^1444760-1 is not prime. Res64: 60F1FA280E1C9BDE Time : 0.0 sec. user=mdettweiler [2016-11-02 20:39:42] 747*2^1444760-1 is not prime. Res64: 786B3DFE42896793 Time : 0.0 sec. user=mdettweiler [2016-11-02 20:39:43] 797*2^1444760-1 is not prime. Res64: 0CE690A3774A13B3 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:06:21] 959*2^1444760-1 is not prime. Res64: 6D105CB4FD52BFC5 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:06:22] 977*2^1444760-1 is not prime. Res64: 1D0306131E31F95D Time : 0.0 sec. user=mdettweiler [2016-11-02 21:06:24] 639*2^1444761-1 is not prime. Res64: 69FD780A53483972 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:06:27] 681*2^1444761-1 is not prime. Res64: 65EE1BE7B8F7F139 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:06:29] 691*2^1444761-1 is not prime. Res64: 4EF8BD1187569D95 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:13:22] 741*2^1444761-1 is not prime. Res64: 1D4CD7A2306D2119 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:13:22] 979*2^1444761-1 is not prime. Res64: 983BEF7D38BF02AE Time : 0.0 sec. user=mdettweiler [2016-11-02 21:13:23] 997*2^1444761-1 is not prime. Res64: 6471C465A29D3512 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:13:23] 635*2^1444762-1 is not prime. Res64: 3F502BB87E674406 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:13:23] 665*2^1444762-1 is not prime. Res64: 859F95DADA4619D7 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:26:13] 671*2^1444762-1 is not prime. Res64: 3DA974273A810BE0 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:26:13] 677*2^1444762-1 is not prime. Res64: 5F3FF6886837F403 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:26:14] 813*2^1444762-1 is not prime. Res64: 0DBABD37926AA617 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:26:14] 781*2^1444763-1 is not prime. Res64: 8348E86797F69C83 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:26:14] 879*2^1444763-1 is not prime. Res64: 4C861DAA03DFAD90 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:53:09] 693*2^1444764-1 is not prime. Res64: 09FAC0EF0C9D20B1 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:53:09] 707*2^1444764-1 is not prime. Res64: C576379C08EE6F76 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:53:09] 887*2^1444764-1 is not prime. Res64: 8DC9F41CFD01B2A9 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:53:10] 649*2^1444765-1 is not prime. Res64: 14A5D811811408A8 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:53:10] 717*2^1444765-1 is not prime. Res64: ED431368B4BF7C19 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:59:21] 799*2^1444765-1 is not prime. Res64: EFD09447D5F5B0EE Time : 0.0 sec. user=mdettweiler [2016-11-02 21:59:21] 927*2^1444765-1 is not prime. Res64: 8CAF3D744FB30161 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:59:22] 951*2^1444765-1 is not prime. Res64: 5C5C18A333CF186B Time : 0.0 sec. user=mdettweiler [2016-11-02 21:59:22] 617*2^1444766-1 is not prime. Res64: DB673CC6160D3C93 Time : 0.0 sec. user=mdettweiler [2016-11-02 21:59:22] 671*2^1444766-1 is not prime. Res64: FA5D1C4B85930A96 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:11:53] 677*2^1444766-1 is not prime. Res64: 301C089286E7538C Time : 0.0 sec. user=mdettweiler [2016-11-02 22:11:54] 843*2^1444766-1 is not prime. Res64: 7479CE7668450FCA Time : 0.0 sec. user=mdettweiler [2016-11-02 22:11:54] 917*2^1444766-1 is not prime. Res64: F38242A2BD9107C5 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:11:55] 923*2^1444766-1 is not prime. Res64: 4F948B13AFCB6DC6 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:11:55] 945*2^1444766-1 is not prime. Res64: 105B01AAF07E46FB Time : 0.0 sec. user=mdettweiler [2016-11-02 22:35:33] 895*2^1444755-1 is not prime. Res64: C49AA23B2F0ADC10 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:35:33] 969*2^1444755-1 is not prime. Res64: 5700E0C706B2547D Time : 0.0 sec. user=mdettweiler [2016-11-02 22:35:33] 603*2^1444756-1 is not prime. Res64: 40B54F9A80EE8ABE Time : 0.0 sec. user=mdettweiler [2016-11-02 22:35:34] 623*2^1444756-1 is not prime. Res64: 30C6F05DBC2D20C2 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:38:41] 993*2^1444766-1 is not prime. Res64: 759C77DEEF88D713 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:38:42] 615*2^1444767-1 is not prime. Res64: E9579456F2563805 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:38:42] 643*2^1444767-1 is not prime. Res64: 8C85FD1300EE9914 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:38:43] 739*2^1444767-1 is not prime. Res64: A92F25FB079655A5 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:38:43] 831*2^1444767-1 is not prime. Res64: 8FBDAEAD2D9A06DC Time : 0.0 sec. user=mdettweiler [2016-11-02 22:44:56] 933*2^1444767-1 is not prime. Res64: 0381CE804FC34D2E Time : 0.0 sec. user=mdettweiler [2016-11-02 22:44:57] 949*2^1444767-1 is not prime. Res64: 65841941B8BD7FBB Time : 0.0 sec. user=mdettweiler [2016-11-02 22:44:57] 963*2^1444767-1 is not prime. Res64: C06AEE174A8B4480 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:44:57] 765*2^1444768-1 is not prime. Res64: 13371EFC7027EE50 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:44:57] 947*2^1444768-1 is not prime. Res64: 78EE387A749567D6 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:57:15] 989*2^1444768-1 is not prime. Res64: B9AA6A1541F96F82 Time : 0.0 sec. user=mdettweiler [2016-11-02 22:57:16] 865*2^1444769-1 is not prime. Res64: 1DB64541782AF79D Time : 0.0 sec. user=mdettweiler [2016-11-02 22:57:16] 925*2^1444769-1 is not prime. Res64: 179EBB1DE6AD55DE Time : 0.0 sec. user=mdettweiler [2016-11-02 22:57:16] 695*2^1444770-1 is not prime. Res64: 4CA53E7F7328003A Time : 0.0 sec. user=mdettweiler [2016-11-02 22:57:16] 783*2^1444770-1 is not prime. Res64: CD79EBB3FD093370 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:20:54] 601*2^1444771-1 is not prime. Res64: 6900CC2E2AF78695 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:20:54] 609*2^1444771-1 is not prime. Res64: 7BE1C5811C0A11C9 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:20:55] 651*2^1444771-1 is not prime. Res64: 85FA69EEC4413A8E Time : 0.0 sec. user=mdettweiler [2016-11-02 23:20:55] 663*2^1444771-1 is not prime. Res64: 6AD10063540B42F4 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:20:55] 673*2^1444771-1 is not prime. Res64: FC05C77E7AEEA93F Time : 0.0 sec. user=mdettweiler [2016-11-02 23:24:10] 693*2^1444771-1 is not prime. Res64: 2500BF5DE6DAD58C Time : 0.0 sec. user=mdettweiler [2016-11-02 23:24:10] 715*2^1444771-1 is not prime. Res64: 7B97102376B749D3 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:24:10] 759*2^1444771-1 is not prime. Res64: A0E9B2E0D4F32A5D Time : 0.0 sec. user=mdettweiler [2016-11-02 23:24:10] 849*2^1444771-1 is not prime. Res64: 3941047D81639BDA Time : 0.0 sec. user=mdettweiler [2016-11-02 23:24:11] 871*2^1444771-1 is not prime. Res64: 47423306BB1EEC00 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:30:18] 687*2^1444772-1 is not prime. Res64: D0AE163B3C5CC504 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:30:19] 753*2^1444772-1 is not prime. Res64: 258E3FCEC5D9BEC3 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:30:19] 767*2^1444772-1 is not prime. Res64: 38C0E5583E48A44E Time : 0.0 sec. user=mdettweiler [2016-11-02 23:30:19] 837*2^1444772-1 is not prime. Res64: 4A841F8F199F0F89 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:30:19] 885*2^1444772-1 is not prime. Res64: 6B651AC14813844B Time : 0.0 sec. user=mdettweiler [2016-11-02 23:42:42] 923*2^1444772-1 is not prime. Res64: 9C4E381F599CF763 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:42:42] 935*2^1444772-1 is not prime. Res64: 1A965E08DF52FED5 Time : 0.0 sec. user=mdettweiler [2016-11-02 23:42:42] 959*2^1444772-1 is not prime. Res64: 5B5E631A8078E6CE Time : 0.0 sec. user=mdettweiler [2016-11-02 23:42:43] 861*2^1444773-1 is not prime. Res64: 9B5347623CE8350F Time : 0.0 sec. user=mdettweiler [2016-11-02 23:42:43] 915*2^1444773-1 is not prime. Res64: F689813521106DA5 Time : 0.0 sec.