user=mdettweiler [2016-04-28 00:23:24] 615*2^1427584-1 is not prime. Res64: 116CE969411B7BB2 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:23:25] 695*2^1427584-1 is not prime. Res64: 03E35BF31131BF50 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:23:25] 743*2^1427584-1 is not prime. Res64: BA37E8077BF74371 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:23:26] 773*2^1427584-1 is not prime. Res64: 966F97387DF9F89B Time : 0.0 sec. user=mdettweiler [2016-04-28 00:23:26] 827*2^1427584-1 is not prime. Res64: DEF857E579066871 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:24:39] 795*2^1427585-1 is not prime. Res64: 619500A48DC71A8E Time : 0.0 sec. user=mdettweiler [2016-04-28 00:24:40] 683*2^1427586-1 is not prime. Res64: 415C86023DDE4F32 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:24:40] 713*2^1427586-1 is not prime. Res64: 7E99E1479EDD6F6D Time : 0.0 sec. user=mdettweiler [2016-04-28 00:24:41] 725*2^1427586-1 is not prime. Res64: 4209F99F030F6C62 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:24:41] 783*2^1427586-1 is not prime. Res64: 1BAE08219D43DDB6 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:36:11] 917*2^1427586-1 is not prime. Res64: 9931C22FC80BC6CE Time : 0.0 sec. user=mdettweiler [2016-04-28 00:36:11] 947*2^1427586-1 is not prime. Res64: 6F3EFE1617E0F908 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:36:11] 963*2^1427586-1 is not prime. Res64: 680A5C6C7DDAFC7B Time : 0.0 sec. user=mdettweiler [2016-04-28 00:36:12] 983*2^1427586-1 is not prime. Res64: 8BC0AC385584A50B Time : 0.0 sec. user=mdettweiler [2016-04-28 00:36:12] 625*2^1427587-1 is not prime. Res64: 6E3612DF041CED3C Time : 0.0 sec. user=mdettweiler [2016-04-28 00:42:02] 673*2^1427587-1 is not prime. Res64: 3BFC3445035987C3 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:42:02] 733*2^1427587-1 is not prime. Res64: 1BCC2FA88FCCAF8F Time : 0.0 sec. user=mdettweiler [2016-04-28 00:42:03] 769*2^1427587-1 is not prime. Res64: 0FCF60933B406B14 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:42:03] 885*2^1427587-1 is not prime. Res64: F4E5412439D44113 Time : 0.0 sec. user=mdettweiler [2016-04-28 00:42:03] 935*2^1427588-1 is not prime. Res64: C192E6C188056B34 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:08:41] 655*2^1427589-1 is not prime. Res64: 3C38C287AE957108 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:08:42] 657*2^1427589-1 is not prime. Res64: 5403210F25C8DA43 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:08:42] 745*2^1427589-1 is not prime. Res64: 8AD34B416E6414A9 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:08:43] 747*2^1427589-1 is not prime. Res64: 2642A35A205F17F8 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:08:43] 787*2^1427589-1 is not prime. Res64: FD90E7E18FC5F49F Time : 0.0 sec. user=mdettweiler [2016-04-28 01:09:54] 789*2^1427589-1 is not prime. Res64: 06C49250B3CE2F7C Time : 0.0 sec. user=mdettweiler [2016-04-28 01:09:54] 795*2^1427589-1 is not prime. Res64: B38B82F3D9B09685 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:09:55] 717*2^1427590-1 is not prime. Res64: 32636DEE3774CD92 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:09:55] 783*2^1427590-1 is not prime. Res64: C2094CE1FD0DA592 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:09:56] 831*2^1427590-1 is not prime. Res64: BEB8C754A03DCAE6 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:21:14] 995*2^1427590-1 is not prime. Res64: 060CA91EAA40C421 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:21:14] 609*2^1427591-1 is not prime. Res64: 0243B56D581EDFCE Time : 0.0 sec. user=mdettweiler [2016-04-28 01:21:15] 615*2^1427591-1 is not prime. Res64: FD47756AB802F542 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:21:15] 811*2^1427591-1 is not prime. Res64: FAB1AE346B47EA6A Time : 0.0 sec. user=mdettweiler [2016-04-28 01:21:16] 813*2^1427591-1 is not prime. Res64: 1BD3198EDD466B3D Time : 0.0 sec. user=mdettweiler [2016-04-28 01:27:06] 819*2^1427591-1 is not prime. Res64: B23E1EF1C09E3906 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:27:07] 895*2^1427591-1 is not prime. Res64: 2391EB4B060E3CA7 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:27:08] 665*2^1427592-1 is not prime. Res64: 7FBDF6F16F5BEE23 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:27:09] 759*2^1427592-1 is not prime. Res64: 86D14F225FB88B2B Time : 0.0 sec. user=mdettweiler [2016-04-28 01:27:10] 699*2^1427593-1 is not prime. Res64: F4FBF7E82E281FCC Time : 0.0 sec. user=mdettweiler [2016-04-28 01:53:43] 771*2^1427593-1 is not prime. Res64: 519784B00A5294D0 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:53:44] 847*2^1427593-1 is not prime. Res64: 01A1946B617CFAF3 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:53:44] 985*2^1427593-1 is not prime. Res64: C27BBAE7E9428749 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:53:45] 627*2^1427594-1 is not prime. Res64: 4A58762F92CD8FCB Time : 0.0 sec. user=mdettweiler [2016-04-28 01:53:45] 705*2^1427594-1 is not prime. Res64: 57CBC5E9472B285A Time : 0.0 sec. user=mdettweiler [2016-04-28 01:54:53] 885*2^1427594-1 is not prime. Res64: E52BBC713DEB0965 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:54:54] 709*2^1427595-1 is not prime. Res64: 2B99070FDFDDE058 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:54:54] 723*2^1427595-1 is not prime. Res64: 9D2B0805118AA300 Time : 0.0 sec. user=mdettweiler [2016-04-28 01:54:55] 793*2^1427595-1 is not prime. Res64: 311519BEBA653EDF Time : 0.0 sec. user=mdettweiler [2016-04-28 01:54:55] 909*2^1427595-1 is not prime. Res64: 5E4BFFB870F128D6 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:06:39] 961*2^1427595-1 is not prime. Res64: ED52902389A89BE6 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:06:40] 969*2^1427595-1 is not prime. Res64: 3929AD0B4E5125C9 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:06:40] 603*2^1427596-1 is not prime. Res64: 2F7CAA1EF169C1CE Time : 0.0 sec. user=mdettweiler [2016-04-28 02:06:41] 657*2^1427596-1 is not prime. Res64: E6D745472005CA08 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:06:41] 749*2^1427596-1 is not prime. Res64: 25377FE77B0F2749 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:12:31] 857*2^1427596-1 is not prime. Res64: C79DDB0350250EFC Time : 0.0 sec. user=mdettweiler [2016-04-28 02:12:31] 923*2^1427596-1 is not prime. Res64: 6AB085225F9BB4B0 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:12:32] 601*2^1427597-1 is not prime. Res64: 3B085D02AF06725E Time : 0.0 sec. user=mdettweiler [2016-04-28 02:12:32] 741*2^1427597-1 is not prime. Res64: 76AFBCF9F3A95F79 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:12:33] 757*2^1427597-1 is not prime. Res64: 9EB677421FD733EC Time : 0.0 sec. user=mdettweiler [2016-04-28 02:38:56] 939*2^1427597-1 is not prime. Res64: D8A273BF787D1A81 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:38:56] 945*2^1427597-1 is not prime. Res64: AB7C77ECD8206A04 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:38:57] 991*2^1427597-1 is not prime. Res64: BD2A56760C47F568 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:38:57] 695*2^1427598-1 is not prime. Res64: 0D0CFA47A753E9D0 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:38:58] 713*2^1427598-1 is not prime. Res64: C94A453E5C08C21A Time : 0.0 sec. user=mdettweiler [2016-04-28 02:40:03] 843*2^1427598-1 is not prime. Res64: 5B811313E632D985 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:40:03] 885*2^1427598-1 is not prime. Res64: F8224A23208B874D Time : 0.0 sec. user=mdettweiler [2016-04-28 02:40:04] 891*2^1427598-1 is not prime. Res64: FCB4971225469443 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:40:04] 921*2^1427598-1 is not prime. Res64: 0C93AF9266603BD2 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:40:05] 645*2^1427599-1 is not prime. Res64: 16B0D6E53B5F55E6 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:51:57] 663*2^1427599-1 is not prime. Res64: 56044FF98F5E179D Time : 0.0 sec. user=mdettweiler [2016-04-28 02:51:57] 679*2^1427599-1 is not prime. Res64: 3A7F09DABAB53B1A Time : 0.0 sec. user=mdettweiler [2016-04-28 02:51:57] 693*2^1427599-1 is not prime. Res64: E2EBAA6A5617A636 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:51:58] 729*2^1427599-1 is not prime. Res64: A620A40AC3E5BBA2 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:51:58] 763*2^1427599-1 is not prime. Res64: 9505572204EFF994 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:57:25] 793*2^1427599-1 is not prime. Res64: 3CE92068C5B1BA45 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:57:26] 939*2^1427599-1 is not prime. Res64: 8769E845C52D614E Time : 0.0 sec. user=mdettweiler [2016-04-28 02:57:27] 659*2^1427600-1 is not prime. Res64: E6F57A336A6C22A3 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:57:28] 759*2^1427600-1 is not prime. Res64: 61906EA53C068423 Time : 0.0 sec. user=mdettweiler [2016-04-28 02:57:29] 767*2^1427600-1 is not prime. Res64: F4388904C834AE4F Time : 0.0 sec. user=mdettweiler [2016-04-28 03:24:05] 795*2^1427600-1 is not prime. Res64: 7A6CB116765DAD83 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:24:05] 843*2^1427600-1 is not prime. Res64: 224E5E952A1F638C Time : 0.0 sec. user=mdettweiler [2016-04-28 03:24:06] 857*2^1427600-1 is not prime. Res64: D6B093C93C612CBF Time : 0.0 sec. user=mdettweiler [2016-04-28 03:24:06] 875*2^1427600-1 is not prime. Res64: CAA318641AB4650E Time : 0.0 sec. user=mdettweiler [2016-04-28 03:24:06] 893*2^1427600-1 is not prime. Res64: 100F8AA261650221 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:25:13] 705*2^1427601-1 is not prime. Res64: 127106C9A0CC6FD2 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:25:14] 735*2^1427601-1 is not prime. Res64: BDD8FAB36689062E Time : 0.0 sec. user=mdettweiler [2016-04-28 03:25:15] 745*2^1427601-1 is not prime. Res64: C6656328FD7ABEEB Time : 0.0 sec. user=mdettweiler [2016-04-28 03:25:16] 805*2^1427601-1 is not prime. Res64: 26595C5FE245E445 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:25:17] 865*2^1427601-1 is not prime. Res64: 54843848DC674F51 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:37:20] 885*2^1427601-1 is not prime. Res64: E9003DE44C8FE28F Time : 0.0 sec. user=mdettweiler [2016-04-28 03:37:22] 937*2^1427601-1 is not prime. Res64: B67A4B4386F80208 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:37:23] 617*2^1427602-1 is not prime. Res64: 18CE167E26EF54AB Time : 0.0 sec. user=mdettweiler [2016-04-28 03:37:24] 681*2^1427602-1 is not prime. Res64: 491A9A8EEEC65E96 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:37:25] 695*2^1427602-1 is not prime. Res64: 29A48AE76D4A6AA9 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:42:46] 701*2^1427602-1 is not prime. Res64: 589C133F73DC55A2 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:42:48] 705*2^1427602-1 is not prime. Res64: 23EAAB7840F352B2 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:42:50] 801*2^1427602-1 is not prime. Res64: CF59BC9989216B78 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:42:52] 803*2^1427602-1 is not prime. Res64: C1839AAA3BDC1A71 Time : 0.0 sec. user=mdettweiler [2016-04-28 03:42:53] 827*2^1427602-1 is not prime. Res64: 5DCFAC4EDD274D76 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:10:11] 885*2^1427602-1 is not prime. Res64: 3ECA1D11E26F6AB5 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:10:11] 619*2^1427603-1 is not prime. Res64: 96D28F4D393125B8 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:10:12] 669*2^1427603-1 is not prime. Res64: 66812BC5DCC3B3A8 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:10:12] 993*2^1427603-1 is not prime. Res64: 6D5EF641D9D27DDB Time : 0.0 sec. user=mdettweiler [2016-04-28 04:10:13] 639*2^1427604-1 is not prime. Res64: 034DDEAA113708E3 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:11:11] 663*2^1427604-1 is not prime. Res64: B714F9DF3A0953A9 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:11:12] 723*2^1427604-1 is not prime. Res64: 0D8C5B10BA543CD3 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:11:12] 783*2^1427604-1 is not prime. Res64: F7E53A4BE79CA957 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:11:12] 825*2^1427604-1 is not prime. Res64: 0869D521D11BC0E8 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:11:13] 837*2^1427604-1 is not prime. Res64: F42FD0A6FC76B8A9 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:23:53] 959*2^1427604-1 is not prime. Res64: 9E0AF12405635C7B Time : 0.0 sec. user=mdettweiler [2016-04-28 04:23:53] 993*2^1427604-1 is not prime. Res64: 09E135C89C881791 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:23:53] 607*2^1427605-1 is not prime. Res64: D968BBD23B7EDF22 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:23:54] 625*2^1427605-1 is not prime. Res64: EDAEB21AE5489166 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:23:54] 717*2^1427605-1 is not prime. Res64: ACDBE705F643A15B Time : 0.0 sec. user=mdettweiler [2016-04-28 04:28:55] 721*2^1427605-1 is not prime. Res64: EEB485B6EADB01B3 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:28:56] 771*2^1427605-1 is not prime. Res64: 989A87B43A47530F Time : 0.0 sec. user=mdettweiler [2016-04-28 04:28:56] 939*2^1427605-1 is not prime. Res64: 7DDC6DBC50774A2E Time : 0.0 sec. user=mdettweiler [2016-04-28 04:28:57] 615*2^1427606-1 is not prime. Res64: E6CF40862B0CA620 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:28:58] 683*2^1427606-1 is not prime. Res64: 910CE063BC909889 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:55:17] 857*2^1427606-1 is not prime. Res64: 38899A822A54F014 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:55:17] 897*2^1427606-1 is not prime. Res64: 71054D84D174E23B Time : 0.0 sec. user=mdettweiler [2016-04-28 04:55:18] 935*2^1427606-1 is not prime. Res64: BC65D217A856A246 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:55:18] 633*2^1427607-1 is not prime. Res64: 3D6EE360C3A18DE3 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:55:18] 795*2^1427607-1 is not prime. Res64: 9F50FAF11D2F6A95 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:56:24] 871*2^1427607-1 is not prime. Res64: 6E68380965AB2AC2 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:56:25] 879*2^1427607-1 is not prime. Res64: 2FDA87E792D8BF40 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:56:25] 951*2^1427607-1 is not prime. Res64: 43377431CC3C1A53 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:56:25] 985*2^1427607-1 is not prime. Res64: 91F6F56B58AAD664 Time : 0.0 sec. user=mdettweiler [2016-04-28 04:56:26] 707*2^1427608-1 is not prime. Res64: 94BDCD4041B2B7A7 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:09:16] 777*2^1427608-1 is not prime. Res64: 4FDBE17B18ACD058 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:09:18] 797*2^1427608-1 is not prime. Res64: 3061B6D668A4902B Time : 0.0 sec. user=mdettweiler [2016-04-28 05:09:20] 875*2^1427608-1 is not prime. Res64: B82C1E93B0AE1D6A Time : 0.0 sec. user=mdettweiler [2016-04-28 05:09:22] 995*2^1427608-1 is not prime. Res64: D9BC1D3E07A13A2F Time : 0.0 sec. user=mdettweiler [2016-04-28 05:09:24] 685*2^1427609-1 is not prime. Res64: B3F8A4EEF2DE0132 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:14:10] 759*2^1427609-1 is not prime. Res64: 189871485ED249EC Time : 0.0 sec. user=mdettweiler [2016-04-28 05:14:11] 819*2^1427609-1 is not prime. Res64: CE077A512DF335A0 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:14:11] 677*2^1427610-1 is not prime. Res64: 75B892732CFCA73C Time : 0.0 sec. user=mdettweiler [2016-04-28 05:14:11] 681*2^1427610-1 is not prime. Res64: F022DD03C7463AE6 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:14:12] 741*2^1427610-1 is not prime. Res64: F9977E93501600F1 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:40:26] 765*2^1427610-1 is not prime. Res64: 64485F5DE8E1BB5A Time : 0.0 sec. user=mdettweiler [2016-04-28 05:40:26] 797*2^1427610-1 is not prime. Res64: 105C69E1AD105F51 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:40:27] 801*2^1427610-1 is not prime. Res64: 0D003437A090F273 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:40:27] 825*2^1427610-1 is not prime. Res64: 7EDA31D154AE552F Time : 0.0 sec. user=mdettweiler [2016-04-28 05:40:27] 851*2^1427610-1 is not prime. Res64: 3D1CBFADE904DA1F Time : 0.0 sec. user=mdettweiler [2016-04-28 05:41:37] 923*2^1427610-1 is not prime. Res64: DD4EC6DCA26A4CCD Time : 0.0 sec. user=mdettweiler [2016-04-28 05:41:37] 619*2^1427611-1 is not prime. Res64: 3EA9B09F6A77E6F6 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:41:38] 741*2^1427611-1 is not prime. Res64: 3030307EDBBAA9A2 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:41:38] 771*2^1427611-1 is not prime. Res64: D1AC4E68F8CA5019 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:41:39] 789*2^1427611-1 is not prime. Res64: A9210ED1AEB94614 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:54:49] 813*2^1427611-1 is not prime. Res64: B372BB21FC4D14DE Time : 0.0 sec. user=mdettweiler [2016-04-28 05:54:49] 615*2^1427612-1 is not prime. Res64: F926BDA68047327B Time : 0.0 sec. user=mdettweiler [2016-04-28 05:54:49] 749*2^1427612-1 is not prime. Res64: B1EAC4EB582BD6F5 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:54:50] 879*2^1427612-1 is not prime. Res64: BC1DA515ADAF9774 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:54:50] 607*2^1427613-1 is not prime. Res64: 2F6386E2CE75B7AD Time : 0.0 sec. user=mdettweiler [2016-04-28 05:59:25] 609*2^1427613-1 is not prime. Res64: 383E302B09059D94 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:59:26] 795*2^1427613-1 is not prime. Res64: 2E46513381FD1BDC Time : 0.0 sec. user=mdettweiler [2016-04-28 05:59:26] 819*2^1427613-1 is not prime. Res64: D82E1C4C23639D08 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:59:26] 657*2^1427614-1 is not prime. Res64: 2B6F2767A1B27286 Time : 0.0 sec. user=mdettweiler [2016-04-28 05:59:27] 681*2^1427614-1 is not prime. Res64: 18BD7750177144B4 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:25:38] 785*2^1427614-1 is not prime. Res64: 6D6FD4127B8161EA Time : 0.0 sec. user=mdettweiler [2016-04-28 06:25:38] 965*2^1427614-1 is not prime. Res64: B4800D69A3404654 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:25:39] 975*2^1427614-1 is not prime. Res64: 1A138801193C6FD0 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:25:40] 661*2^1427615-1 is not prime. Res64: BDDC6B5115631167 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:25:40] 669*2^1427615-1 is not prime. Res64: 5D62B610562D8B56 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:26:38] 735*2^1427615-1 is not prime. Res64: 3CA2C49790A5395A Time : 0.0 sec. user=mdettweiler [2016-04-28 06:26:38] 759*2^1427615-1 is not prime. Res64: 32D89287950C5E86 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:26:39] 883*2^1427615-1 is not prime. Res64: 8120BB7E21B59054 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:26:39] 973*2^1427615-1 is not prime. Res64: BA1C327D8780D257 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:26:39] 639*2^1427616-1 is not prime. Res64: A1B649D4204BB1A9 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:40:01] 725*2^1427616-1 is not prime. Res64: 669A75D99B2AA431 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:40:01] 737*2^1427616-1 is not prime. Res64: 9E43A714A458ECBB Time : 0.0 sec. user=mdettweiler [2016-04-28 06:40:01] 945*2^1427616-1 is not prime. Res64: FFB659D8EC10B256 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:40:02] 993*2^1427616-1 is not prime. Res64: 8BC8EA61E495B5B2 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:40:02] 639*2^1427617-1 is not prime. Res64: 609895A2EC2D85D6 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:44:31] 645*2^1427617-1 is not prime. Res64: 9B8DE57B0662D0C2 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:44:32] 717*2^1427617-1 is not prime. Res64: A9C82DCF45ABFA1D Time : 0.0 sec. user=mdettweiler [2016-04-28 06:44:32] 775*2^1427617-1 is not prime. Res64: D41AF7C5B06506A5 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:44:32] 777*2^1427617-1 is not prime. Res64: C119F9B7CD028230 Time : 0.0 sec. user=mdettweiler [2016-04-28 06:44:33] 861*2^1427617-1 is not prime. Res64: FE2D492133081506 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:00] 897*2^1427617-1 is not prime. Res64: FF196B051FF4198B Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:01] 605*2^1427618-1 is not prime. Res64: 6B657A006BF9C35A Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:01] 617*2^1427618-1 is not prime. Res64: 054A2FD34CA7D5F8 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:01] 641*2^1427618-1 is not prime. Res64: 0CE279207602A9DF Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:02] 743*2^1427618-1 is not prime. Res64: 46B2DBCFCCAEF819 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:46] 773*2^1427618-1 is not prime. Res64: 405D1B630EEBFDF7 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:46] 971*2^1427618-1 is not prime. Res64: F1D0669BBC15B431 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:46] 995*2^1427618-1 is not prime. Res64: 574A0C9FFD44F3B6 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:47] 685*2^1427619-1 is not prime. Res64: E7D1C0CD36EF9195 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:11:47] 647*2^1427620-1 is not prime. Res64: 734D365EAFA1C004 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:25:19] 765*2^1427620-1 is not prime. Res64: B2E657E1AC7393B5 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:25:19] 855*2^1427620-1 is not prime. Res64: 66E99258A8F4FD09 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:25:20] 863*2^1427620-1 is not prime. Res64: 67EC2B58B049896C Time : 0.0 sec. user=mdettweiler [2016-04-28 07:25:20] 909*2^1427620-1 is not prime. Res64: 33FC817B74C618AD Time : 0.0 sec. user=mdettweiler [2016-04-28 07:25:20] 965*2^1427620-1 is not prime. Res64: 766E6DA0E34138CB Time : 0.0 sec. user=mdettweiler [2016-04-28 07:29:58] 615*2^1427621-1 is not prime. Res64: 39671AC303749654 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:29:58] 679*2^1427621-1 is not prime. Res64: E844BFE446EE6206 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:29:59] 741*2^1427621-1 is not prime. Res64: B161D6D08F073E87 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:29:59] 745*2^1427621-1 is not prime. Res64: 0F9C41A14C80662D Time : 0.0 sec. user=mdettweiler [2016-04-28 07:30:00] 867*2^1427621-1 is not prime. Res64: E5DBEFAA9BBA2D1C Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:15] 939*2^1427621-1 is not prime. Res64: C6CFC3156E800383 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:15] 683*2^1427622-1 is not prime. Res64: 1956D225BE8F6265 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:16] 693*2^1427622-1 is not prime. Res64: DF2CE89E9EC8B2A7 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:16] 711*2^1427622-1 is not prime. Res64: 568CCEED427D233F Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:16] 725*2^1427622-1 is not prime. Res64: 910EFA8CB57CEA37 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:49] 791*2^1427622-1 is not prime. Res64: 933A6BEB3AA565ED Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:50] 801*2^1427622-1 is not prime. Res64: EE07E8D720EB4265 Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:50] 875*2^1427622-1 is not prime. Res64: 4AE1967E7DA4F61B Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:50] 891*2^1427622-1 is not prime. Res64: F19F00014B975B7D Time : 0.0 sec. user=mdettweiler [2016-04-28 07:56:51] 921*2^1427622-1 is not prime. Res64: F2DD8A2E9168A361 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:10:21] 977*2^1427622-1 is not prime. Res64: 3EAA8639BBA65BEF Time : 0.0 sec. user=mdettweiler [2016-04-28 08:10:22] 603*2^1427623-1 is not prime. Res64: D0368B27D2C1D61B Time : 0.0 sec. user=mdettweiler [2016-04-28 08:10:22] 741*2^1427623-1 is not prime. Res64: 42BB0B94988BE85D Time : 0.0 sec. user=mdettweiler [2016-04-28 08:10:23] 933*2^1427623-1 is not prime. Res64: 6FDC98F96F92591E Time : 0.0 sec. user=mdettweiler [2016-04-28 08:10:24] 837*2^1427624-1 is not prime. Res64: F46D976DA84C73BB Time : 0.0 sec. user=mdettweiler [2016-04-28 08:14:59] 873*2^1427624-1 is not prime. Res64: DD60A44FF22FA2C0 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:15:00] 903*2^1427624-1 is not prime. Res64: B319421CE2F4C922 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:15:00] 915*2^1427624-1 is not prime. Res64: E1655539F43A1694 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:15:01] 995*2^1427624-1 is not prime. Res64: D1EB4F053E9CA401 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:15:01] 625*2^1427625-1 is not prime. Res64: EBD6A811DA7ED507 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:29] 675*2^1427625-1 is not prime. Res64: 95B92788C7CED413 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:29] 735*2^1427625-1 is not prime. Res64: 4FFF40C48C012DC0 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:30] 811*2^1427625-1 is not prime. Res64: BB221F8B299AC7F5 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:30] 819*2^1427625-1 is not prime. Res64: AE653B7863968ADD Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:30] 847*2^1427625-1 is not prime. Res64: AEB7D50EFDF2A4C2 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:49] 915*2^1427625-1 is not prime. Res64: EBABCCAE9AE400E0 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:49] 603*2^1427626-1 is not prime. Res64: 328C6D3018A6DC53 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:50] 633*2^1427626-1 is not prime. Res64: 5924320850A96F2D Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:50] 671*2^1427626-1 is not prime. Res64: 91299C85D55A4508 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:41:50] 773*2^1427626-1 is not prime. Res64: 58C8DF12A51CF4FB Time : 0.0 sec. user=mdettweiler [2016-04-28 08:55:35] 615*2^1427627-1 is not prime. Res64: 5DBB9E97B54A1C23 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:55:35] 619*2^1427627-1 is not prime. Res64: 9F201D993B1CF549 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:55:36] 643*2^1427627-1 is not prime. Res64: D38805AE40CA071C Time : 0.0 sec. user=mdettweiler [2016-04-28 08:55:36] 663*2^1427627-1 is not prime. Res64: 726CB200CB1AA508 Time : 0.0 sec. user=mdettweiler [2016-04-28 08:55:37] 685*2^1427627-1 is not prime. Res64: 3A3D04DC28D8E2FA Time : 0.0 sec. user=mdettweiler [2016-04-28 09:00:07] 825*2^1427627-1 is not prime. Res64: C4424612E30991A2 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:00:07] 841*2^1427627-1 is not prime. Res64: A9A16D1C89978AA9 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:00:08] 843*2^1427627-1 is not prime. Res64: CCADC31C98D8AFF8 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:00:08] 895*2^1427627-1 is not prime. Res64: FB3D371097D4DC74 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:00:08] 909*2^1427627-1 is not prime. Res64: 632838CD73A7E945 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:38] 647*2^1427628-1 is not prime. Res64: AAF58B69BACA1800 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:39] 665*2^1427628-1 is not prime. Res64: F2284102E80EAFD2 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:39] 797*2^1427628-1 is not prime. Res64: 786B749F8238DBC6 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:40] 909*2^1427628-1 is not prime. Res64: 65FD59A2FE5F88F0 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:40] 999*2^1427628-1 is not prime. Res64: 138002CCA759A84D Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:50] 615*2^1427629-1 is not prime. Res64: 9C94859E2FD7B044 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:50] 751*2^1427629-1 is not prime. Res64: DFD9B889C53F2FFB Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:51] 817*2^1427629-1 is not prime. Res64: 0ADC7BEBB21EF698 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:51] 895*2^1427629-1 is not prime. Res64: 2DA31B980FF56A6E Time : 0.0 sec. user=mdettweiler [2016-04-28 09:26:52] 931*2^1427629-1 is not prime. Res64: 179F4C64F2CE78AD Time : 0.0 sec. user=mdettweiler [2016-04-28 09:40:47] 985*2^1427629-1 is not prime. Res64: DC6FDE128F7A1220 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:40:47] 997*2^1427629-1 is not prime. Res64: 237DECD526A809FD Time : 0.0 sec. user=mdettweiler [2016-04-28 09:40:48] 767*2^1427630-1 is not prime. Res64: A8802A1355B5CB8C Time : 0.0 sec. user=mdettweiler [2016-04-28 09:40:48] 867*2^1427630-1 is not prime. Res64: 9732416DCC457513 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:40:48] 911*2^1427630-1 is not prime. Res64: 525078FE1523BF0C Time : 0.0 sec. user=mdettweiler [2016-04-28 09:45:39] 649*2^1427631-1 is not prime. Res64: 1CBC6BBF4A6562FE Time : 0.0 sec. user=mdettweiler [2016-04-28 09:45:39] 739*2^1427631-1 is not prime. Res64: 68EDA34F235C33E0 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:45:40] 859*2^1427631-1 is not prime. Res64: 8EB9F52401C5834C Time : 0.0 sec. user=mdettweiler [2016-04-28 09:45:40] 861*2^1427631-1 is not prime. Res64: 0530C29895C34225 Time : 0.0 sec. user=mdettweiler [2016-04-28 09:45:40] 865*2^1427631-1 is not prime. Res64: 77C75A4644022994 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:55] 689*2^1427632-1 is not prime. Res64: 12B3D2AB32C61062 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:55] 713*2^1427632-1 is not prime. Res64: DFDE3BE7C3016819 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:56] 719*2^1427632-1 is not prime. Res64: 23F369BE7C40266D Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:56] 879*2^1427631-1 is not prime. Res64: A1B0B41C76C46995 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:56] 735*2^1427632-1 is not prime. Res64: 3806A4B70AD7D806 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:56] 891*2^1427631-1 is not prime. Res64: 25094464185C9F63 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:56] 777*2^1427632-1 is not prime. Res64: 9975E952E9E7FC50 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:57] 615*2^1427632-1 is not prime. Res64: 14686DA00CB98492 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:57] 635*2^1427632-1 is not prime. Res64: 4413B529E0102D44 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:11:58] 645*2^1427632-1 is not prime. Res64: 3F4231B8557170C1 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:26:08] 929*2^1427632-1 is not prime. Res64: 09F8DB1DBD4CBC9A Time : 0.0 sec. user=mdettweiler [2016-04-28 10:26:09] 939*2^1427632-1 is not prime. Res64: B4579B918C55B729 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:26:09] 947*2^1427632-1 is not prime. Res64: 32A76058E99BEDB6 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:26:10] 631*2^1427633-1 is not prime. Res64: 03A84E490013F8DD Time : 0.0 sec. user=mdettweiler [2016-04-28 10:26:10] 637*2^1427633-1 is not prime. Res64: BCE86BA142DA9A31 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:31:03] 657*2^1427633-1 is not prime. Res64: BC31744E60C53DDD Time : 0.0 sec. user=mdettweiler [2016-04-28 10:31:04] 801*2^1427633-1 is not prime. Res64: 9E29C51CCCE735E9 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:31:05] 949*2^1427633-1 is not prime. Res64: B1A5EAFDCB0ABDE6 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:31:06] 987*2^1427633-1 is not prime. Res64: 3A797EA43984C6EB Time : 0.0 sec. user=mdettweiler [2016-04-28 10:31:06] 711*2^1427634-1 is not prime. Res64: 133BCD791C9832D4 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:56:52] 639*2^1427635-1 is not prime. Res64: 9AF8E3E757F397C5 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:56:52] 705*2^1427635-1 is not prime. Res64: 565958720F0AC06A Time : 0.0 sec. user=mdettweiler [2016-04-28 10:56:52] 709*2^1427635-1 is not prime. Res64: 6C4EEC816E0C201F Time : 0.0 sec. user=mdettweiler [2016-04-28 10:56:53] 765*2^1427635-1 is not prime. Res64: 73645AFD1E6F94DC Time : 0.0 sec. user=mdettweiler [2016-04-28 10:56:53] 853*2^1427635-1 is not prime. Res64: 153D47206C2662BA Time : 0.0 sec. user=mdettweiler [2016-04-28 10:57:03] 725*2^1427634-1 is not prime. Res64: 033F68062F9084DF Time : 0.0 sec. user=mdettweiler [2016-04-28 10:57:04] 773*2^1427634-1 is not prime. Res64: D37FFAF4AA9BEF25 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:57:04] 885*2^1427634-1 is not prime. Res64: 172F60956FDBFBF8 Time : 0.0 sec. user=mdettweiler [2016-04-28 10:57:05] 891*2^1427634-1 is not prime. Res64: 39B10009FEFA1A2E Time : 0.0 sec. user=mdettweiler [2016-04-28 10:57:05] 957*2^1427634-1 is not prime. Res64: 7342C266D5C572B1 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:11:04] 885*2^1427635-1 is not prime. Res64: A8CF60BBBAE5DED8 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:11:05] 961*2^1427635-1 is not prime. Res64: 68ED07729C8FD328 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:11:05] 615*2^1427636-1 is not prime. Res64: AA40335F797433FF Time : 0.0 sec. user=mdettweiler [2016-04-28 11:11:06] 623*2^1427636-1 is not prime. Res64: 2A25DF4259D8D584 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:11:07] 773*2^1427636-1 is not prime. Res64: 6934E573B02CC76F Time : 0.0 sec. user=mdettweiler [2016-04-28 11:16:12] 825*2^1427636-1 is not prime. Res64: 5111B946D8FAB2E3 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:16:12] 903*2^1427636-1 is not prime. Res64: DB044F6D48D721B2 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:16:12] 945*2^1427636-1 is not prime. Res64: A2A3CB5E5CFD16DC Time : 0.0 sec. user=mdettweiler [2016-04-28 11:16:13] 953*2^1427636-1 is not prime. Res64: F131105C142F85F5 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:16:13] 609*2^1427637-1 is not prime. Res64: 9AFF0F0A7F9D5A50 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:41:52] 621*2^1427637-1 is not prime. Res64: 189BE9D278E831B1 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:41:53] 759*2^1427637-1 is not prime. Res64: 8D372DC1DA58EE72 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:41:53] 605*2^1427638-1 is not prime. Res64: BB436CA2657816BB Time : 0.0 sec. user=mdettweiler [2016-04-28 11:41:53] 663*2^1427638-1 is not prime. Res64: BC24548A2582B552 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:41:54] 687*2^1427638-1 is not prime. Res64: 9A1AD44092B57597 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:42:04] 705*2^1427638-1 is not prime. Res64: A036172E5FDDB681 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:42:04] 827*2^1427638-1 is not prime. Res64: 71167333832F5A27 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:42:04] 603*2^1427639-1 is not prime. Res64: AEAB0290BDC97844 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:42:05] 669*2^1427639-1 is not prime. Res64: E58910AF9CEB8549 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:42:05] 771*2^1427639-1 is not prime. Res64: 9291929F601B0D43 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:56:22] 799*2^1427639-1 is not prime. Res64: CC2C60A7C3AD7DCE Time : 0.0 sec. user=mdettweiler [2016-04-28 11:56:23] 855*2^1427639-1 is not prime. Res64: AB55248508A494C3 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:56:23] 861*2^1427639-1 is not prime. Res64: B121323D69E662CD Time : 0.0 sec. user=mdettweiler [2016-04-28 11:56:23] 909*2^1427639-1 is not prime. Res64: B4EC02E49B560624 Time : 0.0 sec. user=mdettweiler [2016-04-28 11:56:24] 993*2^1427639-1 is not prime. Res64: D2CB67325EA48B3E Time : 0.0 sec. user=mdettweiler [2016-04-28 12:01:10] 849*2^1427640-1 is not prime. Res64: 2845953A9CFD1395 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:01:12] 887*2^1427640-1 is not prime. Res64: 2A8C0930B941EC9A Time : 0.0 sec. user=mdettweiler [2016-04-28 12:01:12] 705*2^1427641-1 is not prime. Res64: 555753B3A23DB7C5 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:01:13] 717*2^1427641-1 is not prime. Res64: C41245CF93A1ECC3 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:01:14] 771*2^1427641-1 is not prime. Res64: 91CD6B7A3BB76D3F Time : 0.0 sec. user=mdettweiler [2016-04-28 12:26:57] 895*2^1427641-1 is not prime. Res64: 739B3C5F3877B23D Time : 0.0 sec. user=mdettweiler [2016-04-28 12:26:57] 937*2^1427641-1 is not prime. Res64: 066B2355AF8A0124 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:26:58] 627*2^1427642-1 is not prime. Res64: 91D3395E3478BB52 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:26:58] 635*2^1427642-1 is not prime. Res64: EE7DECA09335E1EB Time : 0.0 sec. user=mdettweiler [2016-04-28 12:26:59] 651*2^1427642-1 is not prime. Res64: 800733557E5895A3 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:27:10] 675*2^1427642-1 is not prime. Res64: DCBD47CB665BED7C Time : 0.0 sec. user=mdettweiler [2016-04-28 12:27:11] 713*2^1427642-1 is not prime. Res64: F17C9B2C66663E4F Time : 0.0 sec. user=mdettweiler [2016-04-28 12:27:11] 741*2^1427642-1 is not prime. Res64: BF9828F3AB26625B Time : 0.0 sec. user=mdettweiler [2016-04-28 12:27:12] 771*2^1427642-1 is not prime. Res64: 11E8D4D0DDFB654D Time : 0.0 sec. user=mdettweiler [2016-04-28 12:27:12] 873*2^1427642-1 is not prime. Res64: 030A566FA1906C5C Time : 0.0 sec. user=mdettweiler [2016-04-28 12:41:34] 923*2^1427642-1 is not prime. Res64: 0829767EBCC6C88F Time : 0.0 sec. user=mdettweiler [2016-04-28 12:41:34] 953*2^1427642-1 is not prime. Res64: 8DEB26DC45AA1850 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:41:35] 981*2^1427642-1 is not prime. Res64: 126EC95302245CC5 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:41:35] 983*2^1427642-1 is not prime. Res64: E7994BBCDFC91EAB Time : 0.0 sec. user=mdettweiler [2016-04-28 12:41:35] 669*2^1427643-1 is not prime. Res64: B03AC0AE6F725279 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:46:28] 709*2^1427643-1 is not prime. Res64: 45744BE60ECB03C6 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:46:28] 783*2^1427643-1 is not prime. Res64: DE3F117FFD96536A Time : 0.0 sec. user=mdettweiler [2016-04-28 12:46:28] 801*2^1427643-1 is not prime. Res64: 196966E7E6D6673A Time : 0.0 sec. user=mdettweiler [2016-04-28 12:46:29] 973*2^1427643-1 is not prime. Res64: 36AD44DD77287FE0 Time : 0.0 sec. user=mdettweiler [2016-04-28 12:46:29] 615*2^1427644-1 is not prime. Res64: 23662FE66E6457A3 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:12] 723*2^1427644-1 is not prime. Res64: 56B5D3775161C292 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:12] 827*2^1427644-1 is not prime. Res64: D05A9EED8BD96804 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:13] 897*2^1427644-1 is not prime. Res64: 3D3A575B26B5311E Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:13] 899*2^1427644-1 is not prime. Res64: 3A3587008E1916D5 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:13] 771*2^1427645-1 is not prime. Res64: 3C986D950CC5E1C0 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:35] 825*2^1427645-1 is not prime. Res64: C715D0ADAB54C330 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:35] 885*2^1427645-1 is not prime. Res64: 18EC3C8BF37B12BA Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:36] 889*2^1427645-1 is not prime. Res64: 89BB3BDC6220B7BA Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:36] 969*2^1427645-1 is not prime. Res64: 71E3B44E5CBB49C7 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:12:36] 657*2^1427646-1 is not prime. Res64: FC2E13E573A04DFD Time : 0.0 sec. user=mdettweiler [2016-04-28 13:27:01] 765*2^1427646-1 is not prime. Res64: CF8197DB76D968D0 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:27:02] 807*2^1427646-1 is not prime. Res64: AA5EAC82E8C97F52 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:27:02] 821*2^1427646-1 is not prime. Res64: 86EF6D2C660FC855 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:27:02] 917*2^1427646-1 is not prime. Res64: B22F4738F85A7EA0 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:27:02] 625*2^1427647-1 is not prime. Res64: AB83A29F5F4DA673 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:31:48] 663*2^1427647-1 is not prime. Res64: B70F2DFF6A1BD796 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:31:48] 685*2^1427647-1 is not prime. Res64: 12BA6F8081595D83 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:31:48] 729*2^1427647-1 is not prime. Res64: DCFD63FC85D66805 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:31:49] 765*2^1427647-1 is not prime. Res64: C53D01151F7AD9E4 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:31:49] 829*2^1427647-1 is not prime. Res64: E9D26DBD913DC9CB Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:22] 933*2^1427647-1 is not prime. Res64: 5910C290457605A9 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:22] 951*2^1427647-1 is not prime. Res64: FC1A0EB622DA0C91 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:22] 961*2^1427647-1 is not prime. Res64: CA07574FC63B1923 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:23] 973*2^1427647-1 is not prime. Res64: 383A55EE073B8BC7 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:23] 657*2^1427648-1 is not prime. Res64: D963F6F5B33EA460 Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:43] 677*2^1427648-1 is not prime. Res64: 9666776CCC9EC4FD Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:43] 827*2^1427648-1 is not prime. Res64: 1D7EDF1D140EBC2A Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:43] 845*2^1427648-1 is not prime. Res64: E4DE923715E9F3EC Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:44] 899*2^1427648-1 is not prime. Res64: 744E6ED79BB5270F Time : 0.0 sec. user=mdettweiler [2016-04-28 13:57:44] 959*2^1427648-1 is not prime. Res64: 67A735F7BB045AB6 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:12:10] 727*2^1427649-1 is not prime. Res64: B064E9DBE00F52E4 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:12:11] 741*2^1427649-1 is not prime. Res64: 7138A234AAE9CF53 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:12:11] 745*2^1427649-1 is not prime. Res64: 669E4B483CD99190 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:12:11] 847*2^1427649-1 is not prime. Res64: E72DFC47596BA388 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:12:12] 921*2^1427649-1 is not prime. Res64: D4725C28049ACBED Time : 0.0 sec. user=mdettweiler [2016-04-28 14:16:45] 999*2^1427649-1 is not prime. Res64: 55D4D9C016372D24 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:16:45] 717*2^1427650-1 is not prime. Res64: 7D92B4F09926B5F4 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:16:46] 723*2^1427650-1 is not prime. Res64: F2FEF62BE159612B Time : 0.0 sec. user=mdettweiler [2016-04-28 14:16:46] 785*2^1427650-1 is not prime. Res64: 305BCC43A63F283B Time : 0.0 sec. user=mdettweiler [2016-04-28 14:16:47] 791*2^1427650-1 is not prime. Res64: 49038A0D3E0A4FE3 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:42:45] 801*2^1427650-1 is not prime. Res64: 10CF3047DF2B0BDB Time : 0.0 sec. user=mdettweiler [2016-04-28 14:42:46] 917*2^1427650-1 is not prime. Res64: 3604483380A0AFB4 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:42:46] 945*2^1427650-1 is not prime. Res64: D45A3195D1691AE4 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:42:47] 609*2^1427651-1 is not prime. Res64: 9B39917C733329B1 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:42:48] 615*2^1427651-1 is not prime. Res64: 1CA6562FC0CA45C8 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:43:06] 711*2^1427651-1 is not prime. Res64: 66435C82AB7A8C5E Time : 0.0 sec. user=mdettweiler [2016-04-28 14:43:07] 715*2^1427651-1 is not prime. Res64: 392371BC58317615 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:43:07] 939*2^1427651-1 is not prime. Res64: 259B68861D8495A6 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:43:08] 633*2^1427652-1 is not prime. Res64: 5C0B6E28ECF6543D Time : 0.0 sec. user=mdettweiler [2016-04-28 14:43:08] 683*2^1427652-1 is not prime. Res64: 4CC5039FFA95B9AE Time : 0.0 sec. user=mdettweiler [2016-04-28 14:57:24] 765*2^1427652-1 is not prime. Res64: D8BFD4BDEB88042E Time : 0.0 sec. user=mdettweiler [2016-04-28 14:57:24] 767*2^1427652-1 is not prime. Res64: 8DA7ACC61BC6F594 Time : 0.0 sec. user=mdettweiler [2016-04-28 14:57:25] 779*2^1427652-1 is not prime. Res64: BF7E06B1A6496B2A Time : 0.0 sec. user=mdettweiler [2016-04-28 14:57:25] 803*2^1427652-1 is not prime. Res64: 7295301F3968ED9C Time : 0.0 sec. user=mdettweiler [2016-04-28 14:57:25] 809*2^1427652-1 is not prime. Res64: 6118C58F2A4C0B4D Time : 0.0 sec. user=mdettweiler [2016-04-28 15:01:56] 867*2^1427652-1 is not prime. Res64: 775B6D307A67DCDA Time : 0.0 sec. user=mdettweiler [2016-04-28 15:01:58] 915*2^1427652-1 is not prime. Res64: 9A18DD448B0DA877 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:01:58] 615*2^1427653-1 is not prime. Res64: FF42B5A3125E33D9 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:01:59] 687*2^1427653-1 is not prime. Res64: 46CD52BE9E726F0B Time : 0.0 sec. user=mdettweiler [2016-04-28 15:02:00] 765*2^1427653-1 is not prime. Res64: 289AEAC485767434 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:06] 835*2^1427653-1 is not prime. Res64: 9A92FDFE7DD875FA Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:07] 885*2^1427653-1 is not prime. Res64: FAF855DC355C3D81 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:08] 895*2^1427653-1 is not prime. Res64: 410771DA4A39082D Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:08] 915*2^1427653-1 is not prime. Res64: 3A257C0369EAA503 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:09] 987*2^1427653-1 is not prime. Res64: 39C6AB6A94833885 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:24] 605*2^1427654-1 is not prime. Res64: 76285FB0A30C7DE1 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:25] 617*2^1427654-1 is not prime. Res64: 67470667C06A9588 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:26] 645*2^1427654-1 is not prime. Res64: 7C28843C0C97BB29 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:26] 671*2^1427654-1 is not prime. Res64: B25CB2E85BFDB4B6 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:28:27] 707*2^1427654-1 is not prime. Res64: FA37B5A999ECBD95 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:42:42] 791*2^1427654-1 is not prime. Res64: 8902F245D346B6E3 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:42:43] 833*2^1427654-1 is not prime. Res64: 59F703E7E75DEAD6 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:42:43] 885*2^1427654-1 is not prime. Res64: 4A9B48C0EBE80C25 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:42:43] 921*2^1427654-1 is not prime. Res64: 930DB6A2DD4060D1 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:42:44] 971*2^1427654-1 is not prime. Res64: 3986787500861AFA Time : 0.0 sec. user=mdettweiler [2016-04-28 15:47:14] 735*2^1427655-1 is not prime. Res64: 1015814DA79D3E69 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:47:15] 871*2^1427655-1 is not prime. Res64: 606EC26BB6C58D44 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:47:15] 955*2^1427655-1 is not prime. Res64: 824D5FA0257617E6 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:47:16] 603*2^1427656-1 is not prime. Res64: 4122C7F63F53E089 Time : 0.0 sec. user=mdettweiler [2016-04-28 15:47:16] 639*2^1427656-1 is not prime. Res64: C5C8ED45C8E79E24 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:31] 699*2^1427656-1 is not prime. Res64: D485C4FD57B75B62 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:31] 855*2^1427656-1 is not prime. Res64: F11125212D1DDBDB Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:32] 897*2^1427656-1 is not prime. Res64: 97FB5E1F594D1809 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:32] 905*2^1427656-1 is not prime. Res64: 788E1328FD9BEB4E Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:32] 989*2^1427656-1 is not prime. Res64: 0F82C2409471C855 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:39] 615*2^1427657-1 is not prime. Res64: D1324A3ABF4873C1 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:39] 619*2^1427657-1 is not prime. Res64: FFF4F378EE806BC0 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:40] 669*2^1427657-1 is not prime. Res64: 8F52187CF21E9DB3 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:40] 711*2^1427657-1 is not prime. Res64: 49C4AD3544DE1D40 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:13:40] 841*2^1427657-1 is not prime. Res64: A7898C783AF84DB4 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:27:54] 847*2^1427657-1 is not prime. Res64: F21FA058EC75AE83 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:27:54] 871*2^1427657-1 is not prime. Res64: F4F93A65E916E414 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:27:54] 931*2^1427657-1 is not prime. Res64: CAFC4B17E681D895 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:27:55] 949*2^1427657-1 is not prime. Res64: 37902316D3893667 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:27:55] 647*2^1427658-1 is not prime. Res64: 38C311BCD9890F00 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:32:36] 663*2^1427658-1 is not prime. Res64: 979817011C05C82C Time : 0.0 sec. user=mdettweiler [2016-04-28 16:32:36] 671*2^1427658-1 is not prime. Res64: 1052F29045351822 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:32:37] 681*2^1427658-1 is not prime. Res64: F63CD33333DE3D03 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:32:37] 707*2^1427658-1 is not prime. Res64: 6DF470DC311308ED Time : 0.0 sec. user=mdettweiler [2016-04-28 16:32:38] 755*2^1427658-1 is not prime. Res64: C9566E09AA4F9D09 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:58:49] 767*2^1427658-1 is not prime. Res64: 19AE7E850E663ECE Time : 0.0 sec. user=mdettweiler [2016-04-28 16:58:49] 777*2^1427658-1 is not prime. Res64: 24DC8E693DD6BF15 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:58:50] 803*2^1427658-1 is not prime. Res64: 2111447870317BDC Time : 0.0 sec. user=mdettweiler [2016-04-28 16:58:50] 993*2^1427658-1 is not prime. Res64: 4630D7344B21CF0A Time : 0.0 sec. user=mdettweiler [2016-04-28 16:58:50] 619*2^1427659-1 is not prime. Res64: 0E10503B18C1EEC5 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:59:05] 621*2^1427659-1 is not prime. Res64: 1CD696DEE62EA618 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:59:05] 631*2^1427659-1 is not prime. Res64: BB04DF2F7BB41B68 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:59:05] 639*2^1427659-1 is not prime. Res64: 54DD6A624D907B87 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:59:06] 685*2^1427659-1 is not prime. Res64: 5B992AA1FA5E07D9 Time : 0.0 sec. user=mdettweiler [2016-04-28 16:59:06] 703*2^1427659-1 is not prime. Res64: 88618816A51933C3 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:13:04] 769*2^1427659-1 is not prime. Res64: 2E41B0D8DAC5C080 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:13:05] 843*2^1427659-1 is not prime. Res64: E94FF797DEDC994E Time : 0.0 sec. user=mdettweiler [2016-04-28 17:13:06] 853*2^1427659-1 is not prime. Res64: 68A4CA471A7C033E Time : 0.0 sec. user=mdettweiler [2016-04-28 17:13:06] 861*2^1427659-1 is not prime. Res64: CC64B03F0F5EF072 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:13:07] 943*2^1427659-1 is not prime. Res64: F3DA476C968544AC Time : 0.0 sec. user=mdettweiler [2016-04-28 17:17:45] 985*2^1427659-1 is not prime. Res64: 38EE73342E0E03AD Time : 0.0 sec. user=mdettweiler [2016-04-28 17:17:45] 633*2^1427660-1 is not prime. Res64: 80157CF0B5F68307 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:17:46] 753*2^1427660-1 is not prime. Res64: 5D87780E90A07EA3 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:17:46] 827*2^1427660-1 is not prime. Res64: FE2D3A882AE1CCD9 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:17:47] 839*2^1427660-1 is not prime. Res64: 4BBE073C3D478A6D Time : 0.0 sec. user=mdettweiler [2016-04-28 17:43:59] 935*2^1427660-1 is not prime. Res64: 6743F05B7CF32B36 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:43:59] 649*2^1427661-1 is not prime. Res64: 5EB4717139E85960 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:00] 837*2^1427661-1 is not prime. Res64: A80EE9C8F3B2EDD4 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:00] 865*2^1427661-1 is not prime. Res64: C23B45832578033C Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:01] 895*2^1427661-1 is not prime. Res64: 7A5B941FC09AE471 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:17] 901*2^1427661-1 is not prime. Res64: A75A3D26BDDC4E0A Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:18] 961*2^1427661-1 is not prime. Res64: 074D46AB380D2067 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:18] 991*2^1427661-1 is not prime. Res64: CAFF23B90451FAFD Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:18] 611*2^1427662-1 is not prime. Res64: 3726239A05490EC3 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:44:19] 665*2^1427662-1 is not prime. Res64: 21EF935E6D91F367 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:58:36] 813*2^1427662-1 is not prime. Res64: 965F3F471A67FAE8 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:58:36] 911*2^1427662-1 is not prime. Res64: 32BB62850688FC14 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:58:37] 1001*2^1427662-1 is not prime. Res64: 85D4802390820F18 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:58:37] 621*2^1427663-1 is not prime. Res64: 5928FF90274D4653 Time : 0.0 sec. user=mdettweiler [2016-04-28 17:58:37] 703*2^1427663-1 is not prime. Res64: A53C83992DA0B48A Time : 0.0 sec. user=mdettweiler [2016-04-28 18:03:42] 735*2^1427663-1 is not prime. Res64: BE2CC6A206815093 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:03:43] 775*2^1427663-1 is not prime. Res64: 30701A89013CC7FB Time : 0.0 sec. user=mdettweiler [2016-04-28 18:03:44] 783*2^1427663-1 is not prime. Res64: 95489F911F0D4635 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:03:45] 855*2^1427663-1 is not prime. Res64: D3F09237D5A2C9E2 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:03:46] 885*2^1427663-1 is not prime. Res64: 6094C8033A30D37C Time : 0.0 sec. user=mdettweiler [2016-04-28 18:29:42] 629*2^1427664-1 is not prime. Res64: C2BEDFF805F9D248 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:29:43] 717*2^1427664-1 is not prime. Res64: 5743B3AF344594CE Time : 0.0 sec. user=mdettweiler [2016-04-28 18:29:43] 725*2^1427664-1 is not prime. Res64: 45C7353269FB117C Time : 0.0 sec. user=mdettweiler [2016-04-28 18:29:44] 809*2^1427664-1 is not prime. Res64: 8BA51E27D0BA9F0A Time : 0.0 sec. user=mdettweiler [2016-04-28 18:29:44] 815*2^1427664-1 is not prime. Res64: 139AC2D81EBF7CA1 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:30:03] 909*2^1427664-1 is not prime. Res64: 228CFDF84D33EDE7 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:30:03] 927*2^1427664-1 is not prime. Res64: 0DAD5D7B52FAC0C2 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:30:03] 969*2^1427664-1 is not prime. Res64: A29CEFADB7719DB3 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:30:04] 975*2^1427664-1 is not prime. Res64: 8981D7D8B44AAFC5 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:30:04] 729*2^1427665-1 is not prime. Res64: 200E8D5FE23C2C74 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:43:57] 867*2^1427665-1 is not prime. Res64: AA2189CE11AF06A6 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:43:57] 895*2^1427665-1 is not prime. Res64: 4A2E7D0EE8FF0E2E Time : 0.0 sec. user=mdettweiler [2016-04-28 18:43:57] 937*2^1427665-1 is not prime. Res64: 9E7C5969551553F5 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:43:58] 603*2^1427666-1 is not prime. Res64: 01BDD53C62924188 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:43:58] 623*2^1427666-1 is not prime. Res64: 53105D852606935E Time : 0.0 sec. user=mdettweiler [2016-04-28 18:48:54] 635*2^1427666-1 is not prime. Res64: C398DCF759141522 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:48:55] 675*2^1427666-1 is not prime. Res64: CC141FBBE9154B38 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:48:55] 701*2^1427666-1 is not prime. Res64: F1203A44B86BC043 Time : 0.0 sec. user=mdettweiler [2016-04-28 18:48:55] 831*2^1427666-1 is not prime. Res64: 81B6B68A63D1859E Time : 0.0 sec. user=mdettweiler [2016-04-28 18:48:56] 861*2^1427666-1 is not prime. Res64: AEA71CBA55E918B6 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:14:54] 981*2^1427666-1 is not prime. Res64: EE225CA66F43A94D Time : 0.0 sec. user=mdettweiler [2016-04-28 19:14:54] 633*2^1427667-1 is not prime. Res64: 82D31A46D2928C0A Time : 0.0 sec. user=mdettweiler [2016-04-28 19:14:55] 675*2^1427667-1 is not prime. Res64: 0B7B7BD539E2F22E Time : 0.0 sec. user=mdettweiler [2016-04-28 19:14:55] 741*2^1427667-1 is not prime. Res64: 49AFB62689FDF0FD Time : 0.0 sec. user=mdettweiler [2016-04-28 19:14:55] 753*2^1427667-1 is not prime. Res64: 9536D4AA5947B25B Time : 0.0 sec. user=mdettweiler [2016-04-28 19:15:13] 781*2^1427667-1 is not prime. Res64: FBBA5DD06D0428F3 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:15:14] 903*2^1427667-1 is not prime. Res64: 316845B46AB1AB41 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:15:14] 955*2^1427667-1 is not prime. Res64: 716AF778B5DB84E5 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:15:15] 603*2^1427668-1 is not prime. Res64: C5759BE0FC254C76 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:15:15] 615*2^1427668-1 is not prime. Res64: 7930118F1FE537DB Time : 0.0 sec. user=mdettweiler [2016-04-28 19:29:42] 797*2^1427668-1 is not prime. Res64: 2612EBEDABAD98BF Time : 0.0 sec. user=mdettweiler [2016-04-28 19:29:43] 863*2^1427668-1 is not prime. Res64: BBAF157109008C79 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:29:43] 869*2^1427668-1 is not prime. Res64: EEFAF3267B842974 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:29:44] 887*2^1427668-1 is not prime. Res64: C25AAE8C29A5222A Time : 0.0 sec. user=mdettweiler [2016-04-28 19:29:44] 909*2^1427668-1 is not prime. Res64: B490482C1AE2911F Time : 0.0 sec. user=mdettweiler [2016-04-28 19:34:44] 947*2^1427668-1 is not prime. Res64: 98EF85DE23157094 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:34:44] 711*2^1427669-1 is not prime. Res64: 0231EA921975FB6C Time : 0.0 sec. user=mdettweiler [2016-04-28 19:34:45] 729*2^1427669-1 is not prime. Res64: D967118A8AE652E4 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:34:45] 829*2^1427669-1 is not prime. Res64: 6684D8DBB03EA782 Time : 0.0 sec. user=mdettweiler [2016-04-28 19:34:45] 831*2^1427669-1 is not prime. Res64: 58F2B2DAF0143E49 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:46] 609*2^1427671-1 is not prime. Res64: 06E509234AF8B8CA Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:47] 619*2^1427671-1 is not prime. Res64: 011303BC37DCF4AF Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:49] 625*2^1427671-1 is not prime. Res64: 2CB4852A11165AD4 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:50] 645*2^1427671-1 is not prime. Res64: BD5F9FBB013EDE02 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:51] 847*2^1427669-1 is not prime. Res64: 38AB15727D5176C5 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:51] 681*2^1427671-1 is not prime. Res64: F14A294503923EB4 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:53] 861*2^1427669-1 is not prime. Res64: 0763D67082FFFB0F Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:56] 657*2^1427670-1 is not prime. Res64: F13401823903D7E6 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:02:58] 921*2^1427670-1 is not prime. Res64: B32D9E85A6165A7D Time : 0.0 sec. user=mdettweiler [2016-04-28 20:03:00] 1001*2^1427670-1 is not prime. Res64: 3114FF3CAF62F06D Time : 0.0 sec. user=mdettweiler [2016-04-28 20:16:52] 709*2^1427671-1 is not prime. Res64: D35252215CE73028 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:16:52] 723*2^1427671-1 is not prime. Res64: 479B052F385B679D Time : 0.0 sec. user=mdettweiler [2016-04-28 20:16:53] 759*2^1427671-1 is not prime. Res64: 33E0E54CAE7A6796 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:16:53] 811*2^1427671-1 is not prime. Res64: 3333F2EE69AC346E Time : 0.0 sec. user=mdettweiler [2016-04-28 20:16:54] 841*2^1427671-1 is not prime. Res64: 0541C946CB750EF6 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:22:13] 931*2^1427671-1 is not prime. Res64: DC1C65263917A6CF Time : 0.0 sec. user=mdettweiler [2016-04-28 20:22:14] 617*2^1427672-1 is not prime. Res64: ECA63AB4881825A7 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:22:14] 687*2^1427672-1 is not prime. Res64: DB3A74861F753C22 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:22:14] 857*2^1427672-1 is not prime. Res64: 4FBB6C8B3713E488 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:22:15] 935*2^1427672-1 is not prime. Res64: 1960C7B755A49F50 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:50:40] 637*2^1427673-1 is not prime. Res64: 14B1E8BCC3EA53FD Time : 0.0 sec. user=mdettweiler [2016-04-28 20:50:41] 679*2^1427673-1 is not prime. Res64: 9DB12299ABD37891 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:50:41] 705*2^1427673-1 is not prime. Res64: 03D90E5C6AC14938 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:50:41] 781*2^1427673-1 is not prime. Res64: 893643543ED448A3 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:50:42] 817*2^1427673-1 is not prime. Res64: DFB05D61CCE31F4F Time : 0.0 sec. user=mdettweiler [2016-04-28 20:51:15] 847*2^1427673-1 is not prime. Res64: 34704BABE119819D Time : 0.0 sec. user=mdettweiler [2016-04-28 20:51:15] 861*2^1427673-1 is not prime. Res64: B517485A5593DE3C Time : 0.0 sec. user=mdettweiler [2016-04-28 20:51:16] 895*2^1427673-1 is not prime. Res64: 097768AE2D831DED Time : 0.0 sec. user=mdettweiler [2016-04-28 20:51:16] 635*2^1427674-1 is not prime. Res64: 007B8C2DAECF7A59 Time : 0.0 sec. user=mdettweiler [2016-04-28 20:51:16] 645*2^1427674-1 is not prime. Res64: 4A727BB33E8C2FCE Time : 0.0 sec. user=mdettweiler [2016-04-28 21:04:31] 675*2^1427674-1 is not prime. Res64: 9C6AB20DE45C6E33 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:04:32] 781*2^1427675-1 is not prime. Res64: 63B331ABB5F9FA61 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:04:33] 963*2^1427675-1 is not prime. Res64: B110903C1531A420 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:04:34] 669*2^1427676-1 is not prime. Res64: 734025B91CB487F0 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:04:36] 947*2^1427676-1 is not prime. Res64: 381D2EC65EA49077 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:09:30] 975*2^1427676-1 is not prime. Res64: C7C2155DEF977DEE Time : 0.0 sec. user=mdettweiler [2016-04-28 21:09:30] 639*2^1427677-1 is not prime. Res64: 77152C80EA1CB602 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:09:30] 645*2^1427677-1 is not prime. Res64: 6710E15470BC4E0B Time : 0.0 sec. user=mdettweiler [2016-04-28 21:09:31] 667*2^1427677-1 is not prime. Res64: 9E28CB4CE20E5199 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:09:31] 829*2^1427677-1 is not prime. Res64: F4B21E5C207D2D2A Time : 0.0 sec. user=mdettweiler [2016-04-28 21:36:53] 937*2^1427677-1 is not prime. Res64: 432DE3F09D241280 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:36:53] 945*2^1427677-1 is not prime. Res64: F9E06D62BC327493 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:36:53] 967*2^1427677-1 is not prime. Res64: 9302DB390311031B Time : 0.0 sec. user=mdettweiler [2016-04-28 21:36:54] 605*2^1427678-1 is not prime. Res64: BC2797EEC797CF32 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:36:54] 641*2^1427678-1 is not prime. Res64: 332A71C8B0A918EA Time : 0.0 sec. user=mdettweiler [2016-04-28 21:37:29] 797*2^1427678-1 is not prime. Res64: AF0F8E389366CA07 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:37:29] 827*2^1427678-1 is not prime. Res64: 91AD422EBE61DAA3 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:37:29] 875*2^1427678-1 is not prime. Res64: 3A537EF994BF5650 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:37:30] 1001*2^1427678-1 is not prime. Res64: E85DDCA660E5845E Time : 0.0 sec. user=mdettweiler [2016-04-28 21:37:30] 613*2^1427679-1 is not prime. Res64: 2C2DABE5B04792AD Time : 0.0 sec. user=mdettweiler [2016-04-28 21:51:01] 751*2^1427679-1 is not prime. Res64: 11D0CE5F12332678 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:51:01] 861*2^1427679-1 is not prime. Res64: 6CA8CBB8DD660636 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:51:01] 885*2^1427679-1 is not prime. Res64: DB954F6CDC032218 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:51:02] 951*2^1427679-1 is not prime. Res64: 30AB8032ECEE6C34 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:51:02] 955*2^1427679-1 is not prime. Res64: 142403C3E0BA341C Time : 0.0 sec. user=mdettweiler [2016-04-28 21:55:38] 707*2^1427680-1 is not prime. Res64: 2230881E926B629A Time : 0.0 sec. user=mdettweiler [2016-04-28 21:55:38] 713*2^1427680-1 is not prime. Res64: D05635890C31A531 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:55:38] 765*2^1427680-1 is not prime. Res64: 86B92C5DF0A04688 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:55:39] 773*2^1427680-1 is not prime. Res64: 8FC6364CDFC7B539 Time : 0.0 sec. user=mdettweiler [2016-04-28 21:55:39] 777*2^1427680-1 is not prime. Res64: 6CBEA4FC9FD1D832 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:22:55] 803*2^1427680-1 is not prime. Res64: 5306230D1969357A Time : 0.0 sec. user=mdettweiler [2016-04-28 22:22:56] 927*2^1427680-1 is not prime. Res64: 2EABB6B8A3A2C8DB Time : 0.0 sec. user=mdettweiler [2016-04-28 22:22:56] 607*2^1427681-1 is not prime. Res64: 8054CCE0D731F836 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:22:56] 649*2^1427681-1 is not prime. Res64: 7FDC82C78C80612D Time : 0.0 sec. user=mdettweiler [2016-04-28 22:22:57] 675*2^1427681-1 is not prime. Res64: 6F56624FFAD1D06F Time : 0.0 sec. user=mdettweiler [2016-04-28 22:23:42] 705*2^1427681-1 is not prime. Res64: D005BA003DD4D237 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:23:43] 711*2^1427681-1 is not prime. Res64: A89E0C835106E4E9 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:23:43] 777*2^1427681-1 is not prime. Res64: C96A9C1ECD3594F2 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:23:44] 781*2^1427681-1 is not prime. Res64: 2A8031CC538776EC Time : 0.0 sec. user=mdettweiler [2016-04-28 22:23:44] 789*2^1427681-1 is not prime. Res64: 4A5F017C2893922C Time : 0.0 sec. user=mdettweiler [2016-04-28 22:37:20] 981*2^1427681-1 is not prime. Res64: 36D93185F25435EF Time : 0.0 sec. user=mdettweiler [2016-04-28 22:37:20] 633*2^1427682-1 is not prime. Res64: 57A86D88427575E6 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:37:21] 681*2^1427682-1 is not prime. Res64: D2E535537D0F0496 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:37:21] 737*2^1427682-1 is not prime. Res64: 884BF8D4936AE7BD Time : 0.0 sec. user=mdettweiler [2016-04-28 22:37:21] 765*2^1427682-1 is not prime. Res64: FAA4BD5F420377F4 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:41:35] 833*2^1427682-1 is not prime. Res64: FAB3C709512B93EF Time : 0.0 sec. user=mdettweiler [2016-04-28 22:41:35] 875*2^1427682-1 is not prime. Res64: E2F831EAD06AF04B Time : 0.0 sec. user=mdettweiler [2016-04-28 22:41:35] 891*2^1427682-1 is not prime. Res64: FB17C80AACC887CE Time : 0.0 sec. user=mdettweiler [2016-04-28 22:41:36] 691*2^1427683-1 is not prime. Res64: B0633BE42EB8A433 Time : 0.0 sec. user=mdettweiler [2016-04-28 22:41:36] 775*2^1427683-1 is not prime. Res64: 24480580DAB8EE9C Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:16] 853*2^1427683-1 is not prime. Res64: 0050AFE65C674F65 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:17] 707*2^1427684-1 is not prime. Res64: 7D18086EFA33D1FF Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:18] 651*2^1427685-1 is not prime. Res64: 357DE5098CD138E1 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:18] 657*2^1427685-1 is not prime. Res64: 0528EF0190EB062E Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:18] 765*2^1427685-1 is not prime. Res64: 14F09025E7880DD5 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:42] 777*2^1427685-1 is not prime. Res64: 590694D81553CC62 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:42] 781*2^1427685-1 is not prime. Res64: 82BF43EDC56D2E37 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:43] 647*2^1427686-1 is not prime. Res64: 2CB93E8CF554CBAA Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:43] 657*2^1427686-1 is not prime. Res64: C7AF90DA3672E038 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:09:44] 677*2^1427686-1 is not prime. Res64: 47CB00EEA3C93BCB Time : 0.0 sec. user=mdettweiler [2016-04-28 23:23:23] 873*2^1427686-1 is not prime. Res64: 3EECCA380CA5D7DD Time : 0.0 sec. user=mdettweiler [2016-04-28 23:23:23] 891*2^1427686-1 is not prime. Res64: 1285C26F9E3BEEDD Time : 0.0 sec. user=mdettweiler [2016-04-28 23:23:23] 903*2^1427686-1 is not prime. Res64: B1DF8DD6D87897D8 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:23:24] 947*2^1427686-1 is not prime. Res64: 0267EBE35C10218B Time : 0.0 sec. user=mdettweiler [2016-04-28 23:23:24] 1001*2^1427686-1 is not prime. Res64: 191E6A3EED44ECBC Time : 0.0 sec. user=mdettweiler [2016-04-28 23:27:38] 633*2^1427687-1 is not prime. Res64: B436A44B95A9D4DC Time : 0.0 sec. user=mdettweiler [2016-04-28 23:27:38] 645*2^1427687-1 is not prime. Res64: 2FE4194595DFD800 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:27:39] 685*2^1427687-1 is not prime. Res64: E94B5D0DE8A6A50A Time : 0.0 sec. user=mdettweiler [2016-04-28 23:27:39] 693*2^1427687-1 is not prime. Res64: 7D42A76974CC8E6F Time : 0.0 sec. user=mdettweiler [2016-04-28 23:27:39] 711*2^1427687-1 is not prime. Res64: DF7566CECD3E8394 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:26] 735*2^1427687-1 is not prime. Res64: C910A1DB720E6BB9 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:27] 865*2^1427687-1 is not prime. Res64: F46B9DFDC856FB09 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:27] 909*2^1427687-1 is not prime. Res64: EF47BDCED02F16ED Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:27] 945*2^1427687-1 is not prime. Res64: EBE0B977FD64C3FF Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:27] 615*2^1427688-1 is not prime. Res64: 6DAA5B48DDDC1009 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:31] 633*2^1427688-1 is not prime. Res64: 4D89E9726AB87C1C Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:31] 665*2^1427688-1 is not prime. Res64: A08F63639ED9C888 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:31] 699*2^1427688-1 is not prime. Res64: 8D14E8E76E8AED16 Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:32] 737*2^1427688-1 is not prime. Res64: 7ADA3A64FF124FDF Time : 0.0 sec. user=mdettweiler [2016-04-28 23:55:32] 753*2^1427688-1 is not prime. Res64: 1E83BFBFE5482BCD Time : 0.0 sec.