user=mdettweiler [2012-08-02 00:01:51] 677*2^1225516-1 is not prime. Res64: EB545F2780D9F26F Time : 0.0 sec. user=mdettweiler [2012-08-02 00:01:52] 717*2^1225516-1 is not prime. Res64: EA277263BB2BB82B Time : 0.0 sec. user=mdettweiler [2012-08-02 00:03:35] 895*2^1225515-1 is not prime. Res64: 25EDEFB14C3E8C19 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:04:21] 675*2^1225516-1 is not prime. Res64: 4C0546A6F6DE9E7D Time : 0.0 sec. user=mdettweiler [2012-08-02 00:07:28] 887*2^1225516-1 is not prime. Res64: 927CF2B6E14C90A9 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:07:29] 989*2^1225516-1 is not prime. Res64: 070289AD61825AB3 Time : 0.0 sec. user=vaughan [2012-08-02 00:18:45] 755*2^1225516-1 is not prime. Res64: 62D1E2EEAF04EFDD Time : 0.0 sec. user=mdettweiler [2012-08-02 00:22:39] 645*2^1225517-1 is not prime. Res64: 70B35E131EA59D2D Time : 0.0 sec. user=mdettweiler [2012-08-02 00:22:40] 699*2^1225517-1 is not prime. Res64: 6486E856001274DE Time : 0.0 sec. user=mdettweiler [2012-08-02 00:28:16] 861*2^1225517-1 is not prime. Res64: F590725002FFF0BB Time : 0.0 sec. user=mdettweiler [2012-08-02 00:28:17] 901*2^1225517-1 is not prime. Res64: EA09CE6F914D5E4F Time : 0.0 sec. user=mdettweiler [2012-08-02 00:36:54] 711*2^1225517-1 is not prime. Res64: 29A79603CE5F0F14 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:37:51] 769*2^1225517-1 is not prime. Res64: 6DB4E47262872A60 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:43:34] 967*2^1225517-1 is not prime. Res64: CEC253077251E952 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:43:35] 615*2^1225518-1 is not prime. Res64: D00B92D60668B755 Time : 0.0 sec. user=mdettweiler [2012-08-02 00:49:13] 621*2^1225518-1 is not prime. Res64: 36416B7C67020AAC Time : 0.0 sec. user=mdettweiler [2012-08-02 00:49:14] 693*2^1225518-1 is not prime. Res64: 00B0BE644728938B Time : 0.0 sec. user=vaughan [2012-08-02 00:56:54] 931*2^1225517-1 is not prime. Res64: 1DC4BB000AD0C6C5 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:04:24] 815*2^1225518-1 is not prime. Res64: 384D9943C3247C57 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:04:25] 821*2^1225518-1 is not prime. Res64: A5845A84476ED9D0 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:10:02] 843*2^1225518-1 is not prime. Res64: 8B6A3186F25EC884 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:10:05] 875*2^1225518-1 is not prime. Res64: 54749B7AA5B4F4E6 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:11:19] 705*2^1225518-1 is not prime. Res64: F1DFE580B3DFB8C4 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:12:24] 707*2^1225518-1 is not prime. Res64: 72442B096F4968FD Time : 0.0 sec. user=sm5ymt [2012-08-02 01:13:50] 945*2^1225518-1 is not prime. Res64: A82EF48577B7E4CE Time : 0.0 sec. user=sm5ymt [2012-08-02 01:20:47] 609*2^1225519-1 is not prime. Res64: 6BBC676DE2D6BECB Time : 0.0 sec. user=sm5ymt [2012-08-02 01:21:39] 645*2^1225519-1 is not prime. Res64: DB19C466F7E0DAE5 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:25:25] 963*2^1225518-1 is not prime. Res64: 39A5F1E9235591FC Time : 0.0 sec. user=mdettweiler [2012-08-02 01:25:25] 975*2^1225518-1 is not prime. Res64: 75B107F8BB16A67A Time : 0.0 sec. user=mdettweiler [2012-08-02 01:30:55] 663*2^1225519-1 is not prime. Res64: 3268A212420300B8 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:30:55] 735*2^1225519-1 is not prime. Res64: 34D8583E47EF93EA Time : 0.0 sec. user=vaughan [2012-08-02 01:34:18] 881*2^1225518-1 is not prime. Res64: 4BB886D5FA03F5A0 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:44:04] 789*2^1225519-1 is not prime. Res64: A1DACD638556437B Time : 0.0 sec. user=mdettweiler [2012-08-02 01:45:07] 861*2^1225519-1 is not prime. Res64: 7633D6A4411EF739 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:46:14] 675*2^1225520-1 is not prime. Res64: D425BF3E14780465 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:46:15] 923*2^1225520-1 is not prime. Res64: 7447D59F08C860E0 Time : 0.0 sec. user=gd_barnes [2012-08-02 01:47:00] 615*2^1225520-1 is not prime. Res64: 5764CD9AE186E88C Time : 0.0 sec. user=gd_barnes [2012-08-02 01:50:21] 961*2^1225519-1 is not prime. Res64: 799EDE711D00CDE4 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:51:44] 963*2^1225520-1 is not prime. Res64: 91EE20C3CA1243D9 Time : 0.0 sec. user=mdettweiler [2012-08-02 01:51:44] 983*2^1225520-1 is not prime. Res64: 072E775AA0130241 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:07:01] 751*2^1225521-1 is not prime. Res64: 9A0064A8C1119F11 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:07:04] 777*2^1225521-1 is not prime. Res64: 2E526EBFEBFF9305 Time : 0.0 sec. user=vaughan [2012-08-02 02:11:47] 727*2^1225521-1 is not prime. Res64: A277833B3D3B82BD Time : 0.0 sec. user=mdettweiler [2012-08-02 02:12:31] 807*2^1225521-1 is not prime. Res64: 97B55097C7DAD94C Time : 0.0 sec. user=mdettweiler [2012-08-02 02:12:33] 847*2^1225521-1 is not prime. Res64: 5431CFD5F5402E06 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:17:04] 741*2^1225521-1 is not prime. Res64: B2270EF17D9EF35C Time : 0.0 sec. user=mdettweiler [2012-08-02 02:17:58] 745*2^1225521-1 is not prime. Res64: 6C22234C76AF0F30 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:28:03] 865*2^1225521-1 is not prime. Res64: D9B28D747227FD88 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:28:04] 889*2^1225521-1 is not prime. Res64: A8725D8F0291F1E8 Time : 0.0 sec. user=sm5ymt [2012-08-02 02:32:35] 623*2^1225522-1 is not prime. Res64: 15C6E54D2686E140 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:33:31] 955*2^1225521-1 is not prime. Res64: 56035A0E1BFC9818 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:33:32] 999*2^1225521-1 is not prime. Res64: D85F10CF9CE76774 Time : 0.0 sec. user=sm5ymt [2012-08-02 02:47:50] 815*2^1225522-1 is not prime. Res64: 7EB3613D2B72E44F Time : 0.0 sec. user=sm5ymt [2012-08-02 02:48:06] 857*2^1225522-1 is not prime. Res64: 7472612AF55A125D Time : 0.0 sec. user=mdettweiler [2012-08-02 02:48:53] 675*2^1225522-1 is not prime. Res64: 7285D14D4054B879 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:48:55] 785*2^1225522-1 is not prime. Res64: 3D49043C4088B92C Time : 0.0 sec. user=vaughan [2012-08-02 02:49:18] 901*2^1225521-1 is not prime. Res64: 32ED5B3116492AC3 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:50:47] 635*2^1225522-1 is not prime. Res64: E68A70630F4A9365 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:51:34] 671*2^1225522-1 is not prime. Res64: CA132FB8F3CCD613 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:54:22] 947*2^1225522-1 is not prime. Res64: BA8779923AD7D317 Time : 0.0 sec. user=mdettweiler [2012-08-02 02:54:23] 983*2^1225522-1 is not prime. Res64: 310D40360BD8B7BB Time : 0.0 sec. user=sm5ymt [2012-08-02 03:06:31] 829*2^1225523-1 is not prime. Res64: F9E268FEB9949B41 Time : 0.0 sec. user=sm5ymt [2012-08-02 03:07:22] 609*2^1225524-1 is not prime. Res64: 37E535253309E68F Time : 0.0 sec. user=mdettweiler [2012-08-02 03:10:30] 631*2^1225523-1 is not prime. Res64: 06A086211F655123 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:10:32] 783*2^1225523-1 is not prime. Res64: 74F6F54294B86E9D Time : 0.0 sec. user=mdettweiler [2012-08-02 03:15:09] 825*2^1225524-1 is not prime. Res64: 4EFF013B53E5B1D7 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:15:11] 903*2^1225524-1 is not prime. Res64: BE381D28F2DB9300 Time : 0.0 sec. user=gd_barnes [2012-08-02 03:15:33] 609*2^1225523-1 is not prime. Res64: C9CCA0AA7AB8FEFD Time : 0.0 sec. user=gd_barnes [2012-08-02 03:16:03] 855*2^1225523-1 is not prime. Res64: 887B598AAB5A7164 Time : 0.0 sec. user=gd_barnes [2012-08-02 03:21:30] 861*2^1225523-1 is not prime. Res64: E9CA9BE82AAFFEBB Time : 0.0 sec. user=gd_barnes [2012-08-02 03:21:59] 973*2^1225523-1 is not prime. Res64: 90CC5BE28C42A31F Time : 0.0 sec. user=mdettweiler [2012-08-02 03:24:42] 969*2^1225523-1 is not prime. Res64: 94B7D4451DA73EB9 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:25:14] 723*2^1225524-1 is not prime. Res64: 348114560D68EFCA Time : 0.0 sec. user=vaughan [2012-08-02 03:27:08] 819*2^1225523-1 is not prime. Res64: E6D8BE7B098614B4 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:31:29] 905*2^1225524-1 is not prime. Res64: 0754D1DD02AB641D Time : 0.0 sec. user=mdettweiler [2012-08-02 03:31:30] 945*2^1225524-1 is not prime. Res64: 16F72E7FEBF3DCDF Time : 0.0 sec. user=mdettweiler [2012-08-02 03:36:01] 607*2^1225525-1 is not prime. Res64: 6D9038E9453AB808 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:36:02] 741*2^1225525-1 is not prime. Res64: D293ADC9497AF18C Time : 0.0 sec. user=mdettweiler [2012-08-02 03:52:23] 975*2^1225525-1 is not prime. Res64: 41AC10168F5CA66F Time : 0.0 sec. user=mdettweiler [2012-08-02 03:52:24] 999*2^1225525-1 is not prime. Res64: 2B24F55F18CC4C0B Time : 0.0 sec. user=mdettweiler [2012-08-02 03:56:49] 617*2^1225526-1 is not prime. Res64: 0F32624B2C3CA915 Time : 0.0 sec. user=mdettweiler [2012-08-02 03:56:50] 651*2^1225526-1 is not prime. Res64: 4E07197E4589F3FA Time : 0.0 sec. user=mdettweiler [2012-08-02 03:58:32] 759*2^1225525-1 is not prime. Res64: FB92B3AF4F220CBD Time : 0.0 sec. user=mdettweiler [2012-08-02 03:59:05] 765*2^1225525-1 is not prime. Res64: 8A7A4BE8971F33BA Time : 0.0 sec. user=vaughan [2012-08-02 04:04:52] 771*2^1225525-1 is not prime. Res64: 54FE5AF128847398 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:13:14] 657*2^1225526-1 is not prime. Res64: 50AE9F291C8C7338 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:13:17] 683*2^1225526-1 is not prime. Res64: C61836331784481E Time : 0.0 sec. user=mdettweiler [2012-08-02 04:17:39] 825*2^1225526-1 is not prime. Res64: 9A5F4800E0730228 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:17:40] 903*2^1225526-1 is not prime. Res64: 6151190504612DD0 Time : 0.0 sec. user=odicin [2012-08-02 04:24:41] 739*2^1225527-1 is not prime. Res64: D4E64F458924FFF5 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:30:56] 921*2^1225526-1 is not prime. Res64: 2474A45FDDCA2581 Time : 0.0 sec. user=gd_barnes [2012-08-02 04:31:10] 693*2^1225527-1 is not prime. Res64: F2BDD83F51D1B421 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:34:12] 741*2^1225527-1 is not prime. Res64: E2E8071E8EB87947 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:34:13] 751*2^1225527-1 is not prime. Res64: B8ACE666104B95B2 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:34:26] 633*2^1225527-1 is not prime. Res64: 111533AB5C3A1E8A Time : 0.0 sec. user=mdettweiler [2012-08-02 04:38:44] 775*2^1225527-1 is not prime. Res64: FAEA2125F34C24F0 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:38:44] 793*2^1225527-1 is not prime. Res64: 9A9DAB9FDE3AC7F2 Time : 0.0 sec. user=vaughan [2012-08-02 04:42:57] 661*2^1225527-1 is not prime. Res64: C4816C6301AEF7A0 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:55:04] 657*2^1225528-1 is not prime. Res64: 331E30AD64E44557 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:55:04] 765*2^1225528-1 is not prime. Res64: 4B255B7510D74FBC Time : 0.0 sec. user=mdettweiler [2012-08-02 04:59:31] 863*2^1225528-1 is not prime. Res64: 54EAA7F54BA0B0C2 Time : 0.0 sec. user=mdettweiler [2012-08-02 04:59:32] 795*2^1225529-1 is not prime. Res64: 0B60ABEB06B13A87 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:05:13] 865*2^1225527-1 is not prime. Res64: E4810C857F345FE9 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:08:52] 797*2^1225528-1 is not prime. Res64: B9E51999F120F8C8 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:15:53] 985*2^1225529-1 is not prime. Res64: 9B45A5D8A829B6DC Time : 0.0 sec. user=mdettweiler [2012-08-02 05:15:54] 755*2^1225530-1 is not prime. Res64: 9889081CEC1C232A Time : 0.0 sec. user=mdettweiler [2012-08-02 05:20:21] 963*2^1225530-1 is not prime. Res64: 68ACC1AB622C76FA Time : 0.0 sec. user=mdettweiler [2012-08-02 05:20:22] 977*2^1225530-1 is not prime. Res64: B2344115CF395D2C Time : 0.0 sec. user=vaughan [2012-08-02 05:20:26] 969*2^1225529-1 is not prime. Res64: 8B49191E9E0C674C Time : 0.0 sec. user=mdettweiler [2012-08-02 05:36:40] 973*2^1225531-1 is not prime. Res64: 5D5B2E86B55A471E Time : 0.0 sec. user=mdettweiler [2012-08-02 05:36:41] 975*2^1225531-1 is not prime. Res64: DCA9797E2FC0EDA6 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:39:44] 723*2^1225531-1 is not prime. Res64: 264253D8D1562081 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:41:13] 629*2^1225532-1 is not prime. Res64: B33D6703DFDF6C11 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:41:14] 633*2^1225532-1 is not prime. Res64: 760738637197DDFB Time : 0.0 sec. user=mdettweiler [2012-08-02 05:43:03] 735*2^1225531-1 is not prime. Res64: C7541A5852701869 Time : 0.0 sec. user=gd_barnes [2012-08-02 05:44:51] 775*2^1225531-1 is not prime. Res64: CF0B98A13EB819C2 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:57:28] 893*2^1225532-1 is not prime. Res64: 2314C1103636F051 Time : 0.0 sec. user=mdettweiler [2012-08-02 05:57:29] 915*2^1225532-1 is not prime. Res64: DAFA6AC996C3DAD3 Time : 0.0 sec. user=vaughan [2012-08-02 05:57:50] 855*2^1225532-1 is not prime. Res64: F519CF4922B5B90A Time : 0.0 sec. user=mdettweiler [2012-08-02 06:02:03] 651*2^1225533-1 is not prime. Res64: 6088D137DD572E1A Time : 0.0 sec. user=mdettweiler [2012-08-02 06:02:04] 835*2^1225533-1 is not prime. Res64: 6ED360EB0F2E139E Time : 0.0 sec. user=mdettweiler [2012-08-02 06:11:23] 923*2^1225532-1 is not prime. Res64: 0286966E2AD9E0EF Time : 0.0 sec. user=mdettweiler [2012-08-02 06:15:03] 871*2^1225533-1 is not prime. Res64: 455642F5F14D999E Time : 0.0 sec. user=mdettweiler [2012-08-02 06:18:17] 949*2^1225533-1 is not prime. Res64: 7E735EC5E422FA2D Time : 0.0 sec. user=mdettweiler [2012-08-02 06:18:18] 651*2^1225534-1 is not prime. Res64: F182B10ABB4FF8BD Time : 0.0 sec. user=mdettweiler [2012-08-02 06:22:51] 755*2^1225534-1 is not prime. Res64: 866B0CFDF449BADB Time : 0.0 sec. user=mdettweiler [2012-08-02 06:22:51] 887*2^1225534-1 is not prime. Res64: F37FF1B161AF5028 Time : 0.0 sec. user=vaughan [2012-08-02 06:35:11] 687*2^1225534-1 is not prime. Res64: 23D5AC3474DA69C5 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:39:06] 661*2^1225535-1 is not prime. Res64: A71C39D4A35B5AB8 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:39:07] 883*2^1225535-1 is not prime. Res64: 2779C09AB849BEEA Time : 0.0 sec. user=mdettweiler [2012-08-02 06:43:33] 915*2^1225534-1 is not prime. Res64: 422115D42C538313 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:43:39] 913*2^1225535-1 is not prime. Res64: 551FF7D04C65273C Time : 0.0 sec. user=mdettweiler [2012-08-02 06:43:40] 963*2^1225535-1 is not prime. Res64: 4391CE5F93B5CE95 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:47:15] 645*2^1225535-1 is not prime. Res64: 703BB9BDD14C5CA5 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:59:54] 653*2^1225536-1 is not prime. Res64: 79222702C80A7AF1 Time : 0.0 sec. user=mdettweiler [2012-08-02 06:59:54] 649*2^1225537-1 is not prime. Res64: 42ED066255DB325B Time : 0.0 sec. user=mdettweiler [2012-08-02 07:04:27] 805*2^1225537-1 is not prime. Res64: C497DCACC8E9ACE9 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:04:28] 819*2^1225537-1 is not prime. Res64: F240882727E53704 Time : 0.0 sec. user=vaughan [2012-08-02 07:12:36] 635*2^1225536-1 is not prime. Res64: 7A2C73421DA4410C Time : 0.0 sec. user=mdettweiler [2012-08-02 07:15:30] 747*2^1225537-1 is not prime. Res64: D334620A2FD34218 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:19:08] 831*2^1225537-1 is not prime. Res64: B86E8423DA21DDAE Time : 0.0 sec. user=mdettweiler [2012-08-02 07:20:41] 841*2^1225537-1 is not prime. Res64: 8C0DD5396B4C980C Time : 0.0 sec. user=mdettweiler [2012-08-02 07:20:42] 895*2^1225537-1 is not prime. Res64: D8DAE48999D91F53 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:25:19] 937*2^1225537-1 is not prime. Res64: 8621435A9624E149 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:25:19] 603*2^1225538-1 is not prime. Res64: 138BE9A0D3725CEE Time : 0.0 sec. user=gd_barnes [2012-08-02 07:37:18] 755*2^1225538-1 is not prime. Res64: 96314C2BF214F14D Time : 0.0 sec. user=mdettweiler [2012-08-02 07:41:31] 975*2^1225539-1 is not prime. Res64: A427E2A1FAD7EB26 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:41:31] 985*2^1225539-1 is not prime. Res64: A1B671D96068F176 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:46:07] 999*2^1225539-1 is not prime. Res64: 36EA3C6DD5E3B95C Time : 0.0 sec. user=mdettweiler [2012-08-02 07:46:08] 647*2^1225540-1 is not prime. Res64: 90AD1AD940BA8995 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:47:03] 843*2^1225538-1 is not prime. Res64: 5F34289D41D9BFE7 Time : 0.0 sec. user=vaughan [2012-08-02 07:50:10] 773*2^1225538-1 is not prime. Res64: A2C715C98E2A05F3 Time : 0.0 sec. user=mdettweiler [2012-08-02 07:50:20] 977*2^1225538-1 is not prime. Res64: E3DE5E74B2D7C9DA Time : 0.0 sec. user=mdettweiler [2012-08-02 08:02:20] 677*2^1225540-1 is not prime. Res64: 34DFB1EBA67E1BBD Time : 0.0 sec. user=mdettweiler [2012-08-02 08:02:22] 695*2^1225540-1 is not prime. Res64: 00E6960C74F091D0 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:06:54] 785*2^1225540-1 is not prime. Res64: 13E0A8968D2F7764 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:06:56] 803*2^1225540-1 is not prime. Res64: BF660AFB21B75DA0 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:18:29] 899*2^1225540-1 is not prime. Res64: B30A639B710517AB Time : 0.0 sec. user=mdettweiler [2012-08-02 08:22:15] 697*2^1225541-1 is not prime. Res64: 61BCC4FF469FC49A Time : 0.0 sec. user=mdettweiler [2012-08-02 08:23:37] 799*2^1225541-1 is not prime. Res64: 0EEED8B7EE61A132 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:23:37] 819*2^1225541-1 is not prime. Res64: DD335FCAD762CD0C Time : 0.0 sec. user=vaughan [2012-08-02 08:27:33] 645*2^1225541-1 is not prime. Res64: 80B9B03984790643 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:27:48] 879*2^1225541-1 is not prime. Res64: FA5A8C46B1E1C064 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:27:48] 991*2^1225541-1 is not prime. Res64: 5A2D5589B09AD105 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:44:26] 951*2^1225542-1 is not prime. Res64: 8917E96D72C76661 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:44:27] 649*2^1225543-1 is not prime. Res64: 2CB52CE3C8D04DF3 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:48:35] 831*2^1225543-1 is not prime. Res64: 0D165651AFCC3055 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:48:36] 687*2^1225544-1 is not prime. Res64: C18DDE915FDA1337 Time : 0.0 sec. user=mdettweiler [2012-08-02 08:50:01] 695*2^1225542-1 is not prime. Res64: 484D1F220FCEB41F Time : 0.0 sec. user=mdettweiler [2012-08-02 08:53:37] 765*2^1225542-1 is not prime. Res64: EB64766647146F09 Time : 0.0 sec. user=vaughan [2012-08-02 09:04:55] 771*2^1225543-1 is not prime. Res64: 60D8FAC03D9A34BE Time : 0.0 sec. user=mdettweiler [2012-08-02 09:05:14] 743*2^1225544-1 is not prime. Res64: 4DD0874408292EAD Time : 0.0 sec. user=mdettweiler [2012-08-02 09:05:17] 915*2^1225544-1 is not prime. Res64: F433EEAB8157D7F3 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:09:25] 751*2^1225545-1 is not prime. Res64: 36673214B087E201 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:09:26] 817*2^1225545-1 is not prime. Res64: 12B6C4A09ED367AD Time : 0.0 sec. user=sm5ymt [2012-08-02 09:20:38] 803*2^1225546-1 is not prime. Res64: 702CE47EBC6A3C96 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:21:25] 861*2^1225545-1 is not prime. Res64: C8D1413C359A1053 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:25:11] 867*2^1225545-1 is not prime. Res64: 650886FAD1097A48 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:26:10] 867*2^1225546-1 is not prime. Res64: 399FDFE4688E7431 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:26:10] 975*2^1225546-1 is not prime. Res64: 6A6B7AB8752E7AEC Time : 0.0 sec. user=sm5ymt [2012-08-02 09:29:19] 715*2^1225547-1 is not prime. Res64: 0A0DEEA46EBA1556 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:30:16] 987*2^1225546-1 is not prime. Res64: BB65C51864155804 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:30:17] 669*2^1225547-1 is not prime. Res64: C36DAC72FE5A63FF Time : 0.0 sec. user=gd_barnes [2012-08-02 09:30:27] 801*2^1225546-1 is not prime. Res64: 7EAC766E0C5CD23A Time : 0.0 sec. user=gd_barnes [2012-08-02 09:34:59] 635*2^1225546-1 is not prime. Res64: A742C82633D9E6DB Time : 0.0 sec. user=vaughan [2012-08-02 09:42:22] 663*2^1225546-1 is not prime. Res64: E086A3CDC5F01874 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:46:59] 903*2^1225547-1 is not prime. Res64: 6E3BF1E619F19436 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:47:00] 669*2^1225548-1 is not prime. Res64: 91E4D7668E81137B Time : 0.0 sec. user=mdettweiler [2012-08-02 09:51:06] 689*2^1225548-1 is not prime. Res64: B32D5B6C87DD9A60 Time : 0.0 sec. user=mdettweiler [2012-08-02 09:51:07] 765*2^1225548-1 is not prime. Res64: 86F0DBC4EBEEC3BE Time : 0.0 sec. user=mdettweiler [2012-08-02 09:52:59] 871*2^1225547-1 is not prime. Res64: B64540C3DB7AC91F Time : 0.0 sec. user=mdettweiler [2012-08-02 09:56:43] 883*2^1225547-1 is not prime. Res64: 953CE8B806F6B6CA Time : 0.0 sec. user=mdettweiler [2012-08-02 10:07:49] 825*2^1225548-1 is not prime. Res64: 3FC5E29C153F8A48 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:07:51] 839*2^1225548-1 is not prime. Res64: FB7B0A40A36743FA Time : 0.0 sec. user=mdettweiler [2012-08-02 10:11:55] 867*2^1225548-1 is not prime. Res64: 1A1695C2A1916FE1 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:11:56] 667*2^1225549-1 is not prime. Res64: FFEC5E194404D0F2 Time : 0.0 sec. user=vaughan [2012-08-02 10:19:47] 773*2^1225548-1 is not prime. Res64: 873938B387A7DC90 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:24:31] 729*2^1225549-1 is not prime. Res64: DB147BA3F4CA4BFF Time : 0.0 sec. user=mdettweiler [2012-08-02 10:28:35] 811*2^1225549-1 is not prime. Res64: 30584AE5E060E14B Time : 0.0 sec. user=mdettweiler [2012-08-02 10:28:47] 885*2^1225549-1 is not prime. Res64: BB2F0A5F2A3AFE7E Time : 0.0 sec. user=mdettweiler [2012-08-02 10:28:48] 897*2^1225549-1 is not prime. Res64: 6F31A15561B4BC05 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:32:49] 945*2^1225549-1 is not prime. Res64: 38B0DB573DED2398 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:32:49] 951*2^1225549-1 is not prime. Res64: 6C2D7A1571824F87 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:49:38] 677*2^1225550-1 is not prime. Res64: F9B7AFBE48C5EF32 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:49:39] 747*2^1225550-1 is not prime. Res64: D84A5618FBF9375D Time : 0.0 sec. user=mdettweiler [2012-08-02 10:53:40] 755*2^1225550-1 is not prime. Res64: 54C0D8339FC313F8 Time : 0.0 sec. user=mdettweiler [2012-08-02 10:53:41] 843*2^1225550-1 is not prime. Res64: C05681A21A32220D Time : 0.0 sec. user=mdettweiler [2012-08-02 10:56:26] 641*2^1225550-1 is not prime. Res64: E1779B790A30379B Time : 0.0 sec. user=vaughan [2012-08-02 10:57:22] 615*2^1225550-1 is not prime. Res64: C05C217FD83B6E3D Time : 0.0 sec. user=mdettweiler [2012-08-02 11:00:40] 665*2^1225550-1 is not prime. Res64: 3C8DE6062F4D1A8A Time : 0.0 sec. user=mdettweiler [2012-08-02 11:10:27] 875*2^1225550-1 is not prime. Res64: C1968D600BC1E506 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:10:31] 927*2^1225550-1 is not prime. Res64: FD2052E040FBFB69 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:14:30] 651*2^1225551-1 is not prime. Res64: 09C5AAABF21BDA14 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:14:31] 661*2^1225551-1 is not prime. Res64: 27F962DE4E5F00E8 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:29:57] 693*2^1225551-1 is not prime. Res64: D7AADF7F79ADB095 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:31:27] 885*2^1225551-1 is not prime. Res64: 47B25179C6B4EEE2 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:31:28] 961*2^1225551-1 is not prime. Res64: 44E84F89AC18E454 Time : 0.0 sec. user=vaughan [2012-08-02 11:34:44] 769*2^1225551-1 is not prime. Res64: 6B816B69CBE6A49E Time : 0.0 sec. user=mdettweiler [2012-08-02 11:35:23] 979*2^1225551-1 is not prime. Res64: F95C4ED0C2FD2723 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:35:24] 991*2^1225551-1 is not prime. Res64: BF5015FB04ACC48B Time : 0.0 sec. user=mdettweiler [2012-08-02 11:36:08] 775*2^1225551-1 is not prime. Res64: B4BBBDEC72317F28 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:52:21] 629*2^1225552-1 is not prime. Res64: 109CDB9803F3E752 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:52:21] 705*2^1225552-1 is not prime. Res64: 00A74DE75F550D69 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:56:14] 759*2^1225552-1 is not prime. Res64: 7C756F91BE471EF2 Time : 0.0 sec. user=mdettweiler [2012-08-02 11:56:15] 777*2^1225552-1 is not prime. Res64: 3C7CB9F875829F88 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:03:08] 603*2^1225552-1 is not prime. Res64: 64B58A80B4C87E47 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:07:33] 863*2^1225552-1 is not prime. Res64: 52105D06ADCCE22E Time : 0.0 sec. user=vaughan [2012-08-02 12:12:08] 743*2^1225552-1 is not prime. Res64: A5FB08E4688DFA51 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:13:11] 933*2^1225552-1 is not prime. Res64: 54946CC7948E6674 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:13:15] 619*2^1225553-1 is not prime. Res64: 6857C7C3C246E4D9 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:17:11] 697*2^1225553-1 is not prime. Res64: 087E46D6BDCD8294 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:17:12] 879*2^1225553-1 is not prime. Res64: 5982805EE1C3E56E Time : 0.0 sec. user=mdettweiler [2012-08-02 12:34:06] 711*2^1225554-1 is not prime. Res64: 1494AA0D843B4176 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:34:07] 873*2^1225554-1 is not prime. Res64: 9B5FCC78D865AC51 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:34:52] 955*2^1225553-1 is not prime. Res64: DE3CCB4D2A19C503 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:38:01] 971*2^1225554-1 is not prime. Res64: 686650B18D1D6FC8 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:38:02] 715*2^1225555-1 is not prime. Res64: 708B7463C68C3ACF Time : 0.0 sec. user=mdettweiler [2012-08-02 12:39:08] 605*2^1225554-1 is not prime. Res64: 9381777301E6779D Time : 0.0 sec. user=vaughan [2012-08-02 12:49:43] 621*2^1225554-1 is not prime. Res64: 5F5D6AB1BB3B3083 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:55:05] 829*2^1225555-1 is not prime. Res64: D32ADAB6F262DAB9 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:55:06] 633*2^1225556-1 is not prime. Res64: B6742FE658760C81 Time : 0.0 sec. user=mdettweiler [2012-08-02 12:58:53] 693*2^1225556-1 is not prime. Res64: 5261D4AB55FF518B Time : 0.0 sec. user=mdettweiler [2012-08-02 12:58:53] 897*2^1225556-1 is not prime. Res64: 3DECC756BE2BB3CE Time : 0.0 sec. user=mdettweiler [2012-08-02 13:06:04] 647*2^1225556-1 is not prime. Res64: 58290367A4047429 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:10:26] 923*2^1225556-1 is not prime. Res64: DB8CD9530924C75B Time : 0.0 sec. user=mdettweiler [2012-08-02 13:16:49] 993*2^1225556-1 is not prime. Res64: 6AF960F3D50112D4 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:16:49] 621*2^1225557-1 is not prime. Res64: 24CEF0EEF15D3DE5 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:20:45] 661*2^1225557-1 is not prime. Res64: 380135040F4975F5 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:20:46] 741*2^1225557-1 is not prime. Res64: 6C5AFF36E967EC6E Time : 0.0 sec. user=vaughan [2012-08-02 13:27:08] 945*2^1225556-1 is not prime. Res64: 589C68BD51084071 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:37:47] 747*2^1225557-1 is not prime. Res64: EED9D1CDC7D3130E Time : 0.0 sec. user=mdettweiler [2012-08-02 13:38:10] 915*2^1225557-1 is not prime. Res64: 72D140283511DAC9 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:38:11] 937*2^1225557-1 is not prime. Res64: EEDF3221D1C1A51B Time : 0.0 sec. user=mdettweiler [2012-08-02 13:41:57] 645*2^1225558-1 is not prime. Res64: BF63F3B073D150D4 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:41:57] 705*2^1225558-1 is not prime. Res64: C7271C17C98471E7 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:42:41] 769*2^1225557-1 is not prime. Res64: 2BAC266F4E193BBD Time : 0.0 sec. user=mdettweiler [2012-08-02 13:58:58] 1001*2^1225558-1 is not prime. Res64: D3B8D2EF353C0777 Time : 0.0 sec. user=mdettweiler [2012-08-02 13:58:59] 601*2^1225559-1 is not prime. Res64: F48468787DC33F58 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:02:41] 693*2^1225559-1 is not prime. Res64: 08FA2BCDB419F33B Time : 0.0 sec. user=mdettweiler [2012-08-02 14:02:42] 775*2^1225559-1 is not prime. Res64: 74DC48D4CC7F8960 Time : 0.0 sec. user=vaughan [2012-08-02 14:04:25] 747*2^1225558-1 is not prime. Res64: 08B4AF2DBCEEC76C Time : 0.0 sec. user=mdettweiler [2012-08-02 14:10:12] 861*2^1225558-1 is not prime. Res64: 36A178EDE7BBB5E6 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:14:37] 825*2^1225559-1 is not prime. Res64: 089B40EC845F15EC Time : 0.0 sec. user=mdettweiler [2012-08-02 14:19:53] 921*2^1225559-1 is not prime. Res64: 380494E7F5C10788 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:19:53] 939*2^1225559-1 is not prime. Res64: 68303E5EF79C51AE Time : 0.0 sec. user=sm5ymt [2012-08-02 14:20:44] 795*2^1225560-1 is not prime. Res64: 0805C1404FB5BA79 Time : 0.0 sec. user=sm5ymt [2012-08-02 14:22:03] 799*2^1225561-1 is not prime. Res64: E13959BA2587E8BA Time : 0.0 sec. user=mdettweiler [2012-08-02 14:23:43] 717*2^1225560-1 is not prime. Res64: DC18426034BDF145 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:23:43] 747*2^1225560-1 is not prime. Res64: 9F45FB07835352B0 Time : 0.0 sec. user=sm5ymt [2012-08-02 14:31:39] 801*2^1225562-1 is not prime. Res64: EECF3ED9E3E5FB58 Time : 0.0 sec. user=gd_barnes [2012-08-02 14:41:09] 603*2^1225562-1 is not prime. Res64: 0E96130789BD6882 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:41:12] 923*2^1225562-1 is not prime. Res64: 3B2341D04BEB3930 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:41:12] 981*2^1225562-1 is not prime. Res64: 745F5FE5036605E4 Time : 0.0 sec. user=gd_barnes [2012-08-02 14:41:27] 645*2^1225562-1 is not prime. Res64: FD7C9DE30CA169CD Time : 0.0 sec. user=vaughan [2012-08-02 14:41:49] 765*2^1225560-1 is not prime. Res64: C9ECB385446D60A7 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:41:59] 901*2^1225561-1 is not prime. Res64: CD5F503B55D39712 Time : 0.0 sec. user=gd_barnes [2012-08-02 14:45:06] 701*2^1225562-1 is not prime. Res64: 5FC0D1D69217AD95 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:45:08] 615*2^1225563-1 is not prime. Res64: 10EE84C16A114222 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:45:09] 705*2^1225563-1 is not prime. Res64: 165DF42D377E9AA4 Time : 0.0 sec. user=mdettweiler [2012-08-02 14:46:23] 731*2^1225562-1 is not prime. Res64: 207CCD09037CDF7A Time : 0.0 sec. user=mdettweiler [2012-08-02 15:02:37] 721*2^1225563-1 is not prime. Res64: 3CFE4FEA12EE0A20 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:02:37] 835*2^1225563-1 is not prime. Res64: 607C8749D29B87E4 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:06:31] 729*2^1225564-1 is not prime. Res64: CAEB5714FA44129C Time : 0.0 sec. user=mdettweiler [2012-08-02 15:06:34] 875*2^1225564-1 is not prime. Res64: D26355E81E57DD6D Time : 0.0 sec. user=mdettweiler [2012-08-02 15:14:44] 675*2^1225564-1 is not prime. Res64: A3C0AA8BE6756920 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:19:10] 923*2^1225564-1 is not prime. Res64: AC361BBA14D79359 Time : 0.0 sec. user=vaughan [2012-08-02 15:19:13] 849*2^1225563-1 is not prime. Res64: F5CCEF944F11091B Time : 0.0 sec. user=mdettweiler [2012-08-02 15:24:02] 655*2^1225565-1 is not prime. Res64: 06F718AA897F242B Time : 0.0 sec. user=mdettweiler [2012-08-02 15:24:02] 721*2^1225565-1 is not prime. Res64: 55A226831850D1CA Time : 0.0 sec. user=mdettweiler [2012-08-02 15:27:57] 861*2^1225565-1 is not prime. Res64: 774B69749306DC2A Time : 0.0 sec. user=mdettweiler [2012-08-02 15:27:58] 611*2^1225566-1 is not prime. Res64: 282B113C6FDABC93 Time : 0.0 sec. user=gd_barnes [2012-08-02 15:41:28] 615*2^1225566-1 is not prime. Res64: 056A9CD3CA9AE917 Time : 0.0 sec. user=gd_barnes [2012-08-02 15:42:09] 957*2^1225566-1 is not prime. Res64: 5301B32FF79933B6 Time : 0.0 sec. user=gd_barnes [2012-08-02 15:43:27] 861*2^1225566-1 is not prime. Res64: 5919C2F5790CF665 Time : 0.0 sec. user=sm5ymt [2012-08-02 15:45:17] 705*2^1225569-1 is not prime. Res64: 03E735DF31598551 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:45:29] 815*2^1225568-1 is not prime. Res64: 2AA14B747D7059DB Time : 0.0 sec. user=mdettweiler [2012-08-02 15:45:30] 935*2^1225568-1 is not prime. Res64: 3E6E05EF1AA8ADC7 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:47:05] 933*2^1225567-1 is not prime. Res64: A6D60814B2805B1C Time : 0.0 sec. user=mdettweiler [2012-08-02 15:49:15] 609*2^1225569-1 is not prime. Res64: 383433546E80F358 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:49:16] 691*2^1225569-1 is not prime. Res64: 6739BC4E5452E339 Time : 0.0 sec. user=mdettweiler [2012-08-02 15:51:31] 635*2^1225568-1 is not prime. Res64: D2EE4F06A949EFF0 Time : 0.0 sec. user=sm5ymt [2012-08-02 15:53:21] 781*2^1225569-1 is not prime. Res64: 323FE5E6798DA90C Time : 0.0 sec. user=vaughan [2012-08-02 15:56:41] 665*2^1225568-1 is not prime. Res64: 0BB8B99B5972A529 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:06:47] 835*2^1225569-1 is not prime. Res64: 7D1DB730F8048874 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:06:48] 949*2^1225569-1 is not prime. Res64: EA2EED2960544E36 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:10:35] 857*2^1225570-1 is not prime. Res64: 93ECAC52C9A18C24 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:10:36] 923*2^1225570-1 is not prime. Res64: 59BB093EA53056B9 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:19:14] 845*2^1225570-1 is not prime. Res64: 69DAC75B05A3750F Time : 0.0 sec. user=mdettweiler [2012-08-02 16:23:43] 957*2^1225570-1 is not prime. Res64: D8EE313E4A75DF00 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:28:11] 619*2^1225571-1 is not prime. Res64: 69C634CD8EA98D82 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:28:12] 753*2^1225571-1 is not prime. Res64: 6BCCC69878BA8074 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:31:58] 805*2^1225571-1 is not prime. Res64: 88792147C276573D Time : 0.0 sec. user=mdettweiler [2012-08-02 16:31:58] 895*2^1225571-1 is not prime. Res64: 85107963BBD59B28 Time : 0.0 sec. user=vaughan [2012-08-02 16:34:06] 995*2^1225570-1 is not prime. Res64: ED29EE5AC6646DFB Time : 0.0 sec. user=sm5ymt [2012-08-02 16:36:11] 973*2^1225571-1 is not prime. Res64: DCC5F1C39317296C Time : 0.0 sec. user=mdettweiler [2012-08-02 16:49:29] 623*2^1225572-1 is not prime. Res64: 843FB72598554E23 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:49:30] 749*2^1225572-1 is not prime. Res64: F6234566FC4956C7 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:52:27] 945*2^1225571-1 is not prime. Res64: 42403244404E2FA6 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:53:17] 965*2^1225572-1 is not prime. Res64: DBE2FB909C5EEB62 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:53:18] 977*2^1225572-1 is not prime. Res64: 2824374059CAA9E9 Time : 0.0 sec. user=mdettweiler [2012-08-02 16:57:53] 993*2^1225571-1 is not prime. Res64: 6B42A42FC84BC59A Time : 0.0 sec. user=mdettweiler [2012-08-02 17:10:48] 687*2^1225573-1 is not prime. Res64: 6784F0B52415D5B8 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:10:51] 769*2^1225573-1 is not prime. Res64: E09F9CBA67931BA2 Time : 0.0 sec. user=vaughan [2012-08-02 17:11:27] 615*2^1225573-1 is not prime. Res64: 18741DCFDEFA40A3 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:14:34] 895*2^1225573-1 is not prime. Res64: FC538AC62DCA86EB Time : 0.0 sec. user=mdettweiler [2012-08-02 17:14:35] 961*2^1225573-1 is not prime. Res64: 8217BF51B9EEB4DD Time : 0.0 sec. user=mdettweiler [2012-08-02 17:29:36] 811*2^1225573-1 is not prime. Res64: D75846A52A81DB8D Time : 0.0 sec. user=mdettweiler [2012-08-02 17:32:09] 785*2^1225574-1 is not prime. Res64: BB466080F7B1B88A Time : 0.0 sec. user=mdettweiler [2012-08-02 17:32:10] 795*2^1225574-1 is not prime. Res64: 2F74F10E4FC8ED08 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:34:30] 999*2^1225573-1 is not prime. Res64: 0540B95E9BE2C2A4 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:35:48] 885*2^1225574-1 is not prime. Res64: CEE79EBA63C118E6 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:35:49] 917*2^1225574-1 is not prime. Res64: 67E70BDE3E870F45 Time : 0.0 sec. user=vaughan [2012-08-02 17:48:49] 873*2^1225574-1 is not prime. Res64: E9797ADCA860F586 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:52:55] 865*2^1225575-1 is not prime. Res64: 714B627BA57CAC6F Time : 0.0 sec. user=mdettweiler [2012-08-02 17:52:55] 933*2^1225575-1 is not prime. Res64: 162DF8274E3DBFAA Time : 0.0 sec. user=mdettweiler [2012-08-02 17:56:33] 985*2^1225575-1 is not prime. Res64: 74A7258BBF60E2B5 Time : 0.0 sec. user=mdettweiler [2012-08-02 17:56:34] 653*2^1225576-1 is not prime. Res64: C7FBAA50B3DFA0FE Time : 0.0 sec. user=mdettweiler [2012-08-02 18:05:04] 945*2^1225574-1 is not prime. Res64: 064CA560335CFF29 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:09:38] 943*2^1225575-1 is not prime. Res64: 0D678E827C5A1449 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:13:34] 705*2^1225576-1 is not prime. Res64: E8F6ADFDDD98C86A Time : 0.0 sec. user=mdettweiler [2012-08-02 18:13:36] 849*2^1225576-1 is not prime. Res64: F5CC102F607A4210 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:17:17] 887*2^1225576-1 is not prime. Res64: A25BACB1E41926E8 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:17:17] 607*2^1225577-1 is not prime. Res64: 9261226F47F62616 Time : 0.0 sec. user=vaughan [2012-08-02 18:26:19] 695*2^1225576-1 is not prime. Res64: 6B8797B164BC879C Time : 0.0 sec. user=mdettweiler [2012-08-02 18:34:38] 637*2^1225577-1 is not prime. Res64: B638CBDAD323FB4B Time : 0.0 sec. user=mdettweiler [2012-08-02 18:34:39] 781*2^1225577-1 is not prime. Res64: C82086ED321A4073 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:38:12] 795*2^1225577-1 is not prime. Res64: 2CD7079289FDEBAA Time : 0.0 sec. user=mdettweiler [2012-08-02 18:38:12] 819*2^1225577-1 is not prime. Res64: 140508E51B862B4C Time : 0.0 sec. user=mdettweiler [2012-08-02 18:38:29] 615*2^1225577-1 is not prime. Res64: 453685A936F3E6B5 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:43:11] 631*2^1225577-1 is not prime. Res64: 1D03A113B0C551C2 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:55:31] 865*2^1225577-1 is not prime. Res64: CC1D0B8B8C99EC5E Time : 0.0 sec. user=mdettweiler [2012-08-02 18:55:32] 871*2^1225577-1 is not prime. Res64: 242ADACE60174013 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:58:58] 879*2^1225577-1 is not prime. Res64: BA5D279991F056F3 Time : 0.0 sec. user=mdettweiler [2012-08-02 18:58:58] 885*2^1225577-1 is not prime. Res64: 5365232AC114AD1F Time : 0.0 sec. user=vaughan [2012-08-02 19:03:46] 847*2^1225577-1 is not prime. Res64: 3113D7B714BB6A60 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:10:47] 981*2^1225577-1 is not prime. Res64: 678E7B9FD9A63033 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:16:10] 681*2^1225578-1 is not prime. Res64: 86D0F9826E8166E1 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:16:18] 837*2^1225578-1 is not prime. Res64: 243C2600FA27F815 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:18:31] 611*2^1225578-1 is not prime. Res64: 17086B015B06E0D9 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:19:37] 905*2^1225578-1 is not prime. Res64: 4E946976D792B117 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:19:38] 977*2^1225578-1 is not prime. Res64: 0F5E93EB2B26E72C Time : 0.0 sec. user=mdettweiler [2012-08-02 19:37:21] 773*2^1225366-1 is not prime. Res64: 3DA95E8199420D21 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:37:22] 619*2^1225579-1 is not prime. Res64: 0DA733DA5A4C72EA Time : 0.0 sec. user=mdettweiler [2012-08-02 19:40:20] 853*2^1225579-1 is not prime. Res64: BA7478DEF6C7C9E3 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:40:21] 975*2^1225579-1 is not prime. Res64: 598A3914D159BDF0 Time : 0.0 sec. user=vaughan [2012-08-02 19:41:09] 603*2^1225579-1 is not prime. Res64: 32DBF613D61AC461 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:45:59] 635*2^1225366-1 is not prime. Res64: 02BC8396254F59CF Time : 0.0 sec. user=mdettweiler [2012-08-02 19:53:59] 841*2^1225579-1 is not prime. Res64: E52B521B603EC1D3 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:58:08] 615*2^1225580-1 is not prime. Res64: 956D4997CFA6ED58 Time : 0.0 sec. user=mdettweiler [2012-08-02 19:58:09] 659*2^1225580-1 is not prime. Res64: 52CC7509EB43C217 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:01:06] 735*2^1225580-1 is not prime. Res64: E4476EB0EE09F0EB Time : 0.0 sec. user=mdettweiler [2012-08-02 20:01:07] 827*2^1225580-1 is not prime. Res64: 8866B5AC64430670 Time : 0.0 sec. user=vaughan [2012-08-02 20:18:35] 983*2^1225580-1 is not prime. Res64: CC937C31D13417F7 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:18:41] 609*2^1225581-1 is not prime. Res64: FDC96349BF240D2B Time : 0.0 sec. user=mdettweiler [2012-08-02 20:18:53] 747*2^1225581-1 is not prime. Res64: 8BC03C90F07DF02F Time : 0.0 sec. user=mdettweiler [2012-08-02 20:18:54] 927*2^1225581-1 is not prime. Res64: BF1FD4E10FBCD3D5 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:21:51] 987*2^1225581-1 is not prime. Res64: 099D87590687A36A Time : 0.0 sec. user=mdettweiler [2012-08-02 20:21:52] 991*2^1225581-1 is not prime. Res64: 1D66D481ECA8B7CF Time : 0.0 sec. user=mdettweiler [2012-08-02 20:26:50] 615*2^1225581-1 is not prime. Res64: A46F44E805198CF5 Time : 0.0 sec. user=gd_barnes [2012-08-02 20:38:24] 621*2^1225582-1 is not prime. Res64: 8540C195155055B2 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:39:37] 915*2^1225582-1 is not prime. Res64: 4DEC7715076FE56F Time : 0.0 sec. user=mdettweiler [2012-08-02 20:39:38] 951*2^1225582-1 is not prime. Res64: CAE335F77FA64E22 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:42:36] 1001*2^1225582-1 is not prime. Res64: 61AF2663B9A89C9E Time : 0.0 sec. user=mdettweiler [2012-08-02 20:42:36] 621*2^1225583-1 is not prime. Res64: D2D6CFD2DCB36406 Time : 0.0 sec. user=gd_barnes [2012-08-02 20:42:58] 681*2^1225582-1 is not prime. Res64: 5D9DF17902BC1958 Time : 0.0 sec. user=gd_barnes [2012-08-02 20:43:26] 999*2^1225581-1 is not prime. Res64: B8FCFA33D3FB0E13 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:50:57] 815*2^1225582-1 is not prime. Res64: B803FC8DD6D84C59 Time : 0.0 sec. user=vaughan [2012-08-02 20:56:01] 765*2^1225582-1 is not prime. Res64: 8722458071310CE2 Time : 0.0 sec. user=mdettweiler [2012-08-02 20:59:18] 633*2^1225583-1 is not prime. Res64: B17AB50176E02E95 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:00:21] 693*2^1225583-1 is not prime. Res64: 629BCB48CED29970 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:00:22] 813*2^1225583-1 is not prime. Res64: B0D556AAE3AA034F Time : 0.0 sec. user=mdettweiler [2012-08-02 21:03:18] 859*2^1225583-1 is not prime. Res64: D0F04A1104C8B831 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:03:19] 879*2^1225583-1 is not prime. Res64: C13E28E46C0B0206 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:21:04] 663*2^1225584-1 is not prime. Res64: B496E1844C8E4C75 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:21:04] 695*2^1225584-1 is not prime. Res64: 98E86DDC59B7955F Time : 0.0 sec. user=mdettweiler [2012-08-02 21:23:20] 981*2^1225583-1 is not prime. Res64: 90A132B4D0717E8D Time : 0.0 sec. user=mdettweiler [2012-08-02 21:24:08] 707*2^1225584-1 is not prime. Res64: EA0B4756FC7FD36A Time : 0.0 sec. user=mdettweiler [2012-08-02 21:24:08] 725*2^1225584-1 is not prime. Res64: 9A8107E601508EBF Time : 0.0 sec. user=sm5ymt [2012-08-02 21:27:26] 737*2^1225584-1 is not prime. Res64: 2DF3AC97EDFCB5DC Time : 0.0 sec. user=mdettweiler [2012-08-02 21:31:41] 635*2^1225584-1 is not prime. Res64: 6573CAD1C5FE2446 Time : 0.0 sec. user=vaughan [2012-08-02 21:33:20] 623*2^1225584-1 is not prime. Res64: A23D2053831A9849 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:41:48] 765*2^1225584-1 is not prime. Res64: 509B02DE4B79A662 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:41:49] 957*2^1225584-1 is not prime. Res64: 9BDA2C90BB30440D Time : 0.0 sec. user=mdettweiler [2012-08-02 21:44:56] 819*2^1225585-1 is not prime. Res64: 66EB478471F2BC79 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:44:57] 925*2^1225585-1 is not prime. Res64: 7506E28442506400 Time : 0.0 sec. user=mdettweiler [2012-08-02 21:56:02] 959*2^1225584-1 is not prime. Res64: AFEF06AD29681F23 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:02:28] 619*2^1225587-1 is not prime. Res64: A217E5D7C36F9461 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:02:29] 801*2^1225587-1 is not prime. Res64: 88022C40E8F92D06 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:03:43] 767*2^1225586-1 is not prime. Res64: 195BFD04547DD6D1 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:05:36] 823*2^1225587-1 is not prime. Res64: 77D35C4CA67139C6 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:05:38] 873*2^1225587-1 is not prime. Res64: E70A72791998FB7E Time : 0.0 sec. user=vaughan [2012-08-02 22:10:40] 957*2^1225586-1 is not prime. Res64: C3C21D37947C7205 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:23:09] 919*2^1225587-1 is not prime. Res64: B63C05344CFA8558 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:23:10] 973*2^1225587-1 is not prime. Res64: F7B39FCD174E8875 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:26:25] 663*2^1225588-1 is not prime. Res64: 923442100440987A Time : 0.0 sec. user=mdettweiler [2012-08-02 22:26:26] 777*2^1225588-1 is not prime. Res64: 9D90A07290ECF498 Time : 0.0 sec. user=sm5ymt [2012-08-02 22:28:09] 775*2^1225589-1 is not prime. Res64: D54485623DFF5E44 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:29:02] 909*2^1225587-1 is not prime. Res64: 626B3A0B3F80C9CE Time : 0.0 sec. user=mdettweiler [2012-08-02 22:36:13] 617*2^1225588-1 is not prime. Res64: 1DB5357D3D28CDCD Time : 0.0 sec. user=gd_barnes [2012-08-02 22:37:48] 837*2^1225589-1 is not prime. Res64: CFB421B880A78633 Time : 0.0 sec. user=gd_barnes [2012-08-02 22:41:05] 927*2^1225588-1 is not prime. Res64: 355A86554B61B91A Time : 0.0 sec. user=gd_barnes [2012-08-02 22:42:41] 993*2^1225588-1 is not prime. Res64: FA2A5B9DCB4D4134 Time : 0.0 sec. user=gd_barnes [2012-08-02 22:43:19] 861*2^1225589-1 is not prime. Res64: A7044F8F8C1BE15D Time : 0.0 sec. user=mdettweiler [2012-08-02 22:43:52] 865*2^1225589-1 is not prime. Res64: 5C84B12BB36F1206 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:43:53] 897*2^1225589-1 is not prime. Res64: 041C6CAB8E31CCBA Time : 0.0 sec. user=mdettweiler [2012-08-02 22:47:08] 955*2^1225589-1 is not prime. Res64: 90098FB377999ED1 Time : 0.0 sec. user=mdettweiler [2012-08-02 22:47:08] 979*2^1225589-1 is not prime. Res64: FF2441DA33533D8E Time : 0.0 sec. user=vaughan [2012-08-02 22:48:17] 885*2^1225588-1 is not prime. Res64: B5B7EA23E79FCC26 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:01:28] 641*2^1225590-1 is not prime. Res64: 1A5DE279F1FEBC2D Time : 0.0 sec. user=mdettweiler [2012-08-02 23:04:28] 851*2^1225590-1 is not prime. Res64: 29CA6480AB87D26E Time : 0.0 sec. user=mdettweiler [2012-08-02 23:04:30] 915*2^1225590-1 is not prime. Res64: 12863FD0931722CF Time : 0.0 sec. user=mdettweiler [2012-08-02 23:07:46] 933*2^1225590-1 is not prime. Res64: 87A679E67D59FF76 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:07:49] 621*2^1225591-1 is not prime. Res64: 346CF8F10E93A706 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:08:01] 651*2^1225590-1 is not prime. Res64: 665D7A0E7947D1BE Time : 0.0 sec. user=sm5ymt [2012-08-02 23:24:02] 623*2^1225592-1 is not prime. Res64: 23E7285A407D0527 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:25:13] 741*2^1225591-1 is not prime. Res64: 192A6380D55F413F Time : 0.0 sec. user=mdettweiler [2012-08-02 23:25:14] 745*2^1225591-1 is not prime. Res64: 7B5149DBDF195A05 Time : 0.0 sec. user=vaughan [2012-08-02 23:25:38] 679*2^1225591-1 is not prime. Res64: 8975E6C36799B357 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:28:31] 829*2^1225591-1 is not prime. Res64: 13C08B618CE16E3D Time : 0.0 sec. user=mdettweiler [2012-08-02 23:28:31] 993*2^1225591-1 is not prime. Res64: BF3B7313EFB1952B Time : 0.0 sec. user=mdettweiler [2012-08-02 23:32:26] 693*2^1225591-1 is not prime. Res64: DD7A5B3B24CB9A8B Time : 0.0 sec. user=mdettweiler [2012-08-02 23:38:50] 635*2^1225592-1 is not prime. Res64: 504D1AB3C25F0F26 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:45:57] 645*2^1225592-1 is not prime. Res64: D1DAA9A10E7D6619 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:45:57] 767*2^1225592-1 is not prime. Res64: C8AB0389B4FD7D65 Time : 0.0 sec. user=mdettweiler [2012-08-02 23:49:10] 843*2^1225592-1 is not prime. Res64: 91D809606DF6C26A Time : 0.0 sec. user=mdettweiler [2012-08-02 23:49:11] 873*2^1225592-1 is not prime. Res64: BDECB127B988A44F Time : 0.0 sec.