user=vaughan [2010-06-30 00:02:03] 413*2^837850-1 is not prime. Res64: 5A3C39CCE296FF25 Time : 1078.0 sec. user=vaughan [2010-06-30 00:02:25] 593*2^837654-1 is not prime. Res64: ABDB2107F15C2297 Time : 26166.0 sec. user=vaughan [2010-06-30 00:02:42] 559*2^837657-1 is not prime. Res64: 3B86AC5A5E8997F8 Time : 25759.0 sec. user=vaughan [2010-06-30 00:04:05] 477*2^837850-1 is not prime. Res64: A6D48F89E4370D9B Time : 1060.0 sec. user=vaughan [2010-06-30 00:04:56] 513*2^837666-1 is not prime. Res64: 392B65D33F60B930 Time : 24992.0 sec. user=vaughan [2010-06-30 00:05:19] 471*2^837658-1 is not prime. Res64: E6556F4225720FBB Time : 25804.0 sec. user=vaughan [2010-06-30 00:05:30] 485*2^837592-1 is not prime. Res64: 245703CCD4477FE7 Time : 32783.0 sec. user=vaughan [2010-06-30 00:05:58] 429*2^837855-1 is not prime. Res64: 83300B8891CBA640 Time : 726.0 sec. user=vaughan [2010-06-30 00:05:59] 441*2^837855-1 is not prime. Res64: DCD36347901FDEB3 Time : 724.0 sec. user=vaughan [2010-06-30 00:06:21] 565*2^837853-1 is not prime. Res64: A86B36944F2CB065 Time : 1023.0 sec. user=vaughan [2010-06-30 00:06:53] 591*2^837585-1 is not prime. Res64: 0A1041B744F793DC Time : 33990.0 sec. user=vaughan [2010-06-30 00:08:25] 409*2^837623-1 is not prime. Res64: 820C2FA1CF045A35 Time : 28242.0 sec. user=vaughan [2010-06-30 00:08:27] 441*2^837669-1 is not prime. Res64: FDEBF687B67FAFB1 Time : 25002.0 sec. user=vaughan [2010-06-30 00:09:14] 425*2^837586-1 is not prime. Res64: E3B58260111DADED Time : 34009.0 sec. user=vaughan [2010-06-30 00:11:31] 405*2^837856-1 is not prime. Res64: EDA8A027A544DA67 Time : 723.0 sec. user=vaughan [2010-06-30 00:11:31] 447*2^837656-1 is not prime. Res64: B93A888F44E90243 Time : 26372.0 sec. user=vaughan [2010-06-30 00:12:54] 475*2^837621-1 is not prime. Res64: C07A1C360F357CBA Time : 28996.0 sec. user=Flatlander [2010-06-30 00:14:19] 507*2^837789-1 is not prime. Res64: 752F22E306A6EF45 Time : 7261.0 sec. user=Flatlander [2010-06-30 00:14:20] 461*2^837790-1 is not prime. Res64: DB15B6EC3C7E44F3 Time : 7260.0 sec. user=Flatlander [2010-06-30 00:14:21] 467*2^837790-1 is not prime. Res64: 92BEE94F940183FC Time : 7260.0 sec. user=Flatlander [2010-06-30 00:14:22] 561*2^837790-1 is not prime. Res64: ECCEA22E8E4CB3F0 Time : 7260.0 sec. user=Flatlander [2010-06-30 00:14:22] 459*2^837791-1 is not prime. Res64: D053006D13B020AC Time : 7259.0 sec. user=vaughan [2010-06-30 00:14:50] 515*2^837848-1 is not prime. Res64: 9272E5DED462DC35 Time : 1977.0 sec. user=vaughan [2010-06-30 00:15:00] 577*2^837597-1 is not prime. Res64: CED6DF1668F0E7FC Time : 32096.0 sec. user=vaughan [2010-06-30 00:16:29] 449*2^837856-1 is not prime. Res64: E3EFBF54FAB72938 Time : 993.0 sec. user=vaughan [2010-06-30 00:17:07] 591*2^837590-1 is not prime. Res64: 8C3103B8AE513D9D Time : 33670.0 sec. user=vaughan [2010-06-30 00:18:01] 443*2^837858-1 is not prime. Res64: 5407FC6696E85C91 Time : 724.0 sec. user=vaughan [2010-06-30 00:18:03] 589*2^837857-1 is not prime. Res64: 10679DB652D2218C Time : 726.0 sec. user=Flatlander [2010-06-30 00:18:21] 489*2^837792-1 is not prime. Res64: DC9B55141E49A0AB Time : 7272.0 sec. user=Flatlander [2010-06-30 00:18:22] 549*2^837792-1 is not prime. Res64: 47CCD53AF3B60EA8 Time : 7272.0 sec. user=Flatlander [2010-06-30 00:18:22] 441*2^837793-1 is not prime. Res64: 67C4CA2BBF656262 Time : 7270.0 sec. user=Flatlander [2010-06-30 00:18:23] 477*2^837793-1 is not prime. Res64: 9FFB3538858B2022 Time : 7270.0 sec. user=Flatlander [2010-06-30 00:18:23] 499*2^837793-1 is not prime. Res64: 5DC11EA0451F925D Time : 7268.0 sec. user=vaughan [2010-06-30 00:19:37] 583*2^837667-1 is not prime. Res64: 351317F695B96E77 Time : 25752.0 sec. user=vaughan [2010-06-30 00:19:48] 455*2^837856-1 is not prime. Res64: 734571818CC734BA Time : 1067.0 sec. user=vaughan [2010-06-30 00:19:56] 567*2^837665-1 is not prime. Res64: 696E338C30A649A1 Time : 26167.0 sec. user=vaughan [2010-06-30 00:21:14] 525*2^837856-1 is not prime. Res64: 9999714A6FBC6250 Time : 1031.0 sec. user=vaughan [2010-06-30 00:21:17] 417*2^837597-1 is not prime. Res64: D7E095967115E500 Time : 32762.0 sec. user=vaughan [2010-06-30 00:21:34] 585*2^837674-1 is not prime. Res64: 01C44144F6CB4AE4 Time : 24996.0 sec. user=vaughan [2010-06-30 00:21:49] 427*2^837597-1 is not prime. Res64: AE453435C4800A52 Time : 32792.0 sec. user=vaughan [2010-06-30 00:22:27] 495*2^837669-1 is not prime. Res64: 118F50D501F3503D Time : 25809.0 sec. user=vaughan [2010-06-30 00:22:57] 507*2^837858-1 is not prime. Res64: F970A332D6367377 Time : 997.0 sec. user=vaughan [2010-06-30 00:23:33] 425*2^837860-1 is not prime. Res64: 6A2C6431A3F46233 Time : 723.0 sec. user=vaughan [2010-06-30 00:23:50] 469*2^837591-1 is not prime. Res64: 617560C4DA542C49 Time : 33998.0 sec. user=vaughan [2010-06-30 00:25:11] 473*2^837680-1 is not prime. Res64: 4F837E01DBE234F6 Time : 25011.0 sec. user=vaughan [2010-06-30 00:25:50] 503*2^837854-1 is not prime. Res64: 36FD223825330400 Time : 1972.0 sec. user=vaughan [2010-06-30 00:26:09] 489*2^837592-1 is not prime. Res64: 1DBF9DB3928AD455 Time : 34014.0 sec. user=vaughan [2010-06-30 00:27:01] 443*2^837628-1 is not prime. Res64: F070A39939139B26 Time : 28242.0 sec. user=vaughan [2010-06-30 00:28:59] 531*2^837667-1 is not prime. Res64: D32E45B1DF752675 Time : 26338.0 sec. user=vaughan [2010-06-30 00:30:02] 561*2^837862-1 is not prime. Res64: 9004059FA9AA903A Time : 723.0 sec. user=vaughan [2010-06-30 00:30:05] 581*2^837862-1 is not prime. Res64: EE8B437E2A3A00C2 Time : 723.0 sec. user=vaughan [2010-06-30 00:31:57] 575*2^837626-1 is not prime. Res64: 58FFE8CC4BEB3419 Time : 28989.0 sec. user=vaughan [2010-06-30 00:32:58] 425*2^837862-1 is not prime. Res64: 0256F66ED814AA2F Time : 991.0 sec. user=vaughan [2010-06-30 00:34:56] 429*2^837595-1 is not prime. Res64: D67A473172F51E83 Time : 33712.0 sec. user=vaughan [2010-06-30 00:35:40] 465*2^837867-1 is not prime. Res64: 07694FB2361A2DFB Time : 729.0 sec. user=vaughan [2010-06-30 00:35:58] 587*2^837606-1 is not prime. Res64: 1D1D807DD6AE76C6 Time : 32101.0 sec. user=vaughan [2010-06-30 00:36:51] 413*2^837680-1 is not prime. Res64: 62373A0FA7B383D8 Time : 25764.0 sec. user=vaughan [2010-06-30 00:37:10] 423*2^837672-1 is not prime. Res64: C81910362AAB2CE7 Time : 26150.0 sec. user=vaughan [2010-06-30 00:37:32] 481*2^837865-1 is not prime. Res64: 21BB2C083AAC6886 Time : 1066.0 sec. user=vaughan [2010-06-30 00:38:15] 477*2^837685-1 is not prime. Res64: C25D95E3E6D8784D Time : 25005.0 sec. user=vaughan [2010-06-30 00:38:25] 495*2^837865-1 is not prime. Res64: 88996FF2256A039F Time : 1032.0 sec. user=vaughan [2010-06-30 00:38:43] 523*2^837603-1 is not prime. Res64: 0D1E8514D71EE8AF Time : 32833.0 sec. user=vaughan [2010-06-30 00:39:37] 573*2^837866-1 is not prime. Res64: E391D075F34F12F6 Time : 1001.0 sec. user=vaughan [2010-06-30 00:39:45] 587*2^837680-1 is not prime. Res64: 7016AAD405C531DC Time : 25823.0 sec. user=vaughan [2010-06-30 00:40:49] 463*2^837595-1 is not prime. Res64: 0B001E52EB4CAC93 Time : 34005.0 sec. user=vaughan [2010-06-30 00:41:54] 541*2^837685-1 is not prime. Res64: 8226A66145CAFC9A Time : 25022.0 sec. user=vaughan [2010-06-30 00:42:06] 489*2^837869-1 is not prime. Res64: F6E31AF4305CADF3 Time : 725.0 sec. user=vaughan [2010-06-30 00:42:08] 571*2^837869-1 is not prime. Res64: 81E2319B842D8ECB Time : 724.0 sec. user=vaughan [2010-06-30 00:42:52] 459*2^837605-1 is not prime. Res64: B2027C5A3554AD05 Time : 32765.0 sec. user=vaughan [2010-06-30 00:43:07] 441*2^837597-1 is not prime. Res64: B1F89655B1B029F7 Time : 34023.0 sec. user=vaughan [2010-06-30 00:45:44] 595*2^837657-1 is not prime. Res64: 2B83814982424BE8 Time : 28236.0 sec. user=vaughan [2010-06-30 00:46:34] 425*2^837680-1 is not prime. Res64: 5D634D40F500DBD6 Time : 26332.0 sec. user=vaughan [2010-06-30 00:47:43] 483*2^837870-1 is not prime. Res64: 2958AE08F9E05FEE Time : 725.0 sec. user=vaughan [2010-06-30 00:48:05] 565*2^837861-1 is not prime. Res64: C02303A0889CE3F5 Time : 1997.0 sec. user=vaughan [2010-06-30 00:49:43] 417*2^837870-1 is not prime. Res64: 8DCCB192EE78F5C4 Time : 1006.0 sec. user=vaughan [2010-06-30 00:51:03] 441*2^837655-1 is not prime. Res64: F26B049AC5BA7895 Time : 28979.0 sec. user=vaughan [2010-06-30 00:51:14] 567*2^837602-1 is not prime. Res64: B4D50EDBBF5224A2 Time : 33663.0 sec. user=vaughan [2010-06-30 00:53:54] 531*2^837685-1 is not prime. Res64: 563175CF18D83F40 Time : 25769.0 sec. user=vaughan [2010-06-30 00:54:08] 405*2^837873-1 is not prime. Res64: 9D570B5F93C4A9F6 Time : 724.0 sec. user=vaughan [2010-06-30 00:54:10] 441*2^837873-1 is not prime. Res64: 1B47AC075B18484D Time : 723.0 sec. user=vaughan [2010-06-30 00:54:32] 489*2^837684-1 is not prime. Res64: 2EFA0AA6F9FDC8EF Time : 26148.0 sec. user=vaughan [2010-06-30 00:54:46] 549*2^837688-1 is not prime. Res64: 14AB72CDF572D8E0 Time : 24998.0 sec. user=vaughan [2010-06-30 00:55:30] 423*2^837871-1 is not prime. Res64: 6D2C2EE53AF0AE89 Time : 1083.0 sec. user=vaughan [2010-06-30 00:56:23] 511*2^837871-1 is not prime. Res64: E0A0915D3519695E Time : 1079.0 sec. user=vaughan [2010-06-30 00:56:27] 421*2^837601-1 is not prime. Res64: 10C9CF5FA31CAC50 Time : 32926.0 sec. user=vaughan [2010-06-30 00:56:50] 431*2^837686-1 is not prime. Res64: D38FC5A494884D59 Time : 25830.0 sec. user=vaughan [2010-06-30 00:56:53] 483*2^837616-1 is not prime. Res64: 2E526C606D1E453E Time : 32099.0 sec. user=vaughan [2010-06-30 00:57:33] 483*2^837603-1 is not prime. Res64: 5EF45AEFDCC0C790 Time : 34001.0 sec. user=vaughan [2010-06-30 00:57:35] 405*2^837872-1 is not prime. Res64: 3C7DD0F7065346C2 Time : 1080.0 sec. user=vaughan [2010-06-30 00:58:24] 525*2^837689-1 is not prime. Res64: 85906C7C6A85BA45 Time : 25015.0 sec. user=vaughan [2010-06-30 00:58:41] 419*2^837868-1 is not prime. Res64: 9391318DD6AF4F21 Time : 1972.0 sec. user=vaughan [2010-06-30 00:59:42] 401*2^837874-1 is not prime. Res64: 88752B6099B5A028 Time : 721.0 sec. user=vaughan [2010-06-30 00:59:58] 419*2^837604-1 is not prime. Res64: 1A02D79FDFA3C637 Time : 34022.0 sec. user=vaughan [2010-06-30 01:03:56] 565*2^837685-1 is not prime. Res64: 9EB93F1798C5DA2D Time : 26322.0 sec. user=vaughan [2010-06-30 01:04:15] 411*2^837613-1 is not prime. Res64: 72C4A72A15568E82 Time : 32760.0 sec. user=vaughan [2010-06-30 01:04:17] 527*2^837670-1 is not prime. Res64: E1B75493EFC88FC1 Time : 28221.0 sec. user=vaughan [2010-06-30 01:06:11] 405*2^837876-1 is not prime. Res64: F400F52C9E78FD48 Time : 724.0 sec. user=vaughan [2010-06-30 01:06:14] 473*2^837876-1 is not prime. Res64: 2B4478B1942F6247 Time : 725.0 sec. user=vaughan [2010-06-30 01:06:53] 495*2^837874-1 is not prime. Res64: 74CA050B573E0A02 Time : 1032.0 sec. user=vaughan [2010-06-30 01:07:41] 585*2^837600-1 is not prime. Res64: 2FFB616A77DCEFB4 Time : 33621.0 sec. user=vaughan [2010-06-30 01:10:13] 485*2^837666-1 is not prime. Res64: 9396B0A9D45BBFA9 Time : 28947.0 sec. user=vaughan [2010-06-30 01:11:00] 401*2^837690-1 is not prime. Res64: 1BB942D7F2F5CD57 Time : 25769.0 sec. user=vaughan [2010-06-30 01:11:26] 597*2^837696-1 is not prime. Res64: 3B5EA7C29D173B09 Time : 25007.0 sec. user=vaughan [2010-06-30 01:11:44] 487*2^837881-1 is not prime. Res64: 03ABCFC0303EFB46 Time : 723.0 sec. user=vaughan [2010-06-30 01:11:58] 485*2^837688-1 is not prime. Res64: CF3387A11B46303F Time : 26136.0 sec. user=vaughan [2010-06-30 01:13:49] 447*2^837878-1 is not prime. Res64: 34FF52023BEB70B5 Time : 1101.0 sec. user=vaughan [2010-06-30 01:13:55] 519*2^837691-1 is not prime. Res64: F44102C4FD09FDF4 Time : 25829.0 sec. user=vaughan [2010-06-30 01:14:39] 507*2^837601-1 is not prime. Res64: 2D3CD130D91D29EA Time : 34016.0 sec. user=vaughan [2010-06-30 01:14:54] 589*2^837617-1 is not prime. Res64: DFA37C43594DAAC8 Time : 33062.0 sec. user=vaughan [2010-06-30 01:15:03] 415*2^837699-1 is not prime. Res64: 80E653F2AC8EDE34 Time : 25022.0 sec. user=vaughan [2010-06-30 01:16:08] 489*2^837880-1 is not prime. Res64: 239B3018CE102DCD Time : 1114.0 sec. user=vaughan [2010-06-30 01:16:58] 537*2^837608-1 is not prime. Res64: 440D717BA7E5D4DD Time : 34032.0 sec. user=vaughan [2010-06-30 01:17:47] 457*2^837625-1 is not prime. Res64: 7B3196A7DD8DEB6C Time : 32096.0 sec. user=vaughan [2010-06-30 01:18:09] 525*2^837882-1 is not prime. Res64: A29F2536E82F3CC1 Time : 719.0 sec. user=vaughan [2010-06-30 01:18:11] 527*2^837882-1 is not prime. Res64: 6834BFA7F8AD93AC Time : 719.0 sec. user=vaughan [2010-06-30 01:21:08] 443*2^837874-1 is not prime. Res64: 9176B4A856870B2B Time : 1985.0 sec. user=vaughan [2010-06-30 01:22:54] 491*2^837682-1 is not prime. Res64: F50212564FE56A4F Time : 28206.0 sec. user=vaughan [2010-06-30 01:23:27] 411*2^837883-1 is not prime. Res64: 50035B068F434EE2 Time : 995.0 sec. user=vaughan [2010-06-30 01:23:38] 447*2^837884-1 is not prime. Res64: 68A78C54D6A8B92C Time : 716.0 sec. user=vaughan [2010-06-30 01:24:14] 471*2^837618-1 is not prime. Res64: 81D6B2E433EBCD02 Time : 33588.0 sec. user=vaughan [2010-06-30 01:25:39] 527*2^837624-1 is not prime. Res64: 906E7FF6028A6A43 Time : 32759.0 sec. user=vaughan [2010-06-30 01:26:24] 475*2^837691-1 is not prime. Res64: F24232986AE81440 Time : 26598.0 sec. user=vaughan [2010-06-30 01:27:53] 495*2^837699-1 is not prime. Res64: 73D3EEB04E816D0B Time : 25765.0 sec. user=vaughan [2010-06-30 01:27:55] 521*2^837702-1 is not prime. Res64: 3CF2CE5B32ABC9FE Time : 25003.0 sec. user=vaughan [2010-06-30 01:29:12] 555*2^837679-1 is not prime. Res64: 5ED11500FF592CE6 Time : 28929.0 sec. user=vaughan [2010-06-30 01:30:06] 537*2^837885-1 is not prime. Res64: 61CC05C3825991C8 Time : 718.0 sec. user=vaughan [2010-06-30 01:30:06] 473*2^837884-1 is not prime. Res64: B4ACA2F86ED69354 Time : 979.0 sec. user=vaughan [2010-06-30 01:30:09] 447*2^837886-1 is not prime. Res64: AA89CB79D08E871B Time : 718.0 sec. user=Flatlander [2010-06-30 01:34:42] 405*2^837846-1 is not prime. Res64: 54D88DBABA63B7D3 Time : 7021.0 sec. user=Flatlander [2010-06-30 01:34:42] 425*2^837846-1 is not prime. Res64: EBA59C555E780D79 Time : 7020.0 sec. user=Flatlander [2010-06-30 01:34:43] 431*2^837846-1 is not prime. Res64: CDB0B305FC5472CC Time : 7019.0 sec. user=Flatlander [2010-06-30 01:34:44] 465*2^837846-1 is not prime. Res64: BB0042D5BB64F0A0 Time : 7018.0 sec. user=Flatlander [2010-06-30 01:34:45] 483*2^837847-1 is not prime. Res64: 12D28240DC7DAF32 Time : 7018.0 sec. user=vaughan [2010-06-30 01:37:08] 543*2^837624-1 is not prime. Res64: 3FC8FA51082A5F4D Time : 33415.0 sec. user=vaughan [2010-06-30 01:37:21] 447*2^837621-1 is not prime. Res64: 13E2CAADF7B4F313 Time : 34246.0 sec. user=vaughan [2010-06-30 01:37:35] 421*2^837619-1 is not prime. Res64: 46FA09E70297844F Time : 34382.0 sec. user=vaughan [2010-06-30 01:40:52] 569*2^837624-1 is not prime. Res64: 2671BAC5A08595D8 Time : 33585.0 sec. user=vaughan [2010-06-30 01:48:15] 497*2^837628-1 is not prime. Res64: B8C4562A8A36CF46 Time : 33103.0 sec. user=Flatlander [2010-06-30 01:49:47] 503*2^837852-1 is not prime. Res64: 96C2B3EC3F598E2A Time : 7253.0 sec. user=Flatlander [2010-06-30 01:49:48] 527*2^837852-1 is not prime. Res64: 3EC9B7943D060B63 Time : 7252.0 sec. user=Flatlander [2010-06-30 01:49:49] 549*2^837852-1 is not prime. Res64: 79DBCED405F40187 Time : 7251.0 sec. user=Flatlander [2010-06-30 01:49:50] 569*2^837852-1 is not prime. Res64: A8C3E753C2DC8F1C Time : 7251.0 sec. user=Flatlander [2010-06-30 01:49:50] 411*2^837853-1 is not prime. Res64: 9AB57243DBAD6972 Time : 7249.0 sec. user=vaughan [2010-06-30 01:52:56] 465*2^837625-1 is not prime. Res64: 17115DF6D0B60775 Time : 34143.0 sec. user=vaughan [2010-06-30 02:09:55] 573*2^837656-1 is not prime. Res64: 15DEAFBA3C9A7130 Time : 33418.0 sec. user=vaughan [2010-06-30 02:10:01] 597*2^837636-1 is not prime. Res64: 202FE1EDA25DD03A Time : 34143.0 sec. user=Flatlander [2010-06-30 02:16:54] 451*2^837861-1 is not prime. Res64: 082DBD0FC76AD784 Time : 7350.0 sec. user=Flatlander [2010-06-30 02:16:55] 465*2^837861-1 is not prime. Res64: FA286CF4F1E332F2 Time : 7349.0 sec. user=Flatlander [2010-06-30 02:16:55] 469*2^837861-1 is not prime. Res64: 8A8C5B2EE198DEDA Time : 7348.0 sec. user=Flatlander [2010-06-30 02:16:56] 531*2^837861-1 is not prime. Res64: F3B5AC843049BF30 Time : 7347.0 sec. user=Flatlander [2010-06-30 02:16:57] 549*2^837861-1 is not prime. Res64: B366F1BE532D5207 Time : 7347.0 sec. user=vaughan [2010-06-30 02:17:05] 455*2^837686-1 is not prime. Res64: 381411E3FC0FC873 Time : 30623.0 sec. user=vaughan [2010-06-30 02:17:05] 465*2^837700-1 is not prime. Res64: 08E84FD42AE4E484 Time : 28586.0 sec. user=vaughan [2010-06-30 02:17:06] 405*2^837692-1 is not prime. Res64: 2EFA4D664DD4B6FD Time : 29463.0 sec. user=vaughan [2010-06-30 02:17:06] 497*2^837706-1 is not prime. Res64: 872B5FF7FD17740C Time : 27536.0 sec. user=vaughan [2010-06-30 02:17:08] 587*2^837886-1 is not prime. Res64: 108029C314333E13 Time : 3222.0 sec. user=vaughan [2010-06-30 02:17:09] 421*2^837881-1 is not prime. Res64: 3615EFF344F1CF53 Time : 4709.0 sec. user=vaughan [2010-06-30 02:17:10] 513*2^837687-1 is not prime. Res64: 22151442D6A66EAA Time : 30330.0 sec. user=vaughan [2010-06-30 02:17:11] 537*2^837693-1 is not prime. Res64: 3CFCADBD2D4C7CD4 Time : 29200.0 sec. user=vaughan [2010-06-30 02:17:13] 511*2^837645-1 is not prime. Res64: F458D9777B1C815C Time : 34399.0 sec. user=vaughan [2010-06-30 02:17:13] 411*2^837666-1 is not prime. Res64: 156F1F39E0F740B5 Time : 33108.0 sec. user=vaughan [2010-06-30 02:17:16] 475*2^837887-1 is not prime. Res64: 2CF4669F8988A312 Time : 3218.0 sec. user=vaughan [2010-06-30 02:17:34] 483*2^837886-1 is not prime. Res64: 9041C5D31F9131FF Time : 3386.0 sec. user=vaughan [2010-06-30 02:17:41] 523*2^837695-1 is not prime. Res64: 410C93412B419CC3 Time : 29031.0 sec. user=vaughan [2010-06-30 02:17:42] 567*2^837702-1 is not prime. Res64: B791B7F76F4452F0 Time : 27987.0 sec. user=vaughan [2010-06-30 02:17:42] 561*2^837710-1 is not prime. Res64: 64CA76C65FCC5052 Time : 26943.0 sec. user=Flatlander [2010-06-30 02:19:38] 441*2^837863-1 is not prime. Res64: E29C3BDF2A9B4D08 Time : 7273.0 sec. user=Flatlander [2010-06-30 02:19:39] 453*2^837863-1 is not prime. Res64: 9EC77544B2C7F2EA Time : 7273.0 sec. user=Flatlander [2010-06-30 02:19:40] 511*2^837863-1 is not prime. Res64: 8872F2C84C145082 Time : 7273.0 sec. user=Flatlander [2010-06-30 02:19:41] 559*2^837863-1 is not prime. Res64: E3B72001093F27DF Time : 7273.0 sec. user=Flatlander [2010-06-30 02:19:42] 447*2^837864-1 is not prime. Res64: D71763E4FF2CA117 Time : 7273.0 sec. user=vaughan [2010-06-30 02:26:07] 541*2^837663-1 is not prime. Res64: 380536A391EC6B29 Time : 34202.0 sec. user=vaughan [2010-06-30 02:26:10] 553*2^837667-1 is not prime. Res64: 1C432076F056706F Time : 33357.0 sec. user=vaughan [2010-06-30 02:27:57] 495*2^837664-1 is not prime. Res64: 6017C6ACD9502611 Time : 34171.0 sec. user=vaughan [2010-06-30 02:30:58] 519*2^837668-1 is not prime. Res64: B00245D9CEF6F410 Time : 33564.0 sec. user=vaughan [2010-06-30 03:24:15] 593*2^837894-1 is not prime. Res64: EC8724A990FA7925 Time : 4019.0 sec. user=vaughan [2010-06-30 03:24:16] 459*2^837885-1 is not prime. Res64: 6374F73D9B4E426C Time : 7688.0 sec. user=vaughan [2010-06-30 03:24:16] 489*2^837888-1 is not prime. Res64: DCCCF047AE42BD17 Time : 6850.0 sec. user=vaughan [2010-06-30 03:24:17] 483*2^837894-1 is not prime. Res64: F6B697007A9F563C Time : 4029.0 sec. user=vaughan [2010-06-30 03:24:17] 421*2^837715-1 is not prime. Res64: 8BC987765C7D6C18 Time : 30514.0 sec. user=vaughan [2010-06-30 03:24:17] 545*2^837722-1 is not prime. Res64: 5A2C1323712436DD Time : 29466.0 sec. user=vaughan [2010-06-30 03:24:18] 413*2^837728-1 is not prime. Res64: C08B2F77DE435130 Time : 28417.0 sec. user=vaughan [2010-06-30 03:24:18] 409*2^837735-1 is not prime. Res64: 9C6D8CBAB38673F5 Time : 27367.0 sec. user=vaughan [2010-06-30 03:25:20] 429*2^837679-1 is not prime. Res64: E2373824E20CE52C Time : 35909.0 sec. user=vaughan [2010-06-30 03:25:21] 525*2^837685-1 is not prime. Res64: A580CB04E1CC5DE9 Time : 34925.0 sec. user=vaughan [2010-06-30 03:25:21] 501*2^837689-1 is not prime. Res64: 9B29860128328362 Time : 33851.0 sec. user=vaughan [2010-06-30 03:26:36] 479*2^837896-1 is not prime. Res64: 80DCB0F40C3DF374 Time : 4106.0 sec. user=vaughan [2010-06-30 03:26:40] 499*2^837669-1 is not prime. Res64: 991F0D5643E1F2E5 Time : 36815.0 sec. user=vaughan [2010-06-30 03:26:41] 509*2^837680-1 is not prime. Res64: A9780AE8DD69E751 Time : 35853.0 sec. user=vaughan [2010-06-30 03:26:41] 593*2^837680-1 is not prime. Res64: 304F93F20043CE86 Time : 35799.0 sec. user=vaughan [2010-06-30 03:26:41] 597*2^837685-1 is not prime. Res64: E8A0E9920F9EAF46 Time : 34857.0 sec. user=vaughan [2010-06-30 03:26:41] 501*2^837686-1 is not prime. Res64: 86C403A2B86AAB6E Time : 34763.0 sec. user=vaughan [2010-06-30 03:26:41] 415*2^837691-1 is not prime. Res64: 87F221470F31512F Time : 33854.0 sec. user=vaughan [2010-06-30 03:26:50] 411*2^837895-1 is not prime. Res64: 77CC2C77DAB338F3 Time : 4156.0 sec. user=vaughan [2010-06-30 03:26:53] 593*2^837670-1 is not prime. Res64: 820D2D690F0E4AD2 Time : 36695.0 sec. user=vaughan [2010-06-30 03:26:54] 461*2^837682-1 is not prime. Res64: A902DEB2A7D128D9 Time : 35675.0 sec. user=vaughan [2010-06-30 03:27:02] 447*2^837700-1 is not prime. Res64: EB2C1AE7A660D0A4 Time : 32798.0 sec. user=vaughan [2010-06-30 03:27:07] 473*2^837704-1 is not prime. Res64: CDBE47B5A65FC1D3 Time : 31952.0 sec. user=vaughan [2010-06-30 03:27:09] 587*2^837704-1 is not prime. Res64: BC73263E00EF984A Time : 31784.0 sec. user=vaughan [2010-06-30 03:27:31] 479*2^837888-1 is not prime. Res64: 5CDF80B9FF0242E8 Time : 7045.0 sec. user=vaughan [2010-06-30 03:27:35] 537*2^837888-1 is not prime. Res64: 79DDF7DFA19DD4FA Time : 7046.0 sec. user=vaughan [2010-06-30 03:27:39] 587*2^837686-1 is not prime. Res64: 376A33A9E8360FD8 Time : 34681.0 sec. user=vaughan [2010-06-30 03:30:51] 513*2^837712-1 is not prime. Res64: BFCEC5D3F9143F30 Time : 31182.0 sec. user=vaughan [2010-06-30 03:30:51] 433*2^837719-1 is not prime. Res64: 8EB6A19D10D2FDBC Time : 30188.0 sec. user=vaughan [2010-06-30 03:30:52] 473*2^837726-1 is not prime. Res64: 209B5E684FC97E6A Time : 29195.0 sec. user=vaughan [2010-06-30 03:30:52] 549*2^837732-1 is not prime. Res64: D2C35A8F7BFAB44F Time : 28201.0 sec. user=vaughan [2010-06-30 03:34:11] 561*2^837691-1 is not prime. Res64: 8464AD6C707A9094 Time : 34175.0 sec. user=vaughan [2010-06-30 03:36:08] 567*2^837900-1 is not prime. Res64: 2477694EBCF6BF93 Time : 713.0 sec. user=vaughan [2010-06-30 03:37:19] 573*2^837699-1 is not prime. Res64: 55AEC46ACCB674B6 Time : 33491.0 sec. user=vaughan [2010-06-30 03:38:44] 425*2^837692-1 is not prime. Res64: A480F8CA13D329BE Time : 34299.0 sec. user=vaughan [2010-06-30 03:39:29] 519*2^837908-1 is not prime. Res64: 2214F59F23B394F9 Time : 718.0 sec. user=vaughan [2010-06-30 03:39:32] 579*2^837908-1 is not prime. Res64: B0F62DE32520FC51 Time : 718.0 sec. user=vaughan [2010-06-30 03:40:23] 429*2^837901-1 is not prime. Res64: B328225F5AC39B45 Time : 967.0 sec. user=vaughan [2010-06-30 03:42:26] 519*2^837703-1 is not prime. Res64: E6CDF8E4E7E28306 Time : 32884.0 sec. user=vaughan [2010-06-30 03:42:45] 559*2^837903-1 is not prime. Res64: 6CD664F6127D9EFD Time : 962.0 sec. user=vaughan [2010-06-30 03:42:45] 501*2^837903-1 is not prime. Res64: 5A862B8FD38FE80A Time : 963.0 sec. user=Flatlander [2010-06-30 03:43:30] 537*2^837896-1 is not prime. Res64: 8C614589A3768D01 Time : 5027.0 sec. user=Flatlander [2010-06-30 03:43:31] 539*2^837896-1 is not prime. Res64: BC67FBDF65C2CCBE Time : 5026.0 sec. user=Flatlander [2010-06-30 03:43:32] 585*2^837896-1 is not prime. Res64: 40F872692F6EEA35 Time : 5026.0 sec. user=Flatlander [2010-06-30 03:43:33] 405*2^837898-1 is not prime. Res64: 4D593B4D8D396BEF Time : 5025.0 sec. user=Flatlander [2010-06-30 03:43:33] 453*2^837898-1 is not prime. Res64: D86A4E5DBB50E070 Time : 5024.0 sec. user=Flatlander [2010-06-30 03:45:08] 539*2^837888-1 is not prime. Res64: 32EBFB47033A507D Time : 7822.0 sec. user=Flatlander [2010-06-30 03:45:09] 465*2^837889-1 is not prime. Res64: B17205BDFE17E94C Time : 7821.0 sec. user=Flatlander [2010-06-30 03:45:10] 469*2^837889-1 is not prime. Res64: B2DC6B6503A86932 Time : 7820.0 sec. user=Flatlander [2010-06-30 03:45:11] 481*2^837889-1 is not prime. Res64: DE22EE310E97F049 Time : 7820.0 sec. user=Flatlander [2010-06-30 03:45:12] 535*2^837889-1 is not prime. Res64: E64F61E3F79A5771 Time : 7819.0 sec. user=vaughan [2010-06-30 03:48:02] 513*2^837910-1 is not prime. Res64: A9FAD025D033620A Time : 715.0 sec. user=vaughan [2010-06-30 03:51:26] 475*2^837911-1 is not prime. Res64: 3BCA2F58A1A10787 Time : 718.0 sec. user=vaughan [2010-06-30 03:51:29] 525*2^837911-1 is not prime. Res64: 7A7DFCA31D8A9EE4 Time : 717.0 sec. user=vaughan [2010-06-30 03:51:57] 533*2^837700-1 is not prime. Res64: 5AE029E0402F78CE Time : 34185.0 sec. user=vaughan [2010-06-30 03:54:12] 533*2^837704-1 is not prime. Res64: E90DBFA2BD16F72A Time : 33494.0 sec. user=vaughan [2010-06-30 03:56:33] 549*2^837911-1 is not prime. Res64: 68F72F4FFE1EADE5 Time : 970.0 sec. user=vaughan [2010-06-30 03:56:37] 539*2^837700-1 is not prime. Res64: CA617B4D238F342A Time : 34317.0 sec. user=vaughan [2010-06-30 03:58:46] 413*2^837912-1 is not prime. Res64: 385F4426610AC998 Time : 962.0 sec. user=vaughan [2010-06-30 03:58:48] 459*2^837912-1 is not prime. Res64: D93FE483D15DAD59 Time : 963.0 sec. user=vaughan [2010-06-30 03:58:54] 485*2^837712-1 is not prime. Res64: 14FFC2F25917E131 Time : 32892.0 sec. user=vaughan [2010-06-30 03:59:29] 483*2^837904-1 is not prime. Res64: B772C123670706E9 Time : 1960.0 sec. user=vaughan [2010-06-30 03:59:56] 503*2^837914-1 is not prime. Res64: 42DBC2ADC719A43D Time : 714.0 sec. user=vaughan [2010-06-30 04:00:20] 437*2^837902-1 is not prime. Res64: FB62D11E8DAC25A8 Time : 2024.0 sec. user=Flatlander [2010-06-30 04:01:25] 571*2^837891-1 is not prime. Res64: F3C45370CBAD0F0F Time : 7893.0 sec. user=Flatlander [2010-06-30 04:01:26] 595*2^837891-1 is not prime. Res64: 1D5AC91F7E415FC5 Time : 7892.0 sec. user=Flatlander [2010-06-30 04:01:26] 405*2^837892-1 is not prime. Res64: E0694DBF8240ECC1 Time : 7891.0 sec. user=Flatlander [2010-06-30 04:01:27] 413*2^837892-1 is not prime. Res64: 3BEA879F11D04827 Time : 7890.0 sec. user=Flatlander [2010-06-30 04:01:28] 419*2^837892-1 is not prime. Res64: ACF49EC2F89EB293 Time : 7890.0 sec. user=vaughan [2010-06-30 04:03:23] 525*2^837914-1 is not prime. Res64: 6B9E19989D6DBD92 Time : 717.0 sec. user=vaughan [2010-06-30 04:03:27] 585*2^837914-1 is not prime. Res64: 697A992F1D48855B Time : 718.0 sec. user=vaughan [2010-06-30 04:08:55] 507*2^837706-1 is not prime. Res64: 2070D157E4E0C672 Time : 34165.0 sec. user=vaughan [2010-06-30 04:11:50] 525*2^837916-1 is not prime. Res64: 04AF9D81D0EEDECD Time : 714.0 sec. user=vaughan [2010-06-30 04:11:57] 485*2^837714-1 is not prime. Res64: 50C967468F6F8185 Time : 33526.0 sec. user=vaughan [2010-06-30 04:12:43] 441*2^837915-1 is not prime. Res64: 74B5925EBDEC3774 Time : 970.0 sec. user=vaughan [2010-06-30 04:13:34] 403*2^837707-1 is not prime. Res64: 3963BE9C4A0C18AD Time : 34303.0 sec. user=vaughan [2010-06-30 04:14:48] 469*2^837915-1 is not prime. Res64: A0462EF950603BAE Time : 962.0 sec. user=vaughan [2010-06-30 04:14:50] 553*2^837915-1 is not prime. Res64: 82E5BBDF8829D656 Time : 963.0 sec. user=vaughan [2010-06-30 04:15:09] 421*2^837719-1 is not prime. Res64: 7CD65CA4CD19D523 Time : 32883.0 sec. user=vaughan [2010-06-30 04:15:21] 587*2^837920-1 is not prime. Res64: 467ECABE8A9AA1AE Time : 718.0 sec. user=vaughan [2010-06-30 04:15:24] 415*2^837921-1 is not prime. Res64: F71FE6B9A5C3978E Time : 718.0 sec. user=vaughan [2010-06-30 04:23:45] 521*2^837922-1 is not prime. Res64: 2360041AE1E38FBE Time : 715.0 sec. user=vaughan [2010-06-30 04:25:54] 433*2^837715-1 is not prime. Res64: 71F710400278CC84 Time : 34154.0 sec. user=vaughan [2010-06-30 04:27:18] 455*2^837924-1 is not prime. Res64: 8DBE5D111EA49CBF Time : 718.0 sec. user=vaughan [2010-06-30 04:27:21] 497*2^837924-1 is not prime. Res64: 26870BA36A58E5A0 Time : 717.0 sec. user=vaughan [2010-06-30 04:28:53] 495*2^837923-1 is not prime. Res64: FDB054C1B5400048 Time : 970.0 sec. user=vaughan [2010-06-30 04:30:03] 423*2^837720-1 is not prime. Res64: A38D8E34C33A1619 Time : 33621.0 sec. user=vaughan [2010-06-30 04:30:50] 571*2^837923-1 is not prime. Res64: D344974E492A2A91 Time : 962.0 sec. user=vaughan [2010-06-30 04:30:53] 589*2^837923-1 is not prime. Res64: 4D3FAB03E2731F16 Time : 963.0 sec. user=vaughan [2010-06-30 04:30:54] 463*2^837715-1 is not prime. Res64: F214CFF8BE51FA22 Time : 34303.0 sec. user=vaughan [2010-06-30 04:31:37] 425*2^837726-1 is not prime. Res64: 0BF1B03643001429 Time : 32886.0 sec. user=vaughan [2010-06-30 04:32:15] 449*2^837916-1 is not prime. Res64: C43D5F826D262332 Time : 1966.0 sec. user=Flatlander [2010-06-30 04:32:44] 573*2^837892-1 is not prime. Res64: 6ED581583A961E17 Time : 8145.0 sec. user=Flatlander [2010-06-30 04:32:45] 511*2^837893-1 is not prime. Res64: E70B4248BC911A67 Time : 8145.0 sec. user=Flatlander [2010-06-30 04:32:46] 525*2^837893-1 is not prime. Res64: 1F9AEEB86A94E642 Time : 8144.0 sec. user=Flatlander [2010-06-30 04:32:47] 537*2^837893-1 is not prime. Res64: 761ABC9F7598371A Time : 8144.0 sec. user=Flatlander [2010-06-30 04:32:48] 567*2^837893-1 is not prime. Res64: 27BBE7998D4E119D Time : 8143.0 sec. user=vaughan [2010-06-30 04:35:41] 563*2^837924-1 is not prime. Res64: 80188C3C5994F744 Time : 717.0 sec. user=vaughan [2010-06-30 04:36:37] 539*2^837916-1 is not prime. Res64: EA48278982DF3C39 Time : 2177.0 sec. user=vaughan [2010-06-30 04:39:18] 597*2^837924-1 is not prime. Res64: 248494C4723E7C0B Time : 720.0 sec. user=vaughan [2010-06-30 04:39:21] 405*2^837925-1 is not prime. Res64: 9EFDE4E2E620582C Time : 720.0 sec. user=vaughan [2010-06-30 04:43:12] 573*2^837723-1 is not prime. Res64: 1D81CCBF349D0C82 Time : 34150.0 sec. user=vaughan [2010-06-30 04:45:03] 409*2^837925-1 is not prime. Res64: F5705FDDC96CACC0 Time : 970.0 sec. user=vaughan [2010-06-30 04:46:52] 499*2^837925-1 is not prime. Res64: A34498C2FC5A10F3 Time : 962.0 sec. user=vaughan [2010-06-30 04:46:56] 555*2^837925-1 is not prime. Res64: 2E9EC07B1A3FFBB8 Time : 963.0 sec. user=vaughan [2010-06-30 04:47:02] 519*2^837727-1 is not prime. Res64: 9F7AB2E17D8CF446 Time : 33648.0 sec. user=vaughan [2010-06-30 04:47:35] 589*2^837929-1 is not prime. Res64: 7322B0139D6BC392 Time : 714.0 sec. user=vaughan [2010-06-30 04:48:07] 497*2^837724-1 is not prime. Res64: 421F84300487038B Time : 34286.0 sec. user=vaughan [2010-06-30 04:49:11] 479*2^837732-1 is not prime. Res64: 457A0768BE3CF1D1 Time : 32950.0 sec. user=vaughan [2010-06-30 04:51:15] 465*2^837930-1 is not prime. Res64: D5D266F5B9045364 Time : 718.0 sec. user=vaughan [2010-06-30 04:51:18] 525*2^837930-1 is not prime. Res64: 74BE183380D86CEC Time : 717.0 sec. user=vaughan [2010-06-30 04:59:30] 489*2^837932-1 is not prime. Res64: 17A62E7083D84DDC Time : 715.0 sec. user=vaughan [2010-06-30 05:00:04] 429*2^837729-1 is not prime. Res64: FDBA404C42244AE8 Time : 34117.0 sec. user=vaughan [2010-06-30 05:01:13] 489*2^837931-1 is not prime. Res64: 7BDC66C87B39E99D Time : 971.0 sec. user=vaughan [2010-06-30 05:02:54] 505*2^837931-1 is not prime. Res64: DAD7ECAC54CBE111 Time : 963.0 sec. user=vaughan [2010-06-30 05:02:58] 535*2^837931-1 is not prime. Res64: A3316BF61DA826BD Time : 963.0 sec. user=vaughan [2010-06-30 05:03:12] 439*2^837933-1 is not prime. Res64: 531D0E502ADF99FA Time : 717.0 sec. user=vaughan [2010-06-30 05:03:16] 451*2^837933-1 is not prime. Res64: 7FA6E582B8609E44 Time : 718.0 sec. user=vaughan [2010-06-30 05:03:23] 579*2^837732-1 is not prime. Res64: 27E0DC93416DA9E4 Time : 33635.0 sec. user=vaughan [2010-06-30 05:04:58] 441*2^837729-1 is not prime. Res64: 55E6F7C7989A2D01 Time : 34237.0 sec. user=vaughan [2010-06-30 05:05:16] 417*2^837926-1 is not prime. Res64: E9E5960246C810F2 Time : 1981.0 sec. user=vaughan [2010-06-30 05:07:17] 571*2^837737-1 is not prime. Res64: 6A35A503D160FED2 Time : 33054.0 sec. user=Flatlander [2010-06-30 05:08:46] 507*2^837912-1 is not prime. Res64: 0B3C078F10E6EEAA Time : 5111.0 sec. user=Flatlander [2010-06-30 05:08:47] 567*2^837912-1 is not prime. Res64: 9DDBDCDC8D2064AD Time : 5110.0 sec. user=Flatlander [2010-06-30 05:08:47] 477*2^837913-1 is not prime. Res64: 1F7CA7FE2E3C3DF8 Time : 5109.0 sec. user=Flatlander [2010-06-30 05:08:48] 495*2^837913-1 is not prime. Res64: AE044AC287B91C97 Time : 5108.0 sec. user=Flatlander [2010-06-30 05:08:49] 499*2^837913-1 is not prime. Res64: BA2D69FDBFDC278C Time : 5108.0 sec. user=vaughan [2010-06-30 05:10:54] 405*2^837930-1 is not prime. Res64: 11B08AF4F8475792 Time : 1996.0 sec. user=vaughan [2010-06-30 05:11:24] 511*2^837933-1 is not prime. Res64: 226C025CC6A5C9CE Time : 715.0 sec. user=vaughan [2010-06-30 05:15:10] 525*2^837934-1 is not prime. Res64: 0B44FA5BB08436FD Time : 718.0 sec. user=vaughan [2010-06-30 05:15:14] 421*2^837935-1 is not prime. Res64: BAC307B97593C4F1 Time : 719.0 sec. user=vaughan [2010-06-30 05:16:51] 481*2^837735-1 is not prime. Res64: 04F6A0BA5D037064 Time : 34073.0 sec. user=vaughan [2010-06-30 05:17:21] 455*2^837934-1 is not prime. Res64: CD525CE833771395 Time : 969.0 sec. user=vaughan [2010-06-30 05:18:55] 465*2^837934-1 is not prime. Res64: 79999A06C5EDDA58 Time : 962.0 sec. user=vaughan [2010-06-30 05:19:01] 513*2^837934-1 is not prime. Res64: 079C39D8F8492B11 Time : 963.0 sec. user=vaughan [2010-06-30 05:19:41] 573*2^837738-1 is not prime. Res64: CFB89D9DEB458CB3 Time : 33600.0 sec. user=vaughan [2010-06-30 05:21:43] 495*2^837736-1 is not prime. Res64: CABEC1E05BE18E68 Time : 34198.0 sec. user=vaughan [2010-06-30 05:23:18] 579*2^837940-1 is not prime. Res64: 22C95175110D5195 Time : 714.0 sec. user=vaughan [2010-06-30 05:24:33] 539*2^837744-1 is not prime. Res64: D64DFFC02B8A42AB Time : 33118.0 sec. user=vaughan [2010-06-30 05:27:07] 405*2^837941-1 is not prime. Res64: DB156A64232DE30A Time : 718.0 sec. user=vaughan [2010-06-30 05:27:11] 417*2^837941-1 is not prime. Res64: 7DACB445D3CE7DB2 Time : 718.0 sec. user=vaughan [2010-06-30 05:33:19] 595*2^837743-1 is not prime. Res64: 0F5BFF0A771852F9 Time : 34038.0 sec. user=vaughan [2010-06-30 05:33:31] 447*2^837942-1 is not prime. Res64: 54B59095C7BFE695 Time : 970.0 sec. user=vaughan [2010-06-30 05:34:57] 485*2^837942-1 is not prime. Res64: F5B5FE56D34D0509 Time : 962.0 sec. user=vaughan [2010-06-30 05:35:04] 495*2^837942-1 is not prime. Res64: 1CE2D07531ABE77A Time : 963.0 sec. user=vaughan [2010-06-30 05:35:12] 593*2^837942-1 is not prime. Res64: 9CDBE342B310300D Time : 714.0 sec. user=vaughan [2010-06-30 05:35:45] 405*2^837747-1 is not prime. Res64: 4C7D338120BBA89F Time : 33497.0 sec. user=vaughan [2010-06-30 05:38:12] 447*2^837744-1 is not prime. Res64: 904274F74EE32FE8 Time : 34168.0 sec. user=vaughan [2010-06-30 05:38:13] 565*2^837937-1 is not prime. Res64: 0943D28124B110E6 Time : 1977.0 sec. user=vaughan [2010-06-30 05:39:05] 423*2^837943-1 is not prime. Res64: EF33D053426796E6 Time : 718.0 sec. user=vaughan [2010-06-30 05:39:08] 439*2^837943-1 is not prime. Res64: E94367951A91D3E6 Time : 717.0 sec. user=vaughan [2010-06-30 05:40:23] 573*2^837752-1 is not prime. Res64: C338D0C8A7641019 Time : 33084.0 sec. user=vaughan [2010-06-30 05:43:50] 539*2^837940-1 is not prime. Res64: BB975A3335818036 Time : 1976.0 sec. user=vaughan [2010-06-30 05:47:07] 437*2^837944-1 is not prime. Res64: 3B6FC5FB8DE3A963 Time : 715.0 sec. user=vaughan [2010-06-30 05:49:40] 525*2^837943-1 is not prime. Res64: B2CA563B0CD5598A Time : 969.0 sec. user=vaughan [2010-06-30 05:49:46] 569*2^837748-1 is not prime. Res64: 503167A39F5054D4 Time : 34000.0 sec. user=vaughan [2010-06-30 05:50:59] 561*2^837943-1 is not prime. Res64: 016106B66BECFF95 Time : 962.0 sec. user=vaughan [2010-06-30 05:51:02] 525*2^837944-1 is not prime. Res64: 95197BB1C7FDED6B Time : 718.0 sec. user=vaughan [2010-06-30 05:51:05] 533*2^837944-1 is not prime. Res64: D3EFD893CA933B9D Time : 717.0 sec. user=vaughan [2010-06-30 05:51:07] 425*2^837944-1 is not prime. Res64: 55A04579711D42B3 Time : 963.0 sec. user=vaughan [2010-06-30 05:51:47] 529*2^837753-1 is not prime. Res64: 09506F53676D2501 Time : 33388.0 sec. user=vaughan [2010-06-30 05:54:40] 507*2^837752-1 is not prime. Res64: C1B6FC1BC36A67E4 Time : 34131.0 sec. user=vaughan [2010-06-30 05:56:23] 415*2^837759-1 is not prime. Res64: 64CA3E51DEA2B092 Time : 33071.0 sec. user=Flatlander [2010-06-30 05:57:15] 507*2^837928-1 is not prime. Res64: C649B36034B1FBE9 Time : 5066.0 sec. user=Flatlander [2010-06-30 05:57:16] 563*2^837928-1 is not prime. Res64: 338FACB0F0B4D358 Time : 5065.0 sec. user=Flatlander [2010-06-30 05:57:17] 439*2^837929-1 is not prime. Res64: 65FE15EA72721A97 Time : 5065.0 sec. user=Flatlander [2010-06-30 05:57:18] 571*2^837929-1 is not prime. Res64: A57D2505ECD426E6 Time : 5064.0 sec. user=Flatlander [2010-06-30 05:57:18] 579*2^837929-1 is not prime. Res64: 45BD69716C82D221 Time : 5063.0 sec. user=vaughan [2010-06-30 05:59:01] 447*2^837945-1 is not prime. Res64: 7906BFB4069505B2 Time : 715.0 sec. user=vaughan [2010-06-30 06:03:00] 483*2^837946-1 is not prime. Res64: D0991E02A223DC5B Time : 718.0 sec. user=vaughan [2010-06-30 06:03:03] 495*2^837946-1 is not prime. Res64: 072AD0DEE948C8F1 Time : 718.0 sec. user=vaughan [2010-06-30 06:06:17] 465*2^837755-1 is not prime. Res64: D7ACBB212EBF245F Time : 33981.0 sec. user=vaughan [2010-06-30 06:07:53] 585*2^837762-1 is not prime. Res64: EF7E27C1C3F36BA4 Time : 33284.0 sec. user=vaughan [2010-06-30 06:09:54] 577*2^837945-1 is not prime. Res64: 45F0CAAEC914F7A3 Time : 1214.0 sec. user=vaughan [2010-06-30 06:10:56] 549*2^837949-1 is not prime. Res64: 2A371C8BD25724F7 Time : 715.0 sec. user=vaughan [2010-06-30 06:11:13] 581*2^837946-1 is not prime. Res64: 9FF5BB8A112FBA44 Time : 1207.0 sec. user=vaughan [2010-06-30 06:11:14] 545*2^837758-1 is not prime. Res64: 1F79562BD4A163C3 Time : 34113.0 sec. user=vaughan [2010-06-30 06:11:15] 519*2^837944-1 is not prime. Res64: B7CE21B5F5A52C0E Time : 1982.0 sec. user=vaughan [2010-06-30 06:11:23] 471*2^837946-1 is not prime. Res64: 9ADBF6691879FDD6 Time : 1225.0 sec. user=vaughan [2010-06-30 06:12:27] 475*2^837767-1 is not prime. Res64: D23953B24E97CB6A Time : 33057.0 sec. user=Flatlander [2010-06-30 06:13:48] 573*2^837916-1 is not prime. Res64: 8A851475CD6B78D4 Time : 7938.0 sec. user=Flatlander [2010-06-30 06:13:49] 445*2^837917-1 is not prime. Res64: 4D49B5B42161B072 Time : 7938.0 sec. user=Flatlander [2010-06-30 06:13:50] 507*2^837917-1 is not prime. Res64: 3179F0B965E469B9 Time : 7937.0 sec. user=Flatlander [2010-06-30 06:13:51] 559*2^837919-1 is not prime. Res64: 630478B5A5B719B1 Time : 7937.0 sec. user=Flatlander [2010-06-30 06:13:52] 563*2^837920-1 is not prime. Res64: DD61C8118CAAED2C Time : 7936.0 sec. user=vaughan [2010-06-30 06:14:58] 565*2^837949-1 is not prime. Res64: FCCBBED374AC18A9 Time : 719.0 sec. user=vaughan [2010-06-30 06:15:01] 563*2^837950-1 is not prime. Res64: 9FE64526D7908845 Time : 718.0 sec. user=Flatlander [2010-06-30 06:15:29] 555*2^837913-1 is not prime. Res64: 57A52990CE1FE85F Time : 9016.0 sec. user=Flatlander [2010-06-30 06:15:30] 591*2^837913-1 is not prime. Res64: 22C0E2BED74E0248 Time : 9015.0 sec. user=Flatlander [2010-06-30 06:15:31] 595*2^837913-1 is not prime. Res64: 2B0B56F38E6ACE5C Time : 9014.0 sec. user=Flatlander [2010-06-30 06:15:32] 411*2^837914-1 is not prime. Res64: 137E59FB5E89EC26 Time : 9014.0 sec. user=Flatlander [2010-06-30 06:15:32] 435*2^837914-1 is not prime. Res64: 0C7752D3D85179A9 Time : 9012.0 sec. user=vaughan [2010-06-30 06:16:57] 409*2^837945-1 is not prime. Res64: E602B3F055BA5491 Time : 1987.0 sec. user=vaughan [2010-06-30 06:17:07] 501*2^837878-1 is not prime. Res64: 5062B91927B27A7F Time : 19246.0 sec. user=vaughan [2010-06-30 06:22:52] 415*2^837763-1 is not prime. Res64: F969FB86E29006F2 Time : 33960.0 sec. user=vaughan [2010-06-30 06:23:03] 549*2^837951-1 is not prime. Res64: 6EF22DA208CF0908 Time : 727.0 sec. user=vaughan [2010-06-30 06:24:04] 585*2^837768-1 is not prime. Res64: 9246AB327E83B99E Time : 33214.0 sec. user=vaughan [2010-06-30 06:27:03] 549*2^837953-1 is not prime. Res64: 73351FF11AD895DD Time : 725.0 sec. user=vaughan [2010-06-30 06:27:07] 437*2^837954-1 is not prime. Res64: FC4FB1716F9C583B Time : 726.0 sec. user=vaughan [2010-06-30 06:27:46] 525*2^837764-1 is not prime. Res64: C0B4FC083B801F44 Time : 34089.0 sec. user=vaughan [2010-06-30 06:28:32] 537*2^837770-1 is not prime. Res64: BDFF9E92F8938F6F Time : 32966.0 sec. user=vaughan [2010-06-30 06:33:58] 447*2^837956-1 is not prime. Res64: 5CABE33C1291CF84 Time : 997.0 sec. user=vaughan [2010-06-30 06:34:03] 519*2^837956-1 is not prime. Res64: 6E6038E6E802EF43 Time : 985.0 sec. user=vaughan [2010-06-30 06:34:36] 473*2^837956-1 is not prime. Res64: 31477F1B6D15296C Time : 1024.0 sec. user=vaughan [2010-06-30 06:35:06] 575*2^837958-1 is not prime. Res64: 7FC99686E4548B08 Time : 725.0 sec. user=vaughan [2010-06-30 06:36:13] 587*2^837956-1 is not prime. Res64: 1B2EF58004FBC89C Time : 1066.0 sec. user=vaughan [2010-06-30 06:39:07] 441*2^837959-1 is not prime. Res64: A4F98D82331F0EA4 Time : 726.0 sec. user=vaughan [2010-06-30 06:39:09] 481*2^837959-1 is not prime. Res64: A0967A95AF1DDA48 Time : 724.0 sec. user=vaughan [2010-06-30 06:39:19] 535*2^837769-1 is not prime. Res64: 85B79AA6685A7BFE Time : 33931.0 sec. user=vaughan [2010-06-30 06:40:06] 507*2^837774-1 is not prime. Res64: CC67069897A7D60C Time : 33198.0 sec. user=vaughan [2010-06-30 06:44:39] 565*2^837777-1 is not prime. Res64: 84F480441066C5CE Time : 32849.0 sec. user=vaughan [2010-06-30 06:45:22] 473*2^837770-1 is not prime. Res64: 68162024F4427768 Time : 34129.0 sec. user=vaughan [2010-06-30 06:55:52] 405*2^837775-1 is not prime. Res64: 2E4CC9D267CF9EB2 Time : 33915.0 sec. user=vaughan [2010-06-30 06:58:17] 505*2^837779-1 is not prime. Res64: 612457CEFD8F89FB Time : 33304.0 sec. user=vaughan [2010-06-30 07:01:55] 535*2^837775-1 is not prime. Res64: 544F2CB419767845 Time : 34110.0 sec. user=vaughan [2010-06-30 07:03:05] 411*2^837783-1 is not prime. Res64: F57DD883AB5D37E2 Time : 32920.0 sec. user=Flatlander [2010-06-30 07:10:53] 589*2^837937-1 is not prime. Res64: 76D886FAE888C27B Time : 7322.0 sec. user=Flatlander [2010-06-30 07:10:54] 525*2^837938-1 is not prime. Res64: DDA97C9925E0B941 Time : 7322.0 sec. user=Flatlander [2010-06-30 07:10:54] 441*2^837939-1 is not prime. Res64: 4FB7568DF198D04E Time : 7320.0 sec. user=Flatlander [2010-06-30 07:10:55] 465*2^837940-1 is not prime. Res64: 627CF87F4330DC9E Time : 7320.0 sec. user=Flatlander [2010-06-30 07:10:56] 537*2^837940-1 is not prime. Res64: 8BE3CB4EC93A26DB Time : 7319.0 sec. user=vaughan [2010-06-30 07:12:33] 567*2^837780-1 is not prime. Res64: 47CCED74031A8F20 Time : 33896.0 sec. user=vaughan [2010-06-30 07:12:38] 459*2^837785-1 is not prime. Res64: 39D372F7DFD766C1 Time : 33180.0 sec. user=vaughan [2010-06-30 07:16:43] 593*2^837786-1 is not prime. Res64: 0FD13E41711FD643 Time : 32759.0 sec. user=vaughan [2010-06-30 07:17:19] 417*2^837782-1 is not prime. Res64: 70C982D3088EB1F9 Time : 34007.0 sec. user=vaughan [2010-06-30 07:30:35] 493*2^837791-1 is not prime. Res64: BF9DC3D59F8F82AE Time : 33271.0 sec. user=vaughan [2010-06-30 07:32:39] 411*2^837786-1 is not prime. Res64: 191A3F407738AFCB Time : 34059.0 sec. user=vaughan [2010-06-30 07:32:41] 465*2^837796-1 is not prime. Res64: 7D74ECC1202454A9 Time : 32725.0 sec. user=vaughan [2010-06-30 07:33:58] 495*2^837786-1 is not prime. Res64: C301CA61864DFCB3 Time : 33959.0 sec. user=vaughan [2010-06-30 07:37:15] 495*2^837704-1 is not prime. Res64: 4F99D65AABA4386C Time : 46910.0 sec. user=vaughan [2010-06-30 07:37:17] 539*2^837712-1 is not prime. Res64: 3E42BA5FDA23675A Time : 45895.0 sec. user=vaughan [2010-06-30 07:38:15] 531*2^837719-1 is not prime. Res64: 8370DBF34505E848 Time : 44936.0 sec. user=vaughan [2010-06-30 07:38:17] 531*2^837727-1 is not prime. Res64: 4C18909C2B620D2F Time : 43921.0 sec. user=vaughan [2010-06-30 07:38:54] 547*2^837733-1 is not prime. Res64: A178CEC82A15D645 Time : 42937.0 sec. user=vaughan [2010-06-30 07:41:24] 555*2^837727-1 is not prime. Res64: E9E27D0BE7CBF4CB Time : 43985.0 sec. user=vaughan [2010-06-30 07:41:26] 423*2^837734-1 is not prime. Res64: 24F40446884FCE39 Time : 42965.0 sec. user=vaughan [2010-06-30 07:41:27] 533*2^837740-1 is not prime. Res64: 9447759935FBF7E5 Time : 41948.0 sec. user=vaughan [2010-06-30 07:41:27] 593*2^837746-1 is not prime. Res64: 6B5024F6328C3792 Time : 41047.0 sec. user=vaughan [2010-06-30 07:41:28] 583*2^837747-1 is not prime. Res64: C14D415E8DE55981 Time : 40920.0 sec. user=vaughan [2010-06-30 07:41:28] 495*2^837753-1 is not prime. Res64: D9C53245DB4F311C Time : 40025.0 sec. user=vaughan [2010-06-30 07:41:30] 453*2^837754-1 is not prime. Res64: FDDDD59564F7D58D Time : 39899.0 sec. user=vaughan [2010-06-30 07:41:30] 527*2^837760-1 is not prime. Res64: 714279F696BEF453 Time : 39011.0 sec. user=vaughan [2010-06-30 07:41:31] 411*2^837763-1 is not prime. Res64: 87053FABD4CD422D Time : 38876.0 sec. user=vaughan [2010-06-30 07:41:31] 429*2^837769-1 is not prime. Res64: 9BC7DFCEB950D512 Time : 37793.0 sec. user=vaughan [2010-06-30 07:41:32] 537*2^837769-1 is not prime. Res64: BF623C9ABC096654 Time : 37602.0 sec. user=vaughan [2010-06-30 07:41:32] 567*2^837774-1 is not prime. Res64: D692E03584F526BD Time : 36719.0 sec. user=vaughan [2010-06-30 07:41:37] 433*2^837775-1 is not prime. Res64: 854C2D6FFC808B01 Time : 36582.0 sec. user=vaughan [2010-06-30 07:41:38] 537*2^837780-1 is not prime. Res64: 2DB67B3EF100305A Time : 35706.0 sec. user=vaughan [2010-06-30 07:42:03] 565*2^837781-1 is not prime. Res64: CFADB72961EFD819 Time : 35585.0 sec. user=vaughan [2010-06-30 07:43:14] 585*2^837785-1 is not prime. Res64: 79BDE982034B800C Time : 34783.0 sec. user=vaughan [2010-06-30 07:43:58] 567*2^837718-1 is not prime. Res64: 6C58952D48D82EF9 Time : 45474.0 sec. user=vaughan [2010-06-30 07:43:58] 417*2^837726-1 is not prime. Res64: 44A867ABC22B3273 Time : 44434.0 sec. user=vaughan [2010-06-30 07:43:58] 537*2^837732-1 is not prime. Res64: 279DC11B97E72E07 Time : 43389.0 sec. user=vaughan [2010-06-30 07:43:59] 453*2^837738-1 is not prime. Res64: 3D431E6A0E851A68 Time : 42347.0 sec. user=vaughan [2010-06-30 07:43:59] 531*2^837746-1 is not prime. Res64: EF0A6A4D46952AD9 Time : 41305.0 sec. user=vaughan [2010-06-30 07:43:59] 475*2^837753-1 is not prime. Res64: 01BDB54601634C04 Time : 40263.0 sec. user=vaughan [2010-06-30 07:44:00] 489*2^837760-1 is not prime. Res64: 98144A3243ECC6A2 Time : 39221.0 sec. user=vaughan [2010-06-30 07:44:00] 549*2^837768-1 is not prime. Res64: B08820F5B4A7BDC8 Time : 38174.0 sec. user=vaughan [2010-06-30 07:44:00] 571*2^837773-1 is not prime. Res64: 224B0E5F56A8736F Time : 37126.0 sec. user=vaughan [2010-06-30 07:44:01] 433*2^837779-1 is not prime. Res64: 8A40C38A35BC03A6 Time : 36080.0 sec. user=vaughan [2010-06-30 07:44:01] 465*2^837785-1 is not prime. Res64: 2E44B74EB49460AE Time : 35033.0 sec. user=vaughan [2010-06-30 07:44:01] 511*2^837793-1 is not prime. Res64: 1948F3B2E2B63F39 Time : 33969.0 sec. user=vaughan [2010-06-30 07:44:02] 423*2^837800-1 is not prime. Res64: CF651D17A3C4C8F6 Time : 32926.0 sec. user=vaughan [2010-06-30 07:44:02] 567*2^837808-1 is not prime. Res64: 7332D974E985AAFD Time : 31882.0 sec. user=vaughan [2010-06-30 07:44:02] 549*2^837820-1 is not prime. Res64: 62DB5880DE270DE0 Time : 30838.0 sec. user=vaughan [2010-06-30 07:44:03] 561*2^837842-1 is not prime. Res64: E580006DC3CD9ED9 Time : 29794.0 sec. user=vaughan [2010-06-30 07:44:03] 465*2^837850-1 is not prime. Res64: DB7D5692E8473AC2 Time : 28750.0 sec. user=vaughan [2010-06-30 07:44:03] 485*2^837856-1 is not prime. Res64: 72BB6C67E78DBA18 Time : 27700.0 sec. user=vaughan [2010-06-30 07:44:04] 489*2^837865-1 is not prime. Res64: 08471A3A60D72003 Time : 26656.0 sec. user=vaughan [2010-06-30 07:44:26] 555*2^837798-1 is not prime. Res64: 21A8C57AC2E0E830 Time : 33094.0 sec. user=vaughan [2010-06-30 07:44:43] 435*2^837742-1 is not prime. Res64: E0415EF08D365D14 Time : 41940.0 sec. user=vaughan [2010-06-30 07:44:43] 439*2^837749-1 is not prime. Res64: EBE5625F8A046129 Time : 40887.0 sec. user=vaughan [2010-06-30 07:44:43] 595*2^837755-1 is not prime. Res64: A37800324EB8C5EA Time : 39834.0 sec. user=vaughan [2010-06-30 07:44:44] 479*2^837764-1 is not prime. Res64: D18E617E2D3BC3EA Time : 38784.0 sec. user=vaughan [2010-06-30 07:44:44] 547*2^837769-1 is not prime. Res64: 01EE7887062D3AAC Time : 37726.0 sec. user=vaughan [2010-06-30 07:44:44] 595*2^837775-1 is not prime. Res64: 4DF41142DC0261BB Time : 36669.0 sec. user=vaughan [2010-06-30 07:44:45] 467*2^837782-1 is not prime. Res64: DB2952DCEF921088 Time : 35617.0 sec. user=vaughan [2010-06-30 07:44:45] 513*2^837786-1 is not prime. Res64: F88E159B8F0E7738 Time : 34561.0 sec. user=vaughan [2010-06-30 07:44:45] 447*2^837796-1 is not prime. Res64: 704A88EAA57F7855 Time : 33510.0 sec. user=vaughan [2010-06-30 07:44:46] 447*2^837806-1 is not prime. Res64: 03C5B1F4327B7C0A Time : 32461.0 sec. user=vaughan [2010-06-30 07:44:46] 549*2^837811-1 is not prime. Res64: B86F2A01CDBC6AC6 Time : 31407.0 sec. user=vaughan [2010-06-30 07:44:46] 503*2^837836-1 is not prime. Res64: 4A24353BF04FBDAC Time : 30357.0 sec. user=vaughan [2010-06-30 07:44:47] 539*2^837848-1 is not prime. Res64: 9A1CCD65F74022C6 Time : 28972.0 sec. user=vaughan [2010-06-30 07:44:47] 501*2^837855-1 is not prime. Res64: F874AEBD47CAA44A Time : 28250.0 sec. user=vaughan [2010-06-30 07:44:47] 477*2^837860-1 is not prime. Res64: 6AFF134BC8D18B4D Time : 27197.0 sec. user=vaughan [2010-06-30 07:45:18] 525*2^837794-1 is not prime. Res64: E6EC4F31A167AF4E Time : 33738.0 sec. user=vaughan [2010-06-30 07:45:33] 401*2^837702-1 is not prime. Res64: 2AFB74105F742203 Time : 47774.0 sec. user=vaughan [2010-06-30 07:45:33] 515*2^837710-1 is not prime. Res64: B41D6D0BB608DC45 Time : 46647.0 sec. user=vaughan [2010-06-30 07:45:34] 403*2^837719-1 is not prime. Res64: 84EBB5ADC59CB753 Time : 45520.0 sec. user=vaughan [2010-06-30 07:45:34] 489*2^837727-1 is not prime. Res64: 80EF2F9669BD3832 Time : 44391.0 sec. user=vaughan [2010-06-30 07:45:34] 565*2^837733-1 is not prime. Res64: F12936A14081C202 Time : 43260.0 sec. user=vaughan [2010-06-30 07:45:35] 425*2^837742-1 is not prime. Res64: 3D1DE41EC2E3407D Time : 42134.0 sec. user=vaughan [2010-06-30 07:45:35] 539*2^837748-1 is not prime. Res64: 801E49BA5043E6F8 Time : 41011.0 sec. user=vaughan [2010-06-30 07:45:35] 421*2^837757-1 is not prime. Res64: 8265EB95AA79EAF3 Time : 39882.0 sec. user=vaughan [2010-06-30 07:45:36] 593*2^837764-1 is not prime. Res64: 389D9F3C444D4626 Time : 38753.0 sec. user=vaughan [2010-06-30 07:45:36] 475*2^837771-1 is not prime. Res64: 5374F3B211D83D14 Time : 37528.0 sec. user=vaughan [2010-06-30 07:45:36] 533*2^837778-1 is not prime. Res64: DE227E7A042A96A1 Time : 36400.0 sec. user=vaughan [2010-06-30 07:45:37] 533*2^837784-1 is not prime. Res64: 97C4E5219699650E Time : 35261.0 sec. user=vaughan [2010-06-30 07:45:37] 423*2^837792-1 is not prime. Res64: 72E7CA791232E059 Time : 34140.0 sec. user=vaughan [2010-06-30 07:45:37] 559*2^837799-1 is not prime. Res64: 27FDC9FB1311BBCF Time : 33022.0 sec. user=vaughan [2010-06-30 07:45:38] 421*2^837809-1 is not prime. Res64: 4B8B9754CB7C6FF8 Time : 31904.0 sec. user=vaughan [2010-06-30 07:45:38] 523*2^837827-1 is not prime. Res64: 566A6AC8410F0BDD Time : 30787.0 sec. user=vaughan [2010-06-30 07:45:38] 441*2^837843-1 is not prime. Res64: EF77E8BF4C380B1D Time : 29672.0 sec. user=vaughan [2010-06-30 07:45:39] 567*2^837853-1 is not prime. Res64: 00B7042563369DAE Time : 28552.0 sec. user=vaughan [2010-06-30 07:45:43] 405*2^837637-1 is not prime. Res64: AD4A098C0652B0C3 Time : 54275.0 sec. user=vaughan [2010-06-30 07:45:43] 489*2^837665-1 is not prime. Res64: D693F633EC846A4B Time : 52954.0 sec. user=vaughan [2010-06-30 07:45:43] 409*2^837675-1 is not prime. Res64: 9DCDCDCF887B93A9 Time : 51637.0 sec. user=vaughan [2010-06-30 07:45:44] 521*2^837686-1 is not prime. Res64: A5E810CA40328C1B Time : 50297.0 sec. user=vaughan [2010-06-30 07:45:44] 563*2^837692-1 is not prime. Res64: 762F170E93C03A44 Time : 48981.0 sec. user=vaughan [2010-06-30 07:45:44] 489*2^837703-1 is not prime. Res64: 81AB45B979D562FF Time : 47667.0 sec. user=vaughan [2010-06-30 07:45:45] 563*2^837714-1 is not prime. Res64: 89270A128AA7626B Time : 46350.0 sec. user=vaughan [2010-06-30 07:45:45] 495*2^837724-1 is not prime. Res64: 61BBA82EEB148BCD Time : 45032.0 sec. user=vaughan [2010-06-30 07:45:45] 465*2^837729-1 is not prime. Res64: 6340E4B95BDD4979 Time : 43716.0 sec. user=vaughan [2010-06-30 07:45:46] 563*2^837738-1 is not prime. Res64: 6B782FBE1E036EC9 Time : 42397.0 sec. user=vaughan [2010-06-30 07:45:46] 519*2^837748-1 is not prime. Res64: 553700803AF67E0E Time : 41079.0 sec. user=vaughan [2010-06-30 07:45:46] 551*2^837758-1 is not prime. Res64: CEEC2B57F06414F1 Time : 39760.0 sec. user=vaughan [2010-06-30 07:45:47] 509*2^837768-1 is not prime. Res64: 00DCECA00D5077DB Time : 38353.0 sec. user=vaughan [2010-06-30 07:45:47] 557*2^837774-1 is not prime. Res64: 242170BE8A84B6F3 Time : 37031.0 sec. user=vaughan [2010-06-30 07:45:47] 423*2^837782-1 is not prime. Res64: 9B01CF7A1DFF30B1 Time : 35712.0 sec. user=vaughan [2010-06-30 07:46:11] 505*2^837679-1 is not prime. Res64: 3FF35358ED248DB8 Time : 51558.0 sec. user=vaughan [2010-06-30 07:46:11] 557*2^837686-1 is not prime. Res64: 44DCDA6EC1372CD8 Time : 50250.0 sec. user=vaughan [2010-06-30 07:46:12] 495*2^837693-1 is not prime. Res64: 8FE416ED4D9EAD54 Time : 48964.0 sec. user=vaughan [2010-06-30 07:46:12] 511*2^837703-1 is not prime. Res64: FFA3136FDCCC0C9D Time : 47672.0 sec. user=vaughan [2010-06-30 07:46:12] 413*2^837714-1 is not prime. Res64: 58837D95C381D6A8 Time : 46382.0 sec. user=vaughan [2010-06-30 07:46:12] 413*2^837724-1 is not prime. Res64: E9BBECEF7CE68562 Time : 45092.0 sec. user=vaughan [2010-06-30 07:46:13] 459*2^837729-1 is not prime. Res64: 6A580E84AB34F38E Time : 43799.0 sec. user=vaughan [2010-06-30 07:46:13] 417*2^837738-1 is not prime. Res64: 83C6CCFF6F28400F Time : 42507.0 sec. user=vaughan [2010-06-30 07:46:13] 571*2^837747-1 is not prime. Res64: 1466A02EACB1B362 Time : 41214.0 sec. user=vaughan [2010-06-30 07:46:14] 425*2^837756-1 is not prime. Res64: 85E793EF316174C7 Time : 39923.0 sec. user=vaughan [2010-06-30 07:46:14] 589*2^837767-1 is not prime. Res64: 57415F06C8EA2545 Time : 38557.0 sec. user=vaughan [2010-06-30 07:46:14] 409*2^837701-1 is not prime. Res64: 438E10C95E39275C Time : 48050.0 sec. user=vaughan [2010-06-30 07:46:14] 453*2^837774-1 is not prime. Res64: B1087B62D9E87450 Time : 37219.0 sec. user=vaughan [2010-06-30 07:46:14] 567*2^837709-1 is not prime. Res64: AAC4D1B876244088 Time : 46893.0 sec. user=vaughan [2010-06-30 07:46:15] 545*2^837780-1 is not prime. Res64: B9668A0EA710FA01 Time : 35922.0 sec. user=vaughan [2010-06-30 07:46:15] 439*2^837717-1 is not prime. Res64: 3E42FC6F5EF92D7C Time : 45737.0 sec. user=vaughan [2010-06-30 07:46:15] 587*2^837786-1 is not prime. Res64: 33A9CA3954103971 Time : 34642.0 sec. user=vaughan [2010-06-30 07:46:15] 565*2^837725-1 is not prime. Res64: E72E4E7D2FC9D663 Time : 44580.0 sec. user=vaughan [2010-06-30 07:46:15] 569*2^837796-1 is not prime. Res64: 872E510CE74397B5 Time : 33384.0 sec. user=vaughan [2010-06-30 07:46:15] 567*2^837732-1 is not prime. Res64: 89F91ADC0251B23A Time : 43424.0 sec. user=vaughan [2010-06-30 07:46:16] 533*2^837808-1 is not prime. Res64: 76115F2F1F0129CF Time : 32124.0 sec. user=vaughan [2010-06-30 07:46:16] 515*2^837740-1 is not prime. Res64: 7E048BC54E413674 Time : 42267.0 sec. user=vaughan [2010-06-30 07:46:16] 537*2^837748-1 is not prime. Res64: D1A00E6FF4E20083 Time : 41109.0 sec. user=vaughan [2010-06-30 07:46:16] 489*2^837755-1 is not prime. Res64: 305411FCB8B9B6D8 Time : 39952.0 sec. user=vaughan [2010-06-30 07:46:17] 579*2^837764-1 is not prime. Res64: 28240EC96B2217F7 Time : 38794.0 sec. user=vaughan [2010-06-30 07:46:17] 403*2^837771-1 is not prime. Res64: 6D3A586DDC01F528 Time : 37577.0 sec. user=vaughan [2010-06-30 07:46:17] 575*2^837778-1 is not prime. Res64: 7BCB4D42D5A1E293 Time : 36420.0 sec. user=vaughan [2010-06-30 07:46:18] 597*2^837784-1 is not prime. Res64: CC4E905895460C29 Time : 35239.0 sec. user=vaughan [2010-06-30 07:46:18] 407*2^837794-1 is not prime. Res64: AFD20DD6E5A367C2 Time : 34093.0 sec. user=vaughan [2010-06-30 07:46:18] 513*2^837804-1 is not prime. Res64: 04323F03EC7A2CC6 Time : 32947.0 sec. user=vaughan [2010-06-30 07:46:19] 489*2^837809-1 is not prime. Res64: 0E47BE3DBFA1C85F Time : 31802.0 sec. user=vaughan [2010-06-30 07:46:19] 585*2^837834-1 is not prime. Res64: EFE2B4D7A8A1633A Time : 30654.0 sec. user=vaughan [2010-06-30 07:46:19] 569*2^837844-1 is not prime. Res64: 8308307C4EF6E8FA Time : 29505.0 sec. user=vaughan [2010-06-30 07:48:21] 589*2^837787-1 is not prime. Res64: 80779889974B594E Time : 34567.0 sec. user=vaughan [2010-06-30 07:48:37] 407*2^837806-1 is not prime. Res64: 97C7D58E6EDFE47F Time : 32694.0 sec. user=vaughan [2010-06-30 07:48:58] 489*2^837725-1 is not prime. Res64: 32796EC39258AE97 Time : 44890.0 sec. user=vaughan [2010-06-30 07:48:58] 405*2^837795-1 is not prime. Res64: 15C591EF6E47548A Time : 33957.0 sec. user=vaughan [2010-06-30 07:48:58] 405*2^837753-1 is not prime. Res64: 3C2985C38C92D60D Time : 40695.0 sec. user=vaughan [2010-06-30 07:48:58] 505*2^837731-1 is not prime. Res64: EEEE65F42B9D2F03 Time : 43896.0 sec. user=vaughan [2010-06-30 07:48:58] 411*2^837805-1 is not prime. Res64: D28D476D5FAE83F2 Time : 32935.0 sec. user=vaughan [2010-06-30 07:48:58] 483*2^837759-1 is not prime. Res64: A0D35FBE440BCC2A Time : 39703.0 sec. user=vaughan [2010-06-30 07:48:58] 489*2^837737-1 is not prime. Res64: 6C7A56749C91A794 Time : 42903.0 sec. user=vaughan [2010-06-30 07:48:59] 495*2^837809-1 is not prime. Res64: 8A487335EDB2A794 Time : 31915.0 sec. user=vaughan [2010-06-30 07:48:59] 465*2^837768-1 is not prime. Res64: 0FD844A947E37411 Time : 38654.0 sec. user=vaughan [2010-06-30 07:48:59] 497*2^837744-1 is not prime. Res64: 81BF2F0FD989B12C Time : 41909.0 sec. user=vaughan [2010-06-30 07:48:59] 495*2^837834-1 is not prime. Res64: 2EE28C1FEBBCAB15 Time : 30892.0 sec. user=vaughan [2010-06-30 07:48:59] 539*2^837772-1 is not prime. Res64: E55524296B5F43E8 Time : 37574.0 sec. user=vaughan [2010-06-30 07:48:59] 533*2^837752-1 is not prime. Res64: 45C969869C4DDA18 Time : 40907.0 sec. user=vaughan [2010-06-30 07:48:59] 529*2^837843-1 is not prime. Res64: 4E31A68503210AFE Time : 29870.0 sec. user=vaughan [2010-06-30 07:48:59] 411*2^837779-1 is not prime. Res64: E425FACA81A2507B Time : 36580.0 sec. user=vaughan [2010-06-30 07:48:59] 591*2^837758-1 is not prime. Res64: 211A0EFE15658DB5 Time : 39914.0 sec. user=vaughan [2010-06-30 07:49:00] 585*2^837851-1 is not prime. Res64: 256C89DCB963D942 Time : 28848.0 sec. user=vaughan [2010-06-30 07:49:00] 559*2^837783-1 is not prime. Res64: FFBF804EA9ACD7DF Time : 35583.0 sec. user=vaughan [2010-06-30 07:49:00] 599*2^837764-1 is not prime. Res64: 141D3FF36D27354E Time : 38924.0 sec. user=vaughan [2010-06-30 07:49:00] 587*2^837856-1 is not prime. Res64: 7C1955EB5948B29A Time : 27822.0 sec. user=vaughan [2010-06-30 07:49:00] 489*2^837788-1 is not prime. Res64: 54A8D043C864B068 Time : 34595.0 sec. user=vaughan [2010-06-30 07:49:00] 585*2^837770-1 is not prime. Res64: FD36BA6F8F427FDB Time : 37791.0 sec. user=vaughan [2010-06-30 07:49:00] 567*2^837866-1 is not prime. Res64: 087E6BC899DE3033 Time : 26795.0 sec. user=vaughan [2010-06-30 07:49:00] 485*2^837796-1 is not prime. Res64: 1FCCCB0E89839538 Time : 33600.0 sec. user=vaughan [2010-06-30 07:49:00] 507*2^837776-1 is not prime. Res64: 339B4C681DFA26FB Time : 36796.0 sec. user=vaughan [2010-06-30 07:49:01] 539*2^837872-1 is not prime. Res64: 27E5B69053E11DDF Time : 25758.0 sec. user=vaughan [2010-06-30 07:49:01] 455*2^837806-1 is not prime. Res64: F39778FDF6456841 Time : 32606.0 sec. user=vaughan [2010-06-30 07:49:01] 495*2^837782-1 is not prime. Res64: 29BCE2164CA8CA14 Time : 35804.0 sec. user=vaughan [2010-06-30 07:49:01] 417*2^837812-1 is not prime. Res64: 3860B941A3B6C381 Time : 31612.0 sec. user=vaughan [2010-06-30 07:49:01] 567*2^837786-1 is not prime. Res64: 013CE096E5D5E34F Time : 34809.0 sec. user=vaughan [2010-06-30 07:49:01] 477*2^837836-1 is not prime. Res64: DA536E4038ADCEED Time : 30618.0 sec. user=vaughan [2010-06-30 07:49:01] 529*2^837795-1 is not prime. Res64: 7D3D315321BA0A55 Time : 33814.0 sec. user=vaughan [2010-06-30 07:49:02] 517*2^837845-1 is not prime. Res64: EE97F5DA4CF25C1C Time : 29621.0 sec. user=vaughan [2010-06-30 07:49:02] 499*2^837805-1 is not prime. Res64: AEB8EE0E4EDF9843 Time : 32823.0 sec. user=vaughan [2010-06-30 07:49:02] 425*2^837854-1 is not prime. Res64: 961B1F18256C2041 Time : 28629.0 sec. user=vaughan [2010-06-30 07:49:02] 511*2^837809-1 is not prime. Res64: D22D96FBD3036A4E Time : 31829.0 sec. user=vaughan [2010-06-30 07:49:02] 493*2^837859-1 is not prime. Res64: FBA04290DEBDF3DD Time : 27636.0 sec. user=vaughan [2010-06-30 07:49:02] 497*2^837834-1 is not prime. Res64: DA3CCAEC31E7DD92 Time : 30835.0 sec. user=vaughan [2010-06-30 07:49:03] 553*2^837867-1 is not prime. Res64: A844321528EEF408 Time : 26634.0 sec. user=vaughan [2010-06-30 07:49:03] 595*2^837843-1 is not prime. Res64: 07AC9F0929653FAA Time : 29843.0 sec. user=vaughan [2010-06-30 07:49:03] 593*2^837872-1 is not prime. Res64: B258E75BB4F22424 Time : 25631.0 sec. user=vaughan [2010-06-30 07:49:03] 497*2^837852-1 is not prime. Res64: 4E6928BEE9682938 Time : 28845.0 sec. user=vaughan [2010-06-30 07:49:03] 495*2^837880-1 is not prime. Res64: 2BCE19819A386342 Time : 24640.0 sec. user=vaughan [2010-06-30 07:49:03] 573*2^837856-1 is not prime. Res64: 49FE9EBB396AE2AA Time : 27848.0 sec. user=vaughan [2010-06-30 07:49:04] 477*2^837866-1 is not prime. Res64: 56AF57866B14445E Time : 26852.0 sec. user=vaughan [2010-06-30 07:49:04] 489*2^837871-1 is not prime. Res64: 3B5515B89D43694E Time : 25851.0 sec. user=vaughan [2010-06-30 07:49:04] 417*2^837878-1 is not prime. Res64: BF66C9CACE3D0CC5 Time : 24859.0 sec. user=vaughan [2010-06-30 07:49:44] 545*2^837804-1 is not prime. Res64: D8B9D6C981E4AB6F Time : 33134.0 sec. user=vaughan [2010-06-30 07:49:45] 445*2^837809-1 is not prime. Res64: B52B077C09964EC1 Time : 32117.0 sec. user=vaughan [2010-06-30 07:49:45] 447*2^837821-1 is not prime. Res64: AAB22853F6C12D8E Time : 31098.0 sec. user=vaughan [2010-06-30 07:49:45] 415*2^837843-1 is not prime. Res64: 1F73EB165AB33E10 Time : 30076.0 sec. user=vaughan [2010-06-30 07:49:46] 467*2^837850-1 is not prime. Res64: BBC6D64593E35061 Time : 29057.0 sec. user=vaughan [2010-06-30 07:49:46] 509*2^837856-1 is not prime. Res64: 277DD33416618154 Time : 28025.0 sec. user=vaughan [2010-06-30 07:49:46] 465*2^837864-1 is not prime. Res64: 1EDA70ABDF58D4C8 Time : 27010.0 sec. user=vaughan [2010-06-30 07:49:46] 585*2^837870-1 is not prime. Res64: 00CCDB20EE4BF3D6 Time : 25977.0 sec. user=vaughan [2010-06-30 07:49:47] 595*2^837875-1 is not prime. Res64: E98163C31F353FDB Time : 24954.0 sec. user=vaughan [2010-06-30 07:50:19] 541*2^837795-1 is not prime. Res64: 94A5134DCC06706E Time : 33876.0 sec. user=vaughan [2010-06-30 07:55:42] 413*2^837822-1 is not prime. Res64: F2D76CB49A3C0DEE Time : 31431.0 sec. user=vaughan [2010-06-30 07:57:35] 471*2^837859-1 is not prime. Res64: 2A23598062469CF4 Time : 28151.0 sec. user=vaughan [2010-06-30 07:59:08] 477*2^837869-1 is not prime. Res64: A59E9F9D0351CBA3 Time : 27010.0 sec. user=vaughan [2010-06-30 07:59:12] 541*2^837883-1 is not prime. Res64: AB75D7280F00DDB9 Time : 24468.0 sec. user=vaughan [2010-06-30 07:59:13] 415*2^837871-1 is not prime. Res64: 8B07337B454A0779 Time : 26525.0 sec. user=vaughan [2010-06-30 08:00:31] 595*2^837807-1 is not prime. Res64: 7F2CCD795A40A704 Time : 33072.0 sec. user=vaughan [2010-06-30 08:02:09] 477*2^837805-1 is not prime. Res64: 0C23875209237A7E Time : 33680.0 sec. user=vaughan [2010-06-30 08:02:09] 585*2^837854-1 is not prime. Res64: E8F5588712D45E9B Time : 29306.0 sec. user=vaughan [2010-06-30 08:03:15] 405*2^837885-1 is not prime. Res64: 2F2C03359FCC37EF Time : 24494.0 sec. user=vaughan [2010-06-30 08:03:27] 433*2^837879-1 is not prime. Res64: FACCAC8A5E0F24F2 Time : 25598.0 sec. user=vaughan [2010-06-30 08:04:48] 555*2^837810-1 is not prime. Res64: 983BD0004DDA459F Time : 32682.0 sec. user=vaughan [2010-06-30 08:05:16] 441*2^837883-1 is not prime. Res64: 02F6236D158DF987 Time : 24858.0 sec. user=vaughan [2010-06-30 08:07:12] 577*2^837805-1 is not prime. Res64: 2C9246969B0D38BE Time : 33834.0 sec. user=Flatlander [2010-06-30 08:11:00] 485*2^837954-1 is not prime. Res64: 81B70FCF59359B4C Time : 6926.0 sec. user=Flatlander [2010-06-30 08:11:01] 521*2^837954-1 is not prime. Res64: 5C56CCB395C46CAB Time : 6925.0 sec. user=Flatlander [2010-06-30 08:11:01] 527*2^837954-1 is not prime. Res64: 8B81E32D1C9196DB Time : 6924.0 sec. user=Flatlander [2010-06-30 08:11:02] 493*2^837955-1 is not prime. Res64: 32BE6895FEDE38D0 Time : 6923.0 sec. user=Flatlander [2010-06-30 08:11:03] 535*2^837955-1 is not prime. Res64: 706578CA0403F683 Time : 6923.0 sec. user=vaughan [2010-06-30 08:12:52] 421*2^837799-1 is not prime. Res64: 845420D1AACEB7FE Time : 34748.0 sec. user=vaughan [2010-06-30 08:16:21] 435*2^837844-1 is not prime. Res64: CEC931D162F35E3C Time : 31407.0 sec. user=vaughan [2010-06-30 08:16:24] 523*2^837887-1 is not prime. Res64: 41D5F014853B1ECA Time : 24509.0 sec. user=vaughan [2010-06-30 08:16:39] 597*2^837873-1 is not prime. Res64: 03F6F80CE17E7407 Time : 27006.0 sec. user=vaughan [2010-06-30 08:16:42] 421*2^837877-1 is not prime. Res64: 959814CCD84C0B4D Time : 26531.0 sec. user=vaughan [2010-06-30 08:16:54] 477*2^837812-1 is not prime. Res64: 606A9F4A52D41A59 Time : 33069.0 sec. user=vaughan [2010-06-30 08:17:15] 479*2^837868-1 is not prime. Res64: 71AB1EF24D905F59 Time : 28215.0 sec. user=vaughan [2010-06-30 08:18:55] 465*2^837810-1 is not prime. Res64: 4994E94E36244293 Time : 33621.0 sec. user=vaughan [2010-06-30 08:20:36] 573*2^837903-1 is not prime. Res64: ADE860760951EAE7 Time : 17628.0 sec. user=vaughan [2010-06-30 08:21:03] 451*2^837835-1 is not prime. Res64: EBEB8BAAF799D57C Time : 32673.0 sec. user=vaughan [2010-06-30 08:21:47] 519*2^837884-1 is not prime. Res64: 03FABBCAB420BC72 Time : 25674.0 sec. user=vaughan [2010-06-30 08:22:09] 563*2^837860-1 is not prime. Res64: 71837461D981A7D3 Time : 29356.0 sec. user=vaughan [2010-06-30 08:23:37] 511*2^837887-1 is not prime. Res64: 49B20E7898558D49 Time : 24944.0 sec. user=vaughan [2010-06-30 08:23:52] 451*2^837811-1 is not prime. Res64: B01C328E8CCC23A0 Time : 33775.0 sec. user=vaughan [2010-06-30 08:33:04] 451*2^837837-1 is not prime. Res64: 528A909836DF728C Time : 32980.0 sec. user=vaughan [2010-06-30 08:33:40] 573*2^837974-1 is not prime. Res64: F2ACF7C51E6482C2 Time : 2976.0 sec. user=vaughan [2010-06-30 08:34:08] 465*2^837884-1 is not prime. Res64: 138C667668B2E5A1 Time : 26531.0 sec. user=vaughan [2010-06-30 08:34:09] 483*2^837882-1 is not prime. Res64: CBBBB3BD22261F99 Time : 27014.0 sec. user=vaughan [2010-06-30 08:35:37] 429*2^837835-1 is not prime. Res64: FF4A2ADC00BDA27E Time : 33578.0 sec. user=vaughan [2010-06-30 08:36:51] 451*2^837855-1 is not prime. Res64: EA7B856B3D066A49 Time : 31375.0 sec. user=vaughan [2010-06-30 08:36:55] 549*2^837873-1 is not prime. Res64: 2A4CC47396C168D5 Time : 28273.0 sec. user=vaughan [2010-06-30 08:37:13] 481*2^837809-1 is not prime. Res64: C5FCC631DA69F07C Time : 34919.0 sec. user=vaughan [2010-06-30 08:37:15] 419*2^837844-1 is not prime. Res64: 467743014129D307 Time : 32663.0 sec. user=vaughan [2010-06-30 08:37:54] 585*2^837903-1 is not prime. Res64: EC3E8FBED3E85198 Time : 18663.0 sec. user=Flatlander [2010-06-30 08:39:23] 479*2^837948-1 is not prime. Res64: 5A9254C4EC2C0BE2 Time : 9723.0 sec. user=Flatlander [2010-06-30 08:39:23] 515*2^837948-1 is not prime. Res64: 1D90BF68003FB5CB Time : 9721.0 sec. user=Flatlander [2010-06-30 08:39:24] 435*2^837949-1 is not prime. Res64: 686BFB97DE05898C Time : 9721.0 sec. user=Flatlander [2010-06-30 08:39:25] 477*2^837949-1 is not prime. Res64: 8B2029F45DA30223 Time : 9720.0 sec. user=Flatlander [2010-06-30 08:39:25] 481*2^837949-1 is not prime. Res64: 6C6AE10BE6AB7B86 Time : 9719.0 sec. user=vaughan [2010-06-30 08:40:08] 465*2^837905-1 is not prime. Res64: 32CB5FBDD3A31958 Time : 18796.0 sec. user=vaughan [2010-06-30 08:40:30] 531*2^837835-1 is not prime. Res64: C6B7E6F7F31D9B0B Time : 33727.0 sec. user=vaughan [2010-06-30 08:41:56] 525*2^838010-1 is not prime. Res64: 5944A8513392E7FB Time : 3146.0 sec. user=vaughan [2010-06-30 08:41:59] 579*2^837869-1 is not prime. Res64: D696268FCEB0FD14 Time : 29404.0 sec. user=vaughan [2010-06-30 08:49:09] 501*2^837849-1 is not prime. Res64: 7397547DD1A5CBAC Time : 32788.0 sec. user=vaughan [2010-06-30 08:50:57] 451*2^837975-1 is not prime. Res64: C0F56156B8F2FD42 Time : 4010.0 sec. user=vaughan [2010-06-30 08:51:36] 423*2^837895-1 is not prime. Res64: 55DE7744B0223B18 Time : 23636.0 sec. user=vaughan [2010-06-30 08:51:43] 505*2^837887-1 is not prime. Res64: 04DFF092D3E8455B Time : 26719.0 sec. user=vaughan [2010-06-30 08:52:10] 567*2^837844-1 is not prime. Res64: 8131D1B33D2EC859 Time : 33551.0 sec. user=vaughan [2010-06-30 08:53:16] 561*2^837853-1 is not prime. Res64: B889D3C70356A4CA Time : 32647.0 sec. user=vaughan [2010-06-30 08:55:13] 527*2^837904-1 is not prime. Res64: E09A53EBAEAEAE58 Time : 19701.0 sec. user=Flatlander [2010-06-30 08:56:07] 501*2^837962-1 is not prime. Res64: 92CF99A02D1BF20F Time : 6310.0 sec. user=Flatlander [2010-06-30 08:56:08] 561*2^837962-1 is not prime. Res64: 150A71040DAC8D6D Time : 6309.0 sec. user=Flatlander [2010-06-30 08:56:08] 415*2^837963-1 is not prime. Res64: 4FC4CDA53C95083A Time : 6307.0 sec. user=Flatlander [2010-06-30 08:56:08] 433*2^837963-1 is not prime. Res64: 90C6E2C5AF649865 Time : 6306.0 sec. user=Flatlander [2010-06-30 08:56:09] 441*2^837963-1 is not prime. Res64: 4DBCF8C7562917DE Time : 6305.0 sec. user=vaughan [2010-06-30 08:56:33] 513*2^837882-1 is not prime. Res64: 67A08FD7B5FF0F40 Time : 28337.0 sec. user=vaughan [2010-06-30 08:57:04] 511*2^837845-1 is not prime. Res64: 56D64FD4D72C18DB Time : 33708.0 sec. user=vaughan [2010-06-30 08:57:22] 423*2^837862-1 is not prime. Res64: C70E8C4F363D8D3C Time : 31343.0 sec. user=vaughan [2010-06-30 08:58:24] 485*2^837906-1 is not prime. Res64: DAB4BF28CCB08A4E Time : 19891.0 sec. user=vaughan [2010-06-30 09:00:13] 561*2^838010-1 is not prime. Res64: 05A2B93D93C26FE5 Time : 4243.0 sec. user=vaughan [2010-06-30 09:01:33] 475*2^837835-1 is not prime. Res64: A72089FC8182349F Time : 35092.0 sec. user=vaughan [2010-06-30 09:01:55] 531*2^837874-1 is not prime. Res64: 5D598EA14DCD75F5 Time : 29453.0 sec. user=vaughan [2010-06-30 09:05:23] 511*2^837855-1 is not prime. Res64: A2CD173251C4D2BA Time : 32764.0 sec. user=vaughan [2010-06-30 09:08:14] 481*2^837975-1 is not prime. Res64: 89D35A33355E962E Time : 5045.0 sec. user=vaughan [2010-06-30 09:08:45] 597*2^837853-1 is not prime. Res64: C4C0C777C2FC86D3 Time : 33525.0 sec. user=vaughan [2010-06-30 09:09:05] 441*2^837895-1 is not prime. Res64: 83B3DF99C8A6CACA Time : 24684.0 sec. user=vaughan [2010-06-30 09:09:19] 585*2^837857-1 is not prime. Res64: 113B0F3E1371D72E Time : 32630.0 sec. user=vaughan [2010-06-30 09:09:41] 573*2^837895-1 is not prime. Res64: 6899CD6BAFDA9B33 Time : 24694.0 sec. user=vaughan [2010-06-30 09:12:30] 567*2^837904-1 is not prime. Res64: B1A67C663F526C23 Time : 20738.0 sec. user=vaughan [2010-06-30 09:13:38] 495*2^837854-1 is not prime. Res64: 031CABA2D776553C Time : 33678.0 sec. user=Flatlander [2010-06-30 09:14:56] 549*2^837952-1 is not prime. Res64: 9FE92B170C1164F4 Time : 10863.0 sec. user=Flatlander [2010-06-30 09:14:56] 421*2^837953-1 is not prime. Res64: 485BDF8B43EE33FF Time : 10861.0 sec. user=Flatlander [2010-06-30 09:14:57] 495*2^837953-1 is not prime. Res64: 40575C9131AECB18 Time : 10860.0 sec. user=Flatlander [2010-06-30 09:14:57] 507*2^837953-1 is not prime. Res64: DD6E6BFEABDB43EA Time : 10859.0 sec. user=Flatlander [2010-06-30 09:14:58] 529*2^837953-1 is not prime. Res64: C48279AE734E6AD1 Time : 10858.0 sec. user=vaughan [2010-06-30 09:16:09] 507*2^837886-1 is not prime. Res64: 820AC0CC84D41760 Time : 28395.0 sec. user=vaughan [2010-06-30 09:16:43] 563*2^837906-1 is not prime. Res64: 6044F21895EBB812 Time : 20989.0 sec. user=vaughan [2010-06-30 09:17:51] 557*2^837870-1 is not prime. Res64: 27976D50FEC2F00D Time : 31315.0 sec. user=vaughan [2010-06-30 09:18:32] 585*2^838010-1 is not prime. Res64: B8D2A254CB72A0B9 Time : 5341.0 sec. user=vaughan [2010-06-30 09:21:26] 467*2^837862-1 is not prime. Res64: 16FD467B89449494 Time : 32660.0 sec. user=vaughan [2010-06-30 09:21:46] 429*2^837883-1 is not prime. Res64: 30BC80BB61AB461F Time : 29495.0 sec. user=vaughan [2010-06-30 09:25:13] 441*2^837859-1 is not prime. Res64: FC4AE477BA38FF86 Time : 33501.0 sec. user=vaughan [2010-06-30 09:25:18] 521*2^837866-1 is not prime. Res64: 08C3E087BA005679 Time : 32611.0 sec. user=vaughan [2010-06-30 09:25:31] 513*2^837975-1 is not prime. Res64: 35D7DFC8415433AC Time : 6079.0 sec. user=vaughan [2010-06-30 09:25:57] 559*2^837849-1 is not prime. Res64: C1B4181963C5C1A1 Time : 34993.0 sec. user=vaughan [2010-06-30 09:26:33] 493*2^837895-1 is not prime. Res64: E5DF506282C503D6 Time : 25732.0 sec. user=vaughan [2010-06-30 09:27:12] 579*2^837895-1 is not prime. Res64: 5717BA8B8E144258 Time : 25745.0 sec. user=vaughan [2010-06-30 09:29:47] 475*2^837905-1 is not prime. Res64: B61EBF191122F0E5 Time : 21774.0 sec. user=vaughan [2010-06-30 09:30:08] 595*2^837859-1 is not prime. Res64: 72C9C7BC8852B30B Time : 33656.0 sec. user=vaughan [2010-06-30 09:35:04] 593*2^837906-1 is not prime. Res64: 132EF59293F330BE Time : 22088.0 sec. user=vaughan [2010-06-30 09:35:47] 495*2^837894-1 is not prime. Res64: 1006AB11B22CE0B4 Time : 26318.0 sec. user=vaughan [2010-06-30 09:36:51] 405*2^838011-1 is not prime. Res64: 9B1453CC33453248 Time : 6439.0 sec. user=vaughan [2010-06-30 09:37:31] 465*2^837870-1 is not prime. Res64: E09B5EE74307888B Time : 32556.0 sec. user=vaughan [2010-06-30 09:38:23] 543*2^837879-1 is not prime. Res64: 0780B892D0F07C77 Time : 31291.0 sec. user=vaughan [2010-06-30 09:41:19] 531*2^837871-1 is not prime. Res64: 07D2C4A80A0F2D74 Time : 32558.0 sec. user=vaughan [2010-06-30 09:41:39] 459*2^837888-1 is not prime. Res64: 89308793D29ACC3C Time : 29547.0 sec. user=vaughan [2010-06-30 09:41:42] 475*2^837867-1 is not prime. Res64: DDC3948F256E9B4D Time : 33474.0 sec. user=vaughan [2010-06-30 09:42:51] 573*2^837975-1 is not prime. Res64: 4FA45887DED5C8F5 Time : 7113.0 sec. user=vaughan [2010-06-30 09:44:02] 429*2^837967-1 is not prime. Res64: 244D14C6B13F7BE9 Time : 7216.0 sec. user=vaughan [2010-06-30 09:44:44] 497*2^837892-1 is not prime. Res64: 53A84B1FCB1A4AA0 Time : 22829.0 sec. user=vaughan [2010-06-30 09:46:38] 437*2^837868-1 is not prime. Res64: FBF1E62EC742CDB1 Time : 33630.0 sec. user=vaughan [2010-06-30 09:46:55] 501*2^837906-1 is not prime. Res64: 0267921CD3888181 Time : 22802.0 sec. user=vaughan [2010-06-30 09:50:09] 435*2^837856-1 is not prime. Res64: 43BB05329DFA1069 Time : 35423.0 sec. user=vaughan [2010-06-30 09:53:06] 421*2^837907-1 is not prime. Res64: BF0DD13734FF0EE1 Time : 23170.0 sec. user=vaughan [2010-06-30 09:53:33] 533*2^837874-1 is not prime. Res64: 29CFC5746D70C5A7 Time : 32540.0 sec. user=vaughan [2010-06-30 09:54:49] 489*2^838011-1 is not prime. Res64: 9640263D13C8CF26 Time : 7517.0 sec. user=vaughan [2010-06-30 09:55:25] 563*2^837894-1 is not prime. Res64: 27ABEA0553CE6946 Time : 27495.0 sec. user=vaughan [2010-06-30 09:57:19] 507*2^837878-1 is not prime. Res64: 5705142ABE0369EC Time : 32453.0 sec. user=vaughan [2010-06-30 09:58:11] 557*2^837872-1 is not prime. Res64: 2F4D55E3B5899967 Time : 33444.0 sec. user=vaughan [2010-06-30 09:58:56] 531*2^837885-1 is not prime. Res64: 8E53B2E66BBC4BAB Time : 31269.0 sec. user=vaughan [2010-06-30 09:59:54] 445*2^837995-1 is not prime. Res64: A7868D95D3DE9386 Time : 8025.0 sec. user=vaughan [2010-06-30 10:01:31] 501*2^837990-1 is not prime. Res64: 4050A31EA2285B76 Time : 8129.0 sec. user=vaughan [2010-06-30 10:03:07] 499*2^837873-1 is not prime. Res64: 894C67959F591AC2 Time : 33601.0 sec. user=vaughan [2010-06-30 10:04:11] 567*2^837906-1 is not prime. Res64: 5EA663B4654E951E Time : 23831.0 sec. user=vaughan [2010-06-30 10:09:38] 401*2^836898-1 is not prime. Res64: BB498C0711E636AE Time : 32519.0 sec. user=vaughan [2010-06-30 10:11:21] 549*2^837907-1 is not prime. Res64: F6422FF24618870B Time : 24261.0 sec. user=vaughan [2010-06-30 10:13:06] 513*2^838011-1 is not prime. Res64: AEFC9399511D16D7 Time : 8613.0 sec. user=vaughan [2010-06-30 10:13:18] 587*2^837884-1 is not prime. Res64: F88457BF69834714 Time : 32306.0 sec. user=vaughan [2010-06-30 10:14:26] 525*2^837865-1 is not prime. Res64: 918E4F852343A8FD Time : 35590.0 sec. user=vaughan [2010-06-30 10:14:39] 437*2^837880-1 is not prime. Res64: BCB0283EA8B29B07 Time : 33428.0 sec. user=vaughan [2010-06-30 10:15:04] 519*2^837980-1 is not prime. Res64: 4A5F9B1B6C61F589 Time : 8983.0 sec. user=vaughan [2010-06-30 10:17:12] 519*2^837997-1 is not prime. Res64: 76E7B922009DC285 Time : 9060.0 sec. user=vaughan [2010-06-30 10:19:25] 525*2^837989-1 is not prime. Res64: B70147DDAA23BCF3 Time : 9205.0 sec. user=vaughan [2010-06-30 10:19:36] 431*2^837882-1 is not prime. Res64: 8F25EDAAB2063DFE Time : 33579.0 sec. user=Flatlander [2010-06-30 10:19:58] 483*2^838026-1 is not prime. Res64: EB97B6BF855229E9 Time : 6032.0 sec. user=Flatlander [2010-06-30 10:19:58] 501*2^838026-1 is not prime. Res64: CBD342A5AAD2CD50 Time : 6031.0 sec. user=Flatlander [2010-06-30 10:19:58] 527*2^838026-1 is not prime. Res64: 11B14B88CA167158 Time : 6029.0 sec. user=Flatlander [2010-06-30 10:19:59] 573*2^838026-1 is not prime. Res64: 5E5708F7EE1246C5 Time : 6029.0 sec. user=Flatlander [2010-06-30 10:19:59] 493*2^838027-1 is not prime. Res64: C18F457D73258079 Time : 6028.0 sec. user=vaughan [2010-06-30 10:21:24] 521*2^837990-1 is not prime. Res64: 22130542AE1C926D Time : 9321.0 sec. user=vaughan [2010-06-30 10:21:27] 583*2^837907-1 is not prime. Res64: 7C239123B1A76EF5 Time : 24863.0 sec. user=vaughan [2010-06-30 10:25:41] 493*2^837887-1 is not prime. Res64: 5334AB71C9E3B6F7 Time : 32487.0 sec. user=vaughan [2010-06-30 10:29:18] 559*2^837889-1 is not prime. Res64: 863CC40838BCC9FF Time : 31930.0 sec. user=vaughan [2010-06-30 10:29:34] 437*2^837908-1 is not prime. Res64: 8A2D475FCB10A532 Time : 25353.0 sec. user=vaughan [2010-06-30 10:31:06] 545*2^837884-1 is not prime. Res64: 7B7372AC2C78DEC9 Time : 33393.0 sec. user=vaughan [2010-06-30 10:31:23] 529*2^838011-1 is not prime. Res64: 60F8ABAC74BA9076 Time : 9709.0 sec. user=vaughan [2010-06-30 10:34:29] 543*2^837999-1 is not prime. Res64: 0351DB37BE3F3D20 Time : 9941.0 sec. user=vaughan [2010-06-30 10:34:40] 557*2^837980-1 is not prime. Res64: EBAB854757C78BE4 Time : 10158.0 sec. user=vaughan [2010-06-30 10:36:05] 507*2^837885-1 is not prime. Res64: B4AA7008433CEF01 Time : 33547.0 sec. user=vaughan [2010-06-30 10:38:37] 515*2^837966-1 is not prime. Res64: 2437527B9BF084B6 Time : 10818.0 sec. user=vaughan [2010-06-30 10:38:50] 471*2^837873-1 is not prime. Res64: 9B2A28B8B33B3E63 Time : 35763.0 sec. user=vaughan [2010-06-30 10:39:59] 537*2^837989-1 is not prime. Res64: AC2692911E78E74A Time : 10439.0 sec. user=vaughan [2010-06-30 10:41:13] 453*2^837991-1 is not prime. Res64: 1759A71F5BBE7930 Time : 10510.0 sec. user=Flatlander [2010-06-30 10:41:26] 481*2^838033-1 is not prime. Res64: CA79B645A18B2E9B Time : 6316.0 sec. user=Flatlander [2010-06-30 10:41:26] 511*2^838033-1 is not prime. Res64: 2C213722768CEDD5 Time : 6315.0 sec. user=Flatlander [2010-06-30 10:41:26] 537*2^838033-1 is not prime. Res64: D40E3A696AD56714 Time : 6314.0 sec. user=Flatlander [2010-06-30 10:41:27] 549*2^838033-1 is not prime. Res64: 50A354907E0A6FE8 Time : 6314.0 sec. user=Flatlander [2010-06-30 10:41:27] 407*2^838034-1 is not prime. Res64: 148637D1BC3F3903 Time : 6313.0 sec. user=vaughan [2010-06-30 10:41:45] 489*2^837891-1 is not prime. Res64: 5D33FD7C0AD1172E Time : 32453.0 sec. user=vaughan [2010-06-30 10:45:21] 495*2^837891-1 is not prime. Res64: F77D30123E352D75 Time : 32226.0 sec. user=vaughan [2010-06-30 10:47:34] 429*2^837891-1 is not prime. Res64: 972AE7FDD226B7CE Time : 33000.0 sec. user=vaughan [2010-06-30 10:47:50] 581*2^837966-1 is not prime. Res64: 1FC6473B05DBC107 Time : 11353.0 sec. user=vaughan [2010-06-30 10:49:37] 535*2^838011-1 is not prime. Res64: 0BE07490DF15A2CC Time : 10803.0 sec. user=vaughan [2010-06-30 10:51:44] 437*2^838000-1 is not prime. Res64: 2A53F0E54E801366 Time : 10976.0 sec. user=vaughan [2010-06-30 10:52:34] 411*2^837890-1 is not prime. Res64: E78561DC1511A6A5 Time : 33314.0 sec. user=vaughan [2010-06-30 10:54:20] 563*2^837980-1 is not prime. Res64: 0031355F8AAB9BF7 Time : 11337.0 sec. user=vaughan [2010-06-30 10:55:54] 563*2^837966-1 is not prime. Res64: 1AD54D8849E8FFC1 Time : 11852.0 sec. user=vaughan [2010-06-30 10:57:49] 545*2^837892-1 is not prime. Res64: 3C258FCC1C3EFBF2 Time : 31809.0 sec. user=vaughan [2010-06-30 10:59:12] 489*2^837967-1 is not prime. Res64: 96E0833F13E9CE91 Time : 11726.0 sec. user=vaughan [2010-06-30 10:59:21] 587*2^837900-1 is not prime. Res64: 39DEB4BC28CC6FA8 Time : 27305.0 sec. user=vaughan [2010-06-30 11:00:32] 405*2^837990-1 is not prime. Res64: EBAD1817512CC661 Time : 11671.0 sec. user=vaughan [2010-06-30 11:01:12] 455*2^837992-1 is not prime. Res64: E10DB82FDC6A4473 Time : 11708.0 sec. user=vaughan [2010-06-30 11:01:21] 563*2^837892-1 is not prime. Res64: 42FF286612D9CB4D Time : 31887.0 sec. user=vaughan [2010-06-30 11:03:06] 501*2^837882-1 is not prime. Res64: 8749B7C9B7093BC6 Time : 35932.0 sec. user=vaughan [2010-06-30 11:04:02] 411*2^837894-1 is not prime. Res64: 6E78A6CDCBDFF919 Time : 31615.0 sec. user=vaughan [2010-06-30 11:06:12] 595*2^837999-1 is not prime. Res64: 05F9918E0D111642 Time : 11844.0 sec. user=vaughan [2010-06-30 11:07:53] 549*2^838011-1 is not prime. Res64: 64FA68B9D76C87EE Time : 11898.0 sec. user=vaughan [2010-06-30 11:09:03] 479*2^838000-1 is not prime. Res64: 3F0C2CDEA96E1213 Time : 12014.0 sec. user=vaughan [2010-06-30 11:09:04] 423*2^837892-1 is not prime. Res64: A88ABEAB69E67F72 Time : 33369.0 sec. user=vaughan [2010-06-30 11:13:11] 591*2^837966-1 is not prime. Res64: BF091D6D4076A955 Time : 12882.0 sec. user=vaughan [2010-06-30 11:13:54] 465*2^837898-1 is not prime. Res64: 6F391ACCE46F5EFA Time : 31621.0 sec. user=vaughan [2010-06-30 11:14:03] 471*2^837981-1 is not prime. Res64: 4FC21215B482E9C5 Time : 12520.0 sec. user=vaughan [2010-06-30 11:16:27] 473*2^837968-1 is not prime. Res64: 5C188C2BDC9C82FE Time : 12760.0 sec. user=vaughan [2010-06-30 11:16:49] 525*2^837901-1 is not prime. Res64: D8563B28D8C2AFF5 Time : 28353.0 sec. user=vaughan [2010-06-30 11:17:19] 513*2^837898-1 is not prime. Res64: AD3208D959C06DF2 Time : 31765.0 sec. user=vaughan [2010-06-30 11:20:31] 431*2^837894-1 is not prime. Res64: 26546FA04683CE52 Time : 32603.0 sec. user=vaughan [2010-06-30 11:20:58] 409*2^837993-1 is not prime. Res64: F5BCED9BC6E05991 Time : 12893.0 sec. user=vaughan [2010-06-30 11:21:04] 473*2^837990-1 is not prime. Res64: AD4E93B20140BFA7 Time : 12903.0 sec. user=vaughan [2010-06-30 11:24:18] 465*2^838001-1 is not prime. Res64: 65903497EAD64C24 Time : 12929.0 sec. user=vaughan [2010-06-30 11:25:35] 569*2^837892-1 is not prime. Res64: ADAB7032E52EFDDA Time : 33334.0 sec. user=vaughan [2010-06-30 11:26:03] 591*2^838011-1 is not prime. Res64: 064A6FAEA184372C Time : 12988.0 sec. user=vaughan [2010-06-30 11:26:10] 475*2^838001-1 is not prime. Res64: 7BC4E385EB078403 Time : 13040.0 sec. user=vaughan [2010-06-30 11:27:29] 501*2^837887-1 is not prime. Res64: DE405EA9B025AB05 Time : 36110.0 sec. user=vaughan [2010-06-30 11:29:58] 429*2^837900-1 is not prime. Res64: AC323E6365AA6369 Time : 32341.0 sec. user=vaughan [2010-06-30 11:30:20] 571*2^838001-1 is not prime. Res64: B025F394C4ED47D4 Time : 13290.0 sec. user=vaughan [2010-06-30 11:33:20] 597*2^837901-1 is not prime. Res64: 48FE6B34427828F1 Time : 29179.0 sec. user=vaughan [2010-06-30 11:33:46] 537*2^837981-1 is not prime. Res64: 9E2839D96CBFD847 Time : 13702.0 sec. user=vaughan [2010-06-30 11:33:50] 519*2^837968-1 is not prime. Res64: D6043E706511D9A2 Time : 13802.0 sec. user=vaughan [2010-06-30 11:34:23] 547*2^837901-1 is not prime. Res64: 1ADF55F701AD2AAF Time : 29406.0 sec. user=vaughan [2010-06-30 11:36:58] 507*2^837898-1 is not prime. Res64: A6D43DF2CD9444F7 Time : 32947.0 sec. user=vaughan [2010-06-30 11:41:02] 555*2^837993-1 is not prime. Res64: 63DA0CCC35266A30 Time : 14097.0 sec. user=vaughan [2010-06-30 11:41:46] 503*2^837990-1 is not prime. Res64: 0BAFB3E3E8A5CE2A Time : 14144.0 sec. user=Flatlander [2010-06-30 11:42:03] 575*2^838018-1 is not prime. Res64: BCF4DA2411F3A642 Time : 12659.0 sec. user=Flatlander [2010-06-30 11:42:03] 581*2^838018-1 is not prime. Res64: AC195DBBBC1230E3 Time : 12658.0 sec. user=Flatlander [2010-06-30 11:42:04] 403*2^838019-1 is not prime. Res64: 4E849D60F8EEC7F2 Time : 12657.0 sec. user=Flatlander [2010-06-30 11:42:04] 435*2^838019-1 is not prime. Res64: 2DA6A27093528F45 Time : 12656.0 sec. user=Flatlander [2010-06-30 11:42:05] 439*2^838019-1 is not prime. Res64: 768391F42158FDC1 Time : 12655.0 sec. user=vaughan [2010-06-30 11:42:18] 571*2^837899-1 is not prime. Res64: 9F35B72583DBD2D1 Time : 33261.0 sec. user=vaughan [2010-06-30 11:42:47] 547*2^838001-1 is not prime. Res64: 172D442B4DD668B7 Time : 14037.0 sec. user=vaughan [2010-06-30 11:43:37] 423*2^838002-1 is not prime. Res64: 95F4012B1A82E538 Time : 14087.0 sec. user=vaughan [2010-06-30 11:44:30] 423*2^838012-1 is not prime. Res64: 32FF45AAD1379A3A Time : 14094.0 sec. user=vaughan [2010-06-30 11:46:10] 483*2^837902-1 is not prime. Res64: E6649EBDBD010543 Time : 29974.0 sec. user=Flatlander [2010-06-30 11:47:07] 441*2^838053-1 is not prime. Res64: DC1A3E1E65A83DFA Time : 5227.0 sec. user=Flatlander [2010-06-30 11:47:07] 481*2^838053-1 is not prime. Res64: 8755BB34E19D2D15 Time : 5227.0 sec. user=Flatlander [2010-06-30 11:47:08] 517*2^838053-1 is not prime. Res64: 08B742B3C5408845 Time : 5227.0 sec. user=Flatlander [2010-06-30 11:47:09] 559*2^838053-1 is not prime. Res64: ED5E5663BF8C52F6 Time : 5227.0 sec. user=Flatlander [2010-06-30 11:47:09] 595*2^838053-1 is not prime. Res64: F646C22C277BC934 Time : 5227.0 sec. user=vaughan [2010-06-30 11:47:46] 495*2^838002-1 is not prime. Res64: 46C0E41007BDC62E Time : 14335.0 sec. user=vaughan [2010-06-30 11:49:27] 507*2^837908-1 is not prime. Res64: 25C5368407AD9AB0 Time : 30145.0 sec. user=vaughan [2010-06-30 11:51:53] 407*2^837986-1 is not prime. Res64: C92944A4159F9650 Time : 14780.0 sec. user=vaughan [2010-06-30 11:53:25] 565*2^837981-1 is not prime. Res64: B4BA811B47367008 Time : 14880.0 sec. user=vaughan [2010-06-30 11:53:34] 567*2^837976-1 is not prime. Res64: 61C5FF124BBB068A Time : 14942.0 sec. user=vaughan [2010-06-30 11:53:38] 525*2^837902-1 is not prime. Res64: B71A45808B3E9A98 Time : 30420.0 sec. user=vaughan [2010-06-30 11:54:42] 585*2^837968-1 is not prime. Res64: B1026DCCB914585B Time : 15054.0 sec. user=vaughan [2010-06-30 11:58:49] 533*2^837904-1 is not prime. Res64: D91DA88A0E2BBC8F Time : 30717.0 sec. user=vaughan [2010-06-30 12:00:53] 425*2^837994-1 is not prime. Res64: 4B8EF93C7E23EA63 Time : 15287.0 sec. user=vaughan [2010-06-30 12:00:54] 527*2^838002-1 is not prime. Res64: 507BD5AF618B7574 Time : 15123.0 sec. user=vaughan [2010-06-30 12:01:02] 453*2^838002-1 is not prime. Res64: 90F7778F6C4F9F74 Time : 15132.0 sec. user=vaughan [2010-06-30 12:02:15] 495*2^837902-1 is not prime. Res64: 8D6BB31BB92BC896 Time : 30937.0 sec. user=vaughan [2010-06-30 12:02:18] 439*2^837991-1 is not prime. Res64: 51C91D311B575856 Time : 15375.0 sec. user=vaughan [2010-06-30 12:02:51] 429*2^838012-1 is not prime. Res64: FFA7FCB996B48C3F Time : 15194.0 sec. user=vaughan [2010-06-30 12:05:05] 429*2^838003-1 is not prime. Res64: 67A21D86829522A0 Time : 15374.0 sec. user=vaughan [2010-06-30 12:05:27] 495*2^837909-1 is not prime. Res64: 4BB84D5369C14C05 Time : 31001.0 sec. user=vaughan [2010-06-30 12:10:06] 441*2^837903-1 is not prime. Res64: 198154FE2B815440 Time : 31407.0 sec. user=vaughan [2010-06-30 12:11:09] 587*2^837976-1 is not prime. Res64: 36029094CFC3DBC7 Time : 15996.0 sec. user=vaughan [2010-06-30 12:12:04] 469*2^837969-1 is not prime. Res64: B20435C1A5E09642 Time : 16095.0 sec. user=vaughan [2010-06-30 12:13:04] 571*2^837981-1 is not prime. Res64: 7252375237199018 Time : 16059.0 sec. user=vaughan [2010-06-30 12:15:18] 447*2^837905-1 is not prime. Res64: 128E2812FA8D8577 Time : 31706.0 sec. user=vaughan [2010-06-30 12:16:14] 431*2^837986-1 is not prime. Res64: 4FE4922C5B0211C9 Time : 16240.0 sec. user=vaughan [2010-06-30 12:18:11] 519*2^838003-1 is not prime. Res64: CECDB5758ED768E0 Time : 16159.0 sec. user=vaughan [2010-06-30 12:18:18] 439*2^837903-1 is not prime. Res64: 8957DD6E1D3FC9A5 Time : 31900.0 sec. user=vaughan [2010-06-30 12:19:14] 593*2^838002-1 is not prime. Res64: D4757459CFB609F6 Time : 16223.0 sec. user=vaughan [2010-06-30 12:21:06] 497*2^838012-1 is not prime. Res64: FA2F14356E1F6EE2 Time : 16289.0 sec. user=vaughan [2010-06-30 12:21:09] 491*2^837994-1 is not prime. Res64: F54747970039A4BF Time : 16502.0 sec. user=vaughan [2010-06-30 12:21:27] 525*2^837909-1 is not prime. Res64: 4F6F1777F5B2FFDB Time : 31960.0 sec. user=vaughan [2010-06-30 12:22:23] 503*2^838004-1 is not prime. Res64: 804995017575253F Time : 16411.0 sec. user=vaughan [2010-06-30 12:22:57] 435*2^837992-1 is not prime. Res64: 13A3DDF43B75DFFF Time : 16614.0 sec. user=vaughan [2010-06-30 12:26:33] 493*2^837903-1 is not prime. Res64: 257B74962EA9E393 Time : 32393.0 sec. user=Flatlander [2010-06-30 12:26:34] 415*2^838059-1 is not prime. Res64: 60B6606B42B97E6C Time : 6306.0 sec. user=Flatlander [2010-06-30 12:26:35] 451*2^838059-1 is not prime. Res64: 0AF667302C15FFC0 Time : 6306.0 sec. user=Flatlander [2010-06-30 12:26:36] 465*2^838059-1 is not prime. Res64: AD007DF2735D03C0 Time : 6306.0 sec. user=Flatlander [2010-06-30 12:26:37] 595*2^838059-1 is not prime. Res64: 2896BABD98BEC43F Time : 6307.0 sec. user=Flatlander [2010-06-30 12:26:37] 455*2^838060-1 is not prime. Res64: 223084FD423F0A5B Time : 6306.0 sec. user=vaughan [2010-06-30 12:28:37] 487*2^837977-1 is not prime. Res64: 4B0FA649B2F9C72D Time : 17043.0 sec. user=vaughan [2010-06-30 12:29:26] 461*2^837970-1 is not prime. Res64: D53623121A2902FC Time : 17136.0 sec. user=vaughan [2010-06-30 12:31:47] 443*2^837906-1 is not prime. Res64: 26C620051B54982B Time : 32694.0 sec. user=Flatlander [2010-06-30 12:32:10] 415*2^838039-1 is not prime. Res64: 14A1EF308B8A1B57 Time : 11831.0 sec. user=Flatlander [2010-06-30 12:32:11] 451*2^838039-1 is not prime. Res64: C06F69DF61339137 Time : 11831.0 sec. user=Flatlander [2010-06-30 12:32:12] 523*2^838039-1 is not prime. Res64: 5BC7E0DF688A037A Time : 11832.0 sec. user=Flatlander [2010-06-30 12:32:13] 525*2^838039-1 is not prime. Res64: EE154B6C14A43A45 Time : 11832.0 sec. user=Flatlander [2010-06-30 12:32:13] 579*2^838039-1 is not prime. Res64: D1522A8E98157DDC Time : 11830.0 sec. user=vaughan [2010-06-30 12:32:52] 437*2^837982-1 is not prime. Res64: EDB123F8AFD74968 Time : 17246.0 sec. user=vaughan [2010-06-30 12:34:25] 561*2^837910-1 is not prime. Res64: 9A3439B48796947B Time : 32226.0 sec. user=vaughan [2010-06-30 12:35:31] 507*2^838004-1 is not prime. Res64: DF4C320D4E0D3FB6 Time : 17199.0 sec. user=vaughan [2010-06-30 12:37:27] 573*2^837911-1 is not prime. Res64: ACA97B3A0EC94A55 Time : 32101.0 sec. user=vaughan [2010-06-30 12:37:31] 437*2^838004-1 is not prime. Res64: E21D51CEB3B24D5A Time : 17319.0 sec. user=vaughan [2010-06-30 12:39:23] 507*2^838012-1 is not prime. Res64: D18990A915351902 Time : 17385.0 sec. user=vaughan [2010-06-30 12:39:44] 451*2^838005-1 is not prime. Res64: D6F6927F22A9DC6C Time : 17451.0 sec. user=vaughan [2010-06-30 12:40:41] 551*2^837986-1 is not prime. Res64: 5E9A32A70FF62A26 Time : 17707.0 sec. user=vaughan [2010-06-30 12:41:08] 533*2^837994-1 is not prime. Res64: CED8268E37AA7B6D Time : 17701.0 sec. user=vaughan [2010-06-30 12:43:02] 423*2^837910-1 is not prime. Res64: 6D05D673A3E2B8FA Time : 32931.0 sec. user=vaughan [2010-06-30 12:43:31] 489*2^837992-1 is not prime. Res64: A648598D53AE0369 Time : 17847.0 sec. user=vaughan [2010-06-30 12:46:05] 585*2^837977-1 is not prime. Res64: 6222F5ECF37353AF Time : 18090.0 sec. user=vaughan [2010-06-30 12:46:52] 525*2^837970-1 is not prime. Res64: B92ADF24502B64B0 Time : 18182.0 sec. user=vaughan [2010-06-30 12:48:16] 423*2^837911-1 is not prime. Res64: A5D43881B59A6FFC Time : 32972.0 sec. user=vaughan [2010-06-30 12:50:28] 433*2^837915-1 is not prime. Res64: 1886EC63024F0EE6 Time : 32176.0 sec. user=vaughan [2010-06-30 12:52:30] 527*2^837982-1 is not prime. Res64: C24DC4AA9805EA1C Time : 18423.0 sec. user=vaughan [2010-06-30 12:52:48] 465*2^838005-1 is not prime. Res64: B7EC0788F8DD606D Time : 18235.0 sec. user=vaughan [2010-06-30 12:53:26] 447*2^837916-1 is not prime. Res64: ED715911C39E2528 Time : 32073.0 sec. user=vaughan [2010-06-30 12:55:53] 409*2^838005-1 is not prime. Res64: 87AF39F7851A9D28 Time : 18421.0 sec. user=vaughan [2010-06-30 12:57:06] 577*2^838005-1 is not prime. Res64: D355BE83645F2832 Time : 18493.0 sec. user=vaughan [2010-06-30 12:57:41] 539*2^838012-1 is not prime. Res64: 98383917969E5BE1 Time : 18482.0 sec. user=vaughan [2010-06-30 12:59:30] 405*2^837915-1 is not prime. Res64: 2DBDE24B1CF3B821 Time : 32854.0 sec. user=vaughan [2010-06-30 13:01:02] 529*2^837995-1 is not prime. Res64: 92CB38C6C4CA3594 Time : 18894.0 sec. user=vaughan [2010-06-30 13:03:33] 589*2^837977-1 is not prime. Res64: 20241BF3CE7EFB7F Time : 19138.0 sec. user=vaughan [2010-06-30 13:04:03] 459*2^837993-1 is not prime. Res64: F6146373EDE63B2E Time : 19078.0 sec. user=vaughan [2010-06-30 13:04:15] 527*2^837970-1 is not prime. Res64: 02159B3DE8496313 Time : 19224.0 sec. user=vaughan [2010-06-30 13:04:45] 459*2^837915-1 is not prime. Res64: 26047C2D453828ED Time : 32889.0 sec. user=vaughan [2010-06-30 13:04:59] 563*2^837986-1 is not prime. Res64: 187355D2D431F7C9 Time : 19164.0 sec. user=vaughan [2010-06-30 13:06:32] 411*2^837923-1 is not prime. Res64: 77F9AC1F0BD75138 Time : 32075.0 sec. user=vaughan [2010-06-30 13:09:26] 419*2^837924-1 is not prime. Res64: 57C38A01B585506B Time : 32058.0 sec. user=vaughan [2010-06-30 13:10:05] 579*2^838005-1 is not prime. Res64: D12FA7A2C6C8FE7B Time : 19271.0 sec. user=vaughan [2010-06-30 13:12:08] 545*2^837982-1 is not prime. Res64: 8E44CA8DB18BBB67 Time : 19601.0 sec. user=vaughan [2010-06-30 13:14:14] 481*2^838005-1 is not prime. Res64: C97A3F94123473A4 Time : 19521.0 sec. user=vaughan [2010-06-30 13:14:25] 405*2^838006-1 is not prime. Res64: C7479DAB14EDDAE3 Time : 19531.0 sec. user=vaughan [2010-06-30 13:15:57] 465*2^837921-1 is not prime. Res64: FEA2B6B4AE0E7EFB Time : 32823.0 sec. user=vaughan [2010-06-30 13:16:00] 435*2^838013-1 is not prime. Res64: A7AADFD186A840FC Time : 19581.0 sec. user=vaughan [2010-06-30 13:21:00] 437*2^837978-1 is not prime. Res64: 6E0B8FBCC9E05531 Time : 20184.0 sec. user=vaughan [2010-06-30 13:21:04] 585*2^837995-1 is not prime. Res64: 98476C623BA8FA93 Time : 20095.0 sec. user=vaughan [2010-06-30 13:21:14] 523*2^837923-1 is not prime. Res64: 06C5580F04E052D8 Time : 32860.0 sec. user=vaughan [2010-06-30 13:21:38] 573*2^837971-1 is not prime. Res64: B6CE7BBDA928829B Time : 20267.0 sec. user=vaughan [2010-06-30 13:22:36] 477*2^837925-1 is not prime. Res64: 269E6A29FA1355FC Time : 31953.0 sec. user=vaughan [2010-06-30 13:24:32] 565*2^837993-1 is not prime. Res64: 35B185BF8810E616 Time : 20307.0 sec. user=vaughan [2010-06-30 13:25:25] 407*2^837926-1 is not prime. Res64: D8228460D87DA5BD Time : 32028.0 sec. user=vaughan [2010-06-30 13:27:21] 413*2^838006-1 is not prime. Res64: F8E982AD7B52D86B Time : 20307.0 sec. user=vaughan [2010-06-30 13:29:13] 409*2^837987-1 is not prime. Res64: DC082EE4DAF45820 Time : 20617.0 sec. user=vaughan [2010-06-30 13:31:42] 481*2^837983-1 is not prime. Res64: 9891CC11124A2BA3 Time : 20774.0 sec. user=vaughan [2010-06-30 13:31:44] 525*2^838006-1 is not prime. Res64: 39197FCF8D2A047E Time : 20569.0 sec. user=vaughan [2010-06-30 13:32:24] 587*2^837924-1 is not prime. Res64: E0D1DFB4AF6A6F21 Time : 32790.0 sec. user=vaughan [2010-06-30 13:32:35] 585*2^838005-1 is not prime. Res64: 203047C1EC50262C Time : 20621.0 sec. user=vaughan [2010-06-30 13:34:21] 525*2^838013-1 is not prime. Res64: F5C32781817BAE37 Time : 20681.0 sec. user=vaughan [2010-06-30 13:37:44] 577*2^837925-1 is not prime. Res64: ED93F5D2E99F4F5E Time : 32811.0 sec. user=vaughan [2010-06-30 13:38:28] 443*2^837978-1 is not prime. Res64: EEF749ACFCF93E5C Time : 21231.0 sec. user=vaughan [2010-06-30 13:38:40] 437*2^837932-1 is not prime. Res64: 0CE395801AE2659B Time : 31899.0 sec. user=vaughan [2010-06-30 13:39:01] 405*2^837972-1 is not prime. Res64: 065A3F3FC3CF78DB Time : 21309.0 sec. user=Flatlander [2010-06-30 13:40:12] 429*2^838071-1 is not prime. Res64: 1B6BF3EA5BA012AC Time : 7086.0 sec. user=Flatlander [2010-06-30 13:40:12] 453*2^838071-1 is not prime. Res64: 596BF67464CC66E0 Time : 7084.0 sec. user=Flatlander [2010-06-30 13:40:13] 483*2^838071-1 is not prime. Res64: A9BB703ACB8CF02A Time : 7084.0 sec. user=Flatlander [2010-06-30 13:40:14] 565*2^838071-1 is not prime. Res64: 7D1CA537B331EEE9 Time : 7084.0 sec. user=Flatlander [2010-06-30 13:40:14] 579*2^838071-1 is not prime. Res64: 1935AE8C1B74B867 Time : 7083.0 sec. user=vaughan [2010-06-30 13:40:53] 567*2^837996-1 is not prime. Res64: DDCA052076436D49 Time : 21284.0 sec. user=vaughan [2010-06-30 13:41:25] 573*2^837932-1 is not prime. Res64: 5267C46D7751667C Time : 31934.0 sec. user=vaughan [2010-06-30 13:44:40] 581*2^838006-1 is not prime. Res64: 87CF0D090E09F6A1 Time : 21345.0 sec. user=vaughan [2010-06-30 13:45:04] 413*2^837994-1 is not prime. Res64: D294EE0DA9ED04BA Time : 21538.0 sec. user=vaughan [2010-06-30 13:48:51] 555*2^837930-1 is not prime. Res64: FE84317C03B5C1B5 Time : 32739.0 sec. user=vaughan [2010-06-30 13:49:08] 465*2^838007-1 is not prime. Res64: F1EA562D121A14B6 Time : 21613.0 sec. user=Flatlander [2010-06-30 13:49:25] 511*2^838087-1 is not prime. Res64: 574A1468A0033F71 Time : 4630.0 sec. user=Flatlander [2010-06-30 13:49:26] 519*2^838087-1 is not prime. Res64: 3EC2894AA9B7B0D8 Time : 4629.0 sec. user=Flatlander [2010-06-30 13:49:27] 523*2^838087-1 is not prime. Res64: B912E71AE520C9E3 Time : 4629.0 sec. user=Flatlander [2010-06-30 13:49:28] 553*2^838087-1 is not prime. Res64: F1BCBDDCD037769C Time : 4628.0 sec. user=Flatlander [2010-06-30 13:49:28] 595*2^838087-1 is not prime. Res64: 3EFF57D5B7D21025 Time : 4627.0 sec. user=vaughan [2010-06-30 13:50:57] 461*2^838006-1 is not prime. Res64: E75CCB8A74F205C5 Time : 21723.0 sec. user=vaughan [2010-06-30 13:51:43] 571*2^837983-1 is not prime. Res64: 516C2B5C73401B24 Time : 21974.0 sec. user=vaughan [2010-06-30 13:52:38] 567*2^838013-1 is not prime. Res64: 51A50ABFAB82B534 Time : 21777.0 sec. user=vaughan [2010-06-30 13:52:52] 489*2^837987-1 is not prime. Res64: 9E6BA61B96E76E63 Time : 22036.0 sec. user=vaughan [2010-06-30 13:54:13] 537*2^837932-1 is not prime. Res64: 0C623D088A387BD7 Time : 32767.0 sec. user=vaughan [2010-06-30 13:54:46] 439*2^837937-1 is not prime. Res64: 7A27946C217A9E26 Time : 31884.0 sec. user=vaughan [2010-06-30 13:55:55] 527*2^837978-1 is not prime. Res64: 4E8F14A1A3B24F1A Time : 22278.0 sec. user=vaughan [2010-06-30 13:56:24] 513*2^837972-1 is not prime. Res64: 29EB17FF5AF91A13 Time : 22351.0 sec. user=vaughan [2010-06-30 13:57:24] 567*2^837937-1 is not prime. Res64: BC98418F1CC4BC35 Time : 31807.0 sec. user=vaughan [2010-06-30 14:00:30] 585*2^837996-1 is not prime. Res64: 9AACD06F25AB8C07 Time : 22460.0 sec. user=vaughan [2010-06-30 14:02:03] 523*2^838007-1 is not prime. Res64: C022FDDF5FC9F50A Time : 22387.0 sec. user=vaughan [2010-06-30 14:05:17] 549*2^837933-1 is not prime. Res64: 8EB8A07D1861EDCC Time : 32716.0 sec. user=vaughan [2010-06-30 14:05:45] 447*2^837994-1 is not prime. Res64: 176A9F91FFF82E45 Time : 22778.0 sec. user=vaughan [2010-06-30 14:06:25] 485*2^838008-1 is not prime. Res64: 3CB2658FAA328861 Time : 22649.0 sec. user=vaughan [2010-06-30 14:09:14] 453*2^838007-1 is not prime. Res64: 142ECB5AE6367D87 Time : 22819.0 sec. user=vaughan [2010-06-30 14:10:41] 457*2^837937-1 is not prime. Res64: CD4645B2F62588B2 Time : 32743.0 sec. user=vaughan [2010-06-30 14:10:47] 527*2^837942-1 is not prime. Res64: 0DE14DCC10EFAF6A Time : 31867.0 sec. user=vaughan [2010-06-30 14:11:00] 591*2^838013-1 is not prime. Res64: 8E9D9914367B346F Time : 22879.0 sec. user=vaughan [2010-06-30 14:13:06] 589*2^837983-1 is not prime. Res64: C67D946DE40E2F3D Time : 23257.0 sec. user=vaughan [2010-06-30 14:13:23] 415*2^837943-1 is not prime. Res64: CFC547028A96820F Time : 31731.0 sec. user=vaughan [2010-06-30 14:13:24] 585*2^837978-1 is not prime. Res64: 8390B22284610DC9 Time : 23326.0 sec. user=vaughan [2010-06-30 14:13:48] 525*2^837972-1 is not prime. Res64: 5E358CA5EAA41782 Time : 23395.0 sec. user=vaughan [2010-06-30 14:14:18] 523*2^837987-1 is not prime. Res64: D1B0ACF6C3866862 Time : 23321.0 sec. user=Flatlander [2010-06-30 14:15:40] 507*2^838086-1 is not prime. Res64: B55100986C21BDA2 Time : 6541.0 sec. user=Flatlander [2010-06-30 14:15:40] 515*2^838086-1 is not prime. Res64: CC8842BCE90A0304 Time : 6539.0 sec. user=Flatlander [2010-06-30 14:15:41] 521*2^838086-1 is not prime. Res64: B0A73F1260257381 Time : 6539.0 sec. user=Flatlander [2010-06-30 14:15:41] 537*2^838086-1 is not prime. Res64: 856C169E582D1025 Time : 6537.0 sec. user=Flatlander [2010-06-30 14:15:42] 585*2^838086-1 is not prime. Res64: E4D5B7047D75D25E Time : 6537.0 sec. user=vaughan [2010-06-30 14:19:21] 525*2^838008-1 is not prime. Res64: FC865AB5AE90555D Time : 23425.0 sec. user=vaughan [2010-06-30 14:19:48] 465*2^837997-1 is not prime. Res64: DC92E8411EA81763 Time : 23617.0 sec. user=vaughan [2010-06-30 14:21:45] 525*2^837941-1 is not prime. Res64: 2A69034BDE8C877F Time : 32694.0 sec. user=vaughan [2010-06-30 14:23:42] 465*2^838009-1 is not prime. Res64: 5D3F811F63B8869F Time : 23685.0 sec. user=vaughan [2010-06-30 14:26:30] 513*2^837994-1 is not prime. Res64: E89FEC9BE37674F6 Time : 24023.0 sec. user=vaughan [2010-06-30 14:26:51] 447*2^837944-1 is not prime. Res64: 5A3D3ED888442D4C Time : 31866.0 sec. user=vaughan [2010-06-30 14:27:10] 537*2^837942-1 is not prime. Res64: B50CB4F94FAF7BA9 Time : 32727.0 sec. user=vaughan [2010-06-30 14:27:33] 405*2^838008-1 is not prime. Res64: B7BABF1DB00F6EE6 Time : 23917.0 sec. user=vaughan [2010-06-30 14:29:20] 411*2^838014-1 is not prime. Res64: E5ECA7817CCD27B7 Time : 23978.0 sec. user=vaughan [2010-06-30 14:29:23] 585*2^837944-1 is not prime. Res64: 9119A57FB94F60F7 Time : 31740.0 sec. user=vaughan [2010-06-30 14:30:52] 465*2^837979-1 is not prime. Res64: 07601389EDEE8301 Time : 24373.0 sec. user=vaughan [2010-06-30 14:31:11] 537*2^837972-1 is not prime. Res64: 47EE85323148688A Time : 24437.0 sec. user=vaughan [2010-06-30 14:34:38] 423*2^837984-1 is not prime. Res64: BD98C44380939A3E Time : 24548.0 sec. user=vaughan [2010-06-30 14:35:44] 529*2^837987-1 is not prime. Res64: A7672998AC5F3128 Time : 24606.0 sec. user=vaughan [2010-06-30 14:36:42] 517*2^838009-1 is not prime. Res64: 7ED74E79B50443A0 Time : 24465.0 sec. user=vaughan [2010-06-30 14:38:13] 483*2^837943-1 is not prime. Res64: 12B2015F800019F3 Time : 32695.0 sec. user=vaughan [2010-06-30 14:39:04] 555*2^837997-1 is not prime. Res64: 698A5A96AF906722 Time : 24773.0 sec. user=vaughan [2010-06-30 14:40:50] 437*2^838010-1 is not prime. Res64: AEA35167D0A09B11 Time : 24713.0 sec. user=vaughan [2010-06-30 14:42:54] 409*2^837947-1 is not prime. Res64: FE9966FC2E87AFFE Time : 31867.0 sec. user=vaughan [2010-06-30 14:43:38] 483*2^837944-1 is not prime. Res64: D306D763D00165EA Time : 32726.0 sec. user=vaughan [2010-06-30 14:44:59] 421*2^838009-1 is not prime. Res64: 26DC21D2BF880EC5 Time : 24963.0 sec. user=vaughan [2010-06-30 14:45:22] 453*2^837948-1 is not prime. Res64: 2CB5AB05CB8385D1 Time : 31740.0 sec. user=vaughan [2010-06-30 14:46:40] 453*2^838014-1 is not prime. Res64: 208C563AD9F4F920 Time : 25017.0 sec. user=vaughan [2010-06-30 14:47:12] 495*2^837995-1 is not prime. Res64: 56F137C4AA05712E Time : 25264.0 sec. user=vaughan [2010-06-30 14:48:20] 555*2^837979-1 is not prime. Res64: B8BE3F82573F049D Time : 25421.0 sec. user=vaughan [2010-06-30 14:48:34] 539*2^837972-1 is not prime. Res64: C3D98B8CEFA519C0 Time : 25479.0 sec. user=vaughan [2010-06-30 14:53:19] 473*2^838010-1 is not prime. Res64: D257566B587C4FDD Time : 25462.0 sec. user=vaughan [2010-06-30 14:54:40] 411*2^837946-1 is not prime. Res64: 3701525CC6BA11A6 Time : 32694.0 sec. user=vaughan [2010-06-30 14:56:11] 543*2^837984-1 is not prime. Res64: 19CB48FB165C90AC Time : 25840.0 sec. user=vaughan [2010-06-30 14:57:10] 585*2^837987-1 is not prime. Res64: 33837099634F6EFD Time : 25892.0 sec. user=vaughan [2010-06-30 14:57:36] 521*2^838010-1 is not prime. Res64: B6E84FF954C2BC37 Time : 25718.0 sec. user=vaughan [2010-06-30 14:58:21] 565*2^837997-1 is not prime. Res64: CB256CBE2FDECBAA Time : 25929.0 sec. user=vaughan [2010-06-30 14:58:58] 511*2^837951-1 is not prime. Res64: 491F1D2D8FB2F2D6 Time : 31866.0 sec. user=vaughan [2010-06-30 15:00:06] 453*2^837947-1 is not prime. Res64: 600F60053453CFBA Time : 32726.0 sec. user=vaughan [2010-06-30 15:01:22] 519*2^837952-1 is not prime. Res64: 629C353FB5C4B471 Time : 31736.0 sec. user=vaughan [2010-06-30 15:02:33] 589*2^838009-1 is not prime. Res64: 55C920C18E08756B Time : 26016.0 sec. user=vaughan [2010-06-30 15:04:18] 503*2^838014-1 is not prime. Res64: E34B55B949C87F0A Time : 26075.0 sec. user=vaughan [2010-06-30 15:07:57] 553*2^837995-1 is not prime. Res64: 77977690B0E4D6BD Time : 26508.0 sec. user=vaughan [2010-06-30 15:10:20] 503*2^838016-1 is not prime. Res64: D7C694CF63CA4519 Time : 25868.0 sec. user=Flatlander [2010-06-30 15:10:46] 503*2^838104-1 is not prime. Res64: 97C5366241483801 Time : 4876.0 sec. user=Flatlander [2010-06-30 15:10:47] 527*2^838104-1 is not prime. Res64: 89B7B687470696FC Time : 4875.0 sec. user=Flatlander [2010-06-30 15:10:47] 587*2^838104-1 is not prime. Res64: FEF96A129A1493BC Time : 4874.0 sec. user=Flatlander [2010-06-30 15:10:48] 409*2^838105-1 is not prime. Res64: 2B27CC3F295BF627 Time : 4873.0 sec. user=Flatlander [2010-06-30 15:10:48] 465*2^838105-1 is not prime. Res64: AF5499DB7B355054 Time : 4871.0 sec. user=vaughan [2010-06-30 15:11:08] 587*2^837950-1 is not prime. Res64: 137AE68DE2EF0AE2 Time : 32692.0 sec. user=vaughan [2010-06-30 15:11:15] 573*2^837979-1 is not prime. Res64: DF7876736A057C0A Time : 26795.0 sec. user=vaughan [2010-06-30 15:11:19] 489*2^837973-1 is not prime. Res64: 97C7B10C4FED933D Time : 26844.0 sec. user=vaughan [2010-06-30 15:14:43] 511*2^838017-1 is not prime. Res64: 631B63C92EE6239A Time : 25889.0 sec. user=vaughan [2010-06-30 15:15:03] 435*2^837959-1 is not prime. Res64: DC1A35D6B6776EE7 Time : 31861.0 sec. user=vaughan [2010-06-30 15:16:34] 483*2^837952-1 is not prime. Res64: 5C8A3FE9EDCED126 Time : 32721.0 sec. user=vaughan [2010-06-30 15:17:21] 493*2^837959-1 is not prime. Res64: 0AF67FC498E5C170 Time : 31731.0 sec. user=vaughan [2010-06-30 15:17:36] 501*2^837998-1 is not prime. Res64: 88680740BA508E09 Time : 27083.0 sec. user=vaughan [2010-06-30 15:17:43] 567*2^837984-1 is not prime. Res64: 9DD86D8F5001D615 Time : 27132.0 sec. user=vaughan [2010-06-30 15:18:36] 437*2^837988-1 is not prime. Res64: BF4B3470EE673227 Time : 27177.0 sec. user=vaughan [2010-06-30 15:20:41] 503*2^838010-1 is not prime. Res64: DEB6EAE819F40B8A Time : 27103.0 sec. user=vaughan [2010-06-30 15:22:28] 525*2^838014-1 is not prime. Res64: 057D9D698C3CBEEF Time : 27164.0 sec. user=vaughan [2010-06-30 15:27:35] 549*2^837957-1 is not prime. Res64: 4D472B08B56C934C Time : 32685.0 sec. user=vaughan [2010-06-30 15:27:36] 479*2^838020-1 is not prime. Res64: 27C1CB56D7706839 Time : 25872.0 sec. user=vaughan [2010-06-30 15:28:41] 437*2^837996-1 is not prime. Res64: 356A2FD6A777E001 Time : 27752.0 sec. user=vaughan [2010-06-30 15:28:42] 597*2^837973-1 is not prime. Res64: 36276128FEEDDBAF Time : 27886.0 sec. user=vaughan [2010-06-30 15:28:44] 417*2^837980-1 is not prime. Res64: 19DB57758016B058 Time : 27843.0 sec. user=Flatlander [2010-06-30 15:29:59] 413*2^838102-1 is not prime. Res64: CECD01A6CB855029 Time : 6584.0 sec. user=Flatlander [2010-06-30 15:30:00] 477*2^838102-1 is not prime. Res64: 1A0CDC5B7949DA9B Time : 6584.0 sec. user=Flatlander [2010-06-30 15:30:01] 483*2^838102-1 is not prime. Res64: 43580D1968921951 Time : 6583.0 sec. user=Flatlander [2010-06-30 15:30:02] 491*2^838102-1 is not prime. Res64: 48ED14A1A850CBEB Time : 6583.0 sec. user=Flatlander [2010-06-30 15:30:03] 545*2^838102-1 is not prime. Res64: AD0233B8F18EDB05 Time : 6584.0 sec. user=vaughan [2010-06-30 15:31:06] 549*2^837960-1 is not prime. Res64: 49E2907251C69273 Time : 31861.0 sec. user=vaughan [2010-06-30 15:31:57] 447*2^838022-1 is not prime. Res64: 8395D570B6CA2FD7 Time : 25882.0 sec. user=vaughan [2010-06-30 15:33:03] 489*2^837959-1 is not prime. Res64: 7E0A48A65B67EFCA Time : 32719.0 sec. user=vaughan [2010-06-30 15:33:21] 411*2^837961-1 is not prime. Res64: A822AD17D9AE0B84 Time : 31657.0 sec. user=vaughan [2010-06-30 15:36:53] 507*2^837998-1 is not prime. Res64: 4B10CE0FEBCA947C Time : 28240.0 sec. user=vaughan [2010-06-30 15:38:57] 435*2^838018-1 is not prime. Res64: 27F1AF4EE1B1447F Time : 27330.0 sec. user=vaughan [2010-06-30 15:39:16] 587*2^837984-1 is not prime. Res64: 7FA27735CDC856D3 Time : 28424.0 sec. user=vaughan [2010-06-30 15:40:01] 533*2^837988-1 is not prime. Res64: FFFEFFBBA3707239 Time : 28461.0 sec. user=vaughan [2010-06-30 15:40:39] 513*2^838018-1 is not prime. Res64: 3144562B5A335244 Time : 27323.0 sec. user=vaughan [2010-06-30 15:44:04] 525*2^837960-1 is not prime. Res64: E1144A701260F58B Time : 32686.0 sec. user=vaughan [2010-06-30 15:44:50] 419*2^838024-1 is not prime. Res64: D29CF740C1C09D6A Time : 25870.0 sec. user=vaughan [2010-06-30 15:46:01] 495*2^837974-1 is not prime. Res64: CAEC8B38DFAB7266 Time : 28924.0 sec. user=vaughan [2010-06-30 15:46:15] 459*2^837980-1 is not prime. Res64: 908A91576EF097EF Time : 28893.0 sec. user=vaughan [2010-06-30 15:47:13] 415*2^837961-1 is not prime. Res64: F3A817BDE65DD718 Time : 31738.0 sec. user=vaughan [2010-06-30 15:49:13] 461*2^838026-1 is not prime. Res64: 3A39FADA3B50C2FF Time : 25879.0 sec. user=vaughan [2010-06-30 15:49:23] 597*2^837961-1 is not prime. Res64: 27AB0BB853A554D6 Time : 31580.0 sec. user=vaughan [2010-06-30 15:49:25] 579*2^837996-1 is not prime. Res64: 495F05DFCD0D4E49 Time : 28995.0 sec. user=vaughan [2010-06-30 15:49:34] 593*2^837960-1 is not prime. Res64: A292E2E0FB60F804 Time : 32656.0 sec. user=vaughan [2010-06-30 15:56:12] 423*2^837999-1 is not prime. Res64: B7C7128BD4411329 Time : 29398.0 sec. user=vaughan [2010-06-30 15:57:07] 515*2^838022-1 is not prime. Res64: 6A23A6396BC9950E Time : 27320.0 sec. user=vaughan [2010-06-30 15:58:50] 591*2^838022-1 is not prime. Res64: BC573C735820C60E Time : 27313.0 sec. user=vaughan [2010-06-30 16:00:32] 549*2^837961-1 is not prime. Res64: 7A5CB5A20389E330 Time : 32542.0 sec. user=vaughan [2010-06-30 16:00:48] 441*2^837985-1 is not prime. Res64: 857772EF589876DF Time : 29715.0 sec. user=vaughan [2010-06-30 16:01:26] 549*2^837988-1 is not prime. Res64: 159C6EC6DC23F7F7 Time : 29746.0 sec. user=vaughan [2010-06-30 16:02:05] 403*2^838031-1 is not prime. Res64: C6538637A628E288 Time : 25868.0 sec. user=vaughan [2010-06-30 16:03:17] 453*2^837963-1 is not prime. Res64: F99EE4B2C2FD2813 Time : 31844.0 sec. user=vaughan [2010-06-30 16:03:23] 557*2^837974-1 is not prime. Res64: C94890887EF0ACEB Time : 29966.0 sec. user=Flatlander [2010-06-30 16:03:24] 593*2^838074-1 is not prime. Res64: 2797557B79267112 Time : 15374.0 sec. user=Flatlander [2010-06-30 16:03:25] 433*2^838075-1 is not prime. Res64: 3B4BEB108EB10A37 Time : 15374.0 sec. user=Flatlander [2010-06-30 16:03:25] 493*2^838075-1 is not prime. Res64: 0FF2BC37DFB416C8 Time : 15372.0 sec. user=Flatlander [2010-06-30 16:03:26] 511*2^838075-1 is not prime. Res64: 17874ABA95D29F94 Time : 15372.0 sec. user=Flatlander [2010-06-30 16:03:26] 531*2^838075-1 is not prime. Res64: 089946389244F133 Time : 15372.0 sec. user=vaughan [2010-06-30 16:03:44] 479*2^837980-1 is not prime. Res64: 5981A52E728E97D0 Time : 29942.0 sec. user=vaughan [2010-06-30 16:05:23] 479*2^837964-1 is not prime. Res64: 4A528FCF5970CFF9 Time : 31722.0 sec. user=vaughan [2010-06-30 16:06:02] 467*2^837962-1 is not prime. Res64: BA2F2603EC728113 Time : 32580.0 sec. user=vaughan [2010-06-30 16:06:26] 405*2^838032-1 is not prime. Res64: 9DE338094038E315 Time : 25873.0 sec. user=vaughan [2010-06-30 16:10:08] 427*2^837997-1 is not prime. Res64: 719AB43B4023284C Time : 30237.0 sec. user=vaughan [2010-06-30 16:15:20] 449*2^838028-1 is not prime. Res64: EDF1D5A95EC5E3AE Time : 27312.0 sec. user=vaughan [2010-06-30 16:15:28] 475*2^838017-1 is not prime. Res64: E65DA4ABC21AF654 Time : 29599.0 sec. user=vaughan [2010-06-30 16:17:00] 445*2^837963-1 is not prime. Res64: 40F1188E372C5861 Time : 32668.0 sec. user=vaughan [2010-06-30 16:17:00] 555*2^838029-1 is not prime. Res64: CEA0832055BF15E0 Time : 27304.0 sec. user=Flatlander [2010-06-30 16:18:28] 453*2^838111-1 is not prime. Res64: 533FE413680E4C13 Time : 7366.0 sec. user=Flatlander [2010-06-30 16:18:29] 435*2^838112-1 is not prime. Res64: 911B2350DC210293 Time : 7366.0 sec. user=Flatlander [2010-06-30 16:18:30] 427*2^838113-1 is not prime. Res64: 8B8453F83E8AD740 Time : 7366.0 sec. user=Flatlander [2010-06-30 16:18:31] 441*2^838113-1 is not prime. Res64: 6CDAA8176EA9D6A7 Time : 7366.0 sec. user=Flatlander [2010-06-30 16:18:32] 471*2^838113-1 is not prime. Res64: 7AFB9DAB4216EBB7 Time : 7366.0 sec. user=vaughan [2010-06-30 16:19:17] 507*2^838037-1 is not prime. Res64: B1276ED3E924A5F1 Time : 25863.0 sec. user=vaughan [2010-06-30 16:19:21] 421*2^837965-1 is not prime. Res64: E15ED80904162CA2 Time : 31554.0 sec. user=vaughan [2010-06-30 16:20:45] 507*2^838016-1 is not prime. Res64: 2568F600D7DF3228 Time : 30092.0 sec. user=vaughan [2010-06-30 16:21:13] 525*2^838015-1 is not prime. Res64: 87AB0D96A59A0DD7 Time : 30125.0 sec. user=vaughan [2010-06-30 16:21:22] 593*2^837964-1 is not prime. Res64: 72038C2E12AC932A Time : 31723.0 sec. user=vaughan [2010-06-30 16:22:21] 519*2^838015-1 is not prime. Res64: 5BCC24726D433226 Time : 30286.0 sec. user=vaughan [2010-06-30 16:22:31] 569*2^837964-1 is not prime. Res64: 52B862EA1CFA1446 Time : 32713.0 sec. user=vaughan [2010-06-30 16:22:49] 573*2^837988-1 is not prime. Res64: CBBF7FA914BD0988 Time : 31028.0 sec. user=vaughan [2010-06-30 16:23:45] 551*2^838038-1 is not prime. Res64: 94B5C09F76DBDE99 Time : 25875.0 sec. user=vaughan [2010-06-30 16:30:52] 481*2^838015-1 is not prime. Res64: 825355E474075F73 Time : 30910.0 sec. user=vaughan [2010-06-30 16:33:27] 525*2^837965-1 is not prime. Res64: 81651BEAC862EABC Time : 32369.0 sec. user=vaughan [2010-06-30 16:33:30] 533*2^838034-1 is not prime. Res64: D919C08005949576 Time : 27306.0 sec. user=vaughan [2010-06-30 16:34:44] 537*2^838022-1 is not prime. Res64: EEEFDA3BE7139C45 Time : 29555.0 sec. user=vaughan [2010-06-30 16:35:13] 465*2^838035-1 is not prime. Res64: C884F1DE0E3A56E9 Time : 27300.0 sec. user=vaughan [2010-06-30 16:35:25] 495*2^837976-1 is not prime. Res64: 3CABE187B2B62C54 Time : 31859.0 sec. user=vaughan [2010-06-30 16:36:33] 481*2^838043-1 is not prime. Res64: 7AAA183BC578A1E3 Time : 25862.0 sec. user=vaughan [2010-06-30 16:37:22] 511*2^837999-1 is not prime. Res64: 9ED5517ECD7E7186 Time : 31725.0 sec. user=vaughan [2010-06-30 16:38:07] 421*2^838021-1 is not prime. Res64: CBB24597394BB6CC Time : 30085.0 sec. user=vaughan [2010-06-30 16:38:43] 557*2^838020-1 is not prime. Res64: CFA5A8B2A0012552 Time : 30125.0 sec. user=vaughan [2010-06-30 16:39:01] 537*2^837965-1 is not prime. Res64: D27BD42F29577C3E Time : 32703.0 sec. user=vaughan [2010-06-30 16:40:59] 573*2^838043-1 is not prime. Res64: EF9B06355B424910 Time : 25872.0 sec. user=vaughan [2010-06-30 16:43:55] 525*2^838021-1 is not prime. Res64: 2C475CD64DE1A20A Time : 30400.0 sec. user=vaughan [2010-06-30 16:44:15] 451*2^837989-1 is not prime. Res64: 73430B10F0F6E146 Time : 32313.0 sec. user=vaughan [2010-06-30 16:49:54] 515*2^837980-1 is not prime. Res64: D92CE6F86A586C89 Time : 32677.0 sec. user=vaughan [2010-06-30 16:51:30] 441*2^838017-1 is not prime. Res64: E47D2C3764606D4D Time : 31859.0 sec. user=vaughan [2010-06-30 16:51:35] 467*2^838020-1 is not prime. Res64: 4206A36BFBACB987 Time : 30915.0 sec. user=vaughan [2010-06-30 16:51:44] 525*2^838040-1 is not prime. Res64: 6A346083246F9EE6 Time : 27301.0 sec. user=Flatlander [2010-06-30 16:53:05] 549*2^838123-1 is not prime. Res64: 7C551921DA8047D9 Time : 6135.0 sec. user=Flatlander [2010-06-30 16:53:06] 413*2^838124-1 is not prime. Res64: FC4067D350D88DDB Time : 6135.0 sec. user=Flatlander [2010-06-30 16:53:06] 507*2^838124-1 is not prime. Res64: 63EAEEB4642C72AE Time : 6135.0 sec. user=Flatlander [2010-06-30 16:53:06] 557*2^838124-1 is not prime. Res64: B6B080C086AD527C Time : 6133.0 sec. user=Flatlander [2010-06-30 16:53:07] 457*2^838125-1 is not prime. Res64: 16DEA890ABFDE6D7 Time : 6133.0 sec. user=vaughan [2010-06-30 16:53:22] 495*2^838018-1 is not prime. Res64: CE983B2783D4235A Time : 31714.0 sec. user=vaughan [2010-06-30 16:53:23] 539*2^838040-1 is not prime. Res64: 29B290A645773EB1 Time : 27291.0 sec. user=vaughan [2010-06-30 16:53:46] 489*2^838045-1 is not prime. Res64: BCD46BB1C38D9729 Time : 25855.0 sec. user=vaughan [2010-06-30 16:54:02] 455*2^838030-1 is not prime. Res64: 4CE955F6F342837F Time : 29523.0 sec. user=vaughan [2010-06-30 16:55:27] 495*2^838024-1 is not prime. Res64: 0F651F1F98E1B8A6 Time : 30080.0 sec. user=vaughan [2010-06-30 16:55:30] 555*2^838014-1 is not prime. Res64: 13C1911605B30FE9 Time : 32711.0 sec. user=vaughan [2010-06-30 16:56:14] 539*2^838024-1 is not prime. Res64: 4D169C5A37BD3827 Time : 30125.0 sec. user=vaughan [2010-06-30 16:58:15] 417*2^838046-1 is not prime. Res64: 1C615CEFB70EC8AE Time : 25880.0 sec. user=vaughan [2010-06-30 17:05:31] 507*2^838025-1 is not prime. Res64: 08F1721D863CD250 Time : 30516.0 sec. user=vaughan [2010-06-30 17:05:44] 511*2^837989-1 is not prime. Res64: 70CE8A682700C9FB Time : 33602.0 sec. user=vaughan [2010-06-30 17:06:21] 465*2^838017-1 is not prime. Res64: E41CABABEE913F5D Time : 32652.0 sec. user=vaughan [2010-06-30 17:07:35] 441*2^838021-1 is not prime. Res64: E22DD2E8B437DCDD Time : 31842.0 sec. user=vaughan [2010-06-30 17:09:20] 461*2^838022-1 is not prime. Res64: 9F5EBCFA1019C61C Time : 31697.0 sec. user=vaughan [2010-06-30 17:09:54] 413*2^838044-1 is not prime. Res64: 0EADA08F4626F910 Time : 27291.0 sec. user=vaughan [2010-06-30 17:11:03] 563*2^838048-1 is not prime. Res64: F24B3CBB2FDC3D56 Time : 25869.0 sec. user=vaughan [2010-06-30 17:11:37] 503*2^838044-1 is not prime. Res64: 6B8FF0EFEE4D2313 Time : 27287.0 sec. user=vaughan [2010-06-30 17:11:58] 555*2^838018-1 is not prime. Res64: 7BE9C9EBC65391E4 Time : 32686.0 sec. user=vaughan [2010-06-30 17:12:22] 487*2^838025-1 is not prime. Res64: 14A669AE05BC1A50 Time : 30931.0 sec. user=vaughan [2010-06-30 17:12:49] 463*2^838031-1 is not prime. Res64: E60CBF88B486FD1D Time : 30073.0 sec. user=vaughan [2010-06-30 17:13:41] 475*2^838031-1 is not prime. Res64: 26743B783739CC94 Time : 30119.0 sec. user=vaughan [2010-06-30 17:13:46] 485*2^838036-1 is not prime. Res64: C49F3446DF3C7F4D Time : 29511.0 sec. user=vaughan [2010-06-30 17:15:29] 507*2^838049-1 is not prime. Res64: B7E6DC55117EF42E Time : 25878.0 sec. user=vaughan [2010-06-30 17:22:50] 559*2^838021-1 is not prime. Res64: 85D82FCDB49C791A Time : 32636.0 sec. user=vaughan [2010-06-30 17:23:39] 407*2^838024-1 is not prime. Res64: 61C531DDE0E20D70 Time : 31835.0 sec. user=vaughan [2010-06-30 17:25:21] 425*2^838026-1 is not prime. Res64: 22A1A9691B21990D Time : 31686.0 sec. user=vaughan [2010-06-30 17:27:02] 423*2^838034-1 is not prime. Res64: A41FD659B35FE665 Time : 30629.0 sec. user=vaughan [2010-06-30 17:27:08] 451*2^837999-1 is not prime. Res64: 1C7BB62A0BE4D8D1 Time : 34728.0 sec. user=vaughan [2010-06-30 17:28:08] 501*2^838046-1 is not prime. Res64: FA841DDC01D2046F Time : 27303.0 sec. user=vaughan [2010-06-30 17:28:18] 519*2^838051-1 is not prime. Res64: 90A0200747135DE2 Time : 25866.0 sec. user=vaughan [2010-06-30 17:28:27] 489*2^838023-1 is not prime. Res64: 5C1150BC7F3387F0 Time : 32676.0 sec. user=vaughan [2010-06-30 17:29:48] 587*2^838046-1 is not prime. Res64: AEE1097F02D7343A Time : 27300.0 sec. user=vaughan [2010-06-30 17:30:10] 431*2^838038-1 is not prime. Res64: FAB8C853880F2C85 Time : 30065.0 sec. user=vaughan [2010-06-30 17:31:08] 525*2^838038-1 is not prime. Res64: 27F054EF584C39E0 Time : 30087.0 sec. user=vaughan [2010-06-30 17:32:43] 561*2^838054-1 is not prime. Res64: 375EE00509E21A41 Time : 25876.0 sec. user=vaughan [2010-06-30 17:33:02] 579*2^838041-1 is not prime. Res64: CE601E0A5F86098B Time : 29477.0 sec. user=vaughan [2010-06-30 17:33:09] 495*2^838034-1 is not prime. Res64: 850EE35339BC09C7 Time : 30948.0 sec. user=vaughan [2010-06-30 17:39:18] 409*2^838025-1 is not prime. Res64: A9F86153CC3CD130 Time : 32621.0 sec. user=vaughan [2010-06-30 17:39:43] 555*2^838030-1 is not prime. Res64: 0738DC9DD60D420E Time : 31834.0 sec. user=vaughan [2010-06-30 17:41:21] 565*2^838031-1 is not prime. Res64: 067003B14947014B Time : 31685.0 sec. user=vaughan [2010-06-30 17:44:56] 579*2^838028-1 is not prime. Res64: 20ABCB2685133471 Time : 32666.0 sec. user=vaughan [2010-06-30 17:45:34] 489*2^838057-1 is not prime. Res64: 129AF2D9131211BE Time : 25865.0 sec. user=vaughan [2010-06-30 17:46:20] 515*2^838050-1 is not prime. Res64: 9D037A8694E8C4A4 Time : 27299.0 sec. user=vaughan [2010-06-30 17:47:33] 549*2^838043-1 is not prime. Res64: 7A223C10367CD43A Time : 30060.0 sec. user=vaughan [2010-06-30 17:48:00] 527*2^838050-1 is not prime. Res64: 8CAB0A9191417B8C Time : 27294.0 sec. user=vaughan [2010-06-30 17:48:35] 531*2^838019-1 is not prime. Res64: 7FD61FC41D00C78C Time : 34544.0 sec. user=vaughan [2010-06-30 17:48:36] 467*2^838040-1 is not prime. Res64: D7B886F72240E77D Time : 30747.0 sec. user=vaughan [2010-06-30 17:48:37] 565*2^838043-1 is not prime. Res64: EA6967AF41246E85 Time : 30085.0 sec. user=vaughan [2010-06-30 17:49:58] 537*2^838057-1 is not prime. Res64: DB13590672506AFC Time : 25881.0 sec. user=vaughan [2010-06-30 17:52:19] 587*2^838044-1 is not prime. Res64: 953DC4969ED0EC06 Time : 29441.0 sec. user=vaughan [2010-06-30 17:53:55] 537*2^838040-1 is not prime. Res64: 7F20591F0F2FB8F5 Time : 30964.0 sec. user=vaughan [2010-06-30 17:55:45] 511*2^838031-1 is not prime. Res64: 98863B3BB4D7773A Time : 32616.0 sec. user=vaughan [2010-06-30 17:55:47] 417*2^838037-1 is not prime. Res64: AD7DB86656105406 Time : 31824.0 sec. user=Flatlander [2010-06-30 17:57:14] 465*2^838138-1 is not prime. Res64: 121ADDB251C4EEEF Time : 6827.0 sec. user=Flatlander [2010-06-30 17:57:15] 507*2^838138-1 is not prime. Res64: DF9091B5ADA1A56F Time : 6827.0 sec. user=Flatlander [2010-06-30 17:57:16] 533*2^838138-1 is not prime. Res64: 35FF8365E68ECC98 Time : 6827.0 sec. user=Flatlander [2010-06-30 17:57:17] 567*2^838138-1 is not prime. Res64: 9E39A5C279A0411D Time : 6827.0 sec. user=Flatlander [2010-06-30 17:57:17] 435*2^838139-1 is not prime. Res64: 8ED9851EB44E279E Time : 6825.0 sec. user=vaughan [2010-06-30 17:57:20] 513*2^838038-1 is not prime. Res64: 2C27BDE208496C87 Time : 31682.0 sec. user=vaughan [2010-06-30 18:01:27] 437*2^838034-1 is not prime. Res64: 4A2DF3C12B55EB9B Time : 32663.0 sec. user=vaughan [2010-06-30 18:02:58] 411*2^838061-1 is not prime. Res64: 3A9E43C517AB2706 Time : 25874.0 sec. user=vaughan [2010-06-30 18:04:39] 465*2^838056-1 is not prime. Res64: 66A11DE180528738 Time : 27305.0 sec. user=vaughan [2010-06-30 18:05:12] 519*2^838045-1 is not prime. Res64: 3D329E53ACB738EF Time : 30071.0 sec. user=vaughan [2010-06-30 18:06:19] 509*2^838056-1 is not prime. Res64: F5743CEF3638ADE7 Time : 27296.0 sec. user=vaughan [2010-06-30 18:06:27] 547*2^838045-1 is not prime. Res64: 3943CA79FB82E7DC Time : 30103.0 sec. user=vaughan [2010-06-30 18:07:20] 425*2^838062-1 is not prime. Res64: E9A34B9CE1E3A2F4 Time : 25887.0 sec. user=vaughan [2010-06-30 18:10:01] 547*2^838025-1 is not prime. Res64: 3E124A296901559E Time : 34368.0 sec. user=vaughan [2010-06-30 18:10:08] 497*2^838044-1 is not prime. Res64: 66CC97423DFB044E Time : 30861.0 sec. user=vaughan [2010-06-30 18:11:37] 447*2^838049-1 is not prime. Res64: 878F0D4452A2F080 Time : 29407.0 sec. user=vaughan [2010-06-30 18:11:52] 585*2^838040-1 is not prime. Res64: 96B21DE14FC1E2F5 Time : 31826.0 sec. user=vaughan [2010-06-30 18:12:14] 401*2^838038-1 is not prime. Res64: D48F7ED0D069DDDC Time : 32609.0 sec. user=vaughan [2010-06-30 18:13:21] 451*2^838043-1 is not prime. Res64: 8356297FB22D1E68 Time : 31683.0 sec. user=vaughan [2010-06-30 18:14:35] 557*2^838044-1 is not prime. Res64: 8781CB29D5AB7C2C Time : 30973.0 sec. user=vaughan [2010-06-30 18:17:56] 567*2^838038-1 is not prime. Res64: 2FC5FB3CF2618533 Time : 32658.0 sec. user=vaughan [2010-06-30 18:20:06] 555*2^838065-1 is not prime. Res64: A61AC8C657DD9A53 Time : 25864.0 sec. user=vaughan [2010-06-30 18:22:28] 563*2^838060-1 is not prime. Res64: D39FADC994A498BF Time : 27278.0 sec. user=vaughan [2010-06-30 18:22:35] 513*2^838062-1 is not prime. Res64: 519811E7C0102A13 Time : 26603.0 sec. user=vaughan [2010-06-30 18:23:56] 441*2^838063-1 is not prime. Res64: 33477BA460AF0D9E Time : 26676.0 sec. user=vaughan [2010-06-30 18:24:04] 579*2^838060-1 is not prime. Res64: 226424765E60323E Time : 27268.0 sec. user=vaughan [2010-06-30 18:24:22] 525*2^838066-1 is not prime. Res64: 54A40DD1A16410BE Time : 25871.0 sec. user=vaughan [2010-06-30 18:27:55] 549*2^838044-1 is not prime. Res64: EF7903239629CE23 Time : 31825.0 sec. user=vaughan [2010-06-30 18:28:42] 425*2^838042-1 is not prime. Res64: A04BDC79DD22B90B Time : 32609.0 sec. user=vaughan [2010-06-30 18:29:21] 563*2^838044-1 is not prime. Res64: 157AC92FFF5B3DA4 Time : 31682.0 sec. user=vaughan [2010-06-30 18:30:57] 435*2^838054-1 is not prime. Res64: 253EE2DC66786E4E Time : 29373.0 sec. user=vaughan [2010-06-30 18:31:31] 489*2^838035-1 is not prime. Res64: 75DB3BA638BC896A Time : 34198.0 sec. user=vaughan [2010-06-30 18:31:41] 453*2^838047-1 is not prime. Res64: 85E995DB5B93ACEB Time : 30977.0 sec. user=vaughan [2010-06-30 18:34:25] 589*2^838043-1 is not prime. Res64: D00188361386CFDC Time : 32658.0 sec. user=vaughan [2010-06-30 18:35:20] 549*2^838048-1 is not prime. Res64: 034178B3A6D83715 Time : 30984.0 sec. user=vaughan [2010-06-30 18:37:03] 447*2^838069-1 is not prime. Res64: 2BF406F472CAF9DE Time : 25854.0 sec. user=vaughan [2010-06-30 18:39:57] 425*2^838068-1 is not prime. Res64: 94BA04FAC2703B0A Time : 26611.0 sec. user=vaughan [2010-06-30 18:40:04] 495*2^838065-1 is not prime. Res64: AB8DBD9CFB82FA2E Time : 27232.0 sec. user=Flatlander [2010-06-30 18:40:40] 511*2^838131-1 is not prime. Res64: 787434F63C2304CF Time : 11436.0 sec. user=Flatlander [2010-06-30 18:40:41] 531*2^838131-1 is not prime. Res64: 322AA769C7B17BEE Time : 11435.0 sec. user=Flatlander [2010-06-30 18:40:42] 549*2^838131-1 is not prime. Res64: F6905D17E2336968 Time : 11434.0 sec. user=Flatlander [2010-06-30 18:40:42] 555*2^838131-1 is not prime. Res64: 3F7DF2C3D4DE826F Time : 11433.0 sec. user=Flatlander [2010-06-30 18:40:43] 455*2^838132-1 is not prime. Res64: A6BAFE9AE479C27F Time : 11432.0 sec. user=vaughan [2010-06-30 18:41:20] 425*2^838070-1 is not prime. Res64: 68258AF1C7FACE76 Time : 25860.0 sec. user=vaughan [2010-06-30 18:41:25] 437*2^838068-1 is not prime. Res64: 1BF04DF40FB8BEF6 Time : 26676.0 sec. user=vaughan [2010-06-30 18:41:37] 511*2^838065-1 is not prime. Res64: 11AB4D1FCD97E84F Time : 27224.0 sec. user=vaughan [2010-06-30 18:44:01] 561*2^838046-1 is not prime. Res64: 0C1D8D849996482E Time : 31828.0 sec. user=vaughan [2010-06-30 18:45:11] 411*2^838045-1 is not prime. Res64: DFC0A56651833777 Time : 32610.0 sec. user=vaughan [2010-06-30 18:45:21] 465*2^838047-1 is not prime. Res64: 338499531189453F Time : 31683.0 sec. user=vaughan [2010-06-30 18:50:10] 501*2^838058-1 is not prime. Res64: 96D83408E1B1391B Time : 29337.0 sec. user=vaughan [2010-06-30 18:50:55] 405*2^838046-1 is not prime. Res64: DC329E2A7D4A38C4 Time : 32657.0 sec. user=vaughan [2010-06-30 18:52:56] 511*2^838043-1 is not prime. Res64: 31194787EF3FB686 Time : 34019.0 sec. user=vaughan [2010-06-30 18:53:13] 511*2^838051-1 is not prime. Res64: BB7FD83C5FECA66B Time : 31089.0 sec. user=vaughan [2010-06-30 18:54:11] 441*2^838073-1 is not prime. Res64: 5A199A5D852CD836 Time : 25834.0 sec. user=vaughan [2010-06-30 18:56:08] 583*2^838051-1 is not prime. Res64: 3E8220DE746B34A3 Time : 31003.0 sec. user=vaughan [2010-06-30 18:58:13] 585*2^838068-1 is not prime. Res64: 95079B3821C3128E Time : 27235.0 sec. user=vaughan [2010-06-30 18:58:36] 459*2^838076-1 is not prime. Res64: 12CCD70A1648EAB0 Time : 25850.0 sec. user=vaughan [2010-06-30 18:59:51] 429*2^838069-1 is not prime. Res64: C5769DD8E7D10167 Time : 27228.0 sec. user=vaughan [2010-06-30 19:00:05] 443*2^838050-1 is not prime. Res64: 976094D7A9E8E659 Time : 31828.0 sec. user=vaughan [2010-06-30 19:01:20] 563*2^838050-1 is not prime. Res64: 58E483DDC886F21C Time : 31682.0 sec. user=vaughan [2010-06-30 19:01:40] 449*2^838048-1 is not prime. Res64: A10E803C28B38394 Time : 32610.0 sec. user=vaughan [2010-06-30 19:07:24] 469*2^838049-1 is not prime. Res64: 744A7DE7A278BC94 Time : 32657.0 sec. user=vaughan [2010-06-30 19:09:27] 435*2^838064-1 is not prime. Res64: 7D41544E7158EAA4 Time : 29295.0 sec. user=vaughan [2010-06-30 19:11:24] 557*2^838080-1 is not prime. Res64: 5D1E491D01CEF76F Time : 25831.0 sec. user=vaughan [2010-06-30 19:11:51] 557*2^838070-1 is not prime. Res64: DA7D29025C9F9781 Time : 27481.0 sec. user=vaughan [2010-06-30 19:13:30] 561*2^838070-1 is not prime. Res64: E0C1FA6C24F0097B Time : 27549.0 sec. user=vaughan [2010-06-30 19:14:22] 495*2^838046-1 is not prime. Res64: 09F942DD85BBB75C Time : 33854.0 sec. user=vaughan [2010-06-30 19:14:45] 495*2^838057-1 is not prime. Res64: B5106DD20270C740 Time : 31205.0 sec. user=vaughan [2010-06-30 19:15:48] 533*2^838082-1 is not prime. Res64: A77C613C0A241A06 Time : 25843.0 sec. user=vaughan [2010-06-30 19:16:10] 455*2^838056-1 is not prime. Res64: EFE5704623C5E241 Time : 31830.0 sec. user=vaughan [2010-06-30 19:16:28] 429*2^838072-1 is not prime. Res64: 36707E9FF23A6B38 Time : 27222.0 sec. user=vaughan [2010-06-30 19:16:50] 437*2^838058-1 is not prime. Res64: E7CF943F3303DAF7 Time : 31012.0 sec. user=vaughan [2010-06-30 19:17:20] 459*2^838056-1 is not prime. Res64: 40CF548EB2594FC3 Time : 31682.0 sec. user=vaughan [2010-06-30 19:18:01] 447*2^838074-1 is not prime. Res64: 3527C4E22D159EF4 Time : 27212.0 sec. user=vaughan [2010-06-30 19:18:07] 587*2^838050-1 is not prime. Res64: 536826679EC2914E Time : 32608.0 sec. user=vaughan [2010-06-30 19:23:53] 405*2^838052-1 is not prime. Res64: 5772F26B15AD2CAF Time : 32657.0 sec. user=vaughan [2010-06-30 19:28:19] 567*2^838068-1 is not prime. Res64: B3AED10E87E40EE5 Time : 29241.0 sec. user=vaughan [2010-06-30 19:28:32] 507*2^838084-1 is not prime. Res64: 7FF634A6DEAE6337 Time : 25821.0 sec. user=vaughan [2010-06-30 19:29:18] 465*2^838078-1 is not prime. Res64: BC4F3A7DC7AA6603 Time : 27276.0 sec. user=vaughan [2010-06-30 19:30:57] 405*2^838077-1 is not prime. Res64: E456CE2E65EC8E69 Time : 27443.0 sec. user=vaughan [2010-06-30 19:32:15] 483*2^838060-1 is not prime. Res64: 64866F7E1776A1BE Time : 31830.0 sec. user=vaughan [2010-06-30 19:32:55] 431*2^838086-1 is not prime. Res64: D1CF55F9E69B7DF2 Time : 25833.0 sec. user=vaughan [2010-06-30 19:33:20] 519*2^838060-1 is not prime. Res64: A22236135AE30113 Time : 31679.0 sec. user=vaughan [2010-06-30 19:34:25] 417*2^838062-1 is not prime. Res64: EE5443A7A4D06841 Time : 31206.0 sec. user=vaughan [2010-06-30 19:34:27] 439*2^838081-1 is not prime. Res64: D78EED9D985D0375 Time : 27206.0 sec. user=vaughan [2010-06-30 19:34:35] 479*2^838056-1 is not prime. Res64: E96C086002512603 Time : 32609.0 sec. user=vaughan [2010-06-30 19:34:36] 585*2^838050-1 is not prime. Res64: 780A29DA700B800E Time : 33610.0 sec. user=vaughan [2010-06-30 19:36:00] 483*2^838082-1 is not prime. Res64: F4A1ABCF687D8AAE Time : 27190.0 sec. user=vaughan [2010-06-30 19:36:16] 465*2^838063-1 is not prime. Res64: 848D99161835F734 Time : 30945.0 sec. user=vaughan [2010-06-30 19:40:22] 531*2^838057-1 is not prime. Res64: E8A86800B2B99064 Time : 32658.0 sec. user=vaughan [2010-06-30 19:45:39] 593*2^838070-1 is not prime. Res64: 698B26AC603A970F Time : 29078.0 sec. user=vaughan [2010-06-30 19:45:48] 519*2^838088-1 is not prime. Res64: 5F07056BEA9265C9 Time : 25817.0 sec. user=vaughan [2010-06-30 19:46:42] 475*2^838083-1 is not prime. Res64: 3BFE4164BCD0D535 Time : 27278.0 sec. user=vaughan [2010-06-30 19:48:21] 503*2^838062-1 is not prime. Res64: A585657F22D83385 Time : 31832.0 sec. user=vaughan [2010-06-30 19:48:25] 453*2^838083-1 is not prime. Res64: 3CCC2AC6029584A9 Time : 27436.0 sec. user=vaughan [2010-06-30 19:49:20] 519*2^838064-1 is not prime. Res64: 84E24C4E4E133033 Time : 31680.0 sec. user=vaughan [2010-06-30 19:50:14] 437*2^838090-1 is not prime. Res64: 727710A7A2E63195 Time : 25830.0 sec. user=vaughan [2010-06-30 19:51:03] 527*2^838060-1 is not prime. Res64: 8BA65D1FB4891BBF Time : 32609.0 sec. user=vaughan [2010-06-30 19:52:35] 519*2^838067-1 is not prime. Res64: 5132A78B18C903A3 Time : 31112.0 sec. user=vaughan [2010-06-30 19:52:43] 563*2^838084-1 is not prime. Res64: 194C3DBDF69A3852 Time : 27209.0 sec. user=vaughan [2010-06-30 19:53:47] 589*2^838057-1 is not prime. Res64: BD359CE3CB909306 Time : 33297.0 sec. user=vaughan [2010-06-30 19:54:13] 487*2^838085-1 is not prime. Res64: 13B87B033F45931B Time : 27187.0 sec. user=vaughan [2010-06-30 19:54:57] 579*2^838068-1 is not prime. Res64: 8124F4D329411DAA Time : 30834.0 sec. user=vaughan [2010-06-30 19:56:53] 489*2^838061-1 is not prime. Res64: 5105604156BBD57B Time : 32659.0 sec. user=Flatlander [2010-06-30 20:02:17] 405*2^838141-1 is not prime. Res64: 6D46DF03243D19EC Time : 13424.0 sec. user=Flatlander [2010-06-30 20:02:17] 549*2^838141-1 is not prime. Res64: 2A212A1F0770D0BD Time : 13422.0 sec. user=Flatlander [2010-06-30 20:02:18] 407*2^838142-1 is not prime. Res64: 5D1D6A2716750D3E Time : 13422.0 sec. user=Flatlander [2010-06-30 20:02:18] 417*2^838142-1 is not prime. Res64: 491AFB5A2254D3CA Time : 13420.0 sec. user=Flatlander [2010-06-30 20:02:19] 455*2^838142-1 is not prime. Res64: 9EDC61751A73F110 Time : 13419.0 sec. user=vaughan [2010-06-30 20:02:57] 513*2^838080-1 is not prime. Res64: 609EA18C4DA34515 Time : 28924.0 sec. user=vaughan [2010-06-30 20:03:01] 409*2^838093-1 is not prime. Res64: 1C644D0C18D03BC2 Time : 25813.0 sec. user=vaughan [2010-06-30 20:04:25] 531*2^838066-1 is not prime. Res64: 44778152C07AA6F8 Time : 31831.0 sec. user=vaughan [2010-06-30 20:05:19] 549*2^838068-1 is not prime. Res64: BEE927F498822E36 Time : 31680.0 sec. user=vaughan [2010-06-30 20:07:28] 565*2^838093-1 is not prime. Res64: BB25CB62D924A9C7 Time : 25822.0 sec. user=vaughan [2010-06-30 20:07:31] 457*2^838065-1 is not prime. Res64: B0360CB60524D5EC Time : 32609.0 sec. user=vaughan [2010-06-30 20:10:43] 455*2^838070-1 is not prime. Res64: D6DEB314E7DAA44B Time : 31017.0 sec. user=vaughan [2010-06-30 20:10:56] 579*2^838089-1 is not prime. Res64: E2C1DF519D7F8127 Time : 27205.0 sec. user=vaughan [2010-06-30 20:12:25] 413*2^838090-1 is not prime. Res64: C4030D5909189D3A Time : 27182.0 sec. user=vaughan [2010-06-30 20:12:58] 447*2^838065-1 is not prime. Res64: 296629F8233FFA07 Time : 32993.0 sec. user=vaughan [2010-06-30 20:13:22] 521*2^838066-1 is not prime. Res64: E12A9DAB0F03AED0 Time : 32658.0 sec. user=vaughan [2010-06-30 20:13:36] 405*2^838071-1 is not prime. Res64: 07704BCED5FF6D0A Time : 30710.0 sec. user=vaughan [2010-06-30 20:19:21] 405*2^838087-1 is not prime. Res64: 2E160DC40B6878E1 Time : 28195.0 sec. user=vaughan [2010-06-30 20:20:15] 597*2^838096-1 is not prime. Res64: A0D875C48A395976 Time : 25810.0 sec. user=vaughan [2010-06-30 20:20:17] 517*2^838085-1 is not prime. Res64: FF3DEF5C2009292D Time : 28748.0 sec. user=vaughan [2010-06-30 20:20:32] 505*2^838069-1 is not prime. Res64: 13238F6C7489D316 Time : 31834.0 sec. user=vaughan [2010-06-30 20:21:13] 587*2^838086-1 is not prime. Res64: 74C2A38EBA07DD2F Time : 28356.0 sec. user=vaughan [2010-06-30 20:21:19] 453*2^838070-1 is not prime. Res64: 1D95FA8C2B48C88C Time : 31679.0 sec. user=vaughan [2010-06-30 20:23:59] 555*2^838068-1 is not prime. Res64: C110879A529FC7C8 Time : 32609.0 sec. user=vaughan [2010-06-30 20:24:41] 549*2^838097-1 is not prime. Res64: 8FAB8C9F8E84B56C Time : 25817.0 sec. user=vaughan [2010-06-30 20:28:52] 587*2^838076-1 is not prime. Res64: A00D51729867D93A Time : 30928.0 sec. user=vaughan [2010-06-30 20:29:09] 471*2^838093-1 is not prime. Res64: AD3EB6DC27C6B6CD Time : 27196.0 sec. user=vaughan [2010-06-30 20:29:51] 427*2^838069-1 is not prime. Res64: 27FE44B3078F7F33 Time : 32657.0 sec. user=vaughan [2010-06-30 20:30:37] 423*2^838094-1 is not prime. Res64: 0E732E6EEDCF44EF Time : 27176.0 sec. user=vaughan [2010-06-30 20:32:09] 477*2^838069-1 is not prime. Res64: E2911D6BD8E207AD Time : 32681.0 sec. user=vaughan [2010-06-30 20:32:17] 467*2^838082-1 is not prime. Res64: E48A62812A8F9461 Time : 30599.0 sec. user=vaughan [2010-06-30 20:36:38] 507*2^838074-1 is not prime. Res64: 06B51EC31626E528 Time : 31828.0 sec. user=vaughan [2010-06-30 20:36:42] 511*2^838091-1 is not prime. Res64: B282B612D5FA0438 Time : 28191.0 sec. user=vaughan [2010-06-30 20:37:19] 563*2^838076-1 is not prime. Res64: D4979447707F0C8D Time : 31672.0 sec. user=vaughan [2010-06-30 20:37:28] 495*2^838099-1 is not prime. Res64: 7AF45C67CF4FDF48 Time : 25807.0 sec. user=vaughan [2010-06-30 20:37:36] 531*2^838090-1 is not prime. Res64: DD47C3B532168D56 Time : 28588.0 sec. user=vaughan [2010-06-30 20:38:42] 597*2^838090-1 is not prime. Res64: C1325E8CDED545B9 Time : 28357.0 sec. user=vaughan [2010-06-30 20:40:27] 567*2^838070-1 is not prime. Res64: A6C6F9C2FF6A2450 Time : 32609.0 sec. user=Flatlander [2010-06-30 20:41:44] 543*2^838170-1 is not prime. Res64: 0513F3884F2A714A Time : 7259.0 sec. user=Flatlander [2010-06-30 20:41:45] 587*2^838170-1 is not prime. Res64: CD86856AB91103E3 Time : 7258.0 sec. user=Flatlander [2010-06-30 20:41:48] 593*2^838170-1 is not prime. Res64: 8CD2933C4D264908 Time : 7260.0 sec. user=Flatlander [2010-06-30 20:41:48] 411*2^838171-1 is not prime. Res64: 54EA3B715112A60F Time : 7258.0 sec. user=Flatlander [2010-06-30 20:41:49] 415*2^838171-1 is not prime. Res64: 6F31559B7477DFE5 Time : 7258.0 sec. user=vaughan [2010-06-30 20:41:55] 495*2^838100-1 is not prime. Res64: 2F25FC00240323E1 Time : 25811.0 sec. user=vaughan [2010-06-30 20:46:21] 419*2^838072-1 is not prime. Res64: 922C8FE35BE74ED1 Time : 32643.0 sec. user=vaughan [2010-06-30 20:47:03] 483*2^838083-1 is not prime. Res64: 4B8697ACD2E59764 Time : 30839.0 sec. user=vaughan [2010-06-30 20:47:21] 517*2^838097-1 is not prime. Res64: 9A613ED8A8D40DD0 Time : 27187.0 sec. user=vaughan [2010-06-30 20:48:48] 483*2^838098-1 is not prime. Res64: DCD2635955A1EA33 Time : 27169.0 sec. user=vaughan [2010-06-30 20:50:56] 443*2^838086-1 is not prime. Res64: B8E28B0BD6FA7037 Time : 30480.0 sec. user=vaughan [2010-06-30 20:51:21] 573*2^838076-1 is not prime. Res64: 0EA2EA1C155FB5D1 Time : 32369.0 sec. user=Flatlander [2010-06-30 20:51:29] 545*2^838148-1 is not prime. Res64: 240A1AD76756CFE8 Time : 14301.0 sec. user=Flatlander [2010-06-30 20:51:30] 599*2^838148-1 is not prime. Res64: 6AF2294D009CC5A4 Time : 14301.0 sec. user=Flatlander [2010-06-30 20:51:31] 417*2^838149-1 is not prime. Res64: 011895424E0203DC Time : 14301.0 sec. user=Flatlander [2010-06-30 20:51:32] 451*2^838149-1 is not prime. Res64: DEFE2CB4847AABD8 Time : 14302.0 sec. user=Flatlander [2010-06-30 20:51:32] 469*2^838149-1 is not prime. Res64: 2BAABBCCF827C96F Time : 14301.0 sec. user=vaughan [2010-06-30 20:52:45] 511*2^838081-1 is not prime. Res64: 7FF09317BE5FCE6F Time : 31831.0 sec. user=vaughan [2010-06-30 20:53:18] 551*2^838082-1 is not prime. Res64: 7D4D9B3336A7951D Time : 31671.0 sec. user=vaughan [2010-06-30 20:54:46] 591*2^838102-1 is not prime. Res64: CF17E1B051BF5B3B Time : 25806.0 sec. user=vaughan [2010-06-30 20:54:57] 551*2^838094-1 is not prime. Res64: 56A25A097054DB21 Time : 28435.0 sec. user=vaughan [2010-06-30 20:55:33] 493*2^838095-1 is not prime. Res64: 69170C6F23654F6C Time : 28278.0 sec. user=vaughan [2010-06-30 20:56:56] 475*2^838077-1 is not prime. Res64: 66D43BD23F3A6A4C Time : 32598.0 sec. user=vaughan [2010-06-30 20:59:14] 479*2^838104-1 is not prime. Res64: 25FB5836AF3E4F73 Time : 25807.0 sec. user=vaughan [2010-06-30 21:03:12] 425*2^838080-1 is not prime. Res64: 20B614BE9ACA7731 Time : 32663.0 sec. user=vaughan [2010-06-30 21:05:17] 467*2^838088-1 is not prime. Res64: 7FFC2843AF3B8038 Time : 30746.0 sec. user=vaughan [2010-06-30 21:05:35] 567*2^838100-1 is not prime. Res64: 6F8DCE2FE5696E39 Time : 27180.0 sec. user=vaughan [2010-06-30 21:07:00] 417*2^838101-1 is not prime. Res64: 04373EDA185635E2 Time : 27159.0 sec. user=vaughan [2010-06-30 21:09:35] 587*2^838090-1 is not prime. Res64: 4F616BB0ABD38098 Time : 30364.0 sec. user=vaughan [2010-06-30 21:09:39] 533*2^838084-1 is not prime. Res64: 0B4CD4C9C114C113 Time : 31881.0 sec. user=vaughan [2010-06-30 21:10:02] 423*2^838095-1 is not prime. Res64: A55059DD3AC3F05A Time : 29190.0 sec. user=vaughan [2010-06-30 21:10:31] 453*2^838084-1 is not prime. Res64: 792157D6D51675F5 Time : 32057.0 sec. user=vaughan [2010-06-30 21:12:06] 497*2^838108-1 is not prime. Res64: B8CA4DA817F23159 Time : 25804.0 sec. user=vaughan [2010-06-30 21:12:14] 507*2^838098-1 is not prime. Res64: 1B6BA01DB18FCE59 Time : 28271.0 sec. user=vaughan [2010-06-30 21:13:18] 585*2^838085-1 is not prime. Res64: 7717F174DF9BCF38 Time : 31911.0 sec. user=vaughan [2010-06-30 21:14:58] 439*2^838083-1 is not prime. Res64: B2B09C317D77DCF2 Time : 32692.0 sec. user=vaughan [2010-06-30 21:16:31] 597*2^838108-1 is not prime. Res64: 0C06BE566CF26F51 Time : 25807.0 sec. user=vaughan [2010-06-30 21:21:30] 489*2^838083-1 is not prime. Res64: 981F1EE5F057A0F0 Time : 32773.0 sec. user=vaughan [2010-06-30 21:23:24] 413*2^838092-1 is not prime. Res64: B4B7CE2E15A617DF Time : 30655.0 sec. user=vaughan [2010-06-30 21:23:45] 561*2^838105-1 is not prime. Res64: 377C618B3EB5CADC Time : 27169.0 sec. user=vaughan [2010-06-30 21:25:05] 407*2^838106-1 is not prime. Res64: 813008C949D4BE3D Time : 27147.0 sec. user=vaughan [2010-06-30 21:26:05] 567*2^838098-1 is not prime. Res64: C1B686E4D6B809E1 Time : 29068.0 sec. user=vaughan [2010-06-30 21:26:38] 495*2^838088-1 is not prime. Res64: 8D92A046512F69DE Time : 31934.0 sec. user=vaughan [2010-06-30 21:28:16] 469*2^838095-1 is not prime. Res64: DADB9AA4B2B8ABD7 Time : 30254.0 sec. user=vaughan [2010-06-30 21:28:19] 497*2^838098-1 is not prime. Res64: EE6E596A62BF4337 Time : 29239.0 sec. user=vaughan [2010-06-30 21:29:27] 507*2^838113-1 is not prime. Res64: 6B72B8655AEBE00A Time : 25806.0 sec. user=vaughan [2010-06-30 21:29:31] 555*2^838102-1 is not prime. Res64: 65AC24334A48B49A Time : 28119.0 sec. user=vaughan [2010-06-30 21:29:43] 471*2^838090-1 is not prime. Res64: A87FF6448565C971 Time : 31742.0 sec. user=vaughan [2010-06-30 21:32:12] 471*2^838086-1 is not prime. Res64: 40FC84A88C55160D Time : 32739.0 sec. user=vaughan [2010-06-30 21:32:55] 507*2^838089-1 is not prime. Res64: 7810158B88D35DDA Time : 32129.0 sec. user=vaughan [2010-06-30 21:33:47] 527*2^838114-1 is not prime. Res64: 08EEAA949EA984ED Time : 25805.0 sec. user=vaughan [2010-06-30 21:38:30] 429*2^838087-1 is not prime. Res64: 939A3D86C40E8B0D Time : 32803.0 sec. user=vaughan [2010-06-30 21:41:58] 475*2^838097-1 is not prime. Res64: 2911AEC9A2448E3C Time : 30591.0 sec. user=vaughan [2010-06-30 21:41:58] 421*2^838109-1 is not prime. Res64: 0428C392A0CC754D Time : 27164.0 sec. user=vaughan [2010-06-30 21:42:56] 531*2^838091-1 is not prime. Res64: C41269589182705C Time : 31948.0 sec. user=vaughan [2010-06-30 21:43:14] 481*2^838109-1 is not prime. Res64: 2A70251DE171F7D7 Time : 27135.0 sec. user=vaughan [2010-06-30 21:43:30] 579*2^838101-1 is not prime. Res64: 17CC9718EA1551E1 Time : 29069.0 sec. user=vaughan [2010-06-30 21:45:49] 459*2^838101-1 is not prime. Res64: 6734CFF735EB5CAA Time : 29241.0 sec. user=vaughan [2010-06-30 21:46:48] 495*2^838117-1 is not prime. Res64: 44D3CEABB59771F1 Time : 25807.0 sec. user=vaughan [2010-06-30 21:48:11] 433*2^838099-1 is not prime. Res64: AD1CE434638CC11C Time : 30219.0 sec. user=vaughan [2010-06-30 21:48:25] 435*2^838108-1 is not prime. Res64: 0566865289004547 Time : 28075.0 sec. user=vaughan [2010-06-30 21:49:05] 567*2^838090-1 is not prime. Res64: 0DBCC84BDB550066 Time : 32764.0 sec. user=vaughan [2010-06-30 21:49:14] 451*2^838093-1 is not prime. Res64: FA7F19B951793728 Time : 32148.0 sec. user=vaughan [2010-06-30 21:50:11] 495*2^838096-1 is not prime. Res64: CC47F1472A4354B8 Time : 31512.0 sec. user=vaughan [2010-06-30 21:51:06] 577*2^838117-1 is not prime. Res64: EC782295BD0899D5 Time : 25817.0 sec. user=Flatlander [2010-06-30 21:52:01] 581*2^838186-1 is not prime. Res64: 1962743149C40738 Time : 6581.0 sec. user=Flatlander [2010-06-30 21:52:02] 597*2^838186-1 is not prime. Res64: 1EAD4C644C8CCD1A Time : 6581.0 sec. user=Flatlander [2010-06-30 21:52:02] 433*2^838187-1 is not prime. Res64: 6DF70193A39B8872 Time : 6580.0 sec. user=Flatlander [2010-06-30 21:52:03] 435*2^838187-1 is not prime. Res64: 4D1F9239FE2A8D8C Time : 6580.0 sec. user=Flatlander [2010-06-30 21:52:04] 453*2^838187-1 is not prime. Res64: 3AFD45CCFF6C7983 Time : 6580.0 sec. user=vaughan [2010-06-30 21:55:05] 519*2^838091-1 is not prime. Res64: DF145E07635102A7 Time : 32809.0 sec. user=vaughan [2010-06-30 21:59:07] 527*2^838096-1 is not prime. Res64: 1AA23E71D6CCB5C9 Time : 31955.0 sec. user=Flatlander [2010-06-30 21:59:38] 523*2^838195-1 is not prime. Res64: 80A0D9AB25070B43 Time : 4669.0 sec. user=Flatlander [2010-06-30 21:59:39] 583*2^838195-1 is not prime. Res64: A596E3D110AFB546 Time : 4669.0 sec. user=Flatlander [2010-06-30 21:59:40] 447*2^838196-1 is not prime. Res64: C842352EEF74802D Time : 4669.0 sec. user=Flatlander [2010-06-30 21:59:40] 495*2^838196-1 is not prime. Res64: 5F8CEE02DA168192 Time : 4668.0 sec. user=Flatlander [2010-06-30 21:59:41] 507*2^838196-1 is not prime. Res64: 493C6AF26904B977 Time : 4668.0 sec. user=vaughan [2010-06-30 22:00:09] 429*2^838116-1 is not prime. Res64: 4275E6FCC9412B86 Time : 27156.0 sec. user=vaughan [2010-06-30 22:01:03] 595*2^838099-1 is not prime. Res64: B5D767F375FCA7DD Time : 30561.0 sec. user=vaughan [2010-06-30 22:01:21] 405*2^838117-1 is not prime. Res64: 8E8B6CE7A4E0E0E1 Time : 27122.0 sec. user=vaughan [2010-06-30 22:04:02] 479*2^838120-1 is not prime. Res64: D92D369344A0B683 Time : 25843.0 sec. user=vaughan [2010-06-30 22:05:29] 573*2^838096-1 is not prime. Res64: F47B3324EED495AB Time : 32163.0 sec. user=vaughan [2010-06-30 22:05:45] 501*2^838094-1 is not prime. Res64: 42C4ED3113B5C47F Time : 32776.0 sec. user=vaughan [2010-06-30 22:06:11] 529*2^838107-1 is not prime. Res64: 0EE55E3330D4227C Time : 29387.0 sec. user=Flatlander [2010-06-30 22:06:41] 445*2^838163-1 is not prime. Res64: 3690784A2C3FCD07 Time : 14962.0 sec. user=Flatlander [2010-06-30 22:06:42] 553*2^838163-1 is not prime. Res64: 892D09E88BBCFBD9 Time : 14961.0 sec. user=Flatlander [2010-06-30 22:06:43] 571*2^838163-1 is not prime. Res64: DF3CD6652EF79D0B Time : 14961.0 sec. user=Flatlander [2010-06-30 22:06:44] 413*2^838164-1 is not prime. Res64: 1E20E953C9CD1078 Time : 14960.0 sec. user=Flatlander [2010-06-30 22:06:45] 419*2^838164-1 is not prime. Res64: 1E5558B62890349A Time : 14960.0 sec. user=vaughan [2010-06-30 22:07:42] 401*2^838114-1 is not prime. Res64: 833DD094FDFA23D4 Time : 28075.0 sec. user=vaughan [2010-06-30 22:08:25] 529*2^838121-1 is not prime. Res64: 57797F584BC21310 Time : 25850.0 sec. user=vaughan [2010-06-30 22:08:26] 559*2^838103-1 is not prime. Res64: CEF5FC64F8252361 Time : 30202.0 sec. user=vaughan [2010-06-30 22:08:34] 451*2^838107-1 is not prime. Res64: 54F93EE99EDDBE68 Time : 29559.0 sec. user=vaughan [2010-06-30 22:10:59] 589*2^838099-1 is not prime. Res64: 32A7F29C0B09DD9A Time : 31307.0 sec. user=vaughan [2010-06-30 22:11:41] 449*2^838096-1 is not prime. Res64: F07A228759D3227B Time : 32816.0 sec. user=vaughan [2010-06-30 22:15:15] 411*2^838099-1 is not prime. Res64: A471045AFFC7FDAC Time : 31959.0 sec. user=vaughan [2010-06-30 22:18:20] 493*2^838119-1 is not prime. Res64: A36DD8174F92D819 Time : 27201.0 sec. user=vaughan [2010-06-30 22:19:28] 543*2^838119-1 is not prime. Res64: 9F745579F518150B Time : 27168.0 sec. user=vaughan [2010-06-30 22:20:02] 597*2^838105-1 is not prime. Res64: B8D6C3918323AAA8 Time : 30503.0 sec. user=vaughan [2010-06-30 22:21:17] 587*2^838122-1 is not prime. Res64: 36664548A065EFD0 Time : 25857.0 sec. user=vaughan [2010-06-30 22:21:30] 471*2^838099-1 is not prime. Res64: 101A4BC353B7B2AB Time : 32166.0 sec. user=vaughan [2010-06-30 22:22:15] 423*2^838098-1 is not prime. Res64: CC3200C7F8B65AF5 Time : 32778.0 sec. user=vaughan [2010-06-30 22:23:31] 411*2^838111-1 is not prime. Res64: AF599FB8C9CC4D5A Time : 29383.0 sec. user=vaughan [2010-06-30 22:25:43] 513*2^838126-1 is not prime. Res64: 4D5CFDBBF8780D0F Time : 25860.0 sec. user=vaughan [2010-06-30 22:26:06] 593*2^838110-1 is not prime. Res64: 21E680EFCE632F82 Time : 29562.0 sec. user=vaughan [2010-06-30 22:26:29] 555*2^838117-1 is not prime. Res64: 62DEAB1B7E5825FB Time : 28045.0 sec. user=vaughan [2010-06-30 22:28:12] 555*2^838098-1 is not prime. Res64: 31BF33388340D049 Time : 32818.0 sec. user=vaughan [2010-06-30 22:28:33] 569*2^838108-1 is not prime. Res64: 8204486DA8EC6D7C Time : 30168.0 sec. user=vaughan [2010-06-30 22:31:20] 517*2^838101-1 is not prime. Res64: 0917462B232B1EEC Time : 31961.0 sec. user=vaughan [2010-06-30 22:31:42] 437*2^838106-1 is not prime. Res64: 7E6727670B6DAC41 Time : 31131.0 sec. user=vaughan [2010-06-30 22:36:32] 503*2^838122-1 is not prime. Res64: 79A7B56C2B37206F Time : 27239.0 sec. user=vaughan [2010-06-30 22:37:31] 567*2^838102-1 is not prime. Res64: 90C15642EC5BB6B6 Time : 32167.0 sec. user=vaughan [2010-06-30 22:37:40] 507*2^838122-1 is not prime. Res64: 9F0DF1C0131B6D20 Time : 27203.0 sec. user=vaughan [2010-06-30 22:38:38] 563*2^838130-1 is not prime. Res64: 74BA9FEC15F4758C Time : 25863.0 sec. user=vaughan [2010-06-30 22:38:44] 515*2^838100-1 is not prime. Res64: 19297E796090F9D6 Time : 32780.0 sec. user=vaughan [2010-06-30 22:39:02] 513*2^838110-1 is not prime. Res64: F9450816C74FD21E Time : 30356.0 sec. user=vaughan [2010-06-30 22:40:53] 441*2^838117-1 is not prime. Res64: 8A909AC8ED15D3E7 Time : 29382.0 sec. user=vaughan [2010-06-30 22:43:03] 567*2^838132-1 is not prime. Res64: CF0FA469C973D9D5 Time : 25867.0 sec. user=vaughan [2010-06-30 22:43:37] 439*2^838117-1 is not prime. Res64: BB516EC779E5C94B Time : 29565.0 sec. user=vaughan [2010-06-30 22:44:42] 447*2^838101-1 is not prime. Res64: ACDF60FE8090A201 Time : 32819.0 sec. user=vaughan [2010-06-30 22:45:18] 561*2^838121-1 is not prime. Res64: 6A44233AB6FE8064 Time : 28017.0 sec. user=vaughan [2010-06-30 22:47:26] 525*2^838106-1 is not prime. Res64: 71387AF1A1116075 Time : 31960.0 sec. user=vaughan [2010-06-30 22:48:42] 441*2^838115-1 is not prime. Res64: D9358C1826F574C2 Time : 30132.0 sec. user=vaughan [2010-06-30 22:52:24] 441*2^838111-1 is not prime. Res64: FCDF617BD11B0A54 Time : 31086.0 sec. user=vaughan [2010-06-30 22:53:30] 419*2^838108-1 is not prime. Res64: A9132A54726945C0 Time : 32166.0 sec. user=vaughan [2010-06-30 22:54:43] 535*2^838129-1 is not prime. Res64: 5A6EFCF42160C9FA Time : 27242.0 sec. user=vaughan [2010-06-30 22:55:13] 595*2^838103-1 is not prime. Res64: 839656C1530D4D35 Time : 32782.0 sec. user=vaughan [2010-06-30 22:55:51] 577*2^838129-1 is not prime. Res64: 94FC7BDE627C2444 Time : 27203.0 sec. user=vaughan [2010-06-30 22:55:55] 451*2^838135-1 is not prime. Res64: 2C0B6477A2B07078 Time : 25865.0 sec. user=vaughan [2010-06-30 22:57:59] 457*2^838117-1 is not prime. Res64: 7A32F0202B7FCBF2 Time : 30201.0 sec. user=vaughan [2010-06-30 23:00:19] 555*2^838135-1 is not prime. Res64: 5C16550626AA83E4 Time : 25866.0 sec. user=vaughan [2010-06-30 23:01:13] 515*2^838106-1 is not prime. Res64: 21F54B7157922A22 Time : 32820.0 sec. user=vaughan [2010-06-30 23:03:31] 465*2^838109-1 is not prime. Res64: E8DE8EE568801249 Time : 31964.0 sec. user=vaughan [2010-06-30 23:04:08] 505*2^838127-1 is not prime. Res64: D24873B3FB6B2A57 Time : 27992.0 sec. user=vaughan [2010-06-30 23:08:52] 565*2^838119-1 is not prime. Res64: 98F0E55991620F94 Time : 30100.0 sec. user=vaughan [2010-06-30 23:09:31] 555*2^838110-1 is not prime. Res64: 587623B63844B158 Time : 32168.0 sec. user=vaughan [2010-06-30 23:11:42] 567*2^838108-1 is not prime. Res64: 154CD598DB76C5C7 Time : 32785.0 sec. user=vaughan [2010-06-30 23:12:55] 561*2^838133-1 is not prime. Res64: B1929A9847F6218B Time : 27238.0 sec. user=vaughan [2010-06-30 23:13:06] 477*2^838117-1 is not prime. Res64: A5B5B875013941D3 Time : 31042.0 sec. user=vaughan [2010-06-30 23:13:09] 571*2^838137-1 is not prime. Res64: 2E7E375B860E44B9 Time : 25864.0 sec. user=vaughan [2010-06-30 23:13:38] 437*2^838120-1 is not prime. Res64: 5C1EADF6CA25C818 Time : 30305.0 sec. user=vaughan [2010-06-30 23:13:58] 563*2^838134-1 is not prime. Res64: 173790311947CEC3 Time : 27200.0 sec. user=vaughan [2010-06-30 23:16:26] 429*2^838120-1 is not prime. Res64: C3EA57AA38AB7F38 Time : 30487.0 sec. user=vaughan [2010-06-30 23:16:57] 409*2^838121-1 is not prime. Res64: 1FAC49206524C39B Time : 30046.0 sec. user=vaughan [2010-06-30 23:17:36] 579*2^838139-1 is not prime. Res64: 502E099DA66434CD Time : 25870.0 sec. user=vaughan [2010-06-30 23:17:43] 459*2^838109-1 is not prime. Res64: 17245A1C3FDEA4D9 Time : 32822.0 sec. user=vaughan [2010-06-30 23:19:36] 489*2^838115-1 is not prime. Res64: 945F12DD1A76B69E Time : 31966.0 sec. user=vaughan [2010-06-30 23:22:55] 559*2^838133-1 is not prime. Res64: 15A9A5DC15085466 Time : 27963.0 sec. user=Flatlander [2010-06-30 23:23:51] 507*2^838217-1 is not prime. Res64: 2E94781C6805D1E6 Time : 4625.0 sec. user=Flatlander [2010-06-30 23:23:52] 413*2^838218-1 is not prime. Res64: D7FACDCE15DE8678 Time : 4624.0 sec. user=Flatlander [2010-06-30 23:23:52] 421*2^838219-1 is not prime. Res64: D2B35395829844E8 Time : 4623.0 sec. user=Flatlander [2010-06-30 23:23:53] 489*2^838219-1 is not prime. Res64: B76EE693C29E2B4D Time : 4622.0 sec. user=Flatlander [2010-06-30 23:23:53] 505*2^838219-1 is not prime. Res64: C300BBC9B9F4A349 Time : 4621.0 sec. user=vaughan [2010-06-30 23:25:32] 421*2^838117-1 is not prime. Res64: 6189F4C53FDB84B0 Time : 32169.0 sec. user=vaughan [2010-06-30 23:28:11] 435*2^838114-1 is not prime. Res64: F46E6D705E3B81BE Time : 32787.0 sec. user=vaughan [2010-06-30 23:29:00] 525*2^838122-1 is not prime. Res64: D8B704F3F067AFE2 Time : 30064.0 sec. user=vaughan [2010-06-30 23:30:33] 533*2^838142-1 is not prime. Res64: CF8AB4AB5C17666D Time : 25876.0 sec. user=vaughan [2010-06-30 23:31:04] 477*2^838126-1 is not prime. Res64: 25F0B6BC0FAC3CC8 Time : 29986.0 sec. user=vaughan [2010-06-30 23:31:18] 509*2^838136-1 is not prime. Res64: 4C54DB13F4C102D3 Time : 27251.0 sec. user=vaughan [2010-06-30 23:32:24] 519*2^838136-1 is not prime. Res64: AA0DEC1152D90E10 Time : 27214.0 sec. user=vaughan [2010-06-30 23:33:49] 495*2^838121-1 is not prime. Res64: 6C4FB087A6B1D9D6 Time : 30999.0 sec. user=vaughan [2010-06-30 23:34:00] 529*2^838125-1 is not prime. Res64: AE73F8BDE086BC40 Time : 30165.0 sec. user=vaughan [2010-06-30 23:34:13] 531*2^838115-1 is not prime. Res64: C983DF40D6DC01C1 Time : 32824.0 sec. user=Flatlander [2010-06-30 23:34:52] 549*2^838212-1 is not prime. Res64: CBAEF2729826A02E Time : 6166.0 sec. user=Flatlander [2010-06-30 23:34:52] 585*2^838212-1 is not prime. Res64: D78DA373C09B7514 Time : 6165.0 sec. user=Flatlander [2010-06-30 23:34:53] 405*2^838213-1 is not prime. Res64: 94873C255495FE71 Time : 6164.0 sec. user=Flatlander [2010-06-30 23:34:53] 439*2^838213-1 is not prime. Res64: 3BF24CE291801F28 Time : 6163.0 sec. user=Flatlander [2010-06-30 23:34:54] 441*2^838213-1 is not prime. Res64: D062232C9D374402 Time : 6162.0 sec. user=vaughan [2010-06-30 23:35:04] 453*2^838144-1 is not prime. Res64: D27394A6971B564F Time : 25879.0 sec. user=vaughan [2010-06-30 23:35:40] 405*2^838118-1 is not prime. Res64: 02822135649773A5 Time : 31966.0 sec. user=vaughan [2010-06-30 23:35:57] 555*2^838128-1 is not prime. Res64: F9F71AD1D194D9C0 Time : 29894.0 sec. user=vaughan [2010-06-30 23:41:32] 531*2^838119-1 is not prime. Res64: EA721C6BD0B78E90 Time : 32170.0 sec. user=vaughan [2010-06-30 23:41:43] 503*2^838136-1 is not prime. Res64: 176E1B9215DF47F5 Time : 27931.0 sec. user=vaughan [2010-06-30 23:44:40] 549*2^838117-1 is not prime. Res64: 0478774C934751D3 Time : 32788.0 sec. user=vaughan [2010-06-30 23:48:08] 567*2^838145-1 is not prime. Res64: 83AB60CBAE049E97 Time : 25896.0 sec. user=vaughan [2010-06-30 23:48:33] 469*2^838131-1 is not prime. Res64: 9A017C84EB44EFA0 Time : 29991.0 sec. user=vaughan [2010-06-30 23:49:09] 441*2^838131-1 is not prime. Res64: 6B396901EF750368 Time : 30028.0 sec. user=vaughan [2010-06-30 23:49:47] 473*2^838140-1 is not prime. Res64: 0728D71C21FAA7CA Time : 27267.0 sec. user=vaughan [2010-06-30 23:50:43] 403*2^838119-1 is not prime. Res64: 3BB2C082BF10DA1A Time : 32825.0 sec. user=vaughan [2010-06-30 23:50:52] 557*2^838140-1 is not prime. Res64: C9BB3BFBE674928E Time : 27232.0 sec. user=vaughan [2010-06-30 23:51:31] 493*2^838131-1 is not prime. Res64: DED57CDE06F7F8FE Time : 30168.0 sec. user=vaughan [2010-06-30 23:51:45] 591*2^838121-1 is not prime. Res64: EB9C8C285B1A880E Time : 31967.0 sec. user=vaughan [2010-06-30 23:52:38] 483*2^838147-1 is not prime. Res64: EC986F4ECE50DD48 Time : 25899.0 sec. user=vaughan [2010-06-30 23:54:31] 569*2^838128-1 is not prime. Res64: B3D6A16C061E7520 Time : 30955.0 sec. user=vaughan [2010-06-30 23:54:59] 411*2^838134-1 is not prime. Res64: 6055068045B3BFAC Time : 29744.0 sec. user=Flatlander [2010-06-30 23:57:20] 461*2^838214-1 is not prime. Res64: F88C61C2C1FC5368 Time : 7057.0 sec. user=Flatlander [2010-06-30 23:57:21] 477*2^838214-1 is not prime. Res64: D3DB83E5D20F2C31 Time : 7057.0 sec. user=Flatlander [2010-06-30 23:57:21] 483*2^838214-1 is not prime. Res64: 44F27CB643E69C0D Time : 7055.0 sec. user=Flatlander [2010-06-30 23:57:22] 501*2^838215-1 is not prime. Res64: 5EFB37E8D90D1DE8 Time : 7054.0 sec. user=Flatlander [2010-06-30 23:57:22] 553*2^838215-1 is not prime. Res64: FF3DA37A1725A1D8 Time : 7053.0 sec. user=vaughan [2010-06-30 23:57:32] 501*2^838122-1 is not prime. Res64: BB1285767C89389F Time : 32170.0 sec. user=vaughan [2010-07-01 00:00:31] 483*2^838140-1 is not prime. Res64: 573D1813E94D9D01 Time : 27904.0 sec.