user=mdettweiler [2017-04-30 00:37:11] 845*2^1452830-1 is not prime. Res64: 375DF835858F2B5B Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:12] 679*2^1452831-1 is not prime. Res64: 7317EA1343AD5FEF Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:12] 735*2^1452831-1 is not prime. Res64: C13854EAC76CA565 Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:12] 865*2^1452831-1 is not prime. Res64: C70F65C24CC7721D Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:13] 751*2^1452831-1 is not prime. Res64: 4733EA1B7D4C571E Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:13] 895*2^1452831-1 is not prime. Res64: 135B0983890ABA4C Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:13] 829*2^1452831-1 is not prime. Res64: A1D5B942240D2CFA Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:13] 785*2^1452832-1 is not prime. Res64: AF157BDED91EAD1E Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:14] 797*2^1452832-1 is not prime. Res64: 1F97C4D6926A95C1 Time : 0.0 sec. user=mdettweiler [2017-04-30 00:37:14] 899*2^1452832-1 is not prime. Res64: 1C6EFCFB06184D5F Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:45] 917*2^1452832-1 is not prime. Res64: 3E705A19515EEF7E Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:45] 939*2^1452832-1 is not prime. Res64: 3DA50EB0D99E7D88 Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:46] 975*2^1452832-1 is not prime. Res64: C041BE51A9A9324D Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:46] 637*2^1452833-1 is not prime. Res64: FA610869AFA6F372 Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:46] 769*2^1452833-1 is not prime. Res64: 3481249994C010DC Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:47] 727*2^1452833-1 is not prime. Res64: D97CC312F23594E0 Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:47] 795*2^1452833-1 is not prime. Res64: 0A5B69D0A262E33E Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:47] 801*2^1452833-1 is not prime. Res64: 55B7748537146B83 Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:48] 811*2^1452833-1 is not prime. Res64: 1DFDA5825A319355 Time : 0.0 sec. user=mdettweiler [2017-04-30 01:21:48] 837*2^1452833-1 is not prime. Res64: 7019F2090CAA8C5C Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:10] 847*2^1452833-1 is not prime. Res64: 5A48ED679EC90997 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:10] 889*2^1452833-1 is not prime. Res64: C2D7610C98C6DDBB Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:11] 641*2^1452834-1 is not prime. Res64: 1B1F3481D1FF9454 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:11] 945*2^1452833-1 is not prime. Res64: 88D9789BB14E1CCE Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:11] 681*2^1452834-1 is not prime. Res64: 89C3D294AEDC90EB Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:12] 611*2^1452834-1 is not prime. Res64: 0920A97822AEC6D4 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:12] 683*2^1452834-1 is not prime. Res64: 1A00788B015BBDC4 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:12] 633*2^1452834-1 is not prime. Res64: 6C9F015FD3C4FF96 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:12] 755*2^1452834-1 is not prime. Res64: 37FDC6344FC0B2B3 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:06:13] 767*2^1452834-1 is not prime. Res64: 1C85A478AE588083 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:48] 783*2^1452834-1 is not prime. Res64: FDC3F3264CEF5E44 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:48] 815*2^1452834-1 is not prime. Res64: 6F5E6CF3D1B979EA Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:48] 873*2^1452835-1 is not prime. Res64: 27E6EB031D31E9B0 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:49] 975*2^1452834-1 is not prime. Res64: 5020624DB9321F87 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:49] 909*2^1452835-1 is not prime. Res64: E7F1922C41287AB0 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:49] 639*2^1452835-1 is not prime. Res64: 3AEFDDD44ABCE0E6 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:49] 973*2^1452835-1 is not prime. Res64: 62071E91C37DEACF Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:50] 693*2^1452835-1 is not prime. Res64: 43677DC5DE10EF5C Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:50] 677*2^1452836-1 is not prime. Res64: 549A871B880E6FB3 Time : 0.0 sec. user=mdettweiler [2017-04-30 02:50:50] 719*2^1452836-1 is not prime. Res64: D28B9E30CEDD56AE Time : 0.0 sec. user=juhehe [2017-04-30 03:25:21] 777*2^1452836-1 is not prime. Res64: 3E8EF6FDC2BD0D1D Time : 0.0 sec. user=juhehe [2017-04-30 03:25:44] 927*2^1452836-1 is not prime. Res64: C8EA32CE12B6C045 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:13] 675*2^1452837-1 is not prime. Res64: 4B13A51D36405563 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:14] 945*2^1452837-1 is not prime. Res64: 382691CE94C00C3D Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:14] 717*2^1452837-1 is not prime. Res64: 15AFAC04691AB15E Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:15] 845*2^1452838-1 is not prime. Res64: 62FAD561116FD7F4 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:15] 727*2^1452837-1 is not prime. Res64: 442DD9AEAC2D1504 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:16] 887*2^1452838-1 is not prime. Res64: 0FE829BE63E9A728 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:16] 861*2^1452837-1 is not prime. Res64: 4840BE82D9D26914 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:17] 891*2^1452838-1 is not prime. Res64: 99EC3B3996F234F6 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:17] 895*2^1452837-1 is not prime. Res64: 2F9E518609B06632 Time : 0.0 sec. user=mdettweiler [2017-04-30 03:35:17] 971*2^1452838-1 is not prime. Res64: 1784F468B3A53914 Time : 0.0 sec. user=juhehe [2017-04-30 04:04:12] 993*2^1452838-1 is not prime. Res64: 64F3199C26D4EFE9 Time : 0.0 sec. user=juhehe [2017-04-30 04:04:34] 711*2^1452839-1 is not prime. Res64: 6AA8B0776F6EFF4D Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:47] 909*2^1452839-1 is not prime. Res64: C0578E8653E61DB4 Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:47] 745*2^1452839-1 is not prime. Res64: E68A7D3B5F45404C Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:47] 753*2^1452839-1 is not prime. Res64: 4E739B54D7EC93CA Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:47] 921*2^1452839-1 is not prime. Res64: 29898161598427F8 Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:48] 813*2^1452839-1 is not prime. Res64: 96443E928B30432E Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:48] 949*2^1452839-1 is not prime. Res64: 4CEA53623117CFA6 Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:48] 853*2^1452839-1 is not prime. Res64: D2818FA1D4A35E9F Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:48] 615*2^1452840-1 is not prime. Res64: 0AD2EA902A688B58 Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:48] 855*2^1452839-1 is not prime. Res64: 836BBE30DD185E83 Time : 0.0 sec. user=mdettweiler [2017-04-30 04:19:49] 623*2^1452840-1 is not prime. Res64: 8DE6AF92FE642D6C Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:40] 975*2^1452840-1 is not prime. Res64: 48E26618B0E256D9 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:40] 737*2^1452840-1 is not prime. Res64: F46038F5DD072120 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:42] 601*2^1452841-1 is not prime. Res64: DEFE1EDF3A75F0A7 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:44] 779*2^1452840-1 is not prime. Res64: BE0F4C10F15B5295 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:44] 747*2^1452841-1 is not prime. Res64: 769912FBAFBC2FD3 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:45] 867*2^1452840-1 is not prime. Res64: 3CB18DB1B7057D2F Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:47] 811*2^1452841-1 is not prime. Res64: AB38D6FFD813F8B8 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:48] 917*2^1452840-1 is not prime. Res64: 39E04F5C2DF7A5AD Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:49] 861*2^1452841-1 is not prime. Res64: 01FE468CB8FB5315 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:04:50] 945*2^1452840-1 is not prime. Res64: 7CD6E3A37ABD4783 Time : 0.0 sec. user=juhehe [2017-04-30 05:21:44] 925*2^1452841-1 is not prime. Res64: B99CBFE00A85840F Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:52] 939*2^1452841-1 is not prime. Res64: A40E5E784BF58D9E Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:52] 615*2^1452842-1 is not prime. Res64: 5E05EB7E73BD9D8B Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:53] 627*2^1452842-1 is not prime. Res64: DC10594435E81639 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:53] 677*2^1452842-1 is not prime. Res64: 4BFF0082668A8C21 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:53] 941*2^1452842-1 is not prime. Res64: AEFA53D0D6318507 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:54] 963*2^1452842-1 is not prime. Res64: 7A36B8DA56407D00 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:54] 609*2^1452843-1 is not prime. Res64: 833F10ED97A07E32 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:55] 699*2^1452843-1 is not prime. Res64: 3850B3DF094B1748 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:55] 709*2^1452843-1 is not prime. Res64: 3F8515ACDAD1FE06 Time : 0.0 sec. user=mdettweiler [2017-04-30 05:49:56] 739*2^1452843-1 is not prime. Res64: 31ADAB0F695239CD Time : 0.0 sec. user=juhehe [2017-04-30 06:00:12] 765*2^1452843-1 is not prime. Res64: FDBE3A85944F92E2 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:24] 755*2^1452844-1 is not prime. Res64: 6B17EA9A708530DE Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:25] 929*2^1452844-1 is not prime. Res64: 1C3720A580F3D699 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:25] 651*2^1452845-1 is not prime. Res64: F196D9303173EF6D Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:26] 777*2^1452845-1 is not prime. Res64: 1AED257367BCBD08 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:26] 795*2^1452845-1 is not prime. Res64: 806F48043F7C7236 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:57] 789*2^1452843-1 is not prime. Res64: B45120D676BF0F35 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:57] 801*2^1452843-1 is not prime. Res64: A71FC75A24D410AE Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:58] 961*2^1452843-1 is not prime. Res64: C4078776FAFE6976 Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:58] 969*2^1452843-1 is not prime. Res64: 76FB2E69E3CF50ED Time : 0.0 sec. user=mdettweiler [2017-04-30 06:34:58] 615*2^1452844-1 is not prime. Res64: 0BD0C76BAF3BC4CA Time : 0.0 sec. user=juhehe [2017-04-30 07:18:10] 729*2^1452847-1 is not prime. Res64: 28B9AFB82B879C47 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:18:51] 861*2^1452845-1 is not prime. Res64: 2AAA1DC1D3A38AB6 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:18:52] 885*2^1452845-1 is not prime. Res64: B85396AE2FC766E8 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:18:52] 957*2^1452845-1 is not prime. Res64: 241C5847249450F5 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:18:53] 627*2^1452846-1 is not prime. Res64: 06BF0EE8584078B8 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:18:53] 647*2^1452846-1 is not prime. Res64: 6CC7C117C840217D Time : 0.0 sec. user=mdettweiler [2017-04-30 07:19:21] 741*2^1452846-1 is not prime. Res64: 31F29BAE69ECA4F9 Time : 0.0 sec. user=mdettweiler [2017-04-30 07:19:21] 917*2^1452846-1 is not prime. Res64: 84AD0282BC29D65A Time : 0.0 sec. user=mdettweiler [2017-04-30 07:19:22] 639*2^1452847-1 is not prime. Res64: DE8500DD9D62F25B Time : 0.0 sec. user=mdettweiler [2017-04-30 07:19:22] 685*2^1452847-1 is not prime. Res64: D077504EEB7DB79B Time : 0.0 sec. user=mdettweiler [2017-04-30 07:19:23] 715*2^1452847-1 is not prime. Res64: D7FFC55745DF2337 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:19] 759*2^1452847-1 is not prime. Res64: 3F9C90985EAD10A4 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:20] 805*2^1452847-1 is not prime. Res64: C583E558F05E12BC Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:22] 843*2^1452847-1 is not prime. Res64: 78B530AB77DA791B Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:23] 871*2^1452847-1 is not prime. Res64: 04ED1570601AF13D Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:25] 939*2^1452847-1 is not prime. Res64: 86F176F45A09257D Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:46] 615*2^1452848-1 is not prime. Res64: 023DCC6DCF7CA06D Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:47] 635*2^1452848-1 is not prime. Res64: B066596FFCB8A3FE Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:50] 657*2^1452848-1 is not prime. Res64: 5C11416A0CF884AD Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:51] 669*2^1452848-1 is not prime. Res64: 954DFDA3ED024B42 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:03:53] 683*2^1452848-1 is not prime. Res64: 688DE3CCF03E8049 Time : 0.0 sec. user=juhehe [2017-04-30 08:35:38] 803*2^1452848-1 is not prime. Res64: 305E1230F2A6200C Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:21] 869*2^1452848-1 is not prime. Res64: 1814F8F3D050A573 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:21] 899*2^1452848-1 is not prime. Res64: E9A908098C2A33CC Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:22] 929*2^1452848-1 is not prime. Res64: 59227F78A9418311 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:22] 609*2^1452849-1 is not prime. Res64: C1A093EC694E88BE Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:23] 625*2^1452849-1 is not prime. Res64: 8166448B1AFB104B Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:24] 691*2^1452849-1 is not prime. Res64: 6B04FEC1021EEB3F Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:24] 817*2^1452849-1 is not prime. Res64: 83451CE86D46F712 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:25] 829*2^1452849-1 is not prime. Res64: EF596F69DBF76AC5 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:25] 645*2^1452850-1 is not prime. Res64: 90FE895F8D1647B5 Time : 0.0 sec. user=mdettweiler [2017-04-30 08:48:25] 653*2^1452850-1 is not prime. Res64: 961A53A5FE9EB6E8 Time : 0.0 sec. user=juhehe [2017-04-30 09:14:25] 735*2^1452850-1 is not prime. Res64: E403E8A3ED4F4FB4 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:49] 619*2^1452851-1 is not prime. Res64: 014F3CA607691146 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:50] 741*2^1452851-1 is not prime. Res64: D71A14502941B0AA Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:50] 745*2^1452851-1 is not prime. Res64: 81B5B3380EE00340 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:51] 871*2^1452851-1 is not prime. Res64: EC66567E64FB6BBF Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:51] 747*2^1452850-1 is not prime. Res64: 17C25BE266A75461 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:51] 931*2^1452851-1 is not prime. Res64: 05B29D709D0B28C3 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:51] 755*2^1452850-1 is not prime. Res64: BFCB63E194A64EDA Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:52] 813*2^1452850-1 is not prime. Res64: 6CF30DA038B682D1 Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:52] 981*2^1452850-1 is not prime. Res64: F81A27753D18F2DE Time : 0.0 sec. user=mdettweiler [2017-04-30 09:32:52] 987*2^1452850-1 is not prime. Res64: 42161163ABCF966B Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:16] 969*2^1452851-1 is not prime. Res64: E9451682539AF6CA Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:16] 973*2^1452851-1 is not prime. Res64: EAE7D9F6DE62920D Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:17] 669*2^1452852-1 is not prime. Res64: 1DD77F536E01EF2B Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:17] 825*2^1452852-1 is not prime. Res64: D428E99D71B873E2 Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:18] 863*2^1452852-1 is not prime. Res64: 7F1A013AFA1CDE85 Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:20] 879*2^1452852-1 is not prime. Res64: A2749AE119818887 Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:20] 771*2^1452853-1 is not prime. Res64: 546662A5AA2F9481 Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:21] 817*2^1452853-1 is not prime. Res64: C9D0EE31CFBE3198 Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:21] 829*2^1452853-1 is not prime. Res64: 4CD103D38400BF3D Time : 0.0 sec. user=mdettweiler [2017-04-30 10:17:21] 855*2^1452853-1 is not prime. Res64: DB8DD1484ACC76A3 Time : 0.0 sec. user=juhehe [2017-04-30 10:31:58] 867*2^1452853-1 is not prime. Res64: 3519490CD29F21F1 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:42] 961*2^1452853-1 is not prime. Res64: 5E5115226C31017F Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:43] 999*2^1452853-1 is not prime. Res64: 8FD8DF7F40DBB209 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:44] 693*2^1452854-1 is not prime. Res64: 56562A02151A9B85 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:45] 971*2^1452854-1 is not prime. Res64: F31A4518811D1FC8 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:45] 669*2^1452855-1 is not prime. Res64: 471F351A8E1AB48D Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:45] 773*2^1452854-1 is not prime. Res64: D194B9785EBC046A Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:48] 797*2^1452854-1 is not prime. Res64: E77AB3B4F8AEC515 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:50] 781*2^1452855-1 is not prime. Res64: 49F0D5C3F7F3817F Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:54] 805*2^1452855-1 is not prime. Res64: D407EB67DA55B2CE Time : 0.0 sec. user=mdettweiler [2017-04-30 11:01:58] 853*2^1452855-1 is not prime. Res64: 33043ABBD898A625 Time : 0.0 sec. user=juhehe [2017-04-30 11:10:41] 861*2^1452855-1 is not prime. Res64: F209C7B779C5C7C1 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:34] 973*2^1452855-1 is not prime. Res64: 29C5236A10B96BEF Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:35] 699*2^1452856-1 is not prime. Res64: AA06A2D6C155061B Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:35] 765*2^1452856-1 is not prime. Res64: E4F702C76CE76912 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:36] 965*2^1452856-1 is not prime. Res64: E5CF85D9E3DEABA2 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:36] 729*2^1452857-1 is not prime. Res64: 4A9F57C4984C870B Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:36] 759*2^1452857-1 is not prime. Res64: 2B8CB85A43333E7E Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:37] 805*2^1452857-1 is not prime. Res64: 88DE061631A31FD7 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:37] 955*2^1452857-1 is not prime. Res64: 09AF4D0A90FAE3A2 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:37] 627*2^1452858-1 is not prime. Res64: 5F22E40C161CAE38 Time : 0.0 sec. user=mdettweiler [2017-04-30 11:46:38] 765*2^1452858-1 is not prime. Res64: 88F2D68D09861566 Time : 0.0 sec. user=juhehe [2017-04-30 12:28:20] 609*2^1452860-1 is not prime. Res64: E189CA3FF11262AA Time : 0.0 sec. user=mdettweiler [2017-04-30 12:30:59] 893*2^1452858-1 is not prime. Res64: ECA25CA0656E49E8 Time : 0.0 sec. user=mdettweiler [2017-04-30 12:30:59] 971*2^1452858-1 is not prime. Res64: 15F0300E1BDD1FCF Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:00] 975*2^1452858-1 is not prime. Res64: F97BD87B0366656E Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:00] 993*2^1452858-1 is not prime. Res64: 9C6928C35D81BA52 Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:01] 619*2^1452859-1 is not prime. Res64: 001F5D20AEA60C9E Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:02] 841*2^1452859-1 is not prime. Res64: 5800080A673C387D Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:03] 853*2^1452859-1 is not prime. Res64: A416015569F28B65 Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:03] 891*2^1452859-1 is not prime. Res64: 0828C384C487DFB9 Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:04] 973*2^1452859-1 is not prime. Res64: 9D3A349A7225A7B0 Time : 0.0 sec. user=mdettweiler [2017-04-30 12:31:05] 985*2^1452859-1 is not prime. Res64: C3DA950D02862552 Time : 0.0 sec. user=juhehe [2017-04-30 13:07:00] 633*2^1452860-1 is not prime. Res64: 67EA07AA1CE21336 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:25] 699*2^1452860-1 is not prime. Res64: 8A1DD494468D7D6C Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:26] 785*2^1452860-1 is not prime. Res64: 1C15A26E484F117A Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:26] 795*2^1452860-1 is not prime. Res64: 4E3DD48D43030C49 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:27] 987*2^1452860-1 is not prime. Res64: 6016AA5F1C5E3DE5 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:27] 657*2^1452861-1 is not prime. Res64: 2AB15DC638CB3D70 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:29] 777*2^1452861-1 is not prime. Res64: 6ABA61558FAEF9B9 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:30] 795*2^1452861-1 is not prime. Res64: B8133AA59F11815B Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:30] 819*2^1452861-1 is not prime. Res64: CEFDFFAE65907139 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:31] 777*2^1452862-1 is not prime. Res64: CFB8ECBA6E372A1E Time : 0.0 sec. user=mdettweiler [2017-04-30 13:15:31] 785*2^1452862-1 is not prime. Res64: 1173636EA031F98E Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:52] 831*2^1452862-1 is not prime. Res64: BC24794D2F9EA659 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:53] 945*2^1452862-1 is not prime. Res64: BBC1570F0C390117 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:53] 735*2^1452863-1 is not prime. Res64: E1416688B106DA6A Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:54] 813*2^1452863-1 is not prime. Res64: 8A8A06CF1BA970EC Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:54] 879*2^1452863-1 is not prime. Res64: 274E1DBD5D97D5E9 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:55] 921*2^1452863-1 is not prime. Res64: 762A560C79BB4BA9 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:55] 707*2^1452864-1 is not prime. Res64: F86184DCBD9133A5 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:56] 723*2^1452864-1 is not prime. Res64: 3ACCB82EFAA8D0E6 Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:56] 909*2^1452864-1 is not prime. Res64: 3F79DE83CD10CDEC Time : 0.0 sec. user=mdettweiler [2017-04-30 13:59:56] 959*2^1452864-1 is not prime. Res64: 003B1AFED8418518 Time : 0.0 sec. user=juhehe [2017-04-30 14:24:28] 619*2^1452865-1 is not prime. Res64: 1B2E57787A1489E6 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:25] 675*2^1452865-1 is not prime. Res64: C427DA8A042F877E Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:26] 691*2^1452865-1 is not prime. Res64: FE4D5906460F2F12 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:26] 717*2^1452865-1 is not prime. Res64: 35C562851A0C8432 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:27] 721*2^1452865-1 is not prime. Res64: 82D17C4C8BFD25E3 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:27] 777*2^1452865-1 is not prime. Res64: EA8C01071CA3030C Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:28] 877*2^1452865-1 is not prime. Res64: 34069E2D50989B85 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:29] 957*2^1452865-1 is not prime. Res64: C1C9BE971D51124B Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:30] 633*2^1452866-1 is not prime. Res64: 9CBBDDB1BA4AC36A Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:31] 911*2^1452866-1 is not prime. Res64: 185B7789C2A26FC7 Time : 0.0 sec. user=mdettweiler [2017-04-30 14:44:32] 935*2^1452866-1 is not prime. Res64: B0218AD4AA451F22 Time : 0.0 sec. user=juhehe [2017-04-30 15:03:23] 609*2^1452867-1 is not prime. Res64: F9CF9EC9DD4733DD Time : 0.0 sec. user=juhehe [2017-04-30 15:29:07] 759*2^1452869-1 is not prime. Res64: A3CDFFBF759569D4 Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:20] 669*2^1452867-1 is not prime. Res64: 27BE4439AF793177 Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:20] 775*2^1452867-1 is not prime. Res64: 823CB9E17ECE8BCD Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:21] 879*2^1452867-1 is not prime. Res64: E73552E1862D0D2D Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:21] 979*2^1452867-1 is not prime. Res64: D2FC775AEA1769B0 Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:21] 839*2^1452868-1 is not prime. Res64: 3AB4DC00154DD98B Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:21] 765*2^1452868-1 is not prime. Res64: 550499738A8A0312 Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:22] 843*2^1452868-1 is not prime. Res64: DA5E83FC92A041F8 Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:22] 845*2^1452868-1 is not prime. Res64: 3192C1782532D11A Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:23] 685*2^1452869-1 is not prime. Res64: EAD09A09BC5E222E Time : 0.0 sec. user=mdettweiler [2017-04-30 15:29:23] 699*2^1452869-1 is not prime. Res64: 62BBF4CAAB3514DA Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:50] 831*2^1452869-1 is not prime. Res64: A80A4FFE88E3824E Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:51] 717*2^1452870-1 is not prime. Res64: 77870BC43B844363 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:51] 865*2^1452869-1 is not prime. Res64: C296CFC2496B2018 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:51] 645*2^1452871-1 is not prime. Res64: 651EDBDB9FB68E41 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:51] 879*2^1452869-1 is not prime. Res64: B29983C9F6E1A032 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:52] 709*2^1452871-1 is not prime. Res64: 371722ABD90524B2 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:52] 897*2^1452869-1 is not prime. Res64: 6B921D9DDFA9EB6B Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:52] 741*2^1452871-1 is not prime. Res64: 7D61B0644F835A02 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:52] 693*2^1452870-1 is not prime. Res64: 0998EB2AB5A2D729 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:13:52] 819*2^1452871-1 is not prime. Res64: 9427C2432DD59D95 Time : 0.0 sec. user=juhehe [2017-04-30 16:21:26] 861*2^1452871-1 is not prime. Res64: 74BF616B62FE34AA Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:23] 885*2^1452871-1 is not prime. Res64: B6D874089D59B9D7 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:23] 833*2^1452872-1 is not prime. Res64: 8600256DF3662EF7 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 873*2^1452872-1 is not prime. Res64: CCF6516359CE10FA Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 895*2^1452871-1 is not prime. Res64: 31A2C67EDB999257 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 915*2^1452872-1 is not prime. Res64: B3AA36D5715DFE79 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 939*2^1452871-1 is not prime. Res64: 7E1FF022B3360B96 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 983*2^1452872-1 is not prime. Res64: 0794FA7B3A5A3371 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:24] 633*2^1452872-1 is not prime. Res64: 52A73EA9CF348FE4 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:25] 995*2^1452872-1 is not prime. Res64: 6C20BC5739D6A998 Time : 0.0 sec. user=mdettweiler [2017-04-30 16:58:25] 825*2^1452872-1 is not prime. Res64: 4D99AD56E8D08BEC Time : 0.0 sec. user=juhehe [2017-04-30 17:00:16] 607*2^1452873-1 is not prime. Res64: 65000EBEABF76E6C Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:53] 657*2^1452874-1 is not prime. Res64: 9B612FFA57CC7EC8 Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:53] 663*2^1452874-1 is not prime. Res64: DA8B33DF5485A50D Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:54] 677*2^1452874-1 is not prime. Res64: 671861305106FFBD Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:54] 705*2^1452874-1 is not prime. Res64: F0D48F6E89DBC9ED Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:54] 627*2^1452873-1 is not prime. Res64: 6ED9793EB6AA5966 Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:55] 745*2^1452873-1 is not prime. Res64: 4886C69CC8B9C695 Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:55] 741*2^1452874-1 is not prime. Res64: 9C0EB1258667B29D Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:55] 807*2^1452873-1 is not prime. Res64: C73232DF4BE9A4B2 Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:55] 861*2^1452873-1 is not prime. Res64: 5795F76088BBD4A2 Time : 0.0 sec. user=mdettweiler [2017-04-30 17:42:56] 987*2^1452873-1 is not prime. Res64: 390B4AFC6DC60099 Time : 0.0 sec. user=juhehe [2017-04-30 18:18:03] 783*2^1452874-1 is not prime. Res64: A2539BB6795DDD8C Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:23] 993*2^1452874-1 is not prime. Res64: AFB395FD05AC85E3 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:23] 609*2^1452875-1 is not prime. Res64: 705226460C7A8174 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:24] 669*2^1452876-1 is not prime. Res64: B3FEAB082D071F10 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:24] 693*2^1452875-1 is not prime. Res64: 5C0AA1741C7D5C33 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:24] 675*2^1452876-1 is not prime. Res64: 66CA336860424141 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:24] 623*2^1452876-1 is not prime. Res64: F0420D417D5EEEF2 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:24] 693*2^1452876-1 is not prime. Res64: 3AE2CC2BDF953594 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:25] 647*2^1452876-1 is not prime. Res64: DA132588C3A15BF7 Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:25] 969*2^1452876-1 is not prime. Res64: DF44797E95EC8A1B Time : 0.0 sec. user=mdettweiler [2017-04-30 18:27:25] 625*2^1452877-1 is not prime. Res64: 2AEF16FC6F5D12CF Time : 0.0 sec. user=juhehe [2017-04-30 18:56:53] 639*2^1452877-1 is not prime. Res64: 2C621A021EA0AF43 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:53] 729*2^1452877-1 is not prime. Res64: BDFE09F849D44DA9 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:53] 723*2^1452879-1 is not prime. Res64: 6031DCFBF24D4AA3 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:54] 735*2^1452879-1 is not prime. Res64: 62EB198174B9B2D8 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:54] 771*2^1452877-1 is not prime. Res64: A57AAE0BB1AEF848 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:54] 793*2^1452879-1 is not prime. Res64: E391DB8372C22A66 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:54] 831*2^1452877-1 is not prime. Res64: FBE64946F237A570 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:54] 831*2^1452879-1 is not prime. Res64: 7B5812ED67ACAF66 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:55] 713*2^1452878-1 is not prime. Res64: 9058350F3774F735 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:55] 975*2^1452879-1 is not prime. Res64: DC673E82E8A4DEA5 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:11:55] 619*2^1452879-1 is not prime. Res64: 90C9AE55BE26DC90 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:40] 985*2^1452879-1 is not prime. Res64: 2DA5275C47DF12BB Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:40] 623*2^1452880-1 is not prime. Res64: AE5426FF3388DC19 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:41] 735*2^1452880-1 is not prime. Res64: 41A9537F735B7C02 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:41] 909*2^1452880-1 is not prime. Res64: C2D3B568FC3CCA49 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:41] 929*2^1452880-1 is not prime. Res64: D1E768DD954AE38E Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:44] 989*2^1452880-1 is not prime. Res64: 31892F0F690F5A35 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:44] 999*2^1452880-1 is not prime. Res64: 8AC15C4440A14117 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:45] 601*2^1452881-1 is not prime. Res64: BC302BDCDB16034F Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:45] 649*2^1452881-1 is not prime. Res64: 76176EEDF2AC0EB3 Time : 0.0 sec. user=mdettweiler [2017-04-30 19:56:46] 775*2^1452881-1 is not prime. Res64: 687436F669C14D35 Time : 0.0 sec. user=juhehe [2017-04-30 20:14:26] 865*2^1452881-1 is not prime. Res64: 083063A48E4E8ACF Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:08] 885*2^1452881-1 is not prime. Res64: A53327D9DDD0EE95 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:08] 889*2^1452881-1 is not prime. Res64: 0F1769AAC2894BF0 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:09] 987*2^1452881-1 is not prime. Res64: 0924CB085E366064 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:09] 991*2^1452881-1 is not prime. Res64: 2AB0EF73746229E9 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:10] 671*2^1452882-1 is not prime. Res64: F4337191D7126BA8 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:13] 717*2^1452882-1 is not prime. Res64: 7910A9709C91FED3 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:13] 741*2^1452882-1 is not prime. Res64: 947C2B2BC1312487 Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:14] 807*2^1452882-1 is not prime. Res64: 5B0F1B06B0F6B7FC Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:14] 825*2^1452882-1 is not prime. Res64: D1DC3B3B02A036BA Time : 0.0 sec. user=mdettweiler [2017-04-30 20:41:14] 875*2^1452882-1 is not prime. Res64: 8EEDCA9EBCA6BE33 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:37] 893*2^1452882-1 is not prime. Res64: B1FC14EE987699C4 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:38] 945*2^1452882-1 is not prime. Res64: 53E0DF4ED7EFC5E7 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:38] 977*2^1452882-1 is not prime. Res64: C9EB4DBCFCA2565E Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:39] 619*2^1452883-1 is not prime. Res64: B9D204137B9C1670 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:39] 769*2^1452883-1 is not prime. Res64: 88E44096F3C202E4 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:41] 819*2^1452883-1 is not prime. Res64: E0734B01D12C011D Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:42] 945*2^1452883-1 is not prime. Res64: C64B4BFD46D5E9EA Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:42] 683*2^1452884-1 is not prime. Res64: C6B8CE62282510D8 Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:43] 767*2^1452884-1 is not prime. Res64: 8DF24DC1B92B313A Time : 0.0 sec. user=mdettweiler [2017-04-30 21:25:43] 785*2^1452884-1 is not prime. Res64: 346CA6BA8EB243CC Time : 0.0 sec. user=juhehe [2017-04-30 21:31:52] 837*2^1452884-1 is not prime. Res64: 276940BE1EA89E02 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:07] 843*2^1452884-1 is not prime. Res64: 59E4CA50742B0AE9 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:08] 607*2^1452885-1 is not prime. Res64: A1E6D0DC7C6433AD Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:08] 651*2^1452885-1 is not prime. Res64: 016402741E6DE096 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:09] 669*2^1452885-1 is not prime. Res64: 7AC67CEDE443D723 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:09] 765*2^1452885-1 is not prime. Res64: 615B2D12062CE60F Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:09] 727*2^1452885-1 is not prime. Res64: 48A35B197103F34F Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:10] 889*2^1452885-1 is not prime. Res64: 7BE1C502F54A7FEA Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:10] 895*2^1452885-1 is not prime. Res64: 73B76513C789972B Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:10] 921*2^1452885-1 is not prime. Res64: 6CEE2781B9C3CDE6 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:10:11] 975*2^1452885-1 is not prime. Res64: D083E113409AC78D Time : 0.0 sec. user=juhehe [2017-04-30 22:10:31] 603*2^1452886-1 is not prime. Res64: 6DBC929F1AB5C55F Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:38] 651*2^1452887-1 is not prime. Res64: C0398F619CE421AE Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:38] 703*2^1452887-1 is not prime. Res64: 03A0DA8A88128D7D Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:39] 735*2^1452887-1 is not prime. Res64: 53898B580C1628C7 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:39] 859*2^1452887-1 is not prime. Res64: 87AF077335836489 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:39] 879*2^1452887-1 is not prime. Res64: 6812AE592D89BFCC Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:40] 737*2^1452886-1 is not prime. Res64: 1CB72136D5038BE7 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:41] 813*2^1452886-1 is not prime. Res64: A40E1C52DFBEE6C9 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:41] 917*2^1452886-1 is not prime. Res64: F51942A4F92B7BF3 Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:42] 993*2^1452886-1 is not prime. Res64: 68A481F47C135A3B Time : 0.0 sec. user=mdettweiler [2017-04-30 22:54:42] 621*2^1452887-1 is not prime. Res64: B22456A04781F884 Time : 0.0 sec. user=juhehe [2017-04-30 23:27:49] 883*2^1452887-1 is not prime. Res64: 745D49F9A6BB76F3 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:10] 901*2^1452887-1 is not prime. Res64: 211D2422EFAC2D00 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:10] 909*2^1452887-1 is not prime. Res64: 15FD33A48A788FA4 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:11] 945*2^1452887-1 is not prime. Res64: 25B6CBEF66FBAF66 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:11] 979*2^1452887-1 is not prime. Res64: D30F94F7EF4D3017 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:11] 991*2^1452887-1 is not prime. Res64: 97722BFB24492DE3 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:12] 993*2^1452887-1 is not prime. Res64: 882DF18139AD6C48 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:13] 999*2^1452887-1 is not prime. Res64: 9303340407C6DFFD Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:13] 695*2^1452888-1 is not prime. Res64: 8BFC46866014C878 Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:13] 735*2^1452888-1 is not prime. Res64: A1DEAE57C99B0A2E Time : 0.0 sec. user=mdettweiler [2017-04-30 23:39:14] 737*2^1452888-1 is not prime. Res64: 98FC9B49D9FF867F Time : 0.0 sec.