user=mdettweiler
[2015-11-30 00:05:20]
903*2^1416432-1 is not prime.  Res64: ABEFBCF0ED588073  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:05:21]
933*2^1416432-1 is not prime.  Res64: 78593E7A10202B32  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:08:09]
769*2^1416433-1 is not prime.  Res64: 14548EAFB0FAD49B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:08:09]
831*2^1416433-1 is not prime.  Res64: 4E18C24F14902935  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:08:11]
939*2^1416433-1 is not prime.  Res64: BD898939C121FAF9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:08:11]
651*2^1416434-1 is not prime.  Res64: 89084535DD7D41E1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:23:13]
683*2^1416434-1 is not prime.  Res64: 9CE8BA3166A59B7E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:23:14]
731*2^1416434-1 is not prime.  Res64: C00B41FF6509FCC3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:25:48]
981*2^1416434-1 is not prime.  Res64: BE59752E8C4DF66A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:25:48]
639*2^1416435-1 is not prime.  Res64: 1A8AF8CB46BAE298  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:25:50]
691*2^1416435-1 is not prime.  Res64: E0F01EC6C060928D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:25:50]
705*2^1416435-1 is not prime.  Res64: 4807E47B1443D68F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:40:55]
853*2^1416435-1 is not prime.  Res64: 46A55888BFDD57F7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:40:56]
647*2^1416436-1 is not prime.  Res64: 2FD0909FBD38B435  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:43:25]
735*2^1416436-1 is not prime.  Res64: D48B1263CDC2AD0C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:43:26]
777*2^1416436-1 is not prime.  Res64: C3CEE397FC1DB459  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:43:27]
857*2^1416436-1 is not prime.  Res64: 9DCAFE723EBCCAC2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:43:28]
873*2^1416436-1 is not prime.  Res64: F2DA01FAA77C206B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:58:37]
875*2^1416436-1 is not prime.  Res64: F5E70C4F9CEED869  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 00:58:37]
983*2^1416436-1 is not prime.  Res64: 653650CBBDFDE915  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:01:05]
607*2^1416437-1 is not prime.  Res64: 7F89CD30423C28A9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:01:06]
615*2^1416437-1 is not prime.  Res64: D1DBF67F3B486C5C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:01:07]
619*2^1416437-1 is not prime.  Res64: 107A9E522FA84470  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:01:08]
747*2^1416437-1 is not prime.  Res64: A1402CBF757BE04F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:16:29]
825*2^1416437-1 is not prime.  Res64: 08BCFBA36BDDF275  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:16:30]
991*2^1416437-1 is not prime.  Res64: 5DC33EBC02E117FB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:18:59]
693*2^1416438-1 is not prime.  Res64: 64026491CBED8F58  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:18:59]
605*2^1416438-1 is not prime.  Res64: 49C2500BF570A77F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:19:00]
705*2^1416438-1 is not prime.  Res64: AD4F4E5BB191B250  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:19:00]
635*2^1416438-1 is not prime.  Res64: 457B028B0C65F84F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:34:15]
801*2^1416438-1 is not prime.  Res64: 67FCE5A79833C03C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:34:15]
821*2^1416438-1 is not prime.  Res64: 9FCFDCCD79D12908  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:36:41]
923*2^1416438-1 is not prime.  Res64: D72701C73A549C1E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:36:41]
941*2^1416438-1 is not prime.  Res64: 29411A366F969C9C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:36:57]
825*2^1416438-1 is not prime.  Res64: 723B99C90FBC52C2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:36:58]
881*2^1416438-1 is not prime.  Res64: 9A246ACFBF08703E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:51:57]
603*2^1416439-1 is not prime.  Res64: F0CD17DD50760F11  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:51:58]
625*2^1416439-1 is not prime.  Res64: B832F2EC6B384193  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:54:20]
645*2^1416439-1 is not prime.  Res64: 01FA9FC18910B273  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:54:20]
969*2^1416439-1 is not prime.  Res64: E4844D0A913A8DAE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:54:36]
699*2^1416440-1 is not prime.  Res64: A3EAD11962B8863C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 01:54:36]
915*2^1416440-1 is not prime.  Res64: 68B5E20E9E37DF2C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:09:37]
625*2^1416441-1 is not prime.  Res64: 1DABBC14D4D0E7EB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:09:38]
627*2^1416441-1 is not prime.  Res64: 8803EBF700DF24A7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:11:57]
789*2^1416441-1 is not prime.  Res64: 838F1D6EC4BFB506  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:11:57]
955*2^1416441-1 is not prime.  Res64: B281B21C37CCB16A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:12:15]
755*2^1416442-1 is not prime.  Res64: D3BC7FE3B2843EE5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:12:15]
821*2^1416442-1 is not prime.  Res64: AD9C220BDDFC702E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:27:20]
669*2^1416443-1 is not prime.  Res64: E55747C55C659F37  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:27:20]
813*2^1416443-1 is not prime.  Res64: AB0CDC25AFF2174E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:29:34]
871*2^1416443-1 is not prime.  Res64: 7C5EE331B382DA86  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:29:35]
901*2^1416443-1 is not prime.  Res64: 06F651A1B5040809  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:29:54]
629*2^1416444-1 is not prime.  Res64: E0B5CF661CC05839  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:29:55]
705*2^1416444-1 is not prime.  Res64: 144D42E88B58AA0A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:44:59]
843*2^1416444-1 is not prime.  Res64: 2692C470C80E413A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:45:00]
875*2^1416444-1 is not prime.  Res64: 97CA2BA3A1F6740C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:47:18]
887*2^1416444-1 is not prime.  Res64: 13BEF861035F9B44  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:47:18]
929*2^1416444-1 is not prime.  Res64: AA29B6179C9B1D50  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:47:33]
965*2^1416444-1 is not prime.  Res64: 1F04C547BB230B89  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 02:47:33]
717*2^1416445-1 is not prime.  Res64: 0541A3E979AAD181  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:02:43]
771*2^1416445-1 is not prime.  Res64: 88434A40206D5FF4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:02:43]
847*2^1416445-1 is not prime.  Res64: D12A69AA63E9B5DD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:04:56]
861*2^1416445-1 is not prime.  Res64: 41E1431F789B5F01  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:04:58]
615*2^1416446-1 is not prime.  Res64: 415C785A8CDB5D46  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:05:10]
657*2^1416446-1 is not prime.  Res64: C14939EC3D06A0E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:05:14]
827*2^1416446-1 is not prime.  Res64: 59403E42C2E9B821  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:20:29]
781*2^1416447-1 is not prime.  Res64: CD3CF532475F0AE7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:20:30]
805*2^1416447-1 is not prime.  Res64: 1C2F32693BE993AE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:23:15]
843*2^1416447-1 is not prime.  Res64: E506F5C7CBB98A6D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:23:15]
973*2^1416447-1 is not prime.  Res64: 1DD5C9E679008CCF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:23:18]
773*2^1416448-1 is not prime.  Res64: 903937CA85858722  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:23:18]
975*2^1416448-1 is not prime.  Res64: 09F31B6257B4A5BA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:38:07]
615*2^1416449-1 is not prime.  Res64: 41991D3BCB161192  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:38:09]
729*2^1416449-1 is not prime.  Res64: E493E85453CA0FE8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:40:53]
741*2^1416449-1 is not prime.  Res64: B886AFBA220D832C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:40:54]
775*2^1416449-1 is not prime.  Res64: 4FF72BE7BB3B8B3B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:40:59]
855*2^1416449-1 is not prime.  Res64: 9A4A3F82610997C9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:41:00]
879*2^1416449-1 is not prime.  Res64: 9A2D44EF4868E817  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:56:21]
747*2^1416450-1 is not prime.  Res64: BD9908488DFEE715  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:56:22]
791*2^1416450-1 is not prime.  Res64: B9FB9A764E168701  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:58:36]
801*2^1416450-1 is not prime.  Res64: 7DBEF0847A004F1D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:58:36]
875*2^1416450-1 is not prime.  Res64: 9CBACA60C8BBE6E6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:58:39]
893*2^1416450-1 is not prime.  Res64: B61A07645653A6A6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 03:58:40]
951*2^1416450-1 is not prime.  Res64: 8FC7D93EAF533641  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:14:01]
645*2^1416451-1 is not prime.  Res64: 92E1AAA25416D17A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:14:01]
691*2^1416451-1 is not prime.  Res64: 9E5FAEE31E344CC7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:16:13]
715*2^1416451-1 is not prime.  Res64: 9920BE47372414E4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:16:13]
751*2^1416451-1 is not prime.  Res64: D4140775E0781708  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:16:15]
871*2^1416451-1 is not prime.  Res64: B4B25884A4715C60  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:16:16]
931*2^1416451-1 is not prime.  Res64: C8389E4EA1C817CC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:31:39]
973*2^1416451-1 is not prime.  Res64: F3E61B8537DCF1B3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:31:40]
975*2^1416451-1 is not prime.  Res64: BCC94805A7E610B7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:33:49]
979*2^1416451-1 is not prime.  Res64: 054E46560A18DF52  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:33:50]
603*2^1416452-1 is not prime.  Res64: AB5B61042A4F7C3E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:33:51]
629*2^1416452-1 is not prime.  Res64: 2A7B26A9B76ABBBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:33:52]
669*2^1416452-1 is not prime.  Res64: A2D3FBD7CC96502B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:49:17]
677*2^1416452-1 is not prime.  Res64: 041963D403886558  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:49:17]
687*2^1416452-1 is not prime.  Res64: 44D87706BE392B7E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:51:26]
725*2^1416452-1 is not prime.  Res64: 35EC183F100FC3FF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:51:26]
679*2^1416453-1 is not prime.  Res64: 5D08974C6D012A5E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:51:27]
735*2^1416453-1 is not prime.  Res64: 0681AB619D3A8B8B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 04:51:27]
741*2^1416453-1 is not prime.  Res64: 403E4D95656FB220  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:06:53]
745*2^1416453-1 is not prime.  Res64: B571AC6DEE73A368  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:06:54]
747*2^1416453-1 is not prime.  Res64: EBB8E82978E6E049  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:09:02]
795*2^1416453-1 is not prime.  Res64: C72D7E48505D0DD0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:09:02]
835*2^1416453-1 is not prime.  Res64: B898AF0C85415EBA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:09:02]
877*2^1416453-1 is not prime.  Res64: DA4B9C606913CBA0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:09:03]
985*2^1416453-1 is not prime.  Res64: A14AE02F85B81264  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:24:37]
695*2^1416454-1 is not prime.  Res64: A7CDF7C1FD933B6B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:24:37]
861*2^1416454-1 is not prime.  Res64: 9A391C6E8D572859  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:26:39]
885*2^1416454-1 is not prime.  Res64: 807556650E034065  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:26:39]
1001*2^1416454-1 is not prime.  Res64: 3543EB6AE9DE6B12  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:26:40]
601*2^1416455-1 is not prime.  Res64: 8EA5B8FBB7C0A97C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:26:40]
645*2^1416455-1 is not prime.  Res64: 2B2C53D408601E91  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:42:13]
663*2^1416455-1 is not prime.  Res64: 193868BC0CD5B58B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:42:13]
759*2^1416455-1 is not prime.  Res64: 47353FFC892291FD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:44:14]
763*2^1416455-1 is not prime.  Res64: A0BE252A0987C42D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:44:14]
979*2^1416455-1 is not prime.  Res64: 87B201ACDCF72230  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:44:16]
735*2^1416456-1 is not prime.  Res64: 2CFBDF2CBF05A0BE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:44:16]
779*2^1416456-1 is not prime.  Res64: F8B5D116485C9D29  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:59:53]
825*2^1416456-1 is not prime.  Res64: 55FCC1BDCDBB90EA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 05:59:53]
839*2^1416456-1 is not prime.  Res64: 0E14E974A88982B5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:01:51]
993*2^1416456-1 is not prime.  Res64: 072BB741D11EC0E0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:01:51]
667*2^1416457-1 is not prime.  Res64: 4525FF9B8EB2769F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:01:55]
769*2^1416457-1 is not prime.  Res64: F4DF94113FEA7B96  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:01:56]
871*2^1416457-1 is not prime.  Res64: 73F1EC8CA4253CD6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:17:30]
937*2^1416457-1 is not prime.  Res64: D88F942EF8D2F428  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:17:31]
687*2^1416458-1 is not prime.  Res64: 4ACF8BED628CEE3F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:19:28]
801*2^1416458-1 is not prime.  Res64: 22592420C9EF9237  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:19:29]
915*2^1416458-1 is not prime.  Res64: B2812902B264D6D1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:19:36]
921*2^1416458-1 is not prime.  Res64: E140F73C759C5E94  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:19:36]
935*2^1416458-1 is not prime.  Res64: E2AC5CA4ACC78615  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:35:07]
971*2^1416458-1 is not prime.  Res64: CC89665F50537238  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:35:07]
625*2^1416459-1 is not prime.  Res64: 3BA5A9B203AFE5DD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:37:08]
675*2^1416459-1 is not prime.  Res64: B9DB0BF38458E89B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:37:08]
745*2^1416459-1 is not prime.  Res64: 9054E825AB933341  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:37:11]
789*2^1416459-1 is not prime.  Res64: FCA280E161E593DB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:37:11]
895*2^1416459-1 is not prime.  Res64: BDFB1D7EA9BA7806  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:52:43]
675*2^1416460-1 is not prime.  Res64: 66C1B44917BC2BB6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:52:43]
677*2^1416460-1 is not prime.  Res64: B8E1B5D2C56E99EE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:54:45]
983*2^1416460-1 is not prime.  Res64: 1D714AE73C33B52A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:54:45]
735*2^1416461-1 is not prime.  Res64: 72517667CF188B88  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:54:48]
747*2^1416461-1 is not prime.  Res64: 71C1A17767BD46B3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 06:54:48]
777*2^1416461-1 is not prime.  Res64: 3AA470B41C8489C5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:10:22]
837*2^1416461-1 is not prime.  Res64: E1720205879BC1F1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:10:22]
871*2^1416461-1 is not prime.  Res64: 0DB32BB7BB72CC81  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:12:24]
755*2^1416462-1 is not prime.  Res64: CE3F19B5811C4013  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:12:25]
761*2^1416462-1 is not prime.  Res64: B3B713BEA0BAFEE8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:12:25]
767*2^1416462-1 is not prime.  Res64: C0899B21435C3CFF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:12:25]
777*2^1416462-1 is not prime.  Res64: 10FF9AAC7A789E45  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:28:00]
815*2^1416462-1 is not prime.  Res64: 46DDD55FABC3C925  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:28:00]
863*2^1416462-1 is not prime.  Res64: A79CC7A845BCFFFB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:30:00]
609*2^1416463-1 is not prime.  Res64: FFC1B8A40141D599  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:30:01]
663*2^1416463-1 is not prime.  Res64: 377D6E5E3E4ADD2E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:30:06]
887*2^1416462-1 is not prime.  Res64: 13AF359A2B24C0B7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:30:07]
945*2^1416462-1 is not prime.  Res64: 52D5C5FC35DFEDB3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:45:37]
679*2^1416463-1 is not prime.  Res64: 69B86638F817723B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:45:37]
693*2^1416463-1 is not prime.  Res64: 4382F8F9A15517DA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:47:39]
735*2^1416463-1 is not prime.  Res64: 3056C445DFD7D054  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:47:40]
873*2^1416463-1 is not prime.  Res64: E89B2016B9FD5D1F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:47:44]
883*2^1416463-1 is not prime.  Res64: 2CA42254B31009AC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 07:47:45]
885*2^1416463-1 is not prime.  Res64: 9CD4CD6B34FCDB7A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:03:14]
961*2^1416463-1 is not prime.  Res64: 536569B26B058D65  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:03:15]
657*2^1416464-1 is not prime.  Res64: 0331FC9ABB33F805  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:05:15]
699*2^1416464-1 is not prime.  Res64: 5C2F249CFAA39BEC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:05:16]
753*2^1416464-1 is not prime.  Res64: CD26A6FFE9A713D4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:05:19]
759*2^1416464-1 is not prime.  Res64: ADBA505443CBBEED  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:05:21]
843*2^1416464-1 is not prime.  Res64: 8CD325149119FD67  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:21:05]
855*2^1416464-1 is not prime.  Res64: E95BDEC31DB50D27  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:21:06]
875*2^1416464-1 is not prime.  Res64: 0E6ACFBC2DB25A25  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:22:57]
627*2^1416465-1 is not prime.  Res64: 65E50A7AB553728A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:22:57]
639*2^1416465-1 is not prime.  Res64: 96FC4A8956A53053  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:23:02]
651*2^1416465-1 is not prime.  Res64: 9FF396FA068B13C4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:23:03]
675*2^1416465-1 is not prime.  Res64: FAAFE33DDFBEBE52  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:38:45]
741*2^1416465-1 is not prime.  Res64: 75CDF412AB69F79A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:38:45]
817*2^1416465-1 is not prime.  Res64: E2A8040DBF0D608B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:40:34]
891*2^1416465-1 is not prime.  Res64: FADD5A2485EA3852  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:40:34]
955*2^1416465-1 is not prime.  Res64: 707D2069ADF0BEE8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:40:41]
969*2^1416465-1 is not prime.  Res64: B8F79815999C6CBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:40:41]
999*2^1416465-1 is not prime.  Res64: D41FA7A1A29B0F6B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:56:21]
653*2^1416466-1 is not prime.  Res64: 58A3E5FF09DD1378  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:56:22]
717*2^1416466-1 is not prime.  Res64: 5A07D10D61DAD4E0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:58:09]
723*2^1416466-1 is not prime.  Res64: EF03D6685EB14CE0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:58:10]
741*2^1416466-1 is not prime.  Res64: AAABB06C4E17276C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:58:16]
755*2^1416466-1 is not prime.  Res64: 64EBCD79A5AD8436  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 08:58:17]
601*2^1416467-1 is not prime.  Res64: 199A2BB0CB389E15  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:13:58]
655*2^1416467-1 is not prime.  Res64: 2D32A264B0D94557  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:13:58]
669*2^1416467-1 is not prime.  Res64: 067F2637D2AB03A3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:15:46]
711*2^1416467-1 is not prime.  Res64: 185B8D2391DE2393  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:15:47]
733*2^1416467-1 is not prime.  Res64: 6D27D12E8515E134  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:15:53]
735*2^1416467-1 is not prime.  Res64: BBD7801AE578EB7D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:15:54]
829*2^1416467-1 is not prime.  Res64: 4FD5182CB6B654DA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:31:37]
841*2^1416467-1 is not prime.  Res64: CFB78FA5437569AA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:31:38]
963*2^1416467-1 is not prime.  Res64: 388F76DEED3DD518  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:33:22]
981*2^1416467-1 is not prime.  Res64: 596C2F416F5FDE82  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:33:23]
737*2^1416468-1 is not prime.  Res64: E40FDF72AF2D31F5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:33:31]
765*2^1416468-1 is not prime.  Res64: E98F4599D13DE030  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:33:31]
773*2^1416468-1 is not prime.  Res64: C4E549A54D480C05  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:49:14]
819*2^1416468-1 is not prime.  Res64: 30934C85A96B1EFA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:49:14]
923*2^1416468-1 is not prime.  Res64: 699B332489D70EE8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:50:58]
959*2^1416468-1 is not prime.  Res64: D9611E7521D5CBCB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:50:59]
601*2^1416469-1 is not prime.  Res64: FA6804C4EF47B724  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:51:07]
649*2^1416469-1 is not prime.  Res64: 048949F872CAD03E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 09:51:07]
757*2^1416469-1 is not prime.  Res64: 17DE7AFC84D615BA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:06:51]
627*2^1416470-1 is not prime.  Res64: F64CA3AB38341C88  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:06:52]
651*2^1416470-1 is not prime.  Res64: E104A8F40CA87687  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:08:36]
797*2^1416470-1 is not prime.  Res64: 6809D7C6ECD63643  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:08:36]
861*2^1416470-1 is not prime.  Res64: C5332725E112F7BD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:08:44]
887*2^1416470-1 is not prime.  Res64: FE515C965DC4A2BE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:08:44]
981*2^1416470-1 is not prime.  Res64: C5226655BDE92CDE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:24:31]
685*2^1416471-1 is not prime.  Res64: C81AA1C6B54C1F99  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:24:32]
723*2^1416471-1 is not prime.  Res64: FC50137BEC6E5383  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:26:12]
931*2^1416471-1 is not prime.  Res64: 05CCFF5CFCAFA5E1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:26:12]
933*2^1416471-1 is not prime.  Res64: 3B5161A4F9A1D0B3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:26:20]
975*2^1416471-1 is not prime.  Res64: 4D4FBE499C8ECBDF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:26:21]
605*2^1416472-1 is not prime.  Res64: 56308CC468F16A2B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:42:08]
677*2^1416472-1 is not prime.  Res64: D6EAC1E85FB28891  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:42:08]
875*2^1416472-1 is not prime.  Res64: 77FA27E3B6423F3A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:43:48]
741*2^1416473-1 is not prime.  Res64: B0CE104D027DE545  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:43:48]
837*2^1416473-1 is not prime.  Res64: 1BE8E8344563700E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:43:57]
861*2^1416473-1 is not prime.  Res64: 21CE1F19532CBE8E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:43:57]
641*2^1416474-1 is not prime.  Res64: EF65048409018D25  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:59:46]
705*2^1416474-1 is not prime.  Res64: 4D62DE997AB6BCC8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 10:59:47]
873*2^1416474-1 is not prime.  Res64: 0A988C88F570F630  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:01:26]
971*2^1416474-1 is not prime.  Res64: 549958A3B98B10D1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:01:27]
693*2^1416475-1 is not prime.  Res64: 650114B9A46E6000  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:01:36]
723*2^1416475-1 is not prime.  Res64: AACABE2AC27F425C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:01:37]
735*2^1416475-1 is not prime.  Res64: 940AC1C8AE9E9A15  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:17:25]
871*2^1416475-1 is not prime.  Res64: 85995CC5B6779064  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:17:26]
951*2^1416475-1 is not prime.  Res64: D1AE3153EDA62FE2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:19:05]
623*2^1416476-1 is not prime.  Res64: C32C67F72BC4C26B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:19:06]
683*2^1416476-1 is not prime.  Res64: 0A8394445DFB1E90  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:19:14]
707*2^1416476-1 is not prime.  Res64: 4459DA9EE2136135  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:19:14]
875*2^1416476-1 is not prime.  Res64: 46BB71626EC5C598  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:35:03]
909*2^1416476-1 is not prime.  Res64: 0F93BC120265028A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:35:03]
625*2^1416477-1 is not prime.  Res64: 890AA8D7D2A97D8A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:36:43]
727*2^1416477-1 is not prime.  Res64: 80DC362BA3AA4F20  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:36:44]
617*2^1416478-1 is not prime.  Res64: CF0AD2C1A575C75A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:36:50]
707*2^1416478-1 is not prime.  Res64: AD527249B61ABDA7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:36:51]
777*2^1416478-1 is not prime.  Res64: 730AC9243BF26254  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:52:40]
827*2^1416478-1 is not prime.  Res64: C8B74FCCAC929E98  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:52:41]
831*2^1416478-1 is not prime.  Res64: 6125CECC9B5C6B60  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:54:21]
867*2^1416478-1 is not prime.  Res64: 193313FBC6766E89  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:54:22]
887*2^1416478-1 is not prime.  Res64: B90A3991714077F3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:54:32]
995*2^1416478-1 is not prime.  Res64: 23DD013AD020A8B4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 11:54:32]
619*2^1416479-1 is not prime.  Res64: A50AD69CC54957CE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:10:21]
661*2^1416479-1 is not prime.  Res64: 0B09362A1497F137  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:10:22]
663*2^1416479-1 is not prime.  Res64: 9432B4F176124810  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:12:01]
669*2^1416479-1 is not prime.  Res64: 62B52AF85F143D2E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:12:02]
775*2^1416479-1 is not prime.  Res64: 7902CB5B6ACAF25C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:12:12]
921*2^1416479-1 is not prime.  Res64: EAC9E4D181C7C742  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:12:13]
943*2^1416479-1 is not prime.  Res64: 6322EA42077153FF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:27:58]
955*2^1416479-1 is not prime.  Res64: CA87DD0762EB886B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:27:59]
723*2^1416480-1 is not prime.  Res64: A82815F68AD1603B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:29:37]
765*2^1416480-1 is not prime.  Res64: F2E61E7D796F1D05  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:29:38]
797*2^1416480-1 is not prime.  Res64: 911C1E8363194DD4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:29:51]
867*2^1416480-1 is not prime.  Res64: DAD66C4EFFA5F306  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:29:51]
909*2^1416480-1 is not prime.  Res64: 768E51BEDF9CA6FE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:45:39]
717*2^1416481-1 is not prime.  Res64: F19B0D51F9C81231  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:45:39]
747*2^1416481-1 is not prime.  Res64: 5B734D2DF4967F7D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:47:17]
777*2^1416481-1 is not prime.  Res64: D0E31F9595F9C48A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:47:17]
799*2^1416481-1 is not prime.  Res64: 3BBE1B071B8C9056  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:47:29]
867*2^1416481-1 is not prime.  Res64: 41A91F3494F4AC6A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 12:47:30]
931*2^1416481-1 is not prime.  Res64: 249318FB7B080106  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:03:22]
945*2^1416481-1 is not prime.  Res64: A081FF9CA4F004CA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:03:23]
957*2^1416481-1 is not prime.  Res64: 2897214FC329AA94  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:04:55]
999*2^1416481-1 is not prime.  Res64: C4D0DEECE5430EF7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:04:57]
635*2^1416482-1 is not prime.  Res64: 39716044215E0EEE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:05:09]
657*2^1416482-1 is not prime.  Res64: 3B5FCD9118B46070  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:05:10]
675*2^1416482-1 is not prime.  Res64: CE9E7E07294ACB4C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:21:09]
767*2^1416482-1 is not prime.  Res64: DB6CCA88C6BF9062  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:21:10]
873*2^1416482-1 is not prime.  Res64: C2E10283DD56620B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:22:35]
613*2^1416483-1 is not prime.  Res64: EA77109158D66AAE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:22:36]
679*2^1416483-1 is not prime.  Res64: BCEC4888219A8D9C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:22:52]
685*2^1416483-1 is not prime.  Res64: 48663D6B46C58B89  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:22:53]
735*2^1416483-1 is not prime.  Res64: 379D9AA0EFEB3177  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:38:48]
775*2^1416483-1 is not prime.  Res64: 1F96ECE87C0C8334  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:38:48]
783*2^1416483-1 is not prime.  Res64: 5598B9F972956B37  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:40:15]
793*2^1416483-1 is not prime.  Res64: 13638E789C263E75  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:40:15]
895*2^1416483-1 is not prime.  Res64: CB056EDA608AFB46  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:40:31]
675*2^1416484-1 is not prime.  Res64: 92DF4888B3FFD1FC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:40:31]
743*2^1416484-1 is not prime.  Res64: A2866FDD7FD8EFE3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:56:27]
903*2^1416484-1 is not prime.  Res64: 69A0DFAC0690E07C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:56:28]
927*2^1416484-1 is not prime.  Res64: 9A0553FDF327E4CD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:57:52]
989*2^1416484-1 is not prime.  Res64: 79D28A8E5EC0C321  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:57:52]
649*2^1416485-1 is not prime.  Res64: DFB6F31E310B4552  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:58:11]
721*2^1416485-1 is not prime.  Res64: 0263C9E1C2F84B7E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 13:58:12]
855*2^1416485-1 is not prime.  Res64: 21DD27E44AD42EB4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:14:04]
925*2^1416485-1 is not prime.  Res64: B97299FC36380038  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:14:04]
939*2^1416485-1 is not prime.  Res64: C3F83E2D2E50A4DE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:15:27]
705*2^1416486-1 is not prime.  Res64: 87988C65B5A2F5AE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:15:27]
741*2^1416486-1 is not prime.  Res64: 5448A3DF77604AD9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:15:48]
765*2^1416486-1 is not prime.  Res64: 1BA7661A494F7192  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:15:48]
821*2^1416486-1 is not prime.  Res64: CA966BFD3F11F4BD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:31:46]
873*2^1416486-1 is not prime.  Res64: D07D92A9CE3A18F8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:31:47]
917*2^1416486-1 is not prime.  Res64: 449FAD629A179435  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:33:13]
1001*2^1416486-1 is not prime.  Res64: 0508EEAFE3629783  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:33:13]
609*2^1416487-1 is not prime.  Res64: 58E500355BEF9876  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:33:27]
615*2^1416487-1 is not prime.  Res64: A759183449E03668  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:33:27]
645*2^1416487-1 is not prime.  Res64: AC66A9AC8056417E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:49:23]
831*2^1416487-1 is not prime.  Res64: 796EF6948D63B34D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:49:23]
891*2^1416487-1 is not prime.  Res64: 551BFEBEF5BE31AF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:50:49]
933*2^1416487-1 is not prime.  Res64: 534AE4173621D9A7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:50:49]
993*2^1416487-1 is not prime.  Res64: 05448746CE12AE81  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:51:03]
617*2^1416488-1 is not prime.  Res64: DA1235D3773AA703  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 14:51:03]
669*2^1416488-1 is not prime.  Res64: 21D7190F33679D28  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:07:01]
869*2^1416488-1 is not prime.  Res64: 16823471FDAB05D7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:07:03]
879*2^1416488-1 is not prime.  Res64: 57B4BD704DE16B6B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:08:25]
935*2^1416488-1 is not prime.  Res64: 1E5387F009996C48  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:08:26]
657*2^1416489-1 is not prime.  Res64: 648BAB947DAE9E5B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:08:39]
727*2^1416489-1 is not prime.  Res64: 9D3E958A7F2E21EB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:08:40]
747*2^1416489-1 is not prime.  Res64: 2F0511A851CB4A42  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:24:56]
795*2^1416489-1 is not prime.  Res64: 8E5A3F6F8915FE51  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:24:57]
909*2^1416489-1 is not prime.  Res64: E1B0D97729ED903F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:26:07]
701*2^1416490-1 is not prime.  Res64: E6971750FE6C3A19  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:26:08]
713*2^1416490-1 is not prime.  Res64: E796C5D4F56848DA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:26:24]
731*2^1416490-1 is not prime.  Res64: 904C36BCEB765EA8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:26:24]
915*2^1416490-1 is not prime.  Res64: 815A3DF36221DD62  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:42:33]
941*2^1416490-1 is not prime.  Res64: 8899A68F8FAD9979  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:42:34]
945*2^1416490-1 is not prime.  Res64: F29075F67DC5E23F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:43:44]
663*2^1416491-1 is not prime.  Res64: ECFE5C0EA405883C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:43:44]
703*2^1416491-1 is not prime.  Res64: D7765B70BA7830A2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:44:02]
711*2^1416491-1 is not prime.  Res64: 5B430AB98453F6E0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 15:44:02]
753*2^1416491-1 is not prime.  Res64: CDE5AF2AE7CB541B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:00:10]
823*2^1416491-1 is not prime.  Res64: 7F6F07DFB845CF06  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:00:11]
909*2^1416491-1 is not prime.  Res64: BC75141DCD0C71AA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:01:24]
955*2^1416491-1 is not prime.  Res64: CA64E4F7835E0867  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:01:25]
759*2^1416492-1 is not prime.  Res64: A809FBB7607B1B34  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:01:38]
863*2^1416492-1 is not prime.  Res64: 0F3684361CD52E99  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:01:38]
887*2^1416492-1 is not prime.  Res64: EA3948836C7ABA04  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:17:49]
909*2^1416492-1 is not prime.  Res64: B383AFC28A15A79F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:17:50]
889*2^1416493-1 is not prime.  Res64: 07E1E5B0A623560E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:19:02]
937*2^1416493-1 is not prime.  Res64: FE18A1D15977DAC5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:19:02]
617*2^1416494-1 is not prime.  Res64: 3CCF49C83F950148  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:19:15]
623*2^1416494-1 is not prime.  Res64: 89AE9E12F7800678  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:19:16]
717*2^1416494-1 is not prime.  Res64: CB286C2E7A308CD1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:35:30]
791*2^1416494-1 is not prime.  Res64: 917A5310403F4CDD  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:35:30]
813*2^1416494-1 is not prime.  Res64: CFC24A07462E2380  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:36:37]
873*2^1416494-1 is not prime.  Res64: 79F48E52CE61E4F0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:36:37]
875*2^1416494-1 is not prime.  Res64: C59E979A581E8D1F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:36:50]
923*2^1416494-1 is not prime.  Res64: 437BF4AD56DAFE30  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:36:50]
1001*2^1416494-1 is not prime.  Res64: FC38CE06FE9FE79F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:53:12]
685*2^1416495-1 is not prime.  Res64: 0CBBB09E412B150D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:53:13]
735*2^1416495-1 is not prime.  Res64: 32F8232BCC626069  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:54:15]
741*2^1416495-1 is not prime.  Res64: A2BC04EF6274DB47  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:54:15]
781*2^1416495-1 is not prime.  Res64: 9FE84B06998413F3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:54:31]
871*2^1416495-1 is not prime.  Res64: 541B16E891213DE4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 16:54:31]
921*2^1416495-1 is not prime.  Res64: F89F996B9AEE124B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:10:50]
979*2^1416495-1 is not prime.  Res64: 037D4DA328D4A683  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:10:51]
699*2^1416496-1 is not prime.  Res64: E46DBC431335BF58  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:11:51]
719*2^1416496-1 is not prime.  Res64: E45A14DE949E3680  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:11:52]
735*2^1416496-1 is not prime.  Res64: 634913578BD94DB3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:12:07]
779*2^1416496-1 is not prime.  Res64: 364D81DE2BA091F7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:12:08]
869*2^1416496-1 is not prime.  Res64: D9CABEBD8AA0DAC5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:28:30]
923*2^1416496-1 is not prime.  Res64: B9B2DF7A68ADADB9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:28:31]
939*2^1416496-1 is not prime.  Res64: 5395D5CFFDC8FE48  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:29:28]
989*2^1416496-1 is not prime.  Res64: ECCF666CE996D82A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:29:29]
645*2^1416497-1 is not prime.  Res64: 2CA485AA7FE019C0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:29:43]
691*2^1416497-1 is not prime.  Res64: 95780C7BE9334A06  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:29:44]
769*2^1416497-1 is not prime.  Res64: C9E8EE173F6DA400  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:46:09]
795*2^1416497-1 is not prime.  Res64: F853FCBE33266E2A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:46:09]
805*2^1416497-1 is not prime.  Res64: 1A3C0189844FE2E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:47:06]
633*2^1416498-1 is not prime.  Res64: 3367E362AF0613A7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:47:07]
737*2^1416498-1 is not prime.  Res64: 49697F5DB1A83E95  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:47:21]
773*2^1416498-1 is not prime.  Res64: 173606820494B400  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 17:47:21]
881*2^1416498-1 is not prime.  Res64: 967461D568F04F79  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:03:47]
927*2^1416498-1 is not prime.  Res64: 0B30C20E0811D969  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:03:48]
971*2^1416498-1 is not prime.  Res64: 8CC6DDDC3C7591ED  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:04:42]
625*2^1416499-1 is not prime.  Res64: 3A5DC1B337985F08  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:04:43]
679*2^1416499-1 is not prime.  Res64: 817026B45E5014FB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:04:56]
723*2^1416499-1 is not prime.  Res64: DCFC00CBD76A3174  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:04:57]
883*2^1416499-1 is not prime.  Res64: 293333A434F3250A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:21:38]
925*2^1416499-1 is not prime.  Res64: D2D6C3065A219760  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:21:39]
973*2^1416499-1 is not prime.  Res64: F7B4D0C2891F7218  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:22:21]
975*2^1416499-1 is not prime.  Res64: E5DC66B3AF1DFAD9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:22:21]
615*2^1416500-1 is not prime.  Res64: C04F696CAC613185  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:22:36]
635*2^1416500-1 is not prime.  Res64: 3A4B61F44764BAFB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:22:36]
669*2^1416500-1 is not prime.  Res64: F7258797503204ED  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:39:15]
689*2^1416500-1 is not prime.  Res64: 42ECB8CB20B1B498  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:39:16]
729*2^1416500-1 is not prime.  Res64: F24696D98EDD4093  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:39:58]
875*2^1416500-1 is not prime.  Res64: 9B0B2522F8ADA7CE  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:39:59]
945*2^1416500-1 is not prime.  Res64: DD47E4A2D61D877C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:40:15]
959*2^1416500-1 is not prime.  Res64: 4CE07EA5DD34784D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:40:15]
963*2^1416500-1 is not prime.  Res64: 69B4327F8C501DB9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:56:53]
639*2^1416501-1 is not prime.  Res64: 21958A39AF4918A9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:56:53]
745*2^1416501-1 is not prime.  Res64: 6B3CF397104AC19E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:57:35]
795*2^1416501-1 is not prime.  Res64: 5D5B0AEC4A9DA9ED  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:57:35]
829*2^1416501-1 is not prime.  Res64: C1E22E253EC90328  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:57:52]
837*2^1416501-1 is not prime.  Res64: 75ABE16CA6610FFB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 18:57:52]
969*2^1416501-1 is not prime.  Res64: 8B8699DF466388FC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:14:31]
979*2^1416501-1 is not prime.  Res64: E3ABE05AD43FC02F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:14:32]
999*2^1416501-1 is not prime.  Res64: 7AA600A20D37E920  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:15:12]
665*2^1416502-1 is not prime.  Res64: E82B3F802F6656CA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:15:12]
737*2^1416502-1 is not prime.  Res64: D3948FB7E0114E60  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:15:33]
827*2^1416502-1 is not prime.  Res64: B20C5644FD12ADED  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:15:33]
675*2^1416503-1 is not prime.  Res64: 3561352A6C710A35  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:32:09]
715*2^1416503-1 is not prime.  Res64: 0D17BACEEC8D7072  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:32:09]
879*2^1416503-1 is not prime.  Res64: 8DB3D365FD1FB3B9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:32:48]
885*2^1416503-1 is not prime.  Res64: 35500CC6A5E46E1E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:32:48]
973*2^1416503-1 is not prime.  Res64: 27D1F2F494C00674  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:33:08]
657*2^1416504-1 is not prime.  Res64: 8676178616F3EE86  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:33:09]
689*2^1416504-1 is not prime.  Res64: EBD9A7D442D28C4F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:49:46]
947*2^1416504-1 is not prime.  Res64: 5FB667733ADFDD4C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:49:47]
645*2^1416505-1 is not prime.  Res64: 66DDD76D28E32801  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:50:28]
667*2^1416505-1 is not prime.  Res64: AA1B26EFE05F6989  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:50:29]
715*2^1416505-1 is not prime.  Res64: 59ABD8A72FABCA14  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:50:45]
729*2^1416505-1 is not prime.  Res64: 1BBAF652E6F9DC7D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 19:50:46]
777*2^1416505-1 is not prime.  Res64: 9D899B6466FBBF6F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:07:24]
877*2^1416505-1 is not prime.  Res64: 79EEFBA18E62E5F8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:07:25]
895*2^1416505-1 is not prime.  Res64: A9224FFFAF5C4659  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:08:07]
617*2^1416506-1 is not prime.  Res64: 95039ED917DB0358  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:08:07]
887*2^1416506-1 is not prime.  Res64: C76F8C68D65B11CC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:08:23]
735*2^1416507-1 is not prime.  Res64: 00A26845392F4CDC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:08:23]
793*2^1416507-1 is not prime.  Res64: 7DF28CD95650E1E5  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:25:09]
861*2^1416507-1 is not prime.  Res64: 13E6B7B1B23D0D02  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:25:09]
931*2^1416507-1 is not prime.  Res64: 11347F228CA4A713  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:25:49]
985*2^1416507-1 is not prime.  Res64: 17890AD45B0F3D06  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:25:49]
677*2^1416508-1 is not prime.  Res64: 742F873D0DF6BBB3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:26:06]
843*2^1416508-1 is not prime.  Res64: 7BFE722B6D168FF2  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:26:06]
885*2^1416508-1 is not prime.  Res64: DA9252EA171AAEA1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:42:49]
887*2^1416508-1 is not prime.  Res64: 548CD46A9DBD15B6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:42:49]
927*2^1416508-1 is not prime.  Res64: 7A2F971078500969  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:43:28]
679*2^1416509-1 is not prime.  Res64: F83D399ACE25FEBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:43:29]
811*2^1416509-1 is not prime.  Res64: F78AE9A18AFEEF31  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:43:45]
925*2^1416509-1 is not prime.  Res64: 6BD7FE77999E4083  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 20:43:46]
957*2^1416509-1 is not prime.  Res64: 008694301C40F3A4  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:00:30]
611*2^1416510-1 is not prime.  Res64: AD50BC73D89F9E94  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:00:33]
693*2^1416510-1 is not prime.  Res64: 66DEE1AB86A8848F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:01:05]
765*2^1416510-1 is not prime.  Res64: A800E2ED09D438E6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:01:06]
783*2^1416510-1 is not prime.  Res64: E76101F83CC2CE7A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:01:23]
825*2^1416510-1 is not prime.  Res64: 3604E4FB47F01129  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:01:23]
945*2^1416510-1 is not prime.  Res64: F0253760825292D1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:18:18]
645*2^1416511-1 is not prime.  Res64: F9A5C6E5C0DDC118  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:18:19]
685*2^1416511-1 is not prime.  Res64: C6B3B1DC8D115AD8  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:18:44]
763*2^1416511-1 is not prime.  Res64: D7EFBBA35F0CE259  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:18:44]
871*2^1416511-1 is not prime.  Res64: 6EE536BE6BB88BE0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:19:01]
885*2^1416511-1 is not prime.  Res64: 458B11FFBD24552A  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:19:01]
909*2^1416511-1 is not prime.  Res64: D1A97C91CD94A2B1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:35:58]
939*2^1416511-1 is not prime.  Res64: 735FF968F16C49C1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:35:59]
827*2^1416512-1 is not prime.  Res64: 1DC23BA3A076A536  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:36:19]
999*2^1416512-1 is not prime.  Res64: 7AA96AC5C46F2ECA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:36:20]
649*2^1416513-1 is not prime.  Res64: E7B4E591009C38BF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:36:38]
747*2^1416513-1 is not prime.  Res64: 04CCD38FF47C723E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:36:38]
781*2^1416513-1 is not prime.  Res64: 2F1BCA90398EF29B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:53:34]
861*2^1416513-1 is not prime.  Res64: 883E52907E472774  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:53:35]
681*2^1416514-1 is not prime.  Res64: 1D59D4873ADF21CC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:53:55]
701*2^1416514-1 is not prime.  Res64: B1EA981DAB392408  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:53:56]
857*2^1416514-1 is not prime.  Res64: 144F60655E359D7E  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:54:13]
669*2^1416515-1 is not prime.  Res64: D98104F215924D5D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 21:54:13]
759*2^1416515-1 is not prime.  Res64: 83E0026B0EDBE9F9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:12]
861*2^1416515-1 is not prime.  Res64: DD683DE849F7294C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:12]
963*2^1416515-1 is not prime.  Res64: 107D900F828289D1  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:32]
981*2^1416515-1 is not prime.  Res64: C47C45033DFF0FDB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:33]
985*2^1416515-1 is not prime.  Res64: BA04DEB4C53800D9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:50]
633*2^1416516-1 is not prime.  Res64: BB28BF8277C84D2C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:11:50]
675*2^1416516-1 is not prime.  Res64: 3E5917CEEF994C14  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:08]
689*2^1416516-1 is not prime.  Res64: 095C48D6BDC0C12D  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:08]
705*2^1416516-1 is not prime.  Res64: 86DEDA5DFBA80AC0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:24]
777*2^1416516-1 is not prime.  Res64: D78671C01FC1FBD0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:24]
825*2^1416516-1 is not prime.  Res64: A48CC580EAB58749  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:41]
843*2^1416516-1 is not prime.  Res64: 0D3B94C156AD0F00  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:29:41]
909*2^1416516-1 is not prime.  Res64: 7FFE2D13EB2834D6  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:18]
717*2^1416517-1 is not prime.  Res64: 953D7E662B270E00  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:18]
727*2^1416517-1 is not prime.  Res64: A868DF44B1FF2BBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:34]
801*2^1416517-1 is not prime.  Res64: C5459C57DFB99148  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:35]
871*2^1416517-1 is not prime.  Res64: EDC1D2ECF3C39AD9  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:51]
651*2^1416518-1 is not prime.  Res64: 17AEED2DC6614807  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 22:47:51]
693*2^1416518-1 is not prime.  Res64: 01E8036ECE1F79AA  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:05:27]
755*2^1416518-1 is not prime.  Res64: C55694D03951DC15  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:05:30]
761*2^1416518-1 is not prime.  Res64: D4AA7EA1FF36488C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:05:43]
801*2^1416518-1 is not prime.  Res64: 37100FF38C935F7F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:05:50]
963*2^1416518-1 is not prime.  Res64: FA62A44BEB5F6ABB  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:06:00]
977*2^1416518-1 is not prime.  Res64: 8B66982B86E0614F  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:06:02]
625*2^1416519-1 is not prime.  Res64: A143DB17BC4759B3  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:44]
735*2^1416519-1 is not prime.  Res64: 32435AAF0250BD94  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:44]
741*2^1416519-1 is not prime.  Res64: 200E46936835E05B  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:54]
789*2^1416519-1 is not prime.  Res64: 3351BB8456EEA07C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:54]
885*2^1416519-1 is not prime.  Res64: 8FC4002EAE58FC64  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:56]
943*2^1416519-1 is not prime.  Res64: 277223FA5DF04793  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:27:56]
979*2^1416519-1 is not prime.  Res64: 24D5E02FFE5379F7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:46]
615*2^1416520-1 is not prime.  Res64: 6CD03EC61133670C  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:47]
827*2^1416520-1 is not prime.  Res64: 22F4591AA318BE02  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:54]
927*2^1416520-1 is not prime.  Res64: BB5C461095EEADEF  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:55]
965*2^1416520-1 is not prime.  Res64: 429F0393861F6DC7  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:57]
857*2^1416520-1 is not prime.  Res64: 676BD9195DA2A4D0  Time : 0.0 sec.
user=mdettweiler
[2015-11-30 23:46:57]
915*2^1416520-1 is not prime.  Res64: 759C6371EAF2DE57  Time : 0.0 sec.