user=mdettweiler [2016-11-30 00:08:51] 671*2^1447338-1 is not prime. Res64: DF4FDCC5B69BC941 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:08:53] 711*2^1447338-1 is not prime. Res64: 6C632FC3D29A2D6B Time : 0.0 sec. user=mdettweiler [2016-11-30 00:08:54] 747*2^1447338-1 is not prime. Res64: 94815CFC6DD8FE09 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:08:55] 663*2^1447339-1 is not prime. Res64: 23974AEA9145F600 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:08:56] 769*2^1447339-1 is not prime. Res64: 7A7B49727C0983EB Time : 0.0 sec. user=mdettweiler [2016-11-30 00:14:41] 775*2^1447339-1 is not prime. Res64: F7D6BC36F0EC36BF Time : 0.0 sec. user=mdettweiler [2016-11-30 00:14:41] 801*2^1447339-1 is not prime. Res64: 09C604E14E2F6CC8 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:14:42] 843*2^1447339-1 is not prime. Res64: 2DE35D280766A9B6 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:14:42] 913*2^1447339-1 is not prime. Res64: 64384C2377E9C5DE Time : 0.0 sec. user=mdettweiler [2016-11-30 00:14:42] 615*2^1447340-1 is not prime. Res64: F329F4AD3D65BD35 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:16:27] 813*2^1447340-1 is not prime. Res64: 91DE08F94DAB693B Time : 0.0 sec. user=mdettweiler [2016-11-30 00:16:28] 825*2^1447340-1 is not prime. Res64: 3C9D931BC5501A13 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:16:28] 843*2^1447340-1 is not prime. Res64: 6376E8ACB4228E8B Time : 0.0 sec. user=mdettweiler [2016-11-30 00:16:28] 959*2^1447340-1 is not prime. Res64: DAB0C5242BA8AACD Time : 0.0 sec. user=mdettweiler [2016-11-30 00:16:28] 651*2^1447341-1 is not prime. Res64: B8359131441DA869 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:19:11] 657*2^1447341-1 is not prime. Res64: D4803E2585B77D99 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:19:11] 741*2^1447341-1 is not prime. Res64: 6EC5E0B7FFDF6804 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:19:11] 611*2^1447342-1 is not prime. Res64: 0D7E96221C645052 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:19:12] 671*2^1447342-1 is not prime. Res64: 99F58F4DBE4D0223 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:19:12] 675*2^1447342-1 is not prime. Res64: 316C4AC69185D814 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:56:06] 885*2^1447342-1 is not prime. Res64: 5BAB95C39FE7852D Time : 0.0 sec. user=mdettweiler [2016-11-30 00:56:06] 951*2^1447342-1 is not prime. Res64: 0FDF4D51BAABCBB9 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:56:07] 995*2^1447342-1 is not prime. Res64: FAC6E42A50282B1E Time : 0.0 sec. user=mdettweiler [2016-11-30 00:56:07] 685*2^1447343-1 is not prime. Res64: F9DEDA51F2D2CB08 Time : 0.0 sec. user=mdettweiler [2016-11-30 00:56:08] 693*2^1447343-1 is not prime. Res64: 951EEB79358FDD31 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:01:22] 871*2^1447343-1 is not prime. Res64: 314C21565703DF5E Time : 0.0 sec. user=mdettweiler [2016-11-30 01:01:23] 991*2^1447343-1 is not prime. Res64: D054933528175585 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:01:24] 803*2^1447344-1 is not prime. Res64: A507F8E847D1593D Time : 0.0 sec. user=mdettweiler [2016-11-30 01:01:24] 843*2^1447344-1 is not prime. Res64: 5B837FC2B5243EE2 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:01:25] 887*2^1447344-1 is not prime. Res64: 29B61AD20B1E9CA7 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:02:46] 959*2^1447344-1 is not prime. Res64: AC1B5444D3F8FD87 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:02:48] 661*2^1447345-1 is not prime. Res64: 4F2A828EA42F248E Time : 0.0 sec. user=mdettweiler [2016-11-30 01:02:49] 909*2^1447345-1 is not prime. Res64: D70ED04C1D9280C2 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:02:51] 683*2^1447346-1 is not prime. Res64: E2FD1E0562E29FC5 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:02:52] 773*2^1447346-1 is not prime. Res64: 7F905B1D9D0926B4 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:05:18] 801*2^1447346-1 is not prime. Res64: A856ED2A6099298B Time : 0.0 sec. user=mdettweiler [2016-11-30 01:05:20] 843*2^1447346-1 is not prime. Res64: FC8477E2115BDB25 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:05:22] 887*2^1447346-1 is not prime. Res64: 23F7FA8DDDF5A0E6 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:05:23] 963*2^1447346-1 is not prime. Res64: EB7F6DE902D41217 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:05:24] 987*2^1447346-1 is not prime. Res64: 4EC6867EB2F652B4 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:43:28] 1001*2^1447346-1 is not prime. Res64: ABDED0994D206E96 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:43:28] 703*2^1447347-1 is not prime. Res64: FFE89A4E4DD25925 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:43:29] 705*2^1447347-1 is not prime. Res64: 202E20836DC58BF3 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:43:29] 823*2^1447347-1 is not prime. Res64: 9D6FB4F9536E98C1 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:43:30] 849*2^1447347-1 is not prime. Res64: 10B52EFB7385298E Time : 0.0 sec. user=mdettweiler [2016-11-30 01:49:14] 871*2^1447347-1 is not prime. Res64: 10603666A27ED2B8 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:49:15] 973*2^1447347-1 is not prime. Res64: FDB792D150532BE7 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:49:16] 629*2^1447348-1 is not prime. Res64: 347D71BC9694CAD6 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:49:17] 749*2^1447348-1 is not prime. Res64: 84B5C7C34E499188 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:49:17] 741*2^1447349-1 is not prime. Res64: 06DA0EA915CEE66B Time : 0.0 sec. user=mdettweiler [2016-11-30 01:50:15] 759*2^1447349-1 is not prime. Res64: 84887C9101F8E5AC Time : 0.0 sec. user=mdettweiler [2016-11-30 01:50:16] 789*2^1447349-1 is not prime. Res64: 6B99A4BBF6F6C098 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:50:17] 861*2^1447349-1 is not prime. Res64: 8C117BFDBE9C44A2 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:50:18] 879*2^1447349-1 is not prime. Res64: 30BDBDDCA389F91A Time : 0.0 sec. user=mdettweiler [2016-11-30 01:50:18] 979*2^1447349-1 is not prime. Res64: AEF98B83A571B613 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:53:43] 641*2^1447350-1 is not prime. Res64: 9CFB84BDAAA52667 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:53:47] 707*2^1447350-1 is not prime. Res64: C3CD4CEC06AC7ABA Time : 0.0 sec. user=mdettweiler [2016-11-30 01:53:51] 761*2^1447350-1 is not prime. Res64: 539FA0736F45E8F1 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:53:55] 795*2^1447350-1 is not prime. Res64: 627AD777B11B4BD5 Time : 0.0 sec. user=mdettweiler [2016-11-30 01:53:59] 861*2^1447350-1 is not prime. Res64: 26AEB4D2364ED3C7 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:28:55] 977*2^1447350-1 is not prime. Res64: 1C8298DCD9AD2E12 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:28:57] 601*2^1447351-1 is not prime. Res64: CF49E5544531092C Time : 0.0 sec. user=mdettweiler [2016-11-30 02:28:58] 619*2^1447351-1 is not prime. Res64: D662134D432F3B33 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:28:59] 645*2^1447351-1 is not prime. Res64: EA8EBA796A8FE09E Time : 0.0 sec. user=mdettweiler [2016-11-30 02:29:00] 673*2^1447351-1 is not prime. Res64: C715D734ADD71B66 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:34:20] 709*2^1447351-1 is not prime. Res64: 83D82BCA1103132F Time : 0.0 sec. user=mdettweiler [2016-11-30 02:34:25] 789*2^1447351-1 is not prime. Res64: 475E73207CD6F739 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:34:31] 849*2^1447351-1 is not prime. Res64: 536FE087ED17CC51 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:34:36] 859*2^1447351-1 is not prime. Res64: 75AFF7FC7AA58CED Time : 0.0 sec. user=mdettweiler [2016-11-30 02:34:42] 925*2^1447351-1 is not prime. Res64: 732BEF97936E2D47 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:35:12] 943*2^1447351-1 is not prime. Res64: 100ABF776C1D39A2 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:35:17] 743*2^1447352-1 is not prime. Res64: E3338F9558F94D83 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:35:22] 767*2^1447352-1 is not prime. Res64: 426D20BD297268C4 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:35:26] 843*2^1447352-1 is not prime. Res64: 689DAF3C4A46379C Time : 0.0 sec. user=mdettweiler [2016-11-30 02:35:30] 893*2^1447352-1 is not prime. Res64: 169AAE9E7815370F Time : 0.0 sec. user=mdettweiler [2016-11-30 02:38:59] 935*2^1447352-1 is not prime. Res64: 93BCD157A71E4644 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:39:03] 995*2^1447352-1 is not prime. Res64: BE29DB25D411C33B Time : 0.0 sec. user=mdettweiler [2016-11-30 02:39:08] 675*2^1447353-1 is not prime. Res64: 51C95F464CBF7634 Time : 0.0 sec. user=mdettweiler [2016-11-30 02:39:12] 751*2^1447353-1 is not prime. Res64: 077D774155751AAE Time : 0.0 sec. user=mdettweiler [2016-11-30 02:39:17] 817*2^1447353-1 is not prime. Res64: 3613852D59AC6B76 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:14:09] 847*2^1447353-1 is not prime. Res64: C98F19B8DB833183 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:14:13] 901*2^1447353-1 is not prime. Res64: 54C33AA274752A0A Time : 0.0 sec. user=mdettweiler [2016-11-30 03:14:18] 611*2^1447354-1 is not prime. Res64: A78225A4764513D7 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:14:24] 633*2^1447354-1 is not prime. Res64: C7C64BDB4D871331 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:14:28] 675*2^1447354-1 is not prime. Res64: AC47A362B20B9318 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:19:32] 695*2^1447354-1 is not prime. Res64: 4AA6662B72C7F49B Time : 0.0 sec. user=mdettweiler [2016-11-30 03:19:36] 833*2^1447354-1 is not prime. Res64: 1945DFDE923DE797 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:19:40] 947*2^1447354-1 is not prime. Res64: 2F3F56DC1E1AE67D Time : 0.0 sec. user=mdettweiler [2016-11-30 03:19:44] 951*2^1447354-1 is not prime. Res64: 79B26A9BE163A050 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:19:48] 971*2^1447354-1 is not prime. Res64: 334634DF349795E2 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:20:40] 981*2^1447354-1 is not prime. Res64: 0D95041DBDF9774C Time : 0.0 sec. user=mdettweiler [2016-11-30 03:20:44] 753*2^1447355-1 is not prime. Res64: 69E1CCB91E1D9FF0 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:20:48] 861*2^1447355-1 is not prime. Res64: 6C69F94DA69FAB83 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:20:52] 913*2^1447355-1 is not prime. Res64: B5A51AD72B75E526 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:20:56] 943*2^1447355-1 is not prime. Res64: EBF8272B5D5E0180 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:24:13] 969*2^1447355-1 is not prime. Res64: BBD6469FE630974A Time : 0.0 sec. user=mdettweiler [2016-11-30 03:24:19] 979*2^1447355-1 is not prime. Res64: B5B6E09F062C64B5 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:24:24] 999*2^1447355-1 is not prime. Res64: 38F11CB6D24923A7 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:24:30] 635*2^1447356-1 is not prime. Res64: 4DA23B349DCCA398 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:24:36] 695*2^1447356-1 is not prime. Res64: 948213C60CE41509 Time : 0.0 sec. user=mdettweiler [2016-11-30 03:59:53] 783*2^1447356-1 is not prime. Res64: 1F4FC8F19D6656D9 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:04:57] 859*2^1447357-1 is not prime. Res64: 251DF386C3AE490B Time : 0.0 sec. user=mdettweiler [2016-11-30 04:05:01] 919*2^1447357-1 is not prime. Res64: D6E034B4901B5C21 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:05:06] 939*2^1447357-1 is not prime. Res64: 350C6DA6E5D98EB3 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:05:10] 623*2^1447358-1 is not prime. Res64: 7B82FB4D63AE6D4E Time : 0.0 sec. user=mdettweiler [2016-11-30 04:05:14] 743*2^1447358-1 is not prime. Res64: B5179AC21BD65044 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:06:01] 755*2^1447358-1 is not prime. Res64: DFA441C49CBE7C48 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:06:07] 857*2^1447358-1 is not prime. Res64: 3259AA2738A81887 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:06:14] 953*2^1447358-1 is not prime. Res64: 5400536359761476 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:06:18] 615*2^1447359-1 is not prime. Res64: 0995BEDC7C6C6804 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:06:20] 675*2^1447359-1 is not prime. Res64: 1A6FA2DECF0EBCA8 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:09:58] 693*2^1447359-1 is not prime. Res64: 73620B807F3BA8BA Time : 0.0 sec. user=mdettweiler [2016-11-30 04:10:02] 741*2^1447359-1 is not prime. Res64: 8625A379AEC8604C Time : 0.0 sec. user=mdettweiler [2016-11-30 04:10:06] 751*2^1447359-1 is not prime. Res64: 5C913E482DE54C3C Time : 0.0 sec. user=mdettweiler [2016-11-30 04:10:10] 919*2^1447359-1 is not prime. Res64: 1940CDD26CA236FD Time : 0.0 sec. user=mdettweiler [2016-11-30 04:10:13] 985*2^1447359-1 is not prime. Res64: A28804CF8A01A887 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:50:57] 653*2^1447360-1 is not prime. Res64: E784607C7F205FA9 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:51:01] 675*2^1447360-1 is not prime. Res64: 24B2D536A9115B9A Time : 0.0 sec. user=mdettweiler [2016-11-30 04:51:05] 813*2^1447360-1 is not prime. Res64: EC516453D5E6E5AA Time : 0.0 sec. user=mdettweiler [2016-11-30 04:51:09] 825*2^1447360-1 is not prime. Res64: 45EF65C13BCDC779 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:51:13] 875*2^1447360-1 is not prime. Res64: ADA9753BD9DF63B8 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:52:26] 899*2^1447360-1 is not prime. Res64: 6C6882E67A6F3A1A Time : 0.0 sec. user=mdettweiler [2016-11-30 04:52:26] 933*2^1447360-1 is not prime. Res64: 9B9C6E95F2C3301B Time : 0.0 sec. user=mdettweiler [2016-11-30 04:52:26] 975*2^1447360-1 is not prime. Res64: E439D63BE1DF4E85 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:52:27] 669*2^1447361-1 is not prime. Res64: 7E51D15191321BE9 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:52:27] 777*2^1447361-1 is not prime. Res64: 2910763293B4672A Time : 0.0 sec. user=mdettweiler [2016-11-30 04:55:58] 829*2^1447361-1 is not prime. Res64: 924AA4923FB35BA0 Time : 0.0 sec. user=mdettweiler [2016-11-30 04:55:59] 861*2^1447361-1 is not prime. Res64: 9041C38B436225CB Time : 0.0 sec. user=mdettweiler [2016-11-30 04:55:59] 865*2^1447361-1 is not prime. Res64: 00EA273868BDC81D Time : 0.0 sec. user=mdettweiler [2016-11-30 04:55:59] 871*2^1447361-1 is not prime. Res64: 2C50A0F50B84837F Time : 0.0 sec. user=mdettweiler [2016-11-30 04:56:00] 635*2^1447362-1 is not prime. Res64: 217522925997562E Time : 0.0 sec. user=mdettweiler [2016-11-30 05:36:59] 705*2^1447362-1 is not prime. Res64: E20A22971646AA81 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:36:59] 713*2^1447362-1 is not prime. Res64: 36BFE5561F15DACA Time : 0.0 sec. user=mdettweiler [2016-11-30 05:37:00] 725*2^1447362-1 is not prime. Res64: 9397B4E1988991E0 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:37:00] 755*2^1447362-1 is not prime. Res64: 50F50C326F7236C9 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:37:01] 767*2^1447362-1 is not prime. Res64: 483C93F292AF979A Time : 0.0 sec. user=mdettweiler [2016-11-30 05:38:20] 803*2^1447362-1 is not prime. Res64: A89AFB1538768705 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:38:21] 807*2^1447362-1 is not prime. Res64: 232563D81EA384D1 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:38:21] 663*2^1447363-1 is not prime. Res64: 9C18EF11E8183F87 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:38:22] 775*2^1447363-1 is not prime. Res64: AF37ED7ED6EBEA5E Time : 0.0 sec. user=mdettweiler [2016-11-30 05:38:22] 783*2^1447363-1 is not prime. Res64: 17037744F75A6E27 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:41:39] 861*2^1447363-1 is not prime. Res64: 37AFF144A21448C8 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:41:39] 889*2^1447363-1 is not prime. Res64: C90194903254029E Time : 0.0 sec. user=mdettweiler [2016-11-30 05:41:40] 609*2^1447364-1 is not prime. Res64: 629616E25E977A73 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:41:40] 617*2^1447364-1 is not prime. Res64: 10F63D0D939D4252 Time : 0.0 sec. user=mdettweiler [2016-11-30 05:41:40] 683*2^1447364-1 is not prime. Res64: FFCB535940A6AE95 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:22:32] 707*2^1447364-1 is not prime. Res64: C28360CF6B2AB393 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:22:32] 773*2^1447364-1 is not prime. Res64: A837D2AF07CBC40F Time : 0.0 sec. user=mdettweiler [2016-11-30 06:22:32] 795*2^1447364-1 is not prime. Res64: 1AA01D2CF248E4B6 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:22:33] 869*2^1447364-1 is not prime. Res64: ABF017252A19695E Time : 0.0 sec. user=mdettweiler [2016-11-30 06:22:33] 969*2^1447364-1 is not prime. Res64: E311786A4A2B35FF Time : 0.0 sec. user=mdettweiler [2016-11-30 06:24:05] 625*2^1447365-1 is not prime. Res64: B0216B12D3EDACC6 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:24:06] 657*2^1447365-1 is not prime. Res64: 285A54C6EAAB8975 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:24:06] 717*2^1447365-1 is not prime. Res64: B9670BA72E0D730E Time : 0.0 sec. user=mdettweiler [2016-11-30 06:24:07] 759*2^1447365-1 is not prime. Res64: BB707779EAD1E51F Time : 0.0 sec. user=mdettweiler [2016-11-30 06:24:07] 765*2^1447365-1 is not prime. Res64: E28AE191661FBD4E Time : 0.0 sec. user=mdettweiler [2016-11-30 06:27:15] 781*2^1447365-1 is not prime. Res64: A7B5992EDED99C06 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:27:15] 861*2^1447365-1 is not prime. Res64: EB9C5CAEBAFBAC90 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:27:15] 919*2^1447365-1 is not prime. Res64: AB8171ACDD3364DB Time : 0.0 sec. user=mdettweiler [2016-11-30 06:27:16] 949*2^1447365-1 is not prime. Res64: 9AD1AAB5EBA78EDF Time : 0.0 sec. user=mdettweiler [2016-11-30 06:27:16] 603*2^1447366-1 is not prime. Res64: FB5321A0511BAED4 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:52:17] 609*2^1447357-1 is not prime. Res64: 378086BE3B067EAE Time : 0.0 sec. user=mdettweiler [2016-11-30 06:52:17] 687*2^1447357-1 is not prime. Res64: 30E96019273920DB Time : 0.0 sec. user=mdettweiler [2016-11-30 06:52:17] 691*2^1447357-1 is not prime. Res64: DE4B85217F033774 Time : 0.0 sec. user=mdettweiler [2016-11-30 06:52:18] 757*2^1447357-1 is not prime. Res64: 2C1F9487C0548535 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:07:51] 611*2^1447366-1 is not prime. Res64: 2E896C5D3912F7E6 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:07:52] 737*2^1447366-1 is not prime. Res64: AAFFF91362DB5293 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:07:53] 843*2^1447366-1 is not prime. Res64: E130E6E4BF89AA09 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:07:53] 957*2^1447366-1 is not prime. Res64: 51D66F956C8EDED2 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:07:53] 601*2^1447367-1 is not prime. Res64: 7105EDD95592B94B Time : 0.0 sec. user=mdettweiler [2016-11-30 07:09:29] 603*2^1447367-1 is not prime. Res64: 8F482382D43E4844 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:09:29] 775*2^1447367-1 is not prime. Res64: 69DDA275FED36079 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:09:29] 963*2^1447367-1 is not prime. Res64: 67AFFA53791CCED1 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:09:30] 747*2^1447368-1 is not prime. Res64: C749A5FBEF48E870 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:09:30] 759*2^1447368-1 is not prime. Res64: D682D96A9346ECD8 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:12:32] 777*2^1447368-1 is not prime. Res64: 248431C7DF72D2BA Time : 0.0 sec. user=mdettweiler [2016-11-30 07:12:33] 819*2^1447368-1 is not prime. Res64: 74263512A5073FEC Time : 0.0 sec. user=mdettweiler [2016-11-30 07:12:33] 845*2^1447368-1 is not prime. Res64: 55339FD1C4DC828E Time : 0.0 sec. user=mdettweiler [2016-11-30 07:12:33] 927*2^1447368-1 is not prime. Res64: E3F6A007151F602F Time : 0.0 sec. user=mdettweiler [2016-11-30 07:12:34] 685*2^1447369-1 is not prime. Res64: 09B705E9BC2E4050 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:37:12] 765*2^1447369-1 is not prime. Res64: 5B959C03FBAAA874 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:37:12] 799*2^1447369-1 is not prime. Res64: BC2C3DA2FA392A44 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:37:13] 819*2^1447369-1 is not prime. Res64: 96042B90D744A184 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:37:19] 831*2^1447369-1 is not prime. Res64: 084542371C3EB0C1 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:37:19] 835*2^1447369-1 is not prime. Res64: 982441D42930A64B Time : 0.0 sec. user=mdettweiler [2016-11-30 07:52:50] 867*2^1447369-1 is not prime. Res64: 580FC9929746A806 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:52:50] 885*2^1447369-1 is not prime. Res64: C815AEDA9FB6D6F6 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:52:51] 895*2^1447369-1 is not prime. Res64: E8DA1A1D36D8A2A0 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:52:51] 939*2^1447369-1 is not prime. Res64: 36714DA3B1B4EBF5 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:52:51] 997*2^1447369-1 is not prime. Res64: D251BEE12B996022 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:54:25] 635*2^1447370-1 is not prime. Res64: 670EA06187AB476A Time : 0.0 sec. user=mdettweiler [2016-11-30 07:54:26] 671*2^1447370-1 is not prime. Res64: D6FCEBC05D868A47 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:54:26] 785*2^1447370-1 is not prime. Res64: E8396C3E51060BAE Time : 0.0 sec. user=mdettweiler [2016-11-30 07:54:26] 797*2^1447370-1 is not prime. Res64: 1E5E70B6A18A42B3 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:54:27] 813*2^1447370-1 is not prime. Res64: 25972BBBAE1FAF2C Time : 0.0 sec. user=mdettweiler [2016-11-30 07:57:24] 833*2^1447370-1 is not prime. Res64: 03B38547DC6C3EB0 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:57:24] 845*2^1447370-1 is not prime. Res64: 97BF7BD6E77E54D4 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:57:25] 867*2^1447370-1 is not prime. Res64: 812ACA59ECA396E0 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:57:25] 981*2^1447370-1 is not prime. Res64: 4F7DBC51E3F04C04 Time : 0.0 sec. user=mdettweiler [2016-11-30 07:57:25] 679*2^1447371-1 is not prime. Res64: CA30F79C9005BDF7 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:22:19] 745*2^1447371-1 is not prime. Res64: F01A9011633399CB Time : 0.0 sec. user=mdettweiler [2016-11-30 08:22:19] 951*2^1447371-1 is not prime. Res64: 88143C480A074FA8 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:22:20] 955*2^1447371-1 is not prime. Res64: 3123805D8388F5A1 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:22:20] 623*2^1447372-1 is not prime. Res64: 8E082FC31AE0C47A Time : 0.0 sec. user=mdettweiler [2016-11-30 08:22:21] 639*2^1447372-1 is not prime. Res64: 1A6CDEF7B5FFC958 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:37:52] 677*2^1447372-1 is not prime. Res64: CB9B7FB88F83EEC3 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:37:52] 689*2^1447372-1 is not prime. Res64: 0BC58A7BEFCCCA68 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:37:53] 755*2^1447372-1 is not prime. Res64: BF3E2086D92611C2 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:37:53] 765*2^1447372-1 is not prime. Res64: B7D0496E928847B3 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:37:54] 819*2^1447372-1 is not prime. Res64: F4FA901D328EF2A4 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:39:21] 855*2^1447372-1 is not prime. Res64: E5262456494FCEA7 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:39:22] 873*2^1447372-1 is not prime. Res64: 7455A3B4B2215254 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:39:22] 899*2^1447372-1 is not prime. Res64: 7384AFDEB8C181A1 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:39:23] 947*2^1447372-1 is not prime. Res64: 9072AC2F4EF65A3C Time : 0.0 sec. user=mdettweiler [2016-11-30 08:39:23] 621*2^1447373-1 is not prime. Res64: 1024224932D051B9 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:42:22] 727*2^1447373-1 is not prime. Res64: 57854411B86D10EF Time : 0.0 sec. user=mdettweiler [2016-11-30 08:42:22] 987*2^1447373-1 is not prime. Res64: ACBB2B983A59BF2D Time : 0.0 sec. user=mdettweiler [2016-11-30 08:42:22] 681*2^1447374-1 is not prime. Res64: 3B99BF7CC71B0FA7 Time : 0.0 sec. user=mdettweiler [2016-11-30 08:42:23] 705*2^1447374-1 is not prime. Res64: 07CA6E730D61FB5B Time : 0.0 sec. user=mdettweiler [2016-11-30 08:42:23] 797*2^1447374-1 is not prime. Res64: 01FDCB106A8EA7AB Time : 0.0 sec. user=mdettweiler [2016-11-30 09:07:17] 807*2^1447374-1 is not prime. Res64: C6D3F2139F7DA685 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:07:18] 875*2^1447374-1 is not prime. Res64: 7C9F56EC6AD5AA09 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:07:18] 887*2^1447374-1 is not prime. Res64: B0262FFE30590E29 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:07:19] 891*2^1447374-1 is not prime. Res64: 737DEC68C27DE116 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:07:23] 927*2^1447374-1 is not prime. Res64: 29AB940E4F7B4E58 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:22:44] 965*2^1447374-1 is not prime. Res64: 13C078E7DE81081D Time : 0.0 sec. user=mdettweiler [2016-11-30 09:22:44] 619*2^1447375-1 is not prime. Res64: F7B61B38353E4DF0 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:22:44] 675*2^1447375-1 is not prime. Res64: 718949547D2D5359 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:22:45] 705*2^1447375-1 is not prime. Res64: 01E94BEB3344E5B8 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:22:45] 771*2^1447375-1 is not prime. Res64: A51B71FD406FB226 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:24:11] 775*2^1447375-1 is not prime. Res64: 566021459A227ED8 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:24:12] 829*2^1447375-1 is not prime. Res64: C4D20B0F9DFBC5E0 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:24:12] 853*2^1447375-1 is not prime. Res64: EF3B221E5EA5C008 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:24:13] 895*2^1447375-1 is not prime. Res64: 0733B538FEE740F4 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:24:13] 663*2^1447376-1 is not prime. Res64: 47E3EF2DD809AACD Time : 0.0 sec. user=mdettweiler [2016-11-30 09:27:20] 717*2^1447376-1 is not prime. Res64: 5617D9D77AAD0221 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:27:21] 945*2^1447376-1 is not prime. Res64: 3CF28C6DA8977EC5 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:27:21] 957*2^1447376-1 is not prime. Res64: F5DD326614E313AB Time : 0.0 sec. user=mdettweiler [2016-11-30 09:27:21] 709*2^1447377-1 is not prime. Res64: 9847B8D2AABCAC65 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:27:22] 747*2^1447377-1 is not prime. Res64: 3093A702E7E5550D Time : 0.0 sec. user=mdettweiler [2016-11-30 09:52:13] 829*2^1447377-1 is not prime. Res64: 3F0482C9F54A0927 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:52:14] 871*2^1447377-1 is not prime. Res64: 106DACA3B1F767AA Time : 0.0 sec. user=mdettweiler [2016-11-30 09:52:14] 895*2^1447377-1 is not prime. Res64: 5BF85634BAE6A2D5 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:52:18] 605*2^1447378-1 is not prime. Res64: 91D3AD149EC75A31 Time : 0.0 sec. user=mdettweiler [2016-11-30 09:52:19] 657*2^1447378-1 is not prime. Res64: 9911789704C36386 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:07:37] 677*2^1447378-1 is not prime. Res64: 7D0E8C9169672400 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:07:37] 681*2^1447378-1 is not prime. Res64: 5D51F6B81905DE4E Time : 0.0 sec. user=mdettweiler [2016-11-30 10:07:38] 735*2^1447378-1 is not prime. Res64: DD5BA63EEA8FFE75 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:07:38] 815*2^1447378-1 is not prime. Res64: CF6C38AF2AF39640 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:07:39] 887*2^1447378-1 is not prime. Res64: B0B8107B60FDF466 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:08:59] 911*2^1447378-1 is not prime. Res64: 72015FA67609DCF7 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:08:59] 941*2^1447378-1 is not prime. Res64: F8A308047B980776 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:09:00] 735*2^1447379-1 is not prime. Res64: CBE8A544DF530E4D Time : 0.0 sec. user=mdettweiler [2016-11-30 10:09:00] 741*2^1447379-1 is not prime. Res64: 6BA9E73EB85CC43B Time : 0.0 sec. user=mdettweiler [2016-11-30 10:09:01] 753*2^1447379-1 is not prime. Res64: C2CE8EFC6AF1084A Time : 0.0 sec. user=mdettweiler [2016-11-30 10:12:17] 799*2^1447379-1 is not prime. Res64: 8769F5D0AAC158BE Time : 0.0 sec. user=mdettweiler [2016-11-30 10:12:17] 889*2^1447379-1 is not prime. Res64: C157970863BAA4CE Time : 0.0 sec. user=mdettweiler [2016-11-30 10:12:18] 767*2^1447380-1 is not prime. Res64: ADD02A4FC86CBE66 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:12:18] 867*2^1447380-1 is not prime. Res64: E55C88129CCC361A Time : 0.0 sec. user=mdettweiler [2016-11-30 10:12:19] 905*2^1447380-1 is not prime. Res64: 33E780EF65A37298 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:37:14] 923*2^1447380-1 is not prime. Res64: 0DE6C382224EBA98 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:37:14] 935*2^1447380-1 is not prime. Res64: 32009287015C6824 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:37:15] 999*2^1447380-1 is not prime. Res64: 74F0B11AAB9028C1 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:37:20] 715*2^1447381-1 is not prime. Res64: 1407996CAA6E219E Time : 0.0 sec. user=mdettweiler [2016-11-30 10:37:20] 825*2^1447381-1 is not prime. Res64: 6DC80C4B20A0097F Time : 0.0 sec. user=mdettweiler [2016-11-30 10:52:24] 829*2^1447381-1 is not prime. Res64: 3E704FD816E3A362 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:52:24] 877*2^1447381-1 is not prime. Res64: A42D732DC44C0051 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:52:24] 951*2^1447381-1 is not prime. Res64: D57E9DB90926DB4B Time : 0.0 sec. user=mdettweiler [2016-11-30 10:52:25] 603*2^1447382-1 is not prime. Res64: CDE3408ECA1DCE44 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:52:25] 711*2^1447382-1 is not prime. Res64: A27E583DB8ABB1BC Time : 0.0 sec. user=mdettweiler [2016-11-30 10:53:44] 755*2^1447382-1 is not prime. Res64: AF0853D37D12C1EE Time : 0.0 sec. user=mdettweiler [2016-11-30 10:53:44] 827*2^1447382-1 is not prime. Res64: FDE91BFB0A9451CF Time : 0.0 sec. user=mdettweiler [2016-11-30 10:53:45] 873*2^1447382-1 is not prime. Res64: FFA47B6C2474FAAB Time : 0.0 sec. user=mdettweiler [2016-11-30 10:53:45] 983*2^1447382-1 is not prime. Res64: 1F15A61F1D901D91 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:53:46] 649*2^1447383-1 is not prime. Res64: 488B9BBCD70A8C05 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:57:05] 679*2^1447383-1 is not prime. Res64: 372F1C348F8E25BB Time : 0.0 sec. user=mdettweiler [2016-11-30 10:57:05] 691*2^1447383-1 is not prime. Res64: 94771F2E6BB50D47 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:57:05] 901*2^1447383-1 is not prime. Res64: D1DD753B95056593 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:57:06] 803*2^1447384-1 is not prime. Res64: 81C4D0AA111B9495 Time : 0.0 sec. user=mdettweiler [2016-11-30 10:57:06] 833*2^1447384-1 is not prime. Res64: D883CA0B2235155E Time : 0.0 sec. user=mdettweiler [2016-11-30 11:22:11] 875*2^1447384-1 is not prime. Res64: 27E2DC08FD112E78 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:22:12] 915*2^1447384-1 is not prime. Res64: 1F2F62F1C8A5D4E8 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:22:12] 983*2^1447384-1 is not prime. Res64: BBDE5C6144043971 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:22:13] 989*2^1447384-1 is not prime. Res64: 70336289E14D8F8A Time : 0.0 sec. user=mdettweiler [2016-11-30 11:22:13] 657*2^1447385-1 is not prime. Res64: 10BF3BC32234043A Time : 0.0 sec. user=mdettweiler [2016-11-30 11:37:18] 705*2^1447385-1 is not prime. Res64: DEB845F6F3F48C24 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:37:18] 721*2^1447385-1 is not prime. Res64: 0317CA1B405F1830 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:37:19] 729*2^1447385-1 is not prime. Res64: 15F740470337A513 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:37:19] 811*2^1447385-1 is not prime. Res64: 4E9FEC53731147C5 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:37:19] 951*2^1447385-1 is not prime. Res64: 9F536F30EEBF28C9 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:38:40] 717*2^1447386-1 is not prime. Res64: 223047BF7AB204E2 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:38:40] 903*2^1447386-1 is not prime. Res64: 32CDEA0CA0A82FC9 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:38:41] 917*2^1447386-1 is not prime. Res64: 7FD03F6FBDCF5D2C Time : 0.0 sec. user=mdettweiler [2016-11-30 11:38:41] 633*2^1447387-1 is not prime. Res64: A1A47F1FA06D310A Time : 0.0 sec. user=mdettweiler [2016-11-30 11:38:41] 673*2^1447387-1 is not prime. Res64: 493A52BD34617A81 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:42:07] 685*2^1447387-1 is not prime. Res64: 8F94E187FD295189 Time : 0.0 sec. user=mdettweiler [2016-11-30 11:42:08] 835*2^1447387-1 is not prime. Res64: 59149BE2705EB35F Time : 0.0 sec. user=mdettweiler [2016-11-30 11:42:08] 861*2^1447387-1 is not prime. Res64: 67C707BF7E36844B Time : 0.0 sec. user=mdettweiler [2016-11-30 11:42:08] 883*2^1447387-1 is not prime. Res64: 97F163C3C03F3D1D Time : 0.0 sec. user=mdettweiler [2016-11-30 11:42:09] 617*2^1447388-1 is not prime. Res64: 49F186E30BCBA1D9 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:07:05] 669*2^1447388-1 is not prime. Res64: E4D236F6625BE8F1 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:07:06] 743*2^1447388-1 is not prime. Res64: D361FEC31A95F120 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:07:06] 839*2^1447388-1 is not prime. Res64: 503271FE1504A4AC Time : 0.0 sec. user=mdettweiler [2016-11-30 12:07:06] 845*2^1447388-1 is not prime. Res64: E017CD881CB93D2B Time : 0.0 sec. user=mdettweiler [2016-11-30 12:07:07] 945*2^1447388-1 is not prime. Res64: E04A46A28B940B5C Time : 0.0 sec. user=mdettweiler [2016-11-30 12:22:06] 963*2^1447388-1 is not prime. Res64: 646084D8F39B124D Time : 0.0 sec. user=mdettweiler [2016-11-30 12:22:06] 609*2^1447389-1 is not prime. Res64: 34C5767C6A5B6676 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:22:07] 655*2^1447389-1 is not prime. Res64: 883A79FC1C0E7F69 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:22:07] 745*2^1447389-1 is not prime. Res64: 16802604CB119F58 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:22:08] 847*2^1447389-1 is not prime. Res64: 48D68F04D7AC9700 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:23:26] 861*2^1447389-1 is not prime. Res64: 0A597216D9AC8CFA Time : 0.0 sec. user=mdettweiler [2016-11-30 12:23:27] 921*2^1447389-1 is not prime. Res64: 91F3488AAB1ECCB0 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:23:27] 951*2^1447389-1 is not prime. Res64: 95491F40E1DB4FDB Time : 0.0 sec. user=mdettweiler [2016-11-30 12:23:27] 985*2^1447389-1 is not prime. Res64: F473123904F47488 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:23:28] 657*2^1447390-1 is not prime. Res64: 1A3F8D60CB6C8657 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:26:56] 777*2^1447390-1 is not prime. Res64: DA827B3548DB7F8F Time : 0.0 sec. user=mdettweiler [2016-11-30 12:26:56] 867*2^1447390-1 is not prime. Res64: 2B89BE010498370E Time : 0.0 sec. user=mdettweiler [2016-11-30 12:26:56] 915*2^1447390-1 is not prime. Res64: 13D78489DC4B2034 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:26:57] 643*2^1447391-1 is not prime. Res64: BDFBF3544938C0F9 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:26:57] 813*2^1447391-1 is not prime. Res64: FE0089578D9FCDEF Time : 0.0 sec. user=mdettweiler [2016-11-30 12:52:14] 859*2^1447391-1 is not prime. Res64: 5209095352ED1C55 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:52:14] 909*2^1447391-1 is not prime. Res64: B1CE880EF084809F Time : 0.0 sec. user=mdettweiler [2016-11-30 12:52:19] 747*2^1447392-1 is not prime. Res64: A8B5D5FB07E0ACD1 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:52:19] 797*2^1447392-1 is not prime. Res64: 571F2FE25D6D2FD1 Time : 0.0 sec. user=mdettweiler [2016-11-30 12:52:19] 945*2^1447392-1 is not prime. Res64: 1822573364398045 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:07:14] 615*2^1447393-1 is not prime. Res64: 6034462FD2F9BE99 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:07:15] 741*2^1447393-1 is not prime. Res64: B44F65AA7F8C6788 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:07:15] 867*2^1447393-1 is not prime. Res64: E851479E3F14D29F Time : 0.0 sec. user=mdettweiler [2016-11-30 13:07:16] 889*2^1447393-1 is not prime. Res64: 538B3BA17A539EB5 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:07:16] 895*2^1447393-1 is not prime. Res64: 180A80506BA977B3 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:08:34] 937*2^1447393-1 is not prime. Res64: 0932490F11F7B49C Time : 0.0 sec. user=mdettweiler [2016-11-30 13:08:34] 999*2^1447393-1 is not prime. Res64: 9CCB7936934FC197 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:08:34] 615*2^1447394-1 is not prime. Res64: D90727D2F4AFB88C Time : 0.0 sec. user=mdettweiler [2016-11-30 13:08:35] 617*2^1447394-1 is not prime. Res64: D712A276585768D8 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:08:35] 671*2^1447394-1 is not prime. Res64: 0189E2347FFE6248 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:12:01] 753*2^1447394-1 is not prime. Res64: 83589441C11951D3 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:12:01] 813*2^1447394-1 is not prime. Res64: 75F5544A3384633B Time : 0.0 sec. user=mdettweiler [2016-11-30 13:12:02] 857*2^1447394-1 is not prime. Res64: 6610A63471A41A68 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:12:02] 945*2^1447394-1 is not prime. Res64: 7BF0EB4C28781258 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:12:03] 649*2^1447395-1 is not prime. Res64: 837796D06EB59A74 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:37:08] 651*2^1447395-1 is not prime. Res64: 08C7EABCACFBC429 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:37:09] 675*2^1447395-1 is not prime. Res64: 9110D02543D07107 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:37:13] 735*2^1447395-1 is not prime. Res64: D54C1CB9642BFC11 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:37:13] 823*2^1447395-1 is not prime. Res64: 139F39FB6FC6773B Time : 0.0 sec. user=mdettweiler [2016-11-30 13:37:13] 895*2^1447395-1 is not prime. Res64: 5F1BFA56E8986B3F Time : 0.0 sec. user=mdettweiler [2016-11-30 13:52:05] 949*2^1447395-1 is not prime. Res64: 36A9EE4B880A93FF Time : 0.0 sec. user=mdettweiler [2016-11-30 13:52:05] 609*2^1447396-1 is not prime. Res64: C50262EA18D6537E Time : 0.0 sec. user=mdettweiler [2016-11-30 13:52:05] 675*2^1447396-1 is not prime. Res64: DE97224C862CF573 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:52:06] 677*2^1447396-1 is not prime. Res64: 5C02AB09F94F9C95 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:52:06] 833*2^1447396-1 is not prime. Res64: 41572198876E668B Time : 0.0 sec. user=mdettweiler [2016-11-30 13:53:42] 965*2^1447396-1 is not prime. Res64: 826D7A9253522A74 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:53:42] 975*2^1447396-1 is not prime. Res64: A701BA3BE8336587 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:53:43] 993*2^1447396-1 is not prime. Res64: F55DB347EED06D50 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:53:43] 619*2^1447397-1 is not prime. Res64: 785E277D3745CA47 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:53:44] 631*2^1447397-1 is not prime. Res64: 309693EDC89FC7D6 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:56:45] 691*2^1447397-1 is not prime. Res64: EED1D98A088D9797 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:56:46] 747*2^1447397-1 is not prime. Res64: 3E8F59658CA5F605 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:56:46] 799*2^1447397-1 is not prime. Res64: B9C74B580DE6CC0B Time : 0.0 sec. user=mdettweiler [2016-11-30 13:56:46] 829*2^1447397-1 is not prime. Res64: FA0799EA662FF334 Time : 0.0 sec. user=mdettweiler [2016-11-30 13:56:47] 831*2^1447397-1 is not prime. Res64: 8FA6A0F96E3E9BDE Time : 0.0 sec. user=mdettweiler [2016-11-30 14:22:06] 889*2^1447397-1 is not prime. Res64: 2D728A3929C992ED Time : 0.0 sec. user=mdettweiler [2016-11-30 14:22:07] 901*2^1447397-1 is not prime. Res64: E472726C8991A68D Time : 0.0 sec. user=mdettweiler [2016-11-30 14:22:07] 927*2^1447397-1 is not prime. Res64: A1F265484A7AE741 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:22:08] 931*2^1447397-1 is not prime. Res64: DEE64FAAE86EB935 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:22:08] 621*2^1447398-1 is not prime. Res64: 5954095F0706E58E Time : 0.0 sec. user=mdettweiler [2016-11-30 14:36:56] 663*2^1447398-1 is not prime. Res64: 3796B79336364F01 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:36:56] 773*2^1447398-1 is not prime. Res64: 7A9A84CCC5A00E84 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:36:57] 791*2^1447398-1 is not prime. Res64: 22811337F7E31151 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:36:57] 797*2^1447398-1 is not prime. Res64: A1E01EB40B5AF45E Time : 0.0 sec. user=mdettweiler [2016-11-30 14:36:57] 921*2^1447398-1 is not prime. Res64: 66481B5D374CF598 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:38:33] 941*2^1447398-1 is not prime. Res64: 7EB9E40E459E068E Time : 0.0 sec. user=mdettweiler [2016-11-30 14:38:34] 945*2^1447398-1 is not prime. Res64: C52352BE1505B44A Time : 0.0 sec. user=mdettweiler [2016-11-30 14:38:34] 957*2^1447398-1 is not prime. Res64: 299A30AFA8E5643F Time : 0.0 sec. user=mdettweiler [2016-11-30 14:38:34] 993*2^1447398-1 is not prime. Res64: 17C64D37A500B760 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:38:35] 619*2^1447399-1 is not prime. Res64: 3E51A45DDC0863ED Time : 0.0 sec. user=mdettweiler [2016-11-30 14:41:33] 855*2^1447399-1 is not prime. Res64: 680D7C6BD66C0D39 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:41:33] 883*2^1447399-1 is not prime. Res64: 554B1DE9A809BA60 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:41:34] 659*2^1447400-1 is not prime. Res64: DD205A1FEBD9E40E Time : 0.0 sec. user=mdettweiler [2016-11-30 14:41:34] 665*2^1447400-1 is not prime. Res64: 9DE851596402B543 Time : 0.0 sec. user=mdettweiler [2016-11-30 14:41:34] 699*2^1447400-1 is not prime. Res64: B332A49A6E75979F Time : 0.0 sec. user=mdettweiler [2016-11-30 15:07:05] 777*2^1447400-1 is not prime. Res64: B919A742D52966A3 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:07:05] 923*2^1447400-1 is not prime. Res64: 4EBDEA1A07ED9E35 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:07:06] 945*2^1447400-1 is not prime. Res64: 91ECCB8E7B5EDF77 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:07:11] 963*2^1447400-1 is not prime. Res64: 1F73609AE7492CB8 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:07:12] 999*2^1447400-1 is not prime. Res64: BEEB4A227708AB23 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:21:38] 609*2^1447401-1 is not prime. Res64: D51026D3BEC6DEDA Time : 0.0 sec. user=mdettweiler [2016-11-30 15:21:39] 727*2^1447401-1 is not prime. Res64: B31EFD396EE0EA54 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:21:39] 735*2^1447401-1 is not prime. Res64: 0B8B15F05D172007 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:21:39] 741*2^1447401-1 is not prime. Res64: D70FA3FD9709DBF5 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:21:40] 955*2^1447401-1 is not prime. Res64: 2182753264CE622C Time : 0.0 sec. user=mdettweiler [2016-11-30 15:23:25] 999*2^1447401-1 is not prime. Res64: 882E23F3A7D3BE54 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:23:25] 611*2^1447402-1 is not prime. Res64: E30790677723B0AD Time : 0.0 sec. user=mdettweiler [2016-11-30 15:23:26] 777*2^1447402-1 is not prime. Res64: 75BD6107C7C3DDF8 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:23:26] 917*2^1447402-1 is not prime. Res64: 9FB0E6D4381FC81C Time : 0.0 sec. user=mdettweiler [2016-11-30 15:23:27] 923*2^1447402-1 is not prime. Res64: 25C33DAFF6530770 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:26:33] 663*2^1447403-1 is not prime. Res64: 25B619F38ABD7D36 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:26:33] 675*2^1447403-1 is not prime. Res64: B409C1078F439129 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:26:34] 781*2^1447403-1 is not prime. Res64: F35DABA5C9BA7CF3 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:26:34] 853*2^1447403-1 is not prime. Res64: E11AF854EB04AB39 Time : 0.0 sec. user=mdettweiler [2016-11-30 15:26:34] 871*2^1447403-1 is not prime. Res64: E1ABBD4E8D775DAF Time : 0.0 sec. user=mdettweiler [2016-11-30 16:06:34] 607*2^1447405-1 is not prime. Res64: 6016026EE07C834A Time : 0.0 sec. user=mdettweiler [2016-11-30 16:06:35] 625*2^1447405-1 is not prime. Res64: EF8D19C6EF0D9ADD Time : 0.0 sec. user=mdettweiler [2016-11-30 16:06:36] 999*2^1447405-1 is not prime. Res64: DBCEF89870F1F9EE Time : 0.0 sec. user=mdettweiler [2016-11-30 16:06:37] 711*2^1447406-1 is not prime. Res64: 8A79596EE90018E3 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:06:38] 813*2^1447406-1 is not prime. Res64: 6A0AD245575F3D70 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:08:35] 827*2^1447406-1 is not prime. Res64: 3072E6D1388BFF21 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:08:35] 911*2^1447406-1 is not prime. Res64: 6DF84038D400DB44 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:08:36] 923*2^1447406-1 is not prime. Res64: E623624F7F003C90 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:08:36] 941*2^1447406-1 is not prime. Res64: DB28BF9388ABCD0B Time : 0.0 sec. user=mdettweiler [2016-11-30 16:08:37] 983*2^1447406-1 is not prime. Res64: 63C772976B552406 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:11:42] 625*2^1447407-1 is not prime. Res64: 314447822A92ECAB Time : 0.0 sec. user=mdettweiler [2016-11-30 16:11:43] 643*2^1447407-1 is not prime. Res64: FE0E9A1FF2B8E559 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:11:43] 829*2^1447407-1 is not prime. Res64: CCC8E39603CBD9F3 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:11:43] 901*2^1447407-1 is not prime. Res64: 655AA5E13E0AD652 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:11:44] 963*2^1447407-1 is not prime. Res64: C3FC93007F9BE060 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:52:07] 603*2^1447408-1 is not prime. Res64: 1574D9DE3A411EC4 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:52:09] 615*2^1447408-1 is not prime. Res64: 5D2A4E09AED6E300 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:52:12] 677*2^1447408-1 is not prime. Res64: 711331B8BC36E745 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:52:13] 773*2^1447408-1 is not prime. Res64: A824E95CBC793907 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:52:13] 797*2^1447408-1 is not prime. Res64: C70A77340AE13451 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:54:11] 813*2^1447408-1 is not prime. Res64: 491E5978FA04FD2F Time : 0.0 sec. user=mdettweiler [2016-11-30 16:54:12] 957*2^1447408-1 is not prime. Res64: 38ADC9CF7139A544 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:54:12] 999*2^1447408-1 is not prime. Res64: A1753E3842722214 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:54:12] 685*2^1447409-1 is not prime. Res64: 909654EE1EF9287A Time : 0.0 sec. user=mdettweiler [2016-11-30 16:54:13] 741*2^1447409-1 is not prime. Res64: 6A1AFD8957121A93 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:57:19] 885*2^1447409-1 is not prime. Res64: C33476BFE7F801F0 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:57:19] 657*2^1447410-1 is not prime. Res64: BC3DC29E159B8904 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:57:19] 735*2^1447410-1 is not prime. Res64: 9CEBD8CAE1E4F7F6 Time : 0.0 sec. user=mdettweiler [2016-11-30 16:57:20] 773*2^1447410-1 is not prime. Res64: EC5064A9A29BDFAD Time : 0.0 sec. user=mdettweiler [2016-11-30 16:57:20] 917*2^1447410-1 is not prime. Res64: DD3CF644699CF849 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:37:35] 923*2^1447410-1 is not prime. Res64: E175817DEC207A74 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:37:35] 941*2^1447410-1 is not prime. Res64: A2C3829BFAC8D99F Time : 0.0 sec. user=mdettweiler [2016-11-30 17:37:35] 945*2^1447410-1 is not prime. Res64: 4B4FCB3CB7062F96 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:37:36] 631*2^1447411-1 is not prime. Res64: C3A48B3966B48C6C Time : 0.0 sec. user=mdettweiler [2016-11-30 17:37:36] 681*2^1447411-1 is not prime. Res64: 38CF5165BDA089FF Time : 0.0 sec. user=mdettweiler [2016-11-30 17:39:46] 723*2^1447411-1 is not prime. Res64: 9F4DD2192ADA46F0 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:39:47] 785*2^1447412-1 is not prime. Res64: 84A08D118175DA33 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:39:47] 855*2^1447412-1 is not prime. Res64: 9A521BAC64B27B2B Time : 0.0 sec. user=mdettweiler [2016-11-30 17:39:48] 897*2^1447412-1 is not prime. Res64: 8C4CDC2FBB48171C Time : 0.0 sec. user=mdettweiler [2016-11-30 17:39:48] 915*2^1447412-1 is not prime. Res64: 0DECEB0EAD3D7EFC Time : 0.0 sec. user=mdettweiler [2016-11-30 17:42:42] 929*2^1447412-1 is not prime. Res64: 4E2923AF9C4A42C6 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:42:42] 615*2^1447413-1 is not prime. Res64: 68951B159FF41396 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:42:43] 675*2^1447413-1 is not prime. Res64: 514D471FF3AD148D Time : 0.0 sec. user=mdettweiler [2016-11-30 17:42:43] 699*2^1447413-1 is not prime. Res64: FB300C5F3A9496F0 Time : 0.0 sec. user=mdettweiler [2016-11-30 17:42:44] 805*2^1447413-1 is not prime. Res64: 3E9A57594339AAC8 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:22:55] 835*2^1447413-1 is not prime. Res64: D2DFA45BB7F727E8 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:22:56] 895*2^1447413-1 is not prime. Res64: 4BEE4EEE8646291A Time : 0.0 sec. user=mdettweiler [2016-11-30 18:22:56] 999*2^1447413-1 is not prime. Res64: 152EBA8EAA6399A7 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:22:57] 623*2^1447414-1 is not prime. Res64: 119605E69713FBC6 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:22:57] 723*2^1447414-1 is not prime. Res64: E92E855CAA3C191D Time : 0.0 sec. user=mdettweiler [2016-11-30 18:25:14] 813*2^1447414-1 is not prime. Res64: AFC3BA822D51AAC1 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:25:14] 915*2^1447414-1 is not prime. Res64: 4122597E1C4109D6 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:25:15] 975*2^1447414-1 is not prime. Res64: E76553B51A3BE8D5 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:25:15] 693*2^1447415-1 is not prime. Res64: 0A71B80F21C3FF79 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:25:16] 843*2^1447415-1 is not prime. Res64: 87B24F10257D3B98 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:28:08] 979*2^1447415-1 is not prime. Res64: 1640D586989ECF3C Time : 0.0 sec. user=mdettweiler [2016-11-30 18:28:08] 629*2^1447416-1 is not prime. Res64: 44F3044B4793F641 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:28:09] 615*2^1447417-1 is not prime. Res64: FD70B22AFB88532D Time : 0.0 sec. user=mdettweiler [2016-11-30 18:28:09] 619*2^1447417-1 is not prime. Res64: 5050F192797424E3 Time : 0.0 sec. user=mdettweiler [2016-11-30 18:28:10] 639*2^1447417-1 is not prime. Res64: D28D814EE88B0289 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:08:14] 691*2^1447417-1 is not prime. Res64: 29B9B6C70D659996 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:08:15] 729*2^1447417-1 is not prime. Res64: 8BE8C35EF28FE5EA Time : 0.0 sec. user=mdettweiler [2016-11-30 19:08:15] 765*2^1447417-1 is not prime. Res64: A6591993ADD420D0 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:08:16] 775*2^1447417-1 is not prime. Res64: D72721B5DFD03E95 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:08:16] 967*2^1447417-1 is not prime. Res64: 4EBD8592A9AA40E7 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:10:50] 617*2^1447418-1 is not prime. Res64: 2B6E757C66EF46CB Time : 0.0 sec. user=mdettweiler [2016-11-30 19:10:50] 623*2^1447418-1 is not prime. Res64: E47A0C791684F56F Time : 0.0 sec. user=mdettweiler [2016-11-30 19:10:51] 755*2^1447418-1 is not prime. Res64: B18F4D4F5E5B3792 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:10:51] 857*2^1447418-1 is not prime. Res64: C9FB38485EA96921 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:10:52] 875*2^1447418-1 is not prime. Res64: 0F8B802E2E6B3055 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:13:38] 911*2^1447418-1 is not prime. Res64: D91443D2D5BE6F00 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:13:38] 625*2^1447419-1 is not prime. Res64: 632600E11ED81EDB Time : 0.0 sec. user=mdettweiler [2016-11-30 19:13:39] 775*2^1447419-1 is not prime. Res64: 131F324F4EBC5734 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:13:39] 861*2^1447419-1 is not prime. Res64: 5191C0FE50B2B909 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:13:40] 891*2^1447419-1 is not prime. Res64: 5DD34634DCCDC7A5 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:58:20] 895*2^1447419-1 is not prime. Res64: 6620041B53AF181F Time : 0.0 sec. user=mdettweiler [2016-11-30 19:58:20] 623*2^1447420-1 is not prime. Res64: D240037B1C5D4814 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:58:21] 695*2^1447420-1 is not prime. Res64: E1C2A258943C4915 Time : 0.0 sec. user=mdettweiler [2016-11-30 19:58:21] 735*2^1447420-1 is not prime. Res64: 8FA54B1396A3906F Time : 0.0 sec. user=mdettweiler [2016-11-30 19:58:21] 827*2^1447420-1 is not prime. Res64: 4495DAD0982F91B9 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:02:36] 989*2^1447420-1 is not prime. Res64: 749003A088940B90 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:02:38] 615*2^1447421-1 is not prime. Res64: 9D3680FD4EBACEAA Time : 0.0 sec. user=mdettweiler [2016-11-30 20:02:39] 711*2^1447421-1 is not prime. Res64: D4E9196D2AFBBDC4 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:02:40] 745*2^1447421-1 is not prime. Res64: F07026DB9CFF79AD Time : 0.0 sec. user=mdettweiler [2016-11-30 20:02:40] 829*2^1447421-1 is not prime. Res64: 83ACC0E6316DA8C4 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:07:43] 955*2^1447421-1 is not prime. Res64: 21D2BDE67320602D Time : 0.0 sec. user=mdettweiler [2016-11-30 20:07:44] 761*2^1447422-1 is not prime. Res64: 88C924C7AA179B64 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:07:44] 843*2^1447422-1 is not prime. Res64: 4D52EA8231F67EB9 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:07:44] 891*2^1447422-1 is not prime. Res64: BEDAA5BD695231B3 Time : 0.0 sec. user=mdettweiler [2016-11-30 20:07:44] 1001*2^1447422-1 is not prime. Res64: 19358B0ACFF9B536 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:07:33] 615*2^1447423-1 is not prime. Res64: FE397E42C1A297D9 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:07:34] 633*2^1447423-1 is not prime. Res64: 178586DB7CDED2BA Time : 0.0 sec. user=mdettweiler [2016-11-30 21:07:34] 693*2^1447423-1 is not prime. Res64: F3D649E095EFB543 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:07:34] 723*2^1447423-1 is not prime. Res64: 562F3D3B450E22CF Time : 0.0 sec. user=mdettweiler [2016-11-30 21:07:34] 789*2^1447423-1 is not prime. Res64: CB30DBD7A2D7BF17 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:11:16] 855*2^1447423-1 is not prime. Res64: 717DAC737F4262DF Time : 0.0 sec. user=mdettweiler [2016-11-30 21:11:17] 891*2^1447423-1 is not prime. Res64: 48B133037D16DE98 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:11:17] 913*2^1447423-1 is not prime. Res64: 00599DFC77BD6D4A Time : 0.0 sec. user=mdettweiler [2016-11-30 21:11:17] 915*2^1447423-1 is not prime. Res64: ADA240C2223FC853 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:11:18] 951*2^1447423-1 is not prime. Res64: 7C890943E6E042B1 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:15:45] 969*2^1447423-1 is not prime. Res64: 8F081890B8D0EE31 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:15:45] 617*2^1447424-1 is not prime. Res64: 3F4B81D67C3159B0 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:15:45] 717*2^1447424-1 is not prime. Res64: DC56CB92CDFEFBF1 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:15:46] 627*2^1447425-1 is not prime. Res64: 6D7A7BF3761A3FC1 Time : 0.0 sec. user=mdettweiler [2016-11-30 21:15:46] 649*2^1447425-1 is not prime. Res64: 2BBE9C9DAFA536B0 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:08:21] 819*2^1447425-1 is not prime. Res64: 74BD2CFBE1EE75F7 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:08:24] 847*2^1447425-1 is not prime. Res64: E7049F1F94048376 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:08:26] 891*2^1447425-1 is not prime. Res64: D4C5042BA1FD9004 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:08:28] 921*2^1447425-1 is not prime. Res64: B437D48748DDBD28 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:08:30] 645*2^1447426-1 is not prime. Res64: 00208731B2335500 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:10:40] 647*2^1447426-1 is not prime. Res64: B1B3CFBEFC251B84 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:10:40] 867*2^1447426-1 is not prime. Res64: 2C095A3F3A808ED6 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:10:40] 923*2^1447426-1 is not prime. Res64: 26C54A4E7AE0C891 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:10:41] 945*2^1447426-1 is not prime. Res64: 45FC8DFAF52F90E6 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:10:41] 643*2^1447427-1 is not prime. Res64: D5BC26A6836DB449 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:13:10] 703*2^1447427-1 is not prime. Res64: DE9345FD53FFFAF6 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:13:10] 733*2^1447427-1 is not prime. Res64: B1EA071C50FE7536 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:13:10] 735*2^1447427-1 is not prime. Res64: 3126B9E08F0067D8 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:13:11] 753*2^1447427-1 is not prime. Res64: F2B9145C8F12E9CB Time : 0.0 sec. user=mdettweiler [2016-11-30 22:13:11] 813*2^1447427-1 is not prime. Res64: 3C3959A31FA09AF5 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:58:21] 819*2^1447427-1 is not prime. Res64: FBD635C487F5EB7A Time : 0.0 sec. user=mdettweiler [2016-11-30 22:58:21] 829*2^1447427-1 is not prime. Res64: EF952E03FC441700 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:58:21] 901*2^1447427-1 is not prime. Res64: 40211696EB99BAA5 Time : 0.0 sec. user=mdettweiler [2016-11-30 22:58:22] 979*2^1447427-1 is not prime. Res64: 29AB9F263AA6D19B Time : 0.0 sec. user=mdettweiler [2016-11-30 22:58:22] 605*2^1447428-1 is not prime. Res64: 68A97EF0687719EC Time : 0.0 sec. user=mdettweiler [2016-11-30 23:00:31] 803*2^1447428-1 is not prime. Res64: A01A7366061B9719 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:00:32] 809*2^1447428-1 is not prime. Res64: 97E8C8A3A683280D Time : 0.0 sec. user=mdettweiler [2016-11-30 23:00:33] 839*2^1447428-1 is not prime. Res64: 9F46EC6F440D10A0 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:00:34] 879*2^1447428-1 is not prime. Res64: 36B10856CD397782 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:00:34] 893*2^1447428-1 is not prime. Res64: 32FCBC9608EA1DF4 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:03:27] 927*2^1447428-1 is not prime. Res64: 37778045173A2846 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:03:28] 959*2^1447428-1 is not prime. Res64: D5540816E318AEC1 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:03:29] 691*2^1447429-1 is not prime. Res64: EDEE5981C8D7C755 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:03:30] 759*2^1447429-1 is not prime. Res64: 68A6D06A90792556 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:03:31] 789*2^1447429-1 is not prime. Res64: 38F46F415E16F63F Time : 0.0 sec. user=mdettweiler [2016-11-30 23:37:58] 963*2^1447403-1 is not prime. Res64: 32865E02C9EC514A Time : 0.0 sec. user=mdettweiler [2016-11-30 23:37:59] 725*2^1447404-1 is not prime. Res64: 32F05B1BACCC4031 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:37:59] 773*2^1447404-1 is not prime. Res64: 62FBC5B7F4DC993B Time : 0.0 sec. user=mdettweiler [2016-11-30 23:37:59] 843*2^1447404-1 is not prime. Res64: 6D7AFE7097AEEF4A Time : 0.0 sec. user=mdettweiler [2016-11-30 23:38:00] 863*2^1447404-1 is not prime. Res64: 2A57A89A823D3BAB Time : 0.0 sec. user=mdettweiler [2016-11-30 23:46:53] 817*2^1447429-1 is not prime. Res64: 184DB3E2D2349AD8 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:46:54] 939*2^1447429-1 is not prime. Res64: 18CFEF2E64372D0E Time : 0.0 sec. user=mdettweiler [2016-11-30 23:46:56] 975*2^1447429-1 is not prime. Res64: 8D910C89A1E8FDC7 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:46:58] 985*2^1447429-1 is not prime. Res64: 4C9AF6EB069D5724 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:46:59] 743*2^1447430-1 is not prime. Res64: 51DD76C770B21808 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:49:01] 773*2^1447430-1 is not prime. Res64: 7887377E4C2CA097 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:49:01] 797*2^1447430-1 is not prime. Res64: 55D8C894BA561B85 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:49:02] 825*2^1447430-1 is not prime. Res64: BF456B16CEF95815 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:49:02] 827*2^1447430-1 is not prime. Res64: 43C6B0782571D16C Time : 0.0 sec. user=mdettweiler [2016-11-30 23:49:02] 911*2^1447430-1 is not prime. Res64: C7E54FA462FCC166 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:51:30] 923*2^1447430-1 is not prime. Res64: B5BE75373E0BC08E Time : 0.0 sec. user=mdettweiler [2016-11-30 23:51:30] 971*2^1447430-1 is not prime. Res64: C89AC2FBB7E286B1 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:51:31] 703*2^1447431-1 is not prime. Res64: 38F85E3F692A57F5 Time : 0.0 sec. user=mdettweiler [2016-11-30 23:51:31] 909*2^1447431-1 is not prime. Res64: 370F196FBB058DEE Time : 0.0 sec. user=mdettweiler [2016-11-30 23:51:31] 945*2^1447431-1 is not prime. Res64: D5CC8C2149092C8D Time : 0.0 sec.