user=mdettweiler [2016-09-05 00:09:58] 849*2^1438881-1 is not prime. Res64: B557FC0B21792AE8 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:09:59] 937*2^1438881-1 is not prime. Res64: F7772CCA80B1D206 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:09:59] 743*2^1438882-1 is not prime. Res64: CF35C1E0F0322030 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:10:00] 765*2^1438882-1 is not prime. Res64: FC9BF1DE8AD52801 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:10:00] 785*2^1438882-1 is not prime. Res64: 98E819CA41C889D7 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:14:05] 815*2^1438882-1 is not prime. Res64: B7FD5ADF21116BE9 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:14:06] 825*2^1438882-1 is not prime. Res64: 582673A74E2A46C3 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:14:07] 891*2^1438882-1 is not prime. Res64: 63D4AEBFEC314676 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:14:08] 633*2^1438883-1 is not prime. Res64: 432C10F0DFB6D51A Time : 0.0 sec. user=mdettweiler [2016-09-05 00:14:09] 649*2^1438883-1 is not prime. Res64: 985EC896331502F8 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:17:50] 693*2^1438883-1 is not prime. Res64: 868F481DCCE4A174 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:17:50] 829*2^1438883-1 is not prime. Res64: 558ED46856138B22 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:17:50] 939*2^1438883-1 is not prime. Res64: 3EC55D4DC0C0218A Time : 0.0 sec. user=mdettweiler [2016-09-05 00:17:51] 955*2^1438883-1 is not prime. Res64: C60DCEB4B0581295 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:17:51] 981*2^1438883-1 is not prime. Res64: B3442CBA5AC13E99 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:34:35] 615*2^1438884-1 is not prime. Res64: DA509426B50B4A1D Time : 0.0 sec. user=mdettweiler [2016-09-05 00:34:36] 635*2^1438884-1 is not prime. Res64: 3D3067B04F67CF6A Time : 0.0 sec. user=mdettweiler [2016-09-05 00:34:36] 737*2^1438884-1 is not prime. Res64: AC25D250213E9BA3 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:34:36] 765*2^1438884-1 is not prime. Res64: 1FE694A860E51F88 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:34:37] 935*2^1438884-1 is not prime. Res64: DD35C566DE1A3F89 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:55:18] 645*2^1438885-1 is not prime. Res64: 9543959483DD7D14 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:55:18] 699*2^1438885-1 is not prime. Res64: 3DDCBF5D4398B889 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:55:19] 717*2^1438885-1 is not prime. Res64: F7FA882B128D3FF3 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:55:19] 805*2^1438885-1 is not prime. Res64: 859BF61E6D0A49A9 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:55:19] 831*2^1438885-1 is not prime. Res64: 27F980DEEB9A42AF Time : 0.0 sec. user=mdettweiler [2016-09-05 00:59:35] 985*2^1438885-1 is not prime. Res64: CD1E2076545A551C Time : 0.0 sec. user=mdettweiler [2016-09-05 00:59:35] 705*2^1438886-1 is not prime. Res64: F9E69C81F12CC3D3 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:59:35] 747*2^1438886-1 is not prime. Res64: 8073078283A4579E Time : 0.0 sec. user=mdettweiler [2016-09-05 00:59:36] 773*2^1438886-1 is not prime. Res64: DA79484ACC86B338 Time : 0.0 sec. user=mdettweiler [2016-09-05 00:59:36] 801*2^1438886-1 is not prime. Res64: FA734914967EF59E Time : 0.0 sec. user=mdettweiler [2016-09-05 01:03:12] 813*2^1438886-1 is not prime. Res64: 83733F63A59F3AB4 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:03:13] 851*2^1438886-1 is not prime. Res64: DA7A282D4B21A45F Time : 0.0 sec. user=mdettweiler [2016-09-05 01:03:14] 867*2^1438886-1 is not prime. Res64: 858D4A223191DFF6 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:03:15] 921*2^1438886-1 is not prime. Res64: EC56B50FCC2A8F43 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:03:16] 619*2^1438887-1 is not prime. Res64: DFE4FE3A439DF551 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:19:53] 649*2^1438887-1 is not prime. Res64: 8E5047EC4868DB2D Time : 0.0 sec. user=mdettweiler [2016-09-05 01:19:53] 805*2^1438887-1 is not prime. Res64: 2BD40D8A2592626C Time : 0.0 sec. user=mdettweiler [2016-09-05 01:19:54] 825*2^1438887-1 is not prime. Res64: C4B10455BAC9E7DB Time : 0.0 sec. user=mdettweiler [2016-09-05 01:19:54] 949*2^1438887-1 is not prime. Res64: 0E64DF6C92D5834D Time : 0.0 sec. user=mdettweiler [2016-09-05 01:19:54] 979*2^1438887-1 is not prime. Res64: 6D0F27897E3D3051 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:40:32] 985*2^1438887-1 is not prime. Res64: 1BEA8CE9CF80E7A9 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:40:33] 797*2^1438888-1 is not prime. Res64: 531F4D2964BE5563 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:40:34] 825*2^1438888-1 is not prime. Res64: B0D4E3BC65725B4F Time : 0.0 sec. user=mdettweiler [2016-09-05 01:40:35] 989*2^1438888-1 is not prime. Res64: D342FE34E5CC1B4A Time : 0.0 sec. user=mdettweiler [2016-09-05 01:40:36] 705*2^1438889-1 is not prime. Res64: 635A397AFC85A28A Time : 0.0 sec. user=mdettweiler [2016-09-05 01:45:00] 727*2^1438889-1 is not prime. Res64: 899FE71DE692215A Time : 0.0 sec. user=mdettweiler [2016-09-05 01:45:01] 745*2^1438889-1 is not prime. Res64: FA12FBD29096F2E9 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:45:01] 781*2^1438889-1 is not prime. Res64: C9E6650CA73EDA2D Time : 0.0 sec. user=mdettweiler [2016-09-05 01:45:03] 789*2^1438889-1 is not prime. Res64: 27C4EB3682C57791 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:45:03] 811*2^1438889-1 is not prime. Res64: 6A1D8A605D1E5A1F Time : 0.0 sec. user=mdettweiler [2016-09-05 01:48:28] 865*2^1438889-1 is not prime. Res64: D0839B70BFB787A3 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:48:28] 879*2^1438889-1 is not prime. Res64: 619C3CD8D7E716DC Time : 0.0 sec. user=mdettweiler [2016-09-05 01:48:28] 611*2^1438890-1 is not prime. Res64: 9045469A33A5F9F9 Time : 0.0 sec. user=mdettweiler [2016-09-05 01:48:29] 861*2^1438890-1 is not prime. Res64: 41F1FD43E4AE9B2D Time : 0.0 sec. user=mdettweiler [2016-09-05 01:48:29] 875*2^1438890-1 is not prime. Res64: 2C577FF84CFA734A Time : 0.0 sec. user=mdettweiler [2016-09-05 02:05:34] 927*2^1438890-1 is not prime. Res64: 999653326BEACCCC Time : 0.0 sec. user=mdettweiler [2016-09-05 02:05:35] 951*2^1438890-1 is not prime. Res64: C158FBF535BDD392 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:05:36] 675*2^1438891-1 is not prime. Res64: 414468FA8FCF2F5B Time : 0.0 sec. user=mdettweiler [2016-09-05 02:05:37] 723*2^1438891-1 is not prime. Res64: 5486C78DB50A9758 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:05:38] 735*2^1438891-1 is not prime. Res64: AA3C48BCC4258958 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:27:40] 835*2^1438891-1 is not prime. Res64: 50D5BECD159D193E Time : 0.0 sec. user=mdettweiler [2016-09-05 02:27:41] 859*2^1438891-1 is not prime. Res64: E7CECC737BCCF9BB Time : 0.0 sec. user=mdettweiler [2016-09-05 02:27:42] 961*2^1438891-1 is not prime. Res64: 7C03E1DD69CA3CB3 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:27:42] 617*2^1438892-1 is not prime. Res64: 8F15CFECCF5F8D29 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:27:43] 665*2^1438892-1 is not prime. Res64: 58F11416C3FAFFF1 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:31:49] 785*2^1438892-1 is not prime. Res64: D50C4E95B0D98F66 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:31:50] 909*2^1438892-1 is not prime. Res64: 1452F91BAAF61093 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:31:50] 957*2^1438892-1 is not prime. Res64: 69114F2072BD813B Time : 0.0 sec. user=mdettweiler [2016-09-05 02:31:51] 977*2^1438892-1 is not prime. Res64: 562E1FF4B13C5C4C Time : 0.0 sec. user=mdettweiler [2016-09-05 02:31:51] 679*2^1438893-1 is not prime. Res64: 66F997A511C6B730 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:34:36] 691*2^1438893-1 is not prime. Res64: 1E741CF2ABE78210 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:34:36] 765*2^1438893-1 is not prime. Res64: 0C0BFE4CB79A64AE Time : 0.0 sec. user=mdettweiler [2016-09-05 02:34:36] 811*2^1438893-1 is not prime. Res64: B7C207B93C14ED03 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:34:37] 847*2^1438893-1 is not prime. Res64: 2A7AFE288718F0A5 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:34:37] 871*2^1438893-1 is not prime. Res64: F71E7B8B69518FA5 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:51:44] 895*2^1438893-1 is not prime. Res64: 96E96091F206C58C Time : 0.0 sec. user=mdettweiler [2016-09-05 02:51:44] 717*2^1438894-1 is not prime. Res64: 2B008D88C9FB9C89 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:51:45] 831*2^1438894-1 is not prime. Res64: 89EC1363CBFD1E1E Time : 0.0 sec. user=mdettweiler [2016-09-05 02:51:45] 885*2^1438894-1 is not prime. Res64: BE966245A1CF6AB0 Time : 0.0 sec. user=mdettweiler [2016-09-05 02:51:45] 609*2^1438895-1 is not prime. Res64: 6A05FB318AFDD032 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:12:59] 735*2^1438895-1 is not prime. Res64: 17270AC6DC49A80D Time : 0.0 sec. user=mdettweiler [2016-09-05 03:13:00] 741*2^1438895-1 is not prime. Res64: 32C455DBEB288A68 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:13:00] 781*2^1438895-1 is not prime. Res64: 7AC9A727D79CA881 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:13:01] 889*2^1438895-1 is not prime. Res64: CB494D556C327200 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:13:01] 633*2^1438896-1 is not prime. Res64: 89CD27C8EFCF484D Time : 0.0 sec. user=mdettweiler [2016-09-05 03:17:09] 669*2^1438896-1 is not prime. Res64: 29FAEB41B63563A0 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:17:09] 717*2^1438896-1 is not prime. Res64: 4780CDCB197C9ED6 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:17:10] 933*2^1438896-1 is not prime. Res64: 8F750FD3EB8D8963 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:17:10] 969*2^1438896-1 is not prime. Res64: B6795C64BC3AF412 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:17:11] 751*2^1438897-1 is not prime. Res64: DDAA92C1633469DF Time : 0.0 sec. user=mdettweiler [2016-09-05 03:19:51] 847*2^1438897-1 is not prime. Res64: 6910EA96105DD012 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:19:51] 937*2^1438897-1 is not prime. Res64: 1C7E47BE6ED9CEE3 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:19:52] 999*2^1438897-1 is not prime. Res64: 33839F811DEC5C6C Time : 0.0 sec. user=mdettweiler [2016-09-05 03:19:52] 645*2^1438898-1 is not prime. Res64: F485998336C4633B Time : 0.0 sec. user=mdettweiler [2016-09-05 03:19:53] 885*2^1438898-1 is not prime. Res64: 8C7ECC1E95661430 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:37:02] 915*2^1438898-1 is not prime. Res64: 9D12ADA4DC7F49D5 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:37:04] 953*2^1438898-1 is not prime. Res64: 23E13AA93F0393F5 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:37:04] 993*2^1438898-1 is not prime. Res64: ACDE42BD4B97279D Time : 0.0 sec. user=mdettweiler [2016-09-05 03:37:05] 793*2^1438899-1 is not prime. Res64: 30BFE43852FEECB8 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:37:06] 795*2^1438899-1 is not prime. Res64: 0EA11FCBF5AA3F13 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:58:33] 949*2^1438899-1 is not prime. Res64: 437D7ED7A29D3E88 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:58:33] 975*2^1438899-1 is not prime. Res64: AB2D727460E06253 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:58:34] 985*2^1438899-1 is not prime. Res64: A5A0B89153604FB6 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:58:34] 785*2^1438900-1 is not prime. Res64: 4B5AC2B450DC34B7 Time : 0.0 sec. user=mdettweiler [2016-09-05 03:58:34] 797*2^1438900-1 is not prime. Res64: 6EE30B058E2B5E87 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:02:18] 923*2^1438900-1 is not prime. Res64: C26FBD76BA194596 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:02:19] 933*2^1438900-1 is not prime. Res64: 1147A664F301F661 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:02:20] 645*2^1438901-1 is not prime. Res64: 50D7EBF9239F9C6E Time : 0.0 sec. user=mdettweiler [2016-09-05 04:02:21] 685*2^1438901-1 is not prime. Res64: 8F2563C8C771D02C Time : 0.0 sec. user=mdettweiler [2016-09-05 04:02:22] 741*2^1438901-1 is not prime. Res64: CF367B2FCB52A939 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:04:59] 861*2^1438901-1 is not prime. Res64: 942823C893AC20AA Time : 0.0 sec. user=mdettweiler [2016-09-05 04:05:01] 945*2^1438901-1 is not prime. Res64: 14C042BE59E99850 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:05:02] 955*2^1438901-1 is not prime. Res64: 5B38C4AAA7E30D2F Time : 0.0 sec. user=mdettweiler [2016-09-05 04:05:03] 671*2^1438902-1 is not prime. Res64: B0C960ECF5922681 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:05:05] 683*2^1438902-1 is not prime. Res64: B824F863F416C20E Time : 0.0 sec. user=mdettweiler [2016-09-05 04:22:22] 965*2^1438902-1 is not prime. Res64: 21204786AD015441 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:22:23] 977*2^1438902-1 is not prime. Res64: 7E9721DBD0D642B2 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:22:23] 819*2^1438903-1 is not prime. Res64: 79FB07ED381ADCD6 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:22:23] 895*2^1438903-1 is not prime. Res64: DCBCA39C892D7126 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:22:24] 725*2^1438904-1 is not prime. Res64: 45A085995BD75801 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:43:53] 753*2^1438904-1 is not prime. Res64: 9ADE1FD7CB23B766 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:43:54] 927*2^1438904-1 is not prime. Res64: E3DA252AE07A49FA Time : 0.0 sec. user=mdettweiler [2016-09-05 04:43:54] 959*2^1438904-1 is not prime. Res64: E52FAC28BD2363BE Time : 0.0 sec. user=mdettweiler [2016-09-05 04:43:54] 983*2^1438904-1 is not prime. Res64: F0FD917BBB12B862 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:43:55] 627*2^1438905-1 is not prime. Res64: CFC707EF01DF346F Time : 0.0 sec. user=mdettweiler [2016-09-05 04:47:39] 751*2^1438905-1 is not prime. Res64: 99EF98D2723B0791 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:47:39] 805*2^1438905-1 is not prime. Res64: 6A8605D725F092BB Time : 0.0 sec. user=mdettweiler [2016-09-05 04:47:40] 817*2^1438905-1 is not prime. Res64: 9132360CD84AD152 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:47:40] 909*2^1438905-1 is not prime. Res64: 984F29C5D4EB420B Time : 0.0 sec. user=mdettweiler [2016-09-05 04:47:40] 915*2^1438905-1 is not prime. Res64: 8C8F3CBEA18A6F7B Time : 0.0 sec. user=mdettweiler [2016-09-05 04:50:48] 623*2^1438906-1 is not prime. Res64: BB9EEF4FC4F894ED Time : 0.0 sec. user=mdettweiler [2016-09-05 04:50:48] 645*2^1438906-1 is not prime. Res64: 4578F25A30FCA257 Time : 0.0 sec. user=mdettweiler [2016-09-05 04:50:49] 891*2^1438906-1 is not prime. Res64: C5A38C024AEB035D Time : 0.0 sec. user=mdettweiler [2016-09-05 04:50:49] 917*2^1438906-1 is not prime. Res64: 96C6EDCBE335747D Time : 0.0 sec. user=mdettweiler [2016-09-05 04:50:49] 923*2^1438906-1 is not prime. Res64: E946E99D786942D1 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:07:24] 957*2^1438906-1 is not prime. Res64: 9407A67C50939360 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:07:26] 663*2^1438907-1 is not prime. Res64: 11F3FF1932489867 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:07:27] 805*2^1438907-1 is not prime. Res64: ADD59FD2B9BE32E9 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:07:28] 843*2^1438907-1 is not prime. Res64: BD5820D21A4E6459 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:07:29] 861*2^1438907-1 is not prime. Res64: 2891BB1FBB01205F Time : 0.0 sec. user=mdettweiler [2016-09-05 05:29:18] 883*2^1438907-1 is not prime. Res64: 8443A38AE7CFAA10 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:29:18] 885*2^1438907-1 is not prime. Res64: 3DC04D1B0307FB95 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:29:19] 901*2^1438907-1 is not prime. Res64: 2935B9F19246C7DA Time : 0.0 sec. user=mdettweiler [2016-09-05 05:29:19] 979*2^1438907-1 is not prime. Res64: A9F87248BC87D231 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:29:19] 605*2^1438908-1 is not prime. Res64: E0A2B38220CD9B73 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:33:03] 737*2^1438908-1 is not prime. Res64: 7599DBB17377BBFD Time : 0.0 sec. user=mdettweiler [2016-09-05 05:33:03] 839*2^1438908-1 is not prime. Res64: C970EBCE371D3E78 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:33:04] 875*2^1438908-1 is not prime. Res64: C580F47A376DD301 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:33:04] 905*2^1438908-1 is not prime. Res64: 822B91D55AFA0CAC Time : 0.0 sec. user=mdettweiler [2016-09-05 05:33:04] 977*2^1438908-1 is not prime. Res64: 126DC34FB440F7AE Time : 0.0 sec. user=mdettweiler [2016-09-05 05:36:01] 987*2^1438908-1 is not prime. Res64: 9A88FE3399138FF4 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:36:01] 609*2^1438909-1 is not prime. Res64: 0F3F6E1D23DFC2CD Time : 0.0 sec. user=mdettweiler [2016-09-05 05:36:01] 687*2^1438909-1 is not prime. Res64: 93F01DC4CA175572 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:36:02] 691*2^1438909-1 is not prime. Res64: 6215D21AC92DBB1C Time : 0.0 sec. user=mdettweiler [2016-09-05 05:36:02] 855*2^1438909-1 is not prime. Res64: 3F43BEBF0D9EC8D3 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:52:57] 867*2^1438909-1 is not prime. Res64: E3D171C356299D23 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:52:57] 895*2^1438909-1 is not prime. Res64: 324FE95B973CD8E7 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:52:57] 999*2^1438909-1 is not prime. Res64: 852144582C58C89D Time : 0.0 sec. user=mdettweiler [2016-09-05 05:52:58] 605*2^1438910-1 is not prime. Res64: 651AC7DA8BCE4647 Time : 0.0 sec. user=mdettweiler [2016-09-05 05:52:58] 641*2^1438910-1 is not prime. Res64: 3AF39A9F19C5FFC7 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:14:25] 657*2^1438910-1 is not prime. Res64: 4FDB81F879A215F7 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:14:25] 677*2^1438910-1 is not prime. Res64: 2E95BC49DFC17925 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:14:26] 741*2^1438910-1 is not prime. Res64: CCBEE391480B09A3 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:14:26] 747*2^1438910-1 is not prime. Res64: BB003E3C20AB098F Time : 0.0 sec. user=mdettweiler [2016-09-05 06:14:26] 801*2^1438910-1 is not prime. Res64: 16052631D7A7EFC9 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:18:13] 845*2^1438910-1 is not prime. Res64: 9501401A9BB99748 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:18:14] 893*2^1438910-1 is not prime. Res64: E5DA16BFDD0B9C31 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:18:14] 651*2^1438911-1 is not prime. Res64: 9ED2142AD5EACBEB Time : 0.0 sec. user=mdettweiler [2016-09-05 06:18:14] 685*2^1438911-1 is not prime. Res64: 5CE6B01DC329D20F Time : 0.0 sec. user=mdettweiler [2016-09-05 06:18:15] 829*2^1438911-1 is not prime. Res64: 0F7627D6BF8A868E Time : 0.0 sec. user=mdettweiler [2016-09-05 06:21:04] 975*2^1438911-1 is not prime. Res64: 0E64C108FAA7F060 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:21:04] 605*2^1438912-1 is not prime. Res64: E4354B797B5F695A Time : 0.0 sec. user=mdettweiler [2016-09-05 06:21:04] 705*2^1438912-1 is not prime. Res64: D616D9455C3DDC88 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:21:05] 785*2^1438912-1 is not prime. Res64: 2AF06FB731AEEFB0 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:21:05] 999*2^1438912-1 is not prime. Res64: 478051420EF86F7A Time : 0.0 sec. user=mdettweiler [2016-09-05 06:38:06] 631*2^1438913-1 is not prime. Res64: 53B84A9A9B449F0A Time : 0.0 sec. user=mdettweiler [2016-09-05 06:38:07] 675*2^1438913-1 is not prime. Res64: EF3CCD7358CD3576 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:38:07] 685*2^1438913-1 is not prime. Res64: 3359C9B840723570 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:38:07] 801*2^1438913-1 is not prime. Res64: DF2C312F2E2504FD Time : 0.0 sec. user=mdettweiler [2016-09-05 06:38:08] 885*2^1438913-1 is not prime. Res64: 7094061FA078A9F4 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:59:31] 711*2^1438914-1 is not prime. Res64: D47890F69041AC4F Time : 0.0 sec. user=mdettweiler [2016-09-05 06:59:31] 765*2^1438914-1 is not prime. Res64: E8A183D68BAAB5F8 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:59:32] 951*2^1438914-1 is not prime. Res64: 252E1FEB338AF4AE Time : 0.0 sec. user=mdettweiler [2016-09-05 06:59:32] 993*2^1438914-1 is not prime. Res64: AEBC5E247BCAF495 Time : 0.0 sec. user=mdettweiler [2016-09-05 06:59:32] 751*2^1438915-1 is not prime. Res64: BE0C9C345D21A05B Time : 0.0 sec. user=mdettweiler [2016-09-05 07:03:25] 805*2^1438915-1 is not prime. Res64: D2DE1A716FB2C683 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:03:26] 909*2^1438915-1 is not prime. Res64: BE263C2DC204D19F Time : 0.0 sec. user=mdettweiler [2016-09-05 07:03:28] 913*2^1438915-1 is not prime. Res64: B5671B583C32883E Time : 0.0 sec. user=mdettweiler [2016-09-05 07:03:29] 623*2^1438916-1 is not prime. Res64: 3247B55BA13F7939 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:03:31] 635*2^1438916-1 is not prime. Res64: 932C98DEE71C48EB Time : 0.0 sec. user=mdettweiler [2016-09-05 07:06:09] 717*2^1438916-1 is not prime. Res64: 1C9634C5FE562345 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:06:10] 735*2^1438916-1 is not prime. Res64: 593A3FEE65FE0286 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:06:13] 773*2^1438916-1 is not prime. Res64: AB9F7DE2062BD300 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:06:16] 879*2^1438916-1 is not prime. Res64: 71354FFE335412F5 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:06:18] 957*2^1438916-1 is not prime. Res64: 3091E9FF5C69DB15 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:23:16] 691*2^1438917-1 is not prime. Res64: 0D3276017B172611 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:23:16] 699*2^1438917-1 is not prime. Res64: AC9E626A109F88F5 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:23:17] 765*2^1438917-1 is not prime. Res64: 9F547FC9BE24E622 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:23:17] 777*2^1438917-1 is not prime. Res64: 8AF646C9EC3F73B5 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:23:17] 795*2^1438917-1 is not prime. Res64: D0B0F06010139529 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:44:50] 885*2^1438917-1 is not prime. Res64: F4BBDCBAF05FA2A9 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:44:50] 889*2^1438917-1 is not prime. Res64: B816AACDC9C9DBD0 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:44:50] 891*2^1438917-1 is not prime. Res64: 57F12C7B79717B05 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:44:51] 945*2^1438917-1 is not prime. Res64: CECE2A22F2A8DAEE Time : 0.0 sec. user=mdettweiler [2016-09-05 07:44:51] 955*2^1438917-1 is not prime. Res64: 4067B5D7D8B4E4BE Time : 0.0 sec. user=mdettweiler [2016-09-05 07:48:44] 605*2^1438918-1 is not prime. Res64: 3B9C75D92D39B06C Time : 0.0 sec. user=mdettweiler [2016-09-05 07:48:44] 647*2^1438918-1 is not prime. Res64: D9CFBFBCEABF9B4C Time : 0.0 sec. user=mdettweiler [2016-09-05 07:48:44] 663*2^1438918-1 is not prime. Res64: 0C96BEF365BAA54E Time : 0.0 sec. user=mdettweiler [2016-09-05 07:48:45] 681*2^1438918-1 is not prime. Res64: 6AC52FBB356AD7AC Time : 0.0 sec. user=mdettweiler [2016-09-05 07:48:45] 705*2^1438918-1 is not prime. Res64: A91F763BE750E8A8 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:51:36] 731*2^1438918-1 is not prime. Res64: 7C2A1BCB79B2F8B0 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:51:36] 765*2^1438918-1 is not prime. Res64: 6386BC3E9593EEF2 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:51:36] 815*2^1438918-1 is not prime. Res64: 8B3EBD55C0415273 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:51:37] 833*2^1438918-1 is not prime. Res64: C589A2581090DE12 Time : 0.0 sec. user=mdettweiler [2016-09-05 07:51:37] 891*2^1438918-1 is not prime. Res64: 0D37C6145DBE5C48 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:08:17] 957*2^1438918-1 is not prime. Res64: 9752B27CC4869DD7 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:08:18] 663*2^1438919-1 is not prime. Res64: 39F668C2623D4F07 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:08:19] 811*2^1438919-1 is not prime. Res64: 69B261AD335B7304 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:08:20] 859*2^1438919-1 is not prime. Res64: F768DD7EA4030909 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:08:21] 629*2^1438920-1 is not prime. Res64: C75A81856D30938C Time : 0.0 sec. user=mdettweiler [2016-09-05 08:30:00] 699*2^1438920-1 is not prime. Res64: 5D5B9A906819FC96 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:30:00] 753*2^1438920-1 is not prime. Res64: 8AA9BA6A24A3D272 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:30:00] 975*2^1438920-1 is not prime. Res64: 714B7232FC8465BD Time : 0.0 sec. user=mdettweiler [2016-09-05 08:30:01] 679*2^1438921-1 is not prime. Res64: 9AE57B5D6A029F6A Time : 0.0 sec. user=mdettweiler [2016-09-05 08:30:01] 687*2^1438921-1 is not prime. Res64: 3DE9DB436B7A5D78 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:33:49] 705*2^1438921-1 is not prime. Res64: 76B1535A5FC91593 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:33:50] 771*2^1438921-1 is not prime. Res64: 4E7CD478D9685500 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:33:50] 805*2^1438921-1 is not prime. Res64: AA305DBA30ECC4A0 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:33:51] 811*2^1438921-1 is not prime. Res64: 363518033B0803B2 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:33:52] 819*2^1438921-1 is not prime. Res64: D6EBC1DDA2752F34 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:36:49] 871*2^1438921-1 is not prime. Res64: ADD3C672F0BDAFC8 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:36:50] 937*2^1438921-1 is not prime. Res64: 166ADEEF1EF9081A Time : 0.0 sec. user=mdettweiler [2016-09-05 08:36:50] 975*2^1438921-1 is not prime. Res64: 66D21462188AA2AB Time : 0.0 sec. user=mdettweiler [2016-09-05 08:36:50] 623*2^1438922-1 is not prime. Res64: E26A76BDD263C047 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:36:51] 801*2^1438922-1 is not prime. Res64: 16CCFADE62EBA6FC Time : 0.0 sec. user=mdettweiler [2016-09-05 08:53:36] 709*2^1438923-1 is not prime. Res64: BA0FAE9EF827AC99 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:53:37] 775*2^1438923-1 is not prime. Res64: E203194A06841325 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:53:37] 781*2^1438923-1 is not prime. Res64: B264D65B4CC110AA Time : 0.0 sec. user=mdettweiler [2016-09-05 08:53:37] 963*2^1438923-1 is not prime. Res64: 262494AAE1D6FDB5 Time : 0.0 sec. user=mdettweiler [2016-09-05 08:53:38] 623*2^1438924-1 is not prime. Res64: 27349F16A4A1C655 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:15:21] 639*2^1438924-1 is not prime. Res64: 106700DF1B0E42DF Time : 0.0 sec. user=mdettweiler [2016-09-05 09:15:21] 657*2^1438924-1 is not prime. Res64: D1C94562803379DE Time : 0.0 sec. user=mdettweiler [2016-09-05 09:15:22] 759*2^1438924-1 is not prime. Res64: 746FEC9B9B514740 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:15:22] 869*2^1438924-1 is not prime. Res64: 2B72D899945871DD Time : 0.0 sec. user=mdettweiler [2016-09-05 09:15:22] 655*2^1438925-1 is not prime. Res64: BE746680E2182D8F Time : 0.0 sec. user=mdettweiler [2016-09-05 09:18:49] 669*2^1438925-1 is not prime. Res64: 407A0FAB9A9C4FE0 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:18:49] 675*2^1438925-1 is not prime. Res64: DFBCA21FF723BBD1 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:18:49] 777*2^1438925-1 is not prime. Res64: 09640C5CFA3547B0 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:18:50] 787*2^1438925-1 is not prime. Res64: 16349BF22DD1B1E5 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:18:50] 885*2^1438925-1 is not prime. Res64: 56A11E5574A857B2 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:21:48] 647*2^1438926-1 is not prime. Res64: A8FA524DBE54836D Time : 0.0 sec. user=mdettweiler [2016-09-05 09:21:48] 707*2^1438926-1 is not prime. Res64: 4CC5D10459C0A694 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:21:49] 765*2^1438926-1 is not prime. Res64: 9A55CDC804981D09 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:21:49] 821*2^1438926-1 is not prime. Res64: 450FA3AD11D62353 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:21:49] 843*2^1438926-1 is not prime. Res64: 0F63A09432ED7D17 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:38:55] 921*2^1438926-1 is not prime. Res64: E903ECE304440898 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:38:56] 645*2^1438927-1 is not prime. Res64: EACC921939B533B6 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:38:56] 649*2^1438927-1 is not prime. Res64: 2217DC79087231E2 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:38:56] 693*2^1438927-1 is not prime. Res64: D3C96FA9841DD506 Time : 0.0 sec. user=mdettweiler [2016-09-05 09:38:57] 933*2^1438927-1 is not prime. Res64: F543BC06841DE341 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:00:23] 979*2^1438927-1 is not prime. Res64: 50C481EBA5C54AB5 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:00:24] 645*2^1438928-1 is not prime. Res64: 51790AFD7ED453EC Time : 0.0 sec. user=mdettweiler [2016-09-05 10:00:25] 735*2^1438928-1 is not prime. Res64: B0C7D03AEF3515AB Time : 0.0 sec. user=mdettweiler [2016-09-05 10:00:26] 747*2^1438928-1 is not prime. Res64: 8398DE15381C73AF Time : 0.0 sec. user=mdettweiler [2016-09-05 10:00:27] 767*2^1438928-1 is not prime. Res64: 61F68A00C2EFFC1D Time : 0.0 sec. user=mdettweiler [2016-09-05 10:04:05] 601*2^1438929-1 is not prime. Res64: 8B5B01E346C0BE32 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:04:07] 609*2^1438929-1 is not prime. Res64: 15324C26B50A1E9B Time : 0.0 sec. user=mdettweiler [2016-09-05 10:04:08] 657*2^1438929-1 is not prime. Res64: 572A8AADEC999019 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:04:10] 789*2^1438929-1 is not prime. Res64: 4F5081F84BA76DFE Time : 0.0 sec. user=mdettweiler [2016-09-05 10:04:12] 795*2^1438929-1 is not prime. Res64: 2000DE737649B32C Time : 0.0 sec. user=mdettweiler [2016-09-05 10:06:49] 889*2^1438929-1 is not prime. Res64: 5E1F6E7183F28BB7 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:06:52] 955*2^1438929-1 is not prime. Res64: F6EC9B2B13F725D8 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:06:53] 969*2^1438929-1 is not prime. Res64: E4E94D24B14B8AD3 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:06:55] 975*2^1438929-1 is not prime. Res64: 6184D1F55A7DDDB8 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:06:56] 675*2^1438930-1 is not prime. Res64: 445EB9D38E71C628 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:24:32] 773*2^1438930-1 is not prime. Res64: 7AE52D39D404DA7E Time : 0.0 sec. user=mdettweiler [2016-09-05 10:24:32] 831*2^1438930-1 is not prime. Res64: 191A152A759672D4 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:24:32] 857*2^1438930-1 is not prime. Res64: BCA14A114E74F7F0 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:24:33] 867*2^1438930-1 is not prime. Res64: 0EFDA99C6F991037 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:24:33] 651*2^1438931-1 is not prime. Res64: 14572FBC9824EE2F Time : 0.0 sec. user=mdettweiler [2016-09-05 10:45:34] 673*2^1438931-1 is not prime. Res64: D638C9BDE49D3FB2 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:45:35] 841*2^1438931-1 is not prime. Res64: 6B5F105CBF4ADFDF Time : 0.0 sec. user=mdettweiler [2016-09-05 10:45:35] 921*2^1438931-1 is not prime. Res64: 2945D7BFFDCF82F7 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:45:35] 609*2^1438932-1 is not prime. Res64: 27BC40F964AB3C74 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:45:36] 629*2^1438932-1 is not prime. Res64: BEB2EE49D5089183 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:49:33] 947*2^1438932-1 is not prime. Res64: 49CE9C6D517768BA Time : 0.0 sec. user=mdettweiler [2016-09-05 10:49:33] 983*2^1438932-1 is not prime. Res64: 7C47002EF4CE83E4 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:49:34] 649*2^1438933-1 is not prime. Res64: BB4ABB1BDEB2F8B5 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:49:34] 699*2^1438933-1 is not prime. Res64: 37FB83467538ABCF Time : 0.0 sec. user=mdettweiler [2016-09-05 10:49:34] 801*2^1438933-1 is not prime. Res64: 59D78F9BC77E47D2 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:52:28] 805*2^1438933-1 is not prime. Res64: EDB1B2D42E566ABC Time : 0.0 sec. user=mdettweiler [2016-09-05 10:52:28] 957*2^1438933-1 is not prime. Res64: 69899E0E0C1B277C Time : 0.0 sec. user=mdettweiler [2016-09-05 10:52:29] 961*2^1438933-1 is not prime. Res64: C9976E036D3C1C1F Time : 0.0 sec. user=mdettweiler [2016-09-05 10:52:29] 979*2^1438933-1 is not prime. Res64: BCD804A250AC2094 Time : 0.0 sec. user=mdettweiler [2016-09-05 10:52:30] 755*2^1438934-1 is not prime. Res64: C348EF4A51ACD1D2 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:09:42] 785*2^1438934-1 is not prime. Res64: 653201C4A29C19FD Time : 0.0 sec. user=mdettweiler [2016-09-05 11:09:43] 953*2^1438934-1 is not prime. Res64: AAFCC09026BE42F1 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:09:43] 651*2^1438935-1 is not prime. Res64: 378E13BC8D9932D6 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:09:44] 793*2^1438935-1 is not prime. Res64: 6713E66A62102443 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:09:44] 849*2^1438935-1 is not prime. Res64: C2C3B175ECAD98D8 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:30:56] 609*2^1438936-1 is not prime. Res64: 1C9ED72AB3D8079A Time : 0.0 sec. user=mdettweiler [2016-09-05 11:30:56] 653*2^1438936-1 is not prime. Res64: 4281F386F10DE44D Time : 0.0 sec. user=mdettweiler [2016-09-05 11:30:57] 689*2^1438936-1 is not prime. Res64: F214D7616909D8EE Time : 0.0 sec. user=mdettweiler [2016-09-05 11:30:57] 693*2^1438936-1 is not prime. Res64: C441D29E8138B477 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:30:57] 855*2^1438936-1 is not prime. Res64: A2FDB2A6DE15C837 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:34:48] 927*2^1438936-1 is not prime. Res64: 81E12B09250FE16D Time : 0.0 sec. user=mdettweiler [2016-09-05 11:34:49] 631*2^1438937-1 is not prime. Res64: 4ECD1ABDE4E2DE84 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:34:49] 799*2^1438937-1 is not prime. Res64: 56F276B11A060086 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:34:50] 885*2^1438937-1 is not prime. Res64: D956957DB0878C88 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:34:50] 937*2^1438937-1 is not prime. Res64: 3C9DFF0040C2D69D Time : 0.0 sec. user=mdettweiler [2016-09-05 11:37:49] 985*2^1438937-1 is not prime. Res64: F3BBD26D15B4017F Time : 0.0 sec. user=mdettweiler [2016-09-05 11:37:49] 735*2^1438938-1 is not prime. Res64: 51E42AD4266C0904 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:37:49] 773*2^1438938-1 is not prime. Res64: 0737308F5A0FD136 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:37:50] 801*2^1438938-1 is not prime. Res64: 9CDD415C88FEC50C Time : 0.0 sec. user=mdettweiler [2016-09-05 11:37:50] 891*2^1438938-1 is not prime. Res64: 7C6F9C06352241CA Time : 0.0 sec. user=mdettweiler [2016-09-05 11:54:51] 921*2^1438938-1 is not prime. Res64: 6B59B743D0A250CD Time : 0.0 sec. user=mdettweiler [2016-09-05 11:54:52] 963*2^1438938-1 is not prime. Res64: E3BBE1A852423F1A Time : 0.0 sec. user=mdettweiler [2016-09-05 11:54:52] 745*2^1438939-1 is not prime. Res64: 98B4CEB0DD8C2FC5 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:54:52] 765*2^1438939-1 is not prime. Res64: E903F10DA5BB2074 Time : 0.0 sec. user=mdettweiler [2016-09-05 11:54:53] 811*2^1438939-1 is not prime. Res64: BD33E1F986CEB72C Time : 0.0 sec. user=mdettweiler [2016-09-05 12:16:46] 873*2^1438939-1 is not prime. Res64: E8864A3737F986C5 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:16:47] 975*2^1438939-1 is not prime. Res64: 7C050BA4BD969E22 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:16:47] 647*2^1438940-1 is not prime. Res64: 0F88FFD26DB750CF Time : 0.0 sec. user=mdettweiler [2016-09-05 12:16:48] 819*2^1438940-1 is not prime. Res64: D8FADEC1A0F76348 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:16:48] 845*2^1438940-1 is not prime. Res64: 548DE39DF3EE57B0 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:20:44] 875*2^1438940-1 is not prime. Res64: C7E3911C04F5747B Time : 0.0 sec. user=mdettweiler [2016-09-05 12:20:44] 957*2^1438940-1 is not prime. Res64: 9D74F87093FF7093 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:20:44] 995*2^1438940-1 is not prime. Res64: 11B96C38A2414C70 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:20:45] 745*2^1438941-1 is not prime. Res64: 2A507EFF88A48143 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:20:45] 611*2^1438942-1 is not prime. Res64: 9193A4378324DC02 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:23:48] 635*2^1438942-1 is not prime. Res64: E64855C2D3D6B06F Time : 0.0 sec. user=mdettweiler [2016-09-05 12:23:48] 651*2^1438942-1 is not prime. Res64: 9EF977C435897866 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:23:49] 717*2^1438942-1 is not prime. Res64: 55EEFB3890986E3B Time : 0.0 sec. user=mdettweiler [2016-09-05 12:23:49] 831*2^1438942-1 is not prime. Res64: 91B234E5501C83E2 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:23:49] 983*2^1438942-1 is not prime. Res64: 4FE377FCAC92E35B Time : 0.0 sec. user=mdettweiler [2016-09-05 12:41:05] 603*2^1438943-1 is not prime. Res64: 073BF153A40890EE Time : 0.0 sec. user=mdettweiler [2016-09-05 12:41:06] 741*2^1438943-1 is not prime. Res64: 919A88451ACA36D5 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:41:06] 811*2^1438943-1 is not prime. Res64: 9BD28C116D454F53 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:41:06] 859*2^1438943-1 is not prime. Res64: 33304B9CE49FACC7 Time : 0.0 sec. user=mdettweiler [2016-09-05 12:41:07] 895*2^1438943-1 is not prime. Res64: 46FCA502FE6D66D3 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:02:41] 623*2^1438944-1 is not prime. Res64: D46B78A89EE24573 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:02:42] 693*2^1438944-1 is not prime. Res64: A26A745AEE580619 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:02:43] 765*2^1438944-1 is not prime. Res64: 9075FA0A5B1C4FE1 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:02:44] 789*2^1438944-1 is not prime. Res64: 0A2F005BCDA9C30B Time : 0.0 sec. user=mdettweiler [2016-09-05 13:02:44] 815*2^1438944-1 is not prime. Res64: E56418AEA48E5443 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:07:06] 893*2^1438944-1 is not prime. Res64: 1671F9AC72AC03BC Time : 0.0 sec. user=mdettweiler [2016-09-05 13:07:09] 777*2^1438945-1 is not prime. Res64: 6E731A9063B47D2E Time : 0.0 sec. user=mdettweiler [2016-09-05 13:07:09] 861*2^1438945-1 is not prime. Res64: 7D5EB9490713CC40 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:07:11] 951*2^1438945-1 is not prime. Res64: 67F927E53638A909 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:07:13] 627*2^1438946-1 is not prime. Res64: C2C8D2B1ABCBD9AD Time : 0.0 sec. user=mdettweiler [2016-09-05 13:09:34] 633*2^1438946-1 is not prime. Res64: 03E99970C6B5BDC4 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:09:35] 677*2^1438946-1 is not prime. Res64: DD0938353EC0055D Time : 0.0 sec. user=mdettweiler [2016-09-05 13:09:35] 741*2^1438946-1 is not prime. Res64: 8EEF8E4556BC1DA4 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:09:36] 773*2^1438946-1 is not prime. Res64: 48C1C8A9805D3FEF Time : 0.0 sec. user=mdettweiler [2016-09-05 13:09:37] 813*2^1438946-1 is not prime. Res64: 21FF0CB5DEFFE5ED Time : 0.0 sec. user=mdettweiler [2016-09-05 13:28:02] 827*2^1438946-1 is not prime. Res64: CF78B38F6CFE9C61 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:28:02] 837*2^1438946-1 is not prime. Res64: 9436C153EDC0C529 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:28:02] 619*2^1438947-1 is not prime. Res64: 2C7AD29BBAFAAC0A Time : 0.0 sec. user=mdettweiler [2016-09-05 13:28:03] 705*2^1438947-1 is not prime. Res64: 04267AB137310A06 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:28:03] 735*2^1438947-1 is not prime. Res64: 08ED052436A1B139 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:49:43] 769*2^1438947-1 is not prime. Res64: 2A06AEE9F28E522C Time : 0.0 sec. user=mdettweiler [2016-09-05 13:49:43] 823*2^1438947-1 is not prime. Res64: 416971570595942C Time : 0.0 sec. user=mdettweiler [2016-09-05 13:49:43] 999*2^1438947-1 is not prime. Res64: 277CAE2AFA70A6AD Time : 0.0 sec. user=mdettweiler [2016-09-05 13:49:44] 623*2^1438948-1 is not prime. Res64: A3BD0843B934F559 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:49:44] 629*2^1438948-1 is not prime. Res64: CB4152CCA5383318 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:55:10] 695*2^1438948-1 is not prime. Res64: 5540DFC594DAC223 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:55:10] 705*2^1438948-1 is not prime. Res64: D88FE02C2961D8D3 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:55:11] 743*2^1438948-1 is not prime. Res64: 510C4300E1FFF09D Time : 0.0 sec. user=mdettweiler [2016-09-05 13:55:11] 839*2^1438948-1 is not prime. Res64: D07C9B46805E43C9 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:55:11] 969*2^1438948-1 is not prime. Res64: B5CC5C9F9F452C40 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:56:23] 627*2^1438949-1 is not prime. Res64: 179119C275B00194 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:56:23] 799*2^1438949-1 is not prime. Res64: DA0574E36A446A87 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:56:23] 801*2^1438949-1 is not prime. Res64: BCE6B454B3A24A1B Time : 0.0 sec. user=mdettweiler [2016-09-05 13:56:24] 829*2^1438949-1 is not prime. Res64: F3F12645497A6075 Time : 0.0 sec. user=mdettweiler [2016-09-05 13:56:24] 879*2^1438949-1 is not prime. Res64: 0719CC41018E2AF3 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:14:21] 951*2^1438949-1 is not prime. Res64: 3978462BAF4FA0AF Time : 0.0 sec. user=mdettweiler [2016-09-05 14:14:22] 985*2^1438949-1 is not prime. Res64: 3ADA878EAECE3EB9 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:14:22] 991*2^1438949-1 is not prime. Res64: 63B1BA6F125A3E0F Time : 0.0 sec. user=mdettweiler [2016-09-05 14:14:23] 997*2^1438949-1 is not prime. Res64: E38D3AE630FDF387 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:14:23] 723*2^1438950-1 is not prime. Res64: AAA6E71DBEBE973C Time : 0.0 sec. user=mdettweiler [2016-09-05 14:38:45] 741*2^1438950-1 is not prime. Res64: EF17385B1580420C Time : 0.0 sec. user=mdettweiler [2016-09-05 14:38:45] 783*2^1438950-1 is not prime. Res64: AE5C5DCE3639142D Time : 0.0 sec. user=mdettweiler [2016-09-05 14:38:46] 791*2^1438950-1 is not prime. Res64: 56B9B00B8B2C2CC0 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:38:46] 797*2^1438950-1 is not prime. Res64: 7D6C0FEB9929CCDA Time : 0.0 sec. user=mdettweiler [2016-09-05 14:38:46] 833*2^1438950-1 is not prime. Res64: 69E1E859095E134D Time : 0.0 sec. user=mdettweiler [2016-09-05 14:43:37] 845*2^1438950-1 is not prime. Res64: 2F5197300BE6533D Time : 0.0 sec. user=mdettweiler [2016-09-05 14:43:37] 851*2^1438950-1 is not prime. Res64: 4716C6280993C3E2 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:43:38] 887*2^1438950-1 is not prime. Res64: 66DC9406F12DD61E Time : 0.0 sec. user=mdettweiler [2016-09-05 14:43:38] 891*2^1438950-1 is not prime. Res64: 3B2D5F239886150D Time : 0.0 sec. user=mdettweiler [2016-09-05 14:43:38] 965*2^1438950-1 is not prime. Res64: AD66808C31FFF4AD Time : 0.0 sec. user=mdettweiler [2016-09-05 14:44:20] 971*2^1438950-1 is not prime. Res64: 613434E447162EED Time : 0.0 sec. user=mdettweiler [2016-09-05 14:44:21] 615*2^1438951-1 is not prime. Res64: C473E2DD879BE449 Time : 0.0 sec. user=mdettweiler [2016-09-05 14:44:21] 745*2^1438951-1 is not prime. Res64: 282C7C4A4D07F2EE Time : 0.0 sec. user=mdettweiler [2016-09-05 14:44:21] 829*2^1438951-1 is not prime. Res64: FB6240F2C201727B Time : 0.0 sec. user=mdettweiler [2016-09-05 14:44:21] 841*2^1438951-1 is not prime. Res64: 9DDA471F4C1C3AF4 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:01:42] 871*2^1438951-1 is not prime. Res64: 00950BDFC28164DD Time : 0.0 sec. user=mdettweiler [2016-09-05 15:01:43] 675*2^1438952-1 is not prime. Res64: 7C60EE9580A99F94 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:01:44] 873*2^1438952-1 is not prime. Res64: 2D278376A8F71585 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:01:45] 917*2^1438952-1 is not prime. Res64: 31281928DD17ED75 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:01:46] 923*2^1438952-1 is not prime. Res64: 120631C11F7BB25F Time : 0.0 sec. user=mdettweiler [2016-09-05 15:24:16] 615*2^1438953-1 is not prime. Res64: 5389606D712F42E1 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:24:16] 837*2^1438953-1 is not prime. Res64: 9153F3581D37B088 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:24:17] 877*2^1438953-1 is not prime. Res64: 8CC600565E9763F9 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:24:17] 955*2^1438953-1 is not prime. Res64: 6A97E34533DC2BB3 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:24:17] 979*2^1438953-1 is not prime. Res64: 647C4278FC56344B Time : 0.0 sec. user=mdettweiler [2016-09-05 15:28:58] 657*2^1438954-1 is not prime. Res64: 474E281BBFF6078C Time : 0.0 sec. user=mdettweiler [2016-09-05 15:28:59] 681*2^1438954-1 is not prime. Res64: 632704E88BF2DAF0 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:28:59] 717*2^1438954-1 is not prime. Res64: 893AF164F58618F9 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:00] 731*2^1438954-1 is not prime. Res64: 99ACF5DF3D342E4A Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:00] 825*2^1438954-1 is not prime. Res64: F9C204187368F112 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:27] 827*2^1438954-1 is not prime. Res64: E13E9D5BD18088B9 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:28] 857*2^1438954-1 is not prime. Res64: E8A9DF51F0279F2B Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:28] 975*2^1438954-1 is not prime. Res64: 52A46DF9812DE0B4 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:28] 609*2^1438955-1 is not prime. Res64: CCA14F77BCC047E2 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:29:29] 789*2^1438955-1 is not prime. Res64: FDC4E189E4E91F88 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:47:04] 841*2^1438955-1 is not prime. Res64: B29F1BFD6427B624 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:47:05] 903*2^1438955-1 is not prime. Res64: 09439AAEB0C99E02 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:47:06] 939*2^1438955-1 is not prime. Res64: F9832450062C1982 Time : 0.0 sec. user=mdettweiler [2016-09-05 15:47:06] 693*2^1438956-1 is not prime. Res64: 59DCF48F560434CA Time : 0.0 sec. user=mdettweiler [2016-09-05 15:47:07] 825*2^1438956-1 is not prime. Res64: 11D473BB55F6035A Time : 0.0 sec. user=mdettweiler [2016-09-05 16:09:19] 845*2^1438956-1 is not prime. Res64: 887DAC80564B8BCE Time : 0.0 sec. user=mdettweiler [2016-09-05 16:09:20] 905*2^1438956-1 is not prime. Res64: CBE1DD9FC09CBAC3 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:09:20] 975*2^1438956-1 is not prime. Res64: 896F463ECE0F616B Time : 0.0 sec. user=mdettweiler [2016-09-05 16:09:21] 717*2^1438957-1 is not prime. Res64: 0E956F616925DDF0 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:09:21] 747*2^1438957-1 is not prime. Res64: 40C703F667AA12DE Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:15] 817*2^1438957-1 is not prime. Res64: 04EF9AE91EC8D6E8 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:16] 975*2^1438957-1 is not prime. Res64: 1DD922D78228A2F4 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:16] 997*2^1438957-1 is not prime. Res64: A65495A7FAABEA6F Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:16] 617*2^1438958-1 is not prime. Res64: 43BCEB6B1E0BAEDB Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:17] 641*2^1438958-1 is not prime. Res64: 73BF03772174A610 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:33] 753*2^1438958-1 is not prime. Res64: 91E2402CC53CB0F9 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:33] 831*2^1438958-1 is not prime. Res64: 97F858ED6ABA9B3B Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:33] 867*2^1438958-1 is not prime. Res64: 27EC632203581B7D Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:34] 911*2^1438958-1 is not prime. Res64: F90CF07941BB8588 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:14:34] 977*2^1438958-1 is not prime. Res64: 96998D97CBBD6807 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:32:05] 615*2^1438959-1 is not prime. Res64: B5E5CECBB3255F81 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:32:06] 859*2^1438959-1 is not prime. Res64: 768DE80C9E0C50D4 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:32:06] 879*2^1438959-1 is not prime. Res64: C7FBF85E1D05D2F1 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:32:06] 931*2^1438959-1 is not prime. Res64: 1FED45AC66234BAF Time : 0.0 sec. user=mdettweiler [2016-09-05 16:32:07] 777*2^1438960-1 is not prime. Res64: 351316250A588514 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:54:27] 855*2^1438960-1 is not prime. Res64: 0FD6E1F31986CCDE Time : 0.0 sec. user=mdettweiler [2016-09-05 16:54:27] 897*2^1438960-1 is not prime. Res64: 9AED8F205B4B8904 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:54:28] 927*2^1438960-1 is not prime. Res64: 1DBE7008C534E7C2 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:54:28] 965*2^1438960-1 is not prime. Res64: FC68FB01DF8020FD Time : 0.0 sec. user=mdettweiler [2016-09-05 16:54:28] 995*2^1438960-1 is not prime. Res64: 2DF5A07A5897FEAE Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:26] 657*2^1438961-1 is not prime. Res64: 7CD5E166BE1428ED Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:26] 675*2^1438961-1 is not prime. Res64: E8464DED83D3115D Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:26] 711*2^1438961-1 is not prime. Res64: 6B8B1DA73C4FB2E8 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:27] 769*2^1438961-1 is not prime. Res64: 6A9B222D58DC9D08 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:27] 805*2^1438961-1 is not prime. Res64: 4B6F8A0C159FB579 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:44] 865*2^1438961-1 is not prime. Res64: 05E2CFA29648E850 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:44] 871*2^1438961-1 is not prime. Res64: C8D5F63281ADEA12 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:45] 907*2^1438961-1 is not prime. Res64: 2FA5DE5CE053C1C3 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:45] 937*2^1438961-1 is not prime. Res64: DF3A55C2AC7FDAA1 Time : 0.0 sec. user=mdettweiler [2016-09-05 16:59:45] 945*2^1438961-1 is not prime. Res64: 24ECF4AB308C36A2 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:17:09] 949*2^1438961-1 is not prime. Res64: E0409F23A5BB5A56 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:17:10] 979*2^1438961-1 is not prime. Res64: 60E8227C397D9DC9 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:17:10] 621*2^1438962-1 is not prime. Res64: 6232B1C40DDA3AA0 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:17:10] 705*2^1438962-1 is not prime. Res64: D488EBEEE1CB154B Time : 0.0 sec. user=mdettweiler [2016-09-05 17:17:11] 713*2^1438962-1 is not prime. Res64: EA83A2175B3027CD Time : 0.0 sec. user=mdettweiler [2016-09-05 17:39:37] 723*2^1438962-1 is not prime. Res64: 9D26364D08653541 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:39:38] 741*2^1438962-1 is not prime. Res64: 554560F8757B13C4 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:39:38] 777*2^1438962-1 is not prime. Res64: AEC44F76F76CC87A Time : 0.0 sec. user=mdettweiler [2016-09-05 17:39:38] 609*2^1438963-1 is not prime. Res64: 3A4325DED919A930 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:39:39] 663*2^1438963-1 is not prime. Res64: 5111DC195AB7FA17 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:33] 675*2^1438963-1 is not prime. Res64: FE91D51744D593BC Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:33] 827*2^1438964-1 is not prime. Res64: 9CBD5DE3A2013AA4 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:33] 875*2^1438964-1 is not prime. Res64: 58C49400FECBD12F Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:34] 909*2^1438964-1 is not prime. Res64: 0CEA7B60FABB215D Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:34] 601*2^1438965-1 is not prime. Res64: 2163D7C38D78E8FC Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:58] 679*2^1438965-1 is not prime. Res64: 5A4F0C203E167A76 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:59] 727*2^1438965-1 is not prime. Res64: 66A41CE921671670 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:59] 777*2^1438965-1 is not prime. Res64: 72E30BC91CA3C5E0 Time : 0.0 sec. user=mdettweiler [2016-09-05 17:44:59] 889*2^1438965-1 is not prime. Res64: 583CB167FCF0047D Time : 0.0 sec. user=mdettweiler [2016-09-05 17:45:00] 915*2^1438965-1 is not prime. Res64: 65BB4BB848DD6050 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:02:29] 919*2^1438965-1 is not prime. Res64: 81194135596E0CD7 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:02:30] 737*2^1438966-1 is not prime. Res64: 3C74B83B86F04E6A Time : 0.0 sec. user=mdettweiler [2016-09-05 18:02:31] 761*2^1438966-1 is not prime. Res64: CD90AC01B0A562AA Time : 0.0 sec. user=mdettweiler [2016-09-05 18:02:33] 813*2^1438966-1 is not prime. Res64: F2C21FB429057E21 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:02:34] 861*2^1438966-1 is not prime. Res64: 3BC00B3FD338118F Time : 0.0 sec. user=mdettweiler [2016-09-05 18:24:48] 993*2^1438966-1 is not prime. Res64: 6F1AACC8D3098CA6 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:24:48] 693*2^1438967-1 is not prime. Res64: 58212099C5DD3FD0 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:24:49] 879*2^1438967-1 is not prime. Res64: 7C3517317CCAEFAD Time : 0.0 sec. user=mdettweiler [2016-09-05 18:24:49] 657*2^1438968-1 is not prime. Res64: 200176DF8B6865B0 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:24:49] 707*2^1438968-1 is not prime. Res64: 10CFACC7CA54C674 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:00] 625*2^1438969-1 is not prime. Res64: 79A891C02CD370B3 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:00] 775*2^1438969-1 is not prime. Res64: C0CD1BA1D40B9E6C Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:01] 829*2^1438969-1 is not prime. Res64: 00FC58ED85588180 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:01] 831*2^1438969-1 is not prime. Res64: 3C8B70105D71E2B1 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:02] 975*2^1438969-1 is not prime. Res64: 1F0969A18034A092 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:10] 735*2^1438968-1 is not prime. Res64: EC4D4E6D566C17ED Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:10] 747*2^1438968-1 is not prime. Res64: 70C66E1C72BE996B Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:10] 797*2^1438968-1 is not prime. Res64: 710FF25C0FC445E3 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:11] 933*2^1438968-1 is not prime. Res64: 4F8AADACD9EC4714 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:30:11] 999*2^1438968-1 is not prime. Res64: 746D241CF9A6D443 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:48:05] 603*2^1438970-1 is not prime. Res64: CB720EFFBE9C5FEC Time : 0.0 sec. user=mdettweiler [2016-09-05 18:48:05] 645*2^1438970-1 is not prime. Res64: 57EE5ABCA91E7262 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:48:06] 671*2^1438970-1 is not prime. Res64: D38D140AAD74352A Time : 0.0 sec. user=mdettweiler [2016-09-05 18:48:06] 713*2^1438970-1 is not prime. Res64: 1CF1B17403497636 Time : 0.0 sec. user=mdettweiler [2016-09-05 18:48:07] 783*2^1438970-1 is not prime. Res64: 1307569D5EFACDFD Time : 0.0 sec. user=mdettweiler [2016-09-05 19:09:48] 797*2^1438970-1 is not prime. Res64: C4AD348334E72B26 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:09:48] 813*2^1438970-1 is not prime. Res64: 177AF461D73B2DE9 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:09:49] 843*2^1438970-1 is not prime. Res64: 564261A6BC884B9C Time : 0.0 sec. user=mdettweiler [2016-09-05 19:09:49] 921*2^1438970-1 is not prime. Res64: F884F73E0EB717B3 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:09:50] 735*2^1438971-1 is not prime. Res64: B91CD5C42B0A4412 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:14:52] 775*2^1438971-1 is not prime. Res64: 59FD653EE22141F0 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:14:52] 969*2^1438971-1 is not prime. Res64: E363E94399520DB6 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:14:53] 615*2^1438972-1 is not prime. Res64: 71E64F415F5FEBA5 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:14:53] 623*2^1438972-1 is not prime. Res64: 2AE12802885D13E1 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:14:54] 675*2^1438972-1 is not prime. Res64: 416BC0B4DEE8AB50 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:15:33] 695*2^1438972-1 is not prime. Res64: 7DAE855A89F33478 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:15:34] 723*2^1438972-1 is not prime. Res64: AD855466760DBD72 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:15:34] 785*2^1438972-1 is not prime. Res64: B1EF0F588BF13722 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:15:35] 813*2^1438972-1 is not prime. Res64: 644F1A578C1B9FAC Time : 0.0 sec. user=mdettweiler [2016-09-05 19:15:35] 873*2^1438972-1 is not prime. Res64: FE0BC1F34D196F01 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:33:17] 619*2^1438973-1 is not prime. Res64: 72651E56FAE82B3A Time : 0.0 sec. user=mdettweiler [2016-09-05 19:33:17] 657*2^1438973-1 is not prime. Res64: 48059674F88B339A Time : 0.0 sec. user=mdettweiler [2016-09-05 19:33:18] 741*2^1438973-1 is not prime. Res64: 027B6BEFA22932E6 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:33:18] 811*2^1438973-1 is not prime. Res64: CDE398D6EF75AB34 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:33:19] 879*2^1438973-1 is not prime. Res64: 2309DA4E163CF76E Time : 0.0 sec. user=mdettweiler [2016-09-05 19:55:05] 925*2^1438973-1 is not prime. Res64: EE7D286C28A6C827 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:55:05] 939*2^1438973-1 is not prime. Res64: 7FE85377DAD7FA3E Time : 0.0 sec. user=mdettweiler [2016-09-05 19:55:06] 967*2^1438973-1 is not prime. Res64: A546F6617CD43D4A Time : 0.0 sec. user=mdettweiler [2016-09-05 19:55:07] 981*2^1438973-1 is not prime. Res64: C10B631F12F675D5 Time : 0.0 sec. user=mdettweiler [2016-09-05 19:55:08] 991*2^1438973-1 is not prime. Res64: 1C47EB5E55329DF8 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:03] 705*2^1438974-1 is not prime. Res64: 8C3501547B485AD5 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:04] 765*2^1438974-1 is not prime. Res64: 177AB5972A613054 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:04] 783*2^1438974-1 is not prime. Res64: 8E87099184F1BCD7 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:05] 833*2^1438974-1 is not prime. Res64: 8F3B8A18AB58BA2B Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:05] 851*2^1438974-1 is not prime. Res64: 902CEEE0FAAE196C Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:44] 917*2^1438974-1 is not prime. Res64: C33DC2A0252629FF Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:45] 957*2^1438974-1 is not prime. Res64: 7FEBCE90681BC714 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:46] 971*2^1438974-1 is not prime. Res64: C52B508EB3D4F61F Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:46] 601*2^1438975-1 is not prime. Res64: 82C8BEA3E080052F Time : 0.0 sec. user=mdettweiler [2016-09-05 20:00:47] 639*2^1438975-1 is not prime. Res64: 5C9742EF0B67FE47 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:18:24] 775*2^1438975-1 is not prime. Res64: B8ECF86BC1DAF60B Time : 0.0 sec. user=mdettweiler [2016-09-05 20:18:25] 849*2^1438975-1 is not prime. Res64: D26B69F9F69D7037 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:18:25] 873*2^1438975-1 is not prime. Res64: 7FAE653E259AD5C6 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:18:26] 933*2^1438975-1 is not prime. Res64: CB3E22426CF04344 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:18:26] 985*2^1438975-1 is not prime. Res64: 73785076EB8DD4AB Time : 0.0 sec. user=mdettweiler [2016-09-05 20:40:13] 617*2^1438976-1 is not prime. Res64: 0555B9868F35D7E5 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:40:13] 629*2^1438976-1 is not prime. Res64: 42A66D9CE50A5A4B Time : 0.0 sec. user=mdettweiler [2016-09-05 20:40:14] 759*2^1438976-1 is not prime. Res64: 17607F0278C60C3C Time : 0.0 sec. user=mdettweiler [2016-09-05 20:40:14] 827*2^1438976-1 is not prime. Res64: 8E8ADD5ACB31062E Time : 0.0 sec. user=mdettweiler [2016-09-05 20:40:14] 857*2^1438976-1 is not prime. Res64: 053D560928780D1E Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:21] 903*2^1438976-1 is not prime. Res64: C566C4A72C3181F4 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:22] 649*2^1438977-1 is not prime. Res64: B85DA6BA05CB4A87 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:22] 889*2^1438977-1 is not prime. Res64: 533346821E8E6A12 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:23] 979*2^1438977-1 is not prime. Res64: A21CE4ECC3A23B7F Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:23] 991*2^1438977-1 is not prime. Res64: CB82C746DA57CB48 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:58] 681*2^1438978-1 is not prime. Res64: CC7C7477C704FC42 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:59] 777*2^1438978-1 is not prime. Res64: ED1E8FD065693697 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:45:59] 791*2^1438978-1 is not prime. Res64: 4AC2C480CBEFFC70 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:46:00] 815*2^1438978-1 is not prime. Res64: F2DA61720E0B7C24 Time : 0.0 sec. user=mdettweiler [2016-09-05 20:46:00] 821*2^1438978-1 is not prime. Res64: 91BD227D661E67FB Time : 0.0 sec. user=mdettweiler [2016-09-05 21:03:34] 867*2^1438978-1 is not prime. Res64: CFF5CD79502B9A67 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:03:36] 887*2^1438978-1 is not prime. Res64: BED6DCFBED5ACA5E Time : 0.0 sec. user=mdettweiler [2016-09-05 21:03:37] 923*2^1438978-1 is not prime. Res64: 24878E405BD67364 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:03:38] 951*2^1438978-1 is not prime. Res64: B138DE847AC7A0C8 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:03:40] 645*2^1438979-1 is not prime. Res64: 2D8A7D44E9C72CD3 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:25:26] 733*2^1438979-1 is not prime. Res64: 112DE816EBEA8B66 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:25:26] 855*2^1438979-1 is not prime. Res64: E4FC0B57E992410F Time : 0.0 sec. user=mdettweiler [2016-09-05 21:25:27] 895*2^1438979-1 is not prime. Res64: 39A6A0A61C0047C5 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:25:27] 909*2^1438979-1 is not prime. Res64: D1B0C0B083BF5C2F Time : 0.0 sec. user=mdettweiler [2016-09-05 21:25:28] 921*2^1438979-1 is not prime. Res64: 19523DABD1A0923E Time : 0.0 sec. user=mdettweiler [2016-09-05 21:30:41] 931*2^1438979-1 is not prime. Res64: 727C72E8AACF6960 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:30:41] 949*2^1438979-1 is not prime. Res64: 57D160BCA2928DD8 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:30:41] 647*2^1438980-1 is not prime. Res64: 43F8318E710151F3 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:30:42] 693*2^1438980-1 is not prime. Res64: 653BEAF0FE1B3969 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:30:42] 707*2^1438980-1 is not prime. Res64: 3D92D59A7CB223AF Time : 0.0 sec. user=mdettweiler [2016-09-05 21:31:37] 797*2^1438980-1 is not prime. Res64: 6EDAC1DC8716F980 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:31:37] 839*2^1438980-1 is not prime. Res64: A48196C23113DFDD Time : 0.0 sec. user=mdettweiler [2016-09-05 21:31:37] 959*2^1438980-1 is not prime. Res64: 6C40C78BBE748A95 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:31:38] 983*2^1438980-1 is not prime. Res64: 02273D6E23E38643 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:31:38] 625*2^1438981-1 is not prime. Res64: 7A813D155D7E5904 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:49:15] 649*2^1438981-1 is not prime. Res64: 2CCE5AD3A0516FC4 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:49:15] 745*2^1438981-1 is not prime. Res64: FCB8098FD5067648 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:49:15] 789*2^1438981-1 is not prime. Res64: D07CCDF566A98459 Time : 0.0 sec. user=mdettweiler [2016-09-05 21:49:16] 811*2^1438981-1 is not prime. Res64: 0BA827C31BBE93BD Time : 0.0 sec. user=mdettweiler [2016-09-05 21:49:16] 855*2^1438981-1 is not prime. Res64: B9C2CCFC2F1ED2D8 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:12:33] 861*2^1438981-1 is not prime. Res64: FB6A24540D0B2304 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:12:33] 931*2^1438981-1 is not prime. Res64: A8A4F55AF2B1A399 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:12:34] 939*2^1438981-1 is not prime. Res64: EBFDCF8BF4F92422 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:12:34] 945*2^1438981-1 is not prime. Res64: 12CE74C6BF2F9AC2 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:12:34] 657*2^1438982-1 is not prime. Res64: ED84FEBC2A940CAF Time : 0.0 sec. user=mdettweiler [2016-09-05 22:18:21] 675*2^1438982-1 is not prime. Res64: 9333946E5354EDD4 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:18:28] 711*2^1438982-1 is not prime. Res64: 9361A779F0D8E737 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:18:29] 741*2^1438982-1 is not prime. Res64: 0DEFBFF87FEBABBC Time : 0.0 sec. user=mdettweiler [2016-09-05 22:18:29] 743*2^1438982-1 is not prime. Res64: 7E9B909545DAA44C Time : 0.0 sec. user=mdettweiler [2016-09-05 22:18:30] 885*2^1438982-1 is not prime. Res64: 537979A47E8F6E2A Time : 0.0 sec. user=mdettweiler [2016-09-05 22:19:53] 917*2^1438982-1 is not prime. Res64: BFC931B2949B2416 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:19:53] 935*2^1438982-1 is not prime. Res64: BEA886C740528F30 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:19:54] 977*2^1438982-1 is not prime. Res64: BB150DA10E90EBE1 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:19:54] 643*2^1438983-1 is not prime. Res64: A62D21C82330E283 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:19:54] 703*2^1438983-1 is not prime. Res64: 84A090473D2EE42C Time : 0.0 sec. user=mdettweiler [2016-09-05 22:37:58] 723*2^1438983-1 is not prime. Res64: 761ABC4D903A72B4 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:37:58] 895*2^1438983-1 is not prime. Res64: 1C0569BB7D507CDB Time : 0.0 sec. user=mdettweiler [2016-09-05 22:37:59] 921*2^1438983-1 is not prime. Res64: 49B8F55ED99A6040 Time : 0.0 sec. user=mdettweiler [2016-09-05 22:37:59] 963*2^1438983-1 is not prime. Res64: 0B40840EE8C9BF4A Time : 0.0 sec. user=mdettweiler [2016-09-05 22:37:59] 985*2^1438983-1 is not prime. Res64: 7B08754359BF231B Time : 0.0 sec. user=mdettweiler [2016-09-05 23:02:52] 991*2^1438983-1 is not prime. Res64: FFB241864FD50D90 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:02:52] 605*2^1438984-1 is not prime. Res64: 58E21142D7FA4381 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:02:53] 705*2^1438984-1 is not prime. Res64: 1B13407EBCCE578D Time : 0.0 sec. user=mdettweiler [2016-09-05 23:02:53] 729*2^1438984-1 is not prime. Res64: 44FAA4A6A2ACAAF3 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:02:54] 803*2^1438984-1 is not prime. Res64: 6DBC9FEB15018759 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:08:04] 849*2^1438984-1 is not prime. Res64: 2C34CFB9FBD72419 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:08:09] 869*2^1438984-1 is not prime. Res64: 8C92DEE368561D64 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:08:10] 903*2^1438984-1 is not prime. Res64: CFFF396952C47450 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:08:13] 939*2^1438984-1 is not prime. Res64: 2BBB10439A7E9064 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:08:17] 947*2^1438984-1 is not prime. Res64: 1A4AFA41AC52EA5B Time : 0.0 sec. user=mdettweiler [2016-09-05 23:09:21] 995*2^1438984-1 is not prime. Res64: 73E03C805868A4A8 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:09:24] 657*2^1438985-1 is not prime. Res64: D10BD57212C932FB Time : 0.0 sec. user=mdettweiler [2016-09-05 23:09:27] 685*2^1438985-1 is not prime. Res64: F90A7CFCFDBB87D6 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:09:29] 691*2^1438985-1 is not prime. Res64: EC88E19FEE0BC90C Time : 0.0 sec. user=mdettweiler [2016-09-05 23:09:32] 727*2^1438985-1 is not prime. Res64: E3ADE6F8DCF76D06 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:25:59] 741*2^1438985-1 is not prime. Res64: 2C49474481F63754 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:25:59] 781*2^1438985-1 is not prime. Res64: 0688A3FD75E7EC7F Time : 0.0 sec. user=mdettweiler [2016-09-05 23:26:00] 799*2^1438985-1 is not prime. Res64: 181BF61284B531C1 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:26:00] 865*2^1438985-1 is not prime. Res64: 4BF0035796B48AC3 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:26:00] 885*2^1438985-1 is not prime. Res64: FBF4C0B9BCDCDAE3 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:48:46] 937*2^1438985-1 is not prime. Res64: B7E3FD741753FD2D Time : 0.0 sec. user=mdettweiler [2016-09-05 23:48:47] 981*2^1438985-1 is not prime. Res64: 583F94EA853A50D5 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:48:47] 707*2^1438986-1 is not prime. Res64: 8B2C3B1414C786F0 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:48:47] 801*2^1438986-1 is not prime. Res64: AABAE184C35BD4EC Time : 0.0 sec. user=mdettweiler [2016-09-05 23:48:48] 873*2^1438986-1 is not prime. Res64: 57C015FE07D87459 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:54:05] 903*2^1438986-1 is not prime. Res64: EC2C4146AFB45A8F Time : 0.0 sec. user=mdettweiler [2016-09-05 23:54:05] 603*2^1438987-1 is not prime. Res64: 28F8B08FD591A1F2 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:54:06] 619*2^1438987-1 is not prime. Res64: 67DF2438C2CE5162 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:54:06] 639*2^1438987-1 is not prime. Res64: 9D1042E4D363E874 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:54:06] 663*2^1438987-1 is not prime. Res64: DBA7F74A1B8DDB76 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:56:02] 699*2^1438987-1 is not prime. Res64: F09D2707903D662D Time : 0.0 sec. user=mdettweiler [2016-09-05 23:56:02] 751*2^1438987-1 is not prime. Res64: 4622D4E8CE191D89 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:56:03] 885*2^1438987-1 is not prime. Res64: A2F4D32C17630C88 Time : 0.0 sec. user=mdettweiler [2016-09-05 23:56:03] 915*2^1438987-1 is not prime. Res64: BD8E57ADBA85403A Time : 0.0 sec. user=mdettweiler [2016-09-05 23:56:03] 939*2^1438987-1 is not prime. Res64: 9B0AE1D7448C7655 Time : 0.0 sec.