user=mdettweiler [2020-05-31 00:08:55] 837*2^1560429-1 is not prime. Res64: 216AA6F4DDF05046 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:08:58] 889*2^1560429-1 is not prime. Res64: BA18F8277A678BDC Time : 0.0 sec. user=mdettweiler [2020-05-31 00:08:59] 945*2^1560429-1 is not prime. Res64: BCBD48685FCAFE49 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:09:02] 979*2^1560429-1 is not prime. Res64: EEBBE37954E882A3 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:09:07] 605*2^1560430-1 is not prime. Res64: FB19368885C77BF1 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:38:47] 611*2^1560430-1 is not prime. Res64: CA712C65ECD68FBB Time : 0.0 sec. user=mdettweiler [2020-05-31 00:38:48] 635*2^1560430-1 is not prime. Res64: 71675216C7BBDAAE Time : 0.0 sec. user=mdettweiler [2020-05-31 00:38:49] 665*2^1560430-1 is not prime. Res64: 0E273D8AF5EFC2F8 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:38:49] 675*2^1560430-1 is not prime. Res64: 93E14C7B813D6727 Time : 0.0 sec. user=mdettweiler [2020-05-31 00:38:50] 687*2^1560430-1 is not prime. Res64: 6BD0CE9B1189C348 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:03:10] 741*2^1560430-1 is not prime. Res64: 7715C6F3E56AD837 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:03:14] 867*2^1560430-1 is not prime. Res64: 5F695BDC1C32599E Time : 0.0 sec. user=mdettweiler [2020-05-31 01:03:18] 663*2^1560431-1 is not prime. Res64: 7F73A953D8A4DACB Time : 0.0 sec. user=mdettweiler [2020-05-31 01:03:23] 693*2^1560431-1 is not prime. Res64: 33D505F62DEBA891 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:03:26] 775*2^1560431-1 is not prime. Res64: A4B982CBB1954D44 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:17:08] 923*2^1560422-1 is not prime. Res64: B3CC839965F4AB53 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:17:10] 951*2^1560422-1 is not prime. Res64: 18724D5DF3BBE226 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:17:12] 957*2^1560422-1 is not prime. Res64: 38A60B3BF3080673 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:17:13] 963*2^1560422-1 is not prime. Res64: 6728DEA4EE2B99DE Time : 0.0 sec. user=mdettweiler [2020-05-31 01:34:02] 789*2^1560431-1 is not prime. Res64: 70CCFAB5FA85B93E Time : 0.0 sec. user=mdettweiler [2020-05-31 01:34:04] 805*2^1560431-1 is not prime. Res64: 23A48513987ECE2B Time : 0.0 sec. user=mdettweiler [2020-05-31 01:34:05] 859*2^1560431-1 is not prime. Res64: 0B16DAEB76E32AA2 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:34:06] 921*2^1560431-1 is not prime. Res64: 1024B66CED34A07E Time : 0.0 sec. user=mdettweiler [2020-05-31 01:34:07] 627*2^1560432-1 is not prime. Res64: 24E129077C17FB0A Time : 0.0 sec. user=mdettweiler [2020-05-31 01:59:05] 669*2^1560432-1 is not prime. Res64: E3CF2EB18DB30096 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:59:07] 899*2^1560432-1 is not prime. Res64: 760FD71EFEC8BC53 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:59:10] 741*2^1560433-1 is not prime. Res64: 51BF405CC7D811E1 Time : 0.0 sec. user=mdettweiler [2020-05-31 01:59:12] 775*2^1560433-1 is not prime. Res64: 690C21CABE20160A Time : 0.0 sec. user=mdettweiler [2020-05-31 01:59:14] 877*2^1560433-1 is not prime. Res64: 80020368400A119A Time : 0.0 sec. user=mdettweiler [2020-05-31 02:13:16] 889*2^1560433-1 is not prime. Res64: 2796E1C73376DCA2 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:13:23] 635*2^1560434-1 is not prime. Res64: C3BC4112AF4A3E4F Time : 0.0 sec. user=mdettweiler [2020-05-31 02:13:31] 677*2^1560434-1 is not prime. Res64: 7C69CAC864FA155C Time : 0.0 sec. user=mdettweiler [2020-05-31 02:28:11] 981*2^1560434-1 is not prime. Res64: 7984E24525174DE4 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:55:32] 885*2^1560435-1 is not prime. Res64: FCF5E744A8806A10 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:55:33] 919*2^1560435-1 is not prime. Res64: AC8B579398E598C0 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:55:34] 963*2^1560435-1 is not prime. Res64: 9A867C4CB87D2258 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:55:36] 617*2^1560436-1 is not prime. Res64: 777CA29BEE887FF8 Time : 0.0 sec. user=mdettweiler [2020-05-31 02:55:37] 695*2^1560436-1 is not prime. Res64: 142C8D039C0864BA Time : 0.0 sec. user=mdettweiler [2020-05-31 03:50:14] 785*2^1560436-1 is not prime. Res64: 407C9E1393E7A9CC Time : 0.0 sec. user=mdettweiler [2020-05-31 03:50:16] 965*2^1560436-1 is not prime. Res64: 9BA1048D638475FC Time : 0.0 sec. user=mdettweiler [2020-05-31 03:50:18] 619*2^1560437-1 is not prime. Res64: 9A81CE00814EC37A Time : 0.0 sec. user=mdettweiler [2020-05-31 03:50:21] 757*2^1560437-1 is not prime. Res64: EF29FB0D4DB4840D Time : 0.0 sec. user=mdettweiler [2020-05-31 03:50:24] 759*2^1560437-1 is not prime. Res64: CCBB56B6CF1519B7 Time : 0.0 sec. user=mdettweiler [2020-05-31 04:45:37] 867*2^1560438-1 is not prime. Res64: 5AFCBB139B122512 Time : 0.0 sec. user=mdettweiler [2020-05-31 04:47:17] 777*2^1560437-1 is not prime. Res64: 4A87A5311611C2FD Time : 0.0 sec. user=mdettweiler [2020-05-31 04:47:19] 795*2^1560437-1 is not prime. Res64: D24EC999146ECBFA Time : 0.0 sec. user=mdettweiler [2020-05-31 04:47:20] 955*2^1560437-1 is not prime. Res64: FC5B9CB9BBF7F400 Time : 0.0 sec. user=mdettweiler [2020-05-31 04:47:21] 773*2^1560438-1 is not prime. Res64: 3B866A0F1C7E60BE Time : 0.0 sec. user=mdettweiler [2020-05-31 04:47:22] 843*2^1560438-1 is not prime. Res64: BB8954BA69FDC277 Time : 0.0 sec. user=mdettweiler [2020-05-31 04:48:09] 933*2^1560438-1 is not prime. Res64: D57A30651EA65CFE Time : 0.0 sec. user=mdettweiler [2020-05-31 05:41:35] 971*2^1560438-1 is not prime. Res64: 2E67A7A6E492DDAD Time : 0.0 sec. user=mdettweiler [2020-05-31 05:41:37] 639*2^1560439-1 is not prime. Res64: EC6461D7764767CD Time : 0.0 sec. user=mdettweiler [2020-05-31 05:41:38] 649*2^1560439-1 is not prime. Res64: D2FEBB6FBD14ED56 Time : 0.0 sec. user=mdettweiler [2020-05-31 05:41:39] 705*2^1560439-1 is not prime. Res64: 54655B2703B6E058 Time : 0.0 sec. user=mdettweiler [2020-05-31 05:41:40] 765*2^1560439-1 is not prime. Res64: 823CC99AFEB02FE2 Time : 0.0 sec. user=mdettweiler [2020-05-31 06:38:44] 811*2^1560439-1 is not prime. Res64: AE0D768A4AE37AB4 Time : 0.0 sec. user=mdettweiler [2020-05-31 06:38:45] 813*2^1560439-1 is not prime. Res64: 1264883198CC6525 Time : 0.0 sec. user=mdettweiler [2020-05-31 06:38:46] 859*2^1560439-1 is not prime. Res64: 9CADB32C105CF7F6 Time : 0.0 sec. user=mdettweiler [2020-05-31 06:38:47] 883*2^1560439-1 is not prime. Res64: B1C1C2E1CB5F597B Time : 0.0 sec. user=mdettweiler [2020-05-31 06:38:48] 931*2^1560439-1 is not prime. Res64: 2BD0D920DD8B7733 Time : 0.0 sec. user=mdettweiler [2020-05-31 14:41:26] 639*2^1560435-1 is not prime. Res64: 86C0C8EF7AB73518 Time : 0.0 sec. user=mdettweiler [2020-05-31 14:41:26] 709*2^1560435-1 is not prime. Res64: F8DA3E6BD8540F66 Time : 0.0 sec. user=mdettweiler [2020-05-31 14:41:27] 781*2^1560435-1 is not prime. Res64: 9A0B404DBA3AD082 Time : 0.0 sec. user=mdettweiler [2020-05-31 14:41:27] 793*2^1560435-1 is not prime. Res64: 3693681C58280E47 Time : 0.0 sec. user=mdettweiler [2020-05-31 15:35:29] 795*2^1560440-1 is not prime. Res64: 410CC180B1AF63FB Time : 0.0 sec. user=mdettweiler [2020-05-31 15:35:29] 959*2^1560440-1 is not prime. Res64: 09B015ACD98D7724 Time : 0.0 sec. user=mdettweiler [2020-05-31 15:35:29] 609*2^1560441-1 is not prime. Res64: 8C1DFA583AF224CD Time : 0.0 sec. user=mdettweiler [2020-05-31 15:35:29] 627*2^1560441-1 is not prime. Res64: C721AF4834C0D668 Time : 0.0 sec. user=mdettweiler [2020-05-31 15:35:30] 717*2^1560441-1 is not prime. Res64: DC145315A1DECD9F Time : 0.0 sec. user=mdettweiler [2020-05-31 16:29:07] 727*2^1560441-1 is not prime. Res64: 30284D2E9A33E6D2 Time : 0.0 sec. user=mdettweiler [2020-05-31 16:29:07] 849*2^1560441-1 is not prime. Res64: 91D79443BDA712BC Time : 0.0 sec. user=mdettweiler [2020-05-31 16:29:08] 603*2^1560442-1 is not prime. Res64: 3C444B0DD925129C Time : 0.0 sec. user=mdettweiler [2020-05-31 16:29:08] 617*2^1560442-1 is not prime. Res64: DCCFAD622AA57B42 Time : 0.0 sec. user=mdettweiler [2020-05-31 16:29:08] 647*2^1560442-1 is not prime. Res64: 6671D715275994FD Time : 0.0 sec. user=mdettweiler [2020-05-31 17:25:03] 695*2^1560442-1 is not prime. Res64: 404C433990CE36A4 Time : 0.0 sec. user=mdettweiler [2020-05-31 17:25:04] 791*2^1560442-1 is not prime. Res64: F3E2A5145612268F Time : 0.0 sec. user=mdettweiler [2020-05-31 17:25:04] 803*2^1560442-1 is not prime. Res64: 34D35C3C491FC031 Time : 0.0 sec. user=mdettweiler [2020-05-31 17:25:04] 843*2^1560442-1 is not prime. Res64: 0F26336D7FCC6FC4 Time : 0.0 sec. user=mdettweiler [2020-05-31 17:25:05] 983*2^1560442-1 is not prime. Res64: 8A3B4575EDB706B1 Time : 0.0 sec. user=mdettweiler [2020-05-31 18:19:56] 987*2^1560442-1 is not prime. Res64: 4F0B85F4B8912F12 Time : 0.0 sec. user=mdettweiler [2020-05-31 18:19:57] 631*2^1560443-1 is not prime. Res64: 6AE37187AC065989 Time : 0.0 sec. user=mdettweiler [2020-05-31 18:19:58] 741*2^1560443-1 is not prime. Res64: 94866FACAFE5ED8C Time : 0.0 sec. user=mdettweiler [2020-05-31 18:19:59] 745*2^1560443-1 is not prime. Res64: CB7FD3BC001C3287 Time : 0.0 sec. user=mdettweiler [2020-05-31 18:19:59] 805*2^1560443-1 is not prime. Res64: AEA31E8C414C81E6 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:16:23] 825*2^1560443-1 is not prime. Res64: 131F625FCEC3CBB6 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:16:23] 921*2^1560443-1 is not prime. Res64: AA266E8ED170524D Time : 0.0 sec. user=mdettweiler [2020-05-31 19:16:24] 963*2^1560443-1 is not prime. Res64: 7AA67298C1A4C4C0 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:16:24] 969*2^1560443-1 is not prime. Res64: 666B813823586CB8 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:16:24] 605*2^1560444-1 is not prime. Res64: 6051BCBF5FA8F72D Time : 0.0 sec. user=mdettweiler [2020-05-31 19:26:49] 969*2^1560439-1 is not prime. Res64: F53172EA817C16E7 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:26:49] 615*2^1560440-1 is not prime. Res64: D37E304A3E583251 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:26:50] 635*2^1560440-1 is not prime. Res64: 71A82B4838E66C6B Time : 0.0 sec. user=mdettweiler [2020-05-31 19:26:50] 747*2^1560440-1 is not prime. Res64: 4BA7ED23C29FC627 Time : 0.0 sec. user=mdettweiler [2020-05-31 19:26:50] 789*2^1560440-1 is not prime. Res64: 15F5B59293DE002E Time : 0.0 sec. user=mdettweiler [2020-05-31 19:40:38] 831*2^1560434-1 is not prime. Res64: 1FD6462E0B586D4B Time : 0.0 sec. user=mdettweiler [2020-05-31 19:40:38] 923*2^1560434-1 is not prime. Res64: FFD5656D31E3ABA4 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:11:26] 627*2^1560444-1 is not prime. Res64: 946539DC7C67C74D Time : 0.0 sec. user=mdettweiler [2020-05-31 20:11:26] 843*2^1560444-1 is not prime. Res64: 28E9DC98E754D41D Time : 0.0 sec. user=mdettweiler [2020-05-31 20:11:27] 959*2^1560444-1 is not prime. Res64: B7E06E0C28A147F8 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:11:27] 751*2^1560445-1 is not prime. Res64: B1C96BA92178D610 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:11:27] 805*2^1560445-1 is not prime. Res64: D33FD4F1734037FC Time : 0.0 sec. user=mdettweiler [2020-05-31 20:22:30] 897*2^1560445-1 is not prime. Res64: 302CE75F928111C6 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:22:30] 919*2^1560445-1 is not prime. Res64: B465F33984A55D00 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:22:30] 961*2^1560445-1 is not prime. Res64: 335B3084092B5ED7 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:22:30] 627*2^1560446-1 is not prime. Res64: 3E8AEF7FFE5D8E3A Time : 0.0 sec. user=mdettweiler [2020-05-31 20:22:31] 693*2^1560446-1 is not prime. Res64: 0DC8648E3B498FDC Time : 0.0 sec. user=mdettweiler [2020-05-31 20:36:03] 705*2^1560446-1 is not prime. Res64: 8209D3902F41C3EE Time : 0.0 sec. user=mdettweiler [2020-05-31 20:36:04] 873*2^1560446-1 is not prime. Res64: 1858211C7A2DB8D7 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:36:04] 917*2^1560446-1 is not prime. Res64: C769062A6A67C836 Time : 0.0 sec. user=mdettweiler [2020-05-31 20:36:04] 693*2^1560447-1 is not prime. Res64: 43654CEDD7F512AB Time : 0.0 sec. user=mdettweiler [2020-05-31 20:36:04] 705*2^1560447-1 is not prime. Res64: 0F206744A31DFE53 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:07:14] 765*2^1560447-1 is not prime. Res64: 827676A0EFF193D2 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:07:15] 743*2^1560448-1 is not prime. Res64: 0BC5157CC65B4763 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:07:16] 755*2^1560448-1 is not prime. Res64: 21FCA9D19CDB52DF Time : 0.0 sec. user=mdettweiler [2020-05-31 21:07:17] 887*2^1560448-1 is not prime. Res64: BB4DE4AD0B868A99 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:07:18] 995*2^1560448-1 is not prime. Res64: 219D0127349911D8 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:16:49] 615*2^1560449-1 is not prime. Res64: ACD85EDBA19B217A Time : 0.0 sec. user=mdettweiler [2020-05-31 21:16:50] 735*2^1560449-1 is not prime. Res64: D29B64385FD04D40 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:16:50] 789*2^1560449-1 is not prime. Res64: F9916B1EE11C0F73 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:16:50] 795*2^1560449-1 is not prime. Res64: 684B7A1B8EF381F5 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:16:51] 861*2^1560449-1 is not prime. Res64: 87C50DABF9070633 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:29:29] 955*2^1560449-1 is not prime. Res64: DF014E41EEB6C0D7 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:29:29] 665*2^1560450-1 is not prime. Res64: AB24996A8F7C9052 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:29:30] 681*2^1560450-1 is not prime. Res64: 6451C8FF3DBBDAD0 Time : 0.0 sec. user=mdettweiler [2020-05-31 21:29:30] 765*2^1560450-1 is not prime. Res64: 6EAA660C21D375EB Time : 0.0 sec. user=mdettweiler [2020-05-31 21:29:30] 821*2^1560450-1 is not prime. Res64: F8997935FA7A6BB4 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:02:00] 927*2^1560450-1 is not prime. Res64: 8B57365FEE0B6281 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:02:01] 963*2^1560450-1 is not prime. Res64: 53D7DE4C45A93DD5 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:02:02] 625*2^1560451-1 is not prime. Res64: DE7EEE2AECCF1208 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:02:03] 651*2^1560451-1 is not prime. Res64: 244CB4C7B46B65F3 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:02:03] 793*2^1560451-1 is not prime. Res64: F9CBB229D6586D43 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:11:29] 819*2^1560451-1 is not prime. Res64: 61CC34B655670E50 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:11:29] 889*2^1560451-1 is not prime. Res64: 000471D0118B980A Time : 0.0 sec. user=mdettweiler [2020-05-31 22:11:29] 629*2^1560452-1 is not prime. Res64: 12AE46AD4D6731FE Time : 0.0 sec. user=mdettweiler [2020-05-31 22:11:30] 687*2^1560452-1 is not prime. Res64: 3FAE8C0F20B76EA9 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:11:30] 843*2^1560452-1 is not prime. Res64: 8F527554952A9213 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:22:54] 935*2^1560452-1 is not prime. Res64: 23057E0AF1DEFA5B Time : 0.0 sec. user=mdettweiler [2020-05-31 22:22:55] 627*2^1560453-1 is not prime. Res64: 5E8A863B37710433 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:22:55] 685*2^1560453-1 is not prime. Res64: 840DABAB01F7F02E Time : 0.0 sec. user=mdettweiler [2020-05-31 22:22:55] 805*2^1560453-1 is not prime. Res64: 1321B981D3BB5964 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:22:55] 817*2^1560453-1 is not prime. Res64: 49B89A69C7519ACC Time : 0.0 sec. user=mdettweiler [2020-05-31 22:58:06] 921*2^1560453-1 is not prime. Res64: F6E9D18C835B5124 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:58:06] 969*2^1560453-1 is not prime. Res64: 7CE2A1661B91E2B0 Time : 0.0 sec. user=mdettweiler [2020-05-31 22:58:06] 621*2^1560454-1 is not prime. Res64: CCDEA7294D124A2E Time : 0.0 sec. user=mdettweiler [2020-05-31 22:58:06] 741*2^1560454-1 is not prime. Res64: A9212053DB99C46C Time : 0.0 sec. user=mdettweiler [2020-05-31 22:58:07] 965*2^1560454-1 is not prime. Res64: 5AF9133846BED172 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:06:22] 971*2^1560454-1 is not prime. Res64: 1583C34485542445 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:06:25] 735*2^1560455-1 is not prime. Res64: 1C328DB7274762A2 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:06:27] 783*2^1560455-1 is not prime. Res64: 9AA4EB4607A54DA7 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:06:28] 909*2^1560455-1 is not prime. Res64: 1732A776B206224E Time : 0.0 sec. user=mdettweiler [2020-05-31 23:06:28] 633*2^1560456-1 is not prime. Res64: DCEE0CA85DDE04C2 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:20:18] 707*2^1560456-1 is not prime. Res64: 0A4EF9D11DC69174 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:20:18] 893*2^1560456-1 is not prime. Res64: 179ED7E6552499F3 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:20:18] 945*2^1560456-1 is not prime. Res64: 786A3CBBD8E1DC8F Time : 0.0 sec. user=mdettweiler [2020-05-31 23:20:18] 849*2^1560457-1 is not prime. Res64: 2DBEAB1700DBBB56 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:20:18] 867*2^1560457-1 is not prime. Res64: 4B20336C9BD2F62B Time : 0.0 sec. user=mdettweiler [2020-05-31 23:53:04] 939*2^1560457-1 is not prime. Res64: D5D31612B5B02A52 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:53:05] 985*2^1560457-1 is not prime. Res64: 55B0733130A4AD3D Time : 0.0 sec. user=mdettweiler [2020-05-31 23:53:05] 605*2^1560458-1 is not prime. Res64: B1C110E9C3C4BF2C Time : 0.0 sec. user=mdettweiler [2020-05-31 23:53:05] 747*2^1560458-1 is not prime. Res64: BB9E8BE4984239D5 Time : 0.0 sec. user=mdettweiler [2020-05-31 23:53:05] 773*2^1560458-1 is not prime. Res64: A90F13DF278FBC13 Time : 0.0 sec.