user=mdettweiler [2008-11-09 16:47:14] 813*2^570010-1 is not prime. Res64: 2610F21C4224C053 Time : 14.0 sec. user=mdettweiler [2008-11-09 16:55:59] 905*2^570010-1 is not prime. Res64: 72CF870F1261FE2A Time : 539.0 sec. user=mdettweiler [2008-11-09 17:10:27] 945*2^570010-1 is not prime. Res64: 28D08315ED13882C Time : 1406.0 sec. user=mdettweiler [2008-11-09 17:22:21] 951*2^570010-1 is not prime. Res64: A000EC72F7BB1E0D Time : 2120.0 sec. user=mdettweiler [2008-11-09 17:31:09] 439*2^570011-1 is not prime. Res64: 6B826BA44A6A183F Time : 2648.0 sec. user=mdettweiler [2008-11-09 17:40:11] 465*2^570011-1 is not prime. Res64: 1047B8F9041E9F11 Time : 3177.0 sec. user=mdettweiler [2008-11-09 17:48:29] 493*2^570011-1 is not prime. Res64: 9E25CAEF7E60D1C1 Time : 3150.0 sec. user=mdettweiler [2008-11-09 17:56:50] 571*2^570011-1 is not prime. Res64: CE7CE169A418A1BC Time : 2784.0 sec. user=mdettweiler [2008-11-09 18:05:11] 595*2^570011-1 is not prime. Res64: 1BA3F38B3DB563AD Time : 2570.0 sec. user=mdettweiler [2008-11-09 18:13:27] 603*2^570011-1 is not prime. Res64: 42F6800F86049380 Time : 2539.0 sec. user=mdettweiler [2008-11-09 18:21:43] 651*2^570011-1 is not prime. Res64: 5E125238B4B7DA8E Time : 2492.0 sec. user=mdettweiler [2008-11-09 18:30:03] 679*2^570011-1 is not prime. Res64: 044F96DD5E3565B5 Time : 2494.0 sec. user=mdettweiler [2008-11-09 18:38:17] 735*2^570011-1 is not prime. Res64: 2D8F45D3A3689FBB Time : 2487.0 sec. user=mdettweiler [2008-11-09 18:46:32] 745*2^570011-1 is not prime. Res64: B8FC1F922B2E0EFF Time : 2481.0 sec. user=mdettweiler [2008-11-09 18:54:46] 823*2^570011-1 is not prime. Res64: CE8590BC8A8655E7 Time : 2479.0 sec. user=mdettweiler [2008-11-09 19:03:01] 859*2^570011-1 is not prime. Res64: 76E96D97DC79EB57 Time : 2478.0 sec. user=mdettweiler [2008-11-09 19:11:15] 979*2^570011-1 is not prime. Res64: DB69F167CC2EF043 Time : 2472.0 sec. user=mdettweiler [2008-11-09 19:19:29] 981*2^570011-1 is not prime. Res64: BD40DE7033D1F12D Time : 2472.0 sec. user=mdettweiler [2008-11-09 19:27:55] 447*2^570012-1 is not prime. Res64: B74D45C2C6BCC8C3 Time : 2483.0 sec. user=mdettweiler [2008-11-09 19:36:57] 453*2^570012-1 is not prime. Res64: 1B23C078F5361910 Time : 2531.0 sec. user=mdettweiler [2008-11-09 19:45:43] 455*2^570012-1 is not prime. Res64: DB3EC3FD5E2F268F Time : 2562.0 sec. user=mdettweiler [2008-11-09 19:54:40] 489*2^570012-1 is not prime. Res64: D42517B361A60725 Time : 2605.0 sec. user=mdettweiler [2008-11-09 20:03:13] 563*2^570012-1 is not prime. Res64: D4CC98EAC31E4541 Time : 2624.0 sec. user=mdettweiler [2008-11-09 20:11:40] 569*2^570012-1 is not prime. Res64: 6375921E111429E0 Time : 2625.0 sec. user=mdettweiler [2008-11-09 20:20:33] 609*2^570012-1 is not prime. Res64: 48FABD8D57B58A2E Time : 2616.0 sec. user=mdettweiler [2008-11-09 20:29:32] 635*2^570012-1 is not prime. Res64: 26C19DCF96E74C4A Time : 2629.0 sec. user=mdettweiler [2008-11-09 20:38:30] 669*2^570012-1 is not prime. Res64: C478751F69924E0B Time : 2630.0 sec. user=mdettweiler [2008-11-09 20:47:25] 683*2^570012-1 is not prime. Res64: 5A80A22FC97DA8C9 Time : 2652.0 sec. user=mdettweiler [2008-11-09 20:55:56] 737*2^570012-1 is not prime. Res64: B2922676785EAFC0 Time : 2656.0 sec. user=mdettweiler [2008-11-09 21:04:34] 759*2^570012-1 is not prime. Res64: 4D971AD1DCCF394F Time : 2642.0 sec. user=mdettweiler [2008-11-09 21:13:09] 825*2^570012-1 is not prime. Res64: FF344ED91DC617DA Time : 2618.0 sec. user=mdettweiler [2008-11-09 21:22:15] 843*2^570012-1 is not prime. Res64: E20F4CA1A99FFBCA Time : 2625.0 sec. user=mdettweiler [2008-11-09 21:36:41] 875*2^570012-1 is not prime. Res64: 28113722CF1B50B1 Time : 2956.0 sec. user=mdettweiler [2008-11-09 21:45:14] 893*2^570012-1 is not prime. Res64: C013A258D45CB888 Time : 2958.0 sec. user=mdettweiler [2008-11-09 21:53:54] 903*2^570012-1 is not prime. Res64: 59808FB132B3ACAF Time : 2960.0 sec. user=mdettweiler [2008-11-09 22:04:46] 959*2^570012-1 is not prime. Res64: 422EF10768B593BB Time : 3097.0 sec. user=mdettweiler [2008-11-09 22:18:53] 507*2^570013-1 is not prime. Res64: A44595904F8F4817 Time : 3398.0 sec. user=mdettweiler [2008-11-09 22:28:46] 537*2^570013-1 is not prime. Res64: 46482CBA030319E8 Time : 3125.0 sec. user=mdettweiler [2008-11-09 22:37:34] 555*2^570013-1 is not prime. Res64: E25879093F02909B Time : 3140.0 sec. user=mdettweiler [2008-11-09 22:46:02] 615*2^570013-1 is not prime. Res64: 929E0542AF498F8A Time : 3128.0 sec. user=mdettweiler [2008-11-09 22:54:44] 681*2^570013-1 is not prime. Res64: 0605B5485D314A2C Time : 2998.0 sec. user=mdettweiler [2008-11-09 23:03:28] 687*2^570013-1 is not prime. Res64: 81D83C406866ACD0 Time : 2675.0 sec. user=mdettweiler [2008-11-09 23:12:04] 741*2^570013-1 is not prime. Res64: AE7B394568BC8EB3 Time : 2599.0 sec. user=mdettweiler [2008-11-09 23:20:34] 771*2^570013-1 is not prime. Res64: C23E69321D0595AE Time : 2580.0 sec. user=mdettweiler [2008-11-09 23:29:10] 819*2^570013-1 is not prime. Res64: 24FC51A19D82A098 Time : 2588.0 sec. user=mdettweiler [2008-11-09 23:37:23] 877*2^570013-1 is not prime. Res64: 73489C46565A78AA Time : 2559.0 sec. user=mdettweiler [2008-11-09 23:45:59] 915*2^570013-1 is not prime. Res64: 310A776737BDAFF6 Time : 2551.0 sec. user=mdettweiler [2008-11-09 23:54:37] 925*2^570013-1 is not prime. Res64: 6697B47FCD3A85ED Time : 2554.0 sec. user=mdettweiler [2008-11-10 00:03:14] 939*2^570013-1 is not prime. Res64: 099D53FDDFC4CA56 Time : 2560.0 sec. user=mdettweiler [2008-11-10 00:11:30] 957*2^570013-1 is not prime. Res64: C28045AD27C0F43F Time : 2540.0 sec. user=mdettweiler [2008-11-10 00:19:46] 447*2^570014-1 is not prime. Res64: BC7E7B8E3EDD89C2 Time : 2543.0 sec. user=mdettweiler [2008-11-10 00:32:47] 503*2^570014-1 is not prime. Res64: 89D9045F2854AF85 Time : 2808.0 sec. user=mdettweiler [2008-11-10 00:47:37] 525*2^570014-1 is not prime. Res64: 4C7520A12E4FD407 Time : 3181.0 sec. user=mdettweiler [2008-11-10 01:02:56] 573*2^570014-1 is not prime. Res64: 6F0975E9AD34E3E3 Time : 3582.0 sec. user=mdettweiler [2008-11-10 01:21:04] 627*2^570014-1 is not prime. Res64: ADF166596410D995 Time : 4174.0 sec. user=mdettweiler [2008-11-10 01:34:13] 657*2^570014-1 is not prime. Res64: 81E0182F78D37EF6 Time : 4467.0 sec. user=mdettweiler [2008-11-10 01:48:51] 671*2^570014-1 is not prime. Res64: 23F81C32D5A5E254 Time : 4564.0 sec. user=mdettweiler [2008-11-10 02:04:11] 717*2^570014-1 is not prime. Res64: 7F579E9542DFBE43 Time : 4595.0 sec. user=mdettweiler [2008-11-10 02:19:58] 743*2^570014-1 is not prime. Res64: A4674CE6C93D0FBD Time : 4622.0 sec. user=mdettweiler [2008-11-10 02:36:01] 885*2^570014-1 is not prime. Res64: 11B9A3FD68A5B76D Time : 4497.0 sec. user=mdettweiler [2008-11-10 02:52:12] 903*2^570014-1 is not prime. Res64: E65FE979C702E556 Time : 4679.0 sec. user=mdettweiler [2008-11-10 03:08:00] 921*2^570014-1 is not prime. Res64: EF4DEE3144DB82D6 Time : 4749.0 sec. user=mdettweiler [2008-11-10 03:23:16] 923*2^570014-1 is not prime. Res64: 23615B785D2ECE1C Time : 4745.0 sec. user=mdettweiler [2008-11-10 03:38:47] 411*2^570015-1 is not prime. Res64: 61F1D32F9DBAFB33 Time : 4729.0 sec. user=mdettweiler [2008-11-10 03:53:35] 441*2^570015-1 is not prime. Res64: 48B4F0C1340F6D60 Time : 4654.0 sec. user=mdettweiler [2008-11-10 04:08:46] 489*2^570015-1 is not prime. Res64: 18D8A80BD0C68FAB Time : 4594.0 sec. user=mdettweiler [2008-11-10 04:26:35] 523*2^570015-1 is not prime. Res64: C988B3C8DB514196 Time : 4715.0 sec. user=mdettweiler [2008-11-10 04:39:22] 663*2^570015-1 is not prime. Res64: B75BE80E644B0158 Time : 4566.0 sec. user=mdettweiler [2008-11-10 04:47:35] 775*2^570015-1 is not prime. Res64: AAEB36865C338C52 Time : 4128.0 sec. user=mdettweiler [2008-11-10 04:55:47] 829*2^570015-1 is not prime. Res64: 08152388BC7C4BE6 Time : 3732.0 sec. user=mdettweiler [2008-11-10 05:03:59] 853*2^570015-1 is not prime. Res64: B2CE47042AFEDF72 Time : 3313.0 sec. user=mdettweiler [2008-11-10 05:12:12] 909*2^570015-1 is not prime. Res64: AAFE0006276626C0 Time : 2737.0 sec. user=mdettweiler [2008-11-10 05:20:25] 485*2^570016-1 is not prime. Res64: 1D921315C149A25B Time : 2463.0 sec. user=mdettweiler [2008-11-10 05:28:38] 519*2^570016-1 is not prime. Res64: FB02D806EB7DF2D4 Time : 2463.0 sec. user=mdettweiler [2008-11-10 05:36:51] 537*2^570016-1 is not prime. Res64: AA282E2BEB31616B Time : 2464.0 sec. user=mdettweiler [2008-11-10 05:45:03] 587*2^570016-1 is not prime. Res64: 7E201D0F9C436A8E Time : 2464.0 sec. user=mdettweiler [2008-11-10 05:53:16] 597*2^570016-1 is not prime. Res64: CABA1D45D0862401 Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:01:29] 657*2^570016-1 is not prime. Res64: 9A31045A8BB3E256 Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:09:42] 813*2^570016-1 is not prime. Res64: 263B479DA6F95184 Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:17:54] 887*2^570016-1 is not prime. Res64: 92ADB1552694330E Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:26:07] 903*2^570016-1 is not prime. Res64: BB4F454DD6E65E05 Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:34:20] 965*2^570016-1 is not prime. Res64: C781002161A479B0 Time : 2464.0 sec. user=mdettweiler [2008-11-10 06:42:32] 969*2^570016-1 is not prime. Res64: B5541BD282AA8911 Time : 2463.0 sec. user=mdettweiler [2008-11-10 06:50:45] 989*2^570016-1 is not prime. Res64: E4A880933CEE0B3C Time : 2463.0 sec.