user=mdettweiler [2020-11-01 00:33:18] 677*2^1566716-1 is not prime. Res64: D63B3738FEAA6A2B Time : 0.0 sec. user=mdettweiler [2020-11-01 00:33:19] 699*2^1566716-1 is not prime. Res64: 62202B5EE86EEF96 Time : 0.0 sec. user=mdettweiler [2020-11-01 00:33:19] 957*2^1566716-1 is not prime. Res64: 1360DB0DC362F921 Time : 0.0 sec. user=mdettweiler [2020-11-01 00:33:19] 601*2^1566717-1 is not prime. Res64: 7777E3A5C2939ABD Time : 0.0 sec. user=mdettweiler [2020-11-01 00:33:20] 667*2^1566717-1 is not prime. Res64: 407E66488B06C062 Time : 0.0 sec. user=mdettweiler [2020-11-01 00:42:33] 759*2^1566717-1 is not prime. Res64: 5336C006BE11C71D Time : 0.0 sec. user=mdettweiler [2020-11-01 00:42:33] 831*2^1566717-1 is not prime. Res64: F93D0297BED14E5B Time : 0.0 sec. user=mdettweiler [2020-11-01 00:42:33] 835*2^1566717-1 is not prime. Res64: 3410C0951EC1AB76 Time : 0.0 sec. user=mdettweiler [2020-11-01 00:42:34] 837*2^1566717-1 is not prime. Res64: E727A2173B1C76B0 Time : 0.0 sec. user=mdettweiler [2020-11-01 00:42:34] 871*2^1566717-1 is not prime. Res64: 36DB7FE4A7CA7A88 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:31:32] 843*2^1566718-1 is not prime. Res64: 4AACA45ED1395AB7 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:31:36] 885*2^1566718-1 is not prime. Res64: 4DFFA30485C8C745 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:31:38] 951*2^1566718-1 is not prime. Res64: 22EFCB9BBCB9AC0F Time : 0.0 sec. user=mdettweiler [2020-11-01 01:31:40] 789*2^1566719-1 is not prime. Res64: B69C760911A47BA4 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:31:41] 813*2^1566719-1 is not prime. Res64: 627FDD1812EE7100 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:39:46] 883*2^1566719-1 is not prime. Res64: 7DB5FF8ED03E5828 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:39:52] 985*2^1566719-1 is not prime. Res64: 3FE363E46F186FF9 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:39:57] 991*2^1566719-1 is not prime. Res64: E0D29B53B277B925 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:39:59] 999*2^1566719-1 is not prime. Res64: 4D50E6243E35943D Time : 0.0 sec. user=mdettweiler [2020-11-01 01:40:02] 665*2^1566720-1 is not prime. Res64: 954D90D37F147C7D Time : 0.0 sec. user=mdettweiler [2020-11-01 01:26:45] 737*2^1566720-1 is not prime. Res64: 4E59220C2E22BB75 Time : 0.0 sec. user=mdettweiler [2020-11-01 01:41:04] 639*2^1566721-1 is not prime. Res64: 4F52DD1BB1149D93 Time : 0.0 sec. user=mdettweiler [2020-11-01 06:59:10] 759*2^1566720-1 is not prime. Res64: 9E37B82A9B876B9D Time : 0.0 sec. user=mdettweiler [2020-11-01 06:59:10] 843*2^1566720-1 is not prime. Res64: 990AD572584D6ED5 Time : 0.0 sec. user=mdettweiler [2020-11-01 06:59:11] 905*2^1566720-1 is not prime. Res64: 60A5077FE586FF43 Time : 0.0 sec. user=mdettweiler [2020-11-01 06:59:12] 619*2^1566721-1 is not prime. Res64: 04461B6BBE669135 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:09:57] 807*2^1566721-1 is not prime. Res64: 7158A42BF6ECD690 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:10:03] 861*2^1566721-1 is not prime. Res64: 7F05730D12A2FCA2 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:10:08] 955*2^1566721-1 is not prime. Res64: FBA481E7C6FA8778 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:10:12] 997*2^1566721-1 is not prime. Res64: CD39D4E0FF4B5A54 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:55:01] 635*2^1566722-1 is not prime. Res64: B110BCA6251F2248 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:55:02] 713*2^1566722-1 is not prime. Res64: 3014EA04361FA90B Time : 0.0 sec. user=mdettweiler [2020-11-01 07:55:02] 837*2^1566722-1 is not prime. Res64: 073C67C7D1EE23D7 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:55:03] 903*2^1566722-1 is not prime. Res64: DF22F0B806BE3CF2 Time : 0.0 sec. user=mdettweiler [2020-11-01 07:55:03] 911*2^1566722-1 is not prime. Res64: 84E1C0CCFEDE71E8 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:06:58] 915*2^1566722-1 is not prime. Res64: 459A32C3820D3262 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:07:02] 945*2^1566722-1 is not prime. Res64: 8D7670966683DC1D Time : 0.0 sec. user=mdettweiler [2020-11-01 08:07:04] 951*2^1566722-1 is not prime. Res64: C9973FB822E45A25 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:07:07] 741*2^1566723-1 is not prime. Res64: 55823139BAE1487D Time : 0.0 sec. user=mdettweiler [2020-11-01 08:07:09] 745*2^1566723-1 is not prime. Res64: DECCB3F320C231DB Time : 0.0 sec. user=mdettweiler [2020-11-01 08:50:08] 849*2^1566723-1 is not prime. Res64: 409DBAC2DC90A3A5 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:50:08] 707*2^1566724-1 is not prime. Res64: C3A7B922755B2922 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:50:09] 743*2^1566724-1 is not prime. Res64: AB648FB66B599DC5 Time : 0.0 sec. user=mdettweiler [2020-11-01 08:50:09] 749*2^1566724-1 is not prime. Res64: CDEFB593D3D697CF Time : 0.0 sec. user=mdettweiler [2020-11-01 08:50:10] 843*2^1566724-1 is not prime. Res64: 788AFA58C22A8E0C Time : 0.0 sec. user=mdettweiler [2020-11-01 09:03:38] 909*2^1566724-1 is not prime. Res64: 18B05C0309DB02BC Time : 0.0 sec. user=mdettweiler [2020-11-01 09:03:40] 965*2^1566724-1 is not prime. Res64: D56781273C205764 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:03:41] 987*2^1566724-1 is not prime. Res64: D1FAEFE45A7D8075 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:03:42] 679*2^1566725-1 is not prime. Res64: 584B9679C30C04A8 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:03:44] 723*2^1566726-1 is not prime. Res64: 733C49CBDE0CA031 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:47:26] 851*2^1566726-1 is not prime. Res64: 83DE1C9DE128FE59 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:47:27] 875*2^1566726-1 is not prime. Res64: 4F2F5AA007DB39DA Time : 0.0 sec. user=mdettweiler [2020-11-01 09:47:27] 975*2^1566726-1 is not prime. Res64: D2CCD7849C8B987A Time : 0.0 sec. user=mdettweiler [2020-11-01 09:47:28] 983*2^1566726-1 is not prime. Res64: 0D50B868E58DD433 Time : 0.0 sec. user=mdettweiler [2020-11-01 09:47:28] 609*2^1566727-1 is not prime. Res64: F08F80DAFE43E033 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:00:18] 633*2^1566727-1 is not prime. Res64: D4E09A5A56AA8931 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:00:21] 715*2^1566727-1 is not prime. Res64: D4B6A84897105076 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:00:23] 841*2^1566727-1 is not prime. Res64: DC5B21548D40A666 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:00:33] 871*2^1566727-1 is not prime. Res64: DF3AE546AA931EF4 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:00:36] 973*2^1566727-1 is not prime. Res64: 2D076020948DA268 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:44:52] 875*2^1566728-1 is not prime. Res64: EA6FDBE3DA33DF12 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:44:53] 999*2^1566728-1 is not prime. Res64: 21F5A2EB66FCFF34 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:44:53] 727*2^1566729-1 is not prime. Res64: 9B3A197074A3CCA0 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:44:54] 741*2^1566729-1 is not prime. Res64: E6DB857EA5C8B3A2 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:44:54] 847*2^1566729-1 is not prime. Res64: 88367530661F35EE Time : 0.0 sec. user=mdettweiler [2020-11-01 10:56:48] 907*2^1566729-1 is not prime. Res64: 840A690E19698DB6 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:56:49] 605*2^1566730-1 is not prime. Res64: B6869C35A557C3DF Time : 0.0 sec. user=mdettweiler [2020-11-01 10:56:50] 671*2^1566730-1 is not prime. Res64: 205831D3EF3E8843 Time : 0.0 sec. user=mdettweiler [2020-11-01 10:56:50] 687*2^1566730-1 is not prime. Res64: A479881EA507D3EE Time : 0.0 sec. user=mdettweiler [2020-11-01 10:56:51] 777*2^1566730-1 is not prime. Res64: A2B8517EE2491B14 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:41:56] 791*2^1566730-1 is not prime. Res64: DED9723B55BB5E0C Time : 0.0 sec. user=mdettweiler [2020-11-01 11:41:58] 813*2^1566730-1 is not prime. Res64: F47359EA91698A46 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:41:59] 873*2^1566730-1 is not prime. Res64: 90438253EF1300EF Time : 0.0 sec. user=mdettweiler [2020-11-01 11:42:00] 987*2^1566730-1 is not prime. Res64: 6D599FB1011FF698 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:42:02] 601*2^1566731-1 is not prime. Res64: A6FF88305C3A36DA Time : 0.0 sec. user=mdettweiler [2020-11-01 11:52:44] 693*2^1566731-1 is not prime. Res64: 7695DE70480F30F6 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:52:44] 885*2^1566731-1 is not prime. Res64: ECEAA406AAE58770 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:52:45] 913*2^1566731-1 is not prime. Res64: 8E19BE214FF26056 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:52:46] 943*2^1566731-1 is not prime. Res64: 0D571F275DB40586 Time : 0.0 sec. user=mdettweiler [2020-11-01 11:52:47] 609*2^1566732-1 is not prime. Res64: C3C7211FDCF58EFD Time : 0.0 sec. user=mdettweiler [2020-11-01 12:40:17] 777*2^1566732-1 is not prime. Res64: EF64AA393ED13DAC Time : 0.0 sec. user=mdettweiler [2020-11-01 12:40:20] 837*2^1566732-1 is not prime. Res64: 60BD1716B45F48BF Time : 0.0 sec. user=mdettweiler [2020-11-01 12:40:21] 915*2^1566732-1 is not prime. Res64: 2F41278CC07220C1 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:40:22] 929*2^1566732-1 is not prime. Res64: DABF9ECCE2E36312 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:40:22] 775*2^1566733-1 is not prime. Res64: 972BB2FEA6589934 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:47:48] 915*2^1566733-1 is not prime. Res64: 5DAD80424873CF30 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:47:48] 957*2^1566733-1 is not prime. Res64: 808388A0DFB82419 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:47:49] 651*2^1566734-1 is not prime. Res64: 9B469C953CAA48D9 Time : 0.0 sec. user=mdettweiler [2020-11-01 12:47:50] 675*2^1566734-1 is not prime. Res64: D152B81B2D8FB7BB Time : 0.0 sec. user=mdettweiler [2020-11-01 12:47:50] 711*2^1566734-1 is not prime. Res64: 030798F240345501 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:42:25] 813*2^1566734-1 is not prime. Res64: B6E57306BC65E0E7 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:42:26] 917*2^1566734-1 is not prime. Res64: 425B5D75BCD32BD0 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:42:27] 935*2^1566734-1 is not prime. Res64: EC6A03E244BDD7D0 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:42:27] 945*2^1566734-1 is not prime. Res64: 0707FC45105BB934 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:42:28] 669*2^1566735-1 is not prime. Res64: 8EA447273CB914C0 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:54:23] 705*2^1566735-1 is not prime. Res64: 0766F50226321108 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:54:24] 805*2^1566735-1 is not prime. Res64: C9D76872007F6A58 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:54:25] 831*2^1566735-1 is not prime. Res64: FF0168EFE4AF648F Time : 0.0 sec. user=mdettweiler [2020-11-01 13:54:25] 871*2^1566735-1 is not prime. Res64: 99E7A4FD79259E38 Time : 0.0 sec. user=mdettweiler [2020-11-01 13:54:26] 951*2^1566735-1 is not prime. Res64: 9BDFE6A2E2EF40B3 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:37:07] 985*2^1566735-1 is not prime. Res64: B96FBCE10E98EB8F Time : 0.0 sec. user=mdettweiler [2020-11-01 14:37:08] 609*2^1566736-1 is not prime. Res64: EE1C4DF9E26623C5 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:37:09] 657*2^1566736-1 is not prime. Res64: 09FFB3C5F2FE5CA5 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:37:10] 693*2^1566736-1 is not prime. Res64: A47F87595AFF29D3 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:37:11] 785*2^1566736-1 is not prime. Res64: 1360911B9B7E685E Time : 0.0 sec. user=mdettweiler [2020-11-01 14:51:29] 843*2^1566736-1 is not prime. Res64: 2206DE6B05C542C1 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:51:30] 947*2^1566736-1 is not prime. Res64: 41315F2A88834877 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:51:31] 969*2^1566736-1 is not prime. Res64: 6D1FB0A5ED1712F7 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:51:31] 983*2^1566736-1 is not prime. Res64: AD20A0E9FE0D94E4 Time : 0.0 sec. user=mdettweiler [2020-11-01 14:51:32] 747*2^1566737-1 is not prime. Res64: D8426D8F68AF31CC Time : 0.0 sec. user=mdettweiler [2020-11-01 15:31:41] 759*2^1566737-1 is not prime. Res64: 4DB8C43EC0A8703A Time : 0.0 sec. user=mdettweiler [2020-11-01 15:31:44] 681*2^1566738-1 is not prime. Res64: 6550EE7D888420B1 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:31:46] 713*2^1566738-1 is not prime. Res64: FFA780A7DF4046B2 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:31:47] 725*2^1566738-1 is not prime. Res64: 12C0BD711A8D3746 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:31:49] 945*2^1566738-1 is not prime. Res64: CB0D927E91DDD842 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:46:40] 971*2^1566738-1 is not prime. Res64: 69706F21ED1B2BA3 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:46:41] 639*2^1566739-1 is not prime. Res64: 5DD1CD013BB9D25B Time : 0.0 sec. user=mdettweiler [2020-11-01 15:46:42] 693*2^1566739-1 is not prime. Res64: E8BF78716B93BAA8 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:46:42] 709*2^1566739-1 is not prime. Res64: 5D5F2E1B61793150 Time : 0.0 sec. user=mdettweiler [2020-11-01 15:46:43] 775*2^1566739-1 is not prime. Res64: E8AFCE526F3FBDF5 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:28:05] 873*2^1566739-1 is not prime. Res64: EE2F9CA0475C0BAF Time : 0.0 sec. user=mdettweiler [2020-11-01 16:28:06] 665*2^1566740-1 is not prime. Res64: 6DB4C2252694EFD2 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:28:06] 677*2^1566740-1 is not prime. Res64: E9B66EF676C488A8 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:28:06] 777*2^1566740-1 is not prime. Res64: 2886D77A6BA811F2 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:28:07] 795*2^1566740-1 is not prime. Res64: 1422F58277F1022C Time : 0.0 sec. user=mdettweiler [2020-11-01 16:42:23] 795*2^1566741-1 is not prime. Res64: F350A08193116C32 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:42:23] 927*2^1566741-1 is not prime. Res64: C3EAA8E6506C6A99 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:42:24] 949*2^1566741-1 is not prime. Res64: 9BE1575D3D46EF89 Time : 0.0 sec. user=mdettweiler [2020-11-01 16:42:24] 603*2^1566742-1 is not prime. Res64: F77037211EE303BC Time : 0.0 sec. user=mdettweiler [2020-11-01 16:42:25] 681*2^1566742-1 is not prime. Res64: CA40A60F5F42EA9D Time : 0.0 sec. user=mdettweiler [2020-11-01 17:24:04] 737*2^1566742-1 is not prime. Res64: 8C09A2976C0FCB9D Time : 0.0 sec. user=mdettweiler [2020-11-01 17:24:05] 761*2^1566742-1 is not prime. Res64: 941D09698C4A03DD Time : 0.0 sec. user=mdettweiler [2020-11-01 17:24:05] 791*2^1566742-1 is not prime. Res64: 80340FBC7B411468 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:24:06] 873*2^1566742-1 is not prime. Res64: 192AE7E39518F88B Time : 0.0 sec. user=mdettweiler [2020-11-01 17:24:06] 911*2^1566742-1 is not prime. Res64: A6CAEA7B6FFAAC29 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:38:18] 995*2^1566742-1 is not prime. Res64: F3B69C4528D41780 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:38:19] 735*2^1566743-1 is not prime. Res64: 2287AA2F3713C3B9 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:38:19] 753*2^1566743-1 is not prime. Res64: DF1DC8F1E8A32342 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:38:20] 771*2^1566743-1 is not prime. Res64: 213FB87AD7F19FC4 Time : 0.0 sec. user=mdettweiler [2020-11-01 17:38:20] 825*2^1566743-1 is not prime. Res64: 489EF987E2F6E1A3 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:18:46] 635*2^1566744-1 is not prime. Res64: C956C1DAB486D8F7 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:18:48] 707*2^1566744-1 is not prime. Res64: E0562A5175949E89 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:18:49] 759*2^1566744-1 is not prime. Res64: FCC889A39B77B784 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:18:50] 905*2^1566744-1 is not prime. Res64: DD614597D699A2D8 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:18:51] 917*2^1566744-1 is not prime. Res64: 4270B534B0577298 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:34:17] 645*2^1566745-1 is not prime. Res64: D75D143B4CF0E218 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:34:18] 741*2^1566745-1 is not prime. Res64: E8A0B297ED998A92 Time : 0.0 sec. user=mdettweiler [2020-11-01 18:34:18] 895*2^1566745-1 is not prime. Res64: D4E13BE68A96370E Time : 0.0 sec. user=mdettweiler [2020-11-01 18:34:19] 939*2^1566745-1 is not prime. Res64: 757F54A6B59AAE6E Time : 0.0 sec. user=mdettweiler [2020-11-01 18:34:19] 999*2^1566745-1 is not prime. Res64: 592ED8EF1D1F70C2 Time : 0.0 sec. user=mdettweiler [2020-11-01 19:11:35] 615*2^1566746-1 is not prime. Res64: 5BD09D955EAEE397 Time : 0.0 sec. user=mdettweiler [2020-11-01 19:11:39] 645*2^1566746-1 is not prime. Res64: D678AA14F95C95FD Time : 0.0 sec. user=mdettweiler [2020-11-01 19:11:40] 651*2^1566746-1 is not prime. Res64: C888DDA7244E6BAA Time : 0.0 sec. user=mdettweiler [2020-11-01 19:11:41] 677*2^1566746-1 is not prime. Res64: 80F21EDB8D0DE6CB Time : 0.0 sec. user=mdettweiler [2020-11-01 19:11:44] 705*2^1566746-1 is not prime. Res64: 651642D52215CF4C Time : 0.0 sec. user=mdettweiler [2020-11-01 19:31:19] 735*2^1566746-1 is not prime. Res64: 4CB281B244D89E3E Time : 0.0 sec. user=mdettweiler [2020-11-01 19:31:20] 785*2^1566746-1 is not prime. Res64: F40361625560FFBE Time : 0.0 sec. user=mdettweiler [2020-11-01 19:31:21] 801*2^1566746-1 is not prime. Res64: 317A229797CC029E Time : 0.0 sec. user=mdettweiler [2020-11-01 19:31:21] 813*2^1566746-1 is not prime. Res64: C9F1DFD02E20DF56 Time : 0.0 sec. user=mdettweiler [2020-11-01 19:31:22] 833*2^1566746-1 is not prime. Res64: 28B7F4D8AAC8EA80 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:08:27] 873*2^1566746-1 is not prime. Res64: 4048A180A3922564 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:08:33] 903*2^1566746-1 is not prime. Res64: 327A4360E49E1753 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:08:35] 953*2^1566746-1 is not prime. Res64: 447A849C7F0921F4 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:08:39] 651*2^1566747-1 is not prime. Res64: 97786A75303B883B Time : 0.0 sec. user=mdettweiler [2020-11-01 20:08:41] 709*2^1566747-1 is not prime. Res64: F7728FFC26662282 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:29:42] 795*2^1566747-1 is not prime. Res64: D80FB3DC95A713C4 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:29:42] 801*2^1566747-1 is not prime. Res64: 6675A490981EEF02 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:29:43] 805*2^1566747-1 is not prime. Res64: E03DABAD2D188FE3 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:29:43] 871*2^1566747-1 is not prime. Res64: 6FED45C462140AD5 Time : 0.0 sec. user=mdettweiler [2020-11-01 20:29:43] 879*2^1566747-1 is not prime. Res64: F143D531431D086C Time : 0.0 sec. user=mdettweiler [2020-11-01 21:04:59] 973*2^1566747-1 is not prime. Res64: 2BE3A01982CC6568 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:05:03] 979*2^1566747-1 is not prime. Res64: ED50639CDFC500E7 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:05:06] 635*2^1566748-1 is not prime. Res64: 1A107037B44843E3 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:05:09] 695*2^1566748-1 is not prime. Res64: 73A5D749A95CF1C3 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:05:14] 773*2^1566748-1 is not prime. Res64: 9C991CFAA8DBBB1A Time : 0.0 sec. user=mdettweiler [2020-11-01 21:27:49] 833*2^1566748-1 is not prime. Res64: 05CDC71E7B9288B5 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:27:49] 875*2^1566748-1 is not prime. Res64: 4DAADF2F2A733B3B Time : 0.0 sec. user=mdettweiler [2020-11-01 21:27:50] 897*2^1566748-1 is not prime. Res64: B75FCE41E1451607 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:27:50] 975*2^1566748-1 is not prime. Res64: C091CCA994E71EC5 Time : 0.0 sec. user=mdettweiler [2020-11-01 21:27:51] 987*2^1566748-1 is not prime. Res64: 49FD26E0BDBC1C72 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:01:28] 989*2^1566748-1 is not prime. Res64: 52163030103F9534 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:01:31] 615*2^1566749-1 is not prime. Res64: 41D1CFBB67150AE9 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:01:35] 649*2^1566749-1 is not prime. Res64: 67F2F0248577F252 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:01:38] 811*2^1566749-1 is not prime. Res64: 6FB77F241D37E52D Time : 0.0 sec. user=mdettweiler [2020-11-01 22:01:39] 825*2^1566749-1 is not prime. Res64: 8D0C99F4056C11DA Time : 0.0 sec. user=mdettweiler [2020-11-01 22:23:38] 969*2^1566749-1 is not prime. Res64: A58A6EF29E84D86C Time : 0.0 sec. user=mdettweiler [2020-11-01 22:23:39] 991*2^1566749-1 is not prime. Res64: 04D356F3EC624EA1 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:23:39] 641*2^1566750-1 is not prime. Res64: DB87A5EB4CC1F554 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:23:40] 713*2^1566750-1 is not prime. Res64: B0BA8AA91A6C6A0E Time : 0.0 sec. user=mdettweiler [2020-11-01 22:23:40] 927*2^1566750-1 is not prime. Res64: 396B190CBE42943F Time : 0.0 sec. user=mdettweiler [2020-11-01 22:54:32] 645*2^1566751-1 is not prime. Res64: 00BC1F638760D3CD Time : 0.0 sec. user=mdettweiler [2020-11-01 22:54:32] 703*2^1566751-1 is not prime. Res64: A690BC101A8C3463 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:54:33] 709*2^1566751-1 is not prime. Res64: 862EC37EE57EF665 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:54:33] 633*2^1566752-1 is not prime. Res64: 80E1584CDF4BD203 Time : 0.0 sec. user=mdettweiler [2020-11-01 22:54:34] 689*2^1566752-1 is not prime. Res64: 2FBDEF8E027D641C Time : 0.0 sec. user=mdettweiler [2020-11-01 23:18:33] 957*2^1566752-1 is not prime. Res64: A34C57F01FD9116C Time : 0.0 sec. user=mdettweiler [2020-11-01 23:18:34] 705*2^1566753-1 is not prime. Res64: 5EE77748A88A6A48 Time : 0.0 sec. user=mdettweiler [2020-11-01 23:18:34] 735*2^1566753-1 is not prime. Res64: 124B23C98601B9FD Time : 0.0 sec. user=mdettweiler [2020-11-01 23:18:35] 747*2^1566753-1 is not prime. Res64: DAD099B7A77452FB Time : 0.0 sec. user=mdettweiler [2020-11-01 23:18:36] 829*2^1566753-1 is not prime. Res64: 35852762554F3A9E Time : 0.0 sec. user=mdettweiler [2020-11-01 23:51:35] 877*2^1566753-1 is not prime. Res64: AE5E968A027DEAA1 Time : 0.0 sec. user=mdettweiler [2020-11-01 23:51:36] 937*2^1566753-1 is not prime. Res64: 607C102CDFD2EC1C Time : 0.0 sec. user=mdettweiler [2020-11-01 23:51:36] 985*2^1566753-1 is not prime. Res64: 89B5832D2A9F2395 Time : 0.0 sec. user=mdettweiler [2020-11-01 23:51:37] 645*2^1566754-1 is not prime. Res64: C77BD83ECE4C3E77 Time : 0.0 sec. user=mdettweiler [2020-11-01 23:51:37] 813*2^1566754-1 is not prime. Res64: AA70F4ACD5EBA6C2 Time : 0.0 sec.