user=mdettweiler [2016-05-22 00:11:56] 991*2^1429949-1 is not prime. Res64: A4CE46FDB3C8B58D Time : 0.0 sec. user=mdettweiler [2016-05-22 00:11:59] 657*2^1429950-1 is not prime. Res64: 8D88A71E1D273A46 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:12:01] 713*2^1429950-1 is not prime. Res64: C5A53C38BBE50156 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:12:02] 755*2^1429950-1 is not prime. Res64: FBBE9D035B3E43F4 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:12:04] 917*2^1429950-1 is not prime. Res64: 88C63B3D267D540C Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:01] 971*2^1429950-1 is not prime. Res64: 3A9CC2EFAD72BF31 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:01] 977*2^1429950-1 is not prime. Res64: 382192491C06B2B1 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:02] 685*2^1429951-1 is not prime. Res64: 1EAEB7BC7BAF01E5 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:02] 693*2^1429951-1 is not prime. Res64: F59AB1BB9FABC0AE Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:02] 843*2^1429951-1 is not prime. Res64: ACD1EFCA80790368 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:41] 873*2^1429951-1 is not prime. Res64: 0A78967DA560CD5F Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:41] 993*2^1429951-1 is not prime. Res64: 784FB6CD098C15AD Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:41] 617*2^1429952-1 is not prime. Res64: 8B87C04B9944EC32 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:42] 945*2^1429952-1 is not prime. Res64: 801240C33FE8CFBE Time : 0.0 sec. user=mdettweiler [2016-05-22 00:22:42] 649*2^1429953-1 is not prime. Res64: 87DADB209A65AED4 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:43:50] 685*2^1429953-1 is not prime. Res64: 126E5A2E999580C8 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:43:51] 739*2^1429953-1 is not prime. Res64: A7AD84BBFB26F09C Time : 0.0 sec. user=mdettweiler [2016-05-22 00:43:51] 819*2^1429953-1 is not prime. Res64: 656187B456BC7AE1 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:43:52] 877*2^1429953-1 is not prime. Res64: 2C3C37E8EE21A5CD Time : 0.0 sec. user=mdettweiler [2016-05-22 00:43:52] 885*2^1429953-1 is not prime. Res64: E71E1C60FA39661A Time : 0.0 sec. user=mdettweiler [2016-05-22 00:57:16] 991*2^1429953-1 is not prime. Res64: B3E847B9B7129901 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:57:16] 605*2^1429954-1 is not prime. Res64: 7B3B4282A73DFE28 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:57:16] 657*2^1429954-1 is not prime. Res64: 51AC233230977747 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:57:17] 677*2^1429954-1 is not prime. Res64: 7ABD82A5D311BC47 Time : 0.0 sec. user=mdettweiler [2016-05-22 00:57:17] 695*2^1429954-1 is not prime. Res64: F780527FEE099E47 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:03] 825*2^1429954-1 is not prime. Res64: 6569E277A0536DFF Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:03] 917*2^1429954-1 is not prime. Res64: 0E08B0C2AA752146 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:04] 941*2^1429954-1 is not prime. Res64: B577C6F238B47981 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:04] 981*2^1429954-1 is not prime. Res64: DB5877F1153B1697 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:04] 1001*2^1429954-1 is not prime. Res64: 24CBEC6D496412BB Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:36] 619*2^1429955-1 is not prime. Res64: 2F250C52BD0E31F5 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:36] 663*2^1429955-1 is not prime. Res64: F1CA836717C67991 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:37] 679*2^1429955-1 is not prime. Res64: 9D44DAB9E4E09C64 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:37] 741*2^1429955-1 is not prime. Res64: 642BC4F8B5B76F8B Time : 0.0 sec. user=mdettweiler [2016-05-22 01:07:38] 885*2^1429955-1 is not prime. Res64: FBCC5AFF79A3AC92 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:29:00] 653*2^1429956-1 is not prime. Res64: 0598FDFE3BFB3EB6 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:29:02] 695*2^1429956-1 is not prime. Res64: 9DC485B9733DBCBF Time : 0.0 sec. user=mdettweiler [2016-05-22 01:29:05] 777*2^1429956-1 is not prime. Res64: 64B751F16053C411 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:29:06] 923*2^1429956-1 is not prime. Res64: A58FAD6E3E02A42B Time : 0.0 sec. user=mdettweiler [2016-05-22 01:29:08] 975*2^1429956-1 is not prime. Res64: 547200115C4CA4E1 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:42:11] 999*2^1429956-1 is not prime. Res64: B08389666507609A Time : 0.0 sec. user=mdettweiler [2016-05-22 01:42:11] 775*2^1429957-1 is not prime. Res64: B60162D52B25CF57 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:42:11] 819*2^1429957-1 is not prime. Res64: 16EC50AEB072C59C Time : 0.0 sec. user=mdettweiler [2016-05-22 01:42:12] 867*2^1429957-1 is not prime. Res64: 69CFEF632C8C68DC Time : 0.0 sec. user=mdettweiler [2016-05-22 01:42:12] 957*2^1429957-1 is not prime. Res64: 432C5E39E0B689E8 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:14] 975*2^1429957-1 is not prime. Res64: 1B85AFB9B2725B91 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:14] 617*2^1429958-1 is not prime. Res64: 6BA0F090319B6FD5 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:15] 645*2^1429958-1 is not prime. Res64: 0358F1A68A8DCFE7 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:15] 683*2^1429958-1 is not prime. Res64: E27A1EC00FF54872 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:16] 747*2^1429958-1 is not prime. Res64: 650621BD22A0BBE7 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:44] 815*2^1429958-1 is not prime. Res64: 402A21C9B432477F Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:45] 887*2^1429958-1 is not prime. Res64: 0DAB88B5BD2C71D7 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:45] 1001*2^1429958-1 is not prime. Res64: 91ADB6C690B55FC3 Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:45] 685*2^1429959-1 is not prime. Res64: D143D9C3E786D43C Time : 0.0 sec. user=mdettweiler [2016-05-22 01:52:46] 705*2^1429959-1 is not prime. Res64: 273F0F3C790C3E77 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:15:22] 775*2^1429959-1 is not prime. Res64: 374BA87DD17E1AD6 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:15:23] 635*2^1429960-1 is not prime. Res64: 12248F045AA325FE Time : 0.0 sec. user=mdettweiler [2016-05-22 02:15:23] 677*2^1429960-1 is not prime. Res64: A260B2D32D0DDE75 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:15:24] 693*2^1429960-1 is not prime. Res64: 5B957B633DAAE542 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:15:24] 699*2^1429960-1 is not prime. Res64: CFE2CF8B172CC751 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:27:50] 773*2^1429960-1 is not prime. Res64: BBE2EED1ADB177A5 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:27:51] 601*2^1429961-1 is not prime. Res64: 6682600BA3992A3E Time : 0.0 sec. user=mdettweiler [2016-05-22 02:27:51] 645*2^1429961-1 is not prime. Res64: C121D42A98C46EC3 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:27:52] 679*2^1429961-1 is not prime. Res64: 69CA0C4DD12154B1 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:27:53] 811*2^1429961-1 is not prime. Res64: FCC53033AEC0642E Time : 0.0 sec. user=mdettweiler [2016-05-22 02:37:52] 901*2^1429961-1 is not prime. Res64: E4B22785E0C1022E Time : 0.0 sec. user=mdettweiler [2016-05-22 02:37:52] 955*2^1429961-1 is not prime. Res64: C0D65F0D11E1D961 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:37:53] 633*2^1429962-1 is not prime. Res64: 57A8D53869EAEEA1 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:37:53] 717*2^1429962-1 is not prime. Res64: 1EEC12B83A590D70 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:37:54] 723*2^1429962-1 is not prime. Res64: 8712568AE188C924 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:39:24] 755*2^1429962-1 is not prime. Res64: 711982A6F94CABBA Time : 0.0 sec. user=mdettweiler [2016-05-22 02:39:25] 815*2^1429962-1 is not prime. Res64: 90DA9A426A94D478 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:39:25] 917*2^1429962-1 is not prime. Res64: D8E388B9F250010E Time : 0.0 sec. user=mdettweiler [2016-05-22 02:39:26] 977*2^1429962-1 is not prime. Res64: 398EEA5CB73B3258 Time : 0.0 sec. user=mdettweiler [2016-05-22 02:39:26] 633*2^1429963-1 is not prime. Res64: F14B03D53EF86F26 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:00:22] 663*2^1429963-1 is not prime. Res64: E45992A4F7619740 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:00:23] 751*2^1429963-1 is not prime. Res64: 4395649B62B9DCEE Time : 0.0 sec. user=mdettweiler [2016-05-22 03:00:23] 771*2^1429963-1 is not prime. Res64: 3B101C58201ED790 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:00:24] 873*2^1429963-1 is not prime. Res64: 5FA70B455D76CA1E Time : 0.0 sec. user=mdettweiler [2016-05-22 03:00:25] 885*2^1429963-1 is not prime. Res64: 2F6BBD0564361B1C Time : 0.0 sec. user=mdettweiler [2016-05-22 03:13:00] 961*2^1429963-1 is not prime. Res64: 8CFB150C11B7E46B Time : 0.0 sec. user=mdettweiler [2016-05-22 03:13:01] 617*2^1429964-1 is not prime. Res64: 2D959D877C87AEB0 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:13:01] 623*2^1429964-1 is not prime. Res64: 71D2F7446F216A3A Time : 0.0 sec. user=mdettweiler [2016-05-22 03:13:01] 657*2^1429964-1 is not prime. Res64: 262571B0E71D43DA Time : 0.0 sec. user=mdettweiler [2016-05-22 03:13:02] 699*2^1429964-1 is not prime. Res64: 5248BEB48FE1E581 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:23:08] 719*2^1429964-1 is not prime. Res64: 9E9B28C0FCAEBD0B Time : 0.0 sec. user=mdettweiler [2016-05-22 03:23:09] 759*2^1429964-1 is not prime. Res64: CF61CEE7F7DA7659 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:23:09] 827*2^1429964-1 is not prime. Res64: 93DD8A6565202AC0 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:23:10] 909*2^1429964-1 is not prime. Res64: DD19D5AFBF293E5A Time : 0.0 sec. user=mdettweiler [2016-05-22 03:23:10] 915*2^1429964-1 is not prime. Res64: 241DE6C8CEE10477 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:24:35] 983*2^1429964-1 is not prime. Res64: 903C81A18DCCFBBE Time : 0.0 sec. user=mdettweiler [2016-05-22 03:24:36] 685*2^1429965-1 is not prime. Res64: 8EFFEBB67648EC8F Time : 0.0 sec. user=mdettweiler [2016-05-22 03:24:36] 711*2^1429965-1 is not prime. Res64: BCCF8B2E6F35E5EB Time : 0.0 sec. user=mdettweiler [2016-05-22 03:24:37] 789*2^1429965-1 is not prime. Res64: D98A96D36F1DD0C2 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:24:37] 831*2^1429965-1 is not prime. Res64: 1608D9B9AC3EA0F1 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:45:37] 861*2^1429965-1 is not prime. Res64: 4B1CE350FFD2DB1A Time : 0.0 sec. user=mdettweiler [2016-05-22 03:45:39] 975*2^1429965-1 is not prime. Res64: 64C0927127FEC59D Time : 0.0 sec. user=mdettweiler [2016-05-22 03:45:40] 881*2^1429966-1 is not prime. Res64: B58CED390CE9744F Time : 0.0 sec. user=mdettweiler [2016-05-22 03:45:40] 971*2^1429966-1 is not prime. Res64: 678199654502DCE9 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:45:41] 711*2^1429967-1 is not prime. Res64: ED26F50A9BC18956 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:58:02] 781*2^1429967-1 is not prime. Res64: FAA1B49E4BA47192 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:58:03] 825*2^1429967-1 is not prime. Res64: 3A0EF86ACCD643B7 Time : 0.0 sec. user=mdettweiler [2016-05-22 03:58:03] 913*2^1429967-1 is not prime. Res64: 155300C4C51472EF Time : 0.0 sec. user=mdettweiler [2016-05-22 03:58:04] 765*2^1429968-1 is not prime. Res64: 41FEFBFA21D6AF9B Time : 0.0 sec. user=mdettweiler [2016-05-22 03:58:04] 959*2^1429968-1 is not prime. Res64: 8492F3B494C5124B Time : 0.0 sec. user=mdettweiler [2016-05-22 04:08:24] 619*2^1429969-1 is not prime. Res64: 13B3899A22D88E2C Time : 0.0 sec. user=mdettweiler [2016-05-22 04:08:25] 661*2^1429969-1 is not prime. Res64: 76C507A428327A54 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:08:27] 687*2^1429969-1 is not prime. Res64: 5F6E50F331ABD8B1 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:08:27] 831*2^1429969-1 is not prime. Res64: FB2A194BCE2D8A04 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:08:27] 855*2^1429969-1 is not prime. Res64: EB2650E3868FC8C3 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:10:05] 861*2^1429969-1 is not prime. Res64: C7D97C56727D9571 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:10:05] 939*2^1429969-1 is not prime. Res64: F2B59FB86BC86463 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:10:05] 615*2^1429970-1 is not prime. Res64: 423E939EA7887645 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:10:06] 857*2^1429970-1 is not prime. Res64: 32738F4C661DEC6A Time : 0.0 sec. user=mdettweiler [2016-05-22 04:10:06] 911*2^1429970-1 is not prime. Res64: 0DF56ABF1EBBC539 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:32:03] 619*2^1429971-1 is not prime. Res64: 2F7DBD23B01ED52B Time : 0.0 sec. user=mdettweiler [2016-05-22 04:32:03] 649*2^1429971-1 is not prime. Res64: CB0DA091DA5E1057 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:32:04] 753*2^1429971-1 is not prime. Res64: BD3F3F341A7B9D4A Time : 0.0 sec. user=mdettweiler [2016-05-22 04:32:04] 793*2^1429971-1 is not prime. Res64: A864F79C9859D712 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:32:05] 805*2^1429971-1 is not prime. Res64: 7399D9428331FE99 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:44:22] 829*2^1429971-1 is not prime. Res64: 2831DEA92935EAB2 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:44:22] 909*2^1429971-1 is not prime. Res64: 121C9B8C3DF09316 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:44:23] 913*2^1429971-1 is not prime. Res64: 1EF1337850A25E76 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:44:23] 665*2^1429972-1 is not prime. Res64: A0D64D6102239B22 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:44:23] 675*2^1429972-1 is not prime. Res64: 9819C677CCFCEFA6 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:54:28] 693*2^1429972-1 is not prime. Res64: C3B9F7DDC548E3C8 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:54:29] 719*2^1429972-1 is not prime. Res64: 70CC3535F964320E Time : 0.0 sec. user=mdettweiler [2016-05-22 04:54:29] 825*2^1429972-1 is not prime. Res64: C5C8DDDD27258016 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:54:29] 615*2^1429973-1 is not prime. Res64: E5677E4DCF5A33BF Time : 0.0 sec. user=mdettweiler [2016-05-22 04:54:30] 649*2^1429973-1 is not prime. Res64: B9B858B22CFF62B5 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:56:16] 691*2^1429973-1 is not prime. Res64: 134F1E3E2736B9ED Time : 0.0 sec. user=mdettweiler [2016-05-22 04:56:16] 915*2^1429973-1 is not prime. Res64: 6D3B32A78E90B861 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:56:16] 605*2^1429974-1 is not prime. Res64: 49846CF3F60BAAA3 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:56:17] 663*2^1429974-1 is not prime. Res64: DE3205CBFF3584E4 Time : 0.0 sec. user=mdettweiler [2016-05-22 04:56:17] 725*2^1429974-1 is not prime. Res64: F78A0C6CDFD4D9A1 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:17:28] 833*2^1429974-1 is not prime. Res64: 0FD4380EC9B5B462 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:17:29] 881*2^1429974-1 is not prime. Res64: 025CDEE2EB448FFD Time : 0.0 sec. user=mdettweiler [2016-05-22 05:17:29] 891*2^1429974-1 is not prime. Res64: 8E826EDE3DD0982A Time : 0.0 sec. user=mdettweiler [2016-05-22 05:17:30] 917*2^1429974-1 is not prime. Res64: 0F27DC53466A9BD8 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:17:30] 965*2^1429974-1 is not prime. Res64: C6C1B842A2F8E255 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:29:46] 1001*2^1429974-1 is not prime. Res64: C0E8795D386597D2 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:29:47] 661*2^1429975-1 is not prime. Res64: AAFC0A5CEC47DA27 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:29:47] 673*2^1429975-1 is not prime. Res64: B1F04DE769FD3817 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:29:48] 741*2^1429975-1 is not prime. Res64: AF1C5CD167B22C7A Time : 0.0 sec. user=mdettweiler [2016-05-22 05:29:48] 883*2^1429975-1 is not prime. Res64: 652C38DD3DE8E1CD Time : 0.0 sec. user=mdettweiler [2016-05-22 05:39:33] 889*2^1429975-1 is not prime. Res64: B099EA2BFB60B467 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:39:34] 999*2^1429975-1 is not prime. Res64: 3E5ECEE7220D331C Time : 0.0 sec. user=mdettweiler [2016-05-22 05:39:34] 635*2^1429976-1 is not prime. Res64: 8EFCBEA67C30EB0C Time : 0.0 sec. user=mdettweiler [2016-05-22 05:39:34] 675*2^1429977-1 is not prime. Res64: EEB7E58D467267EF Time : 0.0 sec. user=mdettweiler [2016-05-22 05:39:35] 847*2^1429977-1 is not prime. Res64: F112988DC31EACF9 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:41:15] 865*2^1429977-1 is not prime. Res64: DA3B5D9A17416ECE Time : 0.0 sec. user=mdettweiler [2016-05-22 05:41:16] 901*2^1429977-1 is not prime. Res64: EE967C3D5D18DFA5 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:41:16] 919*2^1429977-1 is not prime. Res64: 66ABD633397C61AD Time : 0.0 sec. user=mdettweiler [2016-05-22 05:41:17] 949*2^1429977-1 is not prime. Res64: B0B030A693DA0414 Time : 0.0 sec. user=mdettweiler [2016-05-22 05:41:17] 955*2^1429977-1 is not prime. Res64: 148358D017C21883 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:02:39] 997*2^1429977-1 is not prime. Res64: 4D5BFA8233071250 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:02:39] 999*2^1429977-1 is not prime. Res64: 99CDB7A95CF6B2B1 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:02:40] 621*2^1429978-1 is not prime. Res64: D4AB5E0C045C95CB Time : 0.0 sec. user=mdettweiler [2016-05-22 06:02:41] 765*2^1429978-1 is not prime. Res64: 1041325896D134F4 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:02:42] 831*2^1429978-1 is not prime. Res64: E67C6097D9C1596D Time : 0.0 sec. user=mdettweiler [2016-05-22 06:14:54] 923*2^1429978-1 is not prime. Res64: C4E0B7D982528E72 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:14:54] 621*2^1429979-1 is not prime. Res64: 22564DE79ADE1930 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:14:55] 645*2^1429979-1 is not prime. Res64: 484AC770012654F4 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:14:55] 811*2^1429979-1 is not prime. Res64: 476C03ABC8747EE1 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:14:55] 931*2^1429979-1 is not prime. Res64: A2AD9CB0A6B8069E Time : 0.0 sec. user=mdettweiler [2016-05-22 06:24:32] 979*2^1429979-1 is not prime. Res64: 55BDA699CD7DFF52 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:24:32] 609*2^1429980-1 is not prime. Res64: C812BD4E7648328B Time : 0.0 sec. user=mdettweiler [2016-05-22 06:24:32] 629*2^1429980-1 is not prime. Res64: 8F1B334EC35704F3 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:24:33] 699*2^1429980-1 is not prime. Res64: B0E96C65E05AD19C Time : 0.0 sec. user=mdettweiler [2016-05-22 06:24:33] 735*2^1429980-1 is not prime. Res64: 862E722B90BCE312 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:26:24] 873*2^1429980-1 is not prime. Res64: 75E2F55CAB633FDC Time : 0.0 sec. user=mdettweiler [2016-05-22 06:26:24] 975*2^1429980-1 is not prime. Res64: 3872FFBF62D2B399 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:26:24] 685*2^1429981-1 is not prime. Res64: 582849E4DC84D85A Time : 0.0 sec. user=mdettweiler [2016-05-22 06:26:25] 691*2^1429981-1 is not prime. Res64: 17BBCB47E5FFAF55 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:26:25] 777*2^1429981-1 is not prime. Res64: A861180C9CD58B97 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:47:58] 825*2^1429981-1 is not prime. Res64: 6D7CAA0D797C6B9E Time : 0.0 sec. user=mdettweiler [2016-05-22 06:47:59] 829*2^1429981-1 is not prime. Res64: D7ED978AD150E90D Time : 0.0 sec. user=mdettweiler [2016-05-22 06:47:59] 931*2^1429981-1 is not prime. Res64: CB2F2CB581E25D8F Time : 0.0 sec. user=mdettweiler [2016-05-22 06:47:59] 997*2^1429981-1 is not prime. Res64: 3C5979408CD58D26 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:48:00] 671*2^1429982-1 is not prime. Res64: 43269D8CC6FF1273 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:59:55] 755*2^1429982-1 is not prime. Res64: 68CDE0839E74D5F7 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:59:55] 921*2^1429982-1 is not prime. Res64: 151F0B58F925A01D Time : 0.0 sec. user=mdettweiler [2016-05-22 06:59:55] 923*2^1429982-1 is not prime. Res64: 710EC61A0D12488D Time : 0.0 sec. user=mdettweiler [2016-05-22 06:59:56] 935*2^1429982-1 is not prime. Res64: 3F63A1A119EFCAE9 Time : 0.0 sec. user=mdettweiler [2016-05-22 06:59:56] 679*2^1429983-1 is not prime. Res64: E6EF37F6B62FDD9B Time : 0.0 sec. user=mdettweiler [2016-05-22 07:09:34] 739*2^1429983-1 is not prime. Res64: 7E6595D4446D8F6C Time : 0.0 sec. user=mdettweiler [2016-05-22 07:09:35] 765*2^1429983-1 is not prime. Res64: E4EF6FCCB54ADC79 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:09:35] 829*2^1429983-1 is not prime. Res64: 547648BFF6A69D44 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:09:36] 879*2^1429983-1 is not prime. Res64: 17A2231192C2F05A Time : 0.0 sec. user=mdettweiler [2016-05-22 07:09:36] 913*2^1429983-1 is not prime. Res64: 972800205A9E4C5D Time : 0.0 sec. user=mdettweiler [2016-05-22 07:11:22] 985*2^1429983-1 is not prime. Res64: 84B1F0EE7F605FE9 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:11:23] 605*2^1429984-1 is not prime. Res64: 55103D96BCF4F898 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:11:23] 875*2^1429984-1 is not prime. Res64: 9C58A39EBF9B62ED Time : 0.0 sec. user=mdettweiler [2016-05-22 07:11:24] 917*2^1429984-1 is not prime. Res64: 7FEA1C0656F36527 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:11:24] 939*2^1429984-1 is not prime. Res64: A5C2DF6EC046A162 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:32:48] 619*2^1429985-1 is not prime. Res64: 6394DED781ADA2A8 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:32:48] 697*2^1429985-1 is not prime. Res64: FAE611B63C2FD8C8 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:32:49] 955*2^1429985-1 is not prime. Res64: 7C6CCFC889D7FE57 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:32:49] 635*2^1429986-1 is not prime. Res64: 7723E80D7A5C3652 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:32:50] 747*2^1429986-1 is not prime. Res64: D2B8175542C645EC Time : 0.0 sec. user=mdettweiler [2016-05-22 07:44:42] 833*2^1429986-1 is not prime. Res64: 5F2377A832B5A320 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:44:42] 615*2^1429987-1 is not prime. Res64: 7CB40CE017412F7A Time : 0.0 sec. user=mdettweiler [2016-05-22 07:44:42] 681*2^1429987-1 is not prime. Res64: 62BB6F6FD91E176B Time : 0.0 sec. user=mdettweiler [2016-05-22 07:44:43] 693*2^1429987-1 is not prime. Res64: 40FA9C342F88E5CD Time : 0.0 sec. user=mdettweiler [2016-05-22 07:44:43] 699*2^1429987-1 is not prime. Res64: FE5DBF44CC9A8F1F Time : 0.0 sec. user=mdettweiler [2016-05-22 07:54:46] 765*2^1429987-1 is not prime. Res64: 75264F58BE5012BA Time : 0.0 sec. user=mdettweiler [2016-05-22 07:54:46] 889*2^1429987-1 is not prime. Res64: 7B11E4510BD47670 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:54:46] 961*2^1429987-1 is not prime. Res64: DCAAF656E3054F5E Time : 0.0 sec. user=mdettweiler [2016-05-22 07:54:47] 665*2^1429988-1 is not prime. Res64: 88260068FF940CA3 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:54:47] 687*2^1429988-1 is not prime. Res64: A546AFCEFBA40ACC Time : 0.0 sec. user=mdettweiler [2016-05-22 07:56:26] 725*2^1429988-1 is not prime. Res64: DEE447D2DE6C6E24 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:56:26] 855*2^1429988-1 is not prime. Res64: 5BBC64E17A7A556B Time : 0.0 sec. user=mdettweiler [2016-05-22 07:56:26] 875*2^1429988-1 is not prime. Res64: D991C9878D39F312 Time : 0.0 sec. user=mdettweiler [2016-05-22 07:56:27] 893*2^1429988-1 is not prime. Res64: B98F8FE094CF59CF Time : 0.0 sec. user=mdettweiler [2016-05-22 07:56:27] 915*2^1429988-1 is not prime. Res64: 3F6A4BCAF3BB2F0B Time : 0.0 sec. user=mdettweiler [2016-05-22 08:17:49] 935*2^1429988-1 is not prime. Res64: C550CE2B0FE2DF6A Time : 0.0 sec. user=mdettweiler [2016-05-22 08:17:49] 957*2^1429988-1 is not prime. Res64: 1A9385BF39DCBF36 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:17:50] 959*2^1429988-1 is not prime. Res64: 36C674FCB2A58113 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:17:50] 621*2^1429989-1 is not prime. Res64: 1D8A04D38E469630 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:17:51] 639*2^1429989-1 is not prime. Res64: 7DBAA3F6F441F09E Time : 0.0 sec. user=mdettweiler [2016-05-22 08:29:34] 751*2^1429989-1 is not prime. Res64: 484C3484539AAD77 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:29:35] 847*2^1429989-1 is not prime. Res64: 70F174A36C2220B8 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:29:35] 867*2^1429989-1 is not prime. Res64: B5E21497C75D3915 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:29:35] 877*2^1429989-1 is not prime. Res64: 694DFB713E553AA4 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:29:36] 895*2^1429989-1 is not prime. Res64: AE163786425EE092 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:39:57] 677*2^1429990-1 is not prime. Res64: 8CA134D6FEE6DADF Time : 0.0 sec. user=mdettweiler [2016-05-22 08:39:58] 713*2^1429990-1 is not prime. Res64: 0BE75461CEDA9057 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:39:58] 743*2^1429990-1 is not prime. Res64: BF5CD65A9D7A448F Time : 0.0 sec. user=mdettweiler [2016-05-22 08:39:58] 915*2^1429990-1 is not prime. Res64: 1AA9BEE285B79CC9 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:39:59] 917*2^1429990-1 is not prime. Res64: ED91844DECD36066 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:41:29] 975*2^1429990-1 is not prime. Res64: F4E4B77EABF0EC28 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:41:29] 621*2^1429991-1 is not prime. Res64: D3C3F8E9E4408E37 Time : 0.0 sec. user=mdettweiler [2016-05-22 08:41:30] 663*2^1429991-1 is not prime. Res64: ADC41A8604F3DCAD Time : 0.0 sec. user=mdettweiler [2016-05-22 08:41:30] 843*2^1429991-1 is not prime. Res64: 628A0312E874EBFF Time : 0.0 sec. user=mdettweiler [2016-05-22 08:41:31] 855*2^1429991-1 is not prime. Res64: 3D216838B1FA8D3A Time : 0.0 sec. user=mdettweiler [2016-05-22 09:02:54] 879*2^1429991-1 is not prime. Res64: BED6C2E8D80B37AE Time : 0.0 sec. user=mdettweiler [2016-05-22 09:02:55] 635*2^1429992-1 is not prime. Res64: 38A905C2B0CE6340 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:02:55] 639*2^1429992-1 is not prime. Res64: C021CA3E7552017C Time : 0.0 sec. user=mdettweiler [2016-05-22 09:02:56] 669*2^1429992-1 is not prime. Res64: B90EFA8FDDAEB18E Time : 0.0 sec. user=mdettweiler [2016-05-22 09:02:56] 689*2^1429992-1 is not prime. Res64: F725A35475BF43BE Time : 0.0 sec. user=mdettweiler [2016-05-22 09:14:41] 719*2^1429992-1 is not prime. Res64: B863F5AE0EE6D1F4 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:14:41] 863*2^1429992-1 is not prime. Res64: 7940E7CDBA0A1D83 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:14:42] 933*2^1429992-1 is not prime. Res64: B7F3906C097EDDBA Time : 0.0 sec. user=mdettweiler [2016-05-22 09:14:42] 957*2^1429992-1 is not prime. Res64: C1A0A3A5B59227A7 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:14:42] 705*2^1429993-1 is not prime. Res64: 3AE7C33E242DA2D2 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:25:11] 897*2^1429993-1 is not prime. Res64: FCE54345A2D79797 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:25:11] 937*2^1429993-1 is not prime. Res64: 5B31F922A82CAE6E Time : 0.0 sec. user=mdettweiler [2016-05-22 09:25:11] 741*2^1429994-1 is not prime. Res64: 938B9EAB55DC3A20 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:25:12] 767*2^1429994-1 is not prime. Res64: 247EE32C8282F8F6 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:25:12] 813*2^1429994-1 is not prime. Res64: 4EAC21F2CEDFD396 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:26:39] 857*2^1429994-1 is not prime. Res64: 2FD6C291F52F707A Time : 0.0 sec. user=mdettweiler [2016-05-22 09:26:39] 903*2^1429994-1 is not prime. Res64: D0057DB20666910A Time : 0.0 sec. user=mdettweiler [2016-05-22 09:26:40] 921*2^1429994-1 is not prime. Res64: 6F4A1AE34D387426 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:26:40] 613*2^1429995-1 is not prime. Res64: 8558515F52D15F8D Time : 0.0 sec. user=mdettweiler [2016-05-22 09:26:41] 765*2^1429995-1 is not prime. Res64: 2522E4668C7BC4F8 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:48:02] 795*2^1429995-1 is not prime. Res64: E83A0D21A22B12B2 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:48:02] 819*2^1429995-1 is not prime. Res64: BE8C3202ADAD0C23 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:48:02] 919*2^1429995-1 is not prime. Res64: 70C2209A5091C2C4 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:48:03] 955*2^1429995-1 is not prime. Res64: 1D71E63F45254DC5 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:48:03] 677*2^1429996-1 is not prime. Res64: 8F3459D5C5410A48 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:59:47] 735*2^1429996-1 is not prime. Res64: EF606D454C025359 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:59:48] 939*2^1429996-1 is not prime. Res64: 951D4E8E6431D6B9 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:59:48] 607*2^1429997-1 is not prime. Res64: A6A0EB2E8F441CBE Time : 0.0 sec. user=mdettweiler [2016-05-22 09:59:49] 615*2^1429997-1 is not prime. Res64: C079F4FD6CBE62F2 Time : 0.0 sec. user=mdettweiler [2016-05-22 09:59:49] 795*2^1429997-1 is not prime. Res64: 5B20885971F3D68C Time : 0.0 sec. user=mdettweiler [2016-05-22 10:10:05] 861*2^1429997-1 is not prime. Res64: 58C017FC11E5BF4F Time : 0.0 sec. user=mdettweiler [2016-05-22 10:10:05] 865*2^1429997-1 is not prime. Res64: 645EEF9629A26AFB Time : 0.0 sec. user=mdettweiler [2016-05-22 10:10:06] 955*2^1429997-1 is not prime. Res64: BCF6BB8068BEF2FF Time : 0.0 sec. user=mdettweiler [2016-05-22 10:10:06] 621*2^1429998-1 is not prime. Res64: E029CABD128408D9 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:10:07] 641*2^1429998-1 is not prime. Res64: B26EF5D9AFE0D08F Time : 0.0 sec. user=mdettweiler [2016-05-22 10:11:48] 663*2^1429998-1 is not prime. Res64: D59A0F28CF6B4CF7 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:11:49] 867*2^1429998-1 is not prime. Res64: C834FB788C72C5F3 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:11:49] 875*2^1429998-1 is not prime. Res64: 41852B4E201B445B Time : 0.0 sec. user=mdettweiler [2016-05-22 10:11:50] 723*2^1429999-1 is not prime. Res64: 97A5687B3ACA5E76 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:11:50] 741*2^1429999-1 is not prime. Res64: D82DE24B57140520 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:32:59] 745*2^1429999-1 is not prime. Res64: 9AB2F6102334849D Time : 0.0 sec. user=mdettweiler [2016-05-22 10:33:00] 769*2^1429999-1 is not prime. Res64: D9399609BD11D2BF Time : 0.0 sec. user=mdettweiler [2016-05-22 10:33:00] 933*2^1429999-1 is not prime. Res64: EB8F8371B22B9D61 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:33:00] 767*2^1430000-1 is not prime. Res64: 180DE050B28D397A Time : 0.0 sec. user=mdettweiler [2016-05-22 10:33:01] 773*2^1430000-1 is not prime. Res64: 80ED62E73B72F6E2 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:44:40] 813*2^1430000-1 is not prime. Res64: 0B4982EA681283FA Time : 0.0 sec. user=mdettweiler [2016-05-22 10:44:41] 819*2^1430000-1 is not prime. Res64: 5DE3205C02BB83A3 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:44:41] 825*2^1430000-1 is not prime. Res64: 9AFAB4DA8C4DA814 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:44:41] 843*2^1430000-1 is not prime. Res64: 29255B9F90F9B2D5 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:44:42] 909*2^1430000-1 is not prime. Res64: CD6531181A8AD9DA Time : 0.0 sec. user=mdettweiler [2016-05-22 10:55:20] 945*2^1430000-1 is not prime. Res64: F3BBE8AB0801CC14 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:55:20] 625*2^1430001-1 is not prime. Res64: 9B7C276A39CED407 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:55:20] 735*2^1430001-1 is not prime. Res64: EB6DD474E8F5D89F Time : 0.0 sec. user=mdettweiler [2016-05-22 10:55:21] 741*2^1430001-1 is not prime. Res64: 03AFAECBA4E0773B Time : 0.0 sec. user=mdettweiler [2016-05-22 10:55:21] 795*2^1430001-1 is not prime. Res64: C55ADF992F766259 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:56:55] 849*2^1430001-1 is not prime. Res64: F8B682CD50EC7CE9 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:56:55] 635*2^1430002-1 is not prime. Res64: 823EE4DBF976FA7B Time : 0.0 sec. user=mdettweiler [2016-05-22 10:56:56] 681*2^1430002-1 is not prime. Res64: 957B7CAA028FEAD5 Time : 0.0 sec. user=mdettweiler [2016-05-22 10:56:56] 717*2^1430002-1 is not prime. Res64: 127E42B6401AF66C Time : 0.0 sec. user=mdettweiler [2016-05-22 10:56:57] 723*2^1430002-1 is not prime. Res64: 9B257154BFCC6FC6 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:19:10] 785*2^1430002-1 is not prime. Res64: DD69AFFAC31A42C4 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:19:10] 791*2^1430002-1 is not prime. Res64: DC0264E0C76D13C8 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:19:11] 833*2^1430002-1 is not prime. Res64: FF937A7A0C754FCC Time : 0.0 sec. user=mdettweiler [2016-05-22 11:19:11] 843*2^1430002-1 is not prime. Res64: 5B25291E8A9707D1 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:19:12] 615*2^1430003-1 is not prime. Res64: D04E55FA6B936E12 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:43:45] 675*2^1430003-1 is not prime. Res64: 6559BAB0F439D251 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:43:46] 735*2^1430003-1 is not prime. Res64: 8E34B59FA7772BF2 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:43:46] 741*2^1430003-1 is not prime. Res64: 9E16AB7887B20171 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:43:47] 825*2^1430003-1 is not prime. Res64: 0F873929F7EF417E Time : 0.0 sec. user=mdettweiler [2016-05-22 11:43:47] 829*2^1430003-1 is not prime. Res64: 3900BA79822CE053 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:44:41] 981*2^1430003-1 is not prime. Res64: 1A6685275CC5FE3D Time : 0.0 sec. user=mdettweiler [2016-05-22 11:44:42] 605*2^1430004-1 is not prime. Res64: C7DD0D117C66DD90 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:44:42] 609*2^1430004-1 is not prime. Res64: 0B6EBD6F982CADBC Time : 0.0 sec. user=mdettweiler [2016-05-22 11:44:43] 663*2^1430004-1 is not prime. Res64: 258785BC13B5340C Time : 0.0 sec. user=mdettweiler [2016-05-22 11:44:43] 723*2^1430004-1 is not prime. Res64: 4675F9B549F8F19F Time : 0.0 sec. user=mdettweiler [2016-05-22 11:45:55] 737*2^1430004-1 is not prime. Res64: CD87BD95FC30BDB2 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:45:55] 675*2^1430005-1 is not prime. Res64: 2AACC45D59386D95 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:45:56] 717*2^1430005-1 is not prime. Res64: F62E2B40910C047D Time : 0.0 sec. user=mdettweiler [2016-05-22 11:45:56] 729*2^1430005-1 is not prime. Res64: 500D30FC5D23C90A Time : 0.0 sec. user=mdettweiler [2016-05-22 11:45:57] 765*2^1430005-1 is not prime. Res64: 66897B2EA6C4B66F Time : 0.0 sec. user=mdettweiler [2016-05-22 12:07:30] 861*2^1430005-1 is not prime. Res64: E0797800C7B3ED43 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:07:31] 979*2^1430005-1 is not prime. Res64: FBA3F05AF38DC2AC Time : 0.0 sec. user=mdettweiler [2016-05-22 12:07:31] 603*2^1430006-1 is not prime. Res64: 1083692C70C64C12 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:07:32] 615*2^1430006-1 is not prime. Res64: 956FD943D59832C5 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:07:32] 815*2^1430006-1 is not prime. Res64: 2F8C536A0EDC9A23 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:29:37] 873*2^1430006-1 is not prime. Res64: 4BD6997F764D9472 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:29:37] 875*2^1430006-1 is not prime. Res64: 15008EAFB5C03F07 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:29:38] 651*2^1430007-1 is not prime. Res64: BB601DBDC1107E7E Time : 0.0 sec. user=mdettweiler [2016-05-22 12:29:39] 951*2^1430007-1 is not prime. Res64: 33A779FF40C56763 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:29:39] 695*2^1430008-1 is not prime. Res64: A48E829E89DDA9E8 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:30:41] 723*2^1430008-1 is not prime. Res64: 5FE82A20C418FA95 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:30:42] 797*2^1430008-1 is not prime. Res64: AF7606E4D6107F31 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:30:42] 803*2^1430008-1 is not prime. Res64: E3CD69A3CCF0F025 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:30:43] 849*2^1430008-1 is not prime. Res64: 2B51B86F7EBA2CBB Time : 0.0 sec. user=mdettweiler [2016-05-22 12:30:44] 947*2^1430008-1 is not prime. Res64: ED2489C2B5EF56C3 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:31:45] 975*2^1430008-1 is not prime. Res64: 83D37D3CF9C28732 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:31:46] 657*2^1430009-1 is not prime. Res64: 169B83448C358C93 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:31:46] 675*2^1430009-1 is not prime. Res64: 5713CF12D30A5CC1 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:31:47] 771*2^1430009-1 is not prime. Res64: 977F9447CDB6CAD1 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:31:47] 879*2^1430009-1 is not prime. Res64: E5487F5FDDECD91F Time : 0.0 sec. user=mdettweiler [2016-05-22 12:53:52] 627*2^1430010-1 is not prime. Res64: 33749B6CD346F6D1 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:53:53] 641*2^1430010-1 is not prime. Res64: BA436D7D6439864D Time : 0.0 sec. user=mdettweiler [2016-05-22 12:53:53] 657*2^1430010-1 is not prime. Res64: CF66794EB3B7FE2C Time : 0.0 sec. user=mdettweiler [2016-05-22 12:53:54] 717*2^1430010-1 is not prime. Res64: 53C2601B9D09B045 Time : 0.0 sec. user=mdettweiler [2016-05-22 12:53:54] 891*2^1430010-1 is not prime. Res64: 1556A6364722CCC8 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:16:27] 601*2^1430011-1 is not prime. Res64: 7301F5E66A2CE15D Time : 0.0 sec. user=mdettweiler [2016-05-22 13:16:28] 619*2^1430011-1 is not prime. Res64: 1225BED22A73F1D4 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:16:28] 625*2^1430011-1 is not prime. Res64: 0AEB50FCFA86BCFA Time : 0.0 sec. user=mdettweiler [2016-05-22 13:16:29] 843*2^1430011-1 is not prime. Res64: 793BCD3B6E8A87DA Time : 0.0 sec. user=mdettweiler [2016-05-22 13:16:29] 975*2^1430011-1 is not prime. Res64: 7FF9BFBE295A76E9 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:17:03] 603*2^1430012-1 is not prime. Res64: 8A04AF5B4F45449B Time : 0.0 sec. user=mdettweiler [2016-05-22 13:17:03] 623*2^1430012-1 is not prime. Res64: DD47D9942C6341A4 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:17:04] 753*2^1430012-1 is not prime. Res64: 9B68AD2ED6DB12AE Time : 0.0 sec. user=mdettweiler [2016-05-22 13:17:04] 767*2^1430012-1 is not prime. Res64: 02D557C0787AE1A3 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:17:04] 819*2^1430012-1 is not prime. Res64: F5C89BE5EBD5D1B2 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:18:00] 855*2^1430012-1 is not prime. Res64: 3C95B83D03D7104A Time : 0.0 sec. user=mdettweiler [2016-05-22 13:18:01] 903*2^1430012-1 is not prime. Res64: 923D4644675286E3 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:18:01] 959*2^1430012-1 is not prime. Res64: 75F8550AEFE1CFAE Time : 0.0 sec. user=mdettweiler [2016-05-22 13:18:01] 963*2^1430012-1 is not prime. Res64: 774E3202F3418C40 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:18:02] 983*2^1430012-1 is not prime. Res64: C05634842444DCD6 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:41:36] 999*2^1430012-1 is not prime. Res64: 45259A4499215F38 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:41:36] 735*2^1430013-1 is not prime. Res64: 288AB51EB74B3508 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:41:37] 745*2^1430013-1 is not prime. Res64: 8D7CBFCD07BD65A9 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:41:37] 919*2^1430013-1 is not prime. Res64: BFAE335760F7E983 Time : 0.0 sec. user=mdettweiler [2016-05-22 13:41:37] 937*2^1430013-1 is not prime. Res64: C6A81E856B121EC5 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:20] 679*2^1430015-1 is not prime. Res64: E4ED047141C68DCF Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:21] 739*2^1430015-1 is not prime. Res64: 703C9F99C48248AA Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:22] 741*2^1430015-1 is not prime. Res64: 88E98D46A750F224 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:24] 753*2^1430015-1 is not prime. Res64: B4FF73A661767809 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:26] 951*2^1430013-1 is not prime. Res64: 54B82B0631E1031F Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:27] 855*2^1430015-1 is not prime. Res64: CEDBDCB31AD480B7 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:28] 961*2^1430013-1 is not prime. Res64: 178E484082F4F094 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:30] 987*2^1430013-1 is not prime. Res64: C27AF99D9EF7B0C0 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:32] 657*2^1430014-1 is not prime. Res64: E0066461DBBACB0A Time : 0.0 sec. user=mdettweiler [2016-05-22 14:04:34] 663*2^1430015-1 is not prime. Res64: 762C7E8E2BD9C8BA Time : 0.0 sec. user=mdettweiler [2016-05-22 14:05:52] 939*2^1430015-1 is not prime. Res64: A1FBAD365C40CD62 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:05:54] 635*2^1430016-1 is not prime. Res64: 9E129937FB9DF2AD Time : 0.0 sec. user=mdettweiler [2016-05-22 14:05:56] 837*2^1430016-1 is not prime. Res64: 8554A5C1360254C2 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:05:57] 887*2^1430016-1 is not prime. Res64: 3D01468209E144F8 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:05:59] 909*2^1430016-1 is not prime. Res64: 8F1783B0D08CE6A2 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:26:52] 933*2^1430016-1 is not prime. Res64: 17B761449D88BA7A Time : 0.0 sec. user=mdettweiler [2016-05-22 14:26:52] 747*2^1430017-1 is not prime. Res64: E911553BE22810D5 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:26:53] 751*2^1430017-1 is not prime. Res64: 664BA5EC24D03B4C Time : 0.0 sec. user=mdettweiler [2016-05-22 14:26:53] 801*2^1430017-1 is not prime. Res64: 097850B1D4F0C23E Time : 0.0 sec. user=mdettweiler [2016-05-22 14:26:54] 805*2^1430017-1 is not prime. Res64: 79517B2B38CE11E3 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:49:55] 835*2^1430017-1 is not prime. Res64: 2BE3F8D804E44B62 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:49:55] 895*2^1430017-1 is not prime. Res64: 0D2227F07C0C1E22 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:49:56] 955*2^1430017-1 is not prime. Res64: 1870701D36D5BDD9 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:49:56] 957*2^1430017-1 is not prime. Res64: 81086B1C9F854015 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:49:57] 985*2^1430017-1 is not prime. Res64: 1591CBD92070F5DB Time : 0.0 sec. user=mdettweiler [2016-05-22 14:50:17] 603*2^1430018-1 is not prime. Res64: EDCB5AFE9C600301 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:50:17] 605*2^1430018-1 is not prime. Res64: 5512837A6781B797 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:50:18] 665*2^1430018-1 is not prime. Res64: 98FEB828FB7195BB Time : 0.0 sec. user=mdettweiler [2016-05-22 14:50:18] 713*2^1430018-1 is not prime. Res64: 627E05884819E126 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:50:19] 731*2^1430018-1 is not prime. Res64: 9F65CFB5FCEF47F0 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:51:24] 791*2^1430018-1 is not prime. Res64: 566D2210D11FF154 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:51:24] 885*2^1430018-1 is not prime. Res64: 5A78764FA71152E5 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:51:24] 609*2^1430019-1 is not prime. Res64: 8E114176259AC9B9 Time : 0.0 sec. user=mdettweiler [2016-05-22 14:51:25] 829*2^1430019-1 is not prime. Res64: AC392749D601F54A Time : 0.0 sec. user=mdettweiler [2016-05-22 14:51:25] 885*2^1430019-1 is not prime. Res64: 0CDDF89B160F3BF5 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:12:11] 961*2^1430019-1 is not prime. Res64: F9914C63531D4858 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:12:12] 975*2^1430019-1 is not prime. Res64: D451A956C39D5080 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:12:12] 979*2^1430019-1 is not prime. Res64: 098E2CC9C2CF7883 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:12:13] 623*2^1430020-1 is not prime. Res64: C12EE219C01BA44F Time : 0.0 sec. user=mdettweiler [2016-05-22 15:12:13] 635*2^1430020-1 is not prime. Res64: DCDEA72561523E43 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:04] 647*2^1430020-1 is not prime. Res64: 193112EB17D8EAD2 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:05] 813*2^1430020-1 is not prime. Res64: 1693D586B66D81E0 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:05] 819*2^1430020-1 is not prime. Res64: 33A8F5294F4905E3 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:05] 839*2^1430020-1 is not prime. Res64: EEED1DCF07D6912D Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:06] 873*2^1430020-1 is not prime. Res64: EC63DE8FB78430CF Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:26] 975*2^1430020-1 is not prime. Res64: 7B41A68BB27ED6A5 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:26] 987*2^1430020-1 is not prime. Res64: C0C2D10F8CDFE31A Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:27] 711*2^1430021-1 is not prime. Res64: F3943DE76F432623 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:27] 789*2^1430021-1 is not prime. Res64: C2EDC20B0A3574E9 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:35:27] 825*2^1430021-1 is not prime. Res64: B244DAE87BADA5A2 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:36:37] 829*2^1430021-1 is not prime. Res64: A8940C1F47BD39BD Time : 0.0 sec. user=mdettweiler [2016-05-22 15:36:37] 955*2^1430021-1 is not prime. Res64: 5A58AB0F6847332A Time : 0.0 sec. user=mdettweiler [2016-05-22 15:36:38] 621*2^1430022-1 is not prime. Res64: 7D0941DA09F11134 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:36:38] 635*2^1430022-1 is not prime. Res64: 40C48B57FBBCBB99 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:36:38] 717*2^1430022-1 is not prime. Res64: 0CCF1811FA88B053 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:57:28] 791*2^1430022-1 is not prime. Res64: FC4B64D328A1343B Time : 0.0 sec. user=mdettweiler [2016-05-22 15:57:28] 947*2^1430022-1 is not prime. Res64: 506AA7D3C16BAC20 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:57:29] 603*2^1430023-1 is not prime. Res64: DA0BB0CBCE4E13AA Time : 0.0 sec. user=mdettweiler [2016-05-22 15:57:29] 703*2^1430023-1 is not prime. Res64: B5A7D8FF21B5B027 Time : 0.0 sec. user=mdettweiler [2016-05-22 15:57:30] 729*2^1430023-1 is not prime. Res64: 269C5499D0930CB2 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:22] 805*2^1430023-1 is not prime. Res64: 076F215B12C21A18 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:22] 855*2^1430023-1 is not prime. Res64: 4AB68D6B6116B524 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:23] 891*2^1430023-1 is not prime. Res64: 345A562C1D4F0EF8 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:23] 915*2^1430023-1 is not prime. Res64: 02E876986ABD00BE Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:24] 663*2^1430024-1 is not prime. Res64: 535F4DA187621922 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:37] 683*2^1430024-1 is not prime. Res64: 2A6FFB13232A19C8 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:38] 747*2^1430024-1 is not prime. Res64: 0FBA7470D77C74F0 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:38] 755*2^1430024-1 is not prime. Res64: 2F46557545997A57 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:39] 767*2^1430024-1 is not prime. Res64: 8DAE985929249A8D Time : 0.0 sec. user=mdettweiler [2016-05-22 16:20:39] 785*2^1430024-1 is not prime. Res64: DD6FC3AB7FC38A33 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:21:51] 993*2^1430024-1 is not prime. Res64: 4EA56DF766758C09 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:21:51] 679*2^1430025-1 is not prime. Res64: 2CBE1166C4F0414C Time : 0.0 sec. user=mdettweiler [2016-05-22 16:21:52] 709*2^1430025-1 is not prime. Res64: CDFE673BBC011A5B Time : 0.0 sec. user=mdettweiler [2016-05-22 16:21:52] 721*2^1430025-1 is not prime. Res64: 66D9BBD369108526 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:21:52] 795*2^1430025-1 is not prime. Res64: B47C7BCA57406652 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:42:45] 951*2^1430025-1 is not prime. Res64: AABB9CCF68C0EA12 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:42:46] 647*2^1430026-1 is not prime. Res64: 2EDBDE3B2BFC2F67 Time : 0.0 sec. user=mdettweiler [2016-05-22 16:42:46] 695*2^1430026-1 is not prime. Res64: 7A0BBA53DD3A6E6E Time : 0.0 sec. user=mdettweiler [2016-05-22 16:42:47] 701*2^1430026-1 is not prime. Res64: 51399A4DB182701B Time : 0.0 sec. user=mdettweiler [2016-05-22 16:42:47] 713*2^1430026-1 is not prime. Res64: 617268FDB1968DCD Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:43] 743*2^1430026-1 is not prime. Res64: DCD112C2EC845B6F Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:44] 773*2^1430026-1 is not prime. Res64: 3AAEA2015D54F9F8 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:45] 777*2^1430026-1 is not prime. Res64: 6E93F11DCAB3B947 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:47] 873*2^1430026-1 is not prime. Res64: 196E3EB3FD38501F Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:48] 957*2^1430026-1 is not prime. Res64: 68D68E3DE14C833B Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:49] 881*2^1430026-1 is not prime. Res64: FB8E0B96895826E0 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:49] 983*2^1430026-1 is not prime. Res64: 8B0E3759C59FDFD0 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:50] 993*2^1430026-1 is not prime. Res64: 90739A1D831C6615 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:52] 645*2^1430027-1 is not prime. Res64: 823D47B0DBE731C6 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:05:53] 759*2^1430027-1 is not prime. Res64: DFEBC55BF6E54610 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:07:01] 843*2^1430027-1 is not prime. Res64: 9F3360B3C652D56C Time : 0.0 sec. user=mdettweiler [2016-05-22 17:07:02] 859*2^1430027-1 is not prime. Res64: BEF1FBB110486043 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:07:02] 889*2^1430027-1 is not prime. Res64: 38186C4D6032D20D Time : 0.0 sec. user=mdettweiler [2016-05-22 17:07:03] 981*2^1430027-1 is not prime. Res64: 2D7E01CD1B76D7BA Time : 0.0 sec. user=mdettweiler [2016-05-22 17:07:03] 669*2^1430028-1 is not prime. Res64: 441D765EF1ECC581 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:27:58] 725*2^1430028-1 is not prime. Res64: 41B1BF3CE3CB4AFB Time : 0.0 sec. user=mdettweiler [2016-05-22 17:27:58] 753*2^1430028-1 is not prime. Res64: DDDD7C753914F3F9 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:27:59] 809*2^1430028-1 is not prime. Res64: 34862E1A10638D5F Time : 0.0 sec. user=mdettweiler [2016-05-22 17:27:59] 819*2^1430028-1 is not prime. Res64: E25340F5DF0116D9 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:28:00] 935*2^1430028-1 is not prime. Res64: 479C87B9E925CE60 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:21] 959*2^1430028-1 is not prime. Res64: 3CD796A651A808A0 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:22] 969*2^1430028-1 is not prime. Res64: FBF697BE70B2B8AF Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:22] 609*2^1430029-1 is not prime. Res64: C71EA36E3A0D50CC Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:23] 795*2^1430030-1 is not prime. Res64: CED1445014A3FD71 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:23] 875*2^1430030-1 is not prime. Res64: 1B0264EC41F27BD6 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:29] 699*2^1430029-1 is not prime. Res64: 2BB4D534591F9A01 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:29] 769*2^1430029-1 is not prime. Res64: B55E9375DC929A1B Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:30] 829*2^1430029-1 is not prime. Res64: 1F67D967ACA1CE03 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:30] 855*2^1430029-1 is not prime. Res64: F66AF16E8BBFB3D8 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:51:31] 961*2^1430029-1 is not prime. Res64: 27D590AA3363CD03 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:52:10] 935*2^1430030-1 is not prime. Res64: 709CED73C3690E9F Time : 0.0 sec. user=mdettweiler [2016-05-22 17:52:10] 691*2^1430031-1 is not prime. Res64: A6637058CC0CD20F Time : 0.0 sec. user=mdettweiler [2016-05-22 17:52:11] 793*2^1430031-1 is not prime. Res64: EE3C7229C4C997AF Time : 0.0 sec. user=mdettweiler [2016-05-22 17:52:11] 871*2^1430031-1 is not prime. Res64: 37197AC355CEFEB4 Time : 0.0 sec. user=mdettweiler [2016-05-22 17:52:12] 653*2^1430032-1 is not prime. Res64: CC76CD1A0861EF1F Time : 0.0 sec. user=mdettweiler [2016-05-22 18:12:59] 687*2^1430032-1 is not prime. Res64: 80CCC08F30F6F162 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:13:00] 897*2^1430032-1 is not prime. Res64: 13FA27E7AB96C862 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:13:00] 619*2^1430033-1 is not prime. Res64: 3C528294EF5D7259 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:13:01] 675*2^1430033-1 is not prime. Res64: B23362335AE060A9 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:13:01] 729*2^1430033-1 is not prime. Res64: BF080E9744F1B2A1 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:23] 769*2^1430033-1 is not prime. Res64: 9CA811C85C3F3CC4 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:23] 775*2^1430033-1 is not prime. Res64: 591A56469A71C800 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:24] 867*2^1430033-1 is not prime. Res64: 6F5D0C2AEC0F2DC7 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:24] 987*2^1430033-1 is not prime. Res64: D75BC6068FD810E1 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:25] 611*2^1430034-1 is not prime. Res64: 5EBA2B9978740810 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:26] 663*2^1430034-1 is not prime. Res64: 735B231FB4805F85 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:26] 755*2^1430034-1 is not prime. Res64: 72C2A528ADFF0EEF Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:27] 807*2^1430034-1 is not prime. Res64: EEC16426429E6FAF Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:27] 837*2^1430034-1 is not prime. Res64: 930E5E9E359201B2 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:36:27] 851*2^1430034-1 is not prime. Res64: 1A786FE2DF277FAE Time : 0.0 sec. user=mdettweiler [2016-05-22 18:37:18] 873*2^1430034-1 is not prime. Res64: A10B0ADF2847C5CB Time : 0.0 sec. user=mdettweiler [2016-05-22 18:37:19] 887*2^1430034-1 is not prime. Res64: 57B8C8D2361A1AF9 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:37:19] 917*2^1430034-1 is not prime. Res64: 8F36F9982E89011D Time : 0.0 sec. user=mdettweiler [2016-05-22 18:37:19] 941*2^1430034-1 is not prime. Res64: 8F05417D1AA1770F Time : 0.0 sec. user=mdettweiler [2016-05-22 18:37:20] 609*2^1430035-1 is not prime. Res64: 8AD4EE19D6B6141C Time : 0.0 sec. user=mdettweiler [2016-05-22 18:58:06] 633*2^1430035-1 is not prime. Res64: 195B3D2F1DB371FC Time : 0.0 sec. user=mdettweiler [2016-05-22 18:58:06] 645*2^1430035-1 is not prime. Res64: D55FD7A0AD60B186 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:58:07] 679*2^1430035-1 is not prime. Res64: 9D1FAF3D2DB75216 Time : 0.0 sec. user=mdettweiler [2016-05-22 18:58:07] 723*2^1430035-1 is not prime. Res64: 414CE8FB54FD97FE Time : 0.0 sec. user=mdettweiler [2016-05-22 18:58:07] 843*2^1430035-1 is not prime. Res64: EAF299FCE1134D97 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:18] 825*2^1430036-1 is not prime. Res64: DC775048AD19894F Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:19] 843*2^1430036-1 is not prime. Res64: 06215362E4D46D1E Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:19] 875*2^1430036-1 is not prime. Res64: 8578398C07D05483 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:20] 957*2^1430036-1 is not prime. Res64: 1DD25FE5A79343BA Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:20] 963*2^1430036-1 is not prime. Res64: C85864174A5C6566 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:32] 859*2^1430035-1 is not prime. Res64: 9FFE2846455AE7B9 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:33] 883*2^1430035-1 is not prime. Res64: FC4A719387E6FF25 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:33] 961*2^1430035-1 is not prime. Res64: CC51A88991C15C4F Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:34] 999*2^1430035-1 is not prime. Res64: DFEDCE206AFEDBE5 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:21:34] 617*2^1430036-1 is not prime. Res64: 2092FF847DA14A1C Time : 0.0 sec. user=mdettweiler [2016-05-22 19:22:22] 639*2^1430037-1 is not prime. Res64: 53D72DC230E4D3AD Time : 0.0 sec. user=mdettweiler [2016-05-22 19:22:22] 655*2^1430037-1 is not prime. Res64: 3A613A2AE6EC5301 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:22:23] 699*2^1430037-1 is not prime. Res64: 71B5607403E84E3F Time : 0.0 sec. user=mdettweiler [2016-05-22 19:22:23] 711*2^1430037-1 is not prime. Res64: 76BAEA1168DBE891 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:22:23] 747*2^1430037-1 is not prime. Res64: 986E34BE71AF1D3E Time : 0.0 sec. user=mdettweiler [2016-05-22 19:43:04] 765*2^1430037-1 is not prime. Res64: B7597353D5262A2F Time : 0.0 sec. user=mdettweiler [2016-05-22 19:43:04] 781*2^1430037-1 is not prime. Res64: 0E7DED4BB742CE8F Time : 0.0 sec. user=mdettweiler [2016-05-22 19:43:04] 829*2^1430037-1 is not prime. Res64: 50B5F8F76CAB4773 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:43:05] 837*2^1430037-1 is not prime. Res64: 489AD9324B629A66 Time : 0.0 sec. user=mdettweiler [2016-05-22 19:43:06] 847*2^1430037-1 is not prime. Res64: EEE63DF7A8A0D3F5 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:40] 647*2^1430038-1 is not prime. Res64: 7BD645163FA51CE0 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:40] 849*2^1430037-1 is not prime. Res64: 3F5A86A55E26BB74 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:41] 827*2^1430038-1 is not prime. Res64: A21412112EFB43CD Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:41] 867*2^1430037-1 is not prime. Res64: 9FF131D2098C687A Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:41] 951*2^1430038-1 is not prime. Res64: B11018CBC1D4B217 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:41] 985*2^1430037-1 is not prime. Res64: 27A70C9DD7813A1A Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:42] 615*2^1430039-1 is not prime. Res64: A9FB82D3C3B565BF Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:42] 991*2^1430037-1 is not prime. Res64: F439FB628B23DC17 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:42] 633*2^1430039-1 is not prime. Res64: 0FF93CFBB225F55C Time : 0.0 sec. user=mdettweiler [2016-05-22 20:06:42] 997*2^1430037-1 is not prime. Res64: 1A2348C64D7A3225 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:07:31] 675*2^1430039-1 is not prime. Res64: 27C09EC30915808C Time : 0.0 sec. user=mdettweiler [2016-05-22 20:07:32] 703*2^1430039-1 is not prime. Res64: A4484E4BE81354BD Time : 0.0 sec. user=mdettweiler [2016-05-22 20:07:32] 865*2^1430039-1 is not prime. Res64: C143FC60B729FA4C Time : 0.0 sec. user=mdettweiler [2016-05-22 20:07:33] 629*2^1430040-1 is not prime. Res64: EBDB87499AF1DFF0 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:07:33] 725*2^1430040-1 is not prime. Res64: D615BC3DED8F1BFA Time : 0.0 sec. user=mdettweiler [2016-05-22 20:28:09] 735*2^1430040-1 is not prime. Res64: 47D0319E46DEDE9F Time : 0.0 sec. user=mdettweiler [2016-05-22 20:28:09] 779*2^1430040-1 is not prime. Res64: D3C49C549CBA0911 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:28:10] 809*2^1430040-1 is not prime. Res64: 880FF6B53F0DBB09 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:28:10] 927*2^1430040-1 is not prime. Res64: 2C04BD529B9111D4 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:28:11] 649*2^1430041-1 is not prime. Res64: 082F00AC41024F00 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:51] 791*2^1430042-1 is not prime. Res64: 4A121352944052AA Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:51] 825*2^1430042-1 is not prime. Res64: E178E43484BB240C Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:52] 827*2^1430042-1 is not prime. Res64: C594C4A4E81AB927 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:52] 963*2^1430042-1 is not prime. Res64: 5DE57E5552D5CC47 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:52] 699*2^1430043-1 is not prime. Res64: 8B5B0F3E590756A8 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:54] 687*2^1430041-1 is not prime. Res64: F618F87E80556E44 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:54] 789*2^1430041-1 is not prime. Res64: B6B9181AF6F58917 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:55] 805*2^1430041-1 is not prime. Res64: 04C66873176DA3A9 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:55] 861*2^1430041-1 is not prime. Res64: C7146830B176481C Time : 0.0 sec. user=mdettweiler [2016-05-22 20:51:56] 645*2^1430042-1 is not prime. Res64: D68AEEDDF46E0014 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:52:53] 705*2^1430043-1 is not prime. Res64: 29E57B4CB1759DA0 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:52:53] 741*2^1430043-1 is not prime. Res64: 01EA30F0BD8D2FE2 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:52:53] 873*2^1430043-1 is not prime. Res64: 8CC07562FAD68DAC Time : 0.0 sec. user=mdettweiler [2016-05-22 20:52:54] 921*2^1430043-1 is not prime. Res64: 6E807E6224F79639 Time : 0.0 sec. user=mdettweiler [2016-05-22 20:52:54] 943*2^1430043-1 is not prime. Res64: BA26FAD800723DB6 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:13:06] 969*2^1430043-1 is not prime. Res64: 325504B4B83AC68E Time : 0.0 sec. user=mdettweiler [2016-05-22 21:13:07] 863*2^1430044-1 is not prime. Res64: ED15990BF9C95B2D Time : 0.0 sec. user=mdettweiler [2016-05-22 21:13:07] 959*2^1430044-1 is not prime. Res64: FACB0681AF6810C5 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:13:08] 607*2^1430045-1 is not prime. Res64: C9D70F60D4B7C509 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:13:08] 759*2^1430045-1 is not prime. Res64: 332B7801FD9E0438 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:36:48] 641*2^1430046-1 is not prime. Res64: BA6BB5AB89AA8E26 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:36:48] 677*2^1430046-1 is not prime. Res64: AC2A5611852E2243 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:36:49] 713*2^1430046-1 is not prime. Res64: A75132EF8D715994 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:36:49] 861*2^1430046-1 is not prime. Res64: 15AEC33FB007B5DB Time : 0.0 sec. user=mdettweiler [2016-05-22 21:36:50] 917*2^1430046-1 is not prime. Res64: 45833F64298B1C0F Time : 0.0 sec. user=mdettweiler [2016-05-22 21:37:06] 619*2^1430047-1 is not prime. Res64: 535DD758DBA68AF8 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:37:06] 843*2^1430047-1 is not prime. Res64: 4F01D30835D485AA Time : 0.0 sec. user=mdettweiler [2016-05-22 21:37:06] 909*2^1430047-1 is not prime. Res64: F7E23FF77B1E2F9C Time : 0.0 sec. user=mdettweiler [2016-05-22 21:37:07] 915*2^1430047-1 is not prime. Res64: DF31E12E9B3B442C Time : 0.0 sec. user=mdettweiler [2016-05-22 21:37:07] 919*2^1430047-1 is not prime. Res64: 3CC6871C12D783FC Time : 0.0 sec. user=mdettweiler [2016-05-22 21:38:07] 925*2^1430047-1 is not prime. Res64: 4195ED860BD25960 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:38:08] 961*2^1430047-1 is not prime. Res64: 23C4A8EF31D9CFA2 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:38:08] 677*2^1430048-1 is not prime. Res64: 9F6B9235D888D481 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:38:09] 773*2^1430048-1 is not prime. Res64: 59C631DEE523D232 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:38:09] 777*2^1430048-1 is not prime. Res64: C3935A0754FC5B31 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:58:23] 843*2^1430048-1 is not prime. Res64: AEF3BEEDBE8C59E2 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:58:23] 867*2^1430048-1 is not prime. Res64: C15E526896C7A8DC Time : 0.0 sec. user=mdettweiler [2016-05-22 21:58:24] 909*2^1430048-1 is not prime. Res64: A71B4EFDCA5E5528 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:58:24] 915*2^1430048-1 is not prime. Res64: B1EEB63756454300 Time : 0.0 sec. user=mdettweiler [2016-05-22 21:58:25] 935*2^1430048-1 is not prime. Res64: E31A43F9C17FBC30 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:21:44] 691*2^1430049-1 is not prime. Res64: B7E340F14580FDAC Time : 0.0 sec. user=mdettweiler [2016-05-22 22:21:44] 741*2^1430049-1 is not prime. Res64: EF9DE73CBAEC2830 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:21:45] 787*2^1430049-1 is not prime. Res64: 8BDB6526D5D69595 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:21:45] 817*2^1430049-1 is not prime. Res64: 59B6146F93FA2568 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:21:46] 949*2^1430049-1 is not prime. Res64: 091D2420E24FC6F9 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:22:14] 969*2^1430049-1 is not prime. Res64: 4D9E0A78161B1E83 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:22:15] 975*2^1430049-1 is not prime. Res64: 957B30DDB7AA8731 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:22:15] 645*2^1430050-1 is not prime. Res64: FBBD39D7D14D3442 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:22:15] 735*2^1430050-1 is not prime. Res64: CDFA1F1AD8281781 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:22:16] 827*2^1430050-1 is not prime. Res64: 56C28A9E47797F34 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:23:02] 843*2^1430050-1 is not prime. Res64: 161473E4ABF8EDF1 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:23:03] 887*2^1430050-1 is not prime. Res64: DA9E813227F9A343 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:23:03] 603*2^1430051-1 is not prime. Res64: 76654324420FA380 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:23:03] 715*2^1430051-1 is not prime. Res64: 32CED5EDAC4D4278 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:23:04] 759*2^1430051-1 is not prime. Res64: 80A664709B4430BC Time : 0.0 sec. user=mdettweiler [2016-05-22 22:43:27] 783*2^1430051-1 is not prime. Res64: B9FEABE735DB40C4 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:43:28] 811*2^1430051-1 is not prime. Res64: F2A48ADDFAA082BC Time : 0.0 sec. user=mdettweiler [2016-05-22 22:43:28] 895*2^1430051-1 is not prime. Res64: CA410E5B0ED94FB0 Time : 0.0 sec. user=mdettweiler [2016-05-22 22:43:28] 979*2^1430051-1 is not prime. Res64: 671291A08224030B Time : 0.0 sec. user=mdettweiler [2016-05-22 22:43:29] 653*2^1430052-1 is not prime. Res64: 5A92FE7F07A0A451 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:06:53] 873*2^1430052-1 is not prime. Res64: B47C8B07170786C5 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:06:53] 977*2^1430052-1 is not prime. Res64: F6D8F0BA728C663D Time : 0.0 sec. user=mdettweiler [2016-05-22 23:06:54] 615*2^1430053-1 is not prime. Res64: DA55B3CE671B88F4 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:06:54] 691*2^1430053-1 is not prime. Res64: AAD5CFE920A27438 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:06:55] 819*2^1430053-1 is not prime. Res64: F889B8A9327FA06B Time : 0.0 sec. user=mdettweiler [2016-05-22 23:07:03] 915*2^1430053-1 is not prime. Res64: E8F81EEF01261314 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:07:04] 711*2^1430054-1 is not prime. Res64: AE4911177DAD4C0B Time : 0.0 sec. user=mdettweiler [2016-05-22 23:07:05] 625*2^1430055-1 is not prime. Res64: DC2DDA6FC7F00D60 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:07:05] 693*2^1430055-1 is not prime. Res64: 98B4DDAEB55EC2CA Time : 0.0 sec. user=mdettweiler [2016-05-22 23:07:06] 741*2^1430055-1 is not prime. Res64: A0D277D482D61A4D Time : 0.0 sec. user=mdettweiler [2016-05-22 23:08:02] 781*2^1430055-1 is not prime. Res64: 478B0B1F023D9C43 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:08:02] 823*2^1430055-1 is not prime. Res64: 009B993E01E6547F Time : 0.0 sec. user=mdettweiler [2016-05-22 23:08:03] 853*2^1430055-1 is not prime. Res64: 5333254F76DBFA66 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:08:03] 609*2^1430056-1 is not prime. Res64: 542F302E0248FCF8 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:08:03] 629*2^1430056-1 is not prime. Res64: D6AC36533D1ECAA9 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:28:29] 743*2^1430056-1 is not prime. Res64: 90E85E275B50DDA3 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:28:29] 755*2^1430056-1 is not prime. Res64: 1E9DDED3AE1BDCC9 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:28:30] 899*2^1430056-1 is not prime. Res64: D071BBA90488EE4A Time : 0.0 sec. user=mdettweiler [2016-05-22 23:28:30] 905*2^1430056-1 is not prime. Res64: 67457212F677568B Time : 0.0 sec. user=mdettweiler [2016-05-22 23:28:31] 923*2^1430056-1 is not prime. Res64: 82C93ECF7C032BA5 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:51] 983*2^1430056-1 is not prime. Res64: F428B2361DC51AFD Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:51] 909*2^1430057-1 is not prime. Res64: C9C9ED98ECFF227A Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:52] 619*2^1430057-1 is not prime. Res64: CB409A8D7B20F00F Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:52] 611*2^1430058-1 is not prime. Res64: E5CC1609D268BF24 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:52] 675*2^1430057-1 is not prime. Res64: 5CA96005521CF256 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:52] 621*2^1430058-1 is not prime. Res64: 0C7D755ECDFD6F6A Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:52] 841*2^1430057-1 is not prime. Res64: 30C456E139737EF6 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:53] 681*2^1430058-1 is not prime. Res64: 89DE285125E0B56A Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:53] 861*2^1430057-1 is not prime. Res64: EB750884CA7EF657 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:51:53] 711*2^1430058-1 is not prime. Res64: 7A946D2959057C1F Time : 0.0 sec. user=mdettweiler [2016-05-22 23:52:55] 755*2^1430058-1 is not prime. Res64: DA3F606A1E99575D Time : 0.0 sec. user=mdettweiler [2016-05-22 23:52:56] 773*2^1430058-1 is not prime. Res64: 9FDB061B46E77F70 Time : 0.0 sec. user=mdettweiler [2016-05-22 23:52:56] 993*2^1430058-1 is not prime. Res64: AD2785D9055295FB Time : 0.0 sec. user=mdettweiler [2016-05-22 23:52:57] 639*2^1430059-1 is not prime. Res64: 61A2BB15CA714C7B Time : 0.0 sec. user=mdettweiler [2016-05-22 23:52:57] 771*2^1430059-1 is not prime. Res64: BAB8AB4D97240DDB Time : 0.0 sec.