user=vaughan
[2013-04-24 00:15:39]
695*2^1245154-1 is not prime.  Res64: 1A19E3EB030AC96C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:16:01]
629*2^1245156-1 is not prime.  Res64: 5D4EEBA450502490  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:16:02]
653*2^1245156-1 is not prime.  Res64: A7CA790146FA8707  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:17:36]
669*2^1245156-1 is not prime.  Res64: A25CCDB678275301  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:17:36]
767*2^1245156-1 is not prime.  Res64: C2230DE46D8A8024  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:33:47]
645*2^1245157-1 is not prime.  Res64: B1F344227D1A0998  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:33:47]
937*2^1245157-1 is not prime.  Res64: CEF3BDCF51C720FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:35:21]
945*2^1245157-1 is not prime.  Res64: E2DC6CD354B37155  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:35:21]
985*2^1245157-1 is not prime.  Res64: 7F33533377718D7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:51:22]
657*2^1245158-1 is not prime.  Res64: CF567B78606688EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:51:23]
705*2^1245158-1 is not prime.  Res64: E0E4CBD7927AD89C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:52:54]
761*2^1245158-1 is not prime.  Res64: 4F5EF404B155EF02  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 00:52:55]
797*2^1245158-1 is not prime.  Res64: 41EA3024D1C12197  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:09:06]
827*2^1245158-1 is not prime.  Res64: 70640879C3BBD50B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:09:07]
875*2^1245158-1 is not prime.  Res64: 8743F868CBAD767A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:10:39]
977*2^1245158-1 is not prime.  Res64: 5EA2AC781E1D14E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:10:40]
613*2^1245159-1 is not prime.  Res64: E032D33F9204EEAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:26:37]
625*2^1245159-1 is not prime.  Res64: 94D99A3B76407654  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:26:38]
663*2^1245159-1 is not prime.  Res64: 8051AC8060247E18  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:28:09]
741*2^1245159-1 is not prime.  Res64: 5F86B7D55AB333B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:28:09]
795*2^1245159-1 is not prime.  Res64: 2CDBB1D2D5BFED2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:44:04]
829*2^1245159-1 is not prime.  Res64: 0CD6C1F5293D401F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:44:04]
895*2^1245159-1 is not prime.  Res64: D7B09792BD2117BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:45:35]
909*2^1245159-1 is not prime.  Res64: 77BAC9C686361784  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 01:45:36]
933*2^1245159-1 is not prime.  Res64: 3BA7D377004A7A79  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:01:31]
975*2^1245159-1 is not prime.  Res64: 035996DE1D97C50D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:01:32]
623*2^1245160-1 is not prime.  Res64: FEF979D73F55FC1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:03:03]
629*2^1245160-1 is not prime.  Res64: 648BD46AAF859DA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:03:05]
687*2^1245160-1 is not prime.  Res64: C04B195DB5240174  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:22:36]
707*2^1245160-1 is not prime.  Res64: 38B018922D8AB708  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:22:36]
735*2^1245160-1 is not prime.  Res64: 8D36B5BF9CD1E08C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:23:03]
777*2^1245160-1 is not prime.  Res64: E3A2EAEA22ACE149  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:23:03]
615*2^1245161-1 is not prime.  Res64: EA7DF971BD762EA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:40:02]
645*2^1245161-1 is not prime.  Res64: 44B4D57D3C6984E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:40:04]
697*2^1245161-1 is not prime.  Res64: A0E41F5AF1EA5A44  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:40:29]
715*2^1245161-1 is not prime.  Res64: AD7CDAD221777CD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:40:30]
727*2^1245161-1 is not prime.  Res64: 574887E59C6B8717  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:57:35]
889*2^1245161-1 is not prime.  Res64: 5E7879E93C946618  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:57:36]
991*2^1245161-1 is not prime.  Res64: 2E6B2A86B33C0A09  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:57:58]
711*2^1245162-1 is not prime.  Res64: 6234883E33CB5244  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 02:57:59]
777*2^1245162-1 is not prime.  Res64: 00548E65A7C38D47  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:15:01]
797*2^1245162-1 is not prime.  Res64: F28E7F4A455BBCE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:15:03]
807*2^1245162-1 is not prime.  Res64: 9EFFDD836C38B1B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:15:24]
951*2^1245162-1 is not prime.  Res64: 3AF804E755E0E302  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:15:25]
615*2^1245163-1 is not prime.  Res64: 9BA28ABE4DB27613  Time : 0.0 sec.
user=vaughan
[2013-04-24 03:21:41]
947*2^1245156-1 is not prime.  Res64: 7DBB578CAA4A0799  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:32:29]
703*2^1245163-1 is not prime.  Res64: 36196BC275284D04  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:32:30]
741*2^1245163-1 is not prime.  Res64: 3ADA357817135EBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:32:50]
901*2^1245163-1 is not prime.  Res64: EC93B9DEF2BDE58D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:32:51]
919*2^1245163-1 is not prime.  Res64: B7767256FFAFDB8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:50:02]
899*2^1245164-1 is not prime.  Res64: 28EF7ABF6BCA270E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:50:03]
609*2^1245165-1 is not prime.  Res64: 73E1F67D2B555C62  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:50:18]
657*2^1245165-1 is not prime.  Res64: 88E34DF765D27D03  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 03:50:19]
685*2^1245165-1 is not prime.  Res64: 8A63617F60934510  Time : 0.0 sec.
user=vaughan
[2013-04-24 04:00:07]
635*2^1245164-1 is not prime.  Res64: 91FD0AAE38C6A0E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:07:32]
721*2^1245165-1 is not prime.  Res64: 672126FFA6D4A66A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:07:33]
871*2^1245165-1 is not prime.  Res64: DAF226E248C0BC70  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:07:45]
891*2^1245165-1 is not prime.  Res64: 067AD9890EE85116  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:07:46]
617*2^1245166-1 is not prime.  Res64: 236958B5AF97478F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:25:03]
755*2^1245166-1 is not prime.  Res64: 6231EB37D2540B35  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:25:03]
785*2^1245166-1 is not prime.  Res64: 52E07AB93F925C37  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:25:11]
857*2^1245166-1 is not prime.  Res64: 500A78281094C27A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:25:12]
861*2^1245166-1 is not prime.  Res64: 4A96F199D10AC54E  Time : 0.0 sec.
user=vaughan
[2013-04-24 04:38:30]
647*2^1245166-1 is not prime.  Res64: 733A8CF25ADF4834  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:42:33]
881*2^1245166-1 is not prime.  Res64: 1B32C204DF07D9F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:42:34]
887*2^1245166-1 is not prime.  Res64: DD7435C52F01017B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:42:38]
947*2^1245166-1 is not prime.  Res64: 92A54698BA959415  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 04:42:38]
965*2^1245166-1 is not prime.  Res64: 638513738F4339AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:00:00]
651*2^1245167-1 is not prime.  Res64: 5208000A08BE881A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:00:00]
661*2^1245167-1 is not prime.  Res64: 019BE228A5A2443A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:00:04]
673*2^1245167-1 is not prime.  Res64: D55FDEC5FE0C0026  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:00:05]
711*2^1245167-1 is not prime.  Res64: DB668F6CC94DF896  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:17:29]
865*2^1245167-1 is not prime.  Res64: 6AA5A94AEC714E45  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:17:30]
883*2^1245167-1 is not prime.  Res64: 2BF6A2D671835162  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:17:32]
629*2^1245168-1 is not prime.  Res64: 3231DE78241F6D72  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:17:33]
639*2^1245168-1 is not prime.  Res64: 42BF9835E2191508  Time : 0.0 sec.
user=vaughan
[2013-04-24 05:21:55]
983*2^1245166-1 is not prime.  Res64: EED68F4A98FAD911  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:34:59]
713*2^1245168-1 is not prime.  Res64: 6AF84428AEB28F4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:35:00]
737*2^1245168-1 is not prime.  Res64: 276E65DC1C3269B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:35:01]
747*2^1245168-1 is not prime.  Res64: 1750742B78A29260  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:35:01]
765*2^1245168-1 is not prime.  Res64: EDF8839FDA48321E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:52:26]
927*2^1245168-1 is not prime.  Res64: 2E39F2CCEEE6B00E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:52:26]
801*2^1245169-1 is not prime.  Res64: CC59E524E9A3D0A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:52:26]
861*2^1245169-1 is not prime.  Res64: DA22C97F5A2F27D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 05:52:27]
919*2^1245169-1 is not prime.  Res64: 02CAA8D24CB1808A  Time : 0.0 sec.
user=vaughan
[2013-04-24 06:00:16]
845*2^1245168-1 is not prime.  Res64: 885F3E26A96C2916  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:09:54]
603*2^1245170-1 is not prime.  Res64: E43A8D1A83FB7BE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:09:55]
635*2^1245170-1 is not prime.  Res64: 0C8C15D735DFBD94  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:09:56]
605*2^1245170-1 is not prime.  Res64: FB8CF2EFEDA7327E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:09:56]
773*2^1245170-1 is not prime.  Res64: A5A988ED42E3CCE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:27:23]
857*2^1245170-1 is not prime.  Res64: 9A91CAB680DC5371  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:27:23]
977*2^1245170-1 is not prime.  Res64: 69AF0BD6DB2BFE72  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:27:24]
649*2^1245171-1 is not prime.  Res64: 39964DF77CF2878A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:27:25]
669*2^1245171-1 is not prime.  Res64: EB38EA1DB1C61C02  Time : 0.0 sec.
user=vaughan
[2013-04-24 06:38:38]
851*2^1245170-1 is not prime.  Res64: 7F903739E54FB182  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:44:51]
967*2^1244977-1 is not prime.  Res64: 0F6F3470676C7A6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:44:51]
675*2^1245171-1 is not prime.  Res64: F619BEE0A001606B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:44:51]
793*2^1245171-1 is not prime.  Res64: EEB276A7F974EF3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 06:44:52]
849*2^1245171-1 is not prime.  Res64: 7401E4E038205BD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:02:17]
895*2^1245171-1 is not prime.  Res64: 82BC926B1DF84F29  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:02:18]
909*2^1245171-1 is not prime.  Res64: ADCC1021B9F0110D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:02:19]
951*2^1245171-1 is not prime.  Res64: AEBB3997EE866E0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:02:20]
635*2^1245172-1 is not prime.  Res64: 91882484AE1F5AFD  Time : 0.0 sec.
user=vaughan
[2013-04-24 07:16:59]
885*2^1245171-1 is not prime.  Res64: 07BF26BA9428FAF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:20:23]
695*2^1245172-1 is not prime.  Res64: C1AD45774CD187F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:20:23]
749*2^1245172-1 is not prime.  Res64: B20F9429822111DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:20:24]
605*2^1245174-1 is not prime.  Res64: 55E97A2EA9B61BBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:20:24]
615*2^1245174-1 is not prime.  Res64: 4FA1F7B25D2C3236  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:37:49]
641*2^1245174-1 is not prime.  Res64: 2E2CCF0B59428807  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:37:50]
747*2^1245174-1 is not prime.  Res64: DA854577F22A293B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:37:50]
797*2^1245174-1 is not prime.  Res64: 9FB0FC010F965B4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:37:51]
851*2^1245174-1 is not prime.  Res64: 06F04D2582AF9DAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:55:16]
893*2^1245174-1 is not prime.  Res64: BCDD40C74A34A4B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:55:17]
917*2^1245174-1 is not prime.  Res64: 53B6B3ACAC05E77F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:55:18]
965*2^1245174-1 is not prime.  Res64: 99C5EFA300663134  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 07:55:19]
975*2^1245174-1 is not prime.  Res64: DAEBB4823E39A99E  Time : 0.0 sec.
user=vaughan
[2013-04-24 07:55:24]
627*2^1245174-1 is not prime.  Res64: 4379ED5546B7D66E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:12:44]
651*2^1245175-1 is not prime.  Res64: B56F0DDB34B4529F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:12:45]
685*2^1245175-1 is not prime.  Res64: AF1574DF5045F3E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:13:32]
1001*2^1245174-1 is not prime.  Res64: 6024B387AE51E0D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:13:33]
601*2^1245175-1 is not prime.  Res64: 126B8D85594F604B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:30:15]
715*2^1245175-1 is not prime.  Res64: F0D7986F5CE05AFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:30:15]
789*2^1245175-1 is not prime.  Res64: 77F68BBE664FA63B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:30:59]
805*2^1245175-1 is not prime.  Res64: AD83F7A1FB4D95A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:30:59]
891*2^1245175-1 is not prime.  Res64: 0429A2353653E5DB  Time : 0.0 sec.
user=vaughan
[2013-04-24 08:33:49]
709*2^1245175-1 is not prime.  Res64: 1897C709ED6EA00B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:47:41]
915*2^1245175-1 is not prime.  Res64: E070CF8C7B1C2A56  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:47:42]
933*2^1245175-1 is not prime.  Res64: E9672BC2AC3F113E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:48:25]
939*2^1245175-1 is not prime.  Res64: D3DB4E30BCD6AFA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 08:48:25]
609*2^1245176-1 is not prime.  Res64: 76323D1A4809FA29  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:05:09]
683*2^1245176-1 is not prime.  Res64: 4AD70DF4CE5ABDA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:05:10]
689*2^1245176-1 is not prime.  Res64: EA996156E395AD02  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:05:51]
693*2^1245176-1 is not prime.  Res64: A55675274CD78BAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:05:52]
767*2^1245176-1 is not prime.  Res64: 32F4CD29E067CA97  Time : 0.0 sec.
user=vaughan
[2013-04-24 09:12:24]
669*2^1245176-1 is not prime.  Res64: 4AEF1E20028AB4FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:22:43]
839*2^1245176-1 is not prime.  Res64: D3198EFD9A44F033  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:22:43]
845*2^1245176-1 is not prime.  Res64: F9AEF4C6D83C30C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:23:18]
879*2^1245176-1 is not prime.  Res64: F04D1BB369B79AE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:23:19]
639*2^1245177-1 is not prime.  Res64: 6EC9EAA71FF21003  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:40:11]
847*2^1245177-1 is not prime.  Res64: A4A063F87D51484B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:40:11]
895*2^1245177-1 is not prime.  Res64: FCD371A206B1026E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:40:45]
901*2^1245177-1 is not prime.  Res64: 3BC61EF4975FCCFB  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:40:45]
657*2^1245178-1 is not prime.  Res64: E9A202968BD60FF2  Time : 0.0 sec.
user=vaughan
[2013-04-24 09:50:41]
735*2^1245177-1 is not prime.  Res64: 4CC1ECBF7FC5DB1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:57:39]
887*2^1245178-1 is not prime.  Res64: 74BACA237625FE18  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:57:39]
951*2^1245178-1 is not prime.  Res64: EBF1DB196D365313  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:58:11]
669*2^1245179-1 is not prime.  Res64: F33DE020DD59A334  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 09:58:11]
759*2^1245179-1 is not prime.  Res64: E9A059081A94D81A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:15:06]
811*2^1245179-1 is not prime.  Res64: B5B3EE89D9257DCF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:15:07]
859*2^1245179-1 is not prime.  Res64: 5E1AD1ED5DB9C8DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:15:37]
861*2^1245179-1 is not prime.  Res64: 983E4EFD3AF77BB6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:15:38]
895*2^1245179-1 is not prime.  Res64: 902D49AF3CDE99C8  Time : 0.0 sec.
user=vaughan
[2013-04-24 10:28:46]
799*2^1245179-1 is not prime.  Res64: 522E6BFF3D875F17  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:32:53]
943*2^1245179-1 is not prime.  Res64: 064806F692ED6BAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:32:54]
629*2^1245180-1 is not prime.  Res64: A4F543A053D34F58  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:33:04]
665*2^1245180-1 is not prime.  Res64: 22AE1BE99DB9647C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:33:05]
819*2^1245180-1 is not prime.  Res64: 4EBC58C90C98EB75  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:50:20]
915*2^1245180-1 is not prime.  Res64: AC107AC9F674FB90  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:50:21]
639*2^1245181-1 is not prime.  Res64: A32E035CD8E19FED  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:50:31]
769*2^1245181-1 is not prime.  Res64: 49B96F8FB1484944  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 10:50:31]
901*2^1245181-1 is not prime.  Res64: A7B32CA6EB02AF42  Time : 0.0 sec.
user=vaughan
[2013-04-24 11:06:53]
845*2^1245180-1 is not prime.  Res64: D4F5953D7AA42F4D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:07:58]
675*2^1245182-1 is not prime.  Res64: A71E6AFF99506A9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:07:59]
683*2^1245182-1 is not prime.  Res64: 2C5C109ABB9F4013  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:08:36]
979*2^1245181-1 is not prime.  Res64: 622B52E061D43E86  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:08:37]
999*2^1245181-1 is not prime.  Res64: DA3A357AA4DE8332  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:25:25]
771*2^1245182-1 is not prime.  Res64: 5A3CC6ED6229B321  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:25:25]
885*2^1245182-1 is not prime.  Res64: FEA404DE85CA1216  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:26:04]
911*2^1245182-1 is not prime.  Res64: 03F7B37AFD987D55  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:26:04]
935*2^1245182-1 is not prime.  Res64: BDA7217A54440B73  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:42:50]
977*2^1245182-1 is not prime.  Res64: AED96D1BD9B6F154  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:42:51]
987*2^1245182-1 is not prime.  Res64: 9302F112088FED9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:43:30]
661*2^1245183-1 is not prime.  Res64: BC0084C03A176495  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 11:43:31]
679*2^1245183-1 is not prime.  Res64: 6EFDEE197482D12E  Time : 0.0 sec.
user=vaughan
[2013-04-24 11:45:00]
753*2^1245182-1 is not prime.  Res64: C419150237F07953  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:00:17]
691*2^1245183-1 is not prime.  Res64: 2AF4B3F48946E8AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:00:18]
705*2^1245183-1 is not prime.  Res64: 9ED347C9DDE2A539  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:00:56]
723*2^1245183-1 is not prime.  Res64: B4609BA581C392A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:00:57]
793*2^1245183-1 is not prime.  Res64: 0AE14C8160345D2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:17:53]
819*2^1245183-1 is not prime.  Res64: E531D147A9AEFC25  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:17:53]
853*2^1245183-1 is not prime.  Res64: 5DDCFD03A5036516  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:18:33]
861*2^1245183-1 is not prime.  Res64: 03DD8C0DCB70B402  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:18:33]
895*2^1245183-1 is not prime.  Res64: 6433121F3CE1A26F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:35:59]
605*2^1245184-1 is not prime.  Res64: 3B9C5FCFDCC0F659  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:35:59]
657*2^1245184-1 is not prime.  Res64: B5EEE96257773051  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:36:43]
675*2^1245184-1 is not prime.  Res64: 15794E023F771122  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:36:44]
649*2^1245185-1 is not prime.  Res64: 5925680E9C83DE33  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:55:13]
831*2^1245185-1 is not prime.  Res64: 565B94985A31408F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:55:14]
861*2^1245185-1 is not prime.  Res64: EBACCD656C4513D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:55:25]
685*2^1245185-1 is not prime.  Res64: 0A83D713A425A299  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 12:55:26]
727*2^1245185-1 is not prime.  Res64: 8B8717546AB04908  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:12:57]
969*2^1245185-1 is not prime.  Res64: 454FC40F68B32C35  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:12:58]
737*2^1245186-1 is not prime.  Res64: 5070F6D39897C857  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:13:10]
783*2^1245186-1 is not prime.  Res64: C7CD24ACDD6AB2D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:13:10]
843*2^1245186-1 is not prime.  Res64: 07EFD9557711EA90  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:30:39]
861*2^1245186-1 is not prime.  Res64: 2817F138EACC4022  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:30:40]
971*2^1245186-1 is not prime.  Res64: AFE2802B48D385FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:31:39]
975*2^1245186-1 is not prime.  Res64: A11C6B9B54EE2E20  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:31:40]
1001*2^1245186-1 is not prime.  Res64: BE5B40FEB97DCA24  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:48:19]
631*2^1245187-1 is not prime.  Res64: 61F9295B71A85683  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:48:19]
633*2^1245187-1 is not prime.  Res64: BFF56EF3C7B8AD9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:49:19]
703*2^1245187-1 is not prime.  Res64: 44E5E30711B62751  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 13:49:19]
735*2^1245187-1 is not prime.  Res64: 3CF9FE900222CFA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:06:00]
801*2^1245187-1 is not prime.  Res64: FEEDEC5427107508  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:06:01]
835*2^1245187-1 is not prime.  Res64: C64DC5F7AD7A1DA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:07:00]
871*2^1245187-1 is not prime.  Res64: AF8B320D36028044  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:07:00]
635*2^1245188-1 is not prime.  Res64: 1E7ECA9C8B065A72  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:23:51]
725*2^1245188-1 is not prime.  Res64: CA7786A9799ACD38  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:23:51]
753*2^1245188-1 is not prime.  Res64: 6E5B1515FA8E7A58  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:24:44]
819*2^1245188-1 is not prime.  Res64: 762ED1088077C420  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:24:44]
839*2^1245188-1 is not prime.  Res64: A34125A284F27067  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:42:09]
875*2^1245188-1 is not prime.  Res64: 8813CADECDF75DF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:42:09]
789*2^1245189-1 is not prime.  Res64: DEB870407EEE5E27  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:43:02]
889*2^1245189-1 is not prime.  Res64: A5A8050CA05BCBBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 14:43:02]
955*2^1245189-1 is not prime.  Res64: C2956E88EA0E12CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:01:14]
605*2^1245190-1 is not prime.  Res64: DA95E863DA5A8112  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:01:15]
611*2^1245190-1 is not prime.  Res64: 227544FB0D7EFBEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:02:04]
997*2^1245189-1 is not prime.  Res64: CBD74D34BD1B4F23  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:02:04]
999*2^1245189-1 is not prime.  Res64: C4BF6A759B319995  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:19:30]
723*2^1245190-1 is not prime.  Res64: 7FB1823B15222D9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:19:30]
731*2^1245190-1 is not prime.  Res64: 731C472DFBD0D089  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:19:59]
801*2^1245190-1 is not prime.  Res64: 96ECB7A19E2C0326  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:19:59]
855*2^1245190-1 is not prime.  Res64: 4ED203C80B3DA79E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:37:28]
867*2^1245190-1 is not prime.  Res64: FD6A608CB690986B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:37:28]
951*2^1245190-1 is not prime.  Res64: C08AE2C6E1AE8510  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:38:43]
995*2^1245190-1 is not prime.  Res64: 4A1D9DCF4CF3C6CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:38:44]
621*2^1245191-1 is not prime.  Res64: BD31439B6DFBCA7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:55:31]
643*2^1245191-1 is not prime.  Res64: 0CD964E8A20BCF07  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:55:31]
669*2^1245191-1 is not prime.  Res64: F636957BE7980BF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:56:49]
741*2^1245191-1 is not prime.  Res64: 6F7C253B26357C58  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 15:56:50]
753*2^1245191-1 is not prime.  Res64: 5C72AE387A5136E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:13:31]
789*2^1245191-1 is not prime.  Res64: A9E105E902F0A267  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:13:31]
859*2^1245191-1 is not prime.  Res64: 06B1DFBF85F1CBA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:14:44]
623*2^1245192-1 is not prime.  Res64: B827D5B4C55DD055  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:14:45]
675*2^1245192-1 is not prime.  Res64: C2FC5FA2F15F2F7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:31:41]
683*2^1245192-1 is not prime.  Res64: 591CFEA2A9AA45B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:31:42]
719*2^1245192-1 is not prime.  Res64: 2C336177FDBD7428  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:32:38]
765*2^1245192-1 is not prime.  Res64: 02C3D17FCE15DFF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:32:38]
945*2^1245192-1 is not prime.  Res64: 1295B3F07B44C17F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:49:46]
947*2^1245192-1 is not prime.  Res64: E730D43FE6831982  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:49:46]
975*2^1245192-1 is not prime.  Res64: F6C4A3C1E1D7321A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:50:35]
685*2^1245193-1 is not prime.  Res64: 6C24B021E88F142F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 16:50:36]
801*2^1245193-1 is not prime.  Res64: E8316EE9AFAF3B24  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:08:04]
817*2^1245193-1 is not prime.  Res64: 3C69270E06A3A7C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:08:05]
895*2^1245193-1 is not prime.  Res64: 6F576AF987CC7BD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:08:54]
939*2^1245193-1 is not prime.  Res64: D6DAC6EA72200ABE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:08:54]
635*2^1245194-1 is not prime.  Res64: F92B5FEB5273A534  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:26:20]
675*2^1245194-1 is not prime.  Res64: CE32FB89A48C7BD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:26:20]
705*2^1245194-1 is not prime.  Res64: 1823631F9BB21B88  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:27:02]
711*2^1245194-1 is not prime.  Res64: BF24A5D1156025F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:27:03]
773*2^1245194-1 is not prime.  Res64: 15884778E7C73E4D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:44:23]
833*2^1245194-1 is not prime.  Res64: ADDA32DE8D9544BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:44:24]
921*2^1245194-1 is not prime.  Res64: 07F4BC0BE4002AAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:45:49]
953*2^1245194-1 is not prime.  Res64: 7EB5DBE903360F1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 17:45:49]
1001*2^1245194-1 is not prime.  Res64: 51D3B4464E4CED41  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:02:19]
609*2^1245195-1 is not prime.  Res64: 8549351B79BD67EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:02:20]
823*2^1245195-1 is not prime.  Res64: 8F5BC4290BD23563  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:03:42]
825*2^1245195-1 is not prime.  Res64: 7BA512B33E9C8305  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:03:43]
891*2^1245195-1 is not prime.  Res64: D38EBC749D9DD4F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:20:35]
903*2^1245195-1 is not prime.  Res64: EE57FB85FF4F4AC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:20:36]
677*2^1245196-1 is not prime.  Res64: 6AA73E9620D7AF12  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:21:34]
689*2^1245196-1 is not prime.  Res64: 72F1A3C481051F82  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:21:35]
705*2^1245196-1 is not prime.  Res64: 33CD883A771B64BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:38:35]
813*2^1245196-1 is not prime.  Res64: 8985DDDCE559ADE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:38:36]
833*2^1245196-1 is not prime.  Res64: 7DE5224BC0E07294  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:39:30]
839*2^1245196-1 is not prime.  Res64: 394534CF9183126B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:39:30]
855*2^1245196-1 is not prime.  Res64: 6645706BFB227AD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:56:35]
869*2^1245196-1 is not prime.  Res64: 3DE76B8916363CB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:56:35]
957*2^1245196-1 is not prime.  Res64: 0844244B2CB689ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:57:29]
741*2^1245197-1 is not prime.  Res64: 55D73BC0627AC5F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 18:57:29]
781*2^1245197-1 is not prime.  Res64: 965A95CB2E2B31CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:14:25]
829*2^1245197-1 is not prime.  Res64: DBC77001EEE3BC2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:14:26]
871*2^1245197-1 is not prime.  Res64: CACD9792EE20C66F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:15:18]
879*2^1245197-1 is not prime.  Res64: DA76A43907A5E606  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:15:18]
885*2^1245197-1 is not prime.  Res64: D96CCA1C7033D948  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:32:23]
713*2^1245198-1 is not prime.  Res64: 5D1F38DF3FF6BF28  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:32:23]
725*2^1245198-1 is not prime.  Res64: 52CE3622FA98E411  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:33:11]
821*2^1245198-1 is not prime.  Res64: 75D0D7E722ECF04B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:33:11]
951*2^1245198-1 is not prime.  Res64: E09EF5E94CB5AA48  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:50:18]
681*2^1245199-1 is not prime.  Res64: C3F4915E638EB02C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:50:19]
745*2^1245199-1 is not prime.  Res64: 542E1A6AB2EEAC23  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:51:06]
769*2^1245199-1 is not prime.  Res64: 181EF7B456C82295  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 19:51:06]
841*2^1245199-1 is not prime.  Res64: B73DFC65AC40C6DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:08:18]
859*2^1245199-1 is not prime.  Res64: C8005CF2B8F5FE61  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:08:20]
873*2^1245199-1 is not prime.  Res64: FBB7359435777B3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:09:05]
895*2^1245199-1 is not prime.  Res64: F7327ADD18776CFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:09:06]
939*2^1245199-1 is not prime.  Res64: 995F24B862C755BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:26:40]
951*2^1245199-1 is not prime.  Res64: C8B342A6BE760048  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:26:41]
975*2^1245199-1 is not prime.  Res64: 02EAB833E95E12DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:27:18]
635*2^1245200-1 is not prime.  Res64: 5390E9CCA1ACA6D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:27:19]
665*2^1245200-1 is not prime.  Res64: B1F0C0591CA2D58C  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:45:04]
785*2^1245200-1 is not prime.  Res64: AD5BF3D7FCFD264E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:45:04]
797*2^1245200-1 is not prime.  Res64: 02290DF48E198F7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:45:29]
845*2^1245200-1 is not prime.  Res64: 2A1580D55564D341  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 20:45:29]
879*2^1245200-1 is not prime.  Res64: 1AB362718D10BA0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:03:01]
915*2^1245200-1 is not prime.  Res64: 16C4FFA030586C88  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:03:02]
929*2^1245200-1 is not prime.  Res64: F19469A96D674551  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:04:18]
995*2^1245200-1 is not prime.  Res64: 9C541C943DB5B9C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:04:19]
795*2^1245201-1 is not prime.  Res64: CA214C9D0E2FEBC0  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:22:27]
805*2^1245201-1 is not prime.  Res64: FB39CF8F9E495032  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:22:28]
807*2^1245201-1 is not prime.  Res64: AC2FE9507167217B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:23:15]
829*2^1245201-1 is not prime.  Res64: 35E55594014F9AD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:23:16]
635*2^1245202-1 is not prime.  Res64: 3D66ECCCEE752A63  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:40:29]
701*2^1245202-1 is not prime.  Res64: 1A734D07D67B3A36  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:40:29]
801*2^1245202-1 is not prime.  Res64: ADD61654B377CEA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:41:05]
983*2^1245202-1 is not prime.  Res64: 6FC40FE12E1C9A08  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:41:05]
987*2^1245202-1 is not prime.  Res64: F4E3B4CECA88D779  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:58:15]
669*2^1245203-1 is not prime.  Res64: CBEE55ACA404EC3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:58:15]
829*2^1245203-1 is not prime.  Res64: 66B8C03C8B9BCB14  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:58:50]
901*2^1245203-1 is not prime.  Res64: 25389D5E6C00F70B  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 21:58:50]
945*2^1245203-1 is not prime.  Res64: 849A67240AF54474  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:16:01]
963*2^1245203-1 is not prime.  Res64: 0BAFC7D52B8C9D11  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:16:01]
981*2^1245203-1 is not prime.  Res64: 6584400BAB6F6A27  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:16:35]
665*2^1245204-1 is not prime.  Res64: 90BF4F3ECB7C030F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:16:35]
803*2^1245204-1 is not prime.  Res64: F1EEEE07A658EE02  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:33:51]
927*2^1245204-1 is not prime.  Res64: 30B7C90F3F2F8164  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:33:51]
607*2^1245205-1 is not prime.  Res64: 307BAAD9B725097F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:34:19]
679*2^1245205-1 is not prime.  Res64: E93BE307FBF70E7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:34:20]
957*2^1245205-1 is not prime.  Res64: EABCC6BA6F9FC13A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:51:36]
641*2^1245206-1 is not prime.  Res64: 44DF551BF2CD4453  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:51:36]
693*2^1245206-1 is not prime.  Res64: 718695EAC96BB875  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:52:04]
795*2^1245206-1 is not prime.  Res64: 1E2B09C717440ABF  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 22:52:04]
875*2^1245206-1 is not prime.  Res64: ECA6CD4EC33A03B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:09:22]
941*2^1245206-1 is not prime.  Res64: 1C9FA272C63D2ECB  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:09:23]
703*2^1245207-1 is not prime.  Res64: 124B92B72FB2B025  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:09:49]
735*2^1245207-1 is not prime.  Res64: 5C388F81A44F9728  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:09:49]
795*2^1245207-1 is not prime.  Res64: F5BE6F931ADCEF5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:27:08]
885*2^1245207-1 is not prime.  Res64: AA484BB4A548A757  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:27:08]
605*2^1245208-1 is not prime.  Res64: 4500889E380E6A6D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:27:34]
635*2^1245208-1 is not prime.  Res64: 1BD8B6859A0B273D  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:27:34]
723*2^1245208-1 is not prime.  Res64: 3A8F19AA9CD1FB8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:44:57]
933*2^1245208-1 is not prime.  Res64: F6ED1704EBC1FF35  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:44:57]
989*2^1245208-1 is not prime.  Res64: 7325BEA7554439FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:45:21]
619*2^1245209-1 is not prime.  Res64: 47F95BCBB7E415E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-24 23:45:21]
645*2^1245209-1 is not prime.  Res64: EC6DF7F36999FA62  Time : 0.0 sec.