user=vaughan [2011-05-03 00:03:39] 877*2^937453-1 is not prime. Res64: 8B7D6D51E1530A35 Time : 1167.0 sec. user=vaughan [2011-05-03 00:08:23] 927*2^937453-1 is not prime. Res64: 808760E7BEA69EEC Time : 1269.0 sec. user=vaughan [2011-05-03 00:10:06] 897*2^937454-1 is not prime. Res64: D8ECB09A78FEE0CF Time : 1205.0 sec. user=vaughan [2011-05-03 00:12:32] 953*2^937454-1 is not prime. Res64: 44183645052346AA Time : 1195.0 sec. user=vaughan [2011-05-03 00:18:02] 805*2^937455-1 is not prime. Res64: 1EE8A35E00ACC31C Time : 1307.0 sec. user=vaughan [2011-05-03 00:19:59] 873*2^937455-1 is not prime. Res64: 2B19FC1D2B7B736E Time : 1158.0 sec. user=vaughan [2011-05-03 00:20:34] 859*2^937455-1 is not prime. Res64: 9CB5878A3E9D365D Time : 1209.0 sec. user=vaughan [2011-05-03 00:20:42] 853*2^937455-1 is not prime. Res64: 479A6397B9DC9090 Time : 1268.0 sec. user=vaughan [2011-05-03 00:23:06] 969*2^937455-1 is not prime. Res64: 069F4A464C464959 Time : 1167.0 sec. user=vaughan [2011-05-03 00:29:30] 839*2^937456-1 is not prime. Res64: 8D093EE4444987CB Time : 1268.0 sec. user=vaughan [2011-05-03 00:30:09] 843*2^937456-1 is not prime. Res64: 86540D4D5D6E7B0A Time : 1204.0 sec. user=vaughan [2011-05-03 00:32:28] 855*2^937456-1 is not prime. Res64: 6F974F30F1A6BA8B Time : 1196.0 sec. user=vaughan [2011-05-03 00:39:18] 837*2^937457-1 is not prime. Res64: 722CF65EA3FD0569 Time : 1159.0 sec. user=vaughan [2011-05-03 00:39:45] 909*2^937456-1 is not prime. Res64: 710AB82DCC64BAFF Time : 1304.0 sec. user=vaughan [2011-05-03 00:40:42] 871*2^937457-1 is not prime. Res64: 3888931B8399D76F Time : 1209.0 sec. user=vaughan [2011-05-03 00:41:46] 879*2^937457-1 is not prime. Res64: E3B2EFA59F605EC5 Time : 1265.0 sec. user=vaughan [2011-05-03 00:42:34] 937*2^937457-1 is not prime. Res64: DB27476D12B0E72C Time : 1168.0 sec. user=vaughan [2011-05-03 00:50:11] 985*2^937457-1 is not prime. Res64: 6D6D71BCD0A44C37 Time : 1202.0 sec. user=vaughan [2011-05-03 00:50:32] 945*2^937457-1 is not prime. Res64: A5B58AF054C57EC3 Time : 1263.0 sec. user=vaughan [2011-05-03 00:52:25] 803*2^937458-1 is not prime. Res64: DB0CC0AB80A9BDC7 Time : 1197.0 sec. user=vaughan [2011-05-03 00:58:34] 833*2^937458-1 is not prime. Res64: DCA8673D20C4893F Time : 1157.0 sec. user=vaughan [2011-05-03 01:00:51] 905*2^937458-1 is not prime. Res64: 61759B5B61D3C65A Time : 1209.0 sec. user=vaughan [2011-05-03 01:01:27] 893*2^937458-1 is not prime. Res64: 7BA47D7B1C65B258 Time : 1302.0 sec. user=vaughan [2011-05-03 01:02:01] 957*2^937458-1 is not prime. Res64: DD664D8D3944FEE6 Time : 1167.0 sec. user=vaughan [2011-05-03 01:02:50] 945*2^937458-1 is not prime. Res64: C12526CAEE6EFCD8 Time : 1265.0 sec. user=vaughan [2011-05-03 01:10:14] 993*2^937458-1 is not prime. Res64: 14B6099454DD6E1F Time : 1203.0 sec. user=vaughan [2011-05-03 01:11:34] 1001*2^937458-1 is not prime. Res64: C4A2EFDD2FEDA348 Time : 1263.0 sec. user=vaughan [2011-05-03 01:12:22] 931*2^937459-1 is not prime. Res64: EC863FD34B51C644 Time : 1197.0 sec. user=vaughan [2011-05-03 01:17:48] 825*2^937460-1 is not prime. Res64: EB957CE9D6E797C6 Time : 1155.0 sec. user=vaughan [2011-05-03 01:21:00] 845*2^937460-1 is not prime. Res64: 7EA33F170A841DE8 Time : 1210.0 sec. user=vaughan [2011-05-03 01:21:29] 927*2^937460-1 is not prime. Res64: B1A56DB7A45F9CBD Time : 1168.0 sec. user=vaughan [2011-05-03 01:23:11] 909*2^937460-1 is not prime. Res64: 054EA89A329CEC7C Time : 1304.0 sec. user=vaughan [2011-05-03 01:23:56] 957*2^937460-1 is not prime. Res64: 6EBB8A213A291B33 Time : 1266.0 sec. user=vaughan [2011-05-03 01:30:17] 907*2^937461-1 is not prime. Res64: 7843E824C80CA000 Time : 1203.0 sec. user=vaughan [2011-05-03 01:32:19] 831*2^937463-1 is not prime. Res64: 3A575144BC4FC3D5 Time : 1197.0 sec. user=vaughan [2011-05-03 01:32:37] 937*2^937461-1 is not prime. Res64: ACC339EBBF7757DA Time : 1264.0 sec. user=vaughan [2011-05-03 01:37:03] 859*2^937463-1 is not prime. Res64: CCBE63092BEA01F3 Time : 1155.0 sec. user=vaughan [2011-05-03 01:40:56] 915*2^937465-1 is not prime. Res64: DEB248393868E2CC Time : 1167.0 sec. user=vaughan [2011-05-03 01:41:08] 885*2^937465-1 is not prime. Res64: 694D5D8B84312C1B Time : 1209.0 sec. user=vaughan [2011-05-03 01:44:54] 919*2^937465-1 is not prime. Res64: 698C1C6F920BBCBF Time : 1303.0 sec. user=vaughan [2011-05-03 01:44:58] 925*2^937465-1 is not prime. Res64: CF24F750CD3503F3 Time : 1262.0 sec. user=vaughan [2011-05-03 01:50:19] 979*2^937465-1 is not prime. Res64: C40ED68CF35D2351 Time : 1202.0 sec. user=vaughan [2011-05-03 01:52:14] 987*2^937465-1 is not prime. Res64: 3E93D51E48F3B7BC Time : 1195.0 sec. user=vaughan [2011-05-03 01:53:41] 833*2^937466-1 is not prime. Res64: 8D447D9FBB006CB5 Time : 1264.0 sec. user=vaughan [2011-05-03 01:56:18] 945*2^937467-1 is not prime. Res64: 590C152437E44BB0 Time : 1155.0 sec. user=vaughan [2011-05-03 02:00:24] 855*2^937468-1 is not prime. Res64: D776C2370CECC4F2 Time : 1169.0 sec. user=vaughan [2011-05-03 02:01:15] 915*2^937468-1 is not prime. Res64: FC3B38963CC83170 Time : 1207.0 sec. user=vaughan [2011-05-03 02:06:02] 847*2^937469-1 is not prime. Res64: 4D636D16396285C6 Time : 1264.0 sec. user=vaughan [2011-05-03 02:06:38] 837*2^937469-1 is not prime. Res64: 2DC7C2C955616BBE Time : 1304.0 sec. user=vaughan [2011-05-03 02:10:22] 855*2^937469-1 is not prime. Res64: 3533D854BE705A43 Time : 1203.0 sec. user=vaughan [2011-05-03 02:12:10] 897*2^937469-1 is not prime. Res64: B2B85AFA1313DBDD Time : 1196.0 sec. user=vaughan [2011-05-03 02:14:46] 939*2^937469-1 is not prime. Res64: 67AD186B9D92535F Time : 1265.0 sec. user=vaughan [2011-05-03 02:15:37] 951*2^937469-1 is not prime. Res64: E9048B6743FCB05E Time : 1159.0 sec. user=vaughan [2011-05-03 02:19:53] 845*2^937470-1 is not prime. Res64: 39984DB0839541B5 Time : 1170.0 sec. user=vaughan [2011-05-03 02:21:23] 819*2^937471-1 is not prime. Res64: CE30410C5EAE037F Time : 1208.0 sec. user=vaughan [2011-05-03 02:27:09] 855*2^937471-1 is not prime. Res64: 1C88835A4C95CD0E Time : 1267.0 sec. user=vaughan [2011-05-03 02:28:21] 993*2^937471-1 is not prime. Res64: DFF248C6EF9A00F4 Time : 1303.0 sec. user=vaughan [2011-05-03 02:30:25] 963*2^937472-1 is not prime. Res64: 2B02F8AE9CC54CAC Time : 1203.0 sec. user=vaughan [2011-05-03 02:32:07] 877*2^937473-1 is not prime. Res64: 41AA85F5A61AF729 Time : 1197.0 sec. user=vaughan [2011-05-03 02:34:53] 825*2^937474-1 is not prime. Res64: A6D0991DD7CCA81D Time : 1157.0 sec. user=vaughan [2011-05-03 02:35:50] 895*2^937473-1 is not prime. Res64: D5982F36ACBFA295 Time : 1264.0 sec. user=vaughan [2011-05-03 02:39:21] 843*2^937475-1 is not prime. Res64: 5D4EE5EDD5AFC87D Time : 1169.0 sec. user=vaughan [2011-05-03 02:41:31] 855*2^937475-1 is not prime. Res64: D9F1CD006E313F20 Time : 1208.0 sec. user=vaughan [2011-05-03 02:48:13] 885*2^937475-1 is not prime. Res64: 7BAADB0CEB729CE7 Time : 1265.0 sec. user=vaughan [2011-05-03 02:50:03] 949*2^937475-1 is not prime. Res64: C21B12FF1D630EED Time : 1303.0 sec. user=vaughan [2011-05-03 02:50:27] 979*2^937475-1 is not prime. Res64: D66BCDC092C11E85 Time : 1202.0 sec. user=vaughan [2011-05-03 02:52:03] 903*2^937476-1 is not prime. Res64: 78382A1519041248 Time : 1197.0 sec. user=vaughan [2011-05-03 02:54:08] 905*2^937476-1 is not prime. Res64: 5B5B4D5865FB4BDA Time : 1156.0 sec. user=vaughan [2011-05-03 02:56:54] 999*2^937476-1 is not prime. Res64: FFC7412F72737E36 Time : 1264.0 sec. user=vaughan [2011-05-03 02:58:50] 817*2^937477-1 is not prime. Res64: 2CC95A737DAE23C1 Time : 1170.0 sec. user=vaughan [2011-05-03 03:01:39] 829*2^937477-1 is not prime. Res64: 3EBD49A149341A5F Time : 1209.0 sec. user=vaughan [2011-05-03 03:09:15] 897*2^937477-1 is not prime. Res64: 6E60FB74E6D8B21B Time : 1262.0 sec. user=vaughan [2011-05-03 03:10:33] 815*2^937478-1 is not prime. Res64: 30DBE8879A5DF22B Time : 1206.0 sec. user=vaughan [2011-05-03 03:11:45] 997*2^937477-1 is not prime. Res64: B93B7D3EB900E519 Time : 1303.0 sec. user=vaughan [2011-05-03 03:11:58] 875*2^937478-1 is not prime. Res64: 7D7818E5BC542D7D Time : 1196.0 sec. user=vaughan [2011-05-03 03:13:24] 823*2^937479-1 is not prime. Res64: 0F94457BB6829468 Time : 1156.0 sec. user=vaughan [2011-05-03 03:17:57] 909*2^937479-1 is not prime. Res64: 822F31C5F3CDABB0 Time : 1263.0 sec. user=vaughan [2011-05-03 03:18:19] 955*2^937479-1 is not prime. Res64: 7BDB2971A861EA5E Time : 1169.0 sec. user=vaughan [2011-05-03 03:21:47] 819*2^937480-1 is not prime. Res64: 87F9F7B9BEDE4CD7 Time : 1208.0 sec. user=vaughan [2011-05-03 03:30:19] 867*2^937481-1 is not prime. Res64: D6516F885200DFAF Time : 1264.0 sec. user=vaughan [2011-05-03 03:30:35] 909*2^937481-1 is not prime. Res64: 480D784452B14622 Time : 1204.0 sec. user=vaughan [2011-05-03 03:31:54] 951*2^937482-1 is not prime. Res64: 1C0160610FABD9EC Time : 1196.0 sec. user=vaughan [2011-05-03 03:32:40] 975*2^937482-1 is not prime. Res64: 30A4D72389865462 Time : 1156.0 sec. user=vaughan [2011-05-03 03:33:28] 873*2^937482-1 is not prime. Res64: 483A130D11D6CC81 Time : 1304.0 sec. user=vaughan [2011-05-03 03:37:51] 853*2^937483-1 is not prime. Res64: 488A024FC3BC1F17 Time : 1172.0 sec. user=vaughan [2011-05-03 03:39:00] 977*2^937482-1 is not prime. Res64: F65C0F7170234C07 Time : 1263.0 sec. user=vaughan [2011-05-03 03:41:59] 825*2^937484-1 is not prime. Res64: B00F4A183D50DABD Time : 1212.0 sec. user=vaughan [2011-05-03 03:50:43] 817*2^937485-1 is not prime. Res64: C6CCF19B9C266A31 Time : 1208.0 sec. user=vaughan [2011-05-03 03:51:24] 843*2^937484-1 is not prime. Res64: 62148D049F054C3A Time : 1265.0 sec. user=vaughan [2011-05-03 03:51:49] 885*2^937485-1 is not prime. Res64: C2B9B2F2E1422921 Time : 1195.0 sec. user=vaughan [2011-05-03 03:51:55] 927*2^937485-1 is not prime. Res64: 8047ADC214585B6C Time : 1155.0 sec. user=vaughan [2011-05-03 03:55:11] 955*2^937485-1 is not prime. Res64: FB4B165EDCAA3D5C Time : 1304.0 sec. user=vaughan [2011-05-03 03:57:22] 917*2^937486-1 is not prime. Res64: 468B267A236C79FC Time : 1172.0 sec. user=vaughan [2011-05-03 04:00:03] 933*2^937486-1 is not prime. Res64: E2E41B9F8960A0BE Time : 1263.0 sec. user=vaughan [2011-05-03 04:02:08] 883*2^937487-1 is not prime. Res64: D95F65C28ABBBC76 Time : 1210.0 sec. user=vaughan [2011-05-03 04:10:47] 999*2^937487-1 is not prime. Res64: 7C5808A5787DB43F Time : 1204.0 sec. user=vaughan [2011-05-03 04:11:11] 959*2^937488-1 is not prime. Res64: 80488B1A541D21A0 Time : 1156.0 sec. user=vaughan [2011-05-03 04:11:45] 929*2^937488-1 is not prime. Res64: ADC6435F6DC92CC9 Time : 1196.0 sec. user=vaughan [2011-05-03 04:12:29] 825*2^937488-1 is not prime. Res64: F88C03784205F39B Time : 1266.0 sec. user=vaughan [2011-05-03 04:16:53] 817*2^937489-1 is not prime. Res64: EE7F143F70171BA6 Time : 1171.0 sec. user=vaughan [2011-05-03 04:16:57] 999*2^937488-1 is not prime. Res64: 494E8473C428E4C1 Time : 1306.0 sec. user=vaughan [2011-05-03 04:21:07] 979*2^937489-1 is not prime. Res64: BCF1816B3C8A3E84 Time : 1264.0 sec. user=vaughan [2011-05-03 04:22:17] 985*2^937489-1 is not prime. Res64: 2DAC9C600517FC52 Time : 1210.0 sec. user=vaughan [2011-05-03 04:30:26] 801*2^937491-1 is not prime. Res64: 74E8AE78A56B1F68 Time : 1156.0 sec. user=vaughan [2011-05-03 04:30:49] 827*2^937490-1 is not prime. Res64: 4E1BB2CA3BEEC869 Time : 1202.0 sec. user=vaughan [2011-05-03 04:31:41] 945*2^937491-1 is not prime. Res64: 05C358E49BC8FB02 Time : 1197.0 sec. user=vaughan [2011-05-03 04:33:33] 803*2^937492-1 is not prime. Res64: E33FFA1D6DA5CB2E Time : 1265.0 sec. user=vaughan [2011-05-03 04:36:25] 827*2^937492-1 is not prime. Res64: 9F9F65748F01D411 Time : 1172.0 sec. user=vaughan [2011-05-03 04:38:40] 869*2^937492-1 is not prime. Res64: 9073142443DB7933 Time : 1304.0 sec. user=vaughan [2011-05-03 04:42:13] 983*2^937492-1 is not prime. Res64: 0902783F605B0208 Time : 1266.0 sec. user=vaughan [2011-05-03 04:42:29] 829*2^937493-1 is not prime. Res64: 27298993686AFFC1 Time : 1212.0 sec. user=vaughan [2011-05-03 04:49:41] 831*2^937493-1 is not prime. Res64: 6AA9C7AE4311E05A Time : 1156.0 sec. user=vaughan [2011-05-03 04:50:51] 901*2^937493-1 is not prime. Res64: DC8F05895C02C1D6 Time : 1202.0 sec. user=vaughan [2011-05-03 04:51:36] 937*2^937493-1 is not prime. Res64: FE613911112CE134 Time : 1196.0 sec. user=vaughan [2011-05-03 04:54:35] 807*2^937494-1 is not prime. Res64: A3E86B9AF3F3D8DF Time : 1263.0 sec. user=vaughan [2011-05-03 04:55:57] 851*2^937494-1 is not prime. Res64: 45FABB41DE90A6C1 Time : 1172.0 sec. user=vaughan [2011-05-03 05:00:23] 873*2^937494-1 is not prime. Res64: 96DA649AEA403EB6 Time : 1303.0 sec. user=vaughan [2011-05-03 05:02:38] 849*2^937495-1 is not prime. Res64: AB7F5A187D921BE1 Time : 1209.0 sec. user=vaughan [2011-05-03 05:03:19] 841*2^937495-1 is not prime. Res64: DE843FC3D3997D9D Time : 1266.0 sec. user=vaughan [2011-05-03 05:08:58] 853*2^937495-1 is not prime. Res64: 2B8B574CC4C3C78F Time : 1157.0 sec. user=vaughan [2011-05-03 05:10:59] 925*2^937495-1 is not prime. Res64: 86705E8408501459 Time : 1208.0 sec. user=vaughan [2011-05-03 05:11:33] 951*2^937495-1 is not prime. Res64: 7D9744A3B31CA968 Time : 1197.0 sec. user=vaughan [2011-05-03 05:15:28] 867*2^937496-1 is not prime. Res64: C334C9734B318CBD Time : 1172.0 sec. user=vaughan [2011-05-03 05:15:39] 999*2^937495-1 is not prime. Res64: 9C98E146D0DC4BC0 Time : 1264.0 sec. user=vaughan [2011-05-03 05:22:09] 893*2^937496-1 is not prime. Res64: 26479B88EA6FCF45 Time : 1306.0 sec. user=vaughan [2011-05-03 05:22:46] 805*2^937497-1 is not prime. Res64: 2B46EE13A445A62A Time : 1208.0 sec. user=vaughan [2011-05-03 05:24:22] 871*2^937497-1 is not prime. Res64: 092F05EF3D07E709 Time : 1263.0 sec. user=vaughan [2011-05-03 05:28:13] 895*2^937497-1 is not prime. Res64: C1A7786C8095202E Time : 1155.0 sec. user=vaughan [2011-05-03 05:31:03] 945*2^937497-1 is not prime. Res64: F49618D80F629C19 Time : 1204.0 sec. user=vaughan [2011-05-03 05:31:29] 955*2^937497-1 is not prime. Res64: E3C481BEEACB3914 Time : 1197.0 sec. user=vaughan [2011-05-03 05:34:59] 821*2^937498-1 is not prime. Res64: 3DB909F6A33BF613 Time : 1171.0 sec. user=vaughan [2011-05-03 05:36:42] 855*2^937498-1 is not prime. Res64: 11808B87A7150AAF Time : 1263.0 sec. user=vaughan [2011-05-03 05:42:54] 923*2^937498-1 is not prime. Res64: F608FEFD55631CA1 Time : 1208.0 sec. user=vaughan [2011-05-03 05:43:50] 891*2^937498-1 is not prime. Res64: CD41251AA6442906 Time : 1301.0 sec. user=vaughan [2011-05-03 05:45:25] 855*2^937499-1 is not prime. Res64: CA4F2437BED2A13B Time : 1263.0 sec. user=vaughan [2011-05-03 05:47:30] 999*2^937499-1 is not prime. Res64: 5F07CA495095D89D Time : 1157.0 sec. user=vaughan [2011-05-03 05:51:08] 819*2^937500-1 is not prime. Res64: 811FD5276941104F Time : 1205.0 sec. user=vaughan [2011-05-03 05:51:25] 825*2^937500-1 is not prime. Res64: A2FE393A1C3D4487 Time : 1196.0 sec. user=vaughan [2011-05-03 05:54:31] 843*2^937500-1 is not prime. Res64: 707186AA578CDF52 Time : 1173.0 sec. user=vaughan [2011-05-03 05:57:46] 867*2^937500-1 is not prime. Res64: C1CDD924AD2CBF99 Time : 1264.0 sec. user=vaughan [2011-05-03 06:03:03] 893*2^937500-1 is not prime. Res64: 6DA59963872F5FAB Time : 1209.0 sec. user=vaughan [2011-05-03 06:05:32] 909*2^937500-1 is not prime. Res64: B08D01E14CB45539 Time : 1302.0 sec. user=vaughan [2011-05-03 06:06:30] 961*2^937501-1 is not prime. Res64: CB0CF794CABD05C6 Time : 1265.0 sec. user=vaughan [2011-05-03 06:06:47] 981*2^937501-1 is not prime. Res64: 8923C49B8A6E7AA9 Time : 1158.0 sec. user=vaughan [2011-05-03 06:11:13] 987*2^937501-1 is not prime. Res64: 556BFAA2E9BCE8F8 Time : 1205.0 sec. user=vaughan [2011-05-03 06:11:23] 887*2^937502-1 is not prime. Res64: 41597894B631966C Time : 1198.0 sec. user=vaughan [2011-05-03 06:14:04] 981*2^937502-1 is not prime. Res64: 77000B2D0B7F9356 Time : 1174.0 sec. user=vaughan [2011-05-03 06:18:50] 819*2^937503-1 is not prime. Res64: 81EA8059D08AB91E Time : 1264.0 sec. user=vaughan [2011-05-03 06:23:14] 823*2^937503-1 is not prime. Res64: 9278EA2C5357DF4F Time : 1211.0 sec. user=vaughan [2011-05-03 06:26:07] 909*2^937504-1 is not prime. Res64: CEDC71E088A1BF09 Time : 1161.0 sec. user=vaughan [2011-05-03 06:27:20] 885*2^937503-1 is not prime. Res64: FCD6F4469C06D818 Time : 1308.0 sec. user=vaughan [2011-05-03 06:27:35] 857*2^937504-1 is not prime. Res64: 9503F59F1381D851 Time : 1265.0 sec. user=vaughan [2011-05-03 06:31:19] 915*2^937504-1 is not prime. Res64: A71E9276C3A324C7 Time : 1206.0 sec. user=vaughan [2011-05-03 06:31:28] 947*2^937504-1 is not prime. Res64: 4F5BEC22869F2EC2 Time : 1206.0 sec. user=vaughan [2011-05-03 06:33:36] 993*2^937504-1 is not prime. Res64: FD7BEA87B82BC6D5 Time : 1173.0 sec. user=vaughan [2011-05-03 06:40:05] 803*2^937506-1 is not prime. Res64: D4B4B2A3746160E0 Time : 1276.0 sec. user=vaughan [2011-05-03 06:43:26] 807*2^937506-1 is not prime. Res64: 07049696A7915747 Time : 1212.0 sec. user=vaughan [2011-05-03 06:45:21] 875*2^937506-1 is not prime. Res64: A7A4A8EC52AAF67D Time : 1155.0 sec. user=vaughan [2011-05-03 06:48:54] 933*2^937506-1 is not prime. Res64: 8BF241DA3E822A55 Time : 1280.0 sec. user=vaughan [2011-05-03 06:49:09] 903*2^937506-1 is not prime. Res64: F0DE465181594274 Time : 1310.0 sec. user=vaughan [2011-05-03 06:51:22] 945*2^937506-1 is not prime. Res64: CB9A1425239073F1 Time : 1203.0 sec. user=vaughan [2011-05-03 06:51:23] 805*2^937507-1 is not prime. Res64: 758F56956580CB1B Time : 1196.0 sec. user=vaughan [2011-05-03 06:53:08] 895*2^937507-1 is not prime. Res64: DC4A80A08C752B23 Time : 1173.0 sec. user=vaughan [2011-05-03 07:01:09] 909*2^937507-1 is not prime. Res64: 35D66717F59D1ED4 Time : 1265.0 sec. user=vaughan [2011-05-03 07:03:34] 961*2^937507-1 is not prime. Res64: D3E2377802984C86 Time : 1209.0 sec. user=vaughan [2011-05-03 07:04:37] 973*2^937507-1 is not prime. Res64: 776A1EFD27751E99 Time : 1156.0 sec. user=vaughan [2011-05-03 07:10:01] 975*2^937507-1 is not prime. Res64: 9669A3440BE5B3CB Time : 1267.0 sec. user=vaughan [2011-05-03 07:10:53] 813*2^937508-1 is not prime. Res64: 2AC0591951015BC3 Time : 1304.0 sec. user=vaughan [2011-05-03 07:11:20] 897*2^937508-1 is not prime. Res64: 9E9750F7D9BD7ED4 Time : 1197.0 sec. user=vaughan [2011-05-03 07:11:28] 825*2^937508-1 is not prime. Res64: 227989992B2A9CBE Time : 1206.0 sec. user=vaughan [2011-05-03 07:12:40] 945*2^937508-1 is not prime. Res64: 4F0BF5C49DD1531D Time : 1173.0 sec. user=vaughan [2011-05-03 07:22:12] 963*2^937508-1 is not prime. Res64: F358E0724AFE9A05 Time : 1264.0 sec. user=vaughan [2011-05-03 07:23:43] 889*2^937509-1 is not prime. Res64: DF221BE72935402D Time : 1210.0 sec. user=vaughan [2011-05-03 07:23:52] 945*2^937509-1 is not prime. Res64: 059B740157E4E426 Time : 1155.0 sec. user=vaughan [2011-05-03 07:31:06] 949*2^937509-1 is not prime. Res64: 2FD8D67206FB0C4E Time : 1266.0 sec. user=vaughan [2011-05-03 07:31:16] 969*2^937509-1 is not prime. Res64: 4FCA901BCD9D5FAE Time : 1196.0 sec. user=vaughan [2011-05-03 07:31:32] 985*2^937509-1 is not prime. Res64: 12E84E3BC2762F12 Time : 1205.0 sec. user=vaughan [2011-05-03 07:32:18] 825*2^937511-1 is not prime. Res64: 4C0F9E6FB3103D9C Time : 1178.0 sec. user=vaughan [2011-05-03 07:32:37] 951*2^937509-1 is not prime. Res64: B1BE2A00291F1495 Time : 1304.0 sec. user=vaughan [2011-05-03 07:43:18] 915*2^937512-1 is not prime. Res64: 71DD38BB9EBAEE78 Time : 1166.0 sec. user=vaughan [2011-05-03 07:43:18] 859*2^937511-1 is not prime. Res64: 1223E71830B55F89 Time : 1266.0 sec. user=vaughan [2011-05-03 07:44:01] 909*2^937512-1 is not prime. Res64: B10482954BFB3B6E Time : 1218.0 sec. user=vaughan [2011-05-03 07:51:12] 829*2^937513-1 is not prime. Res64: 6F18979600D5BB1C Time : 1196.0 sec. user=vaughan [2011-05-03 07:51:51] 849*2^937513-1 is not prime. Res64: 8A0BAD161489E022 Time : 1219.0 sec. user=vaughan [2011-05-03 07:51:54] 825*2^937514-1 is not prime. Res64: A448E72896139708 Time : 1177.0 sec. user=vaughan [2011-05-03 07:52:13] 811*2^937513-1 is not prime. Res64: 303FAB7D76713155 Time : 1268.0 sec. user=vaughan [2011-05-03 07:54:20] 827*2^937514-1 is not prime. Res64: 846993A9C392A6BD Time : 1303.0 sec. user=vaughan [2011-05-03 08:02:33] 885*2^937514-1 is not prime. Res64: E5BE0068E03C0DAA Time : 1156.0 sec. user=vaughan [2011-05-03 08:04:11] 825*2^937515-1 is not prime. Res64: 452507EE2A69A4FA Time : 1210.0 sec. user=vaughan [2011-05-03 08:04:22] 887*2^937514-1 is not prime. Res64: CBDE3A7BDD4E566B Time : 1264.0 sec. user=vaughan [2011-05-03 08:11:08] 951*2^937515-1 is not prime. Res64: 8960C7A5F62A39E2 Time : 1196.0 sec. user=vaughan [2011-05-03 08:11:26] 957*2^937516-1 is not prime. Res64: A5E6512D3F240CF6 Time : 1172.0 sec. user=vaughan [2011-05-03 08:11:57] 953*2^937516-1 is not prime. Res64: 5DF408F00FE016B3 Time : 1207.0 sec. user=vaughan [2011-05-03 08:13:18] 989*2^937516-1 is not prime. Res64: D7D0C951D0B13861 Time : 1265.0 sec. user=vaughan [2011-05-03 08:16:00] 825*2^937517-1 is not prime. Res64: 5FB96CD237DB63A4 Time : 1301.0 sec. user=vaughan [2011-05-03 08:21:48] 931*2^937517-1 is not prime. Res64: CC4CB3B55F445BB3 Time : 1156.0 sec. user=vaughan [2011-05-03 08:24:21] 967*2^937517-1 is not prime. Res64: 5E682D6B01964245 Time : 1210.0 sec. user=vaughan [2011-05-03 08:25:25] 979*2^937517-1 is not prime. Res64: 649DC875B65B8508 Time : 1264.0 sec. user=vaughan [2011-05-03 08:31:02] 915*2^937518-1 is not prime. Res64: 01C17F76829F9204 Time : 1176.0 sec. user=vaughan [2011-05-03 08:31:03] 887*2^937518-1 is not prime. Res64: 42DDA2801AF8835E Time : 1195.0 sec. user=vaughan [2011-05-03 08:32:02] 971*2^937518-1 is not prime. Res64: 73DFD865BC90E79F Time : 1205.0 sec. user=vaughan [2011-05-03 08:34:20] 993*2^937518-1 is not prime. Res64: 149BC19710B6394A Time : 1262.0 sec. user=vaughan [2011-05-03 08:37:42] 859*2^937519-1 is not prime. Res64: 15945A3834ED435A Time : 1302.0 sec. user=vaughan [2011-05-03 08:41:03] 913*2^937519-1 is not prime. Res64: 80B1C4BAC992CEDF Time : 1155.0 sec. user=vaughan [2011-05-03 08:44:29] 973*2^937519-1 is not prime. Res64: C48BA3313183F133 Time : 1208.0 sec. user=vaughan [2011-05-03 08:46:30] 985*2^937519-1 is not prime. Res64: 63287569E8D2D83A Time : 1266.0 sec. user=vaughan [2011-05-03 08:50:35] 999*2^937519-1 is not prime. Res64: C582B197DDCB48ED Time : 1174.0 sec. user=vaughan [2011-05-03 08:50:59] 927*2^937520-1 is not prime. Res64: 8A3D6FADC6F907E4 Time : 1197.0 sec. user=vaughan [2011-05-03 08:52:07] 807*2^937521-1 is not prime. Res64: 881485687380946C Time : 1205.0 sec. user=vaughan [2011-05-03 08:55:23] 867*2^937521-1 is not prime. Res64: 53D60501FA1BF40C Time : 1263.0 sec. user=vaughan [2011-05-03 08:59:24] 885*2^937521-1 is not prime. Res64: 87D39B0245A9D72E Time : 1302.0 sec. user=vaughan [2011-05-03 09:00:19] 889*2^937521-1 is not prime. Res64: 8F76C7FCB8FBE2BE Time : 1156.0 sec. user=vaughan [2011-05-03 09:04:43] 895*2^937521-1 is not prime. Res64: 0CE8BCE6C70E6B81 Time : 1214.0 sec. user=vaughan [2011-05-03 09:07:33] 955*2^937521-1 is not prime. Res64: 8A230EE2D2332D79 Time : 1264.0 sec. user=vaughan [2011-05-03 09:10:15] 917*2^937522-1 is not prime. Res64: 1625C080C7444835 Time : 1181.0 sec. user=vaughan [2011-05-03 09:10:54] 1001*2^937522-1 is not prime. Res64: A3C883803D21B42B Time : 1195.0 sec. user=vaughan [2011-05-03 09:12:43] 885*2^937523-1 is not prime. Res64: 18F28E635A7353CB Time : 1236.0 sec. user=vaughan [2011-05-03 09:16:28] 915*2^937523-1 is not prime. Res64: 0FE3CDA40F67F6CC Time : 1265.0 sec. user=vaughan [2011-05-03 09:21:06] 857*2^937524-1 is not prime. Res64: 2EDD6DBA7ACF61EE Time : 1302.0 sec. user=vaughan [2011-05-03 09:28:37] 871*2^937525-1 is not prime. Res64: 59893AB21399C6B9 Time : 1264.0 sec. user=vaughan [2011-05-03 09:30:49] 955*2^937525-1 is not prime. Res64: D0E76F1D346D8741 Time : 1195.0 sec. user=vaughan [2011-05-03 09:37:31] 993*2^937526-1 is not prime. Res64: 779A8EAAF0BE7DAD Time : 1263.0 sec. user=vaughan [2011-05-03 09:42:50] 849*2^937527-1 is not prime. Res64: 4DAB2423CD186474 Time : 1304.0 sec. user=vaughan [2011-05-03 09:49:40] 919*2^937527-1 is not prime. Res64: B2A8B84557C178D2 Time : 1263.0 sec. user=vaughan [2011-05-03 09:50:43] 933*2^937527-1 is not prime. Res64: A58933B22CAEED2C Time : 1195.0 sec. user=vaughan [2011-05-03 19:21:41] 963*2^937527-1 is not prime. Res64: DA1BDE125CB2EC8A Time : 35050.0 sec. user=vaughan [2011-05-03 19:22:22] 873*2^937524-1 is not prime. Res64: 092BE52B3D20D264 Time : 37324.0 sec. user=vaughan [2011-05-03 19:27:10] 979*2^937527-1 is not prime. Res64: 019BEE984427D427 Time : 35061.0 sec. user=vaughan [2011-05-03 19:28:34] 969*2^937524-1 is not prime. Res64: 39CF414D4998034D Time : 37431.0 sec. user=vaughan [2011-05-03 19:32:57] 915*2^937525-1 is not prime. Res64: 815499FC8B98B5D9 Time : 37363.0 sec. user=vaughan [2011-05-03 19:33:51] 819*2^937528-1 is not prime. Res64: BAE131259CCC49BB Time : 35051.0 sec. user=vaughan [2011-05-03 19:34:01] 825*2^937528-1 is not prime. Res64: AFE8D95989C0A30A Time : 34998.0 sec. user=vaughan [2011-05-03 19:36:20] 827*2^937526-1 is not prime. Res64: FACEC7167D66A7CB Time : 37417.0 sec. user=vaughan [2011-05-03 19:42:12] 977*2^937532-1 is not prime. Res64: 1CF1806DED44655B Time : 1191.0 sec. user=vaughan [2011-05-03 19:43:19] 959*2^937532-1 is not prime. Res64: 513CB7AC5AED6C9C Time : 1299.0 sec. user=vaughan [2011-05-03 19:48:06] 811*2^937533-1 is not prime. Res64: DCB329CCCC1D8664 Time : 1256.0 sec. user=vaughan [2011-05-03 19:48:14] 895*2^937533-1 is not prime. Res64: 12DAD222AA818D9D Time : 1181.0 sec. user=vaughan [2011-05-03 19:51:32] 945*2^937532-1 is not prime. Res64: 195995920C0EB71B Time : 1869.0 sec. user=vaughan [2011-05-03 19:52:35] 991*2^937533-1 is not prime. Res64: BB180B28DDEC4B89 Time : 1179.0 sec. user=vaughan [2011-05-03 19:53:55] 985*2^937535-1 is not prime. Res64: C9613C7E34F11665 Time : 1194.0 sec. user=vaughan [2011-05-03 19:54:55] 859*2^937535-1 is not prime. Res64: A6A580753690DB9E Time : 1265.0 sec. user=vaughan [2011-05-03 19:56:04] 839*2^937536-1 is not prime. Res64: ECFF344E6ABF3160 Time : 1184.0 sec. user=vaughan [2011-05-03 19:57:22] 935*2^937532-1 is not prime. Res64: 2B075B9F7AD51297 Time : 2220.0 sec. user=vaughan [2011-05-03 20:02:04] 927*2^937536-1 is not prime. Res64: E5DBC467B7E89CF5 Time : 1193.0 sec. user=vaughan [2011-05-03 20:05:05] 831*2^937537-1 is not prime. Res64: 6BE52C4390E0CCAE Time : 1306.0 sec. user=vaughan [2011-05-03 20:08:11] 981*2^937537-1 is not prime. Res64: C43C12FCDE6280FD Time : 1197.0 sec. user=vaughan [2011-05-03 20:09:15] 967*2^937537-1 is not prime. Res64: 407D868395626C8A Time : 1269.0 sec. user=vaughan [2011-05-03 20:12:35] 857*2^937538-1 is not prime. Res64: 561BD2361B35E0CC Time : 1200.0 sec. user=vaughan [2011-05-03 20:13:46] 941*2^937538-1 is not prime. Res64: 98BD2B50B1B50155 Time : 1191.0 sec. user=vaughan [2011-05-03 20:16:02] 953*2^937538-1 is not prime. Res64: B6B907BEB89234BF Time : 1267.0 sec. user=vaughan [2011-05-03 20:16:04] 801*2^937539-1 is not prime. Res64: 4FD1501F0F56AC96 Time : 1200.0 sec. user=vaughan [2011-05-03 20:22:00] 891*2^937539-1 is not prime. Res64: 49DBBF6B119EAACF Time : 1197.0 sec. user=vaughan [2011-05-03 20:26:55] 955*2^937539-1 is not prime. Res64: 913B19CA309A71B4 Time : 1310.0 sec. user=vaughan [2011-05-03 20:28:08] 961*2^937539-1 is not prime. Res64: 9FE80B76B15D3A37 Time : 1198.0 sec. user=vaughan [2011-05-03 20:30:23] 975*2^937539-1 is not prime. Res64: 17FC1FEEF9B4A2E1 Time : 1269.0 sec. user=vaughan [2011-05-03 20:32:35] 855*2^937540-1 is not prime. Res64: 73F0AAA5EDEF3A15 Time : 1200.0 sec. user=vaughan [2011-05-03 20:33:39] 819*2^937541-1 is not prime. Res64: ED44EE26340096BE Time : 1193.0 sec. user=vaughan [2011-05-03 20:36:02] 917*2^937542-1 is not prime. Res64: DB3D3537325498C3 Time : 1198.0 sec. user=vaughan [2011-05-03 20:37:11] 889*2^937541-1 is not prime. Res64: 0697CDB0CE4B2E09 Time : 1270.0 sec. user=vaughan [2011-05-03 20:41:57] 895*2^937543-1 is not prime. Res64: B954C9C69DA70446 Time : 1197.0 sec. user=vaughan [2011-05-03 20:48:05] 857*2^937544-1 is not prime. Res64: D0C1ACD55AC19A46 Time : 1197.0 sec. user=vaughan [2011-05-03 20:48:43] 825*2^937544-1 is not prime. Res64: 96DE8CC79CDC6EFB Time : 1308.0 sec. user=vaughan [2011-05-03 20:51:32] 875*2^937544-1 is not prime. Res64: 82F72169C31DB171 Time : 1269.0 sec. user=vaughan [2011-05-03 20:52:30] 899*2^937544-1 is not prime. Res64: 4A33D7CBEF2D3956 Time : 1196.0 sec. user=vaughan [2011-05-03 20:53:30] 917*2^937544-1 is not prime. Res64: 91F8637D65731354 Time : 1191.0 sec. user=vaughan [2011-05-03 20:56:00] 927*2^937544-1 is not prime. Res64: 72C97129217C44EA Time : 1199.0 sec. user=vaughan [2011-05-03 20:58:19] 833*2^937546-1 is not prime. Res64: 339EF1518A699586 Time : 1269.0 sec. user=vaughan [2011-05-03 21:02:00] 941*2^937546-1 is not prime. Res64: 0DCA86EE3182A865 Time : 1203.0 sec. user=vaughan [2011-05-03 21:09:38] 947*2^937546-1 is not prime. Res64: 86E44F07C3BE1991 Time : 1293.0 sec. user=vaughan [2011-05-03 21:12:06] 975*2^937546-1 is not prime. Res64: 29BE436FEE18FE30 Time : 1403.0 sec. user=vaughan [2011-05-03 21:14:27] 993*2^937546-1 is not prime. Res64: FF62E96E727F2247 Time : 1375.0 sec. user=vaughan [2011-05-03 21:15:14] 889*2^937547-1 is not prime. Res64: 23453C098961D995 Time : 1304.0 sec. user=vaughan [2011-05-03 21:15:54] 879*2^937547-1 is not prime. Res64: E07AE2437F04A1C6 Time : 1404.0 sec. user=vaughan [2011-05-03 21:19:30] 939*2^937547-1 is not prime. Res64: CB9B610BE354E6D9 Time : 1410.0 sec. user=vaughan [2011-05-03 21:21:14] 963*2^937547-1 is not prime. Res64: 6F83002C29E5D542 Time : 1375.0 sec. user=vaughan [2011-05-03 21:25:01] 929*2^937548-1 is not prime. Res64: F4E184B42B3086D9 Time : 1381.0 sec. user=vaughan [2011-05-03 21:31:14] 935*2^937548-1 is not prime. Res64: 7680AC9A73A319EA Time : 1296.0 sec. user=vaughan [2011-05-03 21:33:55] 855*2^937549-1 is not prime. Res64: 7BAD4E558CFB1B31 Time : 1309.0 sec. user=vaughan [2011-05-03 21:35:07] 895*2^937549-1 is not prime. Res64: 776C920D23B94A12 Time : 1193.0 sec. user=vaughan [2011-05-03 21:35:37] 877*2^937549-1 is not prime. Res64: DA26853D1A11F5DC Time : 1271.0 sec. user=vaughan [2011-05-03 21:36:12] 885*2^937550-1 is not prime. Res64: 825A3E8E2900ACC8 Time : 1219.0 sec. user=vaughan [2011-05-03 21:39:45] 921*2^937550-1 is not prime. Res64: FD4DBF703EB54573 Time : 1215.0 sec. user=vaughan [2011-05-03 21:42:22] 941*2^937550-1 is not prime. Res64: 0F36620459AE126C Time : 1268.0 sec. user=vaughan [2011-05-03 21:45:12] 851*2^937554-1 is not prime. Res64: 0076E2FFDC25174B Time : 1211.0 sec. user=vaughan [2011-05-03 21:51:22] 887*2^937554-1 is not prime. Res64: 1CF6C9937CA1AB1D Time : 1208.0 sec. user=vaughan [2011-05-03 21:54:57] 893*2^937554-1 is not prime. Res64: 24BE1F861C0642C3 Time : 1191.0 sec. user=vaughan [2011-05-03 21:55:43] 891*2^937554-1 is not prime. Res64: 1C70477DD305B7F8 Time : 1308.0 sec. user=vaughan [2011-05-03 21:56:34] 859*2^937555-1 is not prime. Res64: 06CF81223EA1C9F1 Time : 1223.0 sec. user=vaughan [2011-05-03 21:56:45] 945*2^937554-1 is not prime. Res64: 13D6B3925D87C2F5 Time : 1269.0 sec. user=vaughan [2011-05-03 22:00:12] 873*2^937555-1 is not prime. Res64: 8DAA0BE17DFD30E6 Time : 1227.0 sec. user=vaughan [2011-05-03 22:03:31] 885*2^937555-1 is not prime. Res64: E37BC3A13C36C811 Time : 1269.0 sec. user=vaughan [2011-05-03 22:05:18] 875*2^937556-1 is not prime. Res64: 7333C2E81395E5D8 Time : 1206.0 sec. user=vaughan [2011-05-03 22:11:20] 963*2^937556-1 is not prime. Res64: 49905329B9AF9837 Time : 1198.0 sec. user=vaughan [2011-05-03 22:14:48] 983*2^937556-1 is not prime. Res64: 0085465F9266E768 Time : 1191.0 sec. user=vaughan [2011-05-03 22:16:37] 829*2^937557-1 is not prime. Res64: 84915F715AEA1CE3 Time : 1203.0 sec. user=vaughan [2011-05-03 22:17:33] 819*2^937557-1 is not prime. Res64: D08AF822AD6214DE Time : 1310.0 sec. user=vaughan [2011-05-03 22:17:54] 801*2^937558-1 is not prime. Res64: CECB143E3D936EDB Time : 1269.0 sec. user=vaughan [2011-05-03 22:20:16] 843*2^937558-1 is not prime. Res64: 48DDEC1D17C71BD2 Time : 1204.0 sec. user=vaughan [2011-05-03 22:24:39] 855*2^937558-1 is not prime. Res64: 473F257ABFCBD10F Time : 1268.0 sec. user=vaughan [2011-05-03 22:25:17] 981*2^937558-1 is not prime. Res64: AF29B5DEDC49167C Time : 1200.0 sec. user=vaughan [2011-05-03 22:31:17] 939*2^937559-1 is not prime. Res64: 3F8B74292C5304B7 Time : 1198.0 sec. user=vaughan [2011-05-03 22:34:40] 993*2^937559-1 is not prime. Res64: 851B531B97135149 Time : 1192.0 sec. user=vaughan [2011-05-03 22:36:41] 839*2^937560-1 is not prime. Res64: 5D9D51FAE0B453C5 Time : 1204.0 sec. user=vaughan [2011-05-03 22:39:03] 987*2^937561-1 is not prime. Res64: 4D264DCB773C906C Time : 1269.0 sec. user=vaughan [2011-05-03 22:39:21] 817*2^937561-1 is not prime. Res64: 31FEB1645D274C9A Time : 1309.0 sec. user=vaughan [2011-05-03 22:40:19] 999*2^937561-1 is not prime. Res64: E0FE35B50CEC0A64 Time : 1204.0 sec. user=vaughan [2011-05-03 22:45:15] 857*2^937562-1 is not prime. Res64: 233D11D206265F2A Time : 1199.0 sec. user=vaughan [2011-05-03 22:45:49] 831*2^937562-1 is not prime. Res64: 38AB3874985C8352 Time : 1270.0 sec. user=vaughan [2011-05-03 22:51:14] 995*2^937562-1 is not prime. Res64: 0AB9A117D655D4D1 Time : 1197.0 sec. user=vaughan [2011-05-03 22:54:31] 801*2^937563-1 is not prime. Res64: 35383199A49B24F7 Time : 1191.0 sec. user=vaughan [2011-05-03 22:58:10] 823*2^937563-1 is not prime. Res64: A799106703EEE71F Time : 1289.0 sec. user=vaughan [2011-05-03 23:00:10] 945*2^937563-1 is not prime. Res64: 86C1E9D87BFE937E Time : 1267.0 sec. user=vaughan [2011-05-03 23:01:07] 873*2^937564-1 is not prime. Res64: 89BC6E0A7D6D70D1 Time : 1306.0 sec. user=vaughan [2011-05-03 23:03:25] 905*2^937564-1 is not prime. Res64: 6F6DC6E5D6706F25 Time : 1386.0 sec. user=vaughan [2011-05-03 23:06:57] 925*2^937565-1 is not prime. Res64: C8F9A33A17B04A15 Time : 1269.0 sec. user=vaughan [2011-05-03 23:08:32] 867*2^937565-1 is not prime. Res64: B17DC516C59092A6 Time : 1397.0 sec. user=vaughan [2011-05-03 23:14:22] 807*2^937566-1 is not prime. Res64: E3425628E0AC9B32 Time : 1191.0 sec. user=vaughan [2011-05-03 23:16:11] 939*2^937565-1 is not prime. Res64: 300C052E05618F96 Time : 1497.0 sec. user=vaughan [2011-05-03 23:21:20] 867*2^937566-1 is not prime. Res64: 8E161B4C4BAA09EE Time : 1270.0 sec. user=vaughan [2011-05-03 23:22:54] 945*2^937566-1 is not prime. Res64: 3D22DC6DC9D88928 Time : 1307.0 sec. user=vaughan [2011-05-03 23:26:38] 851*2^937566-1 is not prime. Res64: 35B42CC80C4A196E Time : 1709.0 sec. user=vaughan [2011-05-03 23:28:07] 825*2^937568-1 is not prime. Res64: 2D12D777AA29DE73 Time : 1271.0 sec. user=vaughan [2011-05-03 23:31:55] 871*2^937567-1 is not prime. Res64: D0CC84B7B9AB5313 Time : 1710.0 sec. user=vaughan [2011-05-03 23:34:08] 839*2^937568-1 is not prime. Res64: B22A8BC7ED373497 Time : 1537.0 sec. user=vaughan [2011-05-03 23:34:13] 845*2^937568-1 is not prime. Res64: 368CA5A641C68D62 Time : 1192.0 sec. user=vaughan [2011-05-03 23:41:40] 893*2^937568-1 is not prime. Res64: 5B0DE6AF877C36F9 Time : 1529.0 sec. user=vaughan [2011-05-03 23:42:27] 889*2^937569-1 is not prime. Res64: 1D23092304BFDBEF Time : 1268.0 sec. user=vaughan [2011-05-03 23:44:41] 999*2^937569-1 is not prime. Res64: 4307B8E1DE350BBA Time : 1307.0 sec. user=vaughan [2011-05-03 23:49:14] 951*2^937570-1 is not prime. Res64: 7510E7E91E185923 Time : 1268.0 sec. user=vaughan [2011-05-03 23:54:05] 949*2^937571-1 is not prime. Res64: 1844A6B63BEF9771 Time : 1192.0 sec. user=vaughan [2011-05-03 23:55:09] 855*2^937570-1 is not prime. Res64: BC179A1B341B151D Time : 1711.0 sec. user=vaughan [2011-05-03 23:59:41] 909*2^937571-1 is not prime. Res64: 5A1CF201666E4E8E Time : 1534.0 sec. user=vaughan [2011-05-04 00:00:15] 885*2^937571-1 is not prime. Res64: BE17F329F8ACFB04 Time : 1700.0 sec.