user=mdettweiler [2018-11-15 00:10:00] 721*2^1531333-1 is not prime. Res64: 76BC7CF64FD66D1B Time : 0.0 sec. user=mdettweiler [2018-11-15 00:10:01] 859*2^1531333-1 is not prime. Res64: BDD623880565B1AD Time : 0.0 sec. user=mdettweiler [2018-11-15 00:10:01] 885*2^1531333-1 is not prime. Res64: 1716275F01AA645C Time : 0.0 sec. user=mdettweiler [2018-11-15 00:10:02] 945*2^1531333-1 is not prime. Res64: 448DD8D37527E40F Time : 0.0 sec. user=mdettweiler [2018-11-15 00:10:02] 671*2^1531334-1 is not prime. Res64: DC43105CF7E657FA Time : 0.0 sec. user=mdettweiler [2018-11-15 00:17:36] 711*2^1531334-1 is not prime. Res64: 6B1293DB64036D00 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:17:37] 885*2^1531334-1 is not prime. Res64: C9AA3890CF19428A Time : 0.0 sec. user=mdettweiler [2018-11-15 00:17:37] 679*2^1531335-1 is not prime. Res64: A641B27891996D9E Time : 0.0 sec. user=mdettweiler [2018-11-15 00:17:38] 735*2^1531335-1 is not prime. Res64: D70EFC0E62E3A27A Time : 0.0 sec. user=mdettweiler [2018-11-15 00:17:39] 741*2^1531335-1 is not prime. Res64: D4E5FC2B4B294CF0 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:31:17] 751*2^1531335-1 is not prime. Res64: F70BF8DEE6DEFD13 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:31:17] 793*2^1531335-1 is not prime. Res64: E40BA9A9F6B9BBB2 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:31:18] 795*2^1531335-1 is not prime. Res64: 87C101548A0CA466 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:31:18] 629*2^1531336-1 is not prime. Res64: D57B177D7AFA43BA Time : 0.0 sec. user=mdettweiler [2018-11-15 00:31:19] 695*2^1531336-1 is not prime. Res64: F2962F2DDDC07B90 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:41:46] 723*2^1531336-1 is not prime. Res64: 256ACF9842766DD4 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:41:47] 755*2^1531336-1 is not prime. Res64: DA1B664A6C284B9C Time : 0.0 sec. user=mdettweiler [2018-11-15 00:41:48] 833*2^1531336-1 is not prime. Res64: CD430B2DB51866F3 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:41:48] 849*2^1531336-1 is not prime. Res64: BEC50FE2BD174E74 Time : 0.0 sec. user=mdettweiler [2018-11-15 00:41:49] 873*2^1531336-1 is not prime. Res64: BE403F0D92EF70ED Time : 0.0 sec. user=mdettweiler [2018-11-15 01:01:39] 875*2^1531336-1 is not prime. Res64: 8AF6C1B991041B52 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:01:41] 905*2^1531336-1 is not prime. Res64: D5465A40D4F5A2D4 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:01:44] 957*2^1531337-1 is not prime. Res64: D3B2396CC94CE53B Time : 0.0 sec. user=mdettweiler [2018-11-15 01:01:45] 611*2^1531338-1 is not prime. Res64: 928C815057BD6CB9 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:01:49] 861*2^1531338-1 is not prime. Res64: 096C65F22CF644C5 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:09:26] 933*2^1531338-1 is not prime. Res64: B921CBDD5E9D1784 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:09:27] 945*2^1531338-1 is not prime. Res64: 27D2757558F86CC0 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:09:28] 601*2^1531339-1 is not prime. Res64: F23F9C163E87AE64 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:09:28] 603*2^1531339-1 is not prime. Res64: 8D40815ECB460FC3 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:09:28] 925*2^1531339-1 is not prime. Res64: 970C3E3EA4281C29 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:22:53] 951*2^1531339-1 is not prime. Res64: BD4BF9A5F24039DC Time : 0.0 sec. user=mdettweiler [2018-11-15 01:22:54] 973*2^1531339-1 is not prime. Res64: 6144C743596D154E Time : 0.0 sec. user=mdettweiler [2018-11-15 01:22:54] 975*2^1531339-1 is not prime. Res64: 0457D3B7084AA040 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:22:55] 979*2^1531339-1 is not prime. Res64: E5A4FEEC36F93633 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:22:55] 665*2^1531340-1 is not prime. Res64: 828DD77CB5C8D062 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:33:38] 717*2^1531340-1 is not prime. Res64: C546AA88C8B03818 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:33:39] 785*2^1531340-1 is not prime. Res64: D1040AD2D406F0AE Time : 0.0 sec. user=mdettweiler [2018-11-15 01:33:40] 669*2^1531341-1 is not prime. Res64: 7C4C52826BCDB1B8 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:33:42] 885*2^1531341-1 is not prime. Res64: 1E6997735CE02D20 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:33:43] 937*2^1531341-1 is not prime. Res64: 86706BB3646D782D Time : 0.0 sec. user=mdettweiler [2018-11-15 01:53:45] 975*2^1531341-1 is not prime. Res64: F700DDF4E6725D9B Time : 0.0 sec. user=mdettweiler [2018-11-15 01:53:46] 705*2^1531342-1 is not prime. Res64: 7D3DBF8760142E2D Time : 0.0 sec. user=mdettweiler [2018-11-15 01:53:46] 713*2^1531342-1 is not prime. Res64: 380C3B86395912F5 Time : 0.0 sec. user=mdettweiler [2018-11-15 01:53:47] 723*2^1531342-1 is not prime. Res64: 4652D0665EB7FDBE Time : 0.0 sec. user=mdettweiler [2018-11-15 01:53:48] 833*2^1531342-1 is not prime. Res64: 407D8935B51176DE Time : 0.0 sec. user=mdettweiler [2018-11-15 02:01:56] 923*2^1531342-1 is not prime. Res64: 5CBA549932527CE2 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:01:58] 619*2^1531343-1 is not prime. Res64: 384D9699640AAC89 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:02:00] 811*2^1531343-1 is not prime. Res64: 1816186D76E15667 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:02:02] 825*2^1531343-1 is not prime. Res64: 642AAB285072B473 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:02:04] 949*2^1531343-1 is not prime. Res64: 14E227692429E059 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:14:30] 627*2^1531344-1 is not prime. Res64: BAA0752CD364FB3C Time : 0.0 sec. user=mdettweiler [2018-11-15 02:14:30] 635*2^1531344-1 is not prime. Res64: 15E15B62FB837A68 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:14:31] 717*2^1531344-1 is not prime. Res64: 42ABC7D485E36C04 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:14:32] 773*2^1531344-1 is not prime. Res64: 03530A624AEF09EF Time : 0.0 sec. user=mdettweiler [2018-11-15 02:14:32] 837*2^1531344-1 is not prime. Res64: BB5CECDEDF25C0C7 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:25:27] 887*2^1531344-1 is not prime. Res64: C72E5029F2D1FE68 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:25:28] 903*2^1531344-1 is not prime. Res64: 9F0DEF7E3306EAA0 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:25:28] 645*2^1531345-1 is not prime. Res64: 8BC530DF3DC6560C Time : 0.0 sec. user=mdettweiler [2018-11-15 02:25:29] 687*2^1531345-1 is not prime. Res64: 146C61C9610E4DE7 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:25:29] 691*2^1531345-1 is not prime. Res64: 81A8A2D3EDE000F0 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:45:20] 741*2^1531345-1 is not prime. Res64: 1AC5D5C4A75DEB44 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:45:20] 817*2^1531345-1 is not prime. Res64: CEE7F5C13BCD7922 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:45:21] 841*2^1531345-1 is not prime. Res64: 90F3CC70C0A7807E Time : 0.0 sec. user=mdettweiler [2018-11-15 02:45:22] 711*2^1531346-1 is not prime. Res64: 64BAB37EF026C98C Time : 0.0 sec. user=mdettweiler [2018-11-15 02:45:23] 825*2^1531346-1 is not prime. Res64: 54DFD3A47932CA02 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:55:11] 857*2^1531346-1 is not prime. Res64: F2E073522BE4C54A Time : 0.0 sec. user=mdettweiler [2018-11-15 02:55:12] 911*2^1531346-1 is not prime. Res64: 7FAB3FDB21009513 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:55:13] 963*2^1531346-1 is not prime. Res64: 626703F16A164CB3 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:55:14] 805*2^1531347-1 is not prime. Res64: FDFF407E81AA4795 Time : 0.0 sec. user=mdettweiler [2018-11-15 02:55:14] 823*2^1531347-1 is not prime. Res64: 2E37B6F6E95C5A97 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:07:24] 859*2^1531347-1 is not prime. Res64: 86F14D56B59065E3 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:07:25] 945*2^1531347-1 is not prime. Res64: C55A16E8906C97FA Time : 0.0 sec. user=mdettweiler [2018-11-15 03:07:25] 975*2^1531347-1 is not prime. Res64: 0241BC76A19AE12A Time : 0.0 sec. user=mdettweiler [2018-11-15 03:07:26] 657*2^1531348-1 is not prime. Res64: FA1E5FA6A1F58042 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:07:26] 723*2^1531348-1 is not prime. Res64: 8231B9BD990EBFF8 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:17:59] 749*2^1531348-1 is not prime. Res64: 25557A1ECED225A6 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:17:59] 875*2^1531348-1 is not prime. Res64: F217D45371BB8566 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:18:00] 619*2^1531349-1 is not prime. Res64: DAA25C7E60858766 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:18:02] 621*2^1531349-1 is not prime. Res64: 60FCCEDCE0256364 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:18:03] 645*2^1531349-1 is not prime. Res64: 7EBE9F275A75B3D7 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:37:58] 675*2^1531349-1 is not prime. Res64: 7109F2FE56222F05 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:37:59] 795*2^1531349-1 is not prime. Res64: 067C3BDB477BC274 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:38:00] 889*2^1531349-1 is not prime. Res64: 588F9C159F0856D5 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:38:02] 651*2^1531350-1 is not prime. Res64: F765FC88D05748D4 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:38:02] 843*2^1531350-1 is not prime. Res64: 37C379787B71E995 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:46:55] 851*2^1531350-1 is not prime. Res64: 88260DEB1AA057F3 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:46:57] 917*2^1531350-1 is not prime. Res64: E36B8E5B3383619D Time : 0.0 sec. user=mdettweiler [2018-11-15 03:46:58] 963*2^1531350-1 is not prime. Res64: 164543E3B668846D Time : 0.0 sec. user=mdettweiler [2018-11-15 03:46:59] 645*2^1531351-1 is not prime. Res64: D701759660365C51 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:47:00] 855*2^1531351-1 is not prime. Res64: F9FD392836A683AC Time : 0.0 sec. user=mdettweiler [2018-11-15 03:58:45] 885*2^1531351-1 is not prime. Res64: 69659D134177CF95 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:58:47] 743*2^1531352-1 is not prime. Res64: A99E3BA516FF5DA8 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:58:48] 759*2^1531352-1 is not prime. Res64: 1831EB1C539AE2F4 Time : 0.0 sec. user=mdettweiler [2018-11-15 03:58:49] 875*2^1531352-1 is not prime. Res64: B5BB3EA74AD13A5F Time : 0.0 sec. user=mdettweiler [2018-11-15 03:58:50] 915*2^1531352-1 is not prime. Res64: CCCBC9F3EE28ECC1 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:10:28] 957*2^1531352-1 is not prime. Res64: C657CCCAC3B5C6DA Time : 0.0 sec. user=mdettweiler [2018-11-15 04:10:30] 609*2^1531353-1 is not prime. Res64: CA7101F76F396E9B Time : 0.0 sec. user=mdettweiler [2018-11-15 04:10:35] 637*2^1531353-1 is not prime. Res64: 0A3C17D2D57D4A68 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:10:37] 699*2^1531353-1 is not prime. Res64: 59BED14050A9DDDE Time : 0.0 sec. user=mdettweiler [2018-11-15 04:10:40] 889*2^1531353-1 is not prime. Res64: F746A736ED93EE41 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:29:58] 895*2^1531353-1 is not prime. Res64: E2A9DEB85E0E38CB Time : 0.0 sec. user=mdettweiler [2018-11-15 04:29:59] 901*2^1531353-1 is not prime. Res64: B11799E859A1E1B1 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:29:59] 635*2^1531354-1 is not prime. Res64: 5ADF11C51BE32B65 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:30:00] 675*2^1531354-1 is not prime. Res64: F85F36A78FBBD04D Time : 0.0 sec. user=mdettweiler [2018-11-15 04:30:00] 755*2^1531354-1 is not prime. Res64: BB291ED381715A0B Time : 0.0 sec. user=mdettweiler [2018-11-15 04:43:21] 917*2^1531354-1 is not prime. Res64: 5D1DBD98DC1AFB7F Time : 0.0 sec. user=mdettweiler [2018-11-15 04:43:24] 619*2^1531355-1 is not prime. Res64: CC94B7134573515A Time : 0.0 sec. user=mdettweiler [2018-11-15 04:43:25] 669*2^1531355-1 is not prime. Res64: 2A0A6FEF46BFAC72 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:43:26] 739*2^1531355-1 is not prime. Res64: ABA5BEBEBBF8CEEF Time : 0.0 sec. user=mdettweiler [2018-11-15 04:43:27] 775*2^1531355-1 is not prime. Res64: 56622ED2687AFE49 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:51:31] 895*2^1531355-1 is not prime. Res64: 6127934CE1660305 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:51:31] 939*2^1531355-1 is not prime. Res64: A7F49E8924C82DC2 Time : 0.0 sec. user=mdettweiler [2018-11-15 04:51:32] 999*2^1531355-1 is not prime. Res64: EA852A886977C96D Time : 0.0 sec. user=mdettweiler [2018-11-15 04:51:32] 669*2^1531356-1 is not prime. Res64: 0BE14ECD3A64E77C Time : 0.0 sec. user=mdettweiler [2018-11-15 04:51:33] 735*2^1531356-1 is not prime. Res64: 987EF3E1F551217D Time : 0.0 sec. user=mdettweiler [2018-11-15 05:04:07] 749*2^1531356-1 is not prime. Res64: DEBB70FBEF1352E2 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:04:08] 899*2^1531356-1 is not prime. Res64: 8F80F691A6A5D297 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:04:09] 905*2^1531356-1 is not prime. Res64: 488E8CE69394B74A Time : 0.0 sec. user=mdettweiler [2018-11-15 05:04:11] 933*2^1531356-1 is not prime. Res64: 77A5AB3FBD52B460 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:04:12] 717*2^1531357-1 is not prime. Res64: 522C2EBDE78C74E7 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:21:57] 729*2^1531357-1 is not prime. Res64: C14AB7B456CF6F63 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:21:58] 819*2^1531357-1 is not prime. Res64: 4AA7F20D39FF5256 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:21:58] 861*2^1531357-1 is not prime. Res64: 9B4EA96B9C0A40B4 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:21:59] 915*2^1531357-1 is not prime. Res64: 2B0508B0879AE2AA Time : 0.0 sec. user=mdettweiler [2018-11-15 05:21:59] 981*2^1531357-1 is not prime. Res64: 7F2140F9D081AFAF Time : 0.0 sec. user=mdettweiler [2018-11-15 05:35:11] 645*2^1531358-1 is not prime. Res64: D8424A1DC7BC6D73 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:35:11] 711*2^1531358-1 is not prime. Res64: A93920E48159BBFF Time : 0.0 sec. user=mdettweiler [2018-11-15 05:35:12] 731*2^1531358-1 is not prime. Res64: 2E506F6AA0189244 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:35:12] 773*2^1531358-1 is not prime. Res64: 4D99B095097A8B42 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:35:13] 705*2^1531359-1 is not prime. Res64: E5B4640759BE5164 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:42:53] 793*2^1531359-1 is not prime. Res64: 723C4100C9DC35E8 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:42:53] 853*2^1531359-1 is not prime. Res64: CBB3F42D703B9CEF Time : 0.0 sec. user=mdettweiler [2018-11-15 05:42:54] 913*2^1531359-1 is not prime. Res64: E28BE0B5C559DE10 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:42:54] 921*2^1531359-1 is not prime. Res64: 4B66ECFC5EB88A34 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:42:55] 969*2^1531359-1 is not prime. Res64: 197320EEBC07FB61 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:55:57] 675*2^1531360-1 is not prime. Res64: 0C2C2CB0D05B0921 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:55:58] 843*2^1531360-1 is not prime. Res64: 32479991B7409CC6 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:55:58] 927*2^1531360-1 is not prime. Res64: E1E76793F452BE44 Time : 0.0 sec. user=mdettweiler [2018-11-15 05:55:59] 601*2^1531361-1 is not prime. Res64: E18D7510B9BC8C4D Time : 0.0 sec. user=mdettweiler [2018-11-15 05:56:00] 735*2^1531361-1 is not prime. Res64: 2390E4447F3853D6 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:13:23] 769*2^1531361-1 is not prime. Res64: B09873DD6777634C Time : 0.0 sec. user=mdettweiler [2018-11-15 06:13:24] 801*2^1531361-1 is not prime. Res64: F9911F599F1B50DD Time : 0.0 sec. user=mdettweiler [2018-11-15 06:13:25] 837*2^1531361-1 is not prime. Res64: DA3EF828865B00EC Time : 0.0 sec. user=mdettweiler [2018-11-15 06:13:25] 861*2^1531361-1 is not prime. Res64: 1E7F9C4B0FB270CD Time : 0.0 sec. user=mdettweiler [2018-11-15 06:13:26] 981*2^1531361-1 is not prime. Res64: A7FDC32FBD378DA0 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:26:31] 627*2^1531362-1 is not prime. Res64: 0BAB934D224E4DE0 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:26:31] 705*2^1531362-1 is not prime. Res64: 4BE88A16497AB4C2 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:26:32] 791*2^1531362-1 is not prime. Res64: F9DA69035B25A20C Time : 0.0 sec. user=mdettweiler [2018-11-15 06:26:32] 803*2^1531362-1 is not prime. Res64: FD154F0D7C8034C4 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:26:33] 825*2^1531362-1 is not prime. Res64: EF8A8FFAAC8D7C4A Time : 0.0 sec. user=mdettweiler [2018-11-15 06:34:37] 875*2^1531362-1 is not prime. Res64: B6BB1FFD49B2EB21 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:34:37] 977*2^1531362-1 is not prime. Res64: B7EA16B0C1514D5B Time : 0.0 sec. user=mdettweiler [2018-11-15 06:34:37] 619*2^1531363-1 is not prime. Res64: 1D1412B2904D5E69 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:34:38] 709*2^1531363-1 is not prime. Res64: DB0A4A84D0F6C3EF Time : 0.0 sec. user=mdettweiler [2018-11-15 06:34:38] 789*2^1531363-1 is not prime. Res64: B58E0BA89F9F7601 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:47:41] 853*2^1531363-1 is not prime. Res64: BAD1A9DA0A00F64E Time : 0.0 sec. user=mdettweiler [2018-11-15 06:47:41] 861*2^1531363-1 is not prime. Res64: 03855F3C493E4D4B Time : 0.0 sec. user=mdettweiler [2018-11-15 06:47:41] 915*2^1531364-1 is not prime. Res64: 954617F7059C86C5 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:47:42] 953*2^1531364-1 is not prime. Res64: 22B396649D8D1607 Time : 0.0 sec. user=mdettweiler [2018-11-15 06:47:42] 983*2^1531364-1 is not prime. Res64: 284B4E404EC27F67 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:05:27] 679*2^1531365-1 is not prime. Res64: A5EB90101A8AE15F Time : 0.0 sec. user=mdettweiler [2018-11-15 07:05:29] 727*2^1531365-1 is not prime. Res64: EE20DAA506CF5479 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:05:30] 741*2^1531365-1 is not prime. Res64: 88C281E8531BB0E0 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:05:31] 861*2^1531365-1 is not prime. Res64: 955E09B66019ACFB Time : 0.0 sec. user=mdettweiler [2018-11-15 07:05:32] 955*2^1531365-1 is not prime. Res64: CDA6D2989DB03E67 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:18:01] 961*2^1531365-1 is not prime. Res64: A5ACED95CA7A19CA Time : 0.0 sec. user=mdettweiler [2018-11-15 07:18:03] 997*2^1531365-1 is not prime. Res64: 81AF6D0157007AB2 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:18:03] 611*2^1531366-1 is not prime. Res64: A8272930B5FCF179 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:18:05] 635*2^1531366-1 is not prime. Res64: E1199D22D2179CA4 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:18:05] 717*2^1531366-1 is not prime. Res64: 656E310AD5FF4E62 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:26:08] 761*2^1531366-1 is not prime. Res64: 28E0091E4D247089 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:26:09] 785*2^1531366-1 is not prime. Res64: 15684325B0D0AF24 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:26:09] 815*2^1531366-1 is not prime. Res64: 7634B25157E3C923 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:26:10] 887*2^1531366-1 is not prime. Res64: BF556C47589E6F85 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:26:10] 917*2^1531366-1 is not prime. Res64: ED531D0467B73833 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:39:16] 965*2^1531366-1 is not prime. Res64: 0F969F8FABCCA9B7 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:39:16] 983*2^1531366-1 is not prime. Res64: B5BAD420436B05F5 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:39:16] 609*2^1531367-1 is not prime. Res64: B566D7FAAC09E306 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:39:17] 619*2^1531367-1 is not prime. Res64: CF0183AA232745F6 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:39:17] 685*2^1531367-1 is not prime. Res64: ED7FBCE0646675EB Time : 0.0 sec. user=mdettweiler [2018-11-15 07:57:00] 711*2^1531367-1 is not prime. Res64: 5B3C50017A79E90D Time : 0.0 sec. user=mdettweiler [2018-11-15 07:57:00] 859*2^1531367-1 is not prime. Res64: 3EDB18CC877ACEF6 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:57:01] 945*2^1531367-1 is not prime. Res64: 02CEBFEB8634D32E Time : 0.0 sec. user=mdettweiler [2018-11-15 07:57:01] 639*2^1531368-1 is not prime. Res64: D6CF717C954721A6 Time : 0.0 sec. user=mdettweiler [2018-11-15 07:57:02] 665*2^1531368-1 is not prime. Res64: 81A6F08ADC00DC73 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:09:24] 765*2^1531368-1 is not prime. Res64: C4240DE428BC02CA Time : 0.0 sec. user=mdettweiler [2018-11-15 08:09:24] 825*2^1531368-1 is not prime. Res64: 1C69F52B7B2F0757 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:09:25] 849*2^1531368-1 is not prime. Res64: 70C468EF59EDB586 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:09:25] 909*2^1531368-1 is not prime. Res64: 44D685B3C772826B Time : 0.0 sec. user=mdettweiler [2018-11-15 08:09:26] 929*2^1531368-1 is not prime. Res64: E542135B364D4115 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:17:33] 639*2^1531369-1 is not prime. Res64: 8BAC1B9F75A1AF5B Time : 0.0 sec. user=mdettweiler [2018-11-15 08:17:33] 661*2^1531369-1 is not prime. Res64: 1E949F32746A5F96 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:17:34] 691*2^1531369-1 is not prime. Res64: EB10968E48D0111C Time : 0.0 sec. user=mdettweiler [2018-11-15 08:17:34] 817*2^1531369-1 is not prime. Res64: C50C42D90ED25D39 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:17:35] 951*2^1531369-1 is not prime. Res64: 5B973E81ACAB997F Time : 0.0 sec. user=mdettweiler [2018-11-15 08:30:20] 987*2^1531369-1 is not prime. Res64: D81005FF18EA1628 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:30:20] 645*2^1531370-1 is not prime. Res64: 01AE92791DE0EFE0 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:30:21] 675*2^1531370-1 is not prime. Res64: E254C1A67456E54D Time : 0.0 sec. user=mdettweiler [2018-11-15 08:30:21] 701*2^1531370-1 is not prime. Res64: B096D7796C4F7EEA Time : 0.0 sec. user=mdettweiler [2018-11-15 08:30:22] 755*2^1531370-1 is not prime. Res64: 6C5233E9FB4D28A7 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:48:29] 767*2^1531370-1 is not prime. Res64: 216F96278797328C Time : 0.0 sec. user=mdettweiler [2018-11-15 08:48:30] 857*2^1531370-1 is not prime. Res64: 6C160518F19D5BAF Time : 0.0 sec. user=mdettweiler [2018-11-15 08:48:30] 893*2^1531370-1 is not prime. Res64: 0BB5070C8EA43694 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:48:31] 935*2^1531370-1 is not prime. Res64: DB17E8CB11DA6F42 Time : 0.0 sec. user=mdettweiler [2018-11-15 08:48:31] 945*2^1531370-1 is not prime. Res64: EE8FF853E6B095A0 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:00:57] 981*2^1531370-1 is not prime. Res64: 0B8B4E58C2B81213 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:00:59] 987*2^1531370-1 is not prime. Res64: 8CB986C776C1D5EF Time : 0.0 sec. user=mdettweiler [2018-11-15 09:01:00] 741*2^1531371-1 is not prime. Res64: EBAE240A059AEE31 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:01:01] 879*2^1531371-1 is not prime. Res64: F97D4F16906F5BEF Time : 0.0 sec. user=mdettweiler [2018-11-15 09:01:02] 973*2^1531371-1 is not prime. Res64: 42E7C53AB0441570 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:08:55] 675*2^1531372-1 is not prime. Res64: 85AD490DD14695D6 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:08:56] 719*2^1531372-1 is not prime. Res64: 64F3050EA15BAFCC Time : 0.0 sec. user=mdettweiler [2018-11-15 09:08:57] 755*2^1531372-1 is not prime. Res64: C442D3904C702DAC Time : 0.0 sec. user=mdettweiler [2018-11-15 09:08:58] 819*2^1531372-1 is not prime. Res64: 46F47F6738304B0E Time : 0.0 sec. user=mdettweiler [2018-11-15 09:08:58] 903*2^1531372-1 is not prime. Res64: FEF3422D2270FE92 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:21:36] 697*2^1531373-1 is not prime. Res64: 794E6055CDABF43B Time : 0.0 sec. user=mdettweiler [2018-11-15 09:21:36] 741*2^1531373-1 is not prime. Res64: 465906AE42B5607E Time : 0.0 sec. user=mdettweiler [2018-11-15 09:21:37] 757*2^1531373-1 is not prime. Res64: 374E26832E34168E Time : 0.0 sec. user=mdettweiler [2018-11-15 09:21:37] 775*2^1531373-1 is not prime. Res64: 067C2BF480C70A72 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:21:38] 781*2^1531373-1 is not prime. Res64: C008A9B725CF8BB8 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:39:34] 811*2^1531373-1 is not prime. Res64: 9BA22D25CE2FBE3E Time : 0.0 sec. user=mdettweiler [2018-11-15 09:39:34] 837*2^1531373-1 is not prime. Res64: CDEC031472966D06 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:39:35] 885*2^1531373-1 is not prime. Res64: FA46DC3EB0459338 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:39:35] 957*2^1531373-1 is not prime. Res64: 83FB3BC9790257EE Time : 0.0 sec. user=mdettweiler [2018-11-15 09:39:35] 651*2^1531374-1 is not prime. Res64: E800EA98A9962AD8 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:52:52] 693*2^1531374-1 is not prime. Res64: 64DF1F6774FDB754 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:52:53] 711*2^1531374-1 is not prime. Res64: B4F154F6392C6F91 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:52:55] 747*2^1531374-1 is not prime. Res64: 729CB52321D5B8F0 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:52:55] 887*2^1531374-1 is not prime. Res64: 30305EB337F3F026 Time : 0.0 sec. user=mdettweiler [2018-11-15 09:52:56] 673*2^1531375-1 is not prime. Res64: C753A0D652CC05DF Time : 0.0 sec. user=mdettweiler [2018-11-15 10:00:39] 723*2^1531375-1 is not prime. Res64: A5369AC2AAEB30F3 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:00:41] 735*2^1531375-1 is not prime. Res64: A5F02083F00ACD12 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:00:42] 759*2^1531375-1 is not prime. Res64: 2DEA6AD9D6368607 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:00:43] 789*2^1531375-1 is not prime. Res64: 29CD55C78D9D1208 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:00:44] 883*2^1531375-1 is not prime. Res64: F2543B0D297453F1 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:13:38] 885*2^1531375-1 is not prime. Res64: A5E1935354AC3815 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:13:39] 913*2^1531375-1 is not prime. Res64: 6867017D97AB67E9 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:13:39] 985*2^1531375-1 is not prime. Res64: B4DE358583C954F9 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:13:40] 657*2^1531376-1 is not prime. Res64: 9758C82A33DD8F92 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:13:41] 827*2^1531376-1 is not prime. Res64: AA9381D6A9B03072 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:30:51] 845*2^1531376-1 is not prime. Res64: A895680307DF820B Time : 0.0 sec. user=mdettweiler [2018-11-15 10:30:52] 879*2^1531376-1 is not prime. Res64: C03F5B7EC1A0870D Time : 0.0 sec. user=mdettweiler [2018-11-15 10:30:52] 969*2^1531376-1 is not prime. Res64: 17D5BFE1D10C65D5 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:30:53] 625*2^1531377-1 is not prime. Res64: 7F4A71A918B2AE8F Time : 0.0 sec. user=mdettweiler [2018-11-15 10:30:53] 649*2^1531377-1 is not prime. Res64: E53323BEDC5367A4 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:44:25] 805*2^1531377-1 is not prime. Res64: 36D1CDC5601439E2 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:44:25] 837*2^1531377-1 is not prime. Res64: 3DF1817C0146E2E6 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:44:25] 821*2^1531378-1 is not prime. Res64: D20C50372EA19B9A Time : 0.0 sec. user=mdettweiler [2018-11-15 10:44:26] 911*2^1531378-1 is not prime. Res64: F8AD423D72FA31D5 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:44:26] 981*2^1531378-1 is not prime. Res64: C98A84690C234750 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:52:13] 655*2^1531379-1 is not prime. Res64: B9CC781FDFD3306B Time : 0.0 sec. user=mdettweiler [2018-11-15 10:52:14] 711*2^1531379-1 is not prime. Res64: C3B325718163CD76 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:52:14] 741*2^1531379-1 is not prime. Res64: 3B8A45397FFF819D Time : 0.0 sec. user=mdettweiler [2018-11-15 10:52:14] 991*2^1531379-1 is not prime. Res64: 5C4455F198074474 Time : 0.0 sec. user=mdettweiler [2018-11-15 10:52:15] 665*2^1531380-1 is not prime. Res64: BAE7BE38C08D1760 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:04:54] 689*2^1531380-1 is not prime. Res64: 961186A64046611E Time : 0.0 sec. user=mdettweiler [2018-11-15 11:04:55] 735*2^1531380-1 is not prime. Res64: D83D713EF857E4FE Time : 0.0 sec. user=mdettweiler [2018-11-15 11:04:56] 893*2^1531380-1 is not prime. Res64: B67554A7782E62D8 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:04:58] 899*2^1531380-1 is not prime. Res64: 041D86D29C08E215 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:04:59] 909*2^1531380-1 is not prime. Res64: BE6C170D55CBED26 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:22:25] 923*2^1531380-1 is not prime. Res64: 76143DA56F34648E Time : 0.0 sec. user=mdettweiler [2018-11-15 11:22:25] 601*2^1531381-1 is not prime. Res64: 53EE9031B265F338 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:22:25] 937*2^1531381-1 is not prime. Res64: 1B4FC94A61B1CBCD Time : 0.0 sec. user=mdettweiler [2018-11-15 11:22:26] 979*2^1531381-1 is not prime. Res64: 95D740F2248E36B6 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:22:26] 997*2^1531381-1 is not prime. Res64: A450C316B3CF5C0B Time : 0.0 sec. user=mdettweiler [2018-11-15 11:35:52] 623*2^1531382-1 is not prime. Res64: 70EF8759A5C671BF Time : 0.0 sec. user=mdettweiler [2018-11-15 11:35:53] 705*2^1531382-1 is not prime. Res64: A2AF7E0B8736785F Time : 0.0 sec. user=mdettweiler [2018-11-15 11:35:53] 771*2^1531382-1 is not prime. Res64: 11364173F2CA1D36 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:35:54] 785*2^1531382-1 is not prime. Res64: 4E8545F940756FF9 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:35:54] 867*2^1531382-1 is not prime. Res64: F979A95431B7C72A Time : 0.0 sec. user=mdettweiler [2018-11-15 11:43:40] 1001*2^1531382-1 is not prime. Res64: 87E9E2E96F9657E9 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:43:41] 669*2^1531383-1 is not prime. Res64: 2CBD03623B349519 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:43:41] 679*2^1531383-1 is not prime. Res64: B12B63680EC79974 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:43:41] 693*2^1531383-1 is not prime. Res64: 390D0E5B7CBB91E2 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:43:42] 781*2^1531383-1 is not prime. Res64: 68DFD6C2AE2E4FD8 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:56:26] 793*2^1531383-1 is not prime. Res64: 31F5F51E7C7F7F18 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:56:26] 879*2^1531383-1 is not prime. Res64: 5FAC23EA7E6B4D6D Time : 0.0 sec. user=mdettweiler [2018-11-15 11:56:27] 885*2^1531383-1 is not prime. Res64: 78B1461A5B685AD0 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:56:27] 891*2^1531383-1 is not prime. Res64: B131E95EFD00A848 Time : 0.0 sec. user=mdettweiler [2018-11-15 11:56:27] 617*2^1531384-1 is not prime. Res64: 98386FC8806DFD08 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:14:03] 743*2^1531384-1 is not prime. Res64: 6729EFF5975D23E7 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:14:04] 887*2^1531384-1 is not prime. Res64: 5488B8578EB5558D Time : 0.0 sec. user=mdettweiler [2018-11-15 12:14:05] 915*2^1531384-1 is not prime. Res64: DAB68BA514A53A24 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:14:05] 939*2^1531384-1 is not prime. Res64: 0FDBAE16F9E6F78D Time : 0.0 sec. user=mdettweiler [2018-11-15 12:14:06] 619*2^1531385-1 is not prime. Res64: 2B19974D6CFC54B4 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:27:17] 715*2^1531385-1 is not prime. Res64: 6154AE45E1D07624 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:27:18] 831*2^1531385-1 is not prime. Res64: 12B258CBBE10DFB6 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:27:18] 837*2^1531385-1 is not prime. Res64: A3676BB4B5052D64 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:27:18] 865*2^1531385-1 is not prime. Res64: A7106649AB4AC2A2 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:27:19] 981*2^1531385-1 is not prime. Res64: 88E71D722DD74B30 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:35:10] 741*2^1531386-1 is not prime. Res64: E758D2A86AC4F1E7 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:35:11] 765*2^1531386-1 is not prime. Res64: B33E7D65B2815B48 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:35:13] 815*2^1531386-1 is prime! Time : 0.0 sec. user=mdettweiler [2018-11-15 12:35:14] 891*2^1531386-1 is not prime. Res64: BEF8C16E4474481A Time : 0.0 sec. user=mdettweiler [2018-11-15 12:35:15] 963*2^1531386-1 is not prime. Res64: 891B7B74F23396A3 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:47:51] 993*2^1531386-1 is not prime. Res64: 6C61F255568064C3 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:47:52] 631*2^1531387-1 is not prime. Res64: 84CFD3694E4389EE Time : 0.0 sec. user=mdettweiler [2018-11-15 12:47:54] 649*2^1531387-1 is not prime. Res64: F71D9E033FBBEF07 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:47:54] 703*2^1531387-1 is not prime. Res64: B4BC6713B78706C9 Time : 0.0 sec. user=mdettweiler [2018-11-15 12:47:55] 741*2^1531387-1 is not prime. Res64: 4FEBE84BD20FDC80 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:05:59] 793*2^1531387-1 is not prime. Res64: 0A4F9208FC646375 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:06:01] 849*2^1531387-1 is not prime. Res64: DA783F2DC86678BF Time : 0.0 sec. user=mdettweiler [2018-11-15 13:06:02] 889*2^1531387-1 is not prime. Res64: 7F757A779AD0DB50 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:06:04] 659*2^1531388-1 is not prime. Res64: C7A3AD375FD58558 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:06:05] 677*2^1531388-1 is not prime. Res64: B7A3DCF5994B8C55 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:18:47] 687*2^1531388-1 is not prime. Res64: 5496F704E278F7F0 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:18:47] 753*2^1531388-1 is not prime. Res64: FBC400A358FF995A Time : 0.0 sec. user=mdettweiler [2018-11-15 13:18:48] 773*2^1531388-1 is not prime. Res64: 6A92B399C5E5632C Time : 0.0 sec. user=mdettweiler [2018-11-15 13:18:48] 795*2^1531388-1 is not prime. Res64: 048EFFD72FFA2FC5 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:18:49] 867*2^1531388-1 is not prime. Res64: CA2D916E099EC713 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:26:35] 929*2^1531388-1 is not prime. Res64: 4EEEBA2BCDE9E3D1 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:26:36] 963*2^1531388-1 is not prime. Res64: 5CD30924AA76C890 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:26:36] 691*2^1531389-1 is not prime. Res64: 992E5421E477EDCB Time : 0.0 sec. user=mdettweiler [2018-11-15 13:26:36] 745*2^1531389-1 is not prime. Res64: 8E589709F58D816F Time : 0.0 sec. user=mdettweiler [2018-11-15 13:26:37] 889*2^1531389-1 is not prime. Res64: 62CF69F02D9720A6 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:39:15] 919*2^1531389-1 is not prime. Res64: B94D959D62AEE8CE Time : 0.0 sec. user=mdettweiler [2018-11-15 13:39:16] 945*2^1531389-1 is not prime. Res64: 2D6A124F0424D89E Time : 0.0 sec. user=mdettweiler [2018-11-15 13:39:16] 951*2^1531389-1 is not prime. Res64: 0368CB0950DC7ACC Time : 0.0 sec. user=mdettweiler [2018-11-15 13:39:17] 961*2^1531389-1 is not prime. Res64: 35607879866AF787 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:39:17] 657*2^1531390-1 is not prime. Res64: 1EF910047EA4B8C7 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:58:00] 825*2^1531390-1 is not prime. Res64: D32BACA0B291B90A Time : 0.0 sec. user=mdettweiler [2018-11-15 13:58:01] 917*2^1531390-1 is not prime. Res64: D4CC529E47E56074 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:58:01] 957*2^1531390-1 is not prime. Res64: C7CEFD3BB5EACAD9 Time : 0.0 sec. user=mdettweiler [2018-11-15 13:58:01] 965*2^1531390-1 is not prime. Res64: 177012764B79584E Time : 0.0 sec. user=mdettweiler [2018-11-15 13:58:02] 603*2^1531391-1 is not prime. Res64: 2CB9F5BF2FB94C25 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:10:09] 651*2^1531391-1 is not prime. Res64: A28DF91B105A517B Time : 0.0 sec. user=mdettweiler [2018-11-15 14:10:09] 685*2^1531391-1 is not prime. Res64: 881A7DA40F043B0E Time : 0.0 sec. user=mdettweiler [2018-11-15 14:10:10] 783*2^1531391-1 is not prime. Res64: 83AB0C6116E61475 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:10:10] 895*2^1531391-1 is not prime. Res64: AA2BD218C51E4C5F Time : 0.0 sec. user=mdettweiler [2018-11-15 14:10:10] 993*2^1531391-1 is not prime. Res64: 30194EEA6E8D943F Time : 0.0 sec. user=mdettweiler [2018-11-15 14:18:00] 615*2^1531392-1 is not prime. Res64: 59E36DF9FF1DA605 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:18:01] 765*2^1531392-1 is not prime. Res64: 097A6A679F9EE74B Time : 0.0 sec. user=mdettweiler [2018-11-15 14:18:01] 797*2^1531392-1 is not prime. Res64: 91E8CCB38E1E4590 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:18:02] 893*2^1531392-1 is not prime. Res64: 4DA140679728B32E Time : 0.0 sec. user=mdettweiler [2018-11-15 14:18:02] 899*2^1531392-1 is not prime. Res64: FF27694CEDA14FC3 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:30:36] 959*2^1531392-1 is not prime. Res64: 83D117152A5E0D2A Time : 0.0 sec. user=mdettweiler [2018-11-15 14:30:37] 615*2^1531393-1 is not prime. Res64: C1D8251047BCDB21 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:30:37] 639*2^1531393-1 is not prime. Res64: 74682EED461CA7B5 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:30:38] 691*2^1531393-1 is not prime. Res64: 7C27CA6892CB115B Time : 0.0 sec. user=mdettweiler [2018-11-15 14:30:38] 819*2^1531393-1 is not prime. Res64: F0C91FE7A3F13AC5 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:49:14] 895*2^1531393-1 is not prime. Res64: 5B8C9EF4129886C5 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:49:15] 987*2^1531393-1 is not prime. Res64: 79D7CC5FB7C05BCA Time : 0.0 sec. user=mdettweiler [2018-11-15 14:49:15] 623*2^1531394-1 is not prime. Res64: 0FCF49619BD6517D Time : 0.0 sec. user=mdettweiler [2018-11-15 14:49:15] 657*2^1531394-1 is not prime. Res64: BE83ADC801E2AFA0 Time : 0.0 sec. user=mdettweiler [2018-11-15 14:49:16] 677*2^1531394-1 is not prime. Res64: 40DED3BAA57C62AB Time : 0.0 sec. user=mdettweiler [2018-11-15 15:02:32] 857*2^1531394-1 is not prime. Res64: D2B1A1248E620D78 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:02:33] 935*2^1531394-1 is not prime. Res64: 7DAAD5B3CD9D7456 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:02:34] 957*2^1531394-1 is not prime. Res64: D9D0B62A2F8EE416 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:02:35] 983*2^1531394-1 is not prime. Res64: B9F1E8B3FD9F3A8C Time : 0.0 sec. user=mdettweiler [2018-11-15 15:02:36] 613*2^1531395-1 is not prime. Res64: B9D521103B50C6BA Time : 0.0 sec. user=mdettweiler [2018-11-15 15:11:07] 669*2^1531395-1 is not prime. Res64: 594C4528C80910BC Time : 0.0 sec. user=mdettweiler [2018-11-15 15:11:07] 775*2^1531395-1 is not prime. Res64: 6A2492751D03E715 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:11:08] 795*2^1531395-1 is not prime. Res64: 8223E3CFF3BD3A44 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:11:08] 895*2^1531395-1 is not prime. Res64: 2EE0B62F79F3BAE6 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:11:09] 779*2^1531396-1 is not prime. Res64: CF952A67B5CA82E8 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:24:36] 803*2^1531396-1 is not prime. Res64: 840BBA37DD763D6F Time : 0.0 sec. user=mdettweiler [2018-11-15 15:24:36] 833*2^1531396-1 is not prime. Res64: 6E98FFEAB0DC08A0 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:24:37] 727*2^1531397-1 is not prime. Res64: 52FF3625F9222D6D Time : 0.0 sec. user=mdettweiler [2018-11-15 15:24:37] 879*2^1531397-1 is not prime. Res64: 98AD439DFE2E173E Time : 0.0 sec. user=mdettweiler [2018-11-15 15:24:38] 901*2^1531397-1 is not prime. Res64: D758ED95ECA71588 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:42:27] 635*2^1531398-1 is not prime. Res64: E689BBB384F38C28 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:42:28] 641*2^1531398-1 is not prime. Res64: 9A3E661AA8C2A233 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:42:28] 657*2^1531398-1 is not prime. Res64: 1CC82ABA0A0449D3 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:42:29] 663*2^1531398-1 is not prime. Res64: 73B0CDD2B871742F Time : 0.0 sec. user=mdettweiler [2018-11-15 15:42:29] 893*2^1531398-1 is not prime. Res64: 4ABB6D763F87CE24 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:54:13] 923*2^1531398-1 is not prime. Res64: F4A2986A26542426 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:54:14] 933*2^1531398-1 is not prime. Res64: C93601C34F9F57A5 Time : 0.0 sec. user=mdettweiler [2018-11-15 15:54:14] 993*2^1531398-1 is not prime. Res64: 7B171FBA021BD44E Time : 0.0 sec. user=mdettweiler [2018-11-15 15:54:15] 609*2^1531399-1 is not prime. Res64: 12C5354D310799DE Time : 0.0 sec. user=mdettweiler [2018-11-15 15:54:15] 829*2^1531399-1 is not prime. Res64: 0F143339EF5BEE6F Time : 0.0 sec. user=mdettweiler [2018-11-15 16:03:02] 969*2^1531399-1 is not prime. Res64: 8842C2FF1EE1259C Time : 0.0 sec. user=mdettweiler [2018-11-15 16:03:04] 985*2^1531399-1 is not prime. Res64: 15201449FA17DD4B Time : 0.0 sec. user=mdettweiler [2018-11-15 16:03:05] 675*2^1531400-1 is not prime. Res64: 1D20C20AC693FA6C Time : 0.0 sec. user=mdettweiler [2018-11-15 16:03:06] 785*2^1531400-1 is not prime. Res64: 4665461D6C52FD1A Time : 0.0 sec. user=mdettweiler [2018-11-15 16:03:07] 855*2^1531400-1 is not prime. Res64: 15B3E0652C92A13C Time : 0.0 sec. user=mdettweiler [2018-11-15 16:16:30] 929*2^1531400-1 is not prime. Res64: E59C5954FCDB6434 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:16:30] 977*2^1531400-1 is not prime. Res64: 4931420358B8B90C Time : 0.0 sec. user=mdettweiler [2018-11-15 16:16:31] 983*2^1531400-1 is not prime. Res64: 2C1C55813AE3086E Time : 0.0 sec. user=mdettweiler [2018-11-15 16:16:31] 639*2^1531401-1 is not prime. Res64: 38E1B75B52D63D02 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:16:32] 681*2^1531401-1 is not prime. Res64: 624B6367499D62B7 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:33:45] 741*2^1531401-1 is not prime. Res64: 32E5655328EAC5D9 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:33:46] 777*2^1531401-1 is not prime. Res64: CC3500CB8A1174C0 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:33:46] 781*2^1531401-1 is not prime. Res64: 85C9E053B17B0D17 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:33:46] 819*2^1531401-1 is not prime. Res64: C4099ABB12FCA524 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:33:47] 889*2^1531401-1 is not prime. Res64: 2E7F332B8B5DBEFB Time : 0.0 sec. user=mdettweiler [2018-11-15 16:46:00] 955*2^1531401-1 is not prime. Res64: 48FA5059C9FD08EC Time : 0.0 sec. user=mdettweiler [2018-11-15 16:46:00] 975*2^1531401-1 is not prime. Res64: 8999913008E17767 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:46:01] 801*2^1531402-1 is not prime. Res64: B752FACAE36A6068 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:46:01] 803*2^1531402-1 is not prime. Res64: 854CA59D3920824E Time : 0.0 sec. user=mdettweiler [2018-11-15 16:46:02] 857*2^1531402-1 is not prime. Res64: 656DFD2DC5828D58 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:55:03] 615*2^1531403-1 is not prime. Res64: 5A3C735557AFD704 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:55:04] 693*2^1531403-1 is not prime. Res64: 357A62544F2F223C Time : 0.0 sec. user=mdettweiler [2018-11-15 16:55:04] 735*2^1531403-1 is not prime. Res64: CCE1449532751ADA Time : 0.0 sec. user=mdettweiler [2018-11-15 16:55:05] 859*2^1531403-1 is not prime. Res64: 8B3AD00D5D1401A9 Time : 0.0 sec. user=mdettweiler [2018-11-15 16:55:05] 889*2^1531403-1 is not prime. Res64: 0A967728086DC604 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:09:14] 955*2^1531403-1 is not prime. Res64: ACA6E26C3C4BD512 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:09:14] 963*2^1531403-1 is not prime. Res64: 5E7FF1FADCF01902 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:09:15] 981*2^1531403-1 is not prime. Res64: CA17933767EA07F3 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:09:16] 843*2^1531404-1 is not prime. Res64: CA6540ECFC4F9C7D Time : 0.0 sec. user=mdettweiler [2018-11-15 17:09:16] 899*2^1531404-1 is not prime. Res64: E0ABA62BC6AAAA7C Time : 0.0 sec. user=mdettweiler [2018-11-15 17:27:51] 601*2^1531405-1 is not prime. Res64: 06DF69131F2BF499 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:27:52] 625*2^1531405-1 is not prime. Res64: F4E4B168A79C9AE4 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:27:53] 645*2^1531405-1 is not prime. Res64: 7DA829F925516767 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:27:54] 777*2^1531405-1 is not prime. Res64: 354297164A752171 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:27:55] 831*2^1531405-1 is not prime. Res64: CE4770B931F3F823 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:40:29] 951*2^1531405-1 is not prime. Res64: 09280B491B0A84EF Time : 0.0 sec. user=mdettweiler [2018-11-15 17:40:30] 617*2^1531406-1 is not prime. Res64: C7D2F05E897DB20E Time : 0.0 sec. user=mdettweiler [2018-11-15 17:40:30] 677*2^1531406-1 is not prime. Res64: 6C1716487BA26271 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:40:30] 683*2^1531406-1 is not prime. Res64: EDED2862744E27AE Time : 0.0 sec. user=mdettweiler [2018-11-15 17:40:31] 707*2^1531406-1 is not prime. Res64: 4E644238A55B8EDC Time : 0.0 sec. user=mdettweiler [2018-11-15 17:50:12] 711*2^1531406-1 is not prime. Res64: D3A1647CFD5B52D6 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:50:13] 741*2^1531406-1 is not prime. Res64: C76AFDC892B7F8B0 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:50:14] 801*2^1531406-1 is not prime. Res64: C5AE9F8D55ADBD94 Time : 0.0 sec. user=mdettweiler [2018-11-15 17:50:14] 911*2^1531406-1 is not prime. Res64: 38EE636F83604CCA Time : 0.0 sec. user=mdettweiler [2018-11-15 17:50:15] 711*2^1531407-1 is not prime. Res64: 97B1F7D6C5A94521 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:04:20] 831*2^1531407-1 is not prime. Res64: DA64ABB1CF0F5F91 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:04:22] 879*2^1531407-1 is not prime. Res64: 9DD42A01214E9C9A Time : 0.0 sec. user=mdettweiler [2018-11-15 18:04:24] 891*2^1531407-1 is not prime. Res64: A65078C850E639FB Time : 0.0 sec. user=mdettweiler [2018-11-15 18:04:25] 985*2^1531407-1 is not prime. Res64: B8B70A071B37E782 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:04:27] 639*2^1531408-1 is not prime. Res64: AF146742B664AB5C Time : 0.0 sec. user=mdettweiler [2018-11-15 18:22:37] 695*2^1531408-1 is not prime. Res64: 6A5D618119D18133 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:22:37] 813*2^1531408-1 is not prime. Res64: 860FD21BEDCDD0CA Time : 0.0 sec. user=mdettweiler [2018-11-15 18:22:38] 915*2^1531408-1 is not prime. Res64: 47C2CB2442D0C1CF Time : 0.0 sec. user=mdettweiler [2018-11-15 18:22:38] 705*2^1531409-1 is not prime. Res64: C0FBB69150599ACC Time : 0.0 sec. user=mdettweiler [2018-11-15 18:22:39] 907*2^1531409-1 is not prime. Res64: 2A7B33B100DD2B09 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:35:25] 955*2^1531409-1 is not prime. Res64: CC13255F94BA4A74 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:35:25] 735*2^1531410-1 is not prime. Res64: CB78356BCBDC53EE Time : 0.0 sec. user=mdettweiler [2018-11-15 18:35:26] 845*2^1531410-1 is not prime. Res64: B51A6E7B0ED640E0 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:35:26] 927*2^1531410-1 is not prime. Res64: F54E6EF632C50071 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:35:27] 971*2^1531410-1 is not prime. Res64: DB4C0827A71192FB Time : 0.0 sec. user=mdettweiler [2018-11-15 18:44:19] 645*2^1531411-1 is not prime. Res64: 84D10238E1F6DE6C Time : 0.0 sec. user=mdettweiler [2018-11-15 18:44:19] 735*2^1531411-1 is not prime. Res64: 6B2D44A208611441 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:44:19] 783*2^1531411-1 is not prime. Res64: 33CD1BE345658F97 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:44:20] 819*2^1531411-1 is not prime. Res64: 1586CE2249B569B6 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:44:20] 951*2^1531411-1 is not prime. Res64: EF264BECEECF2D8D Time : 0.0 sec. user=mdettweiler [2018-11-15 18:58:28] 609*2^1531412-1 is not prime. Res64: 9E05BDCF2E032445 Time : 0.0 sec. user=mdettweiler [2018-11-15 18:58:28] 675*2^1531412-1 is not prime. Res64: B5C4EB83F4431BAE Time : 0.0 sec. user=mdettweiler [2018-11-15 18:58:29] 743*2^1531412-1 is not prime. Res64: CAF5115E299E8B5D Time : 0.0 sec. user=mdettweiler [2018-11-15 18:58:29] 767*2^1531412-1 is not prime. Res64: 4B7571983BFD2F4A Time : 0.0 sec. user=mdettweiler [2018-11-15 18:58:30] 825*2^1531412-1 is not prime. Res64: 0F365E294C232232 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:15:15] 935*2^1531412-1 is not prime. Res64: BDE00BBD178AF64E Time : 0.0 sec. user=mdettweiler [2018-11-15 19:15:16] 957*2^1531412-1 is not prime. Res64: 3DC403EE92B71078 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:15:16] 625*2^1531413-1 is not prime. Res64: 841EA99B5E3DCED7 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:15:18] 649*2^1531413-1 is not prime. Res64: 22ED27BC14BE2B6F Time : 0.0 sec. user=mdettweiler [2018-11-15 19:15:18] 741*2^1531413-1 is not prime. Res64: CA8704A8B1031A67 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:26:47] 805*2^1531413-1 is not prime. Res64: 7D66D78BED82F7BE Time : 0.0 sec. user=mdettweiler [2018-11-15 19:26:47] 819*2^1531413-1 is not prime. Res64: 414AEB983CDA641C Time : 0.0 sec. user=mdettweiler [2018-11-15 19:26:47] 895*2^1531413-1 is not prime. Res64: F8EA9C24544B905F Time : 0.0 sec. user=mdettweiler [2018-11-15 19:26:48] 919*2^1531413-1 is not prime. Res64: FE14128A2FFAB8B1 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:26:48] 671*2^1531414-1 is not prime. Res64: A7A13946B49C3373 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:35:27] 765*2^1531414-1 is not prime. Res64: A3CD402C4D8174A0 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:35:28] 773*2^1531414-1 is not prime. Res64: 6A497D6AEBEA2926 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:35:28] 815*2^1531414-1 is not prime. Res64: 75074AF9D933FFEE Time : 0.0 sec. user=mdettweiler [2018-11-15 19:35:29] 881*2^1531414-1 is not prime. Res64: 4D97736A673F599B Time : 0.0 sec. user=mdettweiler [2018-11-15 19:35:29] 923*2^1531414-1 is not prime. Res64: 3789B4930435459D Time : 0.0 sec. user=mdettweiler [2018-11-15 19:49:46] 609*2^1531415-1 is not prime. Res64: 9AB45D67B5A7A8D2 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:49:47] 633*2^1531415-1 is not prime. Res64: 354B300BAF745F5C Time : 0.0 sec. user=mdettweiler [2018-11-15 19:49:47] 693*2^1531415-1 is not prime. Res64: 53A8F3B7C42715CE Time : 0.0 sec. user=mdettweiler [2018-11-15 19:49:48] 759*2^1531415-1 is not prime. Res64: 31FA8A7F7B8A31B5 Time : 0.0 sec. user=mdettweiler [2018-11-15 19:49:48] 781*2^1531415-1 is not prime. Res64: 816A29A88ECD13CC Time : 0.0 sec. user=mdettweiler [2018-11-15 20:06:33] 969*2^1531415-1 is not prime. Res64: 65C03BFE0DE63EFF Time : 0.0 sec. user=mdettweiler [2018-11-15 20:06:35] 981*2^1531415-1 is not prime. Res64: 4F41811D3DCC944F Time : 0.0 sec. user=mdettweiler [2018-11-15 20:06:37] 985*2^1531415-1 is not prime. Res64: 281879E51FD957E1 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:06:38] 675*2^1531416-1 is not prime. Res64: F7145188801932ED Time : 0.0 sec. user=mdettweiler [2018-11-15 20:06:40] 693*2^1531416-1 is not prime. Res64: DCC454077A2DCCEB Time : 0.0 sec. user=mdettweiler [2018-11-15 20:18:01] 737*2^1531416-1 is not prime. Res64: 28ABD3E0E008C04A Time : 0.0 sec. user=mdettweiler [2018-11-15 20:18:02] 759*2^1531416-1 is not prime. Res64: 3CF1D2F818322335 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:18:02] 857*2^1531416-1 is not prime. Res64: 5AD32EA356E7F681 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:18:03] 909*2^1531416-1 is not prime. Res64: 0E1822453F7F7B85 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:18:04] 923*2^1531416-1 is not prime. Res64: C8DF93BB400E51AC Time : 0.0 sec. user=mdettweiler [2018-11-15 20:26:46] 947*2^1531416-1 is not prime. Res64: 23867286D476F7F2 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:26:46] 807*2^1531417-1 is not prime. Res64: 0C0C969CFF61D93E Time : 0.0 sec. user=mdettweiler [2018-11-15 20:26:47] 885*2^1531417-1 is not prime. Res64: 00BEE1DB749A9C2D Time : 0.0 sec. user=mdettweiler [2018-11-15 20:26:47] 657*2^1531418-1 is not prime. Res64: 4980E98FF2B80173 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:26:48] 705*2^1531418-1 is not prime. Res64: 9852C31624E9880D Time : 0.0 sec. user=mdettweiler [2018-11-15 20:41:09] 735*2^1531418-1 is not prime. Res64: 7852695F749B34BB Time : 0.0 sec. user=mdettweiler [2018-11-15 20:41:09] 801*2^1531418-1 is not prime. Res64: 625139AF8BADAEFE Time : 0.0 sec. user=mdettweiler [2018-11-15 20:41:10] 875*2^1531418-1 is not prime. Res64: E9764112A3934F20 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:41:10] 935*2^1531418-1 is not prime. Res64: 009819D7371809E7 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:41:11] 1001*2^1531418-1 is not prime. Res64: 50B04968740EA25A Time : 0.0 sec. user=mdettweiler [2018-11-15 20:58:06] 723*2^1531419-1 is not prime. Res64: 2562BDA09A0C6F78 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:58:06] 741*2^1531419-1 is not prime. Res64: 3BBEB2441C9F605F Time : 0.0 sec. user=mdettweiler [2018-11-15 20:58:07] 801*2^1531419-1 is not prime. Res64: 9654A068207CE955 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:58:07] 949*2^1531419-1 is not prime. Res64: 5431B4B9C49DD9A8 Time : 0.0 sec. user=mdettweiler [2018-11-15 20:58:08] 623*2^1531420-1 is not prime. Res64: 333FDC1914F1B8BA Time : 0.0 sec. user=mdettweiler [2018-11-15 21:09:12] 647*2^1531420-1 is not prime. Res64: AF179E45EF24BA11 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:09:13] 743*2^1531420-1 is not prime. Res64: 2B00F7330A1DAFF6 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:09:13] 839*2^1531420-1 is not prime. Res64: 09E0F62593323C2C Time : 0.0 sec. user=mdettweiler [2018-11-15 21:09:14] 933*2^1531420-1 is not prime. Res64: 0067D1E62CF1E64A Time : 0.0 sec. user=mdettweiler [2018-11-15 21:09:14] 939*2^1531420-1 is not prime. Res64: 830532674B398513 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:18:19] 983*2^1531420-1 is not prime. Res64: 385B00E02EA70FB8 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:18:20] 987*2^1531420-1 is not prime. Res64: A328C889F312F4C0 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:18:20] 999*2^1531420-1 is not prime. Res64: F804A81D88DB486A Time : 0.0 sec. user=mdettweiler [2018-11-15 21:18:21] 601*2^1531421-1 is not prime. Res64: F0B0B944DAA84BA8 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:18:21] 717*2^1531421-1 is not prime. Res64: DACFCC2193F8FDCE Time : 0.0 sec. user=mdettweiler [2018-11-15 21:33:22] 727*2^1531421-1 is not prime. Res64: CADFC02333237EAE Time : 0.0 sec. user=mdettweiler [2018-11-15 21:33:22] 745*2^1531421-1 is not prime. Res64: 8A09114C2A7D3900 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:33:23] 837*2^1531421-1 is not prime. Res64: 0D036DC1887D440A Time : 0.0 sec. user=mdettweiler [2018-11-15 21:33:23] 861*2^1531421-1 is not prime. Res64: AE8E19DC2A56F444 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:33:24] 867*2^1531421-1 is not prime. Res64: 990F06BA998C05AB Time : 0.0 sec. user=mdettweiler [2018-11-15 21:50:24] 981*2^1531421-1 is not prime. Res64: 55219F9A7258CEAA Time : 0.0 sec. user=mdettweiler [2018-11-15 21:50:25] 693*2^1531422-1 is not prime. Res64: F76C63581609D565 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:50:25] 825*2^1531422-1 is not prime. Res64: 4FA931F550882090 Time : 0.0 sec. user=mdettweiler [2018-11-15 21:50:26] 843*2^1531422-1 is not prime. Res64: 782DCC759682165D Time : 0.0 sec. user=mdettweiler [2018-11-15 21:50:27] 867*2^1531422-1 is not prime. Res64: 5C7E6191CA5E7690 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:01:22] 945*2^1531422-1 is not prime. Res64: C6219B342A698FE4 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:01:24] 709*2^1531423-1 is not prime. Res64: 182F9B2641B46F03 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:01:25] 775*2^1531423-1 is not prime. Res64: B785B697F84DC57F Time : 0.0 sec. user=mdettweiler [2018-11-15 22:01:26] 861*2^1531423-1 is not prime. Res64: CEF2BF935C9457BC Time : 0.0 sec. user=mdettweiler [2018-11-15 22:01:28] 873*2^1531423-1 is not prime. Res64: D539331B78C8E953 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:10:22] 945*2^1531423-1 is not prime. Res64: 41F9C6DE79247974 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:10:23] 615*2^1531424-1 is not prime. Res64: E79EB801DE7C15BE Time : 0.0 sec. user=mdettweiler [2018-11-15 22:10:25] 747*2^1531424-1 is not prime. Res64: FBF7CE602C680DAD Time : 0.0 sec. user=mdettweiler [2018-11-15 22:10:25] 855*2^1531424-1 is not prime. Res64: 48C93BC26890617E Time : 0.0 sec. user=mdettweiler [2018-11-15 22:10:26] 869*2^1531424-1 is not prime. Res64: 77E4BF7606347970 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:24:46] 903*2^1531424-1 is not prime. Res64: 28B3C2F04C267DF8 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:24:46] 909*2^1531424-1 is not prime. Res64: 3C277CDE0C0F8D42 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:24:47] 915*2^1531424-1 is not prime. Res64: 8FC40FD9D1F083AA Time : 0.0 sec. user=mdettweiler [2018-11-15 22:24:47] 945*2^1531424-1 is not prime. Res64: 3E080611080E1D17 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:24:48] 959*2^1531424-1 is not prime. Res64: 53323050682DEB58 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:41:31] 627*2^1531425-1 is not prime. Res64: B54F852C418459E7 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:41:32] 651*2^1531425-1 is not prime. Res64: 228F61412F610F9F Time : 0.0 sec. user=mdettweiler [2018-11-15 22:41:32] 667*2^1531425-1 is not prime. Res64: 005B319E6591E097 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:41:33] 817*2^1531425-1 is not prime. Res64: 34C2D7D6453533D3 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:41:33] 819*2^1531425-1 is not prime. Res64: CEFA9C225D040B28 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:52:42] 847*2^1531425-1 is not prime. Res64: 11D9AFD69A3F7621 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:52:43] 877*2^1531425-1 is not prime. Res64: E2D14F0F1F4307CB Time : 0.0 sec. user=mdettweiler [2018-11-15 22:52:44] 677*2^1531426-1 is not prime. Res64: 67277B1C5EE50BB8 Time : 0.0 sec. user=mdettweiler [2018-11-15 22:52:44] 765*2^1531426-1 is not prime. Res64: 8F821E281044B56E Time : 0.0 sec. user=mdettweiler [2018-11-15 22:52:45] 857*2^1531426-1 is not prime. Res64: 3B7DD091754E9257 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:01:26] 923*2^1531426-1 is not prime. Res64: 46825192B4A49617 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:01:27] 933*2^1531426-1 is not prime. Res64: ED2C8862CB1622E3 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:01:28] 993*2^1531426-1 is not prime. Res64: AB91BE9A591BBAF9 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:01:29] 675*2^1531427-1 is not prime. Res64: 0D332C3405447DD1 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:01:30] 693*2^1531427-1 is not prime. Res64: 13778822107617EE Time : 0.0 sec. user=mdettweiler [2018-11-15 23:16:15] 733*2^1531427-1 is not prime. Res64: DE97374B41283471 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:16:15] 871*2^1531427-1 is not prime. Res64: 1F067992CDEBE86B Time : 0.0 sec. user=mdettweiler [2018-11-15 23:16:16] 883*2^1531427-1 is not prime. Res64: 18014D0ABBDDA12D Time : 0.0 sec. user=mdettweiler [2018-11-15 23:16:17] 895*2^1531427-1 is not prime. Res64: AE3E188356BD0DED Time : 0.0 sec. user=mdettweiler [2018-11-15 23:16:17] 981*2^1531427-1 is not prime. Res64: 68533F53AFDBC035 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:32:46] 639*2^1531428-1 is not prime. Res64: 98FA59920913E2FE Time : 0.0 sec. user=mdettweiler [2018-11-15 23:32:46] 647*2^1531428-1 is not prime. Res64: BD92748C5AF8EEEE Time : 0.0 sec. user=mdettweiler [2018-11-15 23:32:47] 893*2^1531428-1 is not prime. Res64: ABBD87CECF091E6B Time : 0.0 sec. user=mdettweiler [2018-11-15 23:32:47] 615*2^1531429-1 is not prime. Res64: 5E9CDE36402B423E Time : 0.0 sec. user=mdettweiler [2018-11-15 23:32:48] 745*2^1531429-1 is not prime. Res64: 3F52D85F028CDFFB Time : 0.0 sec. user=mdettweiler [2018-11-15 23:43:49] 769*2^1531429-1 is not prime. Res64: 9F8EE7DB4DF13B1E Time : 0.0 sec. user=mdettweiler [2018-11-15 23:43:50] 819*2^1531429-1 is not prime. Res64: D089ADA3C3AE5B17 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:43:51] 885*2^1531429-1 is not prime. Res64: 6DA8CA0F6F25712C Time : 0.0 sec. user=mdettweiler [2018-11-15 23:43:51] 957*2^1531429-1 is not prime. Res64: 721C8BB823DF1722 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:43:52] 605*2^1531430-1 is not prime. Res64: 1ABB4B2B49F5683C Time : 0.0 sec. user=mdettweiler [2018-11-15 23:52:45] 627*2^1531430-1 is not prime. Res64: FB629B6670D145C2 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:52:46] 645*2^1531430-1 is not prime. Res64: 00D25C3F3556EA57 Time : 0.0 sec. user=mdettweiler [2018-11-15 23:52:47] 813*2^1531430-1 is not prime. Res64: 33C9471867CD90CB Time : 0.0 sec. user=mdettweiler [2018-11-15 23:52:47] 827*2^1531430-1 is not prime. Res64: F4726ACB156D951F Time : 0.0 sec. user=mdettweiler [2018-11-15 23:52:48] 885*2^1531430-1 is not prime. Res64: 28491064DF8C0914 Time : 0.0 sec.