user=mdettweiler
[2011-01-17 00:05:46]
2301*2^317150-1 is not prime.  Res64: C0631F07A41C49C5  Time : 1131.0 sec.
user=mdettweiler
[2011-01-17 00:07:24]
2301*2^317121-1 is not prime.  Res64: 86B09241C532334E  Time : 2307.0 sec.
user=vaughan
[2011-01-17 00:20:45]
2301*2^317154-1 is not prime.  Res64: 5F3DC4DDECA52D73  Time : 1451.0 sec.
user=mdettweiler
[2011-01-17 00:24:45]
2301*2^317175-1 is not prime.  Res64: EF14B0F507D2D56C  Time : 1138.0 sec.
user=mdettweiler
[2011-01-17 00:43:32]
2301*2^317186-1 is not prime.  Res64: D78E4BF443AB12F6  Time : 1125.0 sec.
user=vaughan
[2011-01-17 00:44:59]
2301*2^317181-1 is not prime.  Res64: 036566BA05E83314  Time : 1453.0 sec.
user=mdettweiler
[2011-01-17 00:45:44]
2301*2^317178-1 is not prime.  Res64: A228404DF74C4633  Time : 2300.0 sec.
user=mdettweiler
[2011-01-17 01:02:22]
2301*2^317198-1 is not prime.  Res64: BC9A28C876B7F5BD  Time : 1129.0 sec.
user=vaughan
[2011-01-17 01:09:12]
2301*2^317202-1 is not prime.  Res64: 9B452E763C917265  Time : 1452.0 sec.
user=mdettweiler
[2011-01-17 01:21:09]
2301*2^317226-1 is not prime.  Res64: 67A4407513735983  Time : 1125.0 sec.
user=mdettweiler
[2011-01-17 01:24:25]
2301*2^317215-1 is not prime.  Res64: DD2C0CDFB1D10F93  Time : 2321.0 sec.
user=vaughan
[2011-01-17 01:33:28]
2301*2^317235-1 is not prime.  Res64: C242575F4A064B74  Time : 1456.0 sec.
user=mdettweiler
[2011-01-17 01:40:12]
2301*2^317237-1 is not prime.  Res64: 57AED875260790F2  Time : 1139.0 sec.
user=vaughan
[2011-01-17 01:57:42]
2301*2^317254-1 is not prime.  Res64: D92B0E9BA3A291D5  Time : 1454.0 sec.
user=mdettweiler
[2011-01-17 01:59:03]
2301*2^317265-1 is not prime.  Res64: 092DE132F9CFE660  Time : 1129.0 sec.
user=mdettweiler
[2011-01-17 02:18:01]
2301*2^317277-1 is not prime.  Res64: DD62212B85D2686E  Time : 1137.0 sec.
user=vaughan
[2011-01-17 02:22:07]
2301*2^317271-1 is not prime.  Res64: CF0EFF43F139C632  Time : 1465.0 sec.
user=mdettweiler
[2011-01-17 02:30:39]
2301*2^317250-1 is not prime.  Res64: F3FD35E49F3FDA3C  Time : 3973.0 sec.
user=mdettweiler
[2011-01-17 02:36:46]
2301*2^317305-1 is not prime.  Res64: 766857C563C52A24  Time : 1124.0 sec.
user=vaughan
[2011-01-17 02:46:22]
2301*2^317318-1 is not prime.  Res64: 6A20476E5A3060C1  Time : 1455.0 sec.
user=mdettweiler
[2011-01-17 02:55:38]
2301*2^317342-1 is not prime.  Res64: 846569EE3944C5B5  Time : 1131.0 sec.
user=vaughan
[2011-01-17 03:10:35]
2301*2^317382-1 is not prime.  Res64: 09C52F9A8DC48CDB  Time : 1452.0 sec.
user=mdettweiler
[2011-01-17 03:14:25]
2301*2^317415-1 is not prime.  Res64: F071B0FF4E9D1759  Time : 1126.0 sec.
user=mdettweiler
[2011-01-17 03:33:26]
2301*2^317446-1 is not prime.  Res64: 0F01D73DFEC3B9E0  Time : 1140.0 sec.
user=vaughan
[2011-01-17 03:34:52]
2301*2^317445-1 is not prime.  Res64: 9DA732873297E6D1  Time : 1456.0 sec.
user=mdettweiler
[2011-01-17 03:52:17]
2301*2^317457-1 is not prime.  Res64: F351278F2B34E367  Time : 1126.0 sec.
user=vaughan
[2011-01-17 03:59:06]
2301*2^317475-1 is not prime.  Res64: DB795B5302DCD5D6  Time : 1453.0 sec.
user=mdettweiler
[2011-01-17 04:11:04]
2301*2^317477-1 is not prime.  Res64: 571E64BE1DA7978C  Time : 1126.0 sec.
user=mdettweiler
[2011-01-17 04:20:35]
2301*2^317334-1 is not prime.  Res64: 2CB75C1EC166A79B  Time : 6595.0 sec.
user=vaughan
[2011-01-17 04:23:25]
2301*2^317490-1 is not prime.  Res64: D2D86549B1495BBA  Time : 1458.0 sec.
user=mdettweiler
[2011-01-17 04:30:02]
2301*2^317494-1 is not prime.  Res64: AB548C277ECDAE95  Time : 1136.0 sec.
user=vaughan
[2011-01-17 04:48:01]
2301*2^317574-1 is not prime.  Res64: 0B61D1873159F180  Time : 1475.0 sec.
user=mdettweiler
[2011-01-17 04:48:55]
2301*2^317578-1 is not prime.  Res64: 50BC45E7B16B8629  Time : 1131.0 sec.
user=mdettweiler
[2011-01-17 05:00:08]
2301*2^317545-1 is not prime.  Res64: 59C572E334653DE9  Time : 2372.0 sec.
user=mdettweiler
[2011-01-17 05:07:54]
2301*2^317642-1 is not prime.  Res64: 0540AAFD729CA865  Time : 1137.0 sec.
user=vaughan
[2011-01-17 05:12:26]
2301*2^317634-1 is not prime.  Res64: D2495C9ADE129DC1  Time : 1459.0 sec.
user=mdettweiler
[2011-01-17 05:26:42]
2301*2^317655-1 is not prime.  Res64: B6C6C363C009D08E  Time : 1126.0 sec.
user=vaughan
[2011-01-17 05:36:42]
2301*2^317671-1 is not prime.  Res64: C6BFA3500699DDF7  Time : 1455.0 sec.
user=mdettweiler
[2011-01-17 05:38:24]
2301*2^317646-1 is not prime.  Res64: B693B301703FF352  Time : 2296.0 sec.
user=mdettweiler
[2011-01-17 05:45:46]
2301*2^317674-1 is not prime.  Res64: E3ADFDC3DAC2B1D7  Time : 1143.0 sec.
user=vaughan
[2011-01-17 06:00:58]
2301*2^317687-1 is not prime.  Res64: 5E332DAB4060C258  Time : 1455.0 sec.
user=mdettweiler
[2011-01-17 06:04:37]
2301*2^317722-1 is not prime.  Res64: A4B973E9CD9974A8  Time : 1129.0 sec.
user=mdettweiler
[2011-01-17 06:16:50]
2301*2^317710-1 is not prime.  Res64: D3C37DD14DB61FB8  Time : 2306.0 sec.
user=mdettweiler
[2011-01-17 06:23:34]
2301*2^317750-1 is not prime.  Res64: 0DD4BDC54382B567  Time : 1136.0 sec.
user=vaughan
[2011-01-17 06:25:19]
2301*2^317723-1 is not prime.  Res64: 5AE08392AA656A67  Time : 1461.0 sec.
user=mdettweiler
[2011-01-17 06:42:28]
2301*2^317827-1 is not prime.  Res64: 94037F2E6B2D5BED  Time : 1133.0 sec.
user=vaughan
[2011-01-17 06:49:40]
2301*2^317830-1 is not prime.  Res64: 19B41108048F1B3C  Time : 1460.0 sec.
user=mdettweiler
[2011-01-17 06:55:33]
2301*2^317761-1 is not prime.  Res64: 232AA042DE7368F3  Time : 2323.0 sec.
user=mdettweiler
[2011-01-17 07:06:23]
2301*2^317837-1 is not prime.  Res64: 466684C2CA6AA5B0  Time : 1434.0 sec.
user=vaughan
[2011-01-17 07:13:57]
2301*2^317838-1 is not prime.  Res64: ADDF0763D4D505B7  Time : 1458.0 sec.
user=mdettweiler
[2011-01-17 07:25:26]
2301*2^317870-1 is not prime.  Res64: DB66A9386BE72E56  Time : 1133.0 sec.
user=mdettweiler
[2011-01-17 07:33:47]
2301*2^317866-1 is not prime.  Res64: B0DE3EC64ECD1595  Time : 2294.0 sec.
user=vaughan
[2011-01-17 07:38:46]
2301*2^317874-1 is not prime.  Res64: 723136D45DB8B6D8  Time : 1488.0 sec.
user=mdettweiler
[2011-01-17 07:44:17]
2301*2^317886-1 is not prime.  Res64: E67D7F7AFB2FC378  Time : 1128.0 sec.
user=vaughan
[2011-01-17 08:03:00]
2301*2^317910-1 is not prime.  Res64: 2A078414649A52FE  Time : 1454.0 sec.
user=mdettweiler
[2011-01-17 08:03:29]
2301*2^317934-1 is not prime.  Res64: DE66858C5AF6EFF5  Time : 1150.0 sec.
user=mdettweiler
[2011-01-17 08:12:02]
2301*2^317890-1 is not prime.  Res64: 061E33E3DA0D93CD  Time : 2295.0 sec.
user=mdettweiler
[2011-01-17 08:22:41]
2301*2^317954-1 is not prime.  Res64: AD66BCA1CC135A59  Time : 1150.0 sec.
user=vaughan
[2011-01-17 08:27:16]
2301*2^317937-1 is not prime.  Res64: C49CE69DD0B5CA2F  Time : 1455.0 sec.
user=mdettweiler
[2011-01-17 08:41:35]
2301*2^317975-1 is not prime.  Res64: 23AEC7F870F7E0A2  Time : 1132.0 sec.
user=mdettweiler
[2011-01-17 08:50:21]
2301*2^317965-1 is not prime.  Res64: 01777529E9769814  Time : 2298.0 sec.
user=vaughan
[2011-01-17 08:51:46]
2301*2^317991-1 is not prime.  Res64: CA3850196768B3EC  Time : 1469.0 sec.
user=mdettweiler
[2011-01-17 09:00:41]
2301*2^318007-1 is not prime.  Res64: 08536CBF313A4C06  Time : 1144.0 sec.
user=vaughan
[2011-01-17 09:16:05]
2301*2^318037-1 is not prime.  Res64: 88EAA5E1506D295A  Time : 1459.0 sec.
user=mdettweiler
[2011-01-17 09:19:33]
2301*2^318038-1 is not prime.  Res64: 88973566B2038ADE  Time : 1130.0 sec.
user=mdettweiler
[2011-01-17 09:28:40]
2301*2^318035-1 is not prime.  Res64: A394FCDD4AF4E505  Time : 2299.0 sec.
user=mdettweiler
[2011-01-17 09:38:38]
2301*2^318055-1 is not prime.  Res64: 9940570ADFAC2A17  Time : 1144.0 sec.
user=vaughan
[2011-01-17 09:41:12]
2301*2^318050-1 is not prime.  Res64: 64C9DEEF9EED36B3  Time : 1507.0 sec.
user=mdettweiler
[2011-01-17 09:57:43]
2301*2^318061-1 is not prime.  Res64: D6E65B3FBCB23D37  Time : 1143.0 sec.
user=vaughan
[2011-01-17 10:05:28]
2301*2^318062-1 is not prime.  Res64: 88ACEA3603963345  Time : 1455.0 sec.
user=mdettweiler
[2011-01-17 10:07:08]
2301*2^318058-1 is not prime.  Res64: 66F796A2074F0E44  Time : 2308.0 sec.
user=mdettweiler
[2011-01-17 10:16:56]
2301*2^318078-1 is not prime.  Res64: 38968AD4C613B99B  Time : 1152.0 sec.
user=vaughan
[2011-01-17 10:29:49]
2301*2^318083-1 is not prime.  Res64: AF309228E26169B4  Time : 1460.0 sec.
user=mdettweiler
[2011-01-17 10:36:16]
2301*2^318134-1 is not prime.  Res64: 385A9D85A43F491F  Time : 1156.0 sec.
user=mdettweiler
[2011-01-17 10:45:57]
2301*2^318105-1 is not prime.  Res64: 46F4D15A35569513  Time : 2329.0 sec.
user=vaughan
[2011-01-17 10:54:47]
2301*2^318146-1 is not prime.  Res64: A0A34349549C9F42  Time : 1498.0 sec.
user=mdettweiler
[2011-01-17 10:55:31]
2301*2^318155-1 is not prime.  Res64: 83F3B858FF8B3455  Time : 1154.0 sec.
user=mdettweiler
[2011-01-17 11:14:45]
2301*2^318202-1 is not prime.  Res64: 8D1A06A2E158A2AA  Time : 1152.0 sec.
user=vaughan
[2011-01-17 11:19:07]
2301*2^318183-1 is not prime.  Res64: F2F7DCDC3DB67859  Time : 1459.0 sec.
user=mdettweiler
[2011-01-17 11:24:15]
2301*2^318178-1 is not prime.  Res64: 789420ABBFF4B5BD  Time : 2298.0 sec.
user=mdettweiler
[2011-01-17 11:34:00]
2301*2^318215-1 is not prime.  Res64: F62F22A82ABC7DE3  Time : 1154.0 sec.
user=vaughan
[2011-01-17 11:43:32]
2301*2^318265-1 is not prime.  Res64: 3D56A3D8651AF586  Time : 1465.0 sec.
user=mdettweiler
[2011-01-17 11:53:00]
2301*2^318346-1 is not prime.  Res64: 8D424310C84F2B1C  Time : 1138.0 sec.
user=mdettweiler
[2011-01-17 12:02:37]
2301*2^318334-1 is not prime.  Res64: DCC345F95E243F6A  Time : 2303.0 sec.
user=vaughan
[2011-01-17 12:07:52]
2301*2^318350-1 is not prime.  Res64: C94F4BAD060ACC1D  Time : 1459.0 sec.
user=mdettweiler
[2011-01-17 12:12:11]
2301*2^318355-1 is not prime.  Res64: 4F7907490D24B677  Time : 1149.0 sec.
user=mdettweiler
[2011-01-17 12:31:17]
2301*2^318462-1 is not prime.  Res64: 528B6446590040D5  Time : 1141.0 sec.
user=vaughan
[2011-01-17 12:32:15]
2301*2^318410-1 is not prime.  Res64: A2BE86E80838F6BC  Time : 1463.0 sec.
user=mdettweiler
[2011-01-17 12:41:00]
2301*2^318382-1 is not prime.  Res64: 3C1308AED9D19BAF  Time : 2302.0 sec.
user=mdettweiler
[2011-01-17 12:50:27]
2301*2^318511-1 is not prime.  Res64: 9108C5A1E27117BF  Time : 1145.0 sec.
user=vaughan
[2011-01-17 12:56:36]
2301*2^318518-1 is not prime.  Res64: D0D4469E7661632D  Time : 1460.0 sec.
user=mdettweiler
[2011-01-17 13:09:33]
2301*2^318565-1 is not prime.  Res64: 6057BDBE463F9B06  Time : 1145.0 sec.
user=mdettweiler
[2011-01-17 13:19:26]
2301*2^318534-1 is not prime.  Res64: 6042B21E9DE5EA3A  Time : 2303.0 sec.
user=vaughan
[2011-01-17 13:20:57]
2301*2^318601-1 is not prime.  Res64: 87ED0A692D2C067F  Time : 1460.0 sec.
user=mdettweiler
[2011-01-17 13:28:43]
2301*2^318605-1 is not prime.  Res64: 0F3E311C9D9F0F47  Time : 1149.0 sec.
user=vaughan
[2011-01-17 13:45:32]
2301*2^318630-1 is not prime.  Res64: EE85B6901B2857AD  Time : 1474.0 sec.
user=mdettweiler
[2011-01-17 13:47:50]
2301*2^318651-1 is not prime.  Res64: 2B8FA1BFE2B04976  Time : 1145.0 sec.
user=mdettweiler
[2011-01-17 13:58:07]
2301*2^318625-1 is not prime.  Res64: 9A1E7448C2F19E79  Time : 2320.0 sec.
user=mdettweiler
[2011-01-17 14:07:04]
2301*2^318674-1 is not prime.  Res64: 9D09C0DB2BDA6AE1  Time : 1147.0 sec.
user=vaughan
[2011-01-17 14:09:52]
2301*2^318662-1 is not prime.  Res64: 93B213FCD11182F0  Time : 1460.0 sec.
user=mdettweiler
[2011-01-17 14:26:10]
2301*2^318745-1 is not prime.  Res64: DE7DF5188EECC191  Time : 1144.0 sec.
user=vaughan
[2011-01-17 14:34:21]
2301*2^318755-1 is not prime.  Res64: FDC9CED02328CD88  Time : 1468.0 sec.
user=mdettweiler
[2011-01-17 14:36:59]
2301*2^318677-1 is not prime.  Res64: 78355F1CE2DE4313  Time : 2332.0 sec.
user=mdettweiler
[2011-01-17 14:45:41]
2301*2^318766-1 is not prime.  Res64: 2BE059E39C9CA308  Time : 1169.0 sec.
user=vaughan
[2011-01-17 14:58:43]
2301*2^318770-1 is not prime.  Res64: B47CD65F38541808  Time : 1461.0 sec.
user=mdettweiler
[2011-01-17 15:04:57]
2301*2^318777-1 is not prime.  Res64: D1FC0100E3565C13  Time : 1148.0 sec.
user=mdettweiler
[2011-01-17 15:15:24]
2301*2^318775-1 is not prime.  Res64: 584B891475B4EE19  Time : 2303.0 sec.
user=vaughan
[2011-01-17 15:23:05]
2301*2^318801-1 is not prime.  Res64: 4CD2E2EC521EA849  Time : 1461.0 sec.
user=mdettweiler
[2011-01-17 15:24:50]
2301*2^318810-1 is not prime.  Res64: 74448EB74B0F179D  Time : 1182.0 sec.
user=mdettweiler
[2011-01-17 15:44:03]
2301*2^318875-1 is not prime.  Res64: 28D7ED3FD75B748D  Time : 1148.0 sec.
user=vaughan
[2011-01-17 15:47:30]
2301*2^318855-1 is not prime.  Res64: ECD7427719305A1D  Time : 1465.0 sec.
user=mdettweiler
[2011-01-17 15:53:52]
2301*2^318830-1 is not prime.  Res64: B80CEB92BB9DF28C  Time : 2308.0 sec.
user=mdettweiler
[2011-01-17 16:03:21]
2301*2^318877-1 is not prime.  Res64: 825D01F7A0B26EB1  Time : 1156.0 sec.
user=vaughan
[2011-01-17 16:11:53]
2301*2^318922-1 is not prime.  Res64: E2C69DDDA801F72B  Time : 1462.0 sec.
user=mdettweiler
[2011-01-17 16:22:37]
2301*2^318942-1 is not prime.  Res64: 6190A491486FF515  Time : 1153.0 sec.
user=mdettweiler
[2011-01-17 16:32:26]
2301*2^318937-1 is not prime.  Res64: 239A7DEDFE1D126F  Time : 2314.0 sec.
user=vaughan
[2011-01-17 16:36:33]
2301*2^318946-1 is not prime.  Res64: 9D0710D8E0E9996F  Time : 1479.0 sec.
user=mdettweiler
[2011-01-17 16:42:00]
2301*2^318965-1 is not prime.  Res64: 8CF2AFD30D03D59A  Time : 1152.0 sec.
user=vaughan
[2011-01-17 17:00:54]
2301*2^319017-1 is not prime.  Res64: DF0ACFFF72EC1A85  Time : 1461.0 sec.
user=mdettweiler
[2011-01-17 17:01:16]
2301*2^319030-1 is not prime.  Res64: 911C8390B248FCC4  Time : 1154.0 sec.
user=mdettweiler
[2011-01-17 17:10:52]
2301*2^318997-1 is not prime.  Res64: 8324C6E97F60F4A7  Time : 2306.0 sec.
user=mdettweiler
[2011-01-17 17:20:29]
2301*2^319086-1 is not prime.  Res64: A4CED876419315C6  Time : 1151.0 sec.
user=vaughan
[2011-01-17 17:25:18]
2301*2^319078-1 is not prime.  Res64: 397D045E738B15C2  Time : 1464.0 sec.
user=mdettweiler
[2011-01-17 17:39:35]
2301*2^319106-1 is not prime.  Res64: F4FD4EFA94992A4B  Time : 1144.0 sec.
user=mdettweiler
[2011-01-17 17:49:20]
2301*2^319087-1 is not prime.  Res64: 5BEEA4CCB2C55FE2  Time : 2308.0 sec.
user=vaughan
[2011-01-17 17:49:46]
2301*2^319118-1 is not prime.  Res64: 9856C42F4E60197B  Time : 1467.0 sec.
user=mdettweiler
[2011-01-17 17:58:47]
2301*2^319170-1 is not prime.  Res64: AF255D8BE574AA44  Time : 1150.0 sec.
user=vaughan
[2011-01-17 18:14:14]
2301*2^319194-1 is not prime.  Res64: 519697C283B9E98F  Time : 1467.0 sec.
user=mdettweiler
[2011-01-17 18:17:50]
2301*2^319202-1 is not prime.  Res64: 46BBF2AAE6F66AAA  Time : 1142.0 sec.
user=mdettweiler
[2011-01-17 18:28:10]
2301*2^319182-1 is not prime.  Res64: DF14F31FD1742546  Time : 2329.0 sec.
user=mdettweiler
[2011-01-17 18:37:07]
2301*2^319226-1 is not prime.  Res64: C57D89E091757C21  Time : 1156.0 sec.
user=vaughan
[2011-01-17 18:38:40]
2301*2^319203-1 is not prime.  Res64: D6E816FCE32EEC8F  Time : 1466.0 sec.
user=mdettweiler
[2011-01-17 18:56:11]
2301*2^319287-1 is not prime.  Res64: 957A93F2F1293E4C  Time : 1141.0 sec.
user=vaughan
[2011-01-17 19:03:07]
2301*2^319294-1 is not prime.  Res64: EAEDD788DE5A032E  Time : 1466.0 sec.
user=mdettweiler
[2011-01-17 19:06:47]
2301*2^319262-1 is not prime.  Res64: 8E2422B7A1FCD6B7  Time : 2318.0 sec.
user=mdettweiler
[2011-01-17 19:15:18]
2301*2^319323-1 is not prime.  Res64: 60758A2230BF9058  Time : 1145.0 sec.
user=vaughan
[2011-01-17 19:27:29]
2301*2^319334-1 is not prime.  Res64: CA98071FD7FDEA45  Time : 1462.0 sec.
user=mdettweiler
[2011-01-17 19:34:25]
2301*2^319357-1 is not prime.  Res64: 1B2AC1F677ECA805  Time : 1142.0 sec.
user=mdettweiler
[2011-01-17 19:45:43]
2301*2^319354-1 is not prime.  Res64: 0C97791BF57308F2  Time : 2335.0 sec.
user=vaughan
[2011-01-17 19:52:10]
2301*2^319395-1 is not prime.  Res64: E3E4D3D1949083F3  Time : 1480.0 sec.
user=mdettweiler
[2011-01-17 19:53:36]
2301*2^319437-1 is not prime.  Res64: 5B34F822A78EB7DB  Time : 1149.0 sec.
user=mdettweiler
[2011-01-17 20:12:45]
2301*2^319475-1 is not prime.  Res64: 374E45370790FA5B  Time : 1148.0 sec.
user=vaughan
[2011-01-17 20:16:37]
2301*2^319465-1 is not prime.  Res64: 0958756D7B686ECD  Time : 1467.0 sec.
user=mdettweiler
[2011-01-17 20:24:12]
2301*2^319454-1 is not prime.  Res64: B07EAECFC45E9B37  Time : 2308.0 sec.
user=mdettweiler
[2011-01-17 20:31:55]
2301*2^319486-1 is not prime.  Res64: 23B305772A56C4A6  Time : 1148.0 sec.
user=vaughan
[2011-01-17 20:41:08]
2301*2^319505-1 is not prime.  Res64: BC449E90FA464F14  Time : 1470.0 sec.
user=mdettweiler
[2011-01-17 20:51:09]
2301*2^319515-1 is not prime.  Res64: 79D3B63786E4587E  Time : 1152.0 sec.
user=mdettweiler
[2011-01-17 21:02:41]
2301*2^319507-1 is not prime.  Res64: 0BD6383262F35670  Time : 2308.0 sec.
user=vaughan
[2011-01-17 21:05:36]
2301*2^319526-1 is not prime.  Res64: 4F1A70BD3820FDED  Time : 1467.0 sec.
user=mdettweiler
[2011-01-17 21:10:18]
2301*2^319531-1 is not prime.  Res64: B3672FCFD8A44AB9  Time : 1147.0 sec.
user=mdettweiler
[2011-01-17 21:29:27]
2301*2^319558-1 is not prime.  Res64: 18DFCEC55FC2D9F6  Time : 1148.0 sec.
user=vaughan
[2011-01-17 21:30:12]
2301*2^319555-1 is not prime.  Res64: 5DA776DC7CF10F51  Time : 1476.0 sec.
user=mdettweiler
[2011-01-17 21:41:13]
2301*2^319545-1 is not prime.  Res64: 53C09CFD14F9C268  Time : 2312.0 sec.
user=mdettweiler
[2011-01-17 21:48:43]
2301*2^319574-1 is not prime.  Res64: 39229376E1DD1483  Time : 1152.0 sec.
user=vaughan
[2011-01-17 21:54:36]
2301*2^319575-1 is not prime.  Res64: FE92EC4B1E8D7F9F  Time : 1464.0 sec.
user=mdettweiler
[2011-01-17 22:07:49]
2301*2^319598-1 is not prime.  Res64: 6FAE72F4CECAA7EF  Time : 1145.0 sec.
user=vaughan
[2011-01-17 22:19:03]
2301*2^319665-1 is not prime.  Res64: F0C7356D1C1ACCC7  Time : 1466.0 sec.
user=mdettweiler
[2011-01-17 22:19:47]
2301*2^319582-1 is not prime.  Res64: 073C49E5399B349A  Time : 2314.0 sec.
user=mdettweiler
[2011-01-17 22:26:56]
2301*2^319738-1 is not prime.  Res64: 726CB7789E0100E2  Time : 1146.0 sec.
user=vaughan
[2011-01-17 22:43:45]
2301*2^319767-1 is not prime.  Res64: 66FC193409271AF9  Time : 1482.0 sec.
user=mdettweiler
[2011-01-17 22:46:20]
2301*2^319794-1 is not prime.  Res64: 7CA4A0AB742F360E  Time : 1163.0 sec.
user=mdettweiler
[2011-01-17 22:58:52]
2301*2^319778-1 is not prime.  Res64: DFB0AD3C5B9AF1CF  Time : 2345.0 sec.
user=mdettweiler
[2011-01-17 23:05:27]
2301*2^319818-1 is not prime.  Res64: 98C77986979655FE  Time : 1145.0 sec.
user=vaughan
[2011-01-17 23:08:23]
2301*2^319797-1 is not prime.  Res64: 6074C91B50BE037B  Time : 1477.0 sec.
user=mdettweiler
[2011-01-17 23:24:46]
2301*2^319878-1 is not prime.  Res64: E22C16249ADCDABA  Time : 1157.0 sec.
user=vaughan
[2011-01-17 23:32:56]
2301*2^319882-1 is not prime.  Res64: C93B4D14853C82C5  Time : 1473.0 sec.
user=mdettweiler
[2011-01-17 23:37:24]
2301*2^319837-1 is not prime.  Res64: 8C03B1735B90774A  Time : 2312.0 sec.
user=mdettweiler
[2011-01-17 23:43:51]
2301*2^319910-1 is not prime.  Res64: 1F0134C12542094E  Time : 1144.0 sec.
user=vaughan
[2011-01-17 23:57:24]
2301*2^319922-1 is not prime.  Res64: 768DE933F3F6DFF2  Time : 1468.0 sec.