user=mdettweiler
[2013-04-27 00:05:13]
777*2^1245322-1 is not prime.  Res64: 30ED9780BB746781  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:05:14]
911*2^1245322-1 is not prime.  Res64: 149993796FE10FCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:05:15]
827*2^1245322-1 is not prime.  Res64: B04188478738CBFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:05:16]
917*2^1245322-1 is not prime.  Res64: 1840C228180C126E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:23:33]
783*2^1245323-1 is not prime.  Res64: 52A70464E525676D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:23:33]
813*2^1245323-1 is not prime.  Res64: FBEB90617283AC68  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:23:34]
619*2^1245323-1 is not prime.  Res64: 68F1811BD51AF6BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:23:34]
643*2^1245323-1 is not prime.  Res64: 920ABD5F8F6D89E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:41:24]
915*2^1245323-1 is not prime.  Res64: DD58A2FB52366313  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:41:25]
973*2^1245323-1 is not prime.  Res64: E81690CDEA079C7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:41:25]
725*2^1245324-1 is not prime.  Res64: 2590F2EB1A062B99  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:41:26]
837*2^1245324-1 is not prime.  Res64: A19C79E384F221A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:59:15]
875*2^1245324-1 is not prime.  Res64: D35879B14035A5E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:59:15]
903*2^1245324-1 is not prime.  Res64: E50FA627800E624F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:59:15]
909*2^1245324-1 is not prime.  Res64: 18CF804F50AD98CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 00:59:16]
929*2^1245324-1 is not prime.  Res64: 04790F4873651169  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:17:06]
699*2^1245325-1 is not prime.  Res64: 4305A64944E06A46  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:17:06]
859*2^1245325-1 is not prime.  Res64: BD968F7C74B04FB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:17:06]
805*2^1245325-1 is not prime.  Res64: EE97F0C2E4DA3729  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:17:06]
877*2^1245325-1 is not prime.  Res64: 87F33071FFF3D5F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:34:59]
975*2^1245325-1 is not prime.  Res64: BCAC1A5A19B6A086  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:34:59]
713*2^1245326-1 is not prime.  Res64: C8D3EC716C3937A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:34:59]
705*2^1245326-1 is not prime.  Res64: 3F94FD383BFD14AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:34:59]
873*2^1245326-1 is not prime.  Res64: 50D67C4E3BF10A90  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:52:50]
923*2^1245326-1 is not prime.  Res64: DAED2C3ADF3AAB75  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:52:50]
649*2^1245327-1 is not prime.  Res64: DE074C6E67AB442E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:52:50]
601*2^1245327-1 is not prime.  Res64: 4A89862CE8CF1238  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 01:52:50]
685*2^1245327-1 is not prime.  Res64: 1D6A15E7FC28EF46  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:10:41]
979*2^1245327-1 is not prime.  Res64: F6B393A473D0F5A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:10:41]
873*2^1245327-1 is not prime.  Res64: 1096DD9F6CB6B370  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:10:43]
605*2^1245328-1 is not prime.  Res64: E78F7B72554967B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:10:44]
933*2^1245327-1 is not prime.  Res64: 5634B183DAB1BA6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:28:38]
623*2^1245328-1 is not prime.  Res64: AAD4C8816E3D5512  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:28:39]
765*2^1245328-1 is not prime.  Res64: 4A6EC279E44E3F09  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:29:30]
969*2^1245328-1 is not prime.  Res64: 188D43540F5B250D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:29:30]
999*2^1245328-1 is not prime.  Res64: 23D49BFD4FDD9632  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:46:31]
685*2^1245329-1 is not prime.  Res64: 9B34FF9CBC72A95E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:46:32]
729*2^1245329-1 is not prime.  Res64: CA47F0F6B4E2E46A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:47:22]
771*2^1245329-1 is not prime.  Res64: 31D21EB68BB8DE02  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 02:47:23]
855*2^1245329-1 is not prime.  Res64: A9A842EFE292548F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:04:26]
889*2^1245329-1 is not prime.  Res64: 5A0400837A777E3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:04:26]
949*2^1245329-1 is not prime.  Res64: 379E6909B6E2C751  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:05:13]
955*2^1245329-1 is not prime.  Res64: 4445F2FD24A6D2C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:05:14]
967*2^1245329-1 is not prime.  Res64: 8DCFCD9FBE545497  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:22:27]
969*2^1245329-1 is not prime.  Res64: 3ED3BE3F16461015  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:22:28]
641*2^1245330-1 is not prime.  Res64: 7C974091A4E4CD29  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:23:05]
711*2^1245330-1 is not prime.  Res64: A0F527D0389A0B86  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:23:06]
735*2^1245330-1 is not prime.  Res64: C32523CD2E143390  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:40:29]
803*2^1245330-1 is not prime.  Res64: 8311FA9E14391F1D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:40:29]
945*2^1245330-1 is not prime.  Res64: CDD287C6E949F300  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:40:57]
705*2^1245331-1 is not prime.  Res64: 22F6459D678D62C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:40:57]
819*2^1245331-1 is not prime.  Res64: C9664B88AA26F860  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:58:24]
861*2^1245331-1 is not prime.  Res64: 61BEA5B7E481FAAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:58:24]
883*2^1245331-1 is not prime.  Res64: 8742D58B310536AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:58:46]
889*2^1245331-1 is not prime.  Res64: B7044E37D16C8FBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 03:58:47]
951*2^1245331-1 is not prime.  Res64: 1ADABB09AC1015EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:16:14]
635*2^1245332-1 is not prime.  Res64: 168E44D956E5DA08  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:16:15]
699*2^1245332-1 is not prime.  Res64: 628F3F96B3AFDEC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:16:36]
719*2^1245332-1 is not prime.  Res64: F98D33A3BD9AA2D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:16:36]
685*2^1245333-1 is not prime.  Res64: A8B997B3C91113A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:34:05]
741*2^1245333-1 is not prime.  Res64: 82744251AE2566D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:34:06]
747*2^1245333-1 is not prime.  Res64: 87282B984C2701A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:34:26]
769*2^1245333-1 is not prime.  Res64: BA168EA51C4EA330  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:34:26]
787*2^1245333-1 is not prime.  Res64: 2072AF3328125228  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:51:56]
835*2^1245333-1 is not prime.  Res64: ED276DE228896F06  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:51:56]
877*2^1245333-1 is not prime.  Res64: BD49DD1183D0E453  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:52:16]
901*2^1245333-1 is not prime.  Res64: 6872E836930D34CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 04:52:16]
951*2^1245333-1 is not prime.  Res64: 02AE2493DC984AED  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:10:07]
731*2^1245334-1 is not prime.  Res64: 7433297AC7F1954A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:10:07]
833*2^1245334-1 is not prime.  Res64: 4D790D31843A227A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:10:37]
999*2^1245333-1 is not prime.  Res64: DB8DF0A7C2E3A492  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:10:38]
623*2^1245334-1 is not prime.  Res64: D463EC31053DCB23  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:27:58]
887*2^1245334-1 is not prime.  Res64: C69C7576A8D55D61  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:27:58]
675*2^1245335-1 is not prime.  Res64: E6C95B7F2F0799A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:28:29]
775*2^1245335-1 is not prime.  Res64: 0B04A33467BCA5B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:28:29]
805*2^1245335-1 is not prime.  Res64: 5B89E1210B2C10F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:45:52]
909*2^1245335-1 is not prime.  Res64: 79A4E2B18EEE6240  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:45:52]
913*2^1245335-1 is not prime.  Res64: FECA8E001AD7ED97  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:46:19]
759*2^1245336-1 is not prime.  Res64: CA402D59FFC01E34  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 05:46:20]
767*2^1245336-1 is not prime.  Res64: 4BD403CAA97309D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:03:42]
779*2^1245336-1 is not prime.  Res64: BDC68B124B0F85DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:03:42]
845*2^1245336-1 is not prime.  Res64: AB6E978ADD43FB3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:04:59]
993*2^1245336-1 is not prime.  Res64: CC5D7EDF6D576AA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:05:00]
637*2^1245337-1 is not prime.  Res64: 6580C442BE540DCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:21:34]
871*2^1245337-1 is not prime.  Res64: F446A527052EFFDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:21:34]
885*2^1245337-1 is not prime.  Res64: 685AFB5A86C45BDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:22:50]
937*2^1245337-1 is not prime.  Res64: 4D4367E914152048  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:22:51]
939*2^1245337-1 is not prime.  Res64: 732DEE10156B8CE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:39:24]
945*2^1245337-1 is not prime.  Res64: D2483E4330CF88C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:39:24]
981*2^1245337-1 is not prime.  Res64: 76F5109CCD172FFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:40:40]
605*2^1245338-1 is not prime.  Res64: 44EBBEE257D9BAF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:40:40]
623*2^1245338-1 is not prime.  Res64: 8565585570B5BADA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:57:14]
705*2^1245338-1 is not prime.  Res64: FAB6EFE5B89915AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:57:14]
801*2^1245338-1 is not prime.  Res64: 03FF0E18A126EAD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:58:30]
827*2^1245338-1 is not prime.  Res64: DFCB31CBD110F619  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 06:58:30]
911*2^1245338-1 is not prime.  Res64: 9245B4DF6D183CC9  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:15:55]
927*2^1245338-1 is not prime.  Res64: 9A9B69AE9B6F099D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:15:55]
995*2^1245338-1 is not prime.  Res64: 022580BCB2D63AE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:16:20]
625*2^1245339-1 is not prime.  Res64: 6EFB0440AD1916DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:16:20]
903*2^1245339-1 is not prime.  Res64: 58C8DE6844BAA170  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:33:45]
909*2^1245339-1 is not prime.  Res64: 29F50B52FAC86360  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:33:46]
635*2^1245340-1 is not prime.  Res64: 125FB1D2A421F51E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:34:10]
647*2^1245340-1 is not prime.  Res64: C1CE08B3AABE1FA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:34:10]
695*2^1245340-1 is not prime.  Res64: 676AED26085AE92E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:51:35]
803*2^1245340-1 is not prime.  Res64: 65215AB52DDD4DDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:51:36]
975*2^1245340-1 is not prime.  Res64: 7042D4E983FF7DE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:52:50]
983*2^1245340-1 is not prime.  Res64: A6CD6431E80349B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 07:52:51]
999*2^1245340-1 is not prime.  Res64: EA57390A0ABF5656  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:09:26]
631*2^1245341-1 is not prime.  Res64: AD2A80807893F944  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:09:27]
777*2^1245341-1 is not prime.  Res64: C63FFE701E8F8114  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:10:41]
837*2^1245341-1 is not prime.  Res64: 248EDEDDBA288B4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:10:42]
859*2^1245341-1 is not prime.  Res64: 3296D2777F745AC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:27:20]
871*2^1245341-1 is not prime.  Res64: DDB177A606243825  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:27:20]
621*2^1245342-1 is not prime.  Res64: 205E11AEDF0CADA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:28:35]
651*2^1245342-1 is not prime.  Res64: DE999F7473E107EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:28:35]
741*2^1245342-1 is not prime.  Res64: 02BD05ED09376976  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:45:11]
951*2^1245342-1 is not prime.  Res64: 36F98B8E587EDAC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:45:11]
977*2^1245342-1 is not prime.  Res64: 726C6DB7732CA5F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:46:25]
675*2^1245343-1 is not prime.  Res64: DBBA1ECA9DFA0DEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 08:46:26]
793*2^1245343-1 is not prime.  Res64: FD472F9C74DFC67D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:03:18]
859*2^1245343-1 is not prime.  Res64: A6E2F718BBFBA26F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:03:19]
915*2^1245343-1 is not prime.  Res64: 302F591CD478EBBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:04:23]
943*2^1245343-1 is not prime.  Res64: DF074B5D33625CC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:04:24]
973*2^1245343-1 is not prime.  Res64: 0B571CBF4534B5C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:22:15]
675*2^1245344-1 is not prime.  Res64: B5E169EFD82F6AC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:22:15]
869*2^1245344-1 is not prime.  Res64: B006C205966FA936  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:22:20]
993*2^1245343-1 is not prime.  Res64: A9EFF0A9CC0D934E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:22:20]
657*2^1245344-1 is not prime.  Res64: 10B485FFC3AA9CBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:40:06]
873*2^1245344-1 is not prime.  Res64: 9899DF8925F58BA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:40:06]
607*2^1245345-1 is not prime.  Res64: 343C0730664E39EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:40:10]
609*2^1245345-1 is not prime.  Res64: 8450163D40994B57  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:40:10]
657*2^1245345-1 is not prime.  Res64: 439AB33193616EEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:57:57]
691*2^1245345-1 is not prime.  Res64: AFEED91E29C171F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:57:58]
705*2^1245345-1 is not prime.  Res64: BD8154254013DBE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:57:59]
777*2^1245345-1 is not prime.  Res64: EEF7D4C334955535  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 09:57:59]
837*2^1245345-1 is not prime.  Res64: 7A7DF904E9C1DFFF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:15:48]
919*2^1245345-1 is not prime.  Res64: 7ED6377FB8080230  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:15:48]
951*2^1245345-1 is not prime.  Res64: FA1E5E03F6C62A58  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:15:48]
979*2^1245345-1 is not prime.  Res64: 10168AA85FCA5310  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:15:49]
623*2^1245346-1 is not prime.  Res64: 159CBD126DDC91BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:33:41]
713*2^1245346-1 is not prime.  Res64: 85C1FC236C19C1EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:33:42]
635*2^1245346-1 is not prime.  Res64: 761B0A9DA27089CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:33:42]
773*2^1245346-1 is not prime.  Res64: 9E04053D154393D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:33:42]
657*2^1245346-1 is not prime.  Res64: 8E8D5448347D010E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:51:32]
917*2^1245346-1 is not prime.  Res64: ECBA93D2F1721982  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:51:33]
933*2^1245346-1 is not prime.  Res64: 30822812272FF71B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:51:33]
945*2^1245346-1 is not prime.  Res64: 036AF6E1B8CFA9B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 10:51:33]
601*2^1245347-1 is not prime.  Res64: 24A354F33A499648  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:09:23]
621*2^1245347-1 is not prime.  Res64: 35CAD400A7D73BDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:09:24]
753*2^1245347-1 is not prime.  Res64: 4616563A16DA0C9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:09:24]
799*2^1245347-1 is not prime.  Res64: 03C4F10C986A7BDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:09:25]
915*2^1245347-1 is not prime.  Res64: 4F71D00BA276CE8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:27:20]
669*2^1245348-1 is not prime.  Res64: 7311D04E9556440F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:27:20]
707*2^1245348-1 is not prime.  Res64: F97B94045606A33D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:27:21]
759*2^1245348-1 is not prime.  Res64: 2E8E7E35C35742A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:27:21]
809*2^1245348-1 is not prime.  Res64: DB73DE70C1D2D13E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:45:11]
839*2^1245348-1 is not prime.  Res64: A49960B601ACD6F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:45:11]
879*2^1245348-1 is not prime.  Res64: 39474FBEA7496ADC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:46:02]
933*2^1245348-1 is not prime.  Res64: 0458486AC2C927FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 11:46:03]
993*2^1245348-1 is not prime.  Res64: 74CF0566B63FE856  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:03:06]
619*2^1245349-1 is not prime.  Res64: 6E02E4A581E28ACE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:03:07]
691*2^1245349-1 is not prime.  Res64: 0EFCC135102AB38E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:03:55]
721*2^1245349-1 is not prime.  Res64: 1874B7AB764C7895  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:03:55]
765*2^1245349-1 is not prime.  Res64: D95B3A0A91A29FB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:21:24]
805*2^1245183-1 is not prime.  Res64: 018B5F1278756C66  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:21:24]
771*2^1245349-1 is not prime.  Res64: 933F07E79AEA961A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:21:50]
829*2^1245349-1 is not prime.  Res64: 0D65DD2819902C8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:21:50]
855*2^1245349-1 is not prime.  Res64: 880798290E6CDE2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:39:15]
895*2^1245349-1 is not prime.  Res64: 098751850512FEA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:39:15]
641*2^1245350-1 is not prime.  Res64: 49C19FFC98DC598B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:39:39]
707*2^1245350-1 is not prime.  Res64: AB07E230A5E91C06  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:39:39]
801*2^1245350-1 is not prime.  Res64: AE11263FF5CAE4D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:57:02]
893*2^1245350-1 is not prime.  Res64: 27E8DFBE1D4B38CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:57:02]
897*2^1245350-1 is not prime.  Res64: 4092A412D04743B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:58:15]
935*2^1245350-1 is not prime.  Res64: 1A80E8F572D16FB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 12:58:15]
1001*2^1245350-1 is not prime.  Res64: DA233D14254DE884  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:14:49]
651*2^1245351-1 is not prime.  Res64: 5F2B7F279E89D999  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:14:50]
685*2^1245351-1 is not prime.  Res64: 117E061ECA2233AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:16:01]
711*2^1245351-1 is not prime.  Res64: 24E4C61EA63C4C98  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:16:02]
783*2^1245351-1 is not prime.  Res64: CF3665381DC40C8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:32:45]
795*2^1245351-1 is not prime.  Res64: C8D0F26FAAF0F8F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:32:46]
861*2^1245351-1 is not prime.  Res64: 76205D586D5E259C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:33:52]
891*2^1245351-1 is not prime.  Res64: F8D41940F2F5F8F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:33:52]
849*2^1245352-1 is not prime.  Res64: E5202BC0D51A97B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:50:40]
923*2^1245352-1 is not prime.  Res64: 156725BEB33C2F72  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:50:40]
933*2^1245352-1 is not prime.  Res64: CF9CFA89A57754AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:51:44]
679*2^1245353-1 is not prime.  Res64: 4AB1D5C8C16C12F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 13:51:45]
741*2^1245353-1 is not prime.  Res64: CAEA027E6C9C3951  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:08:28]
771*2^1245353-1 is not prime.  Res64: DAAE7BA35F2F4052  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:08:29]
781*2^1245353-1 is not prime.  Res64: A6AF3A68505589F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:09:31]
957*2^1245353-1 is not prime.  Res64: D6C3AEF94B6378FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:09:32]
731*2^1245354-1 is not prime.  Res64: 54F9E70C3030E306  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:26:37]
947*2^1245354-1 is not prime.  Res64: 63D384C3CCC09BF3  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:26:37]
951*2^1245354-1 is not prime.  Res64: 5617996610405A88  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:27:39]
715*2^1245355-1 is not prime.  Res64: 27710C4FC45BBF45  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:27:39]
829*2^1245355-1 is not prime.  Res64: A2C60EE2878B22F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:44:31]
853*2^1245355-1 is not prime.  Res64: C6E265C2B5B774F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:44:31]
925*2^1245355-1 is not prime.  Res64: 95E57837B04204DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:45:33]
979*2^1245355-1 is not prime.  Res64: 0DCE0CD43EE392A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 14:45:33]
759*2^1245356-1 is not prime.  Res64: 850109EC70204045  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:02:24]
873*2^1245356-1 is not prime.  Res64: DBFE783469935A84  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:02:25]
899*2^1245356-1 is not prime.  Res64: DB15EC875D4067C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:03:26]
927*2^1245356-1 is not prime.  Res64: D13A562B8A5CEC43  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:03:26]
935*2^1245356-1 is not prime.  Res64: 21A784D431A6C398  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:20:32]
953*2^1245356-1 is not prime.  Res64: 21998C19AF0F8DB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:20:32]
615*2^1245357-1 is not prime.  Res64: 283C9CDDD6ED372E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:21:18]
747*2^1245357-1 is not prime.  Res64: C698B88472F2A45A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:21:18]
825*2^1245357-1 is not prime.  Res64: 8E91407174B3C4D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:38:23]
915*2^1245357-1 is not prime.  Res64: 6EF20D15A417C1E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:38:23]
979*2^1245357-1 is not prime.  Res64: 006CF9278740BC7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:39:57]
997*2^1245357-1 is not prime.  Res64: EF22E0755F908ADF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:39:58]
605*2^1245358-1 is not prime.  Res64: BB0E688268861787  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:56:13]
651*2^1245358-1 is not prime.  Res64: 3A4FF805BC80C1AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:56:14]
665*2^1245358-1 is not prime.  Res64: 2155EF8F5919AECB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:57:48]
857*2^1245358-1 is not prime.  Res64: 271D93641BF174D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 15:57:48]
867*2^1245358-1 is not prime.  Res64: CD0D425321058B7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:14:55]
897*2^1245358-1 is not prime.  Res64: 2C5AF2792FC28FE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:14:56]
993*2^1245358-1 is not prime.  Res64: 6F71EE836E499F20  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:15:37]
621*2^1245359-1 is not prime.  Res64: 396E0871E95CC482  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:15:37]
633*2^1245359-1 is not prime.  Res64: 60F225AFB4B596A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:32:45]
721*2^1245359-1 is not prime.  Res64: CA2ED3B5AB7D1E91  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:32:45]
883*2^1245359-1 is not prime.  Res64: 74B889AD3C7EC624  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:33:23]
943*2^1245359-1 is not prime.  Res64: C9C0D3765337FD8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:33:23]
693*2^1245360-1 is not prime.  Res64: B19C4C7C7B6A2439  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:50:31]
873*2^1245360-1 is not prime.  Res64: 7B768E7B5E47E5EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:50:32]
887*2^1245360-1 is not prime.  Res64: 4A5632E8CA0262DD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:51:08]
899*2^1245360-1 is not prime.  Res64: F0CD06DDDC84F636  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 16:51:08]
799*2^1245361-1 is not prime.  Res64: 1257040654FEC7BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:08:18]
829*2^1245361-1 is not prime.  Res64: F06B8F45FE1AF5DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:08:19]
861*2^1245361-1 is not prime.  Res64: A6ABBA8041B6F0A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:08:53]
877*2^1245361-1 is not prime.  Res64: 311E089F26C23ABF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:08:54]
889*2^1245361-1 is not prime.  Res64: A28B7C80334B7A52  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:26:19]
931*2^1245361-1 is not prime.  Res64: 9FDA3C7803C8AE45  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:26:19]
951*2^1245361-1 is not prime.  Res64: 35CB5F0631B6DC87  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:26:50]
955*2^1245361-1 is not prime.  Res64: AE1BA036525A2506  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:26:51]
711*2^1245362-1 is not prime.  Res64: 12A59C38A0979732  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:44:43]
791*2^1245362-1 is not prime.  Res64: 670756A12019AE34  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:44:43]
801*2^1245362-1 is not prime.  Res64: C38191A1CC2D56DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:45:08]
953*2^1245362-1 is not prime.  Res64: DDAD79AB151A5753  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 17:45:09]
963*2^1245362-1 is not prime.  Res64: 0F529E09FF4B48E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:02:59]
981*2^1245362-1 is not prime.  Res64: 2E930AB5B4C2B084  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:03:00]
615*2^1245363-1 is not prime.  Res64: EA1D109560D17C49  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:03:22]
781*2^1245363-1 is not prime.  Res64: 696C65B616AA7DD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:03:23]
849*2^1245363-1 is not prime.  Res64: D7ABBB439DC4F1F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:31:11]
743*2^1245364-1 is not prime.  Res64: E221C781C602F432  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:31:12]
749*2^1245364-1 is not prime.  Res64: C3FDD65A23C059E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:31:19]
891*2^1245363-1 is not prime.  Res64: AA853D1344BE42E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:31:20]
617*2^1245364-1 is not prime.  Res64: 545F163159E6D9E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:48:51]
825*2^1245364-1 is not prime.  Res64: 47878D0C087E189B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:48:51]
827*2^1245364-1 is not prime.  Res64: 160F2E7962CA7CFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:49:03]
873*2^1245364-1 is not prime.  Res64: 1992D81F83A4B196  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 18:49:03]
939*2^1245364-1 is not prime.  Res64: E7070F23C094AD6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:06:31]
947*2^1245364-1 is not prime.  Res64: 87B78B5E0F221632  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:06:32]
983*2^1245364-1 is not prime.  Res64: D819A84366FBC331  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:07:33]
993*2^1245364-1 is not prime.  Res64: 4F7121A072E90DDE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:07:33]
655*2^1245365-1 is not prime.  Res64: 0FBA46B1D5B72668  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:24:12]
657*2^1245365-1 is not prime.  Res64: 1A8212ACF4F5421C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:24:12]
685*2^1245365-1 is not prime.  Res64: 6542E874A7A067BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:25:14]
699*2^1245365-1 is not prime.  Res64: D8440B1599AEF6CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:25:14]
715*2^1245365-1 is not prime.  Res64: A0F4176A4B4FD633  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:41:51]
727*2^1245365-1 is not prime.  Res64: 7465BE5614F6EB0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:41:52]
777*2^1245365-1 is not prime.  Res64: 51474EA5A942DC27  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:42:53]
939*2^1245365-1 is not prime.  Res64: F39CD1AB673A3B95  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:42:54]
695*2^1245366-1 is not prime.  Res64: 1FD0203D26B10AF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:59:31]
755*2^1245366-1 is not prime.  Res64: D1D707B79E6553EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 19:59:31]
903*2^1245366-1 is not prime.  Res64: F0BB363F6888BA9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:00:33]
945*2^1245366-1 is not prime.  Res64: 7C33C5D37DB926C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:00:34]
619*2^1245367-1 is not prime.  Res64: D7F7A27FF1D7826D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:17:10]
663*2^1245367-1 is not prime.  Res64: 9D7F723721EBEF00  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:17:10]
681*2^1245367-1 is not prime.  Res64: 67DAB2C0C2EB9525  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:18:15]
919*2^1245367-1 is not prime.  Res64: 3A8F3C6924A6A585  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:18:15]
973*2^1245367-1 is not prime.  Res64: F30D322A34004E48  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:34:54]
629*2^1245368-1 is not prime.  Res64: D5C95AA42315F133  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:34:54]
633*2^1245368-1 is not prime.  Res64: 72B25A10188A997C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:35:58]
767*2^1245368-1 is not prime.  Res64: 1B80658422875B4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:35:58]
827*2^1245368-1 is not prime.  Res64: 660B6E8D31FEAD0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:52:33]
833*2^1245368-1 is not prime.  Res64: 4A128BD9A953D359  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:52:33]
867*2^1245368-1 is not prime.  Res64: A05EA716558E5FDE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:53:37]
945*2^1245368-1 is not prime.  Res64: AE4472CC7C0707CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 20:53:37]
681*2^1245369-1 is not prime.  Res64: F2E11B16FF4A4B3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:10:12]
685*2^1245369-1 is not prime.  Res64: 2B5B78E79E21ACEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:10:13]
745*2^1245369-1 is not prime.  Res64: 6D0E39CE2A5A9581  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:11:16]
611*2^1245370-1 is not prime.  Res64: 28AC10305E097FFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:11:17]
743*2^1245370-1 is not prime.  Res64: EA7E804F53F11B00  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:27:54]
813*2^1245370-1 is not prime.  Res64: E8D7F18D0158A73D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:27:54]
855*2^1245370-1 is not prime.  Res64: 1733EB4F55AC230D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:28:56]
857*2^1245370-1 is not prime.  Res64: 5DEF6FD53A354FD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:28:56]
619*2^1245371-1 is not prime.  Res64: 6CB9B5627FF71594  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:45:34]
631*2^1245371-1 is not prime.  Res64: FAB2C79CEC3DF00D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:45:34]
705*2^1245371-1 is not prime.  Res64: 831FC27B04164B6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:46:35]
813*2^1245371-1 is not prime.  Res64: A514143993B937E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 21:46:36]
841*2^1245371-1 is not prime.  Res64: 9CDB1543DC2E0CDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:03:13]
859*2^1245371-1 is not prime.  Res64: 0039A93A0D901411  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:03:14]
909*2^1245371-1 is not prime.  Res64: D985FA402CDD354E  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:04:14]
943*2^1245371-1 is not prime.  Res64: 95BE819DB0DCCFB6  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:04:15]
945*2^1245371-1 is not prime.  Res64: BC7B4D2DF2BC4451  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:20:57]
969*2^1245371-1 is not prime.  Res64: 7DFF3E9BC0EF0F55  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:20:57]
633*2^1245372-1 is not prime.  Res64: EF1CC4A2B2EF225A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:21:55]
669*2^1245372-1 is not prime.  Res64: A3848A2F9C132191  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:21:55]
675*2^1245372-1 is not prime.  Res64: 4589C82BA3FAE1C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:38:40]
723*2^1245372-1 is not prime.  Res64: 414C7F747276BA0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:38:40]
779*2^1245372-1 is not prime.  Res64: F73471F243696CCD  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:39:36]
825*2^1245372-1 is not prime.  Res64: D10806C01714D94A  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:39:37]
947*2^1245372-1 is not prime.  Res64: 8B0E73A6A0D11BA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:56:24]
607*2^1245373-1 is not prime.  Res64: 2EEB1E4721361862  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:56:24]
877*2^1245373-1 is not prime.  Res64: 0F9755E921125D69  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:57:26]
675*2^1245374-1 is not prime.  Res64: A63175142DEE2551  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 22:57:26]
677*2^1245374-1 is not prime.  Res64: D6D7D0643821143F  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:15:16]
683*2^1245374-1 is not prime.  Res64: F51EDC1B9ECFF776  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:15:16]
861*2^1245374-1 is not prime.  Res64: 6A9F86376129EE83  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:15:59]
1001*2^1245374-1 is not prime.  Res64: 9DB8111E65BEADEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:15:59]
633*2^1245375-1 is not prime.  Res64: 46B6FF8A02A6D906  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:32:57]
679*2^1245375-1 is not prime.  Res64: 1A0DDF235A8EDEF3  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:32:57]
781*2^1245375-1 is not prime.  Res64: 599F16790CCA870C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:33:38]
823*2^1245375-1 is not prime.  Res64: 668A230A8EEA11FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:33:39]
865*2^1245375-1 is not prime.  Res64: CC9338C7BCE3E2AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:50:39]
657*2^1245376-1 is not prime.  Res64: C5043241931AA354  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:50:39]
717*2^1245376-1 is not prime.  Res64: 9020100F2EDF8BC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:51:19]
765*2^1245376-1 is not prime.  Res64: 81724854905B327C  Time : 0.0 sec.
user=mdettweiler
[2013-04-27 23:51:19]
855*2^1245376-1 is not prime.  Res64: 3415DDC0D801FAAA  Time : 0.0 sec.