user=mdettweiler [2016-07-25 01:46:28] 775*2^1435909-1 is not prime. Res64: 85D3C060F8DAF31E Time : 0.0 sec. user=mdettweiler [2016-07-25 01:46:28] 799*2^1435909-1 is not prime. Res64: 1FA1E526C298BACD Time : 0.0 sec. user=mdettweiler [2016-07-25 01:46:29] 817*2^1435909-1 is not prime. Res64: DD843ECA20BD4905 Time : 0.0 sec. user=mdettweiler [2016-07-25 01:46:29] 999*2^1435909-1 is not prime. Res64: 0DE30C239558DBC7 Time : 0.0 sec. user=mdettweiler [2016-07-25 02:30:31] 627*2^1435910-1 is not prime. Res64: 8EFEB0BA655F28F8 Time : 0.0 sec. user=mdettweiler [2016-07-25 02:30:32] 641*2^1435910-1 is not prime. Res64: BB3399AE3148A96E Time : 0.0 sec. user=mdettweiler [2016-07-25 02:30:33] 843*2^1435910-1 is not prime. Res64: ED6CB3B02DF2A5C5 Time : 0.0 sec. user=mdettweiler [2016-07-25 02:30:37] 957*2^1435910-1 is not prime. Res64: E7708F1AAEAAF087 Time : 0.0 sec. user=mdettweiler [2016-07-25 02:30:41] 601*2^1435911-1 is not prime. Res64: 6453193911B76728 Time : 0.0 sec. user=mdettweiler [2016-07-25 03:14:45] 613*2^1435911-1 is not prime. Res64: CCE521A98CF3AE31 Time : 0.0 sec. user=mdettweiler [2016-07-25 03:14:45] 651*2^1435911-1 is not prime. Res64: 565E7EDDB785322E Time : 0.0 sec. user=mdettweiler [2016-07-25 03:14:46] 661*2^1435911-1 is not prime. Res64: 9EB4BEE7FA6B3FD6 Time : 0.0 sec. user=mdettweiler [2016-07-25 03:14:46] 781*2^1435911-1 is not prime. Res64: BB553EFE7830A4EE Time : 0.0 sec. user=mdettweiler [2016-07-25 03:14:46] 931*2^1435911-1 is not prime. Res64: D4CB9F3A8C9ED4D1 Time : 0.0 sec. user=juhehe [2016-07-25 03:42:10] 961*2^1435911-1 is not prime. Res64: 39CE25B83049E6D0 Time : 0.0 sec. user=mdettweiler [2016-07-25 03:58:47] 609*2^1435912-1 is not prime. Res64: A9DDF147B68ED1EE Time : 0.0 sec. user=mdettweiler [2016-07-25 03:58:51] 677*2^1435912-1 is not prime. Res64: 3269BCADA499BACE Time : 0.0 sec. user=mdettweiler [2016-07-25 03:58:53] 689*2^1435912-1 is not prime. Res64: 75FF6A4ED984B0CF Time : 0.0 sec. user=mdettweiler [2016-07-25 03:58:54] 719*2^1435912-1 is not prime. Res64: 3DB749A703018060 Time : 0.0 sec. user=mdettweiler [2016-07-25 03:58:56] 765*2^1435912-1 is not prime. Res64: A0F1D91437B80273 Time : 0.0 sec. user=mdettweiler [2016-07-25 04:43:08] 813*2^1435912-1 is not prime. Res64: A1BF84B140CE3938 Time : 0.0 sec. user=mdettweiler [2016-07-25 04:43:09] 827*2^1435912-1 is not prime. Res64: 321E621F590E3B3C Time : 0.0 sec. user=mdettweiler [2016-07-25 04:43:09] 903*2^1435912-1 is not prime. Res64: 8900C1E5E4A3805D Time : 0.0 sec. user=mdettweiler [2016-07-25 04:43:10] 975*2^1435912-1 is not prime. Res64: 5FEA8B382ED7C212 Time : 0.0 sec. user=mdettweiler [2016-07-25 04:43:10] 855*2^1435913-1 is not prime. Res64: A96F6DE1EF98DB5E Time : 0.0 sec. user=mdettweiler [2016-07-25 05:27:07] 925*2^1435913-1 is not prime. Res64: B365BD7CA495AB37 Time : 0.0 sec. user=mdettweiler [2016-07-25 05:27:08] 981*2^1435913-1 is not prime. Res64: F8F17E0A46C89D8F Time : 0.0 sec. user=mdettweiler [2016-07-25 05:27:08] 747*2^1435914-1 is not prime. Res64: 59D9161261203750 Time : 0.0 sec. user=mdettweiler [2016-07-25 05:27:08] 765*2^1435914-1 is not prime. Res64: D009CF42A56FDE0F Time : 0.0 sec. user=mdettweiler [2016-07-25 05:27:09] 861*2^1435914-1 is not prime. Res64: BA594937803C09D8 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:11:08] 885*2^1435914-1 is not prime. Res64: FF7240DAF8B7F63C Time : 0.0 sec. user=mdettweiler [2016-07-25 06:11:08] 663*2^1435915-1 is not prime. Res64: A7D7F76A349FBEA8 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:11:09] 819*2^1435915-1 is not prime. Res64: 3DC255E1733E4665 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:11:09] 829*2^1435915-1 is not prime. Res64: 839ADA209981A3E1 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:11:10] 861*2^1435915-1 is not prime. Res64: D1267F67B88E4404 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:55:07] 603*2^1435916-1 is not prime. Res64: EFED2E50CBBB7A38 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:55:09] 623*2^1435916-1 is not prime. Res64: 47962E5DEB7A2D9F Time : 0.0 sec. user=mdettweiler [2016-07-25 06:55:10] 677*2^1435916-1 is not prime. Res64: 76E968689A7CA887 Time : 0.0 sec. user=mdettweiler [2016-07-25 06:55:10] 609*2^1435917-1 is not prime. Res64: 9E3BE136DC98C21F Time : 0.0 sec. user=mdettweiler [2016-07-25 06:55:11] 649*2^1435917-1 is not prime. Res64: 735CF2AC4AFF4652 Time : 0.0 sec. user=mdettweiler [2016-07-25 07:39:08] 735*2^1435917-1 is not prime. Res64: AB2294068D950B28 Time : 0.0 sec. user=mdettweiler [2016-07-25 07:39:08] 747*2^1435917-1 is not prime. Res64: 6A6E96E6F46EEADD Time : 0.0 sec. user=mdettweiler [2016-07-25 07:39:09] 955*2^1435917-1 is not prime. Res64: F26DF5B43A131423 Time : 0.0 sec. user=mdettweiler [2016-07-25 07:39:09] 657*2^1435918-1 is not prime. Res64: 7A4962DD29954BEA Time : 0.0 sec. user=mdettweiler [2016-07-25 07:39:09] 681*2^1435918-1 is not prime. Res64: 1CA4899988165758 Time : 0.0 sec. user=mdettweiler [2016-07-25 08:23:10] 887*2^1435918-1 is not prime. Res64: 628CEDEA433790FC Time : 0.0 sec. user=mdettweiler [2016-07-25 08:23:11] 897*2^1435918-1 is not prime. Res64: FAEEED7046C00823 Time : 0.0 sec. user=mdettweiler [2016-07-25 08:23:11] 987*2^1435918-1 is not prime. Res64: 48537036739B3206 Time : 0.0 sec. user=mdettweiler [2016-07-25 08:23:13] 601*2^1435919-1 is not prime. Res64: 63C23601CEAE8817 Time : 0.0 sec. user=mdettweiler [2016-07-25 08:23:14] 609*2^1435919-1 is not prime. Res64: EFE6F51E9CA4AA33 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:07:13] 661*2^1435919-1 is not prime. Res64: 6BB4C9EB6C5ED696 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:07:13] 663*2^1435919-1 is not prime. Res64: 01E480D7F3EFB863 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:07:14] 753*2^1435919-1 is not prime. Res64: 64665DC664480011 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:07:14] 789*2^1435919-1 is not prime. Res64: BFF07D0D63C46936 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:07:14] 913*2^1435919-1 is not prime. Res64: DCD75B64FA17C7CC Time : 0.0 sec. user=mdettweiler [2016-07-25 09:51:10] 999*2^1435919-1 is not prime. Res64: 8D1644561AED3FB4 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:51:11] 713*2^1435920-1 is not prime. Res64: 65B9F4CD76B6FA73 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:51:11] 725*2^1435920-1 is not prime. Res64: C119D3302087ED24 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:51:12] 737*2^1435920-1 is not prime. Res64: 8464BE08022BEC46 Time : 0.0 sec. user=mdettweiler [2016-07-25 09:51:12] 843*2^1435920-1 is not prime. Res64: 1BDBC018599E416C Time : 0.0 sec. user=mdettweiler [2016-07-25 10:35:08] 927*2^1435920-1 is not prime. Res64: CA13414B10880747 Time : 0.0 sec. user=mdettweiler [2016-07-25 10:35:09] 705*2^1435921-1 is not prime. Res64: B33BA6365F3DEC5C Time : 0.0 sec. user=mdettweiler [2016-07-25 10:35:09] 789*2^1435921-1 is not prime. Res64: 5CC54174ADD17800 Time : 0.0 sec. user=mdettweiler [2016-07-25 10:35:10] 829*2^1435921-1 is not prime. Res64: E9F5FA673BD8F439 Time : 0.0 sec. user=mdettweiler [2016-07-25 10:35:10] 909*2^1435921-1 is not prime. Res64: 8963CCA33970B85B Time : 0.0 sec. user=mdettweiler [2016-07-25 11:19:10] 987*2^1435921-1 is not prime. Res64: 2144C6CF00F662F6 Time : 0.0 sec. user=mdettweiler [2016-07-25 11:19:12] 645*2^1435922-1 is not prime. Res64: 4340E005CC4F6093 Time : 0.0 sec. user=mdettweiler [2016-07-25 11:19:13] 651*2^1435922-1 is not prime. Res64: 8C46ED280A85B674 Time : 0.0 sec. user=mdettweiler [2016-07-25 11:19:13] 683*2^1435922-1 is not prime. Res64: 321FFC6541715B7B Time : 0.0 sec. user=mdettweiler [2016-07-25 11:19:14] 711*2^1435922-1 is not prime. Res64: 2BB9A912B276A070 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:03:14] 813*2^1435922-1 is not prime. Res64: ECCB680DA7BD32FC Time : 0.0 sec. user=mdettweiler [2016-07-25 12:03:16] 833*2^1435922-1 is not prime. Res64: 577376FB97D49B19 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:03:17] 837*2^1435922-1 is not prime. Res64: 325CBD6698B76D32 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:03:20] 843*2^1435922-1 is not prime. Res64: 1F2785CFE7A9414C Time : 0.0 sec. user=mdettweiler [2016-07-25 12:03:21] 867*2^1435922-1 is not prime. Res64: B5BC4953E495EC80 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:47:20] 917*2^1435922-1 is not prime. Res64: 33F4C97291A50A0D Time : 0.0 sec. user=mdettweiler [2016-07-25 12:47:21] 945*2^1435922-1 is not prime. Res64: 735987E9CE90679E Time : 0.0 sec. user=mdettweiler [2016-07-25 12:47:21] 977*2^1435922-1 is not prime. Res64: EDD465B3C1A99AC3 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:47:22] 1001*2^1435922-1 is not prime. Res64: FB342DD2BBC8CA44 Time : 0.0 sec. user=mdettweiler [2016-07-25 12:47:22] 609*2^1435923-1 is not prime. Res64: 805744BDAD9EA3E4 Time : 0.0 sec. user=mdettweiler [2016-07-25 13:31:21] 613*2^1435923-1 is not prime. Res64: 85467D4A6783CC07 Time : 0.0 sec. user=mdettweiler [2016-07-25 13:31:21] 643*2^1435923-1 is not prime. Res64: A2B8CFC697AE0DFD Time : 0.0 sec. user=mdettweiler [2016-07-25 13:31:22] 649*2^1435923-1 is not prime. Res64: 343BA41ACCF2618A Time : 0.0 sec. user=mdettweiler [2016-07-25 13:31:22] 675*2^1435923-1 is not prime. Res64: 585BB29BF5F7CA0D Time : 0.0 sec. user=mdettweiler [2016-07-25 13:31:22] 699*2^1435923-1 is not prime. Res64: 0CEC9F3DEC7EF11C Time : 0.0 sec. user=mdettweiler [2016-07-25 14:15:18] 703*2^1435923-1 is not prime. Res64: 282DF291A456574D Time : 0.0 sec. user=mdettweiler [2016-07-25 14:15:19] 751*2^1435923-1 is not prime. Res64: 75B638F4D56F37BA Time : 0.0 sec. user=mdettweiler [2016-07-25 14:15:19] 871*2^1435923-1 is not prime. Res64: 863046F261C04E78 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:15:19] 879*2^1435923-1 is not prime. Res64: F34B45353E25A0B3 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:15:20] 951*2^1435923-1 is not prime. Res64: 54C3A3F9FF074BB6 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:59:24] 955*2^1435923-1 is not prime. Res64: 08A6FC40947FAC29 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:59:25] 783*2^1435924-1 is not prime. Res64: DFD403670A7E4259 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:59:25] 803*2^1435924-1 is not prime. Res64: B62C81B5BC77CB41 Time : 0.0 sec. user=mdettweiler [2016-07-25 14:59:26] 939*2^1435924-1 is not prime. Res64: 9D1174289A43793D Time : 0.0 sec. user=mdettweiler [2016-07-25 14:59:26] 995*2^1435924-1 is not prime. Res64: 06F1642D31A8F96D Time : 0.0 sec. user=mdettweiler [2016-07-25 15:43:19] 627*2^1435925-1 is not prime. Res64: 5FEE4268463A2971 Time : 0.0 sec. user=mdettweiler [2016-07-25 15:43:19] 649*2^1435925-1 is not prime. Res64: F566DBF2342A178D Time : 0.0 sec. user=mdettweiler [2016-07-25 15:43:20] 801*2^1435925-1 is not prime. Res64: B7748F1C3C7FF49E Time : 0.0 sec. user=mdettweiler [2016-07-25 15:43:20] 871*2^1435925-1 is not prime. Res64: 7F4FF553D1C8F610 Time : 0.0 sec. user=mdettweiler [2016-07-25 15:43:21] 937*2^1435925-1 is not prime. Res64: 04309B2F5C909A5D Time : 0.0 sec. user=mdettweiler [2016-07-25 16:27:32] 991*2^1435925-1 is not prime. Res64: F079CFE239E7A477 Time : 0.0 sec. user=mdettweiler [2016-07-25 16:27:33] 635*2^1435926-1 is not prime. Res64: 85F79FE5BAC0CBB0 Time : 0.0 sec. user=mdettweiler [2016-07-25 16:27:34] 647*2^1435926-1 is not prime. Res64: EF35181ECB82CA96 Time : 0.0 sec. user=mdettweiler [2016-07-25 16:27:34] 725*2^1435926-1 is not prime. Res64: 942753F173D1E243 Time : 0.0 sec. user=mdettweiler [2016-07-25 16:27:35] 833*2^1435926-1 is not prime. Res64: F9A68CD057FB71C0 Time : 0.0 sec. user=juhehe [2016-07-25 16:37:20] 873*2^1435926-1 is not prime. Res64: 50DDA6D94AFB0BCB Time : 0.0 sec. user=mdettweiler [2016-07-25 17:11:47] 903*2^1435926-1 is not prime. Res64: 9600AEA7D2F9D072 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:11:48] 975*2^1435926-1 is not prime. Res64: DA4B50A2512FCA99 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:11:49] 1001*2^1435926-1 is not prime. Res64: E060DEC579DBA364 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:11:50] 639*2^1435927-1 is not prime. Res64: 1F4B953FB3023DCE Time : 0.0 sec. user=mdettweiler [2016-07-25 17:11:51] 703*2^1435927-1 is not prime. Res64: A34816A837F5F318 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:55:53] 729*2^1435927-1 is not prime. Res64: B4CB44DCC8E7CD58 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:55:53] 895*2^1435927-1 is not prime. Res64: 066D454B7C0500B0 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:55:54] 909*2^1435927-1 is not prime. Res64: 05F73E1BB67BDF80 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:55:54] 913*2^1435927-1 is not prime. Res64: C1BB3C11471E8311 Time : 0.0 sec. user=mdettweiler [2016-07-25 17:55:55] 915*2^1435927-1 is not prime. Res64: A099EA2F046E0767 Time : 0.0 sec. user=mdettweiler [2016-07-25 18:39:56] 961*2^1435927-1 is not prime. Res64: 85321CB80AC33DCC Time : 0.0 sec. user=mdettweiler [2016-07-25 18:39:56] 617*2^1435928-1 is not prime. Res64: 2D17D49A61C9EF06 Time : 0.0 sec. user=mdettweiler [2016-07-25 18:39:56] 689*2^1435928-1 is not prime. Res64: 26F92788C85F5D20 Time : 0.0 sec. user=mdettweiler [2016-07-25 18:39:57] 725*2^1435928-1 is not prime. Res64: 704475DCEEEF6F96 Time : 0.0 sec. user=mdettweiler [2016-07-25 18:39:57] 839*2^1435928-1 is not prime. Res64: 9AC721A43587B4A8 Time : 0.0 sec. user=mdettweiler [2016-07-25 19:24:11] 999*2^1435928-1 is not prime. Res64: 19124E11841AFC89 Time : 0.0 sec. user=mdettweiler [2016-07-25 19:24:11] 667*2^1435929-1 is not prime. Res64: 4B14C99CD0130347 Time : 0.0 sec. user=mdettweiler [2016-07-25 19:24:11] 759*2^1435929-1 is not prime. Res64: 321CB4B2BF083DA0 Time : 0.0 sec. user=mdettweiler [2016-07-25 19:24:12] 781*2^1435929-1 is not prime. Res64: 9203FDBAA26737D6 Time : 0.0 sec. user=mdettweiler [2016-07-25 19:24:12] 877*2^1435929-1 is not prime. Res64: BF077F5E08DC59C6 Time : 0.0 sec. user=mdettweiler [2016-07-25 20:08:11] 907*2^1435929-1 is not prime. Res64: 4D8EF3CDDFAA2248 Time : 0.0 sec. user=mdettweiler [2016-07-25 20:08:11] 999*2^1435929-1 is not prime. Res64: 5E37B93C41BD0C57 Time : 0.0 sec. user=mdettweiler [2016-07-25 20:08:12] 645*2^1435930-1 is not prime. Res64: 63A711DF990B926B Time : 0.0 sec. user=mdettweiler [2016-07-25 20:08:12] 687*2^1435930-1 is not prime. Res64: 455F649A8CB14706 Time : 0.0 sec. user=mdettweiler [2016-07-25 20:08:12] 723*2^1435930-1 is not prime. Res64: 2BE066436B853FCA Time : 0.0 sec. user=mdettweiler [2016-07-25 20:52:08] 777*2^1435930-1 is not prime. Res64: F3A7E6AC5A8FAF62 Time : 0.0 sec. user=mdettweiler [2016-07-25 20:52:08] 833*2^1435930-1 is not prime. Res64: C73DA7FD18B2347F Time : 0.0 sec. user=mdettweiler [2016-07-25 20:52:09] 619*2^1435931-1 is not prime. Res64: C27C5AA08E2FA8FB Time : 0.0 sec. user=mdettweiler [2016-07-25 20:52:09] 675*2^1435931-1 is not prime. Res64: A402564270D9EF9B Time : 0.0 sec. user=mdettweiler [2016-07-25 20:52:09] 733*2^1435931-1 is not prime. Res64: FC62F89EF5E4F091 Time : 0.0 sec. user=mdettweiler [2016-07-25 21:36:09] 783*2^1435931-1 is not prime. Res64: 59DD8AED49447A24 Time : 0.0 sec. user=mdettweiler [2016-07-25 21:36:10] 823*2^1435931-1 is not prime. Res64: 0657A604CAB31F7A Time : 0.0 sec. user=mdettweiler [2016-07-25 21:36:10] 979*2^1435931-1 is not prime. Res64: 43E2FDEADDE0A527 Time : 0.0 sec. user=mdettweiler [2016-07-25 21:36:10] 605*2^1435932-1 is not prime. Res64: AFEB8758505AC79C Time : 0.0 sec. user=mdettweiler [2016-07-25 21:36:10] 669*2^1435932-1 is not prime. Res64: D44E5074B845DF3D Time : 0.0 sec. user=mdettweiler [2016-07-25 22:20:24] 753*2^1435932-1 is not prime. Res64: 2A47B2C182F8A12C Time : 0.0 sec. user=mdettweiler [2016-07-25 22:20:24] 863*2^1435932-1 is not prime. Res64: 499ECFA076393BA0 Time : 0.0 sec. user=mdettweiler [2016-07-25 22:20:25] 929*2^1435932-1 is not prime. Res64: 07B6C2A565AAADE4 Time : 0.0 sec. user=mdettweiler [2016-07-25 22:20:25] 957*2^1435932-1 is not prime. Res64: BB5DEE6C76F1DAF6 Time : 0.0 sec. user=mdettweiler [2016-07-25 22:20:26] 975*2^1435932-1 is not prime. Res64: C777C8F833021516 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:05:12] 987*2^1435932-1 is not prime. Res64: 4C00AF47DE15BCAE Time : 0.0 sec. user=mdettweiler [2016-07-25 23:05:15] 625*2^1435933-1 is not prime. Res64: 415CB6729052E2B0 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:05:17] 679*2^1435933-1 is not prime. Res64: 0375086DDD1D2945 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:05:21] 741*2^1435933-1 is not prime. Res64: A29AD12787A29C0E Time : 0.0 sec. user=mdettweiler [2016-07-25 23:05:23] 951*2^1435933-1 is not prime. Res64: E1B1628F80DE1C87 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:49:51] 671*2^1435934-1 is not prime. Res64: 85DFCE0CF75846F1 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:49:51] 831*2^1435934-1 is not prime. Res64: F93FBF390DFDDB28 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:49:51] 851*2^1435934-1 is not prime. Res64: A925134A5F98FBA9 Time : 0.0 sec. user=mdettweiler [2016-07-25 23:49:51] 861*2^1435934-1 is not prime. Res64: 1A7B7A459D83177D Time : 0.0 sec. user=mdettweiler [2016-07-25 23:49:52] 887*2^1435934-1 is not prime. Res64: 43C67354550C9140 Time : 0.0 sec.