user=vaughan [2011-11-21 00:17:37] 575*2^1048006-1 is not prime. Res64: 28FBF3CCA9B18DCD Time : 1954.0 sec. user=vaughan [2011-11-21 00:19:52] 433*2^1048007-1 is not prime. Res64: 925DB6E7F89118C9 Time : 1517.0 sec. user=vaughan [2011-11-21 00:25:26] 573*2^1048006-1 is not prime. Res64: C23614C5E7F87939 Time : 2625.0 sec. user=vaughan [2011-11-21 00:26:32] 421*2^1048007-1 is not prime. Res64: ADB21BE22E8ED718 Time : 2240.0 sec. user=vaughan [2011-11-21 00:26:38] 465*2^1048007-1 is not prime. Res64: 25996C8E0E961CFB Time : 1855.0 sec. user=vaughan [2011-11-21 00:28:14] 555*2^1048008-1 is not prime. Res64: 7C2B9EFAF98F8E40 Time : 1401.0 sec. user=vaughan [2011-11-21 00:32:26] 453*2^1048007-1 is not prime. Res64: D1F0439633DCE19C Time : 2212.0 sec. user=vaughan [2011-11-21 00:39:23] 441*2^1048009-1 is not prime. Res64: B2F1D893DC0C5E94 Time : 2023.0 sec. user=vaughan [2011-11-21 00:45:15] 447*2^1048010-1 is not prime. Res64: 918C35C61A973E56 Time : 1523.0 sec. user=vaughan [2011-11-21 00:50:03] 547*2^1048009-1 is not prime. Res64: 4FC98CE7E7DA56DE Time : 1946.0 sec. user=vaughan [2011-11-21 00:51:12] 441*2^1048011-1 is not prime. Res64: DEDF8E1B9572D27C Time : 1378.0 sec. user=vaughan [2011-11-21 00:51:37] 495*2^1048009-1 is not prime. Res64: 1E7464C24D979EBD Time : 2638.0 sec. user=vaughan [2011-11-21 00:53:23] 531*2^1048010-1 is not prime. Res64: A0280D94BB5421DC Time : 1986.0 sec. user=vaughan [2011-11-21 00:57:33] 409*2^1048011-1 is not prime. Res64: 75F1626CD801BEA8 Time : 1855.0 sec. user=vaughan [2011-11-21 01:03:44] 403*2^1048011-1 is not prime. Res64: 6289FA114FA978FC Time : 2233.0 sec. user=vaughan [2011-11-21 01:09:06] 561*2^1048010-1 is not prime. Res64: BB52B1CC773B59D0 Time : 2620.0 sec. user=vaughan [2011-11-21 01:09:22] 555*2^1048011-1 is not prime. Res64: B2C06CEE4F961A84 Time : 2216.0 sec. user=vaughan [2011-11-21 01:10:32] 563*2^1048012-1 is not prime. Res64: FA159D729B3A5B35 Time : 1517.0 sec. user=vaughan [2011-11-21 01:10:36] 541*2^1048011-1 is not prime. Res64: B4B1982A90B45C9B Time : 2518.0 sec. user=vaughan [2011-11-21 01:13:02] 423*2^1048012-1 is not prime. Res64: C8E03D935B4C4B1E Time : 2019.0 sec. user=vaughan [2011-11-21 01:13:57] 567*2^1048013-1 is not prime. Res64: 3ABFA89B5CE62A2F Time : 1366.0 sec. user=vaughan [2011-11-21 01:22:25] 507*2^1048013-1 is not prime. Res64: 2F280384981DD7FC Time : 1942.0 sec. user=vaughan [2011-11-21 01:26:24] 431*2^1048014-1 is not prime. Res64: 6ECFF8F8C2E14794 Time : 1981.0 sec. user=vaughan [2011-11-21 01:28:28] 455*2^1048014-1 is not prime. Res64: D482F84A77F72C30 Time : 1855.0 sec. user=vaughan [2011-11-21 01:35:56] 589*2^1048015-1 is not prime. Res64: 91B614E8DC8FC339 Time : 1524.0 sec. user=vaughan [2011-11-21 01:35:58] 423*2^1048014-1 is not prime. Res64: 380CD1EC87E26F6C Time : 2661.0 sec. user=vaughan [2011-11-21 01:36:41] 409*2^1048017-1 is not prime. Res64: AEE1C2067338254E Time : 1364.0 sec. user=vaughan [2011-11-21 01:40:55] 501*2^1048014-1 is not prime. Res64: 46AE8DD2F1E0EB8C Time : 2232.0 sec. user=vaughan [2011-11-21 01:46:25] 453*2^1048015-1 is not prime. Res64: B8570F45B1E5BCAF Time : 2223.0 sec. user=vaughan [2011-11-21 01:46:38] 563*2^1048016-1 is not prime. Res64: DAD0474A055C14C9 Time : 2017.0 sec. user=vaughan [2011-11-21 01:52:37] 519*2^1048016-1 is not prime. Res64: 262C12CEB4DA2FFD Time : 2521.0 sec. user=vaughan [2011-11-21 01:53:07] 451*2^1048015-1 is not prime. Res64: B998BA89E6553CD9 Time : 2641.0 sec. user=vaughan [2011-11-21 01:54:30] 457*2^1048017-1 is not prime. Res64: 869C33A76E1F66BF Time : 1925.0 sec. user=vaughan [2011-11-21 01:58:19] 495*2^1048017-1 is not prime. Res64: 8A169A61B39AD0E1 Time : 1791.0 sec. user=vaughan [2011-11-21 01:58:43] 471*2^1048017-1 is not prime. Res64: 90E808DFA94F619F Time : 1940.0 sec. user=vaughan [2011-11-21 01:59:18] 531*2^1048017-1 is not prime. Res64: 68B51DDFCED58218 Time : 1357.0 sec. user=vaughan [2011-11-21 02:01:07] 499*2^1048017-1 is not prime. Res64: 2E1B8D6ABEF1EB33 Time : 1512.0 sec. user=vaughan [2011-11-21 02:16:47] 565*2^1048017-1 is not prime. Res64: 9FF156C557C59ED6 Time : 2153.0 sec. user=vaughan [2011-11-21 02:18:54] 413*2^1048018-1 is not prime. Res64: 833412C8ED5C9E30 Time : 1937.0 sec. user=vaughan [2011-11-21 02:19:30] 517*2^1048017-1 is not prime. Res64: 4103DB2BA3989602 Time : 2612.0 sec. user=vaughan [2011-11-21 02:21:11] 579*2^1048019-1 is not prime. Res64: C8F1BC6E328A8C4F Time : 1314.0 sec. user=vaughan [2011-11-21 02:21:31] 585*2^1048017-1 is not prime. Res64: F4BA65D21B12D2F6 Time : 2106.0 sec. user=vaughan [2011-11-21 02:25:31] 447*2^1048020-1 is not prime. Res64: F0FE2A62808E51B4 Time : 1464.0 sec. user=vaughan [2011-11-21 02:25:53] 483*2^1048018-1 is not prime. Res64: 025A0EBD450537C0 Time : 1883.0 sec. user=vaughan [2011-11-21 02:28:11] 403*2^1048019-1 is not prime. Res64: 694EE537B108CBE9 Time : 1792.0 sec. user=vaughan [2011-11-21 02:30:56] 435*2^1048019-1 is not prime. Res64: 3E756F544B27D302 Time : 1933.0 sec. user=vaughan [2011-11-21 02:34:42] 447*2^1048018-1 is not prime. Res64: DC562C77596A3097 Time : 2525.0 sec. user=vaughan [2011-11-21 02:39:06] 533*2^1048018-1 is not prime. Res64: DBB15605D8669DE7 Time : 2626.0 sec. user=vaughan [2011-11-21 02:43:06] 561*2^1048021-1 is not prime. Res64: 4759198487284F5C Time : 1315.0 sec. user=vaughan [2011-11-21 02:49:44] 495*2^1048022-1 is not prime. Res64: F39CC0FC75EA83B1 Time : 1454.0 sec. user=vaughan [2011-11-21 02:51:08] 541*2^1048021-1 is not prime. Res64: E9F26FCD8E2FA33F Time : 1934.0 sec. user=vaughan [2011-11-21 02:52:24] 557*2^1048020-1 is not prime. Res64: 84767A495DAAD8C0 Time : 2137.0 sec. user=vaughan [2011-11-21 02:56:34] 455*2^1048022-1 is not prime. Res64: 324535A76339F161 Time : 2104.0 sec. user=vaughan [2011-11-21 02:57:15] 551*2^1048022-1 is not prime. Res64: D86A6C03AC7267AF Time : 1882.0 sec. user=vaughan [2011-11-21 02:58:06] 451*2^1048023-1 is not prime. Res64: AEE274784EED7AB2 Time : 1795.0 sec. user=vaughan [2011-11-21 03:02:35] 559*2^1048021-1 is not prime. Res64: 8ABFE3B4CEA2DA9C Time : 2585.0 sec. user=vaughan [2011-11-21 03:03:10] 559*2^1048023-1 is not prime. Res64: 45D03AEB64FE9A79 Time : 1934.0 sec. user=vaughan [2011-11-21 03:05:06] 539*2^1048024-1 is not prime. Res64: 90AD0E5C2E2AA8AB Time : 1321.0 sec. user=vaughan [2011-11-21 03:13:54] 575*2^1048024-1 is not prime. Res64: 6FA80D0ACFC7C738 Time : 1450.0 sec. user=vaughan [2011-11-21 03:16:35] 583*2^1048023-1 is not prime. Res64: FB9FB0DDCC88FDE7 Time : 2513.0 sec. user=vaughan [2011-11-21 03:23:31] 445*2^1048025-1 is not prime. Res64: 6A394086810EBBEB Time : 1944.0 sec. user=vaughan [2011-11-21 03:25:21] 509*2^1048024-1 is not prime. Res64: E48BF1A95212D361 Time : 2775.0 sec. user=vaughan [2011-11-21 03:27:06] 505*2^1048027-1 is not prime. Res64: 897D8B6E3D7A2A7F Time : 1321.0 sec. user=vaughan [2011-11-21 03:28:02] 511*2^1048025-1 is not prime. Res64: C01CCE78D6A9BD4D Time : 2139.0 sec. user=vaughan [2011-11-21 03:28:03] 443*2^1048026-1 is not prime. Res64: A136DDFFA2DAC6AF Time : 1797.0 sec. user=vaughan [2011-11-21 03:28:43] 529*2^1048025-1 is not prime. Res64: 04B88A8AEFE52DE8 Time : 1889.0 sec. user=vaughan [2011-11-21 03:31:40] 517*2^1048025-1 is not prime. Res64: 135C0EC6B22B510E Time : 2106.0 sec. user=vaughan [2011-11-21 03:35:23] 463*2^1048027-1 is not prime. Res64: AFC21C1F480A0C39 Time : 1934.0 sec. user=vaughan [2011-11-21 03:38:18] 531*2^1048027-1 is not prime. Res64: 28AD1379A6BFB3F4 Time : 1464.0 sec. user=vaughan [2011-11-21 03:45:22] 513*2^1048026-1 is not prime. Res64: 788C217D7B99F097 Time : 2568.0 sec. user=vaughan [2011-11-21 03:48:57] 459*2^1048029-1 is not prime. Res64: 0F8DA8523F62A80A Time : 1312.0 sec. user=vaughan [2011-11-21 03:55:50] 425*2^1048028-1 is not prime. Res64: F2C3F7F44F359DB4 Time : 1941.0 sec. user=vaughan [2011-11-21 03:58:03] 507*2^1048029-1 is not prime. Res64: E9BC08DD7F94E42C Time : 1801.0 sec. user=vaughan [2011-11-21 03:58:23] 541*2^1048027-1 is not prime. Res64: 70BE8902FD30BC78 Time : 2508.0 sec. user=vaughan [2011-11-21 03:59:50] 507*2^1048032-1 is not prime. Res64: 0DEFF1C716A638AE Time : 1293.0 sec. user=vaughan [2011-11-21 04:00:11] 575*2^1048030-1 is not prime. Res64: 61D046037E7F5E92 Time : 1890.0 sec. user=vaughan [2011-11-21 04:03:42] 465*2^1048029-1 is not prime. Res64: EBD18F3B18C8241D Time : 2140.0 sec. user=vaughan [2011-11-21 04:06:43] 433*2^1048031-1 is not prime. Res64: F2D92C886741ACEA Time : 2104.0 sec. user=vaughan [2011-11-21 04:07:27] 525*2^1048031-1 is not prime. Res64: 352009CD15F16FAE Time : 1925.0 sec. user=vaughan [2011-11-21 04:10:33] 587*2^1048032-1 is not prime. Res64: 0A4E4D2949C13F1E Time : 1297.0 sec. user=vaughan [2011-11-21 04:21:05] 593*2^1048034-1 is not prime. Res64: CFC5346806DB36D4 Time : 1276.0 sec. user=vaughan [2011-11-21 04:27:31] 525*2^1048032-1 is not prime. Res64: 716288A65F940E4A Time : 2530.0 sec. user=vaughan [2011-11-21 04:27:58] 541*2^1048033-1 is not prime. Res64: 0BCEF73543C4E264 Time : 1796.0 sec. user=vaughan [2011-11-21 04:28:10] 441*2^1048033-1 is not prime. Res64: 2838B200CC4680E3 Time : 1941.0 sec. user=vaughan [2011-11-21 04:31:39] 415*2^1048035-1 is not prime. Res64: E15BB41BA2714DB3 Time : 1890.0 sec. user=vaughan [2011-11-21 04:32:12] 595*2^1048035-1 is not prime. Res64: 8208942FFD037024 Time : 1300.0 sec. user=vaughan [2011-11-21 04:39:20] 459*2^1048035-1 is not prime. Res64: 8AE1E7239A2548A4 Time : 2139.0 sec. user=vaughan [2011-11-21 04:39:43] 587*2^1048034-1 is not prime. Res64: 55E997B2C4D4FBB8 Time : 2481.0 sec. user=vaughan [2011-11-21 04:39:46] 511*2^1048035-1 is not prime. Res64: 2AF733556CAFAD6C Time : 1940.0 sec. user=vaughan [2011-11-21 04:41:54] 465*2^1048035-1 is not prime. Res64: 62AA991E7DCE1FF3 Time : 2112.0 sec. user=vaughan [2011-11-21 04:42:21] 497*2^1048036-1 is not prime. Res64: 88B894155781440F Time : 1278.0 sec. user=vaughan [2011-11-21 04:54:04] 511*2^1048037-1 is not prime. Res64: 78B876305DB78752 Time : 1317.0 sec. user=vaughan [2011-11-21 04:56:55] 413*2^1048036-1 is not prime. Res64: C5EB6755D705BFF6 Time : 2649.0 sec. user=vaughan [2011-11-21 04:58:05] 539*2^1048036-1 is not prime. Res64: 7DE6FC400C9BE5F3 Time : 1808.0 sec. user=vaughan [2011-11-21 05:00:33] 563*2^1048036-1 is not prime. Res64: 6234A2F36A397547 Time : 1946.0 sec. user=vaughan [2011-11-21 05:03:13] 441*2^1048037-1 is not prime. Res64: B442A462257581FB Time : 1895.0 sec. user=vaughan [2011-11-21 05:03:39] 567*2^1048038-1 is not prime. Res64: E77A7FC421D3DB0A Time : 1279.0 sec. user=vaughan [2011-11-21 05:12:29] 503*2^1048038-1 is not prime. Res64: 6B3984DE51382712 Time : 1964.0 sec. user=vaughan [2011-11-21 05:14:14] 527*2^1048036-1 is not prime. Res64: 623A0D9E68511B58 Time : 2804.0 sec. user=vaughan [2011-11-21 05:14:58] 437*2^1048038-1 is not prime. Res64: C4AB4A2C1A52295E Time : 2140.0 sec. user=vaughan [2011-11-21 05:15:45] 531*2^1048039-1 is not prime. Res64: E450DF71C67A27F8 Time : 1303.0 sec. user=vaughan [2011-11-21 05:16:58] 527*2^1048038-1 is not prime. Res64: A5ED9860AAB648FF Time : 2106.0 sec. user=vaughan [2011-11-21 05:24:53] 463*2^1048043-1 is not prime. Res64: 5E012648B9FB95E1 Time : 1276.0 sec. user=vaughan [2011-11-21 05:26:51] 465*2^1048038-1 is not prime. Res64: 990ACF33B56C18CA Time : 2829.0 sec. user=vaughan [2011-11-21 05:28:07] 525*2^1048040-1 is not prime. Res64: 238FD96A234E7FB5 Time : 1804.0 sec. user=vaughan [2011-11-21 05:33:07] 517*2^1048041-1 is not prime. Res64: 783F60AC3C2747BF Time : 1955.0 sec. user=vaughan [2011-11-21 05:34:48] 597*2^1048041-1 is not prime. Res64: 9EFD1BE9CB0FE428 Time : 1901.0 sec. user=vaughan [2011-11-21 05:37:24] 507*2^1048044-1 is not prime. Res64: 843399336E9363B4 Time : 1300.0 sec. user=vaughan [2011-11-21 05:45:46] 589*2^1048043-1 is not prime. Res64: 4FC818045679F6F5 Time : 1998.0 sec. user=vaughan [2011-11-21 05:46:13] 557*2^1048044-1 is not prime. Res64: 0B560D0A0A20690C Time : 1281.0 sec. user=vaughan [2011-11-21 05:48:06] 515*2^1048040-1 is not prime. Res64: A88F3E01775C2F94 Time : 3072.0 sec. user=vaughan [2011-11-21 05:51:16] 503*2^1048044-1 is not prime. Res64: E571251F5F30E5E3 Time : 2179.0 sec. user=vaughan [2011-11-21 05:53:01] 527*2^1048044-1 is not prime. Res64: 0C8EB27D8A306F5B Time : 2165.0 sec. user=vaughan [2011-11-21 05:58:15] 447*2^1048045-1 is not prime. Res64: E885B63F987A501F Time : 1809.0 sec. user=vaughan [2011-11-21 05:59:07] 537*2^1048045-1 is not prime. Res64: D28B3B89618C58B0 Time : 1304.0 sec. user=vaughan [2011-11-21 06:06:03] 451*2^1048045-1 is not prime. Res64: 5C935217AC27131C Time : 1977.0 sec. user=vaughan [2011-11-21 06:06:47] 437*2^1048044-1 is not prime. Res64: ECA0997039963FAF Time : 3154.0 sec. user=vaughan [2011-11-21 06:07:47] 519*2^1048045-1 is not prime. Res64: 6C319BC0D2F0978F Time : 1981.0 sec. user=vaughan [2011-11-21 06:07:57] 461*2^1048046-1 is not prime. Res64: ECC87F12352891C0 Time : 1308.0 sec. user=vaughan [2011-11-21 06:17:07] 569*2^1048044-1 is not prime. Res64: 23248E1BE3E8094D Time : 3017.0 sec. user=vaughan [2011-11-21 06:19:06] 437*2^1048046-1 is not prime. Res64: 02A881D6C1B31E2B Time : 2001.0 sec. user=vaughan [2011-11-21 06:21:59] 405*2^1048047-1 is not prime. Res64: 798D94E01914CDE8 Time : 1373.0 sec. user=vaughan [2011-11-21 06:27:46] 501*2^1048046-1 is not prime. Res64: 0D92925701A6B3D0 Time : 2191.0 sec. user=vaughan [2011-11-21 06:28:26] 575*2^1048046-1 is not prime. Res64: 6F7FAF57955D52E6 Time : 1813.0 sec. user=vaughan [2011-11-21 06:29:25] 507*2^1048048-1 is not prime. Res64: 2CCA41E8EDE6A185 Time : 1289.0 sec. user=vaughan [2011-11-21 06:30:24] 561*2^1048046-1 is not prime. Res64: 3FAFFEE6C2A817F7 Time : 2244.0 sec. user=vaughan [2011-11-21 06:32:27] 425*2^1048046-1 is not prime. Res64: AF210F804E715084 Time : 2962.0 sec. user=vaughan [2011-11-21 06:52:14] 469*2^1048049-1 is not prime. Res64: 1ECA3A7756631A63 Time : 1990.0 sec. user=vaughan [2011-11-21 06:57:23] 565*2^1048047-1 is not prime. Res64: 3466053E1E246A96 Time : 3038.0 sec. user=vaughan [2011-11-21 06:58:32] 483*2^1048051-1 is not prime. Res64: 878F1C1BADA09E8E Time : 1807.0 sec. user=vaughan [2011-11-21 07:03:41] 513*2^1048048-1 is not prime. Res64: 689191ABC41911A5 Time : 2796.0 sec. user=vaughan [2011-11-21 07:16:23] 519*2^1048052-1 is not prime. Res64: 4317ED2A028BA3FC Time : 2659.0 sec. user=vaughan [2011-11-21 07:24:50] 533*2^1048052-1 is not prime. Res64: BDA1453DE90D807C Time : 1958.0 sec. user=vaughan [2011-11-21 07:28:49] 585*2^1048052-1 is not prime. Res64: 8FDF24503EDE0C1D Time : 1819.0 sec. user=vaughan [2011-11-21 08:01:16] 459*2^1048053-1 is not prime. Res64: F5D764DF61E620F6 Time : 2626.0 sec. user=vaughan [2011-11-21 08:46:37] 411*2^1048054-1 is not prime. Res64: A720DFDF39429162 Time : 2721.0 sec. user=vaughan [2011-11-21 09:32:11] 575*2^1048054-1 is not prime. Res64: 09032F76AF18CF10 Time : 2628.0 sec. user=vaughan [2011-11-21 10:16:10] 489*2^1048055-1 is not prime. Res64: 17E9A1E0A905B33F Time : 2639.0 sec. user=vaughan [2011-11-21 14:10:19] 579*2^1048055-1 is not prime. Res64: 54DEF9245FAD8898 Time : 13978.0 sec. user=vaughan [2011-11-21 14:54:02] 585*2^1048055-1 is not prime. Res64: 7E3A51406262D494 Time : 2624.0 sec. user=vaughan [2011-11-21 15:37:53] 525*2^1048056-1 is not prime. Res64: B8C7F4C85AC34711 Time : 2631.0 sec. user=vaughan [2011-11-21 16:23:57] 567*2^1048056-1 is not prime. Res64: F1FD612F688F7A55 Time : 2631.0 sec. user=vaughan [2011-11-21 17:08:51] 469*2^1048057-1 is not prime. Res64: 9C401B46A8A9CF5F Time : 2624.0 sec. user=vaughan [2011-11-21 17:52:32] 499*2^1048057-1 is not prime. Res64: A06E9A9A167243D7 Time : 2621.0 sec. user=vaughan [2011-11-21 18:36:26] 423*2^1048058-1 is not prime. Res64: 6AD7EF7D3CFDC87E Time : 2634.0 sec. user=vaughan [2011-11-21 19:21:33] 425*2^1048058-1 is not prime. Res64: E4F53EB8AB532192 Time : 2625.0 sec. user=vaughan [2011-11-21 20:05:20] 575*2^1048058-1 is not prime. Res64: 98C012CAB17DA03C Time : 2628.0 sec. user=vaughan [2011-11-21 20:49:15] 459*2^1048059-1 is not prime. Res64: 665B3D100917A85B Time : 2635.0 sec. user=vaughan [2011-11-21 21:00:23] 513*2^1048047-1 is not prime. Res64: 5920A11AFB6D4B3E Time : 53661.0 sec. user=vaughan [2011-11-21 21:02:35] 413*2^1048048-1 is not prime. Res64: 22F68A5FC6F90FBB Time : 53689.0 sec. user=vaughan [2011-11-21 21:05:49] 481*2^1048049-1 is not prime. Res64: 7A68ADDACE744763 Time : 53032.0 sec. user=vaughan [2011-11-21 21:12:34] 405*2^1048052-1 is not prime. Res64: C218F8BC1AC69CCE Time : 52990.0 sec. user=vaughan [2011-11-21 21:24:36] 465*2^1048051-1 is not prime. Res64: AB322FD960C14A9E Time : 53812.0 sec. user=vaughan [2011-11-21 21:25:27] 515*2^1048052-1 is not prime. Res64: FCCC9950D318601B Time : 53705.0 sec. user=vaughan [2011-11-21 21:28:07] 543*2^1048059-1 is not prime. Res64: F1576FB064EDCBFD Time : 1339.0 sec. user=vaughan [2011-11-21 21:32:23] 501*2^1048059-1 is not prime. Res64: 4B11968665419304 Time : 1921.0 sec. user=vaughan [2011-11-21 21:34:18] 481*2^1048059-1 is not prime. Res64: B2C36EDF7B6F91B3 Time : 2633.0 sec. user=vaughan [2011-11-21 21:34:39] 513*2^1048059-1 is not prime. Res64: 1805C9FA2ED08405 Time : 1925.0 sec. user=vaughan [2011-11-21 21:34:43] 573*2^1048059-1 is not prime. Res64: 7A1EF16FBD1A68A1 Time : 1330.0 sec. user=vaughan [2011-11-21 21:50:39] 561*2^1048063-1 is not prime. Res64: 6A5078CDDC07D246 Time : 1352.0 sec. user=vaughan [2011-11-21 21:56:44] 549*2^1048060-1 is not prime. Res64: AB3A554B34D7B1AA Time : 1929.0 sec. user=vaughan [2011-11-21 21:56:51] 459*2^1048064-1 is not prime. Res64: C849CF24A8BC98C5 Time : 1328.0 sec. user=vaughan [2011-11-21 21:58:37] 559*2^1048063-1 is not prime. Res64: 90C637BFA562A327 Time : 1990.0 sec. user=vaughan [2011-11-21 22:04:23] 425*2^1048064-1 is not prime. Res64: 212B2DE256303025 Time : 1920.0 sec. user=vaughan [2011-11-21 22:06:47] 447*2^1048064-1 is not prime. Res64: C355A581B7D09D36 Time : 1928.0 sec. user=vaughan [2011-11-21 22:13:05] 507*2^1048064-1 is not prime. Res64: B3576173AC585110 Time : 1347.0 sec. user=vaughan [2011-11-21 22:19:08] 473*2^1048064-1 is not prime. Res64: 69B578E1E15004C5 Time : 2628.0 sec. user=vaughan [2011-11-21 22:28:55] 405*2^1048065-1 is not prime. Res64: 2C5F6E2D8B7DBA8C Time : 1932.0 sec. user=vaughan [2011-11-21 22:31:44] 469*2^1048065-1 is not prime. Res64: 7980242DBE2EA49B Time : 1988.0 sec. user=vaughan [2011-11-21 22:36:25] 495*2^1048065-1 is not prime. Res64: 91E696DAFF4C719D Time : 1922.0 sec. user=vaughan [2011-11-21 22:38:51] 413*2^1048066-1 is not prime. Res64: DD76F4140D96E92E Time : 1925.0 sec. user=vaughan [2011-11-21 23:01:02] 421*2^1048067-1 is not prime. Res64: 40ED5BB11D613A3B Time : 1928.0 sec. user=vaughan [2011-11-21 23:02:58] 561*2^1048066-1 is not prime. Res64: 503CD8FF713B0BBB Time : 2630.0 sec. user=vaughan [2011-11-21 23:04:47] 501*2^1048067-1 is not prime. Res64: 52E0516973C893DE Time : 1984.0 sec. user=vaughan [2011-11-21 23:08:18] 525*2^1048068-1 is not prime. Res64: 02BA7F9ACC21DCCF Time : 1913.0 sec. user=vaughan [2011-11-21 23:10:42] 527*2^1048068-1 is not prime. Res64: F25BE69AD09CDA7D Time : 1912.0 sec. user=vaughan [2011-11-21 23:32:43] 411*2^1048069-1 is not prime. Res64: 9CC877041433E2F9 Time : 1902.0 sec. user=vaughan [2011-11-21 23:37:23] 555*2^1048069-1 is not prime. Res64: EB0EA46D7231DA28 Time : 1956.0 sec. user=vaughan [2011-11-21 23:40:07] 455*2^1048070-1 is not prime. Res64: 24026B5123430969 Time : 1909.0 sec. user=vaughan [2011-11-21 23:43:27] 501*2^1048070-1 is not prime. Res64: C545371EB2E6EE28 Time : 1965.0 sec. user=vaughan [2011-11-21 23:49:58] 517*2^1048069-1 is not prime. Res64: 538E30A26133141E Time : 2714.0 sec.