user=mdettweiler [2019-08-02 00:19:19] 769*2^1543483-1 is not prime. Res64: 060893B97B3CA154 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:20] 793*2^1543483-1 is not prime. Res64: 5CCC53914EB53464 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:20] 811*2^1543483-1 is not prime. Res64: 2CC361222CECF8D2 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:21] 829*2^1543483-1 is not prime. Res64: 120FBD03EE816A01 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:21] 853*2^1543483-1 is not prime. Res64: A942C6DD4E6F1A6E Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:41] 925*2^1543483-1 is not prime. Res64: CCDA554A20076ACD Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:42] 635*2^1543484-1 is not prime. Res64: A99F94397D0636E3 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:42] 683*2^1543484-1 is not prime. Res64: 5CA528045330F35B Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:42] 833*2^1543484-1 is not prime. Res64: E85E46FA51817BE8 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:19:43] 759*2^1543485-1 is not prime. Res64: 2123D72BA863366E Time : 0.0 sec. user=mdettweiler [2019-08-02 00:28:58] 795*2^1543485-1 is not prime. Res64: A0D61EDE3200D445 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:28:59] 811*2^1543485-1 is not prime. Res64: 11D78E350E50EFD7 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:28:59] 951*2^1543485-1 is not prime. Res64: 87D3CFE3E1D0283E Time : 0.0 sec. user=mdettweiler [2019-08-02 00:28:59] 997*2^1543485-1 is not prime. Res64: D0BF6F4AA1DEE02B Time : 0.0 sec. user=mdettweiler [2019-08-02 00:29:00] 723*2^1543486-1 is not prime. Res64: EF9D2502C3C38266 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:42:54] 737*2^1543486-1 is not prime. Res64: E63BBB12383D7AF1 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:42:54] 743*2^1543486-1 is not prime. Res64: 1F3D01C6CECE61E7 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:42:54] 755*2^1543486-1 is not prime. Res64: 886C7D32C2B3FEC0 Time : 0.0 sec. user=mdettweiler [2019-08-02 00:42:55] 783*2^1543486-1 is not prime. Res64: C4EEC934F4E5F9FB Time : 0.0 sec. user=mdettweiler [2019-08-02 00:42:55] 923*2^1543486-1 is not prime. Res64: 149C572B7A6A2D63 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:13:13] 971*2^1543486-1 is not prime. Res64: A4773C79562DBF8C Time : 0.0 sec. user=mdettweiler [2019-08-02 01:13:14] 987*2^1543486-1 is not prime. Res64: 452B8B85991E8BA8 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:13:14] 615*2^1543487-1 is not prime. Res64: EC1BE615AF7B89AD Time : 0.0 sec. user=mdettweiler [2019-08-02 01:13:15] 729*2^1543487-1 is not prime. Res64: BF5DF8C7FD5E781C Time : 0.0 sec. user=mdettweiler [2019-08-02 01:13:15] 799*2^1543487-1 is not prime. Res64: 437DA574509B5E56 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:14:16] 973*2^1543487-1 is not prime. Res64: C31CC21DF80EBB45 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:14:17] 981*2^1543487-1 is not prime. Res64: 77BE299FA20F36AD Time : 0.0 sec. user=mdettweiler [2019-08-02 01:14:17] 927*2^1543488-1 is not prime. Res64: AF63CD1DF6B81281 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:14:17] 977*2^1543488-1 is not prime. Res64: BC8030E58EEA91E3 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:14:18] 691*2^1543489-1 is not prime. Res64: 8F2DE6C2D8267EE5 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:23:09] 769*2^1543489-1 is not prime. Res64: 5ABD3C4D21944CCC Time : 0.0 sec. user=mdettweiler [2019-08-02 01:23:10] 817*2^1543489-1 is not prime. Res64: 0FD24539F53D3980 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:23:10] 831*2^1543489-1 is not prime. Res64: 75188FE4BF19BAF3 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:23:10] 867*2^1543489-1 is not prime. Res64: DF4B6A44102F4288 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:23:11] 909*2^1543489-1 is not prime. Res64: ADB71E922E292828 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:37:21] 931*2^1543489-1 is not prime. Res64: 907AAD4B060B2739 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:37:22] 939*2^1543489-1 is not prime. Res64: 028EFEB9CA91E3D1 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:37:22] 987*2^1543489-1 is not prime. Res64: 4608135D91A461F1 Time : 0.0 sec. user=mdettweiler [2019-08-02 01:37:23] 615*2^1543490-1 is not prime. Res64: A89F119CAEF914FC Time : 0.0 sec. user=mdettweiler [2019-08-02 01:37:23] 675*2^1543490-1 is not prime. Res64: D65500343E73FA74 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:06:12] 783*2^1543490-1 is not prime. Res64: B412D3385421F699 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:06:14] 867*2^1543490-1 is not prime. Res64: 5C584808A48AFB94 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:06:15] 921*2^1543490-1 is not prime. Res64: 8C3179B7F52C41B8 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:06:16] 619*2^1543491-1 is not prime. Res64: 524DF0C6DCCDA7EB Time : 0.0 sec. user=mdettweiler [2019-08-02 02:06:17] 769*2^1543491-1 is not prime. Res64: 908F55202C0BE017 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:09:10] 775*2^1543491-1 is not prime. Res64: 4B1431203D50B409 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:09:11] 895*2^1543491-1 is not prime. Res64: A6C3A217E0B83976 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:09:11] 909*2^1543491-1 is not prime. Res64: 8C738E79F3E44627 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:09:12] 969*2^1543491-1 is not prime. Res64: 1FDD96C564A1E39A Time : 0.0 sec. user=mdettweiler [2019-08-02 02:09:12] 653*2^1543492-1 is not prime. Res64: 9FB4A20A28F11C4C Time : 0.0 sec. user=mdettweiler [2019-08-02 02:17:00] 695*2^1543492-1 is not prime. Res64: EE9F027C0E9B367E Time : 0.0 sec. user=mdettweiler [2019-08-02 02:17:01] 759*2^1543492-1 is not prime. Res64: F9068ADC62240FCA Time : 0.0 sec. user=mdettweiler [2019-08-02 02:17:01] 897*2^1543492-1 is not prime. Res64: EF62A8F876A2A47B Time : 0.0 sec. user=mdettweiler [2019-08-02 02:17:02] 691*2^1543493-1 is not prime. Res64: F557C04FA206B2A2 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:17:03] 735*2^1543493-1 is not prime. Res64: 5711F1A4005AC291 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:31:43] 847*2^1543493-1 is not prime. Res64: 9480471E2D906493 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:31:46] 855*2^1543493-1 is not prime. Res64: E1124CBFD9D2DF78 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:31:47] 939*2^1543493-1 is not prime. Res64: 936D9FE5FD618495 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:31:47] 641*2^1543494-1 is not prime. Res64: 2FB61BF5E18F51A9 Time : 0.0 sec. user=mdettweiler [2019-08-02 02:31:49] 657*2^1543494-1 is not prime. Res64: BC97E47B005506BD Time : 0.0 sec. user=mdettweiler [2019-08-02 03:00:41] 671*2^1543494-1 is not prime. Res64: 1AC75C1D16B03C36 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:00:43] 737*2^1543494-1 is not prime. Res64: 76816CCBD6926993 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:00:44] 755*2^1543494-1 is not prime. Res64: E58C000EE69830DC Time : 0.0 sec. user=mdettweiler [2019-08-02 03:00:46] 807*2^1543494-1 is not prime. Res64: 154750427684E3B1 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:00:49] 825*2^1543494-1 is not prime. Res64: 976DB6C74CAAB4C8 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:04:40] 833*2^1543494-1 is not prime. Res64: A74AB2631DD16EF2 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:04:42] 873*2^1543494-1 is not prime. Res64: 135C45F773314621 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:04:44] 917*2^1543494-1 is not prime. Res64: 8377FC62A0506F19 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:04:45] 923*2^1543494-1 is not prime. Res64: 04C3BF9019F5548F Time : 0.0 sec. user=mdettweiler [2019-08-02 03:04:47] 941*2^1543494-1 is not prime. Res64: F6ABD9C5ABFB8963 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:11:13] 639*2^1543495-1 is not prime. Res64: 4EF21CA378F0453B Time : 0.0 sec. user=mdettweiler [2019-08-02 03:11:15] 715*2^1543495-1 is not prime. Res64: 87845A4F5E66B52F Time : 0.0 sec. user=mdettweiler [2019-08-02 03:11:16] 771*2^1543495-1 is not prime. Res64: 6C109D2418BE83D2 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:11:17] 789*2^1543495-1 is not prime. Res64: 8D280EDC47FDA182 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:11:17] 973*2^1543495-1 is not prime. Res64: E24CDC0E54707E52 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:25:49] 979*2^1543495-1 is not prime. Res64: 4DED6342BE637125 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:25:50] 669*2^1543496-1 is not prime. Res64: 87C6A1CA25BC1959 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:25:50] 743*2^1543496-1 is not prime. Res64: 664711CC50201F90 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:25:51] 903*2^1543496-1 is not prime. Res64: 5CA3C3EDF58314B4 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:25:52] 649*2^1543497-1 is not prime. Res64: A26319A26E310B7B Time : 0.0 sec. user=mdettweiler [2019-08-02 03:54:35] 667*2^1543497-1 is not prime. Res64: 53A78311A4C6E578 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:54:37] 835*2^1543497-1 is not prime. Res64: C2DC71A6E364AA9C Time : 0.0 sec. user=mdettweiler [2019-08-02 03:54:38] 885*2^1543497-1 is not prime. Res64: 578E5C3CA280D4BD Time : 0.0 sec. user=mdettweiler [2019-08-02 03:54:40] 909*2^1543497-1 is not prime. Res64: 32ED614437ECFE68 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:54:42] 949*2^1543497-1 is not prime. Res64: BDA82E06195A6457 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:58:50] 611*2^1543498-1 is not prime. Res64: 62718BBD2B834FBE Time : 0.0 sec. user=mdettweiler [2019-08-02 03:58:52] 657*2^1543498-1 is not prime. Res64: F67ED0A66C41FBDC Time : 0.0 sec. user=mdettweiler [2019-08-02 03:58:53] 677*2^1543498-1 is not prime. Res64: 2DF78099C4F07D3E Time : 0.0 sec. user=mdettweiler [2019-08-02 03:58:54] 981*2^1543498-1 is not prime. Res64: 3A3B4C7195857538 Time : 0.0 sec. user=mdettweiler [2019-08-02 03:58:54] 995*2^1543498-1 is not prime. Res64: 86A56D3515266B32 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:05:34] 643*2^1543499-1 is not prime. Res64: 37B4BB396FF28422 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:05:36] 645*2^1543499-1 is not prime. Res64: 2B312C930FDA5233 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:05:38] 939*2^1543499-1 is not prime. Res64: 5649A9C16424B5EC Time : 0.0 sec. user=mdettweiler [2019-08-02 04:05:41] 949*2^1543499-1 is not prime. Res64: BC051D2892DE027A Time : 0.0 sec. user=mdettweiler [2019-08-02 04:05:44] 979*2^1543499-1 is not prime. Res64: 0E80F638E1274950 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:19:46] 993*2^1543499-1 is not prime. Res64: 7082B034357901BF Time : 0.0 sec. user=mdettweiler [2019-08-02 04:19:50] 633*2^1543500-1 is not prime. Res64: C01FC9418785960E Time : 0.0 sec. user=mdettweiler [2019-08-02 04:19:54] 777*2^1543500-1 is not prime. Res64: 93FBF86275948304 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:20:03] 795*2^1543500-1 is not prime. Res64: A82FE3C469CF677F Time : 0.0 sec. user=mdettweiler [2019-08-02 04:20:08] 803*2^1543500-1 is not prime. Res64: 4FD782135CD08A6F Time : 0.0 sec. user=mdettweiler [2019-08-02 04:47:30] 819*2^1543500-1 is not prime. Res64: A6713188E943032A Time : 0.0 sec. user=mdettweiler [2019-08-02 04:47:30] 839*2^1543500-1 is not prime. Res64: 5230B1E34567EB4B Time : 0.0 sec. user=mdettweiler [2019-08-02 04:47:30] 863*2^1543500-1 is not prime. Res64: 0C21F91A9808CB0C Time : 0.0 sec. user=mdettweiler [2019-08-02 04:47:31] 681*2^1543501-1 is not prime. Res64: 7BF55487BA62B26C Time : 0.0 sec. user=mdettweiler [2019-08-02 04:47:31] 747*2^1543501-1 is not prime. Res64: D77D998E98C140D8 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:52:45] 771*2^1543501-1 is not prime. Res64: 0687AFFC799D66B7 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:52:45] 775*2^1543501-1 is not prime. Res64: 1EB625BD4175B7D0 Time : 0.0 sec. user=mdettweiler [2019-08-02 04:52:46] 777*2^1543501-1 is not prime. Res64: D13938E61042FF9A Time : 0.0 sec. user=mdettweiler [2019-08-02 04:52:46] 799*2^1543501-1 is not prime. Res64: B6CFFC9A359940EF Time : 0.0 sec. user=mdettweiler [2019-08-02 04:52:46] 931*2^1543501-1 is not prime. Res64: AE5403DB6D4AAD14 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:01:10] 937*2^1543501-1 is not prime. Res64: 2429925D8595EAA2 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:01:13] 997*2^1543501-1 is not prime. Res64: 5666ACD8F37F7751 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:01:14] 617*2^1543502-1 is not prime. Res64: 4A526EAAB3AC0115 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:01:15] 683*2^1543502-1 is not prime. Res64: D1EC8F9B4B7E0AF9 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:01:16] 815*2^1543502-1 is not prime. Res64: BCE3B33BFB2B652B Time : 0.0 sec. user=mdettweiler [2019-08-02 05:13:48] 911*2^1543502-1 is not prime. Res64: 6EF595D9A2773E13 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:13:49] 981*2^1543502-1 is not prime. Res64: AF52016A8AEE1225 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:13:49] 679*2^1543503-1 is not prime. Res64: 5B3F01ED4582F7E0 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:13:50] 735*2^1543503-1 is not prime. Res64: 902B73D65571E1BF Time : 0.0 sec. user=mdettweiler [2019-08-02 05:13:50] 741*2^1543503-1 is not prime. Res64: 3B4E44D3D9B5B5B7 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:40:54] 763*2^1543503-1 is not prime. Res64: B0FDF7BD58DC5A3F Time : 0.0 sec. user=mdettweiler [2019-08-02 05:40:54] 831*2^1543503-1 is not prime. Res64: D6F73042594186D3 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:40:55] 849*2^1543503-1 is not prime. Res64: 98F765C8975FE44E Time : 0.0 sec. user=mdettweiler [2019-08-02 05:40:55] 933*2^1543503-1 is not prime. Res64: BF013CCF9B7FFC93 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:40:55] 955*2^1543503-1 is not prime. Res64: 6F765CACDE0ABAB9 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:46:01] 639*2^1543504-1 is not prime. Res64: CD1B85FD6BBD86BD Time : 0.0 sec. user=mdettweiler [2019-08-02 05:46:01] 677*2^1543504-1 is not prime. Res64: 7CBC65152FCA9259 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:46:02] 849*2^1543504-1 is not prime. Res64: 0DAA11C697455B7A Time : 0.0 sec. user=mdettweiler [2019-08-02 05:46:02] 903*2^1543504-1 is not prime. Res64: 4C9EBFF7664E52B5 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:46:02] 905*2^1543504-1 is not prime. Res64: 49EDA4916DFCEA96 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:54:40] 923*2^1543504-1 is not prime. Res64: AF69FAF411A38452 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:54:41] 959*2^1543504-1 is not prime. Res64: CC3251F0D985F85D Time : 0.0 sec. user=mdettweiler [2019-08-02 05:54:41] 607*2^1543505-1 is not prime. Res64: 3286D3E5EA22EA15 Time : 0.0 sec. user=mdettweiler [2019-08-02 05:54:41] 679*2^1543505-1 is not prime. Res64: 76F930177FC88E2D Time : 0.0 sec. user=mdettweiler [2019-08-02 05:54:42] 691*2^1543505-1 is not prime. Res64: 6C690DB592722590 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:06:52] 697*2^1543505-1 is not prime. Res64: BD1F8D9A3C7F1ABD Time : 0.0 sec. user=mdettweiler [2019-08-02 06:06:53] 705*2^1543505-1 is not prime. Res64: A52919540BD105AF Time : 0.0 sec. user=mdettweiler [2019-08-02 06:06:55] 711*2^1543505-1 is not prime. Res64: 0D4C905EE7400CAC Time : 0.0 sec. user=mdettweiler [2019-08-02 06:06:56] 811*2^1543505-1 is not prime. Res64: 50B03F6D7480093D Time : 0.0 sec. user=mdettweiler [2019-08-02 06:06:57] 841*2^1543505-1 is not prime. Res64: 61AFB8951BAE768A Time : 0.0 sec. user=mdettweiler [2019-08-02 06:34:01] 847*2^1543505-1 is not prime. Res64: 4DE44D2D21CEC859 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:34:01] 641*2^1543506-1 is not prime. Res64: 8E5C360DB9985432 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:34:01] 671*2^1543506-1 is not prime. Res64: 86D57AA5D16644EB Time : 0.0 sec. user=mdettweiler [2019-08-02 06:34:02] 807*2^1543506-1 is not prime. Res64: 7C6E9C66BC4A288E Time : 0.0 sec. user=mdettweiler [2019-08-02 06:34:02] 917*2^1543506-1 is not prime. Res64: A0ABAC89A4C57741 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:39:14] 609*2^1543507-1 is not prime. Res64: 2B59509E03CDD47B Time : 0.0 sec. user=mdettweiler [2019-08-02 06:39:14] 675*2^1543507-1 is not prime. Res64: F41479349E08D7EF Time : 0.0 sec. user=mdettweiler [2019-08-02 06:39:15] 703*2^1543507-1 is not prime. Res64: 554F08C9520144F7 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:39:15] 735*2^1543507-1 is not prime. Res64: 1EB377B2962D018B Time : 0.0 sec. user=mdettweiler [2019-08-02 06:39:15] 759*2^1543507-1 is not prime. Res64: 54201E33608B4381 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:48:48] 915*2^1543507-1 is not prime. Res64: 727E4A7A34A5C572 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:48:49] 961*2^1543507-1 is not prime. Res64: 785C921E687DB977 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:48:49] 683*2^1543508-1 is not prime. Res64: 9C1112D72B4992D5 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:48:49] 843*2^1543508-1 is not prime. Res64: 9D50CE80E27F8FB0 Time : 0.0 sec. user=mdettweiler [2019-08-02 06:48:50] 959*2^1543508-1 is not prime. Res64: 38AA057587604A90 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:01:08] 993*2^1543508-1 is not prime. Res64: 43A1CF1B9093AE38 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:01:09] 999*2^1543508-1 is not prime. Res64: 8316D6491A0D172F Time : 0.0 sec. user=mdettweiler [2019-08-02 07:01:09] 625*2^1543509-1 is not prime. Res64: 4573E3346989E875 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:01:10] 727*2^1543509-1 is not prime. Res64: 84BA3ACC938DBDC8 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:01:11] 789*2^1543509-1 is not prime. Res64: B3F3F9E555FA6EDE Time : 0.0 sec. user=mdettweiler [2019-08-02 07:28:09] 825*2^1543509-1 is not prime. Res64: C618B6606101CAE3 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:28:10] 861*2^1543509-1 is not prime. Res64: 168E8086B328D834 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:28:10] 907*2^1543509-1 is not prime. Res64: 996EB58966116DCC Time : 0.0 sec. user=mdettweiler [2019-08-02 07:28:11] 919*2^1543509-1 is not prime. Res64: C86F997504BA6B16 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:28:11] 955*2^1543509-1 is not prime. Res64: F16B8FD1BBC77C0F Time : 0.0 sec. user=mdettweiler [2019-08-02 07:32:32] 975*2^1543509-1 is not prime. Res64: A4BE71860269F9A9 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:32:32] 677*2^1543510-1 is not prime. Res64: D1CB401E486678CF Time : 0.0 sec. user=mdettweiler [2019-08-02 07:32:32] 717*2^1543510-1 is not prime. Res64: 03C98B2EB6F84EA4 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:32:33] 773*2^1543510-1 is not prime. Res64: 6EC8DB4A3804DA75 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:32:33] 821*2^1543510-1 is not prime. Res64: 3BEA21F3E549DB4B Time : 0.0 sec. user=mdettweiler [2019-08-02 07:42:42] 843*2^1543510-1 is not prime. Res64: 573E30EBBB44A3F3 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:42:43] 867*2^1543510-1 is not prime. Res64: 5F53F8CE60E3DA87 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:42:43] 957*2^1543510-1 is not prime. Res64: 92D647588189D693 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:42:44] 987*2^1543510-1 is not prime. Res64: 0461811165DF386E Time : 0.0 sec. user=mdettweiler [2019-08-02 07:42:44] 663*2^1543511-1 is not prime. Res64: 8B1B09685FD578A3 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:54:48] 705*2^1543511-1 is not prime. Res64: 0723F69FEB2DAD9C Time : 0.0 sec. user=mdettweiler [2019-08-02 07:54:49] 711*2^1543511-1 is not prime. Res64: 1F941B5812359DEB Time : 0.0 sec. user=mdettweiler [2019-08-02 07:54:49] 759*2^1543511-1 is not prime. Res64: 17A6605646C03C36 Time : 0.0 sec. user=mdettweiler [2019-08-02 07:54:50] 993*2^1543511-1 is not prime. Res64: B99E90A696C1292B Time : 0.0 sec. user=mdettweiler [2019-08-02 07:54:50] 629*2^1543512-1 is not prime. Res64: 477ADA61905DE2A4 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:21:37] 657*2^1543512-1 is not prime. Res64: 956377B21F374F37 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:21:37] 669*2^1543512-1 is not prime. Res64: 5B173C4B10DE605F Time : 0.0 sec. user=mdettweiler [2019-08-02 08:21:37] 759*2^1543512-1 is not prime. Res64: 331D59B576CDE65C Time : 0.0 sec. user=mdettweiler [2019-08-02 08:21:38] 899*2^1543512-1 is not prime. Res64: F86EA6D6752398F9 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:21:38] 959*2^1543512-1 is not prime. Res64: 6A1B0DCCD7F11255 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:25:48] 639*2^1543513-1 is not prime. Res64: 8339302AEBF2BBD6 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:25:48] 687*2^1543513-1 is not prime. Res64: 475AC3FBA4403AE1 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:25:49] 705*2^1543513-1 is not prime. Res64: 8BB26CEFB960F35C Time : 0.0 sec. user=mdettweiler [2019-08-02 08:25:49] 915*2^1543513-1 is not prime. Res64: AE21C9D98082EE84 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:25:49] 665*2^1543514-1 is not prime. Res64: A7D39CD2EFC98726 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:36:52] 683*2^1543514-1 is not prime. Res64: AA71A3D5FA8D1CBF Time : 0.0 sec. user=mdettweiler [2019-08-02 08:36:53] 791*2^1543514-1 is not prime. Res64: 22530C902F4E3755 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:36:53] 935*2^1543514-1 is not prime. Res64: BC518CE3C6C5732C Time : 0.0 sec. user=mdettweiler [2019-08-02 08:36:53] 953*2^1543514-1 is not prime. Res64: EB535B7008C58184 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:36:54] 981*2^1543514-1 is not prime. Res64: 47AEF4C25639849D Time : 0.0 sec. user=mdettweiler [2019-08-02 08:48:55] 1001*2^1543514-1 is not prime. Res64: E57C5B4B8590C264 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:48:55] 633*2^1543515-1 is not prime. Res64: 36651472A638838A Time : 0.0 sec. user=mdettweiler [2019-08-02 08:48:56] 643*2^1543515-1 is not prime. Res64: 80280FDD4E25E02D Time : 0.0 sec. user=mdettweiler [2019-08-02 08:48:56] 723*2^1543515-1 is not prime. Res64: 12A7A8D33890B2B1 Time : 0.0 sec. user=mdettweiler [2019-08-02 08:48:57] 751*2^1543515-1 is not prime. Res64: B8613AA4C53EAE50 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:14:50] 765*2^1543515-1 is not prime. Res64: E401C4040369FB76 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:14:51] 781*2^1543515-1 is not prime. Res64: C426F27FF70738A3 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:14:51] 921*2^1543515-1 is not prime. Res64: 23745EEABB1FC604 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:14:52] 689*2^1543516-1 is not prime. Res64: F90BAF688ACE8AFC Time : 0.0 sec. user=mdettweiler [2019-08-02 09:14:52] 779*2^1543516-1 is not prime. Res64: F09B149B1A265934 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:19:53] 825*2^1543516-1 is not prime. Res64: 02316266C5011468 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:19:54] 855*2^1543516-1 is not prime. Res64: 61FCA5C3E9642AF4 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:19:55] 887*2^1543516-1 is not prime. Res64: B14EE3AFEE50CB63 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:19:55] 645*2^1543517-1 is not prime. Res64: FCFEF100E56A43B1 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:19:56] 711*2^1543517-1 is not prime. Res64: 43ED49BE1F9DAD7C Time : 0.0 sec. user=mdettweiler [2019-08-02 09:30:39] 727*2^1543517-1 is not prime. Res64: 2C30E2EF48FC2E36 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:30:40] 741*2^1543517-1 is not prime. Res64: F40121789BEA895B Time : 0.0 sec. user=mdettweiler [2019-08-02 09:30:40] 985*2^1543517-1 is not prime. Res64: 11407913ED5ABCD3 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:30:40] 611*2^1543518-1 is not prime. Res64: D4864669837A1EDB Time : 0.0 sec. user=mdettweiler [2019-08-02 09:30:41] 681*2^1543518-1 is not prime. Res64: CD56841DFB1836D5 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:42:44] 713*2^1543518-1 is not prime. Res64: 9CD18A20AEC03026 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:42:45] 765*2^1543518-1 is not prime. Res64: 997099E01EFADABE Time : 0.0 sec. user=mdettweiler [2019-08-02 09:42:45] 791*2^1543518-1 is not prime. Res64: 887E130C984457A6 Time : 0.0 sec. user=mdettweiler [2019-08-02 09:42:45] 833*2^1543518-1 is not prime. Res64: FCA4795C00CB734D Time : 0.0 sec. user=mdettweiler [2019-08-02 09:42:46] 881*2^1543518-1 is not prime. Res64: E9114B02F6DA2ECA Time : 0.0 sec. user=mdettweiler [2019-08-02 10:10:11] 963*2^1543518-1 is not prime. Res64: 979C3A447339E75B Time : 0.0 sec. user=mdettweiler [2019-08-02 10:10:13] 971*2^1543518-1 is not prime. Res64: 016090899FCFDCEE Time : 0.0 sec. user=mdettweiler [2019-08-02 10:10:14] 977*2^1543518-1 is not prime. Res64: D21F7E219BFC96EF Time : 0.0 sec. user=mdettweiler [2019-08-02 10:10:15] 1001*2^1543518-1 is not prime. Res64: F67624CC4DA41C2C Time : 0.0 sec. user=mdettweiler [2019-08-02 10:10:16] 793*2^1543519-1 is not prime. Res64: C36C64E93DB71EF2 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:15:13] 861*2^1543519-1 is not prime. Res64: 6040C3F33C085559 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:15:14] 885*2^1543519-1 is not prime. Res64: 0DEF12DF55FD1BFD Time : 0.0 sec. user=mdettweiler [2019-08-02 10:15:14] 665*2^1543520-1 is not prime. Res64: EA7BC469DB0EA9E8 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:15:15] 845*2^1543520-1 is not prime. Res64: 46B0EB6C76036C01 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:15:15] 857*2^1543520-1 is not prime. Res64: 1E96D475AE8B0998 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:26:13] 935*2^1543520-1 is not prime. Res64: 39FD4D61C1BB59C9 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:26:13] 983*2^1543520-1 is not prime. Res64: 78948FB55D34DD2E Time : 0.0 sec. user=mdettweiler [2019-08-02 10:26:14] 607*2^1543521-1 is not prime. Res64: EB7EE6E8BA1D7D7D Time : 0.0 sec. user=mdettweiler [2019-08-02 10:26:14] 807*2^1543521-1 is not prime. Res64: 87A3FB372C27B765 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:26:14] 907*2^1543521-1 is not prime. Res64: E1547E3C0B6EC96E Time : 0.0 sec. user=mdettweiler [2019-08-02 10:37:29] 921*2^1543521-1 is not prime. Res64: DCD300B8EA67D98A Time : 0.0 sec. user=mdettweiler [2019-08-02 10:37:30] 991*2^1543521-1 is not prime. Res64: 273B379F3AB366CA Time : 0.0 sec. user=mdettweiler [2019-08-02 10:37:30] 621*2^1543522-1 is not prime. Res64: E8D2F027088F1192 Time : 0.0 sec. user=mdettweiler [2019-08-02 10:37:31] 645*2^1543522-1 is not prime. Res64: E9DB871A00256E8E Time : 0.0 sec. user=mdettweiler [2019-08-02 10:37:31] 791*2^1543522-1 is not prime. Res64: B3A26EE2B24A45E7 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:03:21] 821*2^1543522-1 is not prime. Res64: 4BF6777AD2E6D537 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:03:22] 833*2^1543522-1 is not prime. Res64: 84DC53A1BC58A40D Time : 0.0 sec. user=mdettweiler [2019-08-02 11:03:22] 873*2^1543522-1 is not prime. Res64: 62ABB2B9E6304677 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:03:23] 619*2^1543523-1 is not prime. Res64: 472274C9B29F52B5 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:03:23] 745*2^1543523-1 is not prime. Res64: 947F49A8780D6105 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:08:30] 813*2^1543523-1 is not prime. Res64: 41C22310CF91C572 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:08:33] 859*2^1543523-1 is not prime. Res64: 353616B9CE539555 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:08:35] 963*2^1543523-1 is not prime. Res64: 73ECC6B97A9B453A Time : 0.0 sec. user=mdettweiler [2019-08-02 11:08:35] 973*2^1543523-1 is not prime. Res64: C13F005E9519B97A Time : 0.0 sec. user=mdettweiler [2019-08-02 11:08:36] 609*2^1543524-1 is not prime. Res64: BFF5BB3217925F43 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:19:08] 623*2^1543524-1 is not prime. Res64: EC2D150E01768005 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:19:08] 629*2^1543524-1 is not prime. Res64: 39BE1FB1308F6237 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:19:09] 825*2^1543524-1 is not prime. Res64: B123A402F9F2B1BC Time : 0.0 sec. user=mdettweiler [2019-08-02 11:19:09] 899*2^1543524-1 is not prime. Res64: BEA33018E07C72AE Time : 0.0 sec. user=mdettweiler [2019-08-02 11:19:10] 927*2^1543524-1 is not prime. Res64: F5CD0B71556739EE Time : 0.0 sec. user=mdettweiler [2019-08-02 11:31:05] 975*2^1543524-1 is not prime. Res64: 7F4D8038AB1A58C1 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:31:05] 625*2^1543525-1 is not prime. Res64: 9D1505F1FFF6E971 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:31:06] 867*2^1543525-1 is not prime. Res64: 7DF78B269195ABFB Time : 0.0 sec. user=mdettweiler [2019-08-02 11:31:06] 937*2^1543525-1 is not prime. Res64: F27267BD1AB4BA5C Time : 0.0 sec. user=mdettweiler [2019-08-02 11:31:06] 957*2^1543525-1 is not prime. Res64: 1F3FFFE87CDA27CF Time : 0.0 sec. user=mdettweiler [2019-08-02 11:56:15] 999*2^1543525-1 is not prime. Res64: 978C936E5CD0F845 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:56:15] 615*2^1543526-1 is not prime. Res64: 65C92A8DCDDE2F39 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:56:15] 641*2^1543526-1 is not prime. Res64: 701D58957AD28DBE Time : 0.0 sec. user=mdettweiler [2019-08-02 11:56:16] 693*2^1543526-1 is not prime. Res64: 0B56E39EFF01B5B2 Time : 0.0 sec. user=mdettweiler [2019-08-02 11:56:16] 741*2^1543526-1 is not prime. Res64: 3962A084EBE4E6AC Time : 0.0 sec. user=mdettweiler [2019-08-02 12:02:46] 801*2^1543526-1 is not prime. Res64: 3889D655B5C1A8E3 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:02:47] 857*2^1543526-1 is not prime. Res64: 31D14C86C39B1F72 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:02:48] 963*2^1543526-1 is not prime. Res64: B3159CCE9198E7A6 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:02:49] 965*2^1543526-1 is not prime. Res64: 0683524BDF57649F Time : 0.0 sec. user=mdettweiler [2019-08-02 12:02:50] 983*2^1543526-1 is not prime. Res64: 2EA7AFEF280C977D Time : 0.0 sec. user=mdettweiler [2019-08-02 12:12:32] 739*2^1543527-1 is not prime. Res64: 8693D8BF0724D6DA Time : 0.0 sec. user=mdettweiler [2019-08-02 12:12:33] 741*2^1543527-1 is not prime. Res64: 095F28FB5B8F7C64 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:12:33] 805*2^1543527-1 is not prime. Res64: 8B0BD4168308D62F Time : 0.0 sec. user=mdettweiler [2019-08-02 12:12:34] 933*2^1543527-1 is not prime. Res64: 3B411BA37FBF7445 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:12:34] 975*2^1543527-1 is not prime. Res64: F95D09426862540D Time : 0.0 sec. user=mdettweiler [2019-08-02 12:24:44] 657*2^1543529-1 is not prime. Res64: F865CF6533654A96 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:24:44] 691*2^1543529-1 is not prime. Res64: 4324D632CAE103EF Time : 0.0 sec. user=mdettweiler [2019-08-02 12:24:45] 819*2^1543529-1 is not prime. Res64: 3BAD4FEB2BB5D45E Time : 0.0 sec. user=mdettweiler [2019-08-02 12:24:45] 909*2^1543529-1 is not prime. Res64: 02824F79E9E88014 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:24:45] 949*2^1543529-1 is not prime. Res64: ACF17D77C04659C2 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:49:18] 985*2^1543529-1 is not prime. Res64: 18994CFAD08C602F Time : 0.0 sec. user=mdettweiler [2019-08-02 12:49:18] 627*2^1543530-1 is not prime. Res64: 9144FCCCF410475C Time : 0.0 sec. user=mdettweiler [2019-08-02 12:49:19] 633*2^1543530-1 is not prime. Res64: 75274A8475055606 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:49:19] 677*2^1543530-1 is not prime. Res64: C7CEAC5A3087B266 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:49:20] 725*2^1543530-1 is not prime. Res64: F7015EB388A1CE07 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:55:55] 735*2^1543530-1 is not prime. Res64: 58318CC47C169961 Time : 0.0 sec. user=mdettweiler [2019-08-02 12:55:56] 765*2^1543530-1 is not prime. Res64: 4C130236E91168BE Time : 0.0 sec. user=mdettweiler [2019-08-02 12:55:56] 777*2^1543530-1 is not prime. Res64: 9482777DD4964BDA Time : 0.0 sec. user=mdettweiler [2019-08-02 12:55:57] 851*2^1543530-1 is not prime. Res64: 9B3B2E0F970D4B3C Time : 0.0 sec. user=mdettweiler [2019-08-02 12:55:57] 923*2^1543530-1 is not prime. Res64: 4198C91B3EC843B0 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:05:33] 977*2^1543530-1 is not prime. Res64: FBEA3899D66C8780 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:05:34] 615*2^1543531-1 is not prime. Res64: 82EB92FC55C13C78 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:05:35] 693*2^1543531-1 is not prime. Res64: CDFFBA1073D411EE Time : 0.0 sec. user=mdettweiler [2019-08-02 13:05:36] 709*2^1543531-1 is not prime. Res64: FD2E907510C7174A Time : 0.0 sec. user=mdettweiler [2019-08-02 13:05:37] 741*2^1543531-1 is not prime. Res64: DB75CBE4810B0C80 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:17:26] 789*2^1543531-1 is not prime. Res64: 7FD040C0FD21D340 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:17:26] 805*2^1543531-1 is not prime. Res64: 19EF14FE275C5224 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:17:27] 819*2^1543531-1 is not prime. Res64: 0C467455F01E8C64 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:17:27] 861*2^1543531-1 is not prime. Res64: 2B861B2A14D3E2EC Time : 0.0 sec. user=mdettweiler [2019-08-02 13:17:27] 975*2^1543531-1 is not prime. Res64: 45AA1F2FBA5282B3 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:41:34] 617*2^1543532-1 is not prime. Res64: BD092B7AC3F0139B Time : 0.0 sec. user=mdettweiler [2019-08-02 13:41:34] 677*2^1543532-1 is not prime. Res64: 799C6EE23E666909 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:41:35] 699*2^1543532-1 is not prime. Res64: 5B7BFF658E6773B6 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:41:35] 749*2^1543532-1 is not prime. Res64: 60CB64646956C652 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:41:36] 777*2^1543532-1 is not prime. Res64: 4B04C085E6605D0F Time : 0.0 sec. user=mdettweiler [2019-08-02 13:48:57] 785*2^1543532-1 is not prime. Res64: 7E2824AF44AAF3FA Time : 0.0 sec. user=mdettweiler [2019-08-02 13:48:57] 837*2^1543532-1 is not prime. Res64: 598FBF81200B2BB3 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:48:58] 929*2^1543532-1 is not prime. Res64: 4FF0AAB3530E301B Time : 0.0 sec. user=mdettweiler [2019-08-02 13:48:58] 987*2^1543532-1 is not prime. Res64: F93EC54C83A60F26 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:48:58] 675*2^1543533-1 is not prime. Res64: 0BFDF7B37F384E17 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:58:17] 759*2^1543533-1 is not prime. Res64: C75579708A09F192 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:58:18] 769*2^1543533-1 is not prime. Res64: 4B21654D2D4CDDC4 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:58:18] 795*2^1543533-1 is not prime. Res64: C9E56B215B85EE25 Time : 0.0 sec. user=mdettweiler [2019-08-02 13:58:18] 837*2^1543533-1 is not prime. Res64: 1D19EF5171EDC6EA Time : 0.0 sec. user=mdettweiler [2019-08-02 13:58:19] 861*2^1543533-1 is not prime. Res64: 72758B59691AC8B6 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:10:40] 951*2^1543533-1 is not prime. Res64: 470F75D23ED58A11 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:10:41] 717*2^1543534-1 is not prime. Res64: 06F22AE7E246A34E Time : 0.0 sec. user=mdettweiler [2019-08-02 14:10:42] 731*2^1543534-1 is not prime. Res64: 2C6C66720B85F305 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:10:43] 737*2^1543534-1 is not prime. Res64: F33E36433C17D0D6 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:10:44] 825*2^1543534-1 is not prime. Res64: 9E7453F497D55E15 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:33:59] 833*2^1543534-1 is not prime. Res64: 9EADE7DD3EC12EF1 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:33:59] 861*2^1543534-1 is not prime. Res64: D0CF8E1C1F13401E Time : 0.0 sec. user=mdettweiler [2019-08-02 14:33:59] 863*2^1543534-1 is not prime. Res64: 38DC118FDBF24E84 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:34:00] 609*2^1543535-1 is not prime. Res64: FC9C2625F6921C0F Time : 0.0 sec. user=mdettweiler [2019-08-02 14:34:00] 661*2^1543535-1 is not prime. Res64: 2AB319853D30A3F5 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:42:30] 775*2^1543535-1 is not prime. Res64: 5D3710BA5CB15635 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:42:31] 921*2^1543535-1 is not prime. Res64: 7B3076C2C6FAC710 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:42:31] 943*2^1543535-1 is not prime. Res64: 255B1DA247EE8BDB Time : 0.0 sec. user=mdettweiler [2019-08-02 14:42:32] 779*2^1543536-1 is not prime. Res64: 6F924274926359FE Time : 0.0 sec. user=mdettweiler [2019-08-02 14:42:32] 803*2^1543536-1 is not prime. Res64: 9CF309FD8C2A1F0C Time : 0.0 sec. user=mdettweiler [2019-08-02 14:51:55] 845*2^1543536-1 is not prime. Res64: 818C3AD4924E835E Time : 0.0 sec. user=mdettweiler [2019-08-02 14:51:56] 879*2^1543536-1 is not prime. Res64: 7DF3D9820E4D2F93 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:51:56] 927*2^1543536-1 is not prime. Res64: C8DA19375FBD28BA Time : 0.0 sec. user=mdettweiler [2019-08-02 14:51:56] 993*2^1543536-1 is not prime. Res64: 01023311FBBE9213 Time : 0.0 sec. user=mdettweiler [2019-08-02 14:51:57] 691*2^1543537-1 is not prime. Res64: 647B41759F542E5B Time : 0.0 sec. user=mdettweiler [2019-08-02 15:05:17] 777*2^1543537-1 is not prime. Res64: 65BDA7ECA769F83F Time : 0.0 sec. user=mdettweiler [2019-08-02 15:05:18] 829*2^1543537-1 is not prime. Res64: 3E26EEC0D65738A5 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:05:20] 915*2^1543537-1 is not prime. Res64: DC487D811A140420 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:05:22] 937*2^1543537-1 is not prime. Res64: 0C8D22B05D2F86E3 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:05:23] 997*2^1543537-1 is not prime. Res64: 95C3A683AB75117D Time : 0.0 sec. user=mdettweiler [2019-08-02 15:26:13] 623*2^1543538-1 is not prime. Res64: 5CC476C13BCBF162 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:26:13] 711*2^1543538-1 is not prime. Res64: 3680641F0EA1F189 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:26:14] 713*2^1543538-1 is not prime. Res64: 2DFE08CD995E1E4D Time : 0.0 sec. user=mdettweiler [2019-08-02 15:26:14] 801*2^1543538-1 is not prime. Res64: 71F209F3E1368C44 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:26:14] 827*2^1543538-1 is not prime. Res64: 3025FF08BF562A52 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:35:44] 951*2^1543538-1 is not prime. Res64: 6AE7CE44CFA9F643 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:35:44] 987*2^1543538-1 is not prime. Res64: 1C4734A6359FDD0A Time : 0.0 sec. user=mdettweiler [2019-08-02 15:35:44] 609*2^1543539-1 is not prime. Res64: 6D6D3C2EDE1CFB34 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:35:45] 669*2^1543539-1 is not prime. Res64: EAAAF14AECBD7613 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:35:45] 823*2^1543539-1 is not prime. Res64: D9A7DDC3DE0387CB Time : 0.0 sec. user=mdettweiler [2019-08-02 15:45:10] 873*2^1543539-1 is not prime. Res64: FA0AC299B7D46AD2 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:45:10] 665*2^1543540-1 is not prime. Res64: F56667164B1F65DE Time : 0.0 sec. user=mdettweiler [2019-08-02 15:45:11] 833*2^1543540-1 is not prime. Res64: 2EC775578824B5F1 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:45:11] 887*2^1543540-1 is not prime. Res64: 1244D91A82255CAC Time : 0.0 sec. user=mdettweiler [2019-08-02 15:45:11] 995*2^1543540-1 is not prime. Res64: 4C958557265DCADD Time : 0.0 sec. user=mdettweiler [2019-08-02 15:58:56] 621*2^1543541-1 is not prime. Res64: CBF2B45D5438A9B5 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:58:56] 631*2^1543541-1 is not prime. Res64: 438A8906BFEF3FCC Time : 0.0 sec. user=mdettweiler [2019-08-02 15:58:57] 679*2^1543541-1 is not prime. Res64: CFEF7DF54348A804 Time : 0.0 sec. user=mdettweiler [2019-08-02 15:58:57] 691*2^1543541-1 is not prime. Res64: F8D1DADCEA886EBB Time : 0.0 sec. user=mdettweiler [2019-08-02 15:58:58] 769*2^1543541-1 is not prime. Res64: C6F9E3C5E3571CD1 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:19:14] 837*2^1543541-1 is not prime. Res64: 7DAB47E86EDDB386 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:19:15] 885*2^1543541-1 is not prime. Res64: 7C45CD01AC68BFCE Time : 0.0 sec. user=mdettweiler [2019-08-02 16:19:15] 889*2^1543541-1 is not prime. Res64: D8D114E8FB60DBFB Time : 0.0 sec. user=mdettweiler [2019-08-02 16:19:16] 647*2^1543542-1 is not prime. Res64: 44E15834DC7FAA40 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:19:16] 747*2^1543542-1 is not prime. Res64: 2B88E311CFE7B976 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:29:04] 797*2^1543542-1 is not prime. Res64: AD5D8638B65C901E Time : 0.0 sec. user=mdettweiler [2019-08-02 16:29:04] 833*2^1543542-1 is not prime. Res64: A057DF1879828569 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:29:05] 893*2^1543542-1 is not prime. Res64: 199354346AD80E56 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:29:05] 983*2^1543542-1 is not prime. Res64: 8E92BFA86FDCF0D1 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:29:05] 805*2^1543543-1 is not prime. Res64: B403448A7D400D5D Time : 0.0 sec. user=mdettweiler [2019-08-02 16:39:07] 859*2^1543543-1 is not prime. Res64: C5BBD430965D08F2 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:39:07] 871*2^1543543-1 is not prime. Res64: 8DD8D7486A867205 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:39:08] 943*2^1543543-1 is not prime. Res64: F5B01BE3EA15441A Time : 0.0 sec. user=mdettweiler [2019-08-02 16:39:08] 951*2^1543543-1 is not prime. Res64: 267A495EA7541C1A Time : 0.0 sec. user=mdettweiler [2019-08-02 16:39:09] 993*2^1543543-1 is not prime. Res64: 57A2DD3389DB4A23 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:52:25] 999*2^1543543-1 is not prime. Res64: 357CE40941BC1BBF Time : 0.0 sec. user=mdettweiler [2019-08-02 16:52:25] 615*2^1543544-1 is not prime. Res64: 75E0BCE2BF8E4CDF Time : 0.0 sec. user=mdettweiler [2019-08-02 16:52:26] 657*2^1543544-1 is not prime. Res64: 4943E5EB3C29A31B Time : 0.0 sec. user=mdettweiler [2019-08-02 16:52:26] 677*2^1543544-1 is not prime. Res64: EC1854F3DBCC5F47 Time : 0.0 sec. user=mdettweiler [2019-08-02 16:52:26] 743*2^1543544-1 is not prime. Res64: 598D65324A375307 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:12:43] 753*2^1543544-1 is not prime. Res64: E3890C695A807F59 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:12:43] 795*2^1543544-1 is not prime. Res64: BDC6B992DBF5BE72 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:12:44] 873*2^1543544-1 is not prime. Res64: C2F29BD9A4626A98 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:12:44] 899*2^1543544-1 is not prime. Res64: 6B078831AB561E84 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:12:45] 915*2^1543544-1 is not prime. Res64: 8AB2537F0EE863CF Time : 0.0 sec. user=mdettweiler [2019-08-02 17:22:24] 917*2^1543544-1 is not prime. Res64: 63614A3C23EC1954 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:22:25] 959*2^1543544-1 is not prime. Res64: B5BDDC1DA5715347 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:22:25] 639*2^1543545-1 is not prime. Res64: BC8400B6EE4AD271 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:22:26] 667*2^1543545-1 is not prime. Res64: C2C11E764A31672F Time : 0.0 sec. user=mdettweiler [2019-08-02 17:22:26] 705*2^1543545-1 is not prime. Res64: 146F41FD41280ED6 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:32:21] 781*2^1543545-1 is not prime. Res64: 100B4A56029779F0 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:32:21] 787*2^1543545-1 is not prime. Res64: 0FDCB054A2CB7932 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:32:22] 795*2^1543545-1 is not prime. Res64: CC24CA9EA9AE76F5 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:32:22] 817*2^1543545-1 is not prime. Res64: B914081C8185DF81 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:32:23] 895*2^1543545-1 is not prime. Res64: 748FA36E64509BD8 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:45:43] 921*2^1543545-1 is not prime. Res64: 327D016C5377B41A Time : 0.0 sec. user=mdettweiler [2019-08-02 17:45:43] 717*2^1543546-1 is not prime. Res64: 683B39DBE5D68C11 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:45:43] 755*2^1543546-1 is not prime. Res64: 2B4A5665BB5E2DC4 Time : 0.0 sec. user=mdettweiler [2019-08-02 17:45:44] 765*2^1543546-1 is not prime. Res64: 92F070C6B1BD1B2F Time : 0.0 sec. user=mdettweiler [2019-08-02 17:45:44] 873*2^1543546-1 is not prime. Res64: 80FC298F87233964 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:05:43] 1001*2^1543546-1 is not prime. Res64: 8B8872C6C27BCE10 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:05:45] 621*2^1543547-1 is not prime. Res64: 99C0AFE46AA3E11B Time : 0.0 sec. user=mdettweiler [2019-08-02 18:05:47] 663*2^1543547-1 is not prime. Res64: DCE0824E8036CE11 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:05:48] 705*2^1543547-1 is not prime. Res64: EFCC894A14538BA0 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:05:49] 711*2^1543547-1 is not prime. Res64: 5EF3FD5B70A02AEC Time : 0.0 sec. user=mdettweiler [2019-08-02 18:15:52] 741*2^1543547-1 is not prime. Res64: 1A9002D604323CBF Time : 0.0 sec. user=mdettweiler [2019-08-02 18:15:53] 799*2^1543547-1 is not prime. Res64: 6764E968A1787C70 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:15:53] 913*2^1543547-1 is not prime. Res64: BE52D8BA8F35B9A9 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:15:54] 635*2^1543548-1 is not prime. Res64: CF893F0C5DCC3549 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:15:54] 705*2^1543548-1 is not prime. Res64: 5BFE9535C6E26EA2 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:25:17] 735*2^1543548-1 is not prime. Res64: D54EC5BFAE95388A Time : 0.0 sec. user=mdettweiler [2019-08-02 18:25:17] 777*2^1543548-1 is not prime. Res64: 30B4D92BA472958E Time : 0.0 sec. user=mdettweiler [2019-08-02 18:25:18] 795*2^1543548-1 is not prime. Res64: 3FAA31A4652CA67A Time : 0.0 sec. user=mdettweiler [2019-08-02 18:25:18] 809*2^1543548-1 is not prime. Res64: A6B3A989C447D88C Time : 0.0 sec. user=mdettweiler [2019-08-02 18:25:19] 619*2^1543549-1 is not prime. Res64: 0724798DE8D42BBE Time : 0.0 sec. user=mdettweiler [2019-08-02 18:38:53] 625*2^1543549-1 is not prime. Res64: 920DD0C9A9D9BCA7 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:38:54] 691*2^1543549-1 is not prime. Res64: 02EEA685253C9865 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:38:54] 699*2^1543549-1 is not prime. Res64: D1879A72FA900105 Time : 0.0 sec. user=mdettweiler [2019-08-02 18:38:54] 829*2^1543549-1 is not prime. Res64: 1AB55B8C9B025B4A Time : 0.0 sec. user=mdettweiler [2019-08-02 18:38:55] 885*2^1543549-1 is not prime. Res64: DE8F31F1942BF973 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:00:17] 707*2^1543550-1 is not prime. Res64: C31DD31C871E10DF Time : 0.0 sec. user=mdettweiler [2019-08-02 19:00:18] 773*2^1543550-1 is not prime. Res64: C684362649374F3E Time : 0.0 sec. user=mdettweiler [2019-08-02 19:00:19] 785*2^1543550-1 is not prime. Res64: E6AD91EB8F8D46F5 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:00:20] 857*2^1543550-1 is not prime. Res64: D9108D2D109526A5 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:00:20] 915*2^1543550-1 is not prime. Res64: 5BD7F373288276F3 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:09:40] 685*2^1543551-1 is not prime. Res64: 83F20FD1A49EDDD7 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:09:42] 871*2^1543551-1 is not prime. Res64: 67D1A8E6A431DB0A Time : 0.0 sec. user=mdettweiler [2019-08-02 19:09:43] 909*2^1543551-1 is not prime. Res64: B3E4392603F5F415 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:09:45] 949*2^1543551-1 is not prime. Res64: 1350178713444897 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:09:45] 639*2^1543552-1 is not prime. Res64: AF47865366FDCEE2 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:18:50] 657*2^1543552-1 is not prime. Res64: 5F3765E645885A2C Time : 0.0 sec. user=mdettweiler [2019-08-02 19:18:50] 675*2^1543552-1 is not prime. Res64: B6FB5073682D29AD Time : 0.0 sec. user=mdettweiler [2019-08-02 19:18:51] 719*2^1543552-1 is not prime. Res64: D3C51D4DC0E874A1 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:18:51] 743*2^1543552-1 is not prime. Res64: E6CA40AFF79043E8 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:18:52] 777*2^1543552-1 is not prime. Res64: 5827CE597B202170 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:32:01] 649*2^1543553-1 is not prime. Res64: 1A4056054A72CE59 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:32:02] 679*2^1543553-1 is not prime. Res64: A7415B83E3C3A0D0 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:32:02] 727*2^1543553-1 is not prime. Res64: 69DEFEBA0A6F03CE Time : 0.0 sec. user=mdettweiler [2019-08-02 19:32:02] 741*2^1543553-1 is not prime. Res64: 463FD4515D4C86BA Time : 0.0 sec. user=mdettweiler [2019-08-02 19:32:03] 695*2^1543554-1 is not prime. Res64: 4430CB042D2FD24F Time : 0.0 sec. user=mdettweiler [2019-08-02 19:53:13] 767*2^1543554-1 is not prime. Res64: D0629CC5A11B75FA Time : 0.0 sec. user=mdettweiler [2019-08-02 19:53:14] 783*2^1543554-1 is not prime. Res64: 9FC48981B00B2092 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:53:14] 807*2^1543554-1 is not prime. Res64: DF2B6ECF560E5998 Time : 0.0 sec. user=mdettweiler [2019-08-02 19:53:15] 833*2^1543554-1 is not prime. Res64: E6454E5045D2C8EB Time : 0.0 sec. user=mdettweiler [2019-08-02 19:53:15] 885*2^1543554-1 is not prime. Res64: A882AC574EB72B75 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:03:51] 891*2^1543554-1 is not prime. Res64: F60B3E0D3CFF9096 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:03:55] 921*2^1543554-1 is not prime. Res64: 5881100E0DFAC4FD Time : 0.0 sec. user=mdettweiler [2019-08-02 20:04:00] 619*2^1543555-1 is not prime. Res64: F68DB46E2B881AD0 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:04:04] 631*2^1543555-1 is not prime. Res64: 2BB72D0D395C4DBD Time : 0.0 sec. user=mdettweiler [2019-08-02 20:04:07] 651*2^1543555-1 is not prime. Res64: 132BF75F8B37C615 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:12:54] 685*2^1543555-1 is not prime. Res64: 54D53D0E71D4559C Time : 0.0 sec. user=mdettweiler [2019-08-02 20:12:55] 771*2^1543555-1 is not prime. Res64: 13835C4DC70F0BCC Time : 0.0 sec. user=mdettweiler [2019-08-02 20:12:55] 919*2^1543555-1 is not prime. Res64: D9F4BF65171DAF8C Time : 0.0 sec. user=mdettweiler [2019-08-02 20:12:55] 925*2^1543555-1 is not prime. Res64: 470D86A51E026DA6 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:12:56] 961*2^1543555-1 is not prime. Res64: 55DF97366C8FFC76 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:25:02] 969*2^1543555-1 is not prime. Res64: 30EB38CE6E496240 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:25:02] 767*2^1543556-1 is not prime. Res64: 1E41492A2B8F285B Time : 0.0 sec. user=mdettweiler [2019-08-02 20:25:02] 833*2^1543556-1 is not prime. Res64: DF4FE87CD120A72E Time : 0.0 sec. user=mdettweiler [2019-08-02 20:25:03] 875*2^1543556-1 is not prime. Res64: 4A6F9EAB9E4FBF83 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:25:03] 607*2^1543557-1 is not prime. Res64: A674C5AE2D48DA9F Time : 0.0 sec. user=mdettweiler [2019-08-02 20:47:13] 889*2^1543557-1 is not prime. Res64: 2BB275989BF46762 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:47:14] 891*2^1543557-1 is not prime. Res64: 5190816731CE841C Time : 0.0 sec. user=mdettweiler [2019-08-02 20:47:14] 901*2^1543557-1 is not prime. Res64: 2CA87CDBE15F4B43 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:47:15] 927*2^1543557-1 is not prime. Res64: FA659810BBFB8F86 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:47:15] 605*2^1543558-1 is not prime. Res64: 854D5B6E103F2968 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:57:30] 813*2^1543558-1 is not prime. Res64: 827AD71D3488F15D Time : 0.0 sec. user=mdettweiler [2019-08-02 20:57:30] 825*2^1543558-1 is not prime. Res64: 664E30A849EA5F2F Time : 0.0 sec. user=mdettweiler [2019-08-02 20:57:30] 911*2^1543558-1 is not prime. Res64: D415B48415CB52B3 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:57:31] 685*2^1543559-1 is not prime. Res64: E7CD7A68E32600C0 Time : 0.0 sec. user=mdettweiler [2019-08-02 20:57:31] 693*2^1543559-1 is not prime. Res64: 3A70C0FFC9527328 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:06:33] 843*2^1543559-1 is not prime. Res64: 0A700E3481412F20 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:06:34] 865*2^1543559-1 is not prime. Res64: AB52FB52F0C1C361 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:06:35] 913*2^1543559-1 is not prime. Res64: 0924AD6AC892B3AA Time : 0.0 sec. user=mdettweiler [2019-08-02 21:06:36] 985*2^1543559-1 is not prime. Res64: 029986D46C34C194 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:06:37] 713*2^1543560-1 is not prime. Res64: A1A666D2217DBA9F Time : 0.0 sec. user=mdettweiler [2019-08-02 21:18:43] 737*2^1543560-1 is not prime. Res64: 07F060065F2B09CB Time : 0.0 sec. user=mdettweiler [2019-08-02 21:18:43] 767*2^1543560-1 is not prime. Res64: 0EA2212FA37EE6DC Time : 0.0 sec. user=mdettweiler [2019-08-02 21:18:43] 849*2^1543560-1 is not prime. Res64: 8CF82AF03D46C24D Time : 0.0 sec. user=mdettweiler [2019-08-02 21:18:44] 909*2^1543560-1 is not prime. Res64: E184D8CF4A35B8BD Time : 0.0 sec. user=mdettweiler [2019-08-02 21:18:44] 607*2^1543561-1 is not prime. Res64: 41F39A97BD5DE5F2 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:40:20] 687*2^1543561-1 is not prime. Res64: 19C2E41D8232A665 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:40:20] 789*2^1543561-1 is not prime. Res64: 70916178D79AD996 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:40:20] 829*2^1543561-1 is not prime. Res64: 1A5F312495EEEFCB Time : 0.0 sec. user=mdettweiler [2019-08-02 21:40:20] 847*2^1543561-1 is not prime. Res64: 82D401ADD015AE62 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:40:21] 955*2^1543561-1 is not prime. Res64: FC3914941FFC311B Time : 0.0 sec. user=mdettweiler [2019-08-02 21:51:43] 979*2^1543561-1 is not prime. Res64: 4828553E34C7B9F6 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:51:43] 785*2^1543562-1 is not prime. Res64: 1ADDA6CC0BCEE43E Time : 0.0 sec. user=mdettweiler [2019-08-02 21:51:43] 801*2^1543562-1 is not prime. Res64: 2C63D92A8E829594 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:51:44] 873*2^1543562-1 is not prime. Res64: 1D19FE21C2B2EA11 Time : 0.0 sec. user=mdettweiler [2019-08-02 21:51:44] 923*2^1543562-1 is not prime. Res64: C6F63A2F21CE1162 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:00:16] 1001*2^1543562-1 is not prime. Res64: 23C727499A5A2037 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:00:18] 643*2^1543563-1 is not prime. Res64: FE50B3C4B0756ADB Time : 0.0 sec. user=mdettweiler [2019-08-02 22:00:19] 723*2^1543563-1 is not prime. Res64: 0713F5A50DEBDA74 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:00:20] 751*2^1543563-1 is not prime. Res64: A5F0E9D740E42C58 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:00:21] 801*2^1543563-1 is not prime. Res64: 17FF091B85512EEF Time : 0.0 sec. user=mdettweiler [2019-08-02 22:13:05] 895*2^1543563-1 is not prime. Res64: 9CBC7C654C63CDFE Time : 0.0 sec. user=mdettweiler [2019-08-02 22:13:06] 961*2^1543563-1 is not prime. Res64: 049C2F4C820B2C3D Time : 0.0 sec. user=mdettweiler [2019-08-02 22:13:06] 973*2^1543563-1 is not prime. Res64: 67D8FD6327894C42 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:13:07] 609*2^1543564-1 is not prime. Res64: 3D7C0EBCB9E18030 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:13:07] 615*2^1543564-1 is not prime. Res64: ACB14AB510D45645 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:34:07] 743*2^1543564-1 is not prime. Res64: 5E219440F39551B9 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:34:07] 983*2^1543564-1 is not prime. Res64: 64505A388CBE9600 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:34:07] 995*2^1543564-1 is not prime. Res64: 151ADA8454BB5919 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:34:08] 619*2^1543565-1 is not prime. Res64: 41538E9B0266C267 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:34:08] 711*2^1543565-1 is not prime. Res64: 41B015232622409E Time : 0.0 sec. user=mdettweiler [2019-08-02 22:44:27] 727*2^1543565-1 is not prime. Res64: 5406A17D27B362FA Time : 0.0 sec. user=mdettweiler [2019-08-02 22:44:27] 735*2^1543565-1 is not prime. Res64: EDFD17063063B6F2 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:44:28] 799*2^1543565-1 is not prime. Res64: 929E25C51670A89C Time : 0.0 sec. user=mdettweiler [2019-08-02 22:44:28] 805*2^1543565-1 is not prime. Res64: AB33314858B62130 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:44:28] 811*2^1543565-1 is not prime. Res64: 10154144A1B06FFE Time : 0.0 sec. user=mdettweiler [2019-08-02 22:53:41] 865*2^1543565-1 is not prime. Res64: 2ED062797DD4AC8F Time : 0.0 sec. user=mdettweiler [2019-08-02 22:53:42] 647*2^1543566-1 is not prime. Res64: A7B739BE8A1FDED2 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:53:42] 711*2^1543566-1 is not prime. Res64: 7A16272CE3F6BE29 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:53:42] 725*2^1543566-1 is not prime. Res64: 5E8CEE19FB74F5D7 Time : 0.0 sec. user=mdettweiler [2019-08-02 22:53:43] 783*2^1543566-1 is not prime. Res64: 3077114105FAEE8C Time : 0.0 sec. user=mdettweiler [2019-08-02 23:06:32] 807*2^1543566-1 is not prime. Res64: C1245940130ABE65 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:06:34] 947*2^1543566-1 is not prime. Res64: D6B95CEA8583479E Time : 0.0 sec. user=mdettweiler [2019-08-02 23:06:36] 963*2^1543566-1 is not prime. Res64: 2165C2164B74229B Time : 0.0 sec. user=mdettweiler [2019-08-02 23:06:38] 993*2^1543566-1 is not prime. Res64: CC1FD9018450D832 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:06:40] 619*2^1543567-1 is not prime. Res64: FE76D1F62A0F4AE4 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:26:48] 639*2^1543567-1 is not prime. Res64: 5B51C329B4047E5C Time : 0.0 sec. user=mdettweiler [2019-08-02 23:26:48] 649*2^1543567-1 is not prime. Res64: 0F75743018B2E45C Time : 0.0 sec. user=mdettweiler [2019-08-02 23:26:49] 673*2^1543567-1 is not prime. Res64: 3A464E79E29A29BE Time : 0.0 sec. user=mdettweiler [2019-08-02 23:26:50] 859*2^1543567-1 is not prime. Res64: EC2B0968FC0E46F4 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:26:50] 871*2^1543567-1 is not prime. Res64: 419A54C4E8E1D43C Time : 0.0 sec. user=mdettweiler [2019-08-02 23:38:52] 895*2^1543567-1 is not prime. Res64: 44FE33A45AB66287 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:38:52] 919*2^1543567-1 is not prime. Res64: 7480BF202B1BAE10 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:38:53] 961*2^1543567-1 is not prime. Res64: 95C81CB631E33AF6 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:38:53] 603*2^1543568-1 is not prime. Res64: F09C45E74B16AF36 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:38:54] 753*2^1543568-1 is not prime. Res64: E80C847B7AE33BBD Time : 0.0 sec. user=mdettweiler [2019-08-02 23:47:43] 843*2^1543568-1 is not prime. Res64: 73E970728116A849 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:47:43] 601*2^1543569-1 is not prime. Res64: F833485753F26C8F Time : 0.0 sec. user=mdettweiler [2019-08-02 23:47:44] 615*2^1543569-1 is not prime. Res64: 80F6CC4EB4734C83 Time : 0.0 sec. user=mdettweiler [2019-08-02 23:47:44] 691*2^1543569-1 is not prime. Res64: 7A4A7F94B4237BAA Time : 0.0 sec. user=mdettweiler [2019-08-02 23:47:44] 735*2^1543569-1 is not prime. Res64: DA972F4802A4D20D Time : 0.0 sec.