user=mdettweiler [2016-04-22 00:11:06] 759*2^1426965-1 is not prime. Res64: 8009037ED3C2B580 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:07] 777*2^1426965-1 is not prime. Res64: BF38CBC9E447FA32 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:07] 867*2^1426965-1 is not prime. Res64: C65277F755948706 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:08] 891*2^1426965-1 is not prime. Res64: FD09E2C1DC737EDD Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:08] 921*2^1426965-1 is not prime. Res64: 2DE0C7132A0D6FFF Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:16] 645*2^1426966-1 is not prime. Res64: 5C7E65166FC07F45 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:16] 657*2^1426966-1 is not prime. Res64: D4C650C861C460F0 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:17] 677*2^1426966-1 is not prime. Res64: 305DD691750E365F Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:17] 713*2^1426966-1 is not prime. Res64: BF476E09E1F9DA54 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:11:17] 717*2^1426966-1 is not prime. Res64: BCFFDD0145EF9C16 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:27:45] 933*2^1426966-1 is not prime. Res64: 6476B4242D1F6A9D Time : 0.0 sec. user=mdettweiler [2016-04-22 00:27:46] 669*2^1426967-1 is not prime. Res64: 916B0B9BCD2071F9 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:27:46] 735*2^1426967-1 is not prime. Res64: 613C6004C00FB1A3 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:27:46] 627*2^1426968-1 is not prime. Res64: BA70011D55865E14 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:27:47] 665*2^1426968-1 is not prime. Res64: D8B6CE1F0C96ADB3 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:28:23] 699*2^1426968-1 is not prime. Res64: 9CDBE95678FA1481 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:28:23] 705*2^1426968-1 is not prime. Res64: 777DCA4AB3003F12 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:28:24] 845*2^1426968-1 is not prime. Res64: 89CD6B809136A32D Time : 0.0 sec. user=mdettweiler [2016-04-22 00:28:24] 849*2^1426968-1 is not prime. Res64: CCCC0B13403E5565 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:28:25] 879*2^1426968-1 is not prime. Res64: 3A1CDE10B7D9A9F2 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:22] 829*2^1426969-1 is not prime. Res64: 3CBBD495DF5035AB Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:22] 831*2^1426969-1 is not prime. Res64: 39A3DF30C25452EA Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:22] 635*2^1426970-1 is not prime. Res64: FBDD125FFF786CA2 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:23] 645*2^1426970-1 is not prime. Res64: 27520C8979E54E43 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:23] 675*2^1426970-1 is not prime. Res64: 5D8E8EA33D661B1D Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:30] 923*2^1426968-1 is not prime. Res64: 3CB9B970BE7FEB3B Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:31] 935*2^1426968-1 is not prime. Res64: 31929F17493368F4 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:31] 609*2^1426969-1 is not prime. Res64: 293CB0FC4C3BC9C1 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:31] 765*2^1426969-1 is not prime. Res64: 5890EE6813332E95 Time : 0.0 sec. user=mdettweiler [2016-04-22 00:57:32] 769*2^1426969-1 is not prime. Res64: AFC70AAF264ADF76 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:31] 741*2^1426970-1 is not prime. Res64: BB050ED39CBBBD98 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:32] 743*2^1426970-1 is not prime. Res64: 6E9347236E59CDF2 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:32] 801*2^1426970-1 is not prime. Res64: C94FCB025D48B815 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:33] 813*2^1426970-1 is not prime. Res64: 4963355CC23E900D Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:33] 981*2^1426970-1 is not prime. Res64: 586923AAFBD33FF2 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:53] 651*2^1426971-1 is not prime. Res64: 9FAFB95A2139E5A2 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:53] 739*2^1426971-1 is not prime. Res64: 9AFB19FCA9357FDF Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:54] 741*2^1426971-1 is not prime. Res64: 83F8A62C88084579 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:54] 795*2^1426971-1 is not prime. Res64: 91FC446081EC2256 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:13:55] 823*2^1426971-1 is not prime. Res64: 7B27280AC78E11CE Time : 0.0 sec. user=mdettweiler [2016-04-22 01:42:34] 891*2^1426971-1 is not prime. Res64: DE7916765238A226 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:42:35] 955*2^1426971-1 is not prime. Res64: 4FCB9DA43C7975F1 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:42:35] 617*2^1426972-1 is not prime. Res64: 5F3E6A1B9FCD5964 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:42:35] 723*2^1426972-1 is not prime. Res64: DDC850665C15B695 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:42:36] 803*2^1426972-1 is not prime. Res64: EDD5B0ADDC6425CA Time : 0.0 sec. user=mdettweiler [2016-04-22 01:43:01] 827*2^1426972-1 is not prime. Res64: B8403EF7ACABDF8D Time : 0.0 sec. user=mdettweiler [2016-04-22 01:43:01] 903*2^1426972-1 is not prime. Res64: F700C4A22B7DED4F Time : 0.0 sec. user=mdettweiler [2016-04-22 01:43:02] 959*2^1426972-1 is not prime. Res64: 2408B85A5BF4F178 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:43:02] 965*2^1426972-1 is not prime. Res64: FA6F1EA85F14A53B Time : 0.0 sec. user=mdettweiler [2016-04-22 01:43:03] 607*2^1426973-1 is not prime. Res64: 10001B5544C229FC Time : 0.0 sec. user=mdettweiler [2016-04-22 01:58:56] 615*2^1426973-1 is not prime. Res64: 1423FF5D10137B28 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:58:56] 669*2^1426973-1 is not prime. Res64: 74FD7E9DBF87C55D Time : 0.0 sec. user=mdettweiler [2016-04-22 01:58:57] 685*2^1426973-1 is not prime. Res64: A71521AA80B49597 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:58:57] 721*2^1426973-1 is not prime. Res64: 3619EFFCBCC6EE62 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:58:58] 727*2^1426973-1 is not prime. Res64: B1A16E6C2030289B Time : 0.0 sec. user=mdettweiler [2016-04-22 01:59:20] 729*2^1426973-1 is not prime. Res64: 12DBE32252CD1F3F Time : 0.0 sec. user=mdettweiler [2016-04-22 01:59:20] 735*2^1426973-1 is not prime. Res64: 2029F02D55A74578 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:59:21] 775*2^1426973-1 is not prime. Res64: A0B88815C68376B1 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:59:21] 781*2^1426973-1 is not prime. Res64: 6C339BDCBA81E2B6 Time : 0.0 sec. user=mdettweiler [2016-04-22 01:59:21] 861*2^1426973-1 is not prime. Res64: 3D714E2496BA4394 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:27:38] 937*2^1426973-1 is not prime. Res64: 83B50E06B28BE1B3 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:27:39] 955*2^1426973-1 is not prime. Res64: 2A9EC95E970EDCE7 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:27:40] 663*2^1426974-1 is not prime. Res64: C611A04E67AFE939 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:27:41] 723*2^1426974-1 is not prime. Res64: F0748B4087CB4BD9 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:27:42] 815*2^1426974-1 is not prime. Res64: 43EDDC69E511D704 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:28:08] 917*2^1426974-1 is not prime. Res64: 7A1D69642E9AAEED Time : 0.0 sec. user=mdettweiler [2016-04-22 02:28:09] 965*2^1426974-1 is not prime. Res64: B8B1EF70B8CFBFC5 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:28:10] 603*2^1426975-1 is not prime. Res64: 7092290D0CC2D06B Time : 0.0 sec. user=mdettweiler [2016-04-22 02:28:10] 633*2^1426975-1 is not prime. Res64: 19380E6371C82F8F Time : 0.0 sec. user=mdettweiler [2016-04-22 02:28:11] 651*2^1426975-1 is not prime. Res64: F207D334847F2281 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:08] 715*2^1426975-1 is not prime. Res64: 7EFABF0B97AABCCC Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:09] 765*2^1426975-1 is not prime. Res64: D4B6F83B935D85B4 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:09] 843*2^1426975-1 is not prime. Res64: 7B49F89A2C493795 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:10] 853*2^1426975-1 is not prime. Res64: 0089DD54D162496F Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:10] 871*2^1426975-1 is not prime. Res64: 2625B93D9F4F6FCC Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:21] 617*2^1426976-1 is not prime. Res64: 541AD616635E7B0C Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:22] 683*2^1426976-1 is not prime. Res64: 0F22CD6EC8705EF4 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:22] 743*2^1426976-1 is not prime. Res64: B84A9197B1B58EC0 Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:22] 875*2^1426976-1 is not prime. Res64: 4CDB3B6860D5CD4A Time : 0.0 sec. user=mdettweiler [2016-04-22 02:44:23] 923*2^1426976-1 is not prime. Res64: E5B0EBFE4A132C73 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:11] 639*2^1426977-1 is not prime. Res64: E07CAED4E1DC37CE Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:11] 717*2^1426977-1 is not prime. Res64: 5B4E41CD4B9564EF Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:11] 885*2^1426977-1 is not prime. Res64: 4DDA5CAB9644E818 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:12] 915*2^1426977-1 is not prime. Res64: 821E33BAC64D0531 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:12] 997*2^1426977-1 is not prime. Res64: 554B98C977E0BE0A Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:16] 663*2^1426978-1 is not prime. Res64: BD9A49B47D58E611 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:16] 723*2^1426978-1 is not prime. Res64: 1253234A4D05419F Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:17] 773*2^1426978-1 is not prime. Res64: 0DEA3D62B0E09CCC Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:17] 813*2^1426978-1 is not prime. Res64: 463DE68322237318 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:13:18] 843*2^1426978-1 is not prime. Res64: 71D1DC7781A2EF26 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:08] 945*2^1426978-1 is not prime. Res64: 4B1CD55542D5AB23 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:09] 951*2^1426978-1 is not prime. Res64: 434C44912E17B6A1 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:10] 987*2^1426978-1 is not prime. Res64: 2C6AAF43C4261432 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:10] 619*2^1426979-1 is not prime. Res64: 0A442053107F9C8D Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:11] 631*2^1426979-1 is not prime. Res64: 30CF311B2EDFC0DC Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:25] 663*2^1426979-1 is not prime. Res64: FFB1E1A7E5095264 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:26] 685*2^1426979-1 is not prime. Res64: 92D10CAAF017256D Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:27] 705*2^1426979-1 is not prime. Res64: BD0DC7291FED58A4 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:28] 711*2^1426979-1 is not prime. Res64: EEA0907992C44E23 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:29:29] 733*2^1426979-1 is not prime. Res64: 8EF35FB1F1874A55 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:22] 843*2^1426979-1 is not prime. Res64: 779709051A750BCC Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:23] 861*2^1426979-1 is not prime. Res64: C75B78AEF2D2BA84 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:23] 895*2^1426979-1 is not prime. Res64: E442BFA17F510607 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:24] 921*2^1426979-1 is not prime. Res64: 0525887569007D26 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:24] 627*2^1426980-1 is not prime. Res64: 71D40B9C5C45F11B Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:25] 695*2^1426980-1 is not prime. Res64: 78D5D8932705B72C Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:25] 737*2^1426980-1 is not prime. Res64: FC7B7255664C0FC7 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:26] 759*2^1426980-1 is not prime. Res64: AA45AA1C4DC23D28 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:26] 789*2^1426980-1 is not prime. Res64: E2B7827318E3FC69 Time : 0.0 sec. user=mdettweiler [2016-04-22 03:58:27] 887*2^1426980-1 is not prime. Res64: D1D7498B1745CE85 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:15:49] 893*2^1426980-1 is not prime. Res64: 9F52690275E13761 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:15:49] 899*2^1426980-1 is not prime. Res64: 71D650FA067C0BE4 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:15:50] 975*2^1426980-1 is not prime. Res64: 218C568D38248408 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:15:50] 681*2^1426981-1 is not prime. Res64: 2652FC01E6EAED44 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:15:51] 747*2^1426981-1 is not prime. Res64: 684BA4D676214A7F Time : 0.0 sec. user=mdettweiler [2016-04-22 04:16:01] 751*2^1426981-1 is not prime. Res64: BD6609726BB0B231 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:16:01] 877*2^1426981-1 is not prime. Res64: 6EBBAD18B328BBA1 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:16:02] 955*2^1426981-1 is not prime. Res64: 5268B70871BC0C43 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:16:02] 731*2^1426982-1 is not prime. Res64: DC42FD6830B78E4B Time : 0.0 sec. user=mdettweiler [2016-04-22 04:16:02] 935*2^1426982-1 is not prime. Res64: 2BEC22A13C33F146 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:27] 619*2^1426983-1 is not prime. Res64: 1F849950D083D6C3 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:27] 661*2^1426983-1 is not prime. Res64: 0E219725D4517BDB Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:28] 669*2^1426983-1 is not prime. Res64: 18C6FDAF6B4D4BAF Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:28] 679*2^1426983-1 is not prime. Res64: 3C586E892B91B1EF Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:28] 703*2^1426983-1 is not prime. Res64: 6945A5F31FE4D781 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:49] 783*2^1426983-1 is not prime. Res64: 7D4A67E0EC24DA28 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:49] 789*2^1426983-1 is not prime. Res64: 6E9C265B44EF60BE Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:50] 871*2^1426983-1 is not prime. Res64: 4990BD1A982B7875 Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:50] 969*2^1426983-1 is not prime. Res64: 4456663952EAECEE Time : 0.0 sec. user=mdettweiler [2016-04-22 04:44:51] 723*2^1426984-1 is not prime. Res64: E7D1E7F5B587B5FC Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:02] 803*2^1426984-1 is not prime. Res64: 814B85B153526575 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:03] 819*2^1426984-1 is not prime. Res64: 87B38872AFC73808 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:04] 909*2^1426984-1 is not prime. Res64: 00850B91884FFA3D Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:05] 959*2^1426984-1 is not prime. Res64: D598846EE9C29246 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:06] 651*2^1426985-1 is not prime. Res64: 3AFAFF5181F48307 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:11] 657*2^1426985-1 is not prime. Res64: 19C45BA024293D8C Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:12] 675*2^1426985-1 is not prime. Res64: 5F2D0797F0C5CD3F Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:12] 867*2^1426985-1 is not prime. Res64: 150CED331AAFDB71 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:13] 889*2^1426985-1 is not prime. Res64: 6D6F60EDC0A2B97A Time : 0.0 sec. user=mdettweiler [2016-04-22 05:01:14] 949*2^1426985-1 is not prime. Res64: 204D60225B920D02 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:29:30] 633*2^1426986-1 is not prime. Res64: DD31E481A2D53AC0 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:29:30] 657*2^1426986-1 is not prime. Res64: F77E1A32E22B1498 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:29:31] 711*2^1426986-1 is not prime. Res64: A8B8E50D552363C2 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:29:31] 735*2^1426986-1 is not prime. Res64: 34F8D0D4844E93A2 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:29:31] 741*2^1426986-1 is not prime. Res64: 0F6EF41CAC5CBDC6 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:30:00] 777*2^1426986-1 is not prime. Res64: B43524883BACFDFC Time : 0.0 sec. user=mdettweiler [2016-04-22 05:30:01] 801*2^1426986-1 is not prime. Res64: 5E17670CA9FE37B3 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:30:01] 815*2^1426986-1 is not prime. Res64: 03057BF98190D1A1 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:30:02] 821*2^1426986-1 is not prime. Res64: 1B9E380E63010ADC Time : 0.0 sec. user=mdettweiler [2016-04-22 05:30:03] 917*2^1426986-1 is not prime. Res64: 1FE28DA9CC32A148 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:05] 975*2^1426986-1 is not prime. Res64: 70E022FAD73AED96 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:05] 1001*2^1426986-1 is not prime. Res64: 0AF1089C21C0FCFA Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:06] 645*2^1426987-1 is not prime. Res64: 17FBFE9B27C1BC05 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:06] 703*2^1426987-1 is not prime. Res64: 67487E28115F2708 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:06] 841*2^1426987-1 is not prime. Res64: 938E62FB63231984 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:24] 919*2^1426987-1 is not prime. Res64: 03A6E86AA2A88DAF Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:25] 945*2^1426987-1 is not prime. Res64: F6C2997E009E82C4 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:25] 951*2^1426987-1 is not prime. Res64: A9908EDAB1D38459 Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:26] 663*2^1426988-1 is not prime. Res64: 075DC67B704B6C7F Time : 0.0 sec. user=mdettweiler [2016-04-22 05:46:26] 669*2^1426988-1 is not prime. Res64: EBB02DF1A846E462 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:14:30] 945*2^1426988-1 is not prime. Res64: 0E6EC342E2DA51B1 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:14:30] 963*2^1426988-1 is not prime. Res64: 9BB393BA564B6645 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:14:31] 711*2^1426989-1 is not prime. Res64: 704663183A7A4FA9 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:14:31] 741*2^1426989-1 is not prime. Res64: 8D1D68A1DDD3BECB Time : 0.0 sec. user=mdettweiler [2016-04-22 06:14:31] 745*2^1426989-1 is not prime. Res64: 6F99CB3604F26A05 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:15:08] 945*2^1426989-1 is not prime. Res64: B8456749EADEB50F Time : 0.0 sec. user=mdettweiler [2016-04-22 06:15:08] 653*2^1426990-1 is not prime. Res64: AF06FACFC6C353B0 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:15:08] 695*2^1426990-1 is not prime. Res64: 0C565A48F45DC10E Time : 0.0 sec. user=mdettweiler [2016-04-22 06:15:09] 741*2^1426990-1 is not prime. Res64: 036C15266936E856 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:15:09] 791*2^1426990-1 is not prime. Res64: 20DA82E31975BFA6 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:00] 863*2^1426990-1 is not prime. Res64: 255B2377C3075D4A Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:01] 941*2^1426990-1 is not prime. Res64: 877AFF9054411B55 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:01] 603*2^1426991-1 is not prime. Res64: 270837B2E12280D0 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:01] 645*2^1426991-1 is not prime. Res64: 2F595AF742B2EEAC Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:02] 663*2^1426991-1 is not prime. Res64: C7AD7AF2E7606CD6 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:21] 715*2^1426991-1 is not prime. Res64: 83335F8DA0ECBC1B Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:22] 753*2^1426991-1 is not prime. Res64: 5A2668A43142F19C Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:22] 871*2^1426991-1 is not prime. Res64: 0D952F01409E1FE0 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:23] 885*2^1426991-1 is not prime. Res64: FD16638D099C0EBD Time : 0.0 sec. user=mdettweiler [2016-04-22 06:31:23] 979*2^1426991-1 is not prime. Res64: 6B38CADE3DF39392 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:59:32] 615*2^1426992-1 is not prime. Res64: BFE0DD7439E00DC7 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:59:32] 629*2^1426992-1 is not prime. Res64: 0186A8FC37F8D57E Time : 0.0 sec. user=mdettweiler [2016-04-22 06:59:33] 633*2^1426992-1 is not prime. Res64: 096C57D1C9E9C583 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:59:33] 635*2^1426992-1 is not prime. Res64: C0CF49C01C735AD9 Time : 0.0 sec. user=mdettweiler [2016-04-22 06:59:33] 737*2^1426992-1 is not prime. Res64: BBDCB517C11F8093 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:00:11] 779*2^1426992-1 is not prime. Res64: 2B519E4E36E2F32C Time : 0.0 sec. user=mdettweiler [2016-04-22 07:00:12] 819*2^1426992-1 is not prime. Res64: 0451EC9127FCC98D Time : 0.0 sec. user=mdettweiler [2016-04-22 07:00:13] 917*2^1426992-1 is not prime. Res64: 5A3E53BE25DE95BE Time : 0.0 sec. user=mdettweiler [2016-04-22 07:00:14] 609*2^1426993-1 is not prime. Res64: F2EF5E8EEB6377C4 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:00:15] 615*2^1426993-1 is not prime. Res64: CDE9CBB3B611804E Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:04] 705*2^1426993-1 is not prime. Res64: FD2C50D242A661DC Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:04] 771*2^1426993-1 is not prime. Res64: 764701D911985921 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:05] 915*2^1426993-1 is not prime. Res64: 086C04B240843A72 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:05] 615*2^1426994-1 is not prime. Res64: A744CF5945A8D58B Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:06] 623*2^1426994-1 is not prime. Res64: B8B152EFCE707275 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:23] 635*2^1426994-1 is not prime. Res64: B159EB3EF05F44D8 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:24] 651*2^1426994-1 is not prime. Res64: 93603AC570408A14 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:24] 671*2^1426994-1 is not prime. Res64: 4EB0D92EEBDC5F03 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:24] 687*2^1426994-1 is not prime. Res64: DA6653992337BB2C Time : 0.0 sec. user=mdettweiler [2016-04-22 07:16:25] 705*2^1426994-1 is not prime. Res64: 78FC8F562746A22A Time : 0.0 sec. user=mdettweiler [2016-04-22 07:44:24] 753*2^1426994-1 is not prime. Res64: DC71BAFAF51991A4 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:44:24] 825*2^1426994-1 is not prime. Res64: F189005299522471 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:44:25] 827*2^1426994-1 is not prime. Res64: BA6E5F96552A4809 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:44:25] 837*2^1426994-1 is not prime. Res64: 9ECD6FA63A7EC683 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:44:26] 887*2^1426994-1 is not prime. Res64: B2C2894FD1D9783A Time : 0.0 sec. user=mdettweiler [2016-04-22 07:45:05] 903*2^1426994-1 is not prime. Res64: 3AA90321DB726301 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:45:05] 971*2^1426994-1 is not prime. Res64: 91731FF47F26B001 Time : 0.0 sec. user=mdettweiler [2016-04-22 07:45:05] 609*2^1426995-1 is not prime. Res64: 5CF6E38D31AD631A Time : 0.0 sec. user=mdettweiler [2016-04-22 07:45:06] 639*2^1426995-1 is not prime. Res64: E899FB074C8C58FD Time : 0.0 sec. user=mdettweiler [2016-04-22 07:45:06] 895*2^1426995-1 is not prime. Res64: AE37CFAFCE4D89D2 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:04] 913*2^1426995-1 is not prime. Res64: B0A22E61DF8C2ABE Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:05] 921*2^1426995-1 is not prime. Res64: 387D641CA3E90AC0 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:05] 979*2^1426995-1 is not prime. Res64: 59533D6DED20CAAF Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:06] 657*2^1426996-1 is not prime. Res64: 261AB67A9345FABB Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:07] 717*2^1426996-1 is not prime. Res64: FD58D381263F8FFD Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:28] 785*2^1426996-1 is not prime. Res64: 32941000F613CCAD Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:30] 887*2^1426996-1 is not prime. Res64: 7C7F0A4E4C177691 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:31] 903*2^1426996-1 is not prime. Res64: FA17399C6BE545A5 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:31] 923*2^1426996-1 is not prime. Res64: 615D4A54DD6CBD95 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:01:32] 983*2^1426996-1 is not prime. Res64: 627472AAE283BACD Time : 0.0 sec. user=mdettweiler [2016-04-22 08:29:23] 999*2^1426996-1 is not prime. Res64: ED819F033CB630AC Time : 0.0 sec. user=mdettweiler [2016-04-22 08:29:24] 615*2^1426997-1 is not prime. Res64: 7A2096383F6B5925 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:29:24] 651*2^1426997-1 is not prime. Res64: 3C8133D05B07C7A5 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:29:24] 759*2^1426997-1 is not prime. Res64: C6D62F3C5BB968C9 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:29:25] 771*2^1426997-1 is not prime. Res64: 68037DE4B4051905 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:30:15] 865*2^1426997-1 is not prime. Res64: 2125EEDF586B5532 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:30:16] 997*2^1426997-1 is not prime. Res64: DE8D2F90D9C6769D Time : 0.0 sec. user=mdettweiler [2016-04-22 08:30:16] 647*2^1426998-1 is not prime. Res64: 72D14BC788814DCC Time : 0.0 sec. user=mdettweiler [2016-04-22 08:30:17] 665*2^1426998-1 is not prime. Res64: 1D5F3586D6B04CEC Time : 0.0 sec. user=mdettweiler [2016-04-22 08:30:17] 705*2^1426998-1 is not prime. Res64: 7862AE005916AA17 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:27] 747*2^1426998-1 is not prime. Res64: B70444DB5DD2A3CC Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:27] 885*2^1426998-1 is not prime. Res64: 395EC149217F51E3 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:27] 923*2^1426998-1 is not prime. Res64: 838984225F6236E5 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:28] 963*2^1426998-1 is not prime. Res64: D2CE921B877C2F19 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:28] 675*2^1426999-1 is not prime. Res64: BBD044B6384DD502 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:36] 679*2^1426999-1 is not prime. Res64: 48C58A3B0ECAEC9C Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:36] 741*2^1426999-1 is not prime. Res64: 124603CA92A40BC5 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:37] 873*2^1426999-1 is not prime. Res64: 7DB5856050D3692E Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:37] 961*2^1426999-1 is not prime. Res64: EAD0EAE080263811 Time : 0.0 sec. user=mdettweiler [2016-04-22 08:46:38] 659*2^1427000-1 is not prime. Res64: D148463C7FEAEA42 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:14:49] 675*2^1427000-1 is not prime. Res64: 358DC638A0F80A05 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:14:49] 677*2^1427000-1 is not prime. Res64: 62E33DFB2BC6C950 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:14:50] 689*2^1427000-1 is not prime. Res64: 9384F9B310469A8A Time : 0.0 sec. user=mdettweiler [2016-04-22 09:14:50] 747*2^1427000-1 is not prime. Res64: 9C654F3227EEF8F3 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:14:50] 789*2^1427000-1 is not prime. Res64: 38B53EB54F6A42C7 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:15:34] 691*2^1427001-1 is not prime. Res64: F0A5A9C1BEB2606E Time : 0.0 sec. user=mdettweiler [2016-04-22 09:15:35] 727*2^1427001-1 is not prime. Res64: 6DAE739C86029798 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:15:35] 741*2^1427001-1 is not prime. Res64: 30EB2CE641206C7B Time : 0.0 sec. user=mdettweiler [2016-04-22 09:15:36] 777*2^1427001-1 is not prime. Res64: 785535DFF5EDEEEC Time : 0.0 sec. user=mdettweiler [2016-04-22 09:15:36] 817*2^1427001-1 is not prime. Res64: 97C0BF85DC234A99 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:44] 947*2^1427002-1 is not prime. Res64: AEE6414C96B2221A Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:44] 987*2^1427002-1 is not prime. Res64: 2E237A1D216E6806 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:44] 649*2^1427003-1 is not prime. Res64: 44B7157859F277BD Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:45] 771*2^1427003-1 is not prime. Res64: 2AE0482478858526 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:45] 823*2^1427003-1 is not prime. Res64: 0981770BB2648144 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:47] 937*2^1427001-1 is not prime. Res64: 883E9A708E67C299 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:47] 951*2^1427001-1 is not prime. Res64: 3A035B3E6F4F38F5 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:48] 975*2^1427001-1 is not prime. Res64: F78767709A338EB2 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:48] 611*2^1427002-1 is not prime. Res64: 4204299F46060231 Time : 0.0 sec. user=mdettweiler [2016-04-22 09:31:48] 885*2^1427002-1 is not prime. Res64: C6D8765D14A9059D Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:11] 991*2^1427003-1 is not prime. Res64: 4DBF260FA929CD21 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:11] 627*2^1427004-1 is not prime. Res64: 9AA05A8728C47B65 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:11] 675*2^1427004-1 is not prime. Res64: 4B9933271438FF12 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:12] 923*2^1427004-1 is not prime. Res64: 6A2EEEE55B051196 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:13] 975*2^1427004-1 is not prime. Res64: C2E24F7DBD2A2DC7 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:51] 717*2^1427005-1 is not prime. Res64: 60F79AFB012C24E8 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:52] 777*2^1427005-1 is not prime. Res64: C0C9B428F19E1069 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:53] 817*2^1427005-1 is not prime. Res64: 91C39CF03907FC88 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:53] 937*2^1427005-1 is not prime. Res64: 7A4165AEA5CF3C77 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:00:54] 939*2^1427005-1 is not prime. Res64: 204BEAE82ABBC25D Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:51] 743*2^1427006-1 is not prime. Res64: 4CF48F9B8209DE80 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:52] 857*2^1427006-1 is not prime. Res64: BA180B5BE1DC0201 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:52] 873*2^1427006-1 is not prime. Res64: E930E242F23D37AC Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:53] 981*2^1427006-1 is not prime. Res64: 42B87F26B7D62A91 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:53] 609*2^1427007-1 is not prime. Res64: B4ABB5963FF2EE70 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:16:59] 843*2^1427007-1 is not prime. Res64: 1A3D226D80ADE50A Time : 0.0 sec. user=mdettweiler [2016-04-22 10:17:00] 891*2^1427007-1 is not prime. Res64: 43CE9B17F3A11DF1 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:17:00] 961*2^1427007-1 is not prime. Res64: 4467410F7D863532 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:17:01] 657*2^1427008-1 is not prime. Res64: 4D3649B7E2FD4C4C Time : 0.0 sec. user=mdettweiler [2016-04-22 10:17:01] 665*2^1427008-1 is not prime. Res64: D66C107EF2B5A1F7 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:45:14] 677*2^1427008-1 is not prime. Res64: 504C17E06F55FD1B Time : 0.0 sec. user=mdettweiler [2016-04-22 10:45:15] 723*2^1427008-1 is not prime. Res64: 4DA5B2ED25F47100 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:45:15] 735*2^1427008-1 is not prime. Res64: 5E48FDAC3798C751 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:45:16] 797*2^1427008-1 is not prime. Res64: 55368D5DDF2A7831 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:45:16] 825*2^1427008-1 is not prime. Res64: 7CB61D35B795F1CC Time : 0.0 sec. user=mdettweiler [2016-04-22 10:46:00] 827*2^1427008-1 is not prime. Res64: 25898F07F75744D4 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:46:01] 839*2^1427008-1 is not prime. Res64: A83DD610AC5F1DB6 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:46:01] 887*2^1427008-1 is not prime. Res64: EFEB8CB6CF8E11F4 Time : 0.0 sec. user=mdettweiler [2016-04-22 10:46:01] 747*2^1427009-1 is not prime. Res64: 83EE14174DB072CC Time : 0.0 sec. user=mdettweiler [2016-04-22 10:46:02] 789*2^1427009-1 is not prime. Res64: 4359A66B03C05D62 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:42] 933*2^1427010-1 is not prime. Res64: F8B7306F01DA6E81 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:43] 951*2^1427010-1 is not prime. Res64: 3B8FCB08BE4AF076 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:43] 603*2^1427011-1 is not prime. Res64: ABE70CE054D6C55E Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:44] 673*2^1427011-1 is not prime. Res64: D0F8AA5B7DA9BD23 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:44] 733*2^1427011-1 is not prime. Res64: 4CB8B66232131CC5 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:58] 945*2^1427009-1 is not prime. Res64: 98733E01305289E7 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:58] 833*2^1427010-1 is not prime. Res64: CA48F73D1C1E8A0B Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:59] 845*2^1427010-1 is not prime. Res64: 12BEE0DCA509AE1B Time : 0.0 sec. user=mdettweiler [2016-04-22 11:01:59] 887*2^1427010-1 is not prime. Res64: 3831DEE8E1D8820A Time : 0.0 sec. user=mdettweiler [2016-04-22 11:02:00] 927*2^1427010-1 is not prime. Res64: A6E5AF9A95E153E2 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:09] 811*2^1427011-1 is not prime. Res64: 9A87365B9914E54B Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:10] 885*2^1427011-1 is not prime. Res64: 51B7150CB98116C3 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:10] 999*2^1427011-1 is not prime. Res64: F7DEC2BA05B4DE62 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:11] 693*2^1427012-1 is not prime. Res64: CDAF7DFB6FE96C5C Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:11] 759*2^1427012-1 is not prime. Res64: 9B43E74CCFF28639 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:43] 825*2^1427012-1 is not prime. Res64: 677341392DB6ED2B Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:43] 833*2^1427012-1 is not prime. Res64: 85B6E2B110AD90CC Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:44] 897*2^1427012-1 is not prime. Res64: 9C177F5C7BF48CAA Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:47] 691*2^1427013-1 is not prime. Res64: F3DF06BC8577C759 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:31:47] 751*2^1427013-1 is not prime. Res64: 1D65797A1146CE69 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:47:23] 787*2^1427013-1 is not prime. Res64: 61219187FD274FA4 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:47:23] 811*2^1427013-1 is not prime. Res64: 6F9105C4FFE87D12 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:47:23] 849*2^1427013-1 is not prime. Res64: 9FFF7582C6F92F41 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:47:24] 889*2^1427013-1 is not prime. Res64: 829C663508ED66D0 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:47:24] 891*2^1427013-1 is not prime. Res64: E5287E4B7F5D0FB3 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:48:07] 927*2^1427013-1 is not prime. Res64: 7488C0D5CEB5987F Time : 0.0 sec. user=mdettweiler [2016-04-22 11:48:07] 991*2^1427013-1 is not prime. Res64: 6CEC468BB651F230 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:48:07] 657*2^1427014-1 is not prime. Res64: 7668988A3DA5BDA9 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:48:08] 663*2^1427014-1 is not prime. Res64: 702F8E3B41A9B574 Time : 0.0 sec. user=mdettweiler [2016-04-22 11:48:08] 665*2^1427014-1 is not prime. Res64: 2B45143D463FF804 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:22] 813*2^1427014-1 is not prime. Res64: CB114876786BC6FB Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:23] 947*2^1427014-1 is not prime. Res64: 6F4189CD1D47650B Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:23] 993*2^1427014-1 is not prime. Res64: 5808946F8D01C795 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:24] 889*2^1427015-1 is not prime. Res64: E0D26F25614EA742 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:24] 939*2^1427015-1 is not prime. Res64: 59AC5C189B7A7534 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:56] 633*2^1427016-1 is not prime. Res64: D0A9964A37F1F590 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:57] 657*2^1427016-1 is not prime. Res64: 2A6ACEFADD0F18CD Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:57] 723*2^1427016-1 is not prime. Res64: 1625F3C11430D77F Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:58] 815*2^1427016-1 is not prime. Res64: BE0BCADD44A639CD Time : 0.0 sec. user=mdettweiler [2016-04-22 12:16:58] 873*2^1427016-1 is not prime. Res64: 166E05842AC2CA6F Time : 0.0 sec. user=mdettweiler [2016-04-22 12:32:26] 609*2^1427017-1 is not prime. Res64: D5EB9B6BBF7220FD Time : 0.0 sec. user=mdettweiler [2016-04-22 12:32:26] 645*2^1427017-1 is not prime. Res64: D84975BC1F0AE221 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:32:26] 685*2^1427017-1 is not prime. Res64: 160B95D3261D7337 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:32:27] 687*2^1427017-1 is not prime. Res64: 0F728C969F1E5E63 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:32:27] 699*2^1427017-1 is not prime. Res64: F200904793094859 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:33:12] 765*2^1427017-1 is not prime. Res64: 56004F736A28555F Time : 0.0 sec. user=mdettweiler [2016-04-22 12:33:12] 915*2^1427017-1 is not prime. Res64: 147BB8E04CF4335E Time : 0.0 sec. user=mdettweiler [2016-04-22 12:33:13] 955*2^1427017-1 is not prime. Res64: 7F57F335DA665FB6 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:33:13] 635*2^1427018-1 is not prime. Res64: 052CF5366D3214F0 Time : 0.0 sec. user=mdettweiler [2016-04-22 12:33:13] 645*2^1427018-1 is not prime. Res64: C6F78CA39C74AD02 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:42] 651*2^1427018-1 is not prime. Res64: 062C5C772AECB72C Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:43] 861*2^1427018-1 is not prime. Res64: CC293E0E832D07CF Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:44] 957*2^1427018-1 is not prime. Res64: 5303592741F4D436 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:44] 649*2^1427019-1 is not prime. Res64: E78E8492675E1E39 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:45] 663*2^1427019-1 is not prime. Res64: 0231C97B517ADE21 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:49] 709*2^1427019-1 is not prime. Res64: 5BAD215BD40468DE Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:51] 795*2^1427019-1 is not prime. Res64: 62F2E42DF9E2DB4B Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:52] 861*2^1427019-1 is not prime. Res64: FD8D73FFD0D41925 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:53] 909*2^1427019-1 is not prime. Res64: 733406077D191EFA Time : 0.0 sec. user=mdettweiler [2016-04-22 13:03:54] 961*2^1427019-1 is not prime. Res64: 1CAF4FDC2D15CA43 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:21:07] 675*2^1427020-1 is not prime. Res64: 9045A69B323A611E Time : 0.0 sec. user=mdettweiler [2016-04-22 13:21:07] 719*2^1427020-1 is not prime. Res64: 12F5A513AF4859A5 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:21:08] 785*2^1427020-1 is not prime. Res64: 740E44C758209920 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:21:08] 803*2^1427020-1 is not prime. Res64: 7425329A58596F98 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:21:08] 939*2^1427020-1 is not prime. Res64: D6FAB1F97D9974B7 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:22:01] 983*2^1427020-1 is not prime. Res64: 276EF86C598E42D6 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:22:01] 615*2^1427021-1 is not prime. Res64: C9F7784A157985AB Time : 0.0 sec. user=mdettweiler [2016-04-22 13:22:01] 757*2^1427021-1 is not prime. Res64: 1A36D601A083A28F Time : 0.0 sec. user=mdettweiler [2016-04-22 13:22:02] 879*2^1427021-1 is not prime. Res64: 09A3792CB1DC5774 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:22:02] 931*2^1427021-1 is not prime. Res64: FED96024D50B0699 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:28:32] 661*2^1427023-1 is not prime. Res64: 813B231065E82384 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:11] 807*2^1427022-1 is not prime. Res64: 4A7288A8F5CAC7F8 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:11] 825*2^1427022-1 is not prime. Res64: 7970ABC6EA6550A7 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:11] 843*2^1427022-1 is not prime. Res64: B5AB48A400B3890C Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:11] 885*2^1427022-1 is not prime. Res64: 0852EC2EF1F092A3 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:12] 945*2^1427022-1 is not prime. Res64: 0A962E5FD2F95821 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:35] 967*2^1427021-1 is not prime. Res64: 227DF48047E9AB12 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:35] 681*2^1427022-1 is not prime. Res64: CA66F38F0A29FB32 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:36] 711*2^1427022-1 is not prime. Res64: E94945CF63D7C471 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:36] 713*2^1427022-1 is not prime. Res64: EB584497D4F97EC1 Time : 0.0 sec. user=mdettweiler [2016-04-22 13:53:36] 765*2^1427022-1 is not prime. Res64: C507F6F4B4E7C186 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:09:06] 673*2^1427023-1 is not prime. Res64: 24C9459AF6A55A4C Time : 0.0 sec. user=mdettweiler [2016-04-22 14:09:07] 685*2^1427023-1 is not prime. Res64: 5A60830A179E07E2 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:09:07] 709*2^1427023-1 is not prime. Res64: CE70759F34D08715 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:09:07] 831*2^1427023-1 is not prime. Res64: FE27FBD172EA81FA Time : 0.0 sec. user=mdettweiler [2016-04-22 14:09:08] 999*2^1427023-1 is not prime. Res64: D3B4C5356503ED7E Time : 0.0 sec. user=mdettweiler [2016-04-22 14:10:35] 819*2^1427024-1 is not prime. Res64: B745857F36A92C3C Time : 0.0 sec. user=mdettweiler [2016-04-22 14:10:35] 927*2^1427024-1 is not prime. Res64: 7B17172D45BA982C Time : 0.0 sec. user=mdettweiler [2016-04-22 14:10:36] 957*2^1427024-1 is not prime. Res64: F64442DBA4DE2BC2 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:10:36] 651*2^1427025-1 is not prime. Res64: 1A610A2EB934E690 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:10:37] 739*2^1427025-1 is not prime. Res64: 6D93025D32F9952A Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:08] 921*2^1427025-1 is not prime. Res64: A4CE267B3EFCD7AA Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:09] 951*2^1427025-1 is not prime. Res64: 3C806DBA6D130227 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:09] 955*2^1427025-1 is not prime. Res64: 6BC252BB76FD8639 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:09] 979*2^1427025-1 is not prime. Res64: 316E1C3DDC004726 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:10] 603*2^1427026-1 is not prime. Res64: 706030D467A24E79 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:12] 741*2^1427025-1 is not prime. Res64: B13EB1FB4F6C765E Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:13] 751*2^1427025-1 is not prime. Res64: F1BCC6BAA6D8EDFB Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:13] 781*2^1427025-1 is not prime. Res64: 75E7C175C7DDEB18 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:13] 805*2^1427025-1 is not prime. Res64: B3CC742F5CABBB2A Time : 0.0 sec. user=mdettweiler [2016-04-22 14:40:14] 871*2^1427025-1 is not prime. Res64: 07072FF7D57A770B Time : 0.0 sec. user=mdettweiler [2016-04-22 14:55:05] 617*2^1427026-1 is not prime. Res64: AE38E9E6AE0FC03D Time : 0.0 sec. user=mdettweiler [2016-04-22 14:55:06] 657*2^1427026-1 is not prime. Res64: AEE430DACE39660D Time : 0.0 sec. user=mdettweiler [2016-04-22 14:55:06] 773*2^1427026-1 is not prime. Res64: E9C7EE68943D1A3B Time : 0.0 sec. user=mdettweiler [2016-04-22 14:55:07] 777*2^1427026-1 is not prime. Res64: A19423CA83577391 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:55:07] 813*2^1427026-1 is not prime. Res64: 4DDECD508118C32D Time : 0.0 sec. user=mdettweiler [2016-04-22 14:56:34] 857*2^1427026-1 is not prime. Res64: 38711500E3C3FE97 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:56:34] 945*2^1427026-1 is not prime. Res64: B73CA3FAEDBE3CE4 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:56:35] 1001*2^1427026-1 is not prime. Res64: CE83997B8052F6F6 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:56:35] 619*2^1427027-1 is not prime. Res64: 6C6CA2A1EF7B5401 Time : 0.0 sec. user=mdettweiler [2016-04-22 14:56:35] 705*2^1427027-1 is not prime. Res64: 1EA978F51FEF1EAE Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:05] 735*2^1427027-1 is not prime. Res64: 5EEE4E3DE1B02008 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:05] 885*2^1427027-1 is not prime. Res64: 2BC2431E9C29E4C7 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:06] 909*2^1427027-1 is not prime. Res64: 9A9F0B27222EDB11 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:06] 615*2^1427028-1 is not prime. Res64: 9BDBF406B559CD82 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:06] 629*2^1427028-1 is not prime. Res64: B9C9DD65B9C68FDF Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:10] 639*2^1427028-1 is not prime. Res64: EFEDECBB461FA9C2 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:10] 647*2^1427028-1 is not prime. Res64: FB6912B9F23DEE24 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:11] 749*2^1427028-1 is not prime. Res64: 131A48B461F6EAD7 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:11] 753*2^1427028-1 is not prime. Res64: F5AC8D770B4EFD73 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:26:11] 837*2^1427028-1 is not prime. Res64: 223A307BD394B8FB Time : 0.0 sec. user=mdettweiler [2016-04-22 15:41:27] 959*2^1427028-1 is not prime. Res64: 0B70D316DCE7FEBE Time : 0.0 sec. user=mdettweiler [2016-04-22 15:41:28] 969*2^1427028-1 is not prime. Res64: 656DE0D33C4F9032 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:41:28] 691*2^1427029-1 is not prime. Res64: E1A7A3BD949889CA Time : 0.0 sec. user=mdettweiler [2016-04-22 15:41:28] 829*2^1427029-1 is not prime. Res64: 440959E04190A037 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:41:29] 997*2^1427029-1 is not prime. Res64: AD1D81106A34E24B Time : 0.0 sec. user=mdettweiler [2016-04-22 15:43:31] 999*2^1427029-1 is not prime. Res64: A9B6B6A3AAECAC0E Time : 0.0 sec. user=mdettweiler [2016-04-22 15:43:31] 615*2^1427030-1 is not prime. Res64: ACA92235076E3FB2 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:43:32] 623*2^1427030-1 is not prime. Res64: BFFFC06363544028 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:43:32] 641*2^1427030-1 is not prime. Res64: 3F8753A0D91E06E3 Time : 0.0 sec. user=mdettweiler [2016-04-22 15:43:32] 657*2^1427030-1 is not prime. Res64: A417E5A836AE04CC Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:33] 887*2^1427030-1 is not prime. Res64: 76640C6563996E33 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:34] 625*2^1427031-1 is not prime. Res64: 43C4B5F344550B60 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:34] 639*2^1427031-1 is not prime. Res64: 5938AA0CECF1085A Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:34] 661*2^1427031-1 is not prime. Res64: 10E998691D1CC150 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:35] 691*2^1427031-1 is not prime. Res64: F85B9A629D8D9519 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:48] 677*2^1427030-1 is not prime. Res64: A304BD7297D8103B Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:48] 797*2^1427030-1 is not prime. Res64: 851202E6D713938F Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:48] 813*2^1427030-1 is not prime. Res64: C662DF3DD4E46559 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:49] 845*2^1427030-1 is not prime. Res64: BA39350AA5A83CCA Time : 0.0 sec. user=mdettweiler [2016-04-22 16:14:49] 851*2^1427030-1 is not prime. Res64: 9933E5D8E7201032 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:30:48] 829*2^1427031-1 is not prime. Res64: ACEBAAD02ECBF7EB Time : 0.0 sec. user=mdettweiler [2016-04-22 16:30:48] 943*2^1427031-1 is not prime. Res64: A2A6A255D65FDAD9 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:30:48] 961*2^1427031-1 is not prime. Res64: DA10CBBAFD6F63FD Time : 0.0 sec. user=mdettweiler [2016-04-22 16:30:49] 665*2^1427032-1 is not prime. Res64: 9D3EACD6B10A0AB1 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:30:49] 723*2^1427032-1 is not prime. Res64: 006B57A81E5F3596 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:32:17] 939*2^1427032-1 is not prime. Res64: 8A9FF040B7903008 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:32:17] 975*2^1427032-1 is not prime. Res64: C8C24DEB21D53B58 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:32:17] 735*2^1427033-1 is not prime. Res64: 927323AD27726A6D Time : 0.0 sec. user=mdettweiler [2016-04-22 16:32:18] 885*2^1427033-1 is not prime. Res64: 2C02F6D94B5B7776 Time : 0.0 sec. user=mdettweiler [2016-04-22 16:32:18] 925*2^1427033-1 is not prime. Res64: 58DC9F50B1517C15 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:01:49] 747*2^1427034-1 is not prime. Res64: 99DBA5B6057C64C3 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:01:50] 783*2^1427034-1 is not prime. Res64: 585B1F1D00EA336F Time : 0.0 sec. user=mdettweiler [2016-04-22 17:01:51] 791*2^1427034-1 is not prime. Res64: 6BB96FF8C65A88D0 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:01:52] 815*2^1427034-1 is not prime. Res64: 9C059631679487AC Time : 0.0 sec. user=mdettweiler [2016-04-22 17:01:53] 923*2^1427034-1 is not prime. Res64: F07A08425B454743 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:02:33] 993*2^1427034-1 is not prime. Res64: 88CADE6342BD47F6 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:02:35] 601*2^1427035-1 is not prime. Res64: 07CD392521083357 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:02:37] 631*2^1427035-1 is not prime. Res64: 689157B983A97D10 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:02:38] 633*2^1427035-1 is not prime. Res64: AA50CED50814D0E2 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:02:40] 733*2^1427035-1 is not prime. Res64: 07211C3B8EA8DA4F Time : 0.0 sec. user=mdettweiler [2016-04-22 17:17:37] 789*2^1427035-1 is not prime. Res64: 155548AD744BB8E1 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:17:38] 801*2^1427035-1 is not prime. Res64: 1FDF396A26ADBA25 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:17:38] 873*2^1427035-1 is not prime. Res64: 24AB1FDD21A5188B Time : 0.0 sec. user=mdettweiler [2016-04-22 17:17:39] 677*2^1427036-1 is not prime. Res64: DECE67898DD55470 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:17:39] 683*2^1427036-1 is not prime. Res64: C6FBDB195BC542BF Time : 0.0 sec. user=mdettweiler [2016-04-22 17:19:14] 767*2^1427036-1 is not prime. Res64: BF78FAE17584FAE9 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:19:14] 773*2^1427036-1 is not prime. Res64: 639809C271C2F9A9 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:19:14] 855*2^1427036-1 is not prime. Res64: A0282EB8151F2596 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:19:15] 893*2^1427036-1 is not prime. Res64: FE6965DB4BE79F6E Time : 0.0 sec. user=mdettweiler [2016-04-22 17:19:15] 983*2^1427036-1 is not prime. Res64: 2FD5632736CAEFFC Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:00] 999*2^1427036-1 is not prime. Res64: DFC2822C133756C2 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:00] 609*2^1427037-1 is not prime. Res64: 3FDAFDA61200B03F Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:00] 661*2^1427037-1 is not prime. Res64: D8921D16BBF4CBA8 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:01] 829*2^1427037-1 is not prime. Res64: 844DBB5E6725ABFB Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:01] 847*2^1427037-1 is not prime. Res64: 4D642B06AEF80142 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:40] 865*2^1427037-1 is not prime. Res64: B553F263C6F094A7 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:40] 885*2^1427037-1 is not prime. Res64: D1ED7DA33BEB523A Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:40] 891*2^1427037-1 is not prime. Res64: 9AB970AAF375A7DC Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:41] 949*2^1427037-1 is not prime. Res64: DCD0FE19547EA7F9 Time : 0.0 sec. user=mdettweiler [2016-04-22 17:48:41] 605*2^1427038-1 is not prime. Res64: 407B30E68153471B Time : 0.0 sec. user=mdettweiler [2016-04-22 18:03:24] 657*2^1427038-1 is not prime. Res64: 7BB9162EDEFF7B80 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:03:26] 743*2^1427038-1 is not prime. Res64: 2787F875D0EE1712 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:03:27] 755*2^1427038-1 is not prime. Res64: 98473A298280E721 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:03:27] 761*2^1427038-1 is not prime. Res64: 8077545190DA4AFA Time : 0.0 sec. user=mdettweiler [2016-04-22 18:03:28] 825*2^1427038-1 is not prime. Res64: 91BC7AFA5A90E6FF Time : 0.0 sec. user=mdettweiler [2016-04-22 18:04:47] 827*2^1427038-1 is not prime. Res64: 388787C8A88E2B63 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:04:48] 831*2^1427038-1 is not prime. Res64: 681CA4B5E65D8137 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:04:49] 843*2^1427038-1 is not prime. Res64: A0D2196A59CFFF01 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:04:50] 643*2^1427039-1 is not prime. Res64: FA224CC78B6BFD8C Time : 0.0 sec. user=mdettweiler [2016-04-22 18:04:51] 703*2^1427039-1 is not prime. Res64: 0402A6417A5097C1 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:32:58] 711*2^1427039-1 is not prime. Res64: EA603EEF5BF4CCBA Time : 0.0 sec. user=mdettweiler [2016-04-22 18:32:58] 721*2^1427039-1 is not prime. Res64: 0C399B8680D3E054 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:32:59] 753*2^1427039-1 is not prime. Res64: 656B62AA465B11C0 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:32:59] 759*2^1427039-1 is not prime. Res64: F11B0BB0C2526C91 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:00] 771*2^1427039-1 is not prime. Res64: B702074FFFEBD5F1 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:45] 829*2^1427039-1 is not prime. Res64: 1B6ED330721E36FC Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:46] 969*2^1427039-1 is not prime. Res64: E6A421B07463C28F Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:46] 979*2^1427039-1 is not prime. Res64: B10C87AB00DE97CD Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:47] 797*2^1427040-1 is not prime. Res64: F347A329847E296C Time : 0.0 sec. user=mdettweiler [2016-04-22 18:33:47] 843*2^1427040-1 is not prime. Res64: 990E5D25DD199CD2 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:48:33] 863*2^1427040-1 is not prime. Res64: A99ECCF48E9D8B11 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:48:34] 975*2^1427040-1 is not prime. Res64: 821A3462D5CAFC07 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:48:34] 871*2^1427041-1 is not prime. Res64: 29CAC4A4ACB261C8 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:48:34] 877*2^1427041-1 is not prime. Res64: 978907A3C051E611 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:48:35] 951*2^1427041-1 is not prime. Res64: F65B5829DFC3C1D3 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:50:03] 705*2^1427042-1 is not prime. Res64: 0A8FD9BC6E74EA7C Time : 0.0 sec. user=mdettweiler [2016-04-22 18:50:03] 767*2^1427042-1 is not prime. Res64: FC1D84708D1B9916 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:50:04] 813*2^1427042-1 is not prime. Res64: 4481D23CF4CA0FE7 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:50:04] 815*2^1427042-1 is not prime. Res64: 71A00B02B88028C3 Time : 0.0 sec. user=mdettweiler [2016-04-22 18:50:04] 837*2^1427042-1 is not prime. Res64: 0D8654896658A33D Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:05] 875*2^1427042-1 is not prime. Res64: 43A28BD1492173DA Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:06] 995*2^1427042-1 is not prime. Res64: 4EBDF07CDC96B8BF Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:06] 615*2^1427043-1 is not prime. Res64: 45DC72417880C5D6 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:06] 649*2^1427043-1 is not prime. Res64: A723090D2E0668AC Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:07] 685*2^1427043-1 is not prime. Res64: BF67CE6BF829FC6A Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:49] 919*2^1427043-1 is not prime. Res64: DDA15B1FE6E9DD95 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:50] 623*2^1427044-1 is not prime. Res64: 253B0B96A979AFAE Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:50] 657*2^1427044-1 is not prime. Res64: 6BDE90EFD3C81604 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:51] 749*2^1427044-1 is not prime. Res64: 82C4DF678FA7DE0A Time : 0.0 sec. user=mdettweiler [2016-04-22 19:18:51] 759*2^1427044-1 is not prime. Res64: C866FACC68341EA1 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:34:04] 863*2^1427044-1 is not prime. Res64: 6D873B16B6300D24 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:34:04] 897*2^1427044-1 is not prime. Res64: A06CFAFF352F2E1C Time : 0.0 sec. user=mdettweiler [2016-04-22 19:34:05] 987*2^1427044-1 is not prime. Res64: C3FF4B40CC07474A Time : 0.0 sec. user=mdettweiler [2016-04-22 19:34:05] 601*2^1427045-1 is not prime. Res64: 6644630CC9B50F04 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:34:05] 715*2^1427045-1 is not prime. Res64: 8C40FA0CBDFE9D93 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:35:17] 735*2^1427045-1 is not prime. Res64: E62BC9C18B180AAD Time : 0.0 sec. user=mdettweiler [2016-04-22 19:35:18] 789*2^1427045-1 is not prime. Res64: 0211A25F12AC74E7 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:35:18] 987*2^1427045-1 is not prime. Res64: CBA6B15452DC4263 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:35:18] 611*2^1427046-1 is not prime. Res64: 8741541373572A44 Time : 0.0 sec. user=mdettweiler [2016-04-22 19:35:19] 683*2^1427046-1 is not prime. Res64: 250C9E1B0436E1A1 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:10] 833*2^1427046-1 is not prime. Res64: 0DF96628FABB4042 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:12] 881*2^1427046-1 is not prime. Res64: A348D1703921B435 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:13] 625*2^1427047-1 is not prime. Res64: 3A64D44E91668250 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:14] 703*2^1427047-1 is not prime. Res64: 63F8ED0DE61C366F Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:15] 741*2^1427047-1 is not prime. Res64: 96A6E7BEB18A1E65 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:03:59] 841*2^1427047-1 is not prime. Res64: BACDE99C8B745E70 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:04:00] 849*2^1427047-1 is not prime. Res64: 89AB0695B26EB46F Time : 0.0 sec. user=mdettweiler [2016-04-22 20:04:01] 925*2^1427047-1 is not prime. Res64: AB65FF674D918C15 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:04:02] 933*2^1427047-1 is not prime. Res64: EC54B827F50D3D26 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:04:03] 951*2^1427047-1 is not prime. Res64: 79A57BD767B01794 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:19:08] 725*2^1427048-1 is not prime. Res64: 74A084F97B613E61 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:19:09] 759*2^1427048-1 is not prime. Res64: 91546F2765C00DCC Time : 0.0 sec. user=mdettweiler [2016-04-22 20:19:09] 869*2^1427048-1 is not prime. Res64: DF897637F355714B Time : 0.0 sec. user=mdettweiler [2016-04-22 20:19:10] 963*2^1427048-1 is not prime. Res64: 664AF2D9F2847D10 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:19:11] 637*2^1427049-1 is not prime. Res64: 7C2B7B87DF854FBB Time : 0.0 sec. user=mdettweiler [2016-04-22 20:20:16] 649*2^1427049-1 is not prime. Res64: 047AEF1A059DE99F Time : 0.0 sec. user=mdettweiler [2016-04-22 20:20:16] 789*2^1427049-1 is not prime. Res64: 3721A7F29D3A1DCB Time : 0.0 sec. user=mdettweiler [2016-04-22 20:20:17] 861*2^1427049-1 is not prime. Res64: A28D1FB0568E2B96 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:20:17] 895*2^1427049-1 is not prime. Res64: 4F2F65C1C08ADC95 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:20:17] 921*2^1427049-1 is not prime. Res64: 6BD22FC9AA16AF2C Time : 0.0 sec. user=mdettweiler [2016-04-22 20:48:33] 603*2^1427050-1 is not prime. Res64: FC7509E05E5E15A9 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:48:33] 623*2^1427050-1 is not prime. Res64: 78734E87F7DB6D1D Time : 0.0 sec. user=mdettweiler [2016-04-22 20:48:33] 783*2^1427050-1 is not prime. Res64: 41A03A409DCF0D04 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:48:34] 821*2^1427050-1 is not prime. Res64: 171912953624AC8A Time : 0.0 sec. user=mdettweiler [2016-04-22 20:48:34] 885*2^1427050-1 is not prime. Res64: AD19306C2CE5EA9E Time : 0.0 sec. user=mdettweiler [2016-04-22 20:49:22] 911*2^1427050-1 is not prime. Res64: DFF2D9083F751747 Time : 0.0 sec. user=mdettweiler [2016-04-22 20:49:23] 981*2^1427050-1 is not prime. Res64: 31D550EC37A0977F Time : 0.0 sec. user=mdettweiler [2016-04-22 20:49:23] 663*2^1427051-1 is not prime. Res64: D900E8E0A123BA6F Time : 0.0 sec. user=mdettweiler [2016-04-22 20:49:23] 745*2^1427051-1 is not prime. Res64: 067EDF7675159A8C Time : 0.0 sec. user=mdettweiler [2016-04-22 20:49:24] 759*2^1427051-1 is not prime. Res64: 5C6DDA942D4C80AA Time : 0.0 sec. user=mdettweiler [2016-04-22 21:04:18] 813*2^1427051-1 is not prime. Res64: 2F2B1B2ACDE6BE73 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:04:20] 855*2^1427051-1 is not prime. Res64: F417139E7069EC4E Time : 0.0 sec. user=mdettweiler [2016-04-22 21:04:21] 999*2^1427051-1 is not prime. Res64: 919F697C247EF058 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:04:22] 627*2^1427052-1 is not prime. Res64: 0FA588C79BCD64F3 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:04:23] 929*2^1427052-1 is not prime. Res64: 4594A9D573D5A5C9 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:05:14] 607*2^1427053-1 is not prime. Res64: C34FA36E8E4B7CAE Time : 0.0 sec. user=mdettweiler [2016-04-22 21:05:15] 615*2^1427053-1 is not prime. Res64: 82FB67EC58E05501 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:05:17] 675*2^1427053-1 is not prime. Res64: C7FCF4F0B53A639C Time : 0.0 sec. user=mdettweiler [2016-04-22 21:05:17] 681*2^1427053-1 is not prime. Res64: EB2BE0BE3D2EAD42 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:05:18] 687*2^1427053-1 is not prime. Res64: 3A8047D04D293A37 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:33:43] 721*2^1427053-1 is not prime. Res64: B4D4225282E73C7A Time : 0.0 sec. user=mdettweiler [2016-04-22 21:33:43] 729*2^1427053-1 is not prime. Res64: CE1400CD18450CB9 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:33:44] 861*2^1427053-1 is not prime. Res64: A8A10BD04EEA1977 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:33:44] 743*2^1427054-1 is not prime. Res64: 1C48ADA0352A35BF Time : 0.0 sec. user=mdettweiler [2016-04-22 21:33:45] 861*2^1427054-1 is not prime. Res64: 7BBFAE2530D2039A Time : 0.0 sec. user=mdettweiler [2016-04-22 21:34:37] 915*2^1427054-1 is not prime. Res64: 11172E6D346AFB8B Time : 0.0 sec. user=mdettweiler [2016-04-22 21:34:38] 935*2^1427054-1 is not prime. Res64: 6701CECEBBC18C9B Time : 0.0 sec. user=mdettweiler [2016-04-22 21:34:38] 735*2^1427055-1 is not prime. Res64: 717DD5C536B2407A Time : 0.0 sec. user=mdettweiler [2016-04-22 21:34:39] 861*2^1427055-1 is not prime. Res64: AA4B988194BC8B43 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:34:39] 885*2^1427055-1 is not prime. Res64: FB412CFBDBB0158E Time : 0.0 sec. user=mdettweiler [2016-04-22 21:49:45] 891*2^1427055-1 is not prime. Res64: 290B0EEE7B62B85B Time : 0.0 sec. user=mdettweiler [2016-04-22 21:49:46] 909*2^1427055-1 is not prime. Res64: EFC88333023EE281 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:49:46] 933*2^1427055-1 is not prime. Res64: 2196797829B73125 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:49:46] 639*2^1427056-1 is not prime. Res64: AE37FEBF05F16362 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:49:47] 785*2^1427056-1 is not prime. Res64: 5003C71BBB01E358 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:50:24] 869*2^1427056-1 is not prime. Res64: D4CE264D8CF7D14E Time : 0.0 sec. user=mdettweiler [2016-04-22 21:50:24] 601*2^1427057-1 is not prime. Res64: CB9D17BC5BDBB953 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:50:25] 727*2^1427057-1 is not prime. Res64: 7B8E8C7CF8E0A213 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:50:25] 729*2^1427057-1 is not prime. Res64: 8AC9DDC602856290 Time : 0.0 sec. user=mdettweiler [2016-04-22 21:50:25] 837*2^1427057-1 is not prime. Res64: 79DDF8ECD1A9D1F4 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:21:30] 871*2^1427057-1 is not prime. Res64: 0C149A040097A9C2 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:21:31] 981*2^1427057-1 is not prime. Res64: B1D51F1A08E98961 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:21:31] 677*2^1427058-1 is not prime. Res64: 6FB4F4249460183E Time : 0.0 sec. user=mdettweiler [2016-04-22 22:21:31] 683*2^1427058-1 is not prime. Res64: C4A8F7FBFD8D2E13 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:21:32] 735*2^1427058-1 is not prime. Res64: 32D898FBA6CE6F3C Time : 0.0 sec. user=mdettweiler [2016-04-22 22:22:05] 737*2^1427058-1 is not prime. Res64: CC29CF147944218D Time : 0.0 sec. user=mdettweiler [2016-04-22 22:22:06] 915*2^1427058-1 is not prime. Res64: E88F74574DC8DF84 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:22:06] 971*2^1427058-1 is not prime. Res64: 7E6C657CEEE8CC32 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:22:07] 603*2^1427059-1 is not prime. Res64: 38E192E7ABE97087 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:22:07] 873*2^1427059-1 is not prime. Res64: 8C1D6F00AEE0C2FA Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:01] 603*2^1427060-1 is not prime. Res64: CD098419D4670E53 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:02] 819*2^1427060-1 is not prime. Res64: 77A8E6A1A096FF1C Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:02] 963*2^1427060-1 is not prime. Res64: BFB8BC02E52346DC Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:02] 669*2^1427061-1 is not prime. Res64: 0A16F7013CA1FF96 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:03] 685*2^1427061-1 is not prime. Res64: 2447E871A45BE290 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:58] 709*2^1427061-1 is not prime. Res64: 770F2CD783954806 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:58] 889*2^1427061-1 is not prime. Res64: DAF81C32DB6BBD76 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:59] 653*2^1427062-1 is not prime. Res64: 8D703A3026AF5DB4 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:37:59] 713*2^1427062-1 is not prime. Res64: F8295297AB1DBDE2 Time : 0.0 sec. user=mdettweiler [2016-04-22 22:38:00] 765*2^1427062-1 is not prime. Res64: FAC786C2430DB501 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:06:50] 917*2^1427062-1 is not prime. Res64: 11F80A009AA8EF35 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:06:51] 669*2^1427063-1 is not prime. Res64: 26909CE0BE0FB610 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:06:52] 685*2^1427063-1 is not prime. Res64: B43E03AFFDDB710C Time : 0.0 sec. user=mdettweiler [2016-04-22 23:06:53] 703*2^1427063-1 is not prime. Res64: 65638D97EACC9F81 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:06:55] 781*2^1427063-1 is not prime. Res64: 97F189EDD93219CC Time : 0.0 sec. user=mdettweiler [2016-04-22 23:07:20] 861*2^1427063-1 is not prime. Res64: 340C2FD62B886480 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:07:21] 623*2^1427064-1 is not prime. Res64: 190455C82468F608 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:07:22] 635*2^1427064-1 is not prime. Res64: 44CEE29B36D11038 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:07:23] 795*2^1427064-1 is not prime. Res64: D09DF516A97CEDE5 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:07:24] 899*2^1427064-1 is not prime. Res64: 9515906B5AC55655 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:18:55] 773*2^1427068-1 is not prime. Res64: 8C3A835EF75888A2 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:10] 917*2^1427064-1 is not prime. Res64: B6A113B4F1CC3173 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:11] 959*2^1427064-1 is not prime. Res64: F2B4232F2632F6BF Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:12] 607*2^1427065-1 is not prime. Res64: FCBB1B09629FC771 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:12] 667*2^1427065-1 is not prime. Res64: 3D2BADED493901F8 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:13] 885*2^1427065-1 is not prime. Res64: 9B47A5210693F077 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:58] 919*2^1427065-1 is not prime. Res64: C069DB74074BBE77 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:58] 997*2^1427065-1 is not prime. Res64: 7A646152B2D14379 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:59] 999*2^1427065-1 is not prime. Res64: 8D3E4A65CFC8C335 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:22:59] 623*2^1427066-1 is not prime. Res64: 87969AA264E5C5CD Time : 0.0 sec. user=mdettweiler [2016-04-22 23:23:00] 713*2^1427066-1 is not prime. Res64: 71B4B88A7809E140 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:06] 837*2^1427066-1 is not prime. Res64: 02C0B4C99016E782 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:07] 633*2^1427067-1 is not prime. Res64: 6114E14D57C776EE Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:07] 741*2^1427067-1 is not prime. Res64: 4DC08DCC51A8B92E Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:07] 805*2^1427067-1 is not prime. Res64: 1C89E7216E05750E Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:08] 819*2^1427067-1 is not prime. Res64: F86E7DFFD748C756 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:32] 973*2^1427067-1 is not prime. Res64: 7952A9D1C62AA629 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:32] 605*2^1427068-1 is not prime. Res64: BFFBCE79C9DADAB3 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:32] 615*2^1427068-1 is not prime. Res64: AB9CF6CE98648481 Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:33] 635*2^1427068-1 is not prime. Res64: 69DB208B3C4EB78F Time : 0.0 sec. user=mdettweiler [2016-04-22 23:52:33] 677*2^1427068-1 is not prime. Res64: 57E54BF0A753D8AF Time : 0.0 sec.