user=mdettweiler [2016-06-17 00:09:27] 871*2^1432615-1 is not prime. Res64: 0D706CE3F7C415BF Time : 0.0 sec. user=mdettweiler [2016-06-17 00:09:27] 895*2^1432615-1 is not prime. Res64: DC66F6E47E0C3D8D Time : 0.0 sec. user=mdettweiler [2016-06-17 00:09:28] 915*2^1432615-1 is not prime. Res64: A5F98FD322CEAAC5 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:09:28] 933*2^1432615-1 is not prime. Res64: 6F35F5E2DDB4AEF7 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:09:29] 943*2^1432615-1 is not prime. Res64: 989A911FED1F89F9 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:40] 617*2^1432616-1 is not prime. Res64: 01674827101429E1 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:40] 677*2^1432616-1 is not prime. Res64: C3E36AB8D98662BF Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:41] 735*2^1432616-1 is not prime. Res64: C5DD7BDA189579B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:41] 873*2^1432616-1 is not prime. Res64: 86B956E50334DA43 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:41] 899*2^1432616-1 is not prime. Res64: FC9656D050F377A6 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:56] 927*2^1432616-1 is not prime. Res64: 2A47E77C4F5FCE8E Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:56] 999*2^1432616-1 is not prime. Res64: 6778CB00DAB37089 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:57] 615*2^1432617-1 is not prime. Res64: B7F314653CC6F90F Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:57] 699*2^1432617-1 is not prime. Res64: 1AA5DEFF553EF243 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:10:57] 741*2^1432617-1 is not prime. Res64: C8AA2E7A56968944 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:24:02] 817*2^1432617-1 is not prime. Res64: 6241628A79AB9C14 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:24:02] 617*2^1432618-1 is not prime. Res64: 17F1C82E0C6A9EF7 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:24:03] 647*2^1432618-1 is not prime. Res64: EAC901D304D68974 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:24:03] 657*2^1432618-1 is not prime. Res64: A03B534F71D70765 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:24:03] 723*2^1432618-1 is not prime. Res64: 26084B7850FC328C Time : 0.0 sec. user=mdettweiler [2016-06-17 00:54:06] 831*2^1432618-1 is not prime. Res64: 0715632B00DB379E Time : 0.0 sec. user=mdettweiler [2016-06-17 00:54:06] 975*2^1432618-1 is not prime. Res64: CB53645D01268DD8 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:54:07] 619*2^1432619-1 is not prime. Res64: 53A1E4E377678BDE Time : 0.0 sec. user=mdettweiler [2016-06-17 00:54:07] 663*2^1432619-1 is not prime. Res64: 50216BACA5FA200C Time : 0.0 sec. user=mdettweiler [2016-06-17 00:54:07] 801*2^1432619-1 is not prime. Res64: C4CB3ADC7B3FF555 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:04] 889*2^1432619-1 is not prime. Res64: A97EC6603480EBAF Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:04] 903*2^1432619-1 is not prime. Res64: EB08ACDE126F50B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:05] 913*2^1432619-1 is not prime. Res64: 34F9E7A1920D6D8B Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:05] 665*2^1432620-1 is not prime. Res64: C693302B6CEA86FD Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:05] 695*2^1432620-1 is not prime. Res64: 06600CC05F10D984 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:25] 737*2^1432620-1 is not prime. Res64: 5AE173DFC80040B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:26] 753*2^1432620-1 is not prime. Res64: 0E296E07B3143030 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:26] 767*2^1432620-1 is not prime. Res64: 4935D5B0275C024C Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:27] 863*2^1432620-1 is not prime. Res64: C8F7AE175AD7E7D7 Time : 0.0 sec. user=mdettweiler [2016-06-17 00:55:27] 887*2^1432620-1 is not prime. Res64: 51059A4D085B205B Time : 0.0 sec. user=mdettweiler [2016-06-17 01:08:50] 923*2^1432620-1 is not prime. Res64: 81390C3F3C407E14 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:08:50] 927*2^1432620-1 is not prime. Res64: 66E2861876F2826F Time : 0.0 sec. user=mdettweiler [2016-06-17 01:08:51] 935*2^1432620-1 is not prime. Res64: E26AFC9E1B0B2960 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:08:51] 983*2^1432620-1 is not prime. Res64: BF77D84E1DA3D725 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:08:52] 607*2^1432621-1 is not prime. Res64: 4BFE13C53CE46CC9 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:38:42] 651*2^1432621-1 is not prime. Res64: 2DD2F77709E141D6 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:38:42] 691*2^1432621-1 is not prime. Res64: 7B026D2FBD2BCBD0 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:38:43] 727*2^1432621-1 is not prime. Res64: B5C5022204EA73C7 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:38:43] 741*2^1432621-1 is not prime. Res64: CF8CFB36344E8882 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:38:44] 777*2^1432621-1 is not prime. Res64: CA6B092667FE4F3E Time : 0.0 sec. user=mdettweiler [2016-06-17 01:39:34] 799*2^1432621-1 is not prime. Res64: F78A7DD53A444FEB Time : 0.0 sec. user=mdettweiler [2016-06-17 01:39:34] 805*2^1432621-1 is not prime. Res64: F044B9A3A9AD7475 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:39:35] 895*2^1432621-1 is not prime. Res64: F5DDB7E241C714F5 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:39:35] 937*2^1432621-1 is not prime. Res64: 0D1E961274A84C1A Time : 0.0 sec. user=mdettweiler [2016-06-17 01:39:36] 957*2^1432621-1 is not prime. Res64: 25E6EA85FDC81385 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:40:03] 617*2^1432622-1 is not prime. Res64: 8A75D4B24A1FBC33 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:40:03] 677*2^1432622-1 is not prime. Res64: E5E1E078A837E9B5 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:40:04] 771*2^1432622-1 is not prime. Res64: 7BC5D5DF9F84B129 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:40:04] 813*2^1432622-1 is not prime. Res64: FD892BCC3AA96D26 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:40:05] 857*2^1432622-1 is not prime. Res64: 4A66159C5CB380B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:53:24] 965*2^1432622-1 is not prime. Res64: FE598B6C653FD131 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:53:25] 709*2^1432623-1 is not prime. Res64: 247D372F361A36F9 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:53:25] 819*2^1432623-1 is not prime. Res64: B534BA3EB1BC2E6F Time : 0.0 sec. user=mdettweiler [2016-06-17 01:53:25] 933*2^1432623-1 is not prime. Res64: 88CACE6C0ECE4013 Time : 0.0 sec. user=mdettweiler [2016-06-17 01:53:26] 985*2^1432623-1 is not prime. Res64: A2E57B102B6C1A79 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:23:23] 657*2^1432624-1 is not prime. Res64: 1ECA6F1E58DB1755 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:23:23] 665*2^1432624-1 is not prime. Res64: B761681545E48F70 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:23:24] 693*2^1432624-1 is not prime. Res64: DC2153EE13F55141 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:23:24] 755*2^1432624-1 is not prime. Res64: FC8D34150C92D19C Time : 0.0 sec. user=mdettweiler [2016-06-17 02:23:25] 759*2^1432624-1 is not prime. Res64: 35726750F8C62C77 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:04] 849*2^1432624-1 is not prime. Res64: 8293FD893EDBBF42 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:05] 875*2^1432624-1 is not prime. Res64: 318D82740DBF174C Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:05] 887*2^1432624-1 is not prime. Res64: 7569A6EB2C775F1A Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:06] 965*2^1432624-1 is not prime. Res64: F8CD5C34F8026FEA Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:06] 607*2^1432625-1 is not prime. Res64: 5954453DE4CFCD5B Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:57] 771*2^1432625-1 is not prime. Res64: 1B68A353666688C1 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:57] 777*2^1432625-1 is not prime. Res64: EC4902E889CD2A43 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:58] 781*2^1432625-1 is not prime. Res64: 2E9A021312826CF6 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:58] 789*2^1432625-1 is not prime. Res64: 30863F514C7EAC9D Time : 0.0 sec. user=mdettweiler [2016-06-17 02:24:58] 795*2^1432625-1 is not prime. Res64: 0F1260F896D5A41A Time : 0.0 sec. user=mdettweiler [2016-06-17 02:38:00] 811*2^1432625-1 is not prime. Res64: 5D1AA70F4974549E Time : 0.0 sec. user=mdettweiler [2016-06-17 02:38:00] 885*2^1432625-1 is not prime. Res64: E542EA339A3A9269 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:38:01] 981*2^1432625-1 is not prime. Res64: BE46ED448EA60943 Time : 0.0 sec. user=mdettweiler [2016-06-17 02:38:01] 747*2^1432626-1 is not prime. Res64: E4DB5B159F2CDA8C Time : 0.0 sec. user=mdettweiler [2016-06-17 02:38:01] 947*2^1432626-1 is not prime. Res64: E300D8DDB64E246B Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:03] 639*2^1432627-1 is not prime. Res64: BD6F9FD4A38130AA Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:04] 913*2^1432627-1 is not prime. Res64: B813472E48F3506E Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:04] 939*2^1432627-1 is not prime. Res64: 29EB24E05B21F0BE Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:05] 635*2^1432628-1 is not prime. Res64: BFFA60492192D096 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:05] 729*2^1432628-1 is not prime. Res64: D64D79C73C29D0A5 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:44] 855*2^1432628-1 is not prime. Res64: B53CFD097ACBBBEB Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:44] 995*2^1432628-1 is not prime. Res64: 40CE57B998A14B59 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:45] 601*2^1432629-1 is not prime. Res64: 8E0ED2C07A35EC9E Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:45] 817*2^1432629-1 is not prime. Res64: 981D629812039816 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:08:45] 831*2^1432629-1 is not prime. Res64: F10A54E5BE91A409 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:09:34] 895*2^1432629-1 is not prime. Res64: 9EB59AC05C9D715F Time : 0.0 sec. user=mdettweiler [2016-06-17 03:09:34] 919*2^1432629-1 is not prime. Res64: 05BD56CE550A6D37 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:09:35] 927*2^1432629-1 is not prime. Res64: 8AA6734E67ECD9D0 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:09:35] 951*2^1432629-1 is not prime. Res64: 0BAA8493E9381616 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:09:36] 955*2^1432629-1 is not prime. Res64: B28FD2F6DD2F73FB Time : 0.0 sec. user=mdettweiler [2016-06-17 03:22:44] 999*2^1432629-1 is not prime. Res64: 3D0EC628DDC0B3F6 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:22:45] 707*2^1432630-1 is not prime. Res64: B3BE20CE69938F4C Time : 0.0 sec. user=mdettweiler [2016-06-17 03:22:46] 717*2^1432630-1 is not prime. Res64: 1877AD6CCB27FB0F Time : 0.0 sec. user=mdettweiler [2016-06-17 03:22:46] 791*2^1432630-1 is not prime. Res64: B59B02384CD9BB08 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:22:47] 821*2^1432630-1 is not prime. Res64: 08E183C2AA740C90 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:53:49] 951*2^1432630-1 is not prime. Res64: C0AB4CF9721F0D18 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:53:51] 759*2^1432631-1 is not prime. Res64: 4CDC715AC672F9CD Time : 0.0 sec. user=mdettweiler [2016-06-17 03:53:51] 763*2^1432631-1 is not prime. Res64: 77BC17D8DD893D9C Time : 0.0 sec. user=mdettweiler [2016-06-17 03:53:52] 781*2^1432631-1 is not prime. Res64: BD419EC2545A35E9 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:53:53] 913*2^1432631-1 is not prime. Res64: 3A6E7A2602D7D7E4 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:38] 873*2^1432632-1 is not prime. Res64: A18925F4AE533474 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:39] 929*2^1432632-1 is not prime. Res64: C96E105B57A1D7D2 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:39] 691*2^1432633-1 is not prime. Res64: 65F0DF055333F8DD Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:40] 805*2^1432633-1 is not prime. Res64: 066719CB2C8A5F73 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:40] 877*2^1432633-1 is not prime. Res64: 05A8712D97E87C16 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:55] 955*2^1432631-1 is not prime. Res64: 0945F5F2BD73917B Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:55] 629*2^1432632-1 is not prime. Res64: 92B036EC8F7B9A07 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:56] 665*2^1432632-1 is not prime. Res64: 088675C09180BA27 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:56] 669*2^1432632-1 is not prime. Res64: E4D2887291110108 Time : 0.0 sec. user=mdettweiler [2016-06-17 03:55:56] 737*2^1432632-1 is not prime. Res64: 886D140641DF726D Time : 0.0 sec. user=mdettweiler [2016-06-17 04:08:19] 945*2^1432633-1 is not prime. Res64: 9C90FA9A547A563F Time : 0.0 sec. user=mdettweiler [2016-06-17 04:08:21] 825*2^1432634-1 is not prime. Res64: 4AA58A332EA9B113 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:08:24] 831*2^1432634-1 is not prime. Res64: 473BA8AA2CA7947D Time : 0.0 sec. user=mdettweiler [2016-06-17 04:08:26] 875*2^1432634-1 is not prime. Res64: B6768499F113B1A3 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:08:27] 887*2^1432634-1 is not prime. Res64: CF0BE955FDE46B8A Time : 0.0 sec. user=mdettweiler [2016-06-17 04:38:55] 917*2^1432634-1 is not prime. Res64: 426ED88B6FBC7AD9 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:38:56] 619*2^1432635-1 is not prime. Res64: 995993C9FBC5CD1E Time : 0.0 sec. user=mdettweiler [2016-06-17 04:38:56] 643*2^1432635-1 is not prime. Res64: 60E37D98B6A984CF Time : 0.0 sec. user=mdettweiler [2016-06-17 04:38:56] 723*2^1432635-1 is not prime. Res64: 63592FAC0E22EB48 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:38:57] 961*2^1432635-1 is not prime. Res64: C173E2334B6807C4 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:15] 985*2^1432635-1 is not prime. Res64: 4D0BB6A930342E51 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:16] 677*2^1432636-1 is not prime. Res64: 63C15293A1D82E52 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:16] 735*2^1432636-1 is not prime. Res64: D3B27D8E1370A26B Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:16] 855*2^1432636-1 is not prime. Res64: 2DA8D9AB88B4BC2F Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:17] 905*2^1432636-1 is not prime. Res64: 76E3BF62CC9E868F Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:36] 965*2^1432636-1 is not prime. Res64: 8EDA5A80A432720E Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:37] 727*2^1432637-1 is not prime. Res64: F6E8DDFE6906B307 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:37] 795*2^1432637-1 is not prime. Res64: 2494F22F81E07F1D Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:37] 829*2^1432637-1 is not prime. Res64: 4AD1DEC1B0D1A7D4 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:40:38] 837*2^1432637-1 is not prime. Res64: C8831A0256C4D669 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:53:30] 861*2^1432637-1 is not prime. Res64: A67320224A769FC6 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:53:30] 939*2^1432637-1 is not prime. Res64: D2A599581A1B3B18 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:53:30] 681*2^1432638-1 is not prime. Res64: 5BEA61A27F8F2526 Time : 0.0 sec. user=mdettweiler [2016-06-17 04:53:31] 755*2^1432638-1 is not prime. Res64: 7995676FB090810B Time : 0.0 sec. user=mdettweiler [2016-06-17 04:53:31] 797*2^1432638-1 is not prime. Res64: 84E71A7B10B992D7 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:23:44] 815*2^1432638-1 is not prime. Res64: 1643E294D3AB0286 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:23:45] 941*2^1432638-1 is not prime. Res64: 5B61E636A99A359F Time : 0.0 sec. user=mdettweiler [2016-06-17 05:23:46] 1001*2^1432638-1 is not prime. Res64: 285853443B2495DB Time : 0.0 sec. user=mdettweiler [2016-06-17 05:23:46] 601*2^1432639-1 is not prime. Res64: F1F498DD9518856B Time : 0.0 sec. user=mdettweiler [2016-06-17 05:23:47] 645*2^1432639-1 is not prime. Res64: 8271E34FF95321ED Time : 0.0 sec. user=mdettweiler [2016-06-17 05:24:45] 681*2^1432639-1 is not prime. Res64: 85DA02C5C3071257 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:24:46] 741*2^1432639-1 is not prime. Res64: 608A5A8ED85E8B67 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:24:46] 765*2^1432639-1 is not prime. Res64: C88A99543A1D6553 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:24:47] 769*2^1432639-1 is not prime. Res64: 10367692D6CB5CCF Time : 0.0 sec. user=mdettweiler [2016-06-17 05:24:48] 861*2^1432639-1 is not prime. Res64: B72D1387E3C432AB Time : 0.0 sec. user=mdettweiler [2016-06-17 05:25:20] 919*2^1432639-1 is not prime. Res64: 06B864F917E048EE Time : 0.0 sec. user=mdettweiler [2016-06-17 05:25:21] 999*2^1432639-1 is not prime. Res64: F82ED1B5AFCC7CC8 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:25:22] 629*2^1432640-1 is not prime. Res64: EF46454542B9BB1B Time : 0.0 sec. user=mdettweiler [2016-06-17 05:25:23] 767*2^1432640-1 is not prime. Res64: 0AAB73EF9E775BB9 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:25:24] 797*2^1432640-1 is not prime. Res64: 9202061EAD971D90 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:38:05] 813*2^1432640-1 is not prime. Res64: 2499298E2EDD2375 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:38:06] 995*2^1432640-1 is not prime. Res64: AAE180A2CF3A499F Time : 0.0 sec. user=mdettweiler [2016-06-17 05:38:06] 649*2^1432641-1 is not prime. Res64: 6191AC06256781AC Time : 0.0 sec. user=mdettweiler [2016-06-17 05:38:06] 657*2^1432641-1 is not prime. Res64: 50752EB46EED39A0 Time : 0.0 sec. user=mdettweiler [2016-06-17 05:38:07] 739*2^1432641-1 is not prime. Res64: 95900B45FBDC4236 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:08:39] 747*2^1432641-1 is not prime. Res64: 4D1162B48B7F9DF2 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:08:41] 807*2^1432641-1 is not prime. Res64: 879B2722AE1D343D Time : 0.0 sec. user=mdettweiler [2016-06-17 06:08:42] 895*2^1432641-1 is not prime. Res64: 648784F654E3D4A8 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:08:43] 951*2^1432641-1 is not prime. Res64: D448BB4438F7BF8A Time : 0.0 sec. user=mdettweiler [2016-06-17 06:08:45] 975*2^1432641-1 is not prime. Res64: 40396DAF42D88AFD Time : 0.0 sec. user=mdettweiler [2016-06-17 06:09:28] 603*2^1432642-1 is not prime. Res64: A654054CDAF39BA9 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:09:29] 647*2^1432642-1 is not prime. Res64: B46EAD7087189BA8 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:09:30] 681*2^1432642-1 is not prime. Res64: 6E005BFC85D1EB1F Time : 0.0 sec. user=mdettweiler [2016-06-17 06:09:33] 755*2^1432642-1 is not prime. Res64: 0E5B792C95F0CDE0 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:09:35] 891*2^1432642-1 is not prime. Res64: C9C6C5A3EEC220B0 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:10:01] 643*2^1432643-1 is not prime. Res64: 541F8CC56BDE0775 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:10:02] 675*2^1432643-1 is not prime. Res64: B960EA04E3FAD7E5 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:10:03] 783*2^1432643-1 is not prime. Res64: 9886022D39A36FCF Time : 0.0 sec. user=mdettweiler [2016-06-17 06:10:03] 805*2^1432643-1 is not prime. Res64: DEE75B1ABB4D42CA Time : 0.0 sec. user=mdettweiler [2016-06-17 06:10:04] 811*2^1432643-1 is not prime. Res64: 851F35977F31B0D4 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:23:03] 853*2^1432643-1 is not prime. Res64: 565E2AB5B26E6976 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:23:03] 945*2^1432643-1 is not prime. Res64: 9FFA59C334DE0769 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:23:03] 955*2^1432643-1 is not prime. Res64: 15346F39478EEB3E Time : 0.0 sec. user=mdettweiler [2016-06-17 06:23:04] 963*2^1432643-1 is not prime. Res64: 349A7A211EC6A2B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:23:04] 639*2^1432644-1 is not prime. Res64: B71914BD3D0D45C3 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:53:44] 663*2^1432644-1 is not prime. Res64: AE2A11F533572254 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:53:45] 693*2^1432644-1 is not prime. Res64: DBE1B6088CF2183A Time : 0.0 sec. user=mdettweiler [2016-06-17 06:53:45] 705*2^1432644-1 is not prime. Res64: 3855105AA42319D9 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:53:45] 723*2^1432644-1 is not prime. Res64: 194DE5323AF0FCA3 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:53:46] 759*2^1432644-1 is not prime. Res64: 001819C17D7F1D92 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:17] 873*2^1432644-1 is not prime. Res64: C7928C1901F5842D Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:17] 875*2^1432644-1 is not prime. Res64: 4EFF2CAA66C9A739 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:17] 893*2^1432644-1 is not prime. Res64: 7CFCC5480B982D35 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:18] 625*2^1432645-1 is not prime. Res64: D4D4C2DC299F4799 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:18] 649*2^1432645-1 is not prime. Res64: E9BCE87A6873BA19 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:43] 651*2^1432645-1 is not prime. Res64: E8BB0B57351FD2B4 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:44] 867*2^1432645-1 is not prime. Res64: 5140E3E01D7F08F6 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:44] 623*2^1432646-1 is not prime. Res64: 32BA706EDC3D44C6 Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:45] 741*2^1432646-1 is not prime. Res64: 6DF0AE89C74B6C8D Time : 0.0 sec. user=mdettweiler [2016-06-17 06:54:45] 911*2^1432646-1 is not prime. Res64: 7646E9AA0ED33D41 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:07:54] 917*2^1432646-1 is not prime. Res64: C67FF6F3266E1DBB Time : 0.0 sec. user=mdettweiler [2016-06-17 07:07:54] 649*2^1432647-1 is not prime. Res64: 8FA6096E6595B8C5 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:07:55] 825*2^1432647-1 is not prime. Res64: 632810C3BBE727B9 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:07:55] 861*2^1432647-1 is not prime. Res64: C503060DFA97B34A Time : 0.0 sec. user=mdettweiler [2016-06-17 07:07:56] 951*2^1432647-1 is not prime. Res64: 042A60FC567EC36B Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:30] 979*2^1432647-1 is not prime. Res64: D08E9ECD8DE69BC5 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:31] 657*2^1432648-1 is not prime. Res64: 8FEF90D32F98CCF3 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:31] 677*2^1432648-1 is not prime. Res64: D6D2B7BD9A0D96A4 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:31] 735*2^1432648-1 is not prime. Res64: BF56F596E9F35802 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:32] 765*2^1432648-1 is not prime. Res64: 0012037D29364F24 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:58] 819*2^1432648-1 is not prime. Res64: 00EEE1BC4C2FFA29 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:58] 825*2^1432648-1 is not prime. Res64: 3A1003D587ABBB7A Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:59] 869*2^1432648-1 is not prime. Res64: 68C7CA796AB70D9B Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:59] 923*2^1432648-1 is not prime. Res64: 594041306E5EA369 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:38:59] 685*2^1432649-1 is not prime. Res64: 4408723DCDE2E025 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:39:28] 727*2^1432649-1 is not prime. Res64: 9D88A3C9508ADEDC Time : 0.0 sec. user=mdettweiler [2016-06-17 07:39:29] 741*2^1432649-1 is not prime. Res64: 59A715FAEDFCC7E1 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:39:29] 775*2^1432649-1 is not prime. Res64: 623C8C4EC55EA0C2 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:39:30] 795*2^1432649-1 is not prime. Res64: F992975CC9A29BB4 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:39:30] 819*2^1432649-1 is not prime. Res64: C656C0C04DCBFBBD Time : 0.0 sec. user=mdettweiler [2016-06-17 07:52:45] 865*2^1432649-1 is not prime. Res64: 6346E9BF4872E47B Time : 0.0 sec. user=mdettweiler [2016-06-17 07:52:45] 879*2^1432649-1 is not prime. Res64: 4CA4F98642661429 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:52:45] 951*2^1432649-1 is not prime. Res64: 6299FDA07AEFA57B Time : 0.0 sec. user=mdettweiler [2016-06-17 07:52:46] 957*2^1432649-1 is not prime. Res64: 538130105EDC4CF2 Time : 0.0 sec. user=mdettweiler [2016-06-17 07:52:46] 985*2^1432649-1 is not prime. Res64: 56D08BBA33D3E7EA Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:26] 725*2^1432650-1 is not prime. Res64: 9F1A752CA56A4A61 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:27] 797*2^1432650-1 is not prime. Res64: 5BE304D003AA61D4 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:27] 821*2^1432650-1 is not prime. Res64: A4EAEC829D0A7733 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:28] 875*2^1432650-1 is not prime. Res64: 68D64E5DE7959656 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:28] 923*2^1432650-1 is not prime. Res64: 26EB1ADF46BBEC41 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:40] 619*2^1432651-1 is not prime. Res64: EAA08281CF4D4BA7 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:40] 703*2^1432651-1 is not prime. Res64: 08681327B420B0DF Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:41] 733*2^1432651-1 is not prime. Res64: 9552FF622C8B67B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:41] 751*2^1432651-1 is not prime. Res64: 593C27A2C4CA416C Time : 0.0 sec. user=mdettweiler [2016-06-17 08:23:42] 759*2^1432651-1 is not prime. Res64: C682F916E57A857D Time : 0.0 sec. user=mdettweiler [2016-06-17 08:24:10] 889*2^1432651-1 is not prime. Res64: 5E209C7D1D5A0E79 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:24:11] 913*2^1432651-1 is not prime. Res64: BAB67732A8F6F335 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:24:11] 603*2^1432652-1 is not prime. Res64: 8718C74F6CDACC48 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:24:11] 693*2^1432652-1 is not prime. Res64: D30F411A29189B64 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:24:12] 827*2^1432652-1 is not prime. Res64: ECCF2D2CAA95088B Time : 0.0 sec. user=mdettweiler [2016-06-17 08:37:40] 903*2^1432652-1 is not prime. Res64: AF9098FE0A750BA6 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:37:41] 929*2^1432652-1 is not prime. Res64: EEAF37B0A8BD6A03 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:37:41] 607*2^1432653-1 is not prime. Res64: 0B767946AF3EA602 Time : 0.0 sec. user=mdettweiler [2016-06-17 08:37:41] 747*2^1432653-1 is not prime. Res64: E3971B1BFBA6566C Time : 0.0 sec. user=mdettweiler [2016-06-17 08:37:42] 919*2^1432653-1 is not prime. Res64: 1EFD101F67AFE10A Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:03] 945*2^1432653-1 is not prime. Res64: 7E4F3E4F3A246E99 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:04] 979*2^1432653-1 is not prime. Res64: DADA6FD8DBB69618 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:04] 991*2^1432653-1 is not prime. Res64: FAE2143A2D3DFB27 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:05] 611*2^1432654-1 is not prime. Res64: 961D844E55D33ED5 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:05] 645*2^1432654-1 is not prime. Res64: 26FD3E0AD6051EBD Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:12] 747*2^1432654-1 is not prime. Res64: 8C2D0BEF95FE8761 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:12] 755*2^1432654-1 is not prime. Res64: 22EDE866FA06546E Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:13] 885*2^1432654-1 is not prime. Res64: 3C8E9BA4116F40C4 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:13] 609*2^1432655-1 is not prime. Res64: 1C185FB48C5FA78A Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:13] 669*2^1432655-1 is not prime. Res64: DF35DB77D0CEF6D6 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:51] 861*2^1432655-1 is not prime. Res64: 7B091C4CDB0CA25A Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:52] 969*2^1432655-1 is not prime. Res64: 04DE62FD01BABBA1 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:53] 633*2^1432656-1 is not prime. Res64: C7732820645A8696 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:53] 669*2^1432656-1 is not prime. Res64: ECB2E29F049E4277 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:08:54] 695*2^1432656-1 is not prime. Res64: A82F367AA26CB905 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:22:19] 725*2^1432656-1 is not prime. Res64: B5E9BDF2E6A653ED Time : 0.0 sec. user=mdettweiler [2016-06-17 09:22:20] 825*2^1432656-1 is not prime. Res64: 78F8EB946133A8AC Time : 0.0 sec. user=mdettweiler [2016-06-17 09:22:20] 887*2^1432656-1 is not prime. Res64: CB8C32D499BDA41E Time : 0.0 sec. user=mdettweiler [2016-06-17 09:22:21] 619*2^1432657-1 is not prime. Res64: 75C868FDDC033CC4 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:22:21] 687*2^1432657-1 is not prime. Res64: 7BE39A6FCF2A972C Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:27] 717*2^1432657-1 is not prime. Res64: 72DDCC4F7DCA35FA Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:27] 727*2^1432657-1 is not prime. Res64: 4E79FE48E2FDDCCE Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:28] 775*2^1432657-1 is not prime. Res64: 7F270131F715C688 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:28] 889*2^1432657-1 is not prime. Res64: 3333B8B2335AB2F4 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:28] 909*2^1432657-1 is not prime. Res64: C2D0DE814C8C91ED Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:55] 605*2^1432658-1 is not prime. Res64: 21D30A485564F45B Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:55] 623*2^1432658-1 is not prime. Res64: C4BCECB5BDF68282 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:56] 813*2^1432658-1 is not prime. Res64: E8AB3C93978E9C7A Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:56] 837*2^1432658-1 is not prime. Res64: E766817F44BFE85B Time : 0.0 sec. user=mdettweiler [2016-06-17 09:52:56] 961*2^1432659-1 is not prime. Res64: 58A3F64033D12DD8 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:53:19] 975*2^1432659-1 is not prime. Res64: 1E4606E97E28FA1B Time : 0.0 sec. user=mdettweiler [2016-06-17 09:53:19] 629*2^1432660-1 is not prime. Res64: 6B2C63F761449447 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:53:19] 677*2^1432660-1 is not prime. Res64: A5558FDF0DFF0F15 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:53:20] 909*2^1432660-1 is not prime. Res64: 75ED8FDCDCC031F4 Time : 0.0 sec. user=mdettweiler [2016-06-17 09:53:20] 987*2^1432660-1 is not prime. Res64: 6528003C354271B4 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:06:59] 657*2^1432661-1 is not prime. Res64: 5985710A7210980F Time : 0.0 sec. user=mdettweiler [2016-06-17 10:07:01] 679*2^1432661-1 is not prime. Res64: AA477190EB730B75 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:07:02] 711*2^1432661-1 is not prime. Res64: 7F135394D3BCE6EA Time : 0.0 sec. user=mdettweiler [2016-06-17 10:07:04] 735*2^1432661-1 is not prime. Res64: C9FD1818F2561132 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:07:05] 795*2^1432661-1 is not prime. Res64: 2B582B3F1FE0BB41 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:29] 805*2^1432661-1 is not prime. Res64: 8E19FB513C8DD858 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:30] 859*2^1432661-1 is not prime. Res64: 0496FBB25F4F56B1 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:30] 879*2^1432661-1 is not prime. Res64: 038A17250FC1200C Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:31] 653*2^1432662-1 is not prime. Res64: 17B84E69442A51B6 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:31] 683*2^1432662-1 is not prime. Res64: E3D6C0041C0C9913 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:49] 741*2^1432662-1 is not prime. Res64: 041709665EBBB57D Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:49] 747*2^1432662-1 is not prime. Res64: 4D0485D357E26819 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:50] 761*2^1432662-1 is not prime. Res64: DB96D272E0E6A1A6 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:50] 765*2^1432662-1 is not prime. Res64: 6A538BA8F79423F3 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:37:51] 951*2^1432662-1 is not prime. Res64: 76548C2487195F7B Time : 0.0 sec. user=mdettweiler [2016-06-17 10:38:31] 639*2^1432663-1 is not prime. Res64: 1D7A3B01CAE8C8BB Time : 0.0 sec. user=mdettweiler [2016-06-17 10:38:32] 693*2^1432663-1 is not prime. Res64: 6E21A8364EC72B81 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:38:32] 745*2^1432663-1 is not prime. Res64: B94CBD382D041E62 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:38:32] 853*2^1432663-1 is not prime. Res64: E54E5DFF02924BA7 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:38:33] 883*2^1432663-1 is not prime. Res64: B03F4BADC83CD735 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:52:57] 901*2^1432663-1 is not prime. Res64: 182C1AA426105E46 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:52:57] 951*2^1432663-1 is not prime. Res64: 08B3786C84F6EF82 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:52:58] 609*2^1432664-1 is not prime. Res64: 8DD767F8C88143FF Time : 0.0 sec. user=mdettweiler [2016-06-17 10:52:58] 615*2^1432664-1 is not prime. Res64: 3F109CA7460E7D73 Time : 0.0 sec. user=mdettweiler [2016-06-17 10:52:59] 635*2^1432664-1 is not prime. Res64: DE885552BDF94806 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:06] 677*2^1432664-1 is not prime. Res64: E94B62B2EB47A45E Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:07] 825*2^1432664-1 is not prime. Res64: BE5A7A1A55947938 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:08] 983*2^1432664-1 is not prime. Res64: 28CB0C74524C811E Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:08] 625*2^1432665-1 is not prime. Res64: C93BBF307CE90DEE Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:09] 649*2^1432665-1 is not prime. Res64: AEC0588F7120062E Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:39] 819*2^1432665-1 is not prime. Res64: CEA97A8079F0E562 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:39] 861*2^1432665-1 is not prime. Res64: 83E1E4B972D79157 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:40] 921*2^1432665-1 is not prime. Res64: AA14A1B84CA82C0C Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:40] 991*2^1432665-1 is not prime. Res64: E9B4B81963528EA6 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:24:41] 999*2^1432665-1 is not prime. Res64: 90BCF1BB965C6C1A Time : 0.0 sec. user=mdettweiler [2016-06-17 11:25:36] 635*2^1432666-1 is not prime. Res64: 35727EF54B36A65B Time : 0.0 sec. user=mdettweiler [2016-06-17 11:25:37] 675*2^1432666-1 is not prime. Res64: 256B8CA8C0356BCE Time : 0.0 sec. user=mdettweiler [2016-06-17 11:25:37] 755*2^1432666-1 is not prime. Res64: AF7C3108E7E17682 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:25:38] 765*2^1432666-1 is not prime. Res64: 741139583E29E390 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:25:38] 917*2^1432666-1 is not prime. Res64: B88715BA2941594A Time : 0.0 sec. user=mdettweiler [2016-06-17 11:41:24] 975*2^1432666-1 is not prime. Res64: 8DC7EF24D1ADC14B Time : 0.0 sec. user=mdettweiler [2016-06-17 11:41:25] 861*2^1432667-1 is not prime. Res64: 54F1EC3A60058EF9 Time : 0.0 sec. user=mdettweiler [2016-06-17 11:41:25] 895*2^1432667-1 is not prime. Res64: A51CBCE62424E49A Time : 0.0 sec. user=mdettweiler [2016-06-17 11:41:25] 979*2^1432667-1 is not prime. Res64: BDA6DD06F510707B Time : 0.0 sec. user=mdettweiler [2016-06-17 11:41:25] 663*2^1432668-1 is not prime. Res64: F357F6E4855C2F69 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:13:42] 669*2^1432668-1 is not prime. Res64: 538D9A02F3B9B28A Time : 0.0 sec. user=mdettweiler [2016-06-17 12:13:43] 773*2^1432668-1 is not prime. Res64: 6B5A2B81D22C475A Time : 0.0 sec. user=mdettweiler [2016-06-17 12:13:44] 777*2^1432668-1 is not prime. Res64: 9DDC76FC0CB780F6 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:13:45] 789*2^1432668-1 is not prime. Res64: 10BE0D886370DD2E Time : 0.0 sec. user=mdettweiler [2016-06-17 12:13:45] 845*2^1432668-1 is not prime. Res64: 347726DD3A0130A4 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:14:27] 927*2^1432668-1 is not prime. Res64: 4F436F2CDA5F3A17 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:14:28] 933*2^1432668-1 is not prime. Res64: 6D3AF6BD2D3D1A7D Time : 0.0 sec. user=mdettweiler [2016-06-17 12:14:28] 625*2^1432669-1 is not prime. Res64: DCD3188C3E29DE52 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:14:29] 661*2^1432669-1 is not prime. Res64: 65E304F4B390A1F4 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:14:29] 757*2^1432669-1 is not prime. Res64: D66D510B1FDD0CB7 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:15:01] 799*2^1432669-1 is not prime. Res64: 3E2402F104C11F3D Time : 0.0 sec. user=mdettweiler [2016-06-17 12:15:01] 961*2^1432669-1 is not prime. Res64: 13DBC1BA0D31A854 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:15:02] 987*2^1432669-1 is not prime. Res64: AE5832B1DCC952C4 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:15:02] 663*2^1432670-1 is not prime. Res64: 5F55E327BBE2C19E Time : 0.0 sec. user=mdettweiler [2016-06-17 12:15:03] 671*2^1432670-1 is not prime. Res64: 23DE47631F415754 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:28:59] 743*2^1432670-1 is not prime. Res64: 8B86BD913DCF5142 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:28:59] 851*2^1432670-1 is not prime. Res64: 729FD39B70100651 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:28:59] 861*2^1432670-1 is not prime. Res64: 40924B02F744A824 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:29:00] 917*2^1432670-1 is not prime. Res64: 6C405CB5AC8F5F62 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:29:00] 927*2^1432670-1 is not prime. Res64: F60217501C46D76C Time : 0.0 sec. user=mdettweiler [2016-06-17 12:59:48] 651*2^1432671-1 is not prime. Res64: 27ED810D490B9490 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:59:48] 685*2^1432671-1 is not prime. Res64: 774C771F1F6E99DC Time : 0.0 sec. user=mdettweiler [2016-06-17 12:59:49] 703*2^1432671-1 is not prime. Res64: 7106D2F9F2C7D5DB Time : 0.0 sec. user=mdettweiler [2016-06-17 12:59:49] 859*2^1432671-1 is not prime. Res64: 6D5E8CB468A4BA71 Time : 0.0 sec. user=mdettweiler [2016-06-17 12:59:53] 871*2^1432671-1 is not prime. Res64: D38FE62E842EAC54 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:04] 933*2^1432671-1 is not prime. Res64: 7483F9CF55DEF344 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:04] 951*2^1432671-1 is not prime. Res64: D9B8D7C2573FD449 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:05] 955*2^1432671-1 is not prime. Res64: 08B030318A970C23 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:05] 653*2^1432672-1 is not prime. Res64: 899CF6991E22D7B4 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:05] 677*2^1432672-1 is not prime. Res64: 7C5AD3185D320322 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:52] 705*2^1432672-1 is not prime. Res64: 5255FEF1BE6C2CE0 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:53] 723*2^1432672-1 is not prime. Res64: F84C47CDC4FAEB70 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:53] 849*2^1432672-1 is not prime. Res64: 139410D9EE2B1C3A Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:54] 917*2^1432672-1 is not prime. Res64: 5C07ED6270EC0823 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:00:55] 947*2^1432672-1 is not prime. Res64: E2C73F371ABA4D40 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:15:13] 861*2^1432673-1 is not prime. Res64: 287431444665D9F8 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:15:13] 925*2^1432673-1 is not prime. Res64: AC501970EA36F964 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:15:14] 987*2^1432673-1 is not prime. Res64: FC0AC209774B2A5B Time : 0.0 sec. user=mdettweiler [2016-06-17 13:15:14] 641*2^1432674-1 is not prime. Res64: BE1879AA20131486 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:15:14] 681*2^1432674-1 is not prime. Res64: 8D5D8A010F8531C8 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:05] 645*2^1432675-1 is not prime. Res64: 254C66556FD676EC Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:06] 691*2^1432675-1 is not prime. Res64: BF481B9ECC3A7055 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:06] 709*2^1432675-1 is not prime. Res64: 885D05B107C63A36 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:06] 735*2^1432675-1 is not prime. Res64: A0A5679F27F3E5DF Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:07] 783*2^1432675-1 is not prime. Res64: E73338E663A3CB3A Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:50] 773*2^1432674-1 is not prime. Res64: 7D8064D41FEAE002 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:50] 783*2^1432674-1 is not prime. Res64: 5990CAFD9D46ECCD Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:50] 791*2^1432674-1 is not prime. Res64: B6FDABE1CDE2640E Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:51] 971*2^1432674-1 is not prime. Res64: 67372A649E6FC4D8 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:46:51] 619*2^1432675-1 is not prime. Res64: B358BFA93FECFCEF Time : 0.0 sec. user=mdettweiler [2016-06-17 13:47:27] 859*2^1432675-1 is not prime. Res64: 24078C60A80851D4 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:47:27] 961*2^1432675-1 is not prime. Res64: 2C481335429562FB Time : 0.0 sec. user=mdettweiler [2016-06-17 13:47:27] 985*2^1432675-1 is not prime. Res64: 11C0315C055C3FF6 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:47:28] 699*2^1432676-1 is not prime. Res64: 3FE21D93381F0194 Time : 0.0 sec. user=mdettweiler [2016-06-17 13:47:28] 773*2^1432676-1 is not prime. Res64: DD03E936A272BB72 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:02:15] 837*2^1432676-1 is not prime. Res64: E19A4495E5020A55 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:02:17] 893*2^1432676-1 is not prime. Res64: 3D8B633786EC60B6 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:02:19] 909*2^1432676-1 is not prime. Res64: 7A61CCB3D16C50E5 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:02:20] 983*2^1432676-1 is not prime. Res64: 0032A2C5FDDB8D2E Time : 0.0 sec. user=mdettweiler [2016-06-17 14:02:23] 609*2^1432677-1 is not prime. Res64: 696D47D6AC043207 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:33:54] 759*2^1432677-1 is not prime. Res64: 5AF6BF9992395405 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:33:54] 849*2^1432677-1 is not prime. Res64: 7011AF4854D2DD0E Time : 0.0 sec. user=mdettweiler [2016-06-17 14:33:55] 919*2^1432677-1 is not prime. Res64: B505DC5643575D2B Time : 0.0 sec. user=mdettweiler [2016-06-17 14:33:55] 949*2^1432677-1 is not prime. Res64: 561145C68464E576 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:33:55] 605*2^1432678-1 is not prime. Res64: B7B18FBCF60097F0 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:34:52] 679*2^1432679-1 is not prime. Res64: 46B6BC1553598C22 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:34:52] 729*2^1432679-1 is not prime. Res64: 60851BBEF643EF8C Time : 0.0 sec. user=mdettweiler [2016-06-17 14:34:52] 759*2^1432679-1 is not prime. Res64: 82214F57A80D729D Time : 0.0 sec. user=mdettweiler [2016-06-17 14:34:53] 771*2^1432679-1 is not prime. Res64: AB59E77773E5BB0F Time : 0.0 sec. user=mdettweiler [2016-06-17 14:34:53] 789*2^1432679-1 is not prime. Res64: 9FDC44DB8BBCF902 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:35:00] 647*2^1432678-1 is not prime. Res64: 5BA82D2539615254 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:35:01] 665*2^1432678-1 is not prime. Res64: C6490A9D7ECBD813 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:35:01] 705*2^1432678-1 is not prime. Res64: B71D4CC73DDE7B31 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:35:02] 887*2^1432678-1 is not prime. Res64: D11D5CA24C7C6943 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:35:02] 645*2^1432679-1 is not prime. Res64: EE5A23A9F7FEA407 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:48:24] 843*2^1432679-1 is not prime. Res64: C5F0C5068095DBA6 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:48:25] 949*2^1432679-1 is not prime. Res64: CB984917A6E379DF Time : 0.0 sec. user=mdettweiler [2016-06-17 14:48:26] 979*2^1432679-1 is not prime. Res64: 46925AE091210B97 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:48:26] 753*2^1432680-1 is not prime. Res64: BA68100B25513173 Time : 0.0 sec. user=mdettweiler [2016-06-17 14:48:27] 887*2^1432680-1 is not prime. Res64: BFEDDCE084303203 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:19:08] 905*2^1432680-1 is not prime. Res64: AD089DA1DBFF2BD3 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:19:09] 917*2^1432680-1 is not prime. Res64: 3114C2699FDBFEEE Time : 0.0 sec. user=mdettweiler [2016-06-17 15:19:09] 929*2^1432680-1 is not prime. Res64: 4980015E925DC081 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:19:09] 687*2^1432681-1 is not prime. Res64: D71A995BD25884B1 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:19:10] 715*2^1432681-1 is not prime. Res64: A4CF221EF20426F8 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:01] 751*2^1432681-1 is not prime. Res64: 8C84C0178645348E Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:01] 789*2^1432681-1 is not prime. Res64: 1A81FB41766F921C Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:01] 799*2^1432681-1 is not prime. Res64: 02A19A2EDE640D44 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:02] 925*2^1432681-1 is not prime. Res64: CFF4EFB02B08F590 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:02] 937*2^1432681-1 is not prime. Res64: 476AA2C2762F588B Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:02] 955*2^1432681-1 is not prime. Res64: 5AF1DC2BC710BD8F Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:03] 935*2^1432682-1 is not prime. Res64: E39BEA0F441CA39C Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:03] 613*2^1432683-1 is not prime. Res64: CBCF935294E2AB33 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:04] 699*2^1432683-1 is not prime. Res64: 289C9D6D384B6ED1 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:20:04] 709*2^1432683-1 is not prime. Res64: 9314B860B223890F Time : 0.0 sec. user=mdettweiler [2016-06-17 15:33:46] 745*2^1432683-1 is not prime. Res64: 0C726178A8E966B2 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:33:46] 775*2^1432683-1 is not prime. Res64: E38DA32AF710CB87 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:33:46] 861*2^1432683-1 is not prime. Res64: 30459E4315A468F8 Time : 0.0 sec. user=mdettweiler [2016-06-17 15:33:47] 891*2^1432683-1 is not prime. Res64: CDD20AE9DA87FECA Time : 0.0 sec. user=mdettweiler [2016-06-17 15:33:47] 973*2^1432683-1 is not prime. Res64: F257BAFF8EE0E5DF Time : 0.0 sec. user=mdettweiler [2016-06-17 16:04:20] 985*2^1432683-1 is not prime. Res64: CD7170CEFFB76A75 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:04:21] 755*2^1432684-1 is not prime. Res64: 36EBBB8627948A8F Time : 0.0 sec. user=mdettweiler [2016-06-17 16:04:22] 803*2^1432684-1 is not prime. Res64: F1D60DB599BE6386 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:04:23] 669*2^1432685-1 is not prime. Res64: 69A8A31B4833F24E Time : 0.0 sec. user=mdettweiler [2016-06-17 16:04:24] 775*2^1432685-1 is not prime. Res64: E31F29B7333BBE36 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:07] 799*2^1432685-1 is not prime. Res64: 12E04D4DBB043165 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:08] 657*2^1432686-1 is not prime. Res64: E468FB4DE80AA26F Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:09] 837*2^1432685-1 is not prime. Res64: 13A6992C21BD9BA8 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:13] 889*2^1432685-1 is not prime. Res64: 49B4391F2FC7DA11 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:14] 683*2^1432686-1 is not prime. Res64: F427E32D9E020A59 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:15] 897*2^1432685-1 is not prime. Res64: 147A6C297CAFEA95 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:16] 951*2^1432685-1 is not prime. Res64: 033082300BEA5B74 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:17] 725*2^1432686-1 is not prime. Res64: BA2AB23007BC9AFE Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:19] 807*2^1432686-1 is not prime. Res64: CE012B72E69812C0 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:05:20] 609*2^1432687-1 is not prime. Res64: CDECA460FDF86020 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:18:39] 741*2^1432687-1 is not prime. Res64: E2702E2A5F811C93 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:18:39] 813*2^1432687-1 is not prime. Res64: 69538A8032390165 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:18:40] 901*2^1432687-1 is not prime. Res64: 94150DCE00FD84E3 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:18:40] 973*2^1432687-1 is not prime. Res64: 11CC6729A7565665 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:18:41] 603*2^1432688-1 is not prime. Res64: E16F51F90FBF0F24 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:06] 615*2^1432688-1 is not prime. Res64: A00018E5CA7FFE19 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:07] 659*2^1432688-1 is not prime. Res64: 2A7E51458A3E323F Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:07] 753*2^1432688-1 is not prime. Res64: ABFACBBB6F89CF18 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:07] 797*2^1432688-1 is not prime. Res64: 10ECEAA20B62AAE5 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:08] 915*2^1432688-1 is not prime. Res64: 7C15810788CBD1B4 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:43] 609*2^1432689-1 is not prime. Res64: C48EE893794EE478 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:43] 727*2^1432689-1 is not prime. Res64: E7C1FEB23A304552 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:44] 949*2^1432689-1 is not prime. Res64: 1ACDB4C9B1133440 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:44] 611*2^1432690-1 is not prime. Res64: 0970EB29B3792ABA Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:44] 731*2^1432690-1 is not prime. Res64: A25DC6C40E3C7671 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:55] 963*2^1432688-1 is not prime. Res64: 93D2DB3CFE84A934 Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:56] 747*2^1432690-1 is not prime. Res64: 61FF38EE20F0379B Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:56] 643*2^1432691-1 is not prime. Res64: F88EC6C33039742D Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:56] 645*2^1432691-1 is not prime. Res64: 42B5AD0829F8095E Time : 0.0 sec. user=mdettweiler [2016-06-17 16:50:57] 651*2^1432691-1 is not prime. Res64: 2DBA79F2A5568877 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:03:47] 733*2^1432691-1 is not prime. Res64: 1A6172454D8F568A Time : 0.0 sec. user=mdettweiler [2016-06-17 17:03:49] 741*2^1432691-1 is not prime. Res64: 1D48CEE9F9223118 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:03:50] 759*2^1432691-1 is not prime. Res64: FF133DBC31F14E56 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:03:51] 829*2^1432691-1 is not prime. Res64: EDE2ECB268F2F7ED Time : 0.0 sec. user=mdettweiler [2016-06-17 17:03:51] 883*2^1432691-1 is not prime. Res64: ECCE52E3E17AB670 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:08] 973*2^1432691-1 is not prime. Res64: C3577DC9E612F042 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:08] 979*2^1432691-1 is not prime. Res64: B6A6D57F2B1962B4 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:09] 981*2^1432691-1 is not prime. Res64: A9D62960796EEA13 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:09] 627*2^1432692-1 is not prime. Res64: 4A9346F412868F53 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:09] 689*2^1432692-1 is not prime. Res64: B1D7DDDC3D7C185C Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:48] 717*2^1432692-1 is not prime. Res64: D2CDF70BAD96D982 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:49] 719*2^1432692-1 is not prime. Res64: 8F7CBBCB928C5716 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:49] 725*2^1432692-1 is not prime. Res64: 63C733A1D744EDDD Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:49] 759*2^1432692-1 is not prime. Res64: 503B4BF75E91BB1D Time : 0.0 sec. user=mdettweiler [2016-06-17 17:35:50] 899*2^1432692-1 is not prime. Res64: C1794F4C83457107 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:36:02] 933*2^1432692-1 is not prime. Res64: A108CC8F37BAAD93 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:36:03] 965*2^1432692-1 is not prime. Res64: 99A7B98997211D17 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:36:03] 747*2^1432693-1 is not prime. Res64: 143FC35E0CEFC79A Time : 0.0 sec. user=mdettweiler [2016-06-17 17:36:04] 897*2^1432693-1 is not prime. Res64: A928FE1501130875 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:36:04] 605*2^1432694-1 is not prime. Res64: 552F5C5A78925FD0 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:49:01] 615*2^1432694-1 is not prime. Res64: 130813805C88151B Time : 0.0 sec. user=mdettweiler [2016-06-17 17:49:02] 675*2^1432694-1 is not prime. Res64: 4401BE4E598CD964 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:49:02] 743*2^1432694-1 is not prime. Res64: BA8AB79943E5E6AD Time : 0.0 sec. user=mdettweiler [2016-06-17 17:49:03] 885*2^1432694-1 is not prime. Res64: 5B0A15C492F1E611 Time : 0.0 sec. user=mdettweiler [2016-06-17 17:49:03] 951*2^1432694-1 is not prime. Res64: BF151EF6BD32D456 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:10] 965*2^1432694-1 is not prime. Res64: D8DB31B68A50DB5D Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:11] 675*2^1432695-1 is not prime. Res64: 4DE118075166044D Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:11] 723*2^1432695-1 is not prime. Res64: 3746DD79E807E0CE Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:12] 775*2^1432695-1 is not prime. Res64: 8E851F430C5D55F0 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:12] 853*2^1432695-1 is not prime. Res64: 401D9E7F348BB2D6 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:45] 909*2^1432695-1 is not prime. Res64: C1AD08C90C6E5D2C Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:45] 933*2^1432695-1 is not prime. Res64: 522690FE5E0074E9 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:46] 949*2^1432695-1 is not prime. Res64: BB377DC41CC2DDCA Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:46] 963*2^1432695-1 is not prime. Res64: 92C29F3C81064DE7 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:46] 979*2^1432695-1 is not prime. Res64: AD9674C2B0539D7F Time : 0.0 sec. user=mdettweiler [2016-06-17 18:20:59] 603*2^1432696-1 is not prime. Res64: A75AC0209D9099DB Time : 0.0 sec. user=mdettweiler [2016-06-17 18:21:00] 629*2^1432696-1 is not prime. Res64: 01E9806453315CD1 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:21:01] 639*2^1432696-1 is not prime. Res64: 95D79B8F12C06725 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:21:02] 735*2^1432696-1 is not prime. Res64: BC909993888FCA27 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:21:03] 755*2^1432696-1 is not prime. Res64: BE29895C2E395E27 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:34:08] 765*2^1432696-1 is not prime. Res64: 24D1277F8B7300B6 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:34:08] 741*2^1432697-1 is not prime. Res64: 42F92889FE56846A Time : 0.0 sec. user=mdettweiler [2016-06-17 18:34:09] 831*2^1432697-1 is not prime. Res64: 1BD6EAC1C2AD1333 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:34:09] 861*2^1432697-1 is not prime. Res64: 06F3726DB02F1111 Time : 0.0 sec. user=mdettweiler [2016-06-17 18:34:10] 939*2^1432697-1 is not prime. Res64: 3C02A66EF795D4D1 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:12] 979*2^1432697-1 is not prime. Res64: 904781F91AEDEE68 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:14] 663*2^1432698-1 is not prime. Res64: BBC57F0805257942 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:15] 681*2^1432698-1 is not prime. Res64: D6CA4E41C0F1676C Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:16] 927*2^1432698-1 is not prime. Res64: F35DDEBB2BFDE0FA Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:17] 1001*2^1432698-1 is not prime. Res64: 5AF201BFC50DE547 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:43] 631*2^1432699-1 is not prime. Res64: E876CAB9AF47C5EC Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:44] 645*2^1432699-1 is not prime. Res64: A95D305FC16CC002 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:46] 691*2^1432699-1 is not prime. Res64: C869F7BB1F7519DB Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:47] 853*2^1432699-1 is not prime. Res64: A8E9C62C4E5959D0 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:05:50] 993*2^1432699-1 is not prime. Res64: 164467EDB784982E Time : 0.0 sec. user=mdettweiler [2016-06-17 19:06:15] 633*2^1432700-1 is not prime. Res64: E029CB19D7D4D971 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:06:16] 669*2^1432700-1 is not prime. Res64: C448EFD5CA67D43A Time : 0.0 sec. user=mdettweiler [2016-06-17 19:06:17] 735*2^1432700-1 is not prime. Res64: 122FD8EA04DA8970 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:06:21] 767*2^1432700-1 is not prime. Res64: 79E65EE12BF4929D Time : 0.0 sec. user=mdettweiler [2016-06-17 19:06:23] 819*2^1432700-1 is not prime. Res64: 737114237A0F9F62 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:19:09] 839*2^1432700-1 is not prime. Res64: 52634E3650E25E83 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:19:10] 893*2^1432700-1 is not prime. Res64: 31A0790AE3C260B1 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:19:11] 899*2^1432700-1 is not prime. Res64: D08F23BB75DF2C43 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:19:11] 945*2^1432700-1 is not prime. Res64: 33DB0E7EC1A39659 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:19:12] 963*2^1432700-1 is not prime. Res64: C9BCB5F05F4B7609 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:50:28] 625*2^1432701-1 is not prime. Res64: 69AF6EE7F1EDE265 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:50:29] 669*2^1432701-1 is not prime. Res64: A868A90486C3955E Time : 0.0 sec. user=mdettweiler [2016-06-17 19:50:29] 685*2^1432701-1 is not prime. Res64: 03FEF2A44B17206B Time : 0.0 sec. user=mdettweiler [2016-06-17 19:50:29] 805*2^1432701-1 is not prime. Res64: 5F5DF91EF37B7BF6 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:50:30] 829*2^1432701-1 is not prime. Res64: 255EE83849BA3645 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:01] 865*2^1432701-1 is not prime. Res64: EAED4170E83F6A00 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:02] 969*2^1432701-1 is not prime. Res64: 5A1ED799B8EC73D4 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:02] 737*2^1432702-1 is not prime. Res64: 037B9BD70C6BFFFA Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:02] 741*2^1432702-1 is not prime. Res64: AD7AA53BEE3A116B Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:03] 833*2^1432702-1 is not prime. Res64: F54E71A3F50CF6FF Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:18] 911*2^1432702-1 is not prime. Res64: E3BBFF5F918D27F4 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:18] 951*2^1432702-1 is not prime. Res64: 2BB82B68F9AA71FE Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:19] 957*2^1432702-1 is not prime. Res64: 2DC728C24564EDE9 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:19] 975*2^1432702-1 is not prime. Res64: DDB003B088F0F815 Time : 0.0 sec. user=mdettweiler [2016-06-17 19:51:20] 715*2^1432703-1 is not prime. Res64: 1EE04F501AC044DF Time : 0.0 sec. user=mdettweiler [2016-06-17 20:04:07] 735*2^1432703-1 is not prime. Res64: 7FD2BBCFFAC54535 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:04:08] 739*2^1432703-1 is not prime. Res64: 433710B25FAAF5AF Time : 0.0 sec. user=mdettweiler [2016-06-17 20:04:12] 823*2^1432703-1 is not prime. Res64: 735E3EE55DB54E95 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:04:14] 885*2^1432703-1 is not prime. Res64: 1298F5034E677FFB Time : 0.0 sec. user=mdettweiler [2016-06-17 20:04:15] 889*2^1432703-1 is not prime. Res64: 79AD67A25D75DB48 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:35:26] 963*2^1432703-1 is not prime. Res64: 2AD3A655D3C8442C Time : 0.0 sec. user=mdettweiler [2016-06-17 20:35:26] 985*2^1432703-1 is not prime. Res64: 7318D09077667F28 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:35:27] 723*2^1432704-1 is not prime. Res64: 01D9F9262E9531AD Time : 0.0 sec. user=mdettweiler [2016-06-17 20:35:27] 825*2^1432704-1 is not prime. Res64: C6E4DC5DFDE53F45 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:35:27] 863*2^1432704-1 is not prime. Res64: 6F2743E64E028D65 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:10] 873*2^1432704-1 is not prime. Res64: A452BDF3D830369E Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:10] 893*2^1432704-1 is not prime. Res64: D6BB882E295A8658 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:10] 903*2^1432704-1 is not prime. Res64: A1733C624A780E94 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:11] 915*2^1432704-1 is not prime. Res64: A35B4F0564374AE6 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:11] 705*2^1432705-1 is not prime. Res64: 372192A94A7629C9 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:22] 765*2^1432705-1 is not prime. Res64: 7DA7A4B419D4F366 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:22] 777*2^1432705-1 is not prime. Res64: 98758FE0719A0933 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:22] 847*2^1432705-1 is not prime. Res64: 9428CA6BB30A5D92 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:23] 951*2^1432705-1 is not prime. Res64: 955BF6770E05A826 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:36:23] 979*2^1432705-1 is not prime. Res64: AC0FF44C6D39B162 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:49:18] 617*2^1432706-1 is not prime. Res64: 58A30A6762B368BF Time : 0.0 sec. user=mdettweiler [2016-06-17 20:49:19] 627*2^1432706-1 is not prime. Res64: 38AB9177A3F1F962 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:49:19] 813*2^1432706-1 is not prime. Res64: F684CA8E745460FF Time : 0.0 sec. user=mdettweiler [2016-06-17 20:49:19] 867*2^1432706-1 is not prime. Res64: 321FE2CD42EB8C88 Time : 0.0 sec. user=mdettweiler [2016-06-17 20:49:20] 935*2^1432706-1 is not prime. Res64: DA3B7748BE12D109 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:20:34] 971*2^1432706-1 is not prime. Res64: B9044E56768F8090 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:20:34] 705*2^1432707-1 is not prime. Res64: 37DACE5B8A1C74EA Time : 0.0 sec. user=mdettweiler [2016-06-17 21:20:37] 795*2^1432707-1 is not prime. Res64: 74F48CDE97E06549 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:20:38] 849*2^1432707-1 is not prime. Res64: D13851E994B072C0 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:20:39] 895*2^1432707-1 is not prime. Res64: 89AFD47340B85FD1 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:16] 961*2^1432707-1 is not prime. Res64: 552CF3330E8685E8 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:17] 647*2^1432708-1 is not prime. Res64: 05850711CB1B1814 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:17] 705*2^1432708-1 is not prime. Res64: A8E948BC324D9D76 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:17] 923*2^1432708-1 is not prime. Res64: 54E536E879A772FD Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:18] 969*2^1432708-1 is not prime. Res64: 099609463E2805E5 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:25] 989*2^1432708-1 is not prime. Res64: 8E7798B274EB63E2 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:25] 679*2^1432709-1 is not prime. Res64: CBC035508555E007 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:25] 711*2^1432709-1 is not prime. Res64: FC77BD81E0A46BCC Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:26] 771*2^1432709-1 is not prime. Res64: 8D41B42E586007D0 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:21:26] 801*2^1432709-1 is not prime. Res64: 418F4746066E6915 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:34:48] 811*2^1432709-1 is not prime. Res64: 40C6F0CAF83A6641 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:34:48] 677*2^1432710-1 is not prime. Res64: 4B2141C587441438 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:34:49] 791*2^1432710-1 is not prime. Res64: 784D98082E31FB5F Time : 0.0 sec. user=mdettweiler [2016-06-17 21:34:49] 801*2^1432710-1 is not prime. Res64: D2D5C94CEBF47BC4 Time : 0.0 sec. user=mdettweiler [2016-06-17 21:34:49] 851*2^1432710-1 is not prime. Res64: BC9DB978C41EC67A Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:20] 625*2^1432711-1 is not prime. Res64: 4321C0D425899431 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:20] 651*2^1432711-1 is not prime. Res64: 043B25557A811220 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:21] 661*2^1432711-1 is not prime. Res64: 5A12792DDB50EB42 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:21] 741*2^1432711-1 is not prime. Res64: 50EE8422A5D03B12 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:22] 775*2^1432711-1 is not prime. Res64: 9B751F23BE9667E3 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:54] 843*2^1432711-1 is not prime. Res64: 326CFA1E35BF3100 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:54] 855*2^1432711-1 is not prime. Res64: 16A3D5C12298F7B1 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:54] 871*2^1432711-1 is not prime. Res64: EF088A347B4CCA71 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:55] 813*2^1432712-1 is not prime. Res64: 0B761BC4E2DDD7D3 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:55] 885*2^1432711-1 is not prime. Res64: 7E23509572E50FE3 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:55] 867*2^1432712-1 is not prime. Res64: D15436AFD36B4F89 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:55] 735*2^1432712-1 is not prime. Res64: B5777C663288DFFF Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:55] 963*2^1432712-1 is not prime. Res64: E0D8ADABC18D5869 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:56] 977*2^1432712-1 is not prime. Res64: 809A65D5E630BCFE Time : 0.0 sec. user=mdettweiler [2016-06-17 22:06:56] 999*2^1432712-1 is not prime. Res64: AB2A4C7013E36C01 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:19:59] 607*2^1432713-1 is not prime. Res64: 55B683521D920714 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:19:59] 609*2^1432713-1 is not prime. Res64: 97C99DF81447E20A Time : 0.0 sec. user=mdettweiler [2016-06-17 22:19:59] 705*2^1432713-1 is not prime. Res64: F793411F18F5C079 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:20:00] 745*2^1432713-1 is not prime. Res64: 2A1149D1DBFFF1DC Time : 0.0 sec. user=mdettweiler [2016-06-17 22:20:00] 769*2^1432713-1 is not prime. Res64: 6EAC3A56F586C171 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:34] 969*2^1432713-1 is not prime. Res64: 8172F49025DFB6E1 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:34] 979*2^1432713-1 is not prime. Res64: 0584984A7E6DF4DA Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:35] 991*2^1432713-1 is not prime. Res64: 76CA73CA9B38355C Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:35] 605*2^1432714-1 is not prime. Res64: F3913E9B9CE116A2 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:36] 617*2^1432714-1 is not prime. Res64: D1CC4FFB7BCCD913 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:45] 635*2^1432714-1 is not prime. Res64: 79F933D0EA61676F Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:46] 705*2^1432714-1 is not prime. Res64: 61FD5F047F49CF82 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:46] 707*2^1432714-1 is not prime. Res64: FE610CB9D9FCAEFF Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:47] 755*2^1432714-1 is not prime. Res64: 63E722D18CE36AF1 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:51:47] 791*2^1432714-1 is not prime. Res64: EFD139B26BF8D9C9 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:52:03] 903*2^1432714-1 is not prime. Res64: 99024E94FB607752 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:52:03] 693*2^1432715-1 is not prime. Res64: 00313D3C0BFA5EA2 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:52:04] 735*2^1432715-1 is not prime. Res64: B5A08B65F9264759 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:52:04] 885*2^1432715-1 is not prime. Res64: 25BFBCA0A888CBD7 Time : 0.0 sec. user=mdettweiler [2016-06-17 22:52:04] 693*2^1432716-1 is not prime. Res64: 2A9D38A89145B98E Time : 0.0 sec. user=mdettweiler [2016-06-17 23:04:56] 759*2^1432716-1 is not prime. Res64: FE4A12E94D39D4C3 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:04:58] 873*2^1432716-1 is not prime. Res64: F467BB9EFA21BAE7 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:05:00] 887*2^1432716-1 is not prime. Res64: 52A28CD060FACDAB Time : 0.0 sec. user=mdettweiler [2016-06-17 23:05:01] 927*2^1432716-1 is not prime. Res64: 60E57F1FE1FD9DC0 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:05:03] 639*2^1432717-1 is not prime. Res64: 92E1536E15C9BA49 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:39] 945*2^1432718-1 is not prime. Res64: 3C27268C83D6A92B Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:40] 615*2^1432719-1 is not prime. Res64: E9BA3D4D94AAABA2 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:40] 625*2^1432719-1 is not prime. Res64: 823B86B348F8DD0D Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:40] 661*2^1432719-1 is not prime. Res64: 0FEDA4A9E8CA1D2B Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:41] 691*2^1432719-1 is not prime. Res64: FF29850522883388 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:43] 817*2^1432717-1 is not prime. Res64: A8E5C0F00CDA36A2 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:44] 651*2^1432718-1 is not prime. Res64: EA95E4DABC3E8118 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:44] 713*2^1432718-1 is not prime. Res64: B5C556C5A768D230 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:44] 827*2^1432718-1 is not prime. Res64: F8452F51BD7AE09F Time : 0.0 sec. user=mdettweiler [2016-06-17 23:36:45] 831*2^1432718-1 is not prime. Res64: 7E8FA587A01934AC Time : 0.0 sec. user=mdettweiler [2016-06-17 23:37:20] 741*2^1432719-1 is not prime. Res64: 25019B284AD69C1F Time : 0.0 sec. user=mdettweiler [2016-06-17 23:37:20] 789*2^1432719-1 is not prime. Res64: 2EA55CEBA5935C59 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:37:21] 955*2^1432719-1 is not prime. Res64: 980965885716B958 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:37:21] 623*2^1432720-1 is not prime. Res64: A23E7BF8B39CF3B1 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:37:21] 695*2^1432720-1 is not prime. Res64: BBD3F950DE3A3D06 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:50:22] 777*2^1432720-1 is not prime. Res64: 6444587CE4CA8AC8 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:50:23] 929*2^1432720-1 is not prime. Res64: A9CBFAD02D631CA7 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:50:23] 989*2^1432720-1 is not prime. Res64: ECD3884464125B54 Time : 0.0 sec. user=mdettweiler [2016-06-17 23:50:23] 631*2^1432721-1 is not prime. Res64: 7217D28DDD489E6F Time : 0.0 sec. user=mdettweiler [2016-06-17 23:50:24] 705*2^1432721-1 is not prime. Res64: A05FA9BA90A5B0FE Time : 0.0 sec.