user=juhehe [2017-05-08 00:28:34] 749*2^1453284-1 is not prime. Res64: E20C2F7F3DDFC10B Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:51] 759*2^1453283-1 is not prime. Res64: 2A886D08861F6754 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:51] 887*2^1453282-1 is not prime. Res64: EE714A3D93D2ACAE Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:52] 771*2^1453283-1 is not prime. Res64: 293E033A547A9F82 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:52] 987*2^1453282-1 is not prime. Res64: 3E6654E65CE68FCF Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:52] 665*2^1453284-1 is not prime. Res64: 1D16F71A23D5E507 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:52] 615*2^1453283-1 is not prime. Res64: 83C95FC309AC3A44 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:52] 683*2^1453284-1 is not prime. Res64: D0D32E4298649056 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:53] 619*2^1453283-1 is not prime. Res64: 1F49A9D9D44A335B Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:53] 737*2^1453284-1 is not prime. Res64: 95B5101C412A8C11 Time : 0.0 sec. user=mdettweiler [2017-05-08 00:30:53] 663*2^1453283-1 is not prime. Res64: 149B52CDC0CCEE8C Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:29] 759*2^1453284-1 is not prime. Res64: F0DE2B1F052D9A5A Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:29] 757*2^1453285-1 is not prime. Res64: 7563DD8EC122818D Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:29] 773*2^1453284-1 is not prime. Res64: C0255C9D63A15302 Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:30] 801*2^1453285-1 is not prime. Res64: 4E1BBF67438D0F34 Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:30] 825*2^1453284-1 is not prime. Res64: 300175A408B049AD Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:30] 895*2^1453285-1 is not prime. Res64: C52A6F8511C59B24 Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:30] 909*2^1453284-1 is not prime. Res64: D21C164CA3D580AD Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:31] 919*2^1453285-1 is not prime. Res64: 58EF23E529A1EF1E Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:31] 645*2^1453285-1 is not prime. Res64: 0CC50CDB303E7F62 Time : 0.0 sec. user=mdettweiler [2017-05-08 01:15:31] 671*2^1453286-1 is not prime. Res64: 38E6ADE44EC345C7 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:00:09] 683*2^1453286-1 is not prime. Res64: C4A6F5AB6501FFE9 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:00:10] 743*2^1453286-1 is not prime. Res64: 51E98698FC8A4F17 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:00:10] 911*2^1453286-1 is not prime. Res64: 9C8171DD09B50319 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:00:11] 945*2^1453287-1 is not prime. Res64: BFEF1166732296BD Time : 0.0 sec. user=mdettweiler [2017-05-08 02:00:11] 961*2^1453287-1 is not prime. Res64: 821A4ED1B33856DE Time : 0.0 sec. user=juhehe [2017-05-08 02:26:59] 963*2^1453287-1 is not prime. Res64: 033B5CC782D13CC9 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:45:15] 999*2^1453287-1 is not prime. Res64: 3C173FF9C5DC8645 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:45:15] 605*2^1453288-1 is not prime. Res64: CF1D37BB1986FEBD Time : 0.0 sec. user=mdettweiler [2017-05-08 02:45:16] 657*2^1453288-1 is not prime. Res64: 59DD9DDBF0B4AE51 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:45:16] 959*2^1453288-1 is not prime. Res64: 5CC255B226011908 Time : 0.0 sec. user=mdettweiler [2017-05-08 02:45:17] 993*2^1453288-1 is not prime. Res64: A96EC6BC18816A31 Time : 0.0 sec. user=odicin [2017-05-08 03:02:36] 651*2^1453290-1 is not prime. Res64: 6A1902C03239B41C Time : 0.0 sec. user=mdettweiler [2017-05-08 03:30:27] 615*2^1453289-1 is not prime. Res64: AFBB45C875E4584C Time : 0.0 sec. user=mdettweiler [2017-05-08 03:30:30] 699*2^1453289-1 is not prime. Res64: 1D27863051219A22 Time : 0.0 sec. user=mdettweiler [2017-05-08 03:30:32] 747*2^1453289-1 is not prime. Res64: 678E2B8A4748B2E0 Time : 0.0 sec. user=mdettweiler [2017-05-08 03:30:35] 931*2^1453289-1 is not prime. Res64: B6ABABB646D61904 Time : 0.0 sec. user=mdettweiler [2017-05-08 03:30:37] 979*2^1453289-1 is not prime. Res64: 651855C1025A0972 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:11:14] 983*2^1453286-1 is not prime. Res64: E9E877BD9AE733CE Time : 0.0 sec. user=mdettweiler [2017-05-08 04:11:14] 1001*2^1453286-1 is not prime. Res64: 034BE2247CE327D9 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:11:15] 703*2^1453287-1 is not prime. Res64: FA9FBCC77CBD2171 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:11:15] 705*2^1453287-1 is not prime. Res64: A027A9E3536A9058 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:11:16] 805*2^1453287-1 is not prime. Res64: 3376AEE99F895C1B Time : 0.0 sec. user=mdettweiler [2017-05-08 04:15:34] 711*2^1453290-1 is not prime. Res64: F3C4950EA1721C3F Time : 0.0 sec. user=mdettweiler [2017-05-08 04:15:35] 713*2^1453290-1 is not prime. Res64: CC5E4584154B53E6 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:15:35] 861*2^1453290-1 is not prime. Res64: 5141E5D694A82164 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:15:36] 917*2^1453290-1 is not prime. Res64: B626C85078BF58D5 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:15:36] 951*2^1453290-1 is not prime. Res64: 6C8EB25B513370E4 Time : 0.0 sec. user=juhehe [2017-05-08 04:25:36] 639*2^1453291-1 is not prime. Res64: 275DBDCDE11CDEB8 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:55:53] 931*2^1453291-1 is not prime. Res64: 36619B5C8A56133F Time : 0.0 sec. user=mdettweiler [2017-05-08 04:55:53] 973*2^1453291-1 is not prime. Res64: 2CB64A4160D73565 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:55:54] 999*2^1453291-1 is not prime. Res64: BE4BF966AA434AD9 Time : 0.0 sec. user=mdettweiler [2017-05-08 04:55:54] 647*2^1453292-1 is not prime. Res64: 988B48D7553F313B Time : 0.0 sec. user=mdettweiler [2017-05-08 04:55:55] 725*2^1453292-1 is not prime. Res64: 8A6BBE712AE535B8 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:00:11] 743*2^1453292-1 is not prime. Res64: D0A1939A1DE56CE5 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:00:12] 833*2^1453292-1 is not prime. Res64: 794BF1CD528D93CF Time : 0.0 sec. user=mdettweiler [2017-05-08 05:00:12] 837*2^1453292-1 is not prime. Res64: 70FC1C12997382EB Time : 0.0 sec. user=mdettweiler [2017-05-08 05:00:13] 855*2^1453292-1 is not prime. Res64: 78C9D8CB34924C55 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:00:13] 945*2^1453292-1 is not prime. Res64: 8BE9A55BE86847E9 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:40:26] 983*2^1453292-1 is not prime. Res64: A0CD14ADFEF99464 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:40:27] 639*2^1453293-1 is not prime. Res64: 73235905A9420CAE Time : 0.0 sec. user=mdettweiler [2017-05-08 05:40:27] 657*2^1453293-1 is not prime. Res64: A35A1006CBBF39E7 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:40:28] 747*2^1453293-1 is not prime. Res64: CC45311CF0B93668 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:40:28] 765*2^1453293-1 is not prime. Res64: 73F1D66727C56743 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:44:48] 787*2^1453293-1 is not prime. Res64: 79E1A17F38BA0E70 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:44:48] 871*2^1453293-1 is not prime. Res64: 00AFACC76FC70515 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:44:49] 885*2^1453293-1 is not prime. Res64: A9DCE775ADA1DB27 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:44:49] 891*2^1453293-1 is not prime. Res64: 7E7EE5D97EC176A8 Time : 0.0 sec. user=mdettweiler [2017-05-08 05:44:50] 915*2^1453293-1 is not prime. Res64: D5716274E5B77E71 Time : 0.0 sec. user=juhehe [2017-05-08 06:16:51] 927*2^1453293-1 is not prime. Res64: 9E68926D2BBF9FCD Time : 0.0 sec. user=juhehe [2017-05-08 06:23:52] 979*2^1453295-1 is not prime. Res64: 0D9ED5F16E1CEED7 Time : 0.0 sec. user=mdettweiler [2017-05-08 06:25:06] 611*2^1453294-1 is not prime. Res64: E08D89E25F3C0F4C Time : 0.0 sec. user=mdettweiler [2017-05-08 06:25:06] 755*2^1453294-1 is not prime. Res64: 041115EC1DBF39AA Time : 0.0 sec. user=mdettweiler [2017-05-08 06:25:07] 785*2^1453294-1 is not prime. Res64: 97296FC12CDC36F2 Time : 0.0 sec. user=mdettweiler [2017-05-08 06:25:07] 857*2^1453294-1 is not prime. Res64: D70FADF733FC5C05 Time : 0.0 sec. user=mdettweiler [2017-05-08 06:25:08] 619*2^1453295-1 is not prime. Res64: 2B9C12709F14111D Time : 0.0 sec. user=mdettweiler [2017-05-08 06:29:22] 673*2^1453295-1 is not prime. Res64: 6DA25DF3686D4103 Time : 0.0 sec. user=mdettweiler [2017-05-08 06:29:23] 763*2^1453295-1 is not prime. Res64: A4B46EBE6EC7DF0C Time : 0.0 sec. user=mdettweiler [2017-05-08 06:29:23] 771*2^1453295-1 is not prime. Res64: E723DE442D460023 Time : 0.0 sec. user=mdettweiler [2017-05-08 06:29:24] 799*2^1453295-1 is not prime. Res64: 6CB56AEAE4EFAF8A Time : 0.0 sec. user=mdettweiler [2017-05-08 06:29:24] 805*2^1453295-1 is not prime. Res64: 5E76ED255F111A5D Time : 0.0 sec. user=mdettweiler [2017-05-08 07:09:41] 789*2^1453296-1 is not prime. Res64: 36AF8D868C1CF1D0 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:09:42] 803*2^1453296-1 is not prime. Res64: 949993C92B421802 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:09:42] 815*2^1453296-1 is not prime. Res64: 7A18CBE2A1A6E128 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:09:43] 899*2^1453296-1 is not prime. Res64: 24CD524BC2C54431 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:09:43] 909*2^1453296-1 is not prime. Res64: 728142B7B2FB78FB Time : 0.0 sec. user=mdettweiler [2017-05-08 07:13:59] 933*2^1453296-1 is not prime. Res64: 3A03EDCC1E94A072 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:14:00] 615*2^1453297-1 is not prime. Res64: 8A129918ECE570FE Time : 0.0 sec. user=mdettweiler [2017-05-08 07:14:00] 645*2^1453297-1 is not prime. Res64: BE7A5DB30F1C6DBF Time : 0.0 sec. user=mdettweiler [2017-05-08 07:14:01] 651*2^1453297-1 is not prime. Res64: 5C5E8C99BC917E46 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:14:01] 687*2^1453297-1 is not prime. Res64: AFBCFC87F0F6D03D Time : 0.0 sec. user=juhehe [2017-05-08 07:42:15] 699*2^1453297-1 is not prime. Res64: 5D677B67B79926CD Time : 0.0 sec. user=mdettweiler [2017-05-08 07:54:20] 801*2^1453297-1 is not prime. Res64: 7A4080C49B66C624 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:54:20] 831*2^1453297-1 is not prime. Res64: 5191A59D1D5FCCA8 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:54:20] 871*2^1453297-1 is not prime. Res64: E48A718E37C0CB4E Time : 0.0 sec. user=mdettweiler [2017-05-08 07:54:21] 885*2^1453297-1 is not prime. Res64: 42A74FA9FFAEAFA2 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:54:21] 919*2^1453297-1 is not prime. Res64: 34EFF04A146585B7 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:58:35] 931*2^1453297-1 is not prime. Res64: 3C5EC85EDD8D507E Time : 0.0 sec. user=mdettweiler [2017-05-08 07:58:36] 635*2^1453298-1 is not prime. Res64: FEF161E72B6757AB Time : 0.0 sec. user=mdettweiler [2017-05-08 07:58:36] 771*2^1453298-1 is not prime. Res64: BBA03CB25D957F15 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:58:36] 935*2^1453298-1 is not prime. Res64: 7FFA7428F2A01599 Time : 0.0 sec. user=mdettweiler [2017-05-08 07:58:37] 945*2^1453298-1 is not prime. Res64: 69BAAB3E9B688FC7 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:38:55] 609*2^1453299-1 is not prime. Res64: 4FD493B05AC8F4D5 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:38:56] 625*2^1453299-1 is not prime. Res64: 1251578517C4431E Time : 0.0 sec. user=mdettweiler [2017-05-08 08:38:56] 801*2^1453299-1 is not prime. Res64: 867A662889FCF687 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:38:56] 853*2^1453299-1 is not prime. Res64: A975349E15C07BF0 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:38:57] 931*2^1453299-1 is not prime. Res64: AFC99DEBC9F43C24 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:43:11] 969*2^1453299-1 is not prime. Res64: E9432321A7E597A9 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:43:12] 653*2^1453300-1 is not prime. Res64: 083936FCEDC67E80 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:43:12] 797*2^1453300-1 is not prime. Res64: 013A3B9BCF949C43 Time : 0.0 sec. user=mdettweiler [2017-05-08 08:43:13] 827*2^1453300-1 is not prime. Res64: 8C5D1EBDD535EC6B Time : 0.0 sec. user=mdettweiler [2017-05-08 08:43:13] 839*2^1453300-1 is not prime. Res64: ACBC9BA3FF52F7FD Time : 0.0 sec. user=mdettweiler [2017-05-08 09:23:30] 863*2^1453300-1 is not prime. Res64: 34332E6034EBD278 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:23:31] 873*2^1453300-1 is not prime. Res64: 4B7A8E2092AA8E79 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:23:31] 885*2^1453300-1 is not prime. Res64: 418A1DA02CE6F402 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:23:32] 615*2^1453301-1 is not prime. Res64: E59DE7FC913E5E47 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:23:32] 649*2^1453301-1 is not prime. Res64: 927187C78C7BDBB4 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:27:48] 777*2^1453301-1 is not prime. Res64: B78CDB3007174102 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:27:48] 837*2^1453301-1 is not prime. Res64: CDA3E684D3A5F52C Time : 0.0 sec. user=mdettweiler [2017-05-08 09:27:49] 855*2^1453301-1 is not prime. Res64: 359571960F328EBA Time : 0.0 sec. user=mdettweiler [2017-05-08 09:27:49] 615*2^1453302-1 is not prime. Res64: E54276D5B9608822 Time : 0.0 sec. user=mdettweiler [2017-05-08 09:27:50] 711*2^1453302-1 is not prime. Res64: 96D560AE0459C1C3 Time : 0.0 sec. user=juhehe [2017-05-08 09:40:52] 815*2^1453302-1 is not prime. Res64: 857114B93FD6BB82 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:08:08] 885*2^1453302-1 is not prime. Res64: 52D851EAE1EAA382 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:08:09] 673*2^1453303-1 is not prime. Res64: 171C7E4172C59951 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:08:09] 705*2^1453303-1 is not prime. Res64: E0358B78F074A9E3 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:08:10] 709*2^1453303-1 is not prime. Res64: D0CE07E0F7BECCD9 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:08:10] 723*2^1453303-1 is not prime. Res64: 6A3F0C330701D32B Time : 0.0 sec. user=mdettweiler [2017-05-08 10:12:21] 729*2^1453303-1 is not prime. Res64: F5BC2D61E5197953 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:12:22] 849*2^1453303-1 is not prime. Res64: 365FD7E0B315A73D Time : 0.0 sec. user=mdettweiler [2017-05-08 10:12:22] 853*2^1453303-1 is not prime. Res64: BD8A6BA234F74F77 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:12:22] 895*2^1453303-1 is not prime. Res64: 4FEB45EEC4F6EBCC Time : 0.0 sec. user=mdettweiler [2017-05-08 10:12:23] 901*2^1453303-1 is not prime. Res64: E2D68C2002CDB842 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:52:43] 993*2^1453303-1 is not prime. Res64: 676EDC32E41A999F Time : 0.0 sec. user=mdettweiler [2017-05-08 10:52:43] 605*2^1453304-1 is not prime. Res64: A950BD2ED89CCDE9 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:52:43] 663*2^1453304-1 is not prime. Res64: 361064D131FE57F0 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:52:44] 725*2^1453304-1 is not prime. Res64: B5F7F2EA08AF6F7A Time : 0.0 sec. user=mdettweiler [2017-05-08 10:52:44] 743*2^1453304-1 is not prime. Res64: 3954CBE68BF98ECC Time : 0.0 sec. user=mdettweiler [2017-05-08 10:56:53] 759*2^1453304-1 is not prime. Res64: 06BAF5D80521BA7E Time : 0.0 sec. user=mdettweiler [2017-05-08 10:56:53] 855*2^1453304-1 is not prime. Res64: D3546C62BE8222BA Time : 0.0 sec. user=mdettweiler [2017-05-08 10:56:53] 873*2^1453304-1 is not prime. Res64: 021F7269DA7BB51F Time : 0.0 sec. user=mdettweiler [2017-05-08 10:56:53] 915*2^1453304-1 is not prime. Res64: 8EF8359B5941F028 Time : 0.0 sec. user=mdettweiler [2017-05-08 10:56:54] 935*2^1453304-1 is not prime. Res64: 5BC0C3A2270E5A17 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:37:13] 983*2^1453304-1 is not prime. Res64: 900BA597A704A974 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:37:14] 691*2^1453305-1 is not prime. Res64: 854DE16D58FB4F36 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:37:14] 717*2^1453305-1 is not prime. Res64: 4348DD96D781FF86 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:37:15] 751*2^1453305-1 is not prime. Res64: 8566DA9D2ED75B8A Time : 0.0 sec. user=mdettweiler [2017-05-08 11:37:15] 781*2^1453305-1 is not prime. Res64: 78B06D6115317E86 Time : 0.0 sec. user=juhehe [2017-05-08 11:38:28] 975*2^1453305-1 is not prime. Res64: 2459C64B2A099DCE Time : 0.0 sec. user=mdettweiler [2017-05-08 11:41:22] 787*2^1453305-1 is not prime. Res64: 741FEA049D8B3973 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:41:23] 819*2^1453305-1 is not prime. Res64: 2706BB07515691B4 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:41:23] 885*2^1453305-1 is not prime. Res64: BB3A0BB372F2A756 Time : 0.0 sec. user=mdettweiler [2017-05-08 11:41:24] 895*2^1453305-1 is not prime. Res64: 1D316A13E55AD37C Time : 0.0 sec. user=mdettweiler [2017-05-08 11:41:24] 915*2^1453305-1 is not prime. Res64: 258E47BDC6854DDE Time : 0.0 sec. user=mdettweiler [2017-05-08 12:21:48] 997*2^1453305-1 is not prime. Res64: 9BF10B6CB49A488D Time : 0.0 sec. user=mdettweiler [2017-05-08 12:21:49] 677*2^1453306-1 is not prime. Res64: C39067B6522F0562 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:21:49] 735*2^1453306-1 is not prime. Res64: CFBA9AD1B715E643 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:21:50] 743*2^1453306-1 is not prime. Res64: 8E76F0C946D70D12 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:21:50] 857*2^1453306-1 is not prime. Res64: 40BD41E9667B199A Time : 0.0 sec. user=mdettweiler [2017-05-08 12:25:56] 891*2^1453306-1 is not prime. Res64: E013CC538905D43A Time : 0.0 sec. user=mdettweiler [2017-05-08 12:25:56] 957*2^1453306-1 is not prime. Res64: AE1CFD9B41A78E99 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:25:57] 619*2^1453307-1 is not prime. Res64: ABAB96354ED85C24 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:25:57] 633*2^1453307-1 is not prime. Res64: 90B28BEAB6A433E4 Time : 0.0 sec. user=mdettweiler [2017-05-08 12:25:58] 711*2^1453307-1 is not prime. Res64: FE0073FD442F7EC7 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:06:32] 735*2^1453307-1 is not prime. Res64: AAC52BB28C57F76D Time : 0.0 sec. user=mdettweiler [2017-05-08 13:06:32] 813*2^1453307-1 is not prime. Res64: 8F98788A8B284088 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:06:33] 859*2^1453307-1 is not prime. Res64: 00C18A61DD6612F2 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:06:33] 885*2^1453307-1 is not prime. Res64: 8A2D6FE8F47549FF Time : 0.0 sec. user=mdettweiler [2017-05-08 13:06:34] 945*2^1453307-1 is not prime. Res64: A8DDFB6057E01260 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:10:32] 985*2^1453307-1 is not prime. Res64: 4689DFDFE3378924 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:10:33] 647*2^1453308-1 is not prime. Res64: 0C8368C883763B8F Time : 0.0 sec. user=mdettweiler [2017-05-08 13:10:33] 705*2^1453308-1 is not prime. Res64: 52240E1788C674C0 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:10:34] 725*2^1453308-1 is not prime. Res64: 6E94BFF14FE6C7E5 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:10:34] 749*2^1453308-1 is not prime. Res64: C2BA92D03DFA40E3 Time : 0.0 sec. user=juhehe [2017-05-08 13:37:07] 825*2^1453308-1 is not prime. Res64: B5CCBEEF9B4F6334 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:51:14] 875*2^1453308-1 is not prime. Res64: FADCF4EA03E693BE Time : 0.0 sec. user=mdettweiler [2017-05-08 13:51:15] 927*2^1453308-1 is not prime. Res64: 5116AD4104E7582C Time : 0.0 sec. user=mdettweiler [2017-05-08 13:51:15] 929*2^1453308-1 is not prime. Res64: B701D8A2EE181CEB Time : 0.0 sec. user=mdettweiler [2017-05-08 13:51:15] 933*2^1453308-1 is not prime. Res64: C7113240CE9915F8 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:51:15] 993*2^1453308-1 is not prime. Res64: 6EAA3A0D4460BF4A Time : 0.0 sec. user=mdettweiler [2017-05-08 13:55:15] 621*2^1453309-1 is not prime. Res64: B614A355EFDD9AA2 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:55:16] 687*2^1453309-1 is not prime. Res64: B1094DA82EDC1723 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:55:16] 771*2^1453309-1 is not prime. Res64: B854CCAEF1170685 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:55:16] 835*2^1453309-1 is not prime. Res64: A1734C3FB5899BB7 Time : 0.0 sec. user=mdettweiler [2017-05-08 13:55:17] 867*2^1453309-1 is not prime. Res64: 33365E1E721E8747 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:36:12] 945*2^1453309-1 is not prime. Res64: 253615B6BC410BE9 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:36:13] 687*2^1453310-1 is not prime. Res64: 93446B56FAF36298 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:36:13] 755*2^1453310-1 is not prime. Res64: 9FBC98304EBFDCEE Time : 0.0 sec. user=mdettweiler [2017-05-08 14:36:14] 785*2^1453310-1 is not prime. Res64: EBBA5D2C1DF12C97 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:36:14] 723*2^1453311-1 is not prime. Res64: EC88322EFD86BBFE Time : 0.0 sec. user=mdettweiler [2017-05-08 14:40:10] 735*2^1453311-1 is not prime. Res64: 29A9BFC7E39821D5 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:40:10] 825*2^1453311-1 is not prime. Res64: F39B85DA0A2E9CF5 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:40:11] 921*2^1453311-1 is not prime. Res64: 6776F78F094F0964 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:40:11] 975*2^1453311-1 is not prime. Res64: D58458AA51973371 Time : 0.0 sec. user=mdettweiler [2017-05-08 14:40:12] 999*2^1453311-1 is not prime. Res64: AAED13F5F368F69A Time : 0.0 sec. user=mdettweiler [2017-05-08 15:20:45] 623*2^1453312-1 is not prime. Res64: 1342CFDC4C659DEE Time : 0.0 sec. user=mdettweiler [2017-05-08 15:20:45] 677*2^1453312-1 is not prime. Res64: BEEF5DFD7576199F Time : 0.0 sec. user=mdettweiler [2017-05-08 15:20:46] 909*2^1453312-1 is not prime. Res64: B11C21C6E8729B20 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:20:46] 975*2^1453312-1 is not prime. Res64: 1572CCB7870C5969 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:20:47] 615*2^1453313-1 is not prime. Res64: D4909CF712D4A053 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:24:41] 619*2^1453313-1 is not prime. Res64: DCEE1437639FD0E6 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:24:41] 669*2^1453313-1 is not prime. Res64: 040BBCEBD70D05D5 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:24:41] 721*2^1453313-1 is not prime. Res64: D9921B1BA9DE2A32 Time : 0.0 sec. user=mdettweiler [2017-05-08 15:24:42] 771*2^1453313-1 is not prime. Res64: A6A9246E2AB30C9F Time : 0.0 sec. user=mdettweiler [2017-05-08 15:24:42] 805*2^1453313-1 is not prime. Res64: 12B9AB3FD67D2F43 Time : 0.0 sec. user=juhehe [2017-05-08 15:34:19] 829*2^1453313-1 is not prime. Res64: 59CABEA591B9FEE6 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:05:16] 861*2^1453313-1 is not prime. Res64: 7AB0CCB396374E87 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:05:17] 677*2^1453314-1 is not prime. Res64: C7A8ABCB674367FA Time : 0.0 sec. user=mdettweiler [2017-05-08 16:05:18] 705*2^1453314-1 is not prime. Res64: 000D58D5A6935954 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:05:19] 723*2^1453314-1 is not prime. Res64: 2F1D244D48DFC6CB Time : 0.0 sec. user=mdettweiler [2017-05-08 16:05:19] 803*2^1453314-1 is not prime. Res64: 46B48B61DF07E627 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:09:11] 975*2^1453314-1 is not prime. Res64: 44DF495D5D6F1EDD Time : 0.0 sec. user=mdettweiler [2017-05-08 16:09:12] 983*2^1453314-1 is not prime. Res64: CF57B8B8D3CA4D9B Time : 0.0 sec. user=mdettweiler [2017-05-08 16:09:12] 601*2^1453315-1 is not prime. Res64: 17450F628CE9D907 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:09:13] 609*2^1453315-1 is not prime. Res64: CED3BD78F5173443 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:09:15] 619*2^1453315-1 is not prime. Res64: 59CCB5C2D26BEFE0 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:49:56] 631*2^1453315-1 is not prime. Res64: 19650462E9426273 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:49:56] 639*2^1453315-1 is not prime. Res64: 324C6EB1D6DAADD9 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:49:57] 723*2^1453315-1 is not prime. Res64: 53920B107C562E57 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:49:57] 751*2^1453315-1 is not prime. Res64: 4CD4F3532F60EB20 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:49:57] 771*2^1453315-1 is not prime. Res64: 5BA010C9DA3380A9 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:53:58] 873*2^1453315-1 is not prime. Res64: 1F379BA53192C6A4 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:53:58] 889*2^1453315-1 is not prime. Res64: 6EF7935A75B6401B Time : 0.0 sec. user=mdettweiler [2017-05-08 16:53:59] 919*2^1453315-1 is not prime. Res64: 6FAD226034E94A11 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:53:59] 979*2^1453315-1 is not prime. Res64: 18DB2363B23A5B15 Time : 0.0 sec. user=mdettweiler [2017-05-08 16:54:00] 603*2^1453316-1 is not prime. Res64: 85C1DA2BC085E564 Time : 0.0 sec. user=juhehe [2017-05-08 17:32:20] 759*2^1453317-1 is not prime. Res64: 79764E79B38E19BB Time : 0.0 sec. user=mdettweiler [2017-05-08 17:34:26] 843*2^1453316-1 is not prime. Res64: 54EDEFAE4566E8FF Time : 0.0 sec. user=mdettweiler [2017-05-08 17:34:27] 969*2^1453316-1 is not prime. Res64: DE64722A5DDAD48E Time : 0.0 sec. user=mdettweiler [2017-05-08 17:34:27] 685*2^1453317-1 is not prime. Res64: 38DC2A21EB407946 Time : 0.0 sec. user=mdettweiler [2017-05-08 17:34:27] 699*2^1453317-1 is not prime. Res64: 2268275640ED2539 Time : 0.0 sec. user=mdettweiler [2017-05-08 17:34:28] 709*2^1453317-1 is not prime. Res64: AC5F465E638076AA Time : 0.0 sec. user=mdettweiler [2017-05-08 17:38:28] 847*2^1453317-1 is not prime. Res64: 573981AF7EF77086 Time : 0.0 sec. user=mdettweiler [2017-05-08 17:38:29] 895*2^1453317-1 is not prime. Res64: 634C0FD6D5A53C0F Time : 0.0 sec. user=mdettweiler [2017-05-08 17:38:29] 737*2^1453318-1 is not prime. Res64: 088E1505F0BBA497 Time : 0.0 sec. user=mdettweiler [2017-05-08 17:38:30] 843*2^1453318-1 is not prime. Res64: E3273DDBA73C9451 Time : 0.0 sec. user=mdettweiler [2017-05-08 17:38:30] 861*2^1453318-1 is not prime. Res64: 848CC2FC1780BB6C Time : 0.0 sec. user=mdettweiler [2017-05-08 18:18:58] 609*2^1453319-1 is not prime. Res64: DB87F99A26281E3A Time : 0.0 sec. user=mdettweiler [2017-05-08 18:18:59] 661*2^1453319-1 is not prime. Res64: 6F4504ABDCCF3DAF Time : 0.0 sec. user=mdettweiler [2017-05-08 18:18:59] 693*2^1453319-1 is not prime. Res64: ADA56D4D6FA2FA6B Time : 0.0 sec. user=mdettweiler [2017-05-08 18:19:00] 729*2^1453319-1 is not prime. Res64: F1E544ECA8D8818A Time : 0.0 sec. user=mdettweiler [2017-05-08 18:19:01] 741*2^1453319-1 is not prime. Res64: 59A5F20C33BC1858 Time : 0.0 sec. user=mdettweiler [2017-05-08 18:22:59] 843*2^1453319-1 is not prime. Res64: D6DDD4660CBCFFB1 Time : 0.0 sec. user=mdettweiler [2017-05-08 18:23:00] 855*2^1453319-1 is not prime. Res64: A9F40873853AC5B1 Time : 0.0 sec. user=mdettweiler [2017-05-08 18:23:00] 969*2^1453319-1 is not prime. Res64: C3B1D6B4B3B1430E Time : 0.0 sec. user=mdettweiler [2017-05-08 18:23:01] 973*2^1453319-1 is not prime. Res64: 76E6CBD0089ADB88 Time : 0.0 sec. user=mdettweiler [2017-05-08 18:23:01] 985*2^1453319-1 is not prime. Res64: 99011EA704910283 Time : 0.0 sec. user=juhehe [2017-05-08 19:01:54] 923*2^1453320-1 is not prime. Res64: CB445F8534B2B38B Time : 0.0 sec. user=mdettweiler [2017-05-08 19:03:38] 635*2^1453320-1 is not prime. Res64: 9521440692CFDBD6 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:03:40] 753*2^1453320-1 is not prime. Res64: 10872254EF1AC554 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:03:42] 767*2^1453320-1 is not prime. Res64: 188D581E4F53435E Time : 0.0 sec. user=mdettweiler [2017-05-08 19:03:43] 845*2^1453320-1 is not prime. Res64: 4E9CDB6649DF6ED7 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:03:45] 863*2^1453320-1 is not prime. Res64: 6F200746DF1672CC Time : 0.0 sec. user=mdettweiler [2017-05-08 19:07:36] 935*2^1453320-1 is not prime. Res64: AACA60E49FF41DEA Time : 0.0 sec. user=mdettweiler [2017-05-08 19:07:37] 615*2^1453321-1 is not prime. Res64: 02944CEB2E6274B7 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:07:37] 691*2^1453321-1 is not prime. Res64: 6FD2FFE4250C6178 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:07:38] 745*2^1453321-1 is not prime. Res64: 415D1CBF32625A7A Time : 0.0 sec. user=mdettweiler [2017-05-08 19:07:38] 769*2^1453321-1 is not prime. Res64: 34EFF65689A55F7F Time : 0.0 sec. user=juhehe [2017-05-08 19:31:04] 861*2^1453321-1 is not prime. Res64: 265CF531BFD6EC88 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:48:34] 871*2^1453321-1 is not prime. Res64: C700D04A3B4C23F7 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:48:34] 975*2^1453321-1 is not prime. Res64: 74EB6010686FCD9A Time : 0.0 sec. user=mdettweiler [2017-05-08 19:48:35] 791*2^1453322-1 is not prime. Res64: 1C6036745AE3F8E3 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:48:35] 827*2^1453322-1 is not prime. Res64: 466673D53595D976 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:48:36] 945*2^1453322-1 is not prime. Res64: A3AB0FAF90F98C36 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:52:09] 951*2^1453322-1 is not prime. Res64: D170A366A95C8C20 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:52:10] 963*2^1453322-1 is not prime. Res64: D323254D11BDE41E Time : 0.0 sec. user=mdettweiler [2017-05-08 19:52:10] 619*2^1453323-1 is not prime. Res64: F7562188D6E38DFC Time : 0.0 sec. user=mdettweiler [2017-05-08 19:52:11] 709*2^1453323-1 is not prime. Res64: BAA51FBFDF7223D7 Time : 0.0 sec. user=mdettweiler [2017-05-08 19:52:11] 735*2^1453323-1 is not prime. Res64: B62986CCE56DB963 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:33:07] 745*2^1453323-1 is not prime. Res64: 5CE90E54A5C789BD Time : 0.0 sec. user=mdettweiler [2017-05-08 20:33:08] 793*2^1453323-1 is not prime. Res64: 10A1079816E6D1E4 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:33:08] 795*2^1453323-1 is not prime. Res64: 0BE84F19CF08E179 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:33:09] 615*2^1453324-1 is not prime. Res64: 83C9AD7EABC68FE5 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:33:10] 617*2^1453324-1 is not prime. Res64: 04EE16C5B1607A82 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:36:43] 629*2^1453324-1 is not prime. Res64: 9DFBF43A7E4C905D Time : 0.0 sec. user=mdettweiler [2017-05-08 20:36:43] 707*2^1453324-1 is not prime. Res64: 3AE08EA119B85BF7 Time : 0.0 sec. user=mdettweiler [2017-05-08 20:36:44] 773*2^1453324-1 is not prime. Res64: 7BCA960896A51C1C Time : 0.0 sec. user=mdettweiler [2017-05-08 20:36:44] 807*2^1453324-1 is not prime. Res64: 517A411634BBAB4C Time : 0.0 sec. user=mdettweiler [2017-05-08 20:36:45] 827*2^1453324-1 is not prime. Res64: C199E0251254F0D7 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:17:41] 875*2^1453324-1 is not prime. Res64: C966686BA661A4FD Time : 0.0 sec. user=mdettweiler [2017-05-08 21:17:42] 897*2^1453324-1 is not prime. Res64: 5985D54FCA43B98F Time : 0.0 sec. user=mdettweiler [2017-05-08 21:17:42] 983*2^1453324-1 is not prime. Res64: C36CB5449AA65463 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:17:43] 715*2^1453325-1 is not prime. Res64: FDB294E2DF454F9F Time : 0.0 sec. user=mdettweiler [2017-05-08 21:17:43] 771*2^1453325-1 is not prime. Res64: 24614E53E452C527 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:21:15] 811*2^1453325-1 is not prime. Res64: 070DB1EE925902ED Time : 0.0 sec. user=mdettweiler [2017-05-08 21:21:16] 937*2^1453325-1 is not prime. Res64: 273F32DC6D296EB1 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:21:16] 939*2^1453325-1 is not prime. Res64: 6E31F528BFC2A027 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:21:17] 711*2^1453326-1 is not prime. Res64: 38901152FC59B747 Time : 0.0 sec. user=mdettweiler [2017-05-08 21:21:17] 761*2^1453326-1 is not prime. Res64: 0AA8B6884B11A276 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:02:16] 777*2^1453326-1 is not prime. Res64: D2BA225F0788908E Time : 0.0 sec. user=mdettweiler [2017-05-08 22:02:18] 815*2^1453326-1 is not prime. Res64: 87F57433A30092E1 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:02:19] 875*2^1453326-1 is not prime. Res64: 7C1F5998F0BECDB8 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:02:20] 983*2^1453326-1 is not prime. Res64: 88F74476E945035B Time : 0.0 sec. user=mdettweiler [2017-05-08 22:02:22] 993*2^1453326-1 is not prime. Res64: C4284CD2E83CC99E Time : 0.0 sec. user=juhehe [2017-05-08 22:03:18] 873*2^1453327-1 is not prime. Res64: 5CD47C2EE46590A7 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:05:49] 675*2^1453327-1 is not prime. Res64: 6A4A8C4D6724F7AD Time : 0.0 sec. user=mdettweiler [2017-05-08 22:05:50] 741*2^1453327-1 is not prime. Res64: 2A3A6BE3EBCD7E11 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:05:51] 769*2^1453327-1 is not prime. Res64: F97129BCFFCE8353 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:05:52] 859*2^1453327-1 is not prime. Res64: 496C831B9BBF91FF Time : 0.0 sec. user=mdettweiler [2017-05-08 22:05:53] 871*2^1453327-1 is not prime. Res64: 0511B7C63A985DD4 Time : 0.0 sec. user=juhehe [2017-05-08 22:42:03] 657*2^1453328-1 is not prime. Res64: 3FD29B9BEC5B951F Time : 0.0 sec. user=mdettweiler [2017-05-08 22:46:57] 909*2^1453327-1 is not prime. Res64: 4C850C2F9B5653E1 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:46:57] 961*2^1453327-1 is not prime. Res64: B882D31345470E7B Time : 0.0 sec. user=mdettweiler [2017-05-08 22:46:57] 975*2^1453327-1 is not prime. Res64: 438D5F6DDA39598B Time : 0.0 sec. user=mdettweiler [2017-05-08 22:46:58] 979*2^1453327-1 is not prime. Res64: 66600D9F873EDB9E Time : 0.0 sec. user=mdettweiler [2017-05-08 22:46:58] 633*2^1453328-1 is not prime. Res64: 0DB707BCE7192CBA Time : 0.0 sec. user=mdettweiler [2017-05-08 22:50:33] 795*2^1453328-1 is not prime. Res64: 788CECBD5BDBD566 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:50:33] 909*2^1453328-1 is not prime. Res64: 0E4B85743C63C45A Time : 0.0 sec. user=mdettweiler [2017-05-08 22:50:34] 959*2^1453328-1 is not prime. Res64: 6E5752A45FCB0201 Time : 0.0 sec. user=mdettweiler [2017-05-08 22:50:34] 637*2^1453329-1 is not prime. Res64: 5D009CC347E4321C Time : 0.0 sec. user=mdettweiler [2017-05-08 22:50:34] 649*2^1453329-1 is not prime. Res64: FEC8F2F3589C1D70 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:31:30] 727*2^1453329-1 is not prime. Res64: 57DEEE95BAE3D3D0 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:31:31] 747*2^1453329-1 is not prime. Res64: 852450A57F2D4D48 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:31:31] 751*2^1453329-1 is not prime. Res64: 3BFB472AE53E9907 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:31:31] 787*2^1453329-1 is not prime. Res64: 783BF93BCA934252 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:31:32] 795*2^1453329-1 is not prime. Res64: 5EAFE8A56ED2E171 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:35:09] 829*2^1453329-1 is not prime. Res64: E965BA73E5EF1D1B Time : 0.0 sec. user=mdettweiler [2017-05-08 23:35:10] 833*2^1453330-1 is not prime. Res64: AE70742257D56F07 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:35:10] 843*2^1453330-1 is not prime. Res64: 3270051C5EA65267 Time : 0.0 sec. user=mdettweiler [2017-05-08 23:35:11] 651*2^1453331-1 is not prime. Res64: B8716618478D7BEB Time : 0.0 sec. user=mdettweiler [2017-05-08 23:35:11] 663*2^1453331-1 is not prime. Res64: 6E1C8C3DCFF0E79C Time : 0.0 sec.