user=vaughan [2009-08-09 05:09:28] 399*2^331703-1 is not prime. Res64: B27A28FCE3D7FAAE Time : 0.0 sec. user=vaughan [2009-08-09 05:09:29] 369*2^331703-1 is not prime. Res64: 2A04FC3E4AB56756 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:31] 367*2^331705-1 is not prime. Res64: 5C0445DF90A1DA21 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:33] 319*2^331709-1 is not prime. Res64: A88402E285F9A097 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:34] 331*2^331707-1 is not prime. Res64: E904C6EB962CDE58 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:36] 357*2^331708-1 is not prime. Res64: 6C3824C19D95CECA Time : 0.0 sec. user=vaughan [2009-08-09 05:09:37] 339*2^331709-1 is not prime. Res64: 31091690DCC95C39 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:38] 351*2^331709-1 is not prime. Res64: 4DDFE141672C3C6B Time : 0.0 sec. user=vaughan [2009-08-09 05:09:39] 379*2^331709-1 is not prime. Res64: C277131FF59F2F23 Time : 0.0 sec. user=vaughan [2009-08-09 05:09:41] 369*2^331709-1 is not prime. Res64: E62093106227C041 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:17] 383*2^331706-1 is not prime. Res64: 5CD55F6AC565AB0E Time : 0.0 sec. user=vaughan [2009-08-09 05:46:18] 387*2^331710-1 is not prime. Res64: 70869790E782FC58 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:19] 357*2^331712-1 is not prime. Res64: C4832E42D189FCC4 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:21] 311*2^331714-1 is not prime. Res64: 62B3B9F770E3D408 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:23] 327*2^331716-1 is not prime. Res64: AA9E019F3D34BFCC Time : 0.0 sec. user=vaughan [2009-08-09 05:46:24] 335*2^331714-1 is not prime. Res64: 56502A08B7FFA4CC Time : 0.0 sec. user=vaughan [2009-08-09 05:46:25] 345*2^331714-1 is not prime. Res64: 8113BD7DB8B9E034 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:27] 377*2^331714-1 is not prime. Res64: 215FA1D541EE6758 Time : 0.0 sec. user=vaughan [2009-08-09 05:46:28] 385*2^331715-1 is not prime. Res64: 543F001025C5F49F Time : 0.0 sec. user=vaughan [2009-08-09 05:46:29] 363*2^331714-1 is not prime. Res64: CD93D783B0C03F39 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:10] 355*2^331713-1 is not prime. Res64: 61FA20233FB1756F Time : 0.0 sec. user=vaughan [2009-08-09 06:08:11] 391*2^331713-1 is not prime. Res64: 4C5BAD436E4D2E3B Time : 0.0 sec. user=vaughan [2009-08-09 06:08:13] 315*2^331718-1 is not prime. Res64: 86AB47ED44A93BFA Time : 0.0 sec. user=vaughan [2009-08-09 06:08:15] 321*2^331717-1 is not prime. Res64: 37E5260A64965703 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:16] 377*2^331716-1 is not prime. Res64: FB31A10EA1E3A4A2 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:17] 387*2^331717-1 is not prime. Res64: D3F698B08437984F Time : 0.0 sec. user=vaughan [2009-08-09 06:08:18] 385*2^331717-1 is not prime. Res64: B12223248C78FE29 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:20] 385*2^331719-1 is not prime. Res64: 37E8DA8F7D08E685 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:21] 347*2^331718-1 is not prime. Res64: 56E2F9EB895E2E69 Time : 0.0 sec. user=vaughan [2009-08-09 06:08:22] 363*2^331716-1 is not prime. Res64: 6052FD703E061E9D Time : 0.0 sec. user=vaughan [2009-08-09 06:46:23] 355*2^331719-1 is not prime. Res64: 2713E5AB60BAF23A Time : 0.0 sec. user=vaughan [2009-08-09 06:46:25] 381*2^331719-1 is not prime. Res64: C3F9F83892A4EAE5 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:26] 379*2^331717-1 is not prime. Res64: D09EC357D88F8829 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:27] 393*2^331718-1 is not prime. Res64: 894FCE8FD247C0E6 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:28] 391*2^331717-1 is not prime. Res64: 1962F8658D825B0B Time : 0.0 sec. user=vaughan [2009-08-09 06:46:30] 315*2^331720-1 is not prime. Res64: 67B325204DB29A54 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:31] 345*2^331720-1 is not prime. Res64: A4E1D7FB0D804053 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:32] 377*2^331720-1 is not prime. Res64: 8A0CA4DEF2DA2C9E Time : 0.0 sec. user=vaughan [2009-08-09 06:46:33] 357*2^331720-1 is not prime. Res64: 3F2564F8AFDCEC16 Time : 0.0 sec. user=vaughan [2009-08-09 06:46:34] 339*2^331721-1 is not prime. Res64: 9FB230A02FC3510C Time : 0.0 sec. user=vaughan [2009-08-09 07:08:00] 395*2^331722-1 is not prime. Res64: 0664902A1972462A Time : 0.0 sec. user=vaughan [2009-08-09 07:08:01] 383*2^331720-1 is not prime. Res64: 3BCC2B652400894D Time : 0.0 sec. user=vaughan [2009-08-09 07:08:02] 335*2^331724-1 is not prime. Res64: 9B5A7EB8F9888E39 Time : 0.0 sec. user=vaughan [2009-08-09 07:08:03] 357*2^331724-1 is not prime. Res64: 61518C035EBBE3A8 Time : 0.0 sec. user=vaughan [2009-08-09 07:08:05] 399*2^331723-1 is not prime. Res64: 66250D994BC04DB0 Time : 0.0 sec. user=vaughan [2009-08-09 07:08:06] 369*2^331724-1 is not prime. Res64: 7D06BE31FBD1AFFE Time : 0.0 sec. user=vaughan [2009-08-09 07:08:07] 347*2^331728-1 is not prime. Res64: 0D5B9BE251F32941 Time : 0.0 sec. user=vaughan [2009-08-09 07:08:08] 399*2^331728-1 is not prime. Res64: 907C10DE7EA5FBB8 Time : 0.0 sec. user=vaughan [2009-08-09 07:08:09] 383*2^331728-1 is not prime. Res64: 087E78FAF186972C Time : 0.0 sec. user=vaughan [2009-08-09 07:08:11] 319*2^331731-1 is not prime. Res64: C4AFC1724E04D18B Time : 0.0 sec. user=vaughan [2009-08-09 07:39:17] 323*2^331730-1 is not prime. Res64: 3FFE6F8EBDF2A20A Time : 0.0 sec. user=vaughan [2009-08-09 07:39:18] 313*2^331731-1 is not prime. Res64: 539C6F37F7B24027 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:19] 363*2^331730-1 is not prime. Res64: 25AD58963C947CBF Time : 0.0 sec. user=vaughan [2009-08-09 07:39:20] 349*2^331731-1 is not prime. Res64: EA0F34DD5C7552D0 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:21] 301*2^331735-1 is not prime. Res64: 12E5DEA54F49F014 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:23] 305*2^331734-1 is not prime. Res64: F13C20A21FF08235 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:24] 321*2^331735-1 is not prime. Res64: 664A48766AB8B1C0 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:25] 353*2^331734-1 is not prime. Res64: CEE25649E2B45F8E Time : 0.0 sec. user=vaughan [2009-08-09 07:39:26] 355*2^331733-1 is not prime. Res64: E07FB13650177E82 Time : 0.0 sec. user=vaughan [2009-08-09 07:39:27] 381*2^331735-1 is not prime. Res64: 1AEB1FDC2C929A9A Time : 0.0 sec. user=vaughan [2009-08-09 08:02:58] 367*2^331733-1 is not prime. Res64: 92821E464EDF65D3 Time : 0.0 sec. user=vaughan [2009-08-09 08:02:59] 315*2^331739-1 is not prime. Res64: C99BE7B4EA9EAE11 Time : 0.0 sec. user=vaughan [2009-08-09 08:03:01] 325*2^331737-1 is not prime. Res64: D502AC86FF4B715C Time : 0.0 sec. user=vaughan [2009-08-09 08:03:02] 329*2^331736-1 is not prime. Res64: D5FEED0AABAE9B7D Time : 0.0 sec. user=vaughan [2009-08-09 08:03:03] 363*2^331736-1 is not prime. Res64: 1BB4C047A6D3A7BB Time : 0.0 sec. user=vaughan [2009-08-09 08:03:04] 341*2^331738-1 is not prime. Res64: BC5EA9F6F3BDE175 Time : 0.0 sec. user=vaughan [2009-08-09 08:03:05] 351*2^331738-1 is not prime. Res64: 26E0C9C503F53BE6 Time : 0.0 sec. user=vaughan [2009-08-09 08:03:07] 399*2^331736-1 is not prime. Res64: A9C7522F81155F99 Time : 0.0 sec. user=vaughan [2009-08-09 08:03:08] 391*2^331737-1 is not prime. Res64: 495FDBBAA82F1233 Time : 0.0 sec. user=vaughan [2009-08-09 08:03:10] 333*2^331740-1 is not prime. Res64: 447320F9C055652B Time : 0.0 sec. user=vaughan [2009-08-09 08:31:50] 345*2^331740-1 is not prime. Res64: 0BD14DD385688B4D Time : 0.0 sec. user=vaughan [2009-08-09 08:31:51] 337*2^331741-1 is not prime. Res64: 90091A77633E811D Time : 0.0 sec. user=vaughan [2009-08-09 08:31:53] 387*2^331740-1 is not prime. Res64: 171D0C9D37B7B0BE Time : 0.0 sec. user=vaughan [2009-08-09 08:31:54] 363*2^331742-1 is not prime. Res64: A9AF11611E0CE982 Time : 0.0 sec. user=vaughan [2009-08-09 08:31:55] 351*2^331741-1 is not prime. Res64: 7D56D05EBF3B9C06 Time : 0.0 sec. user=vaughan [2009-08-09 08:31:56] 367*2^331741-1 is not prime. Res64: 44C2C43FB23CD92B Time : 0.0 sec. user=vaughan [2009-08-09 08:31:58] 303*2^331746-1 is not prime. Res64: 2EEA65B407EFBA2A Time : 0.0 sec. user=vaughan [2009-08-09 08:31:59] 317*2^331746-1 is not prime. Res64: 315F6FC960675F4A Time : 0.0 sec. user=vaughan [2009-08-09 08:32:00] 363*2^331744-1 is not prime. Res64: EC8A51FDEB81E664 Time : 0.0 sec. user=vaughan [2009-08-09 08:32:01] 391*2^331743-1 is not prime. Res64: BAF5F493D0D58A5B Time : 0.0 sec. user=vaughan [2009-08-09 08:55:17] 319*2^331749-1 is not prime. Res64: CBBE072DEBDD784D Time : 0.0 sec. user=vaughan [2009-08-09 08:55:18] 345*2^331746-1 is not prime. Res64: E007A77F04DC283F Time : 0.0 sec. user=vaughan [2009-08-09 08:55:19] 377*2^331746-1 is not prime. Res64: 442230DA845B015A Time : 0.0 sec. user=vaughan [2009-08-09 08:55:20] 377*2^331748-1 is not prime. Res64: 9A49AA953228AF9F Time : 0.0 sec. user=vaughan [2009-08-09 08:55:22] 347*2^331746-1 is not prime. Res64: 6674B21F78EEF67B Time : 0.0 sec. user=vaughan [2009-08-09 08:55:23] 355*2^331749-1 is not prime. Res64: B379F3657EA69199 Time : 0.0 sec. user=vaughan [2009-08-09 08:55:24] 381*2^331747-1 is not prime. Res64: 1F5E3D2A20039508 Time : 0.0 sec. user=vaughan [2009-08-09 08:55:25] 391*2^331749-1 is not prime. Res64: 0B0CF44C42ED6084 Time : 0.0 sec. user=vaughan [2009-08-09 08:55:27] 303*2^331752-1 is not prime. Res64: 50563CA512BE3CBB Time : 0.0 sec. user=vaughan [2009-08-09 08:55:28] 377*2^331750-1 is not prime. Res64: 241B74B325B1E295 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:28] 315*2^331755-1 is not prime. Res64: D0D6E75C83796242 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:30] 309*2^331756-1 is not prime. Res64: ED96EEC9DA1C493F Time : 0.0 sec. user=vaughan [2009-08-09 09:23:31] 363*2^331755-1 is not prime. Res64: 1FA39FC68AA73B22 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:32] 367*2^331753-1 is not prime. Res64: F2BBA4164699A9AD Time : 0.0 sec. user=vaughan [2009-08-09 09:23:33] 391*2^331753-1 is not prime. Res64: 7ED339657FB13160 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:34] 353*2^331756-1 is not prime. Res64: B7318417DE83D6BD Time : 0.0 sec. user=vaughan [2009-08-09 09:23:36] 385*2^331759-1 is not prime. Res64: 4D2B37AB67F212B1 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:37] 357*2^331757-1 is not prime. Res64: FC7DE8A6991BE3C5 Time : 0.0 sec. user=vaughan [2009-08-09 09:23:38] 363*2^331759-1 is not prime. Res64: 4554B758AE18FDBC Time : 0.0 sec. user=vaughan [2009-08-09 09:23:39] 355*2^331757-1 is not prime. Res64: A8C2EEB23957C4D4 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:24] 383*2^331758-1 is not prime. Res64: 63BB4F989B6B757E Time : 0.0 sec. user=vaughan [2009-08-09 09:46:26] 301*2^331761-1 is not prime. Res64: 34E5D1D13D149134 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:27] 333*2^331760-1 is not prime. Res64: 88A6D65D070341BB Time : 0.0 sec. user=vaughan [2009-08-09 09:46:28] 345*2^331762-1 is not prime. Res64: 911982510B8BD05D Time : 0.0 sec. user=vaughan [2009-08-09 09:46:29] 339*2^331761-1 is not prime. Res64: 3AC9EDB0F4D49661 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:30] 363*2^331760-1 is not prime. Res64: 39D6ECCA7BBE9897 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:32] 399*2^331761-1 is not prime. Res64: AC355BBF5319ADFA Time : 0.0 sec. user=vaughan [2009-08-09 09:46:33] 395*2^331762-1 is not prime. Res64: 3D63CDBEE82C38D3 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:34] 383*2^331762-1 is not prime. Res64: 3C143202B2647445 Time : 0.0 sec. user=vaughan [2009-08-09 09:46:36] 339*2^331763-1 is not prime. Res64: B55D2394EBDCCF51 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:00] 349*2^331763-1 is not prime. Res64: B796198E2708C1E7 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:02] 379*2^331765-1 is not prime. Res64: 048F2A7C6AC0228D Time : 0.0 sec. user=vaughan [2009-08-09 10:08:03] 393*2^331763-1 is not prime. Res64: 24CBFB86A2573C0D Time : 0.0 sec. user=vaughan [2009-08-09 10:08:04] 311*2^331766-1 is not prime. Res64: E9383867B2067312 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:05] 315*2^331766-1 is not prime. Res64: 9F771AB66DCF9BE2 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:06] 319*2^331769-1 is not prime. Res64: 3784EC25FC0688E8 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:08] 321*2^331767-1 is not prime. Res64: E18A0D21553496B3 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:09] 309*2^331768-1 is not prime. Res64: FE1D679BA64E2C69 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:10] 385*2^331767-1 is not prime. Res64: AA0B1F80D7E193D9 Time : 0.0 sec. user=vaughan [2009-08-09 10:08:11] 357*2^331769-1 is not prime. Res64: F2205EAC25B83F3D Time : 0.0 sec. user=vaughan [2009-08-09 10:29:26] 395*2^331768-1 is not prime. Res64: D6B3F33B76863BAA Time : 0.0 sec. user=vaughan [2009-08-09 10:29:27] 315*2^331770-1 is not prime. Res64: FB671E49DD8DFA01 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:28] 335*2^331770-1 is not prime. Res64: 6D881B4DB1A55527 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:30] 347*2^331772-1 is not prime. Res64: 3D6FE2D5501EFA74 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:31] 357*2^331770-1 is not prime. Res64: E8DFA0A23B3077D2 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:32] 339*2^331771-1 is not prime. Res64: 74FC96F7E8018FC9 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:33] 349*2^331771-1 is not prime. Res64: A07BA7F7638D8B71 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:34] 371*2^331770-1 is not prime. Res64: 3BDE3D74A493ACD2 Time : 0.0 sec. user=vaughan [2009-08-09 10:29:36] 391*2^331769-1 is not prime. Res64: 8B1B750F076E080F Time : 0.0 sec. user=vaughan [2009-08-09 10:29:37] 301*2^331773-1 is not prime. Res64: C89CE00201F23A9B Time : 0.0 sec. user=vaughan [2009-08-09 10:50:47] 341*2^330954-1 is not prime. Res64: F83ADCDFDCCEECE2 Time : 0.0 sec. user=vaughan [2009-08-09 10:50:48] 315*2^331775-1 is not prime. Res64: 059F1171E73810EE Time : 0.0 sec. user=vaughan [2009-08-09 10:50:49] 319*2^331773-1 is not prime. Res64: DDB0441E3924614F Time : 0.0 sec. user=vaughan [2009-08-09 10:50:51] 357*2^331774-1 is not prime. Res64: 20BFEC7D3DF94BAD Time : 0.0 sec. user=vaughan [2009-08-09 10:50:53] 393*2^331774-1 is not prime. Res64: 666F64FF156A1D96 Time : 0.0 sec. user=vaughan [2009-08-09 10:50:54] 307*2^331777-1 is not prime. Res64: E6B701BDA6DFB794 Time : 0.0 sec. user=vaughan [2009-08-09 10:50:55] 393*2^331778-1 is not prime. Res64: 43BD6CB9030130DD Time : 0.0 sec. user=vaughan [2009-08-09 10:50:56] 391*2^331777-1 is not prime. Res64: 5B4D60F111080B5D Time : 0.0 sec. user=vaughan [2009-08-09 10:50:58] 317*2^331780-1 is not prime. Res64: 83A85972109371AD Time : 0.0 sec. user=vaughan [2009-08-09 10:50:59] 309*2^331781-1 is not prime. Res64: DCEA1B22B3CED0E8 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:29] 387*2^331782-1 is not prime. Res64: B65183FA1EC4060F Time : 0.0 sec. user=vaughan [2009-08-09 11:14:30] 363*2^331780-1 is not prime. Res64: A756D369E36BFB6C Time : 0.0 sec. user=vaughan [2009-08-09 11:14:31] 371*2^331782-1 is not prime. Res64: C0AFE6C3CF70797B Time : 0.0 sec. user=vaughan [2009-08-09 11:14:33] 367*2^331781-1 is not prime. Res64: 6753FD06501BB6E8 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:34] 383*2^331780-1 is not prime. Res64: 64609E380AE67541 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:35] 301*2^331785-1 is not prime. Res64: 1A5148A4734CA7BB Time : 0.0 sec. user=vaughan [2009-08-09 11:14:36] 321*2^331783-1 is not prime. Res64: 194ADA292DF3DFB9 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:37] 323*2^331784-1 is not prime. Res64: 093355B8F1D14711 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:39] 331*2^331785-1 is not prime. Res64: 5EE0834B92B5D621 Time : 0.0 sec. user=vaughan [2009-08-09 11:14:40] 387*2^331785-1 is not prime. Res64: BED832AA5341CD6C Time : 0.0 sec. user=vaughan [2009-08-09 11:44:31] 355*2^331783-1 is not prime. Res64: B116C0B6DA15DEFD Time : 0.0 sec. user=vaughan [2009-08-09 11:44:32] 399*2^331783-1 is not prime. Res64: CF9A6A110C2E0FE3 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:33] 365*2^331784-1 is not prime. Res64: C957BDC997F8F2EF Time : 0.0 sec. user=vaughan [2009-08-09 11:44:34] 357*2^331789-1 is not prime. Res64: D3CA3C49D8AFF0B2 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:36] 339*2^331789-1 is not prime. Res64: 08C4A753F1E5E968 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:37] 381*2^331787-1 is not prime. Res64: BE8B1F026FDA2761 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:38] 363*2^331788-1 is not prime. Res64: 30C37A6103AF8A80 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:39] 351*2^331787-1 is not prime. Res64: 90C3B7AA61F02D29 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:40] 399*2^331788-1 is not prime. Res64: C35F2634C876F821 Time : 0.0 sec. user=vaughan [2009-08-09 11:44:42] 399*2^331787-1 is not prime. Res64: 53544DE4C8D6A1CD Time : 0.0 sec. user=vaughan [2009-08-09 12:08:52] 393*2^331786-1 is not prime. Res64: 7B2DAD82291DB62C Time : 0.0 sec. user=vaughan [2009-08-09 12:08:53] 303*2^331792-1 is not prime. Res64: 8F4E8CCD750592CE Time : 0.0 sec. user=vaughan [2009-08-09 12:08:54] 315*2^331791-1 is not prime. Res64: 25B31A13A4642BC9 Time : 0.0 sec. user=vaughan [2009-08-09 12:08:55] 315*2^331792-1 is not prime. Res64: CF21DED46D4D0F9F Time : 0.0 sec. user=vaughan [2009-08-09 12:08:57] 345*2^331791-1 is not prime. Res64: 493CD7AF7031D43E Time : 0.0 sec. user=vaughan [2009-08-09 12:08:58] 353*2^331792-1 is not prime. Res64: 4BB21238D48715C9 Time : 0.0 sec. user=vaughan [2009-08-09 12:08:59] 391*2^331789-1 is not prime. Res64: 5F09BCFC0E5AA2A3 Time : 0.0 sec. user=vaughan [2009-08-09 12:09:00] 303*2^331795-1 is not prime. Res64: EF2E928ECF038F3D Time : 0.0 sec. user=vaughan [2009-08-09 12:09:02] 321*2^331794-1 is not prime. Res64: EA41BEF75A8846BD Time : 0.0 sec. user=vaughan [2009-08-09 12:09:03] 345*2^331795-1 is not prime. Res64: FE909C4B9C0ECB77 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:03] 339*2^331795-1 is not prime. Res64: 9478E72A3DBE0319 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:04] 379*2^331795-1 is not prime. Res64: 831EC2D394ABC182 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:05] 399*2^331793-1 is not prime. Res64: 210AEB1D5D929674 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:06] 399*2^331795-1 is not prime. Res64: 114F0A73DFADE39E Time : 0.0 sec. user=vaughan [2009-08-09 12:31:08] 371*2^331798-1 is not prime. Res64: 9CBC3C02233D8333 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:09] 365*2^331798-1 is not prime. Res64: 1E5200F90586A02C Time : 0.0 sec. user=vaughan [2009-08-09 12:31:10] 395*2^331796-1 is not prime. Res64: 6F06F1AFA2EF6C2D Time : 0.0 sec. user=vaughan [2009-08-09 12:31:11] 383*2^331796-1 is not prime. Res64: 5C06A814D8131852 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:13] 305*2^331800-1 is not prime. Res64: 538B83447E9A4E23 Time : 0.0 sec. user=vaughan [2009-08-09 12:31:14] 357*2^331802-1 is not prime. Res64: 15F2FE087068239B Time : 0.0 sec. user=vaughan [2009-08-09 12:56:19] 381*2^331801-1 is not prime. Res64: B3857F159EB43634 Time : 0.0 sec. user=vaughan [2009-08-09 12:56:21] 395*2^331800-1 is not prime. Res64: 91B20ABF8A1A9FD3 Time : 0.0 sec. user=vaughan [2009-08-09 12:56:22] 315*2^331804-1 is not prime. Res64: 8F810C063048990E Time : 0.0 sec. user=vaughan [2009-08-09 12:56:23] 319*2^331805-1 is not prime. Res64: 89E35DD245525C58 Time : 0.0 sec. user=vaughan [2009-08-09 12:56:24] 321*2^331805-1 is not prime. Res64: 2FFE80446EFBE1E7 Time : 0.0 sec. user=vaughan [2009-08-09 12:56:25] 377*2^331804-1 is not prime. Res64: 05AA35F3F93D103A Time : 0.0 sec. user=vaughan [2009-08-09 12:56:27] 355*2^331805-1 is not prime. Res64: B20904C20DE19D82 Time : 0.0 sec. user=vaughan [2009-08-09 12:56:28] 381*2^331805-1 is not prime. Res64: E3FFD873B95CA4FD Time : 0.0 sec. user=vaughan [2009-08-09 12:56:29] 391*2^331803-1 is not prime. Res64: 29FB56BBF288CC6A Time : 0.0 sec. user=vaughan [2009-08-09 12:56:30] 303*2^331806-1 is not prime. Res64: 4663BAF76C920EA4 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:40] 385*2^331807-1 is not prime. Res64: DFC0D56980BB3993 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:42] 399*2^331807-1 is not prime. Res64: D89EEC18C5C086A6 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:43] 303*2^331812-1 is not prime. Res64: 0816DD4907B50223 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:44] 321*2^331810-1 is not prime. Res64: 601ECA76FD5E955E Time : 0.0 sec. user=vaughan [2009-08-09 13:18:46] 341*2^331810-1 is not prime. Res64: 358AB0D6F1919764 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:47] 371*2^331810-1 is not prime. Res64: FE1966F8AD7E3EA9 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:49] 383*2^331810-1 is not prime. Res64: 8557BEFC22026B79 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:51] 301*2^331815-1 is not prime. Res64: 46189DDD0E61AC37 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:52] 385*2^331815-1 is not prime. Res64: AAB2FD8A82FD4BC2 Time : 0.0 sec. user=vaughan [2009-08-09 13:18:53] 351*2^331813-1 is not prime. Res64: 8708A5296D9D0E1B Time : 0.0 sec. user=vaughan [2009-08-09 13:42:24] 301*2^331819-1 is not prime. Res64: 1FD344285341D83F Time : 0.0 sec. user=vaughan [2009-08-09 13:42:26] 315*2^331816-1 is not prime. Res64: 99688F670BFC593A Time : 0.0 sec. user=vaughan [2009-08-09 13:42:27] 317*2^331816-1 is not prime. Res64: 36EAC517A054136E Time : 0.0 sec. user=vaughan [2009-08-09 13:42:29] 327*2^331818-1 is not prime. Res64: 77A96A3B02AB44B8 Time : 0.0 sec. user=vaughan [2009-08-09 13:42:30] 379*2^331817-1 is not prime. Res64: 9A46C34C6B328AC0 Time : 0.0 sec. user=vaughan [2009-08-09 13:42:31] 393*2^331816-1 is not prime. Res64: D4F31D815F36A511 Time : 0.0 sec. user=vaughan [2009-08-09 13:42:33] 395*2^331818-1 is not prime. Res64: F421C85626EE25AF Time : 0.0 sec. user=vaughan [2009-08-09 13:42:34] 321*2^331821-1 is not prime. Res64: 102682EF892A40C8 Time : 0.0 sec. user=vaughan [2009-08-09 13:42:35] 323*2^331820-1 is not prime. Res64: 700815B8E48AB29B Time : 0.0 sec. user=vaughan [2009-08-09 13:42:36] 327*2^331820-1 is not prime. Res64: 3AC948B6BEFE73EF Time : 0.0 sec. user=vaughan [2009-08-09 14:08:17] 335*2^331820-1 is not prime. Res64: F4139AB7DAA747BF Time : 0.0 sec. user=vaughan [2009-08-09 14:08:18] 339*2^331819-1 is not prime. Res64: BC56F6D8518CA4DC Time : 0.0 sec. user=vaughan [2009-08-09 14:08:19] 355*2^331821-1 is not prime. Res64: F80E45D625B1F469 Time : 0.0 sec. user=vaughan [2009-08-09 14:08:21] 379*2^331819-1 is not prime. Res64: 9C8D28E883328B6F Time : 0.0 sec. user=vaughan [2009-08-09 14:08:23] 371*2^331822-1 is not prime. Res64: 9F2C094351D2F76B Time : 0.0 sec. user=vaughan [2009-08-09 14:08:24] 393*2^331822-1 is not prime. Res64: 2A652E7DD8E27B60 Time : 0.0 sec. user=vaughan [2009-08-09 14:08:25] 321*2^331823-1 is not prime. Res64: C70C8FEF609FB7A4 Time : 0.0 sec. user=vaughan [2009-08-09 14:08:26] 327*2^331824-1 is not prime. Res64: BA29E0467ADDA9E4 Time : 0.0 sec. user=vaughan [2009-08-09 14:08:29] 353*2^331824-1 is not prime. Res64: 42196319B6731D50 Time : 0.0 sec. user=vaughan [2009-08-09 14:08:30] 357*2^331824-1 is not prime. Res64: 7A2B788874C9A155 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:10] 383*2^330956-1 is not prime. Res64: A1BFA8EC1EFDBE08 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:11] 349*2^331823-1 is not prime. Res64: EB0CD88B8D6608C6 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:12] 369*2^331823-1 is not prime. Res64: BDCCF2F870894CE9 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:13] 367*2^331825-1 is not prime. Res64: 3EC51FFE82572381 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:15] 301*2^331829-1 is not prime. Res64: CBC3054BE4830B63 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:16] 315*2^331828-1 is not prime. Res64: B8FDBD4EB73B08B3 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:17] 319*2^331829-1 is not prime. Res64: 7FB2121FB8670939 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:18] 313*2^331827-1 is not prime. Res64: EB86BA54C1B33F26 Time : 0.0 sec. user=vaughan [2009-08-09 14:30:20] 387*2^331828-1 is not prime. Res64: 4079FB552FEDC7CF Time : 0.0 sec. user=vaughan [2009-08-09 14:30:21] 357*2^331828-1 is not prime. Res64: 6BCFFB3A6A790483 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:46] 391*2^331827-1 is not prime. Res64: F95BCAC394FE5444 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:47] 393*2^331826-1 is not prime. Res64: 2BAF32BB0A4F4272 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:48] 393*2^331828-1 is not prime. Res64: 67EC3F1D1554AB85 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:49] 317*2^331830-1 is not prime. Res64: 20364812DC97B746 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:51] 381*2^331829-1 is not prime. Res64: 05A8760D85239313 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:52] 369*2^331832-1 is not prime. Res64: FAFD3C634E1D07B4 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:53] 391*2^331829-1 is not prime. Res64: 0723ABE5C5109F90 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:54] 311*2^331834-1 is not prime. Res64: 5C83C6DE26193723 Time : 0.0 sec. user=vaughan [2009-08-09 14:51:55] 339*2^331835-1 is not prime. Res64: 4F36E1689E31B5BD Time : 0.0 sec. user=vaughan [2009-08-09 14:51:57] 355*2^331833-1 is not prime. Res64: 1BEEA7FA6A0EB47A Time : 0.0 sec. user=vaughan [2009-08-09 15:13:37] 369*2^331835-1 is not prime. Res64: FF3E7C3822B497AA Time : 0.0 sec. user=vaughan [2009-08-09 15:13:38] 393*2^331834-1 is not prime. Res64: D1E109E6EDD9AD7F Time : 0.0 sec. user=vaughan [2009-08-09 15:13:39] 397*2^331833-1 is not prime. Res64: 380F4B61A220F62D Time : 0.0 sec. user=vaughan [2009-08-09 15:13:40] 321*2^331837-1 is not prime. Res64: E5040570E1C2708B Time : 0.0 sec. user=vaughan [2009-08-09 15:13:41] 369*2^331836-1 is not prime. Res64: 13DA51DF7E506CCE Time : 0.0 sec. user=vaughan [2009-08-09 15:13:43] 395*2^331836-1 is not prime. Res64: 4F3A1E3FFBBB317E Time : 0.0 sec. user=vaughan [2009-08-09 15:13:44] 303*2^331842-1 is not prime. Res64: 2557EF6023D840E1 Time : 0.0 sec. user=vaughan [2009-08-09 15:13:45] 319*2^331841-1 is not prime. Res64: 81BEB2B6818E4CAC Time : 0.0 sec. user=vaughan [2009-08-09 15:13:46] 357*2^331840-1 is not prime. Res64: A770DC121365D833 Time : 0.0 sec. user=vaughan [2009-08-09 15:13:47] 399*2^331841-1 is not prime. Res64: 4C7E1995F9BE22D0 Time : 0.0 sec. user=vaughan [2009-08-09 16:42:13] 395*2^331840-1 is not prime. Res64: 226B2DF526FBF188 Time : 0.0 sec. user=vaughan [2009-08-09 16:42:32] 327*2^331845-1 is not prime. Res64: B8D045C31A297474 Time : 0.0 sec. user=vaughan [2009-08-09 16:42:48] 309*2^331844-1 is not prime. Res64: 717BB482862049F3 Time : 0.0 sec. user=vaughan [2009-08-09 16:42:59] 349*2^331845-1 is not prime. Res64: 925B8371F61CD2BB Time : 0.0 sec. user=vaughan [2009-08-09 16:43:14] 369*2^331843-1 is not prime. Res64: EEF79002BEAE3D82 Time : 0.0 sec. user=vaughan [2009-08-09 16:43:25] 367*2^331845-1 is not prime. Res64: A55BF5921B33C9A7 Time : 0.0 sec. user=vaughan [2009-08-09 23:10:58] 391*2^331845-1 is not prime. Res64: 5A2D91A0D6CFB625 Time : 0.0 sec. user=vaughan [2009-08-09 23:10:59] 311*2^331846-1 is not prime. Res64: 53D15E503782C0D9 Time : 0.0 sec. user=vaughan [2009-08-09 23:11:00] 315*2^331847-1 is not prime. Res64: 6D5CC5DD21E50EE3 Time : 0.0 sec. user=vaughan [2009-08-09 23:11:02] 317*2^331846-1 is not prime. Res64: 1457E9DD13960EBA Time : 0.0 sec. user=vaughan [2009-08-09 23:34:52] 363*2^331850-1 is not prime. Res64: BB37EC15D7675AFF Time : 0.0 sec. user=vaughan [2009-08-09 23:34:53] 301*2^331853-1 is not prime. Res64: D2CF6305FDA4B55A Time : 0.0 sec. user=vaughan [2009-08-09 23:34:54] 345*2^331855-1 is not prime. Res64: FD2D6EDD37CF7712 Time : 0.0 sec. user=vaughan [2009-08-09 23:34:56] 339*2^331855-1 is not prime. Res64: 4165AACF04A2A598 Time : 0.0 sec. user=vaughan [2009-08-09 23:34:57] 345*2^331857-1 is not prime. Res64: 919C324D20544157 Time : 0.0 sec. user=vaughan [2009-08-09 23:34:58] 339*2^331856-1 is not prime. Res64: 0BFFB4353512716C Time : 0.0 sec. user=vaughan [2009-08-09 23:34:59] 363*2^331856-1 is not prime. Res64: 431B5C5EF08E3DE6 Time : 0.0 sec. user=vaughan [2009-08-09 23:35:00] 369*2^331856-1 is not prime. Res64: C5A55BAA19025BFA Time : 0.0 sec. user=vaughan [2009-08-09 23:35:02] 367*2^331857-1 is not prime. Res64: 5275064261A5DF2D Time : 0.0 sec. user=vaughan [2009-08-09 23:35:03] 383*2^331856-1 is not prime. Res64: DAD8A829129D617D Time : 0.0 sec. user=vaughan [2009-08-09 23:59:08] 315*2^331859-1 is not prime. Res64: 9AE0C301992D05BF Time : 0.0 sec. user=vaughan [2009-08-09 23:59:10] 315*2^331861-1 is not prime. Res64: 0D3FCDDE13F0B5B2 Time : 0.0 sec. user=vaughan [2009-08-09 23:59:11] 319*2^331859-1 is not prime. Res64: E807E5D0FFDE2D0A Time : 0.0 sec. user=vaughan [2009-08-09 23:59:12] 335*2^331860-1 is not prime. Res64: F18E23A3FFD3DD1F Time : 0.0 sec. user=vaughan [2009-08-09 23:59:13] 357*2^331862-1 is not prime. Res64: 7E317853C0350F25 Time : 0.0 sec. user=vaughan [2009-08-09 23:59:15] 391*2^331859-1 is not prime. Res64: CA4812487750EEB0 Time : 0.0 sec. user=vaughan [2009-08-09 23:59:16] 303*2^331864-1 is not prime. Res64: 9A3A8DE41D9A5EE2 Time : 0.0 sec. user=vaughan [2009-08-09 23:59:17] 319*2^331865-1 is not prime. Res64: 6856ADFAC39905DC Time : 0.0 sec. user=vaughan [2009-08-09 23:59:18] 333*2^331863-1 is not prime. Res64: 108FE2A01F7EF87A Time : 0.0 sec. user=vaughan [2009-08-09 23:59:19] 363*2^331863-1 is not prime. Res64: DCD8960CDC8E62DC Time : 0.0 sec. user=vaughan [2009-08-10 00:23:29] 391*2^331863-1 is not prime. Res64: 7B001FE5D1FB7C36 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:31] 377*2^331866-1 is not prime. Res64: 43A7CF1CCBCE54EE Time : 0.0 sec. user=vaughan [2009-08-10 00:23:32] 377*2^331868-1 is not prime. Res64: 0E5E0F931DE3590F Time : 0.0 sec. user=vaughan [2009-08-10 00:23:33] 339*2^331867-1 is not prime. Res64: 5C804901CDBC4AC5 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:34] 315*2^331869-1 is not prime. Res64: 4A47F087BC2E5597 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:36] 317*2^331872-1 is not prime. Res64: 773DC5424DBBCAD8 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:37] 329*2^331872-1 is not prime. Res64: 948901514A90CBA3 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:38] 355*2^331871-1 is not prime. Res64: C6B92DBB010EF0F9 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:39] 363*2^331871-1 is not prime. Res64: 1E99160B74BEC952 Time : 0.0 sec. user=vaughan [2009-08-10 00:23:41] 399*2^331871-1 is not prime. Res64: 47881449C178887C Time : 0.0 sec. user=vaughan [2009-08-10 00:47:26] 311*2^331874-1 is not prime. Res64: 28308AE56D3BA396 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:27] 333*2^331874-1 is not prime. Res64: 272D06C65A25D6B3 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:29] 317*2^331876-1 is not prime. Res64: D9247E9E18119A74 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:30] 377*2^331878-1 is not prime. Res64: 32AD2F9B94A17BC7 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:32] 345*2^331876-1 is not prime. Res64: BB6038DF60D341E9 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:33] 355*2^331877-1 is not prime. Res64: C791E0B1CB698A89 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:34] 351*2^331877-1 is not prime. Res64: 4EE0A5FE9CC47004 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:36] 395*2^331876-1 is not prime. Res64: 93E38FFEDAC97716 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:37] 305*2^331880-1 is not prime. Res64: E89862DBF41E4939 Time : 0.0 sec. user=vaughan [2009-08-10 00:47:38] 315*2^331879-1 is not prime. Res64: 612B87EBF0465438 Time : 0.0 sec. user=vaughan [2009-08-10 04:01:15] 315*2^331882-1 is not prime. Res64: CA8BCC8809E6697A Time : 0.0 sec. user=vaughan [2009-08-10 04:01:17] 317*2^331882-1 is not prime. Res64: 86741585CF20A405 Time : 0.0 sec. user=vaughan [2009-08-10 04:01:18] 313*2^331879-1 is not prime. Res64: 6B022DEA79EF3C8A Time : 0.0 sec. user=vaughan [2009-08-10 04:01:19] 345*2^331882-1 is not prime. Res64: CE048695FBF67268 Time : 0.0 sec. user=vaughan [2009-08-10 04:01:21] 399*2^331881-1 is not prime. Res64: 1E3283F8667F7699 Time : 0.0 sec. user=vaughan [2009-08-10 04:01:22] 383*2^331880-1 is not prime. Res64: A7E860BAE5A8DF2E Time : 0.0 sec. user=vaughan [2009-08-10 04:01:23] 303*2^331884-1 is not prime. Res64: D28CF51A60FDB67E Time : 0.0 sec. user=vaughan [2009-08-10 04:01:25] 335*2^331884-1 is not prime. Res64: DDC03278978A26FF Time : 0.0 sec. user=vaughan [2009-08-10 04:01:26] 399*2^331883-1 is not prime. Res64: 46015D93785EBD0B Time : 0.0 sec. user=vaughan [2009-08-10 04:01:27] 315*2^331886-1 is not prime. Res64: F99E9518BDAC17F6 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:03] 371*2^331886-1 is not prime. Res64: 4804748F54228FE2 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:04] 365*2^331886-1 is not prime. Res64: 1622FA896CBFC9A3 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:06] 391*2^331887-1 is not prime. Res64: 5BC8E965D0CCCBE1 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:07] 301*2^331889-1 is not prime. Res64: B2608528558D77E9 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:08] 319*2^331889-1 is not prime. Res64: 0DA4853D12CF6FF5 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:10] 327*2^331892-1 is not prime. Res64: 1CDB94E996D888D2 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:11] 337*2^331889-1 is not prime. Res64: 7687C525BABB7037 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:13] 347*2^331890-1 is not prime. Res64: 2AA46FE2A7BCB719 Time : 0.0 sec. user=vaughan [2009-08-10 04:24:14] 309*2^331889-1 is not prime. Res64: A05C986CF61013FF Time : 0.0 sec. user=vaughan [2009-08-10 04:24:15] 309*2^331891-1 is not prime. Res64: 93BCE67879B01AEF Time : 0.0 sec. user=vaughan [2009-08-10 04:50:06] 325*2^331889-1 is not prime. Res64: 58F4AEB8A208C267 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:07] 379*2^331889-1 is not prime. Res64: 8F8051E9A75FA3E7 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:09] 353*2^331894-1 is not prime. Res64: C1DED9ECACD5BA14 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:10] 363*2^331895-1 is not prime. Res64: 1B77C2E2477E8510 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:12] 327*2^331896-1 is not prime. Res64: D59B92A0F06A4749 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:13] 333*2^331896-1 is not prime. Res64: 65B3992FD9451375 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:14] 333*2^331898-1 is not prime. Res64: 75461989A5BD5EA2 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:16] 345*2^331896-1 is not prime. Res64: E82B97A879C6A9F2 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:17] 309*2^331897-1 is not prime. Res64: 2DA65226B5394E88 Time : 0.0 sec. user=vaughan [2009-08-10 04:50:19] 399*2^331897-1 is not prime. Res64: 636F237EEF9F6CC6 Time : 0.0 sec.