user=mdettweiler [2020-11-29 00:14:20] 663*2^1567640-1 is not prime. Res64: 7BCE91AC4C20C3C0 Time : 0.0 sec. user=mdettweiler [2020-11-29 00:33:04] 935*2^1567640-1 is not prime. Res64: 8341A7F4CC62228F Time : 0.0 sec. user=mdettweiler [2020-11-29 00:33:04] 963*2^1567640-1 is not prime. Res64: 30484D61EBB6C545 Time : 0.0 sec. user=mdettweiler [2020-11-29 00:33:04] 607*2^1567641-1 is not prime. Res64: E26B8A832438A1F5 Time : 0.0 sec. user=mdettweiler [2020-11-29 00:33:05] 637*2^1567641-1 is not prime. Res64: 8AA71149E3252FC8 Time : 0.0 sec. user=mdettweiler [2020-11-29 00:33:05] 741*2^1567641-1 is not prime. Res64: 8503A45DDED77DDF Time : 0.0 sec. user=mdettweiler [2020-11-29 01:31:45] 781*2^1567641-1 is not prime. Res64: 3227E52DA1CAFF97 Time : 0.0 sec. user=mdettweiler [2020-11-29 05:46:01] 725*2^1567640-1 is not prime. Res64: E1632EEAC9683240 Time : 0.0 sec. user=mdettweiler [2020-11-29 06:38:53] 861*2^1567641-1 is not prime. Res64: BB87FAA50CF3A8D4 Time : 0.0 sec. user=mdettweiler [2020-11-29 06:38:54] 871*2^1567641-1 is not prime. Res64: C2CF3C0E3936290E Time : 0.0 sec. user=mdettweiler [2020-11-29 06:38:54] 895*2^1567641-1 is not prime. Res64: EEAC24F18F4BA292 Time : 0.0 sec. user=mdettweiler [2020-11-29 06:38:54] 921*2^1567641-1 is not prime. Res64: 6C696470D6E93B07 Time : 0.0 sec. user=mdettweiler [2020-11-29 07:34:09] 705*2^1567642-1 is not prime. Res64: 1B11935DE7E5AB2C Time : 0.0 sec. user=mdettweiler [2020-11-29 07:34:09] 713*2^1567642-1 is not prime. Res64: E19C094F77196CD2 Time : 0.0 sec. user=mdettweiler [2020-11-29 07:34:09] 735*2^1567642-1 is not prime. Res64: B1AEE0C986D858CE Time : 0.0 sec. user=mdettweiler [2020-11-29 07:34:09] 923*2^1567642-1 is not prime. Res64: 9301E78FD58A4DD9 Time : 0.0 sec. user=mdettweiler [2020-11-29 07:34:10] 1001*2^1567642-1 is not prime. Res64: DC6B43E54DE502DF Time : 0.0 sec. user=mdettweiler [2020-11-29 08:29:28] 643*2^1567643-1 is not prime. Res64: 6DC8D9AB36D29AE6 Time : 0.0 sec. user=mdettweiler [2020-11-29 11:23:34] 753*2^1567640-1 is not prime. Res64: B7D210CA81E7FFF9 Time : 0.0 sec. user=mdettweiler [2020-11-29 14:23:35] 669*2^1567643-1 is not prime. Res64: 8C081EB78E5A2475 Time : 0.0 sec. user=mdettweiler [2020-11-29 14:23:36] 703*2^1567643-1 is not prime. Res64: 8670FA149C3872FD Time : 0.0 sec. user=mdettweiler [2020-11-29 14:23:36] 813*2^1567643-1 is not prime. Res64: A9F19484DAF4D734 Time : 0.0 sec. user=mdettweiler [2020-11-29 14:23:37] 825*2^1567643-1 is not prime. Res64: 16FB5A914D8D284F Time : 0.0 sec. user=mdettweiler [2020-11-29 15:20:56] 861*2^1567643-1 is not prime. Res64: E373846786D25A26 Time : 0.0 sec. user=mdettweiler [2020-11-29 15:20:57] 913*2^1567643-1 is not prime. Res64: 8C9C1D5CE9C56909 Time : 0.0 sec. user=mdettweiler [2020-11-29 15:20:57] 973*2^1567643-1 is not prime. Res64: 091943CCA6F9A6A4 Time : 0.0 sec. user=mdettweiler [2020-11-29 15:20:57] 999*2^1567643-1 is not prime. Res64: 8DA428E8EAD0EFEB Time : 0.0 sec. user=mdettweiler [2020-11-29 15:20:58] 639*2^1567644-1 is not prime. Res64: 56FE572520144CA0 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:13:07] 797*2^1567640-1 is not prime. Res64: 3C981C8DADD65372 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:13:07] 927*2^1567640-1 is not prime. Res64: A1B549311ECD6EA5 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:17:05] 693*2^1567644-1 is not prime. Res64: F9BF5AFA59201F73 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:17:05] 903*2^1567644-1 is not prime. Res64: 86C78CC0C5952425 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:17:06] 983*2^1567644-1 is not prime. Res64: 93749584BF008662 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:17:06] 607*2^1567645-1 is not prime. Res64: A452BAEBB651DB44 Time : 0.0 sec. user=mdettweiler [2020-11-29 16:17:06] 757*2^1567645-1 is not prime. Res64: 8D45078B4C2B76E9 Time : 0.0 sec. user=mdettweiler [2020-11-29 17:11:38] 819*2^1567645-1 is not prime. Res64: BEF4FDA173E9485C Time : 0.0 sec. user=mdettweiler [2020-11-29 17:13:35] 937*2^1567645-1 is not prime. Res64: 686A80244C814FF5 Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:04] 825*2^1567645-1 is not prime. Res64: 0FE4D6BD2E4C8B52 Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:04] 855*2^1567645-1 is not prime. Res64: AA73742EFC8D437B Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:04] 895*2^1567645-1 is not prime. Res64: 408E280DC2B4505E Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:05] 919*2^1567645-1 is not prime. Res64: 4C9D79EDB6099D00 Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:45] 987*2^1567645-1 is not prime. Res64: C08C52894DDFDC46 Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:46] 997*2^1567645-1 is not prime. Res64: 7DED3D7D1295187B Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:46] 641*2^1567646-1 is not prime. Res64: 2C4C04D0FCAAA7C7 Time : 0.0 sec. user=mdettweiler [2020-11-29 22:46:46] 675*2^1567646-1 is not prime. Res64: F225FD4ACCB59C20 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:41:55] 743*2^1567646-1 is not prime. Res64: 5A44C21BC73D0452 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:41:56] 813*2^1567646-1 is not prime. Res64: C78BF5EDE86BF9E2 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:41:56] 887*2^1567646-1 is not prime. Res64: 18557B9CB7DD0D4A Time : 0.0 sec. user=mdettweiler [2020-11-29 23:41:56] 911*2^1567646-1 is not prime. Res64: 655DF31690886825 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:41:57] 625*2^1567647-1 is not prime. Res64: 8AAEC007FD4892BF Time : 0.0 sec. user=mdettweiler [2020-11-29 23:43:01] 661*2^1567647-1 is not prime. Res64: 910D81DA78A546D1 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:43:01] 675*2^1567647-1 is not prime. Res64: 8C9E4ABD4CF7EDB6 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:43:02] 829*2^1567647-1 is not prime. Res64: 90C5B9249D2688C6 Time : 0.0 sec. user=mdettweiler [2020-11-29 23:43:02] 843*2^1567647-1 is not prime. Res64: DB74108A5119BFEE Time : 0.0 sec. user=mdettweiler [2020-11-29 23:43:02] 909*2^1567647-1 is not prime. Res64: FBBB30FBA3A0209A Time : 0.0 sec.