user=Flatlander [2010-07-07 00:01:05] 549*2^840173-1 is not prime. Res64: 3CBA4F848D596921 Time : 15182.0 sec. user=Flatlander [2010-07-07 00:01:06] 571*2^840173-1 is not prime. Res64: C6C97B876200F424 Time : 15181.0 sec. user=Flatlander [2010-07-07 00:01:07] 417*2^840174-1 is not prime. Res64: 9038B5C75D9E44C0 Time : 15180.0 sec. user=Flatlander [2010-07-07 00:01:08] 503*2^840174-1 is not prime. Res64: CF0CD80D2EB2A443 Time : 15180.0 sec. user=Flatlander [2010-07-07 00:01:08] 551*2^840174-1 is not prime. Res64: DC0B0381AC9AA330 Time : 15178.0 sec. user=vaughan [2010-07-07 00:03:18] 549*2^840207-1 is not prime. Res64: E6A2D4B69CB87E0F Time : 3698.0 sec. user=vaughan [2010-07-07 00:05:06] 525*2^840212-1 is not prime. Res64: 8794E134EAA62913 Time : 1863.0 sec. user=vaughan [2010-07-07 00:06:54] 415*2^840211-1 is not prime. Res64: 8EA7C4CC13D5681E Time : 2118.0 sec. user=vaughan [2010-07-07 00:07:27] 573*2^840212-1 is not prime. Res64: 7EA398FE3C8ADA22 Time : 1773.0 sec. user=vaughan [2010-07-07 00:08:08] 481*2^840209-1 is not prime. Res64: 8AE693F9E19A6076 Time : 3247.0 sec. user=vaughan [2010-07-07 00:09:46] 421*2^840215-1 is not prime. Res64: 588C2CF0B55FF9CB Time : 867.0 sec. user=vaughan [2010-07-07 00:15:58] 455*2^840214-1 is not prime. Res64: DE0BFDA4E56EC306 Time : 1973.0 sec. user=vaughan [2010-07-07 00:18:31] 405*2^840213-1 is not prime. Res64: FBFD2739BBF5668E Time : 2378.0 sec. user=vaughan [2010-07-07 00:19:12] 561*2^840214-1 is not prime. Res64: CFDC417771A35B6C Time : 1583.0 sec. user=vaughan [2010-07-07 00:23:59] 561*2^840218-1 is not prime. Res64: B2970A117E6D6303 Time : 854.0 sec. user=vaughan [2010-07-07 00:26:29] 555*2^840214-1 is not prime. Res64: 9D31FF345E8644C8 Time : 2079.0 sec. user=vaughan [2010-07-07 00:28:52] 593*2^840214-1 is not prime. Res64: A03B4D9DEB4ED31D Time : 2111.0 sec. user=vaughan [2010-07-07 00:37:43] 497*2^840218-1 is not prime. Res64: 487E1DE5ABFC413D Time : 1816.0 sec. user=vaughan [2010-07-07 00:38:23] 513*2^840219-1 is not prime. Res64: 16ED53200A3C8E33 Time : 864.0 sec. user=vaughan [2010-07-07 00:39:26] 405*2^840218-1 is not prime. Res64: 5CB4720C496C033E Time : 2060.0 sec. user=vaughan [2010-07-07 00:42:00] 467*2^840218-1 is not prime. Res64: 269CBE9A192B3211 Time : 2107.0 sec. user=vaughan [2010-07-07 00:46:04] 595*2^840207-1 is not prime. Res64: 55FC31419EC66A75 Time : 5992.0 sec. user=vaughan [2010-07-07 00:47:35] 495*2^840219-1 is not prime. Res64: DF41FAB9D228531B Time : 1703.0 sec. user=Flatlander [2010-07-07 00:50:49] 447*2^840204-1 is not prime. Res64: 22EE20A9D4BF06E1 Time : 7533.0 sec. user=Flatlander [2010-07-07 00:50:50] 483*2^840204-1 is not prime. Res64: 212598B1E9FD4C3B Time : 7532.0 sec. user=Flatlander [2010-07-07 00:50:51] 513*2^840204-1 is not prime. Res64: 53978C201276D18C Time : 7531.0 sec. user=Flatlander [2010-07-07 00:50:52] 411*2^840205-1 is not prime. Res64: 9764269A6CDDF49F Time : 7531.0 sec. user=Flatlander [2010-07-07 00:50:53] 507*2^840205-1 is not prime. Res64: CF4174F105BE573D Time : 7530.0 sec. user=vaughan [2010-07-07 00:52:52] 489*2^840221-1 is not prime. Res64: 31AA0013BC6ABC03 Time : 869.0 sec. user=vaughan [2010-07-07 00:52:54] 525*2^840215-1 is not prime. Res64: 2F7FE2F534BD06BF Time : 3423.0 sec. user=vaughan [2010-07-07 00:56:20] 563*2^840218-1 is not prime. Res64: C9CF404CBFE470B7 Time : 2423.0 sec. user=vaughan [2010-07-07 00:57:57] 495*2^840217-1 is not prime. Res64: DA22ED3269C37AF3 Time : 3279.0 sec. user=vaughan [2010-07-07 01:00:05] 415*2^840219-1 is not prime. Res64: 513C935021656260 Time : 2494.0 sec. user=vaughan [2010-07-07 01:01:54] 539*2^840220-1 is not prime. Res64: DEF1F33766CD6C62 Time : 1982.0 sec. user=vaughan [2010-07-07 01:02:16] 513*2^840220-1 is not prime. Res64: 4D9E835142FAB2BA Time : 2147.0 sec. user=Flatlander [2010-07-07 01:04:13] 465*2^840197-1 is not prime. Res64: 0C4953AB4DA5C5DF Time : 11388.0 sec. user=Flatlander [2010-07-07 01:04:14] 507*2^840197-1 is not prime. Res64: 4C208A61CB4EAED1 Time : 11388.0 sec. user=Flatlander [2010-07-07 01:04:15] 519*2^840197-1 is not prime. Res64: 433A4FE61B772601 Time : 11388.0 sec. user=Flatlander [2010-07-07 01:04:15] 529*2^840197-1 is not prime. Res64: FF061D933DA04EF2 Time : 11387.0 sec. user=Flatlander [2010-07-07 01:04:16] 401*2^840198-1 is not prime. Res64: 4079A6B5F4B8DD62 Time : 11387.0 sec. user=vaughan [2010-07-07 01:04:29] 507*2^840218-1 is not prime. Res64: 80B9572EA603CAB0 Time : 3382.0 sec. user=vaughan [2010-07-07 01:07:09] 541*2^840223-1 is not prime. Res64: BB3F2444AC4E1231 Time : 857.0 sec. user=vaughan [2010-07-07 01:09:59] 597*2^840220-1 is not prime. Res64: A1510C443083414A Time : 1936.0 sec. user=vaughan [2010-07-07 01:15:05] 561*2^840221-1 is not prime. Res64: 3249C47C96916677 Time : 2139.0 sec. user=vaughan [2010-07-07 01:15:10] 587*2^840222-1 is not prime. Res64: 22091369D47D9E4B Time : 1990.0 sec. user=vaughan [2010-07-07 01:15:28] 421*2^840223-1 is not prime. Res64: 0D231C10099B2406 Time : 1673.0 sec. user=vaughan [2010-07-07 01:20:36] 473*2^840224-1 is not prime. Res64: F162E788F167CA6A Time : 1359.0 sec. user=vaughan [2010-07-07 01:20:36] 415*2^840223-1 is not prime. Res64: EDF378C462E82454 Time : 2072.0 sec. user=vaughan [2010-07-07 01:21:32] 511*2^840227-1 is not prime. Res64: 5903C6CEE913C362 Time : 863.0 sec. user=vaughan [2010-07-07 01:32:55] 511*2^840225-1 is not prime. Res64: 1A310AFD8FD740B7 Time : 1861.0 sec. user=vaughan [2010-07-07 01:33:01] 417*2^840224-1 is not prime. Res64: 0D76FC190D15C53A Time : 2202.0 sec. user=vaughan [2010-07-07 01:35:28] 535*2^840225-1 is not prime. Res64: C1B7C2FFEE680303 Time : 1992.0 sec. user=vaughan [2010-07-07 01:36:44] 483*2^840228-1 is not prime. Res64: B7ACF133C7706D94 Time : 912.0 sec. user=vaughan [2010-07-07 01:42:37] 419*2^840228-1 is not prime. Res64: 7B8500EBEB2E31DB Time : 1321.0 sec. user=vaughan [2010-07-07 01:43:13] 459*2^840225-1 is not prime. Res64: E42C838C60B4B195 Time : 2589.0 sec. user=vaughan [2010-07-07 01:43:13] 589*2^840227-1 is not prime. Res64: 807EC6CCA9455470 Time : 1666.0 sec. user=vaughan [2010-07-07 01:43:46] 585*2^840227-1 is not prime. Res64: A4040C440BF22290 Time : 1716.0 sec. user=vaughan [2010-07-07 01:48:07] 413*2^840224-1 is not prime. Res64: B21283EA9B35B016 Time : 3313.0 sec. user=vaughan [2010-07-07 01:48:15] 519*2^840227-1 is not prime. Res64: 2E8C75C0E9BD1E4A Time : 2296.0 sec. user=vaughan [2010-07-07 01:48:24] 531*2^840227-1 is not prime. Res64: D2A37AE53D27DEB7 Time : 2000.0 sec. user=vaughan [2010-07-07 01:52:09] 407*2^840230-1 is not prime. Res64: 0AE4CE9FD38806BC Time : 925.0 sec. user=vaughan [2010-07-07 01:54:48] 453*2^840228-1 is not prime. Res64: 02860B1280653A50 Time : 2052.0 sec. user=vaughan [2010-07-07 01:58:56] 495*2^840227-1 is not prime. Res64: C654846EC7ACB2FE Time : 3268.0 sec. user=vaughan [2010-07-07 02:01:14] 477*2^840229-1 is not prime. Res64: F146E571E7816AFB Time : 1693.0 sec. user=vaughan [2010-07-07 02:05:35] 503*2^840230-1 is not prime. Res64: 0540666EEA6C0BD8 Time : 1379.0 sec. user=vaughan [2010-07-07 02:06:30] 465*2^840229-1 is not prime. Res64: 7C660FB3333E019E Time : 2015.0 sec. user=vaughan [2010-07-07 02:06:58] 507*2^840233-1 is not prime. Res64: B792497EB88F31DC Time : 889.0 sec. user=vaughan [2010-07-07 02:08:44] 559*2^840229-1 is not prime. Res64: 7635F7A27BD563D0 Time : 1996.0 sec. user=vaughan [2010-07-07 02:08:59] 573*2^840232-1 is not prime. Res64: C75CAE29F2DE5081 Time : 1244.0 sec. user=vaughan [2010-07-07 02:15:11] 405*2^840232-1 is not prime. Res64: 20405268EF7E105A Time : 1885.0 sec. user=vaughan [2010-07-07 02:15:23] 483*2^840231-1 is not prime. Res64: A3C0F9D180500897 Time : 1930.0 sec. user=vaughan [2010-07-07 02:19:07] 533*2^840230-1 is not prime. Res64: E0F011FB8BED01AC Time : 2155.0 sec. user=vaughan [2010-07-07 02:20:49] 451*2^840235-1 is not prime. Res64: F9CD5A1052540FE1 Time : 1176.0 sec. user=vaughan [2010-07-07 02:22:23] 421*2^840233-1 is not prime. Res64: FB653498A67A41CF Time : 2039.0 sec. user=vaughan [2010-07-07 02:23:43] 531*2^840235-1 is not prime. Res64: 4F85CE70A9E0FFB8 Time : 1005.0 sec. user=vaughan [2010-07-07 02:27:55] 585*2^840234-1 is not prime. Res64: 88EDC5E00B3B56DF Time : 1987.0 sec. user=vaughan [2010-07-07 02:28:42] 463*2^840235-1 is not prime. Res64: 6029494D6D7B752A Time : 1387.0 sec. user=vaughan [2010-07-07 02:30:49] 417*2^840236-1 is not prime. Res64: 93E02E03BEA6E9DA Time : 1311.0 sec. user=vaughan [2010-07-07 02:31:15] 499*2^840235-1 is not prime. Res64: D96F16907477D870 Time : 1486.0 sec. user=Flatlander [2010-07-07 02:38:02] 565*2^840225-1 is not prime. Res64: 2E81DBC9D3372F6B Time : 5624.0 sec. user=Flatlander [2010-07-07 02:38:03] 447*2^840226-1 is not prime. Res64: FB17801B0FBA786C Time : 5624.0 sec. user=Flatlander [2010-07-07 02:38:03] 593*2^840226-1 is not prime. Res64: 291A18DC0CCF9472 Time : 5622.0 sec. user=Flatlander [2010-07-07 02:38:04] 403*2^840227-1 is not prime. Res64: 7B094BD305364619 Time : 5621.0 sec. user=Flatlander [2010-07-07 02:38:05] 435*2^840227-1 is not prime. Res64: A05AFED8011FBDAE Time : 5621.0 sec. user=vaughan [2010-07-07 02:38:20] 503*2^840238-1 is not prime. Res64: D042456485A9F018 Time : 877.0 sec. user=vaughan [2010-07-07 02:39:16] 429*2^840237-1 is not prime. Res64: 34754BEBE8642914 Time : 1445.0 sec. user=vaughan [2010-07-07 02:42:14] 555*2^840235-1 is not prime. Res64: D929A8A90502877B Time : 2011.0 sec. user=vaughan [2010-07-07 02:43:48] 479*2^840232-1 is not prime. Res64: 3E87838F41BF1629 Time : 3341.0 sec. user=vaughan [2010-07-07 02:46:49] 495*2^840237-1 is not prime. Res64: 7397D35AA4E649FA Time : 1886.0 sec. user=vaughan [2010-07-07 02:50:24] 525*2^840239-1 is not prime. Res64: B4EFD14B906968D6 Time : 1302.0 sec. user=vaughan [2010-07-07 02:51:36] 423*2^840238-1 is not prime. Res64: D23DAE27AC58B585 Time : 1848.0 sec. user=Flatlander [2010-07-07 02:53:01] 451*2^840211-1 is not prime. Res64: 04AEB2482D5E4431 Time : 12032.0 sec. user=Flatlander [2010-07-07 02:53:02] 549*2^840211-1 is not prime. Res64: C2A4E6BB33493237 Time : 12031.0 sec. user=Flatlander [2010-07-07 02:53:03] 449*2^840212-1 is not prime. Res64: BF537F2CA4B7868A Time : 12031.0 sec. user=Flatlander [2010-07-07 02:53:04] 477*2^840212-1 is not prime. Res64: 8F6F6549DEDCA325 Time : 12030.0 sec. user=Flatlander [2010-07-07 02:53:04] 483*2^840212-1 is not prime. Res64: 2590323A0AB260CC Time : 12028.0 sec. user=vaughan [2010-07-07 02:54:03] 421*2^840235-1 is not prime. Res64: BB00F7A44A29B235 Time : 3307.0 sec. user=vaughan [2010-07-07 02:54:57] 489*2^840241-1 is not prime. Res64: 9F2429533E6EF40E Time : 997.0 sec. user=vaughan [2010-07-07 02:57:09] 405*2^840240-1 is not prime. Res64: 348E2EA76CA4AE9D Time : 1581.0 sec. user=vaughan [2010-07-07 02:57:25] 447*2^840238-1 is not prime. Res64: 57E1F26237B58B45 Time : 2103.0 sec. user=vaughan [2010-07-07 02:58:42] 429*2^840240-1 is not prime. Res64: EEBEE27A8F503457 Time : 1647.0 sec. user=vaughan [2010-07-07 02:59:44] 499*2^840237-1 is not prime. Res64: CDC90117D26AF480 Time : 2438.0 sec. user=vaughan [2010-07-07 03:02:59] 513*2^840238-1 is not prime. Res64: 4CB8AB6737A67607 Time : 2105.0 sec. user=vaughan [2010-07-07 03:08:10] 549*2^840241-1 is not prime. Res64: 462B7AF21076C888 Time : 1557.0 sec. user=vaughan [2010-07-07 03:09:58] 565*2^840243-1 is not prime. Res64: 458AA3B93C960811 Time : 901.0 sec. user=vaughan [2010-07-07 03:09:59] 499*2^840241-1 is not prime. Res64: 5BFBC910992071F0 Time : 1844.0 sec. user=Flatlander [2010-07-07 03:11:22] 433*2^840223-1 is not prime. Res64: 16AE901398BC3306 Time : 8428.0 sec. user=Flatlander [2010-07-07 03:11:23] 441*2^840223-1 is not prime. Res64: 08CBF1F292574593 Time : 8427.0 sec. user=Flatlander [2010-07-07 03:11:24] 483*2^840223-1 is not prime. Res64: 79D70E9D0603E3C9 Time : 8427.0 sec. user=Flatlander [2010-07-07 03:11:25] 489*2^840223-1 is not prime. Res64: 8B6B1D6D59F14284 Time : 8426.0 sec. user=Flatlander [2010-07-07 03:11:25] 525*2^840223-1 is not prime. Res64: A38F0E66923D2E79 Time : 8424.0 sec. user=vaughan [2010-07-07 03:12:57] 477*2^840242-1 is not prime. Res64: F3ED00526D05013E Time : 1353.0 sec. user=vaughan [2010-07-07 03:15:41] 425*2^840242-1 is not prime. Res64: 4A3DA796BE7EEC2F Time : 1733.0 sec. user=vaughan [2010-07-07 03:23:28] 419*2^840244-1 is not prime. Res64: 16D620F7EB35ED1E Time : 1563.0 sec. user=vaughan [2010-07-07 03:25:06] 475*2^840245-1 is not prime. Res64: 50480F297F0FD777 Time : 908.0 sec. user=vaughan [2010-07-07 03:25:22] 573*2^840243-1 is not prime. Res64: 401444F4EA8630F8 Time : 1694.0 sec. user=Flatlander [2010-07-07 03:28:49] 579*2^840215-1 is not prime. Res64: C61A1B5A066DB292 Time : 12459.0 sec. user=Flatlander [2010-07-07 03:28:50] 413*2^840216-1 is not prime. Res64: F8D03719EB9E2C6A Time : 12459.0 sec. user=Flatlander [2010-07-07 03:28:51] 537*2^840216-1 is not prime. Res64: 140F537035CFA39E Time : 12458.0 sec. user=Flatlander [2010-07-07 03:28:52] 587*2^840216-1 is not prime. Res64: 27436A84608A8038 Time : 12457.0 sec. user=Flatlander [2010-07-07 03:28:53] 421*2^840217-1 is not prime. Res64: 14EE10E61E866F7F Time : 12457.0 sec. user=vaughan [2010-07-07 03:29:54] 597*2^840244-1 is not prime. Res64: F645E9B0D5E71CE3 Time : 1304.0 sec. user=vaughan [2010-07-07 03:30:48] 483*2^840242-1 is not prime. Res64: BCA0F3E56F6D6CE9 Time : 2352.0 sec. user=vaughan [2010-07-07 03:31:49] 429*2^840244-1 is not prime. Res64: 9243F0C6D170B2DE Time : 1988.0 sec. user=vaughan [2010-07-07 03:37:41] 577*2^840241-1 is not prime. Res64: 127405AD66E1D9C8 Time : 3233.0 sec. user=vaughan [2010-07-07 03:39:35] 485*2^840244-1 is not prime. Res64: D7E3D181112F7515 Time : 2392.0 sec. user=vaughan [2010-07-07 03:40:09] 499*2^840247-1 is not prime. Res64: 9B497C6AB9F3A4B2 Time : 903.0 sec. user=vaughan [2010-07-07 03:44:10] 453*2^840247-1 is not prime. Res64: A9DEB4FACB509BDB Time : 1710.0 sec. user=vaughan [2010-07-07 03:45:33] 487*2^840245-1 is not prime. Res64: 14A43C3CB059E223 Time : 2134.0 sec. user=vaughan [2010-07-07 03:47:23] 475*2^840247-1 is not prime. Res64: 6B23F03C59D02844 Time : 1435.0 sec. user=vaughan [2010-07-07 03:48:27] 507*2^840244-1 is not prime. Res64: 7490B1C7521E115F Time : 2729.0 sec. user=vaughan [2010-07-07 03:48:38] 481*2^840243-1 is not prime. Res64: B3E98F38150C1107 Time : 3276.0 sec. user=vaughan [2010-07-07 03:51:51] 495*2^840248-1 is not prime. Res64: E183ECA5D784A35A Time : 1317.0 sec. user=vaughan [2010-07-07 03:52:16] 519*2^840247-1 is not prime. Res64: 1CBE20C024F32E62 Time : 1614.0 sec. user=vaughan [2010-07-07 03:53:05] 495*2^840246-1 is not prime. Res64: DCB8A21B89013524 Time : 2408.0 sec. user=vaughan [2010-07-07 03:57:12] 525*2^840249-1 is not prime. Res64: 03F7E0E8707ACDC5 Time : 1023.0 sec. user=vaughan [2010-07-07 04:01:27] 585*2^840248-1 is not prime. Res64: 3A4CA523F4A6A018 Time : 1779.0 sec. user=vaughan [2010-07-07 04:08:32] 429*2^840249-1 is not prime. Res64: B5E333D99F11F30B Time : 1737.0 sec. user=vaughan [2010-07-07 04:11:22] 557*2^840248-1 is not prime. Res64: 43AEA2FDF5C06730 Time : 2434.0 sec. user=vaughan [2010-07-07 04:11:53] 443*2^840250-1 is not prime. Res64: 415F2D4372BF5A05 Time : 1470.0 sec. user=vaughan [2010-07-07 04:12:42] 405*2^840252-1 is not prime. Res64: 2C3FE2DFE50C223A Time : 930.0 sec. user=vaughan [2010-07-07 04:13:59] 437*2^840250-1 is not prime. Res64: 324D3A4613D45631 Time : 1706.0 sec. user=vaughan [2010-07-07 04:14:55] 567*2^840250-1 is not prime. Res64: A35B8C870EFF88D3 Time : 1384.0 sec. user=vaughan [2010-07-07 04:16:24] 401*2^840250-1 is not prime. Res64: 68F2638509583DE0 Time : 1934.0 sec. user=vaughan [2010-07-07 04:18:50] 445*2^840251-1 is not prime. Res64: C54CF3B27E39D2FD Time : 1594.0 sec. user=vaughan [2010-07-07 04:27:50] 519*2^840253-1 is not prime. Res64: 242F21E4AB3B06D1 Time : 908.0 sec. user=vaughan [2010-07-07 04:33:57] 497*2^840252-1 is not prime. Res64: F56A57B39E462667 Time : 1526.0 sec. user=vaughan [2010-07-07 04:35:15] 455*2^840252-1 is not prime. Res64: 76D2DD29E0A23A00 Time : 2028.0 sec. user=vaughan [2010-07-07 04:38:54] 559*2^840253-1 is not prime. Res64: 762664D544FCE0F0 Time : 1440.0 sec. user=vaughan [2010-07-07 04:39:10] 599*2^840248-1 is not prime. Res64: 4C15BCF2F2DED609 Time : 3690.0 sec. user=vaughan [2010-07-07 04:40:04] 567*2^840252-1 is not prime. Res64: BB65F3320D42D8BC Time : 1691.0 sec. user=vaughan [2010-07-07 04:42:09] 435*2^840254-1 is not prime. Res64: CA3AB8B56A400678 Time : 859.0 sec. user=vaughan [2010-07-07 04:42:52] 471*2^840250-1 is not prime. Res64: DACB6336ACB844AE Time : 3255.0 sec. user=Flatlander [2010-07-07 04:45:29] 501*2^840242-1 is not prime. Res64: CD472631EA1D1B4C Time : 6743.0 sec. user=Flatlander [2010-07-07 04:45:30] 503*2^840242-1 is not prime. Res64: F55B7F8279416247 Time : 6743.0 sec. user=Flatlander [2010-07-07 04:45:30] 525*2^840242-1 is not prime. Res64: F0EE53F9DD23E2C3 Time : 6741.0 sec. user=Flatlander [2010-07-07 04:45:31] 573*2^840242-1 is not prime. Res64: 55CA0E5F6DB092E9 Time : 6740.0 sec. user=Flatlander [2010-07-07 04:45:36] 531*2^840247-1 is not prime. Res64: 0F1A4BFEFA181C88 Time : 4602.0 sec. user=Flatlander [2010-07-07 04:45:37] 573*2^840247-1 is not prime. Res64: AE13854C44D3151E Time : 4601.0 sec. user=Flatlander [2010-07-07 04:45:37] 417*2^840248-1 is not prime. Res64: 817A37593F021761 Time : 4600.0 sec. user=Flatlander [2010-07-07 04:46:16] 479*2^840240-1 is not prime. Res64: B9FFD5D9DB024A57 Time : 7689.0 sec. user=Flatlander [2010-07-07 04:46:17] 503*2^840240-1 is not prime. Res64: D9CE7E80AAA05B29 Time : 7689.0 sec. user=Flatlander [2010-07-07 04:46:18] 597*2^840240-1 is not prime. Res64: 87700C86962C5CA5 Time : 7688.0 sec. user=Flatlander [2010-07-07 04:46:18] 421*2^840241-1 is not prime. Res64: AB0294F8554B8DC0 Time : 7687.0 sec. user=Flatlander [2010-07-07 04:46:34] 507*2^840245-1 is not prime. Res64: FBABD176CBB6C53D Time : 5707.0 sec. user=vaughan [2010-07-07 04:47:10] 567*2^840253-1 is not prime. Res64: D8ED06F43228DF9A Time : 1700.0 sec. user=vaughan [2010-07-07 04:47:57] 555*2^840253-1 is not prime. Res64: B189D27F9A412A2C Time : 2038.0 sec. user=vaughan [2010-07-07 04:50:08] 565*2^840253-1 is not prime. Res64: 4A22316F14E25DE7 Time : 2025.0 sec. user=vaughan [2010-07-07 04:55:57] 513*2^840252-1 is not prime. Res64: 2C66CEF8DFDF34BE Time : 2675.0 sec. user=vaughan [2010-07-07 04:56:22] 423*2^840255-1 is not prime. Res64: 3782E752EA1C79E6 Time : 853.0 sec. user=vaughan [2010-07-07 05:00:01] 447*2^840254-1 is not prime. Res64: 567BBD7DF088CB25 Time : 1564.0 sec. user=vaughan [2010-07-07 05:01:59] 551*2^840254-1 is not prime. Res64: 9E50E178D633033D Time : 1385.0 sec. user=vaughan [2010-07-07 05:08:19] 415*2^840255-1 is not prime. Res64: 9CAA3E77959186F4 Time : 1695.0 sec. user=vaughan [2010-07-07 05:10:31] 473*2^840254-1 is not prime. Res64: E9B43AC722E026A9 Time : 2116.0 sec. user=vaughan [2010-07-07 05:10:59] 471*2^840246-1 is not prime. Res64: EDD426539C986352 Time : 877.0 sec. user=vaughan [2010-07-07 05:14:39] 429*2^840241-1 is not prime. Res64: CD5DA4BFA89C5D25 Time : 1650.0 sec. user=vaughan [2010-07-07 05:20:28] 415*2^840243-1 is not prime. Res64: 446393087CB4E062 Time : 1951.0 sec. user=vaughan [2010-07-07 05:23:13] 589*2^840245-1 is not prime. Res64: 7B4E58EF5AC1D1CB Time : 1986.0 sec. user=vaughan [2010-07-07 05:24:23] 485*2^840246-1 is not prime. Res64: CB5329F1BC03FAE2 Time : 1462.0 sec. user=vaughan [2010-07-07 05:24:37] 425*2^840248-1 is not prime. Res64: 315D4D0B41B089E7 Time : 1358.0 sec. user=vaughan [2010-07-07 05:24:42] 467*2^840250-1 is not prime. Res64: 125A128482839616 Time : 5776.0 sec. user=vaughan [2010-07-07 05:25:35] 493*2^840255-1 is not prime. Res64: E1EA82C60F1C3DED Time : 877.0 sec. user=vaughan [2010-07-07 05:26:16] 465*2^840251-1 is not prime. Res64: 6AA6849D4DB58E3D Time : 5591.0 sec. user=vaughan [2010-07-07 05:32:25] 453*2^840248-1 is not prime. Res64: 50D5CEF23EEB2821 Time : 1447.0 sec. user=vaughan [2010-07-07 05:32:27] 585*2^840254-1 is not prime. Res64: 6F6B03CB41082BC3 Time : 3197.0 sec. user=vaughan [2010-07-07 05:36:14] 465*2^840255-1 is not prime. Res64: E94154294899E040 Time : 1544.0 sec. user=vaughan [2010-07-07 05:38:32] 451*2^840255-1 is not prime. Res64: D3E95836D396EC94 Time : 3341.0 sec. user=vaughan [2010-07-07 05:40:14] 465*2^840258-1 is not prime. Res64: C85BDA8AA0FA287A Time : 879.0 sec. user=vaughan [2010-07-07 05:41:25] 501*2^840255-1 is not prime. Res64: D1D56CF3B3204ECF Time : 1606.0 sec. user=vaughan [2010-07-07 05:43:07] 591*2^840245-1 is not prime. Res64: E7C3EAE46CF39DBA Time : 2830.0 sec. user=vaughan [2010-07-07 05:45:31] 531*2^840255-1 is not prime. Res64: C5421E679F79E9FA Time : 1503.0 sec. user=vaughan [2010-07-07 05:45:59] 423*2^840258-1 is not prime. Res64: 98D3F0A7114E88EB Time : 1278.0 sec. user=vaughan [2010-07-07 05:47:09] 595*2^840257-1 is not prime. Res64: 346CA30FF6CDC713 Time : 1352.0 sec. user=vaughan [2010-07-07 05:49:47] 575*2^840256-1 is not prime. Res64: 1807E8C1A1AE4824 Time : 1594.0 sec. user=vaughan [2010-07-07 05:54:23] 421*2^840257-1 is not prime. Res64: 12089E5418C54639 Time : 1800.0 sec. user=vaughan [2010-07-07 05:55:06] 441*2^840259-1 is not prime. Res64: 204F3DAC4294E8E1 Time : 892.0 sec. user=vaughan [2010-07-07 05:57:13] 497*2^840258-1 is not prime. Res64: 394A7344BE23973C Time : 1489.0 sec. user=vaughan [2010-07-07 06:06:01] 555*2^840258-1 is not prime. Res64: 546D99CE4FDABE50 Time : 1788.0 sec. user=vaughan [2010-07-07 06:06:29] 483*2^840258-1 is not prime. Res64: 0A8E1739E70116BC Time : 2414.0 sec. user=vaughan [2010-07-07 06:06:54] 455*2^840260-1 is not prime. Res64: 7F44C924412374EF Time : 1255.0 sec. user=vaughan [2010-07-07 06:09:51] 463*2^840259-1 is not prime. Res64: 15963BFCD301D2B9 Time : 1706.0 sec. user=vaughan [2010-07-07 06:10:12] 409*2^840261-1 is not prime. Res64: FD50EBAE738CB2CC Time : 906.0 sec. user=vaughan [2010-07-07 06:10:44] 473*2^840260-1 is not prime. Res64: D40F09CE6245AEA7 Time : 1416.0 sec. user=vaughan [2010-07-07 06:15:47] 425*2^840260-1 is not prime. Res64: 0F5808DB53073BDC Time : 1817.0 sec. user=vaughan [2010-07-07 06:16:14] 519*2^840260-1 is not prime. Res64: DC61053900F27E49 Time : 1587.0 sec. user=vaughan [2010-07-07 06:23:40] 579*2^840259-1 is not prime. Res64: 30BC8F5FEBF55830 Time : 2433.0 sec. user=vaughan [2010-07-07 06:25:27] 471*2^840261-1 is not prime. Res64: D87F42B8755BECF3 Time : 1694.0 sec. user=vaughan [2010-07-07 06:26:05] 483*2^840262-1 is not prime. Res64: 37A355B704B2B259 Time : 954.0 sec. user=vaughan [2010-07-07 06:27:22] 585*2^840261-1 is not prime. Res64: 5E63F321C6485160 Time : 1228.0 sec. user=vaughan [2010-07-07 06:27:29] 503*2^840258-1 is not prime. Res64: 6D786C7DF289266E Time : 3302.0 sec. user=vaughan [2010-07-07 06:30:58] 579*2^840260-1 is not prime. Res64: 287CA7415A42FAE3 Time : 2196.0 sec. user=vaughan [2010-07-07 06:33:10] 513*2^840262-1 is not prime. Res64: F6F9A2740D314845 Time : 1346.0 sec. user=vaughan [2010-07-07 06:34:47] 559*2^840261-1 is not prime. Res64: 3CFA3A5AF4808582 Time : 1727.0 sec. user=vaughan [2010-07-07 06:36:40] 439*2^840259-1 is not prime. Res64: 2F9D0C1D9024AA4E Time : 3488.0 sec. user=vaughan [2010-07-07 06:39:04] 467*2^840262-1 is not prime. Res64: A84CDC3EABC5E635 Time : 1753.0 sec. user=vaughan [2010-07-07 06:42:01] 519*2^840263-1 is not prime. Res64: 9EDD42330596F6A4 Time : 956.0 sec. user=vaughan [2010-07-07 06:44:37] 567*2^840262-1 is not prime. Res64: A0EBE370B355D632 Time : 1703.0 sec. user=vaughan [2010-07-07 06:46:46] 561*2^840262-1 is not prime. Res64: D0C3D5ADAFF64528 Time : 1859.0 sec. user=vaughan [2010-07-07 06:48:23] 591*2^840263-1 is not prime. Res64: 993F2271B2AF2BEE Time : 1261.0 sec. user=vaughan [2010-07-07 06:48:55] 571*2^840261-1 is not prime. Res64: D08428F40E32E71D Time : 2547.0 sec. user=vaughan [2010-07-07 06:50:01] 489*2^840263-1 is not prime. Res64: E809B746017A56BB Time : 1474.0 sec. user=vaughan [2010-07-07 06:55:14] 555*2^840264-1 is not prime. Res64: 1AB839727E64755A Time : 1324.0 sec. user=vaughan [2010-07-07 06:56:53] 511*2^840265-1 is not prime. Res64: C242E5F733CEDA33 Time : 892.0 sec. user=vaughan [2010-07-07 07:03:06] 581*2^840262-1 is not prime. Res64: A80E4F075F586F29 Time : 2366.0 sec. user=vaughan [2010-07-07 07:05:43] 567*2^840264-1 is not prime. Res64: 62D6E58EFE53B461 Time : 1856.0 sec. user=vaughan [2010-07-07 07:09:09] 481*2^840265-1 is not prime. Res64: C1ED93F0F949FB2F Time : 1806.0 sec. user=vaughan [2010-07-07 07:09:41] 483*2^840266-1 is not prime. Res64: 683E3B69A4CB3574 Time : 1278.0 sec. user=vaughan [2010-07-07 07:11:36] 451*2^840267-1 is not prime. Res64: E80063116403A8D1 Time : 883.0 sec. user=vaughan [2010-07-07 07:11:52] 509*2^840264-1 is not prime. Res64: D70E075353DAFEF3 Time : 2454.0 sec. user=vaughan [2010-07-07 07:12:44] 589*2^840265-1 is not prime. Res64: D824AA07425B0BE8 Time : 1687.0 sec. user=vaughan [2010-07-07 07:14:03] 507*2^840266-1 is not prime. Res64: 12959332CF671B69 Time : 1442.0 sec. user=vaughan [2010-07-07 07:14:03] 417*2^840266-1 is not prime. Res64: DEC659BF8D3F848B Time : 1638.0 sec. user=vaughan [2010-07-07 07:17:58] 537*2^840266-1 is not prime. Res64: A7B2DA6E1E1ED474 Time : 1364.0 sec. user=vaughan [2010-07-07 07:21:32] 465*2^840264-1 is not prime. Res64: 2E644598778D682A Time : 3244.0 sec. user=vaughan [2010-07-07 07:26:39] 437*2^840268-1 is not prime. Res64: D8C29D608AE67B6B Time : 903.0 sec. user=vaughan [2010-07-07 07:28:41] 503*2^840266-1 is not prime. Res64: 6D2EF6518C4618A3 Time : 2387.0 sec. user=vaughan [2010-07-07 07:30:52] 429*2^840268-1 is not prime. Res64: 763F5E37487BDD36 Time : 1272.0 sec. user=vaughan [2010-07-07 07:30:55] 501*2^840267-1 is not prime. Res64: ADBD76501A008BEE Time : 1513.0 sec. user=vaughan [2010-07-07 07:31:35] 587*2^840264-1 is not prime. Res64: 82C58EE5AB140140 Time : 3295.0 sec. user=vaughan [2010-07-07 07:33:36] 405*2^840268-1 is not prime. Res64: 85DEB1F71F57A598 Time : 1467.0 sec. user=vaughan [2010-07-07 07:34:30] 471*2^840267-1 is not prime. Res64: 5214F540F47D487A Time : 1885.0 sec. user=vaughan [2010-07-07 07:37:57] 439*2^840269-1 is not prime. Res64: E90E952FD4D43FE9 Time : 1513.0 sec. user=vaughan [2010-07-07 07:38:03] 487*2^840269-1 is not prime. Res64: EBFF211DB8A02CEC Time : 1440.0 sec. user=vaughan [2010-07-07 07:39:11] 507*2^840269-1 is not prime. Res64: 0A4411464F85ABBE Time : 1508.0 sec. user=vaughan [2010-07-07 07:39:30] 549*2^840269-1 is not prime. Res64: AC6D1FD603909343 Time : 1292.0 sec. user=vaughan [2010-07-07 07:41:44] 455*2^840270-1 is not prime. Res64: 334EF4F28614E9E7 Time : 905.0 sec. user=vaughan [2010-07-07 07:53:21] 495*2^840268-1 is not prime. Res64: AC5F44CAF29485EC Time : 2490.0 sec. user=vaughan [2010-07-07 07:54:59] 405*2^840271-1 is not prime. Res64: E171DE2C6ED4687E Time : 1283.0 sec. user=vaughan [2010-07-07 07:55:45] 557*2^840270-1 is not prime. Res64: BD103D45CDB46911 Time : 1490.0 sec. user=vaughan [2010-07-07 07:57:10] 549*2^840271-1 is not prime. Res64: 0EA02FCE98FC1A08 Time : 926.0 sec. user=vaughan [2010-07-07 08:01:57] 415*2^840271-1 is not prime. Res64: 49FB8D21172AC3A2 Time : 1648.0 sec. user=vaughan [2010-07-07 08:02:09] 453*2^840271-1 is not prime. Res64: 3A3380B132E78BBA Time : 1446.0 sec. user=vaughan [2010-07-07 08:02:21] 511*2^840271-1 is not prime. Res64: 1944A01F76D4B248 Time : 1371.0 sec. user=vaughan [2010-07-07 08:03:31] 421*2^840271-1 is not prime. Res64: D10EFA8CF8C6864D Time : 1535.0 sec. user=vaughan [2010-07-07 08:04:28] 499*2^840271-1 is not prime. Res64: 8AD7E4EF304316E4 Time : 1517.0 sec. user=vaughan [2010-07-07 08:12:21] 511*2^840273-1 is not prime. Res64: 52BEEEB821816156 Time : 911.0 sec. user=vaughan [2010-07-07 08:15:32] 589*2^840269-1 is not prime. Res64: F926AD7AF05711DB Time : 3241.0 sec. user=vaughan [2010-07-07 08:20:45] 487*2^840273-1 is not prime. Res64: 49E853B8DD4332C4 Time : 1500.0 sec. user=vaughan [2010-07-07 08:23:34] 563*2^840272-1 is not prime. Res64: 8355D4BBF6B12FEC Time : 1814.0 sec. user=vaughan [2010-07-07 08:25:01] 475*2^840273-1 is not prime. Res64: 3C80D1F517722A0C Time : 1802.0 sec. user=vaughan [2010-07-07 08:26:31] 461*2^840274-1 is not prime. Res64: 5BF0125BE545A259 Time : 1380.0 sec. user=vaughan [2010-07-07 08:26:41] 591*2^840270-1 is not prime. Res64: 5BDC1BCC1E9E2A64 Time : 3306.0 sec. user=vaughan [2010-07-07 08:26:47] 595*2^840273-1 is not prime. Res64: 84F68DDA8784D3D3 Time : 1466.0 sec. user=vaughan [2010-07-07 08:27:43] 527*2^840274-1 is not prime. Res64: B78CF3CEDADEB58A Time : 923.0 sec. user=vaughan [2010-07-07 08:28:57] 591*2^840273-1 is not prime. Res64: 8E0CD9E26574E7E5 Time : 1609.0 sec. user=vaughan [2010-07-07 08:29:42] 503*2^840274-1 is not prime. Res64: AF338D845DBBA75C Time : 1515.0 sec. user=vaughan [2010-07-07 08:34:54] 543*2^840270-1 is not prime. Res64: 0673E81E582E56C0 Time : 3842.0 sec. user=vaughan [2010-07-07 08:43:33] 545*2^840278-1 is not prime. Res64: D1B3B76B46161842 Time : 951.0 sec. user=vaughan [2010-07-07 08:47:02] 465*2^840276-1 is not prime. Res64: EB392E9ABF78CB36 Time : 1577.0 sec. user=vaughan [2010-07-07 08:48:02] 483*2^840276-1 is not prime. Res64: 0FB30D627C8A1D4C Time : 1468.0 sec. user=vaughan [2010-07-07 08:50:18] 563*2^840276-1 is not prime. Res64: 593F99475E628AF9 Time : 1518.0 sec. user=vaughan [2010-07-07 08:50:37] 473*2^840278-1 is not prime. Res64: DF74B5DD0E07F956 Time : 1431.0 sec. user=vaughan [2010-07-07 08:52:14] 517*2^840277-1 is not prime. Res64: 382613CE6993C697 Time : 1543.0 sec. user=vaughan [2010-07-07 08:57:42] 543*2^840279-1 is not prime. Res64: 0AD9838F62F8F79C Time : 1681.0 sec. user=vaughan [2010-07-07 08:58:29] 595*2^840279-1 is not prime. Res64: 5649C8F046B870E6 Time : 897.0 sec. user=vaughan [2010-07-07 09:01:44] 439*2^840279-1 is not prime. Res64: 03D708D86566D899 Time : 1967.0 sec. user=vaughan [2010-07-07 09:07:09] 421*2^840275-1 is not prime. Res64: 6153DA50C362F545 Time : 3097.0 sec. user=vaughan [2010-07-07 09:11:31] 479*2^840280-1 is not prime. Res64: 0CE73122280F3C7C Time : 1409.0 sec. user=vaughan [2010-07-07 09:14:15] 539*2^840280-1 is not prime. Res64: A591680D4FA20C17 Time : 1418.0 sec. user=vaughan [2010-07-07 09:15:09] 533*2^840280-1 is not prime. Res64: 949705E1780EA0B4 Time : 1492.0 sec. user=vaughan [2010-07-07 09:16:53] 405*2^840278-1 is not prime. Res64: 9A6E85D384F01936 Time : 3013.0 sec. user=vaughan [2010-07-07 09:17:26] 565*2^840273-1 is not prime. Res64: 15460FFF007A58EC Time : 4530.0 sec. user=vaughan [2010-07-07 09:18:33] 517*2^840281-1 is not prime. Res64: 1D95F8BF405860C6 Time : 1579.0 sec. user=vaughan [2010-07-07 09:35:28] 591*2^840281-1 is not prime. Res64: 061C34A3FFE7CCD9 Time : 2024.0 sec. user=vaughan [2010-07-07 09:40:40] 447*2^840282-1 is not prime. Res64: EB75139C9DB08101 Time : 1749.0 sec. user=vaughan [2010-07-07 09:45:14] 495*2^840283-1 is not prime. Res64: 37C178FCD6287F45 Time : 1601.0 sec. user=vaughan [2010-07-07 09:45:34] 495*2^840282-1 is not prime. Res64: F7E801E8A58ABAAC Time : 1826.0 sec. user=vaughan [2010-07-07 09:45:35] 485*2^840282-1 is not prime. Res64: 3B0281DCE3671E79 Time : 1881.0 sec. user=vaughan [2010-07-07 09:57:10] 425*2^840282-1 is not prime. Res64: 9E4BAD5B7FF0359F Time : 3001.0 sec. user=vaughan [2010-07-07 10:05:52] 503*2^840282-1 is not prime. Res64: 85123DFD01287C40 Time : 2939.0 sec. user=vaughan [2010-07-07 10:08:36] 511*2^840283-1 is not prime. Res64: B96FC1F847D1FF53 Time : 1988.0 sec. user=vaughan [2010-07-07 10:09:47] 587*2^840282-1 is not prime. Res64: 8A341BAF0F4548BD Time : 3142.0 sec. user=vaughan [2010-07-07 10:10:01] 523*2^840283-1 is not prime. Res64: 3D9563AEADE3EBAB Time : 1761.0 sec. user=vaughan [2010-07-07 10:11:09] 595*2^840283-1 is not prime. Res64: DBC1F658E88323FE Time : 1535.0 sec. user=vaughan [2010-07-07 10:12:20] 555*2^840283-1 is not prime. Res64: 44E85B78C10E62C0 Time : 1627.0 sec. user=vaughan [2010-07-07 10:16:57] 437*2^840280-1 is not prime. Res64: 9426324CE81550AE Time : 5396.0 sec. user=vaughan [2010-07-07 10:20:20] 579*2^840281-1 is not prime. Res64: 6B8FCC24DAF17040 Time : 4912.0 sec. user=vaughan [2010-07-07 10:21:21] 417*2^840284-1 is not prime. Res64: 9A722C2D49CF4155 Time : 2146.0 sec. user=vaughan [2010-07-07 10:23:45] 547*2^840281-1 is not prime. Res64: 503AE758D8FD4F85 Time : 5164.0 sec. user=vaughan [2010-07-07 10:34:40] 477*2^840286-1 is not prime. Res64: 996EC337C9D61BDA Time : 1411.0 sec. user=vaughan [2010-07-07 10:35:31] 511*2^840285-1 is not prime. Res64: E27A935F4B54A31E Time : 1544.0 sec. user=vaughan [2010-07-07 10:37:40] 483*2^840286-1 is not prime. Res64: 35011077159B4D0D Time : 1521.0 sec. user=vaughan [2010-07-07 10:38:30] 443*2^840286-1 is not prime. Res64: E1394D57C45BE4C6 Time : 1710.0 sec. user=vaughan [2010-07-07 10:40:47] 459*2^840285-1 is not prime. Res64: 3BE2A05A53BFAB39 Time : 1932.0 sec. user=vaughan [2010-07-07 10:45:42] 519*2^840284-1 is not prime. Res64: A2AC8B4AF073568E Time : 2913.0 sec. user=vaughan [2010-07-07 10:54:27] 405*2^840285-1 is not prime. Res64: 6062D5877C91545D Time : 2915.0 sec. user=vaughan [2010-07-07 10:55:59] 573*2^840286-1 is not prime. Res64: 07D386505A1821A5 Time : 1279.0 sec. user=vaughan [2010-07-07 10:56:01] 561*2^840286-1 is not prime. Res64: FF7B1DD34BFDB066 Time : 2081.0 sec. user=vaughan [2010-07-07 10:56:43] 581*2^840286-1 is not prime. Res64: 6CC1022EA4F91103 Time : 1144.0 sec. user=vaughan [2010-07-07 10:58:49] 503*2^840270-1 is not prime. Res64: 5E64085961AF92F8 Time : 12608.0 sec. user=vaughan [2010-07-07 10:59:23] 587*2^840286-1 is not prime. Res64: A093E73BA52CCC52 Time : 1253.0 sec. user=vaughan [2010-07-07 11:08:24] 575*2^840286-1 is not prime. Res64: 3EC445EA50DA21D0 Time : 1973.0 sec. user=vaughan [2010-07-07 11:10:16] 565*2^840279-1 is not prime. Res64: 7541B2371750A850 Time : 9323.0 sec. user=vaughan [2010-07-07 11:10:47] 433*2^840287-1 is not prime. Res64: 4867C3552E35B279 Time : 1801.0 sec. user=vaughan [2010-07-07 11:19:08] 503*2^840288-1 is not prime. Res64: 79FDD1ECA618C1B0 Time : 1389.0 sec. user=vaughan [2010-07-07 11:24:59] 471*2^840289-1 is not prime. Res64: B6FAF514673622C7 Time : 1697.0 sec. user=vaughan [2010-07-07 11:27:16] 417*2^840290-1 is not prime. Res64: F82E693D4A67CBB0 Time : 1674.0 sec. user=vaughan [2010-07-07 11:31:00] 555*2^840288-1 is not prime. Res64: B2CB098A3215866E Time : 2099.0 sec. user=vaughan [2010-07-07 11:31:50] 521*2^840290-1 is not prime. Res64: 3CEEF946778B5833 Time : 1294.0 sec. user=vaughan [2010-07-07 11:33:57] 549*2^840287-1 is not prime. Res64: 3B28E01C73F0B1E3 Time : 2895.0 sec. user=vaughan [2010-07-07 11:37:48] 477*2^840289-1 is not prime. Res64: 2FE2618C33FD9479 Time : 2340.0 sec. user=vaughan [2010-07-07 11:38:08] 439*2^840291-1 is not prime. Res64: C8FFEC3038609512 Time : 1141.0 sec. user=vaughan [2010-07-07 11:41:13] 409*2^840291-1 is not prime. Res64: 27EAA52C4BA872C8 Time : 1826.0 sec. user=vaughan [2010-07-07 11:44:36] 405*2^840288-1 is not prime. Res64: 5D3084737BCF2A09 Time : 3010.0 sec. user=vaughan [2010-07-07 11:51:10] 453*2^840291-1 is not prime. Res64: 4087291FCEFAC93C Time : 1571.0 sec. user=vaughan [2010-07-07 11:55:39] 531*2^840291-1 is not prime. Res64: E27F504F6AD456B7 Time : 1704.0 sec. user=vaughan [2010-07-07 11:57:26] 539*2^840292-1 is not prime. Res64: 32D2190B21388A31 Time : 1537.0 sec. user=vaughan [2010-07-07 11:58:25] 525*2^840293-1 is not prime. Res64: E6E28C97ED40DF1D Time : 1217.0 sec. user=vaughan [2010-07-07 12:07:06] 483*2^840292-1 is not prime. Res64: D841351DEFADBBA0 Time : 2166.0 sec. user=vaughan [2010-07-07 12:11:03] 511*2^840293-1 is not prime. Res64: 8B83DF26C24A9CB0 Time : 1995.0 sec. user=vaughan [2010-07-07 12:11:04] 529*2^840293-1 is not prime. Res64: 33184A0D09901A09 Time : 1791.0 sec. user=vaughan [2010-07-07 12:17:32] 483*2^840294-1 is not prime. Res64: B66B626A2E4394ED Time : 1582.0 sec. user=vaughan [2010-07-07 12:21:14] 567*2^840294-1 is not prime. Res64: 5B9F2CB21ABFF0C1 Time : 1369.0 sec. user=vaughan [2010-07-07 12:22:04] 437*2^840290-1 is not prime. Res64: 3B5A3B58516EE66F Time : 4420.0 sec. user=vaughan [2010-07-07 12:23:44] 549*2^840292-1 is not prime. Res64: 4A27BA6647475940 Time : 2987.0 sec. user=vaughan [2010-07-07 12:25:00] 485*2^840294-1 is not prime. Res64: CF48EAEA200CAE2B Time : 1762.0 sec. user=vaughan [2010-07-07 12:26:48] 507*2^840294-1 is not prime. Res64: 727DE2DB0E3814DF Time : 1763.0 sec. user=vaughan [2010-07-07 12:33:52] 447*2^840294-1 is not prime. Res64: DF78FB36D1249B08 Time : 2956.0 sec. user=vaughan [2010-07-07 12:38:31] 429*2^840295-1 is not prime. Res64: 47258C397F75DC80 Time : 1259.0 sec. user=vaughan [2010-07-07 12:39:48] 421*2^840295-1 is not prime. Res64: 07082922E14B6381 Time : 1724.0 sec. user=vaughan [2010-07-07 12:41:14] 587*2^840294-1 is not prime. Res64: 53F65093F4AE2DB5 Time : 2048.0 sec. user=vaughan [2010-07-07 12:42:48] 535*2^840295-1 is not prime. Res64: 1D915055061EE298 Time : 1295.0 sec. user=vaughan [2010-07-07 12:43:40] 411*2^840295-1 is not prime. Res64: 10E6A732E5598605 Time : 1957.0 sec. user=vaughan [2010-07-07 12:55:09] 425*2^840296-1 is not prime. Res64: 0CB4EC241C3C00B1 Time : 1701.0 sec. user=vaughan [2010-07-07 12:57:57] 459*2^840296-1 is not prime. Res64: 4DE599A7483F98A8 Time : 1166.0 sec. user=vaughan [2010-07-07 13:02:34] 441*2^840297-1 is not prime. Res64: E5450913107C5991 Time : 1186.0 sec. user=vaughan [2010-07-07 13:08:06] 595*2^840295-1 is not prime. Res64: 9FA802C4804D280F Time : 2587.0 sec. user=vaughan [2010-07-07 13:09:28] 519*2^840296-1 is not prime. Res64: 5FD6EF52ADAD2421 Time : 1780.0 sec. user=vaughan [2010-07-07 13:12:23] 525*2^840296-1 is not prime. Res64: E4B788ED72F251A8 Time : 1869.0 sec. user=vaughan [2010-07-07 13:13:16] 589*2^840295-1 is not prime. Res64: 032341631B6F18A3 Time : 2973.0 sec. user=vaughan [2010-07-07 13:18:32] 579*2^840295-1 is not prime. Res64: B9B8264C1AC67E49 Time : 3388.0 sec. user=vaughan [2010-07-07 13:19:02] 549*2^840297-1 is not prime. Res64: AEECA8242C7D3D86 Time : 1265.0 sec. user=vaughan [2010-07-07 13:21:12] 517*2^840297-1 is not prime. Res64: 41840C02136C910B Time : 2253.0 sec. user=vaughan [2010-07-07 13:21:30] 447*2^840296-1 is not prime. Res64: 7CD00C43C5B0C070 Time : 2858.0 sec. user=vaughan [2010-07-07 13:22:22] 545*2^840298-1 is not prime. Res64: F191BDE763CF7265 Time : 1188.0 sec. user=vaughan [2010-07-07 13:32:56] 531*2^840297-1 is not prime. Res64: 28E423DB35C0708A Time : 2268.0 sec. user=vaughan [2010-07-07 13:34:21] 581*2^840298-1 is not prime. Res64: 49ACCC01149BCF9F Time : 1576.0 sec. user=vaughan [2010-07-07 13:36:43] 513*2^840300-1 is not prime. Res64: 8865A0028CCA4DB1 Time : 1062.0 sec. user=vaughan [2010-07-07 13:38:28] 423*2^840300-1 is not prime. Res64: 03916EB33C9FAD0A Time : 1196.0 sec. user=vaughan [2010-07-07 13:39:11] 597*2^840298-1 is not prime. Res64: B8EE699EAC8FE9EA Time : 1783.0 sec. user=vaughan [2010-07-07 13:40:01] 567*2^840300-1 is not prime. Res64: DE5A3ADE880C6240 Time : 1059.0 sec. user=vaughan [2010-07-07 13:43:15] 553*2^840299-1 is not prime. Res64: DCFF0342A97E5B88 Time : 1853.0 sec. user=vaughan [2010-07-07 13:51:48] 411*2^840301-1 is not prime. Res64: 0D9483A807B380A9 Time : 1047.0 sec. user=vaughan [2010-07-07 13:53:21] 495*2^840301-1 is not prime. Res64: 9D501C884992EC6E Time : 998.0 sec. user=vaughan [2010-07-07 13:56:07] 511*2^840301-1 is not prime. Res64: 4132ACB96D3F3765 Time : 1059.0 sec. user=vaughan [2010-07-07 13:57:40] 525*2^840301-1 is not prime. Res64: 68C3EDAB647F5D76 Time : 1059.0 sec. user=vaughan [2010-07-07 14:00:49] 413*2^840300-1 is not prime. Res64: 7D3B349039B0994D Time : 2853.0 sec. user=vaughan [2010-07-07 14:03:22] 525*2^840300-1 is not prime. Res64: E2C8F7767C3F7170 Time : 2531.0 sec. user=vaughan [2010-07-07 14:08:39] 517*2^840301-1 is not prime. Res64: D63ED7AAE9E3FA5D Time : 1769.0 sec. user=vaughan [2010-07-07 14:08:49] 537*2^840300-1 is not prime. Res64: 86CA08926E3E5761 Time : 2840.0 sec. user=vaughan [2010-07-07 14:09:56] 597*2^840301-1 is not prime. Res64: 09EA8D541B2857CA Time : 996.0 sec. user=vaughan [2010-07-07 14:09:57] 561*2^840301-1 is not prime. Res64: 72925379C4DFA362 Time : 1090.0 sec. user=vaughan [2010-07-07 14:12:45] 455*2^840302-1 is not prime. Res64: AAA03B0A6C5657EC Time : 998.0 sec. user=vaughan [2010-07-07 14:14:36] 593*2^840302-1 is not prime. Res64: B347062ABD82254F Time : 1016.0 sec. user=vaughan [2010-07-07 14:14:37] 537*2^840301-1 is not prime. Res64: 4F4DDD94ED8AAE7F Time : 1882.0 sec. user=vaughan [2010-07-07 14:24:51] 405*2^840301-1 is not prime. Res64: 8F44906D16B0F767 Time : 3115.0 sec. user=vaughan [2010-07-07 14:26:24] 525*2^840304-1 is not prime. Res64: 5763892908CBE071 Time : 988.0 sec. user=vaughan [2010-07-07 14:28:29] 533*2^840304-1 is not prime. Res64: 3980D0CD3A9B3240 Time : 1112.0 sec. user=vaughan [2010-07-07 14:29:23] 549*2^840304-1 is not prime. Res64: CA45A31BD3C2B526 Time : 998.0 sec. user=vaughan [2010-07-07 14:31:38] 441*2^840305-1 is not prime. Res64: 356A337CF8A5B6B5 Time : 1023.0 sec. user=vaughan [2010-07-07 14:38:21] 419*2^840304-1 is not prime. Res64: 667CF9DE64749216 Time : 1783.0 sec. user=vaughan [2010-07-07 14:41:18] 553*2^840303-1 is not prime. Res64: 457779BE4A6CE6BF Time : 2276.0 sec. user=vaughan [2010-07-07 14:42:56] 577*2^840305-1 is not prime. Res64: A601ACE1EFAA3C92 Time : 992.0 sec. user=vaughan [2010-07-07 14:45:41] 445*2^840305-1 is not prime. Res64: ADFC8D8C3045783F Time : 1864.0 sec. user=vaughan [2010-07-07 14:46:12] 595*2^840305-1 is not prime. Res64: 9A83C4CE812F3F18 Time : 1063.0 sec. user=vaughan [2010-07-07 14:46:29] 465*2^840306-1 is not prime. Res64: 58AD795521087E74 Time : 1026.0 sec. user=vaughan [2010-07-07 14:48:53] 459*2^840303-1 is not prime. Res64: CA63B4678F712692 Time : 2884.0 sec. user=vaughan [2010-07-07 14:48:54] 507*2^840306-1 is not prime. Res64: 66CDBF5606D49159 Time : 1036.0 sec. user=vaughan [2010-07-07 14:56:37] 479*2^840304-1 is not prime. Res64: C481D28ED5D61862 Time : 2868.0 sec. user=vaughan [2010-07-07 14:59:19] 511*2^840307-1 is not prime. Res64: 463F8E49618D54E1 Time : 983.0 sec. user=vaughan [2010-07-07 15:03:19] 579*2^840307-1 is not prime. Res64: BD0090CFD5BE10D2 Time : 1027.0 sec. user=vaughan [2010-07-07 15:03:50] 437*2^840308-1 is not prime. Res64: 243ED4FA90D20B8D Time : 1041.0 sec. user=vaughan [2010-07-07 15:06:19] 515*2^840308-1 is not prime. Res64: AC4A720EF33B3A73 Time : 1045.0 sec. user=vaughan [2010-07-07 15:08:03] 531*2^840306-1 is not prime. Res64: 8F368F577A08C74F Time : 1783.0 sec. user=vaughan [2010-07-07 15:15:49] 427*2^840309-1 is not prime. Res64: 256C6AD396142B97 Time : 990.0 sec. user=vaughan [2010-07-07 15:16:41] 523*2^840307-1 is not prime. Res64: 131F70FF50F647ED Time : 1860.0 sec. user=vaughan [2010-07-07 15:16:46] 507*2^840305-1 is not prime. Res64: 8AFB348072E1D183 Time : 3115.0 sec. user=vaughan [2010-07-07 15:20:32] 565*2^840309-1 is not prime. Res64: A4B78993540C54BD Time : 1033.0 sec. user=vaughan [2010-07-07 15:21:04] 505*2^840307-1 is not prime. Res64: 090F101F60BA7507 Time : 2387.0 sec. user=vaughan [2010-07-07 15:21:20] 571*2^840309-1 is not prime. Res64: 535DF547CE5F6271 Time : 1050.0 sec. user=vaughan [2010-07-07 15:23:44] 443*2^840310-1 is not prime. Res64: 9756E2D4C10C0371 Time : 1045.0 sec. user=vaughan [2010-07-07 15:32:15] 465*2^840310-1 is not prime. Res64: 1D735344F994082A Time : 986.0 sec. user=vaughan [2010-07-07 15:36:22] 503*2^840308-1 is not prime. Res64: 3C68EF30940AB06F Time : 2850.0 sec. user=vaughan [2010-07-07 15:37:41] 561*2^840310-1 is not prime. Res64: E38325364BA0B167 Time : 1030.0 sec. user=vaughan [2010-07-07 15:37:42] 447*2^840310-1 is not prime. Res64: 8B19F683AF0002A1 Time : 1780.0 sec. user=vaughan [2010-07-07 15:38:39] 597*2^840310-1 is not prime. Res64: 976FAD0FDF972D8E Time : 1040.0 sec. user=vaughan [2010-07-07 15:41:05] 445*2^840311-1 is not prime. Res64: 976E1C9E159A7088 Time : 1041.0 sec. user=vaughan [2010-07-07 15:45:36] 537*2^840308-1 is not prime. Res64: 47113D041DA05911 Time : 2939.0 sec. user=vaughan [2010-07-07 15:45:38] 575*2^840310-1 is not prime. Res64: B773DEF8BE941DEC Time : 1474.0 sec. user=vaughan [2010-07-07 15:47:46] 471*2^840310-1 is not prime. Res64: D6A83AC7AECBBB04 Time : 1865.0 sec. user=vaughan [2010-07-07 15:48:44] 525*2^840311-1 is not prime. Res64: 67CF34DC5251F0BE Time : 989.0 sec. user=vaughan [2010-07-07 15:52:05] 483*2^840310-1 is not prime. Res64: 9A98E734FACBEF25 Time : 2119.0 sec. user=vaughan [2010-07-07 15:54:56] 585*2^840311-1 is not prime. Res64: CEB3954453A75985 Time : 1035.0 sec. user=vaughan [2010-07-07 15:56:12] 479*2^840312-1 is not prime. Res64: 7B56988C6B10B3D7 Time : 1054.0 sec. user=vaughan [2010-07-07 15:58:36] 549*2^840312-1 is not prime. Res64: 199D552F3E0EFB89 Time : 1051.0 sec. user=vaughan [2010-07-07 16:05:15] 525*2^840313-1 is not prime. Res64: 6B9615F0F9AFF359 Time : 991.0 sec. user=vaughan [2010-07-07 16:07:20] 447*2^840312-1 is not prime. Res64: 6583D352F012229A Time : 1778.0 sec. user=vaughan [2010-07-07 16:12:01] 501*2^840314-1 is not prime. Res64: 6918A54990EC066E Time : 1025.0 sec. user=vaughan [2010-07-07 16:13:24] 525*2^840314-1 is not prime. Res64: C0D7CFA457A95309 Time : 1033.0 sec. user=vaughan [2010-07-07 16:13:36] 411*2^840313-1 is not prime. Res64: EE6A0DD5C5A19198 Time : 1679.0 sec. user=vaughan [2010-07-07 16:15:50] 561*2^840314-1 is not prime. Res64: 1A35140D28DD1730 Time : 1034.0 sec. user=vaughan [2010-07-07 16:18:51] 435*2^840313-1 is not prime. Res64: 7D1000232228BB9F Time : 1865.0 sec. user=vaughan [2010-07-07 16:20:40] 589*2^840313-1 is not prime. Res64: DF1D2D03477D0814 Time : 1716.0 sec. user=vaughan [2010-07-07 16:21:37] 573*2^840314-1 is not prime. Res64: 38B4F91DA3826B4D Time : 982.0 sec. user=vaughan [2010-07-07 16:23:28] 549*2^840311-1 is not prime. Res64: 46758940EA5663AD Time : 2826.0 sec. user=vaughan [2010-07-07 16:29:07] 441*2^840315-1 is not prime. Res64: 9919B70B205C4F17 Time : 1027.0 sec. user=vaughan [2010-07-07 16:30:52] 471*2^840315-1 is not prime. Res64: 13A3F5FF6033553C Time : 1048.0 sec. user=vaughan [2010-07-07 16:33:05] 569*2^840312-1 is not prime. Res64: 53C59EF2D3073F65 Time : 2849.0 sec. user=vaughan [2010-07-07 16:33:21] 579*2^840315-1 is not prime. Res64: BF94E05974D6B86C Time : 1052.0 sec. user=vaughan [2010-07-07 16:37:58] 539*2^840316-1 is not prime. Res64: 30F96D13A90258DA Time : 981.0 sec. user=vaughan [2010-07-07 16:39:18] 593*2^840314-1 is not prime. Res64: 36E99032BCC8FC5F Time : 1918.0 sec. user=vaughan [2010-07-07 16:45:54] 569*2^840316-1 is not prime. Res64: E0E0D33ECF806E8B Time : 1007.0 sec. user=vaughan [2010-07-07 16:47:31] 579*2^840316-1 is not prime. Res64: B00654E457DE0679 Time : 999.0 sec. user=vaughan [2010-07-07 16:49:52] 435*2^840317-1 is not prime. Res64: 24F19F0D6467BA52 Time : 991.0 sec. user=vaughan [2010-07-07 16:49:59] 591*2^840315-1 is not prime. Res64: D00EEBC5F568C330 Time : 1868.0 sec. user=vaughan [2010-07-07 16:54:04] 439*2^840317-1 is not prime. Res64: AB7FF1D012A1533B Time : 966.0 sec. user=vaughan [2010-07-07 16:59:40] 447*2^840316-1 is not prime. Res64: C6B4DF67A4C515AC Time : 2341.0 sec. user=vaughan [2010-07-07 17:00:03] 501*2^840315-1 is not prime. Res64: F72FCD66602C8FF2 Time : 2787.0 sec. user=vaughan [2010-07-07 17:02:28] 451*2^840317-1 is not prime. Res64: EE2AFBB940E2CB93 Time : 995.0 sec. user=vaughan [2010-07-07 17:03:53] 517*2^840317-1 is not prime. Res64: BE2EED95CA3B720C Time : 982.0 sec. user=vaughan [2010-07-07 17:06:14] 589*2^840317-1 is not prime. Res64: 70921B39C11B8A9A Time : 983.0 sec. user=vaughan [2010-07-07 17:08:42] 441*2^840317-1 is not prime. Res64: 9E78D7DFCF5344FF Time : 1764.0 sec. user=vaughan [2010-07-07 17:10:11] 465*2^840318-1 is not prime. Res64: EEE8689B72CDD943 Time : 967.0 sec. user=vaughan [2010-07-07 17:10:55] 567*2^840316-1 is not prime. Res64: 5915EA6725B26DBB Time : 2847.0 sec. user=vaughan [2010-07-07 17:19:02] 573*2^840318-1 is not prime. Res64: 30DA27984CEC3440 Time : 995.0 sec. user=vaughan [2010-07-07 17:20:14] 415*2^840319-1 is not prime. Res64: 0AFFC1F5311A28C8 Time : 981.0 sec. user=vaughan [2010-07-07 17:20:53] 587*2^840316-1 is not prime. Res64: A599987924E722E0 Time : 2868.0 sec. user=vaughan [2010-07-07 17:20:57] 417*2^840318-1 is not prime. Res64: F9AA498FE8B4BA6A Time : 1858.0 sec. user=vaughan [2010-07-07 17:22:36] 421*2^840319-1 is not prime. Res64: 97F069B554EBBDA4 Time : 983.0 sec. user=vaughan [2010-07-07 17:26:17] 483*2^840319-1 is not prime. Res64: 4A57B5CDB939581C Time : 966.0 sec. user=vaughan [2010-07-07 17:35:36] 553*2^840319-1 is not prime. Res64: B0D036073293582A Time : 994.0 sec. user=vaughan [2010-07-07 17:36:36] 413*2^840320-1 is not prime. Res64: 8971C948CCDBE648 Time : 982.0 sec. user=vaughan [2010-07-07 17:38:25] 429*2^840319-1 is not prime. Res64: CB1AD65D6F6D5AA5 Time : 1784.0 sec. user=vaughan [2010-07-07 17:38:58] 479*2^840320-1 is not prime. Res64: 7F73D5EE83FB9D0D Time : 983.0 sec. user=vaughan [2010-07-07 17:41:37] 471*2^840318-1 is not prime. Res64: 2A239194A5A6AD13 Time : 2517.0 sec. user=vaughan [2010-07-07 17:42:24] 543*2^840320-1 is not prime. Res64: A70976419A8CAE1C Time : 967.0 sec. user=vaughan [2010-07-07 17:52:04] 423*2^840320-1 is not prime. Res64: 79E20BCF292F659B Time : 1867.0 sec. user=vaughan [2010-07-07 17:52:35] 477*2^840322-1 is not prime. Res64: 3A44A5287C5BE2BF Time : 1019.0 sec. user=vaughan [2010-07-07 17:53:07] 505*2^840323-1 is not prime. Res64: 4AC100519B1766A4 Time : 991.0 sec. user=vaughan [2010-07-07 17:55:34] 483*2^840324-1 is not prime. Res64: E3E1DF94E675145D Time : 996.0 sec. user=vaughan [2010-07-07 17:58:24] 531*2^840319-1 is not prime. Res64: B501C53999D62B25 Time : 2849.0 sec. user=vaughan [2010-07-07 17:58:35] 503*2^840324-1 is not prime. Res64: 2EF2FC0C651E148C Time : 972.0 sec. user=vaughan [2010-07-07 17:59:46] 563*2^840318-1 is not prime. Res64: 1F6E72CA45DBE2F5 Time : 3584.0 sec. user=vaughan [2010-07-07 18:08:03] 459*2^840324-1 is not prime. Res64: E6A5D29F347C0EB0 Time : 1778.0 sec. user=vaughan [2010-07-07 18:08:27] 417*2^840320-1 is not prime. Res64: B4F69D168F77610C Time : 2854.0 sec. user=vaughan [2010-07-07 18:09:22] 411*2^840325-1 is not prime. Res64: 7933D21D64DC6FFB Time : 1008.0 sec. user=vaughan [2010-07-07 18:09:39] 441*2^840325-1 is not prime. Res64: D8EB1114E6F8CD09 Time : 993.0 sec. user=vaughan [2010-07-07 18:12:07] 447*2^840325-1 is not prime. Res64: 2320CE2FB1433EB6 Time : 993.0 sec. user=vaughan [2010-07-07 18:14:43] 531*2^840325-1 is not prime. Res64: BB3D428A0ECD9CC0 Time : 969.0 sec. user=vaughan [2010-07-07 18:23:22] 557*2^840324-1 is not prime. Res64: 850E1CEA5869023C Time : 1878.0 sec. user=vaughan [2010-07-07 18:26:04] 483*2^840326-1 is not prime. Res64: 81DEE1862FC2665D Time : 986.0 sec. user=vaughan [2010-07-07 18:26:06] 477*2^840326-1 is not prime. Res64: DD7B4CA15CE8EB5C Time : 1004.0 sec. user=vaughan [2010-07-07 18:26:31] 497*2^840324-1 is not prime. Res64: EA1D744F4830DC37 Time : 2694.0 sec. user=vaughan [2010-07-07 18:28:32] 501*2^840326-1 is not prime. Res64: F5090FB6DA9DCF97 Time : 985.0 sec. user=vaughan [2010-07-07 18:30:49] 503*2^840326-1 is not prime. Res64: 3FAC1001936DD880 Time : 966.0 sec. user=vaughan [2010-07-07 18:38:39] 589*2^840325-1 is not prime. Res64: 70D9959C61BE54F5 Time : 1837.0 sec. user=vaughan [2010-07-07 18:42:26] 563*2^840326-1 is not prime. Res64: 4BDD4C76F2F02BBC Time : 982.0 sec. user=vaughan [2010-07-07 18:42:41] 573*2^840326-1 is not prime. Res64: 0C23523AF43B0E12 Time : 995.0 sec. user=vaughan [2010-07-07 18:44:54] 593*2^840326-1 is not prime. Res64: 46FFB12EE57FF8FB Time : 982.0 sec. user=vaughan [2010-07-07 18:46:55] 433*2^840327-1 is not prime. Res64: 0E29E790B1745614 Time : 966.0 sec. user=vaughan [2010-07-07 18:47:44] 499*2^840325-1 is not prime. Res64: 14106F28CBC48D32 Time : 2960.0 sec. user=vaughan [2010-07-07 18:50:53] 557*2^840326-1 is not prime. Res64: 1654C54608379162 Time : 1651.0 sec. user=vaughan [2010-07-07 18:55:31] 447*2^840326-1 is not prime. Res64: 178804A263FBAA4B Time : 2824.0 sec. user=vaughan [2010-07-07 18:56:41] 565*2^840325-1 is not prime. Res64: 9B64FC9FF0624D5E Time : 3415.0 sec. user=vaughan [2010-07-07 18:58:47] 579*2^840327-1 is not prime. Res64: 4057D6A4DCF11A13 Time : 981.0 sec. user=vaughan [2010-07-07 18:59:15] 507*2^840328-1 is not prime. Res64: C0F32DED349BC03B Time : 994.0 sec. user=vaughan [2010-07-07 19:00:11] 591*2^840326-1 is not prime. Res64: 5E929BA8CF4B2270 Time : 2020.0 sec. user=vaughan [2010-07-07 19:01:16] 537*2^840328-1 is not prime. Res64: 8FD08EE2A7078C17 Time : 982.0 sec. user=vaughan [2010-07-07 19:03:02] 563*2^840328-1 is not prime. Res64: 1C6A719F8184BE85 Time : 967.0 sec. user=vaughan [2010-07-07 19:05:40] 441*2^840327-1 is not prime. Res64: D74B86045ABDE3D2 Time : 1621.0 sec. user=vaughan [2010-07-07 19:11:30] 441*2^840329-1 is not prime. Res64: 305FF4B8F274008E Time : 1238.0 sec. user=vaughan [2010-07-07 19:15:09] 503*2^840330-1 is not prime. Res64: 8E09A4B797B9C6DE Time : 982.0 sec. user=vaughan [2010-07-07 19:15:49] 563*2^840330-1 is not prime. Res64: 0197199F800A1D47 Time : 994.0 sec. user=vaughan [2010-07-07 19:17:39] 495*2^840331-1 is not prime. Res64: 9CAFB6CA3A0BC105 Time : 983.0 sec. user=vaughan [2010-07-07 19:19:08] 531*2^840331-1 is not prime. Res64: 71FC5409D938A2B6 Time : 966.0 sec. user=vaughan [2010-07-07 19:21:29] 469*2^840331-1 is not prime. Res64: F42ADC6C2AD1684E Time : 1279.0 sec. user=vaughan [2010-07-07 19:31:30] 593*2^840332-1 is not prime. Res64: 2EE276DFF2AD5992 Time : 981.0 sec. user=vaughan [2010-07-07 19:32:11] 519*2^840332-1 is not prime. Res64: 5922DBE87FE0FEB1 Time : 1241.0 sec. user=vaughan [2010-07-07 19:32:20] 595*2^840331-1 is not prime. Res64: FA0B8A3197A862CA Time : 1601.0 sec. user=vaughan [2010-07-07 19:32:22] 405*2^840333-1 is not prime. Res64: A9FC393B992B5AAD Time : 993.0 sec. user=vaughan [2010-07-07 19:33:05] 569*2^840328-1 is not prime. Res64: 5651CD82212DB287 Time : 2722.0 sec. user=vaughan [2010-07-07 19:34:01] 499*2^840333-1 is not prime. Res64: 1D12EAC5576A4992 Time : 982.0 sec. user=vaughan [2010-07-07 19:35:17] 585*2^840333-1 is not prime. Res64: 3EE985F4B2BE61D1 Time : 970.0 sec. user=vaughan [2010-07-07 19:39:25] 501*2^840330-1 is not prime. Res64: B8041FB5853EC490 Time : 2565.0 sec. user=vaughan [2010-07-07 19:42:20] 591*2^840333-1 is not prime. Res64: 6179018A421D623D Time : 1251.0 sec. user=vaughan [2010-07-07 19:45:20] 471*2^840330-1 is not prime. Res64: 79A73888DC66ABEF Time : 2989.0 sec. user=vaughan [2010-07-07 19:47:52] 447*2^840334-1 is not prime. Res64: 689AB5562A38A0FD Time : 982.0 sec. user=vaughan [2010-07-07 19:48:56] 411*2^840335-1 is not prime. Res64: 416BB0F0E3D95CA3 Time : 994.0 sec. user=vaughan [2010-07-07 19:50:23] 531*2^840335-1 is not prime. Res64: AE976F12511AEB4D Time : 982.0 sec. user=vaughan [2010-07-07 19:51:22] 497*2^840336-1 is not prime. Res64: 1033B1520992E186 Time : 967.0 sec. user=vaughan [2010-07-07 19:52:47] 491*2^840334-1 is not prime. Res64: 90B6E75862F481B5 Time : 1236.0 sec. user=vaughan [2010-07-07 20:02:19] 551*2^840334-1 is not prime. Res64: 901BBB46EA9CDB2E Time : 1799.0 sec. user=vaughan [2010-07-07 20:03:14] 405*2^840337-1 is not prime. Res64: 054627246FC3AF6E Time : 1254.0 sec. user=vaughan [2010-07-07 20:04:13] 417*2^840338-1 is not prime. Res64: 89CA96ECFED0D83A Time : 981.0 sec. user=vaughan [2010-07-07 20:05:30] 501*2^840338-1 is not prime. Res64: 2B9D43B34E5DC65F Time : 994.0 sec. user=vaughan [2010-07-07 20:06:45] 471*2^840339-1 is not prime. Res64: D04C55748D2FD1F0 Time : 982.0 sec. user=vaughan [2010-07-07 20:07:28] 483*2^840339-1 is not prime. Res64: 2CC2CFF2D4CE605F Time : 966.0 sec. user=vaughan [2010-07-07 20:13:10] 449*2^840340-1 is not prime. Res64: 8A94C7418CD28C2D Time : 1224.0 sec. user=vaughan [2010-07-07 20:20:34] 413*2^840342-1 is not prime. Res64: 4E429AFD4E88640F Time : 981.0 sec. user=vaughan [2010-07-07 20:22:05] 417*2^840342-1 is not prime. Res64: B20286D5D4BEF4AD Time : 995.0 sec. user=vaughan [2010-07-07 20:22:27] 469*2^840335-1 is not prime. Res64: 296E52CE84C3A8C2 Time : 2962.0 sec. user=vaughan [2010-07-07 20:22:57] 587*2^840336-1 is not prime. Res64: AEB64E85A2DFEC54 Time : 2613.0 sec. user=vaughan [2010-07-07 20:23:07] 525*2^840342-1 is not prime. Res64: ADB77D0F61D91B3E Time : 982.0 sec. user=vaughan [2010-07-07 20:23:35] 551*2^840342-1 is not prime. Res64: C1E5915C8C88393C Time : 967.0 sec. user=vaughan [2010-07-07 20:24:21] 577*2^840341-1 is not prime. Res64: C59266A10CFBDB96 Time : 1268.0 sec. user=vaughan [2010-07-07 20:32:41] 465*2^840337-1 is not prime. Res64: F868322F60673125 Time : 2842.0 sec. user=vaughan [2010-07-07 20:32:44] 539*2^840340-1 is not prime. Res64: FFB52DD6A56132D2 Time : 1825.0 sec. user=vaughan [2010-07-07 20:33:40] 581*2^840342-1 is not prime. Res64: 7C6E01CDA93DA4A6 Time : 1230.0 sec. user=vaughan [2010-07-07 20:36:56] 451*2^840343-1 is not prime. Res64: 192232D1803B48D9 Time : 982.0 sec. user=vaughan [2010-07-07 20:38:39] 519*2^840343-1 is not prime. Res64: B2260811024522C4 Time : 995.0 sec. user=vaughan [2010-07-07 20:39:30] 509*2^840344-1 is not prime. Res64: C1A4DA872769036E Time : 984.0 sec. user=vaughan [2010-07-07 20:39:41] 543*2^840344-1 is not prime. Res64: E96075EC6C8A952B Time : 966.0 sec. user=vaughan [2010-07-07 20:45:02] 573*2^840344-1 is not prime. Res64: F6E19431FD2390D2 Time : 1241.0 sec. user=vaughan [2010-07-07 20:53:17] 495*2^840345-1 is not prime. Res64: E24783AFFB6E44E7 Time : 981.0 sec. user=vaughan [2010-07-07 20:54:10] 471*2^840345-1 is not prime. Res64: 8F8E410992D82F98 Time : 1230.0 sec. user=vaughan [2010-07-07 20:55:13] 525*2^840345-1 is not prime. Res64: 9891113F7A16F31B Time : 995.0 sec. user=vaughan [2010-07-07 20:55:46] 405*2^840346-1 is not prime. Res64: C7232ED1384A545B Time : 966.0 sec. user=vaughan [2010-07-07 20:55:52] 585*2^840345-1 is not prime. Res64: 735096E4C132470D Time : 982.0 sec. user=vaughan [2010-07-07 21:04:37] 409*2^840345-1 is not prime. Res64: 2A91793F358C9A84 Time : 1914.0 sec. user=vaughan [2010-07-07 21:09:39] 483*2^840346-1 is not prime. Res64: C0C821EF789F6A04 Time : 982.0 sec. user=vaughan [2010-07-07 21:10:09] 541*2^840343-1 is not prime. Res64: D3D36795C2CD8F44 Time : 2862.0 sec. user=vaughan [2010-07-07 21:11:18] 413*2^840344-1 is not prime. Res64: B09F6933D45407AE Time : 2902.0 sec. user=vaughan [2010-07-07 21:11:47] 433*2^840347-1 is not prime. Res64: 64992596372B51C0 Time : 994.0 sec. user=vaughan [2010-07-07 21:11:52] 475*2^840347-1 is not prime. Res64: B2DD002C0DE8230B Time : 966.0 sec. user=vaughan [2010-07-07 21:12:14] 585*2^840347-1 is not prime. Res64: EB2ED4A642C741EF Time : 982.0 sec. user=vaughan [2010-07-07 21:14:30] 561*2^840346-1 is not prime. Res64: ADC880ECFEC0195A Time : 1221.0 sec. user=vaughan [2010-07-07 21:15:14] 443*2^840346-1 is not prime. Res64: 6A8F4F4EA97132CD Time : 1812.0 sec. user=vaughan [2010-07-07 21:19:28] 587*2^840344-1 is not prime. Res64: E5797B2AA7DCF441 Time : 2807.0 sec. user=vaughan [2010-07-07 21:26:01] 405*2^840348-1 is not prime. Res64: 147931A8CB9EF33F Time : 982.0 sec. user=vaughan [2010-07-07 21:27:58] 527*2^840348-1 is not prime. Res64: DD54CCBA033F2445 Time : 966.0 sec. user=vaughan [2010-07-07 21:28:21] 507*2^840348-1 is not prime. Res64: 5AC429112E911A37 Time : 994.0 sec. user=vaughan [2010-07-07 21:28:35] 567*2^840348-1 is not prime. Res64: CFCA7D97AA7E4E17 Time : 981.0 sec. user=vaughan [2010-07-07 21:35:06] 589*2^840347-1 is not prime. Res64: BF2C45F55D32C3D0 Time : 1829.0 sec. user=vaughan [2010-07-07 21:35:23] 569*2^840348-1 is not prime. Res64: 34B106C8B852F8AF Time : 1253.0 sec. user=vaughan [2010-07-07 21:42:22] 511*2^840349-1 is not prime. Res64: 9354EB97C30B3350 Time : 982.0 sec. user=vaughan [2010-07-07 21:44:03] 411*2^840350-1 is not prime. Res64: CC8DFC7A7538921D Time : 966.0 sec. user=vaughan [2010-07-07 21:44:56] 545*2^840350-1 is not prime. Res64: 180660F285439AC1 Time : 995.0 sec. user=vaughan [2010-07-07 21:44:56] 433*2^840351-1 is not prime. Res64: E3BBD683DC93E87E Time : 981.0 sec. user=vaughan [2010-07-07 21:55:31] 453*2^840351-1 is not prime. Res64: 5EC280C3275C1BA4 Time : 1208.0 sec. user=vaughan [2010-07-07 21:57:59] 459*2^840348-1 is not prime. Res64: 2A21E27FCCB83D7E Time : 2870.0 sec. user=vaughan [2010-07-07 21:58:43] 489*2^840351-1 is not prime. Res64: B6FBE0BFA9D1D2E6 Time : 982.0 sec. user=vaughan [2010-07-07 22:00:12] 531*2^840351-1 is not prime. Res64: CC04E39F0500DF52 Time : 969.0 sec. user=vaughan [2010-07-07 22:01:18] 533*2^840352-1 is not prime. Res64: 144B4BAF7E49DBCF Time : 982.0 sec. user=vaughan [2010-07-07 22:01:30] 467*2^840352-1 is not prime. Res64: 662B460C7B8B9646 Time : 995.0 sec. user=vaughan [2010-07-07 22:05:18] 441*2^840351-1 is not prime. Res64: BEB0CAA1112F72C8 Time : 1812.0 sec. user=vaughan [2010-07-07 22:06:37] 495*2^840349-1 is not prime. Res64: F48049551FC7D8D5 Time : 2830.0 sec. user=vaughan [2010-07-07 22:15:10] 477*2^840353-1 is not prime. Res64: 16BE18650967D037 Time : 988.0 sec. user=vaughan [2010-07-07 22:15:34] 549*2^840352-1 is not prime. Res64: 24D5C1BA5649F032 Time : 1203.0 sec. user=vaughan [2010-07-07 22:16:20] 495*2^840353-1 is not prime. Res64: E52CEBDB1DB579BB Time : 968.0 sec. user=vaughan [2010-07-07 22:17:49] 591*2^840353-1 is not prime. Res64: 7036992E22216924 Time : 991.0 sec. user=vaughan [2010-07-07 22:18:22] 431*2^840354-1 is not prime. Res64: 50CBF9993AAF3C0D Time : 1012.0 sec. user=vaughan [2010-07-07 22:23:35] 489*2^840349-1 is not prime. Res64: 969709D2CFC8CF74 Time : 4102.0 sec. user=vaughan [2010-07-07 22:26:36] 485*2^840348-1 is not prime. Res64: 28C73C34EE36E503 Time : 4518.0 sec. user=vaughan [2010-07-07 22:31:44] 521*2^840354-1 is not prime. Res64: 44A32EC856BB8688 Time : 995.0 sec. user=vaughan [2010-07-07 22:32:32] 593*2^840354-1 is not prime. Res64: 8A3A4648D0725F96 Time : 972.0 sec. user=vaughan [2010-07-07 22:34:23] 405*2^840355-1 is not prime. Res64: F7DE7171C216F944 Time : 995.0 sec. user=vaughan [2010-07-07 22:35:12] 411*2^840355-1 is not prime. Res64: A315BFEB5FBD38C7 Time : 1010.0 sec. user=vaughan [2010-07-07 22:35:36] 567*2^840354-1 is not prime. Res64: 75AC9DEBAB6F3940 Time : 1202.0 sec. user=vaughan [2010-07-07 22:35:44] 503*2^840354-1 is not prime. Res64: 994806652920B887 Time : 1827.0 sec. user=vaughan [2010-07-07 22:44:02] 465*2^840353-1 is not prime. Res64: 945698F1D273D37B Time : 2763.0 sec. user=vaughan [2010-07-07 22:48:14] 405*2^840356-1 is not prime. Res64: BD42CDC5BF10C1E9 Time : 990.0 sec. user=vaughan [2010-07-07 22:48:41] 437*2^840356-1 is not prime. Res64: 6AB4FCA07DE1C8EA Time : 969.0 sec. user=vaughan [2010-07-07 22:49:28] 535*2^840355-1 is not prime. Res64: 0A4E4D38BFAC4388 Time : 1372.0 sec. user=vaughan [2010-07-07 22:50:54] 465*2^840356-1 is not prime. Res64: 9F2913104EA970E7 Time : 991.0 sec. user=vaughan [2010-07-07 22:52:05] 503*2^840356-1 is not prime. Res64: BF4654A5AA5F2550 Time : 1013.0 sec. user=vaughan [2010-07-07 22:53:37] 513*2^840354-1 is not prime. Res64: A8D78044E3D03B30 Time : 2821.0 sec. user=vaughan [2010-07-07 22:55:36] 563*2^840356-1 is not prime. Res64: 66CE36AB33BBDBB0 Time : 1200.0 sec. user=vaughan [2010-07-07 22:57:14] 429*2^840355-1 is not prime. Res64: 54B1E87305D47EA4 Time : 2020.0 sec. user=vaughan [2010-07-07 23:04:42] 577*2^840357-1 is not prime. Res64: FDE8EDBAB8E4BBDC Time : 988.0 sec. user=vaughan [2010-07-07 23:04:49] 401*2^840358-1 is not prime. Res64: F77B4D93B811AA11 Time : 968.0 sec. user=vaughan [2010-07-07 23:06:14] 579*2^840356-1 is not prime. Res64: E3EB057E5E906666 Time : 1831.0 sec. user=vaughan [2010-07-07 23:07:20] 435*2^840358-1 is not prime. Res64: 75C34F7B6C87C613 Time : 986.0 sec. user=vaughan [2010-07-07 23:08:51] 453*2^840358-1 is not prime. Res64: 844962D98308320E Time : 1007.0 sec. user=vaughan [2010-07-07 23:11:33] 413*2^840358-1 is not prime. Res64: 372799F0DA4059AA Time : 1325.0 sec. user=vaughan [2010-07-07 23:15:37] 525*2^840358-1 is not prime. Res64: 40B64A0E768104EB Time : 1202.0 sec. user=vaughan [2010-07-07 23:20:55] 595*2^840359-1 is not prime. Res64: F6A0185F2693E36D Time : 966.0 sec. user=vaughan [2010-07-07 23:21:03] 591*2^840358-1 is not prime. Res64: 4A2656DC996DCDA0 Time : 982.0 sec. user=vaughan [2010-07-07 23:23:42] 479*2^840360-1 is not prime. Res64: 10C6CD396D9FFC1E Time : 982.0 sec. user=vaughan [2010-07-07 23:25:25] 525*2^840360-1 is not prime. Res64: 2FE2BB10A6DFD678 Time : 994.0 sec. user=vaughan [2010-07-07 23:30:59] 573*2^840358-1 is not prime. Res64: F9CBFB513F2A6DF7 Time : 2025.0 sec. user=vaughan [2010-07-07 23:31:16] 451*2^840357-1 is not prime. Res64: 7DD1D7B408778DF0 Time : 2834.0 sec. user=vaughan [2010-07-07 23:34:22] 427*2^840361-1 is not prime. Res64: C218D1F5EFFA42AF Time : 1369.0 sec. user=vaughan [2010-07-07 23:35:31] 495*2^840361-1 is not prime. Res64: 6D4C9E670BF1BD45 Time : 1194.0 sec. user=vaughan [2010-07-07 23:36:41] 405*2^840360-1 is not prime. Res64: 33F862AE85DCF38D Time : 1827.0 sec. user=vaughan [2010-07-07 23:37:01] 505*2^840361-1 is not prime. Res64: 025828184D6B0488 Time : 966.0 sec. user=vaughan [2010-07-07 23:37:24] 591*2^840361-1 is not prime. Res64: 7560F28364F7193E Time : 981.0 sec. user=vaughan [2010-07-07 23:40:04] 405*2^840362-1 is not prime. Res64: 3CA9EB8D6D76D268 Time : 982.0 sec. user=vaughan [2010-07-07 23:40:18] 483*2^840358-1 is not prime. Res64: 9C9874A831457835 Time : 2801.0 sec. user=vaughan [2010-07-07 23:41:59] 425*2^840362-1 is not prime. Res64: 2F96AD5F2EBF4CB7 Time : 994.0 sec. user=vaughan [2010-07-07 23:53:06] 481*2^840363-1 is not prime. Res64: 2A6C8A1221763BAB Time : 966.0 sec. user=vaughan [2010-07-07 23:53:46] 543*2^840363-1 is not prime. Res64: 8620C8F256ADD0F1 Time : 982.0 sec. user=vaughan [2010-07-07 23:55:25] 415*2^840363-1 is not prime. Res64: F037F8AFB8D71D52 Time : 1194.0 sec. user=vaughan [2010-07-07 23:56:26] 555*2^840363-1 is not prime. Res64: FC3DD75978615328 Time : 982.0 sec. user=vaughan [2010-07-07 23:56:57] 409*2^840363-1 is not prime. Res64: D6ADCD3DB6389979 Time : 1355.0 sec. user=vaughan [2010-07-07 23:58:33] 437*2^840364-1 is not prime. Res64: AC8CBD6E7DC3D988 Time : 994.0 sec.