user=mdettweiler [2008-11-17 10:56:58] 993*2^570108-1 is not prime. Res64: B4C24D860CE52738 Time : 39550.0 sec. user=mdettweiler [2008-11-17 17:45:31] 429*2^570109-1 is not prime. Res64: 63BF4089E26274C1 Time : 63543.0 sec. user=mdettweiler [2008-11-17 17:53:43] 471*2^570109-1 is not prime. Res64: E5271DCBB2B8D84D Time : 63516.0 sec. user=mdettweiler [2008-11-17 18:02:02] 525*2^570109-1 is not prime. Res64: 0CC3E37D21CA6210 Time : 63481.0 sec. user=mdettweiler [2008-11-17 18:10:25] 577*2^570109-1 is not prime. Res64: 26EAA86035FB3C1A Time : 63432.0 sec. user=mdettweiler [2008-11-17 18:18:46] 609*2^570109-1 is not prime. Res64: 84FDC71E990908A3 Time : 26508.0 sec. user=mdettweiler [2008-11-17 18:27:10] 619*2^570109-1 is not prime. Res64: 3915193D8451F412 Time : 2499.0 sec. user=mdettweiler [2008-11-17 18:35:39] 801*2^570109-1 is not prime. Res64: 13870342EE98E854 Time : 2516.0 sec. user=mdettweiler [2008-11-17 18:44:08] 861*2^570109-1 is not prime. Res64: 1E43B8556B81DDB1 Time : 2527.0 sec. user=mdettweiler [2008-11-17 18:52:31] 867*2^570109-1 is not prime. Res64: 1217EC3284EDF236 Time : 2526.0 sec. user=mdettweiler [2008-11-17 19:00:52] 931*2^570109-1 is not prime. Res64: EB3CE42303AFFADF Time : 2526.0 sec. user=mdettweiler [2008-11-17 19:09:11] 957*2^570109-1 is not prime. Res64: 4E2CF8F19CB6555C Time : 2521.0 sec. user=mdettweiler [2008-11-17 19:17:29] 997*2^570109-1 is not prime. Res64: AB6DF440164BF221 Time : 2510.0 sec. user=mdettweiler [2008-11-17 19:25:48] 473*2^570110-1 is not prime. Res64: AA4FEF7CEDECBC63 Time : 2500.0 sec. user=mdettweiler [2008-11-17 19:34:08] 477*2^570110-1 is not prime. Res64: 53713E04EC3FCAAF Time : 2497.0 sec. user=mdettweiler [2008-11-17 19:42:26] 635*2^570110-1 is not prime. Res64: DF979CB72E794ED2 Time : 2494.0 sec. user=mdettweiler [2008-11-17 19:50:43] 663*2^570110-1 is not prime. Res64: 4B3513A99940531C Time : 2492.0 sec. user=mdettweiler [2008-11-17 19:59:02] 713*2^570110-1 is not prime. Res64: 44BA25D1685E1DE3 Time : 2493.0 sec. user=mdettweiler [2008-11-17 20:07:21] 755*2^570110-1 is not prime. Res64: 8E4655D051B02EEB Time : 2493.0 sec. user=mdettweiler [2008-11-17 20:15:43] 797*2^570110-1 is not prime. Res64: 1432D797215D2ECE Time : 2495.0 sec. user=mdettweiler [2008-11-17 20:24:04] 825*2^570110-1 is not prime. Res64: 9490B8D1AF8A1178 Time : 2498.0 sec. user=mdettweiler [2008-11-17 20:32:15] 861*2^570110-1 is not prime. Res64: DE31AF9C9DADB7BF Time : 2492.0 sec. user=mdettweiler [2008-11-17 20:40:30] 893*2^570110-1 is not prime. Res64: 11EB9D322017E2B0 Time : 2488.0 sec. user=mdettweiler [2008-11-17 20:48:40] 923*2^570110-1 is not prime. Res64: 3F6A5181E1D69E0D Time : 2479.0 sec. user=mdettweiler [2008-11-17 20:56:51] 981*2^570110-1 is not prime. Res64: B24A6FBA22DD90AB Time : 2468.0 sec. user=mdettweiler [2008-11-17 21:05:01] 493*2^570111-1 is not prime. Res64: EFEB777E560ED22F Time : 2457.0 sec. user=mdettweiler [2008-11-17 21:13:11] 615*2^570111-1 is not prime. Res64: B12A6BCEBD565260 Time : 2456.0 sec. user=mdettweiler [2008-11-17 21:21:32] 669*2^570111-1 is not prime. Res64: F4B4F14B56405C5C Time : 2463.0 sec. user=mdettweiler [2008-11-17 21:30:11] 675*2^570111-1 is not prime. Res64: A9B5D7F82AD97008 Time : 2492.0 sec. user=mdettweiler [2008-11-17 21:38:51] 691*2^570111-1 is not prime. Res64: 59FDAE0F57348362 Time : 2521.0 sec. user=mdettweiler [2008-11-17 21:47:27] 751*2^570111-1 is not prime. Res64: 48265C1D1AB25205 Time : 2546.0 sec. user=mdettweiler [2008-11-17 21:55:53] 805*2^570111-1 is not prime. Res64: ECD7A308151365BF Time : 2562.0 sec. user=mdettweiler [2008-11-17 22:04:34] 909*2^570111-1 is not prime. Res64: 43301C8EDB0F530A Time : 2582.0 sec. user=mdettweiler [2008-11-17 22:12:59] 945*2^570111-1 is not prime. Res64: 215906391AAD79B4 Time : 2568.0 sec. user=mdettweiler [2008-11-17 22:21:20] 975*2^570111-1 is not prime. Res64: 03A4010718752D72 Time : 2549.0 sec. user=mdettweiler [2008-11-17 22:29:40] 979*2^570111-1 is not prime. Res64: 3539F7381EC730CC Time : 2533.0 sec. user=mdettweiler [2008-11-17 22:38:03] 413*2^570112-1 is not prime. Res64: FA9474E80A59B359 Time : 2530.0 sec. user=mdettweiler [2008-11-17 22:46:30] 429*2^570112-1 is not prime. Res64: 0CF0338856890CDD Time : 2516.0 sec. user=mdettweiler [2008-11-17 22:56:25] 449*2^570112-1 is not prime. Res64: F41E9602CABE704F Time : 2606.0 sec. user=mdettweiler [2008-11-17 23:05:46] 485*2^570112-1 is not prime. Res64: BAC47648D41B8FBF Time : 2666.0 sec. user=mdettweiler [2008-11-17 23:14:29] 507*2^570112-1 is not prime. Res64: 8A6E213508107612 Time : 2689.0 sec. user=mdettweiler [2008-11-17 23:22:52] 533*2^570112-1 is not prime. Res64: 3D11544D320ED584 Time : 2689.0 sec. user=mdettweiler [2008-11-17 23:31:14] 705*2^570112-1 is not prime. Res64: 4DB306498686553A Time : 2684.0 sec. user=mdettweiler [2008-11-17 23:39:33] 743*2^570112-1 is not prime. Res64: 0E17A609169104AD Time : 2919.0 sec. user=mdettweiler [2008-11-17 23:47:53] 765*2^570112-1 is not prime. Res64: 8E11A4FF1B34E658 Time : 3419.0 sec. user=mdettweiler [2008-11-17 23:56:05] 999*2^570112-1 is not prime. Res64: 6DFE26B9F2C215EE Time : 3910.0 sec. user=mdettweiler [2008-11-18 00:04:17] 441*2^570113-1 is not prime. Res64: 0A26CED64A0E343C Time : 4402.0 sec. user=mdettweiler [2008-11-18 00:12:54] 529*2^570113-1 is not prime. Res64: F3EE3FB3EB9587B2 Time : 4879.0 sec. user=mdettweiler [2008-11-18 00:21:42] 585*2^570113-1 is not prime. Res64: 795AFF7A480335FD Time : 2529.0 sec. user=mdettweiler [2008-11-18 00:30:26] 631*2^570113-1 is not prime. Res64: B05E8A77A4DB9A5F Time : 2553.0 sec. user=mdettweiler [2008-11-18 00:40:09] 675*2^570113-1 is not prime. Res64: 8CF2512A119A96DC Time : 2644.0 sec. user=mdettweiler [2008-11-18 00:48:43] 691*2^570113-1 is not prime. Res64: D8B87B44DE6975D6 Time : 2666.0 sec. user=mdettweiler [2008-11-18 00:57:12] 771*2^570113-1 is not prime. Res64: 890760EF7D169CED Time : 2658.0 sec. user=mdettweiler [2008-11-18 01:05:40] 789*2^570113-1 is not prime. Res64: 664E09A10F78B4F7 Time : 2638.0 sec. user=mdettweiler [2008-11-18 01:14:16] 801*2^570113-1 is not prime. Res64: FCC66C4FF5EC34C9 Time : 2630.0 sec.