user=mdettweiler [2015-12-07 00:08:40] 853*2^1417003-1 is not prime. Res64: 39AEEFF0357BF938 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:08:40] 819*2^1417003-1 is not prime. Res64: 13F84975A4215E94 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:08:41] 871*2^1417003-1 is not prime. Res64: 7E4894690E333959 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:08:41] 835*2^1417003-1 is not prime. Res64: D3B3CFD01F30EEF2 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:12:45] 901*2^1417003-1 is not prime. Res64: 1A3903D26F9F8A0D Time : 0.0 sec. user=mdettweiler [2015-12-07 00:12:45] 951*2^1417003-1 is not prime. Res64: B0FCBC60803D545B Time : 0.0 sec. user=mdettweiler [2015-12-07 00:26:28] 969*2^1417003-1 is not prime. Res64: 1D084A95CEC5EE71 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:26:29] 683*2^1417004-1 is not prime. Res64: 07C482F62EFCA9C7 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:26:30] 687*2^1417004-1 is not prime. Res64: E798A0A387834DE8 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:26:31] 725*2^1417004-1 is not prime. Res64: 384EED5FED5FCAD8 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:30:23] 843*2^1417004-1 is not prime. Res64: F7BD31F4A7992BFE Time : 0.0 sec. user=mdettweiler [2015-12-07 00:30:23] 915*2^1417004-1 is not prime. Res64: 3AA09D3AFEEF573C Time : 0.0 sec. user=mdettweiler [2015-12-07 00:44:07] 649*2^1417005-1 is not prime. Res64: E1B233E7F103BC29 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:44:07] 735*2^1417005-1 is not prime. Res64: 50B8DBC29E05E7B0 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:44:07] 789*2^1417005-1 is not prime. Res64: 9EF5EE9C305EDCAB Time : 0.0 sec. user=mdettweiler [2015-12-07 00:44:07] 847*2^1417005-1 is not prime. Res64: 0D508FD76EC2232C Time : 0.0 sec. user=mdettweiler [2015-12-07 00:48:01] 861*2^1417005-1 is not prime. Res64: 017809A02F19CA50 Time : 0.0 sec. user=mdettweiler [2015-12-07 00:48:01] 951*2^1417005-1 is not prime. Res64: 7C758A27EFB533D0 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:01:45] 961*2^1417005-1 is not prime. Res64: 4904A6036027E439 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:01:45] 657*2^1417006-1 is not prime. Res64: 3437B9BEB813AAAE Time : 0.0 sec. user=mdettweiler [2015-12-07 01:01:46] 999*2^1417005-1 is not prime. Res64: 99157B8E24077AB4 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:01:47] 713*2^1417006-1 is not prime. Res64: A36DF171B5E17BE0 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:05:38] 717*2^1417006-1 is not prime. Res64: 12CFC8B2D739169D Time : 0.0 sec. user=mdettweiler [2015-12-07 01:05:39] 777*2^1417006-1 is not prime. Res64: E8DD1B351024FC71 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:19:45] 843*2^1417006-1 is not prime. Res64: 9AEAD686767C41C2 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:19:45] 887*2^1417006-1 is not prime. Res64: C40442E182DF909B Time : 0.0 sec. user=mdettweiler [2015-12-07 01:19:47] 703*2^1417007-1 is not prime. Res64: 259733478F6D9225 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:19:48] 895*2^1417007-1 is not prime. Res64: DBBD68F6011CC5CE Time : 0.0 sec. user=mdettweiler [2015-12-07 01:23:32] 819*2^1417008-1 is not prime. Res64: 143F18B6B06A4FA9 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:23:32] 825*2^1417008-1 is not prime. Res64: 0898DFAD63F33D62 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:37:22] 999*2^1417008-1 is not prime. Res64: 64A01D176DC90A25 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:37:23] 625*2^1417009-1 is not prime. Res64: 7CFAC4987D0C5775 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:37:24] 639*2^1417009-1 is not prime. Res64: BEEA255339133EAE Time : 0.0 sec. user=mdettweiler [2015-12-07 01:37:24] 641*2^1417010-1 is not prime. Res64: 336BAF98B5A8CF96 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:41:09] 657*2^1417010-1 is not prime. Res64: B6BD4F5EB83534CE Time : 0.0 sec. user=mdettweiler [2015-12-07 01:41:09] 731*2^1417010-1 is not prime. Res64: CA8257D75E5806E6 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:55:03] 801*2^1417010-1 is not prime. Res64: EBF24B39B754AC99 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:55:03] 941*2^1417010-1 is not prime. Res64: 9408E93828298F5C Time : 0.0 sec. user=mdettweiler [2015-12-07 01:55:03] 917*2^1417010-1 is not prime. Res64: 6DA4144711D16298 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:55:04] 953*2^1417010-1 is not prime. Res64: 8DF9D24610011EE1 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:58:47] 987*2^1417010-1 is not prime. Res64: 4D074A0049C07F14 Time : 0.0 sec. user=mdettweiler [2015-12-07 01:58:47] 751*2^1417011-1 is not prime. Res64: DDEBCCAA37290A60 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:12:40] 783*2^1417011-1 is not prime. Res64: FBFAB44E1AD4F072 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:12:41] 717*2^1417012-1 is not prime. Res64: D80DC83639374BAC Time : 0.0 sec. user=mdettweiler [2015-12-07 02:12:41] 951*2^1417011-1 is not prime. Res64: 314A288C3538EF5F Time : 0.0 sec. user=mdettweiler [2015-12-07 02:12:41] 743*2^1417012-1 is not prime. Res64: 8A50E2C06822C247 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:16:23] 749*2^1417012-1 is not prime. Res64: C1053786FFCEC34C Time : 0.0 sec. user=mdettweiler [2015-12-07 02:16:24] 797*2^1417012-1 is not prime. Res64: B61DC6B60C8F2767 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:30:20] 899*2^1417012-1 is not prime. Res64: 573D3167C22E01E1 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:30:24] 843*2^1417012-1 is not prime. Res64: C7D62DE5901994E1 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:30:25] 959*2^1417012-1 is not prime. Res64: 771C1D4F65E91966 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:30:26] 863*2^1417012-1 is not prime. Res64: 6912AF771D3BD793 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:34:01] 649*2^1417013-1 is not prime. Res64: 3EE2EB276E1D8C0B Time : 0.0 sec. user=mdettweiler [2015-12-07 02:34:02] 675*2^1417013-1 is not prime. Res64: DE82AFD3E6C62FD8 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:48:29] 707*2^1417014-1 is not prime. Res64: 5E32305573E99649 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:48:29] 769*2^1417013-1 is not prime. Res64: 909E3E0DD67119C7 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:48:29] 737*2^1417014-1 is not prime. Res64: 7AED9CC4608CEB01 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:48:29] 671*2^1417014-1 is not prime. Res64: 26D12B16F21960D8 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:51:49] 791*2^1417014-1 is not prime. Res64: B544F0AF0EF11548 Time : 0.0 sec. user=mdettweiler [2015-12-07 02:51:50] 861*2^1417014-1 is not prime. Res64: 8F88E6E6C834E1D4 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:06:10] 619*2^1417015-1 is not prime. Res64: 976D2CDDE6FBED81 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:06:11] 765*2^1417015-1 is not prime. Res64: 5F8FF3EAEEE1E4B4 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:06:12] 829*2^1417015-1 is not prime. Res64: EE7E209498CCE264 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:06:12] 841*2^1417015-1 is not prime. Res64: FEAA65F2EFE409E6 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:09:29] 861*2^1417015-1 is not prime. Res64: A9B6BE15BB3C8555 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:09:30] 895*2^1417015-1 is not prime. Res64: 2EDBBC31EEFF7722 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:23:56] 603*2^1417016-1 is not prime. Res64: F5E234A51B3B06C2 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:23:56] 645*2^1417016-1 is not prime. Res64: AA263BDBD5279486 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:23:57] 623*2^1417016-1 is not prime. Res64: 1CA72C9D763DD385 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:23:57] 767*2^1417016-1 is not prime. Res64: B87C7AFECC611567 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:27:13] 825*2^1417016-1 is not prime. Res64: 532F4BF2B383192F Time : 0.0 sec. user=mdettweiler [2015-12-07 03:27:14] 875*2^1417016-1 is not prime. Res64: 135CDADADCC4756C Time : 0.0 sec. user=mdettweiler [2015-12-07 03:41:36] 751*2^1417017-1 is not prime. Res64: 4B4A56FF36F84466 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:41:36] 999*2^1417016-1 is not prime. Res64: ACD578597FCA4648 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:41:38] 895*2^1417017-1 is not prime. Res64: CE017B9C576DD1E5 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:41:39] 661*2^1417017-1 is not prime. Res64: 8E0844AFAFE0C9C0 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:44:56] 605*2^1417018-1 is not prime. Res64: 26EF692C166B934C Time : 0.0 sec. user=mdettweiler [2015-12-07 03:44:57] 621*2^1417018-1 is not prime. Res64: 2682C5825A2E8379 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:59:41] 737*2^1417018-1 is not prime. Res64: C255312C14742543 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:59:41] 743*2^1417018-1 is not prime. Res64: 87F9DCCF856EA951 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:59:42] 831*2^1417018-1 is not prime. Res64: 84A68811E7F8E544 Time : 0.0 sec. user=mdettweiler [2015-12-07 03:59:42] 971*2^1417018-1 is not prime. Res64: 3073A69008780614 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:02:38] 995*2^1417018-1 is not prime. Res64: 28AE9034AA85CA4C Time : 0.0 sec. user=mdettweiler [2015-12-07 04:02:39] 609*2^1417019-1 is not prime. Res64: 3D739E933BCD8F43 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:17:22] 643*2^1417019-1 is not prime. Res64: 92EC6DCA65CF93A0 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:17:22] 733*2^1417019-1 is not prime. Res64: A42360D09383CF88 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:17:22] 859*2^1417019-1 is not prime. Res64: 0952F214C341423C Time : 0.0 sec. user=mdettweiler [2015-12-07 04:17:22] 675*2^1417019-1 is not prime. Res64: F8E9273568C47A9E Time : 0.0 sec. user=mdettweiler [2015-12-07 04:20:18] 943*2^1417019-1 is not prime. Res64: D5F461A3FA7AB572 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:20:18] 993*2^1417019-1 is not prime. Res64: 502C6EF60E2E1F67 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:34:58] 653*2^1417020-1 is not prime. Res64: 56AB52B8BD6F67C3 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:34:58] 887*2^1417020-1 is not prime. Res64: F5E72C3EABA8965A Time : 0.0 sec. user=mdettweiler [2015-12-07 04:34:58] 759*2^1417020-1 is not prime. Res64: B3C586B5E617DC3A Time : 0.0 sec. user=mdettweiler [2015-12-07 04:34:58] 717*2^1417021-1 is not prime. Res64: FE24CE4CED3C3E99 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:38:00] 751*2^1417021-1 is not prime. Res64: FD49D0C1AD1C9720 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:38:01] 859*2^1417021-1 is not prime. Res64: 1A64D75686D7E58B Time : 0.0 sec. user=mdettweiler [2015-12-07 04:52:36] 999*2^1417021-1 is not prime. Res64: D723F866300754F0 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:52:36] 657*2^1417022-1 is not prime. Res64: 0BB48DC7A42B51D4 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:52:37] 925*2^1417021-1 is not prime. Res64: 10075868680791FF Time : 0.0 sec. user=mdettweiler [2015-12-07 04:52:37] 961*2^1417021-1 is not prime. Res64: 5ED6FDFF7D44266B Time : 0.0 sec. user=mdettweiler [2015-12-07 04:55:38] 705*2^1417022-1 is not prime. Res64: 8BBDD99A07AB70A4 Time : 0.0 sec. user=mdettweiler [2015-12-07 04:55:39] 753*2^1417022-1 is not prime. Res64: F8CE9E939A75AA2A Time : 0.0 sec. user=mdettweiler [2015-12-07 05:10:12] 767*2^1417022-1 is not prime. Res64: BE78D25C300E84ED Time : 0.0 sec. user=mdettweiler [2015-12-07 05:10:13] 785*2^1417022-1 is not prime. Res64: 051A5AD33361F517 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:10:14] 921*2^1417022-1 is not prime. Res64: 966DF13F43224A5C Time : 0.0 sec. user=mdettweiler [2015-12-07 05:10:15] 935*2^1417022-1 is not prime. Res64: 5C926E3558C79596 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:13:14] 945*2^1417022-1 is not prime. Res64: 63D312D5B39E07AB Time : 0.0 sec. user=mdettweiler [2015-12-07 05:13:14] 963*2^1417022-1 is not prime. Res64: AC4F8154C0450414 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:27:49] 619*2^1417023-1 is not prime. Res64: 5DBDBC5EB21BDEBE Time : 0.0 sec. user=mdettweiler [2015-12-07 05:27:50] 679*2^1417023-1 is not prime. Res64: B0A173D9EFDDDA9C Time : 0.0 sec. user=mdettweiler [2015-12-07 05:27:51] 781*2^1417023-1 is not prime. Res64: 070BBAC9481CD0A9 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:27:52] 849*2^1417023-1 is not prime. Res64: DC4EA7A6A1914307 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:30:51] 861*2^1417023-1 is not prime. Res64: D335692B83144095 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:30:52] 961*2^1417023-1 is not prime. Res64: FF6AA82EA7CF4EE2 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:45:27] 985*2^1417023-1 is not prime. Res64: 656048C1312DF382 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:45:27] 623*2^1417024-1 is not prime. Res64: C361E5BF4082785B Time : 0.0 sec. user=mdettweiler [2015-12-07 05:45:33] 629*2^1417024-1 is not prime. Res64: 09E711D651B8BB0E Time : 0.0 sec. user=mdettweiler [2015-12-07 05:45:33] 705*2^1417024-1 is not prime. Res64: 8B110DD2CA633E09 Time : 0.0 sec. user=mdettweiler [2015-12-07 05:48:32] 827*2^1417024-1 is not prime. Res64: D313898A02DBB12C Time : 0.0 sec. user=mdettweiler [2015-12-07 05:48:33] 849*2^1417024-1 is not prime. Res64: 1D8A799C3BAA1708 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:03:07] 909*2^1417024-1 is not prime. Res64: 5D68797DD0C7CB08 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:03:08] 923*2^1417024-1 is not prime. Res64: F1F1D28D7715016B Time : 0.0 sec. user=mdettweiler [2015-12-07 06:03:13] 975*2^1417024-1 is not prime. Res64: 977A71735D010FAC Time : 0.0 sec. user=mdettweiler [2015-12-07 06:03:14] 989*2^1417024-1 is not prime. Res64: 5CAC808B1AB64E31 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:06:12] 993*2^1417024-1 is not prime. Res64: 2240088912155F26 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:06:12] 909*2^1417025-1 is not prime. Res64: B06C854AA400ACDE Time : 0.0 sec. user=mdettweiler [2015-12-07 06:20:53] 735*2^1417026-1 is not prime. Res64: D64119F3772F40AF Time : 0.0 sec. user=mdettweiler [2015-12-07 06:20:53] 825*2^1417026-1 is not prime. Res64: B1D0496B5CBCCB32 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:20:55] 949*2^1417025-1 is not prime. Res64: 000DE9E2185A9C54 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:20:55] 957*2^1417025-1 is not prime. Res64: 89847C032B927D15 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:23:48] 703*2^1417027-1 is not prime. Res64: A216026600F69E21 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:23:48] 843*2^1417027-1 is not prime. Res64: 375A559B14D326AB Time : 0.0 sec. user=mdettweiler [2015-12-07 06:38:31] 885*2^1417027-1 is not prime. Res64: A3EF3FC8183A38A7 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:38:31] 961*2^1417027-1 is not prime. Res64: DF63526CCF4BB345 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:38:31] 993*2^1417027-1 is not prime. Res64: 60AAA2C3C6C4565C Time : 0.0 sec. user=mdettweiler [2015-12-07 06:38:32] 647*2^1417028-1 is not prime. Res64: F7ED1D1F4D4F1BB0 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:41:25] 659*2^1417028-1 is not prime. Res64: 8E12C38828B63235 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:41:26] 677*2^1417028-1 is not prime. Res64: 0A6D0F3DB361AF35 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:56:09] 753*2^1417028-1 is not prime. Res64: 5735894644A3BE92 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:56:09] 847*2^1417029-1 is not prime. Res64: 3F2CD5B5A1D0DBB8 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:56:09] 751*2^1417029-1 is not prime. Res64: 56EE823F52337FB3 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:56:09] 889*2^1417029-1 is not prime. Res64: FF7E90042A6F9D12 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:59:02] 945*2^1417029-1 is not prime. Res64: FCA6021F871BC404 Time : 0.0 sec. user=mdettweiler [2015-12-07 06:59:02] 955*2^1417029-1 is not prime. Res64: 04BEF3B145C9A667 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:13:46] 773*2^1417030-1 is not prime. Res64: 482EC9649C328003 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:13:46] 813*2^1417030-1 is not prime. Res64: 0692765C2946C5F9 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:13:49] 843*2^1417030-1 is not prime. Res64: FA398555C55CA7A6 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:13:49] 885*2^1417030-1 is not prime. Res64: B7905A966C443123 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:16:43] 917*2^1417030-1 is not prime. Res64: 95C913389EBF4892 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:16:43] 603*2^1417031-1 is not prime. Res64: F147F4EF368A9CCF Time : 0.0 sec. user=mdettweiler [2015-12-07 07:31:25] 789*2^1417031-1 is not prime. Res64: C7F7D962E9F03988 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:31:26] 879*2^1417031-1 is not prime. Res64: 1CE3E1450432C5A8 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:31:31] 979*2^1417031-1 is not prime. Res64: 7B2149378358EA54 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:31:31] 981*2^1417031-1 is not prime. Res64: 784EF86BD7E8285D Time : 0.0 sec. user=mdettweiler [2015-12-07 07:34:21] 695*2^1417032-1 is not prime. Res64: B2C196B7229EB65F Time : 0.0 sec. user=mdettweiler [2015-12-07 07:34:21] 843*2^1417032-1 is not prime. Res64: DB404A6BA4BFC932 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:49:03] 619*2^1417033-1 is not prime. Res64: 87A7B3B00BA77963 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:49:03] 715*2^1417033-1 is not prime. Res64: 8160A88C13301811 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:49:08] 729*2^1417033-1 is not prime. Res64: B313390EE0B1812B Time : 0.0 sec. user=mdettweiler [2015-12-07 07:49:08] 829*2^1417033-1 is not prime. Res64: 308F9C09F40CF392 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:51:58] 831*2^1417033-1 is not prime. Res64: 4D95453D9F2480D2 Time : 0.0 sec. user=mdettweiler [2015-12-07 07:51:59] 855*2^1417033-1 is not prime. Res64: 55D067EFA1CB0E33 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:06:42] 889*2^1417033-1 is not prime. Res64: 04FABABD15F79C28 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:06:44] 937*2^1417033-1 is not prime. Res64: 85EB30EE34F88BA4 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:06:47] 633*2^1417034-1 is not prime. Res64: 3977AAF0F299D8DD Time : 0.0 sec. user=mdettweiler [2015-12-07 08:06:50] 707*2^1417034-1 is not prime. Res64: 53B01FF36DAD761A Time : 0.0 sec. user=mdettweiler [2015-12-07 08:09:37] 915*2^1417034-1 is not prime. Res64: 83D173ED94671C16 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:09:38] 945*2^1417034-1 is not prime. Res64: 646A283A42F0FB41 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:24:54] 995*2^1417034-1 is not prime. Res64: 676219CBB877CF3B Time : 0.0 sec. user=mdettweiler [2015-12-07 08:24:54] 633*2^1417035-1 is not prime. Res64: 55B6BA948E276D18 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:24:56] 685*2^1417035-1 is not prime. Res64: EE252BFC1C984183 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:24:56] 985*2^1417035-1 is not prime. Res64: C40951043D465FB8 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:27:17] 629*2^1417036-1 is not prime. Res64: 514E038D1516C3E8 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:27:17] 693*2^1417036-1 is not prime. Res64: C026BD10A9EF17A2 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:42:32] 669*2^1417037-1 is not prime. Res64: EF2E25972DFFC60E Time : 0.0 sec. user=mdettweiler [2015-12-07 08:42:32] 795*2^1417037-1 is not prime. Res64: C18969AB4016505E Time : 0.0 sec. user=mdettweiler [2015-12-07 08:42:32] 729*2^1417037-1 is not prime. Res64: 578C0A0FD02EA4D1 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:42:33] 867*2^1417037-1 is not prime. Res64: 9AF4A377D6583373 Time : 0.0 sec. user=mdettweiler [2015-12-07 08:44:54] 871*2^1417037-1 is not prime. Res64: BFF9C8AA8B988F0F Time : 0.0 sec. user=mdettweiler [2015-12-07 08:44:54] 925*2^1417037-1 is not prime. Res64: 098F67D0AE203A8F Time : 0.0 sec. user=mdettweiler [2015-12-07 09:00:12] 927*2^1417037-1 is not prime. Res64: B2EF119292966648 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:00:12] 979*2^1417037-1 is not prime. Res64: F910890A17A75C8C Time : 0.0 sec. user=mdettweiler [2015-12-07 09:00:13] 949*2^1417037-1 is not prime. Res64: BAF087EE565B4239 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:00:13] 621*2^1417038-1 is not prime. Res64: 3C59FA241973C5E1 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:02:33] 647*2^1417038-1 is not prime. Res64: 4BCC9390B4E733D1 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:02:34] 777*2^1417038-1 is not prime. Res64: DBD43DCCF9B391A6 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:17:52] 797*2^1417038-1 is not prime. Res64: F7F074EE266A0EF3 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:17:52] 963*2^1417038-1 is not prime. Res64: FEC0B7225B39C5EC Time : 0.0 sec. user=mdettweiler [2015-12-07 09:17:52] 893*2^1417038-1 is not prime. Res64: 761AEC767D8A1FF7 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:17:53] 975*2^1417038-1 is not prime. Res64: B89D0C6D61C86C29 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:20:11] 603*2^1417039-1 is not prime. Res64: AF23CC87EC77A149 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:20:12] 745*2^1417039-1 is not prime. Res64: AC2795B9C802BC9A Time : 0.0 sec. user=mdettweiler [2015-12-07 09:35:31] 883*2^1417039-1 is not prime. Res64: C4E2537383F34DFE Time : 0.0 sec. user=mdettweiler [2015-12-07 09:35:32] 885*2^1417039-1 is not prime. Res64: 408CCDD45A9C8E4D Time : 0.0 sec. user=mdettweiler [2015-12-07 09:35:33] 811*2^1417039-1 is not prime. Res64: 122F89A532546453 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:35:33] 861*2^1417039-1 is not prime. Res64: B9A4CAE946C1BFF4 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:37:50] 603*2^1417040-1 is not prime. Res64: 74FB340C0F1D9EAD Time : 0.0 sec. user=mdettweiler [2015-12-07 09:37:51] 665*2^1417040-1 is not prime. Res64: 4F8C671BFC951D78 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:53:08] 675*2^1417040-1 is not prime. Res64: CBF8C0F2BA548176 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:53:09] 713*2^1417040-1 is not prime. Res64: 3CAB85240863B3EF Time : 0.0 sec. user=mdettweiler [2015-12-07 09:53:09] 725*2^1417040-1 is not prime. Res64: 121006D1FCA0843F Time : 0.0 sec. user=mdettweiler [2015-12-07 09:53:09] 857*2^1417040-1 is not prime. Res64: B45C9054E5FD00C4 Time : 0.0 sec. user=mdettweiler [2015-12-07 09:55:28] 657*2^1417041-1 is not prime. Res64: 04E3EC21ACC2D18F Time : 0.0 sec. user=mdettweiler [2015-12-07 09:55:28] 739*2^1417041-1 is not prime. Res64: 00DCFCACB92DE328 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:10:48] 907*2^1417041-1 is not prime. Res64: CC469B9ADD2DAA63 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:10:49] 909*2^1417041-1 is not prime. Res64: 330BB9C4EC503103 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:10:50] 819*2^1417041-1 is not prime. Res64: 1ABC7481808B46EE Time : 0.0 sec. user=mdettweiler [2015-12-07 10:10:51] 861*2^1417041-1 is not prime. Res64: C664CAE300509ED4 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:13:06] 623*2^1417042-1 is not prime. Res64: BB6D242DB53B975D Time : 0.0 sec. user=mdettweiler [2015-12-07 10:13:06] 777*2^1417042-1 is not prime. Res64: B0907BF5D4F64465 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:28:29] 791*2^1417042-1 is not prime. Res64: EB3C6C5EF088847D Time : 0.0 sec. user=mdettweiler [2015-12-07 10:28:30] 1001*2^1417042-1 is not prime. Res64: 6CA6CEAC72D5EA87 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:28:30] 615*2^1417043-1 is not prime. Res64: 4EAECE370456A5FF Time : 0.0 sec. user=mdettweiler [2015-12-07 10:28:30] 631*2^1417043-1 is not prime. Res64: ACC0E1E07CB380B5 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:30:43] 673*2^1417043-1 is not prime. Res64: 9382E9A66CA0F117 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:30:44] 745*2^1417043-1 is not prime. Res64: 0E724683D97E8709 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:46:07] 981*2^1417043-1 is not prime. Res64: 6CB2F5D84E843C44 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:46:08] 861*2^1417043-1 is not prime. Res64: 2A65D4FB3A58A39A Time : 0.0 sec. user=mdettweiler [2015-12-07 10:46:08] 993*2^1417043-1 is not prime. Res64: 25A02B7E0E4B96BC Time : 0.0 sec. user=mdettweiler [2015-12-07 10:46:08] 973*2^1417043-1 is not prime. Res64: 659BE902EBEC4976 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:48:20] 717*2^1417044-1 is not prime. Res64: F81D35BEECA70734 Time : 0.0 sec. user=mdettweiler [2015-12-07 10:48:21] 983*2^1417044-1 is not prime. Res64: A56FF1BCE110B366 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:03:45] 757*2^1417045-1 is not prime. Res64: 52B6285195A60903 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:03:45] 699*2^1417045-1 is not prime. Res64: BE8840B49AEE1B76 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:03:47] 765*2^1417045-1 is not prime. Res64: DB9A2AA3CC212B6A Time : 0.0 sec. user=mdettweiler [2015-12-07 11:03:48] 729*2^1417045-1 is not prime. Res64: 796ECC771285090D Time : 0.0 sec. user=mdettweiler [2015-12-07 11:05:58] 939*2^1417045-1 is not prime. Res64: 4932FCE846227F76 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:05:59] 985*2^1417045-1 is not prime. Res64: A4A1FDB9DE2B03C0 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:21:50] 627*2^1417046-1 is not prime. Res64: 0A05098BE5D0D2F5 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:21:50] 707*2^1417046-1 is not prime. Res64: E9035AC270AFD638 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:21:52] 801*2^1417046-1 is not prime. Res64: 344F281C5CEE634D Time : 0.0 sec. user=mdettweiler [2015-12-07 11:21:52] 857*2^1417046-1 is not prime. Res64: CC7482B7D5291ED8 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:23:38] 873*2^1417046-1 is not prime. Res64: F534A057E5B5EC3C Time : 0.0 sec. user=mdettweiler [2015-12-07 11:23:38] 897*2^1417046-1 is not prime. Res64: D12F9349DC3FC2F9 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:39:27] 923*2^1417046-1 is not prime. Res64: 0B3EF11B4CE4B88C Time : 0.0 sec. user=mdettweiler [2015-12-07 11:39:27] 957*2^1417046-1 is not prime. Res64: 36A36D5DBA8A66B5 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:39:29] 1001*2^1417046-1 is not prime. Res64: 5544726F5E4C24CF Time : 0.0 sec. user=mdettweiler [2015-12-07 11:39:29] 703*2^1417047-1 is not prime. Res64: 4F71FE94D42476D1 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:41:14] 709*2^1417047-1 is not prime. Res64: 518F4C0AA5A4BD12 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:41:14] 739*2^1417047-1 is not prime. Res64: 6131CFF3AC40F724 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:57:04] 831*2^1417047-1 is not prime. Res64: 3EECBA2D11DAE8BC Time : 0.0 sec. user=mdettweiler [2015-12-07 11:57:04] 951*2^1417047-1 is not prime. Res64: 44CBF72C78A4DB8B Time : 0.0 sec. user=mdettweiler [2015-12-07 11:57:06] 603*2^1417048-1 is not prime. Res64: 397BD3ED22C08DFC Time : 0.0 sec. user=mdettweiler [2015-12-07 11:57:06] 617*2^1417048-1 is not prime. Res64: A4CBB1A79FBA6107 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:58:51] 735*2^1417048-1 is not prime. Res64: 77033A035AD3CD28 Time : 0.0 sec. user=mdettweiler [2015-12-07 11:58:52] 813*2^1417048-1 is not prime. Res64: 7EEDCF48335ABB1F Time : 0.0 sec. user=mdettweiler [2015-12-07 12:14:42] 849*2^1417048-1 is not prime. Res64: 3527F15F549D7614 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:14:42] 863*2^1417048-1 is not prime. Res64: ACAD6658275A8D9B Time : 0.0 sec. user=mdettweiler [2015-12-07 12:14:43] 957*2^1417048-1 is not prime. Res64: AB2921FCABE8C1AE Time : 0.0 sec. user=mdettweiler [2015-12-07 12:14:44] 999*2^1417048-1 is not prime. Res64: 191079710BBC722D Time : 0.0 sec. user=mdettweiler [2015-12-07 12:16:30] 601*2^1417049-1 is not prime. Res64: F5ACAA6984B1DC37 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:16:30] 631*2^1417049-1 is not prime. Res64: 89108588A8EAE74D Time : 0.0 sec. user=mdettweiler [2015-12-07 12:32:20] 657*2^1417049-1 is not prime. Res64: DD0ED148285FCB2A Time : 0.0 sec. user=mdettweiler [2015-12-07 12:32:21] 685*2^1417049-1 is not prime. Res64: E9BB7E8DC936604A Time : 0.0 sec. user=mdettweiler [2015-12-07 12:32:21] 769*2^1417049-1 is not prime. Res64: C9C30D3C4131F06D Time : 0.0 sec. user=mdettweiler [2015-12-07 12:32:22] 969*2^1417049-1 is not prime. Res64: C4C5486EAA8EABB1 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:34:08] 695*2^1417050-1 is not prime. Res64: E3785D8BBD0B7B87 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:34:08] 755*2^1417050-1 is not prime. Res64: 6A9238BBD4D76053 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:49:58] 843*2^1417050-1 is not prime. Res64: CDACF3C8061AD92E Time : 0.0 sec. user=mdettweiler [2015-12-07 12:49:59] 715*2^1417051-1 is not prime. Res64: 995F0C232BE1C26C Time : 0.0 sec. user=mdettweiler [2015-12-07 12:50:02] 777*2^1417050-1 is not prime. Res64: 009EEAE0742F68AB Time : 0.0 sec. user=mdettweiler [2015-12-07 12:50:03] 783*2^1417050-1 is not prime. Res64: FC5C1FF17128FEA4 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:51:47] 883*2^1417051-1 is not prime. Res64: F0494390EB40CB52 Time : 0.0 sec. user=mdettweiler [2015-12-07 12:51:47] 931*2^1417051-1 is not prime. Res64: 9685C45A50487DA0 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:07:36] 973*2^1417051-1 is not prime. Res64: 5B73FDF7EBC64144 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:07:37] 683*2^1417052-1 is not prime. Res64: 7B016DB09DA75AA2 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:07:39] 717*2^1417052-1 is not prime. Res64: 1CA3572C303D32B7 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:07:39] 827*2^1417052-1 is not prime. Res64: 0125D0FCC001A83D Time : 0.0 sec. user=mdettweiler [2015-12-07 13:09:25] 867*2^1417052-1 is not prime. Res64: 4CDBDC19A19613A2 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:09:26] 885*2^1417052-1 is not prime. Res64: 84BD4CB68C112DDD Time : 0.0 sec. user=mdettweiler [2015-12-07 13:25:22] 935*2^1417052-1 is not prime. Res64: 513BE84ADE0BEA7D Time : 0.0 sec. user=mdettweiler [2015-12-07 13:25:23] 983*2^1417052-1 is not prime. Res64: 99FC7768AA80F6FE Time : 0.0 sec. user=mdettweiler [2015-12-07 13:25:23] 995*2^1417052-1 is not prime. Res64: 161E808F73636483 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:25:24] 759*2^1417053-1 is not prime. Res64: 158FEDF1C60ABBF7 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:27:05] 781*2^1417053-1 is not prime. Res64: 337A69625C6DE6FE Time : 0.0 sec. user=mdettweiler [2015-12-07 13:27:05] 795*2^1417053-1 is not prime. Res64: 6EF5F9B9223B20CD Time : 0.0 sec. user=mdettweiler [2015-12-07 13:42:59] 889*2^1417053-1 is not prime. Res64: 689136576BBB8B3C Time : 0.0 sec. user=mdettweiler [2015-12-07 13:42:59] 817*2^1417053-1 is not prime. Res64: 36E2C1135D1C4517 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:43:00] 901*2^1417053-1 is not prime. Res64: 756A1CAF9C85AD8B Time : 0.0 sec. user=mdettweiler [2015-12-07 13:43:00] 859*2^1417053-1 is not prime. Res64: 74802C0105010A50 Time : 0.0 sec. user=mdettweiler [2015-12-07 13:44:41] 999*2^1417053-1 is not prime. Res64: 32F6D690C0CF78EB Time : 0.0 sec. user=mdettweiler [2015-12-07 13:44:42] 687*2^1417054-1 is not prime. Res64: 6FAB1D09BB2EBD5E Time : 0.0 sec. user=mdettweiler [2015-12-07 14:00:40] 737*2^1417054-1 is not prime. Res64: 146D3BD09B56F327 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:00:41] 765*2^1417054-1 is not prime. Res64: 276FFC3BF9CBE3E4 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:00:42] 825*2^1417054-1 is not prime. Res64: 0A2D8BC34931D61F Time : 0.0 sec. user=mdettweiler [2015-12-07 14:00:43] 923*2^1417054-1 is not prime. Res64: FA3BF8D33FDBEE94 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:02:30] 945*2^1417054-1 is not prime. Res64: 3C690806EDE12520 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:02:31] 619*2^1417055-1 is not prime. Res64: B2B2C2DB2B9526FF Time : 0.0 sec. user=mdettweiler [2015-12-07 14:19:14] 693*2^1417055-1 is not prime. Res64: A7A10013EB633A63 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:19:14] 739*2^1417055-1 is not prime. Res64: 013509FFC0F5CF57 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:19:15] 771*2^1417055-1 is not prime. Res64: 375F7AD6B42D4945 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:19:16] 781*2^1417055-1 is not prime. Res64: 32BAD35E2FF5EC7A Time : 0.0 sec. user=mdettweiler [2015-12-07 14:20:56] 789*2^1417055-1 is not prime. Res64: 7A3B9058E962D336 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:20:57] 913*2^1417055-1 is not prime. Res64: 50355A8382A60D9A Time : 0.0 sec. user=mdettweiler [2015-12-07 14:37:42] 627*2^1417056-1 is not prime. Res64: 53712EA2246D072F Time : 0.0 sec. user=mdettweiler [2015-12-07 14:37:42] 707*2^1417056-1 is not prime. Res64: CB65E3147EB70ECE Time : 0.0 sec. user=mdettweiler [2015-12-07 14:37:44] 963*2^1417055-1 is not prime. Res64: CBA59C44E565B91F Time : 0.0 sec. user=mdettweiler [2015-12-07 14:37:45] 985*2^1417055-1 is not prime. Res64: 6D7CCBAA32469997 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:39:21] 759*2^1417056-1 is not prime. Res64: 2A2F3D9E326033A8 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:39:22] 789*2^1417056-1 is not prime. Res64: 0F5D12E36B9C7530 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:56:30] 845*2^1417056-1 is not prime. Res64: 78626DDF5C4C4AB9 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:56:30] 607*2^1417057-1 is not prime. Res64: 3D0A1B5EF4DD7C4C Time : 0.0 sec. user=mdettweiler [2015-12-07 14:56:31] 615*2^1417057-1 is not prime. Res64: E423438D38647DA2 Time : 0.0 sec. user=mdettweiler [2015-12-07 14:56:31] 637*2^1417057-1 is not prime. Res64: EBA25B3094846CBB Time : 0.0 sec. user=mdettweiler [2015-12-07 14:58:13] 675*2^1417057-1 is not prime. Res64: 1FF2B5BA6E2AD93D Time : 0.0 sec. user=mdettweiler [2015-12-07 14:58:13] 691*2^1417057-1 is not prime. Res64: 4DF06125B67ADDFF Time : 0.0 sec. user=mdettweiler [2015-12-07 15:15:05] 717*2^1417057-1 is not prime. Res64: 142907A176884E3A Time : 0.0 sec. user=mdettweiler [2015-12-07 15:15:06] 729*2^1417057-1 is not prime. Res64: 932F38283B4525AB Time : 0.0 sec. user=mdettweiler [2015-12-07 15:15:07] 895*2^1417057-1 is not prime. Res64: 92912D6DCD658BD8 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:15:07] 937*2^1417057-1 is not prime. Res64: AAD9B0D1D6FDC586 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:16:48] 603*2^1417058-1 is not prime. Res64: F1193616ABB449C5 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:16:48] 623*2^1417058-1 is not prime. Res64: 707882A11984D3CA Time : 0.0 sec. user=mdettweiler [2015-12-07 15:33:15] 627*2^1417058-1 is not prime. Res64: C893CB4BDFAE745C Time : 0.0 sec. user=mdettweiler [2015-12-07 15:33:15] 671*2^1417058-1 is not prime. Res64: DDE0139CF1E6D87C Time : 0.0 sec. user=mdettweiler [2015-12-07 15:33:19] 705*2^1417058-1 is not prime. Res64: AFC6CE621FF1B5D5 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:33:19] 773*2^1417058-1 is not prime. Res64: 93BE978B14886DB5 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:35:01] 791*2^1417058-1 is not prime. Res64: 70FEB3A432B933ED Time : 0.0 sec. user=mdettweiler [2015-12-07 15:35:01] 813*2^1417058-1 is not prime. Res64: FE9E77582041CCDD Time : 0.0 sec. user=mdettweiler [2015-12-07 15:50:59] 833*2^1417058-1 is not prime. Res64: E5EC5FD96C9A8250 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:51:00] 845*2^1417058-1 is not prime. Res64: 7A50F83B18ED4727 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:51:04] 993*2^1417058-1 is not prime. Res64: 4BEDF44F76226637 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:51:04] 609*2^1417059-1 is not prime. Res64: 984A61CE046CED9F Time : 0.0 sec. user=mdettweiler [2015-12-07 15:52:46] 679*2^1417059-1 is not prime. Res64: E791922F099326D6 Time : 0.0 sec. user=mdettweiler [2015-12-07 15:52:46] 703*2^1417059-1 is not prime. Res64: BE38DBB707991183 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:08:40] 711*2^1417059-1 is not prime. Res64: 491585D82091C343 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:08:40] 789*2^1417059-1 is not prime. Res64: 9AA53704AEDB2301 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:08:44] 891*2^1417059-1 is not prime. Res64: 131094A1DC282794 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:08:44] 605*2^1417060-1 is not prime. Res64: 04F0FE7A836D407E Time : 0.0 sec. user=mdettweiler [2015-12-07 16:10:31] 647*2^1417060-1 is not prime. Res64: 898CA91E63954B98 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:10:31] 765*2^1417060-1 is not prime. Res64: 5C43BE40EDAE1F60 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:26:24] 857*2^1417060-1 is not prime. Res64: 6CCA3595BD06CA29 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:26:25] 957*2^1417060-1 is not prime. Res64: 32B62BAC81AB45E8 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:26:30] 987*2^1417060-1 is not prime. Res64: 102FCCAF680BD2E4 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:26:30] 621*2^1417061-1 is not prime. Res64: 12E616C8D7FBE58F Time : 0.0 sec. user=mdettweiler [2015-12-07 16:28:30] 627*2^1417061-1 is not prime. Res64: F361AF7855F17031 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:28:30] 715*2^1417061-1 is not prime. Res64: 340DBA156AE92768 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:44:07] 829*2^1417061-1 is not prime. Res64: 4ACFD8B6C9E5ECF8 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:44:08] 889*2^1417061-1 is not prime. Res64: 7EA8430417CFD739 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:44:13] 937*2^1417061-1 is not prime. Res64: 6EB7E364CDD260D2 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:44:13] 741*2^1417062-1 is not prime. Res64: 2E34362925412FC0 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:46:14] 777*2^1417062-1 is not prime. Res64: C7748D5002FE8B63 Time : 0.0 sec. user=mdettweiler [2015-12-07 16:46:15] 791*2^1417062-1 is not prime. Res64: A6F1EE15D8F4FE64 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:01:52] 797*2^1417062-1 is not prime. Res64: 54DD926EDE13358C Time : 0.0 sec. user=mdettweiler [2015-12-07 17:01:53] 863*2^1417062-1 is not prime. Res64: 2332F76DF0FAF8F5 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:01:56] 945*2^1417062-1 is not prime. Res64: BA8B81F74C9E1C97 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:01:57] 603*2^1417063-1 is not prime. Res64: 17C50399F916A3BA Time : 0.0 sec. user=mdettweiler [2015-12-07 17:03:57] 805*2^1417063-1 is not prime. Res64: 546AA76D00913242 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:03:58] 819*2^1417063-1 is not prime. Res64: CB39B97DAE19725B Time : 0.0 sec. user=mdettweiler [2015-12-07 17:19:52] 951*2^1417063-1 is not prime. Res64: 928E9C87D99482CC Time : 0.0 sec. user=mdettweiler [2015-12-07 17:19:52] 961*2^1417063-1 is not prime. Res64: CD5D9F24DF653B7E Time : 0.0 sec. user=mdettweiler [2015-12-07 17:19:53] 617*2^1417064-1 is not prime. Res64: FE28427307C19857 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:19:53] 677*2^1417064-1 is not prime. Res64: 476B0F0577E7FD70 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:21:44] 689*2^1417064-1 is not prime. Res64: DF69E08696BA40E1 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:21:44] 699*2^1417064-1 is not prime. Res64: E3A04B984819CADB Time : 0.0 sec. user=mdettweiler [2015-12-07 17:37:37] 827*2^1417064-1 is not prime. Res64: 22EFBDFCE9F0B104 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:37:38] 899*2^1417064-1 is not prime. Res64: 4FB4035202B65F8E Time : 0.0 sec. user=mdettweiler [2015-12-07 17:37:40] 929*2^1417064-1 is not prime. Res64: 632C784B9A94AB3B Time : 0.0 sec. user=mdettweiler [2015-12-07 17:37:41] 983*2^1417064-1 is not prime. Res64: DCDF4CB5A2D3D502 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:39:26] 699*2^1417065-1 is not prime. Res64: 08093341B406800B Time : 0.0 sec. user=mdettweiler [2015-12-07 17:39:27] 709*2^1417065-1 is not prime. Res64: 5238B765EDE841FF Time : 0.0 sec. user=mdettweiler [2015-12-07 17:55:18] 735*2^1417065-1 is not prime. Res64: 412682BB9AE879E9 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:55:18] 795*2^1417065-1 is not prime. Res64: B8D1809178D686D0 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:55:22] 805*2^1417065-1 is not prime. Res64: D1EF4486CC245EB4 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:55:22] 831*2^1417065-1 is not prime. Res64: E3D4710780BED94E Time : 0.0 sec. user=mdettweiler [2015-12-07 17:57:06] 885*2^1417065-1 is not prime. Res64: 549335A681602465 Time : 0.0 sec. user=mdettweiler [2015-12-07 17:57:06] 979*2^1417065-1 is not prime. Res64: 3D165F539E81ABD5 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:12:57] 675*2^1417066-1 is not prime. Res64: E6546D2C6F441354 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:12:58] 705*2^1417066-1 is not prime. Res64: 5DC7B015DCEF4137 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:13:01] 713*2^1417066-1 is not prime. Res64: 6B4AAFDE76D2A1E5 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:13:02] 873*2^1417066-1 is not prime. Res64: B6BB4C601E0E87FA Time : 0.0 sec. user=mdettweiler [2015-12-07 18:14:45] 917*2^1417066-1 is not prime. Res64: 9B012FF1FF4FB142 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:14:46] 941*2^1417066-1 is not prime. Res64: 9F2017C06E9535B9 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:30:41] 945*2^1417066-1 is not prime. Res64: 8333D4F143E055AC Time : 0.0 sec. user=mdettweiler [2015-12-07 18:30:41] 983*2^1417066-1 is not prime. Res64: CCC16E3988F1D5E4 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:30:43] 711*2^1417067-1 is not prime. Res64: 43330C9AE78DB293 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:30:43] 715*2^1417067-1 is not prime. Res64: C5F8EF9A3C769514 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:32:28] 939*2^1417067-1 is not prime. Res64: E8E69CBB46DFA07A Time : 0.0 sec. user=mdettweiler [2015-12-07 18:32:28] 985*2^1417067-1 is not prime. Res64: 2BBEB3298CF1D5D0 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:48:23] 797*2^1417068-1 is not prime. Res64: A974FD022ABFFA2B Time : 0.0 sec. user=mdettweiler [2015-12-07 18:48:23] 765*2^1417068-1 is not prime. Res64: 6B0F38D66623306B Time : 0.0 sec. user=mdettweiler [2015-12-07 18:48:23] 809*2^1417068-1 is not prime. Res64: 5FF41B0340F3A817 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:48:23] 783*2^1417068-1 is not prime. Res64: A1042EBBBA2E578B Time : 0.0 sec. user=mdettweiler [2015-12-07 18:50:08] 893*2^1417068-1 is not prime. Res64: 46ED472EDE9BB993 Time : 0.0 sec. user=mdettweiler [2015-12-07 18:50:09] 909*2^1417068-1 is not prime. Res64: E3D9E829E3ADB8D0 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:06:03] 915*2^1417068-1 is not prime. Res64: 87F01EE41933ACBD Time : 0.0 sec. user=mdettweiler [2015-12-07 19:06:04] 691*2^1417069-1 is not prime. Res64: C51AD10E3227B439 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:06:05] 775*2^1417069-1 is not prime. Res64: B77D13BBE2563A29 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:06:06] 945*2^1417068-1 is not prime. Res64: 80528507B845880C Time : 0.0 sec. user=mdettweiler [2015-12-07 19:07:47] 817*2^1417069-1 is not prime. Res64: 32DADD571EEEFD7D Time : 0.0 sec. user=mdettweiler [2015-12-07 19:07:48] 895*2^1417069-1 is not prime. Res64: 4B742382C7773EBF Time : 0.0 sec. user=mdettweiler [2015-12-07 19:24:23] 987*2^1417069-1 is not prime. Res64: 3AC14BEFF12B39CC Time : 0.0 sec. user=mdettweiler [2015-12-07 19:24:23] 711*2^1417070-1 is not prime. Res64: 53BE90122A3023DB Time : 0.0 sec. user=mdettweiler [2015-12-07 19:24:26] 741*2^1417070-1 is not prime. Res64: 60E6745021E851B5 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:24:26] 755*2^1417070-1 is not prime. Res64: 9AC92AC610590DDF Time : 0.0 sec. user=mdettweiler [2015-12-07 19:25:26] 893*2^1417070-1 is not prime. Res64: D87938446FE3DE44 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:25:26] 915*2^1417070-1 is not prime. Res64: AB8038A92D49A85E Time : 0.0 sec. user=mdettweiler [2015-12-07 19:42:00] 945*2^1417070-1 is not prime. Res64: 472AE7128AD3ABC2 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:42:00] 661*2^1417071-1 is not prime. Res64: 68200A983F988E37 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:42:04] 739*2^1417071-1 is not prime. Res64: 40BCB2DAB70F605A Time : 0.0 sec. user=mdettweiler [2015-12-07 19:42:05] 741*2^1417071-1 is not prime. Res64: E1C3A70AD4DA9DB9 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:43:02] 859*2^1417071-1 is not prime. Res64: 0A0522A51B7CC33A Time : 0.0 sec. user=mdettweiler [2015-12-07 19:43:03] 635*2^1417072-1 is not prime. Res64: 77D6527F3994171C Time : 0.0 sec. user=mdettweiler [2015-12-07 19:59:37] 653*2^1417072-1 is not prime. Res64: 4C4B52501B080358 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:59:38] 665*2^1417072-1 is not prime. Res64: 96082051AE3910AD Time : 0.0 sec. user=mdettweiler [2015-12-07 19:59:41] 755*2^1417072-1 is not prime. Res64: 5D49ACB5E4543C46 Time : 0.0 sec. user=mdettweiler [2015-12-07 19:59:42] 779*2^1417072-1 is not prime. Res64: 775EDEC80F154993 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:00:40] 803*2^1417072-1 is not prime. Res64: C09C82394AB1ED8E Time : 0.0 sec. user=mdettweiler [2015-12-07 20:00:41] 819*2^1417072-1 is not prime. Res64: 3F264AA49B903812 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:17:14] 775*2^1417073-1 is not prime. Res64: 56E076C4388226D8 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:17:14] 789*2^1417073-1 is not prime. Res64: 5469395E562E3236 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:17:17] 937*2^1417073-1 is not prime. Res64: 59BEABC25470B99A Time : 0.0 sec. user=mdettweiler [2015-12-07 20:17:18] 611*2^1417074-1 is not prime. Res64: 15652351A59C294B Time : 0.0 sec. user=mdettweiler [2015-12-07 20:18:19] 635*2^1417074-1 is not prime. Res64: C84FADFBD75D4ED1 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:18:19] 641*2^1417074-1 is not prime. Res64: AD907E583E4CB833 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:34:52] 671*2^1417074-1 is not prime. Res64: 72EB6E82E68FE02C Time : 0.0 sec. user=mdettweiler [2015-12-07 20:34:53] 741*2^1417074-1 is not prime. Res64: C4BC35C8C9DF31AA Time : 0.0 sec. user=mdettweiler [2015-12-07 20:34:53] 651*2^1417074-1 is not prime. Res64: E286BDA8F4A4C6C4 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:34:53] 663*2^1417074-1 is not prime. Res64: F6E068F6FD54AFA0 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:35:55] 767*2^1417074-1 is not prime. Res64: 6D39E83BCCF7458E Time : 0.0 sec. user=mdettweiler [2015-12-07 20:35:55] 783*2^1417074-1 is not prime. Res64: 999464B2F6EEBAC3 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:52:29] 917*2^1417074-1 is not prime. Res64: 55D80A395C4497C5 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:52:29] 1001*2^1417074-1 is not prime. Res64: DF2E3737B1DDE0F9 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:52:30] 791*2^1417074-1 is not prime. Res64: 5CE1B6E1BFB868B4 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:52:31] 837*2^1417074-1 is not prime. Res64: 8E06A5F4E32EE7CD Time : 0.0 sec. user=mdettweiler [2015-12-07 20:53:29] 633*2^1417075-1 is not prime. Res64: F08EE18EA99A9086 Time : 0.0 sec. user=mdettweiler [2015-12-07 20:53:29] 733*2^1417075-1 is not prime. Res64: 1A24B48CDE9103EA Time : 0.0 sec. user=mdettweiler [2015-12-07 21:10:05] 735*2^1417075-1 is not prime. Res64: EAEF279E1BA2B653 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:10:06] 789*2^1417075-1 is not prime. Res64: A3E4F4A5F4F44505 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:10:08] 853*2^1417075-1 is not prime. Res64: F90251B11E69D976 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:10:09] 969*2^1417075-1 is not prime. Res64: CCDF7E3C3D10E1A0 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:11:06] 985*2^1417075-1 is not prime. Res64: 4BADBCCD93F5A1BF Time : 0.0 sec. user=mdettweiler [2015-12-07 21:11:06] 749*2^1417076-1 is not prime. Res64: 62849CF23661FA35 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:27:44] 767*2^1417076-1 is not prime. Res64: 547D9EEAC5B46D8F Time : 0.0 sec. user=mdettweiler [2015-12-07 21:27:44] 837*2^1417076-1 is not prime. Res64: 630C1CCBD0D83729 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:27:47] 927*2^1417076-1 is not prime. Res64: E0396CDC33140E02 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:27:47] 625*2^1417077-1 is not prime. Res64: 0340323C9EC90E9A Time : 0.0 sec. user=mdettweiler [2015-12-07 21:28:42] 769*2^1417077-1 is not prime. Res64: E5A50184E796452A Time : 0.0 sec. user=mdettweiler [2015-12-07 21:28:42] 831*2^1417077-1 is not prime. Res64: 96A2D2A69598A34D Time : 0.0 sec. user=mdettweiler [2015-12-07 21:45:22] 603*2^1417078-1 is not prime. Res64: 881E5B15830843C9 Time : 0.0 sec. user=mdettweiler [2015-12-07 21:45:22] 773*2^1417078-1 is not prime. Res64: F3267F88FD9173AF Time : 0.0 sec. user=mdettweiler [2015-12-07 21:45:22] 885*2^1417077-1 is not prime. Res64: 5BFA6623F233915E Time : 0.0 sec. user=mdettweiler [2015-12-07 21:45:23] 945*2^1417077-1 is not prime. Res64: E8290A837AB14E7B Time : 0.0 sec. user=mdettweiler [2015-12-07 21:46:18] 861*2^1417078-1 is not prime. Res64: 91BFFD88162CF93A Time : 0.0 sec. user=mdettweiler [2015-12-07 21:46:19] 915*2^1417078-1 is not prime. Res64: 5E7873322D4231DE Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:01] 995*2^1417078-1 is not prime. Res64: ED75287B118C4FFA Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:01] 655*2^1417079-1 is not prime. Res64: 4AD6E4E21B22B0CB Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:03] 619*2^1417079-1 is not prime. Res64: 5FE129D60A32F254 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:03] 705*2^1417079-1 is not prime. Res64: 44B72CAF445A19E9 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:53] 735*2^1417079-1 is not prime. Res64: 352F343C1942AD8E Time : 0.0 sec. user=mdettweiler [2015-12-07 22:03:54] 799*2^1417079-1 is not prime. Res64: 95A1391863BFFA58 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:03] 609*2^1417080-1 is not prime. Res64: 995A868EB0C0B12B Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:03] 629*2^1417080-1 is not prime. Res64: 400335D4905E2F71 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:04] 861*2^1417079-1 is not prime. Res64: D94479AC6FBBF321 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:05] 693*2^1417080-1 is not prime. Res64: C94E28796BDC9C18 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:30] 765*2^1417080-1 is not prime. Res64: B26BCA9463A8CDE6 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:21:30] 803*2^1417080-1 is not prime. Res64: 0BDF1D06F1B200A8 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:38:40] 799*2^1417081-1 is not prime. Res64: C10E1B5F64AB35E2 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:38:40] 889*2^1417081-1 is not prime. Res64: 6ADBB9E84A20359F Time : 0.0 sec. user=mdettweiler [2015-12-07 22:38:42] 933*2^1417080-1 is not prime. Res64: 03645C84FE2FB0AB Time : 0.0 sec. user=mdettweiler [2015-12-07 22:38:42] 619*2^1417081-1 is not prime. Res64: 8B80FC037CBDAD6B Time : 0.0 sec. user=mdettweiler [2015-12-07 22:39:09] 997*2^1417081-1 is not prime. Res64: 20B90CB9FAF7D4DC Time : 0.0 sec. user=mdettweiler [2015-12-07 22:39:10] 615*2^1417082-1 is not prime. Res64: 01164B0C553381F2 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:16] 651*2^1417082-1 is not prime. Res64: D674F9F89605D175 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:16] 665*2^1417082-1 is not prime. Res64: 5B8181E93DEBF0EE Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:17] 827*2^1417082-1 is not prime. Res64: 95E4CD6B6182CB9E Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:18] 923*2^1417082-1 is not prime. Res64: C6AC00FD46059843 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:45] 977*2^1417082-1 is not prime. Res64: E29608316EAE9244 Time : 0.0 sec. user=mdettweiler [2015-12-07 22:56:45] 625*2^1417083-1 is not prime. Res64: 9C16C33630FD1325 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:13:52] 739*2^1417083-1 is not prime. Res64: 68D1B267E808AF78 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:13:52] 775*2^1417083-1 is not prime. Res64: 39E75E269500E83A Time : 0.0 sec. user=mdettweiler [2015-12-07 23:13:53] 793*2^1417083-1 is not prime. Res64: 8CA8245CC87E5B6C Time : 0.0 sec. user=mdettweiler [2015-12-07 23:13:53] 795*2^1417083-1 is not prime. Res64: 22823BB2F9C7DF12 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:14:20] 819*2^1417083-1 is not prime. Res64: 261B8788DCAAE1DB Time : 0.0 sec. user=mdettweiler [2015-12-07 23:14:20] 871*2^1417083-1 is not prime. Res64: 056BD8D64194DF9C Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:31] 663*2^1417084-1 is not prime. Res64: 0BDF3F54DCA7CBBE Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:31] 675*2^1417084-1 is not prime. Res64: 7863250C81A52B2C Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:32] 677*2^1417084-1 is not prime. Res64: D26F23304EA521A4 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:32] 813*2^1417084-1 is not prime. Res64: 170C232D8AE32D87 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:59] 857*2^1417084-1 is not prime. Res64: BFD74AEC74583895 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:31:59] 863*2^1417084-1 is not prime. Res64: 1C2D3789CCE3D995 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:07] 927*2^1417084-1 is not prime. Res64: 3757DE407CD5D1E2 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:07] 711*2^1417085-1 is not prime. Res64: 6D9AC083DDEFDB77 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:08] 675*2^1417085-1 is not prime. Res64: FFDD7A22BCEF75B5 Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:08] 759*2^1417085-1 is not prime. Res64: F328C3A6D755642E Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:34] 799*2^1417085-1 is not prime. Res64: 0B2363EE4C5BFC6B Time : 0.0 sec. user=mdettweiler [2015-12-07 23:49:34] 867*2^1417085-1 is not prime. Res64: 2EE037E5C1FFC8AB Time : 0.0 sec.