user=vaughan [2011-11-16 00:01:50] 531*2^1047887-1 is not prime. Res64: 983955F9DC56749D Time : 2130.0 sec. user=vaughan [2011-11-16 00:05:41] 507*2^1047889-1 is not prime. Res64: E0B5995CD884BD70 Time : 1369.0 sec. user=vaughan [2011-11-16 00:05:41] 559*2^1047887-1 is not prime. Res64: 330BBB4EDFC33C78 Time : 1972.0 sec. user=vaughan [2011-11-16 00:05:42] 425*2^1047888-1 is not prime. Res64: A82481D64B1FD133 Time : 1953.0 sec. user=vaughan [2011-11-16 00:14:31] 507*2^1047888-1 is not prime. Res64: 14A1DCB5B2036C72 Time : 2141.0 sec. user=vaughan [2011-11-16 00:19:02] 563*2^1047888-1 is not prime. Res64: 1AB7AA5A6DCEA14E Time : 2292.0 sec. user=vaughan [2011-11-16 00:19:03] 503*2^1047888-1 is not prime. Res64: F345FCA3A4DC3816 Time : 2451.0 sec. user=vaughan [2011-11-16 00:19:33] 429*2^1047888-1 is not prime. Res64: 92558A9DD07AFB18 Time : 2619.0 sec. user=vaughan [2011-11-16 00:19:46] 535*2^1047889-1 is not prime. Res64: C2D91D0079864857 Time : 1931.0 sec. user=vaughan [2011-11-16 00:21:18] 503*2^1047890-1 is not prime. Res64: 4FEF1B15F7ACF017 Time : 1306.0 sec. user=vaughan [2011-11-16 00:23:48] 577*2^1047889-1 is not prime. Res64: 7F65A6C1C94C07FF Time : 1871.0 sec. user=vaughan [2011-11-16 00:28:31] 453*2^1047891-1 is not prime. Res64: 021C29B89285CE81 Time : 1371.0 sec. user=vaughan [2011-11-16 00:37:32] 439*2^1047891-1 is not prime. Res64: 37F1BB2963BB389E Time : 2143.0 sec. user=vaughan [2011-11-16 00:38:23] 531*2^1047891-1 is not prime. Res64: 88D9005B9174BDB7 Time : 1961.0 sec. user=vaughan [2011-11-16 00:39:18] 529*2^1047891-1 is not prime. Res64: 99BBBA3CCFE8EE18 Time : 2017.0 sec. user=vaughan [2011-11-16 00:43:13] 573*2^1047892-1 is not prime. Res64: EC764B43F7CF04EF Time : 1315.0 sec. user=vaughan [2011-11-16 00:50:19] 429*2^1047892-1 is not prime. Res64: B0E43D2B1475CA1F Time : 2148.0 sec. user=vaughan [2011-11-16 00:50:51] 529*2^1047893-1 is not prime. Res64: 555C874422471267 Time : 1341.0 sec. user=vaughan [2011-11-16 00:52:05] 569*2^1047892-1 is not prime. Res64: DC57676CBCF1D788 Time : 1940.0 sec. user=vaughan [2011-11-16 00:55:17] 517*2^1047893-1 is not prime. Res64: F1E6EFB8BC54FE64 Time : 1889.0 sec. user=vaughan [2011-11-16 00:58:01] 483*2^1047892-1 is not prime. Res64: DD8BE7993FB0E7A0 Time : 2340.0 sec. user=vaughan [2011-11-16 01:00:57] 533*2^1047892-1 is not prime. Res64: ED02B2643F7E3E1D Time : 2514.0 sec. user=vaughan [2011-11-16 01:03:11] 567*2^1047892-1 is not prime. Res64: 563246CFB699E6E8 Time : 2618.0 sec. user=vaughan [2011-11-16 01:05:34] 437*2^1047894-1 is not prime. Res64: 951E90201A95506D Time : 1341.0 sec. user=vaughan [2011-11-16 01:11:12] 591*2^1047893-1 is not prime. Res64: 726AEB2226DC0D14 Time : 1969.0 sec. user=vaughan [2011-11-16 01:12:59] 567*2^1047894-1 is not prime. Res64: 32B20C58ADD4F0E8 Time : 1328.0 sec. user=vaughan [2011-11-16 01:13:02] 547*2^1047893-1 is not prime. Res64: 3BF382BAA4436D12 Time : 2130.0 sec. user=vaughan [2011-11-16 01:13:15] 413*2^1047894-1 is not prime. Res64: 321D5BB5653E56B0 Time : 2038.0 sec. user=vaughan [2011-11-16 01:24:37] 465*2^1047895-1 is not prime. Res64: F5D0FB3EACB1E689 Time : 1952.0 sec. user=vaughan [2011-11-16 01:26:09] 501*2^1047894-1 is not prime. Res64: E805B62C26D212B2 Time : 2150.0 sec. user=vaughan [2011-11-16 01:26:46] 449*2^1047896-1 is not prime. Res64: F4D81C76B3DECFAC Time : 1889.0 sec. user=vaughan [2011-11-16 01:28:04] 409*2^1047897-1 is not prime. Res64: 7374EB0164577E8E Time : 1351.0 sec. user=vaughan [2011-11-16 01:35:05] 475*2^1047897-1 is not prime. Res64: EECBBAE985C68DA3 Time : 1326.0 sec. user=vaughan [2011-11-16 01:37:27] 525*2^1047896-1 is not prime. Res64: C3E75AC17EA4D2AD Time : 2366.0 sec. user=vaughan [2011-11-16 01:43:29] 585*2^1047896-1 is not prime. Res64: D49FD009CFFE4FCF Time : 2553.0 sec. user=vaughan [2011-11-16 01:43:56] 457*2^1047897-1 is not prime. Res64: CE0D849A50895861 Time : 1965.0 sec. user=vaughan [2011-11-16 01:46:51] 405*2^1047897-1 is not prime. Res64: 78FE87BFAF85BE44 Time : 2621.0 sec. user=vaughan [2011-11-16 01:46:59] 537*2^1047897-1 is not prime. Res64: A315F7E11A891524 Time : 2025.0 sec. user=vaughan [2011-11-16 01:48:42] 517*2^1047897-1 is not prime. Res64: 7166A099289F5266 Time : 2140.0 sec. user=vaughan [2011-11-16 01:50:34] 479*2^1047900-1 is not prime. Res64: 93284BB53F053276 Time : 1350.0 sec. user=vaughan [2011-11-16 01:57:02] 443*2^1047898-1 is not prime. Res64: 372B1C663D0B7934 Time : 1946.0 sec. user=vaughan [2011-11-16 01:57:11] 483*2^1047900-1 is not prime. Res64: 0CCFBDA16AF790A9 Time : 1327.0 sec. user=vaughan [2011-11-16 01:58:14] 589*2^1047899-1 is not prime. Res64: 7FF9FDA8384E2E13 Time : 1888.0 sec. user=vaughan [2011-11-16 02:01:57] 483*2^1047898-1 is not prime. Res64: 2A557EF5091A696D Time : 2150.0 sec. user=vaughan [2011-11-16 02:13:03] 525*2^1047901-1 is not prime. Res64: A4564689D8281DDE Time : 1350.0 sec. user=vaughan [2011-11-16 02:16:45] 441*2^1047901-1 is not prime. Res64: 6E32C898B94E6950 Time : 1969.0 sec. user=vaughan [2011-11-16 02:17:11] 515*2^1047900-1 is not prime. Res64: 8A6B27F837FA8946 Time : 2384.0 sec. user=vaughan [2011-11-16 02:19:16] 407*2^1047902-1 is not prime. Res64: 137C7BF3A1018167 Time : 1326.0 sec. user=vaughan [2011-11-16 02:20:39] 471*2^1047901-1 is not prime. Res64: 9A9098996680A9D0 Time : 2020.0 sec. user=vaughan [2011-11-16 02:24:19] 499*2^1047901-1 is not prime. Res64: C15C445712402B4F Time : 2137.0 sec. user=vaughan [2011-11-16 02:26:21] 555*2^1047900-1 is not prime. Res64: DF9BF192A429D220 Time : 2572.0 sec. user=vaughan [2011-11-16 02:29:20] 559*2^1047901-1 is not prime. Res64: F417A23312FB3397 Time : 1938.0 sec. user=vaughan [2011-11-16 02:29:48] 507*2^1047902-1 is not prime. Res64: 6C352C6091BE0349 Time : 1895.0 sec. user=vaughan [2011-11-16 02:30:29] 465*2^1047901-1 is not prime. Res64: 469778A77320D06E Time : 2618.0 sec. user=vaughan [2011-11-16 02:35:33] 415*2^1047903-1 is not prime. Res64: D9AF9D5E0780608F Time : 1351.0 sec. user=vaughan [2011-11-16 02:37:45] 525*2^1047902-1 is not prime. Res64: 8B00B027CA1859E1 Time : 2148.0 sec. user=vaughan [2011-11-16 02:41:23] 583*2^1047903-1 is not prime. Res64: B5CED3CAC930221A Time : 1327.0 sec. user=vaughan [2011-11-16 02:49:16] 523*2^1047903-1 is not prime. Res64: 68BB6EDB83D78390 Time : 1951.0 sec. user=vaughan [2011-11-16 02:53:39] 429*2^1047904-1 is not prime. Res64: DD9478E5F6363D01 Time : 1980.0 sec. user=vaughan [2011-11-16 02:56:24] 553*2^1047903-1 is not prime. Res64: 8091A340EC2E7BC8 Time : 2354.0 sec. user=vaughan [2011-11-16 02:58:02] 485*2^1047906-1 is not prime. Res64: 7579646DF07EE9B2 Time : 1349.0 sec. user=vaughan [2011-11-16 03:00:50] 519*2^1047904-1 is not prime. Res64: 887B82B23CF2D3BC Time : 2191.0 sec. user=vaughan [2011-11-16 03:01:18] 595*2^1047905-1 is not prime. Res64: C1228AB726AC1C8C Time : 1891.0 sec. user=vaughan [2011-11-16 03:01:38] 459*2^1047905-1 is not prime. Res64: 363FAF83AD8A091D Time : 1939.0 sec. user=vaughan [2011-11-16 03:03:34] 505*2^1047907-1 is not prime. Res64: 1DA810D96AC4B62F Time : 1331.0 sec. user=vaughan [2011-11-16 03:07:49] 569*2^1047904-1 is not prime. Res64: 782914CDBDE6A3BF Time : 2488.0 sec. user=vaughan [2011-11-16 03:13:35] 567*2^1047906-1 is not prime. Res64: 75E388AF1E0D271E Time : 2150.0 sec. user=vaughan [2011-11-16 03:14:18] 465*2^1047906-1 is not prime. Res64: DF647D2AD0C3F346 Time : 2629.0 sec. user=vaughan [2011-11-16 03:20:30] 439*2^1047909-1 is not prime. Res64: 6B89CA74F370FA36 Time : 1349.0 sec. user=vaughan [2011-11-16 03:21:35] 579*2^1047907-1 is not prime. Res64: 1D9E333999F397C9 Time : 1940.0 sec. user=vaughan [2011-11-16 03:25:39] 413*2^1047910-1 is not prime. Res64: 36939577D66A8FA9 Time : 1326.0 sec. user=vaughan [2011-11-16 03:27:27] 583*2^1047907-1 is not prime. Res64: 29E6EF1934E37DE6 Time : 2028.0 sec. user=vaughan [2011-11-16 03:33:01] 499*2^1047909-1 is not prime. Res64: 4A800DB94822C03A Time : 1904.0 sec. user=vaughan [2011-11-16 03:33:21] 565*2^1047909-1 is not prime. Res64: 350A67EB077A4F54 Time : 1903.0 sec. user=vaughan [2011-11-16 03:35:40] 427*2^1047909-1 is not prime. Res64: C9DB5A1F07033F89 Time : 2356.0 sec. user=vaughan [2011-11-16 03:38:02] 465*2^1047909-1 is not prime. Res64: 77014BB157668D30 Time : 2232.0 sec. user=vaughan [2011-11-16 03:42:57] 587*2^1047910-1 is not prime. Res64: F2BF4F448E829BB3 Time : 1347.0 sec. user=vaughan [2011-11-16 03:47:16] 525*2^1047910-1 is not prime. Res64: 7E3A386B6EE7E1D5 Time : 2367.0 sec. user=vaughan [2011-11-16 03:47:45] 565*2^1047911-1 is not prime. Res64: 6307ECC93C595AA8 Time : 1326.0 sec. user=vaughan [2011-11-16 03:49:31] 533*2^1047910-1 is not prime. Res64: 9B43593404DB066F Time : 2157.0 sec. user=vaughan [2011-11-16 03:53:50] 525*2^1047911-1 is not prime. Res64: 21ED6A11A897C28E Time : 1936.0 sec. user=vaughan [2011-11-16 03:58:10] 545*2^1047910-1 is not prime. Res64: 879DA563D69D47B0 Time : 2632.0 sec. user=vaughan [2011-11-16 04:01:17] 595*2^1047911-1 is not prime. Res64: F5EDB42B94D329D3 Time : 2030.0 sec. user=vaughan [2011-11-16 04:04:49] 497*2^1047912-1 is not prime. Res64: 9B939234311387E5 Time : 1909.0 sec. user=vaughan [2011-11-16 04:05:06] 569*2^1047912-1 is not prime. Res64: CFCC2FA5D8273B34 Time : 1905.0 sec. user=vaughan [2011-11-16 04:05:26] 555*2^1047913-1 is not prime. Res64: DD09FA6747CEF025 Time : 1349.0 sec. user=vaughan [2011-11-16 04:09:50] 417*2^1047914-1 is not prime. Res64: 4A15DE1C4C5698B8 Time : 1325.0 sec. user=vaughan [2011-11-16 04:15:01] 439*2^1047913-1 is not prime. Res64: 5C069EC41C3BA4B6 Time : 2219.0 sec. user=vaughan [2011-11-16 04:15:36] 427*2^1047913-1 is not prime. Res64: 9A4EAB084C1BCDB3 Time : 2397.0 sec. user=vaughan [2011-11-16 04:25:22] 483*2^1047914-1 is not prime. Res64: CB797464B86AEE06 Time : 2152.0 sec. user=vaughan [2011-11-16 04:26:10] 495*2^1047914-1 is not prime. Res64: 035E3BD522A9112F Time : 1941.0 sec. user=vaughan [2011-11-16 04:26:55] 577*2^1047913-1 is not prime. Res64: BB88117144B64E02 Time : 2380.0 sec. user=vaughan [2011-11-16 04:27:57] 405*2^1047917-1 is not prime. Res64: 4F47624A358F7CF6 Time : 1351.0 sec. user=vaughan [2011-11-16 04:31:55] 475*2^1047917-1 is not prime. Res64: 5166C337E947F1F0 Time : 1325.0 sec. user=vaughan [2011-11-16 04:35:04] 455*2^1047916-1 is not prime. Res64: 026C07125092FC53 Time : 2028.0 sec. user=vaughan [2011-11-16 04:36:42] 485*2^1047916-1 is not prime. Res64: DFA59AE264F90EE4 Time : 1914.0 sec. user=vaughan [2011-11-16 04:36:51] 545*2^1047916-1 is not prime. Res64: D55150D5A1640A58 Time : 1905.0 sec. user=vaughan [2011-11-16 04:43:36] 497*2^1047914-1 is not prime. Res64: 4998C252B63564D0 Time : 2624.0 sec. user=vaughan [2011-11-16 04:50:13] 563*2^1047918-1 is not prime. Res64: 77D535FEA455E1FE Time : 1336.0 sec. user=vaughan [2011-11-16 04:52:07] 405*2^1047918-1 is not prime. Res64: A100A5D844A44685 Time : 2226.0 sec. user=vaughan [2011-11-16 04:53:42] 423*2^1047919-1 is not prime. Res64: ADE84C07DF2CADC8 Time : 1308.0 sec. user=vaughan [2011-11-16 04:56:25] 447*2^1047918-1 is not prime. Res64: E997ED81EA480A6D Time : 2449.0 sec. user=vaughan [2011-11-16 04:58:29] 525*2^1047918-1 is not prime. Res64: 6642EDDEAC6B51D2 Time : 1939.0 sec. user=vaughan [2011-11-16 05:01:20] 495*2^1047918-1 is not prime. Res64: 1A38D819F4076ED5 Time : 2158.0 sec. user=vaughan [2011-11-16 05:07:14] 557*2^1047918-1 is not prime. Res64: 2559E1AF70389E09 Time : 2419.0 sec. user=vaughan [2011-11-16 05:08:43] 493*2^1047919-1 is not prime. Res64: 65236B9C7BF5CCAD Time : 1922.0 sec. user=vaughan [2011-11-16 05:08:57] 465*2^1047919-1 is not prime. Res64: AC10C300E50DB9F8 Time : 2033.0 sec. user=vaughan [2011-11-16 05:08:59] 531*2^1047919-1 is not prime. Res64: CBC0043338357F8D Time : 1929.0 sec. user=vaughan [2011-11-16 05:12:43] 503*2^1047920-1 is not prime. Res64: 5308B2D285535307 Time : 1351.0 sec. user=vaughan [2011-11-16 05:15:02] 587*2^1047920-1 is not prime. Res64: DC427478F7C159E8 Time : 1281.0 sec. user=vaughan [2011-11-16 05:27:23] 579*2^1047919-1 is not prime. Res64: 9CFCAB5944613255 Time : 2627.0 sec. user=vaughan [2011-11-16 05:29:16] 525*2^1047920-1 is not prime. Res64: 6F32FCB19CDAEA47 Time : 2229.0 sec. user=vaughan [2011-11-16 05:30:48] 499*2^1047921-1 is not prime. Res64: A6D0B7DD1421ED0B Time : 1940.0 sec. user=vaughan [2011-11-16 05:35:11] 527*2^1047922-1 is not prime. Res64: 6C8F824274501B51 Time : 1349.0 sec. user=vaughan [2011-11-16 05:36:21] 435*2^1047923-1 is not prime. Res64: A1BDE6D400A6DEA5 Time : 1280.0 sec. user=vaughan [2011-11-16 05:37:19] 535*2^1047921-1 is not prime. Res64: 6959708AE2E4B76E Time : 2159.0 sec. user=vaughan [2011-11-16 05:39:20] 459*2^1047921-1 is not prime. Res64: 9E07B0191359BE75 Time : 2576.0 sec. user=vaughan [2011-11-16 05:41:07] 577*2^1047921-1 is not prime. Res64: 7DB55D7B50D9F4CB Time : 1944.0 sec. user=vaughan [2011-11-16 05:41:10] 503*2^1047922-1 is not prime. Res64: 5042DAAB3C54B3B0 Time : 1931.0 sec. user=vaughan [2011-11-16 05:42:48] 437*2^1047922-1 is not prime. Res64: F50B3C6CEE5D8513 Time : 2031.0 sec. user=vaughan [2011-11-16 05:52:00] 571*2^1047921-1 is not prime. Res64: 2A8418126F57BB86 Time : 2687.0 sec. user=vaughan [2011-11-16 05:57:40] 597*2^1047924-1 is not prime. Res64: 395FC236E0A462BF Time : 1350.0 sec. user=vaughan [2011-11-16 05:57:45] 429*2^1047925-1 is not prime. Res64: C04232BB0672C2E5 Time : 1285.0 sec. user=vaughan [2011-11-16 06:03:09] 527*2^1047924-1 is not prime. Res64: BD7CAD051B09F632 Time : 1941.0 sec. user=vaughan [2011-11-16 06:06:28] 465*2^1047924-1 is not prime. Res64: C006EE1A642FEED1 Time : 2232.0 sec. user=vaughan [2011-11-16 06:11:31] 489*2^1047923-1 is not prime. Res64: D4A4AD917099FBE5 Time : 2648.0 sec. user=vaughan [2011-11-16 06:13:15] 465*2^1047925-1 is not prime. Res64: 2D6EC4D0FBE6E720 Time : 2157.0 sec. user=vaughan [2011-11-16 06:16:32] 433*2^1047927-1 is not prime. Res64: BC3D016235924CD7 Time : 2025.0 sec. user=vaughan [2011-11-16 06:19:03] 573*2^1047928-1 is not prime. Res64: AC8DEF9E19C7AFB6 Time : 1279.0 sec. user=vaughan [2011-11-16 06:20:08] 523*2^1047927-1 is not prime. Res64: D467ECA266313686 Time : 1348.0 sec. user=vaughan [2011-11-16 06:35:27] 431*2^1047930-1 is not prime. Res64: D1C5DF6B57F3A0AD Time : 1939.0 sec. user=vaughan [2011-11-16 06:40:23] 597*2^1047933-1 is not prime. Res64: 3A29407AD6D6AA54 Time : 1280.0 sec. user=vaughan [2011-11-16 06:42:36] 423*2^1047934-1 is not prime. Res64: A1837790B3947D93 Time : 1348.0 sec. user=vaughan [2011-11-16 06:55:12] 441*2^1047931-1 is not prime. Res64: ED4AC59A371CEBFD Time : 2622.0 sec. user=vaughan [2011-11-16 07:39:04] 503*2^1047936-1 is not prime. Res64: 82CED41E4C521BD8 Time : 2632.0 sec. user=vaughan [2011-11-16 08:25:00] 557*2^1047936-1 is not prime. Res64: A9A99EE33F1A3AB6 Time : 2623.0 sec. user=vaughan [2011-11-16 09:09:50] 563*2^1047936-1 is not prime. Res64: 32753A9BDCBE4AB2 Time : 2691.0 sec. user=vaughan [2011-11-16 09:53:44] 409*2^1047937-1 is not prime. Res64: 856DFE41E2DFB167 Time : 2634.0 sec. user=vaughan [2011-11-16 10:38:45] 465*2^1047937-1 is not prime. Res64: 0F9DD6336894D675 Time : 2617.0 sec. user=vaughan [2011-11-16 11:22:26] 511*2^1047937-1 is not prime. Res64: A9C2EDDFF1A1FB19 Time : 2622.0 sec. user=vaughan [2011-11-16 12:06:08] 561*2^1047937-1 is not prime. Res64: FBE6BD77B759628A Time : 2623.0 sec. user=vaughan [2011-11-16 12:49:50] 507*2^1047938-1 is not prime. Res64: 15B8FD8D0FDB1168 Time : 2622.0 sec. user=vaughan [2011-11-16 13:34:20] 515*2^1047938-1 is not prime. Res64: 6AF733CDB52E6E27 Time : 2671.0 sec. user=vaughan [2011-11-16 14:18:10] 411*2^1047939-1 is not prime. Res64: 917204EF739EFDBD Time : 2630.0 sec. user=vaughan [2011-11-16 15:48:01] 469*2^1047939-1 is not prime. Res64: 7516DCFBA3580560 Time : 2632.0 sec. user=vaughan [2011-11-16 16:33:14] 493*2^1047939-1 is not prime. Res64: 9A3D5D44A967CFD7 Time : 2622.0 sec. user=vaughan [2011-11-16 17:17:04] 511*2^1047939-1 is not prime. Res64: 83747510F65A7989 Time : 2630.0 sec. user=vaughan [2011-11-16 18:00:54] 583*2^1047939-1 is not prime. Res64: 624E3864D5B4F4B0 Time : 2630.0 sec. user=vaughan [2011-11-16 18:44:41] 449*2^1047940-1 is not prime. Res64: 18904D028643412A Time : 2628.0 sec. user=vaughan [2011-11-16 19:28:37] 519*2^1047940-1 is not prime. Res64: 3C9AC2F95A009AB9 Time : 2637.0 sec. user=vaughan [2011-11-16 20:13:42] 545*2^1047940-1 is not prime. Res64: 885F8C01D5D006BF Time : 2635.0 sec. user=vaughan [2011-11-16 20:58:30] 529*2^1047941-1 is not prime. Res64: D80913BCD97B31DB Time : 2619.0 sec. user=vaughan [2011-11-16 21:42:07] 577*2^1047941-1 is not prime. Res64: 60D1DEB82FA1E647 Time : 2618.0 sec. user=vaughan [2011-11-16 22:25:56] 425*2^1047942-1 is not prime. Res64: 7CCFC4BE7D299D3F Time : 2629.0 sec. user=vaughan [2011-11-16 23:10:45] 451*2^1047943-1 is not prime. Res64: D795A251EED38597 Time : 2619.0 sec. user=vaughan [2011-11-16 23:54:36] 483*2^1047944-1 is not prime. Res64: 3F11213BD89DCA27 Time : 2631.0 sec.