user=mdettweiler
[2013-06-14 00:10:50]
963*2^1246856-1 is not prime.  Res64: 5891033FC2F5978D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:10:52]
955*2^1246857-1 is not prime.  Res64: 9CE735F41D51ECD8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:28:49]
695*2^1246858-1 is not prime.  Res64: 46A422A49BA89AC1  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:28:49]
755*2^1246858-1 is not prime.  Res64: C6A2C01521DDAF26  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:30:06]
991*2^1246857-1 is not prime.  Res64: 98EDEA221940BEA8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:30:06]
997*2^1246857-1 is not prime.  Res64: 49B84875A0683553  Time : 0.0 sec.
user=vaughan
[2013-06-14 00:30:28]
945*2^1246856-1 is not prime.  Res64: 9B17955F554BCFA3  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:46:46]
801*2^1246858-1 is not prime.  Res64: F9C70A6E42C5D72B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:47:49]
867*2^1246858-1 is not prime.  Res64: B4A29726F7B13790  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 00:47:50]
885*2^1246858-1 is not prime.  Res64: 43657ABAA8BA3410  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:05:42]
675*2^1246859-1 is not prime.  Res64: B0A6DE4C91BD091F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:11:37]
825*2^1246858-1 is not prime.  Res64: 0372EDCA75EADABE  Time : 0.0 sec.
user=vaughan
[2013-06-14 01:15:33]
945*2^1246858-1 is not prime.  Res64: 41E598E1070488A0  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:29:42]
753*2^1246859-1 is not prime.  Res64: B2BF004200D4642B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:42:09]
711*2^1246859-1 is not prime.  Res64: B0CE9F2325C4843D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:51:04]
823*2^1246859-1 is not prime.  Res64: 47B69D1D8FB41328  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:59:50]
825*2^1246859-1 is not prime.  Res64: E5895A59A98371A5  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 01:59:50]
909*2^1246859-1 is not prime.  Res64: D5E4678C24DDEA63  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:08:49]
695*2^1246860-1 is not prime.  Res64: CADC0A77FC014329  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:08:50]
707*2^1246860-1 is not prime.  Res64: 1608FA2C4C4C2BA3  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:17:42]
797*2^1246860-1 is not prime.  Res64: 37AB79F19D4EA78B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:26:48]
857*2^1246860-1 is not prime.  Res64: ACF9BBEC6B20F3A6  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:26:48]
867*2^1246860-1 is not prime.  Res64: 1F8342E2120BB20B  Time : 0.0 sec.
user=vaughan
[2013-06-14 02:34:36]
717*2^1246860-1 is not prime.  Res64: C1DA6DEA926413BD  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:40:50]
843*2^1246860-1 is not prime.  Res64: C845B039653E1348  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:46:10]
975*2^1246860-1 is not prime.  Res64: 1222B1E8394E9522  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 02:46:28]
999*2^1246860-1 is not prime.  Res64: 3B31495BFD7A9A52  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:32:36]
771*2^1246861-1 is not prime.  Res64: 13AA8B7C8C9F19ED  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:32:38]
817*2^1246861-1 is not prime.  Res64: 77C474CD10E48F26  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:39:24]
939*2^1246861-1 is not prime.  Res64: 8ED376B78F88B7CB  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:39:25]
955*2^1246861-1 is not prime.  Res64: B394B9E3BD8D0FCE  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:51:10]
961*2^1246861-1 is not prime.  Res64: 41ED5B42D8F2D44F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:51:10]
999*2^1246861-1 is not prime.  Res64: B36B40958722062D  Time : 0.0 sec.
user=vaughan
[2013-06-14 03:53:51]
741*2^1246861-1 is not prime.  Res64: A28E36E09E7AD1C7  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:57:05]
675*2^1246862-1 is not prime.  Res64: A2333DF764CC91F7  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 03:57:05]
693*2^1246862-1 is not prime.  Res64: 224F9C9392DF4106  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:09:20]
831*2^1246862-1 is not prime.  Res64: B3069AA0B8D68DAA  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:15:14]
941*2^1246862-1 is not prime.  Res64: 286A73D5E3448434  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:38:00]
619*2^1246863-1 is not prime.  Res64: 64EFA24388A97F4E  Time : 0.0 sec.
user=vaughan
[2013-06-14 04:38:44]
903*2^1246862-1 is not prime.  Res64: 224F4C5A34BEC908  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:46:19]
897*2^1246862-1 is not prime.  Res64: 26143FA720C04DDF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:55:57]
663*2^1246863-1 is not prime.  Res64: 2646593D6C8AE2D0  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 04:55:57]
703*2^1246863-1 is not prime.  Res64: 0636015920E67864  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:03:58]
895*2^1246863-1 is not prime.  Res64: 5673B1F7BA406815  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:03:58]
955*2^1246863-1 is not prime.  Res64: EF16360E0E4A6134  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:13:50]
623*2^1246864-1 is not prime.  Res64: D9CBAD418DF25ADF  Time : 0.0 sec.
user=vaughan
[2013-06-14 05:18:47]
739*2^1246863-1 is not prime.  Res64: 4756A8836F3CDE55  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:21:48]
819*2^1246864-1 is not prime.  Res64: D2871E12D63B7014  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:21:48]
887*2^1246864-1 is not prime.  Res64: 2677B86346D1BEE6  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:39:44]
897*2^1246864-1 is not prime.  Res64: C1060A7EB1CD516F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 05:52:52]
629*2^1246864-1 is not prime.  Res64: C7C987993EB18E46  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:05:39]
965*2^1246864-1 is not prime.  Res64: D1773DBFBAEF0A67  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:10:49]
711*2^1246865-1 is not prime.  Res64: EAB40D87FB77EABC  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:10:50]
787*2^1246865-1 is not prime.  Res64: C2982000ED2CA9C0  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:24:42]
955*2^1246865-1 is not prime.  Res64: 7D6FCBD55B7FAA8A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:24:43]
717*2^1246866-1 is not prime.  Res64: B266134F8479D632  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:28:46]
925*2^1246865-1 is not prime.  Res64: F85A8C5909F89778  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:28:47]
723*2^1246866-1 is not prime.  Res64: 3C16CB7C075A68FC  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:42:23]
807*2^1246866-1 is not prime.  Res64: A785D1F76469A46B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:42:24]
851*2^1246866-1 is not prime.  Res64: 0BB432E0D0ED1D0E  Time : 0.0 sec.
user=vaughan
[2013-06-14 06:43:02]
889*2^1246865-1 is not prime.  Res64: 431D03A01D4AE87D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:46:35]
905*2^1246866-1 is not prime.  Res64: 86428EAF2EB1A0DC  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 06:46:35]
921*2^1246866-1 is not prime.  Res64: A11C9E1DBC1225D6  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:00:20]
947*2^1246866-1 is not prime.  Res64: E151063B4D6E8FD0  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:04:18]
625*2^1246867-1 is not prime.  Res64: FAFC357180F05C2D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:04:19]
645*2^1246867-1 is not prime.  Res64: 724563B107B50C26  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:17:19]
601*2^1246867-1 is not prime.  Res64: D0758AB0D943F6A3  Time : 0.0 sec.
user=vaughan
[2013-06-14 07:22:37]
621*2^1246867-1 is not prime.  Res64: F588C2FDEC6315F8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:22:58]
909*2^1246867-1 is not prime.  Res64: 0D4F13CCE5B28AE1  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:22:58]
615*2^1246868-1 is not prime.  Res64: C0DE88CDB6A0A4D9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:40:40]
795*2^1246868-1 is not prime.  Res64: 46ED8F4DA04DBC84  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:40:40]
827*2^1246868-1 is not prime.  Res64: C2D5BEE2D6260D1E  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:58:20]
915*2^1246868-1 is not prime.  Res64: 813636C50C4EDFAE  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:58:20]
935*2^1246868-1 is not prime.  Res64: 5B9209FD4E7400CD  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:59:58]
993*2^1246868-1 is not prime.  Res64: 4E895642B7BB4597  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 07:59:58]
627*2^1246869-1 is not prime.  Res64: BD0EF3C544BC2879  Time : 0.0 sec.
user=vaughan
[2013-06-14 08:07:45]
979*2^1246867-1 is not prime.  Res64: A986F85651FD3253  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:16:11]
649*2^1246869-1 is not prime.  Res64: BAA0547DF626AA1A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:17:41]
679*2^1246869-1 is not prime.  Res64: B2D8F5C7855B555C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:17:42]
795*2^1246869-1 is not prime.  Res64: ED5B979D784A23B2  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:35:36]
831*2^1246869-1 is not prime.  Res64: 47B7DF42CCF534CF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:35:38]
669*2^1246869-1 is not prime.  Res64: 78310D3299528E3E  Time : 0.0 sec.
user=vaughan
[2013-06-14 08:47:20]
811*2^1246869-1 is not prime.  Res64: BFA65F464AFF91F9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 08:54:34]
945*2^1246869-1 is not prime.  Res64: 1B988E54AEF38F7C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:02:29]
907*2^1246869-1 is not prime.  Res64: 115B1272343E8157  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:18:09]
979*2^1246869-1 is not prime.  Res64: 23D55ED8176F8E6B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:20:36]
665*2^1246870-1 is not prime.  Res64: 4DA2E7B06FF2C150  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:20:36]
695*2^1246870-1 is not prime.  Res64: 86D1595F7F08539D  Time : 0.0 sec.
user=vaughan
[2013-06-14 09:27:32]
657*2^1246870-1 is not prime.  Res64: D6E59CFB2F5E048B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:35:49]
831*2^1246870-1 is not prime.  Res64: EB91EC8B2E7E0847  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:35:49]
873*2^1246870-1 is not prime.  Res64: 0D7260B483F3547A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:38:15]
951*2^1246870-1 is not prime.  Res64: 17C0093712BCC130  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:38:16]
693*2^1246871-1 is not prime.  Res64: A5E31509311E3F97  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:53:29]
813*2^1246871-1 is not prime.  Res64: C62DFAE03413EC54  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:53:29]
843*2^1246871-1 is not prime.  Res64: 59EEECF9B8C38EE4  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:55:55]
623*2^1246872-1 is not prime.  Res64: F7EED20289486337  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 09:55:55]
719*2^1246872-1 is not prime.  Res64: 590E54FCD263544C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:11:37]
837*2^1246872-1 is not prime.  Res64: 9DE8355E4373B86D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:13:44]
615*2^1246873-1 is not prime.  Res64: 7828D1A586067D76  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:13:44]
681*2^1246873-1 is not prime.  Res64: 422EBDA752F937C2  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:31:31]
729*2^1246873-1 is not prime.  Res64: 44D56A87F609EE1C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:31:31]
741*2^1246873-1 is not prime.  Res64: 073B0E431272AA85  Time : 0.0 sec.
user=vaughan
[2013-06-14 10:46:42]
705*2^1246873-1 is not prime.  Res64: C6CF3A08531877B9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:49:30]
765*2^1246873-1 is not prime.  Res64: 3F47078C779F8B26  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 10:50:13]
609*2^1246873-1 is not prime.  Res64: DC64AA608D520EF7  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:08:16]
831*2^1246873-1 is not prime.  Res64: 7B1C9CC5C54A1407  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:08:17]
847*2^1246873-1 is not prime.  Res64: BE9551DED3D87C1D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:16:12]
805*2^1246873-1 is not prime.  Res64: D4C3EF56499EC610  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:26:56]
999*2^1246873-1 is not prime.  Res64: 3233C0765DCCEA1A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:26:56]
677*2^1246874-1 is not prime.  Res64: 141CBA9614FA0D94  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:33:53]
861*2^1246874-1 is not prime.  Res64: AAD87BB7A98F93CA  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:33:54]
915*2^1246874-1 is not prime.  Res64: 9518F191AF348CF8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:44:36]
951*2^1246874-1 is not prime.  Res64: 49E94FEFEB25C678  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:44:36]
953*2^1246874-1 is not prime.  Res64: 5E876FAD662F3364  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:51:34]
619*2^1246875-1 is not prime.  Res64: 84FDC0DF98CF75F9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 11:51:51]
699*2^1246875-1 is not prime.  Res64: E3B8CE949C4E78C6  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:02:18]
751*2^1246875-1 is not prime.  Res64: 971AAC4D156105D5  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:02:36]
783*2^1246875-1 is not prime.  Res64: F2A660B2C3EBA5AA  Time : 0.0 sec.
user=vaughan
[2013-06-14 12:11:01]
935*2^1246874-1 is not prime.  Res64: 9F493F384682EF06  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:34:40]
963*2^1246875-1 is not prime.  Res64: F534460A3739470B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:34:41]
663*2^1246876-1 is not prime.  Res64: F2175DA1C17C56B0  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:41:48]
689*2^1246876-1 is not prime.  Res64: D469E44A8741A734  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:41:49]
845*2^1246876-1 is not prime.  Res64: A2F638A8B685D864  Time : 0.0 sec.
user=vaughan
[2013-06-14 12:50:52]
793*2^1246875-1 is not prime.  Res64: CE4E51C4F900234C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:52:43]
869*2^1246876-1 is not prime.  Res64: BBA8E306B2EAD057  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 12:59:56]
899*2^1246876-1 is not prime.  Res64: 583F73F4F8DB8820  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 13:27:52]
927*2^1246876-1 is not prime.  Res64: FCE950E1BB948165  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 13:29:37]
875*2^1246876-1 is not prime.  Res64: A88283101C5C9494  Time : 0.0 sec.
user=vaughan
[2013-06-14 13:30:44]
715*2^1246877-1 is not prime.  Res64: E18950A01872CD69  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 13:47:20]
825*2^1246877-1 is not prime.  Res64: 660DD44EF48C1533  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 13:47:21]
885*2^1246877-1 is not prime.  Res64: EB943BBDF8179A27  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:05:19]
615*2^1246878-1 is not prime.  Res64: 8BCCE6FECAA505A1  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:05:20]
621*2^1246878-1 is not prime.  Res64: 9A4151BE2CBB89BF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:10:56]
677*2^1246878-1 is not prime.  Res64: 44DBF952704C7510  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:10:57]
705*2^1246878-1 is not prime.  Res64: 4AEB6287DE6BC8D0  Time : 0.0 sec.
user=vaughan
[2013-06-14 14:15:49]
937*2^1246877-1 is not prime.  Res64: 45A373BF4EBF524B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:23:15]
711*2^1246878-1 is not prime.  Res64: A68671B7C3EC0AD9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:28:51]
773*2^1246878-1 is not prime.  Res64: EB8970D5863F6612  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:47:32]
725*2^1246878-1 is not prime.  Res64: E0A883BD35EB3C66  Time : 0.0 sec.
user=vaughan
[2013-06-14 14:55:21]
867*2^1246878-1 is not prime.  Res64: FAC410692072C447  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 14:56:26]
777*2^1246878-1 is not prime.  Res64: DE33A20186FBD6A2  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:14:15]
759*2^1246879-1 is not prime.  Res64: F04553CDDDA4E602  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:14:15]
765*2^1246879-1 is not prime.  Res64: 7EAA71AECFE8E046  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:30:45]
957*2^1246878-1 is not prime.  Res64: E9367F76FC855CD7  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:30:45]
723*2^1246879-1 is not prime.  Res64: EBA312DE43F1821E  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:32:07]
861*2^1246879-1 is not prime.  Res64: E16606CBEB9C196E  Time : 0.0 sec.
user=vaughan
[2013-06-14 15:35:16]
745*2^1246879-1 is not prime.  Res64: E932D162ADCE70C8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:48:43]
839*2^1246880-1 is not prime.  Res64: A196DC5F5B545814  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 15:48:44]
855*2^1246880-1 is not prime.  Res64: 5E94F8C2F3D8213A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:04:37]
939*2^1246879-1 is not prime.  Res64: 6767289BB90C23FB  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:06:28]
875*2^1246880-1 is not prime.  Res64: 0BC6F60EA7ABDEB7  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:06:45]
741*2^1246881-1 is not prime.  Res64: 940D567F9FC180AD  Time : 0.0 sec.
user=vaughan
[2013-06-14 16:15:03]
857*2^1246880-1 is not prime.  Res64: E044E8CAACC63E53  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:22:36]
889*2^1246881-1 is not prime.  Res64: 6BB9F988BE59AD42  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:51:44]
651*2^1246882-1 is not prime.  Res64: FC4DFE3905B6AC00  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 16:52:26]
825*2^1246882-1 is not prime.  Res64: 7A088A1E626BDCB5  Time : 0.0 sec.
user=vaughan
[2013-06-14 16:54:32]
735*2^1246882-1 is not prime.  Res64: C7A194038E0AA270  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:14:16]
831*2^1246882-1 is not prime.  Res64: 08590F690D7D29D9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:32:15]
867*2^1246882-1 is not prime.  Res64: 6131A79EF0A4D164  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:32:15]
891*2^1246882-1 is not prime.  Res64: 5986F7F472D266E8  Time : 0.0 sec.
user=vaughan
[2013-06-14 17:33:59]
843*2^1246882-1 is not prime.  Res64: F997648A81DD951E  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:48:01]
663*2^1246883-1 is not prime.  Res64: B080572730F9F411  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:48:02]
675*2^1246883-1 is not prime.  Res64: BCD3F75E68C7E354  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:50:09]
705*2^1246883-1 is not prime.  Res64: 775A7DF591008900  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 17:50:09]
775*2^1246883-1 is not prime.  Res64: 656EC1B8CF152AEF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 18:06:58]
861*2^1246883-1 is not prime.  Res64: F69ED7EBEFBEEC7A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 18:08:24]
609*2^1246884-1 is not prime.  Res64: 2B4C73E71A712F53  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 18:08:24]
749*2^1246884-1 is not prime.  Res64: 3B6A4DD06F31ABF2  Time : 0.0 sec.
user=vaughan
[2013-06-14 18:13:23]
825*2^1246883-1 is not prime.  Res64: 5725BE6CE3800001  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 18:26:51]
783*2^1246884-1 is not prime.  Res64: 49FD601E8D3B2A5F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 18:44:40]
969*2^1246883-1 is not prime.  Res64: 656E2757537E4D2E  Time : 0.0 sec.
user=vaughan
[2013-06-14 18:53:01]
607*2^1246885-1 is not prime.  Res64: C48BB3EEB91AD0EF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:02:46]
717*2^1246885-1 is not prime.  Res64: 3F42840BD5EADD43  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:02:47]
741*2^1246885-1 is not prime.  Res64: 7C00F20A157BA02C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:03:07]
857*2^1246884-1 is not prime.  Res64: 96D2C7470CA28CB1  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:21:09]
825*2^1246886-1 is not prime.  Res64: 973B24A646FDBEAE  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:21:09]
895*2^1246885-1 is not prime.  Res64: 13388E41E228C772  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:21:10]
873*2^1246886-1 is not prime.  Res64: 95F40023798148FD  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:21:10]
743*2^1246886-1 is not prime.  Res64: CC1B0DCBC88EC4A7  Time : 0.0 sec.
user=vaughan
[2013-06-14 19:32:23]
789*2^1246885-1 is not prime.  Res64: 674C76F275F99673  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:39:03]
875*2^1246886-1 is not prime.  Res64: 0231B8026F115B77  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 19:39:24]
917*2^1246886-1 is not prime.  Res64: D939638B91A07D3F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:06:56]
957*2^1246886-1 is not prime.  Res64: 52077E8FDB4EEF70  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:12:42]
903*2^1246886-1 is not prime.  Res64: DBD67F45423FBF57  Time : 0.0 sec.
user=vaughan
[2013-06-14 20:17:15]
963*2^1246886-1 is not prime.  Res64: B08883E3EFEC4970  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:25:06]
965*2^1246886-1 is not prime.  Res64: C2E4151679754149  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:25:06]
601*2^1246887-1 is not prime.  Res64: E3CC79DF573343FF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:30:51]
693*2^1246887-1 is not prime.  Res64: DEEDB1C32A49E07F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:30:51]
781*2^1246887-1 is not prime.  Res64: 268CDD1A0F97A25B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:43:12]
707*2^1246888-1 is not prime.  Res64: 6B0E67C7CBB3E283  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:43:12]
827*2^1246888-1 is not prime.  Res64: D4CD63A7FF40EE7A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:48:48]
855*2^1246888-1 is not prime.  Res64: 24B90271D6818E01  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 20:48:49]
909*2^1246888-1 is not prime.  Res64: 9C4B4985B0A1462F  Time : 0.0 sec.
user=vaughan
[2013-06-14 20:56:40]
793*2^1246887-1 is not prime.  Res64: CF36C951D0DE7EA8  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:01:56]
989*2^1246888-1 is not prime.  Res64: 21D338B88A41E92B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:06:34]
649*2^1246889-1 is not prime.  Res64: 1907DC95FA8FA2DC  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:06:35]
775*2^1246889-1 is not prime.  Res64: 775DAF7604E0CB34  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:25:07]
847*2^1246889-1 is not prime.  Res64: 13BFC37959F42D1C  Time : 0.0 sec.
user=vaughan
[2013-06-14 21:37:22]
787*2^1246889-1 is not prime.  Res64: 57D8095E33509DDB  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:37:22]
637*2^1246889-1 is not prime.  Res64: 16172041BEF01D16  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:54:52]
949*2^1246889-1 is not prime.  Res64: 39912EB9C02FC8B6  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 21:54:53]
955*2^1246889-1 is not prime.  Res64: 109FF8351C6DAC6F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:01:09]
925*2^1246889-1 is not prime.  Res64: F3A021D200EB11E4  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:12:27]
657*2^1246890-1 is not prime.  Res64: ACB9788A3F31F421  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:12:28]
707*2^1246890-1 is not prime.  Res64: 8438728BE801FE3B  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:18:57]
713*2^1246890-1 is not prime.  Res64: 84D837F438E0D5A3  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:18:57]
615*2^1246891-1 is not prime.  Res64: AF7FD81CA403F1ED  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:30:27]
673*2^1246891-1 is not prime.  Res64: 8CE2759F7B4A1141  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:36:48]
623*2^1246892-1 is not prime.  Res64: A727C35F75307C9C  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:36:49]
657*2^1246892-1 is not prime.  Res64: 562365839D2B355A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:54:42]
759*2^1246892-1 is not prime.  Res64: 6C464F25B6106703  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 22:54:43]
797*2^1246892-1 is not prime.  Res64: 27AFE23F6DB60750  Time : 0.0 sec.
user=vaughan
[2013-06-14 23:01:42]
999*2^1246891-1 is not prime.  Res64: 8D963B225C29A32A  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:03:57]
841*2^1246891-1 is not prime.  Res64: 764687BEE008A9D4  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:12:36]
837*2^1246892-1 is not prime.  Res64: F3EDAF6AE4BF06AF  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:12:37]
873*2^1246892-1 is not prime.  Res64: 1502347D01D7E3C1  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:30:22]
899*2^1246892-1 is not prime.  Res64: B649D2ECDE902A9D  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:30:23]
923*2^1246892-1 is not prime.  Res64: ECD1B3CA601039A9  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:47:57]
607*2^1246893-1 is not prime.  Res64: 23BEC7A6698F564F  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:47:57]
691*2^1246893-1 is not prime.  Res64: 9FB8AD9CF330CBDA  Time : 0.0 sec.
user=mdettweiler
[2013-06-14 23:49:47]
805*2^1246893-1 is not prime.  Res64: EC021B30E63A009B  Time : 0.0 sec.