user=mdettweiler [2017-04-05 00:04:32] 827*2^1450582-1 is not prime. Res64: E3A961DDDBEB14F1 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:04:34] 891*2^1450582-1 is not prime. Res64: 717E538E44658192 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:04:35] 957*2^1450582-1 is not prime. Res64: 75A06C19F8961C92 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:04:36] 995*2^1450582-1 is not prime. Res64: BD5CD90645BFB6D0 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:04:37] 735*2^1450583-1 is not prime. Res64: 15FD8D5CCA49D103 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:05:10] 813*2^1450583-1 is not prime. Res64: 4B15121BC1E05E5C Time : 0.0 sec. user=mdettweiler [2017-04-05 00:05:11] 707*2^1450584-1 is not prime. Res64: 2280041723EA09D3 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:05:12] 719*2^1450584-1 is not prime. Res64: 48F9765FC023AE09 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:05:13] 753*2^1450584-1 is not prime. Res64: AAFC2B6291DD7317 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:05:14] 809*2^1450584-1 is not prime. Res64: FC6019F8B6CE4F25 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:40:42] 825*2^1450584-1 is not prime. Res64: D55CA03F5BF4EFA1 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:40:42] 843*2^1450584-1 is not prime. Res64: 5D25149820F01A9F Time : 0.0 sec. user=mdettweiler [2017-04-05 00:40:43] 849*2^1450584-1 is not prime. Res64: 2339217E59EFA29F Time : 0.0 sec. user=mdettweiler [2017-04-05 00:40:44] 909*2^1450584-1 is not prime. Res64: 0F937E3D807D0311 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:40:44] 915*2^1450584-1 is not prime. Res64: 2E6CE394D5C6F41D Time : 0.0 sec. user=mdettweiler [2017-04-05 00:41:42] 983*2^1450584-1 is not prime. Res64: D635E46DC4B8A912 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:41:43] 609*2^1450585-1 is not prime. Res64: F7233EF19D1E840F Time : 0.0 sec. user=mdettweiler [2017-04-05 00:41:43] 679*2^1450585-1 is not prime. Res64: CF25C7BD249356B5 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:41:43] 939*2^1450585-1 is not prime. Res64: 9081998CD4DC6013 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:41:44] 635*2^1450586-1 is not prime. Res64: 84DD1BEEEC89F324 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:27] 671*2^1450586-1 is not prime. Res64: 5B96A820D190A145 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:28] 683*2^1450586-1 is not prime. Res64: 3BFCA383C46A1F7B Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:28] 833*2^1450586-1 is not prime. Res64: 347D4BE39E104426 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:28] 843*2^1450586-1 is not prime. Res64: 7EADEE0DCC879287 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:29] 893*2^1450586-1 is not prime. Res64: 8CBCDA561CEB23E6 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:59] 941*2^1450586-1 is not prime. Res64: 5A07FE0E014EAFC9 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:59] 619*2^1450587-1 is not prime. Res64: 94571769EF430A7E Time : 0.0 sec. user=mdettweiler [2017-04-05 00:50:59] 675*2^1450587-1 is not prime. Res64: C6BACB5FB66522C3 Time : 0.0 sec. user=mdettweiler [2017-04-05 00:51:00] 685*2^1450587-1 is not prime. Res64: 1B0707A120D21F8E Time : 0.0 sec. user=mdettweiler [2017-04-05 00:51:00] 751*2^1450587-1 is not prime. Res64: 48E61F202F215774 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:26:26] 793*2^1450587-1 is not prime. Res64: 7E455F5422D13E97 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:26:27] 825*2^1450587-1 is not prime. Res64: D9827538D2A1DFAC Time : 0.0 sec. user=mdettweiler [2017-04-05 01:26:28] 919*2^1450587-1 is not prime. Res64: 00A23DB2806F7FC2 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:26:28] 961*2^1450587-1 is not prime. Res64: 5866DDD25E052980 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:26:29] 623*2^1450588-1 is not prime. Res64: 805936D8CB9D0AB4 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:27:25] 909*2^1450588-1 is not prime. Res64: 4E26952661D3EEC4 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:27:27] 657*2^1450589-1 is not prime. Res64: B6AC1817E7E3348C Time : 0.0 sec. user=mdettweiler [2017-04-05 01:27:29] 759*2^1450589-1 is not prime. Res64: DC041E0FCD3B229B Time : 0.0 sec. user=mdettweiler [2017-04-05 01:27:30] 867*2^1450589-1 is not prime. Res64: F90B19C0EADD5F0A Time : 0.0 sec. user=mdettweiler [2017-04-05 01:27:31] 967*2^1450589-1 is not prime. Res64: CBC36ACA7243BA1D Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:09] 723*2^1450590-1 is not prime. Res64: 711CD448456608B7 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:10] 761*2^1450590-1 is not prime. Res64: 33901259781ADD8C Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:10] 797*2^1450590-1 is not prime. Res64: 2ED647728AAD756C Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:11] 921*2^1450590-1 is not prime. Res64: A90AD31E5AB16233 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:11] 941*2^1450590-1 is not prime. Res64: 4546891BD424A182 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:26] 621*2^1450591-1 is not prime. Res64: BF6683CD563906B8 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:27] 645*2^1450591-1 is not prime. Res64: 3B74B38BCF6026B2 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:27] 649*2^1450591-1 is not prime. Res64: 62D69E1ABCD343E9 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:28] 673*2^1450591-1 is not prime. Res64: 17FB03ED8E589519 Time : 0.0 sec. user=mdettweiler [2017-04-05 01:36:28] 745*2^1450591-1 is not prime. Res64: 651F8C0A576776E4 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:11:38] 841*2^1450591-1 is not prime. Res64: B38761FC0FE5B0BB Time : 0.0 sec. user=mdettweiler [2017-04-05 02:11:39] 859*2^1450591-1 is not prime. Res64: F92BC06711EE64BA Time : 0.0 sec. user=mdettweiler [2017-04-05 02:11:39] 605*2^1450592-1 is not prime. Res64: E9D991868AFAFAED Time : 0.0 sec. user=mdettweiler [2017-04-05 02:11:40] 609*2^1450592-1 is not prime. Res64: F4A23DD1C5FB1B34 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:11:40] 623*2^1450592-1 is not prime. Res64: E699C4C49C725884 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:12:43] 689*2^1450592-1 is not prime. Res64: 63CA56034CD9968F Time : 0.0 sec. user=mdettweiler [2017-04-05 02:12:43] 699*2^1450592-1 is not prime. Res64: BDA7A3128A53DFF3 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:12:44] 717*2^1450592-1 is not prime. Res64: 70441A769F141DB7 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:12:44] 909*2^1450592-1 is not prime. Res64: 94445C39855E109D Time : 0.0 sec. user=mdettweiler [2017-04-05 02:12:45] 983*2^1450592-1 is not prime. Res64: 719C08F22A654679 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:22] 999*2^1450592-1 is not prime. Res64: F921803A27B6BEBF Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:22] 685*2^1450593-1 is not prime. Res64: E5E80D22C118C069 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:23] 727*2^1450593-1 is not prime. Res64: 0BFC3ABA152BC875 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:23] 885*2^1450593-1 is not prime. Res64: 8D364D65EF320876 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:23] 889*2^1450593-1 is not prime. Res64: 704285A75FE34B6D Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:34] 937*2^1450593-1 is not prime. Res64: 8E8B927A12C068F4 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:34] 985*2^1450593-1 is not prime. Res64: 13A28C00400E2F30 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:34] 677*2^1450594-1 is not prime. Res64: 5D1636E4FAFD7A9F Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:35] 747*2^1450594-1 is not prime. Res64: E318E8A735C6873B Time : 0.0 sec. user=mdettweiler [2017-04-05 02:21:35] 785*2^1450594-1 is not prime. Res64: 2A0E3EE0F4C9C91C Time : 0.0 sec. user=mdettweiler [2017-04-05 02:57:17] 831*2^1450594-1 is not prime. Res64: 2A036A3C50680E35 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:57:17] 619*2^1450595-1 is not prime. Res64: 9EF1856A5E0B1386 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:57:18] 645*2^1450595-1 is not prime. Res64: 4CC1BD5679E4666D Time : 0.0 sec. user=mdettweiler [2017-04-05 02:57:18] 651*2^1450595-1 is not prime. Res64: E748FAE4AADD2B87 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:57:19] 675*2^1450595-1 is not prime. Res64: DC2E58DD065960CF Time : 0.0 sec. user=mdettweiler [2017-04-05 02:58:28] 801*2^1450595-1 is not prime. Res64: 5DE3EB5F9805F4E5 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:58:28] 829*2^1450595-1 is not prime. Res64: CC86C2C6E4331B70 Time : 0.0 sec. user=mdettweiler [2017-04-05 02:58:29] 883*2^1450595-1 is not prime. Res64: 885163613F7C7D4E Time : 0.0 sec. user=mdettweiler [2017-04-05 02:58:29] 895*2^1450595-1 is not prime. Res64: E816B9D6EA56F9AD Time : 0.0 sec. user=mdettweiler [2017-04-05 02:58:29] 909*2^1450595-1 is not prime. Res64: 4419E70D4F471575 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:06:55] 915*2^1450595-1 is not prime. Res64: 15E6CD365563A226 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:06:55] 609*2^1450596-1 is not prime. Res64: B3E9BBCCB02C6AA5 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:06:56] 861*2^1450597-1 is not prime. Res64: E5153780040647BE Time : 0.0 sec. user=mdettweiler [2017-04-05 03:06:56] 957*2^1450597-1 is not prime. Res64: AFA6313F83FE8D78 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:06:56] 635*2^1450598-1 is not prime. Res64: 4984C8C43352C7AA Time : 0.0 sec. user=mdettweiler [2017-04-05 03:07:17] 813*2^1450598-1 is not prime. Res64: AACBC83883A168E7 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:07:17] 831*2^1450598-1 is not prime. Res64: 9AED56CDCFA9F0C4 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:07:18] 893*2^1450598-1 is not prime. Res64: 9797C0B46A8FEC0D Time : 0.0 sec. user=mdettweiler [2017-04-05 03:07:18] 953*2^1450598-1 is not prime. Res64: 8A4E433D1403BACF Time : 0.0 sec. user=mdettweiler [2017-04-05 03:07:19] 1001*2^1450598-1 is not prime. Res64: 952517337237D475 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:42:37] 619*2^1450599-1 is not prime. Res64: 4EB7690D433D1F33 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:42:38] 625*2^1450599-1 is not prime. Res64: 49EDF9248660464F Time : 0.0 sec. user=mdettweiler [2017-04-05 03:42:39] 741*2^1450599-1 is not prime. Res64: 1DE00A7096BD6CA8 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:42:40] 865*2^1450599-1 is not prime. Res64: D725255C223CC10C Time : 0.0 sec. user=mdettweiler [2017-04-05 03:42:41] 919*2^1450599-1 is not prime. Res64: FFD58786FB0A4492 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:43:50] 961*2^1450599-1 is not prime. Res64: C161CE5682A3E92B Time : 0.0 sec. user=mdettweiler [2017-04-05 03:43:50] 719*2^1450600-1 is not prime. Res64: AF40364335EE0AFE Time : 0.0 sec. user=mdettweiler [2017-04-05 03:43:51] 923*2^1450600-1 is not prime. Res64: 24274123A24A9F83 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:43:51] 959*2^1450600-1 is not prime. Res64: 243D4C71481E1F77 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:43:52] 637*2^1450601-1 is not prime. Res64: E17051E008A353E3 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:00] 649*2^1450601-1 is not prime. Res64: ED06C8828FD3E228 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:02] 669*2^1450601-1 is not prime. Res64: C66CE7FCE9E8D578 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:03] 627*2^1450602-1 is not prime. Res64: F1A5B950D0B20034 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:04] 635*2^1450602-1 is not prime. Res64: 7A678F3160A9F55C Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:05] 651*2^1450602-1 is not prime. Res64: A1FD90FCAF3A9392 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:27] 671*2^1450602-1 is not prime. Res64: 2CEF14D504E2E151 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:28] 677*2^1450602-1 is not prime. Res64: A66D1C77FB504473 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:29] 735*2^1450602-1 is not prime. Res64: DCFBA0CADB3E04C6 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:30] 603*2^1450603-1 is not prime. Res64: 3DF37B91273279F6 Time : 0.0 sec. user=mdettweiler [2017-04-05 03:52:32] 615*2^1450603-1 is not prime. Res64: 6B5141BC5E360238 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:28:20] 631*2^1450603-1 is not prime. Res64: F3426D4AF1568BED Time : 0.0 sec. user=mdettweiler [2017-04-05 04:28:21] 633*2^1450603-1 is not prime. Res64: 6823535F2EC94C61 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:28:21] 709*2^1450603-1 is not prime. Res64: 182C8EEEC733DC17 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:28:22] 735*2^1450603-1 is not prime. Res64: 5810F7E4898314A8 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:28:22] 769*2^1450603-1 is not prime. Res64: B9B6A49F50696EA3 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:29:09] 813*2^1450603-1 is not prime. Res64: CBBEBE2A3DA53FDB Time : 0.0 sec. user=mdettweiler [2017-04-05 04:29:09] 951*2^1450603-1 is not prime. Res64: 4AD72729578309A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:29:09] 605*2^1450604-1 is not prime. Res64: C5547F8ED9200B9B Time : 0.0 sec. user=mdettweiler [2017-04-05 04:29:10] 659*2^1450604-1 is not prime. Res64: 753B21C3C972DA0E Time : 0.0 sec. user=mdettweiler [2017-04-05 04:29:10] 687*2^1450604-1 is not prime. Res64: 4A76E72EAC802BC8 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:32] 753*2^1450604-1 is not prime. Res64: 8DA1AD51D6D47996 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:32] 789*2^1450604-1 is not prime. Res64: F100AE9720707419 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:32] 833*2^1450604-1 is not prime. Res64: 631E693379CFEA9D Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:33] 855*2^1450604-1 is not prime. Res64: 60C56DF254C95FE7 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:33] 873*2^1450604-1 is not prime. Res64: CB3F18AC94BA1868 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:38] 675*2^1450605-1 is not prime. Res64: 7B953D671AAE2B23 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:38] 717*2^1450605-1 is not prime. Res64: ABED3C10B6554364 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:39] 741*2^1450605-1 is not prime. Res64: 0F5C29EDE43B951C Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:39] 777*2^1450605-1 is not prime. Res64: D39F828E209977F2 Time : 0.0 sec. user=mdettweiler [2017-04-05 04:37:39] 787*2^1450605-1 is not prime. Res64: 43DCA905A04E3573 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:13:42] 795*2^1450605-1 is not prime. Res64: F63B76CBABCBB570 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:13:43] 861*2^1450605-1 is not prime. Res64: EAA9F66E65900FC5 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:13:43] 895*2^1450605-1 is not prime. Res64: 733B14261D513153 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:13:44] 961*2^1450605-1 is not prime. Res64: 1774C664CAA775E5 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:13:44] 975*2^1450605-1 is not prime. Res64: 343956850F32A544 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:14:10] 999*2^1450605-1 is not prime. Res64: 93A7F897BD538057 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:14:11] 603*2^1450606-1 is not prime. Res64: 2513CD46FAEDAB61 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:14:11] 611*2^1450606-1 is not prime. Res64: FCF20C38B1DF1E8C Time : 0.0 sec. user=mdettweiler [2017-04-05 05:14:12] 635*2^1450606-1 is not prime. Res64: 70F09C3945344E42 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:14:12] 713*2^1450606-1 is not prime. Res64: 702F1CB60F21EA84 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:37] 693*2^1450607-1 is not prime. Res64: E72485C71A706FA5 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:38] 711*2^1450607-1 is not prime. Res64: BCA1ED028AFB0AEF Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:38] 729*2^1450607-1 is not prime. Res64: 7C9A89B9FD431001 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:39] 759*2^1450607-1 is not prime. Res64: 28D39EC03FF47623 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:39] 723*2^1450606-1 is not prime. Res64: 60FE0488E9E01839 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:39] 861*2^1450607-1 is not prime. Res64: 7F170D34B9144BA2 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:39] 933*2^1450606-1 is not prime. Res64: 62ED8C207B37658A Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:40] 957*2^1450606-1 is not prime. Res64: 41F949E83F045D69 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:40] 983*2^1450606-1 is not prime. Res64: 004BE525C0330AE0 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:22:40] 603*2^1450607-1 is not prime. Res64: 98326E618CD6707C Time : 0.0 sec. user=mdettweiler [2017-04-05 05:58:32] 909*2^1450607-1 is not prime. Res64: F45516DF633D30B2 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:58:33] 683*2^1450608-1 is not prime. Res64: 1305838553343A76 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:58:33] 707*2^1450608-1 is not prime. Res64: 807DFBD9CC6C72A6 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:58:33] 737*2^1450608-1 is not prime. Res64: 8A35E7F1A89A2F33 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:58:34] 767*2^1450608-1 is not prime. Res64: 54040E9F424DC088 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:59:07] 839*2^1450608-1 is not prime. Res64: 69045A85BC970244 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:59:08] 947*2^1450608-1 is not prime. Res64: EB8E70CE6BFB6315 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:59:08] 729*2^1450609-1 is not prime. Res64: 4731F9A937F597DA Time : 0.0 sec. user=mdettweiler [2017-04-05 05:59:08] 741*2^1450609-1 is not prime. Res64: 877B0D0B424205F8 Time : 0.0 sec. user=mdettweiler [2017-04-05 05:59:09] 867*2^1450609-1 is not prime. Res64: 1BED5365EA2140F6 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:30] 797*2^1450610-1 is not prime. Res64: B4649D7F72F8EAF1 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:30] 923*2^1450610-1 is not prime. Res64: 14955E3B57FA1BEC Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:31] 619*2^1450611-1 is not prime. Res64: ACB07A113DE8E189 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:31] 705*2^1450611-1 is not prime. Res64: D82EEE2E51AB5716 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:32] 709*2^1450611-1 is not prime. Res64: 44EEE5F60C2CD86C Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:37] 909*2^1450609-1 is not prime. Res64: E707B3413D4178FB Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:37] 987*2^1450609-1 is not prime. Res64: E9ADBEE62CB375FC Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:37] 635*2^1450610-1 is not prime. Res64: 3FCAB99C5C272912 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:38] 657*2^1450610-1 is not prime. Res64: DDDD7B1C451C7DFC Time : 0.0 sec. user=mdettweiler [2017-04-05 06:07:38] 783*2^1450610-1 is not prime. Res64: EDFDB12401115A0C Time : 0.0 sec. user=mdettweiler [2017-04-05 06:43:39] 781*2^1450611-1 is not prime. Res64: CE5601B9E13B8590 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:43:40] 849*2^1450611-1 is not prime. Res64: B14F278F70838890 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:43:40] 901*2^1450611-1 is not prime. Res64: 527E4244AE7AA4C1 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:43:41] 909*2^1450611-1 is not prime. Res64: 92CB594049652D5B Time : 0.0 sec. user=mdettweiler [2017-04-05 06:43:41] 973*2^1450611-1 is not prime. Res64: D9821C223FE160A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:44:05] 975*2^1450611-1 is not prime. Res64: D716334564385191 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:44:05] 629*2^1450612-1 is not prime. Res64: DCA6F7D5B1F9D77E Time : 0.0 sec. user=mdettweiler [2017-04-05 06:44:06] 705*2^1450612-1 is not prime. Res64: 82C3178A5CCD5ABA Time : 0.0 sec. user=mdettweiler [2017-04-05 06:44:06] 765*2^1450612-1 is not prime. Res64: 89A0A2E456E6E5F7 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:44:06] 863*2^1450612-1 is not prime. Res64: 34623A1FEC9C075D Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:38] 933*2^1450612-1 is not prime. Res64: 2CDFE14E5A28FB4B Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:38] 995*2^1450612-1 is not prime. Res64: 2398206483A4BF28 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:39] 619*2^1450613-1 is not prime. Res64: E48B55EABEA37932 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:39] 745*2^1450613-1 is not prime. Res64: A4B5CBC22BE78524 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:39] 769*2^1450613-1 is not prime. Res64: 40F60E12CFBEB7AF Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:55] 949*2^1450613-1 is not prime. Res64: 30F4977921DA2B1D Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:55] 951*2^1450613-1 is not prime. Res64: F6EFC9432CF1091D Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:55] 635*2^1450614-1 is not prime. Res64: 1232618B648690A9 Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:56] 665*2^1450614-1 is not prime. Res64: 074DC784F867799A Time : 0.0 sec. user=mdettweiler [2017-04-05 06:52:56] 807*2^1450614-1 is not prime. Res64: 338BDCEBCE38D839 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:28:38] 815*2^1450614-1 is not prime. Res64: 42A2B9E2275AA947 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:28:38] 863*2^1450614-1 is not prime. Res64: EA93514E538CBC26 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:28:39] 873*2^1450614-1 is not prime. Res64: 76BECD9E5E96193C Time : 0.0 sec. user=mdettweiler [2017-04-05 07:28:39] 975*2^1450614-1 is not prime. Res64: 6E91FD4C6ABBB567 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:28:40] 789*2^1450615-1 is not prime. Res64: 071DC564F77480B3 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:29:17] 853*2^1450615-1 is not prime. Res64: B531A8619DD38FF3 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:29:17] 891*2^1450615-1 is not prime. Res64: 58AB5FD9B9563014 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:29:18] 913*2^1450615-1 is not prime. Res64: F940D965AEA6A279 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:29:18] 683*2^1450616-1 is not prime. Res64: 760B10DCD0DF7FFB Time : 0.0 sec. user=mdettweiler [2017-04-05 07:29:18] 777*2^1450616-1 is not prime. Res64: D230DD84BFA70341 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:41] 789*2^1450616-1 is not prime. Res64: 45C36F52A58F46BD Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:42] 845*2^1450616-1 is not prime. Res64: EC42A624D930CC02 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:42] 855*2^1450616-1 is not prime. Res64: 70C9A97873552A02 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:42] 969*2^1450616-1 is not prime. Res64: A2C015B359AB2A86 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:43] 983*2^1450616-1 is not prime. Res64: FE153D0E4133CEE9 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:55] 669*2^1450617-1 is not prime. Res64: 9ED49872EC8AC86F Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:56] 685*2^1450617-1 is not prime. Res64: D1447D5705D8E08D Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:56] 741*2^1450617-1 is not prime. Res64: 70C2A7B8EFBB8D96 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:57] 759*2^1450617-1 is not prime. Res64: 130386837C0E1A26 Time : 0.0 sec. user=mdettweiler [2017-04-05 07:37:57] 765*2^1450617-1 is not prime. Res64: 197F5F59184AA025 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:13:53] 781*2^1450617-1 is not prime. Res64: 951CB74A201F64F1 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:13:54] 805*2^1450617-1 is not prime. Res64: C7D27574EAB9B2A4 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:13:54] 955*2^1450617-1 is not prime. Res64: 9CD37615899EFF93 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:13:55] 651*2^1450618-1 is not prime. Res64: 7F27A95DFEEB512F Time : 0.0 sec. user=mdettweiler [2017-04-05 08:13:55] 665*2^1450618-1 is not prime. Res64: 306902BEAF22AF06 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:14:15] 681*2^1450618-1 is not prime. Res64: 684325363710195C Time : 0.0 sec. user=mdettweiler [2017-04-05 08:14:16] 987*2^1450618-1 is not prime. Res64: 48B95B8542C242DB Time : 0.0 sec. user=mdettweiler [2017-04-05 08:14:16] 993*2^1450618-1 is not prime. Res64: 87BAA5FCE8E992FF Time : 0.0 sec. user=mdettweiler [2017-04-05 08:14:16] 1001*2^1450618-1 is not prime. Res64: BDDD4D1014A28E5D Time : 0.0 sec. user=mdettweiler [2017-04-05 08:14:17] 645*2^1450619-1 is not prime. Res64: 941D97B49F0FF95D Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:39] 675*2^1450619-1 is not prime. Res64: 6CEB41B6FFA9AA4D Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:39] 679*2^1450619-1 is not prime. Res64: 723B2D8D33140177 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:40] 771*2^1450619-1 is not prime. Res64: 6C2817C076D74692 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:40] 861*2^1450619-1 is not prime. Res64: F8641F3E67038F94 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:40] 913*2^1450619-1 is not prime. Res64: B9326D747DBC4C23 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:22:59] 993*2^1450619-1 is not prime. Res64: DEDE9CB1686F033F Time : 0.0 sec. user=mdettweiler [2017-04-05 08:23:00] 737*2^1450620-1 is not prime. Res64: AE2BAB44B0B209FB Time : 0.0 sec. user=mdettweiler [2017-04-05 08:23:00] 803*2^1450620-1 is not prime. Res64: 2CC262475B3DD728 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:23:00] 819*2^1450620-1 is not prime. Res64: 96B4E301530D2B40 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:23:01] 845*2^1450620-1 is not prime. Res64: 14A98C1464FB69E1 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:58:56] 899*2^1450620-1 is not prime. Res64: 124AB00F38BE03EE Time : 0.0 sec. user=mdettweiler [2017-04-05 08:58:57] 923*2^1450620-1 is not prime. Res64: 1F4364B73F3CBB5E Time : 0.0 sec. user=mdettweiler [2017-04-05 08:58:57] 987*2^1450620-1 is not prime. Res64: FB33B8EB50071B94 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:58:57] 619*2^1450621-1 is not prime. Res64: 2341108C8BD27921 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:58:58] 717*2^1450621-1 is not prime. Res64: D8E46B884074F0B8 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:59:12] 925*2^1450621-1 is not prime. Res64: C2D6D770EBB86351 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:59:13] 741*2^1450622-1 is not prime. Res64: 8C8ECE96D2259DE7 Time : 0.0 sec. user=mdettweiler [2017-04-05 08:59:13] 755*2^1450622-1 is not prime. Res64: 9B8F767EF6B1A6ED Time : 0.0 sec. user=mdettweiler [2017-04-05 08:59:13] 791*2^1450622-1 is not prime. Res64: 1D367151BDBE355C Time : 0.0 sec. user=mdettweiler [2017-04-05 08:59:14] 897*2^1450622-1 is not prime. Res64: 223594D79C99A4C5 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:33] 921*2^1450622-1 is not prime. Res64: 253C3EC1DAF68872 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:34] 935*2^1450622-1 is not prime. Res64: A13EC3B0A2DB785F Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:34] 619*2^1450623-1 is not prime. Res64: 0A68857E1902AF16 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:34] 741*2^1450623-1 is not prime. Res64: 6A40F43C9486A49D Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:35] 879*2^1450623-1 is not prime. Res64: E702582C0E69399D Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:47] 895*2^1450623-1 is not prime. Res64: 3A123272D33A3631 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:47] 921*2^1450623-1 is not prime. Res64: 6238A4F0FAFAC765 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:48] 955*2^1450623-1 is not prime. Res64: 29252BA7358B4C6E Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:48] 605*2^1450624-1 is not prime. Res64: 131F795C4198507E Time : 0.0 sec. user=mdettweiler [2017-04-05 09:07:48] 855*2^1450624-1 is not prime. Res64: 31A4A11872E47800 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:43:52] 903*2^1450624-1 is not prime. Res64: 71369C8E8DFB9E02 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:43:53] 983*2^1450624-1 is not prime. Res64: 54618A60FD28B661 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:43:53] 995*2^1450624-1 is not prime. Res64: 32051790A50BA7EA Time : 0.0 sec. user=mdettweiler [2017-04-05 09:43:54] 601*2^1450625-1 is not prime. Res64: 1141F1EBA3DD7667 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:43:54] 675*2^1450625-1 is not prime. Res64: DB67A73B5780EF8D Time : 0.0 sec. user=mdettweiler [2017-04-05 09:44:13] 771*2^1450625-1 is not prime. Res64: 518FB5B5F09BD5A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:44:13] 775*2^1450625-1 is not prime. Res64: 2E29EE21079434C8 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:44:14] 781*2^1450625-1 is not prime. Res64: 595CCC448B8CF060 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:44:14] 789*2^1450625-1 is not prime. Res64: 1C77426A6124627B Time : 0.0 sec. user=mdettweiler [2017-04-05 09:44:15] 805*2^1450625-1 is not prime. Res64: 20052BCF0988BF1C Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:28] 907*2^1450625-1 is not prime. Res64: 569A770ED9F95156 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:28] 937*2^1450625-1 is not prime. Res64: 34202D6B1B3DF048 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:28] 951*2^1450625-1 is not prime. Res64: B551CE05EB573386 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:29] 955*2^1450625-1 is not prime. Res64: DFACC12311F78CCD Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:29] 647*2^1450626-1 is not prime. Res64: 8AAE2D70157BE1DF Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:40] 735*2^1450626-1 is not prime. Res64: B8FF707420B1950A Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:41] 755*2^1450626-1 is not prime. Res64: F2013DE4A645D0A0 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:41] 777*2^1450626-1 is not prime. Res64: 6404A52FBCDCED77 Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:41] 843*2^1450626-1 is not prime. Res64: DCB5F2D4E83F4C4F Time : 0.0 sec. user=mdettweiler [2017-04-05 09:52:42] 971*2^1450626-1 is not prime. Res64: A3DFB3955818B53E Time : 0.0 sec. user=mdettweiler [2017-04-05 10:28:59] 975*2^1450626-1 is not prime. Res64: 45FCBB043599CAEA Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:00] 615*2^1450627-1 is not prime. Res64: 0D6B534FCFCB0848 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:00] 631*2^1450627-1 is not prime. Res64: 25AF36133224D3D7 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:00] 705*2^1450627-1 is not prime. Res64: BBA3E050A3FD2AA7 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:01] 835*2^1450627-1 is not prime. Res64: D1840BCC298D6DDF Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:17] 861*2^1450627-1 is not prime. Res64: 10E168C101181D39 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:17] 915*2^1450627-1 is not prime. Res64: 9BB19010D677869D Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:17] 623*2^1450628-1 is not prime. Res64: F590DC915E7B1870 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:18] 699*2^1450628-1 is not prime. Res64: 21A0EFA9ACAAAFF4 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:29:18] 797*2^1450628-1 is not prime. Res64: AF2C5CCE8E826818 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:32] 825*2^1450628-1 is not prime. Res64: BA0974AD16863C54 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:32] 675*2^1450629-1 is not prime. Res64: 6A132449DCBE893D Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:33] 919*2^1450629-1 is not prime. Res64: 556F9AA497D92EE6 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:33] 951*2^1450629-1 is not prime. Res64: B2D0C58F0426A1A0 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:33] 955*2^1450629-1 is not prime. Res64: 3FC6EFD71BFE26D9 Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:44] 885*2^1450630-1 is not prime. Res64: CDE0F9518B7A65DD Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:44] 971*2^1450630-1 is not prime. Res64: CE2BAB0D9D08CF7C Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:44] 621*2^1450631-1 is not prime. Res64: 747ACB1CE48EBFDF Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:45] 675*2^1450631-1 is not prime. Res64: 4515E068BC66A15C Time : 0.0 sec. user=mdettweiler [2017-04-05 10:37:45] 705*2^1450631-1 is not prime. Res64: CCD0C03EEC8522F1 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:14:57] 741*2^1450631-1 is not prime. Res64: EE0BDFD2C537788A Time : 0.0 sec. user=mdettweiler [2017-04-05 11:14:58] 783*2^1450631-1 is not prime. Res64: 5C7C16039DE23AFE Time : 0.0 sec. user=mdettweiler [2017-04-05 11:14:58] 629*2^1450632-1 is not prime. Res64: C6CF754CA9D39E95 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:14:58] 669*2^1450632-1 is not prime. Res64: F3A2CEF11B53127F Time : 0.0 sec. user=mdettweiler [2017-04-05 11:14:59] 693*2^1450632-1 is not prime. Res64: 33455E7513A5EAC7 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:15:09] 947*2^1450632-1 is not prime. Res64: 8330E1699326CD0E Time : 0.0 sec. user=mdettweiler [2017-04-05 11:15:09] 741*2^1450633-1 is not prime. Res64: 8CF8AF5B1B074D8D Time : 0.0 sec. user=mdettweiler [2017-04-05 11:15:09] 801*2^1450633-1 is not prime. Res64: B5B176F61A764CE5 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:15:09] 807*2^1450633-1 is not prime. Res64: 4F7C05F77BE20FDB Time : 0.0 sec. user=mdettweiler [2017-04-05 11:15:10] 855*2^1450633-1 is not prime. Res64: 75FFA0489A5DB9BB Time : 0.0 sec. user=mdettweiler [2017-04-05 11:23:28] 877*2^1450633-1 is not prime. Res64: 9B3296740B7673F6 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:23:28] 895*2^1450633-1 is not prime. Res64: 3AA3E3DA4A8C3814 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:23:28] 937*2^1450633-1 is not prime. Res64: 1F280774BF6D41EB Time : 0.0 sec. user=mdettweiler [2017-04-05 11:23:29] 999*2^1450633-1 is not prime. Res64: 8775BD6A136324DA Time : 0.0 sec. user=mdettweiler [2017-04-05 11:23:29] 677*2^1450634-1 is not prime. Res64: 22B3AEAA96C78CEE Time : 0.0 sec. user=mdettweiler [2017-04-05 11:24:00] 705*2^1450634-1 is not prime. Res64: 48875A352AF52DD2 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:24:00] 851*2^1450634-1 is not prime. Res64: 7895039F6002F0A6 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:24:00] 861*2^1450634-1 is not prime. Res64: EED8C83411ABEB30 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:24:01] 953*2^1450634-1 is not prime. Res64: 017E4B547A0E68A9 Time : 0.0 sec. user=mdettweiler [2017-04-05 11:24:01] 639*2^1450635-1 is not prime. Res64: F7E5A6FAE4F2E0F1 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:11] 717*2^1450637-1 is not prime. Res64: FB43F7B58F55FB87 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:13] 871*2^1450637-1 is not prime. Res64: 4D9F69926F54669B Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:14] 927*2^1450637-1 is not prime. Res64: B5C4FCD0EE82FA21 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:15] 605*2^1450638-1 is not prime. Res64: 58D8F986F3F4354D Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:16] 615*2^1450638-1 is not prime. Res64: E8ED605C732916DE Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:21] 699*2^1450635-1 is not prime. Res64: A72FFBEEB06FE7C5 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:22] 951*2^1450635-1 is not prime. Res64: FFBC5241D806A2E6 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:22] 645*2^1450637-1 is not prime. Res64: 9BD9D5A3EAE25CE0 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:23] 669*2^1450637-1 is not prime. Res64: E5556F41FF41597E Time : 0.0 sec. user=mdettweiler [2017-04-05 12:00:24] 715*2^1450637-1 is not prime. Res64: A9F94E93CC5C85B2 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:08:35] 801*2^1450638-1 is not prime. Res64: 0B27C1BD42641550 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:08:35] 881*2^1450638-1 is not prime. Res64: 63559928D7883460 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:08:36] 971*2^1450638-1 is not prime. Res64: 275E531CC96445C9 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:08:36] 609*2^1450639-1 is not prime. Res64: BB55A3AFF6986BE2 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:08:37] 645*2^1450639-1 is not prime. Res64: 291A2C8D46722DC8 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:09:10] 709*2^1450639-1 is not prime. Res64: 1480D6C1CB228790 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:09:10] 813*2^1450639-1 is not prime. Res64: D063673972076D57 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:09:11] 841*2^1450639-1 is not prime. Res64: 467B2EAE18CD693C Time : 0.0 sec. user=mdettweiler [2017-04-05 12:09:11] 861*2^1450639-1 is not prime. Res64: FCE82F5BFE500C0F Time : 0.0 sec. user=mdettweiler [2017-04-05 12:09:11] 873*2^1450639-1 is not prime. Res64: 64718CD18A22BF72 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:20] 855*2^1450640-1 is not prime. Res64: B2643592A6743007 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:20] 857*2^1450640-1 is not prime. Res64: 266B4E5AA5B30B93 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:21] 875*2^1450640-1 is not prime. Res64: 08C4A9923BD0AAA7 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:21] 923*2^1450640-1 is not prime. Res64: 62E8C8B60F218749 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:21] 963*2^1450640-1 is not prime. Res64: D6CEBB40FE56D062 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:22] 885*2^1450639-1 is not prime. Res64: 762D76BD31611432 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:22] 973*2^1450639-1 is not prime. Res64: 545B985290F7BC39 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:22] 603*2^1450640-1 is not prime. Res64: BDF51947FA15A4DB Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:23] 777*2^1450640-1 is not prime. Res64: CADC65C56D4A90C2 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:45:23] 845*2^1450640-1 is not prime. Res64: 4CEFE500E716206E Time : 0.0 sec. user=mdettweiler [2017-04-05 12:53:28] 983*2^1450640-1 is not prime. Res64: 43F7FEB695C8C7BB Time : 0.0 sec. user=mdettweiler [2017-04-05 12:53:28] 999*2^1450640-1 is not prime. Res64: A8C8FEDFBBF6B7D0 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:53:29] 607*2^1450641-1 is not prime. Res64: C841A2610BE3C17E Time : 0.0 sec. user=mdettweiler [2017-04-05 12:53:29] 789*2^1450641-1 is not prime. Res64: 955C57DDA4499CE0 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:53:29] 901*2^1450641-1 is not prime. Res64: 440FF476FAECCF59 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:54:09] 991*2^1450641-1 is not prime. Res64: 756FD6C2E099C0CE Time : 0.0 sec. user=mdettweiler [2017-04-05 12:54:10] 997*2^1450641-1 is not prime. Res64: F7861A890B8E232A Time : 0.0 sec. user=mdettweiler [2017-04-05 12:54:10] 665*2^1450642-1 is not prime. Res64: 1A7D8D38DD4AC156 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:54:10] 737*2^1450642-1 is not prime. Res64: 0F4DACA2D393B454 Time : 0.0 sec. user=mdettweiler [2017-04-05 12:54:11] 777*2^1450642-1 is not prime. Res64: 2C8CE63929A52453 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:21] 951*2^1450642-1 is not prime. Res64: ECEB53A389A4C70A Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:21] 669*2^1450643-1 is not prime. Res64: 15313B1A7F4B69BD Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:22] 675*2^1450643-1 is not prime. Res64: D577DCC8C0E6532C Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:22] 703*2^1450643-1 is not prime. Res64: 538350D042431225 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:23] 939*2^1450643-1 is not prime. Res64: 65B52600088041E6 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:26] 949*2^1450643-1 is not prime. Res64: 9B9EAA1D2AFAC639 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:27] 963*2^1450643-1 is not prime. Res64: 4A8575B07CBF0269 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:27] 689*2^1450644-1 is not prime. Res64: 0B7803D997DBA518 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:27] 707*2^1450644-1 is not prime. Res64: 3771291B3805FADF Time : 0.0 sec. user=mdettweiler [2017-04-05 13:30:28] 837*2^1450644-1 is not prime. Res64: B8B499D3EF8B2C60 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:38:31] 903*2^1450644-1 is not prime. Res64: 0D0E920C950216C9 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:38:31] 789*2^1450645-1 is not prime. Res64: 8E879E023544A66B Time : 0.0 sec. user=mdettweiler [2017-04-05 13:38:31] 831*2^1450645-1 is not prime. Res64: 00F91631D8376866 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:38:32] 741*2^1450646-1 is not prime. Res64: C37AEEF718681F84 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:38:32] 743*2^1450646-1 is not prime. Res64: 1C3E41EE9AD3FA14 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:39:04] 843*2^1450646-1 is not prime. Res64: CD687FFCD3E85FE8 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:39:05] 857*2^1450646-1 is not prime. Res64: 2D1DC9512FDD1919 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:39:05] 887*2^1450646-1 is not prime. Res64: 16903DEC618E95E8 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:39:06] 911*2^1450646-1 is not prime. Res64: 70BFC0D38DD995B2 Time : 0.0 sec. user=mdettweiler [2017-04-05 13:39:06] 935*2^1450646-1 is not prime. Res64: 41438768ED9ABC28 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:25] 957*2^1450646-1 is not prime. Res64: 484ED709F722D092 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:25] 1001*2^1450646-1 is not prime. Res64: 7E8987DDC2133566 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:26] 601*2^1450647-1 is not prime. Res64: CE67E84EB4FBBEDF Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:26] 661*2^1450647-1 is not prime. Res64: 8F15E14413DA14EE Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:27] 703*2^1450647-1 is not prime. Res64: FBD9BEED077D3808 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:27] 615*2^1450647-1 is not prime. Res64: 519A541FFEB1CF6D Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:27] 741*2^1450647-1 is not prime. Res64: D7334203EBC903CC Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:27] 633*2^1450647-1 is not prime. Res64: 3641A23B93C78AAD Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:28] 825*2^1450647-1 is not prime. Res64: D9216A62591B8C8D Time : 0.0 sec. user=mdettweiler [2017-04-05 14:15:28] 885*2^1450647-1 is not prime. Res64: C494BE81F87FD6AE Time : 0.0 sec. user=mdettweiler [2017-04-05 14:23:32] 895*2^1450647-1 is not prime. Res64: 7FB1C06C0FCFE1AB Time : 0.0 sec. user=mdettweiler [2017-04-05 14:23:32] 973*2^1450647-1 is not prime. Res64: 63E2F70E7D10A26D Time : 0.0 sec. user=mdettweiler [2017-04-05 14:23:33] 999*2^1450647-1 is not prime. Res64: BF4ED31363E34EEF Time : 0.0 sec. user=mdettweiler [2017-04-05 14:23:33] 705*2^1450648-1 is not prime. Res64: D956AEB44F69F687 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:23:33] 875*2^1450648-1 is not prime. Res64: 5EEDB3B9DB38ECE2 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:24:01] 975*2^1450648-1 is not prime. Res64: 097E6D4A7E484DA5 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:24:02] 649*2^1450649-1 is not prime. Res64: D3D8CDD36B072DAC Time : 0.0 sec. user=mdettweiler [2017-04-05 14:24:02] 729*2^1450649-1 is not prime. Res64: E6B69B53C08AFEFF Time : 0.0 sec. user=mdettweiler [2017-04-05 14:24:03] 745*2^1450649-1 is not prime. Res64: 51744E24B3D1D012 Time : 0.0 sec. user=mdettweiler [2017-04-05 14:24:03] 829*2^1450649-1 is not prime. Res64: CC0D42763702D1A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:14] 867*2^1450649-1 is not prime. Res64: 6CC8833466D88C6B Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:16] 955*2^1450649-1 is not prime. Res64: 567D59D0EE0F5CB1 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:17] 611*2^1450650-1 is not prime. Res64: A61195B6B5C01697 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:18] 627*2^1450650-1 is not prime. Res64: C64FB06E7C2C3BE0 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:19] 717*2^1450650-1 is not prime. Res64: A6D54C278E7DB031 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:22] 741*2^1450650-1 is not prime. Res64: 31F7770AED91A2CB Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:23] 773*2^1450650-1 is not prime. Res64: 23E9758764A5A8DD Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:24] 783*2^1450650-1 is not prime. Res64: 882A27BD6052AF08 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:26] 851*2^1450650-1 is not prime. Res64: 0E29A2BC62815510 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:03:27] 891*2^1450650-1 is not prime. Res64: 35526E564E90AD11 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:12:46] 905*2^1450650-1 is not prime. Res64: 1A6441EAE30DDF40 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:12:46] 927*2^1450650-1 is not prime. Res64: 5C4F75D8B806D38F Time : 0.0 sec. user=mdettweiler [2017-04-05 15:12:46] 645*2^1450651-1 is not prime. Res64: DC3386E9A805E452 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:12:46] 789*2^1450651-1 is not prime. Res64: 8B919C5878B4849A Time : 0.0 sec. user=mdettweiler [2017-04-05 15:12:47] 871*2^1450651-1 is not prime. Res64: FF64265908F61154 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:13:12] 875*2^1450652-1 is not prime. Res64: 02663FFB1FF5097F Time : 0.0 sec. user=mdettweiler [2017-04-05 15:13:12] 879*2^1450652-1 is not prime. Res64: A8999B3B27D2FA05 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:13:12] 897*2^1450652-1 is not prime. Res64: E7E21CA0BD96B2BB Time : 0.0 sec. user=mdettweiler [2017-04-05 15:13:12] 899*2^1450652-1 is not prime. Res64: BEFEABC0A41910BF Time : 0.0 sec. user=mdettweiler [2017-04-05 15:13:13] 621*2^1450653-1 is not prime. Res64: 485AFA738312592D Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:42] 699*2^1450333-1 is not prime. Res64: C2506457A500D3F2 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:42] 675*2^1450653-1 is not prime. Res64: 322D45910F8AF951 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:43] 691*2^1450653-1 is not prime. Res64: F1416955226EFF45 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:43] 765*2^1450653-1 is not prime. Res64: 0B95B7CFFB60FA57 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:44] 991*2^1450653-1 is not prime. Res64: 1F7BA36ABE868283 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:56] 621*2^1450654-1 is not prime. Res64: 442346E2254B2900 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:57] 623*2^1450654-1 is not prime. Res64: E94CE9293B0B961C Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:57] 741*2^1450654-1 is not prime. Res64: 471F135FAD8C3E5D Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:57] 887*2^1450654-1 is not prime. Res64: A5B6FAA1B8B9E113 Time : 0.0 sec. user=mdettweiler [2017-04-05 15:53:58] 917*2^1450654-1 is not prime. Res64: 355E4DF8DC4EC8A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:00:53] 965*2^1450654-1 is not prime. Res64: 2C1CAB4C5664A837 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:00:54] 981*2^1450654-1 is not prime. Res64: BF421C93590454EA Time : 0.0 sec. user=mdettweiler [2017-04-05 16:00:54] 669*2^1450655-1 is not prime. Res64: 34D42B1AF6C6D5B3 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:00:55] 799*2^1450655-1 is not prime. Res64: F70B49B651D78AEE Time : 0.0 sec. user=mdettweiler [2017-04-05 16:00:56] 865*2^1450655-1 is not prime. Res64: BCE136743B4012E2 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:01:52] 825*2^1450656-1 is not prime. Res64: 13EB63808DA9C0C9 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:01:53] 975*2^1450656-1 is not prime. Res64: 52900B08226FEDC5 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:01:54] 601*2^1450657-1 is not prime. Res64: 40E48DFE61872A53 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:01:54] 615*2^1450657-1 is not prime. Res64: 7674EEEDCFDC4B80 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:01:55] 649*2^1450657-1 is not prime. Res64: 9DB06EE169AC377C Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:48] 661*2^1450657-1 is not prime. Res64: 309110D0BD441E23 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:49] 699*2^1450657-1 is not prime. Res64: C074C86C6B8DCBA3 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:49] 901*2^1450657-1 is not prime. Res64: AF4100837B3A8AA6 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:49] 605*2^1450658-1 is not prime. Res64: 32B944CB803285F7 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:50] 633*2^1450658-1 is not prime. Res64: 387DBD0F6613160F Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:53] 825*2^1450658-1 is not prime. Res64: 61E0210945B496BF Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:54] 843*2^1450658-1 is not prime. Res64: 6C405B98868535FD Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:54] 923*2^1450658-1 is not prime. Res64: F5E34F1833781323 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:54] 613*2^1450659-1 is not prime. Res64: 50D0B1A592B09D05 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:38:55] 649*2^1450659-1 is not prime. Res64: BA05BEE911C43CE0 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:46:16] 691*2^1450659-1 is not prime. Res64: 691E06927C1E4EA2 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:46:16] 703*2^1450659-1 is not prime. Res64: D2812756F6858320 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:46:17] 801*2^1450659-1 is not prime. Res64: 85B1BEE81B7FEC59 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:46:17] 823*2^1450659-1 is not prime. Res64: DAAB049519940F42 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:46:17] 891*2^1450659-1 is not prime. Res64: 0816AB55F685A43E Time : 0.0 sec. user=mdettweiler [2017-04-05 16:47:01] 647*2^1450660-1 is not prime. Res64: 509025DE283D7FA5 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:47:01] 653*2^1450660-1 is not prime. Res64: 0D3E9B5C328CC466 Time : 0.0 sec. user=mdettweiler [2017-04-05 16:47:02] 819*2^1450660-1 is not prime. Res64: E734055403F55FCD Time : 0.0 sec. user=mdettweiler [2017-04-05 16:47:02] 607*2^1450661-1 is not prime. Res64: BE91668CE6BDE26A Time : 0.0 sec. user=mdettweiler [2017-04-05 16:47:03] 621*2^1450661-1 is not prime. Res64: A6AF48CD1664861B Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:40] 837*2^1450661-1 is not prime. Res64: B90643649340BE90 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:41] 861*2^1450661-1 is not prime. Res64: D44841338462891A Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:41] 889*2^1450661-1 is not prime. Res64: 6F66C4B48D8B7257 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:41] 931*2^1450661-1 is not prime. Res64: DFD2D13F48F0AD42 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:42] 945*2^1450661-1 is not prime. Res64: 0CBD53C42C209FBA Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:47] 627*2^1450661-1 is not prime. Res64: CD27CBF21B06DCB6 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:47] 691*2^1450661-1 is not prime. Res64: 32672A9B83F9A77C Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:48] 711*2^1450661-1 is not prime. Res64: E77448D913495FC4 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:48] 735*2^1450661-1 is not prime. Res64: 4763DFEF3691C7EF Time : 0.0 sec. user=mdettweiler [2017-04-05 17:23:48] 757*2^1450661-1 is not prime. Res64: B512715BF3BDF6B8 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:12] 957*2^1450661-1 is not prime. Res64: 3B799EED9D9366E2 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:12] 681*2^1450662-1 is not prime. Res64: B3DD4D986AB7BFD1 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:13] 693*2^1450662-1 is not prime. Res64: B71A4AC53FF6C751 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:13] 755*2^1450662-1 is not prime. Res64: 6F32D0AD1AEB9541 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:13] 797*2^1450662-1 is not prime. Res64: 0DF20BEBB4598C93 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:55] 903*2^1450662-1 is not prime. Res64: D52F72DA49B7AD62 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:55] 921*2^1450662-1 is not prime. Res64: 8E6A664E71869BE2 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:55] 965*2^1450662-1 is not prime. Res64: D8F8FB90E6620192 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:56] 609*2^1450663-1 is not prime. Res64: EB9118993424E8E0 Time : 0.0 sec. user=mdettweiler [2017-04-05 17:31:56] 621*2^1450663-1 is not prime. Res64: AEB54EAAFC5357A6 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:31] 805*2^1450663-1 is not prime. Res64: E3855C288AD0949C Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:32] 811*2^1450663-1 is not prime. Res64: 5575E5EF7068AE82 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:32] 819*2^1450663-1 is not prime. Res64: 0E413120649E6ABA Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:33] 951*2^1450663-1 is not prime. Res64: 49D5C0C96394CAE8 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:33] 629*2^1450664-1 is not prime. Res64: 8553DB9B28FAC944 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:43] 665*2^1450664-1 is not prime. Res64: 867D2DBB52839C20 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:44] 677*2^1450664-1 is not prime. Res64: C00AE72357761443 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:45] 683*2^1450664-1 is not prime. Res64: 7815867EC0B54ABE Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:45] 717*2^1450664-1 is not prime. Res64: 873B13A74259BB46 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:08:46] 803*2^1450664-1 is not prime. Res64: 2BA8EA5E750612D7 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:06] 819*2^1450664-1 is not prime. Res64: A5791EAFD076E9AC Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:07] 843*2^1450664-1 is not prime. Res64: 3EF09DB12EF158AB Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:07] 627*2^1450665-1 is not prime. Res64: D0E1721A3F35F6DC Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:07] 717*2^1450665-1 is not prime. Res64: D7603EFA2505A42A Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:08] 765*2^1450665-1 is not prime. Res64: 5DE067A5E551BE22 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:46] 909*2^1450665-1 is not prime. Res64: 6C93B9BA00B9F570 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:46] 985*2^1450665-1 is not prime. Res64: 12B51C7F2601F1E7 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:47] 635*2^1450666-1 is not prime. Res64: 85F7F6CC946525BF Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:47] 717*2^1450666-1 is not prime. Res64: 01280F19D29FF640 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:16:47] 783*2^1450666-1 is not prime. Res64: FD8D1471334FF864 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:29] 803*2^1450666-1 is not prime. Res64: F7D11F9812222701 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:29] 825*2^1450666-1 is not prime. Res64: 11C12E15D688E8F2 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:30] 833*2^1450666-1 is not prime. Res64: 031D8B172C8BC892 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:30] 857*2^1450666-1 is not prime. Res64: 7191946B788187D5 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:30] 971*2^1450666-1 is not prime. Res64: 038825B6A1AD8C37 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:46] 609*2^1450667-1 is not prime. Res64: 1ACAB96B17DC2BA8 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:46] 619*2^1450667-1 is not prime. Res64: A8467842E19626AD Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:47] 823*2^1450667-1 is not prime. Res64: 4224B4C3AB1235EF Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:47] 859*2^1450667-1 is not prime. Res64: 22D24966D94436A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 18:53:47] 861*2^1450667-1 is not prime. Res64: 343C014675173CA1 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:10] 605*2^1450668-1 is not prime. Res64: E210562BA1A667CB Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:11] 705*2^1450668-1 is not prime. Res64: ADA219A05DC57ECF Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:11] 753*2^1450668-1 is not prime. Res64: F1D25EE5D18C8C31 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:12] 765*2^1450668-1 is not prime. Res64: 887AC16A6B9F1BAB Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:13] 875*2^1450668-1 is not prime. Res64: 0F7E8972347EB2CF Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:40] 923*2^1450668-1 is not prime. Res64: F9B118533B878201 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:40] 609*2^1450669-1 is not prime. Res64: 41C378C981FBB6E3 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:41] 625*2^1450669-1 is not prime. Res64: 206796023EFF6C3A Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:41] 679*2^1450669-1 is not prime. Res64: 2FBE2FECD07A4E60 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:01:42] 729*2^1450669-1 is not prime. Res64: 3651FA10EAB6320A Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:21] 817*2^1450669-1 is not prime. Res64: DDAA1DCDD45A030C Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:22] 877*2^1450669-1 is not prime. Res64: 424BC25281FB7FC7 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:22] 897*2^1450669-1 is not prime. Res64: CADF8729A9B58217 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:22] 957*2^1450669-1 is not prime. Res64: 7CF0113ED7E8401A Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:23] 615*2^1450670-1 is not prime. Res64: CBD1B7AB3C4529A1 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:44] 767*2^1450670-1 is not prime. Res64: BA499BA2B2C09316 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:45] 827*2^1450670-1 is not prime. Res64: E7DEE0C2BD9A51E1 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:45] 857*2^1450670-1 is not prime. Res64: E5DBFFD28866160E Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:46] 893*2^1450670-1 is not prime. Res64: DD055F30FE05EBB1 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:38:46] 915*2^1450670-1 is not prime. Res64: DD90CA206B48A8C6 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:31] 615*2^1450671-1 is not prime. Res64: 49865171FAA24467 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:31] 693*2^1450671-1 is not prime. Res64: E445C6A2D8DF4181 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:32] 705*2^1450671-1 is not prime. Res64: B91A0A4AE63B35A0 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:32] 735*2^1450671-1 is not prime. Res64: 71FFE6E93510553B Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:33] 739*2^1450671-1 is not prime. Res64: 816A611093DC4666 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:38] 789*2^1450671-1 is not prime. Res64: 27D25B2C811B4275 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:39] 951*2^1450671-1 is not prime. Res64: 679B9330BFD113F1 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:39] 603*2^1450672-1 is not prime. Res64: 043F5A6D970C7303 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:40] 675*2^1450672-1 is not prime. Res64: DE7A649CF486E599 Time : 0.0 sec. user=mdettweiler [2017-04-05 19:46:40] 887*2^1450672-1 is not prime. Res64: 9A1C57BC1D7A1887 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:09] 903*2^1450672-1 is not prime. Res64: 062A263044C84865 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:09] 909*2^1450672-1 is not prime. Res64: CD5F8C374D9CF9FA Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:10] 691*2^1450673-1 is not prime. Res64: CB9557F1F524A84E Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:10] 699*2^1450673-1 is not prime. Res64: 4ED9F42EFA8A5267 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:11] 729*2^1450673-1 is not prime. Res64: 1F80EA3DE626E494 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:29] 741*2^1450673-1 is not prime. Res64: 9C49D48834C52CBE Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:29] 759*2^1450673-1 is not prime. Res64: 533248460517D563 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:30] 981*2^1450673-1 is not prime. Res64: F9AFE426C2CE1E1B Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:30] 985*2^1450673-1 is not prime. Res64: F1E8877002CD88A3 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:23:31] 657*2^1450674-1 is not prime. Res64: BC6CF64CDE11B9C3 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:23] 705*2^1450674-1 is not prime. Res64: 1BBB1BB338468650 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:23] 691*2^1450675-1 is not prime. Res64: 9604557B0E19127D Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:23] 783*2^1450674-1 is not prime. Res64: 5CD6F6436ECB71C1 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:24] 735*2^1450675-1 is not prime. Res64: DE665DF1492B7A43 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:24] 921*2^1450674-1 is not prime. Res64: D5D48D8D2DD59039 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:24] 759*2^1450675-1 is not prime. Res64: D1DD8EFB0484D2A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:24] 975*2^1450674-1 is not prime. Res64: 1A0D4BB18E1B4607 Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:24] 885*2^1450675-1 is not prime. Res64: 00E9CFC6B36F248E Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:25] 625*2^1450675-1 is not prime. Res64: 553E1079BE5C403B Time : 0.0 sec. user=mdettweiler [2017-04-05 20:31:25] 925*2^1450675-1 is not prime. Res64: A3374391D6E82FF2 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:13] 969*2^1450675-1 is not prime. Res64: 867C69BC3FC0B2A4 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:14] 707*2^1450676-1 is not prime. Res64: E2E18C0E15F5CA75 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:14] 743*2^1450676-1 is not prime. Res64: D8818CA6047C0034 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:15] 759*2^1450676-1 is not prime. Res64: 174BB7118D6A9F6F Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:15] 827*2^1450676-1 is not prime. Res64: D9AFB3321A54EA33 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:24] 843*2^1450676-1 is not prime. Res64: 59066509D06B5058 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:24] 875*2^1450676-1 is not prime. Res64: A83263631F32F06B Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:24] 893*2^1450676-1 is not prime. Res64: 3A8DE7B76F818A8B Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:25] 655*2^1450677-1 is not prime. Res64: AC2AF55AEF55607F Time : 0.0 sec. user=mdettweiler [2017-04-05 21:08:25] 667*2^1450677-1 is not prime. Res64: 45CD23D9CCB72D80 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:16] 895*2^1450677-1 is not prime. Res64: 4678000B2D16175B Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:16] 961*2^1450677-1 is not prime. Res64: B3134FB1B46F1B19 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:17] 651*2^1450678-1 is not prime. Res64: 8786076DE8FD4330 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:17] 681*2^1450678-1 is not prime. Res64: 510BC9AB2456D756 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:18] 827*2^1450678-1 is not prime. Res64: 459DCECEC8AF831C Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:26] 685*2^1450677-1 is not prime. Res64: 5CEB6E39292E0C75 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:26] 735*2^1450677-1 is not prime. Res64: 0C20D052FA2EAD81 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:26] 759*2^1450677-1 is not prime. Res64: 22B130E90221A9DE Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:27] 777*2^1450677-1 is not prime. Res64: 6014AFC935FEA70F Time : 0.0 sec. user=mdettweiler [2017-04-05 21:16:27] 891*2^1450677-1 is not prime. Res64: 64A31167B06BF57A Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:06] 831*2^1450678-1 is not prime. Res64: AA43566B80A88050 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:06] 857*2^1450678-1 is not prime. Res64: 0A43F498861ED7F3 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:07] 887*2^1450678-1 is not prime. Res64: BBC8FF51C7CD8DDD Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:07] 897*2^1450678-1 is not prime. Res64: 9F1CE26747997812 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:07] 911*2^1450678-1 is not prime. Res64: 741DC56A88AC669F Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:27] 941*2^1450678-1 is not prime. Res64: F8CE592EBA015097 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:28] 957*2^1450678-1 is not prime. Res64: 1765C068A492B853 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:28] 643*2^1450679-1 is not prime. Res64: 784025F5C5473378 Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:28] 645*2^1450679-1 is not prime. Res64: D4405A06D0A9802D Time : 0.0 sec. user=mdettweiler [2017-04-05 21:53:29] 799*2^1450679-1 is not prime. Res64: B839D67570995AF1 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:02:30] 841*2^1450679-1 is not prime. Res64: E54054299448E5BE Time : 0.0 sec. user=mdettweiler [2017-04-05 22:02:32] 921*2^1450679-1 is not prime. Res64: 4FE7C176EBCE6080 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:02:32] 931*2^1450679-1 is not prime. Res64: 1DD8D98A147BCBB3 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:02:33] 979*2^1450679-1 is not prime. Res64: 71798C144DE00A64 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:02:34] 693*2^1450680-1 is not prime. Res64: 232BF4884557696F Time : 0.0 sec. user=mdettweiler [2017-04-05 22:03:11] 767*2^1450680-1 is not prime. Res64: AE54CD82B6ED2605 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:03:12] 779*2^1450680-1 is not prime. Res64: 32D6AB36778BA8E7 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:03:14] 797*2^1450680-1 is not prime. Res64: E519B758B6596B6D Time : 0.0 sec. user=mdettweiler [2017-04-05 22:03:15] 645*2^1450681-1 is not prime. Res64: BC07210F988927A0 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:03:16] 649*2^1450681-1 is not prime. Res64: 2F2BB97485A9FFD6 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:13] 675*2^1450682-1 is not prime. Res64: C11EEED3DC1F8547 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:13] 741*2^1450682-1 is not prime. Res64: 21BA958AC321A696 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:14] 843*2^1450682-1 is not prime. Res64: FE82F3C42182F0BA Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:14] 691*2^1450681-1 is not prime. Res64: 47D7EAC720213574 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:14] 619*2^1450683-1 is not prime. Res64: D87061A8DA252FC2 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:14] 957*2^1450681-1 is not prime. Res64: 7101BDBCCD17CFC4 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:14] 679*2^1450683-1 is not prime. Res64: E6A0543AF15FFBBF Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:15] 979*2^1450681-1 is not prime. Res64: 689FAF343CC5A66F Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:15] 997*2^1450681-1 is not prime. Res64: 6CA1807A96D28D7B Time : 0.0 sec. user=mdettweiler [2017-04-05 22:39:16] 633*2^1450682-1 is not prime. Res64: 6E5764AA9D0493B9 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:47:39] 705*2^1450683-1 is not prime. Res64: FA11BF21FDD2FA9F Time : 0.0 sec. user=mdettweiler [2017-04-05 22:47:39] 783*2^1450683-1 is not prime. Res64: B4390DCD5070E275 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:47:40] 789*2^1450683-1 is not prime. Res64: CA176A124EEC27AC Time : 0.0 sec. user=mdettweiler [2017-04-05 22:47:40] 853*2^1450683-1 is not prime. Res64: E2A0D6073A944405 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:47:41] 961*2^1450683-1 is not prime. Res64: 2DC951AD5BDE272C Time : 0.0 sec. user=mdettweiler [2017-04-05 22:48:24] 991*2^1450683-1 is not prime. Res64: 938C2B647153BF7F Time : 0.0 sec. user=mdettweiler [2017-04-05 22:48:24] 605*2^1450684-1 is not prime. Res64: 56309D70B8480A2C Time : 0.0 sec. user=mdettweiler [2017-04-05 22:48:25] 695*2^1450684-1 is not prime. Res64: 338A34AA1D1A02E3 Time : 0.0 sec. user=mdettweiler [2017-04-05 22:48:25] 755*2^1450684-1 is not prime. Res64: E0141FAB1B1519DD Time : 0.0 sec. user=mdettweiler [2017-04-05 22:48:26] 783*2^1450684-1 is not prime. Res64: 6F3EC840ECBC9512 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:41] 787*2^1450685-1 is not prime. Res64: B1F4AB15E4D37F1D Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:42] 871*2^1450685-1 is not prime. Res64: B77793AD25257F93 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:42] 671*2^1450686-1 is not prime. Res64: 4990D37D5C6ABE81 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:43] 695*2^1450686-1 is not prime. Res64: 4C619915A22D1FF1 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:43] 717*2^1450686-1 is not prime. Res64: 410E12A30C36FDA6 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:53] 857*2^1450684-1 is not prime. Res64: 49E63F21013796B6 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:53] 923*2^1450684-1 is not prime. Res64: E27601086B071D30 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:53] 953*2^1450684-1 is not prime. Res64: 83818E6169B16EDE Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:54] 655*2^1450685-1 is not prime. Res64: 54AC8A301C0A3F53 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:24:54] 675*2^1450685-1 is not prime. Res64: 01F72E21E7A8E8EC Time : 0.0 sec. user=mdettweiler [2017-04-05 23:33:10] 725*2^1450686-1 is not prime. Res64: 64DFA355BA154258 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:33:10] 795*2^1450686-1 is not prime. Res64: 79E7766081A3B7A7 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:33:11] 903*2^1450686-1 is not prime. Res64: 244AD7B55CB57A34 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:33:11] 945*2^1450686-1 is not prime. Res64: 69F4ED3712ECB0A5 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:33:11] 609*2^1450687-1 is not prime. Res64: 04EA2555C25270C4 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:34:00] 619*2^1450687-1 is not prime. Res64: 836C8E83128BD06F Time : 0.0 sec. user=mdettweiler [2017-04-05 23:34:01] 625*2^1450687-1 is not prime. Res64: 430C6E29DB4F6155 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:34:01] 685*2^1450687-1 is not prime. Res64: E2F9523F35B2FDF5 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:34:01] 693*2^1450687-1 is not prime. Res64: 45E06F759440A984 Time : 0.0 sec. user=mdettweiler [2017-04-05 23:34:02] 703*2^1450687-1 is not prime. Res64: D4757015843250A9 Time : 0.0 sec.