user=mdettweiler [2016-05-31 00:05:54] 979*2^1430907-1 is not prime. Res64: B89F3CC441C841EB Time : 0.0 sec. user=mdettweiler [2016-05-31 00:05:56] 617*2^1430908-1 is not prime. Res64: B29B20F6A9D42370 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:05:58] 663*2^1430908-1 is not prime. Res64: D4A7AE73C8C87D4C Time : 0.0 sec. user=mdettweiler [2016-05-31 00:05:58] 743*2^1430908-1 is not prime. Res64: 4712BBAF117ABA9F Time : 0.0 sec. user=mdettweiler [2016-05-31 00:05:59] 777*2^1430908-1 is not prime. Res64: 1019772CD2890629 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:22:27] 797*2^1430908-1 is not prime. Res64: 1FF91C2A45925824 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:22:27] 813*2^1430908-1 is not prime. Res64: 1C5BA0E017B2FE21 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:22:28] 855*2^1430908-1 is not prime. Res64: C118446962F0EDCC Time : 0.0 sec. user=mdettweiler [2016-05-31 00:22:28] 927*2^1430908-1 is not prime. Res64: D5AAE11009158737 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:22:29] 993*2^1430908-1 is not prime. Res64: DFECBE95F6D6D645 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:34:51] 615*2^1430909-1 is not prime. Res64: AD26C8214B471418 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:34:51] 621*2^1430909-1 is not prime. Res64: E19E375F8C7EFF0F Time : 0.0 sec. user=mdettweiler [2016-05-31 00:34:52] 685*2^1430909-1 is not prime. Res64: E5ACAE4C1BAC1468 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:34:52] 691*2^1430909-1 is not prime. Res64: CCC76F20F9DB655E Time : 0.0 sec. user=mdettweiler [2016-05-31 00:34:52] 945*2^1430909-1 is not prime. Res64: DA3EE7CDBAC23BB1 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:39:36] 985*2^1430909-1 is not prime. Res64: 6E6122C695655EA3 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:39:36] 707*2^1430910-1 is not prime. Res64: 3049BE55ADE0F4D3 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:39:36] 825*2^1430910-1 is not prime. Res64: 0A005CA7B1B77BE5 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:39:37] 977*2^1430910-1 is not prime. Res64: 95F8F949C0111B26 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:39:37] 615*2^1430911-1 is not prime. Res64: 210A9072A332E6AA Time : 0.0 sec. user=mdettweiler [2016-05-31 00:51:19] 745*2^1430911-1 is not prime. Res64: EE1B8C6A583304A1 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:51:19] 871*2^1430911-1 is not prime. Res64: D8A620B643A4E40B Time : 0.0 sec. user=mdettweiler [2016-05-31 00:51:19] 925*2^1430911-1 is not prime. Res64: D945577160C4EE5C Time : 0.0 sec. user=mdettweiler [2016-05-31 00:51:20] 635*2^1430912-1 is not prime. Res64: 3666546E2596DDF2 Time : 0.0 sec. user=mdettweiler [2016-05-31 00:51:20] 693*2^1430912-1 is not prime. Res64: 57647987D8AE60B3 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:07:45] 909*2^1430912-1 is not prime. Res64: 2A7653B487EAC335 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:07:46] 923*2^1430912-1 is not prime. Res64: FB9206AA34C99D2A Time : 0.0 sec. user=mdettweiler [2016-05-31 01:07:46] 625*2^1430913-1 is not prime. Res64: 4CECAF0719A96C42 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:07:47] 759*2^1430913-1 is not prime. Res64: 17D8EF420E8CBF97 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:07:47] 817*2^1430913-1 is not prime. Res64: 986A0F7CB2B358F4 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:19:55] 871*2^1430913-1 is not prime. Res64: 18779484CCF39338 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:19:55] 889*2^1430913-1 is not prime. Res64: 64809E68C67346ED Time : 0.0 sec. user=mdettweiler [2016-05-31 01:19:56] 895*2^1430913-1 is not prime. Res64: F749FDDF899779BA Time : 0.0 sec. user=mdettweiler [2016-05-31 01:19:56] 901*2^1430913-1 is not prime. Res64: 34DEC8F2C2EACBAB Time : 0.0 sec. user=mdettweiler [2016-05-31 01:19:56] 821*2^1430914-1 is not prime. Res64: 79B352614593C761 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:24:44] 685*2^1430915-1 is not prime. Res64: 39BCD1468B91AB1B Time : 0.0 sec. user=mdettweiler [2016-05-31 01:24:44] 759*2^1430915-1 is not prime. Res64: 7E47894EE8A2D101 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:24:44] 781*2^1430915-1 is not prime. Res64: 352D2654DBB72A28 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:24:45] 853*2^1430915-1 is not prime. Res64: 3DE93E65CF6BDAC2 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:24:45] 859*2^1430915-1 is not prime. Res64: 4DE23E71FF8C94D0 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:36:31] 861*2^1430915-1 is not prime. Res64: DB39B1CB124791BD Time : 0.0 sec. user=mdettweiler [2016-05-31 01:36:31] 609*2^1430916-1 is not prime. Res64: 1A36DA5D2F52ABFE Time : 0.0 sec. user=mdettweiler [2016-05-31 01:36:32] 623*2^1430916-1 is not prime. Res64: 89B2325834BDC332 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:36:32] 627*2^1430916-1 is not prime. Res64: D50B099CF5967C0C Time : 0.0 sec. user=mdettweiler [2016-05-31 01:36:33] 633*2^1430916-1 is not prime. Res64: AE043073FA262F2F Time : 0.0 sec. user=mdettweiler [2016-05-31 01:52:51] 639*2^1430916-1 is not prime. Res64: DBB90EBCA52F73B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:52:52] 705*2^1430916-1 is not prime. Res64: 9C18F9D8D0408AEC Time : 0.0 sec. user=mdettweiler [2016-05-31 01:52:52] 773*2^1430916-1 is not prime. Res64: DCEE02A64FFAC708 Time : 0.0 sec. user=mdettweiler [2016-05-31 01:52:52] 845*2^1430916-1 is not prime. Res64: 2DE286C8E994DD3C Time : 0.0 sec. user=mdettweiler [2016-05-31 01:52:53] 933*2^1430916-1 is not prime. Res64: F2464A1F235D3747 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:05:10] 975*2^1430916-1 is not prime. Res64: 5C0D571F1B83E6D6 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:05:12] 993*2^1430916-1 is not prime. Res64: 11AF2F8942EDF6FC Time : 0.0 sec. user=mdettweiler [2016-05-31 02:05:13] 625*2^1430917-1 is not prime. Res64: 40096C87BDFAC1BC Time : 0.0 sec. user=mdettweiler [2016-05-31 02:05:14] 825*2^1430917-1 is not prime. Res64: B328BE2356AF7F93 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:05:15] 829*2^1430917-1 is not prime. Res64: 077F839C87CEADEB Time : 0.0 sec. user=mdettweiler [2016-05-31 02:10:08] 861*2^1430917-1 is not prime. Res64: 4D9DC6F066BF12B2 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:10:08] 641*2^1430918-1 is not prime. Res64: 4C56EB3961B278FA Time : 0.0 sec. user=mdettweiler [2016-05-31 02:10:09] 797*2^1430918-1 is not prime. Res64: 13DC571FE7CF60A1 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:10:09] 825*2^1430918-1 is not prime. Res64: 93E3D1B7BD2D9F69 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:10:10] 795*2^1430919-1 is not prime. Res64: 32257FDEF355B2C4 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:21:42] 825*2^1430919-1 is not prime. Res64: BF83E874DB35C1E6 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:21:42] 885*2^1430919-1 is not prime. Res64: E388C63D3F6B3032 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:21:43] 609*2^1430920-1 is not prime. Res64: 958573DAAE9FFBB2 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:21:44] 755*2^1430920-1 is not prime. Res64: A03C1A9F5198E45D Time : 0.0 sec. user=mdettweiler [2016-05-31 02:21:44] 759*2^1430920-1 is not prime. Res64: D940431189CAB436 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:38:00] 819*2^1430920-1 is not prime. Res64: 824527DF347E17EC Time : 0.0 sec. user=mdettweiler [2016-05-31 02:38:01] 857*2^1430920-1 is not prime. Res64: 0658FB76E254D27F Time : 0.0 sec. user=mdettweiler [2016-05-31 02:38:01] 905*2^1430920-1 is not prime. Res64: E7C620402FC395C8 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:38:02] 607*2^1430921-1 is not prime. Res64: 9D8920397BA7182A Time : 0.0 sec. user=mdettweiler [2016-05-31 02:38:02] 651*2^1430921-1 is not prime. Res64: 7246554F1CDD78B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:50:40] 727*2^1430921-1 is not prime. Res64: 55EEE79A02569F54 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:50:40] 735*2^1430921-1 is not prime. Res64: D44AE641AAA14F8E Time : 0.0 sec. user=mdettweiler [2016-05-31 02:50:41] 747*2^1430921-1 is not prime. Res64: 31679E0F11AFD4C9 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:50:41] 889*2^1430921-1 is not prime. Res64: 7DC8E5072E9EFE24 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:50:42] 957*2^1430921-1 is not prime. Res64: 0F308C1AB26CCCFA Time : 0.0 sec. user=mdettweiler [2016-05-31 02:55:27] 683*2^1430922-1 is not prime. Res64: E63D7915EB152E64 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:55:28] 711*2^1430922-1 is not prime. Res64: A47E73F0AEB0EDDB Time : 0.0 sec. user=mdettweiler [2016-05-31 02:55:28] 741*2^1430922-1 is not prime. Res64: 97572CCEAF92C629 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:55:28] 791*2^1430922-1 is not prime. Res64: 7ABC838D68833561 Time : 0.0 sec. user=mdettweiler [2016-05-31 02:55:29] 807*2^1430922-1 is not prime. Res64: 8710624447CAF22A Time : 0.0 sec. user=mdettweiler [2016-05-31 03:07:04] 837*2^1430922-1 is not prime. Res64: E0216081FAA35FE6 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:07:07] 921*2^1430922-1 is not prime. Res64: AF379C612FD065FD Time : 0.0 sec. user=mdettweiler [2016-05-31 03:07:09] 691*2^1430923-1 is not prime. Res64: 48B3B87074A24655 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:07:11] 723*2^1430923-1 is not prime. Res64: FBCEA0ADAF705ACC Time : 0.0 sec. user=mdettweiler [2016-05-31 03:07:12] 855*2^1430923-1 is not prime. Res64: 2C0FD13BF8BFD138 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:24:18] 973*2^1430923-1 is not prime. Res64: F78C708B7D3E2ECD Time : 0.0 sec. user=mdettweiler [2016-05-31 03:24:18] 635*2^1430924-1 is not prime. Res64: 5209896334726D51 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:24:19] 659*2^1430924-1 is not prime. Res64: 36EC6DA7B061E362 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:24:19] 755*2^1430924-1 is not prime. Res64: 66CB81F3AF6BB133 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:24:19] 827*2^1430924-1 is not prime. Res64: 16EF05B0BA86E47E Time : 0.0 sec. user=mdettweiler [2016-05-31 03:37:32] 915*2^1430924-1 is not prime. Res64: 4047D376610BAAF5 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:37:33] 935*2^1430924-1 is not prime. Res64: 12BC0759CD72EE57 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:37:34] 717*2^1430925-1 is not prime. Res64: 8BF97EB2F0A2F1A9 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:37:34] 849*2^1430925-1 is not prime. Res64: 9BE94BE60D38510D Time : 0.0 sec. user=mdettweiler [2016-05-31 03:37:35] 997*2^1430925-1 is not prime. Res64: A0E51CE32BC6D5E9 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:42:42] 617*2^1430926-1 is not prime. Res64: 5B58397997A656FE Time : 0.0 sec. user=mdettweiler [2016-05-31 03:42:43] 623*2^1430926-1 is not prime. Res64: 61A5E6D386888768 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:42:44] 713*2^1430926-1 is not prime. Res64: 1F101EA786E18C47 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:42:44] 717*2^1430926-1 is not prime. Res64: 3AD3EB22E1B048CB Time : 0.0 sec. user=mdettweiler [2016-05-31 03:42:45] 737*2^1430926-1 is not prime. Res64: 938BE836846482BE Time : 0.0 sec. user=mdettweiler [2016-05-31 03:54:16] 741*2^1430926-1 is not prime. Res64: 2382B11F737308BA Time : 0.0 sec. user=mdettweiler [2016-05-31 03:54:17] 785*2^1430926-1 is not prime. Res64: E3BE08BBFE78EB0B Time : 0.0 sec. user=mdettweiler [2016-05-31 03:54:17] 801*2^1430926-1 is not prime. Res64: 284D0285865A60DB Time : 0.0 sec. user=mdettweiler [2016-05-31 03:54:17] 833*2^1430926-1 is not prime. Res64: E69D4E1603C6D5B5 Time : 0.0 sec. user=mdettweiler [2016-05-31 03:54:18] 843*2^1430926-1 is not prime. Res64: 1D6445C8B41D03B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:10:05] 881*2^1430926-1 is not prime. Res64: CA41DBFF94511FA2 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:10:06] 965*2^1430926-1 is not prime. Res64: B7C93E07D9681D4E Time : 0.0 sec. user=mdettweiler [2016-05-31 04:10:06] 609*2^1430927-1 is not prime. Res64: 6E7793AFF0DF5ABA Time : 0.0 sec. user=mdettweiler [2016-05-31 04:10:06] 655*2^1430927-1 is not prime. Res64: 6465316E2322AEAF Time : 0.0 sec. user=mdettweiler [2016-05-31 04:10:07] 673*2^1430927-1 is not prime. Res64: 28BE95C97A4BD1C3 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:23:01] 703*2^1430927-1 is not prime. Res64: 1F7DF1D53B6CEEA4 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:23:01] 711*2^1430927-1 is not prime. Res64: 195C013B97FB95C8 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:23:01] 729*2^1430927-1 is not prime. Res64: DA078B1D66134A85 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:23:02] 909*2^1430927-1 is not prime. Res64: 023789BFA82EED36 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:23:02] 915*2^1430927-1 is not prime. Res64: 08B6AEAFA38E86F7 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:28:06] 979*2^1430927-1 is not prime. Res64: 3A4A2BADE9EFD41A Time : 0.0 sec. user=mdettweiler [2016-05-31 04:28:06] 633*2^1430928-1 is not prime. Res64: 1EBA4129AC456A20 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:28:07] 695*2^1430928-1 is not prime. Res64: D61202BF88080C42 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:28:07] 713*2^1430928-1 is not prime. Res64: 7F22732B5BE16455 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:28:07] 767*2^1430928-1 is not prime. Res64: 2A5951460896BB36 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:39:36] 893*2^1430928-1 is not prime. Res64: 2ECC8C8949E284FF Time : 0.0 sec. user=mdettweiler [2016-05-31 04:39:36] 775*2^1430929-1 is not prime. Res64: 2373CBD74404E457 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:39:37] 807*2^1430929-1 is not prime. Res64: E1F38ECDBB7F440C Time : 0.0 sec. user=mdettweiler [2016-05-31 04:39:37] 861*2^1430929-1 is not prime. Res64: 008497514233D7B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:39:37] 671*2^1430930-1 is not prime. Res64: 044B2E25BACC60AF Time : 0.0 sec. user=mdettweiler [2016-05-31 04:55:20] 677*2^1430930-1 is not prime. Res64: C4A1F3159C5D39EA Time : 0.0 sec. user=mdettweiler [2016-05-31 04:55:20] 797*2^1430930-1 is not prime. Res64: 020CB5F1C4BB4E29 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:55:21] 801*2^1430930-1 is not prime. Res64: 122D60628CB66AE3 Time : 0.0 sec. user=mdettweiler [2016-05-31 04:55:21] 867*2^1430930-1 is not prime. Res64: 2384C6055BB439DF Time : 0.0 sec. user=mdettweiler [2016-05-31 04:55:21] 887*2^1430930-1 is not prime. Res64: D645316B7A764A4E Time : 0.0 sec. user=mdettweiler [2016-05-31 05:08:16] 941*2^1430930-1 is not prime. Res64: 30F5290E28AA9CB4 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:08:17] 977*2^1430930-1 is not prime. Res64: 9F8E377C2BF75666 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:08:17] 613*2^1430931-1 is not prime. Res64: BB8DFDE6A52235DA Time : 0.0 sec. user=mdettweiler [2016-05-31 05:08:18] 669*2^1430931-1 is not prime. Res64: 227C3EE7128BBF90 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:08:18] 685*2^1430931-1 is not prime. Res64: 51BDBF7E9A6A945C Time : 0.0 sec. user=mdettweiler [2016-05-31 05:13:18] 783*2^1430931-1 is not prime. Res64: 6F9D1BCD2DAB4007 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:13:19] 805*2^1430931-1 is not prime. Res64: CBBBF07318C1DD17 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:13:19] 901*2^1430931-1 is not prime. Res64: 1A602E375C3EC261 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:13:20] 909*2^1430931-1 is not prime. Res64: ECAD2322079C9096 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:13:20] 973*2^1430931-1 is not prime. Res64: D54A6CC458F5BCE4 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:24:48] 999*2^1430931-1 is not prime. Res64: 6BA96525EEFA9281 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:24:49] 609*2^1430932-1 is not prime. Res64: 6ADA7E4687F59A71 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:24:49] 615*2^1430932-1 is not prime. Res64: 5F650CF4CFE15D54 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:24:49] 623*2^1430932-1 is not prime. Res64: FF12461681F2CC72 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:24:50] 765*2^1430932-1 is not prime. Res64: C007F2957DAD70BC Time : 0.0 sec. user=mdettweiler [2016-05-31 05:40:24] 777*2^1430932-1 is not prime. Res64: 1EEBA140A08309D1 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:40:24] 797*2^1430932-1 is not prime. Res64: 64A82A58B12AF785 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:40:25] 827*2^1430932-1 is not prime. Res64: 54AB94F1D18FC0F1 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:40:25] 875*2^1430932-1 is not prime. Res64: C3F8F682DDF6B1F3 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:40:26] 957*2^1430932-1 is not prime. Res64: C90A7E039EF13BF2 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:53:24] 669*2^1430933-1 is not prime. Res64: 6BB5557EF1AD453B Time : 0.0 sec. user=mdettweiler [2016-05-31 05:53:25] 735*2^1430933-1 is not prime. Res64: 3A0EDC60DEE5117B Time : 0.0 sec. user=mdettweiler [2016-05-31 05:53:25] 747*2^1430933-1 is not prime. Res64: 6EE7578F9DC51AD1 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:53:26] 757*2^1430933-1 is not prime. Res64: 96BAF4FBB9CA902E Time : 0.0 sec. user=mdettweiler [2016-05-31 05:53:26] 775*2^1430933-1 is not prime. Res64: F77FAACEABB1D912 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:58:14] 811*2^1430933-1 is not prime. Res64: FFC067512C2F7AC3 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:58:14] 847*2^1430933-1 is not prime. Res64: FA7D0EC05B1FAC4E Time : 0.0 sec. user=mdettweiler [2016-05-31 05:58:15] 605*2^1430934-1 is not prime. Res64: 0AF74E0010EE06CE Time : 0.0 sec. user=mdettweiler [2016-05-31 05:58:15] 611*2^1430934-1 is not prime. Res64: 5FB2367808EAB8E6 Time : 0.0 sec. user=mdettweiler [2016-05-31 05:58:15] 707*2^1430934-1 is not prime. Res64: E2A080AB9A7DCCB4 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:09:52] 723*2^1430934-1 is not prime. Res64: A032FADA6D95EC14 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:09:53] 725*2^1430934-1 is not prime. Res64: C8C1444047007826 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:09:54] 783*2^1430934-1 is not prime. Res64: 158AD03857760A34 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:09:55] 851*2^1430934-1 is not prime. Res64: 380B3C001158083A Time : 0.0 sec. user=mdettweiler [2016-05-31 06:09:56] 927*2^1430934-1 is not prime. Res64: DE509375D5AAEF8D Time : 0.0 sec. user=mdettweiler [2016-05-31 06:25:24] 975*2^1430934-1 is not prime. Res64: 3C8F41841CCB61D0 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:25:24] 693*2^1430935-1 is not prime. Res64: 11F04BB8B7D2AEB0 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:25:25] 785*2^1430936-1 is not prime. Res64: EB67E8DF02C33EF1 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:25:25] 813*2^1430936-1 is not prime. Res64: 1BDDBD300C4DB68E Time : 0.0 sec. user=mdettweiler [2016-05-31 06:25:25] 873*2^1430936-1 is not prime. Res64: A325575B6AB02655 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:38:24] 879*2^1430936-1 is not prime. Res64: 38266AAF16754826 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:38:24] 917*2^1430936-1 is not prime. Res64: 124004BB33BEADF1 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:38:25] 923*2^1430936-1 is not prime. Res64: 6408E0893736C91E Time : 0.0 sec. user=mdettweiler [2016-05-31 06:38:25] 969*2^1430936-1 is not prime. Res64: 51928D3AC73DDA51 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:38:25] 983*2^1430936-1 is not prime. Res64: C9AEC1DFC4FFB029 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:43:18] 993*2^1430936-1 is not prime. Res64: 91404A728832A98F Time : 0.0 sec. user=mdettweiler [2016-05-31 06:43:19] 681*2^1430937-1 is not prime. Res64: A583945D680DFB20 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:43:19] 727*2^1430937-1 is not prime. Res64: 45809291C6BB1E82 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:43:19] 781*2^1430937-1 is not prime. Res64: B4A606EA2FB4EABB Time : 0.0 sec. user=mdettweiler [2016-05-31 06:43:20] 901*2^1430937-1 is not prime. Res64: 225446E23F073760 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:54:51] 937*2^1430937-1 is not prime. Res64: 18D3EAE4F5C35984 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:54:52] 713*2^1430938-1 is not prime. Res64: F619B8B9474207FC Time : 0.0 sec. user=mdettweiler [2016-05-31 06:54:52] 755*2^1430938-1 is not prime. Res64: C4A4A109823B302C Time : 0.0 sec. user=mdettweiler [2016-05-31 06:54:52] 765*2^1430938-1 is not prime. Res64: 62D7F9E2B13E01E9 Time : 0.0 sec. user=mdettweiler [2016-05-31 06:54:53] 825*2^1430938-1 is not prime. Res64: 7862018666E2BB84 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:10:10] 857*2^1430938-1 is not prime. Res64: E01DAA9B3C44D988 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:10:11] 951*2^1430938-1 is not prime. Res64: 9074D4225C4E94BD Time : 0.0 sec. user=mdettweiler [2016-05-31 07:10:11] 745*2^1430939-1 is not prime. Res64: E7F0164A1E8EB810 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:10:12] 801*2^1430939-1 is not prime. Res64: 78CD4DD25A8062D0 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:10:12] 825*2^1430939-1 is not prime. Res64: 2C67C39871E3C6FA Time : 0.0 sec. user=mdettweiler [2016-05-31 07:23:16] 949*2^1430939-1 is not prime. Res64: 71D602FA4AFD27C9 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:23:16] 969*2^1430939-1 is not prime. Res64: B94BD1EC9741B76A Time : 0.0 sec. user=mdettweiler [2016-05-31 07:23:17] 665*2^1430940-1 is not prime. Res64: B26A80FAE03D9CD4 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:23:17] 723*2^1430940-1 is not prime. Res64: C67F9A5989537B35 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:23:17] 753*2^1430940-1 is not prime. Res64: BB08266206ACB301 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:28:05] 765*2^1430940-1 is not prime. Res64: B4844B61AD3261CD Time : 0.0 sec. user=mdettweiler [2016-05-31 07:28:05] 803*2^1430940-1 is not prime. Res64: 86B77D55F6BB237C Time : 0.0 sec. user=mdettweiler [2016-05-31 07:28:06] 809*2^1430940-1 is not prime. Res64: 8EA12D472C1CA88C Time : 0.0 sec. user=mdettweiler [2016-05-31 07:28:06] 857*2^1430940-1 is not prime. Res64: 9C9EFB95C9617EC7 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:28:06] 863*2^1430940-1 is not prime. Res64: 1D85527D2F943E3B Time : 0.0 sec. user=mdettweiler [2016-05-31 07:39:50] 909*2^1430940-1 is not prime. Res64: F38E783AEC5D3F6E Time : 0.0 sec. user=mdettweiler [2016-05-31 07:39:50] 945*2^1430940-1 is not prime. Res64: 171342D1AC69CCBB Time : 0.0 sec. user=mdettweiler [2016-05-31 07:39:51] 965*2^1430940-1 is not prime. Res64: 60979EE1DAE1618E Time : 0.0 sec. user=mdettweiler [2016-05-31 07:39:53] 601*2^1430941-1 is not prime. Res64: 10B647B741BEF8EB Time : 0.0 sec. user=mdettweiler [2016-05-31 07:39:53] 645*2^1430941-1 is not prime. Res64: 594FF5730C1ABA37 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:55:16] 687*2^1430941-1 is not prime. Res64: 2D83D6E4DF2B51C1 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:55:17] 717*2^1430941-1 is not prime. Res64: 068E41E0F70F4C2C Time : 0.0 sec. user=mdettweiler [2016-05-31 07:55:17] 855*2^1430941-1 is not prime. Res64: 42DBFD3E9B386035 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:55:17] 871*2^1430941-1 is not prime. Res64: DC20629D94CBBFB9 Time : 0.0 sec. user=mdettweiler [2016-05-31 07:55:18] 945*2^1430941-1 is not prime. Res64: 04D8D44A97CC3F77 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:08:16] 999*2^1430941-1 is not prime. Res64: B0EE68402D61E1C1 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:08:17] 711*2^1430942-1 is not prime. Res64: AC37A234857D5331 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:08:17] 827*2^1430942-1 is not prime. Res64: 090F2FF98B235C55 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:08:18] 885*2^1430942-1 is not prime. Res64: AF1B7AAD2BD2BE5C Time : 0.0 sec. user=mdettweiler [2016-05-31 08:08:18] 977*2^1430942-1 is not prime. Res64: 11AF4B3D5040B0EC Time : 0.0 sec. user=mdettweiler [2016-05-31 08:13:06] 625*2^1430943-1 is not prime. Res64: A6160F43B565E44B Time : 0.0 sec. user=mdettweiler [2016-05-31 08:13:07] 829*2^1430943-1 is not prime. Res64: C20BACEA7E18C44C Time : 0.0 sec. user=mdettweiler [2016-05-31 08:13:07] 849*2^1430943-1 is not prime. Res64: AD6923E2CCF10DD1 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:13:07] 873*2^1430943-1 is not prime. Res64: 3D505D0AF07B5BB3 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:13:08] 885*2^1430943-1 is not prime. Res64: EC8F4D9619CE11B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:24:53] 891*2^1430943-1 is not prime. Res64: 6332324F8123F94C Time : 0.0 sec. user=mdettweiler [2016-05-31 08:24:54] 895*2^1430943-1 is not prime. Res64: 970DED9FCC5BA3C3 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:24:54] 945*2^1430943-1 is not prime. Res64: 1F039CF62AD27D98 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:24:54] 623*2^1430944-1 is not prime. Res64: 478BF59BB085329D Time : 0.0 sec. user=mdettweiler [2016-05-31 08:24:55] 899*2^1430944-1 is not prime. Res64: 75B60825C4925A95 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:40:10] 909*2^1430944-1 is not prime. Res64: 8518E08C1354CAC1 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:40:10] 915*2^1430944-1 is not prime. Res64: F15C746FB5A2E4A3 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:40:10] 927*2^1430944-1 is not prime. Res64: 4AB04C9C0A40B24F Time : 0.0 sec. user=mdettweiler [2016-05-31 08:40:11] 975*2^1430944-1 is not prime. Res64: 7CC04DB85849159F Time : 0.0 sec. user=mdettweiler [2016-05-31 08:40:11] 789*2^1430945-1 is not prime. Res64: CCC9942F38BC1B43 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:53:31] 795*2^1430945-1 is not prime. Res64: 8E8F5796391610CC Time : 0.0 sec. user=mdettweiler [2016-05-31 08:53:31] 865*2^1430945-1 is not prime. Res64: 3016992FEBA50180 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:53:32] 969*2^1430945-1 is not prime. Res64: 03EB1FCC44E5BB72 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:53:32] 695*2^1430946-1 is not prime. Res64: A4715C26789878AD Time : 0.0 sec. user=mdettweiler [2016-05-31 08:53:32] 735*2^1430946-1 is not prime. Res64: FAFF223D5C0A37F3 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:59:07] 777*2^1430946-1 is not prime. Res64: 40C5CFD2565992BB Time : 0.0 sec. user=mdettweiler [2016-05-31 08:59:07] 851*2^1430946-1 is not prime. Res64: 5E6813C81B6DF60A Time : 0.0 sec. user=mdettweiler [2016-05-31 08:59:07] 881*2^1430946-1 is not prime. Res64: 7A89C674E67A5DCF Time : 0.0 sec. user=mdettweiler [2016-05-31 08:59:08] 905*2^1430946-1 is not prime. Res64: 22CEE1DF98796018 Time : 0.0 sec. user=mdettweiler [2016-05-31 08:59:08] 945*2^1430946-1 is not prime. Res64: E8D0A916E38C725D Time : 0.0 sec. user=mdettweiler [2016-05-31 09:11:13] 963*2^1430946-1 is not prime. Res64: D64A969BA211D3FB Time : 0.0 sec. user=mdettweiler [2016-05-31 09:11:14] 625*2^1430947-1 is not prime. Res64: DB5ADCDDD89D8462 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:11:14] 631*2^1430947-1 is not prime. Res64: 3F5F8E78B3A53E60 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:11:15] 645*2^1430947-1 is not prime. Res64: 887D046E049433D7 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:11:15] 703*2^1430947-1 is not prime. Res64: 22A29DA05AEC9BDF Time : 0.0 sec. user=mdettweiler [2016-05-31 09:26:32] 765*2^1430947-1 is not prime. Res64: 79F734CBB3B41E00 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:26:32] 775*2^1430947-1 is not prime. Res64: 29416BC5605FF5DF Time : 0.0 sec. user=mdettweiler [2016-05-31 09:26:32] 843*2^1430947-1 is not prime. Res64: 921F5274642C17E6 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:26:33] 861*2^1430947-1 is not prime. Res64: F02046ABB23BB08F Time : 0.0 sec. user=mdettweiler [2016-05-31 09:26:33] 919*2^1430947-1 is not prime. Res64: BC21398F8ADF379D Time : 0.0 sec. user=mdettweiler [2016-05-31 09:39:20] 973*2^1430947-1 is not prime. Res64: BD343473D7F9E84D Time : 0.0 sec. user=mdettweiler [2016-05-31 09:39:21] 985*2^1430947-1 is not prime. Res64: 94A78738679A652C Time : 0.0 sec. user=mdettweiler [2016-05-31 09:39:21] 833*2^1430948-1 is not prime. Res64: 3824E2228CDCEFFD Time : 0.0 sec. user=mdettweiler [2016-05-31 09:39:22] 869*2^1430948-1 is not prime. Res64: 9F86AB6098F791F0 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:39:22] 935*2^1430948-1 is not prime. Res64: BEBDC410B12F7261 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:44:34] 609*2^1430949-1 is not prime. Res64: DEB52A8B91280CEE Time : 0.0 sec. user=mdettweiler [2016-05-31 09:44:35] 709*2^1430949-1 is not prime. Res64: F086192C1BE43DEF Time : 0.0 sec. user=mdettweiler [2016-05-31 09:44:35] 711*2^1430949-1 is not prime. Res64: 0CD4ED2D55C24900 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:44:36] 741*2^1430949-1 is not prime. Res64: CD40C7F62A60F514 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:44:36] 835*2^1430949-1 is not prime. Res64: 778CBA012E2F8090 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:56:29] 895*2^1430949-1 is not prime. Res64: 89BB0D32B4C9E074 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:56:29] 919*2^1430949-1 is not prime. Res64: 72BC7D1839470C18 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:56:29] 975*2^1430949-1 is not prime. Res64: 6CDF58D1D2CBFF9D Time : 0.0 sec. user=mdettweiler [2016-05-31 09:56:30] 987*2^1430949-1 is not prime. Res64: 591694F9768AC662 Time : 0.0 sec. user=mdettweiler [2016-05-31 09:56:30] 647*2^1430950-1 is not prime. Res64: 71B899406C1B3ECF Time : 0.0 sec. user=mdettweiler [2016-05-31 10:11:29] 761*2^1430950-1 is not prime. Res64: 8E931FC21BBFC4AF Time : 0.0 sec. user=mdettweiler [2016-05-31 10:11:29] 855*2^1430950-1 is not prime. Res64: 435B93CC051D3368 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:11:30] 669*2^1430951-1 is not prime. Res64: 63EA3D5036D14A9C Time : 0.0 sec. user=mdettweiler [2016-05-31 10:11:30] 715*2^1430951-1 is not prime. Res64: 42F3A0371E260D6B Time : 0.0 sec. user=mdettweiler [2016-05-31 10:11:30] 813*2^1430951-1 is not prime. Res64: D8042E2B7481843B Time : 0.0 sec. user=mdettweiler [2016-05-31 10:24:39] 843*2^1430951-1 is not prime. Res64: 99CE8F77D87A1C7C Time : 0.0 sec. user=mdettweiler [2016-05-31 10:24:39] 909*2^1430951-1 is not prime. Res64: 5126D02C29C66434 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:24:39] 713*2^1430952-1 is not prime. Res64: ABAC465C317B970F Time : 0.0 sec. user=mdettweiler [2016-05-31 10:24:40] 767*2^1430952-1 is not prime. Res64: 7C21781CDF6D33BC Time : 0.0 sec. user=mdettweiler [2016-05-31 10:24:40] 797*2^1430952-1 is not prime. Res64: 1C400BC4E3B0482E Time : 0.0 sec. user=mdettweiler [2016-05-31 10:29:38] 819*2^1430952-1 is not prime. Res64: C7FE9167EF00C744 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:29:38] 873*2^1430952-1 is not prime. Res64: BE39F80DE19BC68E Time : 0.0 sec. user=mdettweiler [2016-05-31 10:29:38] 933*2^1430952-1 is not prime. Res64: 2D974E0E265E35A6 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:29:39] 675*2^1430953-1 is not prime. Res64: 5116A0AB541D9B10 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:29:39] 721*2^1430953-1 is not prime. Res64: DE6072FE10414577 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:41:33] 805*2^1430953-1 is not prime. Res64: FE4B24B6354B6686 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:41:33] 835*2^1430953-1 is not prime. Res64: 6037D5CC388A13EF Time : 0.0 sec. user=mdettweiler [2016-05-31 10:41:34] 945*2^1430953-1 is not prime. Res64: 740A30536E5AF319 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:41:34] 623*2^1430954-1 is not prime. Res64: CA1701D9C2B823D4 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:41:34] 641*2^1430954-1 is not prime. Res64: B33C21822ABA5FAB Time : 0.0 sec. user=mdettweiler [2016-05-31 10:56:33] 707*2^1430954-1 is not prime. Res64: 6E9430763AC885CA Time : 0.0 sec. user=mdettweiler [2016-05-31 10:56:33] 747*2^1430954-1 is not prime. Res64: 5AA50A632B7AB122 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:56:34] 785*2^1430954-1 is not prime. Res64: 42B3F85EEDA1E7D4 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:56:34] 797*2^1430954-1 is not prime. Res64: 65BF0C68ECD1B7F3 Time : 0.0 sec. user=mdettweiler [2016-05-31 10:56:34] 831*2^1430954-1 is not prime. Res64: 7E720E962AD1368F Time : 0.0 sec. user=mdettweiler [2016-05-31 11:09:34] 875*2^1430954-1 is not prime. Res64: 8D8DD851881218D6 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:09:35] 1001*2^1430954-1 is not prime. Res64: 1FF2A20554EBCAFD Time : 0.0 sec. user=mdettweiler [2016-05-31 11:09:35] 601*2^1430955-1 is not prime. Res64: 820550859349E594 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:09:36] 609*2^1430955-1 is not prime. Res64: 7C92EEFC8CCBF530 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:09:36] 639*2^1430955-1 is not prime. Res64: 7F844F5984766CB4 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:14:37] 643*2^1430955-1 is not prime. Res64: 36FF216334F18BAD Time : 0.0 sec. user=mdettweiler [2016-05-31 11:14:38] 751*2^1430955-1 is not prime. Res64: 5829CAB01DD30741 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:14:38] 795*2^1430955-1 is not prime. Res64: D91BB9C7CC8B195E Time : 0.0 sec. user=mdettweiler [2016-05-31 11:14:39] 819*2^1430955-1 is not prime. Res64: 9DE169FE93221EF4 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:14:39] 859*2^1430955-1 is not prime. Res64: 2EF0F657843CC16D Time : 0.0 sec. user=mdettweiler [2016-05-31 11:26:24] 943*2^1430955-1 is not prime. Res64: 5E495F4F8EC57C09 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:26:25] 615*2^1430956-1 is not prime. Res64: 96D8A7624AC15EF6 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:26:25] 833*2^1430956-1 is not prime. Res64: BF91E981E04525D2 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:26:25] 953*2^1430956-1 is not prime. Res64: D7519F24DB050325 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:26:26] 965*2^1430956-1 is not prime. Res64: 26A12E7BD291C4C2 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:41:44] 631*2^1430957-1 is not prime. Res64: AEDB817DC1D3CEF3 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:41:44] 727*2^1430957-1 is not prime. Res64: 07AD140D3358B7B6 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:41:44] 729*2^1430957-1 is not prime. Res64: 8EB9C4DA2C58C80B Time : 0.0 sec. user=mdettweiler [2016-05-31 11:41:45] 795*2^1430957-1 is not prime. Res64: 822F6AD372241827 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:41:45] 847*2^1430957-1 is not prime. Res64: F84927B294EAC856 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:54:37] 861*2^1430957-1 is not prime. Res64: 7ADC2371B9CFB532 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:54:37] 867*2^1430957-1 is not prime. Res64: 2AF21278F1CC953F Time : 0.0 sec. user=mdettweiler [2016-05-31 11:54:38] 915*2^1430957-1 is not prime. Res64: 9A5DB905408CA60C Time : 0.0 sec. user=mdettweiler [2016-05-31 11:54:38] 651*2^1430958-1 is not prime. Res64: 4A5C793591AB16AB Time : 0.0 sec. user=mdettweiler [2016-05-31 11:54:38] 657*2^1430958-1 is not prime. Res64: 8F2580497298A83A Time : 0.0 sec. user=mdettweiler [2016-05-31 11:59:55] 683*2^1430958-1 is not prime. Res64: 92D7BFFD3E9CB03E Time : 0.0 sec. user=mdettweiler [2016-05-31 11:59:56] 893*2^1430958-1 is not prime. Res64: CAC438E4E5571054 Time : 0.0 sec. user=mdettweiler [2016-05-31 11:59:56] 963*2^1430958-1 is not prime. Res64: AF125F76807BE67C Time : 0.0 sec. user=mdettweiler [2016-05-31 11:59:56] 645*2^1430959-1 is not prime. Res64: 51CBDA6DD33DEE7A Time : 0.0 sec. user=mdettweiler [2016-05-31 11:59:57] 723*2^1430959-1 is not prime. Res64: E6736B578DC20606 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:11:30] 769*2^1430959-1 is not prime. Res64: 2FB5EDCD3B88D227 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:11:30] 913*2^1430959-1 is not prime. Res64: CB5B561CFB23B06A Time : 0.0 sec. user=mdettweiler [2016-05-31 12:11:31] 933*2^1430959-1 is not prime. Res64: E0BC3C7893E453F6 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:11:31] 951*2^1430959-1 is not prime. Res64: F73DA1A770673D21 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:11:32] 635*2^1430960-1 is not prime. Res64: 0C7F122D8085E70C Time : 0.0 sec. user=mdettweiler [2016-05-31 12:26:38] 659*2^1430960-1 is not prime. Res64: 2D170D0B02EBA72B Time : 0.0 sec. user=mdettweiler [2016-05-31 12:26:38] 663*2^1430960-1 is not prime. Res64: 7CF36B084D05D2E6 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:26:39] 687*2^1430960-1 is not prime. Res64: 398B88178A5229A3 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:26:39] 789*2^1430960-1 is not prime. Res64: 56D017582ADA60EA Time : 0.0 sec. user=mdettweiler [2016-05-31 12:26:40] 825*2^1430960-1 is not prime. Res64: 115CD512B9AABE74 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:39:34] 875*2^1430960-1 is not prime. Res64: F75B7AE4FA7DB05E Time : 0.0 sec. user=mdettweiler [2016-05-31 12:39:34] 893*2^1430960-1 is not prime. Res64: A0AADE5256E5A1D1 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:39:34] 927*2^1430960-1 is not prime. Res64: 973E69EBF93B5715 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:39:35] 959*2^1430960-1 is not prime. Res64: 1F78E496F4104C6E Time : 0.0 sec. user=mdettweiler [2016-05-31 12:39:35] 649*2^1430961-1 is not prime. Res64: 5FBB231C0FFB38E7 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:44:51] 717*2^1430961-1 is not prime. Res64: 2DF57F18DF246B77 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:44:52] 865*2^1430961-1 is not prime. Res64: 8637B5773C5D12E4 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:44:52] 867*2^1430961-1 is not prime. Res64: 85B089CEB18DAEB2 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:44:52] 877*2^1430961-1 is not prime. Res64: FC4744356B8B4FFE Time : 0.0 sec. user=mdettweiler [2016-05-31 12:44:53] 999*2^1430961-1 is not prime. Res64: E038D63FEB0B37C1 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:56:56] 665*2^1430962-1 is not prime. Res64: C731CC310F42887D Time : 0.0 sec. user=mdettweiler [2016-05-31 12:56:57] 911*2^1430962-1 is not prime. Res64: 3084BDFDB87D20C0 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:56:57] 945*2^1430962-1 is not prime. Res64: AD257439089B0DE5 Time : 0.0 sec. user=mdettweiler [2016-05-31 12:56:57] 983*2^1430962-1 is not prime. Res64: 5CDF8922904EA99D Time : 0.0 sec. user=mdettweiler [2016-05-31 12:56:58] 633*2^1430963-1 is not prime. Res64: 20A86DE8F6D4D61B Time : 0.0 sec. user=mdettweiler [2016-05-31 13:11:30] 669*2^1430963-1 is not prime. Res64: E38632C2B475214E Time : 0.0 sec. user=mdettweiler [2016-05-31 13:11:31] 675*2^1430963-1 is not prime. Res64: 2FF54EE110131F3F Time : 0.0 sec. user=mdettweiler [2016-05-31 13:11:31] 741*2^1430963-1 is not prime. Res64: 0F59AD982C1F421E Time : 0.0 sec. user=mdettweiler [2016-05-31 13:11:32] 753*2^1430963-1 is not prime. Res64: 433BA038E2378FDB Time : 0.0 sec. user=mdettweiler [2016-05-31 13:11:32] 825*2^1430963-1 is not prime. Res64: 27D496AEC5687C47 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:24:32] 939*2^1430963-1 is not prime. Res64: A48D9226E4EE49F8 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:24:33] 981*2^1430963-1 is not prime. Res64: 65BF991597785B24 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:24:33] 693*2^1430964-1 is not prime. Res64: 673C50D2520A2D84 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:24:34] 695*2^1430964-1 is not prime. Res64: E594133AEB24A505 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:24:34] 737*2^1430964-1 is not prime. Res64: 822C39815A344D86 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:29:48] 767*2^1430964-1 is not prime. Res64: D3B7290EAD5D5B07 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:29:48] 773*2^1430964-1 is not prime. Res64: D4D5AC827D4CB9FA Time : 0.0 sec. user=mdettweiler [2016-05-31 13:29:49] 923*2^1430964-1 is not prime. Res64: 3FDD4F64FFCAD220 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:29:49] 929*2^1430964-1 is not prime. Res64: 5D719DE0FD1A5246 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:29:49] 601*2^1430965-1 is not prime. Res64: C703DF77F2404CD1 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:08] 615*2^1430968-1 is not prime. Res64: A94700989F8829FF Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:54] 661*2^1430965-1 is not prime. Res64: 83FFF169C90AE9E9 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:54] 729*2^1430965-1 is not prime. Res64: A783DA206E1D4BE4 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:55] 777*2^1430965-1 is not prime. Res64: A177CB57BF4AB6F7 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:55] 855*2^1430965-1 is not prime. Res64: B77327522FF9C135 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:41:55] 861*2^1430965-1 is not prime. Res64: 7E0CBFC2AFC12B7E Time : 0.0 sec. user=mdettweiler [2016-05-31 13:42:10] 629*2^1430968-1 is not prime. Res64: F5C5BB8ED9B80930 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:56:35] 867*2^1430965-1 is not prime. Res64: F80CCE4F790EA3E8 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:56:35] 885*2^1430965-1 is not prime. Res64: 9313B06B5C6D7F0E Time : 0.0 sec. user=mdettweiler [2016-05-31 13:56:36] 937*2^1430965-1 is not prime. Res64: A1A4BEEACE0206EB Time : 0.0 sec. user=mdettweiler [2016-05-31 13:56:36] 635*2^1430966-1 is not prime. Res64: 0AE9182C372739C8 Time : 0.0 sec. user=mdettweiler [2016-05-31 13:56:36] 707*2^1430966-1 is not prime. Res64: AE921BBB5773AC7E Time : 0.0 sec. user=mdettweiler [2016-05-31 14:09:35] 741*2^1430966-1 is not prime. Res64: A67CAAA39E2B4FFA Time : 0.0 sec. user=mdettweiler [2016-05-31 14:09:35] 843*2^1430966-1 is not prime. Res64: B7A3646D123E3A7E Time : 0.0 sec. user=mdettweiler [2016-05-31 14:09:36] 857*2^1430966-1 is not prime. Res64: 058C57B1434F58D4 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:09:36] 935*2^1430966-1 is not prime. Res64: 44B6CE443184D871 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:09:36] 957*2^1430966-1 is not prime. Res64: A74AA5D898343243 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:28:20] 777*2^1430968-1 is not prime. Res64: 24EFA8698C59430F Time : 0.0 sec. user=mdettweiler [2016-05-31 14:28:20] 839*2^1430968-1 is not prime. Res64: 4C8A9A93A1ABA282 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:28:21] 615*2^1430969-1 is not prime. Res64: 19ACC2E411432B44 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:28:21] 619*2^1430969-1 is not prime. Res64: B86135B60FBD5845 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:28:21] 697*2^1430969-1 is not prime. Res64: 084F5337F2B257C5 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:45:52] 745*2^1430969-1 is not prime. Res64: 95C60622AE705016 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:45:52] 759*2^1430969-1 is not prime. Res64: 988D5BC1C0B19650 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:45:52] 831*2^1430969-1 is not prime. Res64: B00135C9EFDBC017 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:45:53] 847*2^1430969-1 is not prime. Res64: 34B930E81A7CCEB3 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:45:53] 939*2^1430969-1 is not prime. Res64: 8399C272364D9B7E Time : 0.0 sec. user=mdettweiler [2016-05-31 14:59:14] 651*2^1430970-1 is not prime. Res64: 013CB22164A697A5 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:59:15] 941*2^1430970-1 is not prime. Res64: ECA1CD99E1E45358 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:59:15] 663*2^1430971-1 is not prime. Res64: A60F439525B49B80 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:59:15] 769*2^1430971-1 is not prime. Res64: 54212A5BE40239D6 Time : 0.0 sec. user=mdettweiler [2016-05-31 14:59:16] 835*2^1430971-1 is not prime. Res64: C79D143FB3578F4B Time : 0.0 sec. user=mdettweiler [2016-05-31 15:16:46] 891*2^1430971-1 is not prime. Res64: 627F9BA79D9597C9 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:16:47] 925*2^1430971-1 is not prime. Res64: F3DCF967D3146E39 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:16:48] 975*2^1430971-1 is not prime. Res64: 1CF1FC4EFCAADC85 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:16:49] 683*2^1430972-1 is not prime. Res64: 034B96C82FF77396 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:16:50] 735*2^1430972-1 is not prime. Res64: 3D55B4AF092B33AF Time : 0.0 sec. user=mdettweiler [2016-05-31 15:32:17] 879*2^1430972-1 is not prime. Res64: E5CED5E0590F9B92 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:32:18] 957*2^1430972-1 is not prime. Res64: B2E17F70ED0C8583 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:32:18] 999*2^1430972-1 is not prime. Res64: 6D612F3FF7132EE9 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:32:19] 679*2^1430973-1 is not prime. Res64: 03B6004F7EA84A4D Time : 0.0 sec. user=mdettweiler [2016-05-31 15:32:19] 789*2^1430973-1 is not prime. Res64: F7CCE7ECC3178728 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:45:20] 901*2^1430973-1 is not prime. Res64: E70BEB5F4A796213 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:45:20] 999*2^1430973-1 is not prime. Res64: 3338F8FB9B94ED5A Time : 0.0 sec. user=mdettweiler [2016-05-31 15:45:21] 605*2^1430974-1 is not prime. Res64: AE75F4D175675689 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:45:21] 623*2^1430974-1 is not prime. Res64: 707AEEA70126D201 Time : 0.0 sec. user=mdettweiler [2016-05-31 15:45:21] 675*2^1430974-1 is not prime. Res64: F1486FF859F8DDFF Time : 0.0 sec. user=mdettweiler [2016-05-31 16:02:51] 681*2^1430974-1 is not prime. Res64: 04A714D50C216B3C Time : 0.0 sec. user=mdettweiler [2016-05-31 16:02:52] 827*2^1430974-1 is not prime. Res64: F4323A4D22C77963 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:02:52] 903*2^1430974-1 is not prime. Res64: 08A15FE9B2AEA9E1 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:02:53] 941*2^1430974-1 is not prime. Res64: F1FC4DB04758916A Time : 0.0 sec. user=mdettweiler [2016-05-31 16:02:54] 1001*2^1430974-1 is not prime. Res64: 2DEE73C72FEA8DE0 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:18:16] 645*2^1430975-1 is not prime. Res64: F3E243E051AC2DB0 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:18:16] 673*2^1430975-1 is not prime. Res64: 93702D501D01366E Time : 0.0 sec. user=mdettweiler [2016-05-31 16:18:17] 693*2^1430975-1 is not prime. Res64: EF4366E2A98F9B60 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:18:17] 883*2^1430975-1 is not prime. Res64: 325C41F1E5675EF2 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:18:18] 705*2^1430976-1 is not prime. Res64: 3B4BEED00674AAF0 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:31:24] 839*2^1430976-1 is not prime. Res64: 91D16E5A8D05F0F7 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:31:25] 879*2^1430976-1 is not prime. Res64: FABBB2F39A381FD6 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:31:25] 661*2^1430977-1 is not prime. Res64: D4A917979C284B21 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:31:25] 801*2^1430977-1 is not prime. Res64: D6006424BE075217 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:31:26] 931*2^1430977-1 is not prime. Res64: 5ACB16439EA45678 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:49:11] 937*2^1430977-1 is not prime. Res64: 316D040B7456F1D1 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:49:11] 955*2^1430977-1 is not prime. Res64: 88ACD0E4D50526D1 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:49:11] 627*2^1430978-1 is not prime. Res64: 928963CD0C1F2149 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:49:12] 657*2^1430978-1 is not prime. Res64: 4582C9B00DD40FB7 Time : 0.0 sec. user=mdettweiler [2016-05-31 16:49:12] 671*2^1430978-1 is not prime. Res64: F10CF8D5B1ECC13C Time : 0.0 sec. user=mdettweiler [2016-05-31 17:04:24] 731*2^1430978-1 is not prime. Res64: 80863DB1ECFC508D Time : 0.0 sec. user=mdettweiler [2016-05-31 17:04:26] 753*2^1430978-1 is not prime. Res64: 1593551028563E38 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:04:27] 773*2^1430978-1 is not prime. Res64: 22E77ACD85963FE3 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:04:28] 797*2^1430978-1 is not prime. Res64: 3D25156337EC7EDE Time : 0.0 sec. user=mdettweiler [2016-05-31 17:04:30] 837*2^1430978-1 is not prime. Res64: C648F4D54FDA5ABB Time : 0.0 sec. user=mdettweiler [2016-05-31 17:17:26] 625*2^1430979-1 is not prime. Res64: 5ED0B449CBE65D9F Time : 0.0 sec. user=mdettweiler [2016-05-31 17:17:27] 663*2^1430979-1 is not prime. Res64: 9C48A608592C5DF6 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:17:27] 735*2^1430979-1 is not prime. Res64: 0B92DE593CAEE0C9 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:17:28] 795*2^1430979-1 is not prime. Res64: 97E1461D0118F76B Time : 0.0 sec. user=mdettweiler [2016-05-31 17:17:28] 859*2^1430979-1 is not prime. Res64: 86541C3CC1EF1BBE Time : 0.0 sec. user=mdettweiler [2016-05-31 17:35:13] 951*2^1430979-1 is not prime. Res64: CFAEF623747203A9 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:35:13] 961*2^1430979-1 is not prime. Res64: AD552BFB254D5326 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:35:13] 635*2^1430980-1 is not prime. Res64: 08B1D05A51E6FEB5 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:35:14] 675*2^1430980-1 is not prime. Res64: 6FC36F7DC66F37F0 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:35:14] 687*2^1430980-1 is not prime. Res64: A5B5780FE63346E7 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:50:32] 695*2^1430980-1 is not prime. Res64: 787252F157BACDE9 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:50:32] 785*2^1430980-1 is not prime. Res64: 50B67B324632BAAE Time : 0.0 sec. user=mdettweiler [2016-05-31 17:50:32] 797*2^1430980-1 is not prime. Res64: 810D4356B9F67EB6 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:50:33] 813*2^1430980-1 is not prime. Res64: 2D5908A036DD78E2 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:50:33] 855*2^1430980-1 is not prime. Res64: E44471FA71FB6703 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:53:41] 963*2^1430966-1 is not prime. Res64: 5D29A1C9D173DF8A Time : 0.0 sec. user=mdettweiler [2016-05-31 17:53:41] 691*2^1430967-1 is not prime. Res64: A55725D5A25D1530 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:53:41] 873*2^1430967-1 is not prime. Res64: EE47CDBB0B8B19D2 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:53:42] 919*2^1430967-1 is not prime. Res64: 2E0FAA8E497F6EE5 Time : 0.0 sec. user=mdettweiler [2016-05-31 17:53:42] 951*2^1430967-1 is not prime. Res64: 199A4096A88C7BB0 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:03:11] 875*2^1430980-1 is not prime. Res64: ABB1A9010B48762C Time : 0.0 sec. user=mdettweiler [2016-05-31 18:03:12] 923*2^1430980-1 is not prime. Res64: 5570E3D0F5E3487E Time : 0.0 sec. user=mdettweiler [2016-05-31 18:03:13] 975*2^1430980-1 is not prime. Res64: B681F2F080CFAE59 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:03:14] 999*2^1430980-1 is not prime. Res64: 63C4374D52CEC737 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:03:15] 795*2^1430981-1 is not prime. Res64: 14FE8C1C68789B60 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:20:30] 801*2^1430981-1 is not prime. Res64: 6B154FFA21C621E8 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:20:31] 837*2^1430981-1 is not prime. Res64: CB547784D54CACD9 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:20:31] 855*2^1430981-1 is not prime. Res64: CD771637E9CCED02 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:20:32] 889*2^1430981-1 is not prime. Res64: 54D1A3468770A6CF Time : 0.0 sec. user=mdettweiler [2016-05-31 18:20:32] 901*2^1430981-1 is not prime. Res64: 18616A7AC480CECB Time : 0.0 sec. user=mdettweiler [2016-05-31 18:35:38] 927*2^1430981-1 is not prime. Res64: F60EB1B4A55B1064 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:35:38] 681*2^1430982-1 is not prime. Res64: A4A4C979F574544D Time : 0.0 sec. user=mdettweiler [2016-05-31 18:35:39] 755*2^1430982-1 is not prime. Res64: 0617766395BB4D0D Time : 0.0 sec. user=mdettweiler [2016-05-31 18:35:39] 917*2^1430982-1 is not prime. Res64: 6A267916C3F6BB4A Time : 0.0 sec. user=mdettweiler [2016-05-31 18:35:39] 741*2^1430983-1 is not prime. Res64: 300EF0F2C10060C7 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:38:41] 763*2^1430983-1 is not prime. Res64: 207002BC6A0FA858 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:38:42] 805*2^1430983-1 is not prime. Res64: 315D80598E456022 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:38:42] 831*2^1430983-1 is not prime. Res64: D8BAED141410BDB3 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:38:42] 885*2^1430983-1 is not prime. Res64: 71ECA09CB3127656 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:38:43] 919*2^1430983-1 is not prime. Res64: CB7AAB0CC45C55A1 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:48:29] 617*2^1430984-1 is not prime. Res64: 76FB093405D082F9 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:48:29] 623*2^1430984-1 is not prime. Res64: 7F8AFD9458EF5CC6 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:48:30] 635*2^1430984-1 is not prime. Res64: 33E6C5518C4FE143 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:48:30] 719*2^1430984-1 is not prime. Res64: 7D1229794D816630 Time : 0.0 sec. user=mdettweiler [2016-05-31 18:48:30] 855*2^1430984-1 is not prime. Res64: FBB2CD50D6AF2ECC Time : 0.0 sec. user=mdettweiler [2016-05-31 19:05:28] 875*2^1430984-1 is not prime. Res64: DE527BAC422601BE Time : 0.0 sec. user=mdettweiler [2016-05-31 19:05:30] 903*2^1430984-1 is not prime. Res64: A56884105219B127 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:05:31] 625*2^1430985-1 is not prime. Res64: E7B92A9DF1920FE9 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:05:32] 667*2^1430985-1 is not prime. Res64: E24688C77D4542C2 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:05:33] 691*2^1430985-1 is not prime. Res64: 76F71D990C3A5083 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:20:33] 741*2^1430985-1 is not prime. Res64: 17E219DA39A1D008 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:20:34] 817*2^1430985-1 is not prime. Res64: F5A4D8713A3AF561 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:20:34] 847*2^1430985-1 is not prime. Res64: E036F9FE2917AB8B Time : 0.0 sec. user=mdettweiler [2016-05-31 19:20:34] 861*2^1430985-1 is not prime. Res64: D5851D9F202D91BD Time : 0.0 sec. user=mdettweiler [2016-05-31 19:20:35] 999*2^1430985-1 is not prime. Res64: 6557E5400DE356DB Time : 0.0 sec. user=mdettweiler [2016-05-31 19:23:29] 783*2^1430986-1 is not prime. Res64: 445FF898A22CED5E Time : 0.0 sec. user=mdettweiler [2016-05-31 19:23:30] 825*2^1430986-1 is not prime. Res64: 7C5A2816C5C4C7B0 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:23:30] 933*2^1430986-1 is not prime. Res64: C53AB0462DEBBA1E Time : 0.0 sec. user=mdettweiler [2016-05-31 19:23:30] 693*2^1430987-1 is not prime. Res64: 763C6250361CEEBA Time : 0.0 sec. user=mdettweiler [2016-05-31 19:23:30] 703*2^1430987-1 is not prime. Res64: A597614EEB433227 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:33:31] 759*2^1430987-1 is not prime. Res64: BA223BD57058B026 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:33:32] 799*2^1430987-1 is not prime. Res64: F02B6C113837E2BF Time : 0.0 sec. user=mdettweiler [2016-05-31 19:33:32] 939*2^1430987-1 is not prime. Res64: 1B173D337DFB48E8 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:33:33] 949*2^1430987-1 is not prime. Res64: 928FE2053680323D Time : 0.0 sec. user=mdettweiler [2016-05-31 19:33:33] 955*2^1430987-1 is not prime. Res64: C7412B0F90B38219 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:50:40] 737*2^1430988-1 is not prime. Res64: 464D306A3BB95546 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:50:40] 759*2^1430988-1 is not prime. Res64: A8B5B10D57CAE537 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:50:41] 843*2^1430988-1 is not prime. Res64: 0F606F0828311045 Time : 0.0 sec. user=mdettweiler [2016-05-31 19:50:41] 887*2^1430988-1 is not prime. Res64: 135A03663046C74A Time : 0.0 sec. user=mdettweiler [2016-05-31 19:50:41] 933*2^1430988-1 is not prime. Res64: 98474C1A4D35C18A Time : 0.0 sec. user=mdettweiler [2016-05-31 20:05:30] 745*2^1430989-1 is not prime. Res64: 7F9D9AF11123DC0B Time : 0.0 sec. user=mdettweiler [2016-05-31 20:05:32] 817*2^1430989-1 is not prime. Res64: CAA7B51D3BA4D7B7 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:05:33] 831*2^1430989-1 is not prime. Res64: C29C657079FF2599 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:05:35] 999*2^1430989-1 is not prime. Res64: 5EAA0036E5ECCC57 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:05:36] 785*2^1430990-1 is not prime. Res64: 5933F8B3BE7BE049 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:08:27] 797*2^1430990-1 is not prime. Res64: 91A869F79AF55406 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:08:27] 831*2^1430990-1 is not prime. Res64: 77F69C0F485DC081 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:08:28] 857*2^1430990-1 is not prime. Res64: 71AD55EC652ECDD8 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:08:28] 601*2^1430991-1 is not prime. Res64: B7DA9348FF5201BE Time : 0.0 sec. user=mdettweiler [2016-05-31 20:08:28] 625*2^1430991-1 is not prime. Res64: 83383786A14596CE Time : 0.0 sec. user=mdettweiler [2016-05-31 20:18:30] 829*2^1430991-1 is not prime. Res64: 0BE0CD995A3F38DB Time : 0.0 sec. user=mdettweiler [2016-05-31 20:18:31] 645*2^1430992-1 is not prime. Res64: FA853DBEA16676A3 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:18:31] 677*2^1430992-1 is not prime. Res64: 77670F5251D30A19 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:18:31] 695*2^1430992-1 is not prime. Res64: 5C1E462754403220 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:18:32] 735*2^1430992-1 is not prime. Res64: 93BEB1BE056FAFFE Time : 0.0 sec. user=mdettweiler [2016-05-31 20:35:43] 755*2^1430992-1 is not prime. Res64: 5BCCFDAAA83C8545 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:35:44] 863*2^1430992-1 is not prime. Res64: B800059B281DC3B5 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:35:44] 869*2^1430992-1 is not prime. Res64: 8C124646D62EF65A Time : 0.0 sec. user=mdettweiler [2016-05-31 20:35:45] 929*2^1430992-1 is not prime. Res64: C146DE276E2849B1 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:35:45] 627*2^1430993-1 is not prime. Res64: E47F267F30417AD2 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:50:54] 819*2^1430993-1 is not prime. Res64: C50DABEC1C218BA4 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:50:55] 949*2^1430993-1 is not prime. Res64: 5C97B52330078D71 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:50:55] 677*2^1430994-1 is not prime. Res64: 31E2E588A28275C3 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:50:56] 737*2^1430994-1 is not prime. Res64: 14ED43A863E086A2 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:50:56] 927*2^1430994-1 is not prime. Res64: 3C13ABE19B54DDF2 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:53:27] 601*2^1430995-1 is not prime. Res64: 8E3C09A308F399DC Time : 0.0 sec. user=mdettweiler [2016-05-31 20:53:27] 771*2^1430995-1 is not prime. Res64: BE836754AD3496F8 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:53:28] 909*2^1430995-1 is not prime. Res64: 4B53089F2C191903 Time : 0.0 sec. user=mdettweiler [2016-05-31 20:53:28] 951*2^1430995-1 is not prime. Res64: C00DAD5BE6CFAAFE Time : 0.0 sec. user=mdettweiler [2016-05-31 20:53:28] 623*2^1430996-1 is not prime. Res64: 77DB9A2B9A915090 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:03:34] 633*2^1430996-1 is not prime. Res64: 75CA027A0DDBA483 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:03:36] 743*2^1430996-1 is not prime. Res64: BEDCB727FCC10979 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:03:37] 875*2^1430996-1 is not prime. Res64: 274739412CBC0D15 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:03:38] 893*2^1430996-1 is not prime. Res64: 64E2000D435B67B8 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:03:38] 927*2^1430996-1 is not prime. Res64: 90007AC30AC632EF Time : 0.0 sec. user=mdettweiler [2016-05-31 21:17:58] 829*2^1430999-1 is not prime. Res64: B4B481173DC79C3B Time : 0.0 sec. user=mdettweiler [2016-05-31 21:20:41] 935*2^1430996-1 is not prime. Res64: 153C849D3BE73299 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:20:41] 999*2^1430996-1 is not prime. Res64: 6786149F98655C49 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:20:42] 847*2^1430997-1 is not prime. Res64: 0845E7E4FEF228BE Time : 0.0 sec. user=mdettweiler [2016-05-31 21:20:42] 861*2^1430997-1 is not prime. Res64: C7D51BE5C64B766D Time : 0.0 sec. user=mdettweiler [2016-05-31 21:20:43] 871*2^1430997-1 is not prime. Res64: 5B13843A9C9CB3DE Time : 0.0 sec. user=mdettweiler [2016-05-31 21:35:47] 891*2^1430997-1 is not prime. Res64: E2F581F29705E9ED Time : 0.0 sec. user=mdettweiler [2016-05-31 21:35:47] 915*2^1430997-1 is not prime. Res64: 1FAD1219A3B12461 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:35:49] 997*2^1430997-1 is not prime. Res64: A3F55A6F288A4343 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:35:49] 603*2^1430998-1 is not prime. Res64: 70403937D8AC514A Time : 0.0 sec. user=mdettweiler [2016-05-31 21:35:49] 611*2^1430998-1 is not prime. Res64: DE74793E580E8F80 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:38:15] 645*2^1430998-1 is not prime. Res64: 53EECC0856EAF793 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:38:15] 657*2^1430998-1 is not prime. Res64: 6AE8217796B01101 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:38:16] 663*2^1430998-1 is not prime. Res64: 4B57449EDFEF817C Time : 0.0 sec. user=mdettweiler [2016-05-31 21:38:16] 731*2^1430998-1 is not prime. Res64: 84EB313241600675 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:38:16] 885*2^1430998-1 is not prime. Res64: F0CD8102318BA26E Time : 0.0 sec. user=mdettweiler [2016-05-31 21:48:53] 995*2^1430998-1 is not prime. Res64: B3694D714861849E Time : 0.0 sec. user=mdettweiler [2016-05-31 21:48:54] 615*2^1430999-1 is not prime. Res64: B8056AE973F7CFCB Time : 0.0 sec. user=mdettweiler [2016-05-31 21:48:54] 663*2^1430999-1 is not prime. Res64: 9D85854FFDF44F27 Time : 0.0 sec. user=mdettweiler [2016-05-31 21:48:55] 693*2^1430999-1 is not prime. Res64: C5639F5DBBB796BF Time : 0.0 sec. user=mdettweiler [2016-05-31 21:48:55] 811*2^1430999-1 is not prime. Res64: 65677BF29B51970D Time : 0.0 sec. user=mdettweiler [2016-05-31 22:05:47] 865*2^1430999-1 is not prime. Res64: 7AF6CC8B86EAC746 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:05:49] 955*2^1430999-1 is not prime. Res64: 0EA0006EE9518838 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:05:50] 627*2^1431000-1 is not prime. Res64: 9414EA30B5BD269D Time : 0.0 sec. user=mdettweiler [2016-05-31 22:05:50] 767*2^1431000-1 is not prime. Res64: 20448F22B01B39FC Time : 0.0 sec. user=mdettweiler [2016-05-31 22:05:51] 777*2^1431000-1 is not prime. Res64: 40D7493C4FCF5473 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:20:46] 845*2^1431000-1 is not prime. Res64: 53B778F4ACC159C0 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:20:47] 905*2^1431000-1 is not prime. Res64: 9FC96CE90FB03A10 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:20:47] 975*2^1431000-1 is not prime. Res64: 41CEB49434EBB2FA Time : 0.0 sec. user=mdettweiler [2016-05-31 22:20:48] 999*2^1431000-1 is not prime. Res64: 2707F85BD5D30953 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:20:48] 607*2^1431001-1 is not prime. Res64: E0B13750AAF620DA Time : 0.0 sec. user=mdettweiler [2016-05-31 22:23:20] 687*2^1431001-1 is not prime. Res64: 2FA3D6104CDF4AFA Time : 0.0 sec. user=mdettweiler [2016-05-31 22:23:21] 777*2^1431001-1 is not prime. Res64: 420FF4D0C1CB5731 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:23:21] 799*2^1431001-1 is not prime. Res64: BFE65653F73F4777 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:23:22] 861*2^1431001-1 is not prime. Res64: 030F1D1807F25C8F Time : 0.0 sec. user=mdettweiler [2016-05-31 22:23:22] 955*2^1431001-1 is not prime. Res64: 11C484B400BA217E Time : 0.0 sec. user=mdettweiler [2016-05-31 22:33:56] 671*2^1431002-1 is not prime. Res64: 1A31F827E07EAFD6 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:33:57] 791*2^1431002-1 is not prime. Res64: 1CB9732E79FE9850 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:33:57] 921*2^1431002-1 is not prime. Res64: 843ABA3E14CA99A3 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:33:58] 981*2^1431002-1 is not prime. Res64: 6DFD1693F47953D5 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:33:58] 613*2^1431003-1 is not prime. Res64: 5FD9EC29A04A6117 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:51:09] 679*2^1431003-1 is not prime. Res64: D6CF7CB0DD817A39 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:51:10] 705*2^1431003-1 is not prime. Res64: 57A79B29811271F9 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:51:10] 723*2^1431003-1 is not prime. Res64: 0B0DE164E8DF5CB7 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:51:11] 805*2^1431003-1 is not prime. Res64: E6567B90DAC1BAB5 Time : 0.0 sec. user=mdettweiler [2016-05-31 22:51:11] 853*2^1431003-1 is not prime. Res64: 2DFDA7EC3F62A946 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:06:04] 895*2^1431003-1 is not prime. Res64: 8656750974B0AE1B Time : 0.0 sec. user=mdettweiler [2016-05-31 23:06:05] 961*2^1431003-1 is not prime. Res64: 477840344D663E9B Time : 0.0 sec. user=mdettweiler [2016-05-31 23:06:06] 609*2^1431004-1 is not prime. Res64: 0A1DA9FB84976E65 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:06:08] 639*2^1431004-1 is not prime. Res64: 45472F270A4BC516 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:06:09] 663*2^1431004-1 is not prime. Res64: 72881C59FDF1055E Time : 0.0 sec. user=mdettweiler [2016-05-31 23:08:39] 677*2^1431004-1 is not prime. Res64: BAE58C8E7D7451BE Time : 0.0 sec. user=mdettweiler [2016-05-31 23:08:39] 749*2^1431004-1 is not prime. Res64: 6E5E2173981A58F5 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:08:39] 887*2^1431004-1 is not prime. Res64: 149CC6E9ECF9E1A2 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:08:40] 927*2^1431004-1 is not prime. Res64: 796607EE865515C8 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:08:40] 995*2^1431004-1 is not prime. Res64: C9CCD6BBDEA7C473 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:19:15] 627*2^1431005-1 is not prime. Res64: C355971788D66473 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:19:16] 679*2^1431005-1 is not prime. Res64: 03701D47C3528C93 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:19:17] 691*2^1431005-1 is not prime. Res64: 98A1E9FBBABF0A7B Time : 0.0 sec. user=mdettweiler [2016-05-31 23:19:18] 781*2^1431005-1 is not prime. Res64: 5DCF1A804D5AEF25 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:19:19] 885*2^1431005-1 is not prime. Res64: 6679B67BC064A898 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:36:14] 889*2^1431005-1 is not prime. Res64: A112CC2F02FC351F Time : 0.0 sec. user=mdettweiler [2016-05-31 23:36:15] 907*2^1431005-1 is not prime. Res64: D4FFB95541D636C3 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:36:17] 981*2^1431005-1 is not prime. Res64: 91006D8ED93764AD Time : 0.0 sec. user=mdettweiler [2016-05-31 23:36:18] 647*2^1431006-1 is not prime. Res64: 5BAC333C31C66790 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:36:19] 765*2^1431006-1 is not prime. Res64: DA6DA804F9FB4BCE Time : 0.0 sec. user=mdettweiler [2016-05-31 23:51:21] 933*2^1431006-1 is not prime. Res64: 1C1F65E851862651 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:51:22] 609*2^1431007-1 is not prime. Res64: A2A1253BA47FD4FE Time : 0.0 sec. user=mdettweiler [2016-05-31 23:51:23] 651*2^1431007-1 is not prime. Res64: 16025F995415F369 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:51:24] 675*2^1431007-1 is not prime. Res64: A148B973F7CBA578 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:51:26] 705*2^1431007-1 is not prime. Res64: 10BB2B7E9C13F901 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:53:36] 909*2^1431007-1 is not prime. Res64: 914C6F1C01FF20D1 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:53:38] 913*2^1431007-1 is not prime. Res64: AA3CBE3DA4163E64 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:53:39] 919*2^1431007-1 is not prime. Res64: A044A839207E3153 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:53:40] 623*2^1431008-1 is not prime. Res64: AEB9B09BDEA54C19 Time : 0.0 sec. user=mdettweiler [2016-05-31 23:53:41] 633*2^1431008-1 is not prime. Res64: 2C32F8F9DF178D51 Time : 0.0 sec.