user=mdettweiler [2016-05-30 00:10:17] 837*2^1430793-1 is not prime. Res64: B702A85A0BDA9448 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:10:18] 847*2^1430793-1 is not prime. Res64: 20DC1680A5E21C9C Time : 0.0 sec. user=mdettweiler [2016-05-30 00:10:18] 901*2^1430793-1 is not prime. Res64: 45C2161314E0EAF9 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:10:19] 985*2^1430793-1 is not prime. Res64: 969323E47D161900 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:10:19] 651*2^1430794-1 is not prime. Res64: 36F1CF852EFF20FF Time : 0.0 sec. user=mdettweiler [2016-05-30 00:13:31] 831*2^1430794-1 is not prime. Res64: 6DBE2D3CCB711F21 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:13:31] 885*2^1430794-1 is not prime. Res64: EC9EE1C8692C8C2B Time : 0.0 sec. user=mdettweiler [2016-05-30 00:13:31] 887*2^1430794-1 is not prime. Res64: 9C0D5AC28F654387 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:13:32] 663*2^1430795-1 is not prime. Res64: A23B7B91A65611E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:13:32] 673*2^1430795-1 is not prime. Res64: B5A8FC2434798325 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:26:05] 801*2^1430795-1 is not prime. Res64: FFBA790277356AA0 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:26:05] 981*2^1430795-1 is not prime. Res64: 51B321CD2E72249E Time : 0.0 sec. user=mdettweiler [2016-05-30 00:26:06] 985*2^1430795-1 is not prime. Res64: CE82F2B08C614719 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:26:06] 693*2^1430796-1 is not prime. Res64: 43339DB5DB18D65E Time : 0.0 sec. user=mdettweiler [2016-05-30 00:26:06] 735*2^1430796-1 is not prime. Res64: 015749EEC8B607FB Time : 0.0 sec. user=mdettweiler [2016-05-30 00:44:51] 765*2^1430796-1 is not prime. Res64: 41F16EC72F748F93 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:44:52] 993*2^1430796-1 is not prime. Res64: 59E85E3575167205 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:44:52] 699*2^1430797-1 is not prime. Res64: 68A6947F26D1753F Time : 0.0 sec. user=mdettweiler [2016-05-30 00:44:52] 729*2^1430797-1 is not prime. Res64: 7A8DEBC8EB714652 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:44:53] 831*2^1430797-1 is not prime. Res64: 23225CBA64C4BD15 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:56:06] 847*2^1430797-1 is not prime. Res64: 3712623425726154 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:56:07] 979*2^1430797-1 is not prime. Res64: 20D43F0F0A077271 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:56:07] 603*2^1430798-1 is not prime. Res64: 637C22BABB9C47FE Time : 0.0 sec. user=mdettweiler [2016-05-30 00:56:07] 663*2^1430798-1 is not prime. Res64: B280AEBBDB3F70F1 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:56:08] 677*2^1430798-1 is not prime. Res64: 78C1019255B2F101 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:59:01] 797*2^1430798-1 is not prime. Res64: 8A76958D5AA6C816 Time : 0.0 sec. user=mdettweiler [2016-05-30 00:59:01] 887*2^1430798-1 is not prime. Res64: F4D280154B89513E Time : 0.0 sec. user=mdettweiler [2016-05-30 00:59:01] 601*2^1430799-1 is not prime. Res64: 0D04464CFDABBEEA Time : 0.0 sec. user=mdettweiler [2016-05-30 00:59:02] 663*2^1430799-1 is not prime. Res64: 685CC6F4910B800B Time : 0.0 sec. user=mdettweiler [2016-05-30 00:59:02] 885*2^1430799-1 is not prime. Res64: FCA42B80DD22AF97 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:11:38] 919*2^1430799-1 is not prime. Res64: A9EEAD359674ED41 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:11:39] 931*2^1430799-1 is not prime. Res64: 232DBBC7EA9882FF Time : 0.0 sec. user=mdettweiler [2016-05-30 01:11:39] 955*2^1430799-1 is not prime. Res64: 9BA75ADF7E05CACA Time : 0.0 sec. user=mdettweiler [2016-05-30 01:11:40] 665*2^1430800-1 is not prime. Res64: C692D50E0ECAD849 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:11:40] 747*2^1430800-1 is not prime. Res64: CD2F69F6F8A8014B Time : 0.0 sec. user=mdettweiler [2016-05-30 01:30:09] 819*2^1430800-1 is not prime. Res64: 4D4EBC5670D32B1E Time : 0.0 sec. user=mdettweiler [2016-05-30 01:30:10] 887*2^1430800-1 is not prime. Res64: 2DC7C3E194D6DE0E Time : 0.0 sec. user=mdettweiler [2016-05-30 01:30:11] 899*2^1430800-1 is not prime. Res64: 34A300BCE95E2950 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:30:12] 619*2^1430801-1 is not prime. Res64: B890A19CEF7C59D3 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:30:12] 741*2^1430801-1 is not prime. Res64: D87518E5DD8D78C1 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:41:36] 795*2^1430801-1 is not prime. Res64: 838CABE12D1A4026 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:41:37] 967*2^1430801-1 is not prime. Res64: A2B262745C6C0D00 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:41:37] 635*2^1430802-1 is not prime. Res64: 4EDD5B071BE95178 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:41:38] 767*2^1430802-1 is not prime. Res64: 312C168F5D2F3EA9 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:41:38] 797*2^1430802-1 is not prime. Res64: B4367A499F6E54D5 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:44:39] 801*2^1430802-1 is not prime. Res64: 624D8E67F674ED7A Time : 0.0 sec. user=mdettweiler [2016-05-30 01:44:40] 615*2^1430803-1 is not prime. Res64: 0A4BD3708D14EA12 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:44:40] 741*2^1430803-1 is not prime. Res64: 55EACDF86D303959 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:44:40] 853*2^1430803-1 is not prime. Res64: 75CC6A1336EC765F Time : 0.0 sec. user=mdettweiler [2016-05-30 01:44:41] 925*2^1430803-1 is not prime. Res64: 51183976274703C3 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:57:08] 969*2^1430803-1 is not prime. Res64: 820101EA008E1ED2 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:57:08] 819*2^1430804-1 is not prime. Res64: 6C7522423D801BF7 Time : 0.0 sec. user=mdettweiler [2016-05-30 01:57:09] 843*2^1430804-1 is not prime. Res64: C583E53276EB96FB Time : 0.0 sec. user=mdettweiler [2016-05-30 01:57:09] 945*2^1430804-1 is not prime. Res64: 2654D1D32FEEE2BF Time : 0.0 sec. user=mdettweiler [2016-05-30 01:57:10] 953*2^1430804-1 is not prime. Res64: 6BFF25965B70A54F Time : 0.0 sec. user=mdettweiler [2016-05-30 02:15:37] 777*2^1430805-1 is not prime. Res64: 8AE6DE6846BA5823 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:15:38] 861*2^1430805-1 is not prime. Res64: 286A656CF5E1F69C Time : 0.0 sec. user=mdettweiler [2016-05-30 02:15:38] 885*2^1430805-1 is not prime. Res64: 675A6B492A12DA8F Time : 0.0 sec. user=mdettweiler [2016-05-30 02:15:38] 919*2^1430805-1 is not prime. Res64: 8A9F04E08A9603EF Time : 0.0 sec. user=mdettweiler [2016-05-30 02:15:39] 997*2^1430805-1 is not prime. Res64: 81AB418F4A48F4B6 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:27:11] 999*2^1430805-1 is not prime. Res64: E552A13ED33E6591 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:27:11] 617*2^1430806-1 is not prime. Res64: 5F85D369CDE241CE Time : 0.0 sec. user=mdettweiler [2016-05-30 02:27:12] 645*2^1430806-1 is not prime. Res64: 994B975F54238286 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:27:12] 705*2^1430806-1 is not prime. Res64: 175179CB03497655 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:27:13] 765*2^1430806-1 is not prime. Res64: 86BE61BD1F5D1FF0 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:30:10] 855*2^1430806-1 is not prime. Res64: FDFACAACC91C8A1C Time : 0.0 sec. user=mdettweiler [2016-05-30 02:30:11] 947*2^1430806-1 is not prime. Res64: AF6439544113A264 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:30:12] 615*2^1430807-1 is not prime. Res64: 7D54E65DFC779B47 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:30:12] 651*2^1430807-1 is not prime. Res64: A1AF266799E96295 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:30:13] 861*2^1430807-1 is not prime. Res64: CA6402367450FA26 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:42:34] 931*2^1430807-1 is not prime. Res64: 6E6E021490FB5C5D Time : 0.0 sec. user=mdettweiler [2016-05-30 02:42:35] 993*2^1430807-1 is not prime. Res64: 9358A0B13023B57C Time : 0.0 sec. user=mdettweiler [2016-05-30 02:42:35] 839*2^1430808-1 is not prime. Res64: C583E54EFAF8EF6F Time : 0.0 sec. user=mdettweiler [2016-05-30 02:42:36] 843*2^1430808-1 is not prime. Res64: 7FA94623034F7722 Time : 0.0 sec. user=mdettweiler [2016-05-30 02:42:36] 933*2^1430808-1 is not prime. Res64: 0B8462372073B8D2 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:00:55] 977*2^1430808-1 is not prime. Res64: B3B61792D326C7BB Time : 0.0 sec. user=mdettweiler [2016-05-30 03:00:56] 601*2^1430809-1 is not prime. Res64: FD37AAF8F6C3A0C2 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:00:57] 789*2^1430809-1 is not prime. Res64: A2A3B77439CFADC6 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:00:58] 877*2^1430809-1 is not prime. Res64: 34C227AEC93DF6DF Time : 0.0 sec. user=mdettweiler [2016-05-30 03:00:59] 897*2^1430809-1 is not prime. Res64: 3E61204764B0724F Time : 0.0 sec. user=mdettweiler [2016-05-30 03:12:46] 939*2^1430809-1 is not prime. Res64: BE81C460D49906F1 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:12:46] 997*2^1430809-1 is not prime. Res64: BA7F74B2C9EC0B95 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:12:47] 635*2^1430810-1 is not prime. Res64: 9C76706D527E898E Time : 0.0 sec. user=mdettweiler [2016-05-30 03:12:47] 641*2^1430810-1 is not prime. Res64: 60F64B0EB751F6AF Time : 0.0 sec. user=mdettweiler [2016-05-30 03:12:48] 675*2^1430810-1 is not prime. Res64: 489821EFB50B84A8 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:15:41] 827*2^1430810-1 is not prime. Res64: 6D1704D56108D804 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:15:41] 945*2^1430810-1 is not prime. Res64: BC168F0973AC797C Time : 0.0 sec. user=mdettweiler [2016-05-30 03:15:41] 971*2^1430810-1 is not prime. Res64: A861863221DDF110 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:15:42] 649*2^1430811-1 is not prime. Res64: 3D21A560AC9FFB70 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:15:42] 723*2^1430811-1 is not prime. Res64: E0DE846277EA33E6 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:28:45] 753*2^1430811-1 is not prime. Res64: DD4AEEF302E7B4EC Time : 0.0 sec. user=mdettweiler [2016-05-30 03:28:50] 861*2^1430811-1 is not prime. Res64: 9278C07ADB929CAB Time : 0.0 sec. user=mdettweiler [2016-05-30 03:28:51] 901*2^1430811-1 is not prime. Res64: 9E61B0840B2BCB88 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:28:54] 903*2^1430811-1 is not prime. Res64: 060A4E386F02FE6E Time : 0.0 sec. user=mdettweiler [2016-05-30 03:28:55] 921*2^1430811-1 is not prime. Res64: A47A7ED1C4A52226 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:47:35] 623*2^1430812-1 is not prime. Res64: 208BC6B41798A019 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:47:36] 675*2^1430812-1 is not prime. Res64: C69E113CD028F780 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:47:37] 695*2^1430812-1 is not prime. Res64: 169F08C458F25A96 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:47:38] 723*2^1430812-1 is not prime. Res64: 98C1A3EFC5416E5F Time : 0.0 sec. user=mdettweiler [2016-05-30 03:47:39] 755*2^1430812-1 is not prime. Res64: 8B1DD52E085874E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:58:40] 797*2^1430812-1 is not prime. Res64: F5ADC2E24E6A7735 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:58:40] 873*2^1430812-1 is not prime. Res64: 1BE93969A4049F8D Time : 0.0 sec. user=mdettweiler [2016-05-30 03:58:41] 691*2^1430813-1 is not prime. Res64: EB32572AE6EC6417 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:58:41] 735*2^1430813-1 is not prime. Res64: 3C95F7CCFB7BE372 Time : 0.0 sec. user=mdettweiler [2016-05-30 03:58:42] 829*2^1430813-1 is not prime. Res64: 6382117E4632A720 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:02:39] 855*2^1430813-1 is not prime. Res64: ED2FC6E5E2250B42 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:02:41] 927*2^1430813-1 is not prime. Res64: C8129597FD036DCC Time : 0.0 sec. user=mdettweiler [2016-05-30 04:02:42] 969*2^1430813-1 is not prime. Res64: 310EAEEF4F023077 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:02:43] 627*2^1430814-1 is not prime. Res64: 248A351D3635FB7E Time : 0.0 sec. user=mdettweiler [2016-05-30 04:02:44] 663*2^1430814-1 is not prime. Res64: C05B2B4E74B1245C Time : 0.0 sec. user=mdettweiler [2016-05-30 04:14:09] 791*2^1430814-1 is not prime. Res64: 9D898E29EE573C73 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:14:09] 609*2^1430815-1 is not prime. Res64: EF7B2C60418F7825 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:14:10] 619*2^1430815-1 is not prime. Res64: 78690A52E952F910 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:14:10] 645*2^1430815-1 is not prime. Res64: 75C36FF19DDC413E Time : 0.0 sec. user=mdettweiler [2016-05-30 04:14:11] 693*2^1430815-1 is not prime. Res64: DF6F4CF4FCDB2E1D Time : 0.0 sec. user=mdettweiler [2016-05-30 04:32:53] 765*2^1430815-1 is not prime. Res64: 64D710F7A923C8B4 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:32:54] 895*2^1430815-1 is not prime. Res64: C9536EAC3163D421 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:32:54] 939*2^1430815-1 is not prime. Res64: 5FE42A08B048D253 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:32:54] 969*2^1430815-1 is not prime. Res64: 135604D106A42FF5 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:32:55] 609*2^1430816-1 is not prime. Res64: E930D1EADBB5B4D6 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:44:00] 669*2^1430816-1 is not prime. Res64: 68198F321B0BA2B3 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:44:01] 767*2^1430816-1 is not prime. Res64: 9436BD9B159E2BA7 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:44:01] 873*2^1430816-1 is not prime. Res64: FC5E92CB01A8E071 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:44:01] 969*2^1430816-1 is not prime. Res64: 319A493D153D039F Time : 0.0 sec. user=mdettweiler [2016-05-30 04:44:02] 699*2^1430817-1 is not prime. Res64: B4D07DE4F8535288 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:48:04] 735*2^1430817-1 is not prime. Res64: 0B5F42F0BA0A3E36 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:48:04] 909*2^1430817-1 is not prime. Res64: 283D4A5F51DBB2DE Time : 0.0 sec. user=mdettweiler [2016-05-30 04:48:05] 945*2^1430817-1 is not prime. Res64: 78FB7E74D8F194A7 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:48:05] 997*2^1430817-1 is not prime. Res64: 09BEFA08BC096DBC Time : 0.0 sec. user=mdettweiler [2016-05-30 04:48:05] 623*2^1430818-1 is not prime. Res64: 15BF8E6E599F2F59 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:59:19] 681*2^1430818-1 is not prime. Res64: A27C7F42C1113D0B Time : 0.0 sec. user=mdettweiler [2016-05-30 04:59:19] 755*2^1430818-1 is not prime. Res64: AFF8F3D15F95F8A7 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:59:20] 777*2^1430818-1 is not prime. Res64: 16D51A0F36554238 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:59:20] 843*2^1430818-1 is not prime. Res64: EED13DDC182CF464 Time : 0.0 sec. user=mdettweiler [2016-05-30 04:59:20] 753*2^1430819-1 is not prime. Res64: DF63FA93E077268A Time : 0.0 sec. user=mdettweiler [2016-05-30 05:18:04] 771*2^1430819-1 is not prime. Res64: 32C90017F58254BE Time : 0.0 sec. user=mdettweiler [2016-05-30 05:18:04] 885*2^1430819-1 is not prime. Res64: 3410918717FD988B Time : 0.0 sec. user=mdettweiler [2016-05-30 05:18:07] 615*2^1430820-1 is not prime. Res64: DA1268CE4F331DB3 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:18:08] 627*2^1430820-1 is not prime. Res64: 6EED56241286AEC0 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:18:08] 669*2^1430820-1 is not prime. Res64: 755FA8F930DED86A Time : 0.0 sec. user=mdettweiler [2016-05-30 05:29:34] 675*2^1430820-1 is not prime. Res64: B55CB1D588AEBF13 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:29:35] 795*2^1430820-1 is not prime. Res64: 703275FCD6FB2CB1 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:29:35] 819*2^1430820-1 is not prime. Res64: B4F59E9917DE9CD0 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:29:36] 933*2^1430820-1 is not prime. Res64: 68381F38F4B3336E Time : 0.0 sec. user=mdettweiler [2016-05-30 05:29:36] 965*2^1430820-1 is not prime. Res64: 2CA29F11469E074E Time : 0.0 sec. user=mdettweiler [2016-05-30 05:33:21] 615*2^1430821-1 is not prime. Res64: F85246DEFF57D6F1 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:33:21] 715*2^1430821-1 is not prime. Res64: A2142635B818BEA8 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:33:22] 717*2^1430821-1 is not prime. Res64: 31E45C867B8CB72B Time : 0.0 sec. user=mdettweiler [2016-05-30 05:33:22] 961*2^1430821-1 is not prime. Res64: CFE8DFC8D2D2B881 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:33:22] 975*2^1430821-1 is not prime. Res64: 1DF768D4E70E78C2 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:44:29] 603*2^1430822-1 is not prime. Res64: 7DEAF63008DF9B9B Time : 0.0 sec. user=mdettweiler [2016-05-30 05:44:29] 693*2^1430822-1 is not prime. Res64: FFFFEAC173951563 Time : 0.0 sec. user=mdettweiler [2016-05-30 05:44:30] 831*2^1430822-1 is not prime. Res64: 58AA10D06B67D7FA Time : 0.0 sec. user=mdettweiler [2016-05-30 05:44:30] 857*2^1430822-1 is not prime. Res64: A29BFF34B29F1BDA Time : 0.0 sec. user=mdettweiler [2016-05-30 05:44:30] 965*2^1430822-1 is not prime. Res64: 1B8573EBAF5E5429 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:03:08] 675*2^1430823-1 is not prime. Res64: 1EC8BF80DB35835D Time : 0.0 sec. user=mdettweiler [2016-05-30 06:03:09] 705*2^1430823-1 is not prime. Res64: 5695E388F0F92B8A Time : 0.0 sec. user=mdettweiler [2016-05-30 06:03:10] 745*2^1430823-1 is not prime. Res64: 81F9535B8CD9E4D1 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:03:10] 751*2^1430823-1 is not prime. Res64: 2EA8B649EA58D27A Time : 0.0 sec. user=mdettweiler [2016-05-30 06:03:11] 765*2^1430823-1 is not prime. Res64: 2EA2DEB986222860 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:14:42] 945*2^1430823-1 is not prime. Res64: 6FBE2ADD35357282 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:14:42] 961*2^1430823-1 is not prime. Res64: 8B6438B6E3724A94 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:14:43] 849*2^1430824-1 is not prime. Res64: 01A18D519DEB55DD Time : 0.0 sec. user=mdettweiler [2016-05-30 06:14:43] 917*2^1430824-1 is not prime. Res64: FFF928F9715C61BF Time : 0.0 sec. user=mdettweiler [2016-05-30 06:14:44] 607*2^1430825-1 is not prime. Res64: 8A881E980E4C5DF4 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:18:38] 721*2^1430825-1 is not prime. Res64: 6BEFB9427787FF63 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:18:39] 805*2^1430825-1 is not prime. Res64: 3297B73F1A3DFF6C Time : 0.0 sec. user=mdettweiler [2016-05-30 06:18:39] 957*2^1430825-1 is not prime. Res64: 1D3B594E85708922 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:18:39] 987*2^1430825-1 is not prime. Res64: FFC7B46CDCD3DFC6 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:18:40] 615*2^1430826-1 is not prime. Res64: 3047C404D4C9F624 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:29:47] 705*2^1430826-1 is not prime. Res64: FC30665B2A80B6C6 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:29:47] 713*2^1430826-1 is not prime. Res64: 5E21F73C005F8DBD Time : 0.0 sec. user=mdettweiler [2016-05-30 06:29:47] 941*2^1430826-1 is not prime. Res64: 88EBFF6560C177E0 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:29:48] 621*2^1430827-1 is not prime. Res64: 6FDC64A73073632E Time : 0.0 sec. user=mdettweiler [2016-05-30 06:29:48] 631*2^1430827-1 is not prime. Res64: 38FC56F8639E22FC Time : 0.0 sec. user=mdettweiler [2016-05-30 06:48:27] 645*2^1430827-1 is not prime. Res64: 5C6338BB2902958A Time : 0.0 sec. user=mdettweiler [2016-05-30 06:48:27] 681*2^1430827-1 is not prime. Res64: 947A74AD6BD703AE Time : 0.0 sec. user=mdettweiler [2016-05-30 06:48:27] 759*2^1430827-1 is not prime. Res64: 84D158B90D7433A8 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:48:28] 849*2^1430827-1 is not prime. Res64: 7C20E87139E146B7 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:48:28] 973*2^1430827-1 is not prime. Res64: 1956792251672D24 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:59:45] 975*2^1430827-1 is not prime. Res64: 5CEFFB6AB9B0DD34 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:59:45] 699*2^1430828-1 is not prime. Res64: 4FEF002C1102C7EB Time : 0.0 sec. user=mdettweiler [2016-05-30 06:59:46] 725*2^1430828-1 is not prime. Res64: 8E891EA7CD26028E Time : 0.0 sec. user=mdettweiler [2016-05-30 06:59:46] 743*2^1430828-1 is not prime. Res64: 0A828ECEE626E458 Time : 0.0 sec. user=mdettweiler [2016-05-30 06:59:46] 749*2^1430828-1 is not prime. Res64: 9C001365404A7EF7 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:03:51] 915*2^1430828-1 is not prime. Res64: 95F69294498EBE07 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:03:53] 935*2^1430828-1 is not prime. Res64: D36EBBD467F00D66 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:03:54] 963*2^1430828-1 is not prime. Res64: 64E8A73079BB9A10 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:03:55] 977*2^1430828-1 is not prime. Res64: 1C838B1C83DBEBE1 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:03:56] 685*2^1430829-1 is not prime. Res64: 40210171EF8AA140 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:14:59] 847*2^1430829-1 is not prime. Res64: A9922C1B1F00ED52 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:14:59] 861*2^1430829-1 is not prime. Res64: 20A1D22DCEC4EE67 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:15:00] 663*2^1430830-1 is not prime. Res64: 2330B85B72D39A0E Time : 0.0 sec. user=mdettweiler [2016-05-30 07:15:00] 755*2^1430830-1 is not prime. Res64: A03ED8600FC6FE9C Time : 0.0 sec. user=mdettweiler [2016-05-30 07:15:00] 917*2^1430830-1 is not prime. Res64: A42B74C4CAC82928 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:33:23] 945*2^1430830-1 is not prime. Res64: F01B01BA7A4F7093 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:33:23] 735*2^1430831-1 is not prime. Res64: 9FC1C13F839230A8 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:33:24] 775*2^1430831-1 is not prime. Res64: C9B23AF43208FCCE Time : 0.0 sec. user=mdettweiler [2016-05-30 07:33:25] 783*2^1430831-1 is not prime. Res64: 2E2B5CA103A0F77B Time : 0.0 sec. user=mdettweiler [2016-05-30 07:33:25] 789*2^1430831-1 is not prime. Res64: B5130DE3E29ADF6B Time : 0.0 sec. user=mdettweiler [2016-05-30 07:44:54] 981*2^1430831-1 is not prime. Res64: D939CE215260B563 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:44:54] 991*2^1430831-1 is not prime. Res64: 0931CECAF6BD7C20 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:44:54] 999*2^1430831-1 is not prime. Res64: 5D10D36B780B038E Time : 0.0 sec. user=mdettweiler [2016-05-30 07:44:54] 635*2^1430832-1 is not prime. Res64: 9EF2AE3E753E9B2B Time : 0.0 sec. user=mdettweiler [2016-05-30 07:44:55] 695*2^1430832-1 is not prime. Res64: B2599526F65BB6B5 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:49:36] 857*2^1430832-1 is not prime. Res64: 177E524DBDE1402B Time : 0.0 sec. user=mdettweiler [2016-05-30 07:49:36] 873*2^1430832-1 is not prime. Res64: 7589242592E9A201 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:49:37] 903*2^1430832-1 is not prime. Res64: F9ECCD9A90D673C3 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:49:37] 637*2^1430833-1 is not prime. Res64: A859DE3747C7D669 Time : 0.0 sec. user=mdettweiler [2016-05-30 07:49:37] 685*2^1430833-1 is not prime. Res64: 741EF2BD08E3E313 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:00:17] 741*2^1430833-1 is not prime. Res64: 8DAF698C6722FBFD Time : 0.0 sec. user=mdettweiler [2016-05-30 08:00:18] 847*2^1430833-1 is not prime. Res64: 11B1D388FED9900E Time : 0.0 sec. user=mdettweiler [2016-05-30 08:00:19] 867*2^1430833-1 is not prime. Res64: 01715885373EFE19 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:00:20] 897*2^1430833-1 is not prime. Res64: 1F13BBB8BB7BDA27 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:00:20] 617*2^1430834-1 is not prime. Res64: 57F55CD5F4BA304E Time : 0.0 sec. user=mdettweiler [2016-05-30 08:18:50] 635*2^1430834-1 is not prime. Res64: BDB2B9C3E2B5146E Time : 0.0 sec. user=mdettweiler [2016-05-30 08:18:50] 675*2^1430834-1 is not prime. Res64: 8D60B957C7D3745F Time : 0.0 sec. user=mdettweiler [2016-05-30 08:18:50] 917*2^1430834-1 is not prime. Res64: 500E94D84C76C962 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:18:51] 643*2^1430835-1 is not prime. Res64: BA48A9E55B230D18 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:18:51] 849*2^1430835-1 is not prime. Res64: 4090652D34464515 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:30:07] 961*2^1430835-1 is not prime. Res64: 5A790F215FFC72D1 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:30:08] 657*2^1430836-1 is not prime. Res64: 033587E62609155C Time : 0.0 sec. user=mdettweiler [2016-05-30 08:30:08] 923*2^1430836-1 is not prime. Res64: EA1588FC970D985D Time : 0.0 sec. user=mdettweiler [2016-05-30 08:30:08] 927*2^1430836-1 is not prime. Res64: 58097F685689F193 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:30:09] 947*2^1430836-1 is not prime. Res64: A423846DE1C5456C Time : 0.0 sec. user=mdettweiler [2016-05-30 08:34:47] 621*2^1430837-1 is not prime. Res64: 6AA9E603C4459D98 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:34:48] 685*2^1430837-1 is not prime. Res64: 74CEDDDBFF78609F Time : 0.0 sec. user=mdettweiler [2016-05-30 08:34:48] 699*2^1430837-1 is not prime. Res64: C32409657C580DD3 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:34:48] 735*2^1430837-1 is not prime. Res64: E10870CCD212CF3E Time : 0.0 sec. user=mdettweiler [2016-05-30 08:34:49] 769*2^1430837-1 is not prime. Res64: DC28B5E2053FE9BB Time : 0.0 sec. user=mdettweiler [2016-05-30 08:45:38] 879*2^1430837-1 is not prime. Res64: EBCE2213DFECDF34 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:45:38] 677*2^1430838-1 is not prime. Res64: B79892CFCEF8B34E Time : 0.0 sec. user=mdettweiler [2016-05-30 08:45:38] 683*2^1430838-1 is not prime. Res64: 3681A46CBAF23F83 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:45:39] 737*2^1430838-1 is not prime. Res64: CC466DE2CE2126E4 Time : 0.0 sec. user=mdettweiler [2016-05-30 08:45:39] 795*2^1430838-1 is not prime. Res64: 8DAB5040A06010C3 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:04:12] 921*2^1430838-1 is not prime. Res64: F72ED2F430285E87 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:04:13] 945*2^1430838-1 is not prime. Res64: 806297DD9DE69CE4 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:04:14] 971*2^1430838-1 is not prime. Res64: CDECB367B57F16ED Time : 0.0 sec. user=mdettweiler [2016-05-30 09:04:15] 723*2^1430839-1 is not prime. Res64: 8540C8F945CE62DE Time : 0.0 sec. user=mdettweiler [2016-05-30 09:04:16] 859*2^1430839-1 is not prime. Res64: 35FFECD5EDEC47A9 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:16:08] 861*2^1430839-1 is not prime. Res64: 7028F8458E75391A Time : 0.0 sec. user=mdettweiler [2016-05-30 09:16:09] 925*2^1430839-1 is not prime. Res64: 47C40B3A7E19FDCF Time : 0.0 sec. user=mdettweiler [2016-05-30 09:16:09] 975*2^1430839-1 is not prime. Res64: 999450BDE555FDE4 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:16:09] 699*2^1430840-1 is not prime. Res64: 339DCBF2A89A4A24 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:16:10] 915*2^1430840-1 is not prime. Res64: B24030C5FEE74014 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:21:31] 923*2^1430840-1 is not prime. Res64: 2CC9A2BC8103F15A Time : 0.0 sec. user=mdettweiler [2016-05-30 09:21:31] 963*2^1430840-1 is not prime. Res64: 63375661DC2AAA82 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:21:31] 627*2^1430841-1 is not prime. Res64: 0C838BD26DAB9436 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:21:32] 657*2^1430841-1 is not prime. Res64: D098B52D495F5225 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:21:32] 705*2^1430841-1 is not prime. Res64: F3FA6E3811F837FF Time : 0.0 sec. user=mdettweiler [2016-05-30 09:33:16] 709*2^1430841-1 is not prime. Res64: 64E89EA7CDD471A5 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:33:16] 741*2^1430841-1 is not prime. Res64: E93890600BD35B98 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:33:17] 811*2^1430841-1 is not prime. Res64: 50C6CC10D073BE71 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:33:17] 949*2^1430841-1 is not prime. Res64: E28324D92DBEA5C9 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:33:17] 969*2^1430841-1 is not prime. Res64: C65A2FEC44DB8A3C Time : 0.0 sec. user=mdettweiler [2016-05-30 09:52:49] 979*2^1430841-1 is not prime. Res64: 0B60D7E32604A23F Time : 0.0 sec. user=mdettweiler [2016-05-30 09:52:50] 611*2^1430842-1 is not prime. Res64: 860386F83379A60C Time : 0.0 sec. user=mdettweiler [2016-05-30 09:52:50] 701*2^1430842-1 is not prime. Res64: 471E3AE64DF51C12 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:52:51] 713*2^1430842-1 is not prime. Res64: B288FF70ED32C9A5 Time : 0.0 sec. user=mdettweiler [2016-05-30 09:52:51] 743*2^1430842-1 is not prime. Res64: FF163342773F864C Time : 0.0 sec. user=mdettweiler [2016-05-30 10:05:25] 777*2^1430842-1 is not prime. Res64: D6B5381A5363CD2F Time : 0.0 sec. user=mdettweiler [2016-05-30 10:05:27] 885*2^1430842-1 is not prime. Res64: B83595F85C353DF8 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:05:28] 923*2^1430842-1 is not prime. Res64: 3240793E41F53EA9 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:05:30] 619*2^1430843-1 is not prime. Res64: 2155E92B90E8BFBE Time : 0.0 sec. user=mdettweiler [2016-05-30 10:05:31] 805*2^1430843-1 is not prime. Res64: 6037FDC9D73D053F Time : 0.0 sec. user=mdettweiler [2016-05-30 10:10:45] 823*2^1430843-1 is not prime. Res64: 4CB2B3711B063A0C Time : 0.0 sec. user=mdettweiler [2016-05-30 10:10:45] 895*2^1430843-1 is not prime. Res64: 87C57EB705D3615E Time : 0.0 sec. user=mdettweiler [2016-05-30 10:10:46] 973*2^1430843-1 is not prime. Res64: 251B030422DF8626 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:10:46] 627*2^1430844-1 is not prime. Res64: 7EDFAB49E69F0CA7 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:10:47] 639*2^1430844-1 is not prime. Res64: A29E6F69EFA2EBAE Time : 0.0 sec. user=mdettweiler [2016-05-30 10:22:00] 663*2^1430844-1 is not prime. Res64: 0421E99CEF2F5CB3 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:22:00] 705*2^1430844-1 is not prime. Res64: 56FC44A18A05EC80 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:22:01] 737*2^1430844-1 is not prime. Res64: C5CC4DBEE050909C Time : 0.0 sec. user=mdettweiler [2016-05-30 10:22:01] 909*2^1430844-1 is not prime. Res64: CFA807020DC8C9E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:22:01] 965*2^1430844-1 is not prime. Res64: 518E87194E54658F Time : 0.0 sec. user=mdettweiler [2016-05-30 10:41:37] 975*2^1430844-1 is not prime. Res64: 820B2334AF3AF8E0 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:41:38] 799*2^1430845-1 is not prime. Res64: 6C29BF7394E131F7 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:41:38] 819*2^1430845-1 is not prime. Res64: D2F132EA315718B4 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:41:38] 831*2^1430845-1 is not prime. Res64: 1B811DCDC7CAE40B Time : 0.0 sec. user=mdettweiler [2016-05-30 10:41:38] 677*2^1430846-1 is not prime. Res64: 4388943DB223CE4D Time : 0.0 sec. user=mdettweiler [2016-05-30 10:53:49] 813*2^1430846-1 is not prime. Res64: A124F25C0824DE4A Time : 0.0 sec. user=mdettweiler [2016-05-30 10:53:49] 825*2^1430846-1 is not prime. Res64: 32A320EF185C64AA Time : 0.0 sec. user=mdettweiler [2016-05-30 10:53:49] 965*2^1430846-1 is not prime. Res64: 4A2F686580E24346 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:53:50] 711*2^1430847-1 is not prime. Res64: DBD733874A7CC1B4 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:53:50] 823*2^1430847-1 is not prime. Res64: 353FA5D7650F1ABD Time : 0.0 sec. user=mdettweiler [2016-05-30 10:59:14] 657*2^1430848-1 is not prime. Res64: D6BA29B83DA1CC25 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:59:14] 677*2^1430848-1 is not prime. Res64: 9D552AA1B7932742 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:59:14] 705*2^1430848-1 is not prime. Res64: 08384739EFE31254 Time : 0.0 sec. user=mdettweiler [2016-05-30 10:59:15] 777*2^1430848-1 is not prime. Res64: C0007B587C60C8BA Time : 0.0 sec. user=mdettweiler [2016-05-30 10:59:15] 827*2^1430848-1 is not prime. Res64: 62A198772090E325 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:11:02] 843*2^1430848-1 is not prime. Res64: AB7388D101BFB13F Time : 0.0 sec. user=mdettweiler [2016-05-30 11:11:03] 849*2^1430848-1 is not prime. Res64: 1B85130D33C45FB0 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:11:03] 875*2^1430848-1 is not prime. Res64: CAF302BB3E17C4E2 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:11:03] 999*2^1430848-1 is not prime. Res64: 2CEF4FBD1BEF37F1 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:11:04] 657*2^1430849-1 is not prime. Res64: 098CF1D9ADE14A9F Time : 0.0 sec. user=mdettweiler [2016-05-30 11:29:57] 847*2^1430849-1 is not prime. Res64: C96E9BC4A0DD0590 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:29:58] 985*2^1430849-1 is not prime. Res64: 5D5B153DCD7C54F6 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:29:58] 671*2^1430850-1 is not prime. Res64: 942858E495E50B67 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:29:58] 783*2^1430850-1 is not prime. Res64: 6E823C98B0BF0051 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:29:59] 851*2^1430850-1 is not prime. Res64: 65C53FD57D4B7EEA Time : 0.0 sec. user=mdettweiler [2016-05-30 11:41:30] 933*2^1430850-1 is not prime. Res64: 1D78298D835E908A Time : 0.0 sec. user=mdettweiler [2016-05-30 11:41:30] 941*2^1430850-1 is not prime. Res64: 1BACBF46FDE9C6F0 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:41:31] 639*2^1430851-1 is not prime. Res64: 0D9E72B382A83E4E Time : 0.0 sec. user=mdettweiler [2016-05-30 11:41:31] 759*2^1430851-1 is not prime. Res64: 60E1861D2C10479C Time : 0.0 sec. user=mdettweiler [2016-05-30 11:41:31] 769*2^1430851-1 is not prime. Res64: F3EFE3D30582A760 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:46:25] 775*2^1430851-1 is not prime. Res64: 74BCF3095044464A Time : 0.0 sec. user=mdettweiler [2016-05-30 11:46:26] 801*2^1430851-1 is not prime. Res64: 827512AF5D5533EB Time : 0.0 sec. user=mdettweiler [2016-05-30 11:46:26] 859*2^1430851-1 is not prime. Res64: B58F483434DEFB7B Time : 0.0 sec. user=mdettweiler [2016-05-30 11:46:26] 913*2^1430851-1 is not prime. Res64: 03C84534B4A68DDD Time : 0.0 sec. user=mdettweiler [2016-05-30 11:46:27] 961*2^1430851-1 is not prime. Res64: 8E101A0B48346DE9 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:56:54] 973*2^1430851-1 is not prime. Res64: 1C6582279D88CBA0 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:56:54] 749*2^1430852-1 is not prime. Res64: 16FCB17F9DA567B5 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:56:54] 753*2^1430852-1 is not prime. Res64: A799E6101E48A99B Time : 0.0 sec. user=mdettweiler [2016-05-30 11:56:55] 885*2^1430852-1 is not prime. Res64: B86D6CC760A3CB31 Time : 0.0 sec. user=mdettweiler [2016-05-30 11:56:55] 983*2^1430852-1 is not prime. Res64: 7CB9A07619D43176 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:15:10] 609*2^1430853-1 is not prime. Res64: AB9F0EB77E532968 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:15:11] 639*2^1430853-1 is not prime. Res64: 9E842B6B7C0E20D8 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:15:11] 727*2^1430853-1 is not prime. Res64: 3007F17FB16463D4 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:15:12] 735*2^1430853-1 is not prime. Res64: 7AF7126BE39A799E Time : 0.0 sec. user=mdettweiler [2016-05-30 12:15:12] 951*2^1430853-1 is not prime. Res64: A271C90A748D33AA Time : 0.0 sec. user=mdettweiler [2016-05-30 12:26:35] 987*2^1430853-1 is not prime. Res64: 42A693150E00C80C Time : 0.0 sec. user=mdettweiler [2016-05-30 12:26:36] 971*2^1430854-1 is not prime. Res64: A266101D5B72F5DA Time : 0.0 sec. user=mdettweiler [2016-05-30 12:26:36] 983*2^1430854-1 is not prime. Res64: 4230CF5844BF209E Time : 0.0 sec. user=mdettweiler [2016-05-30 12:26:37] 619*2^1430855-1 is not prime. Res64: 1D62C51CA704A538 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:26:37] 643*2^1430855-1 is not prime. Res64: 7740244BFB24F6D5 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:31:26] 759*2^1430855-1 is not prime. Res64: 6046B55D3F416809 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:31:27] 825*2^1430855-1 is not prime. Res64: 74C509558733BAC5 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:31:27] 831*2^1430855-1 is not prime. Res64: E105A95735C172BE Time : 0.0 sec. user=mdettweiler [2016-05-30 12:31:28] 883*2^1430855-1 is not prime. Res64: 83B2CC085672FAE4 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:31:28] 623*2^1430856-1 is not prime. Res64: D7A059AE776951AD Time : 0.0 sec. user=mdettweiler [2016-05-30 12:42:05] 653*2^1430856-1 is not prime. Res64: 28FFFF190770A972 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:42:06] 669*2^1430856-1 is not prime. Res64: 32AF80D1C2E6E3D4 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:42:06] 735*2^1430856-1 is not prime. Res64: BAEDC596A4A7FB35 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:42:06] 759*2^1430856-1 is not prime. Res64: E8A74041EABB17C8 Time : 0.0 sec. user=mdettweiler [2016-05-30 12:42:06] 843*2^1430856-1 is not prime. Res64: 06035E3527BAB545 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:00:31] 903*2^1430856-1 is not prime. Res64: 7132131A204AB49D Time : 0.0 sec. user=mdettweiler [2016-05-30 13:00:33] 917*2^1430856-1 is not prime. Res64: 13820839672EA679 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:00:33] 645*2^1430857-1 is not prime. Res64: 79D8D8A66AC06FDF Time : 0.0 sec. user=mdettweiler [2016-05-30 13:00:34] 955*2^1430857-1 is not prime. Res64: 9E0D6E43F9E821D2 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:00:35] 767*2^1430858-1 is not prime. Res64: 94283CB9FE5D6714 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:12:04] 791*2^1430858-1 is not prime. Res64: 6AB5249182F9742E Time : 0.0 sec. user=mdettweiler [2016-05-30 13:12:04] 887*2^1430858-1 is not prime. Res64: 6F7C3D6EA243D4B6 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:12:05] 923*2^1430858-1 is not prime. Res64: 5FEE88E4942F7280 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:12:05] 945*2^1430858-1 is not prime. Res64: E4A0D1013036AB16 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:12:06] 977*2^1430858-1 is not prime. Res64: CAC37CFBABC0D096 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:17:01] 1001*2^1430858-1 is not prime. Res64: 7716C12C00218454 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:17:02] 615*2^1430859-1 is not prime. Res64: C65149338E6FFC29 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:17:02] 735*2^1430859-1 is not prime. Res64: D648E11272B3B98D Time : 0.0 sec. user=mdettweiler [2016-05-30 13:17:03] 745*2^1430859-1 is not prime. Res64: 144D1D80F091BACA Time : 0.0 sec. user=mdettweiler [2016-05-30 13:17:03] 859*2^1430859-1 is not prime. Res64: 57E634E81E8DDBEE Time : 0.0 sec. user=mdettweiler [2016-05-30 13:27:15] 603*2^1430860-1 is not prime. Res64: ADAEC7CB7DB7CA5E Time : 0.0 sec. user=mdettweiler [2016-05-30 13:27:15] 635*2^1430860-1 is not prime. Res64: 0D4A466A12706C55 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:27:15] 675*2^1430860-1 is not prime. Res64: 9C53FD7A7507AD60 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:27:16] 707*2^1430860-1 is not prime. Res64: 0B144959A0E7F08F Time : 0.0 sec. user=mdettweiler [2016-05-30 13:27:16] 813*2^1430860-1 is not prime. Res64: B707430F35A245B0 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:45:36] 905*2^1430860-1 is not prime. Res64: F0D3521E8D4B7822 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:45:36] 959*2^1430860-1 is not prime. Res64: C5D7F4A0D6C8CD39 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:45:37] 675*2^1430861-1 is not prime. Res64: C030F28FDD035171 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:45:37] 741*2^1430861-1 is not prime. Res64: 2DF46A33741D017D Time : 0.0 sec. user=mdettweiler [2016-05-30 13:45:37] 757*2^1430861-1 is not prime. Res64: 817B358135FD3E06 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:57:37] 777*2^1430861-1 is not prime. Res64: 082C2FF2B153455B Time : 0.0 sec. user=mdettweiler [2016-05-30 13:57:37] 859*2^1430861-1 is not prime. Res64: 26A260F7ED2A3B35 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:57:37] 939*2^1430861-1 is not prime. Res64: A66113338DA15F4C Time : 0.0 sec. user=mdettweiler [2016-05-30 13:57:38] 627*2^1430862-1 is not prime. Res64: 48AE731106B849F2 Time : 0.0 sec. user=mdettweiler [2016-05-30 13:57:38] 747*2^1430862-1 is not prime. Res64: C3197DC367B20BFA Time : 0.0 sec. user=mdettweiler [2016-05-30 14:02:18] 833*2^1430862-1 is not prime. Res64: 5BB66BEAF4CDEFA6 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:02:20] 873*2^1430862-1 is not prime. Res64: 0BE047DFDEB20314 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:02:21] 975*2^1430862-1 is not prime. Res64: 19C996E392F9F363 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:02:22] 983*2^1430862-1 is not prime. Res64: A6FBA7FBEE9BA215 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:02:23] 1001*2^1430862-1 is not prime. Res64: E5E5ACD439B18393 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:12:28] 679*2^1430863-1 is not prime. Res64: 37E376E122D30472 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:12:29] 681*2^1430863-1 is not prime. Res64: 2B81144AF08FF6BC Time : 0.0 sec. user=mdettweiler [2016-05-30 14:12:29] 723*2^1430863-1 is not prime. Res64: 7DD166F9FFA53CA2 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:12:30] 765*2^1430863-1 is not prime. Res64: 6532542D7927DAFF Time : 0.0 sec. user=mdettweiler [2016-05-30 14:12:30] 951*2^1430863-1 is not prime. Res64: 4ECD8322E592BCEF Time : 0.0 sec. user=mdettweiler [2016-05-30 14:31:30] 993*2^1430863-1 is not prime. Res64: 7ADC6BC1464A0476 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:31:31] 609*2^1430864-1 is not prime. Res64: 06AD1A5AADD50A99 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:31:31] 683*2^1430864-1 is not prime. Res64: A87BDCD6B56DDC20 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:31:31] 689*2^1430864-1 is not prime. Res64: 4109144848760589 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:31:31] 717*2^1430864-1 is not prime. Res64: EEFF2170EBCF996D Time : 0.0 sec. user=mdettweiler [2016-05-30 14:43:24] 743*2^1430864-1 is not prime. Res64: D32345018F2CEE82 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:43:25] 773*2^1430864-1 is not prime. Res64: 50C0FDA2A7F194B8 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:43:25] 857*2^1430864-1 is not prime. Res64: 37193E5C2C2F42E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:43:25] 897*2^1430864-1 is not prime. Res64: 0236B11E27458F8B Time : 0.0 sec. user=mdettweiler [2016-05-30 14:43:25] 917*2^1430864-1 is not prime. Res64: 887C55B49D98EADF Time : 0.0 sec. user=mdettweiler [2016-05-30 14:48:29] 923*2^1430864-1 is not prime. Res64: 89DD4F5996AC8795 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:48:29] 657*2^1430865-1 is not prime. Res64: 16960150E372C4C5 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:48:29] 679*2^1430865-1 is not prime. Res64: 81E66771C74EEA2B Time : 0.0 sec. user=mdettweiler [2016-05-30 14:48:30] 727*2^1430865-1 is not prime. Res64: 6EC43D0565241BEC Time : 0.0 sec. user=mdettweiler [2016-05-30 14:48:30] 765*2^1430865-1 is not prime. Res64: 48CCEA7A2AD9BFB7 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:58:27] 811*2^1430865-1 is not prime. Res64: FEF464C7AF5A0681 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:58:28] 937*2^1430865-1 is not prime. Res64: E8D79D440B33DC50 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:58:28] 991*2^1430865-1 is not prime. Res64: 667EFE90F0A26B2B Time : 0.0 sec. user=mdettweiler [2016-05-30 14:58:28] 611*2^1430866-1 is not prime. Res64: 0A30656F383E44F7 Time : 0.0 sec. user=mdettweiler [2016-05-30 14:58:28] 843*2^1430866-1 is not prime. Res64: B4D77EC9512EFD95 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:17:00] 873*2^1430866-1 is not prime. Res64: 437EF1648D310A5A Time : 0.0 sec. user=mdettweiler [2016-05-30 15:17:01] 631*2^1430867-1 is not prime. Res64: 25401D1E38A1C9A4 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:17:01] 633*2^1430867-1 is not prime. Res64: A2FD56FB46DC2469 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:17:01] 823*2^1430867-1 is not prime. Res64: 2F5775BF99738905 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:17:02] 895*2^1430867-1 is not prime. Res64: 1C9A05A022583C62 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:28:37] 915*2^1430867-1 is not prime. Res64: 2D77FF1158411E6F Time : 0.0 sec. user=mdettweiler [2016-05-30 15:28:37] 981*2^1430867-1 is not prime. Res64: 820583E72C6604B2 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:28:37] 723*2^1430868-1 is not prime. Res64: 0639D396D860A90B Time : 0.0 sec. user=mdettweiler [2016-05-30 15:28:37] 753*2^1430868-1 is not prime. Res64: 0D766CFF0BF3F3A3 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:28:38] 615*2^1430869-1 is not prime. Res64: 4AA223C47D91018E Time : 0.0 sec. user=mdettweiler [2016-05-30 15:33:41] 639*2^1430869-1 is not prime. Res64: 781C9BC93A818971 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:33:41] 649*2^1430869-1 is not prime. Res64: AB3D924407E2A06B Time : 0.0 sec. user=mdettweiler [2016-05-30 15:33:41] 699*2^1430869-1 is not prime. Res64: 6B1FBEE5800132F4 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:33:41] 769*2^1430869-1 is not prime. Res64: 0997F408A24C23DE Time : 0.0 sec. user=mdettweiler [2016-05-30 15:33:42] 919*2^1430869-1 is not prime. Res64: C1D0EBD6F9A33DF6 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:43:43] 651*2^1430870-1 is not prime. Res64: 58A9DD21E54066A9 Time : 0.0 sec. user=mdettweiler [2016-05-30 15:43:44] 915*2^1430870-1 is not prime. Res64: ED88A73028E6AADF Time : 0.0 sec. user=mdettweiler [2016-05-30 15:43:44] 971*2^1430870-1 is not prime. Res64: 2F8B45D61A25549D Time : 0.0 sec. user=mdettweiler [2016-05-30 15:43:45] 685*2^1430871-1 is not prime. Res64: 08BD251A5DC58AFC Time : 0.0 sec. user=mdettweiler [2016-05-30 15:43:45] 745*2^1430871-1 is not prime. Res64: E8300A3671C13E4B Time : 0.0 sec. user=mdettweiler [2016-05-30 16:03:08] 781*2^1430871-1 is not prime. Res64: A244C6AA6A79ACF7 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:03:09] 829*2^1430871-1 is not prime. Res64: 4F84384E49E206C4 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:03:10] 921*2^1430871-1 is not prime. Res64: 5D19BBB26968BFF2 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:03:11] 803*2^1430872-1 is not prime. Res64: E81A28D3E268E51B Time : 0.0 sec. user=mdettweiler [2016-05-30 16:03:12] 827*2^1430872-1 is not prime. Res64: D97DAC2054FB679F Time : 0.0 sec. user=mdettweiler [2016-05-30 16:14:52] 869*2^1430872-1 is not prime. Res64: C0581BF53757A14A Time : 0.0 sec. user=mdettweiler [2016-05-30 16:14:53] 947*2^1430872-1 is not prime. Res64: EB58A18CDCD36CB7 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:14:53] 607*2^1430873-1 is not prime. Res64: 3DBAFEC7F2A995CE Time : 0.0 sec. user=mdettweiler [2016-05-30 16:14:54] 615*2^1430873-1 is not prime. Res64: DCD440F92CEA826C Time : 0.0 sec. user=mdettweiler [2016-05-30 16:14:54] 769*2^1430873-1 is not prime. Res64: B23674E77EA5F8A9 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:20:06] 937*2^1430873-1 is not prime. Res64: C05FDA8EF824C0A1 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:20:06] 611*2^1430874-1 is not prime. Res64: D28D0AF81DAD062C Time : 0.0 sec. user=mdettweiler [2016-05-30 16:20:07] 651*2^1430874-1 is not prime. Res64: 60FA781CFAAAD5BD Time : 0.0 sec. user=mdettweiler [2016-05-30 16:20:07] 657*2^1430874-1 is not prime. Res64: 0F85F5A7DCAFAA31 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:20:08] 663*2^1430874-1 is not prime. Res64: 21DB30BC5F37F528 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:30:17] 707*2^1430874-1 is not prime. Res64: 4A367DF4031D088A Time : 0.0 sec. user=mdettweiler [2016-05-30 16:30:17] 815*2^1430874-1 is not prime. Res64: ACA116D45ECE718D Time : 0.0 sec. user=mdettweiler [2016-05-30 16:30:17] 601*2^1430875-1 is not prime. Res64: FAB4A0C6FD9CE74F Time : 0.0 sec. user=mdettweiler [2016-05-30 16:30:18] 619*2^1430875-1 is not prime. Res64: 5B6B874DD4F83E11 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:30:18] 855*2^1430875-1 is not prime. Res64: 5DD4118EB139F8CB Time : 0.0 sec. user=mdettweiler [2016-05-30 16:48:48] 609*2^1430876-1 is not prime. Res64: 7B2C25AB5D376003 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:48:48] 707*2^1430876-1 is not prime. Res64: AC8CE99860AB51B6 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:48:48] 843*2^1430876-1 is not prime. Res64: B469C529C44A33B1 Time : 0.0 sec. user=mdettweiler [2016-05-30 16:48:49] 963*2^1430876-1 is not prime. Res64: 49920F3CBF6A423C Time : 0.0 sec. user=mdettweiler [2016-05-30 16:48:49] 607*2^1430877-1 is not prime. Res64: 1F9BBB405E13AABA Time : 0.0 sec. user=mdettweiler [2016-05-30 17:00:09] 651*2^1430877-1 is not prime. Res64: 3DC770CEE81E829B Time : 0.0 sec. user=mdettweiler [2016-05-30 17:00:10] 661*2^1430877-1 is not prime. Res64: 43695A6D1DD0EC70 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:00:10] 699*2^1430877-1 is not prime. Res64: 24095869A021C33A Time : 0.0 sec. user=mdettweiler [2016-05-30 17:00:11] 741*2^1430877-1 is not prime. Res64: CA37D19522707647 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:00:11] 751*2^1430877-1 is not prime. Res64: E2AAC447E0C61DF1 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:05:29] 759*2^1430877-1 is not prime. Res64: FBE96AD0272D0295 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:05:30] 769*2^1430877-1 is not prime. Res64: 1AB2D67D9B45645C Time : 0.0 sec. user=mdettweiler [2016-05-30 17:05:30] 781*2^1430877-1 is not prime. Res64: D2685070068EB776 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:05:31] 865*2^1430877-1 is not prime. Res64: 1FE7AD96B1B49A94 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:05:32] 885*2^1430877-1 is not prime. Res64: 0DC19335D1083DB3 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:15:43] 891*2^1430877-1 is not prime. Res64: C48632F337D231D7 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:15:44] 901*2^1430877-1 is not prime. Res64: EC98FFD3EBD477AD Time : 0.0 sec. user=mdettweiler [2016-05-30 17:15:44] 915*2^1430877-1 is not prime. Res64: 01C8E0EE505619BA Time : 0.0 sec. user=mdettweiler [2016-05-30 17:15:45] 949*2^1430877-1 is not prime. Res64: D7C19EC4D213BC52 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:15:45] 611*2^1430878-1 is not prime. Res64: 74217BC16C1E8C4F Time : 0.0 sec. user=mdettweiler [2016-05-30 17:33:56] 705*2^1430878-1 is not prime. Res64: 10FDBC86F40AEF1E Time : 0.0 sec. user=mdettweiler [2016-05-30 17:33:56] 831*2^1430878-1 is not prime. Res64: A5735FA351E41D12 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:33:57] 857*2^1430878-1 is not prime. Res64: B85E168FEE7EBD6A Time : 0.0 sec. user=mdettweiler [2016-05-30 17:33:57] 867*2^1430878-1 is not prime. Res64: 3BDD250530E318A8 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:33:58] 1001*2^1430878-1 is not prime. Res64: F5494F0741E96C96 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:45:05] 703*2^1430879-1 is not prime. Res64: 37D18F152090ADB3 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:45:05] 843*2^1430879-1 is not prime. Res64: A6D69830045CA208 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:45:06] 913*2^1430879-1 is not prime. Res64: 7B3F5BA022BDDEB6 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:45:06] 939*2^1430879-1 is not prime. Res64: 0AF621DE682FB71B Time : 0.0 sec. user=mdettweiler [2016-05-30 17:45:06] 999*2^1430879-1 is not prime. Res64: 788AAFA3D1783CC7 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:50:46] 633*2^1430880-1 is not prime. Res64: 1BFE34CCD7C166BD Time : 0.0 sec. user=mdettweiler [2016-05-30 17:50:47] 635*2^1430880-1 is not prime. Res64: C3A4E66C0CE08152 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:50:47] 753*2^1430880-1 is not prime. Res64: A5589510A48434C9 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:50:48] 873*2^1430880-1 is not prime. Res64: 3566FF77EAEB4877 Time : 0.0 sec. user=mdettweiler [2016-05-30 17:50:48] 909*2^1430880-1 is not prime. Res64: E312BD1CCF52C6D5 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:01:15] 975*2^1430880-1 is not prime. Res64: 9046709A39551BF4 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:01:17] 651*2^1430881-1 is not prime. Res64: 0C847A2EF21A5E3D Time : 0.0 sec. user=mdettweiler [2016-05-30 18:01:18] 681*2^1430881-1 is not prime. Res64: B673F2519A320BDC Time : 0.0 sec. user=mdettweiler [2016-05-30 18:01:19] 687*2^1430881-1 is not prime. Res64: 972A9F015EDC189A Time : 0.0 sec. user=mdettweiler [2016-05-30 18:01:20] 741*2^1430881-1 is not prime. Res64: 0312A7A84887D294 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:20:37] 877*2^1430881-1 is not prime. Res64: FC04E3E863351624 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:20:37] 925*2^1430881-1 is not prime. Res64: 090BCEF7664B1993 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:20:37] 931*2^1430881-1 is not prime. Res64: 86682D60E53B6223 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:20:38] 937*2^1430881-1 is not prime. Res64: E5597931C6A2AAB6 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:20:38] 945*2^1430881-1 is not prime. Res64: 36FF9C49CA6C0040 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:32:23] 957*2^1430881-1 is not prime. Res64: A6BAABE9DC9EB976 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:32:23] 967*2^1430881-1 is not prime. Res64: 1359392826CBD409 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:32:24] 987*2^1430881-1 is not prime. Res64: FE5A9D326D488846 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:32:24] 603*2^1430882-1 is not prime. Res64: CFD672D11150DC94 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:32:24] 677*2^1430882-1 is not prime. Res64: ADBEBD6246D0C4D2 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:37:57] 753*2^1430882-1 is not prime. Res64: 7B0A422AF2294AA3 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:37:57] 833*2^1430882-1 is not prime. Res64: B119D329600B05D9 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:37:57] 837*2^1430882-1 is not prime. Res64: 823E3626643A1C5F Time : 0.0 sec. user=mdettweiler [2016-05-30 18:37:58] 911*2^1430882-1 is not prime. Res64: 7701389042830B46 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:37:58] 625*2^1430883-1 is not prime. Res64: DDA8B90AFF8D7D4C Time : 0.0 sec. user=mdettweiler [2016-05-30 18:48:55] 801*2^1430883-1 is not prime. Res64: 291A709FD18EC566 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:48:55] 963*2^1430883-1 is not prime. Res64: BDE4D4639C947D0E Time : 0.0 sec. user=mdettweiler [2016-05-30 18:48:55] 605*2^1430884-1 is not prime. Res64: 9539ECA7B2D4D6AD Time : 0.0 sec. user=mdettweiler [2016-05-30 18:48:56] 773*2^1430884-1 is not prime. Res64: 6920F0A3050EAFD2 Time : 0.0 sec. user=mdettweiler [2016-05-30 18:48:56] 873*2^1430884-1 is not prime. Res64: 374BD615C5A9AEAA Time : 0.0 sec. user=mdettweiler [2016-05-30 19:06:08] 939*2^1430884-1 is not prime. Res64: 8E7713C14D9D38A6 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:06:09] 993*2^1430884-1 is not prime. Res64: 259195522B0FD7F7 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:06:10] 675*2^1430885-1 is not prime. Res64: D0C61C675F45D844 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:06:11] 697*2^1430885-1 is not prime. Res64: E51697AC1D4AA1D4 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:06:11] 721*2^1430885-1 is not prime. Res64: 5D109E42109825ED Time : 0.0 sec. user=mdettweiler [2016-05-30 19:17:26] 727*2^1430885-1 is not prime. Res64: 32B3D63A3FA494FE Time : 0.0 sec. user=mdettweiler [2016-05-30 19:17:26] 775*2^1430885-1 is not prime. Res64: D710C75C9B71FC10 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:17:27] 787*2^1430885-1 is not prime. Res64: 251B72C989B1122E Time : 0.0 sec. user=mdettweiler [2016-05-30 19:17:27] 861*2^1430885-1 is not prime. Res64: ECF23B7E43A54F10 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:17:27] 897*2^1430885-1 is not prime. Res64: 7DE3FB07493E4C10 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:23:03] 705*2^1430886-1 is not prime. Res64: 1B544264DA36C0EF Time : 0.0 sec. user=mdettweiler [2016-05-30 19:23:03] 737*2^1430886-1 is not prime. Res64: 643E8DA15E255621 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:23:03] 825*2^1430886-1 is not prime. Res64: 76846D9B491B8B01 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:23:04] 891*2^1430886-1 is not prime. Res64: 3A19E5C731355B9C Time : 0.0 sec. user=mdettweiler [2016-05-30 19:23:04] 923*2^1430886-1 is not prime. Res64: D9E804CEC7FB30A2 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:34:09] 741*2^1430887-1 is not prime. Res64: D36246A886A36068 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:34:10] 909*2^1430887-1 is not prime. Res64: 92B4F834046389E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:34:10] 919*2^1430887-1 is not prime. Res64: BDF4E3ADB61F26FD Time : 0.0 sec. user=mdettweiler [2016-05-30 19:34:10] 975*2^1430887-1 is not prime. Res64: D5123A0687A21674 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:34:11] 657*2^1430888-1 is not prime. Res64: C3C4AF78419A032A Time : 0.0 sec. user=mdettweiler [2016-05-30 19:51:20] 777*2^1430888-1 is not prime. Res64: E6819C1A64641A1E Time : 0.0 sec. user=mdettweiler [2016-05-30 19:51:20] 825*2^1430888-1 is not prime. Res64: 4FFC545939144039 Time : 0.0 sec. user=mdettweiler [2016-05-30 19:51:21] 839*2^1430888-1 is not prime. Res64: D682E20CC58BF87F Time : 0.0 sec. user=mdettweiler [2016-05-30 19:51:21] 923*2^1430888-1 is not prime. Res64: F61C67FF6965113A Time : 0.0 sec. user=mdettweiler [2016-05-30 19:51:21] 927*2^1430888-1 is not prime. Res64: CDAB16F96208A69D Time : 0.0 sec. user=mdettweiler [2016-05-30 20:02:46] 935*2^1430888-1 is not prime. Res64: E160077F42739F48 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:02:47] 969*2^1430888-1 is not prime. Res64: 9B581CC5BFC4CECD Time : 0.0 sec. user=mdettweiler [2016-05-30 20:02:47] 681*2^1430889-1 is not prime. Res64: EA2EB0E3CB2822B3 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:02:48] 705*2^1430889-1 is not prime. Res64: EFE46CC0547942FE Time : 0.0 sec. user=mdettweiler [2016-05-30 20:02:48] 831*2^1430889-1 is not prime. Res64: 509B2DACE83DA46C Time : 0.0 sec. user=mdettweiler [2016-05-30 20:08:18] 865*2^1430889-1 is not prime. Res64: 34C0477EEBCE4A5D Time : 0.0 sec. user=mdettweiler [2016-05-30 20:08:19] 987*2^1430889-1 is not prime. Res64: 080C696ABFFD196C Time : 0.0 sec. user=mdettweiler [2016-05-30 20:08:19] 677*2^1430890-1 is not prime. Res64: A70E7228B1598F9E Time : 0.0 sec. user=mdettweiler [2016-05-30 20:08:20] 687*2^1430890-1 is not prime. Res64: D0FC1CCA57AC7974 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:08:21] 717*2^1430890-1 is not prime. Res64: 9F42BA072C507B2D Time : 0.0 sec. user=mdettweiler [2016-05-30 20:19:12] 735*2^1430890-1 is not prime. Res64: B8C56AE95BB5DD4B Time : 0.0 sec. user=mdettweiler [2016-05-30 20:19:13] 741*2^1430890-1 is not prime. Res64: B0D7CD9C40E10767 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:19:13] 801*2^1430890-1 is not prime. Res64: 396A86084C0F727E Time : 0.0 sec. user=mdettweiler [2016-05-30 20:19:13] 825*2^1430890-1 is not prime. Res64: 7502A094D16CC14B Time : 0.0 sec. user=mdettweiler [2016-05-30 20:19:14] 831*2^1430890-1 is not prime. Res64: E3D8B1791F779B2A Time : 0.0 sec. user=mdettweiler [2016-05-30 20:36:25] 845*2^1430890-1 is not prime. Res64: E620752728DA4440 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:36:26] 651*2^1430891-1 is not prime. Res64: E6D71B20E1E4C86E Time : 0.0 sec. user=mdettweiler [2016-05-30 20:36:26] 675*2^1430891-1 is not prime. Res64: 513D3131C78A9BCC Time : 0.0 sec. user=mdettweiler [2016-05-30 20:36:26] 715*2^1430891-1 is not prime. Res64: B096CC79FE37669E Time : 0.0 sec. user=mdettweiler [2016-05-30 20:36:27] 741*2^1430891-1 is not prime. Res64: 9F50FE372E902C77 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:48:27] 981*2^1430891-1 is not prime. Res64: 508F5EEC8C7D93AF Time : 0.0 sec. user=mdettweiler [2016-05-30 20:48:27] 999*2^1430891-1 is not prime. Res64: 44ECF7654B9C5CB9 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:48:27] 605*2^1430892-1 is not prime. Res64: A84280D473808C9D Time : 0.0 sec. user=mdettweiler [2016-05-30 20:48:27] 627*2^1430892-1 is not prime. Res64: A983B6C9DB940A67 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:48:28] 635*2^1430892-1 is not prime. Res64: BFEDCC4B18C4564A Time : 0.0 sec. user=mdettweiler [2016-05-30 20:53:47] 665*2^1430892-1 is not prime. Res64: 40348E8A4F9C7C23 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:53:48] 675*2^1430892-1 is not prime. Res64: E7FBAF1F7879EE36 Time : 0.0 sec. user=mdettweiler [2016-05-30 20:53:48] 749*2^1430892-1 is not prime. Res64: 76A860F2149B073A Time : 0.0 sec. user=mdettweiler [2016-05-30 20:53:48] 767*2^1430892-1 is not prime. Res64: 0323EBAB97B5C48F Time : 0.0 sec. user=mdettweiler [2016-05-30 20:53:48] 797*2^1430892-1 is not prime. Res64: F20BC2BD93C18C9C Time : 0.0 sec. user=mdettweiler [2016-05-30 21:04:26] 899*2^1430892-1 is not prime. Res64: B289C0D6D2F955CF Time : 0.0 sec. user=mdettweiler [2016-05-30 21:04:28] 957*2^1430892-1 is not prime. Res64: AA8E9F9D9BE78A33 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:04:30] 977*2^1430892-1 is not prime. Res64: AFDA077FDF0A32F8 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:04:32] 715*2^1430893-1 is not prime. Res64: 9A1BA0C6171AFEBD Time : 0.0 sec. user=mdettweiler [2016-05-30 21:04:34] 721*2^1430893-1 is not prime. Res64: 0770AB9CFF175A4D Time : 0.0 sec. user=mdettweiler [2016-05-30 21:21:27] 987*2^1430893-1 is not prime. Res64: C1A5A1CAF0DB1CD4 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:21:27] 605*2^1430894-1 is not prime. Res64: D4DB27361FA932FC Time : 0.0 sec. user=mdettweiler [2016-05-30 21:21:28] 773*2^1430894-1 is not prime. Res64: 98AEF82CB9309F58 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:21:28] 795*2^1430894-1 is not prime. Res64: 787DDCB04406CE80 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:21:28] 813*2^1430894-1 is not prime. Res64: 40DBE6BEAEEB3896 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:33:36] 679*2^1430895-1 is not prime. Res64: B4626578928704E1 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:33:37] 705*2^1430895-1 is not prime. Res64: 87FF91859AA1F7CB Time : 0.0 sec. user=mdettweiler [2016-05-30 21:33:37] 741*2^1430895-1 is not prime. Res64: 3E8FDCDB1C616EEE Time : 0.0 sec. user=mdettweiler [2016-05-30 21:33:37] 695*2^1430896-1 is not prime. Res64: 240FD826522F472D Time : 0.0 sec. user=mdettweiler [2016-05-30 21:33:37] 755*2^1430896-1 is not prime. Res64: A9DE68DE94E15FCB Time : 0.0 sec. user=mdettweiler [2016-05-30 21:38:45] 905*2^1430896-1 is not prime. Res64: 3F4E9266B164E3B9 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:38:46] 939*2^1430896-1 is not prime. Res64: 8B76F0AC23240716 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:38:46] 711*2^1430897-1 is not prime. Res64: 428C6880DE2C5B46 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:38:46] 729*2^1430897-1 is not prime. Res64: 02D4A5F258B5E041 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:38:46] 771*2^1430897-1 is not prime. Res64: 8FE9D50576648B81 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:50:08] 777*2^1430897-1 is not prime. Res64: E1BDD28463F703B6 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:50:09] 979*2^1430897-1 is not prime. Res64: F097834A920F132E Time : 0.0 sec. user=mdettweiler [2016-05-30 21:50:09] 663*2^1430898-1 is not prime. Res64: AE3975679E7D15AF Time : 0.0 sec. user=mdettweiler [2016-05-30 21:50:09] 681*2^1430898-1 is not prime. Res64: A25F9CA423C1C1F3 Time : 0.0 sec. user=mdettweiler [2016-05-30 21:50:10] 731*2^1430898-1 is not prime. Res64: 4121C41AE882377F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:06:47] 735*2^1430898-1 is not prime. Res64: 911FD90A98E4DFE3 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:06:48] 963*2^1430898-1 is not prime. Res64: 2975738039279420 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:06:49] 601*2^1430899-1 is not prime. Res64: 1864611FCD2AC07F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:06:49] 649*2^1430899-1 is not prime. Res64: 54FB6B2D0E1F2A59 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:06:50] 723*2^1430899-1 is not prime. Res64: DC204CC2850C232B Time : 0.0 sec. user=mdettweiler [2016-05-30 22:18:57] 751*2^1430899-1 is not prime. Res64: 6FE67824AC21BF9F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:18:58] 759*2^1430899-1 is not prime. Res64: A542B1EE0F2E0E5F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:18:58] 873*2^1430899-1 is not prime. Res64: 4B7DF8CAA9B51449 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:18:59] 919*2^1430899-1 is not prime. Res64: F6195A1FF10FAAB7 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:18:59] 985*2^1430899-1 is not prime. Res64: 196C539C63AFFE01 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:23:52] 803*2^1430900-1 is not prime. Res64: C25706F3DB4A37B9 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:23:52] 825*2^1430900-1 is not prime. Res64: 0D01B71810150A4F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:23:52] 875*2^1430900-1 is not prime. Res64: 330EE6622E5B828F Time : 0.0 sec. user=mdettweiler [2016-05-30 22:23:53] 899*2^1430900-1 is not prime. Res64: F588ECDDE431A215 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:23:53] 711*2^1430901-1 is not prime. Res64: 2AE06A121CF6DD0A Time : 0.0 sec. user=mdettweiler [2016-05-30 22:35:28] 751*2^1430901-1 is not prime. Res64: 96536AF8DD11D1A2 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:35:29] 927*2^1430901-1 is not prime. Res64: BB5F2D5B74E7A25B Time : 0.0 sec. user=mdettweiler [2016-05-30 22:35:29] 951*2^1430901-1 is not prime. Res64: 8F65D2999240F95C Time : 0.0 sec. user=mdettweiler [2016-05-30 22:35:30] 961*2^1430901-1 is not prime. Res64: 3C4CEBF3E8359FE6 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:35:30] 623*2^1430902-1 is not prime. Res64: E3CEB63574F2324A Time : 0.0 sec. user=mdettweiler [2016-05-30 22:52:00] 657*2^1430902-1 is not prime. Res64: 97F6B9E3B92ED374 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:52:00] 681*2^1430902-1 is not prime. Res64: D6019C7493CD5EE2 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:52:00] 951*2^1430902-1 is not prime. Res64: E7877DC856F78DF1 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:52:01] 1001*2^1430902-1 is not prime. Res64: A32DDCD192F3DF18 Time : 0.0 sec. user=mdettweiler [2016-05-30 22:52:01] 619*2^1430903-1 is not prime. Res64: B38E30CB6FEE7A2B Time : 0.0 sec. user=mdettweiler [2016-05-30 23:04:14] 621*2^1430903-1 is not prime. Res64: 5D531044B0CE611E Time : 0.0 sec. user=mdettweiler [2016-05-30 23:04:16] 739*2^1430903-1 is not prime. Res64: 540AB1CA1FE57209 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:04:17] 939*2^1430903-1 is not prime. Res64: DD6292E44CCE88E4 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:04:18] 723*2^1430904-1 is not prime. Res64: 2926FE1047C893BD Time : 0.0 sec. user=mdettweiler [2016-05-30 23:04:19] 789*2^1430904-1 is not prime. Res64: 671AEF718C0602E9 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:09:14] 809*2^1430904-1 is not prime. Res64: F6E973DCEB8884B9 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:09:15] 863*2^1430904-1 is not prime. Res64: 76EB42001207AE3E Time : 0.0 sec. user=mdettweiler [2016-05-30 23:09:15] 959*2^1430904-1 is not prime. Res64: ED8915503D9CEAD3 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:09:16] 607*2^1430905-1 is not prime. Res64: 5A7ABB36722C0B72 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:09:16] 715*2^1430905-1 is not prime. Res64: 114C69DF0A95AFD6 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:20:37] 775*2^1430905-1 is not prime. Res64: DC7F62AF472A379E Time : 0.0 sec. user=mdettweiler [2016-05-30 23:20:37] 861*2^1430905-1 is not prime. Res64: 6DB34BD43B80AA63 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:20:38] 955*2^1430905-1 is not prime. Res64: D6CFC2B3791A7035 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:20:38] 985*2^1430905-1 is not prime. Res64: FC7B7F623063749C Time : 0.0 sec. user=mdettweiler [2016-05-30 23:20:38] 997*2^1430905-1 is not prime. Res64: 33B672BC906FA813 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:37:19] 603*2^1430906-1 is not prime. Res64: 11F32356BCA4A2E6 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:37:20] 711*2^1430906-1 is not prime. Res64: B8D39E28B62D824B Time : 0.0 sec. user=mdettweiler [2016-05-30 23:37:20] 717*2^1430906-1 is not prime. Res64: C58F48240A9DF180 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:37:20] 801*2^1430906-1 is not prime. Res64: 04FE6E2BCBEB73D7 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:37:21] 815*2^1430906-1 is not prime. Res64: 0EDF148150B46CB7 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:49:35] 867*2^1430906-1 is not prime. Res64: 700F9FCF393A117A Time : 0.0 sec. user=mdettweiler [2016-05-30 23:49:35] 873*2^1430906-1 is not prime. Res64: 7CC470C4DB80B16B Time : 0.0 sec. user=mdettweiler [2016-05-30 23:49:35] 971*2^1430906-1 is not prime. Res64: 40734AB16328249A Time : 0.0 sec. user=mdettweiler [2016-05-30 23:49:36] 993*2^1430906-1 is not prime. Res64: 9A6A881C4C2243B4 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:49:36] 643*2^1430907-1 is not prime. Res64: 17844F950F7ED0A3 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:54:30] 753*2^1430907-1 is not prime. Res64: 232BD4E279CE058E Time : 0.0 sec. user=mdettweiler [2016-05-30 23:54:31] 775*2^1430907-1 is not prime. Res64: D0300E9AA210E307 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:54:31] 781*2^1430907-1 is not prime. Res64: DCB35FF4DBE9F6EF Time : 0.0 sec. user=mdettweiler [2016-05-30 23:54:32] 879*2^1430907-1 is not prime. Res64: 064C9C2A20D2B8C7 Time : 0.0 sec. user=mdettweiler [2016-05-30 23:54:32] 975*2^1430907-1 is not prime. Res64: BAF633C8CB8576F3 Time : 0.0 sec.