user=mdettweiler [2020-09-22 00:34:06] 899*2^1565128-1 is not prime. Res64: 2E57A38245EA43AF Time : 0.0 sec. user=mdettweiler [2020-09-22 00:34:07] 601*2^1565129-1 is not prime. Res64: 4B3651F35917E455 Time : 0.0 sec. user=mdettweiler [2020-09-22 00:34:07] 645*2^1565129-1 is not prime. Res64: 8BA3CCA2A09AD072 Time : 0.0 sec. user=mdettweiler [2020-09-22 00:34:08] 691*2^1565129-1 is not prime. Res64: 12054548840B6651 Time : 0.0 sec. user=mdettweiler [2020-09-22 00:34:09] 721*2^1565129-1 is not prime. Res64: D25390E7B1FECEBA Time : 0.0 sec. user=mdettweiler [2020-09-22 00:37:41] 829*2^1565127-1 is not prime. Res64: 1562FF657C6E544B Time : 0.0 sec. user=mdettweiler [2020-09-22 00:37:41] 901*2^1565127-1 is not prime. Res64: 7595E3C1B27547F8 Time : 0.0 sec. user=mdettweiler [2020-09-22 00:37:42] 975*2^1565127-1 is not prime. Res64: 8AD11DAB076381E4 Time : 0.0 sec. user=mdettweiler [2020-09-22 00:37:42] 985*2^1565127-1 is not prime. Res64: FBBF42D285BC155E Time : 0.0 sec. user=mdettweiler [2020-09-22 00:37:43] 755*2^1565128-1 is not prime. Res64: 2CF083ACADEB7E1C Time : 0.0 sec. user=mdettweiler [2020-09-22 01:30:15] 729*2^1565129-1 is not prime. Res64: D56780DE265EFAF0 Time : 0.0 sec. user=mdettweiler [2020-09-22 01:30:22] 745*2^1565129-1 is not prime. Res64: E924B75C60C6F27F Time : 0.0 sec. user=mdettweiler [2020-09-22 01:30:27] 795*2^1565129-1 is not prime. Res64: 260E4958C6210204 Time : 0.0 sec. user=mdettweiler [2020-09-22 01:30:30] 829*2^1565129-1 is not prime. Res64: 187C0599F5948248 Time : 0.0 sec. user=mdettweiler [2020-09-22 01:30:33] 867*2^1565129-1 is not prime. Res64: 0969DE31B2E0C555 Time : 0.0 sec. user=mdettweiler [2020-09-22 01:31:30] 657*2^1565130-1 is not prime. Res64: EE00534C0DE301AA Time : 0.0 sec. user=mdettweiler [2020-09-22 01:31:32] 671*2^1565130-1 is not prime. Res64: 8918158886830A9A Time : 0.0 sec. user=mdettweiler [2020-09-22 01:31:34] 681*2^1565130-1 is not prime. Res64: F80B1A19244DCE51 Time : 0.0 sec. user=mdettweiler [2020-09-22 01:31:35] 735*2^1565130-1 is not prime. Res64: A857F418328B20FD Time : 0.0 sec. user=mdettweiler [2020-09-22 01:31:38] 923*2^1565130-1 is not prime. Res64: 7B97526746F1EB22 Time : 0.0 sec. user=mdettweiler [2020-09-22 02:24:12] 971*2^1565130-1 is not prime. Res64: EE026B30E07D8605 Time : 0.0 sec. user=mdettweiler [2020-09-22 02:24:14] 619*2^1565131-1 is not prime. Res64: 49C9EF6F7C6D6B0E Time : 0.0 sec. user=mdettweiler [2020-09-22 02:24:17] 649*2^1565131-1 is not prime. Res64: 82FC044405CBC490 Time : 0.0 sec. user=mdettweiler [2020-09-22 02:24:19] 663*2^1565131-1 is not prime. Res64: 1B299649183BB390 Time : 0.0 sec. user=mdettweiler [2020-09-22 02:24:22] 691*2^1565131-1 is not prime. Res64: BCD7D0E2428DB5FF Time : 0.0 sec. user=mdettweiler [2020-09-22 02:26:23] 769*2^1565131-1 is not prime. Res64: 3E680628C5D42A07 Time : 0.0 sec. user=mdettweiler [2020-09-22 03:22:07] 755*2^1565132-1 is not prime. Res64: FA4A62AB54215AF8 Time : 0.0 sec. user=mdettweiler [2020-09-22 03:22:08] 797*2^1565132-1 is not prime. Res64: 681C687A052D9CA4 Time : 0.0 sec. user=mdettweiler [2020-09-22 03:22:10] 803*2^1565132-1 is not prime. Res64: 3C26F5A872FF791A Time : 0.0 sec. user=mdettweiler [2020-09-22 03:22:10] 827*2^1565132-1 is not prime. Res64: D754C7EE3FD178A1 Time : 0.0 sec. user=mdettweiler [2020-09-22 03:22:11] 855*2^1565132-1 is not prime. Res64: 2244526D1D45A34D Time : 0.0 sec. user=mdettweiler [2020-09-22 04:18:23] 899*2^1565132-1 is not prime. Res64: 75D43BD57A9EC55B Time : 0.0 sec. user=mdettweiler [2020-09-22 04:18:30] 995*2^1565132-1 is not prime. Res64: 6C9015504D59CACB Time : 0.0 sec. user=mdettweiler [2020-09-22 04:18:38] 657*2^1565133-1 is not prime. Res64: 4C8AF966319A6CA7 Time : 0.0 sec. user=mdettweiler [2020-09-22 04:18:44] 727*2^1565133-1 is not prime. Res64: D8111DB656A5B1F7 Time : 0.0 sec. user=mdettweiler [2020-09-22 04:18:48] 781*2^1565133-1 is not prime. Res64: C04FF9CA7733B06D Time : 0.0 sec. user=mdettweiler [2020-09-22 05:16:47] 867*2^1565133-1 is not prime. Res64: 424FFB7A0D912FA8 Time : 0.0 sec. user=mdettweiler [2020-09-22 05:16:50] 951*2^1565133-1 is not prime. Res64: E9E0395C3BA42CB6 Time : 0.0 sec. user=mdettweiler [2020-09-22 05:16:52] 675*2^1565134-1 is not prime. Res64: BCF3C69F47203166 Time : 0.0 sec. user=mdettweiler [2020-09-22 05:16:53] 825*2^1565134-1 is not prime. Res64: 393BA75FE8BA730E Time : 0.0 sec. user=mdettweiler [2020-09-22 05:16:54] 833*2^1565134-1 is not prime. Res64: 5270E5075944FE80 Time : 0.0 sec. user=mdettweiler [2020-09-22 06:13:13] 881*2^1565134-1 is not prime. Res64: CA3C2C08CDD9F3B6 Time : 0.0 sec. user=mdettweiler [2020-09-22 06:13:14] 941*2^1565134-1 is not prime. Res64: C0F26D9401A3B410 Time : 0.0 sec. user=mdettweiler [2020-09-22 06:13:15] 951*2^1565134-1 is not prime. Res64: 625B61E3F8D57259 Time : 0.0 sec. user=mdettweiler [2020-09-22 06:13:16] 669*2^1565135-1 is not prime. Res64: 610F683500F6DA01 Time : 0.0 sec. user=mdettweiler [2020-09-22 06:13:17] 679*2^1565135-1 is not prime. Res64: AF7942FDC9D0E426 Time : 0.0 sec. user=mdettweiler [2020-09-22 07:09:31] 685*2^1565135-1 is not prime. Res64: 6D23339CB84A5BF0 Time : 0.0 sec. user=mdettweiler [2020-09-22 07:09:32] 883*2^1565135-1 is not prime. Res64: 219D0AA3C084B700 Time : 0.0 sec. user=mdettweiler [2020-09-22 07:09:33] 669*2^1565136-1 is not prime. Res64: 26F6E4A1C3DBEDFD Time : 0.0 sec. user=mdettweiler [2020-09-22 07:09:33] 843*2^1565136-1 is not prime. Res64: 601D5D271BFCA5A7 Time : 0.0 sec. user=mdettweiler [2020-09-22 07:09:34] 845*2^1565136-1 is not prime. Res64: 344DCC050D238446 Time : 0.0 sec. user=mdettweiler [2020-09-22 08:05:26] 945*2^1565136-1 is not prime. Res64: 955AD16419ED18BF Time : 0.0 sec. user=mdettweiler [2020-09-22 08:05:30] 957*2^1565136-1 is not prime. Res64: 4DC826B898DCAD7B Time : 0.0 sec. user=mdettweiler [2020-09-22 08:05:33] 993*2^1565136-1 is not prime. Res64: 64ED87FC3EC45F8B Time : 0.0 sec. user=mdettweiler [2020-09-22 08:05:38] 645*2^1565137-1 is not prime. Res64: 120018F6DF255823 Time : 0.0 sec. user=mdettweiler [2020-09-22 08:05:42] 729*2^1565137-1 is not prime. Res64: 095C2AFC4B2861D2 Time : 0.0 sec. user=mdettweiler [2020-09-22 09:01:16] 741*2^1565137-1 is not prime. Res64: 2E7364FB0B9A1373 Time : 0.0 sec. user=mdettweiler [2020-09-22 09:01:20] 769*2^1565137-1 is not prime. Res64: D64F5797E67341CF Time : 0.0 sec. user=mdettweiler [2020-09-22 09:01:22] 777*2^1565137-1 is not prime. Res64: C45465FB9CD0AEE1 Time : 0.0 sec. user=mdettweiler [2020-09-22 09:01:25] 801*2^1565137-1 is not prime. Res64: FE0BAA9040960E5B Time : 0.0 sec. user=mdettweiler [2020-09-22 09:01:28] 807*2^1565137-1 is not prime. Res64: C0D50741D3233C6F Time : 0.0 sec. user=mdettweiler [2020-09-22 09:59:49] 841*2^1565137-1 is not prime. Res64: BC480CB9BA8752BE Time : 0.0 sec. user=mdettweiler [2020-09-22 09:59:50] 867*2^1565137-1 is not prime. Res64: 7088401E0E67C0F8 Time : 0.0 sec. user=mdettweiler [2020-09-22 09:59:51] 889*2^1565137-1 is not prime. Res64: F8922A203C22CC6A Time : 0.0 sec. user=mdettweiler [2020-09-22 09:59:52] 895*2^1565137-1 is not prime. Res64: DFD9771814D2FA93 Time : 0.0 sec. user=mdettweiler [2020-09-22 09:59:53] 915*2^1565137-1 is not prime. Res64: 6EBC1887084664E0 Time : 0.0 sec. user=mdettweiler [2020-09-22 10:54:40] 735*2^1565138-1 is not prime. Res64: D5B4454361AFF136 Time : 0.0 sec. user=mdettweiler [2020-09-22 10:54:41] 957*2^1565138-1 is not prime. Res64: B27C1DACA4994CFF Time : 0.0 sec. user=mdettweiler [2020-09-22 10:54:43] 995*2^1565138-1 is not prime. Res64: ABEE56F066C1B0AE Time : 0.0 sec. user=mdettweiler [2020-09-22 10:54:44] 609*2^1565139-1 is not prime. Res64: 77BBE8C859D464C4 Time : 0.0 sec. user=mdettweiler [2020-09-22 10:54:45] 723*2^1565139-1 is not prime. Res64: C81A672520B84E09 Time : 0.0 sec. user=mdettweiler [2020-09-22 11:17:05] 805*2^1565131-1 is prime! Time : 0.0 sec. user=mdettweiler [2020-09-22 11:17:08] 885*2^1565131-1 is not prime. Res64: 550007282E3C71AE Time : 0.0 sec. user=mdettweiler [2020-09-22 11:17:10] 623*2^1565132-1 is not prime. Res64: B76905E6ED1F7FDF Time : 0.0 sec. user=mdettweiler [2020-09-22 11:17:11] 743*2^1565132-1 is not prime. Res64: 6AE452551CFECB96 Time : 0.0 sec. user=mdettweiler [2020-09-22 11:50:33] 789*2^1565139-1 is not prime. Res64: 98AC719246A06CC1 Time : 0.0 sec. user=mdettweiler [2020-09-22 11:50:35] 895*2^1565139-1 is not prime. Res64: 76FC380CFB8380B8 Time : 0.0 sec. user=mdettweiler [2020-09-22 11:50:36] 949*2^1565139-1 is not prime. Res64: 2610E5CC0042DE16 Time : 0.0 sec. user=mdettweiler [2020-09-22 11:50:37] 615*2^1565140-1 is not prime. Res64: E2799B623D859A5F Time : 0.0 sec. user=mdettweiler [2020-09-22 11:50:38] 699*2^1565140-1 is not prime. Res64: 05B54987A764A53A Time : 0.0 sec. user=mdettweiler [2020-09-22 12:13:20] 797*2^1565140-1 is not prime. Res64: 11D873AC6CE15CDB Time : 0.0 sec. user=mdettweiler [2020-09-22 12:13:21] 855*2^1565140-1 is not prime. Res64: 80441E76802C7068 Time : 0.0 sec. user=mdettweiler [2020-09-22 12:13:22] 909*2^1565140-1 is not prime. Res64: 3F3392CC9047AE28 Time : 0.0 sec. user=mdettweiler [2020-09-22 12:13:23] 741*2^1565141-1 is not prime. Res64: 5D024B36D1E90556 Time : 0.0 sec. user=mdettweiler [2020-09-22 12:13:24] 757*2^1565141-1 is not prime. Res64: B9035A5A91C6C4FE Time : 0.0 sec. user=mdettweiler [2020-09-22 12:47:43] 789*2^1565141-1 is not prime. Res64: AA4043832611002F Time : 0.0 sec. user=mdettweiler [2020-09-22 12:47:44] 795*2^1565141-1 is not prime. Res64: 85BDFFF62DE192F1 Time : 0.0 sec. user=mdettweiler [2020-09-22 12:47:44] 987*2^1565141-1 is not prime. Res64: 32F09A864B79C181 Time : 0.0 sec. user=mdettweiler [2020-09-22 12:47:45] 725*2^1565142-1 is not prime. Res64: 279C8CADBB44933D Time : 0.0 sec. user=mdettweiler [2020-09-22 12:47:46] 791*2^1565142-1 is not prime. Res64: 445524404267C07C Time : 0.0 sec. user=mdettweiler [2020-09-22 13:07:00] 797*2^1565142-1 is not prime. Res64: 5AAB105FFE209C7B Time : 0.0 sec. user=mdettweiler [2020-09-22 13:07:04] 633*2^1565143-1 is not prime. Res64: 91F26F171C4FF490 Time : 0.0 sec. user=mdettweiler [2020-09-22 13:07:06] 681*2^1565143-1 is not prime. Res64: 50772D0AB46556A3 Time : 0.0 sec. user=mdettweiler [2020-09-22 13:07:09] 693*2^1565143-1 is not prime. Res64: 01C1DF6FBA8D4DFC Time : 0.0 sec. user=mdettweiler [2020-09-22 13:07:11] 705*2^1565143-1 is not prime. Res64: F816262B70DF5C95 Time : 0.0 sec. user=mdettweiler [2020-09-22 13:42:24] 709*2^1565143-1 is not prime. Res64: 7A5CCA4977644628 Time : 0.0 sec. user=mdettweiler [2020-09-22 13:42:25] 741*2^1565143-1 is not prime. Res64: 0F127D7D6DFFB43D Time : 0.0 sec. user=mdettweiler [2020-09-22 13:42:26] 789*2^1565143-1 is not prime. Res64: DC3BD043CEEA20C6 Time : 0.0 sec. user=mdettweiler [2020-09-22 13:42:27] 915*2^1565143-1 is not prime. Res64: 9CC295A7FB58BC7E Time : 0.0 sec. user=mdettweiler [2020-09-22 13:42:28] 635*2^1565144-1 is not prime. Res64: 7BB5200432BF4139 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:03:37] 657*2^1565144-1 is not prime. Res64: EDB0CE51055F5CC4 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:03:42] 759*2^1565144-1 is not prime. Res64: 186CD3AEEF89C7D5 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:03:46] 795*2^1565144-1 is not prime. Res64: 3C621022DC2B5DFF Time : 0.0 sec. user=mdettweiler [2020-09-22 14:03:49] 819*2^1565144-1 is not prime. Res64: 80D03BB77EFB3885 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:03:52] 923*2^1565144-1 is not prime. Res64: 9366E68D0BD8E084 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:36:44] 649*2^1565145-1 is not prime. Res64: D1C74B66BC1160B3 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:36:46] 651*2^1565145-1 is not prime. Res64: 873DA8BB0B759290 Time : 0.0 sec. user=mdettweiler [2020-09-22 14:36:46] 657*2^1565145-1 is not prime. Res64: C308208931447A5E Time : 0.0 sec. user=mdettweiler [2020-09-22 14:36:47] 781*2^1565145-1 is not prime. Res64: 931B74A6A63C35AF Time : 0.0 sec. user=mdettweiler [2020-09-22 14:36:48] 805*2^1565145-1 is not prime. Res64: CB44211BFAF5D49E Time : 0.0 sec. user=mdettweiler [2020-09-22 15:00:17] 817*2^1565145-1 is not prime. Res64: CC83DD689309E981 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:00:18] 819*2^1565145-1 is not prime. Res64: 52CA74C4E485DB6A Time : 0.0 sec. user=mdettweiler [2020-09-22 15:00:19] 741*2^1565146-1 is not prime. Res64: BC9D73129DD5C126 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:00:20] 773*2^1565146-1 is not prime. Res64: 4B2A724D26562BAE Time : 0.0 sec. user=mdettweiler [2020-09-22 15:00:21] 855*2^1565146-1 is not prime. Res64: D92C14E5517FC62F Time : 0.0 sec. user=mdettweiler [2020-09-22 15:30:23] 911*2^1565146-1 is not prime. Res64: 0CC5634AC08B9722 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:30:24] 621*2^1565147-1 is not prime. Res64: 5DB11DF451E34F76 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:30:25] 705*2^1565147-1 is not prime. Res64: 22C1D586C2F8D4D8 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:30:25] 741*2^1565147-1 is not prime. Res64: 37E0D88C8995BBB7 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:30:26] 775*2^1565147-1 is not prime. Res64: 3578434AC8D17080 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:58:45] 813*2^1565147-1 is not prime. Res64: 1B4D3CDE90CE8C7E Time : 0.0 sec. user=mdettweiler [2020-09-22 15:58:46] 825*2^1565147-1 is not prime. Res64: 62325030CF615CE0 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:58:47] 843*2^1565147-1 is not prime. Res64: 9EAE7450BA1F3E98 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:58:48] 885*2^1565147-1 is not prime. Res64: F4C2E75165BE47F9 Time : 0.0 sec. user=mdettweiler [2020-09-22 15:58:49] 985*2^1565147-1 is not prime. Res64: 7D94D0FD9AF50B0E Time : 0.0 sec. user=mdettweiler [2020-09-22 16:27:26] 777*2^1565148-1 is not prime. Res64: 78A80A59EEC95CEC Time : 0.0 sec. user=mdettweiler [2020-09-22 16:27:27] 837*2^1565148-1 is not prime. Res64: 024744FE31CEDB0C Time : 0.0 sec. user=mdettweiler [2020-09-22 16:27:28] 887*2^1565148-1 is not prime. Res64: FFACDC6A0E1E3EDF Time : 0.0 sec. user=mdettweiler [2020-09-22 16:27:28] 915*2^1565148-1 is not prime. Res64: 113C11B1E2A9168A Time : 0.0 sec. user=mdettweiler [2020-09-22 16:27:29] 987*2^1565148-1 is not prime. Res64: 8CDAEE337972681D Time : 0.0 sec. user=mdettweiler [2020-09-22 16:56:02] 993*2^1565148-1 is not prime. Res64: 7402EB78D78EE57A Time : 0.0 sec. user=mdettweiler [2020-09-22 16:56:02] 675*2^1565149-1 is not prime. Res64: F10950F7E214CBB6 Time : 0.0 sec. user=mdettweiler [2020-09-22 16:56:03] 919*2^1565149-1 is not prime. Res64: 24BEBC9C50C5FC55 Time : 0.0 sec. user=mdettweiler [2020-09-22 16:56:04] 955*2^1565149-1 is not prime. Res64: 574A64E6056CE537 Time : 0.0 sec. user=mdettweiler [2020-09-22 16:56:04] 979*2^1565149-1 is not prime. Res64: 61ED3AD03526E7F0 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:20:42] 615*2^1565150-1 is not prime. Res64: 56EC727D38FA2A89 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:20:43] 627*2^1565150-1 is not prime. Res64: 5AC957A9A5B67474 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:20:44] 665*2^1565150-1 is not prime. Res64: 31E16E715D08C702 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:20:45] 767*2^1565150-1 is not prime. Res64: C4C49E9CEED8A470 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:20:46] 917*2^1565150-1 is not prime. Res64: B038D3D61057A241 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:51:46] 935*2^1565150-1 is not prime. Res64: F276D6C429ED8097 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:51:47] 977*2^1565150-1 is not prime. Res64: BC1C8D6A43F4D88F Time : 0.0 sec. user=mdettweiler [2020-09-22 17:51:48] 981*2^1565150-1 is not prime. Res64: 32FC84E310699137 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:51:48] 643*2^1565151-1 is not prime. Res64: DEA6F6BFA063B864 Time : 0.0 sec. user=mdettweiler [2020-09-22 17:51:49] 739*2^1565151-1 is not prime. Res64: 2E67CC9109C12670 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:15:30] 741*2^1565151-1 is not prime. Res64: B98B1F615961A8A9 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:15:31] 805*2^1565151-1 is not prime. Res64: 52AD5CA0606F4436 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:15:32] 999*2^1565151-1 is not prime. Res64: C7B922BA2C2D898D Time : 0.0 sec. user=mdettweiler [2020-09-22 18:15:33] 609*2^1565152-1 is not prime. Res64: E7A59D01407F23CF Time : 0.0 sec. user=mdettweiler [2020-09-22 18:15:35] 665*2^1565152-1 is not prime. Res64: BC698C2A0135CA06 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:47:52] 695*2^1565152-1 is not prime. Res64: AA5A6708B46A5AA0 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:47:53] 735*2^1565152-1 is not prime. Res64: 6D28FD22885C1B5B Time : 0.0 sec. user=mdettweiler [2020-09-22 18:47:53] 797*2^1565152-1 is not prime. Res64: 0CF9656265C467A7 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:47:54] 813*2^1565152-1 is not prime. Res64: 7388559430108EB0 Time : 0.0 sec. user=mdettweiler [2020-09-22 18:47:55] 959*2^1565152-1 is not prime. Res64: 3FD3527172DD611E Time : 0.0 sec. user=mdettweiler [2020-09-22 19:11:40] 801*2^1565153-1 is not prime. Res64: 6B9F477A1B366C7E Time : 0.0 sec. user=mdettweiler [2020-09-22 19:45:03] 917*2^1565154-1 is not prime. Res64: 56C7BE770BFDC7B1 Time : 0.0 sec. user=mdettweiler [2020-09-22 19:45:04] 709*2^1565155-1 is not prime. Res64: 368B51B617457EF6 Time : 0.0 sec. user=mdettweiler [2020-09-22 19:45:04] 843*2^1565155-1 is not prime. Res64: 1734063670DDCD95 Time : 0.0 sec. user=mdettweiler [2020-09-22 19:45:05] 873*2^1565155-1 is not prime. Res64: A6B34362F0C99BE6 Time : 0.0 sec. user=mdettweiler [2020-09-22 19:45:06] 909*2^1565155-1 is not prime. Res64: F9F90AD894EA40A1 Time : 0.0 sec. user=mdettweiler [2020-09-22 20:42:23] 915*2^1565155-1 is not prime. Res64: 59C2E871D58F5F09 Time : 0.0 sec. user=mdettweiler [2020-09-22 20:42:24] 743*2^1565156-1 is not prime. Res64: 9A6D973B26E6FB26 Time : 0.0 sec. user=mdettweiler [2020-09-22 20:42:25] 825*2^1565156-1 is not prime. Res64: 953DC24805761FB0 Time : 0.0 sec. user=mdettweiler [2020-09-22 20:42:26] 839*2^1565156-1 is not prime. Res64: 2D84D77F27C5626F Time : 0.0 sec. user=mdettweiler [2020-09-22 20:42:27] 983*2^1565156-1 is not prime. Res64: DA820BD0E903691D Time : 0.0 sec. user=mdettweiler [2020-09-22 21:38:42] 987*2^1565156-1 is not prime. Res64: 7DF1D06A15EEF019 Time : 0.0 sec. user=mdettweiler [2020-09-22 21:38:43] 999*2^1565156-1 is not prime. Res64: 1F026670A3FEA067 Time : 0.0 sec. user=mdettweiler [2020-09-22 21:38:44] 747*2^1565157-1 is not prime. Res64: 069366D33D194CBE Time : 0.0 sec. user=mdettweiler [2020-09-22 21:38:44] 765*2^1565157-1 is not prime. Res64: 6CF923A63735663C Time : 0.0 sec. user=mdettweiler [2020-09-22 21:38:45] 795*2^1565157-1 is not prime. Res64: 778611A68D3CB951 Time : 0.0 sec. user=mdettweiler [2020-09-22 22:33:33] 979*2^1565157-1 is not prime. Res64: 79F600AFAE1E3B9B Time : 0.0 sec. user=mdettweiler [2020-09-22 22:33:33] 605*2^1565158-1 is not prime. Res64: 089B312A7E04AA27 Time : 0.0 sec. user=mdettweiler [2020-09-22 22:33:34] 731*2^1565158-1 is not prime. Res64: 8F442129455392FB Time : 0.0 sec. user=mdettweiler [2020-09-22 22:33:35] 777*2^1565158-1 is not prime. Res64: 81E19FCA2F8E8BB9 Time : 0.0 sec. user=mdettweiler [2020-09-22 22:33:36] 827*2^1565158-1 is not prime. Res64: FF1122B6F93347EA Time : 0.0 sec. user=mdettweiler [2020-09-22 23:30:52] 857*2^1565158-1 is not prime. Res64: AE0737ADAB4EEA09 Time : 0.0 sec. user=mdettweiler [2020-09-22 23:30:53] 995*2^1565158-1 is not prime. Res64: 7E7ECA324A5D741D Time : 0.0 sec. user=mdettweiler [2020-09-22 23:30:54] 705*2^1565159-1 is not prime. Res64: 93A173A4F9F70333 Time : 0.0 sec. user=mdettweiler [2020-09-22 23:30:55] 955*2^1565159-1 is not prime. Res64: F472AA5A5B2ACBED Time : 0.0 sec. user=mdettweiler [2020-09-22 23:30:56] 973*2^1565159-1 is not prime. Res64: 83BA007E9D356167 Time : 0.0 sec.