user=mdettweiler [2016-07-10 00:07:14] 963*2^1434858-1 is not prime. Res64: 7860351ED84597C8 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:07:15] 633*2^1434859-1 is not prime. Res64: E2E0E9DFA935E9EB Time : 0.0 sec. user=mdettweiler [2016-07-10 00:07:16] 663*2^1434859-1 is not prime. Res64: 526394F89E9129B1 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:07:17] 745*2^1434859-1 is not prime. Res64: 0BF78DD4321795EA Time : 0.0 sec. user=mdettweiler [2016-07-10 00:07:18] 885*2^1434859-1 is not prime. Res64: 80842D96DA190CC8 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:25:27] 975*2^1434859-1 is not prime. Res64: E3B11C1F8C769A3C Time : 0.0 sec. user=mdettweiler [2016-07-10 00:25:32] 635*2^1434860-1 is not prime. Res64: E30A649E8AEBE52A Time : 0.0 sec. user=mdettweiler [2016-07-10 00:25:38] 725*2^1434860-1 is not prime. Res64: 8F005369EE1BBAF0 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:25:44] 825*2^1434860-1 is not prime. Res64: 863EEA0EE191BF17 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:25:50] 601*2^1434861-1 is not prime. Res64: CAB7286F9E4F99DF Time : 0.0 sec. user=mdettweiler [2016-07-10 00:27:52] 639*2^1434861-1 is not prime. Res64: 876231595A822734 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:27:57] 717*2^1434861-1 is not prime. Res64: 507C949282782C49 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:28:03] 745*2^1434861-1 is not prime. Res64: DD9939884578411A Time : 0.0 sec. user=mdettweiler [2016-07-10 00:28:08] 747*2^1434861-1 is not prime. Res64: FEA8034F68AF6F17 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:28:09] 825*2^1434861-1 is not prime. Res64: E4D139FC4CA67114 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:44:23] 847*2^1434861-1 is not prime. Res64: 5B1E8144F1DEAF55 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:44:24] 865*2^1434861-1 is not prime. Res64: 01657E12452D5074 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:44:24] 901*2^1434861-1 is not prime. Res64: E47806C61CA3D8C1 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:44:24] 603*2^1434862-1 is not prime. Res64: 4978364D53C1A13B Time : 0.0 sec. user=mdettweiler [2016-07-10 00:44:25] 651*2^1434862-1 is not prime. Res64: 80F3C0F33753B745 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:52:46] 765*2^1434862-1 is not prime. Res64: 168E7A808ACE9329 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:52:46] 777*2^1434862-1 is not prime. Res64: 90E129549F9496EE Time : 0.0 sec. user=mdettweiler [2016-07-10 00:52:47] 867*2^1434862-1 is not prime. Res64: D2EC7EBD0BFE7365 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:52:47] 881*2^1434862-1 is not prime. Res64: CFA770D6BE0A5F77 Time : 0.0 sec. user=mdettweiler [2016-07-10 00:52:48] 975*2^1434862-1 is not prime. Res64: 0AB8E8D971412C61 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:11:15] 995*2^1434862-1 is not prime. Res64: ACF7854D71522164 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:11:19] 805*2^1434863-1 is not prime. Res64: 78B03171A098F2FE Time : 0.0 sec. user=mdettweiler [2016-07-10 01:11:24] 705*2^1434864-1 is not prime. Res64: B579BB13AA1048D9 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:11:25] 929*2^1434864-1 is not prime. Res64: CD59909E24C1C1FA Time : 0.0 sec. user=mdettweiler [2016-07-10 01:11:31] 983*2^1434864-1 is not prime. Res64: 54A5D39FDF9F57C0 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:13:42] 609*2^1434865-1 is not prime. Res64: 6E4E8366176F5E6D Time : 0.0 sec. user=mdettweiler [2016-07-10 01:13:43] 651*2^1434865-1 is not prime. Res64: E91DBADFB96E0079 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:13:43] 715*2^1434865-1 is not prime. Res64: F3D826EA582E37A1 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:13:43] 867*2^1434865-1 is not prime. Res64: E25FD30063006223 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:13:44] 645*2^1434866-1 is not prime. Res64: DD6C0F093A3B1F8E Time : 0.0 sec. user=mdettweiler [2016-07-10 01:29:48] 773*2^1434866-1 is not prime. Res64: 98C8DDC4DEC8A9A3 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:29:49] 783*2^1434866-1 is not prime. Res64: 1552A78460F95185 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:29:50] 861*2^1434866-1 is not prime. Res64: 7D2A124C0ED6A7C7 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:29:51] 921*2^1434866-1 is not prime. Res64: 8F8CE66721B57008 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:29:52] 923*2^1434866-1 is not prime. Res64: 3712F4C52B88C992 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:38:01] 935*2^1434866-1 is not prime. Res64: BE811C8DB329FC61 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:38:08] 993*2^1434866-1 is not prime. Res64: 8B5A32BDFD8116BB Time : 0.0 sec. user=mdettweiler [2016-07-10 01:38:14] 633*2^1434867-1 is not prime. Res64: 1B1BBD35E01FAC04 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:38:20] 649*2^1434867-1 is not prime. Res64: 31A1E56BDB902083 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:38:21] 669*2^1434867-1 is not prime. Res64: C45755927A4A41B7 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:56:45] 691*2^1434867-1 is not prime. Res64: 56A45CC7E7B2C3E2 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:56:45] 705*2^1434867-1 is not prime. Res64: 27F2BE71A0E48385 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:56:46] 781*2^1434867-1 is not prime. Res64: CF129BEAB58892A4 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:56:46] 801*2^1434867-1 is not prime. Res64: 353E16F88390B7DA Time : 0.0 sec. user=mdettweiler [2016-07-10 01:56:47] 919*2^1434867-1 is not prime. Res64: C9F1CEA9846959A2 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:58:55] 985*2^1434867-1 is not prime. Res64: D9D7D1E39BB4068D Time : 0.0 sec. user=mdettweiler [2016-07-10 01:58:55] 657*2^1434868-1 is not prime. Res64: 542C93439F8B7863 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:58:56] 797*2^1434868-1 is not prime. Res64: 200E7E091D295FF9 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:58:56] 827*2^1434868-1 is not prime. Res64: 37DA3C215EE96366 Time : 0.0 sec. user=mdettweiler [2016-07-10 01:58:57] 845*2^1434868-1 is not prime. Res64: F71B2A67619F53C3 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:15:30] 855*2^1434868-1 is not prime. Res64: D05EF52C48952C0A Time : 0.0 sec. user=mdettweiler [2016-07-10 02:15:36] 875*2^1434868-1 is not prime. Res64: 30A38B5B976490C9 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:15:42] 905*2^1434868-1 is not prime. Res64: 38CC3CF2DFF700B4 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:15:47] 993*2^1434868-1 is not prime. Res64: 8DC26581C90E23CC Time : 0.0 sec. user=mdettweiler [2016-07-10 02:15:53] 601*2^1434869-1 is not prime. Res64: 55542EFC451AEEE6 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:23:40] 727*2^1434869-1 is not prime. Res64: D218D979DE7FDBB3 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:23:46] 745*2^1434869-1 is not prime. Res64: B8CF2B9EF86E2983 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:23:52] 795*2^1434869-1 is not prime. Res64: B685D77663AC593A Time : 0.0 sec. user=mdettweiler [2016-07-10 02:23:53] 825*2^1434869-1 is not prime. Res64: BECED2749377B47E Time : 0.0 sec. user=mdettweiler [2016-07-10 02:23:58] 847*2^1434869-1 is not prime. Res64: 2A572509627D3071 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:41:59] 987*2^1434869-1 is not prime. Res64: 13359A48AED485E0 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:42:00] 627*2^1434870-1 is not prime. Res64: 5A9E9EE794F58820 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:42:00] 641*2^1434870-1 is not prime. Res64: FF37034AA8B301BA Time : 0.0 sec. user=mdettweiler [2016-07-10 02:42:00] 821*2^1434870-1 is not prime. Res64: 57CBADFBFDABB70C Time : 0.0 sec. user=mdettweiler [2016-07-10 02:42:01] 609*2^1434871-1 is not prime. Res64: C5A4166B7B780D99 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:44:03] 661*2^1434871-1 is not prime. Res64: 11AC89E0404C4B09 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:44:03] 673*2^1434871-1 is not prime. Res64: 19045A72CC461FE1 Time : 0.0 sec. user=mdettweiler [2016-07-10 02:44:03] 811*2^1434871-1 is not prime. Res64: 33067E36025CCA0A Time : 0.0 sec. user=mdettweiler [2016-07-10 02:44:04] 813*2^1434872-1 is not prime. Res64: EE0F84D1E44F473E Time : 0.0 sec. user=mdettweiler [2016-07-10 02:44:04] 873*2^1434872-1 is not prime. Res64: F1BFADD6B5B079E9 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:01:00] 999*2^1434872-1 is not prime. Res64: 9E178F96B90A2E64 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:01:02] 625*2^1434873-1 is not prime. Res64: 2C89F4F0A5B8229F Time : 0.0 sec. user=mdettweiler [2016-07-10 03:01:02] 735*2^1434873-1 is not prime. Res64: 0C8F272F03487878 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:01:06] 739*2^1434873-1 is not prime. Res64: 2E612ACF4762B42A Time : 0.0 sec. user=mdettweiler [2016-07-10 03:01:07] 751*2^1434873-1 is not prime. Res64: 7CC1A188B769DFC3 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:09:11] 849*2^1434873-1 is not prime. Res64: 33F97BB4F457BCCC Time : 0.0 sec. user=mdettweiler [2016-07-10 03:09:11] 645*2^1434874-1 is not prime. Res64: 8DED57F183B24F0A Time : 0.0 sec. user=mdettweiler [2016-07-10 03:09:12] 651*2^1434874-1 is not prime. Res64: 8C61E82884AF193F Time : 0.0 sec. user=mdettweiler [2016-07-10 03:09:12] 731*2^1434874-1 is not prime. Res64: 14D9CE5ED449D249 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:09:12] 737*2^1434874-1 is not prime. Res64: CD1F0CAF6D4B069C Time : 0.0 sec. user=mdettweiler [2016-07-10 03:27:14] 803*2^1434874-1 is not prime. Res64: EADCDE89F110FCD4 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:27:15] 891*2^1434874-1 is not prime. Res64: 87A32BA5DA9A7C81 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:27:15] 987*2^1434874-1 is not prime. Res64: EE5718182B1DCE5B Time : 0.0 sec. user=mdettweiler [2016-07-10 03:27:16] 993*2^1434874-1 is not prime. Res64: 18669E64D18DFB47 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:27:17] 705*2^1434875-1 is not prime. Res64: FC7729D3BE1BC63B Time : 0.0 sec. user=mdettweiler [2016-07-10 03:29:21] 853*2^1434875-1 is not prime. Res64: D3F1A443677687B6 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:29:22] 859*2^1434875-1 is not prime. Res64: 0A9CE7A895272D65 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:29:23] 609*2^1434876-1 is not prime. Res64: 27BD55C884EAC78A Time : 0.0 sec. user=mdettweiler [2016-07-10 03:29:24] 639*2^1434876-1 is not prime. Res64: 5BBFF1FACD7BB0E8 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:29:25] 759*2^1434876-1 is not prime. Res64: 9DEE65138D92670C Time : 0.0 sec. user=mdettweiler [2016-07-10 03:46:37] 773*2^1434876-1 is not prime. Res64: B8D7BD74E37AB9A8 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:46:44] 867*2^1434876-1 is not prime. Res64: 75E49D9E07FFA666 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:46:48] 945*2^1434876-1 is not prime. Res64: FD246658435D210A Time : 0.0 sec. user=mdettweiler [2016-07-10 03:46:50] 615*2^1434877-1 is not prime. Res64: E73B69F2FED55585 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:46:56] 747*2^1434877-1 is not prime. Res64: 64B46FB3103F0158 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:54:23] 757*2^1434877-1 is not prime. Res64: AD1AAF42C293DFAC Time : 0.0 sec. user=mdettweiler [2016-07-10 03:54:24] 847*2^1434877-1 is not prime. Res64: 0F43044A176BBE04 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:54:24] 999*2^1434877-1 is not prime. Res64: 2FBC325ADC0CC44C Time : 0.0 sec. user=mdettweiler [2016-07-10 03:54:25] 657*2^1434878-1 is not prime. Res64: 6BF546AE9A7A57B6 Time : 0.0 sec. user=mdettweiler [2016-07-10 03:54:26] 677*2^1434878-1 is not prime. Res64: 6E72B3D4790A968D Time : 0.0 sec. user=mdettweiler [2016-07-10 04:13:20] 713*2^1434878-1 is not prime. Res64: DE28CBB65EC37044 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:13:20] 771*2^1434878-1 is not prime. Res64: B571347713DBE1C5 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:13:21] 795*2^1434878-1 is not prime. Res64: 9F99DE7BC4893D2F Time : 0.0 sec. user=mdettweiler [2016-07-10 04:13:21] 801*2^1434878-1 is not prime. Res64: 1E35C8067B00026A Time : 0.0 sec. user=mdettweiler [2016-07-10 04:13:21] 963*2^1434878-1 is not prime. Res64: 38D029CA1FA32738 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:16:33] 1001*2^1434878-1 is not prime. Res64: B1649D29B516E020 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:16:33] 723*2^1434879-1 is not prime. Res64: 0CB97B67726A4BED Time : 0.0 sec. user=mdettweiler [2016-07-10 04:16:33] 829*2^1434879-1 is not prime. Res64: 1EBA764E0A6DDE9A Time : 0.0 sec. user=mdettweiler [2016-07-10 04:16:34] 853*2^1434879-1 is not prime. Res64: 8D1388871CA6DB5A Time : 0.0 sec. user=mdettweiler [2016-07-10 04:16:34] 759*2^1434880-1 is not prime. Res64: 3D42322B3A447E85 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:35:10] 849*2^1434880-1 is not prime. Res64: 39D2C8841E189B0D Time : 0.0 sec. user=mdettweiler [2016-07-10 04:35:11] 855*2^1434880-1 is not prime. Res64: 99784E88A127054A Time : 0.0 sec. user=mdettweiler [2016-07-10 04:35:12] 899*2^1434880-1 is not prime. Res64: D8D6BE095E19E071 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:35:13] 909*2^1434880-1 is not prime. Res64: 70565E64379F620A Time : 0.0 sec. user=mdettweiler [2016-07-10 04:35:14] 615*2^1434881-1 is not prime. Res64: 024EED747A15C211 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:43:36] 651*2^1434881-1 is not prime. Res64: A393ADA58A57768B Time : 0.0 sec. user=mdettweiler [2016-07-10 04:43:37] 657*2^1434881-1 is not prime. Res64: D8D191327AA9608F Time : 0.0 sec. user=mdettweiler [2016-07-10 04:43:37] 685*2^1434881-1 is not prime. Res64: 06518E2AA2D08E15 Time : 0.0 sec. user=mdettweiler [2016-07-10 04:43:37] 781*2^1434881-1 is not prime. Res64: B8B4B85AFE849CFB Time : 0.0 sec. user=mdettweiler [2016-07-10 04:43:38] 819*2^1434881-1 is not prime. Res64: E58455A5928B4935 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:02:02] 837*2^1434881-1 is not prime. Res64: C8A48A4286149B52 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:02:03] 957*2^1434881-1 is not prime. Res64: 2DB409212BF17BE9 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:02:03] 991*2^1434881-1 is not prime. Res64: EBA8DF8EF44A3278 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:02:03] 713*2^1434882-1 is not prime. Res64: 5D7FB53A3940D12E Time : 0.0 sec. user=mdettweiler [2016-07-10 05:02:04] 825*2^1434882-1 is not prime. Res64: 0D7A45AF2C193EBE Time : 0.0 sec. user=mdettweiler [2016-07-10 05:03:51] 923*2^1434882-1 is not prime. Res64: 8C521D64BB019DEB Time : 0.0 sec. user=mdettweiler [2016-07-10 05:03:53] 977*2^1434882-1 is not prime. Res64: 8169D68BAC3951C6 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:03:54] 631*2^1434883-1 is not prime. Res64: E7F6ED1F418DAA70 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:03:55] 663*2^1434883-1 is not prime. Res64: 516CCAF45092C31E Time : 0.0 sec. user=mdettweiler [2016-07-10 05:03:56] 679*2^1434883-1 is not prime. Res64: 08C00F14880BFF22 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:24:35] 741*2^1434883-1 is not prime. Res64: 29648ECDCB92F4A2 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:24:36] 751*2^1434883-1 is not prime. Res64: 10FDE4B43A0BC0CF Time : 0.0 sec. user=mdettweiler [2016-07-10 05:24:36] 769*2^1434883-1 is not prime. Res64: 460779426114CE73 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:24:37] 783*2^1434883-1 is not prime. Res64: 7336808C7777043A Time : 0.0 sec. user=mdettweiler [2016-07-10 05:24:37] 819*2^1434883-1 is not prime. Res64: EBD4146C9D246CD7 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:32:18] 889*2^1434883-1 is not prime. Res64: 80078454B8BE559E Time : 0.0 sec. user=mdettweiler [2016-07-10 05:32:19] 951*2^1434883-1 is not prime. Res64: 3A77F1FD18533AA4 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:32:19] 689*2^1434884-1 is not prime. Res64: E2FDF30AFB29B216 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:32:19] 725*2^1434884-1 is not prime. Res64: 0EC1E55B1477C655 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:32:20] 749*2^1434884-1 is not prime. Res64: 309E35AFF06946C0 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:49:19] 789*2^1434884-1 is not prime. Res64: 614611F385F11AF9 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:49:20] 837*2^1434884-1 is not prime. Res64: 1CBB675CBF69A9AC Time : 0.0 sec. user=mdettweiler [2016-07-10 05:49:20] 873*2^1434884-1 is not prime. Res64: 55AABE5A449F797A Time : 0.0 sec. user=mdettweiler [2016-07-10 05:49:20] 609*2^1434885-1 is not prime. Res64: F39AD5C4EB897BEF Time : 0.0 sec. user=mdettweiler [2016-07-10 05:49:21] 657*2^1434885-1 is not prime. Res64: D9C3CB2E3581E8C7 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:51:15] 647*2^1434886-1 is not prime. Res64: 124D40F6B5620E69 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:51:15] 705*2^1434886-1 is not prime. Res64: A4AA938065086B92 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:51:16] 717*2^1434886-1 is not prime. Res64: 3DB5797D3DB70207 Time : 0.0 sec. user=mdettweiler [2016-07-10 05:51:16] 891*2^1434886-1 is not prime. Res64: 1CBEB9F23A19DE1A Time : 0.0 sec. user=mdettweiler [2016-07-10 05:51:16] 947*2^1434886-1 is not prime. Res64: A878873B56C14ED6 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:13:08] 603*2^1434887-1 is not prime. Res64: 64AE25FF4BEBD53E Time : 0.0 sec. user=mdettweiler [2016-07-10 06:13:09] 649*2^1434887-1 is not prime. Res64: 280E79139BB1DA8D Time : 0.0 sec. user=mdettweiler [2016-07-10 06:13:10] 813*2^1434887-1 is not prime. Res64: 387FA002D9C96C67 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:13:11] 841*2^1434887-1 is not prime. Res64: AC120C72BBB509C0 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:13:12] 973*2^1434887-1 is not prime. Res64: 1230BB3C3B6F5DA2 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:19:50] 985*2^1434887-1 is not prime. Res64: 1612DF48357EFCD2 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:19:51] 635*2^1434888-1 is not prime. Res64: 643D281CD8076264 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:19:51] 843*2^1434888-1 is not prime. Res64: BF28B62AB99D7429 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:19:51] 893*2^1434888-1 is not prime. Res64: F998EC88E740C8BE Time : 0.0 sec. user=mdettweiler [2016-07-10 06:19:52] 957*2^1434888-1 is not prime. Res64: 4282332E6084CBBC Time : 0.0 sec. user=mdettweiler [2016-07-10 06:36:18] 721*2^1434889-1 is not prime. Res64: B0B974B3AABEC359 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:36:18] 729*2^1434889-1 is not prime. Res64: 6F0DF92B17FB3E24 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:36:18] 919*2^1434889-1 is not prime. Res64: A892C4B825BCC177 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:36:19] 951*2^1434889-1 is not prime. Res64: 3F5DAA1832FF2A86 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:36:19] 635*2^1434890-1 is not prime. Res64: C765C8B2E9F4F9A8 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:37:59] 827*2^1434890-1 is not prime. Res64: 0C448B04502A000C Time : 0.0 sec. user=mdettweiler [2016-07-10 06:37:59] 867*2^1434890-1 is not prime. Res64: 58EA4894B2FDFC92 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:38:04] 887*2^1434890-1 is not prime. Res64: C1C7A6348BFEB367 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:38:04] 951*2^1434890-1 is not prime. Res64: 9D772D3965C47D87 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:38:04] 735*2^1434891-1 is not prime. Res64: D62584D6B7D3B59D Time : 0.0 sec. user=mdettweiler [2016-07-10 06:58:49] 795*2^1434891-1 is not prime. Res64: B80359B6F39321B7 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:58:50] 949*2^1434891-1 is not prime. Res64: 6A916993BD67EAA6 Time : 0.0 sec. user=mdettweiler [2016-07-10 06:58:50] 759*2^1434892-1 is not prime. Res64: 133B12790540539A Time : 0.0 sec. user=mdettweiler [2016-07-10 06:58:50] 797*2^1434892-1 is not prime. Res64: C9EDCB381E44C3DF Time : 0.0 sec. user=mdettweiler [2016-07-10 06:58:51] 869*2^1434892-1 is not prime. Res64: 45DC30938E4E55B2 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:05:29] 959*2^1434892-1 is not prime. Res64: 5E6EC6D422D37F70 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:05:33] 999*2^1434892-1 is not prime. Res64: 00E3A18A6E3BB505 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:05:35] 787*2^1434893-1 is not prime. Res64: CB9776E54D02351E Time : 0.0 sec. user=mdettweiler [2016-07-10 07:05:35] 795*2^1434893-1 is not prime. Res64: 84E3963D230435B2 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:05:40] 897*2^1434893-1 is not prime. Res64: 39935742ABBEB37D Time : 0.0 sec. user=mdettweiler [2016-07-10 07:21:36] 937*2^1434893-1 is not prime. Res64: 6FEEBCEE8A7499CB Time : 0.0 sec. user=mdettweiler [2016-07-10 07:21:36] 945*2^1434893-1 is not prime. Res64: 631B262E1E2A8740 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:21:37] 949*2^1434893-1 is not prime. Res64: 063DC7EF04B637FD Time : 0.0 sec. user=mdettweiler [2016-07-10 07:21:37] 635*2^1434894-1 is not prime. Res64: 1D76CD39AB79FC52 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:21:38] 705*2^1434894-1 is not prime. Res64: 0B9C2C16916B36A7 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:23:23] 717*2^1434894-1 is not prime. Res64: 00A8C32969732D1F Time : 0.0 sec. user=mdettweiler [2016-07-10 07:23:23] 737*2^1434894-1 is not prime. Res64: 4B7DB7222DF5141C Time : 0.0 sec. user=mdettweiler [2016-07-10 07:23:23] 795*2^1434894-1 is not prime. Res64: CC00DE421A3C6E31 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:23:24] 797*2^1434894-1 is not prime. Res64: 2975D5DA8F211CA8 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:23:24] 915*2^1434894-1 is not prime. Res64: 795ED9C6AA4309F8 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:44:01] 609*2^1434895-1 is not prime. Res64: 9552817AFC090F27 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:44:01] 651*2^1434895-1 is not prime. Res64: AC46135808A47FF4 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:44:01] 861*2^1434895-1 is not prime. Res64: 7397425C44A58047 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:44:02] 913*2^1434895-1 is not prime. Res64: 059FC4F6E687A6FE Time : 0.0 sec. user=mdettweiler [2016-07-10 07:44:02] 943*2^1434895-1 is not prime. Res64: 36910134EDCC8465 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:50:53] 629*2^1434896-1 is not prime. Res64: CA2EDB2B72823EBF Time : 0.0 sec. user=mdettweiler [2016-07-10 07:50:53] 645*2^1434896-1 is not prime. Res64: 0BE8CCEEEA9B9955 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:50:54] 813*2^1434896-1 is not prime. Res64: 9462BD7A49FA24D4 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:50:54] 923*2^1434896-1 is not prime. Res64: 5191120016650E16 Time : 0.0 sec. user=mdettweiler [2016-07-10 07:50:55] 747*2^1434897-1 is not prime. Res64: 05A3699C85C9BECC Time : 0.0 sec. user=mdettweiler [2016-07-10 08:06:41] 975*2^1434897-1 is not prime. Res64: 7864F7BEA90C2DCE Time : 0.0 sec. user=mdettweiler [2016-07-10 08:06:41] 997*2^1434897-1 is not prime. Res64: 797951882770F20A Time : 0.0 sec. user=mdettweiler [2016-07-10 08:06:41] 611*2^1434898-1 is not prime. Res64: 36F3CC492179C8A5 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:06:42] 635*2^1434898-1 is not prime. Res64: D0BDEF63BE362677 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:06:42] 657*2^1434898-1 is not prime. Res64: A6C3595E2AF8675D Time : 0.0 sec. user=mdettweiler [2016-07-10 08:08:32] 665*2^1434898-1 is not prime. Res64: F466F7573AB187CB Time : 0.0 sec. user=mdettweiler [2016-07-10 08:08:33] 987*2^1434898-1 is not prime. Res64: 3C3DB86BC5130FEB Time : 0.0 sec. user=mdettweiler [2016-07-10 08:08:33] 631*2^1434899-1 is not prime. Res64: 4D79BC101DCBD020 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:08:34] 693*2^1434899-1 is not prime. Res64: 0EFEAF49F8CE99F5 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:08:34] 735*2^1434899-1 is not prime. Res64: C79364DE24529CF4 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:29:08] 753*2^1434899-1 is not prime. Res64: 3FE093DFDA1E33DC Time : 0.0 sec. user=mdettweiler [2016-07-10 08:29:08] 895*2^1434899-1 is not prime. Res64: 131BF98228EEFA4F Time : 0.0 sec. user=mdettweiler [2016-07-10 08:29:09] 909*2^1434899-1 is not prime. Res64: 3B85767DF7208557 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:29:09] 943*2^1434899-1 is not prime. Res64: D4F6EEA85FEF694D Time : 0.0 sec. user=mdettweiler [2016-07-10 08:29:10] 955*2^1434899-1 is not prime. Res64: 4A1D903B3BD4108C Time : 0.0 sec. user=mdettweiler [2016-07-10 08:35:52] 627*2^1434900-1 is not prime. Res64: 74A788C7D7DB67DF Time : 0.0 sec. user=mdettweiler [2016-07-10 08:35:53] 665*2^1434900-1 is not prime. Res64: CB646D67A475A667 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:35:57] 693*2^1434900-1 is not prime. Res64: B7A9A47C6FB22753 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:35:57] 759*2^1434900-1 is not prime. Res64: C057261AC6A32316 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:35:58] 819*2^1434900-1 is not prime. Res64: 3C8F45EF2D6A8363 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:51:53] 945*2^1434900-1 is not prime. Res64: B5E6A975E8636634 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:51:53] 615*2^1434901-1 is not prime. Res64: 2A7511866CF97BF2 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:51:54] 675*2^1434901-1 is not prime. Res64: 3A72715F45DFF7E8 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:51:54] 691*2^1434901-1 is not prime. Res64: F8E2A4DB9D3182A8 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:51:54] 777*2^1434901-1 is not prime. Res64: 562708D5A7D066D0 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:53:41] 855*2^1434901-1 is not prime. Res64: 8ED42585C3ADCC2A Time : 0.0 sec. user=mdettweiler [2016-07-10 08:53:41] 945*2^1434901-1 is not prime. Res64: 7B54B897480650B7 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:53:42] 615*2^1434902-1 is not prime. Res64: E99124A1DAA1D396 Time : 0.0 sec. user=mdettweiler [2016-07-10 08:53:42] 617*2^1434902-1 is not prime. Res64: B6E5C3F72AD6F8FB Time : 0.0 sec. user=mdettweiler [2016-07-10 08:53:42] 675*2^1434902-1 is not prime. Res64: 31C5D59165BD0F4C Time : 0.0 sec. user=mdettweiler [2016-07-10 09:14:27] 731*2^1434902-1 is not prime. Res64: 37CA689F9875CC97 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:14:28] 755*2^1434902-1 is not prime. Res64: 9664D6AF0EE42620 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:14:28] 791*2^1434902-1 is not prime. Res64: F70CEEF6FEF4CD40 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:14:29] 815*2^1434902-1 is not prime. Res64: 127D365CBA742C88 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:14:29] 893*2^1434902-1 is not prime. Res64: E84DBC9BA8FBE563 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:21:09] 915*2^1434902-1 is not prime. Res64: C70C9ABC5DFF6C69 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:21:09] 921*2^1434902-1 is not prime. Res64: E0A0E67150AEA597 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:21:09] 923*2^1434902-1 is not prime. Res64: F2BA65CA0C934867 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:21:10] 977*2^1434902-1 is not prime. Res64: 1EF9D36207B4D520 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:21:10] 663*2^1434903-1 is not prime. Res64: 973E00076EF6DCAB Time : 0.0 sec. user=mdettweiler [2016-07-10 09:37:21] 783*2^1434903-1 is not prime. Res64: E901E86913560384 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:37:21] 629*2^1434904-1 is not prime. Res64: CE353748C97EFFE2 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:37:22] 665*2^1434904-1 is not prime. Res64: B9824B7CD7EAC60A Time : 0.0 sec. user=mdettweiler [2016-07-10 09:37:22] 869*2^1434904-1 is not prime. Res64: 2E3A4860FD4A8392 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:37:23] 923*2^1434904-1 is not prime. Res64: 7E0348D4A79492DA Time : 0.0 sec. user=mdettweiler [2016-07-10 09:39:06] 975*2^1434904-1 is not prime. Res64: C6121CBFDDA4C7FF Time : 0.0 sec. user=mdettweiler [2016-07-10 09:39:06] 619*2^1434905-1 is not prime. Res64: A4C43A666970EE85 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:39:06] 657*2^1434905-1 is not prime. Res64: 0BF51C7CD1AF568E Time : 0.0 sec. user=mdettweiler [2016-07-10 09:39:07] 741*2^1434905-1 is not prime. Res64: 939BCA4208D94D72 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:39:07] 759*2^1434905-1 is not prime. Res64: B1B3371A9CA20CE0 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:59:50] 795*2^1434905-1 is not prime. Res64: 114839BE8F9EDAB3 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:59:51] 885*2^1434905-1 is not prime. Res64: DCB897EEA44DCE5E Time : 0.0 sec. user=mdettweiler [2016-07-10 09:59:51] 635*2^1434906-1 is not prime. Res64: 0572599DBED35BF2 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:59:52] 747*2^1434906-1 is not prime. Res64: 0C8DB56B93D076A6 Time : 0.0 sec. user=mdettweiler [2016-07-10 09:59:52] 957*2^1434906-1 is not prime. Res64: 1EAE61BAD879FF64 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:06:28] 673*2^1434907-1 is not prime. Res64: F66304FBA19B6DB0 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:06:32] 759*2^1434907-1 is not prime. Res64: 9ECD56A0C2D26B14 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:06:34] 843*2^1434907-1 is not prime. Res64: B5FDC45844B9C01A Time : 0.0 sec. user=mdettweiler [2016-07-10 10:06:37] 891*2^1434907-1 is not prime. Res64: 36BEC066A78682FC Time : 0.0 sec. user=mdettweiler [2016-07-10 10:06:39] 669*2^1434908-1 is not prime. Res64: 867940A38888793E Time : 0.0 sec. user=mdettweiler [2016-07-10 10:22:40] 725*2^1434908-1 is not prime. Res64: 667202B88E3847DF Time : 0.0 sec. user=mdettweiler [2016-07-10 10:22:40] 753*2^1434908-1 is not prime. Res64: 0D3CC8609660BA7D Time : 0.0 sec. user=mdettweiler [2016-07-10 10:22:41] 789*2^1434908-1 is not prime. Res64: 4B5A0A0E265DFA2C Time : 0.0 sec. user=mdettweiler [2016-07-10 10:22:41] 819*2^1434908-1 is not prime. Res64: 7FEB0F02258EF1EE Time : 0.0 sec. user=mdettweiler [2016-07-10 10:22:41] 839*2^1434908-1 is not prime. Res64: DCBD65B98BDF01D6 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:24:31] 875*2^1434908-1 is not prime. Res64: 5E74CDBD8701C4E6 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:24:32] 963*2^1434908-1 is not prime. Res64: 20FCBF0D7F1A95A8 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:24:32] 999*2^1434908-1 is not prime. Res64: CDCEE737792259D1 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:24:32] 625*2^1434909-1 is not prime. Res64: 9F9EDC20ACD643EF Time : 0.0 sec. user=mdettweiler [2016-07-10 10:24:33] 655*2^1434909-1 is not prime. Res64: B704ECF586056A5A Time : 0.0 sec. user=mdettweiler [2016-07-10 10:44:53] 661*2^1434909-1 is not prime. Res64: 6A17D5684461B3D1 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:44:53] 709*2^1434909-1 is not prime. Res64: D4786331113DBC6A Time : 0.0 sec. user=mdettweiler [2016-07-10 10:44:54] 745*2^1434909-1 is not prime. Res64: A3A45B6711D44336 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:44:54] 765*2^1434909-1 is not prime. Res64: F3DD588AF1D88E55 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:44:55] 835*2^1434909-1 is not prime. Res64: 0616B58AF9E56F0D Time : 0.0 sec. user=mdettweiler [2016-07-10 10:51:58] 861*2^1434909-1 is not prime. Res64: 592911432AC1DD93 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:51:58] 907*2^1434909-1 is not prime. Res64: 336FF439222F1F98 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:51:58] 645*2^1434910-1 is not prime. Res64: 3D18A404678BC147 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:51:59] 707*2^1434910-1 is not prime. Res64: D94D5362C5FC8884 Time : 0.0 sec. user=mdettweiler [2016-07-10 10:51:59] 857*2^1434910-1 is not prime. Res64: 18525796ED079377 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:08:04] 891*2^1434910-1 is not prime. Res64: 97D8833648CB1181 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:08:05] 609*2^1434911-1 is not prime. Res64: 5E65A7EFF82A1E12 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:08:06] 705*2^1434911-1 is not prime. Res64: E7965AE2F9145D10 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:08:36] 715*2^1434911-1 is not prime. Res64: 08D8BC53F255B45C Time : 0.0 sec. user=mdettweiler [2016-07-10 11:09:49] 895*2^1434911-1 is not prime. Res64: 2C991C8691757CA9 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:09:49] 913*2^1434911-1 is not prime. Res64: 578DDFD2F116D17F Time : 0.0 sec. user=mdettweiler [2016-07-10 11:09:49] 633*2^1434912-1 is not prime. Res64: F12E70A5706454E9 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:09:50] 723*2^1434912-1 is not prime. Res64: 07A418A7006CF6CB Time : 0.0 sec. user=mdettweiler [2016-07-10 11:09:50] 725*2^1434912-1 is not prime. Res64: 1F577C89D76BE8F7 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:37:52] 915*2^1434913-1 is not prime. Res64: B014152020975EF9 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:37:53] 645*2^1434914-1 is not prime. Res64: C3E48ADB5B9BA457 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:37:53] 677*2^1434914-1 is not prime. Res64: 38611381E782DB5C Time : 0.0 sec. user=mdettweiler [2016-07-10 11:37:53] 773*2^1434914-1 is not prime. Res64: FB2FB650F6D29488 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:37:54] 783*2^1434914-1 is not prime. Res64: 0849EE49489DFA50 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:57:12] 995*2^1434914-1 is not prime. Res64: ABDA30783B3F5279 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:57:12] 613*2^1434915-1 is not prime. Res64: 247B5C8778D055AC Time : 0.0 sec. user=mdettweiler [2016-07-10 11:57:13] 943*2^1434915-1 is not prime. Res64: 39E44AAC18785475 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:57:13] 629*2^1434916-1 is not prime. Res64: 5D8143C2C0C018B3 Time : 0.0 sec. user=mdettweiler [2016-07-10 11:57:13] 699*2^1434916-1 is not prime. Res64: E566E2B3A9C6CEF7 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:26:36] 825*2^1434916-1 is not prime. Res64: C1F98E45D7A42F2D Time : 0.0 sec. user=mdettweiler [2016-07-10 12:26:36] 843*2^1434916-1 is not prime. Res64: CF7CC077ACB5CAE9 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:26:37] 869*2^1434916-1 is not prime. Res64: C519FCF66A1E0301 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:26:37] 621*2^1434917-1 is not prime. Res64: C4F7D4B3D94F65A7 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:26:38] 729*2^1434917-1 is not prime. Res64: D51D3473CC4EC952 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:45:45] 771*2^1434917-1 is not prime. Res64: 0B37EBD1F3270419 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:45:45] 825*2^1434917-1 is not prime. Res64: 5B4FD6D9E9D43405 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:45:49] 847*2^1434917-1 is not prime. Res64: DB38F3C2582DF16D Time : 0.0 sec. user=mdettweiler [2016-07-10 12:45:50] 981*2^1434917-1 is not prime. Res64: FD2AE81F7E9FBEB8 Time : 0.0 sec. user=mdettweiler [2016-07-10 12:45:51] 997*2^1434917-1 is not prime. Res64: 40354C152AC27933 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:16:21] 641*2^1434918-1 is not prime. Res64: D9D22BCD5C5AADA2 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:16:22] 711*2^1434918-1 is not prime. Res64: A4D72DE0F4205001 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:16:23] 975*2^1434918-1 is not prime. Res64: 68F3833E1F044481 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:16:23] 977*2^1434918-1 is not prime. Res64: E386D49AD1FDB75E Time : 0.0 sec. user=mdettweiler [2016-07-10 13:16:24] 619*2^1434919-1 is not prime. Res64: 3B88905271B3731A Time : 0.0 sec. user=mdettweiler [2016-07-10 13:37:20] 771*2^1434919-1 is not prime. Res64: B9C5FF880CE820F3 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:37:21] 775*2^1434919-1 is not prime. Res64: 2AB14491EA76CFB8 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:37:21] 975*2^1434919-1 is not prime. Res64: 580F770A667867C2 Time : 0.0 sec. user=mdettweiler [2016-07-10 13:37:22] 789*2^1434920-1 is not prime. Res64: 698CA55EDFF4D26E Time : 0.0 sec. user=mdettweiler [2016-07-10 13:37:22] 855*2^1434920-1 is not prime. Res64: D6C57A02B54B54C2 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:08:06] 963*2^1434920-1 is not prime. Res64: 7A647721794FCC0D Time : 0.0 sec. user=mdettweiler [2016-07-10 14:08:08] 999*2^1434920-1 is not prime. Res64: 9FEF5B81CAD3FF9C Time : 0.0 sec. user=mdettweiler [2016-07-10 14:08:09] 627*2^1434921-1 is not prime. Res64: 323BB2FC368C608D Time : 0.0 sec. user=mdettweiler [2016-07-10 14:08:10] 805*2^1434921-1 is not prime. Res64: 02494B371E379158 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:08:12] 819*2^1434921-1 is not prime. Res64: 61BDB7D213D25422 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:28:56] 937*2^1434921-1 is not prime. Res64: 7482EE3E0C9FE6B3 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:28:57] 741*2^1434922-1 is not prime. Res64: 905D43FDE9EB7A06 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:28:57] 887*2^1434922-1 is not prime. Res64: E888C123A14FC031 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:28:57] 643*2^1434923-1 is not prime. Res64: DB2647C16D20677E Time : 0.0 sec. user=mdettweiler [2016-07-10 14:28:58] 679*2^1434923-1 is not prime. Res64: 242C699263826960 Time : 0.0 sec. user=mdettweiler [2016-07-10 14:46:20] 883*2^1434911-1 is not prime. Res64: 3F370E6D119A0896 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:16:23] 973*2^1434923-1 is not prime. Res64: 530EA4C832CA85A5 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:16:24] 663*2^1434924-1 is not prime. Res64: BAE015E949A8B427 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:16:24] 773*2^1434924-1 is not prime. Res64: 20AE760CCB3DD1F8 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:16:25] 927*2^1434924-1 is not prime. Res64: 433A37030B674755 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:16:25] 965*2^1434924-1 is not prime. Res64: 65F32EA7FF07044B Time : 0.0 sec. user=mdettweiler [2016-07-10 15:34:07] 969*2^1434924-1 is not prime. Res64: 0E1485C0E79D8599 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:34:08] 625*2^1434925-1 is not prime. Res64: 3A534FBBBDC14133 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:34:08] 645*2^1434925-1 is not prime. Res64: E649E134EFA9D6B1 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:34:08] 871*2^1434925-1 is not prime. Res64: C3DF2D335AF56034 Time : 0.0 sec. user=mdettweiler [2016-07-10 15:34:09] 895*2^1434925-1 is not prime. Res64: 577C962F6275EA32 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:05:17] 683*2^1434926-1 is not prime. Res64: BEFD4D97B7268635 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:05:19] 743*2^1434926-1 is not prime. Res64: CB285E1E5E14AF47 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:05:20] 761*2^1434926-1 is not prime. Res64: 0F255099006E1B59 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:05:21] 773*2^1434926-1 is not prime. Res64: E5928750EACD7B06 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:05:29] 801*2^1434926-1 is not prime. Res64: 8EC1C13D4505D24A Time : 0.0 sec. user=mdettweiler [2016-07-10 16:22:40] 815*2^1434926-1 is not prime. Res64: 2DD88605FE0C7D8E Time : 0.0 sec. user=mdettweiler [2016-07-10 16:22:41] 827*2^1434926-1 is not prime. Res64: 354045A711C27A32 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:22:41] 957*2^1434926-1 is not prime. Res64: 9DC0219D6840B573 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:22:41] 971*2^1434926-1 is not prime. Res64: 2FE06A9720068BFD Time : 0.0 sec. user=mdettweiler [2016-07-10 16:22:42] 675*2^1434927-1 is not prime. Res64: 8BE67236D5D69400 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:54:32] 963*2^1434927-1 is not prime. Res64: 8272D2FFE1DD4575 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:54:33] 973*2^1434927-1 is not prime. Res64: B9F557CBA4CE29D1 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:54:33] 705*2^1434928-1 is not prime. Res64: 11B3339B93D3503C Time : 0.0 sec. user=mdettweiler [2016-07-10 16:54:33] 743*2^1434928-1 is not prime. Res64: AF219CFCB296C798 Time : 0.0 sec. user=mdettweiler [2016-07-10 16:54:34] 855*2^1434928-1 is not prime. Res64: 731602991B806FB7 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:11:47] 929*2^1434928-1 is not prime. Res64: 35F2963250DDA229 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:11:48] 989*2^1434928-1 is not prime. Res64: 5F90CF6A479A7FFF Time : 0.0 sec. user=mdettweiler [2016-07-10 17:11:48] 615*2^1434929-1 is not prime. Res64: 859B1EDD67BD0CC1 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:11:49] 675*2^1434929-1 is not prime. Res64: AA4550A214372837 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:11:49] 727*2^1434929-1 is not prime. Res64: 0434E586D2BA31B4 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:43:53] 837*2^1434929-1 is not prime. Res64: 39D069415F68BD7C Time : 0.0 sec. user=mdettweiler [2016-07-10 17:43:53] 671*2^1434930-1 is not prime. Res64: BE1A73159B9AE32B Time : 0.0 sec. user=mdettweiler [2016-07-10 17:43:54] 725*2^1434930-1 is not prime. Res64: 34F6962F4F7A41DA Time : 0.0 sec. user=mdettweiler [2016-07-10 17:43:54] 767*2^1434930-1 is not prime. Res64: 9CBB9E9CF2927B40 Time : 0.0 sec. user=mdettweiler [2016-07-10 17:43:54] 797*2^1434930-1 is not prime. Res64: 156B7B76C0B93E90 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:01:44] 767*2^1434912-1 is not prime. Res64: 9B8A51E114D9539B Time : 0.0 sec. user=mdettweiler [2016-07-10 18:01:46] 933*2^1434912-1 is not prime. Res64: 12B0D50CFEE2F258 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:01:47] 945*2^1434912-1 is not prime. Res64: 2BBCEB45E0D175DE Time : 0.0 sec. user=mdettweiler [2016-07-10 18:01:49] 751*2^1434913-1 is not prime. Res64: C2E3313E74711F06 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:01:50] 769*2^1434913-1 is not prime. Res64: 79B88FD93CB26E74 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:03:05] 803*2^1434930-1 is not prime. Res64: FEE446E1603B7837 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:03:06] 833*2^1434930-1 is not prime. Res64: 9AC20C8249676A3D Time : 0.0 sec. user=mdettweiler [2016-07-10 18:03:08] 951*2^1434930-1 is not prime. Res64: 0EB2658D0991D90A Time : 0.0 sec. user=mdettweiler [2016-07-10 18:03:09] 963*2^1434930-1 is not prime. Res64: 7A1647C0B5B261EB Time : 0.0 sec. user=mdettweiler [2016-07-10 18:03:10] 977*2^1434930-1 is not prime. Res64: 80AD337B3B61A62C Time : 0.0 sec. user=mdettweiler [2016-07-10 18:33:16] 645*2^1434931-1 is not prime. Res64: 5DB820CDCB75C357 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:33:16] 663*2^1434931-1 is not prime. Res64: 39048AB7DB3BADA0 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:33:16] 769*2^1434931-1 is not prime. Res64: 7D7C7918694231F0 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:33:17] 979*2^1434931-1 is not prime. Res64: 26041BD8C6775AE9 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:33:17] 615*2^1434932-1 is not prime. Res64: 007143D5159BB548 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:50:17] 677*2^1434932-1 is not prime. Res64: 8B4915D9D112931B Time : 0.0 sec. user=mdettweiler [2016-07-10 18:50:18] 719*2^1434932-1 is not prime. Res64: FC242217159F131F Time : 0.0 sec. user=mdettweiler [2016-07-10 18:50:19] 903*2^1434932-1 is not prime. Res64: 0E0A393B6388B92C Time : 0.0 sec. user=mdettweiler [2016-07-10 18:50:20] 769*2^1434933-1 is not prime. Res64: 5B512CA4639A0E14 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:50:21] 889*2^1434933-1 is not prime. Res64: F7A97B847B659223 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:51:37] 895*2^1434933-1 is not prime. Res64: 93C50A3A7B32B484 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:51:38] 635*2^1434934-1 is not prime. Res64: 9AAA9520ED9EB1F4 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:51:39] 657*2^1434934-1 is not prime. Res64: 046FAD566D24FAB9 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:51:39] 665*2^1434934-1 is not prime. Res64: B397801B8EE60223 Time : 0.0 sec. user=mdettweiler [2016-07-10 18:51:40] 885*2^1434934-1 is not prime. Res64: F063C71F346A4405 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:21:49] 887*2^1434934-1 is not prime. Res64: 497EF3EB39808916 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:21:50] 915*2^1434934-1 is not prime. Res64: 313FE510CA87FE3F Time : 0.0 sec. user=mdettweiler [2016-07-10 19:21:50] 917*2^1434934-1 is not prime. Res64: 5F18C41A939EA861 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:21:51] 987*2^1434934-1 is not prime. Res64: E243E0D86AF5EBFC Time : 0.0 sec. user=mdettweiler [2016-07-10 19:21:51] 643*2^1434935-1 is not prime. Res64: 2DCA55B346AF62BC Time : 0.0 sec. user=mdettweiler [2016-07-10 19:38:44] 645*2^1434935-1 is not prime. Res64: 6E2ACB79AF4E464F Time : 0.0 sec. user=mdettweiler [2016-07-10 19:38:45] 655*2^1434935-1 is not prime. Res64: 4ECF7075B5D1DE99 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:38:46] 885*2^1434935-1 is not prime. Res64: EDBA5A3A680DF07B Time : 0.0 sec. user=mdettweiler [2016-07-10 19:38:46] 609*2^1434936-1 is not prime. Res64: 7AE5BEECDFECDFAF Time : 0.0 sec. user=mdettweiler [2016-07-10 19:38:47] 657*2^1434936-1 is not prime. Res64: C87C10C9961DE9C7 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:39:55] 669*2^1434936-1 is not prime. Res64: BD5282B5EEE6B1B9 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:39:56] 773*2^1434936-1 is not prime. Res64: DB728B5B3ABB8760 Time : 0.0 sec. user=mdettweiler [2016-07-10 19:39:56] 789*2^1434936-1 is not prime. Res64: 87D75C49670C229E Time : 0.0 sec. user=mdettweiler [2016-07-10 19:39:57] 909*2^1434936-1 is not prime. Res64: 7B6928F7AE4D521A Time : 0.0 sec. user=mdettweiler [2016-07-10 19:39:57] 609*2^1434937-1 is not prime. Res64: 1727A324B0D27F21 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:10:42] 615*2^1434937-1 is not prime. Res64: FC073CFA47F5B87E Time : 0.0 sec. user=mdettweiler [2016-07-10 20:10:43] 645*2^1434937-1 is not prime. Res64: FFC0D1AB5405441B Time : 0.0 sec. user=mdettweiler [2016-07-10 20:10:43] 675*2^1434937-1 is not prime. Res64: 5075A7B8D888B74E Time : 0.0 sec. user=mdettweiler [2016-07-10 20:10:43] 775*2^1434937-1 is not prime. Res64: 1856A1A1B2BE085B Time : 0.0 sec. user=mdettweiler [2016-07-10 20:10:44] 861*2^1434937-1 is not prime. Res64: AFD10991A2F42EA3 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:47] 735*2^1434923-1 is not prime. Res64: B7B5A15D7859115F Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:48] 823*2^1434923-1 is not prime. Res64: AB4469AB6B9AEE99 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:48] 871*2^1434923-1 is not prime. Res64: 5FB1BACD6C9766CA Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:48] 921*2^1434923-1 is not prime. Res64: FE92F6C8F1DF4245 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:52] 949*2^1434923-1 is not prime. Res64: 8A7D1704D17F7CD1 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:59] 885*2^1434937-1 is not prime. Res64: 444074E38FB211CF Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:59] 617*2^1434938-1 is not prime. Res64: 036A9D2EEFBA8201 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:26:59] 627*2^1434938-1 is not prime. Res64: 2DB2100387BA8157 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:27:00] 707*2^1434938-1 is not prime. Res64: 4B558A55E6A94316 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:27:00] 801*2^1434938-1 is not prime. Res64: 66EBBD27445E71C7 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:28:15] 867*2^1434938-1 is not prime. Res64: 48FE41860FDDCD1D Time : 0.0 sec. user=mdettweiler [2016-07-10 20:28:16] 927*2^1434938-1 is not prime. Res64: 6BCA71812D1B016C Time : 0.0 sec. user=mdettweiler [2016-07-10 20:28:16] 951*2^1434938-1 is not prime. Res64: 7AB9979239E1A71D Time : 0.0 sec. user=mdettweiler [2016-07-10 20:28:16] 615*2^1434939-1 is not prime. Res64: CE97D7FA085C9C4B Time : 0.0 sec. user=mdettweiler [2016-07-10 20:28:17] 735*2^1434939-1 is not prime. Res64: DE7A7CBA6113D4F2 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:57:36] 801*2^1434939-1 is not prime. Res64: CA71BF0BF5B6F720 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:57:36] 853*2^1434939-1 is not prime. Res64: 352308BFDB04493D Time : 0.0 sec. user=mdettweiler [2016-07-10 20:57:37] 895*2^1434939-1 is not prime. Res64: 3AD51D2EC610105E Time : 0.0 sec. user=mdettweiler [2016-07-10 20:57:37] 909*2^1434939-1 is not prime. Res64: BF1E67C2D324CB99 Time : 0.0 sec. user=mdettweiler [2016-07-10 20:57:37] 913*2^1434939-1 is not prime. Res64: 442CA23C3110A176 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:44] 949*2^1434939-1 is not prime. Res64: 90637ED688D90A82 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:45] 647*2^1434940-1 is not prime. Res64: 424A50E161A1EE1C Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:46] 665*2^1434940-1 is not prime. Res64: 375CE27477CED05A Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:47] 957*2^1434940-1 is not prime. Res64: 51F023A1D4E92938 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:47] 657*2^1434941-1 is not prime. Res64: A5851353E6F7E28E Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:52] 669*2^1434941-1 is not prime. Res64: A506609327FA55AD Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:53] 691*2^1434941-1 is not prime. Res64: BBA22081B6D85B08 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:54] 741*2^1434941-1 is not prime. Res64: 70D75C0E22873F7F Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:55] 621*2^1434942-1 is not prime. Res64: 6EAD6B1885242272 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:12:56] 807*2^1434942-1 is not prime. Res64: 925748D2688E0A4A Time : 0.0 sec. user=mdettweiler [2016-07-10 21:14:01] 633*2^1434943-1 is not prime. Res64: BB24F8CB34114DAF Time : 0.0 sec. user=mdettweiler [2016-07-10 21:14:02] 661*2^1434943-1 is not prime. Res64: 9616F91FAB37972D Time : 0.0 sec. user=mdettweiler [2016-07-10 21:14:06] 681*2^1434943-1 is not prime. Res64: B144B7C010E78667 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:14:07] 693*2^1434943-1 is not prime. Res64: 566AC18F8801CF78 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:14:07] 741*2^1434943-1 is not prime. Res64: ABDC03ED2CC64036 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:42:58] 859*2^1434943-1 is not prime. Res64: 88316AFE5EADCE32 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:42:59] 615*2^1434944-1 is not prime. Res64: 01AB220E917FC205 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:42:59] 819*2^1434944-1 is not prime. Res64: 7F8595490BC7274E Time : 0.0 sec. user=mdettweiler [2016-07-10 21:43:00] 825*2^1434944-1 is not prime. Res64: 995C8759E99AA69E Time : 0.0 sec. user=mdettweiler [2016-07-10 21:43:00] 909*2^1434944-1 is not prime. Res64: 08656D0E4CBDB4D4 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:29] 645*2^1434946-1 is not prime. Res64: BAD968C1A2634FEA Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 657*2^1434946-1 is not prime. Res64: 756AA1B3C9DEB2E7 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 675*2^1434946-1 is not prime. Res64: 01137BC8FFFF1E11 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 713*2^1434946-1 is not prime. Res64: 28ED5FEF371543F2 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 627*2^1434945-1 is not prime. Res64: 088F2358CB3FED47 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 843*2^1434946-1 is not prime. Res64: C390CA977A2BF3A2 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:30] 759*2^1434945-1 is not prime. Res64: 6C2BA050E336AE9C Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:31] 895*2^1434945-1 is not prime. Res64: 24C680B743E20D62 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:31] 949*2^1434945-1 is not prime. Res64: 8562169FCF2B25EC Time : 0.0 sec. user=mdettweiler [2016-07-10 21:58:31] 611*2^1434946-1 is not prime. Res64: B2680D9484A865DF Time : 0.0 sec. user=mdettweiler [2016-07-10 21:59:47] 917*2^1434946-1 is not prime. Res64: 3AEB0A009F72A8F3 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:59:48] 923*2^1434946-1 is not prime. Res64: E9DF786BE303F880 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:59:48] 993*2^1434946-1 is not prime. Res64: 7080247F1FD64AF7 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:59:55] 633*2^1434947-1 is not prime. Res64: 5F2BBB5660AE3BD2 Time : 0.0 sec. user=mdettweiler [2016-07-10 21:59:55] 669*2^1434947-1 is not prime. Res64: 1A9A52D8F5713DEA Time : 0.0 sec. user=mdettweiler [2016-07-10 22:28:53] 693*2^1434947-1 is not prime. Res64: 5404B7D94D4357D9 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:28:54] 871*2^1434947-1 is not prime. Res64: 0418A28A6DD98A2C Time : 0.0 sec. user=mdettweiler [2016-07-10 22:28:54] 945*2^1434947-1 is not prime. Res64: 016112147E1DDD8F Time : 0.0 sec. user=mdettweiler [2016-07-10 22:28:55] 979*2^1434947-1 is not prime. Res64: 3DE1B58504B1749E Time : 0.0 sec. user=mdettweiler [2016-07-10 22:28:55] 689*2^1434948-1 is not prime. Res64: B5DE897B340E12E6 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:44:07] 759*2^1434948-1 is not prime. Res64: A94D5D927F2AF293 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:44:07] 843*2^1434948-1 is not prime. Res64: 5EB4EF32F67611CE Time : 0.0 sec. user=mdettweiler [2016-07-10 22:44:08] 879*2^1434948-1 is not prime. Res64: F931CC92FE231731 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:44:08] 927*2^1434948-1 is not prime. Res64: FCC057E255409DFC Time : 0.0 sec. user=mdettweiler [2016-07-10 22:44:09] 959*2^1434948-1 is not prime. Res64: 78853A62DFE88699 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:12] 741*2^1434950-1 is not prime. Res64: 7D3D7713BA8A6399 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:12] 755*2^1434950-1 is not prime. Res64: 4A120FC837548089 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:12] 785*2^1434950-1 is not prime. Res64: FB823DB866E6D22E Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:13] 857*2^1434950-1 is not prime. Res64: 576D74F481789ED9 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:13] 923*2^1434950-1 is not prime. Res64: 3F8072F0E7D16672 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:51] 995*2^1434950-1 is not prime. Res64: E9AF64A000032D4F Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:58] 625*2^1434951-1 is not prime. Res64: 9FBCBC7F6AF4A56B Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:59] 639*2^1434951-1 is not prime. Res64: 15405B451533A88A Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:59] 703*2^1434951-1 is not prime. Res64: 5663C15FB4569A87 Time : 0.0 sec. user=mdettweiler [2016-07-10 22:45:59] 795*2^1434951-1 is not prime. Res64: AD2D3F81085B35EC Time : 0.0 sec. user=mdettweiler [2016-07-10 23:14:00] 825*2^1434951-1 is not prime. Res64: B31C7384993127B7 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:14:01] 913*2^1434951-1 is not prime. Res64: D6DBD83B8FFE602B Time : 0.0 sec. user=mdettweiler [2016-07-10 23:14:01] 999*2^1434951-1 is not prime. Res64: 8E33820CBA3BF115 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:14:01] 605*2^1434952-1 is not prime. Res64: 857C8CE62A58C7C7 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:14:02] 615*2^1434952-1 is not prime. Res64: 66FE1E15DA3DA95B Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:15] 639*2^1434952-1 is not prime. Res64: A672491119B34E1E Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:16] 677*2^1434952-1 is not prime. Res64: FF1505BB45ED823D Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:16] 819*2^1434952-1 is not prime. Res64: 846E8296C4C30146 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:17] 827*2^1434952-1 is not prime. Res64: 5F13A2FA49D5DE8E Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:17] 869*2^1434952-1 is not prime. Res64: B61519C8A4F0E32A Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:58] 909*2^1434952-1 is not prime. Res64: A48CD80CAB93A123 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:58] 917*2^1434952-1 is not prime. Res64: 9E6120D1E6D19B25 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:58] 975*2^1434952-1 is not prime. Res64: 49622040E47EACE3 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:59] 607*2^1434953-1 is not prime. Res64: 26900D3E18BA14F9 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:29:59] 649*2^1434953-1 is not prime. Res64: DE346D719FFB4084 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:30:54] 657*2^1434953-1 is not prime. Res64: 0D0FB4674726A04E Time : 0.0 sec. user=mdettweiler [2016-07-10 23:31:00] 697*2^1434953-1 is not prime. Res64: E830460224B05E02 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:31:01] 721*2^1434953-1 is not prime. Res64: 1B7BF47E16DF9081 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:31:01] 745*2^1434953-1 is not prime. Res64: D89987944EA3684E Time : 0.0 sec. user=mdettweiler [2016-07-10 23:31:02] 787*2^1434953-1 is not prime. Res64: 46EB4BA2F7B55C40 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:58:48] 847*2^1434953-1 is not prime. Res64: DE517AC661BFCA8C Time : 0.0 sec. user=mdettweiler [2016-07-10 23:58:48] 897*2^1434953-1 is not prime. Res64: 31931575581D8143 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:58:48] 937*2^1434953-1 is not prime. Res64: 68BFA195270BD7E7 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:58:49] 949*2^1434953-1 is not prime. Res64: 83F221E928F03074 Time : 0.0 sec. user=mdettweiler [2016-07-10 23:58:49] 981*2^1434953-1 is not prime. Res64: 9FEBBB3133850093 Time : 0.0 sec.