user=mdettweiler [2018-11-25 00:30:11] 625*2^1532181-1 is not prime. Res64: 57122AF3F774DBE5 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:11] 651*2^1532181-1 is not prime. Res64: BB16CE52F34173FC Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:11] 711*2^1532181-1 is not prime. Res64: 434EFC0538C647BC Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:12] 781*2^1532181-1 is not prime. Res64: 0FF5A6F4623794BA Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:12] 885*2^1532181-1 is not prime. Res64: 9F4672C6BDA353BE Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:42] 741*2^1532179-1 is not prime. Res64: C056E65842743AD5 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:42] 861*2^1532179-1 is not prime. Res64: 3B00AE06FB93F453 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:42] 931*2^1532179-1 is not prime. Res64: D24C285AFB368124 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:43] 603*2^1532180-1 is not prime. Res64: 1AD4CA89C3D4D51E Time : 0.0 sec. user=mdettweiler [2018-11-25 00:30:43] 759*2^1532180-1 is not prime. Res64: 67F8FA787222B569 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:37:51] 927*2^1532180-1 is not prime. Res64: 2BA8FFA05FCAAF48 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:37:51] 953*2^1532180-1 is not prime. Res64: 445332C68D9A4523 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:37:52] 963*2^1532180-1 is not prime. Res64: 1D1CA0F5F3D79F18 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:37:52] 983*2^1532180-1 is not prime. Res64: CEC5369795BD0EAB Time : 0.0 sec. user=mdettweiler [2018-11-25 00:37:53] 607*2^1532181-1 is not prime. Res64: 01588DF08A49C904 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:53:38] 921*2^1532181-1 is not prime. Res64: 2CE0859C8287B8AF Time : 0.0 sec. user=mdettweiler [2018-11-25 00:53:38] 937*2^1532181-1 is not prime. Res64: B483A6B1039578B0 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:53:38] 951*2^1532181-1 is not prime. Res64: C5F6C21246315AC3 Time : 0.0 sec. user=mdettweiler [2018-11-25 00:53:39] 991*2^1532181-1 is not prime. Res64: AD483CE8AB69C7FC Time : 0.0 sec. user=mdettweiler [2018-11-25 00:53:39] 611*2^1532182-1 is not prime. Res64: 0DF0808F4332AAC8 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:24:26] 633*2^1532183-1 is not prime. Res64: A24A75EC79B775DE Time : 0.0 sec. user=mdettweiler [2018-11-25 01:24:26] 729*2^1532183-1 is not prime. Res64: DE4F66EBF90127CD Time : 0.0 sec. user=mdettweiler [2018-11-25 01:24:26] 955*2^1532183-1 is not prime. Res64: D84846F2854CFCA9 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:24:27] 627*2^1532184-1 is not prime. Res64: 33C40575139F6673 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:24:27] 689*2^1532184-1 is not prime. Res64: 4C5036191A862907 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:25:52] 677*2^1532182-1 is not prime. Res64: 93E44D138C8DD149 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:25:54] 741*2^1532182-1 is not prime. Res64: AC88C7F4B081B980 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:25:55] 951*2^1532182-1 is not prime. Res64: 64AF3B82ECCBBCB9 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:25:56] 957*2^1532182-1 is not prime. Res64: AD897606F284F670 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:25:57] 987*2^1532182-1 is not prime. Res64: BD584285AB4969E7 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:31:56] 759*2^1532184-1 is not prime. Res64: AA67A2C0737749A4 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:31:57] 899*2^1532184-1 is not prime. Res64: 7FA99C89964D00A8 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:31:58] 917*2^1532184-1 is not prime. Res64: C405899CAB73777F Time : 0.0 sec. user=mdettweiler [2018-11-25 01:31:58] 993*2^1532184-1 is not prime. Res64: 6210C1D08181F855 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:31:59] 649*2^1532185-1 is not prime. Res64: 8FC1B870D71208A6 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:45:53] 685*2^1532185-1 is not prime. Res64: 3E0571AD6951E80B Time : 0.0 sec. user=mdettweiler [2018-11-25 01:45:54] 867*2^1532185-1 is not prime. Res64: A1A16B3D25038A05 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:45:56] 877*2^1532185-1 is not prime. Res64: 41DD0EAC6461F235 Time : 0.0 sec. user=mdettweiler [2018-11-25 01:45:58] 979*2^1532185-1 is not prime. Res64: 93A68F68C2890C9D Time : 0.0 sec. user=mdettweiler [2018-11-25 01:45:59] 985*2^1532185-1 is not prime. Res64: 0692A06CC5754CBE Time : 0.0 sec. user=mdettweiler [2018-11-25 02:16:05] 603*2^1532186-1 is not prime. Res64: 939997B8ED7DA2E0 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:16:05] 615*2^1532186-1 is not prime. Res64: 69FA156FD9B44C5D Time : 0.0 sec. user=mdettweiler [2018-11-25 02:16:06] 623*2^1532186-1 is not prime. Res64: 8FF92230D3EA76ED Time : 0.0 sec. user=mdettweiler [2018-11-25 02:16:06] 773*2^1532186-1 is not prime. Res64: 8F1A9CBAD6248E31 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:16:06] 843*2^1532186-1 is not prime. Res64: A7C6DB1767F40070 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:17:49] 923*2^1532186-1 is not prime. Res64: ECE81E4B8DFF4EDC Time : 0.0 sec. user=mdettweiler [2018-11-25 02:17:50] 963*2^1532186-1 is not prime. Res64: C10E89BA41FE236E Time : 0.0 sec. user=mdettweiler [2018-11-25 02:17:51] 981*2^1532186-1 is not prime. Res64: 20ACB27398BF1535 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:17:51] 619*2^1532187-1 is not prime. Res64: B0A3027B30B407A5 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:17:51] 741*2^1532187-1 is not prime. Res64: 0FE1AE324A9A8652 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:24:29] 769*2^1532187-1 is not prime. Res64: DA29B8194D72C12C Time : 0.0 sec. user=mdettweiler [2018-11-25 02:24:29] 829*2^1532187-1 is not prime. Res64: 36ED068D424A5C8D Time : 0.0 sec. user=mdettweiler [2018-11-25 02:24:30] 973*2^1532187-1 is not prime. Res64: 6AA6ECEEBAC6F785 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:24:30] 749*2^1532188-1 is not prime. Res64: 43AE6C3804656221 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:24:30] 953*2^1532188-1 is not prime. Res64: 993E30007C5BD1F1 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:39:05] 969*2^1532188-1 is not prime. Res64: 9229CDDB0C633D8D Time : 0.0 sec. user=mdettweiler [2018-11-25 02:39:05] 867*2^1532189-1 is not prime. Res64: 7A1775BDF60689B7 Time : 0.0 sec. user=mdettweiler [2018-11-25 02:39:05] 647*2^1532190-1 is not prime. Res64: 89238A20EC0ED9AC Time : 0.0 sec. user=mdettweiler [2018-11-25 02:39:06] 651*2^1532190-1 is not prime. Res64: 2A6861A3146E58ED Time : 0.0 sec. user=mdettweiler [2018-11-25 02:39:06] 681*2^1532190-1 is not prime. Res64: 52D96DFFA1F4302C Time : 0.0 sec. user=mdettweiler [2018-11-25 03:10:56] 723*2^1532190-1 is not prime. Res64: E07E0768ECC9222D Time : 0.0 sec. user=mdettweiler [2018-11-25 03:10:56] 777*2^1532190-1 is not prime. Res64: EC442EB3078225E3 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:10:57] 861*2^1532190-1 is not prime. Res64: 815A275837487221 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:10:57] 663*2^1532191-1 is not prime. Res64: 8006AD7902A3A699 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:10:57] 741*2^1532191-1 is not prime. Res64: 33DFD93E2108AE15 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:11:41] 901*2^1532191-1 is not prime. Res64: D902F12E633CB7A7 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:11:42] 933*2^1532191-1 is not prime. Res64: AD059F60A99885CA Time : 0.0 sec. user=mdettweiler [2018-11-25 03:11:43] 999*2^1532191-1 is not prime. Res64: 698D7AE03747C2A3 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:11:44] 717*2^1532192-1 is not prime. Res64: 0010E73D83B99A14 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:11:44] 767*2^1532192-1 is not prime. Res64: E3DE2080D4F9C62D Time : 0.0 sec. user=mdettweiler [2018-11-25 03:18:33] 915*2^1532192-1 is not prime. Res64: 67782A66B2E458F4 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:18:34] 959*2^1532192-1 is not prime. Res64: 7D02CFA2AA6EEC2E Time : 0.0 sec. user=mdettweiler [2018-11-25 03:18:34] 609*2^1532193-1 is not prime. Res64: CB60E08B83EAD86A Time : 0.0 sec. user=mdettweiler [2018-11-25 03:18:34] 625*2^1532193-1 is not prime. Res64: 743F7EFB38CF75FA Time : 0.0 sec. user=mdettweiler [2018-11-25 03:18:34] 789*2^1532193-1 is not prime. Res64: 6ACD4B05D3CBD608 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:32:50] 837*2^1532193-1 is not prime. Res64: AC986D29B31EC3F9 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:32:52] 861*2^1532193-1 is not prime. Res64: 7638AEB07F2E26AF Time : 0.0 sec. user=mdettweiler [2018-11-25 03:32:53] 889*2^1532193-1 is not prime. Res64: 528B4A1DB0DD1A86 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:32:55] 915*2^1532193-1 is not prime. Res64: A4DCD5096F5DC764 Time : 0.0 sec. user=mdettweiler [2018-11-25 03:32:57] 951*2^1532193-1 is not prime. Res64: B74BD88B31F2489D Time : 0.0 sec. user=mdettweiler [2018-11-25 04:02:54] 979*2^1532193-1 is not prime. Res64: 5EB76FC9B7CB9196 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:02:57] 723*2^1532194-1 is not prime. Res64: 442BA2BB5554D177 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:02:59] 737*2^1532194-1 is not prime. Res64: 8148E267783E0F88 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:00] 831*2^1532194-1 is not prime. Res64: 07BDAD5DD232409D Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:02] 861*2^1532194-1 is not prime. Res64: 2E369550210DD36C Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:26] 917*2^1532194-1 is not prime. Res64: 84B55747FBBC7BDB Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:29] 693*2^1532195-1 is not prime. Res64: C86FA3F88394CA57 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:31] 741*2^1532195-1 is not prime. Res64: 968184CF9F6E9547 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:34] 825*2^1532195-1 is not prime. Res64: 684DD40084B2B98C Time : 0.0 sec. user=mdettweiler [2018-11-25 04:03:38] 909*2^1532195-1 is not prime. Res64: 1321460687084677 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:11:54] 969*2^1532195-1 is not prime. Res64: 207F0EF73B4138BF Time : 0.0 sec. user=mdettweiler [2018-11-25 04:11:56] 639*2^1532196-1 is not prime. Res64: EFAFA11D64AD24CB Time : 0.0 sec. user=mdettweiler [2018-11-25 04:11:58] 689*2^1532196-1 is not prime. Res64: 77955271C7456844 Time : 0.0 sec. user=mdettweiler [2018-11-25 04:12:02] 845*2^1532196-1 is not prime. Res64: 91B0328235E8676A Time : 0.0 sec. user=mdettweiler [2018-11-25 04:12:04] 857*2^1532196-1 is not prime. Res64: F5D91EA60A5162BF Time : 0.0 sec. user=mdettweiler [2018-11-25 05:03:03] 889*2^1532197-1 is not prime. Res64: 65DCF3C3C0B8AAA6 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:03:05] 915*2^1532197-1 is not prime. Res64: 0EBA62BD09982D4A Time : 0.0 sec. user=mdettweiler [2018-11-25 05:03:07] 955*2^1532197-1 is not prime. Res64: C5EF8C51D92CDA16 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:03:08] 677*2^1532198-1 is not prime. Res64: F6A0B1C31C6121C4 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:03:09] 743*2^1532198-1 is not prime. Res64: BD15DAD29178085A Time : 0.0 sec. user=mdettweiler [2018-11-25 05:14:59] 613*2^1532199-1 is not prime. Res64: 7028733E1372B163 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:15:00] 793*2^1532199-1 is not prime. Res64: 531D81242A9F85B0 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:15:01] 873*2^1532199-1 is not prime. Res64: 58ACB83BC2046348 Time : 0.0 sec. user=mdettweiler [2018-11-25 05:15:01] 921*2^1532199-1 is not prime. Res64: 478678063848BF9F Time : 0.0 sec. user=mdettweiler [2018-11-25 05:15:03] 961*2^1532199-1 is not prime. Res64: B77989F9AFE5485A Time : 0.0 sec. user=mdettweiler [2018-11-25 06:14:58] 629*2^1532200-1 is not prime. Res64: 0EE9CF6747526A74 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:14:59] 645*2^1532200-1 is not prime. Res64: 9CF92603424EC7D4 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:14:59] 653*2^1532200-1 is not prime. Res64: 0E9F0D1DB6872086 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:14:59] 719*2^1532200-1 is not prime. Res64: 69A9F19F71B505D3 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:15:00] 765*2^1532200-1 is not prime. Res64: C55993D162A5AD09 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:35:13] 855*2^1532200-1 is not prime. Res64: 70F9F078D62D9C9F Time : 0.0 sec. user=mdettweiler [2018-11-25 06:35:13] 873*2^1532200-1 is not prime. Res64: E48D46671CB17FC7 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:35:13] 887*2^1532200-1 is not prime. Res64: 0C0AED77F5D39398 Time : 0.0 sec. user=mdettweiler [2018-11-25 06:35:14] 905*2^1532200-1 is not prime. Res64: CF3DF5F34858290D Time : 0.0 sec. user=mdettweiler [2018-11-25 06:35:14] 939*2^1532200-1 is not prime. Res64: 25B154089A2114BB Time : 0.0 sec. user=mdettweiler [2018-11-25 07:13:08] 995*2^1532200-1 is not prime. Res64: EFA7F6499B367356 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:13:09] 705*2^1532201-1 is not prime. Res64: 8CA726E7C21B59F2 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:13:09] 727*2^1532201-1 is not prime. Res64: 75524F6C770DF547 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:13:09] 747*2^1532201-1 is not prime. Res64: C80DB5B257BE6FC8 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:13:10] 811*2^1532201-1 is not prime. Res64: 0184F9110C4BDFEB Time : 0.0 sec. user=mdettweiler [2018-11-25 07:29:46] 871*2^1532201-1 is not prime. Res64: 14DA7B6F42AA6E4B Time : 0.0 sec. user=mdettweiler [2018-11-25 07:29:46] 931*2^1532201-1 is not prime. Res64: 44CCB165434E801B Time : 0.0 sec. user=mdettweiler [2018-11-25 07:29:47] 981*2^1532201-1 is not prime. Res64: EC46D5096E7FE024 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:29:47] 681*2^1532202-1 is not prime. Res64: B3E3DAB41BF36023 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:29:47] 833*2^1532202-1 is not prime. Res64: 4B4F529A8DF47791 Time : 0.0 sec. user=mdettweiler [2018-11-25 07:39:21] 893*2^1532204-1 is not prime. Res64: 5241AAD4AD69EB9B Time : 0.0 sec. user=mdettweiler [2018-11-25 08:07:57] 709*2^1532203-1 is not prime. Res64: CF8414AD73EB5E70 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:07:57] 741*2^1532203-1 is not prime. Res64: EC71212583037B68 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:07:58] 805*2^1532203-1 is not prime. Res64: CAE932513E0B4D00 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:07:58] 853*2^1532203-1 is not prime. Res64: EE47CBE6F332ABD9 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:07:59] 861*2^1532203-1 is not prime. Res64: 3E4D534A72C2FD9D Time : 0.0 sec. user=mdettweiler [2018-11-25 08:25:08] 871*2^1532203-1 is not prime. Res64: 98859CEF29B50140 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:25:08] 939*2^1532203-1 is not prime. Res64: 2E8A5DFB161E487B Time : 0.0 sec. user=mdettweiler [2018-11-25 08:25:09] 629*2^1532204-1 is not prime. Res64: CE36474A6EF458B1 Time : 0.0 sec. user=mdettweiler [2018-11-25 08:25:09] 665*2^1532204-1 is not prime. Res64: 216CEC12AE00291A Time : 0.0 sec. user=mdettweiler [2018-11-25 08:25:09] 759*2^1532204-1 is not prime. Res64: 29E54BE9C25C7AA8 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:02:53] 953*2^1532204-1 is not prime. Res64: 946B104E167FCD0C Time : 0.0 sec. user=mdettweiler [2018-11-25 09:02:55] 639*2^1532205-1 is not prime. Res64: AECB87A7E706815F Time : 0.0 sec. user=mdettweiler [2018-11-25 09:02:56] 691*2^1532205-1 is not prime. Res64: 3C91A7752B3C157C Time : 0.0 sec. user=mdettweiler [2018-11-25 09:02:57] 699*2^1532205-1 is not prime. Res64: F96F1CE9F0C59247 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:02:58] 711*2^1532205-1 is not prime. Res64: DB249EEFB4BAC6EA Time : 0.0 sec. user=mdettweiler [2018-11-25 09:19:43] 735*2^1532205-1 is not prime. Res64: 3D8D7F0CE822D2A0 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:19:44] 861*2^1532205-1 is not prime. Res64: 0A7899A5C58A7CB1 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:19:44] 871*2^1532205-1 is not prime. Res64: 19565D53DCA44F48 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:19:44] 885*2^1532205-1 is not prime. Res64: A50D128C8002AE89 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:19:44] 895*2^1532205-1 is not prime. Res64: 49BD1350B48EC5D1 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:50:03] 951*2^1532205-1 is not prime. Res64: 9A2764CA27560E2F Time : 0.0 sec. user=mdettweiler [2018-11-25 09:50:03] 991*2^1532205-1 is not prime. Res64: 4991860C19914B6D Time : 0.0 sec. user=mdettweiler [2018-11-25 09:50:04] 645*2^1532206-1 is not prime. Res64: 0CC06E1D60F06740 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:50:04] 663*2^1532206-1 is not prime. Res64: 66E1500D87A88CE4 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:50:04] 785*2^1532206-1 is not prime. Res64: AE4CB5B197EAE02D Time : 0.0 sec. user=mdettweiler [2018-11-25 09:57:12] 861*2^1532206-1 is not prime. Res64: C67F828FE60671FF Time : 0.0 sec. user=mdettweiler [2018-11-25 09:57:12] 917*2^1532206-1 is not prime. Res64: 6119A77413FABCA5 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:57:12] 1001*2^1532206-1 is not prime. Res64: 1FAE930AD0795D99 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:57:13] 615*2^1532207-1 is not prime. Res64: FF83F1E737F7B224 Time : 0.0 sec. user=mdettweiler [2018-11-25 09:57:13] 643*2^1532207-1 is not prime. Res64: B3246FC9F5292C3E Time : 0.0 sec. user=mdettweiler [2018-11-25 10:13:08] 651*2^1532207-1 is not prime. Res64: 46846AEE85F39734 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:13:09] 661*2^1532207-1 is not prime. Res64: 392F0A865C65FB8E Time : 0.0 sec. user=mdettweiler [2018-11-25 10:13:09] 693*2^1532207-1 is not prime. Res64: E26B8FBD9383651E Time : 0.0 sec. user=mdettweiler [2018-11-25 10:13:09] 759*2^1532207-1 is not prime. Res64: 5443748930C32DB4 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:13:10] 763*2^1532207-1 is not prime. Res64: CA8B4D71AFCD92F6 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:43:41] 981*2^1532207-1 is not prime. Res64: 3F88D80AA2613E4D Time : 0.0 sec. user=mdettweiler [2018-11-25 10:43:42] 635*2^1532208-1 is not prime. Res64: C4EBF128F551E300 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:43:42] 663*2^1532208-1 is not prime. Res64: 07A98C64D188E143 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:43:42] 705*2^1532208-1 is not prime. Res64: D582CF2501BE9956 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:43:43] 747*2^1532208-1 is not prime. Res64: D85D67443570748F Time : 0.0 sec. user=mdettweiler [2018-11-25 10:51:03] 837*2^1532208-1 is not prime. Res64: 265D83C42C50A88E Time : 0.0 sec. user=mdettweiler [2018-11-25 10:51:03] 845*2^1532208-1 is not prime. Res64: E155AD5052F88BF3 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:51:03] 899*2^1532208-1 is not prime. Res64: 6A217D234DCA1403 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:51:04] 909*2^1532208-1 is not prime. Res64: 8F8562DC4BAEA1B4 Time : 0.0 sec. user=mdettweiler [2018-11-25 10:51:04] 945*2^1532208-1 is not prime. Res64: A9C574CFB201043F Time : 0.0 sec. user=mdettweiler [2018-11-25 11:07:08] 789*2^1532209-1 is not prime. Res64: 037E8FB3BDB5B7B4 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:07:10] 801*2^1532209-1 is not prime. Res64: 6A4280264FAB181C Time : 0.0 sec. user=mdettweiler [2018-11-25 11:07:11] 985*2^1532209-1 is not prime. Res64: 215E89C3ABAB7B56 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:07:12] 831*2^1532210-1 is not prime. Res64: 69E0CFD2D8F2B34E Time : 0.0 sec. user=mdettweiler [2018-11-25 11:07:16] 875*2^1532210-1 is not prime. Res64: 08322D9353716E46 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:12:31] 867*2^1532196-1 is not prime. Res64: 4222D9EF07236B71 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:12:32] 987*2^1532196-1 is not prime. Res64: 165288805563A072 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:12:32] 717*2^1532197-1 is not prime. Res64: 65E21E3DE823C879 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:12:32] 777*2^1532197-1 is not prime. Res64: 5166B53FCF10100F Time : 0.0 sec. user=mdettweiler [2018-11-25 11:12:32] 871*2^1532197-1 is not prime. Res64: D0F2BD1D8B77D3F3 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:38:16] 887*2^1532210-1 is not prime. Res64: FDD3D3C86255B2B7 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:38:16] 977*2^1532210-1 is not prime. Res64: 80762BC1FB5B703B Time : 0.0 sec. user=mdettweiler [2018-11-25 11:38:17] 741*2^1532211-1 is not prime. Res64: 74D8C006337F7D78 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:38:17] 801*2^1532211-1 is not prime. Res64: 1F197402EFE12E33 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:38:17] 835*2^1532211-1 is not prime. Res64: F3745C2E69749074 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:45:02] 909*2^1532211-1 is not prime. Res64: FEABA6D6908BCF98 Time : 0.0 sec. user=mdettweiler [2018-11-25 11:45:02] 943*2^1532211-1 is not prime. Res64: 7DB63EBDB44DC78F Time : 0.0 sec. user=mdettweiler [2018-11-25 11:45:03] 969*2^1532211-1 is not prime. Res64: 74631C41FF16862A Time : 0.0 sec. user=mdettweiler [2018-11-25 11:45:03] 979*2^1532211-1 is not prime. Res64: DE3649385578AC3C Time : 0.0 sec. user=mdettweiler [2018-11-25 11:45:04] 603*2^1532212-1 is not prime. Res64: 22E0F88D335A8677 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:04:08] 797*2^1532212-1 is not prime. Res64: D3F137E425674D76 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:04:10] 959*2^1532212-1 is not prime. Res64: 36DE97FEA95E7EC3 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:04:11] 649*2^1532213-1 is not prime. Res64: 193FAEE26BEB1A44 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:04:12] 831*2^1532213-1 is not prime. Res64: 0DBF39E8505D4232 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:04:13] 879*2^1532213-1 is not prime. Res64: 6759DB5C97430185 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:07:30] 885*2^1532213-1 is not prime. Res64: 28C0A45A6EBC5E01 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:07:31] 901*2^1532213-1 is not prime. Res64: 9027FBCC099B6DBD Time : 0.0 sec. user=mdettweiler [2018-11-25 12:07:31] 915*2^1532213-1 is not prime. Res64: 13844F5AD2D46BA8 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:07:32] 937*2^1532213-1 is not prime. Res64: 72D50E741CC8DDAF Time : 0.0 sec. user=mdettweiler [2018-11-25 12:07:32] 945*2^1532213-1 is not prime. Res64: 10748824BDB61F94 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:30:43] 641*2^1532214-1 is not prime. Res64: 0424C25D0F8C08E9 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:30:43] 747*2^1532214-1 is not prime. Res64: ACFD257904461731 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:30:43] 783*2^1532214-1 is not prime. Res64: 8D0C1937EE52CAFE Time : 0.0 sec. user=mdettweiler [2018-11-25 12:30:44] 833*2^1532214-1 is not prime. Res64: 1053F8004013A4FD Time : 0.0 sec. user=mdettweiler [2018-11-25 12:30:44] 645*2^1532215-1 is not prime. Res64: 567BAB852473F0A3 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:38:12] 709*2^1532215-1 is not prime. Res64: 48BC134504745D5E Time : 0.0 sec. user=mdettweiler [2018-11-25 12:38:12] 849*2^1532215-1 is not prime. Res64: 67EA74ED8635C3EF Time : 0.0 sec. user=mdettweiler [2018-11-25 12:38:12] 861*2^1532215-1 is not prime. Res64: 72BF463166CC1D2D Time : 0.0 sec. user=mdettweiler [2018-11-25 12:38:13] 871*2^1532215-1 is not prime. Res64: 8BE2E3A6D4D61CC0 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:38:13] 873*2^1532215-1 is not prime. Res64: 4C23B6A8CE7C6920 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:58:42] 951*2^1532215-1 is not prime. Res64: 66F3370CB0180BE2 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:58:42] 973*2^1532215-1 is not prime. Res64: E08D0A7BD99B598F Time : 0.0 sec. user=mdettweiler [2018-11-25 12:58:43] 699*2^1532216-1 is not prime. Res64: 0A168A7EC6F98E7B Time : 0.0 sec. user=mdettweiler [2018-11-25 12:58:43] 923*2^1532216-1 is not prime. Res64: 92E69F67C52481E7 Time : 0.0 sec. user=mdettweiler [2018-11-25 12:58:43] 927*2^1532216-1 is not prime. Res64: 63202068A21C8879 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:00:07] 957*2^1532216-1 is not prime. Res64: CDC00A6AA5A6CC52 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:00:08] 651*2^1532217-1 is not prime. Res64: 02086F8B4A686C1A Time : 0.0 sec. user=mdettweiler [2018-11-25 13:00:08] 691*2^1532217-1 is not prime. Res64: 1FC712D5A52339C4 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:00:08] 747*2^1532217-1 is not prime. Res64: 9D48DCDA7439E72C Time : 0.0 sec. user=mdettweiler [2018-11-25 13:00:08] 901*2^1532217-1 is not prime. Res64: 3ABE8642EEB81C9E Time : 0.0 sec. user=mdettweiler [2018-11-25 13:23:54] 909*2^1532217-1 is not prime. Res64: D87CACCAEEA5F94B Time : 0.0 sec. user=mdettweiler [2018-11-25 13:23:54] 937*2^1532217-1 is not prime. Res64: 8CB16E2A68E7D7A1 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:23:54] 777*2^1532218-1 is not prime. Res64: 0F2AFE6576800C15 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:23:55] 815*2^1532218-1 is not prime. Res64: 5B9FA9652BBE87CB Time : 0.0 sec. user=mdettweiler [2018-11-25 13:23:55] 1001*2^1532218-1 is not prime. Res64: 490B68B0BF66E0AA Time : 0.0 sec. user=mdettweiler [2018-11-25 13:32:05] 619*2^1532219-1 is not prime. Res64: FA3745B1BF9AD3A2 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:32:06] 663*2^1532219-1 is not prime. Res64: 1F7A1F6EAE42CFE4 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:32:06] 753*2^1532219-1 is not prime. Res64: 6F49F495745B31DE Time : 0.0 sec. user=mdettweiler [2018-11-25 13:32:06] 883*2^1532219-1 is not prime. Res64: 7939E8453C715F40 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:32:07] 949*2^1532219-1 is not prime. Res64: 2BD75B1BF1E253F4 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:52:41] 623*2^1532220-1 is not prime. Res64: 6233B297B2E44691 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:52:41] 839*2^1532220-1 is not prime. Res64: DAE1175882595D32 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:52:41] 843*2^1532220-1 is not prime. Res64: EE2990C35219FCBF Time : 0.0 sec. user=mdettweiler [2018-11-25 13:52:42] 899*2^1532220-1 is not prime. Res64: B5622E26FE228320 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:52:42] 927*2^1532220-1 is not prime. Res64: B65BCCA9EFB64008 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:53:36] 933*2^1532220-1 is not prime. Res64: BDB18F7D099E559C Time : 0.0 sec. user=mdettweiler [2018-11-25 13:53:36] 959*2^1532220-1 is not prime. Res64: BCEB89F1825223DE Time : 0.0 sec. user=mdettweiler [2018-11-25 13:53:37] 681*2^1532221-1 is not prime. Res64: 6C24F2D0ADD1F3E1 Time : 0.0 sec. user=mdettweiler [2018-11-25 13:53:37] 777*2^1532221-1 is not prime. Res64: 242B1AD13855336E Time : 0.0 sec. user=mdettweiler [2018-11-25 13:53:37] 979*2^1532221-1 is not prime. Res64: B243B12A8BACAEA0 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:15:23] 987*2^1532221-1 is not prime. Res64: 1F170FDA49730DB6 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:15:24] 635*2^1532222-1 is not prime. Res64: C9208641E2DDA8E9 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:15:24] 651*2^1532222-1 is not prime. Res64: 7B693FCCB83A1E8C Time : 0.0 sec. user=mdettweiler [2018-11-25 14:15:24] 671*2^1532222-1 is not prime. Res64: D17F9413B845A3AF Time : 0.0 sec. user=mdettweiler [2018-11-25 14:15:24] 675*2^1532222-1 is not prime. Res64: 479F6647929FA5CA Time : 0.0 sec. user=mdettweiler [2018-11-25 14:23:34] 743*2^1532222-1 is not prime. Res64: 600CF4CD8239ADA8 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:23:35] 813*2^1532222-1 is not prime. Res64: 7D3C0580684349B8 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:23:35] 893*2^1532222-1 is not prime. Res64: 56696C5D33E8E06A Time : 0.0 sec. user=mdettweiler [2018-11-25 14:23:36] 923*2^1532222-1 is not prime. Res64: 89424D0A6021E41E Time : 0.0 sec. user=mdettweiler [2018-11-25 14:23:36] 965*2^1532222-1 is not prime. Res64: 93E50CEF4FBE2405 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:44:34] 723*2^1532223-1 is not prime. Res64: 4C35C3F35063A061 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:44:34] 879*2^1532223-1 is not prime. Res64: D41598BB72B33517 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:44:34] 635*2^1532224-1 is not prime. Res64: 5CD89B2173AFF794 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:44:34] 675*2^1532224-1 is not prime. Res64: D4BB05AF7A131327 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:44:35] 755*2^1532224-1 is not prime. Res64: 353C87DC1488C1ED Time : 0.0 sec. user=mdettweiler [2018-11-25 14:45:04] 759*2^1532224-1 is not prime. Res64: B57531904B1F599C Time : 0.0 sec. user=mdettweiler [2018-11-25 14:45:04] 765*2^1532224-1 is not prime. Res64: 7A731E33514EC6F8 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:45:05] 855*2^1532224-1 is not prime. Res64: 19ECE65F8962CCB7 Time : 0.0 sec. user=mdettweiler [2018-11-25 14:45:05] 887*2^1532224-1 is not prime. Res64: EA40A94E8D5B7AFB Time : 0.0 sec. user=mdettweiler [2018-11-25 14:45:05] 903*2^1532224-1 is not prime. Res64: A98C2177D7E5FB23 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:07:16] 917*2^1532224-1 is not prime. Res64: B11D280EC118C67F Time : 0.0 sec. user=mdettweiler [2018-11-25 15:07:17] 975*2^1532224-1 is not prime. Res64: A3C7895FA8FE6B05 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:07:18] 983*2^1532224-1 is not prime. Res64: 94C6502C385580BE Time : 0.0 sec. user=mdettweiler [2018-11-25 15:07:19] 993*2^1532224-1 is not prime. Res64: D4A9237F04808B18 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:07:20] 651*2^1532225-1 is not prime. Res64: 0832CCD5AC592EC8 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:16:21] 819*2^1532225-1 is not prime. Res64: 990E5983C4B56986 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:16:21] 871*2^1532225-1 is not prime. Res64: A04792ABB47174AA Time : 0.0 sec. user=mdettweiler [2018-11-25 15:16:21] 915*2^1532225-1 is not prime. Res64: CEDC7DBB437CEF88 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:16:22] 937*2^1532225-1 is not prime. Res64: 6766BCF84BBE4A5E Time : 0.0 sec. user=mdettweiler [2018-11-25 15:16:22] 987*2^1532225-1 is not prime. Res64: 93924D1B1187CE3E Time : 0.0 sec. user=mdettweiler [2018-11-25 15:36:43] 705*2^1532226-1 is not prime. Res64: C65DCDBEED8B5E97 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:36:43] 783*2^1532226-1 is not prime. Res64: EF18FF15E18B4D33 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:36:44] 807*2^1532226-1 is not prime. Res64: 304262014D7AC020 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:36:44] 875*2^1532226-1 is not prime. Res64: 0D7FC3787D051704 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:36:44] 975*2^1532226-1 is not prime. Res64: 9908339B17DE00B7 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:37:21] 765*2^1532227-1 is not prime. Res64: FE78CB0589B85FE6 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:37:21] 805*2^1532227-1 is not prime. Res64: 9F93352881648E02 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:37:22] 915*2^1532227-1 is not prime. Res64: A3AF0EF2BC692E7C Time : 0.0 sec. user=mdettweiler [2018-11-25 15:37:22] 945*2^1532227-1 is not prime. Res64: 4C2572839A960476 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:37:22] 615*2^1532228-1 is not prime. Res64: FAEB491974EDF10F Time : 0.0 sec. user=mdettweiler [2018-11-25 15:59:02] 617*2^1532228-1 is not prime. Res64: E9F18B7F57177112 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:59:02] 629*2^1532228-1 is not prime. Res64: A22D847DECB7A484 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:59:02] 797*2^1532228-1 is not prime. Res64: 7D373F33EA9567A0 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:59:03] 843*2^1532228-1 is not prime. Res64: E13272F3E3F6E804 Time : 0.0 sec. user=mdettweiler [2018-11-25 15:59:03] 897*2^1532228-1 is not prime. Res64: B4DD7DBD2BA31E90 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:08:06] 923*2^1532228-1 is not prime. Res64: 17C0939B133F0943 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:08:09] 959*2^1532228-1 is not prime. Res64: 05B583EE444FF54D Time : 0.0 sec. user=mdettweiler [2018-11-25 16:08:10] 977*2^1532228-1 is not prime. Res64: DA4462ACAEB37736 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:08:44] 601*2^1532229-1 is not prime. Res64: 5D4B95C0C816AB5E Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:06] 669*2^1532229-1 is not prime. Res64: 343424747480581F Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:06] 685*2^1532229-1 is not prime. Res64: 8CCBA19C70C30EBE Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:06] 709*2^1532229-1 is not prime. Res64: F3089C4FEF0337CB Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:07] 969*2^1532229-1 is not prime. Res64: 108A55FE82F6F463 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:07] 985*2^1532229-1 is not prime. Res64: 998165C7FB8FB985 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:17] 987*2^1532229-1 is not prime. Res64: 007D3E9AB02D7DCB Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:18] 671*2^1532230-1 is not prime. Res64: FD9F8C8EA7691F43 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:19] 717*2^1532230-1 is not prime. Res64: 0FAE436D1353DA0D Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:19] 777*2^1532230-1 is not prime. Res64: 0B2F89189FCAD67A Time : 0.0 sec. user=mdettweiler [2018-11-25 16:29:20] 845*2^1532230-1 is not prime. Res64: 84D1EC79FD2781FC Time : 0.0 sec. user=mdettweiler [2018-11-25 16:51:19] 923*2^1532230-1 is not prime. Res64: 9AED09F8F192EFB7 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:51:20] 971*2^1532230-1 is not prime. Res64: C1669AAF5ABC870E Time : 0.0 sec. user=mdettweiler [2018-11-25 16:51:21] 975*2^1532230-1 is not prime. Res64: 5D558812FD3ACCD3 Time : 0.0 sec. user=mdettweiler [2018-11-25 16:51:21] 987*2^1532230-1 is not prime. Res64: 8D2E2E305C03D35F Time : 0.0 sec. user=mdettweiler [2018-11-25 16:51:22] 603*2^1532231-1 is not prime. Res64: EB870B690F177389 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:23:13] 759*2^1532231-1 is not prime. Res64: 657B8B5DAA617117 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:23:14] 883*2^1532231-1 is not prime. Res64: 7125252555B789A5 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:23:14] 889*2^1532231-1 is not prime. Res64: DFBE4BDAD35DDD03 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:23:14] 909*2^1532231-1 is not prime. Res64: D05962B5A59FFAA7 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:23:15] 999*2^1532231-1 is not prime. Res64: C440B057ED1F6B8D Time : 0.0 sec. user=mdettweiler [2018-11-25 17:24:54] 635*2^1532232-1 is not prime. Res64: 2F15EDBCC947A68C Time : 0.0 sec. user=mdettweiler [2018-11-25 17:24:54] 639*2^1532232-1 is not prime. Res64: 420FAA358887C7F5 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:24:54] 675*2^1532232-1 is not prime. Res64: A0DC4F5CE13AA746 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:24:54] 777*2^1532232-1 is not prime. Res64: 0286BA6F87B2400E Time : 0.0 sec. user=mdettweiler [2018-11-25 17:24:55] 797*2^1532232-1 is not prime. Res64: D7C5A4CBC5764510 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:45:03] 857*2^1532232-1 is not prime. Res64: 828C488077E182CC Time : 0.0 sec. user=mdettweiler [2018-11-25 17:45:04] 741*2^1532233-1 is not prime. Res64: 5A519C73385881E0 Time : 0.0 sec. user=mdettweiler [2018-11-25 17:45:04] 765*2^1532233-1 is not prime. Res64: B919EB7CC34E6ADF Time : 0.0 sec. user=mdettweiler [2018-11-25 17:45:04] 819*2^1532233-1 is not prime. Res64: A26CB07FE670005E Time : 0.0 sec. user=mdettweiler [2018-11-25 17:45:04] 829*2^1532233-1 is not prime. Res64: 3A926A3A28CD3D7A Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:17] 889*2^1532233-1 is not prime. Res64: E3FDA1460201B8DC Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:18] 895*2^1532233-1 is not prime. Res64: 69FD744FC4C4CC1F Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:18] 901*2^1532233-1 is not prime. Res64: 8A968330D1F6F240 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:19] 987*2^1532233-1 is not prime. Res64: E84FB5C24C3588A3 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:20] 857*2^1532234-1 is not prime. Res64: B5DED2F7D6C35E1A Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:20] 885*2^1532234-1 is not prime. Res64: 08C745842DEBD39D Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:21] 915*2^1532234-1 is not prime. Res64: 1731746D6883B849 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:22] 935*2^1532234-1 is not prime. Res64: BE7A8684618D6984 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:22] 945*2^1532234-1 is not prime. Res64: 902D2E35777AACB1 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:18:23] 651*2^1532235-1 is not prime. Res64: C05DE18B512D6AFC Time : 0.0 sec. user=mdettweiler [2018-11-25 18:42:45] 783*2^1532235-1 is not prime. Res64: 0C35EE41CF0EDCFA Time : 0.0 sec. user=mdettweiler [2018-11-25 18:42:45] 793*2^1532235-1 is not prime. Res64: 0619521D5F3AB6FE Time : 0.0 sec. user=mdettweiler [2018-11-25 18:42:46] 903*2^1532235-1 is not prime. Res64: AC37EE6A04DE3BBB Time : 0.0 sec. user=mdettweiler [2018-11-25 18:42:46] 949*2^1532235-1 is not prime. Res64: 6AC4CAF80B8B8182 Time : 0.0 sec. user=mdettweiler [2018-11-25 18:42:46] 961*2^1532235-1 is not prime. Res64: 793E9D03BE560400 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:13:53] 963*2^1532235-1 is not prime. Res64: 423EAB1944D58501 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:13:53] 969*2^1532235-1 is not prime. Res64: D5A9754F124273BD Time : 0.0 sec. user=mdettweiler [2018-11-25 19:13:53] 999*2^1532235-1 is not prime. Res64: 23AC3FF4251FAF4F Time : 0.0 sec. user=mdettweiler [2018-11-25 19:13:54] 623*2^1532236-1 is not prime. Res64: 4F093D1889963F87 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:13:54] 657*2^1532236-1 is not prime. Res64: A1DAF8F3826235A1 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:22:35] 735*2^1532236-1 is not prime. Res64: 6F7E06A7F1C373A3 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:22:35] 743*2^1532236-1 is not prime. Res64: 11C6E448E102609F Time : 0.0 sec. user=mdettweiler [2018-11-25 19:22:36] 803*2^1532236-1 is not prime. Res64: CB5D83D74D6F198A Time : 0.0 sec. user=mdettweiler [2018-11-25 19:22:36] 843*2^1532236-1 is not prime. Res64: AD6FA3AC299E00E0 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:22:36] 619*2^1532237-1 is not prime. Res64: 420EEDA8AF894587 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:36:27] 685*2^1532237-1 is not prime. Res64: 85456AA76CAF2022 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:36:28] 825*2^1532237-1 is not prime. Res64: 73B41B0D174E5986 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:36:28] 901*2^1532237-1 is not prime. Res64: 0C141B797DE1B0E1 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:36:28] 925*2^1532237-1 is not prime. Res64: 83955499B683B680 Time : 0.0 sec. user=mdettweiler [2018-11-25 19:36:29] 949*2^1532237-1 is not prime. Res64: 4C4B446E969827CD Time : 0.0 sec. user=mdettweiler [2018-11-25 20:08:12] 649*2^1532229-1 is not prime. Res64: B29C3FD738F62C8A Time : 0.0 sec. user=mdettweiler [2018-11-25 20:08:54] 621*2^1532238-1 is not prime. Res64: 3F5D382526B5BF2E Time : 0.0 sec. user=mdettweiler [2018-11-25 20:08:58] 707*2^1532238-1 is not prime. Res64: BF9830EDF613A3E5 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:09:01] 737*2^1532238-1 is not prime. Res64: 649A33C0CDDC9658 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:09:05] 915*2^1532238-1 is not prime. Res64: 7747B32ACF71F18C Time : 0.0 sec. user=mdettweiler [2018-11-25 20:09:08] 663*2^1532239-1 is not prime. Res64: 691908122CF2BAE7 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:17:18] 709*2^1532239-1 is not prime. Res64: 33435FAFA51E6595 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:17:19] 759*2^1532239-1 is not prime. Res64: 1CF6AD3216204007 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:17:19] 829*2^1532239-1 is not prime. Res64: 02FC6DFC6E55F025 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:17:19] 831*2^1532239-1 is not prime. Res64: 782A90241E187988 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:17:20] 885*2^1532239-1 is not prime. Res64: 9758792D2BEEAEA0 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:29:28] 969*2^1532239-1 is not prime. Res64: 6149DA74F1928F5F Time : 0.0 sec. user=mdettweiler [2018-11-25 20:29:28] 669*2^1532240-1 is not prime. Res64: 1C44F6928D5E04F7 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:29:29] 767*2^1532240-1 is not prime. Res64: 8A8926EF26896E1F Time : 0.0 sec. user=mdettweiler [2018-11-25 20:29:29] 785*2^1532240-1 is not prime. Res64: B845ABB0FEE9CCA3 Time : 0.0 sec. user=mdettweiler [2018-11-25 20:29:29] 945*2^1532240-1 is not prime. Res64: 6CBA79B585DBF129 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:01:28] 977*2^1532240-1 is not prime. Res64: 7074B6859140F8B1 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:01:29] 669*2^1532241-1 is not prime. Res64: 1A01BDF460CABFDB Time : 0.0 sec. user=mdettweiler [2018-11-25 21:01:31] 795*2^1532241-1 is not prime. Res64: BA86728C24A39B2B Time : 0.0 sec. user=mdettweiler [2018-11-25 21:01:32] 895*2^1532241-1 is not prime. Res64: E0804B983DE321F8 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:01:33] 681*2^1532242-1 is not prime. Res64: 976F09F871A79AD2 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:04:09] 705*2^1532242-1 is not prime. Res64: 9E6D89AF078E6706 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:04:09] 717*2^1532242-1 is not prime. Res64: 95A2C6ECB70E53E5 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:04:10] 843*2^1532242-1 is not prime. Res64: 10CE3DED46236496 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:04:10] 947*2^1532242-1 is not prime. Res64: AEA1BBF661845EFD Time : 0.0 sec. user=mdettweiler [2018-11-25 21:04:11] 813*2^1532243-1 is not prime. Res64: 74321F7BEFC18E88 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:10:49] 825*2^1532243-1 is not prime. Res64: 80C3EC5982CC359D Time : 0.0 sec. user=mdettweiler [2018-11-25 21:10:50] 943*2^1532243-1 is not prime. Res64: E457869AC9A6E627 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:10:50] 981*2^1532243-1 is not prime. Res64: F577289104F415C9 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:10:51] 609*2^1532244-1 is not prime. Res64: 08E10E65B93ED35E Time : 0.0 sec. user=mdettweiler [2018-11-25 21:10:52] 705*2^1532244-1 is not prime. Res64: 1A45F59A21AF1543 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:22:58] 983*2^1532244-1 is not prime. Res64: 9A9560F60412C215 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:22:59] 607*2^1532245-1 is not prime. Res64: 2728291E56CE3847 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:22:59] 619*2^1532245-1 is not prime. Res64: 0E417320001C0909 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:23:00] 801*2^1532245-1 is not prime. Res64: A486F3E7CDCF07ED Time : 0.0 sec. user=mdettweiler [2018-11-25 21:23:00] 805*2^1532245-1 is not prime. Res64: AE70ABC33A647095 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:55:36] 817*2^1532245-1 is not prime. Res64: D769686DCEC59671 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:55:36] 847*2^1532245-1 is not prime. Res64: 06C7477430B2350C Time : 0.0 sec. user=mdettweiler [2018-11-25 21:55:36] 867*2^1532245-1 is not prime. Res64: AEECA72CE7D9E642 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:55:37] 955*2^1532245-1 is not prime. Res64: 328E4B0343F91C99 Time : 0.0 sec. user=mdettweiler [2018-11-25 21:55:37] 675*2^1532246-1 is not prime. Res64: 4CDD0B5D35C94330 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:07:27] 693*2^1532246-1 is not prime. Res64: 6E9B5BE43F5CF8C5 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:07:28] 707*2^1532246-1 is not prime. Res64: 48932A859E047AA5 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:07:29] 717*2^1532246-1 is not prime. Res64: 9CD02DE963514E5E Time : 0.0 sec. user=mdettweiler [2018-11-25 22:07:29] 755*2^1532246-1 is not prime. Res64: C9DC41B8120BCFD1 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:07:31] 875*2^1532246-1 is not prime. Res64: A5BF563D1B47C2D8 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:08:16] 987*2^1532246-1 is not prime. Res64: 55025FFC6478DE80 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:08:16] 885*2^1532247-1 is not prime. Res64: C69F936A053F5E25 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:08:16] 891*2^1532247-1 is not prime. Res64: A59BA22DD3E88E8C Time : 0.0 sec. user=mdettweiler [2018-11-25 22:08:16] 913*2^1532247-1 is not prime. Res64: 29E67CA861DB9302 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:08:17] 955*2^1532247-1 is not prime. Res64: B0AE7FF2EAB7D22C Time : 0.0 sec. user=mdettweiler [2018-11-25 22:19:39] 979*2^1532247-1 is not prime. Res64: C4F2F9E41D1EF6F7 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:19:40] 639*2^1532248-1 is not prime. Res64: AF0263DB91B2DC42 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:19:40] 765*2^1532248-1 is not prime. Res64: 4BC30E5956E54847 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:19:40] 833*2^1532248-1 is not prime. Res64: 0CCD3F29C3A5E0C5 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:19:41] 839*2^1532248-1 is not prime. Res64: 36A1A59648DE90E0 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:55:40] 845*2^1532248-1 is not prime. Res64: CBB4B00200DAF059 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:55:41] 899*2^1532248-1 is not prime. Res64: D5F461AA26B0BF5D Time : 0.0 sec. user=mdettweiler [2018-11-25 22:55:42] 957*2^1532248-1 is not prime. Res64: 323250B9B15B6276 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:55:42] 615*2^1532249-1 is not prime. Res64: 1589380D4F620139 Time : 0.0 sec. user=mdettweiler [2018-11-25 22:55:43] 867*2^1532249-1 is not prime. Res64: 59B6F366DF8FE0B2 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:14] 885*2^1532249-1 is not prime. Res64: 8A6C7E4F88B2A2F5 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:14] 649*2^1532251-1 is not prime. Res64: 1F6DFA6DC16CAB5E Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:16] 991*2^1532249-1 is not prime. Res64: 1194783A5B764B70 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:18] 633*2^1532250-1 is not prime. Res64: 006AF462060362B6 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:19] 931*2^1532251-1 is not prime. Res64: 8DFDE75F81508432 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:19] 681*2^1532250-1 is not prime. Res64: 2914ECD7B9827FE4 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:22] 1001*2^1532250-1 is not prime. Res64: 155703B7B66D1ECD Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:23] 961*2^1532251-1 is not prime. Res64: B1A68FE94B45067D Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:27] 629*2^1532252-1 is not prime. Res64: A8648F63214066C6 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:08:32] 735*2^1532252-1 is not prime. Res64: 86A7ADEE51018CB7 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:15:33] 743*2^1532252-1 is not prime. Res64: 89D3B3A22126CA3B Time : 0.0 sec. user=mdettweiler [2018-11-25 23:15:34] 759*2^1532252-1 is not prime. Res64: 556FE68A1F0D7ED6 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:15:34] 767*2^1532252-1 is not prime. Res64: 84B1407F43AD8A07 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:15:34] 915*2^1532252-1 is not prime. Res64: 37A0E7DCC7205025 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:15:35] 607*2^1532253-1 is not prime. Res64: DAB45890137F3864 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:48:56] 747*2^1532253-1 is not prime. Res64: CE5B60713FDF1869 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:48:57] 781*2^1532253-1 is not prime. Res64: C48B89D0E5B95490 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:48:57] 805*2^1532253-1 is not prime. Res64: 58A193D0CFD79288 Time : 0.0 sec. user=mdettweiler [2018-11-25 23:48:57] 877*2^1532253-1 is not prime. Res64: 4537A3B8C240FBEC Time : 0.0 sec. user=mdettweiler [2018-11-25 23:48:58] 889*2^1532253-1 is not prime. Res64: C3267AFD3326B7B8 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:07] 895*2^1532253-1 is not prime. Res64: 4E8F437313311EA2 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:11] 991*2^1532253-1 is not prime. Res64: 8F0419B6F32544B7 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:12] 617*2^1532254-1 is not prime. Res64: 34D5B14E45308C6B Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:14] 951*2^1532254-1 is not prime. Res64: 08E26D9C98E3A328 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:17] 603*2^1532255-1 is not prime. Res64: 7A4F6E6E2567FAA0 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:19] 645*2^1532255-1 is not prime. Res64: 7E5E4289D19F242C Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:21] 655*2^1532255-1 is not prime. Res64: C895DF86E062314D Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:22] 679*2^1532255-1 is not prime. Res64: 2A43D8BA6E9641A5 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:29] 705*2^1532255-1 is not prime. Res64: F1D2D796D2947425 Time : 0.0 sec. user=mdettweiler [2018-11-26 00:00:30] 635*2^1532256-1 is not prime. Res64: 07D69CB80A3EA268 Time : 0.0 sec.