user=mdettweiler [2012-01-11 00:01:38] 795*2^1000614-1 is not prime. Res64: 5AD16CD19B94FF00 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:01:57] 945*2^1000611-1 is not prime. Res64: 356201C3CCED1F0F Time : 0.0 sec. user=mdettweiler [2012-01-11 00:01:57] 975*2^1000611-1 is not prime. Res64: 19E9A63828DDE09F Time : 0.0 sec. user=mdettweiler [2012-01-11 00:02:34] 989*2^1000612-1 is not prime. Res64: 1BDABA887ECCDA0C Time : 0.0 sec. user=mdettweiler [2012-01-11 00:02:36] 607*2^1000613-1 is not prime. Res64: 237C0F500FDBC958 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:03:11] 825*2^1000614-1 is not prime. Res64: 9CA7C65C5E344485 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:04:26] 663*2^1000614-1 is not prime. Res64: E149E22E4C48F3F7 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:04:31] 725*2^1000614-1 is not prime. Res64: 7BF3599CDFCD9D3B Time : 0.0 sec. user=mdettweiler [2012-01-11 00:09:14] 875*2^1000616-1 is not prime. Res64: EB669534C133A178 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:10:49] 657*2^1000618-1 is not prime. Res64: D757165BA7DF55FB Time : 0.0 sec. user=mdettweiler [2012-01-11 00:16:52] 803*2^1000618-1 is not prime. Res64: 2405376DC1246F10 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:18:28] 891*2^1000618-1 is not prime. Res64: 52774A045346E03A Time : 0.0 sec. user=mdettweiler [2012-01-11 00:20:25] 759*2^1000616-1 is not prime. Res64: 9A991496D95E8750 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:20:25] 843*2^1000616-1 is not prime. Res64: C7EEFBEFEFE7BDC2 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:22:16] 937*2^1000617-1 is not prime. Res64: 755D7713FA86419D Time : 0.0 sec. user=mdettweiler [2012-01-11 00:22:16] 603*2^1000618-1 is not prime. Res64: B99E5AB36A102D7B Time : 0.0 sec. user=mdettweiler [2012-01-11 00:23:52] 999*2^1000616-1 is not prime. Res64: 30FBA74BAFF90D39 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:23:53] 895*2^1000617-1 is not prime. Res64: C78CD2FE56D5D6A4 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:24:19] 705*2^1000618-1 is not prime. Res64: AA256FC5F05F0321 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:24:20] 731*2^1000618-1 is not prime. Res64: 7DC5E6AB05C37223 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:24:30] 945*2^1000618-1 is not prime. Res64: B6EB16065860CC63 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:26:06] 951*2^1000618-1 is not prime. Res64: 8B57082D7A1D7CF1 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:32:06] 783*2^1000620-1 is not prime. Res64: 8430D13E7D2D094E Time : 0.0 sec. user=mdettweiler [2012-01-11 00:33:42] 809*2^1000620-1 is not prime. Res64: E14A0303BE98D0A7 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:39:41] 905*2^1000620-1 is not prime. Res64: 88239B777E07C09A Time : 0.0 sec. user=mdettweiler [2012-01-11 00:39:46] 977*2^1000608-1 is not prime. Res64: AD52063514A35C94 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:39:46] 601*2^1000609-1 is not prime. Res64: F09C4A1A25A1634B Time : 0.0 sec. user=mdettweiler [2012-01-11 00:40:04] 663*2^1000619-1 is not prime. Res64: 370E413F488CA83D Time : 0.0 sec. user=mdettweiler [2012-01-11 00:40:05] 859*2^1000619-1 is not prime. Res64: 61D3FC249F8EDABB Time : 0.0 sec. user=mdettweiler [2012-01-11 00:41:17] 923*2^1000620-1 is not prime. Res64: 3E19A5C7C04D6400 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:41:56] 879*2^1000619-1 is not prime. Res64: 06BBBA5714BD24E7 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:41:56] 931*2^1000619-1 is not prime. Res64: 400D736EC2E22F6B Time : 0.0 sec. user=mdettweiler [2012-01-11 00:43:36] 627*2^1000620-1 is not prime. Res64: 45E008FAC46DE547 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:43:36] 689*2^1000620-1 is not prime. Res64: 92E46E993BFF3B43 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:43:56] 693*2^1000620-1 is not prime. Res64: 07C29F61A7DF2BCF Time : 0.0 sec. user=mdettweiler [2012-01-11 00:43:57] 699*2^1000620-1 is not prime. Res64: E65BCCF5F1AE6382 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:47:15] 945*2^1000620-1 is not prime. Res64: 2078D332DA76A57C Time : 0.0 sec. user=mdettweiler [2012-01-11 00:48:52] 801*2^1000621-1 is not prime. Res64: 8AD3D319451BFCDC Time : 0.0 sec. user=mdettweiler [2012-01-11 00:54:53] 741*2^1000622-1 is not prime. Res64: 7E689DD8790DAC1F Time : 0.0 sec. user=mdettweiler [2012-01-11 00:56:28] 791*2^1000622-1 is not prime. Res64: 6C25BB6E0752EA8B Time : 0.0 sec. user=mdettweiler [2012-01-11 00:56:44] 945*2^1000610-1 is not prime. Res64: 73C55E9ABC3F031A Time : 0.0 sec. user=mdettweiler [2012-01-11 00:56:44] 1001*2^1000610-1 is not prime. Res64: AA404116DF7FB832 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:59:50] 687*2^1000621-1 is not prime. Res64: 60633C8966A39621 Time : 0.0 sec. user=mdettweiler [2012-01-11 00:59:50] 747*2^1000621-1 is not prime. Res64: CE11F66C8280D8E2 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:01:40] 849*2^1000621-1 is not prime. Res64: 72F3DB84B0536661 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:01:41] 931*2^1000621-1 is not prime. Res64: 1F87E5EC6D9A6511 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:03:22] 827*2^1000622-1 is not prime. Res64: 9498889F16CC7545 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:03:37] 693*2^1000622-1 is not prime. Res64: F61FBE350EC94A26 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:03:37] 705*2^1000622-1 is not prime. Res64: 33E2E61FB4A486B2 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:04:59] 941*2^1000622-1 is not prime. Res64: EBCD3E68B2F2B047 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:05:30] 987*2^1000621-1 is not prime. Res64: 7F7417C90A2A9D9D Time : 0.0 sec. user=mdettweiler [2012-01-11 01:05:33] 645*2^1000622-1 is not prime. Res64: A90396053952031E Time : 0.0 sec. user=mdettweiler [2012-01-11 01:10:58] 823*2^1000623-1 is not prime. Res64: 526D41BD98550D3C Time : 0.0 sec. user=mdettweiler [2012-01-11 01:12:36] 705*2^1000624-1 is not prime. Res64: 10B25A505F78349D Time : 0.0 sec. user=mdettweiler [2012-01-11 01:18:34] 869*2^1000624-1 is not prime. Res64: B21C4EC828D8CAAC Time : 0.0 sec. user=mdettweiler [2012-01-11 01:19:31] 703*2^1000623-1 is not prime. Res64: BC5B7B456FEB1020 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:19:31] 763*2^1000623-1 is not prime. Res64: 85B06B9319B4E37C Time : 0.0 sec. user=mdettweiler [2012-01-11 01:19:46] 861*2^1000614-1 is not prime. Res64: 82091F71AF7101A7 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:19:46] 941*2^1000614-1 is not prime. Res64: 4286715A15A3E8E0 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:20:21] 615*2^1000616-1 is not prime. Res64: 7E2BF76C70FE8A0F Time : 0.0 sec. user=mdettweiler [2012-01-11 01:20:21] 755*2^1000616-1 is not prime. Res64: 34FF0F8F5E1D0842 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:21:23] 769*2^1000623-1 is not prime. Res64: D1B490A0CC3D4877 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:21:24] 783*2^1000623-1 is not prime. Res64: AC362C35F964FCF6 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:21:58] 995*2^1000624-1 is not prime. Res64: F41A67F8FD33A9DB Time : 0.0 sec. user=mdettweiler [2012-01-11 01:23:23] 871*2^1000623-1 is not prime. Res64: 6ED999543500EB87 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:23:23] 693*2^1000624-1 is not prime. Res64: 70A326F137AEFC9A Time : 0.0 sec. user=mdettweiler [2012-01-11 01:25:18] 755*2^1000624-1 is not prime. Res64: DE82C89B5123C30E Time : 0.0 sec. user=mdettweiler [2012-01-11 01:25:18] 759*2^1000624-1 is not prime. Res64: 6A536B4A6299C94B Time : 0.0 sec. user=mdettweiler [2012-01-11 01:26:09] 657*2^1000625-1 is not prime. Res64: 2F7AA4FF40A95CEF Time : 0.0 sec. user=mdettweiler [2012-01-11 01:29:33] 939*2^1000627-1 is not prime. Res64: 76AE17F9673D10AA Time : 0.0 sec. user=mdettweiler [2012-01-11 01:33:45] 843*2^1000628-1 is not prime. Res64: 6EF606850C697F8E Time : 0.0 sec. user=mdettweiler [2012-01-11 01:37:09] 935*2^1000628-1 is not prime. Res64: A6997629A2808D1A Time : 0.0 sec. user=mdettweiler [2012-01-11 01:39:11] 705*2^1000625-1 is not prime. Res64: 3E69FD4CD910A303 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:39:12] 711*2^1000625-1 is not prime. Res64: DD678AECFB47D72B Time : 0.0 sec. user=mdettweiler [2012-01-11 01:41:02] 693*2^1000627-1 is not prime. Res64: 177F7504BC95355C Time : 0.0 sec. user=mdettweiler [2012-01-11 01:41:03] 885*2^1000627-1 is not prime. Res64: EA0BD3E2F0716968 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:41:20] 615*2^1000629-1 is not prime. Res64: 93D9DCF3A2CF935D Time : 0.0 sec. user=mdettweiler [2012-01-11 01:43:05] 617*2^1000628-1 is not prime. Res64: 5560E69B1104C113 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:43:06] 665*2^1000628-1 is not prime. Res64: EBDC351A0DBAAE55 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:44:46] 649*2^1000629-1 is not prime. Res64: D14067352F4A1BAE Time : 0.0 sec. user=mdettweiler [2012-01-11 01:45:00] 677*2^1000628-1 is not prime. Res64: 91A42468E8B4F741 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:45:01] 837*2^1000628-1 is not prime. Res64: 6A04577BBA573A64 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:48:57] 861*2^1000629-1 is not prime. Res64: EEB9C064C54364BE Time : 0.0 sec. user=mdettweiler [2012-01-11 01:52:21] 827*2^1000630-1 is not prime. Res64: DB7E504CA6B1EABC Time : 0.0 sec. user=mdettweiler [2012-01-11 01:56:31] 669*2^1000631-1 is not prime. Res64: 90F60E41E834086A Time : 0.0 sec. user=mdettweiler [2012-01-11 01:59:24] 661*2^1000629-1 is not prime. Res64: DAA276DB17751249 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:59:24] 727*2^1000629-1 is not prime. Res64: AB9E64972DE0A6A0 Time : 0.0 sec. user=mdettweiler [2012-01-11 01:59:54] 753*2^1000631-1 is not prime. Res64: F92DA85B577FE669 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:02:29] 751*2^1000629-1 is not prime. Res64: 5B6D76F8D25BEB8A Time : 0.0 sec. user=mdettweiler [2012-01-11 02:02:30] 847*2^1000629-1 is not prime. Res64: 2A1587817FF060C4 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:04:05] 759*2^1000631-1 is not prime. Res64: DDA917B97FF0A56A Time : 0.0 sec. user=mdettweiler [2012-01-11 02:07:02] 861*2^1000630-1 is not prime. Res64: 6A4BAFFF9BA16492 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:07:03] 661*2^1000631-1 is not prime. Res64: 974FD3728E12720C Time : 0.0 sec. user=mdettweiler [2012-01-11 02:07:21] 951*2^1000629-1 is not prime. Res64: AAD8A658B2BA713A Time : 0.0 sec. user=mdettweiler [2012-01-11 02:07:23] 991*2^1000629-1 is not prime. Res64: 6499685C6536F6B8 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:07:29] 843*2^1000631-1 is not prime. Res64: 1B5DD49D1F61761B Time : 0.0 sec. user=mdettweiler [2012-01-11 02:11:42] 737*2^1000632-1 is not prime. Res64: 520D6200BE2BB61C Time : 0.0 sec. user=mdettweiler [2012-01-11 02:15:07] 765*2^1000633-1 is not prime. Res64: 353885F405351217 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:19:20] 847*2^1000633-1 is not prime. Res64: 1DDA3142FD46207F Time : 0.0 sec. user=mdettweiler [2012-01-11 02:21:28] 775*2^1000631-1 is not prime. Res64: A30FB73D93C2A21B Time : 0.0 sec. user=mdettweiler [2012-01-11 02:21:28] 825*2^1000631-1 is not prime. Res64: 6D1E01AA39CCBDC7 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:22:49] 901*2^1000633-1 is not prime. Res64: 02F3D0B5F7E1333A Time : 0.0 sec. user=mdettweiler [2012-01-11 02:25:33] 955*2^1000631-1 is not prime. Res64: F3981183EBEECA06 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:25:34] 665*2^1000632-1 is not prime. Res64: B1F5591B530B892D Time : 0.0 sec. user=mdettweiler [2012-01-11 02:26:55] 809*2^1000632-1 is not prime. Res64: 9FC9622CACA5AA49 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:26:55] 915*2^1000633-1 is not prime. Res64: 673A1A50B1807618 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:26:55] 903*2^1000632-1 is not prime. Res64: 79A86C45612F1076 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:27:21] 691*2^1000633-1 is not prime. Res64: 7CAC360ABA63D487 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:27:22] 747*2^1000633-1 is not prime. Res64: 0D410066682448DD Time : 0.0 sec. user=mdettweiler [2012-01-11 02:30:20] 983*2^1000620-1 is not prime. Res64: B6A04A2A181CBC77 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:30:21] 999*2^1000620-1 is not prime. Res64: 12A52492AE3F17BC Time : 0.0 sec. user=mdettweiler [2012-01-11 02:30:40] 945*2^1000622-1 is not prime. Res64: B82DC570B32D3CF7 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:30:41] 619*2^1000623-1 is not prime. Res64: E95195F4F3624342 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:32:08] 999*2^1000633-1 is not prime. Res64: DF025386BA7DB57F Time : 0.0 sec. user=mdettweiler [2012-01-11 02:34:30] 827*2^1000634-1 is not prime. Res64: 5B8F06EDD9757ABF Time : 0.0 sec. user=mdettweiler [2012-01-11 02:39:45] 909*2^1000635-1 is not prime. Res64: 7A29A31B45233793 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:41:05] 945*2^1000633-1 is not prime. Res64: C80B43F3CC598AA8 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:41:06] 951*2^1000633-1 is not prime. Res64: CD4E44A9E5A419B5 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:42:06] 921*2^1000635-1 is not prime. Res64: 072E640BE6C5C2C4 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:45:27] 797*2^1000634-1 is not prime. Res64: C65B0FB43D52552C Time : 0.0 sec. user=mdettweiler [2012-01-11 02:45:27] 825*2^1000634-1 is not prime. Res64: E66D44F24C66DAFF Time : 0.0 sec. user=mdettweiler [2012-01-11 02:46:36] 851*2^1000634-1 is not prime. Res64: C032A93111DE1A13 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:46:37] 857*2^1000634-1 is not prime. Res64: B0C8A90B64C670A6 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:47:05] 601*2^1000635-1 is not prime. Res64: ABA160736AD56413 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:47:06] 643*2^1000635-1 is not prime. Res64: 4F6EFCA48238256C Time : 0.0 sec. user=mdettweiler [2012-01-11 02:47:22] 717*2^1000636-1 is not prime. Res64: D0A1D13CD4A9E4A1 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:49:43] 843*2^1000636-1 is not prime. Res64: 0E06D4B19527B2EF Time : 0.0 sec. user=mdettweiler [2012-01-11 02:54:59] 915*2^1000637-1 is not prime. Res64: 97FE01A481754864 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:55:35] 777*2^1000626-1 is not prime. Res64: F710117B37715438 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:55:35] 801*2^1000626-1 is not prime. Res64: 8E75CDCF020FC19B Time : 0.0 sec. user=mdettweiler [2012-01-11 02:56:42] 861*2^1000625-1 is not prime. Res64: 3319B663B3277F44 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:56:43] 725*2^1000626-1 is not prime. Res64: 4449B5CA31407C88 Time : 0.0 sec. user=mdettweiler [2012-01-11 02:57:18] 937*2^1000637-1 is not prime. Res64: 0771F16A52B1C42A Time : 0.0 sec. user=mdettweiler [2012-01-11 03:00:45] 777*2^1000636-1 is not prime. Res64: 9CB42013A494AD4D Time : 0.0 sec. user=mdettweiler [2012-01-11 03:00:46] 839*2^1000636-1 is not prime. Res64: BCF6FBDB550A1027 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:02:38] 657*2^1000638-1 is not prime. Res64: 8A9F0589AF9A0E1E Time : 0.0 sec. user=mdettweiler [2012-01-11 03:04:52] 795*2^1000638-1 is not prime. Res64: BBB740618B74F8D9 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:05:02] 909*2^1000636-1 is not prime. Res64: 82714D9919E39BC6 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:05:05] 669*2^1000637-1 is not prime. Res64: 79A1D810832D7549 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:06:12] 675*2^1000637-1 is not prime. Res64: E7DA68FF99BE4223 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:06:13] 727*2^1000637-1 is not prime. Res64: AA4A5D0B23B61FB5 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:06:47] 871*2^1000637-1 is not prime. Res64: 1BF8BB49C1029C80 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:06:49] 889*2^1000637-1 is not prime. Res64: 5D4C8A904C2FDA1D Time : 0.0 sec. user=mdettweiler [2012-01-11 03:12:04] 975*2^1000638-1 is not prime. Res64: 47F3260162B7834D Time : 0.0 sec. user=mdettweiler [2012-01-11 03:14:12] 977*2^1000638-1 is not prime. Res64: B407C5C15101D41A Time : 0.0 sec. user=mdettweiler [2012-01-11 03:19:39] 829*2^1000639-1 is not prime. Res64: FDF13FF39DEBF6D9 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:20:32] 933*2^1000638-1 is not prime. Res64: 7F5B5A5F8DB151EF Time : 0.0 sec. user=mdettweiler [2012-01-11 03:20:32] 945*2^1000638-1 is not prime. Res64: 065BAF8920D08787 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:21:48] 853*2^1000639-1 is not prime. Res64: 4D31183748CF6A9C Time : 0.0 sec. user=mdettweiler [2012-01-11 03:24:52] 609*2^1000639-1 is not prime. Res64: E4BECA5CAB21EF7D Time : 0.0 sec. user=mdettweiler [2012-01-11 03:24:53] 663*2^1000639-1 is not prime. Res64: 136755B3DB90F9A9 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:25:46] 685*2^1000639-1 is not prime. Res64: 7DC0250A6441C4F5 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:25:46] 723*2^1000639-1 is not prime. Res64: E81E1C05F3433F27 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:26:31] 741*2^1000639-1 is not prime. Res64: 0207C6D82DEC57A1 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:26:31] 775*2^1000639-1 is not prime. Res64: A320B9D1780C5A7A Time : 0.0 sec. user=mdettweiler [2012-01-11 03:27:16] 883*2^1000639-1 is not prime. Res64: C789EE464E963F3F Time : 0.0 sec. user=mdettweiler [2012-01-11 03:29:22] 789*2^1000640-1 is not prime. Res64: 62ED3D368AB7549F Time : 0.0 sec. user=mdettweiler [2012-01-11 03:34:51] 679*2^1000641-1 is not prime. Res64: 1E96539C9F63DFCC Time : 0.0 sec. user=mdettweiler [2012-01-11 03:36:57] 789*2^1000641-1 is not prime. Res64: 6FEBA46701554E73 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:40:08] 885*2^1000639-1 is not prime. Res64: 854DD340D9A6EA52 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:40:09] 933*2^1000639-1 is not prime. Res64: 69E8D5FEA6EC2E8B Time : 0.0 sec. user=mdettweiler [2012-01-11 03:42:27] 871*2^1000641-1 is not prime. Res64: 6925A0E0ED73CB7F Time : 0.0 sec. user=mdettweiler [2012-01-11 03:44:32] 825*2^1000640-1 is not prime. Res64: AD4C0F1CC03C00DE Time : 0.0 sec. user=mdettweiler [2012-01-11 03:44:32] 827*2^1000640-1 is not prime. Res64: 5011A8A39D9CC88C Time : 0.0 sec. user=mdettweiler [2012-01-11 03:44:34] 895*2^1000641-1 is not prime. Res64: A02E24D169B0F4DD Time : 0.0 sec. user=mdettweiler [2012-01-11 03:45:26] 843*2^1000640-1 is not prime. Res64: 7F8DEA9C3EBEDFC2 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:45:27] 929*2^1000640-1 is not prime. Res64: 6B332628906C8AFE Time : 0.0 sec. user=mdettweiler [2012-01-11 03:46:12] 945*2^1000640-1 is not prime. Res64: 0D597EF8D28305C2 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:46:13] 675*2^1000641-1 is not prime. Res64: BFC76413E8E51AA3 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:50:03] 741*2^1000642-1 is not prime. Res64: 49E27B96439D7B76 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:52:08] 821*2^1000642-1 is not prime. Res64: 86F250E1EF4F175E Time : 0.0 sec. user=mdettweiler [2012-01-11 03:55:09] 685*2^1000635-1 is not prime. Res64: 871D3C32F2E8F11F Time : 0.0 sec. user=mdettweiler [2012-01-11 03:55:09] 739*2^1000635-1 is not prime. Res64: 62BCE14DD4F4A1F1 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:55:34] 789*2^1000635-1 is not prime. Res64: 243B655AC6D4D5DF Time : 0.0 sec. user=mdettweiler [2012-01-11 03:55:34] 861*2^1000635-1 is not prime. Res64: 6C67F747EB66EEA5 Time : 0.0 sec. user=mdettweiler [2012-01-11 03:59:23] 963*2^1000643-1 is not prime. Res64: 86D1F3DF155A6DE2 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:01:29] 973*2^1000643-1 is not prime. Res64: 098DAE408B89BD06 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:04:15] 791*2^1000642-1 is not prime. Res64: DDD66AB201D7D29A Time : 0.0 sec. user=mdettweiler [2012-01-11 04:04:16] 801*2^1000642-1 is not prime. Res64: C5289218D2AA4EDF Time : 0.0 sec. user=mdettweiler [2012-01-11 04:04:19] 975*2^1000641-1 is not prime. Res64: E223C776CF06D6D7 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:04:20] 991*2^1000641-1 is not prime. Res64: 3F40C3E9300C2277 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:05:54] 775*2^1000643-1 is not prime. Res64: EBFCD475BC8D35D9 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:05:56] 825*2^1000643-1 is not prime. Res64: BFE73779F6298A5C Time : 0.0 sec. user=mdettweiler [2012-01-11 04:06:57] 861*2^1000645-1 is not prime. Res64: 51553B72CD2C200D Time : 0.0 sec. user=mdettweiler [2012-01-11 04:07:25] 827*2^1000642-1 is not prime. Res64: 810A58E3CBFD4711 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:07:25] 1001*2^1000642-1 is not prime. Res64: 3668DC655808D633 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:09:14] 871*2^1000645-1 is not prime. Res64: 2960415F698DF2BD Time : 0.0 sec. user=mdettweiler [2012-01-11 04:16:19] 971*2^1000646-1 is not prime. Res64: C797119EA3A4ADA2 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:16:49] 871*2^1000647-1 is not prime. Res64: 884DF560EBB6807E Time : 0.0 sec. user=mdettweiler [2012-01-11 04:17:58] 711*2^1000638-1 is not prime. Res64: E87929A302BA0B4F Time : 0.0 sec. user=mdettweiler [2012-01-11 04:17:58] 773*2^1000638-1 is not prime. Res64: 8898341BAD91C189 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:19:05] 677*2^1000638-1 is not prime. Res64: B7A8AD3AE70A3C0C Time : 0.0 sec. user=mdettweiler [2012-01-11 04:19:06] 681*2^1000638-1 is not prime. Res64: 628CDA0AAB17F6D6 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:23:53] 665*2^1000648-1 is not prime. Res64: 0F5846F53FA54960 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:24:00] 867*2^1000646-1 is not prime. Res64: 71D82CAA5A76C81B Time : 0.0 sec. user=mdettweiler [2012-01-11 04:24:01] 911*2^1000646-1 is not prime. Res64: 4A7DCA3CF8D57057 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:24:22] 687*2^1000648-1 is not prime. Res64: 3788B09E5218CAFA Time : 0.0 sec. user=mdettweiler [2012-01-11 04:25:36] 921*2^1000646-1 is not prime. Res64: 6FCD28C02683B0FF Time : 0.0 sec. user=mdettweiler [2012-01-11 04:25:36] 935*2^1000646-1 is not prime. Res64: 05A280A4F46EEA2B Time : 0.0 sec. user=mdettweiler [2012-01-11 04:26:11] 885*2^1000645-1 is not prime. Res64: 990A49C34D9E8494 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:26:11] 979*2^1000645-1 is not prime. Res64: E52A32335A59D402 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:27:07] 651*2^1000647-1 is not prime. Res64: 374FEDC897A92DD2 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:27:07] 751*2^1000647-1 is not prime. Res64: 3B2EC76C1FD26D90 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:31:27] 933*2^1000648-1 is not prime. Res64: 02ECB8BDB83439E9 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:31:56] 841*2^1000649-1 is not prime. Res64: EA7FDB45CC1DC3B9 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:39:03] 715*2^1000651-1 is not prime. Res64: 3F991C024A92C06F Time : 0.0 sec. user=mdettweiler [2012-01-11 04:39:33] 775*2^1000651-1 is not prime. Res64: D609B235BE6A0DF1 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:43:42] 697*2^1000649-1 is not prime. Res64: 625E4D32CD9DA97C Time : 0.0 sec. user=mdettweiler [2012-01-11 04:43:42] 787*2^1000649-1 is not prime. Res64: EC289C0A626E6DD8 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:45:21] 855*2^1000649-1 is not prime. Res64: A6161292F1DC0695 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:45:22] 879*2^1000649-1 is not prime. Res64: FEBDD3686DB3098D Time : 0.0 sec. user=mdettweiler [2012-01-11 04:45:49] 651*2^1000650-1 is not prime. Res64: F1615432FD0F1873 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:45:49] 885*2^1000650-1 is not prime. Res64: 67B5EA4DE54B4484 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:46:38] 793*2^1000651-1 is not prime. Res64: 3FBCCAC908CD8512 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:46:48] 923*2^1000650-1 is not prime. Res64: F89AFDC01BBA88BB Time : 0.0 sec. user=mdettweiler [2012-01-11 04:46:48] 933*2^1000650-1 is not prime. Res64: 57DD5ADA8051DB98 Time : 0.0 sec. user=mdettweiler [2012-01-11 04:47:08] 931*2^1000651-1 is not prime. Res64: DF0479A72D4B201D Time : 0.0 sec. user=mdettweiler [2012-01-11 04:54:13] 687*2^1000652-1 is not prime. Res64: 94AD731FB6D4451F Time : 0.0 sec. user=mdettweiler [2012-01-11 04:54:44] 837*2^1000652-1 is not prime. Res64: CF55D7624A9C1D3D Time : 0.0 sec. user=mdettweiler [2012-01-11 05:01:49] 857*2^1000652-1 is not prime. Res64: C4AAF6F73191BF92 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:02:18] 885*2^1000652-1 is not prime. Res64: 0CDF096B162E01B8 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:05:05] 615*2^1000652-1 is not prime. Res64: 7D906E4EA607AF6C Time : 0.0 sec. user=mdettweiler [2012-01-11 05:05:06] 623*2^1000652-1 is not prime. Res64: EFE73A1D62BE77E7 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:05:30] 635*2^1000652-1 is not prime. Res64: D98732D4FCA9CCC9 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:05:31] 677*2^1000652-1 is not prime. Res64: 10D0F92033F25B77 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:06:27] 717*2^1000652-1 is not prime. Res64: A628DB0A1971FA8C Time : 0.0 sec. user=mdettweiler [2012-01-11 05:06:28] 777*2^1000652-1 is not prime. Res64: 9070AEAB4D466B3E Time : 0.0 sec. user=mdettweiler [2012-01-11 05:07:52] 975*2^1000651-1 is not prime. Res64: 37E12DD1DF56449E Time : 0.0 sec. user=mdettweiler [2012-01-11 05:07:53] 999*2^1000651-1 is not prime. Res64: 0932EBEA7C000572 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:09:56] 607*2^1000653-1 is not prime. Res64: 31C27F3B42118908 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:11:05] 995*2^1000652-1 is not prime. Res64: 0DCFE817D1246A25 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:16:41] 705*2^1000644-1 is not prime. Res64: 98D7F08F003BBA6F Time : 0.0 sec. user=mdettweiler [2012-01-11 05:16:41] 737*2^1000644-1 is not prime. Res64: 5031A04C74163952 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:17:30] 773*2^1000644-1 is not prime. Res64: 0ED6364809A5AB2A Time : 0.0 sec. user=mdettweiler [2012-01-11 05:17:30] 645*2^1000645-1 is not prime. Res64: 6B61156001451987 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:18:41] 649*2^1000655-1 is not prime. Res64: DC3708643317E8DE Time : 0.0 sec. user=mdettweiler [2012-01-11 05:19:12] 1001*2^1000654-1 is not prime. Res64: 7254DC1B6EF26633 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:24:51] 759*2^1000653-1 is not prime. Res64: F2D9AF5E5395176F Time : 0.0 sec. user=mdettweiler [2012-01-11 05:24:52] 837*2^1000653-1 is not prime. Res64: A58B58A35311D869 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:26:13] 863*2^1000654-1 is not prime. Res64: BCDEB4AAB0D3059F Time : 0.0 sec. user=mdettweiler [2012-01-11 05:26:14] 923*2^1000654-1 is not prime. Res64: C1075BF81527800B Time : 0.0 sec. user=mdettweiler [2012-01-11 05:26:46] 689*2^1000656-1 is not prime. Res64: 08FFB607B08DF807 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:27:35] 999*2^1000653-1 is not prime. Res64: F2515EF33551E5A2 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:27:36] 663*2^1000654-1 is not prime. Res64: 9053DD4473C64322 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:27:56] 969*2^1000655-1 is not prime. Res64: 1AF9C21B94BF3A8C Time : 0.0 sec. user=mdettweiler [2012-01-11 05:32:07] 965*2^1000654-1 is not prime. Res64: 9652BB677255EE19 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:32:08] 987*2^1000654-1 is not prime. Res64: 58672171CDECEA97 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:34:21] 847*2^1000657-1 is not prime. Res64: 48BFDB21491A0187 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:35:32] 603*2^1000658-1 is not prime. Res64: BE025568CC03D4E3 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:40:27] 743*2^1000648-1 is not prime. Res64: 8A9269FA3EB8A0B0 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:40:27] 849*2^1000648-1 is not prime. Res64: 9271B4DD642B73E6 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:41:55] 791*2^1000658-1 is not prime. Res64: B7659ED2BA4B1277 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:43:04] 875*2^1000658-1 is not prime. Res64: 7A7F50D3AD01EBC1 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:43:23] 869*2^1000648-1 is not prime. Res64: 9B944D9F7BC2D075 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:43:23] 915*2^1000648-1 is not prime. Res64: DDD02A51F068E3F1 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:44:33] 693*2^1000656-1 is not prime. Res64: 6F8DEC354D911DDF Time : 0.0 sec. user=mdettweiler [2012-01-11 05:44:33] 707*2^1000656-1 is not prime. Res64: 432B4CABD231CB0A Time : 0.0 sec. user=mdettweiler [2012-01-11 05:45:53] 893*2^1000656-1 is not prime. Res64: 808626B47ADB5BDF Time : 0.0 sec. user=mdettweiler [2012-01-11 05:45:53] 947*2^1000656-1 is not prime. Res64: EF242160597141A2 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:49:31] 703*2^1000659-1 is not prime. Res64: 3D4D969C59FFB013 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:49:34] 861*2^1000657-1 is not prime. Res64: D792F351FF9A6553 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:49:34] 997*2^1000657-1 is not prime. Res64: 5E1DDFF8AFA61ACF Time : 0.0 sec. user=mdettweiler [2012-01-11 05:50:41] 705*2^1000659-1 is not prime. Res64: E138D4D6511E6D26 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:51:49] 635*2^1000658-1 is not prime. Res64: 35127D4D61A8FAB0 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:51:49] 767*2^1000658-1 is not prime. Res64: 3538F44CBA612BD9 Time : 0.0 sec. user=mdettweiler [2012-01-11 05:57:06] 735*2^1000660-1 is not prime. Res64: 342B5E72C3C1272D Time : 0.0 sec. user=mdettweiler [2012-01-11 06:00:00] 959*2^1000660-1 is not prime. Res64: 736E241689C9276F Time : 0.0 sec. user=mdettweiler [2012-01-11 06:04:15] 751*2^1000659-1 is not prime. Res64: 0B6E5BF183A09D0B Time : 0.0 sec. user=mdettweiler [2012-01-11 06:04:16] 801*2^1000659-1 is not prime. Res64: BC7F6B95DB3E7546 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:04:40] 619*2^1000661-1 is not prime. Res64: 5AEF1D5D5612F863 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:05:30] 949*2^1000659-1 is not prime. Res64: 5328A1ABF51A923B Time : 0.0 sec. user=mdettweiler [2012-01-11 06:05:31] 605*2^1000660-1 is not prime. Res64: 5E302FA1937A2041 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:07:33] 621*2^1000661-1 is not prime. Res64: CC67692880E84160 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:09:13] 827*2^1000660-1 is not prime. Res64: 55646CE177C75112 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:09:15] 929*2^1000660-1 is not prime. Res64: E7544F0AABB2FD85 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:12:14] 781*2^1000661-1 is not prime. Res64: 92499BCDE0B9DCD5 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:15:05] 951*2^1000661-1 is not prime. Res64: D2D455E134319507 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:16:00] 995*2^1000660-1 is not prime. Res64: 0E692334D47DFF4C Time : 0.0 sec. user=mdettweiler [2012-01-11 06:16:01] 999*2^1000660-1 is not prime. Res64: CF1DED30D1C9B83D Time : 0.0 sec. user=mdettweiler [2012-01-11 06:19:50] 873*2^1000662-1 is not prime. Res64: 745B8B67F73BA2A2 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:22:43] 875*2^1000662-1 is not prime. Res64: 8531B6BDCA2932B6 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:24:01] 645*2^1000661-1 is not prime. Res64: 9D82E120FE20D90F Time : 0.0 sec. user=mdettweiler [2012-01-11 06:24:01] 727*2^1000661-1 is not prime. Res64: A70F7B79CDADE39A Time : 0.0 sec. user=mdettweiler [2012-01-11 06:25:14] 805*2^1000661-1 is not prime. Res64: BA7D345CE9C3BC47 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:25:15] 885*2^1000661-1 is not prime. Res64: FD3A640CB1D015E5 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:27:25] 685*2^1000663-1 is not prime. Res64: 5EFCF36B67861AD5 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:30:21] 913*2^1000663-1 is not prime. Res64: 984CAE730864C276 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:31:15] 979*2^1000661-1 is not prime. Res64: 326E5BAE9F04BC92 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:31:16] 863*2^1000662-1 is not prime. Res64: D76954D950588A1D Time : 0.0 sec. user=mdettweiler [2012-01-11 06:35:02] 657*2^1000664-1 is not prime. Res64: 6BFBEB89284FE415 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:35:39] 945*2^1000662-1 is not prime. Res64: 2534A1A1ADF5E27C Time : 0.0 sec. user=mdettweiler [2012-01-11 06:35:40] 675*2^1000663-1 is not prime. Res64: 2A2DB799E2063863 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:37:49] 739*2^1000655-1 is not prime. Res64: 9DD520D2C8260F1E Time : 0.0 sec. user=mdettweiler [2012-01-11 06:37:49] 829*2^1000655-1 is not prime. Res64: A09F99417F7469E6 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:37:55] 753*2^1000664-1 is not prime. Res64: CFC0C8730922FAFA Time : 0.0 sec. user=mdettweiler [2012-01-11 06:39:01] 871*2^1000655-1 is not prime. Res64: A9160A3DEADE49A4 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:39:01] 921*2^1000655-1 is not prime. Res64: 7E9244FA07A8482A Time : 0.0 sec. user=mdettweiler [2012-01-11 06:42:36] 627*2^1000665-1 is not prime. Res64: 5463727EE4565962 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:43:40] 915*2^1000663-1 is not prime. Res64: D8B951048D48D63B Time : 0.0 sec. user=mdettweiler [2012-01-11 06:43:40] 925*2^1000663-1 is not prime. Res64: 6BE7887A0EC0BA35 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:45:31] 861*2^1000665-1 is not prime. Res64: 97564AD065DB0BC1 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:47:13] 993*2^1000663-1 is not prime. Res64: C140867A6A79CA0A Time : 0.0 sec. user=mdettweiler [2012-01-11 06:47:14] 635*2^1000664-1 is not prime. Res64: F60DAFF131F41044 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:51:51] 997*2^1000665-1 is not prime. Res64: D99D88CA5FED6D21 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:53:03] 675*2^1000666-1 is not prime. Res64: F7FE8A5E2292D2E0 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:55:14] 651*2^1000665-1 is not prime. Res64: DE215EB6AAD07777 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:55:15] 705*2^1000665-1 is not prime. Res64: 35805755DC650470 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:55:23] 959*2^1000664-1 is not prime. Res64: 9E4C6FC5992233CF Time : 0.0 sec. user=mdettweiler [2012-01-11 06:55:24] 983*2^1000664-1 is not prime. Res64: 46B06A918C048464 Time : 0.0 sec. user=mdettweiler [2012-01-11 06:59:25] 783*2^1000666-1 is not prime. Res64: FB5FB3939C0463F2 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:00:36] 803*2^1000666-1 is not prime. Res64: 2D4B3C5191627F87 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:02:20] 887*2^1000658-1 is not prime. Res64: 43FE0514DD422656 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:02:21] 941*2^1000658-1 is not prime. Res64: 175BC074CDB9CF78 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:03:14] 603*2^1000666-1 is not prime. Res64: CC34CD2CC275A5B5 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:03:15] 671*2^1000666-1 is not prime. Res64: D3850844628CC2B2 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:05:45] 711*2^1000659-1 is not prime. Res64: 3470470EA0F5F06E Time : 0.0 sec. user=mdettweiler [2012-01-11 07:05:45] 745*2^1000659-1 is not prime. Res64: 82622A9943838368 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:06:48] 701*2^1000666-1 is not prime. Res64: 9428EB00075A2464 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:06:51] 737*2^1000666-1 is not prime. Res64: D4495E21EC49F792 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:07:01] 655*2^1000667-1 is not prime. Res64: F41C3662A6617295 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:08:12] 663*2^1000667-1 is not prime. Res64: 60595387A11125DC Time : 0.0 sec. user=mdettweiler [2012-01-11 07:14:38] 759*2^1000668-1 is not prime. Res64: CF0D18EBDD57856F Time : 0.0 sec. user=mdettweiler [2012-01-11 07:14:56] 813*2^1000666-1 is not prime. Res64: 48E83F965696B9C4 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:14:57] 843*2^1000666-1 is not prime. Res64: A06A8D0DBC0F5877 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:15:00] 911*2^1000666-1 is not prime. Res64: 70496D98F54B1C10 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:15:01] 945*2^1000666-1 is not prime. Res64: 92A05EDE40F64FC5 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:15:47] 777*2^1000668-1 is not prime. Res64: 8735686CE49416E6 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:22:12] 649*2^1000669-1 is not prime. Res64: 5927504C595C7AA8 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:22:50] 825*2^1000667-1 is not prime. Res64: A56925F110FE9DE1 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:22:50] 879*2^1000667-1 is not prime. Res64: 36A226E276B46659 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:23:21] 861*2^1000670-1 is not prime. Res64: 5F899C5E4E6C55B8 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:26:29] 735*2^1000668-1 is not prime. Res64: 6936C90705BE960C Time : 0.0 sec. user=mdettweiler [2012-01-11 07:26:30] 737*2^1000668-1 is not prime. Res64: C2BA58E29040A916 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:29:45] 867*2^1000670-1 is not prime. Res64: B8C162264126A00E Time : 0.0 sec. user=mdettweiler [2012-01-11 07:32:33] 977*2^1000670-1 is not prime. Res64: 707B6F6119F67236 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:34:33] 771*2^1000669-1 is not prime. Res64: 7C77B451151DC79A Time : 0.0 sec. user=mdettweiler [2012-01-11 07:34:34] 775*2^1000669-1 is not prime. Res64: A62F14DF7D3FF475 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:34:40] 895*2^1000669-1 is not prime. Res64: CF500558FA151CBD Time : 0.0 sec. user=mdettweiler [2012-01-11 07:34:40] 641*2^1000670-1 is not prime. Res64: 3D12F12B736D17D0 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:37:18] 723*2^1000671-1 is not prime. Res64: 0111A36D18C200D1 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:40:08] 819*2^1000671-1 is not prime. Res64: 15E2E580B84F08EB Time : 0.0 sec. user=mdettweiler [2012-01-11 07:42:24] 893*2^1000670-1 is not prime. Res64: 7ADA24E808997D26 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:42:25] 923*2^1000670-1 is not prime. Res64: 4813763C4057752F Time : 0.0 sec. user=mdettweiler [2012-01-11 07:44:54] 933*2^1000672-1 is not prime. Res64: FE19D9F8D90473D6 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:46:05] 609*2^1000671-1 is not prime. Res64: FB2FF944D09701AC Time : 0.0 sec. user=mdettweiler [2012-01-11 07:46:06] 709*2^1000671-1 is not prime. Res64: 6F68054275348314 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:49:24] 959*2^1000672-1 is not prime. Res64: 2DE17F5830C133C3 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:52:27] 675*2^1000673-1 is not prime. Res64: BDEB63540F8B7005 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:54:09] 879*2^1000671-1 is not prime. Res64: FBB2109F387A79FD Time : 0.0 sec. user=mdettweiler [2012-01-11 07:54:10] 933*2^1000671-1 is not prime. Res64: 74E14585F70EA54B Time : 0.0 sec. user=mdettweiler [2012-01-11 07:54:14] 605*2^1000672-1 is not prime. Res64: B7DE0C2BCA247BA7 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:54:14] 689*2^1000672-1 is not prime. Res64: E78D091AF62D7311 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:56:56] 889*2^1000673-1 is not prime. Res64: 00ECC9AA2DCA770E Time : 0.0 sec. user=mdettweiler [2012-01-11 07:59:54] 717*2^1000665-1 is not prime. Res64: 939AE8D3C1383B35 Time : 0.0 sec. user=mdettweiler [2012-01-11 07:59:54] 805*2^1000665-1 is not prime. Res64: DDD1D8A8F1C50507 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:00:00] 605*2^1000674-1 is not prime. Res64: D10B58757BE67399 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:02:03] 607*2^1000673-1 is not prime. Res64: 678A4258F773EDA4 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:02:04] 637*2^1000673-1 is not prime. Res64: 9FF336AADA36108C Time : 0.0 sec. user=mdettweiler [2012-01-11 08:04:29] 893*2^1000674-1 is not prime. Res64: F9A522676CB10804 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:05:42] 679*2^1000673-1 is not prime. Res64: 56D19524A3F0E867 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:05:43] 861*2^1000673-1 is not prime. Res64: 1848257504F4D354 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:07:33] 709*2^1000675-1 is not prime. Res64: 3394590B78C3D066 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:12:05] 883*2^1000675-1 is not prime. Res64: 55E2E54C2D1CB452 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:13:42] 677*2^1000674-1 is not prime. Res64: 94B2123DE45BB7C5 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:13:43] 683*2^1000674-1 is not prime. Res64: 46154B6CA8604B64 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:13:49] 725*2^1000674-1 is not prime. Res64: 710616FC56CD5D2D Time : 0.0 sec. user=mdettweiler [2012-01-11 08:13:50] 755*2^1000674-1 is not prime. Res64: F43848A2B58AD8D6 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:15:06] 677*2^1000676-1 is not prime. Res64: B37A697C61220ECF Time : 0.0 sec. user=mdettweiler [2012-01-11 08:19:18] 955*2^1000665-1 is not prime. Res64: 2710BC2C1BBCDDBE Time : 0.0 sec. user=mdettweiler [2012-01-11 08:19:19] 969*2^1000665-1 is not prime. Res64: 6412462C037A1BAA Time : 0.0 sec. user=mdettweiler [2012-01-11 08:19:39] 789*2^1000676-1 is not prime. Res64: 6B83FBB19A96F4E6 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:21:42] 741*2^1000675-1 is not prime. Res64: D0CCB99B5717E525 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:21:43] 829*2^1000675-1 is not prime. Res64: BCEF89FB2C3F2637 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:22:44] 727*2^1000677-1 is not prime. Res64: 82671AFBD76C4774 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:25:26] 703*2^1000667-1 is not prime. Res64: EA810432FD2BD7C4 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:25:26] 819*2^1000667-1 is not prime. Res64: 45BDB60A2925FCFC Time : 0.0 sec. user=mdettweiler [2012-01-11 08:25:28] 939*2^1000675-1 is not prime. Res64: 48F0A05E69140BB6 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:25:28] 617*2^1000676-1 is not prime. Res64: 372397974D1BDF54 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:27:12] 765*2^1000677-1 is not prime. Res64: F756EAC1602C655E Time : 0.0 sec. user=mdettweiler [2012-01-11 08:30:18] 849*2^1000677-1 is not prime. Res64: 3A9C3B512F92A596 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:33:17] 869*2^1000676-1 is not prime. Res64: 3BC29DCB15BC8450 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:33:18] 909*2^1000676-1 is not prime. Res64: 23ABACB806714077 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:33:28] 669*2^1000677-1 is not prime. Res64: 52FBA0854671F3C9 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:33:28] 711*2^1000677-1 is not prime. Res64: FFBDAE1C148C4DC8 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:34:46] 619*2^1000679-1 is not prime. Res64: 61703BCB40FF62C3 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:37:40] 993*2^1000667-1 is not prime. Res64: 181CCB7A68302E22 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:37:40] 635*2^1000668-1 is not prime. Res64: F3F3FD1A3AC93779 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:37:52] 799*2^1000679-1 is not prime. Res64: 8BF2C0CF737FE1E3 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:41:20] 805*2^1000677-1 is not prime. Res64: F5DA360688CDF98F Time : 0.0 sec. user=mdettweiler [2012-01-11 08:41:21] 825*2^1000677-1 is not prime. Res64: D1F71B26EAFC845F Time : 0.0 sec. user=mdettweiler [2012-01-11 08:42:19] 949*2^1000679-1 is not prime. Res64: FD1CC497FF28DC65 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:45:05] 827*2^1000678-1 is not prime. Res64: 9B9ADAE7391FF7B5 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:45:06] 911*2^1000678-1 is not prime. Res64: A4E4E7499C08FB99 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:47:05] 999*2^1000679-1 is not prime. Res64: 3EFFF4BA3835270F Time : 0.0 sec. user=mdettweiler [2012-01-11 08:49:51] 843*2^1000680-1 is not prime. Res64: 91336122BF925690 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:52:51] 811*2^1000679-1 is not prime. Res64: 35BD6AC10ED250AB Time : 0.0 sec. user=mdettweiler [2012-01-11 08:52:51] 853*2^1000679-1 is not prime. Res64: 02F8B8AA3DC83F21 Time : 0.0 sec. user=mdettweiler [2012-01-11 08:53:06] 859*2^1000679-1 is not prime. Res64: 5D1D24205D949EBA Time : 0.0 sec. user=mdettweiler [2012-01-11 08:53:07] 921*2^1000679-1 is not prime. Res64: 6D684922DCA037CA Time : 0.0 sec. user=mdettweiler [2012-01-11 08:54:37] 747*2^1000681-1 is not prime. Res64: 054BACA8418707AB Time : 0.0 sec. user=mdettweiler [2012-01-11 08:57:26] 789*2^1000681-1 is not prime. Res64: FC7FF1D03CF30506 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:00:57] 707*2^1000680-1 is not prime. Res64: 2E5788E9C4FE259F Time : 0.0 sec. user=mdettweiler [2012-01-11 09:00:58] 735*2^1000680-1 is not prime. Res64: 8638FBF7F1634497 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:02:11] 941*2^1000682-1 is not prime. Res64: 2B2CEE8406840A7C Time : 0.0 sec. user=mdettweiler [2012-01-11 09:04:46] 649*2^1000681-1 is not prime. Res64: A81F63CA2CA55DA8 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:04:47] 717*2^1000681-1 is not prime. Res64: 2AE1448DADB5935B Time : 0.0 sec. user=mdettweiler [2012-01-11 09:05:04] 669*2^1000683-1 is not prime. Res64: 2ED62AD76B9DDE53 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:10:09] 783*2^1000683-1 is not prime. Res64: 724F72A0521C9936 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:12:30] 867*2^1000681-1 is not prime. Res64: 89F9D05B9E9D6DA5 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:12:31] 951*2^1000681-1 is not prime. Res64: DE125E87E5BBCBD9 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:12:42] 623*2^1000682-1 is not prime. Res64: 64AC5A328177CFA6 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:12:43] 827*2^1000682-1 is not prime. Res64: C3410153E56EA47C Time : 0.0 sec. user=mdettweiler [2012-01-11 09:12:59] 609*2^1000684-1 is not prime. Res64: B401C63301DAFD84 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:17:40] 639*2^1000684-1 is not prime. Res64: 7EA7997141EA8C0A Time : 0.0 sec. user=mdettweiler [2012-01-11 09:20:40] 685*2^1000683-1 is not prime. Res64: 6EEBEBC3BDDEA024 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:20:41] 699*2^1000683-1 is not prime. Res64: FB9AA255A2FF44CD Time : 0.0 sec. user=mdettweiler [2012-01-11 09:22:11] 965*2^1000684-1 is not prime. Res64: 73F63950C9CECDE8 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:22:12] 921*2^1000674-1 is not prime. Res64: D90D907CB6F61203 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:22:12] 603*2^1000675-1 is not prime. Res64: 371D98500201C89A Time : 0.0 sec. user=mdettweiler [2012-01-11 09:24:28] 805*2^1000683-1 is not prime. Res64: 497007D8DE5D2214 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:24:29] 913*2^1000683-1 is not prime. Res64: B03F3DE0941EE3A3 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:25:12] 715*2^1000685-1 is not prime. Res64: F3BDC93E21706ADB Time : 0.0 sec. user=mdettweiler [2012-01-11 09:29:44] 805*2^1000685-1 is not prime. Res64: 13E7DFA182D809EF Time : 0.0 sec. user=mdettweiler [2012-01-11 09:32:05] 843*2^1000684-1 is not prime. Res64: 554B1B766167EF4A Time : 0.0 sec. user=mdettweiler [2012-01-11 09:32:05] 855*2^1000684-1 is not prime. Res64: 5C8BE29893A69711 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:32:18] 869*2^1000684-1 is not prime. Res64: 0238BD45DFDE4DA4 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:32:19] 915*2^1000684-1 is not prime. Res64: 7C051264313122BD Time : 0.0 sec. user=mdettweiler [2012-01-11 09:32:44] 707*2^1000686-1 is not prime. Res64: 3EE7CA7DD461D1B1 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:37:27] 711*2^1000686-1 is not prime. Res64: C16DCA7091AF3A0A Time : 0.0 sec. user=mdettweiler [2012-01-11 09:40:13] 721*2^1000685-1 is not prime. Res64: BD2D478B73180D2E Time : 0.0 sec. user=mdettweiler [2012-01-11 09:40:13] 789*2^1000685-1 is not prime. Res64: 8A8F02A56413B7D4 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:40:27] 917*2^1000686-1 is not prime. Res64: 13A93AC1603B2C66 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:41:49] 741*2^1000677-1 is not prime. Res64: 6089732BA7DE1170 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:41:49] 759*2^1000677-1 is not prime. Res64: 690FADF5A15EE5F1 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:44:03] 647*2^1000686-1 is not prime. Res64: 3B89FB6FE749AC4D Time : 0.0 sec. user=mdettweiler [2012-01-11 09:44:04] 695*2^1000686-1 is not prime. Res64: FBA472E1C90CFD7E Time : 0.0 sec. user=mdettweiler [2012-01-11 09:46:37] 975*2^1000686-1 is not prime. Res64: 5E8EE11ACCEF0D16 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:47:29] 889*2^1000677-1 is not prime. Res64: 823821031C0C3CDC Time : 0.0 sec. user=mdettweiler [2012-01-11 09:47:29] 731*2^1000678-1 is not prime. Res64: 08EAD7EB970C6925 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:47:59] 651*2^1000687-1 is not prime. Res64: 100501E9503D501D Time : 0.0 sec. user=mdettweiler [2012-01-11 09:51:40] 725*2^1000686-1 is not prime. Res64: 1A681C1706E83E15 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:51:40] 737*2^1000686-1 is not prime. Res64: F57D55475D5BB5C3 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:51:53] 761*2^1000686-1 is not prime. Res64: 85F43C3BA63321A4 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:51:53] 903*2^1000686-1 is not prime. Res64: 86E668BC038357D3 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:54:09] 841*2^1000687-1 is not prime. Res64: B41B75BFBF970C11 Time : 0.0 sec. user=mdettweiler [2012-01-11 09:55:30] 615*2^1000688-1 is not prime. Res64: 2D78CD045D82626B Time : 0.0 sec. user=mdettweiler [2012-01-11 10:02:11] 993*2^1000686-1 is not prime. Res64: 0FD7382F13C2649F Time : 0.0 sec. user=mdettweiler [2012-01-11 10:02:12] 633*2^1000687-1 is not prime. Res64: 122BCCC6A4BE192E Time : 0.0 sec. user=mdettweiler [2012-01-11 10:03:01] 601*2^1000689-1 is not prime. Res64: 8074A8F6B83CB379 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:03:17] 999*2^1000688-1 is not prime. Res64: C937239840BEFBC7 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:03:38] 775*2^1000687-1 is not prime. Res64: F9710AE9C2485289 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:03:39] 831*2^1000687-1 is not prime. Res64: 13AAF9534B0BE18B Time : 0.0 sec. user=mdettweiler [2012-01-11 10:10:35] 945*2^1000689-1 is not prime. Res64: F44704AE1EDF5E36 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:10:52] 949*2^1000689-1 is not prime. Res64: ADB609C88987921E Time : 0.0 sec. user=mdettweiler [2012-01-11 10:11:23] 677*2^1000688-1 is not prime. Res64: 5ADB5E446E6BEFAC Time : 0.0 sec. user=mdettweiler [2012-01-11 10:11:24] 839*2^1000688-1 is not prime. Res64: E0DF702666F1369F Time : 0.0 sec. user=mdettweiler [2012-01-11 10:13:42] 897*2^1000688-1 is not prime. Res64: FCABE5DBD9DEC607 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:13:44] 977*2^1000688-1 is not prime. Res64: D50ADE37011C73B7 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:18:06] 831*2^1000690-1 is not prime. Res64: EE277C93EA9A68F3 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:18:46] 969*2^1000679-1 is not prime. Res64: DA9F9CAA00CAB509 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:18:46] 973*2^1000679-1 is not prime. Res64: EF3996C4541F9380 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:20:05] 975*2^1000690-1 is not prime. Res64: 05B268CE8B093C03 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:21:52] 649*2^1000689-1 is not prime. Res64: AE52D5905E85464C Time : 0.0 sec. user=mdettweiler [2012-01-11 10:21:52] 747*2^1000689-1 is not prime. Res64: 13DBE91107499D9F Time : 0.0 sec. user=mdettweiler [2012-01-11 10:23:17] 765*2^1000690-1 is not prime. Res64: F0842077536A3E11 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:23:17] 791*2^1000690-1 is not prime. Res64: A3CE81FF6248B34E Time : 0.0 sec. user=mdettweiler [2012-01-11 10:25:36] 841*2^1000691-1 is not prime. Res64: 5035505C067C83FA Time : 0.0 sec. user=mdettweiler [2012-01-11 10:27:35] 885*2^1000691-1 is not prime. Res64: 22492A4B9120A23A Time : 0.0 sec. user=mdettweiler [2012-01-11 10:33:06] 909*2^1000692-1 is not prime. Res64: E217586AC50A926E Time : 0.0 sec. user=mdettweiler [2012-01-11 10:33:22] 693*2^1000691-1 is not prime. Res64: 4D174EF2DF40DA9E Time : 0.0 sec. user=mdettweiler [2012-01-11 10:33:22] 829*2^1000691-1 is not prime. Res64: 9BD4532457FC4375 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:35:04] 923*2^1000692-1 is not prime. Res64: EA9AA7D81023879B Time : 0.0 sec. user=mdettweiler [2012-01-11 10:35:35] 987*2^1000690-1 is not prime. Res64: C41F3FE3A9D82FE0 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:35:36] 1001*2^1000690-1 is not prime. Res64: 29CF85E10A26DA93 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:41:35] 913*2^1000691-1 is not prime. Res64: 4CC6D56C5CC1FA84 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:41:35] 629*2^1000692-1 is not prime. Res64: 3B241FEDA5BCBFEE Time : 0.0 sec. user=mdettweiler [2012-01-11 10:42:15] 965*2^1000692-1 is not prime. Res64: E29E59A53CA29FF8 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:42:33] 867*2^1000693-1 is not prime. Res64: AE2C652534723878 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:42:57] 693*2^1000692-1 is not prime. Res64: 710D59C750D54676 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:42:57] 695*2^1000692-1 is not prime. Res64: CDD1B1B12A55665B Time : 0.0 sec. user=mdettweiler [2012-01-11 10:49:44] 827*2^1000694-1 is not prime. Res64: 0CAA37E6E2230BC5 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:50:03] 675*2^1000695-1 is not prime. Res64: B86E7488F09D3A9F Time : 0.0 sec. user=mdettweiler [2012-01-11 10:52:55] 609*2^1000693-1 is not prime. Res64: CBC268B049CDDF73 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:52:56] 741*2^1000693-1 is not prime. Res64: 9287EAB2A7499C89 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:55:11] 861*2^1000685-1 is not prime. Res64: 157BB98A7FB26DED Time : 0.0 sec. user=mdettweiler [2012-01-11 10:55:11] 897*2^1000693-1 is not prime. Res64: F75AEB5F9F9D0569 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:55:11] 981*2^1000685-1 is not prime. Res64: 2B2E72A42D84DD5D Time : 0.0 sec. user=mdettweiler [2012-01-11 10:55:12] 605*2^1000694-1 is not prime. Res64: F348182645092DC3 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:57:14] 751*2^1000695-1 is not prime. Res64: F158E759F1E9E073 Time : 0.0 sec. user=mdettweiler [2012-01-11 10:57:33] 885*2^1000695-1 is not prime. Res64: 6A48F87123088965 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:01:12] 675*2^1000694-1 is not prime. Res64: D7C0292C0F0ADFA2 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:01:13] 693*2^1000694-1 is not prime. Res64: 68B2F74C065A3FD7 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:02:34] 709*2^1000695-1 is not prime. Res64: C2693A2857AD5A18 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:02:36] 741*2^1000695-1 is not prime. Res64: ED3271919C8682BE Time : 0.0 sec. user=mdettweiler [2012-01-11 11:04:30] 681*2^1000687-1 is not prime. Res64: 85A651F594DD53A6 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:04:31] 705*2^1000687-1 is not prime. Res64: 63D355AE767F072B Time : 0.0 sec. user=mdettweiler [2012-01-11 11:04:46] 843*2^1000696-1 is not prime. Res64: 97A256876E8C1E78 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:05:04] 869*2^1000696-1 is not prime. Res64: 7AB0BCA185771E7B Time : 0.0 sec. user=mdettweiler [2012-01-11 11:10:33] 891*2^1000687-1 is not prime. Res64: DFBA66BF57BA4214 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:10:34] 945*2^1000687-1 is not prime. Res64: 7C74B031DA35060F Time : 0.0 sec. user=mdettweiler [2012-01-11 11:12:30] 921*2^1000695-1 is not prime. Res64: ED00A57999099783 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:12:30] 949*2^1000695-1 is not prime. Res64: EAF9BBB020819442 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:12:42] 681*2^1000698-1 is not prime. Res64: C51B6B9628303BF4 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:13:52] 979*2^1000697-1 is not prime. Res64: 25899B16A82A7466 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:14:48] 645*2^1000696-1 is not prime. Res64: 4F5BDF1B0A2D7618 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:14:49] 663*2^1000696-1 is not prime. Res64: 2A487E15501CFBE8 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:20:14] 725*2^1000700-1 is not prime. Res64: 90976B5F16E88E78 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:21:25] 797*2^1000700-1 is not prime. Res64: 74FDC9F7E5E7021E Time : 0.0 sec. user=mdettweiler [2012-01-11 11:22:12] 691*2^1000697-1 is not prime. Res64: E3FCFDD922810A8B Time : 0.0 sec. user=mdettweiler [2012-01-11 11:22:12] 847*2^1000697-1 is not prime. Res64: 4308B5E556D878F8 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:23:05] 999*2^1000696-1 is not prime. Res64: 812F00556243219B Time : 0.0 sec. user=mdettweiler [2012-01-11 11:23:05] 669*2^1000697-1 is not prime. Res64: 8467BC2B2EAB5155 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:27:49] 889*2^1000701-1 is not prime. Res64: C1DE9B84C2B1DE1F Time : 0.0 sec. user=mdettweiler [2012-01-11 11:29:00] 895*2^1000701-1 is not prime. Res64: 77E7EB655DC51BAC Time : 0.0 sec. user=mdettweiler [2012-01-11 11:32:19] 855*2^1000699-1 is not prime. Res64: 3CC31EF11058BC7C Time : 0.0 sec. user=mdettweiler [2012-01-11 11:32:19] 609*2^1000700-1 is not prime. Res64: 303AAA9193313A9E Time : 0.0 sec. user=mdettweiler [2012-01-11 11:34:25] 897*2^1000700-1 is not prime. Res64: 9BD4BE6A16E2516A Time : 0.0 sec. user=mdettweiler [2012-01-11 11:34:25] 909*2^1000700-1 is not prime. Res64: BA272F629381ABCA Time : 0.0 sec. user=mdettweiler [2012-01-11 11:35:22] 813*2^1000702-1 is not prime. Res64: 922C1510603C927C Time : 0.0 sec. user=mdettweiler [2012-01-11 11:36:33] 867*2^1000702-1 is not prime. Res64: D15FFDC74B19B2BC Time : 0.0 sec. user=mdettweiler [2012-01-11 11:42:11] 871*2^1000691-1 is not prime. Res64: D491FA055C56EF86 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:42:11] 883*2^1000691-1 is not prime. Res64: A659279EE0E6491B Time : 0.0 sec. user=mdettweiler [2012-01-11 11:42:46] 671*2^1000702-1 is not prime. Res64: 4A4E7030D6B76097 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:42:46] 777*2^1000702-1 is not prime. Res64: 5A70C4C1B64BFFC0 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:42:52] 729*2^1000703-1 is not prime. Res64: B87B94C8FA75E554 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:44:03] 735*2^1000703-1 is not prime. Res64: 70B8050315CB1FB0 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:44:05] 945*2^1000701-1 is not prime. Res64: 678A0AE628AE41C1 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:44:05] 969*2^1000701-1 is not prime. Res64: 8F0A259B9FCCAA9F Time : 0.0 sec. user=mdettweiler [2012-01-11 11:50:24] 689*2^1000704-1 is not prime. Res64: 3875239B393FFE0D Time : 0.0 sec. user=mdettweiler [2012-01-11 11:51:35] 705*2^1000704-1 is not prime. Res64: 0AE685592F07753A Time : 0.0 sec. user=mdettweiler [2012-01-11 11:54:01] 615*2^1000703-1 is not prime. Res64: 9C9F176546A03ED8 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:54:02] 693*2^1000703-1 is not prime. Res64: 465F6B664A840564 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:54:11] 983*2^1000702-1 is not prime. Res64: 4256B83057BAF1C2 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:54:12] 609*2^1000703-1 is not prime. Res64: 2509418D5E6999F2 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:57:57] 795*2^1000704-1 is not prime. Res64: F27D5BF75EDA2841 Time : 0.0 sec. user=mdettweiler [2012-01-11 11:59:07] 809*2^1000704-1 is not prime. Res64: C73C9A3C6153D074 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:02:27] 855*2^1000703-1 is not prime. Res64: 6E7D72C7611505C6 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:02:28] 915*2^1000703-1 is not prime. Res64: C8C34A4A2146D52F Time : 0.0 sec. user=mdettweiler [2012-01-11 12:03:43] 707*2^1000704-1 is not prime. Res64: FEA52B6B09D712E5 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:03:44] 753*2^1000704-1 is not prime. Res64: 5C5CB3D9F08BAD0A Time : 0.0 sec. user=mdettweiler [2012-01-11 12:06:40] 705*2^1000705-1 is not prime. Res64: B47C59C99980E431 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:07:07] 975*2^1000704-1 is not prime. Res64: 23B699C81477A793 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:13:38] 873*2^1000704-1 is not prime. Res64: EFE53BE86B045CD4 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:13:39] 875*2^1000704-1 is not prime. Res64: 0B7CF4FE7581458C Time : 0.0 sec. user=mdettweiler [2012-01-11 12:13:47] 915*2^1000704-1 is not prime. Res64: B5EF0C573E64A361 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:13:48] 927*2^1000704-1 is not prime. Res64: 6343E02B3F3862EF Time : 0.0 sec. user=mdettweiler [2012-01-11 12:14:13] 915*2^1000705-1 is not prime. Res64: 9C12A8B43608B630 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:14:39] 741*2^1000706-1 is not prime. Res64: A8C2AEB5CCC59853 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:21:45] 675*2^1000707-1 is not prime. Res64: 0D44F49EBE142F1E Time : 0.0 sec. user=mdettweiler [2012-01-11 12:22:10] 829*2^1000707-1 is not prime. Res64: 5F13C5FCEF6E9EE4 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:22:11] 759*2^1000705-1 is not prime. Res64: 2FDA6E8E58268746 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:22:11] 775*2^1000705-1 is not prime. Res64: 691BBE6EA2E8322C Time : 0.0 sec. user=mdettweiler [2012-01-11 12:23:23] 801*2^1000705-1 is not prime. Res64: 8B54AEF3541F7023 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:23:23] 867*2^1000705-1 is not prime. Res64: 3C67D8124B8883D2 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:25:29] 961*2^1000695-1 is not prime. Res64: CC611C550FAD8AAD Time : 0.0 sec. user=mdettweiler [2012-01-11 12:25:29] 623*2^1000696-1 is not prime. Res64: A94260BDDF12B780 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:29:20] 849*2^1000707-1 is not prime. Res64: 92BCB4C4B6AABA48 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:29:44] 931*2^1000707-1 is not prime. Res64: FC22170549EB8613 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:33:23] 867*2^1000706-1 is not prime. Res64: A0C90D868ED05C50 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:33:24] 875*2^1000706-1 is not prime. Res64: E2C2D55602A60675 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:35:42] 987*2^1000706-1 is not prime. Res64: BA8805DDB5ACDA14 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:35:43] 643*2^1000707-1 is not prime. Res64: E567D2B830C0BE91 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:35:59] 949*2^1000697-1 is not prime. Res64: 352C750C1697094F Time : 0.0 sec. user=mdettweiler [2012-01-11 12:36:00] 955*2^1000697-1 is not prime. Res64: DF7F757FC6DB74C9 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:36:51] 945*2^1000709-1 is not prime. Res64: 557DA745BB6D586B Time : 0.0 sec. user=mdettweiler [2012-01-11 12:37:15] 693*2^1000710-1 is not prime. Res64: FC52FD25AFE6665D Time : 0.0 sec. user=mdettweiler [2012-01-11 12:41:31] 713*2^1000698-1 is not prime. Res64: D928A83AD4BF80E4 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:41:31] 977*2^1000698-1 is not prime. Res64: 4C54FE6581A58895 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:41:48] 951*2^1000707-1 is not prime. Res64: 82D7DBC78841A628 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:41:49] 647*2^1000708-1 is not prime. Res64: 8C21C39E85BC5D0C Time : 0.0 sec. user=mdettweiler [2012-01-11 12:44:26] 759*2^1000711-1 is not prime. Res64: C2746EF121C48C5A Time : 0.0 sec. user=mdettweiler [2012-01-11 12:44:51] 861*2^1000711-1 is not prime. Res64: 62B2235D359F1A0A Time : 0.0 sec. user=mdettweiler [2012-01-11 12:45:16] 927*2^1000708-1 is not prime. Res64: F33780084CEEDEA0 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:45:16] 989*2^1000708-1 is not prime. Res64: 2DFD5BFD177BB280 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:52:00] 873*2^1000712-1 is not prime. Res64: 53495288815F8D32 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:52:24] 875*2^1000712-1 is not prime. Res64: 9B42F112B8441EF4 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:53:00] 707*2^1000710-1 is not prime. Res64: 51D3A94793A49139 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:53:00] 833*2^1000710-1 is not prime. Res64: 241B094588886E1F Time : 0.0 sec. user=mdettweiler [2012-01-11 12:55:21] 845*2^1000710-1 is not prime. Res64: 7D9ECCC07B576D07 Time : 0.0 sec. user=mdettweiler [2012-01-11 12:55:22] 891*2^1000710-1 is not prime. Res64: D8E41EBA3B2685BD Time : 0.0 sec. user=mdettweiler [2012-01-11 12:59:36] 735*2^1000713-1 is not prime. Res64: BB872593336DF02D Time : 0.0 sec. user=mdettweiler [2012-01-11 12:59:58] 675*2^1000714-1 is not prime. Res64: 8700A6574F85BBB4 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:01:30] 725*2^1000712-1 is not prime. Res64: 08E5AF5CEB172F09 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:01:31] 833*2^1000712-1 is not prime. Res64: 12725D2B8A78871F Time : 0.0 sec. user=mdettweiler [2012-01-11 13:05:02] 609*2^1000713-1 is not prime. Res64: EC6A8295AD091FDA Time : 0.0 sec. user=mdettweiler [2012-01-11 13:05:10] 649*2^1000713-1 is not prime. Res64: 15F397A0C0769F98 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:06:11] 763*2^1000703-1 is not prime. Res64: EE1FCB612CCDD2DD Time : 0.0 sec. user=mdettweiler [2012-01-11 13:07:14] 783*2^1000715-1 is not prime. Res64: 84F6A7AA8757A7AF Time : 0.0 sec. user=mdettweiler [2012-01-11 13:07:33] 883*2^1000715-1 is not prime. Res64: 3B98877403B93C53 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:12:42] 695*2^1000714-1 is not prime. Res64: F04D9773A3EAF06B Time : 0.0 sec. user=mdettweiler [2012-01-11 13:12:43] 707*2^1000714-1 is not prime. Res64: 897B846C2750DF3F Time : 0.0 sec. user=mdettweiler [2012-01-11 13:15:00] 867*2^1000716-1 is not prime. Res64: 9757B0C3F8B4167E Time : 0.0 sec. user=mdettweiler [2012-01-11 13:15:13] 875*2^1000716-1 is not prime. Res64: EF320E72C9AAA297 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:17:17] 983*2^1000714-1 is not prime. Res64: 4B57A84E535D96D2 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:17:17] 759*2^1000715-1 is not prime. Res64: 2B0F6B904E569FAB Time : 0.0 sec. user=mdettweiler [2012-01-11 13:21:22] 943*2^1000715-1 is not prime. Res64: BDCEF89DBEFB8FDB Time : 0.0 sec. user=mdettweiler [2012-01-11 13:21:22] 633*2^1000716-1 is not prime. Res64: 252D088EFFC7A5A8 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:22:40] 667*2^1000717-1 is not prime. Res64: 552C9C5CF2D32402 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:22:51] 817*2^1000717-1 is not prime. Res64: FC9E8128A0E4D270 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:25:12] 749*2^1000716-1 is not prime. Res64: A6973E5C5212A5DF Time : 0.0 sec. user=mdettweiler [2012-01-11 13:25:13] 843*2^1000716-1 is not prime. Res64: 4A08018C6E7F91C2 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:30:17] 885*2^1000718-1 is not prime. Res64: 89A994D2E64C2303 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:30:31] 921*2^1000718-1 is not prime. Res64: ABFA290003FE8394 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:32:22] 933*2^1000716-1 is not prime. Res64: DDDAAF484DC739E3 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:32:22] 649*2^1000717-1 is not prime. Res64: E8B0F78579C591C6 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:36:54] 829*2^1000717-1 is not prime. Res64: D525BE330A8360CC Time : 0.0 sec. user=mdettweiler [2012-01-11 13:36:54] 627*2^1000718-1 is not prime. Res64: 50FAAE6F0D34B547 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:37:53] 609*2^1000719-1 is not prime. Res64: D0886728C7609181 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:38:06] 625*2^1000719-1 is not prime. Res64: 1868E2EB412B1754 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:40:59] 711*2^1000718-1 is not prime. Res64: F6FE12ED8F276632 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:40:59] 833*2^1000718-1 is not prime. Res64: 6A2AB797CCFD37F0 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:45:27] 863*2^1000720-1 is not prime. Res64: 2B35DE5067E20BF2 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:45:41] 715*2^1000721-1 is not prime. Res64: E97DF3986336C4E3 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:49:23] 691*2^1000709-1 is not prime. Res64: 949FB013A17984AF Time : 0.0 sec. user=mdettweiler [2012-01-11 13:49:23] 735*2^1000709-1 is not prime. Res64: 8C28F789BFC80320 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:49:27] 957*2^1000718-1 is not prime. Res64: 9B652336C731CCF7 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:49:28] 963*2^1000718-1 is not prime. Res64: 13048643E32A2182 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:51:58] 705*2^1000719-1 is not prime. Res64: 4C599FCF7B5C8632 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:51:59] 831*2^1000719-1 is not prime. Res64: 1BE19F18AF006095 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:53:04] 937*2^1000721-1 is not prime. Res64: 31FE2EEC81CED5CC Time : 0.0 sec. user=mdettweiler [2012-01-11 13:53:18] 949*2^1000721-1 is not prime. Res64: FA4637AE90F326BF Time : 0.0 sec. user=mdettweiler [2012-01-11 13:56:29] 879*2^1000719-1 is not prime. Res64: FD7E4CD93CFD7CC2 Time : 0.0 sec. user=mdettweiler [2012-01-11 13:56:30] 677*2^1000720-1 is not prime. Res64: 0AB4D705A06AFB72 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:00:36] 799*2^1000721-1 is not prime. Res64: 36C737C4CCCF40F0 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:00:37] 879*2^1000721-1 is not prime. Res64: 9A1B2C307F37B4F9 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:00:43] 675*2^1000723-1 is not prime. Res64: A0CFABCCDBB1D731 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:00:54] 775*2^1000723-1 is not prime. Res64: 493ABEFC988D906E Time : 0.0 sec. user=mdettweiler [2012-01-11 14:08:21] 813*2^1000724-1 is not prime. Res64: 0EED2BC25498AF53 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:08:30] 825*2^1000724-1 is not prime. Res64: B0D5FBB4140D1C26 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:09:03] 677*2^1000722-1 is not prime. Res64: 48FD9529C0AFACD7 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:09:04] 717*2^1000722-1 is not prime. Res64: F39BC1FD78FBD7CA Time : 0.0 sec. user=mdettweiler [2012-01-11 14:09:14] 971*2^1000710-1 is not prime. Res64: 772F376D24FC845F Time : 0.0 sec. user=mdettweiler [2012-01-11 14:09:15] 609*2^1000711-1 is not prime. Res64: 4F586BE9D436CEAC Time : 0.0 sec. user=mdettweiler [2012-01-11 14:11:31] 737*2^1000722-1 is not prime. Res64: A641C182DDB929B3 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:11:33] 945*2^1000722-1 is not prime. Res64: BAEA53B5C3034FAE Time : 0.0 sec. user=mdettweiler [2012-01-11 14:15:30] 975*2^1000711-1 is not prime. Res64: D7AF2A7A9BD28A99 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:15:31] 615*2^1000712-1 is not prime. Res64: 1158711A9720D3E4 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:15:55] 935*2^1000724-1 is not prime. Res64: 3DD296923EFFCB59 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:16:04] 913*2^1000723-1 is not prime. Res64: 1C3994C48E2D047A Time : 0.0 sec. user=mdettweiler [2012-01-11 14:16:05] 659*2^1000724-1 is not prime. Res64: 156CA1CF6AD94D2B Time : 0.0 sec. user=mdettweiler [2012-01-11 14:16:06] 685*2^1000725-1 is not prime. Res64: FE6E65127F5219D4 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:20:15] 725*2^1000724-1 is not prime. Res64: D3215FF8AA54A98A Time : 0.0 sec. user=mdettweiler [2012-01-11 14:20:16] 743*2^1000724-1 is not prime. Res64: 9EE280A190A73EF8 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:23:30] 949*2^1000725-1 is not prime. Res64: AE40C000A2F09426 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:23:41] 887*2^1000726-1 is not prime. Res64: B2F57F3E235E96D8 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:28:40] 741*2^1000725-1 is not prime. Res64: C6BC174CD6082424 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:28:41] 759*2^1000725-1 is not prime. Res64: C29BEE609025340B Time : 0.0 sec. user=mdettweiler [2012-01-11 14:31:06] 711*2^1000727-1 is not prime. Res64: A12E5AE165B46234 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:31:07] 817*2^1000725-1 is not prime. Res64: 60FB7FEA915C4D33 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:31:08] 871*2^1000725-1 is not prime. Res64: B1ED03FF627E65D0 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:31:16] 759*2^1000727-1 is not prime. Res64: 3D5844F24E44FA5D Time : 0.0 sec. user=mdettweiler [2012-01-11 14:35:42] 741*2^1000726-1 is not prime. Res64: 5307EA9B832414CB Time : 0.0 sec. user=mdettweiler [2012-01-11 14:35:42] 843*2^1000726-1 is not prime. Res64: EF3ED9B90F0D6877 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:38:39] 705*2^1000728-1 is not prime. Res64: 1D40E18E68E5B579 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:38:49] 845*2^1000728-1 is not prime. Res64: 23087D6442097B77 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:39:52] 923*2^1000726-1 is not prime. Res64: DAAA9B5EC596DFF7 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:39:52] 645*2^1000727-1 is not prime. Res64: 63333E794F557B79 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:46:14] 765*2^1000729-1 is not prime. Res64: F51E50E1B537094D Time : 0.0 sec. user=mdettweiler [2012-01-11 14:48:06] 975*2^1000729-1 is not prime. Res64: 0731001C06D96CF6 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:48:26] 831*2^1000727-1 is not prime. Res64: AE108DD3684F8446 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:48:27] 885*2^1000727-1 is not prime. Res64: 411899DE6706ABA7 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:50:53] 737*2^1000728-1 is not prime. Res64: 6E1D1623E59E254F Time : 0.0 sec. user=mdettweiler [2012-01-11 14:50:53] 747*2^1000728-1 is not prime. Res64: FFAD4E9DC19CFE5F Time : 0.0 sec. user=mdettweiler [2012-01-11 14:53:46] 645*2^1000730-1 is not prime. Res64: 02F6A978D8EC1398 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:55:40] 675*2^1000730-1 is not prime. Res64: 1E0D69DA5CBA2708 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:57:59] 977*2^1000728-1 is not prime. Res64: 18BC6F93D595E8B1 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:57:59] 747*2^1000729-1 is not prime. Res64: BDF108DF7982E6E7 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:59:51] 605*2^1000730-1 is not prime. Res64: 08A7EBA4F9BEE5E1 Time : 0.0 sec. user=mdettweiler [2012-01-11 14:59:52] 615*2^1000730-1 is not prime. Res64: 1808702832E9F49C Time : 0.0 sec. user=mdettweiler [2012-01-11 15:01:20] 935*2^1000730-1 is not prime. Res64: 36E82320A579B9EE Time : 0.0 sec. user=mdettweiler [2012-01-11 15:03:13] 951*2^1000730-1 is not prime. Res64: ADE9A02992C09B8C Time : 0.0 sec. user=mdettweiler [2012-01-11 15:08:54] 707*2^1000730-1 is not prime. Res64: 41A0B9DE6530544C Time : 0.0 sec. user=mdettweiler [2012-01-11 15:08:55] 741*2^1000730-1 is not prime. Res64: DE53405CF2B95C99 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:08:57] 665*2^1000732-1 is not prime. Res64: 1B98890C4F665667 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:10:48] 677*2^1000732-1 is not prime. Res64: E86DA5A7CA238697 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:11:16] 743*2^1000730-1 is not prime. Res64: DCB740EBB0E42D0E Time : 0.0 sec. user=mdettweiler [2012-01-11 15:11:17] 831*2^1000730-1 is not prime. Res64: 6E9BF55A13F8DBAC Time : 0.0 sec. user=mdettweiler [2012-01-11 15:15:20] 813*2^1000703-1 is not prime. Res64: B42A339D5E45E832 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:16:36] 863*2^1000732-1 is not prime. Res64: 148200A3659E68CE Time : 0.0 sec. user=mdettweiler [2012-01-11 15:20:09] 983*2^1000732-1 is not prime. Res64: 19FD1470334BD32A Time : 0.0 sec. user=mdettweiler [2012-01-11 15:22:21] 991*2^1000731-1 is not prime. Res64: 58C161652D44E228 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:22:22] 653*2^1000732-1 is not prime. Res64: 9D301FC84CDF66B0 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:22:43] 987*2^1000730-1 is not prime. Res64: 298E57EDF1BFB45D Time : 0.0 sec. user=mdettweiler [2012-01-11 15:22:44] 973*2^1000731-1 is not prime. Res64: A95CCA4241910BDF Time : 0.0 sec. user=mdettweiler [2012-01-11 15:23:19] 967*2^1000721-1 is not prime. Res64: 33374025DE592F1C Time : 0.0 sec. user=mdettweiler [2012-01-11 15:23:19] 647*2^1000722-1 is not prime. Res64: 32A99B81DDEA91EC Time : 0.0 sec. user=mdettweiler [2012-01-11 15:24:12] 889*2^1000733-1 is not prime. Res64: 0FC5C355B6FAC1C9 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:27:46] 901*2^1000733-1 is not prime. Res64: 8C40FFF6579C2EBC Time : 0.0 sec. user=mdettweiler [2012-01-11 15:29:10] 743*2^1000732-1 is not prime. Res64: 62572CF9710330C8 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:29:11] 807*2^1000732-1 is not prime. Res64: AD81B08950633648 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:31:12] 781*2^1000725-1 is not prime. Res64: 8860BAD000E6560B Time : 0.0 sec. user=mdettweiler [2012-01-11 15:31:13] 789*2^1000725-1 is not prime. Res64: F9458CA940394D88 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:31:17] 619*2^1000733-1 is not prime. Res64: E3340EB8661F7626 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:31:17] 771*2^1000733-1 is not prime. Res64: 207818A22CEA1968 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:31:49] 765*2^1000734-1 is not prime. Res64: E72163F46355D4DF Time : 0.0 sec. user=mdettweiler [2012-01-11 15:35:22] 797*2^1000734-1 is not prime. Res64: E70A01DF1D61613F Time : 0.0 sec. user=mdettweiler [2012-01-11 15:38:35] 885*2^1000725-1 is not prime. Res64: C2473370801551E1 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:38:35] 889*2^1000725-1 is not prime. Res64: E7FEF3C5366AFC33 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:39:25] 861*2^1000735-1 is not prime. Res64: 9D5D56D51B851ADE Time : 0.0 sec. user=mdettweiler [2012-01-11 15:42:44] 611*2^1000734-1 is not prime. Res64: C6A08E012177F02B Time : 0.0 sec. user=mdettweiler [2012-01-11 15:42:44] 651*2^1000734-1 is not prime. Res64: E36982E7DDDAB053 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:42:57] 873*2^1000735-1 is not prime. Res64: 0BDC1BD9A4BFD271 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:44:36] 937*2^1000733-1 is not prime. Res64: 4150034F72D6EA39 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:44:36] 969*2^1000733-1 is not prime. Res64: 433696373914E72D Time : 0.0 sec. user=mdettweiler [2012-01-11 15:47:01] 683*2^1000736-1 is not prime. Res64: 1C96E763A3A5D562 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:49:05] 609*2^1000735-1 is not prime. Res64: 75081A2534B0416C Time : 0.0 sec. user=mdettweiler [2012-01-11 15:49:05] 679*2^1000735-1 is not prime. Res64: DE5706D49F23E4D8 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:50:33] 637*2^1000737-1 is not prime. Res64: A2FD23F996887B32 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:51:17] 793*2^1000735-1 is not prime. Res64: 856C4D37C805155E Time : 0.0 sec. user=mdettweiler [2012-01-11 15:51:17] 831*2^1000735-1 is not prime. Res64: A44B40B79707254F Time : 0.0 sec. user=mdettweiler [2012-01-11 15:54:37] 847*2^1000737-1 is not prime. Res64: 932E6A85D0B14857 Time : 0.0 sec. user=mdettweiler [2012-01-11 15:58:11] 605*2^1000738-1 is not prime. Res64: 67412695C837151D Time : 0.0 sec. user=mdettweiler [2012-01-11 16:02:14] 827*2^1000738-1 is not prime. Res64: 7CC112C43078F5DB Time : 0.0 sec. user=mdettweiler [2012-01-11 16:03:11] 725*2^1000736-1 is not prime. Res64: 1D4ED5BAD9B0FF16 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:03:12] 873*2^1000736-1 is not prime. Res64: E14572CB630DB104 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:05:15] 639*2^1000737-1 is not prime. Res64: 497356085B98014D Time : 0.0 sec. user=mdettweiler [2012-01-11 16:05:15] 795*2^1000737-1 is not prime. Res64: AC849D959E6601EE Time : 0.0 sec. user=mdettweiler [2012-01-11 16:05:19] 951*2^1000738-1 is not prime. Res64: 33D6174362A146DA Time : 0.0 sec. user=mdettweiler [2012-01-11 16:12:45] 753*2^1000739-1 is not prime. Res64: 08CAE11353B583F3 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:12:54] 825*2^1000739-1 is not prime. Res64: 6763BDD2C7EA7881 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:13:22] 849*2^1000737-1 is not prime. Res64: 074315F44466203D Time : 0.0 sec. user=mdettweiler [2012-01-11 16:20:20] 829*2^1000739-1 is not prime. Res64: F6DAAA8FE97F7F2B Time : 0.0 sec. user=mdettweiler [2012-01-11 16:20:30] 843*2^1000739-1 is not prime. Res64: A1377A6CE0D59991 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:27:53] 883*2^1000739-1 is not prime. Res64: 4FAD1B0165214620 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:28:03] 909*2^1000739-1 is not prime. Res64: 7F0C202DE2C8A2E1 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:34:04] 631*2^1000739-1 is not prime. Res64: 3F4E35A6644B7B85 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:34:05] 643*2^1000739-1 is not prime. Res64: D176E4C49F9D3D8C Time : 0.0 sec. user=mdettweiler [2012-01-11 16:35:37] 759*2^1000740-1 is not prime. Res64: B4778B683731B108 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:37:14] 979*2^1000739-1 is not prime. Res64: 131DFD421E14B0DE Time : 0.0 sec. user=mdettweiler [2012-01-11 16:37:19] 775*2^1000739-1 is not prime. Res64: 4BA22887ECA3CCEE Time : 0.0 sec. user=mdettweiler [2012-01-11 16:37:19] 823*2^1000739-1 is not prime. Res64: F45C3A7847092F89 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:37:28] 829*2^1000733-1 is not prime. Res64: 49D67914E5DA4233 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:37:28] 861*2^1000733-1 is not prime. Res64: 45BA0AB44603F62F Time : 0.0 sec. user=mdettweiler [2012-01-11 16:44:53] 975*2^1000740-1 is not prime. Res64: 8E44CA5C8586A825 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:45:05] 705*2^1000734-1 is not prime. Res64: 4B4FE2EBF542AFF1 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:45:05] 711*2^1000734-1 is not prime. Res64: E77B1533968EF7D8 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:46:29] 983*2^1000740-1 is not prime. Res64: E3940642ADB29BF4 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:52:27] 855*2^1000741-1 is not prime. Res64: 24F86B0FAC43CB23 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:53:03] 705*2^1000735-1 is not prime. Res64: 3D1EC58020C39C36 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:53:04] 741*2^1000735-1 is not prime. Res64: D59E6E0D9F1E491C Time : 0.0 sec. user=mdettweiler [2012-01-11 16:55:46] 979*2^1000741-1 is not prime. Res64: 94DE7032B6D97FA5 Time : 0.0 sec. user=mdettweiler [2012-01-11 16:59:58] 801*2^1000742-1 is not prime. Res64: 7D4A0E32DD4249DE Time : 0.0 sec. user=mdettweiler [2012-01-11 17:03:19] 679*2^1000743-1 is not prime. Res64: 8305628508D3B3A1 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:07:32] 783*2^1000743-1 is not prime. Res64: 5CBCA96B20F799BD Time : 0.0 sec. user=mdettweiler [2012-01-11 17:08:48] 797*2^1000740-1 is not prime. Res64: D2C2D7E91466E278 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:08:49] 857*2^1000740-1 is not prime. Res64: 55455D4C7E7AE8A9 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:09:04] 985*2^1000737-1 is not prime. Res64: CB7F5CA2B57A8ACE Time : 0.0 sec. user=mdettweiler [2012-01-11 17:10:37] 885*2^1000735-1 is not prime. Res64: 7A7EC226F2A3CA85 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:10:37] 979*2^1000735-1 is not prime. Res64: 19A912ADF20DC0F3 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:10:54] 861*2^1000743-1 is not prime. Res64: A212F0F0501F3E4B Time : 0.0 sec. user=mdettweiler [2012-01-11 17:11:40] 607*2^1000741-1 is not prime. Res64: 38AB8BC09CFCE943 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:11:41] 675*2^1000741-1 is not prime. Res64: 1CECC4CBF41C6B6A Time : 0.0 sec. user=mdettweiler [2012-01-11 17:14:29] 747*2^1000738-1 is not prime. Res64: 872EDD3DD08069FF Time : 0.0 sec. user=mdettweiler [2012-01-11 17:14:30] 815*2^1000738-1 is not prime. Res64: 61D76E410382698B Time : 0.0 sec. user=mdettweiler [2012-01-11 17:15:09] 755*2^1000744-1 is not prime. Res64: 681A698D4C13D1D6 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:18:30] 771*2^1000745-1 is not prime. Res64: 4EF513B4436A0BFE Time : 0.0 sec. user=mdettweiler [2012-01-11 17:22:53] 777*2^1000746-1 is not prime. Res64: 2C71D6A96BD0F4DD Time : 0.0 sec. user=mdettweiler [2012-01-11 17:26:05] 615*2^1000747-1 is not prime. Res64: A997A37C1F686EDC Time : 0.0 sec. user=mdettweiler [2012-01-11 17:30:29] 631*2^1000747-1 is not prime. Res64: 7424799F0EADBBF2 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:33:23] 601*2^1000745-1 is not prime. Res64: 36A0F85F1A2FD4AB Time : 0.0 sec. user=mdettweiler [2012-01-11 17:33:23] 607*2^1000745-1 is not prime. Res64: 1AD798B0F495310A Time : 0.0 sec. user=mdettweiler [2012-01-11 17:33:39] 673*2^1000747-1 is not prime. Res64: EAAE109D81BD74E0 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:34:58] 849*2^1000744-1 is not prime. Res64: A23770D2F723D684 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:34:59] 927*2^1000744-1 is not prime. Res64: 6E163355F9D12878 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:36:41] 795*2^1000745-1 is not prime. Res64: 1D6FAB67D2D00B75 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:36:42] 831*2^1000745-1 is not prime. Res64: 9C6222EFF7B64873 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:38:02] 685*2^1000747-1 is not prime. Res64: 6C1B350BE857D8DA Time : 0.0 sec. user=mdettweiler [2012-01-11 17:39:04] 937*2^1000745-1 is not prime. Res64: C2C9B2DDC4AE1B61 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:39:04] 683*2^1000746-1 is not prime. Res64: 9242EE64FAB29F4C Time : 0.0 sec. user=mdettweiler [2012-01-11 17:42:56] 961*2^1000747-1 is not prime. Res64: 678F6C0967208D41 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:45:35] 885*2^1000748-1 is not prime. Res64: B9096CA24D92A712 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:50:32] 625*2^1000749-1 is not prime. Res64: DD7CA81579DCF97B Time : 0.0 sec. user=mdettweiler [2012-01-11 17:53:10] 945*2^1000749-1 is not prime. Res64: 8A43B932FE8E8219 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:58:08] 657*2^1000750-1 is not prime. Res64: 461ED2E5B433FEB8 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:59:26] 691*2^1000741-1 is not prime. Res64: 0CCEF5C6BDBAAEB8 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:59:26] 799*2^1000741-1 is not prime. Res64: 391F323C39EF0CD7 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:59:40] 741*2^1000747-1 is not prime. Res64: 273A9B0AC43C3036 Time : 0.0 sec. user=mdettweiler [2012-01-11 17:59:40] 951*2^1000747-1 is not prime. Res64: 57EFCD2786513278 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:00:47] 665*2^1000750-1 is not prime. Res64: 89F833D48B44F6AD Time : 0.0 sec. user=mdettweiler [2012-01-11 18:02:32] 985*2^1000747-1 is not prime. Res64: 56CDCDBE7E2C6304 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:02:33] 629*2^1000748-1 is not prime. Res64: 4574427A9DFACDBB Time : 0.0 sec. user=mdettweiler [2012-01-11 18:02:59] 777*2^1000748-1 is not prime. Res64: F17E056895F49418 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:03:01] 837*2^1000748-1 is not prime. Res64: 2E0C8F8B8B0C4AB7 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:04:43] 945*2^1000748-1 is not prime. Res64: BA8F2A258896BC04 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:04:43] 609*2^1000749-1 is not prime. Res64: EE622BAA4086079E Time : 0.0 sec. user=mdettweiler [2012-01-11 18:05:43] 741*2^1000750-1 is not prime. Res64: 2D834B4E0CF29975 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:07:06] 877*2^1000741-1 is not prime. Res64: 7B30980F076D57EB Time : 0.0 sec. user=mdettweiler [2012-01-11 18:07:08] 889*2^1000741-1 is not prime. Res64: 05A9F3F954A67DC1 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:08:29] 711*2^1000751-1 is not prime. Res64: C9237D618288EE91 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:13:18] 651*2^1000753-1 is not prime. Res64: 3409F49045E211B6 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:16:03] 831*2^1000753-1 is not prime. Res64: 3091322765D44302 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:20:51] 835*2^1000753-1 is not prime. Res64: 3E78E1391391FB86 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:23:37] 855*2^1000753-1 is not prime. Res64: DCC98C9DBCDD5C9A Time : 0.0 sec. user=mdettweiler [2012-01-11 18:25:35] 923*2^1000742-1 is not prime. Res64: A069DE00137CA00C Time : 0.0 sec. user=mdettweiler [2012-01-11 18:25:35] 1001*2^1000742-1 is not prime. Res64: 5B6B6C743D144944 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:27:14] 917*2^1000750-1 is not prime. Res64: 69FB66E0D2D783F1 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:27:14] 1001*2^1000750-1 is not prime. Res64: 42C26469A8C1B4D9 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:27:19] 855*2^1000751-1 is not prime. Res64: 516A808287704983 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:27:19] 921*2^1000751-1 is not prime. Res64: 044567EAA8C2B4A1 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:28:25] 925*2^1000753-1 is not prime. Res64: 7586FC622EE73907 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:29:40] 767*2^1000752-1 is not prime. Res64: 477444778D33EEE8 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:29:40] 879*2^1000752-1 is not prime. Res64: 6EA6D71E940A9371 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:30:26] 955*2^1000751-1 is not prime. Res64: B7D167099C3CF036 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:30:26] 725*2^1000752-1 is not prime. Res64: AC42F76029BAFFBD Time : 0.0 sec. user=mdettweiler [2012-01-11 18:31:11] 645*2^1000754-1 is not prime. Res64: D4DCDBDEC173DB81 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:32:30] 651*2^1000745-1 is not prime. Res64: F725454B096E7A10 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:32:31] 697*2^1000745-1 is not prime. Res64: 7C12DCE6BC7C2F2F Time : 0.0 sec. user=mdettweiler [2012-01-11 18:36:01] 921*2^1000754-1 is not prime. Res64: E4C3509C30CD729A Time : 0.0 sec. user=mdettweiler [2012-01-11 18:38:46] 639*2^1000755-1 is not prime. Res64: 3322B2FE06B26B1D Time : 0.0 sec. user=mdettweiler [2012-01-11 18:43:37] 741*2^1000755-1 is not prime. Res64: 47E439FE5DEA87BF Time : 0.0 sec. user=mdettweiler [2012-01-11 18:46:25] 789*2^1000755-1 is not prime. Res64: 1BB405702B0263BE Time : 0.0 sec. user=mdettweiler [2012-01-11 18:50:41] 857*2^1000754-1 is not prime. Res64: F6E76AC001389A61 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:50:42] 885*2^1000754-1 is not prime. Res64: BF18BA82EE1AF208 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:51:09] 819*2^1000755-1 is not prime. Res64: B5FC3A92FCF0FEAA Time : 0.0 sec. user=mdettweiler [2012-01-11 18:51:23] 741*2^1000754-1 is not prime. Res64: 43A08D0E259690C7 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:51:23] 851*2^1000754-1 is not prime. Res64: 80E121508F315E71 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:53:33] 613*2^1000755-1 is not prime. Res64: 9FD7003838E4CA2F Time : 0.0 sec. user=mdettweiler [2012-01-11 18:53:34] 625*2^1000755-1 is not prime. Res64: 3A7031EAA95F3C0B Time : 0.0 sec. user=mdettweiler [2012-01-11 18:53:58] 823*2^1000755-1 is not prime. Res64: 4B402ED552F685CB Time : 0.0 sec. user=mdettweiler [2012-01-11 18:54:38] 941*2^1000754-1 is not prime. Res64: 45FE82EA8DFEE590 Time : 0.0 sec. user=mdettweiler [2012-01-11 18:54:38] 1001*2^1000754-1 is not prime. Res64: BE13C5C8461FD51E Time : 0.0 sec. user=mdettweiler [2012-01-11 18:58:47] 647*2^1000756-1 is not prime. Res64: EF9B444F8D331A02 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:01:36] 615*2^1000757-1 is not prime. Res64: E6D9604B180BB295 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:06:19] 645*2^1000757-1 is not prime. Res64: 82BE40DF5663222E Time : 0.0 sec. user=mdettweiler [2012-01-11 19:09:19] 655*2^1000757-1 is not prime. Res64: 0732E1298A912B6F Time : 0.0 sec. user=mdettweiler [2012-01-11 19:11:16] 657*2^1000756-1 is not prime. Res64: B0C3D6462FEFEBAC Time : 0.0 sec. user=mdettweiler [2012-01-11 19:11:18] 779*2^1000756-1 is not prime. Res64: BD9B9E237800445E Time : 0.0 sec. user=mdettweiler [2012-01-11 19:12:55] 891*2^1000755-1 is not prime. Res64: 9E5C94E1B1522FF4 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:12:56] 979*2^1000755-1 is not prime. Res64: 2A38BFAB076684B0 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:13:55] 691*2^1000757-1 is not prime. Res64: 3B0749CA36BEC87D Time : 0.0 sec. user=mdettweiler [2012-01-11 19:14:33] 619*2^1000757-1 is not prime. Res64: 2745C8A5C3259B94 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:14:40] 631*2^1000757-1 is not prime. Res64: 869FE6B4CD653C95 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:15:50] 869*2^1000756-1 is not prime. Res64: E3EA1A83B09FC5BE Time : 0.0 sec. user=mdettweiler [2012-01-11 19:15:51] 999*2^1000756-1 is not prime. Res64: 27C4D4DA05D87A9D Time : 0.0 sec. user=mdettweiler [2012-01-11 19:16:55] 795*2^1000757-1 is not prime. Res64: 28D2B8C517FBE730 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:21:31] 647*2^1000758-1 is not prime. Res64: 2572F006711E1190 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:24:29] 619*2^1000759-1 is not prime. Res64: C822EB797FD39348 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:25:39] 773*2^1000750-1 is not prime. Res64: B873C0599818C09C Time : 0.0 sec. user=mdettweiler [2012-01-11 19:25:39] 791*2^1000750-1 is not prime. Res64: F462E7E441830A6E Time : 0.0 sec. user=mdettweiler [2012-01-11 19:29:06] 649*2^1000759-1 is not prime. Res64: 6B7B08231E1E138D Time : 0.0 sec. user=mdettweiler [2012-01-11 19:31:23] 829*2^1000757-1 is not prime. Res64: 57727F1E41BF1752 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:31:23] 865*2^1000757-1 is not prime. Res64: AEFAC2A2B6EC45F2 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:32:03] 705*2^1000759-1 is not prime. Res64: A0B599A35C3BEB8D Time : 0.0 sec. user=mdettweiler [2012-01-11 19:33:16] 751*2^1000753-1 is not prime. Res64: 810B0D41A38795AB Time : 0.0 sec. user=mdettweiler [2012-01-11 19:33:16] 789*2^1000753-1 is not prime. Res64: 0222009A3CB0DE0F Time : 0.0 sec. user=mdettweiler [2012-01-11 19:33:25] 885*2^1000757-1 is not prime. Res64: BADC0251A1632585 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:33:25] 949*2^1000757-1 is not prime. Res64: 1B84F38F1FB7DDEC Time : 0.0 sec. user=mdettweiler [2012-01-11 19:35:26] 765*2^1000758-1 is not prime. Res64: 6F2F6ED493F7084F Time : 0.0 sec. user=mdettweiler [2012-01-11 19:35:26] 773*2^1000758-1 is not prime. Res64: 8E29C52BB533EE88 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:36:51] 791*2^1000758-1 is not prime. Res64: ACA9AF721966D055 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:36:51] 603*2^1000759-1 is not prime. Res64: E06ED4AC9E33B23D Time : 0.0 sec. user=mdettweiler [2012-01-11 19:38:28] 993*2^1000759-1 is not prime. Res64: 35668A878C5C5801 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:39:39] 767*2^1000760-1 is not prime. Res64: 244146D4F577C964 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:46:02] 813*2^1000762-1 is not prime. Res64: 28A9B90E100D4E45 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:47:15] 941*2^1000762-1 is not prime. Res64: 38BDDCBF123A97BE Time : 0.0 sec. user=mdettweiler [2012-01-11 19:52:40] 671*2^1000754-1 is not prime. Res64: CA7270459119FBDB Time : 0.0 sec. user=mdettweiler [2012-01-11 19:52:40] 711*2^1000754-1 is not prime. Res64: 8C58635C83798428 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:53:39] 643*2^1000763-1 is not prime. Res64: 8752E10F278952F7 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:53:54] 635*2^1000760-1 is not prime. Res64: C2CA9F901227A1A1 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:53:54] 699*2^1000760-1 is not prime. Res64: A87A3329A7510CF4 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:54:51] 663*2^1000763-1 is not prime. Res64: E1EE1B29C122476C Time : 0.0 sec. user=mdettweiler [2012-01-11 19:56:08] 875*2^1000760-1 is not prime. Res64: 11B5F67D214AAED7 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:56:08] 691*2^1000761-1 is not prime. Res64: F31AC4FE08EFCA25 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:58:58] 675*2^1000762-1 is not prime. Res64: 99F08E63B40C4033 Time : 0.0 sec. user=mdettweiler [2012-01-11 19:58:59] 741*2^1000762-1 is not prime. Res64: 35358ACC78C38FAF Time : 0.0 sec. user=mdettweiler [2012-01-11 19:59:59] 643*2^1000755-1 is not prime. Res64: 442E9876F00EDB93 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:00:00] 649*2^1000755-1 is not prime. Res64: 40AAE31030512A5B Time : 0.0 sec. user=mdettweiler [2012-01-11 20:00:09] 951*2^1000761-1 is not prime. Res64: 2397814F7C2813D9 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:00:10] 987*2^1000761-1 is not prime. Res64: 13523C3DCF15EE46 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:01:14] 879*2^1000763-1 is not prime. Res64: 3052B99DB8D05F6F Time : 0.0 sec. user=mdettweiler [2012-01-11 20:02:25] 663*2^1000764-1 is not prime. Res64: 128BB227AEA0ACF0 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:08:47] 623*2^1000766-1 is not prime. Res64: B44D455CA5D4C2C0 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:10:06] 677*2^1000766-1 is not prime. Res64: C4B88D14FE18DA48 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:16:23] 755*2^1000766-1 is not prime. Res64: 6C2FB99489C9D03B Time : 0.0 sec. user=mdettweiler [2012-01-11 20:16:53] 901*2^1000763-1 is not prime. Res64: 7E180B22D526BCD1 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:16:54] 949*2^1000763-1 is not prime. Res64: DBAF82C9697E148F Time : 0.0 sec. user=mdettweiler [2012-01-11 20:17:41] 773*2^1000766-1 is not prime. Res64: EDDE4068CDE76892 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:18:22] 675*2^1000764-1 is not prime. Res64: C8537E2A78726027 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:18:23] 683*2^1000764-1 is not prime. Res64: C86172228EFDBD8E Time : 0.0 sec. user=mdettweiler [2012-01-11 20:22:17] 719*2^1000764-1 is not prime. Res64: DDD4E7E4F531A130 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:22:17] 843*2^1000764-1 is not prime. Res64: DACA3A206339DB43 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:24:00] 825*2^1000766-1 is not prime. Res64: 5F55CE9F3F5B4725 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:25:17] 665*2^1000768-1 is not prime. Res64: 260C2351996CAA6D Time : 0.0 sec. user=mdettweiler [2012-01-11 20:25:41] 855*2^1000765-1 is not prime. Res64: 7429B50128741C90 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:25:41] 987*2^1000765-1 is not prime. Res64: 0BA5EE586B885316 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:26:18] 723*2^1000759-1 is not prime. Res64: B604CE56E9FCB2C8 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:31:36] 627*2^1000769-1 is not prime. Res64: D6CE1A8E48EC9F2F Time : 0.0 sec. user=mdettweiler [2012-01-11 20:32:51] 811*2^1000769-1 is not prime. Res64: E66EADEECF624A75 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:39:16] 723*2^1000770-1 is not prime. Res64: EAA5FB378E48A805 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:40:17] 887*2^1000766-1 is not prime. Res64: 6462E1C40D83E101 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:40:17] 629*2^1000768-1 is not prime. Res64: FEA76FCE833DD747 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:40:26] 747*2^1000770-1 is not prime. Res64: 2D7D3C5F5D989A9F Time : 0.0 sec. user=mdettweiler [2012-01-11 20:40:33] 703*2^1000763-1 is not prime. Res64: ED14D44FA6E9F69F Time : 0.0 sec. user=mdettweiler [2012-01-11 20:40:33] 797*2^1000760-1 is not prime. Res64: 050D1E32EE589C57 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:42:00] 677*2^1000768-1 is not prime. Res64: 111182124BA199A3 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:42:00] 929*2^1000768-1 is not prime. Res64: A1EDE7388C11FE99 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:46:52] 915*2^1000770-1 is not prime. Res64: 7A1A7E69B55B7002 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:48:03] 679*2^1000771-1 is not prime. Res64: 85EED06D9DEA2C45 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:49:16] 831*2^1000769-1 is not prime. Res64: D7474D9723F393B4 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:49:16] 925*2^1000769-1 is not prime. Res64: D70865483E7E8DA6 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:50:01] 995*2^1000768-1 is not prime. Res64: 133381F887947E99 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:50:01] 999*2^1000768-1 is not prime. Res64: 7684390BE8B0C3EA Time : 0.0 sec. user=mdettweiler [2012-01-11 20:54:28] 603*2^1000772-1 is not prime. Res64: 5FD8251C359A7B34 Time : 0.0 sec. user=mdettweiler [2012-01-11 20:55:40] 605*2^1000772-1 is not prime. Res64: 7DF36D02F48E6773 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:02:05] 873*2^1000772-1 is not prime. Res64: 3D2A7CE3125E5E2D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:03:16] 893*2^1000772-1 is not prime. Res64: 9144C5765AD313E0 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:03:54] 615*2^1000771-1 is not prime. Res64: D685102D9CBA0D3B Time : 0.0 sec. user=mdettweiler [2012-01-11 21:03:55] 619*2^1000771-1 is not prime. Res64: 91508C4B42674B13 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:05:52] 681*2^1000771-1 is not prime. Res64: 5ABA74CA04D69D01 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:05:53] 693*2^1000771-1 is not prime. Res64: 0BC00B2C47D5EBE9 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:11:20] 649*2^1000773-1 is not prime. Res64: 1B4BF0B3AA598B62 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:11:55] 957*2^1000772-1 is not prime. Res64: 95172F4EBC4512AA Time : 0.0 sec. user=mdettweiler [2012-01-11 21:13:06] 743*2^1000772-1 is not prime. Res64: 47C824BB2602F7E0 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:13:07] 753*2^1000772-1 is not prime. Res64: 09672966B28F2D62 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:13:30] 677*2^1000772-1 is not prime. Res64: 732C2B92B1AB3C75 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:13:32] 687*2^1000772-1 is not prime. Res64: 503110C6A7E7589D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:19:00] 605*2^1000774-1 is not prime. Res64: 3B6BB6CB41C34805 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:19:36] 657*2^1000774-1 is not prime. Res64: 5842ECBC41F6CDB8 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:26:26] 691*2^1000773-1 is not prime. Res64: 2F1B1DBEC636E9DF Time : 0.0 sec. user=mdettweiler [2012-01-11 21:26:27] 861*2^1000773-1 is not prime. Res64: C79EA7C1947CFC81 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:26:37] 633*2^1000775-1 is not prime. Res64: 4481C9728FD3A834 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:27:12] 675*2^1000775-1 is not prime. Res64: EE8A110B51A77F49 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:30:33] 921*2^1000773-1 is not prime. Res64: 81D1831ECC727280 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:30:33] 991*2^1000773-1 is not prime. Res64: 9B9AF38A03AECD5D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:34:13] 771*2^1000775-1 is not prime. Res64: 9FC1B9C175B76247 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:34:35] 665*2^1000774-1 is not prime. Res64: 19E16C85CD8F15F1 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:34:35] 681*2^1000774-1 is not prime. Res64: 2369DD3D42154248 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:34:48] 783*2^1000775-1 is not prime. Res64: 7B18F5C19311BF3D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:36:25] 885*2^1000774-1 is not prime. Res64: 9740670F6E4A8D2D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:36:25] 917*2^1000774-1 is not prime. Res64: 53759B4216D2861C Time : 0.0 sec. user=mdettweiler [2012-01-11 21:42:25] 779*2^1000776-1 is not prime. Res64: 0F20BDC5BAD4FD55 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:43:34] 985*2^1000775-1 is not prime. Res64: 197873FDF91EA2FF Time : 0.0 sec. user=mdettweiler [2012-01-11 21:48:20] 741*2^1000775-1 is not prime. Res64: F1516D17C207F34D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:48:20] 763*2^1000775-1 is not prime. Res64: 223043C4E5916FD1 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:50:00] 879*2^1000776-1 is not prime. Res64: B548A03323B82417 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:51:10] 903*2^1000776-1 is not prime. Res64: 1CE75BE21B67928C Time : 0.0 sec. user=mdettweiler [2012-01-11 21:54:49] 823*2^1000775-1 is not prime. Res64: 6751A94D9781067D Time : 0.0 sec. user=mdettweiler [2012-01-11 21:54:49] 963*2^1000775-1 is not prime. Res64: 0A7147335AE81BEF Time : 0.0 sec. user=mdettweiler [2012-01-11 21:56:23] 623*2^1000776-1 is not prime. Res64: 789EA08193C1DEC6 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:56:23] 765*2^1000776-1 is not prime. Res64: A2AAC2CC0AEBBC24 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:57:35] 651*2^1000777-1 is not prime. Res64: 0A3667443675155C Time : 0.0 sec. user=mdettweiler [2012-01-11 21:58:45] 661*2^1000777-1 is not prime. Res64: 519BBC63B5175D3B Time : 0.0 sec. user=mdettweiler [2012-01-11 21:58:50] 803*2^1000776-1 is not prime. Res64: 0B5EA3FAD29E2A54 Time : 0.0 sec. user=mdettweiler [2012-01-11 21:58:50] 875*2^1000776-1 is not prime. Res64: 14C11664B359AC5B Time : 0.0 sec. user=mdettweiler [2012-01-11 22:05:11] 791*2^1000778-1 is not prime. Res64: AE105E1A6915BCEB Time : 0.0 sec. user=mdettweiler [2012-01-11 22:06:22] 827*2^1000778-1 is not prime. Res64: CE8A5C78C124A342 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:12:46] 915*2^1000778-1 is not prime. Res64: B6BFDEF2B6BAD81B Time : 0.0 sec. user=mdettweiler [2012-01-11 22:13:56] 923*2^1000778-1 is not prime. Res64: FF3670E56454487E Time : 0.0 sec. user=mdettweiler [2012-01-11 22:14:57] 983*2^1000776-1 is not prime. Res64: D9048405C54F7430 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:14:58] 999*2^1000776-1 is not prime. Res64: 0E40D87184A5FE77 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:16:37] 685*2^1000777-1 is not prime. Res64: 3386EBD7EDF80F11 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:16:37] 807*2^1000777-1 is not prime. Res64: E5405F5EF15F362C Time : 0.0 sec. user=mdettweiler [2012-01-11 22:18:16] 945*2^1000777-1 is not prime. Res64: 156EF0FDA465B09E Time : 0.0 sec. user=mdettweiler [2012-01-11 22:18:16] 645*2^1000778-1 is not prime. Res64: DD5EF861A6722729 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:20:21] 945*2^1000778-1 is not prime. Res64: FA41C93DC9B655F4 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:20:54] 837*2^1000778-1 is not prime. Res64: 913164E8DAAD518C Time : 0.0 sec. user=mdettweiler [2012-01-11 22:20:54] 887*2^1000778-1 is not prime. Res64: 32C1C572ED65FEDD Time : 0.0 sec. user=mdettweiler [2012-01-11 22:23:16] 963*2^1000778-1 is not prime. Res64: 0CC188C1233F2C13 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:24:18] 839*2^1000760-1 is not prime. Res64: CA720F05F5385347 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:29:19] 895*2^1000759-1 is not prime. Res64: 26A4AB7921C2E318 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:29:44] 955*2^1000779-1 is not prime. Res64: FA6456B3EA1CA326 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:30:52] 675*2^1000780-1 is not prime. Res64: A2C0233E8270F3FE Time : 0.0 sec. user=mdettweiler [2012-01-11 22:36:53] 663*2^1000779-1 is not prime. Res64: DBF358B2C566BB3A Time : 0.0 sec. user=mdettweiler [2012-01-11 22:36:53] 735*2^1000779-1 is not prime. Res64: D0F2B32DF1852A39 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:37:16] 813*2^1000780-1 is not prime. Res64: ABEF25F7DC96F81F Time : 0.0 sec. user=mdettweiler [2012-01-11 22:38:24] 827*2^1000780-1 is not prime. Res64: C7BAC4A6907A0216 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:38:31] 835*2^1000779-1 is not prime. Res64: 384624DD55EC6819 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:38:31] 859*2^1000779-1 is not prime. Res64: 69197200A27BCCC0 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:40:05] 879*2^1000779-1 is not prime. Res64: 2A5D4703B7EBD878 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:40:05] 943*2^1000779-1 is not prime. Res64: 1286F4A3A61C57FC Time : 0.0 sec. user=mdettweiler [2012-01-11 22:40:50] 735*2^1000763-1 is not prime. Res64: 923F04673E0503E8 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:45:22] 975*2^1000779-1 is not prime. Res64: 69B118EAF13EAD2C Time : 0.0 sec. user=mdettweiler [2012-01-11 22:45:22] 635*2^1000780-1 is not prime. Res64: 76D8B72794F99641 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:45:34] 715*2^1000781-1 is not prime. Res64: A0AD6734C384DB67 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:46:49] 795*2^1000781-1 is not prime. Res64: 67558475001BC3C0 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:53:06] 885*2^1000782-1 is not prime. Res64: 6F9D4B4CC69AB364 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:54:22] 893*2^1000782-1 is not prime. Res64: F97BB75C59A30341 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:58:44] 933*2^1000780-1 is not prime. Res64: BE5BCB90808A63E5 Time : 0.0 sec. user=mdettweiler [2012-01-11 22:58:44] 939*2^1000780-1 is not prime. Res64: DEFABC65907C3226 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:00:24] 801*2^1000781-1 is not prime. Res64: AE7C9FCEF9D8CA3C Time : 0.0 sec. user=mdettweiler [2012-01-11 23:00:25] 811*2^1000781-1 is not prime. Res64: 1D818B7EFBD0C6DF Time : 0.0 sec. user=mdettweiler [2012-01-11 23:00:41] 917*2^1000782-1 is not prime. Res64: 90B501D4AF0042F8 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:02:00] 837*2^1000781-1 is not prime. Res64: A6711FCA943D4890 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:02:01] 907*2^1000781-1 is not prime. Res64: 99B570104E09D4A9 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:03:44] 963*2^1000782-1 is not prime. Res64: 4B625F17A46D98E7 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:07:22] 821*2^1000782-1 is not prime. Res64: E9F0199C35696366 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:07:23] 843*2^1000782-1 is not prime. Res64: C8CC02CD9B99E18A Time : 0.0 sec. user=mdettweiler [2012-01-11 23:08:21] 813*2^1000783-1 is not prime. Res64: C06C0AD9623D0FD1 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:08:27] 965*2^1000764-1 is not prime. Res64: 8105BEA954C5CC01 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:08:27] 983*2^1000764-1 is not prime. Res64: 585087A288801970 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:11:18] 925*2^1000783-1 is not prime. Res64: AE1D123FF636BCBB Time : 0.0 sec. user=mdettweiler [2012-01-11 23:16:00] 857*2^1000784-1 is not prime. Res64: EB1B8DBED73DFAB2 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:18:58] 705*2^1000785-1 is not prime. Res64: D02C2668535B5413 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:20:34] 639*2^1000783-1 is not prime. Res64: BDE677D3DC488DAD Time : 0.0 sec. user=mdettweiler [2012-01-11 23:20:34] 705*2^1000783-1 is not prime. Res64: 3A7CA5A72225E466 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:22:24] 741*2^1000783-1 is not prime. Res64: F8494E7370EF22A6 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:22:25] 811*2^1000783-1 is not prime. Res64: C514EE28EFE76762 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:23:37] 847*2^1000785-1 is not prime. Res64: 4EE64E6FC83EBEDD Time : 0.0 sec. user=mdettweiler [2012-01-11 23:23:38] 849*2^1000783-1 is not prime. Res64: 9B7191570689D657 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:23:38] 915*2^1000783-1 is not prime. Res64: C153A09B91D510B4 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:26:34] 861*2^1000785-1 is not prime. Res64: A933E4476E00541A Time : 0.0 sec. user=mdettweiler [2012-01-11 23:29:09] 629*2^1000784-1 is not prime. Res64: FA969DF635595109 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:29:09] 683*2^1000784-1 is not prime. Res64: 5A56D6BB06768517 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:31:13] 843*2^1000786-1 is not prime. Res64: F5502CB2113BA013 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:35:57] 987*2^1000786-1 is not prime. Res64: D1F8C9B3B52EBD2E Time : 0.0 sec. user=mdettweiler [2012-01-11 23:42:16] 895*2^1000785-1 is not prime. Res64: E296F7A746A4DC43 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:42:16] 717*2^1000786-1 is not prime. Res64: F7E6263F017675C4 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:42:56] 879*2^1000787-1 is not prime. Res64: F59D68A02334432B Time : 0.0 sec. user=mdettweiler [2012-01-11 23:43:55] 743*2^1000786-1 is not prime. Res64: FAE58760140E0E12 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:43:56] 803*2^1000786-1 is not prime. Res64: EB64EF7C44D8EC70 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:44:55] 871*2^1000787-1 is not prime. Res64: E71D16A185D1AB46 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:46:01] 689*2^1000780-1 is not prime. Res64: 93612CCE8EE93AC3 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:46:01] 693*2^1000780-1 is not prime. Res64: 4CB60AD5D8461EA4 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:48:09] 945*2^1000786-1 is not prime. Res64: A8163462204719F7 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:48:09] 957*2^1000786-1 is not prime. Res64: 46E702EE42705099 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:50:20] 647*2^1000788-1 is not prime. Res64: 2A4C0ADD67633941 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:51:10] 651*2^1000787-1 is not prime. Res64: 320E8865F6D49DC0 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:51:10] 693*2^1000787-1 is not prime. Res64: CC2BADF471CF0456 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:52:32] 795*2^1000788-1 is not prime. Res64: 3821069AD57A04C7 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:52:33] 735*2^1000780-1 is not prime. Res64: 2A0EA7FA68F8EA99 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:52:33] 777*2^1000780-1 is not prime. Res64: 065D329283FAA341 Time : 0.0 sec. user=mdettweiler [2012-01-11 23:57:58] 731*2^1000790-1 is not prime. Res64: 930A19FC07A648FD Time : 0.0 sec.