user=vaughan [2011-05-14 00:09:38] 803*2^938680-1 is not prime. Res64: E5B4262CDDEEDC1C Time : 9263.0 sec. user=vaughan [2011-05-14 00:09:39] 999*2^938677-1 is not prime. Res64: A167D31F72B7AB42 Time : 9393.0 sec. user=vaughan [2011-05-14 00:09:39] 951*2^938678-1 is not prime. Res64: 860BB003E4F82A3A Time : 9290.0 sec. user=vaughan [2011-05-14 00:06:29] 811*2^938681-1 is not prime. Res64: 4A4A6D4E6A037A06 Time : 8483.0 sec. user=vaughan [2011-05-14 00:06:30] 843*2^938678-1 is not prime. Res64: 78DB34F2B3C537C7 Time : 9102.0 sec. user=vaughan [2011-05-14 00:06:32] 867*2^938677-1 is not prime. Res64: FB2B438E7026007A Time : 9322.0 sec. user=vaughan [2011-05-14 00:06:33] 845*2^938680-1 is not prime. Res64: FB5DDB2F108B4CC7 Time : 8773.0 sec. user=vaughan [2011-05-14 00:06:33] 915*2^938677-1 is not prime. Res64: 1EA37CDEEB53022E Time : 9267.0 sec. user=vaughan [2011-05-14 00:26:07] 981*2^938681-1 is not prime. Res64: AAE634F99C53B90D Time : 989.0 sec. user=vaughan [2011-05-14 00:26:50] 801*2^938682-1 is not prime. Res64: B3AC77235907620F Time : 1032.0 sec. user=vaughan [2011-05-14 00:26:58] 969*2^938685-1 is not prime. Res64: BBE0804A79E6E920 Time : 1164.0 sec. user=vaughan [2011-05-14 00:27:01] 871*2^938683-1 is not prime. Res64: 47BCA1B666233471 Time : 1231.0 sec. user=vaughan [2011-05-14 00:27:10] 889*2^938681-1 is not prime. Res64: B066B63E5B3C3F9B Time : 1052.0 sec. user=vaughan [2011-05-14 00:27:30] 915*2^938682-1 is not prime. Res64: 32F6075200145E98 Time : 1261.0 sec. user=vaughan [2011-05-14 00:27:34] 873*2^938683-1 is not prime. Res64: 918158F1E6D6DDF6 Time : 1262.0 sec. user=vaughan [2011-05-14 00:28:22] 985*2^938683-1 is not prime. Res64: C1A27E8E75603D58 Time : 1252.0 sec. user=vaughan [2011-05-14 00:45:56] 887*2^938686-1 is not prime. Res64: B08C195C221599B3 Time : 1190.0 sec. user=vaughan [2011-05-14 00:46:17] 911*2^938686-1 is not prime. Res64: 433ED75BE95D3071 Time : 1160.0 sec. user=vaughan [2011-05-14 00:47:24] 917*2^938686-1 is not prime. Res64: EFA9FE59B3667813 Time : 1223.0 sec. user=vaughan [2011-05-14 00:47:25] 897*2^938686-1 is not prime. Res64: 8E8DD7F1BF613AE8 Time : 1235.0 sec. user=vaughan [2011-05-14 00:48:02] 983*2^938686-1 is not prime. Res64: 3254EFB3CBA9ACB0 Time : 1252.0 sec. user=vaughan [2011-05-14 00:48:35] 825*2^938687-1 is not prime. Res64: 84E0B5D1E187A6D7 Time : 1265.0 sec. user=vaughan [2011-05-14 00:48:38] 843*2^938687-1 is not prime. Res64: 9C861592A5D43A28 Time : 1264.0 sec. user=vaughan [2011-05-14 00:49:13] 955*2^938687-1 is not prime. Res64: 6F807CA8D484D64A Time : 1251.0 sec. user=vaughan [2011-05-14 01:05:38] 839*2^938688-1 is not prime. Res64: 6401C34C49B5BE6F Time : 1161.0 sec. user=vaughan [2011-05-14 01:06:11] 979*2^938687-1 is not prime. Res64: 333AE19FE2447487 Time : 1215.0 sec. user=vaughan [2011-05-14 01:07:38] 849*2^938688-1 is not prime. Res64: 507052BCA85AA89A Time : 1214.0 sec. user=vaughan [2011-05-14 01:07:41] 875*2^938688-1 is not prime. Res64: B083600BAEC81746 Time : 1216.0 sec. user=vaughan [2011-05-14 01:08:52] 819*2^938689-1 is not prime. Res64: 85DAB5AABEC54AC4 Time : 1251.0 sec. user=vaughan [2011-05-14 01:09:41] 877*2^938689-1 is not prime. Res64: E231213ED1123B18 Time : 1266.0 sec. user=vaughan [2011-05-14 01:09:42] 909*2^938689-1 is not prime. Res64: 92EB3104774E7B33 Time : 1265.0 sec. user=vaughan [2011-05-14 01:10:05] 987*2^938689-1 is not prime. Res64: 59E88B34F9D312E8 Time : 1252.0 sec. user=vaughan [2011-05-14 03:11:41] 979*2^938691-1 is not prime. Res64: 7789A67239494674 Time : 7321.0 sec. user=vaughan [2011-05-14 03:11:42] 813*2^938692-1 is not prime. Res64: 4561854963D92C45 Time : 7320.0 sec. user=vaughan [2011-05-14 03:11:45] 913*2^938691-1 is not prime. Res64: 1C1B0E26E881FE7D Time : 7373.0 sec. user=vaughan [2011-05-14 03:11:55] 843*2^938692-1 is not prime. Res64: 516410956EB99FAF Time : 7310.0 sec. user=vaughan [2011-05-14 03:14:42] 921*2^938690-1 is not prime. Res64: 8AFCF7ADB145A7D2 Time : 7621.0 sec. user=vaughan [2011-05-14 03:14:42] 887*2^938690-1 is not prime. Res64: 13CE28B62C2E7C21 Time : 7625.0 sec. user=vaughan [2011-05-14 03:15:21] 861*2^938690-1 is not prime. Res64: 4CD4CEF24F552A32 Time : 7783.0 sec. user=vaughan [2011-05-14 03:15:23] 875*2^938690-1 is not prime. Res64: 4DB7E6AFD98C35D2 Time : 7752.0 sec. user=vaughan [2011-05-14 03:31:56] 915*2^938692-1 is not prime. Res64: 482F5A06B60791AB Time : 1211.0 sec. user=vaughan [2011-05-14 03:31:56] 875*2^938692-1 is not prime. Res64: 497908CBE7335D84 Time : 1215.0 sec. user=vaughan [2011-05-14 03:31:57] 897*2^938692-1 is not prime. Res64: 66887886F1EE4A04 Time : 1215.0 sec. user=vaughan [2011-05-14 03:32:08] 975*2^938692-1 is not prime. Res64: 6906883B6EAA1766 Time : 1214.0 sec. user=vaughan [2011-05-14 03:34:52] 939*2^938693-1 is not prime. Res64: CBA5B24841CCC5A9 Time : 1171.0 sec. user=vaughan [2011-05-14 03:35:23] 847*2^938693-1 is not prime. Res64: 9DE0CD7550A9D12D Time : 1241.0 sec. user=vaughan [2011-05-14 03:35:23] 801*2^938693-1 is not prime. Res64: 117A9545601753DF Time : 1241.0 sec. user=vaughan [2011-05-14 03:35:33] 917*2^938694-1 is not prime. Res64: 3A9E219F91AC43D9 Time : 1210.0 sec. user=vaughan [2011-05-14 03:54:17] 973*2^938695-1 is not prime. Res64: 7057A729A6E73FC4 Time : 1165.0 sec. user=vaughan [2011-05-14 03:55:23] 869*2^938696-1 is not prime. Res64: EAC3D0C34CB61E00 Time : 1190.0 sec. user=vaughan [2011-05-14 03:55:40] 843*2^938696-1 is not prime. Res64: CB260ECAA4E15DF3 Time : 1218.0 sec. user=vaughan [2011-05-14 03:55:47] 845*2^938696-1 is not prime. Res64: A37E6F9F5AA53086 Time : 1224.0 sec. user=vaughan [2011-05-14 04:01:33] 927*2^938694-1 is not prime. Res64: F61E3A51138BE9F9 Time : 1777.0 sec. user=vaughan [2011-05-14 04:03:28] 855*2^938695-1 is not prime. Res64: 5E85992916FED423 Time : 1892.0 sec. user=vaughan [2011-05-14 04:03:54] 961*2^938695-1 is not prime. Res64: F6D2AC6D5A7229B6 Time : 1907.0 sec. user=vaughan [2011-05-14 04:05:17] 889*2^938695-1 is not prime. Res64: 0641FB8446896BDC Time : 2001.0 sec. user=vaughan [2011-05-14 04:13:32] 879*2^938696-1 is not prime. Res64: B19A6A1DDFF0853A Time : 1156.0 sec. user=vaughan [2011-05-14 04:15:10] 957*2^938696-1 is not prime. Res64: 5F75C072042B62AA Time : 1187.0 sec. user=vaughan [2011-05-14 04:15:28] 983*2^938696-1 is not prime. Res64: 9CB25197B1574747 Time : 1188.0 sec. user=vaughan [2011-05-14 04:15:39] 829*2^938697-1 is not prime. Res64: 04B33CF4AC812E46 Time : 1193.0 sec. user=vaughan [2011-05-14 04:26:12] 837*2^938697-1 is not prime. Res64: 57852FDAA3F2C277 Time : 1480.0 sec. user=vaughan [2011-05-14 04:29:44] 847*2^938697-1 is not prime. Res64: CCA8B1C86A253C7A Time : 1576.0 sec. user=vaughan [2011-05-14 04:30:52] 945*2^938697-1 is not prime. Res64: C55D374BFD6B1116 Time : 1618.0 sec. user=vaughan [2011-05-14 04:32:53] 833*2^938698-1 is not prime. Res64: 2C473B7E7F94A1FD Time : 1162.0 sec. user=vaughan [2011-05-14 04:34:02] 985*2^938697-1 is not prime. Res64: B233F73EA7949622 Time : 1725.0 sec. user=vaughan [2011-05-14 04:35:06] 933*2^938698-1 is not prime. Res64: 291E4FAF6F6AE341 Time : 1196.0 sec. user=vaughan [2011-05-14 04:36:26] 823*2^938699-1 is not prime. Res64: C0C05481F39CCE37 Time : 1248.0 sec. user=vaughan [2011-05-14 04:36:28] 975*2^938698-1 is not prime. Res64: 833A80611F16B359 Time : 1260.0 sec. user=vaughan [2011-05-14 04:50:57] 913*2^938699-1 is not prime. Res64: 7D8F53DA1787B783 Time : 1485.0 sec. user=vaughan [2011-05-14 04:52:15] 909*2^938700-1 is not prime. Res64: 30F911D02797AD84 Time : 1162.0 sec. user=vaughan [2011-05-14 04:55:00] 847*2^938701-1 is not prime. Res64: 752AD3A9EB7AA717 Time : 1194.0 sec. user=vaughan [2011-05-14 04:56:12] 939*2^938699-1 is not prime. Res64: B34CE8FAAD1E0CE6 Time : 1588.0 sec. user=vaughan [2011-05-14 04:57:18] 889*2^938701-1 is not prime. Res64: 69584C5DF02DCB1D Time : 1251.0 sec. user=vaughan [2011-05-14 04:57:24] 849*2^938701-1 is not prime. Res64: 4ADD2C04E303C218 Time : 1258.0 sec. user=vaughan [2011-05-14 04:57:58] 879*2^938700-1 is not prime. Res64: 540F4DA226105DDF Time : 1626.0 sec. user=vaughan [2011-05-14 05:02:59] 965*2^938700-1 is not prime. Res64: 12FBC0449095B994 Time : 1737.0 sec. user=vaughan [2011-05-14 05:11:39] 945*2^938702-1 is not prime. Res64: 48360383369ACFBF Time : 1164.0 sec. user=vaughan [2011-05-14 05:15:34] 887*2^938704-1 is not prime. Res64: 8FD74F6E7A2EF823 Time : 1234.0 sec. user=vaughan [2011-05-14 05:15:44] 827*2^938702-1 is not prime. Res64: AF53EC05C3C35D03 Time : 1487.0 sec. user=vaughan [2011-05-14 05:17:48] 847*2^938705-1 is not prime. Res64: C428C5CDDFA57073 Time : 1224.0 sec. user=vaughan [2011-05-14 05:17:55] 811*2^938705-1 is not prime. Res64: 1DABBC7E32015701 Time : 1237.0 sec. user=vaughan [2011-05-14 05:22:40] 983*2^938704-1 is not prime. Res64: 37C681D33D61AE85 Time : 1588.0 sec. user=vaughan [2011-05-14 05:25:09] 975*2^938706-1 is not prime. Res64: 91EA2844C9C9FCCA Time : 1631.0 sec. user=vaughan [2011-05-14 05:31:02] 849*2^938707-1 is not prime. Res64: 98A0520C5924601D Time : 1164.0 sec. user=vaughan [2011-05-14 05:31:47] 819*2^938707-1 is not prime. Res64: 1CCCC6ED49AE8932 Time : 1729.0 sec. user=vaughan [2011-05-14 05:35:37] 901*2^938707-1 is not prime. Res64: 0F0F84BD73A1470C Time : 1203.0 sec. user=vaughan [2011-05-14 05:38:45] 839*2^938708-1 is not prime. Res64: 4C4168CB37BA21E1 Time : 1257.0 sec. user=vaughan [2011-05-14 05:38:45] 875*2^938708-1 is not prime. Res64: 69F669544F6072D7 Time : 1250.0 sec. user=vaughan [2011-05-14 05:40:25] 913*2^938707-1 is not prime. Res64: 31BC6E274AF8309C Time : 1482.0 sec. user=vaughan [2011-05-14 05:49:11] 977*2^938708-1 is not prime. Res64: 111E67B9362F9AC1 Time : 1591.0 sec. user=vaughan [2011-05-14 05:50:24] 995*2^938708-1 is not prime. Res64: 2CC7D3AB8946CA7D Time : 1162.0 sec. user=vaughan [2011-05-14 05:52:13] 987*2^938708-1 is not prime. Res64: 21C34A1A871F78E8 Time : 1625.0 sec. user=vaughan [2011-05-14 05:55:32] 995*2^938710-1 is not prime. Res64: AA7EF4E439086EDF Time : 1196.0 sec. user=vaughan [2011-05-14 05:59:37] 901*2^938711-1 is not prime. Res64: FA271804B42548FD Time : 1252.0 sec. user=vaughan [2011-05-14 05:59:42] 895*2^938711-1 is not prime. Res64: 2131091FB79D6DB2 Time : 1258.0 sec. user=vaughan [2011-05-14 06:00:23] 951*2^938710-1 is not prime. Res64: A5C8D7776016AE05 Time : 1716.0 sec. user=vaughan [2011-05-14 06:05:04] 933*2^938712-1 is not prime. Res64: 6890E4214D0A2A9A Time : 1479.0 sec. user=vaughan [2011-05-14 06:10:03] 807*2^938713-1 is not prime. Res64: 52BBD12D821255B3 Time : 1180.0 sec. user=vaughan [2011-05-14 06:15:27] 855*2^938713-1 is not prime. Res64: 0A7A4A5394372C53 Time : 1195.0 sec. user=vaughan [2011-05-14 06:15:41] 983*2^938712-1 is not prime. Res64: 9ECFFE7CDD6B95B1 Time : 1590.0 sec. user=vaughan [2011-05-14 06:19:18] 829*2^938713-1 is not prime. Res64: 32C3689314123972 Time : 1625.0 sec. user=vaughan [2011-05-14 06:20:13] 919*2^938715-1 is not prime. Res64: 4BE58B17037B8F91 Time : 1231.0 sec. user=vaughan [2011-05-14 06:20:15] 971*2^938714-1 is not prime. Res64: 5BE9E993276405A3 Time : 1239.0 sec. user=vaughan [2011-05-14 06:29:10] 921*2^938715-1 is not prime. Res64: 977C0054DDBF922E Time : 1727.0 sec. user=vaughan [2011-05-14 06:29:50] 833*2^938716-1 is not prime. Res64: A25D35BF987E10CC Time : 1486.0 sec. user=vaughan [2011-05-14 06:29:56] 887*2^938716-1 is not prime. Res64: 8E1E1E23F59666B9 Time : 1194.0 sec. user=vaughan [2011-05-14 06:35:21] 899*2^938716-1 is not prime. Res64: D4F3DA74AACC0CB2 Time : 1194.0 sec. user=vaughan [2011-05-14 06:40:57] 837*2^938717-1 is not prime. Res64: 29D509CCB20A3EA4 Time : 1245.0 sec. user=vaughan [2011-05-14 06:41:11] 867*2^938717-1 is not prime. Res64: CDBF75479F56A3EA Time : 1257.0 sec. user=vaughan [2011-05-14 06:41:50] 903*2^938716-1 is not prime. Res64: E0A1285D4274AE40 Time : 1570.0 sec. user=vaughan [2011-05-14 06:45:52] 965*2^938716-1 is not prime. Res64: 18BC9DA0FCA6B1A9 Time : 1594.0 sec. user=vaughan [2011-05-14 06:49:17] 927*2^938718-1 is not prime. Res64: 8C87AB3A4F279DBE Time : 1161.0 sec. user=vaughan [2011-05-14 06:53:44] 893*2^938718-1 is not prime. Res64: 3EAE64A5150A692F Time : 1434.0 sec. user=vaughan [2011-05-14 06:55:16] 861*2^938719-1 is not prime. Res64: FCC47BD5FF2A9924 Time : 1195.0 sec. user=vaughan [2011-05-14 06:56:35] 861*2^938718-1 is not prime. Res64: 3ABC59496F6A8FE2 Time : 1645.0 sec. user=vaughan [2011-05-14 07:01:53] 845*2^938720-1 is not prime. Res64: EE9D620313204697 Time : 1256.0 sec. user=vaughan [2011-05-14 07:02:03] 875*2^938720-1 is not prime. Res64: ACBCA406DB66B4D7 Time : 1252.0 sec. user=vaughan [2011-05-14 07:07:24] 929*2^938720-1 is not prime. Res64: 3EF488825393A0CD Time : 1535.0 sec. user=vaughan [2011-05-14 07:08:49] 805*2^938721-1 is not prime. Res64: 9C7D7A35B234DC6A Time : 1172.0 sec. user=vaughan [2011-05-14 07:11:59] 977*2^938720-1 is not prime. Res64: 6B8E855EE6696A09 Time : 1567.0 sec. user=vaughan [2011-05-14 07:15:21] 861*2^938721-1 is not prime. Res64: 6E4E5E1B7BE69A39 Time : 1205.0 sec. user=vaughan [2011-05-14 07:17:44] 817*2^938721-1 is not prime. Res64: 14714A272B654B2E Time : 1440.0 sec. user=vaughan [2011-05-14 07:22:32] 833*2^938722-1 is not prime. Res64: C7E2AB2AD6114AB7 Time : 1230.0 sec. user=vaughan [2011-05-14 07:22:36] 815*2^938722-1 is not prime. Res64: 6B9A62D6384D25AD Time : 1243.0 sec. user=vaughan [2011-05-14 07:24:03] 871*2^938721-1 is not prime. Res64: F1BBBE2D0C7E5A95 Time : 1648.0 sec. user=vaughan [2011-05-14 07:28:49] 915*2^938722-1 is not prime. Res64: 00C1EB63B292F410 Time : 1200.0 sec. user=vaughan [2011-05-14 07:33:05] 873*2^938722-1 is not prime. Res64: D40DAE2632F0E942 Time : 1541.0 sec. user=vaughan [2011-05-14 07:35:35] 951*2^938722-1 is not prime. Res64: 49CC4AF6A3E684C8 Time : 1214.0 sec. user=vaughan [2011-05-14 07:38:18] 923*2^938722-1 is not prime. Res64: E8A4AC7B0B19E69B Time : 1579.0 sec. user=vaughan [2011-05-14 07:41:43] 813*2^938723-1 is not prime. Res64: 926E91D60FAA541C Time : 1439.0 sec. user=vaughan [2011-05-14 07:43:08] 871*2^938723-1 is not prime. Res64: E5AFD5215626174D Time : 1237.0 sec. user=vaughan [2011-05-14 07:43:40] 913*2^938723-1 is not prime. Res64: 4ECCE66A09814C83 Time : 1264.0 sec. user=vaughan [2011-05-14 07:48:33] 895*2^938725-1 is not prime. Res64: 5A888B6A0A500F92 Time : 1184.0 sec. user=vaughan [2011-05-14 07:51:28] 943*2^938723-1 is not prime. Res64: 21B11DB6A4840D65 Time : 1645.0 sec. user=vaughan [2011-05-14 07:55:41] 979*2^938725-1 is not prime. Res64: 5DAAAEADF5028A07 Time : 1206.0 sec. user=vaughan [2011-05-14 07:58:53] 951*2^938725-1 is not prime. Res64: 83A4CAD9E11A3097 Time : 1549.0 sec. user=vaughan [2011-05-14 08:03:39] 897*2^938726-1 is not prime. Res64: 4E4B4C64EA2F82E4 Time : 1231.0 sec. user=vaughan [2011-05-14 08:04:30] 911*2^938726-1 is not prime. Res64: 7D8E521CD8A8D9EF Time : 1250.0 sec. user=vaughan [2011-05-14 08:04:59] 801*2^938726-1 is not prime. Res64: 6FB8EEF4E06E00D4 Time : 1602.0 sec. user=vaughan [2011-05-14 08:06:04] 827*2^938726-1 is not prime. Res64: CA2E8E9E220443FC Time : 1461.0 sec. user=vaughan [2011-05-14 08:08:11] 921*2^938726-1 is not prime. Res64: C4624ADBCB2162E8 Time : 1178.0 sec. user=vaughan [2011-05-14 08:15:48] 861*2^938727-1 is not prime. Res64: 54CE2C2E2F3918D4 Time : 1207.0 sec. user=vaughan [2011-05-14 08:20:32] 831*2^938727-1 is not prime. Res64: ECACD75AF9BE2499 Time : 1745.0 sec. user=vaughan [2011-05-14 08:24:14] 915*2^938728-1 is not prime. Res64: 09984095706FBB08 Time : 1235.0 sec. user=vaughan [2011-05-14 08:25:20] 861*2^938729-1 is not prime. Res64: 70B8D52FF2CEB2CE Time : 1250.0 sec. user=vaughan [2011-05-14 08:25:24] 985*2^938727-1 is not prime. Res64: 7350F1B1E30D3944 Time : 1591.0 sec. user=vaughan [2011-05-14 08:27:56] 851*2^938730-1 is not prime. Res64: 84FDCB4994827B73 Time : 1185.0 sec. user=vaughan [2011-05-14 08:30:52] 845*2^938730-1 is not prime. Res64: AEB345D9E8F3EC28 Time : 1488.0 sec. user=vaughan [2011-05-14 08:31:54] 997*2^938729-1 is not prime. Res64: 3B331DD2E49E61AF Time : 1615.0 sec. user=vaughan [2011-05-14 08:35:54] 861*2^938730-1 is not prime. Res64: 419CB423F28F1EEE Time : 1207.0 sec. user=vaughan [2011-05-14 08:44:30] 805*2^938731-1 is not prime. Res64: A004173A8765018A Time : 1216.0 sec. user=vaughan [2011-05-14 08:45:39] 855*2^938731-1 is not prime. Res64: FFC2F1AD68C0D0E6 Time : 1220.0 sec. user=vaughan [2011-05-14 08:48:34] 961*2^938731-1 is not prime. Res64: 7C1330A77D2B2CF4 Time : 1239.0 sec. user=vaughan [2011-05-14 08:49:28] 875*2^938730-1 is not prime. Res64: 9345939AF9AF80DB Time : 1736.0 sec. user=vaughan [2011-05-14 08:51:49] 901*2^938731-1 is not prime. Res64: CC37FB259374DDBC Time : 1585.0 sec. user=vaughan [2011-05-14 08:55:38] 969*2^938731-1 is not prime. Res64: 6987718B69ACFF16 Time : 1486.0 sec. user=vaughan [2011-05-14 08:56:00] 837*2^938732-1 is not prime. Res64: C3CF98FC7E91E8FD Time : 1206.0 sec. user=vaughan [2011-05-14 08:58:55] 999*2^938731-1 is not prime. Res64: 7F10B2503C922ACA Time : 1622.0 sec. user=vaughan [2011-05-14 09:04:45] 819*2^938733-1 is not prime. Res64: 091EB3A6033FDF52 Time : 1215.0 sec. user=vaughan [2011-05-14 09:05:57] 847*2^938733-1 is not prime. Res64: 2AAE360C394D42DA Time : 1218.0 sec. user=vaughan [2011-05-14 09:09:12] 861*2^938733-1 is not prime. Res64: 47833C9B9E0052C4 Time : 1238.0 sec. user=vaughan [2011-05-14 09:16:05] 961*2^938733-1 is not prime. Res64: 36AF535D6512E5E9 Time : 1205.0 sec. user=vaughan [2011-05-14 09:18:14] 937*2^938733-1 is not prime. Res64: F0B7E75D9D38087E Time : 1586.0 sec. user=vaughan [2011-05-14 09:18:25] 919*2^938733-1 is not prime. Res64: 70D6BE76BF7B31A0 Time : 1738.0 sec. user=vaughan [2011-05-14 09:20:32] 949*2^938733-1 is not prime. Res64: 92125E4BC4B38B7C Time : 1494.0 sec. user=vaughan [2011-05-14 09:25:03] 825*2^938734-1 is not prime. Res64: F6ECA872544DC531 Time : 1219.0 sec. user=vaughan [2011-05-14 09:25:50] 813*2^938734-1 is not prime. Res64: 8F4A2F79076A6BBD Time : 1615.0 sec. user=vaughan [2011-05-14 09:26:24] 951*2^938734-1 is not prime. Res64: E20D0AEE8321A9C3 Time : 1227.0 sec. user=ototero [2011-05-14 09:26:33] 843*2^938664-1 is not prime. Res64: 8F663B418DDCE8B7 Time : 53225.0 sec. user=ototero [2011-05-14 09:26:33] 903*2^938664-1 is not prime. Res64: 65C073B1C15C387A Time : 53224.0 sec. user=ototero [2011-05-14 09:26:34] 993*2^938664-1 is not prime. Res64: A2EEB2EAB4FAB02B Time : 53225.0 sec. user=ototero [2011-05-14 09:26:34] 855*2^938665-1 is not prime. Res64: 0C2627DAA72EB64C Time : 53225.0 sec. user=ototero [2011-05-14 09:26:34] 937*2^938665-1 is not prime. Res64: 0BDDB2A70A2DA488 Time : 53225.0 sec. user=ototero [2011-05-14 09:26:34] 951*2^938665-1 is not prime. Res64: 38BD20861954C088 Time : 53224.0 sec. user=ototero [2011-05-14 09:26:34] 801*2^938666-1 is not prime. Res64: DD4F51F7F2608418 Time : 53224.0 sec. user=ototero [2011-05-14 09:26:35] 813*2^938666-1 is not prime. Res64: F512A40979931E0A Time : 53225.0 sec. user=ototero [2011-05-14 09:26:35] 825*2^938666-1 is not prime. Res64: AC3802CA25B46BA0 Time : 53224.0 sec. user=ototero [2011-05-14 09:26:35] 903*2^938666-1 is not prime. Res64: E62CCC3B18071B89 Time : 53224.0 sec. user=vaughan [2011-05-14 09:29:25] 825*2^938735-1 is not prime. Res64: 74B1F3527A8457C3 Time : 1213.0 sec. user=vaughan [2011-05-14 09:36:13] 841*2^938735-1 is not prime. Res64: D0D1FDBE4CC5163E Time : 1208.0 sec. user=vaughan [2011-05-14 09:44:35] 969*2^938735-1 is not prime. Res64: 4230FBCCE419235A Time : 1581.0 sec. user=vaughan [2011-05-14 09:45:37] 885*2^938737-1 is not prime. Res64: 22DFBA0A59E5401F Time : 1234.0 sec. user=vaughan [2011-05-14 09:45:39] 909*2^938736-1 is not prime. Res64: 7FB1739E8EB55660 Time : 1507.0 sec. user=vaughan [2011-05-14 09:47:05] 981*2^938735-1 is not prime. Res64: 9215D5F582A2198B Time : 1721.0 sec. user=vaughan [2011-05-14 09:47:15] 895*2^938739-1 is not prime. Res64: 65AB60C6DB237F9B Time : 1252.0 sec. user=vaughan [2011-05-14 09:49:03] 867*2^938742-1 is not prime. Res64: 0419B9A9D97FC84C Time : 1179.0 sec. user=vaughan [2011-05-14 09:52:49] 831*2^938738-1 is not prime. Res64: FE0AF05197953982 Time : 1619.0 sec. user=vaughan [2011-05-14 09:56:19] 951*2^938742-1 is not prime. Res64: 6F61D63BF05762E6 Time : 1206.0 sec. user=vaughan [2011-05-14 10:06:13] 993*2^938743-1 is not prime. Res64: 86475AE913ABEECD Time : 1236.0 sec. user=vaughan [2011-05-14 10:08:08] 995*2^938744-1 is not prime. Res64: A3729144748C99D9 Time : 1253.0 sec. user=vaughan [2011-05-14 10:08:42] 831*2^938745-1 is not prime. Res64: FD1EC2F902BABF6B Time : 1179.0 sec. user=vaughan [2011-05-14 10:10:49] 811*2^938743-1 is not prime. Res64: E694037439C66CEB Time : 1574.0 sec. user=vaughan [2011-05-14 10:10:49] 875*2^938744-1 is not prime. Res64: EA448C0E3ED89C86 Time : 1510.0 sec. user=vaughan [2011-05-14 10:15:52] 959*2^938744-1 is not prime. Res64: AA8017AC03FF99A3 Time : 1727.0 sec. user=vaughan [2011-05-14 10:16:24] 895*2^938745-1 is not prime. Res64: 6A38B7F2FBB7C125 Time : 1205.0 sec. user=vaughan [2011-05-14 10:19:50] 871*2^938745-1 is not prime. Res64: 394B4167B6517D95 Time : 1621.0 sec. user=vaughan [2011-05-14 10:27:13] 921*2^938745-1 is not prime. Res64: 296D913BF6F406ED Time : 1261.0 sec. user=vaughan [2011-05-14 10:28:21] 855*2^938746-1 is not prime. Res64: 0FF88306C3287ADA Time : 1179.0 sec. user=vaughan [2011-05-14 10:29:15] 803*2^938746-1 is not prime. Res64: 3E0A6E732C51EC46 Time : 1267.0 sec. user=vaughan [2011-05-14 10:35:45] 905*2^938746-1 is not prime. Res64: F1457AB087ED337B Time : 1496.0 sec. user=vaughan [2011-05-14 10:36:21] 909*2^938747-1 is not prime. Res64: A5A57D8D35E8515B Time : 1198.0 sec. user=vaughan [2011-05-14 10:36:54] 881*2^938746-1 is not prime. Res64: 488E76BB7C8E19FC Time : 1566.0 sec. user=vaughan [2011-05-14 10:43:55] 1001*2^938746-1 is not prime. Res64: 84AB7E01BF4468C8 Time : 1683.0 sec. user=vaughan [2011-05-14 10:46:16] 973*2^938747-1 is not prime. Res64: 3694959F4BCC639A Time : 1587.0 sec. user=vaughan [2011-05-14 10:48:01] 837*2^938748-1 is not prime. Res64: 4DDB0ACF8819DA26 Time : 1181.0 sec. user=vaughan [2011-05-14 10:48:39] 819*2^938748-1 is not prime. Res64: 4ADAF8CD2AA8A509 Time : 1286.0 sec. user=vaughan [2011-05-14 10:50:36] 927*2^938748-1 is not prime. Res64: 2F28C2700AB3822C Time : 1281.0 sec. user=vaughan [2011-05-14 10:56:19] 969*2^938748-1 is not prime. Res64: 6DE9EEEE7E0074C9 Time : 1198.0 sec. user=vaughan [2011-05-14 10:59:44] 929*2^938748-1 is not prime. Res64: 59D6B5090AD687D2 Time : 1440.0 sec. user=vaughan [2011-05-14 11:02:21] 801*2^938749-1 is not prime. Res64: 061AD810F6A520B7 Time : 1527.0 sec. user=vaughan [2011-05-14 11:07:35] 851*2^938750-1 is not prime. Res64: 914C048CD61C0D3F Time : 1174.0 sec. user=vaughan [2011-05-14 11:10:13] 935*2^938750-1 is not prime. Res64: F95BDC2AAC5151B3 Time : 1295.0 sec. user=vaughan [2011-05-14 11:11:25] 885*2^938749-1 is not prime. Res64: 271697C831DFB5E5 Time : 1650.0 sec. user=vaughan [2011-05-14 11:11:50] 825*2^938752-1 is not prime. Res64: 8C7AB1AA31BA1CFC Time : 1274.0 sec. user=vaughan [2011-05-14 11:12:29] 987*2^938749-1 is not prime. Res64: 99A879C438FC717F Time : 1573.0 sec. user=vaughan [2011-05-14 11:16:17] 903*2^938752-1 is not prime. Res64: 040E4F699C25F10D Time : 1198.0 sec. user=vaughan [2011-05-14 11:23:40] 923*2^938752-1 is not prime. Res64: E0982DBDB86CB1BD Time : 1436.0 sec. user=vaughan [2011-05-14 11:27:14] 947*2^938752-1 is not prime. Res64: 9359700907E305D7 Time : 1180.0 sec. user=vaughan [2011-05-14 11:28:01] 929*2^938752-1 is not prime. Res64: 4B50A19E4ABA77C4 Time : 1540.0 sec. user=vaughan [2011-05-14 11:31:25] 975*2^938752-1 is not prime. Res64: 38D1C830049F50AD Time : 1273.0 sec. user=vaughan [2011-05-14 11:32:38] 831*2^938753-1 is not prime. Res64: E5738164D07D9CE4 Time : 1248.0 sec. user=vaughan [2011-05-14 11:36:37] 873*2^938754-1 is not prime. Res64: 07B3243402D22DC0 Time : 1220.0 sec. user=vaughan [2011-05-14 11:38:48] 829*2^938753-1 is not prime. Res64: 7D4FC9E727A8EDCD Time : 1643.0 sec. user=vaughan [2011-05-14 11:38:50] 825*2^938754-1 is not prime. Res64: D37AE2BCD09B41E3 Time : 1581.0 sec. user=vaughan [2011-05-14 11:46:47] 919*2^938755-1 is not prime. Res64: CB8994A343E519AB Time : 1173.0 sec. user=vaughan [2011-05-14 11:47:33] 917*2^938754-1 is not prime. Res64: ABAB62D069D0266F Time : 1434.0 sec. user=vaughan [2011-05-14 11:51:59] 835*2^938757-1 is not prime. Res64: 3C8AABBE322411FF Time : 1235.0 sec. user=vaughan [2011-05-14 11:53:03] 889*2^938757-1 is not prime. Res64: 0582AD7D68B06610 Time : 1225.0 sec. user=vaughan [2011-05-14 11:53:44] 867*2^938756-1 is not prime. Res64: 0F80283F82CC4831 Time : 1543.0 sec. user=vaughan [2011-05-14 11:56:45] 927*2^938757-1 is not prime. Res64: F3837C1810EC4210 Time : 1208.0 sec. user=vaughan [2011-05-14 12:05:33] 997*2^938757-1 is not prime. Res64: 351D92FD97BB4A6E Time : 1604.0 sec. user=vaughan [2011-05-14 12:06:17] 987*2^938758-1 is not prime. Res64: 7C88EC0CA970B9D5 Time : 1170.0 sec. user=vaughan [2011-05-14 12:07:09] 945*2^938757-1 is not prime. Res64: F37EE6790786BC09 Time : 1702.0 sec. user=vaughan [2011-05-14 12:12:08] 993*2^938758-1 is not prime. Res64: 93DE87DD6F013703 Time : 1475.0 sec. user=vaughan [2011-05-14 12:12:54] 855*2^938759-1 is not prime. Res64: B3088C9DE007F520 Time : 1255.0 sec. user=vaughan [2011-05-14 12:13:46] 861*2^938759-1 is not prime. Res64: 265E1B52021B9ED5 Time : 1243.0 sec. user=vaughan [2011-05-14 12:16:43] 913*2^938759-1 is not prime. Res64: E57124C182529120 Time : 1198.0 sec. user=vaughan [2011-05-14 12:20:13] 895*2^938759-1 is not prime. Res64: A78FB901DDEAFDF7 Time : 1589.0 sec. user=vaughan [2011-05-14 12:26:37] 825*2^938760-1 is not prime. Res64: 90751DB3677DAB9D Time : 1221.0 sec. user=vaughan [2011-05-14 12:32:36] 993*2^938759-1 is not prime. Res64: 5EA12F0A7EC7FEB2 Time : 1623.0 sec. user=vaughan [2011-05-14 12:34:07] 805*2^938761-1 is not prime. Res64: D978E877E07B56C2 Time : 1273.0 sec. user=vaughan [2011-05-14 12:34:43] 877*2^938761-1 is not prime. Res64: B0AF0858764B4BE8 Time : 1257.0 sec. user=vaughan [2011-05-14 12:36:03] 879*2^938760-1 is not prime. Res64: 5B85A71DCDC920A9 Time : 1734.0 sec. user=vaughan [2011-05-14 12:36:46] 997*2^938761-1 is not prime. Res64: 895E1B1F85280930 Time : 1203.0 sec. user=vaughan [2011-05-14 12:36:55] 975*2^938760-1 is not prime. Res64: F2A918C532CFB615 Time : 1487.0 sec. user=vaughan [2011-05-14 12:46:10] 893*2^938762-1 is not prime. Res64: AC1A0E964BC8BB3A Time : 1174.0 sec. user=vaughan [2011-05-14 12:46:43] 813*2^938762-1 is not prime. Res64: 02D731EC2E093E57 Time : 1590.0 sec. user=vaughan [2011-05-14 12:55:37] 935*2^938762-1 is not prime. Res64: DDA09956D482A607 Time : 1290.0 sec. user=vaughan [2011-05-14 12:55:55] 953*2^938762-1 is not prime. Res64: 4DEC3D356CAF442D Time : 1272.0 sec. user=vaughan [2011-05-14 12:56:49] 951*2^938763-1 is not prime. Res64: 8D07225BA93DEB88 Time : 1203.0 sec. user=vaughan [2011-05-14 12:59:39] 923*2^938762-1 is not prime. Res64: A60A08B21AB78B0E Time : 1623.0 sec. user=vaughan [2011-05-14 13:01:37] 969*2^938763-1 is not prime. Res64: 6427D9FEF7501E8D Time : 1482.0 sec. user=vaughan [2011-05-14 13:04:58] 805*2^938763-1 is not prime. Res64: 728C3DB184938C3A Time : 1735.0 sec. user=vaughan [2011-05-14 13:05:44] 813*2^938764-1 is not prime. Res64: 1D60508C49991AC3 Time : 1174.0 sec. user=vaughan [2011-05-14 13:13:19] 915*2^938764-1 is not prime. Res64: E09C1E0C9207322F Time : 1596.0 sec. user=vaughan [2011-05-14 13:16:53] 965*2^938764-1 is not prime. Res64: 5C93CCD3B635B96B Time : 1204.0 sec. user=vaughan [2011-05-14 13:17:03] 939*2^938764-1 is not prime. Res64: D01C7727908273BB Time : 1268.0 sec. user=vaughan [2011-05-14 13:17:07] 927*2^938764-1 is not prime. Res64: 86AAB68D320EC579 Time : 1290.0 sec. user=vaughan [2011-05-14 13:25:18] 859*2^938765-1 is not prime. Res64: 55227619D4D8EEB1 Time : 1174.0 sec. user=vaughan [2011-05-14 13:26:23] 819*2^938765-1 is not prime. Res64: 96466A98D17D6504 Time : 1487.0 sec. user=vaughan [2011-05-14 13:26:43] 805*2^938765-1 is not prime. Res64: 3C91A529715C2590 Time : 1625.0 sec. user=vaughan [2011-05-14 13:33:54] 825*2^938765-1 is not prime. Res64: 7B119A1CFC0B0BDA Time : 1736.0 sec. user=vaughan [2011-05-14 13:37:12] 861*2^938766-1 is not prime. Res64: 16C4478F95A2992C Time : 1220.0 sec. user=vaughan [2011-05-14 13:38:05] 893*2^938766-1 is not prime. Res64: 37A56EFE07EF52DE Time : 1263.0 sec. user=vaughan [2011-05-14 13:38:11] 947*2^938766-1 is not prime. Res64: C8C81594F8F87BB8 Time : 1264.0 sec. user=vaughan [2011-05-14 13:39:46] 821*2^938766-1 is not prime. Res64: C0DBB004A7DFC6EF Time : 1587.0 sec. user=ototero [2011-05-14 13:43:01] 845*2^938740-1 is not prime. Res64: 8D4951CAD1A9E90E Time : 15386.0 sec. user=ototero [2011-05-14 13:43:02] 863*2^938740-1 is not prime. Res64: 7FF6AE22161C202D Time : 15386.0 sec. user=ototero [2011-05-14 13:43:02] 909*2^938740-1 is not prime. Res64: 45E225D6CC5F919D Time : 15386.0 sec. user=ototero [2011-05-14 13:43:02] 927*2^938740-1 is not prime. Res64: 69C20098EC3CF8A4 Time : 15385.0 sec. user=ototero [2011-05-14 13:43:02] 959*2^938740-1 is not prime. Res64: A5A3D217245A1360 Time : 15385.0 sec. user=ototero [2011-05-14 13:43:02] 995*2^938740-1 is not prime. Res64: 09CF0B8D9EAB1A2C Time : 15384.0 sec. user=ototero [2011-05-14 13:43:02] 879*2^938741-1 is not prime. Res64: 6DD30A021F3E8181 Time : 15384.0 sec. user=ototero [2011-05-14 13:43:03] 901*2^938741-1 is not prime. Res64: C20FAFABF0F4C510 Time : 15385.0 sec. user=ototero [2011-05-14 13:43:03] 815*2^938742-1 is not prime. Res64: 298E052C8C2E2495 Time : 15384.0 sec. user=ototero [2011-05-14 13:43:03] 833*2^938742-1 is not prime. Res64: 44F4A67FD9E4DCB3 Time : 15384.0 sec. user=vaughan [2011-05-14 13:44:56] 859*2^938767-1 is not prime. Res64: 844F4A3680260921 Time : 1178.0 sec. user=vaughan [2011-05-14 13:51:05] 889*2^938767-1 is not prime. Res64: 20E896198253FA22 Time : 1483.0 sec. user=vaughan [2011-05-14 13:53:43] 901*2^938767-1 is not prime. Res64: 5D07CECB768B2E32 Time : 1620.0 sec. user=vaughan [2011-05-14 13:57:17] 827*2^938542-1 is not prime. Res64: 886F5195C4B8E13A Time : 1206.0 sec. user=vaughan [2011-05-14 13:59:11] 873*2^938542-1 is not prime. Res64: E06AD9E884B38029 Time : 1267.0 sec. user=vaughan [2011-05-14 13:59:45] 951*2^938542-1 is not prime. Res64: 3215A5B57B80A5DE Time : 1295.0 sec. user=vaughan [2011-05-14 14:02:55] 919*2^938767-1 is not prime. Res64: 04C62829A4091902 Time : 1742.0 sec. user=vaughan [2011-05-14 14:04:32] 843*2^938548-1 is not prime. Res64: 9D062F1CBD39E0DC Time : 1176.0 sec. user=vaughan [2011-05-14 14:06:12] 987*2^938542-1 is not prime. Res64: DFAC9D14EDED035A Time : 1586.0 sec. user=vaughan [2011-05-14 14:15:44] 863*2^938548-1 is not prime. Res64: 08965C2903E1A7F3 Time : 1479.0 sec. user=vaughan [2011-05-14 14:17:49] 969*2^938548-1 is not prime. Res64: 49B5A84D627993D6 Time : 1233.0 sec. user=vaughan [2011-05-14 14:19:40] 999*2^938548-1 is not prime. Res64: E6E8E943349DE9BC Time : 1230.0 sec. user=vaughan [2011-05-14 14:20:16] 879*2^938549-1 is not prime. Res64: 827F766D7F6405B9 Time : 1231.0 sec. user=vaughan [2011-05-14 14:20:46] 915*2^938548-1 is not prime. Res64: 1BDD9DA6E5688A7A Time : 1623.0 sec. user=vaughan [2011-05-14 14:24:11] 987*2^938549-1 is not prime. Res64: E14A33DAD8F450EE Time : 1179.0 sec. user=vaughan [2011-05-14 14:31:49] 925*2^938549-1 is not prime. Res64: 89936339B81862EF Time : 1735.0 sec. user=vaughan [2011-05-14 14:32:43] 845*2^938550-1 is not prime. Res64: 72A0F284C0A2B715 Time : 1591.0 sec. user=vaughan [2011-05-14 14:38:53] 885*2^938550-1 is not prime. Res64: 5B7451617FEF3EB3 Time : 1264.0 sec. user=vaughan [2011-05-14 14:40:06] 917*2^938550-1 is not prime. Res64: 574D4D06178F5FF5 Time : 1226.0 sec. user=vaughan [2011-05-14 14:40:36] 861*2^938550-1 is not prime. Res64: C7E1CF257B129171 Time : 1492.0 sec. user=vaughan [2011-05-14 14:40:37] 895*2^938551-1 is not prime. Res64: 3BE5D4C5C67E2032 Time : 1221.0 sec. user=vaughan [2011-05-14 14:43:51] 983*2^938552-1 is not prime. Res64: 6A74B66FEAE05219 Time : 1180.0 sec. user=vaughan [2011-05-14 14:47:42] 963*2^938552-1 is not prime. Res64: 7DA581333451C7D3 Time : 1616.0 sec. user=vaughan [2011-05-14 14:59:08] 817*2^938553-1 is not prime. Res64: 5503A4AEDDF17312 Time : 1586.0 sec. user=vaughan [2011-05-14 14:59:58] 949*2^938553-1 is not prime. Res64: E50E64E3E594E761 Time : 1265.0 sec. user=vaughan [2011-05-14 15:00:32] 999*2^938553-1 is not prime. Res64: 785E6F01C54BB78B Time : 1226.0 sec. user=vaughan [2011-05-14 15:00:33] 995*2^938552-1 is not prime. Res64: 8B94FF18819791E9 Time : 1725.0 sec. user=vaughan [2011-05-14 15:00:58] 891*2^938554-1 is not prime. Res64: 8E8C946F64F46A25 Time : 1221.0 sec. user=vaughan [2011-05-14 15:03:31] 915*2^938554-1 is not prime. Res64: 7C74B23F6AF92272 Time : 1180.0 sec. user=vaughan [2011-05-14 15:05:37] 815*2^938554-1 is not prime. Res64: 05D5D6ED3781C7FC Time : 1501.0 sec. user=vaughan [2011-05-14 15:14:42] 923*2^938554-1 is not prime. Res64: A9AFBA4528A1367E Time : 1621.0 sec. user=vaughan [2011-05-14 15:20:08] 975*2^938554-1 is not prime. Res64: A8C501C368BB0540 Time : 1210.0 sec. user=vaughan [2011-05-14 15:21:48] 859*2^938555-1 is not prime. Res64: 899D52C67D1717DB Time : 1276.0 sec. user=vaughan [2011-05-14 15:22:22] 963*2^938555-1 is not prime. Res64: 7C31F7C7BB878F21 Time : 1284.0 sec. user=vaughan [2011-05-14 15:23:05] 981*2^938555-1 is not prime. Res64: 929225E292AA3CB7 Time : 1174.0 sec. user=vaughan [2011-05-14 15:25:26] 947*2^938554-1 is not prime. Res64: 44DA9B9817263E0D Time : 1578.0 sec. user=vaughan [2011-05-14 15:29:14] 939*2^938555-1 is not prime. Res64: 9F680B60702F25F0 Time : 1721.0 sec. user=vaughan [2011-05-14 15:30:44] 839*2^938556-1 is not prime. Res64: F4722727B7D7C210 Time : 1507.0 sec. user=vaughan [2011-05-14 15:40:12] 957*2^938556-1 is not prime. Res64: 7B1FE883F3EEC733 Time : 1204.0 sec. user=vaughan [2011-05-14 15:41:45] 893*2^938556-1 is not prime. Res64: BB78413A9FB2F096 Time : 1624.0 sec. user=vaughan [2011-05-14 15:42:41] 983*2^938556-1 is not prime. Res64: 71D17C4F356737DD Time : 1253.0 sec. user=vaughan [2011-05-14 15:43:23] 817*2^938557-1 is not prime. Res64: B8F8417AEBE82F3E Time : 1218.0 sec. user=vaughan [2011-05-14 15:43:37] 987*2^938556-1 is not prime. Res64: E75D1FE8C7E5B92C Time : 1275.0 sec. user=vaughan [2011-05-14 15:51:44] 895*2^938557-1 is not prime. Res64: 3A4E21ED204CA171 Time : 1579.0 sec. user=vaughan [2011-05-14 15:55:58] 831*2^938769-1 is not prime. Res64: 17916736335C7BAC Time : 1514.0 sec. user=vaughan [2011-05-14 15:57:57] 939*2^938767-1 is not prime. Res64: 9D717A2B37D42128 Time : 1723.0 sec. user=vaughan [2011-05-14 16:00:36] 885*2^938769-1 is not prime. Res64: 289D59BF30E4DC1A Time : 1224.0 sec. user=vaughan [2011-05-14 16:03:21] 803*2^938770-1 is not prime. Res64: 0A6DE54549657962 Time : 1240.0 sec. user=vaughan [2011-05-14 16:03:25] 971*2^938770-1 is not prime. Res64: B2E0E3A7E22D9D51 Time : 1202.0 sec. user=vaughan [2011-05-14 16:04:30] 981*2^938770-1 is not prime. Res64: 4B72C6B218DFCDB1 Time : 1253.0 sec. user=vaughan [2011-05-14 16:08:41] 951*2^938769-1 is not prime. Res64: 38C26EBE2A143749 Time : 1616.0 sec. user=vaughan [2011-05-14 16:18:09] 1001*2^938770-1 is not prime. Res64: 5EE211CD29A7AA42 Time : 1586.0 sec. user=vaughan [2011-05-14 16:21:09] 879*2^938771-1 is not prime. Res64: B9135EB0DDDC3CE5 Time : 1512.0 sec. user=vaughan [2011-05-14 16:21:10] 949*2^938771-1 is not prime. Res64: 5939363E05A26882 Time : 1235.0 sec. user=vaughan [2011-05-14 16:23:05] 825*2^938772-1 is not prime. Res64: 67650270095A911F Time : 1180.0 sec. user=vaughan [2011-05-14 16:24:11] 999*2^938771-1 is not prime. Res64: C52154DD9C99475A Time : 1251.0 sec. user=vaughan [2011-05-14 16:25:22] 929*2^938772-1 is not prime. Res64: 7FEAF58EC4DAC268 Time : 1252.0 sec. user=vaughan [2011-05-14 16:26:41] 921*2^938771-1 is not prime. Res64: 7F448A56B00BCDF0 Time : 1725.0 sec. user=vaughan [2011-05-14 16:35:40] 965*2^938772-1 is not prime. Res64: EAFB74155818B20F Time : 1619.0 sec. user=vaughan [2011-05-14 16:41:18] 819*2^938773-1 is not prime. Res64: A0D2E88A5B87061A Time : 1208.0 sec. user=vaughan [2011-05-14 16:42:47] 895*2^938773-1 is not prime. Res64: 4F6EEEF3BCC345CE Time : 1182.0 sec. user=vaughan [2011-05-14 16:44:33] 983*2^938772-1 is not prime. Res64: A7174D77F912DDB9 Time : 1584.0 sec. user=vaughan [2011-05-14 16:45:07] 925*2^938773-1 is not prime. Res64: B16B9CA7AACF443D Time : 1257.0 sec. user=vaughan [2011-05-14 16:45:59] 939*2^938773-1 is not prime. Res64: F4D8D837DE5E7A33 Time : 1238.0 sec. user=vaughan [2011-05-14 16:46:23] 811*2^938773-1 is not prime. Res64: 62858885BDC9D930 Time : 1514.0 sec. user=vaughan [2011-05-14 16:55:27] 815*2^938774-1 is not prime. Res64: 15FCB14D6CAB2420 Time : 1726.0 sec. user=vaughan [2011-05-14 17:01:25] 951*2^938774-1 is not prime. Res64: 5E3384BB6E38A337 Time : 1207.0 sec. user=vaughan [2011-05-14 17:02:28] 987*2^938774-1 is not prime. Res64: B934EA24ED0F4E09 Time : 1181.0 sec. user=vaughan [2011-05-14 17:02:37] 923*2^938774-1 is not prime. Res64: 9EFCBBCE3C342830 Time : 1618.0 sec. user=vaughan [2011-05-14 17:06:02] 955*2^938775-1 is not prime. Res64: 1AF27CFB36A25923 Time : 1256.0 sec. user=vaughan [2011-05-14 17:06:35] 991*2^938775-1 is not prime. Res64: 0E498998BBD81E73 Time : 1236.0 sec. user=vaughan [2011-05-14 17:10:50] 933*2^938775-1 is not prime. Res64: 083455D772F2ABAD Time : 1578.0 sec. user=vaughan [2011-05-14 17:11:34] 833*2^938776-1 is not prime. Res64: 5815E8A36EE29D4A Time : 1511.0 sec. user=vaughan [2011-05-14 17:21:34] 879*2^938777-1 is not prime. Res64: 26211F59D375C65C Time : 1209.0 sec. user=vaughan [2011-05-14 17:22:08] 909*2^938777-1 is not prime. Res64: ECC8AA53F0526A4B Time : 1181.0 sec. user=vaughan [2011-05-14 17:23:42] 847*2^938777-1 is not prime. Res64: B24A50992B7D71EE Time : 1695.0 sec. user=vaughan [2011-05-14 17:27:01] 931*2^938777-1 is not prime. Res64: 02E0A6C2FB3A66F7 Time : 1259.0 sec. user=vaughan [2011-05-14 17:27:13] 927*2^938778-1 is not prime. Res64: 6BE9C60AEDB161B8 Time : 1238.0 sec. user=vaughan [2011-05-14 17:29:09] 925*2^938777-1 is not prime. Res64: 81BAA9DB687C1DA0 Time : 1592.0 sec. user=vaughan [2011-05-14 17:35:31] 841*2^938779-1 is not prime. Res64: B3F581BDE46A90F9 Time : 1438.0 sec. user=vaughan [2011-05-14 17:36:30] 975*2^938778-1 is not prime. Res64: 9E09E87C1D54C90A Time : 1540.0 sec. user=vaughan [2011-05-14 17:41:39] 819*2^938780-1 is not prime. Res64: F145BDC85AF86072 Time : 1206.0 sec. user=vaughan [2011-05-14 17:42:23] 827*2^938780-1 is not prime. Res64: D2DD9434485250D0 Time : 1216.0 sec. user=vaughan [2011-05-14 17:47:53] 983*2^938780-1 is not prime. Res64: BB7748AB27AE1042 Time : 1252.0 sec. user=vaughan [2011-05-14 17:48:29] 901*2^938781-1 is not prime. Res64: D19BB0F083CFFD2A Time : 1276.0 sec. user=vaughan [2011-05-14 17:51:14] 963*2^938780-1 is not prime. Res64: D24E3796C1A46590 Time : 1652.0 sec. user=vaughan [2011-05-14 17:55:16] 961*2^938781-1 is not prime. Res64: 12B63FE0E79D036A Time : 1568.0 sec. user=vaughan [2011-05-14 17:59:36] 911*2^938782-1 is not prime. Res64: F7A2A60F49A3F156 Time : 1446.0 sec. user=vaughan [2011-05-14 18:01:43] 805*2^938783-1 is not prime. Res64: F7DB30799661449B Time : 1204.0 sec. user=vaughan [2011-05-14 18:02:04] 923*2^938782-1 is not prime. Res64: F10B266A533AD376 Time : 1535.0 sec. user=vaughan [2011-05-14 18:02:11] 811*2^938783-1 is not prime. Res64: B0A25B062FD80305 Time : 1189.0 sec. user=ototero [2011-05-14 18:04:15] 895*2^938543-1 is not prime. Res64: 267D597AEE4D1A4D Time : 15672.0 sec. user=ototero [2011-05-14 18:04:15] 913*2^938543-1 is not prime. Res64: 37B11E0F0200B800 Time : 15671.0 sec. user=ototero [2011-05-14 18:04:15] 873*2^938544-1 is not prime. Res64: 5964C51E71E77DB8 Time : 15671.0 sec. user=ototero [2011-05-14 18:04:15] 875*2^938544-1 is not prime. Res64: D04A2367B0B2C8DC Time : 15671.0 sec. user=ototero [2011-05-14 18:04:15] 979*2^938545-1 is not prime. Res64: 993876349C699FA1 Time : 15670.0 sec. user=ototero [2011-05-14 18:04:15] 985*2^938545-1 is not prime. Res64: 7A2A33B45C25569C Time : 15670.0 sec. user=ototero [2011-05-14 18:04:16] 825*2^938546-1 is not prime. Res64: 2CB73BED15F27818 Time : 15671.0 sec. user=ototero [2011-05-14 18:04:16] 911*2^938546-1 is not prime. Res64: EDE68340007FC1E5 Time : 15671.0 sec. user=ototero [2011-05-14 18:04:16] 955*2^938547-1 is not prime. Res64: 798113A3D8E782A3 Time : 15670.0 sec. user=ototero [2011-05-14 18:04:16] 985*2^938547-1 is not prime. Res64: D46489085A3C29F6 Time : 15670.0 sec. user=vaughan [2011-05-14 18:09:14] 885*2^938783-1 is not prime. Res64: AA5BA54511B8C972 Time : 1281.0 sec. user=vaughan [2011-05-14 18:10:16] 921*2^938783-1 is not prime. Res64: 55E8EE8A3B72FE56 Time : 1307.0 sec. user=vaughan [2011-05-14 18:18:53] 949*2^938783-1 is not prime. Res64: B1C19ABDF3FB42F2 Time : 1660.0 sec. user=vaughan [2011-05-14 18:21:30] 993*2^938783-1 is not prime. Res64: 9DD825F7AFFB9973 Time : 1574.0 sec. user=vaughan [2011-05-14 18:21:57] 825*2^938784-1 is not prime. Res64: 94839AA048FC07FD Time : 1214.0 sec. user=vaughan [2011-05-14 18:22:00] 993*2^938784-1 is not prime. Res64: 0E7AF4907926C735 Time : 1189.0 sec. user=vaughan [2011-05-14 18:23:30] 803*2^938784-1 is not prime. Res64: 4ECDCB44B8F3C31F Time : 1435.0 sec. user=vaughan [2011-05-14 18:27:47] 915*2^938784-1 is not prime. Res64: 184D91B6B7A287C2 Time : 1544.0 sec. user=vaughan [2011-05-14 18:30:24] 969*2^938788-1 is not prime. Res64: C60A6AB001334736 Time : 1270.0 sec. user=vaughan [2011-05-14 18:31:51] 801*2^938789-1 is not prime. Res64: 4E28F8BFAF58E1C7 Time : 1295.0 sec. user=vaughan [2011-05-14 18:41:38] 939*2^938791-1 is not prime. Res64: A2ABE3F7A945E423 Time : 1179.0 sec. user=vaughan [2011-05-14 18:42:02] 945*2^938790-1 is not prime. Res64: AF4A1E051D73BE9D Time : 1205.0 sec. user=vaughan [2011-05-14 18:47:02] 863*2^938790-1 is not prime. Res64: 2F2C5FE53A37F449 Time : 1690.0 sec. user=vaughan [2011-05-14 18:47:57] 969*2^938791-1 is not prime. Res64: 0284F83C3BD12472 Time : 1467.0 sec. user=vaughan [2011-05-14 18:48:14] 867*2^938790-1 is not prime. Res64: A736C0F1624F0CE4 Time : 1605.0 sec. user=vaughan [2011-05-14 18:51:19] 855*2^938792-1 is not prime. Res64: AC403B3B2F13C847 Time : 1255.0 sec. user=vaughan [2011-05-14 18:52:26] 873*2^938792-1 is not prime. Res64: E03423356FDABBD5 Time : 1235.0 sec. user=vaughan [2011-05-14 18:54:07] 975*2^938791-1 is not prime. Res64: 71C820220E1F9885 Time : 1581.0 sec. user=vaughan [2011-05-14 19:01:19] 875*2^938792-1 is not prime. Res64: 7539C3C866E9BFBD Time : 1181.0 sec. user=vaughan [2011-05-14 19:02:12] 877*2^938793-1 is not prime. Res64: 6037BD6F10A58043 Time : 1210.0 sec. user=vaughan [2011-05-14 19:12:17] 895*2^938795-1 is not prime. Res64: 5063C7D3A075F694 Time : 1258.0 sec. user=vaughan [2011-05-14 19:12:32] 885*2^938794-1 is not prime. Res64: 8AFFE74D4235A0A5 Time : 1475.0 sec. user=vaughan [2011-05-14 19:13:03] 963*2^938795-1 is not prime. Res64: A00A7DD3BE106146 Time : 1237.0 sec. user=vaughan [2011-05-14 19:15:23] 987*2^938794-1 is not prime. Res64: D66E4AC7CCF5883D Time : 1629.0 sec. user=vaughan [2011-05-14 19:15:38] 969*2^938793-1 is not prime. Res64: BC84B7B597FE1BB9 Time : 1716.0 sec. user=vaughan [2011-05-14 19:20:39] 845*2^938796-1 is not prime. Res64: 3BC411D9E9DCA364 Time : 1593.0 sec. user=vaughan [2011-05-14 19:20:57] 805*2^938797-1 is not prime. Res64: 1894FB011D9EB04F Time : 1179.0 sec. user=vaughan [2011-05-14 19:22:19] 825*2^938797-1 is not prime. Res64: E2F86F2F32CFC99D Time : 1207.0 sec. user=vaughan [2011-05-14 19:33:17] 931*2^938797-1 is not prime. Res64: 5CEB87FAA7A13468 Time : 1260.0 sec. user=vaughan [2011-05-14 19:33:45] 813*2^938798-1 is not prime. Res64: 001768033D7BC485 Time : 1242.0 sec. user=vaughan [2011-05-14 19:37:19] 939*2^938797-1 is not prime. Res64: 79401A254F2CEA91 Time : 1487.0 sec. user=vaughan [2011-05-14 19:40:37] 931*2^938799-1 is not prime. Res64: E63416CF886EBB43 Time : 1181.0 sec. user=vaughan [2011-05-14 19:42:27] 961*2^938799-1 is not prime. Res64: 35D2E221AA1CA0DB Time : 1208.0 sec. user=vaughan [2011-05-14 19:42:32] 827*2^938798-1 is not prime. Res64: 888021A54C65541B Time : 1629.0 sec. user=vaughan [2011-05-14 19:44:20] 829*2^938799-1 is not prime. Res64: 2B3B8842D9A65DE9 Time : 1722.0 sec. user=vaughan [2011-05-14 19:47:10] 861*2^938799-1 is not prime. Res64: 100B81558D427FAC Time : 1591.0 sec. user=vaughan [2011-05-14 19:54:41] 975*2^938799-1 is not prime. Res64: 882CEB63864FE906 Time : 1284.0 sec. user=vaughan [2011-05-14 19:55:15] 849*2^938800-1 is not prime. Res64: 4ACFE1641719377A Time : 1291.0 sec. user=vaughan [2011-05-14 20:00:14] 995*2^938800-1 is not prime. Res64: AB0872EFCD8695AA Time : 1177.0 sec. user=vaughan [2011-05-14 20:01:42] 917*2^938800-1 is not prime. Res64: C189F26979217F4A Time : 1464.0 sec. user=vaughan [2011-05-14 20:02:30] 819*2^938801-1 is not prime. Res64: 9AEF7E75E9B62CF0 Time : 1204.0 sec. user=vaughan [2011-05-14 20:09:03] 871*2^938801-1 is not prime. Res64: 3E5D18F23FBF0839 Time : 1591.0 sec. user=vaughan [2011-05-14 20:12:03] 987*2^938801-1 is not prime. Res64: B2CE8FE60C9EBC6F Time : 1664.0 sec. user=vaughan [2011-05-14 20:12:57] 807*2^938802-1 is not prime. Res64: 864EB3D158014C7C Time : 1548.0 sec. user=vaughan [2011-05-14 20:15:50] 885*2^938802-1 is not prime. Res64: 0C27953B56D737EA Time : 1269.0 sec. user=vaughan [2011-05-14 20:16:54] 887*2^938802-1 is not prime. Res64: 8937E048C85331C3 Time : 1299.0 sec. user=vaughan [2011-05-14 20:19:53] 891*2^938802-1 is not prime. Res64: B378D0A6408C8FCA Time : 1180.0 sec. user=vaughan [2011-05-14 20:22:51] 895*2^938803-1 is not prime. Res64: 0F892ADEC4F77601 Time : 1222.0 sec. user=vaughan [2011-05-14 20:25:38] 945*2^938802-1 is not prime. Res64: AEF1528FBE5F4A3C Time : 1436.0 sec. user=vaughan [2011-05-14 20:35:16] 913*2^938803-1 is not prime. Res64: 0A43D88178B3747A Time : 1574.0 sec. user=vaughan [2011-05-14 20:36:42] 899*2^938804-1 is not prime. Res64: 689F18F84EFCF8E6 Time : 1252.0 sec. user=vaughan [2011-05-14 20:38:08] 861*2^938805-1 is not prime. Res64: 376F8699AAAE72BE Time : 1275.0 sec. user=vaughan [2011-05-14 20:38:39] 897*2^938804-1 is not prime. Res64: 8D23D64EFA9E1B82 Time : 1542.0 sec. user=vaughan [2011-05-14 20:39:30] 871*2^938805-1 is not prime. Res64: E1F7BAF5B36461B8 Time : 1178.0 sec. user=vaughan [2011-05-14 20:39:32] 945*2^938803-1 is not prime. Res64: F266B40881EB74F1 Time : 1649.0 sec. user=vaughan [2011-05-14 20:43:25] 885*2^938805-1 is not prime. Res64: 80111658F9612FCF Time : 1234.0 sec. user=vaughan [2011-05-14 20:48:02] 921*2^938805-1 is not prime. Res64: 31E5F399B1B856B3 Time : 1345.0 sec. user=vaughan [2011-05-14 20:57:05] 937*2^938805-1 is not prime. Res64: 16F12C995D07743F Time : 1310.0 sec. user=vaughan [2011-05-14 20:57:27] 997*2^938805-1 is not prime. Res64: A89D203696478C4A Time : 1245.0 sec. user=vaughan [2011-05-14 20:58:59] 861*2^938807-1 is not prime. Res64: 489F706D121357D7 Time : 1252.0 sec. user=vaughan [2011-05-14 20:59:11] 945*2^938807-1 is not prime. Res64: 3311BA7709D5B5D7 Time : 1181.0 sec. user=vaughan [2011-05-14 20:59:42] 901*2^938807-1 is not prime. Res64: EBA4BA7873DE4975 Time : 1263.0 sec. user=vaughan [2011-05-14 21:01:09] 991*2^938807-1 is not prime. Res64: 2795176788B8796F Time : 1298.0 sec. user=vaughan [2011-05-14 21:03:35] 927*2^938808-1 is not prime. Res64: 2B07174A32171922 Time : 1210.0 sec. user=vaughan [2011-05-14 21:08:03] 929*2^938808-1 is not prime. Res64: 8D80C0034C581C0B Time : 1201.0 sec. user=vaughan [2011-05-14 21:17:59] 959*2^938808-1 is not prime. Res64: 20541677F7855DCF Time : 1255.0 sec. user=vaughan [2011-05-14 21:18:05] 977*2^938808-1 is not prime. Res64: 30826507397384D6 Time : 1238.0 sec. user=vaughan [2011-05-14 21:18:50] 939*2^938809-1 is not prime. Res64: 0223D0BD7AF375F9 Time : 1180.0 sec. user=vaughan [2011-05-14 21:19:51] 817*2^938809-1 is not prime. Res64: 50897C96E43E5503 Time : 1253.0 sec. user=vaughan [2011-05-14 21:20:40] 975*2^938809-1 is not prime. Res64: 3B45EB9DD2E99789 Time : 1258.0 sec. user=vaughan [2011-05-14 21:22:57] 833*2^938810-1 is not prime. Res64: E45E81F4B6CF0A82 Time : 1308.0 sec. user=vaughan [2011-05-14 21:23:43] 923*2^938810-1 is not prime. Res64: FD73912A4D03B150 Time : 1208.0 sec. user=vaughan [2011-05-14 21:28:04] 935*2^938810-1 is not prime. Res64: A7559A30F23798CB Time : 1201.0 sec. user=vaughan [2011-05-14 21:38:30] 825*2^938811-1 is not prime. Res64: 375D7107A192AFC5 Time : 1180.0 sec. user=vaughan [2011-05-14 21:38:43] 1001*2^938810-1 is not prime. Res64: 3EFEF111C08A3B5A Time : 1239.0 sec. user=vaughan [2011-05-14 21:38:53] 957*2^938810-1 is not prime. Res64: E7E9125E437986BE Time : 1255.0 sec. user=vaughan [2011-05-14 21:40:46] 859*2^938811-1 is not prime. Res64: 696EE6619FEFC9E5 Time : 1256.0 sec. user=vaughan [2011-05-14 21:41:32] 895*2^938811-1 is not prime. Res64: B12A29FBFD9907DD Time : 1253.0 sec. user=vaughan [2011-05-14 21:43:58] 979*2^938811-1 is not prime. Res64: EAF2C50CECFF09BF Time : 1215.0 sec. user=vaughan [2011-05-14 21:44:45] 973*2^938811-1 is not prime. Res64: 11C92FEB16F8BC19 Time : 1308.0 sec. user=vaughan [2011-05-14 21:48:29] 999*2^938811-1 is not prime. Res64: 4C884EFE53594C49 Time : 1225.0 sec. user=vaughan [2011-05-14 21:58:10] 819*2^938812-1 is not prime. Res64: 5A2487FFB5AE0EFF Time : 1180.0 sec. user=vaughan [2011-05-14 21:59:34] 983*2^938812-1 is not prime. Res64: 43D59F18FCE09880 Time : 1251.0 sec. user=vaughan [2011-05-14 22:02:03] 995*2^938812-1 is not prime. Res64: FC252CB761D10FE4 Time : 1277.0 sec. user=vaughan [2011-05-14 22:02:51] 989*2^938812-1 is not prime. Res64: 299C973BF77876A1 Time : 1438.0 sec. user=vaughan [2011-05-14 22:04:44] 979*2^938813-1 is not prime. Res64: 0CAF375E4C9A86A5 Time : 1246.0 sec. user=vaughan [2011-05-14 22:06:00] 811*2^938813-1 is not prime. Res64: A735D8A73F7C220A Time : 1468.0 sec. user=vaughan [2011-05-14 22:11:56] 927*2^938814-1 is not prime. Res64: 450D4A567E970A2D Time : 1407.0 sec. user=vaughan [2011-05-14 22:12:42] 893*2^938814-1 is not prime. Res64: 8163ECCB0F2039C6 Time : 1678.0 sec. user=vaughan [2011-05-14 22:17:44] 1001*2^938814-1 is not prime. Res64: 0E88D0BD2750A48A Time : 1174.0 sec. user=ototero [2011-05-14 22:19:11] 861*2^938785-1 is not prime. Res64: F8EDFAC074C3E829 Time : 15295.0 sec. user=ototero [2011-05-14 22:19:11] 919*2^938785-1 is not prime. Res64: 2279788EE428785C Time : 15294.0 sec. user=ototero [2011-05-14 22:19:12] 985*2^938785-1 is not prime. Res64: A5B0C45DB85C7002 Time : 15295.0 sec. user=ototero [2011-05-14 22:19:12] 837*2^938786-1 is not prime. Res64: A53C50DC9EC00628 Time : 15295.0 sec. user=ototero [2011-05-14 22:19:12] 873*2^938786-1 is not prime. Res64: 893777A02F973B2B Time : 15294.0 sec. user=ototero [2011-05-14 22:19:12] 875*2^938786-1 is not prime. Res64: 4F112FDDAB26CA43 Time : 15294.0 sec. user=ototero [2011-05-14 22:19:12] 941*2^938786-1 is not prime. Res64: A6703F620FA7D0B1 Time : 15294.0 sec. user=ototero [2011-05-14 22:19:12] 975*2^938787-1 is not prime. Res64: D2808F0B71292EC5 Time : 15293.0 sec. user=ototero [2011-05-14 22:19:13] 979*2^938787-1 is not prime. Res64: 569F4EC44BAAE440 Time : 15294.0 sec. user=ototero [2011-05-14 22:19:13] 869*2^938788-1 is not prime. Res64: 9844434950333964 Time : 15294.0 sec. user=vaughan [2011-05-14 22:20:59] 829*2^938815-1 is not prime. Res64: 978303052BAA6068 Time : 1285.0 sec. user=vaughan [2011-05-14 22:23:35] 853*2^938815-1 is not prime. Res64: 254F76046380918F Time : 1292.0 sec. user=vaughan [2011-05-14 22:24:48] 979*2^938815-1 is not prime. Res64: C56FD201841CAB4E Time : 1204.0 sec. user=vaughan [2011-05-14 22:28:16] 915*2^938815-1 is not prime. Res64: 2BD936D795A6ED52 Time : 1526.0 sec. user=vaughan [2011-05-14 22:31:26] 867*2^938816-1 is not prime. Res64: D017FB445AB2A108 Time : 1526.0 sec. user=vaughan [2011-05-14 22:35:21] 923*2^938816-1 is not prime. Res64: B5C858E4D0AC29E6 Time : 1405.0 sec. user=vaughan [2011-05-14 22:37:22] 991*2^938817-1 is not prime. Res64: 2D12EB92D7C6BF4D Time : 1178.0 sec. user=vaughan [2011-05-14 22:41:07] 867*2^938817-1 is not prime. Res64: 19345F91B68F38E8 Time : 1705.0 sec. user=vaughan [2011-05-14 22:42:14] 945*2^938820-1 is not prime. Res64: E2AE207F5768D9DE Time : 1276.0 sec. user=vaughan [2011-05-14 22:44:55] 983*2^938820-1 is not prime. Res64: 5F46999CA1E4CD3A Time : 1207.0 sec. user=vaughan [2011-05-14 22:45:19] 975*2^938820-1 is not prime. Res64: 16B80E58439E294E Time : 1304.0 sec. user=vaughan [2011-05-14 22:53:38] 877*2^938821-1 is not prime. Res64: F885C359CAA5FA24 Time : 1523.0 sec. user=vaughan [2011-05-14 22:56:50] 937*2^938821-1 is not prime. Res64: 4B15E4CE94925D14 Time : 1524.0 sec. user=vaughan [2011-05-14 22:57:01] 975*2^938821-1 is not prime. Res64: 034B0FB5896F4D53 Time : 1179.0 sec. user=vaughan [2011-05-14 22:58:48] 957*2^938821-1 is not prime. Res64: 44418F8B5F180FE6 Time : 1407.0 sec. user=vaughan [2011-05-14 23:03:13] 853*2^938823-1 is not prime. Res64: 7A4436992524997B Time : 1259.0 sec. user=vaughan [2011-05-14 23:05:29] 861*2^938823-1 is not prime. Res64: B20901D717090CD5 Time : 1234.0 sec. user=vaughan [2011-05-14 23:06:25] 885*2^938823-1 is not prime. Res64: 868508A503E0F6DC Time : 1266.0 sec. user=vaughan [2011-05-14 23:09:34] 921*2^938822-1 is not prime. Res64: A8DE389E6FA80AE8 Time : 1707.0 sec. user=vaughan [2011-05-14 23:16:49] 955*2^938823-1 is not prime. Res64: 19D99C969FBD7F2A Time : 1189.0 sec. user=vaughan [2011-05-14 23:19:05] 913*2^938823-1 is not prime. Res64: FB659A53A0FADF60 Time : 1527.0 sec. user=vaughan [2011-05-14 23:22:14] 933*2^938823-1 is not prime. Res64: 58DE244671D4CF8E Time : 1524.0 sec. user=vaughan [2011-05-14 23:22:18] 887*2^938824-1 is not prime. Res64: BDC8AA4201968391 Time : 1410.0 sec. user=vaughan [2011-05-14 23:23:56] 909*2^938824-1 is not prime. Res64: 905CD367C7AE97D4 Time : 1243.0 sec. user=vaughan [2011-05-14 23:26:07] 947*2^938824-1 is not prime. Res64: 9F7EC685FA4391CB Time : 1239.0 sec. user=vaughan [2011-05-14 23:27:12] 965*2^938824-1 is not prime. Res64: 43666F1718922D8F Time : 1247.0 sec. user=vaughan [2011-05-14 23:36:42] 917*2^938826-1 is not prime. Res64: CD93F80F738A9CB0 Time : 1194.0 sec. user=vaughan [2011-05-14 23:38:03] 905*2^938826-1 is not prime. Res64: BC84A423BC129D4F Time : 1709.0 sec. user=vaughan [2011-05-14 23:44:28] 957*2^938826-1 is not prime. Res64: A7DC126E0EE85F13 Time : 1524.0 sec. user=vaughan [2011-05-14 23:44:29] 861*2^938827-1 is not prime. Res64: 10AC6F4EFCA40839 Time : 1233.0 sec. user=vaughan [2011-05-14 23:45:59] 835*2^938827-1 is not prime. Res64: DFB92EBB2F78F48A Time : 1421.0 sec. user=vaughan [2011-05-14 23:47:14] 999*2^938827-1 is not prime. Res64: 7483AFFB03168286 Time : 1267.0 sec. user=vaughan [2011-05-14 23:47:33] 813*2^938827-1 is not prime. Res64: 18C04B6CFE72D151 Time : 1520.0 sec. user=vaughan [2011-05-14 23:47:40] 813*2^938828-1 is not prime. Res64: 6A784045A5B5F08E Time : 1228.0 sec. user=vaughan [2011-05-14 23:56:23] 867*2^938828-1 is not prime. Res64: 5C2DF5917F9B0A6D Time : 1182.0 sec.