user=mdettweiler [2011-02-14 00:02:52] 2303*2^288744-1 is not prime. Res64: 30171BEBBF09DA2A Time : 1711.0 sec. user=vaughan [2011-02-14 00:03:42] 2303*2^288750-1 is not prime. Res64: D38F7AE38D97979D Time : 1135.0 sec. user=vaughan [2011-02-14 00:22:41] 2303*2^288860-1 is not prime. Res64: 4374CE3D6B0823A4 Time : 1138.0 sec. user=mdettweiler [2011-02-14 00:31:20] 2303*2^288800-1 is not prime. Res64: D1AF3C0A523644A6 Time : 1707.0 sec. user=vaughan [2011-02-14 00:41:36] 2303*2^288866-1 is not prime. Res64: 811E04C28E92CFBF Time : 1135.0 sec. user=mdettweiler [2011-02-14 00:59:57] 2303*2^288876-1 is not prime. Res64: 86428D032ECF1305 Time : 1717.0 sec. user=vaughan [2011-02-14 01:00:33] 2303*2^288882-1 is not prime. Res64: B9A85DCEDFAAE54C Time : 1136.0 sec. user=vaughan [2011-02-14 01:20:00] 2303*2^288900-1 is not prime. Res64: E65293E39184A198 Time : 1167.0 sec. user=mdettweiler [2011-02-14 01:28:25] 2303*2^288894-1 is not prime. Res64: E398DA801F3B9D41 Time : 1708.0 sec. user=vaughan [2011-02-14 01:38:58] 2303*2^288914-1 is not prime. Res64: 029CF822E43A65CF Time : 1138.0 sec. user=vaughan [2011-02-14 01:57:55] 2303*2^288990-1 is not prime. Res64: EDEECC2B4E59C9CD Time : 1136.0 sec. user=vaughan [2011-02-14 02:16:57] 2303*2^289026-1 is not prime. Res64: B9881C56E73C2597 Time : 1141.0 sec. user=vaughan [2011-02-14 02:35:54] 2303*2^289046-1 is not prime. Res64: 3744D056FF0D8EDB Time : 1136.0 sec. user=mdettweiler [2011-02-14 02:43:48] 2303*2^288936-1 is not prime. Res64: 3A3BC60A22F69A2B Time : 4523.0 sec. user=vaughan [2011-02-14 02:54:52] 2303*2^289104-1 is not prime. Res64: F419B05FED23F74B Time : 1138.0 sec. user=mdettweiler [2011-02-14 03:13:11] 2303*2^289106-1 is not prime. Res64: 79A550EE34B36792 Time : 1763.0 sec. user=vaughan [2011-02-14 03:13:49] 2303*2^289154-1 is not prime. Res64: B8BF210975B48FE9 Time : 1136.0 sec. user=vaughan [2011-02-14 03:32:56] 2303*2^289174-1 is not prime. Res64: 9DFCD1A9B6BE7E9D Time : 1146.0 sec. user=mdettweiler [2011-02-14 03:41:41] 2303*2^289162-1 is not prime. Res64: 02D6EA2B5DBDA96E Time : 1710.0 sec. user=vaughan [2011-02-14 03:51:54] 2303*2^289210-1 is not prime. Res64: 64308384F1E78C27 Time : 1137.0 sec. user=mdettweiler [2011-02-14 04:10:10] 2303*2^289254-1 is not prime. Res64: AE5C6581B6525259 Time : 1709.0 sec. user=vaughan [2011-02-14 04:10:52] 2303*2^289332-1 is not prime. Res64: E3CE067796A2CBF3 Time : 1138.0 sec. user=vaughan [2011-02-14 04:29:52] 2303*2^289350-1 is not prime. Res64: 8834D85D271107BF Time : 1140.0 sec. user=mdettweiler [2011-02-14 04:38:49] 2303*2^289346-1 is not prime. Res64: D8FC9A25D2930F99 Time : 1718.0 sec. user=vaughan [2011-02-14 04:48:51] 2303*2^289354-1 is not prime. Res64: 947228B22D089036 Time : 1138.0 sec. user=vaughan [2011-02-14 05:07:48] 2303*2^289390-1 is not prime. Res64: B4B26B44C8AD85BE Time : 1137.0 sec. user=mdettweiler [2011-02-14 05:07:49] 2303*2^289364-1 is not prime. Res64: 653D995D7DE60C46 Time : 1740.0 sec. user=vaughan [2011-02-14 05:26:52] 2303*2^289414-1 is not prime. Res64: 62F6EE8A7242645A Time : 1144.0 sec. user=mdettweiler [2011-02-14 05:36:17] 2303*2^289434-1 is not prime. Res64: 08EE87A81130AF56 Time : 1708.0 sec. user=vaughan [2011-02-14 05:45:48] 2303*2^289480-1 is not prime. Res64: 5B1B2A0118D79275 Time : 1136.0 sec. user=vaughan [2011-02-14 06:04:46] 2303*2^289520-1 is not prime. Res64: 294B97BA731CD6A7 Time : 1137.0 sec. user=mdettweiler [2011-02-14 06:06:02] 2303*2^289486-1 is not prime. Res64: 46E6411BA1D75FFC Time : 1785.0 sec. user=vaughan [2011-02-14 06:24:09] 2303*2^289540-1 is not prime. Res64: A0142C97D6F3F902 Time : 1162.0 sec. user=mdettweiler [2011-02-14 06:34:33] 2303*2^289574-1 is not prime. Res64: D97B03BD9F4D426C Time : 1711.0 sec. user=vaughan [2011-02-14 06:43:09] 2303*2^289650-1 is not prime. Res64: 32A336C8DA3D409C Time : 1139.0 sec. user=vaughan [2011-02-14 07:02:10] 2303*2^289720-1 is not prime. Res64: EDBB2696CB7BF84D Time : 1141.0 sec. user=mdettweiler [2011-02-14 07:03:23] 2303*2^289662-1 is not prime. Res64: BEBA2BAE77E8D010 Time : 1730.0 sec. user=vaughan [2011-02-14 07:21:21] 2303*2^289782-1 is not prime. Res64: ACC729A095B68D08 Time : 1150.0 sec. user=mdettweiler [2011-02-14 07:31:53] 2303*2^289796-1 is not prime. Res64: 95EEDC3B0C140F44 Time : 1710.0 sec. user=vaughan [2011-02-14 07:40:22] 2303*2^289804-1 is not prime. Res64: 12FD25788E881906 Time : 1140.0 sec. user=vaughan [2011-02-14 07:59:23] 2303*2^289826-1 is not prime. Res64: 6D9E7F20CCA21632 Time : 1140.0 sec. user=mdettweiler [2011-02-14 08:00:35] 2303*2^289814-1 is not prime. Res64: CE1BDEEF5AED91F0 Time : 1721.0 sec. user=vaughan [2011-02-14 08:18:28] 2303*2^289874-1 is not prime. Res64: 3A2621506B11F073 Time : 1145.0 sec. user=mdettweiler [2011-02-14 08:29:39] 2303*2^289876-1 is not prime. Res64: A508982D3A11FFE3 Time : 1744.0 sec. user=vaughan [2011-02-14 08:37:29] 2303*2^289894-1 is not prime. Res64: 2F9F94520D2401FF Time : 1140.0 sec. user=vaughan [2011-02-14 08:56:30] 2303*2^289950-1 is not prime. Res64: F4DBB8FA79AF40F0 Time : 1141.0 sec. user=mdettweiler [2011-02-14 08:58:15] 2303*2^289902-1 is not prime. Res64: 7D0A4BF563800EA0 Time : 1716.0 sec. user=vaughan [2011-02-14 09:15:32] 2303*2^289956-1 is not prime. Res64: F9C742C15C862816 Time : 1142.0 sec. user=mdettweiler [2011-02-14 09:26:43] 2303*2^289972-1 is not prime. Res64: B431BAC436415F1A Time : 1708.0 sec. user=vaughan [2011-02-14 09:34:31] 2303*2^289986-1 is not prime. Res64: 33CEB9FE5C788E5B Time : 1138.0 sec. user=vaughan [2011-02-14 09:53:30] 2303*2^290004-1 is not prime. Res64: 9EF01E76E298116C Time : 1138.0 sec. user=mdettweiler [2011-02-14 09:55:14] 2303*2^289992-1 is not prime. Res64: FF269B9662891651 Time : 1711.0 sec. user=vaughan [2011-02-14 10:12:30] 2303*2^290020-1 is not prime. Res64: 0D0AE8172242F4D9 Time : 1139.0 sec. user=mdettweiler [2011-02-14 10:23:46] 2303*2^290034-1 is not prime. Res64: D2FED792A11DED5C Time : 1712.0 sec. user=vaughan [2011-02-14 10:31:31] 2303*2^290060-1 is not prime. Res64: B5A8CC894E2748A9 Time : 1140.0 sec. user=vaughan [2011-02-14 10:50:31] 2303*2^290070-1 is not prime. Res64: C2B42B15DFC10EF0 Time : 1139.0 sec. user=mdettweiler [2011-02-14 10:52:19] 2303*2^290066-1 is not prime. Res64: AB236335B780BA69 Time : 1713.0 sec. user=vaughan [2011-02-14 11:09:31] 2303*2^290136-1 is not prime. Res64: 9A68840A80EA3EE0 Time : 1140.0 sec. user=mdettweiler [2011-02-14 11:21:17] 2303*2^290242-1 is not prime. Res64: 5507C08164D1F021 Time : 1738.0 sec. user=vaughan [2011-02-14 11:28:34] 2303*2^290354-1 is not prime. Res64: 8B4AD7E1056523BF Time : 1142.0 sec. user=vaughan [2011-02-14 11:48:23] 2303*2^290380-1 is not prime. Res64: 75B951D80E49A479 Time : 1188.0 sec. user=mdettweiler [2011-02-14 11:49:54] 2303*2^290362-1 is not prime. Res64: F768E325AC1EDAEB Time : 1717.0 sec. user=vaughan [2011-02-14 12:07:50] 2303*2^290390-1 is not prime. Res64: 02609F2E6DF1D5C1 Time : 1167.0 sec. user=mdettweiler [2011-02-14 12:18:28] 2303*2^290416-1 is not prime. Res64: B830F080CA173F0E Time : 1714.0 sec. user=vaughan [2011-02-14 12:26:59] 2303*2^290422-1 is not prime. Res64: D2690F43855A1E56 Time : 1148.0 sec. user=vaughan [2011-02-14 12:46:00] 2303*2^290510-1 is not prime. Res64: D2F72699DCDB6241 Time : 1141.0 sec. user=mdettweiler [2011-02-14 12:47:06] 2303*2^290496-1 is not prime. Res64: E1438A49C03173A9 Time : 1718.0 sec. user=vaughan [2011-02-14 13:05:02] 2303*2^290512-1 is not prime. Res64: BC8E32A4E7D2D3A5 Time : 1141.0 sec. user=mdettweiler [2011-02-14 13:15:44] 2303*2^290532-1 is not prime. Res64: 69F402F46B8C726A Time : 1718.0 sec. user=vaughan [2011-02-14 13:24:07] 2303*2^290566-1 is not prime. Res64: 0505AE2AA928AA51 Time : 1145.0 sec. user=vaughan [2011-02-14 13:43:12] 2303*2^290574-1 is not prime. Res64: 81154732754A3F18 Time : 1144.0 sec. user=mdettweiler [2011-02-14 13:44:26] 2303*2^290570-1 is not prime. Res64: E5ED051FECD25D81 Time : 1722.0 sec. user=vaughan [2011-02-14 14:02:16] 2303*2^290586-1 is not prime. Res64: 6DFE874746E65C6E Time : 1144.0 sec. user=mdettweiler [2011-02-14 14:13:11] 2303*2^290602-1 is not prime. Res64: 938CA7436CC7EC73 Time : 1725.0 sec. user=vaughan [2011-02-14 14:21:40] 2303*2^290636-1 is not prime. Res64: 7E683AD4BB533182 Time : 1163.0 sec. user=vaughan [2011-02-14 14:40:44] 2303*2^290682-1 is not prime. Res64: 549B61A168422283 Time : 1143.0 sec. user=mdettweiler [2011-02-14 14:41:46] 2303*2^290646-1 is not prime. Res64: EEDCDD0029D8E61E Time : 1714.0 sec. user=vaughan [2011-02-14 14:59:58] 2303*2^290726-1 is not prime. Res64: 052F4681E0E5E23F Time : 1153.0 sec. user=mdettweiler [2011-02-14 15:10:44] 2303*2^290746-1 is not prime. Res64: 40DCC497647D244A Time : 1738.0 sec. user=vaughan [2011-02-14 15:19:10] 2303*2^290782-1 is not prime. Res64: BF43433A03D49C18 Time : 1151.0 sec. user=vaughan [2011-02-14 15:38:15] 2303*2^290846-1 is not prime. Res64: 219A5C0D67BF6CC1 Time : 1144.0 sec. user=mdettweiler [2011-02-14 15:39:22] 2303*2^290802-1 is not prime. Res64: 3E2776DF41195690 Time : 1718.0 sec. user=vaughan [2011-02-14 15:57:20] 2303*2^290870-1 is not prime. Res64: 24086D1556247880 Time : 1145.0 sec. user=mdettweiler [2011-02-14 16:08:01] 2303*2^290892-1 is not prime. Res64: 711E40CF9061E8DF Time : 1719.0 sec. user=vaughan [2011-02-14 16:16:28] 2303*2^290894-1 is not prime. Res64: 2EE1B72526198B77 Time : 1147.0 sec. user=vaughan [2011-02-14 16:35:34] 2303*2^290930-1 is not prime. Res64: 88C32D19D640EE3C Time : 1146.0 sec. user=mdettweiler [2011-02-14 16:36:43] 2303*2^290902-1 is not prime. Res64: F2757E1B57A09EB3 Time : 1721.0 sec. user=vaughan [2011-02-14 16:54:40] 2303*2^290974-1 is not prime. Res64: DC42F8E5BB8EA945 Time : 1146.0 sec. user=mdettweiler [2011-02-14 17:05:23] 2303*2^290984-1 is not prime. Res64: 9401E9A3CBCCACBC Time : 1720.0 sec. user=vaughan [2011-02-14 17:13:46] 2303*2^291036-1 is not prime. Res64: 58AA5852555D43D6 Time : 1146.0 sec. user=vaughan [2011-02-14 17:32:57] 2303*2^291154-1 is not prime. Res64: 9FA3F5AEC3C97B04 Time : 1150.0 sec. user=mdettweiler [2011-02-14 17:34:02] 2303*2^291042-1 is not prime. Res64: E5BE355FB09F1C31 Time : 1718.0 sec. user=vaughan [2011-02-14 17:52:04] 2303*2^291164-1 is not prime. Res64: 8ABB26DFCFA98B50 Time : 1146.0 sec. user=mdettweiler [2011-02-14 18:02:50] 2303*2^291214-1 is not prime. Res64: 16356DA5C8E16F16 Time : 1727.0 sec. user=vaughan [2011-02-14 18:11:11] 2303*2^291266-1 is not prime. Res64: A2E16914AE5200D8 Time : 1147.0 sec. user=vaughan [2011-02-14 18:30:38] 2303*2^291330-1 is not prime. Res64: C43BC1EABAC966F1 Time : 1167.0 sec. user=mdettweiler [2011-02-14 18:31:30] 2303*2^291276-1 is not prime. Res64: E057F5CA83FD3630 Time : 1720.0 sec. user=vaughan [2011-02-14 18:49:46] 2303*2^291366-1 is not prime. Res64: 17DF7AE4C2AC0921 Time : 1147.0 sec. user=mdettweiler [2011-02-14 19:00:11] 2303*2^291370-1 is not prime. Res64: 3BE39DC9A2F715D4 Time : 1721.0 sec. user=vaughan [2011-02-14 19:09:08] 2303*2^291376-1 is not prime. Res64: FD2DC0BF736690D9 Time : 1162.0 sec. user=vaughan [2011-02-14 19:28:49] 2303*2^291394-1 is not prime. Res64: 9F690A1DD390802D Time : 1180.0 sec. user=mdettweiler [2011-02-14 19:29:11] 2303*2^291380-1 is not prime. Res64: 10CA93DF7A33EBE4 Time : 1739.0 sec. user=vaughan [2011-02-14 19:47:55] 2303*2^291402-1 is not prime. Res64: 012355F438182BB8 Time : 1145.0 sec. user=mdettweiler [2011-02-14 19:57:55] 2303*2^291430-1 is not prime. Res64: 257D5483E737F3C6 Time : 1723.0 sec. user=vaughan [2011-02-14 20:07:03] 2303*2^291480-1 is not prime. Res64: 3DD7868FFDC35615 Time : 1147.0 sec. user=vaughan [2011-02-14 20:26:11] 2303*2^291502-1 is not prime. Res64: 1E9AD0E3F3016FBB Time : 1147.0 sec. user=mdettweiler [2011-02-14 20:26:37] 2303*2^291494-1 is not prime. Res64: 95A1CC501CDEDBB0 Time : 1722.0 sec. user=vaughan [2011-02-14 20:45:20] 2303*2^291516-1 is not prime. Res64: 9A2F6F44EAE0891B Time : 1148.0 sec. user=mdettweiler [2011-02-14 20:55:18] 2303*2^291522-1 is not prime. Res64: B44C4FBBBA416D7A Time : 1721.0 sec. user=vaughan [2011-02-14 21:04:29] 2303*2^291540-1 is not prime. Res64: 6FE022AE61EB89CF Time : 1148.0 sec. user=vaughan [2011-02-14 21:23:58] 2303*2^291554-1 is not prime. Res64: 10AE90E2C89E09C6 Time : 1169.0 sec. user=mdettweiler [2011-02-14 21:24:01] 2303*2^291552-1 is not prime. Res64: 003F1ECE6138968E Time : 1723.0 sec. user=vaughan [2011-02-14 21:43:08] 2303*2^291604-1 is not prime. Res64: 200B5786105B6B33 Time : 1149.0 sec. user=mdettweiler [2011-02-14 21:52:49] 2303*2^291614-1 is not prime. Res64: E6223CE68F479738 Time : 1728.0 sec. user=vaughan [2011-02-14 22:02:16] 2303*2^291626-1 is not prime. Res64: F071DF5BAD179226 Time : 1147.0 sec. user=vaughan [2011-02-14 22:21:33] 2303*2^291642-1 is not prime. Res64: 83170B6F89D46F19 Time : 1157.0 sec. user=mdettweiler [2011-02-14 22:21:36] 2303*2^291640-1 is not prime. Res64: B35048B13E60BAC9 Time : 1726.0 sec. user=vaughan [2011-02-14 22:40:41] 2303*2^291664-1 is not prime. Res64: EF544BD4E6AD0E94 Time : 1148.0 sec. user=mdettweiler [2011-02-14 22:50:22] 2303*2^291684-1 is not prime. Res64: 343AB1903FA65E6E Time : 1726.0 sec. user=vaughan [2011-02-14 22:59:50] 2303*2^291704-1 is not prime. Res64: 6EFF124C2B386359 Time : 1148.0 sec. user=vaughan [2011-02-14 23:19:00] 2303*2^291714-1 is not prime. Res64: D1DAB426C335F35A Time : 1149.0 sec. user=mdettweiler [2011-02-14 23:19:24] 2303*2^291710-1 is not prime. Res64: B67CDED119C57734 Time : 1742.0 sec. user=vaughan [2011-02-14 23:38:09] 2303*2^291736-1 is not prime. Res64: 7B2AF22EB192BDA2 Time : 1149.0 sec. user=mdettweiler [2011-02-14 23:48:09] 2303*2^291740-1 is not prime. Res64: 8DA17253B14D7FA1 Time : 1725.0 sec. user=vaughan [2011-02-14 23:57:19] 2303*2^291746-1 is not prime. Res64: 093ED63AF9E9756A Time : 1149.0 sec.