user=mdettweiler [2015-06-14 00:09:08] 979*2^1400241-1 is not prime. Res64: 991DA44DAC7DCE97 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:08] 617*2^1400242-1 is not prime. Res64: D24D76811394FC77 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:14] 895*2^1400241-1 is not prime. Res64: D44B49DE3068ECFF Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:14] 901*2^1400241-1 is not prime. Res64: BCE54A8C396C7C16 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:16] 923*2^1400242-1 is not prime. Res64: EECA4962B19C0CB4 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:17] 1001*2^1400242-1 is not prime. Res64: 8C95D2216A7D126B Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:20] 735*2^1400242-1 is not prime. Res64: 77FFCE03D86C1447 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:09:20] 843*2^1400242-1 is not prime. Res64: D039CC0B0D6B9BA7 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:26:50] 759*2^1400243-1 is not prime. Res64: E8ED3DB4D317603A Time : 0.0 sec. user=mdettweiler [2015-06-14 00:26:51] 811*2^1400243-1 is not prime. Res64: E9185AFC6A93DFD5 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:26:57] 895*2^1400243-1 is not prime. Res64: D862F293803A1FE9 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:26:58] 609*2^1400244-1 is not prime. Res64: 7E1588AAD9649BA2 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:27:00] 629*2^1400244-1 is not prime. Res64: 1FC399025FBB3AEF Time : 0.0 sec. user=mdettweiler [2015-06-14 00:27:00] 693*2^1400244-1 is not prime. Res64: D3867E0E69DC3842 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:27:03] 707*2^1400244-1 is not prime. Res64: 84CDF37BC45069F1 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:27:03] 825*2^1400244-1 is not prime. Res64: 260B5E27891DCE72 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:38] 837*2^1400244-1 is not prime. Res64: C41A7B74AC44BB48 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:39] 929*2^1400244-1 is not prime. Res64: 0F54CDDCD031C047 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:40] 805*2^1400245-1 is not prime. Res64: 8BAD8578A0A9C2DE Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:41] 937*2^1400245-1 is not prime. Res64: 4B7B78B11AB7D30F Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:47] 741*2^1400245-1 is not prime. Res64: 3916944FDDF33DE7 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:47] 757*2^1400245-1 is not prime. Res64: 22DA76F8BB0C0898 Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:49] 603*2^1400246-1 is not prime. Res64: 7EEA0DA44CFC167F Time : 0.0 sec. user=mdettweiler [2015-06-14 00:44:50] 693*2^1400246-1 is not prime. Res64: DA4B64ADF65B2C90 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:24] 743*2^1400246-1 is not prime. Res64: 889C8D28CFC923B4 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:25] 873*2^1400246-1 is not prime. Res64: 01FECB7B585ED7F8 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:28] 993*2^1400246-1 is not prime. Res64: 09CD69B064D80137 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:29] 619*2^1400247-1 is not prime. Res64: 30BD77EE33557EF8 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:34] 917*2^1400246-1 is not prime. Res64: AA7076B22E0E398B Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:35] 941*2^1400246-1 is not prime. Res64: 281DD835F4AFD42F Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:40] 643*2^1400247-1 is not prime. Res64: 29B937C262AB2258 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:02:42] 675*2^1400247-1 is not prime. Res64: B7DF1A4F3F20F746 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:43] 691*2^1400247-1 is not prime. Res64: 505B6830CA731B29 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:43] 739*2^1400247-1 is not prime. Res64: E575E910C02C285D Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:50] 933*2^1400247-1 is not prime. Res64: 7EEB0860733FCB1D Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:50] 963*2^1400247-1 is not prime. Res64: DF192ED75D8904E8 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:57] 793*2^1400247-1 is not prime. Res64: D171BEB1470527A3 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:57] 829*2^1400247-1 is not prime. Res64: 6016CED08DEF0B24 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:57] 859*2^1400247-1 is not prime. Res64: A34982E5D12C42EC Time : 0.0 sec. user=mdettweiler [2015-06-14 01:20:58] 973*2^1400247-1 is not prime. Res64: CF38B0146AC9F11D Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:28] 979*2^1400247-1 is not prime. Res64: 8A978A961C86468B Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:29] 615*2^1400248-1 is not prime. Res64: 3049733984AB4343 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:31] 695*2^1400248-1 is not prime. Res64: 2E0A167CDC360417 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:32] 705*2^1400248-1 is not prime. Res64: 8A1BA86506277827 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:39] 875*2^1400248-1 is not prime. Res64: DDFDB18F1EFE343B Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:40] 933*2^1400248-1 is not prime. Res64: 8CF2AB54B0182C70 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:41] 813*2^1400248-1 is not prime. Res64: 1024CA813F5D1419 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:38:41] 827*2^1400248-1 is not prime. Res64: E12D286F28FF44B2 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:07] 615*2^1400249-1 is not prime. Res64: 48861F36F8A013B7 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:07] 619*2^1400249-1 is not prime. Res64: AE7CC3F9396DB4CA Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:14] 645*2^1400249-1 is not prime. Res64: 020DE87E4574CD21 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:15] 775*2^1400249-1 is not prime. Res64: CF633A85C985CE40 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:19] 627*2^1400249-1 is not prime. Res64: D59CDECAB0D466E8 Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:19] 637*2^1400249-1 is not prime. Res64: C72867B06139DADD Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:21] 707*2^1400250-1 is not prime. Res64: DC576911E9E3DFDD Time : 0.0 sec. user=mdettweiler [2015-06-14 01:56:21] 723*2^1400250-1 is not prime. Res64: 6C13A2C14515C8E4 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:46] 741*2^1400250-1 is not prime. Res64: 0CF8CABDD6FD63E5 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:47] 773*2^1400250-1 is not prime. Res64: 830EBDCA0F1B910B Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:57] 951*2^1400250-1 is not prime. Res64: AD0534E04CA8EBB8 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:57] 971*2^1400250-1 is not prime. Res64: A122D21753B93401 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:58] 861*2^1400250-1 is not prime. Res64: 9F97CA892CCEFB93 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:13:59] 875*2^1400250-1 is not prime. Res64: E9EDB6F11027191B Time : 0.0 sec. user=mdettweiler [2015-06-14 02:14:02] 977*2^1400250-1 is not prime. Res64: 13C15D6B30706FA2 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:14:02] 603*2^1400251-1 is not prime. Res64: 62869FCC7831591E Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:49] 885*2^1400251-1 is not prime. Res64: B8565C2DD9450F6F Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:50] 909*2^1400251-1 is not prime. Res64: AB5A93032BFD27B5 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:51] 775*2^1400251-1 is not prime. Res64: B49E99712B4D8F85 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:52] 813*2^1400251-1 is not prime. Res64: C61AC7DB1BB99BB4 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:53] 639*2^1400251-1 is not prime. Res64: 61DDD003E8497D4F Time : 0.0 sec. user=mdettweiler [2015-06-14 02:31:54] 679*2^1400251-1 is not prime. Res64: 44BF024C5CCFE937 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:32:03] 829*2^1400251-1 is not prime. Res64: 9756912A1ADA1AC2 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:32:03] 855*2^1400251-1 is not prime. Res64: 70CEC263D155E736 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:14] 759*2^1400252-1 is not prime. Res64: 860385C4C98B5EB1 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:14] 855*2^1400252-1 is not prime. Res64: FEE56AE63E08D424 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:26] 897*2^1400252-1 is not prime. Res64: 3950A0C70A75BB24 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:26] 899*2^1400252-1 is not prime. Res64: EB3312C0FB1E5090 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:28] 973*2^1400251-1 is not prime. Res64: 39AD10433EB36CD4 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:28] 979*2^1400251-1 is not prime. Res64: 3D1E601282F20BD6 Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:36] 639*2^1400253-1 is not prime. Res64: E375F125BFADEE4E Time : 0.0 sec. user=mdettweiler [2015-06-14 02:50:37] 765*2^1400253-1 is not prime. Res64: 9514A31F87E72EAF Time : 0.0 sec. user=mdettweiler [2015-06-14 03:07:46] 781*2^1400253-1 is not prime. Res64: ADC2F1B8AA33ACDD Time : 0.0 sec. user=mdettweiler [2015-06-14 03:07:47] 805*2^1400253-1 is not prime. Res64: 00313641B853A8D3 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:01] 921*2^1400253-1 is not prime. Res64: B17A52CDDB5B4FB7 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:01] 999*2^1400253-1 is not prime. Res64: 20E0DFEC547C5AE7 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:06] 837*2^1400253-1 is not prime. Res64: 4CED8854D7022231 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:06] 849*2^1400253-1 is not prime. Res64: F94EBB115D7B223B Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:23] 621*2^1400254-1 is not prime. Res64: B3C58893F8E38066 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:08:23] 657*2^1400254-1 is not prime. Res64: 5E77244FBE95F1D0 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:29] 737*2^1400254-1 is not prime. Res64: F64A49A1FC0BD1CB Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:30] 833*2^1400254-1 is not prime. Res64: 088D195BD5B42674 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:42] 975*2^1400254-1 is not prime. Res64: F5FBF8CBFC975090 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:43] 981*2^1400254-1 is not prime. Res64: 022E0EDDC79CF44D Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:44] 891*2^1400254-1 is not prime. Res64: 4D5754A307BAA766 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:44] 965*2^1400254-1 is not prime. Res64: 7B603A055C738020 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:25:59] 601*2^1400255-1 is not prime. Res64: A8E766A2789095A2 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:26:00] 663*2^1400255-1 is not prime. Res64: 0E8DAC96FAC151E8 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:08] 673*2^1400255-1 is not prime. Res64: 9615EF922E2C34FF Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:09] 829*2^1400255-1 is not prime. Res64: 6667BACC14A7A962 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:26] 943*2^1400255-1 is not prime. Res64: 7D0D220E53781671 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:27] 999*2^1400255-1 is not prime. Res64: B08A21831CAF925E Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:27] 889*2^1400255-1 is not prime. Res64: 002C57312C61ADC2 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:28] 915*2^1400255-1 is not prime. Res64: E6197423B6393E84 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:41] 675*2^1400256-1 is not prime. Res64: FFF9988C434B6435 Time : 0.0 sec. user=mdettweiler [2015-06-14 03:43:42] 683*2^1400256-1 is not prime. Res64: 06397F6882EF77B4 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:06] 689*2^1400256-1 is not prime. Res64: 1488E570F4856DDD Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:07] 699*2^1400256-1 is not prime. Res64: 01E9779D2ECE08A8 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:13] 661*2^1400257-1 is not prime. Res64: 0E1093D9E54F3222 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:14] 717*2^1400257-1 is not prime. Res64: 81C5C3B59109C67B Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:17] 917*2^1400256-1 is not prime. Res64: 8DE596359A2326E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:18] 945*2^1400256-1 is not prime. Res64: B594DA3BCB764F26 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:33] 799*2^1400257-1 is not prime. Res64: 654F73287C9E0093 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:01:34] 895*2^1400257-1 is not prime. Res64: A09CEAD131FF26B4 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:40] 705*2^1400258-1 is not prime. Res64: 3CC419A54AFDB1A0 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:41] 711*2^1400258-1 is not prime. Res64: 03729EAB7CB9E600 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:50] 997*2^1400257-1 is not prime. Res64: DF94C763321AEA4E Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:51] 617*2^1400258-1 is not prime. Res64: 7C877E478C5DF799 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:54] 645*2^1400258-1 is not prime. Res64: 51DC982158F168BE Time : 0.0 sec. user=mdettweiler [2015-06-14 04:19:54] 665*2^1400258-1 is not prime. Res64: E8CB8117C70BABC8 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:20:03] 825*2^1400258-1 is not prime. Res64: BBA9429970679E1B Time : 0.0 sec. user=mdettweiler [2015-06-14 04:20:03] 843*2^1400258-1 is not prime. Res64: 3AEBD9FAB3554492 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:18] 945*2^1400258-1 is not prime. Res64: 4B9713C3EB81BEB9 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:18] 615*2^1400259-1 is not prime. Res64: F83C0A5EFBC526E1 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:29] 619*2^1400259-1 is not prime. Res64: 7E7FE5F9A0B33BF2 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:29] 669*2^1400259-1 is not prime. Res64: 4F87F9B95103977D Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:33] 723*2^1400259-1 is not prime. Res64: 376E01BF0C748D82 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:33] 741*2^1400259-1 is not prime. Res64: A1D9D9F0DD5F071A Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:47] 769*2^1400259-1 is not prime. Res64: FB72F7D62AC6601B Time : 0.0 sec. user=mdettweiler [2015-06-14 04:37:48] 801*2^1400259-1 is not prime. Res64: 14BA24334149C30B Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:01] 885*2^1400259-1 is not prime. Res64: E848D6DFDD3C8899 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:01] 919*2^1400259-1 is not prime. Res64: 517C034763E4FBA0 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:05] 955*2^1400259-1 is not prime. Res64: 852309E1B102D489 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:05] 973*2^1400259-1 is not prime. Res64: FC144AB8A614E48B Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:09] 653*2^1400260-1 is not prime. Res64: C5A23880BABFD581 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:10] 693*2^1400260-1 is not prime. Res64: C4D22D463C6FD573 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:23] 897*2^1400260-1 is not prime. Res64: 83A581C20E697F61 Time : 0.0 sec. user=mdettweiler [2015-06-14 04:55:24] 957*2^1400260-1 is not prime. Res64: C04BC81B7E61C62A Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:44] 691*2^1400261-1 is not prime. Res64: 7463EC28A99BA615 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:44] 735*2^1400261-1 is not prime. Res64: A85C3187C32E0F78 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:45] 741*2^1400261-1 is not prime. Res64: 5BBD09B8712B3D66 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:46] 859*2^1400261-1 is not prime. Res64: A23EF11FCC24A7CF Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:54] 879*2^1400261-1 is not prime. Res64: 90019A97D17121B5 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:54] 885*2^1400261-1 is not prime. Res64: 1B3CDD8F45E5D2DB Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:58] 955*2^1400261-1 is not prime. Res64: 326A978C4B70E908 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:12:58] 627*2^1400262-1 is not prime. Res64: DE3A29FE8D41F467 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:26] 821*2^1400262-1 is not prime. Res64: 6F825FF187767E4E Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:27] 875*2^1400262-1 is not prime. Res64: E45E633064A6A3CD Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:31] 625*2^1400263-1 is not prime. Res64: 113A9E7DD819E93D Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:32] 741*2^1400263-1 is not prime. Res64: 64353AEF0BD2486B Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:33] 819*2^1400263-1 is not prime. Res64: 949F2A3E7CF876BF Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:34] 855*2^1400263-1 is not prime. Res64: F9FA296D6FE9839D Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:40] 873*2^1400263-1 is not prime. Res64: 81B5D963FD49FB96 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:30:41] 925*2^1400263-1 is not prime. Res64: 9567444241942A15 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:01] 645*2^1400264-1 is not prime. Res64: 0EA0D540B1B96113 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:01] 665*2^1400264-1 is not prime. Res64: 668CA40BF2B8AABD Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:22] 717*2^1400264-1 is not prime. Res64: 036F6A8C0CBCC8FF Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:22] 753*2^1400264-1 is not prime. Res64: FF1430BBB1176083 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:25] 795*2^1400265-1 is not prime. Res64: 418FE02D243F3AF7 Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:26] 895*2^1400265-1 is not prime. Res64: 1BF2A0B1F281B02C Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:35] 935*2^1400264-1 is not prime. Res64: DC3469389D67EACD Time : 0.0 sec. user=mdettweiler [2015-06-14 05:48:36] 787*2^1400265-1 is not prime. Res64: 0C88F3BEC7645289 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:05:49] 937*2^1400265-1 is not prime. Res64: B6DD1D866E98244E Time : 0.0 sec. user=mdettweiler [2015-06-14 06:05:50] 645*2^1400266-1 is not prime. Res64: 8081C7B49950673F Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:00] 705*2^1400266-1 is not prime. Res64: D95B0136126408AF Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:00] 717*2^1400266-1 is not prime. Res64: 94A64AD5B432A91B Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:06] 773*2^1400266-1 is not prime. Res64: C42F5BA3334EAF4F Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:06] 971*2^1400266-1 is not prime. Res64: D234237051D25BF1 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:13] 975*2^1400266-1 is not prime. Res64: A563F24BD2802D9E Time : 0.0 sec. user=mdettweiler [2015-06-14 06:06:13] 983*2^1400266-1 is not prime. Res64: 525C15D0C433716A Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:39] 801*2^1400267-1 is not prime. Res64: 010C8406B9B9F1BB Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:39] 973*2^1400267-1 is not prime. Res64: 4FD72191F6C24899 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:40] 987*2^1400266-1 is not prime. Res64: 5C3FBD29536D8B12 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:40] 741*2^1400267-1 is not prime. Res64: A43CE49C0DD936B7 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:46] 979*2^1400267-1 is not prime. Res64: F30AF60EF16F7826 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:47] 665*2^1400268-1 is not prime. Res64: A7077E2366E10613 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:58] 723*2^1400268-1 is not prime. Res64: 7372C5B65A98172B Time : 0.0 sec. user=mdettweiler [2015-06-14 06:23:58] 765*2^1400268-1 is not prime. Res64: 045BE3669DCA84CD Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:24] 899*2^1400268-1 is not prime. Res64: 33B7D5B660D1F782 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:25] 999*2^1400268-1 is not prime. Res64: E80FE9B30E65C934 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:27] 771*2^1400269-1 is not prime. Res64: CB05DB78FBF0713A Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:27] 799*2^1400269-1 is not prime. Res64: 7F8CC9095577B645 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:34] 845*2^1400270-1 is not prime. Res64: 517C053D9C7DF2EE Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:35] 867*2^1400270-1 is not prime. Res64: 0CEE63DDE022F990 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:37] 877*2^1400269-1 is not prime. Res64: 858A459F2FFCF2F4 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:41:37] 665*2^1400270-1 is not prime. Res64: F67B720787F53CDF Time : 0.0 sec. user=juhehe [2015-06-14 06:44:42] 797*2^1400268-1 is not prime. Res64: C356CEF20FD84EB9 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:58:58] 875*2^1400270-1 is not prime. Res64: B0A40589FE675167 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:58:59] 893*2^1400270-1 is not prime. Res64: 26ED6D25CF4FB34F Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:04] 987*2^1400270-1 is not prime. Res64: 3BA2674CB9A13184 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:04] 601*2^1400271-1 is not prime. Res64: F2750B3D0D63F980 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:10] 945*2^1400270-1 is not prime. Res64: 0A4327E4F2EDDCC9 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:10] 977*2^1400270-1 is not prime. Res64: 01AE4807445219B6 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:15] 613*2^1400271-1 is not prime. Res64: 29CCBF8EC9D415A5 Time : 0.0 sec. user=mdettweiler [2015-06-14 06:59:15] 735*2^1400271-1 is not prime. Res64: BCAB7138A41AD7B5 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:49] 955*2^1400271-1 is not prime. Res64: D44D24F8B13B11A0 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:50] 629*2^1400272-1 is not prime. Res64: DAC2DA93F9627A94 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:52] 689*2^1400272-1 is not prime. Res64: E16BF00A792F3F2F Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:52] 705*2^1400272-1 is not prime. Res64: 8CD6CA22E1316F6D Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:53] 783*2^1400271-1 is not prime. Res64: 8B2A3C2434CEBC71 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:16:53] 829*2^1400271-1 is not prime. Res64: 6729EB791716156F Time : 0.0 sec. user=mdettweiler [2015-06-14 07:17:00] 833*2^1400272-1 is not prime. Res64: 035EFF6FD03E598C Time : 0.0 sec. user=mdettweiler [2015-06-14 07:17:01] 849*2^1400272-1 is not prime. Res64: A382D55627529041 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:30] 887*2^1400272-1 is not prime. Res64: C57789F4574DBED9 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:30] 947*2^1400272-1 is not prime. Res64: 65FA65A5478187F5 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:37] 983*2^1400272-1 is not prime. Res64: F3B8D10668D60985 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:38] 657*2^1400273-1 is not prime. Res64: 0458E822F00A0BDE Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:42] 847*2^1400273-1 is not prime. Res64: 69E7F579A78BB200 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:43] 611*2^1400274-1 is not prime. Res64: 482F138A4EC83996 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:44] 675*2^1400273-1 is not prime. Res64: E92864EBB7C4DD11 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:34:45] 811*2^1400273-1 is not prime. Res64: CF24F82B05427E67 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:11] 903*2^1400274-1 is not prime. Res64: 8BD13C83B4FC20C4 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:11] 921*2^1400274-1 is not prime. Res64: 3F9E6962534D76FC Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:13] 657*2^1400274-1 is not prime. Res64: E454B26AFC5B1FF4 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:13] 773*2^1400274-1 is not prime. Res64: 17E20FBF1738E2C1 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:17] 927*2^1400274-1 is not prime. Res64: 8CD8911CE573B0A0 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:18] 941*2^1400274-1 is not prime. Res64: 3BCF0F12F06F91D7 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:25] 971*2^1400274-1 is not prime. Res64: 775F8A9EF2210CA3 Time : 0.0 sec. user=mdettweiler [2015-06-14 07:52:26] 673*2^1400275-1 is not prime. Res64: 1E714AC3A89F1716 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:46] 709*2^1400275-1 is not prime. Res64: 3BB909E919146E00 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:47] 765*2^1400275-1 is not prime. Res64: 25721519A80470E6 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:52] 843*2^1400275-1 is not prime. Res64: 7E9FA9BE0B11F1C0 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:52] 853*2^1400275-1 is not prime. Res64: C5EEBC7A2541AB5E Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:58] 909*2^1400275-1 is not prime. Res64: CF7C40FEF93F9D6D Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:58] 903*2^1400276-1 is not prime. Res64: 0EEC39841DAC9ABA Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:58] 953*2^1400276-1 is not prime. Res64: E5DDB66339A74020 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:09:59] 961*2^1400275-1 is not prime. Res64: 7EBFA203275B6ADC Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:29] 681*2^1400277-1 is not prime. Res64: FC3E729F3E49F301 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:29] 759*2^1400277-1 is not prime. Res64: B7D65916070287D4 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:32] 835*2^1400277-1 is not prime. Res64: D1AD7DC5D762E833 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:33] 627*2^1400277-1 is not prime. Res64: EA6591615DDC8D5C Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:33] 915*2^1400277-1 is not prime. Res64: A3087BF087FD312D Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:33] 649*2^1400277-1 is not prime. Res64: 71A3122177263A65 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:40] 769*2^1400277-1 is not prime. Res64: B42ED8007F1F6EFA Time : 0.0 sec. user=mdettweiler [2015-06-14 08:27:41] 777*2^1400277-1 is not prime. Res64: C2E4F2A9855D0E4A Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:12] 827*2^1400278-1 is not prime. Res64: FF0ED3AAF0A45E34 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:12] 915*2^1400278-1 is not prime. Res64: 19DE4382A0C3CA26 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:14] 949*2^1400277-1 is not prime. Res64: F020084B00464A3F Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:15] 663*2^1400278-1 is not prime. Res64: 62D9D00626A592A2 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:23] 705*2^1400279-1 is not prime. Res64: A3093860D4E91B1D Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:23] 721*2^1400279-1 is not prime. Res64: 400F5F3F37D14584 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:25] 775*2^1400279-1 is not prime. Res64: 3F672AD8DBE7D372 Time : 0.0 sec. user=mdettweiler [2015-06-14 08:45:25] 789*2^1400279-1 is not prime. Res64: 32E01ECB5A7DABEE Time : 0.0 sec. user=mdettweiler [2015-06-14 09:02:47] 861*2^1400279-1 is not prime. Res64: F6CCABC7C2BFD386 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:02:48] 879*2^1400280-1 is not prime. Res64: 61906586926C4FA6 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:02:57] 841*2^1400279-1 is not prime. Res64: DB92CCEB735E4A26 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:02:58] 855*2^1400279-1 is not prime. Res64: 6FAB4DE488B51BD8 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:03:02] 915*2^1400280-1 is not prime. Res64: C4E9425C90AC5E13 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:03:04] 917*2^1400280-1 is not prime. Res64: 3A3C94485B7530F2 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:03:05] 927*2^1400280-1 is not prime. Res64: 2703F1B0B1738C67 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:03:07] 741*2^1400281-1 is not prime. Res64: 86AF9E700CBD2B76 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:17] 871*2^1400281-1 is not prime. Res64: 46184017AD39FD54 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:17] 675*2^1400282-1 is not prime. Res64: 017919C5BA7B7C3C Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:22] 829*2^1400281-1 is not prime. Res64: B36D9D0C65500477 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:22] 867*2^1400281-1 is not prime. Res64: 94AAF186BC16E167 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:23] 677*2^1400282-1 is not prime. Res64: A4F802D7C2BC926B Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:23] 935*2^1400282-1 is not prime. Res64: C3E4F2C66C38D513 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:26] 767*2^1400282-1 is not prime. Res64: 19707B6389F39C14 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:21:26] 873*2^1400282-1 is not prime. Res64: 1F83C01F52DE2A7E Time : 0.0 sec. user=mdettweiler [2015-06-14 09:38:53] 613*2^1400283-1 is not prime. Res64: A3548833454940E5 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:38:53] 705*2^1400283-1 is not prime. Res64: A93E3E4581F33B4B Time : 0.0 sec. user=mdettweiler [2015-06-14 09:38:58] 853*2^1400283-1 is not prime. Res64: 04CE5A2C78ED47CE Time : 0.0 sec. user=mdettweiler [2015-06-14 09:38:59] 859*2^1400283-1 is not prime. Res64: 3CBF401C9103EECE Time : 0.0 sec. user=mdettweiler [2015-06-14 09:39:07] 775*2^1400283-1 is not prime. Res64: 4437914408B4B5CC Time : 0.0 sec. user=mdettweiler [2015-06-14 09:39:08] 829*2^1400283-1 is not prime. Res64: E6A9622FC57F3D6C Time : 0.0 sec. user=mdettweiler [2015-06-14 09:39:11] 943*2^1400283-1 is not prime. Res64: C5F93896AEFDDA66 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:39:11] 985*2^1400283-1 is not prime. Res64: 29627A6FE50E91AD Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:33] 743*2^1400284-1 is not prime. Res64: A541EC3507488290 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:33] 855*2^1400284-1 is not prime. Res64: E0D5C62EAB6B67EE Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:40] 995*2^1400284-1 is not prime. Res64: FD35D3AA478D6DF9 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:40] 771*2^1400285-1 is not prime. Res64: 365A6681A657A7DD Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:51] 939*2^1400285-1 is not prime. Res64: D67EFE8A0C5C72BF Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:51] 627*2^1400286-1 is not prime. Res64: 18CE1A1A35E41850 Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:52] 819*2^1400285-1 is not prime. Res64: 49090346C9BE38FD Time : 0.0 sec. user=mdettweiler [2015-06-14 09:56:52] 897*2^1400285-1 is not prime. Res64: 507F928CD326BAE2 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:11] 713*2^1400286-1 is not prime. Res64: 9CA656153656F169 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:12] 741*2^1400286-1 is not prime. Res64: 8FEA5DDE6A3A4E77 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:22] 783*2^1400286-1 is not prime. Res64: E478B1DB48275D3C Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:22] 807*2^1400286-1 is not prime. Res64: 66ED9A3347830E4E Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:25] 821*2^1400286-1 is not prime. Res64: 6AF0C660D5A6822B Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:25] 887*2^1400286-1 is not prime. Res64: 112E1AEE2B5A37FF Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:29] 993*2^1400286-1 is not prime. Res64: 970F20B4277A0C09 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:14:30] 673*2^1400287-1 is not prime. Res64: 5C0ED8BFE2138C09 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:31:43] 793*2^1400287-1 is not prime. Res64: E6E710C29AA9F7BC Time : 0.0 sec. user=mdettweiler [2015-06-14 10:31:43] 813*2^1400287-1 is not prime. Res64: DEE4B364B4592433 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:01] 689*2^1400288-1 is not prime. Res64: 66FB54647D798DCA Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:01] 729*2^1400288-1 is not prime. Res64: 638AFEA3A361FEC0 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:09] 831*2^1400287-1 is not prime. Res64: CC8163F2D0BBF10D Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:09] 933*2^1400287-1 is not prime. Res64: 936A396D4EBB6635 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:19] 985*2^1400287-1 is not prime. Res64: D10ABE7C8C2B934C Time : 0.0 sec. user=mdettweiler [2015-06-14 10:32:20] 635*2^1400288-1 is not prime. Res64: 061CC8653A41C142 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:49:24] 767*2^1400288-1 is not prime. Res64: EF1250AD7ECF7627 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:49:24] 855*2^1400288-1 is not prime. Res64: B8F3E051F2D1ABDF Time : 0.0 sec. user=mdettweiler [2015-06-14 10:49:47] 879*2^1400288-1 is not prime. Res64: 82F771EA2DB84655 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:49:47] 963*2^1400288-1 is not prime. Res64: 4F9DB4B5C2AAEE58 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:50:05] 615*2^1400289-1 is not prime. Res64: 6C238FFD0BC6F2CD Time : 0.0 sec. user=mdettweiler [2015-06-14 10:50:05] 747*2^1400289-1 is not prime. Res64: EA7169C97499A9BB Time : 0.0 sec. user=mdettweiler [2015-06-14 10:50:05] 781*2^1400289-1 is not prime. Res64: 9E4FC65C53612E21 Time : 0.0 sec. user=mdettweiler [2015-06-14 10:50:06] 895*2^1400289-1 is not prime. Res64: FDD3259FECE1E26A Time : 0.0 sec. user=mdettweiler [2015-06-14 11:06:59] 671*2^1400290-1 is not prime. Res64: 64326F9475518029 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:06:59] 713*2^1400290-1 is not prime. Res64: 2D05B0446B6B15DE Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:26] 717*2^1400290-1 is not prime. Res64: D5E45EC66553A2B1 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:27] 735*2^1400290-1 is not prime. Res64: 8D3B189636222059 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:36] 791*2^1400290-1 is not prime. Res64: 81E69F3C8B5CC026 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:36] 803*2^1400290-1 is not prime. Res64: 3E4C081923FA2D29 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:41] 831*2^1400290-1 is not prime. Res64: C409FE3C96BAA47C Time : 0.0 sec. user=mdettweiler [2015-06-14 11:07:42] 845*2^1400290-1 is not prime. Res64: FC3076FF91BA4E1B Time : 0.0 sec. user=mdettweiler [2015-06-14 11:24:36] 915*2^1400290-1 is not prime. Res64: 6AF4B0A7623081BF Time : 0.0 sec. user=mdettweiler [2015-06-14 11:24:37] 957*2^1400290-1 is not prime. Res64: 1A4B0BA0B2B77CE3 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:22] 995*2^1400290-1 is not prime. Res64: BCC8FF0D938F420F Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:23] 999*2^1400291-1 is not prime. Res64: 38AD67F53F470BE6 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:23] 693*2^1400291-1 is not prime. Res64: 730DD48318C207F6 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:23] 669*2^1400292-1 is not prime. Res64: 0717B48779D7EB64 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:33] 699*2^1400292-1 is not prime. Res64: 2FF47152ADC67D78 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:25:34] 899*2^1400292-1 is not prime. Res64: B0C34FA47159EB7E Time : 0.0 sec. user=mdettweiler [2015-06-14 11:42:10] 975*2^1400292-1 is not prime. Res64: D34D055AF8B933E1 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:42:11] 987*2^1400292-1 is not prime. Res64: 527B597EFE81F9EB Time : 0.0 sec. user=mdettweiler [2015-06-14 11:42:59] 867*2^1400293-1 is not prime. Res64: 394451E9B685FBAA Time : 0.0 sec. user=mdettweiler [2015-06-14 11:42:59] 885*2^1400293-1 is not prime. Res64: 75421B2E6BFB9429 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:43:02] 619*2^1400293-1 is not prime. Res64: 6B8CC17A3429C51C Time : 0.0 sec. user=mdettweiler [2015-06-14 11:43:03] 681*2^1400293-1 is not prime. Res64: E9FFC90D38554424 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:43:10] 939*2^1400293-1 is not prime. Res64: 6E43F8998F13BF61 Time : 0.0 sec. user=mdettweiler [2015-06-14 11:43:10] 623*2^1400294-1 is not prime. Res64: 1E1EBE0BC7DA9E2B Time : 0.0 sec. user=mdettweiler [2015-06-14 11:59:48] 671*2^1400294-1 is not prime. Res64: 86C79F0601C93D5D Time : 0.0 sec. user=mdettweiler [2015-06-14 11:59:49] 741*2^1400294-1 is not prime. Res64: 4935403DE7877E0B Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:40] 755*2^1400294-1 is not prime. Res64: A316634F052558FA Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:40] 887*2^1400294-1 is not prime. Res64: A0B5C72DE8DBD4D3 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:40] 663*2^1400295-1 is not prime. Res64: 19703CE46EEB1391 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:41] 669*2^1400295-1 is not prime. Res64: 8A5657414F1B43AD Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:55] 675*2^1400295-1 is not prime. Res64: A6AA0E2F575AFAEA Time : 0.0 sec. user=mdettweiler [2015-06-14 12:00:56] 705*2^1400295-1 is not prime. Res64: 586358EEAEADD86F Time : 0.0 sec. user=mdettweiler [2015-06-14 12:17:19] 763*2^1400295-1 is not prime. Res64: 1B879461FE7E4B0E Time : 0.0 sec. user=mdettweiler [2015-06-14 12:17:20] 765*2^1400295-1 is not prime. Res64: 81B74F559D924E8D Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:14] 859*2^1400295-1 is not prime. Res64: DCEB86DC5B099F2A Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:14] 885*2^1400295-1 is not prime. Res64: 6D4C82036571BFFB Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:23] 891*2^1400295-1 is not prime. Res64: 43547CFF0C96B2CC Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:24] 695*2^1400296-1 is not prime. Res64: 82AA8C47FF5C2A24 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:42] 705*2^1400296-1 is not prime. Res64: 043BDF78B285634A Time : 0.0 sec. user=mdettweiler [2015-06-14 12:18:42] 849*2^1400296-1 is not prime. Res64: CA10FA7E342A0CA0 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:34:54] 855*2^1400296-1 is not prime. Res64: 74401F96BCC1CA9C Time : 0.0 sec. user=mdettweiler [2015-06-14 12:34:54] 903*2^1400296-1 is not prime. Res64: 8D4DB28285EB1B93 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:35:55] 717*2^1400297-1 is not prime. Res64: 200B820576BEDFBF Time : 0.0 sec. user=mdettweiler [2015-06-14 12:35:55] 735*2^1400297-1 is not prime. Res64: AE144FD30DD94CF2 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:36:00] 923*2^1400296-1 is not prime. Res64: 8338CEFA95436FB1 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:36:00] 645*2^1400297-1 is not prime. Res64: DF8326DC135CCF5D Time : 0.0 sec. user=mdettweiler [2015-06-14 12:36:28] 831*2^1400297-1 is not prime. Res64: CD0D81B1FE150856 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:36:28] 909*2^1400297-1 is not prime. Res64: 642D85E0A431145A Time : 0.0 sec. user=mdettweiler [2015-06-14 12:52:29] 979*2^1400297-1 is not prime. Res64: 0022C0E17EC20E09 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:52:30] 663*2^1400298-1 is not prime. Res64: 54420BAD5D03EABE Time : 0.0 sec. user=mdettweiler [2015-06-14 12:53:39] 725*2^1400298-1 is not prime. Res64: 3938BDA95E81ABA5 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:53:39] 797*2^1400298-1 is not prime. Res64: D6A611B48C6B78C3 Time : 0.0 sec. user=mdettweiler [2015-06-14 12:53:42] 803*2^1400298-1 is not prime. Res64: 9B6B2364E6E658ED Time : 0.0 sec. user=mdettweiler [2015-06-14 12:53:43] 837*2^1400298-1 is not prime. Res64: 8684D6ED2F7CD63E Time : 0.0 sec. user=mdettweiler [2015-06-14 12:54:11] 915*2^1400298-1 is not prime. Res64: CE754602CCFCF6CC Time : 0.0 sec. user=mdettweiler [2015-06-14 12:54:12] 1001*2^1400298-1 is not prime. Res64: 6E92BBA2FA2E412F Time : 0.0 sec. user=mdettweiler [2015-06-14 13:10:07] 681*2^1400299-1 is not prime. Res64: B9B3D6965D73947F Time : 0.0 sec. user=mdettweiler [2015-06-14 13:10:08] 693*2^1400299-1 is not prime. Res64: 57FA1060175FEDE7 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:21] 733*2^1400299-1 is not prime. Res64: E76244C3E5104D36 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:21] 751*2^1400299-1 is not prime. Res64: BA55E4E07B2BD26D Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:21] 769*2^1400299-1 is not prime. Res64: 6C8280B82520B4D0 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:22] 841*2^1400299-1 is not prime. Res64: 6341E74A551D9222 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:56] 919*2^1400299-1 is not prime. Res64: A7562283907BF84D Time : 0.0 sec. user=mdettweiler [2015-06-14 13:11:56] 961*2^1400299-1 is not prime. Res64: F2ACD4A0EA69CF01 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:27:47] 973*2^1400299-1 is not prime. Res64: 2E46E85C2FB69A97 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:27:47] 725*2^1400300-1 is not prime. Res64: 9649F3D2E5C7B390 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:03] 735*2^1400300-1 is not prime. Res64: 36819E7701986BAB Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:03] 773*2^1400300-1 is not prime. Res64: F4F0FA77A988E94E Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:04] 767*2^1400300-1 is not prime. Res64: B7DADF525700D097 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:04] 813*2^1400300-1 is not prime. Res64: 362C87A46CD9446F Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:46] 879*2^1400300-1 is not prime. Res64: 4A23205C72F8653B Time : 0.0 sec. user=mdettweiler [2015-06-14 13:29:46] 953*2^1400300-1 is not prime. Res64: 0DE3391CA0FFDB7E Time : 0.0 sec. user=mdettweiler [2015-06-14 13:45:30] 649*2^1400301-1 is not prime. Res64: A09FD7C4E4C6B79D Time : 0.0 sec. user=mdettweiler [2015-06-14 13:45:30] 777*2^1400301-1 is not prime. Res64: 02A654DDA15844C9 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:46:51] 819*2^1400301-1 is not prime. Res64: A8429400C1F5D6DF Time : 0.0 sec. user=mdettweiler [2015-06-14 13:46:51] 825*2^1400301-1 is not prime. Res64: 01A9AD004A8F6417 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:47:01] 885*2^1400301-1 is not prime. Res64: 5F556E10EB4CBC8F Time : 0.0 sec. user=mdettweiler [2015-06-14 13:47:02] 937*2^1400301-1 is not prime. Res64: 84C8B192268AAB26 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:47:29] 671*2^1400302-1 is not prime. Res64: 606C7072FCED2B25 Time : 0.0 sec. user=mdettweiler [2015-06-14 13:47:29] 723*2^1400302-1 is not prime. Res64: DFD013E962436590 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:03:48] 827*2^1400302-1 is not prime. Res64: BEF432BCD0BABAB6 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:03:49] 915*2^1400302-1 is not prime. Res64: AF6D18FAD95A9297 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:24] 753*2^1400303-1 is not prime. Res64: EA1A6E703D9E6F70 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:24] 783*2^1400303-1 is not prime. Res64: CE33FDDA8DC82B61 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:26] 715*2^1400303-1 is not prime. Res64: 46448D74193829A6 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:27] 735*2^1400303-1 is not prime. Res64: 1192B3A33D2294F3 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:53] 913*2^1400303-1 is not prime. Res64: FF6388F6801B071C Time : 0.0 sec. user=mdettweiler [2015-06-14 14:05:53] 985*2^1400303-1 is not prime. Res64: BFEE6F84987E39F7 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:22:41] 707*2^1400304-1 is not prime. Res64: A020BEEB00AB38F5 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:22:41] 773*2^1400304-1 is not prime. Res64: 5FEB22B794021DB3 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:13] 909*2^1400304-1 is not prime. Res64: 254F33B7FBC24C85 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:14] 945*2^1400304-1 is not prime. Res64: 533BFA5570553A01 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:19] 803*2^1400304-1 is not prime. Res64: 9EBFD95379366124 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:19] 815*2^1400304-1 is not prime. Res64: 376572ED52A9CE99 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:42] 649*2^1400305-1 is not prime. Res64: BCED19D2C2D14431 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:24:42] 691*2^1400305-1 is not prime. Res64: 98896234F9EC1DBD Time : 0.0 sec. user=mdettweiler [2015-06-14 14:41:43] 751*2^1400305-1 is not prime. Res64: CA040CADBDA094B6 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:41:43] 759*2^1400305-1 is not prime. Res64: C61843917F76AB44 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:03] 805*2^1400305-1 is not prime. Res64: 590FFAF9D60AA2EA Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:04] 861*2^1400305-1 is not prime. Res64: B9F39C1A39A5CB6E Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:22] 877*2^1400305-1 is not prime. Res64: 29B1EBA989430109 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:22] 975*2^1400305-1 is not prime. Res64: 64F016F7FEEE78A7 Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:54] 617*2^1400306-1 is not prime. Res64: 4F15291F800E5F6C Time : 0.0 sec. user=mdettweiler [2015-06-14 14:43:55] 633*2^1400306-1 is not prime. Res64: 866EA81B0E58B5D8 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:01:22] 705*2^1400306-1 is not prime. Res64: 72DFCEE221F03146 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:01:23] 741*2^1400306-1 is not prime. Res64: 1BA6EEB5D8903AD1 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:02:34] 917*2^1400306-1 is not prime. Res64: A1EA95D8CA726504 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:02:34] 945*2^1400306-1 is not prime. Res64: E5C12347362754FC Time : 0.0 sec. user=mdettweiler [2015-06-14 15:02:47] 857*2^1400306-1 is not prime. Res64: 6E61AC01A89BC2CB Time : 0.0 sec. user=mdettweiler [2015-06-14 15:02:48] 875*2^1400306-1 is not prime. Res64: 1B3411616723937E Time : 0.0 sec. user=mdettweiler [2015-06-14 15:03:24] 953*2^1400306-1 is not prime. Res64: D0D233556855CEA4 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:03:25] 859*2^1400307-1 is not prime. Res64: 59401F1EDCD2A55C Time : 0.0 sec. user=mdettweiler [2015-06-14 15:21:12] 961*2^1400307-1 is not prime. Res64: C4AE5786F56B942A Time : 0.0 sec. user=mdettweiler [2015-06-14 15:21:13] 963*2^1400307-1 is not prime. Res64: 1E2ABF2B0A01BC36 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:21:43] 647*2^1400308-1 is not prime. Res64: B2869B11AC12D22F Time : 0.0 sec. user=mdettweiler [2015-06-14 15:21:43] 657*2^1400308-1 is not prime. Res64: BB1D90A4AF3B809E Time : 0.0 sec. user=mdettweiler [2015-06-14 15:22:14] 663*2^1400308-1 is not prime. Res64: 15018AD7B12B8142 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:22:14] 705*2^1400308-1 is not prime. Res64: 1B52063D3D22126D Time : 0.0 sec. user=mdettweiler [2015-06-14 15:22:16] 839*2^1400308-1 is not prime. Res64: E4460FBB04E3C1D7 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:22:16] 843*2^1400308-1 is not prime. Res64: EC5A067245C42990 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:39:39] 915*2^1400308-1 is not prime. Res64: 27BB1E33F009987C Time : 0.0 sec. user=mdettweiler [2015-06-14 15:39:39] 957*2^1400308-1 is not prime. Res64: CDE81FFA18DCE53C Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:16] 697*2^1400309-1 is not prime. Res64: D1CDE72AA6A1E0E1 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:17] 825*2^1400309-1 is not prime. Res64: FE3DAF33F9E1355C Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:43] 879*2^1400309-1 is not prime. Res64: C8116D85CE67EE79 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:44] 949*2^1400309-1 is not prime. Res64: 557C18D9B0430A49 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:44] 927*2^1400309-1 is not prime. Res64: FCF612CD67C2A937 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:40:44] 957*2^1400309-1 is not prime. Res64: D897F761FFC8E05E Time : 0.0 sec. user=mdettweiler [2015-06-14 15:57:54] 969*2^1400309-1 is not prime. Res64: 8341B2C634792301 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:57:55] 651*2^1400310-1 is not prime. Res64: DA77118FDA091861 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:58:37] 695*2^1400310-1 is not prime. Res64: 5DA29CF3471FC77A Time : 0.0 sec. user=mdettweiler [2015-06-14 15:58:38] 765*2^1400310-1 is not prime. Res64: A603DB645ECDEEAE Time : 0.0 sec. user=mdettweiler [2015-06-14 15:59:03] 867*2^1400310-1 is not prime. Res64: 7185D74DF59CA028 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:59:03] 933*2^1400310-1 is not prime. Res64: 08378BBE91315FE3 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:59:09] 777*2^1400310-1 is not prime. Res64: 0B21CFA7FA0E8EC8 Time : 0.0 sec. user=mdettweiler [2015-06-14 15:59:10] 821*2^1400310-1 is not prime. Res64: 1F0823615B4A8247 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:16:54] 615*2^1400311-1 is not prime. Res64: 655B2F66F5962F02 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:16:55] 663*2^1400311-1 is not prime. Res64: 29F78E1BD7A7B27B Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:23] 693*2^1400311-1 is not prime. Res64: 0B796B85D837ACAA Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:23] 763*2^1400311-1 is not prime. Res64: 93A5D04C0157316D Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:55] 819*2^1400311-1 is not prime. Res64: 9CCA6DA9449DE573 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:55] 843*2^1400311-1 is not prime. Res64: E75E013ED200C5B9 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:57] 901*2^1400311-1 is not prime. Res64: 18374B292E901972 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:17:57] 961*2^1400311-1 is not prime. Res64: E7EFF327239E2CD8 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:35:30] 969*2^1400311-1 is not prime. Res64: EF95F46C9FBBC689 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:35:30] 657*2^1400312-1 is not prime. Res64: 6B494F9FDDB4FA28 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:35:58] 755*2^1400312-1 is not prime. Res64: 733C90970EC34772 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:35:58] 855*2^1400312-1 is not prime. Res64: 09B295C41DC099C6 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:36:17] 987*2^1400313-1 is not prime. Res64: C3F4B40F7E000F43 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:36:17] 617*2^1400314-1 is not prime. Res64: E576EF6D77B5AED4 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:36:25] 963*2^1400312-1 is not prime. Res64: 8855A88106D7C3E3 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:36:25] 885*2^1400313-1 is not prime. Res64: 240BC122F8BFE907 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:53:52] 657*2^1400314-1 is not prime. Res64: 7A2D91837F6BC118 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:53:52] 827*2^1400314-1 is not prime. Res64: DF31EB2D87EEBE27 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:23] 905*2^1400314-1 is not prime. Res64: 97DF9A25ACBD68F0 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:23] 915*2^1400314-1 is not prime. Res64: 4398898FC22A6427 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:44] 917*2^1400314-1 is not prime. Res64: EF79E9B4CAD95127 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:45] 941*2^1400314-1 is not prime. Res64: 6D10E0482EDA3C91 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:49] 633*2^1400315-1 is not prime. Res64: 5F8027C9020A8C31 Time : 0.0 sec. user=mdettweiler [2015-06-14 16:54:50] 715*2^1400315-1 is not prime. Res64: C9E14E4E81D1002C Time : 0.0 sec. user=mdettweiler [2015-06-14 17:12:17] 871*2^1400315-1 is not prime. Res64: 90CE117FBD151E79 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:12:18] 759*2^1400316-1 is not prime. Res64: 54927D9152C98C99 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:12:45] 767*2^1400316-1 is not prime. Res64: FF7432EEB6DEEF1C Time : 0.0 sec. user=mdettweiler [2015-06-14 17:12:46] 933*2^1400316-1 is not prime. Res64: 208AEB291299BA6C Time : 0.0 sec. user=mdettweiler [2015-06-14 17:13:08] 979*2^1400317-1 is not prime. Res64: 42211C51CAED268E Time : 0.0 sec. user=mdettweiler [2015-06-14 17:13:08] 711*2^1400318-1 is not prime. Res64: EE3E8732569A0CCF Time : 0.0 sec. user=mdettweiler [2015-06-14 17:13:10] 625*2^1400317-1 is not prime. Res64: 3BA34AE99EE17C50 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:13:11] 897*2^1400317-1 is not prime. Res64: B3698FBF7C1AA5CE Time : 0.0 sec. user=mdettweiler [2015-06-14 17:30:32] 713*2^1400318-1 is not prime. Res64: 064165855C345545 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:30:33] 743*2^1400318-1 is not prime. Res64: 50D4140CD5ABD4BF Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:08] 885*2^1400318-1 is not prime. Res64: E185F800594EE32D Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:09] 957*2^1400318-1 is not prime. Res64: 118CB879B42CA0D0 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:29] 763*2^1400319-1 is not prime. Res64: CBDCE6BDDF9E16FA Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:29] 789*2^1400319-1 is not prime. Res64: 97D7E33C0B5EE1EB Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:34] 793*2^1400319-1 is not prime. Res64: 7CEAD73DED95D7E5 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:31:34] 921*2^1400319-1 is not prime. Res64: 3D675F9ACA79A754 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:49:33] 933*2^1400319-1 is not prime. Res64: A81BDF346B1B4235 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:49:33] 979*2^1400319-1 is not prime. Res64: 80CF6602144C7F17 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:49:54] 635*2^1400320-1 is not prime. Res64: F03F1215DFFA73A6 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:49:54] 695*2^1400320-1 is not prime. Res64: 8685B9A205603D7A Time : 0.0 sec. user=mdettweiler [2015-06-14 17:50:15] 699*2^1400320-1 is not prime. Res64: 2FC49FC82CC3C191 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:50:15] 755*2^1400320-1 is not prime. Res64: A31B3D4C59CB68E5 Time : 0.0 sec. user=mdettweiler [2015-06-14 17:50:21] 773*2^1400320-1 is not prime. Res64: 54A289EDF5A397CD Time : 0.0 sec. user=mdettweiler [2015-06-14 17:50:22] 833*2^1400320-1 is not prime. Res64: FFAA5A623BB318E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:08:13] 857*2^1400320-1 is not prime. Res64: 0235B33F6137CBC4 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:08:14] 887*2^1400320-1 is not prime. Res64: DD4311D8DBC56C7F Time : 0.0 sec. user=mdettweiler [2015-06-14 18:08:29] 905*2^1400320-1 is not prime. Res64: 7EEDF3F45DF5219B Time : 0.0 sec. user=mdettweiler [2015-06-14 18:08:29] 909*2^1400320-1 is not prime. Res64: 590BE7997437BBCA Time : 0.0 sec. user=mdettweiler [2015-06-14 18:09:02] 933*2^1400320-1 is not prime. Res64: 988BB2A2A022CEE1 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:09:03] 999*2^1400320-1 is not prime. Res64: E5388A5AA70F0159 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:09:12] 705*2^1400321-1 is not prime. Res64: E559AD98C1D387BF Time : 0.0 sec. user=mdettweiler [2015-06-14 18:09:13] 735*2^1400321-1 is not prime. Res64: 858970A5911C9F90 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:26:57] 777*2^1400322-1 is not prime. Res64: 1C9DDF225281F280 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:26:57] 983*2^1400322-1 is not prime. Res64: FADBA99E3A562160 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:02] 879*2^1400321-1 is not prime. Res64: BA1B40208BBB2770 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:02] 725*2^1400322-1 is not prime. Res64: 07BB41BAA05B1351 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:35] 615*2^1400323-1 is not prime. Res64: B0A772283FD7AC3B Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:35] 829*2^1400323-1 is not prime. Res64: 370DCB19179608C7 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:39] 871*2^1400323-1 is not prime. Res64: 1E447F6018F227E5 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:27:40] 889*2^1400323-1 is not prime. Res64: F579443769B6D6C3 Time : 0.0 sec. user=juhehe [2015-06-14 18:29:42] 805*2^1400321-1 is not prime. Res64: C5DF34CE6071B5C4 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:44:39] 707*2^1400324-1 is not prime. Res64: E3DF66D041135CED Time : 0.0 sec. user=mdettweiler [2015-06-14 18:44:39] 789*2^1400324-1 is not prime. Res64: 52024FA3774AF475 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:44:47] 659*2^1400324-1 is not prime. Res64: FF9340EF26AAF47F Time : 0.0 sec. user=mdettweiler [2015-06-14 18:44:47] 675*2^1400324-1 is not prime. Res64: A6CC14C794E2DE26 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:45:29] 813*2^1400324-1 is not prime. Res64: 4F179B7DD2E5BF7F Time : 0.0 sec. user=mdettweiler [2015-06-14 18:45:29] 983*2^1400324-1 is not prime. Res64: 161A49DADE337F41 Time : 0.0 sec. user=mdettweiler [2015-06-14 18:45:29] 873*2^1400324-1 is not prime. Res64: 9C4C8A8176D0BC4F Time : 0.0 sec. user=mdettweiler [2015-06-14 18:45:29] 625*2^1400325-1 is not prime. Res64: 4D3E984ACF3717A9 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:02:48] 669*2^1400325-1 is not prime. Res64: EC3B85B8B4F6D3D5 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:02:50] 759*2^1400325-1 is not prime. Res64: 9D8E659C03CA5D80 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:09] 817*2^1400325-1 is not prime. Res64: C2E6FAE841FB66FF Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:10] 885*2^1400325-1 is not prime. Res64: 893337917FD81274 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:43] 915*2^1400325-1 is not prime. Res64: 4C59471E77138594 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:44] 985*2^1400325-1 is not prime. Res64: B65731E04C0B988B Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:55] 617*2^1400326-1 is not prime. Res64: E46950D3E9364BB0 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:03:56] 773*2^1400326-1 is not prime. Res64: 22B6DA57B4AC54E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:08] 621*2^1400327-1 is not prime. Res64: 1ADFE3F9835E9200 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:09] 645*2^1400327-1 is not prime. Res64: 66232FBC5448E823 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:13] 785*2^1400326-1 is not prime. Res64: 9F58AB560D63953A Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:13] 801*2^1400326-1 is not prime. Res64: F50566F9D00D4656 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:37] 651*2^1400327-1 is not prime. Res64: 954DAD6BB1685142 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:37] 661*2^1400327-1 is not prime. Res64: 46F6F7B0BE2EB1BE Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:57] 711*2^1400327-1 is not prime. Res64: 89077448BA315734 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:21:57] 729*2^1400327-1 is not prime. Res64: 3159801F1BB9132A Time : 0.0 sec. user=mdettweiler [2015-06-14 19:38:57] 735*2^1400327-1 is not prime. Res64: 2FB350EC941E2413 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:38:57] 763*2^1400327-1 is not prime. Res64: 6D8799785DF1A30F Time : 0.0 sec. user=mdettweiler [2015-06-14 19:38:58] 843*2^1400327-1 is not prime. Res64: 9D98DAEF7CF75682 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:38:58] 981*2^1400327-1 is not prime. Res64: FB6BFA4D7D32C933 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:39:33] 605*2^1400328-1 is not prime. Res64: D008539848D43A6F Time : 0.0 sec. user=mdettweiler [2015-06-14 19:39:33] 657*2^1400328-1 is not prime. Res64: 0430D25500887794 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:39:33] 669*2^1400328-1 is not prime. Res64: CF4CD031811EC32A Time : 0.0 sec. user=mdettweiler [2015-06-14 19:39:34] 713*2^1400328-1 is not prime. Res64: DF8C7BD8DF37471B Time : 0.0 sec. user=mdettweiler [2015-06-14 19:56:45] 725*2^1400328-1 is not prime. Res64: 5E1F12A4DA06EAB0 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:56:45] 767*2^1400328-1 is not prime. Res64: 13C6B582EEE575EF Time : 0.0 sec. user=mdettweiler [2015-06-14 19:56:48] 945*2^1400328-1 is not prime. Res64: FE1EADABF34B4DC5 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:56:48] 957*2^1400328-1 is not prime. Res64: 1A112BA326F8A22D Time : 0.0 sec. user=mdettweiler [2015-06-14 19:57:13] 615*2^1400329-1 is not prime. Res64: E35B5563EB2F7465 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:57:13] 661*2^1400329-1 is not prime. Res64: 17813EB6099E2042 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:57:18] 705*2^1400329-1 is not prime. Res64: D7F3722A1C203D28 Time : 0.0 sec. user=mdettweiler [2015-06-14 19:57:18] 747*2^1400329-1 is not prime. Res64: 66381EF9C2FB4763 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:16:15] 847*2^1400329-1 is not prime. Res64: 17BECD41E7053E1F Time : 0.0 sec. user=mdettweiler [2015-06-14 20:16:15] 951*2^1400329-1 is not prime. Res64: 2C6A075E8AC91291 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:16:32] 987*2^1400329-1 is not prime. Res64: 1B9606D0D2E0B520 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:16:32] 633*2^1400330-1 is not prime. Res64: 8DA4BA9190B8C90C Time : 0.0 sec. user=mdettweiler [2015-06-14 20:17:01] 773*2^1400330-1 is not prime. Res64: 8565D2C734B0029D Time : 0.0 sec. user=mdettweiler [2015-06-14 20:17:01] 797*2^1400330-1 is not prime. Res64: 98CD1AA069BDA913 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:17:21] 641*2^1400330-1 is not prime. Res64: 8D852AE1A0249934 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:17:21] 743*2^1400330-1 is not prime. Res64: 04B300A7D57C9946 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:35:51] 827*2^1400330-1 is not prime. Res64: 176C93E25A3561F3 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:35:51] 867*2^1400330-1 is not prime. Res64: 71F9A9676AB4850A Time : 0.0 sec. user=mdettweiler [2015-06-14 20:35:52] 911*2^1400330-1 is not prime. Res64: F0E154AEEF2C4819 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:35:52] 769*2^1400331-1 is not prime. Res64: 43D37AF720222C34 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:36:35] 835*2^1400331-1 is not prime. Res64: 0FEF5C98511573B1 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:36:35] 951*2^1400331-1 is not prime. Res64: 457825F944714D94 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:36:52] 973*2^1400331-1 is not prime. Res64: 7159B0BAFC55A381 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:36:52] 743*2^1400332-1 is not prime. Res64: FD1FE8077C353D66 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:55:32] 669*2^1400333-1 is not prime. Res64: 39D0620BC0F64A57 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:55:32] 735*2^1400333-1 is not prime. Res64: 40D4377D2EB53568 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:55:34] 805*2^1400333-1 is not prime. Res64: FF810464D62060FD Time : 0.0 sec. user=mdettweiler [2015-06-14 20:55:34] 847*2^1400333-1 is not prime. Res64: 999DE2C3505BBCD6 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:56:02] 859*2^1400333-1 is not prime. Res64: 047BD4FA4A2E8E07 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:56:02] 861*2^1400333-1 is not prime. Res64: BE5176E81F2C12DE Time : 0.0 sec. user=mdettweiler [2015-06-14 20:56:39] 879*2^1400333-1 is not prime. Res64: 40A475AD2816B6E1 Time : 0.0 sec. user=mdettweiler [2015-06-14 20:56:39] 925*2^1400333-1 is not prime. Res64: 02F55ED1EC3994E6 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:09] 987*2^1400333-1 is not prime. Res64: D95CB3D87AD4A080 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:10] 641*2^1400334-1 is not prime. Res64: EC4BA1C4143BCE59 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:11] 663*2^1400334-1 is not prime. Res64: 87ACE311B10B43DA Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:12] 737*2^1400334-1 is not prime. Res64: 6B20A0CA45F726E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:12] 747*2^1400334-1 is not prime. Res64: D7EE0194DED86FCE Time : 0.0 sec. user=mdettweiler [2015-06-14 21:16:13] 755*2^1400334-1 is not prime. Res64: 24C9D2DD8586684F Time : 0.0 sec. user=mdettweiler [2015-06-14 21:17:07] 887*2^1400334-1 is not prime. Res64: A6D27766E32004D7 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:17:07] 947*2^1400334-1 is not prime. Res64: 78D45B8AB477A8FF Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:33] 633*2^1400336-1 is not prime. Res64: 41EA4B614745FE41 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:34] 669*2^1400336-1 is not prime. Res64: 0E8E608B76D7B203 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:45] 829*2^1400335-1 is not prime. Res64: 1F45CA300F8CE499 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:45] 943*2^1400335-1 is not prime. Res64: 07BB5B47C26454D5 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:48] 735*2^1400336-1 is not prime. Res64: C3E6E79B8D0143BF Time : 0.0 sec. user=mdettweiler [2015-06-14 21:35:48] 743*2^1400336-1 is not prime. Res64: 6DD080EBC9173299 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:36:42] 843*2^1400336-1 is not prime. Res64: 9AEF7D370B4E8391 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:36:42] 845*2^1400336-1 is not prime. Res64: 4B764B6A72E179E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:26] 927*2^1400336-1 is not prime. Res64: B471591C6FFD8EAA Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:26] 935*2^1400336-1 is not prime. Res64: 0D943F4DDA9E05E1 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:43] 865*2^1400337-1 is not prime. Res64: 9A42774F7480BABA Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:43] 895*2^1400337-1 is not prime. Res64: FBF9674E7F41353C Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:46] 999*2^1400336-1 is not prime. Res64: 810D2ECAB0B1017F Time : 0.0 sec. user=mdettweiler [2015-06-14 21:55:46] 601*2^1400337-1 is not prime. Res64: 153A8F92E5FD43B8 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:56:44] 665*2^1400338-1 is not prime. Res64: B88FF7C18C4D1726 Time : 0.0 sec. user=mdettweiler [2015-06-14 21:56:44] 705*2^1400338-1 is not prime. Res64: D45122969335EBC9 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:15] 737*2^1400338-1 is not prime. Res64: 0B8CAC8DF19007C2 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:15] 755*2^1400338-1 is not prime. Res64: 5CE056C82F43E572 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:44] 911*2^1400338-1 is not prime. Res64: 3C5FBA7A8CA8F272 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:44] 933*2^1400338-1 is not prime. Res64: 9948CF6FDBF5D391 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:48] 941*2^1400338-1 is not prime. Res64: 1F7314DD9D78B6E4 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:15:48] 995*2^1400338-1 is not prime. Res64: BA97DD9FB4A54ACF Time : 0.0 sec. user=mdettweiler [2015-06-14 22:16:45] 669*2^1400339-1 is not prime. Res64: 5DBEDD7F7DA512CA Time : 0.0 sec. user=mdettweiler [2015-06-14 22:16:45] 675*2^1400339-1 is not prime. Res64: 22B70A9EBBCF636E Time : 0.0 sec. user=mdettweiler [2015-06-14 22:33:52] 741*2^1400339-1 is not prime. Res64: 084852E45D1AEDCA Time : 0.0 sec. user=mdettweiler [2015-06-14 22:33:52] 825*2^1400339-1 is not prime. Res64: D58D7888909F270F Time : 0.0 sec. user=mdettweiler [2015-06-14 22:34:22] 885*2^1400339-1 is not prime. Res64: 80CA9F3FA52E6031 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:34:23] 889*2^1400339-1 is not prime. Res64: 9EA055869E5A9CB8 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:34:27] 909*2^1400339-1 is not prime. Res64: E5089BA475874BFE Time : 0.0 sec. user=mdettweiler [2015-06-14 22:34:27] 991*2^1400339-1 is not prime. Res64: 84D9A072320F6AB8 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:35:27] 675*2^1400340-1 is not prime. Res64: 5C6B8FE01364E7E4 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:35:27] 689*2^1400340-1 is not prime. Res64: 9D12F844B9F08C37 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:53:51] 879*2^1400340-1 is not prime. Res64: 3EEE021536EF1DAA Time : 0.0 sec. user=mdettweiler [2015-06-14 22:53:51] 929*2^1400340-1 is not prime. Res64: 4EF46D9374AF726C Time : 0.0 sec. user=mdettweiler [2015-06-14 22:54:27] 645*2^1400341-1 is not prime. Res64: 705EDB59ED58D683 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:54:27] 649*2^1400341-1 is not prime. Res64: 2DA399F646F16CFB Time : 0.0 sec. user=mdettweiler [2015-06-14 22:54:28] 965*2^1400340-1 is not prime. Res64: 4FEB1C3F04499A9C Time : 0.0 sec. user=mdettweiler [2015-06-14 22:54:28] 625*2^1400341-1 is not prime. Res64: 37AF77B0EF696761 Time : 0.0 sec. user=mdettweiler [2015-06-14 22:55:43] 799*2^1400341-1 is not prime. Res64: 51D6DB7A89E49EBF Time : 0.0 sec. user=mdettweiler [2015-06-14 22:55:44] 889*2^1400341-1 is not prime. Res64: 81FA2A77255030A1 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:15:21] 979*2^1400341-1 is not prime. Res64: 6FD831A8FDF6DB00 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:15:21] 731*2^1400342-1 is not prime. Res64: 0D09A2096E760B94 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:15:51] 887*2^1400342-1 is not prime. Res64: 8C6723F581C6A9A7 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:15:52] 911*2^1400342-1 is not prime. Res64: 55321336CD10C394 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:16:16] 771*2^1400342-1 is not prime. Res64: B3A4190BC8C78A3E Time : 0.0 sec. user=mdettweiler [2015-06-14 23:16:16] 797*2^1400342-1 is not prime. Res64: C34EE8F60F68BF99 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:17:30] 951*2^1400342-1 is not prime. Res64: 1C5B2B5438A6EE95 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:17:30] 619*2^1400343-1 is not prime. Res64: 97B430FE856F503F Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:19] 649*2^1400343-1 is not prime. Res64: A80B96FF569A04B8 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:20] 871*2^1400343-1 is not prime. Res64: 78C4072D39830E00 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:45] 663*2^1400344-1 is not prime. Res64: A759D7E2F145D804 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:46] 755*2^1400344-1 is not prime. Res64: 8672A028237B74E0 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:56] 955*2^1400343-1 is not prime. Res64: 65DAD5D6526E6754 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:34:57] 609*2^1400344-1 is not prime. Res64: 69E75CC4F4333323 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:36:09] 813*2^1400344-1 is not prime. Res64: 85C2D5F577A993B8 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:36:09] 649*2^1400345-1 is not prime. Res64: 7771AB462A3E6CD3 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:11] 657*2^1400345-1 is not prime. Res64: D633DF31DD310D81 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:11] 811*2^1400345-1 is not prime. Res64: 77A71A82A33F74DD Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:31] 837*2^1400345-1 is not prime. Res64: 85A028806B2C0519 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:32] 855*2^1400345-1 is not prime. Res64: 1B76E95E38DA9D32 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:49] 861*2^1400345-1 is not prime. Res64: 929430DF9A085F11 Time : 0.0 sec. user=mdettweiler [2015-06-14 23:52:49] 949*2^1400345-1 is not prime. Res64: 59143D97E2678C8A Time : 0.0 sec. user=mdettweiler [2015-06-14 23:53:57] 641*2^1400346-1 is not prime. Res64: A5F4AAB2AB1DD91B Time : 0.0 sec. user=mdettweiler [2015-06-14 23:53:57] 671*2^1400346-1 is not prime. Res64: 4DEB131EAFD23BEF Time : 0.0 sec.