user=mdettweiler [2015-10-20 00:11:41] 813*2^1412668-1 is not prime. Res64: C04E82932131E0D9 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:11:41] 827*2^1412668-1 is not prime. Res64: 77348F4930327B83 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:11:50] 969*2^1412668-1 is not prime. Res64: 4E662E8F0B304AE4 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:11:50] 999*2^1412668-1 is not prime. Res64: 5523D89F0D67FA35 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:12:04] 759*2^1412669-1 is not prime. Res64: 86499810C2DA1F9D Time : 0.0 sec. user=mdettweiler [2015-10-20 00:12:05] 627*2^1412670-1 is not prime. Res64: B60A859F7F22B709 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:12:49] 717*2^1412670-1 is not prime. Res64: 9BA938D09D488CE4 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:12:50] 887*2^1412670-1 is not prime. Res64: 266275BA4D9525D4 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:28] 961*2^1412671-1 is not prime. Res64: 3DCD00F6886E626D Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:28] 969*2^1412671-1 is not prime. Res64: 3E304F00E2D9DF9D Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:28] 601*2^1412671-1 is not prime. Res64: AEE2C32C9D941981 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:29] 895*2^1412671-1 is not prime. Res64: 4E23EC69390C06B8 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:50] 975*2^1412671-1 is not prime. Res64: 8ACDE8F2FF6D6F1A Time : 0.0 sec. user=mdettweiler [2015-10-20 00:29:50] 623*2^1412672-1 is not prime. Res64: 79E59AF3E65F3A17 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:30:33] 753*2^1412672-1 is not prime. Res64: BC370B90AF5CA98F Time : 0.0 sec. user=mdettweiler [2015-10-20 00:30:34] 815*2^1412672-1 is not prime. Res64: 660179173CB53002 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:15] 879*2^1412672-1 is not prime. Res64: 8E08D5E883016B32 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:16] 903*2^1412672-1 is not prime. Res64: B05DB2127249520B Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:19] 691*2^1412673-1 is not prime. Res64: 57B7265887140433 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:19] 781*2^1412673-1 is not prime. Res64: 4C4C0205A485783B Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:31] 807*2^1412673-1 is not prime. Res64: 68C5C0087D9FF269 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:47:31] 835*2^1412673-1 is not prime. Res64: 54B8472518A385F7 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:48:21] 849*2^1412673-1 is not prime. Res64: 062966F08FC7F454 Time : 0.0 sec. user=mdettweiler [2015-10-20 00:48:21] 871*2^1412673-1 is not prime. Res64: 06538D8B893710AD Time : 0.0 sec. user=mdettweiler [2015-10-20 01:04:56] 621*2^1412674-1 is not prime. Res64: ACB623590BD44DD9 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:04:58] 651*2^1412674-1 is not prime. Res64: 5CB36667369542A1 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:04:58] 675*2^1412674-1 is not prime. Res64: E41AEC8996BEEF49 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:04:59] 857*2^1412674-1 is not prime. Res64: 8ADCBD08A8EF62A5 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:05:14] 891*2^1412674-1 is not prime. Res64: D09D49942E457365 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:05:15] 923*2^1412674-1 is not prime. Res64: 481FD07DF9E900A8 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:06:02] 759*2^1412675-1 is not prime. Res64: 9A5593062EE8E9E6 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:06:02] 885*2^1412675-1 is not prime. Res64: E97FB9B43DBABF35 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:47] 903*2^1412676-1 is not prime. Res64: 46D3F57078879B2D Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:47] 639*2^1412677-1 is not prime. Res64: 75C7392D3D648C9F Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:56] 657*2^1412676-1 is not prime. Res64: 00F9AC24F1151141 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:57] 789*2^1412676-1 is not prime. Res64: F8261E58A446D3D2 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:58] 651*2^1412677-1 is not prime. Res64: 5955D2D775F920CB Time : 0.0 sec. user=mdettweiler [2015-10-20 01:22:58] 729*2^1412677-1 is not prime. Res64: 03EF24B424C957E3 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:23:42] 777*2^1412677-1 is not prime. Res64: 619444D8B913057E Time : 0.0 sec. user=mdettweiler [2015-10-20 01:23:42] 801*2^1412677-1 is not prime. Res64: C7A04E238A0A67BD Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:30] 867*2^1412677-1 is not prime. Res64: 0042B676ECB881FE Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:31] 895*2^1412677-1 is not prime. Res64: B756BFC4BBDA5A9D Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:37] 603*2^1412678-1 is not prime. Res64: 666F33B5F71DBB8C Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:37] 635*2^1412678-1 is not prime. Res64: 30498BA8AC844604 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:40] 897*2^1412677-1 is not prime. Res64: 3137E2619D0A61BB Time : 0.0 sec. user=mdettweiler [2015-10-20 01:40:40] 915*2^1412677-1 is not prime. Res64: 26D139BE989DCC20 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:41:31] 645*2^1412678-1 is not prime. Res64: 0A37851B6BFF6C6F Time : 0.0 sec. user=mdettweiler [2015-10-20 01:41:32] 687*2^1412678-1 is not prime. Res64: E14BC9C59B75222D Time : 0.0 sec. user=mdettweiler [2015-10-20 01:58:51] 977*2^1412678-1 is not prime. Res64: 331FA4F657C29178 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:58:51] 775*2^1412679-1 is not prime. Res64: 98AC50BB6F6A8D49 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:59:20] 861*2^1412679-1 is not prime. Res64: F767ACB433937C33 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:59:22] 885*2^1412679-1 is not prime. Res64: 9D3A065DDFF3EC95 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:59:47] 813*2^1412678-1 is not prime. Res64: 24EC7DEF4D3AFC80 Time : 0.0 sec. user=mdettweiler [2015-10-20 01:59:47] 893*2^1412678-1 is not prime. Res64: 74EC4E5F1BE571B8 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:00:08] 919*2^1412679-1 is not prime. Res64: 37D499170D9496D3 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:00:08] 973*2^1412679-1 is not prime. Res64: 75115EACAB4774C7 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:16:43] 743*2^1412680-1 is not prime. Res64: F99D7898998A1DCD Time : 0.0 sec. user=mdettweiler [2015-10-20 02:16:43] 765*2^1412680-1 is not prime. Res64: FD3CF73EFC8E3747 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:17:23] 855*2^1412680-1 is not prime. Res64: 781B3E7E14267575 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:17:23] 965*2^1412680-1 is not prime. Res64: E7C403369F50D881 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:17:50] 999*2^1412680-1 is not prime. Res64: C472F5929A0D1DAA Time : 0.0 sec. user=mdettweiler [2015-10-20 02:17:50] 657*2^1412681-1 is not prime. Res64: 73DB614F0C9D3683 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:18:08] 711*2^1412681-1 is not prime. Res64: 24E7CC9D28FA7B90 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:18:08] 829*2^1412681-1 is not prime. Res64: 22CB8125FA673B88 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:34:25] 925*2^1412681-1 is not prime. Res64: E7AC1C719AD2C081 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:34:27] 939*2^1412681-1 is not prime. Res64: 1192A231B1C201E0 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:35:13] 967*2^1412681-1 is not prime. Res64: 430F24FBA90FBEB4 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:35:14] 791*2^1412682-1 is not prime. Res64: 4E2DAA56B39CC04E Time : 0.0 sec. user=mdettweiler [2015-10-20 02:35:33] 945*2^1412682-1 is not prime. Res64: B789157F409B7582 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:35:33] 977*2^1412682-1 is not prime. Res64: D6EF1D25CF36C50B Time : 0.0 sec. user=mdettweiler [2015-10-20 02:35:59] 615*2^1412683-1 is not prime. Res64: A11E6754FBAED97F Time : 0.0 sec. user=mdettweiler [2015-10-20 02:36:00] 685*2^1412683-1 is not prime. Res64: 6B121F05875ECBD7 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:52:21] 735*2^1412683-1 is not prime. Res64: 611028A90C79C5AA Time : 0.0 sec. user=mdettweiler [2015-10-20 02:52:21] 769*2^1412683-1 is not prime. Res64: 757DA541368FD271 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:00] 853*2^1412683-1 is not prime. Res64: 445753B46B862F84 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:00] 605*2^1412684-1 is not prime. Res64: 5DF80D209CB08602 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:14] 609*2^1412684-1 is not prime. Res64: A82FE50C88FBF806 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:14] 665*2^1412684-1 is not prime. Res64: E144DBA8E38F3371 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:43] 699*2^1412684-1 is not prime. Res64: F0EA6E40A2F5F1B3 Time : 0.0 sec. user=mdettweiler [2015-10-20 02:53:43] 773*2^1412684-1 is not prime. Res64: 794E7C69CFD101AA Time : 0.0 sec. user=mdettweiler [2015-10-20 03:09:57] 819*2^1412684-1 is not prime. Res64: 550AA1CF861EF8D0 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:09:58] 825*2^1412684-1 is not prime. Res64: B7786533EA938FD3 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:10:37] 827*2^1412684-1 is not prime. Res64: 5961463279D61A27 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:10:38] 627*2^1412685-1 is not prime. Res64: A282C74DD030657C Time : 0.0 sec. user=mdettweiler [2015-10-20 03:10:54] 639*2^1412685-1 is not prime. Res64: AA26BE694B0451CC Time : 0.0 sec. user=mdettweiler [2015-10-20 03:10:54] 777*2^1412685-1 is not prime. Res64: 87F8CEF6CD1A69DB Time : 0.0 sec. user=mdettweiler [2015-10-20 03:11:26] 817*2^1412685-1 is not prime. Res64: 413F04A82F37B837 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:11:27] 825*2^1412685-1 is not prime. Res64: 029713A995E5CCD1 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:27:52] 889*2^1412685-1 is not prime. Res64: FE3CF82B5260F69D Time : 0.0 sec. user=mdettweiler [2015-10-20 03:27:55] 895*2^1412685-1 is not prime. Res64: F20F9197F299CEB9 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:28:45] 927*2^1412685-1 is not prime. Res64: 932B19E9420C2B6F Time : 0.0 sec. user=mdettweiler [2015-10-20 03:28:47] 985*2^1412685-1 is not prime. Res64: 86027B5D6D712CFA Time : 0.0 sec. user=mdettweiler [2015-10-20 03:29:02] 651*2^1412686-1 is not prime. Res64: 7C6E6961DA0D7AB0 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:29:03] 695*2^1412686-1 is not prime. Res64: 257794415AAF6396 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:29:37] 741*2^1412686-1 is not prime. Res64: 352554F2FCD77514 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:29:39] 755*2^1412686-1 is not prime. Res64: 03957C509525C5B3 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:45:51] 761*2^1412686-1 is not prime. Res64: 3322563F61758AFD Time : 0.0 sec. user=mdettweiler [2015-10-20 03:45:52] 765*2^1412686-1 is not prime. Res64: 82085E6B370D0124 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:46:36] 843*2^1412686-1 is not prime. Res64: 2813F866D15C3C0C Time : 0.0 sec. user=mdettweiler [2015-10-20 03:46:37] 897*2^1412686-1 is not prime. Res64: 4A07DB0E5077A6A8 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:46:52] 987*2^1412686-1 is not prime. Res64: 0436EBBDB4CE290F Time : 0.0 sec. user=mdettweiler [2015-10-20 03:46:53] 621*2^1412687-1 is not prime. Res64: E5B79DA5733DF87F Time : 0.0 sec. user=mdettweiler [2015-10-20 03:47:28] 645*2^1412687-1 is not prime. Res64: 528922EA7163DA07 Time : 0.0 sec. user=mdettweiler [2015-10-20 03:47:29] 799*2^1412687-1 is not prime. Res64: 342440957B460D70 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:03:44] 865*2^1412687-1 is not prime. Res64: D0F20E744B0E5C53 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:03:46] 725*2^1412688-1 is not prime. Res64: 14F09C29D30D1AC3 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:04:20] 747*2^1412688-1 is not prime. Res64: 13F406C760A34D8A Time : 0.0 sec. user=mdettweiler [2015-10-20 04:04:21] 849*2^1412688-1 is not prime. Res64: BAF899D770B555E7 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:04:48] 927*2^1412688-1 is not prime. Res64: 9144D42018104B54 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:04:49] 691*2^1412689-1 is not prime. Res64: 633CE88865766A23 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:05:20] 775*2^1412689-1 is not prime. Res64: 2B0E8DBA6E9B18E1 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:05:21] 801*2^1412689-1 is not prime. Res64: 76546A14C7FB5453 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:21:47] 895*2^1412689-1 is not prime. Res64: 2CC6AF8F886256BC Time : 0.0 sec. user=mdettweiler [2015-10-20 04:21:47] 975*2^1412689-1 is not prime. Res64: BE6E79E8C063A5E1 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:22:13] 987*2^1412689-1 is not prime. Res64: AA15DE77B3FD78B2 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:22:13] 999*2^1412689-1 is not prime. Res64: A8B079D99639BD38 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:22:34] 711*2^1412690-1 is not prime. Res64: 7CBE86C73809EC03 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:22:35] 885*2^1412690-1 is not prime. Res64: 48BF2446F3ACB7D6 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:23:12] 893*2^1412690-1 is not prime. Res64: 0A491C2805E49D10 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:23:12] 941*2^1412690-1 is not prime. Res64: ADB851951B16B0BB Time : 0.0 sec. user=mdettweiler [2015-10-20 04:39:25] 953*2^1412690-1 is not prime. Res64: 0F10C186B15FE6F9 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:39:26] 971*2^1412690-1 is not prime. Res64: 1E2BAD9A174D15DE Time : 0.0 sec. user=mdettweiler [2015-10-20 04:39:54] 709*2^1412691-1 is not prime. Res64: A102D6E8C9E32B79 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:39:54] 741*2^1412691-1 is not prime. Res64: 44FA2D66A560BD35 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:40:19] 751*2^1412691-1 is not prime. Res64: E494D0EA84CF995B Time : 0.0 sec. user=mdettweiler [2015-10-20 04:40:20] 895*2^1412691-1 is not prime. Res64: 82ECF373DF387557 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:40:47] 903*2^1412691-1 is not prime. Res64: 2F987DFCAC38E950 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:40:48] 979*2^1412691-1 is not prime. Res64: BFE6FB9E0BC61091 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:57:07] 605*2^1412692-1 is not prime. Res64: 56E6EB962F243B7F Time : 0.0 sec. user=mdettweiler [2015-10-20 04:57:08] 723*2^1412692-1 is not prime. Res64: 9EF185B3B79B8EB6 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:57:47] 779*2^1412692-1 is not prime. Res64: 38CD1A94D28308DF Time : 0.0 sec. user=mdettweiler [2015-10-20 04:57:48] 819*2^1412692-1 is not prime. Res64: CBA0A6FF59A40F39 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:58:03] 989*2^1412692-1 is not prime. Res64: 7E03D77F888EE066 Time : 0.0 sec. user=mdettweiler [2015-10-20 04:58:03] 619*2^1412693-1 is not prime. Res64: 0BA0F0B2AA40D09C Time : 0.0 sec. user=mdettweiler [2015-10-20 04:58:37] 697*2^1412693-1 is not prime. Res64: C2C25F0F2C7F716A Time : 0.0 sec. user=mdettweiler [2015-10-20 04:58:37] 735*2^1412693-1 is not prime. Res64: CE5D3CC45488F51A Time : 0.0 sec. user=mdettweiler [2015-10-20 05:14:46] 789*2^1412693-1 is not prime. Res64: 16B3DA1C685BBE0F Time : 0.0 sec. user=mdettweiler [2015-10-20 05:14:47] 801*2^1412693-1 is not prime. Res64: 5F8FDBE2AC64BE8C Time : 0.0 sec. user=mdettweiler [2015-10-20 05:15:24] 811*2^1412693-1 is not prime. Res64: D5DF52FA666660A8 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:15:25] 859*2^1412693-1 is not prime. Res64: E2B283D120C6F0B4 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:15:40] 897*2^1412693-1 is not prime. Res64: 8A79A36939D613FB Time : 0.0 sec. user=mdettweiler [2015-10-20 05:15:41] 945*2^1412693-1 is not prime. Res64: 07090310C9156664 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:16:17] 657*2^1412694-1 is not prime. Res64: A1CC61A963B3DE99 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:16:17] 693*2^1412694-1 is not prime. Res64: 915D6711A588D8A4 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:32:30] 717*2^1412694-1 is not prime. Res64: 3CAABE8079AC036D Time : 0.0 sec. user=mdettweiler [2015-10-20 05:32:30] 741*2^1412694-1 is not prime. Res64: 23ACE07E09C3F265 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:03] 765*2^1412694-1 is not prime. Res64: 2C99CE7D023FF1AA Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:03] 791*2^1412694-1 is not prime. Res64: 3E522BE2AE0C5495 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:18] 885*2^1412694-1 is not prime. Res64: D6A3B4E0DC24703B Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:18] 661*2^1412695-1 is not prime. Res64: 317E096734BA7393 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:54] 705*2^1412695-1 is not prime. Res64: 6CD2EF15D4F1F128 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:33:55] 741*2^1412695-1 is not prime. Res64: BD182E7FA31BD1FA Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:08] 793*2^1412695-1 is not prime. Res64: 6033D855A32D4DE1 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:08] 841*2^1412695-1 is not prime. Res64: 0C59921AB17744A2 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:50] 895*2^1412695-1 is not prime. Res64: 5487DEF8A1B3ADE4 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:51] 969*2^1412695-1 is not prime. Res64: AAC4034CFF15D19B Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:59] 657*2^1412696-1 is not prime. Res64: C74A4C7F135C2578 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:50:59] 773*2^1412696-1 is not prime. Res64: 50254BCE3A6EECD1 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:51:41] 813*2^1412696-1 is not prime. Res64: 6F27A3BFCD62B969 Time : 0.0 sec. user=mdettweiler [2015-10-20 05:51:41] 873*2^1412696-1 is not prime. Res64: D98CAFAA65356E6D Time : 0.0 sec. user=mdettweiler [2015-10-20 06:07:50] 927*2^1412696-1 is not prime. Res64: 788EC1F1FFA33DE9 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:07:50] 935*2^1412696-1 is not prime. Res64: 57BC09CA267D4BE9 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:08:27] 957*2^1412696-1 is not prime. Res64: FD2EB66AC4AA156E Time : 0.0 sec. user=mdettweiler [2015-10-20 06:08:28] 709*2^1412697-1 is not prime. Res64: 7F9F28415FEFAF70 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:08:43] 795*2^1412697-1 is not prime. Res64: 09DC5605E8842A37 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:08:44] 805*2^1412697-1 is not prime. Res64: 5E09B6A8E9B69320 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:09:23] 865*2^1412697-1 is not prime. Res64: FB7F31929B2211C8 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:09:23] 901*2^1412697-1 is not prime. Res64: 683544E93DC1FD4B Time : 0.0 sec. user=mdettweiler [2015-10-20 06:25:34] 919*2^1412697-1 is not prime. Res64: C367E9D38D576D47 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:25:35] 611*2^1412698-1 is not prime. Res64: 86047A861D32025B Time : 0.0 sec. user=mdettweiler [2015-10-20 06:26:16] 713*2^1412698-1 is not prime. Res64: 719FC73A1459F640 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:26:16] 735*2^1412698-1 is not prime. Res64: E0884E814AFD7005 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:26:26] 887*2^1412698-1 is not prime. Res64: 53C343804261FEF4 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:26:26] 911*2^1412698-1 is not prime. Res64: DBF91C70C275A710 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:27:11] 933*2^1412698-1 is not prime. Res64: C59E06D39E83A18C Time : 0.0 sec. user=mdettweiler [2015-10-20 06:27:11] 643*2^1412699-1 is not prime. Res64: 2B81C7FD2B06261E Time : 0.0 sec. user=mdettweiler [2015-10-20 06:43:16] 735*2^1412699-1 is not prime. Res64: C2FCA4EFEF34CBCA Time : 0.0 sec. user=mdettweiler [2015-10-20 06:43:17] 745*2^1412699-1 is not prime. Res64: 120AD449D9632BB0 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:43:57] 789*2^1412699-1 is not prime. Res64: CFAFFD0954CDF4DD Time : 0.0 sec. user=mdettweiler [2015-10-20 06:43:57] 841*2^1412699-1 is not prime. Res64: F833E910A773766E Time : 0.0 sec. user=mdettweiler [2015-10-20 06:44:09] 943*2^1412699-1 is not prime. Res64: D5EFBFF39E4B8062 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:44:10] 985*2^1412699-1 is not prime. Res64: D0F1983905F47507 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:44:51] 629*2^1412700-1 is not prime. Res64: 38AD29152A03E1A3 Time : 0.0 sec. user=mdettweiler [2015-10-20 06:44:51] 633*2^1412700-1 is not prime. Res64: CF447324D44CD0E5 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:00:59] 707*2^1412700-1 is not prime. Res64: DB4073E89C0B64DF Time : 0.0 sec. user=mdettweiler [2015-10-20 07:01:00] 789*2^1412700-1 is not prime. Res64: AFAB012D26D11815 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:01:47] 843*2^1412700-1 is not prime. Res64: 6928086FF89E323B Time : 0.0 sec. user=mdettweiler [2015-10-20 07:01:48] 845*2^1412700-1 is not prime. Res64: 6811AA4B9958AACC Time : 0.0 sec. user=mdettweiler [2015-10-20 07:01:50] 909*2^1412700-1 is not prime. Res64: 15E23C367E6841CB Time : 0.0 sec. user=mdettweiler [2015-10-20 07:01:50] 927*2^1412700-1 is not prime. Res64: F115C774C13841BA Time : 0.0 sec. user=mdettweiler [2015-10-20 07:02:35] 621*2^1412701-1 is not prime. Res64: C260B8B4085ED414 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:02:37] 717*2^1412701-1 is not prime. Res64: 7299CC45F8E3E555 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:18:56] 745*2^1412701-1 is not prime. Res64: 4620F4F1563AD4B4 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:18:57] 817*2^1412701-1 is not prime. Res64: 6AF3E45F82FF3001 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:19:32] 957*2^1412701-1 is not prime. Res64: 8087CF9C6F77D8AE Time : 0.0 sec. user=mdettweiler [2015-10-20 07:19:32] 603*2^1412702-1 is not prime. Res64: E2721BA1BBE80DFD Time : 0.0 sec. user=mdettweiler [2015-10-20 07:19:33] 861*2^1412701-1 is not prime. Res64: F7A317C8901A1823 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:19:34] 955*2^1412701-1 is not prime. Res64: 4584114370812492 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:20:26] 791*2^1412702-1 is not prime. Res64: 03D4517381988989 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:20:26] 825*2^1412702-1 is not prime. Res64: DA01AA102D5BA60E Time : 0.0 sec. user=mdettweiler [2015-10-20 07:36:40] 921*2^1412702-1 is not prime. Res64: 05044E6C213C0AD6 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:36:40] 609*2^1412703-1 is not prime. Res64: 0B13337CD353607E Time : 0.0 sec. user=mdettweiler [2015-10-20 07:37:10] 709*2^1412703-1 is not prime. Res64: C5AE103684740C84 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:37:10] 723*2^1412703-1 is not prime. Res64: F56FF4132A88C111 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:37:14] 691*2^1412703-1 is not prime. Res64: DA08350FA186D347 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:37:14] 705*2^1412703-1 is not prime. Res64: 0D03676A1BEC749F Time : 0.0 sec. user=mdettweiler [2015-10-20 07:38:06] 739*2^1412703-1 is not prime. Res64: 3790B1EC4B70BA8F Time : 0.0 sec. user=mdettweiler [2015-10-20 07:38:07] 781*2^1412703-1 is not prime. Res64: 910AC26364664C72 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:54:18] 861*2^1412703-1 is not prime. Res64: D9D64F4FEBFD21D3 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:54:18] 871*2^1412703-1 is not prime. Res64: AFAF9C03301E75CC Time : 0.0 sec. user=mdettweiler [2015-10-20 07:54:58] 885*2^1412703-1 is not prime. Res64: B0CE8446E251258D Time : 0.0 sec. user=mdettweiler [2015-10-20 07:54:59] 991*2^1412703-1 is not prime. Res64: A950DE93132E2E9F Time : 0.0 sec. user=mdettweiler [2015-10-20 07:55:06] 665*2^1412704-1 is not prime. Res64: B005E6281720760E Time : 0.0 sec. user=mdettweiler [2015-10-20 07:55:06] 723*2^1412704-1 is not prime. Res64: FEF3147D5978B6C2 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:56:01] 819*2^1412704-1 is not prime. Res64: DCBBBBE8D60928D1 Time : 0.0 sec. user=mdettweiler [2015-10-20 07:56:02] 843*2^1412704-1 is not prime. Res64: A4C2A6B736600713 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:12:25] 869*2^1412704-1 is not prime. Res64: 26579BB9B803E842 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:12:25] 905*2^1412704-1 is not prime. Res64: 49826380DF6B8B5B Time : 0.0 sec. user=mdettweiler [2015-10-20 08:13:04] 909*2^1412704-1 is not prime. Res64: 98CD7EEB6B4CF570 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:13:04] 969*2^1412704-1 is not prime. Res64: 13487E2AA0D0297E Time : 0.0 sec. user=mdettweiler [2015-10-20 08:13:17] 975*2^1412704-1 is not prime. Res64: FF6D9B05F8FABA68 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:13:18] 645*2^1412705-1 is not prime. Res64: B13869DE7CEE3BB7 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:13:59] 699*2^1412705-1 is not prime. Res64: A617280481CB688C Time : 0.0 sec. user=mdettweiler [2015-10-20 08:14:00] 729*2^1412705-1 is not prime. Res64: D0FF95226689768C Time : 0.0 sec. user=mdettweiler [2015-10-20 08:30:09] 741*2^1412705-1 is not prime. Res64: 657F23AA17BC3735 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:30:09] 775*2^1412705-1 is not prime. Res64: 9B0B1C311EDC9BEB Time : 0.0 sec. user=mdettweiler [2015-10-20 08:30:48] 847*2^1412705-1 is not prime. Res64: 58D16E019CBBCAB4 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:30:48] 957*2^1412705-1 is not prime. Res64: 696E6C2227942F3C Time : 0.0 sec. user=mdettweiler [2015-10-20 08:31:06] 633*2^1412706-1 is not prime. Res64: DE97F32B0B993C51 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:31:06] 695*2^1412706-1 is not prime. Res64: 399FBD03BCB03530 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:31:43] 755*2^1412706-1 is not prime. Res64: C9061436CE1A891E Time : 0.0 sec. user=mdettweiler [2015-10-20 08:31:44] 803*2^1412706-1 is not prime. Res64: 03C343E3DF45F794 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:48:21] 807*2^1412706-1 is not prime. Res64: 95BDF6CC9361D0BC Time : 0.0 sec. user=mdettweiler [2015-10-20 08:48:21] 825*2^1412706-1 is not prime. Res64: AFE52AC431C4D479 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:48:46] 609*2^1412707-1 is not prime. Res64: AAA67F3E14E43CEF Time : 0.0 sec. user=mdettweiler [2015-10-20 08:48:46] 693*2^1412707-1 is not prime. Res64: 7371DDC072003BA1 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:49:01] 705*2^1412707-1 is not prime. Res64: 62DEDB1B39B9F875 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:49:01] 741*2^1412707-1 is not prime. Res64: 0AF8C4C6C9A88A5A Time : 0.0 sec. user=mdettweiler [2015-10-20 08:49:57] 759*2^1412707-1 is not prime. Res64: 327D214FCC0AC5B6 Time : 0.0 sec. user=mdettweiler [2015-10-20 08:49:57] 793*2^1412707-1 is not prime. Res64: 335158854450C7EF Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:17] 885*2^1412707-1 is not prime. Res64: C24C08F3A860A4D3 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:17] 919*2^1412707-1 is not prime. Res64: 61FDD5143209C296 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:32] 993*2^1412707-1 is not prime. Res64: 66BA54022129CFB8 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:33] 615*2^1412708-1 is not prime. Res64: C80476BCE79A2591 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:53] 647*2^1412708-1 is not prime. Res64: D362869C2E06A000 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:06:53] 699*2^1412708-1 is not prime. Res64: 4F39A4A25C7CF932 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:07:41] 749*2^1412708-1 is not prime. Res64: DA6298ABEDB04DEB Time : 0.0 sec. user=mdettweiler [2015-10-20 09:07:41] 753*2^1412708-1 is not prime. Res64: 533092ED9479CCD7 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:11] 837*2^1412708-1 is not prime. Res64: 644D8953E3A22389 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:12] 899*2^1412708-1 is not prime. Res64: 14D550703B4A2F89 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:17] 929*2^1412708-1 is not prime. Res64: F213864E5F608EB9 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:18] 969*2^1412708-1 is not prime. Res64: D266764866D59D71 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:40] 615*2^1412709-1 is not prime. Res64: 30DB4C03335B40A0 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:24:40] 747*2^1412709-1 is not prime. Res64: DFCAA3F2782E01D3 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:25:35] 769*2^1412709-1 is not prime. Res64: 84D773B3800FBCFF Time : 0.0 sec. user=mdettweiler [2015-10-20 09:25:35] 831*2^1412709-1 is not prime. Res64: 2050F3C07F792BF5 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:41:55] 861*2^1412709-1 is not prime. Res64: F3A5A57D0B0186BA Time : 0.0 sec. user=mdettweiler [2015-10-20 09:41:56] 945*2^1412709-1 is not prime. Res64: 4B12814EF217CFB2 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:42:00] 969*2^1412709-1 is not prime. Res64: 1A2D649E6EF11D62 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:42:00] 975*2^1412709-1 is not prime. Res64: D5312FB31C37E245 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:42:32] 605*2^1412710-1 is not prime. Res64: 860F8F8FD70EB1CF Time : 0.0 sec. user=mdettweiler [2015-10-20 09:42:32] 831*2^1412710-1 is not prime. Res64: 17F604855F6D9C9C Time : 0.0 sec. user=mdettweiler [2015-10-20 09:43:23] 951*2^1412710-1 is not prime. Res64: 307F044F1D2EC2FB Time : 0.0 sec. user=mdettweiler [2015-10-20 09:43:23] 981*2^1412710-1 is not prime. Res64: 72BE5C2481AA6CAF Time : 0.0 sec. user=mdettweiler [2015-10-20 09:59:41] 661*2^1412711-1 is not prime. Res64: 3D2B285C85FE908D Time : 0.0 sec. user=mdettweiler [2015-10-20 09:59:42] 735*2^1412711-1 is not prime. Res64: D72F7C132AAFE678 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:59:46] 987*2^1412710-1 is not prime. Res64: CB460C2C8BDC7FF0 Time : 0.0 sec. user=mdettweiler [2015-10-20 09:59:47] 1001*2^1412710-1 is not prime. Res64: 31CC9E50DCACFCC4 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:00:17] 825*2^1412711-1 is not prime. Res64: 55B5737100ED455E Time : 0.0 sec. user=mdettweiler [2015-10-20 10:00:18] 865*2^1412711-1 is not prime. Res64: B6B4BE0E207EE39C Time : 0.0 sec. user=mdettweiler [2015-10-20 10:01:10] 949*2^1412711-1 is not prime. Res64: BF3E00ABBAEF41FB Time : 0.0 sec. user=mdettweiler [2015-10-20 10:01:11] 623*2^1412712-1 is not prime. Res64: 2F0CAA51932A6DB7 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:17:25] 713*2^1412712-1 is not prime. Res64: D77E3C2234ABC564 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:17:26] 803*2^1412712-1 is not prime. Res64: 5D8395E211177193 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:17:37] 843*2^1412712-1 is not prime. Res64: 1F5F212AA3382C54 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:17:37] 977*2^1412712-1 is not prime. Res64: ED505D9798264229 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:18:04] 679*2^1412713-1 is not prime. Res64: 4CAE2A072B486283 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:18:04] 765*2^1412713-1 is not prime. Res64: 3C612B956E701CA3 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:18:58] 805*2^1412713-1 is not prime. Res64: 434EB9E71BC4DAC4 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:18:58] 807*2^1412713-1 is not prime. Res64: 2504411C51256A7F Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:09] 835*2^1412713-1 is not prime. Res64: EACB9EFCC66231DE Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:09] 957*2^1412713-1 is not prime. Res64: B8F51004E30DE5EE Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:16] 615*2^1412714-1 is not prime. Res64: BE6365A2FC5A9CB0 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:16] 623*2^1412714-1 is not prime. Res64: 548327FDE06AC3FA Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:46] 633*2^1412714-1 is not prime. Res64: 83C7896A253BE7D7 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:35:46] 717*2^1412714-1 is not prime. Res64: B52421E7E486095B Time : 0.0 sec. user=mdettweiler [2015-10-20 10:36:36] 755*2^1412714-1 is not prime. Res64: 37D6B2E5169065DF Time : 0.0 sec. user=mdettweiler [2015-10-20 10:36:37] 773*2^1412714-1 is not prime. Res64: 58EC4C9EABF7165D Time : 0.0 sec. user=mdettweiler [2015-10-20 10:52:52] 915*2^1412714-1 is not prime. Res64: 3B336B9F7E5BB196 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:52:53] 625*2^1412715-1 is not prime. Res64: 281EBB960065B765 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:52:56] 789*2^1412715-1 is not prime. Res64: 899B9C8EB2932705 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:52:56] 795*2^1412715-1 is not prime. Res64: F16C8E9897C6D8AE Time : 0.0 sec. user=mdettweiler [2015-10-20 10:53:28] 871*2^1412715-1 is not prime. Res64: 6EECD5ED02A2EE61 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:53:28] 891*2^1412715-1 is not prime. Res64: B091AD2CFABA95F6 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:54:22] 903*2^1412715-1 is not prime. Res64: 071D20EECD0E6155 Time : 0.0 sec. user=mdettweiler [2015-10-20 10:54:22] 615*2^1412716-1 is not prime. Res64: A1797F6C4DFBFE0E Time : 0.0 sec. user=mdettweiler [2015-10-20 11:10:40] 657*2^1412716-1 is not prime. Res64: 9CD691D6696E8BC8 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:10:40] 693*2^1412716-1 is not prime. Res64: C43FDE5206EA938B Time : 0.0 sec. user=mdettweiler [2015-10-20 11:10:47] 833*2^1412716-1 is not prime. Res64: 89D0BEFC0E04F318 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:10:47] 845*2^1412716-1 is not prime. Res64: ECD98C292E3EA476 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:11:14] 923*2^1412716-1 is not prime. Res64: D3C72D330A6BFB2F Time : 0.0 sec. user=mdettweiler [2015-10-20 11:11:14] 983*2^1412716-1 is not prime. Res64: AEDC65D8E3A43973 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:12:13] 601*2^1412717-1 is not prime. Res64: E9CE677426522CC3 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:12:13] 631*2^1412717-1 is not prime. Res64: 425D6DEC353D97BA Time : 0.0 sec. user=mdettweiler [2015-10-20 11:28:30] 685*2^1412717-1 is not prime. Res64: 419361104C5A3469 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:28:30] 777*2^1412717-1 is not prime. Res64: 47B80053D274357D Time : 0.0 sec. user=mdettweiler [2015-10-20 11:28:33] 879*2^1412717-1 is not prime. Res64: CC184FF660B06271 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:28:33] 981*2^1412717-1 is not prime. Res64: E293392B9BE00B96 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:29:05] 693*2^1412718-1 is not prime. Res64: D9E3BD96276632CB Time : 0.0 sec. user=mdettweiler [2015-10-20 11:29:05] 773*2^1412718-1 is not prime. Res64: C250CC99B792931A Time : 0.0 sec. user=mdettweiler [2015-10-20 11:29:57] 921*2^1412718-1 is not prime. Res64: 410367E36F82EB7D Time : 0.0 sec. user=mdettweiler [2015-10-20 11:29:58] 951*2^1412718-1 is not prime. Res64: A53C230A1CDD2782 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:16] 675*2^1412719-1 is not prime. Res64: E0F3840EF1F80F80 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:16] 1001*2^1412718-1 is not prime. Res64: 649E52CF62D5D193 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:16] 693*2^1412719-1 is not prime. Res64: 709F5113C51531AB Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:16] 625*2^1412719-1 is not prime. Res64: F5ADF7C682678AB5 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:50] 709*2^1412719-1 is not prime. Res64: 21BC7A2B951FD538 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:46:51] 793*2^1412719-1 is not prime. Res64: 2F107B79C3D3EAF4 Time : 0.0 sec. user=mdettweiler [2015-10-20 11:47:44] 855*2^1412719-1 is not prime. Res64: E47B23E86AF435FB Time : 0.0 sec. user=mdettweiler [2015-10-20 11:47:44] 943*2^1412719-1 is not prime. Res64: 23A9295004469F3B Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:03] 951*2^1412719-1 is not prime. Res64: 296C578106956F0E Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:05] 985*2^1412719-1 is not prime. Res64: 534ECE7934304805 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:09] 615*2^1412720-1 is not prime. Res64: 4CB6AEBD10ED0EC3 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:10] 665*2^1412720-1 is not prime. Res64: 420FE490D820852E Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:36] 755*2^1412720-1 is not prime. Res64: 351578AE769BA3B3 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:04:37] 819*2^1412720-1 is not prime. Res64: CEA60E6A66D330AA Time : 0.0 sec. user=mdettweiler [2015-10-20 12:05:39] 827*2^1412720-1 is not prime. Res64: A2A28DC648DAC9B1 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:05:39] 857*2^1412720-1 is not prime. Res64: 6DD8DFCCACC3964B Time : 0.0 sec. user=mdettweiler [2015-10-20 12:22:47] 625*2^1412721-1 is not prime. Res64: CCFBA27CF856DB95 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:22:47] 649*2^1412721-1 is not prime. Res64: 31A56FC97B538CB8 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:22:47] 899*2^1412720-1 is not prime. Res64: AFD76AF59B065D72 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:22:48] 927*2^1412720-1 is not prime. Res64: A56AB35075CB9E1D Time : 0.0 sec. user=mdettweiler [2015-10-20 12:23:07] 657*2^1412721-1 is not prime. Res64: C7AE9E098E00B1BE Time : 0.0 sec. user=mdettweiler [2015-10-20 12:23:07] 717*2^1412721-1 is not prime. Res64: C43C95925126251D Time : 0.0 sec. user=mdettweiler [2015-10-20 12:24:05] 937*2^1412721-1 is not prime. Res64: B88F9E18DBD6A540 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:24:06] 999*2^1412721-1 is not prime. Res64: A457A108AB29AA3F Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:17] 911*2^1412722-1 is not prime. Res64: B509C30BCA74CA92 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:17] 619*2^1412723-1 is not prime. Res64: E4DAB68176F17827 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:21] 713*2^1412722-1 is not prime. Res64: 543BAD16505AD1A6 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:21] 813*2^1412722-1 is not prime. Res64: FDC403A0DCB0B7C3 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:43] 621*2^1412723-1 is not prime. Res64: 31739CE477612E3D Time : 0.0 sec. user=mdettweiler [2015-10-20 12:41:43] 705*2^1412723-1 is not prime. Res64: D22F3329EBD89B5C Time : 0.0 sec. user=mdettweiler [2015-10-20 12:42:44] 735*2^1412723-1 is not prime. Res64: F767A6F294F2F208 Time : 0.0 sec. user=mdettweiler [2015-10-20 12:42:44] 741*2^1412723-1 is not prime. Res64: EAC62C8676E9C79D Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:02] 675*2^1412724-1 is not prime. Res64: B9206CEE538AD7A9 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:02] 753*2^1412723-1 is not prime. Res64: BAAFC8B762B8A335 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:02] 723*2^1412724-1 is not prime. Res64: 4D016840CB91D63D Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:02] 629*2^1412724-1 is not prime. Res64: 065B49B8AE1F88F5 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:39] 753*2^1412724-1 is not prime. Res64: 707D0C5AFCD8B50B Time : 0.0 sec. user=mdettweiler [2015-10-20 13:00:40] 795*2^1412724-1 is not prime. Res64: 92B61BD8114B1032 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:01:54] 873*2^1412724-1 is not prime. Res64: B17DE1FCA0CBA730 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:01:56] 947*2^1412724-1 is not prime. Res64: 3E8231BCC5626C72 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:05] 775*2^1412725-1 is not prime. Res64: CAE78AA9302643A7 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:05] 817*2^1412725-1 is not prime. Res64: 4FD09B6024F9EED3 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:18] 983*2^1412724-1 is not prime. Res64: 525243C6F7AACDE7 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:19] 729*2^1412725-1 is not prime. Res64: 92954C7A988C23A4 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:42] 855*2^1412725-1 is not prime. Res64: D892ACE409FD57BC Time : 0.0 sec. user=mdettweiler [2015-10-20 13:20:42] 877*2^1412725-1 is not prime. Res64: 3D44C109CAE813E2 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:21:28] 937*2^1412725-1 is not prime. Res64: 45191534CFFB0759 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:21:29] 961*2^1412725-1 is not prime. Res64: 800E24550F5EA975 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:37:59] 873*2^1412726-1 is not prime. Res64: 0ABBE8EC7304468D Time : 0.0 sec. user=mdettweiler [2015-10-20 13:37:59] 917*2^1412726-1 is not prime. Res64: 735B94C7DE79FCA8 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:38:03] 651*2^1412726-1 is not prime. Res64: 3EE1AC475ACBF8A1 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:38:04] 773*2^1412726-1 is not prime. Res64: 69DCB9BAE38F6B50 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:38:34] 921*2^1412726-1 is not prime. Res64: D2168DA601FA11A0 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:38:35] 957*2^1412726-1 is not prime. Res64: 3EC85D99F755D666 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:39:19] 741*2^1412727-1 is not prime. Res64: 12045C83F0E27776 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:39:20] 823*2^1412727-1 is not prime. Res64: 1F6E30B9C24D8A71 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:55:45] 933*2^1412727-1 is not prime. Res64: 69E4B76EFA6838AA Time : 0.0 sec. user=mdettweiler [2015-10-20 13:55:45] 689*2^1412728-1 is not prime. Res64: C3893616642F7636 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:55:48] 873*2^1412727-1 is not prime. Res64: 3B94ED311F69EA3F Time : 0.0 sec. user=mdettweiler [2015-10-20 13:55:49] 931*2^1412727-1 is not prime. Res64: 6B90F7CE1F978F93 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:56:27] 723*2^1412728-1 is not prime. Res64: FCC7D5D5F0B818D8 Time : 0.0 sec. user=mdettweiler [2015-10-20 13:56:28] 833*2^1412728-1 is not prime. Res64: A6605FB3BBD42BCF Time : 0.0 sec. user=mdettweiler [2015-10-20 13:57:12] 863*2^1412728-1 is not prime. Res64: FE7C14FB61DA05DC Time : 0.0 sec. user=mdettweiler [2015-10-20 13:57:12] 927*2^1412728-1 is not prime. Res64: FACE3CD7F3BD120B Time : 0.0 sec. user=mdettweiler [2015-10-20 14:13:27] 637*2^1412729-1 is not prime. Res64: 8FFB8C8783BD0D91 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:13:28] 729*2^1412729-1 is not prime. Res64: B318230CE46BA099 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:13:32] 907*2^1412729-1 is not prime. Res64: EC38F093C8885687 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:13:33] 967*2^1412729-1 is not prime. Res64: CC84AF27C2A4E5DC Time : 0.0 sec. user=mdettweiler [2015-10-20 14:14:16] 755*2^1412730-1 is not prime. Res64: B16D4C8CDE43818D Time : 0.0 sec. user=mdettweiler [2015-10-20 14:14:17] 777*2^1412730-1 is not prime. Res64: 33E0A2CD4A617FC0 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:15:05] 803*2^1412730-1 is not prime. Res64: 040C6FBF46063AB3 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:15:06] 843*2^1412730-1 is not prime. Res64: 3A57B8C49523C10D Time : 0.0 sec. user=mdettweiler [2015-10-20 14:31:22] 851*2^1412730-1 is not prime. Res64: B62343F3A23B33A9 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:31:23] 867*2^1412730-1 is not prime. Res64: 7E6E9D4C00EBA14A Time : 0.0 sec. user=mdettweiler [2015-10-20 14:31:25] 885*2^1412730-1 is not prime. Res64: 6A31868D88AEFECB Time : 0.0 sec. user=mdettweiler [2015-10-20 14:31:25] 945*2^1412730-1 is not prime. Res64: C04F9DCD72BBAC0F Time : 0.0 sec. user=mdettweiler [2015-10-20 14:32:15] 709*2^1412731-1 is not prime. Res64: 1DBFD3EB26327CE3 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:32:16] 783*2^1412731-1 is not prime. Res64: 5E194CE0450D047F Time : 0.0 sec. user=mdettweiler [2015-10-20 14:33:02] 861*2^1412731-1 is not prime. Res64: 4F72CD9C1D90C35A Time : 0.0 sec. user=mdettweiler [2015-10-20 14:33:02] 871*2^1412731-1 is not prime. Res64: 1279D8EE9A9A7C9F Time : 0.0 sec. user=mdettweiler [2015-10-20 14:49:03] 873*2^1412731-1 is not prime. Res64: D1858B069E2CCE78 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:49:04] 969*2^1412731-1 is not prime. Res64: 06C3FA493DAC3139 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:49:10] 725*2^1412732-1 is not prime. Res64: C00EE567AED3232A Time : 0.0 sec. user=mdettweiler [2015-10-20 14:49:10] 837*2^1412732-1 is not prime. Res64: 77BE13902CCB766C Time : 0.0 sec. user=mdettweiler [2015-10-20 14:50:10] 873*2^1412732-1 is not prime. Res64: 8CBFBA10729B031C Time : 0.0 sec. user=mdettweiler [2015-10-20 14:50:10] 915*2^1412732-1 is not prime. Res64: F9204F2264810B4C Time : 0.0 sec. user=mdettweiler [2015-10-20 14:50:54] 935*2^1412732-1 is not prime. Res64: 8A9EFB2ACFE30832 Time : 0.0 sec. user=mdettweiler [2015-10-20 14:50:55] 747*2^1412733-1 is not prime. Res64: 14C973F65774124A Time : 0.0 sec. user=mdettweiler [2015-10-20 15:06:48] 751*2^1412733-1 is not prime. Res64: ECD46F2073419B76 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:06:49] 765*2^1412733-1 is not prime. Res64: 4D37528844688903 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:06:51] 891*2^1412733-1 is not prime. Res64: 31621D85ABA119D5 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:06:52] 915*2^1412733-1 is not prime. Res64: A3794E0F3F3D02D5 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:07:47] 961*2^1412733-1 is not prime. Res64: DFD6E7980B7D64E1 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:07:47] 635*2^1412734-1 is not prime. Res64: 8C3FB01DB67B6AB5 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:08:53] 687*2^1412734-1 is not prime. Res64: 90D163423FF5F42B Time : 0.0 sec. user=mdettweiler [2015-10-20 15:08:54] 705*2^1412734-1 is not prime. Res64: FBF3D656825DF01C Time : 0.0 sec. user=mdettweiler [2015-10-20 15:24:33] 857*2^1412734-1 is not prime. Res64: 1C240C5C6DA384D0 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:24:33] 941*2^1412734-1 is not prime. Res64: 6696BC47CDA113E2 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:24:33] 723*2^1412734-1 is not prime. Res64: B12EB258BCC4C740 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:24:34] 737*2^1412734-1 is not prime. Res64: 2FED6A543B5C05D2 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:25:28] 661*2^1412735-1 is not prime. Res64: A17E5ECF4A2931DE Time : 0.0 sec. user=mdettweiler [2015-10-20 15:25:28] 735*2^1412735-1 is not prime. Res64: 8D0542564512777D Time : 0.0 sec. user=mdettweiler [2015-10-20 15:26:32] 759*2^1412735-1 is not prime. Res64: F395382D460CA133 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:26:32] 855*2^1412735-1 is not prime. Res64: E1121874A052460B Time : 0.0 sec. user=mdettweiler [2015-10-20 15:42:29] 979*2^1412735-1 is not prime. Res64: 4A934DF25548C594 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:42:29] 609*2^1412736-1 is not prime. Res64: CB982BC8DAA63DA9 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:42:30] 639*2^1412736-1 is not prime. Res64: 98706D711FA253DD Time : 0.0 sec. user=mdettweiler [2015-10-20 15:42:31] 675*2^1412736-1 is not prime. Res64: 1B784DD3FBABF434 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:43:32] 705*2^1412736-1 is not prime. Res64: DD6DB87054BF2290 Time : 0.0 sec. user=mdettweiler [2015-10-20 15:43:32] 879*2^1412736-1 is not prime. Res64: 87D79EA56A08C74E Time : 0.0 sec. user=mdettweiler [2015-10-20 15:44:45] 899*2^1412736-1 is not prime. Res64: 2403F05DA64FF6BD Time : 0.0 sec. user=mdettweiler [2015-10-20 15:44:45] 903*2^1412736-1 is not prime. Res64: F574BF78FB9E8EB3 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:00:12] 627*2^1412738-1 is not prime. Res64: B872DDBA02AB8DA5 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:00:13] 645*2^1412738-1 is not prime. Res64: 00E3696096EF1D0C Time : 0.0 sec. user=mdettweiler [2015-10-20 16:00:14] 741*2^1412737-1 is not prime. Res64: E3E1D099B345E060 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:00:15] 955*2^1412737-1 is not prime. Res64: 68EC9E660BE23342 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:01:16] 801*2^1412738-1 is not prime. Res64: 46AC93650268D3C6 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:01:17] 831*2^1412738-1 is not prime. Res64: 3B7C6A3AFF8AD72E Time : 0.0 sec. user=mdettweiler [2015-10-20 16:02:29] 875*2^1412738-1 is not prime. Res64: 8CE518223C8B14B9 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:02:30] 957*2^1412738-1 is not prime. Res64: 6F7BB6F8BCDF34A7 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:18:01] 613*2^1412739-1 is not prime. Res64: 16BA374EC36631FE Time : 0.0 sec. user=mdettweiler [2015-10-20 16:18:01] 663*2^1412739-1 is not prime. Res64: 57D0ADEA99C68D24 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:18:14] 971*2^1412738-1 is not prime. Res64: 1D7FA485B66851DA Time : 0.0 sec. user=mdettweiler [2015-10-20 16:18:14] 1001*2^1412738-1 is not prime. Res64: C95E78A5B4A686C7 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:19:04] 751*2^1412739-1 is not prime. Res64: EC7B354064C5A43C Time : 0.0 sec. user=mdettweiler [2015-10-20 16:19:05] 769*2^1412739-1 is not prime. Res64: FE0476C91FDA4314 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:20:29] 829*2^1412739-1 is not prime. Res64: 5048330EB9DFC462 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:20:29] 909*2^1412739-1 is not prime. Res64: 63EE92CBD0A16344 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:35:47] 629*2^1412740-1 is not prime. Res64: 9154412E8F7DC222 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:35:48] 819*2^1412740-1 is not prime. Res64: A63F894998A1143D Time : 0.0 sec. user=mdettweiler [2015-10-20 16:36:04] 827*2^1412740-1 is not prime. Res64: 5FE6721C64890A41 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:36:04] 839*2^1412740-1 is not prime. Res64: C7A8A7E1A71CE87A Time : 0.0 sec. user=mdettweiler [2015-10-20 16:37:02] 857*2^1412740-1 is not prime. Res64: 3D42E9A704017473 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:37:02] 873*2^1412740-1 is not prime. Res64: B5AAFC0B7522A962 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:38:24] 927*2^1412740-1 is not prime. Res64: 96002254641B5D1A Time : 0.0 sec. user=mdettweiler [2015-10-20 16:38:24] 957*2^1412740-1 is not prime. Res64: 78F16417C1C63022 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:53:23] 619*2^1412741-1 is not prime. Res64: A8445804227EA184 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:53:23] 631*2^1412741-1 is not prime. Res64: 683A559CE590D04E Time : 0.0 sec. user=mdettweiler [2015-10-20 16:53:49] 649*2^1412741-1 is not prime. Res64: 5F0A820CDD22677A Time : 0.0 sec. user=mdettweiler [2015-10-20 16:53:49] 777*2^1412741-1 is not prime. Res64: BD00335C2B09A6C0 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:54:42] 889*2^1412741-1 is not prime. Res64: C4C38792B1F2AE32 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:54:43] 939*2^1412741-1 is not prime. Res64: B8C4E523DE1FC483 Time : 0.0 sec. user=mdettweiler [2015-10-20 16:56:03] 723*2^1412742-1 is not prime. Res64: ECE2E28A9248625E Time : 0.0 sec. user=mdettweiler [2015-10-20 16:56:03] 777*2^1412742-1 is not prime. Res64: 8CE6B08AF60256AF Time : 0.0 sec. user=mdettweiler [2015-10-20 17:11:06] 923*2^1412742-1 is not prime. Res64: 6518EC0D2B5E1137 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:11:08] 965*2^1412742-1 is not prime. Res64: CE6CB5A8088141E6 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:11:30] 681*2^1412743-1 is not prime. Res64: 31659AD3B290840E Time : 0.0 sec. user=mdettweiler [2015-10-20 17:11:31] 775*2^1412743-1 is not prime. Res64: 573B6AD06F161623 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:12:23] 805*2^1412743-1 is not prime. Res64: 303AD8EE4CA45C10 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:12:23] 855*2^1412743-1 is not prime. Res64: 265F41949C823173 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:13:48] 859*2^1412743-1 is not prime. Res64: 86A03CB03F9281C3 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:13:49] 895*2^1412743-1 is not prime. Res64: 08E1B593A4370A0C Time : 0.0 sec. user=mdettweiler [2015-10-20 17:28:54] 969*2^1412743-1 is not prime. Res64: F0FCB20C1520B81D Time : 0.0 sec. user=mdettweiler [2015-10-20 17:28:55] 617*2^1412744-1 is not prime. Res64: 194B24B6B7A09073 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:29:11] 623*2^1412744-1 is not prime. Res64: 385C213B79FE68A9 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:29:11] 729*2^1412744-1 is not prime. Res64: 7E740C66108BADC1 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:30:05] 625*2^1412745-1 is not prime. Res64: 3179C3EE42715815 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:30:06] 837*2^1412745-1 is not prime. Res64: CA9AFA8C505750B8 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:31:36] 847*2^1412745-1 is not prime. Res64: 85931157D6C83713 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:31:37] 861*2^1412745-1 is not prime. Res64: 0BE847A394CF8C0B Time : 0.0 sec. user=mdettweiler [2015-10-20 17:46:46] 885*2^1412745-1 is not prime. Res64: 8D287F43D2EDBA11 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:46:46] 713*2^1412746-1 is not prime. Res64: 1C027111C60523BA Time : 0.0 sec. user=mdettweiler [2015-10-20 17:46:58] 723*2^1412746-1 is not prime. Res64: 62DDE10798620493 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:46:59] 903*2^1412746-1 is not prime. Res64: 660AE5894CF00024 Time : 0.0 sec. user=mdettweiler [2015-10-20 17:47:56] 917*2^1412746-1 is not prime. Res64: 4E722E1BE99BEB6C Time : 0.0 sec. user=mdettweiler [2015-10-20 17:47:57] 941*2^1412746-1 is not prime. Res64: 091E0F69619B98EE Time : 0.0 sec. user=mdettweiler [2015-10-20 17:49:26] 823*2^1412747-1 is not prime. Res64: F23DE213ECC90B6E Time : 0.0 sec. user=mdettweiler [2015-10-20 17:49:27] 879*2^1412747-1 is not prime. Res64: D081AAF155B35044 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:04:31] 635*2^1412748-1 is not prime. Res64: 69AB854016BE9162 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:04:33] 759*2^1412748-1 is not prime. Res64: E8DDDB60992085C4 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:04:33] 843*2^1412748-1 is not prime. Res64: 8532CF301E92F048 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:04:34] 929*2^1412748-1 is not prime. Res64: 89F9FA93DF42F727 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:05:44] 661*2^1412749-1 is not prime. Res64: 4F54D0012D92916C Time : 0.0 sec. user=mdettweiler [2015-10-20 18:05:45] 687*2^1412749-1 is not prime. Res64: AB74EB08E02768A3 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:07:14] 699*2^1412749-1 is not prime. Res64: 00C8C173AEB783B6 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:07:15] 817*2^1412749-1 is not prime. Res64: 26D617C96EA30E3E Time : 0.0 sec. user=mdettweiler [2015-10-20 18:22:43] 945*2^1412749-1 is not prime. Res64: B57202043D629CCE Time : 0.0 sec. user=mdettweiler [2015-10-20 18:22:44] 955*2^1412749-1 is not prime. Res64: 2545C21D60103D39 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:22:49] 975*2^1412749-1 is not prime. Res64: 423E7C45A1D8D15F Time : 0.0 sec. user=mdettweiler [2015-10-20 18:22:50] 645*2^1412750-1 is not prime. Res64: 151B5841774ED9BC Time : 0.0 sec. user=mdettweiler [2015-10-20 18:23:38] 665*2^1412750-1 is not prime. Res64: AA672FCF750F2ADE Time : 0.0 sec. user=mdettweiler [2015-10-20 18:23:38] 741*2^1412750-1 is not prime. Res64: 0A6B40286FBF4439 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:25:12] 813*2^1412750-1 is not prime. Res64: 58401ACC795DBB5A Time : 0.0 sec. user=mdettweiler [2015-10-20 18:25:12] 851*2^1412750-1 is not prime. Res64: 77BF750F48FED398 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:40:27] 921*2^1412750-1 is not prime. Res64: ADC20E6F52883BD6 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:40:27] 651*2^1412751-1 is not prime. Res64: ECAF1D33CC1A7AED Time : 0.0 sec. user=mdettweiler [2015-10-20 18:40:33] 691*2^1412751-1 is not prime. Res64: A769270A6963E061 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:40:33] 711*2^1412751-1 is not prime. Res64: F5577903A486238A Time : 0.0 sec. user=mdettweiler [2015-10-20 18:41:21] 781*2^1412751-1 is not prime. Res64: 3D2502E0BAA99AD5 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:41:22] 859*2^1412751-1 is not prime. Res64: 1C8A7D2B0FDA10A6 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:43:00] 909*2^1412751-1 is not prime. Res64: 3FCB03FC7BAF3738 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:43:00] 653*2^1412752-1 is not prime. Res64: 365BCD1AC5E495F6 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:58:18] 687*2^1412752-1 is not prime. Res64: BF01AC2D74BA7D9D Time : 0.0 sec. user=mdettweiler [2015-10-20 18:58:18] 693*2^1412752-1 is not prime. Res64: A722CE8C57A95623 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:58:22] 719*2^1412752-1 is not prime. Res64: 04CA6347216E06F1 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:58:22] 863*2^1412752-1 is not prime. Res64: 200E5E864AD4CB64 Time : 0.0 sec. user=mdettweiler [2015-10-20 18:59:19] 869*2^1412752-1 is not prime. Res64: 27B70056A479F24A Time : 0.0 sec. user=mdettweiler [2015-10-20 18:59:19] 923*2^1412752-1 is not prime. Res64: 530D5F1C5277D0EC Time : 0.0 sec. user=mdettweiler [2015-10-20 19:01:11] 959*2^1412752-1 is not prime. Res64: E494BC2A9B99482C Time : 0.0 sec. user=mdettweiler [2015-10-20 19:01:12] 615*2^1412753-1 is not prime. Res64: D278B382EC115F16 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:17:10] 631*2^1412753-1 is not prime. Res64: ED49E3E51CABF8E7 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:17:10] 727*2^1412753-1 is not prime. Res64: FC1BB7FBB1486032 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:17:15] 683*2^1412754-1 is not prime. Res64: 244DCBC3BEF0A7CA Time : 0.0 sec. user=mdettweiler [2015-10-20 19:17:16] 893*2^1412754-1 is not prime. Res64: 93B7DBF59F738114 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:18:11] 649*2^1412755-1 is not prime. Res64: 2DB70BCF3BEA7191 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:18:11] 771*2^1412755-1 is not prime. Res64: FDB0F4736BBEC7F2 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:20:11] 873*2^1412755-1 is not prime. Res64: 9F4DA8433A48331E Time : 0.0 sec. user=mdettweiler [2015-10-20 19:20:11] 885*2^1412755-1 is not prime. Res64: 4BABFED425D59C62 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:36:02] 843*2^1412756-1 is not prime. Res64: 58CF15FB85EA3963 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:36:03] 867*2^1412756-1 is not prime. Res64: 58C65A37347A3AE9 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:36:03] 951*2^1412755-1 is not prime. Res64: 6EE0D5B6C56F7C17 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:36:03] 999*2^1412755-1 is not prime. Res64: 47A399212BEA020B Time : 0.0 sec. user=mdettweiler [2015-10-20 19:37:35] 897*2^1412756-1 is not prime. Res64: 7A49CECCE03156B3 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:37:35] 963*2^1412756-1 is not prime. Res64: 314C7E680A2BBD3C Time : 0.0 sec. user=mdettweiler [2015-10-20 19:39:37] 681*2^1412757-1 is not prime. Res64: BBC3F9034CA7A5A9 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:39:37] 751*2^1412757-1 is not prime. Res64: 26557EFDD5712909 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:54:57] 815*2^1412758-1 is not prime. Res64: 681E0031BA5AF4B2 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:54:57] 957*2^1412758-1 is not prime. Res64: BAC1C41F8E7C65AA Time : 0.0 sec. user=mdettweiler [2015-10-20 19:55:23] 955*2^1412757-1 is not prime. Res64: 593F0622770E9E82 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:55:23] 605*2^1412758-1 is not prime. Res64: 5756107BE5147933 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:56:38] 621*2^1412759-1 is not prime. Res64: 8691E46DDD89F7B3 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:56:38] 661*2^1412759-1 is not prime. Res64: 3ACF6F6D96385934 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:58:43] 675*2^1412759-1 is not prime. Res64: 1B8E5F2B8DB805C2 Time : 0.0 sec. user=mdettweiler [2015-10-20 19:58:43] 693*2^1412759-1 is not prime. Res64: 62DE316E78F68015 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:14:33] 711*2^1412759-1 is not prime. Res64: 18856006A9D2BF5A Time : 0.0 sec. user=mdettweiler [2015-10-20 20:14:33] 753*2^1412759-1 is not prime. Res64: 2F059E1CC69BA93C Time : 0.0 sec. user=mdettweiler [2015-10-20 20:14:49] 771*2^1412759-1 is not prime. Res64: 7A9BDD3F0928806F Time : 0.0 sec. user=mdettweiler [2015-10-20 20:14:50] 885*2^1412759-1 is not prime. Res64: 2F0653C02E14B0BE Time : 0.0 sec. user=mdettweiler [2015-10-20 20:16:10] 895*2^1412759-1 is not prime. Res64: CAF9155B4A021180 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:16:11] 943*2^1412759-1 is not prime. Res64: 458A22D8AFAE0A2F Time : 0.0 sec. user=mdettweiler [2015-10-20 20:18:11] 609*2^1412760-1 is not prime. Res64: 368E64872386C29E Time : 0.0 sec. user=mdettweiler [2015-10-20 20:18:12] 669*2^1412760-1 is not prime. Res64: F64762CA53312AD2 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:33:41] 797*2^1412760-1 is not prime. Res64: 50F2E6B85B20B6B2 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:33:41] 875*2^1412760-1 is not prime. Res64: 0A9C2DE62CE19B92 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:33:49] 879*2^1412760-1 is not prime. Res64: 2A5461CBF1DB393C Time : 0.0 sec. user=mdettweiler [2015-10-20 20:33:49] 983*2^1412760-1 is not prime. Res64: E392CD44784EC569 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:35:19] 615*2^1412761-1 is not prime. Res64: 116E5F87A44222CE Time : 0.0 sec. user=mdettweiler [2015-10-20 20:35:19] 799*2^1412761-1 is not prime. Res64: D4572A494AF5AACA Time : 0.0 sec. user=mdettweiler [2015-10-20 20:37:27] 847*2^1412761-1 is not prime. Res64: CFD3B7B284E9C0F9 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:37:27] 861*2^1412761-1 is not prime. Res64: 45415E99A9D14BA7 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:53:17] 975*2^1412761-1 is not prime. Res64: 3181BBF841D25B04 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:53:17] 987*2^1412761-1 is not prime. Res64: 9ADD4795B681AC7B Time : 0.0 sec. user=mdettweiler [2015-10-20 20:53:31] 999*2^1412761-1 is not prime. Res64: 1649206F3ABA1C75 Time : 0.0 sec. user=mdettweiler [2015-10-20 20:53:31] 603*2^1412762-1 is not prime. Res64: 89C9CE5E2F5A49EC Time : 0.0 sec. user=mdettweiler [2015-10-20 20:55:01] 857*2^1412762-1 is not prime. Res64: 567DCB1FD8957C8C Time : 0.0 sec. user=mdettweiler [2015-10-20 20:55:01] 867*2^1412762-1 is not prime. Res64: 1CD1575A9E98310B Time : 0.0 sec. user=mdettweiler [2015-10-20 20:57:20] 885*2^1412762-1 is not prime. Res64: E6B7D79DA7F46C5D Time : 0.0 sec. user=mdettweiler [2015-10-20 20:57:20] 903*2^1412762-1 is not prime. Res64: 4D43CBECF18593FF Time : 0.0 sec. user=mdettweiler [2015-10-20 21:12:12] 935*2^1412762-1 is not prime. Res64: AD0FCC7A407DA06B Time : 0.0 sec. user=mdettweiler [2015-10-20 21:12:12] 675*2^1412763-1 is not prime. Res64: F0DE55CB058F126A Time : 0.0 sec. user=mdettweiler [2015-10-20 21:12:32] 685*2^1412763-1 is not prime. Res64: 6387DFB94AC67B6B Time : 0.0 sec. user=mdettweiler [2015-10-20 21:12:32] 793*2^1412763-1 is not prime. Res64: 3259053342501E04 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:13:52] 835*2^1412763-1 is not prime. Res64: B4C169AB084C0FA0 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:13:52] 949*2^1412763-1 is not prime. Res64: EA185ED174239DD9 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:15:59] 961*2^1412763-1 is not prime. Res64: C9AC748578E99E48 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:15:59] 869*2^1412764-1 is not prime. Res64: 7BCDCFE652605337 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:30:31] 989*2^1412764-1 is not prime. Res64: 207FDEC833D2E38B Time : 0.0 sec. user=mdettweiler [2015-10-20 21:30:31] 649*2^1412765-1 is not prime. Res64: C80543666E6983E4 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:30:58] 651*2^1412765-1 is not prime. Res64: 42288165525F43ED Time : 0.0 sec. user=mdettweiler [2015-10-20 21:30:58] 685*2^1412765-1 is not prime. Res64: 7D48B9BFCF9B2DF9 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:32:12] 711*2^1412765-1 is not prime. Res64: 2A24CCF4BB301673 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:32:12] 855*2^1412765-1 is not prime. Res64: D84783841B85470C Time : 0.0 sec. user=mdettweiler [2015-10-20 21:34:28] 615*2^1412766-1 is not prime. Res64: 5594EBEFF1F44268 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:34:28] 627*2^1412766-1 is not prime. Res64: 6A22C69F1991F2D3 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:49:14] 635*2^1412766-1 is not prime. Res64: 54B72FACD9D7BC81 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:49:14] 737*2^1412766-1 is not prime. Res64: BBCA8F82FD320C95 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:49:30] 975*2^1412766-1 is not prime. Res64: 5C75E1B1A3BEBB32 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:49:31] 1001*2^1412766-1 is not prime. Res64: B0A6F17CF89AEDCB Time : 0.0 sec. user=mdettweiler [2015-10-20 21:50:52] 775*2^1412767-1 is not prime. Res64: 3F60E8F4494E0132 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:50:52] 873*2^1412767-1 is not prime. Res64: 512A03B31A93D300 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:53:10] 919*2^1412767-1 is not prime. Res64: 65D2283F93943B27 Time : 0.0 sec. user=mdettweiler [2015-10-20 21:53:11] 669*2^1412768-1 is not prime. Res64: 9746D2C6B57DB8C3 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:07:15] 867*2^1412768-1 is not prime. Res64: 798AFF93863B96BE Time : 0.0 sec. user=mdettweiler [2015-10-20 22:07:15] 955*2^1412769-1 is not prime. Res64: 6590791492D853FB Time : 0.0 sec. user=mdettweiler [2015-10-20 22:07:38] 677*2^1412770-1 is not prime. Res64: AE5BB115DC1FCF65 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:07:39] 713*2^1412770-1 is not prime. Res64: 31887B288C26A754 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:08:48] 857*2^1412770-1 is not prime. Res64: A505F7F7DA3273D8 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:08:50] 945*2^1412770-1 is not prime. Res64: AE57D2CC0C1C8334 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:11:04] 619*2^1412771-1 is not prime. Res64: 2B71BF2CDB6FBE5E Time : 0.0 sec. user=mdettweiler [2015-10-20 22:11:05] 643*2^1412771-1 is not prime. Res64: AE85EB548CB16F5A Time : 0.0 sec. user=mdettweiler [2015-10-20 22:24:59] 663*2^1412771-1 is not prime. Res64: 2076FE0B27E4EEFA Time : 0.0 sec. user=mdettweiler [2015-10-20 22:24:59] 841*2^1412771-1 is not prime. Res64: 3C06C443E4BC7691 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:25:17] 943*2^1412771-1 is not prime. Res64: 68CCFD33D447E056 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:25:18] 955*2^1412771-1 is not prime. Res64: B617706A8E199118 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:26:36] 979*2^1412771-1 is not prime. Res64: 4690312C81E8B222 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:26:36] 737*2^1412772-1 is not prime. Res64: FC114166D5506EA0 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:28:51] 777*2^1412772-1 is not prime. Res64: 71EDDF6761064714 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:28:51] 819*2^1412772-1 is not prime. Res64: 60D346E33F9742EC Time : 0.0 sec. user=mdettweiler [2015-10-20 22:42:46] 857*2^1412772-1 is not prime. Res64: F0E94F047497BEAE Time : 0.0 sec. user=mdettweiler [2015-10-20 22:42:47] 681*2^1412773-1 is not prime. Res64: 62CBACA0FA23FAEB Time : 0.0 sec. user=mdettweiler [2015-10-20 22:43:01] 801*2^1412773-1 is not prime. Res64: 48FCB8E4946743F5 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:43:01] 859*2^1412773-1 is not prime. Res64: 01679B925B614354 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:44:18] 877*2^1412773-1 is not prime. Res64: 24AE0EDE02DDE7E0 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:44:19] 885*2^1412773-1 is not prime. Res64: 0BE781900E2B9419 Time : 0.0 sec. user=mdettweiler [2015-10-20 22:46:33] 987*2^1412773-1 is not prime. Res64: 6D5D95A0898D5C5A Time : 0.0 sec. user=mdettweiler [2015-10-20 22:46:33] 623*2^1412774-1 is not prime. Res64: 1B51A7C26A3C9B84 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:01:09] 687*2^1412774-1 is not prime. Res64: 70E9E4F03FC70FD0 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:01:11] 743*2^1412774-1 is not prime. Res64: F19E4DA93CBCDE85 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:01:27] 887*2^1412774-1 is not prime. Res64: 59A9E45D365DDA5A Time : 0.0 sec. user=mdettweiler [2015-10-20 23:01:29] 935*2^1412774-1 is not prime. Res64: 293F4315C1A7740F Time : 0.0 sec. user=mdettweiler [2015-10-20 23:02:49] 941*2^1412774-1 is not prime. Res64: 03D5C83B478868D1 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:02:51] 957*2^1412774-1 is not prime. Res64: 3589C1B476F3C240 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:05:32] 651*2^1412775-1 is not prime. Res64: 7CB3590EAEE0585A Time : 0.0 sec. user=mdettweiler [2015-10-20 23:05:34] 709*2^1412775-1 is not prime. Res64: B08D65C675F45A67 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:21:42] 933*2^1412775-1 is not prime. Res64: 654B119BB55B0B89 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:21:43] 969*2^1412775-1 is not prime. Res64: 1A42A5C21E43BE3A Time : 0.0 sec. user=mdettweiler [2015-10-20 23:22:14] 991*2^1412775-1 is not prime. Res64: 365B3AC253A33214 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:22:14] 639*2^1412776-1 is not prime. Res64: 2B05A97D095AEDD1 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:24:05] 755*2^1412776-1 is not prime. Res64: 5382E7083F5F839D Time : 0.0 sec. user=mdettweiler [2015-10-20 23:24:05] 873*2^1412776-1 is not prime. Res64: 2B4D84D08F59B2A1 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:26:07] 923*2^1412776-1 is not prime. Res64: F9316FDA00A170D2 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:26:07] 675*2^1412777-1 is not prime. Res64: EAE8D9B89FC831C1 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:39:55] 685*2^1412777-1 is not prime. Res64: 61631BDDDBBF9CD9 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:39:56] 697*2^1412777-1 is not prime. Res64: A12DB6FF879EF277 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:40:37] 711*2^1412777-1 is not prime. Res64: 411C0725D46D4FF8 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:40:38] 865*2^1412777-1 is not prime. Res64: CE4846375CAEA3B7 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:42:24] 909*2^1412777-1 is not prime. Res64: D9A617640F56F982 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:42:25] 997*2^1412777-1 is not prime. Res64: DDEE43419DA587F2 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:44:28] 663*2^1412778-1 is not prime. Res64: 5D4C1B61EF6F56E1 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:44:29] 695*2^1412778-1 is not prime. Res64: 5B51EC5EDCB97A9A Time : 0.0 sec. user=mdettweiler [2015-10-20 23:58:51] 773*2^1412778-1 is not prime. Res64: 3CAB7999CFD6AF51 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:58:51] 815*2^1412778-1 is not prime. Res64: F012F33D74E15F8A Time : 0.0 sec. user=mdettweiler [2015-10-20 23:59:20] 893*2^1412778-1 is not prime. Res64: 8EBB5B2B1CBEF4A8 Time : 0.0 sec. user=mdettweiler [2015-10-20 23:59:20] 675*2^1412779-1 is not prime. Res64: 7097DBBB5B339DE1 Time : 0.0 sec.