user=gd_barnes
[2011-03-23 00:11:29]
867*2^815258-1 is not prime.  Res64: 07EA952409CF4122  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 00:11:29]
885*2^815258-1 is not prime.  Res64: 954F2EF8750143EC  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 00:11:41]
921*2^815258-1 is not prime.  Res64: 29E88E56DCA92818  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:11:41]
927*2^815258-1 is not prime.  Res64: DB5F7A33C23C0713  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:13:11]
999*2^815259-1 is not prime.  Res64: CD69E762D66BCF89  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:13:11]
855*2^815260-1 is not prime.  Res64: 97C9661BB117E40F  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:13:13]
843*2^815259-1 is not prime.  Res64: A4687513974BD72C  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 00:13:13]
895*2^815259-1 is not prime.  Res64: 35AFBFBE09EE1E8B  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 00:13:48]
873*2^815260-1 is not prime.  Res64: 30A1432948A47362  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 00:13:48]
859*2^815261-1 is not prime.  Res64: EEA7B4A68C7AFF06  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 00:16:05]
979*2^815261-1 is not prime.  Res64: 985F846CAC7EBFC7  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 00:16:05]
833*2^815262-1 is not prime.  Res64: 34DDC8FCBBD01DA7  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 00:20:03]
873*2^815262-1 is not prime.  Res64: 9ECD0DAE80CF5E29  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:20:03]
875*2^815262-1 is not prime.  Res64: 7F59589AF6D515DE  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:24:36]
965*2^815262-1 is not prime.  Res64: C7C547DB41C1563C  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 00:24:36]
975*2^815262-1 is not prime.  Res64: 66FC0B22364239B6  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 00:37:07]
861*2^815265-1 is not prime.  Res64: 43E1DF53FE127339  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 00:37:07]
867*2^815265-1 is not prime.  Res64: 10FD6F23CD16FC3D  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 00:37:15]
871*2^815265-1 is not prime.  Res64: 7B4EB533CAB555DE  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:37:15]
813*2^815266-1 is not prime.  Res64: 34912070205115D0  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:38:45]
861*2^815266-1 is not prime.  Res64: 02B3A0F3E575A638  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:38:45]
975*2^815266-1 is not prime.  Res64: A423D3B110CAA33E  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 00:39:16]
819*2^815267-1 is not prime.  Res64: 64BA26EB1F9A97E5  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 00:39:16]
825*2^815267-1 is not prime.  Res64: 06532F36536FCB52  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 00:39:53]
829*2^815267-1 is not prime.  Res64: 21BB05CEDA0466E1  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 00:39:53]
819*2^815268-1 is not prime.  Res64: F7F9D7B9CAAE2F2C  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 00:42:11]
993*2^815268-1 is not prime.  Res64: AE4FD9CD9EC79632  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 00:42:11]
855*2^815269-1 is not prime.  Res64: 455C4252E8B3BEB0  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 00:45:40]
867*2^815269-1 is not prime.  Res64: FAA108A733930616  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 00:45:40]
939*2^815269-1 is not prime.  Res64: 3506718248A4884E  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 00:50:40]
975*2^815269-1 is not prime.  Res64: 4F31AD63ECB92F8C  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 00:50:40]
987*2^815269-1 is not prime.  Res64: CBF80935FB52EEF7  Time : 1563.0 sec.
user=vaughan
[2011-03-23 01:02:24]
913*2^815243-1 is not prime.  Res64: F152A7A415DB0BFC  Time : 9846.0 sec.
user=gd_barnes
[2011-03-23 01:02:46]
801*2^815270-1 is not prime.  Res64: 3E85C61C414435C1  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 01:02:46]
857*2^815270-1 is not prime.  Res64: 0AB1526321FBFC24  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 01:02:49]
981*2^815270-1 is not prime.  Res64: 25194524D65E25EF  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:02:49]
909*2^815271-1 is not prime.  Res64: 53BCD59DF220D497  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:04:26]
913*2^815271-1 is not prime.  Res64: FF48F59127D76905  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 01:04:26]
933*2^815271-1 is not prime.  Res64: 5F5A9284BD8552FE  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 01:05:22]
961*2^815271-1 is not prime.  Res64: 9777C2C8774571BC  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 01:05:22]
969*2^815271-1 is not prime.  Res64: A52BE4D4A070C5AA  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 01:05:58]
979*2^815271-1 is not prime.  Res64: FED3BA632C1489BF  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 01:05:58]
803*2^815272-1 is not prime.  Res64: 1CD2B83F700E55AC  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 01:08:17]
813*2^815272-1 is not prime.  Res64: AFF2B2C9CF861502  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 01:08:17]
843*2^815272-1 is not prime.  Res64: E3C4F8383E9A6610  Time : 1565.0 sec.
user=ototero
[2011-03-23 01:09:25]
873*2^815234-1 is not prime.  Res64: BBC08E865D25758A  Time : 11910.0 sec.
user=ototero
[2011-03-23 01:09:25]
935*2^815234-1 is not prime.  Res64: FFE3FDBB000B302A  Time : 11910.0 sec.
user=ototero
[2011-03-23 01:09:25]
801*2^815235-1 is not prime.  Res64: AF09E73690ACD1E4  Time : 11909.0 sec.
user=ototero
[2011-03-23 01:09:26]
985*2^815235-1 is not prime.  Res64: 6C4A76934D0DC8A0  Time : 11910.0 sec.
user=ototero
[2011-03-23 01:09:26]
875*2^815236-1 is not prime.  Res64: A6480BA703D1A120  Time : 11910.0 sec.
user=ototero
[2011-03-23 01:09:26]
939*2^815237-1 is not prime.  Res64: 59904538DF77EF91  Time : 11909.0 sec.
user=ototero
[2011-03-23 01:09:26]
985*2^815237-1 is not prime.  Res64: B38CF197305BFC0F  Time : 11909.0 sec.
user=ototero
[2011-03-23 01:09:26]
927*2^815238-1 is not prime.  Res64: E20F7F16067B1E8A  Time : 11909.0 sec.
user=ototero
[2011-03-23 01:09:26]
957*2^815238-1 is not prime.  Res64: E08E1395C8EA9D14  Time : 11908.0 sec.
user=ototero
[2011-03-23 01:09:27]
971*2^815238-1 is not prime.  Res64: 74150D754C2FEBAF  Time : 11909.0 sec.
user=gd_barnes
[2011-03-23 01:11:15]
863*2^815272-1 is not prime.  Res64: B6BB743830D63C81  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 01:11:15]
923*2^815272-1 is not prime.  Res64: EF79745DDC6C9274  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 01:16:44]
957*2^815272-1 is not prime.  Res64: 7A119A7C59E29B79  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 01:16:44]
983*2^815272-1 is not prime.  Res64: 0EAB3218B671C5FE  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 01:28:20]
861*2^815274-1 is not prime.  Res64: F43789D12CE423F6  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:28:20]
881*2^815274-1 is not prime.  Res64: 50107CFA626EC457  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:28:26]
923*2^815274-1 is not prime.  Res64: 77799C856E3DCDE8  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 01:28:26]
971*2^815274-1 is not prime.  Res64: 6B45313E1F58D62C  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 01:30:04]
841*2^815275-1 is not prime.  Res64: D89F8B8EDAB4D7C5  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 01:30:10]
849*2^815275-1 is not prime.  Res64: FEA1A910A78ED498  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 01:31:28]
859*2^815275-1 is not prime.  Res64: 06E671F6E7AA1470  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 01:31:28]
909*2^815275-1 is not prime.  Res64: 97446250A89A194D  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 01:32:01]
925*2^815275-1 is not prime.  Res64: 9283D3D183EE652F  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 01:32:01]
951*2^815275-1 is not prime.  Res64: 469F5BBAEB7133CA  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 01:34:20]
969*2^815275-1 is not prime.  Res64: 897D8F259F58AB40  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 01:34:20]
843*2^815276-1 is not prime.  Res64: E5C85016DE642C14  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 01:36:49]
945*2^815278-1 is not prime.  Res64: DB4065B785982D8E  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:36:49]
861*2^815279-1 is not prime.  Res64: 7CC736AC2935451F  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 01:42:44]
927*2^815280-1 is not prime.  Res64: 280F11A0F75B43FA  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 01:42:44]
959*2^815280-1 is not prime.  Res64: 24E3B4A16EF04446  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 01:54:01]
825*2^815282-1 is not prime.  Res64: 8710F8986B590E72  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 01:54:01]
887*2^815282-1 is not prime.  Res64: 05ADF0D44AB23534  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 01:54:01]
835*2^815281-1 is not prime.  Res64: 2A8C1655FFF00BEF  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 01:54:01]
981*2^815281-1 is not prime.  Res64: E61D5D8028D15FC3  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 01:55:47]
893*2^815282-1 is not prime.  Res64: F90EF18A153081FA  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 01:55:47]
923*2^815282-1 is not prime.  Res64: 9F3CBB62ADBFE757  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 01:57:30]
825*2^815283-1 is not prime.  Res64: FBF61286C3C36AF9  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 01:57:30]
849*2^815283-1 is not prime.  Res64: 78FD669E8E03B16C  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 01:58:06]
885*2^815283-1 is not prime.  Res64: 637973D1BAB64FA2  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 01:58:06]
963*2^815283-1 is not prime.  Res64: B5C4DC44F313708E  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 02:00:22]
873*2^815284-1 is not prime.  Res64: A79C1691625660D4  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 02:00:22]
897*2^815284-1 is not prime.  Res64: E67E3F3A872DAD05  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 02:02:30]
915*2^815284-1 is not prime.  Res64: 29F8BACFA8B65E43  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 02:02:31]
837*2^815285-1 is not prime.  Res64: 0CA6A5569A600930  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 02:08:52]
859*2^815285-1 is not prime.  Res64: B223BBFDF75795C4  Time : 1567.0 sec.
user=gd_barnes
[2011-03-23 02:08:52]
861*2^815285-1 is not prime.  Res64: 49D1083AA843A832  Time : 1567.0 sec.
user=gd_barnes
[2011-03-23 02:19:37]
893*2^815286-1 is not prime.  Res64: A6E4A433FE57CF53  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 02:19:37]
831*2^815287-1 is not prime.  Res64: 9FA8EE12431B0865  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 02:19:39]
885*2^815285-1 is not prime.  Res64: 326204A1633DAD83  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 02:19:39]
875*2^815286-1 is not prime.  Res64: EED86A283EEAD892  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 02:21:23]
859*2^815287-1 is not prime.  Res64: 8412CC717BB77B9B  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 02:21:23]
939*2^815287-1 is not prime.  Res64: 44D9E734F40144EE  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 02:23:39]
951*2^815287-1 is not prime.  Res64: D00ACBABB79E05F5  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:23:39]
961*2^815287-1 is not prime.  Res64: C0CA2D082D6245D0  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:24:13]
875*2^815288-1 is not prime.  Res64: 4B18E66DF8C09F2A  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 02:24:13]
879*2^815288-1 is not prime.  Res64: 5FE7986ABFFC0982  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 02:26:29]
923*2^815288-1 is not prime.  Res64: 79F7A75AF93BFB43  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 02:26:29]
929*2^815288-1 is not prime.  Res64: C77DA93F16B18E08  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 02:28:06]
977*2^815288-1 is not prime.  Res64: 5A3890FFCAD43836  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 02:28:06]
835*2^815289-1 is not prime.  Res64: 22502691BA80C2CC  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 02:35:01]
877*2^815289-1 is not prime.  Res64: A1C10B07764F8852  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:35:01]
907*2^815289-1 is not prime.  Res64: CDCC227A7EF49148  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:45:15]
921*2^815289-1 is not prime.  Res64: 702981884847C8B2  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 02:45:15]
803*2^815290-1 is not prime.  Res64: E107B10A2B511B14  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 02:45:19]
933*2^815290-1 is not prime.  Res64: F78EBCD95CBD3A67  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 02:45:19]
941*2^815290-1 is not prime.  Res64: 49D4302EDFA6F56E  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 02:47:03]
987*2^815290-1 is not prime.  Res64: 95ECF865984E8DFC  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 02:47:03]
955*2^815291-1 is not prime.  Res64: 57D074CEE234AFE6  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 02:49:45]
991*2^815291-1 is not prime.  Res64: A74365AA0C9DF2E1  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 02:49:45]
893*2^815292-1 is not prime.  Res64: C0BD9D488809A47E  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 02:50:22]
895*2^815293-1 is not prime.  Res64: 1C53B50043316438  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:50:22]
827*2^815294-1 is not prime.  Res64: DFCBBBE684976943  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 02:52:35]
861*2^815294-1 is not prime.  Res64: E6CA2444AC0F2307  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 02:52:35]
903*2^815294-1 is not prime.  Res64: 0D1580699786B18D  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 02:53:46]
965*2^815294-1 is not prime.  Res64: 7486DB3BE19A018F  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 02:53:46]
819*2^815295-1 is not prime.  Res64: 65D6702A551BBA0D  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:01:08]
871*2^815295-1 is not prime.  Res64: 9AB5781C348755D6  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 03:01:08]
885*2^815295-1 is not prime.  Res64: 4AFF567967BD664C  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 03:10:56]
963*2^815295-1 is not prime.  Res64: 702254529346142D  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 03:10:56]
905*2^815296-1 is not prime.  Res64: A48C3AEB1F83B289  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:11:03]
805*2^815297-1 is not prime.  Res64: 67C596EEF4187DBF  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 03:11:03]
867*2^815297-1 is not prime.  Res64: C7358ACA474F24C5  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 03:12:40]
931*2^815297-1 is not prime.  Res64: 4B8C84F18CC0F58D  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 03:12:40]
815*2^815298-1 is not prime.  Res64: 62FCFD050285B6F6  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 03:15:48]
843*2^815298-1 is not prime.  Res64: AA3B9F38AAB92CCD  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 03:15:48]
951*2^815299-1 is not prime.  Res64: D4579DECAABD9B94  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 03:16:24]
973*2^815299-1 is not prime.  Res64: 169015CDBB8E28B8  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 03:16:24]
985*2^815299-1 is not prime.  Res64: B8986EF7CC5FAE99  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 03:18:34]
825*2^815300-1 is not prime.  Res64: 461F8E14D955F87B  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 03:18:34]
843*2^815300-1 is not prime.  Res64: 85C46468BA35C851  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 03:19:26]
885*2^815300-1 is not prime.  Res64: 52108035F0DCB0EF  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:19:26]
921*2^815301-1 is not prime.  Res64: 958C7B669D70C2FB  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:27:12]
815*2^815302-1 is not prime.  Res64: 4F3D008451FA6631  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 03:27:12]
855*2^815302-1 is not prime.  Res64: BA3404C021F577EB  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 03:36:36]
867*2^815302-1 is not prime.  Res64: 13F2F044AFDC7010  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:36:36]
915*2^815302-1 is not prime.  Res64: 76D9B67F1DFFC397  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 03:36:42]
945*2^815302-1 is not prime.  Res64: C4C0798E7E0A8528  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 03:36:42]
975*2^815302-1 is not prime.  Res64: 3687F96CE14B1128  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 03:38:21]
943*2^815303-1 is not prime.  Res64: 8E72B1F19BC773C6  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 03:38:21]
963*2^815303-1 is not prime.  Res64: C0D746BE3D3236DA  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 03:41:54]
873*2^815304-1 is not prime.  Res64: CAD7D113287979EE  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 03:41:54]
945*2^815304-1 is not prime.  Res64: 25E2733D65C2862F  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 03:42:38]
801*2^815305-1 is not prime.  Res64: 23CC28816F1C598E  Time : 1573.0 sec.
user=gd_barnes
[2011-03-23 03:42:38]
805*2^815305-1 is not prime.  Res64: 27AA40CCEB651010  Time : 1573.0 sec.
user=gd_barnes
[2011-03-23 03:44:40]
871*2^815305-1 is not prime.  Res64: 82241225E8B2F42D  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 03:44:40]
951*2^815305-1 is not prime.  Res64: 05FE2529DD5E9773  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 03:45:07]
985*2^815305-1 is not prime.  Res64: 627CB73A485BACF9  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 03:45:07]
851*2^815306-1 is not prime.  Res64: E9BD3D0D566607E3  Time : 1540.0 sec.
user=vaughan
[2011-03-23 03:46:33]
861*2^815273-1 is not prime.  Res64: 8D3794292456111C  Time : 9850.0 sec.
user=gd_barnes
[2011-03-23 03:53:22]
917*2^815306-1 is not prime.  Res64: 84A92AF08A43FC86  Time : 1569.0 sec.
user=gd_barnes
[2011-03-23 03:53:22]
949*2^815307-1 is not prime.  Res64: A65DEEB87860AFCF  Time : 1569.0 sec.
user=gd_barnes
[2011-03-23 04:02:13]
985*2^815307-1 is not prime.  Res64: F55ABFE63CA1FEC4  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:02:13]
833*2^815308-1 is not prime.  Res64: 41B4833A48A2E319  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:02:19]
843*2^815308-1 is not prime.  Res64: CE86DE90B338168A  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:02:19]
869*2^815308-1 is not prime.  Res64: A767D139AAE26188  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:03:58]
887*2^815308-1 is not prime.  Res64: 85292E47DBF8EC0A  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:03:58]
909*2^815308-1 is not prime.  Res64: 40072EA14B510164  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:08:04]
989*2^815308-1 is not prime.  Res64: 761A0F6EFD90D4E0  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 04:08:04]
825*2^815309-1 is not prime.  Res64: A68B697BD45870FD  Time : 1568.0 sec.
user=gd_barnes
[2011-03-23 04:08:41]
861*2^815309-1 is not prime.  Res64: BE14DB23B19010BF  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 04:08:41]
889*2^815309-1 is not prime.  Res64: E4229B077BECD974  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 04:10:43]
939*2^815309-1 is not prime.  Res64: 0AA308868363C3AF  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 04:10:43]
955*2^815309-1 is not prime.  Res64: 2F4A10A66437827F  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 04:10:44]
825*2^815310-1 is not prime.  Res64: CC7F921954E196A0  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:10:44]
921*2^815310-1 is not prime.  Res64: FD09BC238370E8F3  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:19:36]
849*2^815311-1 is not prime.  Res64: C58E9F0C4C942E15  Time : 1573.0 sec.
user=gd_barnes
[2011-03-23 04:19:36]
883*2^815311-1 is not prime.  Res64: 326550F985DA80FC  Time : 1573.0 sec.
user=ototero
[2011-03-23 04:27:46]
857*2^815276-1 is not prime.  Res64: D809CB4AC8D8DCB7  Time : 11899.0 sec.
user=ototero
[2011-03-23 04:27:47]
909*2^815276-1 is not prime.  Res64: EDD863E67C062BE6  Time : 11900.0 sec.
user=ototero
[2011-03-23 04:27:47]
953*2^815276-1 is not prime.  Res64: 2DB9EEFBE3CB9D65  Time : 11899.0 sec.
user=ototero
[2011-03-23 04:27:47]
835*2^815277-1 is not prime.  Res64: 34C3F59E26CE1EA1  Time : 11899.0 sec.
user=ototero
[2011-03-23 04:27:47]
847*2^815277-1 is not prime.  Res64: 17C5D9CC557B12C0  Time : 11899.0 sec.
user=ototero
[2011-03-23 04:27:47]
859*2^815277-1 is not prime.  Res64: EAC8A29440883E9A  Time : 11898.0 sec.
user=ototero
[2011-03-23 04:27:47]
889*2^815277-1 is not prime.  Res64: D814FF45FB417C01  Time : 11898.0 sec.
user=ototero
[2011-03-23 04:27:48]
945*2^815277-1 is not prime.  Res64: DD59F82D105E776F  Time : 11899.0 sec.
user=ototero
[2011-03-23 04:27:48]
999*2^815277-1 is not prime.  Res64: 8D5985CD515032C1  Time : 11898.0 sec.
user=ototero
[2011-03-23 04:27:48]
933*2^815278-1 is not prime.  Res64: FF3D88085ECAD433  Time : 11898.0 sec.
user=gd_barnes
[2011-03-23 04:27:51]
901*2^815311-1 is not prime.  Res64: 451C1C736D8C7AA4  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 04:27:51]
951*2^815311-1 is not prime.  Res64: 1C99C5FA32F8D772  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 04:27:58]
833*2^815312-1 is not prime.  Res64: 1FA8FF3F221CC0B6  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 04:27:58]
875*2^815312-1 is not prime.  Res64: BB92E192E6365762  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 04:29:35]
807*2^815313-1 is not prime.  Res64: ED578301443424A3  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:29:35]
949*2^815313-1 is not prime.  Res64: 1D876C94230BA7B2  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:34:09]
999*2^815313-1 is not prime.  Res64: D3A430EC424BA94E  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 04:34:09]
855*2^815314-1 is not prime.  Res64: 5CE9F6250BA02C2F  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 04:34:46]
885*2^815314-1 is not prime.  Res64: 4207D4E0FE2FD9C0  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 04:34:46]
981*2^815315-1 is not prime.  Res64: 0A6EDE8397F1D022  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 04:36:21]
983*2^815316-1 is not prime.  Res64: 380ADB81B5E40DE2  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:36:21]
817*2^815317-1 is not prime.  Res64: 17F7E8426F986D5F  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:36:49]
845*2^815316-1 is not prime.  Res64: 1DEEFBCE29513C34  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 04:36:49]
947*2^815316-1 is not prime.  Res64: 045B6E2EBDA23637  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 04:45:42]
871*2^815317-1 is not prime.  Res64: 219C6E795D08DCDA  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 04:45:42]
915*2^815317-1 is not prime.  Res64: 63B1F244A5E30E52  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 04:53:30]
819*2^815321-1 is not prime.  Res64: D160F2AC1CE0EBFA  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 04:53:30]
861*2^815321-1 is not prime.  Res64: 5C45C6C139A1B57F  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 04:53:36]
901*2^815321-1 is not prime.  Res64: 2B48824CC43957D3  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 04:53:36]
987*2^815321-1 is not prime.  Res64: 1F62BA8BEAAB5638  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 04:55:12]
921*2^815322-1 is not prime.  Res64: 08D7052555909AF7  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 04:55:12]
977*2^815322-1 is not prime.  Res64: F64627B57EFE00E3  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 05:00:13]
891*2^815323-1 is not prime.  Res64: A84216FF4ECD3FC8  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 05:00:13]
901*2^815323-1 is not prime.  Res64: 0257920D1354D61F  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 05:00:51]
899*2^815324-1 is not prime.  Res64: 52D404EF3EAD59B9  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 05:00:51]
915*2^815324-1 is not prime.  Res64: 9065612231BFF9FC  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 05:01:57]
927*2^815324-1 is not prime.  Res64: 2D1E77EC1D6D98E3  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 05:01:58]
983*2^815324-1 is not prime.  Res64: 6F55831A07BD7CDF  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 05:02:55]
847*2^815325-1 is not prime.  Res64: BC2BCD23BBDAB6CA  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 05:02:55]
949*2^815325-1 is not prime.  Res64: 76DF4BA95455A485  Time : 1565.0 sec.
user=gd_barnes
[2011-03-23 05:11:47]
951*2^815325-1 is not prime.  Res64: A3D4BD95F948C53F  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 05:11:47]
975*2^815325-1 is not prime.  Res64: 4C480FD32EF54957  Time : 1564.0 sec.
user=gd_barnes
[2011-03-23 05:19:06]
979*2^815325-1 is not prime.  Res64: ADA92DF79FA00611  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 05:19:06]
985*2^815325-1 is not prime.  Res64: 00A1675264A7771D  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 05:19:12]
867*2^815326-1 is not prime.  Res64: D2979868CB0F4A0B  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 05:19:12]
945*2^815326-1 is not prime.  Res64: FFFC10C1ACBDDC24  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 05:20:51]
813*2^815327-1 is not prime.  Res64: 4B76870ECE1D28AB  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 05:20:51]
841*2^815327-1 is not prime.  Res64: 007782D40FD208C2  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 05:26:17]
859*2^815327-1 is not prime.  Res64: 0F96F6AD85ACFCCF  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 05:26:17]
861*2^815327-1 is not prime.  Res64: 31E37DBCFBEAE137  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 05:26:59]
885*2^815327-1 is not prime.  Res64: 1B3662809BD4A80D  Time : 1567.0 sec.
user=gd_barnes
[2011-03-23 05:26:59]
981*2^815327-1 is not prime.  Res64: 46399C2A315604C0  Time : 1567.0 sec.
user=gd_barnes
[2011-03-23 05:27:35]
991*2^815327-1 is not prime.  Res64: D0FC43D790E6FBF8  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 05:27:35]
929*2^815328-1 is not prime.  Res64: F52DA594EFDC3227  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 05:28:58]
945*2^815328-1 is not prime.  Res64: D44387CBC624C9C4  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:28:58]
819*2^815329-1 is not prime.  Res64: ADEFF7421A3FCB9C  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:37:50]
847*2^815329-1 is not prime.  Res64: 59BF070B715A907D  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:37:50]
951*2^815329-1 is not prime.  Res64: ECA87224BE9F9281  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:44:44]
955*2^815329-1 is not prime.  Res64: C4CD0D5940FBA09C  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 05:44:44]
927*2^815330-1 is not prime.  Res64: 036316BED79A565A  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 05:44:51]
801*2^815331-1 is not prime.  Res64: 448D7F3B0FF084AB  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 05:44:51]
835*2^815331-1 is not prime.  Res64: 358E08A92155E2B2  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 05:46:29]
871*2^815331-1 is not prime.  Res64: D04741C381BA5E1E  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 05:46:29]
803*2^815332-1 is not prime.  Res64: 60903B181E24F3AC  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 05:52:29]
833*2^815332-1 is not prime.  Res64: AAAD4226167C8B8F  Time : 1571.0 sec.
user=gd_barnes
[2011-03-23 05:52:29]
923*2^815332-1 is not prime.  Res64: 70172F7EF0C52A53  Time : 1571.0 sec.
user=gd_barnes
[2011-03-23 05:53:02]
829*2^815333-1 is not prime.  Res64: 579CE47400276AF6  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:53:02]
859*2^815333-1 is not prime.  Res64: A5FC73E9E5ED9D1B  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 05:53:09]
861*2^815333-1 is not prime.  Res64: 85C35FD361C8EAAB  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 05:53:09]
901*2^815333-1 is not prime.  Res64: 96820F441BAB77FD  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 05:54:59]
903*2^815334-1 is not prime.  Res64: 1E529A5BFF23F554  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 05:54:59]
951*2^815334-1 is not prime.  Res64: 6BA575153AB2F361  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 06:03:54]
849*2^815335-1 is not prime.  Res64: 0AACF163E4D43A7F  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 06:03:54]
925*2^815335-1 is not prime.  Res64: A376E7B53ABBA271  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 06:10:17]
985*2^815335-1 is not prime.  Res64: 79AAC650469092D1  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 06:10:17]
825*2^815336-1 is not prime.  Res64: 75208A90064D1ACE  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 06:10:23]
903*2^815336-1 is not prime.  Res64: 3B6F7F6F1CC12A32  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 06:10:23]
957*2^815336-1 is not prime.  Res64: F9D9FCABE3D7C3B0  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 06:12:04]
805*2^815337-1 is not prime.  Res64: ADA2F2E2D79D7BA8  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:12:04]
807*2^815337-1 is not prime.  Res64: DE6911328D6A3B3A  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:18:29]
803*2^815338-1 is not prime.  Res64: 7624AA30FE604049  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 06:18:30]
827*2^815338-1 is not prime.  Res64: 0943B62982F0B937  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 06:18:42]
879*2^815339-1 is not prime.  Res64: 039631411A5471D4  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 06:18:42]
839*2^815340-1 is not prime.  Res64: B71C6DD291F70ACF  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 06:19:04]
945*2^815338-1 is not prime.  Res64: 5A1903201452A6CC  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:19:04]
811*2^815339-1 is not prime.  Res64: 31044C9E8BFB6878  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:21:01]
863*2^815340-1 is not prime.  Res64: 42A675A51F1CC5A7  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:21:01]
873*2^815340-1 is not prime.  Res64: 1D7CAF0EBC2FFA61  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:29:53]
909*2^815340-1 is not prime.  Res64: 412843498EF6B44F  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 06:29:53]
855*2^815341-1 is not prime.  Res64: A028FD6E4499490D  Time : 1558.0 sec.
user=vaughan
[2011-03-23 06:31:04]
831*2^814285-1 is not prime.  Res64: A4462E9242B7B0D4  Time : 168061.0 sec.
user=vaughan
[2011-03-23 06:31:23]
927*2^815310-1 is not prime.  Res64: A264E66FBA2A9B39  Time : 9891.0 sec.
user=vaughan
[2011-03-23 06:33:21]
849*2^814285-1 is not prime.  Res64: EF159066B8C5FF4C  Time : 168133.0 sec.
user=gd_barnes
[2011-03-23 06:35:52]
861*2^815341-1 is not prime.  Res64: 19BDE8CBE3915CFC  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:35:52]
915*2^815342-1 is not prime.  Res64: 3ED8D28DE4F033E7  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:35:59]
977*2^815342-1 is not prime.  Res64: B4534AF393B4CE0F  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 06:35:59]
987*2^815342-1 is not prime.  Res64: 27CA2EE6F7BC930A  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 06:37:40]
875*2^815344-1 is not prime.  Res64: 017B4D796ECD970E  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 06:37:40]
915*2^815344-1 is not prime.  Res64: 659922D7ADEB76D3  Time : 1535.0 sec.
user=vaughan
[2011-03-23 06:40:58]
851*2^814286-1 is not prime.  Res64: 3BEFC81FDC81A773  Time : 168346.0 sec.
user=gd_barnes
[2011-03-23 06:44:17]
865*2^815345-1 is not prime.  Res64: 9EBFC04F83C92356  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:44:17]
909*2^815345-1 is not prime.  Res64: 9D9F6A7BE985B982  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 06:44:32]
947*2^815344-1 is not prime.  Res64: 9290F3CC0CF01335  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:44:32]
847*2^815345-1 is not prime.  Res64: 425932F72B9D9832  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:45:06]
937*2^815345-1 is not prime.  Res64: F4566DE8952377E0  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:45:06]
867*2^815346-1 is not prime.  Res64: FE829B5AB15FB7BC  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 06:47:02]
891*2^815346-1 is not prime.  Res64: 510CD0B8CCCF4301  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 06:47:02]
801*2^815347-1 is not prime.  Res64: C8AFECED215BCC47  Time : 1560.0 sec.
user=vaughan
[2011-03-23 06:50:14]
867*2^814286-1 is not prime.  Res64: 49786121C99DEB39  Time : 168783.0 sec.
user=vaughan
[2011-03-23 06:54:31]
939*2^815347-1 is not prime.  Res64: 457BA92C08E6EB2A  Time : 1731.0 sec.
user=gd_barnes
[2011-03-23 06:55:57]
915*2^815348-1 is not prime.  Res64: 0C1BFD431ED784E9  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 06:55:57]
963*2^815348-1 is not prime.  Res64: 51E6BF2FB6494A7C  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 07:01:26]
845*2^815350-1 is not prime.  Res64: 2F4B6FF019B18F36  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 07:01:26]
855*2^815350-1 is not prime.  Res64: C8FBE845A98645D0  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 07:01:38]
873*2^815350-1 is not prime.  Res64: AE52EE5F875DA04D  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 07:01:38]
915*2^815350-1 is not prime.  Res64: B9ACA1B876642173  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 07:03:16]
917*2^815350-1 is not prime.  Res64: A601172123D2CFC2  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 07:03:16]
965*2^815350-1 is not prime.  Res64: 0B1DDB2F0AB9A743  Time : 1535.0 sec.
user=vaughan
[2011-03-23 07:05:49]
843*2^815348-1 is not prime.  Res64: 6FC3BA26E78F304B  Time : 2409.0 sec.
user=vaughan
[2011-03-23 07:08:52]
811*2^815351-1 is not prime.  Res64: 30F68C8CE23598C6  Time : 1675.0 sec.
user=gd_barnes
[2011-03-23 07:09:53]
843*2^815351-1 is not prime.  Res64: 4597391AE44BB7A9  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 07:09:53]
859*2^815351-1 is not prime.  Res64: D1947C18DBB08DCD  Time : 1535.0 sec.
user=vaughan
[2011-03-23 07:10:19]
877*2^815349-1 is not prime.  Res64: D928F2E19E0EAD13  Time : 2355.0 sec.
user=gd_barnes
[2011-03-23 07:10:31]
909*2^815351-1 is not prime.  Res64: 798279BF1EFC4E13  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 07:10:31]
843*2^815352-1 is not prime.  Res64: 7913F205EC683A26  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 07:11:08]
863*2^815352-1 is not prime.  Res64: FC54B6981920757C  Time : 1561.0 sec.
user=gd_barnes
[2011-03-23 07:11:08]
983*2^815352-1 is not prime.  Res64: 37AF4B80D25B1526  Time : 1561.0 sec.
user=vaughan
[2011-03-23 07:12:44]
991*2^815349-1 is not prime.  Res64: 2899F69E7BD27C86  Time : 2363.0 sec.
user=gd_barnes
[2011-03-23 07:13:06]
985*2^815353-1 is not prime.  Res64: 2C795F538F96EE6A  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 07:13:06]
987*2^815353-1 is not prime.  Res64: 494A92DD6A8B8FBD  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 07:21:58]
857*2^815354-1 is not prime.  Res64: 227D82D9B5F69F1B  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 07:21:58]
885*2^815354-1 is not prime.  Res64: 11AABBB427AC2ACF  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 07:26:58]
945*2^815354-1 is not prime.  Res64: B6532BD049335514  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 07:26:58]
825*2^815355-1 is not prime.  Res64: 852F254090697F1B  Time : 1531.0 sec.
user=vaughan
[2011-03-23 07:27:02]
837*2^815354-1 is not prime.  Res64: 959534AAE25A1CF2  Time : 2208.0 sec.
user=gd_barnes
[2011-03-23 07:27:11]
853*2^815355-1 is not prime.  Res64: 9B2614AB156B014A  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 07:27:11]
895*2^815355-1 is not prime.  Res64: AE8C92E3563BFF84  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 07:28:51]
913*2^815355-1 is not prime.  Res64: 31C0AE98E59D2CAB  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 07:28:51]
973*2^815355-1 is not prime.  Res64: 40F887FE75F472F9  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 07:35:26]
897*2^815356-1 is not prime.  Res64: 2419F84245D9212D  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 07:35:26]
965*2^815356-1 is not prime.  Res64: 78BC1039DF961C5D  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 07:36:29]
915*2^815357-1 is not prime.  Res64: 73D4FDCA43E47290  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 07:36:29]
985*2^815357-1 is not prime.  Res64: AD8B679AC5404CA6  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 07:37:03]
825*2^815358-1 is not prime.  Res64: 4B5A10CC8A630C0E  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 07:37:03]
887*2^815358-1 is not prime.  Res64: 8407BC822455029E  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 07:39:04]
941*2^815358-1 is not prime.  Res64: 442C0D820CD0B6F2  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 07:39:04]
829*2^815359-1 is not prime.  Res64: 7FCD235A2376D509  Time : 1557.0 sec.
user=vaughan
[2011-03-23 07:43:31]
895*2^815359-1 is not prime.  Res64: B1BE63F5E9FB9E77  Time : 1182.0 sec.
user=vaughan
[2011-03-23 07:44:08]
999*2^815355-1 is not prime.  Res64: F6EF55BF88721582  Time : 2116.0 sec.
user=ototero
[2011-03-23 07:46:11]
919*2^815317-1 is not prime.  Res64: 46AD8E6A5528A188  Time : 11903.0 sec.
user=ototero
[2011-03-23 07:46:11]
945*2^815317-1 is not prime.  Res64: E91CB9E15ADA7F89  Time : 11902.0 sec.
user=ototero
[2011-03-23 07:46:11]
825*2^815319-1 is not prime.  Res64: 4309260025083B7C  Time : 11902.0 sec.
user=ototero
[2011-03-23 07:46:11]
865*2^815319-1 is not prime.  Res64: AF094CDBFDB873EA  Time : 11902.0 sec.
user=ototero
[2011-03-23 07:46:11]
933*2^815319-1 is not prime.  Res64: 9617519D64DC51B0  Time : 11901.0 sec.
user=ototero
[2011-03-23 07:46:12]
979*2^815319-1 is not prime.  Res64: 1F41A79749CB3395  Time : 11902.0 sec.
user=ototero
[2011-03-23 07:46:12]
855*2^815320-1 is not prime.  Res64: D23E7BDA62228D9F  Time : 11902.0 sec.
user=ototero
[2011-03-23 07:46:12]
873*2^815320-1 is not prime.  Res64: CB05D42283D64A12  Time : 11901.0 sec.
user=ototero
[2011-03-23 07:46:12]
915*2^815320-1 is not prime.  Res64: DC000601F0A168DF  Time : 11901.0 sec.
user=ototero
[2011-03-23 07:46:12]
933*2^815320-1 is not prime.  Res64: 72B3BC2DF18FC69C  Time : 11901.0 sec.
user=gd_barnes
[2011-03-23 07:47:50]
841*2^815359-1 is not prime.  Res64: 7F252EEBFA2D83FB  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 07:47:50]
889*2^815359-1 is not prime.  Res64: 71B945EF04C77A2A  Time : 1551.0 sec.
user=vaughan
[2011-03-23 07:52:24]
927*2^815360-1 is not prime.  Res64: A7FEC33C3A001B5E  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 07:52:24]
973*2^815359-1 is not prime.  Res64: 5C823BD0016CD006  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 07:52:24]
825*2^815360-1 is not prime.  Res64: 9CC5994BF2FBF198  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 07:52:41]
977*2^815360-1 is not prime.  Res64: BE4557295B91469F  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 07:52:41]
805*2^815361-1 is not prime.  Res64: 33E29B421F4E45BD  Time : 1529.0 sec.
user=vaughan
[2011-03-23 07:53:14]
987*2^815356-1 is not prime.  Res64: C9B1BCB0615C12CD  Time : 2575.0 sec.
user=vaughan
[2011-03-23 07:54:19]
891*2^815358-1 is not prime.  Res64: 6E900D0152E54833  Time : 2495.0 sec.
user=gd_barnes
[2011-03-23 07:54:20]
819*2^815361-1 is not prime.  Res64: CE22998E50FD01E4  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 07:54:20]
871*2^815361-1 is not prime.  Res64: F5D193CC71C3B86E  Time : 1528.0 sec.
user=vaughan
[2011-03-23 07:56:28]
951*2^815359-1 is not prime.  Res64: 8A2D2824CE6EAE76  Time : 1959.0 sec.
user=gd_barnes
[2011-03-23 08:00:51]
877*2^815361-1 is not prime.  Res64: F098560BF2EBDBDE  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 08:00:51]
969*2^815361-1 is not prime.  Res64: 1A934ED924DA5F7A  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 08:02:26]
975*2^815361-1 is not prime.  Res64: 4E7340BA97DB3F67  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 08:02:26]
825*2^815362-1 is not prime.  Res64: B38DE6294B1E605C  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 08:02:57]
827*2^815362-1 is not prime.  Res64: FF500C8CEC53BFB0  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:02:57]
833*2^815362-1 is not prime.  Res64: B4235EE369A40534  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:05:02]
915*2^815362-1 is not prime.  Res64: 580697794B1F0D78  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:05:02]
1001*2^815362-1 is not prime.  Res64: 8A94DA2AB1F9D9E0  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:13:46]
849*2^815365-1 is not prime.  Res64: 960975B2A32CF57D  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 08:13:46]
859*2^815365-1 is not prime.  Res64: 24AA88B538B68D67  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 08:17:52]
925*2^815365-1 is not prime.  Res64: FA5F06DD3F384793  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 08:17:52]
801*2^815366-1 is not prime.  Res64: EBB9CAC0C0DADEFA  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 08:18:09]
873*2^815366-1 is not prime.  Res64: 3582CE5376159743  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 08:18:09]
893*2^815366-1 is not prime.  Res64: 049E5B038E111319  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 08:19:47]
919*2^815367-1 is not prime.  Res64: 199BF6FB613F5D51  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 08:19:47]
813*2^815368-1 is not prime.  Res64: 5B6773BAA2CAB12D  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 08:26:22]
827*2^815368-1 is not prime.  Res64: 48CFC7643353A1ED  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 08:26:22]
829*2^815369-1 is not prime.  Res64: 121FC7F328FC7BE1  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 08:28:24]
889*2^815369-1 is not prime.  Res64: BEB5340CD9342E59  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:28:24]
939*2^815369-1 is not prime.  Res64: 6C2340A323BAF860  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:28:55]
805*2^815371-1 is not prime.  Res64: CF8CE66988C9ACDD  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:28:55]
835*2^815371-1 is not prime.  Res64: 19280349732EB269  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 08:30:56]
931*2^815371-1 is not prime.  Res64: 85217AAF8B00F3C2  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:30:56]
975*2^815371-1 is not prime.  Res64: EC6F4AE5F65219CA  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:39:45]
827*2^815372-1 is not prime.  Res64: 9D4A0D760B4F7BA8  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 08:39:45]
885*2^815372-1 is not prime.  Res64: DB6DFDE7DF516183  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 08:43:25]
829*2^815373-1 is not prime.  Res64: E69EE990513ED090  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 08:43:25]
919*2^815373-1 is not prime.  Res64: 8595036B0C5FC948  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 08:43:42]
921*2^815373-1 is not prime.  Res64: 9CF66C9CBF021CBE  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 08:43:42]
927*2^815373-1 is not prime.  Res64: 60F29CB7D8C00A9A  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 08:45:22]
961*2^815373-1 is not prime.  Res64: B9C89CAE6F773C33  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 08:45:22]
985*2^815373-1 is not prime.  Res64: 6822A1563E5AD3C9  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 08:51:49]
813*2^815374-1 is not prime.  Res64: 6F1A203208C15A1F  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 08:51:49]
815*2^815374-1 is not prime.  Res64: 27BBEE9024F24935  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 08:54:19]
827*2^815374-1 is not prime.  Res64: BE1D5EFFB15C7D15  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:54:19]
971*2^815374-1 is not prime.  Res64: CCFA75ADD88FF12E  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 08:54:50]
987*2^815374-1 is not prime.  Res64: 701D091AFDA7BCD2  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 08:54:50]
865*2^815375-1 is not prime.  Res64: 3C30E6B0BE244DA4  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 08:56:56]
915*2^815375-1 is not prime.  Res64: 6A0166545CFB13F1  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 08:56:56]
875*2^815376-1 is not prime.  Res64: F464320EA1F34999  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 09:05:48]
893*2^815376-1 is not prime.  Res64: 87084CE8F4D59D99  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 09:05:48]
927*2^815376-1 is not prime.  Res64: D36C1298EC5C4D67  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 09:08:53]
909*2^815377-1 is not prime.  Res64: D0386721E3AA7F5C  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 09:08:53]
955*2^815377-1 is not prime.  Res64: 533699F32F3E4662  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 09:09:08]
815*2^815378-1 is not prime.  Res64: 129298D3902E7AA5  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 09:09:08]
893*2^815378-1 is not prime.  Res64: 7F989F648FEA763C  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 09:10:57]
977*2^815378-1 is not prime.  Res64: BC06D3EA2DD8765E  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 09:10:57]
1001*2^815378-1 is not prime.  Res64: 7815051D38B6C39D  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 09:17:26]
829*2^815379-1 is not prime.  Res64: 22FA8B8AC72CC933  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 09:17:26]
909*2^815379-1 is not prime.  Res64: BE1A8ECE996F0BB8  Time : 1536.0 sec.
user=vaughan
[2011-03-23 09:19:09]
951*2^815349-1 is not prime.  Res64: EE62742C656BC357  Time : 10067.0 sec.
user=gd_barnes
[2011-03-23 09:20:30]
949*2^815379-1 is not prime.  Res64: 975569E1ADAB8C25  Time : 1570.0 sec.
user=gd_barnes
[2011-03-23 09:20:30]
827*2^815380-1 is not prime.  Res64: 2CF832D9AE908A59  Time : 1570.0 sec.
user=gd_barnes
[2011-03-23 09:20:53]
857*2^815380-1 is not prime.  Res64: 7C3AB74076F053D7  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 09:20:53]
887*2^815380-1 is not prime.  Res64: C916C5A3D47D356B  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 09:23:09]
939*2^815380-1 is not prime.  Res64: 946BE422303DAEDF  Time : 1572.0 sec.
user=gd_barnes
[2011-03-23 09:23:09]
829*2^815381-1 is not prime.  Res64: 27659C9CC724DA7F  Time : 1572.0 sec.
user=gd_barnes
[2011-03-23 09:31:52]
947*2^815382-1 is not prime.  Res64: 5E3D67DB14A80E06  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 09:31:52]
965*2^815382-1 is not prime.  Res64: CC19D3CCEAB6999C  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 09:34:30]
831*2^815383-1 is not prime.  Res64: 992B659194514BFF  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 09:34:30]
919*2^815383-1 is not prime.  Res64: 5D5122971C080370  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 09:34:46]
993*2^815383-1 is not prime.  Res64: 0CF511531FBF5AAC  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 09:34:46]
929*2^815384-1 is not prime.  Res64: 2B77497B2C1908A9  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 09:36:29]
935*2^815384-1 is not prime.  Res64: D4CE3B30DE9B7786  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 09:36:29]
959*2^815384-1 is not prime.  Res64: 462DF7CBCEC70D30  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 09:43:02]
995*2^815384-1 is not prime.  Res64: 6FF0CC4B5102B85A  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 09:43:02]
979*2^815385-1 is not prime.  Res64: 18B87530D32BAAE8  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 09:46:30]
873*2^815386-1 is not prime.  Res64: 05785420E83772FD  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 09:46:30]
947*2^815386-1 is not prime.  Res64: 87E2855FB8301BB8  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 09:46:52]
983*2^815386-1 is not prime.  Res64: 0CFD9984EDAFD516  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 09:46:52]
859*2^815387-1 is not prime.  Res64: 6EC140F94813D041  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 09:49:13]
883*2^815387-1 is not prime.  Res64: ABC2E5FD885725D5  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 09:49:13]
949*2^815387-1 is not prime.  Res64: AE3061374DAF0226  Time : 1563.0 sec.
user=gd_barnes
[2011-03-23 09:57:50]
973*2^815387-1 is not prime.  Res64: 52BA87841CDD0F45  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 09:57:50]
993*2^815387-1 is not prime.  Res64: BCEA7EE24301CAEB  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 10:00:00]
845*2^815388-1 is not prime.  Res64: 7592E043D2902B56  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:00:00]
945*2^815388-1 is not prime.  Res64: 9561F63F904EBC92  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:00:19]
977*2^815388-1 is not prime.  Res64: F6209E9C1FFD5C84  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:00:19]
885*2^815390-1 is not prime.  Res64: 94D434A7C2EB6260  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:02:03]
981*2^815390-1 is not prime.  Res64: 154284F96318A87A  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:02:03]
901*2^815391-1 is not prime.  Res64: 06FA4AD68814EB9E  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:08:32]
931*2^815391-1 is not prime.  Res64: C74D8C720A7EF0E6  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:08:32]
899*2^815392-1 is not prime.  Res64: B5FA34D8C3587C30  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:12:29]
933*2^815392-1 is not prime.  Res64: 59953D667F1DE17C  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 10:12:29]
811*2^815393-1 is not prime.  Res64: 03F03111D3A05E09  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 10:12:51]
819*2^815393-1 is not prime.  Res64: A57A4F7BB15E2440  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 10:12:51]
837*2^815393-1 is not prime.  Res64: 57CCC44EE7AC82E6  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 10:15:13]
885*2^815393-1 is not prime.  Res64: 76F34D02FDAC6227  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:15:13]
889*2^815393-1 is not prime.  Res64: FB4459ED8854BDA3  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:23:46]
921*2^815394-1 is not prime.  Res64: A3560E514C11B26A  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 10:23:46]
1001*2^815394-1 is not prime.  Res64: C0525EE7975F1EC7  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 10:25:31]
915*2^815395-1 is not prime.  Res64: ED6492082D68EECF  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 10:25:31]
973*2^815395-1 is not prime.  Res64: F815CB3EEA1EF35B  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 10:25:49]
825*2^815396-1 is not prime.  Res64: A4215585BD4223BF  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:25:49]
873*2^815396-1 is not prime.  Res64: 594532E12C071C1C  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:27:36]
817*2^815397-1 is not prime.  Res64: 5F96B04657D71145  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:27:36]
861*2^815397-1 is not prime.  Res64: 8193237C16BA99F8  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:34:05]
991*2^815397-1 is not prime.  Res64: 6D8C6D9D751E724E  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:34:05]
843*2^815398-1 is not prime.  Res64: 652E52B6670716F6  Time : 1532.0 sec.
user=gd_barnes
[2011-03-23 10:38:29]
857*2^815398-1 is not prime.  Res64: 3ECF328717D16DBC  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:38:29]
881*2^815398-1 is not prime.  Res64: D467ACCE10A8D11C  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:38:47]
987*2^815398-1 is not prime.  Res64: 25AD3A83877FD119  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 10:38:47]
993*2^815398-1 is not prime.  Res64: 7E51AC3B2DFAF79B  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 10:41:20]
913*2^815399-1 is not prime.  Res64: 9623B5BC47AC493E  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 10:41:20]
899*2^815400-1 is not prime.  Res64: 7D99654EE4F4BE71  Time : 1566.0 sec.
user=gd_barnes
[2011-03-23 10:49:46]
927*2^815400-1 is not prime.  Res64: 4E731A768850BC30  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:49:46]
959*2^815400-1 is not prime.  Res64: EDC478D3EB3B446A  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 10:51:02]
867*2^815401-1 is not prime.  Res64: D02E34BE212EAC97  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 10:51:02]
975*2^815401-1 is not prime.  Res64: 1A1283ABAC8B6BFA  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 10:51:18]
885*2^815402-1 is not prime.  Res64: 117E41074D034E06  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 10:51:18]
887*2^815402-1 is not prime.  Res64: 52FD4460CA6259C5  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 10:53:08]
1001*2^815402-1 is not prime.  Res64: EBAB045522DA5556  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 10:53:08]
805*2^815403-1 is not prime.  Res64: 035592D902D925CA  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 10:59:35]
859*2^815403-1 is not prime.  Res64: E713FB7F926E0D67  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 10:59:35]
869*2^815404-1 is not prime.  Res64: 65646B1D1CF73FEB  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 11:04:28]
875*2^815404-1 is not prime.  Res64: 7726C301B6679D19  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:04:28]
905*2^815404-1 is not prime.  Res64: AAFA8D52BA8D419F  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:04:39]
811*2^815405-1 is not prime.  Res64: 778244DA2ED676CA  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 11:04:39]
861*2^815405-1 is not prime.  Res64: BCD5FAB6CFD48285  Time : 1551.0 sec.
user=ototero
[2011-03-23 11:04:39]
859*2^815363-1 is not prime.  Res64: 3802D688864CDB11  Time : 11906.0 sec.
user=ototero
[2011-03-23 11:04:39]
871*2^815363-1 is not prime.  Res64: 8CC3BB75E984216E  Time : 11906.0 sec.
user=ototero
[2011-03-23 11:04:39]
889*2^815363-1 is not prime.  Res64: 64D0AD9C4DEF8F5E  Time : 11906.0 sec.
user=ototero
[2011-03-23 11:04:39]
915*2^815363-1 is not prime.  Res64: 3E0C42DA5E41720E  Time : 11905.0 sec.
user=ototero
[2011-03-23 11:04:40]
949*2^815363-1 is not prime.  Res64: D868E5E22535F164  Time : 11906.0 sec.
user=ototero
[2011-03-23 11:04:40]
955*2^815363-1 is not prime.  Res64: 014751C9C2331695  Time : 11906.0 sec.
user=ototero
[2011-03-23 11:04:40]
969*2^815363-1 is not prime.  Res64: C8F0EC64C31D188E  Time : 11905.0 sec.
user=ototero
[2011-03-23 11:04:40]
993*2^815363-1 is not prime.  Res64: 453679F0DC3AE79E  Time : 11905.0 sec.
user=ototero
[2011-03-23 11:04:40]
843*2^815364-1 is not prime.  Res64: BA0FD0DD38A12AD6  Time : 11905.0 sec.
user=ototero
[2011-03-23 11:04:40]
825*2^815365-1 is not prime.  Res64: AC763C284687ADB3  Time : 11904.0 sec.
user=gd_barnes
[2011-03-23 11:07:15]
907*2^815405-1 is not prime.  Res64: DFC78A43E465BB7B  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 11:07:15]
981*2^815405-1 is not prime.  Res64: 3B7D557E41AA1220  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 11:15:45]
815*2^815406-1 is not prime.  Res64: EA28F061BAB63D32  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:15:45]
861*2^815406-1 is not prime.  Res64: 306EA441175A9547  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:16:31]
887*2^815406-1 is not prime.  Res64: FDCE844E3DCE01AE  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:16:31]
963*2^815406-1 is not prime.  Res64: 3DC280C7C24F67F6  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:16:46]
841*2^815407-1 is not prime.  Res64: 311B3C9B211A9B5E  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 11:16:46]
973*2^815407-1 is not prime.  Res64: 3B9901F8BE02F743  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 11:18:37]
819*2^815408-1 is not prime.  Res64: 9059B5499E555794  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:18:37]
827*2^815408-1 is not prime.  Res64: 5666B37806427BB9  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:25:04]
995*2^815408-1 is not prime.  Res64: C953BAE742378903  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:25:04]
865*2^815409-1 is not prime.  Res64: 4D50C5B9DEAC4274  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 11:30:31]
921*2^815409-1 is not prime.  Res64: 666A41308F6EF473  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 11:30:31]
801*2^815410-1 is not prime.  Res64: 193768EB574E8847  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 11:30:40]
885*2^815410-1 is not prime.  Res64: F01244F06F5210B7  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 11:30:40]
1001*2^815410-1 is not prime.  Res64: 182E6D65E13E3EBC  Time : 1560.0 sec.
user=gd_barnes
[2011-03-23 11:33:14]
979*2^815413-1 is not prime.  Res64: DC88C9D1562F610F  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:33:14]
815*2^815414-1 is not prime.  Res64: 650E6EEF3BEE4A24  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 11:41:41]
873*2^815414-1 is not prime.  Res64: 5DD7E905C0E7B3A2  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 11:41:41]
923*2^815414-1 is not prime.  Res64: 77F431E2C700F98F  Time : 1555.0 sec.
user=gd_barnes
[2011-03-23 11:41:56]
953*2^815414-1 is not prime.  Res64: 2382A776052BA189  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 11:41:56]
829*2^815415-1 is not prime.  Res64: 9BC614CE3ABA8D44  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 11:42:14]
979*2^815415-1 is not prime.  Res64: EB0791641FB130A5  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 11:42:14]
833*2^815416-1 is not prime.  Res64: 6FF5976C2D9117EE  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 11:44:07]
869*2^815416-1 is not prime.  Res64: 49EE6AC5DA134172  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 11:44:07]
887*2^815416-1 is not prime.  Res64: 90F89390D7CEF06E  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 11:50:35]
909*2^815416-1 is not prime.  Res64: D3E6DF3CB882E59F  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 11:50:35]
923*2^815416-1 is not prime.  Res64: B5452535D6E466DB  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 11:56:31]
969*2^815416-1 is not prime.  Res64: 6293E4A0DFDA0A6D  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 11:56:31]
829*2^815417-1 is not prime.  Res64: 683C9AFD28F5789E  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 11:56:40]
837*2^815417-1 is not prime.  Res64: 8A3145623E5F8612  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 11:56:40]
825*2^815418-1 is not prime.  Res64: 1D3DDB7503AAAB6F  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 11:59:11]
867*2^815418-1 is not prime.  Res64: FF9D639490A5BFDF  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 11:59:11]
923*2^815418-1 is not prime.  Res64: F82335CE5C692387  Time : 1556.0 sec.
user=vaughan
[2011-03-23 12:03:14]
857*2^815386-1 is not prime.  Res64: E8ED2A4266D121FB  Time : 9845.0 sec.
user=gd_barnes
[2011-03-23 12:07:30]
827*2^815420-1 is not prime.  Res64: 608F71363C8794E1  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 12:07:30]
855*2^815420-1 is not prime.  Res64: DD4C9051EBF74E21  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 12:07:41]
941*2^815418-1 is not prime.  Res64: 588E91D19474C68C  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 12:07:41]
883*2^815419-1 is not prime.  Res64: EE4E55450DA3B418  Time : 1559.0 sec.
user=gd_barnes
[2011-03-23 12:07:45]
987*2^815420-1 is not prime.  Res64: 0B3C45646C0CBAA1  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 12:07:45]
999*2^815420-1 is not prime.  Res64: 2A59E67E145B0B22  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 12:09:32]
857*2^815422-1 is not prime.  Res64: 3BFF2609B4DA5902  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 12:09:32]
867*2^815422-1 is not prime.  Res64: 015D2ADA31373C1B  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 12:16:05]
1001*2^815422-1 is not prime.  Res64: 9C00C741412DFC6B  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 12:16:05]
823*2^815423-1 is not prime.  Res64: A61B9625AB76C069  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 12:22:26]
861*2^815423-1 is not prime.  Res64: 23986B120A339FA7  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:22:26]
815*2^815424-1 is not prime.  Res64: AE2B200C61A5BB9A  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:22:43]
857*2^815424-1 is not prime.  Res64: 61CBCDF7542CD1DA  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 12:22:43]
875*2^815424-1 is not prime.  Res64: E0A63F43DDA5C103  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 12:25:09]
927*2^815424-1 is not prime.  Res64: C19AF79D42D7234C  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 12:25:09]
983*2^815424-1 is not prime.  Res64: 29DF680981B4D179  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 12:33:02]
837*2^815426-1 is not prime.  Res64: 9AE084DA6F5A7662  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 12:33:02]
963*2^815426-1 is not prime.  Res64: 4852E9247F459F8B  Time : 1531.0 sec.
user=gd_barnes
[2011-03-23 12:33:14]
885*2^815427-1 is not prime.  Res64: 3FD79807D9A20216  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:33:14]
901*2^815427-1 is not prime.  Res64: F36A60FCE0CC5B2D  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:33:39]
981*2^815426-1 is not prime.  Res64: B0772BFA21C33B62  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 12:33:39]
801*2^815427-1 is not prime.  Res64: E25DCDEF94A6A79F  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 12:35:06]
829*2^815429-1 is not prime.  Res64: F87717831F5CBFF0  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 12:35:06]
847*2^815429-1 is not prime.  Res64: AC50894D4A614781  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 12:41:33]
867*2^815429-1 is not prime.  Res64: 1090911562C35420  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 12:41:33]
927*2^815429-1 is not prime.  Res64: 8EE962340B23A8C6  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 12:48:21]
985*2^815429-1 is not prime.  Res64: 4E7031160E3D44C9  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:48:21]
801*2^815430-1 is not prime.  Res64: E43AA5024218E895  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:48:38]
863*2^815430-1 is not prime.  Res64: 31AAC2D633725185  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:48:38]
873*2^815430-1 is not prime.  Res64: 8CA7BB055802C749  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 12:51:12]
885*2^815431-1 is not prime.  Res64: C0E4256B568A6914  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 12:51:12]
939*2^815431-1 is not prime.  Res64: DFD816B00394E735  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 12:58:31]
951*2^815431-1 is not prime.  Res64: 10305A974ABACBC2  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:58:31]
873*2^815432-1 is not prime.  Res64: BDB9F358EF53EFEB  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:58:43]
899*2^815432-1 is not prime.  Res64: E357E4B6B0193711  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:58:43]
917*2^815432-1 is not prime.  Res64: 13BE28AF180AD8F2  Time : 1528.0 sec.
user=gd_barnes
[2011-03-23 12:59:36]
945*2^815432-1 is not prime.  Res64: 181AAE2148787F00  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 12:59:36]
807*2^815433-1 is not prime.  Res64: 90208138A0DF756B  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 13:00:34]
921*2^815433-1 is not prime.  Res64: A7644557910C32A6  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 13:00:34]
945*2^815433-1 is not prime.  Res64: C4F2BE6F93C47805  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 13:06:59]
979*2^815433-1 is not prime.  Res64: EF46A24C7CBD538A  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:06:59]
999*2^815433-1 is not prime.  Res64: C794BB4A7EE10950  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:14:14]
803*2^815434-1 is not prime.  Res64: 5FDD0701DB379DAD  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 13:14:14]
983*2^815434-1 is not prime.  Res64: A4AFCA5E59F1DF44  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 13:14:37]
861*2^815435-1 is not prime.  Res64: 5A772D910B8B597B  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 13:14:37]
981*2^815435-1 is not prime.  Res64: 2EFD4BE9C4160A45  Time : 1558.0 sec.
user=gd_barnes
[2011-03-23 13:17:06]
991*2^815435-1 is not prime.  Res64: 24DC7D4B96D58EA1  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:17:06]
839*2^815436-1 is not prime.  Res64: EB569CC65BB1BF98  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:24:01]
857*2^815436-1 is not prime.  Res64: 33AA225AC59E5153  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 13:24:01]
819*2^815437-1 is not prime.  Res64: 5D2BA5904D381DDA  Time : 1529.0 sec.
user=gd_barnes
[2011-03-23 13:24:09]
901*2^815437-1 is not prime.  Res64: 117E9CA9DF815F02  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:24:09]
997*2^815437-1 is not prime.  Res64: 4808D3D7675D3AB3  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:25:28]
831*2^815438-1 is not prime.  Res64: 19E755343380D69C  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 13:25:28]
875*2^815438-1 is not prime.  Res64: FB39C022DD6BA4E4  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 13:26:01]
915*2^815438-1 is not prime.  Res64: 048F101CF075B9FD  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 13:26:01]
921*2^815438-1 is not prime.  Res64: 9A418784D1C7B802  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 13:32:25]
945*2^815438-1 is not prime.  Res64: 8934524357018F75  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:32:25]
957*2^815438-1 is not prime.  Res64: AE82A78256F6CBBB  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 13:40:08]
971*2^815438-1 is not prime.  Res64: DC74DD997FB5BF23  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:40:08]
843*2^815439-1 is not prime.  Res64: E75AA67195BB608A  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:40:31]
861*2^815439-1 is not prime.  Res64: C98EFA4B12F07A82  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:40:31]
909*2^815439-1 is not prime.  Res64: 8EA44DA90C3FC018  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 13:43:03]
979*2^815439-1 is not prime.  Res64: 4CAC3D0FA177E7CA  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 13:43:03]
825*2^815440-1 is not prime.  Res64: 706DF08D5268A9B0  Time : 1556.0 sec.
user=gd_barnes
[2011-03-23 13:49:21]
839*2^815440-1 is not prime.  Res64: 26473FF4AEE32134  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 13:49:21]
873*2^815440-1 is not prime.  Res64: D2807C30EE5C579A  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 13:49:29]
917*2^815440-1 is not prime.  Res64: E3E10867FEBE70BC  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 13:49:29]
811*2^815441-1 is not prime.  Res64: 0AE6A019683DBABF  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 13:51:20]
879*2^815441-1 is not prime.  Res64: 83D09F563C6472BE  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 13:51:20]
889*2^815441-1 is not prime.  Res64: 12844A42F89B2482  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 13:51:24]
947*2^815442-1 is not prime.  Res64: A8C5C16024847341  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 13:51:24]
977*2^815442-1 is not prime.  Res64: 63C6022C62431703  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 13:57:48]
805*2^815443-1 is not prime.  Res64: 43AF069360CEF182  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 13:57:48]
829*2^815443-1 is not prime.  Res64: 50BDDA0AE1C00B7B  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:06:01]
819*2^815445-1 is not prime.  Res64: 6B7EE7895715D185  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 14:06:01]
837*2^815445-1 is not prime.  Res64: CCB0E3A2C471BB79  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 14:06:23]
895*2^815445-1 is not prime.  Res64: C686C28C6F0FCE8D  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 14:06:23]
955*2^815445-1 is not prime.  Res64: D0ACE225D51D8CAB  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 14:08:58]
821*2^815446-1 is not prime.  Res64: 82475BBE822904F5  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:08:58]
881*2^815446-1 is not prime.  Res64: 03CB358119F18379  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:14:48]
923*2^815446-1 is not prime.  Res64: 00FACAF3B2093C31  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 14:14:48]
813*2^815447-1 is not prime.  Res64: 89EEE846D71B56E8  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 14:14:54]
819*2^815447-1 is not prime.  Res64: 2108121A62951F96  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:14:54]
843*2^815447-1 is not prime.  Res64: D3808EDC151F1FDB  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:16:49]
927*2^815448-1 is not prime.  Res64: B88A5FAAB557BC44  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:16:49]
993*2^815448-1 is not prime.  Res64: C55E7E9F9B46A1D1  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 14:17:09]
865*2^815447-1 is not prime.  Res64: 2B8650C41B339AA3  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 14:17:09]
837*2^815448-1 is not prime.  Res64: 2C2EC0A014302C80  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 14:23:13]
999*2^815448-1 is not prime.  Res64: 036C5C5397670F3A  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:23:13]
847*2^815449-1 is not prime.  Res64: 0A171D300B7F372E  Time : 1524.0 sec.
user=ototero
[2011-03-23 14:23:14]
825*2^815411-1 is not prime.  Res64: E42DC798E8F45150  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:14]
843*2^815411-1 is not prime.  Res64: A94B7481D4CC38DA  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:15]
859*2^815411-1 is not prime.  Res64: 37CB6F46DAC5F8E9  Time : 11914.0 sec.
user=ototero
[2011-03-23 14:23:15]
999*2^815411-1 is not prime.  Res64: AB15F4CFD7D36E09  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:15]
873*2^815412-1 is not prime.  Res64: 68DE9370034583B1  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:15]
899*2^815412-1 is not prime.  Res64: 8C59F90E3C1E9DCB  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:15]
923*2^815412-1 is not prime.  Res64: FDBC14F6E780C0B4  Time : 11912.0 sec.
user=ototero
[2011-03-23 14:23:15]
877*2^815413-1 is not prime.  Res64: F0F1BBDF34B4349B  Time : 11912.0 sec.
user=ototero
[2011-03-23 14:23:16]
937*2^815413-1 is not prime.  Res64: 3BE4F5A582DDCB2C  Time : 11913.0 sec.
user=ototero
[2011-03-23 14:23:16]
945*2^815413-1 is not prime.  Res64: 3EDB6AF91B746E0F  Time : 11912.0 sec.
user=gd_barnes
[2011-03-23 14:31:51]
831*2^815450-1 is not prime.  Res64: 011C6E507B76AA21  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 14:31:51]
843*2^815450-1 is not prime.  Res64: 77CCBC2B7BFE3D92  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 14:32:14]
885*2^815450-1 is not prime.  Res64: 6D40B8DAABCEB95A  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 14:32:14]
915*2^815450-1 is not prime.  Res64: 10BDCF7AFCA4FABA  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 14:34:53]
917*2^815450-1 is not prime.  Res64: 79AC4684F4B98B13  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:34:53]
927*2^815450-1 is not prime.  Res64: 56C333CA569E746E  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:40:11]
935*2^815450-1 is not prime.  Res64: 3FCE6F7673AC3C17  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:40:11]
957*2^815450-1 is not prime.  Res64: CBAC0F0454F22DE6  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:40:17]
805*2^815451-1 is not prime.  Res64: 1F7C3455A764042E  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:40:17]
909*2^815451-1 is not prime.  Res64: 8D641D6A200D4016  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:42:14]
979*2^815451-1 is not prime.  Res64: 8818D838ED95AFD6  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:42:14]
803*2^815452-1 is not prime.  Res64: 313897F8A424C33D  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 14:43:00]
869*2^815452-1 is not prime.  Res64: 0922AF2AEA9FD36C  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 14:43:00]
887*2^815452-1 is not prime.  Res64: 10E62525593D8CB3  Time : 1550.0 sec.
user=vaughan
[2011-03-23 14:47:06]
841*2^815425-1 is not prime.  Res64: 6C3CD3A46DB68F16  Time : 9832.0 sec.
user=gd_barnes
[2011-03-23 14:48:36]
899*2^815452-1 is not prime.  Res64: 9B2DBEC5FC4ED6D6  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:48:36]
933*2^815452-1 is not prime.  Res64: EF936C6D4BCCBD16  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 14:57:46]
859*2^815455-1 is not prime.  Res64: 6AA491E5534C3C9A  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:57:46]
861*2^815455-1 is not prime.  Res64: FF06DD1132CF3365  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 14:58:05]
873*2^815455-1 is not prime.  Res64: 901A36CB4FC5E8DB  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 14:58:05]
915*2^815455-1 is not prime.  Res64: 69FB042ACBEA3B98  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 15:00:46]
919*2^815455-1 is not prime.  Res64: BDF5E3715FB14663  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:00:46]
999*2^815455-1 is not prime.  Res64: B7718A8FB948AB46  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:05:35]
843*2^815456-1 is not prime.  Res64: 6F0BFBFF3330E965  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 15:05:35]
957*2^815456-1 is not prime.  Res64: 0385E2B6E1345A56  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 15:05:41]
919*2^815457-1 is not prime.  Res64: F4003E011840F12F  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 15:05:41]
949*2^815457-1 is not prime.  Res64: 2709F52D5851BF2A  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 15:07:37]
867*2^815458-1 is not prime.  Res64: E636C6277B58F563  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:07:37]
923*2^815458-1 is not prime.  Res64: 3058C1526374D2D0  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:08:51]
883*2^815459-1 is not prime.  Res64: C9622F0683C20732  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 15:08:51]
885*2^815459-1 is not prime.  Res64: 73E1809D251FFEF0  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 15:14:01]
999*2^815459-1 is not prime.  Res64: 0DA6F3B5B2D808FB  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 15:14:01]
927*2^815460-1 is not prime.  Res64: E451A94E5C6B6CB3  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 15:23:41]
933*2^815460-1 is not prime.  Res64: 9B4D9393B8674566  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 15:23:41]
825*2^815461-1 is not prime.  Res64: DB7D77694608BEFA  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 15:23:59]
861*2^815461-1 is not prime.  Res64: 2BBAADBE4815B02C  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 15:23:59]
877*2^815461-1 is not prime.  Res64: ADB67D4FC4FE1303  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 15:26:39]
825*2^815462-1 is not prime.  Res64: E0CF1F2BC94633A6  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:26:39]
875*2^815462-1 is not prime.  Res64: D997D2F29D8F4883  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:30:57]
921*2^815462-1 is not prime.  Res64: E2ACAEC75D730D8D  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 15:30:57]
977*2^815462-1 is not prime.  Res64: 823856D4DA189869  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 15:31:03]
805*2^815463-1 is not prime.  Res64: C52EF44F23989789  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 15:31:03]
969*2^815463-1 is not prime.  Res64: 306316E863C8BAEC  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 15:33:00]
973*2^815463-1 is not prime.  Res64: 52B14CC72AB21C11  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:33:00]
825*2^815464-1 is not prime.  Res64: CBA80B4D68DC82D9  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:34:46]
905*2^815464-1 is not prime.  Res64: 1BD622C4B7F2195F  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 15:34:46]
975*2^815464-1 is not prime.  Res64: AB79755C8F86FBB0  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 15:39:24]
855*2^815465-1 is not prime.  Res64: D66CEA565B7A4610  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:39:24]
897*2^815465-1 is not prime.  Res64: 8B278C563A4E2CC8  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 15:49:35]
925*2^815465-1 is not prime.  Res64: 068FDD9AA8023281  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 15:49:35]
955*2^815465-1 is not prime.  Res64: 51737BA3EBF004C6  Time : 1553.0 sec.
user=gd_barnes
[2011-03-23 15:49:49]
987*2^815465-1 is not prime.  Res64: 9BE4649DC17CF706  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 15:49:49]
803*2^815466-1 is not prime.  Res64: 6ADA84D12BEBAC43  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 15:52:32]
875*2^815466-1 is not prime.  Res64: E5EC5F998F3C5358  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:52:32]
945*2^815466-1 is not prime.  Res64: 0A9BEC00783F4F41  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 15:56:18]
813*2^815467-1 is not prime.  Res64: 51531AFBF6745E5E  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 15:56:18]
819*2^815467-1 is not prime.  Res64: B3C7BA76AE7EA9D5  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 15:56:24]
885*2^815467-1 is not prime.  Res64: 6899AC20D604D339  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 15:56:24]
961*2^815467-1 is not prime.  Res64: 3F191158EBEB7EDF  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 15:58:24]
825*2^815468-1 is not prime.  Res64: 1ABB14E97B12A6E3  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 15:58:24]
837*2^815468-1 is not prime.  Res64: F3653AAF995E8552  Time : 1523.0 sec.
user=gd_barnes
[2011-03-23 16:00:35]
845*2^815468-1 is not prime.  Res64: 65A9F0297720EA2F  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 16:00:35]
923*2^815468-1 is not prime.  Res64: 15E23EDFA72DADFA  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 16:04:43]
891*2^815469-1 is not prime.  Res64: 1DEED51DF5D150F2  Time : 1518.0 sec.
user=gd_barnes
[2011-03-23 16:04:43]
921*2^815469-1 is not prime.  Res64: 69D125D0882C0A23  Time : 1518.0 sec.
user=gd_barnes
[2011-03-23 16:15:25]
969*2^815469-1 is not prime.  Res64: D606BC7701CA0A0A  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 16:15:25]
857*2^815470-1 is not prime.  Res64: 826B55A6FA9F63C4  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 16:15:37]
863*2^815470-1 is not prime.  Res64: 4CC541244FFE376B  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:15:37]
945*2^815470-1 is not prime.  Res64: B64A36D878EB9327  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:18:22]
1001*2^815470-1 is not prime.  Res64: 6F3195AB1F04639D  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 16:18:22]
823*2^815471-1 is not prime.  Res64: BFD14F16EDE46DB9  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 16:21:44]
885*2^815471-1 is not prime.  Res64: 9A6741A7869A32ED  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 16:21:44]
999*2^815471-1 is not prime.  Res64: 4216587B477103AD  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 16:21:47]
935*2^815472-1 is not prime.  Res64: EA319B2538A6FF79  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 16:21:47]
957*2^815472-1 is not prime.  Res64: B6A7DD8ED493B977  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 16:23:52]
959*2^815472-1 is not prime.  Res64: 1AF4C00F72C24E49  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 16:23:52]
861*2^815473-1 is not prime.  Res64: A870CB7D9B0BF202  Time : 1527.0 sec.
user=gd_barnes
[2011-03-23 16:26:23]
939*2^815473-1 is not prime.  Res64: 6B3B0C737CA8A5E5  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:26:23]
861*2^815474-1 is not prime.  Res64: EFE91C627D56F499  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:30:05]
887*2^815474-1 is not prime.  Res64: C09D45001BEE38F4  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 16:30:05]
941*2^815474-1 is not prime.  Res64: DCFD2E2480E5E573  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 16:41:16]
885*2^815475-1 is not prime.  Res64: 6A3565CF057EA5B4  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:41:16]
963*2^815475-1 is not prime.  Res64: 13F442F8E7077A33  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:41:28]
833*2^815476-1 is not prime.  Res64: 1C91774C27457644  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:41:28]
869*2^815476-1 is not prime.  Res64: 0451C64CA47DAF79  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:44:13]
933*2^815476-1 is not prime.  Res64: 4FA933FC736AAE0F  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:44:13]
939*2^815476-1 is not prime.  Res64: A994953ADDC3CCC7  Time : 1550.0 sec.
user=gd_barnes
[2011-03-23 16:47:11]
993*2^815476-1 is not prime.  Res64: 958B8A4A6064E0D2  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 16:47:11]
901*2^815477-1 is not prime.  Res64: CA7805868ACEA606  Time : 1526.0 sec.
user=gd_barnes
[2011-03-23 16:47:12]
893*2^815478-1 is not prime.  Res64: B6D5B4E79F1CF44C  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 16:47:12]
993*2^815478-1 is not prime.  Res64: 8EC018EA940C83F4  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 16:49:18]
925*2^815479-1 is not prime.  Res64: 156CAEA7C484828B  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 16:49:18]
951*2^815479-1 is not prime.  Res64: 3D0146B58CDE8F04  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 16:52:11]
843*2^815480-1 is not prime.  Res64: C306B9E34EA014E1  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:52:11]
845*2^815480-1 is not prime.  Res64: F0AB08C1C5CBB3C7  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 16:55:31]
963*2^815480-1 is not prime.  Res64: F675FAF7EECE45A1  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 16:55:31]
811*2^815481-1 is not prime.  Res64: 42AD61C5DF19CED5  Time : 1525.0 sec.
user=gd_barnes
[2011-03-23 17:07:03]
861*2^815481-1 is not prime.  Res64: 5B9B317704F32E84  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:07:03]
937*2^815481-1 is not prime.  Res64: E759184A6853B73A  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:07:18]
917*2^815482-1 is not prime.  Res64: EEE55736120CD6EF  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 17:07:18]
819*2^815483-1 is not prime.  Res64: 85978C00865F668D  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 17:10:02]
861*2^815483-1 is not prime.  Res64: F9191AFD7FD7C549  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:10:02]
801*2^815485-1 is not prime.  Res64: FBC4A8FDEA8FA288  Time : 1548.0 sec.
user=vaughan
[2011-03-23 17:10:56]
871*2^815365-1 is not prime.  Res64: 4139A52AB69C2507  Time : 33512.0 sec.
user=gd_barnes
[2011-03-23 17:12:33]
805*2^815485-1 is not prime.  Res64: 7B16DCFEA23D9CE3  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 17:12:33]
831*2^815485-1 is not prime.  Res64: 7D90B59F0766811F  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 17:12:35]
877*2^815485-1 is not prime.  Res64: 5F5F9D2AC2F6BD9F  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 17:12:35]
957*2^815485-1 is not prime.  Res64: 8B077BCF87472BB9  Time : 1522.0 sec.
user=vaughan
[2011-03-23 17:13:03]
811*2^815363-1 is not prime.  Res64: B5153EC212F99C85  Time : 34136.0 sec.
user=gd_barnes
[2011-03-23 17:14:38]
843*2^815486-1 is not prime.  Res64: 53BCFBE0A645991F  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 17:14:38]
921*2^815486-1 is not prime.  Res64: 3343DA96159E6FF4  Time : 1519.0 sec.
user=vaughan
[2011-03-23 17:14:54]
971*2^815366-1 is not prime.  Res64: 2B535C4A4A8E5E18  Time : 33636.0 sec.
user=vaughan
[2011-03-23 17:16:00]
963*2^815366-1 is not prime.  Res64: 2DD0DC7B6EBFAEBA  Time : 33766.0 sec.
user=gd_barnes
[2011-03-23 17:17:58]
981*2^815486-1 is not prime.  Res64: E7C0AB73F4F55EF1  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:17:58]
955*2^815487-1 is not prime.  Res64: F142A07F0CEB28E8  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:20:53]
975*2^815487-1 is not prime.  Res64: DD7EDF811AA81DD2  Time : 1521.0 sec.
user=gd_barnes
[2011-03-23 17:20:53]
813*2^815488-1 is not prime.  Res64: E4466CEBEF25087A  Time : 1520.0 sec.
user=vaughan
[2011-03-23 17:30:57]
895*2^815459-1 is not prime.  Res64: FBFA92FC9B1D121B  Time : 9831.0 sec.
user=gd_barnes
[2011-03-23 17:32:55]
849*2^815488-1 is not prime.  Res64: C9E8AF968DF7DDDD  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 17:32:55]
869*2^815488-1 is not prime.  Res64: C7A171166E38B9A5  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 17:33:05]
905*2^815488-1 is not prime.  Res64: D4DADCB6DB3BF547  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:33:05]
927*2^815488-1 is not prime.  Res64: B0AC79FE830F7EC1  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 17:35:57]
867*2^815489-1 is not prime.  Res64: 557AC73A30C08FB3  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 17:35:57]
907*2^815489-1 is not prime.  Res64: 5DBEF2002A19F91B  Time : 1554.0 sec.
user=gd_barnes
[2011-03-23 17:37:54]
991*2^815489-1 is not prime.  Res64: 2688072B101E6E96  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 17:37:54]
843*2^815490-1 is not prime.  Res64: 44CBD27CF298443B  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 17:37:55]
845*2^815490-1 is not prime.  Res64: 2377120F8D82DC76  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 17:37:55]
893*2^815490-1 is not prime.  Res64: 25DFEB51CF5FC135  Time : 1518.0 sec.
user=vaughan
[2011-03-23 17:39:10]
831*2^815489-1 is not prime.  Res64: 7B8607D91FE75529  Time : 1766.0 sec.
user=gd_barnes
[2011-03-23 17:39:58]
961*2^815491-1 is not prime.  Res64: E96A11DFEF04E75E  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 17:39:58]
843*2^815492-1 is not prime.  Res64: A32F20D966ABCCF6  Time : 1519.0 sec.
user=vaughan
[2011-03-23 17:40:01]
929*2^815492-1 is not prime.  Res64: D0FA3B24DE4496D6  Time : 1508.0 sec.
user=ototero
[2011-03-23 17:41:45]
939*2^815452-1 is not prime.  Res64: A5A8B927A6211674  Time : 11909.0 sec.
user=ototero
[2011-03-23 17:41:45]
959*2^815452-1 is not prime.  Res64: BBD3AC92F913E67F  Time : 11909.0 sec.
user=vaughan
[2011-03-23 17:41:45]
977*2^815492-1 is not prime.  Res64: 16C718101220D174  Time : 1545.0 sec.
user=ototero
[2011-03-23 17:41:45]
965*2^815452-1 is not prime.  Res64: 0AB450D1E1EDD446  Time : 11908.0 sec.
user=ototero
[2011-03-23 17:41:46]
987*2^815452-1 is not prime.  Res64: DA206CDA1175EEBC  Time : 11909.0 sec.
user=ototero
[2011-03-23 17:41:46]
807*2^815454-1 is not prime.  Res64: E0DA4C1A016908A1  Time : 11908.0 sec.
user=ototero
[2011-03-23 17:41:46]
815*2^815454-1 is not prime.  Res64: DE441A42E1FD6AAC  Time : 11908.0 sec.
user=ototero
[2011-03-23 17:41:46]
861*2^815454-1 is not prime.  Res64: 390C8FAB595B5140  Time : 11908.0 sec.
user=ototero
[2011-03-23 17:41:46]
863*2^815454-1 is not prime.  Res64: 3ADF1DA0B4567F3C  Time : 11907.0 sec.
user=ototero
[2011-03-23 17:41:46]
885*2^815454-1 is not prime.  Res64: CFD634F76C7509B9  Time : 11907.0 sec.
user=ototero
[2011-03-23 17:41:47]
927*2^815454-1 is not prime.  Res64: A35BB6897B16FF0F  Time : 11908.0 sec.
user=gd_barnes
[2011-03-23 17:43:47]
983*2^815492-1 is not prime.  Res64: 9E7211AFEFCC550A  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:43:47]
811*2^815493-1 is not prime.  Res64: F0FCD2AD85F3D382  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:46:16]
813*2^815494-1 is not prime.  Res64: 7A5EAAD8F7768B8D  Time : 1522.0 sec.
user=gd_barnes
[2011-03-23 17:46:16]
821*2^815494-1 is not prime.  Res64: 960C364CD553B66D  Time : 1522.0 sec.
user=vaughan
[2011-03-23 17:46:39]
967*2^815489-1 is not prime.  Res64: 4E6887B371C31453  Time : 2143.0 sec.
user=vaughan
[2011-03-23 17:47:57]
847*2^815489-1 is not prime.  Res64: F591ABBED665F439  Time : 2293.0 sec.
user=vaughan
[2011-03-23 17:48:43]
927*2^815490-1 is not prime.  Res64: 942C47B59B6F9041  Time : 2140.0 sec.
user=gd_barnes
[2011-03-23 17:58:44]
903*2^815494-1 is not prime.  Res64: 4AA73888FF302214  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:58:44]
945*2^815494-1 is not prime.  Res64: 225D0E9B4219F1C4  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:58:54]
825*2^815495-1 is not prime.  Res64: 3B76EC9D59F07C42  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 17:58:54]
883*2^815495-1 is not prime.  Res64: E5DBACEF77FB2406  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 18:01:46]
895*2^815495-1 is not prime.  Res64: 80706E711F9EE5A0  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 18:01:46]
963*2^815495-1 is not prime.  Res64: FD9A0A6263FA8E35  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 18:03:14]
979*2^815495-1 is not prime.  Res64: FF0F80ED74B7182C  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:03:14]
985*2^815495-1 is not prime.  Res64: DDF7F95704173BDE  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:03:15]
815*2^815496-1 is not prime.  Res64: 203D9F5F377C30DE  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:03:15]
837*2^815496-1 is not prime.  Res64: 7143D2DE76117889  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:05:18]
887*2^815496-1 is not prime.  Res64: E9E026C23B8FBF1A  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:05:18]
917*2^815496-1 is not prime.  Res64: 8471E63046E0A2F4  Time : 1519.0 sec.
user=vaughan
[2011-03-23 18:05:27]
885*2^815497-1 is not prime.  Res64: FA11B73952368352  Time : 1527.0 sec.
user=vaughan
[2011-03-23 18:08:58]
967*2^815497-1 is not prime.  Res64: 048963472726AA16  Time : 1633.0 sec.
user=gd_barnes
[2011-03-23 18:09:40]
939*2^815501-1 is not prime.  Res64: A817DDC67561DCF2  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 18:09:40]
807*2^815502-1 is not prime.  Res64: DEC15242D7528EFC  Time : 1552.0 sec.
user=gd_barnes
[2011-03-23 18:11:34]
815*2^815502-1 is not prime.  Res64: 0DC01565ABF4D62E  Time : 1517.0 sec.
user=gd_barnes
[2011-03-23 18:11:34]
885*2^815502-1 is not prime.  Res64: B39409E33C86358F  Time : 1517.0 sec.
user=gd_barnes
[2011-03-23 18:24:33]
965*2^815502-1 is not prime.  Res64: DE0713CE05B0EC12  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 18:24:33]
869*2^815504-1 is not prime.  Res64: 58299373537DC97B  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 18:24:37]
899*2^815504-1 is not prime.  Res64: 29601026A06154CE  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 18:24:37]
903*2^815504-1 is not prime.  Res64: CA8502D18FA58127  Time : 1542.0 sec.
user=vaughan
[2011-03-23 18:26:24]
917*2^815502-1 is not prime.  Res64: 9F8C632CE1692EF5  Time : 2385.0 sec.
user=gd_barnes
[2011-03-23 18:27:34]
935*2^815504-1 is not prime.  Res64: D91CB059C4AE2902  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:27:34]
983*2^815504-1 is not prime.  Res64: A0A04C07B502BA22  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:28:35]
997*2^815505-1 is not prime.  Res64: 9C7F55880EED9EEE  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 18:28:35]
801*2^815506-1 is not prime.  Res64: C611AA47CB3C58FB  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 18:28:36]
857*2^815506-1 is not prime.  Res64: 9DEE618141E848EA  Time : 1520.0 sec.
user=gd_barnes
[2011-03-23 18:28:36]
903*2^815506-1 is not prime.  Res64: 6196EAB77FC3EC29  Time : 1520.0 sec.
user=vaughan
[2011-03-23 18:28:44]
963*2^815502-1 is not prime.  Res64: 5A1427AF56CA5606  Time : 2401.0 sec.
user=gd_barnes
[2011-03-23 18:30:38]
975*2^815506-1 is not prime.  Res64: DA1C7F4727FF5348  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:30:38]
861*2^815507-1 is not prime.  Res64: 1E07E51449D62010  Time : 1519.0 sec.
user=vaughan
[2011-03-23 18:31:18]
879*2^815507-1 is not prime.  Res64: A8D33B6FCABBDAAE  Time : 1551.0 sec.
user=kar_bon
[2011-03-23 18:32:33]
843*2^814959-1 is not prime.  Res64: BE344EC7D74F5E39  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:32:34]
813*2^814960-1 is not prime.  Res64: BB76B9233A5D0D82  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:32:34]
825*2^814960-1 is not prime.  Res64: 75BE4EE8652FFE2F  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:32:34]
827*2^814960-1 is not prime.  Res64: 8F0546B4F8565B7A  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:34]
839*2^814960-1 is not prime.  Res64: 85DC70863EF9E28C  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:35]
843*2^814960-1 is not prime.  Res64: 9D4AF9726FD7074D  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:32:35]
855*2^814960-1 is not prime.  Res64: 0B702A7B35A31BFB  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:35]
875*2^814960-1 is not prime.  Res64: 283141407BC8519D  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:35]
897*2^814960-1 is not prime.  Res64: 94BD9C797C7C1B4D  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:36]
927*2^814960-1 is not prime.  Res64: A2848290B7C112DD  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:36]
837*2^814961-1 is not prime.  Res64: 2B60F3C8B4F29272  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:36]
909*2^814961-1 is not prime.  Res64: DD995427E71435F7  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:36]
939*2^814972-1 is not prime.  Res64: 83AAB75C2444BA80  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:36]
967*2^814961-1 is not prime.  Res64: 19B8F316971768E7  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:37]
885*2^814973-1 is not prime.  Res64: 36F9A5F42E74FFC7  Time : 84982.0 sec.
user=kar_bon
[2011-03-23 18:32:37]
921*2^814962-1 is not prime.  Res64: D958D9BE600300FC  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
881*2^814974-1 is not prime.  Res64: 140E6FDA5D243377  Time : 84982.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
941*2^814962-1 is not prime.  Res64: EB5CB62F3E3D18C7  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
871*2^814975-1 is not prime.  Res64: DDB950862EC2C2D3  Time : 84982.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
829*2^814963-1 is not prime.  Res64: 57E4593F13D9D043  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
951*2^814975-1 is not prime.  Res64: 8AB842800E3500BA  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
861*2^814963-1 is not prime.  Res64: C1410806E4B6F7ED  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
827*2^814976-1 is not prime.  Res64: 3960A38C4FD2379D  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:38]
993*2^814963-1 is not prime.  Res64: 0DBA05C12FE8E74D  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
897*2^814976-1 is not prime.  Res64: D0550B5AFEF96707  Time : 84982.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
825*2^814964-1 is not prime.  Res64: 61E8A353CAC6A5AE  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
923*2^814976-1 is not prime.  Res64: A1717FAFFC7BC0BE  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
869*2^814964-1 is not prime.  Res64: C8975EF0AF35DD17  Time : 84995.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
865*2^814977-1 is not prime.  Res64: 6454D4E4B1C5D831  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:39]
855*2^814978-1 is not prime.  Res64: FB19ED4CC5E47CBF  Time : 84980.0 sec.
user=kar_bon
[2011-03-23 18:32:40]
841*2^814979-1 is not prime.  Res64: DA5DA7259545CF2E  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:40]
819*2^814977-1 is not prime.  Res64: DCA434371D9D05C3  Time : 84982.0 sec.
user=kar_bon
[2011-03-23 18:32:40]
873*2^814964-1 is not prime.  Res64: 9D737EF5DAECBEA8  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:40]
965*2^814980-1 is not prime.  Res64: 44D717B6EEA86DD9  Time : 84981.0 sec.
user=kar_bon
[2011-03-23 18:32:42]
895*2^814977-1 is not prime.  Res64: 8566564B9AB81DA4  Time : 84984.0 sec.
user=kar_bon
[2011-03-23 18:32:42]
885*2^814964-1 is not prime.  Res64: AFE193C378CDF9A1  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:32:43]
887*2^814982-1 is not prime.  Res64: C1EC4AD3DCD5FB19  Time : 84983.0 sec.
user=kar_bon
[2011-03-23 18:32:44]
903*2^814964-1 is not prime.  Res64: 8B4DAE3DC6FD7676  Time : 84999.0 sec.
user=kar_bon
[2011-03-23 18:32:44]
971*2^814978-1 is not prime.  Res64: 6A9FD403840FD1AE  Time : 84985.0 sec.
user=kar_bon
[2011-03-23 18:32:45]
943*2^814983-1 is not prime.  Res64: 750123C6DBA99DB5  Time : 84985.0 sec.
user=kar_bon
[2011-03-23 18:32:46]
861*2^814965-1 is not prime.  Res64: 99F3771B8709C565  Time : 85000.0 sec.
user=kar_bon
[2011-03-23 18:32:47]
895*2^814979-1 is not prime.  Res64: 8B476A9C6F7411AC  Time : 84988.0 sec.
user=kar_bon
[2011-03-23 18:32:48]
831*2^814985-1 is not prime.  Res64: D723F4B6D0D91A98  Time : 84987.0 sec.
user=kar_bon
[2011-03-23 18:32:49]
885*2^814965-1 is not prime.  Res64: 7D573D5DF9DD04A8  Time : 85003.0 sec.
user=kar_bon
[2011-03-23 18:32:50]
927*2^814981-1 is not prime.  Res64: E13A212B380ACEBB  Time : 84991.0 sec.
user=kar_bon
[2011-03-23 18:32:51]
925*2^814985-1 is not prime.  Res64: 2F848BC3868C3E43  Time : 84990.0 sec.
user=kar_bon
[2011-03-23 18:32:52]
991*2^814965-1 is not prime.  Res64: 7B74BF9E80FBA956  Time : 85005.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
925*2^814987-1 is not prime.  Res64: 6E992014443D0D5A  Time : 84992.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
945*2^814966-1 is not prime.  Res64: 52B1E647D435A39E  Time : 85007.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
825*2^814988-1 is not prime.  Res64: E5903D140DA8E48C  Time : 84992.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
911*2^814982-1 is not prime.  Res64: 201189B1B556909E  Time : 84994.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
981*2^814966-1 is not prime.  Res64: 6A27E0E3D084DEDE  Time : 85007.0 sec.
user=kar_bon
[2011-03-23 18:32:54]
825*2^814989-1 is not prime.  Res64: A6AF007E5BABC642  Time : 84992.0 sec.
user=kar_bon
[2011-03-23 18:32:56]
827*2^814984-1 is not prime.  Res64: 3C32BF3691BBFBAC  Time : 84996.0 sec.
user=kar_bon
[2011-03-23 18:32:57]
1001*2^814966-1 is not prime.  Res64: 9A98BDAC32D2DD77  Time : 85009.0 sec.
user=kar_bon
[2011-03-23 18:32:57]
921*2^814989-1 is not prime.  Res64: DBF61903989FAF97  Time : 84994.0 sec.
user=kar_bon
[2011-03-23 18:33:00]
865*2^814985-1 is not prime.  Res64: C24BD99B59907665  Time : 84999.0 sec.
user=kar_bon
[2011-03-23 18:33:00]
915*2^814967-1 is not prime.  Res64: 26202176C6C8391C  Time : 85012.0 sec.
user=kar_bon
[2011-03-23 18:33:00]
885*2^814990-1 is not prime.  Res64: 2752041CB3B516D1  Time : 84997.0 sec.
user=kar_bon
[2011-03-23 18:33:02]
981*2^814985-1 is not prime.  Res64: 58371D89CD23542B  Time : 85001.0 sec.
user=kar_bon
[2011-03-23 18:33:02]
809*2^814968-1 is not prime.  Res64: B7E7A3B3BB81A7EE  Time : 85013.0 sec.
user=kar_bon
[2011-03-23 18:33:03]
825*2^814991-1 is not prime.  Res64: DC15BDE656C17097  Time : 84999.0 sec.
user=kar_bon
[2011-03-23 18:33:04]
923*2^814986-1 is not prime.  Res64: 31C4B333778A8C38  Time : 85003.0 sec.
user=kar_bon
[2011-03-23 18:33:05]
933*2^814968-1 is not prime.  Res64: 08CCCC648454725C  Time : 85016.0 sec.
user=kar_bon
[2011-03-23 18:33:05]
939*2^814991-1 is not prime.  Res64: A5F595BABECDFE74  Time : 85001.0 sec.
user=kar_bon
[2011-03-23 18:33:08]
931*2^814987-1 is not prime.  Res64: C628CBF9DDFB7D52  Time : 85006.0 sec.
user=kar_bon
[2011-03-23 18:33:08]
825*2^814992-1 is not prime.  Res64: 30A8597D2E8568CB  Time : 85004.0 sec.
user=kar_bon
[2011-03-23 18:33:08]
975*2^814968-1 is not prime.  Res64: CBBCEF50F34B55E6  Time : 85019.0 sec.
user=kar_bon
[2011-03-23 18:33:09]
811*2^814993-1 is not prime.  Res64: 7CC09C2B134A0793  Time : 85004.0 sec.
user=kar_bon
[2011-03-23 18:33:10]
893*2^814988-1 is not prime.  Res64: A5F4ACEEE587AF50  Time : 85008.0 sec.
user=kar_bon
[2011-03-23 18:33:11]
993*2^814968-1 is not prime.  Res64: 39EEABCAE2491FC4  Time : 85021.0 sec.
user=kar_bon
[2011-03-23 18:33:13]
847*2^814993-1 is not prime.  Res64: B32CAFDEAC6E07D9  Time : 85008.0 sec.
user=kar_bon
[2011-03-23 18:33:13]
907*2^814989-1 is not prime.  Res64: 05C634A2424722BF  Time : 85010.0 sec.
user=kar_bon
[2011-03-23 18:33:13]
999*2^814968-1 is not prime.  Res64: 62544ED97EEE5B84  Time : 85023.0 sec.
user=kar_bon
[2011-03-23 18:33:15]
951*2^814993-1 is not prime.  Res64: 961EE553154B578D  Time : 85009.0 sec.
user=kar_bon
[2011-03-23 18:33:15]
951*2^814989-1 is not prime.  Res64: A0F0EFBDB703AD9A  Time : 85012.0 sec.
user=kar_bon
[2011-03-23 18:33:16]
835*2^814969-1 is not prime.  Res64: 02E9DD8B78CA0BA9  Time : 85025.0 sec.
user=kar_bon
[2011-03-23 18:33:17]
831*2^814994-1 is not prime.  Res64: C0786F4B60F42541  Time : 85011.0 sec.
user=kar_bon
[2011-03-23 18:33:18]
951*2^814990-1 is not prime.  Res64: 4FCA88392FA15719  Time : 85015.0 sec.
user=kar_bon
[2011-03-23 18:33:19]
975*2^814969-1 is not prime.  Res64: B7E3A54845815EC4  Time : 85028.0 sec.
user=kar_bon
[2011-03-23 18:33:21]
841*2^814991-1 is not prime.  Res64: 9BADCF440CA363FE  Time : 85017.0 sec.
user=kar_bon
[2011-03-23 18:33:21]
921*2^814994-1 is not prime.  Res64: 53DFDE7CE5DDA3CE  Time : 85015.0 sec.
user=kar_bon
[2011-03-23 18:33:21]
851*2^814970-1 is not prime.  Res64: DE47F83E891C4BF0  Time : 85030.0 sec.
user=kar_bon
[2011-03-23 18:33:23]
853*2^814995-1 is not prime.  Res64: B61D2953F4916AB4  Time : 85016.0 sec.
user=kar_bon
[2011-03-23 18:33:24]
993*2^814991-1 is not prime.  Res64: F1B5CD05ED928CDD  Time : 85020.0 sec.
user=kar_bon
[2011-03-23 18:33:24]
893*2^814970-1 is not prime.  Res64: 290E6DE534513C71  Time : 85032.0 sec.
user=kar_bon
[2011-03-23 18:33:25]
985*2^814995-1 is not prime.  Res64: DA91C5FC1AE937C0  Time : 85018.0 sec.
user=kar_bon
[2011-03-23 18:33:27]
843*2^814992-1 is not prime.  Res64: F086B4E104E350CA  Time : 85022.0 sec.
user=kar_bon
[2011-03-23 18:33:27]
951*2^814970-1 is not prime.  Res64: 9A6A657BA676EABA  Time : 85035.0 sec.
user=kar_bon
[2011-03-23 18:33:28]
939*2^814996-1 is not prime.  Res64: 5A4FD1F2B3A4A297  Time : 85020.0 sec.
user=kar_bon
[2011-03-23 18:33:29]
981*2^814970-1 is not prime.  Res64: 7BEA3C05F5CA0F2D  Time : 85036.0 sec.
user=kar_bon
[2011-03-23 18:33:30]
819*2^814993-1 is not prime.  Res64: 4898B6A0F7FBFBFA  Time : 85025.0 sec.
user=kar_bon
[2011-03-23 18:33:30]
825*2^814998-1 is not prime.  Res64: 780F7039BBEDDEF2  Time : 85022.0 sec.
user=kar_bon
[2011-03-23 18:33:31]
825*2^814971-1 is not prime.  Res64: B051A55E22B547F0  Time : 85038.0 sec.
user=kar_bon
[2011-03-23 18:33:32]
937*2^814993-1 is not prime.  Res64: 4F5C884B030AE2E4  Time : 85027.0 sec.
user=kar_bon
[2011-03-23 18:33:33]
915*2^815000-1 is not prime.  Res64: E3930EC5DC5469DE  Time : 85025.0 sec.
user=kar_bon
[2011-03-23 18:33:34]
931*2^814971-1 is not prime.  Res64: FAD4EE80D1AB76DA  Time : 85041.0 sec.
user=kar_bon
[2011-03-23 18:33:35]
987*2^814993-1 is not prime.  Res64: B7B17F120A8FD31B  Time : 85029.0 sec.
user=kar_bon
[2011-03-23 18:33:36]
945*2^815001-1 is not prime.  Res64: 88FCF7C7059D92AF  Time : 85027.0 sec.
user=kar_bon
[2011-03-23 18:33:36]
975*2^814971-1 is not prime.  Res64: 940EB76600EC8394  Time : 85042.0 sec.
user=kar_bon
[2011-03-23 18:33:38]
857*2^814994-1 is not prime.  Res64: 4222CE3631360D16  Time : 85032.0 sec.
user=kar_bon
[2011-03-23 18:33:39]
991*2^815001-1 is not prime.  Res64: F96A2056E087E662  Time : 85030.0 sec.
user=kar_bon
[2011-03-23 18:33:39]
855*2^814972-1 is not prime.  Res64: 211532734459593B  Time : 85045.0 sec.
user=kar_bon
[2011-03-23 18:33:40]
957*2^814994-1 is not prime.  Res64: C504F91E7654E6E4  Time : 85033.0 sec.
user=kar_bon
[2011-03-23 18:33:41]
881*2^815002-1 is not prime.  Res64: AE51F7F5B437D99B  Time : 85031.0 sec.
user=kar_bon
[2011-03-23 18:33:42]
923*2^814972-1 is not prime.  Res64: 11B0156D20216D7C  Time : 85047.0 sec.
user=kar_bon
[2011-03-23 18:33:43]
859*2^814995-1 is not prime.  Res64: BA0CCEBB82B9F66A  Time : 85036.0 sec.
user=kar_bon
[2011-03-23 18:33:45]
999*2^815003-1 is not prime.  Res64: 6D8F298980DF8450  Time : 85035.0 sec.
user=kar_bon
[2011-03-23 18:33:45]
987*2^814972-1 is not prime.  Res64: FD3470F4BACC5843  Time : 85050.0 sec.
user=kar_bon
[2011-03-23 18:33:46]
803*2^814996-1 is not prime.  Res64: 94F0E98699E96317  Time : 85039.0 sec.
user=kar_bon
[2011-03-23 18:33:48]
861*2^814974-1 is not prime.  Res64: CDEA3FA73DA27FDD  Time : 85053.0 sec.
user=kar_bon
[2011-03-23 18:33:48]
895*2^814995-1 is not prime.  Res64: BB26E458155355BA  Time : 85041.0 sec.
user=kar_bon
[2011-03-23 18:33:49]
889*2^814997-1 is not prime.  Res64: EEBCF1CC7901D3A7  Time : 85041.0 sec.
user=kar_bon
[2011-03-23 18:33:49]
945*2^815004-1 is not prime.  Res64: 253969A8DF3ADDD5  Time : 85039.0 sec.
user=kar_bon
[2011-03-23 18:33:50]
917*2^814974-1 is not prime.  Res64: D8791D1D71596633  Time : 85054.0 sec.
user=kar_bon
[2011-03-23 18:33:51]
843*2^814996-1 is not prime.  Res64: 8EEC748A279A1107  Time : 85043.0 sec.
user=kar_bon
[2011-03-23 18:33:52]
839*2^815000-1 is not prime.  Res64: 6177BAB1745E3E99  Time : 85044.0 sec.
user=kar_bon
[2011-03-23 18:33:54]
957*2^815005-1 is not prime.  Res64: 4036BDB1F9ACBCD1  Time : 85043.0 sec.
user=kar_bon
[2011-03-23 18:33:54]
883*2^814975-1 is not prime.  Res64: 5AF95526B3DBBE2D  Time : 85058.0 sec.
user=kar_bon
[2011-03-23 18:33:55]
955*2^814997-1 is not prime.  Res64: A12521155DB53D49  Time : 85047.0 sec.
user=kar_bon
[2011-03-23 18:33:56]
999*2^815000-1 is not prime.  Res64: 18E75A778A14D823  Time : 85047.0 sec.
user=kar_bon
[2011-03-23 18:33:57]
921*2^815006-1 is not prime.  Res64: 29D8062721A3A563  Time : 85046.0 sec.
user=kar_bon
[2011-03-23 18:33:57]
979*2^814975-1 is not prime.  Res64: 8497CD0B05A68F4E  Time : 85060.0 sec.
user=kar_bon
[2011-03-23 18:33:58]
845*2^815000-1 is not prime.  Res64: A8D4A02B92BA72A5  Time : 85050.0 sec.
user=kar_bon
[2011-03-23 18:33:59]
949*2^815001-1 is not prime.  Res64: 6B95F802958AEB31  Time : 85050.0 sec.
user=kar_bon
[2011-03-23 18:34:00]
901*2^815007-1 is not prime.  Res64: 4B66DE3075F76B81  Time : 85048.0 sec.
user=kar_bon
[2011-03-23 18:34:01]
857*2^814976-1 is not prime.  Res64: 7B2BBD1C82FD5BD8  Time : 85064.0 sec.
user=kar_bon
[2011-03-23 18:34:02]
837*2^815001-1 is not prime.  Res64: 0126CEAC287D22FF  Time : 85053.0 sec.
user=kar_bon
[2011-03-23 18:34:03]
825*2^815002-1 is not prime.  Res64: 3BC22D0CEDAB23D4  Time : 85054.0 sec.
user=kar_bon
[2011-03-23 18:34:04]
991*2^815007-1 is not prime.  Res64: 67ABE70D12B80CCE  Time : 85052.0 sec.
user=kar_bon
[2011-03-23 18:34:05]
969*2^815001-1 is not prime.  Res64: 46C89977E20CE2E5  Time : 85056.0 sec.
user=kar_bon
[2011-03-23 18:34:05]
899*2^814976-1 is not prime.  Res64: 39266B1A5AA19C68  Time : 85068.0 sec.
user=kar_bon
[2011-03-23 18:34:06]
871*2^815003-1 is not prime.  Res64: 4A7FFFE091725F81  Time : 85056.0 sec.
user=kar_bon
[2011-03-23 18:34:07]
849*2^815008-1 is not prime.  Res64: 37116794C5559E18  Time : 85055.0 sec.
user=kar_bon
[2011-03-23 18:34:08]
833*2^815002-1 is not prime.  Res64: 739904C645046009  Time : 85058.0 sec.
user=kar_bon
[2011-03-23 18:34:10]
809*2^815004-1 is not prime.  Res64: A714E9E17360B203  Time : 85060.0 sec.
user=kar_bon
[2011-03-23 18:34:10]
935*2^814976-1 is not prime.  Res64: 8A62D9ADC71DA029  Time : 85072.0 sec.
user=kar_bon
[2011-03-23 18:34:11]
867*2^815009-1 is not prime.  Res64: 28050AB67A11D440  Time : 85058.0 sec.
user=kar_bon
[2011-03-23 18:34:13]
993*2^815003-1 is not prime.  Res64: 5902D55E8FD25ADB  Time : 85063.0 sec.
user=kar_bon
[2011-03-23 18:34:14]
975*2^815004-1 is not prime.  Res64: 84252F6B51C6FEA0  Time : 85063.0 sec.
user=kar_bon
[2011-03-23 18:34:14]
831*2^814978-1 is not prime.  Res64: 50C1AD95BE6D622E  Time : 85076.0 sec.
user=kar_bon
[2011-03-23 18:34:14]
819*2^815011-1 is not prime.  Res64: 4327CD6311A26684  Time : 85061.0 sec.
user=kar_bon
[2011-03-23 18:34:17]
887*2^815004-1 is not prime.  Res64: CA16B53CD02F914C  Time : 85067.0 sec.
user=kar_bon
[2011-03-23 18:34:17]
987*2^814978-1 is not prime.  Res64: B8A744FD7BF537B5  Time : 85078.0 sec.
user=kar_bon
[2011-03-23 18:34:17]
811*2^815013-1 is not prime.  Res64: 4F6CC0282D02D6D6  Time : 85063.0 sec.
user=kar_bon
[2011-03-23 18:34:18]
831*2^815006-1 is not prime.  Res64: FB22D9EDC21800F4  Time : 85067.0 sec.
user=kar_bon
[2011-03-23 18:34:20]
939*2^815005-1 is not prime.  Res64: 60F0B5030C56466F  Time : 85069.0 sec.
user=kar_bon
[2011-03-23 18:34:21]
959*2^814980-1 is not prime.  Res64: 0408C069C6AFA1D9  Time : 85082.0 sec.
user=kar_bon
[2011-03-23 18:34:21]
837*2^815013-1 is not prime.  Res64: FCDEAD1604F8900A  Time : 85067.0 sec.
user=kar_bon
[2011-03-23 18:34:22]
805*2^815007-1 is not prime.  Res64: 9C22550ADE0A85E9  Time : 85071.0 sec.
user=kar_bon
[2011-03-23 18:34:23]
903*2^815006-1 is not prime.  Res64: C267B95D63AF25D4  Time : 85072.0 sec.
user=kar_bon
[2011-03-23 18:34:24]
873*2^814982-1 is not prime.  Res64: EB5F34A7BAD7D138  Time : 85085.0 sec.
user=kar_bon
[2011-03-23 18:34:25]
825*2^815014-1 is not prime.  Res64: 33C8B314A254B1E0  Time : 85070.0 sec.
user=kar_bon
[2011-03-23 18:34:26]
951*2^815007-1 is not prime.  Res64: 5DC3A001A50FDD15  Time : 85074.0 sec.
user=kar_bon
[2011-03-23 18:34:27]
873*2^815007-1 is not prime.  Res64: D797CC0645079AE6  Time : 85075.0 sec.
user=kar_bon
[2011-03-23 18:34:28]
891*2^814983-1 is not prime.  Res64: 239E4764F94DE027  Time : 85088.0 sec.
user=kar_bon
[2011-03-23 18:34:29]
947*2^815014-1 is not prime.  Res64: A6DE735857E95866  Time : 85074.0 sec.
user=kar_bon
[2011-03-23 18:34:30]
813*2^815008-1 is not prime.  Res64: 4B09D114A5781C18  Time : 85078.0 sec.
user=kar_bon
[2011-03-23 18:34:30]
973*2^815007-1 is not prime.  Res64: DD2833B255CCCE7E  Time : 85078.0 sec.
user=kar_bon
[2011-03-23 18:34:31]
875*2^814984-1 is not prime.  Res64: 933C75B30E5DEA19  Time : 85091.0 sec.
user=kar_bon
[2011-03-23 18:34:32]
859*2^815015-1 is not prime.  Res64: 5D028FB39E429E83  Time : 85077.0 sec.
user=kar_bon
[2011-03-23 18:34:33]
831*2^815009-1 is not prime.  Res64: A323ABE435532AA3  Time : 85080.0 sec.
user=kar_bon
[2011-03-23 18:34:34]
843*2^815008-1 is not prime.  Res64: FA82C49296505093  Time : 85082.0 sec.
user=kar_bon
[2011-03-23 18:34:35]
885*2^814985-1 is not prime.  Res64: F98C568714E9659E  Time : 85094.0 sec.
user=kar_bon
[2011-03-23 18:34:36]
963*2^815015-1 is not prime.  Res64: CB8C23CE6EE944F5  Time : 85080.0 sec.
user=kar_bon
[2011-03-23 18:34:37]
951*2^815010-1 is not prime.  Res64: 9425EA425B608944  Time : 85084.0 sec.
user=kar_bon
[2011-03-23 18:34:38]
847*2^815009-1 is not prime.  Res64: D7BB38DA7EFF800A  Time : 85085.0 sec.
user=kar_bon
[2011-03-23 18:34:39]
903*2^814986-1 is not prime.  Res64: ED2FE637B29C987D  Time : 85097.0 sec.
user=kar_bon
[2011-03-23 18:34:39]
927*2^815016-1 is not prime.  Res64: A8F8E59B030EE968  Time : 85083.0 sec.
user=kar_bon
[2011-03-23 18:34:40]
849*2^815011-1 is not prime.  Res64: 2F0438C6E4D626AC  Time : 85087.0 sec.
user=kar_bon
[2011-03-23 18:34:42]
1001*2^815010-1 is not prime.  Res64: 3F389B2C64F14378  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:34:42]
867*2^814988-1 is not prime.  Res64: 811B518D64D09E56  Time : 85100.0 sec.
user=kar_bon
[2011-03-23 18:34:43]
921*2^815018-1 is not prime.  Res64: 98E973286BE7610E  Time : 85086.0 sec.
user=kar_bon
[2011-03-23 18:34:44]
819*2^815013-1 is not prime.  Res64: 5FC824E7EFC7020C  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:34:44]
891*2^814989-1 is not prime.  Res64: 40B2C11B77335935  Time : 85102.0 sec.
user=kar_bon
[2011-03-23 18:34:45]
943*2^815011-1 is not prime.  Res64: 3903FB7ED4103DC3  Time : 85091.0 sec.
user=kar_bon
[2011-03-23 18:34:47]
995*2^815018-1 is not prime.  Res64: 70E4358E1C0052A6  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:34:47]
847*2^815013-1 is not prime.  Res64: B6788EB3B831075C  Time : 85093.0 sec.
user=kar_bon
[2011-03-23 18:34:48]
949*2^814989-1 is not prime.  Res64: 46AE0EEB51931C40  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:34:50]
829*2^815013-1 is not prime.  Res64: DEAC9CE84409A8BF  Time : 85096.0 sec.
user=kar_bon
[2011-03-23 18:34:50]
843*2^815020-1 is not prime.  Res64: 9C10A6FB8E38C9CF  Time : 85093.0 sec.
user=kar_bon
[2011-03-23 18:34:50]
861*2^815014-1 is not prime.  Res64: C5F30D235D0A04B8  Time : 85095.0 sec.
user=kar_bon
[2011-03-23 18:34:52]
875*2^815020-1 is not prime.  Res64: 1A33D088F2B09D73  Time : 85094.0 sec.
user=kar_bon
[2011-03-23 18:34:53]
889*2^815013-1 is not prime.  Res64: 34695C4BB941EB6E  Time : 85098.0 sec.
user=kar_bon
[2011-03-23 18:34:53]
843*2^815015-1 is not prime.  Res64: 2436A91D3E612002  Time : 85098.0 sec.
user=kar_bon
[2011-03-23 18:34:54]
931*2^815021-1 is not prime.  Res64: FEDCC3C814750B00  Time : 85096.0 sec.
user=kar_bon
[2011-03-23 18:34:55]
939*2^815015-1 is not prime.  Res64: 122987AFE09C831D  Time : 85100.0 sec.
user=kar_bon
[2011-03-23 18:34:56]
971*2^815014-1 is not prime.  Res64: 13D25AD28C4C8718  Time : 85101.0 sec.
user=kar_bon
[2011-03-23 18:34:57]
1001*2^815022-1 is not prime.  Res64: AAC9F5FF7C984D2A  Time : 85098.0 sec.
user=kar_bon
[2011-03-23 18:34:57]
909*2^815016-1 is not prime.  Res64: 594F61E5B21F23A3  Time : 85101.0 sec.
user=kar_bon
[2011-03-23 18:34:59]
909*2^815015-1 is not prime.  Res64: 33C32F2100C1217F  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:34:59]
939*2^815023-1 is not prime.  Res64: A8C8DBDBC28BA96F  Time : 85100.0 sec.
user=kar_bon
[2011-03-23 18:35:00]
827*2^815018-1 is not prime.  Res64: 07516143FF4755D0  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:35:02]
843*2^815024-1 is not prime.  Res64: E867426A4B3D621D  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:35:02]
973*2^815015-1 is not prime.  Res64: 527F57EFA3A221DE  Time : 85106.0 sec.
user=kar_bon
[2011-03-23 18:35:02]
957*2^815018-1 is not prime.  Res64: 56E715640F1771F5  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:35:03]
983*2^815016-1 is not prime.  Res64: A61FA157ED97C47F  Time : 85107.0 sec.
user=kar_bon
[2011-03-23 18:35:04]
909*2^815025-1 is not prime.  Res64: 51C629AF7B634461  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:35:05]
891*2^815019-1 is not prime.  Res64: CE5CF9FB0E073697  Time : 85108.0 sec.
user=kar_bon
[2011-03-23 18:35:06]
945*2^815018-1 is not prime.  Res64: FDEA330113CC3204  Time : 85109.0 sec.
user=kar_bon
[2011-03-23 18:35:07]
937*2^815025-1 is not prime.  Res64: BF25B9B6F80E1D94  Time : 85107.0 sec.
user=kar_bon
[2011-03-23 18:35:08]
863*2^815020-1 is not prime.  Res64: F604CD2397D13CB9  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:09]
903*2^815026-1 is not prime.  Res64: 80161B849B45B5E7  Time : 85108.0 sec.
user=kar_bon
[2011-03-23 18:35:09]
1001*2^815018-1 is not prime.  Res64: 87651EC30D797189  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:09]
939*2^815020-1 is not prime.  Res64: 0BEC8CB549CBD1EA  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:11]
955*2^815027-1 is not prime.  Res64: F10857F80D525A41  Time : 85110.0 sec.
user=kar_bon
[2011-03-23 18:35:12]
845*2^815020-1 is not prime.  Res64: 164A08A793C2D823  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:12]
917*2^815022-1 is not prime.  Res64: DFB196F7D542093E  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:13]
885*2^815020-1 is not prime.  Res64: 27F8ED457F41AAFE  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
861*2^815023-1 is not prime.  Res64: 9D428A81B475E2A2  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
955*2^815021-1 is not prime.  Res64: 51BB6227C134BEB5  Time : 85116.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
827*2^815024-1 is not prime.  Res64: 7822B1B66E5702EA  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
849*2^815023-1 is not prime.  Res64: 4D37204087F47576  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
819*2^815025-1 is not prime.  Res64: 523E40452ECBD585  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:14]
961*2^815023-1 is not prime.  Res64: 6BC31DCA177C24E7  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
857*2^815026-1 is not prime.  Res64: ED1EE911FB50C967  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
945*2^815024-1 is not prime.  Res64: 6601BC5268D85EEF  Time : 85116.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
871*2^815027-1 is not prime.  Res64: 996F35659BE71F74  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
921*2^815025-1 is not prime.  Res64: 838366C891847A3A  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
831*2^815029-1 is not prime.  Res64: 5C2056C13FAA6117  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
843*2^815026-1 is not prime.  Res64: 0EC4E9F5BECE8090  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
857*2^815030-1 is not prime.  Res64: 3A4235122E7D689B  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:15]
911*2^815026-1 is not prime.  Res64: 9A0306C3B8550F68  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
953*2^815030-1 is not prime.  Res64: 12FB00CB257D56B4  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
837*2^815028-1 is not prime.  Res64: A807DFC7DD0E0A86  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
827*2^815032-1 is not prime.  Res64: 3F9CA9F7B94E29BE  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
945*2^815029-1 is not prime.  Res64: 234C6D9BB305C63E  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
873*2^815032-1 is not prime.  Res64: 8DB5681E6F998D4C  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
861*2^815030-1 is not prime.  Res64: BE3B53C8F514F575  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
995*2^815032-1 is not prime.  Res64: 822E6384E70CBF45  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:16]
969*2^815031-1 is not prime.  Res64: 874B30966F2BFE4F  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
811*2^815033-1 is not prime.  Res64: 35EA766046CF359B  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
863*2^815032-1 is not prime.  Res64: 4508B65045654239  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
879*2^815033-1 is not prime.  Res64: 609F53C4B0DC5A7C  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
899*2^815032-1 is not prime.  Res64: 17BD40998148DF61  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
805*2^815033-1 is not prime.  Res64: DB3718CCE80F498F  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:17]
861*2^815033-1 is not prime.  Res64: D611EDC6693C3052  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:18]
885*2^815033-1 is not prime.  Res64: 02EE5E0C119DE86E  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:35:18]
803*2^815034-1 is not prime.  Res64: 65386D298B5EFDBF  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:18]
851*2^815034-1 is not prime.  Res64: 69C59A53892D8C30  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:18]
893*2^815034-1 is not prime.  Res64: ED2F3DCB4F36C869  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:19]
927*2^815034-1 is not prime.  Res64: C3F5C14725E409B2  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:19]
971*2^815034-1 is not prime.  Res64: 82F4E0FECEE8C83D  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:20]
913*2^815035-1 is not prime.  Res64: 69D0769F645BD187  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:20]
939*2^815035-1 is not prime.  Res64: FCFA97A2416C45F2  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:20]
973*2^815035-1 is not prime.  Res64: BA32D94E93E0D9DF  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:21]
839*2^815036-1 is not prime.  Res64: 66DB2DAC7070BFE2  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:21]
885*2^815037-1 is not prime.  Res64: A71CDC9EF8350894  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:35:21]
915*2^815037-1 is not prime.  Res64: C45D5503EF6BA739  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:21]
863*2^815038-1 is not prime.  Res64: 150F1D3779563721  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:22]
891*2^815038-1 is not prime.  Res64: BACD910B8515705A  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:22]
995*2^815038-1 is not prime.  Res64: 75BE5EA534A2C7CC  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:35:22]
813*2^815039-1 is not prime.  Res64: 5671C1A81EFB9A8A  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:22]
843*2^815039-1 is not prime.  Res64: 852C4C4E8CF0C86A  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:23]
879*2^815039-1 is not prime.  Res64: D938569DA76CA4B3  Time : 85111.0 sec.
user=gd_barnes
[2011-03-23 18:35:23]
867*2^815508-1 is not prime.  Res64: 54BD218C544CF38E  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 18:35:23]
905*2^815508-1 is not prime.  Res64: 110AD5D5984BD2E4  Time : 1542.0 sec.
user=kar_bon
[2011-03-23 18:35:23]
999*2^815039-1 is not prime.  Res64: 481D84BE33DA3E91  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:23]
803*2^815040-1 is not prime.  Res64: FD0A73F49198A95A  Time : 85110.0 sec.
user=kar_bon
[2011-03-23 18:35:23]
905*2^815040-1 is not prime.  Res64: 138AEC327D1BF446  Time : 85110.0 sec.
user=kar_bon
[2011-03-23 18:35:24]
909*2^815040-1 is not prime.  Res64: F06BF6ADE7D20FA1  Time : 85111.0 sec.
user=kar_bon
[2011-03-23 18:35:24]
927*2^815040-1 is not prime.  Res64: 007FCA7B6C67B7B7  Time : 85110.0 sec.
user=vaughan
[2011-03-23 18:36:03]
809*2^815508-1 is not prime.  Res64: B6F27791F2ED8BE4  Time : 1625.0 sec.
user=gd_barnes
[2011-03-23 18:36:54]
969*2^815508-1 is not prime.  Res64: 391C4274F163DECA  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:36:54]
895*2^815509-1 is not prime.  Res64: 3F6BD337B703B682  Time : 1519.0 sec.
user=kar_bon
[2011-03-23 18:39:12]
855*2^815041-1 is not prime.  Res64: FD5ACF48CD451780  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:13]
889*2^815041-1 is not prime.  Res64: 0C584C3C92F3A938  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:39:13]
937*2^815041-1 is not prime.  Res64: 5E4C0840D542D030  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:14]
945*2^815041-1 is not prime.  Res64: 4D1B72B8A120A4D5  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:39:14]
999*2^815041-1 is not prime.  Res64: 308D1E00DA668D6A  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:14]
801*2^815042-1 is not prime.  Res64: 850DE4FD0249C2F1  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:14]
815*2^815042-1 is not prime.  Res64: 5BB500C9FD0E3695  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:14]
825*2^815054-1 is not prime.  Res64: E3CC02A393ACB0F2  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:39:15]
945*2^815042-1 is not prime.  Res64: 4C7EECCD8C0DAA1F  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
935*2^815054-1 is not prime.  Res64: 31F2F18FD3DBD4CA  Time : 85091.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
819*2^815043-1 is not prime.  Res64: DDA43ACF4A693C63  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
909*2^815055-1 is not prime.  Res64: 8A68DD4CDC19E57F  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
951*2^815043-1 is not prime.  Res64: 36E43F43BAA45E6D  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
979*2^815055-1 is not prime.  Res64: 3D0A55CDEF5C7D99  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
843*2^815044-1 is not prime.  Res64: F40C37C8C990CC33  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
869*2^815056-1 is not prime.  Res64: 218B7A1944F6CB7F  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:16]
885*2^815044-1 is not prime.  Res64: C7F5B4FBE3EFA873  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
939*2^815056-1 is not prime.  Res64: 44D345240D2F00E0  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
989*2^815044-1 is not prime.  Res64: 492A7A3FB15BA4A4  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
871*2^815057-1 is not prime.  Res64: 32E0FC9C73036CA2  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
995*2^815044-1 is not prime.  Res64: D8F329B53B36F2E4  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
945*2^815057-1 is not prime.  Res64: D01A1DB3C63D204F  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
831*2^815045-1 is not prime.  Res64: 3D2B9B6C1935105D  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
867*2^815058-1 is not prime.  Res64: 62C9A226A7C6B2C4  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:39:17]
885*2^815045-1 is not prime.  Res64: 68F0357ED008DA04  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
919*2^815059-1 is not prime.  Res64: 6E0BBEEAEF99C760  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
815*2^815046-1 is not prime.  Res64: D6B91B203FDC165A  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
825*2^815061-1 is not prime.  Res64: 2D9E27E7F1600138  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
861*2^815046-1 is not prime.  Res64: 750FC4ACF8167AB0  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
821*2^815058-1 is not prime.  Res64: 9E6AC3C3ADBAACD2  Time : 85090.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
801*2^815062-1 is not prime.  Res64: B0D0389B13F0C5A0  Time : 85089.0 sec.
user=kar_bon
[2011-03-23 18:39:18]
891*2^815046-1 is not prime.  Res64: 38BA5CF58ED51A3B  Time : 85102.0 sec.
user=kar_bon
[2011-03-23 18:39:20]
905*2^815058-1 is not prime.  Res64: F25FB3803FF15C3C  Time : 85092.0 sec.
user=kar_bon
[2011-03-23 18:39:21]
939*2^815063-1 is not prime.  Res64: F92BD3B29C7E2A04  Time : 85091.0 sec.
user=kar_bon
[2011-03-23 18:39:21]
945*2^815046-1 is not prime.  Res64: 6DE34551A4B2FA72  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:39:23]
877*2^815065-1 is not prime.  Res64: C49A20BC2BF67623  Time : 85092.0 sec.
user=kar_bon
[2011-03-23 18:39:23]
973*2^815059-1 is not prime.  Res64: 842186288CD13450  Time : 85094.0 sec.
user=kar_bon
[2011-03-23 18:39:23]
919*2^815047-1 is not prime.  Res64: BCEB6E309C642535  Time : 85107.0 sec.
user=kar_bon
[2011-03-23 18:39:25]
921*2^815066-1 is not prime.  Res64: 0D7114A1C4537614  Time : 85094.0 sec.
user=kar_bon
[2011-03-23 18:39:26]
847*2^815061-1 is not prime.  Res64: C477B1D0343678E8  Time : 85097.0 sec.
user=kar_bon
[2011-03-23 18:39:26]
993*2^815047-1 is not prime.  Res64: C7C9064A36F1769B  Time : 85109.0 sec.
user=kar_bon
[2011-03-23 18:39:27]
993*2^815066-1 is not prime.  Res64: 94F38C2C2FAA7F7B  Time : 85096.0 sec.
user=kar_bon
[2011-03-23 18:39:28]
855*2^815062-1 is not prime.  Res64: D9430BD0D607199E  Time : 85098.0 sec.
user=kar_bon
[2011-03-23 18:39:29]
813*2^815048-1 is not prime.  Res64: 2B62DA53078CE770  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:39:31]
833*2^815068-1 is not prime.  Res64: 6EB1E933AC0A5B35  Time : 85099.0 sec.
user=kar_bon
[2011-03-23 18:39:31]
981*2^815063-1 is not prime.  Res64: 972AF3848ADA79E2  Time : 85101.0 sec.
user=kar_bon
[2011-03-23 18:39:31]
843*2^815048-1 is not prime.  Res64: CD568616ADD2B16E  Time : 85113.0 sec.
user=kar_bon
[2011-03-23 18:39:33]
923*2^815068-1 is not prime.  Res64: C0B1EDE4D463387F  Time : 85100.0 sec.
user=kar_bon
[2011-03-23 18:39:34]
947*2^815064-1 is not prime.  Res64: D8ECF717A7ADEF54  Time : 85104.0 sec.
user=kar_bon
[2011-03-23 18:39:34]
927*2^815048-1 is not prime.  Res64: 6168B4BC80186557  Time : 85116.0 sec.
user=kar_bon
[2011-03-23 18:39:36]
833*2^815070-1 is not prime.  Res64: 154B3E1EB3A24FD1  Time : 85103.0 sec.
user=kar_bon
[2011-03-23 18:39:36]
885*2^815065-1 is not prime.  Res64: B18CD984066664BA  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:39:37]
977*2^815048-1 is not prime.  Res64: 04E55C1E09466155  Time : 85119.0 sec.
user=kar_bon
[2011-03-23 18:39:38]
945*2^815070-1 is not prime.  Res64: E1A66B5479742407  Time : 85105.0 sec.
user=kar_bon
[2011-03-23 18:39:39]
923*2^815066-1 is not prime.  Res64: EC590F89E185EC6D  Time : 85108.0 sec.
user=kar_bon
[2011-03-23 18:39:41]
951*2^815071-1 is not prime.  Res64: F4926F763F632424  Time : 85107.0 sec.
user=kar_bon
[2011-03-23 18:39:41]
993*2^815048-1 is not prime.  Res64: FB3276EA6E11DD98  Time : 85122.0 sec.
user=kar_bon
[2011-03-23 18:39:41]
849*2^815067-1 is not prime.  Res64: 27EBFBF592E4417C  Time : 85109.0 sec.
user=kar_bon
[2011-03-23 18:39:43]
995*2^815072-1 is not prime.  Res64: 5D3D8BD7F97FA5F7  Time : 85109.0 sec.
user=kar_bon
[2011-03-23 18:39:43]
909*2^815049-1 is not prime.  Res64: 19E556373182F765  Time : 85124.0 sec.
user=kar_bon
[2011-03-23 18:39:44]
855*2^815068-1 is not prime.  Res64: A62F443803FE0BFE  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:39:45]
891*2^815073-1 is not prime.  Res64: 08D8E8862816C1E8  Time : 85110.0 sec.
user=kar_bon
[2011-03-23 18:39:46]
855*2^815050-1 is not prime.  Res64: 4FF46D63CFD8DC3F  Time : 85126.0 sec.
user=kar_bon
[2011-03-23 18:39:47]
927*2^815068-1 is not prime.  Res64: 1766B82BDEBB32C2  Time : 85115.0 sec.
user=kar_bon
[2011-03-23 18:39:48]
871*2^815075-1 is not prime.  Res64: 7FB0DDAC1B34C117  Time : 85112.0 sec.
user=kar_bon
[2011-03-23 18:39:49]
823*2^815051-1 is not prime.  Res64: 9022EBF67615DF89  Time : 85129.0 sec.
user=kar_bon
[2011-03-23 18:39:50]
861*2^815069-1 is not prime.  Res64: 9DDC1CC3D77CBE74  Time : 85117.0 sec.
user=kar_bon
[2011-03-23 18:39:50]
973*2^815075-1 is not prime.  Res64: 2EE10B7089532212  Time : 85114.0 sec.
user=kar_bon
[2011-03-23 18:39:51]
889*2^815051-1 is not prime.  Res64: D0398C9B80CE32ED  Time : 85131.0 sec.
user=kar_bon
[2011-03-23 18:39:53]
927*2^815070-1 is not prime.  Res64: 4653E90C7550BB5C  Time : 85120.0 sec.
user=kar_bon
[2011-03-23 18:39:53]
945*2^815076-1 is not prime.  Res64: 14D87F054C3C332C  Time : 85117.0 sec.
user=kar_bon
[2011-03-23 18:39:54]
909*2^815051-1 is not prime.  Res64: CF6A4FB190C22BD8  Time : 85133.0 sec.
user=kar_bon
[2011-03-23 18:39:55]
913*2^815071-1 is not prime.  Res64: 4C6ED770A7FAA950  Time : 85121.0 sec.
user=kar_bon
[2011-03-23 18:39:56]
885*2^815077-1 is not prime.  Res64: 32BF31DA45D793D0  Time : 85119.0 sec.
user=kar_bon
[2011-03-23 18:39:57]
955*2^815051-1 is not prime.  Res64: D2EDF106ED74ED9A  Time : 85136.0 sec.
user=kar_bon
[2011-03-23 18:39:58]
983*2^815072-1 is not prime.  Res64: 3B1077E41B02113A  Time : 85124.0 sec.
user=kar_bon
[2011-03-23 18:39:59]
861*2^815079-1 is not prime.  Res64: D0CB43BC05246EC5  Time : 85121.0 sec.
user=kar_bon
[2011-03-23 18:39:59]
969*2^815051-1 is not prime.  Res64: 8FC64C0CB4EBA494  Time : 85137.0 sec.
user=kar_bon
[2011-03-23 18:40:00]
999*2^815072-1 is not prime.  Res64: 5D80BDE705AFB62B  Time : 85126.0 sec.
user=kar_bon
[2011-03-23 18:40:02]
959*2^815080-1 is not prime.  Res64: 5C20AD6791E7F7A8  Time : 85124.0 sec.
user=kar_bon
[2011-03-23 18:40:02]
993*2^815051-1 is not prime.  Res64: 4CF9240651287C5C  Time : 85140.0 sec.
user=kar_bon
[2011-03-23 18:40:03]
805*2^815073-1 is not prime.  Res64: 01F2C78958DC83C5  Time : 85128.0 sec.
user=kar_bon
[2011-03-23 18:40:04]
945*2^815082-1 is not prime.  Res64: AC9D51C3A2B84065  Time : 85126.0 sec.
user=kar_bon
[2011-03-23 18:40:05]
819*2^815052-1 is not prime.  Res64: 078BDAB44EEA9A1E  Time : 85142.0 sec.
user=kar_bon
[2011-03-23 18:40:05]
857*2^815074-1 is not prime.  Res64: E6349E351DEF5F09  Time : 85130.0 sec.
user=kar_bon
[2011-03-23 18:40:08]
859*2^815083-1 is not prime.  Res64: 00CE60B52D3265FF  Time : 85129.0 sec.
user=kar_bon
[2011-03-23 18:40:08]
873*2^815052-1 is not prime.  Res64: 788026EA6C6F121F  Time : 85145.0 sec.
user=kar_bon
[2011-03-23 18:40:08]
883*2^815075-1 is not prime.  Res64: EDA97038A96B0934  Time : 85132.0 sec.
user=kar_bon
[2011-03-23 18:40:10]
857*2^815084-1 is not prime.  Res64: 2657B6C78158F37D  Time : 85131.0 sec.
user=kar_bon
[2011-03-23 18:40:10]
903*2^815052-1 is not prime.  Res64: CE22B289416D398E  Time : 85147.0 sec.
user=kar_bon
[2011-03-23 18:40:11]
981*2^815075-1 is not prime.  Res64: 71A019A5923635BA  Time : 85135.0 sec.
user=kar_bon
[2011-03-23 18:40:13]
801*2^815086-1 is not prime.  Res64: 44CC46DC4FC9260B  Time : 85133.0 sec.
user=kar_bon
[2011-03-23 18:40:13]
909*2^815052-1 is not prime.  Res64: D04CB749E3BAB50C  Time : 85149.0 sec.
user=kar_bon
[2011-03-23 18:40:14]
975*2^815076-1 is not prime.  Res64: EC6850F72708321D  Time : 85138.0 sec.
user=kar_bon
[2011-03-23 18:40:15]
945*2^815086-1 is not prime.  Res64: DA0F02F80494AD62  Time : 85135.0 sec.
user=kar_bon
[2011-03-23 18:40:16]
977*2^815052-1 is not prime.  Res64: 121CFC36BC87ECE6  Time : 85152.0 sec.
user=kar_bon
[2011-03-23 18:40:17]
999*2^815077-1 is not prime.  Res64: 0217E91E92E2FE96  Time : 85140.0 sec.
user=kar_bon
[2011-03-23 18:40:18]
877*2^815089-1 is not prime.  Res64: 7FDF01F29780C34E  Time : 85138.0 sec.
user=kar_bon
[2011-03-23 18:40:18]
801*2^815053-1 is not prime.  Res64: E0B017DA5E12A6F2  Time : 85154.0 sec.
user=kar_bon
[2011-03-23 18:40:20]
833*2^815078-1 is not prime.  Res64: 056AC3FCB1FCF476  Time : 85143.0 sec.
user=kar_bon
[2011-03-23 18:40:20]
859*2^815091-1 is not prime.  Res64: 21038BBF87D6FF4C  Time : 85139.0 sec.
user=kar_bon
[2011-03-23 18:40:21]
829*2^815053-1 is not prime.  Res64: E8EE92B58944F78D  Time : 85156.0 sec.
user=kar_bon
[2011-03-23 18:40:22]
867*2^815078-1 is not prime.  Res64: 930E3D276F6FB743  Time : 85144.0 sec.
user=kar_bon
[2011-03-23 18:40:23]
819*2^815092-1 is not prime.  Res64: 5FB31E1ECD4DB55B  Time : 85142.0 sec.
user=kar_bon
[2011-03-23 18:40:25]
903*2^815054-1 is not prime.  Res64: 4D6E2A98DACA706F  Time : 85160.0 sec.
user=kar_bon
[2011-03-23 18:40:25]
825*2^815080-1 is not prime.  Res64: 8FD276BE0CC51A4C  Time : 85147.0 sec.
user=kar_bon
[2011-03-23 18:40:27]
829*2^815093-1 is not prime.  Res64: 780852207DB61F13  Time : 85145.0 sec.
user=kar_bon
[2011-03-23 18:40:27]
895*2^815055-1 is not prime.  Res64: 851B78E85D2988AC  Time : 85161.0 sec.
user=kar_bon
[2011-03-23 18:40:27]
979*2^815081-1 is not prime.  Res64: 429DB6E9107034E3  Time : 85149.0 sec.
user=kar_bon
[2011-03-23 18:40:29]
937*2^815093-1 is not prime.  Res64: 3FBF757A181BAFB9  Time : 85147.0 sec.
user=kar_bon
[2011-03-23 18:40:29]
951*2^815055-1 is not prime.  Res64: 046EADFEE126240E  Time : 85163.0 sec.
user=kar_bon
[2011-03-23 18:40:30]
853*2^815083-1 is not prime.  Res64: F3050BC3033E2824  Time : 85151.0 sec.
user=kar_bon
[2011-03-23 18:40:31]
851*2^815094-1 is not prime.  Res64: 8659A7506C432E49  Time : 85149.0 sec.
user=kar_bon
[2011-03-23 18:40:32]
825*2^815056-1 is not prime.  Res64: 4822ED24D9C15A03  Time : 85166.0 sec.
user=kar_bon
[2011-03-23 18:40:33]
945*2^815083-1 is not prime.  Res64: 5C0A98377791DB5F  Time : 85154.0 sec.
user=kar_bon
[2011-03-23 18:40:34]
993*2^815094-1 is not prime.  Res64: C799DEECB8798FEA  Time : 85151.0 sec.
user=kar_bon
[2011-03-23 18:40:35]
903*2^815056-1 is not prime.  Res64: 691D1C1615A32BF7  Time : 85168.0 sec.
user=kar_bon
[2011-03-23 18:40:36]
975*2^815085-1 is not prime.  Res64: 37E8F00F0C3D611C  Time : 85156.0 sec.
user=kar_bon
[2011-03-23 18:40:38]
855*2^815096-1 is not prime.  Res64: 3E440CED13A9C9DE  Time : 85155.0 sec.
user=kar_bon
[2011-03-23 18:40:38]
829*2^815057-1 is not prime.  Res64: 11C480082BF79235  Time : 85171.0 sec.
user=kar_bon
[2011-03-23 18:40:38]
917*2^815086-1 is not prime.  Res64: 04C497440BC198F5  Time : 85158.0 sec.
user=kar_bon
[2011-03-23 18:40:40]
949*2^815097-1 is not prime.  Res64: 1EC815A3A13B532F  Time : 85156.0 sec.
user=kar_bon
[2011-03-23 18:40:41]
817*2^815089-1 is not prime.  Res64: F4442708F894DAB2  Time : 85161.0 sec.
user=kar_bon
[2011-03-23 18:40:41]
879*2^815057-1 is not prime.  Res64: F4E8C7D95A28AE10  Time : 85173.0 sec.
user=kar_bon
[2011-03-23 18:40:43]
913*2^815099-1 is not prime.  Res64: 707EC7D609CF89EE  Time : 85159.0 sec.
user=kar_bon
[2011-03-23 18:40:43]
843*2^815058-1 is not prime.  Res64: A82B97EFA1A0D07F  Time : 85175.0 sec.
user=kar_bon
[2011-03-23 18:40:43]
823*2^815091-1 is not prime.  Res64: 30F204C9350C4798  Time : 85162.0 sec.
user=kar_bon
[2011-03-23 18:40:45]
993*2^815099-1 is not prime.  Res64: 8A5CA290FFBEFE7D  Time : 85161.0 sec.
user=kar_bon
[2011-03-23 18:40:46]
885*2^815059-1 is not prime.  Res64: 2D4F030DB653C42E  Time : 85178.0 sec.
user=kar_bon
[2011-03-23 18:40:47]
909*2^815092-1 is not prime.  Res64: 2F5CCEE4AC046D9E  Time : 85166.0 sec.
user=kar_bon
[2011-03-23 18:40:48]
871*2^815101-1 is not prime.  Res64: 2D9C6A47CF50209B  Time : 85163.0 sec.
user=kar_bon
[2011-03-23 18:40:48]
963*2^815060-1 is not prime.  Res64: DE7EB8C2707B5113  Time : 85179.0 sec.
user=kar_bon
[2011-03-23 18:40:50]
825*2^815102-1 is not prime.  Res64: 4F2B787C6C21E6C4  Time : 85165.0 sec.
user=kar_bon
[2011-03-23 18:40:50]
871*2^815093-1 is not prime.  Res64: 2096FF93B027FAC9  Time : 85168.0 sec.
user=kar_bon
[2011-03-23 18:40:51]
997*2^815061-1 is not prime.  Res64: 28450C85A67D86D2  Time : 85182.0 sec.
user=kar_bon
[2011-03-23 18:40:53]
843*2^815102-1 is not prime.  Res64: C7E991D1F40DB21E  Time : 85167.0 sec.
user=kar_bon
[2011-03-23 18:40:53]
815*2^815094-1 is not prime.  Res64: 5C49C3DF7705C4CF  Time : 85171.0 sec.
user=kar_bon
[2011-03-23 18:40:53]
831*2^815063-1 is not prime.  Res64: 1A038B92AE5ED8E3  Time : 85183.0 sec.
user=kar_bon
[2011-03-23 18:40:55]
983*2^815102-1 is not prime.  Res64: 7176B0531E1FFBE1  Time : 85169.0 sec.
user=kar_bon
[2011-03-23 18:40:56]
975*2^815094-1 is not prime.  Res64: F458787E581273DD  Time : 85174.0 sec.
user=kar_bon
[2011-03-23 18:40:56]
899*2^815064-1 is not prime.  Res64: BFE557A9EAFE59E3  Time : 85186.0 sec.
user=kar_bon
[2011-03-23 18:40:58]
951*2^815103-1 is not prime.  Res64: 00C999543F8D33F8  Time : 85172.0 sec.
user=kar_bon
[2011-03-23 18:40:58]
873*2^815095-1 is not prime.  Res64: 465495F71DB33064  Time : 85175.0 sec.
user=kar_bon
[2011-03-23 18:40:59]
983*2^815064-1 is not prime.  Res64: 10700ED278ED7F42  Time : 85189.0 sec.
user=kar_bon
[2011-03-23 18:41:01]
805*2^815105-1 is not prime.  Res64: 387FC2D72F1BBFA4  Time : 85174.0 sec.
user=kar_bon
[2011-03-23 18:41:01]
901*2^815097-1 is not prime.  Res64: A0B5DC0A11687F00  Time : 85178.0 sec.
user=kar_bon
[2011-03-23 18:41:02]
957*2^815066-1 is not prime.  Res64: 8FD7FF6E84E86DAA  Time : 85191.0 sec.
user=kar_bon
[2011-03-23 18:41:03]
917*2^815106-1 is not prime.  Res64: 5D76CFABEFBCC608  Time : 85175.0 sec.
user=kar_bon
[2011-03-23 18:41:05]
827*2^815098-1 is not prime.  Res64: 9872E9B939076045  Time : 85181.0 sec.
user=kar_bon
[2011-03-23 18:41:05]
991*2^815067-1 is not prime.  Res64: 31E42055F690B16F  Time : 85193.0 sec.
user=kar_bon
[2011-03-23 18:41:06]
979*2^815107-1 is not prime.  Res64: F3F7A4507E032189  Time : 85178.0 sec.
user=kar_bon
[2011-03-23 18:41:07]
955*2^815099-1 is not prime.  Res64: 2E8F6711710A1776  Time : 85183.0 sec.
user=kar_bon
[2011-03-23 18:41:08]
869*2^815068-1 is not prime.  Res64: 7CB4304CC8113C2A  Time : 85196.0 sec.
user=kar_bon
[2011-03-23 18:41:09]
995*2^815108-1 is not prime.  Res64: AD63C3A538E18EFC  Time : 85180.0 sec.
user=kar_bon
[2011-03-23 18:41:10]
867*2^815101-1 is not prime.  Res64: 7E9D10BA84345A08  Time : 85186.0 sec.
user=kar_bon
[2011-03-23 18:41:12]
895*2^815109-1 is not prime.  Res64: 31EA4F3E9C746C5E  Time : 85183.0 sec.
user=kar_bon
[2011-03-23 18:41:12]
829*2^815069-1 is not prime.  Res64: EABA05F81012BD3D  Time : 85199.0 sec.
user=kar_bon
[2011-03-23 18:41:12]
961*2^815101-1 is not prime.  Res64: 8D348EEF80140AE4  Time : 85187.0 sec.
user=kar_bon
[2011-03-23 18:41:13]
843*2^815075-1 is not prime.  Res64: B242AD6AE5AB4FE4  Time : 85198.0 sec.
user=kar_bon
[2011-03-23 18:41:14]
939*2^815069-1 is not prime.  Res64: D32B409619B929DB  Time : 85201.0 sec.
user=kar_bon
[2011-03-23 18:41:16]
969*2^815109-1 is not prime.  Res64: 7DD14C4A804D9C32  Time : 85187.0 sec.
user=kar_bon
[2011-03-23 18:41:16]
833*2^815102-1 is not prime.  Res64: 1281AB47C475DD65  Time : 85191.0 sec.
user=kar_bon
[2011-03-23 18:41:16]
963*2^815075-1 is not prime.  Res64: E4F31552BD76F755  Time : 85200.0 sec.
user=kar_bon
[2011-03-23 18:41:17]
847*2^815073-1 is not prime.  Res64: 34EC7C1C561D9A78  Time : 85202.0 sec.
user=kar_bon
[2011-03-23 18:41:19]
923*2^815102-1 is not prime.  Res64: 00567B2DBBF8F41A  Time : 85193.0 sec.
user=kar_bon
[2011-03-23 18:41:19]
923*2^815110-1 is not prime.  Res64: BC06B738D816878A  Time : 85189.0 sec.
user=kar_bon
[2011-03-23 18:41:19]
923*2^815076-1 is not prime.  Res64: 5C38C019F0D9508D  Time : 85203.0 sec.
user=kar_bon
[2011-03-23 18:41:20]
923*2^815074-1 is not prime.  Res64: 7D2A3A0B41AE3317  Time : 85205.0 sec.
user=kar_bon
[2011-03-23 18:41:22]
981*2^815111-1 is not prime.  Res64: E1569FEEF3FB3B54  Time : 85192.0 sec.
user=kar_bon
[2011-03-23 18:41:22]
819*2^815103-1 is not prime.  Res64: A086935EBAFCD7EA  Time : 85196.0 sec.
user=kar_bon
[2011-03-23 18:41:23]
943*2^815075-1 is not prime.  Res64: 84D9EE69F35F3037  Time : 85207.0 sec.
user=kar_bon
[2011-03-23 18:41:24]
817*2^815077-1 is not prime.  Res64: 4DD589E843F44A55  Time : 85207.0 sec.
user=kar_bon
[2011-03-23 18:41:25]
945*2^815112-1 is not prime.  Res64: 58D2AEF5C70A4439  Time : 85194.0 sec.
user=kar_bon
[2011-03-23 18:41:25]
991*2^815103-1 is not prime.  Res64: 385F93BBE35FB387  Time : 85199.0 sec.
user=kar_bon
[2011-03-23 18:41:26]
909*2^815076-1 is not prime.  Res64: BE0C4F779D6C2216  Time : 85210.0 sec.
user=kar_bon
[2011-03-23 18:41:28]
945*2^815113-1 is not prime.  Res64: 55702A14F871C317  Time : 85197.0 sec.
user=kar_bon
[2011-03-23 18:41:28]
813*2^815078-1 is not prime.  Res64: 9C46A17178DEC950  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:28]
815*2^815106-1 is not prime.  Res64: 65F9F6F27B5945EB  Time : 85201.0 sec.
user=kar_bon
[2011-03-23 18:41:30]
851*2^815114-1 is not prime.  Res64: A09D1A3ED469D9C4  Time : 85199.0 sec.
user=kar_bon
[2011-03-23 18:41:30]
861*2^815078-1 is not prime.  Res64: 1FE3C32A9EBA67DE  Time : 85213.0 sec.
user=kar_bon
[2011-03-23 18:41:31]
851*2^815106-1 is not prime.  Res64: F8A7A3225FB68925  Time : 85204.0 sec.
user=kar_bon
[2011-03-23 18:41:32]
969*2^815115-1 is not prime.  Res64: 83B4449808994A1D  Time : 85200.0 sec.
user=kar_bon
[2011-03-23 18:41:32]
867*2^815081-1 is not prime.  Res64: 6D5C6DC5CACFDDC3  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:33]
891*2^815106-1 is not prime.  Res64: 68CAAF64712CB6F6  Time : 85205.0 sec.
user=kar_bon
[2011-03-23 18:41:35]
897*2^815116-1 is not prime.  Res64: E6CA16CE3D01425A  Time : 85203.0 sec.
user=kar_bon
[2011-03-23 18:41:35]
835*2^815083-1 is not prime.  Res64: A641F208864CED57  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:35]
951*2^815107-1 is not prime.  Res64: CC550DD2B7F23548  Time : 85207.0 sec.
user=kar_bon
[2011-03-23 18:41:36]
885*2^815117-1 is not prime.  Res64: 9386BFFDC0C5D8FF  Time : 85203.0 sec.
user=kar_bon
[2011-03-23 18:41:38]
871*2^815083-1 is not prime.  Res64: 8B972B284AD40C87  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:38]
963*2^815108-1 is not prime.  Res64: 5EF99589372B1E7B  Time : 85210.0 sec.
user=kar_bon
[2011-03-23 18:41:38]
841*2^815119-1 is not prime.  Res64: 3EE40553C8263E06  Time : 85205.0 sec.
user=kar_bon
[2011-03-23 18:41:40]
927*2^815085-1 is not prime.  Res64: 287ACA22F20C092E  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:40]
889*2^815109-1 is not prime.  Res64: 662E8C4CEE8D3676  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:41]
897*2^815086-1 is not prime.  Res64: 31347F59D9D55DF3  Time : 85221.0 sec.
user=kar_bon
[2011-03-23 18:41:41]
919*2^815109-1 is not prime.  Res64: B6F466D2130338DA  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:41]
929*2^815088-1 is not prime.  Res64: F3951312514CAB26  Time : 85221.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
845*2^815110-1 is not prime.  Res64: 7CE41D0241659C53  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
915*2^815090-1 is not prime.  Res64: 811F9F1C9F6FFC11  Time : 85221.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
949*2^815111-1 is not prime.  Res64: BA992AE3798201B8  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
813*2^815092-1 is not prime.  Res64: 1426737A49750DF4  Time : 85221.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
923*2^815112-1 is not prime.  Res64: B703EC4D9F60C672  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
975*2^815092-1 is not prime.  Res64: A00BF458F9D185B9  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
925*2^815113-1 is not prime.  Res64: 02ED60F98F9F4BCF  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:42]
901*2^815093-1 is not prime.  Res64: 0CC0DA988DDA6EA6  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
813*2^815114-1 is not prime.  Res64: A92A19A99C02509E  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
917*2^815094-1 is not prime.  Res64: DDDA0FEB2B8EF384  Time : 85221.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
895*2^815115-1 is not prime.  Res64: BF6518AFFB23C3BD  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
1001*2^815094-1 is not prime.  Res64: 9C4BA7856C506BD7  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
857*2^815116-1 is not prime.  Res64: F95C5295A536D55C  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
895*2^815097-1 is not prime.  Res64: 95E0A36BEEF6D025  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
999*2^815116-1 is not prime.  Res64: D93CDC2B74E4F8BC  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:43]
955*2^815097-1 is not prime.  Res64: AF9F7AFB00EE11D5  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
971*2^815118-1 is not prime.  Res64: 84128D86AB365CAD  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
921*2^815099-1 is not prime.  Res64: A726B46DBCBF2BC7  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
913*2^815119-1 is not prime.  Res64: 4CBBB9F824003502  Time : 85211.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
965*2^815100-1 is not prime.  Res64: E090AA6B6AA4768E  Time : 85220.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
993*2^815119-1 is not prime.  Res64: 6E246F818B9231DF  Time : 85210.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
937*2^815101-1 is not prime.  Res64: 792BCE212F2038EB  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:44]
827*2^815102-1 is not prime.  Res64: 5CCFC33819EB21F1  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:45]
873*2^815102-1 is not prime.  Res64: F015807A958B3929  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:45]
805*2^815103-1 is not prime.  Res64: E821912AA6EA96C9  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:45]
955*2^815103-1 is not prime.  Res64: 28158110F670DD59  Time : 85219.0 sec.
user=kar_bon
[2011-03-23 18:41:45]
861*2^815105-1 is not prime.  Res64: 51EB531DFA8D79F9  Time : 85218.0 sec.
user=kar_bon
[2011-03-23 18:41:46]
945*2^815107-1 is not prime.  Res64: E80BEB1AC927D599  Time : 85218.0 sec.
user=kar_bon
[2011-03-23 18:41:46]
899*2^815108-1 is not prime.  Res64: C8288AF603F7C099  Time : 85218.0 sec.
user=kar_bon
[2011-03-23 18:41:46]
847*2^815109-1 is not prime.  Res64: 75BF5B08806F8F34  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:46]
907*2^815109-1 is not prime.  Res64: E4EEB7BDAFBCC427  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:47]
997*2^815109-1 is not prime.  Res64: 2DDB81402C011966  Time : 85218.0 sec.
user=kar_bon
[2011-03-23 18:41:47]
909*2^815111-1 is not prime.  Res64: B040E5FC7D7206F2  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:47]
857*2^815112-1 is not prime.  Res64: E3AD5E00F63B2ECC  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:47]
807*2^815113-1 is not prime.  Res64: 1337A3F94CD261A7  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:48]
999*2^815113-1 is not prime.  Res64: 05A5F1A3198DF701  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:48]
971*2^815114-1 is not prime.  Res64: A2D03B7ED399AD3E  Time : 85217.0 sec.
user=kar_bon
[2011-03-23 18:41:48]
855*2^815116-1 is not prime.  Res64: 893E5F5223DB1B00  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:48]
927*2^815116-1 is not prime.  Res64: B565B800020C27F6  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:49]
881*2^815118-1 is not prime.  Res64: 950A9D0336141FF5  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:49]
885*2^815119-1 is not prime.  Res64: 670BF9D2B4F95A82  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:49]
975*2^815119-1 is not prime.  Res64: 0554C24029CF9AAA  Time : 85216.0 sec.
user=kar_bon
[2011-03-23 18:41:49]
819*2^815120-1 is not prime.  Res64: 3EA825F964852B93  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:49]
899*2^815120-1 is not prime.  Res64: 4AEAF1B01DA3E5B4  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:50]
909*2^815120-1 is not prime.  Res64: 3AC6B2276E3D341C  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:50]
945*2^815120-1 is not prime.  Res64: DB76F7DEB855D363  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:50]
837*2^815121-1 is not prime.  Res64: 1BB36AE0D5F1AA27  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:50]
815*2^815122-1 is not prime.  Res64: 0C5ED3E46C5ABE67  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:51]
827*2^815122-1 is not prime.  Res64: 1C626D8DC0209A83  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:51]
981*2^815122-1 is not prime.  Res64: BB28FE58AC98B4B0  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:52]
995*2^815122-1 is not prime.  Res64: BD1D01C0ED002704  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:52]
1001*2^815122-1 is not prime.  Res64: 40F7E85813166FF0  Time : 85215.0 sec.
user=kar_bon
[2011-03-23 18:41:52]
901*2^815123-1 is not prime.  Res64: 2E06088FD132C749  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:52]
863*2^815124-1 is not prime.  Res64: BD00FC9CA025317E  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:53]
919*2^815125-1 is not prime.  Res64: 93EDBC94B32F3A2F  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:53]
927*2^815125-1 is not prime.  Res64: 0B0649C1D445DFBB  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:53]
985*2^815125-1 is not prime.  Res64: 61579DB8E2891553  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:53]
935*2^815126-1 is not prime.  Res64: AA2FDCE84AA4764D  Time : 85213.0 sec.
user=kar_bon
[2011-03-23 18:41:54]
1001*2^815126-1 is not prime.  Res64: 8F7655482EE93FF5  Time : 85214.0 sec.
user=kar_bon
[2011-03-23 18:41:54]
805*2^815127-1 is not prime.  Res64: 51A1586A01C97419  Time : 85213.0 sec.
user=kar_bon
[2011-03-23 18:41:54]
885*2^815127-1 is not prime.  Res64: 986A3FD7318546D5  Time : 85213.0 sec.
user=kar_bon
[2011-03-23 18:41:54]
845*2^815128-1 is not prime.  Res64: 5D8C14EE8A229CC5  Time : 85212.0 sec.
user=kar_bon
[2011-03-23 18:41:55]
847*2^815129-1 is not prime.  Res64: 92A3B1AE03B8D096  Time : 85213.0 sec.
user=kar_bon
[2011-03-23 18:41:55]
967*2^815129-1 is not prime.  Res64: C6791CB93EAB42A3  Time : 85212.0 sec.
user=gd_barnes
[2011-03-23 18:50:21]
955*2^815509-1 is not prime.  Res64: 0714E3370177F33C  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:50:21]
975*2^815509-1 is not prime.  Res64: 45770A66EFDF7FCE  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:50:25]
887*2^815510-1 is not prime.  Res64: 01BE410A7DAC5679  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:50:25]
911*2^815510-1 is not prime.  Res64: 44EAAA1CE187304A  Time : 1547.0 sec.
user=gd_barnes
[2011-03-23 18:53:21]
981*2^815510-1 is not prime.  Res64: E86B05747F98D1BB  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 18:53:21]
995*2^815510-1 is not prime.  Res64: 850131554048251E  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 18:53:55]
859*2^815511-1 is not prime.  Res64: 61BBFE0885537574  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:53:55]
885*2^815511-1 is not prime.  Res64: 60C11089C6E7BBE9  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 18:54:01]
909*2^815511-1 is not prime.  Res64: 638422CE39213459  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 18:54:01]
973*2^815511-1 is not prime.  Res64: 219F3483855708DB  Time : 1524.0 sec.
user=gd_barnes
[2011-03-23 18:55:56]
807*2^815512-1 is not prime.  Res64: 58B399CFB495A0BF  Time : 1517.0 sec.
user=gd_barnes
[2011-03-23 18:55:56]
833*2^815512-1 is not prime.  Res64: 052C1F7E0B4F1971  Time : 1517.0 sec.
user=vaughan
[2011-03-23 18:56:52]
857*2^815512-1 is not prime.  Res64: F3F31A1C3F42DFDD  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 19:01:10]
979*2^815549-1 is not prime.  Res64: 1434FC2311FD663C  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 19:01:10]
871*2^815551-1 is not prime.  Res64: C6ACB11DCCA94D4B  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 19:02:14]
871*2^815601-1 is not prime.  Res64: 8498F1FEF2A74686  Time : 1519.0 sec.
user=gd_barnes
[2011-03-23 19:02:14]
937*2^815601-1 is not prime.  Res64: 764ED4F44395E269  Time : 1519.0 sec.
user=vaughan
[2011-03-23 19:02:58]
909*2^815600-1 is not prime.  Res64: 30772D1488EA659E  Time : 1616.0 sec.
user=vaughan
[2011-03-23 19:06:25]
945*2^815510-1 is not prime.  Res64: AEF9867FDDE68F4E  Time : 2402.0 sec.
user=vaughan
[2011-03-23 19:08:42]
975*2^815511-1 is not prime.  Res64: 495CDAC5B3EC7050  Time : 2398.0 sec.
user=gd_barnes
[2011-03-23 19:16:05]
847*2^815677-1 is not prime.  Res64: 62E52354D60BEA0B  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 19:16:05]
897*2^815677-1 is not prime.  Res64: D88E3127486D2D6A  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 19:16:07]
801*2^815678-1 is not prime.  Res64: DF01AD18C50CEE5C  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 19:16:07]
845*2^815678-1 is not prime.  Res64: BAAB81FF502CD933  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 19:19:07]
887*2^815678-1 is not prime.  Res64: 3292A9FA477CA80B  Time : 1545.0 sec.
user=gd_barnes
[2011-03-23 19:19:07]
923*2^815678-1 is not prime.  Res64: 8E93F20E2FF3720A  Time : 1545.0 sec.
user=gd_barnes
[2011-03-23 19:19:09]
957*2^815678-1 is not prime.  Res64: 8818EBF8DDE21157  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 19:19:09]
977*2^815678-1 is not prime.  Res64: 072D76724FF8FE6D  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 19:19:18]
829*2^815679-1 is not prime.  Res64: 2DB8C159B58B4109  Time : 1516.0 sec.
user=gd_barnes
[2011-03-23 19:19:18]
985*2^815679-1 is not prime.  Res64: A77409DD8FA5D697  Time : 1516.0 sec.
user=gd_barnes
[2011-03-23 19:21:13]
819*2^815680-1 is not prime.  Res64: 596F3A7E040B5ED6  Time : 1516.0 sec.
user=gd_barnes
[2011-03-23 19:21:13]
825*2^815680-1 is not prime.  Res64: 4BB868C4FE4C30CD  Time : 1516.0 sec.
user=vaughan
[2011-03-23 19:22:30]
843*2^815680-1 is not prime.  Res64: 76458047AAF0F2C8  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 19:26:52]
915*2^815680-1 is not prime.  Res64: C269C4CB757CDD34  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 19:26:52]
965*2^815680-1 is not prime.  Res64: 4692FB574D9A5151  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 19:27:29]
983*2^815680-1 is not prime.  Res64: A7E9C4AD461CC202  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 19:27:29]
999*2^815680-1 is not prime.  Res64: 38B5371672C10918  Time : 1514.0 sec.
user=vaughan
[2011-03-23 19:30:03]
837*2^815681-1 is not prime.  Res64: 18FEC69AEC1693D5  Time : 1625.0 sec.
user=gd_barnes
[2011-03-23 19:41:46]
885*2^815682-1 is not prime.  Res64: 5BA048BA926D2028  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 19:41:46]
941*2^815682-1 is not prime.  Res64: C5F39FEC2F3BD5CD  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 19:41:52]
813*2^815683-1 is not prime.  Res64: A2E090174B7FCB4D  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 19:41:52]
859*2^815683-1 is not prime.  Res64: F2D17DC982AD35E4  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 19:44:25]
813*2^815684-1 is not prime.  Res64: 1A6FC10F5F53D5F2  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 19:44:25]
903*2^815684-1 is not prime.  Res64: B8CF4FCD9AD2B976  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 19:44:34]
817*2^815685-1 is not prime.  Res64: 858C19AE651E5D2A  Time : 1515.0 sec.
user=gd_barnes
[2011-03-23 19:44:34]
889*2^815685-1 is not prime.  Res64: 7F0DC94DF5BCF07E  Time : 1515.0 sec.
user=gd_barnes
[2011-03-23 19:44:52]
885*2^815683-1 is not prime.  Res64: 4741BE66CAE5B6C4  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 19:44:52]
973*2^815683-1 is not prime.  Res64: 4B6CA6FF3492E452  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 19:46:32]
937*2^815685-1 is not prime.  Res64: 8B1F52F0BA5CE219  Time : 1518.0 sec.
user=gd_barnes
[2011-03-23 19:46:32]
997*2^815685-1 is not prime.  Res64: BA405C570A5735D9  Time : 1518.0 sec.
user=vaughan
[2011-03-23 19:46:49]
937*2^815681-1 is not prime.  Res64: 3431B03E44D29DBD  Time : 2425.0 sec.
user=vaughan
[2011-03-23 19:48:10]
873*2^815686-1 is not prime.  Res64: DB11EF214F2551C1  Time : 1540.0 sec.
user=vaughan
[2011-03-23 19:49:05]
981*2^815681-1 is not prime.  Res64: 89CCBA1D408563EC  Time : 2423.0 sec.
user=gd_barnes
[2011-03-23 19:52:39]
887*2^815686-1 is not prime.  Res64: 93465DDE41DE0936  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 19:52:39]
859*2^815687-1 is not prime.  Res64: C10EE26B3D72A0A5  Time : 1546.0 sec.
user=gd_barnes
[2011-03-23 19:52:42]
901*2^815687-1 is not prime.  Res64: D6E7641CDA13DE50  Time : 1512.0 sec.
user=gd_barnes
[2011-03-23 19:52:42]
963*2^815687-1 is not prime.  Res64: FA8ACC522AE15EFA  Time : 1512.0 sec.
user=vaughan
[2011-03-23 19:57:03]
803*2^815688-1 is not prime.  Res64: 34231FB282190B80  Time : 1621.0 sec.
user=gd_barnes
[2011-03-23 20:07:30]
809*2^815688-1 is not prime.  Res64: 7EF45F060E2E3C6F  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:07:31]
845*2^815688-1 is not prime.  Res64: EA09ABA0E4CC0635  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:07:42]
905*2^815688-1 is not prime.  Res64: 5921F8655F23F79E  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 20:07:42]
929*2^815688-1 is not prime.  Res64: 388B6A41390D8D4F  Time : 1549.0 sec.
user=gd_barnes
[2011-03-23 20:09:40]
829*2^815689-1 is not prime.  Res64: B79BFE7B9ABDEF09  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 20:09:40]
831*2^815689-1 is not prime.  Res64: 2B0523E1BD730B49  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 20:09:52]
835*2^815689-1 is not prime.  Res64: E0A2A3FF0305F00A  Time : 1517.0 sec.
user=gd_barnes
[2011-03-23 20:09:52]
909*2^815689-1 is not prime.  Res64: B969A762EB3A9942  Time : 1517.0 sec.
user=gd_barnes
[2011-03-23 20:10:37]
999*2^815689-1 is not prime.  Res64: 81951E74F0833956  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:10:37]
813*2^815690-1 is not prime.  Res64: 2D79D3FB7B18281C  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:11:48]
957*2^815690-1 is not prime.  Res64: E8C61F560BB997F1  Time : 1515.0 sec.
user=gd_barnes
[2011-03-23 20:11:48]
1001*2^815690-1 is not prime.  Res64: 937346CFEF34DF93  Time : 1515.0 sec.
user=vaughan
[2011-03-23 20:13:50]
949*2^815691-1 is not prime.  Res64: 7DC6172D8DE56EEA  Time : 1540.0 sec.
user=vaughan
[2011-03-23 20:15:25]
897*2^815494-1 is not prime.  Res64: 9027CD9FEAD7625D  Time : 9868.0 sec.
user=gd_barnes
[2011-03-23 20:17:59]
859*2^815693-1 is not prime.  Res64: 1C25D415BF1D18E6  Time : 1516.0 sec.
user=gd_barnes
[2011-03-23 20:17:59]
979*2^815693-1 is not prime.  Res64: 2B02CF972E76A5EF  Time : 1516.0 sec.
user=gd_barnes
[2011-03-23 20:18:23]
863*2^815692-1 is not prime.  Res64: 7BE64BF3C98A4CDB  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 20:18:23]
909*2^815692-1 is not prime.  Res64: 9E8D858A1B081298  Time : 1543.0 sec.
user=vaughan
[2011-03-23 20:24:01]
815*2^815694-1 is not prime.  Res64: 4EB8323B6FF1DF1F  Time : 1619.0 sec.
user=vaughan
[2011-03-23 20:27:29]
901*2^815691-1 is not prime.  Res64: 70429F9795E22518  Time : 2441.0 sec.
user=vaughan
[2011-03-23 20:29:35]
955*2^815691-1 is not prime.  Res64: EE97D8F2C7D217F9  Time : 2430.0 sec.
user=gd_barnes
[2011-03-23 20:33:16]
887*2^815694-1 is not prime.  Res64: 57A7D89FB163135D  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:33:16]
885*2^815695-1 is not prime.  Res64: 66CC96133CAD5CCD  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:33:24]
845*2^815696-1 is not prime.  Res64: F05E2F37426B2158  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 20:33:24]
855*2^815696-1 is not prime.  Res64: 8FD06EE7EC01380E  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 20:34:53]
923*2^815696-1 is not prime.  Res64: 410F81C4DC2AB5DB  Time : 1512.0 sec.
user=gd_barnes
[2011-03-23 20:34:53]
983*2^815696-1 is not prime.  Res64: 2160D65F5659BFF4  Time : 1512.0 sec.
user=gd_barnes
[2011-03-23 20:35:04]
937*2^815697-1 is not prime.  Res64: 1F8D8601581E40FD  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 20:35:04]
955*2^815697-1 is not prime.  Res64: 11400B3AAF08831C  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 20:36:23]
831*2^815698-1 is not prime.  Res64: DADC59EEDBB3ED35  Time : 1545.0 sec.
user=gd_barnes
[2011-03-23 20:36:23]
945*2^815698-1 is not prime.  Res64: C22067E58AE7E8B5  Time : 1545.0 sec.
user=gd_barnes
[2011-03-23 20:37:00]
981*2^815698-1 is not prime.  Res64: 6CCA06787C90E8F4  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 20:37:00]
819*2^815699-1 is not prime.  Res64: CF57674D4DD8BAC6  Time : 1511.0 sec.
user=vaughan
[2011-03-23 20:39:38]
843*2^815699-1 is not prime.  Res64: F18E711FBE47312B  Time : 1548.0 sec.
user=gd_barnes
[2011-03-23 20:43:10]
913*2^815699-1 is not prime.  Res64: E591509C20600354  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 20:43:10]
955*2^815699-1 is not prime.  Res64: AD1356AEA4857CCD  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 20:44:07]
985*2^815699-1 is not prime.  Res64: 619E39BC941B5D5E  Time : 1543.0 sec.
user=gd_barnes
[2011-03-23 20:44:07]
887*2^815700-1 is not prime.  Res64: E7ADD31CE8920A7A  Time : 1543.0 sec.
user=vaughan
[2011-03-23 20:50:53]
933*2^815700-1 is not prime.  Res64: B1462AEA547EC668  Time : 1612.0 sec.
user=gd_barnes
[2011-03-23 20:58:59]
997*2^815701-1 is not prime.  Res64: 4449344C99BB9160  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 20:58:59]
915*2^815702-1 is not prime.  Res64: 49E19CBFA9765386  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 20:59:09]
953*2^815702-1 is not prime.  Res64: 4365AD7FE40359A0  Time : 1544.0 sec.
user=gd_barnes
[2011-03-23 20:59:09]
831*2^815703-1 is not prime.  Res64: F104B2D452EED809  Time : 1544.0 sec.
user=ototero
[2011-03-23 20:59:52]
981*2^815497-1 is not prime.  Res64: A55ECA8E3C69DE66  Time : 11885.0 sec.
user=ototero
[2011-03-23 20:59:52]
831*2^815498-1 is not prime.  Res64: 4D76B7CA50691ED0  Time : 11885.0 sec.
user=ototero
[2011-03-23 20:59:52]
833*2^815498-1 is not prime.  Res64: A4B3034622D761C4  Time : 11884.0 sec.
user=ototero
[2011-03-23 20:59:52]
895*2^815499-1 is not prime.  Res64: E862700FAA8D8A3F  Time : 11884.0 sec.
user=ototero
[2011-03-23 20:59:53]
903*2^815499-1 is not prime.  Res64: FBF4315BDEE1B431  Time : 11885.0 sec.
user=ototero
[2011-03-23 20:59:53]
985*2^815499-1 is not prime.  Res64: E500A4C9D2E86DD2  Time : 11884.0 sec.
user=ototero
[2011-03-23 20:59:53]
897*2^815500-1 is not prime.  Res64: 10E3B6597A7AAED1  Time : 11884.0 sec.
user=ototero
[2011-03-23 20:59:53]
923*2^815500-1 is not prime.  Res64: 893093BACE3AC9E1  Time : 11884.0 sec.
user=ototero
[2011-03-23 20:59:53]
855*2^815501-1 is not prime.  Res64: CCF45A5E74662028  Time : 11883.0 sec.
user=ototero
[2011-03-23 20:59:53]
861*2^815501-1 is not prime.  Res64: C34D0374C0CD0BA6  Time : 11883.0 sec.
user=gd_barnes
[2011-03-23 21:00:04]
891*2^815703-1 is not prime.  Res64: D25CAD5991F73CF7  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:00:04]
919*2^815703-1 is not prime.  Res64: 57E25BC9EDE16BE3  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:00:16]
955*2^815703-1 is not prime.  Res64: 9F652B3C1B8FF5E7  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 21:00:16]
887*2^815704-1 is not prime.  Res64: 6D7BA44A8ECA690A  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 21:02:04]
917*2^815704-1 is not prime.  Res64: D824B2133B9B7E39  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 21:02:04]
927*2^815704-1 is not prime.  Res64: 807E1E1D17971DD5  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 21:02:16]
939*2^815704-1 is not prime.  Res64: 24CF0EBF1A2A131B  Time : 1515.0 sec.
user=gd_barnes
[2011-03-23 21:02:16]
909*2^815705-1 is not prime.  Res64: EEEAAF1400CFECB8  Time : 1515.0 sec.
user=vaughan
[2011-03-23 21:05:15]
893*2^815706-1 is not prime.  Res64: ECC372521F0D81F8  Time : 1537.0 sec.
user=vaughan
[2011-03-23 21:08:04]
889*2^815701-1 is not prime.  Res64: ADEE7BD3E89A1BF0  Time : 2436.0 sec.
user=gd_barnes
[2011-03-23 21:08:20]
841*2^815707-1 is not prime.  Res64: B4A82BE447D656F0  Time : 1509.0 sec.
user=gd_barnes
[2011-03-23 21:08:20]
843*2^815707-1 is not prime.  Res64: 16D2878080F9B6DA  Time : 1509.0 sec.
user=gd_barnes
[2011-03-23 21:09:46]
925*2^815707-1 is not prime.  Res64: 95E49E5DF66CAE6E  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 21:09:46]
935*2^815708-1 is not prime.  Res64: 9E1BE9C4770533FA  Time : 1538.0 sec.
user=vaughan
[2011-03-23 21:10:07]
951*2^815701-1 is not prime.  Res64: A07525D0492B7945  Time : 2432.0 sec.
user=vaughan
[2011-03-23 21:17:47]
999*2^815708-1 is not prime.  Res64: A5E86C09AE0DFB8E  Time : 1614.0 sec.
user=gd_barnes
[2011-03-23 21:24:38]
865*2^815709-1 is not prime.  Res64: 76FF68E95A7BA630  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 21:24:38]
895*2^815709-1 is not prime.  Res64: A489CA1989C842AC  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 21:24:49]
919*2^815709-1 is not prime.  Res64: 6DC7BE0E637C3112  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 21:24:49]
945*2^815709-1 is not prime.  Res64: B94EA53CB2636547  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 21:25:19]
843*2^815712-1 is not prime.  Res64: A155E7BD2CBCBF46  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 21:25:19]
849*2^815712-1 is not prime.  Res64: 5069C4EB4835E4DD  Time : 1514.0 sec.
user=gd_barnes
[2011-03-23 21:25:35]
917*2^815712-1 is not prime.  Res64: 5F3A0492EB319FB0  Time : 1518.0 sec.
user=gd_barnes
[2011-03-23 21:25:35]
983*2^815712-1 is not prime.  Res64: 76B26F284FCB2347  Time : 1518.0 sec.
user=gd_barnes
[2011-03-23 21:27:27]
885*2^815714-1 is not prime.  Res64: 56A88547C1F1A502  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:27:27]
963*2^815715-1 is not prime.  Res64: FC49FD70684D874E  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:27:43]
895*2^815713-1 is not prime.  Res64: A4E505193B67F15C  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 21:27:43]
851*2^815714-1 is not prime.  Res64: 50CC45D8EF2D9CD0  Time : 1538.0 sec.
user=vaughan
[2011-03-23 21:31:06]
813*2^815716-1 is not prime.  Res64: 3B3FAB97C9F84D7A  Time : 1551.0 sec.
user=gd_barnes
[2011-03-23 21:33:34]
957*2^815716-1 is not prime.  Res64: 127A89AF42F256EB  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 21:33:34]
969*2^815716-1 is not prime.  Res64: 979C0CA199C41F33  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 21:35:29]
999*2^815716-1 is not prime.  Res64: 69A9C0C437EB39A0  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 21:35:29]
871*2^815717-1 is not prime.  Res64: 0AB514639A08369A  Time : 1542.0 sec.
user=vaughan
[2011-03-23 21:44:46]
985*2^815717-1 is not prime.  Res64: 3362DE5A42D0C66F  Time : 1619.0 sec.
user=vaughan
[2011-03-23 21:48:34]
855*2^815716-1 is not prime.  Res64: D82EA82DE69F2971  Time : 2431.0 sec.
user=gd_barnes
[2011-03-23 21:50:21]
991*2^815717-1 is not prime.  Res64: 73D20979B8FC835D  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 21:50:21]
861*2^815718-1 is not prime.  Res64: E8419347567E21EB  Time : 1542.0 sec.
user=vaughan
[2011-03-23 21:50:26]
925*2^815717-1 is not prime.  Res64: B3AEE22CC9185F9C  Time : 2419.0 sec.
user=gd_barnes
[2011-03-23 21:50:30]
841*2^815719-1 is not prime.  Res64: BA614C6CEFA804C2  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:50:30]
859*2^815719-1 is not prime.  Res64: 3A972F7E73888776  Time : 1510.0 sec.
user=gd_barnes
[2011-03-23 21:50:31]
893*2^815718-1 is not prime.  Res64: 3DD2538251AC369D  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 21:50:31]
923*2^815718-1 is not prime.  Res64: A123918E2027B86F  Time : 1541.0 sec.
user=gd_barnes
[2011-03-23 21:50:47]
861*2^815719-1 is not prime.  Res64: 938FB9F143800578  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 21:50:47]
993*2^815719-1 is not prime.  Res64: A0176A909ACD3EDC  Time : 1511.0 sec.
user=gd_barnes
[2011-03-23 21:52:35]
839*2^815720-1 is not prime.  Res64: 2FE238F9CE4D377E  Time : 1507.0 sec.
user=gd_barnes
[2011-03-23 21:52:35]
923*2^815720-1 is not prime.  Res64: A33C4B4B6DA9A878  Time : 1507.0 sec.
user=gd_barnes
[2011-03-23 21:53:26]
847*2^815721-1 is not prime.  Res64: E7957B8165A023D1  Time : 1542.0 sec.
user=gd_barnes
[2011-03-23 21:53:26]
889*2^815721-1 is not prime.  Res64: 2A392335F0498D36  Time : 1542.0 sec.
user=vaughan
[2011-03-23 21:56:50]
827*2^815722-1 is not prime.  Res64: 4E9BDF565793F8C0  Time : 1545.0 sec.
user=gd_barnes
[2011-03-23 21:58:40]
831*2^815722-1 is not prime.  Res64: 47901C69604E4076  Time : 1505.0 sec.
user=gd_barnes
[2011-03-23 21:58:40]
857*2^815722-1 is not prime.  Res64: B67D271BC4980196  Time : 1505.0 sec.
user=gd_barnes
[2011-03-23 22:01:08]
885*2^815722-1 is not prime.  Res64: D6B7DC6FAAA5DB6F  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 22:01:08]
891*2^815722-1 is not prime.  Res64: A22B45B0B0F5E8D5  Time : 1538.0 sec.
user=vaughan
[2011-03-23 22:11:40]
911*2^815722-1 is not prime.  Res64: 7B7DA49AE381BAED  Time : 1614.0 sec.
user=gd_barnes
[2011-03-23 22:15:33]
889*2^815723-1 is not prime.  Res64: 7AC4649A79E3659E  Time : 1502.0 sec.
user=gd_barnes
[2011-03-23 22:15:33]
921*2^815723-1 is not prime.  Res64: 09A9E06CC38D8E2D  Time : 1502.0 sec.
user=gd_barnes
[2011-03-23 22:16:00]
849*2^815725-1 is not prime.  Res64: B6661CF889645057  Time : 1512.0 sec.
user=gd_barnes
[2011-03-23 22:16:00]
895*2^815725-1 is not prime.  Res64: DC55CE34474CC29C  Time : 1512.0 sec.
user=gd_barnes
[2011-03-23 22:16:01]
957*2^815722-1 is not prime.  Res64: DDB6473E313D6375  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 22:16:01]
801*2^815723-1 is not prime.  Res64: 79B79CAE38A16901  Time : 1539.0 sec.
user=gd_barnes
[2011-03-23 22:16:10]
963*2^815723-1 is not prime.  Res64: E9DC293E376FB6EC  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 22:16:10]
843*2^815724-1 is not prime.  Res64: 5BE8B2FD7B6188FD  Time : 1538.0 sec.
user=gd_barnes
[2011-03-23 22:17:40]
813*2^815726-1 is not prime.  Res64: 89AE0A54B467BCF1  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 22:17:40]
825*2^815726-1 is not prime.  Res64: A549D501AE9429C0  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 22:19:01]
843*2^815726-1 is not prime.  Res64: 14F5054D0D35629A  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 22:19:01]
875*2^815726-1 is not prime.  Res64: 4CC73799CB9F26B2  Time : 1534.0 sec.
user=vaughan
[2011-03-23 22:22:46]
923*2^815726-1 is not prime.  Res64: 892C02CD342278EF  Time : 1557.0 sec.
user=gd_barnes
[2011-03-23 22:23:47]
825*2^815727-1 is not prime.  Res64: 754EE03DB658A660  Time : 1506.0 sec.
user=gd_barnes
[2011-03-23 22:23:47]
849*2^815728-1 is not prime.  Res64: 8A195ADE3EC620E5  Time : 1506.0 sec.
user=gd_barnes
[2011-03-23 22:26:43]
999*2^815728-1 is not prime.  Res64: 033D1313FA4277D7  Time : 1534.0 sec.
user=gd_barnes
[2011-03-23 22:26:43]
829*2^815729-1 is not prime.  Res64: DE1F751B6EFCAA37  Time : 1534.0 sec.
user=vaughan
[2011-03-23 22:28:33]
917*2^815722-1 is not prime.  Res64: 12F5F280AD6EE603  Time : 2400.0 sec.
user=vaughan
[2011-03-23 22:30:37]
813*2^815723-1 is not prime.  Res64: E984C06AFAAD7406  Time : 2411.0 sec.
user=vaughan
[2011-03-23 22:38:30]
987*2^815729-1 is not prime.  Res64: 45DCD2645BD151A6  Time : 1611.0 sec.
user=gd_barnes
[2011-03-23 22:40:41]
833*2^815730-1 is not prime.  Res64: CA30EB6023EEC207  Time : 1507.0 sec.
user=gd_barnes
[2011-03-23 22:40:41]
861*2^815730-1 is not prime.  Res64: 5DA01113329E3D61  Time : 1507.0 sec.
user=gd_barnes
[2011-03-23 22:41:14]
867*2^815730-1 is not prime.  Res64: 791788AC67D5506A  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 22:41:14]
927*2^815730-1 is not prime.  Res64: 7D8191BCFC623AB0  Time : 1513.0 sec.
user=gd_barnes
[2011-03-23 22:41:35]
1001*2^815730-1 is not prime.  Res64: D8CFC5DAFD30DD44  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 22:41:35]
901*2^815731-1 is not prime.  Res64: F39E5B7A9017AE6C  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 22:41:46]
931*2^815731-1 is not prime.  Res64: 37CFC4DD4D1AA9EC  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 22:41:46]
969*2^815731-1 is not prime.  Res64: 8171E0D7FD8EAFB2  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 22:42:46]
803*2^815732-1 is not prime.  Res64: 366CB6A3B2270285  Time : 1505.0 sec.
user=gd_barnes
[2011-03-23 22:42:46]
819*2^815732-1 is not prime.  Res64: 5909AAC603A022B1  Time : 1505.0 sec.
user=gd_barnes
[2011-03-23 22:44:32]
825*2^815732-1 is not prime.  Res64: B144282B80E28D49  Time : 1530.0 sec.
user=gd_barnes
[2011-03-23 22:44:32]
843*2^815732-1 is not prime.  Res64: C328BC26C6966AEC  Time : 1530.0 sec.
user=vaughan
[2011-03-23 22:48:26]
909*2^815732-1 is not prime.  Res64: 456111B8738682D7  Time : 1540.0 sec.
user=gd_barnes
[2011-03-23 22:48:52]
983*2^815732-1 is not prime.  Res64: 46747D54AD8956FA  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 22:48:52]
829*2^815733-1 is not prime.  Res64: 6417EB17C827D0F4  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 22:52:19]
891*2^815733-1 is not prime.  Res64: AB1DB910934E7FE8  Time : 1535.0 sec.
user=gd_barnes
[2011-03-23 22:52:19]
937*2^815733-1 is not prime.  Res64: 30740243C4488BD7  Time : 1535.0 sec.
user=vaughan
[2011-03-23 22:59:34]
889*2^815699-1 is not prime.  Res64: 586FDD101214E348  Time : 9849.0 sec.
user=vaughan
[2011-03-23 23:05:28]
951*2^815734-1 is not prime.  Res64: 930FB992AA5F0F74  Time : 1620.0 sec.
user=gd_barnes
[2011-03-23 23:05:43]
971*2^815734-1 is not prime.  Res64: 81DB2D1ABBF243F6  Time : 1501.0 sec.
user=gd_barnes
[2011-03-23 23:05:44]
987*2^815734-1 is not prime.  Res64: B9F228BE16817967  Time : 1502.0 sec.
user=gd_barnes
[2011-03-23 23:06:19]
819*2^815735-1 is not prime.  Res64: AE07CB57B85263D5  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 23:06:19]
841*2^815735-1 is not prime.  Res64: 6DEFA5E945A44D5B  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 23:07:13]
895*2^815735-1 is not prime.  Res64: 9F20525B0CDD3755  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:07:13]
973*2^815735-1 is not prime.  Res64: 08B83FAC1093BD9C  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:07:24]
839*2^815736-1 is not prime.  Res64: 1DA6B8CA0CDD83E6  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:07:24]
845*2^815736-1 is not prime.  Res64: F2F5FA76EF03FF2B  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:07:51]
905*2^815736-1 is not prime.  Res64: F4216616FBCE4238  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 23:07:51]
923*2^815736-1 is not prime.  Res64: B57E1AE39E5D65BC  Time : 1504.0 sec.
user=vaughan
[2011-03-23 23:08:52]
861*2^815734-1 is not prime.  Res64: 04689EF8AACD9F29  Time : 2419.0 sec.
user=gd_barnes
[2011-03-23 23:10:09]
847*2^815737-1 is not prime.  Res64: 98A977FA042635C1  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 23:10:09]
813*2^815738-1 is not prime.  Res64: B884260E08F7AC11  Time : 1536.0 sec.
user=vaughan
[2011-03-23 23:10:55]
885*2^815734-1 is not prime.  Res64: 6117A66C344CB0A0  Time : 2419.0 sec.
user=gd_barnes
[2011-03-23 23:14:00]
957*2^815738-1 is not prime.  Res64: 70C631D48A9A51A5  Time : 1507.0 sec.
user=gd_barnes
[2011-03-23 23:14:00]
801*2^815739-1 is not prime.  Res64: 18F13686A66A333A  Time : 1507.0 sec.
user=vaughan
[2011-03-23 23:14:28]
831*2^815738-1 is not prime.  Res64: 5B287460BFB5C1CB  Time : 1562.0 sec.
user=gd_barnes
[2011-03-23 23:17:56]
863*2^815740-1 is not prime.  Res64: 17292AA45A4D20E4  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 23:17:56]
909*2^815740-1 is not prime.  Res64: 92659277BE09788D  Time : 1536.0 sec.
user=gd_barnes
[2011-03-23 23:30:49]
925*2^815741-1 is not prime.  Res64: BA57DDBB8CC18F11  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 23:30:49]
927*2^815741-1 is not prime.  Res64: 556717769D53ED38  Time : 1504.0 sec.
user=gd_barnes
[2011-03-23 23:31:26]
885*2^815742-1 is not prime.  Res64: 5BE07B34F53C1A09  Time : 1506.0 sec.
user=gd_barnes
[2011-03-23 23:31:26]
893*2^815742-1 is not prime.  Res64: BC669EA3476C6095  Time : 1506.0 sec.
user=vaughan
[2011-03-23 23:32:20]
855*2^815741-1 is not prime.  Res64: 6F1697A061E16E93  Time : 1612.0 sec.
user=gd_barnes
[2011-03-23 23:32:47]
941*2^815742-1 is not prime.  Res64: 6AE69EC1A502AA10  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:32:47]
957*2^815742-1 is not prime.  Res64: 251326155903763F  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:32:58]
819*2^815743-1 is not prime.  Res64: BF95F133B44B8F1E  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:32:58]
853*2^815743-1 is not prime.  Res64: F9BF7E6602280AE4  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:33:00]
919*2^815743-1 is not prime.  Res64: B57A9CFB7F2989AB  Time : 1508.0 sec.
user=gd_barnes
[2011-03-23 23:33:00]
855*2^815744-1 is not prime.  Res64: 6773843E1DA4E172  Time : 1508.0 sec.
user=gd_barnes
[2011-03-23 23:35:43]
997*2^815745-1 is not prime.  Res64: D4BB131FDAE873E3  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:35:43]
923*2^815746-1 is not prime.  Res64: E1ABBC3C88CF87BB  Time : 1533.0 sec.
user=gd_barnes
[2011-03-23 23:39:03]
947*2^815746-1 is not prime.  Res64: C9A9F0E7E7B08523  Time : 1502.0 sec.
user=gd_barnes
[2011-03-23 23:39:03]
971*2^815746-1 is not prime.  Res64: D695913FB324B89A  Time : 1502.0 sec.
user=vaughan
[2011-03-23 23:40:36]
859*2^815747-1 is not prime.  Res64: 0241D2777E5CC2E6  Time : 1569.0 sec.
user=gd_barnes
[2011-03-23 23:43:34]
939*2^815747-1 is not prime.  Res64: B06D01C8161E8EE2  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:43:34]
945*2^815747-1 is not prime.  Res64: 46A65174BE8D9A09  Time : 1537.0 sec.
user=vaughan
[2011-03-23 23:48:47]
819*2^815745-1 is not prime.  Res64: B09C24A2FB384BEE  Time : 2396.0 sec.
user=vaughan
[2011-03-23 23:51:24]
941*2^815746-1 is not prime.  Res64: 80AB112A9FB31EC3  Time : 2430.0 sec.
user=gd_barnes
[2011-03-23 23:55:56]
979*2^815747-1 is not prime.  Res64: 41CA9FADC3EE3EFD  Time : 1506.0 sec.
user=gd_barnes
[2011-03-23 23:55:56]
825*2^815748-1 is not prime.  Res64: 17CBECA6555F8503  Time : 1506.0 sec.
user=gd_barnes
[2011-03-23 23:56:30]
845*2^815748-1 is not prime.  Res64: 34CDED8F3C139A00  Time : 1503.0 sec.
user=gd_barnes
[2011-03-23 23:56:30]
993*2^815748-1 is not prime.  Res64: 1BD89CE39E656ABF  Time : 1503.0 sec.
user=vaughan
[2011-03-23 23:57:40]
895*2^815751-1 is not prime.  Res64: 37B211DF5BC06BFA  Time : 1025.0 sec.
user=gd_barnes
[2011-03-23 23:58:10]
897*2^815750-1 is not prime.  Res64: EEEFBD8CE21BA44B  Time : 1509.0 sec.
user=gd_barnes
[2011-03-23 23:58:10]
981*2^815750-1 is not prime.  Res64: 5B8BFC4DF4D9C53F  Time : 1509.0 sec.
user=gd_barnes
[2011-03-23 23:58:25]
861*2^815749-1 is not prime.  Res64: 0EF99BF6226FB549  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:58:25]
877*2^815749-1 is not prime.  Res64: 32D718F82D6A1579  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:58:36]
951*2^815749-1 is not prime.  Res64: 7A5B335CA36F1F63  Time : 1537.0 sec.
user=gd_barnes
[2011-03-23 23:58:36]
831*2^815750-1 is not prime.  Res64: 0998B110CB4D0799  Time : 1537.0 sec.