user=vaughan [2010-07-06 00:01:41] 503*2^839994-1 is not prime. Res64: AA93BD4324EF5290 Time : 733.0 sec. user=vaughan [2010-07-06 00:02:07] 411*2^839990-1 is not prime. Res64: 846C8308051EDB12 Time : 2245.0 sec. user=vaughan [2010-07-06 00:03:17] 429*2^839992-1 is not prime. Res64: 59F80779430C86DC Time : 1583.0 sec. user=vaughan [2010-07-06 00:03:22] 423*2^839994-1 is not prime. Res64: 13A23CBF29E65C54 Time : 993.0 sec. user=vaughan [2010-07-06 00:03:36] 527*2^839992-1 is not prime. Res64: 928648A77960C0F7 Time : 1279.0 sec. user=vaughan [2010-07-06 00:08:37] 483*2^839992-1 is not prime. Res64: D939B8A4CD43F316 Time : 1718.0 sec. user=vaughan [2010-07-06 00:08:42] 495*2^839992-1 is not prime. Res64: 5C88497E2D49A004 Time : 1651.0 sec. user=vaughan [2010-07-06 00:09:47] 405*2^839995-1 is not prime. Res64: 2B2065123EF1CFAF Time : 998.0 sec. user=vaughan [2010-07-06 00:10:40] 411*2^839995-1 is not prime. Res64: FEA856B50C86BE49 Time : 969.0 sec. user=vaughan [2010-07-06 00:13:53] 549*2^839999-1 is not prime. Res64: 5E952BC15D2E1618 Time : 733.0 sec. user=vaughan [2010-07-06 00:16:07] 413*2^839998-1 is not prime. Res64: E5B3F3CEA64A913D Time : 1004.0 sec. user=vaughan [2010-07-06 00:19:55] 537*2^840000-1 is not prime. Res64: 8B24C206AF50E902 Time : 993.0 sec. user=vaughan [2010-07-06 00:24:55] 439*2^840001-1 is not prime. Res64: B436CC3A235F3EAE Time : 1279.0 sec. user=vaughan [2010-07-06 00:26:11] 495*2^840002-1 is not prime. Res64: 81BD1818DE7757E7 Time : 738.0 sec. user=vaughan [2010-07-06 00:26:21] 535*2^840001-1 is not prime. Res64: BF0FB0968562F72A Time : 995.0 sec. user=vaughan [2010-07-06 00:26:49] 483*2^840002-1 is not prime. Res64: 14E687682D1C56BD Time : 969.0 sec. user=vaughan [2010-07-06 00:29:35] 473*2^840000-1 is not prime. Res64: 143793A58D2ED33B Time : 1578.0 sec. user=vaughan [2010-07-06 00:32:49] 587*2^840002-1 is not prime. Res64: 4D1B6EB4750ED6E3 Time : 1002.0 sec. user=vaughan [2010-07-06 00:33:10] 459*2^840000-1 is not prime. Res64: 4012A18CE1C6DAB9 Time : 1863.0 sec. user=vaughan [2010-07-06 00:34:54] 421*2^839999-1 is not prime. Res64: 43965EC77B177E42 Time : 2103.0 sec. user=vaughan [2010-07-06 00:35:54] 521*2^839994-1 is not prime. Res64: 41D4B4669E849908 Time : 2733.0 sec. user=vaughan [2010-07-06 00:36:10] 441*2^840001-1 is not prime. Res64: 9DF278D0B78A908A Time : 1653.0 sec. user=vaughan [2010-07-06 00:36:28] 593*2^840002-1 is not prime. Res64: 30CCC6FEC5CE86B2 Time : 993.0 sec. user=vaughan [2010-07-06 00:36:29] 525*2^840001-1 is not prime. Res64: C5579582B5C3126C Time : 1667.0 sec. user=vaughan [2010-07-06 00:38:26] 529*2^840003-1 is not prime. Res64: 57D62BF3CB5F0BB0 Time : 735.0 sec. user=vaughan [2010-07-06 00:42:52] 583*2^840003-1 is not prime. Res64: FC93E04F37D9921A Time : 991.0 sec. user=vaughan [2010-07-06 00:42:56] 585*2^840003-1 is not prime. Res64: D81D4AABE6DCE125 Time : 967.0 sec. user=vaughan [2010-07-06 00:43:26] 563*2^839994-1 is not prime. Res64: 2F317B3097009DEC Time : 3089.0 sec. user=vaughan [2010-07-06 00:46:23] 481*2^840003-1 is not prime. Res64: 082D7D056251336F Time : 1288.0 sec. user=vaughan [2010-07-06 00:49:27] 435*2^840004-1 is not prime. Res64: E80C8BA7F50E7DC5 Time : 999.0 sec. user=vaughan [2010-07-06 00:50:38] 421*2^840005-1 is not prime. Res64: 733FCE16F54E1F7E Time : 733.0 sec. user=vaughan [2010-07-06 00:52:54] 569*2^840004-1 is not prime. Res64: 0210A6A3C223E48E Time : 986.0 sec. user=vaughan [2010-07-06 00:56:40] 429*2^840004-1 is not prime. Res64: C9B0624EBB4921C9 Time : 1625.0 sec. user=vaughan [2010-07-06 00:59:01] 405*2^840006-1 is not prime. Res64: ECB843F4D4FA0277 Time : 966.0 sec. user=vaughan [2010-07-06 00:59:18] 507*2^840005-1 is not prime. Res64: 7F1806BD5316DE3F Time : 986.0 sec. user=vaughan [2010-07-06 01:02:50] 587*2^840004-1 is not prime. Res64: B789683ACC478053 Time : 1582.0 sec. user=vaughan [2010-07-06 01:02:50] 525*2^840006-1 is not prime. Res64: 6AA8DE23AE52B13E Time : 732.0 sec. user=vaughan [2010-07-06 01:04:34] 483*2^840004-1 is not prime. Res64: 106F03C12DE43765 Time : 1884.0 sec. user=vaughan [2010-07-06 01:06:03] 483*2^840006-1 is not prime. Res64: ECF5A24141C3E3E7 Time : 997.0 sec. user=vaughan [2010-07-06 01:06:22] 545*2^840004-1 is not prime. Res64: 63C81EC24D1CDF14 Time : 1813.0 sec. user=vaughan [2010-07-06 01:07:33] 417*2^840006-1 is not prime. Res64: 3D56A43986721A4B Time : 1270.0 sec. user=vaughan [2010-07-06 01:09:20] 537*2^840006-1 is not prime. Res64: 3BC9EF78704F0DBD Time : 986.0 sec. user=vaughan [2010-07-06 01:12:18] 497*2^840004-1 is not prime. Res64: 93C500B70CEA3224 Time : 2244.0 sec. user=Flatlander [2010-07-06 01:12:35] 539*2^839992-1 is not prime. Res64: 64393541FC2A6D41 Time : 5234.0 sec. user=Flatlander [2010-07-06 01:12:36] 549*2^839992-1 is not prime. Res64: BF36049837CCC1A6 Time : 5233.0 sec. user=Flatlander [2010-07-06 01:12:36] 567*2^839992-1 is not prime. Res64: 86E01ADC5B89A76F Time : 5232.0 sec. user=Flatlander [2010-07-06 01:12:37] 411*2^839993-1 is not prime. Res64: 910E813FD950D576 Time : 5231.0 sec. user=Flatlander [2010-07-06 01:12:38] 511*2^839993-1 is not prime. Res64: 2A60A3241C16B88A Time : 5231.0 sec. user=vaughan [2010-07-06 01:15:04] 459*2^840008-1 is not prime. Res64: 26D16AE7EF917065 Time : 734.0 sec. user=vaughan [2010-07-06 01:15:10] 421*2^840007-1 is not prime. Res64: EFB656EF7B0B3519 Time : 969.0 sec. user=vaughan [2010-07-06 01:15:46] 579*2^840007-1 is not prime. Res64: DF533EC754860BBA Time : 988.0 sec. user=vaughan [2010-07-06 01:22:40] 465*2^840009-1 is not prime. Res64: C7932696DAC8D04A Time : 997.0 sec. user=vaughan [2010-07-06 01:23:38] 573*2^840006-1 is not prime. Res64: 00E2A6231B8C155B Time : 1618.0 sec. user=vaughan [2010-07-06 01:23:53] 527*2^840004-1 is not prime. Res64: 56D60592785C1301 Time : 2880.0 sec. user=vaughan [2010-07-06 01:25:46] 537*2^840009-1 is not prime. Res64: 465F4B5E09521192 Time : 986.0 sec. user=vaughan [2010-07-06 01:27:22] 533*2^840010-1 is not prime. Res64: 91D708BBD93BE225 Time : 739.0 sec. user=vaughan [2010-07-06 01:28:56] 507*2^840009-1 is not prime. Res64: B6B897068F689AF5 Time : 1283.0 sec. user=vaughan [2010-07-06 01:30:12] 405*2^840008-1 is not prime. Res64: 650241FE05B7D9AC Time : 1643.0 sec. user=vaughan [2010-07-06 01:30:18] 413*2^840006-1 is not prime. Res64: FC53E593FE253F37 Time : 2813.0 sec. user=vaughan [2010-07-06 01:31:18] 587*2^840010-1 is not prime. Res64: C38C87D0EC6AE3AC Time : 969.0 sec. user=vaughan [2010-07-06 01:32:13] 597*2^840010-1 is not prime. Res64: 312006E25E73AF5F Time : 987.0 sec. user=vaughan [2010-07-06 01:34:53] 465*2^840008-1 is not prime. Res64: 9FDE5F4B72BD63CF Time : 1819.0 sec. user=vaughan [2010-07-06 01:35:35] 549*2^840009-1 is not prime. Res64: 534626BEA390B353 Time : 1397.0 sec. user=Flatlander [2010-07-06 01:37:15] 483*2^839982-1 is not prime. Res64: F0C4F9540F435D7D Time : 10370.0 sec. user=Flatlander [2010-07-06 01:37:16] 521*2^839982-1 is not prime. Res64: E4D3620154E5294D Time : 10369.0 sec. user=Flatlander [2010-07-06 01:37:16] 527*2^839982-1 is not prime. Res64: F3470AA8FA2B8825 Time : 10367.0 sec. user=Flatlander [2010-07-06 01:37:17] 551*2^839982-1 is not prime. Res64: B7633907195B6458 Time : 10367.0 sec. user=Flatlander [2010-07-06 01:37:18] 555*2^839982-1 is not prime. Res64: 849128E2E3EFB17F Time : 10366.0 sec. user=vaughan [2010-07-06 01:39:21] 465*2^840011-1 is not prime. Res64: 0A071E99FCB30E95 Time : 1001.0 sec. user=vaughan [2010-07-06 01:39:40] 539*2^840012-1 is not prime. Res64: A18C3682C25955C1 Time : 738.0 sec. user=vaughan [2010-07-06 01:42:16] 579*2^840011-1 is not prime. Res64: F3A871E39EA42073 Time : 990.0 sec. user=vaughan [2010-07-06 01:43:47] 481*2^840009-1 is not prime. Res64: C4D2B5AA2AD3A4C3 Time : 2246.0 sec. user=vaughan [2010-07-06 01:48:05] 597*2^840013-1 is not prime. Res64: 03EBCADE821825A4 Time : 1007.0 sec. user=vaughan [2010-07-06 01:50:00] 545*2^840012-1 is not prime. Res64: 2ED35F5E64498778 Time : 1265.0 sec. user=vaughan [2010-07-06 01:50:20] 475*2^840011-1 is not prime. Res64: E4E36C288629214B Time : 1602.0 sec. user=vaughan [2010-07-06 01:51:58] 455*2^840016-1 is not prime. Res64: 21A86B167B2EA071 Time : 738.0 sec. user=vaughan [2010-07-06 01:52:59] 417*2^840014-1 is not prime. Res64: 1EB2E1040202B53B Time : 1246.0 sec. user=Flatlander [2010-07-06 01:54:34] 417*2^839981-1 is not prime. Res64: 79F5E507ABC10146 Time : 11597.0 sec. user=Flatlander [2010-07-06 01:54:35] 459*2^839981-1 is not prime. Res64: A662EE99FD052F66 Time : 11597.0 sec. user=Flatlander [2010-07-06 01:54:36] 579*2^839981-1 is not prime. Res64: B7DD2C427D81CC2A Time : 11596.0 sec. user=Flatlander [2010-07-06 01:54:36] 401*2^839982-1 is not prime. Res64: 8BA8D3ABADA6E509 Time : 11594.0 sec. user=Flatlander [2010-07-06 01:54:37] 413*2^839982-1 is not prime. Res64: 6937CBDA37F103D0 Time : 11594.0 sec. user=vaughan [2010-07-06 01:57:09] 461*2^840014-1 is not prime. Res64: 672F7EAB700AED0D Time : 1295.0 sec. user=vaughan [2010-07-06 01:58:01] 549*2^840012-1 is not prime. Res64: 72275432B470A418 Time : 1669.0 sec. user=vaughan [2010-07-06 02:03:56] 543*2^840015-1 is not prime. Res64: EB4085C123AB0591 Time : 1475.0 sec. user=vaughan [2010-07-06 02:04:21] 435*2^840017-1 is not prime. Res64: 979BA38B4D10E596 Time : 743.0 sec. user=vaughan [2010-07-06 02:05:44] 425*2^840014-1 is not prime. Res64: 2AEA0C0104360B1E Time : 1851.0 sec. user=vaughan [2010-07-06 02:10:53] 519*2^840011-1 is not prime. Res64: 66A1A0034D6D7864 Time : 2820.0 sec. user=vaughan [2010-07-06 02:11:35] 537*2^840016-1 is not prime. Res64: 365C6EBD50215D20 Time : 1296.0 sec. user=vaughan [2010-07-06 02:12:45] 525*2^840016-1 is not prime. Res64: AFD02A5DDA49CB65 Time : 1484.0 sec. user=vaughan [2010-07-06 02:17:15] 493*2^840019-1 is not prime. Res64: 8A050CB4660F5EBA Time : 775.0 sec. user=vaughan [2010-07-06 02:18:31] 567*2^840016-1 is not prime. Res64: 0F2DC8F698CB1159 Time : 1691.0 sec. user=vaughan [2010-07-06 02:21:53] 541*2^840013-1 is not prime. Res64: C08922E8C74D5303 Time : 3096.0 sec. user=vaughan [2010-07-06 02:24:46] 519*2^840016-1 is not prime. Res64: 6604CCFDA91D6BDC Time : 2459.0 sec. user=vaughan [2010-07-06 02:28:53] 441*2^840017-1 is not prime. Res64: 7326E298B4A1529D Time : 2154.0 sec. user=vaughan [2010-07-06 02:29:27] 515*2^840018-1 is not prime. Res64: 4CA29D4E6B8DFDB6 Time : 1886.0 sec. user=vaughan [2010-07-06 02:29:30] 509*2^840016-1 is not prime. Res64: CCF2743C43A41285 Time : 2835.0 sec. user=vaughan [2010-07-06 02:29:41] 447*2^840018-1 is not prime. Res64: 82D3FCC1A12A9758 Time : 1953.0 sec. user=vaughan [2010-07-06 02:30:07] 423*2^840022-1 is not prime. Res64: 81A0915C81D00094 Time : 772.0 sec. user=vaughan [2010-07-06 02:31:05] 441*2^840019-1 is not prime. Res64: D3193C60FFB3133F Time : 1630.0 sec. user=vaughan [2010-07-06 02:33:29] 565*2^840021-1 is not prime. Res64: DB3CC99FC197F3EF Time : 1314.0 sec. user=vaughan [2010-07-06 02:37:56] 585*2^840020-1 is not prime. Res64: D5BA97DC12E1EDFA Time : 1932.0 sec. user=vaughan [2010-07-06 02:39:52] 591*2^840021-1 is not prime. Res64: 69D6D536B4DD03D1 Time : 1627.0 sec. user=vaughan [2010-07-06 02:43:14] 411*2^840023-1 is not prime. Res64: 898DEEA3850E1D50 Time : 787.0 sec. user=vaughan [2010-07-06 02:54:07] 455*2^840022-1 is not prime. Res64: 407678A2D101FFE5 Time : 2136.0 sec. user=vaughan [2010-07-06 02:54:35] 441*2^840023-1 is not prime. Res64: 744F213DB891887E Time : 1410.0 sec. user=vaughan [2010-07-06 02:54:46] 513*2^840022-1 is not prime. Res64: C68F9E2A9C653AB0 Time : 1553.0 sec. user=vaughan [2010-07-06 02:55:34] 463*2^840023-1 is not prime. Res64: 20D269AFEDE521F1 Time : 1326.0 sec. user=vaughan [2010-07-06 02:56:15] 527*2^840024-1 is not prime. Res64: 1A70E99FAFF41EC2 Time : 782.0 sec. user=vaughan [2010-07-06 03:03:24] 529*2^840021-1 is not prime. Res64: 2FF53651A407B28C Time : 3151.0 sec. user=vaughan [2010-07-06 03:04:26] 527*2^840022-1 is not prime. Res64: 8800C31E2760A530 Time : 2100.0 sec. user=vaughan [2010-07-06 03:04:41] 581*2^840022-1 is not prime. Res64: 4EEA9EB9C6762FAB Time : 2100.0 sec. user=vaughan [2010-07-06 03:06:31] 503*2^840022-1 is not prime. Res64: D8F7842A42DBD868 Time : 2505.0 sec. user=vaughan [2010-07-06 03:06:52] 453*2^840024-1 is not prime. Res64: B47307823B0CDAD0 Time : 1620.0 sec. user=vaughan [2010-07-06 03:09:14] 453*2^840026-1 is not prime. Res64: 3E5D2F077F1F98E8 Time : 780.0 sec. user=vaughan [2010-07-06 03:10:10] 471*2^840022-1 is not prime. Res64: D9244406C210F973 Time : 2897.0 sec. user=Flatlander [2010-07-06 03:12:34] 495*2^840014-1 is not prime. Res64: 610368F0A6F8A09B Time : 5714.0 sec. user=Flatlander [2010-07-06 03:12:34] 501*2^840014-1 is not prime. Res64: 57240B1444BEA36B Time : 5713.0 sec. user=Flatlander [2010-07-06 03:12:35] 561*2^840014-1 is not prime. Res64: D7936C19F9546587 Time : 5712.0 sec. user=Flatlander [2010-07-06 03:12:36] 429*2^840015-1 is not prime. Res64: 427BC15CC62FD092 Time : 5712.0 sec. user=Flatlander [2010-07-06 03:12:37] 501*2^840015-1 is not prime. Res64: FB6EDED232C6102A Time : 5711.0 sec. user=vaughan [2010-07-06 03:14:46] 501*2^840023-1 is not prime. Res64: 939CF6B863209D1B Time : 2210.0 sec. user=vaughan [2010-07-06 03:16:56] 429*2^840025-1 is not prime. Res64: 50DEC8040AEAB5E1 Time : 1283.0 sec. user=vaughan [2010-07-06 03:21:34] 543*2^840024-1 is not prime. Res64: 153C423BBD4AFC9F Time : 1619.0 sec. user=vaughan [2010-07-06 03:22:20] 597*2^840028-1 is not prime. Res64: 165848827E9C9F71 Time : 786.0 sec. user=vaughan [2010-07-06 03:25:05] 411*2^840025-1 is not prime. Res64: DDD96B9E37D3598A Time : 1819.0 sec. user=vaughan [2010-07-06 03:26:54] 453*2^840027-1 is not prime. Res64: D768F57BA7D3FEEE Time : 1334.0 sec. user=Flatlander [2010-07-06 03:28:09] 447*2^840017-1 is not prime. Res64: AB410F2B1B4C4296 Time : 5610.0 sec. user=Flatlander [2010-07-06 03:28:10] 577*2^840017-1 is not prime. Res64: EFC969E1EAE8BB79 Time : 5609.0 sec. user=Flatlander [2010-07-06 03:28:11] 585*2^840017-1 is not prime. Res64: 35AEB9C1642AD28A Time : 5609.0 sec. user=Flatlander [2010-07-06 03:28:11] 595*2^840017-1 is not prime. Res64: 41535C56CB18C5D5 Time : 5607.0 sec. user=Flatlander [2010-07-06 03:28:12] 431*2^840018-1 is not prime. Res64: C5502BFCCBD056DD Time : 5607.0 sec. user=vaughan [2010-07-06 03:29:20] 539*2^840024-1 is not prime. Res64: DA2152C65A444926 Time : 2113.0 sec. user=vaughan [2010-07-06 03:34:37] 435*2^840028-1 is not prime. Res64: 463CCD09E99BD62C Time : 1665.0 sec. user=vaughan [2010-07-06 03:35:10] 549*2^840031-1 is not prime. Res64: 9C640AD92D78EAAD Time : 771.0 sec. user=vaughan [2010-07-06 03:38:29] 519*2^840031-1 is not prime. Res64: DCD4CEEAE6FC87B6 Time : 1293.0 sec. user=vaughan [2010-07-06 03:40:00] 561*2^840026-1 is not prime. Res64: 9A05B6EC519AB846 Time : 2134.0 sec. user=vaughan [2010-07-06 03:41:58] 483*2^840027-1 is not prime. Res64: 99EEB77B487E03EC Time : 2127.0 sec. user=vaughan [2010-07-06 03:41:58] 561*2^840022-1 is not prime. Res64: BD9108A0C5688C4F Time : 4349.0 sec. user=vaughan [2010-07-06 03:48:00] 475*2^840035-1 is not prime. Res64: 2B5C3EA96CDCB37A Time : 770.0 sec. user=vaughan [2010-07-06 03:48:41] 507*2^840032-1 is not prime. Res64: 88B0ED952F1A2758 Time : 1308.0 sec. user=vaughan [2010-07-06 03:50:34] 525*2^840031-1 is not prime. Res64: 6227F1E1AAED3342 Time : 1740.0 sec. user=vaughan [2010-07-06 03:51:09] 499*2^840031-1 is not prime. Res64: 1D60744C67DA2C83 Time : 2184.0 sec. user=vaughan [2010-07-06 03:56:36] 451*2^840029-1 is not prime. Res64: 08387226E1459C4E Time : 2786.0 sec. user=vaughan [2010-07-06 03:57:45] 573*2^840031-1 is not prime. Res64: 038FFFE30C54743A Time : 1960.0 sec. user=vaughan [2010-07-06 04:00:12] 523*2^840035-1 is not prime. Res64: DEE863541BA31233 Time : 1304.0 sec. user=vaughan [2010-07-06 04:00:54] 515*2^840036-1 is not prime. Res64: 084D5D8FBFE560B4 Time : 775.0 sec. user=vaughan [2010-07-06 04:01:16] 501*2^840026-1 is not prime. Res64: 296D3F0A9E6A3A5C Time : 3473.0 sec. user=vaughan [2010-07-06 04:01:49] 531*2^840034-1 is not prime. Res64: 426D6AD6F254DF4F Time : 1632.0 sec. user=vaughan [2010-07-06 04:04:53] 413*2^840034-1 is not prime. Res64: 66092415E6F36FE8 Time : 2134.0 sec. user=vaughan [2010-07-06 04:11:28] 527*2^840036-1 is not prime. Res64: 8AEC880D20D6C6BB Time : 1367.0 sec. user=Flatlander [2010-07-06 04:12:44] 463*2^839995-1 is not prime. Res64: 5048ACDB06D513D3 Time : 15430.0 sec. user=Flatlander [2010-07-06 04:12:45] 511*2^839995-1 is not prime. Res64: 019D4720ABA4A294 Time : 15429.0 sec. user=Flatlander [2010-07-06 04:12:46] 459*2^839996-1 is not prime. Res64: 3386CA4F15AD589F Time : 15429.0 sec. user=Flatlander [2010-07-06 04:12:46] 537*2^839996-1 is not prime. Res64: FA1BBFDA55264F3E Time : 15427.0 sec. user=Flatlander [2010-07-06 04:12:47] 499*2^839997-1 is not prime. Res64: E0C0B7920ECB1EB6 Time : 15426.0 sec. user=vaughan [2010-07-06 04:14:36] 499*2^840037-1 is not prime. Res64: B83DC86593983F8B Time : 823.0 sec. user=vaughan [2010-07-06 04:15:01] 573*2^840035-1 is not prime. Res64: 0E291DF04716CC57 Time : 2101.0 sec. user=vaughan [2010-07-06 04:15:29] 465*2^840036-1 is not prime. Res64: 7EED48ED31D4F74C Time : 2011.0 sec. user=vaughan [2010-07-06 04:19:23] 557*2^840036-1 is not prime. Res64: ECEBCD57736BC968 Time : 1729.0 sec. user=vaughan [2010-07-06 04:21:25] 429*2^840037-1 is not prime. Res64: 7859C7A778115AA8 Time : 1420.0 sec. user=vaughan [2010-07-06 04:22:07] 439*2^840037-1 is not prime. Res64: D79DC77DEB790D8F Time : 1315.0 sec. user=vaughan [2010-07-06 04:27:29] 579*2^840036-1 is not prime. Res64: 59E1B6C43C8D1271 Time : 2180.0 sec. user=vaughan [2010-07-06 04:28:07] 469*2^840039-1 is not prime. Res64: EEE5F8EE1AFABC84 Time : 812.0 sec. user=vaughan [2010-07-06 04:28:59] 461*2^840038-1 is not prime. Res64: 9C1DE1FB9AA003A1 Time : 1630.0 sec. user=vaughan [2010-07-06 04:33:57] 483*2^840038-1 is not prime. Res64: 4B60ACBD4A51CF45 Time : 1349.0 sec. user=vaughan [2010-07-06 04:37:48] 473*2^840038-1 is not prime. Res64: 6EAE9AAD8C0BDD52 Time : 1976.0 sec. user=vaughan [2010-07-06 04:41:01] 441*2^840041-1 is not prime. Res64: FA83FAD6A960A0C8 Time : 774.0 sec. user=vaughan [2010-07-06 04:44:01] 527*2^840040-1 is not prime. Res64: 4D5C0ED0B7276734 Time : 1314.0 sec. user=Flatlander [2010-07-06 04:44:16] 559*2^840029-1 is not prime. Res64: 92F9F2ADA5FB66E7 Time : 5498.0 sec. user=Flatlander [2010-07-06 04:44:17] 589*2^840029-1 is not prime. Res64: 163E115B11AA751B Time : 5497.0 sec. user=Flatlander [2010-07-06 04:44:18] 453*2^840030-1 is not prime. Res64: 7C794CBF92F80CAC Time : 5496.0 sec. user=Flatlander [2010-07-06 04:44:19] 501*2^840030-1 is not prime. Res64: 44B8266A0B386E02 Time : 5496.0 sec. user=Flatlander [2010-07-06 04:44:20] 441*2^840031-1 is not prime. Res64: 4D2A3F1B1B52B986 Time : 5495.0 sec. user=vaughan [2010-07-06 04:45:54] 447*2^840040-1 is not prime. Res64: 0AD0A0D89F7DBDE1 Time : 1591.0 sec. user=vaughan [2010-07-06 04:46:09] 523*2^840039-1 is not prime. Res64: BB9FE023F7EC53C4 Time : 1869.0 sec. user=vaughan [2010-07-06 04:46:25] 453*2^840040-1 is not prime. Res64: A910ECC8C429030C Time : 1501.0 sec. user=vaughan [2010-07-06 04:47:04] 593*2^840036-1 is not prime. Res64: 6A79DA78A35EF16D Time : 3029.0 sec. user=vaughan [2010-07-06 04:50:23] 573*2^840039-1 is not prime. Res64: C479BE371367E32A Time : 2094.0 sec. user=vaughan [2010-07-06 04:53:33] 585*2^840041-1 is not prime. Res64: 7BA98CDFAF853291 Time : 753.0 sec. user=vaughan [2010-07-06 04:54:04] 497*2^840036-1 is not prime. Res64: 2397C0916F923EEC Time : 4326.0 sec. user=vaughan [2010-07-06 04:54:21] 549*2^840037-1 is not prime. Res64: AA5CAC279E4F1B85 Time : 3186.0 sec. user=vaughan [2010-07-06 04:55:48] 511*2^840041-1 is not prime. Res64: CA0D67982791DE7A Time : 1312.0 sec. user=vaughan [2010-07-06 04:56:20] 487*2^840041-1 is not prime. Res64: A4EFD4CA80478438 Time : 1642.0 sec. user=vaughan [2010-07-06 05:00:19] 421*2^840041-1 is not prime. Res64: F6F7250F28D2010A Time : 1971.0 sec. user=vaughan [2010-07-06 05:04:44] 447*2^840042-1 is not prime. Res64: A8699F285E739FBD Time : 1244.0 sec. user=vaughan [2010-07-06 05:06:04] 555*2^840045-1 is not prime. Res64: 4AA5187C994F4D0C Time : 751.0 sec. user=vaughan [2010-07-06 05:06:06] 577*2^840041-1 is not prime. Res64: 89E92F6581369CEC Time : 1698.0 sec. user=vaughan [2010-07-06 05:09:54] 473*2^840044-1 is not prime. Res64: 92C44FA3F4CE87F9 Time : 1441.0 sec. user=vaughan [2010-07-06 05:11:58] 567*2^840044-1 is not prime. Res64: CF2C0E1BB45A46AF Time : 1534.0 sec. user=vaughan [2010-07-06 05:15:25] 483*2^840044-1 is not prime. Res64: C5F4F65AD692D685 Time : 1756.0 sec. user=vaughan [2010-07-06 05:18:30] 567*2^840046-1 is not prime. Res64: 6F741D9758ADBF3D Time : 1363.0 sec. user=vaughan [2010-07-06 05:18:34] 559*2^840047-1 is not prime. Res64: A0D513868266EEF1 Time : 750.0 sec. user=Flatlander [2010-07-06 05:18:38] 571*2^840009-1 is not prime. Res64: B70132B26CCA0B72 Time : 14758.0 sec. user=Flatlander [2010-07-06 05:18:39] 453*2^840010-1 is not prime. Res64: C76E82E836B10337 Time : 14758.0 sec. user=Flatlander [2010-07-06 05:18:40] 495*2^840010-1 is not prime. Res64: F657D617B216C89F Time : 14757.0 sec. user=Flatlander [2010-07-06 05:18:41] 525*2^840010-1 is not prime. Res64: 143D0FCFF5DDCBC2 Time : 14756.0 sec. user=Flatlander [2010-07-06 05:18:42] 531*2^840010-1 is not prime. Res64: A60A86014037D875 Time : 14756.0 sec. user=vaughan [2010-07-06 05:23:39] 587*2^840046-1 is not prime. Res64: 00962F587D6DD0C8 Time : 1640.0 sec. user=vaughan [2010-07-06 05:23:54] 507*2^840045-1 is not prime. Res64: 348E0A1DCD456FA0 Time : 2012.0 sec. user=vaughan [2010-07-06 05:27:55] 511*2^840047-1 is not prime. Res64: 827C5F29206E96A1 Time : 1391.0 sec. user=vaughan [2010-07-06 05:31:17] 507*2^840049-1 is not prime. Res64: 5628D4FCB4D32251 Time : 763.0 sec. user=vaughan [2010-07-06 05:32:17] 501*2^840047-1 is not prime. Res64: DA6CDD349B2B9D26 Time : 1918.0 sec. user=vaughan [2010-07-06 05:36:04] 585*2^840047-1 is not prime. Res64: 9450F40822A751AF Time : 1798.0 sec. user=vaughan [2010-07-06 05:37:44] 489*2^840048-1 is not prime. Res64: 1CF832CC2EC95BFA Time : 1671.0 sec. user=vaughan [2010-07-06 05:41:22] 527*2^840048-1 is not prime. Res64: BF0706F5B828C727 Time : 1372.0 sec. user=vaughan [2010-07-06 05:41:51] 465*2^840045-1 is not prime. Res64: CD523CE08AC4A789 Time : 3288.0 sec. user=vaughan [2010-07-06 05:43:09] 509*2^840048-1 is not prime. Res64: 8449B99BC42358DB Time : 1871.0 sec. user=vaughan [2010-07-06 05:43:50] 535*2^840051-1 is not prime. Res64: C2ED5FD85202AAD3 Time : 753.0 sec. user=vaughan [2010-07-06 05:46:54] 525*2^840048-1 is not prime. Res64: F544D2B150D54EF8 Time : 1890.0 sec. user=vaughan [2010-07-06 05:47:03] 561*2^840046-1 is not prime. Res64: 79E98C8369A4C9F7 Time : 3162.0 sec. user=vaughan [2010-07-06 05:50:24] 561*2^840050-1 is not prime. Res64: 083BEEF03FC42580 Time : 1605.0 sec. user=vaughan [2010-07-06 05:53:46] 411*2^840046-1 is not prime. Res64: 744F2E71555B6733 Time : 3582.0 sec. user=vaughan [2010-07-06 05:56:35] 511*2^840053-1 is not prime. Res64: DE48727B02813152 Time : 765.0 sec. user=vaughan [2010-07-06 05:57:50] 441*2^840051-1 is not prime. Res64: B5785A64F6EB0250 Time : 1795.0 sec. user=vaughan [2010-07-06 06:05:14] 415*2^840051-1 is not prime. Res64: C6CBE1EC9F76C439 Time : 2480.0 sec. user=vaughan [2010-07-06 06:07:12] 435*2^840052-1 is not prime. Res64: C89A1F2E7E9AE62C Time : 1868.0 sec. user=vaughan [2010-07-06 06:09:23] 443*2^840054-1 is not prime. Res64: A90268CF3EA9F5F9 Time : 768.0 sec. user=vaughan [2010-07-06 06:09:59] 405*2^840052-1 is not prime. Res64: A49B94AE0252496A Time : 2262.0 sec. user=vaughan [2010-07-06 06:16:36] 411*2^840053-1 is not prime. Res64: 9C98966B1729BAAC Time : 2007.0 sec. user=vaughan [2010-07-06 06:17:31] 545*2^840052-1 is not prime. Res64: 2FAFDCE622EC45C7 Time : 2387.0 sec. user=vaughan [2010-07-06 06:17:42] 549*2^840053-1 is not prime. Res64: BED97EE2E297F3A4 Time : 1638.0 sec. user=vaughan [2010-07-06 06:18:36] 517*2^840053-1 is not prime. Res64: 690C5570E89ECB7B Time : 1903.0 sec. user=vaughan [2010-07-06 06:19:38] 563*2^840052-1 is not prime. Res64: 66E0B17840DC64DA Time : 2297.0 sec. user=Flatlander [2010-07-06 06:21:29] 555*2^840042-1 is not prime. Res64: CD0A5C9EE867D48C Time : 5828.0 sec. user=Flatlander [2010-07-06 06:21:29] 439*2^840043-1 is not prime. Res64: 0B37C95D6709560D Time : 5826.0 sec. user=Flatlander [2010-07-06 06:21:30] 481*2^840043-1 is not prime. Res64: 75AE9B71F8C4422B Time : 5826.0 sec. user=Flatlander [2010-07-06 06:21:31] 549*2^840043-1 is not prime. Res64: 170318C8769F3BFC Time : 5825.0 sec. user=Flatlander [2010-07-06 06:21:32] 553*2^840043-1 is not prime. Res64: 0A4D10C5BBF27BC1 Time : 5824.0 sec. user=vaughan [2010-07-06 06:21:57] 405*2^840056-1 is not prime. Res64: 4C44341EF78A758F Time : 754.0 sec. user=vaughan [2010-07-06 06:26:03] 521*2^840054-1 is not prime. Res64: B372FD8C0EEE71A1 Time : 1693.0 sec. user=vaughan [2010-07-06 06:34:29] 405*2^840060-1 is not prime. Res64: 9D4E0D07EEB905D3 Time : 752.0 sec. user=vaughan [2010-07-06 06:36:32] 593*2^840052-1 is not prime. Res64: 1BD020474DC623D8 Time : 3281.0 sec. user=vaughan [2010-07-06 06:37:15] 411*2^840054-1 is not prime. Res64: 3A6D81F867BE3E9F Time : 2609.0 sec. user=vaughan [2010-07-06 06:37:56] 451*2^840055-1 is not prime. Res64: 4914CC746FB5B71B Time : 1844.0 sec. user=vaughan [2010-07-06 06:42:03] 415*2^840055-1 is not prime. Res64: 89B7555ADFAFBE24 Time : 2210.0 sec. user=vaughan [2010-07-06 06:42:58] 519*2^840053-1 is not prime. Res64: 2B9F0A71A5464136 Time : 3355.0 sec. user=vaughan [2010-07-06 06:43:07] 471*2^840057-1 is not prime. Res64: 95863225E47CEB09 Time : 1525.0 sec. user=vaughan [2010-07-06 06:43:17] 425*2^840056-1 is not prime. Res64: 2F62A5FBE977340E Time : 1998.0 sec. user=vaughan [2010-07-06 06:46:35] 483*2^840056-1 is not prime. Res64: FED3856DEC87D294 Time : 1799.0 sec. user=vaughan [2010-07-06 06:47:00] 467*2^840060-1 is not prime. Res64: 1DABBF899131CBFB Time : 752.0 sec. user=vaughan [2010-07-06 06:49:45] 577*2^840057-1 is not prime. Res64: 67ADA85F9EA0626F Time : 1870.0 sec. user=vaughan [2010-07-06 06:53:31] 459*2^840060-1 is not prime. Res64: E2ECAC5823D69B54 Time : 1648.0 sec. user=vaughan [2010-07-06 06:55:57] 429*2^840057-1 is not prime. Res64: E9B221CCC2D2AB13 Time : 2306.0 sec. user=vaughan [2010-07-06 06:59:33] 501*2^840062-1 is not prime. Res64: BF70FDF964FF9097 Time : 753.0 sec. user=vaughan [2010-07-06 07:01:02] 435*2^840058-1 is not prime. Res64: A8FE400E2706B41D Time : 2484.0 sec. user=Flatlander [2010-07-06 07:03:29] 539*2^840032-1 is not prime. Res64: DF849F430812B150 Time : 12915.0 sec. user=Flatlander [2010-07-06 07:03:30] 405*2^840033-1 is not prime. Res64: 087F12FC5812806F Time : 12915.0 sec. user=Flatlander [2010-07-06 07:03:30] 427*2^840033-1 is not prime. Res64: 71CF2F41D738251C Time : 12913.0 sec. user=Flatlander [2010-07-06 07:03:31] 429*2^840033-1 is not prime. Res64: BB72DED453A642E6 Time : 12913.0 sec. user=Flatlander [2010-07-06 07:03:32] 565*2^840033-1 is not prime. Res64: F35A0FDF2E91D2B3 Time : 12912.0 sec. user=vaughan [2010-07-06 07:07:51] 597*2^840060-1 is not prime. Res64: F7485E14768E7838 Time : 1795.0 sec. user=vaughan [2010-07-06 07:08:15] 517*2^840061-1 is not prime. Res64: 41F69F641D77575C Time : 1509.0 sec. user=vaughan [2010-07-06 07:08:35] 545*2^840060-1 is not prime. Res64: 7F4E7660795FD37F Time : 1880.0 sec. user=vaughan [2010-07-06 07:11:48] 415*2^840063-1 is not prime. Res64: 4BF57D09919616E5 Time : 736.0 sec. user=vaughan [2010-07-06 07:12:45] 559*2^840061-1 is not prime. Res64: 05DFBE1E6FDEAC26 Time : 1768.0 sec. user=vaughan [2010-07-06 07:13:55] 483*2^840062-1 is not prime. Res64: 23A61E6274E50A66 Time : 1640.0 sec. user=vaughan [2010-07-06 07:18:45] 507*2^840062-1 is not prime. Res64: BFD3022DF01F492B Time : 1741.0 sec. user=vaughan [2010-07-06 07:20:34] 533*2^840062-1 is not prime. Res64: 33D23CDDE46BEBD0 Time : 1624.0 sec. user=vaughan [2010-07-06 07:21:12] 411*2^840061-1 is not prime. Res64: 10A76EECE82CCB3F Time : 2349.0 sec. user=vaughan [2010-07-06 07:24:02] 411*2^840065-1 is not prime. Res64: B81A1321B46F339D Time : 734.0 sec. user=vaughan [2010-07-06 07:30:33] 515*2^840060-1 is not prime. Res64: E89B002C4858F000 Time : 3241.0 sec. user=vaughan [2010-07-06 07:33:07] 567*2^840064-1 is not prime. Res64: 85AF551F46E44342 Time : 1492.0 sec. user=vaughan [2010-07-06 07:35:33] 507*2^840064-1 is not prime. Res64: 06ECBA7718898992 Time : 1663.0 sec. user=vaughan [2010-07-06 07:36:18] 421*2^840061-1 is not prime. Res64: 2FF06EB86430B376 Time : 3201.0 sec. user=vaughan [2010-07-06 07:36:34] 553*2^840067-1 is not prime. Res64: D4F104F4BF01B7F8 Time : 752.0 sec. user=vaughan [2010-07-06 07:38:23] 573*2^840064-1 is not prime. Res64: 0212223FBBD9B046 Time : 1788.0 sec. user=vaughan [2010-07-06 07:40:56] 447*2^840066-1 is not prime. Res64: BF6CD71CCA159BEC Time : 1622.0 sec. user=vaughan [2010-07-06 07:42:51] 481*2^840065-1 is not prime. Res64: 4C8FB6760920F1F7 Time : 1806.0 sec. user=vaughan [2010-07-06 07:42:59] 545*2^840062-1 is not prime. Res64: 344A7BB4DC141323 Time : 2822.0 sec. user=Flatlander [2010-07-06 07:46:46] 585*2^840038-1 is not prime. Res64: 3832F6C849DD8127 Time : 12837.0 sec. user=Flatlander [2010-07-06 07:46:47] 403*2^840039-1 is not prime. Res64: 50B84F641D771961 Time : 12837.0 sec. user=Flatlander [2010-07-06 07:46:47] 429*2^840039-1 is not prime. Res64: 1D13644FB03BBCE0 Time : 12835.0 sec. user=Flatlander [2010-07-06 07:46:48] 441*2^840039-1 is not prime. Res64: FB6E46C311601F01 Time : 12834.0 sec. user=Flatlander [2010-07-06 07:46:49] 459*2^840039-1 is not prime. Res64: 4B79DF7BD9283C27 Time : 12834.0 sec. user=vaughan [2010-07-06 07:46:54] 507*2^840066-1 is not prime. Res64: 3A437D0CFF587C39 Time : 1689.0 sec. user=vaughan [2010-07-06 07:47:35] 587*2^840066-1 is not prime. Res64: B51DEB1A8B8355FB Time : 1621.0 sec. user=vaughan [2010-07-06 07:48:59] 465*2^840068-1 is not prime. Res64: 3FE9240055525AF1 Time : 745.0 sec. user=Flatlander [2010-07-06 07:49:22] 483*2^840058-1 is not prime. Res64: EEECD5AA1D8AFA03 Time : 5269.0 sec. user=Flatlander [2010-07-06 07:49:23] 497*2^840058-1 is not prime. Res64: 4C99374355220424 Time : 5268.0 sec. user=Flatlander [2010-07-06 07:49:24] 465*2^840059-1 is not prime. Res64: D86A83E909F29A7E Time : 5267.0 sec. user=Flatlander [2010-07-06 07:49:25] 511*2^840059-1 is not prime. Res64: 50598B19FFCBACD1 Time : 5267.0 sec. user=Flatlander [2010-07-06 07:49:25] 595*2^840059-1 is not prime. Res64: 2201AFDCE122C2CC Time : 5265.0 sec. user=vaughan [2010-07-06 07:57:51] 413*2^840068-1 is not prime. Res64: 65C5D1658D124057 Time : 1485.0 sec. user=vaughan [2010-07-06 07:58:35] 441*2^840063-1 is not prime. Res64: BA520CF879A63228 Time : 3453.0 sec. user=vaughan [2010-07-06 08:00:44] 549*2^840067-1 is not prime. Res64: 5A7F5035D869F639 Time : 2372.0 sec. user=vaughan [2010-07-06 08:01:20] 465*2^840071-1 is not prime. Res64: 49C722CA1195F3A2 Time : 741.0 sec. user=vaughan [2010-07-06 08:03:48] 507*2^840068-1 is not prime. Res64: D293D04C562764B1 Time : 1525.0 sec. user=vaughan [2010-07-06 08:03:59] 539*2^840068-1 is not prime. Res64: 7F1F612992E89400 Time : 1383.0 sec. user=vaughan [2010-07-06 08:04:02] 453*2^840068-1 is not prime. Res64: 5281849EA76A750D Time : 1710.0 sec. user=vaughan [2010-07-06 08:13:37] 537*2^840073-1 is not prime. Res64: 9E090D8C24670A7B Time : 738.0 sec. user=vaughan [2010-07-06 08:14:27] 513*2^840070-1 is not prime. Res64: 4F5FDF0320CE6EC0 Time : 1653.0 sec. user=vaughan [2010-07-06 08:16:07] 593*2^840070-1 is not prime. Res64: 69795B99B189A6CE Time : 1712.0 sec. user=vaughan [2010-07-06 08:17:13] 545*2^840068-1 is not prime. Res64: F94FEACF35A224E4 Time : 2062.0 sec. user=vaughan [2010-07-06 08:20:23] 411*2^840073-1 is not prime. Res64: C72773F707BD5152 Time : 1352.0 sec. user=vaughan [2010-07-06 08:25:16] 595*2^840067-1 is not prime. Res64: F8EF3F5375F39A44 Time : 3284.0 sec. user=vaughan [2010-07-06 08:25:51] 565*2^840073-1 is not prime. Res64: A1D3B69FAE17E107 Time : 734.0 sec. user=vaughan [2010-07-06 08:27:18] 429*2^840069-1 is not prime. Res64: A7E1A4236B3B0B58 Time : 2659.0 sec. user=vaughan [2010-07-06 08:27:21] 549*2^840073-1 is not prime. Res64: 95DDDDF3636F9D4B Time : 1402.0 sec. user=vaughan [2010-07-06 08:28:45] 541*2^840073-1 is not prime. Res64: 1CDEF000F7B5EFD8 Time : 1498.0 sec. user=vaughan [2010-07-06 08:30:58] 459*2^840068-1 is not prime. Res64: F71054C380F7A23B Time : 3281.0 sec. user=vaughan [2010-07-06 08:32:06] 559*2^840073-1 is not prime. Res64: 609975281354BB5E Time : 1684.0 sec. user=vaughan [2010-07-06 08:33:17] 441*2^840073-1 is not prime. Res64: C1691DEC15C503C6 Time : 1953.0 sec. user=vaughan [2010-07-06 08:37:00] 439*2^840073-1 is not prime. Res64: 9E788943C993A02E Time : 2305.0 sec. user=vaughan [2010-07-06 08:38:19] 475*2^840075-1 is not prime. Res64: E8538D15C6FA20D0 Time : 748.0 sec. user=vaughan [2010-07-06 08:42:10] 503*2^840074-1 is not prime. Res64: E7948E969C3930B3 Time : 1663.0 sec. user=vaughan [2010-07-06 08:43:51] 441*2^840075-1 is not prime. Res64: FB7FE306BAD95AD4 Time : 1409.0 sec. user=vaughan [2010-07-06 08:44:51] 533*2^840074-1 is not prime. Res64: 1EAF2F9276F35C31 Time : 1725.0 sec. user=vaughan [2010-07-06 08:51:20] 489*2^840077-1 is not prime. Res64: 35594E2AFEFE9D18 Time : 781.0 sec. user=vaughan [2010-07-06 08:53:49] 573*2^840075-1 is not prime. Res64: 4A7CAB91BF102B94 Time : 1588.0 sec. user=vaughan [2010-07-06 08:55:34] 593*2^840074-1 is not prime. Res64: 49503237BDC352EB Time : 2302.0 sec. user=vaughan [2010-07-06 08:56:11] 595*2^840075-1 is not prime. Res64: 58ABDCA60D979D95 Time : 1647.0 sec. user=vaughan [2010-07-06 09:03:26] 485*2^840076-1 is not prime. Res64: E0154E8C8C6C850B Time : 1881.0 sec. user=vaughan [2010-07-06 09:04:40] 465*2^840078-1 is not prime. Res64: 54FC00966FCBC651 Time : 800.0 sec. user=vaughan [2010-07-06 09:04:46] 495*2^840076-1 is not prime. Res64: 62852644050C0D85 Time : 1889.0 sec. user=vaughan [2010-07-06 09:07:18] 561*2^840077-1 is not prime. Res64: C89C466CBC49AE72 Time : 1407.0 sec. user=vaughan [2010-07-06 09:08:52] 487*2^840077-1 is not prime. Res64: 36AACF91E713DAE7 Time : 1912.0 sec. user=vaughan [2010-07-06 09:12:51] 553*2^840075-1 is not prime. Res64: CF4C44B2BF9A0160 Time : 2734.0 sec. user=vaughan [2010-07-06 09:13:35] 537*2^840077-1 is not prime. Res64: E737B73BFF5F55E7 Time : 1885.0 sec. user=vaughan [2010-07-06 09:14:35] 565*2^840077-1 is not prime. Res64: A6D5D931F0949FBF Time : 1785.0 sec. user=vaughan [2010-07-06 09:17:38] 511*2^840079-1 is not prime. Res64: 92820FA9CAC11C4F Time : 779.0 sec. user=vaughan [2010-07-06 09:19:43] 525*2^840078-1 is not prime. Res64: 1FDDC61795AE3B23 Time : 1554.0 sec. user=Flatlander [2010-07-06 09:20:03] 505*2^840071-1 is not prime. Res64: 1F371681E99ACBFA Time : 5436.0 sec. user=Flatlander [2010-07-06 09:20:03] 549*2^840071-1 is not prime. Res64: 3CBA5151A8022FDB Time : 5434.0 sec. user=Flatlander [2010-07-06 09:20:04] 591*2^840071-1 is not prime. Res64: EF261BB7DE7F8BAF Time : 5434.0 sec. user=Flatlander [2010-07-06 09:20:05] 557*2^840072-1 is not prime. Res64: 58F0987A1BD3B82A Time : 5433.0 sec. user=Flatlander [2010-07-06 09:20:06] 409*2^840073-1 is not prime. Res64: D5AEB9A30DDF2BA6 Time : 5433.0 sec. user=vaughan [2010-07-06 09:21:28] 465*2^840075-1 is not prime. Res64: B030CBE87F05D66C Time : 3372.0 sec. user=vaughan [2010-07-06 09:22:49] 433*2^840079-1 is not prime. Res64: 3A36533E1CCFFB34 Time : 1598.0 sec. user=vaughan [2010-07-06 09:25:49] 405*2^840076-1 is not prime. Res64: 796C3CCF5E79BEFA Time : 3291.0 sec. user=vaughan [2010-07-06 09:30:46] 559*2^840079-1 is not prime. Res64: B55D576142520A81 Time : 1408.0 sec. user=Flatlander [2010-07-06 09:31:05] 511*2^840069-1 is not prime. Res64: 7CA1DF090D761D00 Time : 6254.0 sec. user=Flatlander [2010-07-06 09:31:06] 595*2^840069-1 is not prime. Res64: 757B3E489F43CA28 Time : 6254.0 sec. user=Flatlander [2010-07-06 09:31:06] 443*2^840070-1 is not prime. Res64: 19264699A1E8FDC2 Time : 6252.0 sec. user=Flatlander [2010-07-06 09:31:07] 527*2^840070-1 is not prime. Res64: 4D0E31FB7EA9D021 Time : 6252.0 sec. user=Flatlander [2010-07-06 09:31:08] 581*2^840070-1 is not prime. Res64: B7D04A8A06034016 Time : 6251.0 sec. user=vaughan [2010-07-06 09:32:19] 577*2^840081-1 is not prime. Res64: 53BAD7A8C62A617F Time : 881.0 sec. user=vaughan [2010-07-06 09:35:20] 553*2^840079-1 is not prime. Res64: D5A193E670A46122 Time : 1835.0 sec. user=vaughan [2010-07-06 09:35:35] 463*2^840079-1 is not prime. Res64: 943A4AEC177116F3 Time : 1929.0 sec. user=vaughan [2010-07-06 09:36:09] 421*2^840079-1 is not prime. Res64: 62EA173C11B58BB8 Time : 2435.0 sec. user=Flatlander [2010-07-06 09:38:57] 567*2^840049-1 is not prime. Res64: E20EFCDBCEDEF70A Time : 15614.0 sec. user=Flatlander [2010-07-06 09:38:58] 595*2^840049-1 is not prime. Res64: 964A787E9909E6E8 Time : 15613.0 sec. user=Flatlander [2010-07-06 09:38:59] 431*2^840050-1 is not prime. Res64: D80BCF394E716A5D Time : 15613.0 sec. user=Flatlander [2010-07-06 09:39:00] 447*2^840050-1 is not prime. Res64: E680065A75970246 Time : 15612.0 sec. user=Flatlander [2010-07-06 09:39:01] 477*2^840050-1 is not prime. Res64: B00808ACFB6831C8 Time : 15611.0 sec. user=vaughan [2010-07-06 09:44:28] 511*2^840081-1 is not prime. Res64: F57FDEC777CD5103 Time : 1793.0 sec. user=vaughan [2010-07-06 09:45:41] 405*2^840081-1 is not prime. Res64: 6E316E7EB3F11198 Time : 2210.0 sec. user=vaughan [2010-07-06 09:46:00] 413*2^840082-1 is not prime. Res64: 245787261D548AE7 Time : 1578.0 sec. user=vaughan [2010-07-06 09:47:11] 585*2^840084-1 is not prime. Res64: B0047C6DAB6CFCF4 Time : 892.0 sec. user=vaughan [2010-07-06 09:47:11] 441*2^840081-1 is not prime. Res64: 48904A9CFC2BDB09 Time : 2017.0 sec. user=vaughan [2010-07-06 09:49:45] 445*2^840083-1 is not prime. Res64: FE4DC0555BFB3C3B Time : 1616.0 sec. user=vaughan [2010-07-06 09:53:46] 493*2^840083-1 is not prime. Res64: D7EEE72677F0FF94 Time : 1381.0 sec. user=vaughan [2010-07-06 09:56:09] 409*2^840081-1 is not prime. Res64: A92056CC87F589CF Time : 2598.0 sec. user=vaughan [2010-07-06 10:01:52] 483*2^840088-1 is not prime. Res64: A0A8E04094CFD6A6 Time : 881.0 sec. user=vaughan [2010-07-06 10:03:18] 489*2^840085-1 is not prime. Res64: D9F2A230AEB4D529 Time : 1679.0 sec. user=vaughan [2010-07-06 10:05:23] 407*2^840086-1 is not prime. Res64: E00DB073DF72C30A Time : 1788.0 sec. user=vaughan [2010-07-06 10:11:51] 479*2^840088-1 is not prime. Res64: 8C63A53DCBA9514F Time : 1551.0 sec. user=vaughan [2010-07-06 10:13:38] 549*2^840088-1 is not prime. Res64: A86F8317A8D9C24C Time : 1587.0 sec. user=vaughan [2010-07-06 10:14:40] 429*2^840088-1 is not prime. Res64: FE3265E1E253F6B1 Time : 1812.0 sec. user=vaughan [2010-07-06 10:16:56] 439*2^840089-1 is not prime. Res64: 21A9038439EBE1BF Time : 1391.0 sec. user=vaughan [2010-07-06 10:17:28] 589*2^840089-1 is not prime. Res64: F61FF84C7ABE3209 Time : 936.0 sec. user=vaughan [2010-07-06 10:17:44] 561*2^840082-1 is not prime. Res64: 1D3B73903EB0EEB0 Time : 3376.0 sec. user=vaughan [2010-07-06 10:17:44] 569*2^840088-1 is not prime. Res64: 59FC943B7E27769E Time : 1680.0 sec. user=vaughan [2010-07-06 10:18:33] 561*2^840086-1 is not prime. Res64: B360E383775014A9 Time : 2544.0 sec. user=vaughan [2010-07-06 10:21:14] 451*2^840083-1 is not prime. Res64: AE26A944ECC55D22 Time : 3325.0 sec. user=vaughan [2010-07-06 10:21:41] 435*2^840088-1 is not prime. Res64: F07D3BB974D2B44B Time : 2161.0 sec. user=vaughan [2010-07-06 10:30:01] 443*2^840090-1 is not prime. Res64: B1A7434C6AD8FB7A Time : 1478.0 sec. user=vaughan [2010-07-06 10:31:54] 431*2^840090-1 is not prime. Res64: A9FE53E910E84555 Time : 1716.0 sec. user=vaughan [2010-07-06 10:33:03] 555*2^840091-1 is not prime. Res64: 084CCF52454408D1 Time : 935.0 sec. user=vaughan [2010-07-06 10:36:44] 459*2^840089-1 is not prime. Res64: 80FD252CE67CAE22 Time : 2435.0 sec. user=vaughan [2010-07-06 10:38:17] 503*2^840090-1 is not prime. Res64: 8B910CDBC8776E68 Time : 1480.0 sec. user=vaughan [2010-07-06 10:40:05] 465*2^840090-1 is not prime. Res64: 2212DF153198DA3E Time : 1694.0 sec. user=vaughan [2010-07-06 10:41:19] 549*2^840091-1 is not prime. Res64: D80A6165EFD9A82F Time : 1464.0 sec. user=vaughan [2010-07-06 10:46:43] 441*2^840091-1 is not prime. Res64: 0B773626FB739948 Time : 1923.0 sec. user=vaughan [2010-07-06 10:48:15] 565*2^840093-1 is not prime. Res64: 28A4966E3EC9FB72 Time : 912.0 sec. user=vaughan [2010-07-06 10:48:52] 405*2^840092-1 is not prime. Res64: 22B74BFB09FD4EC5 Time : 1868.0 sec. user=vaughan [2010-07-06 10:53:24] 533*2^840092-1 is not prime. Res64: F998456897545318 Time : 1903.0 sec. user=vaughan [2010-07-06 10:54:33] 405*2^840093-1 is not prime. Res64: 3C5B61C52C3F2631 Time : 1472.0 sec. user=Flatlander [2010-07-06 10:57:24] 541*2^840063-1 is not prime. Res64: 170E45711205C162 Time : 14031.0 sec. user=Flatlander [2010-07-06 10:57:25] 595*2^840063-1 is not prime. Res64: 39302E17BB689733 Time : 14030.0 sec. user=Flatlander [2010-07-06 10:57:25] 413*2^840064-1 is not prime. Res64: 3809B1F4910C4EEA Time : 14028.0 sec. user=Flatlander [2010-07-06 10:57:26] 465*2^840064-1 is not prime. Res64: 7E8A71C4F1CCAC7C Time : 14028.0 sec. user=Flatlander [2010-07-06 10:57:26] 483*2^840064-1 is not prime. Res64: E921F99455E22C73 Time : 14026.0 sec. user=vaughan [2010-07-06 11:00:34] 425*2^840092-1 is not prime. Res64: B0637355715E408C Time : 2521.0 sec. user=vaughan [2010-07-06 11:00:37] 481*2^840093-1 is not prime. Res64: 652473B335095D8B Time : 1723.0 sec. user=vaughan [2010-07-06 11:02:58] 425*2^840096-1 is not prime. Res64: CB450439081A558A Time : 883.0 sec. user=vaughan [2010-07-06 11:03:41] 513*2^840094-1 is not prime. Res64: 2A0191CF72C2C147 Time : 1525.0 sec. user=vaughan [2010-07-06 11:08:25] 551*2^840094-1 is not prime. Res64: 1F87F6F8D9BF0F84 Time : 1626.0 sec. user=vaughan [2010-07-06 11:09:27] 527*2^840094-1 is not prime. Res64: 57A5047172C382B7 Time : 1762.0 sec. user=vaughan [2010-07-06 11:12:23] 595*2^840091-1 is not prime. Res64: 55467D79FA0947AF Time : 3280.0 sec. user=vaughan [2010-07-06 11:16:40] 433*2^840095-1 is not prime. Res64: 3CE2F3B553273732 Time : 1798.0 sec. user=vaughan [2010-07-06 11:18:44] 459*2^840099-1 is not prime. Res64: FCC9313873AAF92B Time : 946.0 sec. user=vaughan [2010-07-06 11:20:37] 557*2^840096-1 is not prime. Res64: 7B79446F4F60B596 Time : 1564.0 sec. user=vaughan [2010-07-06 11:21:06] 489*2^840092-1 is not prime. Res64: 944EF657522C7F28 Time : 3593.0 sec. user=vaughan [2010-07-06 11:24:55] 455*2^840096-1 is not prime. Res64: 329692C5AFEE6D19 Time : 2164.0 sec. user=vaughan [2010-07-06 11:28:19] 465*2^840096-1 is not prime. Res64: 018431942E3E2BF2 Time : 2096.0 sec. user=vaughan [2010-07-06 11:28:50] 481*2^840099-1 is not prime. Res64: 823BC49E9DD11DDE Time : 1510.0 sec. user=vaughan [2010-07-06 11:28:53] 433*2^840099-1 is not prime. Res64: F49D20D8882107BF Time : 1696.0 sec. user=vaughan [2010-07-06 11:31:14] 401*2^840094-1 is not prime. Res64: 9AE947F654A17780 Time : 3270.0 sec. user=vaughan [2010-07-06 11:33:34] 543*2^840099-1 is not prime. Res64: 795D9EA43205BFA7 Time : 1509.0 sec. user=vaughan [2010-07-06 11:35:16] 513*2^840100-1 is not prime. Res64: ACC5EA27726D98C4 Time : 993.0 sec. user=vaughan [2010-07-06 11:38:29] 553*2^840099-1 is not prime. Res64: D78D5B9CC326BD90 Time : 1742.0 sec. user=vaughan [2010-07-06 11:41:41] 551*2^840098-1 is not prime. Res64: C9253C102DA4DB82 Time : 2467.0 sec. user=vaughan [2010-07-06 11:45:40] 549*2^840100-1 is not prime. Res64: 7E6DB355AEC2BBC3 Time : 1503.0 sec. user=vaughan [2010-07-06 11:46:34] 423*2^840100-1 is not prime. Res64: 68FDBF4E49F65BF6 Time : 1795.0 sec. user=Flatlander [2010-07-06 11:48:21] 511*2^840083-1 is not prime. Res64: 914135137C7A6AA3 Time : 8231.0 sec. user=Flatlander [2010-07-06 11:48:21] 523*2^840083-1 is not prime. Res64: C74FEDF4C1C4F92E Time : 8230.0 sec. user=Flatlander [2010-07-06 11:48:22] 571*2^840083-1 is not prime. Res64: F0C1C3A0DE33E471 Time : 8229.0 sec. user=Flatlander [2010-07-06 11:48:23] 489*2^840084-1 is not prime. Res64: 9C1A6EE369FF97D7 Time : 8228.0 sec. user=Flatlander [2010-07-06 11:48:24] 549*2^840084-1 is not prime. Res64: F541FB06987DC73B Time : 8228.0 sec. user=vaughan [2010-07-06 11:50:25] 591*2^840101-1 is not prime. Res64: 39289DE26AE87C37 Time : 910.0 sec. user=vaughan [2010-07-06 11:53:25] 447*2^840101-1 is not prime. Res64: 17448BF9A7481765 Time : 1711.0 sec. user=vaughan [2010-07-06 11:53:57] 477*2^840101-1 is not prime. Res64: DE4F1801ED1A9219 Time : 1507.0 sec. user=vaughan [2010-07-06 11:55:10] 507*2^840101-1 is not prime. Res64: E6076243E5C0191C Time : 1577.0 sec. user=vaughan [2010-07-06 11:56:15] 565*2^840101-1 is not prime. Res64: 62D13A90FAA6E0FC Time : 1362.0 sec. user=vaughan [2010-07-06 11:58:42] 529*2^840101-1 is not prime. Res64: 5960A6715D96D90C Time : 1649.0 sec. user=Flatlander [2010-07-06 12:00:20] 563*2^840086-1 is not prime. Res64: DF04E02D0E98A361 Time : 8478.0 sec. user=Flatlander [2010-07-06 12:00:20] 409*2^840087-1 is not prime. Res64: 48BCFCD15D75B6E6 Time : 8476.0 sec. user=Flatlander [2010-07-06 12:00:21] 441*2^840087-1 is not prime. Res64: 93BE36548EDEE888 Time : 8476.0 sec. user=Flatlander [2010-07-06 12:00:22] 471*2^840087-1 is not prime. Res64: FD885F20AEBB5994 Time : 8475.0 sec. user=Flatlander [2010-07-06 12:00:22] 513*2^840087-1 is not prime. Res64: 2416737F53EAFF3C Time : 8473.0 sec. user=vaughan [2010-07-06 12:01:43] 437*2^840102-1 is not prime. Res64: 3DF42059EBD1DDA8 Time : 1394.0 sec. user=vaughan [2010-07-06 12:02:04] 451*2^840101-1 is not prime. Res64: 7E41B8977F183CCD Time : 2025.0 sec. user=vaughan [2010-07-06 12:06:03] 475*2^840105-1 is not prime. Res64: 9D5065DAE996DB0F Time : 939.0 sec. user=vaughan [2010-07-06 12:07:41] 595*2^840099-1 is not prime. Res64: 0DFB8BB9F4E069CC Time : 3319.0 sec. user=vaughan [2010-07-06 12:12:35] 523*2^840103-1 is not prime. Res64: 0CAA6423EBB88B01 Time : 1615.0 sec. user=vaughan [2010-07-06 12:17:29] 557*2^840102-1 is not prime. Res64: D4A2F48C0B9382F1 Time : 2148.0 sec. user=vaughan [2010-07-06 12:17:51] 595*2^840103-1 is not prime. Res64: 34E3BF48247D2DB4 Time : 1877.0 sec. user=vaughan [2010-07-06 12:18:11] 569*2^840100-1 is not prime. Res64: 6D9359480409DEEF Time : 3425.0 sec. user=vaughan [2010-07-06 12:19:55] 425*2^840106-1 is not prime. Res64: 7A07CB256F912EAB Time : 1421.0 sec. user=vaughan [2010-07-06 12:20:25] 511*2^840105-1 is not prime. Res64: DEACC8311CFEA6F2 Time : 1620.0 sec. user=vaughan [2010-07-06 12:21:03] 447*2^840109-1 is not prime. Res64: 9BBAF891CA39EBCF Time : 900.0 sec. user=vaughan [2010-07-06 12:21:35] 577*2^840105-1 is not prime. Res64: 7F406996EEC49B69 Time : 1658.0 sec. user=vaughan [2010-07-06 12:23:10] 413*2^840106-1 is not prime. Res64: 85AC95268881D85A Time : 1680.0 sec. user=vaughan [2010-07-06 12:25:09] 555*2^840108-1 is not prime. Res64: 35E1E1DCDC58A410 Time : 1407.0 sec. user=vaughan [2010-07-06 12:27:50] 495*2^840106-1 is not prime. Res64: 1EBC77A86C3F6FF9 Time : 1748.0 sec. user=vaughan [2010-07-06 12:35:31] 585*2^840108-1 is not prime. Res64: EA2BB8FF1C0C06AE Time : 2008.0 sec. user=vaughan [2010-07-06 12:35:41] 415*2^840111-1 is not prime. Res64: FF0C25DF1ACF9DE1 Time : 878.0 sec. user=vaughan [2010-07-06 12:39:14] 503*2^840110-1 is not prime. Res64: C55223FB61D16F0F Time : 1159.0 sec. user=vaughan [2010-07-06 12:41:28] 409*2^840111-1 is not prime. Res64: EF9C1542A9C4BA1A Time : 1263.0 sec. user=vaughan [2010-07-06 12:43:55] 579*2^840111-1 is not prime. Res64: 91D9AD6414A25647 Time : 1126.0 sec. user=vaughan [2010-07-06 12:46:26] 505*2^840109-1 is not prime. Res64: 460FB0AC3A3E66B5 Time : 2031.0 sec. user=vaughan [2010-07-06 12:48:43] 411*2^840110-1 is not prime. Res64: C1585C640E02DB4C Time : 1852.0 sec. user=vaughan [2010-07-06 12:50:17] 513*2^840112-1 is not prime. Res64: D9A4B0F8687FBF1E Time : 876.0 sec. user=vaughan [2010-07-06 12:51:39] 541*2^840111-1 is not prime. Res64: 6B559474D898D26E Time : 1709.0 sec. user=vaughan [2010-07-06 12:51:46] 555*2^840109-1 is not prime. Res64: 7EC2706AC9241553 Time : 2057.0 sec. user=Flatlander [2010-07-06 12:52:27] 447*2^840082-1 is not prime. Res64: 835646A8679B2523 Time : 12739.0 sec. user=Flatlander [2010-07-06 12:52:28] 471*2^840082-1 is not prime. Res64: A4B46F54C7595029 Time : 12739.0 sec. user=Flatlander [2010-07-06 12:52:28] 491*2^840082-1 is not prime. Res64: A7AA18CD4BDDCAD5 Time : 12737.0 sec. user=Flatlander [2010-07-06 12:52:29] 533*2^840082-1 is not prime. Res64: FAB30B25D772D5C7 Time : 12737.0 sec. user=Flatlander [2010-07-06 12:52:30] 545*2^840082-1 is not prime. Res64: B0B3642CD90B202B Time : 12736.0 sec. user=vaughan [2010-07-06 12:55:47] 465*2^840111-1 is not prime. Res64: 641101B653757DD0 Time : 2052.0 sec. user=vaughan [2010-07-06 12:56:30] 563*2^840112-1 is not prime. Res64: A8936C3F1A3EF8CC Time : 1036.0 sec. user=vaughan [2010-07-06 13:00:03] 501*2^840113-1 is not prime. Res64: 6632152F8CF84DF3 Time : 1115.0 sec. user=vaughan [2010-07-06 13:01:19] 435*2^840112-1 is not prime. Res64: CDF644CF8369B8CF Time : 2009.0 sec. user=vaughan [2010-07-06 13:02:43] 517*2^840113-1 is not prime. Res64: 623E200EA4A4109F Time : 1128.0 sec. user=vaughan [2010-07-06 13:03:48] 489*2^840109-1 is not prime. Res64: 6BA6339FD5D45D52 Time : 3368.0 sec. user=vaughan [2010-07-06 13:05:17] 465*2^840114-1 is not prime. Res64: 8C5471B57EB17531 Time : 900.0 sec. user=vaughan [2010-07-06 13:09:09] 495*2^840112-1 is not prime. Res64: EEF42D9641E9AB98 Time : 2019.0 sec. user=vaughan [2010-07-06 13:13:03] 571*2^840113-1 is not prime. Res64: 2E0807C8E4AA85C1 Time : 1598.0 sec. user=vaughan [2010-07-06 13:14:14] 455*2^840110-1 is not prime. Res64: AF88BD82959C5A3A Time : 3363.0 sec. user=vaughan [2010-07-06 13:14:45] 413*2^840118-1 is not prime. Res64: FC69C88CD70FE64A Time : 1095.0 sec. user=vaughan [2010-07-06 13:19:32] 447*2^840114-1 is not prime. Res64: 0DC2E4A09C354A75 Time : 1850.0 sec. user=vaughan [2010-07-06 13:20:07] 435*2^840118-1 is not prime. Res64: 8A389C6A459BC466 Time : 1205.0 sec. user=vaughan [2010-07-06 13:20:18] 565*2^840119-1 is not prime. Res64: 94A106BB68B5D507 Time : 902.0 sec. user=vaughan [2010-07-06 13:20:20] 503*2^840114-1 is not prime. Res64: 23C0E1A71E2C2DBD Time : 1721.0 sec. user=vaughan [2010-07-06 13:20:58] 559*2^840117-1 is not prime. Res64: 9418187D415368D2 Time : 1512.0 sec. user=vaughan [2010-07-06 13:22:43] 575*2^840118-1 is not prime. Res64: 1AD1C0BCA085A526 Time : 1200.0 sec. user=vaughan [2010-07-06 13:24:51] 531*2^840114-1 is not prime. Res64: F660FDD837C5D1C8 Time : 1986.0 sec. user=vaughan [2010-07-06 13:33:16] 567*2^840120-1 is not prime. Res64: F869127FDB252A58 Time : 1111.0 sec. user=vaughan [2010-07-06 13:35:08] 439*2^840121-1 is not prime. Res64: E53F6D800561BDCC Time : 890.0 sec. user=Flatlander [2010-07-06 13:36:04] 597*2^840096-1 is not prime. Res64: 6628F8F20D58D2B0 Time : 9517.0 sec. user=Flatlander [2010-07-06 13:36:05] 465*2^840097-1 is not prime. Res64: 15A9D247397BE21D Time : 9517.0 sec. user=Flatlander [2010-07-06 13:36:06] 495*2^840097-1 is not prime. Res64: 2EC8CFD536E666C9 Time : 9517.0 sec. user=Flatlander [2010-07-06 13:36:07] 507*2^840097-1 is not prime. Res64: 9249CAE9703BC0DC Time : 9517.0 sec. user=Flatlander [2010-07-06 13:36:07] 565*2^840097-1 is not prime. Res64: D2F1902E4179EF18 Time : 9516.0 sec. user=vaughan [2010-07-06 13:41:30] 409*2^840121-1 is not prime. Res64: 4ACD8DCD811FCF5B Time : 1283.0 sec. user=vaughan [2010-07-06 13:43:01] 579*2^840119-1 is not prime. Res64: 6E981D675F280F30 Time : 2032.0 sec. user=vaughan [2010-07-06 13:43:08] 465*2^840120-1 is not prime. Res64: CCD9E4DA8CE756BB Time : 1806.0 sec. user=vaughan [2010-07-06 13:43:30] 511*2^840121-1 is not prime. Res64: C3AEEC667D02EAFA Time : 1247.0 sec. user=vaughan [2010-07-06 13:48:52] 477*2^840121-1 is not prime. Res64: 3A822B785027AD33 Time : 1712.0 sec. user=vaughan [2010-07-06 13:50:00] 407*2^840122-1 is not prime. Res64: 200FA93EC9C110F9 Time : 893.0 sec. user=vaughan [2010-07-06 13:51:50] 561*2^840121-1 is not prime. Res64: A198E4D2650ED35F Time : 1114.0 sec. user=vaughan [2010-07-06 13:52:21] 405*2^840121-1 is not prime. Res64: 48D1D150CA14AFCB Time : 1969.0 sec. user=vaughan [2010-07-06 13:55:53] 507*2^840121-1 is not prime. Res64: 149D3DACBDA98270 Time : 2096.0 sec. user=vaughan [2010-07-06 13:57:16] 545*2^840118-1 is not prime. Res64: 42B7F2B217941DF6 Time : 3357.0 sec. user=vaughan [2010-07-06 14:00:43] 543*2^840119-1 is not prime. Res64: 6108B3D1045B9BED Time : 3416.0 sec. user=vaughan [2010-07-06 14:04:50] 573*2^840124-1 is not prime. Res64: 040EEF7B888C7A89 Time : 890.0 sec. user=vaughan [2010-07-06 14:05:18] 595*2^840123-1 is not prime. Res64: 5F61666637B66DBD Time : 1428.0 sec. user=vaughan [2010-07-06 14:07:09] 507*2^840124-1 is not prime. Res64: D9A2BE6B891CB44D Time : 1419.0 sec. user=vaughan [2010-07-06 14:09:13] 517*2^840121-1 is not prime. Res64: D10F4891C97A4EEB Time : 2662.0 sec. user=vaughan [2010-07-06 14:09:19] 527*2^840120-1 is not prime. Res64: A65C602396350BB6 Time : 3306.0 sec. user=vaughan [2010-07-06 14:14:04] 443*2^840124-1 is not prime. Res64: 8E257CB0A5FF65A8 Time : 1857.0 sec. user=vaughan [2010-07-06 14:14:40] 597*2^840124-1 is not prime. Res64: 8836A748B095A0FD Time : 1370.0 sec. user=vaughan [2010-07-06 14:19:39] 589*2^840125-1 is not prime. Res64: 408C910D720AE800 Time : 889.0 sec. user=vaughan [2010-07-06 14:22:56] 423*2^840124-1 is not prime. Res64: D975BCE505EF740E Time : 2395.0 sec. user=vaughan [2010-07-06 14:25:06] 405*2^840125-1 is not prime. Res64: 74C380B297778544 Time : 1966.0 sec. user=vaughan [2010-07-06 14:26:40] 487*2^840125-1 is not prime. Res64: A5A6DC741DD84601 Time : 1847.0 sec. user=vaughan [2010-07-06 14:28:02] 539*2^840124-1 is not prime. Res64: 699A3FEDF3D72CE6 Time : 2350.0 sec. user=Flatlander [2010-07-06 14:28:04] 503*2^840104-1 is not prime. Res64: E951712A073D2642 Time : 9579.0 sec. user=Flatlander [2010-07-06 14:28:05] 509*2^840104-1 is not prime. Res64: 396CB8DBB7CDFEFC Time : 9578.0 sec. user=Flatlander [2010-07-06 14:28:06] 593*2^840104-1 is not prime. Res64: 576F2CB26E4DEA72 Time : 9577.0 sec. user=Flatlander [2010-07-06 14:28:07] 599*2^840104-1 is not prime. Res64: DE457577270EBA71 Time : 9577.0 sec. user=Flatlander [2010-07-06 14:28:08] 459*2^840105-1 is not prime. Res64: 8CB39A19102FA151 Time : 9576.0 sec. user=vaughan [2010-07-06 14:34:31] 537*2^840126-1 is not prime. Res64: 2148E58B67C9C324 Time : 892.0 sec. user=vaughan [2010-07-06 14:34:34] 413*2^840126-1 is not prime. Res64: 06547886DF7D1C2A Time : 1646.0 sec. user=vaughan [2010-07-06 14:34:45] 591*2^840125-1 is not prime. Res64: 8758A9A0931E83EB Time : 1767.0 sec. user=vaughan [2010-07-06 14:38:20] 473*2^840126-1 is not prime. Res64: EBAF01D6950B7435 Time : 1420.0 sec. user=Flatlander [2010-07-06 14:38:47] 587*2^840106-1 is not prime. Res64: F98C8A5454AA040A Time : 9504.0 sec. user=Flatlander [2010-07-06 14:38:47] 597*2^840106-1 is not prime. Res64: B541226476A7844F Time : 9503.0 sec. user=Flatlander [2010-07-06 14:38:47] 475*2^840107-1 is not prime. Res64: 6C07F3A51D5C5B4A Time : 9502.0 sec. user=Flatlander [2010-07-06 14:38:48] 549*2^840107-1 is not prime. Res64: D7E4CBABF1143879 Time : 9502.0 sec. user=Flatlander [2010-07-06 14:38:48] 507*2^840108-1 is not prime. Res64: CBB6A8EDA37CA9C8 Time : 9500.0 sec. user=vaughan [2010-07-06 14:41:13] 525*2^840125-1 is not prime. Res64: 0CBEBB1C998706D7 Time : 2637.0 sec. user=vaughan [2010-07-06 14:46:52] 465*2^840126-1 is not prime. Res64: 8E251468EBC7A80F Time : 1969.0 sec. user=vaughan [2010-07-06 14:47:32] 447*2^840126-1 is not prime. Res64: 8552B35D16ECA195 Time : 2300.0 sec. user=vaughan [2010-07-06 14:49:26] 555*2^840129-1 is not prime. Res64: BA2DB05160D60065 Time : 895.0 sec. user=vaughan [2010-07-06 14:52:26] 581*2^840126-1 is not prime. Res64: 1CB390B5051EDD48 Time : 1770.0 sec. user=vaughan [2010-07-06 14:55:01] 429*2^840127-1 is not prime. Res64: 8CD389494F56384C Time : 1795.0 sec. user=vaughan [2010-07-06 14:56:42] 577*2^840125-1 is not prime. Res64: 53D3CB92A534312E Time : 3359.0 sec. user=vaughan [2010-07-06 14:57:43] 511*2^840127-1 is not prime. Res64: 457B1E89349B7FCC Time : 1781.0 sec. user=vaughan [2010-07-06 15:02:17] 453*2^840130-1 is not prime. Res64: CD3B0C578D863618 Time : 1437.0 sec. user=vaughan [2010-07-06 15:02:23] 425*2^840130-1 is not prime. Res64: 200341000BFC3E99 Time : 1670.0 sec. user=vaughan [2010-07-06 15:02:44] 471*2^840127-1 is not prime. Res64: 77D19175069FC017 Time : 2165.0 sec. user=vaughan [2010-07-06 15:04:18] 405*2^840132-1 is not prime. Res64: A1EBE48DF1EF0F7B Time : 893.0 sec. user=vaughan [2010-07-06 15:04:42] 443*2^840130-1 is not prime. Res64: A1A4D13BAE0001E9 Time : 1798.0 sec. user=vaughan [2010-07-06 15:05:05] 453*2^840126-1 is not prime. Res64: B10B9142A48F39E4 Time : 3346.0 sec. user=vaughan [2010-07-06 15:18:39] 579*2^840131-1 is not prime. Res64: 1DA25692F1B56C08 Time : 1868.0 sec. user=vaughan [2010-07-06 15:19:22] 445*2^840135-1 is not prime. Res64: D882F986F0600B4C Time : 905.0 sec. user=vaughan [2010-07-06 15:19:36] 505*2^840131-1 is not prime. Res64: 6A487F52F561BC69 Time : 1964.0 sec. user=vaughan [2010-07-06 15:21:51] 425*2^840132-1 is not prime. Res64: 76ABE8ED2903256D Time : 1766.0 sec. user=vaughan [2010-07-06 15:23:52] 455*2^840132-1 is not prime. Res64: 9111D62F958E70C5 Time : 1731.0 sec. user=vaughan [2010-07-06 15:24:00] 489*2^840131-1 is not prime. Res64: 7CA251E4E2D1FF65 Time : 2567.0 sec. user=Flatlander [2010-07-06 15:26:41] 519*2^840115-1 is not prime. Res64: 2FF442CA19670330 Time : 9250.0 sec. user=Flatlander [2010-07-06 15:26:41] 583*2^840115-1 is not prime. Res64: B0FA8A21CCAF8C0B Time : 9249.0 sec. user=Flatlander [2010-07-06 15:26:42] 495*2^840116-1 is not prime. Res64: F9EAF30E48F35AB0 Time : 9249.0 sec. user=Flatlander [2010-07-06 15:26:42] 507*2^840116-1 is not prime. Res64: 07AEDEDB7BC27E62 Time : 9248.0 sec. user=Flatlander [2010-07-06 15:26:43] 567*2^840116-1 is not prime. Res64: 86D01FF0B80A30C4 Time : 9247.0 sec. user=vaughan [2010-07-06 15:27:43] 441*2^840133-1 is not prime. Res64: A3735B0242BC5099 Time : 1800.0 sec. user=vaughan [2010-07-06 15:28:23] 465*2^840133-1 is not prime. Res64: 0A917624A3726974 Time : 1566.0 sec. user=vaughan [2010-07-06 15:30:33] 483*2^840134-1 is not prime. Res64: 3D0AE33D268B3945 Time : 1670.0 sec. user=Flatlander [2010-07-06 15:30:36] 423*2^840122-1 is not prime. Res64: 56C3738B86FBA61B Time : 6867.0 sec. user=Flatlander [2010-07-06 15:30:36] 451*2^840123-1 is not prime. Res64: 5F78C81EB9DAF92F Time : 6865.0 sec. user=Flatlander [2010-07-06 15:30:37] 483*2^840123-1 is not prime. Res64: FF2AC9F03A4DD463 Time : 6865.0 sec. user=Flatlander [2010-07-06 15:30:37] 495*2^840123-1 is not prime. Res64: 462E96CF60C12BCB Time : 6863.0 sec. user=Flatlander [2010-07-06 15:30:37] 571*2^840123-1 is not prime. Res64: 89BDA2EFAB240691 Time : 6862.0 sec. user=vaughan [2010-07-06 15:33:24] 489*2^840133-1 is not prime. Res64: 830F8FD073F2BABE Time : 1861.0 sec. user=vaughan [2010-07-06 15:34:21] 407*2^840136-1 is not prime. Res64: 9C0C459D04B6C9C6 Time : 900.0 sec. user=vaughan [2010-07-06 15:39:57] 489*2^840135-1 is not prime. Res64: BF897130802D6EE1 Time : 2116.0 sec. user=vaughan [2010-07-06 15:49:14] 599*2^840140-1 is not prime. Res64: 9D2A2B7D0B75196C Time : 893.0 sec. user=vaughan [2010-07-06 15:49:52] 563*2^840132-1 is not prime. Res64: DD624CF7B7BB5282 Time : 3191.0 sec. user=vaughan [2010-07-06 15:50:25] 413*2^840136-1 is not prime. Res64: 13654763A68A64D6 Time : 1849.0 sec. user=vaughan [2010-07-06 15:50:49] 573*2^840135-1 is not prime. Res64: E073597FFA6A0AE1 Time : 1931.0 sec. user=vaughan [2010-07-06 15:51:17] 429*2^840136-1 is not prime. Res64: 897A13FCDD34B3E3 Time : 1767.0 sec. user=vaughan [2010-07-06 15:52:35] 447*2^840136-1 is not prime. Res64: 44C6D5DDD6140EB1 Time : 1724.0 sec. user=vaughan [2010-07-06 15:53:11] 525*2^840138-1 is not prime. Res64: A67C563E2F9D9988 Time : 1489.0 sec. user=vaughan [2010-07-06 15:57:28] 507*2^840138-1 is not prime. Res64: A18762FB74648986 Time : 1786.0 sec. user=vaughan [2010-07-06 15:58:57] 535*2^840135-1 is not prime. Res64: B2331A6A3923B97B Time : 3232.0 sec. user=vaughan [2010-07-06 15:59:53] 579*2^840140-1 is not prime. Res64: A68B0A7E638EE492 Time : 1589.0 sec. user=vaughan [2010-07-06 16:04:04] 453*2^840136-1 is not prime. Res64: BF1947AAEF5BBBA5 Time : 2405.0 sec. user=vaughan [2010-07-06 16:04:21] 555*2^840141-1 is not prime. Res64: F3A7D41825E33296 Time : 907.0 sec. user=vaughan [2010-07-06 16:05:01] 567*2^840138-1 is not prime. Res64: FB79A9D1C3454B70 Time : 2069.0 sec. user=vaughan [2010-07-06 16:11:24] 447*2^840141-1 is not prime. Res64: C5E747549A2699DD Time : 1887.0 sec. user=vaughan [2010-07-06 16:19:30] 525*2^840146-1 is not prime. Res64: 8BA2C349D3D45DB6 Time : 910.0 sec. user=vaughan [2010-07-06 16:19:34] 549*2^840144-1 is not prime. Res64: F1DDC6AFF91038B4 Time : 1583.0 sec. user=vaughan [2010-07-06 16:20:47] 511*2^840143-1 is not prime. Res64: 609E3AC0EE493D97 Time : 1770.0 sec. user=vaughan [2010-07-06 16:23:18] 545*2^840142-1 is not prime. Res64: 6C78927D1E45BE87 Time : 1974.0 sec. user=vaughan [2010-07-06 16:23:59] 553*2^840143-1 is not prime. Res64: 5E7EEAE7AB5C8EB3 Time : 1884.0 sec. user=vaughan [2010-07-06 16:26:10] 441*2^840143-1 is not prime. Res64: 5F49E919E1E2ACFA Time : 2121.0 sec. user=vaughan [2010-07-06 16:27:14] 597*2^840144-1 is not prime. Res64: 4F91844F08DA434C Time : 1786.0 sec. user=vaughan [2010-07-06 16:32:12] 429*2^840145-1 is not prime. Res64: BE54E30FE270FDF5 Time : 1939.0 sec. user=vaughan [2010-07-06 16:34:53] 561*2^840146-1 is not prime. Res64: A0F28F66E44E8F40 Time : 1793.0 sec. user=vaughan [2010-07-06 16:36:23] 465*2^840147-1 is not prime. Res64: EF0E6B32062A335E Time : 1013.0 sec. user=vaughan [2010-07-06 16:37:12] 567*2^840145-1 is not prime. Res64: 08CFC39AFEE2C0C0 Time : 1988.0 sec. user=vaughan [2010-07-06 16:45:09] 461*2^840142-1 is not prime. Res64: 2A85F4E43C4E1DCE Time : 3317.0 sec. user=vaughan [2010-07-06 16:47:13] 529*2^840147-1 is not prime. Res64: 1BA5ED1270DFAF4A Time : 1659.0 sec. user=vaughan [2010-07-06 16:51:03] 447*2^840149-1 is not prime. Res64: 63240A2EBB9F671E Time : 881.0 sec. user=vaughan [2010-07-06 16:54:45] 421*2^840145-1 is not prime. Res64: D526CCB6257F3FE8 Time : 3348.0 sec. user=vaughan [2010-07-06 16:55:27] 583*2^840147-1 is not prime. Res64: A40B1CE529CACF7C Time : 1930.0 sec. user=vaughan [2010-07-06 16:57:12] 549*2^840147-1 is not prime. Res64: 15587EB228388855 Time : 2185.0 sec. user=vaughan [2010-07-06 16:59:22] 437*2^840148-1 is not prime. Res64: A63C7B213F27D1CB Time : 2123.0 sec. user=vaughan [2010-07-06 17:03:05] 485*2^840148-1 is not prime. Res64: 7D8115C8E97E683D Time : 2216.0 sec. user=vaughan [2010-07-06 17:04:04] 439*2^840147-1 is not prime. Res64: 24B2686CB7F4100E Time : 3160.0 sec. user=vaughan [2010-07-06 17:06:14] 435*2^840149-1 is not prime. Res64: C3B5F1A4CEC01D02 Time : 1881.0 sec. user=vaughan [2010-07-06 17:06:30] 469*2^840149-1 is not prime. Res64: 79817A47E86E16BA Time : 1758.0 sec. user=vaughan [2010-07-06 17:07:35] 525*2^840149-1 is not prime. Res64: E579B5AB333D5C76 Time : 993.0 sec. user=vaughan [2010-07-06 17:09:44] 417*2^840149-1 is not prime. Res64: A8FEA1C80F837007 Time : 2252.0 sec. user=vaughan [2010-07-06 17:14:32] 507*2^840149-1 is not prime. Res64: 2BC94F729D8B178D Time : 1639.0 sec. user=vaughan [2010-07-06 17:17:22] 549*2^840148-1 is not prime. Res64: 534BD9023141F287 Time : 3008.0 sec. user=vaughan [2010-07-06 17:21:33] 425*2^840150-1 is not prime. Res64: FB6FCC71616A55BE Time : 1566.0 sec. user=vaughan [2010-07-06 17:24:36] 447*2^840152-1 is not prime. Res64: 7377BF374C716EB0 Time : 1022.0 sec. user=vaughan [2010-07-06 17:31:18] 453*2^840150-1 is not prime. Res64: 1F5AEE8122818630 Time : 2046.0 sec. user=vaughan [2010-07-06 17:34:45] 501*2^840150-1 is not prime. Res64: 714B8465F786DAC8 Time : 2123.0 sec. user=vaughan [2010-07-06 17:35:42] 505*2^840151-1 is not prime. Res64: 5E2DB3342141E214 Time : 1958.0 sec. user=vaughan [2010-07-06 17:36:02] 405*2^840152-1 is not prime. Res64: 9773259C6E60080A Time : 1773.0 sec. user=vaughan [2010-07-06 17:36:04] 531*2^840151-1 is not prime. Res64: 8EDF19B15EAB7FE0 Time : 1790.0 sec. user=vaughan [2010-07-06 17:39:40] 401*2^840154-1 is not prime. Res64: 2F81AE81E44F1CF0 Time : 905.0 sec. user=vaughan [2010-07-06 17:40:17] 481*2^840149-1 is not prime. Res64: 095F8D1B4E566C9F Time : 3308.0 sec. user=vaughan [2010-07-06 17:41:08] 439*2^840153-1 is not prime. Res64: C359ED64F9F10C95 Time : 1596.0 sec. user=Flatlander [2010-07-06 17:41:21] 589*2^840127-1 is not prime. Res64: 402F94247DDEFF81 Time : 11592.0 sec. user=Flatlander [2010-07-06 17:41:22] 465*2^840128-1 is not prime. Res64: 3CE0BBEF0D00137F Time : 11591.0 sec. user=Flatlander [2010-07-06 17:41:22] 537*2^840128-1 is not prime. Res64: 7A60F64441F87C6C Time : 11589.0 sec. user=Flatlander [2010-07-06 17:41:22] 469*2^840129-1 is not prime. Res64: 946974D786A08500 Time : 11588.0 sec. user=Flatlander [2010-07-06 17:41:22] 535*2^840129-1 is not prime. Res64: F69515448514B363 Time : 11586.0 sec. user=vaughan [2010-07-06 17:45:31] 519*2^840152-1 is not prime. Res64: F7F1FC1AAE981307 Time : 2147.0 sec. user=vaughan [2010-07-06 17:49:30] 405*2^840150-1 is not prime. Res64: 30665F052C8C02CE Time : 3285.0 sec. user=vaughan [2010-07-06 17:49:44] 525*2^840151-1 is not prime. Res64: 728152EF341902A7 Time : 2740.0 sec. user=Flatlander [2010-07-06 17:51:52] 483*2^840130-1 is not prime. Res64: 8658073A0DB97CB7 Time : 11583.0 sec. user=Flatlander [2010-07-06 17:51:53] 521*2^840130-1 is not prime. Res64: A064ACE64169885F Time : 11583.0 sec. user=Flatlander [2010-07-06 17:51:53] 567*2^840130-1 is not prime. Res64: 23344EEA0B84535B Time : 11582.0 sec. user=Flatlander [2010-07-06 17:51:54] 433*2^840131-1 is not prime. Res64: 74CB3BF4DD068EC1 Time : 11582.0 sec. user=Flatlander [2010-07-06 17:51:54] 475*2^840131-1 is not prime. Res64: CB00498747C6C6BC Time : 11581.0 sec. user=vaughan [2010-07-06 17:52:15] 441*2^840153-1 is not prime. Res64: C73B66E0B99D3E1A Time : 2094.0 sec. user=vaughan [2010-07-06 17:54:26] 489*2^840155-1 is not prime. Res64: 5864F05B7B57445D Time : 886.0 sec. user=vaughan [2010-07-06 17:56:29] 555*2^840153-1 is not prime. Res64: 4331E29D79C6D401 Time : 2096.0 sec. user=vaughan [2010-07-06 17:59:26] 503*2^840154-1 is not prime. Res64: 88572B9780C60AD5 Time : 1689.0 sec. user=vaughan [2010-07-06 18:01:22] 469*2^840155-1 is not prime. Res64: 3371978D4922439E Time : 1520.0 sec. user=vaughan [2010-07-06 18:05:33] 465*2^840155-1 is not prime. Res64: 685A33825FE2BDE1 Time : 1791.0 sec. user=vaughan [2010-07-06 18:08:35] 451*2^840155-1 is not prime. Res64: E49253A4FD6F92D9 Time : 2030.0 sec. user=vaughan [2010-07-06 18:08:49] 459*2^840161-1 is not prime. Res64: 44AAB32F87366A41 Time : 864.0 sec. user=vaughan [2010-07-06 18:08:52] 437*2^840156-1 is not prime. Res64: 8B49DCF7826751A3 Time : 1664.0 sec. user=Flatlander [2010-07-06 18:10:03] 439*2^840139-1 is not prime. Res64: 087E12A9CA5585A8 Time : 9565.0 sec. user=Flatlander [2010-07-06 18:10:04] 441*2^840139-1 is not prime. Res64: 40D0A44AB19F204B Time : 9565.0 sec. user=Flatlander [2010-07-06 18:10:04] 531*2^840139-1 is not prime. Res64: 7961C08E7DEEC6FB Time : 9563.0 sec. user=Flatlander [2010-07-06 18:10:05] 405*2^840140-1 is not prime. Res64: BB8073407CFDE392 Time : 9563.0 sec. user=Flatlander [2010-07-06 18:10:06] 417*2^840140-1 is not prime. Res64: 512EC50359C204A6 Time : 9563.0 sec. user=vaughan [2010-07-06 18:11:41] 475*2^840155-1 is not prime. Res64: 01E07B6E91AA352B Time : 2137.0 sec. user=vaughan [2010-07-06 18:23:04] 505*2^840157-1 is not prime. Res64: F775F3F550C387B1 Time : 2253.0 sec. user=vaughan [2010-07-06 18:23:13] 581*2^840162-1 is not prime. Res64: 742C06873A1AD0F5 Time : 865.0 sec. user=vaughan [2010-07-06 18:25:13] 411*2^840161-1 is not prime. Res64: CCA31EAB2C47AA3F Time : 1978.0 sec. user=vaughan [2010-07-06 18:31:23] 477*2^840161-1 is not prime. Res64: C20B78216527D6F6 Time : 2094.0 sec. user=vaughan [2010-07-06 18:31:45] 559*2^840161-1 is not prime. Res64: ABEA6982530DB7B8 Time : 1823.0 sec. user=vaughan [2010-07-06 18:35:52] 511*2^840155-1 is not prime. Res64: 725C49854601A0A1 Time : 3336.0 sec. user=vaughan [2010-07-06 18:35:54] 451*2^840163-1 is not prime. Res64: 9162F3A610D78810 Time : 1622.0 sec. user=vaughan [2010-07-06 18:37:42] 511*2^840165-1 is not prime. Res64: 7B2D27ACEE905D57 Time : 870.0 sec. user=vaughan [2010-07-06 18:38:55] 575*2^840158-1 is not prime. Res64: 37049EDC8263E7DC Time : 2951.0 sec. user=vaughan [2010-07-06 18:40:18] 577*2^840161-1 is not prime. Res64: 829DF830A6E23751 Time : 2085.0 sec. user=vaughan [2010-07-06 18:41:32] 495*2^840165-1 is not prime. Res64: 771EF3434C0F92EF Time : 1792.0 sec. user=vaughan [2010-07-06 18:42:10] 437*2^840158-1 is not prime. Res64: 21DA4884209D03EF Time : 3160.0 sec. user=vaughan [2010-07-06 18:43:56] 567*2^840162-1 is not prime. Res64: 37ED50E6CC890C3C Time : 2122.0 sec. user=vaughan [2010-07-06 18:50:09] 547*2^840161-1 is not prime. Res64: E1D76AE7FD0A104E Time : 3044.0 sec. user=vaughan [2010-07-06 18:52:45] 597*2^840166-1 is not prime. Res64: 9B4F4F0DD088A0B5 Time : 903.0 sec. user=vaughan [2010-07-06 18:57:04] 507*2^840165-1 is not prime. Res64: 10650E137AA2D061 Time : 2040.0 sec. user=vaughan [2010-07-06 18:59:24] 585*2^840165-1 is not prime. Res64: 7B00C1EB5A477EF8 Time : 2051.0 sec. user=vaughan [2010-07-06 19:00:12] 545*2^840166-1 is not prime. Res64: B92BFE68326E4C5F Time : 1458.0 sec. user=vaughan [2010-07-06 19:00:49] 465*2^840166-1 is not prime. Res64: 4AAC30D3F8A29C95 Time : 1744.0 sec. user=vaughan [2010-07-06 19:02:32] 413*2^840166-1 is not prime. Res64: F00B4790B208C537 Time : 1869.0 sec. user=vaughan [2010-07-06 19:07:43] 503*2^840168-1 is not prime. Res64: 853CC604566EDC30 Time : 898.0 sec. user=vaughan [2010-07-06 19:15:06] 463*2^840167-1 is not prime. Res64: 7425EF89A840C96D Time : 2089.0 sec. user=Flatlander [2010-07-06 19:15:38] 441*2^840137-1 is not prime. Res64: FDA2C7CC8F396EE9 Time : 13734.0 sec. user=Flatlander [2010-07-06 19:15:39] 445*2^840137-1 is not prime. Res64: 4C8F68F45C718AC3 Time : 13734.0 sec. user=Flatlander [2010-07-06 19:15:39] 465*2^840137-1 is not prime. Res64: D2B6A9519CC75B42 Time : 13733.0 sec. user=Flatlander [2010-07-06 19:15:40] 431*2^840138-1 is not prime. Res64: D8D72AD71CB9276F Time : 13733.0 sec. user=Flatlander [2010-07-06 19:15:41] 471*2^840138-1 is not prime. Res64: 6953D3904AEDD26D Time : 13733.0 sec. user=vaughan [2010-07-06 19:15:55] 465*2^840167-1 is not prime. Res64: 91233B7A1C723BB8 Time : 2064.0 sec. user=vaughan [2010-07-06 19:20:33] 571*2^840167-1 is not prime. Res64: A3E0542510113355 Time : 2197.0 sec. user=vaughan [2010-07-06 19:22:52] 499*2^840169-1 is not prime. Res64: D00EF6BA5C0D5C59 Time : 909.0 sec. user=vaughan [2010-07-06 19:24:56] 563*2^840168-1 is not prime. Res64: 4C6236172264E0F8 Time : 1485.0 sec. user=vaughan [2010-07-06 19:28:55] 507*2^840166-1 is not prime. Res64: B865C464FDF97FF7 Time : 3183.0 sec. user=vaughan [2010-07-06 19:29:27] 433*2^840167-1 is not prime. Res64: B416FF103E98DC5A Time : 3032.0 sec. user=vaughan [2010-07-06 19:29:51] 567*2^840168-1 is not prime. Res64: AE85AFDE94541A88 Time : 1742.0 sec. user=vaughan [2010-07-06 19:31:01] 537*2^840168-1 is not prime. Res64: EC49A834C83F46FD Time : 2038.0 sec. user=vaughan [2010-07-06 19:34:50] 469*2^840169-1 is not prime. Res64: A52737BAFC874D9A Time : 1938.0 sec. user=vaughan [2010-07-06 19:37:23] 505*2^840167-1 is not prime. Res64: 5ED3F18AB967E668 Time : 3313.0 sec. user=vaughan [2010-07-06 19:37:55] 493*2^840171-1 is not prime. Res64: D757C195CDC04DB0 Time : 903.0 sec. user=vaughan [2010-07-06 19:41:03] 459*2^840168-1 is not prime. Res64: EAA12D7BE13561CE Time : 3054.0 sec. user=vaughan [2010-07-06 19:43:05] 555*2^840168-1 is not prime. Res64: AD4D076F48AAE8A8 Time : 2621.0 sec. user=Flatlander [2010-07-06 19:47:59] 463*2^840163-1 is not prime. Res64: 583F718A809E8E18 Time : 5871.0 sec. user=Flatlander [2010-07-06 19:47:59] 519*2^840163-1 is not prime. Res64: 380C09D7E7025B3F Time : 5870.0 sec. user=Flatlander [2010-07-06 19:48:00] 573*2^840164-1 is not prime. Res64: D94BD26DCA169D5F Time : 5869.0 sec. user=Flatlander [2010-07-06 19:48:01] 457*2^840165-1 is not prime. Res64: 4E26DA58BC7A1688 Time : 5869.0 sec. user=Flatlander [2010-07-06 19:48:02] 487*2^840165-1 is not prime. Res64: 2ADCA41B04D8FEAD Time : 5868.0 sec. user=vaughan [2010-07-06 19:49:09] 447*2^840170-1 is not prime. Res64: 7855DC1CD9F9892A Time : 1995.0 sec. user=vaughan [2010-07-06 19:50:16] 549*2^840169-1 is not prime. Res64: F64508AA3F08845F Time : 2110.0 sec. user=vaughan [2010-07-06 19:50:40] 511*2^840171-1 is not prime. Res64: 632BDA96206897B6 Time : 1545.0 sec. user=vaughan [2010-07-06 19:53:00] 405*2^840173-1 is not prime. Res64: 0436054F535ECBD0 Time : 906.0 sec. user=vaughan [2010-07-06 19:58:41] 507*2^840172-1 is not prime. Res64: 8CD7130BF8837A7F Time : 1731.0 sec. user=vaughan [2010-07-06 19:58:47] 503*2^840170-1 is not prime. Res64: DE1D99C1152A1348 Time : 2294.0 sec. user=vaughan [2010-07-06 20:05:50] 545*2^840172-1 is not prime. Res64: A3A1E576F6CE03E8 Time : 2089.0 sec. user=vaughan [2010-07-06 20:08:01] 405*2^840176-1 is not prime. Res64: 12A1549B72010711 Time : 901.0 sec. user=vaughan [2010-07-06 20:08:50] 549*2^840172-1 is not prime. Res64: A2BDEAADE4FAA4F4 Time : 2040.0 sec. user=Flatlander [2010-07-06 20:13:01] 513*2^840156-1 is not prime. Res64: A14467F8449B5A6F Time : 9099.0 sec. user=Flatlander [2010-07-06 20:13:02] 539*2^840156-1 is not prime. Res64: 64F6518830E6967A Time : 9099.0 sec. user=Flatlander [2010-07-06 20:13:03] 585*2^840156-1 is not prime. Res64: 62964EF5A1C65912 Time : 9100.0 sec. user=Flatlander [2010-07-06 20:13:03] 477*2^840157-1 is not prime. Res64: 60A4746D6893C6C5 Time : 9099.0 sec. user=Flatlander [2010-07-06 20:13:04] 489*2^840157-1 is not prime. Res64: 86EE5B7DBE1C3C53 Time : 9100.0 sec. user=vaughan [2010-07-06 20:14:37] 537*2^840173-1 is not prime. Res64: 233D52AE6AA80800 Time : 1892.0 sec. user=Flatlander [2010-07-06 20:16:11] 451*2^840159-1 is not prime. Res64: 5800E2DE54553B1B Time : 8655.0 sec. user=Flatlander [2010-07-06 20:16:11] 465*2^840159-1 is not prime. Res64: 22369ED919458265 Time : 8654.0 sec. user=Flatlander [2010-07-06 20:16:12] 405*2^840160-1 is not prime. Res64: 036E57CE158CAD56 Time : 8654.0 sec. user=Flatlander [2010-07-06 20:16:13] 513*2^840160-1 is not prime. Res64: 3FC2ED4F5C577356 Time : 8655.0 sec. user=Flatlander [2010-07-06 20:16:14] 405*2^840161-1 is not prime. Res64: 189AF8C2539CE4C8 Time : 8655.0 sec. user=vaughan [2010-07-06 20:16:20] 589*2^840175-1 is not prime. Res64: 7844DA01F6F61030 Time : 1540.0 sec. user=vaughan [2010-07-06 20:16:26] 565*2^840171-1 is not prime. Res64: 33A53AA873318C57 Time : 2820.0 sec. user=vaughan [2010-07-06 20:20:23] 421*2^840175-1 is not prime. Res64: F4037DA4CCE546F5 Time : 1875.0 sec. user=vaughan [2010-07-06 20:22:40] 549*2^840171-1 is not prime. Res64: 0EFD334D1B769F1D Time : 3226.0 sec. user=vaughan [2010-07-06 20:22:55] 593*2^840176-1 is not prime. Res64: 60BC958ABD003001 Time : 894.0 sec. user=vaughan [2010-07-06 20:23:05] 465*2^840175-1 is not prime. Res64: DA779DFB02E4764B Time : 1969.0 sec. user=vaughan [2010-07-06 20:27:44] 451*2^840173-1 is not prime. Res64: A35F12E668D2900D Time : 2801.0 sec. user=vaughan [2010-07-06 20:30:16] 503*2^840176-1 is not prime. Res64: 351B3E564A8ACAE6 Time : 1895.0 sec. user=vaughan [2010-07-06 20:31:40] 593*2^840172-1 is not prime. Res64: 32A307897033DCC8 Time : 3258.0 sec. user=vaughan [2010-07-06 20:31:57] 507*2^840176-1 is not prime. Res64: 5BB717F5BA9C4750 Time : 1991.0 sec. user=vaughan [2010-07-06 20:38:03] 423*2^840183-1 is not prime. Res64: 52BA8C157B813A21 Time : 908.0 sec. user=vaughan [2010-07-06 20:39:16] 539*2^840176-1 is not prime. Res64: 7AE479F897D83D13 Time : 2006.0 sec. user=vaughan [2010-07-06 20:41:33] 559*2^840177-1 is not prime. Res64: D3B2FA969EE23CEB Time : 1963.0 sec. user=vaughan [2010-07-06 20:41:37] 453*2^840180-1 is not prime. Res64: 7D637381A9091DF3 Time : 1517.0 sec. user=vaughan [2010-07-06 20:48:26] 465*2^840179-1 is not prime. Res64: 849E3958BB3DDCF7 Time : 2029.0 sec. user=vaughan [2010-07-06 20:52:10] 547*2^840181-1 is not prime. Res64: 7B74494A2CA2D8F0 Time : 2145.0 sec. user=vaughan [2010-07-06 20:53:05] 481*2^840185-1 is not prime. Res64: AA8F599F32609797 Time : 902.0 sec. user=vaughan [2010-07-06 20:54:36] 425*2^840182-1 is not prime. Res64: BFFE53C98B63F059 Time : 2054.0 sec. user=vaughan [2010-07-06 20:58:19] 435*2^840184-1 is not prime. Res64: 8214356297F160BC Time : 2114.0 sec. user=vaughan [2010-07-06 21:01:15] 507*2^840184-1 is not prime. Res64: 08A32D24E02E263E Time : 2012.0 sec. user=vaughan [2010-07-06 21:07:18] 469*2^840185-1 is not prime. Res64: AC3C1B6889FE973F Time : 2122.0 sec. user=vaughan [2010-07-06 21:07:31] 577*2^840185-1 is not prime. Res64: 3E6A0A1B1C0EDE5F Time : 1555.0 sec. user=vaughan [2010-07-06 21:08:32] 501*2^840186-1 is not prime. Res64: FB4F3A800467184B Time : 927.0 sec. user=vaughan [2010-07-06 21:09:35] 535*2^840185-1 is not prime. Res64: 33B87EBE2C6CA5A8 Time : 1819.0 sec. user=vaughan [2010-07-06 21:11:28] 597*2^840184-1 is not prime. Res64: FF24524D54434FD1 Time : 2472.0 sec. user=vaughan [2010-07-06 21:13:54] 567*2^840185-1 is not prime. Res64: C3546830318CA709 Time : 1942.0 sec. user=vaughan [2010-07-06 21:18:06] 537*2^840182-1 is not prime. Res64: C9C9C34FE5CB9B10 Time : 3326.0 sec. user=vaughan [2010-07-06 21:20:44] 437*2^840186-1 is not prime. Res64: CAE1746BF0B67CF9 Time : 1939.0 sec. user=vaughan [2010-07-06 21:24:13] 471*2^840187-1 is not prime. Res64: 3FE53CFA9E8A08E3 Time : 1378.0 sec. user=vaughan [2010-07-06 21:24:57] 505*2^840187-1 is not prime. Res64: F83707767CFCA466 Time : 986.0 sec. user=vaughan [2010-07-06 21:25:43] 593*2^840186-1 is not prime. Res64: 1A6C0220D0DF30E2 Time : 1868.0 sec. user=vaughan [2010-07-06 21:25:47] 483*2^840186-1 is not prime. Res64: 7D5D641AE86CF1D2 Time : 2018.0 sec. user=vaughan [2010-07-06 21:28:07] 411*2^840185-1 is not prime. Res64: 87056AA7B2734EF0 Time : 3388.0 sec. user=vaughan [2010-07-06 21:29:49] 439*2^840187-1 is not prime. Res64: 504E371AE1B11413 Time : 1890.0 sec. user=vaughan [2010-07-06 21:33:33] 495*2^840187-1 is not prime. Res64: 7DB99EB543684F72 Time : 1562.0 sec. user=vaughan [2010-07-06 21:35:30] 417*2^840188-1 is not prime. Res64: 27106EA4D283BD0B Time : 1555.0 sec. user=vaughan [2010-07-06 21:39:46] 555*2^840189-1 is not prime. Res64: 42B8FFA7B7CE756C Time : 889.0 sec. user=Flatlander [2010-07-06 21:41:05] 559*2^840169-1 is not prime. Res64: 4E1D969AD0402F67 Time : 8722.0 sec. user=Flatlander [2010-07-06 21:41:05] 565*2^840169-1 is not prime. Res64: 7D9260F07F9001A9 Time : 8721.0 sec. user=Flatlander [2010-07-06 21:41:06] 597*2^840169-1 is not prime. Res64: AC1F6BA21885DB67 Time : 8720.0 sec. user=Flatlander [2010-07-06 21:41:07] 407*2^840170-1 is not prime. Res64: 8826D57494F4C942 Time : 8720.0 sec. user=Flatlander [2010-07-06 21:41:08] 437*2^840170-1 is not prime. Res64: C7CB4348D49712EF Time : 8719.0 sec. user=vaughan [2010-07-06 21:41:23] 563*2^840188-1 is not prime. Res64: 2ECB1F4F4F243170 Time : 1649.0 sec. user=vaughan [2010-07-06 21:42:42] 489*2^840187-1 is not prime. Res64: E027E6069F8589C4 Time : 2124.0 sec. user=vaughan [2010-07-06 21:47:07] 507*2^840189-1 is not prime. Res64: 3356DB374C898183 Time : 1375.0 sec. user=vaughan [2010-07-06 21:53:06] 425*2^840188-1 is not prime. Res64: A6B267FBF411F648 Time : 2498.0 sec. user=vaughan [2010-07-06 21:53:31] 455*2^840190-1 is not prime. Res64: B1BDE997D8424FE7 Time : 1664.0 sec. user=vaughan [2010-07-06 21:54:03] 481*2^840189-1 is not prime. Res64: B5EB30EABF2D12B0 Time : 2000.0 sec. user=vaughan [2010-07-06 21:54:17] 595*2^840189-1 is not prime. Res64: 683999B2B6740B16 Time : 1715.0 sec. user=Flatlander [2010-07-06 21:54:21] 469*2^840179-1 is not prime. Res64: C405BECFE8F8060D Time : 5885.0 sec. user=Flatlander [2010-07-06 21:54:22] 495*2^840179-1 is not prime. Res64: E0FA960FB09B7E3D Time : 5885.0 sec. user=Flatlander [2010-07-06 21:54:22] 511*2^840179-1 is not prime. Res64: A7937E276FB82CE0 Time : 5883.0 sec. user=Flatlander [2010-07-06 21:54:23] 549*2^840180-1 is not prime. Res64: 426440585E42B668 Time : 5883.0 sec. user=Flatlander [2010-07-06 21:54:24] 567*2^840180-1 is not prime. Res64: 979E5607F41117F8 Time : 5882.0 sec. user=vaughan [2010-07-06 21:54:55] 569*2^840192-1 is not prime. Res64: 87E371F3D8128801 Time : 909.0 sec. user=vaughan [2010-07-06 21:58:04] 465*2^840191-1 is not prime. Res64: CB46EC946A194F69 Time : 1471.0 sec. user=vaughan [2010-07-06 21:59:46] 423*2^840191-1 is not prime. Res64: 39A53C018C493034 Time : 1797.0 sec. user=vaughan [2010-07-06 22:05:25] 453*2^840192-1 is not prime. Res64: 375CA717BB0A0CA9 Time : 1795.0 sec. user=vaughan [2010-07-06 22:09:39] 573*2^840188-1 is not prime. Res64: 09D51227CA358A34 Time : 3094.0 sec. user=vaughan [2010-07-06 22:09:46] 481*2^840195-1 is not prime. Res64: E14712E60DF56701 Time : 1359.0 sec. user=vaughan [2010-07-06 22:10:00] 429*2^840199-1 is not prime. Res64: 24938821D6ECA3D8 Time : 905.0 sec. user=vaughan [2010-07-06 22:16:39] 575*2^840194-1 is not prime. Res64: F963FF60E18FB777 Time : 2116.0 sec. user=vaughan [2010-07-06 22:17:35] 409*2^840195-1 is not prime. Res64: A57F969F9C876FBD Time : 2093.0 sec. user=vaughan [2010-07-06 22:20:58] 403*2^840191-1 is not prime. Res64: 34246FA2D220C005 Time : 3171.0 sec. user=vaughan [2010-07-06 22:25:05] 489*2^840200-1 is not prime. Res64: 421F6B99C93ECD23 Time : 906.0 sec. user=vaughan [2010-07-06 22:26:09] 441*2^840199-1 is not prime. Res64: B1705004C83B2F1D Time : 1686.0 sec. user=vaughan [2010-07-06 22:27:14] 501*2^840195-1 is not prime. Res64: 820F5D179D6ADB36 Time : 2049.0 sec. user=vaughan [2010-07-06 22:27:42] 429*2^840196-1 is not prime. Res64: 663DD464A95FA8FB Time : 2019.0 sec. user=vaughan [2010-07-06 22:28:08] 437*2^840196-1 is not prime. Res64: A2294A37E7650223 Time : 2032.0 sec. user=vaughan [2010-07-06 22:32:51] 483*2^840200-1 is not prime. Res64: 609EBDF399FAD6D9 Time : 1385.0 sec. user=vaughan [2010-07-06 22:33:21] 483*2^840199-1 is not prime. Res64: D2AE63F1EB13A042 Time : 2015.0 sec. user=vaughan [2010-07-06 22:34:00] 583*2^840195-1 is not prime. Res64: 2969CCA5DA75A65B Time : 2429.0 sec. user=vaughan [2010-07-06 22:37:41] 561*2^840199-1 is not prime. Res64: F3C368AC9D78CCD8 Time : 1937.0 sec. user=vaughan [2010-07-06 22:39:21] 471*2^840201-1 is not prime. Res64: D894728705487BE7 Time : 856.0 sec. user=vaughan [2010-07-06 22:43:42] 537*2^840200-1 is not prime. Res64: 2B0F557FB17CE493 Time : 1623.0 sec. user=Flatlander [2010-07-06 22:45:12] 497*2^840178-1 is not prime. Res64: 66B4A2D91D46B3D9 Time : 9126.0 sec. user=Flatlander [2010-07-06 22:45:13] 551*2^840178-1 is not prime. Res64: 3D821EB30C06FAB4 Time : 9126.0 sec. user=Flatlander [2010-07-06 22:45:14] 561*2^840178-1 is not prime. Res64: A36D6432C6CBB094 Time : 9125.0 sec. user=Flatlander [2010-07-06 22:45:15] 411*2^840179-1 is not prime. Res64: A711C59D85D2C2F6 Time : 9125.0 sec. user=Flatlander [2010-07-06 22:45:15] 463*2^840179-1 is not prime. Res64: 6889650905A19E6A Time : 9123.0 sec. user=vaughan [2010-07-06 22:50:24] 405*2^840201-1 is not prime. Res64: 395E69C3326AFFD0 Time : 1969.0 sec. user=vaughan [2010-07-06 22:54:19] 501*2^840203-1 is not prime. Res64: E7D864AB8348A15E Time : 899.0 sec. user=vaughan [2010-07-06 22:56:43] 591*2^840201-1 is not prime. Res64: 9CD97F6A910EDAA1 Time : 1716.0 sec. user=vaughan [2010-07-06 22:56:44] 511*2^840201-1 is not prime. Res64: ABEA031DCE1D6F32 Time : 1835.0 sec. user=vaughan [2010-07-06 22:58:56] 537*2^840201-1 is not prime. Res64: 611483EBC90264D0 Time : 1902.0 sec. user=vaughan [2010-07-06 23:01:40] 435*2^840202-1 is not prime. Res64: A7D6EC5B9218CF0D Time : 1730.0 sec. user=vaughan [2010-07-06 23:02:26] 573*2^840199-1 is not prime. Res64: E6523B8D5C5F84D2 Time : 3167.0 sec. user=vaughan [2010-07-06 23:04:21] 483*2^840202-1 is not prime. Res64: 717E94B74647B152 Time : 1860.0 sec. user=vaughan [2010-07-06 23:06:13] 579*2^840201-1 is not prime. Res64: 01E943F0553CD057 Time : 2311.0 sec. user=vaughan [2010-07-06 23:07:56] 551*2^840202-1 is not prime. Res64: 6D6C1F3252EBF994 Time : 1815.0 sec. user=vaughan [2010-07-06 23:09:33] 503*2^840206-1 is not prime. Res64: 708EDF6FC72E22FC Time : 914.0 sec. user=vaughan [2010-07-06 23:09:34] 491*2^840202-1 is not prime. Res64: D56C1A634FB898B5 Time : 2134.0 sec. user=vaughan [2010-07-06 23:14:01] 409*2^840201-1 is not prime. Res64: 150CEE209ACC5EC9 Time : 3183.0 sec. user=vaughan [2010-07-06 23:19:01] 523*2^840203-1 is not prime. Res64: EA0FECCABECD90E7 Time : 2119.0 sec. user=vaughan [2010-07-06 23:21:03] 501*2^840206-1 is not prime. Res64: EE848CB62ABB4CF1 Time : 1840.0 sec. user=vaughan [2010-07-06 23:24:40] 439*2^840207-1 is not prime. Res64: 5C150EE6622332C6 Time : 1676.0 sec. user=vaughan [2010-07-06 23:24:53] 495*2^840208-1 is not prime. Res64: 05127736FBD6F1AD Time : 920.0 sec. user=vaughan [2010-07-06 23:31:36] 585*2^840206-1 is not prime. Res64: 4AF29549088A6EFA Time : 2094.0 sec. user=Flatlander [2010-07-06 23:32:24] 593*2^840192-1 is not prime. Res64: 474DA73F95C491DB Time : 6674.0 sec. user=Flatlander [2010-07-06 23:32:25] 427*2^840193-1 is not prime. Res64: 1926EF25EA8DEC26 Time : 6674.0 sec. user=Flatlander [2010-07-06 23:32:26] 525*2^840193-1 is not prime. Res64: 2246347A068E78CD Time : 6673.0 sec. user=Flatlander [2010-07-06 23:32:27] 407*2^840194-1 is not prime. Res64: 387B35F0B03342E8 Time : 6673.0 sec. user=Flatlander [2010-07-06 23:32:28] 501*2^840194-1 is not prime. Res64: 91586D706700D529 Time : 6672.0 sec. user=vaughan [2010-07-06 23:34:03] 585*2^840207-1 is not prime. Res64: 81965294E8588685 Time : 1782.0 sec. user=vaughan [2010-07-06 23:37:55] 435*2^840208-1 is not prime. Res64: EEE07361760B1AB4 Time : 1799.0 sec. user=vaughan [2010-07-06 23:38:53] 489*2^840207-1 is not prime. Res64: 8EF40FA7702CA8A8 Time : 2397.0 sec. user=vaughan [2010-07-06 23:40:09] 513*2^840210-1 is not prime. Res64: 8064DF2B3D9A5285 Time : 916.0 sec. user=vaughan [2010-07-06 23:43:06] 411*2^840209-1 is not prime. Res64: 471DDFF628577670 Time : 2012.0 sec. user=vaughan [2010-07-06 23:51:51] 501*2^840210-1 is not prime. Res64: DC3C0C15C5BDDA5D Time : 1848.0 sec. user=vaughan [2010-07-06 23:52:49] 503*2^840210-1 is not prime. Res64: B8A487088799AEBF Time : 1689.0 sec. user=vaughan [2010-07-06 23:53:41] 447*2^840210-1 is not prime. Res64: 3159B0B5F5D4D723 Time : 2080.0 sec. user=vaughan [2010-07-06 23:55:19] 549*2^840213-1 is not prime. Res64: DE42F1D46D6AD40B Time : 911.0 sec. user=vaughan [2010-07-06 23:55:51] 559*2^840207-1 is not prime. Res64: 4954DBD42341F7FF Time : 3206.0 sec.