user=vaughan [2010-07-08 00:04:35] 551*2^840362-1 is not prime. Res64: CA370EB03972C342 Time : 2017.0 sec. user=vaughan [2010-07-08 00:07:05] 451*2^840363-1 is not prime. Res64: 67C4C351DFB8C7FA Time : 1824.0 sec. user=vaughan [2010-07-08 00:09:12] 485*2^840364-1 is not prime. Res64: AB3BE7564DB9BA79 Time : 966.0 sec. user=vaughan [2010-07-08 00:10:08] 519*2^840364-1 is not prime. Res64: 90AFA24997D1889B Time : 982.0 sec. user=vaughan [2010-07-08 00:12:48] 481*2^840365-1 is not prime. Res64: 5F871BFE80479EDC Time : 982.0 sec. user=vaughan [2010-07-08 00:15:07] 525*2^840365-1 is not prime. Res64: C3BB1D38DEB52647 Time : 994.0 sec. user=vaughan [2010-07-08 00:15:14] 579*2^840364-1 is not prime. Res64: D7A9DD1843D7CB3A Time : 1189.0 sec. user=vaughan [2010-07-08 00:18:27] 585*2^840362-1 is not prime. Res64: 92D62EEA8AFFCA33 Time : 2831.0 sec. user=vaughan [2010-07-08 00:19:56] 519*2^840365-1 is not prime. Res64: 086AE05E0B401200 Time : 1379.0 sec. user=vaughan [2010-07-08 00:25:18] 437*2^840366-1 is not prime. Res64: B5E806DA909E9DFD Time : 966.0 sec. user=vaughan [2010-07-08 00:26:30] 465*2^840366-1 is not prime. Res64: 9E560C6DE5692000 Time : 982.0 sec. user=vaughan [2010-07-08 00:27:42] 435*2^840364-1 is not prime. Res64: 841C711AC6ACE75C Time : 2844.0 sec. user=vaughan [2010-07-08 00:29:10] 551*2^840366-1 is not prime. Res64: 9EEBDCBDC584AB50 Time : 982.0 sec. user=vaughan [2010-07-08 00:31:42] 593*2^840366-1 is not prime. Res64: 5435505CF7AB0C4D Time : 995.0 sec. user=vaughan [2010-07-08 00:35:02] 471*2^840367-1 is not prime. Res64: 811233CED3E2856D Time : 1188.0 sec. user=vaughan [2010-07-08 00:37:31] 589*2^840365-1 is not prime. Res64: 96B27C5118416767 Time : 1826.0 sec. user=vaughan [2010-07-08 00:38:13] 565*2^840365-1 is not prime. Res64: 6E12196AC50DD37D Time : 2018.0 sec. user=vaughan [2010-07-08 00:41:23] 595*2^840367-1 is not prime. Res64: 5B96E225E5C3E408 Time : 965.0 sec. user=vaughan [2010-07-08 00:42:15] 505*2^840367-1 is not prime. Res64: 498AD1D005B673D1 Time : 1339.0 sec. user=vaughan [2010-07-08 00:42:52] 417*2^840368-1 is not prime. Res64: 84AA99187D0F67F6 Time : 982.0 sec. user=vaughan [2010-07-08 00:45:35] 507*2^840368-1 is not prime. Res64: F6C9DA7493358FAA Time : 985.0 sec. user=vaughan [2010-07-08 00:48:15] 525*2^840368-1 is not prime. Res64: 0F2FCD98DBF7657B Time : 994.0 sec. user=vaughan [2010-07-08 00:55:05] 533*2^840368-1 is not prime. Res64: 205F89459F932ED1 Time : 1203.0 sec. user=vaughan [2010-07-08 00:57:29] 405*2^840372-1 is not prime. Res64: 1C78B8D9F4ECA4A9 Time : 966.0 sec. user=vaughan [2010-07-08 00:59:13] 437*2^840372-1 is not prime. Res64: 1FA90871FF38FD39 Time : 981.0 sec. user=vaughan [2010-07-08 01:01:57] 485*2^840372-1 is not prime. Res64: 45B1FA28A8E624E6 Time : 983.0 sec. user=vaughan [2010-07-08 01:04:48] 419*2^840372-1 is not prime. Res64: 1B5A37C37BF37BC2 Time : 1353.0 sec. user=vaughan [2010-07-08 01:04:51] 405*2^840373-1 is not prime. Res64: 9E285FD1C0F25C64 Time : 996.0 sec. user=vaughan [2010-07-08 01:05:14] 483*2^840367-1 is not prime. Res64: 73915821D434D699 Time : 2808.0 sec. user=vaughan [2010-07-08 01:08:47] 507*2^840369-1 is not prime. Res64: 479BBDF513861840 Time : 1877.0 sec. user=vaughan [2010-07-08 01:13:35] 567*2^840373-1 is not prime. Res64: FB82B936E07597BD Time : 966.0 sec. user=vaughan [2010-07-08 01:15:02] 537*2^840373-1 is not prime. Res64: 3328C5D37A1C4E88 Time : 1198.0 sec. user=vaughan [2010-07-08 01:15:21] 437*2^840368-1 is not prime. Res64: 26FBBD8BC291619C Time : 2859.0 sec. user=vaughan [2010-07-08 01:15:35] 425*2^840374-1 is not prime. Res64: 9FC04F6D8F6AE218 Time : 982.0 sec. user=vaughan [2010-07-08 01:18:19] 483*2^840374-1 is not prime. Res64: 430F68B3C12F02CD Time : 983.0 sec. user=vaughan [2010-07-08 01:21:25] 567*2^840374-1 is not prime. Res64: 09BA09ECB3B71DFB Time : 995.0 sec. user=vaughan [2010-07-08 01:24:55] 595*2^840371-1 is not prime. Res64: 5BFFAB56ED4C5E1D Time : 2803.0 sec. user=vaughan [2010-07-08 01:29:42] 511*2^840375-1 is not prime. Res64: 29650748991491C1 Time : 967.0 sec. user=vaughan [2010-07-08 01:31:56] 453*2^840376-1 is not prime. Res64: 893A471936E0E438 Time : 981.0 sec. user=vaughan [2010-07-08 01:34:41] 495*2^840376-1 is not prime. Res64: 59F31492919FA200 Time : 983.0 sec. user=vaughan [2010-07-08 01:34:54] 555*2^840375-1 is not prime. Res64: 015A5C457A5A2C6A Time : 1192.0 sec. user=vaughan [2010-07-08 01:37:59] 537*2^840376-1 is not prime. Res64: C72AE5BA7ED8A646 Time : 994.0 sec. user=vaughan [2010-07-08 01:39:37] 469*2^840375-1 is not prime. Res64: B425F03FF09967B9 Time : 1850.0 sec. user=vaughan [2010-07-08 01:45:47] 405*2^840377-1 is not prime. Res64: 8EDCD207DB79C548 Time : 966.0 sec. user=vaughan [2010-07-08 01:48:18] 435*2^840377-1 is not prime. Res64: B31123BD3D7ED94D Time : 982.0 sec. user=vaughan [2010-07-08 01:51:04] 401*2^840378-1 is not prime. Res64: 5AA3FA5B86170C52 Time : 984.0 sec. user=vaughan [2010-07-08 01:52:30] 429*2^840375-1 is not prime. Res64: 09494E3F8C8110BE Time : 2837.0 sec. user=vaughan [2010-07-08 01:54:32] 433*2^840379-1 is not prime. Res64: B0C092E3BEA9A65D Time : 993.0 sec. user=vaughan [2010-07-08 01:54:54] 485*2^840378-1 is not prime. Res64: 7F2ED9F7CEE4BDF3 Time : 1200.0 sec. user=vaughan [2010-07-08 02:01:53] 481*2^840379-1 is not prime. Res64: 6582057BF5D04F05 Time : 966.0 sec. user=vaughan [2010-07-08 02:04:21] 429*2^840376-1 is not prime. Res64: 6D07999DC4A77288 Time : 2940.0 sec. user=vaughan [2010-07-08 02:04:40] 483*2^840379-1 is not prime. Res64: E52C90FC95E94CD6 Time : 982.0 sec. user=vaughan [2010-07-08 02:07:27] 499*2^840379-1 is not prime. Res64: 42F8726969987092 Time : 984.0 sec. user=vaughan [2010-07-08 02:10:29] 471*2^840379-1 is not prime. Res64: ACB8E68B1C4DD5D4 Time : 1852.0 sec. user=vaughan [2010-07-08 02:11:06] 531*2^840379-1 is not prime. Res64: 817C80D474BEBC8D Time : 994.0 sec. user=vaughan [2010-07-08 02:14:56] 437*2^840380-1 is not prime. Res64: D246DCE571C04001 Time : 1203.0 sec. user=vaughan [2010-07-08 02:18:01] 447*2^840380-1 is not prime. Res64: E11AFB120A2DDD3E Time : 968.0 sec. user=vaughan [2010-07-08 02:21:02] 483*2^840380-1 is not prime. Res64: 004103B018E11F6A Time : 982.0 sec. user=vaughan [2010-07-08 02:23:49] 495*2^840380-1 is not prime. Res64: 5A48F2583F941CEB Time : 982.0 sec. user=vaughan [2010-07-08 02:27:41] 563*2^840380-1 is not prime. Res64: 197C9C2E2A3B0613 Time : 995.0 sec. user=vaughan [2010-07-08 02:34:06] 459*2^840381-1 is not prime. Res64: FF25791123AAD926 Time : 966.0 sec. user=vaughan [2010-07-08 02:35:18] 585*2^840380-1 is not prime. Res64: 63142553508B3E62 Time : 1222.0 sec. user=vaughan [2010-07-08 02:37:22] 561*2^840374-1 is not prime. Res64: 246DBC5FC5E503D1 Time : 5555.0 sec. user=vaughan [2010-07-08 02:37:24] 507*2^840381-1 is not prime. Res64: 13D693644CEE599F Time : 982.0 sec. user=vaughan [2010-07-08 02:39:09] 511*2^840379-1 is not prime. Res64: FC9C3F4C5ADF21A2 Time : 2800.0 sec. user=vaughan [2010-07-08 02:40:14] 405*2^840382-1 is not prime. Res64: B2A20615F366ADDD Time : 985.0 sec. user=vaughan [2010-07-08 02:44:30] 413*2^840382-1 is not prime. Res64: A6D207D658BD73A3 Time : 1009.0 sec. user=vaughan [2010-07-08 02:44:38] 573*2^840376-1 is not prime. Res64: 1D6D3C817925C179 Time : 4783.0 sec. user=vaughan [2010-07-08 02:48:35] 503*2^840380-1 is not prime. Res64: 5540714C5B888E32 Time : 2286.0 sec. user=vaughan [2010-07-08 02:50:18] 425*2^840382-1 is not prime. Res64: 997982C0CD25AF76 Time : 972.0 sec. user=vaughan [2010-07-08 02:53:55] 507*2^840382-1 is not prime. Res64: 466A7A8C46F71C36 Time : 991.0 sec. user=vaughan [2010-07-08 02:55:24] 435*2^840382-1 is not prime. Res64: 1C2E7140C23C4DC0 Time : 1207.0 sec. user=vaughan [2010-07-08 02:55:47] 455*2^840380-1 is not prime. Res64: 0F011C1C2FE9652C Time : 3087.0 sec. user=vaughan [2010-07-08 02:56:47] 591*2^840382-1 is not prime. Res64: B0A234087D323932 Time : 993.0 sec. user=vaughan [2010-07-08 03:01:22] 505*2^840383-1 is not prime. Res64: 52EDE73D1507CA07 Time : 1013.0 sec. user=vaughan [2010-07-08 03:06:30] 425*2^840384-1 is not prime. Res64: 008844B6BDEB69FC Time : 972.0 sec. user=vaughan [2010-07-08 03:10:27] 465*2^840384-1 is not prime. Res64: E7FDD4C8AC2A7206 Time : 992.0 sec. user=vaughan [2010-07-08 03:12:32] 483*2^840382-1 is not prime. Res64: 3A67E8DB2EF34DCB Time : 2111.0 sec. user=vaughan [2010-07-08 03:12:41] 523*2^840383-1 is not prime. Res64: BA1D190FF3DDB126 Time : 1683.0 sec. user=vaughan [2010-07-08 03:13:23] 587*2^840384-1 is not prime. Res64: D52C315FEAC4B39A Time : 996.0 sec. user=vaughan [2010-07-08 03:15:28] 497*2^840384-1 is not prime. Res64: E614E49FF25021E4 Time : 1204.0 sec. user=vaughan [2010-07-08 03:18:07] 597*2^840385-1 is not prime. Res64: 289D45A150814F4E Time : 1005.0 sec. user=vaughan [2010-07-08 03:19:03] 413*2^840384-1 is not prime. Res64: 7AF80DDFC5D458E2 Time : 1828.0 sec. user=vaughan [2010-07-08 03:22:38] 561*2^840386-1 is not prime. Res64: 01693C6BE0601BFF Time : 968.0 sec. user=vaughan [2010-07-08 03:25:47] 533*2^840382-1 is not prime. Res64: 1BA19412FE62C6F5 Time : 2798.0 sec. user=vaughan [2010-07-08 03:26:51] 567*2^840386-1 is not prime. Res64: FD4331B27114F5E9 Time : 984.0 sec. user=vaughan [2010-07-08 03:29:46] 445*2^840387-1 is not prime. Res64: 5A13A7171AA37638 Time : 984.0 sec. user=vaughan [2010-07-08 03:34:42] 511*2^840387-1 is not prime. Res64: E97FB2360B8A7E47 Time : 995.0 sec. user=vaughan [2010-07-08 03:35:28] 465*2^840387-1 is not prime. Res64: BCBF20686232C839 Time : 1200.0 sec. user=vaughan [2010-07-08 03:38:50] 585*2^840387-1 is not prime. Res64: DFFA6F843910DA7F Time : 973.0 sec. user=vaughan [2010-07-08 03:41:45] 403*2^840387-1 is not prime. Res64: FE8A7B1CC7202C61 Time : 1745.0 sec. user=vaughan [2010-07-08 03:43:16] 507*2^840388-1 is not prime. Res64: F4FC69E5B13A45F5 Time : 985.0 sec. user=vaughan [2010-07-08 03:43:20] 513*2^840384-1 is not prime. Res64: 79658B23AB9318A5 Time : 2853.0 sec. user=vaughan [2010-07-08 03:44:42] 585*2^840386-1 is not prime. Res64: 61916E37FEE08B47 Time : 1931.0 sec. user=vaughan [2010-07-08 03:46:12] 417*2^840389-1 is not prime. Res64: 612FF9B9B9922676 Time : 987.0 sec. user=vaughan [2010-07-08 03:49:04] 571*2^840387-1 is not prime. Res64: 0DFD0A595DC07DEF Time : 1801.0 sec. user=vaughan [2010-07-08 03:51:21] 451*2^840389-1 is not prime. Res64: AB90FD3C3F7E80C1 Time : 999.0 sec. user=vaughan [2010-07-08 03:54:57] 431*2^840390-1 is not prime. Res64: 5E3C03D012315640 Time : 967.0 sec. user=vaughan [2010-07-08 03:55:31] 561*2^840389-1 is not prime. Res64: F6AB01580552818B Time : 1203.0 sec. user=vaughan [2010-07-08 03:59:38] 513*2^840390-1 is not prime. Res64: 6A39D6DA607469B2 Time : 982.0 sec. user=vaughan [2010-07-08 04:02:34] 447*2^840392-1 is not prime. Res64: DCFAA58E2F00BE96 Time : 983.0 sec. user=vaughan [2010-07-08 04:07:59] 489*2^840392-1 is not prime. Res64: D467168EAF877E77 Time : 999.0 sec. user=vaughan [2010-07-08 04:09:39] 473*2^840390-1 is not prime. Res64: 492BDFE36CAB7C11 Time : 1674.0 sec. user=vaughan [2010-07-08 04:11:04] 495*2^840392-1 is not prime. Res64: DFEAAB3C1E882248 Time : 967.0 sec. user=vaughan [2010-07-08 04:13:29] 413*2^840388-1 is not prime. Res64: C067B427315837B2 Time : 2862.0 sec. user=vaughan [2010-07-08 04:15:32] 539*2^840392-1 is not prime. Res64: 6C90BF7E6A8F012E Time : 1202.0 sec. user=vaughan [2010-07-08 04:15:59] 585*2^840392-1 is not prime. Res64: 76A101C4C9D5D107 Time : 981.0 sec. user=vaughan [2010-07-08 04:18:57] 599*2^840392-1 is not prime. Res64: 730B937AE98AFC49 Time : 984.0 sec. user=vaughan [2010-07-08 04:19:24] 555*2^840391-1 is not prime. Res64: 1EB165A978BE98BF Time : 2083.0 sec. user=vaughan [2010-07-08 04:19:41] 449*2^840392-1 is not prime. Res64: 5B7BCA1F59D38901 Time : 1837.0 sec. user=vaughan [2010-07-08 04:24:34] 471*2^840393-1 is not prime. Res64: 6595E8B452605836 Time : 996.0 sec. user=vaughan [2010-07-08 04:27:11] 549*2^840393-1 is not prime. Res64: 2DDCF7E2BFD6EC1F Time : 967.0 sec. user=vaughan [2010-07-08 04:30:26] 537*2^840390-1 is not prime. Res64: 69947A9DB96D4B91 Time : 2826.0 sec. user=vaughan [2010-07-08 04:32:23] 411*2^840394-1 is not prime. Res64: 85D9D5873F7795AD Time : 984.0 sec. user=vaughan [2010-07-08 04:35:19] 409*2^840395-1 is not prime. Res64: 04BADD723A0B7147 Time : 983.0 sec. user=vaughan [2010-07-08 04:35:33] 577*2^840393-1 is not prime. Res64: D55B3A069EEA85C5 Time : 1202.0 sec. user=vaughan [2010-07-08 04:41:08] 495*2^840395-1 is not prime. Res64: 8077DC974DCC2819 Time : 994.0 sec. user=vaughan [2010-07-08 04:41:37] 501*2^840393-1 is not prime. Res64: 0D20B1FA900D430E Time : 1919.0 sec. user=vaughan [2010-07-08 04:43:18] 531*2^840395-1 is not prime. Res64: 1CBAD4DFA7EF4B1D Time : 967.0 sec. user=vaughan [2010-07-08 04:48:44] 515*2^840396-1 is not prime. Res64: BA8D4E0D8DFE068B Time : 981.0 sec. user=vaughan [2010-07-08 04:50:06] 453*2^840395-1 is not prime. Res64: 64779CA21C61F19B Time : 1825.0 sec. user=vaughan [2010-07-08 04:51:41] 525*2^840396-1 is not prime. Res64: F2F0E4320B679AF3 Time : 982.0 sec. user=vaughan [2010-07-08 04:55:35] 537*2^840396-1 is not prime. Res64: 72675B12B2BFE4AC Time : 1202.0 sec. user=vaughan [2010-07-08 04:57:43] 597*2^840396-1 is not prime. Res64: 01C6A3B0FE4F5C10 Time : 995.0 sec. user=vaughan [2010-07-08 04:59:23] 457*2^840397-1 is not prime. Res64: B7D724EE399BD0AA Time : 966.0 sec. user=vaughan [2010-07-08 05:00:10] 571*2^840393-1 is not prime. Res64: B55CA9DD8B987B0B Time : 2802.0 sec. user=vaughan [2010-07-08 05:01:01] 421*2^840395-1 is not prime. Res64: F500128010A2518A Time : 2498.0 sec. user=vaughan [2010-07-08 05:05:05] 517*2^840397-1 is not prime. Res64: A74FFA3AC7F9A3E4 Time : 981.0 sec. user=vaughan [2010-07-08 05:08:03] 483*2^840398-1 is not prime. Res64: 0C7F68FC9823BE8F Time : 982.0 sec. user=vaughan [2010-07-08 05:14:18] 583*2^840399-1 is not prime. Res64: C024CD7ABD4772FA Time : 996.0 sec. user=vaughan [2010-07-08 05:15:30] 595*2^840399-1 is not prime. Res64: 4A9D03BBE51D0485 Time : 967.0 sec. user=vaughan [2010-07-08 05:15:40] 543*2^840399-1 is not prime. Res64: 1629CF16D64C6015 Time : 1205.0 sec. user=vaughan [2010-07-08 05:18:14] 405*2^840396-1 is not prime. Res64: A833456DE222A4A0 Time : 2868.0 sec. user=vaughan [2010-07-08 05:20:32] 473*2^840398-1 is not prime. Res64: 7696EC814D0CA730 Time : 1826.0 sec. user=vaughan [2010-07-08 05:21:27] 549*2^840400-1 is not prime. Res64: E7D55AD3C7BBEA27 Time : 982.0 sec. user=vaughan [2010-07-08 05:24:26] 563*2^840400-1 is not prime. Res64: 1056B47A2B1A920B Time : 983.0 sec. user=vaughan [2010-07-08 05:30:53] 447*2^840401-1 is not prime. Res64: AB44583557EA3BDC Time : 996.0 sec. user=vaughan [2010-07-08 05:31:36] 549*2^840401-1 is not prime. Res64: 3397D1B276C5A8F4 Time : 966.0 sec. user=vaughan [2010-07-08 05:31:48] 421*2^840397-1 is not prime. Res64: 265C0FFCE0EB6D1D Time : 3011.0 sec. user=vaughan [2010-07-08 05:35:46] 501*2^840402-1 is not prime. Res64: C4927819441F33A0 Time : 1207.0 sec. user=vaughan [2010-07-08 05:37:48] 537*2^840402-1 is not prime. Res64: C6E6290FC4690CAA Time : 981.0 sec. user=vaughan [2010-07-08 05:40:51] 429*2^840403-1 is not prime. Res64: FAFA648D5BDBE10C Time : 985.0 sec. user=vaughan [2010-07-08 05:40:58] 489*2^840400-1 is not prime. Res64: F4A032D1BF1705EE Time : 2397.0 sec. user=vaughan [2010-07-08 05:47:27] 455*2^840400-1 is not prime. Res64: F99E8B1A6D826999 Time : 2838.0 sec. user=vaughan [2010-07-08 05:47:28] 595*2^840403-1 is not prime. Res64: 16232E4C6366CA0B Time : 995.0 sec. user=vaughan [2010-07-08 05:47:43] 417*2^840404-1 is not prime. Res64: 35DC39D0D387A534 Time : 967.0 sec. user=vaughan [2010-07-08 05:50:59] 507*2^840402-1 is not prime. Res64: E744EC8EF936CA6B Time : 1827.0 sec. user=vaughan [2010-07-08 05:54:53] 457*2^840405-1 is not prime. Res64: BBAFEC6D4CD84956 Time : 1025.0 sec. user=vaughan [2010-07-08 05:55:52] 447*2^840405-1 is not prime. Res64: DDD0C6C0E165E95F Time : 1206.0 sec. user=vaughan [2010-07-08 05:57:12] 511*2^840405-1 is not prime. Res64: 0DACAA4F96E368F5 Time : 981.0 sec. user=vaughan [2010-07-08 06:03:49] 591*2^840406-1 is not prime. Res64: CCA069F5D5BE4D76 Time : 967.0 sec. user=vaughan [2010-07-08 06:04:02] 573*2^840406-1 is not prime. Res64: 3ECB73DD18EE4136 Time : 995.0 sec. user=vaughan [2010-07-08 06:05:59] 503*2^840402-1 is not prime. Res64: BEE8792D62591FDB Time : 2866.0 sec. user=vaughan [2010-07-08 06:06:27] 517*2^840405-1 is not prime. Res64: 78D1F891F1828E3A Time : 1529.0 sec. user=vaughan [2010-07-08 06:06:58] 533*2^840404-1 is not prime. Res64: 7B700AFE6FF71816 Time : 2110.0 sec. user=vaughan [2010-07-08 06:11:16] 549*2^840407-1 is not prime. Res64: E0212CD6063EDD83 Time : 984.0 sec. user=vaughan [2010-07-08 06:13:36] 589*2^840407-1 is not prime. Res64: B16BAEE675A61367 Time : 984.0 sec. user=vaughan [2010-07-08 06:16:29] 585*2^840407-1 is not prime. Res64: 00751F2D25D81FC0 Time : 1237.0 sec. user=vaughan [2010-07-08 06:19:57] 419*2^840408-1 is not prime. Res64: 318DA85029AE1822 Time : 968.0 sec. user=vaughan [2010-07-08 06:20:41] 549*2^840408-1 is not prime. Res64: 7BD6BA54B8C87721 Time : 999.0 sec. user=vaughan [2010-07-08 06:21:09] 493*2^840407-1 is not prime. Res64: 80979342DE0860C7 Time : 1810.0 sec. user=vaughan [2010-07-08 06:24:26] 439*2^840409-1 is not prime. Res64: D2F4C54AD2772521 Time : 1079.0 sec. user=vaughan [2010-07-08 06:25:36] 537*2^840409-1 is not prime. Res64: 163E3FBB4B6501A7 Time : 1119.0 sec. user=vaughan [2010-07-08 06:27:39] 411*2^840410-1 is not prime. Res64: 22D1344AC40703D2 Time : 983.0 sec. user=vaughan [2010-07-08 06:30:01] 453*2^840410-1 is not prime. Res64: 30F1AD88540C24A9 Time : 985.0 sec. user=vaughan [2010-07-08 06:34:35] 567*2^840406-1 is not prime. Res64: 0DDF50AF5F7D8375 Time : 2828.0 sec. user=vaughan [2010-07-08 06:36:05] 593*2^840410-1 is not prime. Res64: 2026F599E52BDE00 Time : 968.0 sec. user=vaughan [2010-07-08 06:37:19] 409*2^840411-1 is not prime. Res64: 4AEF75DFCE4EAA26 Time : 999.0 sec. user=vaughan [2010-07-08 06:37:21] 585*2^840410-1 is not prime. Res64: 431AA1CF6D1D371E Time : 1253.0 sec. user=vaughan [2010-07-08 06:42:29] 579*2^840411-1 is not prime. Res64: 03BEEB69E49A20CF Time : 1083.0 sec. user=vaughan [2010-07-08 06:43:13] 413*2^840412-1 is not prime. Res64: CE2404EA5B9685CE Time : 1057.0 sec. user=vaughan [2010-07-08 06:44:02] 497*2^840412-1 is not prime. Res64: 17F9A32047A8D865 Time : 983.0 sec. user=vaughan [2010-07-08 06:46:24] 525*2^840412-1 is not prime. Res64: 38A0838F24628377 Time : 983.0 sec. user=vaughan [2010-07-08 06:51:11] 459*2^840411-1 is not prime. Res64: EF5DE51AD246A8E4 Time : 1802.0 sec. user=vaughan [2010-07-08 06:52:13] 475*2^840413-1 is not prime. Res64: BF5123403D3153CD Time : 968.0 sec. user=vaughan [2010-07-08 06:53:14] 421*2^840409-1 is not prime. Res64: 4F09BDB3E367553A Time : 2836.0 sec. user=vaughan [2010-07-08 06:53:58] 481*2^840413-1 is not prime. Res64: 689A668CCDC97231 Time : 999.0 sec. user=vaughan [2010-07-08 06:57:53] 525*2^840413-1 is not prime. Res64: 30C65BAD7591C7B2 Time : 1232.0 sec. user=vaughan [2010-07-08 07:00:25] 461*2^840414-1 is not prime. Res64: 13EBF00893FF5DD1 Time : 983.0 sec. user=vaughan [2010-07-08 07:02:51] 527*2^840414-1 is not prime. Res64: 8DCFA73830E2F0D4 Time : 987.0 sec. user=vaughan [2010-07-08 07:03:36] 411*2^840414-1 is not prime. Res64: 49F17A73AD5C5853 Time : 1267.0 sec. user=vaughan [2010-07-08 07:04:00] 437*2^840414-1 is not prime. Res64: A26652819F649CEA Time : 1247.0 sec. user=vaughan [2010-07-08 07:08:22] 567*2^840414-1 is not prime. Res64: 2AF6FB4BB1454459 Time : 970.0 sec. user=vaughan [2010-07-08 07:10:38] 593*2^840414-1 is not prime. Res64: 486016BE31592EE6 Time : 1000.0 sec. user=vaughan [2010-07-08 07:16:47] 433*2^840415-1 is not prime. Res64: 8A0254AFC7E5137A Time : 982.0 sec. user=vaughan [2010-07-08 07:17:59] 405*2^840415-1 is not prime. Res64: 4D03A817DA4A7C30 Time : 1206.0 sec. user=vaughan [2010-07-08 07:19:16] 441*2^840415-1 is not prime. Res64: 61D97BE8FF24C82A Time : 985.0 sec. user=vaughan [2010-07-08 07:21:05] 451*2^840415-1 is not prime. Res64: 3670181D89E07887 Time : 1049.0 sec. user=vaughan [2010-07-08 07:21:33] 481*2^840415-1 is not prime. Res64: FDC2D5E96155049C Time : 1054.0 sec. user=vaughan [2010-07-08 07:22:15] 439*2^840413-1 is not prime. Res64: 7BF922675A5719B7 Time : 2860.0 sec. user=vaughan [2010-07-08 07:22:30] 551*2^840414-1 is not prime. Res64: 90D5E1EDCDCF32B0 Time : 1880.0 sec. user=vaughan [2010-07-08 07:24:35] 523*2^840415-1 is not prime. Res64: 6A144A39A87083A9 Time : 974.0 sec. user=vaughan [2010-07-08 07:27:19] 553*2^840415-1 is not prime. Res64: 52D74B20D5B82CB0 Time : 1002.0 sec. user=vaughan [2010-07-08 07:33:07] 561*2^840415-1 is not prime. Res64: 1BE2587FC94F5B63 Time : 980.0 sec. user=vaughan [2010-07-08 07:35:41] 447*2^840416-1 is not prime. Res64: ACFD0CECEA47F4DD Time : 985.0 sec. user=vaughan [2010-07-08 07:38:32] 595*2^840415-1 is not prime. Res64: 3E7C2BEAC76AA703 Time : 1234.0 sec. user=vaughan [2010-07-08 07:38:36] 483*2^840416-1 is not prime. Res64: 10AE7CAD6F61A7B9 Time : 1051.0 sec. user=vaughan [2010-07-08 07:39:07] 573*2^840416-1 is not prime. Res64: 47B72E345D3D6FE8 Time : 1054.0 sec. user=vaughan [2010-07-08 07:39:51] 573*2^840414-1 is not prime. Res64: 21E7350BD36E802E Time : 2798.0 sec. user=vaughan [2010-07-08 07:40:49] 555*2^840417-1 is not prime. Res64: E7C5818B70167590 Time : 974.0 sec. user=vaughan [2010-07-08 07:44:00] 577*2^840417-1 is not prime. Res64: DBDCE2BE26222D96 Time : 1002.0 sec. user=vaughan [2010-07-08 07:49:31] 585*2^840417-1 is not prime. Res64: 1348E56BCF2CA103 Time : 984.0 sec. user=vaughan [2010-07-08 07:52:09] 491*2^840418-1 is not prime. Res64: DD32B3133A1F9A76 Time : 988.0 sec. user=vaughan [2010-07-08 07:54:27] 517*2^840417-1 is not prime. Res64: 595F3689345E5810 Time : 1917.0 sec. user=vaughan [2010-07-08 07:57:06] 469*2^840419-1 is not prime. Res64: 237780D7C19A758C Time : 977.0 sec. user=vaughan [2010-07-08 07:58:44] 495*2^840418-1 is not prime. Res64: 3C1E2F7D7051B866 Time : 1212.0 sec. user=vaughan [2010-07-08 08:00:45] 505*2^840419-1 is not prime. Res64: 9BFB0F5CC6B2CE4C Time : 1005.0 sec. user=vaughan [2010-07-08 08:05:52] 543*2^840419-1 is not prime. Res64: 7BFF7613D25FB89A Time : 981.0 sec. user=vaughan [2010-07-08 08:07:44] 409*2^840417-1 is not prime. Res64: 7B01ECB9A6898E9F Time : 2729.0 sec. user=vaughan [2010-07-08 08:08:34] 579*2^840419-1 is not prime. Res64: 8222250E7B904B75 Time : 985.0 sec. user=vaughan [2010-07-08 08:13:01] 533*2^840418-1 is not prime. Res64: 5FEAA2443E46720A Time : 2066.0 sec. user=vaughan [2010-07-08 08:13:21] 515*2^840420-1 is not prime. Res64: 8E6C970C4172879B Time : 975.0 sec. user=vaughan [2010-07-08 08:14:03] 581*2^840418-1 is not prime. Res64: B49A6D5DE92AB7A6 Time : 2097.0 sec. user=vaughan [2010-07-08 08:17:27] 587*2^840420-1 is not prime. Res64: 25E07B022C0D595A Time : 1002.0 sec. user=vaughan [2010-07-08 08:19:30] 527*2^840420-1 is not prime. Res64: 1D7D66CD29DBD3C5 Time : 1246.0 sec. user=vaughan [2010-07-08 08:22:14] 429*2^840421-1 is not prime. Res64: DF088568C9CFA448 Time : 982.0 sec. user=vaughan [2010-07-08 08:25:01] 489*2^840421-1 is not prime. Res64: F7A1CC1A102DF474 Time : 987.0 sec. user=vaughan [2010-07-08 08:29:35] 511*2^840421-1 is not prime. Res64: 27ED484D88C7FA44 Time : 974.0 sec. user=vaughan [2010-07-08 08:30:29] 411*2^840419-1 is not prime. Res64: 90200C6B0ECCCBFD Time : 3038.0 sec. user=vaughan [2010-07-08 08:30:30] 505*2^840421-1 is not prime. Res64: 789FBA5CDDCCCFAD Time : 1050.0 sec. user=vaughan [2010-07-08 08:31:40] 455*2^840422-1 is not prime. Res64: 8BB01A5722045AC2 Time : 1057.0 sec. user=vaughan [2010-07-08 08:31:41] 595*2^840419-1 is not prime. Res64: 61415090BC7D3788 Time : 2234.0 sec. user=vaughan [2010-07-08 08:34:08] 561*2^840422-1 is not prime. Res64: 1C42916B26512D4B Time : 1001.0 sec. user=vaughan [2010-07-08 08:38:54] 451*2^840423-1 is not prime. Res64: 3A46F5BF39E17EE4 Time : 1000.0 sec. user=vaughan [2010-07-08 08:39:36] 593*2^840422-1 is not prime. Res64: C843A221224A6F08 Time : 1207.0 sec. user=vaughan [2010-07-08 08:41:42] 459*2^840423-1 is not prime. Res64: 5016B2D5FD2A9884 Time : 1001.0 sec. user=vaughan [2010-07-08 08:45:47] 483*2^840423-1 is not prime. Res64: 8ED33A94A4CF5D42 Time : 972.0 sec. user=vaughan [2010-07-08 08:47:58] 583*2^840423-1 is not prime. Res64: ABFD6BBC64A5978A Time : 1048.0 sec. user=vaughan [2010-07-08 08:49:16] 413*2^840424-1 is not prime. Res64: 5D2804AF9CA0E005 Time : 1057.0 sec. user=vaughan [2010-07-08 08:50:49] 483*2^840424-1 is not prime. Res64: CA96BAFF62A9B1A2 Time : 1001.0 sec. user=vaughan [2010-07-08 08:55:32] 509*2^840424-1 is not prime. Res64: B4A2D729AEB5F1EC Time : 999.0 sec. user=vaughan [2010-07-08 08:57:47] 465*2^840421-1 is not prime. Res64: 1F706F1B010B78C2 Time : 3003.0 sec. user=vaughan [2010-07-08 08:58:21] 549*2^840424-1 is not prime. Res64: DC8FB25B63755FEA Time : 999.0 sec. user=vaughan [2010-07-08 09:00:28] 533*2^840424-1 is not prime. Res64: 5B8A45D2C35B7AD7 Time : 1252.0 sec. user=vaughan [2010-07-08 09:02:00] 573*2^840424-1 is not prime. Res64: 3491858EFAC7E561 Time : 973.0 sec. user=vaughan [2010-07-08 09:07:31] 475*2^840425-1 is not prime. Res64: 2DD8295ED96ABB6E Time : 1002.0 sec. user=vaughan [2010-07-08 09:12:03] 477*2^840425-1 is not prime. Res64: 5378B1723B06DEB7 Time : 992.0 sec. user=vaughan [2010-07-08 09:12:09] 429*2^840424-1 is not prime. Res64: CACE8423AC9539F6 Time : 2428.0 sec. user=vaughan [2010-07-08 09:14:51] 591*2^840425-1 is not prime. Res64: 95BCBCA3FEE1A4B0 Time : 990.0 sec. user=vaughan [2010-07-08 09:17:13] 565*2^840423-1 is not prime. Res64: 4C022816D04FE261 Time : 2804.0 sec. user=vaughan [2010-07-08 09:18:08] 453*2^840426-1 is not prime. Res64: 0549EB02AD6DF1D7 Time : 968.0 sec. user=vaughan [2010-07-08 09:21:09] 447*2^840426-1 is not prime. Res64: D581D9CE894A29D0 Time : 1241.0 sec. user=vaughan [2010-07-08 09:24:10] 483*2^840426-1 is not prime. Res64: 77EC2D6A4F5726AF Time : 1000.0 sec. user=vaughan [2010-07-08 09:28:26] 495*2^840426-1 is not prime. Res64: 5B67C5B247904659 Time : 984.0 sec. user=vaughan [2010-07-08 09:30:55] 409*2^840425-1 is not prime. Res64: B344793558017161 Time : 2578.0 sec. user=vaughan [2010-07-08 09:31:19] 551*2^840426-1 is not prime. Res64: 4B24ACF5D682F725 Time : 988.0 sec. user=vaughan [2010-07-08 09:32:24] 465*2^840425-1 is not prime. Res64: DFEBAE74E7EFC7E7 Time : 2588.0 sec. user=vaughan [2010-07-08 09:34:23] 499*2^840427-1 is not prime. Res64: 2710BA08B763A843 Time : 975.0 sec. user=vaughan [2010-07-08 09:41:10] 531*2^840427-1 is not prime. Res64: 8B73DB76AA4ABB40 Time : 1201.0 sec. user=vaughan [2010-07-08 09:41:13] 555*2^840427-1 is not prime. Res64: 673E76D197E722D7 Time : 1023.0 sec. user=vaughan [2010-07-08 09:45:25] 405*2^840428-1 is not prime. Res64: 04CF01768DD2E2AC Time : 1020.0 sec. user=vaughan [2010-07-08 09:45:42] 537*2^840426-1 is not prime. Res64: 98198F19DC100897 Time : 2013.0 sec. user=vaughan [2010-07-08 09:46:00] 547*2^840425-1 is not prime. Res64: A2A3212CCA91AD5A Time : 2893.0 sec. user=vaughan [2010-07-08 09:48:19] 503*2^840428-1 is not prime. Res64: B4CD41E6EB65E629 Time : 1020.0 sec. user=vaughan [2010-07-08 09:48:28] 467*2^840428-1 is not prime. Res64: 5C91420FFECCF84A Time : 1053.0 sec. user=vaughan [2010-07-08 09:49:56] 507*2^840428-1 is not prime. Res64: 3C28BF03ADC49F5E Time : 1052.0 sec. user=vaughan [2010-07-08 09:50:45] 525*2^840428-1 is not prime. Res64: 346BA84EC94ABC20 Time : 982.0 sec. user=vaughan [2010-07-08 09:58:17] 457*2^840429-1 is not prime. Res64: DE0D6BCA13594FD7 Time : 1025.0 sec. user=vaughan [2010-07-08 10:01:36] 585*2^840428-1 is not prime. Res64: EDB989616C6143EE Time : 1226.0 sec. user=vaughan [2010-07-08 10:02:27] 507*2^840429-1 is not prime. Res64: 6B6AFF4BD39105ED Time : 1022.0 sec. user=vaughan [2010-07-08 10:04:04] 587*2^840426-1 is not prime. Res64: A7E93DB4C9663E91 Time : 2811.0 sec. user=vaughan [2010-07-08 10:05:20] 411*2^840430-1 is not prime. Res64: 504A70EEDA4C3259 Time : 1022.0 sec. user=vaughan [2010-07-08 10:07:05] 505*2^840431-1 is not prime. Res64: A51B2395716BD429 Time : 980.0 sec. user=vaughan [2010-07-08 10:15:16] 559*2^840431-1 is not prime. Res64: 4E929A732BB17F94 Time : 1019.0 sec. user=vaughan [2010-07-08 10:18:12] 511*2^840429-1 is not prime. Res64: B12CAED3C1F05C82 Time : 1950.0 sec. user=vaughan [2010-07-08 10:19:17] 453*2^840432-1 is not prime. Res64: AFF952B2B0685ACF Time : 1010.0 sec. user=vaughan [2010-07-08 10:22:02] 405*2^840432-1 is not prime. Res64: AEE58105FDD25B42 Time : 1226.0 sec. user=vaughan [2010-07-08 10:22:13] 569*2^840432-1 is not prime. Res64: CD678EA70568CAA7 Time : 1013.0 sec. user=vaughan [2010-07-08 10:23:23] 427*2^840433-1 is not prime. Res64: 8B53085C9E11C8EA Time : 978.0 sec. user=vaughan [2010-07-08 10:23:50] 555*2^840430-1 is not prime. Res64: 3219C6552E05D2DB Time : 2122.0 sec. user=vaughan [2010-07-08 10:24:52] 463*2^840431-1 is not prime. Res64: 8E9017AC476F0719 Time : 2096.0 sec. user=vaughan [2010-07-08 10:32:14] 503*2^840434-1 is not prime. Res64: 4553BFDA8816D657 Time : 1019.0 sec. user=vaughan [2010-07-08 10:34:56] 555*2^840429-1 is not prime. Res64: BC79D33777E45D47 Time : 2937.0 sec. user=vaughan [2010-07-08 10:36:10] 405*2^840435-1 is not prime. Res64: DCA7742B45847BFB Time : 1013.0 sec. user=vaughan [2010-07-08 10:39:04] 493*2^840435-1 is not prime. Res64: BAE0E86FC8B8190B Time : 1012.0 sec. user=vaughan [2010-07-08 10:39:41] 447*2^840436-1 is not prime. Res64: E50264EEEEABE39F Time : 979.0 sec. user=vaughan [2010-07-08 10:41:21] 485*2^840436-1 is not prime. Res64: DBAB5770BCDA5147 Time : 1051.0 sec. user=vaughan [2010-07-08 10:42:29] 495*2^840436-1 is not prime. Res64: BBF8D134C64C974E Time : 1057.0 sec. user=vaughan [2010-07-08 10:46:27] 475*2^840435-1 is not prime. Res64: 9A903C7E4C2A8D3D Time : 1466.0 sec. user=vaughan [2010-07-08 10:47:40] 533*2^840434-1 is not prime. Res64: 30819BBFEB5FA63C Time : 1768.0 sec. user=vaughan [2010-07-08 10:49:13] 525*2^840436-1 is not prime. Res64: D876DC96F7B1C29B Time : 1019.0 sec. user=vaughan [2010-07-08 10:51:30] 567*2^840432-1 is not prime. Res64: D1DDA8FDE14DD83E Time : 2846.0 sec. user=vaughan [2010-07-08 10:53:00] 569*2^840436-1 is not prime. Res64: 20EFAE6B18F1F64C Time : 1011.0 sec. user=vaughan [2010-07-08 10:55:55] 435*2^840437-1 is not prime. Res64: 8B7AB64D636DF28A Time : 1011.0 sec. user=vaughan [2010-07-08 10:55:58] 465*2^840437-1 is not prime. Res64: 605C7D2C9D84465A Time : 977.0 sec. user=vaughan [2010-07-08 10:58:56] 489*2^840437-1 is not prime. Res64: 14D87238FF4B2DDF Time : 1055.0 sec. user=vaughan [2010-07-08 11:00:12] 517*2^840437-1 is not prime. Res64: 00629FF7970C72B4 Time : 1064.0 sec. user=vaughan [2010-07-08 11:06:10] 555*2^840438-1 is not prime. Res64: 6F41EA92F976CD85 Time : 1018.0 sec. user=vaughan [2010-07-08 11:09:51] 511*2^840439-1 is not prime. Res64: 5D6AFE5B1B44630A Time : 1011.0 sec. user=vaughan [2010-07-08 11:12:15] 447*2^840440-1 is not prime. Res64: 121A5F019F6FB7CF Time : 977.0 sec. user=vaughan [2010-07-08 11:12:46] 417*2^840440-1 is not prime. Res64: 47A282514F20F5FC Time : 1011.0 sec. user=vaughan [2010-07-08 11:16:30] 467*2^840440-1 is not prime. Res64: 3329F02427BAB702 Time : 1054.0 sec. user=vaughan [2010-07-08 11:17:11] 405*2^840438-1 is not prime. Res64: AC18EB7EBA6738C0 Time : 1844.0 sec. user=vaughan [2010-07-08 11:17:21] 447*2^840438-1 is not prime. Res64: E0DBDFD3AE1A0D14 Time : 1782.0 sec. user=vaughan [2010-07-08 11:17:53] 495*2^840440-1 is not prime. Res64: 002F26DB4BE16E32 Time : 1061.0 sec. user=vaughan [2010-07-08 11:22:12] 539*2^840436-1 is not prime. Res64: EB27B5AB0C26EB15 Time : 2837.0 sec. user=vaughan [2010-07-08 11:23:08] 509*2^840440-1 is not prime. Res64: DE65E4DB712EB77C Time : 1018.0 sec. user=vaughan [2010-07-08 11:26:40] 567*2^840440-1 is not prime. Res64: 1EFD8D00A5F46652 Time : 1010.0 sec. user=vaughan [2010-07-08 11:28:32] 587*2^840440-1 is not prime. Res64: 49E676F841BAEA28 Time : 977.0 sec. user=vaughan [2010-07-08 11:29:38] 415*2^840441-1 is not prime. Res64: A419D4967393A003 Time : 1012.0 sec. user=vaughan [2010-07-08 11:34:04] 471*2^840441-1 is not prime. Res64: 62ED286E63F2A885 Time : 1054.0 sec. user=vaughan [2010-07-08 11:36:00] 565*2^840441-1 is not prime. Res64: F91DC813A2518DB7 Time : 1088.0 sec. user=vaughan [2010-07-08 11:39:00] 465*2^840439-1 is not prime. Res64: 82134171D05D5AE5 Time : 2850.0 sec. user=vaughan [2010-07-08 11:40:06] 413*2^840442-1 is not prime. Res64: 249024CBFBE6676F Time : 1019.0 sec. user=vaughan [2010-07-08 11:43:31] 477*2^840442-1 is not prime. Res64: 47251141CFDBC910 Time : 1011.0 sec. user=vaughan [2010-07-08 11:44:50] 497*2^840442-1 is not prime. Res64: 9009D6577E4F8F68 Time : 978.0 sec. user=vaughan [2010-07-08 11:46:28] 555*2^840442-1 is not prime. Res64: 1247D40251945895 Time : 1011.0 sec. user=vaughan [2010-07-08 11:48:05] 531*2^840441-1 is not prime. Res64: 69C531CCBE35A746 Time : 1854.0 sec. user=vaughan [2010-07-08 11:50:20] 549*2^840441-1 is not prime. Res64: 59E8D6E975174CA9 Time : 1979.0 sec. user=vaughan [2010-07-08 11:51:37] 489*2^840443-1 is not prime. Res64: 69B59875075E8B3D Time : 1054.0 sec. user=vaughan [2010-07-08 11:53:39] 493*2^840443-1 is not prime. Res64: 999DD7ECB3716421 Time : 1059.0 sec. user=vaughan [2010-07-08 11:57:03] 571*2^840443-1 is not prime. Res64: 93B17FC8CB8104CF Time : 1017.0 sec. user=vaughan [2010-07-08 12:00:22] 425*2^840444-1 is not prime. Res64: 22988FAA65F05C46 Time : 1011.0 sec. user=vaughan [2010-07-08 12:01:07] 513*2^840444-1 is not prime. Res64: 881E606F04FCF669 Time : 977.0 sec. user=vaughan [2010-07-08 12:03:18] 563*2^840444-1 is not prime. Res64: 5ED85577B25D56D2 Time : 1010.0 sec. user=vaughan [2010-07-08 12:09:07] 499*2^840445-1 is not prime. Res64: B45ECB94CA7D25FA Time : 1050.0 sec. user=vaughan [2010-07-08 12:10:52] 571*2^840441-1 is not prime. Res64: 257D551C3790A25F Time : 2920.0 sec. user=vaughan [2010-07-08 12:11:11] 519*2^840445-1 is not prime. Res64: 6A63036AE27DE612 Time : 1052.0 sec. user=vaughan [2010-07-08 12:13:57] 577*2^840445-1 is not prime. Res64: 5055656908B50047 Time : 1014.0 sec. user=vaughan [2010-07-08 12:17:11] 591*2^840445-1 is not prime. Res64: 83DB44992E86698D Time : 1010.0 sec. user=vaughan [2010-07-08 12:17:22] 425*2^840446-1 is not prime. Res64: A8ED0FD6821E8D60 Time : 976.0 sec. user=vaughan [2010-07-08 12:18:47] 411*2^840445-1 is not prime. Res64: 18FE293BED5C2051 Time : 1843.0 sec. user=vaughan [2010-07-08 12:20:09] 503*2^840446-1 is not prime. Res64: 9FF9A9EB60AA8AF8 Time : 1011.0 sec. user=vaughan [2010-07-08 12:20:13] 421*2^840445-1 is not prime. Res64: 8AEC6D5CEA3D644C Time : 1793.0 sec. user=vaughan [2010-07-08 12:26:11] 501*2^840443-1 is not prime. Res64: 9D99DAAE9992B166 Time : 2831.0 sec. user=vaughan [2010-07-08 12:26:36] 515*2^840446-1 is not prime. Res64: 52AFD4B1014776C8 Time : 1050.0 sec. user=vaughan [2010-07-08 12:28:45] 557*2^840446-1 is not prime. Res64: 5776D8036D571B23 Time : 1054.0 sec. user=vaughan [2010-07-08 12:30:51] 585*2^840446-1 is not prime. Res64: 79CD808B07ADF999 Time : 1014.0 sec. user=vaughan [2010-07-08 12:33:39] 441*2^840447-1 is not prime. Res64: 996B5EF0385B3824 Time : 977.0 sec. user=vaughan [2010-07-08 12:34:03] 429*2^840447-1 is not prime. Res64: FF745DAC93DA26D6 Time : 1012.0 sec. user=vaughan [2010-07-08 12:37:14] 559*2^840447-1 is not prime. Res64: 4336BBB5C1E2EBA7 Time : 1025.0 sec. user=vaughan [2010-07-08 12:44:06] 597*2^840448-1 is not prime. Res64: DE7B417C7FC8D5AF Time : 1050.0 sec. user=vaughan [2010-07-08 12:46:17] 439*2^840449-1 is not prime. Res64: 920C828FB14A510E Time : 1052.0 sec. user=vaughan [2010-07-08 12:47:59] 525*2^840449-1 is not prime. Res64: 7D10181ECA8BDBFF Time : 1028.0 sec. user=vaughan [2010-07-08 12:49:47] 501*2^840447-1 is not prime. Res64: 0953B6DEDEBB8E77 Time : 1860.0 sec. user=vaughan [2010-07-08 12:50:22] 549*2^840449-1 is not prime. Res64: 1D769DC1A7CE6A67 Time : 1003.0 sec. user=vaughan [2010-07-08 12:51:10] 577*2^840449-1 is not prime. Res64: DEBC5C789C7C3C0F Time : 1027.0 sec. user=vaughan [2010-07-08 12:54:14] 417*2^840450-1 is not prime. Res64: 0B51DD046569CE7F Time : 1020.0 sec. user=vaughan [2010-07-08 12:55:33] 429*2^840448-1 is not prime. Res64: FA8738D51A2ACF9A Time : 2120.0 sec. user=vaughan [2010-07-08 13:01:47] 521*2^840446-1 is not prime. Res64: 67D50DAD221DD884 Time : 3056.0 sec. user=vaughan [2010-07-08 13:04:56] 593*2^840450-1 is not prime. Res64: 9030E0BEB0D31743 Time : 1017.0 sec. user=vaughan [2010-07-08 13:06:47] 579*2^840452-1 is not prime. Res64: 77835E04B272CBF8 Time : 985.0 sec. user=vaughan [2010-07-08 13:08:05] 587*2^840452-1 is not prime. Res64: 330C5009C2543DC2 Time : 1016.0 sec. user=vaughan [2010-07-08 13:11:07] 483*2^840454-1 is not prime. Res64: 80401B83048F1247 Time : 1014.0 sec. user=vaughan [2010-07-08 13:13:40] 569*2^840448-1 is not prime. Res64: 9D0A6D16444CDCEE Time : 2850.0 sec. user=vaughan [2010-07-08 13:20:36] 505*2^840451-1 is not prime. Res64: 1DACB7F0C2BF0FE3 Time : 1849.0 sec. user=vaughan [2010-07-08 13:21:49] 501*2^840455-1 is not prime. Res64: 64AD768CEDB91B4D Time : 1014.0 sec. user=vaughan [2010-07-08 13:23:03] 543*2^840455-1 is not prime. Res64: 7FB8B719C7804C9C Time : 976.0 sec. user=vaughan [2010-07-08 13:24:55] 579*2^840455-1 is not prime. Res64: 2E9161B5E29146E9 Time : 1010.0 sec. user=vaughan [2010-07-08 13:25:19] 533*2^840454-1 is not prime. Res64: B48B3DAAA4AAC1C5 Time : 1786.0 sec. user=vaughan [2010-07-08 13:27:56] 457*2^840457-1 is not prime. Res64: 5BE8985F00C5E81E Time : 1009.0 sec. user=vaughan [2010-07-08 13:38:41] 473*2^840458-1 is not prime. Res64: 49F22E3A89D0550E Time : 1012.0 sec. user=vaughan [2010-07-08 13:39:19] 495*2^840458-1 is not prime. Res64: 305038DBAF859AC1 Time : 976.0 sec. user=vaughan [2010-07-08 13:41:43] 507*2^840458-1 is not prime. Res64: 9FE411A6F27875BE Time : 1008.0 sec. user=vaughan [2010-07-08 13:43:22] 461*2^840450-1 is not prime. Res64: D1BCA3462BB0EA91 Time : 3557.0 sec. user=vaughan [2010-07-08 13:44:46] 513*2^840460-1 is not prime. Res64: F7477F6F62ECEA4B Time : 1010.0 sec. user=vaughan [2010-07-08 13:45:59] 555*2^840450-1 is not prime. Res64: 46813E00F68557BE Time : 3582.0 sec. user=vaughan [2010-07-08 13:48:50] 475*2^840455-1 is not prime. Res64: 41DE9F1A7D64DF4E Time : 2823.0 sec. user=vaughan [2010-07-08 13:51:18] 589*2^840457-1 is not prime. Res64: 10D245D3C1CBAC1F Time : 1842.0 sec. user=vaughan [2010-07-08 13:54:37] 441*2^840459-1 is not prime. Res64: C4FF3BCB84791A09 Time : 1758.0 sec. user=vaughan [2010-07-08 13:55:36] 533*2^840460-1 is not prime. Res64: 97552FDD841444CF Time : 1015.0 sec. user=vaughan [2010-07-08 13:55:36] 567*2^840460-1 is not prime. Res64: 4FC78F53822073E4 Time : 977.0 sec. user=vaughan [2010-07-08 13:58:33] 409*2^840461-1 is not prime. Res64: 40F3744B69E0D097 Time : 1010.0 sec. user=vaughan [2010-07-08 14:00:33] 471*2^840457-1 is not prime. Res64: 7A14123DFA548245 Time : 2813.0 sec. user=vaughan [2010-07-08 14:01:36] 445*2^840461-1 is not prime. Res64: 5A0C77E1AEF58564 Time : 1011.0 sec. user=vaughan [2010-07-08 14:10:13] 411*2^840461-1 is not prime. Res64: F63B7FE307395646 Time : 1611.0 sec. user=vaughan [2010-07-08 14:11:18] 495*2^840461-1 is not prime. Res64: 72616D9F3F136C32 Time : 1519.0 sec. user=vaughan [2010-07-08 14:11:52] 441*2^840463-1 is not prime. Res64: 9E866CD4BB81698E Time : 976.0 sec. user=vaughan [2010-07-08 14:12:29] 587*2^840462-1 is not prime. Res64: A617067085200134 Time : 1014.0 sec. user=vaughan [2010-07-08 14:15:21] 559*2^840463-1 is not prime. Res64: EE51E3B82DB3A39D Time : 1009.0 sec. user=vaughan [2010-07-08 14:18:25] 409*2^840465-1 is not prime. Res64: 7E583F5A142B454D Time : 1010.0 sec. user=vaughan [2010-07-08 14:21:49] 447*2^840462-1 is not prime. Res64: 3B5EC49E4E8B57E2 Time : 1831.0 sec. user=vaughan [2010-07-08 14:24:10] 503*2^840462-1 is not prime. Res64: 12172216EE425505 Time : 1773.0 sec. user=vaughan [2010-07-08 14:28:08] 443*2^840466-1 is not prime. Res64: 8FDCC68CDF4003FD Time : 977.0 sec. user=vaughan [2010-07-08 14:29:22] 453*2^840466-1 is not prime. Res64: 642B015FAD595071 Time : 1013.0 sec. user=vaughan [2010-07-08 14:32:09] 477*2^840466-1 is not prime. Res64: F3DD8E2696EA29C9 Time : 1008.0 sec. user=vaughan [2010-07-08 14:33:33] 429*2^840465-1 is not prime. Res64: 4462E0127174C876 Time : 1335.0 sec. user=vaughan [2010-07-08 14:34:24] 427*2^840465-1 is not prime. Res64: A6DBB87941A5F23C Time : 1451.0 sec. user=vaughan [2010-07-08 14:35:14] 495*2^840466-1 is not prime. Res64: E33148F2209C83B6 Time : 1009.0 sec. user=vaughan [2010-07-08 14:36:40] 529*2^840461-1 is not prime. Res64: F68DFA343CAFB3F9 Time : 2871.0 sec. user=vaughan [2010-07-08 14:44:24] 513*2^840468-1 is not prime. Res64: F20920AD521DD97D Time : 976.0 sec. user=vaughan [2010-07-08 14:46:16] 545*2^840468-1 is not prime. Res64: 94A3AF7C91D7E0AC Time : 1014.0 sec. user=vaughan [2010-07-08 14:48:07] 573*2^840464-1 is not prime. Res64: 8BB081C30BEBA7B4 Time : 2854.0 sec. user=vaughan [2010-07-08 14:48:57] 439*2^840469-1 is not prime. Res64: 811E4DCCE52DF26E Time : 1008.0 sec. user=vaughan [2010-07-08 14:52:03] 431*2^840470-1 is not prime. Res64: C83C00A375471E42 Time : 1009.0 sec. user=vaughan [2010-07-08 14:52:37] 567*2^840466-1 is not prime. Res64: 7288B7428AEA527B Time : 1848.0 sec. user=vaughan [2010-07-08 14:54:34] 585*2^840467-1 is not prime. Res64: 963E0185585D10D7 Time : 1824.0 sec. user=vaughan [2010-07-08 14:56:51] 561*2^840469-1 is not prime. Res64: D1E549ABFBE85385 Time : 1398.0 sec. user=vaughan [2010-07-08 15:00:41] 467*2^840470-1 is not prime. Res64: 0FD5C5C787998999 Time : 978.0 sec. user=vaughan [2010-07-08 15:03:09] 477*2^840470-1 is not prime. Res64: 9F3727E27E25F65D Time : 1013.0 sec. user=vaughan [2010-07-08 15:05:47] 585*2^840470-1 is not prime. Res64: E9F55400827CACC6 Time : 1010.0 sec. user=vaughan [2010-07-08 15:08:53] 475*2^840471-1 is not prime. Res64: 55D6C873E7449252 Time : 1010.0 sec. user=vaughan [2010-07-08 15:09:44] 565*2^840469-1 is not prime. Res64: E7E482E94B2C2540 Time : 2120.0 sec. user=vaughan [2010-07-08 15:16:57] 447*2^840472-1 is not prime. Res64: AC3BC6CF31D1FE0C Time : 977.0 sec. user=vaughan [2010-07-08 15:20:04] 573*2^840472-1 is not prime. Res64: 268DEB5C0C5A19CB Time : 1015.0 sec. user=vaughan [2010-07-08 15:22:36] 411*2^840473-1 is not prime. Res64: 30C8DCDE5ED77ED1 Time : 1010.0 sec. user=vaughan [2010-07-08 15:23:36] 531*2^840471-1 is not prime. Res64: B96D8ED97AED007A Time : 1859.0 sec. user=vaughan [2010-07-08 15:24:46] 461*2^840470-1 is not prime. Res64: A4DE3D1E7A2DEC38 Time : 2887.0 sec. user=vaughan [2010-07-08 15:25:42] 421*2^840473-1 is not prime. Res64: 9D8DA73BC4E7B2B1 Time : 1010.0 sec. user=vaughan [2010-07-08 15:29:42] 595*2^840471-1 is not prime. Res64: 0BA0099F76DE00F7 Time : 1971.0 sec. user=vaughan [2010-07-08 15:33:12] 585*2^840473-1 is not prime. Res64: A6B68042C40ABCF2 Time : 976.0 sec. user=vaughan [2010-07-08 15:33:38] 547*2^840473-1 is not prime. Res64: 3054D5BF307F288C Time : 1434.0 sec. user=vaughan [2010-07-08 15:35:03] 565*2^840471-1 is not prime. Res64: EF60F6DD7A1D3400 Time : 2430.0 sec. user=vaughan [2010-07-08 15:37:00] 411*2^840474-1 is not prime. Res64: 678E7D0CDF7923F0 Time : 1016.0 sec. user=vaughan [2010-07-08 15:38:54] 495*2^840470-1 is not prime. Res64: 99A52C534219B1A0 Time : 3047.0 sec. user=vaughan [2010-07-08 15:39:26] 521*2^840474-1 is not prime. Res64: 9050C54BC31F635B Time : 1010.0 sec. user=vaughan [2010-07-08 15:42:33] 433*2^840475-1 is not prime. Res64: 755A4CB25625AA7F Time : 1011.0 sec. user=vaughan [2010-07-08 15:47:20] 471*2^840475-1 is not prime. Res64: 4B179120FC0E808A Time : 1058.0 sec. user=vaughan [2010-07-08 15:49:30] 555*2^840475-1 is not prime. Res64: 06447CFE0B0CDFFF Time : 979.0 sec. user=vaughan [2010-07-08 15:51:08] 507*2^840476-1 is not prime. Res64: 11D1D69D2F3F9CCC Time : 1050.0 sec. user=vaughan [2010-07-08 15:53:56] 557*2^840476-1 is not prime. Res64: 4AE1035F05D90B41 Time : 1016.0 sec. user=vaughan [2010-07-08 15:54:40] 593*2^840474-1 is not prime. Res64: 6B547E26A83CB501 Time : 1864.0 sec. user=vaughan [2010-07-08 15:56:17] 405*2^840477-1 is not prime. Res64: 85564C246D9086D3 Time : 1011.0 sec. user=vaughan [2010-07-08 15:59:24] 529*2^840477-1 is not prime. Res64: 255A9C17D4D2C2AD Time : 1012.0 sec. user=vaughan [2010-07-08 16:05:48] 577*2^840477-1 is not prime. Res64: 5E8F381DD4524850 Time : 978.0 sec. user=vaughan [2010-07-08 16:10:52] 447*2^840478-1 is not prime. Res64: 289D64A0EC3D2926 Time : 1017.0 sec. user=vaughan [2010-07-08 16:13:08] 471*2^840478-1 is not prime. Res64: E930D6D2317FD758 Time : 1012.0 sec. user=vaughan [2010-07-08 16:16:14] 483*2^840478-1 is not prime. Res64: CC4EFC39E7057F66 Time : 1010.0 sec. user=vaughan [2010-07-08 16:16:24] 545*2^840476-1 is not prime. Res64: 22A12897C70D2850 Time : 2481.0 sec. user=vaughan [2010-07-08 16:20:10] 415*2^840475-1 is not prime. Res64: 54E3D775888EA7A5 Time : 3324.0 sec. user=vaughan [2010-07-08 16:22:08] 491*2^840478-1 is not prime. Res64: A0F60FC7DF98EDB0 Time : 980.0 sec. user=vaughan [2010-07-08 16:25:43] 453*2^840478-1 is not prime. Res64: 9260F2D8A8416929 Time : 1863.0 sec. user=vaughan [2010-07-08 16:27:16] 593*2^840476-1 is not prime. Res64: AC1DBD96530ED18A Time : 2902.0 sec. user=vaughan [2010-07-08 16:27:49] 567*2^840478-1 is not prime. Res64: 9CDDC51FEE47B4EC Time : 1017.0 sec. user=vaughan [2010-07-08 16:29:59] 451*2^840479-1 is not prime. Res64: BB73E8B7287C0A86 Time : 1012.0 sec. user=vaughan [2010-07-08 16:31:51] 559*2^840477-1 is not prime. Res64: 73960DAB18D022DB Time : 2671.0 sec. user=vaughan [2010-07-08 16:33:07] 571*2^840479-1 is not prime. Res64: 6286EAFFB1DF7D29 Time : 1013.0 sec. user=vaughan [2010-07-08 16:36:03] 579*2^840477-1 is not prime. Res64: 372323A844180E2D Time : 2695.0 sec. user=vaughan [2010-07-08 16:38:24] 557*2^840480-1 is not prime. Res64: 068E616738E5D245 Time : 977.0 sec. user=vaughan [2010-07-08 16:44:45] 591*2^840481-1 is not prime. Res64: A85564B6D55948D7 Time : 1017.0 sec. user=vaughan [2010-07-08 16:46:51] 447*2^840482-1 is not prime. Res64: 7A756879D688FB58 Time : 1012.0 sec. user=vaughan [2010-07-08 16:49:48] 495*2^840482-1 is not prime. Res64: C129E393F91ADA2A Time : 1077.0 sec. user=vaughan [2010-07-08 16:49:58] 521*2^840482-1 is not prime. Res64: 8E21BAEE203305BE Time : 1012.0 sec. user=vaughan [2010-07-08 16:53:37] 533*2^840482-1 is not prime. Res64: 036F9D88A8693D55 Time : 1054.0 sec. user=vaughan [2010-07-08 16:54:46] 561*2^840482-1 is not prime. Res64: 2B1127171713C6DB Time : 982.0 sec. user=vaughan [2010-07-08 16:56:58] 567*2^840480-1 is not prime. Res64: ACAE8011787D8910 Time : 1875.0 sec. user=vaughan [2010-07-08 16:57:09] 459*2^840480-1 is not prime. Res64: 4421D4772079D399 Time : 2445.0 sec. user=vaughan [2010-07-08 17:01:43] 563*2^840482-1 is not prime. Res64: 927D9E4661C54739 Time : 1018.0 sec. user=vaughan [2010-07-08 17:03:40] 581*2^840482-1 is not prime. Res64: BE4D8C0999FB6FCD Time : 1009.0 sec. user=vaughan [2010-07-08 17:06:50] 541*2^840483-1 is not prime. Res64: 451891AD62263407 Time : 1012.0 sec. user=vaughan [2010-07-08 17:11:16] 513*2^840484-1 is not prime. Res64: CE74F2086F5A32DE Time : 990.0 sec. user=vaughan [2010-07-08 17:12:33] 503*2^840480-1 is not prime. Res64: 06BD6AA14D582E1E Time : 3144.0 sec. user=vaughan [2010-07-08 17:16:15] 549*2^840481-1 is not prime. Res64: 93D705824DADA8A2 Time : 2940.0 sec. user=vaughan [2010-07-08 17:18:42] 417*2^840486-1 is not prime. Res64: 4CD655BE3BFCF206 Time : 1019.0 sec. user=vaughan [2010-07-08 17:20:30] 473*2^840486-1 is not prime. Res64: E99508BC39DAECEF Time : 1010.0 sec. user=vaughan [2010-07-08 17:20:51] 495*2^840483-1 is not prime. Res64: 438313F87FFD77F7 Time : 1863.0 sec. user=vaughan [2010-07-08 17:23:43] 507*2^840486-1 is not prime. Res64: 7F61548A5D0462B5 Time : 1013.0 sec. user=vaughan [2010-07-08 17:24:50] 497*2^840484-1 is not prime. Res64: E233A431CA3C363E Time : 1873.0 sec. user=vaughan [2010-07-08 17:27:43] 515*2^840486-1 is not prime. Res64: 5C8CFA30D49FCAE4 Time : 988.0 sec. user=vaughan [2010-07-08 17:28:25] 569*2^840484-1 is not prime. Res64: A5287F42CFE10707 Time : 1887.0 sec. user=vaughan [2010-07-08 17:35:40] 429*2^840487-1 is not prime. Res64: C70DD463007C9159 Time : 1018.0 sec. user=vaughan [2010-07-08 17:37:20] 483*2^840487-1 is not prime. Res64: 39C5E248CDFECC73 Time : 1010.0 sec. user=vaughan [2010-07-08 17:38:28] 549*2^840487-1 is not prime. Res64: A2BC7FA0D9FCB165 Time : 1058.0 sec. user=vaughan [2010-07-08 17:38:55] 547*2^840485-1 is not prime. Res64: DF15711E1859B783 Time : 2507.0 sec. user=vaughan [2010-07-08 17:40:35] 595*2^840487-1 is not prime. Res64: E2F2D55FC03D309D Time : 1013.0 sec. user=vaughan [2010-07-08 17:42:19] 525*2^840488-1 is not prime. Res64: 046FC33CFFB8DE3A Time : 1049.0 sec. user=vaughan [2010-07-08 17:44:10] 537*2^840488-1 is not prime. Res64: CB4D8AA342A92549 Time : 988.0 sec. user=vaughan [2010-07-08 17:52:39] 487*2^840489-1 is not prime. Res64: 4B3A3BE14A0BB0C6 Time : 1019.0 sec. user=vaughan [2010-07-08 17:54:09] 507*2^840489-1 is not prime. Res64: 05F96FCBFD07A7AD Time : 1010.0 sec. user=vaughan [2010-07-08 17:56:36] 465*2^840490-1 is not prime. Res64: 402A0C40FD7018A1 Time : 1088.0 sec. user=vaughan [2010-07-08 17:57:27] 533*2^840490-1 is not prime. Res64: 2DC4A2D4C55A0F8F Time : 1012.0 sec. user=vaughan [2010-07-08 17:59:38] 441*2^840489-1 is not prime. Res64: E072E8A1A760C7A5 Time : 1873.0 sec. user=vaughan [2010-07-08 18:00:39] 423*2^840492-1 is not prime. Res64: DB4812176A715551 Time : 989.0 sec. user=vaughan [2010-07-08 18:05:10] 405*2^840487-1 is not prime. Res64: FA6AAD420C9719E3 Time : 2936.0 sec. user=vaughan [2010-07-08 18:05:51] 573*2^840486-1 is not prime. Res64: A492FC201AA13E8D Time : 3198.0 sec. user=vaughan [2010-07-08 18:06:58] 475*2^840491-1 is not prime. Res64: 4B3607697B464DC4 Time : 1480.0 sec. user=vaughan [2010-07-08 18:09:37] 483*2^840492-1 is not prime. Res64: 00B108E6A6B16518 Time : 1018.0 sec. user=vaughan [2010-07-08 18:10:59] 489*2^840492-1 is not prime. Res64: 9EC32749C7A125DA Time : 1010.0 sec. user=vaughan [2010-07-08 18:13:25] 471*2^840490-1 is not prime. Res64: 030014144A4CB766 Time : 2071.0 sec. user=vaughan [2010-07-08 18:14:23] 557*2^840492-1 is not prime. Res64: D79DF18A415FDF75 Time : 1016.0 sec. user=vaughan [2010-07-08 18:17:04] 477*2^840493-1 is not prime. Res64: F75B11E4A6D33DF3 Time : 985.0 sec. user=vaughan [2010-07-08 18:26:42] 559*2^840493-1 is not prime. Res64: 7571761FD10DB2E9 Time : 1025.0 sec. user=vaughan [2010-07-08 18:28:07] 521*2^840494-1 is not prime. Res64: 6D08B58DF0F6FC5C Time : 1029.0 sec. user=vaughan [2010-07-08 18:30:02] 525*2^840492-1 is not prime. Res64: 1DC649FAF487F688 Time : 2006.0 sec. user=vaughan [2010-07-08 18:30:30] 439*2^840493-1 is not prime. Res64: 0048E99EEDDA4E06 Time : 1852.0 sec. user=vaughan [2010-07-08 18:31:29] 423*2^840495-1 is not prime. Res64: B36DFA10526ACE0B Time : 1026.0 sec. user=vaughan [2010-07-08 18:33:29] 501*2^840495-1 is not prime. Res64: 19E06020B5BBD760 Time : 985.0 sec. user=vaughan [2010-07-08 18:33:37] 541*2^840493-1 is not prime. Res64: 6704315E7EA6BB55 Time : 1600.0 sec. user=vaughan [2010-07-08 18:43:41] 513*2^840495-1 is not prime. Res64: 19DB136FAE0DD089 Time : 1019.0 sec. user=vaughan [2010-07-08 18:44:35] 585*2^840494-1 is not prime. Res64: 8CDD9C1CFB08C02D Time : 1871.0 sec. user=vaughan [2010-07-08 18:44:55] 583*2^840495-1 is not prime. Res64: 16D99016AEE49F3F Time : 1009.0 sec. user=vaughan [2010-07-08 18:47:34] 479*2^840496-1 is not prime. Res64: 264CFCC81BBDE7F8 Time : 1052.0 sec. user=vaughan [2010-07-08 18:48:21] 495*2^840496-1 is not prime. Res64: 5FDF9EF39020E823 Time : 1013.0 sec. user=vaughan [2010-07-08 18:49:58] 587*2^840496-1 is not prime. Res64: 10CDC8EF568B5251 Time : 989.0 sec. user=vaughan [2010-07-08 18:51:08] 477*2^840497-1 is not prime. Res64: B25C8B07C19F7553 Time : 1051.0 sec. user=vaughan [2010-07-08 18:52:23] 499*2^840493-1 is not prime. Res64: 3049559C0FA24E52 Time : 2833.0 sec. user=vaughan [2010-07-08 18:54:38] 525*2^840493-1 is not prime. Res64: A685E7A07C0B549F Time : 2927.0 sec. user=vaughan [2010-07-08 19:00:39] 559*2^840497-1 is not prime. Res64: 0D66D09DAA9CE88C Time : 1019.0 sec. user=vaughan [2010-07-08 19:01:21] 483*2^840496-1 is not prime. Res64: 7660F434E22AFD69 Time : 1851.0 sec. user=vaughan [2010-07-08 19:01:43] 425*2^840498-1 is not prime. Res64: 340047742C2B51B0 Time : 1008.0 sec. user=vaughan [2010-07-08 19:05:14] 497*2^840498-1 is not prime. Res64: B4DCAA6065296BA4 Time : 1013.0 sec. user=vaughan [2010-07-08 19:06:25] 515*2^840498-1 is not prime. Res64: 832096E8530CFE91 Time : 988.0 sec. user=vaughan [2010-07-08 19:13:00] 471*2^840498-1 is not prime. Res64: 912AF5D383EAE53D Time : 1526.0 sec. user=vaughan [2010-07-08 19:16:08] 439*2^840499-1 is not prime. Res64: C7DD1A8CDAB26917 Time : 1501.0 sec. user=vaughan [2010-07-08 19:17:38] 499*2^840499-1 is not prime. Res64: D62CE09CED0F3E89 Time : 1019.0 sec. user=vaughan [2010-07-08 19:18:32] 561*2^840499-1 is not prime. Res64: B90078E18255C0CE Time : 1009.0 sec. user=vaughan [2010-07-08 19:22:07] 417*2^840500-1 is not prime. Res64: 04A89563FB23A130 Time : 1014.0 sec. user=vaughan [2010-07-08 19:22:51] 425*2^840500-1 is not prime. Res64: 445C2CD1E0504D4E Time : 987.0 sec. user=vaughan [2010-07-08 19:24:35] 565*2^840497-1 is not prime. Res64: 20E7B10E2FE4C02A Time : 2401.0 sec. user=vaughan [2010-07-08 19:30:34] 437*2^840500-1 is not prime. Res64: E2845052B3BB4145 Time : 1055.0 sec. user=vaughan [2010-07-08 19:32:45] 549*2^840499-1 is not prime. Res64: 8C87F89DB7705AAF Time : 1884.0 sec. user=vaughan [2010-07-08 19:33:39] 545*2^840500-1 is not prime. Res64: B5C45ADC6FAA749C Time : 1051.0 sec. user=vaughan [2010-07-08 19:34:37] 563*2^840500-1 is not prime. Res64: 207A20238E763A93 Time : 1019.0 sec. user=vaughan [2010-07-08 19:35:20] 427*2^840501-1 is not prime. Res64: 86EEF3B85C66448E Time : 1009.0 sec. user=vaughan [2010-07-08 19:39:00] 429*2^840501-1 is not prime. Res64: 722F1DAC338B10AD Time : 1013.0 sec. user=vaughan [2010-07-08 19:39:19] 459*2^840501-1 is not prime. Res64: 449032734F37B27E Time : 988.0 sec. user=vaughan [2010-07-08 19:41:25] 441*2^840499-1 is not prime. Res64: CEFB08C02B8B0085 Time : 2943.0 sec. user=vaughan [2010-07-08 19:48:10] 545*2^840502-1 is not prime. Res64: 9B215BA3D75F98E7 Time : 1056.0 sec. user=vaughan [2010-07-08 19:48:10] 451*2^840499-1 is not prime. Res64: 235318B4BFFF6128 Time : 3213.0 sec. user=vaughan [2010-07-08 19:51:07] 411*2^840503-1 is not prime. Res64: 5DE7ED59C2F25600 Time : 1048.0 sec. user=vaughan [2010-07-08 19:51:35] 445*2^840503-1 is not prime. Res64: FAE8099E50EBE681 Time : 1018.0 sec. user=vaughan [2010-07-08 19:52:08] 571*2^840503-1 is not prime. Res64: 642CD0022F5A4B63 Time : 1008.0 sec. user=vaughan [2010-07-08 19:55:45] 459*2^840504-1 is not prime. Res64: 397C7E51DFB300B4 Time : 986.0 sec. user=vaughan [2010-07-08 19:55:54] 585*2^840503-1 is not prime. Res64: C1D1D9F8D9A96A05 Time : 1015.0 sec. user=vaughan [2010-07-08 20:01:37] 533*2^840502-1 is not prime. Res64: 299AC8E763C63B2B Time : 2222.0 sec. user=vaughan [2010-07-08 20:03:38] 561*2^840502-1 is not prime. Res64: 93ED69F3871F812F Time : 1853.0 sec. user=vaughan [2010-07-08 20:08:35] 465*2^840505-1 is not prime. Res64: AFDA670BC826B579 Time : 1020.0 sec. user=vaughan [2010-07-08 20:08:59] 569*2^840504-1 is not prime. Res64: A4DCBAB785531181 Time : 1249.0 sec. user=vaughan [2010-07-08 20:09:16] 499*2^840505-1 is not prime. Res64: 68D5BD4C96E363C3 Time : 1028.0 sec. user=vaughan [2010-07-08 20:12:07] 497*2^840506-1 is not prime. Res64: FE4B426925C3E54E Time : 982.0 sec. user=vaughan [2010-07-08 20:13:01] 561*2^840506-1 is not prime. Res64: E93254C014019798 Time : 1027.0 sec. user=vaughan [2010-07-08 20:19:30] 427*2^840505-1 is not prime. Res64: 962000276BF2D220 Time : 1704.0 sec. user=vaughan [2010-07-08 20:25:35] 495*2^840507-1 is not prime. Res64: 21222E5FC7FC2F63 Time : 1021.0 sec. user=vaughan [2010-07-08 20:26:25] 553*2^840507-1 is not prime. Res64: 5C721802296B47CE Time : 1030.0 sec. user=vaughan [2010-07-08 20:28:29] 555*2^840507-1 is not prime. Res64: 118C7891C59AFCA1 Time : 983.0 sec. user=vaughan [2010-07-08 20:30:08] 595*2^840507-1 is not prime. Res64: 57EF6F80FA6C3265 Time : 1027.0 sec. user=vaughan [2010-07-08 20:30:11] 503*2^840504-1 is not prime. Res64: DC93D7424F77B1C6 Time : 2927.0 sec. user=vaughan [2010-07-08 20:33:16] 489*2^840507-1 is not prime. Res64: EDA6F58CAEB8D0F8 Time : 1779.0 sec. user=vaughan [2010-07-08 20:37:49] 587*2^840504-1 is not prime. Res64: A2FCCC7B888A8CFF Time : 2979.0 sec. user=vaughan [2010-07-08 20:39:58] 469*2^840507-1 is not prime. Res64: 155A51BBB0F28E08 Time : 2302.0 sec. user=vaughan [2010-07-08 20:41:43] 501*2^840507-1 is not prime. Res64: 91B8966CB4C30060 Time : 1964.0 sec. user=vaughan [2010-07-08 20:42:32] 569*2^840508-1 is not prime. Res64: F4C62C81FEA7E4C1 Time : 1018.0 sec. user=vaughan [2010-07-08 20:43:24] 573*2^840508-1 is not prime. Res64: 1D026E058CE46D88 Time : 1020.0 sec. user=vaughan [2010-07-08 20:44:49] 411*2^840509-1 is not prime. Res64: C6AE317FE59D904E Time : 980.0 sec. user=vaughan [2010-07-08 20:47:05] 511*2^840509-1 is not prime. Res64: 04DD74A78D3A2D39 Time : 1017.0 sec. user=vaughan [2010-07-08 20:50:37] 413*2^840508-1 is not prime. Res64: BDE77A60A9924A40 Time : 1867.0 sec. user=vaughan [2010-07-08 20:59:29] 581*2^840510-1 is not prime. Res64: 8B4912E10339C8A2 Time : 1017.0 sec. user=vaughan [2010-07-08 21:00:14] 593*2^840510-1 is not prime. Res64: 7F67E54897141858 Time : 1010.0 sec. user=vaughan [2010-07-08 21:00:57] 565*2^840509-1 is not prime. Res64: 6D4D98C89672AB82 Time : 1661.0 sec. user=vaughan [2010-07-08 21:01:06] 453*2^840511-1 is not prime. Res64: C338D331276EC6A6 Time : 977.0 sec. user=vaughan [2010-07-08 21:03:56] 511*2^840511-1 is not prime. Res64: EDA472E0EE8B4093 Time : 1011.0 sec. user=vaughan [2010-07-08 21:08:32] 465*2^840510-1 is not prime. Res64: 8863FDDF14A7FF5A Time : 1610.0 sec. user=vaughan [2010-07-08 21:16:26] 557*2^840512-1 is not prime. Res64: 0950852E0718F700 Time : 1017.0 sec. user=vaughan [2010-07-08 21:17:06] 439*2^840513-1 is not prime. Res64: DB627675358884E5 Time : 1012.0 sec. user=vaughan [2010-07-08 21:17:23] 481*2^840513-1 is not prime. Res64: D432E839B5E9EE99 Time : 978.0 sec. user=vaughan [2010-07-08 21:17:52] 549*2^840509-1 is not prime. Res64: D8CAEF8095475BE2 Time : 2862.0 sec. user=vaughan [2010-07-08 21:20:48] 499*2^840513-1 is not prime. Res64: 53F292CE4E2D46B1 Time : 1012.0 sec. user=vaughan [2010-07-08 21:21:01] 447*2^840510-1 is not prime. Res64: 4A3B3681E8095F73 Time : 2463.0 sec. user=vaughan [2010-07-08 21:21:10] 589*2^840509-1 is not prime. Res64: 8D8215CA3E9CEA4E Time : 2601.0 sec. user=vaughan [2010-07-08 21:28:27] 445*2^840513-1 is not prime. Res64: 31A2F321C8AE9938 Time : 1650.0 sec. user=vaughan [2010-07-08 21:30:24] 525*2^840512-1 is not prime. Res64: D27EE5A295CC6297 Time : 2387.0 sec. user=vaughan [2010-07-08 21:33:23] 595*2^840513-1 is not prime. Res64: 7B94AE3FEC9DE211 Time : 1017.0 sec. user=vaughan [2010-07-08 21:33:40] 461*2^840514-1 is not prime. Res64: 0233E2A351B6B1D0 Time : 978.0 sec. user=vaughan [2010-07-08 21:33:56] 401*2^840514-1 is not prime. Res64: CD080BC3D629667B Time : 1011.0 sec. user=vaughan [2010-07-08 21:37:39] 545*2^840514-1 is not prime. Res64: B894686D622D0592 Time : 1011.0 sec. user=vaughan [2010-07-08 21:40:10] 501*2^840513-1 is not prime. Res64: 353B1A928545DE0C Time : 1898.0 sec. user=vaughan [2010-07-08 21:47:58] 591*2^840515-1 is not prime. Res64: 0616B7FAFA4F1B6E Time : 1055.0 sec. user=vaughan [2010-07-08 21:50:04] 525*2^840516-1 is not prime. Res64: F44C7460E5E99F67 Time : 985.0 sec. user=vaughan [2010-07-08 21:50:23] 479*2^840516-1 is not prime. Res64: 2D1025330B947577 Time : 1021.0 sec. user=vaughan [2010-07-08 21:50:53] 593*2^840516-1 is not prime. Res64: 36A666741B14174C Time : 1017.0 sec. user=vaughan [2010-07-08 21:54:36] 441*2^840517-1 is not prime. Res64: 690D0EC692CD9ABE Time : 1017.0 sec. user=vaughan [2010-07-08 21:55:44] 553*2^840515-1 is not prime. Res64: 60561782D708C0B6 Time : 1637.0 sec. user=vaughan [2010-07-08 21:57:47] 451*2^840517-1 is not prime. Res64: 0D026C2B844D8873 Time : 1058.0 sec. user=vaughan [2010-07-08 21:58:22] 433*2^840515-1 is not prime. Res64: 6452EB654F5F1113 Time : 2241.0 sec. user=vaughan [2010-07-08 22:04:23] 483*2^840514-1 is not prime. Res64: 97614B15F2F4A040 Time : 2792.0 sec. user=vaughan [2010-07-08 22:05:40] 489*2^840517-1 is not prime. Res64: 7C68D3DF7F6CD2B7 Time : 1062.0 sec. user=vaughan [2010-07-08 22:06:24] 507*2^840517-1 is not prime. Res64: EAB60FD159622422 Time : 980.0 sec. user=vaughan [2010-07-08 22:07:12] 519*2^840515-1 is not prime. Res64: 5F65D4919B2D4330 Time : 2762.0 sec. user=vaughan [2010-07-08 22:07:16] 517*2^840517-1 is not prime. Res64: 12B7D86C4B2B4BCD Time : 1014.0 sec. user=vaughan [2010-07-08 22:07:45] 507*2^840518-1 is not prime. Res64: 300A425B5F27A66D Time : 1012.0 sec. user=vaughan [2010-07-08 22:11:26] 423*2^840519-1 is not prime. Res64: 6D45A7FC3FF3EB74 Time : 1010.0 sec. user=vaughan [2010-07-08 22:22:43] 429*2^840520-1 is not prime. Res64: FDECA671400E1A8E Time : 979.0 sec. user=vaughan [2010-07-08 22:23:17] 465*2^840519-1 is not prime. Res64: 5811EC0AB30C81AA Time : 1654.0 sec. user=vaughan [2010-07-08 22:24:07] 509*2^840520-1 is not prime. Res64: B97237E364294351 Time : 1012.0 sec. user=vaughan [2010-07-08 22:24:38] 411*2^840521-1 is not prime. Res64: 77998B861413B99F Time : 1013.0 sec. user=vaughan [2010-07-08 22:28:15] 517*2^840521-1 is not prime. Res64: F09A6A458D6AE7CC Time : 1010.0 sec. user=vaughan [2010-07-08 22:30:53] 469*2^840519-1 is not prime. Res64: C6069E42115DB458 Time : 1986.0 sec. user=vaughan [2010-07-08 22:38:01] 553*2^840519-1 is not prime. Res64: 6D60346B0FD4CD70 Time : 2380.0 sec. user=vaughan [2010-07-08 22:38:19] 559*2^840519-1 is not prime. Res64: 24EBA18BFECDCCF8 Time : 1960.0 sec. user=vaughan [2010-07-08 22:39:03] 529*2^840521-1 is not prime. Res64: 13A1CD5A203EFE09 Time : 980.0 sec. user=vaughan [2010-07-08 22:41:00] 447*2^840522-1 is not prime. Res64: 01573C05977C82D4 Time : 1013.0 sec. user=vaughan [2010-07-08 22:41:31] 485*2^840522-1 is not prime. Res64: E0E37A9E3F012708 Time : 1013.0 sec. user=vaughan [2010-07-08 22:45:06] 507*2^840522-1 is not prime. Res64: 72B0921DCE880BC6 Time : 1011.0 sec. user=vaughan [2010-07-08 22:48:36] 555*2^840522-1 is not prime. Res64: 344CE5126683AA0C Time : 1063.0 sec. user=vaughan [2010-07-08 22:50:58] 571*2^840521-1 is not prime. Res64: F9F19B6481BAB0D3 Time : 1661.0 sec. user=vaughan [2010-07-08 22:51:50] 555*2^840519-1 is not prime. Res64: D9FAD8D79B4979D4 Time : 2847.0 sec. user=vaughan [2010-07-08 22:53:32] 483*2^840520-1 is not prime. Res64: 913079BE034DBC7D Time : 2780.0 sec. user=vaughan [2010-07-08 22:55:22] 593*2^840522-1 is not prime. Res64: 01CA9FC7D3AB0DD2 Time : 979.0 sec. user=vaughan [2010-07-08 22:56:22] 573*2^840522-1 is not prime. Res64: 84BA59DC53D01E08 Time : 1083.0 sec. user=vaughan [2010-07-08 22:57:52] 453*2^840523-1 is not prime. Res64: 786D28C1F3E2C757 Time : 1012.0 sec. user=vaughan [2010-07-08 22:58:23] 499*2^840523-1 is not prime. Res64: CC650CB22026FADC Time : 1013.0 sec. user=vaughan [2010-07-08 23:01:56] 553*2^840523-1 is not prime. Res64: 0B92370A51C49014 Time : 1011.0 sec. user=vaughan [2010-07-08 23:06:12] 573*2^840523-1 is not prime. Res64: 229D9049DAF1E6F5 Time : 1057.0 sec. user=vaughan [2010-07-08 23:11:42] 503*2^840524-1 is not prime. Res64: 4F5EF02FAD375352 Time : 980.0 sec. user=vaughan [2010-07-08 23:14:46] 587*2^840524-1 is not prime. Res64: A5572B3E912D290E Time : 1014.0 sec. user=vaughan [2010-07-08 23:15:18] 451*2^840525-1 is not prime. Res64: 0593263F3C118218 Time : 1015.0 sec. user=vaughan [2010-07-08 23:17:59] 435*2^840524-1 is not prime. Res64: 753F72CF1DF8F40C Time : 1621.0 sec. user=vaughan [2010-07-08 23:18:47] 465*2^840525-1 is not prime. Res64: 9375411B2053BC38 Time : 1011.0 sec. user=vaughan [2010-07-08 23:19:02] 567*2^840522-1 is not prime. Res64: 60B6AAC5021A63F5 Time : 2461.0 sec. user=vaughan [2010-07-08 23:21:34] 507*2^840524-1 is not prime. Res64: 1C5ABDA5617E96A6 Time : 1513.0 sec. user=vaughan [2010-07-08 23:28:02] 483*2^840526-1 is not prime. Res64: 8910738549CA15B2 Time : 980.0 sec. user=vaughan [2010-07-08 23:31:41] 469*2^840525-1 is not prime. Res64: 12413322AD440D11 Time : 1529.0 sec. user=vaughan [2010-07-08 23:31:44] 503*2^840526-1 is not prime. Res64: 393ECE2FE5CA3B51 Time : 1019.0 sec. user=vaughan [2010-07-08 23:32:24] 513*2^840526-1 is not prime. Res64: CABC53A735117C95 Time : 1026.0 sec. user=vaughan [2010-07-08 23:35:53] 595*2^840527-1 is not prime. Res64: 27B85FC0C79FA827 Time : 1027.0 sec. user=vaughan [2010-07-08 23:39:10] 465*2^840528-1 is not prime. Res64: A3A30F4879FBB20D Time : 1056.0 sec. user=vaughan [2010-07-08 23:44:38] 467*2^840528-1 is not prime. Res64: A0422D7072B4C626 Time : 996.0 sec. user=vaughan [2010-07-08 23:44:57] 479*2^840524-1 is not prime. Res64: BCA220C6027B0DB7 Time : 3187.0 sec. user=vaughan [2010-07-08 23:45:02] 495*2^840524-1 is not prime. Res64: DDFF657094B2E294 Time : 3090.0 sec. user=vaughan [2010-07-08 23:45:13] 545*2^840526-1 is not prime. Res64: 69FB530A0F12AA20 Time : 1635.0 sec. user=vaughan [2010-07-08 23:48:56] 525*2^840528-1 is not prime. Res64: AF91054BDA557A6A Time : 1032.0 sec. user=vaughan [2010-07-08 23:49:17] 473*2^840528-1 is not prime. Res64: 23717A121E51673C Time : 1057.0 sec. user=vaughan [2010-07-08 23:50:00] 555*2^840528-1 is not prime. Res64: 99335FA938B87E68 Time : 1056.0 sec. user=vaughan [2010-07-08 23:53:18] 427*2^840529-1 is not prime. Res64: 996A9B668C138274 Time : 1045.0 sec. user=vaughan [2010-07-08 23:56:44] 495*2^840529-1 is not prime. Res64: CCE07633303BA994 Time : 1054.0 sec. user=vaughan [2010-07-08 23:57:11] 459*2^840528-1 is not prime. Res64: 44B848D64C26A996 Time : 2289.0 sec.