user=mdettweiler [2008-11-14 10:08:49] 855*2^570068-1 is not prime. Res64: AFF33687C790A0B3 Time : 14294.0 sec. user=mdettweiler [2008-11-14 10:17:21] 879*2^570068-1 is not prime. Res64: 197E02E8254C9AAD Time : 14314.0 sec. user=mdettweiler [2008-11-14 10:25:53] 893*2^570068-1 is not prime. Res64: DC55D50BCD9D6210 Time : 14336.0 sec. user=mdettweiler [2008-11-14 10:34:33] 897*2^570068-1 is not prime. Res64: 72F3F901774C5F02 Time : 14366.0 sec. user=mdettweiler [2008-11-14 10:42:55] 899*2^570068-1 is not prime. Res64: BF912F2B9ED66C8E Time : 14378.0 sec. user=mdettweiler [2008-11-14 10:51:09] 923*2^570068-1 is not prime. Res64: 0D55413C69E53D90 Time : 2540.0 sec. user=mdettweiler [2008-11-14 10:59:21] 959*2^570068-1 is not prime. Res64: 418766D7273F6ACB Time : 2520.0 sec. user=mdettweiler [2008-11-14 11:07:34] 987*2^570068-1 is not prime. Res64: C8A69632748649C0 Time : 2501.0 sec. user=mdettweiler [2008-11-14 11:15:49] 451*2^570069-1 is not prime. Res64: C89096BCB269BB15 Time : 2476.0 sec. user=mdettweiler [2008-11-14 11:24:32] 549*2^570069-1 is not prime. Res64: E3ADABC81D7CF718 Time : 2497.0 sec. user=mdettweiler [2008-11-14 11:33:12] 661*2^570069-1 is not prime. Res64: F8F8A182D54BB859 Time : 2524.0 sec. user=mdettweiler [2008-11-14 11:41:40] 727*2^570069-1 is not prime. Res64: A3F2B8A7FDECC4B7 Time : 2539.0 sec. user=mdettweiler [2008-11-14 11:49:51] 745*2^570069-1 is not prime. Res64: A366BE2C4A91B073 Time : 2537.0 sec. user=mdettweiler [2008-11-14 11:58:05] 789*2^570069-1 is not prime. Res64: 74F5A5D10A053410 Time : 2536.0 sec. user=mdettweiler [2008-11-14 12:06:16] 829*2^570069-1 is not prime. Res64: CC0AFF2CE239943F Time : 2505.0 sec. user=mdettweiler [2008-11-14 12:14:29] 847*2^570069-1 is not prime. Res64: 703E0A2EEBCD43B4 Time : 2478.0 sec. user=mdettweiler [2008-11-14 12:23:07] 867*2^570069-1 is not prime. Res64: BA9C39CDD14B75F8 Time : 2487.0 sec. user=mdettweiler [2008-11-14 12:31:45] 889*2^570069-1 is not prime. Res64: 087968EEF43E0067 Time : 2514.0 sec. user=mdettweiler [2008-11-14 12:40:35] 919*2^570069-1 is not prime. Res64: C1E0455EFD2C0D07 Time : 2550.0 sec. user=mdettweiler [2008-11-14 12:48:56] 997*2^570069-1 is not prime. Res64: 5FB2A55C40A92718 Time : 2560.0 sec. user=mdettweiler [2008-11-14 12:57:09] 405*2^570070-1 is not prime. Res64: BBDD75D6906415FB Time : 2560.0 sec. user=mdettweiler [2008-11-14 13:05:23] 525*2^570070-1 is not prime. Res64: 6E5505DADBC2720A Time : 2537.0 sec. user=mdettweiler [2008-11-14 13:13:36] 533*2^570070-1 is not prime. Res64: 883FD1F90867832D Time : 2511.0 sec. user=mdettweiler [2008-11-14 13:21:49] 555*2^570070-1 is not prime. Res64: AF232DE6E2F3B346 Time : 2474.0 sec. user=mdettweiler [2008-11-14 13:30:05] 567*2^570070-1 is not prime. Res64: 4ED185FE15F3CDC0 Time : 2469.0 sec. user=mdettweiler [2008-11-14 13:38:20] 663*2^570070-1 is not prime. Res64: AF19DFC374B4B03D Time : 2471.0 sec. user=mdettweiler [2008-11-14 13:46:37] 665*2^570070-1 is not prime. Res64: 14143DF4A77E61B7 Time : 2474.0 sec. user=mdettweiler [2008-11-14 13:54:53] 777*2^570070-1 is not prime. Res64: D975AAC28FEF341B Time : 2478.0 sec. user=mdettweiler [2008-11-14 14:03:10] 801*2^570070-1 is not prime. Res64: 30BB33FF8F7EA9FC Time : 2481.0 sec. user=mdettweiler [2008-11-14 14:11:27] 813*2^570070-1 is not prime. Res64: 60B3102D5D4D3CFB Time : 2483.0 sec. user=mdettweiler [2008-11-14 14:19:42] 857*2^570070-1 is not prime. Res64: 9598B6E96D9A9095 Time : 2482.0 sec. user=mdettweiler [2008-11-14 14:27:58] 885*2^570070-1 is not prime. Res64: 99F3E64D30F2A360 Time : 2481.0 sec. user=mdettweiler [2008-11-14 14:36:23] 923*2^570070-1 is not prime. Res64: 68CF80007C1D9F17 Time : 2490.0 sec. user=mdettweiler [2008-11-14 14:44:58] 445*2^570071-1 is not prime. Res64: 2F05D06FC0A26CA0 Time : 2508.0 sec. user=mdettweiler [2008-11-14 14:53:24] 531*2^570071-1 is not prime. Res64: 5BDAEACB5E3A96FF Time : 2518.0 sec. user=mdettweiler [2008-11-14 15:02:00] 595*2^570071-1 is not prime. Res64: 296BB169FDB758EE Time : 2538.0 sec. user=mdettweiler [2008-11-14 15:10:27] 661*2^570071-1 is not prime. Res64: 391FC043F67B457B Time : 2549.0 sec. user=mdettweiler [2008-11-14 15:18:41] 693*2^570071-1 is not prime. Res64: 860BD466A75564EC Time : 2538.0 sec. user=mdettweiler [2008-11-14 15:27:06] 711*2^570071-1 is not prime. Res64: 16214F0873F4209D Time : 2528.0 sec. user=mdettweiler [2008-11-14 15:35:28] 783*2^570071-1 is not prime. Res64: 855590B9F5BBA72A Time : 2524.0 sec. user=mdettweiler [2008-11-14 15:43:46] 859*2^570071-1 is not prime. Res64: 687BE97A7990AEB2 Time : 2507.0 sec. user=mdettweiler [2008-11-14 15:51:57] 865*2^570071-1 is not prime. Res64: 6B24B73A37DA784A Time : 2490.0 sec. user=mdettweiler [2008-11-14 16:00:07] 413*2^570072-1 is not prime. Res64: 3C7AA3804256F5B9 Time : 2486.0 sec. user=mdettweiler [2008-11-14 16:08:17] 563*2^570072-1 is not prime. Res64: F121AFE3AF127C2C Time : 2471.0 sec. user=mdettweiler [2008-11-14 16:16:26] 587*2^570072-1 is not prime. Res64: B138535A7A137139 Time : 2458.0 sec. user=mdettweiler [2008-11-14 16:24:36] 683*2^570072-1 is not prime. Res64: BBD86B7BC3FB09C6 Time : 2450.0 sec. user=mdettweiler [2008-11-14 16:32:46] 693*2^570072-1 is not prime. Res64: 1AA8D48723E0B1AE Time : 2449.0 sec. user=mdettweiler [2008-11-14 16:40:55] 695*2^570072-1 is not prime. Res64: B322D0E2DE1DC4BF Time : 2448.0 sec. user=mdettweiler [2008-11-14 16:49:05] 719*2^570072-1 is not prime. Res64: B4ADC4947936034D Time : 2448.0 sec. user=mdettweiler [2008-11-14 16:57:15] 723*2^570072-1 is not prime. Res64: AFB4D61AF98490CD Time : 2449.0 sec. user=mdettweiler [2008-11-14 17:05:25] 725*2^570072-1 is not prime. Res64: A6C040B8407403F0 Time : 2449.0 sec. user=mdettweiler [2008-11-14 17:13:36] 779*2^570072-1 is not prime. Res64: B64A828271BBA543 Time : 2450.0 sec. user=mdettweiler [2008-11-14 17:21:47] 903*2^570072-1 is not prime. Res64: E8A5CA810D2EC5F6 Time : 2452.0 sec. user=mdettweiler [2008-11-14 17:29:57] 471*2^570073-1 is not prime. Res64: 875B2BCB41D61BD6 Time : 2452.0 sec. user=mdettweiler [2008-11-14 17:38:08] 477*2^570073-1 is not prime. Res64: 464FE34A8852BCCC Time : 2453.0 sec. user=mdettweiler [2008-11-14 17:46:19] 495*2^570073-1 is not prime. Res64: BB659C66C4F932B0 Time : 2454.0 sec. user=mdettweiler [2008-11-14 17:54:31] 511*2^570073-1 is not prime. Res64: BCDD036798AA8A7A Time : 2455.0 sec. user=mdettweiler [2008-11-14 18:02:42] 541*2^570073-1 is not prime. Res64: FEDA7B902603C9C0 Time : 2456.0 sec. user=mdettweiler [2008-11-14 18:10:53] 555*2^570073-1 is not prime. Res64: 8573F776844E3374 Time : 2456.0 sec. user=mdettweiler [2008-11-14 18:19:04] 565*2^570073-1 is not prime. Res64: F5B406CE5E48FB31 Time : 2456.0 sec. user=mdettweiler [2008-11-14 18:27:15] 609*2^570073-1 is not prime. Res64: 70D2A993A4D40B20 Time : 2456.0 sec. user=mdettweiler [2008-11-14 18:35:26] 615*2^570073-1 is not prime. Res64: DE82A846CB330E0C Time : 2455.0 sec. user=mdettweiler [2008-11-14 18:43:37] 639*2^570073-1 is not prime. Res64: 084B931E57C8B449 Time : 2455.0 sec. user=mdettweiler [2008-11-14 18:51:49] 649*2^570073-1 is not prime. Res64: BF89342690AF5AFE Time : 2456.0 sec. user=mdettweiler [2008-11-14 18:59:59] 685*2^570073-1 is not prime. Res64: 06DC6A39BF45883E Time : 2455.0 sec. user=mdettweiler [2008-11-14 19:08:10] 715*2^570073-1 is not prime. Res64: BCAD9681C2753D6F Time : 2455.0 sec. user=mdettweiler [2008-11-14 19:16:21] 721*2^570073-1 is not prime. Res64: 49E2C9094CB9108F Time : 2455.0 sec. user=mdettweiler [2008-11-14 19:24:32] 937*2^570073-1 is not prime. Res64: B5961BBF81D809C1 Time : 2455.0 sec. user=mdettweiler [2008-11-14 19:32:43] 999*2^570073-1 is not prime. Res64: 48AF35FB0A7BE9B9 Time : 2454.0 sec. user=mdettweiler [2008-11-14 19:40:53] 407*2^570074-1 is not prime. Res64: BF57B7063530686C Time : 2454.0 sec. user=mdettweiler [2008-11-14 19:49:03] 437*2^570074-1 is not prime. Res64: 21F295C655081040 Time : 2453.0 sec. user=mdettweiler [2008-11-14 19:57:13] 483*2^570074-1 is not prime. Res64: 99D6C4BAADEEE269 Time : 2452.0 sec. user=mdettweiler [2008-11-14 20:05:23] 633*2^570074-1 is not prime. Res64: A6BC988BC011B556 Time : 2451.0 sec. user=mdettweiler [2008-11-14 20:13:33] 641*2^570074-1 is not prime. Res64: 6D499A6C2022BF47 Time : 2450.0 sec. user=mdettweiler [2008-11-14 20:21:43] 683*2^570074-1 is not prime. Res64: 780A269F60806923 Time : 2450.0 sec. user=mdettweiler [2008-11-14 20:29:53] 741*2^570074-1 is not prime. Res64: B53F236403739725 Time : 2450.0 sec. user=mdettweiler [2008-11-14 20:38:04] 785*2^570074-1 is not prime. Res64: 1F807B0775E42C3B Time : 2451.0 sec. user=mdettweiler [2008-11-14 20:46:14] 915*2^570074-1 is not prime. Res64: 0C7B768422A7900D Time : 2451.0 sec. user=mdettweiler [2008-11-14 20:54:26] 917*2^570074-1 is not prime. Res64: 2AA19ED4B7E03B19 Time : 2453.0 sec. user=mdettweiler [2008-11-14 21:02:40] 433*2^570075-1 is not prime. Res64: 4110847F39372A48 Time : 2457.0 sec. user=mdettweiler [2008-11-14 21:10:48] 465*2^570075-1 is not prime. Res64: A6EFFF869861C345 Time : 2455.0 sec. user=mdettweiler [2008-11-14 21:18:57] 471*2^570075-1 is not prime. Res64: 181893DBFFE886CA Time : 2453.0 sec. user=mdettweiler [2008-11-14 21:27:07] 493*2^570075-1 is not prime. Res64: 9007F9DC3630A7D2 Time : 2453.0 sec. user=mdettweiler [2008-11-14 21:35:16] 633*2^570075-1 is not prime. Res64: 8973D4C9B812A8AC Time : 2451.0 sec. user=mdettweiler [2008-11-14 21:43:26] 643*2^570075-1 is not prime. Res64: C70552494E3140B8 Time : 2447.0 sec. user=mdettweiler [2008-11-14 21:51:35] 739*2^570075-1 is not prime. Res64: D71F365629CE8C22 Time : 2448.0 sec. user=mdettweiler [2008-11-14 21:59:45] 795*2^570075-1 is not prime. Res64: D8F3E5004BBC5123 Time : 2449.0 sec. user=mdettweiler [2008-11-14 22:07:54] 859*2^570075-1 is not prime. Res64: 721243E487B3FD6C Time : 2447.0 sec. user=mdettweiler [2008-11-14 22:16:05] 949*2^570075-1 is not prime. Res64: EA325DD41024A98A Time : 2450.0 sec. user=mdettweiler [2008-11-14 22:24:24] 979*2^570075-1 is not prime. Res64: 688510D59D09DFFB Time : 2458.0 sec. user=mdettweiler [2008-11-14 22:32:50] 597*2^570076-1 is not prime. Res64: D75CDE9E774644F7 Time : 2475.0 sec. user=mdettweiler [2008-11-14 22:41:02] 603*2^570076-1 is not prime. Res64: 512646E9A83FC1D0 Time : 2477.0 sec. user=mdettweiler [2008-11-14 22:49:26] 657*2^570076-1 is not prime. Res64: AB3893A90C095CA8 Time : 2492.0 sec. user=mdettweiler [2008-11-14 22:57:39] 705*2^570076-1 is not prime. Res64: 9E41C356B1BED58B Time : 2495.0 sec. user=mdettweiler [2008-11-14 23:05:52] 779*2^570076-1 is not prime. Res64: FA5AA98C82EABF55 Time : 2488.0 sec. user=mdettweiler [2008-11-14 23:14:06] 785*2^570076-1 is not prime. Res64: 5E001DF508341C09 Time : 2476.0 sec. user=mdettweiler [2008-11-14 23:22:26] 845*2^570076-1 is not prime. Res64: F6E9F3371960F5F6 Time : 2485.0 sec. user=mdettweiler [2008-11-14 23:31:13] 887*2^570076-1 is not prime. Res64: 5CF6DAB91582822C Time : 2507.0 sec. user=mdettweiler [2008-11-14 23:39:26] 927*2^570076-1 is not prime. Res64: 86ACB6A89B2FC62A Time : 2507.0 sec. user=mdettweiler [2008-11-14 23:47:36] 969*2^570076-1 is not prime. Res64: D232B4A53856D937 Time : 2504.0 sec. user=mdettweiler [2008-11-14 23:55:47] 975*2^570076-1 is not prime. Res64: 3EECD519A21F8B15 Time : 2501.0 sec. user=mdettweiler [2008-11-15 00:03:58] 447*2^570077-1 is not prime. Res64: 227A2065C87A3894 Time : 2492.0 sec. user=mdettweiler [2008-11-15 00:12:10] 537*2^570077-1 is not prime. Res64: A875CAF830A2443E Time : 2457.0 sec. user=mdettweiler [2008-11-15 00:20:24] 561*2^570077-1 is not prime. Res64: DA289B553A59514A Time : 2459.0 sec. user=mdettweiler [2008-11-15 00:28:35] 565*2^570077-1 is not prime. Res64: 0B35E78E85B368CB Time : 2459.0 sec. user=mdettweiler [2008-11-15 00:36:50] 577*2^570077-1 is not prime. Res64: 331B10B0295F10F7 Time : 2463.0 sec. user=mdettweiler [2008-11-15 00:45:05] 615*2^570077-1 is not prime. Res64: DED00FE9929ED341 Time : 2467.0 sec. user=mdettweiler [2008-11-15 00:53:19] 645*2^570077-1 is not prime. Res64: 5358BC2C8FCE249F Time : 2470.0 sec. user=mdettweiler [2008-11-15 01:01:32] 717*2^570077-1 is not prime. Res64: 31C2B8C463936A6C Time : 2468.0 sec. user=mdettweiler [2008-11-15 01:09:47] 729*2^570077-1 is not prime. Res64: 1A87FB276F82F554 Time : 2472.0 sec. user=mdettweiler [2008-11-15 01:20:26] 777*2^570077-1 is not prime. Res64: 872F711771DD72DC Time : 2616.0 sec. user=mdettweiler [2008-11-15 01:26:15] 925*2^570077-1 is not prime. Res64: 30E174E19F203417 Time : 2470.0 sec. user=mdettweiler [2008-11-15 01:34:27] 945*2^570077-1 is not prime. Res64: A52CEF477F591B09 Time : 2468.0 sec. user=mdettweiler [2008-11-15 01:42:41] 503*2^570078-1 is not prime. Res64: 96397EFB9BC4E8DC Time : 2469.0 sec. user=mdettweiler [2008-11-15 01:50:55] 627*2^570078-1 is not prime. Res64: DEB729555513FDD3 Time : 2468.0 sec. user=mdettweiler [2008-11-15 01:59:09] 713*2^570078-1 is not prime. Res64: 6EFD7C2EEE14CA1A Time : 2324.0 sec. user=mdettweiler [2008-11-15 02:07:23] 791*2^570078-1 is not prime. Res64: ED0D7281FC5B4F7E Time : 2469.0 sec. user=mdettweiler [2008-11-15 02:15:37] 797*2^570078-1 is not prime. Res64: A1BDDD99C3A32BAF Time : 2470.0 sec. user=mdettweiler [2008-11-15 02:23:51] 833*2^570078-1 is not prime. Res64: 98168D71D6A1975E Time : 2470.0 sec. user=mdettweiler [2008-11-15 02:32:06] 843*2^570078-1 is not prime. Res64: C8E1C0A2CBA0EC92 Time : 2471.0 sec. user=mdettweiler [2008-11-15 02:40:20] 861*2^570078-1 is not prime. Res64: 3FD7891D955211CD Time : 2471.0 sec. user=mdettweiler [2008-11-15 02:48:34] 977*2^570078-1 is not prime. Res64: 9C4C7DA16CFA9B87 Time : 2471.0 sec. user=mdettweiler [2008-11-15 02:56:48] 439*2^570079-1 is not prime. Res64: CF6FFB0E88AF963D Time : 2471.0 sec. user=mdettweiler [2008-11-15 03:05:03] 441*2^570079-1 is not prime. Res64: 95DCDF87AB7A927C Time : 2472.0 sec. user=mdettweiler [2008-11-15 03:13:18] 511*2^570079-1 is not prime. Res64: 1419091D421CD290 Time : 2472.0 sec. user=mdettweiler [2008-11-15 03:26:54] 531*2^570079-1 is not prime. Res64: 8CA5F5F6AF399E55 Time : 2794.0 sec. user=mdettweiler [2008-11-15 03:29:40] 555*2^570079-1 is not prime. Res64: 49FF2FA9A3916515 Time : 2466.0 sec. user=mdettweiler [2008-11-15 03:37:51] 589*2^570079-1 is not prime. Res64: F644922F1EEC6947 Time : 2463.0 sec. user=mdettweiler [2008-11-15 03:46:01] 661*2^570079-1 is not prime. Res64: 34ED2F9CB67770C2 Time : 2458.0 sec. user=mdettweiler [2008-11-15 03:54:11] 685*2^570079-1 is not prime. Res64: 9B84D211879D3C72 Time : 2453.0 sec. user=mdettweiler [2008-11-15 04:02:23] 745*2^570079-1 is not prime. Res64: B3EDF1713305D631 Time : 2129.0 sec. user=mdettweiler [2008-11-15 04:10:35] 759*2^570079-1 is not prime. Res64: 4EDE876614F290E3 Time : 2455.0 sec. user=mdettweiler [2008-11-15 04:18:46] 853*2^570079-1 is not prime. Res64: D46AA9A0867B2429 Time : 2455.0 sec. user=mdettweiler [2008-11-15 04:26:58] 885*2^570079-1 is not prime. Res64: BC9D54E53127BA25 Time : 2457.0 sec. user=mdettweiler [2008-11-15 04:35:11] 889*2^570079-1 is not prime. Res64: DA168E843F1E0DD8 Time : 2460.0 sec. user=mdettweiler [2008-11-15 04:43:21] 931*2^570079-1 is not prime. Res64: 02C0148D022CBC82 Time : 2458.0 sec. user=mdettweiler [2008-11-15 04:51:31] 961*2^570079-1 is not prime. Res64: 3512CB698D347E45 Time : 2456.0 sec. user=mdettweiler [2008-11-15 04:59:40] 975*2^570079-1 is not prime. Res64: 64F55F5A96CDC03F Time : 2454.0 sec. user=mdettweiler [2008-11-15 05:07:53] 993*2^570079-1 is not prime. Res64: 53BE4DCE3B2C3C11 Time : 2455.0 sec. user=mdettweiler [2008-11-15 05:16:06] 999*2^570079-1 is not prime. Res64: 081E711ACAC0A62D Time : 2455.0 sec. user=mdettweiler [2008-11-15 05:24:18] 503*2^570080-1 is not prime. Res64: EE8578728164F397 Time : 2457.0 sec. user=mdettweiler [2008-11-15 05:32:32] 533*2^570080-1 is not prime. Res64: 8F4516F751CD65FA Time : 2461.0 sec. user=mdettweiler [2008-11-15 05:40:53] 605*2^570080-1 is not prime. Res64: 61BC66491B491A89 Time : 2473.0 sec. user=mdettweiler [2008-11-15 05:49:29] 629*2^570080-1 is not prime. Res64: 31B13E030D0918F9 Time : 2496.0 sec. user=mdettweiler [2008-11-15 05:58:05] 635*2^570080-1 is not prime. Res64: C19184CC37713AC2 Time : 2519.0 sec. user=mdettweiler [2008-11-15 06:06:16] 659*2^570080-1 is not prime. Res64: 7592D1408687073D Time : 2518.0 sec. user=mdettweiler [2008-11-15 06:14:25] 665*2^570080-1 is not prime. Res64: 2184BA0A321FC795 Time : 2513.0 sec. user=mdettweiler [2008-11-15 06:22:45] 669*2^570080-1 is not prime. Res64: AD50F373D4C67BDD Time : 2512.0 sec. user=mdettweiler [2008-11-15 06:31:05] 773*2^570080-1 is not prime. Res64: A8A008AE53CF810D Time : 2496.0 sec. user=mdettweiler [2008-11-15 06:39:23] 797*2^570080-1 is not prime. Res64: 4C441E64348D0537 Time : 2478.0 sec. user=mdettweiler [2008-11-15 06:47:45] 857*2^570080-1 is not prime. Res64: 4D46E1F4C4816F5E Time : 2489.0 sec. user=mdettweiler [2008-11-15 06:56:00] 741*2^570081-1 is not prime. Res64: CA651EEE8A13F112 Time : 2495.0 sec.