user=mdettweiler [2015-11-17 00:07:20] 741*2^1415174-1 is not prime. Res64: F1F62B4395C89FB7 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:07:22] 663*2^1415174-1 is not prime. Res64: B5C91AB282803EE5 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:07:22] 813*2^1415174-1 is not prime. Res64: DE396A3E42E6EDA1 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:07:24] 707*2^1415174-1 is not prime. Res64: 83A748300E49AFBA Time : 0.0 sec. user=mdettweiler [2015-11-17 00:08:00] 897*2^1415174-1 is not prime. Res64: 8BD633C914657554 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:08:02] 915*2^1415174-1 is not prime. Res64: DFFC8FF3AA58EF48 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:15:01] 935*2^1415174-1 is not prime. Res64: 86AD73D2A58814A5 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:15:01] 953*2^1415174-1 is not prime. Res64: AC1EB4C7E4D9D14C Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:04] 643*2^1415175-1 is not prime. Res64: 02B915EA1D46D3E3 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:04] 633*2^1415175-1 is not prime. Res64: 716C8EF8A270C68E Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:04] 705*2^1415175-1 is not prime. Res64: 54CCEA6BD373851B Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:04] 651*2^1415175-1 is not prime. Res64: 6CED72370B7B1176 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:18] 781*2^1415175-1 is not prime. Res64: 45D29C4608720821 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:26:18] 829*2^1415175-1 is not prime. Res64: FEAFAA7F90C132E1 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:33:12] 861*2^1415175-1 is not prime. Res64: 77A7668322EFB05E Time : 0.0 sec. user=mdettweiler [2015-11-17 00:33:12] 909*2^1415175-1 is not prime. Res64: A6A2241E9328AB31 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:01] 777*2^1415176-1 is not prime. Res64: 574BCBB3F48DC4B1 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:01] 785*2^1415176-1 is not prime. Res64: 1C7D392A90DE056E Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:04] 963*2^1415175-1 is not prime. Res64: CDEF31C8389569B1 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:04] 653*2^1415176-1 is not prime. Res64: ACE412E6F06CB63F Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:14] 845*2^1415176-1 is not prime. Res64: 404F7E82D6EB16C6 Time : 0.0 sec. user=mdettweiler [2015-11-17 00:44:15] 939*2^1415176-1 is not prime. Res64: 2E0E896F5A7076DA Time : 0.0 sec. user=mdettweiler [2015-11-17 00:51:18] 957*2^1415176-1 is not prime. Res64: 617C82E6200B8EAB Time : 0.0 sec. user=mdettweiler [2015-11-17 00:51:19] 975*2^1415176-1 is not prime. Res64: AD9311AC61FB74A5 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:01:58] 993*2^1415176-1 is not prime. Res64: F864D9C9CDAD746D Time : 0.0 sec. user=mdettweiler [2015-11-17 01:01:59] 615*2^1415177-1 is not prime. Res64: 210E8B8131DBF170 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:02:04] 651*2^1415177-1 is not prime. Res64: 9B18EC8FA5B79C27 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:02:05] 669*2^1415177-1 is not prime. Res64: CEFDC696A37C36E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:02:14] 715*2^1415177-1 is not prime. Res64: C3314D087B8C6B67 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:02:15] 747*2^1415177-1 is not prime. Res64: 50C1D35D640739F4 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:09:18] 901*2^1415177-1 is not prime. Res64: 133A23B2955070E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:09:19] 695*2^1415178-1 is not prime. Res64: F48D1F0CDBB8002C Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:14] 713*2^1415178-1 is not prime. Res64: BB68959FB10EDE0E Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:14] 777*2^1415178-1 is not prime. Res64: F905C38A2FC4F4BD Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:15] 801*2^1415178-1 is not prime. Res64: 44EC462BEA390F20 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:15] 971*2^1415178-1 is not prime. Res64: 64C73868F50D40B2 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:19] 615*2^1415179-1 is not prime. Res64: 547D1C3D9C86377F Time : 0.0 sec. user=mdettweiler [2015-11-17 01:20:19] 769*2^1415179-1 is not prime. Res64: 0423E68618A41ED4 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:27:19] 859*2^1415179-1 is not prime. Res64: F2CD1517DD5FEA0B Time : 0.0 sec. user=mdettweiler [2015-11-17 01:27:20] 889*2^1415179-1 is not prime. Res64: 89FD3DA56C222615 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:13] 699*2^1415180-1 is not prime. Res64: EE9FD666A4FC62C0 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:14] 855*2^1415180-1 is not prime. Res64: FA89F4223FF3FF8F Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:26] 875*2^1415180-1 is not prime. Res64: F75A5AEF09D3C1D4 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:26] 963*2^1415180-1 is not prime. Res64: 7B738DFEFAFD0602 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:28] 795*2^1415181-1 is not prime. Res64: ED70FE2598DD9F30 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:38:29] 979*2^1415181-1 is not prime. Res64: FB828062489E900F Time : 0.0 sec. user=mdettweiler [2015-11-17 01:45:42] 617*2^1415182-1 is not prime. Res64: AD39ABEF16B6318A Time : 0.0 sec. user=mdettweiler [2015-11-17 01:45:43] 621*2^1415182-1 is not prime. Res64: 6AF4E7F367CE72B5 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:17] 675*2^1415182-1 is not prime. Res64: 5FD385BFF1F7E6AD Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:18] 695*2^1415182-1 is not prime. Res64: 19676F4270A08A1F Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:25] 825*2^1415182-1 is not prime. Res64: 2EE1347F3EF2B96C Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:25] 873*2^1415182-1 is not prime. Res64: 1C6A676653909047 Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:28] 737*2^1415182-1 is not prime. Res64: 2421CABF665728CD Time : 0.0 sec. user=mdettweiler [2015-11-17 01:56:29] 741*2^1415182-1 is not prime. Res64: E3E592D0C35FBCA7 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:03:54] 965*2^1415182-1 is not prime. Res64: 190C0716BF8BC525 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:03:55] 805*2^1415183-1 is not prime. Res64: BFEC0DEB93045516 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:30] 913*2^1415183-1 is not prime. Res64: 51894E1531F1389C Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:31] 993*2^1415183-1 is not prime. Res64: 88069052A6716A77 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:36] 879*2^1415183-1 is not prime. Res64: 5F4399694B8B4EDD Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:37] 895*2^1415183-1 is not prime. Res64: F551478615B7BB2D Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:38] 737*2^1415184-1 is not prime. Res64: CF584200E0D08992 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:14:39] 753*2^1415184-1 is not prime. Res64: 3A1E5A0E1EB25D3D Time : 0.0 sec. user=mdettweiler [2015-11-17 02:21:56] 815*2^1415184-1 is not prime. Res64: C34E9FD3AF09AD72 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:21:57] 609*2^1415185-1 is not prime. Res64: B6A10085B90C6AE0 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:38] 877*2^1415185-1 is not prime. Res64: 2E7B042FAF87AEAD Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:39] 783*2^1415186-1 is not prime. Res64: 2AE6E8AFA085CB51 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:42] 687*2^1415185-1 is not prime. Res64: 66CF5EE9D7EC1857 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:43] 855*2^1415185-1 is not prime. Res64: 4A1727A9D15B0DC0 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:43] 873*2^1415186-1 is not prime. Res64: B67FC6032AD6F555 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:32:44] 903*2^1415186-1 is not prime. Res64: 2C532F7C33641F10 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:40:03] 639*2^1415187-1 is not prime. Res64: 3B6DC20FA71D4A2A Time : 0.0 sec. user=mdettweiler [2015-11-17 02:40:04] 649*2^1415187-1 is not prime. Res64: D74B2BC8E5453FE7 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:52] 793*2^1415187-1 is not prime. Res64: E6F88B380E0EEE94 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:54] 973*2^1415187-1 is not prime. Res64: 95A5F88FD4073747 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:55] 709*2^1415187-1 is not prime. Res64: 13AD23E74399FC69 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:56] 735*2^1415187-1 is not prime. Res64: 4C294F7D27852251 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:58] 657*2^1415188-1 is not prime. Res64: 43FA9D2D412286B2 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:50:59] 665*2^1415188-1 is not prime. Res64: 5DDDF66D013CE658 Time : 0.0 sec. user=mdettweiler [2015-11-17 02:58:11] 705*2^1415188-1 is not prime. Res64: B8570C46F380187C Time : 0.0 sec. user=mdettweiler [2015-11-17 02:58:12] 749*2^1415188-1 is not prime. Res64: AE0432E4E57CB8CB Time : 0.0 sec. user=mdettweiler [2015-11-17 03:08:57] 855*2^1415188-1 is not prime. Res64: 11B9D18DA5FFB803 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:08:58] 601*2^1415189-1 is not prime. Res64: 416038CD0A9D8677 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:09:10] 631*2^1415189-1 is not prime. Res64: E650879E2BF33BE2 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:09:11] 649*2^1415189-1 is not prime. Res64: EB9B1F00A0FE68A6 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:09:12] 813*2^1415188-1 is not prime. Res64: 322C2A3A6C0B1566 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:09:13] 843*2^1415188-1 is not prime. Res64: 8A4DDC98F70F907A Time : 0.0 sec. user=mdettweiler [2015-11-17 03:17:06] 685*2^1415189-1 is not prime. Res64: 4E248BC6CA065907 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:17:07] 795*2^1415189-1 is not prime. Res64: 9670725D7A861C9D Time : 0.0 sec. user=mdettweiler [2015-11-17 03:28:13] 971*2^1415190-1 is not prime. Res64: EBCE87AA511FF0D8 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:28:16] 861*2^1415191-1 is not prime. Res64: 2AD9FBE5A958BF47 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:28:16] 725*2^1415190-1 is not prime. Res64: B3CFC9C4DA934FAC Time : 0.0 sec. user=mdettweiler [2015-11-17 03:28:17] 777*2^1415190-1 is not prime. Res64: 6A221352324AF6C9 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:29:00] 753*2^1415192-1 is not prime. Res64: D1BE72AF1E5BB84F Time : 0.0 sec. user=mdettweiler [2015-11-17 03:29:02] 825*2^1415192-1 is not prime. Res64: 20F5AD136A218F9F Time : 0.0 sec. user=mdettweiler [2015-11-17 03:36:08] 837*2^1415192-1 is not prime. Res64: 7511B349B5696E0D Time : 0.0 sec. user=mdettweiler [2015-11-17 03:36:09] 903*2^1415192-1 is not prime. Res64: DD846E38588BEE78 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:46:24] 735*2^1415193-1 is not prime. Res64: 740B6A23A43995FC Time : 0.0 sec. user=mdettweiler [2015-11-17 03:46:26] 745*2^1415193-1 is not prime. Res64: 434A2317AC9EED7E Time : 0.0 sec. user=mdettweiler [2015-11-17 03:46:46] 995*2^1415192-1 is not prime. Res64: 36739ABCA0518855 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:46:47] 819*2^1415193-1 is not prime. Res64: 6A857ED39C126F54 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:47:25] 937*2^1415193-1 is not prime. Res64: 9C63C1B6C1DFCF5D Time : 0.0 sec. user=mdettweiler [2015-11-17 03:47:27] 955*2^1415193-1 is not prime. Res64: 3DA0A5BEEF576384 Time : 0.0 sec. user=mdettweiler [2015-11-17 03:54:28] 985*2^1415193-1 is not prime. Res64: F1282461E26A59AD Time : 0.0 sec. user=mdettweiler [2015-11-17 03:54:30] 617*2^1415194-1 is not prime. Res64: 68D90E088E76A8EA Time : 0.0 sec. user=mdettweiler [2015-11-17 04:04:51] 635*2^1415194-1 is not prime. Res64: 8EAAB1939086A89E Time : 0.0 sec. user=mdettweiler [2015-11-17 04:04:53] 663*2^1415194-1 is not prime. Res64: F490BD2FE9B7764D Time : 0.0 sec. user=mdettweiler [2015-11-17 04:04:56] 675*2^1415194-1 is not prime. Res64: 8477744E1E65EB25 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:04:59] 857*2^1415194-1 is not prime. Res64: D1F58EAA2EB201ED Time : 0.0 sec. user=mdettweiler [2015-11-17 04:05:38] 861*2^1415194-1 is not prime. Res64: A1A456F063E2A234 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:05:39] 915*2^1415194-1 is not prime. Res64: 75C5B19A9DDB5321 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:13:02] 975*2^1415194-1 is not prime. Res64: D1137B35B5462031 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:13:03] 649*2^1415195-1 is not prime. Res64: E7FA2D5567B5CE33 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:14] 759*2^1415195-1 is not prime. Res64: 31770FF5106C749D Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:15] 861*2^1415195-1 is not prime. Res64: E210F3A66BDDD459 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:22] 963*2^1415195-1 is not prime. Res64: DD4FDD77791B509D Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:23] 639*2^1415196-1 is not prime. Res64: 0E78E2F81795DD1B Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:46] 705*2^1415196-1 is not prime. Res64: F3F41202E6F02DF5 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:23:48] 735*2^1415196-1 is not prime. Res64: 6DFFFEE7155EE435 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:31:21] 773*2^1415196-1 is not prime. Res64: B4CE6D9E1605226C Time : 0.0 sec. user=mdettweiler [2015-11-17 04:31:22] 839*2^1415196-1 is not prime. Res64: E1D20B9CCCAFB0F1 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:41:30] 843*2^1415196-1 is not prime. Res64: B75B68C78E1B4EC7 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:41:31] 607*2^1415197-1 is not prime. Res64: 0E06C921AAF8CCDF Time : 0.0 sec. user=mdettweiler [2015-11-17 04:41:41] 661*2^1415197-1 is not prime. Res64: A0EC15FE2AE6E64F Time : 0.0 sec. user=mdettweiler [2015-11-17 04:41:42] 727*2^1415197-1 is not prime. Res64: F8C6385910D7EF6F Time : 0.0 sec. user=mdettweiler [2015-11-17 04:42:14] 801*2^1415197-1 is not prime. Res64: C32F8B9FD189680B Time : 0.0 sec. user=mdettweiler [2015-11-17 04:42:15] 847*2^1415197-1 is not prime. Res64: C31EC6401BA01FF8 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:49:33] 861*2^1415197-1 is not prime. Res64: 90DDCF394D51A4C7 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:49:36] 885*2^1415197-1 is not prime. Res64: 21A1FB5A05F9C125 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:59:38] 967*2^1415197-1 is not prime. Res64: 29F02AAA9A7FEBB7 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:59:39] 975*2^1415197-1 is not prime. Res64: 7C430A5B636BC385 Time : 0.0 sec. user=mdettweiler [2015-11-17 04:59:57] 707*2^1415198-1 is not prime. Res64: 245DD248C5A4021B Time : 0.0 sec. user=mdettweiler [2015-11-17 04:59:57] 831*2^1415198-1 is not prime. Res64: 722EC3CB97017761 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:00:22] 875*2^1415198-1 is not prime. Res64: 722B10998D68F205 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:00:24] 921*2^1415198-1 is not prime. Res64: E4CE505D6CE58DCE Time : 0.0 sec. user=mdettweiler [2015-11-17 05:07:50] 945*2^1415198-1 is not prime. Res64: 247E3F2C9B401090 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:07:52] 951*2^1415198-1 is not prime. Res64: 1E7CC56016F93309 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:17:51] 971*2^1415198-1 is not prime. Res64: B6D2059311BBB88B Time : 0.0 sec. user=mdettweiler [2015-11-17 05:17:52] 625*2^1415199-1 is not prime. Res64: 32298E4ED0C4A327 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:18:08] 999*2^1415199-1 is not prime. Res64: 9166D16FE43FD733 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:18:09] 645*2^1415200-1 is not prime. Res64: B15C43B9E3419A1C Time : 0.0 sec. user=mdettweiler [2015-11-17 05:18:32] 717*2^1415200-1 is not prime. Res64: DF444C1FCC1F63E9 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:18:34] 917*2^1415200-1 is not prime. Res64: B515E0CBD8DDEB8A Time : 0.0 sec. user=mdettweiler [2015-11-17 05:26:14] 927*2^1415200-1 is not prime. Res64: B9B3ED35E8D2E310 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:26:15] 607*2^1415201-1 is not prime. Res64: 7F0BD8DF25E8655E Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:03] 727*2^1415201-1 is not prime. Res64: 92D1D159689E70E5 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:04] 789*2^1415201-1 is not prime. Res64: 9E539616427AA85C Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:25] 889*2^1415201-1 is not prime. Res64: 191E1B6298F01B6F Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:26] 951*2^1415201-1 is not prime. Res64: 8B40F1ED9ECFEEAA Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:48] 725*2^1415202-1 is not prime. Res64: CB90D25F98557315 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:36:49] 807*2^1415202-1 is not prime. Res64: B72A1E56FA688E4F Time : 0.0 sec. user=mdettweiler [2015-11-17 05:44:32] 875*2^1415202-1 is not prime. Res64: ED0C218A188EA6F2 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:44:33] 887*2^1415202-1 is not prime. Res64: 3C2FFC52CB3BA351 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:54:07] 615*2^1415203-1 is not prime. Res64: C56262A26260365C Time : 0.0 sec. user=mdettweiler [2015-11-17 05:54:08] 691*2^1415203-1 is not prime. Res64: 1A1B41D2B65CBDD6 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:54:35] 703*2^1415203-1 is not prime. Res64: 0396510095B1ADFF Time : 0.0 sec. user=mdettweiler [2015-11-17 05:54:35] 829*2^1415203-1 is not prime. Res64: E4BA667115621F11 Time : 0.0 sec. user=mdettweiler [2015-11-17 05:55:04] 859*2^1415203-1 is not prime. Res64: C2D585446C62A72D Time : 0.0 sec. user=mdettweiler [2015-11-17 05:55:05] 871*2^1415203-1 is not prime. Res64: F7D9E98A0806E68F Time : 0.0 sec. user=mdettweiler [2015-11-17 06:02:49] 915*2^1415203-1 is not prime. Res64: 19D9EB76610A3500 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:02:51] 605*2^1415204-1 is not prime. Res64: 2C96DA20ADFBEDC6 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:12:18] 609*2^1415204-1 is not prime. Res64: 9C8A97793093BD03 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:12:20] 615*2^1415204-1 is not prime. Res64: 116F6E1DEDD3862C Time : 0.0 sec. user=mdettweiler [2015-11-17 06:12:51] 743*2^1415204-1 is not prime. Res64: 44CD8B4C776E3309 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:12:53] 833*2^1415204-1 is not prime. Res64: FBCF47E2AB39AB49 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:13:19] 875*2^1415204-1 is not prime. Res64: 2D4A7C38D65EE9A9 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:13:21] 777*2^1415205-1 is not prime. Res64: D39633E3C2EBF397 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:21:17] 817*2^1415205-1 is not prime. Res64: FEEC44320AD9B4F6 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:21:18] 849*2^1415205-1 is not prime. Res64: 7A74DE578D1EEBC7 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:30:39] 997*2^1415205-1 is not prime. Res64: 5B443F52B59336B5 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:30:39] 713*2^1415206-1 is not prime. Res64: BA1F611CB488EA59 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:31:04] 723*2^1415206-1 is not prime. Res64: 88BA5E0752D7E9E6 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:31:05] 755*2^1415206-1 is not prime. Res64: BD0FD89C28C15FB8 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:31:34] 843*2^1415206-1 is not prime. Res64: 7E52B727DC5A004C Time : 0.0 sec. user=mdettweiler [2015-11-17 06:31:35] 911*2^1415206-1 is not prime. Res64: 8565A117A37DC0EB Time : 0.0 sec. user=mdettweiler [2015-11-17 06:39:27] 923*2^1415206-1 is not prime. Res64: 30F664FF2967CD66 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:39:28] 645*2^1415207-1 is not prime. Res64: 001BDA0A2A5DCF7A Time : 0.0 sec. user=mdettweiler [2015-11-17 06:48:56] 669*2^1415207-1 is not prime. Res64: 83B804485E3F152E Time : 0.0 sec. user=mdettweiler [2015-11-17 06:48:57] 711*2^1415207-1 is not prime. Res64: FDD74364EC953B7A Time : 0.0 sec. user=mdettweiler [2015-11-17 06:49:07] 781*2^1415207-1 is not prime. Res64: 9B01731E93587E4D Time : 0.0 sec. user=mdettweiler [2015-11-17 06:49:08] 799*2^1415207-1 is not prime. Res64: 4055C0E0862D120A Time : 0.0 sec. user=mdettweiler [2015-11-17 06:49:38] 843*2^1415207-1 is not prime. Res64: 0D720F02FC38905B Time : 0.0 sec. user=mdettweiler [2015-11-17 06:49:39] 889*2^1415207-1 is not prime. Res64: 9DC7BD36D14661CA Time : 0.0 sec. user=mdettweiler [2015-11-17 06:57:32] 913*2^1415207-1 is not prime. Res64: 537A3CE21F257858 Time : 0.0 sec. user=mdettweiler [2015-11-17 06:57:32] 627*2^1415208-1 is not prime. Res64: 09B72FA04C790766 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:07:24] 747*2^1415208-1 is not prime. Res64: 9EA45B6675AB7B62 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:07:25] 815*2^1415208-1 is not prime. Res64: B10095FBF4DFA683 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:07:26] 845*2^1415208-1 is not prime. Res64: BE5D35EE1381FDE4 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:07:27] 849*2^1415208-1 is not prime. Res64: 418B53D7776E280B Time : 0.0 sec. user=mdettweiler [2015-11-17 07:08:01] 893*2^1415208-1 is not prime. Res64: 2A40590C1B8B3E3C Time : 0.0 sec. user=mdettweiler [2015-11-17 07:08:02] 909*2^1415208-1 is not prime. Res64: 40B4CECED601B435 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:15:50] 999*2^1415208-1 is not prime. Res64: 7BF3C311E5F6194C Time : 0.0 sec. user=mdettweiler [2015-11-17 07:15:54] 679*2^1415209-1 is not prime. Res64: 791E6F0B9FB9673C Time : 0.0 sec. user=mdettweiler [2015-11-17 07:25:40] 769*2^1415209-1 is not prime. Res64: EA4761F89F5D70AD Time : 0.0 sec. user=mdettweiler [2015-11-17 07:25:41] 771*2^1415209-1 is not prime. Res64: 272AC8DFFB2B8C4C Time : 0.0 sec. user=mdettweiler [2015-11-17 07:25:42] 799*2^1415209-1 is not prime. Res64: 3741E2B64BC01F1F Time : 0.0 sec. user=mdettweiler [2015-11-17 07:25:43] 829*2^1415209-1 is not prime. Res64: 5C86E710BE7A2CD1 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:26:08] 877*2^1415209-1 is not prime. Res64: 7D9CD21F8ABAF435 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:26:09] 931*2^1415209-1 is not prime. Res64: 523C219D56081214 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:34:21] 939*2^1415209-1 is not prime. Res64: B206B77FE6997B6A Time : 0.0 sec. user=mdettweiler [2015-11-17 07:34:22] 955*2^1415209-1 is not prime. Res64: CD9C5E1ED9263813 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:43:42] 999*2^1415209-1 is not prime. Res64: F553E6A8B9EC26A1 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:43:43] 651*2^1415210-1 is not prime. Res64: C67720BBB108EEDE Time : 0.0 sec. user=mdettweiler [2015-11-17 07:43:47] 743*2^1415210-1 is not prime. Res64: 02704CE00CCEDBB7 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:43:48] 783*2^1415210-1 is not prime. Res64: 5807E402D8413955 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:44:09] 861*2^1415210-1 is not prime. Res64: D824376DFE10714F Time : 0.0 sec. user=mdettweiler [2015-11-17 07:44:10] 893*2^1415210-1 is not prime. Res64: 3E9F8B4653FB9081 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:52:28] 917*2^1415210-1 is not prime. Res64: 8A715BA276633641 Time : 0.0 sec. user=mdettweiler [2015-11-17 07:52:29] 951*2^1415210-1 is not prime. Res64: 5321E56A7D0808F0 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:01:54] 613*2^1415211-1 is not prime. Res64: 2B1D1C9D20BC378D Time : 0.0 sec. user=mdettweiler [2015-11-17 08:01:55] 651*2^1415211-1 is not prime. Res64: CB9784C820133988 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:02:04] 775*2^1415211-1 is not prime. Res64: 5F517A9D821FF9E2 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:02:06] 801*2^1415211-1 is not prime. Res64: 30F9D3F8869FA360 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:02:20] 805*2^1415211-1 is not prime. Res64: 3846C8DCF13DF419 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:02:21] 871*2^1415211-1 is not prime. Res64: 636589E022AC4D5E Time : 0.0 sec. user=mdettweiler [2015-11-17 08:10:42] 895*2^1415211-1 is not prime. Res64: C17F02E5FF8B56D1 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:10:44] 913*2^1415211-1 is not prime. Res64: 9274EB9DF2F435D2 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:20] 717*2^1415212-1 is not prime. Res64: ADFC131DEEA5DEE5 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:21] 855*2^1415212-1 is not prime. Res64: 15CF36764E6386AA Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:32] 617*2^1415212-1 is not prime. Res64: D6B2D8418909CF79 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:33] 695*2^1415212-1 is not prime. Res64: A98913D58D93FA41 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:42] 863*2^1415212-1 is not prime. Res64: 8D91CBA16BB47FF9 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:20:44] 929*2^1415212-1 is not prime. Res64: 851E0998C6881992 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:29:09] 983*2^1415212-1 is not prime. Res64: 3F0D683383389052 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:29:10] 745*2^1415213-1 is not prime. Res64: 73D1C981E5F4EC58 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:38:52] 663*2^1415214-1 is not prime. Res64: DEACD048186A6716 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:38:52] 725*2^1415214-1 is not prime. Res64: 1DF0AA3EF7DE5BC7 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:38:59] 945*2^1415213-1 is not prime. Res64: 3E0B4F82D05D28E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:39:00] 991*2^1415213-1 is not prime. Res64: 23D09F35507A5A2C Time : 0.0 sec. user=mdettweiler [2015-11-17 08:39:05] 741*2^1415214-1 is not prime. Res64: 4C2EACD932B73C24 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:39:06] 783*2^1415214-1 is not prime. Res64: 129082E8A82D405D Time : 0.0 sec. user=mdettweiler [2015-11-17 08:47:32] 863*2^1415214-1 is not prime. Res64: 049D1D9718BF3B88 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:47:32] 893*2^1415214-1 is not prime. Res64: 6E64034913A114AC Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:00] 927*2^1415214-1 is not prime. Res64: 189DCACC5580D529 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:01] 603*2^1415215-1 is not prime. Res64: F5A8796D8B404CB7 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:10] 645*2^1415215-1 is not prime. Res64: 8203FFDE42ADC6E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:11] 771*2^1415215-1 is not prime. Res64: 82D98F144FF12BFB Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:16] 609*2^1415215-1 is not prime. Res64: 80C24B5D27927E65 Time : 0.0 sec. user=mdettweiler [2015-11-17 08:57:17] 619*2^1415215-1 is not prime. Res64: B620A0AA07249448 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:05:40] 843*2^1415215-1 is not prime. Res64: 3E0246757FE744FA Time : 0.0 sec. user=mdettweiler [2015-11-17 09:05:42] 849*2^1415215-1 is not prime. Res64: 31CEED9043EA9967 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:14] 871*2^1415215-1 is not prime. Res64: 4607218E586AA5E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:15] 883*2^1415215-1 is not prime. Res64: D22B8756DB7C1AD9 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:22] 985*2^1415215-1 is not prime. Res64: 52BB3FAD743690E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:23] 623*2^1415216-1 is not prime. Res64: 89A5871296E653B9 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:33] 629*2^1415216-1 is not prime. Res64: A51074666F6D82C6 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:15:34] 699*2^1415216-1 is not prime. Res64: D051CB20A56E8F92 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:24:01] 789*2^1415216-1 is not prime. Res64: 7A0D544ED56BEE1C Time : 0.0 sec. user=mdettweiler [2015-11-17 09:24:02] 815*2^1415216-1 is not prime. Res64: DB5DB23F4464584A Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:31] 833*2^1415216-1 is not prime. Res64: 98EA2E109BFAC905 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:32] 963*2^1415216-1 is not prime. Res64: 76B75FAAE943C871 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:38] 625*2^1415217-1 is not prime. Res64: 8F1064705C04D501 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:39] 649*2^1415217-1 is not prime. Res64: C48577C0BC7A2562 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:47] 669*2^1415217-1 is not prime. Res64: 297830AFA94D55C1 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:33:48] 747*2^1415217-1 is not prime. Res64: 5221863E54DADE36 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:42:19] 861*2^1415217-1 is not prime. Res64: 21C1126D010AF138 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:42:19] 945*2^1415217-1 is not prime. Res64: DA104362A118F172 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:51:35] 635*2^1415218-1 is not prime. Res64: D332A7D3AB618845 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:51:35] 737*2^1415218-1 is not prime. Res64: 8A313514B4B3B6BF Time : 0.0 sec. user=mdettweiler [2015-11-17 09:51:47] 743*2^1415218-1 is not prime. Res64: 2E40E79EDAC7F9F3 Time : 0.0 sec. user=mdettweiler [2015-11-17 09:51:47] 773*2^1415218-1 is not prime. Res64: EB998F623D31D7DD Time : 0.0 sec. user=mdettweiler [2015-11-17 09:52:02] 791*2^1415218-1 is not prime. Res64: A5E9E153DA2DEA0C Time : 0.0 sec. user=mdettweiler [2015-11-17 09:52:02] 833*2^1415218-1 is not prime. Res64: 4D0245344616F33C Time : 0.0 sec. user=mdettweiler [2015-11-17 10:00:30] 951*2^1415218-1 is not prime. Res64: 50F1C9FEDB3AABAF Time : 0.0 sec. user=mdettweiler [2015-11-17 10:00:31] 631*2^1415219-1 is not prime. Res64: 342A31B0A98DE06B Time : 0.0 sec. user=mdettweiler [2015-11-17 10:09:45] 645*2^1415219-1 is not prime. Res64: 39D0B896077114D2 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:09:48] 669*2^1415219-1 is not prime. Res64: 4A4332C4D34A46EC Time : 0.0 sec. user=mdettweiler [2015-11-17 10:09:55] 735*2^1415219-1 is not prime. Res64: A3C3F388E2A9B2D2 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:09:56] 759*2^1415219-1 is not prime. Res64: A03CCFA25FEA013E Time : 0.0 sec. user=mdettweiler [2015-11-17 10:10:10] 955*2^1415219-1 is not prime. Res64: 1AD66757AFE86FFA Time : 0.0 sec. user=mdettweiler [2015-11-17 10:10:11] 985*2^1415219-1 is not prime. Res64: 0B3CFA9BF9F51724 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:18:39] 635*2^1415220-1 is not prime. Res64: 9736B8D82458CC62 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:18:40] 669*2^1415220-1 is not prime. Res64: 2C52C99F4261B275 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:27:59] 843*2^1415220-1 is not prime. Res64: E65518A450F43721 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:28:00] 873*2^1415220-1 is not prime. Res64: 9C5EAAB3B57F0AEE Time : 0.0 sec. user=mdettweiler [2015-11-17 10:28:04] 915*2^1415220-1 is not prime. Res64: 8F270F880F68AC8A Time : 0.0 sec. user=mdettweiler [2015-11-17 10:28:04] 927*2^1415220-1 is not prime. Res64: E7AB0BFBAD12395B Time : 0.0 sec. user=mdettweiler [2015-11-17 10:28:09] 601*2^1415221-1 is not prime. Res64: 5E34FCC009697B1F Time : 0.0 sec. user=mdettweiler [2015-11-17 10:28:10] 717*2^1415221-1 is not prime. Res64: E166528CAF4C2882 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:37:29] 811*2^1415221-1 is not prime. Res64: 28C2E5AC0F7BB550 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:37:30] 835*2^1415221-1 is not prime. Res64: F648D071D9111399 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:00] 931*2^1415221-1 is not prime. Res64: 1A9872A6476CE80C Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:00] 967*2^1415221-1 is not prime. Res64: 8E33E3F1B0467006 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:25] 657*2^1415222-1 is not prime. Res64: D8692EDA9520B99C Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:25] 801*2^1415222-1 is not prime. Res64: 24EE76FE9A22B390 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:28] 843*2^1415222-1 is not prime. Res64: 3ADD82F101C3054C Time : 0.0 sec. user=mdettweiler [2015-11-17 10:46:29] 887*2^1415222-1 is not prime. Res64: 455CFE3F58EAAD92 Time : 0.0 sec. user=mdettweiler [2015-11-17 10:55:31] 935*2^1415222-1 is not prime. Res64: 677D4CEE38D92E6F Time : 0.0 sec. user=mdettweiler [2015-11-17 10:55:31] 977*2^1415222-1 is not prime. Res64: 262F7B9BB73EEF3D Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:04] 983*2^1415222-1 is not prime. Res64: 8B53EB8E5FFC2D80 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:05] 619*2^1415223-1 is not prime. Res64: CD9CAB82199CD1A9 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:21] 649*2^1415223-1 is not prime. Res64: E720950D40711002 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:25] 685*2^1415223-1 is not prime. Res64: A3E0A63C2DF2FEB9 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:31] 735*2^1415223-1 is not prime. Res64: 7D1E61C89129D17F Time : 0.0 sec. user=mdettweiler [2015-11-17 11:04:34] 795*2^1415223-1 is not prime. Res64: ADDB0FA2E1DEB383 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:13:22] 609*2^1415224-1 is not prime. Res64: 7A8EBDF4A9786898 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:13:23] 747*2^1415224-1 is not prime. Res64: 77B9A6CE03EF2171 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:17] 765*2^1415224-1 is not prime. Res64: 9E6361C4044D210B Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:17] 855*2^1415224-1 is not prime. Res64: A7C09D40F934D7C2 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:36] 995*2^1415224-1 is not prime. Res64: A4604F4A5AF9173A Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:37] 811*2^1415225-1 is not prime. Res64: 93A2C8A9150B769E Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:46] 871*2^1415225-1 is not prime. Res64: 42CA683FF78F1B85 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:22:47] 897*2^1415225-1 is not prime. Res64: D0812C18E238C593 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:31:47] 957*2^1415225-1 is not prime. Res64: E6ECEE49851B9D4F Time : 0.0 sec. user=mdettweiler [2015-11-17 11:31:48] 725*2^1415226-1 is not prime. Res64: 8D3CAAF4732A9F24 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:28] 917*2^1415226-1 is not prime. Res64: 4BFA55ED1F22449A Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:28] 923*2^1415226-1 is not prime. Res64: AE7AADBDD8523236 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:47] 639*2^1415227-1 is not prime. Res64: 4A1C14578F605C76 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:47] 733*2^1415227-1 is not prime. Res64: 4BDB3B08FDE30368 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:55] 751*2^1415227-1 is not prime. Res64: 388C43D60F178B65 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:40:56] 819*2^1415227-1 is not prime. Res64: 156CE85065A340A7 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:49:52] 939*2^1415227-1 is not prime. Res64: BA756B832F25FCAA Time : 0.0 sec. user=mdettweiler [2015-11-17 11:49:53] 669*2^1415228-1 is not prime. Res64: 5D78CB465B81DA10 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:58:29] 677*2^1415228-1 is not prime. Res64: 4AC5C0B252024BA3 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:58:29] 687*2^1415228-1 is not prime. Res64: AF4E1DFED1DB07F3 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:58:50] 735*2^1415228-1 is not prime. Res64: AD6C56584219EBD2 Time : 0.0 sec. user=mdettweiler [2015-11-17 11:58:51] 777*2^1415228-1 is not prime. Res64: 6CAD43A7FE6D46EF Time : 0.0 sec. user=mdettweiler [2015-11-17 11:59:00] 855*2^1415228-1 is not prime. Res64: D33FB634CE5729AC Time : 0.0 sec. user=mdettweiler [2015-11-17 11:59:01] 875*2^1415228-1 is not prime. Res64: B3A9D25640A21891 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:07:54] 945*2^1415228-1 is not prime. Res64: 33FD34F4DE43DDE1 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:07:55] 959*2^1415228-1 is not prime. Res64: 335C6ACA9435766A Time : 0.0 sec. user=mdettweiler [2015-11-17 12:16:25] 999*2^1415228-1 is not prime. Res64: 35AF3CCDFAFFA244 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:16:25] 615*2^1415229-1 is not prime. Res64: 9707CCF99F72176E Time : 0.0 sec. user=mdettweiler [2015-11-17 12:16:53] 639*2^1415229-1 is not prime. Res64: 87333D0BA2CD7D4E Time : 0.0 sec. user=mdettweiler [2015-11-17 12:16:54] 657*2^1415229-1 is not prime. Res64: 8725B4459BF9782A Time : 0.0 sec. user=mdettweiler [2015-11-17 12:17:11] 691*2^1415229-1 is not prime. Res64: 9A4A01A3B229CE2A Time : 0.0 sec. user=mdettweiler [2015-11-17 12:17:12] 747*2^1415229-1 is not prime. Res64: 4F40553D89C1E585 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:26:07] 751*2^1415229-1 is not prime. Res64: 285921821255264A Time : 0.0 sec. user=mdettweiler [2015-11-17 12:26:07] 759*2^1415229-1 is not prime. Res64: B3B3108D64A1E175 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:34:26] 769*2^1415229-1 is not prime. Res64: 58E9C60E7CA2D345 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:34:26] 817*2^1415229-1 is not prime. Res64: 7F6195E7EDAF9BE9 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:35:10] 955*2^1415229-1 is not prime. Res64: 8855AEF4A2B955DE Time : 0.0 sec. user=mdettweiler [2015-11-17 12:35:10] 961*2^1415229-1 is not prime. Res64: BC4CC8F55CE12644 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:35:13] 605*2^1415230-1 is not prime. Res64: B02E00D8F9680EF8 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:35:14] 623*2^1415230-1 is not prime. Res64: 954CB2E4BC012A46 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:44:09] 741*2^1415230-1 is not prime. Res64: 23ED75499D4EBAAE Time : 0.0 sec. user=mdettweiler [2015-11-17 12:44:09] 861*2^1415230-1 is not prime. Res64: 6EE246B98E49F875 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:52:19] 887*2^1415230-1 is not prime. Res64: C86CE3951377B3A2 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:52:20] 965*2^1415230-1 is not prime. Res64: BC7716EBC4D88F4E Time : 0.0 sec. user=mdettweiler [2015-11-17 12:53:06] 909*2^1415231-1 is not prime. Res64: C9ABF960058E1752 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:53:07] 635*2^1415232-1 is not prime. Res64: 10493644000123EC Time : 0.0 sec. user=mdettweiler [2015-11-17 12:53:24] 669*2^1415232-1 is not prime. Res64: 95250E6CB0E2C486 Time : 0.0 sec. user=mdettweiler [2015-11-17 12:53:24] 699*2^1415232-1 is not prime. Res64: 75B3A84F0C42FCCA Time : 0.0 sec. user=mdettweiler [2015-11-17 13:02:08] 753*2^1415232-1 is not prime. Res64: CEC366FDA2F073A2 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:02:09] 765*2^1415232-1 is not prime. Res64: CA863D23F973689A Time : 0.0 sec. user=mdettweiler [2015-11-17 13:10:19] 609*2^1415233-1 is not prime. Res64: 8450FBD853ABD3B3 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:10:20] 811*2^1415233-1 is not prime. Res64: 8170F18B7E9C3325 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:11:00] 919*2^1415233-1 is not prime. Res64: C20F217E8F089C31 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:11:01] 951*2^1415233-1 is not prime. Res64: 74B7EC00EFC2B7C2 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:11:15] 999*2^1415233-1 is not prime. Res64: 89C7F72F6643CFA1 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:11:16] 617*2^1415234-1 is not prime. Res64: 082E2AF6335B1E2A Time : 0.0 sec. user=mdettweiler [2015-11-17 13:20:22] 633*2^1415234-1 is not prime. Res64: E6B22CE5906DB837 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:20:22] 645*2^1415234-1 is not prime. Res64: 8E74086671F1108B Time : 0.0 sec. user=mdettweiler [2015-11-17 13:28:26] 665*2^1415234-1 is not prime. Res64: E25FDFF1543B3BF2 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:28:26] 741*2^1415234-1 is not prime. Res64: CA6A39B90345E937 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:28:57] 797*2^1415234-1 is not prime. Res64: 73D987C003B3D7EA Time : 0.0 sec. user=mdettweiler [2015-11-17 13:28:57] 945*2^1415234-1 is not prime. Res64: E3D3478D16F1EB60 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:29:22] 669*2^1415235-1 is not prime. Res64: 11E445B1ED48DC2C Time : 0.0 sec. user=mdettweiler [2015-11-17 13:29:22] 695*2^1415236-1 is not prime. Res64: F6E57F958C2E3334 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:38:15] 903*2^1415236-1 is not prime. Res64: 27411EFF572A7341 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:38:15] 957*2^1415236-1 is not prime. Res64: 60FCF673DCEA80E8 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:47:11] 989*2^1415236-1 is not prime. Res64: 049EAB419661067F Time : 0.0 sec. user=mdettweiler [2015-11-17 13:47:11] 717*2^1415237-1 is not prime. Res64: 324F9942728217B5 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:47:25] 781*2^1415237-1 is not prime. Res64: C87DAB4DB337E21D Time : 0.0 sec. user=mdettweiler [2015-11-17 13:47:26] 871*2^1415237-1 is not prime. Res64: B5B492E84E948C7A Time : 0.0 sec. user=mdettweiler [2015-11-17 13:48:02] 979*2^1415237-1 is not prime. Res64: AF9C12FF10D0005C Time : 0.0 sec. user=mdettweiler [2015-11-17 13:48:02] 627*2^1415238-1 is not prime. Res64: 4318B7B3FE39E364 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:57:22] 747*2^1415238-1 is not prime. Res64: 0F575E5850F27F73 Time : 0.0 sec. user=mdettweiler [2015-11-17 13:57:22] 801*2^1415238-1 is not prime. Res64: CCF662E3DC5B6AC0 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:05:44] 843*2^1415238-1 is not prime. Res64: B1FADE04C13B846D Time : 0.0 sec. user=mdettweiler [2015-11-17 14:05:46] 881*2^1415238-1 is not prime. Res64: 8DB3D17A47D31198 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:06:37] 887*2^1415238-1 is not prime. Res64: 085665C2E7777027 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:06:38] 927*2^1415238-1 is not prime. Res64: 62BD9849FD31E440 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:06:46] 951*2^1415238-1 is not prime. Res64: C588BFCB0B5EC34D Time : 0.0 sec. user=mdettweiler [2015-11-17 14:06:51] 619*2^1415239-1 is not prime. Res64: AA940CC1D8BA6951 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:15:22] 621*2^1415239-1 is not prime. Res64: 94ABCEFE6E04424A Time : 0.0 sec. user=mdettweiler [2015-11-17 14:15:22] 645*2^1415239-1 is not prime. Res64: 268203E2CB381C7C Time : 0.0 sec. user=mdettweiler [2015-11-17 14:24:02] 745*2^1415239-1 is not prime. Res64: 3E909D88DA5088EA Time : 0.0 sec. user=mdettweiler [2015-11-17 14:24:02] 841*2^1415239-1 is not prime. Res64: 0FD3F726EB77C0C3 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:24:41] 855*2^1415239-1 is not prime. Res64: E662C4E486E76791 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:24:41] 873*2^1415239-1 is not prime. Res64: F0CEFCD149908204 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:25:06] 943*2^1415239-1 is not prime. Res64: C2E7BC8BB8FB7543 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:25:07] 735*2^1415240-1 is not prime. Res64: 17C8C0ADF8A94A29 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:33:27] 753*2^1415240-1 is not prime. Res64: A7E7358CF2D5B2C1 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:33:27] 759*2^1415240-1 is not prime. Res64: 673086A0A3A2870B Time : 0.0 sec. user=mdettweiler [2015-11-17 14:42:08] 845*2^1415240-1 is not prime. Res64: D8DE72FE7DAE9787 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:42:08] 875*2^1415240-1 is not prime. Res64: 45C51AC059F06CB9 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:42:49] 627*2^1415241-1 is not prime. Res64: 4EBD9B5625335304 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:42:49] 681*2^1415241-1 is not prime. Res64: BE3C53E3A6646FEE Time : 0.0 sec. user=mdettweiler [2015-11-17 14:43:11] 691*2^1415241-1 is not prime. Res64: F988094F8800FD7F Time : 0.0 sec. user=mdettweiler [2015-11-17 14:43:11] 747*2^1415241-1 is not prime. Res64: 1EC63DE7B08C51E8 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:51:30] 807*2^1415241-1 is not prime. Res64: AA83AF326AABAF00 Time : 0.0 sec. user=mdettweiler [2015-11-17 14:51:30] 847*2^1415241-1 is not prime. Res64: EB4BA828B7A90066 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:00:10] 633*2^1415242-1 is not prime. Res64: 1352FEECF7F38402 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:00:11] 675*2^1415242-1 is not prime. Res64: 644322A956E43ED8 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:00:54] 713*2^1415242-1 is not prime. Res64: CF6473A65042F1A0 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:00:55] 801*2^1415242-1 is not prime. Res64: A1BFD6FE6D085881 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:01:18] 917*2^1415242-1 is not prime. Res64: 87ADA12B47B6B78C Time : 0.0 sec. user=mdettweiler [2015-11-17 15:01:20] 987*2^1415242-1 is not prime. Res64: 1D3A7AEBB67DC906 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:09:32] 855*2^1415243-1 is not prime. Res64: 39DF5CE5FD4CED94 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:09:34] 861*2^1415243-1 is not prime. Res64: 7812331D5998F4A5 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:18:09] 901*2^1415243-1 is not prime. Res64: 86CC8618964E42A0 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:18:09] 981*2^1415243-1 is not prime. Res64: 59ABC8069789B747 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:19:00] 675*2^1415244-1 is not prime. Res64: 7EE8A01593AD636C Time : 0.0 sec. user=mdettweiler [2015-11-17 15:19:00] 707*2^1415244-1 is not prime. Res64: 7AECFE00E68E754D Time : 0.0 sec. user=mdettweiler [2015-11-17 15:19:32] 719*2^1415244-1 is not prime. Res64: F226E938BCCD195A Time : 0.0 sec. user=mdettweiler [2015-11-17 15:19:32] 737*2^1415244-1 is not prime. Res64: 02ED576F6655AC81 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:27:55] 809*2^1415244-1 is not prime. Res64: 42B580D2DCB26440 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:27:56] 887*2^1415244-1 is not prime. Res64: 5F6A0B2E36F275D2 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:36:13] 899*2^1415244-1 is not prime. Res64: BE7678FBDDFF8057 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:36:13] 909*2^1415244-1 is not prime. Res64: F681DA3634204095 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:37:00] 923*2^1415244-1 is not prime. Res64: 8ACFC9127D3CEE9B Time : 0.0 sec. user=mdettweiler [2015-11-17 15:37:01] 945*2^1415244-1 is not prime. Res64: EE195F843B390761 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:37:31] 799*2^1415245-1 is not prime. Res64: 61FA73DE1E105CAF Time : 0.0 sec. user=mdettweiler [2015-11-17 15:37:31] 825*2^1415245-1 is not prime. Res64: BEB639FF7EBFCAD2 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:45:56] 855*2^1415245-1 is not prime. Res64: 3D8039D4F4669CAE Time : 0.0 sec. user=mdettweiler [2015-11-17 15:45:57] 961*2^1415245-1 is not prime. Res64: 073A6A5DED807502 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:54:21] 651*2^1415246-1 is not prime. Res64: F3DBBD39C679EF43 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:54:21] 711*2^1415246-1 is not prime. Res64: 4FC8EA0426DE0B8C Time : 0.0 sec. user=mdettweiler [2015-11-17 15:55:05] 713*2^1415246-1 is not prime. Res64: 95463A7EDC6AD23B Time : 0.0 sec. user=mdettweiler [2015-11-17 15:55:06] 755*2^1415246-1 is not prime. Res64: 316C601C60114357 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:55:36] 785*2^1415246-1 is not prime. Res64: F50118177C24BBA0 Time : 0.0 sec. user=mdettweiler [2015-11-17 15:55:36] 857*2^1415246-1 is not prime. Res64: 055881045E8E2301 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:03:59] 873*2^1415246-1 is not prime. Res64: 000FC431999B72CC Time : 0.0 sec. user=mdettweiler [2015-11-17 16:04:01] 897*2^1415246-1 is not prime. Res64: 3E93F46C74B33036 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:12:34] 917*2^1415246-1 is not prime. Res64: 13C3FFFC1EFD800E Time : 0.0 sec. user=mdettweiler [2015-11-17 16:12:35] 643*2^1415247-1 is not prime. Res64: 558DEAB00428F5FB Time : 0.0 sec. user=mdettweiler [2015-11-17 16:13:18] 793*2^1415247-1 is not prime. Res64: ADE7684DC7B35B93 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:13:19] 849*2^1415247-1 is not prime. Res64: 22937C79B42CFCFC Time : 0.0 sec. user=mdettweiler [2015-11-17 16:13:56] 861*2^1415247-1 is not prime. Res64: C8ACDC4D4AD3FCB2 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:13:57] 865*2^1415247-1 is not prime. Res64: 7A9D80C7224C3211 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:22:05] 931*2^1415247-1 is not prime. Res64: C6C04783D2324D1F Time : 0.0 sec. user=mdettweiler [2015-11-17 16:22:05] 979*2^1415247-1 is not prime. Res64: 8F9CE75504BD81C5 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:30:49] 765*2^1415248-1 is not prime. Res64: 90AC9FC51C0CF1D4 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:30:49] 839*2^1415248-1 is not prime. Res64: FD69A80EF89575C0 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:31:28] 619*2^1415249-1 is not prime. Res64: 67E619423F518383 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:31:29] 649*2^1415249-1 is not prime. Res64: 57F66033825E526E Time : 0.0 sec. user=mdettweiler [2015-11-17 16:32:13] 741*2^1415249-1 is not prime. Res64: 966B1CC7DC09819C Time : 0.0 sec. user=mdettweiler [2015-11-17 16:32:13] 759*2^1415249-1 is not prime. Res64: 4AE3CCA55B68D861 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:40:11] 799*2^1415249-1 is not prime. Res64: 725E9AFD8FE03652 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:40:11] 969*2^1415249-1 is not prime. Res64: F3DF942BAFF6528C Time : 0.0 sec. user=mdettweiler [2015-11-17 16:48:52] 657*2^1415250-1 is not prime. Res64: F606D915BB17B47E Time : 0.0 sec. user=mdettweiler [2015-11-17 16:48:52] 765*2^1415250-1 is not prime. Res64: 7B59179EDA4E36E0 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:49:24] 845*2^1415250-1 is not prime. Res64: 86B54D51A610E1E3 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:49:25] 977*2^1415250-1 is not prime. Res64: 9E6DE4C41033D8A7 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:50:14] 703*2^1415251-1 is not prime. Res64: D8FD245494854552 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:50:14] 745*2^1415251-1 is not prime. Res64: FDAE8D528A3643FB Time : 0.0 sec. user=mdettweiler [2015-11-17 16:58:10] 849*2^1415251-1 is not prime. Res64: E7A3CB6A83863760 Time : 0.0 sec. user=mdettweiler [2015-11-17 16:58:10] 883*2^1415251-1 is not prime. Res64: C7F14B51A6A33829 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:06:53] 931*2^1415251-1 is not prime. Res64: E3933A34DD695E67 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:06:57] 669*2^1415252-1 is not prime. Res64: 08EBDC0228BB482A Time : 0.0 sec. user=mdettweiler [2015-11-17 17:07:28] 735*2^1415252-1 is not prime. Res64: 32ACB25323E4D862 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:07:31] 813*2^1415252-1 is not prime. Res64: 11FC16DC2CAD7EB6 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:08:17] 819*2^1415252-1 is not prime. Res64: 23381F48FFAA2925 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:08:18] 893*2^1415252-1 is not prime. Res64: 72A3F4DDABE1B5E5 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:16:18] 909*2^1415252-1 is not prime. Res64: 58B92D56CC1F8B3D Time : 0.0 sec. user=mdettweiler [2015-11-17 17:16:18] 945*2^1415252-1 is not prime. Res64: 4D20A60978E2F3E9 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:25:16] 959*2^1415252-1 is not prime. Res64: 3436B2A2469977B2 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:25:16] 627*2^1415253-1 is not prime. Res64: B8CEBBF9A35A8721 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:25:48] 781*2^1415253-1 is not prime. Res64: A34A56D1178F71E2 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:25:49] 819*2^1415253-1 is not prime. Res64: 7A9AE34579C1BA62 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:26:22] 877*2^1415253-1 is not prime. Res64: A84BC82D79D15F0E Time : 0.0 sec. user=mdettweiler [2015-11-17 17:26:23] 901*2^1415253-1 is not prime. Res64: 077663A28F314DE4 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:34:32] 949*2^1415253-1 is not prime. Res64: 19F653494476C16F Time : 0.0 sec. user=mdettweiler [2015-11-17 17:34:32] 705*2^1415254-1 is not prime. Res64: 484ED6FF89B4DBB2 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:43:18] 707*2^1415254-1 is not prime. Res64: 22EE1AB5D503DA8E Time : 0.0 sec. user=mdettweiler [2015-11-17 17:43:18] 815*2^1415254-1 is not prime. Res64: 7665D4452F2FD305 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:43:51] 827*2^1415254-1 is not prime. Res64: C0F6E075A84AA2A9 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:43:52] 863*2^1415254-1 is not prime. Res64: EFAB87A443063793 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:44:38] 887*2^1415254-1 is not prime. Res64: E0B0C9AC72A7C1CB Time : 0.0 sec. user=mdettweiler [2015-11-17 17:44:38] 917*2^1415254-1 is not prime. Res64: 124DC815966F6334 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:52:36] 983*2^1415254-1 is not prime. Res64: DF849E98D8BFFAC5 Time : 0.0 sec. user=mdettweiler [2015-11-17 17:52:37] 619*2^1415255-1 is not prime. Res64: 1945140B83E2FE4E Time : 0.0 sec. user=mdettweiler [2015-11-17 18:01:17] 753*2^1415255-1 is not prime. Res64: 703AED4CFF3B3427 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:01:18] 759*2^1415255-1 is not prime. Res64: 15BF13AEEBCD69AF Time : 0.0 sec. user=mdettweiler [2015-11-17 18:01:54] 843*2^1415255-1 is not prime. Res64: 4B019BAD5BAA3567 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:01:55] 895*2^1415255-1 is not prime. Res64: 787917D0F1872208 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:02:43] 669*2^1415256-1 is not prime. Res64: 9642569B3FC11DB2 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:02:44] 707*2^1415256-1 is not prime. Res64: 5B73D4F3843F0B38 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:10:39] 777*2^1415256-1 is not prime. Res64: EAB26E0E2EF8B806 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:10:41] 789*2^1415256-1 is not prime. Res64: D42F5DC8A86FC839 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:19:29] 837*2^1415256-1 is not prime. Res64: 1CCFBD2CEB17A220 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:19:29] 607*2^1415257-1 is not prime. Res64: F25B7FD2EF2E2463 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:20:00] 649*2^1415257-1 is not prime. Res64: AE529274496D66E6 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:20:01] 729*2^1415257-1 is not prime. Res64: 01B66C8F63C5BE33 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:20:44] 777*2^1415257-1 is not prime. Res64: B0EFD7941C4BF10D Time : 0.0 sec. user=mdettweiler [2015-11-17 18:20:45] 831*2^1415257-1 is not prime. Res64: 05FED0AE497ADEE2 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:28:51] 871*2^1415257-1 is not prime. Res64: 600A898FD3AE6EFB Time : 0.0 sec. user=mdettweiler [2015-11-17 18:28:52] 945*2^1415257-1 is not prime. Res64: 587ACAC8496BE94C Time : 0.0 sec. user=mdettweiler [2015-11-17 18:37:30] 605*2^1415258-1 is not prime. Res64: 23AF47E97E737661 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:37:30] 645*2^1415258-1 is not prime. Res64: 5F02424893FF311C Time : 0.0 sec. user=mdettweiler [2015-11-17 18:38:01] 731*2^1415258-1 is not prime. Res64: D7EE870D4C9F3FEA Time : 0.0 sec. user=mdettweiler [2015-11-17 18:38:01] 813*2^1415258-1 is not prime. Res64: 1B4207043845196E Time : 0.0 sec. user=mdettweiler [2015-11-17 18:38:55] 825*2^1415258-1 is not prime. Res64: EE32A24E24C95EAE Time : 0.0 sec. user=mdettweiler [2015-11-17 18:38:56] 843*2^1415258-1 is not prime. Res64: 81D2E5224DF44296 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:47:01] 857*2^1415258-1 is not prime. Res64: ADD730DAF10DC4B3 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:47:02] 703*2^1415259-1 is not prime. Res64: 0540F304A80F2556 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:55:32] 741*2^1415259-1 is not prime. Res64: C70D2D14D90F0D21 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:55:32] 745*2^1415259-1 is not prime. Res64: 47772FDB3BB93A4D Time : 0.0 sec. user=mdettweiler [2015-11-17 18:56:14] 751*2^1415259-1 is not prime. Res64: 525F1648FEAF6A1F Time : 0.0 sec. user=mdettweiler [2015-11-17 18:56:14] 775*2^1415259-1 is not prime. Res64: 47EA4707E6EFFA30 Time : 0.0 sec. user=mdettweiler [2015-11-17 18:57:09] 903*2^1415259-1 is not prime. Res64: B64AAD47BFB1A2BD Time : 0.0 sec. user=mdettweiler [2015-11-17 18:57:09] 909*2^1415259-1 is not prime. Res64: AF9E4189710B0405 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:05:06] 969*2^1415259-1 is not prime. Res64: 808E74EBB7459F0B Time : 0.0 sec. user=mdettweiler [2015-11-17 19:05:07] 629*2^1415260-1 is not prime. Res64: C38DBACD6111D45B Time : 0.0 sec. user=mdettweiler [2015-11-17 19:13:31] 653*2^1415260-1 is not prime. Res64: FBCC3E4DD9956FB4 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:13:32] 677*2^1415260-1 is not prime. Res64: 0384B719E9203586 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:14:12] 719*2^1415260-1 is not prime. Res64: 5D35EC13D6C3CEB4 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:14:12] 843*2^1415260-1 is not prime. Res64: 2F4B8216523AE19D Time : 0.0 sec. user=mdettweiler [2015-11-17 19:15:07] 857*2^1415260-1 is not prime. Res64: DDC63811686A1C21 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:15:09] 923*2^1415260-1 is not prime. Res64: F6DCA9D2FE872F09 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:23:26] 601*2^1415261-1 is not prime. Res64: 110522062DD4A999 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:23:26] 691*2^1415261-1 is not prime. Res64: 2409885E03F254A5 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:31:45] 819*2^1415261-1 is not prime. Res64: 5504270947BD2750 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:31:45] 855*2^1415261-1 is not prime. Res64: 1A56D6CD1EA4894E Time : 0.0 sec. user=mdettweiler [2015-11-17 19:32:18] 867*2^1415261-1 is not prime. Res64: D603159F570714A1 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:32:19] 901*2^1415261-1 is not prime. Res64: 2A127985312A2F7A Time : 0.0 sec. user=mdettweiler [2015-11-17 19:33:09] 647*2^1415262-1 is not prime. Res64: 19BBC7D3831F1DF5 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:33:09] 705*2^1415262-1 is not prime. Res64: 56CB9ACF83463C1A Time : 0.0 sec. user=mdettweiler [2015-11-17 19:41:40] 723*2^1415262-1 is not prime. Res64: 5B7DF65DB6D620B1 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:41:40] 825*2^1415262-1 is not prime. Res64: 6BF92426ABF5FCEB Time : 0.0 sec. user=mdettweiler [2015-11-17 19:49:50] 609*2^1415263-1 is not prime. Res64: 9EE76D1143460916 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:49:51] 675*2^1415263-1 is not prime. Res64: F8E9A0E529A2D722 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:50:25] 679*2^1415263-1 is not prime. Res64: 99AF809CE6C6B61D Time : 0.0 sec. user=mdettweiler [2015-11-17 19:50:25] 723*2^1415263-1 is not prime. Res64: 90C15ACB993E430B Time : 0.0 sec. user=mdettweiler [2015-11-17 19:51:10] 871*2^1415263-1 is not prime. Res64: E9E71E70BDC25586 Time : 0.0 sec. user=mdettweiler [2015-11-17 19:51:10] 885*2^1415263-1 is not prime. Res64: 34B2D44BBC83B32D Time : 0.0 sec. user=mdettweiler [2015-11-17 19:59:54] 985*2^1415263-1 is not prime. Res64: 79C7B0915471BC2A Time : 0.0 sec. user=mdettweiler [2015-11-17 19:59:54] 623*2^1415264-1 is not prime. Res64: 8826A3A2489C2655 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:08:00] 699*2^1415264-1 is not prime. Res64: F461C82EDD1A6B13 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:08:01] 843*2^1415264-1 is not prime. Res64: CBB4AD23C85F97E4 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:08:42] 903*2^1415264-1 is not prime. Res64: 33D355DC024D0054 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:08:43] 935*2^1415264-1 is not prime. Res64: 1B3EE07EEE168356 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:09:18] 651*2^1415265-1 is not prime. Res64: 6733195330E1526B Time : 0.0 sec. user=mdettweiler [2015-11-17 20:09:19] 739*2^1415265-1 is not prime. Res64: ECC450FFFFE680A4 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:17:50] 765*2^1415265-1 is not prime. Res64: 68BE104919E2008C Time : 0.0 sec. user=mdettweiler [2015-11-17 20:17:51] 889*2^1415265-1 is not prime. Res64: BC460FCE4B5E4185 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:26:10] 921*2^1415265-1 is not prime. Res64: 8E43B5CA56BE8A8B Time : 0.0 sec. user=mdettweiler [2015-11-17 20:26:10] 955*2^1415265-1 is not prime. Res64: 947646EBF6144FB9 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:26:52] 603*2^1415266-1 is not prime. Res64: A5F897484EDBCF19 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:26:52] 657*2^1415266-1 is not prime. Res64: E0D0293588EEA25D Time : 0.0 sec. user=mdettweiler [2015-11-17 20:27:17] 737*2^1415266-1 is not prime. Res64: B1C5B82B98C168A6 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:27:18] 741*2^1415266-1 is not prime. Res64: 680448A84ABDA62C Time : 0.0 sec. user=mdettweiler [2015-11-17 20:36:01] 773*2^1415266-1 is not prime. Res64: 3D96F44C82AB8867 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:36:02] 785*2^1415266-1 is not prime. Res64: F7866443B1AF0481 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:44:27] 971*2^1415266-1 is not prime. Res64: E0B9E4D88280CF01 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:44:27] 981*2^1415266-1 is not prime. Res64: 02A13CDA7C7B02AE Time : 0.0 sec. user=mdettweiler [2015-11-17 20:44:54] 813*2^1415267-1 is not prime. Res64: 1AE93C55E7C884EE Time : 0.0 sec. user=mdettweiler [2015-11-17 20:44:55] 931*2^1415267-1 is not prime. Res64: 8649049626024D77 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:45:26] 981*2^1415267-1 is not prime. Res64: 57F6EB8D26D4858F Time : 0.0 sec. user=mdettweiler [2015-11-17 20:45:26] 615*2^1415268-1 is not prime. Res64: ACC91B5633A4EE14 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:54:06] 705*2^1415268-1 is not prime. Res64: 7BC37B533A36F123 Time : 0.0 sec. user=mdettweiler [2015-11-17 20:54:07] 797*2^1415268-1 is not prime. Res64: 0EE4A23C96231244 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:02:34] 609*2^1415269-1 is not prime. Res64: 574D65A5CE6C1D46 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:02:35] 639*2^1415269-1 is not prime. Res64: 47469A8D17B90D9A Time : 0.0 sec. user=mdettweiler [2015-11-17 21:02:54] 757*2^1415269-1 is not prime. Res64: 9FB20DD9274645F2 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:02:55] 877*2^1415269-1 is not prime. Res64: 44FDDFB7CADCBA43 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:03:23] 955*2^1415269-1 is not prime. Res64: AD9A59413F9538B4 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:03:24] 957*2^1415269-1 is not prime. Res64: 30DC895FF168730D Time : 0.0 sec. user=mdettweiler [2015-11-17 21:12:02] 987*2^1415269-1 is not prime. Res64: AE6CC209317EEBE1 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:12:04] 603*2^1415270-1 is not prime. Res64: 412542E1A1B62673 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:20:41] 671*2^1415270-1 is not prime. Res64: 29A9AF0D20B13A22 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:20:41] 707*2^1415270-1 is not prime. Res64: D1D16719098264D2 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:21:05] 741*2^1415270-1 is not prime. Res64: 76C61DB35FE1986E Time : 0.0 sec. user=mdettweiler [2015-11-17 21:21:05] 773*2^1415270-1 is not prime. Res64: 0B05B580BE32B025 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:21:34] 797*2^1415270-1 is not prime. Res64: 590F17EB038079BB Time : 0.0 sec. user=mdettweiler [2015-11-17 21:21:34] 801*2^1415270-1 is not prime. Res64: EF2BA515F8494751 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:30:27] 843*2^1415270-1 is not prime. Res64: 18D34A85BD62CE2B Time : 0.0 sec. user=mdettweiler [2015-11-17 21:30:28] 935*2^1415270-1 is not prime. Res64: D408A344155A1136 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:38:57] 965*2^1415270-1 is not prime. Res64: CE734AF1F8BA0F12 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:38:58] 705*2^1415271-1 is not prime. Res64: B938992EBF98555E Time : 0.0 sec. user=mdettweiler [2015-11-17 21:39:17] 735*2^1415271-1 is not prime. Res64: 9C484651E02EBD18 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:39:18] 793*2^1415271-1 is not prime. Res64: 831A7A8658E63000 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:39:39] 879*2^1415271-1 is not prime. Res64: C74F1723AC5D0DF0 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:39:40] 961*2^1415271-1 is not prime. Res64: 1B29A38AD9EE7599 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:48:39] 623*2^1415272-1 is not prime. Res64: 8A6A519A251E18A4 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:48:39] 629*2^1415272-1 is not prime. Res64: A2C67F6E43E4B1B4 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:09] 705*2^1415272-1 is not prime. Res64: 851E44336751A595 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:09] 849*2^1415272-1 is not prime. Res64: 17D5075901448051 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:27] 875*2^1415272-1 is not prime. Res64: A6C0828E16B61475 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:27] 887*2^1415272-1 is not prime. Res64: 0CBD59D56C5C7036 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:50] 615*2^1415273-1 is not prime. Res64: 244478904C118878 Time : 0.0 sec. user=mdettweiler [2015-11-17 21:57:50] 775*2^1415273-1 is not prime. Res64: 82A2DC34E8417EC7 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:06:44] 861*2^1415273-1 is not prime. Res64: 0A1E6C3E5FAB248B Time : 0.0 sec. user=mdettweiler [2015-11-17 22:06:44] 937*2^1415273-1 is not prime. Res64: 2161DA366B534692 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:09] 939*2^1415273-1 is not prime. Res64: 05D671DFB4F81523 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:10] 979*2^1415273-1 is not prime. Res64: DC2DC41B46E01B3F Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:32] 621*2^1415274-1 is not prime. Res64: 2CA357D53084F4BD Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:32] 663*2^1415274-1 is not prime. Res64: EAB17EA6F3D5DADF Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:57] 681*2^1415274-1 is not prime. Res64: 029DCDD910FC95A2 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:15:57] 755*2^1415274-1 is not prime. Res64: 51E4CEA7EEC01C3F Time : 0.0 sec. user=mdettweiler [2015-11-17 22:24:44] 765*2^1415274-1 is not prime. Res64: 406924344761B666 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:24:45] 815*2^1415274-1 is not prime. Res64: 29D89A9D6AE8F1D6 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:13] 873*2^1415274-1 is not prime. Res64: 94A78F326A663D48 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:13] 915*2^1415274-1 is not prime. Res64: A4326C6E350B4C11 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:26] 693*2^1415275-1 is not prime. Res64: A2CCC9161F7A6B0A Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:27] 715*2^1415275-1 is not prime. Res64: 6272F1C53FC896FB Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:53] 849*2^1415275-1 is not prime. Res64: 01A5599F4FA11EA7 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:33:53] 859*2^1415275-1 is not prime. Res64: 3BF3BECC764027CF Time : 0.0 sec. user=mdettweiler [2015-11-17 22:42:47] 891*2^1415275-1 is not prime. Res64: 2E087FCE2DE62147 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:42:47] 915*2^1415275-1 is not prime. Res64: 832A2D14E178E976 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:51:16] 969*2^1415275-1 is not prime. Res64: E328BC0C41516644 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:51:17] 683*2^1415276-1 is not prime. Res64: F77FD1909C9EAC89 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:51:33] 717*2^1415276-1 is not prime. Res64: 53C22C3616C3EBAA Time : 0.0 sec. user=mdettweiler [2015-11-17 22:51:34] 719*2^1415276-1 is not prime. Res64: 332ED8D04251C875 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:52:01] 825*2^1415276-1 is not prime. Res64: 9971F9E684FD3A50 Time : 0.0 sec. user=mdettweiler [2015-11-17 22:52:01] 867*2^1415276-1 is not prime. Res64: BA4C1058E46DEA7F Time : 0.0 sec. user=mdettweiler [2015-11-17 23:00:47] 873*2^1415276-1 is not prime. Res64: 88C719D566ACDAD1 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:00:48] 893*2^1415276-1 is not prime. Res64: 516FE441A9E6FA5B Time : 0.0 sec. user=mdettweiler [2015-11-17 23:09:20] 923*2^1415276-1 is not prime. Res64: 53DF22DD5EADBD4C Time : 0.0 sec. user=mdettweiler [2015-11-17 23:09:22] 953*2^1415276-1 is not prime. Res64: AE4D71954634AF0D Time : 0.0 sec. user=mdettweiler [2015-11-17 23:09:37] 741*2^1415277-1 is not prime. Res64: E0E83344266C4C2E Time : 0.0 sec. user=mdettweiler [2015-11-17 23:09:38] 751*2^1415277-1 is not prime. Res64: FE2ED1D71EAD0AF3 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:10:13] 819*2^1415277-1 is not prime. Res64: 6F50684F03AD1E41 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:10:14] 865*2^1415277-1 is not prime. Res64: 858BF8BF0BA872B3 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:18:54] 945*2^1415277-1 is not prime. Res64: 36103E0C772503A7 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:18:55] 991*2^1415277-1 is not prime. Res64: 2ACF1797821A5E1C Time : 0.0 sec. user=mdettweiler [2015-11-17 23:27:41] 999*2^1415277-1 is not prime. Res64: A48D4572CCB8E146 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:27:41] 605*2^1415278-1 is not prime. Res64: 22E2A5F68ACEA654 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:27:42] 611*2^1415278-1 is not prime. Res64: F0E2F8F658F8CE44 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:27:42] 657*2^1415278-1 is not prime. Res64: B3777815F62CBB2E Time : 0.0 sec. user=mdettweiler [2015-11-17 23:28:25] 663*2^1415278-1 is not prime. Res64: B9434E7F736E249E Time : 0.0 sec. user=mdettweiler [2015-11-17 23:28:26] 765*2^1415278-1 is not prime. Res64: 706556F11C24FE5B Time : 0.0 sec. user=mdettweiler [2015-11-17 23:38:38] 773*2^1415278-1 is not prime. Res64: 25C7D26E47894DF4 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:38:39] 831*2^1415278-1 is not prime. Res64: 3C8031E665AE7B87 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:48:53] 833*2^1415278-1 is not prime. Res64: C0C2ACBDE55B6F4F Time : 0.0 sec. user=mdettweiler [2015-11-17 23:48:54] 951*2^1415278-1 is not prime. Res64: 68E6CCC20C3E53E9 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:49:04] 987*2^1415278-1 is not prime. Res64: A3A34CABADBFBA71 Time : 0.0 sec. user=mdettweiler [2015-11-17 23:49:05] 601*2^1415279-1 is not prime. Res64: 643A7B6A4E4E645C Time : 0.0 sec. user=mdettweiler [2015-11-17 23:49:52] 621*2^1415279-1 is not prime. Res64: 46A991DD0632592C Time : 0.0 sec. user=mdettweiler [2015-11-17 23:49:52] 643*2^1415279-1 is not prime. Res64: A072BBE862F421B9 Time : 0.0 sec. user=mdettweiler [2015-11-18 00:00:08] 685*2^1415279-1 is not prime. Res64: 829550E47E0B68EA Time : 0.0 sec. user=mdettweiler [2015-11-18 00:00:08] 789*2^1415279-1 is not prime. Res64: 10D7903DF4A6F3BF Time : 0.0 sec.