user=vaughan [2009-07-28 00:01:51] 493*2^704775-1 is not prime. Res64: 84DF74A2910CF8D2 Time : 457.0 sec. user=vaughan [2009-07-28 00:04:50] 511*2^704775-1 is not prime. Res64: 41907E0E7A5D97F1 Time : 455.0 sec. user=vaughan [2009-07-28 00:09:33] 513*2^704775-1 is not prime. Res64: 2D9A8E6BC3E650B9 Time : 462.0 sec. user=vaughan [2009-07-28 00:12:25] 535*2^704775-1 is not prime. Res64: 93EFB73FC292F50D Time : 455.0 sec. user=vaughan [2009-07-28 00:14:13] 585*2^704774-1 is not prime. Res64: 31C6DC81E92CD8BF Time : 1656.0 sec. user=vaughan [2009-07-28 00:17:11] 541*2^704775-1 is not prime. Res64: 00133054DDDB1733 Time : 458.0 sec. user=vaughan [2009-07-28 00:20:00] 579*2^704775-1 is not prime. Res64: 4C9D325372925E93 Time : 455.0 sec. user=vaughan [2009-07-28 00:24:49] 585*2^704775-1 is not prime. Res64: F1283C9215BE46D5 Time : 459.0 sec. user=vaughan [2009-07-28 00:27:36] 479*2^704776-1 is not prime. Res64: BC4EDEA9746854FD Time : 457.0 sec. user=vaughan [2009-07-28 00:32:27] 485*2^704776-1 is not prime. Res64: 7E6A756E44A95ABF Time : 458.0 sec. user=vaughan [2009-07-28 00:35:11] 567*2^704776-1 is not prime. Res64: 75E8144013153E6D Time : 456.0 sec. user=vaughan [2009-07-28 00:40:05] 575*2^704776-1 is not prime. Res64: 468DBD0B9D267915 Time : 458.0 sec. user=vaughan [2009-07-28 00:42:48] 475*2^704777-1 is not prime. Res64: 82DFBB3AEC5494A6 Time : 457.0 sec. user=vaughan [2009-07-28 00:43:38] 583*2^704775-1 is not prime. Res64: D87178800C81EE7B Time : 1765.0 sec. user=vaughan [2009-07-28 00:47:45] 537*2^704777-1 is not prime. Res64: B5BC2620D7227535 Time : 460.0 sec. user=vaughan [2009-07-28 00:50:24] 437*2^704778-1 is not prime. Res64: 02E4781DEFCCE8D6 Time : 457.0 sec. user=vaughan [2009-07-28 00:55:23] 573*2^704778-1 is not prime. Res64: 5B874D7508D9141D Time : 458.0 sec. user=vaughan [2009-07-28 00:58:00] 439*2^704779-1 is not prime. Res64: BE47A6C6F013B4EA Time : 457.0 sec. user=vaughan [2009-07-28 01:03:00] 481*2^704779-1 is not prime. Res64: 884249328D23EE2B Time : 457.0 sec. user=vaughan [2009-07-28 01:05:35] 495*2^704779-1 is not prime. Res64: 89B42E1F1687D848 Time : 456.0 sec. user=vaughan [2009-07-28 01:10:38] 531*2^704779-1 is not prime. Res64: 287D370533E0B128 Time : 458.0 sec. user=vaughan [2009-07-28 01:13:11] 553*2^704779-1 is not prime. Res64: 92A04B8DA05E2836 Time : 456.0 sec. user=vaughan [2009-07-28 01:13:54] 443*2^704778-1 is not prime. Res64: 62BBF0DFE6D92BC4 Time : 1817.0 sec. user=vaughan [2009-07-28 01:18:24] 425*2^704780-1 is not prime. Res64: E49D86B0B8371DBD Time : 466.0 sec. user=vaughan [2009-07-28 01:20:44] 455*2^704780-1 is not prime. Res64: 24EB88725B49DD12 Time : 453.0 sec. user=vaughan [2009-07-28 01:26:06] 499*2^704781-1 is not prime. Res64: 4189F42F3B8C9FB4 Time : 462.0 sec. user=vaughan [2009-07-28 01:28:17] 517*2^704781-1 is not prime. Res64: 24D0DD5AD9076D4B Time : 453.0 sec. user=vaughan [2009-07-28 01:33:46] 579*2^704781-1 is not prime. Res64: 728B9EADA27BB7EA Time : 460.0 sec. user=vaughan [2009-07-28 01:35:53] 425*2^704782-1 is not prime. Res64: BFDB3ECC24C1D292 Time : 456.0 sec. user=vaughan [2009-07-28 01:41:27] 593*2^704782-1 is not prime. Res64: 11BAADDE63E1AF62 Time : 461.0 sec. user=vaughan [2009-07-28 01:43:29] 435*2^704783-1 is not prime. Res64: D48347A81CF3D654 Time : 456.0 sec. user=vaughan [2009-07-28 01:45:05] 445*2^704781-1 is not prime. Res64: 4A6CB083CB2B8E31 Time : 1871.0 sec. user=vaughan [2009-07-28 01:49:05] 523*2^704783-1 is not prime. Res64: AFAF0A4D86AF64A6 Time : 458.0 sec. user=vaughan [2009-07-28 01:51:06] 413*2^704784-1 is not prime. Res64: AF9541A74403A144 Time : 457.0 sec. user=vaughan [2009-07-28 01:56:42] 597*2^704784-1 is not prime. Res64: C5CFACFBE1ED6464 Time : 457.0 sec. user=vaughan [2009-07-28 01:58:42] 411*2^704785-1 is not prime. Res64: 2867366D70019463 Time : 457.0 sec. user=vaughan [2009-07-28 02:04:22] 421*2^704785-1 is not prime. Res64: 8C1C9EBEBB7D8558 Time : 460.0 sec. user=vaughan [2009-07-28 02:06:18] 441*2^704785-1 is not prime. Res64: C810D016DEF9904E Time : 457.0 sec. user=vaughan [2009-07-28 02:12:06] 547*2^704785-1 is not prime. Res64: 0AB3FA82E4349037 Time : 464.0 sec. user=vaughan [2009-07-28 02:13:55] 591*2^704785-1 is not prime. Res64: E533F3806E1B2708 Time : 458.0 sec. user=vaughan [2009-07-28 02:16:59] 587*2^704784-1 is not prime. Res64: B38EEE83FC4A18A0 Time : 1914.0 sec. user=vaughan [2009-07-28 02:19:49] 521*2^704786-1 is not prime. Res64: 4B973310F588897E Time : 463.0 sec. user=vaughan [2009-07-28 02:21:30] 581*2^704786-1 is not prime. Res64: E2510B510787F9A6 Time : 456.0 sec. user=vaughan [2009-07-28 02:27:28] 439*2^704787-1 is not prime. Res64: F8D58C5AE89E1CC4 Time : 459.0 sec. user=vaughan [2009-07-28 02:29:05] 441*2^704787-1 is not prime. Res64: 3AD2D9D627D367D9 Time : 455.0 sec. user=vaughan [2009-07-28 02:35:08] 549*2^704787-1 is not prime. Res64: 88220AE241B1C05C Time : 461.0 sec. user=vaughan [2009-07-28 02:36:40] 579*2^704787-1 is not prime. Res64: 68DF52F656B0943A Time : 455.0 sec. user=vaughan [2009-07-28 02:42:46] 595*2^704787-1 is not prime. Res64: C5A545E0D7D9A566 Time : 459.0 sec. user=vaughan [2009-07-28 02:44:15] 405*2^704788-1 is not prime. Res64: 114E348C76CC49C9 Time : 455.0 sec. user=vaughan [2009-07-28 02:48:53] 587*2^704786-1 is not prime. Res64: E34DCB599D86DC71 Time : 1914.0 sec. user=vaughan [2009-07-28 02:50:25] 437*2^704788-1 is not prime. Res64: 631A22460A56E07B Time : 460.0 sec. user=vaughan [2009-07-28 02:51:50] 495*2^704788-1 is not prime. Res64: 41F401F508AA1861 Time : 455.0 sec. user=vaughan [2009-07-28 02:58:04] 571*2^704789-1 is not prime. Res64: 9A1F7F91DE754C3C Time : 460.0 sec. user=vaughan [2009-07-28 02:59:25] 589*2^704789-1 is not prime. Res64: 43A2C04CDDD8FE8F Time : 455.0 sec. user=vaughan [2009-07-28 03:05:43] 453*2^704790-1 is not prime. Res64: 9C3572D491A97E37 Time : 459.0 sec. user=vaughan [2009-07-28 03:07:00] 455*2^704790-1 is not prime. Res64: AB42404E8DC756C6 Time : 455.0 sec. user=vaughan [2009-07-28 03:13:21] 513*2^704790-1 is not prime. Res64: CC4BAA848F54C2D3 Time : 458.0 sec. user=vaughan [2009-07-28 03:14:35] 521*2^704790-1 is not prime. Res64: 4242CD85E2AF44F9 Time : 455.0 sec. user=vaughan [2009-07-28 03:20:49] 525*2^704789-1 is not prime. Res64: F20D6DA1AE587071 Time : 1916.0 sec. user=vaughan [2009-07-28 03:21:00] 557*2^704790-1 is not prime. Res64: E23B4CCD24A7064C Time : 459.0 sec. user=vaughan [2009-07-28 03:22:10] 421*2^704791-1 is not prime. Res64: A47C2C788B25142C Time : 455.0 sec. user=vaughan [2009-07-28 03:28:38] 489*2^704791-1 is not prime. Res64: EE08FFEE7ED4B470 Time : 458.0 sec. user=vaughan [2009-07-28 03:29:45] 437*2^704792-1 is not prime. Res64: EE6A65995DC132F9 Time : 455.0 sec. user=vaughan [2009-07-28 03:36:16] 409*2^704793-1 is not prime. Res64: AC882395793387C0 Time : 458.0 sec. user=vaughan [2009-07-28 03:37:20] 571*2^704793-1 is not prime. Res64: 0C467820C388A9F8 Time : 455.0 sec. user=vaughan [2009-07-28 03:43:54] 447*2^704794-1 is not prime. Res64: E8A740C94136F8DA Time : 458.0 sec. user=vaughan [2009-07-28 03:44:55] 453*2^704794-1 is not prime. Res64: 45D2D97B2226EE16 Time : 455.0 sec. user=vaughan [2009-07-28 03:51:30] 497*2^704794-1 is not prime. Res64: E0A6846473024CA9 Time : 456.0 sec. user=vaughan [2009-07-28 03:52:30] 567*2^704794-1 is not prime. Res64: AA7A43C241D9E37B Time : 455.0 sec. user=vaughan [2009-07-28 03:53:01] 423*2^704791-1 is not prime. Res64: 07178829011CC64D Time : 1932.0 sec. user=vaughan [2009-07-28 03:59:06] 573*2^704794-1 is not prime. Res64: B0AB308315D38BDB Time : 456.0 sec. user=vaughan [2009-07-28 04:00:06] 409*2^704795-1 is not prime. Res64: B47760ED8052B88F Time : 457.0 sec. user=vaughan [2009-07-28 04:06:41] 543*2^704795-1 is not prime. Res64: 1390279DACD6AEA4 Time : 455.0 sec. user=vaughan [2009-07-28 04:07:41] 595*2^704795-1 is not prime. Res64: 2210337A149DA719 Time : 456.0 sec. user=vaughan [2009-07-28 04:14:18] 527*2^704796-1 is not prime. Res64: 76CCB8F022D8B14C Time : 457.0 sec. user=vaughan [2009-07-28 04:15:17] 593*2^704796-1 is not prime. Res64: 67393F7E544D96F0 Time : 457.0 sec. user=vaughan [2009-07-28 04:21:53] 517*2^704797-1 is not prime. Res64: 4A4B03B1F5BB22F0 Time : 455.0 sec. user=vaughan [2009-07-28 04:22:52] 537*2^704797-1 is not prime. Res64: CCD5C489D6E2DB41 Time : 456.0 sec. user=vaughan [2009-07-28 04:25:08] 495*2^704795-1 is not prime. Res64: 9918866E285BD8EC Time : 1927.0 sec. user=vaughan [2009-07-28 04:29:29] 549*2^704797-1 is not prime. Res64: 430D8966F08FFF60 Time : 456.0 sec. user=vaughan [2009-07-28 04:30:27] 555*2^704797-1 is not prime. Res64: 9545FFBDBF007860 Time : 455.0 sec. user=vaughan [2009-07-28 04:37:05] 437*2^704798-1 is not prime. Res64: C89292C9F4F138B4 Time : 456.0 sec. user=vaughan [2009-07-28 04:38:01] 507*2^704798-1 is not prime. Res64: 2B5FB43851558F9B Time : 454.0 sec. user=vaughan [2009-07-28 04:44:42] 585*2^704798-1 is not prime. Res64: EB42864AF9B879B0 Time : 457.0 sec. user=vaughan [2009-07-28 04:45:36] 415*2^704799-1 is not prime. Res64: 7FD0BF3D1DE3059A Time : 455.0 sec. user=vaughan [2009-07-28 04:52:18] 441*2^704799-1 is not prime. Res64: 1443A10AAF0E7C72 Time : 457.0 sec. user=vaughan [2009-07-28 04:53:10] 445*2^704799-1 is not prime. Res64: 36F482FEC957F77F Time : 454.0 sec. user=vaughan [2009-07-28 04:57:26] 589*2^704797-1 is not prime. Res64: E65CA0BF9A71FE33 Time : 1938.0 sec. user=vaughan [2009-07-28 04:59:53] 465*2^704799-1 is not prime. Res64: 68ABACFF46B848FA Time : 456.0 sec. user=vaughan [2009-07-28 05:00:45] 489*2^704799-1 is not prime. Res64: 0E925159B29D493F Time : 455.0 sec. user=vaughan [2009-07-28 05:07:29] 513*2^704799-1 is not prime. Res64: 7B47D0BFAC452D3B Time : 456.0 sec. user=vaughan [2009-07-28 05:08:21] 407*2^704800-1 is not prime. Res64: 3B86180589F94263 Time : 456.0 sec. user=vaughan [2009-07-28 05:15:05] 455*2^704800-1 is not prime. Res64: 5F3A177488461608 Time : 456.0 sec. user=vaughan [2009-07-28 05:15:56] 525*2^704800-1 is not prime. Res64: D7143EFC11F0BDE6 Time : 456.0 sec. user=vaughan [2009-07-28 05:22:42] 405*2^704801-1 is not prime. Res64: E003BD93FDED364E Time : 457.0 sec. user=vaughan [2009-07-28 05:23:31] 453*2^704802-1 is not prime. Res64: F8627F296E82B1CB Time : 455.0 sec. user=vaughan [2009-07-28 05:29:57] 501*2^704799-1 is not prime. Res64: 3EB25CCE56F01826 Time : 1951.0 sec. user=vaughan [2009-07-28 05:30:20] 495*2^704802-1 is not prime. Res64: 1E68DFB6DF51678B Time : 458.0 sec. user=vaughan [2009-07-28 05:31:06] 525*2^704802-1 is not prime. Res64: 6EAD369E0EBBFBF8 Time : 455.0 sec. user=vaughan [2009-07-28 05:37:57] 483*2^704803-1 is not prime. Res64: C171A25F1B99A9DD Time : 457.0 sec. user=vaughan [2009-07-28 05:38:41] 519*2^704803-1 is not prime. Res64: 3F69A3A370D3AE84 Time : 455.0 sec. user=vaughan [2009-07-28 05:45:32] 589*2^704803-1 is not prime. Res64: BB0C330482AF75FB Time : 455.0 sec. user=vaughan [2009-07-28 05:46:16] 425*2^704804-1 is not prime. Res64: 57A1D7E53EBD740C Time : 455.0 sec. user=vaughan [2009-07-28 05:53:08] 447*2^704804-1 is not prime. Res64: A18451DD93F6CCC4 Time : 456.0 sec. user=vaughan [2009-07-28 05:53:51] 507*2^704804-1 is not prime. Res64: 488BC77E541E9823 Time : 455.0 sec. user=vaughan [2009-07-28 06:00:44] 557*2^704804-1 is not prime. Res64: DF26E940721AD570 Time : 456.0 sec. user=vaughan [2009-07-28 06:01:25] 409*2^704805-1 is not prime. Res64: 99FBBA1F262462EF Time : 454.0 sec. user=vaughan [2009-07-28 06:02:41] 421*2^704803-1 is not prime. Res64: 4B68697547E39D1E Time : 1964.0 sec. user=vaughan [2009-07-28 06:08:19] 447*2^704805-1 is not prime. Res64: 641C512D17604424 Time : 455.0 sec. user=vaughan [2009-07-28 06:08:59] 471*2^704806-1 is not prime. Res64: DA3DD1055A6CB939 Time : 454.0 sec. user=vaughan [2009-07-28 06:15:55] 561*2^704806-1 is not prime. Res64: 317D5E39FB0DF9B2 Time : 456.0 sec. user=vaughan [2009-07-28 06:16:33] 501*2^704807-1 is not prime. Res64: 7A9A9BC85BC07074 Time : 454.0 sec. user=vaughan [2009-07-28 06:23:31] 559*2^704807-1 is not prime. Res64: 8A72E0D4E117E6EB Time : 456.0 sec. user=vaughan [2009-07-28 06:24:09] 413*2^704808-1 is not prime. Res64: DF9748DCFE376617 Time : 456.0 sec. user=vaughan [2009-07-28 06:31:08] 485*2^704808-1 is not prime. Res64: 64ECA6FD9ADD89C6 Time : 457.0 sec. user=vaughan [2009-07-28 06:31:45] 527*2^704808-1 is not prime. Res64: DC35FFD6011D1F7C Time : 457.0 sec. user=vaughan [2009-07-28 06:38:44] 411*2^704809-1 is not prime. Res64: B06FCB46ADF93483 Time : 456.0 sec. user=vaughan [2009-07-28 06:39:19] 465*2^704809-1 is not prime. Res64: 0939A7B282B40F8E Time : 454.0 sec. user=vaughan [2009-07-28 06:46:20] 495*2^704809-1 is not prime. Res64: 749B0B22969154E1 Time : 456.0 sec. user=vaughan [2009-07-28 06:46:53] 511*2^704809-1 is not prime. Res64: F0C172CA261FE558 Time : 454.0 sec. user=vaughan [2009-07-28 06:53:56] 517*2^704809-1 is not prime. Res64: 840A5BDB20AB0917 Time : 456.0 sec. user=vaughan [2009-07-28 06:54:27] 547*2^704809-1 is not prime. Res64: 8B00804DAB77E0DD Time : 454.0 sec. user=vaughan [2009-07-28 07:01:32] 589*2^704809-1 is not prime. Res64: 3F2E471FE2A12391 Time : 456.0 sec. user=vaughan [2009-07-28 07:02:01] 597*2^704809-1 is not prime. Res64: 7D0532F5D4C2DFD6 Time : 454.0 sec. user=vaughan [2009-07-28 07:09:08] 483*2^704810-1 is not prime. Res64: D5EB663CA7037342 Time : 456.0 sec. user=vaughan [2009-07-28 07:09:35] 503*2^704810-1 is not prime. Res64: 1B054578DACBC6A6 Time : 454.0 sec. user=vaughan [2009-07-28 07:16:44] 531*2^704810-1 is not prime. Res64: 3BA03FDE94A42199 Time : 456.0 sec. user=vaughan [2009-07-28 07:17:09] 439*2^704811-1 is not prime. Res64: 3F0B9FC31E8502C3 Time : 454.0 sec. user=vaughan [2009-07-28 07:24:20] 475*2^704811-1 is not prime. Res64: D30A7F16A56B93F5 Time : 456.0 sec. user=vaughan [2009-07-28 07:24:43] 513*2^704811-1 is not prime. Res64: 86297787AA993C7D Time : 454.0 sec. user=vaughan [2009-07-28 07:31:56] 595*2^704811-1 is not prime. Res64: 3B63A21DAD2809F6 Time : 456.0 sec. user=vaughan [2009-07-28 07:32:17] 495*2^704812-1 is not prime. Res64: 317D698FF396AE35 Time : 454.0 sec. user=vaughan [2009-07-28 07:39:34] 527*2^704812-1 is not prime. Res64: 7E55E2F2224C02BC Time : 458.0 sec. user=vaughan [2009-07-28 07:39:51] 549*2^704812-1 is not prime. Res64: 800324CF99AEC8DC Time : 454.0 sec. user=vaughan [2009-07-28 07:47:10] 451*2^704813-1 is not prime. Res64: 2015F01B97356A2E Time : 457.0 sec. user=vaughan [2009-07-28 07:47:25] 475*2^704813-1 is not prime. Res64: 03104F583E36F9D0 Time : 454.0 sec. user=vaughan [2009-07-28 07:54:48] 549*2^704813-1 is not prime. Res64: 84BBF7F64DFF238D Time : 459.0 sec. user=vaughan [2009-07-28 07:54:59] 411*2^704814-1 is not prime. Res64: 7B16FDB068C762E5 Time : 454.0 sec. user=vaughan [2009-07-28 08:02:26] 413*2^704814-1 is not prime. Res64: 7A25D65692A46116 Time : 458.0 sec. user=vaughan [2009-07-28 08:02:34] 513*2^704814-1 is not prime. Res64: 7B9C176E03F501C0 Time : 455.0 sec. user=vaughan [2009-07-28 08:10:05] 519*2^704816-1 is not prime. Res64: 904595FF21D62828 Time : 459.0 sec. user=vaughan [2009-07-28 08:10:08] 405*2^704817-1 is not prime. Res64: F0FD0ED32532E96F Time : 455.0 sec. user=vaughan [2009-07-28 08:14:37] 477*2^704806-1 is not prime. Res64: 13049652B4CCDD97 Time : 7917.0 sec. user=vaughan [2009-07-28 08:17:42] 457*2^704817-1 is not prime. Res64: F3CFA40B52B76404 Time : 455.0 sec. user=vaughan [2009-07-28 08:17:44] 441*2^704817-1 is not prime. Res64: 6AFF7A3B6212CC43 Time : 459.0 sec. user=vaughan [2009-07-28 08:25:16] 517*2^704817-1 is not prime. Res64: F8D6A32F469577F5 Time : 455.0 sec. user=vaughan [2009-07-28 08:25:22] 529*2^704817-1 is not prime. Res64: E4E8271CA5906AA2 Time : 458.0 sec. user=vaughan [2009-07-28 08:32:50] 577*2^704817-1 is not prime. Res64: 587C2E7EE6A15E0A Time : 455.0 sec. user=vaughan [2009-07-28 08:33:00] 579*2^704817-1 is not prime. Res64: 3FF83250743C1D6F Time : 458.0 sec. user=vaughan [2009-07-28 08:40:24] 401*2^704818-1 is not prime. Res64: 429EF4C5CB26FCE2 Time : 455.0 sec. user=vaughan [2009-07-28 08:40:39] 461*2^704818-1 is not prime. Res64: 09DADFCFE4B8302A Time : 459.0 sec. user=vaughan [2009-07-28 08:47:57] 497*2^704818-1 is not prime. Res64: 39D82D6B14E20F75 Time : 454.0 sec. user=vaughan [2009-07-28 08:48:18] 525*2^704818-1 is not prime. Res64: F998ABFC64DA2C4C Time : 459.0 sec. user=vaughan [2009-07-28 08:54:50] 507*2^704817-1 is not prime. Res64: E83F0D8F14B7BF36 Time : 2413.0 sec. user=vaughan [2009-07-28 08:55:31] 581*2^704818-1 is not prime. Res64: 72FC74C02418B637 Time : 454.0 sec. user=vaughan [2009-07-28 08:55:57] 481*2^704819-1 is not prime. Res64: 6F0B4862F0F73238 Time : 459.0 sec. user=vaughan [2009-07-28 09:03:05] 549*2^704819-1 is not prime. Res64: C188CEE4627EB72A Time : 454.0 sec. user=vaughan [2009-07-28 09:03:35] 553*2^704819-1 is not prime. Res64: 420CE8BFAFEF31B2 Time : 458.0 sec. user=vaughan [2009-07-28 09:10:40] 579*2^704819-1 is not prime. Res64: 3D6F1F3BCD15506E Time : 455.0 sec. user=vaughan [2009-07-28 09:11:14] 555*2^704820-1 is not prime. Res64: 0C8145E2FB8C1227 Time : 459.0 sec. user=vaughan [2009-07-28 09:18:15] 567*2^704820-1 is not prime. Res64: 78C713322100DD9C Time : 456.0 sec. user=vaughan [2009-07-28 09:18:50] 415*2^704821-1 is not prime. Res64: 7D46E4C61FF016CC Time : 456.0 sec. user=vaughan [2009-07-28 09:25:49] 577*2^704821-1 is not prime. Res64: FC118FAD625FB3E0 Time : 455.0 sec. user=vaughan [2009-07-28 09:26:28] 423*2^704822-1 is not prime. Res64: 2F33D063BBC031D4 Time : 458.0 sec. user=vaughan [2009-07-28 09:33:23] 477*2^704822-1 is not prime. Res64: F91DED799655CEC0 Time : 455.0 sec. user=vaughan [2009-07-28 09:34:04] 495*2^704822-1 is not prime. Res64: 1C6A09814CFBC846 Time : 457.0 sec. user=vaughan [2009-07-28 09:36:25] 523*2^704819-1 is not prime. Res64: 0F4AA9AE398DB321 Time : 2495.0 sec. user=vaughan [2009-07-28 09:40:57] 501*2^704823-1 is not prime. Res64: A0BBDD959CCC096B Time : 454.0 sec. user=vaughan [2009-07-28 09:41:40] 553*2^704823-1 is not prime. Res64: 778C1A7583119E14 Time : 457.0 sec. user=vaughan [2009-07-28 09:48:31] 423*2^704824-1 is not prime. Res64: 1397EA97AF361740 Time : 454.0 sec. user=vaughan [2009-07-28 09:49:17] 455*2^704824-1 is not prime. Res64: D657F33706B075C6 Time : 457.0 sec. user=vaughan [2009-07-28 09:56:07] 489*2^704824-1 is not prime. Res64: 81EEEBADE2C3FCB4 Time : 456.0 sec. user=vaughan [2009-07-28 09:56:54] 575*2^704824-1 is not prime. Res64: 2F46DB3D631BD78F Time : 458.0 sec. user=vaughan [2009-07-28 10:03:41] 447*2^704825-1 is not prime. Res64: 9AFE33CD59828AC0 Time : 455.0 sec. user=vaughan [2009-07-28 10:04:32] 579*2^704825-1 is not prime. Res64: DD3A5796C19D1F20 Time : 459.0 sec. user=vaughan [2009-07-28 10:11:15] 595*2^704825-1 is not prime. Res64: A758BB1410CB1DD8 Time : 455.0 sec. user=vaughan [2009-07-28 10:12:08] 425*2^704826-1 is not prime. Res64: 867E95B9514D4E43 Time : 456.0 sec. user=vaughan [2009-07-28 10:18:49] 483*2^704826-1 is not prime. Res64: 945451C0856B4B33 Time : 454.0 sec. user=vaughan [2009-07-28 10:19:44] 429*2^704827-1 is not prime. Res64: BFC6606F95435245 Time : 456.0 sec. user=vaughan [2009-07-28 10:26:23] 469*2^704827-1 is not prime. Res64: 56700E017788F133 Time : 455.0 sec. user=vaughan [2009-07-28 10:27:20] 595*2^704827-1 is not prime. Res64: BA22B69BCF7F5F81 Time : 456.0 sec. user=vaughan [2009-07-28 10:33:58] 425*2^704828-1 is not prime. Res64: 92D7D1AD6C2EC0E4 Time : 456.0 sec. user=vaughan [2009-07-28 10:34:55] 459*2^704828-1 is not prime. Res64: 385F90AD4C47F1BB Time : 455.0 sec. user=vaughan [2009-07-28 10:41:33] 465*2^704828-1 is not prime. Res64: 617A81FE52B4DCD0 Time : 455.0 sec. user=vaughan [2009-07-28 10:42:30] 539*2^704828-1 is not prime. Res64: 1473015F81D55F87 Time : 455.0 sec. user=vaughan [2009-07-28 10:49:08] 415*2^704829-1 is not prime. Res64: 9C6F51C10CB58401 Time : 455.0 sec. user=vaughan [2009-07-28 10:50:05] 441*2^704829-1 is not prime. Res64: BBB73047FB9D4ED3 Time : 455.0 sec. user=vaughan [2009-07-28 10:56:43] 481*2^704829-1 is not prime. Res64: 1BCC59F7E0C5BF69 Time : 455.0 sec. user=vaughan [2009-07-28 10:57:40] 537*2^704829-1 is not prime. Res64: 78750CA054C6FD68 Time : 455.0 sec. user=vaughan [2009-07-28 11:04:17] 595*2^704829-1 is not prime. Res64: 540AE373DECBEFA4 Time : 454.0 sec. user=vaughan [2009-07-28 11:05:15] 423*2^704830-1 is not prime. Res64: 3BE9D1EB98E29A21 Time : 455.0 sec. user=vaughan [2009-07-28 11:11:52] 483*2^704830-1 is not prime. Res64: 6CC7131A3BC88E5D Time : 455.0 sec. user=vaughan [2009-07-28 11:12:51] 575*2^704830-1 is not prime. Res64: 155EE32D1ACB1DA6 Time : 456.0 sec. user=vaughan [2009-07-28 11:19:26] 587*2^704830-1 is not prime. Res64: F81ACA46CD4FB887 Time : 454.0 sec. user=vaughan [2009-07-28 11:20:26] 475*2^704831-1 is not prime. Res64: 99C05007EAD41283 Time : 456.0 sec. user=vaughan [2009-07-28 11:27:00] 559*2^704831-1 is not prime. Res64: E0B7C76C69523771 Time : 454.0 sec. user=vaughan [2009-07-28 11:28:01] 595*2^704831-1 is not prime. Res64: BB05D12B2BE8BC92 Time : 456.0 sec. user=vaughan [2009-07-28 11:34:38] 405*2^704832-1 is not prime. Res64: 4014F8B8330BEEB7 Time : 458.0 sec. user=vaughan [2009-07-28 11:35:40] 419*2^704832-1 is not prime. Res64: EE5E5C092F59422F Time : 460.0 sec. user=vaughan [2009-07-28 11:42:55] 447*2^704832-1 is not prime. Res64: C99B6778FAFEF9E6 Time : 497.0 sec. user=vaughan [2009-07-28 11:43:17] 479*2^704832-1 is not prime. Res64: 5109BB7D38411555 Time : 458.0 sec. user=vaughan [2009-07-28 11:45:50] 585*2^704823-1 is not prime. Res64: 92E0F31BD4D9DC80 Time : 7765.0 sec. user=vaughan [2009-07-28 11:50:30] 485*2^704832-1 is not prime. Res64: C285C980BC8C935D Time : 455.0 sec. user=vaughan [2009-07-28 11:50:55] 513*2^704832-1 is not prime. Res64: EA08975B3DCBC753 Time : 459.0 sec. user=vaughan [2009-07-28 11:58:05] 441*2^704833-1 is not prime. Res64: 303A224A29B67595 Time : 455.0 sec. user=vaughan [2009-07-28 11:58:33] 481*2^704833-1 is not prime. Res64: 0ED98BAB11CA207C Time : 459.0 sec. user=vaughan [2009-07-28 12:05:39] 407*2^704834-1 is not prime. Res64: 218C613A927487D0 Time : 454.0 sec. user=vaughan [2009-07-28 12:06:12] 411*2^704834-1 is not prime. Res64: 9CD693721841A21E Time : 459.0 sec. user=vaughan [2009-07-28 12:13:14] 447*2^704834-1 is not prime. Res64: 0CED1DD489219CFC Time : 455.0 sec. user=vaughan [2009-07-28 12:13:51] 545*2^704834-1 is not prime. Res64: C0808C3DCD36233A Time : 459.0 sec. user=vaughan [2009-07-28 12:21:11] 567*2^704834-1 is not prime. Res64: 944B29206DDE2A75 Time : 477.0 sec. user=vaughan [2009-07-28 12:21:29] 405*2^704835-1 is not prime. Res64: 360E3EFF4669B264 Time : 458.0 sec. user=vaughan [2009-07-28 12:27:11] 429*2^704833-1 is not prime. Res64: 6296101D73EAEDFC Time : 2481.0 sec. user=vaughan [2009-07-28 12:28:46] 409*2^704835-1 is not prime. Res64: E13B57FA7A287347 Time : 455.0 sec. user=vaughan [2009-07-28 12:29:07] 429*2^704835-1 is not prime. Res64: 5750239D90737457 Time : 458.0 sec. user=vaughan [2009-07-28 12:36:20] 481*2^704835-1 is not prime. Res64: 0F496EB44437B1B3 Time : 454.0 sec. user=vaughan [2009-07-28 12:36:46] 513*2^704835-1 is not prime. Res64: 71A19A149F234EC2 Time : 459.0 sec. user=vaughan [2009-07-28 12:43:55] 535*2^704835-1 is not prime. Res64: 195471330AE7B4E4 Time : 455.0 sec. user=vaughan [2009-07-28 12:44:24] 537*2^704836-1 is not prime. Res64: 17B41EE51106E595 Time : 458.0 sec. user=vaughan [2009-07-28 12:51:29] 539*2^704836-1 is not prime. Res64: 156EA51857030CD7 Time : 454.0 sec. user=vaughan [2009-07-28 12:52:03] 563*2^704836-1 is not prime. Res64: 07E922A3CDB6E0FA Time : 459.0 sec. user=vaughan [2009-07-28 12:59:04] 405*2^704837-1 is not prime. Res64: C3FE7DB174AFA93F Time : 455.0 sec. user=vaughan [2009-07-28 12:59:41] 445*2^704837-1 is not prime. Res64: F82690A3D7C086A4 Time : 458.0 sec. user=vaughan [2009-07-28 13:06:38] 475*2^704837-1 is not prime. Res64: 3E0DDD12E022284D Time : 454.0 sec. user=vaughan [2009-07-28 13:07:23] 567*2^704837-1 is not prime. Res64: 59BCFAD04AE36C9B Time : 462.0 sec. user=vaughan [2009-07-28 13:09:00] 465*2^704835-1 is not prime. Res64: D04F2090D2821B01 Time : 2509.0 sec. user=vaughan [2009-07-28 13:14:13] 413*2^704838-1 is not prime. Res64: E7CF657730D2BF23 Time : 455.0 sec. user=vaughan [2009-07-28 13:15:02] 447*2^704838-1 is not prime. Res64: FB6202E9E50ACFC5 Time : 459.0 sec. user=vaughan [2009-07-28 13:21:47] 513*2^704838-1 is not prime. Res64: 6C82231D30C961AE Time : 454.0 sec. user=vaughan [2009-07-28 13:22:41] 515*2^704838-1 is not prime. Res64: FA40E5A646913F37 Time : 459.0 sec. user=vaughan [2009-07-28 13:29:21] 525*2^704838-1 is not prime. Res64: 879AC57AAE0B3FF4 Time : 454.0 sec. user=vaughan [2009-07-28 13:30:20] 563*2^704838-1 is not prime. Res64: 68564279BDD6F5F6 Time : 459.0 sec. user=vaughan [2009-07-28 13:36:55] 411*2^704839-1 is not prime. Res64: 881F5CEF0A1E59F1 Time : 454.0 sec. user=vaughan [2009-07-28 13:37:58] 421*2^704839-1 is not prime. Res64: E8B78C798FA0640F Time : 458.0 sec. user=vaughan [2009-07-28 13:44:29] 451*2^704839-1 is not prime. Res64: A91FB42590D4A979 Time : 454.0 sec. user=vaughan [2009-07-28 13:45:39] 579*2^704839-1 is not prime. Res64: 370248313CC03A92 Time : 461.0 sec. user=vaughan [2009-07-28 13:51:10] 507*2^704838-1 is not prime. Res64: 8BAE9060AA8F27AD Time : 2530.0 sec. user=vaughan [2009-07-28 13:52:03] 413*2^704840-1 is not prime. Res64: 86C536CB7DF454BF Time : 454.0 sec. user=vaughan [2009-07-28 13:53:17] 437*2^704840-1 is not prime. Res64: 6E4D59C196B2DD14 Time : 459.0 sec. user=vaughan [2009-07-28 13:59:39] 585*2^704840-1 is not prime. Res64: DBF366ADAF4F9E74 Time : 456.0 sec. user=vaughan [2009-07-28 14:00:55] 529*2^704841-1 is not prime. Res64: 0B38B361884DCBBD Time : 459.0 sec. user=vaughan [2009-07-28 14:07:13] 565*2^704841-1 is not prime. Res64: 585D6BB2A7A5D635 Time : 455.0 sec. user=vaughan [2009-07-28 14:08:34] 571*2^704841-1 is not prime. Res64: A8A2C76C37447CBF Time : 459.0 sec. user=vaughan [2009-07-28 14:14:47] 579*2^704841-1 is not prime. Res64: B23F3C0A31F58B6C Time : 455.0 sec. user=vaughan [2009-07-28 14:16:13] 585*2^704841-1 is not prime. Res64: E2B0FA72A1DC6CE9 Time : 459.0 sec. user=vaughan [2009-07-28 14:22:22] 413*2^704842-1 is not prime. Res64: 53A0292286FC9319 Time : 456.0 sec. user=vaughan [2009-07-28 14:23:52] 467*2^704842-1 is not prime. Res64: 257874D8B42B1C9B Time : 459.0 sec. user=vaughan [2009-07-28 14:29:57] 491*2^704842-1 is not prime. Res64: 43D1FAA59E6CAF71 Time : 456.0 sec. user=vaughan [2009-07-28 14:31:13] 465*2^704840-1 is not prime. Res64: EDD312D098516DAC Time : 2404.0 sec. user=vaughan [2009-07-28 14:31:32] 513*2^704842-1 is not prime. Res64: D2D541C674D3AA3D Time : 461.0 sec. user=vaughan [2009-07-28 14:37:32] 521*2^704842-1 is not prime. Res64: 8A5D19E30D6C2DE0 Time : 456.0 sec. user=vaughan [2009-07-28 14:39:10] 505*2^704843-1 is not prime. Res64: 09AD6ABEE934EF10 Time : 459.0 sec. user=vaughan [2009-07-28 14:45:07] 585*2^704843-1 is not prime. Res64: 2CF56DF417C80FD5 Time : 456.0 sec. user=vaughan [2009-07-28 14:46:49] 423*2^704844-1 is not prime. Res64: 19007DF94D6A7358 Time : 460.0 sec. user=vaughan [2009-07-28 14:52:42] 455*2^704844-1 is not prime. Res64: A834B3754144B56B Time : 456.0 sec. user=vaughan [2009-07-28 14:54:28] 473*2^704844-1 is not prime. Res64: A9C8FC7160C8A4DC Time : 459.0 sec. user=vaughan [2009-07-28 15:00:17] 539*2^704844-1 is not prime. Res64: 52A93562C5E44528 Time : 456.0 sec. user=vaughan [2009-07-28 15:02:06] 469*2^704845-1 is not prime. Res64: 0E76230D24DBB2B3 Time : 458.0 sec. user=vaughan [2009-07-28 15:03:54] 525*2^704842-1 is not prime. Res64: 239F7D33978306BA Time : 1962.0 sec. user=vaughan [2009-07-28 15:07:52] 507*2^704845-1 is not prime. Res64: 31C30CB6BF76A2B8 Time : 456.0 sec. user=vaughan [2009-07-28 15:09:45] 519*2^704845-1 is not prime. Res64: 0FF1E7A4EB347DC6 Time : 459.0 sec. user=vaughan [2009-07-28 15:15:28] 473*2^704846-1 is not prime. Res64: 09923394CC03E52A Time : 457.0 sec. user=vaughan [2009-07-28 15:17:23] 483*2^704846-1 is not prime. Res64: 552D6B713E77E673 Time : 458.0 sec. user=vaughan [2009-07-28 15:23:03] 423*2^704847-1 is not prime. Res64: BA3B9ECB155334E9 Time : 456.0 sec. user=vaughan [2009-07-28 15:25:01] 471*2^704847-1 is not prime. Res64: 72FE73819FA00257 Time : 458.0 sec. user=vaughan [2009-07-28 15:30:38] 489*2^704847-1 is not prime. Res64: FB7721C68895B052 Time : 456.0 sec. user=vaughan [2009-07-28 15:32:39] 493*2^704847-1 is not prime. Res64: CAF68F4486DC217A Time : 459.0 sec. user=vaughan [2009-07-28 15:36:08] 455*2^704846-1 is not prime. Res64: 2B9772A8A40FCBBE Time : 1934.0 sec. user=vaughan [2009-07-28 15:38:13] 511*2^704847-1 is not prime. Res64: 67774B4DD11653CA Time : 456.0 sec. user=vaughan [2009-07-28 15:40:17] 549*2^704847-1 is not prime. Res64: 01CE961F2F15260B Time : 459.0 sec. user=vaughan [2009-07-28 15:45:46] 571*2^704847-1 is not prime. Res64: 4E127B283151AAF9 Time : 454.0 sec. user=vaughan [2009-07-28 15:47:56] 419*2^704848-1 is not prime. Res64: EE360102394EC097 Time : 460.0 sec. user=vaughan [2009-07-28 15:53:23] 483*2^704848-1 is not prime. Res64: 802E32CA0E1904E9 Time : 457.0 sec. user=vaughan [2009-07-28 15:55:34] 539*2^704848-1 is not prime. Res64: CA8ECB1AF8E720BA Time : 458.0 sec. user=vaughan [2009-07-28 16:00:58] 575*2^704848-1 is not prime. Res64: C0FEF3E074DA6936 Time : 456.0 sec. user=vaughan [2009-07-28 16:03:12] 411*2^704849-1 is not prime. Res64: CEE984B39EABB32C Time : 458.0 sec. user=vaughan [2009-07-28 16:05:03] 559*2^704847-1 is not prime. Res64: CE23F27D0921B46D Time : 1735.0 sec. user=vaughan [2009-07-28 16:08:33] 441*2^704849-1 is not prime. Res64: 06D42EA09CD2CFC9 Time : 456.0 sec. user=vaughan [2009-07-28 16:10:50] 537*2^704849-1 is not prime. Res64: 232D27C1D80D25E7 Time : 458.0 sec. user=vaughan [2009-07-28 16:16:07] 589*2^704849-1 is not prime. Res64: 383750CB02126DCF Time : 455.0 sec. user=vaughan [2009-07-28 16:18:30] 443*2^704850-1 is not prime. Res64: D9EBCCE782CEFDD5 Time : 461.0 sec. user=vaughan [2009-07-28 16:23:40] 501*2^704850-1 is not prime. Res64: 32C055A62C353E32 Time : 454.0 sec. user=vaughan [2009-07-28 16:26:11] 531*2^704850-1 is not prime. Res64: 8DEE479EAB60A809 Time : 462.0 sec. user=vaughan [2009-07-28 16:31:12] 411*2^704851-1 is not prime. Res64: ACB305EA0A78DD0B Time : 453.0 sec. user=vaughan [2009-07-28 16:33:43] 579*2^704849-1 is not prime. Res64: 1D4C82A8B8DF8043 Time : 1720.0 sec. user=vaughan [2009-07-28 16:33:53] 415*2^704851-1 is not prime. Res64: E8004DFC744B3651 Time : 463.0 sec. user=vaughan [2009-07-28 16:38:44] 441*2^704851-1 is not prime. Res64: 404002C4267A2D53 Time : 452.0 sec. user=vaughan [2009-07-28 16:41:34] 531*2^704851-1 is not prime. Res64: 130CD25ACF92B333 Time : 462.0 sec. user=vaughan [2009-07-28 16:46:17] 549*2^704851-1 is not prime. Res64: 85FDA68BD1EEC958 Time : 453.0 sec. user=vaughan [2009-07-28 16:49:17] 495*2^704852-1 is not prime. Res64: E0D03BFCB88EC1CC Time : 464.0 sec. user=vaughan [2009-07-28 16:53:50] 539*2^704852-1 is not prime. Res64: 5049568BA0D613E5 Time : 453.0 sec. user=vaughan [2009-07-28 16:56:58] 573*2^704852-1 is not prime. Res64: C9815ACAE2D14CE5 Time : 462.0 sec. user=vaughan [2009-07-28 17:01:23] 599*2^704852-1 is not prime. Res64: 4D4BD7F394EA42E7 Time : 453.0 sec. user=vaughan [2009-07-28 17:03:42] 493*2^704851-1 is not prime. Res64: B65D28F0A9A40472 Time : 1799.0 sec. user=vaughan [2009-07-28 17:04:39] 459*2^704853-1 is not prime. Res64: 1A64DE896A6462C9 Time : 462.0 sec. user=vaughan [2009-07-28 17:08:56] 537*2^704853-1 is not prime. Res64: 47D18F50A6CCFA63 Time : 453.0 sec. user=vaughan [2009-07-28 17:12:20] 443*2^704854-1 is not prime. Res64: EDC5C0EE11CE9B91 Time : 462.0 sec. user=vaughan [2009-07-28 17:16:28] 555*2^704854-1 is not prime. Res64: A5DFFBCCF4D74C96 Time : 452.0 sec. user=vaughan [2009-07-28 17:20:01] 561*2^704854-1 is not prime. Res64: 0ECEB33F1C2444C2 Time : 462.0 sec. user=vaughan [2009-07-28 17:24:01] 441*2^704855-1 is not prime. Res64: D7F20977B703C090 Time : 453.0 sec. user=vaughan [2009-07-28 17:27:44] 463*2^704855-1 is not prime. Res64: 72D71BA6E29747C0 Time : 464.0 sec. user=vaughan [2009-07-28 17:31:35] 475*2^704855-1 is not prime. Res64: A4DD9A451919E8AB Time : 454.0 sec. user=vaughan [2009-07-28 17:34:00] 425*2^704854-1 is not prime. Res64: 304F5AB63FF78E45 Time : 1818.0 sec. user=vaughan [2009-07-28 17:35:24] 531*2^704855-1 is not prime. Res64: FFEED1A2712B51E3 Time : 461.0 sec. user=vaughan [2009-07-28 17:39:11] 573*2^704855-1 is not prime. Res64: A18A87B0B2985EA5 Time : 456.0 sec. user=vaughan [2009-07-28 17:43:05] 497*2^704856-1 is not prime. Res64: DF199BC8FFEEEC18 Time : 461.0 sec. user=vaughan [2009-07-28 17:46:46] 525*2^704856-1 is not prime. Res64: 9A04F5723D91D9F3 Time : 455.0 sec. user=vaughan [2009-07-28 17:50:46] 441*2^704857-1 is not prime. Res64: 38CE7A514682F485 Time : 461.0 sec. user=vaughan [2009-07-28 17:54:22] 471*2^704857-1 is not prime. Res64: 86B3E1096770DA0E Time : 456.0 sec. user=vaughan [2009-07-28 17:58:25] 417*2^704858-1 is not prime. Res64: 057BC7DA4D530D55 Time : 459.0 sec. user=vaughan [2009-07-28 18:01:56] 429*2^704859-1 is not prime. Res64: DFE113006013EEA7 Time : 454.0 sec. user=vaughan [2009-07-28 18:03:15] 405*2^704856-1 is not prime. Res64: B524B11286E52F11 Time : 1755.0 sec. user=vaughan [2009-07-28 18:06:01] 471*2^704859-1 is not prime. Res64: 5EB8EBA7AA6E3BF9 Time : 456.0 sec. user=vaughan [2009-07-28 18:09:31] 531*2^704859-1 is not prime. Res64: 28416ABC5C1163AA Time : 455.0 sec. user=vaughan [2009-07-28 18:13:37] 579*2^704860-1 is not prime. Res64: D1BE208445F50C74 Time : 456.0 sec. user=vaughan [2009-07-28 18:17:06] 597*2^704860-1 is not prime. Res64: E851CC04A9AB6755 Time : 455.0 sec. user=vaughan [2009-07-28 18:21:13] 441*2^704861-1 is not prime. Res64: 563E32A4C5613F88 Time : 456.0 sec. user=vaughan [2009-07-28 18:24:41] 565*2^704861-1 is not prime. Res64: 5EAA548AE8A56838 Time : 455.0 sec. user=vaughan [2009-07-28 18:28:49] 425*2^704862-1 is not prime. Res64: 5DC2E93A3A7C88D1 Time : 456.0 sec. user=vaughan [2009-07-28 18:32:16] 455*2^704862-1 is not prime. Res64: 689FEBC8364464B5 Time : 455.0 sec. user=vaughan [2009-07-28 18:32:42] 437*2^704860-1 is not prime. Res64: 6195671FB5660471 Time : 1767.0 sec. user=vaughan [2009-07-28 18:36:30] 471*2^704862-1 is not prime. Res64: 4DF4F23601CF4D19 Time : 461.0 sec. user=vaughan [2009-07-28 18:39:51] 507*2^704862-1 is not prime. Res64: 5F2C62E3809C85CD Time : 455.0 sec. user=vaughan [2009-07-28 18:44:12] 581*2^704862-1 is not prime. Res64: F4DDE3265B2ADDC9 Time : 462.0 sec. user=vaughan [2009-07-28 18:47:25] 421*2^704863-1 is not prime. Res64: 4055E245E382CA51 Time : 454.0 sec. user=vaughan [2009-07-28 18:51:53] 439*2^704863-1 is not prime. Res64: 1DDBC92B2F1C38BA Time : 461.0 sec. user=vaughan [2009-07-28 18:55:00] 465*2^704863-1 is not prime. Res64: AB659DE5CBF66D65 Time : 455.0 sec. user=vaughan [2009-07-28 18:59:38] 519*2^704863-1 is not prime. Res64: 78B0D423903D8E06 Time : 465.0 sec. user=vaughan [2009-07-28 19:02:36] 417*2^704864-1 is not prime. Res64: 5A95415DDC442D66 Time : 456.0 sec. user=vaughan [2009-07-28 19:03:36] 563*2^704862-1 is not prime. Res64: AE6726F197B4A2BA Time : 1854.0 sec. user=vaughan [2009-07-28 19:07:19] 447*2^704864-1 is not prime. Res64: 39CCA972F1DD64EB Time : 461.0 sec. user=vaughan [2009-07-28 19:10:11] 503*2^704864-1 is not prime. Res64: 2C67E3D3C881CE71 Time : 455.0 sec. user=vaughan [2009-07-28 19:15:00] 519*2^704864-1 is not prime. Res64: A534F2E77988F22B Time : 461.0 sec. user=vaughan [2009-07-28 19:17:45] 539*2^704864-1 is not prime. Res64: FC4809524AA4DDC8 Time : 454.0 sec. user=vaughan [2009-07-28 19:22:42] 567*2^704864-1 is not prime. Res64: 8026DF20E5078BEE Time : 462.0 sec. user=vaughan [2009-07-28 19:25:20] 573*2^704864-1 is not prime. Res64: D84F0CAEF29A18A3 Time : 455.0 sec. user=vaughan [2009-07-28 19:30:23] 587*2^704864-1 is not prime. Res64: 9CD6E9315E578BA3 Time : 461.0 sec. user=vaughan [2009-07-28 19:32:55] 445*2^704865-1 is not prime. Res64: 9B393379D761FD54 Time : 455.0 sec. user=vaughan [2009-07-28 19:35:36] 509*2^704864-1 is not prime. Res64: 0CB65ADF669B92DD Time : 1920.0 sec. user=vaughan [2009-07-28 19:38:05] 507*2^704865-1 is not prime. Res64: B6D49E95561ABCD2 Time : 462.0 sec. user=vaughan [2009-07-28 19:40:30] 529*2^704865-1 is not prime. Res64: 553455E54C29B24D Time : 455.0 sec. user=vaughan [2009-07-28 19:45:47] 413*2^704866-1 is not prime. Res64: 50D78EBB8CE11AF2 Time : 462.0 sec. user=vaughan [2009-07-28 19:48:05] 461*2^704866-1 is not prime. Res64: 6C00A223BF9DCC67 Time : 455.0 sec. user=vaughan [2009-07-28 19:53:28] 495*2^704866-1 is not prime. Res64: 7216B1337FF0CC34 Time : 461.0 sec. user=vaughan [2009-07-28 19:55:40] 561*2^704866-1 is not prime. Res64: 613075620488E582 Time : 455.0 sec. user=vaughan [2009-07-28 20:01:09] 403*2^704867-1 is not prime. Res64: 210146FA4C16DFB9 Time : 461.0 sec. user=vaughan [2009-07-28 20:03:15] 511*2^704867-1 is not prime. Res64: 3A13A26C0309FE71 Time : 455.0 sec. user=vaughan [2009-07-28 20:06:42] 531*2^704865-1 is not prime. Res64: 952398BFA18A9270 Time : 1866.0 sec. user=vaughan [2009-07-28 20:08:49] 523*2^704867-1 is not prime. Res64: 73816ED931183D94 Time : 460.0 sec. user=vaughan [2009-07-28 20:10:49] 413*2^704868-1 is not prime. Res64: EB5792E2515C6D57 Time : 454.0 sec. user=vaughan [2009-07-28 20:16:29] 473*2^704868-1 is not prime. Res64: CD8BDC8A374B3759 Time : 460.0 sec. user=vaughan [2009-07-28 20:18:24] 503*2^704868-1 is not prime. Res64: F28A2C27FAED490C Time : 455.0 sec. user=vaughan [2009-07-28 20:24:09] 549*2^704868-1 is not prime. Res64: 846B406F3DCE1675 Time : 460.0 sec. user=vaughan [2009-07-28 20:25:59] 435*2^704869-1 is not prime. Res64: 0870D2A26F0CC563 Time : 455.0 sec. user=vaughan [2009-07-28 20:31:49] 549*2^704869-1 is not prime. Res64: D0297946A931ED1F Time : 460.0 sec. user=vaughan [2009-07-28 20:33:35] 577*2^704869-1 is not prime. Res64: DF2839146643A237 Time : 456.0 sec. user=vaughan [2009-07-28 20:38:38] 459*2^704868-1 is not prime. Res64: FFAD9AEEBB4BC414 Time : 1916.0 sec. user=vaughan [2009-07-28 20:39:29] 595*2^704869-1 is not prime. Res64: B7DAFDAB918F7859 Time : 460.0 sec. user=vaughan [2009-07-28 20:41:10] 597*2^704869-1 is not prime. Res64: A46F4C35A8768645 Time : 455.0 sec. user=vaughan [2009-07-28 20:47:09] 425*2^704870-1 is not prime. Res64: DBEF5BE27D11F160 Time : 460.0 sec. user=vaughan [2009-07-28 20:48:46] 461*2^704870-1 is not prime. Res64: 86125789F5D8AFF7 Time : 456.0 sec. user=vaughan [2009-07-28 20:54:48] 593*2^704870-1 is not prime. Res64: 86A892D2C605A80A Time : 459.0 sec. user=vaughan [2009-07-28 20:56:21] 411*2^704871-1 is not prime. Res64: 82E4CC7C16D32B70 Time : 455.0 sec. user=vaughan [2009-07-28 21:02:28] 459*2^704871-1 is not prime. Res64: 792B43D2C5E45A42 Time : 460.0 sec. user=vaughan [2009-07-28 21:03:56] 469*2^704871-1 is not prime. Res64: D0BC0FD1A3EDD25C Time : 455.0 sec. user=vaughan [2009-07-28 21:10:09] 513*2^704871-1 is not prime. Res64: E6DD19EEB8894DB7 Time : 461.0 sec. user=vaughan [2009-07-28 21:10:23] 407*2^704870-1 is not prime. Res64: 953285F55B302696 Time : 1905.0 sec. user=vaughan [2009-07-28 21:11:31] 591*2^704871-1 is not prime. Res64: 26A5FC15E54CB95B Time : 455.0 sec. user=vaughan [2009-07-28 21:17:53] 595*2^704871-1 is not prime. Res64: 10F6B40B8097E827 Time : 464.0 sec. user=vaughan [2009-07-28 21:19:08] 447*2^704872-1 is not prime. Res64: 4FE7E84C98608B80 Time : 457.0 sec. user=vaughan [2009-07-28 21:25:31] 485*2^704872-1 is not prime. Res64: E003195454616AAA Time : 458.0 sec. user=vaughan [2009-07-28 21:26:43] 489*2^704872-1 is not prime. Res64: CBF82FE32C012143 Time : 455.0 sec. user=vaughan [2009-07-28 21:33:09] 519*2^704872-1 is not prime. Res64: 8A8E977B14CB5E80 Time : 458.0 sec. user=vaughan [2009-07-28 21:34:18] 569*2^704872-1 is not prime. Res64: 17E1B8979499D302 Time : 455.0 sec. user=vaughan [2009-07-28 21:40:47] 439*2^704873-1 is not prime. Res64: B522C7A48BE25A9A Time : 458.0 sec. user=vaughan [2009-07-28 21:41:37] 405*2^704872-1 is not prime. Res64: FE483973DCA4676A Time : 1874.0 sec. user=vaughan [2009-07-28 21:41:53] 465*2^704873-1 is not prime. Res64: D2C1EB0B13291435 Time : 455.0 sec. user=vaughan [2009-07-28 21:48:27] 549*2^704873-1 is not prime. Res64: A21D9A031048E746 Time : 460.0 sec. user=vaughan [2009-07-28 21:49:29] 577*2^704873-1 is not prime. Res64: 04C02F17DC5F001C Time : 456.0 sec. user=vaughan [2009-07-28 21:56:08] 591*2^704873-1 is not prime. Res64: 039A599648C9E1AE Time : 461.0 sec. user=vaughan [2009-07-28 21:57:04] 437*2^704874-1 is not prime. Res64: D432CD3592493E1E Time : 455.0 sec. user=vaughan [2009-07-28 22:03:49] 453*2^704874-1 is not prime. Res64: 677F66E134B42951 Time : 461.0 sec. user=vaughan [2009-07-28 22:04:39] 465*2^704874-1 is not prime. Res64: 26BD8CE12DACDC1B Time : 455.0 sec. user=vaughan [2009-07-28 22:11:30] 507*2^704874-1 is not prime. Res64: 29FD1B1C0361564A Time : 461.0 sec. user=vaughan [2009-07-28 22:12:14] 543*2^704874-1 is not prime. Res64: F885CCCBC0B34A0E Time : 455.0 sec. user=vaughan [2009-07-28 22:13:16] 559*2^704873-1 is not prime. Res64: 969791929FF5D4A9 Time : 1900.0 sec. user=vaughan [2009-07-28 22:19:11] 405*2^704875-1 is not prime. Res64: D9052104FF619E5C Time : 461.0 sec. user=vaughan [2009-07-28 22:19:49] 479*2^704876-1 is not prime. Res64: F170360EA35A477E Time : 455.0 sec. user=vaughan [2009-07-28 22:26:53] 525*2^704876-1 is not prime. Res64: 6773A443FDCB6F0C Time : 462.0 sec. user=vaughan [2009-07-28 22:27:24] 539*2^704876-1 is not prime. Res64: 89F29C40C0301290 Time : 455.0 sec. user=vaughan [2009-07-28 22:34:34] 585*2^704876-1 is not prime. Res64: 9BBCCBA9D281C985 Time : 461.0 sec. user=vaughan [2009-07-28 22:35:00] 475*2^704877-1 is not prime. Res64: AD148709CAB59CC3 Time : 456.0 sec. user=vaughan [2009-07-28 22:42:14] 549*2^704877-1 is not prime. Res64: C45C2796C56615E2 Time : 460.0 sec. user=vaughan [2009-07-28 22:42:35] 467*2^704878-1 is not prime. Res64: 4E5CFC98707959B0 Time : 455.0 sec. user=vaughan [2009-07-28 22:45:35] 515*2^704876-1 is not prime. Res64: E53E333B3A521706 Time : 1939.0 sec. user=vaughan [2009-07-28 22:49:54] 491*2^704878-1 is not prime. Res64: 3463E414D98A1C91 Time : 460.0 sec. user=vaughan [2009-07-28 22:50:11] 503*2^704878-1 is not prime. Res64: 5E167A7849F6F562 Time : 456.0 sec. user=vaughan [2009-07-28 22:57:34] 559*2^704879-1 is not prime. Res64: DA77FE4A09577361 Time : 460.0 sec. user=vaughan [2009-07-28 22:57:46] 565*2^704879-1 is not prime. Res64: AA5948F86B0A35B4 Time : 455.0 sec. user=vaughan [2009-07-28 23:05:14] 571*2^704879-1 is not prime. Res64: A6D4CE6474AF26E9 Time : 460.0 sec. user=vaughan [2009-07-28 23:05:21] 453*2^704880-1 is not prime. Res64: 3DF7A3332311607C Time : 455.0 sec. user=vaughan [2009-07-28 23:12:54] 455*2^704880-1 is not prime. Res64: F50189D92546F7ED Time : 460.0 sec. user=vaughan [2009-07-28 23:12:57] 467*2^704880-1 is not prime. Res64: 7657565EDE7A38FE Time : 456.0 sec. user=vaughan [2009-07-28 23:17:03] 573*2^704878-1 is not prime. Res64: E359BFA2A083BDFF Time : 1888.0 sec. user=vaughan [2009-07-28 23:20:32] 465*2^704881-1 is not prime. Res64: 704BEE2BCC61CA06 Time : 455.0 sec. user=vaughan [2009-07-28 23:20:34] 567*2^704880-1 is not prime. Res64: D300B17154F5DE13 Time : 460.0 sec. user=vaughan [2009-07-28 23:28:08] 525*2^704881-1 is not prime. Res64: 33116240B7B07B2F Time : 456.0 sec. user=vaughan [2009-07-28 23:28:18] 405*2^704882-1 is not prime. Res64: 870F671650A280AD Time : 464.0 sec. user=vaughan [2009-07-28 23:35:41] 483*2^704882-1 is not prime. Res64: 5AA4305740910E27 Time : 453.0 sec. user=vaughan [2009-07-28 23:36:02] 521*2^704882-1 is not prime. Res64: A635387C3635D1E8 Time : 464.0 sec. user=vaughan [2009-07-28 23:43:14] 545*2^704882-1 is not prime. Res64: 8D7A622E947FEC5E Time : 453.0 sec. user=vaughan [2009-07-28 23:43:45] 585*2^704882-1 is not prime. Res64: 50ED7C1F91E42291 Time : 463.0 sec. user=vaughan [2009-07-28 23:50:46] 415*2^704883-1 is not prime. Res64: 4E811AA338818C42 Time : 452.0 sec. user=vaughan [2009-07-28 23:51:28] 451*2^704883-1 is not prime. Res64: 620DE681847292EF Time : 463.0 sec. user=vaughan [2009-07-28 23:58:18] 549*2^704883-1 is not prime. Res64: B9729184A36DDC8F Time : 452.0 sec. user=vaughan [2009-07-28 23:59:12] 571*2^704883-1 is not prime. Res64: 0CEA6D018C21A216 Time : 464.0 sec.