user=mdettweiler
[2012-10-25 00:16:45]
651*2^1233054-1 is not prime.  Res64: 3DB51AC99B95D164  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:16:46]
663*2^1233054-1 is not prime.  Res64: 9EB5AACFD21D9E56  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:18:02]
747*2^1233054-1 is not prime.  Res64: EB56F696B0B3DFF9  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:18:02]
791*2^1233054-1 is not prime.  Res64: 509E7F96CB4D5BC6  Time : 0.0 sec.
user=vaughan
[2012-10-25 00:18:14]
939*2^1233053-1 is not prime.  Res64: 2F0A38CD6113D7D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:37:33]
873*2^1233054-1 is not prime.  Res64: 0988793B5161CD1B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:37:33]
765*2^1233055-1 is not prime.  Res64: 292544C94E13A032  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:38:46]
883*2^1233055-1 is not prime.  Res64: 85E816FDC721959E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:38:46]
909*2^1233055-1 is not prime.  Res64: DEED7A644805A8A1  Time : 0.0 sec.
user=vaughan
[2012-10-25 00:56:03]
629*2^1233056-1 is not prime.  Res64: 33CFD6529E531FEB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:58:17]
635*2^1233056-1 is not prime.  Res64: 88487E6B5D0468A2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:58:17]
693*2^1233056-1 is not prime.  Res64: A0100F86F30C9196  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:59:34]
719*2^1233056-1 is not prime.  Res64: 16DBDDCF6048F3AD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 00:59:34]
747*2^1233056-1 is not prime.  Res64: B0B48C1A7BF7F804  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:19:01]
813*2^1233056-1 is not prime.  Res64: CDD28284642E83E7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:19:01]
607*2^1233057-1 is not prime.  Res64: 25FB4E281DD86E97  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:20:16]
735*2^1233057-1 is not prime.  Res64: C3BD0422F629C4E7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:20:17]
765*2^1233057-1 is not prime.  Res64: 55D4DD497EA9FE9A  Time : 0.0 sec.
user=vaughan
[2012-10-25 01:33:48]
755*2^1233056-1 is not prime.  Res64: C47B25D9F04B7CAA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:39:48]
997*2^1233057-1 is not prime.  Res64: A4F56EBCB32800AA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:39:48]
635*2^1233058-1 is not prime.  Res64: E81ECACCBE68F95E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:41:00]
705*2^1233058-1 is not prime.  Res64: 2B0B37CBE42B2DDE  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 01:41:00]
887*2^1233058-1 is not prime.  Res64: 80FB81A72D927014  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:00:32]
633*2^1233059-1 is not prime.  Res64: 9063C05F6B67B11A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:00:33]
643*2^1233059-1 is not prime.  Res64: C0BE41BEDC38CF99  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:01:44]
675*2^1233059-1 is not prime.  Res64: 74B1C9CE2251468A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:01:45]
753*2^1233059-1 is not prime.  Res64: A0305621E0641B6D  Time : 0.0 sec.
user=vaughan
[2012-10-25 02:11:36]
993*2^1233058-1 is not prime.  Res64: C0FC39F29C39039B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:21:30]
811*2^1233059-1 is not prime.  Res64: 63E93610564CA00C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:21:31]
895*2^1233059-1 is not prime.  Res64: 653087D9F38C7A2F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:22:31]
693*2^1233060-1 is not prime.  Res64: 9750AF380E722CE4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:22:32]
725*2^1233060-1 is not prime.  Res64: F759B5C9AF181059  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:42:19]
753*2^1233060-1 is not prime.  Res64: B7584F71C76DB16B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:42:20]
879*2^1233060-1 is not prime.  Res64: 8DA097443B062BC0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:43:18]
965*2^1233060-1 is not prime.  Res64: 1DEA68D90EF2D96C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 02:43:19]
805*2^1233061-1 is not prime.  Res64: 50CA2AE30FF836F9  Time : 0.0 sec.
user=vaughan
[2012-10-25 02:49:29]
737*2^1233060-1 is not prime.  Res64: B9735AC04B393780  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:03:15]
861*2^1233061-1 is not prime.  Res64: 4D69AD09B48418C0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:03:16]
957*2^1233061-1 is not prime.  Res64: F18D21D765EEF40B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:04:06]
967*2^1233061-1 is not prime.  Res64: A737D66DCEE3A14F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:04:07]
711*2^1233062-1 is not prime.  Res64: E118C864FB6B5BA7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:24:05]
831*2^1233062-1 is not prime.  Res64: CA56287AC4BD73A4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:24:06]
679*2^1233063-1 is not prime.  Res64: 3E5BCC21B4A2AE90  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:24:52]
703*2^1233063-1 is not prime.  Res64: 024A387AF18B0D66  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:24:52]
709*2^1233063-1 is not prime.  Res64: 5AFD5BAE9FF4318B  Time : 0.0 sec.
user=vaughan
[2012-10-25 03:27:24]
797*2^1233062-1 is not prime.  Res64: B80F10C16CC6A4DB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:44:52]
933*2^1233063-1 is not prime.  Res64: BBF1E01E80298061  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:44:53]
615*2^1233064-1 is not prime.  Res64: 8EA36B018CB4280A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:45:36]
707*2^1233064-1 is not prime.  Res64: 9B03900F0FDEF95B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 03:45:37]
825*2^1233064-1 is not prime.  Res64: C148FBA23F19895E  Time : 0.0 sec.
user=vaughan
[2012-10-25 04:05:14]
965*2^1233064-1 is not prime.  Res64: E015F8F81A2CDBBD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:05:39]
649*2^1233065-1 is not prime.  Res64: F433C7DAE09C6407  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:05:40]
669*2^1233065-1 is not prime.  Res64: F815D4D643F38315  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:06:21]
721*2^1233065-1 is not prime.  Res64: 154AF7C34E252DB4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:06:23]
771*2^1233065-1 is not prime.  Res64: 25C965FBB7791C22  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:26:28]
795*2^1233065-1 is not prime.  Res64: 73FD5E268644B067  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:26:29]
915*2^1233065-1 is not prime.  Res64: 465E0D1563E1B258  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:27:09]
957*2^1233065-1 is not prime.  Res64: 64A76CC6E1C8AEF2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:27:10]
815*2^1233066-1 is not prime.  Res64: 3FA65CF1ED5686F3  Time : 0.0 sec.
user=vaughan
[2012-10-25 04:43:08]
787*2^1233065-1 is not prime.  Res64: 4A2C42753B49A486  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:47:13]
905*2^1233066-1 is not prime.  Res64: 66529F3D1DDB4960  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:47:14]
993*2^1233066-1 is not prime.  Res64: 03009EBDE0E61689  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:47:56]
615*2^1233067-1 is not prime.  Res64: 8E2CC72FEC849C94  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 04:47:56]
625*2^1233067-1 is not prime.  Res64: 04E95978727B5EDF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:07:57]
685*2^1233067-1 is not prime.  Res64: 7E73EA935DED1B97  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:07:58]
889*2^1233067-1 is not prime.  Res64: 45A346BEC1206401  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:08:39]
901*2^1233067-1 is not prime.  Res64: 64B4FB2C8EE960B2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:08:41]
931*2^1233067-1 is not prime.  Res64: 1430E700FF41A45E  Time : 0.0 sec.
user=vaughan
[2012-10-25 05:20:56]
673*2^1233067-1 is not prime.  Res64: DFCA6E01520E6A8B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:28:42]
945*2^1233067-1 is not prime.  Res64: 5ECC5482D64AC4F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:28:43]
951*2^1233067-1 is not prime.  Res64: 879171B7AB5942C1  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:29:26]
993*2^1233067-1 is not prime.  Res64: 9C8640855D4F7722  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:29:26]
669*2^1233068-1 is not prime.  Res64: FE7EAA79B75657FD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:49:25]
609*2^1233069-1 is not prime.  Res64: 3D239E641530AE2F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:49:26]
657*2^1233069-1 is not prime.  Res64: E4773299B2BE1563  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:50:09]
709*2^1233069-1 is not prime.  Res64: 8DB35415F7941684  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 05:50:10]
835*2^1233069-1 is not prime.  Res64: CF2BE317F3D7A6D3  Time : 0.0 sec.
user=vaughan
[2012-10-25 05:58:44]
755*2^1233068-1 is not prime.  Res64: 1D61AF1E876340D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:10:10]
865*2^1233069-1 is not prime.  Res64: EBF699A92D1E5CBE  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:10:11]
653*2^1233070-1 is not prime.  Res64: 5225CDF25C25754C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:10:53]
743*2^1233070-1 is not prime.  Res64: B29C83102EFFC6F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:10:54]
777*2^1233070-1 is not prime.  Res64: 8A30BBDDBE5228D3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:31:00]
1001*2^1233070-1 is not prime.  Res64: F61A162A703AFBFD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:31:01]
645*2^1233071-1 is not prime.  Res64: 88EB7DCEC31A8493  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:31:43]
669*2^1233071-1 is not prime.  Res64: 8F03825A20B30036  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:31:43]
715*2^1233071-1 is not prime.  Res64: 3D47428CBFD6300E  Time : 0.0 sec.
user=vaughan
[2012-10-25 06:36:29]
861*2^1233070-1 is not prime.  Res64: 16A1FE1E3C7A7C00  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:51:45]
813*2^1233071-1 is not prime.  Res64: 44134746B06B3FF8  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:51:45]
909*2^1233071-1 is not prime.  Res64: 8612BCB7A40BEB09  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:52:25]
993*2^1233071-1 is not prime.  Res64: 7045481FA7C4BB65  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 06:52:26]
675*2^1233072-1 is not prime.  Res64: CCCE5F59902AC5C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:12:29]
797*2^1233072-1 is not prime.  Res64: BE93882591E8EEF3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:12:29]
887*2^1233072-1 is not prime.  Res64: B6510E2A15FEA373  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:13:10]
959*2^1233072-1 is not prime.  Res64: 9BCAF82E6E04F0A4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:13:11]
975*2^1233072-1 is not prime.  Res64: 3007F2C0822BB26D  Time : 0.0 sec.
user=vaughan
[2012-10-25 07:14:14]
713*2^1233072-1 is not prime.  Res64: 62B1F4D70DA57B02  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:33:16]
771*2^1233073-1 is not prime.  Res64: D6F6ACE045868018  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:33:17]
811*2^1233073-1 is not prime.  Res64: 8C2FFFA05600F093  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:33:58]
831*2^1233073-1 is not prime.  Res64: AFD73388F8BABE27  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:33:58]
835*2^1233073-1 is not prime.  Res64: 7BD02181B663D69C  Time : 0.0 sec.
user=vaughan
[2012-10-25 07:52:00]
855*2^1233073-1 is not prime.  Res64: B41F43B6F92BCA64  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:54:02]
885*2^1233073-1 is not prime.  Res64: EED2C6EA3BABCC52  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:54:02]
889*2^1233073-1 is not prime.  Res64: A161EB89DEA6FEFF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:54:41]
937*2^1233073-1 is not prime.  Res64: E865C039B2A468C0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 07:54:42]
999*2^1233073-1 is not prime.  Res64: 5FDE9819938E5342  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:14:47]
705*2^1233074-1 is not prime.  Res64: CCB3193FEAE1BF42  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:14:49]
711*2^1233074-1 is not prime.  Res64: 738BEF6BFA09F919  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:15:25]
743*2^1233074-1 is not prime.  Res64: C976D26585384881  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:15:27]
773*2^1233074-1 is not prime.  Res64: 0F3AF5317EFE6FF5  Time : 0.0 sec.
user=vaughan
[2012-10-25 08:29:50]
665*2^1233074-1 is not prime.  Res64: 60EA86621B9E8D78  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:35:52]
797*2^1233074-1 is not prime.  Res64: B2F73894086DB40A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:35:52]
861*2^1233074-1 is not prime.  Res64: 9BD80BA90E23C780  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:36:12]
945*2^1233074-1 is not prime.  Res64: 6C082F64993B3F29  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:36:12]
651*2^1233075-1 is not prime.  Res64: 2B336330E64CEE21  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:56:35]
853*2^1233075-1 is not prime.  Res64: 78258815D19ADB0F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:56:36]
677*2^1233076-1 is not prime.  Res64: 9023DF09080BD0F3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:56:55]
825*2^1233076-1 is not prime.  Res64: 86743F061A8885E2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 08:56:56]
887*2^1233076-1 is not prime.  Res64: 63CF7A4FB69FAA98  Time : 0.0 sec.
user=vaughan
[2012-10-25 09:07:37]
705*2^1233075-1 is not prime.  Res64: B3B12E0B86D58FF7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:17:19]
897*2^1233076-1 is not prime.  Res64: 0E0713A85A8058E8  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:17:20]
987*2^1233076-1 is not prime.  Res64: AE8B023F94FCA9DB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:17:39]
999*2^1233076-1 is not prime.  Res64: BE60CE3EB778370D  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:17:39]
601*2^1233077-1 is not prime.  Res64: 302AD2027FFED0AC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:38:11]
837*2^1233077-1 is not prime.  Res64: 695E75B257A783E9  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:38:12]
871*2^1233077-1 is not prime.  Res64: 18F604AAFD43C76C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:38:23]
927*2^1233077-1 is not prime.  Res64: 3E9B64E5F2C216B6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:38:24]
949*2^1233077-1 is not prime.  Res64: FF007B400DDC01C1  Time : 0.0 sec.
user=vaughan
[2012-10-25 09:45:22]
711*2^1233077-1 is not prime.  Res64: 448527DC8A2B73C6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:58:54]
985*2^1233077-1 is not prime.  Res64: A645C7450B0EF910  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:58:55]
663*2^1233078-1 is not prime.  Res64: DCACDA9AF6922A9C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:59:07]
747*2^1233078-1 is not prime.  Res64: E8631D623AA56FEE  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 09:59:08]
755*2^1233078-1 is not prime.  Res64: D1B4A78D18385F9B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:19:38]
797*2^1233078-1 is not prime.  Res64: 024063FBFAF1AE52  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:19:39]
815*2^1233078-1 is not prime.  Res64: E71FB2D72F008CD4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:19:50]
887*2^1233078-1 is not prime.  Res64: 754E16B37E5A71B9  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:19:50]
945*2^1233078-1 is not prime.  Res64: 75D087118595F914  Time : 0.0 sec.
user=vaughan
[2012-10-25 10:23:07]
795*2^1233078-1 is not prime.  Res64: DA3533A3753FC48F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:40:28]
639*2^1233079-1 is not prime.  Res64: 903512D28388A8DB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:40:28]
723*2^1233079-1 is not prime.  Res64: 404575F5452FBBF3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:40:33]
745*2^1233079-1 is not prime.  Res64: 3CB440C89B9395F6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 10:40:33]
831*2^1233079-1 is not prime.  Res64: 6DC1A579D8E6A44E  Time : 0.0 sec.
user=vaughan
[2012-10-25 11:00:54]
985*2^1233079-1 is not prime.  Res64: 5DA09EDB529A80FF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:01:11]
999*2^1233079-1 is not prime.  Res64: 179088EA72A8205F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:01:12]
603*2^1233080-1 is not prime.  Res64: D82ED957E3AB3655  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:01:16]
609*2^1233080-1 is not prime.  Res64: 937019A4A65E7770  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:01:16]
669*2^1233080-1 is not prime.  Res64: F26614368B332A85  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:21:55]
855*2^1233080-1 is not prime.  Res64: 9D89C1B9A36B9323  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:21:56]
875*2^1233080-1 is not prime.  Res64: 84F2A95E8D41DB43  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:21:59]
915*2^1233080-1 is not prime.  Res64: 471893B6E16D1FEC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:22:00]
751*2^1233081-1 is not prime.  Res64: 5A0E7DEE46014D05  Time : 0.0 sec.
user=vaughan
[2012-10-25 11:38:58]
717*2^1233080-1 is not prime.  Res64: 29319832CCB38AAA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:42:44]
789*2^1233081-1 is not prime.  Res64: 475862DFBF25B162  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:42:45]
849*2^1233081-1 is not prime.  Res64: E9FA241F0C43D82A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:42:46]
861*2^1233081-1 is not prime.  Res64: 9DC4573839872E0F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 11:42:46]
895*2^1233081-1 is not prime.  Res64: DA56D6DC2EEC90C8  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:03:29]
603*2^1233082-1 is not prime.  Res64: B1037665E5DA97B8  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:03:30]
747*2^1233082-1 is not prime.  Res64: A2C90B713CA2B5B3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:03:31]
737*2^1233082-1 is not prime.  Res64: C841716629EA45C6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:03:31]
755*2^1233082-1 is not prime.  Res64: 524B306322F45E75  Time : 0.0 sec.
user=vaughan
[2012-10-25 12:16:41]
907*2^1233081-1 is not prime.  Res64: 1F0A31A88B32AC5A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:24:21]
765*2^1233082-1 is not prime.  Res64: BCF29B91D7D64BA7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:24:21]
803*2^1233082-1 is not prime.  Res64: 37B3CF5C57510DDC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:24:22]
789*2^1233083-1 is not prime.  Res64: 5A4E8485BD13D44D  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:24:23]
801*2^1233083-1 is not prime.  Res64: B6680C5600D7AABB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:45:04]
993*2^1233083-1 is not prime.  Res64: 74C786B4B08A2E97  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:45:05]
717*2^1233084-1 is not prime.  Res64: F253C8F37C8BA912  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:45:05]
887*2^1233084-1 is not prime.  Res64: 98D8C573DFA98C56  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 12:45:06]
905*2^1233084-1 is not prime.  Res64: A95B2CA6B61DC026  Time : 0.0 sec.
user=vaughan
[2012-10-25 12:54:28]
921*2^1233083-1 is not prime.  Res64: 3EE4BAA61DC6F08D  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:05:48]
959*2^1233084-1 is not prime.  Res64: 22FDC94D5E3D8DF4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:05:49]
777*2^1233085-1 is not prime.  Res64: 85599463683DECF2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:05:51]
847*2^1233085-1 is not prime.  Res64: E95986AEAB8B21FA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:05:54]
603*2^1233086-1 is not prime.  Res64: 101A95154A2D98E6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:26:44]
717*2^1233086-1 is not prime.  Res64: C3CB59FFEA5D19D5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:26:45]
773*2^1233086-1 is not prime.  Res64: 7A617A6D2B714E42  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:26:48]
785*2^1233086-1 is not prime.  Res64: D86691176A71D2C6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:26:49]
815*2^1233086-1 is not prime.  Res64: 9A0AE1B1C0701789  Time : 0.0 sec.
user=vaughan
[2012-10-25 13:32:15]
707*2^1233086-1 is not prime.  Res64: 656EA69F2325C6F1  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:47:43]
917*2^1233086-1 is not prime.  Res64: 4FCEFE0237F1CFB6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:47:44]
957*2^1233086-1 is not prime.  Res64: F5DD605809C4EDF4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:47:48]
971*2^1233086-1 is not prime.  Res64: 17A119214166FB64  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 13:47:48]
981*2^1233086-1 is not prime.  Res64: AEB1A68125A7592A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:09:05]
741*2^1233087-1 is not prime.  Res64: 1983DC2E74C52791  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:09:09]
865*2^1233087-1 is not prime.  Res64: 614A7E21D06B3D6D  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:09:10]
909*2^1233087-1 is not prime.  Res64: 3E2E6752DF934288  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:09:12]
999*2^1233087-1 is not prime.  Res64: 1EC1FA9ABA66D207  Time : 0.0 sec.
user=vaughan
[2012-10-25 14:10:02]
661*2^1233087-1 is not prime.  Res64: 61B8846A7501C627  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:30:18]
665*2^1233088-1 is not prime.  Res64: 0471BA9AA3B6BB33  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:30:18]
743*2^1233088-1 is not prime.  Res64: AA97564B0825DCB6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:30:20]
765*2^1233088-1 is not prime.  Res64: D50960D5536AFC9B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:30:21]
827*2^1233088-1 is not prime.  Res64: 53D7D188EE1C7AB1  Time : 0.0 sec.
user=vaughan
[2012-10-25 14:47:50]
887*2^1233088-1 is not prime.  Res64: 901D6AF8170700D4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:51:13]
993*2^1233088-1 is not prime.  Res64: CF3ACCD0E1DB8BD0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:51:14]
637*2^1233089-1 is not prime.  Res64: 06DED00698C740B5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:51:15]
649*2^1233089-1 is not prime.  Res64: C0B139E3E89BC6EA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 14:51:15]
787*2^1233089-1 is not prime.  Res64: F74F32DF400140DA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:13:08]
841*2^1233089-1 is not prime.  Res64: 4F2C32465D398F9C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:13:10]
889*2^1233089-1 is not prime.  Res64: 566561723A3321B7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:13:10]
945*2^1233089-1 is not prime.  Res64: B2DA5ED8406FB808  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:13:11]
969*2^1233089-1 is not prime.  Res64: 1E62F9B72858B16D  Time : 0.0 sec.
user=vaughan
[2012-10-25 15:25:35]
837*2^1233089-1 is not prime.  Res64: CFDBEF97F1BF984A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:35:18]
681*2^1233090-1 is not prime.  Res64: 1F817F228B283E6C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:35:18]
713*2^1233090-1 is not prime.  Res64: 377E7268F1B16A9C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:35:21]
717*2^1233090-1 is not prime.  Res64: E03CAFD440396D6E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:35:22]
851*2^1233090-1 is not prime.  Res64: 9E6C798789624E7A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:56:33]
891*2^1233090-1 is not prime.  Res64: 9EC8F5F2E163428C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:56:34]
977*2^1233090-1 is not prime.  Res64: 734B605F69881194  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:56:39]
619*2^1233091-1 is not prime.  Res64: 58CB33284C9EBD11  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 15:56:40]
625*2^1233091-1 is not prime.  Res64: 504DD33FCF5A8C20  Time : 0.0 sec.
user=vaughan
[2012-10-25 16:03:21]
867*2^1233090-1 is not prime.  Res64: C498715446512062  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:17:34]
631*2^1233091-1 is not prime.  Res64: A11E30615C73CDA5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:17:34]
645*2^1233091-1 is not prime.  Res64: A48BDBCCABE44A35  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:17:39]
889*2^1233091-1 is not prime.  Res64: D81DC22BFE2E8AC0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:17:39]
605*2^1233092-1 is not prime.  Res64: C7DC9E20C0D0ECFF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:38:36]
735*2^1233092-1 is not prime.  Res64: 777686E0C2148E3E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:38:36]
759*2^1233092-1 is not prime.  Res64: 7C1266F5B7E737A5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:38:40]
855*2^1233092-1 is not prime.  Res64: 5C0F8B43A8BE7FF7  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:38:40]
903*2^1233092-1 is not prime.  Res64: CB0F087E786DF3B7  Time : 0.0 sec.
user=vaughan
[2012-10-25 16:41:11]
669*2^1233092-1 is not prime.  Res64: 89C03785A12F401F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:59:39]
651*2^1233093-1 is not prime.  Res64: B0418654904AC267  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:59:39]
817*2^1233093-1 is not prime.  Res64: ABF17CE298DDE39A  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:59:39]
625*2^1233093-1 is not prime.  Res64: F87129C957A656FD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 16:59:40]
627*2^1233093-1 is not prime.  Res64: F7F22F5941510C98  Time : 0.0 sec.
user=vaughan
[2012-10-25 17:18:53]
937*2^1233093-1 is not prime.  Res64: D3A0DD14109564FA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:20:38]
945*2^1233093-1 is not prime.  Res64: DA126C8B364D9C06  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:20:38]
951*2^1233093-1 is not prime.  Res64: 472FEF8E8A17DA9F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:20:39]
955*2^1233093-1 is not prime.  Res64: 29EA5F9242F117CA  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:20:39]
987*2^1233093-1 is not prime.  Res64: 9B43CCF13C499FE2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:41:35]
887*2^1233094-1 is not prime.  Res64: E9BA49F66F8D31CB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:41:35]
917*2^1233094-1 is not prime.  Res64: 189AAD605ABB91CF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:41:37]
951*2^1233094-1 is not prime.  Res64: 17F23AAEF378989E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 17:41:37]
1001*2^1233094-1 is not prime.  Res64: CCDC7C13342340F7  Time : 0.0 sec.
user=vaughan
[2012-10-25 17:56:40]
833*2^1233094-1 is not prime.  Res64: 1493D4BC8E1717A0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:02:48]
661*2^1233095-1 is not prime.  Res64: 619851903A4AD9A4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:02:49]
663*2^1233095-1 is not prime.  Res64: 09012CDE1AFDF615  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:02:49]
705*2^1233095-1 is not prime.  Res64: 4D256B6B151F61D4  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:02:50]
759*2^1233095-1 is not prime.  Res64: 9F494F14139DDCEF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:24:10]
855*2^1233095-1 is not prime.  Res64: E503021EC5DB682C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:24:11]
963*2^1233095-1 is not prime.  Res64: 4AA41379BF1EF5AE  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:24:12]
615*2^1233096-1 is not prime.  Res64: D405A1E98D76DCB6  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:24:14]
943*2^1233095-1 is not prime.  Res64: 632B933DEF2719B7  Time : 0.0 sec.
user=vaughan
[2012-10-25 18:34:25]
789*2^1233095-1 is not prime.  Res64: 38B2698031966C12  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:45:36]
747*2^1233096-1 is not prime.  Res64: 550D1200FAA5C4F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:45:36]
759*2^1233096-1 is not prime.  Res64: A2E2DE082CC5B356  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:45:37]
789*2^1233096-1 is not prime.  Res64: 9E2EC18A2C7E727B  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 18:45:38]
825*2^1233096-1 is not prime.  Res64: CB3CFB67DF5202FB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:06:25]
857*2^1233096-1 is not prime.  Res64: 73930DAECC0BD58C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:06:26]
899*2^1233096-1 is not prime.  Res64: 823987A1818CB49F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:06:27]
945*2^1233096-1 is not prime.  Res64: FF5D85EAA46F53B3  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:06:28]
667*2^1233097-1 is not prime.  Res64: BD6A83F341E7AAE0  Time : 0.0 sec.
user=vaughan
[2012-10-25 19:12:12]
843*2^1233096-1 is not prime.  Res64: F4B5361C0AF2A152  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:27:17]
741*2^1233097-1 is not prime.  Res64: DBBD31709418A9C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:27:17]
915*2^1233097-1 is not prime.  Res64: A22AAA72EE7A79AF  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:27:18]
937*2^1233097-1 is not prime.  Res64: 0DAFB3CFABEB5C7E  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:27:19]
945*2^1233097-1 is not prime.  Res64: CADBD38EE19BAF91  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:48:14]
713*2^1233098-1 is not prime.  Res64: 59CDE6089C6F50FC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:48:14]
767*2^1233098-1 is not prime.  Res64: 512D9BE528166D30  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:48:16]
953*2^1233098-1 is not prime.  Res64: 9571D396487BD8B2  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 19:48:16]
613*2^1233099-1 is not prime.  Res64: 463B7DB480706AAA  Time : 0.0 sec.
user=vaughan
[2012-10-25 19:50:07]
683*2^1233098-1 is not prime.  Res64: F3B00EA14B550127  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:09:06]
723*2^1233099-1 is not prime.  Res64: 84688EC5998FA970  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:09:07]
745*2^1233099-1 is not prime.  Res64: BE576FD007BE0368  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:09:08]
793*2^1233099-1 is not prime.  Res64: F6B2CD0F723EA427  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:09:09]
823*2^1233099-1 is not prime.  Res64: 484B68A9564355C4  Time : 0.0 sec.
user=vaughan
[2012-10-25 20:27:53]
985*2^1233099-1 is not prime.  Res64: 71F925C24A9BD9DC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:30:15]
647*2^1233100-1 is not prime.  Res64: B9044289DF470AA5  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:30:15]
743*2^1233100-1 is not prime.  Res64: E17FFB5BFC289874  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:30:22]
905*2^1233100-1 is not prime.  Res64: 7C7C2400B5E2162F  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:30:22]
923*2^1233100-1 is not prime.  Res64: 13B5F15B7BA5472D  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:51:41]
711*2^1233101-1 is not prime.  Res64: E4599D0A946385FB  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:51:42]
715*2^1233101-1 is not prime.  Res64: 1DF9443520F3828C  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:51:47]
825*2^1233101-1 is not prime.  Res64: C28D2B5BF6E89860  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 20:51:47]
885*2^1233101-1 is not prime.  Res64: 3B8CFC5073E04E4D  Time : 0.0 sec.
user=vaughan
[2012-10-25 21:05:43]
607*2^1233101-1 is not prime.  Res64: AC9B362EF4468193  Time : 0.0 sec.
user=vaughan
[2012-10-25 21:43:32]
947*2^1233102-1 is not prime.  Res64: BBA0F65210C31D2F  Time : 0.0 sec.
user=vaughan
[2012-10-25 22:21:29]
625*2^1233103-1 is not prime.  Res64: 4CE98D78B3138772  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 22:37:02]
777*2^1233102-1 is not prime.  Res64: BE4BED9E1F134186  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 22:37:03]
945*2^1233102-1 is not prime.  Res64: 870BB3B998E1C587  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 22:58:02]
789*2^1233103-1 is not prime.  Res64: A3D6ADD9D158E842  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 22:58:02]
859*2^1233103-1 is not prime.  Res64: 5A16C8AEAF6C90AB  Time : 0.0 sec.
user=vaughan
[2012-10-25 22:59:17]
663*2^1233103-1 is not prime.  Res64: 01B97ED9CCC26ECC  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 23:19:00]
915*2^1233103-1 is not prime.  Res64: 86689D7C0531DBFD  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 23:19:01]
993*2^1233103-1 is not prime.  Res64: F74637CC00A89FC4  Time : 0.0 sec.
user=vaughan
[2012-10-25 23:37:02]
615*2^1233104-1 is not prime.  Res64: D5461604945E8186  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 23:40:00]
665*2^1233104-1 is not prime.  Res64: 5D657AAFFABD28F0  Time : 0.0 sec.
user=mdettweiler
[2012-10-25 23:40:01]
687*2^1233104-1 is not prime.  Res64: 553931FA39FABA8E  Time : 0.0 sec.
user=mdettweiler
[2012-10-26 00:00:59]
869*2^1233104-1 is not prime.  Res64: BCE6543D4CFB6E54  Time : 0.0 sec.
user=mdettweiler
[2012-10-26 00:00:59]
875*2^1233104-1 is not prime.  Res64: 25E48E1F58A43CCD  Time : 0.0 sec.