user=mdettweiler [2015-12-26 00:17:52] 627*2^1418121-1 is not prime. Res64: 90E441187905867D Time : 0.0 sec. user=mdettweiler [2015-12-26 00:17:52] 681*2^1418121-1 is not prime. Res64: 77AFFF9D2F77D4F9 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:17:53] 691*2^1418121-1 is not prime. Res64: 332AA6C60EA29F89 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:17:53] 739*2^1418121-1 is not prime. Res64: A6C3B21CA7EE0F8F Time : 0.0 sec. user=mdettweiler [2015-12-26 00:35:26] 895*2^1418121-1 is not prime. Res64: 5E8910C26F1696EA Time : 0.0 sec. user=mdettweiler [2015-12-26 00:35:26] 795*2^1418121-1 is not prime. Res64: A52583D358C5BA6A Time : 0.0 sec. user=mdettweiler [2015-12-26 00:35:26] 901*2^1418121-1 is not prime. Res64: A09CF1514F8B74D4 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:35:27] 889*2^1418121-1 is not prime. Res64: 0526BBD2ABD0F147 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:52:57] 791*2^1418122-1 is not prime. Res64: 4C4A0D30FDD6C6E7 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:52:57] 801*2^1418122-1 is not prime. Res64: A6731AA070533AC5 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:52:58] 609*2^1418123-1 is not prime. Res64: DADEECF4BADB58C8 Time : 0.0 sec. user=mdettweiler [2015-12-26 00:52:59] 643*2^1418123-1 is not prime. Res64: 0173A557BAEF2D55 Time : 0.0 sec. user=mdettweiler [2015-12-26 01:10:27] 635*2^1418124-1 is not prime. Res64: F80AB4C3E3A0B168 Time : 0.0 sec. user=mdettweiler [2015-12-26 01:10:28] 735*2^1418123-1 is not prime. Res64: 9E0AB591234C4B2D Time : 0.0 sec. user=mdettweiler [2015-12-26 01:10:28] 745*2^1418123-1 is not prime. Res64: A3D944252E61BBA2 Time : 0.0 sec. user=mdettweiler [2015-12-26 01:10:28] 683*2^1418124-1 is not prime. Res64: 5C830E6BBACCDB9B Time : 0.0 sec. user=mdettweiler [2015-12-26 01:28:03] 717*2^1418124-1 is not prime. Res64: 8F2ADC62A55868EF Time : 0.0 sec. user=mdettweiler [2015-12-26 01:28:03] 693*2^1418124-1 is not prime. Res64: 184A6456C6E6AB1E Time : 0.0 sec. user=mdettweiler [2015-12-26 01:28:04] 707*2^1418124-1 is not prime. Res64: C9EE3AEEA014B42B Time : 0.0 sec. user=mdettweiler [2015-12-26 01:28:04] 723*2^1418124-1 is not prime. Res64: 463F7DEDEA89874A Time : 0.0 sec. user=mdettweiler [2015-12-26 01:45:56] 759*2^1418124-1 is not prime. Res64: 841F7C042CC4AE3E Time : 0.0 sec. user=mdettweiler [2015-12-26 01:45:56] 965*2^1418124-1 is not prime. Res64: FC16C484AF8BD536 Time : 0.0 sec. user=mdettweiler [2015-12-26 01:45:56] 909*2^1418124-1 is not prime. Res64: 01D0E58215D139FC Time : 0.0 sec. user=mdettweiler [2015-12-26 01:45:57] 727*2^1418125-1 is not prime. Res64: 85A8DEC4C693BE5A Time : 0.0 sec. user=mdettweiler [2015-12-26 02:03:26] 855*2^1418125-1 is not prime. Res64: 9CE1D09C68451CE9 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:03:27] 771*2^1418125-1 is not prime. Res64: 46DEB99F8BB62879 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:03:28] 861*2^1418125-1 is not prime. Res64: C1CF263DAB2FBBDB Time : 0.0 sec. user=mdettweiler [2015-12-26 02:03:29] 775*2^1418125-1 is not prime. Res64: 54DA491B1A8287B8 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:21:22] 871*2^1418125-1 is not prime. Res64: 42299F9A5F19A534 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:21:23] 997*2^1418125-1 is not prime. Res64: 23917ECFEB213EF5 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:21:23] 889*2^1418125-1 is not prime. Res64: C2B3866D7235843D Time : 0.0 sec. user=mdettweiler [2015-12-26 02:21:24] 677*2^1418126-1 is not prime. Res64: 5A829842B2C04C1F Time : 0.0 sec. user=mdettweiler [2015-12-26 02:38:53] 953*2^1418126-1 is not prime. Res64: 0A43C7282700CEB4 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:38:54] 957*2^1418126-1 is not prime. Res64: 9A06DD695F3FF8D8 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:38:54] 851*2^1418126-1 is not prime. Res64: 4AB45C8EE6342E08 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:38:54] 893*2^1418126-1 is not prime. Res64: D3E0EB079C535A04 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:56:24] 649*2^1418127-1 is not prime. Res64: CDFCB5D0735B3B43 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:56:24] 993*2^1418126-1 is not prime. Res64: A6B950EB772125FC Time : 0.0 sec. user=mdettweiler [2015-12-26 02:56:24] 709*2^1418127-1 is not prime. Res64: 80545B16FE26E3A5 Time : 0.0 sec. user=mdettweiler [2015-12-26 02:56:24] 633*2^1418127-1 is not prime. Res64: 92633A3433265598 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:13:54] 829*2^1418127-1 is not prime. Res64: 75CBE7E2D4E6D89D Time : 0.0 sec. user=mdettweiler [2015-12-26 03:13:55] 909*2^1418127-1 is not prime. Res64: 2743F732D2949CFE Time : 0.0 sec. user=mdettweiler [2015-12-26 03:13:55] 951*2^1418127-1 is not prime. Res64: C455E2C2D5A7FBB4 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:13:55] 623*2^1418128-1 is not prime. Res64: F7973937AE63D993 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:31:28] 777*2^1418128-1 is not prime. Res64: D6C3285866D94B61 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:31:29] 959*2^1418128-1 is not prime. Res64: 8B17D34A7816AB0F Time : 0.0 sec. user=mdettweiler [2015-12-26 03:31:30] 915*2^1418128-1 is not prime. Res64: BF121163CFA6425E Time : 0.0 sec. user=mdettweiler [2015-12-26 03:31:30] 601*2^1418129-1 is not prime. Res64: 7D13E9B476CC8A40 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:49:19] 829*2^1418129-1 is not prime. Res64: 3147C0A74C4F8E99 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:49:20] 879*2^1418129-1 is not prime. Res64: C8255EAAF93C5464 Time : 0.0 sec. user=mdettweiler [2015-12-26 03:49:21] 699*2^1418129-1 is not prime. Res64: E9615A12C3F8BF7B Time : 0.0 sec. user=mdettweiler [2015-12-26 03:49:23] 769*2^1418129-1 is not prime. Res64: 69553AFE06A2078B Time : 0.0 sec. user=mdettweiler [2015-12-26 04:07:13] 969*2^1418129-1 is not prime. Res64: E7A32DE1FE0D4F58 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:07:13] 611*2^1418130-1 is not prime. Res64: 18BD31A7BB61AEB9 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:07:14] 641*2^1418130-1 is not prime. Res64: C69123FEB7A294CB Time : 0.0 sec. user=mdettweiler [2015-12-26 04:07:15] 747*2^1418130-1 is not prime. Res64: FA7646D2903F11CA Time : 0.0 sec. user=mdettweiler [2015-12-26 04:24:47] 783*2^1418130-1 is not prime. Res64: 8CB0CBF5D402B901 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:24:47] 891*2^1418130-1 is not prime. Res64: DEAFA0E331DC0DBC Time : 0.0 sec. user=mdettweiler [2015-12-26 04:24:48] 893*2^1418130-1 is not prime. Res64: EB7EF22A5F585D6E Time : 0.0 sec. user=mdettweiler [2015-12-26 04:24:48] 833*2^1418130-1 is not prime. Res64: 86F270D42224EDBB Time : 0.0 sec. user=mdettweiler [2015-12-26 04:42:17] 615*2^1418131-1 is not prime. Res64: F6C507CE13D7DD33 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:42:17] 651*2^1418131-1 is not prime. Res64: DE424F70FFA96E82 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:42:18] 905*2^1418130-1 is not prime. Res64: 72BE6F7702304A02 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:42:18] 917*2^1418130-1 is not prime. Res64: 79BE4DFA418720D1 Time : 0.0 sec. user=mdettweiler [2015-12-26 04:59:47] 871*2^1418131-1 is not prime. Res64: F89C95EC7E048D7E Time : 0.0 sec. user=mdettweiler [2015-12-26 04:59:47] 617*2^1418132-1 is not prime. Res64: D179CA801F7E7DFC Time : 0.0 sec. user=mdettweiler [2015-12-26 04:59:48] 635*2^1418132-1 is not prime. Res64: A5CD3E88E3D5148C Time : 0.0 sec. user=mdettweiler [2015-12-26 04:59:48] 873*2^1418131-1 is not prime. Res64: E5FCA6F38212951A Time : 0.0 sec. user=mdettweiler [2015-12-26 05:17:17] 669*2^1418132-1 is not prime. Res64: 779BE2B135DB7A36 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:17:18] 743*2^1418132-1 is not prime. Res64: EDAC13DE379487A3 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:17:18] 693*2^1418132-1 is not prime. Res64: 4B382492D942F9BF Time : 0.0 sec. user=mdettweiler [2015-12-26 05:17:18] 923*2^1418132-1 is not prime. Res64: 636B266004C0AA0F Time : 0.0 sec. user=mdettweiler [2015-12-26 05:34:47] 983*2^1418132-1 is not prime. Res64: BA930BD107B9FF05 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:34:48] 621*2^1418133-1 is not prime. Res64: 17911EBFC21E3529 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:34:48] 669*2^1418133-1 is not prime. Res64: D87557FC203D3DB4 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:34:48] 819*2^1418133-1 is not prime. Res64: E0A01E7F9702CD3D Time : 0.0 sec. user=mdettweiler [2015-12-26 05:52:17] 849*2^1418133-1 is not prime. Res64: 7BDFD08C4D428409 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:52:18] 999*2^1418133-1 is not prime. Res64: EB67C6F45BC7CFE5 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:52:18] 611*2^1418134-1 is not prime. Res64: 8A402FE9A6958900 Time : 0.0 sec. user=mdettweiler [2015-12-26 05:52:18] 657*2^1418134-1 is not prime. Res64: 34D4EF8A4FB742F5 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:09:48] 663*2^1418134-1 is not prime. Res64: 0F6646E569847040 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:09:48] 755*2^1418134-1 is not prime. Res64: 3A25DA8F53B10853 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:09:49] 665*2^1418134-1 is not prime. Res64: 0629FD2427A77C4F Time : 0.0 sec. user=mdettweiler [2015-12-26 06:09:49] 765*2^1418134-1 is not prime. Res64: BE01440A18E6CE55 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:27:21] 827*2^1418134-1 is not prime. Res64: 379C6FF953CB50E1 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:27:21] 945*2^1418134-1 is not prime. Res64: C3F9CE195B036992 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:27:21] 887*2^1418134-1 is not prime. Res64: 639603156D7F2C7A Time : 0.0 sec. user=mdettweiler [2015-12-26 06:27:22] 951*2^1418134-1 is not prime. Res64: 23AE89339F459964 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:44:51] 633*2^1418135-1 is not prime. Res64: FA6E45AC2EBA3388 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:44:52] 735*2^1418135-1 is not prime. Res64: 18D7A792E64E4046 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:44:52] 661*2^1418135-1 is not prime. Res64: E944991B60D14A81 Time : 0.0 sec. user=mdettweiler [2015-12-26 06:44:52] 781*2^1418135-1 is not prime. Res64: 94A8BBBA973DFA25 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:02:22] 895*2^1418135-1 is not prime. Res64: F8C32605ADEC11AB Time : 0.0 sec. user=mdettweiler [2015-12-26 07:02:22] 909*2^1418135-1 is not prime. Res64: E1F6B9707561328D Time : 0.0 sec. user=mdettweiler [2015-12-26 07:02:24] 783*2^1418135-1 is not prime. Res64: 6391C4531FE9D020 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:02:25] 799*2^1418135-1 is not prime. Res64: 4277E4423267C6AF Time : 0.0 sec. user=mdettweiler [2015-12-26 07:20:05] 615*2^1418136-1 is not prime. Res64: 67EA4E60C3DFF7D6 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:20:06] 669*2^1418136-1 is not prime. Res64: 16D5E6FC53AFACE0 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:20:07] 683*2^1418136-1 is not prime. Res64: 481485EE88122460 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:20:07] 699*2^1418136-1 is not prime. Res64: 63E06E0539D84935 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:37:35] 723*2^1418136-1 is not prime. Res64: 132BBDE8202C033E Time : 0.0 sec. user=mdettweiler [2015-12-26 07:37:36] 867*2^1418136-1 is not prime. Res64: 46418C2C7E3C5727 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:37:36] 875*2^1418136-1 is not prime. Res64: CBFD94B5ACE47083 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:37:36] 667*2^1418137-1 is not prime. Res64: 251264A0C308A37A Time : 0.0 sec. user=mdettweiler [2015-12-26 07:55:05] 691*2^1418137-1 is not prime. Res64: E344A4EBCCF24CCB Time : 0.0 sec. user=mdettweiler [2015-12-26 07:55:05] 777*2^1418137-1 is not prime. Res64: A0E07A53884FDAF7 Time : 0.0 sec. user=mdettweiler [2015-12-26 07:55:05] 741*2^1418137-1 is not prime. Res64: 25FF355AFAFF637A Time : 0.0 sec. user=mdettweiler [2015-12-26 07:55:06] 831*2^1418137-1 is not prime. Res64: 2FA5BF92A12D5571 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:12:34] 897*2^1418137-1 is not prime. Res64: F6080F050BA7907B Time : 0.0 sec. user=mdettweiler [2015-12-26 08:12:34] 633*2^1418138-1 is not prime. Res64: 9E7F11474B562FC1 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:12:34] 997*2^1418137-1 is not prime. Res64: 8D94527A46D8EABD Time : 0.0 sec. user=mdettweiler [2015-12-26 08:12:35] 645*2^1418138-1 is not prime. Res64: AEB998A63319296D Time : 0.0 sec. user=mdettweiler [2015-12-26 08:30:05] 767*2^1418138-1 is not prime. Res64: CE13ECFCBE4961C5 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:30:05] 713*2^1418138-1 is not prime. Res64: B2AE85618FE118C9 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:30:06] 773*2^1418138-1 is not prime. Res64: B3E79ABD61EDB292 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:30:06] 743*2^1418138-1 is not prime. Res64: F5664872824DFFC5 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:47:35] 801*2^1418138-1 is not prime. Res64: 443FFB8B6F45E222 Time : 0.0 sec. user=mdettweiler [2015-12-26 08:47:35] 971*2^1418138-1 is not prime. Res64: 1381D208E0D460AD Time : 0.0 sec. user=mdettweiler [2015-12-26 08:47:35] 893*2^1418138-1 is not prime. Res64: 549ED2B7920C0B9D Time : 0.0 sec. user=mdettweiler [2015-12-26 08:47:35] 633*2^1418139-1 is not prime. Res64: A7F77E86665FFDF2 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:05:06] 703*2^1418139-1 is not prime. Res64: C4AE8DD288748D08 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:05:06] 639*2^1418139-1 is not prime. Res64: DABE7620F39921A9 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:05:07] 751*2^1418139-1 is not prime. Res64: 22E6F7330EDC6090 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:05:08] 685*2^1418139-1 is not prime. Res64: 3E68BFC5EBB06657 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:22:57] 769*2^1418139-1 is not prime. Res64: 9324B458313516F0 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:22:58] 829*2^1418139-1 is not prime. Res64: 9AFBA91480BDCD5E Time : 0.0 sec. user=mdettweiler [2015-12-26 09:22:58] 843*2^1418139-1 is not prime. Res64: E94609C3AEC97F46 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:22:58] 903*2^1418139-1 is not prime. Res64: BBC0F0F2ECF6EBDA Time : 0.0 sec. user=mdettweiler [2015-12-26 09:40:29] 603*2^1418140-1 is not prime. Res64: 1B2451F42B964B55 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:40:29] 975*2^1418139-1 is not prime. Res64: 6DEEC39018506906 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:40:29] 615*2^1418140-1 is not prime. Res64: 9D5E408A04C9017E Time : 0.0 sec. user=mdettweiler [2015-12-26 09:40:30] 979*2^1418139-1 is not prime. Res64: 200CDCD65BCA7A1F Time : 0.0 sec. user=mdettweiler [2015-12-26 09:57:58] 665*2^1418140-1 is not prime. Res64: 7BCD1B0075953A0B Time : 0.0 sec. user=mdettweiler [2015-12-26 09:57:59] 723*2^1418140-1 is not prime. Res64: 8F1DB4DFF030FC50 Time : 0.0 sec. user=mdettweiler [2015-12-26 09:57:59] 887*2^1418140-1 is not prime. Res64: 37B9106EB29561BF Time : 0.0 sec. user=mdettweiler [2015-12-26 09:57:59] 909*2^1418140-1 is not prime. Res64: 547543289058766C Time : 0.0 sec. user=mdettweiler [2015-12-26 10:15:28] 601*2^1418141-1 is not prime. Res64: E6405E6CE01EDFE8 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:15:29] 711*2^1418141-1 is not prime. Res64: 094862F6E1B0724B Time : 0.0 sec. user=mdettweiler [2015-12-26 10:15:29] 933*2^1418140-1 is not prime. Res64: 8CB6CDF6C437F101 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:15:30] 975*2^1418140-1 is not prime. Res64: AD3B258121BBFD72 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:33:01] 937*2^1418141-1 is not prime. Res64: 25D8325C0D591606 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:33:01] 939*2^1418141-1 is not prime. Res64: 240CD161A0EE30B5 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:33:02] 735*2^1418141-1 is not prime. Res64: 77613149CB4325A1 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:33:02] 819*2^1418141-1 is not prime. Res64: 91777A71B8118030 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:50:31] 741*2^1418143-1 is not prime. Res64: 3F5EA14224B12DF8 Time : 0.0 sec. user=mdettweiler [2015-12-26 10:50:31] 649*2^1418143-1 is not prime. Res64: EB7431C43FA669ED Time : 0.0 sec. user=mdettweiler [2015-12-26 10:50:32] 859*2^1418143-1 is not prime. Res64: 0D511BD0CF8707DF Time : 0.0 sec. user=mdettweiler [2015-12-26 10:50:32] 703*2^1418143-1 is not prime. Res64: 6AD91A0D5A864AAA Time : 0.0 sec. user=mdettweiler [2015-12-26 11:08:01] 939*2^1418143-1 is not prime. Res64: 220D6282AC609AB5 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:08:02] 861*2^1418143-1 is not prime. Res64: 64A35B4501C46F17 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:08:02] 933*2^1418143-1 is not prime. Res64: 31319B9441D61E32 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:08:02] 951*2^1418143-1 is not prime. Res64: B3DE35F328A00DEE Time : 0.0 sec. user=mdettweiler [2015-12-26 11:25:34] 969*2^1418144-1 is not prime. Res64: 7E5CCD58593C7F37 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:25:34] 993*2^1418144-1 is not prime. Res64: D989A558E765838A Time : 0.0 sec. user=mdettweiler [2015-12-26 11:25:35] 827*2^1418144-1 is not prime. Res64: 91F0FC2A62ECB631 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:25:35] 917*2^1418144-1 is not prime. Res64: 7D871DBDA4170AA8 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:43:04] 705*2^1418145-1 is not prime. Res64: 0209CBEEC02E3478 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:43:04] 741*2^1418145-1 is not prime. Res64: 4B5327BA8FA4DD8B Time : 0.0 sec. user=mdettweiler [2015-12-26 11:43:04] 721*2^1418145-1 is not prime. Res64: 174601AFCD92B453 Time : 0.0 sec. user=mdettweiler [2015-12-26 11:43:05] 889*2^1418145-1 is not prime. Res64: 2EFE77C4B69879CE Time : 0.0 sec. user=mdettweiler [2015-12-26 12:00:34] 919*2^1418145-1 is not prime. Res64: 277F067BED09B4D4 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:00:35] 675*2^1418146-1 is not prime. Res64: A44299524F767FF7 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:00:38] 695*2^1418146-1 is not prime. Res64: 4B671C94FBA42533 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:00:39] 755*2^1418146-1 is not prime. Res64: 8F487E38D575C29B Time : 0.0 sec. user=mdettweiler [2015-12-26 12:18:05] 803*2^1418146-1 is not prime. Res64: 28233A52FE75BB37 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:18:06] 867*2^1418146-1 is not prime. Res64: AEE329A4378CA219 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:18:09] 917*2^1418146-1 is not prime. Res64: 99549F8220740665 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:18:10] 993*2^1418146-1 is not prime. Res64: 12B54DC3A3B4326D Time : 0.0 sec. user=mdettweiler [2015-12-26 12:35:55] 621*2^1418147-1 is not prime. Res64: 58EE96D1E146D9FE Time : 0.0 sec. user=mdettweiler [2015-12-26 12:35:56] 645*2^1418147-1 is not prime. Res64: 20A88025DE8A5497 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:35:57] 655*2^1418147-1 is not prime. Res64: 4BEE06FD5AE600EC Time : 0.0 sec. user=mdettweiler [2015-12-26 12:35:58] 663*2^1418147-1 is not prime. Res64: E009308E1A31C88B Time : 0.0 sec. user=mdettweiler [2015-12-26 12:53:40] 799*2^1418147-1 is not prime. Res64: 37EACA4681D16FDF Time : 0.0 sec. user=mdettweiler [2015-12-26 12:53:41] 991*2^1418147-1 is not prime. Res64: DB89DC1A4419D612 Time : 0.0 sec. user=mdettweiler [2015-12-26 12:53:42] 657*2^1418148-1 is not prime. Res64: 04BBA6004D93520A Time : 0.0 sec. user=mdettweiler [2015-12-26 12:53:43] 767*2^1418148-1 is not prime. Res64: 0ED372EF23CFB4AD Time : 0.0 sec. user=mdettweiler [2015-12-26 13:11:21] 845*2^1418148-1 is not prime. Res64: CDBAD8130BB826AF Time : 0.0 sec. user=mdettweiler [2015-12-26 13:11:22] 933*2^1418148-1 is not prime. Res64: C58C0279EDAAEE0E Time : 0.0 sec. user=mdettweiler [2015-12-26 13:11:24] 987*2^1418148-1 is not prime. Res64: E38A21953FB5F021 Time : 0.0 sec. user=mdettweiler [2015-12-26 13:11:24] 765*2^1418149-1 is not prime. Res64: 0A221FFF2BF7116B Time : 0.0 sec. user=mdettweiler [2015-12-26 13:28:59] 861*2^1418149-1 is not prime. Res64: CC542733C2BC29A3 Time : 0.0 sec. user=mdettweiler [2015-12-26 13:28:59] 895*2^1418149-1 is not prime. Res64: 8827D310B0A4478D Time : 0.0 sec. user=mdettweiler [2015-12-26 13:29:00] 945*2^1418149-1 is not prime. Res64: 7C4C3755831094AF Time : 0.0 sec. user=mdettweiler [2015-12-26 13:29:01] 603*2^1418150-1 is not prime. Res64: 57516C7AAAAE558E Time : 0.0 sec. user=mdettweiler [2015-12-26 13:46:30] 677*2^1418150-1 is not prime. Res64: D96EC1BDC6368669 Time : 0.0 sec. user=mdettweiler [2015-12-26 13:46:31] 773*2^1418150-1 is not prime. Res64: 75BA3BBA94B91B11 Time : 0.0 sec. user=mdettweiler [2015-12-26 13:46:32] 801*2^1418150-1 is not prime. Res64: 8FBF7DAC92EF6A14 Time : 0.0 sec. user=mdettweiler [2015-12-26 13:46:32] 851*2^1418150-1 is not prime. Res64: B07EA6857345A3F0 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:04:13] 619*2^1418151-1 is not prime. Res64: 1DB9D404CAA4F03C Time : 0.0 sec. user=mdettweiler [2015-12-26 14:04:13] 857*2^1418150-1 is not prime. Res64: 0123E81ACDCC2468 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:04:14] 691*2^1418151-1 is not prime. Res64: 0A7DFAE30453C464 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:04:14] 981*2^1418150-1 is not prime. Res64: 27F3FD092271BCC2 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:22:09] 751*2^1418151-1 is not prime. Res64: F1511EC8B02CFEC3 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:22:10] 825*2^1418151-1 is not prime. Res64: 17ABDD0774B3C3A1 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:22:10] 871*2^1418151-1 is not prime. Res64: 8CAD9BAE7DFB3B35 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:22:11] 705*2^1418152-1 is not prime. Res64: B0B181E9061E89A6 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:39:45] 723*2^1418152-1 is not prime. Res64: 0FB3885761CB3F3D Time : 0.0 sec. user=mdettweiler [2015-12-26 14:39:46] 873*2^1418152-1 is not prime. Res64: F89FBB756D2254BF Time : 0.0 sec. user=mdettweiler [2015-12-26 14:39:46] 999*2^1418152-1 is not prime. Res64: DB174E07AC750912 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:39:47] 705*2^1418153-1 is not prime. Res64: B04A432CD8ECCD91 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:57:20] 745*2^1418153-1 is not prime. Res64: B9C4647F3FD76071 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:57:20] 787*2^1418153-1 is not prime. Res64: C7FA5111690FA401 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:57:20] 769*2^1418153-1 is not prime. Res64: 6770AD3603F02416 Time : 0.0 sec. user=mdettweiler [2015-12-26 14:57:21] 615*2^1418154-1 is not prime. Res64: 14D9D8D0B541A22B Time : 0.0 sec. user=mdettweiler [2015-12-26 15:14:55] 803*2^1418154-1 is not prime. Res64: 647C71A0EED4D294 Time : 0.0 sec. user=mdettweiler [2015-12-26 15:14:55] 683*2^1418154-1 is not prime. Res64: B3533DC2992FDAD3 Time : 0.0 sec. user=mdettweiler [2015-12-26 15:14:56] 791*2^1418154-1 is not prime. Res64: ED451E5F948BF2AE Time : 0.0 sec. user=mdettweiler [2015-12-26 15:14:56] 837*2^1418154-1 is not prime. Res64: 43D6504A68477BB4 Time : 0.0 sec. user=mdettweiler [2015-12-26 15:32:26] 917*2^1418154-1 is not prime. Res64: 8C633B6CAF98408A Time : 0.0 sec. user=mdettweiler [2015-12-26 15:32:27] 735*2^1418155-1 is not prime. Res64: 05E89E34B93DF31B Time : 0.0 sec. user=mdettweiler [2015-12-26 15:32:27] 947*2^1418154-1 is not prime. Res64: E15DD481801A15C3 Time : 0.0 sec. user=mdettweiler [2015-12-26 15:32:27] 751*2^1418155-1 is not prime. Res64: 1A9C2EA1C51834CC Time : 0.0 sec. user=mdettweiler [2015-12-26 15:49:56] 759*2^1418155-1 is not prime. Res64: F67936A342948B11 Time : 0.0 sec. user=mdettweiler [2015-12-26 15:49:57] 939*2^1418155-1 is not prime. Res64: 031EB50648F0AF3C Time : 0.0 sec. user=mdettweiler [2015-12-26 15:49:57] 805*2^1418155-1 is not prime. Res64: 136DD4CD779BCCED Time : 0.0 sec. user=mdettweiler [2015-12-26 15:49:57] 609*2^1418156-1 is not prime. Res64: E274319EF3D05637 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:07:26] 675*2^1418156-1 is not prime. Res64: D17065034185EFA5 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:07:26] 755*2^1418156-1 is not prime. Res64: 4B747AF261131EE8 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:07:27] 749*2^1418156-1 is not prime. Res64: 8BCBBA54273AE1B0 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:07:27] 767*2^1418156-1 is not prime. Res64: 22A88A7066BE3040 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:25:16] 983*2^1418156-1 is not prime. Res64: 770D433535B0521F Time : 0.0 sec. user=mdettweiler [2015-12-26 16:25:16] 827*2^1418156-1 is not prime. Res64: 2F45466E4B9D1F93 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:25:17] 839*2^1418156-1 is not prime. Res64: 12C0D9A3760BD90E Time : 0.0 sec. user=mdettweiler [2015-12-26 16:25:17] 615*2^1418157-1 is not prime. Res64: CF3C007C79ACA1EC Time : 0.0 sec. user=mdettweiler [2015-12-26 16:42:50] 649*2^1418157-1 is not prime. Res64: 912C3C00B91BD6E6 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:42:50] 621*2^1418157-1 is not prime. Res64: 657006460C426D5D Time : 0.0 sec. user=mdettweiler [2015-12-26 16:42:50] 655*2^1418157-1 is not prime. Res64: BD5E5FC093E362B9 Time : 0.0 sec. user=mdettweiler [2015-12-26 16:42:50] 625*2^1418157-1 is not prime. Res64: 42973349BA081ECC Time : 0.0 sec. user=mdettweiler [2015-12-26 17:00:45] 741*2^1418157-1 is not prime. Res64: 4B60500C41F6CA1E Time : 0.0 sec. user=mdettweiler [2015-12-26 17:00:46] 805*2^1418157-1 is not prime. Res64: E82492F543DB51FA Time : 0.0 sec. user=mdettweiler [2015-12-26 17:00:51] 837*2^1418157-1 is not prime. Res64: 401AAEB0EF548F11 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:00:52] 861*2^1418157-1 is not prime. Res64: 834E0108E22A20D7 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:18:53] 985*2^1418157-1 is not prime. Res64: FF7C418E09BE6B0F Time : 0.0 sec. user=mdettweiler [2015-12-26 17:18:53] 997*2^1418157-1 is not prime. Res64: 4843A10420ED3EAE Time : 0.0 sec. user=mdettweiler [2015-12-26 17:18:55] 605*2^1418158-1 is not prime. Res64: CF671BBCF39615D3 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:18:56] 611*2^1418158-1 is not prime. Res64: CC66F72D0C1C3708 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:36:32] 647*2^1418158-1 is not prime. Res64: AA52F146CB2D24A5 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:36:32] 737*2^1418158-1 is not prime. Res64: 93B4A1BC27F107CF Time : 0.0 sec. user=mdettweiler [2015-12-26 17:36:33] 923*2^1418158-1 is not prime. Res64: DE43686BD0264103 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:36:33] 681*2^1418158-1 is not prime. Res64: 5C56BBA9642C8C7D Time : 0.0 sec. user=mdettweiler [2015-12-26 17:54:02] 993*2^1418158-1 is not prime. Res64: 6A516952DB455AF3 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:54:02] 645*2^1418159-1 is not prime. Res64: 274529313C0CA85C Time : 0.0 sec. user=mdettweiler [2015-12-26 17:54:02] 711*2^1418159-1 is not prime. Res64: C086D07BD6080397 Time : 0.0 sec. user=mdettweiler [2015-12-26 17:54:02] 759*2^1418159-1 is not prime. Res64: 652BB4142782755E Time : 0.0 sec. user=mdettweiler [2015-12-26 18:11:34] 789*2^1418159-1 is not prime. Res64: 5B7778AA8D5A9373 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:11:35] 823*2^1418159-1 is not prime. Res64: 731D5E9C9FD7C740 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:11:35] 843*2^1418159-1 is not prime. Res64: 0D3AAAEFE89D66C2 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:11:36] 623*2^1418160-1 is not prime. Res64: CBDABFF369E7CCB7 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:29:14] 627*2^1418160-1 is not prime. Res64: 9F6E85957A7862CB Time : 0.0 sec. user=mdettweiler [2015-12-26 18:29:14] 797*2^1418160-1 is not prime. Res64: B97E4A9B844656FD Time : 0.0 sec. user=mdettweiler [2015-12-26 18:29:17] 625*2^1418161-1 is not prime. Res64: B9209E00EB763ADF Time : 0.0 sec. user=mdettweiler [2015-12-26 18:29:18] 639*2^1418161-1 is not prime. Res64: 2E21B6E756611080 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:46:47] 645*2^1418161-1 is not prime. Res64: 500B3C2F23E0290C Time : 0.0 sec. user=mdettweiler [2015-12-26 18:46:47] 687*2^1418161-1 is not prime. Res64: 1EC2339ACCE9622C Time : 0.0 sec. user=mdettweiler [2015-12-26 18:46:49] 769*2^1418161-1 is not prime. Res64: 5D8CD2E352A6E391 Time : 0.0 sec. user=mdettweiler [2015-12-26 18:46:49] 847*2^1418161-1 is not prime. Res64: 3114ED0EA1DBD8CD Time : 0.0 sec. user=mdettweiler [2015-12-26 19:04:29] 895*2^1418161-1 is not prime. Res64: 54FE2A4D4C193888 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:04:30] 771*2^1418162-1 is not prime. Res64: B23A54316878BEB7 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:04:31] 603*2^1418162-1 is not prime. Res64: 516B063A0BD0FA1B Time : 0.0 sec. user=mdettweiler [2015-12-26 19:04:33] 791*2^1418162-1 is not prime. Res64: 699F1A654090D2E7 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:22:29] 825*2^1418162-1 is not prime. Res64: B61C9C5C89D458B4 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:22:29] 723*2^1418163-1 is not prime. Res64: F5023F88460C8EF5 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:22:29] 837*2^1418162-1 is not prime. Res64: 52FAE5D48FB0F085 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:22:29] 735*2^1418163-1 is not prime. Res64: AD47659E63986AA8 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:40:21] 891*2^1418163-1 is not prime. Res64: E41BEAB2BBE18386 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:40:21] 943*2^1418163-1 is not prime. Res64: 744218E9A5AC9A13 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:40:21] 955*2^1418163-1 is not prime. Res64: B6F3FB3AF8BE1EDE Time : 0.0 sec. user=mdettweiler [2015-12-26 19:40:21] 961*2^1418163-1 is not prime. Res64: BB26BA2D63A265AD Time : 0.0 sec. user=mdettweiler [2015-12-26 19:57:59] 975*2^1418164-1 is not prime. Res64: 9B390E9BE7867DDA Time : 0.0 sec. user=mdettweiler [2015-12-26 19:57:59] 905*2^1418164-1 is not prime. Res64: 9D12A800D3F1E9A7 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:57:59] 927*2^1418164-1 is not prime. Res64: B9F752C0C05E51B0 Time : 0.0 sec. user=mdettweiler [2015-12-26 19:57:59] 675*2^1418165-1 is not prime. Res64: D56E6CB506F57130 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:15:31] 831*2^1418165-1 is not prime. Res64: 12245A2FA2F75751 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:15:31] 729*2^1418165-1 is not prime. Res64: C7BEB4FE862C89F9 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:15:32] 811*2^1418165-1 is not prime. Res64: 80A13970F5952545 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:15:32] 885*2^1418165-1 is not prime. Res64: 7C0D4ED4DDF96156 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:33:04] 991*2^1418165-1 is not prime. Res64: E3339B9067830F4A Time : 0.0 sec. user=mdettweiler [2015-12-26 20:33:04] 907*2^1418165-1 is not prime. Res64: 534485FC4C5B58E0 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:33:05] 737*2^1418166-1 is not prime. Res64: 9B6F595E2F717C8D Time : 0.0 sec. user=mdettweiler [2015-12-26 20:33:05] 985*2^1418165-1 is not prime. Res64: 67DC2DDC863D8645 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:50:34] 741*2^1418166-1 is not prime. Res64: 69270A2E58FF8268 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:50:35] 651*2^1418167-1 is not prime. Res64: 5F98F91E029C3EB4 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:50:35] 705*2^1418167-1 is not prime. Res64: 1395F5881BC39BE9 Time : 0.0 sec. user=mdettweiler [2015-12-26 20:50:35] 867*2^1418166-1 is not prime. Res64: DB219840FF0C9023 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:08:04] 615*2^1418168-1 is not prime. Res64: E7FA86DA621A10EA Time : 0.0 sec. user=mdettweiler [2015-12-26 21:08:05] 629*2^1418168-1 is not prime. Res64: 023FBDC1F8C9E76E Time : 0.0 sec. user=mdettweiler [2015-12-26 21:08:05] 973*2^1418167-1 is not prime. Res64: C6B3C19AA6D91754 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:08:06] 985*2^1418167-1 is not prime. Res64: D2853E6AEA50F88D Time : 0.0 sec. user=mdettweiler [2015-12-26 21:25:39] 815*2^1418168-1 is not prime. Res64: C5E1700CD22054E9 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:25:39] 843*2^1418168-1 is not prime. Res64: 797BD0A7D37B5224 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:25:40] 957*2^1418168-1 is not prime. Res64: 2C1B49685914F5FE Time : 0.0 sec. user=mdettweiler [2015-12-26 21:25:40] 835*2^1418169-1 is not prime. Res64: 7FA47B4AB92D410A Time : 0.0 sec. user=mdettweiler [2015-12-26 21:43:08] 755*2^1418170-1 is not prime. Res64: 067B5A73FA9BC3BA Time : 0.0 sec. user=mdettweiler [2015-12-26 21:43:08] 951*2^1418170-1 is not prime. Res64: 72E3CE50A9058CD4 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:43:08] 889*2^1418169-1 is not prime. Res64: B784D296DE71B010 Time : 0.0 sec. user=mdettweiler [2015-12-26 21:43:09] 681*2^1418170-1 is not prime. Res64: 665B82426A303A40 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:00:39] 663*2^1418171-1 is not prime. Res64: 7F83A26737556807 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:00:39] 987*2^1418170-1 is not prime. Res64: 0EA3A74E586ABE51 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:00:40] 679*2^1418171-1 is not prime. Res64: 1EE4687D524E505E Time : 0.0 sec. user=mdettweiler [2015-12-26 22:00:40] 643*2^1418171-1 is not prime. Res64: AA9B957AADF05399 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:18:10] 741*2^1418171-1 is not prime. Res64: 37536BB5E026A727 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:18:11] 705*2^1418171-1 is not prime. Res64: 94BCC25ACD96D931 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:18:11] 813*2^1418171-1 is not prime. Res64: E0DBF0208CE0E78E Time : 0.0 sec. user=mdettweiler [2015-12-26 22:18:11] 735*2^1418171-1 is not prime. Res64: 845E8F7B6A670C51 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:35:41] 669*2^1418172-1 is not prime. Res64: 1B3BAD7A73B8AF2A Time : 0.0 sec. user=mdettweiler [2015-12-26 22:35:41] 885*2^1418171-1 is not prime. Res64: A86B92A3039C8A64 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:35:41] 719*2^1418172-1 is not prime. Res64: 15A93F85EE653E24 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:35:41] 981*2^1418171-1 is not prime. Res64: 37C446AD36F8729C Time : 0.0 sec. user=mdettweiler [2015-12-26 22:53:10] 983*2^1418172-1 is not prime. Res64: 2AD9A1E77D092A8B Time : 0.0 sec. user=mdettweiler [2015-12-26 22:53:10] 681*2^1418173-1 is not prime. Res64: 38ABB8665AC42AE8 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:53:11] 779*2^1418172-1 is not prime. Res64: 5A6A616C1A1C38F9 Time : 0.0 sec. user=mdettweiler [2015-12-26 22:53:11] 887*2^1418172-1 is not prime. Res64: 29468CD8379E50C5 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:10:40] 745*2^1418173-1 is not prime. Res64: C941B7984B88E118 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:10:41] 801*2^1418173-1 is not prime. Res64: 67B486B9698D27FC Time : 0.0 sec. user=mdettweiler [2015-12-26 23:10:41] 685*2^1418173-1 is not prime. Res64: 3FFD19C62EB00541 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:10:42] 687*2^1418173-1 is not prime. Res64: 2116FE5297D24505 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:28:11] 651*2^1418174-1 is not prime. Res64: 2CB7E97FC72E7A2E Time : 0.0 sec. user=mdettweiler [2015-12-26 23:28:12] 687*2^1418174-1 is not prime. Res64: 24166BC8589DDF67 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:28:12] 861*2^1418173-1 is not prime. Res64: 537F128DD6553507 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:28:12] 945*2^1418173-1 is not prime. Res64: 355ADE33F8AFEB70 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:45:45] 825*2^1418174-1 is not prime. Res64: 8BF0ECEEF58C8E45 Time : 0.0 sec. user=mdettweiler [2015-12-26 23:45:45] 851*2^1418174-1 is not prime. Res64: 4BE211074DFBB16A Time : 0.0 sec. user=mdettweiler [2015-12-26 23:45:45] 873*2^1418174-1 is not prime. Res64: BACB27539E2E441C Time : 0.0 sec. user=mdettweiler [2015-12-26 23:45:46] 917*2^1418174-1 is not prime. Res64: 66444E5CA73119B9 Time : 0.0 sec.