user=mdettweiler [2013-08-25 00:16:09] 851*2^1251726-1 is not prime. Res64: D5D2DA5736CEBCC2 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:16:10] 917*2^1251726-1 is not prime. Res64: BF493CDFDA84F617 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:17:17] 933*2^1251726-1 is not prime. Res64: A79A8DC246C48287 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:17:17] 993*2^1251726-1 is not prime. Res64: A3E6BF727C6E784A Time : 0.0 sec. user=mdettweiler [2013-08-25 00:17:17] 945*2^1251726-1 is not prime. Res64: 1FE47AEF7EFADBF8 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:17:18] 729*2^1251727-1 is not prime. Res64: 57E648CD531EE1A0 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:19:34] 735*2^1251727-1 is not prime. Res64: 8761A3BA78C9138B Time : 0.0 sec. user=mdettweiler [2013-08-25 00:19:35] 859*2^1251727-1 is not prime. Res64: 5660A0C4864F023B Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:07] 871*2^1251727-1 is not prime. Res64: F4184CB02413EBB4 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:07] 931*2^1251727-1 is not prime. Res64: AB91E042EA1B3F7E Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:15] 615*2^1251728-1 is not prime. Res64: 4841679728F660C7 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:15] 633*2^1251728-1 is not prime. Res64: F0D57D999036D0E4 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:17] 665*2^1251728-1 is not prime. Res64: 58D0852104137DBC Time : 0.0 sec. user=mdettweiler [2013-08-25 00:37:17] 713*2^1251728-1 is not prime. Res64: 8BEE90849435454E Time : 0.0 sec. user=mdettweiler [2013-08-25 00:40:31] 833*2^1251728-1 is not prime. Res64: 361C0DBE7F856384 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:40:31] 945*2^1251728-1 is not prime. Res64: 521B0DE2604EA33B Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:13] 625*2^1251729-1 is not prime. Res64: A6CB3C6DDB724967 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:13] 637*2^1251729-1 is not prime. Res64: FBA193329B93DD24 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:15] 669*2^1251729-1 is not prime. Res64: 9CD418488C2B9FB4 Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:16] 787*2^1251729-1 is not prime. Res64: 41F58EC6ECA0A6CB Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:16] 769*2^1251729-1 is not prime. Res64: E495C686CFA6641C Time : 0.0 sec. user=mdettweiler [2013-08-25 00:57:16] 831*2^1251729-1 is not prime. Res64: 88BFA177A8A9424C Time : 0.0 sec. user=mdettweiler [2013-08-25 01:00:30] 867*2^1251729-1 is not prime. Res64: C9B7E25C8ECEC148 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:00:31] 603*2^1251730-1 is not prime. Res64: F176EEC8F7F1CC98 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:17:16] 605*2^1251730-1 is not prime. Res64: 1B59ECA4A8422394 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:17:16] 747*2^1251730-1 is not prime. Res64: 5E9D7B7057A4E15C Time : 0.0 sec. user=mdettweiler [2013-08-25 01:17:17] 645*2^1251730-1 is not prime. Res64: C1108BAE22D2C3B2 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:17:17] 785*2^1251730-1 is not prime. Res64: 84FDC8762760EF9B Time : 0.0 sec. user=mdettweiler [2013-08-25 01:18:13] 957*2^1251730-1 is not prime. Res64: ADAE9D1175BB5F6B Time : 0.0 sec. user=mdettweiler [2013-08-25 01:18:13] 745*2^1251731-1 is not prime. Res64: 753679B8F6BD251A Time : 0.0 sec. user=mdettweiler [2013-08-25 01:22:31] 921*2^1251731-1 is not prime. Res64: 6FA1DFC42355E805 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:22:32] 949*2^1251731-1 is not prime. Res64: 580EA03C13CDE471 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:37:18] 635*2^1251732-1 is not prime. Res64: DD1E48E9F0FF78C9 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:37:19] 657*2^1251732-1 is not prime. Res64: A149D2611B87406D Time : 0.0 sec. user=mdettweiler [2013-08-25 01:37:23] 605*2^1251732-1 is not prime. Res64: 37B70636A3DD2D7B Time : 0.0 sec. user=mdettweiler [2013-08-25 01:37:23] 609*2^1251732-1 is not prime. Res64: B5AD15BF3A42355C Time : 0.0 sec. user=mdettweiler [2013-08-25 01:38:14] 675*2^1251732-1 is not prime. Res64: 4863B61592E67430 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:38:14] 765*2^1251732-1 is not prime. Res64: C2FE24E05E7E0629 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:43:31] 887*2^1251732-1 is not prime. Res64: 5B496E6585C9CA23 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:43:31] 893*2^1251732-1 is not prime. Res64: 2B70D39585F6DF29 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:22] 671*2^1251734-1 is not prime. Res64: 73EDDC17F8E31264 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:23] 977*2^1251732-1 is not prime. Res64: DE29F65241C5DCBF Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:23] 743*2^1251734-1 is not prime. Res64: C39530609C124F72 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:23] 889*2^1251733-1 is not prime. Res64: B4A9DB73DADD0F29 Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:31] 961*2^1251733-1 is not prime. Res64: 48BD1D3C9E948D5C Time : 0.0 sec. user=mdettweiler [2013-08-25 01:58:31] 641*2^1251734-1 is not prime. Res64: 5676CC1078697FA3 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:03:36] 755*2^1251734-1 is not prime. Res64: 38BBBD823456BF2F Time : 0.0 sec. user=mdettweiler [2013-08-25 02:03:38] 797*2^1251734-1 is not prime. Res64: 027FBB824715030C Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:28] 625*2^1251735-1 is not prime. Res64: B898F5AAE2214D1E Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:28] 827*2^1251734-1 is not prime. Res64: B510B4F3A4A93BAC Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:29] 691*2^1251735-1 is not prime. Res64: BBEA2BA1A14A4BB8 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:29] 851*2^1251734-1 is not prime. Res64: 1AD5D15745D82A2A Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:37] 693*2^1251735-1 is not prime. Res64: 8155D1852305E1E6 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:18:38] 723*2^1251735-1 is not prime. Res64: 0BAAF203C899D1F5 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:23:51] 853*2^1251735-1 is not prime. Res64: C3D38C2CFC751D74 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:23:51] 859*2^1251735-1 is not prime. Res64: 68066382F17F9C20 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:38:30] 645*2^1251736-1 is not prime. Res64: 222B80A75F3602BF Time : 0.0 sec. user=mdettweiler [2013-08-25 02:38:31] 717*2^1251736-1 is not prime. Res64: 2779C0E4AC25E439 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:39:25] 985*2^1251735-1 is not prime. Res64: D4A335DB19074FDD Time : 0.0 sec. user=mdettweiler [2013-08-25 02:39:26] 623*2^1251736-1 is not prime. Res64: 07FBC767190C16D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:40:14] 933*2^1251735-1 is not prime. Res64: FA9DB6DEC5E679DE Time : 0.0 sec. user=mdettweiler [2013-08-25 02:40:16] 979*2^1251735-1 is not prime. Res64: B2CFA404DDB9FC38 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:44:46] 923*2^1251736-1 is not prime. Res64: 33CFAB5B3D0756F0 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:44:46] 685*2^1251737-1 is not prime. Res64: 5D4CC2A500F72D41 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:58:38] 759*2^1251737-1 is not prime. Res64: B4066A5C24E830CA Time : 0.0 sec. user=mdettweiler [2013-08-25 02:58:39] 829*2^1251737-1 is not prime. Res64: 200857639AAB06E3 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:59:21] 861*2^1251737-1 is not prime. Res64: 0138E483A0F489A2 Time : 0.0 sec. user=mdettweiler [2013-08-25 02:59:22] 865*2^1251737-1 is not prime. Res64: 1EFD7D869854CF7E Time : 0.0 sec. user=mdettweiler [2013-08-25 03:01:14] 885*2^1251737-1 is not prime. Res64: 175DDAE269ED1DC2 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:01:16] 957*2^1251737-1 is not prime. Res64: ECEFD29E97085919 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:04:57] 677*2^1251738-1 is not prime. Res64: DEA15A09C1D030EE Time : 0.0 sec. user=mdettweiler [2013-08-25 03:04:58] 681*2^1251738-1 is not prime. Res64: 7E3B7D366D00B995 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:20:01] 695*2^1251738-1 is not prime. Res64: A81AFABEC6FE46AF Time : 0.0 sec. user=mdettweiler [2013-08-25 03:20:02] 891*2^1251738-1 is not prime. Res64: 707CB5A7517DB8CF Time : 0.0 sec. user=mdettweiler [2013-08-25 03:20:35] 945*2^1251738-1 is not prime. Res64: 2E92DBCD453E0AE8 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:20:35] 601*2^1251739-1 is not prime. Res64: 92F4055D0785C575 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:21:26] 631*2^1251739-1 is not prime. Res64: 6A911FF85DA080FE Time : 0.0 sec. user=mdettweiler [2013-08-25 03:21:27] 663*2^1251739-1 is not prime. Res64: 0B37D1F682618EDC Time : 0.0 sec. user=mdettweiler [2013-08-25 03:25:18] 681*2^1251739-1 is not prime. Res64: EC787DDF3BB4AE94 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:25:19] 691*2^1251739-1 is not prime. Res64: 4AA74F623CCC1174 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:40:08] 735*2^1251739-1 is not prime. Res64: AB802F2CEFFDA989 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:40:09] 829*2^1251739-1 is not prime. Res64: 299BAA5725164D84 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:41:24] 647*2^1251740-1 is not prime. Res64: F9E6448372060857 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:41:25] 857*2^1251740-1 is not prime. Res64: B789CB878BE57646 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:41:26] 835*2^1251739-1 is not prime. Res64: 739B570C2953BFF6 Time : 0.0 sec. user=mdettweiler [2013-08-25 03:41:26] 909*2^1251739-1 is not prime. Res64: 7BE09B1A5B76327E Time : 0.0 sec. user=mdettweiler [2013-08-25 03:46:12] 983*2^1251740-1 is not prime. Res64: 0B7AE444A008923C Time : 0.0 sec. user=mdettweiler [2013-08-25 03:46:12] 607*2^1251741-1 is not prime. Res64: 60797F612C295F0E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:00:07] 609*2^1251741-1 is not prime. Res64: 6B547A20492EC00A Time : 0.0 sec. user=mdettweiler [2013-08-25 04:00:09] 621*2^1251741-1 is not prime. Res64: 47CC1D355A065D8B Time : 0.0 sec. user=mdettweiler [2013-08-25 04:01:18] 651*2^1251741-1 is not prime. Res64: 56A2644E921C7FC0 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:01:19] 661*2^1251741-1 is not prime. Res64: 3F80F24AEF4AB29E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:01:23] 669*2^1251741-1 is not prime. Res64: EAB8135BAF385694 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:01:23] 727*2^1251741-1 is not prime. Res64: D1A4277DE7B06052 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:06:35] 825*2^1251741-1 is not prime. Res64: 5C6C4A2A29EF279C Time : 0.0 sec. user=mdettweiler [2013-08-25 04:06:36] 871*2^1251741-1 is not prime. Res64: 3FE166299B55E30E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:21:56] 801*2^1251742-1 is not prime. Res64: A47805C1CDC2104E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:21:56] 647*2^1251742-1 is not prime. Res64: 582C676D363C1C8B Time : 0.0 sec. user=mdettweiler [2013-08-25 04:21:57] 825*2^1251742-1 is not prime. Res64: F1E4C411E6A27C2E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:21:57] 651*2^1251742-1 is not prime. Res64: C9DB3344BD4E53AF Time : 0.0 sec. user=mdettweiler [2013-08-25 04:22:08] 889*2^1251741-1 is not prime. Res64: EA5E71C2586D6B3C Time : 0.0 sec. user=mdettweiler [2013-08-25 04:22:08] 921*2^1251741-1 is not prime. Res64: 27E0B99686808046 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:27:46] 995*2^1251742-1 is not prime. Res64: 5D31468FE9D36F4B Time : 0.0 sec. user=mdettweiler [2013-08-25 04:27:47] 603*2^1251743-1 is not prime. Res64: 51854F272A2E6E6C Time : 0.0 sec. user=mdettweiler [2013-08-25 04:42:53] 741*2^1251743-1 is not prime. Res64: 1EA92C782082182E Time : 0.0 sec. user=mdettweiler [2013-08-25 04:42:54] 913*2^1251743-1 is not prime. Res64: 2F394A25B170CFA7 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:43:02] 959*2^1251744-1 is not prime. Res64: 8CD1C4318BCF64C6 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:43:02] 601*2^1251745-1 is not prime. Res64: 53B6BA5CF567FF87 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:43:49] 981*2^1251743-1 is not prime. Res64: 26DC60CB03388CFB Time : 0.0 sec. user=mdettweiler [2013-08-25 04:43:49] 915*2^1251744-1 is not prime. Res64: B71BB752A2FD2F7B Time : 0.0 sec. user=mdettweiler [2013-08-25 04:47:44] 607*2^1251745-1 is not prime. Res64: C36EF4F599A59B57 Time : 0.0 sec. user=mdettweiler [2013-08-25 04:47:45] 721*2^1251745-1 is not prime. Res64: AF14F4D1A18174A6 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:03:55] 711*2^1251746-1 is not prime. Res64: CE92774BB36A87F1 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:03:57] 773*2^1251746-1 is not prime. Res64: E4DDB55757D90265 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:04:00] 777*2^1251745-1 is not prime. Res64: 8AA638054E906AFE Time : 0.0 sec. user=mdettweiler [2013-08-25 05:04:01] 897*2^1251745-1 is not prime. Res64: ED0A7AB90CC8E8ED Time : 0.0 sec. user=mdettweiler [2013-08-25 05:04:05] 987*2^1251745-1 is not prime. Res64: 9E3904D48FB326F6 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:04:06] 677*2^1251746-1 is not prime. Res64: 9F329E6B7E71551D Time : 0.0 sec. user=mdettweiler [2013-08-25 05:08:13] 831*2^1251746-1 is not prime. Res64: 662E4A4047B4668C Time : 0.0 sec. user=mdettweiler [2013-08-25 05:08:13] 837*2^1251746-1 is not prime. Res64: 593D279264901026 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:24:35] 843*2^1251746-1 is not prime. Res64: A0B174AB63AEB781 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:24:36] 649*2^1251747-1 is not prime. Res64: 90EFA90962E36A2B Time : 0.0 sec. user=mdettweiler [2013-08-25 05:24:51] 685*2^1251747-1 is not prime. Res64: 5A2999E948C0E779 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:24:51] 691*2^1251747-1 is not prime. Res64: 336387960F721883 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:25:29] 911*2^1251746-1 is not prime. Res64: E92F0BD2E3FAAD6C Time : 0.0 sec. user=mdettweiler [2013-08-25 05:25:30] 619*2^1251747-1 is not prime. Res64: D5AFE5BB29E2AD06 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:28:14] 735*2^1251747-1 is not prime. Res64: EC3854D3995AFDD0 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:28:15] 795*2^1251747-1 is not prime. Res64: B94BDB31364AA30F Time : 0.0 sec. user=mdettweiler [2013-08-25 05:44:23] 639*2^1251748-1 is not prime. Res64: 95CE14819791691D Time : 0.0 sec. user=mdettweiler [2013-08-25 05:44:23] 765*2^1251748-1 is not prime. Res64: 7A166C049215D7D8 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:44:48] 855*2^1251748-1 is not prime. Res64: 2D39C8C80E2911FE Time : 0.0 sec. user=mdettweiler [2013-08-25 05:44:48] 869*2^1251748-1 is not prime. Res64: 5AE28B3785E4D57C Time : 0.0 sec. user=mdettweiler [2013-08-25 05:46:17] 875*2^1251748-1 is not prime. Res64: A0CFCCCE585E28A8 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:46:18] 957*2^1251748-1 is not prime. Res64: 4C9F6BFA5AEB7BB1 Time : 0.0 sec. user=mdettweiler [2013-08-25 05:48:01] 649*2^1251749-1 is not prime. Res64: 355FF8D5F2E2DD9E Time : 0.0 sec. user=mdettweiler [2013-08-25 05:48:02] 697*2^1251749-1 is not prime. Res64: E1499ED6B3BE81DA Time : 0.0 sec. user=mdettweiler [2013-08-25 06:04:10] 799*2^1251749-1 is not prime. Res64: 71A7381D3D799CB4 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:04:11] 819*2^1251749-1 is not prime. Res64: EB1F479FA5C464A5 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:06:03] 723*2^1251750-1 is not prime. Res64: 952470DBDC98C7D1 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:06:04] 761*2^1251750-1 is not prime. Res64: A2BE97A08F8C9B86 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:06:28] 957*2^1251749-1 is not prime. Res64: 073E0DB4AC8C8496 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:06:29] 991*2^1251749-1 is not prime. Res64: BC74E729FDDB324D Time : 0.0 sec. user=mdettweiler [2013-08-25 06:07:46] 851*2^1251750-1 is not prime. Res64: B005582AC6F3BC26 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:07:47] 619*2^1251751-1 is not prime. Res64: 9A8641D6973A9A85 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:24:04] 649*2^1251751-1 is not prime. Res64: 728F6279295F3CC9 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:24:05] 693*2^1251751-1 is not prime. Res64: FE77DE2E2CD6E4D1 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:25:57] 723*2^1251751-1 is not prime. Res64: F0D21D462DBEC887 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:25:58] 813*2^1251751-1 is not prime. Res64: 9F53FCDB77A65A6C Time : 0.0 sec. user=mdettweiler [2013-08-25 06:27:23] 861*2^1251751-1 is not prime. Res64: B472FA09ABCC2B66 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:27:23] 939*2^1251751-1 is not prime. Res64: EFF2EDAECF7A84A5 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:28:36] 973*2^1251751-1 is not prime. Res64: CE5343A4046AEC93 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:28:37] 669*2^1251752-1 is not prime. Res64: AEBB1FC822158D79 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:43:53] 755*2^1251752-1 is not prime. Res64: 5E29CFA21927C5E5 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:43:54] 767*2^1251752-1 is not prime. Res64: 77B9034CDEA4ED6F Time : 0.0 sec. user=mdettweiler [2013-08-25 06:45:51] 827*2^1251752-1 is not prime. Res64: 2C00748DC30F6416 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:45:51] 873*2^1251752-1 is not prime. Res64: 3AB6769BD9C82B91 Time : 0.0 sec. user=mdettweiler [2013-08-25 06:48:30] 625*2^1251753-1 is not prime. Res64: D201A8E42D38E33D Time : 0.0 sec. user=mdettweiler [2013-08-25 06:48:31] 627*2^1251753-1 is not prime. Res64: FC09C3F8EFDCC0AC Time : 0.0 sec. user=mdettweiler [2013-08-25 06:49:03] 929*2^1251752-1 is not prime. Res64: A912FD28B49AFABE Time : 0.0 sec. user=mdettweiler [2013-08-25 06:49:03] 945*2^1251752-1 is not prime. Res64: E50B70D37478101F Time : 0.0 sec. user=mdettweiler [2013-08-25 07:03:46] 817*2^1251753-1 is not prime. Res64: 550A1A5BFCB4CEC4 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:03:47] 835*2^1251753-1 is not prime. Res64: 65B09350B30E871F Time : 0.0 sec. user=mdettweiler [2013-08-25 07:06:37] 861*2^1251753-1 is not prime. Res64: 70872CC97F9EA514 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:06:38] 945*2^1251753-1 is not prime. Res64: AE7430DD298B0D5F Time : 0.0 sec. user=mdettweiler [2013-08-25 07:08:56] 657*2^1251754-1 is not prime. Res64: E872A5CE5C96418B Time : 0.0 sec. user=mdettweiler [2013-08-25 07:08:57] 681*2^1251754-1 is not prime. Res64: 075D9173E024D9DF Time : 0.0 sec. user=mdettweiler [2013-08-25 07:09:21] 985*2^1251753-1 is not prime. Res64: A34A47D745315176 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:09:21] 651*2^1251754-1 is not prime. Res64: 0022A40BB154ABD1 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:23:48] 723*2^1251754-1 is not prime. Res64: F986C6C1CBA10C7D Time : 0.0 sec. user=mdettweiler [2013-08-25 07:23:49] 803*2^1251754-1 is not prime. Res64: EC02926B9CA2A8AE Time : 0.0 sec. user=mdettweiler [2013-08-25 07:26:26] 827*2^1251754-1 is not prime. Res64: 589EC72BD825EFEC Time : 0.0 sec. user=mdettweiler [2013-08-25 07:26:27] 887*2^1251754-1 is not prime. Res64: E8D397E18325B3F7 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:29:46] 891*2^1251754-1 is not prime. Res64: C38FCC8B5931504B Time : 0.0 sec. user=mdettweiler [2013-08-25 07:29:46] 759*2^1251755-1 is not prime. Res64: 66006F2FD7F7CDD7 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:31:05] 915*2^1251755-1 is not prime. Res64: 7766B52D64B2D47D Time : 0.0 sec. user=mdettweiler [2013-08-25 07:31:05] 921*2^1251755-1 is not prime. Res64: AF89014CC480D7F4 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:44:33] 999*2^1251755-1 is not prime. Res64: 90CECDA51096C682 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:44:34] 717*2^1251756-1 is not prime. Res64: FCDBF46F220B59A0 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:46:16] 803*2^1251756-1 is not prime. Res64: 544E4EC7C2DAC71B Time : 0.0 sec. user=mdettweiler [2013-08-25 07:46:16] 839*2^1251756-1 is not prime. Res64: 215CD6307C8F365F Time : 0.0 sec. user=mdettweiler [2013-08-25 07:49:42] 845*2^1251756-1 is not prime. Res64: 0210C651ADB2167A Time : 0.0 sec. user=mdettweiler [2013-08-25 07:49:42] 857*2^1251756-1 is not prime. Res64: EF73D9FD467C0712 Time : 0.0 sec. user=mdettweiler [2013-08-25 07:51:51] 983*2^1251756-1 is not prime. Res64: 9E0E80AD7618CA6A Time : 0.0 sec. user=mdettweiler [2013-08-25 07:51:51] 687*2^1251757-1 is not prime. Res64: 005B4E8FB3F07439 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:04:27] 717*2^1251757-1 is not prime. Res64: 9EC28720482C680C Time : 0.0 sec. user=mdettweiler [2013-08-25 08:04:28] 747*2^1251757-1 is not prime. Res64: FF4F256148E92C14 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:06:07] 799*2^1251757-1 is not prime. Res64: 5598A5001AAA67ED Time : 0.0 sec. user=mdettweiler [2013-08-25 08:06:07] 849*2^1251757-1 is not prime. Res64: D2DA83269765C25E Time : 0.0 sec. user=mdettweiler [2013-08-25 08:10:24] 861*2^1251757-1 is not prime. Res64: 2274D8F9BDBA00D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:10:25] 931*2^1251757-1 is not prime. Res64: B221226968A23962 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:12:36] 967*2^1251757-1 is not prime. Res64: F5BF2737C3FA4DFF Time : 0.0 sec. user=mdettweiler [2013-08-25 08:12:36] 623*2^1251758-1 is not prime. Res64: 5DC25343906B049C Time : 0.0 sec. user=mdettweiler [2013-08-25 08:24:23] 753*2^1251758-1 is not prime. Res64: 7B637FA01D5C0673 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:24:24] 791*2^1251758-1 is not prime. Res64: 2FE67019DC1CEF3D Time : 0.0 sec. user=mdettweiler [2013-08-25 08:27:02] 843*2^1251758-1 is not prime. Res64: 1CDBA26452B57E09 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:27:03] 893*2^1251758-1 is not prime. Res64: D9B4505E00331DED Time : 0.0 sec. user=mdettweiler [2013-08-25 08:32:14] 971*2^1251758-1 is not prime. Res64: 064BB9E4B282767F Time : 0.0 sec. user=mdettweiler [2013-08-25 08:32:15] 1001*2^1251758-1 is not prime. Res64: 396303737FBE9D9B Time : 0.0 sec. user=mdettweiler [2013-08-25 08:32:27] 619*2^1251759-1 is not prime. Res64: 44912196B73C0BD4 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:32:27] 703*2^1251759-1 is not prime. Res64: 18E7FF97C699ECB6 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:44:14] 825*2^1251759-1 is not prime. Res64: 2A3BE5F97EDA8490 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:44:14] 853*2^1251759-1 is not prime. Res64: 0B61C539BE814C05 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:47:59] 885*2^1251759-1 is not prime. Res64: 0FFE595B44413E7D Time : 0.0 sec. user=mdettweiler [2013-08-25 08:47:59] 933*2^1251759-1 is not prime. Res64: 682B62997458735D Time : 0.0 sec. user=mdettweiler [2013-08-25 08:52:16] 699*2^1251760-1 is not prime. Res64: 439A501DCA72B840 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:52:16] 845*2^1251760-1 is not prime. Res64: 679D0B0287446BB7 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:53:03] 955*2^1251759-1 is not prime. Res64: 2FDAF47E7450AAE1 Time : 0.0 sec. user=mdettweiler [2013-08-25 08:53:04] 603*2^1251760-1 is not prime. Res64: 5E402D1B1184F1DA Time : 0.0 sec. user=mdettweiler [2013-08-25 09:04:57] 875*2^1251760-1 is not prime. Res64: 94AA30D1FCF5C3D0 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:04:58] 909*2^1251760-1 is not prime. Res64: 8F39F52F53B9A0D7 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:08:45] 861*2^1251761-1 is not prime. Res64: 2EBCD7A5230A18A7 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:08:46] 979*2^1251761-1 is not prime. Res64: 7358286BA25568FA Time : 0.0 sec. user=mdettweiler [2013-08-25 09:12:07] 717*2^1251762-1 is not prime. Res64: 7D4D3365DC64214C Time : 0.0 sec. user=mdettweiler [2013-08-25 09:12:07] 765*2^1251762-1 is not prime. Res64: 1BFFD2B791BC0E6F Time : 0.0 sec. user=mdettweiler [2013-08-25 09:14:47] 903*2^1251762-1 is not prime. Res64: E451B0963CB46A99 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:14:47] 945*2^1251762-1 is not prime. Res64: 13BE97C7064B4884 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:24:49] 621*2^1251763-1 is not prime. Res64: 092F4994D1AAC8BF Time : 0.0 sec. user=mdettweiler [2013-08-25 09:24:49] 649*2^1251763-1 is not prime. Res64: D4CB13D7F7CB7E99 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:28:40] 675*2^1251763-1 is not prime. Res64: 3C4E5C9C524966F7 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:28:40] 703*2^1251763-1 is not prime. Res64: 412856276ED96B14 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:32:02] 805*2^1251763-1 is not prime. Res64: 11E045B5C4BD5132 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:32:03] 835*2^1251763-1 is not prime. Res64: 0A6819DAD28CA5EC Time : 0.0 sec. user=mdettweiler [2013-08-25 09:35:42] 885*2^1251764-1 is not prime. Res64: A206F6FEC2BFC8DC Time : 0.0 sec. user=mdettweiler [2013-08-25 09:35:42] 923*2^1251764-1 is not prime. Res64: 668F2B80C53DC317 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:44:40] 781*2^1251765-1 is not prime. Res64: 11196A3E642CB65D Time : 0.0 sec. user=mdettweiler [2013-08-25 09:44:40] 787*2^1251765-1 is not prime. Res64: 5C3164A2DFD01664 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:49:22] 885*2^1251765-1 is not prime. Res64: F7E1C6AF0D331001 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:49:22] 955*2^1251765-1 is not prime. Res64: 0E605CA75E4E43FB Time : 0.0 sec. user=mdettweiler [2013-08-25 09:53:48] 979*2^1251765-1 is not prime. Res64: 5AC1670CD2C96C4B Time : 0.0 sec. user=mdettweiler [2013-08-25 09:53:48] 999*2^1251765-1 is not prime. Res64: 5F0F605AC103E707 Time : 0.0 sec. user=mdettweiler [2013-08-25 09:55:33] 723*2^1251766-1 is not prime. Res64: 47B04E4230278E1A Time : 0.0 sec. user=mdettweiler [2013-08-25 09:55:33] 755*2^1251766-1 is not prime. Res64: DE4C4B64BE76920C Time : 0.0 sec. user=mdettweiler [2013-08-25 10:04:33] 765*2^1251766-1 is not prime. Res64: 9D2922C04F2BDCD7 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:04:34] 825*2^1251766-1 is not prime. Res64: 1372C4AC7242230A Time : 0.0 sec. user=mdettweiler [2013-08-25 10:09:11] 857*2^1251766-1 is not prime. Res64: 2E45F6C21AE7A0E7 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:09:12] 861*2^1251766-1 is not prime. Res64: E0BEACE52B74C825 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:14:32] 923*2^1251766-1 is not prime. Res64: D8E4845F6340BF38 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:14:32] 643*2^1251767-1 is not prime. Res64: AEA1B0BFE19365A0 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:15:23] 655*2^1251767-1 is not prime. Res64: F0BCCE76E5BA8FC8 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:15:23] 673*2^1251767-1 is not prime. Res64: B5DB53D309BACA1B Time : 0.0 sec. user=mdettweiler [2013-08-25 10:24:19] 735*2^1251767-1 is not prime. Res64: F0A5898B7E25C19D Time : 0.0 sec. user=mdettweiler [2013-08-25 10:24:20] 823*2^1251767-1 is not prime. Res64: 9ACFAE4EFCFDEFD8 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:29:55] 859*2^1251767-1 is not prime. Res64: E8A61E3034887C13 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:29:56] 981*2^1251767-1 is not prime. Res64: E843A5EE6451C414 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:34:17] 735*2^1251768-1 is not prime. Res64: A01866A3D57CB52A Time : 0.0 sec. user=mdettweiler [2013-08-25 10:34:18] 737*2^1251768-1 is not prime. Res64: 221153287471040F Time : 0.0 sec. user=mdettweiler [2013-08-25 10:35:10] 759*2^1251768-1 is not prime. Res64: 7CC70DA412821ADC Time : 0.0 sec. user=mdettweiler [2013-08-25 10:35:10] 837*2^1251768-1 is not prime. Res64: B2A085294795B29E Time : 0.0 sec. user=mdettweiler [2013-08-25 10:44:08] 839*2^1251768-1 is not prime. Res64: D6AA57CD4BF0935E Time : 0.0 sec. user=mdettweiler [2013-08-25 10:44:09] 845*2^1251768-1 is not prime. Res64: 3C9B6D712F998CEF Time : 0.0 sec. user=mdettweiler [2013-08-25 10:50:45] 849*2^1251768-1 is not prime. Res64: 26E4E848957F8F7D Time : 0.0 sec. user=mdettweiler [2013-08-25 10:50:45] 975*2^1251768-1 is not prime. Res64: CD775FDE42931BEE Time : 0.0 sec. user=mdettweiler [2013-08-25 10:54:10] 685*2^1251769-1 is not prime. Res64: C7595E32BD687DE8 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:54:10] 691*2^1251769-1 is not prime. Res64: 4F404E30456220F0 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:55:59] 877*2^1251769-1 is not prime. Res64: 86616AB2766FB8C1 Time : 0.0 sec. user=mdettweiler [2013-08-25 10:56:00] 955*2^1251769-1 is not prime. Res64: 72B181920E807B78 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:03:59] 767*2^1251770-1 is not prime. Res64: 1E6AE92CD08B020F Time : 0.0 sec. user=mdettweiler [2013-08-25 11:04:00] 851*2^1251770-1 is not prime. Res64: D3FF220D048E6D13 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:11:30] 867*2^1251770-1 is not prime. Res64: E32235B78257DAA8 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:11:30] 971*2^1251770-1 is not prime. Res64: 2B0922597F081FB9 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:13:59] 643*2^1251771-1 is not prime. Res64: 0A2814EE9BE26CFF Time : 0.0 sec. user=mdettweiler [2013-08-25 11:13:59] 685*2^1251771-1 is not prime. Res64: 6C01775E648D9589 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:15:54] 705*2^1251771-1 is not prime. Res64: 2153EAA3347A1E12 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:15:55] 745*2^1251771-1 is not prime. Res64: D743A006C552AEFC Time : 0.0 sec. user=mdettweiler [2013-08-25 11:23:49] 819*2^1251771-1 is not prime. Res64: 52494ECC26A3FF19 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:23:49] 849*2^1251771-1 is not prime. Res64: 13877418A9A7E964 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:32:21] 871*2^1251771-1 is not prime. Res64: 6BDFDA9482AA0AD5 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:32:22] 895*2^1251771-1 is not prime. Res64: 64B4910E98B5036C Time : 0.0 sec. user=mdettweiler [2013-08-25 11:35:40] 921*2^1251771-1 is not prime. Res64: 56212305051EBAD3 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:35:41] 975*2^1251771-1 is not prime. Res64: B8CA89FF4FFAABBB Time : 0.0 sec. user=mdettweiler [2013-08-25 11:35:45] 605*2^1251772-1 is not prime. Res64: 385265C665E7957F Time : 0.0 sec. user=mdettweiler [2013-08-25 11:35:46] 617*2^1251772-1 is not prime. Res64: 501BB25F7FE9593E Time : 0.0 sec. user=mdettweiler [2013-08-25 11:43:38] 623*2^1251772-1 is not prime. Res64: 1CBB3A7C97FDD3CF Time : 0.0 sec. user=mdettweiler [2013-08-25 11:43:39] 693*2^1251772-1 is not prime. Res64: D48217A503B5EC65 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:52:18] 825*2^1251772-1 is not prime. Res64: F8E1D1C1C22B541A Time : 0.0 sec. user=mdettweiler [2013-08-25 11:52:19] 827*2^1251772-1 is not prime. Res64: 8DF70BF601BA9C26 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:55:29] 651*2^1251773-1 is not prime. Res64: C18921FF3482B691 Time : 0.0 sec. user=mdettweiler [2013-08-25 11:55:29] 685*2^1251773-1 is not prime. Res64: E31EF7B2EE02DBAE Time : 0.0 sec. user=mdettweiler [2013-08-25 11:55:33] 741*2^1251773-1 is not prime. Res64: 624E52E9547D2C6D Time : 0.0 sec. user=mdettweiler [2013-08-25 11:55:34] 811*2^1251773-1 is not prime. Res64: 5DAECEA1C9FAA39E Time : 0.0 sec. user=mdettweiler [2013-08-25 12:03:27] 855*2^1251773-1 is not prime. Res64: 57B1B91B162C6E8D Time : 0.0 sec. user=mdettweiler [2013-08-25 12:03:28] 859*2^1251773-1 is not prime. Res64: 8B1F667150F21F81 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:12:05] 663*2^1251774-1 is not prime. Res64: F2EA2B484284B10A Time : 0.0 sec. user=mdettweiler [2013-08-25 12:12:06] 755*2^1251774-1 is not prime. Res64: 20D9CD2F738C3A26 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:16:18] 863*2^1251774-1 is not prime. Res64: 0EFAD6CE901CE99E Time : 0.0 sec. user=mdettweiler [2013-08-25 12:16:18] 917*2^1251774-1 is not prime. Res64: 68FE29182C4C88FD Time : 0.0 sec. user=mdettweiler [2013-08-25 12:17:18] 975*2^1251774-1 is not prime. Res64: E7762A757A7C9BAF Time : 0.0 sec. user=mdettweiler [2013-08-25 12:17:18] 983*2^1251774-1 is not prime. Res64: 9943540B935D008C Time : 0.0 sec. user=mdettweiler [2013-08-25 12:23:24] 715*2^1251775-1 is not prime. Res64: 37947684757F14AE Time : 0.0 sec. user=mdettweiler [2013-08-25 12:23:25] 855*2^1251775-1 is not prime. Res64: 77470AAAE9E7F3BB Time : 0.0 sec. user=mdettweiler [2013-08-25 12:32:47] 871*2^1251775-1 is not prime. Res64: 6E036FA7B0DC86B4 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:32:48] 909*2^1251775-1 is not prime. Res64: 3CD011AE5B51837A Time : 0.0 sec. user=mdettweiler [2013-08-25 12:36:06] 659*2^1251776-1 is not prime. Res64: 191A3E9925E2DD0B Time : 0.0 sec. user=mdettweiler [2013-08-25 12:36:06] 669*2^1251776-1 is not prime. Res64: AA7BF161B0C9C117 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:37:07] 773*2^1251776-1 is not prime. Res64: 33FAF456ABC7D235 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:37:08] 825*2^1251776-1 is not prime. Res64: 5EAE061AB3EB1A8D Time : 0.0 sec. user=mdettweiler [2013-08-25 12:43:15] 691*2^1251777-1 is not prime. Res64: D24438D5ED977D89 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:43:15] 765*2^1251777-1 is not prime. Res64: B4BC0E4CF0D53C0E Time : 0.0 sec. user=mdettweiler [2013-08-25 12:52:38] 769*2^1251777-1 is not prime. Res64: E60EF7FC8C6D6797 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:52:39] 847*2^1251777-1 is not prime. Res64: E926BF6447EAB5A7 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:56:56] 755*2^1251778-1 is not prime. Res64: F4352F5FF0455D6A Time : 0.0 sec. user=mdettweiler [2013-08-25 12:56:56] 813*2^1251778-1 is not prime. Res64: 653A27A1BFE19642 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:56:59] 915*2^1251777-1 is not prime. Res64: A02C1A01F1388E84 Time : 0.0 sec. user=mdettweiler [2013-08-25 12:56:59] 735*2^1251778-1 is not prime. Res64: 5521B92F463C2C7C Time : 0.0 sec. user=mdettweiler [2013-08-25 13:02:59] 867*2^1251778-1 is not prime. Res64: 84BAEE97AA71E531 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:03:00] 631*2^1251779-1 is not prime. Res64: D8E71A7779FC07F5 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:12:28] 693*2^1251779-1 is not prime. Res64: AFDA35C80CECC148 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:12:28] 843*2^1251779-1 is not prime. Res64: B848F6A690293C34 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:18:42] 895*2^1251779-1 is not prime. Res64: D60974185808644C Time : 0.0 sec. user=mdettweiler [2013-08-25 13:18:42] 921*2^1251779-1 is not prime. Res64: 96CC5B9AAE6690D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:18:43] 913*2^1251779-1 is not prime. Res64: 69CC81C2B11295D0 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:18:43] 973*2^1251779-1 is not prime. Res64: 735494D09E4A27B1 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:23:09] 629*2^1251780-1 is not prime. Res64: 12D506BBDED33732 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:23:09] 759*2^1251780-1 is not prime. Res64: AB91DBCDDA0CCB1C Time : 0.0 sec. user=mdettweiler [2013-08-25 13:32:29] 789*2^1251780-1 is not prime. Res64: D80943AA5F4BA933 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:32:30] 797*2^1251780-1 is not prime. Res64: 91AAC013363DECBC Time : 0.0 sec. user=mdettweiler [2013-08-25 13:38:33] 639*2^1251781-1 is not prime. Res64: 0E8761FB397B5F11 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:38:34] 717*2^1251781-1 is not prime. Res64: 04DB828BD429B010 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:39:38] 875*2^1251780-1 is not prime. Res64: 2B6F4864882CA7BA Time : 0.0 sec. user=mdettweiler [2013-08-25 13:39:38] 899*2^1251780-1 is not prime. Res64: 221AFF1012073286 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:54:22] 957*2^1251781-1 is not prime. Res64: 65F153DA7AD6E446 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:54:22] 967*2^1251781-1 is not prime. Res64: F67F69F8BAF9AF1C Time : 0.0 sec. user=mdettweiler [2013-08-25 13:59:29] 705*2^1251782-1 is not prime. Res64: 8B6396460A5C8C99 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:59:29] 771*2^1251782-1 is not prime. Res64: 72B28AF3B7B69E4A Time : 0.0 sec. user=mdettweiler [2013-08-25 13:59:38] 997*2^1251781-1 is not prime. Res64: 252DB4C55EB02AC2 Time : 0.0 sec. user=mdettweiler [2013-08-25 13:59:38] 615*2^1251782-1 is not prime. Res64: EE2B1179AA6DE7A4 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:16:30] 893*2^1251782-1 is not prime. Res64: EF0EA3E4652075FF Time : 0.0 sec. user=mdettweiler [2013-08-25 14:16:31] 945*2^1251782-1 is not prime. Res64: BA032B353D795D57 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:19:55] 775*2^1251783-1 is not prime. Res64: 5F58D822CA5B62D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:19:56] 793*2^1251783-1 is not prime. Res64: FFAD5B6C3EC7458F Time : 0.0 sec. user=mdettweiler [2013-08-25 14:20:25] 957*2^1251782-1 is not prime. Res64: 521032D4C37D62DC Time : 0.0 sec. user=mdettweiler [2013-08-25 14:20:25] 765*2^1251783-1 is not prime. Res64: 461A6A958D8F547F Time : 0.0 sec. user=mdettweiler [2013-08-25 14:37:43] 829*2^1251783-1 is not prime. Res64: C2E85E248757A728 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:37:44] 985*2^1251783-1 is not prime. Res64: A460C16F396E30C0 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:40:07] 623*2^1251784-1 is not prime. Res64: 74FE4C9001850FE6 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:40:08] 665*2^1251784-1 is not prime. Res64: 84BA17FF01B7BC30 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:40:26] 707*2^1251784-1 is not prime. Res64: 176EC86EC954E556 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:40:26] 723*2^1251784-1 is not prime. Res64: FC6996454885498C Time : 0.0 sec. user=mdettweiler [2013-08-25 14:43:13] 799*2^1251781-1 is not prime. Res64: 75C2FA3E3D5DD589 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:43:14] 925*2^1251781-1 is not prime. Res64: 1EA9056649FE5543 Time : 0.0 sec. user=mdettweiler [2013-08-25 14:57:44] 813*2^1251784-1 is not prime. Res64: 58D47D4E1199499F Time : 0.0 sec. user=mdettweiler [2013-08-25 14:57:44] 849*2^1251784-1 is not prime. Res64: A7360000FC29E2A3 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:01:01] 875*2^1251784-1 is not prime. Res64: A1A63FEB125D3B48 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:01:02] 939*2^1251784-1 is not prime. Res64: 730C3103F366A90D Time : 0.0 sec. user=mdettweiler [2013-08-25 15:01:18] 983*2^1251784-1 is not prime. Res64: F14E92D36FB8ECA4 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:01:19] 711*2^1251785-1 is not prime. Res64: 8F3DCB2E085BF65F Time : 0.0 sec. user=mdettweiler [2013-08-25 15:03:10] 741*2^1251785-1 is not prime. Res64: 5A8CE60B40F92717 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:03:12] 819*2^1251785-1 is not prime. Res64: 6F067B35B5758CF9 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:18:39] 871*2^1251785-1 is not prime. Res64: 18706DC1019C218A Time : 0.0 sec. user=mdettweiler [2013-08-25 15:18:39] 957*2^1251785-1 is not prime. Res64: F7D6533C224BC15A Time : 0.0 sec. user=mdettweiler [2013-08-25 15:21:18] 755*2^1251786-1 is not prime. Res64: 805DE1E0C908255F Time : 0.0 sec. user=mdettweiler [2013-08-25 15:21:18] 887*2^1251786-1 is not prime. Res64: 64E9B2B344C1A207 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:21:56] 985*2^1251785-1 is not prime. Res64: 65D4980A1C50BF6D Time : 0.0 sec. user=mdettweiler [2013-08-25 15:21:57] 707*2^1251786-1 is not prime. Res64: D925B4E29411C0CA Time : 0.0 sec. user=mdettweiler [2013-08-25 15:23:12] 615*2^1251787-1 is not prime. Res64: C8AC7010C7B8F1F3 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:23:13] 619*2^1251787-1 is not prime. Res64: F8797C5127E77735 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:38:34] 651*2^1251787-1 is not prime. Res64: ACCDFFCA46DF50B3 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:38:34] 765*2^1251787-1 is not prime. Res64: 719DD48ED84941A6 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:42:50] 951*2^1251787-1 is not prime. Res64: 65BFEB457ABBE706 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:42:50] 837*2^1251788-1 is not prime. Res64: B02056F75E93D941 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:43:05] 843*2^1251788-1 is not prime. Res64: E0402B1BE0DF910C Time : 0.0 sec. user=mdettweiler [2013-08-25 15:43:06] 639*2^1251789-1 is not prime. Res64: 6FD4B29D6F50CA38 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:43:06] 895*2^1251787-1 is not prime. Res64: C60BED7DE95A486E Time : 0.0 sec. user=mdettweiler [2013-08-25 15:43:07] 939*2^1251787-1 is not prime. Res64: 5BFFDBEDC0130DB7 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:58:29] 745*2^1251789-1 is not prime. Res64: AF49941B2CB13791 Time : 0.0 sec. user=mdettweiler [2013-08-25 15:58:29] 751*2^1251789-1 is not prime. Res64: B169056E31402701 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:02:43] 835*2^1251789-1 is not prime. Res64: 7F68F136131FEFF2 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:02:44] 865*2^1251789-1 is not prime. Res64: 32035A39CED9D29E Time : 0.0 sec. user=mdettweiler [2013-08-25 16:02:58] 611*2^1251790-1 is not prime. Res64: 8D15DC9D66051968 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:02:59] 717*2^1251790-1 is not prime. Res64: 18280182DB490385 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:03:52] 997*2^1251789-1 is not prime. Res64: 4F65AFEA876E4DA3 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:03:54] 605*2^1251790-1 is not prime. Res64: 8686C7C1A2169103 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:18:58] 747*2^1251790-1 is not prime. Res64: 4688E8934F77779B Time : 0.0 sec. user=mdettweiler [2013-08-25 16:18:58] 755*2^1251790-1 is not prime. Res64: 031BA62E87481A35 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:23:07] 765*2^1251790-1 is not prime. Res64: E3D3084009412A17 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:23:07] 791*2^1251790-1 is not prime. Res64: A898B20175B7D0F7 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:24:16] 711*2^1251791-1 is not prime. Res64: 095BB4A4FD82EBFF Time : 0.0 sec. user=mdettweiler [2013-08-25 16:24:16] 745*2^1251791-1 is not prime. Res64: A5AFB096E9CC2D56 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:24:24] 957*2^1251790-1 is not prime. Res64: 3E03E23437615195 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:24:24] 609*2^1251791-1 is not prime. Res64: 87D6AC309E5D2805 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:39:03] 813*2^1251791-1 is not prime. Res64: 9E129ED7672A7B2C Time : 0.0 sec. user=mdettweiler [2013-08-25 16:39:03] 825*2^1251791-1 is not prime. Res64: 4EC1ABF809411241 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:44:10] 979*2^1251791-1 is not prime. Res64: D60AD1BBEA649FF0 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:44:11] 699*2^1251792-1 is not prime. Res64: FD47F6135532E38D Time : 0.0 sec. user=mdettweiler [2013-08-25 16:44:16] 753*2^1251792-1 is not prime. Res64: 9FFADEECE9CD317D Time : 0.0 sec. user=mdettweiler [2013-08-25 16:44:16] 797*2^1251792-1 is not prime. Res64: CD4080896F948A11 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:46:24] 903*2^1251792-1 is not prime. Res64: 07E8E41BD390C0C5 Time : 0.0 sec. user=mdettweiler [2013-08-25 16:46:24] 983*2^1251792-1 is not prime. Res64: 0DED199D88ED47C1 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:00:13] 999*2^1251792-1 is not prime. Res64: 2B58C667288A43F1 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:00:13] 745*2^1251793-1 is not prime. Res64: 0C9CBD394822F093 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:05:26] 855*2^1251793-1 is not prime. Res64: 2D9DA11DF3930708 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:05:26] 915*2^1251793-1 is not prime. Res64: B7AF4125C20ABC9A Time : 0.0 sec. user=mdettweiler [2013-08-25 17:06:31] 945*2^1251793-1 is not prime. Res64: B814F8A85D13ABAE Time : 0.0 sec. user=mdettweiler [2013-08-25 17:06:32] 957*2^1251793-1 is not prime. Res64: FD3EB5C242567129 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:08:38] 987*2^1251793-1 is not prime. Res64: 07E01631E0CBDA24 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:08:39] 999*2^1251793-1 is not prime. Res64: 68D341E2402DCBD7 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:20:46] 617*2^1251794-1 is not prime. Res64: 0A27413774DB6C50 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:20:46] 623*2^1251794-1 is not prime. Res64: 5E5BF906E737E86C Time : 0.0 sec. user=mdettweiler [2013-08-25 17:25:59] 641*2^1251794-1 is not prime. Res64: 5B90D54536404210 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:26:00] 717*2^1251794-1 is not prime. Res64: B5052C46155D9029 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:28:05] 837*2^1251794-1 is not prime. Res64: 8001819A5C83471C Time : 0.0 sec. user=mdettweiler [2013-08-25 17:28:05] 981*2^1251794-1 is not prime. Res64: 918BB296DC189494 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:29:10] 651*2^1251795-1 is not prime. Res64: 6451641573199170 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:29:10] 751*2^1251795-1 is not prime. Res64: 3C312C6E447F699F Time : 0.0 sec. user=mdettweiler [2013-08-25 17:41:23] 783*2^1251795-1 is not prime. Res64: 1FE6C2F6B024060B Time : 0.0 sec. user=mdettweiler [2013-08-25 17:41:24] 853*2^1251795-1 is not prime. Res64: 41B3B1B7033CE5FE Time : 0.0 sec. user=mdettweiler [2013-08-25 17:47:41] 859*2^1251795-1 is not prime. Res64: 5EE14E4E1B404E8C Time : 0.0 sec. user=mdettweiler [2013-08-25 17:47:42] 963*2^1251795-1 is not prime. Res64: 205BD2DB397F5107 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:50:03] 623*2^1251796-1 is not prime. Res64: 61BE4F86D974DB0D Time : 0.0 sec. user=mdettweiler [2013-08-25 17:50:03] 675*2^1251796-1 is not prime. Res64: F03882D66B64940C Time : 0.0 sec. user=mdettweiler [2013-08-25 17:51:07] 985*2^1251795-1 is not prime. Res64: F2CDE8498E2DA7D1 Time : 0.0 sec. user=mdettweiler [2013-08-25 17:51:07] 999*2^1251795-1 is not prime. Res64: 375EEFAC6ED0B707 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:02:35] 677*2^1251796-1 is not prime. Res64: 293787D7EC9D555B Time : 0.0 sec. user=mdettweiler [2013-08-25 18:02:37] 807*2^1251796-1 is not prime. Res64: 0C1F5E9C3541DA22 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:09:53] 957*2^1251796-1 is not prime. Res64: 1680C05BA46FBE60 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:09:54] 619*2^1251797-1 is not prime. Res64: 86E547401F71D257 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:11:10] 655*2^1251797-1 is not prime. Res64: 5D130F1B5029BC5F Time : 0.0 sec. user=mdettweiler [2013-08-25 18:11:10] 685*2^1251797-1 is not prime. Res64: 9A2870E5C1F51830 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:13:26] 867*2^1251797-1 is not prime. Res64: D40132F236AE5F2C Time : 0.0 sec. user=mdettweiler [2013-08-25 18:13:27] 985*2^1251797-1 is not prime. Res64: 8087D3187F45549E Time : 0.0 sec. user=mdettweiler [2013-08-25 18:23:51] 641*2^1251798-1 is not prime. Res64: 63FB424FEB8C6D45 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:23:52] 647*2^1251798-1 is not prime. Res64: 7AA0F5AE0F4A27B2 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:30:49] 663*2^1251798-1 is not prime. Res64: 91C33ECB2EB54273 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:30:50] 705*2^1251798-1 is not prime. Res64: 8E747DC520055ED0 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:32:20] 725*2^1251798-1 is not prime. Res64: E20356550B2FEAF6 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:32:21] 963*2^1251798-1 is not prime. Res64: A5D3411D27B44633 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:34:33] 971*2^1251798-1 is not prime. Res64: 3F94F5C31D1BC4E7 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:34:34] 609*2^1251799-1 is not prime. Res64: E4A2FD8B380A1029 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:43:56] 615*2^1251799-1 is not prime. Res64: 5E90F72D64702DB0 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:43:57] 679*2^1251799-1 is not prime. Res64: 252487621C2271A3 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:50:53] 735*2^1251799-1 is not prime. Res64: 4B8C25CB8344980C Time : 0.0 sec. user=mdettweiler [2013-08-25 18:50:54] 771*2^1251799-1 is not prime. Res64: 73F74F8E6ACAD45A Time : 0.0 sec. user=mdettweiler [2013-08-25 18:52:23] 885*2^1251799-1 is not prime. Res64: 10F60BC75AB19EB6 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:52:23] 677*2^1251800-1 is not prime. Res64: 6711C80CAF8B8FD6 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:54:33] 689*2^1251800-1 is not prime. Res64: 0604008B0AF15974 Time : 0.0 sec. user=mdettweiler [2013-08-25 18:54:34] 735*2^1251800-1 is not prime. Res64: FF531121E9225711 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:03:58] 797*2^1251800-1 is not prime. Res64: EEE588884B663B93 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:03:59] 825*2^1251800-1 is not prime. Res64: 81049BA7A0E68027 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:10:54] 843*2^1251800-1 is not prime. Res64: E673B304B3460125 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:10:55] 625*2^1251801-1 is not prime. Res64: E043301A6DCF319C Time : 0.0 sec. user=mdettweiler [2013-08-25 19:12:22] 627*2^1251801-1 is not prime. Res64: F583E40B48E9B21B Time : 0.0 sec. user=mdettweiler [2013-08-25 19:12:22] 777*2^1251801-1 is not prime. Res64: F2D8544A1CAAEE2D Time : 0.0 sec. user=mdettweiler [2013-08-25 19:14:28] 819*2^1251801-1 is not prime. Res64: 2209FACE60B0C21A Time : 0.0 sec. user=mdettweiler [2013-08-25 19:14:29] 837*2^1251801-1 is not prime. Res64: 71E3F4A7CA4CBDE2 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:25:53] 975*2^1251801-1 is not prime. Res64: 7C5153B7BEB0A903 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:25:53] 997*2^1251801-1 is not prime. Res64: 3F9469B96471659A Time : 0.0 sec. user=mdettweiler [2013-08-25 19:30:51] 633*2^1251802-1 is not prime. Res64: 1F142D949E38CF6F Time : 0.0 sec. user=mdettweiler [2013-08-25 19:30:51] 827*2^1251802-1 is not prime. Res64: B9F6FD9A39A6BAF7 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:32:23] 831*2^1251802-1 is not prime. Res64: 2A3FA53393FFD362 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:32:24] 833*2^1251802-1 is not prime. Res64: E1E6C981978EF5E9 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:34:27] 867*2^1251802-1 is not prime. Res64: 6A93C5F9630AB38E Time : 0.0 sec. user=mdettweiler [2013-08-25 19:34:28] 885*2^1251802-1 is not prime. Res64: 6C682E72699CF63B Time : 0.0 sec. user=mdettweiler [2013-08-25 19:45:59] 673*2^1251803-1 is not prime. Res64: E3CAFEEDCB6C5DC7 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:45:59] 699*2^1251803-1 is not prime. Res64: 46433063B862DB5E Time : 0.0 sec. user=mdettweiler [2013-08-25 19:50:56] 775*2^1251803-1 is not prime. Res64: C8368E453B06BACE Time : 0.0 sec. user=mdettweiler [2013-08-25 19:50:57] 801*2^1251803-1 is not prime. Res64: 8EE1FAED2D2FAE07 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:52:28] 819*2^1251803-1 is not prime. Res64: 773B9A0781E202CD Time : 0.0 sec. user=mdettweiler [2013-08-25 19:52:28] 825*2^1251803-1 is not prime. Res64: C7A3AAB65B39E977 Time : 0.0 sec. user=mdettweiler [2013-08-25 19:56:23] 895*2^1251803-1 is not prime. Res64: D3FE38F7FCFF273D Time : 0.0 sec. user=mdettweiler [2013-08-25 19:56:23] 963*2^1251803-1 is not prime. Res64: 367903C98A2ACAE8 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:08:01] 981*2^1251803-1 is not prime. Res64: D665094D0ECBEF56 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:08:02] 985*2^1251803-1 is not prime. Res64: 41404642D318852D Time : 0.0 sec. user=mdettweiler [2013-08-25 20:11:08] 605*2^1251804-1 is not prime. Res64: 21031377C0C01C80 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:11:08] 693*2^1251804-1 is not prime. Res64: 82C45FE4F2EFA8B3 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:12:41] 857*2^1251804-1 is not prime. Res64: 8B53F2738383B33B Time : 0.0 sec. user=mdettweiler [2013-08-25 20:12:42] 873*2^1251804-1 is not prime. Res64: 9A165E7D9EACA7DA Time : 0.0 sec. user=mdettweiler [2013-08-25 20:17:41] 875*2^1251804-1 is not prime. Res64: 89E94C9D7183EB3B Time : 0.0 sec. user=mdettweiler [2013-08-25 20:17:41] 899*2^1251804-1 is not prime. Res64: C546ED320D7C11EA Time : 0.0 sec. user=mdettweiler [2013-08-25 20:30:30] 903*2^1251804-1 is not prime. Res64: 9A53FCAF1B5DD6F6 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:30:30] 905*2^1251804-1 is not prime. Res64: 1F5EE064E6B3C1B2 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:33:40] 927*2^1251804-1 is not prime. Res64: CE94D0608B341A21 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:33:40] 947*2^1251804-1 is not prime. Res64: 2B0CEAB0567D2964 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:35:07] 975*2^1251804-1 is not prime. Res64: C805D1E1C6C2F9C4 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:35:07] 983*2^1251804-1 is not prime. Res64: 79F29333EC64CF1E Time : 0.0 sec. user=mdettweiler [2013-08-25 20:38:18] 645*2^1251805-1 is not prime. Res64: E7278EE69F3E724B Time : 0.0 sec. user=mdettweiler [2013-08-25 20:38:18] 715*2^1251805-1 is not prime. Res64: 7B7D9255061BD1FD Time : 0.0 sec. user=mdettweiler [2013-08-25 20:52:01] 831*2^1251805-1 is not prime. Res64: 330DF3114822E518 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:52:02] 927*2^1251805-1 is not prime. Res64: EB52A63C4A6EAD4E Time : 0.0 sec. user=mdettweiler [2013-08-25 20:55:02] 979*2^1251805-1 is not prime. Res64: 83D5A890194FCD99 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:55:03] 713*2^1251806-1 is not prime. Res64: 7F465F2CDA5AEA12 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:55:27] 717*2^1251806-1 is not prime. Res64: 8253FE4B7246E859 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:55:27] 741*2^1251806-1 is not prime. Res64: 55957AD37078C0DE Time : 0.0 sec. user=mdettweiler [2013-08-25 20:58:35] 785*2^1251806-1 is not prime. Res64: 6F463DE9AC6FEFE5 Time : 0.0 sec. user=mdettweiler [2013-08-25 20:58:36] 827*2^1251806-1 is not prime. Res64: 5BDCDE3AC0A3F4E2 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:12:08] 857*2^1251806-1 is not prime. Res64: B0F499B3F452625C Time : 0.0 sec. user=mdettweiler [2013-08-25 21:12:08] 861*2^1251806-1 is not prime. Res64: 608E6F1831FFE57B Time : 0.0 sec. user=mdettweiler [2013-08-25 21:16:07] 867*2^1251806-1 is not prime. Res64: 7D188BA42B3DFC50 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:16:07] 903*2^1251806-1 is not prime. Res64: 9DE2847363E58805 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:17:28] 911*2^1251806-1 is not prime. Res64: 15203B965CD98E52 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:17:29] 917*2^1251806-1 is not prime. Res64: B40656F92DA7613F Time : 0.0 sec. user=mdettweiler [2013-08-25 21:19:34] 963*2^1251806-1 is not prime. Res64: 874A831E9003DC0F Time : 0.0 sec. user=mdettweiler [2013-08-25 21:19:35] 649*2^1251807-1 is not prime. Res64: 56B189845B74D944 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:33:13] 765*2^1251807-1 is not prime. Res64: BD47A912C2C86422 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:33:13] 951*2^1251807-1 is not prime. Res64: 40333193EF6A05B3 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:37:06] 979*2^1251807-1 is not prime. Res64: 646EB98B561A2EA2 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:37:07] 689*2^1251808-1 is not prime. Res64: 9845768D0D7A193D Time : 0.0 sec. user=mdettweiler [2013-08-25 21:37:32] 747*2^1251808-1 is not prime. Res64: B503E938F154DFA4 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:37:32] 777*2^1251808-1 is not prime. Res64: 62AA7C9A0627976C Time : 0.0 sec. user=mdettweiler [2013-08-25 21:39:39] 797*2^1251808-1 is not prime. Res64: 5042BDA9F5397998 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:39:40] 855*2^1251808-1 is not prime. Res64: C5286DC61CD141C8 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:53:14] 875*2^1251808-1 is not prime. Res64: 0F89B1D84EF18958 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:53:14] 887*2^1251808-1 is not prime. Res64: 826F67B7C79C64D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:57:33] 747*2^1251809-1 is not prime. Res64: A6A7C047DCB9A4AC Time : 0.0 sec. user=mdettweiler [2013-08-25 21:57:34] 801*2^1251809-1 is not prime. Res64: BF51281F7B3550D4 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:58:02] 915*2^1251808-1 is not prime. Res64: 23063A4BE092FBD5 Time : 0.0 sec. user=mdettweiler [2013-08-25 21:58:02] 697*2^1251809-1 is not prime. Res64: 938D039D3499EBE1 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:00:41] 879*2^1251809-1 is not prime. Res64: 8C51BCFCBD5C3FBD Time : 0.0 sec. user=mdettweiler [2013-08-25 22:00:42] 945*2^1251809-1 is not prime. Res64: 10D8C259D6975EF1 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:13:16] 651*2^1251810-1 is not prime. Res64: 1B325D846D84C8DD Time : 0.0 sec. user=mdettweiler [2013-08-25 22:13:17] 725*2^1251810-1 is not prime. Res64: FCBFB0E141B7FDDC Time : 0.0 sec. user=mdettweiler [2013-08-25 22:17:38] 755*2^1251810-1 is not prime. Res64: C81363333B3C7044 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:17:39] 765*2^1251810-1 is not prime. Res64: AC61C4AC64771E90 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:18:56] 885*2^1251810-1 is not prime. Res64: 8C48F0960AE15FF5 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:18:57] 893*2^1251810-1 is not prime. Res64: C395BE7202B119CD Time : 0.0 sec. user=mdettweiler [2013-08-25 22:21:40] 941*2^1251810-1 is not prime. Res64: F160850F007FBDEA Time : 0.0 sec. user=mdettweiler [2013-08-25 22:21:40] 745*2^1251811-1 is not prime. Res64: FE22F0A797DB7FE9 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:33:13] 793*2^1251811-1 is not prime. Res64: E2DBFB59CFCC85CE Time : 0.0 sec. user=mdettweiler [2013-08-25 22:33:14] 805*2^1251811-1 is not prime. Res64: E9635593384E697B Time : 0.0 sec. user=mdettweiler [2013-08-25 22:37:36] 873*2^1251811-1 is not prime. Res64: DE5992B3AEC06897 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:37:36] 669*2^1251812-1 is not prime. Res64: 93BD1DE1589C3680 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:39:52] 677*2^1251812-1 is not prime. Res64: BD3EE75E375037BA Time : 0.0 sec. user=mdettweiler [2013-08-25 22:39:53] 929*2^1251812-1 is not prime. Res64: 15E18A246868D90D Time : 0.0 sec. user=mdettweiler [2013-08-25 22:41:38] 607*2^1251813-1 is not prime. Res64: 4FE2D59DF32DBD91 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:41:39] 649*2^1251813-1 is not prime. Res64: 01B141C4E7EEEC03 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:53:09] 787*2^1251813-1 is not prime. Res64: CB90EFA288CBF6E7 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:53:09] 795*2^1251813-1 is not prime. Res64: 437E4943DDA79DFB Time : 0.0 sec. user=mdettweiler [2013-08-25 22:58:35] 871*2^1251813-1 is not prime. Res64: E731474C9D3EE6B3 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:58:36] 945*2^1251813-1 is not prime. Res64: B147BD08598BD8D6 Time : 0.0 sec. user=mdettweiler [2013-08-25 22:59:50] 665*2^1251814-1 is not prime. Res64: 8B278EB056A0C90A Time : 0.0 sec. user=mdettweiler [2013-08-25 22:59:50] 687*2^1251814-1 is not prime. Res64: A0575ECECFD03612 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:01:36] 741*2^1251814-1 is not prime. Res64: E0D63F7C5F6BD89E Time : 0.0 sec. user=mdettweiler [2013-08-25 23:01:38] 815*2^1251814-1 is not prime. Res64: F18C4CE8C1536628 Time : 0.0 sec. user=juhehe [2013-08-25 23:03:49] 741*2^1251813-1 is not prime. Res64: D41796D265323C1B Time : 0.0 sec. user=mdettweiler [2013-08-25 23:15:09] 891*2^1251814-1 is not prime. Res64: DDDC1DF82A696D30 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:15:10] 1001*2^1251814-1 is not prime. Res64: 2F962E30C6AA03C3 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:18:48] 661*2^1251815-1 is not prime. Res64: E4F4D472174F8CA5 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:18:48] 693*2^1251815-1 is not prime. Res64: FD8377D808081B5E Time : 0.0 sec. user=mdettweiler [2013-08-25 23:19:49] 759*2^1251815-1 is not prime. Res64: B56F99CDEA719F81 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:19:49] 775*2^1251815-1 is not prime. Res64: 2D9F4735B97A3174 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:23:33] 909*2^1251815-1 is not prime. Res64: D501C22E3646305E Time : 0.0 sec. user=mdettweiler [2013-08-25 23:23:33] 939*2^1251815-1 is not prime. Res64: AAEC13D02035E1BA Time : 0.0 sec. user=mdettweiler [2013-08-25 23:35:05] 635*2^1251816-1 is not prime. Res64: 46786A70FAF27D92 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:35:05] 707*2^1251816-1 is not prime. Res64: 5FDE943416318556 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:38:44] 719*2^1251816-1 is not prime. Res64: 48C48180C8999F13 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:38:45] 767*2^1251816-1 is not prime. Res64: A49CA7627BC3FE50 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:40:44] 887*2^1251816-1 is not prime. Res64: 31460E2691335B53 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:40:44] 893*2^1251816-1 is not prime. Res64: 09B206CEA80C9B50 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:43:34] 637*2^1251817-1 is not prime. Res64: FA8BF305FC196A74 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:43:35] 645*2^1251817-1 is not prime. Res64: 5BDE7B168DBF4569 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:55:03] 667*2^1251817-1 is not prime. Res64: 16777DF7086EDC0A Time : 0.0 sec. user=mdettweiler [2013-08-25 23:55:03] 771*2^1251817-1 is not prime. Res64: C20EBF58B70452B9 Time : 0.0 sec. user=mdettweiler [2013-08-25 23:59:41] 841*2^1251817-1 is not prime. Res64: 44A350C30AE228BA Time : 0.0 sec. user=mdettweiler [2013-08-25 23:59:41] 895*2^1251817-1 is not prime. Res64: F1BD7A93D24DA00B Time : 0.0 sec.