user=mdettweiler
[2013-03-17 00:05:33]
741*2^1242835-1 is not prime.  Res64: CB9722846415EF7D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:05:33]
859*2^1242835-1 is not prime.  Res64: 03DC7C705656E3D9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:13:38]
979*2^1242835-1 is not prime.  Res64: F3691E9F7843D2F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:13:43]
985*2^1242835-1 is not prime.  Res64: F994193B7EB1244F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:23:01]
735*2^1242836-1 is not prime.  Res64: 42BAF0D755930079  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:23:01]
867*2^1242836-1 is not prime.  Res64: 792501F1744681F6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:31:10]
953*2^1242836-1 is not prime.  Res64: D1E365F5CFE3B650  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:31:11]
983*2^1242836-1 is not prime.  Res64: 71D3444AE3D7FF97  Time : 0.0 sec.
user=vaughan
[2013-03-17 00:35:02]
609*2^1242836-1 is not prime.  Res64: 79DDFE7591CC8736  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:40:28]
651*2^1242837-1 is not prime.  Res64: D541E9BCCC509348  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:40:28]
717*2^1242837-1 is not prime.  Res64: 49D9567DE52D6FDC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:48:37]
751*2^1242837-1 is not prime.  Res64: C4FB8D0501E0D039  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:48:38]
937*2^1242837-1 is not prime.  Res64: E81575DA9165904A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:57:55]
605*2^1242838-1 is not prime.  Res64: 156FA0F207DF8904  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 00:57:56]
665*2^1242838-1 is not prime.  Res64: FDD886E5AF5368D9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:06:04]
677*2^1242838-1 is not prime.  Res64: D2665BB09568788E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:06:05]
723*2^1242838-1 is not prime.  Res64: 1CB4C800DFA2A228  Time : 0.0 sec.
user=juhehe
[2013-03-17 01:10:25]
617*2^1242836-1 is not prime.  Res64: 00919DF361A60DCA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:15:23]
737*2^1242838-1 is not prime.  Res64: 93CA253872362350  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:15:23]
761*2^1242838-1 is not prime.  Res64: 7BDB8F40D7CE2F90  Time : 0.0 sec.
user=vaughan
[2013-03-17 01:18:15]
955*2^1242837-1 is not prime.  Res64: C4BDDC61E82C63AD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:23:31]
765*2^1242838-1 is not prime.  Res64: 1A857496F1FF523E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:23:32]
825*2^1242838-1 is not prime.  Res64: A7D6C3D1F6006DCC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:32:49]
843*2^1242838-1 is not prime.  Res64: D055C8C01C85B7CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:32:50]
867*2^1242838-1 is not prime.  Res64: 330A40C15D9BF10D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:40:59]
633*2^1242839-1 is not prime.  Res64: 4F1DE91EA49CCED9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:40:59]
655*2^1242839-1 is not prime.  Res64: 4D00438C264C5497  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:50:17]
705*2^1242839-1 is not prime.  Res64: 91CA62DC06154302  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:50:17]
745*2^1242839-1 is not prime.  Res64: 9AD483A9D3748D54  Time : 0.0 sec.
user=vaughan
[2013-03-17 01:56:30]
945*2^1242838-1 is not prime.  Res64: 3D403567A72C7AED  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:58:26]
753*2^1242839-1 is not prime.  Res64: CB82F4F20BECBDCD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 01:58:27]
763*2^1242839-1 is not prime.  Res64: 7CD1D719BE577815  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:07:44]
861*2^1242839-1 is not prime.  Res64: 667360FA4C7A68E9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:07:45]
879*2^1242839-1 is not prime.  Res64: 43D3AE7D6EC294BC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:15:53]
893*2^1242840-1 is not prime.  Res64: B16C859C5748DA13  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:15:54]
899*2^1242840-1 is not prime.  Res64: 2323956EABC198BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:25:13]
945*2^1242840-1 is not prime.  Res64: 2C678A22FC97D516  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:25:14]
983*2^1242840-1 is not prime.  Res64: CA782D955367BC3C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:33:20]
675*2^1242841-1 is not prime.  Res64: D69151D16A2B41CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:33:21]
681*2^1242841-1 is not prime.  Res64: 4779A6E58A8F7505  Time : 0.0 sec.
user=vaughan
[2013-03-17 02:35:01]
635*2^1242840-1 is not prime.  Res64: 124EE65BAFCC3667  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:42:42]
687*2^1242841-1 is not prime.  Res64: C3EC327D40598461  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:42:43]
751*2^1242841-1 is not prime.  Res64: 6FD482A61FD7BA2C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:50:49]
895*2^1242841-1 is not prime.  Res64: 1A5996BC0090E25A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 02:50:50]
633*2^1242842-1 is not prime.  Res64: 8F2394CA2A5FD1C9  Time : 0.0 sec.
user=juhehe
[2013-03-17 02:59:14]
885*2^1242839-1 is not prime.  Res64: 8A761268FB920201  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:00:19]
677*2^1242842-1 is not prime.  Res64: 38606A69E1C2839C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:00:20]
801*2^1242842-1 is not prime.  Res64: 51296A3206E086C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:08:17]
921*2^1242842-1 is not prime.  Res64: 1B360DF3902F3F74  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:08:18]
941*2^1242842-1 is not prime.  Res64: 8602BB32278DB906  Time : 0.0 sec.
user=Mini-Geek
[2013-03-17 03:11:30]
915*2^1242842-1 is not prime.  Res64: 7911D8E8823643EB  Time : 0.0 sec.
user=vaughan
[2013-03-17 03:13:21]
635*2^1242842-1 is not prime.  Res64: 0D6AED7228D3C19B  Time : 0.0 sec.
user=juhehe
[2013-03-17 03:16:39]
645*2^1242841-1 is not prime.  Res64: 3DD6908A67082A14  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:17:51]
957*2^1242842-1 is not prime.  Res64: BFA4990ED932F210  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:17:52]
1001*2^1242842-1 is not prime.  Res64: 78647DE83C9E9C76  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:25:45]
639*2^1242843-1 is not prime.  Res64: D30FF231FA86F41F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:25:46]
699*2^1242843-1 is not prime.  Res64: 10FF136D529545AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:35:18]
873*2^1242843-1 is not prime.  Res64: E0FDD40AF06315A6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:35:19]
913*2^1242843-1 is not prime.  Res64: CA094D272A6D3794  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:43:14]
921*2^1242843-1 is not prime.  Res64: 654B245C3F7EB9C2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:43:15]
663*2^1242844-1 is not prime.  Res64: EAF6C52D0F530F7C  Time : 0.0 sec.
user=vaughan
[2013-03-17 03:51:37]
775*2^1242843-1 is not prime.  Res64: 8DA36156612763D6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:52:49]
869*2^1242844-1 is not prime.  Res64: F747D984F3990069  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 03:52:49]
873*2^1242844-1 is not prime.  Res64: 70F8BD3BB77796AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:00:44]
657*2^1242845-1 is not prime.  Res64: 5B3E530984C0D0C8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:00:45]
697*2^1242845-1 is not prime.  Res64: 6787CB7FA1D159C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:10:24]
757*2^1242845-1 is not prime.  Res64: 39FCF02E135F8122  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:10:25]
801*2^1242845-1 is not prime.  Res64: E599F92EFA1D54FC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:18:34]
825*2^1242845-1 is not prime.  Res64: 2EF7329A330F68B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:18:35]
831*2^1242845-1 is not prime.  Res64: 8C3218A32507778B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:28:09]
897*2^1242845-1 is not prime.  Res64: 3AEC3E33E98823ED  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:28:10]
937*2^1242845-1 is not prime.  Res64: 59CD053747785119  Time : 0.0 sec.
user=vaughan
[2013-03-17 04:29:48]
699*2^1242845-1 is not prime.  Res64: EB99FD0FD0EEB41C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:36:07]
987*2^1242845-1 is not prime.  Res64: 5E65B9B6777690F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:36:08]
677*2^1242846-1 is not prime.  Res64: 876A7ECC4767A5EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:45:37]
683*2^1242846-1 is not prime.  Res64: D9A5A75FEC5DB737  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:45:38]
693*2^1242846-1 is not prime.  Res64: F459F6E758FABECE  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:53:35]
963*2^1242846-1 is not prime.  Res64: C9ED4D61B46EB679  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 04:53:36]
975*2^1242846-1 is not prime.  Res64: A1597F8D68FA9E72  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:03:05]
673*2^1242847-1 is not prime.  Res64: 3EF73C75DD653D6A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:03:06]
765*2^1242847-1 is not prime.  Res64: A82C634B84EC7ED4  Time : 0.0 sec.
user=juhehe
[2013-03-17 05:05:49]
847*2^1242845-1 is not prime.  Res64: A2EDE00C180F1F24  Time : 0.0 sec.
user=vaughan
[2013-03-17 05:07:59]
705*2^1242846-1 is not prime.  Res64: 586FED33B17B03B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:11:01]
769*2^1242847-1 is not prime.  Res64: F0E79327C3746F0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:11:02]
889*2^1242847-1 is not prime.  Res64: 60AF502219AE83BB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:20:34]
633*2^1242848-1 is not prime.  Res64: C20E779DC11D6588  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:20:34]
657*2^1242848-1 is not prime.  Res64: FF71D95241655C49  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:28:29]
923*2^1242848-1 is not prime.  Res64: 40DF30DDD70907E3  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:28:29]
625*2^1242849-1 is not prime.  Res64: 43A990DBB41E39C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:38:00]
679*2^1242849-1 is not prime.  Res64: 46101F34D7FF1BD6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:38:01]
747*2^1242849-1 is not prime.  Res64: 41969231B0C44ED9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:45:55]
787*2^1242849-1 is not prime.  Res64: 08C0E006EA58D837  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:45:55]
949*2^1242849-1 is not prime.  Res64: 907F7BA480C5CF11  Time : 0.0 sec.
user=vaughan
[2013-03-17 05:46:12]
669*2^1242848-1 is not prime.  Res64: 0413C2E69E64C28B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:55:27]
687*2^1242850-1 is not prime.  Res64: A5BD908C80CD4EA0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 05:55:27]
773*2^1242850-1 is not prime.  Res64: 4C9133D393CC3414  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:03:21]
777*2^1242850-1 is not prime.  Res64: 4B2D0622BAABBB47  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:03:22]
803*2^1242850-1 is not prime.  Res64: B9B826B92BB12CDA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:12:53]
885*2^1242850-1 is not prime.  Res64: 84EC55B5374FBA30  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:12:54]
741*2^1242851-1 is not prime.  Res64: DE9E2CCC1D6EF4EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:20:49]
759*2^1242851-1 is not prime.  Res64: 64D88AF3367FE495  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:20:50]
813*2^1242851-1 is not prime.  Res64: 4DD108F44D537E98  Time : 0.0 sec.
user=vaughan
[2013-03-17 06:24:22]
843*2^1242850-1 is not prime.  Res64: 7C0CFB039F83C9B5  Time : 0.0 sec.
user=juhehe
[2013-03-17 06:24:49]
675*2^1242849-1 is not prime.  Res64: 32327CF45CC2E472  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:30:20]
883*2^1242851-1 is not prime.  Res64: B31E2E949A732C25  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:30:20]
931*2^1242851-1 is not prime.  Res64: AAA6EC3EB752BF8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:38:15]
623*2^1242852-1 is not prime.  Res64: EDE27D538045E236  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:38:16]
933*2^1242852-1 is not prime.  Res64: 0457AE7FDC9F2C33  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:47:47]
615*2^1242853-1 is not prime.  Res64: 5D65C063667CFC82  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:47:48]
621*2^1242853-1 is not prime.  Res64: E07A98C1B9C5A69F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:55:41]
747*2^1242853-1 is not prime.  Res64: 7556242BE4855EB7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 06:55:41]
765*2^1242853-1 is not prime.  Res64: 1069B49926124A70  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:05:12]
831*2^1242853-1 is not prime.  Res64: 94B39B0EFEA991A0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:05:13]
955*2^1242853-1 is not prime.  Res64: 76944A79E1375D1F  Time : 0.0 sec.
user=vaughan
[2013-03-17 07:07:35]
977*2^1242852-1 is not prime.  Res64: 483C3FB3B5F61DB2  Time : 0.0 sec.
user=juhehe
[2013-03-17 07:12:03]
859*2^1242851-1 is not prime.  Res64: 1F15437EC4E2A6BD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:13:07]
961*2^1242853-1 is not prime.  Res64: 4E305A1861DB996C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:13:07]
707*2^1242854-1 is not prime.  Res64: 2F28610CC8765AF8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:22:39]
743*2^1242854-1 is not prime.  Res64: FEA0D39744302E80  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:22:40]
885*2^1242854-1 is not prime.  Res64: 9D3CA6A26A77EAB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:30:33]
923*2^1242854-1 is not prime.  Res64: 99A1722CC3B12C4D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:30:33]
945*2^1242854-1 is not prime.  Res64: 365DEC0D0518319E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:40:05]
971*2^1242854-1 is not prime.  Res64: F9CE05F37BB07E3E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:40:05]
643*2^1242855-1 is not prime.  Res64: 37E9EB6CCD74E590  Time : 0.0 sec.
user=vaughan
[2013-03-17 07:45:49]
917*2^1242854-1 is not prime.  Res64: 2DBCCC72FA661DCE  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:47:58]
741*2^1242855-1 is not prime.  Res64: 245A520BBC5D5528  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:47:59]
865*2^1242855-1 is not prime.  Res64: 823D32004C863568  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:57:30]
895*2^1242855-1 is not prime.  Res64: 4E9848040DA8D1B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 07:57:31]
913*2^1242855-1 is not prime.  Res64: 819F6B780CAFFF34  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:05:25]
773*2^1242856-1 is not prime.  Res64: CBA8F52FED70BEC0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:05:26]
813*2^1242856-1 is not prime.  Res64: 552636AF30644218  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:14:59]
825*2^1242856-1 is not prime.  Res64: 631BC2E1EA251FEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:14:59]
869*2^1242856-1 is not prime.  Res64: A57F05D9BC4F58DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:22:52]
993*2^1242856-1 is not prime.  Res64: ECA757DB8E302CD7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:22:52]
607*2^1242857-1 is not prime.  Res64: EB1D8E040261050E  Time : 0.0 sec.
user=vaughan
[2013-03-17 08:29:06]
961*2^1242855-1 is not prime.  Res64: AB484658A6E173CA  Time : 0.0 sec.
user=juhehe
[2013-03-17 08:31:45]
691*2^1242855-1 is not prime.  Res64: 3F9DF81FC86163E2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:32:27]
651*2^1242857-1 is not prime.  Res64: 1BB7B1DE91968B8C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:32:28]
799*2^1242857-1 is not prime.  Res64: DE289BB3D8895F73  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:40:19]
867*2^1242857-1 is not prime.  Res64: 3E72870684F42110  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:40:19]
949*2^1242857-1 is not prime.  Res64: 34758ED1FEE45CA4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:49:51]
657*2^1242858-1 is not prime.  Res64: 12539F5B29C5AEFF  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:49:52]
747*2^1242858-1 is not prime.  Res64: 46003234BBADD8DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:57:43]
777*2^1242858-1 is not prime.  Res64: AE4506D398C173BB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 08:57:43]
825*2^1242858-1 is not prime.  Res64: 3E20F78466FECCDF  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:07:15]
833*2^1242858-1 is not prime.  Res64: D7E064E95A96CD8A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:07:17]
885*2^1242858-1 is not prime.  Res64: 95362E248FE86209  Time : 0.0 sec.
user=vaughan
[2013-03-17 09:07:19]
621*2^1242858-1 is not prime.  Res64: 04381C11E4DC69C2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:15:07]
615*2^1242859-1 is not prime.  Res64: E2C7C0D46DBBE73B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:15:07]
645*2^1242859-1 is not prime.  Res64: 83D2C13D63C4736A  Time : 0.0 sec.
user=juhehe
[2013-03-17 09:17:59]
631*2^1242857-1 is not prime.  Res64: 43EF2825C7F863F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:24:43]
649*2^1242859-1 is not prime.  Res64: 18AD78AE6B5E2CD4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:24:43]
681*2^1242859-1 is not prime.  Res64: 56211B12D411A7DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:32:30]
843*2^1242859-1 is not prime.  Res64: D292495C38D7C41A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:32:30]
913*2^1242859-1 is not prime.  Res64: CCAAD44D7C031A71  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:42:06]
699*2^1242860-1 is not prime.  Res64: 71EFD842F7C8CE0B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:42:07]
725*2^1242860-1 is not prime.  Res64: B5D988B1BB28E123  Time : 0.0 sec.
user=vaughan
[2013-03-17 09:45:32]
685*2^1242859-1 is not prime.  Res64: 7461D6BD1DD796C1  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:49:53]
759*2^1242860-1 is not prime.  Res64: E695C78FA6ED919A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:49:54]
855*2^1242860-1 is not prime.  Res64: A907319EC6EA0331  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:59:30]
977*2^1242860-1 is not prime.  Res64: 41142CF2F7087FBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 09:59:31]
601*2^1242861-1 is not prime.  Res64: 22DE029562879B75  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:07:17]
747*2^1242861-1 is not prime.  Res64: D2D486A5D77E2F94  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:07:18]
817*2^1242861-1 is not prime.  Res64: 8C1086D4AB642FAC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:16:55]
861*2^1242861-1 is not prime.  Res64: 0D68763ED32F3D43  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:16:56]
867*2^1242861-1 is not prime.  Res64: 5FD66A263BF55683  Time : 0.0 sec.
user=vaughan
[2013-03-17 10:23:48]
727*2^1242861-1 is not prime.  Res64: D9AE5F67F55A9BFA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:24:44]
889*2^1242861-1 is not prime.  Res64: E015D90584C1C024  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:24:44]
955*2^1242861-1 is not prime.  Res64: 754054065B635A0B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:34:19]
975*2^1242861-1 is not prime.  Res64: 5F371366F523118D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:34:19]
651*2^1242862-1 is not prime.  Res64: AF398326F6E0766B  Time : 0.0 sec.
user=juhehe
[2013-03-17 10:37:55]
935*2^1242860-1 is not prime.  Res64: 77D2A33753F3ADE3  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:42:07]
791*2^1242862-1 is not prime.  Res64: E6202ECB2FCD5156  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:42:07]
801*2^1242862-1 is not prime.  Res64: AA5A8F1F2FCBF220  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:51:42]
813*2^1242862-1 is not prime.  Res64: 5C388F2B9CF71DCB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:51:43]
831*2^1242862-1 is not prime.  Res64: 1895246FBF9AEA21  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:59:32]
863*2^1242862-1 is not prime.  Res64: 878FE4DDBA919C7B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 10:59:33]
941*2^1242862-1 is not prime.  Res64: E10895DA305BD295  Time : 0.0 sec.
user=vaughan
[2013-03-17 11:02:04]
695*2^1242862-1 is not prime.  Res64: CCB577226BAFC9B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:09:06]
951*2^1242862-1 is not prime.  Res64: F8ADB873594A8E57  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:09:07]
965*2^1242862-1 is not prime.  Res64: C3C3DC09C88ECDD3  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:16:55]
615*2^1242863-1 is not prime.  Res64: 66F27AD41A7C5308  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:16:56]
753*2^1242863-1 is not prime.  Res64: 3A064066DBC76BCE  Time : 0.0 sec.
user=juhehe
[2013-03-17 11:24:18]
675*2^1242862-1 is not prime.  Res64: 15BD753646E84ADB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:26:31]
605*2^1242864-1 is not prime.  Res64: DA8B520A9D66259F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:26:32]
657*2^1242864-1 is not prime.  Res64: C3642A05C09E5DEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:34:19]
717*2^1242864-1 is not prime.  Res64: 01BEEF1D94DB0A3C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:34:19]
753*2^1242864-1 is not prime.  Res64: 616092CE7C8C815F  Time : 0.0 sec.
user=vaughan
[2013-03-17 11:40:19]
811*2^1242863-1 is not prime.  Res64: 08E9FEBD4746DA79  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:43:54]
767*2^1242864-1 is not prime.  Res64: 78F02757E36403CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:43:54]
773*2^1242864-1 is not prime.  Res64: 11F2E36590CC0152  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:51:46]
969*2^1242864-1 is not prime.  Res64: DFD9C236E76A92B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 11:51:46]
975*2^1242864-1 is not prime.  Res64: 30AED6097C88A0F0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:01:23]
729*2^1242865-1 is not prime.  Res64: D664594C755E0B87  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:01:24]
805*2^1242865-1 is not prime.  Res64: 9A47BED11CD21FF2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:09:18]
957*2^1242865-1 is not prime.  Res64: 6968FF58BCCF48B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:09:19]
645*2^1242866-1 is not prime.  Res64: E57009BA32DA113B  Time : 0.0 sec.
user=vaughan
[2013-03-17 12:18:35]
717*2^1242865-1 is not prime.  Res64: 2CEF8F74F8B22805  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:18:55]
701*2^1242866-1 is not prime.  Res64: F4A3A9EA032EF906  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:18:56]
711*2^1242866-1 is not prime.  Res64: C1A68C81940258D5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:26:50]
843*2^1242866-1 is not prime.  Res64: 82D4E34A013E6EB4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:26:51]
887*2^1242866-1 is not prime.  Res64: 630D13A231D4F01E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:36:24]
963*2^1242866-1 is not prime.  Res64: 2EB5F46ECB7C3BBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:36:25]
971*2^1242866-1 is not prime.  Res64: 3DB86A2A8F78FBB0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:44:23]
775*2^1242867-1 is not prime.  Res64: 08886ED8D258F6D8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:44:24]
963*2^1242867-1 is not prime.  Res64: D835839C1C0AFAF9  Time : 0.0 sec.
user=juhehe
[2013-03-17 12:45:13]
601*2^1242865-1 is not prime.  Res64: B133E13264F5ADCA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:53:58]
635*2^1242868-1 is not prime.  Res64: F98E6F6A381D9DE9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 12:53:59]
647*2^1242868-1 is not prime.  Res64: B74E4C1C895A9C84  Time : 0.0 sec.
user=vaughan
[2013-03-17 12:56:47]
893*2^1242866-1 is not prime.  Res64: 8F16D69251F077ED  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:02:06]
813*2^1242868-1 is not prime.  Res64: BECDC03A47E579C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:02:06]
845*2^1242868-1 is not prime.  Res64: 782FE17820DD3D8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:11:44]
855*2^1242868-1 is not prime.  Res64: 83B9AD8DE22A080D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:11:45]
885*2^1242868-1 is not prime.  Res64: E4E0B27615CA5106  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:19:53]
651*2^1242870-1 is not prime.  Res64: EA76082B8F44165D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:19:54]
713*2^1242870-1 is not prime.  Res64: A66DA27910889C32  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:29:30]
717*2^1242870-1 is not prime.  Res64: 7D52A54059EFAE90  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:29:30]
795*2^1242870-1 is not prime.  Res64: AA33572DC3C188B3  Time : 0.0 sec.
user=juhehe
[2013-03-17 13:32:13]
751*2^1242867-1 is not prime.  Res64: 035D19FF18B8602A  Time : 0.0 sec.
user=vaughan
[2013-03-17 13:35:01]
641*2^1242870-1 is not prime.  Res64: 57133FD6B2FE4F48  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:37:28]
893*2^1242870-1 is not prime.  Res64: E021B28FFE581AE4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:37:29]
1001*2^1242870-1 is not prime.  Res64: A3C7C5244EDFC1CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:47:06]
645*2^1242871-1 is not prime.  Res64: DD23B447A07A42C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:47:06]
675*2^1242871-1 is not prime.  Res64: 6ED2D5FE11DC6058  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:55:11]
741*2^1242871-1 is not prime.  Res64: AD78C37544C9EE26  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 13:55:11]
789*2^1242871-1 is not prime.  Res64: DA23BFEAE0C98BEA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:04:44]
841*2^1242871-1 is not prime.  Res64: FB999B3489395BF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:04:44]
999*2^1242871-1 is not prime.  Res64: 4C3955C1FAFE698C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:12:46]
923*2^1242872-1 is not prime.  Res64: 03AC14C624AE13C8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:12:47]
983*2^1242872-1 is not prime.  Res64: E5F934B50F0BDF18  Time : 0.0 sec.
user=vaughan
[2013-03-17 14:13:13]
703*2^1242871-1 is not prime.  Res64: C90405B90948DF36  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:22:18]
627*2^1242873-1 is not prime.  Res64: 4102C6391ADAD20A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:22:19]
637*2^1242873-1 is not prime.  Res64: DDB8B6AE8427432E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:30:16]
781*2^1242873-1 is not prime.  Res64: 02D4E20AF17E5435  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:30:16]
871*2^1242873-1 is not prime.  Res64: 3CAC094664EC5061  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:39:46]
937*2^1242873-1 is not prime.  Res64: F10781A449C7D85E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:39:47]
657*2^1242874-1 is not prime.  Res64: B748920CF814202E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:47:46]
803*2^1242874-1 is not prime.  Res64: 9DCCDC814ED5486E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:47:46]
815*2^1242874-1 is not prime.  Res64: E08B9E94B1C131F3  Time : 0.0 sec.
user=vaughan
[2013-03-17 14:51:26]
885*2^1242873-1 is not prime.  Res64: D91D4339E05481A4  Time : 0.0 sec.
user=juhehe
[2013-03-17 14:52:08]
811*2^1242871-1 is not prime.  Res64: 7322ACC8F84CC392  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:57:23]
981*2^1242874-1 is not prime.  Res64: A1FB7E8DA4965D66  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 14:57:24]
715*2^1242875-1 is not prime.  Res64: 8532FF1F5133B3B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:05:22]
733*2^1242875-1 is not prime.  Res64: 2A3461CB7AA66808  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:05:22]
735*2^1242875-1 is not prime.  Res64: 085C4864C6231376  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:14:55]
889*2^1242875-1 is not prime.  Res64: 4E454C1430228C14  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:14:56]
921*2^1242875-1 is not prime.  Res64: 756DE0AA72895B6C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:22:57]
981*2^1242875-1 is not prime.  Res64: 5E201B7F424D8597  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:22:58]
689*2^1242876-1 is not prime.  Res64: 78A94F15F5AC9FB4  Time : 0.0 sec.
user=vaughan
[2013-03-17 15:29:37]
885*2^1242875-1 is not prime.  Res64: 86343204D52D22B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:32:25]
719*2^1242876-1 is not prime.  Res64: BB2722CEF44503D7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:32:26]
737*2^1242876-1 is not prime.  Res64: 080838AB1CF1F329  Time : 0.0 sec.
user=juhehe
[2013-03-17 15:38:10]
881*2^1242874-1 is not prime.  Res64: A9513D8F7957B2AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:40:27]
749*2^1242876-1 is not prime.  Res64: E8322EDC23997CF1  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:40:28]
759*2^1242876-1 is not prime.  Res64: F20AC9C5E11F17EC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:49:56]
875*2^1242876-1 is not prime.  Res64: E2F1FB012FD00107  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:49:57]
879*2^1242876-1 is not prime.  Res64: 3D8CEFEEB093104B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:57:59]
861*2^1242687-1 is not prime.  Res64: 0E6C2DFB678DE5A9  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 15:58:00]
923*2^1242876-1 is not prime.  Res64: BB12E946FD3201EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:07:30]
927*2^1242876-1 is not prime.  Res64: 55D3168396BE7537  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:07:31]
619*2^1242877-1 is not prime.  Res64: DD7F1383A16A1CC3  Time : 0.0 sec.
user=vaughan
[2013-03-17 16:07:52]
803*2^1242876-1 is not prime.  Res64: EC7E3F12E3EAA25F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:15:29]
699*2^1242877-1 is not prime.  Res64: 42592B4D90297E83  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:15:30]
715*2^1242877-1 is not prime.  Res64: 7B68F5DAF47616EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:25:05]
729*2^1242877-1 is not prime.  Res64: 03556B1FBCEF5048  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:25:05]
777*2^1242877-1 is not prime.  Res64: 5E018094F39F4204  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:33:03]
915*2^1242877-1 is not prime.  Res64: 8717F76384972EA6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:33:03]
957*2^1242877-1 is not prime.  Res64: 55B6366771F7A6E5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:42:37]
663*2^1242878-1 is not prime.  Res64: 8BBEF10928E3D2A6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:42:38]
693*2^1242878-1 is not prime.  Res64: 3FC2BF66A387F654  Time : 0.0 sec.
user=vaughan
[2013-03-17 16:46:05]
847*2^1242877-1 is not prime.  Res64: C804D8262CBCD957  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:50:34]
797*2^1242878-1 is not prime.  Res64: 70C72E5F1A6B87E5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 16:50:34]
825*2^1242878-1 is not prime.  Res64: 9D1734E8B3ED9B0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:00:08]
857*2^1242878-1 is not prime.  Res64: E013DC4768E45867  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:00:10]
897*2^1242878-1 is not prime.  Res64: C58FD41AFBEBC11B  Time : 0.0 sec.
user=juhehe
[2013-03-17 17:00:38]
661*2^1242877-1 is not prime.  Res64: FA4B286CE14F955A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:08:04]
977*2^1242878-1 is not prime.  Res64: 0CC2974F913088E2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:08:05]
679*2^1242879-1 is not prime.  Res64: 85647EBFCBA2DF95  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:17:40]
763*2^1242879-1 is not prime.  Res64: F9DF3DF14A8576A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:17:40]
853*2^1242879-1 is not prime.  Res64: A4EDF0597E768867  Time : 0.0 sec.
user=vaughan
[2013-03-17 17:24:15]
935*2^1242878-1 is not prime.  Res64: 3C1542FC094527FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:25:36]
861*2^1242879-1 is not prime.  Res64: D72C5F6AA1003BDD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:25:36]
873*2^1242879-1 is not prime.  Res64: 0113209E9E07E835  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:35:10]
909*2^1242879-1 is not prime.  Res64: F50602C075A11451  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:35:11]
603*2^1242880-1 is not prime.  Res64: 59D8A18751CCDF8F  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:43:08]
723*2^1242880-1 is not prime.  Res64: B3294BF3831E60EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:43:08]
875*2^1242880-1 is not prime.  Res64: FAC8C52731791A5E  Time : 0.0 sec.
user=juhehe
[2013-03-17 17:44:47]
843*2^1242878-1 is not prime.  Res64: 13C06F3DEC73541A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:52:43]
989*2^1242880-1 is not prime.  Res64: C65964C7F6459AF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 17:52:43]
637*2^1242881-1 is not prime.  Res64: 30C5CDC6053CC196  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:00:41]
657*2^1242881-1 is not prime.  Res64: 2841C4EF57C2D690  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:00:43]
675*2^1242881-1 is not prime.  Res64: CCB0E339EF0EE8C2  Time : 0.0 sec.
user=vaughan
[2013-03-17 18:02:27]
689*2^1242880-1 is not prime.  Res64: F06E57C7574ACD19  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:10:15]
741*2^1242881-1 is not prime.  Res64: F418A23BDFB81848  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:10:15]
795*2^1242881-1 is not prime.  Res64: 2EDBE632F5302A06  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:18:17]
991*2^1242881-1 is not prime.  Res64: 55DFD0D8491A83C2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:18:17]
611*2^1242882-1 is not prime.  Res64: 8B88D2AF7A15EC17  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:27:47]
767*2^1242882-1 is not prime.  Res64: 86B084BF7E40A1D6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:27:48]
833*2^1242882-1 is not prime.  Res64: 929A8EE1865DD9BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:35:47]
843*2^1242882-1 is not prime.  Res64: 0CFDE485CD853F92  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:35:47]
663*2^1242883-1 is not prime.  Res64: D8C3B14080762963  Time : 0.0 sec.
user=vaughan
[2013-03-17 18:40:38]
717*2^1242882-1 is not prime.  Res64: 0FFFFD4F858923FA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:45:17]
741*2^1242883-1 is not prime.  Res64: A11DC2EB66FEA146  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:45:17]
805*2^1242883-1 is not prime.  Res64: 56746761D8C2F3E1  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:53:17]
835*2^1242883-1 is not prime.  Res64: 7C7C7338015D7B30  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 18:53:17]
849*2^1242883-1 is not prime.  Res64: B76770AB48AB6A39  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:02:48]
707*2^1242884-1 is not prime.  Res64: B5C3B54A10D91080  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:02:49]
717*2^1242884-1 is not prime.  Res64: 578351BACF123348  Time : 0.0 sec.
user=juhehe
[2013-03-17 19:06:35]
633*2^1242882-1 is not prime.  Res64: 50B4734252B0F64C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:10:48]
789*2^1242884-1 is not prime.  Res64: 5E86EF0F83DBCBCB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:10:48]
875*2^1242884-1 is not prime.  Res64: F68F03DC6671C201  Time : 0.0 sec.
user=vaughan
[2013-03-17 19:18:49]
853*2^1242883-1 is not prime.  Res64: 1F8F8E098BC4C28A  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:20:20]
983*2^1242884-1 is not prime.  Res64: BE32F1E5C231F7FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:20:20]
651*2^1242885-1 is not prime.  Res64: 46404B84100B17E4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:28:20]
781*2^1242885-1 is not prime.  Res64: 23AC2A4B26E6C275  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:28:20]
817*2^1242885-1 is not prime.  Res64: 60099B0A62226260  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:37:51]
861*2^1242885-1 is not prime.  Res64: B4BB7D0CCDF7DF94  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:37:52]
937*2^1242885-1 is not prime.  Res64: DF74FBE342477765  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:45:50]
991*2^1242885-1 is not prime.  Res64: FAC8F9D8ABC2D957  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:45:51]
653*2^1242886-1 is not prime.  Res64: 1DC5770C5F14B83B  Time : 0.0 sec.
user=juhehe
[2013-03-17 19:50:41]
753*2^1242884-1 is not prime.  Res64: DE6A3C0D7CC23F0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:55:22]
713*2^1242886-1 is not prime.  Res64: 0233F234F4C1A8D4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 19:55:22]
755*2^1242886-1 is not prime.  Res64: 472E9B352BD9075D  Time : 0.0 sec.
user=vaughan
[2013-03-17 19:57:02]
847*2^1242885-1 is not prime.  Res64: 74A5BA457D7393E8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:03:21]
917*2^1242886-1 is not prime.  Res64: B54960019B6F69A7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:03:21]
965*2^1242886-1 is not prime.  Res64: C748C35A11FB5C33  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:12:53]
987*2^1242886-1 is not prime.  Res64: 32A7A20837B475B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:12:54]
993*2^1242886-1 is not prime.  Res64: F7D59A730C1F41C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:20:52]
633*2^1242887-1 is not prime.  Res64: 1F8D5AB097C8BB9C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:20:52]
759*2^1242887-1 is not prime.  Res64: 29F30A7D84C364F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:30:24]
993*2^1242887-1 is not prime.  Res64: 40A3D71B535B5039  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:30:24]
669*2^1242888-1 is not prime.  Res64: 51CB5CE608BC2E53  Time : 0.0 sec.
user=vaughan
[2013-03-17 20:35:12]
619*2^1242887-1 is not prime.  Res64: 97494E2FD57DD01E  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:38:23]
689*2^1242888-1 is not prime.  Res64: BF28DF231B2912EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:38:24]
705*2^1242888-1 is not prime.  Res64: 49966DE5DB6BF80D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:47:54]
619*2^1242889-1 is not prime.  Res64: EA10BE6D823451F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:47:55]
687*2^1242889-1 is not prime.  Res64: 1E81F0138AA7788C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:55:54]
931*2^1242889-1 is not prime.  Res64: 156481EAA909B0FD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 20:55:55]
987*2^1242889-1 is not prime.  Res64: 59FEAD100CE6C90B  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:05:25]
603*2^1242890-1 is not prime.  Res64: 5931DAA1C8D65177  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:05:27]
627*2^1242890-1 is not prime.  Res64: 942DE0B8CBA68E0A  Time : 0.0 sec.
user=juhehe
[2013-03-17 21:12:14]
841*2^1242887-1 is not prime.  Res64: 44F4CE53076A3CDE  Time : 0.0 sec.
user=vaughan
[2013-03-17 21:13:23]
741*2^1242889-1 is not prime.  Res64: F14A14804C4446CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:13:26]
717*2^1242890-1 is not prime.  Res64: 4E289ADDF0806114  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:13:26]
741*2^1242890-1 is not prime.  Res64: D98888090B19FD33  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:22:57]
747*2^1242890-1 is not prime.  Res64: F41908543BDBDDDD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:22:57]
785*2^1242890-1 is not prime.  Res64: 1BD5509DBD83E814  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:30:57]
885*2^1242890-1 is not prime.  Res64: FD2A63A0A41110DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:30:58]
911*2^1242890-1 is not prime.  Res64: 8C57276133389C42  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:40:27]
941*2^1242890-1 is not prime.  Res64: 2A3652B665A0304C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:40:28]
953*2^1242890-1 is not prime.  Res64: 44020082DEB54D28  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:48:29]
651*2^1242891-1 is not prime.  Res64: EAE772655D511AF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:48:30]
703*2^1242891-1 is not prime.  Res64: 16FCAEF4280129BE  Time : 0.0 sec.
user=vaughan
[2013-03-17 21:51:34]
831*2^1242890-1 is not prime.  Res64: A4A201845B72E8C9  Time : 0.0 sec.
user=juhehe
[2013-03-17 21:56:21]
665*2^1242890-1 is not prime.  Res64: 3A6E8995174A24B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:57:57]
709*2^1242891-1 is not prime.  Res64: 656A30C44E6D9E67  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 21:57:57]
745*2^1242891-1 is not prime.  Res64: BF9AE2592C9951DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:06:00]
805*2^1242891-1 is not prime.  Res64: 87DB85B65F6D5FE7  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:06:01]
829*2^1242891-1 is not prime.  Res64: 4DE4D6D5E6304B38  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:15:28]
657*2^1242892-1 is not prime.  Res64: 05B147440D1033B2  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:15:28]
665*2^1242892-1 is not prime.  Res64: A1F3774CB11709CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:23:32]
675*2^1242892-1 is not prime.  Res64: 45AFDA237A29FC91  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:23:33]
869*2^1242892-1 is not prime.  Res64: 7BF4144CF39D9A88  Time : 0.0 sec.
user=vaughan
[2013-03-17 22:29:45]
859*2^1242891-1 is not prime.  Res64: 1FAF12FCEB4F7DBA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:32:59]
615*2^1242893-1 is not prime.  Res64: EB7BC98A13A4A0A8  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:32:59]
649*2^1242893-1 is not prime.  Res64: 48DFC264CECEEAF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:41:02]
697*2^1242893-1 is not prime.  Res64: FEC8C904405398A5  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:41:02]
745*2^1242893-1 is not prime.  Res64: C4CD09CC32976D29  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:50:25]
781*2^1242893-1 is not prime.  Res64: 0EF536872F621810  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:50:25]
801*2^1242893-1 is not prime.  Res64: 871FBCBD8FD23537  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:58:26]
861*2^1242893-1 is not prime.  Res64: 76DC7FD0712F6A66  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 22:58:27]
955*2^1242893-1 is not prime.  Res64: DBCF8C1179D548AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:07:50]
671*2^1242894-1 is not prime.  Res64: FAF1B5768F1D10AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:07:52]
707*2^1242894-1 is not prime.  Res64: DA32648C67AEC0CC  Time : 0.0 sec.
user=vaughan
[2013-03-17 23:07:59]
747*2^1242893-1 is not prime.  Res64: 98743B83970DF88D  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:15:51]
763*2^1242895-1 is not prime.  Res64: 1172FEC56B6ADFDD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:15:52]
895*2^1242895-1 is not prime.  Res64: ABACDF5A44DC9242  Time : 0.0 sec.
user=juhehe
[2013-03-17 23:17:45]
875*2^1242892-1 is not prime.  Res64: 0AD709497E3990FA  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:25:20]
609*2^1242896-1 is not prime.  Res64: 43E91EBFAD5B2637  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:25:21]
669*2^1242896-1 is not prime.  Res64: 52573893E2955FF4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:33:17]
777*2^1242896-1 is not prime.  Res64: AF05E948AB895D19  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:33:18]
873*2^1242896-1 is not prime.  Res64: 9BBA02101D7DF2B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:42:48]
927*2^1242896-1 is not prime.  Res64: D2EDB7685D9222CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:42:49]
935*2^1242896-1 is not prime.  Res64: F1F1259E45E252F4  Time : 0.0 sec.
user=vaughan
[2013-03-17 23:46:12]
725*2^1242896-1 is not prime.  Res64: F75BBD3396A58D75  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:50:42]
607*2^1242897-1 is not prime.  Res64: B0A5EE0871A6334C  Time : 0.0 sec.
user=mdettweiler
[2013-03-17 23:50:42]
625*2^1242897-1 is not prime.  Res64: D8165193AE1FB35B  Time : 0.0 sec.
user=mdettweiler
[2013-03-18 00:00:13]
669*2^1242897-1 is not prime.  Res64: D46C2BD3AFAA5282  Time : 0.0 sec.
user=mdettweiler
[2013-03-18 00:00:14]
681*2^1242897-1 is not prime.  Res64: A6997D7A5068423B  Time : 0.0 sec.