user=mdettweiler [2015-11-10 00:09:17] 933*2^1414470-1 is not prime. Res64: 23DE7ABA712F542E Time : 0.0 sec. user=mdettweiler [2015-11-10 00:09:17] 773*2^1414470-1 is not prime. Res64: 12404E28BC3F6F11 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:09:18] 641*2^1414470-1 is not prime. Res64: 39ADFF809DC4B18F Time : 0.0 sec. user=mdettweiler [2015-11-10 00:09:21] 717*2^1414470-1 is not prime. Res64: AD2DFBB38677F40D Time : 0.0 sec. user=mdettweiler [2015-11-10 00:09:24] 921*2^1414470-1 is not prime. Res64: C888DFF678C421FC Time : 0.0 sec. user=mdettweiler [2015-11-10 00:09:26] 645*2^1414471-1 is not prime. Res64: E6ABF58B4D807402 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:28:12] 651*2^1414471-1 is not prime. Res64: 518A862345D4C9D3 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:28:12] 745*2^1414471-1 is not prime. Res64: 98A9E337FFEB588F Time : 0.0 sec. user=mdettweiler [2015-11-10 00:28:17] 783*2^1414471-1 is not prime. Res64: 9EF2493DB8936BA6 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:28:18] 819*2^1414471-1 is not prime. Res64: 7F2B6E3F582A849D Time : 0.0 sec. user=mdettweiler [2015-11-10 00:45:49] 841*2^1414471-1 is not prime. Res64: CBDBA64D4592FB51 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:45:49] 973*2^1414471-1 is not prime. Res64: 0CA357F78A4E1967 Time : 0.0 sec. user=mdettweiler [2015-11-10 00:45:54] 615*2^1414472-1 is not prime. Res64: 86FC6CF0FADC220E Time : 0.0 sec. user=mdettweiler [2015-11-10 00:45:54] 623*2^1414472-1 is not prime. Res64: 7EA3D45C27984429 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:03:35] 735*2^1414472-1 is not prime. Res64: 6A965E3627028535 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:03:37] 753*2^1414472-1 is not prime. Res64: 51E09787426436A2 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:03:38] 803*2^1414472-1 is not prime. Res64: 50117C8453AC4DA0 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:03:39] 813*2^1414472-1 is not prime. Res64: 570CEB1C8539A46D Time : 0.0 sec. user=mdettweiler [2015-11-10 01:21:34] 815*2^1414472-1 is not prime. Res64: 27B9995FB32AC302 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:21:34] 825*2^1414472-1 is not prime. Res64: 8156CEAB5DA459E6 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:21:35] 873*2^1414472-1 is not prime. Res64: 2B3590C99B87F80C Time : 0.0 sec. user=mdettweiler [2015-11-10 01:21:36] 875*2^1414472-1 is not prime. Res64: F9BFA91A31598DE2 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:35:35] 897*2^1414472-1 is not prime. Res64: A562D6F3F1651B89 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:35:36] 945*2^1414472-1 is not prime. Res64: 98294A67275E2F17 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:39:02] 957*2^1414472-1 is not prime. Res64: 42C3903B58979E36 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:39:03] 963*2^1414472-1 is not prime. Res64: E4E882C21AB2C2BE Time : 0.0 sec. user=mdettweiler [2015-11-10 01:39:04] 607*2^1414473-1 is not prime. Res64: F32732E7BF4A5B5E Time : 0.0 sec. user=mdettweiler [2015-11-10 01:39:04] 691*2^1414473-1 is not prime. Res64: 3AC702DD7835DE05 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:53:11] 745*2^1414473-1 is not prime. Res64: DFFFD72B24B34C3D Time : 0.0 sec. user=mdettweiler [2015-11-10 01:53:11] 919*2^1414473-1 is not prime. Res64: DAD3A98B3C740438 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:56:37] 955*2^1414473-1 is not prime. Res64: 22BD410C8BE90FD2 Time : 0.0 sec. user=mdettweiler [2015-11-10 01:56:38] 987*2^1414473-1 is not prime. Res64: F273DB28575805AE Time : 0.0 sec. user=mdettweiler [2015-11-10 01:56:38] 857*2^1414474-1 is not prime. Res64: 614FCD93FCFC0A0D Time : 0.0 sec. user=mdettweiler [2015-11-10 01:56:39] 987*2^1414474-1 is not prime. Res64: 69DE9BB061A7AE72 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:10:42] 601*2^1414475-1 is not prime. Res64: 8AABE0027F6831E3 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:10:43] 619*2^1414475-1 is not prime. Res64: 32B9DD0AD011B812 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:14:05] 861*2^1414475-1 is not prime. Res64: 9F7DAA4B0BC0BC3E Time : 0.0 sec. user=mdettweiler [2015-11-10 02:14:06] 871*2^1414475-1 is not prime. Res64: 0A36A84B5C85AFCE Time : 0.0 sec. user=mdettweiler [2015-11-10 02:14:06] 645*2^1414475-1 is not prime. Res64: 395831E11FDBFE13 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:14:07] 753*2^1414475-1 is not prime. Res64: 1208289E9F77F778 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:28:15] 973*2^1414475-1 is not prime. Res64: 78B5C6BC789F9597 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:28:16] 653*2^1414476-1 is not prime. Res64: 6C373C5F45ACB63E Time : 0.0 sec. user=mdettweiler [2015-11-10 02:31:35] 749*2^1414476-1 is not prime. Res64: 3D2FEF88AD7FC0F3 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:31:35] 903*2^1414476-1 is not prime. Res64: C825894596FD894A Time : 0.0 sec. user=mdettweiler [2015-11-10 02:31:36] 783*2^1414476-1 is not prime. Res64: F7FC5C6C1C1FE6F6 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:31:36] 945*2^1414476-1 is not prime. Res64: 4F411DB7BEFCFBEE Time : 0.0 sec. user=mdettweiler [2015-11-10 02:45:49] 975*2^1414476-1 is not prime. Res64: 1AAC744FE91950B8 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:45:49] 615*2^1414477-1 is not prime. Res64: E28A6855C21B37ED Time : 0.0 sec. user=mdettweiler [2015-11-10 02:49:04] 829*2^1414477-1 is not prime. Res64: E5C21A175D285726 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:49:04] 661*2^1414477-1 is not prime. Res64: CE462A6968BE8023 Time : 0.0 sec. user=mdettweiler [2015-11-10 02:49:05] 849*2^1414477-1 is not prime. Res64: 15F63D8949FC95FE Time : 0.0 sec. user=mdettweiler [2015-11-10 02:49:05] 801*2^1414477-1 is not prime. Res64: 29E6D922BA273AF7 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:03:20] 919*2^1414477-1 is not prime. Res64: 9678BB5CEEBBA2F6 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:03:21] 945*2^1414477-1 is not prime. Res64: 3397FD6C89ADA3BA Time : 0.0 sec. user=mdettweiler [2015-11-10 03:06:33] 665*2^1414478-1 is not prime. Res64: E90E3ADFA915D1CA Time : 0.0 sec. user=mdettweiler [2015-11-10 03:06:33] 677*2^1414478-1 is not prime. Res64: 8B3FF82C7F5AF5CA Time : 0.0 sec. user=mdettweiler [2015-11-10 03:06:34] 955*2^1414477-1 is not prime. Res64: 028DD30CCC3D0550 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:06:34] 645*2^1414478-1 is not prime. Res64: 7EF80B2078327699 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:21:12] 711*2^1414478-1 is not prime. Res64: 5D7A1C9F49C2F9EE Time : 0.0 sec. user=mdettweiler [2015-11-10 03:21:12] 753*2^1414478-1 is not prime. Res64: C2DF989A56949C6D Time : 0.0 sec. user=mdettweiler [2015-11-10 03:24:01] 797*2^1414478-1 is not prime. Res64: 084C828799FECEF4 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:24:01] 843*2^1414478-1 is not prime. Res64: 0916E24FF3249B97 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:24:01] 827*2^1414478-1 is not prime. Res64: 7FCAA344C506C70A Time : 0.0 sec. user=mdettweiler [2015-11-10 03:24:02] 875*2^1414478-1 is not prime. Res64: 6613F9861FA05806 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:38:41] 685*2^1414479-1 is not prime. Res64: F7FCF4811E6D8070 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:38:43] 711*2^1414479-1 is not prime. Res64: D213CD1DB147A6FE Time : 0.0 sec. user=mdettweiler [2015-11-10 03:41:33] 873*2^1414479-1 is not prime. Res64: D6E74DAD31E16BAF Time : 0.0 sec. user=mdettweiler [2015-11-10 03:41:35] 769*2^1414479-1 is not prime. Res64: 9154073EEA0DFF89 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:41:38] 909*2^1414479-1 is not prime. Res64: CA1EA446400F09E1 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:41:40] 853*2^1414479-1 is not prime. Res64: 4C3E4D93F995EFD5 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:56:21] 951*2^1414479-1 is not prime. Res64: D5885274C362D9F3 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:56:22] 609*2^1414480-1 is not prime. Res64: 59154BF84F2A2740 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:59:47] 665*2^1414480-1 is not prime. Res64: 204BCCF2B64F85EB Time : 0.0 sec. user=mdettweiler [2015-11-10 03:59:47] 813*2^1414480-1 is not prime. Res64: 810297A876F00148 Time : 0.0 sec. user=mdettweiler [2015-11-10 03:59:51] 819*2^1414480-1 is not prime. Res64: 2FEFCF033494609C Time : 0.0 sec. user=mdettweiler [2015-11-10 03:59:52] 917*2^1414480-1 is not prime. Res64: 6425F373B7F42141 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:13:51] 965*2^1414480-1 is not prime. Res64: CC460887606BA084 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:13:52] 607*2^1414481-1 is not prime. Res64: 9F6AFD6BD2C309F6 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:17:15] 711*2^1414481-1 is not prime. Res64: 862C388A6D265FEE Time : 0.0 sec. user=mdettweiler [2015-11-10 04:17:15] 789*2^1414481-1 is not prime. Res64: C20855790EDBB29D Time : 0.0 sec. user=mdettweiler [2015-11-10 04:17:21] 795*2^1414481-1 is not prime. Res64: E51BE81FE1A6DACF Time : 0.0 sec. user=mdettweiler [2015-11-10 04:17:22] 885*2^1414481-1 is not prime. Res64: 45896F33B190BC76 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:31:23] 901*2^1414481-1 is not prime. Res64: 7AD119ED5C69A46E Time : 0.0 sec. user=mdettweiler [2015-11-10 04:31:24] 955*2^1414481-1 is not prime. Res64: B51F79CA41272372 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:34:48] 621*2^1414482-1 is not prime. Res64: 6E3ACC5BE5237325 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:34:48] 635*2^1414482-1 is not prime. Res64: 20D3512963DAE1B8 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:34:52] 717*2^1414482-1 is not prime. Res64: 093EF511C60DED1F Time : 0.0 sec. user=mdettweiler [2015-11-10 04:34:53] 737*2^1414482-1 is not prime. Res64: 5AD03C843BE5D7C0 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:48:52] 975*2^1414482-1 is not prime. Res64: 739C7140F6EA006D Time : 0.0 sec. user=mdettweiler [2015-11-10 04:48:52] 621*2^1414483-1 is not prime. Res64: 9F01E25915F2CEB1 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:52:19] 691*2^1414483-1 is not prime. Res64: C1CF1615A3C71416 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:52:19] 693*2^1414483-1 is not prime. Res64: 6F8BBEC82D39A98F Time : 0.0 sec. user=mdettweiler [2015-11-10 04:52:21] 735*2^1414483-1 is not prime. Res64: EAAF73659F0B45E3 Time : 0.0 sec. user=mdettweiler [2015-11-10 04:52:21] 861*2^1414483-1 is not prime. Res64: 791E227E949A07A4 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:06:22] 891*2^1414483-1 is not prime. Res64: 086DCF10CE289D8C Time : 0.0 sec. user=mdettweiler [2015-11-10 05:06:25] 985*2^1414483-1 is not prime. Res64: 096A3C2EBA853675 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:09:48] 609*2^1414484-1 is not prime. Res64: ABC8AF676988F37F Time : 0.0 sec. user=mdettweiler [2015-11-10 05:09:48] 615*2^1414484-1 is not prime. Res64: 1C95C234A446B7B5 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:09:50] 675*2^1414484-1 is not prime. Res64: 834FE98B2B3D74FA Time : 0.0 sec. user=mdettweiler [2015-11-10 05:09:50] 749*2^1414484-1 is not prime. Res64: 1720CDC6182B25A4 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:24:12] 837*2^1414484-1 is not prime. Res64: 5273DFFC10A4CB26 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:24:12] 843*2^1414484-1 is not prime. Res64: 62EE97D62C2A50B1 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:27:22] 897*2^1414484-1 is not prime. Res64: A7F90A73C15B6739 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:27:22] 983*2^1414484-1 is not prime. Res64: 213CFB9155CD906E Time : 0.0 sec. user=mdettweiler [2015-11-10 05:27:25] 651*2^1414485-1 is not prime. Res64: A3DB3052B900D365 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:27:25] 819*2^1414485-1 is not prime. Res64: AE831D03AFC5D898 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:41:42] 871*2^1414485-1 is not prime. Res64: AD38EAAEDE9344B2 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:41:43] 623*2^1414486-1 is not prime. Res64: AFA1E1E5FF169F2E Time : 0.0 sec. user=mdettweiler [2015-11-10 05:44:51] 671*2^1414486-1 is not prime. Res64: 9F5D0E34FF42A323 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:44:51] 777*2^1414486-1 is not prime. Res64: E735F9B614865BBF Time : 0.0 sec. user=mdettweiler [2015-11-10 05:44:54] 813*2^1414486-1 is not prime. Res64: FE93D0356CA7E103 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:44:54] 873*2^1414486-1 is not prime. Res64: 16453CA7546261F5 Time : 0.0 sec. user=mdettweiler [2015-11-10 05:59:14] 887*2^1414486-1 is not prime. Res64: 05AD1AD376EA556E Time : 0.0 sec. user=mdettweiler [2015-11-10 05:59:15] 923*2^1414486-1 is not prime. Res64: 8A9463F629B6CC70 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:02:22] 645*2^1414487-1 is not prime. Res64: F885EAFC668FBB82 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:02:22] 663*2^1414487-1 is not prime. Res64: 5B336B82D774CCF4 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:02:25] 669*2^1414487-1 is not prime. Res64: 48D542CAFAE3A482 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:02:26] 673*2^1414487-1 is not prime. Res64: 200136ECA8686E06 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:16:46] 703*2^1414487-1 is not prime. Res64: 97BD24D415A11E20 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:16:47] 705*2^1414487-1 is not prime. Res64: DAC60B8748E48B75 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:20:04] 753*2^1414487-1 is not prime. Res64: 767360F5BE766408 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:20:04] 999*2^1414487-1 is not prime. Res64: 66B5B209AFC70A29 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:20:04] 981*2^1414487-1 is not prime. Res64: 364B738FA0BEE57D Time : 0.0 sec. user=mdettweiler [2015-11-10 06:20:04] 633*2^1414488-1 is not prime. Res64: 1ACB549BA633C448 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:34:22] 689*2^1414488-1 is not prime. Res64: AE33093540702759 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:34:23] 797*2^1414488-1 is not prime. Res64: 3807A6BD951E2C58 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:37:34] 879*2^1414488-1 is not prime. Res64: A73AEFEA3C311D8F Time : 0.0 sec. user=mdettweiler [2015-11-10 06:37:34] 909*2^1414488-1 is not prime. Res64: ACC6C205CACD8750 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:37:35] 977*2^1414488-1 is not prime. Res64: 0845FCB6DECFF82C Time : 0.0 sec. user=mdettweiler [2015-11-10 06:37:35] 705*2^1414489-1 is not prime. Res64: FD51BD3C597C037E Time : 0.0 sec. user=mdettweiler [2015-11-10 06:51:53] 751*2^1414489-1 is not prime. Res64: 84124B25F238EC6B Time : 0.0 sec. user=mdettweiler [2015-11-10 06:51:54] 861*2^1414489-1 is not prime. Res64: E275C6CD6C392531 Time : 0.0 sec. user=mdettweiler [2015-11-10 06:55:05] 997*2^1414489-1 is not prime. Res64: 52183C1AA6B3985B Time : 0.0 sec. user=mdettweiler [2015-11-10 06:55:06] 675*2^1414490-1 is not prime. Res64: 98B32244CCFCA9EB Time : 0.0 sec. user=mdettweiler [2015-11-10 06:55:07] 791*2^1414490-1 is not prime. Res64: 4A051814D62EDCAF Time : 0.0 sec. user=mdettweiler [2015-11-10 06:55:08] 813*2^1414490-1 is not prime. Res64: F8473B654D2F01AF Time : 0.0 sec. user=mdettweiler [2015-11-10 07:09:23] 857*2^1414490-1 is not prime. Res64: 60DCD65F748B1616 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:09:24] 917*2^1414490-1 is not prime. Res64: FDE7CB36C27E0F1B Time : 0.0 sec. user=mdettweiler [2015-11-10 07:12:35] 615*2^1414491-1 is not prime. Res64: 335CF316AC25CE1D Time : 0.0 sec. user=mdettweiler [2015-11-10 07:12:36] 775*2^1414491-1 is not prime. Res64: CE92EA298043BE9C Time : 0.0 sec. user=mdettweiler [2015-11-10 07:12:36] 951*2^1414490-1 is not prime. Res64: 97191E4509D34FC0 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:12:37] 957*2^1414490-1 is not prime. Res64: 61E7EDE3E1522FC8 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:26:56] 793*2^1414491-1 is not prime. Res64: A57C040B4B7EB692 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:26:56] 891*2^1414491-1 is not prime. Res64: 350C2B42D8A0CC96 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:30:05] 617*2^1414492-1 is not prime. Res64: 4A55399E1EFDBD41 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:30:06] 623*2^1414492-1 is not prime. Res64: 1368425502B09574 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:30:06] 903*2^1414491-1 is not prime. Res64: 2EECB1B746339130 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:30:07] 945*2^1414491-1 is not prime. Res64: 31432306B663CD30 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:44:26] 635*2^1414492-1 is not prime. Res64: 2504B98C1688BAF0 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:44:26] 647*2^1414492-1 is not prime. Res64: FB1751C0853E575A Time : 0.0 sec. user=mdettweiler [2015-11-10 07:47:37] 653*2^1414492-1 is not prime. Res64: 38E53A5915FDB5EC Time : 0.0 sec. user=mdettweiler [2015-11-10 07:47:37] 689*2^1414492-1 is not prime. Res64: 756B78C9DDD31CF9 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:47:37] 873*2^1414492-1 is not prime. Res64: 690CADD7C4FE5A61 Time : 0.0 sec. user=mdettweiler [2015-11-10 07:47:38] 939*2^1414492-1 is not prime. Res64: AAA8AEC8713D1086 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:01:58] 975*2^1414492-1 is not prime. Res64: 72B8DE9B59C32BD8 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:01:59] 669*2^1414493-1 is not prime. Res64: 50B5CA9B2F651326 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:05:07] 747*2^1414493-1 is not prime. Res64: CF9C3A71C7EE1AA2 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:05:09] 695*2^1414494-1 is not prime. Res64: FA2DBB5D262B3680 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:05:10] 727*2^1414493-1 is not prime. Res64: B3C63CC8C37AD7D8 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:05:11] 735*2^1414493-1 is not prime. Res64: 4EB32D675191082D Time : 0.0 sec. user=mdettweiler [2015-11-10 08:19:42] 737*2^1414494-1 is not prime. Res64: AB9B13CD9405D66B Time : 0.0 sec. user=mdettweiler [2015-11-10 08:19:42] 747*2^1414494-1 is not prime. Res64: A97AEC20F77EE7C9 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:23:05] 825*2^1414494-1 is not prime. Res64: BBFBE5C6598714EC Time : 0.0 sec. user=mdettweiler [2015-11-10 08:23:05] 881*2^1414494-1 is not prime. Res64: 012D68C0B9585DCB Time : 0.0 sec. user=mdettweiler [2015-11-10 08:23:05] 661*2^1414495-1 is not prime. Res64: 2A1078CC8CCB461A Time : 0.0 sec. user=mdettweiler [2015-11-10 08:23:06] 705*2^1414495-1 is not prime. Res64: 0C7EA40353B99EC5 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:37:12] 709*2^1414495-1 is not prime. Res64: 600CB8580AD5EA14 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:37:12] 829*2^1414495-1 is not prime. Res64: EC83E810CD59960B Time : 0.0 sec. user=mdettweiler [2015-11-10 08:40:33] 859*2^1414495-1 is not prime. Res64: 27F6C869C02E65D2 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:40:33] 919*2^1414495-1 is not prime. Res64: 63540DCF132529E7 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:40:33] 895*2^1414495-1 is not prime. Res64: 4BFB3E4CF10E576A Time : 0.0 sec. user=mdettweiler [2015-11-10 08:40:34] 623*2^1414496-1 is not prime. Res64: 7B872CD10E5F30A8 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:54:40] 677*2^1414496-1 is not prime. Res64: 1662296DCCB14E91 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:54:40] 759*2^1414496-1 is not prime. Res64: 0EB6772C54D376E2 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:58:01] 875*2^1414496-1 is not prime. Res64: 79FCD25A99BCFC8E Time : 0.0 sec. user=mdettweiler [2015-11-10 08:58:02] 735*2^1414497-1 is not prime. Res64: 5A8A885A74BA93CE Time : 0.0 sec. user=mdettweiler [2015-11-10 08:58:02] 999*2^1414496-1 is not prime. Res64: BA4545BAB04B7150 Time : 0.0 sec. user=mdettweiler [2015-11-10 08:58:02] 741*2^1414497-1 is not prime. Res64: 759BA1DF47C25C14 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:12:10] 765*2^1414497-1 is not prime. Res64: 3C64741DAA5881FC Time : 0.0 sec. user=mdettweiler [2015-11-10 09:12:10] 861*2^1414497-1 is not prime. Res64: 4B3CAA9FBD1D80A4 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:15:30] 979*2^1414497-1 is not prime. Res64: 8A188FB6671038FD Time : 0.0 sec. user=mdettweiler [2015-11-10 09:15:30] 887*2^1414498-1 is not prime. Res64: 0D5382D7E465849F Time : 0.0 sec. user=mdettweiler [2015-11-10 09:15:31] 723*2^1414498-1 is not prime. Res64: 7156207648683D29 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:15:31] 945*2^1414498-1 is not prime. Res64: 0192A919D9718C0A Time : 0.0 sec. user=mdettweiler [2015-11-10 09:29:41] 645*2^1414499-1 is not prime. Res64: 897C67CE3BFB2F42 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:29:41] 655*2^1414499-1 is not prime. Res64: C928A34D11282E86 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:32:59] 811*2^1414499-1 is not prime. Res64: 02C038C4AB111F51 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:32:59] 669*2^1414499-1 is not prime. Res64: 8E367F808F1DB472 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:32:59] 825*2^1414499-1 is not prime. Res64: 1D9103A460E29E00 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:32:59] 775*2^1414499-1 is not prime. Res64: D7F575C0ADD4CE12 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:47:12] 913*2^1414499-1 is not prime. Res64: B3E73A0CFFD66355 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:47:13] 633*2^1414500-1 is not prime. Res64: BE5373E7A7DD70B9 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:50:29] 737*2^1414500-1 is not prime. Res64: 82C5E9D148498DFF Time : 0.0 sec. user=mdettweiler [2015-11-10 09:50:29] 707*2^1414500-1 is not prime. Res64: 3F82B699428D6531 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:50:29] 767*2^1414500-1 is not prime. Res64: 20F28EF729192451 Time : 0.0 sec. user=mdettweiler [2015-11-10 09:50:29] 719*2^1414500-1 is not prime. Res64: BF73CB21D7E1D796 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:04:45] 773*2^1414500-1 is not prime. Res64: E98C6AAFCDCAF059 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:04:46] 909*2^1414500-1 is not prime. Res64: F34C6D884D5968E6 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:07:59] 681*2^1414501-1 is not prime. Res64: B1B28046D8C0E5C4 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:07:59] 801*2^1414501-1 is not prime. Res64: 1E16EA4131E82C41 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:08:00] 933*2^1414500-1 is not prime. Res64: 91C56C008EF3559F Time : 0.0 sec. user=mdettweiler [2015-11-10 10:08:00] 619*2^1414501-1 is not prime. Res64: B08061C02B0405BE Time : 0.0 sec. user=mdettweiler [2015-11-10 10:22:30] 819*2^1414501-1 is not prime. Res64: F7F223BC666A9D1A Time : 0.0 sec. user=mdettweiler [2015-11-10 10:22:31] 835*2^1414501-1 is not prime. Res64: 6044CCC847305B27 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:25:26] 925*2^1414501-1 is not prime. Res64: 623E3807980C0F80 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:25:27] 937*2^1414501-1 is not prime. Res64: 7CCB1A174CF769AE Time : 0.0 sec. user=mdettweiler [2015-11-10 10:25:28] 635*2^1414502-1 is not prime. Res64: 8448850BF23C5CF6 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:25:29] 705*2^1414502-1 is not prime. Res64: 09C4C6BBE21DEA09 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:40:00] 743*2^1414502-1 is not prime. Res64: 8C53F32AC65F5131 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:40:00] 801*2^1414502-1 is not prime. Res64: 511FC8CE0536B3CB Time : 0.0 sec. user=mdettweiler [2015-11-10 10:42:57] 977*2^1414502-1 is not prime. Res64: 6A15190D520C13C6 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:42:57] 995*2^1414502-1 is not prime. Res64: 0D4D795C1ABB95CF Time : 0.0 sec. user=mdettweiler [2015-11-10 10:42:59] 775*2^1414503-1 is not prime. Res64: 2B18387419FE62F6 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:42:59] 781*2^1414503-1 is not prime. Res64: F2AB6200A035D6B0 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:57:31] 879*2^1414503-1 is not prime. Res64: A9AD733AF69D4EC0 Time : 0.0 sec. user=mdettweiler [2015-11-10 10:57:31] 885*2^1414503-1 is not prime. Res64: 10C98B1012A46FCB Time : 0.0 sec. user=mdettweiler [2015-11-10 11:00:27] 943*2^1414503-1 is not prime. Res64: F6C183C1A6CD29A2 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:00:28] 645*2^1414504-1 is not prime. Res64: D84035063CBF7909 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:00:30] 759*2^1414504-1 is not prime. Res64: 781560027783B27B Time : 0.0 sec. user=mdettweiler [2015-11-10 11:00:31] 819*2^1414504-1 is not prime. Res64: D330BDF32434B53B Time : 0.0 sec. user=mdettweiler [2015-11-10 11:15:00] 917*2^1414504-1 is not prime. Res64: 7D3C9600E1EA4A7F Time : 0.0 sec. user=mdettweiler [2015-11-10 11:15:01] 989*2^1414504-1 is not prime. Res64: 1056C1CE87876A3B Time : 0.0 sec. user=mdettweiler [2015-11-10 11:17:57] 619*2^1414505-1 is not prime. Res64: 07309077555C1578 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:17:58] 645*2^1414505-1 is not prime. Res64: B92917B89EAA04F4 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:18:00] 669*2^1414505-1 is not prime. Res64: 516A18949D22DAE1 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:18:01] 775*2^1414505-1 is not prime. Res64: 875ECB4EE568AAF2 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:32:33] 987*2^1414505-1 is not prime. Res64: A76AD67A2DFD28A7 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:32:33] 755*2^1414506-1 is not prime. Res64: D486C9DF59914FBC Time : 0.0 sec. user=mdettweiler [2015-11-10 11:35:27] 765*2^1414506-1 is not prime. Res64: 3139AB386D4B95D0 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:35:27] 873*2^1414506-1 is not prime. Res64: D9C3F679CFE13FD1 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:35:30] 923*2^1414506-1 is not prime. Res64: ED21BA6F9C4354BA Time : 0.0 sec. user=mdettweiler [2015-11-10 11:35:31] 933*2^1414506-1 is not prime. Res64: 840D4A8FC456950C Time : 0.0 sec. user=mdettweiler [2015-11-10 11:50:08] 945*2^1414506-1 is not prime. Res64: F97CEF3D364A8644 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:50:09] 983*2^1414506-1 is not prime. Res64: 6528DFFB0290A280 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:53:00] 1001*2^1414506-1 is not prime. Res64: ACED21A0D871A819 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:53:00] 633*2^1414507-1 is not prime. Res64: 56B517213A309758 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:53:03] 685*2^1414507-1 is not prime. Res64: 4583892CD59E5FD6 Time : 0.0 sec. user=mdettweiler [2015-11-10 11:53:03] 741*2^1414507-1 is not prime. Res64: CF293C24BFE55014 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:07:45] 859*2^1414507-1 is not prime. Res64: 51C89C9FDF7369C2 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:07:46] 919*2^1414507-1 is not prime. Res64: C88BCCE57CBCA570 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:10:35] 979*2^1414507-1 is not prime. Res64: F316F92011CB5221 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:10:35] 743*2^1414508-1 is not prime. Res64: 6DB3430AA658B7F0 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:10:37] 767*2^1414508-1 is not prime. Res64: 518E40DFBBBE10DE Time : 0.0 sec. user=mdettweiler [2015-11-10 12:10:38] 789*2^1414508-1 is not prime. Res64: DC53C4FEE86D8088 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:25:17] 797*2^1414508-1 is not prime. Res64: 36F2DD3005B58AAA Time : 0.0 sec. user=mdettweiler [2015-11-10 12:25:17] 869*2^1414508-1 is not prime. Res64: EC7C88AE37C0DA24 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:28:07] 615*2^1414509-1 is not prime. Res64: 1AA19E67D9C7C3CC Time : 0.0 sec. user=mdettweiler [2015-11-10 12:28:08] 625*2^1414509-1 is not prime. Res64: 49DA212BE8CBD1BD Time : 0.0 sec. user=mdettweiler [2015-11-10 12:28:09] 657*2^1414509-1 is not prime. Res64: B390CA7C7823DBEC Time : 0.0 sec. user=mdettweiler [2015-11-10 12:28:10] 769*2^1414509-1 is not prime. Res64: F52FB94CAE21BDAD Time : 0.0 sec. user=mdettweiler [2015-11-10 12:42:47] 835*2^1414509-1 is not prime. Res64: 11A32A4F6C267AC0 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:42:47] 847*2^1414509-1 is not prime. Res64: AA3F548DCE35FBC2 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:45:37] 861*2^1414509-1 is not prime. Res64: 5F9179437713A0B5 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:45:38] 895*2^1414509-1 is not prime. Res64: 04123B48C9BF6711 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:45:39] 907*2^1414509-1 is not prime. Res64: C4B52808A5D5F733 Time : 0.0 sec. user=mdettweiler [2015-11-10 12:45:39] 999*2^1414509-1 is not prime. Res64: E0D504EE0F4953AE Time : 0.0 sec. user=mdettweiler [2015-11-10 13:00:16] 645*2^1414510-1 is not prime. Res64: 4E6055218F09CCAF Time : 0.0 sec. user=mdettweiler [2015-11-10 13:00:16] 651*2^1414510-1 is not prime. Res64: 57800578810DE7AA Time : 0.0 sec. user=mdettweiler [2015-11-10 13:03:08] 917*2^1414510-1 is not prime. Res64: DBEDC5B89BBFD072 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:03:09] 663*2^1414510-1 is not prime. Res64: FD0CDFD2D31EF54B Time : 0.0 sec. user=mdettweiler [2015-11-10 13:03:10] 981*2^1414510-1 is not prime. Res64: AFF0A922D7FE5A2F Time : 0.0 sec. user=mdettweiler [2015-11-10 13:03:11] 863*2^1414510-1 is not prime. Res64: 4604B549B822397C Time : 0.0 sec. user=mdettweiler [2015-11-10 13:17:50] 619*2^1414511-1 is not prime. Res64: E0FA6B8B8EC8F0ED Time : 0.0 sec. user=mdettweiler [2015-11-10 13:17:50] 651*2^1414511-1 is not prime. Res64: 8B2DF347C8E0A340 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:21:11] 673*2^1414511-1 is not prime. Res64: F82A56B06F18726E Time : 0.0 sec. user=mdettweiler [2015-11-10 13:21:12] 679*2^1414511-1 is not prime. Res64: 0E044F51C1D30932 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:21:12] 865*2^1414511-1 is not prime. Res64: 2906BB92C659B153 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:21:12] 979*2^1414511-1 is not prime. Res64: 50EC1AC38491071C Time : 0.0 sec. user=mdettweiler [2015-11-10 13:35:23] 993*2^1414511-1 is not prime. Res64: 64C07B53FF7B9DB8 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:35:23] 639*2^1414512-1 is not prime. Res64: E6E93A04D5B06503 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:38:40] 747*2^1414512-1 is not prime. Res64: BB6AF40063D08FFE Time : 0.0 sec. user=mdettweiler [2015-11-10 13:38:40] 689*2^1414512-1 is not prime. Res64: 2B1FF6C9896BC2CF Time : 0.0 sec. user=mdettweiler [2015-11-10 13:38:41] 693*2^1414512-1 is not prime. Res64: B7A98D5E846F0F41 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:38:41] 825*2^1414512-1 is not prime. Res64: C890C73CA14D10EE Time : 0.0 sec. user=mdettweiler [2015-11-10 13:52:55] 923*2^1414512-1 is not prime. Res64: 30A0621DD53AC633 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:52:55] 935*2^1414512-1 is not prime. Res64: E50DC040277AF4A7 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:56:11] 619*2^1414513-1 is not prime. Res64: 3F92DB45C97E84E3 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:56:11] 715*2^1414513-1 is not prime. Res64: 7E565CDB61DCF763 Time : 0.0 sec. user=mdettweiler [2015-11-10 13:56:12] 639*2^1414513-1 is not prime. Res64: FE1DAFD19E9AA2CB Time : 0.0 sec. user=mdettweiler [2015-11-10 13:56:12] 897*2^1414513-1 is not prime. Res64: 4E5A9BF638E847EC Time : 0.0 sec. user=mdettweiler [2015-11-10 14:10:25] 623*2^1414514-1 is not prime. Res64: 635C9359748368CA Time : 0.0 sec. user=mdettweiler [2015-11-10 14:10:26] 705*2^1414514-1 is not prime. Res64: 85458F4ED60BCC3A Time : 0.0 sec. user=mdettweiler [2015-11-10 14:13:41] 711*2^1414514-1 is not prime. Res64: F6FA3715A6C5F9B0 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:13:41] 861*2^1414514-1 is not prime. Res64: 476238826CA6DE2A Time : 0.0 sec. user=mdettweiler [2015-11-10 14:13:41] 783*2^1414514-1 is not prime. Res64: 2A34398EFC052107 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:13:41] 609*2^1414515-1 is not prime. Res64: B837BB8FCAD4152A Time : 0.0 sec. user=mdettweiler [2015-11-10 14:27:57] 633*2^1414515-1 is not prime. Res64: DD781D8DE41131B1 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:27:57] 699*2^1414515-1 is not prime. Res64: 5BB08CFD9AB200AC Time : 0.0 sec. user=mdettweiler [2015-11-10 14:31:10] 615*2^1414516-1 is not prime. Res64: B90631AA948F5704 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:31:10] 717*2^1414516-1 is not prime. Res64: 67AA393DB6A40B5D Time : 0.0 sec. user=mdettweiler [2015-11-10 14:31:10] 751*2^1414515-1 is not prime. Res64: CF708033F757B796 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:31:11] 859*2^1414515-1 is not prime. Res64: 56A150649C975E62 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:45:27] 759*2^1414516-1 is not prime. Res64: AF34E18D64780D5E Time : 0.0 sec. user=mdettweiler [2015-11-10 14:45:28] 803*2^1414516-1 is not prime. Res64: 89F1602520DDED87 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:48:39] 923*2^1414516-1 is not prime. Res64: 646ACD5BA36591C0 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:48:39] 735*2^1414517-1 is not prime. Res64: 850805DFBBF340CD Time : 0.0 sec. user=mdettweiler [2015-11-10 14:48:40] 771*2^1414517-1 is not prime. Res64: 95717611AAFA3A56 Time : 0.0 sec. user=mdettweiler [2015-11-10 14:48:40] 805*2^1414517-1 is not prime. Res64: 37253DD234176A1C Time : 0.0 sec. user=mdettweiler [2015-11-10 15:02:58] 825*2^1414517-1 is not prime. Res64: B358CBB8ED0E67AC Time : 0.0 sec. user=mdettweiler [2015-11-10 15:02:59] 931*2^1414517-1 is not prime. Res64: 58413428E4BC161E Time : 0.0 sec. user=mdettweiler [2015-11-10 15:06:10] 615*2^1414518-1 is not prime. Res64: 69FB142F3156BD37 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:06:11] 711*2^1414518-1 is not prime. Res64: 287E0B7B8F8FEF4D Time : 0.0 sec. user=mdettweiler [2015-11-10 15:06:12] 747*2^1414518-1 is not prime. Res64: CA9EED6256B9657C Time : 0.0 sec. user=mdettweiler [2015-11-10 15:06:12] 875*2^1414518-1 is not prime. Res64: AA74521BB836D150 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:20:45] 915*2^1414518-1 is not prime. Res64: EDEA75096E8378E3 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:20:45] 933*2^1414518-1 is not prime. Res64: 79E1C87619290180 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:23:41] 885*2^1414519-1 is not prime. Res64: 939ABB12AEFB78BE Time : 0.0 sec. user=mdettweiler [2015-11-10 15:23:41] 827*2^1414520-1 is not prime. Res64: D3658F86A86F2B19 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:23:42] 963*2^1414518-1 is not prime. Res64: 8704B462CDB5BAF1 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:23:43] 645*2^1414519-1 is not prime. Res64: 4D2CE0F0F108A94A Time : 0.0 sec. user=mdettweiler [2015-11-10 15:38:13] 681*2^1414521-1 is not prime. Res64: A97718C2C534F429 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:38:13] 745*2^1414521-1 is not prime. Res64: 30101538A156000A Time : 0.0 sec. user=mdettweiler [2015-11-10 15:41:08] 747*2^1414521-1 is not prime. Res64: 8A249AC69FFBA72E Time : 0.0 sec. user=mdettweiler [2015-11-10 15:41:09] 795*2^1414521-1 is not prime. Res64: 5FE578D399650C48 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:41:10] 849*2^1414521-1 is not prime. Res64: 5CBD3F2D80FE8449 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:41:11] 885*2^1414521-1 is not prime. Res64: 4F660AF0B7FFEB9F Time : 0.0 sec. user=mdettweiler [2015-11-10 15:55:42] 997*2^1414521-1 is not prime. Res64: CF946ED4C5B2D6DE Time : 0.0 sec. user=mdettweiler [2015-11-10 15:55:42] 671*2^1414522-1 is not prime. Res64: 1884C7516E4FB522 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:58:38] 677*2^1414522-1 is not prime. Res64: 7F335D104889FBEC Time : 0.0 sec. user=mdettweiler [2015-11-10 15:58:38] 701*2^1414522-1 is not prime. Res64: E79555C27CDEF65F Time : 0.0 sec. user=mdettweiler [2015-11-10 15:58:39] 741*2^1414522-1 is not prime. Res64: 06B8B630536CD431 Time : 0.0 sec. user=mdettweiler [2015-11-10 15:58:39] 833*2^1414522-1 is not prime. Res64: 0E3F460140BECF7B Time : 0.0 sec. user=mdettweiler [2015-11-10 16:13:10] 855*2^1414522-1 is not prime. Res64: 8D22200670889D3B Time : 0.0 sec. user=mdettweiler [2015-11-10 16:13:11] 621*2^1414523-1 is not prime. Res64: 5B083BD71B184BAC Time : 0.0 sec. user=mdettweiler [2015-11-10 16:16:06] 745*2^1414523-1 is not prime. Res64: C0066DF4D218F846 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:16:07] 859*2^1414523-1 is not prime. Res64: 4FF6BF5CBD33FE7C Time : 0.0 sec. user=mdettweiler [2015-11-10 16:16:07] 895*2^1414523-1 is not prime. Res64: ACB0BB313BD8DC62 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:16:08] 915*2^1414523-1 is not prime. Res64: 3251788F905F2779 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:30:41] 981*2^1414523-1 is not prime. Res64: C4095FC551DA76F2 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:30:42] 623*2^1414524-1 is not prime. Res64: 06F15697FE03A30D Time : 0.0 sec. user=mdettweiler [2015-11-10 16:33:36] 803*2^1414524-1 is not prime. Res64: 1E8487CB57AF5A3A Time : 0.0 sec. user=mdettweiler [2015-11-10 16:33:37] 899*2^1414524-1 is not prime. Res64: 9C21D1BEC7386DC2 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:33:37] 663*2^1414524-1 is not prime. Res64: 4277C8C4BCBC1746 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:33:37] 789*2^1414524-1 is not prime. Res64: F3959B7AFAC6792A Time : 0.0 sec. user=mdettweiler [2015-11-10 16:48:12] 959*2^1414524-1 is not prime. Res64: 6EF8D5C1E1A21FF4 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:48:12] 965*2^1414524-1 is not prime. Res64: 176F15C5C33FFDF9 Time : 0.0 sec. user=mdettweiler [2015-11-10 16:51:05] 607*2^1414525-1 is not prime. Res64: 43E91D280533071D Time : 0.0 sec. user=mdettweiler [2015-11-10 16:51:06] 625*2^1414525-1 is not prime. Res64: CD3FC2775F1AC40F Time : 0.0 sec. user=mdettweiler [2015-11-10 16:51:06] 721*2^1414525-1 is not prime. Res64: 6E2FD59C81CEC54F Time : 0.0 sec. user=mdettweiler [2015-11-10 16:51:06] 801*2^1414525-1 is not prime. Res64: 9C42C1B7483B7DBE Time : 0.0 sec. user=mdettweiler [2015-11-10 17:05:42] 825*2^1414525-1 is not prime. Res64: 928D518C974CA03D Time : 0.0 sec. user=mdettweiler [2015-11-10 17:05:43] 897*2^1414525-1 is not prime. Res64: 75BD9378C4D4B577 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:08:33] 635*2^1414526-1 is not prime. Res64: 016453D7AC9660D2 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:08:34] 705*2^1414526-1 is not prime. Res64: B51D166045A2B147 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:08:34] 937*2^1414525-1 is not prime. Res64: F55238EE72BADD6F Time : 0.0 sec. user=mdettweiler [2015-11-10 17:08:34] 939*2^1414525-1 is not prime. Res64: 8EE60F5EC827DE36 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:23:24] 713*2^1414526-1 is not prime. Res64: FEBAFD927EF2A8CD Time : 0.0 sec. user=mdettweiler [2015-11-10 17:23:25] 741*2^1414526-1 is not prime. Res64: 8F0370CAF7D547C2 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:26:02] 767*2^1414526-1 is not prime. Res64: FC5876A68EA936A6 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:26:03] 861*2^1414526-1 is not prime. Res64: D12935F6C8FC413D Time : 0.0 sec. user=mdettweiler [2015-11-10 17:26:03] 941*2^1414526-1 is not prime. Res64: A0E44044B6531580 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:26:04] 957*2^1414526-1 is not prime. Res64: 561CE68FCB03875D Time : 0.0 sec. user=mdettweiler [2015-11-10 17:40:59] 829*2^1414527-1 is not prime. Res64: 2CB3AD1201A77D7A Time : 0.0 sec. user=mdettweiler [2015-11-10 17:40:59] 865*2^1414527-1 is not prime. Res64: E62BCF63778ABE98 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:43:32] 615*2^1414528-1 is not prime. Res64: CB747DEC2C0F0DF0 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:43:32] 663*2^1414528-1 is not prime. Res64: C6043BAEF6A2E136 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:43:34] 885*2^1414527-1 is not prime. Res64: CCEA3522A52D1C47 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:43:35] 961*2^1414527-1 is not prime. Res64: D2324047FCB3A6CC Time : 0.0 sec. user=mdettweiler [2015-11-10 17:58:28] 615*2^1414529-1 is not prime. Res64: 5842C176ED2F9046 Time : 0.0 sec. user=mdettweiler [2015-11-10 17:58:28] 735*2^1414529-1 is not prime. Res64: C5B6D3FD4D907F4B Time : 0.0 sec. user=mdettweiler [2015-11-10 18:01:01] 769*2^1414529-1 is not prime. Res64: 205C6DC5B1253530 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:01:02] 795*2^1414529-1 is not prime. Res64: 19CD5EFE3AEB8FB1 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:01:03] 847*2^1414529-1 is not prime. Res64: E7C481E4F9A92AE0 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:01:04] 885*2^1414529-1 is not prime. Res64: AD95DED5C3906498 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:15:58] 985*2^1414529-1 is not prime. Res64: 4C9F6563C1FD8981 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:15:59] 717*2^1414530-1 is not prime. Res64: BB6EC1F2A1155A89 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:18:32] 783*2^1414530-1 is not prime. Res64: D024F50BA97EA076 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:18:33] 891*2^1414530-1 is not prime. Res64: 27D3AAA3D8485AB4 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:18:34] 921*2^1414530-1 is not prime. Res64: 315F55B3E3EDA382 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:18:35] 927*2^1414530-1 is not prime. Res64: E37F6E8E5B1C1090 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:33:28] 945*2^1414530-1 is not prime. Res64: BF8247D602B3381D Time : 0.0 sec. user=mdettweiler [2015-11-10 18:33:28] 977*2^1414530-1 is not prime. Res64: 3C4D90B1A0BF1F96 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:36:02] 709*2^1414531-1 is not prime. Res64: B7F73F195D7B66AA Time : 0.0 sec. user=mdettweiler [2015-11-10 18:36:02] 745*2^1414531-1 is not prime. Res64: C3A1CA43312F3E84 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:36:04] 801*2^1414531-1 is not prime. Res64: E06EBAAADD2287E2 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:36:04] 961*2^1414531-1 is not prime. Res64: B2025C62C18ED600 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:50:57] 975*2^1414531-1 is not prime. Res64: FB03E23D779A8D78 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:50:57] 635*2^1414532-1 is not prime. Res64: 6C5822D04096BC3D Time : 0.0 sec. user=mdettweiler [2015-11-10 18:53:31] 767*2^1414532-1 is not prime. Res64: 9FA385CBA16B3BA4 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:53:31] 797*2^1414532-1 is not prime. Res64: 20990A6C630A5CF1 Time : 0.0 sec. user=mdettweiler [2015-11-10 18:53:32] 825*2^1414532-1 is not prime. Res64: 2F0E6103B7B259DD Time : 0.0 sec. user=mdettweiler [2015-11-10 18:53:33] 867*2^1414532-1 is not prime. Res64: D642DB50FBC2E55A Time : 0.0 sec. user=mdettweiler [2015-11-10 19:08:26] 875*2^1414532-1 is not prime. Res64: 94B4F20D05B88A19 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:08:26] 923*2^1414532-1 is not prime. Res64: 96C2DB14226AFCD7 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:11:00] 765*2^1414533-1 is not prime. Res64: DB7FE96C6B0B29EC Time : 0.0 sec. user=mdettweiler [2015-11-10 19:11:01] 861*2^1414533-1 is not prime. Res64: 7C9A3DD7311FFD4A Time : 0.0 sec. user=mdettweiler [2015-11-10 19:11:03] 955*2^1414533-1 is not prime. Res64: A6945A9B828E4518 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:11:04] 681*2^1414534-1 is not prime. Res64: C466C9751B455E1F Time : 0.0 sec. user=mdettweiler [2015-11-10 19:25:58] 723*2^1414534-1 is not prime. Res64: 744892E6A41B7BC4 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:25:58] 897*2^1414534-1 is not prime. Res64: 19D7C67F7A1D9A12 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:28:30] 983*2^1414534-1 is not prime. Res64: 18CE4D7D9851EC6A Time : 0.0 sec. user=mdettweiler [2015-11-10 19:28:30] 655*2^1414535-1 is not prime. Res64: ABA21589C82B6608 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:28:33] 783*2^1414535-1 is not prime. Res64: 825E1AD8F33A9527 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:28:33] 799*2^1414535-1 is not prime. Res64: 6749C973CDEABF99 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:43:27] 831*2^1414535-1 is not prime. Res64: 5E26B7A32E90A5B6 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:43:28] 855*2^1414535-1 is not prime. Res64: 59270123BDA83B4A Time : 0.0 sec. user=mdettweiler [2015-11-10 19:46:00] 963*2^1414535-1 is not prime. Res64: B5185F33CEB31F03 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:46:01] 699*2^1414536-1 is not prime. Res64: 07CEE6C1A28351E9 Time : 0.0 sec. user=mdettweiler [2015-11-10 19:46:04] 843*2^1414536-1 is not prime. Res64: B0683FAF0865824E Time : 0.0 sec. user=mdettweiler [2015-11-10 19:46:04] 945*2^1414536-1 is not prime. Res64: 48912C463457914E Time : 0.0 sec. user=mdettweiler [2015-11-10 20:01:00] 975*2^1414536-1 is not prime. Res64: 565B8C86A473A7D1 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:01:01] 993*2^1414536-1 is not prime. Res64: C2A4646CB917C038 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:03:29] 649*2^1414537-1 is not prime. Res64: 5074DC6C0BAB1BAA Time : 0.0 sec. user=mdettweiler [2015-11-10 20:03:31] 667*2^1414537-1 is not prime. Res64: 56A1EE317838B8A1 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:03:34] 715*2^1414537-1 is not prime. Res64: 42A125DA7E3DD899 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:03:36] 717*2^1414537-1 is not prime. Res64: 4AB4E7ECA5151F00 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:18:49] 771*2^1414537-1 is not prime. Res64: FA85DE332E4B5605 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:18:50] 937*2^1414537-1 is not prime. Res64: 6FC0155E8E4A3817 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:21:15] 753*2^1414538-1 is not prime. Res64: FED28745FBE5ADB9 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:21:15] 687*2^1414538-1 is not prime. Res64: 2DA0CF5651688217 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:21:15] 837*2^1414538-1 is not prime. Res64: A02D5F0B6FB53D9C Time : 0.0 sec. user=mdettweiler [2015-11-10 20:21:15] 711*2^1414538-1 is not prime. Res64: B65800AF2EA75C49 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:37:19] 921*2^1414538-1 is not prime. Res64: E53DB34B8C7E52E3 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:37:20] 927*2^1414538-1 is not prime. Res64: C85EAB9E3233DD3A Time : 0.0 sec. user=mdettweiler [2015-11-10 20:40:02] 977*2^1414538-1 is not prime. Res64: FF095E37B03DF9CA Time : 0.0 sec. user=mdettweiler [2015-11-10 20:40:02] 633*2^1414539-1 is not prime. Res64: 60F5032787137E0A Time : 0.0 sec. user=mdettweiler [2015-11-10 20:40:03] 769*2^1414539-1 is not prime. Res64: 03F7301B4357D945 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:40:04] 931*2^1414539-1 is not prime. Res64: 582F72B3A63FAE17 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:56:55] 969*2^1414539-1 is not prime. Res64: F04D67F0F4103837 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:56:55] 605*2^1414540-1 is not prime. Res64: F4E61B6EF6F8AFB0 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:59:26] 615*2^1414540-1 is not prime. Res64: 7C8D788AF9A4A333 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:59:27] 647*2^1414540-1 is not prime. Res64: 98805105AC9546F3 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:59:33] 765*2^1414540-1 is not prime. Res64: A3666D5267EBEAF3 Time : 0.0 sec. user=mdettweiler [2015-11-10 20:59:33] 819*2^1414540-1 is not prime. Res64: B8951F8A2666D1BF Time : 0.0 sec. user=mdettweiler [2015-11-10 21:15:46] 897*2^1414540-1 is not prime. Res64: E2B2A5255486A1CA Time : 0.0 sec. user=mdettweiler [2015-11-10 21:15:47] 607*2^1414541-1 is not prime. Res64: 8DF3F9CE1C35969F Time : 0.0 sec. user=mdettweiler [2015-11-10 21:18:22] 619*2^1414541-1 is not prime. Res64: F16119CCAA6CFF83 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:18:23] 657*2^1414541-1 is not prime. Res64: 290930E850DAA88B Time : 0.0 sec. user=mdettweiler [2015-11-10 21:18:25] 697*2^1414541-1 is not prime. Res64: 9802B9A69DDF09B0 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:18:26] 949*2^1414541-1 is not prime. Res64: 9FA7EB280172641C Time : 0.0 sec. user=mdettweiler [2015-11-10 21:34:24] 955*2^1414541-1 is not prime. Res64: 39E60E43A248FE34 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:34:25] 967*2^1414541-1 is not prime. Res64: C4A6E015D0D1E8A5 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:37:04] 711*2^1414542-1 is not prime. Res64: B208A48B416F49CC Time : 0.0 sec. user=mdettweiler [2015-11-10 21:37:05] 713*2^1414542-1 is not prime. Res64: B4CC921ACEF182BA Time : 0.0 sec. user=mdettweiler [2015-11-10 21:37:07] 991*2^1414541-1 is not prime. Res64: 03DBE67FDA1AFF0D Time : 0.0 sec. user=mdettweiler [2015-11-10 21:37:07] 657*2^1414542-1 is not prime. Res64: 647137459A52E670 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:52:54] 887*2^1414542-1 is not prime. Res64: 59F6FDB5F761B28C Time : 0.0 sec. user=mdettweiler [2015-11-10 21:52:55] 963*2^1414542-1 is not prime. Res64: 3134E680D6EF55E1 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:55:33] 977*2^1414542-1 is not prime. Res64: 61E84B6CD9139741 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:55:33] 603*2^1414543-1 is not prime. Res64: FED452CA76B0F404 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:55:37] 745*2^1414543-1 is not prime. Res64: D2C20D7453E86414 Time : 0.0 sec. user=mdettweiler [2015-11-10 21:55:38] 769*2^1414543-1 is not prime. Res64: C8CF1AB2B8C02310 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:11:15] 913*2^1414543-1 is not prime. Res64: 2E15AA1A8DE39044 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:11:16] 919*2^1414543-1 is not prime. Res64: 168BE976506A0E80 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:13:54] 973*2^1414543-1 is not prime. Res64: 508BE69CF42C436C Time : 0.0 sec. user=mdettweiler [2015-11-10 22:13:54] 999*2^1414543-1 is not prime. Res64: EE9CF80ABF62261B Time : 0.0 sec. user=mdettweiler [2015-11-10 22:14:00] 609*2^1414544-1 is not prime. Res64: 40A0A0693C1B0171 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:14:01] 629*2^1414544-1 is not prime. Res64: 0DE6B82F6FAD7437 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:31:24] 635*2^1414544-1 is not prime. Res64: 9CAC36E4CBE33D00 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:31:24] 743*2^1414544-1 is not prime. Res64: ADBB36A1653F5F06 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:33:27] 785*2^1414544-1 is not prime. Res64: 3082199573C729BC Time : 0.0 sec. user=mdettweiler [2015-11-10 22:33:27] 657*2^1414545-1 is not prime. Res64: 9EBFD4637E3973E2 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:34:02] 751*2^1414545-1 is not prime. Res64: 6DC2952E8699A1C1 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:34:02] 885*2^1414545-1 is not prime. Res64: AA6B5B8A3A6BB4DF Time : 0.0 sec. user=mdettweiler [2015-11-10 22:53:15] 645*2^1414546-1 is not prime. Res64: 696BD42371815BF0 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:53:16] 663*2^1414546-1 is not prime. Res64: C1E1541FA57E8975 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:55:47] 801*2^1414546-1 is not prime. Res64: 269D5BDE64DAB1FA Time : 0.0 sec. user=mdettweiler [2015-11-10 22:55:47] 857*2^1414546-1 is not prime. Res64: 18463668E93158A8 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:56:25] 887*2^1414546-1 is not prime. Res64: 46E3221086AA9030 Time : 0.0 sec. user=mdettweiler [2015-11-10 22:56:25] 911*2^1414546-1 is not prime. Res64: A68F787238D07DA9 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:12:32] 945*2^1414546-1 is not prime. Res64: 9146259C8F4CE0C0 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:12:33] 633*2^1414547-1 is not prime. Res64: 606C0E38DF385D56 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:14:25] 685*2^1414547-1 is not prime. Res64: 9195807D3E9C1A00 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:14:26] 741*2^1414547-1 is not prime. Res64: 2B8C470479F3ED34 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:15:02] 829*2^1414547-1 is not prime. Res64: CD42C986462D9E64 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:15:03] 915*2^1414547-1 is not prime. Res64: 7D3218655027432E Time : 0.0 sec. user=mdettweiler [2015-11-10 23:31:10] 689*2^1414548-1 is not prime. Res64: B0532AE53A330FEA Time : 0.0 sec. user=mdettweiler [2015-11-10 23:31:10] 765*2^1414548-1 is not prime. Res64: 43C9D39D6BCAA7AF Time : 0.0 sec. user=mdettweiler [2015-11-10 23:33:04] 783*2^1414548-1 is not prime. Res64: AFA95EA22BE78F92 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:33:04] 601*2^1414549-1 is not prime. Res64: 3BB38D62A6186A37 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:33:41] 691*2^1414549-1 is not prime. Res64: 04087FA5235AFA45 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:33:41] 721*2^1414549-1 is not prime. Res64: 5B7E41A446884E98 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:49:29] 867*2^1414549-1 is not prime. Res64: 3DC18CAB29A9CB8F Time : 0.0 sec. user=mdettweiler [2015-11-10 23:49:30] 885*2^1414549-1 is not prime. Res64: 89FC955B5B8D76F0 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:51:21] 955*2^1414549-1 is not prime. Res64: F0BEBB3F2B115E70 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:51:21] 663*2^1414550-1 is not prime. Res64: 7711447CE13104D3 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:52:01] 773*2^1414550-1 is not prime. Res64: 0E42E22E43693262 Time : 0.0 sec. user=mdettweiler [2015-11-10 23:52:01] 887*2^1414550-1 is not prime. Res64: 11C0E37867285F4A Time : 0.0 sec.