user=mdettweiler [2008-11-02 16:05:53] 471*2^570001-1 is not prime. Res64: 52A9865B47969C69 Time : 519.0 sec. user=mdettweiler [2008-11-02 16:14:13] 517*2^570001-1 is not prime. Res64: 76AE9EBB856335AC Time : 1019.0 sec. user=mdettweiler [2008-11-02 16:22:33] 535*2^570001-1 is not prime. Res64: 62B9589A30E33E1C Time : 1519.0 sec. user=mdettweiler [2008-11-02 16:30:51] 591*2^570001-1 is not prime. Res64: 93623A8468700EFB Time : 2016.0 sec. user=mdettweiler [2008-11-02 16:39:20] 607*2^570001-1 is not prime. Res64: 7A440040BA65CBBA Time : 2525.0 sec. user=mdettweiler [2008-11-02 16:47:40] 829*2^570001-1 is not prime. Res64: 7C1CC5C8FF75E779 Time : 2508.0 sec. user=mdettweiler [2008-11-02 16:55:58] 855*2^570001-1 is not prime. Res64: 22D2054094FB2B0F Time : 2506.0 sec. user=mdettweiler [2008-11-02 17:04:29] 997*2^570001-1 is not prime. Res64: 05B378A9A057B726 Time : 2517.0 sec. user=mdettweiler [2008-11-02 17:12:51] 423*2^570002-1 is not prime. Res64: 426427C04D098A88 Time : 2521.0 sec. user=mdettweiler [2008-11-02 17:21:15] 437*2^570002-1 is not prime. Res64: CD2AD921BD8BF5FE Time : 2515.0 sec. user=mdettweiler [2008-11-02 17:29:31] 593*2^570002-1 is not prime. Res64: 644376F71A225A81 Time : 2512.0 sec. user=mdettweiler [2008-11-02 17:37:53] 603*2^570002-1 is not prime. Res64: 78C2C6A4B95654C7 Time : 2515.0 sec. user=mdettweiler [2008-11-02 17:46:10] 705*2^570002-1 is not prime. Res64: CC96E1DD086C49E6 Time : 2502.0 sec. user=mdettweiler [2008-11-02 17:54:29] 711*2^570002-1 is not prime. Res64: 48F239F1F977F73F Time : 2498.0 sec. user=mdettweiler [2008-11-02 18:02:44] 741*2^570002-1 is not prime. Res64: 1294942ABD1FFDEC Time : 2490.0 sec. user=mdettweiler [2008-11-02 18:10:59] 813*2^570002-1 is not prime. Res64: 8521B36CF977875C Time : 2488.0 sec. user=mdettweiler [2008-11-02 18:19:20] 837*2^570002-1 is not prime. Res64: AD199D4F27B1697C Time : 2487.0 sec. user=mdettweiler [2008-11-02 18:27:35] 935*2^570002-1 is not prime. Res64: D43260C57E78D9BB Time : 2485.0 sec. user=mdettweiler [2008-11-02 18:35:53] 951*2^570002-1 is not prime. Res64: C985DEAC0FB9B9F0 Time : 2484.0 sec. user=mdettweiler [2008-11-02 18:44:09] 439*2^570003-1 is not prime. Res64: C21A4794F356AC87 Time : 2485.0 sec. user=mdettweiler [2008-11-02 18:52:25] 441*2^570003-1 is not prime. Res64: 05665B0BABA53246 Time : 2486.0 sec. user=mdettweiler [2008-11-02 19:00:48] 465*2^570003-1 is not prime. Res64: F8003BCEF29BBB7F Time : 2488.0 sec. user=mdettweiler [2008-11-02 19:09:08] 493*2^570003-1 is not prime. Res64: F757EDF7C346B170 Time : 2493.0 sec. user=mdettweiler [2008-11-02 19:17:25] 529*2^570003-1 is not prime. Res64: CA4600248A74B918 Time : 2492.0 sec. user=mdettweiler [2008-11-02 19:25:44] 573*2^570003-1 is not prime. Res64: 046B3507C8BF7535 Time : 2495.0 sec. user=mdettweiler [2008-11-02 19:33:58] 591*2^570003-1 is not prime. Res64: C682785490E9A4CC Time : 2493.0 sec. user=mdettweiler [2008-11-02 19:42:16] 595*2^570003-1 is not prime. Res64: 1D0E9BBEAFF47F6A Time : 2489.0 sec. user=mdettweiler [2008-11-02 19:50:45] 609*2^570003-1 is not prime. Res64: D4C2F7DFAF9D1C08 Time : 2497.0 sec. user=mdettweiler [2008-11-02 19:59:56] 669*2^570003-1 is not prime. Res64: 6BF2E7CB31AD2E03 Time : 2551.0 sec. user=mdettweiler [2008-11-02 20:08:53] 721*2^570003-1 is not prime. Res64: 5D469B8A12CD7663 Time : 2589.0 sec. user=mdettweiler [2008-11-02 20:17:46] 723*2^570003-1 is not prime. Res64: 4504467775119631 Time : 2628.0 sec. user=mdettweiler [2008-11-02 20:26:08] 735*2^570003-1 is not prime. Res64: D946146F9D2C1E57 Time : 2632.0 sec. user=mdettweiler [2008-11-02 20:34:43] 795*2^570003-1 is not prime. Res64: A85B3833B948ED54 Time : 2638.0 sec. user=mdettweiler [2008-11-02 20:43:34] 819*2^570003-1 is not prime. Res64: EE403648EF35A618 Time : 2618.0 sec. user=mdettweiler [2008-11-02 20:52:20] 873*2^570003-1 is not prime. Res64: 04E87A0D5068B934 Time : 2607.0 sec. user=mdettweiler [2008-11-02 21:01:11] 879*2^570003-1 is not prime. Res64: D67AC78401392329 Time : 2605.0 sec. user=mdettweiler [2008-11-02 21:09:50] 891*2^570003-1 is not prime. Res64: D1F353D683B40816 Time : 2622.0 sec. user=mdettweiler [2008-11-02 21:18:37] 895*2^570003-1 is not prime. Res64: A5F6825C965B0A52 Time : 2634.0 sec. user=mdettweiler [2008-11-02 21:27:02] 963*2^570003-1 is not prime. Res64: 5EC7D96F3FC33BA8 Time : 2609.0 sec. user=mdettweiler [2008-11-02 21:35:58] 969*2^570003-1 is not prime. Res64: 6734492F604A85B9 Time : 2619.0 sec. user=mdettweiler [2008-11-02 21:45:52] 507*2^570004-1 is not prime. Res64: 21FA135BC8DCDD38 Time : 2681.0 sec. user=mdettweiler [2008-11-02 21:58:36] 527*2^570004-1 is not prime. Res64: EB97ECACD9D4FE08 Time : 2927.0 sec. user=mdettweiler [2008-11-02 22:11:27] 563*2^570004-1 is not prime. Res64: F22A21085FA096BA Time : 3170.0 sec. user=mdettweiler [2008-11-02 22:24:29] 635*2^570004-1 is not prime. Res64: 716F132486322A41 Time : 3447.0 sec. user=mdettweiler [2008-11-02 22:34:27] 717*2^570004-1 is not prime. Res64: 9BA991DBF84F0BF5 Time : 3509.0 sec. user=mdettweiler [2008-11-02 22:43:06] 723*2^570004-1 is not prime. Res64: 214EDCE7A41F396D Time : 3434.0 sec. user=mdettweiler [2008-11-02 22:52:18] 785*2^570004-1 is not prime. Res64: F8BF03466399B60D Time : 3222.0 sec. user=mdettweiler [2008-11-02 23:01:48] 813*2^570004-1 is not prime. Res64: ECFB32EFF42898AA Time : 3021.0 sec. user=mdettweiler [2008-11-02 23:10:15] 885*2^570004-1 is not prime. Res64: 54D9042CEED2DAA1 Time : 2746.0 sec. user=mdettweiler [2008-11-02 23:18:22] 899*2^570004-1 is not prime. Res64: 818A508C966E199B Time : 2635.0 sec. user=mdettweiler [2008-11-02 23:26:32] 905*2^570004-1 is not prime. Res64: 01ABE6EA58A2EECB Time : 2606.0 sec. user=mdettweiler [2008-11-02 23:34:42] 939*2^570004-1 is not prime. Res64: DA180D839001C58B Time : 2544.0 sec. user=mdettweiler [2008-11-02 23:42:53] 447*2^570005-1 is not prime. Res64: F3ECFE852FE44EB4 Time : 2465.0 sec. user=mdettweiler [2008-11-02 23:51:03] 517*2^570005-1 is not prime. Res64: 93FDBC47BEC93947 Time : 2448.0 sec. user=mdettweiler [2008-11-02 23:59:14] 735*2^570005-1 is not prime. Res64: 74B15340D671FB0F Time : 2452.0 sec. user=mdettweiler [2008-11-03 00:07:23] 799*2^570005-1 is not prime. Res64: DE0A48EF73F34B06 Time : 2451.0 sec. user=mdettweiler [2008-11-03 00:15:33] 871*2^570005-1 is not prime. Res64: D24D541469D20C0B Time : 2451.0 sec. user=mdettweiler [2008-11-03 00:23:43] 885*2^570005-1 is not prime. Res64: 317D7C200B4572C3 Time : 2450.0 sec. user=mdettweiler [2008-11-03 00:31:49] 897*2^570005-1 is not prime. Res64: EF96D1BF98CFBC59 Time : 2446.0 sec. user=mdettweiler [2008-11-03 00:39:56] 465*2^570006-1 is not prime. Res64: F4CBE2E97C0C36DC Time : 2442.0 sec. user=mdettweiler [2008-11-03 00:48:02] 515*2^570006-1 is not prime. Res64: 7D06FAA676B93024 Time : 2439.0 sec. user=mdettweiler [2008-11-03 00:56:10] 635*2^570006-1 is not prime. Res64: 489B07C534538C0A Time : 2437.0 sec. user=mdettweiler [2008-11-03 01:04:18] 677*2^570006-1 is not prime. Res64: 320CAA078DE3746B Time : 2435.0 sec. user=mdettweiler [2008-11-03 01:12:25] 693*2^570006-1 is not prime. Res64: 2B57EB8C9FA0288C Time : 2436.0 sec. user=mdettweiler [2008-11-03 01:20:33] 711*2^570006-1 is not prime. Res64: 873F0A335FDB5B09 Time : 2438.0 sec. user=mdettweiler [2008-11-03 01:28:40] 923*2^570006-1 is not prime. Res64: 263A14EA6B2DFA95 Time : 2438.0 sec. user=mdettweiler [2008-11-03 01:36:50] 947*2^570006-1 is not prime. Res64: 61B721DF85BB723C Time : 2440.0 sec. user=mdettweiler [2008-11-03 01:45:00] 429*2^570007-1 is not prime. Res64: 224E4D719DEE7AC4 Time : 2442.0 sec. user=mdettweiler [2008-11-03 01:53:10] 489*2^570007-1 is not prime. Res64: 68FDB504EA20D210 Time : 2445.0 sec. user=mdettweiler [2008-11-03 02:01:20] 553*2^570007-1 is not prime. Res64: 03F9405A41C9666A Time : 2447.0 sec. user=mdettweiler [2008-11-03 02:09:30] 559*2^570007-1 is not prime. Res64: 88E8706AB4B70493 Time : 2450.0 sec. user=mdettweiler [2008-11-03 02:17:41] 603*2^570007-1 is not prime. Res64: F9F293069091F2B3 Time : 2451.0 sec. user=mdettweiler [2008-11-03 02:25:51] 703*2^570007-1 is not prime. Res64: 812CC036441AC271 Time : 2451.0 sec. user=mdettweiler [2008-11-03 02:34:01] 765*2^570007-1 is not prime. Res64: E2FE490AA904F30C Time : 2451.0 sec. user=mdettweiler [2008-11-03 02:42:12] 871*2^570007-1 is not prime. Res64: FD580D1D0E8F9F4C Time : 2452.0 sec. user=mdettweiler [2008-11-03 02:50:21] 909*2^570007-1 is not prime. Res64: 1534D7CB577E8F03 Time : 2451.0 sec. user=mdettweiler [2008-11-03 02:58:32] 975*2^570007-1 is not prime. Res64: 8BFACF2E3F0D1F43 Time : 2451.0 sec. user=mdettweiler [2008-11-03 03:06:42] 449*2^570008-1 is not prime. Res64: 0DB40D46817EA402 Time : 2451.0 sec. user=mdettweiler [2008-11-03 03:14:52] 479*2^570008-1 is not prime. Res64: 04E1445EF93B6B53 Time : 2451.0 sec. user=mdettweiler [2008-11-03 03:26:46] 557*2^570008-1 is not prime. Res64: 182F924F4816C5A4 Time : 2674.0 sec. user=mdettweiler [2008-11-03 03:31:12] 633*2^570008-1 is not prime. Res64: AABEB09073C999EF Time : 2451.0 sec. user=mdettweiler [2008-11-03 03:39:22] 665*2^570008-1 is not prime. Res64: 63A297EDEEDCDEDA Time : 2450.0 sec. user=mdettweiler [2008-11-03 03:47:32] 687*2^570008-1 is not prime. Res64: 2FDF1C6CF18D73DF Time : 2450.0 sec. user=mdettweiler [2008-11-03 03:55:40] 699*2^570008-1 is not prime. Res64: 9914C660DA1E0B16 Time : 2448.0 sec. user=mdettweiler [2008-11-03 04:03:47] 713*2^570008-1 is not prime. Res64: 891D315F50EB8711 Time : 2161.0 sec. user=mdettweiler [2008-11-03 04:11:55] 753*2^570008-1 is prime! Time : 2443.0 sec. user=mdettweiler [2008-11-03 04:20:05] 773*2^570008-1 is not prime. Res64: 0B4E4D104F7217FC Time : 2443.0 sec. user=mdettweiler [2008-11-03 04:28:13] 815*2^570008-1 is not prime. Res64: 60714067654FDEDE Time : 2441.0 sec. user=mdettweiler [2008-11-03 04:36:21] 875*2^570008-1 is not prime. Res64: 977931AE21F46189 Time : 2442.0 sec. user=mdettweiler [2008-11-03 04:44:30] 935*2^570008-1 is not prime. Res64: 69DF47B9DC7074B1 Time : 2443.0 sec. user=mdettweiler [2008-11-03 04:52:39] 957*2^570008-1 is not prime. Res64: 5D8806D0C525906C Time : 2444.0 sec. user=mdettweiler [2008-11-03 05:00:46] 969*2^570008-1 is not prime. Res64: 5A90920D6E9A7314 Time : 2441.0 sec. user=mdettweiler [2008-11-03 05:08:55] 427*2^570009-1 is not prime. Res64: 7FEB0A0427F057B0 Time : 2442.0 sec. user=mdettweiler [2008-11-03 05:17:06] 469*2^570009-1 is not prime. Res64: 2484EDCA3BCD14AC Time : 2445.0 sec. user=mdettweiler [2008-11-03 05:25:17] 559*2^570009-1 is not prime. Res64: FFD98AF6BA6F3057 Time : 2447.0 sec. user=mdettweiler [2008-11-03 05:33:26] 579*2^570009-1 is not prime. Res64: DAED98DFEFFA8B10 Time : 2448.0 sec. user=mdettweiler [2008-11-03 05:41:35] 657*2^570009-1 is not prime. Res64: ECEFDBA03C1D4D86 Time : 2449.0 sec. user=mdettweiler [2008-11-03 05:49:43] 667*2^570009-1 is not prime. Res64: EEF5DA0175C3D338 Time : 2448.0 sec. user=mdettweiler [2008-11-03 05:57:53] 681*2^570009-1 is not prime. Res64: A9FFE3E318C1F673 Time : 2447.0 sec. user=mdettweiler [2008-11-03 06:06:02] 711*2^570009-1 is not prime. Res64: CD68235D79E5EF11 Time : 2445.0 sec. user=mdettweiler [2008-11-03 06:14:12] 765*2^570009-1 is not prime. Res64: 75652344C2B28619 Time : 2446.0 sec. user=mdettweiler [2008-11-03 06:22:21] 769*2^570009-1 is not prime. Res64: 9A98DDDF71676711 Time : 2446.0 sec. user=mdettweiler [2008-11-03 06:30:30] 817*2^570009-1 is not prime. Res64: ABEF9465C21A2E68 Time : 2447.0 sec. user=mdettweiler [2008-11-03 06:38:43] 885*2^570009-1 is not prime. Res64: 36ACAB2EA1366BC6 Time : 2450.0 sec.