user=kar_bon
[2011-11-09 00:18:25]
551*2^1047122-1 is not prime.  Res64: BD0AF5AF263C20CA  Time : 45159.0 sec.
user=vaughan
[2011-11-09 00:21:52]
527*2^1047136-1 is not prime.  Res64: 98779343B4818E2C  Time : 2624.0 sec.
user=vaughan
[2011-11-09 00:22:13]
495*2^1047112-1 is not prime.  Res64: E44EF53EEF0AC838  Time : 62933.0 sec.
user=vaughan
[2011-11-09 00:26:52]
477*2^1047137-1 is not prime.  Res64: 34DF1332AB1BD0E4  Time : 1932.0 sec.
user=vaughan
[2011-11-09 00:27:18]
561*2^1047137-1 is not prime.  Res64: 862F0EB48DCD22D8  Time : 1940.0 sec.
user=vaughan
[2011-11-09 00:27:20]
579*2^1047111-1 is not prime.  Res64: FBB5722C7DD98844  Time : 63418.0 sec.
user=vaughan
[2011-11-09 00:29:58]
539*2^1047136-1 is not prime.  Res64: 34DB5EADBBEAC6F1  Time : 2616.0 sec.
user=vaughan
[2011-11-09 00:33:58]
539*2^1047112-1 is not prime.  Res64: 3AB6C830BC4E5700  Time : 63442.0 sec.
user=vaughan
[2011-11-09 00:37:22]
465*2^1047113-1 is not prime.  Res64: 2E29D6170A57FDB9  Time : 63430.0 sec.
user=vaughan
[2011-11-09 00:39:11]
567*2^1047114-1 is not prime.  Res64: 6E659E4191A7E61D  Time : 63000.0 sec.
user=vaughan
[2011-11-09 00:43:50]
595*2^1047139-1 is not prime.  Res64: 8841C11C10DA30F0  Time : 1298.0 sec.
user=vaughan
[2011-11-09 00:44:55]
441*2^1047139-1 is not prime.  Res64: CEE890AAD9562E9A  Time : 2886.0 sec.
user=kar_bon
[2011-11-09 00:46:33]
555*2^1047139-1 is not prime.  Res64: FF17D26537406381  Time : 1688.0 sec.
user=vaughan
[2011-11-09 00:52:25]
595*2^1047115-1 is not prime.  Res64: 3E7DDBFA1F2ED1FB  Time : 63545.0 sec.
user=vaughan
[2011-11-09 00:59:10]
417*2^1047140-1 is not prime.  Res64: C3FC37CB93A4A22D  Time : 1938.0 sec.
user=vaughan
[2011-11-09 00:59:51]
585*2^1047140-1 is not prime.  Res64: 6F045BC6672A77C6  Time : 1954.0 sec.
user=vaughan
[2011-11-09 01:00:09]
405*2^1047141-1 is not prime.  Res64: 847A6F0ABED6F720  Time : 1970.0 sec.
user=vaughan
[2011-11-09 01:02:23]
577*2^1047141-1 is not prime.  Res64: C7872A8E52BB4FA5  Time : 1392.0 sec.
user=vaughan
[2011-11-09 01:05:19]
579*2^1047141-1 is not prime.  Res64: 04B78548CDF89195  Time : 1289.0 sec.
user=vaughan
[2011-11-09 01:05:22]
573*2^1047139-1 is not prime.  Res64: CF6E98C818B86BB0  Time : 2611.0 sec.
user=kar_bon
[2011-11-09 01:07:33]
435*2^1047142-1 is not prime.  Res64: F4EDB1C02F9615B0  Time : 1259.0 sec.
user=vaughan
[2011-11-09 01:08:19]
475*2^1047141-1 is not prime.  Res64: 2914AAE2EC2623FA  Time : 2061.0 sec.
user=vaughan
[2011-11-09 01:12:40]
517*2^1047141-1 is not prime.  Res64: CB11C7EC5D46FFB6  Time : 2118.0 sec.
user=vaughan
[2011-11-09 01:13:34]
429*2^1047141-1 is not prime.  Res64: AB5BAF17C6C7BAF3  Time : 2616.0 sec.
user=vaughan
[2011-11-09 01:25:27]
571*2^1047143-1 is not prime.  Res64: 375408D7F224F52F  Time : 1384.0 sec.
user=vaughan
[2011-11-09 01:26:50]
573*2^1047143-1 is not prime.  Res64: E98B4F006E627A98  Time : 1291.0 sec.
user=vaughan
[2011-11-09 01:28:18]
495*2^1047142-1 is not prime.  Res64: 5C002C9C8A1B6C6C  Time : 2153.0 sec.
user=kar_bon
[2011-11-09 01:28:44]
499*2^1047145-1 is not prime.  Res64: 4672BE8B7374CB93  Time : 1270.0 sec.
user=vaughan
[2011-11-09 01:31:29]
573*2^1047142-1 is not prime.  Res64: DCE8E402ED66B519  Time : 1939.0 sec.
user=vaughan
[2011-11-09 01:32:12]
439*2^1047143-1 is not prime.  Res64: 823EFBE5DCDFE37A  Time : 1941.0 sec.
user=vaughan
[2011-11-09 01:32:24]
401*2^1047142-1 is not prime.  Res64: DB7C7B930B755054  Time : 2849.0 sec.
user=vaughan
[2011-11-09 01:33:41]
549*2^1047143-1 is not prime.  Res64: 06B7F984504E5B03  Time : 2012.0 sec.
user=vaughan
[2011-11-09 01:42:37]
531*2^1047145-1 is not prime.  Res64: 579E2B9622AE8E50  Time : 2058.0 sec.
user=vaughan
[2011-11-09 01:48:19]
447*2^1047146-1 is not prime.  Res64: 4552B3905B27A2C5  Time : 1290.0 sec.
user=vaughan
[2011-11-09 01:48:35]
417*2^1047146-1 is not prime.  Res64: 10F4DDC047E63693  Time : 1388.0 sec.
user=vaughan
[2011-11-09 01:48:55]
589*2^1047145-1 is not prime.  Res64: 1749B2AA1DEDA8DC  Time : 2176.0 sec.
user=vaughan
[2011-11-09 01:49:01]
595*2^1047143-1 is not prime.  Res64: F6E30488BEFDF38C  Time : 2619.0 sec.
user=kar_bon
[2011-11-09 01:49:30]
503*2^1047146-1 is not prime.  Res64: 21BFA54BB48E2D6F  Time : 1245.0 sec.
user=vaughan
[2011-11-09 01:57:11]
591*2^1047145-1 is not prime.  Res64: 786380608AC4C7DB  Time : 2618.0 sec.
user=vaughan
[2011-11-09 02:03:49]
405*2^1047147-1 is not prime.  Res64: 7CF14CAB522311F0  Time : 1940.0 sec.
user=vaughan
[2011-11-09 02:03:59]
497*2^1047146-1 is not prime.  Res64: 8C25733761C4986F  Time : 2142.0 sec.
user=vaughan
[2011-11-09 02:04:30]
471*2^1047147-1 is not prime.  Res64: C097D70FFE2D1A9A  Time : 1938.0 sec.
user=vaughan
[2011-11-09 02:06:50]
585*2^1047147-1 is not prime.  Res64: 5B21F258B8BEE441  Time : 1989.0 sec.
user=vaughan
[2011-11-09 02:09:47]
449*2^1047148-1 is not prime.  Res64: CD548C4232E2E4C4  Time : 1288.0 sec.
user=kar_bon
[2011-11-09 02:10:23]
431*2^1047150-1 is not prime.  Res64: AAA02E54C7320DD0  Time : 1253.0 sec.
user=vaughan
[2011-11-09 02:11:44]
573*2^1047148-1 is not prime.  Res64: 92C6AF2CD61DD55C  Time : 1389.0 sec.
user=vaughan
[2011-11-09 02:16:57]
443*2^1047148-1 is not prime.  Res64: 1D13AB92B7FAF152  Time : 2060.0 sec.
user=vaughan
[2011-11-09 02:24:06]
435*2^1047149-1 is not prime.  Res64: 611C621E0A87573E  Time : 2111.0 sec.
user=vaughan
[2011-11-09 02:31:20]
481*2^1047153-1 is not prime.  Res64: 54C8BAF7DC412A8E  Time : 1293.0 sec.
user=kar_bon
[2011-11-09 02:31:23]
517*2^1047153-1 is not prime.  Res64: CB2B24790D3CF454  Time : 1260.0 sec.
user=vaughan
[2011-11-09 02:34:52]
565*2^1047153-1 is not prime.  Res64: 187A9D91908D7113  Time : 1388.0 sec.
user=vaughan
[2011-11-09 02:39:50]
453*2^1047151-1 is not prime.  Res64: 9A19E2807013F8F3  Time : 2151.0 sec.
user=vaughan
[2011-11-09 02:39:55]
441*2^1047153-1 is not prime.  Res64: 680D86B55DFA069D  Time : 1986.0 sec.
user=vaughan
[2011-11-09 02:40:47]
447*2^1047150-1 is not prime.  Res64: A91A72883ECC1E04  Time : 2616.0 sec.
user=vaughan
[2011-11-09 02:51:21]
423*2^1047154-1 is not prime.  Res64: 880DC6A247704494  Time : 2064.0 sec.
user=kar_bon
[2011-11-09 02:52:15]
511*2^1047155-1 is not prime.  Res64: EE52616517D18A7E  Time : 1252.0 sec.
user=vaughan
[2011-11-09 02:52:46]
567*2^1047154-1 is not prime.  Res64: 084B765255047BEE  Time : 1286.0 sec.
user=vaughan
[2011-11-09 02:57:57]
425*2^1047156-1 is not prime.  Res64: 039A732FAE062D52  Time : 1386.0 sec.
user=vaughan
[2011-11-09 02:59:13]
503*2^1047154-1 is not prime.  Res64: BDFD9F0E54692E95  Time : 2107.0 sec.
user=vaughan
[2011-11-09 03:13:02]
597*2^1047156-1 is not prime.  Res64: E0480674040E95BF  Time : 1988.0 sec.
user=kar_bon
[2011-11-09 03:13:06]
589*2^1047157-1 is not prime.  Res64: 2E6195F6063F5D9E  Time : 1251.0 sec.
user=vaughan
[2011-11-09 03:14:16]
467*2^1047158-1 is not prime.  Res64: FD688A2BA2F8440E  Time : 1290.0 sec.
user=vaughan
[2011-11-09 03:15:35]
545*2^1047156-1 is not prime.  Res64: E86A48F793B892BB  Time : 2145.0 sec.
user=vaughan
[2011-11-09 03:21:02]
501*2^1047158-1 is not prime.  Res64: D4C3802E1BBC4135  Time : 1385.0 sec.
user=vaughan
[2011-11-09 03:24:23]
409*2^1047157-1 is not prime.  Res64: E93BE7C05E3A1CE5  Time : 2617.0 sec.
user=vaughan
[2011-11-09 03:25:44]
499*2^1047157-1 is not prime.  Res64: 292B438A2F449DE2  Time : 2064.0 sec.
user=kar_bon
[2011-11-09 03:34:00]
595*2^1047159-1 is not prime.  Res64: 0A823853F91ABFAA  Time : 1254.0 sec.
user=vaughan
[2011-11-09 03:34:23]
563*2^1047158-1 is not prime.  Res64: 02EAC67DFEF98EC9  Time : 2110.0 sec.
user=vaughan
[2011-11-09 03:35:44]
407*2^1047160-1 is not prime.  Res64: 50D94B9202C1B299  Time : 1289.0 sec.
user=vaughan
[2011-11-09 03:44:16]
483*2^1047160-1 is not prime.  Res64: 94492BF6D3D16BBF  Time : 1394.0 sec.
user=vaughan
[2011-11-09 03:46:01]
469*2^1047159-1 is not prime.  Res64: 4BD6ED04B2CCB37C  Time : 1979.0 sec.
user=vaughan
[2011-11-09 03:51:22]
455*2^1047160-1 is not prime.  Res64: 2E0DC715FF6CCDA0  Time : 2147.0 sec.
user=kar_bon
[2011-11-09 03:54:53]
529*2^1047161-1 is not prime.  Res64: 9AF9E963E2F627DE  Time : 1253.0 sec.
user=vaughan
[2011-11-09 03:57:21]
429*2^1047163-1 is not prime.  Res64: 413B97DF175E3BD8  Time : 1297.0 sec.
user=vaughan
[2011-11-09 04:00:06]
439*2^1047161-1 is not prime.  Res64: 76B844D1402A9AAB  Time : 2062.0 sec.
user=vaughan
[2011-11-09 04:06:24]
493*2^1047163-1 is not prime.  Res64: 16461E111382511C  Time : 1328.0 sec.
user=vaughan
[2011-11-09 04:07:59]
563*2^1047160-1 is not prime.  Res64: 102519F699F32865  Time : 2617.0 sec.
user=vaughan
[2011-11-09 04:09:35]
453*2^1047162-1 is not prime.  Res64: DD2F59FCC6F0D9CB  Time : 2112.0 sec.
user=kar_bon
[2011-11-09 04:15:46]
595*2^1047163-1 is not prime.  Res64: 8E60844DC0C0CB85  Time : 1253.0 sec.
user=vaughan
[2011-11-09 04:19:07]
495*2^1047163-1 is not prime.  Res64: 625DE3D67BBC8DF3  Time : 1987.0 sec.
user=vaughan
[2011-11-09 04:20:07]
473*2^1047164-1 is not prime.  Res64: 193E3B476AB111E6  Time : 1367.0 sec.
user=vaughan
[2011-11-09 04:27:09]
573*2^1047163-1 is not prime.  Res64: 1383F4F4E17BDAE3  Time : 2148.0 sec.
user=vaughan
[2011-11-09 04:28:08]
585*2^1047164-1 is not prime.  Res64: 322CE969A8392C99  Time : 1305.0 sec.
user=vaughan
[2011-11-09 04:34:20]
563*2^1047164-1 is not prime.  Res64: 0F2015CB3B33A1AC  Time : 2055.0 sec.
user=kar_bon
[2011-11-09 04:36:40]
465*2^1047165-1 is not prime.  Res64: 8A9CDC37C904C02A  Time : 1254.0 sec.
user=vaughan
[2011-11-09 04:42:58]
507*2^1047165-1 is not prime.  Res64: BCAC594B51DA7456  Time : 1371.0 sec.
user=vaughan
[2011-11-09 04:44:34]
457*2^1047165-1 is not prime.  Res64: 87455C39908DFCDE  Time : 2099.0 sec.
user=vaughan
[2011-11-09 04:49:51]
465*2^1047166-1 is not prime.  Res64: 55724FCEE87D8624  Time : 1303.0 sec.
user=vaughan
[2011-11-09 04:52:01]
469*2^1047165-1 is not prime.  Res64: 665D558192A6A992  Time : 1975.0 sec.
user=kar_bon
[2011-11-09 04:57:36]
511*2^1047167-1 is not prime.  Res64: E5D78D7AC88952F7  Time : 1256.0 sec.
user=vaughan
[2011-11-09 05:03:17]
537*2^1047165-1 is not prime.  Res64: 41D0D3BE3F8A9D8C  Time : 2168.0 sec.
user=vaughan
[2011-11-09 05:08:44]
477*2^1047166-1 is not prime.  Res64: 488A3DFCCF4294C3  Time : 2064.0 sec.
user=vaughan
[2011-11-09 05:16:39]
585*2^1047167-1 is not prime.  Res64: 86295280454C22C9  Time : 2021.0 sec.
user=kar_bon
[2011-11-09 05:18:32]
495*2^1047169-1 is not prime.  Res64: 67DD3257F150F03E  Time : 1256.0 sec.
user=vaughan
[2011-11-09 05:20:00]
507*2^1047168-1 is not prime.  Res64: 9C80A9B75CE39B6B  Time : 2126.0 sec.
user=vaughan
[2011-11-09 05:25:29]
527*2^1047168-1 is not prime.  Res64: 03C138E433841609  Time : 2138.0 sec.
user=vaughan
[2011-11-09 05:25:50]
411*2^1047169-1 is not prime.  Res64: 34BF38AE9E2A3A0A  Time : 2030.0 sec.
user=vaughan
[2011-11-09 05:39:26]
517*2^1047169-1 is not prime.  Res64: 288FC78F8A6F3726  Time : 2170.0 sec.
user=kar_bon
[2011-11-09 05:39:52]
521*2^1047170-1 is not prime.  Res64: B21166E98B9F584C  Time : 1280.0 sec.
user=vaughan
[2011-11-09 05:43:06]
589*2^1047169-1 is not prime.  Res64: CC0E3F4B8A71F33D  Time : 2063.0 sec.
user=vaughan
[2011-11-09 05:55:25]
409*2^1047171-1 is not prime.  Res64: D70B20AB60C9813B  Time : 2126.0 sec.
user=vaughan
[2011-11-09 05:59:35]
483*2^1047170-1 is not prime.  Res64: 293C6661D692E172  Time : 2576.0 sec.
user=vaughan
[2011-11-09 05:59:40]
469*2^1047171-1 is not prime.  Res64: 512A1353012B15DF  Time : 2030.0 sec.
user=kar_bon
[2011-11-09 06:00:46]
595*2^1047171-1 is not prime.  Res64: E637BAD3407BF4F8  Time : 1254.0 sec.
user=vaughan
[2011-11-09 06:01:24]
445*2^1047171-1 is not prime.  Res64: 47100C92D6EC4A26  Time : 2155.0 sec.
user=vaughan
[2011-11-09 06:15:32]
541*2^1047171-1 is not prime.  Res64: BDE2E5034CB39129  Time : 2167.0 sec.
user=vaughan
[2011-11-09 06:17:35]
447*2^1047172-1 is not prime.  Res64: 8B89AB517E3D9CF1  Time : 2069.0 sec.
user=kar_bon
[2011-11-09 06:21:44]
475*2^1047173-1 is not prime.  Res64: 2F9B22730CD9F66B  Time : 1258.0 sec.
user=vaughan
[2011-11-09 06:30:58]
411*2^1047173-1 is not prime.  Res64: 0552B3AFF65B05DE  Time : 2134.0 sec.
user=vaughan
[2011-11-09 06:33:13]
451*2^1047173-1 is not prime.  Res64: 5D7A2C6AB0C959B4  Time : 2013.0 sec.
user=vaughan
[2011-11-09 06:35:21]
435*2^1047173-1 is not prime.  Res64: 3B0714028AB6E057  Time : 2147.0 sec.
user=vaughan
[2011-11-09 06:40:30]
529*2^1047173-1 is not prime.  Res64: ADC52914BEB8CAC6  Time : 2346.0 sec.
user=kar_bon
[2011-11-09 06:42:42]
503*2^1047174-1 is not prime.  Res64: 2E31EE40D78E7E83  Time : 1257.0 sec.
user=vaughan
[2011-11-09 06:51:53]
567*2^1047173-1 is not prime.  Res64: 90423C24C1DB851D  Time : 2181.0 sec.
user=vaughan
[2011-11-09 06:52:16]
465*2^1047174-1 is not prime.  Res64: 56E8AEC8A19447F2  Time : 2082.0 sec.
user=kar_bon
[2011-11-09 07:03:33]
525*2^1047175-1 is not prime.  Res64: 25350D6DA2E7C320  Time : 1251.0 sec.
user=vaughan
[2011-11-09 07:06:52]
507*2^1047174-1 is not prime.  Res64: 7E5BCA99BD0F9DA0  Time : 2154.0 sec.
user=vaughan
[2011-11-09 07:06:59]
555*2^1047174-1 is not prime.  Res64: C7D6B419137A629F  Time : 2026.0 sec.
user=kar_bon
[2011-11-09 07:24:27]
447*2^1047176-1 is not prime.  Res64: 12EEB1C70F88ECEB  Time : 1253.0 sec.
user=vaughan
[2011-11-09 07:26:42]
595*2^1047175-1 is not prime.  Res64: 56E195A510B84E72  Time : 2066.0 sec.
user=vaughan
[2011-11-09 07:27:59]
535*2^1047175-1 is not prime.  Res64: A57E3B586B4A07AC  Time : 2166.0 sec.
user=vaughan
[2011-11-09 07:40:45]
519*2^1047176-1 is not prime.  Res64: 18E366A08096E86F  Time : 2026.0 sec.
user=vaughan
[2011-11-09 07:42:21]
459*2^1047176-1 is not prime.  Res64: 207476199C365069  Time : 2129.0 sec.
user=kar_bon
[2011-11-09 07:45:27]
563*2^1047176-1 is not prime.  Res64: 19ED5648394F5597  Time : 1259.0 sec.
user=vaughan
[2011-11-09 08:01:10]
427*2^1047177-1 is not prime.  Res64: 2B3C7355B391FA7B  Time : 2069.0 sec.
user=vaughan
[2011-11-09 08:04:18]
499*2^1047177-1 is not prime.  Res64: F07C642E6B1BB70F  Time : 2179.0 sec.
user=kar_bon
[2011-11-09 08:06:22]
453*2^1047178-1 is not prime.  Res64: C6CF195F2D9381BC  Time : 1254.0 sec.
user=vaughan
[2011-11-09 08:14:25]
435*2^1047178-1 is not prime.  Res64: 514E88B8C9703B13  Time : 2020.0 sec.
user=vaughan
[2011-11-09 08:17:42]
437*2^1047178-1 is not prime.  Res64: E1EC134231E72374  Time : 2121.0 sec.
user=kar_bon
[2011-11-09 08:27:18]
469*2^1047179-1 is not prime.  Res64: FF5C4D0430CF87B6  Time : 1256.0 sec.
user=vaughan
[2011-11-09 08:35:24]
533*2^1047178-1 is not prime.  Res64: 22AF2A78960663A2  Time : 2054.0 sec.
user=vaughan
[2011-11-09 08:40:36]
551*2^1047178-1 is not prime.  Res64: D47946FBEE6CFBAC  Time : 2178.0 sec.
user=vaughan
[2011-11-09 08:47:05]
513*2^1047180-1 is not prime.  Res64: 1255A098A728B110  Time : 1960.0 sec.
user=kar_bon
[2011-11-09 08:48:15]
409*2^1047181-1 is not prime.  Res64: A0FDD46B79E077BB  Time : 1256.0 sec.
user=vaughan
[2011-11-09 08:53:05]
567*2^1047180-1 is not prime.  Res64: 8B79FB1AF1EE5734  Time : 2124.0 sec.
user=kar_bon
[2011-11-09 09:09:11]
541*2^1047181-1 is not prime.  Res64: 3F0C6644809CAE64  Time : 1256.0 sec.
user=vaughan
[2011-11-09 09:09:21]
421*2^1047181-1 is not prime.  Res64: 4082ED35BA0D331B  Time : 2037.0 sec.
user=vaughan
[2011-11-09 09:16:55]
447*2^1047181-1 is not prime.  Res64: 4B632D5371851469  Time : 2180.0 sec.
user=vaughan
[2011-11-09 09:19:54]
477*2^1047181-1 is not prime.  Res64: DE9A62B2E211B6BD  Time : 1969.0 sec.
user=vaughan
[2011-11-09 09:29:17]
405*2^1047182-1 is not prime.  Res64: 8D2FB8EFBB2F5E66  Time : 2172.0 sec.
user=kar_bon
[2011-11-09 09:30:08]
435*2^1047182-1 is not prime.  Res64: 4ECDCDE6A4BF8BE7  Time : 1257.0 sec.
user=vaughan
[2011-11-09 09:43:22]
483*2^1047182-1 is not prime.  Res64: FCC7E90DCA31FA99  Time : 2041.0 sec.
user=kar_bon
[2011-11-09 09:51:04]
579*2^1047185-1 is not prime.  Res64: B2AEAED326C78507  Time : 1256.0 sec.
user=vaughan
[2011-11-09 09:52:51]
535*2^1047185-1 is not prime.  Res64: 0B91727EAFAFE6D5  Time : 1977.0 sec.
user=vaughan
[2011-11-09 09:53:21]
529*2^1047185-1 is not prime.  Res64: 4F41FED67F6A8880  Time : 2186.0 sec.
user=vaughan
[2011-11-09 10:05:23]
547*2^1047185-1 is not prime.  Res64: 1CD53D1DAD29B1D6  Time : 2166.0 sec.
user=kar_bon
[2011-11-09 10:12:00]
471*2^1047186-1 is not prime.  Res64: E4ADE5B2BA8C3EB4  Time : 1255.0 sec.
user=vaughan
[2011-11-09 10:17:18]
589*2^1047185-1 is not prime.  Res64: C18AA790D2FE8C0F  Time : 2037.0 sec.
user=vaughan
[2011-11-09 10:25:42]
581*2^1047186-1 is not prime.  Res64: FC5FABAED3413613  Time : 1971.0 sec.
user=vaughan
[2011-11-09 10:29:48]
489*2^1047187-1 is not prime.  Res64: F3DEE6118B6CCE36  Time : 2187.0 sec.
user=kar_bon
[2011-11-09 10:32:56]
507*2^1047188-1 is not prime.  Res64: BAB849495A433D17  Time : 1255.0 sec.
user=vaughan
[2011-11-09 10:41:49]
583*2^1047187-1 is not prime.  Res64: D502F50DCC6CC85B  Time : 2186.0 sec.
user=vaughan
[2011-11-09 10:51:11]
519*2^1047188-1 is not prime.  Res64: 1E282C6769BD9493  Time : 2034.0 sec.
user=kar_bon
[2011-11-09 10:53:52]
549*2^1047189-1 is not prime.  Res64: 370FCAC1606B1966  Time : 1255.0 sec.
user=vaughan
[2011-11-09 10:58:26]
567*2^1047188-1 is not prime.  Res64: BEB4099E12F1AF7A  Time : 1965.0 sec.
user=vaughan
[2011-11-09 11:06:15]
451*2^1047189-1 is not prime.  Res64: 5B7F837A94C34339  Time : 2187.0 sec.
user=kar_bon
[2011-11-09 11:14:45]
533*2^1047190-1 is not prime.  Res64: 617350F0C548EFFA  Time : 1253.0 sec.
user=vaughan
[2011-11-09 11:18:00]
565*2^1047189-1 is not prime.  Res64: F4879BA0637C2A79  Time : 2171.0 sec.
user=vaughan
[2011-11-09 11:25:08]
597*2^1047189-1 is not prime.  Res64: 459E74118CB97EBB  Time : 2037.0 sec.
user=vaughan
[2011-11-09 11:31:16]
433*2^1047191-1 is not prime.  Res64: 8B1095CF381777AF  Time : 1970.0 sec.
user=kar_bon
[2011-11-09 11:35:45]
565*2^1047191-1 is not prime.  Res64: B0191297790D5288  Time : 1260.0 sec.
user=vaughan
[2011-11-09 11:42:47]
465*2^1047191-1 is not prime.  Res64: 8E4DA1C6F8402102  Time : 2193.0 sec.
user=vaughan
[2011-11-09 11:54:15]
591*2^1047191-1 is not prime.  Res64: D47CC4305601CB45  Time : 2175.0 sec.
user=vaughan
[2011-11-09 11:59:08]
425*2^1047192-1 is not prime.  Res64: 422C7E8F9726DE22  Time : 2040.0 sec.
user=vaughan
[2011-11-09 12:04:03]
447*2^1047192-1 is not prime.  Res64: 6CE9C3F467B495E7  Time : 1967.0 sec.
user=vaughan
[2011-11-09 12:19:09]
421*2^1047193-1 is not prime.  Res64: 6726130340A73398  Time : 2183.0 sec.
user=vaughan
[2011-11-09 12:30:10]
441*2^1047193-1 is not prime.  Res64: 9A9DBC859A1EF95D  Time : 2156.0 sec.
user=vaughan
[2011-11-09 12:33:12]
489*2^1047193-1 is not prime.  Res64: 1D067416CD8BD720  Time : 2044.0 sec.
user=vaughan
[2011-11-09 12:36:46]
423*2^1047194-1 is not prime.  Res64: 4B242DD46BC9CB3D  Time : 1964.0 sec.
user=vaughan
[2011-11-09 12:55:33]
431*2^1047194-1 is not prime.  Res64: 2233BA33DBCAEDDC  Time : 2185.0 sec.
user=vaughan
[2011-11-09 13:05:38]
483*2^1047194-1 is not prime.  Res64: 02C6D01E788CAF39  Time : 2128.0 sec.
user=vaughan
[2011-11-09 13:07:35]
503*2^1047194-1 is not prime.  Res64: 9A5A90B0159C41E7  Time : 2064.0 sec.
user=vaughan
[2011-11-09 13:10:09]
525*2^1047194-1 is not prime.  Res64: 3DCE5FBB10001148  Time : 2003.0 sec.
user=vaughan
[2011-11-09 13:31:56]
531*2^1047194-1 is not prime.  Res64: 388AAEA680CE7FD7  Time : 2183.0 sec.
user=vaughan
[2011-11-09 13:41:21]
573*2^1047194-1 is not prime.  Res64: 5745A2B3380DA987  Time : 2143.0 sec.
user=vaughan
[2011-11-09 13:42:07]
441*2^1047195-1 is not prime.  Res64: F473E270E2505305  Time : 2072.0 sec.
user=vaughan
[2011-11-09 13:43:12]
471*2^1047195-1 is not prime.  Res64: 676526ECAABB03F3  Time : 1984.0 sec.
user=vaughan
[2011-11-09 14:08:18]
523*2^1047195-1 is not prime.  Res64: 77A0C3FF531BD7C3  Time : 2182.0 sec.
user=vaughan
[2011-11-09 14:16:15]
595*2^1047195-1 is not prime.  Res64: 210C023B8F812705  Time : 1984.0 sec.
user=vaughan
[2011-11-09 14:16:45]
535*2^1047195-1 is not prime.  Res64: 983A8254C0452029  Time : 2124.0 sec.
user=vaughan
[2011-11-09 14:16:45]
541*2^1047195-1 is not prime.  Res64: 2387993AF1378893  Time : 2078.0 sec.
user=vaughan
[2011-11-09 14:44:46]
495*2^1047196-1 is not prime.  Res64: 416DAB48CC9861DB  Time : 2188.0 sec.
user=vaughan
[2011-11-09 14:49:06]
569*2^1047196-1 is not prime.  Res64: 5E2A7FB6DD9EA706  Time : 1971.0 sec.
user=vaughan
[2011-11-09 14:51:22]
417*2^1047197-1 is not prime.  Res64: BD965B12694EBCED  Time : 2077.0 sec.
user=vaughan
[2011-11-09 14:52:27]
593*2^1047196-1 is not prime.  Res64: F4C4C52095650CF7  Time : 2143.0 sec.
user=vaughan
[2011-11-09 15:21:11]
435*2^1047197-1 is not prime.  Res64: 52B1C34BD21771A3  Time : 2186.0 sec.
user=vaughan
[2011-11-09 15:22:01]
469*2^1047197-1 is not prime.  Res64: 4B6316184F3A5E06  Time : 1975.0 sec.
user=vaughan
[2011-11-09 15:25:54]
495*2^1047197-1 is not prime.  Res64: 30BCBAE6BDBF4191  Time : 2072.0 sec.
user=vaughan
[2011-11-09 15:28:03]
577*2^1047197-1 is not prime.  Res64: E0AE8FFE8045FE51  Time : 2136.0 sec.
user=vaughan
[2011-11-09 15:54:52]
437*2^1047198-1 is not prime.  Res64: E91BC6BFD66F31A2  Time : 1971.0 sec.
user=vaughan
[2011-11-09 15:57:37]
423*2^1047198-1 is not prime.  Res64: 391B583077642305  Time : 2187.0 sec.
user=vaughan
[2011-11-09 16:00:28]
465*2^1047198-1 is not prime.  Res64: A62EBFB748810E43  Time : 2075.0 sec.
user=vaughan
[2011-11-09 16:03:45]
473*2^1047198-1 is not prime.  Res64: DE2F7E90D68879B2  Time : 2142.0 sec.
user=vaughan
[2011-11-09 16:27:44]
485*2^1047198-1 is not prime.  Res64: 9CABE777301851BB  Time : 1973.0 sec.
user=vaughan
[2011-11-09 16:33:59]
515*2^1047198-1 is not prime.  Res64: E2BD41CB7208CF78  Time : 2182.0 sec.
user=vaughan
[2011-11-09 16:34:57]
525*2^1047198-1 is not prime.  Res64: BC7E43F8475EAE8A  Time : 2069.0 sec.
user=vaughan
[2011-11-09 16:39:10]
585*2^1047198-1 is not prime.  Res64: D8055686772019D2  Time : 2126.0 sec.
user=vaughan
[2011-11-09 16:46:52]
599*2^1047164-1 is not prime.  Res64: 02C99C0A76A2E6EB  Time : 45533.0 sec.
user=vaughan
[2011-11-09 16:58:32]
529*2^1047147-1 is not prime.  Res64: 6DFF3E994CE99FA2  Time : 55568.0 sec.
user=vaughan
[2011-11-09 17:00:15]
591*2^1047198-1 is not prime.  Res64: FE6CD46111292295  Time : 1952.0 sec.
user=vaughan
[2011-11-09 17:07:35]
537*2^1047200-1 is not prime.  Res64: 61B1CF4777BA6993  Time : 2016.0 sec.
user=vaughan
[2011-11-09 17:08:28]
487*2^1047149-1 is not prime.  Res64: BE3FCFDE3AE4B2F6  Time : 55167.0 sec.
user=vaughan
[2011-11-09 17:08:53]
543*2^1047200-1 is not prime.  Res64: E721F0F21E39B2C1  Time : 2036.0 sec.
user=vaughan
[2011-11-09 17:12:09]
507*2^1047201-1 is not prime.  Res64: D4C33FFA178D95D6  Time : 1980.0 sec.
user=vaughan
[2011-11-09 17:25:51]
483*2^1047150-1 is not prime.  Res64: 328A83269A5BC406  Time : 55322.0 sec.
user=vaughan
[2011-11-09 17:26:09]
493*2^1047151-1 is not prime.  Res64: F9F7F3B58FA04C4E  Time : 55299.0 sec.
user=vaughan
[2011-11-09 17:30:29]
529*2^1047201-1 is not prime.  Res64: 297E8223B47F2AE4  Time : 2617.0 sec.
user=vaughan
[2011-11-09 17:31:38]
405*2^1047202-1 is not prime.  Res64: 738D35B958F4B6D0  Time : 1987.0 sec.
user=vaughan
[2011-11-09 17:32:16]
525*2^1047202-1 is not prime.  Res64: 95F8B3D27CFFF2BD  Time : 1922.0 sec.
user=vaughan
[2011-11-09 17:39:43]
433*2^1047203-1 is not prime.  Res64: 2966BEF57F04E129  Time : 1929.0 sec.
user=vaughan
[2011-11-09 17:41:20]
465*2^1047203-1 is not prime.  Res64: 0C7A27AC7F1524F1  Time : 1972.0 sec.
user=vaughan
[2011-11-09 17:42:23]
595*2^1047203-1 is not prime.  Res64: 7E0DAB331F84F20D  Time : 2010.0 sec.
user=vaughan
[2011-11-09 17:44:27]
429*2^1047204-1 is not prime.  Res64: 1BB64BE79223A3F4  Time : 1939.0 sec.
user=vaughan
[2011-11-09 18:04:17]
543*2^1047207-1 is not prime.  Res64: CF713E6455BC799D  Time : 1921.0 sec.
user=vaughan
[2011-11-09 18:04:45]
531*2^1047207-1 is not prime.  Res64: 6866565464B6BB83  Time : 1987.0 sec.
user=vaughan
[2011-11-09 18:11:37]
545*2^1047204-1 is not prime.  Res64: B04F8C1796DECF8F  Time : 2746.0 sec.
user=vaughan
[2011-11-09 18:11:40]
481*2^1047205-1 is not prime.  Res64: EBA2349E06A2E2B3  Time : 2731.0 sec.
user=vaughan
[2011-11-09 18:11:46]
555*2^1047207-1 is not prime.  Res64: 35C53504C192F28B  Time : 1923.0 sec.
user=vaughan
[2011-11-09 18:13:59]
501*2^1047209-1 is not prime.  Res64: 74EA802F4FFEC7A9  Time : 1960.0 sec.
user=vaughan
[2011-11-09 18:14:09]
445*2^1047207-1 is not prime.  Res64: 5A10B46E51F35361  Time : 2620.0 sec.
user=vaughan
[2011-11-09 18:16:02]
511*2^1047209-1 is not prime.  Res64: FC568DE50FCE505A  Time : 2019.0 sec.
user=vaughan
[2011-11-09 18:16:49]
565*2^1047209-1 is not prime.  Res64: 8E2F50F530C8DCF0  Time : 1942.0 sec.
user=vaughan
[2011-11-09 18:36:19]
461*2^1047210-1 is not prime.  Res64: 36D38B1B67987F3B  Time : 1922.0 sec.
user=vaughan
[2011-11-09 18:38:02]
521*2^1047210-1 is not prime.  Res64: A8EEEF910BEEF163  Time : 1997.0 sec.
user=vaughan
[2011-11-09 18:43:48]
467*2^1047212-1 is not prime.  Res64: 5C658960B8BC20A1  Time : 1922.0 sec.
user=vaughan
[2011-11-09 18:46:56]
479*2^1047212-1 is not prime.  Res64: 7D36029A5CE374BF  Time : 1977.0 sec.
user=vaughan
[2011-11-09 18:49:11]
481*2^1047213-1 is not prime.  Res64: B1F0C8271CE73F06  Time : 1942.0 sec.
user=vaughan
[2011-11-09 18:49:36]
441*2^1047213-1 is not prime.  Res64: 4E7A5439E328A73E  Time : 2015.0 sec.
user=vaughan
[2011-11-09 18:57:47]
515*2^1047212-1 is not prime.  Res64: B613D148E5963E35  Time : 2618.0 sec.
user=vaughan
[2011-11-09 19:00:01]
567*2^1047210-1 is not prime.  Res64: A4DF228A6026A2EF  Time : 2904.0 sec.
user=vaughan
[2011-11-09 19:00:07]
447*2^1047212-1 is not prime.  Res64: 68B391EEA370DEA2  Time : 2907.0 sec.
user=vaughan
[2011-11-09 19:08:19]
517*2^1047213-1 is not prime.  Res64: 87FAA70F7A91CCFC  Time : 1920.0 sec.
user=vaughan
[2011-11-09 19:11:25]
525*2^1047213-1 is not prime.  Res64: 91A3E940BA1C6BC4  Time : 2003.0 sec.
user=vaughan
[2011-11-09 19:15:49]
537*2^1047213-1 is not prime.  Res64: CB7326691458A660  Time : 1921.0 sec.
user=vaughan
[2011-11-09 19:19:56]
411*2^1047214-1 is not prime.  Res64: 7B82B7D841BE4410  Time : 1980.0 sec.
user=vaughan
[2011-11-09 19:21:29]
425*2^1047214-1 is not prime.  Res64: 2D2EC32BF012F436  Time : 1938.0 sec.
user=vaughan
[2011-11-09 19:23:11]
435*2^1047214-1 is not prime.  Res64: 2A7BC26B4945E0CB  Time : 2015.0 sec.
user=vaughan
[2011-11-09 19:40:23]
469*2^1047215-1 is not prime.  Res64: 125A40BB788F2235  Time : 1925.0 sec.
user=vaughan
[2011-11-09 19:41:36]
453*2^1047214-1 is not prime.  Res64: FF5879E561ACB106  Time : 2629.0 sec.
user=vaughan
[2011-11-09 19:44:50]
481*2^1047215-1 is not prime.  Res64: E874CB7912829648  Time : 2005.0 sec.
user=vaughan
[2011-11-09 19:47:49]
553*2^1047215-1 is not prime.  Res64: 3506DE13CCC15A6E  Time : 1920.0 sec.
user=vaughan
[2011-11-09 19:48:52]
433*2^1047215-1 is not prime.  Res64: 9EF0CA571A2BDC4C  Time : 2926.0 sec.
user=vaughan
[2011-11-09 19:49:00]
411*2^1047215-1 is not prime.  Res64: 1DD93D7E44E1556D  Time : 2939.0 sec.
user=vaughan
[2011-11-09 19:52:48]
437*2^1047216-1 is not prime.  Res64: 905F388FA4EE091A  Time : 1972.0 sec.
user=vaughan
[2011-11-09 19:53:46]
471*2^1047217-1 is not prime.  Res64: 601F49F16AFB0866  Time : 1938.0 sec.
user=vaughan
[2011-11-09 19:56:44]
495*2^1047217-1 is not prime.  Res64: 9CA14F9CBEBB3279  Time : 2013.0 sec.
user=vaughan
[2011-11-09 20:12:19]
517*2^1047217-1 is not prime.  Res64: 4932D9D034C7ED99  Time : 1917.0 sec.
user=vaughan
[2011-11-09 20:18:14]
425*2^1047218-1 is not prime.  Res64: 6C9F36510DBD88E9  Time : 2004.0 sec.
user=vaughan
[2011-11-09 20:19:52]
515*2^1047218-1 is not prime.  Res64: 9CF130DF7D3C30E9  Time : 1923.0 sec.
user=vaughan
[2011-11-09 20:25:13]
417*2^1047218-1 is not prime.  Res64: 2DEB15ED3CAE2215  Time : 2618.0 sec.
user=vaughan
[2011-11-09 20:25:37]
495*2^1047219-1 is not prime.  Res64: 7FCA3DC8E57371BA  Time : 1969.0 sec.
user=vaughan
[2011-11-09 20:26:08]
543*2^1047219-1 is not prime.  Res64: 6B24B953B7B018F5  Time : 1942.0 sec.
user=vaughan
[2011-11-09 20:30:11]
573*2^1047219-1 is not prime.  Res64: 8AAF8775D8C0C860  Time : 2007.0 sec.
user=vaughan
[2011-11-09 20:37:27]
563*2^1047218-1 is not prime.  Res64: FE9431FC130E7B66  Time : 2916.0 sec.
user=vaughan
[2011-11-09 20:37:52]
481*2^1047219-1 is not prime.  Res64: 7D1C3E7D599AE2B2  Time : 2932.0 sec.
user=vaughan
[2011-11-09 20:44:12]
579*2^1047219-1 is not prime.  Res64: 7098808053E1ED57  Time : 1913.0 sec.
user=vaughan
[2011-11-09 20:51:00]
495*2^1047220-1 is not prime.  Res64: 7A20F094CAB7CF0C  Time : 1966.0 sec.
user=vaughan
[2011-11-09 20:51:22]
411*2^1047221-1 is not prime.  Res64: 3250F975C98A95A3  Time : 1891.0 sec.
user=vaughan
[2011-11-09 20:58:33]
561*2^1047221-1 is not prime.  Res64: 8A818DFA0E84075F  Time : 1976.0 sec.
user=vaughan
[2011-11-09 20:58:37]
565*2^1047221-1 is not prime.  Res64: 34B2D0B1E4E488AE  Time : 1950.0 sec.
user=vaughan
[2011-11-09 21:02:41]
413*2^1047222-1 is not prime.  Res64: 470794BC2DE65C31  Time : 1950.0 sec.
user=vaughan
[2011-11-09 21:08:49]
537*2^1047221-1 is not prime.  Res64: 392446742DA1C462  Time : 2617.0 sec.
user=vaughan
[2011-11-09 21:17:19]
555*2^1047222-1 is not prime.  Res64: 4E237A0BCCC4F6A5  Time : 1987.0 sec.
user=vaughan
[2011-11-09 21:22:43]
439*2^1047223-1 is not prime.  Res64: B3DA376380D1D3D4  Time : 1881.0 sec.
user=vaughan
[2011-11-09 21:24:36]
573*2^1047222-1 is not prime.  Res64: 1E8FC1B8F62B167D  Time : 2017.0 sec.
user=vaughan
[2011-11-09 21:27:52]
483*2^1047222-1 is not prime.  Res64: 9BAE61B6ED972914  Time : 3025.0 sec.
user=vaughan
[2011-11-09 21:28:15]
521*2^1047222-1 is not prime.  Res64: D408E76E90CDE852  Time : 3023.0 sec.
user=vaughan
[2011-11-09 21:31:26]
481*2^1047223-1 is not prime.  Res64: AFC941D8389546A4  Time : 1969.0 sec.
user=vaughan
[2011-11-09 21:31:44]
463*2^1047223-1 is not prime.  Res64: F9A4665D2508CDEC  Time : 1991.0 sec.
user=vaughan
[2011-11-09 21:35:19]
493*2^1047223-1 is not prime.  Res64: 1B6CE25CBF69AADF  Time : 1959.0 sec.
user=vaughan
[2011-11-09 21:50:31]
459*2^1047224-1 is not prime.  Res64: BDE036980BDF777D  Time : 1992.0 sec.
user=vaughan
[2011-11-09 21:52:26]
437*2^1047224-1 is not prime.  Res64: 3E9F7C6954CA1920  Time : 2617.0 sec.
user=vaughan
[2011-11-09 21:53:58]
593*2^1047224-1 is not prime.  Res64: 9304EF33D3B74683  Time : 1876.0 sec.
user=vaughan
[2011-11-09 21:58:12]
585*2^1047225-1 is not prime.  Res64: D11D1C4D7254C942  Time : 2016.0 sec.
user=vaughan
[2011-11-09 22:04:04]
531*2^1047226-1 is not prime.  Res64: A4DD933BAB0D3F37  Time : 1958.0 sec.
user=vaughan
[2011-11-09 22:04:38]
561*2^1047226-1 is not prime.  Res64: F1F289038B458B46  Time : 1975.0 sec.
user=vaughan
[2011-11-09 22:07:49]
567*2^1047226-1 is not prime.  Res64: 6C1D29B4E6025637  Time : 1950.0 sec.
user=vaughan
[2011-11-09 22:15:57]
491*2^1047226-1 is not prime.  Res64: E9E97040FE9ED661  Time : 2886.0 sec.
user=vaughan
[2011-11-09 22:16:48]
527*2^1047226-1 is not prime.  Res64: 9B5979BA162D3CA0  Time : 2913.0 sec.
user=vaughan
[2011-11-09 22:23:43]
523*2^1047227-1 is not prime.  Res64: 7A060702EB30A8DA  Time : 1992.0 sec.
user=vaughan
[2011-11-09 22:25:06]
411*2^1047229-1 is not prime.  Res64: BB75B7BD2188560F  Time : 1868.0 sec.
user=vaughan
[2011-11-09 22:31:33]
469*2^1047229-1 is not prime.  Res64: C1359B5C687B8A46  Time : 2001.0 sec.
user=vaughan
[2011-11-09 22:36:10]
545*2^1047228-1 is not prime.  Res64: 22D5C1D7655A1864  Time : 2624.0 sec.
user=vaughan
[2011-11-09 22:36:39]
481*2^1047229-1 is not prime.  Res64: 214B5DEEBD18CAB5  Time : 1956.0 sec.
user=vaughan
[2011-11-09 22:37:29]
511*2^1047229-1 is not prime.  Res64: B9DD79943F3F5509  Time : 1971.0 sec.
user=vaughan
[2011-11-09 22:40:27]
407*2^1047230-1 is not prime.  Res64: D771C1CF69B482EC  Time : 1959.0 sec.
user=vaughan
[2011-11-09 22:56:17]
423*2^1047231-1 is not prime.  Res64: D98FBFA312CE6CE2  Time : 1872.0 sec.
user=vaughan
[2011-11-09 22:56:41]
585*2^1047230-1 is not prime.  Res64: 8A5B92080D6C2D9E  Time : 1978.0 sec.
user=vaughan
[2011-11-09 23:02:55]
417*2^1047230-1 is not prime.  Res64: B281E5D282148BCB  Time : 2819.0 sec.
user=vaughan
[2011-11-09 23:04:14]
447*2^1047230-1 is not prime.  Res64: B9CEFA7ED002AB90  Time : 2846.0 sec.
user=vaughan
[2011-11-09 23:04:58]
465*2^1047231-1 is not prime.  Res64: 57B7AB292954E0CC  Time : 2005.0 sec.
user=vaughan
[2011-11-09 23:09:20]
559*2^1047231-1 is not prime.  Res64: ADEB73CF39EF29F1  Time : 1961.0 sec.
user=vaughan
[2011-11-09 23:10:10]
567*2^1047232-1 is not prime.  Res64: 684173B55212CDBC  Time : 1962.0 sec.
user=vaughan
[2011-11-09 23:13:01]
439*2^1047233-1 is not prime.  Res64: 10954A6C89DE86DE  Time : 1954.0 sec.
user=vaughan
[2011-11-09 23:19:46]
489*2^1047231-1 is not prime.  Res64: 1E2420229804DA32  Time : 2617.0 sec.
user=vaughan
[2011-11-09 23:27:33]
437*2^1047234-1 is not prime.  Res64: 454E33EEC5456C3C  Time : 1876.0 sec.
user=vaughan
[2011-11-09 23:29:55]
507*2^1047234-1 is not prime.  Res64: F02D85D14ABE6407  Time : 1995.0 sec.
user=vaughan
[2011-11-09 23:38:22]
523*2^1047235-1 is not prime.  Res64: F30543D184DB75D0  Time : 2004.0 sec.
user=vaughan
[2011-11-09 23:41:47]
465*2^1047236-1 is not prime.  Res64: 1562B3C2C8719FC2  Time : 1948.0 sec.
user=vaughan
[2011-11-09 23:42:54]
473*2^1047236-1 is not prime.  Res64: AA5AF2C8F74E22C3  Time : 1965.0 sec.
user=vaughan
[2011-11-09 23:45:37]
495*2^1047236-1 is not prime.  Res64: 090D24DB817CBE54  Time : 1957.0 sec.
user=vaughan
[2011-11-09 23:49:38]
421*2^1047235-1 is not prime.  Res64: 79A9F0D25BC39B59  Time : 2803.0 sec.
user=vaughan
[2011-11-09 23:50:50]
511*2^1047235-1 is not prime.  Res64: 40F3C519BFBFEE29  Time : 2796.0 sec.
user=vaughan
[2011-11-09 23:58:44]
439*2^1047237-1 is not prime.  Res64: A405D504F7852196  Time : 1871.0 sec.