user=mdettweiler [2015-07-04 00:05:19] 645*2^1402117-1 is not prime. Res64: B68BFDD68C03F8DC Time : 0.0 sec. user=mdettweiler [2015-07-04 00:05:21] 649*2^1402117-1 is not prime. Res64: 29FD7602E923F0DF Time : 0.0 sec. user=mdettweiler [2015-07-04 00:11:34] 871*2^1402117-1 is not prime. Res64: B4C5D4B9A3906B73 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:11:35] 885*2^1402117-1 is not prime. Res64: 4115F6F221C8AFA3 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:11:35] 691*2^1402117-1 is not prime. Res64: E66806A34C8E2704 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:11:36] 729*2^1402117-1 is not prime. Res64: 822F2CA7C648325C Time : 0.0 sec. user=mdettweiler [2015-07-04 00:23:02] 937*2^1402117-1 is not prime. Res64: C9869C4869571108 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:23:03] 985*2^1402117-1 is not prime. Res64: 0E1737C2F0DB4EF6 Time : 0.0 sec. user=juhehe [2015-07-04 00:25:18] 767*2^1402116-1 is not prime. Res64: F0E5C4087C21A1F1 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:28:59] 671*2^1402118-1 is not prime. Res64: 41FC9BD30B7E0F24 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:29:00] 677*2^1402118-1 is not prime. Res64: 3042C91A35BC4B6C Time : 0.0 sec. user=mdettweiler [2015-07-04 00:29:00] 683*2^1402118-1 is not prime. Res64: A9EB44CFCC3BCE1D Time : 0.0 sec. user=mdettweiler [2015-07-04 00:29:01] 761*2^1402118-1 is not prime. Res64: E1437D4109F653C4 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:40:26] 795*2^1402118-1 is not prime. Res64: 6DA84011F89BA9F7 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:40:26] 825*2^1402118-1 is not prime. Res64: 1EC754711F6D1B06 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:46:21] 829*2^1402119-1 is not prime. Res64: 8B8BA60406CE2887 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:46:21] 865*2^1402119-1 is not prime. Res64: 35731AAF9FA8C3C3 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:46:22] 615*2^1402120-1 is not prime. Res64: 7AA2F94EFF4142F0 Time : 0.0 sec. user=mdettweiler [2015-07-04 00:46:22] 629*2^1402120-1 is not prime. Res64: F7050A340CF10EEE Time : 0.0 sec. user=mdettweiler [2015-07-04 00:57:48] 665*2^1402120-1 is not prime. Res64: 473FE5F816DFDFFB Time : 0.0 sec. user=mdettweiler [2015-07-04 00:57:49] 699*2^1402120-1 is not prime. Res64: 35F36F82D3891D34 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:03:46] 743*2^1402120-1 is not prime. Res64: 5D4DDBD157473CE0 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:03:47] 843*2^1402120-1 is not prime. Res64: 32454063E4057E84 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:03:48] 773*2^1402120-1 is not prime. Res64: 93BB07CEF50854D9 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:03:48] 651*2^1402122-1 is not prime. Res64: 3644C34D247D21C9 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:15:12] 681*2^1402122-1 is not prime. Res64: DC21F14B4369572A Time : 0.0 sec. user=mdettweiler [2015-07-04 01:15:13] 695*2^1402122-1 is not prime. Res64: A84E53E376F0D3AE Time : 0.0 sec. user=mdettweiler [2015-07-04 01:21:31] 765*2^1402122-1 is not prime. Res64: FE4B1DA5746F8CC0 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:21:32] 791*2^1402122-1 is not prime. Res64: 738E443E7AAB04B1 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:21:32] 717*2^1402122-1 is not prime. Res64: 3A0AAB5AA6BBCB89 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:21:33] 725*2^1402122-1 is not prime. Res64: 5A190DE301E2124F Time : 0.0 sec. user=mdettweiler [2015-07-04 01:32:40] 797*2^1402122-1 is not prime. Res64: F1EF64506E9B467F Time : 0.0 sec. user=mdettweiler [2015-07-04 01:32:41] 801*2^1402122-1 is not prime. Res64: 36FDF225CB163DD6 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:38:53] 825*2^1402122-1 is not prime. Res64: 05241D7DC55A5CC5 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:38:54] 885*2^1402122-1 is not prime. Res64: D7E77EAE431A7E88 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:39:03] 751*2^1402123-1 is not prime. Res64: 6AB332BE6EA15D08 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:39:03] 805*2^1402123-1 is not prime. Res64: 5678E427A22C0A32 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:50:12] 895*2^1402123-1 is not prime. Res64: D155857ECB2F1289 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:50:12] 993*2^1402123-1 is not prime. Res64: 58CA101F7C25E0EE Time : 0.0 sec. user=mdettweiler [2015-07-04 01:56:19] 665*2^1402124-1 is not prime. Res64: 5EC0438FBB7AED1F Time : 0.0 sec. user=mdettweiler [2015-07-04 01:56:19] 743*2^1402124-1 is not prime. Res64: 0E696689CA77637D Time : 0.0 sec. user=mdettweiler [2015-07-04 01:56:30] 755*2^1402124-1 is not prime. Res64: 62E9928768D04325 Time : 0.0 sec. user=mdettweiler [2015-07-04 01:56:31] 837*2^1402124-1 is not prime. Res64: 4B3A9A7317A024CA Time : 0.0 sec. user=mdettweiler [2015-07-04 02:07:43] 935*2^1402124-1 is not prime. Res64: EA8DD4947F37F882 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:07:44] 657*2^1402125-1 is not prime. Res64: 09EE4A02AA0D4A81 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:13:42] 721*2^1402125-1 is not prime. Res64: BB1992C5B1EBEE50 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:13:43] 735*2^1402125-1 is not prime. Res64: E9C1588596048319 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:13:54] 781*2^1402125-1 is not prime. Res64: 87F06A416B69DA0C Time : 0.0 sec. user=mdettweiler [2015-07-04 02:13:55] 817*2^1402125-1 is not prime. Res64: 316793E4D8C8A456 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:25:08] 889*2^1402125-1 is not prime. Res64: A0FEF62E403A913A Time : 0.0 sec. user=mdettweiler [2015-07-04 02:25:09] 961*2^1402125-1 is not prime. Res64: E69870C0A4AC30CE Time : 0.0 sec. user=mdettweiler [2015-07-04 02:31:04] 969*2^1402125-1 is not prime. Res64: 6C2EE99B749294C8 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:31:05] 979*2^1402125-1 is not prime. Res64: 96FC941A5E908972 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:31:15] 635*2^1402126-1 is not prime. Res64: B3DFA34C620A4C62 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:31:16] 723*2^1402126-1 is not prime. Res64: C5D7FD2A7556E00E Time : 0.0 sec. user=mdettweiler [2015-07-04 02:42:34] 857*2^1402126-1 is not prime. Res64: 41506942A76DB5F5 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:42:35] 881*2^1402126-1 is not prime. Res64: 9A25B7D7910971E1 Time : 0.0 sec. user=juhehe [2015-07-04 02:45:54] 847*2^1402125-1 is not prime. Res64: 2D7618F90063816A Time : 0.0 sec. user=mdettweiler [2015-07-04 02:48:34] 621*2^1402127-1 is not prime. Res64: 8F5437B921A6F823 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:48:34] 649*2^1402127-1 is not prime. Res64: 58E6E2E96FBADF40 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:48:45] 685*2^1402127-1 is not prime. Res64: 62AA9F216F0AE166 Time : 0.0 sec. user=mdettweiler [2015-07-04 02:48:45] 735*2^1402127-1 is not prime. Res64: FC1E9BF8CD5DD7BF Time : 0.0 sec. user=mdettweiler [2015-07-04 03:00:02] 739*2^1402127-1 is not prime. Res64: D51AB3216EF6D5B8 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:00:03] 775*2^1402127-1 is not prime. Res64: CF62254370F3BDF8 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:05:55] 813*2^1402127-1 is not prime. Res64: B3268258DF5A799B Time : 0.0 sec. user=mdettweiler [2015-07-04 03:05:56] 879*2^1402127-1 is not prime. Res64: 765917938DDF3665 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:06:09] 981*2^1402127-1 is not prime. Res64: F953B2CE4B558355 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:06:09] 605*2^1402128-1 is not prime. Res64: 33B94D6B883A8473 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:17:27] 663*2^1402128-1 is not prime. Res64: 405DAE6E62EEAAC8 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:17:27] 725*2^1402128-1 is not prime. Res64: 58ACBB9FA4EACFD2 Time : 0.0 sec. user=S_K_ [2015-07-04 03:19:51] 971*2^1402126-1 is not prime. Res64: 5B75AD4247D1B548 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:23:18] 773*2^1402128-1 is not prime. Res64: 3DA9489E36E090A7 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:23:19] 819*2^1402128-1 is not prime. Res64: E7DB68E935198925 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:23:32] 639*2^1402129-1 is not prime. Res64: 3E47FBE7C05ED5E6 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:23:33] 661*2^1402129-1 is not prime. Res64: DEF43077BEAC30D3 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:34:52] 729*2^1402129-1 is not prime. Res64: 3E61EF01859A2C59 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:34:53] 861*2^1402129-1 is not prime. Res64: 8D7FBA66B4A337A0 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:40:40] 955*2^1402129-1 is not prime. Res64: 2BB1B6D83C2C5C0C Time : 0.0 sec. user=mdettweiler [2015-07-04 03:40:41] 985*2^1402129-1 is not prime. Res64: 29DDE9E31C2FF43D Time : 0.0 sec. user=mdettweiler [2015-07-04 03:40:57] 675*2^1402130-1 is not prime. Res64: 6461ECB567614B1D Time : 0.0 sec. user=mdettweiler [2015-07-04 03:40:59] 701*2^1402130-1 is not prime. Res64: B6440D4F1B7ACAD6 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:52:41] 833*2^1402130-1 is not prime. Res64: 079FE212BA61B0CF Time : 0.0 sec. user=mdettweiler [2015-07-04 03:52:41] 875*2^1402130-1 is not prime. Res64: 15FC5A16D79AD73F Time : 0.0 sec. user=mdettweiler [2015-07-04 03:58:15] 945*2^1402130-1 is not prime. Res64: 28391D5C92BC7DE2 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:58:16] 613*2^1402131-1 is not prime. Res64: 9A57AA5504A5146B Time : 0.0 sec. user=mdettweiler [2015-07-04 03:58:22] 615*2^1402131-1 is not prime. Res64: 903E112180286432 Time : 0.0 sec. user=mdettweiler [2015-07-04 03:58:22] 675*2^1402131-1 is not prime. Res64: 2DE7D7A56A2FD70A Time : 0.0 sec. user=mdettweiler [2015-07-04 04:10:07] 769*2^1402131-1 is not prime. Res64: 423888B1B64B1C4A Time : 0.0 sec. user=mdettweiler [2015-07-04 04:10:07] 775*2^1402131-1 is not prime. Res64: E8F3790E46C43432 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:15:36] 859*2^1402131-1 is not prime. Res64: A2B7D4A1F2252B11 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:15:37] 891*2^1402131-1 is not prime. Res64: 1586B45F666CBDB8 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:15:45] 901*2^1402131-1 is not prime. Res64: 7489ED79F3A366C3 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:15:45] 951*2^1402131-1 is not prime. Res64: 9602A545DD00063E Time : 0.0 sec. user=mdettweiler [2015-07-04 04:27:29] 991*2^1402131-1 is not prime. Res64: EE8280BAD2EDE479 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:27:30] 657*2^1402132-1 is not prime. Res64: 99C499891E9405B8 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:32:58] 903*2^1402132-1 is not prime. Res64: DF816CE738B94A03 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:32:59] 995*2^1402132-1 is not prime. Res64: E779670FFC6A7D54 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:33:07] 657*2^1402133-1 is not prime. Res64: 9A29B33AD1154E7D Time : 0.0 sec. user=mdettweiler [2015-07-04 04:33:07] 697*2^1402133-1 is not prime. Res64: F58CF6E40CB2FFFF Time : 0.0 sec. user=mdettweiler [2015-07-04 04:44:51] 969*2^1402133-1 is not prime. Res64: B0F23A1E45FC0704 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:44:51] 621*2^1402134-1 is not prime. Res64: BEEF001F5DCDFB1D Time : 0.0 sec. user=juhehe [2015-07-04 04:49:46] 855*2^1402132-1 is not prime. Res64: 314DB0F76DBFB6A4 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:50:20] 663*2^1402134-1 is not prime. Res64: 3BAB0EC47FA034E2 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:50:21] 711*2^1402134-1 is not prime. Res64: CC0D1CD74B966686 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:50:28] 795*2^1402134-1 is not prime. Res64: 0FEF256C786BCCE1 Time : 0.0 sec. user=mdettweiler [2015-07-04 04:50:29] 833*2^1402134-1 is not prime. Res64: 39DC9900F6B85DC7 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:02:13] 873*2^1402134-1 is not prime. Res64: D1712DB25C191871 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:02:14] 903*2^1402134-1 is not prime. Res64: 4CBD70FAA0AE4796 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:07:41] 971*2^1402134-1 is not prime. Res64: 42EE236B7DCF59B8 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:07:42] 645*2^1402135-1 is not prime. Res64: 1D3C28501B4A7E48 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:07:50] 651*2^1402135-1 is not prime. Res64: D192FEF9A255ED26 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:07:50] 873*2^1402135-1 is not prime. Res64: F589CB3DD884E4E0 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:19:50] 925*2^1402135-1 is not prime. Res64: DEABB8EBF3F7BB85 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:19:50] 629*2^1402136-1 is not prime. Res64: 6841320E2939D30C Time : 0.0 sec. user=mdettweiler [2015-07-04 05:25:07] 693*2^1402136-1 is not prime. Res64: EAEC2A47123E5C24 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:25:07] 785*2^1402136-1 is not prime. Res64: 7750FB77CDA9BCF6 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:25:11] 825*2^1402136-1 is not prime. Res64: 1B37839F640ED60F Time : 0.0 sec. user=mdettweiler [2015-07-04 05:25:11] 855*2^1402136-1 is not prime. Res64: B25B85D5BF3EF591 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:37:10] 957*2^1402136-1 is not prime. Res64: 4B3AA4858B7546F5 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:37:11] 717*2^1402137-1 is not prime. Res64: 55A46ABD599D56A5 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:42:28] 741*2^1402137-1 is not prime. Res64: 26F43CC999902325 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:42:28] 819*2^1402137-1 is not prime. Res64: 7EED1A6D360DC719 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:42:32] 847*2^1402137-1 is not prime. Res64: DE20A896D07333A7 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:42:32] 979*2^1402137-1 is not prime. Res64: FF1DE923CBAC3461 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:54:31] 997*2^1402137-1 is not prime. Res64: 997F49849B6C9120 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:54:32] 605*2^1402138-1 is not prime. Res64: 953F934AB4A0FD4F Time : 0.0 sec. user=mdettweiler [2015-07-04 05:59:49] 635*2^1402138-1 is not prime. Res64: 852933CA96933B5A Time : 0.0 sec. user=mdettweiler [2015-07-04 05:59:50] 647*2^1402138-1 is not prime. Res64: BE8E5307060A7297 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:59:53] 681*2^1402138-1 is not prime. Res64: 8865E403DA905DB7 Time : 0.0 sec. user=mdettweiler [2015-07-04 05:59:53] 705*2^1402138-1 is not prime. Res64: 564906BAE37411A7 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:11:54] 773*2^1402138-1 is not prime. Res64: 85FB144E4751FAC7 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:11:54] 881*2^1402138-1 is not prime. Res64: C972CF9A4E4D36C7 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:17:10] 745*2^1402139-1 is not prime. Res64: D10F28EEBAAA5DAD Time : 0.0 sec. user=mdettweiler [2015-07-04 06:17:11] 813*2^1402139-1 is not prime. Res64: FB83BF64279287C1 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:17:13] 895*2^1402139-1 is not prime. Res64: ED87FBE2FAD09352 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:17:14] 999*2^1402139-1 is not prime. Res64: 287DAE61C3102F63 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:29:15] 789*2^1402140-1 is not prime. Res64: 3A4A4EC9C4CF142B Time : 0.0 sec. user=mdettweiler [2015-07-04 06:29:15] 959*2^1402140-1 is not prime. Res64: DA1033E6905D1175 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:34:31] 999*2^1402140-1 is not prime. Res64: FFCB0B5ED21B871D Time : 0.0 sec. user=mdettweiler [2015-07-04 06:34:31] 619*2^1402141-1 is not prime. Res64: EA098EBCF9C4F585 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:34:34] 625*2^1402141-1 is not prime. Res64: 370555D9A53EDD3F Time : 0.0 sec. user=mdettweiler [2015-07-04 06:34:34] 675*2^1402141-1 is not prime. Res64: FDBE84E3FD219BA4 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:46:36] 691*2^1402141-1 is not prime. Res64: D345B8FAAB6BD3AC Time : 0.0 sec. user=mdettweiler [2015-07-04 06:46:37] 769*2^1402141-1 is not prime. Res64: 97315F0F606254D1 Time : 0.0 sec. user=juhehe [2015-07-04 06:47:36] 717*2^1402140-1 is not prime. Res64: 50BAA5E93D8492F0 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:51:52] 825*2^1402141-1 is not prime. Res64: 41F2AA10F07429C9 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:51:53] 829*2^1402141-1 is not prime. Res64: D0A730F13F712C96 Time : 0.0 sec. user=mdettweiler [2015-07-04 06:51:58] 927*2^1402141-1 is not prime. Res64: 0C300BB0253E1B0D Time : 0.0 sec. user=mdettweiler [2015-07-04 06:51:58] 657*2^1402142-1 is not prime. Res64: A458116BC14C4EB7 Time : 0.0 sec. user=S_K_ [2015-07-04 06:53:01] 875*2^1402136-1 is not prime. Res64: F72112B7015CAF3B Time : 0.0 sec. user=mdettweiler [2015-07-04 07:04:02] 665*2^1402142-1 is not prime. Res64: D61AF3F3D31FEC0F Time : 0.0 sec. user=mdettweiler [2015-07-04 07:04:04] 767*2^1402142-1 is not prime. Res64: 0824F37E7DF87CFD Time : 0.0 sec. user=mdettweiler [2015-07-04 07:09:14] 825*2^1402142-1 is not prime. Res64: 295FFFF36769D11A Time : 0.0 sec. user=mdettweiler [2015-07-04 07:09:15] 945*2^1402142-1 is not prime. Res64: 76B80AFD1DD819C0 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:09:24] 685*2^1402143-1 is not prime. Res64: 73BD63BB81D2B42D Time : 0.0 sec. user=mdettweiler [2015-07-04 07:09:25] 751*2^1402143-1 is not prime. Res64: BC14BAC22C3F7ECD Time : 0.0 sec. user=mdettweiler [2015-07-04 07:21:48] 763*2^1402143-1 is not prime. Res64: 5317EEA048C600DD Time : 0.0 sec. user=mdettweiler [2015-07-04 07:21:49] 783*2^1402143-1 is not prime. Res64: A03DBE4D83773831 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:26:37] 813*2^1402144-1 is not prime. Res64: 854B40052AA42629 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:26:38] 873*2^1402144-1 is not prime. Res64: 829C190D28FD1F81 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:26:52] 969*2^1402144-1 is not prime. Res64: 078A9C61D51A6784 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:26:52] 975*2^1402144-1 is not prime. Res64: C212EC33FC9AEE68 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:39:11] 989*2^1402144-1 is not prime. Res64: 10B57D4B1D4AA789 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:39:12] 657*2^1402145-1 is not prime. Res64: B3143BF8D38A52C2 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:43:58] 697*2^1402145-1 is not prime. Res64: 78D835383E30A4EC Time : 0.0 sec. user=mdettweiler [2015-07-04 07:43:58] 759*2^1402145-1 is not prime. Res64: 0FD10B2C90E963C4 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:44:12] 841*2^1402145-1 is not prime. Res64: 228F4F89CF3EA146 Time : 0.0 sec. user=mdettweiler [2015-07-04 07:44:13] 871*2^1402145-1 is not prime. Res64: 250D9005EF83CA6B Time : 0.0 sec. user=mdettweiler [2015-07-04 07:56:34] 885*2^1402145-1 is not prime. Res64: 8EF35235E96BCCDA Time : 0.0 sec. user=mdettweiler [2015-07-04 07:56:34] 889*2^1402145-1 is not prime. Res64: C84F33037185DEA1 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:01:21] 925*2^1402145-1 is not prime. Res64: E381210AA12E522A Time : 0.0 sec. user=mdettweiler [2015-07-04 08:01:22] 683*2^1402146-1 is not prime. Res64: 635D5B3B48EB2ADC Time : 0.0 sec. user=mdettweiler [2015-07-04 08:01:34] 737*2^1402146-1 is not prime. Res64: E7DF24D83F6DD80A Time : 0.0 sec. user=mdettweiler [2015-07-04 08:01:35] 747*2^1402146-1 is not prime. Res64: CBEF99250CD7FF11 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:13:57] 923*2^1402146-1 is not prime. Res64: B15155A28FB14C06 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:13:58] 933*2^1402146-1 is not prime. Res64: 90CBD59333E91791 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:18:45] 603*2^1402147-1 is not prime. Res64: DAED82B851116A93 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:18:46] 663*2^1402147-1 is not prime. Res64: 80383633268F3101 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:19:00] 733*2^1402147-1 is not prime. Res64: 025078169E74F401 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:19:01] 735*2^1402147-1 is not prime. Res64: 7301A43A35AB1B05 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:31:20] 859*2^1402147-1 is not prime. Res64: 9A1D7BA541C964BD Time : 0.0 sec. user=mdettweiler [2015-07-04 08:31:20] 951*2^1402147-1 is not prime. Res64: 8B1BECE5A2907153 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:36:06] 615*2^1402148-1 is not prime. Res64: 60F8E99A0A3DC3E3 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:36:07] 617*2^1402148-1 is not prime. Res64: 69517785D0F90D8C Time : 0.0 sec. user=mdettweiler [2015-07-04 08:36:22] 845*2^1402148-1 is not prime. Res64: 51D1686DCB9B5E3C Time : 0.0 sec. user=mdettweiler [2015-07-04 08:36:23] 649*2^1402149-1 is not prime. Res64: 53BBB50F7CA578A1 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:48:42] 681*2^1402149-1 is not prime. Res64: C92EC331A9AD054D Time : 0.0 sec. user=mdettweiler [2015-07-04 08:48:43] 825*2^1402149-1 is not prime. Res64: B5FCB4474B0912CD Time : 0.0 sec. user=mdettweiler [2015-07-04 08:53:28] 889*2^1402149-1 is not prime. Res64: 4606C3F159C7FFBC Time : 0.0 sec. user=mdettweiler [2015-07-04 08:53:28] 987*2^1402149-1 is not prime. Res64: DA3B3CEE34E8EE10 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:53:48] 653*2^1402150-1 is not prime. Res64: 3E7A65824AF837D0 Time : 0.0 sec. user=mdettweiler [2015-07-04 08:53:49] 741*2^1402150-1 is not prime. Res64: 83514A66BA187AA9 Time : 0.0 sec. user=juhehe [2015-07-04 09:00:56] 973*2^1402147-1 is not prime. Res64: FB91B7F13B5835B0 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:06:17] 755*2^1402150-1 is not prime. Res64: 0649B10C6439B90C Time : 0.0 sec. user=mdettweiler [2015-07-04 09:06:19] 791*2^1402150-1 is not prime. Res64: B1B016FFE828C301 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:11:01] 873*2^1402150-1 is not prime. Res64: 74AE18C7EDE3CED3 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:11:02] 915*2^1402150-1 is not prime. Res64: 83AD0ED66B5E69D9 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:11:22] 987*2^1402150-1 is not prime. Res64: 62DCBC0CB5EF67BB Time : 0.0 sec. user=mdettweiler [2015-07-04 09:11:22] 741*2^1402151-1 is not prime. Res64: D4F91F6239155C46 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:24:05] 783*2^1402151-1 is not prime. Res64: C306E9B4DF736341 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:24:05] 913*2^1402151-1 is not prime. Res64: F34DA27B62CA21A4 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:28:26] 945*2^1402151-1 is not prime. Res64: EE4D27D6C17B0576 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:28:27] 627*2^1402152-1 is not prime. Res64: B55578E7F167BF3D Time : 0.0 sec. user=mdettweiler [2015-07-04 09:28:50] 629*2^1402152-1 is not prime. Res64: C46595931F1B268A Time : 0.0 sec. user=mdettweiler [2015-07-04 09:28:50] 653*2^1402152-1 is not prime. Res64: 53BCBCDCBF7ED593 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:41:26] 767*2^1402152-1 is not prime. Res64: D40D48DD15FD8341 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:41:27] 903*2^1402152-1 is not prime. Res64: 67A2D40BDA6A1122 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:45:48] 615*2^1402153-1 is not prime. Res64: E45F177A72E4E37F Time : 0.0 sec. user=mdettweiler [2015-07-04 09:45:48] 651*2^1402153-1 is not prime. Res64: 9EE5E7A9B7029798 Time : 0.0 sec. user=mdettweiler [2015-07-04 09:46:13] 747*2^1402153-1 is not prime. Res64: EFCA7A92CFBD549C Time : 0.0 sec. user=mdettweiler [2015-07-04 09:46:13] 877*2^1402153-1 is not prime. Res64: 49C7743B3B949C0E Time : 0.0 sec. user=mdettweiler [2015-07-04 09:58:47] 925*2^1402153-1 is not prime. Res64: 1AA81FCB951350CD Time : 0.0 sec. user=mdettweiler [2015-07-04 09:58:48] 957*2^1402153-1 is not prime. Res64: 864A3D27924D44A8 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:03:09] 985*2^1402153-1 is not prime. Res64: 802C2197B1D81D95 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:03:10] 987*2^1402153-1 is not prime. Res64: 2C0FC75E5FBE7250 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:03:35] 731*2^1402154-1 is not prime. Res64: 3D4D722A0201E3EC Time : 0.0 sec. user=mdettweiler [2015-07-04 10:03:37] 831*2^1402154-1 is not prime. Res64: A5C1B3B0F1F06327 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:16:10] 735*2^1402155-1 is not prime. Res64: 8455258109613551 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:16:11] 829*2^1402155-1 is not prime. Res64: 58BF17C8E9D7DBA5 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:20:45] 615*2^1402156-1 is not prime. Res64: A0A099872F2D9AAE Time : 0.0 sec. user=mdettweiler [2015-07-04 10:20:45] 647*2^1402156-1 is not prime. Res64: 2C939C1D870CBDCC Time : 0.0 sec. user=mdettweiler [2015-07-04 10:21:02] 707*2^1402156-1 is not prime. Res64: D3321E55578A26F5 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:21:02] 717*2^1402156-1 is not prime. Res64: 8C8ADDD3D5D50005 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:33:35] 743*2^1402156-1 is not prime. Res64: 062C19B677197CA1 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:33:36] 803*2^1402156-1 is not prime. Res64: EAA2B2F5152F04DD Time : 0.0 sec. user=mdettweiler [2015-07-04 10:38:10] 843*2^1402156-1 is not prime. Res64: 3D43A1702642EB74 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:38:11] 903*2^1402156-1 is not prime. Res64: E3B208673CA49FC8 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:38:27] 953*2^1402156-1 is not prime. Res64: 14E1E7966992B172 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:38:27] 651*2^1402157-1 is not prime. Res64: 21F9F1819BF90ED0 Time : 0.0 sec. user=juhehe [2015-07-04 10:39:40] 873*2^1402154-1 is not prime. Res64: DDD6C11E1EA04704 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:51:09] 859*2^1402157-1 is not prime. Res64: 5DB7C5C9499D47C5 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:51:10] 915*2^1402157-1 is not prime. Res64: ACB6AC008C60EEA4 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:55:41] 981*2^1402157-1 is not prime. Res64: EA3A573B91534F23 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:55:42] 725*2^1402158-1 is not prime. Res64: 81C1776914ECD2F6 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:55:57] 755*2^1402158-1 is not prime. Res64: 3D463612B0848AC1 Time : 0.0 sec. user=mdettweiler [2015-07-04 10:55:57] 777*2^1402158-1 is not prime. Res64: B2217C90E67078B1 Time : 0.0 sec. user=S_K_ [2015-07-04 11:03:32] 829*2^1402157-1 is not prime. Res64: 4C60A89B4F05C297 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:08:42] 875*2^1402158-1 is not prime. Res64: B620D8274DA1DDF3 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:08:42] 933*2^1402158-1 is not prime. Res64: 8DF8BC4B1EE3C3C3 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:13:14] 971*2^1402158-1 is not prime. Res64: 9A7E29020BE503B9 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:13:15] 993*2^1402158-1 is not prime. Res64: 8E27445BA706EC52 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:13:31] 639*2^1402159-1 is not prime. Res64: 094D0B76700E39DF Time : 0.0 sec. user=mdettweiler [2015-07-04 11:13:31] 769*2^1402159-1 is not prime. Res64: 9D9146594F0243E2 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:27:13] 919*2^1402159-1 is not prime. Res64: 1B848FB6F25370CE Time : 0.0 sec. user=mdettweiler [2015-07-04 11:27:13] 985*2^1402159-1 is not prime. Res64: 8285316F347F513E Time : 0.0 sec. user=mdettweiler [2015-07-04 11:31:46] 609*2^1402160-1 is not prime. Res64: 2FBE90F3E1FE9DFE Time : 0.0 sec. user=mdettweiler [2015-07-04 11:31:46] 717*2^1402160-1 is not prime. Res64: EA4540E0CE7FE718 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:31:59] 729*2^1402160-1 is not prime. Res64: D3ABCAB531E14FFD Time : 0.0 sec. user=mdettweiler [2015-07-04 11:31:59] 755*2^1402160-1 is not prime. Res64: D66A903A0F1834B7 Time : 0.0 sec. user=S_K_ [2015-07-04 11:39:58] 861*2^1402159-1 is not prime. Res64: 6E5AC44C8AA51823 Time : 0.0 sec. user=juhehe [2015-07-04 11:44:19] 793*2^1402159-1 is not prime. Res64: 32E54B35247C1323 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:45:13] 929*2^1402160-1 is not prime. Res64: 6F3F789B65E41A7C Time : 0.0 sec. user=mdettweiler [2015-07-04 11:45:14] 607*2^1402161-1 is not prime. Res64: C82ECA7D99DEBCF3 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:50:01] 615*2^1402161-1 is not prime. Res64: CF853681550DB1A9 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:50:02] 651*2^1402161-1 is not prime. Res64: 6B058679A6012986 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:50:19] 705*2^1402161-1 is not prime. Res64: 781155806C725BA8 Time : 0.0 sec. user=mdettweiler [2015-07-04 11:50:20] 907*2^1402161-1 is not prime. Res64: D04EA489DB716FBD Time : 0.0 sec. user=mdettweiler [2015-07-04 12:03:28] 653*2^1402162-1 is not prime. Res64: 0E6E3FBF49B99B8E Time : 0.0 sec. user=mdettweiler [2015-07-04 12:03:29] 713*2^1402162-1 is not prime. Res64: 308CB35BE2C874EA Time : 0.0 sec. user=mdettweiler [2015-07-04 12:08:02] 741*2^1402162-1 is not prime. Res64: 391E2C866AD2CB92 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:08:03] 777*2^1402162-1 is not prime. Res64: AD86332619E7DF52 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:08:21] 843*2^1402162-1 is not prime. Res64: D8B96B7A887AC51D Time : 0.0 sec. user=mdettweiler [2015-07-04 12:08:23] 917*2^1402162-1 is not prime. Res64: 6D1060C164321728 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:21:30] 621*2^1402163-1 is not prime. Res64: EF9FAFCB30D949B5 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:21:31] 675*2^1402163-1 is not prime. Res64: 0BA8F356AED982E2 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:26:04] 901*2^1402163-1 is not prime. Res64: C0C0C2E0BFF508E1 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:26:04] 943*2^1402163-1 is not prime. Res64: B4E095AE36B3AABF Time : 0.0 sec. user=mdettweiler [2015-07-04 12:26:08] 969*2^1402163-1 is not prime. Res64: 8FC2EED08DFAA4CF Time : 0.0 sec. user=mdettweiler [2015-07-04 12:26:09] 981*2^1402163-1 is not prime. Res64: C260A2E4EF166F67 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:39:39] 789*2^1402164-1 is not prime. Res64: 92EFBFC9B86FBCB5 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:39:39] 863*2^1402164-1 is not prime. Res64: 7B9DEB90A148392F Time : 0.0 sec. user=mdettweiler [2015-07-04 12:44:27] 905*2^1402164-1 is not prime. Res64: 7918E22D76E5498D Time : 0.0 sec. user=mdettweiler [2015-07-04 12:44:27] 969*2^1402164-1 is not prime. Res64: FCFDFA7C07ACB20A Time : 0.0 sec. user=mdettweiler [2015-07-04 12:44:32] 993*2^1402164-1 is not prime. Res64: 4741AA3DE5B2B144 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:44:32] 651*2^1402165-1 is not prime. Res64: 1EEEC345423D0915 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:57:34] 691*2^1402165-1 is not prime. Res64: B578567C6098B5C5 Time : 0.0 sec. user=mdettweiler [2015-07-04 12:57:34] 717*2^1402165-1 is not prime. Res64: DAF534105890CCDF Time : 0.0 sec. user=juhehe [2015-07-04 12:59:24] 693*2^1402164-1 is not prime. Res64: 75E2EF156A0F643D Time : 0.0 sec. user=mdettweiler [2015-07-04 13:02:16] 727*2^1402165-1 is not prime. Res64: 9AEC81829B8D4CAA Time : 0.0 sec. user=mdettweiler [2015-07-04 13:02:17] 729*2^1402165-1 is not prime. Res64: 8F9603679EC790AC Time : 0.0 sec. user=mdettweiler [2015-07-04 13:02:23] 799*2^1402165-1 is not prime. Res64: C052E8A00FCEB117 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:02:24] 811*2^1402165-1 is not prime. Res64: 907973C9987906E4 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:22:27] 615*2^1402166-1 is not prime. Res64: B44E17AFA42C80C2 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:22:27] 635*2^1402166-1 is not prime. Res64: 86D7EE5472674EE6 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:29:29] 843*2^1402166-1 is not prime. Res64: EBCE868296099A59 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:29:30] 851*2^1402166-1 is not prime. Res64: EF1F52542D345FB1 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:29:40] 671*2^1402166-1 is not prime. Res64: 69598E072DC6358F Time : 0.0 sec. user=mdettweiler [2015-07-04 13:29:40] 677*2^1402166-1 is not prime. Res64: C5BD67BE8728AF56 Time : 0.0 sec. user=S_K_ [2015-07-04 13:30:51] 877*2^1402165-1 is not prime. Res64: C8E82B65F1789AF9 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:49:30] 893*2^1402166-1 is not prime. Res64: 30C132C9B243D22E Time : 0.0 sec. user=mdettweiler [2015-07-04 13:49:31] 935*2^1402166-1 is not prime. Res64: 24F53264AFB369BC Time : 0.0 sec. user=mdettweiler [2015-07-04 13:56:51] 981*2^1402166-1 is not prime. Res64: 687A385F399EA9B8 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:56:51] 693*2^1402167-1 is not prime. Res64: 98CF686609DE5E40 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:57:00] 703*2^1402167-1 is not prime. Res64: 168E6F9086947023 Time : 0.0 sec. user=mdettweiler [2015-07-04 13:57:00] 793*2^1402167-1 is not prime. Res64: 2F8532FE5A99987D Time : 0.0 sec. user=mdettweiler [2015-07-04 14:10:23] 823*2^1402167-1 is not prime. Res64: 6E03AC90B68A4845 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:10:23] 961*2^1402167-1 is not prime. Res64: 63D6DB428350A4F8 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:15:06] 991*2^1402167-1 is not prime. Res64: F9C4F2215C0159C3 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:15:06] 615*2^1402168-1 is not prime. Res64: 7E696B5EFE18F6B0 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:15:09] 617*2^1402168-1 is not prime. Res64: 6DE7BE3524CE58D1 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:15:09] 677*2^1402168-1 is not prime. Res64: 7AF0E8AAA22147AA Time : 0.0 sec. user=mdettweiler [2015-07-04 14:28:10] 707*2^1402168-1 is not prime. Res64: B90290BC2459E02A Time : 0.0 sec. user=mdettweiler [2015-07-04 14:28:11] 777*2^1402168-1 is not prime. Res64: 099D09C92FFD7CFB Time : 0.0 sec. user=mdettweiler [2015-07-04 14:32:51] 845*2^1402168-1 is not prime. Res64: 36D1439B038CAF2F Time : 0.0 sec. user=mdettweiler [2015-07-04 14:32:52] 933*2^1402168-1 is not prime. Res64: 147D550A737F7F02 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:32:53] 957*2^1402168-1 is not prime. Res64: 62B98F1062FA188A Time : 0.0 sec. user=mdettweiler [2015-07-04 14:32:54] 959*2^1402168-1 is not prime. Res64: B9086FC6042A2867 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:46:04] 989*2^1402168-1 is not prime. Res64: E78952B8B291F1A9 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:46:04] 995*2^1402168-1 is not prime. Res64: F7A22B699A801D40 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:50:45] 631*2^1402169-1 is not prime. Res64: A44515E52214EEF5 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:50:45] 679*2^1402169-1 is not prime. Res64: 19D6DFD8D4EF19C0 Time : 0.0 sec. user=mdettweiler [2015-07-04 14:50:46] 675*2^1402169-1 is not prime. Res64: AF7966D24346F36B Time : 0.0 sec. user=mdettweiler [2015-07-04 14:50:46] 735*2^1402169-1 is not prime. Res64: 6D63838E3EA4D68B Time : 0.0 sec. user=mdettweiler [2015-07-04 15:03:33] 747*2^1402169-1 is not prime. Res64: 4ECBB41015634E12 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:03:34] 811*2^1402169-1 is not prime. Res64: D861DA9E8D7D06E5 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:08:09] 879*2^1402169-1 is not prime. Res64: 397C3949F5AA4B8F Time : 0.0 sec. user=mdettweiler [2015-07-04 15:08:10] 651*2^1402170-1 is not prime. Res64: B14F6D734698D39E Time : 0.0 sec. user=mdettweiler [2015-07-04 15:08:10] 909*2^1402169-1 is not prime. Res64: 081D5D881151CE6A Time : 0.0 sec. user=mdettweiler [2015-07-04 15:08:10] 725*2^1402170-1 is not prime. Res64: 5D10AF18718F71D2 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:21:13] 873*2^1402170-1 is not prime. Res64: A3D58AE3374BD30C Time : 0.0 sec. user=mdettweiler [2015-07-04 15:21:13] 625*2^1402171-1 is not prime. Res64: 0ADB3597F597E64E Time : 0.0 sec. user=mdettweiler [2015-07-04 15:25:44] 639*2^1402171-1 is not prime. Res64: 069812DF6291CAC8 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:25:44] 745*2^1402171-1 is not prime. Res64: 190A548B0C157623 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:25:44] 751*2^1402171-1 is not prime. Res64: 5C990FA5F06FD823 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:25:45] 805*2^1402171-1 is not prime. Res64: 3D6A7ADB3899DCB5 Time : 0.0 sec. user=juhehe [2015-07-04 15:38:47] 837*2^1402169-1 is not prime. Res64: A3986CC4AC3F3676 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:39:01] 859*2^1402171-1 is not prime. Res64: D90D5DC9CD5DFCD3 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:39:02] 873*2^1402171-1 is not prime. Res64: 4E11A19023363197 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:43:34] 901*2^1402171-1 is not prime. Res64: CFEE32EB40A009FC Time : 0.0 sec. user=mdettweiler [2015-07-04 15:43:34] 973*2^1402171-1 is not prime. Res64: E214AD6D048BFC5D Time : 0.0 sec. user=mdettweiler [2015-07-04 15:43:38] 979*2^1402171-1 is not prime. Res64: 6EC25E3A2CBBF581 Time : 0.0 sec. user=mdettweiler [2015-07-04 15:43:38] 675*2^1402172-1 is not prime. Res64: 1B46A85F9A2CE16B Time : 0.0 sec. user=mdettweiler [2015-07-04 15:56:53] 677*2^1402172-1 is not prime. Res64: 9BF401A7A228487D Time : 0.0 sec. user=mdettweiler [2015-07-04 15:56:53] 767*2^1402172-1 is not prime. Res64: EA84A09D3A3C4F1F Time : 0.0 sec. user=mdettweiler [2015-07-04 16:01:29] 855*2^1402172-1 is not prime. Res64: 2C6239F57BA88F8F Time : 0.0 sec. user=mdettweiler [2015-07-04 16:01:30] 987*2^1402172-1 is not prime. Res64: D9024A8DD503C44C Time : 0.0 sec. user=mdettweiler [2015-07-04 16:01:34] 699*2^1402173-1 is not prime. Res64: 08864C1DE725F1A5 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:01:36] 745*2^1402173-1 is not prime. Res64: 5CDA5EB1C6FE0FDE Time : 0.0 sec. user=mdettweiler [2015-07-04 16:14:29] 871*2^1402173-1 is not prime. Res64: 9A5F7AF76A3EB826 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:14:29] 915*2^1402173-1 is not prime. Res64: F5990678E05E48A4 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:19:03] 945*2^1402173-1 is not prime. Res64: 8A29EDD57105D325 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:19:04] 991*2^1402173-1 is not prime. Res64: 471D17B6A978CD8F Time : 0.0 sec. user=mdettweiler [2015-07-04 16:19:05] 831*2^1402174-1 is not prime. Res64: 9E7FFF33D40131A1 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:19:05] 917*2^1402174-1 is not prime. Res64: D944881656D4ED51 Time : 0.0 sec. user=S_K_ [2015-07-04 16:25:12] 751*2^1402173-1 is not prime. Res64: 63D4EDDCB7D9C399 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:32:09] 923*2^1402174-1 is not prime. Res64: 1325663C513855F4 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:32:10] 941*2^1402174-1 is not prime. Res64: A0E1D16B2C31CB38 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:36:42] 945*2^1402174-1 is not prime. Res64: 3D3955EF5FF2D04C Time : 0.0 sec. user=mdettweiler [2015-07-04 16:36:42] 975*2^1402174-1 is not prime. Res64: 9CAF733475F0ABFF Time : 0.0 sec. user=mdettweiler [2015-07-04 16:36:42] 763*2^1402175-1 is not prime. Res64: 544670D462D29BFD Time : 0.0 sec. user=mdettweiler [2015-07-04 16:36:42] 799*2^1402175-1 is not prime. Res64: 5DD52E9AA6E0ECE8 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:49:53] 885*2^1402175-1 is not prime. Res64: C75203D034E3273E Time : 0.0 sec. user=mdettweiler [2015-07-04 16:49:53] 921*2^1402175-1 is not prime. Res64: 891FEC25FE39514E Time : 0.0 sec. user=mdettweiler [2015-07-04 16:54:28] 983*2^1402176-1 is not prime. Res64: 70787D58CFCCAD6C Time : 0.0 sec. user=mdettweiler [2015-07-04 16:54:28] 999*2^1402176-1 is not prime. Res64: 11A0948FF48B9604 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:54:28] 609*2^1402177-1 is not prime. Res64: 265FFC648A678A48 Time : 0.0 sec. user=mdettweiler [2015-07-04 16:54:29] 685*2^1402177-1 is not prime. Res64: A1BF0B713D280273 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:07:32] 691*2^1402177-1 is not prime. Res64: CD91D65700B77DC8 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:07:32] 699*2^1402177-1 is not prime. Res64: E9F5698800625FAB Time : 0.0 sec. user=mdettweiler [2015-07-04 17:12:10] 937*2^1402177-1 is not prime. Res64: 7F0A1E9033096189 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:12:10] 747*2^1402177-1 is not prime. Res64: 7C73830167B5C74B Time : 0.0 sec. user=mdettweiler [2015-07-04 17:12:10] 955*2^1402177-1 is not prime. Res64: 5E9AD23D11A2FFFB Time : 0.0 sec. user=mdettweiler [2015-07-04 17:12:10] 765*2^1402177-1 is not prime. Res64: C4DB7E0879B07130 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:25:25] 603*2^1402178-1 is not prime. Res64: 1CB783BCD833C394 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:25:25] 617*2^1402178-1 is not prime. Res64: D54942CB1818107A Time : 0.0 sec. user=mdettweiler [2015-07-04 17:29:54] 671*2^1402178-1 is not prime. Res64: B93CF0449ECA5BC2 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:29:55] 831*2^1402178-1 is not prime. Res64: C74105B6140EAC8B Time : 0.0 sec. user=mdettweiler [2015-07-04 17:29:56] 845*2^1402178-1 is not prime. Res64: 085A363EBDA9FAD1 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:29:57] 875*2^1402178-1 is not prime. Res64: 40235507D19F3DF8 Time : 0.0 sec. user=juhehe [2015-07-04 17:33:42] 999*2^1402175-1 is not prime. Res64: 6EE1D491E526D893 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:42:52] 911*2^1402178-1 is not prime. Res64: A8A553FE51814888 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:42:52] 945*2^1402178-1 is not prime. Res64: D3A3BDA86A15006B Time : 0.0 sec. user=mdettweiler [2015-07-04 17:47:21] 971*2^1402178-1 is not prime. Res64: 6B92B4C6111DF136 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:47:21] 995*2^1402178-1 is not prime. Res64: BC791A942B6C093F Time : 0.0 sec. user=mdettweiler [2015-07-04 17:47:23] 675*2^1402179-1 is not prime. Res64: 062AFB68886A8D68 Time : 0.0 sec. user=mdettweiler [2015-07-04 17:47:23] 705*2^1402179-1 is not prime. Res64: 04B9B07EE51ADBB1 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:00:33] 721*2^1402179-1 is not prime. Res64: C664DBBF1A7459DD Time : 0.0 sec. user=mdettweiler [2015-07-04 18:00:33] 775*2^1402179-1 is not prime. Res64: 983A4CD0ED3A8A99 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:05:05] 647*2^1402180-1 is not prime. Res64: BBF0A8FF24BD730F Time : 0.0 sec. user=mdettweiler [2015-07-04 18:05:06] 819*2^1402180-1 is not prime. Res64: A9A23434AD5E6525 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:05:07] 979*2^1402179-1 is not prime. Res64: E399F2CC5E84F1E0 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:05:08] 985*2^1402179-1 is not prime. Res64: BB08E8E9E534820B Time : 0.0 sec. user=mdettweiler [2015-07-04 18:18:05] 827*2^1402180-1 is not prime. Res64: AC7125322984E489 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:18:05] 607*2^1402181-1 is not prime. Res64: 9B9135131528FF1F Time : 0.0 sec. user=mdettweiler [2015-07-04 18:22:32] 717*2^1402181-1 is not prime. Res64: ED9C882DF003DBC5 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:22:32] 735*2^1402181-1 is not prime. Res64: 6A1381143579D07D Time : 0.0 sec. user=mdettweiler [2015-07-04 18:22:34] 777*2^1402181-1 is not prime. Res64: 51844E97C7805EAD Time : 0.0 sec. user=mdettweiler [2015-07-04 18:22:35] 789*2^1402181-1 is not prime. Res64: 94CEB29C0D3FAA4B Time : 0.0 sec. user=mdettweiler [2015-07-04 18:35:31] 931*2^1402181-1 is not prime. Res64: 7286BB1826CF5A12 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:35:31] 677*2^1402182-1 is not prime. Res64: 6EA83C0B7701B60A Time : 0.0 sec. user=mdettweiler [2015-07-04 18:39:55] 737*2^1402182-1 is not prime. Res64: 61284321616A59FD Time : 0.0 sec. user=mdettweiler [2015-07-04 18:39:55] 801*2^1402182-1 is not prime. Res64: EEF68D745D11C156 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:39:58] 833*2^1402182-1 is not prime. Res64: 261C029AC083C75B Time : 0.0 sec. user=mdettweiler [2015-07-04 18:39:58] 639*2^1402183-1 is not prime. Res64: 521D6994CED451FA Time : 0.0 sec. user=S_K_ [2015-07-04 18:46:15] 633*2^1402178-1 is not prime. Res64: A3DD5D2683F9E4A8 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:52:54] 685*2^1402183-1 is not prime. Res64: 106DA2CBD721723E Time : 0.0 sec. user=mdettweiler [2015-07-04 18:52:55] 703*2^1402183-1 is not prime. Res64: 230D365EBFB3B5FD Time : 0.0 sec. user=mdettweiler [2015-07-04 18:57:17] 729*2^1402183-1 is not prime. Res64: 4096B4A2AFB5D75B Time : 0.0 sec. user=mdettweiler [2015-07-04 18:57:18] 735*2^1402183-1 is not prime. Res64: 620B66C86E001241 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:57:24] 805*2^1402183-1 is not prime. Res64: 87A7772AC37C2C58 Time : 0.0 sec. user=mdettweiler [2015-07-04 18:57:24] 813*2^1402183-1 is not prime. Res64: 00FE2D56CBA8FED6 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:10:17] 889*2^1402183-1 is not prime. Res64: F269B18E10EE15DA Time : 0.0 sec. user=mdettweiler [2015-07-04 19:10:17] 985*2^1402183-1 is not prime. Res64: DCA8C925712A42DD Time : 0.0 sec. user=mdettweiler [2015-07-04 19:14:41] 605*2^1402184-1 is not prime. Res64: D28832EF406EAADD Time : 0.0 sec. user=mdettweiler [2015-07-04 19:14:42] 617*2^1402184-1 is not prime. Res64: B30BEDE317D7EAE6 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:14:47] 857*2^1402184-1 is not prime. Res64: C27F18C4DF439733 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:14:47] 875*2^1402184-1 is not prime. Res64: 5F403120DD7B5640 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:27:42] 915*2^1402184-1 is not prime. Res64: 73AE7E8D181F83C8 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:27:42] 727*2^1402185-1 is not prime. Res64: 1C85CF33DBCA54A1 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:32:08] 787*2^1402185-1 is not prime. Res64: 1B8BFA8FC89DA800 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:32:08] 849*2^1402185-1 is not prime. Res64: C97CA0EF89183E97 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:32:09] 889*2^1402185-1 is not prime. Res64: 49E2DA3FD183EBF7 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:32:09] 949*2^1402185-1 is not prime. Res64: CF0DCBAEACD8BA52 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:45:06] 951*2^1402185-1 is not prime. Res64: 979FDF2AC3BBB9B4 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:45:06] 997*2^1402185-1 is not prime. Res64: 8D6E9EB676A80FA2 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:49:40] 813*2^1402186-1 is not prime. Res64: DA4984965D0B14F0 Time : 0.0 sec. user=mdettweiler [2015-07-04 19:49:40] 603*2^1402186-1 is not prime. Res64: BC1253A5A346D01E Time : 0.0 sec. user=mdettweiler [2015-07-04 19:49:40] 825*2^1402186-1 is not prime. Res64: BDC3D33F86A6000F Time : 0.0 sec. user=mdettweiler [2015-07-04 19:49:40] 675*2^1402186-1 is not prime. Res64: AFB9806AD7A9928B Time : 0.0 sec. user=mdettweiler [2015-07-04 20:02:59] 887*2^1402186-1 is not prime. Res64: 002BE993280A9F39 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:03:01] 891*2^1402186-1 is not prime. Res64: E4FB4C39E4D65508 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:07:31] 843*2^1402187-1 is not prime. Res64: F8B4ED089722CF52 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:07:31] 909*2^1402187-1 is not prime. Res64: D4EF5A5638ACDAE8 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:07:34] 945*2^1402187-1 is not prime. Res64: A92834B9EB931350 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:07:35] 955*2^1402187-1 is not prime. Res64: E936F55A67C1F38B Time : 0.0 sec. user=mdettweiler [2015-07-04 20:21:06] 669*2^1402188-1 is not prime. Res64: BD4D431BC1378682 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:21:06] 725*2^1402188-1 is not prime. Res64: 964BC8010578CD4C Time : 0.0 sec. user=mdettweiler [2015-07-04 20:25:24] 737*2^1402188-1 is not prime. Res64: DE539B955B4780DF Time : 0.0 sec. user=mdettweiler [2015-07-04 20:25:24] 945*2^1402188-1 is not prime. Res64: 082B9701ECAF9E16 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:25:31] 601*2^1402189-1 is not prime. Res64: DE61B9EC329D0B80 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:25:31] 615*2^1402189-1 is not prime. Res64: A719DB2F34E7F614 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:38:55] 687*2^1402189-1 is not prime. Res64: D5EF4637CE8116AB Time : 0.0 sec. user=mdettweiler [2015-07-04 20:38:56] 867*2^1402189-1 is not prime. Res64: 9704BBBB87691E81 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:43:07] 885*2^1402189-1 is not prime. Res64: F2AD93A6FD7BD991 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:43:08] 895*2^1402189-1 is not prime. Res64: B5CCF65F27066DFD Time : 0.0 sec. user=mdettweiler [2015-07-04 20:43:16] 925*2^1402189-1 is not prime. Res64: F1637EAE6A0381D1 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:43:17] 645*2^1402190-1 is not prime. Res64: EEABEE541FA961F5 Time : 0.0 sec. user=mdettweiler [2015-07-04 20:56:52] 713*2^1402190-1 is not prime. Res64: 3BDC1C50F276DC6A Time : 0.0 sec. user=mdettweiler [2015-07-04 20:56:52] 743*2^1402190-1 is not prime. Res64: 1DED6794C774B7D8 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:01:01] 801*2^1402190-1 is not prime. Res64: 41096375DFA7E20B Time : 0.0 sec. user=mdettweiler [2015-07-04 21:01:02] 827*2^1402190-1 is not prime. Res64: 45F0BD94140A51B8 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:01:10] 857*2^1402190-1 is not prime. Res64: 66933F563C888140 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:01:11] 917*2^1402190-1 is not prime. Res64: F1465C351C261BE6 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:14:51] 927*2^1402190-1 is not prime. Res64: 9E0CE0122890A83D Time : 0.0 sec. user=mdettweiler [2015-07-04 21:14:51] 981*2^1402190-1 is not prime. Res64: D4CF504275D0CACE Time : 0.0 sec. user=mdettweiler [2015-07-04 21:19:05] 679*2^1402191-1 is not prime. Res64: 6670ECAED46DF018 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:19:06] 705*2^1402191-1 is not prime. Res64: 0230D6D4656C8037 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:19:13] 745*2^1402191-1 is not prime. Res64: 848C89C155746A8B Time : 0.0 sec. user=mdettweiler [2015-07-04 21:19:14] 805*2^1402191-1 is not prime. Res64: 5F00EAAA097C4E73 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:32:39] 849*2^1402191-1 is not prime. Res64: 8C78AB50DCA39C77 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:32:39] 891*2^1402191-1 is not prime. Res64: 3A73F7BB287642C4 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:36:53] 975*2^1402191-1 is not prime. Res64: 7967D1849BFDB9A1 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:36:53] 665*2^1402192-1 is not prime. Res64: E6460080146B9E32 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:37:00] 803*2^1402192-1 is not prime. Res64: 8D3556F10350A6A4 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:37:00] 657*2^1402193-1 is not prime. Res64: BF9D4CAB59A0778E Time : 0.0 sec. user=mdettweiler [2015-07-04 21:50:37] 727*2^1402193-1 is not prime. Res64: A56C6A1DD56D1AA9 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:50:38] 769*2^1402193-1 is not prime. Res64: EA7C907F864A5F30 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:54:56] 775*2^1402193-1 is not prime. Res64: 6803A5E9985D99F3 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:54:56] 855*2^1402193-1 is not prime. Res64: B860D7B9D641F7C2 Time : 0.0 sec. user=mdettweiler [2015-07-04 21:55:03] 671*2^1402194-1 is not prime. Res64: F13A22A5FB38E31B Time : 0.0 sec. user=mdettweiler [2015-07-04 21:55:03] 717*2^1402194-1 is not prime. Res64: E90040F645A9E333 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:08:39] 783*2^1402194-1 is not prime. Res64: 5ABBEB246EEB6C81 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:08:39] 921*2^1402194-1 is not prime. Res64: 67A48E610F54D049 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:12:47] 645*2^1402195-1 is not prime. Res64: 7F1B2BB636E12000 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:12:47] 675*2^1402195-1 is not prime. Res64: CD0E896821E2D0C0 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:12:54] 723*2^1402195-1 is not prime. Res64: A39E8A27E97CD596 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:12:54] 733*2^1402195-1 is not prime. Res64: FDD51CE0314BBD4F Time : 0.0 sec. user=mdettweiler [2015-07-04 22:26:14] 819*2^1402195-1 is not prime. Res64: 84BA215E75ED1D6F Time : 0.0 sec. user=mdettweiler [2015-07-04 22:26:14] 913*2^1402195-1 is not prime. Res64: 451DF6BDE0449474 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:30:28] 951*2^1402195-1 is not prime. Res64: 36EA18B6FF09DC9A Time : 0.0 sec. user=mdettweiler [2015-07-04 22:30:29] 985*2^1402195-1 is not prime. Res64: 92774DD634619739 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:30:37] 603*2^1402196-1 is not prime. Res64: 81F9C25F912F75D6 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:30:38] 623*2^1402196-1 is not prime. Res64: 2E9117AB0DBF0916 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:43:50] 669*2^1402196-1 is not prime. Res64: 42322255A4F33DBB Time : 0.0 sec. user=mdettweiler [2015-07-04 22:43:51] 773*2^1402196-1 is not prime. Res64: 8568AA35D436E008 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:48:04] 785*2^1402196-1 is not prime. Res64: 24A748E4BF3326B0 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:48:04] 903*2^1402196-1 is not prime. Res64: CF7ACFF205DEA08A Time : 0.0 sec. user=mdettweiler [2015-07-04 22:48:12] 935*2^1402196-1 is not prime. Res64: 397B347E25457CF2 Time : 0.0 sec. user=mdettweiler [2015-07-04 22:48:13] 999*2^1402196-1 is not prime. Res64: 4E0236372D49EE62 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:01:26] 735*2^1402197-1 is not prime. Res64: A07DD687A409E709 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:01:26] 805*2^1402197-1 is not prime. Res64: 16EB14904438C836 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:05:42] 835*2^1402197-1 is not prime. Res64: 0A0A90FA4A527715 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:05:43] 949*2^1402197-1 is not prime. Res64: 1B86C61178153D4C Time : 0.0 sec. user=mdettweiler [2015-07-04 23:05:50] 621*2^1402198-1 is not prime. Res64: 2CAC9F94F899FB11 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:05:52] 671*2^1402198-1 is not prime. Res64: 5824DF89BC600ABE Time : 0.0 sec. user=S_K_ [2015-07-04 23:13:10] 741*2^1402195-1 is not prime. Res64: 8B72A57E195E1D81 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:19:41] 687*2^1402198-1 is not prime. Res64: AECDB439FBCA246B Time : 0.0 sec. user=mdettweiler [2015-07-04 23:19:42] 761*2^1402198-1 is not prime. Res64: 1469927DFEFBD9B6 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:23:51] 831*2^1402198-1 is not prime. Res64: 137E575FAB312CBF Time : 0.0 sec. user=mdettweiler [2015-07-04 23:23:51] 845*2^1402198-1 is not prime. Res64: D4CA4FA9E93377A7 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:23:55] 915*2^1402198-1 is not prime. Res64: 4E5095093CDF743C Time : 0.0 sec. user=mdettweiler [2015-07-04 23:23:55] 1001*2^1402198-1 is not prime. Res64: 66C254F9F8BCC8E2 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:37:24] 643*2^1402199-1 is not prime. Res64: 42A682487E808963 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:37:24] 859*2^1402199-1 is not prime. Res64: F068F1361613AC72 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:41:40] 861*2^1402199-1 is not prime. Res64: 0DEB1E7CCEE6007C Time : 0.0 sec. user=mdettweiler [2015-07-04 23:41:41] 921*2^1402199-1 is not prime. Res64: A3427E7238DE34B5 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:41:43] 931*2^1402199-1 is not prime. Res64: 60B1D763DF49B659 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:41:43] 623*2^1402200-1 is not prime. Res64: 0C8915344BAE58FC Time : 0.0 sec. user=mdettweiler [2015-07-04 23:55:48] 635*2^1402200-1 is not prime. Res64: 4D3C260385D4AB9A Time : 0.0 sec. user=mdettweiler [2015-07-04 23:55:48] 747*2^1402200-1 is not prime. Res64: E1438646BEABD96B Time : 0.0 sec. user=mdettweiler [2015-07-04 23:59:52] 771*2^1402201-1 is not prime. Res64: BBB27871EE11C41F Time : 0.0 sec. user=mdettweiler [2015-07-04 23:59:53] 807*2^1402201-1 is not prime. Res64: 2ED4FA8D12078E97 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:59:53] 789*2^1402200-1 is not prime. Res64: E2D19124540A01D2 Time : 0.0 sec. user=mdettweiler [2015-07-04 23:59:54] 607*2^1402201-1 is not prime. Res64: EFF075AC94E0ECAE Time : 0.0 sec.