user=vaughan
[2013-06-17 00:06:45]
951*2^1246962-1 is not prime.  Res64: 4177E5BC7BD154BC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:09:15]
723*2^1246963-1 is not prime.  Res64: FC2CC008AA411BEC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:09:16]
919*2^1246963-1 is not prime.  Res64: 5DBF8ED4CE435951  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:23:02]
993*2^1246963-1 is not prime.  Res64: 33F166D6DD541931  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:27:13]
773*2^1246964-1 is not prime.  Res64: 1E6E6B909A2A6460  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:41:50]
659*2^1246964-1 is not prime.  Res64: 95B1F09C25ABBCC4  Time : 0.0 sec.
user=vaughan
[2013-06-17 00:46:16]
767*2^1246964-1 is not prime.  Res64: 0E67783D25F6589B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:53:09]
869*2^1246964-1 is not prime.  Res64: 1A877EBFC82098BC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 00:59:47]
923*2^1246964-1 is not prime.  Res64: E9013132B6A0DC31  Time : 0.0 sec.
user=vaughan
[2013-06-17 01:25:48]
679*2^1246965-1 is not prime.  Res64: ACF08A9536D92C37  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 01:32:35]
935*2^1246964-1 is not prime.  Res64: 85A6DC9572BFC6E9  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 01:41:52]
795*2^1246965-1 is not prime.  Res64: 297804FBFE516FB6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 01:50:28]
623*2^1246966-1 is not prime.  Res64: EA3C6FC6B8024EAA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 01:50:29]
645*2^1246966-1 is not prime.  Res64: F4D605E7D11CFF8A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:08:16]
761*2^1246966-1 is not prime.  Res64: 50E85B50D9596928  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:08:17]
773*2^1246966-1 is not prime.  Res64: BE26192814D251E5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:10:29]
849*2^1246965-1 is not prime.  Res64: 1DE46A13DEE9C439  Time : 0.0 sec.
user=vaughan
[2013-06-17 02:10:39]
999*2^1246965-1 is not prime.  Res64: 70AF7691934E2C6C  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:26:06]
857*2^1246966-1 is not prime.  Res64: 279C404ED77F4A84  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:26:07]
887*2^1246966-1 is not prime.  Res64: 4E57696F6AC0AA9A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:28:17]
643*2^1246967-1 is not prime.  Res64: E73A034F1D9B0760  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:28:17]
649*2^1246967-1 is not prime.  Res64: A64E28C3549E964E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:44:12]
841*2^1246967-1 is not prime.  Res64: 7E207C66299025C3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:46:21]
657*2^1246968-1 is not prime.  Res64: 2F99D5F961E0FBE8  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 02:46:21]
669*2^1246968-1 is not prime.  Res64: 2563A01C97095182  Time : 0.0 sec.
user=vaughan
[2013-06-17 02:50:19]
799*2^1246967-1 is not prime.  Res64: 294070D4AF5BBE5F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 03:04:39]
797*2^1246968-1 is not prime.  Res64: 2A882F1632D97009  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 03:13:52]
909*2^1246967-1 is not prime.  Res64: 6D67D064436AAF24  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 03:31:53]
849*2^1246968-1 is not prime.  Res64: 6C31690F6D92526F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 03:33:43]
825*2^1246968-1 is not prime.  Res64: 5B215026DE45F7FD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 03:54:30]
929*2^1246968-1 is not prime.  Res64: 1EFA41C305513169  Time : 0.0 sec.
user=vaughan
[2013-06-17 04:09:19]
609*2^1246969-1 is not prime.  Res64: 96309F997AC5205A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:12:31]
615*2^1246969-1 is not prime.  Res64: 21104E3852111716  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:16:06]
861*2^1246969-1 is not prime.  Res64: 0EF38A96D1778541  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:16:06]
895*2^1246969-1 is not prime.  Res64: 1165CB5A4A1D374B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:31:25]
661*2^1246969-1 is not prime.  Res64: 9874965F89896999  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:33:56]
897*2^1246969-1 is not prime.  Res64: 69678DAFCD27D426  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:33:57]
955*2^1246969-1 is not prime.  Res64: EC32B0DDBF640A66  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:50:28]
967*2^1246969-1 is not prime.  Res64: 4779DC7AE14AFBCA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:50:29]
645*2^1246970-1 is not prime.  Res64: 3D1098ED34457D65  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 04:52:15]
753*2^1246970-1 is not prime.  Res64: AB8967B44A629395  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:08:20]
861*2^1246970-1 is not prime.  Res64: 7A1840221DADB3A2  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:08:21]
867*2^1246970-1 is not prime.  Res64: 4CEE0C3F52BDA6CE  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:24:52]
773*2^1246970-1 is not prime.  Res64: 6A0B3F7C3EF2CD6A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:26:28]
921*2^1246970-1 is not prime.  Res64: 98C8D91624D96A80  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:26:28]
951*2^1246970-1 is not prime.  Res64: 13D3CAF21C77ED69  Time : 0.0 sec.
user=vaughan
[2013-06-17 05:28:08]
831*2^1246970-1 is not prime.  Res64: A53D48E4AECD3C04  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:42:47]
621*2^1246971-1 is not prime.  Res64: F9508C236F68C4F5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:42:48]
769*2^1246971-1 is not prime.  Res64: D6138601A393F3B6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:44:15]
647*2^1246972-1 is not prime.  Res64: E2A0E7EB185B0AEA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 05:44:16]
833*2^1246972-1 is not prime.  Res64: DC9F5DA6156EC418  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:00:50]
897*2^1246972-1 is not prime.  Res64: B06299B518EB124F  Time : 0.0 sec.
user=vaughan
[2013-06-17 06:07:45]
857*2^1246972-1 is not prime.  Res64: 4AAD50AC06DFF180  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:21:36]
607*2^1246973-1 is not prime.  Res64: 9FD41D6E7E842590  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:21:37]
721*2^1246973-1 is not prime.  Res64: 0499E56E2B97AD09  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:39:38]
933*2^1246972-1 is not prime.  Res64: C9BCA1CA36C50AFD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:40:04]
867*2^1246973-1 is not prime.  Res64: 5B7BFC268F9EE54B  Time : 0.0 sec.
user=vaughan
[2013-06-17 06:47:36]
789*2^1246973-1 is not prime.  Res64: 5E87804CC593843D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:57:26]
891*2^1246974-1 is not prime.  Res64: A1497D34C875B25A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 06:57:26]
927*2^1246974-1 is not prime.  Res64: AD4A6807E2548A71  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:12:34]
737*2^1246974-1 is not prime.  Res64: AA7B894F597BFF0E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:16:10]
639*2^1246975-1 is not prime.  Res64: 15131C8C1183A4E7  Time : 0.0 sec.
user=vaughan
[2013-06-17 07:27:13]
625*2^1246975-1 is not prime.  Res64: 530170277245F4D9  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:30:37]
635*2^1246976-1 is not prime.  Res64: AE422AA6EF2C91C3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:30:38]
657*2^1246976-1 is not prime.  Res64: 20B7B2EFAF4690DB  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:39:20]
969*2^1246975-1 is not prime.  Res64: 189065F6A2EB506F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:48:52]
839*2^1246976-1 is not prime.  Res64: 98612AB54FA350F3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 07:57:17]
873*2^1246976-1 is not prime.  Res64: 5A52F40E210A148E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 08:23:22]
867*2^1246976-1 is not prime.  Res64: 0D403E80BC9758B6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 08:25:19]
685*2^1246977-1 is not prime.  Res64: 01265E45221D2E79  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 08:41:19]
807*2^1246977-1 is not prime.  Res64: C0858FF117EA4639  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 08:43:04]
937*2^1246977-1 is not prime.  Res64: 80CA71EE5C611BE6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 08:43:04]
737*2^1246978-1 is not prime.  Res64: 7712209D2CDC65E8  Time : 0.0 sec.
user=vaughan
[2013-06-17 08:46:25]
765*2^1246977-1 is not prime.  Res64: 1656C979B4BC3FC1  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 09:01:04]
833*2^1246978-1 is not prime.  Res64: 0FA05EF3657719A1  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 09:17:41]
895*2^1246977-1 is not prime.  Res64: 95D6F39EF7DFD62F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 09:34:53]
911*2^1246978-1 is not prime.  Res64: 7963B2AE3E73F2E0  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 09:52:43]
951*2^1246978-1 is not prime.  Res64: 7A2DA1BEB54AAC6C  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 09:52:43]
703*2^1246979-1 is not prime.  Res64: 4B5A1014220B5E02  Time : 0.0 sec.
user=vaughan
[2013-06-17 10:10:14]
933*2^1246978-1 is not prime.  Res64: B3EFA4C4159804B4  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:10:36]
741*2^1246979-1 is not prime.  Res64: 95966043FD62BED3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:10:37]
855*2^1246979-1 is not prime.  Res64: 8E528FB50D82AF91  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:19:03]
921*2^1246979-1 is not prime.  Res64: 8CE65C67E0A73B1C  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:19:04]
999*2^1246979-1 is not prime.  Res64: 73B1FE34245029E4  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:28:26]
945*2^1246980-1 is not prime.  Res64: 63CA545876F4C1CA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:28:26]
959*2^1246980-1 is not prime.  Res64: B71E56084B72A92C  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:37:08]
639*2^1246981-1 is not prime.  Res64: 5AFFCB5FEDA303C8  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:37:08]
717*2^1246981-1 is not prime.  Res64: F6F7FC4854C51F0F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:46:27]
799*2^1246981-1 is not prime.  Res64: 15B5F552F34C23A5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 10:55:11]
825*2^1246982-1 is not prime.  Res64: 7EF28CB5DC27624F  Time : 0.0 sec.
user=vaughan
[2013-06-17 10:55:32]
893*2^1246980-1 is not prime.  Res64: D179E7D89F925045  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 11:14:20]
887*2^1246982-1 is not prime.  Res64: 712A8198967EA58B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 11:16:53]
627*2^1246982-1 is not prime.  Res64: 4D8BC6BB5B14EA93  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 11:33:05]
911*2^1246982-1 is not prime.  Res64: 84C201BF856BBCB8  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 11:33:05]
977*2^1246982-1 is not prime.  Res64: A9439E1EE39D014E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 11:51:24]
721*2^1246983-1 is not prime.  Res64: 49F887814B45F001  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:00:50]
849*2^1246983-1 is not prime.  Res64: C829AED1499B7F19  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:00:51]
879*2^1246983-1 is not prime.  Res64: 3052154E7869701F  Time : 0.0 sec.
user=vaughan
[2013-06-17 12:14:19]
793*2^1246983-1 is not prime.  Res64: 04C6C3CDBE4ED66F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:14:58]
775*2^1246983-1 is not prime.  Res64: 28A1A281E21FA683  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:19:58]
677*2^1246984-1 is not prime.  Res64: 7F5FBDB4C486B83E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:33:07]
825*2^1246984-1 is not prime.  Res64: 30729FDF8563D1AC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 12:57:27]
717*2^1246984-1 is not prime.  Res64: 3B02B107794AC5B5  Time : 0.0 sec.
user=vaughan
[2013-06-17 12:59:23]
933*2^1246983-1 is not prime.  Res64: 2E019B344467E74A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:10:25]
827*2^1246984-1 is not prime.  Res64: 23AE41A671BE5F26  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:15:26]
855*2^1246984-1 is not prime.  Res64: 248E3618E31F4818  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:15:26]
863*2^1246984-1 is not prime.  Res64: 23ACAAEC8004A455  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:28:41]
909*2^1246984-1 is not prime.  Res64: E382FC33CE1D035D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:33:25]
607*2^1246985-1 is not prime.  Res64: F53F37B8A54F47A4  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:33:25]
697*2^1246985-1 is not prime.  Res64: 5B89C1A246DE6E58  Time : 0.0 sec.
user=vaughan
[2013-06-17 13:44:19]
887*2^1246984-1 is not prime.  Res64: 3F0F00B6F36140D6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:51:21]
721*2^1246985-1 is not prime.  Res64: D7F97DC4BF4D4844  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 13:51:22]
799*2^1246985-1 is not prime.  Res64: 9CEE075049B61D0B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:04:21]
915*2^1246984-1 is not prime.  Res64: 21B26BB742479C80  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:09:47]
711*2^1246986-1 is not prime.  Res64: FA18F4274B3CF6C4  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:35:32]
767*2^1246986-1 is not prime.  Res64: 29145B2339784C68  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:45:13]
851*2^1246986-1 is not prime.  Res64: 15B36BA73BC6F638  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:45:13]
881*2^1246986-1 is not prime.  Res64: 8A9C76B4FE24A490  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:54:43]
983*2^1246986-1 is not prime.  Res64: B9B3F995ADCE1ABE  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 14:54:44]
673*2^1246987-1 is not prime.  Res64: B248C33796CF0518  Time : 0.0 sec.
user=vaughan
[2013-06-17 15:03:14]
843*2^1246986-1 is not prime.  Res64: E155AE744031111E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:04:38]
693*2^1246987-1 is not prime.  Res64: 7A02D9D20ECDECEB  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:13:26]
871*2^1246987-1 is not prime.  Res64: 5D057113A88B4FA6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:13:26]
925*2^1246987-1 is not prime.  Res64: EA795D502189611E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:28:43]
843*2^1246987-1 is not prime.  Res64: A74943A42B649F0A  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:31:52]
657*2^1246988-1 is not prime.  Res64: C702944E3255FA43  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:31:52]
789*2^1246988-1 is not prime.  Res64: 7EBF585040160E2A  Time : 0.0 sec.
user=vaughan
[2013-06-17 15:42:44]
617*2^1246988-1 is not prime.  Res64: 0F84B012FF479FF0  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:46:56]
813*2^1246988-1 is not prime.  Res64: 357D62BED7B34FD6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:46:56]
885*2^1246988-1 is not prime.  Res64: B4A69D908343108B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 15:50:20]
609*2^1246989-1 is not prime.  Res64: 5FED4A4649B4CCFD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:04:52]
661*2^1246989-1 is not prime.  Res64: 2E8173176C2388CD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:04:53]
711*2^1246989-1 is not prime.  Res64: 3CE5EDC67C08BD6E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:12:44]
621*2^1246989-1 is not prime.  Res64: 40B38C425528D41F  Time : 0.0 sec.
user=vaughan
[2013-06-17 16:22:25]
655*2^1246989-1 is not prime.  Res64: DD11766279A5FBD7  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:22:46]
811*2^1246989-1 is not prime.  Res64: CFA2C691ED840A6B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:22:47]
891*2^1246989-1 is not prime.  Res64: BA7D53F65D9B9A24  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:30:51]
653*2^1246990-1 is not prime.  Res64: 97F42B79A9EACD23  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:30:51]
665*2^1246990-1 is not prime.  Res64: 29B0C3782D019E7E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:41:01]
821*2^1246990-1 is not prime.  Res64: 4B55017BF558A054  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:41:02]
619*2^1246991-1 is not prime.  Res64: 20DFF70C84F6F166  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:49:28]
741*2^1246991-1 is not prime.  Res64: 58416112B6C6CA2D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:59:38]
813*2^1246991-1 is not prime.  Res64: D259E5DC6BA5DE50  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 16:59:38]
823*2^1246991-1 is not prime.  Res64: 36A2DFF08E0ED86F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:17:40]
885*2^1246991-1 is not prime.  Res64: 066477A86EB40DAA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:17:40]
633*2^1246992-1 is not prime.  Res64: 9968EED2B46A31C5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:20:21]
811*2^1246991-1 is not prime.  Res64: BC4C6881BCA3C64F  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:36:21]
815*2^1246992-1 is not prime.  Res64: B089C8D93D801FBF  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:36:21]
909*2^1246992-1 is not prime.  Res64: 3FA90FF29361EB1D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:38:19]
639*2^1246993-1 is not prime.  Res64: 71799C96565CE2D8  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:38:20]
855*2^1246993-1 is not prime.  Res64: DC9F26E209A6C727  Time : 0.0 sec.
user=vaughan
[2013-06-17 17:41:29]
699*2^1246992-1 is not prime.  Res64: F6AF74468CD18C2E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:55:19]
985*2^1246993-1 is not prime.  Res64: B001BC14DD6310E0  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:55:19]
833*2^1246994-1 is not prime.  Res64: 6E9A4716C3A467B0  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:56:23]
851*2^1246994-1 is not prime.  Res64: 44208E2A64937EAD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 17:56:23]
873*2^1246994-1 is not prime.  Res64: F2E88C5E951EBFF2  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:13:28]
887*2^1246994-1 is not prime.  Res64: B9DFAF175224E3AD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:13:28]
945*2^1246994-1 is not prime.  Res64: 1411BAAEF044E34B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:14:33]
679*2^1246995-1 is not prime.  Res64: 319F95459199C48C  Time : 0.0 sec.
user=vaughan
[2013-06-17 18:21:12]
875*2^1246994-1 is not prime.  Res64: 3440A1479B56AB41  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:31:49]
853*2^1246995-1 is not prime.  Res64: 56AD4C7B4DEB9A1E  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:31:49]
859*2^1246995-1 is not prime.  Res64: 0B2BFA031953DA66  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:42:38]
775*2^1246995-1 is not prime.  Res64: A56F650F2956A0F3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 18:50:06]
603*2^1246996-1 is not prime.  Res64: B2FFD9DF15A498AE  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 19:27:00]
837*2^1246997-1 is not prime.  Res64: E934FF38EF1719B2  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 19:27:21]
735*2^1246996-1 is not prime.  Res64: 29B5A71C8A183C1C  Time : 0.0 sec.
user=vaughan
[2013-06-17 19:40:38]
727*2^1246997-1 is not prime.  Res64: D8670C36E89C57B5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 19:45:36]
885*2^1246997-1 is not prime.  Res64: EB1DC98FAFF321CB  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 19:45:36]
925*2^1246997-1 is not prime.  Res64: F49282E6B899D8BC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:04:40]
955*2^1246997-1 is not prime.  Res64: E23A79BA02C226A3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:04:41]
985*2^1246997-1 is not prime.  Res64: 24FECFC58E9A7BEA  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:07:29]
847*2^1246997-1 is not prime.  Res64: CA8B8F5384B95F65  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:23:06]
663*2^1246998-1 is not prime.  Res64: EC8F5D06075C8E03  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:23:06]
927*2^1246998-1 is not prime.  Res64: 0E3FF4FFBB7653BD  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:41:26]
609*2^1246999-1 is not prime.  Res64: 2DA88D6C07DF46B8  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:41:26]
723*2^1246999-1 is not prime.  Res64: 97DA6F654F4F1C99  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:59:00]
759*2^1246999-1 is not prime.  Res64: 45E50533553318F9  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 20:59:01]
793*2^1246999-1 is not prime.  Res64: CF6D2608D6C0FEF6  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:01:52]
913*2^1246999-1 is not prime.  Res64: 86E1BC525028C0C7  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:01:53]
993*2^1246999-1 is not prime.  Res64: 347AD3793A8308D4  Time : 0.0 sec.
user=vaughan
[2013-06-17 21:05:00]
933*2^1246998-1 is not prime.  Res64: 3C66678AAAF1E176  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:16:46]
603*2^1247000-1 is not prime.  Res64: 44A0D0C201E6F30D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:16:46]
609*2^1247000-1 is not prime.  Res64: C2ED80726671F3FC  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:19:53]
665*2^1247000-1 is not prime.  Res64: DC5467548969E7FB  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:34:44]
785*2^1247000-1 is not prime.  Res64: E100BFB9F1CC1CE3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 21:43:08]
755*2^1247000-1 is not prime.  Res64: 6E3FCD07E1966F9D  Time : 0.0 sec.
user=vaughan
[2013-06-17 21:45:05]
777*2^1247000-1 is not prime.  Res64: 54646BDAB6D0D21D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:01:04]
893*2^1247000-1 is not prime.  Res64: 258126ED59CA6315  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:11:51]
789*2^1247000-1 is not prime.  Res64: 661DB50F8E9C5C3B  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:29:37]
935*2^1247000-1 is not prime.  Res64: F95E44E91A67EEA5  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:30:19]
915*2^1247000-1 is not prime.  Res64: F12600ECE8FF9F18  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:47:57]
777*2^1247001-1 is not prime.  Res64: 8D72FF57DC4D8711  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 22:47:57]
877*2^1247001-1 is not prime.  Res64: 0C0B0D46BEFA2AB2  Time : 0.0 sec.
user=vaughan
[2013-06-17 23:04:21]
717*2^1247001-1 is not prime.  Res64: 00A6FB7256F58331  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:05:24]
639*2^1247001-1 is not prime.  Res64: 59181F980723C7B1  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:05:46]
611*2^1247002-1 is not prime.  Res64: 7B09816991C1F3D3  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:05:47]
621*2^1247002-1 is not prime.  Res64: EAEDE94F0DBA7F33  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:23:16]
803*2^1247002-1 is not prime.  Res64: CB25194E56FAAC6C  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:23:16]
815*2^1247002-1 is not prime.  Res64: 89ACEBDB084B3281  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:23:37]
831*2^1247002-1 is not prime.  Res64: 37A0E8B744212B59  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:23:38]
885*2^1247002-1 is not prime.  Res64: 342089BF1D08FDB4  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:41:22]
603*2^1247003-1 is not prime.  Res64: 200B67104B6635DF  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:41:23]
703*2^1247003-1 is not prime.  Res64: D86579266E6112F0  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:41:49]
911*2^1247002-1 is not prime.  Res64: 315095EB99767263  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:41:49]
975*2^1247002-1 is not prime.  Res64: F6660031A340D9D1  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:59:01]
783*2^1247003-1 is not prime.  Res64: E555CBB52845D426  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:59:23]
861*2^1247003-1 is not prime.  Res64: 0486093215D7C87D  Time : 0.0 sec.
user=mdettweiler
[2013-06-17 23:59:23]
885*2^1247003-1 is not prime.  Res64: ACB9BD54F56440EF  Time : 0.0 sec.