user=juhehe
[2013-04-02 00:09:42]
671*2^1243762-1 is not prime.  Res64: 4D768AB81BDB89A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:09:43]
635*2^1243764-1 is not prime.  Res64: 5680646C97F7CE78  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:09:44]
657*2^1243764-1 is not prime.  Res64: 9FFE93ED20B7133A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:09:44]
699*2^1243764-1 is not prime.  Res64: 3284CDF72B3A4188  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:09:45]
707*2^1243764-1 is not prime.  Res64: 31928427D1555F5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:27:15]
899*2^1243764-1 is not prime.  Res64: 0E63D1501D51246D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:27:15]
923*2^1243764-1 is not prime.  Res64: E13F560519467529  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:27:16]
929*2^1243764-1 is not prime.  Res64: B6F2F3C363C880F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:27:17]
957*2^1243764-1 is not prime.  Res64: 5586D432F0E34C9E  Time : 0.0 sec.
user=vaughan
[2013-04-02 00:37:08]
863*2^1243764-1 is not prime.  Res64: 493E8B6FA1DCBD43  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:44:43]
993*2^1243764-1 is not prime.  Res64: 6312D7D9F706ACF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:44:44]
687*2^1243765-1 is not prime.  Res64: 4F95D57C432C7A2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:44:44]
757*2^1243765-1 is not prime.  Res64: E85F71D4C3F1F054  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 00:44:45]
855*2^1243765-1 is not prime.  Res64: 987A74586665E1E4  Time : 0.0 sec.
user=juhehe
[2013-04-02 00:57:36]
765*2^1243764-1 is not prime.  Res64: D27579B6C636953D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:02:12]
925*2^1243765-1 is not prime.  Res64: 80521A5041231FBB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:02:13]
615*2^1243766-1 is not prime.  Res64: 9D3A77C834551427  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:02:13]
937*2^1243765-1 is not prime.  Res64: 79BBEFC56A2695C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:02:14]
705*2^1243766-1 is not prime.  Res64: 71341746C222D4E0  Time : 0.0 sec.
user=vaughan
[2013-04-02 01:15:26]
897*2^1243765-1 is not prime.  Res64: 18EAF9DABDD449AB  Time : 0.0 sec.
user=juhehe
[2013-04-02 01:19:49]
675*2^1243754-1 is not prime.  Res64: 8ADE500BE0541CDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:20:03]
755*2^1243766-1 is not prime.  Res64: A933C2B107005D80  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:20:03]
795*2^1243766-1 is not prime.  Res64: E60B8CE7A656274B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:20:04]
873*2^1243766-1 is not prime.  Res64: E8A144D67ECAE2C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:20:05]
945*2^1243766-1 is not prime.  Res64: 48D3ED163BD95B34  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:37:30]
651*2^1243767-1 is not prime.  Res64: 16F576C00A6EC3A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:37:31]
871*2^1243767-1 is not prime.  Res64: 3FF9A2D622365A69  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:37:32]
635*2^1243768-1 is not prime.  Res64: 8DF9F1D7D5432F20  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:37:33]
705*2^1243768-1 is not prime.  Res64: 3FD70889D83F04AB  Time : 0.0 sec.
user=vaughan
[2013-04-02 01:53:40]
633*2^1243767-1 is not prime.  Res64: 7D0697DD96F976A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:54:59]
735*2^1243768-1 is not prime.  Res64: 76F6B117D17B2C8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:54:59]
797*2^1243768-1 is not prime.  Res64: 936675BC166E5AD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:55:00]
825*2^1243768-1 is not prime.  Res64: 31EB846D71228DA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 01:55:01]
833*2^1243768-1 is not prime.  Res64: 2D90F5A8772CBF74  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:12:27]
675*2^1243769-1 is not prime.  Res64: 16E8239C1EC88676  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:12:27]
691*2^1243769-1 is not prime.  Res64: 77E5E4AEC49983A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:12:28]
697*2^1243769-1 is not prime.  Res64: 78718AE8D7350D6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:12:29]
699*2^1243769-1 is not prime.  Res64: BCC421990EF55DD0  Time : 0.0 sec.
user=juhehe
[2013-04-02 02:18:30]
981*2^1243766-1 is not prime.  Res64: E6C53AE73EEA91B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:29:55]
747*2^1243769-1 is not prime.  Res64: AE8CA7565B150E0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:29:56]
781*2^1243769-1 is not prime.  Res64: 49510D1F179F142E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:29:57]
841*2^1243769-1 is not prime.  Res64: 8BBD464655D6116F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:29:57]
931*2^1243769-1 is not prime.  Res64: DF9A6B8B4C582AFB  Time : 0.0 sec.
user=vaughan
[2013-04-02 02:31:56]
631*2^1243769-1 is not prime.  Res64: 25B9476451783545  Time : 0.0 sec.
user=juhehe
[2013-04-02 02:32:55]
727*2^1243769-1 is not prime.  Res64: B58343E6A40BBBC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:47:23]
641*2^1243770-1 is not prime.  Res64: B982FF6FC984D810  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:47:25]
653*2^1243770-1 is not prime.  Res64: 730B249682864605  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:47:29]
711*2^1243770-1 is not prime.  Res64: F4DEF1C2D874DC6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 02:47:31]
609*2^1243771-1 is not prime.  Res64: BF1E5060C95814E6  Time : 0.0 sec.
user=juhehe
[2013-04-02 03:00:04]
721*2^1243769-1 is not prime.  Res64: 4E1D8A0BB8D90D95  Time : 0.0 sec.
user=juhehe
[2013-04-02 03:02:17]
625*2^1243771-1 is not prime.  Res64: F8CE378409B208CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:04:55]
651*2^1243771-1 is not prime.  Res64: FD56AB472482FCEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:04:57]
663*2^1243771-1 is not prime.  Res64: 0D316FB0B77904EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:04:59]
751*2^1243771-1 is not prime.  Res64: 87CC5DF763BDEB6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:05:00]
759*2^1243771-1 is not prime.  Res64: E70E7A51FD5C7E79  Time : 0.0 sec.
user=vaughan
[2013-04-02 03:10:14]
621*2^1243771-1 is not prime.  Res64: 6454B28A28B0FC4D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:22:25]
769*2^1243771-1 is not prime.  Res64: 7E5CD0249FE65094  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:22:25]
789*2^1243771-1 is not prime.  Res64: 7E7C329F422B2C7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:22:27]
829*2^1243771-1 is not prime.  Res64: 6EA4ABCD9FBE69E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:22:28]
855*2^1243771-1 is not prime.  Res64: 2C2D3C1A49F1D9AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:39:56]
979*2^1243771-1 is not prime.  Res64: E32AE2B8164689AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:39:57]
999*2^1243771-1 is not prime.  Res64: CE660A205CA70E17  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:39:58]
803*2^1243772-1 is not prime.  Res64: 0FC8608553226DB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:39:59]
897*2^1243772-1 is not prime.  Res64: 5650BA241DE1316F  Time : 0.0 sec.
user=vaughan
[2013-04-02 03:48:31]
883*2^1243771-1 is not prime.  Res64: 04E5080369BC05FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:57:26]
899*2^1243772-1 is not prime.  Res64: 259AD57889B5A57D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:57:27]
987*2^1243772-1 is not prime.  Res64: F0A9355DF47653F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:57:27]
885*2^1243773-1 is not prime.  Res64: B3ACF2F1A5AB823A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 03:57:28]
945*2^1243773-1 is not prime.  Res64: 18A72BCD1431A25D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:14:55]
605*2^1243774-1 is not prime.  Res64: 7EA192F823F9697B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:14:56]
635*2^1243774-1 is not prime.  Res64: 79577F4574B75568  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:14:56]
681*2^1243774-1 is not prime.  Res64: 65BD23657CEEBA1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:14:57]
987*2^1243774-1 is not prime.  Res64: D48A5623E279BF70  Time : 0.0 sec.
user=juhehe
[2013-04-02 04:27:35]
939*2^1243771-1 is not prime.  Res64: CB5389718F657C04  Time : 0.0 sec.
user=vaughan
[2013-04-02 04:31:51]
985*2^1243773-1 is not prime.  Res64: F4FDFF2D97D55B2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:32:31]
663*2^1243775-1 is not prime.  Res64: 8D331B197A3A0220  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:32:32]
883*2^1243775-1 is not prime.  Res64: B6C18E36ACBBEFC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:32:33]
859*2^1243775-1 is not prime.  Res64: 087E35EFB0061CA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:32:34]
963*2^1243775-1 is not prime.  Res64: 9B5D9C1573708758  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:50:04]
657*2^1243776-1 is not prime.  Res64: 2237A312F1A253AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:50:05]
689*2^1243776-1 is not prime.  Res64: B6AD66EA91D5CAFF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:50:07]
725*2^1243776-1 is not prime.  Res64: 28599574BF59BB77  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 04:50:07]
737*2^1243776-1 is not prime.  Res64: C98C41016AC495CC  Time : 0.0 sec.
user=juhehe
[2013-04-02 05:01:56]
633*2^1243775-1 is not prime.  Res64: E67E64B7BD608462  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:07:37]
747*2^1243776-1 is not prime.  Res64: 344655F762EF3D4D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:07:38]
815*2^1243776-1 is not prime.  Res64: 8610328835FA6C59  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:07:38]
609*2^1243777-1 is not prime.  Res64: F948463C9DB5D6DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:07:38]
675*2^1243777-1 is not prime.  Res64: FC0E701DBCB3A51A  Time : 0.0 sec.
user=vaughan
[2013-04-02 05:15:28]
969*2^1243775-1 is not prime.  Res64: 4298CF681234E46D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:25:11]
919*2^1243777-1 is not prime.  Res64: B5BD14E9F26E0F98  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:25:12]
997*2^1243777-1 is not prime.  Res64: 27FBFF4AE4A8AAF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:25:12]
617*2^1243778-1 is not prime.  Res64: C73681C96A93A9EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:25:13]
665*2^1243778-1 is not prime.  Res64: 42B137005DD907B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:42:39]
861*2^1243778-1 is not prime.  Res64: A4F6438DE4BB48DD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:42:39]
893*2^1243778-1 is not prime.  Res64: A187D242EF225982  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:42:40]
957*2^1243778-1 is not prime.  Res64: 22D282DEFEF2C501  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 05:42:41]
963*2^1243778-1 is not prime.  Res64: 31AC5C5EC83E381F  Time : 0.0 sec.
user=vaughan
[2013-04-02 05:53:43]
791*2^1243778-1 is not prime.  Res64: AA3986BEE5591438  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:00:10]
835*2^1243779-1 is not prime.  Res64: 15F6CD43CB12BD3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:00:10]
609*2^1243780-1 is not prime.  Res64: 58C36B415A5D94C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:00:11]
969*2^1243779-1 is not prime.  Res64: 9F61E7015220D729  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:00:11]
635*2^1243780-1 is not prime.  Res64: 774D876DA18886B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:17:40]
857*2^1243780-1 is not prime.  Res64: 8B35E2DFFB031AFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:17:40]
873*2^1243780-1 is not prime.  Res64: AAA11414E691FDA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:17:41]
887*2^1243780-1 is not prime.  Res64: DB831783318D69B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:17:42]
929*2^1243780-1 is not prime.  Res64: 53BEC8AEAF57603A  Time : 0.0 sec.
user=juhehe
[2013-04-02 06:29:42]
829*2^1243779-1 is not prime.  Res64: E7F9B2654E4E0992  Time : 0.0 sec.
user=vaughan
[2013-04-02 06:32:01]
735*2^1243780-1 is not prime.  Res64: 21C6A8241B965726  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:35:12]
651*2^1243781-1 is not prime.  Res64: F0943D5CBBECE6C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:35:13]
669*2^1243781-1 is not prime.  Res64: 6819933FC904346C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:35:13]
657*2^1243781-1 is not prime.  Res64: C14CD8849553A7D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:35:13]
727*2^1243781-1 is not prime.  Res64: EF51636991236A2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:52:41]
867*2^1243781-1 is not prime.  Res64: DC1CEB0CD742C742  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:52:41]
871*2^1243781-1 is not prime.  Res64: 068C6F06856506EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:52:41]
991*2^1243781-1 is not prime.  Res64: FDC0C597DCB49871  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 06:52:42]
681*2^1243782-1 is not prime.  Res64: AAB7C3BBA5B88067  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:10:10]
711*2^1243782-1 is not prime.  Res64: D8BAD7B1FDFBEBB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:10:11]
755*2^1243782-1 is not prime.  Res64: DEE4D406DA7102B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:10:11]
777*2^1243782-1 is not prime.  Res64: 3BCE68F48B6C6864  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:10:12]
797*2^1243782-1 is not prime.  Res64: BAAEB45235DEB8CB  Time : 0.0 sec.
user=vaughan
[2013-04-02 07:10:17]
741*2^1243781-1 is not prime.  Res64: 0362F995D8EA0AC9  Time : 0.0 sec.
user=juhehe
[2013-04-02 07:10:33]
975*2^1243780-1 is not prime.  Res64: FB5565D2910E03A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:27:46]
945*2^1243782-1 is not prime.  Res64: 09E74167F1DC0DEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:27:46]
977*2^1243782-1 is not prime.  Res64: E08CE710CD27CDB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:27:48]
609*2^1243783-1 is not prime.  Res64: 61F10AB008504758  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:27:48]
709*2^1243783-1 is not prime.  Res64: 006EC0E8E4F7B487  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:45:15]
853*2^1243783-1 is not prime.  Res64: 7DE6DC6A98829F48  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:45:15]
925*2^1243783-1 is not prime.  Res64: 499375E082059C0C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:45:16]
961*2^1243783-1 is not prime.  Res64: 8A602D377340590C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 07:45:16]
743*2^1243784-1 is not prime.  Res64: 1BDF6BE6741CAFC0  Time : 0.0 sec.
user=vaughan
[2013-04-02 07:48:35]
603*2^1243783-1 is not prime.  Res64: 0058D06407FC6554  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:02:43]
869*2^1243784-1 is not prime.  Res64: 5D93231057246F15  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:02:44]
685*2^1243785-1 is not prime.  Res64: C552BEF352979F5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:02:44]
995*2^1243784-1 is not prime.  Res64: E9EAD9EAAFABAC05  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:02:45]
699*2^1243785-1 is not prime.  Res64: C9C8F10B060C3A97  Time : 0.0 sec.
user=juhehe
[2013-04-02 08:06:42]
837*2^1243784-1 is not prime.  Res64: 7A44F38BA8EBD18D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:20:50]
819*2^1243785-1 is not prime.  Res64: DD29D11EBA1E92D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:20:51]
847*2^1243785-1 is not prime.  Res64: 9346783F62BDA60E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:20:52]
871*2^1243785-1 is not prime.  Res64: 6D44D3F3AFD6FF43  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:20:52]
975*2^1243785-1 is not prime.  Res64: F1218B994CF3BA9E  Time : 0.0 sec.
user=vaughan
[2013-04-02 08:26:50]
759*2^1243785-1 is not prime.  Res64: EC67A5FAC2F1B7FE  Time : 0.0 sec.
user=juhehe
[2013-04-02 08:31:38]
767*2^1243784-1 is not prime.  Res64: 3C99B1F16BB1A316  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:38:22]
651*2^1243786-1 is not prime.  Res64: 2D1EE95A84E1F21C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:38:23]
663*2^1243786-1 is not prime.  Res64: FD769B49464E1C32  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:38:23]
755*2^1243786-1 is not prime.  Res64: FC296B4CE9C4AD0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:38:23]
801*2^1243786-1 is not prime.  Res64: F1EB31E955AC49B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:55:52]
941*2^1243786-1 is not prime.  Res64: B1D0474231F1D636  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:55:52]
631*2^1243787-1 is not prime.  Res64: BA38AA7DF9D7D54F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:55:53]
619*2^1243787-1 is not prime.  Res64: 23DE3DB78DE1E658  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 08:55:53]
675*2^1243787-1 is not prime.  Res64: 3FAC0CD28FBF885E  Time : 0.0 sec.
user=vaughan
[2013-04-02 09:05:05]
843*2^1243786-1 is not prime.  Res64: D5EFD09A4C7DC2E3  Time : 0.0 sec.
user=juhehe
[2013-04-02 09:12:53]
623*2^1243786-1 is not prime.  Res64: 6ED7A9F683BF68B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:13:22]
735*2^1243787-1 is not prime.  Res64: 630F000B0051F100  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:13:22]
825*2^1243787-1 is not prime.  Res64: 3B5E085BA01C928D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:13:22]
931*2^1243787-1 is not prime.  Res64: 9366D0920D6D06A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:13:23]
963*2^1243787-1 is not prime.  Res64: 3851521B52B5C67E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:30:56]
647*2^1243788-1 is not prime.  Res64: D62D3BED5BFEB4D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:30:56]
735*2^1243788-1 is not prime.  Res64: 4D0714D0150DFF2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:30:57]
723*2^1243788-1 is not prime.  Res64: FF9D32B2C817B73E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:30:57]
753*2^1243788-1 is not prime.  Res64: 7A0CC082A9F734A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:48:27]
927*2^1243788-1 is not prime.  Res64: ABC050868BD01FEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:48:28]
621*2^1243789-1 is not prime.  Res64: A75956C2A94A3398  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:48:28]
745*2^1243789-1 is not prime.  Res64: 1B2AC5035616DE48  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 09:48:29]
897*2^1243789-1 is not prime.  Res64: D225F499D1F6C993  Time : 0.0 sec.
user=vaughan
[2013-04-02 09:48:31]
979*2^1243787-1 is not prime.  Res64: F7214BEE2D10E4FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:06:06]
931*2^1243789-1 is not prime.  Res64: DB37B4AC9FF4E659  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:06:07]
981*2^1243790-1 is not prime.  Res64: D74A4AA634314429  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:06:08]
797*2^1243790-1 is not prime.  Res64: 80BDAA627E969B32  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:06:08]
601*2^1243791-1 is not prime.  Res64: B1521FD8FABB53E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:23:51]
711*2^1243791-1 is not prime.  Res64: 4335E6953E4C670C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:23:51]
769*2^1243791-1 is not prime.  Res64: DC43DFF9A4714448  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:23:51]
745*2^1243791-1 is not prime.  Res64: D34244317EE554F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:23:52]
885*2^1243791-1 is not prime.  Res64: FD45651CB1A3721A  Time : 0.0 sec.
user=vaughan
[2013-04-02 10:26:46]
679*2^1243791-1 is not prime.  Res64: CF9D7EBE7F4A1042  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:41:35]
909*2^1243791-1 is not prime.  Res64: 8935BC3810916F21  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:41:35]
605*2^1243792-1 is not prime.  Res64: 824EBA226C238C19  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:41:36]
677*2^1243792-1 is not prime.  Res64: D6D737F71077F12F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:41:37]
743*2^1243792-1 is not prime.  Res64: B240B501D98A7E2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:59:07]
863*2^1243792-1 is not prime.  Res64: 5225DBDD78A6109F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:59:07]
631*2^1243793-1 is not prime.  Res64: 41D8DC598EE8F575  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:59:08]
699*2^1243793-1 is not prime.  Res64: 3F502E82EFD341C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 10:59:08]
885*2^1243793-1 is not prime.  Res64: D6BA654524FCDD9F  Time : 0.0 sec.
user=vaughan
[2013-04-02 11:05:02]
813*2^1243792-1 is not prime.  Res64: 279244AEC6A57C65  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:16:39]
671*2^1243794-1 is not prime.  Res64: A015449360842F28  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:16:39]
651*2^1243794-1 is not prime.  Res64: 378FA8ED050DC46F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:16:39]
873*2^1243794-1 is not prime.  Res64: 80E04A445964649F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:16:40]
657*2^1243794-1 is not prime.  Res64: 863A5F7426AFB0DB  Time : 0.0 sec.
user=juhehe
[2013-04-02 11:33:33]
825*2^1243792-1 is not prime.  Res64: A3DF92FEBE4F4181  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:34:12]
715*2^1243795-1 is not prime.  Res64: 9380A7AB11F2AA23  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:34:12]
759*2^1243795-1 is not prime.  Res64: F4C4A8EB19C9623D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:34:12]
775*2^1243795-1 is not prime.  Res64: 3FCD7B0739277C0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:34:13]
793*2^1243795-1 is not prime.  Res64: FAC8A099A6A4475E  Time : 0.0 sec.
user=vaughan
[2013-04-02 11:48:29]
951*2^1243794-1 is not prime.  Res64: CD9B29F6B5E875B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:51:52]
767*2^1243796-1 is not prime.  Res64: 1666252760704EEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:51:53]
785*2^1243796-1 is not prime.  Res64: 7B37FF2075342007  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:51:53]
845*2^1243796-1 is not prime.  Res64: EC701840E3C280ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 11:51:53]
873*2^1243796-1 is not prime.  Res64: 8C4D83347E5B077C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:09:28]
625*2^1243797-1 is not prime.  Res64: 6B9486C2B7AB8CBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:09:28]
903*2^1243796-1 is not prime.  Res64: 3944806CE7E4E4C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:09:29]
649*2^1243797-1 is not prime.  Res64: 7D4914FF345A5BBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:09:29]
615*2^1243797-1 is not prime.  Res64: 394ED7037A7C59F2  Time : 0.0 sec.
user=juhehe
[2013-04-02 12:14:00]
625*2^1243795-1 is not prime.  Res64: F5E70212C1B715B6  Time : 0.0 sec.
user=vaughan
[2013-04-02 12:26:45]
899*2^1243796-1 is not prime.  Res64: 3B8748CD6E43D22E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:27:06]
747*2^1243797-1 is not prime.  Res64: 64957F3335FF0A62  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:27:06]
829*2^1243797-1 is not prime.  Res64: AA241212DA78C09C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:27:08]
927*2^1243797-1 is not prime.  Res64: 354E1FA3345800C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:27:09]
937*2^1243797-1 is not prime.  Res64: 9E3F4BF44D818E71  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:44:38]
723*2^1243798-1 is not prime.  Res64: 5DDFFB2E86072AC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:44:39]
887*2^1243798-1 is not prime.  Res64: B86CE5944B325FF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:44:41]
987*2^1243798-1 is not prime.  Res64: BDC3451837D35D81  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 12:44:41]
621*2^1243799-1 is not prime.  Res64: 4A05BFA192B02104  Time : 0.0 sec.
user=juhehe
[2013-04-02 12:45:04]
999*2^1243797-1 is not prime.  Res64: 91661C9A8E86657E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:02:12]
661*2^1243799-1 is not prime.  Res64: EE843F1AB1644086  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:02:12]
703*2^1243799-1 is not prime.  Res64: 97289FD55E65E996  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:02:17]
789*2^1243799-1 is not prime.  Res64: 882CBCE35A2C5C59  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:02:19]
831*2^1243799-1 is not prime.  Res64: 31571DA09D3354D7  Time : 0.0 sec.
user=vaughan
[2013-04-02 13:05:19]
645*2^1243798-1 is not prime.  Res64: 329D23FB22BC7004  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:20:09]
859*2^1243799-1 is not prime.  Res64: B6A0563D0F025D6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:20:10]
939*2^1243799-1 is not prime.  Res64: FD42BF5406FE8AB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:20:11]
991*2^1243799-1 is not prime.  Res64: BEFF1C588A30CDEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:20:11]
623*2^1243800-1 is not prime.  Res64: 19B994D033F5CA0E  Time : 0.0 sec.
user=juhehe
[2013-04-02 13:35:22]
655*2^1243799-1 is not prime.  Res64: ABE914C30BC4EDBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:37:43]
843*2^1243800-1 is not prime.  Res64: 705D9EB8B7BA91D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:37:44]
879*2^1243800-1 is not prime.  Res64: 17D4BFE9A29BA425  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:37:46]
909*2^1243800-1 is not prime.  Res64: 3AE2E8D037A94737  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:37:46]
923*2^1243800-1 is not prime.  Res64: 2048553E38B0A95F  Time : 0.0 sec.
user=vaughan
[2013-04-02 13:43:36]
627*2^1243800-1 is not prime.  Res64: FCEA24C4FE601E62  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:55:17]
983*2^1243800-1 is not prime.  Res64: 689AEC621317167D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:55:17]
619*2^1243801-1 is not prime.  Res64: C40A343A66143C95  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:55:18]
639*2^1243801-1 is not prime.  Res64: 349F5203380315BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 13:55:18]
651*2^1243801-1 is not prime.  Res64: AFB7FF081606CB37  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:12:50]
775*2^1243801-1 is not prime.  Res64: CB77047C783BBDD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:12:50]
811*2^1243801-1 is not prime.  Res64: 9D9D646F09BE814A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:12:51]
799*2^1243801-1 is not prime.  Res64: DA9D4DFA4667A2A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:12:51]
931*2^1243801-1 is not prime.  Res64: C34DF2868741933D  Time : 0.0 sec.
user=juhehe
[2013-04-02 14:16:09]
839*2^1243800-1 is not prime.  Res64: FBCB7135685BDA45  Time : 0.0 sec.
user=vaughan
[2013-04-02 14:21:52]
691*2^1243801-1 is not prime.  Res64: BBF90E094A83BC95  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:30:28]
987*2^1243801-1 is not prime.  Res64: DC2C5381DBAB5497  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:30:29]
791*2^1243802-1 is not prime.  Res64: 411D94C0965B48E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:30:30]
887*2^1243802-1 is not prime.  Res64: A99CD700469FFB32  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:30:31]
893*2^1243802-1 is not prime.  Res64: D57D42CE9F96CF1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:48:02]
963*2^1243802-1 is not prime.  Res64: 03D9C6C75FAA24B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:48:02]
675*2^1243803-1 is not prime.  Res64: 63A6163EFD4609DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:48:03]
685*2^1243803-1 is not prime.  Res64: DF31F5DCB4C52AC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 14:48:04]
705*2^1243803-1 is not prime.  Res64: 2F821D88D1F3AF56  Time : 0.0 sec.
user=vaughan
[2013-04-02 15:05:14]
935*2^1243802-1 is not prime.  Res64: 120B62ABF8E70753  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:05:37]
849*2^1243803-1 is not prime.  Res64: F67078B33588C3BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:05:37]
615*2^1243804-1 is not prime.  Res64: F7DA12BFC762AF3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:05:38]
901*2^1243803-1 is not prime.  Res64: CE6711D8356E2E8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:05:38]
657*2^1243804-1 is not prime.  Res64: D4AB3A841B016A35  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:23:11]
749*2^1243804-1 is not prime.  Res64: D2B5E70054D7491E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:23:12]
833*2^1243804-1 is not prime.  Res64: DF65853A0B39F08D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:23:13]
905*2^1243804-1 is not prime.  Res64: FEBA8A4AF422444B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:23:13]
927*2^1243804-1 is not prime.  Res64: AC69033096ADEAEC  Time : 0.0 sec.
user=juhehe
[2013-04-02 15:37:20]
789*2^1243803-1 is not prime.  Res64: DFB705BBEEEEBF98  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:40:46]
699*2^1243805-1 is not prime.  Res64: 9E2ECDDCCAC2861C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:40:47]
711*2^1243805-1 is not prime.  Res64: D93635D505C1D352  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:40:47]
717*2^1243805-1 is not prime.  Res64: 0E412C9C2814FFF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:40:48]
777*2^1243805-1 is not prime.  Res64: B7AE0EA939F0D158  Time : 0.0 sec.
user=vaughan
[2013-04-02 15:43:35]
695*2^1243804-1 is not prime.  Res64: 794550850B3A6DBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:58:21]
781*2^1243805-1 is not prime.  Res64: 6CBF8F0851FF293D  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:58:21]
927*2^1243805-1 is not prime.  Res64: 0A523C075565F762  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:58:21]
981*2^1243805-1 is not prime.  Res64: 760E3279520F16CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 15:58:22]
713*2^1243806-1 is not prime.  Res64: 4E08A9FAC28C49B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:15:56]
777*2^1243806-1 is not prime.  Res64: D23A39288B66CCDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:15:57]
875*2^1243806-1 is not prime.  Res64: 9B64A873CEE90AEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:15:57]
815*2^1243806-1 is not prime.  Res64: D25E5EDE6AF887C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:15:57]
881*2^1243806-1 is not prime.  Res64: B24AB6CDED1E535F  Time : 0.0 sec.
user=juhehe
[2013-04-02 16:18:19]
675*2^1243805-1 is not prime.  Res64: 03C5C28ED724C9A8  Time : 0.0 sec.
user=vaughan
[2013-04-02 16:21:51]
767*2^1243806-1 is not prime.  Res64: 3312FD1363A38CE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:33:45]
903*2^1243806-1 is not prime.  Res64: 9E6AA23BE8E9C0AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:33:46]
983*2^1243806-1 is not prime.  Res64: 068E112456D576E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:33:48]
603*2^1243807-1 is not prime.  Res64: 0143E982F902BBFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:33:49]
609*2^1243807-1 is not prime.  Res64: 6D10337030FC240A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:52:04]
919*2^1243807-1 is not prime.  Res64: DE45012238661141  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:52:04]
629*2^1243808-1 is not prime.  Res64: 31B3860A77FA34C1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:52:06]
797*2^1243808-1 is not prime.  Res64: D23A124BEC9FC3C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 16:52:07]
803*2^1243808-1 is not prime.  Res64: 6191D4FC119CE59F  Time : 0.0 sec.
user=vaughan
[2013-04-02 17:00:10]
763*2^1243807-1 is not prime.  Res64: 7AAE154660EB89A5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:10:25]
867*2^1243808-1 is not prime.  Res64: 0C7C00EF702929AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:10:25]
897*2^1243808-1 is not prime.  Res64: A5028C37E879C8DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:10:26]
969*2^1243808-1 is not prime.  Res64: 6F63B5FFC28F02AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:10:26]
681*2^1243809-1 is not prime.  Res64: 9D4B8867FB1BE72E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:28:18]
605*2^1243810-1 is not prime.  Res64: 78D6E6511AF8D374  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:28:18]
635*2^1243810-1 is not prime.  Res64: 405A1507E10FC176  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:28:18]
633*2^1243810-1 is not prime.  Res64: 45051295998958ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:28:19]
663*2^1243810-1 is not prime.  Res64: E28D297394829102  Time : 0.0 sec.
user=vaughan
[2013-04-02 17:38:27]
747*2^1243809-1 is not prime.  Res64: BD3DAF117E8E54CB  Time : 0.0 sec.
user=juhehe
[2013-04-02 17:39:39]
819*2^1243808-1 is not prime.  Res64: 1E81D0C12DB68DE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:46:01]
681*2^1243810-1 is not prime.  Res64: 9CC81909440718D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:46:01]
791*2^1243810-1 is not prime.  Res64: CFC21418276C1442  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:46:01]
765*2^1243810-1 is not prime.  Res64: 116D981B8B20CC97  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 17:46:01]
861*2^1243810-1 is not prime.  Res64: 416D80B41443414B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:03:43]
619*2^1243811-1 is not prime.  Res64: 947EF5A38F9349DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:03:44]
643*2^1243811-1 is not prime.  Res64: A0AE6D0A0067E00F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:03:44]
703*2^1243811-1 is not prime.  Res64: 843A4EE837B35002  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:03:45]
783*2^1243811-1 is not prime.  Res64: 731915F49FD448A4  Time : 0.0 sec.
user=juhehe
[2013-04-02 18:19:15]
901*2^1243811-1 is not prime.  Res64: 21CFCAE5DB1A38A4  Time : 0.0 sec.
user=juhehe
[2013-04-02 18:20:42]
675*2^1243810-1 is not prime.  Res64: C6138CC7323364DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:21:20]
939*2^1243811-1 is not prime.  Res64: 333CD4053F6A3AC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:21:21]
973*2^1243811-1 is not prime.  Res64: 9035ADB1AB7E8303  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:21:21]
981*2^1243811-1 is not prime.  Res64: AA9D2A066ADC795F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:21:22]
609*2^1243812-1 is not prime.  Res64: A038114D83D8B6B2  Time : 0.0 sec.
user=vaughan
[2013-04-02 18:21:47]
987*2^1243810-1 is not prime.  Res64: 44481773B90BA347  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:38:56]
633*2^1243812-1 is not prime.  Res64: 3CD2F8356D64A795  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:38:57]
695*2^1243812-1 is not prime.  Res64: 87B4A0FEEA2ADFDF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:38:57]
759*2^1243812-1 is not prime.  Res64: 3741DC153DE6053A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:38:57]
689*2^1243812-1 is not prime.  Res64: 6CD61209FA66F03F  Time : 0.0 sec.
user=juhehe
[2013-04-02 18:43:41]
825*2^1243812-1 is not prime.  Res64: 8C5D5C70E163BB72  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:56:31]
863*2^1243812-1 is not prime.  Res64: B80A82261AD9CB9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:56:32]
893*2^1243812-1 is not prime.  Res64: 3DB2637697D15EB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:56:32]
903*2^1243812-1 is not prime.  Res64: 315FF831D30F6D9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 18:56:33]
909*2^1243812-1 is not prime.  Res64: 8E278172EDA3DC90  Time : 0.0 sec.
user=vaughan
[2013-04-02 19:00:03]
765*2^1243812-1 is not prime.  Res64: CC6481EDA1482F7B  Time : 0.0 sec.
user=juhehe
[2013-04-02 19:08:38]
965*2^1243812-1 is not prime.  Res64: 8BA64BA2A8C0C9D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:14:05]
727*2^1243813-1 is not prime.  Res64: E091732F24A2C271  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:14:06]
775*2^1243813-1 is not prime.  Res64: 9398BBBDA15562B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:14:06]
817*2^1243813-1 is not prime.  Res64: C5374496F0993919  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:14:06]
623*2^1243814-1 is not prime.  Res64: 3F81FE6286F1AEF4  Time : 0.0 sec.
user=juhehe
[2013-04-02 19:30:08]
663*2^1243814-1 is not prime.  Res64: 8CF1E3949D170674  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:31:38]
731*2^1243814-1 is not prime.  Res64: 0A564008D6561A12  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:31:39]
753*2^1243814-1 is not prime.  Res64: C273A409555A70CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:31:39]
791*2^1243814-1 is not prime.  Res64: 81B4FE4ADC180577  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:31:40]
935*2^1243814-1 is not prime.  Res64: 55300E9986956992  Time : 0.0 sec.
user=vaughan
[2013-04-02 19:38:19]
641*2^1243814-1 is not prime.  Res64: 304CF016FE0454D8  Time : 0.0 sec.
user=juhehe
[2013-04-02 19:41:45]
929*2^1243812-1 is not prime.  Res64: 47916AC34B954B0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:49:12]
751*2^1243815-1 is not prime.  Res64: BB35DBC6B2F52A5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:49:13]
783*2^1243815-1 is not prime.  Res64: 16DD1262E533901C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:49:14]
849*2^1243815-1 is not prime.  Res64: AC7F0FC7344DC4E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 19:49:14]
853*2^1243815-1 is not prime.  Res64: 7E5D647EB97585C1  Time : 0.0 sec.
user=juhehe
[2013-04-02 19:51:55]
643*2^1243815-1 is not prime.  Res64: 2C5CE343F9C1BF93  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:06:49]
985*2^1243815-1 is not prime.  Res64: CC7109128E9A0190  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:06:51]
675*2^1243816-1 is not prime.  Res64: 4953FDF486FF128A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:06:51]
747*2^1243816-1 is not prime.  Res64: AFE001A6BD9A74FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:06:52]
843*2^1243816-1 is not prime.  Res64: 48A3F0368A72A644  Time : 0.0 sec.
user=vaughan
[2013-04-02 20:16:36]
859*2^1243815-1 is not prime.  Res64: 115D77121821F6D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:24:38]
933*2^1243816-1 is not prime.  Res64: D5E97DF2521F33D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:24:38]
841*2^1243817-1 is not prime.  Res64: 95D60ECD133057C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:24:38]
777*2^1243817-1 is not prime.  Res64: 19F8CE90C29B2518  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:24:38]
861*2^1243817-1 is not prime.  Res64: 8C23C6FE880538B7  Time : 0.0 sec.
user=juhehe
[2013-04-02 20:29:58]
981*2^1243814-1 is not prime.  Res64: 5EE46522E829B36C  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:42:41]
955*2^1243817-1 is not prime.  Res64: CFFA7C3B62B627AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:42:42]
633*2^1243818-1 is not prime.  Res64: 5074A44BC287EF8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:42:42]
797*2^1243818-1 is not prime.  Res64: C3A29234ACC2E509  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 20:42:43]
923*2^1243818-1 is not prime.  Res64: D79CE2BDE7599C37  Time : 0.0 sec.
user=vaughan
[2013-04-02 20:55:28]
915*2^1243817-1 is not prime.  Res64: 853267423CDC23B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:00:16]
733*2^1243819-1 is not prime.  Res64: 10901B8AEF30C59F  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:00:17]
745*2^1243819-1 is not prime.  Res64: 45AF78998F349E94  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:00:17]
829*2^1243819-1 is not prime.  Res64: C142F94D570EB718  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:00:18]
853*2^1243819-1 is not prime.  Res64: 5379409C6A65D6FB  Time : 0.0 sec.
user=juhehe
[2013-04-02 21:06:01]
889*2^1243819-1 is not prime.  Res64: 1B54FAAC94D43E22  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:17:50]
969*2^1243819-1 is not prime.  Res64: 45926E9DFDD38F60  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:17:50]
603*2^1243820-1 is not prime.  Res64: 46C56919E4BD5F11  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:17:52]
605*2^1243820-1 is not prime.  Res64: EB8B32C9816AB766  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:17:52]
719*2^1243820-1 is not prime.  Res64: 0BD7DA86D3DB048B  Time : 0.0 sec.
user=juhehe
[2013-04-02 21:25:27]
725*2^1243820-1 is not prime.  Res64: A5083FFB1A93389A  Time : 0.0 sec.
user=vaughan
[2013-04-02 21:33:44]
925*2^1243819-1 is not prime.  Res64: D62CF83D3D50C672  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:35:33]
767*2^1243820-1 is not prime.  Res64: F2EA507CFC409086  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:35:34]
827*2^1243820-1 is not prime.  Res64: 594940B65B139BB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:35:34]
773*2^1243820-1 is not prime.  Res64: E4B6D19DD463AEBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:35:34]
935*2^1243820-1 is not prime.  Res64: C5C24B8B8E2EB39F  Time : 0.0 sec.
user=juhehe
[2013-04-02 21:51:26]
941*2^1243818-1 is not prime.  Res64: 02438AEBC7C1815B  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:53:15]
625*2^1243821-1 is not prime.  Res64: F448B81DEDAF4947  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:53:15]
861*2^1243821-1 is not prime.  Res64: 353952AA724B81C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:53:15]
847*2^1243821-1 is not prime.  Res64: 8B691284F6BD66AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 21:53:16]
889*2^1243821-1 is not prime.  Res64: 491F052A691E6226  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:10:54]
949*2^1243821-1 is not prime.  Res64: B8658E936BBF4BF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:10:55]
969*2^1243821-1 is not prime.  Res64: D1A0E00F8501C073  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:10:56]
975*2^1243821-1 is not prime.  Res64: 26C77CEEBD951EBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:10:56]
737*2^1243822-1 is not prime.  Res64: E3D3F01CF3D1BC1C  Time : 0.0 sec.
user=vaughan
[2013-04-02 22:12:00]
607*2^1243821-1 is not prime.  Res64: E17E3B64E87FA492  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:28:36]
827*2^1243822-1 is not prime.  Res64: BFB3F2A0A10A1510  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:28:37]
855*2^1243822-1 is not prime.  Res64: BAC48863255FEB40  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:28:40]
867*2^1243822-1 is not prime.  Res64: 9A2BEEDEE52E8367  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:28:40]
885*2^1243822-1 is not prime.  Res64: 7CCF333BDB26F5AA  Time : 0.0 sec.
user=juhehe
[2013-04-02 22:38:32]
999*2^1243820-1 is not prime.  Res64: C7C7180C1D4C4A29  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:46:12]
995*2^1243822-1 is not prime.  Res64: 4AB83759058D5D13  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:46:12]
619*2^1243823-1 is not prime.  Res64: E98AD8BE1DBB3748  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:46:13]
643*2^1243823-1 is not prime.  Res64: 85F9B1B9B58965D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 22:46:14]
705*2^1243823-1 is not prime.  Res64: 880755297A0D9A55  Time : 0.0 sec.
user=vaughan
[2013-04-02 22:50:14]
917*2^1243822-1 is not prime.  Res64: D17F0F4946618706  Time : 0.0 sec.
user=juhehe
[2013-04-02 23:00:04]
813*2^1243823-1 is not prime.  Res64: 0CAB88958FB12B60  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:03:44]
921*2^1243823-1 is not prime.  Res64: C86CCFD5A683C798  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:03:45]
943*2^1243823-1 is not prime.  Res64: 99F433E0C656F207  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:03:47]
767*2^1243824-1 is not prime.  Res64: 0F65059AC75FB5F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:03:49]
837*2^1243824-1 is not prime.  Res64: E0D93F3B5DFF7BD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:21:40]
997*2^1243825-1 is not prime.  Res64: 3335C96089773632  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:21:40]
789*2^1243825-1 is not prime.  Res64: C1411FE765E6C259  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:21:40]
683*2^1243826-1 is not prime.  Res64: 307F614325133B62  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:21:41]
871*2^1243825-1 is not prime.  Res64: 1146D884950DEB44  Time : 0.0 sec.
user=vaughan
[2013-04-02 23:28:30]
609*2^1243825-1 is not prime.  Res64: 9A1C25D1F34EF6C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:39:21]
783*2^1243826-1 is not prime.  Res64: A501FED5EB7EA9A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:39:21]
917*2^1243826-1 is not prime.  Res64: 8F7035EF9DC0C1F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:39:23]
615*2^1243827-1 is not prime.  Res64: 37A387F6AE754022  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:39:23]
741*2^1243827-1 is not prime.  Res64: A5BCD3B0233144BD  Time : 0.0 sec.
user=juhehe
[2013-04-02 23:53:45]
619*2^1243825-1 is not prime.  Res64: CAD258CFC7AD80CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:56:53]
795*2^1243827-1 is not prime.  Res64: 1AD02749160A7276  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:56:53]
843*2^1243827-1 is not prime.  Res64: 55C55173E0C79B2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:56:54]
859*2^1243827-1 is not prime.  Res64: 6EBB7EF6CE66FA85  Time : 0.0 sec.
user=mdettweiler
[2013-04-02 23:56:54]
871*2^1243827-1 is not prime.  Res64: 6F68465D9DF841E9  Time : 0.0 sec.