user=mdettweiler [2015-12-21 00:13:53] 885*2^1417838-1 is not prime. Res64: C052AEBF17465681 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:13:53] 941*2^1417838-1 is not prime. Res64: 66914DF90354EC17 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:13:54] 971*2^1417838-1 is not prime. Res64: BEA7B66B1BC7F395 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:13:54] 911*2^1417838-1 is not prime. Res64: BEE61C4FEB205A0D Time : 0.0 sec. user=mdettweiler [2015-12-21 00:31:59] 745*2^1417839-1 is not prime. Res64: 99157F5CCDFAC177 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:31:59] 751*2^1417839-1 is not prime. Res64: 163802F4BEE33581 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:31:59] 613*2^1417839-1 is not prime. Res64: 86C2E1BA44BB9F97 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:32:00] 721*2^1417839-1 is not prime. Res64: CD9E3603D2A93BF8 Time : 0.0 sec. user=mdettweiler [2015-12-21 00:50:00] 819*2^1417840-1 is not prime. Res64: 1DBCB0DA89ECE0FC Time : 0.0 sec. user=mdettweiler [2015-12-21 00:50:00] 845*2^1417840-1 is not prime. Res64: CDF226E26655897C Time : 0.0 sec. user=mdettweiler [2015-12-21 00:50:02] 921*2^1417839-1 is not prime. Res64: 0649A92EA3EE3C7B Time : 0.0 sec. user=mdettweiler [2015-12-21 00:50:02] 689*2^1417840-1 is not prime. Res64: 003559D49ACCCC6B Time : 0.0 sec. user=mdettweiler [2015-12-21 01:07:57] 873*2^1417840-1 is not prime. Res64: 6B5EC28DD59CD3CA Time : 0.0 sec. user=mdettweiler [2015-12-21 01:07:57] 939*2^1417840-1 is not prime. Res64: 17884BEBC58ED6B8 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:07:57] 959*2^1417840-1 is not prime. Res64: DF0EBDCF38861379 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:07:58] 601*2^1417841-1 is not prime. Res64: A133F734188F0632 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:25:55] 879*2^1417841-1 is not prime. Res64: 4D32877B70926FE6 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:25:56] 769*2^1417841-1 is not prime. Res64: 38DABFD4EB41E9B0 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:25:57] 633*2^1417842-1 is not prime. Res64: D6777CC867DC76BC Time : 0.0 sec. user=mdettweiler [2015-12-21 01:25:57] 713*2^1417842-1 is not prime. Res64: 3A46FF00F21EE878 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:43:58] 807*2^1417842-1 is not prime. Res64: 2EDB1770BB333EE0 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:43:59] 945*2^1417842-1 is not prime. Res64: 6F55A6462166EE38 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:43:59] 693*2^1417843-1 is not prime. Res64: 611C241DAF15BB08 Time : 0.0 sec. user=mdettweiler [2015-12-21 01:43:59] 883*2^1417843-1 is not prime. Res64: FDE92A60C4C94532 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:01:44] 985*2^1417843-1 is not prime. Res64: 45B3EFFB57FFEC05 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:01:44] 891*2^1417843-1 is not prime. Res64: E3B83955F8A77E3B Time : 0.0 sec. user=mdettweiler [2015-12-21 02:01:44] 635*2^1417844-1 is not prime. Res64: 68D02F4DD0158E22 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:01:44] 919*2^1417843-1 is not prime. Res64: 15B1C2788ED3DBAE Time : 0.0 sec. user=mdettweiler [2015-12-21 02:20:12] 767*2^1417844-1 is not prime. Res64: 5FDB4E82BFF26D79 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:20:13] 855*2^1417844-1 is not prime. Res64: 019C9F9BA6400FE9 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:20:13] 929*2^1417844-1 is not prime. Res64: 9F9F79CE6164BD9D Time : 0.0 sec. user=mdettweiler [2015-12-21 02:20:13] 959*2^1417844-1 is not prime. Res64: A8AA864E2A8399C8 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:37:43] 655*2^1417845-1 is not prime. Res64: 07CF12959243D957 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:37:44] 885*2^1417845-1 is not prime. Res64: A3E90C4F5EBA930B Time : 0.0 sec. user=mdettweiler [2015-12-21 02:37:45] 889*2^1417845-1 is not prime. Res64: 412F2E4BF4D2CAC6 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:37:45] 927*2^1417845-1 is not prime. Res64: EF0708A514861413 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:55:17] 677*2^1417846-1 is not prime. Res64: 0D4939A46A85B098 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:55:17] 855*2^1417846-1 is not prime. Res64: A8F724409B59B920 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:55:19] 623*2^1417846-1 is not prime. Res64: 3CF3C92B559CF1D4 Time : 0.0 sec. user=mdettweiler [2015-12-21 02:55:19] 647*2^1417846-1 is not prime. Res64: C95EB7145C469FBC Time : 0.0 sec. user=mdettweiler [2015-12-21 03:12:47] 957*2^1417846-1 is not prime. Res64: 6D4F75F50ECD3189 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:12:48] 987*2^1417846-1 is not prime. Res64: 40C847BCF9E97F27 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:12:50] 603*2^1417847-1 is not prime. Res64: 34B49DCADEBF04BC Time : 0.0 sec. user=mdettweiler [2015-12-21 03:12:51] 759*2^1417847-1 is not prime. Res64: 1DDA88C6BE92DCF2 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:30:22] 831*2^1417847-1 is not prime. Res64: B13FBEB95E099F0B Time : 0.0 sec. user=mdettweiler [2015-12-21 03:30:22] 895*2^1417847-1 is not prime. Res64: A81CDC75B2FC32A8 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:30:26] 885*2^1417847-1 is not prime. Res64: 19DB7E3ABF79A955 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:30:28] 773*2^1417848-1 is not prime. Res64: A02652A369396542 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:48:15] 959*2^1417848-1 is not prime. Res64: C78BCD537B9A1656 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:48:15] 875*2^1417848-1 is not prime. Res64: 78335A9A237ACDF5 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:48:18] 609*2^1417849-1 is not prime. Res64: 6C70B7AA1BB24E48 Time : 0.0 sec. user=mdettweiler [2015-12-21 03:48:19] 899*2^1417848-1 is not prime. Res64: 1D87C10827A25F96 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:06:13] 675*2^1417849-1 is not prime. Res64: 2AF35D910666C7E7 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:06:14] 771*2^1417849-1 is not prime. Res64: 288301B42F8F9CC8 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:06:15] 729*2^1417849-1 is not prime. Res64: D7DE97E7D205DB97 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:06:17] 895*2^1417849-1 is not prime. Res64: 42B6FA46F4156986 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:24:08] 675*2^1417850-1 is not prime. Res64: 8566B399A5DD876C Time : 0.0 sec. user=mdettweiler [2015-12-21 04:24:09] 987*2^1417849-1 is not prime. Res64: 020F767BCC249F09 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:24:09] 713*2^1417850-1 is not prime. Res64: C99B27123ED00BCA Time : 0.0 sec. user=mdettweiler [2015-12-21 04:24:10] 615*2^1417850-1 is not prime. Res64: A9001F1DE2489C1B Time : 0.0 sec. user=mdettweiler [2015-12-21 04:41:53] 977*2^1417850-1 is not prime. Res64: 4DF0EF372F9D231D Time : 0.0 sec. user=mdettweiler [2015-12-21 04:41:53] 851*2^1417850-1 is not prime. Res64: F8284F10CE1E9382 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:41:54] 723*2^1417851-1 is not prime. Res64: 0A3CA0BF14467181 Time : 0.0 sec. user=mdettweiler [2015-12-21 04:41:54] 971*2^1417850-1 is not prime. Res64: 05792EC723E3B54A Time : 0.0 sec. user=mdettweiler [2015-12-21 04:59:30] 751*2^1417851-1 is not prime. Res64: 45669944A3E7660E Time : 0.0 sec. user=mdettweiler [2015-12-21 04:59:30] 801*2^1417851-1 is not prime. Res64: 5747EE3E2A763B3D Time : 0.0 sec. user=mdettweiler [2015-12-21 04:59:31] 769*2^1417851-1 is not prime. Res64: D36EDCF197C32D9E Time : 0.0 sec. user=mdettweiler [2015-12-21 04:59:31] 871*2^1417851-1 is not prime. Res64: D6D586F0350FEEE4 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:17:06] 991*2^1417851-1 is not prime. Res64: 829727C06962496B Time : 0.0 sec. user=mdettweiler [2015-12-21 05:17:07] 931*2^1417851-1 is not prime. Res64: BBF53912E45EA378 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:17:07] 705*2^1417852-1 is not prime. Res64: 0F82637A2896BB15 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:17:08] 961*2^1417851-1 is not prime. Res64: 4AA69DA4DCC6720B Time : 0.0 sec. user=mdettweiler [2015-12-21 05:34:48] 719*2^1417852-1 is not prime. Res64: 41B48C0C57807AD7 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:34:49] 825*2^1417852-1 is not prime. Res64: 69A9F8CCC8ED9776 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:34:50] 875*2^1417852-1 is not prime. Res64: 1F32BC3DA6FEF62C Time : 0.0 sec. user=mdettweiler [2015-12-21 05:34:51] 897*2^1417852-1 is not prime. Res64: 08C5C11B9CD2254F Time : 0.0 sec. user=mdettweiler [2015-12-21 05:52:25] 741*2^1417853-1 is not prime. Res64: CB20712918E13A1D Time : 0.0 sec. user=mdettweiler [2015-12-21 05:52:26] 937*2^1417853-1 is not prime. Res64: 706605D18B75D293 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:52:28] 929*2^1417852-1 is not prime. Res64: E60442FE649310B0 Time : 0.0 sec. user=mdettweiler [2015-12-21 05:52:29] 947*2^1417852-1 is not prime. Res64: D4B2B7F3F8944060 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:10:03] 651*2^1417854-1 is not prime. Res64: 75B5F7B0B99A5E63 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:10:05] 683*2^1417854-1 is not prime. Res64: 51E6C54CFDB2B94B Time : 0.0 sec. user=mdettweiler [2015-12-21 06:10:06] 731*2^1417854-1 is not prime. Res64: A067286B788042F8 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:10:07] 601*2^1417855-1 is not prime. Res64: E6D74A8B4E694C34 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:27:42] 693*2^1417855-1 is not prime. Res64: 7568C44244F5655A Time : 0.0 sec. user=mdettweiler [2015-12-21 06:27:42] 919*2^1417855-1 is not prime. Res64: C6EEC68855C5C155 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:27:43] 829*2^1417855-1 is not prime. Res64: 91855468666B9152 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:27:43] 743*2^1417856-1 is not prime. Res64: 4E0C3B8B5C8CB3C9 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:45:19] 935*2^1417856-1 is not prime. Res64: 6EFC963D5CF57BD3 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:45:20] 993*2^1417856-1 is not prime. Res64: 9A328E8A977C8629 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:45:21] 785*2^1417856-1 is not prime. Res64: D8E33417E1A1E224 Time : 0.0 sec. user=mdettweiler [2015-12-21 06:45:22] 893*2^1417856-1 is not prime. Res64: E1C5EEB6A31D205F Time : 0.0 sec. user=mdettweiler [2015-12-21 07:02:55] 765*2^1417857-1 is not prime. Res64: B9F24371BB0C4A15 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:02:57] 777*2^1417857-1 is not prime. Res64: 64D50EE13C5BCE82 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:03:00] 885*2^1417857-1 is not prime. Res64: 71313EEF87BE7C45 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:03:01] 997*2^1417857-1 is not prime. Res64: DE67E67863474C0F Time : 0.0 sec. user=mdettweiler [2015-12-21 07:20:54] 605*2^1417858-1 is not prime. Res64: 7F34A19081EB6ADB Time : 0.0 sec. user=mdettweiler [2015-12-21 07:20:54] 681*2^1417858-1 is not prime. Res64: 54A3B8E43D0CB3D5 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:20:55] 665*2^1417858-1 is not prime. Res64: 94A106FC060E3AFC Time : 0.0 sec. user=mdettweiler [2015-12-21 07:20:55] 705*2^1417858-1 is not prime. Res64: C99A0D9AE2EDA000 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:38:30] 773*2^1417858-1 is not prime. Res64: B11A216BB3230295 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:38:31] 911*2^1417858-1 is not prime. Res64: 678B473D68504DD9 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:38:33] 923*2^1417858-1 is not prime. Res64: C7129312D984654C Time : 0.0 sec. user=mdettweiler [2015-12-21 07:38:34] 933*2^1417858-1 is not prime. Res64: A7E1F4F1ADB3DC67 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:56:06] 643*2^1417859-1 is not prime. Res64: 3427B7D870CCD30F Time : 0.0 sec. user=mdettweiler [2015-12-21 07:56:07] 711*2^1417859-1 is not prime. Res64: E09E4665C141DF4E Time : 0.0 sec. user=mdettweiler [2015-12-21 07:56:10] 829*2^1417859-1 is not prime. Res64: A67234D9EC43BFB1 Time : 0.0 sec. user=mdettweiler [2015-12-21 07:56:11] 885*2^1417859-1 is not prime. Res64: 43229D85388719FB Time : 0.0 sec. user=mdettweiler [2015-12-21 08:13:44] 699*2^1417860-1 is not prime. Res64: B6386A3CC9712D35 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:13:46] 759*2^1417860-1 is not prime. Res64: 463142A98BE5671A Time : 0.0 sec. user=mdettweiler [2015-12-21 08:13:51] 767*2^1417860-1 is not prime. Res64: 62EE4EBE584B2DD0 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:13:53] 691*2^1417861-1 is not prime. Res64: 83687D683DB3AE87 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:31:30] 951*2^1417861-1 is not prime. Res64: 0AB67CB50CA35D99 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:31:31] 617*2^1417862-1 is not prime. Res64: A32C883A22E045BC Time : 0.0 sec. user=mdettweiler [2015-12-21 08:31:33] 771*2^1417861-1 is not prime. Res64: 96B0593CC789B7DF Time : 0.0 sec. user=mdettweiler [2015-12-21 08:31:34] 817*2^1417861-1 is not prime. Res64: DA4139A11A046E85 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:49:11] 705*2^1417862-1 is not prime. Res64: 70EA62C2758E16CE Time : 0.0 sec. user=mdettweiler [2015-12-21 08:49:12] 761*2^1417862-1 is not prime. Res64: DB6C20F2833F2044 Time : 0.0 sec. user=mdettweiler [2015-12-21 08:49:13] 897*2^1417862-1 is not prime. Res64: B46BD60204A8B9AD Time : 0.0 sec. user=mdettweiler [2015-12-21 08:49:13] 963*2^1417862-1 is not prime. Res64: FBFBA599F34F126B Time : 0.0 sec. user=mdettweiler [2015-12-21 09:06:48] 691*2^1417863-1 is not prime. Res64: 1B80599159FE0EB7 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:06:49] 709*2^1417863-1 is not prime. Res64: 94EF5DB84716324B Time : 0.0 sec. user=mdettweiler [2015-12-21 09:06:50] 919*2^1417863-1 is not prime. Res64: BFEAF0774A687BF8 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:06:52] 945*2^1417863-1 is not prime. Res64: 4C9DCEE4C4EFB02F Time : 0.0 sec. user=mdettweiler [2015-12-21 09:24:30] 969*2^1417863-1 is not prime. Res64: 64202DE7C959AB2F Time : 0.0 sec. user=mdettweiler [2015-12-21 09:24:31] 609*2^1417864-1 is not prime. Res64: BEE040CB9B28C685 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:24:31] 951*2^1417863-1 is not prime. Res64: D29FD49935035414 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:24:32] 963*2^1417863-1 is not prime. Res64: 822BD1CC541B2740 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:42:03] 743*2^1417864-1 is not prime. Res64: 52370A22CE3DFD59 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:42:04] 765*2^1417864-1 is not prime. Res64: 614324ED0FF3E96E Time : 0.0 sec. user=mdettweiler [2015-12-21 09:42:07] 825*2^1417864-1 is not prime. Res64: B2D4C3113609A722 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:42:08] 849*2^1417864-1 is not prime. Res64: A90B0D834C587CB9 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:59:34] 857*2^1417864-1 is not prime. Res64: 6F6CF1C340B16849 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:59:34] 903*2^1417864-1 is not prime. Res64: 870D7B1232716717 Time : 0.0 sec. user=mdettweiler [2015-12-21 09:59:36] 923*2^1417864-1 is not prime. Res64: 2C204CA45DFC338F Time : 0.0 sec. user=mdettweiler [2015-12-21 09:59:37] 983*2^1417864-1 is not prime. Res64: 8238E9836ACF5B05 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:17:03] 993*2^1417864-1 is not prime. Res64: FCB28B3767269765 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:17:04] 685*2^1417865-1 is not prime. Res64: 4179C601F74125DA Time : 0.0 sec. user=mdettweiler [2015-12-21 10:17:06] 721*2^1417865-1 is not prime. Res64: 3508645939CB968A Time : 0.0 sec. user=mdettweiler [2015-12-21 10:17:07] 787*2^1417865-1 is not prime. Res64: FF6050CD60CEC383 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:34:34] 831*2^1417865-1 is not prime. Res64: 9B074D7026E43B36 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:34:34] 955*2^1417865-1 is not prime. Res64: 0D499FB78F10205C Time : 0.0 sec. user=mdettweiler [2015-12-21 10:34:36] 611*2^1417866-1 is not prime. Res64: 478AAFEAB10888C3 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:34:36] 633*2^1417866-1 is not prime. Res64: E22C864B84ED270C Time : 0.0 sec. user=mdettweiler [2015-12-21 10:52:04] 671*2^1417866-1 is not prime. Res64: 63BF3230D2009AAD Time : 0.0 sec. user=mdettweiler [2015-12-21 10:52:04] 683*2^1417866-1 is not prime. Res64: 087E9FE137E2B1FE Time : 0.0 sec. user=mdettweiler [2015-12-21 10:52:05] 783*2^1417866-1 is not prime. Res64: 6DFFBA86C3DB33D1 Time : 0.0 sec. user=mdettweiler [2015-12-21 10:52:05] 815*2^1417866-1 is not prime. Res64: 4CEE80DD7F779FFD Time : 0.0 sec. user=mdettweiler [2015-12-21 11:09:33] 917*2^1417866-1 is not prime. Res64: 4759782EEDA3D569 Time : 0.0 sec. user=mdettweiler [2015-12-21 11:09:33] 851*2^1417866-1 is not prime. Res64: 60B122212486B42E Time : 0.0 sec. user=mdettweiler [2015-12-21 11:09:34] 601*2^1417867-1 is not prime. Res64: 00C87BA06E26F1BA Time : 0.0 sec. user=mdettweiler [2015-12-21 11:09:35] 873*2^1417866-1 is not prime. Res64: 4C11F60B7DE00845 Time : 0.0 sec. user=mdettweiler [2015-12-21 11:27:12] 603*2^1417867-1 is not prime. Res64: A0BFF219615A0F65 Time : 0.0 sec. user=mdettweiler [2015-12-21 11:27:12] 615*2^1417867-1 is not prime. Res64: 1C9062D1490EA7D1 Time : 0.0 sec. user=mdettweiler [2015-12-21 11:27:13] 619*2^1417867-1 is not prime. Res64: CCC1963DEBAA1CFB Time : 0.0 sec. user=mdettweiler [2015-12-21 11:27:13] 675*2^1417867-1 is not prime. Res64: DC5F5C88E5ADEFB1 Time : 0.0 sec. user=mdettweiler [2015-12-21 11:44:42] 901*2^1417867-1 is not prime. Res64: 98490E28CEA2B29D Time : 0.0 sec. user=mdettweiler [2015-12-21 11:44:42] 819*2^1417867-1 is not prime. Res64: 37A30D6F58AD9B8C Time : 0.0 sec. user=mdettweiler [2015-12-21 11:44:42] 975*2^1417867-1 is not prime. Res64: F78E10520111114E Time : 0.0 sec. user=mdettweiler [2015-12-21 11:44:42] 835*2^1417867-1 is not prime. Res64: 54524BECD141E0BD Time : 0.0 sec. user=mdettweiler [2015-12-21 12:02:13] 635*2^1417868-1 is not prime. Res64: 8A57E331A0944F2E Time : 0.0 sec. user=mdettweiler [2015-12-21 12:02:14] 773*2^1417868-1 is not prime. Res64: 1C81101F6CBD64BF Time : 0.0 sec. user=mdettweiler [2015-12-21 12:02:14] 867*2^1417868-1 is not prime. Res64: DDC1683B5457A6B3 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:02:15] 869*2^1417868-1 is not prime. Res64: E7A3C3C77A584FA0 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:20:01] 667*2^1417869-1 is not prime. Res64: 1899D8E195CBAF22 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:20:01] 969*2^1417868-1 is not prime. Res64: E090A8E79A3CE4C3 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:20:01] 927*2^1417869-1 is not prime. Res64: 2FCA38AB6BE7C8ED Time : 0.0 sec. user=mdettweiler [2015-12-21 12:20:02] 625*2^1417869-1 is not prime. Res64: D10593E6DB963733 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:37:32] 955*2^1417869-1 is not prime. Res64: 22BCE0866CBF5B74 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:37:32] 695*2^1417870-1 is not prime. Res64: 51493584C78F5D28 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:37:32] 687*2^1417870-1 is not prime. Res64: F6CFAC7E91828527 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:37:32] 717*2^1417870-1 is not prime. Res64: 8655BF8BFA888A86 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:55:01] 773*2^1417870-1 is not prime. Res64: 067163C5AA6872B2 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:55:01] 813*2^1417870-1 is not prime. Res64: AD2F758C090EA968 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:55:03] 915*2^1417870-1 is not prime. Res64: B3B3AA38F5320D72 Time : 0.0 sec. user=mdettweiler [2015-12-21 12:55:03] 645*2^1417871-1 is not prime. Res64: 0376D1AC6EA7FD87 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:12:31] 657*2^1417872-1 is not prime. Res64: 80A7AAE54EBD0A2D Time : 0.0 sec. user=mdettweiler [2015-12-21 13:12:32] 837*2^1417872-1 is not prime. Res64: 952E4C7322CEF896 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:12:32] 945*2^1417872-1 is not prime. Res64: D62FB6179377D399 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:12:33] 615*2^1417873-1 is not prime. Res64: 42CAD618E3CFD172 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:30:10] 789*2^1417873-1 is not prime. Res64: F2DF326590A7DC86 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:30:10] 721*2^1417873-1 is not prime. Res64: 24F6027E8140E1F1 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:30:10] 805*2^1417873-1 is not prime. Res64: 4ADE0038EAFD2CC8 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:30:10] 765*2^1417873-1 is not prime. Res64: 6BAF699E19048F6A Time : 0.0 sec. user=mdettweiler [2015-12-21 13:47:42] 861*2^1417873-1 is not prime. Res64: 87D766AB52A4F70D Time : 0.0 sec. user=mdettweiler [2015-12-21 13:47:42] 885*2^1417873-1 is not prime. Res64: BD98FECD93900B26 Time : 0.0 sec. user=mdettweiler [2015-12-21 13:47:43] 817*2^1417873-1 is not prime. Res64: 7B7D46030F4F43AC Time : 0.0 sec. user=mdettweiler [2015-12-21 13:47:43] 847*2^1417873-1 is not prime. Res64: 445D2EFDD2946041 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:05:12] 895*2^1417873-1 is not prime. Res64: 5A47C536CAE83872 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:05:14] 897*2^1417873-1 is not prime. Res64: 2C8A6BAF05FECA2E Time : 0.0 sec. user=mdettweiler [2015-12-21 14:05:15] 785*2^1417874-1 is not prime. Res64: F8A42049781C90D6 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:05:15] 885*2^1417874-1 is not prime. Res64: 751D8D822AA0A093 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:23:09] 609*2^1417875-1 is not prime. Res64: A4FC92155E7E7FB7 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:23:10] 679*2^1417875-1 is not prime. Res64: 8675B89003909A31 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:23:10] 993*2^1417874-1 is not prime. Res64: D5E33862EDC92350 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:23:11] 801*2^1417875-1 is not prime. Res64: 1CA1E9B60C0BC5E7 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:40:38] 873*2^1417875-1 is not prime. Res64: A09D505EFC81D525 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:40:39] 913*2^1417875-1 is not prime. Res64: 9A48C0DDBC9B7D11 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:40:39] 963*2^1417875-1 is not prime. Res64: F67185510D1A05AD Time : 0.0 sec. user=mdettweiler [2015-12-21 14:40:40] 695*2^1417876-1 is not prime. Res64: 2ADE496E37E380E3 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:58:08] 743*2^1417876-1 is not prime. Res64: A708BC1B68B95DE3 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:58:08] 785*2^1417876-1 is not prime. Res64: 19659092F0F21B27 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:58:08] 873*2^1417876-1 is not prime. Res64: 34CF075DA587BA39 Time : 0.0 sec. user=mdettweiler [2015-12-21 14:58:09] 909*2^1417876-1 is not prime. Res64: F3ED2427D73DA9F6 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:15:38] 933*2^1417876-1 is not prime. Res64: 0A5215D03B3DB013 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:15:38] 957*2^1417876-1 is not prime. Res64: 612BFC3E8EC94155 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:15:38] 939*2^1417876-1 is not prime. Res64: F968470F1ACCA9B9 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:15:39] 655*2^1417877-1 is not prime. Res64: 63D0B84936B57137 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:33:09] 697*2^1417877-1 is not prime. Res64: BB7FF0EFD2D4E7C0 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:33:09] 759*2^1417877-1 is not prime. Res64: 5869EDD965DA14FF Time : 0.0 sec. user=mdettweiler [2015-12-21 15:33:09] 727*2^1417877-1 is not prime. Res64: 4B2FAEEBA91FD7C5 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:33:09] 777*2^1417877-1 is not prime. Res64: 478EC08DBA24420E Time : 0.0 sec. user=mdettweiler [2015-12-21 15:50:39] 865*2^1417877-1 is not prime. Res64: 41BAF77D54EE5022 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:50:40] 927*2^1417877-1 is not prime. Res64: 0E8E012D8C8BA1D8 Time : 0.0 sec. user=mdettweiler [2015-12-21 15:50:40] 829*2^1417877-1 is not prime. Res64: E8BCC7AF60AE9C9E Time : 0.0 sec. user=mdettweiler [2015-12-21 15:50:40] 859*2^1417877-1 is not prime. Res64: 62D9F01D56AAB0C5 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:08:08] 627*2^1417878-1 is not prime. Res64: 96E674744EF2788C Time : 0.0 sec. user=mdettweiler [2015-12-21 16:08:10] 937*2^1417877-1 is not prime. Res64: 83A63F6EE0592CB2 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:08:11] 657*2^1417878-1 is not prime. Res64: 2BD5772918204D55 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:08:12] 949*2^1417877-1 is not prime. Res64: DCD597B3A62A0A58 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:26:26] 795*2^1417878-1 is not prime. Res64: 2288E84DFB02D34C Time : 0.0 sec. user=mdettweiler [2015-12-21 16:26:26] 975*2^1417878-1 is not prime. Res64: A5F9C69EE2A24A11 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:26:26] 663*2^1417879-1 is not prime. Res64: 70CAF104086A53A2 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:26:27] 763*2^1417879-1 is not prime. Res64: AA17987E33B65958 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:43:56] 883*2^1417879-1 is not prime. Res64: D6EF271C0C0A4724 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:43:56] 939*2^1417879-1 is not prime. Res64: 4B42A7713337ACB9 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:43:56] 841*2^1417879-1 is not prime. Res64: 53CD73265E63E9D4 Time : 0.0 sec. user=mdettweiler [2015-12-21 16:43:57] 859*2^1417879-1 is not prime. Res64: 625482884C761E73 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:01:26] 603*2^1417880-1 is not prime. Res64: 6F5BD7CCCD9DDAC5 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:01:27] 743*2^1417880-1 is not prime. Res64: 7EAC659FE51C2DD3 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:01:27] 615*2^1417880-1 is not prime. Res64: 1D152E10B56B3676 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:01:27] 795*2^1417880-1 is not prime. Res64: F4CD3060000B4866 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:19:12] 929*2^1417880-1 is not prime. Res64: 5B47A7A7A3846AA7 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:19:12] 625*2^1417881-1 is not prime. Res64: AC5A1BF63EE94617 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:19:12] 983*2^1417880-1 is not prime. Res64: F3288C98CAA6C634 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:19:13] 637*2^1417881-1 is not prime. Res64: FEA5E3D1F3CB6D57 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:36:43] 675*2^1417881-1 is not prime. Res64: 8776A5AD9D30A062 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:36:43] 657*2^1417881-1 is not prime. Res64: 9316D62F0786FE3F Time : 0.0 sec. user=mdettweiler [2015-12-21 17:36:44] 691*2^1417881-1 is not prime. Res64: D8C9A0F295796EFE Time : 0.0 sec. user=mdettweiler [2015-12-21 17:36:44] 661*2^1417881-1 is not prime. Res64: A672FE6CC1EBF5DD Time : 0.0 sec. user=mdettweiler [2015-12-21 17:54:13] 849*2^1417881-1 is not prime. Res64: 673FC8AE67D38C5B Time : 0.0 sec. user=mdettweiler [2015-12-21 17:54:14] 895*2^1417881-1 is not prime. Res64: 6CA6D97945B6BA9E Time : 0.0 sec. user=mdettweiler [2015-12-21 17:54:15] 795*2^1417881-1 is not prime. Res64: 4FD4E5905343EAC2 Time : 0.0 sec. user=mdettweiler [2015-12-21 17:54:15] 807*2^1417881-1 is not prime. Res64: 6A67A74A8C598F71 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:11:44] 949*2^1417881-1 is not prime. Res64: 7ED7A630867BCA8A Time : 0.0 sec. user=mdettweiler [2015-12-21 18:11:45] 991*2^1417881-1 is not prime. Res64: 346591570F889752 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:11:46] 623*2^1417882-1 is not prime. Res64: 3142A1AB9EF2FD98 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:11:46] 741*2^1417882-1 is not prime. Res64: 0C4000EED8680D92 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:29:25] 827*2^1417882-1 is not prime. Res64: 3268ED2E3CA8BFDB Time : 0.0 sec. user=mdettweiler [2015-12-21 18:29:26] 987*2^1417882-1 is not prime. Res64: 81D5BD0A0B770567 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:29:26] 983*2^1417882-1 is not prime. Res64: 0585C9F1827427CB Time : 0.0 sec. user=mdettweiler [2015-12-21 18:29:26] 633*2^1417883-1 is not prime. Res64: 88D086EDEB06C33B Time : 0.0 sec. user=mdettweiler [2015-12-21 18:46:56] 705*2^1417883-1 is not prime. Res64: E9F5BBA84CD457A3 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:46:56] 921*2^1417883-1 is not prime. Res64: 378769D71E42B55E Time : 0.0 sec. user=mdettweiler [2015-12-21 18:46:56] 753*2^1417883-1 is not prime. Res64: 080FFAF20636DA35 Time : 0.0 sec. user=mdettweiler [2015-12-21 18:46:56] 639*2^1417884-1 is not prime. Res64: F34A111954ECCDF6 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:04:26] 959*2^1417884-1 is not prime. Res64: DB5499328131D1AB Time : 0.0 sec. user=mdettweiler [2015-12-21 19:04:28] 689*2^1417884-1 is not prime. Res64: 76B357D405374AF1 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:04:28] 965*2^1417884-1 is not prime. Res64: EBB7A5041F8A4BA5 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:04:29] 863*2^1417884-1 is not prime. Res64: DAF105DEB27F7B5D Time : 0.0 sec. user=mdettweiler [2015-12-21 19:22:08] 741*2^1417885-1 is not prime. Res64: FD7B93C672B6E819 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:22:09] 759*2^1417885-1 is not prime. Res64: 5344D9DB61E663D5 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:22:12] 811*2^1417885-1 is not prime. Res64: A5ECA0FEF3729187 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:22:13] 871*2^1417885-1 is not prime. Res64: 05F16C3162247E6D Time : 0.0 sec. user=mdettweiler [2015-12-21 19:39:38] 897*2^1417885-1 is not prime. Res64: 50044F1FC1447415 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:39:38] 979*2^1417885-1 is not prime. Res64: 2570FE66857365CD Time : 0.0 sec. user=mdettweiler [2015-12-21 19:39:43] 705*2^1417886-1 is not prime. Res64: 792755FFC67ABB47 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:39:43] 713*2^1417886-1 is not prime. Res64: 5895D9552C380C2F Time : 0.0 sec. user=mdettweiler [2015-12-21 19:57:10] 717*2^1417886-1 is not prime. Res64: 9413D26010AE8B88 Time : 0.0 sec. user=mdettweiler [2015-12-21 19:57:10] 785*2^1417886-1 is not prime. Res64: 153A77BE00EF476D Time : 0.0 sec. user=mdettweiler [2015-12-21 19:57:12] 897*2^1417886-1 is not prime. Res64: 441E584614BDA33B Time : 0.0 sec. user=mdettweiler [2015-12-21 19:57:13] 957*2^1417886-1 is not prime. Res64: 4196661C074999CF Time : 0.0 sec. user=mdettweiler [2015-12-21 20:14:41] 643*2^1417887-1 is not prime. Res64: 7C2239D69C439D8B Time : 0.0 sec. user=mdettweiler [2015-12-21 20:14:42] 765*2^1417887-1 is not prime. Res64: 8E18AF88441510AA Time : 0.0 sec. user=mdettweiler [2015-12-21 20:14:43] 885*2^1417887-1 is not prime. Res64: A1E1101F5DDD7ECD Time : 0.0 sec. user=mdettweiler [2015-12-21 20:14:43] 973*2^1417887-1 is not prime. Res64: 38DFD45934016B3C Time : 0.0 sec. user=mdettweiler [2015-12-21 20:32:18] 777*2^1417888-1 is not prime. Res64: B973492AA355799B Time : 0.0 sec. user=mdettweiler [2015-12-21 20:32:18] 869*2^1417888-1 is not prime. Res64: 72FAF6000BADDE1A Time : 0.0 sec. user=mdettweiler [2015-12-21 20:32:18] 975*2^1417888-1 is not prime. Res64: 4F35CD51DEAD6D36 Time : 0.0 sec. user=mdettweiler [2015-12-21 20:32:18] 993*2^1417888-1 is not prime. Res64: 83B9E9924027EFC1 Time : 0.0 sec. user=mdettweiler [2015-12-21 20:49:48] 685*2^1417889-1 is not prime. Res64: 4502ACB3512057AB Time : 0.0 sec. user=mdettweiler [2015-12-21 20:49:48] 699*2^1417889-1 is not prime. Res64: 7316B8B1D6B5A21D Time : 0.0 sec. user=mdettweiler [2015-12-21 20:49:49] 705*2^1417889-1 is not prime. Res64: 01E040B449710CF1 Time : 0.0 sec. user=mdettweiler [2015-12-21 20:49:49] 729*2^1417889-1 is not prime. Res64: 92D7A0B41C11ECDF Time : 0.0 sec. user=mdettweiler [2015-12-21 21:07:19] 837*2^1417889-1 is not prime. Res64: 0888688BD8C7DB37 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:07:19] 741*2^1417889-1 is not prime. Res64: E5C0AA1483590C54 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:07:21] 861*2^1417889-1 is not prime. Res64: ECAC99F97313DB5C Time : 0.0 sec. user=mdettweiler [2015-12-21 21:07:21] 801*2^1417889-1 is not prime. Res64: 0F236465218474C6 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:24:56] 957*2^1417889-1 is not prime. Res64: 11E0B5A5C30DB613 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:24:57] 695*2^1417890-1 is not prime. Res64: 2339A6371CB823DA Time : 0.0 sec. user=mdettweiler [2015-12-21 21:24:57] 783*2^1417890-1 is not prime. Res64: F9D5FBE0AA389C61 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:24:58] 873*2^1417890-1 is not prime. Res64: A94C416E6E407919 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:42:26] 639*2^1417891-1 is not prime. Res64: 3DEB48E871C8CB93 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:42:26] 887*2^1417890-1 is not prime. Res64: 8B0B783016C9FFD7 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:42:26] 705*2^1417891-1 is not prime. Res64: 155FCB2EF3B9EF23 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:42:27] 977*2^1417890-1 is not prime. Res64: B633402B56C135E0 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:59:56] 769*2^1417891-1 is not prime. Res64: 5B1E2E5E1056026D Time : 0.0 sec. user=mdettweiler [2015-12-21 21:59:56] 789*2^1417891-1 is not prime. Res64: 04B753D1D4688682 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:59:56] 723*2^1417891-1 is not prime. Res64: FD1070863F0E41A0 Time : 0.0 sec. user=mdettweiler [2015-12-21 21:59:57] 751*2^1417891-1 is not prime. Res64: 3821BEE48D00C444 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:17:26] 699*2^1417892-1 is not prime. Res64: 676AF4ACA5D07DC0 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:17:26] 861*2^1417891-1 is not prime. Res64: 2E518C5D3B60D0D4 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:17:27] 743*2^1417892-1 is not prime. Res64: 68CBDD44EB8E00DF Time : 0.0 sec. user=mdettweiler [2015-12-21 22:17:27] 677*2^1417892-1 is not prime. Res64: AFFAEDF887B41CB0 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:34:58] 897*2^1417892-1 is not prime. Res64: A1C5F6C6475B52AC Time : 0.0 sec. user=mdettweiler [2015-12-21 22:34:59] 915*2^1417892-1 is not prime. Res64: 11F6D4BDC8C23352 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:35:00] 797*2^1417892-1 is not prime. Res64: 308EC0580BF570DC Time : 0.0 sec. user=mdettweiler [2015-12-21 22:35:00] 885*2^1417892-1 is not prime. Res64: F67F3EFDE28C519F Time : 0.0 sec. user=mdettweiler [2015-12-21 22:52:30] 935*2^1417892-1 is not prime. Res64: 9C85DE60E484E84A Time : 0.0 sec. user=mdettweiler [2015-12-21 22:52:30] 983*2^1417892-1 is not prime. Res64: F43D58E87256E735 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:52:30] 959*2^1417892-1 is not prime. Res64: A7E8747CA6A497B1 Time : 0.0 sec. user=mdettweiler [2015-12-21 22:52:30] 829*2^1417893-1 is not prime. Res64: D80E1E5FCB497367 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:09:59] 927*2^1417893-1 is not prime. Res64: 28B4837D1C3F89B8 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:09:59] 657*2^1417894-1 is not prime. Res64: DF64728070CC46BD Time : 0.0 sec. user=mdettweiler [2015-12-21 23:10:00] 955*2^1417893-1 is not prime. Res64: 6094E9C45AE35400 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:10:00] 677*2^1417894-1 is not prime. Res64: B04E7B1925EB165C Time : 0.0 sec. user=mdettweiler [2015-12-21 23:27:49] 681*2^1417894-1 is not prime. Res64: AF38E1767986D931 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:27:49] 765*2^1417894-1 is not prime. Res64: 5FD5B25FA42594EF Time : 0.0 sec. user=mdettweiler [2015-12-21 23:27:49] 861*2^1417894-1 is not prime. Res64: 9D3E55AF1084E8EE Time : 0.0 sec. user=mdettweiler [2015-12-21 23:27:50] 881*2^1417894-1 is not prime. Res64: 09E791B103C144A8 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:45:18] 891*2^1417894-1 is not prime. Res64: 6B9F736452653962 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:45:19] 975*2^1417894-1 is not prime. Res64: 87A2E253C25C8705 Time : 0.0 sec. user=mdettweiler [2015-12-21 23:45:19] 885*2^1417894-1 is not prime. Res64: A1C21E02C64124DC Time : 0.0 sec. user=mdettweiler [2015-12-21 23:45:20] 887*2^1417894-1 is not prime. Res64: 28EC24E63EE9E77A Time : 0.0 sec.