user=mdettweiler
[2013-04-21 00:13:26]
649*2^1244959-1 is not prime.  Res64: 13B318B0BB66C7D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:13:27]
735*2^1244959-1 is not prime.  Res64: 1CA20D92EFA13305  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:14:00]
769*2^1244959-1 is not prime.  Res64: 189D79A1AE0D1F9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:14:04]
841*2^1244959-1 is not prime.  Res64: 6B2855936D102468  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:31:17]
951*2^1244959-1 is not prime.  Res64: F3823CEA77187182  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:31:18]
993*2^1244959-1 is not prime.  Res64: 51B35C1106924894  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:32:29]
999*2^1244959-1 is not prime.  Res64: BBA224D21127AC8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:32:30]
825*2^1244960-1 is not prime.  Res64: C050A2601B184334  Time : 0.0 sec.
user=vaughan
[2013-04-21 00:32:33]
977*2^1244958-1 is not prime.  Res64: 96D28DB08D11835B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:48:47]
879*2^1244960-1 is not prime.  Res64: E4F628CD1C912A92  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:48:47]
977*2^1244960-1 is not prime.  Res64: 847739F0BDE68FAE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:50:47]
999*2^1244960-1 is not prime.  Res64: 46BDD74294F7AD75  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 00:50:47]
615*2^1244961-1 is not prime.  Res64: 081670B408B4F8E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:06:14]
649*2^1244961-1 is not prime.  Res64: 708690A11DE6256E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:06:14]
747*2^1244961-1 is not prime.  Res64: 27C2B0F5B93B6139  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:08:14]
819*2^1244961-1 is not prime.  Res64: D843DFEB76D1C39B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:08:15]
945*2^1244961-1 is not prime.  Res64: E9519CB8A9EEFBA0  Time : 0.0 sec.
user=vaughan
[2013-04-21 01:10:47]
637*2^1244961-1 is not prime.  Res64: 08722A424F1F5212  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:23:44]
975*2^1244961-1 is not prime.  Res64: A1D6AC244EF77676  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:23:44]
979*2^1244961-1 is not prime.  Res64: EAAB0E248B531FB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:25:43]
603*2^1244962-1 is not prime.  Res64: E27E8417DF10EC58  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:25:44]
651*2^1244962-1 is not prime.  Res64: 219E059C81C337F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:41:11]
741*2^1244962-1 is not prime.  Res64: 2377FBBCBB7D4A5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:41:12]
765*2^1244962-1 is not prime.  Res64: 2EA65C73EE4BBFFB  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:43:12]
777*2^1244962-1 is not prime.  Res64: C12F6A4F3644482F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:43:13]
885*2^1244962-1 is not prime.  Res64: 930662B9C716C46B  Time : 0.0 sec.
user=vaughan
[2013-04-21 01:49:00]
701*2^1244962-1 is not prime.  Res64: A64CBEB764150468  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:58:38]
615*2^1244963-1 is not prime.  Res64: 900F89E5C589AE66  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 01:58:39]
705*2^1244963-1 is not prime.  Res64: D2CA02866691C78A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:00:39]
801*2^1244963-1 is not prime.  Res64: 7EAE2D1A0C09EA30  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:00:40]
855*2^1244963-1 is not prime.  Res64: B889953ABB1A2708  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:16:05]
921*2^1244963-1 is not prime.  Res64: 0C07360D65BF46AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:16:06]
993*2^1244963-1 is not prime.  Res64: 4572332A73AA9FC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:18:07]
627*2^1244964-1 is not prime.  Res64: 7981B24A309A0FD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:18:07]
635*2^1244964-1 is not prime.  Res64: 7BF092BBE6720725  Time : 0.0 sec.
user=vaughan
[2013-04-21 02:27:11]
913*2^1244963-1 is not prime.  Res64: C6705E6C0522A1A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:33:36]
753*2^1244964-1 is not prime.  Res64: 9FEAFA7E9EEE83B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:33:37]
923*2^1244964-1 is not prime.  Res64: B8C423D91666F624  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:35:33]
675*2^1244965-1 is not prime.  Res64: C0C9255C772A4A78  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:35:34]
741*2^1244965-1 is not prime.  Res64: DD450438CF2F067D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:51:03]
897*2^1244966-1 is not prime.  Res64: F735702F50D1CC05  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:51:04]
981*2^1244966-1 is not prime.  Res64: 52CC0FCED89F575D  Time : 0.0 sec.
user=juhehe
[2013-04-21 02:52:45]
939*2^1244965-1 is not prime.  Res64: 235EFE984B244BC3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:53:01]
859*2^1244967-1 is not prime.  Res64: B7ABBF72D7D9F9AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 02:53:02]
861*2^1244967-1 is not prime.  Res64: 009C120AD3DCABA8  Time : 0.0 sec.
user=vaughan
[2013-04-21 03:05:21]
671*2^1244966-1 is not prime.  Res64: 67F57EB88FCF252A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:08:33]
865*2^1244967-1 is not prime.  Res64: 779D664154E14077  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:08:34]
945*2^1244967-1 is not prime.  Res64: DE32C8C0A9D03685  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:10:28]
961*2^1244967-1 is not prime.  Res64: 1B45CC45351DB0B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:10:28]
979*2^1244967-1 is not prime.  Res64: 187D73FE668B9AA5  Time : 0.0 sec.
user=juhehe
[2013-04-21 03:22:21]
951*2^1244967-1 is not prime.  Res64: F0947589F6AC4DEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:26:01]
843*2^1244968-1 is not prime.  Res64: 0E07FE623F0EEB36  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:26:02]
845*2^1244968-1 is not prime.  Res64: 8B65F5055EF3C07E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:27:56]
863*2^1244968-1 is not prime.  Res64: 3A03F8AE39FC5364  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:27:56]
697*2^1244969-1 is not prime.  Res64: BDA8B443281B13FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:43:27]
713*2^1244970-1 is not prime.  Res64: 96677FD87D09A4EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:43:28]
791*2^1244970-1 is not prime.  Res64: 70C9460E42406118  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:45:22]
885*2^1244970-1 is not prime.  Res64: 15F9D12A0195D4EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 03:45:23]
923*2^1244970-1 is not prime.  Res64: D2627FE4EE98A987  Time : 0.0 sec.
user=juhehe
[2013-04-21 03:46:23]
907*2^1244969-1 is not prime.  Res64: B2BD9AD8305EC060  Time : 0.0 sec.
user=vaughan
[2013-04-21 03:48:40]
985*2^1244967-1 is not prime.  Res64: 0C14D5DE0157F1BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:00:57]
941*2^1244970-1 is not prime.  Res64: C79CE0513D6972D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:00:58]
971*2^1244970-1 is not prime.  Res64: 790603A7434514E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:02:52]
651*2^1244971-1 is not prime.  Res64: 82EE1689FCDABC6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:02:53]
681*2^1244971-1 is not prime.  Res64: 53483EEAE3331E95  Time : 0.0 sec.
user=juhehe
[2013-04-21 04:10:16]
685*2^1244971-1 is not prime.  Res64: AFF588225A505519  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:19:06]
895*2^1244971-1 is not prime.  Res64: 12DA9162C8D594BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:19:07]
925*2^1244971-1 is not prime.  Res64: 337416538D32ACD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:20:45]
735*2^1244972-1 is not prime.  Res64: D5D78106AD0E1266  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:20:46]
753*2^1244972-1 is not prime.  Res64: E4524D961714EA5E  Time : 0.0 sec.
user=vaughan
[2013-04-21 04:26:56]
793*2^1244971-1 is not prime.  Res64: 9E40502723E1F29B  Time : 0.0 sec.
user=juhehe
[2013-04-21 04:32:20]
833*2^1244972-1 is not prime.  Res64: B3453CC0DF5CDF3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:36:36]
855*2^1244972-1 is not prime.  Res64: 7139D18562AF8AAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:36:37]
885*2^1244972-1 is not prime.  Res64: 2C8FD6A1D52F097F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:38:12]
621*2^1244973-1 is not prime.  Res64: 96FE4A99FC811D0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:38:12]
651*2^1244973-1 is not prime.  Res64: 6FFF70CB149F5E9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:54:06]
819*2^1244973-1 is not prime.  Res64: 0318D94AC1657883  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:54:07]
871*2^1244973-1 is not prime.  Res64: 1D908BBCC354A970  Time : 0.0 sec.
user=juhehe
[2013-04-21 04:54:08]
691*2^1244973-1 is not prime.  Res64: 890199066F5640E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:55:38]
991*2^1244973-1 is not prime.  Res64: F85C29E6C0329FE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 04:55:39]
663*2^1244974-1 is not prime.  Res64: 3C78FC0160C421D2  Time : 0.0 sec.
user=vaughan
[2013-04-21 05:05:09]
669*2^1244973-1 is not prime.  Res64: 60796DEA60F59598  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:11:34]
737*2^1244974-1 is not prime.  Res64: 38D8356614CC8B5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:11:35]
765*2^1244974-1 is not prime.  Res64: 69819E4CBFFDC75B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:13:06]
857*2^1244974-1 is not prime.  Res64: 61696B4288CF6C23  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:13:06]
885*2^1244974-1 is not prime.  Res64: 7517B045F9FCAEF1  Time : 0.0 sec.
user=juhehe
[2013-04-21 05:15:52]
831*2^1244974-1 is not prime.  Res64: CEF81871ED7F324E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:29:04]
965*2^1244974-1 is not prime.  Res64: 57C0D5A4157CD514  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:29:05]
619*2^1244975-1 is not prime.  Res64: 6F7A98495DFBF1F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:30:32]
651*2^1244975-1 is not prime.  Res64: 9A2DE9208719FFFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:30:33]
771*2^1244975-1 is not prime.  Res64: DC3F458AC79BE4E1  Time : 0.0 sec.
user=juhehe
[2013-04-21 05:37:35]
781*2^1244975-1 is not prime.  Res64: AD792691EF0327D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:46:32]
789*2^1244975-1 is not prime.  Res64: D708E0E16DB40819  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:46:33]
823*2^1244975-1 is not prime.  Res64: D960C059C634CDF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:48:00]
831*2^1244975-1 is not prime.  Res64: 1EBE41579D3CCAAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 05:48:00]
859*2^1244975-1 is not prime.  Res64: 7A1FCA3EC03C37B5  Time : 0.0 sec.
user=vaughan
[2013-04-21 05:48:30]
947*2^1244974-1 is not prime.  Res64: 13A58658DBB0802C  Time : 0.0 sec.
user=juhehe
[2013-04-21 06:03:09]
979*2^1244975-1 is not prime.  Res64: 773E53686BDCEBF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:04:00]
981*2^1244975-1 is not prime.  Res64: 38CE98752481F251  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:04:01]
629*2^1244976-1 is not prime.  Res64: C8CFA66AB5C69AAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:05:27]
693*2^1244976-1 is not prime.  Res64: 2D93983A5A174F9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:05:28]
789*2^1244976-1 is not prime.  Res64: 21375A090F2A5913  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:21:27]
969*2^1244976-1 is not prime.  Res64: 7264B3436FD70B36  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:21:28]
777*2^1244977-1 is not prime.  Res64: 4F23C38B3F0518EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:22:55]
915*2^1244977-1 is not prime.  Res64: E8CBEBD4B2F0A0A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:22:56]
919*2^1244977-1 is not prime.  Res64: 88FE6388E82527D4  Time : 0.0 sec.
user=vaughan
[2013-04-21 06:26:44]
879*2^1244976-1 is not prime.  Res64: 1C4C7CD72AC31299  Time : 0.0 sec.
user=juhehe
[2013-04-21 06:28:47]
927*2^1244976-1 is not prime.  Res64: 7995002F14BAF502  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:38:55]
981*2^1244977-1 is not prime.  Res64: 3DBD4EB2EFDA55DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:38:56]
837*2^1244978-1 is not prime.  Res64: D75C0A650A4BA16E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:40:23]
845*2^1244978-1 is not prime.  Res64: B8E2EF49A0FF0131  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:40:24]
893*2^1244978-1 is not prime.  Res64: 75C0AC52F9B28A9F  Time : 0.0 sec.
user=juhehe
[2013-04-21 06:50:36]
745*2^1244979-1 is not prime.  Res64: 1A5B531F40A0478A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:56:45]
843*2^1244979-1 is not prime.  Res64: C3E34E40C6C79AD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:56:46]
969*2^1244979-1 is not prime.  Res64: 511B6E142FD6A35B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:58:15]
979*2^1244979-1 is not prime.  Res64: BBE82BACD4E76180  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 06:58:15]
603*2^1244980-1 is not prime.  Res64: 398432EC8A8C8F6B  Time : 0.0 sec.
user=vaughan
[2013-04-21 07:10:02]
941*2^1244978-1 is not prime.  Res64: A4598560005F76FF  Time : 0.0 sec.
user=juhehe
[2013-04-21 07:12:19]
615*2^1244980-1 is not prime.  Res64: 09E6EB8EDD9DED89  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:14:27]
843*2^1244980-1 is not prime.  Res64: B2680D25D5798F98  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:14:28]
857*2^1244980-1 is not prime.  Res64: F6906F06D449CA7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:15:57]
923*2^1244980-1 is not prime.  Res64: 005E810488DDADAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:15:58]
965*2^1244980-1 is not prime.  Res64: 26E96E87FF44CA86  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:32:17]
649*2^1244981-1 is not prime.  Res64: 72D2B964CDE3FA0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:32:18]
745*2^1244981-1 is not prime.  Res64: F6F85E06A4D03292  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:33:46]
781*2^1244981-1 is not prime.  Res64: 74A78E297159AD3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:33:47]
789*2^1244981-1 is not prime.  Res64: 90017A1774E629E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:49:55]
795*2^1244981-1 is not prime.  Res64: B04B23B39EF6E9D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:49:56]
867*2^1244981-1 is not prime.  Res64: C4DC7E0B6C9A9162  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:51:22]
987*2^1244981-1 is not prime.  Res64: AACE1A033887DB95  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 07:51:23]
991*2^1244981-1 is not prime.  Res64: B3515A57752C4211  Time : 0.0 sec.
user=vaughan
[2013-04-21 07:53:25]
983*2^1244980-1 is not prime.  Res64: CF100547E7DB866A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:07:29]
635*2^1244982-1 is not prime.  Res64: B5268BF325477976  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:07:30]
747*2^1244982-1 is not prime.  Res64: DA9E9ADC2308A748  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:08:57]
777*2^1244982-1 is not prime.  Res64: 1EF47804BE8AC912  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:08:57]
891*2^1244982-1 is not prime.  Res64: 5939FAB61B990E17  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:25:07]
973*2^1244983-1 is not prime.  Res64: D93C53BA1F548C6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:25:07]
665*2^1244984-1 is not prime.  Res64: B0F2B75E70902B22  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:26:28]
689*2^1244984-1 is not prime.  Res64: 02548149896BF5F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:26:28]
785*2^1244984-1 is not prime.  Res64: 48F1C4C925D73468  Time : 0.0 sec.
user=vaughan
[2013-04-21 08:31:42]
649*2^1244983-1 is not prime.  Res64: 3D7E70A62530D643  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:42:37]
813*2^1244984-1 is not prime.  Res64: 1980A98F3872577F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:42:37]
837*2^1244984-1 is not prime.  Res64: A2C1A31DEB30796F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:43:58]
627*2^1244985-1 is not prime.  Res64: 8837CC31E086CEB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 08:43:58]
649*2^1244985-1 is not prime.  Res64: EE19A9E1E87418E1  Time : 0.0 sec.
user=juhehe
[2013-04-21 08:47:23]
899*2^1244984-1 is not prime.  Res64: 2408E49BD70AB9C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:00:06]
723*2^1244986-1 is not prime.  Res64: 65AA4B0E0ABADA22  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:00:07]
735*2^1244986-1 is not prime.  Res64: 56752F5D76E95007  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:01:27]
747*2^1244986-1 is not prime.  Res64: E60D0621CE94EEBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:01:28]
887*2^1244986-1 is not prime.  Res64: 56F3A6E9DA6546F9  Time : 0.0 sec.
user=vaughan
[2013-04-21 09:15:01]
955*2^1244985-1 is not prime.  Res64: 4FB67B70CE1C4300  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:17:38]
911*2^1244986-1 is not prime.  Res64: E2946CA3A83505F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:17:38]
917*2^1244986-1 is not prime.  Res64: F49B7C24A1AEC35A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:18:57]
923*2^1244986-1 is not prime.  Res64: 991B5710F33C05FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:18:57]
609*2^1244987-1 is not prime.  Res64: 0D4BD363A786B976  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:35:06]
651*2^1244987-1 is not prime.  Res64: 69EC6B30B685C981  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:35:07]
663*2^1244987-1 is not prime.  Res64: A895B2BF07F7D2F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:36:26]
711*2^1244987-1 is not prime.  Res64: 9AFD02BFE47B4621  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:36:26]
735*2^1244987-1 is not prime.  Res64: 22ADF5F4BAB3943B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:52:36]
759*2^1244987-1 is not prime.  Res64: CAD491DC40DADBE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:52:37]
813*2^1244987-1 is not prime.  Res64: 8DA1A6DF3CD02DCF  Time : 0.0 sec.
user=vaughan
[2013-04-21 09:53:17]
649*2^1244987-1 is not prime.  Res64: 0252C71A31D98E45  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:53:55]
841*2^1244987-1 is not prime.  Res64: 0BBA25E7C75CCF22  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 09:53:56]
861*2^1244987-1 is not prime.  Res64: 7532E5A159E38CFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:10:07]
883*2^1244987-1 is not prime.  Res64: 9A4BFE7B1778CBCD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:10:07]
955*2^1244987-1 is not prime.  Res64: 41287CC90B161536  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:12:13]
999*2^1244987-1 is not prime.  Res64: 2C4A7C3C5C227FF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:12:14]
753*2^1244988-1 is not prime.  Res64: CF07D512F8DEC45A  Time : 0.0 sec.
user=juhehe
[2013-04-21 10:21:30]
783*2^1244988-1 is not prime.  Res64: A63A6DCB9D0B4F08  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:27:37]
927*2^1244988-1 is not prime.  Res64: B96A41B50F5D6CD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:27:38]
993*2^1244988-1 is not prime.  Res64: CE757FB0D47DC51A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:29:43]
601*2^1244989-1 is not prime.  Res64: 127F5178C4FE0541  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:29:43]
741*2^1244989-1 is not prime.  Res64: 9789BFED615F58B3  Time : 0.0 sec.
user=vaughan
[2013-04-21 10:36:36]
985*2^1244987-1 is not prime.  Res64: 4AFED17427ECECAB  Time : 0.0 sec.
user=juhehe
[2013-04-21 10:43:07]
757*2^1244989-1 is not prime.  Res64: 258CD9BE6D30EF07  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:45:06]
831*2^1244989-1 is not prime.  Res64: 66C62FA46895B38D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:45:06]
957*2^1244989-1 is not prime.  Res64: CD53014916EC149C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:47:12]
635*2^1244990-1 is not prime.  Res64: 3D24C49DDE6D0E26  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 10:47:12]
687*2^1244990-1 is not prime.  Res64: 88111B6650DDD1C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:02:36]
951*2^1244990-1 is not prime.  Res64: E094137329CCBC23  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:02:37]
675*2^1244991-1 is not prime.  Res64: AC4CD5070F16224D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:04:41]
859*2^1244991-1 is not prime.  Res64: 42AAB2A62D729021  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:04:42]
861*2^1244991-1 is not prime.  Res64: 5D7F2B1876445C44  Time : 0.0 sec.
user=vaughan
[2013-04-21 11:14:48]
861*2^1244990-1 is not prime.  Res64: 4ABC1DD0E8165AA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:20:10]
895*2^1244991-1 is not prime.  Res64: 04258D18079D098B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:20:11]
945*2^1244991-1 is not prime.  Res64: 3085D3107BD95103  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:22:18]
961*2^1244991-1 is not prime.  Res64: 8FA35377FAB499C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:22:18]
975*2^1244991-1 is not prime.  Res64: B84560F55C979501  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:37:59]
723*2^1244992-1 is not prime.  Res64: 88A8B84232473BE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:37:59]
843*2^1244992-1 is not prime.  Res64: 351A96BFA1F9B1A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:40:01]
869*2^1244992-1 is not prime.  Res64: AD6E6F067A70BAEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:40:01]
657*2^1244993-1 is not prime.  Res64: 01ABE61505BBD42D  Time : 0.0 sec.
user=vaughan
[2013-04-21 11:53:01]
645*2^1244992-1 is not prime.  Res64: 3F93BCF661648DAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:55:44]
697*2^1244993-1 is not prime.  Res64: 91DDB89A9289ADBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:55:44]
705*2^1244993-1 is not prime.  Res64: DD409ED5938F14D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:57:45]
867*2^1244993-1 is not prime.  Res64: 4D39FA4AD20C97CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 11:57:46]
969*2^1244993-1 is not prime.  Res64: 659F0615A0456C09  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:13:28]
837*2^1244994-1 is not prime.  Res64: E649804863E2558B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:13:29]
917*2^1244994-1 is not prime.  Res64: 92A6A01FF6029519  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:15:27]
993*2^1244994-1 is not prime.  Res64: 03A5FC2E6C369693  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:15:28]
639*2^1244995-1 is not prime.  Res64: 8D5A7561A80114D4  Time : 0.0 sec.
user=juhehe
[2013-04-21 12:17:03]
723*2^1244994-1 is not prime.  Res64: 16AA966AD7D40684  Time : 0.0 sec.
user=vaughan
[2013-04-21 12:31:16]
663*2^1244994-1 is not prime.  Res64: 012246C773FFE26B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:31:17]
733*2^1244995-1 is not prime.  Res64: 9431A32BB190880A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:31:18]
793*2^1244995-1 is not prime.  Res64: 178040AE7ED2CADF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:33:15]
855*2^1244995-1 is not prime.  Res64: BF9B969ECA37A3E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:33:16]
861*2^1244995-1 is not prime.  Res64: 7579F7E7D410620F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:49:00]
943*2^1244995-1 is not prime.  Res64: 55D92985BB4D8C60  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:49:00]
635*2^1244996-1 is not prime.  Res64: DA9E642DF57BA12D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:50:58]
669*2^1244996-1 is not prime.  Res64: 67AABA8B6FF3AEEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 12:50:59]
699*2^1244996-1 is not prime.  Res64: C86C979AB28BFCA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:06:44]
813*2^1244996-1 is not prime.  Res64: 451FD3C937766949  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:06:45]
899*2^1244996-1 is not prime.  Res64: CFD36BAA1FDB2277  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:08:42]
945*2^1244996-1 is not prime.  Res64: 2EBB7D3CC8B3D74B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:08:42]
957*2^1244996-1 is not prime.  Res64: 5E2BFF5B82FB901A  Time : 0.0 sec.
user=vaughan
[2013-04-21 13:09:28]
913*2^1244995-1 is not prime.  Res64: CAD702EFDD6B1825  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:24:29]
969*2^1244996-1 is not prime.  Res64: 5B36DAC13D223FF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:24:29]
987*2^1244996-1 is not prime.  Res64: FE753F84E89F1D27  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:27:17]
999*2^1244996-1 is not prime.  Res64: E70AE90ABC297E21  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:27:18]
625*2^1244997-1 is not prime.  Res64: C3CC38B6216B6E96  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:42:18]
717*2^1244997-1 is not prime.  Res64: BCAEF8E96B4C2F5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:42:19]
795*2^1244997-1 is not prime.  Res64: F00F5273FA09034A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:45:07]
859*2^1244997-1 is not prime.  Res64: 3E6356F2A5FD0DE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 13:45:07]
885*2^1244997-1 is not prime.  Res64: 53B8087B4216D292  Time : 0.0 sec.
user=vaughan
[2013-04-21 13:47:43]
669*2^1244997-1 is not prime.  Res64: A48AF377F392C4E2  Time : 0.0 sec.
user=juhehe
[2013-04-21 13:54:43]
919*2^1244997-1 is not prime.  Res64: 77CAD6CB730C9A66  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:00:05]
677*2^1244998-1 is not prime.  Res64: CE9D169A57BEF4FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:00:06]
713*2^1244998-1 is not prime.  Res64: 89543AB781411CF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:02:52]
619*2^1244999-1 is not prime.  Res64: 11E3D755D1AC302F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:02:53]
685*2^1244999-1 is not prime.  Res64: 68432FCEB0AC4648  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:17:54]
811*2^1244999-1 is not prime.  Res64: 9CB68BAB5402A79B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:17:55]
841*2^1244999-1 is not prime.  Res64: 3E29E876B0B298D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:20:42]
861*2^1244999-1 is not prime.  Res64: 827E09A74546DD82  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:20:42]
913*2^1244999-1 is not prime.  Res64: B04CE7D0B900E6EE  Time : 0.0 sec.
user=vaughan
[2013-04-21 14:25:57]
693*2^1244999-1 is not prime.  Res64: E3B3215364B96391  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:35:41]
991*2^1244999-1 is not prime.  Res64: 857FCA8413D9E44D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:35:41]
665*2^1245000-1 is not prime.  Res64: B8215919775257D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:38:27]
875*2^1245000-1 is not prime.  Res64: DA49540CF4878BF6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:38:28]
899*2^1245000-1 is not prime.  Res64: BCEC92C5A749C83D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:53:25]
937*2^1245001-1 is not prime.  Res64: 24EECF4C0CEA7641  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:53:25]
827*2^1245002-1 is not prime.  Res64: 4743DEA7E822C405  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:56:12]
923*2^1245002-1 is not prime.  Res64: F939AE6D1B3CDC24  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 14:56:12]
945*2^1245002-1 is not prime.  Res64: 15F23EB24F74EC56  Time : 0.0 sec.
user=vaughan
[2013-04-21 15:04:11]
639*2^1245001-1 is not prime.  Res64: 55BBFC952C0E323D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:11:09]
953*2^1245002-1 is not prime.  Res64: 5457D2CEF4929387  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:11:10]
675*2^1245003-1 is not prime.  Res64: F3E9D990E7BCC30E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:13:55]
765*2^1245003-1 is not prime.  Res64: E88BDBD2159FE2AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:13:55]
823*2^1245003-1 is not prime.  Res64: 9122769A092F97F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:29:02]
943*2^1245003-1 is not prime.  Res64: D84E5B63CDFC921A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:29:03]
609*2^1245004-1 is not prime.  Res64: 58E2B4BE4F49D515  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:31:47]
705*2^1245004-1 is not prime.  Res64: 5E3D12500160E856  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:31:48]
803*2^1245004-1 is not prime.  Res64: BFE21B109DF7F5BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:46:53]
885*2^1245004-1 is not prime.  Res64: CABE17E4220AE649  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:46:53]
939*2^1245004-1 is not prime.  Res64: A39E6FE823D4F443  Time : 0.0 sec.
user=vaughan
[2013-04-21 15:47:36]
919*2^1245003-1 is not prime.  Res64: 86261DA02AF75406  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:49:39]
669*2^1245005-1 is not prime.  Res64: 0EF7FFBD8A6E6513  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 15:49:39]
721*2^1245005-1 is not prime.  Res64: 0B1A02D7F668BC14  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:04:42]
759*2^1245005-1 is not prime.  Res64: EFFDFD55B31830C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:04:43]
771*2^1245005-1 is not prime.  Res64: B984D77E49AB6500  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:07:29]
939*2^1245005-1 is not prime.  Res64: 672B7090EC29054C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:07:29]
981*2^1245005-1 is not prime.  Res64: 91FFC24E17123C91  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:22:38]
627*2^1245006-1 is not prime.  Res64: B3AA53859E86C94C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:22:38]
641*2^1245006-1 is not prime.  Res64: 1833C123BDC3A2C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:25:27]
683*2^1245006-1 is not prime.  Res64: FA9F1CDBDC6F13AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:25:27]
747*2^1245006-1 is not prime.  Res64: 4EB599C88C894489  Time : 0.0 sec.
user=vaughan
[2013-04-21 16:25:52]
795*2^1245005-1 is not prime.  Res64: 7E19E8FD8350A362  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:40:53]
957*2^1245006-1 is not prime.  Res64: 2E842243E859055C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:40:53]
673*2^1245007-1 is not prime.  Res64: E13A43CCAE6C56CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:43:33]
765*2^1245007-1 is not prime.  Res64: C61E9A1D3CC660F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:43:33]
861*2^1245007-1 is not prime.  Res64: 88FA358ECF43446B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:58:37]
951*2^1245007-1 is not prime.  Res64: 0BFA94C8A39170E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 16:58:37]
633*2^1245008-1 is not prime.  Res64: 7B8D0CBF7A702BB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:01:15]
713*2^1245008-1 is not prime.  Res64: 879CA54B9D63EDB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:01:16]
909*2^1245008-1 is not prime.  Res64: 67A0A73B78308E1C  Time : 0.0 sec.
user=vaughan
[2013-04-21 17:09:12]
919*2^1245007-1 is not prime.  Res64: FE954F32E9228332  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:16:26]
735*2^1245009-1 is not prime.  Res64: 60992201A93DCD30  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:16:27]
745*2^1245009-1 is not prime.  Res64: 36C0AFFDF9351A87  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:19:04]
769*2^1245009-1 is not prime.  Res64: 9B85017D86CCA1F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:19:04]
885*2^1245009-1 is not prime.  Res64: EA8A62047FF52576  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:34:16]
955*2^1245009-1 is not prime.  Res64: 363EF5A052480233  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:34:17]
605*2^1245010-1 is not prime.  Res64: E62C1DA183CF7A40  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:36:45]
701*2^1245010-1 is not prime.  Res64: 7A01F427EBB0F385  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:36:45]
717*2^1245010-1 is not prime.  Res64: 3B3BBCA6A6C043C9  Time : 0.0 sec.
user=vaughan
[2013-04-21 17:47:33]
891*2^1245009-1 is not prime.  Res64: 08EC8CF944559BAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:51:57]
825*2^1245010-1 is not prime.  Res64: 86A61E029F00E39F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:51:57]
669*2^1245011-1 is not prime.  Res64: 82E86FBD09630CA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:54:26]
675*2^1245011-1 is not prime.  Res64: 11CFF554209751C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 17:54:26]
753*2^1245011-1 is not prime.  Res64: 55EF88F4749224D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:09:38]
939*2^1245011-1 is not prime.  Res64: F4638CA709E95F61  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:09:39]
973*2^1245011-1 is not prime.  Res64: 6D1DE24DE40F3B2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:12:07]
981*2^1245011-1 is not prime.  Res64: 9B93A75BDAD4D1E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:12:07]
609*2^1245012-1 is not prime.  Res64: 173891B4883A4BF4  Time : 0.0 sec.
user=vaughan
[2013-04-21 18:25:50]
885*2^1245011-1 is not prime.  Res64: EE6D3BDEB03C831C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:27:19]
699*2^1245012-1 is not prime.  Res64: 2600EB8511748BB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:27:20]
719*2^1245012-1 is not prime.  Res64: 5F32BF4A2E98EBAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:29:48]
725*2^1245012-1 is not prime.  Res64: E4733744DD8FBB55  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:29:48]
893*2^1245012-1 is not prime.  Res64: 6A6C18B401A41A14  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:45:00]
757*2^1245013-1 is not prime.  Res64: 87C993A43A3CDE56  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:45:00]
765*2^1245013-1 is not prime.  Res64: 25FFDAC4A1168E48  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:47:28]
831*2^1245013-1 is not prime.  Res64: 35EFCD9FC966834F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 18:47:29]
897*2^1245013-1 is not prime.  Res64: 142E345FDBCB3408  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:02:42]
957*2^1245013-1 is not prime.  Res64: FA70432A6F089288  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:02:43]
961*2^1245013-1 is not prime.  Res64: 6846D0585333AA32  Time : 0.0 sec.
user=vaughan
[2013-04-21 19:04:06]
903*2^1245012-1 is not prime.  Res64: BFAA03B04D07EB01  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:05:10]
707*2^1245014-1 is not prime.  Res64: 9F4CFF8274531DB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:05:10]
741*2^1245014-1 is not prime.  Res64: 16C1C3CD8CEE3547  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:20:28]
965*2^1245014-1 is not prime.  Res64: 2BBDB19BC846312A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:20:28]
983*2^1245014-1 is not prime.  Res64: 68A72C679F22733F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:22:51]
633*2^1245015-1 is not prime.  Res64: 57D36B6916EE9003  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:22:51]
639*2^1245015-1 is not prime.  Res64: F29271F1DC57DF00  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:38:10]
651*2^1245015-1 is not prime.  Res64: A0874CED645974DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:38:10]
783*2^1245015-1 is not prime.  Res64: 27D76416538A6555  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:40:32]
795*2^1245015-1 is not prime.  Res64: 2601F45818A2380B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:40:32]
891*2^1245015-1 is not prime.  Res64: 59279106EA0A18A4  Time : 0.0 sec.
user=vaughan
[2013-04-21 19:42:24]
613*2^1245015-1 is not prime.  Res64: D175EAE545637620  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:55:52]
913*2^1245015-1 is not prime.  Res64: 63F71D2C5A991D21  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:55:52]
963*2^1245015-1 is not prime.  Res64: 50E784754EDAA52B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:58:13]
629*2^1245016-1 is not prime.  Res64: 0C1308D7DB2B1D7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 19:58:13]
657*2^1245016-1 is not prime.  Res64: 9AB7C34AB3B03FD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:13:34]
717*2^1245016-1 is not prime.  Res64: A677FFC837436D3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:13:35]
759*2^1245016-1 is not prime.  Res64: F6F8D6A526CD876F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:15:55]
903*2^1245016-1 is not prime.  Res64: 54CA2C91C82502A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:15:55]
909*2^1245016-1 is not prime.  Res64: DEE049D85D4050CB  Time : 0.0 sec.
user=vaughan
[2013-04-21 20:20:37]
699*2^1245016-1 is not prime.  Res64: ECA66DF984A2D4D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:31:19]
917*2^1245016-1 is not prime.  Res64: 380627C53AE6BC6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:31:19]
927*2^1245016-1 is not prime.  Res64: 567358581F0B469C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:33:37]
735*2^1245017-1 is not prime.  Res64: 46FBA02CB2AAFB14  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:33:37]
759*2^1245017-1 is not prime.  Res64: 6DBB4F0F6FF07B6D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:49:00]
861*2^1245017-1 is not prime.  Res64: 8393F7B3C5FDB217  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:49:00]
867*2^1245017-1 is not prime.  Res64: C4F1201FA52C7C4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:51:18]
939*2^1245017-1 is not prime.  Res64: 4E6B75E484047832  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 20:51:18]
985*2^1245017-1 is not prime.  Res64: FE7252CFF752810F  Time : 0.0 sec.
user=vaughan
[2013-04-21 20:58:53]
829*2^1245017-1 is not prime.  Res64: 0ABBBCC5AE4AB053  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:06:41]
627*2^1245018-1 is not prime.  Res64: 29CCE1303B447B1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:06:42]
647*2^1245018-1 is not prime.  Res64: 5CA90008274B6A78  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:09:00]
713*2^1245018-1 is not prime.  Res64: 93E6CB303FE1826D  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:09:01]
725*2^1245018-1 is not prime.  Res64: A92771D68BB68527  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:24:24]
921*2^1245018-1 is not prime.  Res64: C38776D95ED9A709  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:24:24]
625*2^1245019-1 is not prime.  Res64: 2E0670163A378C73  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:26:45]
675*2^1245019-1 is not prime.  Res64: E5D913CB15CBAC06  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:26:46]
685*2^1245019-1 is not prime.  Res64: 37B24F34B59BFE90  Time : 0.0 sec.
user=vaughan
[2013-04-21 21:37:10]
815*2^1245018-1 is not prime.  Res64: 07B00E79C08B6331  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:42:09]
789*2^1245019-1 is not prime.  Res64: 4562D1BF7EACC30A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:42:09]
687*2^1245020-1 is not prime.  Res64: 9132BCC385080CA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:44:37]
621*2^1245021-1 is not prime.  Res64: 08C9CE679B105E51  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:44:38]
639*2^1245021-1 is not prime.  Res64: 3D6670825E48E480  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:59:46]
709*2^1245021-1 is not prime.  Res64: 96D4F63205180CFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 21:59:47]
727*2^1245021-1 is not prime.  Res64: 1D1FD46E8945E5B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:02:09]
741*2^1245021-1 is not prime.  Res64: F49E4975053F235E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:02:10]
751*2^1245021-1 is not prime.  Res64: AE4E5EA31C547957  Time : 0.0 sec.
user=vaughan
[2013-04-21 22:15:27]
679*2^1245021-1 is not prime.  Res64: 1E62A063020B72AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:17:14]
829*2^1245021-1 is not prime.  Res64: 8F560418D473AAD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:17:15]
861*2^1245021-1 is not prime.  Res64: 67938E1D92CC937B  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:19:39]
969*2^1245021-1 is not prime.  Res64: 29FC3E6768F7DA64  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:19:40]
991*2^1245021-1 is not prime.  Res64: DED777091B8CADC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:34:42]
621*2^1245022-1 is not prime.  Res64: 4576ED0FAB90A3C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:34:42]
623*2^1245022-1 is not prime.  Res64: 89B0B9E6D172675E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:37:06]
647*2^1245022-1 is not prime.  Res64: C78B8A93683D0325  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:37:06]
651*2^1245022-1 is not prime.  Res64: 5DABED837EC9E28F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:52:10]
665*2^1245022-1 is not prime.  Res64: 32AA82916EE609E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:52:10]
731*2^1245022-1 is not prime.  Res64: D604735AB00A0CD1  Time : 0.0 sec.
user=vaughan
[2013-04-21 22:53:48]
611*2^1245022-1 is not prime.  Res64: CADF4DA7F0F8506A  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:54:33]
857*2^1245022-1 is not prime.  Res64: 5C0AB9FBC2E9F838  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 22:54:34]
885*2^1245022-1 is not prime.  Res64: 89A8230D523D3E78  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:09:37]
887*2^1245022-1 is not prime.  Res64: 3C3057EA64D0A459  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:09:38]
915*2^1245022-1 is not prime.  Res64: 56FD591057574B68  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:12:02]
965*2^1245022-1 is not prime.  Res64: 5D525FD1EF90625C  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:12:03]
975*2^1245022-1 is not prime.  Res64: E8C52B800A7CDE46  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:27:09]
987*2^1245022-1 is not prime.  Res64: F2F8BC0020E6B200  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:27:09]
889*2^1245023-1 is not prime.  Res64: 99296956E01A91F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:29:29]
901*2^1245023-1 is not prime.  Res64: B23911BC0466BD0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:29:29]
921*2^1245023-1 is not prime.  Res64: 3BD6A4E02E28C22F  Time : 0.0 sec.
user=vaughan
[2013-04-21 23:37:04]
945*2^1245022-1 is not prime.  Res64: 694596B0AAA17CA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:45:26]
999*2^1245023-1 is not prime.  Res64: E301AC92BA93D140  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:45:27]
605*2^1245024-1 is not prime.  Res64: 3A9D092D6414673E  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:46:56]
623*2^1245024-1 is not prime.  Res64: 6DB907440ED771EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-21 23:46:56]
675*2^1245024-1 is not prime.  Res64: 45D9A917E2A6F134  Time : 0.0 sec.