user=mdettweiler [2015-11-13 00:02:14] 997*2^1414761-1 is not prime. Res64: FD6946BE975A64B0 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:02:15] 603*2^1414762-1 is not prime. Res64: 295F49557E44EAF8 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:03:41] 889*2^1414761-1 is not prime. Res64: 31DD5D6D2A7696BA Time : 0.0 sec. user=mdettweiler [2015-11-13 00:03:42] 951*2^1414761-1 is not prime. Res64: 62FC5ECE78B6C689 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:05:06] 617*2^1414762-1 is not prime. Res64: 43D5ACB67FAB2ED6 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:05:07] 665*2^1414762-1 is not prime. Res64: 26AC8323C8760BCE Time : 0.0 sec. user=mdettweiler [2015-11-13 00:08:42] 731*2^1414762-1 is not prime. Res64: 87FB315203680821 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:08:43] 885*2^1414762-1 is not prime. Res64: 066348545798830D Time : 0.0 sec. user=mdettweiler [2015-11-13 00:22:04] 887*2^1414762-1 is not prime. Res64: 9A4753FB286280BA Time : 0.0 sec. user=mdettweiler [2015-11-13 00:22:04] 603*2^1414763-1 is not prime. Res64: F5690AFEB8A690D1 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:23:40] 619*2^1414763-1 is not prime. Res64: EC30E20C59DEC10B Time : 0.0 sec. user=mdettweiler [2015-11-13 00:23:40] 633*2^1414763-1 is not prime. Res64: 01FD69119EF75343 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:24:39] 699*2^1414763-1 is not prime. Res64: 6B97291BE9D48EAB Time : 0.0 sec. user=mdettweiler [2015-11-13 00:24:40] 715*2^1414763-1 is not prime. Res64: C5D93AFC5029B9CD Time : 0.0 sec. user=mdettweiler [2015-11-13 00:27:32] 741*2^1414763-1 is not prime. Res64: 79D4F134EE11ED66 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:27:33] 745*2^1414763-1 is not prime. Res64: 81C1A522FE2E3FCC Time : 0.0 sec. user=mdettweiler [2015-11-13 00:40:40] 801*2^1414763-1 is not prime. Res64: FC9D390C17D739BF Time : 0.0 sec. user=mdettweiler [2015-11-13 00:40:40] 913*2^1414763-1 is not prime. Res64: 2EDDA765DC47FEA3 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:42:04] 915*2^1414763-1 is not prime. Res64: 3C8B81D6A538C7E6 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:42:05] 943*2^1414763-1 is not prime. Res64: F18D6D17145A6460 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:43:21] 683*2^1414764-1 is not prime. Res64: 28EAD7929F0BF617 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:43:22] 707*2^1414764-1 is not prime. Res64: A32D3728CA4941AA Time : 0.0 sec. user=mdettweiler [2015-11-13 00:45:59] 789*2^1414764-1 is not prime. Res64: 178FE2D4434B3C17 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:46:00] 809*2^1414764-1 is not prime. Res64: 7E568B00D2774FD5 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:58:36] 887*2^1414764-1 is not prime. Res64: DD70C3A41DB17E70 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:58:37] 905*2^1414764-1 is not prime. Res64: 0328709E55ED7027 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:59:48] 609*2^1414765-1 is not prime. Res64: 1A4A9AF1F4767681 Time : 0.0 sec. user=mdettweiler [2015-11-13 00:59:48] 801*2^1414765-1 is not prime. Res64: D6073B44BCDBD009 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:01:06] 861*2^1414765-1 is not prime. Res64: 6943851853D545E0 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:01:07] 877*2^1414765-1 is not prime. Res64: 17CC01E86BF74C71 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:03:46] 915*2^1414765-1 is not prime. Res64: 1E35C3AEDA8FD6E3 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:03:47] 975*2^1414765-1 is not prime. Res64: E941562F416753F5 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:17:12] 997*2^1414765-1 is not prime. Res64: 4CD3BF631325B765 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:17:12] 705*2^1414766-1 is not prime. Res64: FC79D2B73FD39196 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:18:07] 707*2^1414766-1 is not prime. Res64: A0B11BA3B4739FBD Time : 0.0 sec. user=mdettweiler [2015-11-13 01:18:07] 831*2^1414766-1 is not prime. Res64: 0D8FE475788ABABC Time : 0.0 sec. user=mdettweiler [2015-11-13 01:19:29] 971*2^1414766-1 is not prime. Res64: A57193AA4084EB74 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:19:29] 987*2^1414766-1 is not prime. Res64: B71D638B18EDF196 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:22:15] 781*2^1414767-1 is not prime. Res64: 2C389DE02C41B525 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:22:15] 795*2^1414767-1 is not prime. Res64: 579ED197BC5399AF Time : 0.0 sec. user=mdettweiler [2015-11-13 01:36:19] 849*2^1414767-1 is not prime. Res64: B7030DEA905C9B0E Time : 0.0 sec. user=mdettweiler [2015-11-13 01:36:20] 895*2^1414767-1 is not prime. Res64: 9D10C2D1C98BB7D2 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:37:10] 945*2^1414767-1 is not prime. Res64: CA3A2ACEB950429D Time : 0.0 sec. user=mdettweiler [2015-11-13 01:37:11] 615*2^1414768-1 is not prime. Res64: 72B86EDA2244D405 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:38:14] 713*2^1414768-1 is not prime. Res64: FA469954E05C6B68 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:38:14] 813*2^1414768-1 is not prime. Res64: 524D1BF78E0F793B Time : 0.0 sec. user=mdettweiler [2015-11-13 01:41:03] 909*2^1414768-1 is not prime. Res64: 021A9A217A3CEB54 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:41:03] 957*2^1414768-1 is not prime. Res64: 7BFEB3157D010E66 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:54:07] 959*2^1414768-1 is not prime. Res64: 5979EBA5F4AABBF7 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:54:08] 995*2^1414768-1 is not prime. Res64: 84437AA00ADA6AF4 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:54:55] 619*2^1414769-1 is not prime. Res64: 0D273692C561835A Time : 0.0 sec. user=mdettweiler [2015-11-13 01:54:55] 697*2^1414769-1 is not prime. Res64: 9F932E97B2B61D88 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:56:10] 705*2^1414769-1 is not prime. Res64: 030D25EEC6DF6393 Time : 0.0 sec. user=mdettweiler [2015-11-13 01:56:11] 847*2^1414769-1 is not prime. Res64: 68A544E1D37D13AB Time : 0.0 sec. user=mdettweiler [2015-11-13 01:58:58] 861*2^1414769-1 is not prime. Res64: AF42C8BA1CA896BD Time : 0.0 sec. user=mdettweiler [2015-11-13 01:58:59] 879*2^1414769-1 is not prime. Res64: D0356145256DD23B Time : 0.0 sec. user=mdettweiler [2015-11-13 02:13:33] 951*2^1414769-1 is not prime. Res64: 74F1FE52E052409D Time : 0.0 sec. user=mdettweiler [2015-11-13 02:13:34] 987*2^1414769-1 is not prime. Res64: 56AFCDE61F1CF702 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:13:59] 627*2^1414770-1 is not prime. Res64: C543BF231E8ECDC0 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:13:59] 725*2^1414770-1 is not prime. Res64: 253402B4C57497C8 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:15:15] 821*2^1414770-1 is not prime. Res64: AF4B2FBED1B2DDC5 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:15:15] 723*2^1414771-1 is not prime. Res64: 7AC10419892AC736 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:18:10] 733*2^1414771-1 is not prime. Res64: 0668B185ED5B73CB Time : 0.0 sec. user=mdettweiler [2015-11-13 02:18:10] 819*2^1414771-1 is not prime. Res64: AF932E59557EEC10 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:42:37] 687*2^1414772-1 is not prime. Res64: CE38D01A249892D3 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:42:39] 719*2^1414772-1 is not prime. Res64: 6E3A29655CDAE8FC Time : 0.0 sec. user=mdettweiler [2015-11-13 02:42:56] 835*2^1414771-1 is not prime. Res64: FAF712C6EF94BC5A Time : 0.0 sec. user=mdettweiler [2015-11-13 02:42:57] 891*2^1414771-1 is not prime. Res64: BD6EBB82EBD3D112 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:43:04] 931*2^1414771-1 is not prime. Res64: 6D03902591E32E1C Time : 0.0 sec. user=mdettweiler [2015-11-13 02:43:05] 665*2^1414772-1 is not prime. Res64: 4A5F0B5BEEA6F4E9 Time : 0.0 sec. user=mdettweiler [2015-11-13 02:43:17] 837*2^1414772-1 is not prime. Res64: C87120ED2101494B Time : 0.0 sec. user=mdettweiler [2015-11-13 02:43:18] 885*2^1414772-1 is not prime. Res64: AB6FB9CF341ED461 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:12] 893*2^1414772-1 is not prime. Res64: 99FC702321E6C6B3 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:12] 649*2^1414773-1 is not prime. Res64: 40B27FCAA234684B Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:33] 669*2^1414773-1 is not prime. Res64: 5C26A6388A36B744 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:34] 681*2^1414773-1 is not prime. Res64: 29340A3A60625A7D Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:38] 699*2^1414773-1 is not prime. Res64: 8BEBBCE9310E9940 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:38] 781*2^1414773-1 is not prime. Res64: 8C97FD375C4E2257 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:50] 811*2^1414773-1 is not prime. Res64: 1454D5ACDCB108E8 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:00:51] 889*2^1414773-1 is not prime. Res64: 29E9739C5F17D6B3 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:18:55] 919*2^1414773-1 is not prime. Res64: 55E5C3E38DE4188F Time : 0.0 sec. user=mdettweiler [2015-11-13 03:18:56] 945*2^1414773-1 is not prime. Res64: 68A02B90EDD18B6B Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:04] 605*2^1414774-1 is not prime. Res64: 95B6D990DA3C9549 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:05] 813*2^1414774-1 is not prime. Res64: 78B662C4110CE05B Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:20] 833*2^1414774-1 is not prime. Res64: 355BC0FA0EDF86BE Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:21] 705*2^1414775-1 is not prime. Res64: 960C58D5844DDA32 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:22] 887*2^1414774-1 is not prime. Res64: CBD7ECFAA8CB16E4 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:19:22] 783*2^1414775-1 is not prime. Res64: 9153CBF7D1B389F1 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:36:38] 843*2^1414775-1 is not prime. Res64: 7670445ECBD812AF Time : 0.0 sec. user=mdettweiler [2015-11-13 03:36:39] 883*2^1414775-1 is not prime. Res64: 103B1603E38B9D7F Time : 0.0 sec. user=mdettweiler [2015-11-13 03:36:39] 855*2^1414775-1 is not prime. Res64: 59B6BAD546DF3E6E Time : 0.0 sec. user=mdettweiler [2015-11-13 03:36:40] 909*2^1414775-1 is not prime. Res64: 644DB2F4D695271E Time : 0.0 sec. user=mdettweiler [2015-11-13 03:37:02] 759*2^1414776-1 is not prime. Res64: 100A8A2311D852CE Time : 0.0 sec. user=mdettweiler [2015-11-13 03:37:03] 825*2^1414776-1 is not prime. Res64: 9BFF7B1EB55DC85C Time : 0.0 sec. user=mdettweiler [2015-11-13 03:37:06] 973*2^1414775-1 is not prime. Res64: C4ECD2700F6BAB31 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:37:07] 747*2^1414776-1 is not prime. Res64: 68F979A968E09983 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:36] 909*2^1414776-1 is not prime. Res64: 5A479B4C9D2BE844 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:38] 975*2^1414776-1 is not prime. Res64: 9A6E79CB56E00865 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:40] 927*2^1414776-1 is not prime. Res64: 25FBE733C3A1A282 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:41] 945*2^1414776-1 is not prime. Res64: 2580B8615C532645 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:42] 619*2^1414777-1 is not prime. Res64: 9BAC7DDDB29F0FCC Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:43] 639*2^1414777-1 is not prime. Res64: 94F737A57A17175A Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:46] 661*2^1414777-1 is not prime. Res64: FD771BC45A761625 Time : 0.0 sec. user=mdettweiler [2015-11-13 03:54:49] 717*2^1414777-1 is not prime. Res64: 4B3B56B83927D50C Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:13] 937*2^1414777-1 is not prime. Res64: 0B640956293C2FD6 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:13] 845*2^1414778-1 is not prime. Res64: 55DAA39ABFA09A99 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:36] 861*2^1414778-1 is not prime. Res64: AC2061B6096EC2E1 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:37] 911*2^1414778-1 is not prime. Res64: 7A454162D68A74B9 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:38] 867*2^1414777-1 is not prime. Res64: 81B4C91DD74E73B7 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:38] 901*2^1414777-1 is not prime. Res64: 14D9F663B7844A15 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:38] 935*2^1414778-1 is not prime. Res64: 07A0959A753F5A4A Time : 0.0 sec. user=mdettweiler [2015-11-13 04:13:39] 987*2^1414778-1 is not prime. Res64: D4B4B434CB28F8BB Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:02] 1001*2^1414778-1 is not prime. Res64: D044FFDFD7D7CF90 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:02] 615*2^1414779-1 is not prime. Res64: 1E91FBEFFC357C1F Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:19] 751*2^1414779-1 is not prime. Res64: E0F55D2023E4BC49 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:19] 753*2^1414779-1 is not prime. Res64: 4A9885656B4CEADF Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:32] 649*2^1414779-1 is not prime. Res64: 3F4E29C61C406787 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:33] 745*2^1414779-1 is not prime. Res64: CB80EC47F601648A Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:39] 829*2^1414779-1 is not prime. Res64: 55728320A470A862 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:31:39] 835*2^1414779-1 is not prime. Res64: 63CB7CCEE19CA7BB Time : 0.0 sec. user=mdettweiler [2015-11-13 04:49:27] 623*2^1414780-1 is not prime. Res64: B9664FAAED4A4149 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:49:27] 653*2^1414780-1 is not prime. Res64: D3E12414D3C49D85 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:49:48] 827*2^1414780-1 is not prime. Res64: 4F59B181ED388448 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:49:48] 843*2^1414780-1 is not prime. Res64: 9587E4E27B80630D Time : 0.0 sec. user=mdettweiler [2015-11-13 04:50:13] 859*2^1414779-1 is not prime. Res64: CD06A7DFCE6BD01F Time : 0.0 sec. user=mdettweiler [2015-11-13 04:50:13] 985*2^1414779-1 is not prime. Res64: B88C2857C3FC9E3C Time : 0.0 sec. user=mdettweiler [2015-11-13 04:50:38] 927*2^1414780-1 is not prime. Res64: FAE2F49A31E4A346 Time : 0.0 sec. user=mdettweiler [2015-11-13 04:50:38] 965*2^1414780-1 is not prime. Res64: 606465A5FF41E234 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:20] 829*2^1414781-1 is not prime. Res64: BE67FBB6EB08077D Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:21] 855*2^1414781-1 is not prime. Res64: 887C515D6CB3E8FC Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:27] 999*2^1414780-1 is not prime. Res64: A636F691042D9253 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:27] 769*2^1414781-1 is not prime. Res64: 2732392893006A51 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:43] 879*2^1414781-1 is not prime. Res64: BE8E098FDDE5C3C8 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:07:44] 931*2^1414781-1 is not prime. Res64: 3E2A455E3EBE8364 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:08:37] 937*2^1414781-1 is not prime. Res64: 96BD239E72195B55 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:08:37] 939*2^1414781-1 is not prime. Res64: 78CF90CB123C2F4F Time : 0.0 sec. user=mdettweiler [2015-11-13 05:26:12] 657*2^1414782-1 is not prime. Res64: CCD41AFAF5E0ACF3 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:26:13] 711*2^1414782-1 is not prime. Res64: A8AE18EF52A7640D Time : 0.0 sec. user=mdettweiler [2015-11-13 05:27:28] 977*2^1414782-1 is not prime. Res64: DBA6CDAFF0B9F990 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:27:29] 603*2^1414783-1 is not prime. Res64: 55CE623210BD4DCF Time : 0.0 sec. user=mdettweiler [2015-11-13 05:37:04] 945*2^1414781-1 is not prime. Res64: 052351D4E6C88094 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:37:05] 627*2^1414782-1 is not prime. Res64: 9C3A65B1BB3CC7F7 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:37:47] 713*2^1414782-1 is not prime. Res64: 30EC97623783B61C Time : 0.0 sec. user=mdettweiler [2015-11-13 05:37:48] 777*2^1414782-1 is not prime. Res64: 053C55DB0AC5BF37 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:45:40] 685*2^1414783-1 is not prime. Res64: 530E4C29BD74A7B5 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:45:40] 703*2^1414783-1 is not prime. Res64: 0583636ED4F412AA Time : 0.0 sec. user=mdettweiler [2015-11-13 05:46:03] 829*2^1414783-1 is not prime. Res64: D9A5EED696312D1D Time : 0.0 sec. user=mdettweiler [2015-11-13 05:46:04] 873*2^1414783-1 is not prime. Res64: E2C625658DC5A803 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:54:46] 925*2^1414783-1 is not prime. Res64: 1F7C3E0108F0A298 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:54:46] 969*2^1414783-1 is not prime. Res64: 758009619F1BCD08 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:55:22] 657*2^1414784-1 is not prime. Res64: D8787B582BC5B2F1 Time : 0.0 sec. user=mdettweiler [2015-11-13 05:55:23] 659*2^1414784-1 is not prime. Res64: B26ADE165D60BAA1 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:03:17] 753*2^1414784-1 is not prime. Res64: 2A00CDD5B08D9F51 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:03:19] 759*2^1414784-1 is not prime. Res64: 7DE2CC46BEABEC39 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:03:36] 945*2^1414784-1 is not prime. Res64: 46000523063E7B54 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:03:37] 957*2^1414784-1 is not prime. Res64: ED140D7CBC881B2A Time : 0.0 sec. user=mdettweiler [2015-11-13 06:13:25] 675*2^1414785-1 is not prime. Res64: 375AA34B5B8C435C Time : 0.0 sec. user=mdettweiler [2015-11-13 06:13:26] 705*2^1414785-1 is not prime. Res64: 760BAC43D71127AE Time : 0.0 sec. user=mdettweiler [2015-11-13 06:20:40] 765*2^1414785-1 is not prime. Res64: 4E55D956B8F8DDF4 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:20:40] 811*2^1414785-1 is not prime. Res64: F45BE0EEFE2CC0A9 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:23:19] 735*2^1414786-1 is not prime. Res64: 18D61E47774FD744 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:23:20] 755*2^1414786-1 is not prime. Res64: 71AD31192AA44DF9 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:23:25] 677*2^1414786-1 is not prime. Res64: 5FFD234641810F24 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:23:26] 713*2^1414786-1 is not prime. Res64: 5FA4C11C6BCC90A4 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:32:20] 815*2^1414786-1 is not prime. Res64: 7C255C6242DC4072 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:32:20] 825*2^1414786-1 is not prime. Res64: 67F2EF82000AEF25 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:38:35] 833*2^1414786-1 is not prime. Res64: 2B63DF06CDF6B0BB Time : 0.0 sec. user=mdettweiler [2015-11-13 06:38:35] 903*2^1414786-1 is not prime. Res64: 3972CD50A11431EA Time : 0.0 sec. user=mdettweiler [2015-11-13 06:41:00] 923*2^1414786-1 is not prime. Res64: 2DF89AB3E077EFEC Time : 0.0 sec. user=mdettweiler [2015-11-13 06:41:00] 601*2^1414787-1 is not prime. Res64: 8B6BFF838AEA6D9A Time : 0.0 sec. user=mdettweiler [2015-11-13 06:41:34] 705*2^1414787-1 is not prime. Res64: 628850C7893F9F4F Time : 0.0 sec. user=mdettweiler [2015-11-13 06:41:35] 861*2^1414787-1 is not prime. Res64: D846A8D8C7C76B4C Time : 0.0 sec. user=mdettweiler [2015-11-13 06:49:48] 871*2^1414787-1 is not prime. Res64: 7D74254B3F2C9F05 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:49:49] 985*2^1414787-1 is not prime. Res64: 91BEE39FD6297B72 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:56:05] 647*2^1414788-1 is not prime. Res64: 8F275FE39337AFF5 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:56:05] 689*2^1414788-1 is not prime. Res64: 454D8E1906054097 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:58:40] 749*2^1414788-1 is not prime. Res64: 1274AA1CFBAD1CDC Time : 0.0 sec. user=mdettweiler [2015-11-13 06:58:41] 753*2^1414788-1 is not prime. Res64: 44EC603A5C195123 Time : 0.0 sec. user=mdettweiler [2015-11-13 06:59:04] 825*2^1414788-1 is not prime. Res64: 46D4B20CB92293ED Time : 0.0 sec. user=mdettweiler [2015-11-13 06:59:05] 837*2^1414788-1 is not prime. Res64: 36C9EB4B0414485B Time : 0.0 sec. user=mdettweiler [2015-11-13 07:07:20] 649*2^1414789-1 is not prime. Res64: C5A08DDE87E48975 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:07:21] 675*2^1414789-1 is not prime. Res64: 4C588C8CB0BD7534 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:13:38] 925*2^1414789-1 is not prime. Res64: C6B5968959C8DDE7 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:13:38] 951*2^1414789-1 is not prime. Res64: FBC45674D18C180B Time : 0.0 sec. user=mdettweiler [2015-11-13 07:16:27] 645*2^1414790-1 is not prime. Res64: 29F65EF2EA1B014E Time : 0.0 sec. user=mdettweiler [2015-11-13 07:16:27] 651*2^1414790-1 is not prime. Res64: B310D1669A5D4FC1 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:16:50] 731*2^1414790-1 is not prime. Res64: 93115B1B6DA64938 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:16:51] 743*2^1414790-1 is not prime. Res64: 7355720E1CE97302 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:25:06] 797*2^1414790-1 is not prime. Res64: E561707712603D05 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:25:06] 897*2^1414790-1 is not prime. Res64: E604DA6CC539A14D Time : 0.0 sec. user=mdettweiler [2015-11-13 07:31:17] 911*2^1414790-1 is not prime. Res64: A136905B3A313674 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:31:18] 1001*2^1414790-1 is not prime. Res64: EA0192B91BC64896 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:34:05] 669*2^1414791-1 is not prime. Res64: 5DF78680BCBEBE8B Time : 0.0 sec. user=mdettweiler [2015-11-13 07:34:06] 685*2^1414791-1 is not prime. Res64: E6B1144056CD7374 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:35:01] 793*2^1414791-1 is not prime. Res64: 7169C844D3C8196F Time : 0.0 sec. user=mdettweiler [2015-11-13 07:35:01] 891*2^1414791-1 is not prime. Res64: A865BA8A0F303FAE Time : 0.0 sec. user=mdettweiler [2015-11-13 07:43:11] 909*2^1414791-1 is not prime. Res64: A83C05904BCC68B0 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:43:12] 615*2^1414792-1 is not prime. Res64: D67DFB05FA3CFC65 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:51:09] 803*2^1414792-1 is not prime. Res64: 5C143B82CE38A8F4 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:51:10] 827*2^1414792-1 is not prime. Res64: 63CB9F83CA2CAA4B Time : 0.0 sec. user=mdettweiler [2015-11-13 07:52:07] 947*2^1414792-1 is not prime. Res64: D2C04990B1CA4538 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:52:08] 619*2^1414793-1 is not prime. Res64: E89D1AC4367E0260 Time : 0.0 sec. user=mdettweiler [2015-11-13 07:56:52] 627*2^1414793-1 is not prime. Res64: 18DD59353F902C8F Time : 0.0 sec. user=mdettweiler [2015-11-13 07:56:53] 637*2^1414793-1 is not prime. Res64: C219E0B163324C2D Time : 0.0 sec. user=mdettweiler [2015-11-13 08:01:33] 819*2^1414793-1 is not prime. Res64: 2EE0DA13D09CCF2F Time : 0.0 sec. user=mdettweiler [2015-11-13 08:01:34] 889*2^1414793-1 is not prime. Res64: CD397FCF994BA80E Time : 0.0 sec. user=mdettweiler [2015-11-13 08:09:11] 949*2^1414793-1 is not prime. Res64: A35DD7DB05E5E877 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:09:12] 955*2^1414793-1 is not prime. Res64: 1C9D5C61028035FD Time : 0.0 sec. user=mdettweiler [2015-11-13 08:11:56] 969*2^1414793-1 is not prime. Res64: 1CB2F1E8457ECD73 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:11:57] 635*2^1414794-1 is not prime. Res64: B5B4CD6AFEC02677 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:14:42] 663*2^1414794-1 is not prime. Res64: F945B1F838FAA3DA Time : 0.0 sec. user=mdettweiler [2015-11-13 08:14:42] 671*2^1414794-1 is not prime. Res64: 1B84940F9D9D0DFF Time : 0.0 sec. user=mdettweiler [2015-11-13 08:19:17] 711*2^1414794-1 is not prime. Res64: D5E69638219ED88E Time : 0.0 sec. user=mdettweiler [2015-11-13 08:19:17] 815*2^1414794-1 is not prime. Res64: 4D8D14C6F080F837 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:26:46] 947*2^1414794-1 is not prime. Res64: 825C780C7A18F319 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:26:47] 951*2^1414794-1 is not prime. Res64: 8E6A0E7F4FB5ED77 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:29:31] 723*2^1414795-1 is not prime. Res64: 6DA638AA19A14F13 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:29:31] 885*2^1414795-1 is not prime. Res64: C46BD5F4E13436B2 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:32:18] 961*2^1414795-1 is not prime. Res64: 1004E95DDB82D781 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:32:19] 693*2^1414796-1 is not prime. Res64: C261AB0FFA109E12 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:36:45] 879*2^1414796-1 is not prime. Res64: 72E49CAD9474C5CF Time : 0.0 sec. user=mdettweiler [2015-11-13 08:36:46] 747*2^1414797-1 is not prime. Res64: 6B7E697125985CC0 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:44:20] 759*2^1414797-1 is not prime. Res64: C6D74BA6632E75D0 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:44:21] 831*2^1414797-1 is not prime. Res64: 0F8DF482D1711BD6 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:47:03] 835*2^1414797-1 is not prime. Res64: DACED7097A48998F Time : 0.0 sec. user=mdettweiler [2015-11-13 08:47:04] 889*2^1414797-1 is not prime. Res64: D3F03EEF42DBF672 Time : 0.0 sec. user=mdettweiler [2015-11-13 08:49:52] 927*2^1414797-1 is not prime. Res64: 31F05C1F221F264F Time : 0.0 sec. user=mdettweiler [2015-11-13 08:49:53] 979*2^1414797-1 is not prime. Res64: 199B8C2B94D4D6DF Time : 0.0 sec. user=mdettweiler [2015-11-13 08:54:19] 663*2^1414798-1 is not prime. Res64: 2D9FAA5CEBB9A82B Time : 0.0 sec. user=mdettweiler [2015-11-13 08:54:19] 755*2^1414798-1 is not prime. Res64: 589F1FF11DD268F3 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:01:58] 773*2^1414798-1 is not prime. Res64: 14E8C3215BE16F7C Time : 0.0 sec. user=mdettweiler [2015-11-13 09:01:58] 863*2^1414798-1 is not prime. Res64: 7D4B5E4B3667E70F Time : 0.0 sec. user=mdettweiler [2015-11-13 09:04:38] 867*2^1414798-1 is not prime. Res64: CC6246AC180B8E13 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:04:39] 911*2^1414798-1 is not prime. Res64: 8857E11A5C7AB9AC Time : 0.0 sec. user=mdettweiler [2015-11-13 09:07:34] 915*2^1414798-1 is not prime. Res64: E6D11AF54F5172A7 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:07:37] 945*2^1414798-1 is not prime. Res64: 49D1568E859A01A1 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:12:03] 971*2^1414798-1 is not prime. Res64: A698E4FDE3DB5A5D Time : 0.0 sec. user=mdettweiler [2015-11-13 09:12:04] 993*2^1414798-1 is not prime. Res64: 2F76C58326DE9227 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:20:26] 1001*2^1414798-1 is not prime. Res64: D3A9DD3340705AB0 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:20:27] 619*2^1414799-1 is not prime. Res64: B408F0C91E07B801 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:27:30] 759*2^1414799-1 is not prime. Res64: E1CA8B2ABA18C2A6 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:27:30] 861*2^1414799-1 is not prime. Res64: 59A1E63E6359D8A6 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:31:25] 693*2^1414799-1 is not prime. Res64: 52F0972BBD2C8329 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:31:25] 741*2^1414799-1 is not prime. Res64: 405A89C26DDA13A1 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:31:57] 921*2^1414799-1 is not prime. Res64: FEFD322D597DB1EB Time : 0.0 sec. user=mdettweiler [2015-11-13 09:31:58] 991*2^1414799-1 is not prime. Res64: F607308543C68E22 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:38:41] 623*2^1414800-1 is not prime. Res64: A88FEC3218040301 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:38:42] 675*2^1414800-1 is not prime. Res64: D601A2FC7B8AF39C Time : 0.0 sec. user=mdettweiler [2015-11-13 09:45:25] 713*2^1414800-1 is not prime. Res64: F312834111C95AB3 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:45:25] 735*2^1414800-1 is not prime. Res64: 2B5280E626BA77D9 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:49:11] 753*2^1414800-1 is not prime. Res64: 03579F27594899B6 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:49:11] 825*2^1414800-1 is not prime. Res64: A048A3A291372C26 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:49:39] 879*2^1414800-1 is not prime. Res64: E85D04CF1ADB70A4 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:49:40] 909*2^1414800-1 is not prime. Res64: 0FEF1EC480BAB8A9 Time : 0.0 sec. user=mdettweiler [2015-11-13 09:56:11] 691*2^1414801-1 is not prime. Res64: EE9E21BA31D5FF9F Time : 0.0 sec. user=mdettweiler [2015-11-13 09:56:12] 741*2^1414801-1 is not prime. Res64: 70A481D2686CFEEE Time : 0.0 sec. user=mdettweiler [2015-11-13 10:02:58] 895*2^1414801-1 is not prime. Res64: B795DF90E2200FB9 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:02:59] 931*2^1414801-1 is not prime. Res64: F3D5ADD4B36919DC Time : 0.0 sec. user=mdettweiler [2015-11-13 10:06:45] 987*2^1414801-1 is not prime. Res64: CC09CD8A00CB2A38 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:06:47] 633*2^1414802-1 is not prime. Res64: 9EB158804ABA7EC3 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:07:13] 675*2^1414802-1 is not prime. Res64: 41604DED51BB7594 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:07:13] 747*2^1414802-1 is not prime. Res64: 9218DE10092412BD Time : 0.0 sec. user=mdettweiler [2015-11-13 10:13:40] 771*2^1414802-1 is not prime. Res64: B7377AE5E84A284B Time : 0.0 sec. user=mdettweiler [2015-11-13 10:13:41] 813*2^1414802-1 is not prime. Res64: 0D77C14BA644F01D Time : 0.0 sec. user=mdettweiler [2015-11-13 10:20:35] 831*2^1414802-1 is not prime. Res64: D8819F7DD43842C5 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:20:36] 837*2^1414802-1 is not prime. Res64: 633DD8DCE9C2F7B6 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:24:23] 843*2^1414802-1 is not prime. Res64: 7B662389263C5E51 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:24:24] 903*2^1414802-1 is not prime. Res64: 5E10E7E92489ED5E Time : 0.0 sec. user=mdettweiler [2015-11-13 10:24:42] 945*2^1414802-1 is not prime. Res64: F4C611C92C13B51F Time : 0.0 sec. user=mdettweiler [2015-11-13 10:24:43] 963*2^1414802-1 is not prime. Res64: B6230D3B57985337 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:31:14] 663*2^1414803-1 is not prime. Res64: EF1A1ADA93CD1198 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:31:15] 691*2^1414803-1 is not prime. Res64: 3B9C78610A0D0F8D Time : 0.0 sec. user=mdettweiler [2015-11-13 10:38:14] 723*2^1414803-1 is not prime. Res64: 26B933C0525311E4 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:38:14] 741*2^1414803-1 is not prime. Res64: 8718F552BD23217F Time : 0.0 sec. user=mdettweiler [2015-11-13 10:41:58] 765*2^1414803-1 is not prime. Res64: 5F974CE0AA0DF344 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:41:59] 781*2^1414803-1 is not prime. Res64: BFDE0FE181D0E22B Time : 0.0 sec. user=mdettweiler [2015-11-13 10:42:16] 789*2^1414803-1 is not prime. Res64: 242371ADD5F4934E Time : 0.0 sec. user=mdettweiler [2015-11-13 10:42:16] 853*2^1414803-1 is not prime. Res64: 99D8A514448AC546 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:48:47] 873*2^1414803-1 is not prime. Res64: 86C6EF7443747B37 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:48:48] 657*2^1414804-1 is not prime. Res64: 13BFC9A80344E76C Time : 0.0 sec. user=mdettweiler [2015-11-13 10:55:55] 687*2^1414804-1 is not prime. Res64: E3196FD71BBA4D50 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:55:56] 717*2^1414804-1 is not prime. Res64: 349A6337CB4D2403 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:59:32] 903*2^1414804-1 is not prime. Res64: 36C70C12450A13EC Time : 0.0 sec. user=mdettweiler [2015-11-13 10:59:33] 927*2^1414804-1 is not prime. Res64: D2611DF5E452DF52 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:59:47] 607*2^1414805-1 is not prime. Res64: A25CDDBCAF369D15 Time : 0.0 sec. user=mdettweiler [2015-11-13 10:59:48] 655*2^1414805-1 is not prime. Res64: 44A34488E7ED4A1B Time : 0.0 sec. user=mdettweiler [2015-11-13 11:06:20] 697*2^1414805-1 is not prime. Res64: A10BDB32DDDA7AF0 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:06:22] 927*2^1414805-1 is not prime. Res64: 81A99297178C401A Time : 0.0 sec. user=mdettweiler [2015-11-13 11:13:32] 671*2^1414806-1 is not prime. Res64: 54EB00F80BA4E3C3 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:13:32] 693*2^1414806-1 is not prime. Res64: 90F2A44823553C09 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:17:06] 755*2^1414806-1 is not prime. Res64: F31C3A67079D2A44 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:17:07] 761*2^1414806-1 is not prime. Res64: EF72CF7676A06234 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:17:18] 783*2^1414806-1 is not prime. Res64: A22B8BDF73C5503E Time : 0.0 sec. user=mdettweiler [2015-11-13 11:17:18] 891*2^1414806-1 is not prime. Res64: 5E87597B614367CE Time : 0.0 sec. user=mdettweiler [2015-11-13 11:24:21] 615*2^1414807-1 is not prime. Res64: 74D1EF62D7803915 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:24:21] 619*2^1414807-1 is not prime. Res64: D7DD04C04E1E8A77 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:31:30] 673*2^1414807-1 is not prime. Res64: 30E127AEE8A47F23 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:31:30] 681*2^1414807-1 is not prime. Res64: 4A29E552C0C932F3 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:34:52] 705*2^1414807-1 is not prime. Res64: 955478E5C8BDEF62 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:34:52] 759*2^1414807-1 is not prime. Res64: 1B429F27F0F9CAA7 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:35:06] 765*2^1414807-1 is not prime. Res64: 203CD2C26BA4DC5C Time : 0.0 sec. user=mdettweiler [2015-11-13 11:35:07] 915*2^1414807-1 is not prime. Res64: 44836157EE462B97 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:41:59] 975*2^1414807-1 is not prime. Res64: 9FF8A70BB4FDF874 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:42:00] 979*2^1414807-1 is not prime. Res64: 15E54A2BF79B9987 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:49:07] 603*2^1414808-1 is not prime. Res64: 63CECA6F83253629 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:49:08] 687*2^1414808-1 is not prime. Res64: 1DEB9896320EFB3B Time : 0.0 sec. user=mdettweiler [2015-11-13 11:52:35] 759*2^1414808-1 is not prime. Res64: 14AFEB20B5157A2C Time : 0.0 sec. user=mdettweiler [2015-11-13 11:52:35] 855*2^1414808-1 is not prime. Res64: 485577004A7D0E78 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:52:59] 977*2^1414808-1 is not prime. Res64: 8F81B432279C49D1 Time : 0.0 sec. user=mdettweiler [2015-11-13 11:52:59] 615*2^1414809-1 is not prime. Res64: B2121263E516ECF9 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:00:23] 727*2^1414809-1 is not prime. Res64: B50EEFC516522038 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:00:24] 769*2^1414809-1 is not prime. Res64: 7253A93F3FFCB641 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:10:08] 985*2^1414809-1 is not prime. Res64: 84E46BA735057A4F Time : 0.0 sec. user=mdettweiler [2015-11-13 12:10:09] 707*2^1414810-1 is not prime. Res64: FE1F1331746C8E29 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:11:06] 813*2^1414810-1 is not prime. Res64: 83912D487F3A27E7 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:11:07] 703*2^1414811-1 is not prime. Res64: 3DD40DAF6D709E8A Time : 0.0 sec. user=mdettweiler [2015-11-13 12:11:40] 713*2^1414810-1 is not prime. Res64: F006D9E970F5DEDD Time : 0.0 sec. user=mdettweiler [2015-11-13 12:11:41] 723*2^1414810-1 is not prime. Res64: 4807ADAC8ED6E3EC Time : 0.0 sec. user=mdettweiler [2015-11-13 12:18:08] 855*2^1414811-1 is not prime. Res64: 96D3417A991C7BD9 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:18:08] 955*2^1414811-1 is not prime. Res64: 2AD47DF6FD074A1D Time : 0.0 sec. user=mdettweiler [2015-11-13 12:27:49] 665*2^1414812-1 is not prime. Res64: 0931E2D7DD7F6DFB Time : 0.0 sec. user=mdettweiler [2015-11-13 12:27:50] 669*2^1414812-1 is not prime. Res64: 1510EA491201D5C3 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:28:36] 779*2^1414812-1 is not prime. Res64: AF2412774D547025 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:28:36] 903*2^1414812-1 is not prime. Res64: 94FBDE238B2D68D5 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:29:16] 909*2^1414812-1 is not prime. Res64: 79822BCE8E712BB6 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:29:17] 983*2^1414812-1 is not prime. Res64: B4C4F9AFC3C67B3A Time : 0.0 sec. user=mdettweiler [2015-11-13 12:35:35] 625*2^1414813-1 is not prime. Res64: 0BBF7D1680C661FA Time : 0.0 sec. user=mdettweiler [2015-11-13 12:35:36] 675*2^1414813-1 is not prime. Res64: BB6F88F606140DD7 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:45:23] 679*2^1414813-1 is not prime. Res64: 8E4D13274BE1E607 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:45:23] 681*2^1414813-1 is not prime. Res64: 36971B6FA254C8E3 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:46:07] 721*2^1414813-1 is not prime. Res64: 2C5373CF64AFA624 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:46:08] 831*2^1414813-1 is not prime. Res64: AE4C0CE07E2DF259 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:46:52] 915*2^1414813-1 is not prime. Res64: 584A9AB298B5F838 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:46:52] 927*2^1414813-1 is not prime. Res64: BC4E5D166B8F6176 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:53:06] 999*2^1414813-1 is not prime. Res64: 4A43DDA113D48C23 Time : 0.0 sec. user=mdettweiler [2015-11-13 12:53:06] 683*2^1414814-1 is not prime. Res64: 847AC72F17B170EA Time : 0.0 sec. user=mdettweiler [2015-11-13 13:03:01] 743*2^1414814-1 is not prime. Res64: 9951BFDD6A8A5DE6 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:03:02] 767*2^1414814-1 is not prime. Res64: F46D6C751CE3DCB5 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:03:43] 903*2^1414814-1 is not prime. Res64: 06986E4121847630 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:03:44] 923*2^1414814-1 is not prime. Res64: CFBB8E7F9831E560 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:04:27] 951*2^1414814-1 is not prime. Res64: 10163A7931A2E65A Time : 0.0 sec. user=mdettweiler [2015-11-13 13:04:29] 993*2^1414814-1 is not prime. Res64: 7168ABDF7726602B Time : 0.0 sec. user=mdettweiler [2015-11-13 13:10:32] 643*2^1414815-1 is not prime. Res64: B88DBCC149273CA2 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:10:33] 763*2^1414815-1 is not prime. Res64: E44F573727057F67 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:20:52] 831*2^1414815-1 is not prime. Res64: 6AF4372DCCA20D92 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:20:53] 891*2^1414815-1 is not prime. Res64: AFC8A63751B1BFB4 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:21:27] 869*2^1414816-1 is not prime. Res64: 8ECFB28B33713061 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:21:27] 923*2^1414816-1 is not prime. Res64: C651E876DB7D74F0 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:22:10] 947*2^1414816-1 is not prime. Res64: 8FBB077E86EC9ED3 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:22:10] 969*2^1414816-1 is not prime. Res64: 7BE5AD85A137721F Time : 0.0 sec. user=mdettweiler [2015-11-13 13:28:53] 607*2^1414817-1 is not prime. Res64: F7271F626CCA71F3 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:28:54] 685*2^1414817-1 is not prime. Res64: 7F0C7AF9D06F5CA5 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:38:31] 729*2^1414817-1 is not prime. Res64: BC59E5AE65F8FD05 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:38:32] 879*2^1414817-1 is not prime. Res64: 292CA8850AA24C53 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:39:08] 931*2^1414817-1 is not prime. Res64: 54F6B426E1DF4F92 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:39:08] 937*2^1414817-1 is not prime. Res64: 32A0917E8966DB20 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:39:51] 677*2^1414818-1 is not prime. Res64: F8D80E249DA3D438 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:39:51] 681*2^1414818-1 is not prime. Res64: A17F06358B3E6601 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:46:41] 711*2^1414818-1 is not prime. Res64: 2B89CD8B5D9763DD Time : 0.0 sec. user=mdettweiler [2015-11-13 13:46:42] 803*2^1414818-1 is not prime. Res64: D682FA4A68232CAF Time : 0.0 sec. user=mdettweiler [2015-11-13 13:56:56] 881*2^1414818-1 is not prime. Res64: 778158E211D1E29C Time : 0.0 sec. user=mdettweiler [2015-11-13 13:56:57] 945*2^1414818-1 is not prime. Res64: C83CABDB7CA3BCB8 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:57:34] 963*2^1414818-1 is not prime. Res64: 22197AB7A8EA7EB4 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:57:34] 977*2^1414818-1 is not prime. Res64: ED1A0872F9B1BDE8 Time : 0.0 sec. user=mdettweiler [2015-11-13 13:58:32] 825*2^1414818-1 is not prime. Res64: A71AE1D103A1579E Time : 0.0 sec. user=mdettweiler [2015-11-13 13:58:33] 861*2^1414818-1 is not prime. Res64: B36EF6685CDA2A4B Time : 0.0 sec. user=mdettweiler [2015-11-13 14:04:22] 631*2^1414819-1 is not prime. Res64: E1C26043A9A95CEC Time : 0.0 sec. user=mdettweiler [2015-11-13 14:04:24] 745*2^1414819-1 is not prime. Res64: B05D00D71D928B23 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:14:40] 801*2^1414819-1 is not prime. Res64: A8B65D55920CB7C2 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:14:41] 891*2^1414819-1 is not prime. Res64: 3146E7B46EE9CDDA Time : 0.0 sec. user=mdettweiler [2015-11-13 14:15:11] 635*2^1414820-1 is not prime. Res64: 3ACC2595A93BC78C Time : 0.0 sec. user=mdettweiler [2015-11-13 14:15:11] 647*2^1414820-1 is not prime. Res64: E3CEBBEFC5EC5525 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:16:10] 725*2^1414820-1 is not prime. Res64: 11C89E1DAC179EF8 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:16:10] 797*2^1414820-1 is not prime. Res64: 666CB4AC58FFFA07 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:22:30] 839*2^1414820-1 is not prime. Res64: B2ACB11A96E58E33 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:22:30] 845*2^1414820-1 is not prime. Res64: 117FE43EA7E376F2 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:32:21] 983*2^1414820-1 is not prime. Res64: 91EB66D16C1FC0EF Time : 0.0 sec. user=mdettweiler [2015-11-13 14:32:22] 675*2^1414821-1 is not prime. Res64: 4928951F61E9E6BD Time : 0.0 sec. user=mdettweiler [2015-11-13 14:32:44] 741*2^1414821-1 is not prime. Res64: 91AC224E21AFDFBA Time : 0.0 sec. user=mdettweiler [2015-11-13 14:32:45] 859*2^1414821-1 is not prime. Res64: 7D738497574C5976 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:33:45] 861*2^1414821-1 is not prime. Res64: BA096C3161468462 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:33:45] 889*2^1414821-1 is not prime. Res64: F5B7089B79EF1BA9 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:39:58] 961*2^1414821-1 is not prime. Res64: 9489F0E7D3049429 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:39:59] 975*2^1414821-1 is not prime. Res64: D464509D21A3759F Time : 0.0 sec. user=mdettweiler [2015-11-13 14:49:56] 657*2^1414822-1 is not prime. Res64: D8D88B2D83F750A8 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:49:57] 761*2^1414822-1 is not prime. Res64: 8AE1E1BD32000D5C Time : 0.0 sec. user=mdettweiler [2015-11-13 14:50:21] 831*2^1414822-1 is not prime. Res64: 933B900EDF246642 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:50:22] 885*2^1414822-1 is not prime. Res64: D034509093950488 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:51:18] 911*2^1414822-1 is not prime. Res64: ADFE23B53014B09A Time : 0.0 sec. user=mdettweiler [2015-11-13 14:51:19] 603*2^1414823-1 is not prime. Res64: CF4F545580CD7641 Time : 0.0 sec. user=mdettweiler [2015-11-13 14:57:30] 789*2^1414823-1 is not prime. Res64: EC6534A96370911A Time : 0.0 sec. user=mdettweiler [2015-11-13 14:57:30] 805*2^1414823-1 is not prime. Res64: 26C137D9E281A39D Time : 0.0 sec. user=mdettweiler [2015-11-13 15:07:29] 859*2^1414823-1 is not prime. Res64: 928516C3FEFA3A8E Time : 0.0 sec. user=mdettweiler [2015-11-13 15:07:30] 629*2^1414824-1 is not prime. Res64: F4568A228FBA4B4D Time : 0.0 sec. user=mdettweiler [2015-11-13 15:07:51] 747*2^1414824-1 is not prime. Res64: 69F2833627E22AF9 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:07:52] 815*2^1414824-1 is not prime. Res64: 42C6F1A9D34A3B95 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:08:49] 873*2^1414824-1 is not prime. Res64: A183ED86C4935137 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:08:49] 917*2^1414824-1 is not prime. Res64: DEF06A9B445397EA Time : 0.0 sec. user=mdettweiler [2015-11-13 15:15:36] 983*2^1414824-1 is not prime. Res64: CB5F26CF3EE7714F Time : 0.0 sec. user=mdettweiler [2015-11-13 15:15:37] 759*2^1414825-1 is not prime. Res64: 7E689C5DD6311DBE Time : 0.0 sec. user=mdettweiler [2015-11-13 15:25:52] 867*2^1414825-1 is not prime. Res64: 2AC7761BEEE3E31B Time : 0.0 sec. user=mdettweiler [2015-11-13 15:25:53] 871*2^1414825-1 is not prime. Res64: 1DF8FB8E124757CE Time : 0.0 sec. user=mdettweiler [2015-11-13 15:25:53] 705*2^1414826-1 is not prime. Res64: 686FDB0B9DBF331A Time : 0.0 sec. user=mdettweiler [2015-11-13 15:25:53] 711*2^1414826-1 is not prime. Res64: ACC59D655C8EDEE7 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:26:53] 801*2^1414826-1 is not prime. Res64: B97A3E95A6F27B5E Time : 0.0 sec. user=mdettweiler [2015-11-13 15:26:54] 887*2^1414826-1 is not prime. Res64: 07626054DA5D3719 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:33:39] 935*2^1414826-1 is not prime. Res64: E59F7A3640F1FF9A Time : 0.0 sec. user=mdettweiler [2015-11-13 15:33:39] 953*2^1414826-1 is not prime. Res64: 3E64B506C630898F Time : 0.0 sec. user=mdettweiler [2015-11-13 15:43:56] 971*2^1414826-1 is not prime. Res64: 4B5DF69E2462E29B Time : 0.0 sec. user=mdettweiler [2015-11-13 15:43:56] 1001*2^1414826-1 is not prime. Res64: 70FDF86E20050C01 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:44:00] 703*2^1414827-1 is not prime. Res64: 31E8205B7F4A3809 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:44:01] 769*2^1414827-1 is not prime. Res64: 295C3EE1323E2BEA Time : 0.0 sec. user=mdettweiler [2015-11-13 15:44:51] 823*2^1414827-1 is not prime. Res64: C1DBF6FF1511BC9D Time : 0.0 sec. user=mdettweiler [2015-11-13 15:44:51] 825*2^1414827-1 is not prime. Res64: 12746952B77B021F Time : 0.0 sec. user=mdettweiler [2015-11-13 15:51:29] 961*2^1414827-1 is not prime. Res64: FB09F9ECDD438043 Time : 0.0 sec. user=mdettweiler [2015-11-13 15:51:30] 963*2^1414827-1 is not prime. Res64: 50111EC082F05489 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:02:18] 975*2^1414827-1 is not prime. Res64: FECFDA1A319F7092 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:02:19] 657*2^1414828-1 is not prime. Res64: 0CC0911228539D80 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:02:37] 689*2^1414828-1 is not prime. Res64: B67AB468E6F43254 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:02:37] 723*2^1414828-1 is not prime. Res64: 287A0DF8E7F5AAEF Time : 0.0 sec. user=mdettweiler [2015-11-13 16:03:26] 833*2^1414828-1 is not prime. Res64: A2E690A6AD5A405B Time : 0.0 sec. user=mdettweiler [2015-11-13 16:03:27] 897*2^1414828-1 is not prime. Res64: 0CB73181C10C0279 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:10:03] 969*2^1414828-1 is not prime. Res64: C1BD1A392F294C38 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:10:08] 649*2^1414829-1 is not prime. Res64: 04308B9A9655FFE5 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:20:39] 655*2^1414829-1 is not prime. Res64: A5297074A0A21DE9 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:20:39] 747*2^1414829-1 is not prime. Res64: F2502E4ED5FA7017 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:20:58] 837*2^1414829-1 is not prime. Res64: 4822D6B429051E61 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:20:58] 927*2^1414829-1 is not prime. Res64: 0E9EE2854EFEC5C2 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:21:39] 967*2^1414829-1 is not prime. Res64: CCE759C7F091A663 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:21:39] 671*2^1414830-1 is not prime. Res64: F8CBF74F6B776E77 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:28:46] 783*2^1414830-1 is not prime. Res64: 635291B92635C115 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:28:46] 861*2^1414830-1 is not prime. Res64: 660F4F0CC7810FF6 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:38:58] 873*2^1414830-1 is not prime. Res64: 5F786BAC189C9C06 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:38:58] 971*2^1414830-1 is not prime. Res64: 59F3491233C226FF Time : 0.0 sec. user=mdettweiler [2015-11-13 16:39:27] 1001*2^1414830-1 is not prime. Res64: 43B353BBA6032D7A Time : 0.0 sec. user=mdettweiler [2015-11-13 16:39:28] 649*2^1414831-1 is not prime. Res64: 73055B475B88C53C Time : 0.0 sec. user=mdettweiler [2015-11-13 16:39:59] 693*2^1414831-1 is not prime. Res64: 9A4FB5E808C8174D Time : 0.0 sec. user=mdettweiler [2015-11-13 16:39:59] 703*2^1414831-1 is not prime. Res64: 531B9878F15453B0 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:47:07] 841*2^1414831-1 is not prime. Res64: EEF8831228C2D598 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:47:07] 873*2^1414831-1 is not prime. Res64: 2391A9E0C91A85F3 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:57:05] 901*2^1414831-1 is not prime. Res64: 005BB8D32B37F641 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:57:06] 943*2^1414831-1 is not prime. Res64: D30541ECB24B295F Time : 0.0 sec. user=mdettweiler [2015-11-13 16:57:46] 969*2^1414831-1 is not prime. Res64: 63A1652D66E5CA32 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:57:46] 979*2^1414831-1 is not prime. Res64: C09FD6E8EFF0B006 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:58:12] 615*2^1414832-1 is not prime. Res64: 8EFCE3767AE278B3 Time : 0.0 sec. user=mdettweiler [2015-11-13 16:58:12] 687*2^1414832-1 is not prime. Res64: 77444CCA96E4E6CF Time : 0.0 sec. user=mdettweiler [2015-11-13 17:05:37] 743*2^1414832-1 is not prime. Res64: 4252467F6375E590 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:05:40] 785*2^1414832-1 is not prime. Res64: A24924AD796E55FA Time : 0.0 sec. user=mdettweiler [2015-11-13 17:15:41] 873*2^1414832-1 is not prime. Res64: BEA69711C5400916 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:15:41] 607*2^1414833-1 is not prime. Res64: B834B7D13D5F2CAF Time : 0.0 sec. user=mdettweiler [2015-11-13 17:16:21] 651*2^1414833-1 is not prime. Res64: 4BE15E72AED86601 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:16:22] 837*2^1414833-1 is not prime. Res64: 58B14A475BB6A51F Time : 0.0 sec. user=mdettweiler [2015-11-13 17:16:39] 849*2^1414833-1 is not prime. Res64: B2977F28AB9FDEB8 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:16:40] 867*2^1414833-1 is not prime. Res64: 25A888050F3254C3 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:24:02] 915*2^1414833-1 is not prime. Res64: 4B0B5BACB2859267 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:24:03] 605*2^1414834-1 is not prime. Res64: 5DF4671E3E7EBFB2 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:33:49] 621*2^1414834-1 is not prime. Res64: DC4014A76D2DE213 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:33:50] 665*2^1414834-1 is not prime. Res64: F145438D450E125A Time : 0.0 sec. user=mdettweiler [2015-11-13 17:34:34] 675*2^1414834-1 is not prime. Res64: B3050C845DEFCE33 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:34:34] 695*2^1414834-1 is not prime. Res64: DDFC111A4B23FA3D Time : 0.0 sec. user=mdettweiler [2015-11-13 17:34:46] 815*2^1414834-1 is not prime. Res64: 94FAAD4035B78A63 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:34:47] 903*2^1414834-1 is not prime. Res64: 6FFED37671E5716F Time : 0.0 sec. user=mdettweiler [2015-11-13 17:42:17] 645*2^1414835-1 is not prime. Res64: 49635E019246A632 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:42:18] 775*2^1414835-1 is not prime. Res64: 326D3C5A90913FB8 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:51:45] 829*2^1414835-1 is not prime. Res64: 7E22D91FBB35CC05 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:51:45] 843*2^1414835-1 is not prime. Res64: 778BC32DEA514706 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:52:39] 909*2^1414835-1 is not prime. Res64: 57370FDAD0AA0056 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:52:39] 943*2^1414835-1 is not prime. Res64: 015B410538B20039 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:52:43] 991*2^1414835-1 is not prime. Res64: 945A22B01648E404 Time : 0.0 sec. user=mdettweiler [2015-11-13 17:52:43] 719*2^1414836-1 is not prime. Res64: 90D3F0AB3558E070 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:00:16] 779*2^1414836-1 is not prime. Res64: 4EA7D495FDFF72E7 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:00:17] 867*2^1414836-1 is not prime. Res64: 973ACD97D1E5BAC6 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:09:44] 601*2^1414837-1 is not prime. Res64: 69CBDDFC52495B39 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:09:45] 619*2^1414837-1 is not prime. Res64: 5E04226F63B090DD Time : 0.0 sec. user=mdettweiler [2015-11-13 18:10:47] 691*2^1414837-1 is not prime. Res64: 4143BCE161239FAD Time : 0.0 sec. user=mdettweiler [2015-11-13 18:10:48] 801*2^1414837-1 is not prime. Res64: 9F34D1D5EBE535FD Time : 0.0 sec. user=mdettweiler [2015-11-13 18:10:49] 639*2^1414837-1 is not prime. Res64: 0137A0642C0A35BF Time : 0.0 sec. user=mdettweiler [2015-11-13 18:10:49] 687*2^1414837-1 is not prime. Res64: 3D1651F4646DB6F7 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:18:31] 819*2^1414837-1 is not prime. Res64: 94D557D90307F901 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:18:31] 915*2^1414837-1 is not prime. Res64: 852791D70EB16A97 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:27:57] 641*2^1414838-1 is not prime. Res64: 79BBFD935110DBF4 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:27:58] 663*2^1414838-1 is not prime. Res64: DCE03C52CEE38A05 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:28:45] 665*2^1414838-1 is not prime. Res64: A083E8B55D9B24A6 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:28:46] 687*2^1414838-1 is not prime. Res64: 4793FFC40EB4581A Time : 0.0 sec. user=mdettweiler [2015-11-13 18:28:55] 747*2^1414838-1 is not prime. Res64: 59B4C9DEA72EFDA0 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:28:55] 797*2^1414838-1 is not prime. Res64: DC2CCB04C7AE7A45 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:36:27] 897*2^1414838-1 is not prime. Res64: 9908F25BA9278135 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:36:28] 911*2^1414838-1 is not prime. Res64: 65BBB0BCE35F2F1C Time : 0.0 sec. user=mdettweiler [2015-11-13 18:45:51] 977*2^1414838-1 is not prime. Res64: 2B40FB939304C159 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:45:51] 625*2^1414839-1 is not prime. Res64: 34861B7CD58BBA2B Time : 0.0 sec. user=mdettweiler [2015-11-13 18:46:34] 831*2^1414839-1 is not prime. Res64: 8F6FC516BCB86C77 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:46:35] 919*2^1414839-1 is not prime. Res64: FB8AD81AAADF2E9F Time : 0.0 sec. user=mdettweiler [2015-11-13 18:46:50] 797*2^1414840-1 is not prime. Res64: 878819D71086302A Time : 0.0 sec. user=mdettweiler [2015-11-13 18:46:50] 827*2^1414840-1 is not prime. Res64: DCF9BBE08E43D670 Time : 0.0 sec. user=mdettweiler [2015-11-13 18:54:23] 839*2^1414840-1 is not prime. Res64: BD3624E6678B5ACB Time : 0.0 sec. user=mdettweiler [2015-11-13 18:54:24] 917*2^1414840-1 is not prime. Res64: 93D86D43DDF7D071 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:03:39] 727*2^1414841-1 is not prime. Res64: E73F2012CA8A814F Time : 0.0 sec. user=mdettweiler [2015-11-13 19:03:40] 811*2^1414841-1 is not prime. Res64: 687572CA6828F922 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:04:32] 987*2^1414841-1 is not prime. Res64: 9579299FABBC7711 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:04:33] 647*2^1414842-1 is not prime. Res64: 0056DB155F2E9D3B Time : 0.0 sec. user=mdettweiler [2015-11-13 19:04:46] 651*2^1414842-1 is not prime. Res64: C40D49F044874C18 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:04:47] 681*2^1414842-1 is not prime. Res64: B672B143C7AB64DA Time : 0.0 sec. user=mdettweiler [2015-11-13 19:12:29] 725*2^1414842-1 is not prime. Res64: F6AF727986FCBB4B Time : 0.0 sec. user=mdettweiler [2015-11-13 19:12:30] 873*2^1414842-1 is not prime. Res64: 6D449FE554AEA2CC Time : 0.0 sec. user=mdettweiler [2015-11-13 19:21:50] 723*2^1414843-1 is not prime. Res64: 5B48C51327420460 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:21:50] 805*2^1414843-1 is not prime. Res64: B14D93A2A8FFE87E Time : 0.0 sec. user=mdettweiler [2015-11-13 19:22:50] 871*2^1414843-1 is not prime. Res64: 90F7933A3A99F2EF Time : 0.0 sec. user=mdettweiler [2015-11-13 19:22:51] 919*2^1414843-1 is not prime. Res64: 46F73F0561856209 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:23:07] 605*2^1414844-1 is not prime. Res64: 1410281F0A9CF131 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:23:08] 677*2^1414844-1 is not prime. Res64: 036E5E6C41CDF0E8 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:30:58] 699*2^1414844-1 is not prime. Res64: 3E4419FE4DDBEB38 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:30:58] 843*2^1414844-1 is not prime. Res64: D1E90F60E5EA7604 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:40:10] 873*2^1414844-1 is not prime. Res64: B56147DCB7BF6CCE Time : 0.0 sec. user=mdettweiler [2015-11-13 19:40:10] 915*2^1414844-1 is not prime. Res64: 4690A7399B4A0869 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:41:01] 945*2^1414844-1 is not prime. Res64: 068AB3587EB92C29 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:41:02] 627*2^1414845-1 is not prime. Res64: 5C7B51A8E5B04561 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:41:24] 651*2^1414845-1 is not prime. Res64: 9B08CC6C5E19F477 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:41:24] 655*2^1414845-1 is not prime. Res64: 1E1638765FB757CA Time : 0.0 sec. user=mdettweiler [2015-11-13 19:50:06] 751*2^1414845-1 is not prime. Res64: 47FF8F8DC8590C80 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:50:06] 805*2^1414845-1 is not prime. Res64: CBEA9973855480D2 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:58:22] 817*2^1414845-1 is not prime. Res64: 7F65BB77BDD59F0A Time : 0.0 sec. user=mdettweiler [2015-11-13 19:58:22] 885*2^1414845-1 is not prime. Res64: 1CE639BD2B29E447 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:59:05] 623*2^1414846-1 is not prime. Res64: 0710D6AB669A96B4 Time : 0.0 sec. user=mdettweiler [2015-11-13 19:59:05] 723*2^1414846-1 is not prime. Res64: 029B18A09015F7EA Time : 0.0 sec. user=mdettweiler [2015-11-13 19:59:49] 843*2^1414846-1 is not prime. Res64: 1D4ACF07DD53B15B Time : 0.0 sec. user=mdettweiler [2015-11-13 19:59:49] 861*2^1414846-1 is not prime. Res64: 2DD19CEBFD3CC11B Time : 0.0 sec. user=mdettweiler [2015-11-13 20:08:54] 941*2^1414846-1 is not prime. Res64: 8EFCCE2EF37A57C1 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:08:55] 645*2^1414847-1 is not prime. Res64: A7AF014865384DD8 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:01] 825*2^1414847-1 is not prime. Res64: 87D1A6AC6EDDCD40 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:01] 885*2^1414847-1 is not prime. Res64: D473BEF7CD376195 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:09] 673*2^1414847-1 is not prime. Res64: F5D3878AD10D10D8 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:09] 741*2^1414847-1 is not prime. Res64: 60810E74EABA7D4B Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:54] 963*2^1414847-1 is not prime. Res64: 1919EE0E2825BB08 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:19:55] 979*2^1414847-1 is not prime. Res64: ED80F8B182AC35B7 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:28:30] 991*2^1414847-1 is not prime. Res64: C0BAF26FBF2A3010 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:28:30] 993*2^1414847-1 is not prime. Res64: 06863CDB46418B2D Time : 0.0 sec. user=mdettweiler [2015-11-13 20:36:56] 815*2^1414848-1 is not prime. Res64: 99F0866CB33F3D2F Time : 0.0 sec. user=mdettweiler [2015-11-13 20:36:57] 909*2^1414848-1 is not prime. Res64: D7E766AF3A02D287 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:37:07] 923*2^1414848-1 is not prime. Res64: E9AC4FD936D230EF Time : 0.0 sec. user=mdettweiler [2015-11-13 20:37:08] 933*2^1414848-1 is not prime. Res64: 19D09E6378FF196D Time : 0.0 sec. user=mdettweiler [2015-11-13 20:37:55] 959*2^1414848-1 is not prime. Res64: 02BC2DB6F6D56E41 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:37:56] 649*2^1414849-1 is not prime. Res64: 86612B66BCF13087 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:46:32] 685*2^1414849-1 is not prime. Res64: 8D44E8EBCF53A714 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:46:33] 885*2^1414849-1 is not prime. Res64: 315FEA927BE0127B Time : 0.0 sec. user=mdettweiler [2015-11-13 20:54:53] 627*2^1414850-1 is not prime. Res64: B3B9B1B406F621D4 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:54:54] 633*2^1414850-1 is not prime. Res64: 57B6E481179E9FB2 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:54:59] 713*2^1414850-1 is not prime. Res64: F3A6731A23698830 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:54:59] 717*2^1414850-1 is not prime. Res64: 62D21AC16A2E3CB6 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:55:51] 773*2^1414850-1 is not prime. Res64: 1A35C37976CBAA92 Time : 0.0 sec. user=mdettweiler [2015-11-13 20:55:51] 887*2^1414850-1 is not prime. Res64: 37FFC672375D7AD9 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:04:24] 935*2^1414850-1 is not prime. Res64: D4F929713AF3FF76 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:04:25] 971*2^1414850-1 is not prime. Res64: 2E277F722EBCC970 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:12:47] 753*2^1414851-1 is not prime. Res64: 47B6B6BEDF28D7F3 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:12:47] 691*2^1414851-1 is not prime. Res64: 5A9C84EA54E5020A Time : 0.0 sec. user=mdettweiler [2015-11-13 21:12:48] 793*2^1414851-1 is not prime. Res64: 8CD4BCCD3FBA83B3 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:12:49] 751*2^1414851-1 is not prime. Res64: 77B1FB5027B27281 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:13:43] 823*2^1414851-1 is not prime. Res64: 92B2EB3489A1315B Time : 0.0 sec. user=mdettweiler [2015-11-13 21:13:44] 969*2^1414851-1 is not prime. Res64: 86CE72E7CECBA62A Time : 0.0 sec. user=mdettweiler [2015-11-13 21:22:29] 657*2^1414852-1 is not prime. Res64: 41644F87964923DA Time : 0.0 sec. user=mdettweiler [2015-11-13 21:22:29] 687*2^1414852-1 is not prime. Res64: 07906835506E2512 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:30:55] 989*2^1414852-1 is not prime. Res64: F3C57A1981FC4F2F Time : 0.0 sec. user=mdettweiler [2015-11-13 21:30:55] 727*2^1414853-1 is not prime. Res64: 90072DAF020C738C Time : 0.0 sec. user=mdettweiler [2015-11-13 21:31:01] 863*2^1414852-1 is not prime. Res64: 2174F85DD18C3CAC Time : 0.0 sec. user=mdettweiler [2015-11-13 21:31:02] 875*2^1414852-1 is not prime. Res64: A3C6D1CAF44F8D67 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:31:31] 741*2^1414853-1 is not prime. Res64: 78CF9BA8DD201A10 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:31:31] 771*2^1414853-1 is not prime. Res64: 43178319796A2A60 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:40:34] 795*2^1414853-1 is not prime. Res64: 2773719AF3E99701 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:40:34] 801*2^1414853-1 is not prime. Res64: C4D1D3A87A35627A Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:09] 867*2^1414853-1 is not prime. Res64: FFAA1684575D0BDE Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:10] 985*2^1414853-1 is not prime. Res64: ED97CCE5C0C26EFD Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:13] 737*2^1414854-1 is not prime. Res64: 0F65107E80522298 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:13] 747*2^1414854-1 is not prime. Res64: 8A55534A892FFE0B Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:39] 807*2^1414854-1 is not prime. Res64: C9FA8395DBFEF231 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:49:39] 941*2^1414854-1 is not prime. Res64: 8744141284504DCC Time : 0.0 sec. user=mdettweiler [2015-11-13 21:58:45] 663*2^1414855-1 is not prime. Res64: 3662B009E4E1B1B0 Time : 0.0 sec. user=mdettweiler [2015-11-13 21:58:45] 709*2^1414855-1 is not prime. Res64: 85E0A1E1F794E574 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:18] 741*2^1414855-1 is not prime. Res64: FC38AD6BF3EC7B4E Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:21] 819*2^1414855-1 is not prime. Res64: 5B58339904739099 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:26] 861*2^1414855-1 is not prime. Res64: FCDB2C185F8623D5 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:31] 623*2^1414856-1 is not prime. Res64: 92B329D3203345E5 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:49] 629*2^1414856-1 is not prime. Res64: 0F4766577CF1F4C0 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:07:51] 659*2^1414856-1 is not prime. Res64: 9AE1A6C095DCF72B Time : 0.0 sec. user=mdettweiler [2015-11-13 22:16:47] 857*2^1414856-1 is not prime. Res64: AC9136BA38CEFC41 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:16:47] 903*2^1414856-1 is not prime. Res64: A1F548A78095D717 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:40] 661*2^1414857-1 is not prime. Res64: AB0DFB41EDC3E05C Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:40] 675*2^1414857-1 is not prime. Res64: B6E08A2D38728E90 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:49] 681*2^1414857-1 is not prime. Res64: 85D7E523E46467F9 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:49] 835*2^1414857-1 is not prime. Res64: 77F67436737B1D77 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:58] 919*2^1414857-1 is not prime. Res64: 7901D8D56A43F1FA Time : 0.0 sec. user=mdettweiler [2015-11-13 22:25:58] 997*2^1414857-1 is not prime. Res64: 3179FE7C99FD985D Time : 0.0 sec. user=mdettweiler [2015-11-13 22:34:43] 623*2^1414858-1 is not prime. Res64: 82AE8BF959B12246 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:34:43] 657*2^1414858-1 is not prime. Res64: 7C125B268521D903 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:43] 845*2^1414858-1 is not prime. Res64: 9E1242574C83E497 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:43] 905*2^1414858-1 is not prime. Res64: E4CC686A10CA5B22 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:50] 951*2^1414858-1 is not prime. Res64: D1B49BEDE14E2386 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:51] 609*2^1414859-1 is not prime. Res64: 887856C151A12E51 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:59] 619*2^1414859-1 is not prime. Res64: AC6B6797AD9DB0D6 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:43:59] 703*2^1414859-1 is not prime. Res64: 5BFCB60FBD61B9D9 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:52:55] 689*2^1414860-1 is not prime. Res64: 63293ED2D4A68706 Time : 0.0 sec. user=mdettweiler [2015-11-13 22:52:56] 707*2^1414860-1 is not prime. Res64: 8C1A74EFDAE06536 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:01:56] 765*2^1414860-1 is not prime. Res64: C51A5DAFF97E81D4 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:01:57] 777*2^1414860-1 is not prime. Res64: 4083530E62EF61C5 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:02:07] 795*2^1414860-1 is not prime. Res64: CF5E56878F9D1549 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:02:08] 797*2^1414860-1 is not prime. Res64: DC350FFA2EC2F8CB Time : 0.0 sec. user=mdettweiler [2015-11-13 23:02:23] 819*2^1414860-1 is not prime. Res64: EA4585DEDFC12C34 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:02:24] 843*2^1414860-1 is not prime. Res64: 657B977A12FAD1C9 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:11:02] 905*2^1414860-1 is not prime. Res64: B01A01E562548757 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:11:04] 909*2^1414860-1 is not prime. Res64: AF3B874BE8020EB1 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:10] 771*2^1414861-1 is not prime. Res64: B80FA2C6781086B7 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:10] 855*2^1414861-1 is not prime. Res64: 9CDFA70D0EEE6214 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:19] 895*2^1414861-1 is not prime. Res64: 1382F971227031A3 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:19] 979*2^1414861-1 is not prime. Res64: F2A38A7957715CAC Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:35] 981*2^1414861-1 is not prime. Res64: 6359A12BD88F24A5 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:20:36] 677*2^1414862-1 is not prime. Res64: AAB53B6B50395261 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:30:19] 867*2^1414862-1 is not prime. Res64: 71C75CB7D4502AE8 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:30:19] 873*2^1414862-1 is not prime. Res64: BB199B1F2AAA1569 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:14] 875*2^1414862-1 is not prime. Res64: 04787F4BD74CEDC0 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:14] 893*2^1414862-1 is not prime. Res64: 4369B7B3C088326D Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:29] 609*2^1414863-1 is not prime. Res64: 51121784281E6DC9 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:30] 639*2^1414863-1 is not prime. Res64: C0B7E59555585103 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:50] 897*2^1414862-1 is not prime. Res64: 0D54CDFCB784D3C9 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:39:50] 941*2^1414862-1 is not prime. Res64: E4A9835F448C7706 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:50:48] 649*2^1414863-1 is not prime. Res64: 1E70A0DFC658591A Time : 0.0 sec. user=mdettweiler [2015-11-13 23:50:49] 679*2^1414863-1 is not prime. Res64: A8E2B985B7ED2CF0 Time : 0.0 sec. user=mdettweiler [2015-11-13 23:59:41] 705*2^1414863-1 is not prime. Res64: 7BA6211361795D4A Time : 0.0 sec. user=mdettweiler [2015-11-13 23:59:41] 741*2^1414863-1 is not prime. Res64: 7A0B502F1FA735F9 Time : 0.0 sec. user=mdettweiler [2015-11-14 00:00:02] 783*2^1414863-1 is not prime. Res64: 1FB083E85EB79BD8 Time : 0.0 sec. user=mdettweiler [2015-11-14 00:00:02] 825*2^1414863-1 is not prime. Res64: 9738CA753C33DF27 Time : 0.0 sec. user=mdettweiler [2015-11-14 00:00:40] 973*2^1414863-1 is not prime. Res64: 76F9CEB0518D1CC8 Time : 0.0 sec. user=mdettweiler [2015-11-14 00:00:41] 843*2^1414864-1 is not prime. Res64: 4A9D347DC9C1DCFE Time : 0.0 sec.