user=mdettweiler [2020-06-16 00:32:56] 965*2^1561430-1 is not prime. Res64: 883A57C7D84E2F02 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:32:57] 987*2^1561430-1 is not prime. Res64: A471EB1D9D68BE9F Time : 0.0 sec. user=mdettweiler [2020-06-16 00:32:57] 613*2^1561431-1 is not prime. Res64: DFF650A958683562 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:32:58] 703*2^1561431-1 is not prime. Res64: 2E09E216CF74A4AE Time : 0.0 sec. user=mdettweiler [2020-06-16 00:32:58] 763*2^1561431-1 is not prime. Res64: 917F02C60312143D Time : 0.0 sec. user=mdettweiler [2020-06-16 00:35:50] 861*2^1561430-1 is not prime. Res64: 88EC27F10FD152D2 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:35:50] 867*2^1561430-1 is not prime. Res64: 0C5447D914FC4697 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:35:50] 885*2^1561430-1 is not prime. Res64: EC73568C305A3A7D Time : 0.0 sec. user=mdettweiler [2020-06-16 00:35:51] 887*2^1561430-1 is not prime. Res64: 481B7FDBE300AC82 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:35:51] 923*2^1561430-1 is not prime. Res64: 7D4803FEA6267434 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:44:35] 823*2^1561431-1 is not prime. Res64: 6A4CEE2848E66D0E Time : 0.0 sec. user=mdettweiler [2020-06-16 00:44:35] 615*2^1561432-1 is not prime. Res64: 14B0D71489A6A6F8 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:44:36] 873*2^1561432-1 is not prime. Res64: A3C0AEE2B08271A8 Time : 0.0 sec. user=mdettweiler [2020-06-16 00:44:36] 909*2^1561432-1 is not prime. Res64: 9EC1C06996B9C0AC Time : 0.0 sec. user=mdettweiler [2020-06-16 00:44:36] 923*2^1561432-1 is not prime. Res64: 4F6118D912C396B2 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:25:54] 615*2^1561433-1 is not prime. Res64: D2FFB75AC3F7D565 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:25:55] 657*2^1561433-1 is not prime. Res64: EF8821FFD59F0E11 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:25:56] 675*2^1561433-1 is not prime. Res64: BF5029CE2F7AD656 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:25:56] 747*2^1561433-1 is not prime. Res64: 9B040CF75120FDC4 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:25:57] 885*2^1561433-1 is not prime. Res64: EC15E6FA8DB7F1E8 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:30:50] 901*2^1561433-1 is not prime. Res64: 9DBC8053C256F0B5 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:30:51] 711*2^1561434-1 is not prime. Res64: 3879F63DEE2FBFA4 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:30:52] 741*2^1561434-1 is not prime. Res64: 56BCADFB10C7B811 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:30:52] 783*2^1561434-1 is not prime. Res64: 9DA9224C304817EA Time : 0.0 sec. user=mdettweiler [2020-06-16 01:30:54] 851*2^1561434-1 is not prime. Res64: 365D1A3E5DCF084F Time : 0.0 sec. user=mdettweiler [2020-06-16 01:38:55] 945*2^1561434-1 is not prime. Res64: CBF611D5824A1AC0 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:38:56] 993*2^1561434-1 is not prime. Res64: 2BC74C4CEA935A49 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:38:56] 603*2^1561435-1 is not prime. Res64: 8DC2DA263584AB3E Time : 0.0 sec. user=mdettweiler [2020-06-16 01:38:57] 679*2^1561435-1 is not prime. Res64: 85DA4294098E0598 Time : 0.0 sec. user=mdettweiler [2020-06-16 01:38:57] 751*2^1561435-1 is not prime. Res64: 6B65132DADCFC3AC Time : 0.0 sec. user=mdettweiler [2020-06-16 02:21:48] 805*2^1561435-1 is not prime. Res64: F8924777B2DF1DB8 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:21:49] 861*2^1561435-1 is not prime. Res64: B16D72B72CF6B1AC Time : 0.0 sec. user=mdettweiler [2020-06-16 02:21:49] 943*2^1561435-1 is not prime. Res64: 69FA9563A1D978CD Time : 0.0 sec. user=mdettweiler [2020-06-16 02:21:50] 969*2^1561435-1 is not prime. Res64: FAF84D54F519C5D1 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:21:50] 617*2^1561436-1 is not prime. Res64: 1C8CCDDDAFF9FEA1 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:25:01] 609*2^1561437-1 is not prime. Res64: 88D3B666DD9902B5 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:25:01] 621*2^1561437-1 is not prime. Res64: 0580664EEEFE92DE Time : 0.0 sec. user=mdettweiler [2020-06-16 02:25:02] 667*2^1561437-1 is not prime. Res64: 833A27428874838D Time : 0.0 sec. user=mdettweiler [2020-06-16 02:25:02] 837*2^1561437-1 is not prime. Res64: 3BE19E3D27E101F2 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:25:03] 849*2^1561437-1 is not prime. Res64: 0E043E2E5A9AA778 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:35:47] 865*2^1561437-1 is not prime. Res64: FF4BBCB4FC6A2194 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:35:48] 889*2^1561437-1 is not prime. Res64: 484A754F2B7CE26B Time : 0.0 sec. user=mdettweiler [2020-06-16 02:35:48] 891*2^1561437-1 is not prime. Res64: F554112740DAB037 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:35:48] 915*2^1561437-1 is not prime. Res64: B5514D8168E87893 Time : 0.0 sec. user=mdettweiler [2020-06-16 02:35:49] 605*2^1561438-1 is not prime. Res64: 3D069C38990F605A Time : 0.0 sec. user=mdettweiler [2020-06-16 03:16:41] 713*2^1561438-1 is not prime. Res64: A135E8B79FC7FC71 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:16:41] 755*2^1561438-1 is not prime. Res64: D373DD1C22111A20 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:16:42] 813*2^1561438-1 is not prime. Res64: 22BF4C005737F097 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:16:42] 831*2^1561438-1 is not prime. Res64: C8239AB7C29F3F40 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:16:42] 855*2^1561438-1 is not prime. Res64: 108A1AC5FC1EBC28 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:20:45] 951*2^1561438-1 is not prime. Res64: 4F94B46A950AEF35 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:20:45] 971*2^1561438-1 is not prime. Res64: 20B03B10FE8309C7 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:20:46] 615*2^1561439-1 is not prime. Res64: FB983CC7142139C5 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:20:46] 771*2^1561439-1 is not prime. Res64: 68740DC9315C1AEA Time : 0.0 sec. user=mdettweiler [2020-06-16 03:20:46] 843*2^1561439-1 is not prime. Res64: 97E695FCAC31E898 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:31:46] 859*2^1561439-1 is not prime. Res64: 671D7AE3D3678ACC Time : 0.0 sec. user=mdettweiler [2020-06-16 03:31:48] 939*2^1561439-1 is not prime. Res64: 82602D69E47AC1FB Time : 0.0 sec. user=mdettweiler [2020-06-16 03:31:50] 943*2^1561439-1 is not prime. Res64: CF4FC1876CBD1140 Time : 0.0 sec. user=mdettweiler [2020-06-16 03:31:51] 759*2^1561440-1 is not prime. Res64: D915E8690EF9810A Time : 0.0 sec. user=mdettweiler [2020-06-16 03:31:53] 795*2^1561440-1 is not prime. Res64: E911C91DC646D451 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:12:10] 849*2^1561440-1 is not prime. Res64: D8E0EA2CE96DF65D Time : 0.0 sec. user=mdettweiler [2020-06-16 04:12:14] 651*2^1561441-1 is not prime. Res64: 80EB67D7575C9FB0 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:12:17] 861*2^1561441-1 is not prime. Res64: B4599E275FFAD2D9 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:12:20] 871*2^1561441-1 is not prime. Res64: 939CF6100661E6E2 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:12:23] 665*2^1561442-1 is not prime. Res64: 3639A5A38259CA5D Time : 0.0 sec. user=mdettweiler [2020-06-16 04:15:10] 671*2^1561442-1 is not prime. Res64: 6609AA438EBCEDB8 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:15:12] 683*2^1561442-1 is not prime. Res64: 57142876FDDBF60D Time : 0.0 sec. user=mdettweiler [2020-06-16 04:15:14] 771*2^1561442-1 is not prime. Res64: A394FD2AF178FAF1 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:15:15] 827*2^1561442-1 is not prime. Res64: DFB8C5559580F7E8 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:15:17] 867*2^1561442-1 is not prime. Res64: 56D07CC2CFC94DBB Time : 0.0 sec. user=mdettweiler [2020-06-16 04:25:53] 945*2^1561442-1 is not prime. Res64: A549114209AED515 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:25:54] 709*2^1561443-1 is not prime. Res64: 4803E9544AE1785D Time : 0.0 sec. user=mdettweiler [2020-06-16 04:25:56] 723*2^1561443-1 is not prime. Res64: 22B3BB8CF2C26539 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:25:57] 753*2^1561443-1 is not prime. Res64: 00662B31425B2267 Time : 0.0 sec. user=mdettweiler [2020-06-16 04:25:58] 805*2^1561443-1 is not prime. Res64: AB7E16A9694D07A9 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:08:04] 871*2^1561443-1 is not prime. Res64: 1EACBD392D0D922E Time : 0.0 sec. user=mdettweiler [2020-06-16 05:08:05] 705*2^1561444-1 is not prime. Res64: F127D1D35AC06A3E Time : 0.0 sec. user=mdettweiler [2020-06-16 05:08:06] 813*2^1561444-1 is not prime. Res64: 9526FFCA67E891D0 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:08:08] 819*2^1561444-1 is not prime. Res64: 5DDC0B1FD9C4F512 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:08:10] 827*2^1561444-1 is not prime. Res64: B44BE9894F3A5721 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:13:39] 855*2^1561444-1 is not prime. Res64: 89EB3E28CA3692E9 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:13:40] 885*2^1561444-1 is not prime. Res64: 220756A167513DC0 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:13:40] 887*2^1561444-1 is not prime. Res64: 8ED24B536F061567 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:13:41] 947*2^1561444-1 is not prime. Res64: E7CA7521A9D3FF93 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:13:41] 975*2^1561444-1 is not prime. Res64: ADF9EF3589EF41F6 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:19:41] 993*2^1561444-1 is not prime. Res64: E5335D82C6E16AD2 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:19:42] 619*2^1561445-1 is not prime. Res64: 02962488D18A81F6 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:19:42] 679*2^1561445-1 is not prime. Res64: 86841B8F0B18ACFB Time : 0.0 sec. user=mdettweiler [2020-06-16 05:19:43] 757*2^1561445-1 is not prime. Res64: FCD9615A74C89A87 Time : 0.0 sec. user=mdettweiler [2020-06-16 05:19:43] 771*2^1561445-1 is not prime. Res64: 1DD105FEC122C250 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:02:22] 801*2^1561445-1 is not prime. Res64: B31E01DC02233180 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:02:23] 915*2^1561445-1 is not prime. Res64: 3CDEF66EF7AA083E Time : 0.0 sec. user=mdettweiler [2020-06-16 06:02:24] 693*2^1561446-1 is not prime. Res64: A2442CF4F3C29603 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:02:25] 705*2^1561446-1 is not prime. Res64: FA82E2B2AC1A0331 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:02:27] 747*2^1561446-1 is not prime. Res64: 3D9A2A8DC7BAF84C Time : 0.0 sec. user=mdettweiler [2020-06-16 06:07:16] 957*2^1561446-1 is not prime. Res64: 9D9FEEE51D948371 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:07:17] 625*2^1561447-1 is not prime. Res64: F4066460CBD70F9A Time : 0.0 sec. user=mdettweiler [2020-06-16 06:07:18] 759*2^1561447-1 is not prime. Res64: BF4DA38F375BB351 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:07:19] 775*2^1561447-1 is not prime. Res64: DB9ABD854A04309D Time : 0.0 sec. user=mdettweiler [2020-06-16 06:07:20] 805*2^1561447-1 is not prime. Res64: B8DABF4D94F6FEE6 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:17:40] 873*2^1561447-1 is not prime. Res64: 97A90A5CF60A5B5F Time : 0.0 sec. user=mdettweiler [2020-06-16 06:17:41] 909*2^1561447-1 is not prime. Res64: 72ED3722F36E9CB2 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:17:41] 915*2^1561447-1 is not prime. Res64: 008D5890312B5BF6 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:17:41] 919*2^1561447-1 is not prime. Res64: F9688A6C22396CDD Time : 0.0 sec. user=mdettweiler [2020-06-16 06:17:42] 961*2^1561447-1 is not prime. Res64: F17CEA233653006B Time : 0.0 sec. user=mdettweiler [2020-06-16 06:54:00] 623*2^1561448-1 is not prime. Res64: 920C1120EBC6A4AB Time : 0.0 sec. user=mdettweiler [2020-06-16 06:54:00] 629*2^1561448-1 is not prime. Res64: A7837F82EA1636A4 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:54:01] 633*2^1561448-1 is not prime. Res64: 2AE65DB56539D1A7 Time : 0.0 sec. user=mdettweiler [2020-06-16 06:54:01] 797*2^1561448-1 is not prime. Res64: 9D326EE2FF3709DD Time : 0.0 sec. user=mdettweiler [2020-06-16 06:54:02] 657*2^1561449-1 is not prime. Res64: 1DE5DA4AAAD02E69 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:03:22] 745*2^1561449-1 is not prime. Res64: 54A660C31FA4498C Time : 0.0 sec. user=mdettweiler [2020-06-16 07:03:23] 921*2^1561449-1 is not prime. Res64: AE1AD0A67D86744F Time : 0.0 sec. user=mdettweiler [2020-06-16 07:03:24] 723*2^1561450-1 is not prime. Res64: A9760F49DAE94A51 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:03:24] 845*2^1561450-1 is not prime. Res64: 563E781A1F9F76C1 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:03:25] 941*2^1561450-1 is not prime. Res64: 7CB3C4E4ABC2F044 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:12:35] 987*2^1561450-1 is not prime. Res64: 39239A1C82464ADA Time : 0.0 sec. user=mdettweiler [2020-06-16 07:12:36] 995*2^1561450-1 is not prime. Res64: 22B99B2BC89FC805 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:12:37] 759*2^1561451-1 is not prime. Res64: 0D0E1F46C33BD603 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:12:37] 783*2^1561451-1 is not prime. Res64: 045B1900998336AF Time : 0.0 sec. user=mdettweiler [2020-06-16 07:12:38] 811*2^1561451-1 is not prime. Res64: BAE79929483A802D Time : 0.0 sec. user=mdettweiler [2020-06-16 07:51:04] 841*2^1561451-1 is not prime. Res64: B710C0EA8B04F54D Time : 0.0 sec. user=mdettweiler [2020-06-16 07:51:04] 689*2^1561452-1 is not prime. Res64: B2981024D841B575 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:51:05] 837*2^1561452-1 is not prime. Res64: 2E341B6BE50139A1 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:51:05] 887*2^1561452-1 is not prime. Res64: 4555FC9A7D124C50 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:51:05] 945*2^1561452-1 is not prime. Res64: 7473FC91BF0A6458 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:56:39] 959*2^1561452-1 is not prime. Res64: F86ABCCE3C4ABAAA Time : 0.0 sec. user=mdettweiler [2020-06-16 07:56:40] 621*2^1561453-1 is not prime. Res64: C0E2A8B63CF033FE Time : 0.0 sec. user=mdettweiler [2020-06-16 07:56:40] 685*2^1561453-1 is not prime. Res64: 5B21E4717B59CA22 Time : 0.0 sec. user=mdettweiler [2020-06-16 07:56:40] 811*2^1561453-1 is not prime. Res64: A584391209E1323D Time : 0.0 sec. user=mdettweiler [2020-06-16 07:56:41] 817*2^1561453-1 is not prime. Res64: F002827BDF514178 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:07:24] 987*2^1561453-1 is not prime. Res64: 9C81EC73C6EB2EB9 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:07:26] 999*2^1561453-1 is not prime. Res64: 89B641594772A989 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:07:27] 651*2^1561454-1 is not prime. Res64: E45FD85F88B56347 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:07:28] 739*2^1561455-1 is not prime. Res64: 8C2AA6C6F40D1C29 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:07:29] 751*2^1561455-1 is not prime. Res64: 492D7F9FBBA77F2B Time : 0.0 sec. user=mdettweiler [2020-06-16 08:49:08] 831*2^1561455-1 is not prime. Res64: 1B07E37AC4567DC3 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:49:09] 913*2^1561455-1 is not prime. Res64: C23414442BE97E9B Time : 0.0 sec. user=mdettweiler [2020-06-16 08:49:09] 921*2^1561455-1 is not prime. Res64: 345FDA470DDF3BD0 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:49:09] 963*2^1561455-1 is not prime. Res64: 8A3779384221D384 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:49:10] 985*2^1561455-1 is not prime. Res64: EFE3A703189DE140 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:50:12] 645*2^1561456-1 is not prime. Res64: 7AA05106A36F1BCF Time : 0.0 sec. user=mdettweiler [2020-06-16 08:50:13] 695*2^1561456-1 is not prime. Res64: FCD59354D3F0ED57 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:50:13] 755*2^1561456-1 is not prime. Res64: C429A40F79ECB7A5 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:50:13] 785*2^1561456-1 is not prime. Res64: 6762BC8195AA0558 Time : 0.0 sec. user=mdettweiler [2020-06-16 08:50:14] 869*2^1561456-1 is not prime. Res64: FD4E125D99F4A296 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:02:09] 939*2^1561456-1 is not prime. Res64: 7E040D673466F6FA Time : 0.0 sec. user=mdettweiler [2020-06-16 09:02:10] 999*2^1561456-1 is not prime. Res64: AE455D86F36063ED Time : 0.0 sec. user=mdettweiler [2020-06-16 09:02:11] 607*2^1561457-1 is not prime. Res64: AC005808DD2A6994 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:02:12] 699*2^1561457-1 is not prime. Res64: 217D76C12DB737FC Time : 0.0 sec. user=mdettweiler [2020-06-16 09:02:13] 711*2^1561457-1 is not prime. Res64: CC406DBC51E7D946 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:43:49] 727*2^1561457-1 is not prime. Res64: F8A46DC3AACEB4A9 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:43:49] 861*2^1561457-1 is not prime. Res64: 41330556724838BC Time : 0.0 sec. user=mdettweiler [2020-06-16 09:43:50] 889*2^1561457-1 is not prime. Res64: 7C6FB03B52143A0F Time : 0.0 sec. user=mdettweiler [2020-06-16 09:43:50] 635*2^1561458-1 is not prime. Res64: 18568E8F779333AE Time : 0.0 sec. user=mdettweiler [2020-06-16 09:43:51] 711*2^1561458-1 is not prime. Res64: AD72B6D83BDB1C00 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:46:13] 837*2^1561458-1 is not prime. Res64: 2A13549D42EFDC9F Time : 0.0 sec. user=mdettweiler [2020-06-16 09:46:14] 891*2^1561458-1 is not prime. Res64: 7F6226D9641DC771 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:46:14] 933*2^1561458-1 is not prime. Res64: 657E15E00A29CEA1 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:46:14] 745*2^1561459-1 is not prime. Res64: 85CC8A214DC9E876 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:46:15] 765*2^1561459-1 is not prime. Res64: 649E7B79C91106AB Time : 0.0 sec. user=mdettweiler [2020-06-16 09:58:15] 793*2^1561459-1 is not prime. Res64: 2A2D4F657E5BE9CA Time : 0.0 sec. user=mdettweiler [2020-06-16 09:58:15] 843*2^1561459-1 is not prime. Res64: E0BED24C096377B2 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:58:16] 931*2^1561459-1 is not prime. Res64: 8B925634970C6BC8 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:58:16] 969*2^1561459-1 is not prime. Res64: D282D676E26856E1 Time : 0.0 sec. user=mdettweiler [2020-06-16 09:58:16] 609*2^1561460-1 is not prime. Res64: 60A3D2E981D958DB Time : 0.0 sec. user=mdettweiler [2020-06-16 10:38:35] 675*2^1561460-1 is not prime. Res64: A690D1A66718EC79 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:38:36] 983*2^1561460-1 is not prime. Res64: C1E1BE7B2B46EA69 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:38:36] 615*2^1561461-1 is not prime. Res64: 5E5F0079937D3E63 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:38:37] 709*2^1561461-1 is not prime. Res64: 4471CC0449F87ACF Time : 0.0 sec. user=mdettweiler [2020-06-16 10:38:37] 961*2^1561461-1 is not prime. Res64: DD4B8334E79663BC Time : 0.0 sec. user=mdettweiler [2020-06-16 10:41:39] 969*2^1561461-1 is not prime. Res64: 70B6C77126ADFE32 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:41:40] 761*2^1561462-1 is not prime. Res64: 0ACB40CEE092287C Time : 0.0 sec. user=mdettweiler [2020-06-16 10:41:40] 801*2^1561462-1 is not prime. Res64: 3589143DF7080A62 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:41:41] 813*2^1561462-1 is not prime. Res64: 2365259A7C43FCDC Time : 0.0 sec. user=mdettweiler [2020-06-16 10:41:41] 891*2^1561462-1 is not prime. Res64: AEB30C5477591727 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:57:07] 911*2^1561462-1 is not prime. Res64: 5900EB5537A2C474 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:57:08] 941*2^1561462-1 is not prime. Res64: CC6DF9329C2FF707 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:57:08] 981*2^1561462-1 is not prime. Res64: 491E202969E3A632 Time : 0.0 sec. user=mdettweiler [2020-06-16 10:57:08] 987*2^1561462-1 is not prime. Res64: C3DA7D5865ACC90A Time : 0.0 sec. user=mdettweiler [2020-06-16 10:57:09] 995*2^1561462-1 is not prime. Res64: 5DE61FEB72E33258 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:32:34] 649*2^1561463-1 is not prime. Res64: F028FF27E1022EED Time : 0.0 sec. user=mdettweiler [2020-06-16 11:32:34] 675*2^1561463-1 is not prime. Res64: 81F5B5E12359F86B Time : 0.0 sec. user=mdettweiler [2020-06-16 11:32:35] 745*2^1561463-1 is not prime. Res64: D05AD701216EE03F Time : 0.0 sec. user=mdettweiler [2020-06-16 11:32:35] 813*2^1561463-1 is not prime. Res64: 6EC7BFEDFE87D253 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:32:36] 825*2^1561463-1 is not prime. Res64: 6EBB60143E465F62 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:39:21] 859*2^1561463-1 is not prime. Res64: 1412C084A07523F3 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:39:21] 879*2^1561463-1 is not prime. Res64: A3350542EA4F546C Time : 0.0 sec. user=mdettweiler [2020-06-16 11:39:22] 973*2^1561463-1 is not prime. Res64: C9ECB1100FA579E0 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:39:22] 981*2^1561463-1 is not prime. Res64: 36DFB8F994B422E7 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:39:23] 657*2^1561464-1 is not prime. Res64: F4B4B62D0ECCA5BB Time : 0.0 sec. user=mdettweiler [2020-06-16 11:52:38] 689*2^1561464-1 is not prime. Res64: 54DD251E584D35BE Time : 0.0 sec. user=mdettweiler [2020-06-16 11:52:38] 705*2^1561464-1 is not prime. Res64: 7B30AF888EF07FCB Time : 0.0 sec. user=mdettweiler [2020-06-16 11:52:38] 747*2^1561464-1 is not prime. Res64: BA797BA70CD79095 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:52:39] 843*2^1561464-1 is not prime. Res64: E054055AF1A812C8 Time : 0.0 sec. user=mdettweiler [2020-06-16 11:52:39] 717*2^1561465-1 is not prime. Res64: 95CC5A9749376F23 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:30:28] 777*2^1561465-1 is not prime. Res64: CE1C49852220833F Time : 0.0 sec. user=mdettweiler [2020-06-16 12:30:28] 817*2^1561465-1 is not prime. Res64: C136D2BE17B50FAE Time : 0.0 sec. user=mdettweiler [2020-06-16 12:30:29] 861*2^1561465-1 is not prime. Res64: C912DB9B4AE6C5E8 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:30:29] 955*2^1561465-1 is not prime. Res64: 44BC7F278292F1AE Time : 0.0 sec. user=mdettweiler [2020-06-16 12:30:30] 957*2^1561465-1 is not prime. Res64: C90B1D19BB7809C4 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:36:39] 633*2^1561466-1 is not prime. Res64: C5934A87B4C1E417 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:36:39] 801*2^1561466-1 is not prime. Res64: C3E9F01CE15C11FE Time : 0.0 sec. user=mdettweiler [2020-06-16 12:36:40] 831*2^1561466-1 is not prime. Res64: A30D69AE90E37B40 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:36:40] 921*2^1561466-1 is not prime. Res64: C771A76653249255 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:36:40] 971*2^1561466-1 is not prime. Res64: E7F7CD5009E1CABC Time : 0.0 sec. user=mdettweiler [2020-06-16 12:46:21] 669*2^1561467-1 is not prime. Res64: DA647E14B93CC402 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:46:21] 685*2^1561467-1 is not prime. Res64: 0338611B70A532E9 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:46:21] 775*2^1561467-1 is not prime. Res64: FF79EDEF81D68253 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:46:22] 929*2^1561468-1 is not prime. Res64: 96AC2A1BC48CA0E3 Time : 0.0 sec. user=mdettweiler [2020-06-16 12:46:22] 619*2^1561469-1 is not prime. Res64: F0EB9F07FD709B03 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:23:57] 655*2^1561469-1 is not prime. Res64: 2DFE532CC6B86F80 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:23:58] 685*2^1561469-1 is not prime. Res64: 4FE054396F63A218 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:23:58] 711*2^1561469-1 is not prime. Res64: E624125CD1B55574 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:23:58] 745*2^1561469-1 is not prime. Res64: 2279143FA8B76F7A Time : 0.0 sec. user=mdettweiler [2020-06-16 13:23:59] 825*2^1561469-1 is not prime. Res64: E8F5C17B37A930E5 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:31:08] 837*2^1561469-1 is not prime. Res64: EF74CBC13DEFA27B Time : 0.0 sec. user=mdettweiler [2020-06-16 13:31:08] 949*2^1561469-1 is not prime. Res64: 630543623C2E14C3 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:31:09] 647*2^1561470-1 is not prime. Res64: 121429C3BF509F8D Time : 0.0 sec. user=mdettweiler [2020-06-16 13:31:09] 653*2^1561470-1 is not prime. Res64: 4E808B4197E8E8B3 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:31:09] 711*2^1561470-1 is not prime. Res64: EBA623A6108AC2A7 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:42:07] 741*2^1561470-1 is not prime. Res64: A6BC0606D1A6B516 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:42:07] 867*2^1561470-1 is not prime. Res64: AC3588841616C2F1 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:42:07] 873*2^1561470-1 is not prime. Res64: 20842BAF380A01BF Time : 0.0 sec. user=mdettweiler [2020-06-16 13:42:08] 891*2^1561470-1 is not prime. Res64: C14247445D49FDE0 Time : 0.0 sec. user=mdettweiler [2020-06-16 13:42:08] 601*2^1561471-1 is not prime. Res64: 8DDFBEE769B4E75C Time : 0.0 sec. user=mdettweiler [2020-06-16 14:19:33] 673*2^1561471-1 is not prime. Res64: B35251CD3FC0D410 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:19:34] 709*2^1561471-1 is not prime. Res64: 10FCDDF1E74608BD Time : 0.0 sec. user=mdettweiler [2020-06-16 14:19:34] 829*2^1561471-1 is not prime. Res64: 4F7A330C4F116D6B Time : 0.0 sec. user=mdettweiler [2020-06-16 14:19:35] 859*2^1561471-1 is not prime. Res64: 23EEEC8F2EA65682 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:19:35] 861*2^1561471-1 is not prime. Res64: 5F7F1A9ACD376A36 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:26:27] 885*2^1561471-1 is not prime. Res64: 9E23D7B5F4BB86A0 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:26:27] 925*2^1561471-1 is not prime. Res64: 0395724D5ADE14E7 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:26:28] 951*2^1561471-1 is not prime. Res64: B7844866BD4507E0 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:26:28] 603*2^1561472-1 is not prime. Res64: EB32C4A7760D3F26 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:26:29] 605*2^1561472-1 is not prime. Res64: 0A50CDCBF45FE246 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:35:40] 687*2^1561472-1 is not prime. Res64: DB315F4331151410 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:35:41] 699*2^1561472-1 is not prime. Res64: 6263B8698B2DC465 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:35:41] 753*2^1561472-1 is not prime. Res64: CD1EDD4BFA5FB406 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:35:42] 803*2^1561472-1 is not prime. Res64: BCCEB023944C82A6 Time : 0.0 sec. user=mdettweiler [2020-06-16 14:35:42] 827*2^1561472-1 is not prime. Res64: 266DD319DF375CC9 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:14:22] 899*2^1561472-1 is not prime. Res64: 72634427518928DE Time : 0.0 sec. user=mdettweiler [2020-06-16 15:14:23] 741*2^1561473-1 is not prime. Res64: 4840E78EEFE6AFF0 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:14:24] 765*2^1561473-1 is not prime. Res64: 6F15DA54760B3FFA Time : 0.0 sec. user=mdettweiler [2020-06-16 15:14:24] 895*2^1561473-1 is not prime. Res64: B7285929EC4A1960 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:14:24] 665*2^1561474-1 is not prime. Res64: A181F0A82E162A93 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:19:48] 815*2^1561474-1 is not prime. Res64: 8C78A212418247ED Time : 0.0 sec. user=mdettweiler [2020-06-16 15:19:49] 983*2^1561474-1 is not prime. Res64: CF66EF70F37732DB Time : 0.0 sec. user=mdettweiler [2020-06-16 15:19:49] 609*2^1561475-1 is not prime. Res64: A43C1DAB34814FC6 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:19:49] 619*2^1561475-1 is not prime. Res64: 1601666F89963C24 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:19:50] 735*2^1561475-1 is not prime. Res64: 0F4F672BDC2043C3 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:30:45] 783*2^1561475-1 is not prime. Res64: 8EEDB8C51F4C30EA Time : 0.0 sec. user=mdettweiler [2020-06-16 15:30:46] 963*2^1561475-1 is not prime. Res64: 5F3D79FD3E1E8F5D Time : 0.0 sec. user=mdettweiler [2020-06-16 15:30:46] 973*2^1561475-1 is not prime. Res64: D801385A74450460 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:30:46] 695*2^1561476-1 is not prime. Res64: E2CBE05D975F3572 Time : 0.0 sec. user=mdettweiler [2020-06-16 15:30:47] 759*2^1561476-1 is not prime. Res64: C6C4A1AFE48A550E Time : 0.0 sec. user=mdettweiler [2020-06-16 16:10:03] 773*2^1561476-1 is not prime. Res64: A23032F60AF54C9A Time : 0.0 sec. user=mdettweiler [2020-06-16 16:10:04] 923*2^1561476-1 is not prime. Res64: 0B422A084C1C8BA6 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:10:04] 927*2^1561476-1 is not prime. Res64: 97461366D038F715 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:10:04] 975*2^1561476-1 is not prime. Res64: FFD19B28CEEBBB45 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:10:05] 601*2^1561477-1 is not prime. Res64: A89A47EBB4CAD4C1 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:13:02] 609*2^1561477-1 is not prime. Res64: 687386E2E8140A94 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:13:03] 775*2^1561477-1 is not prime. Res64: DB0018F4B25E2D75 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:13:03] 799*2^1561477-1 is not prime. Res64: F070E2FC1E02B5F7 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:13:04] 939*2^1561477-1 is not prime. Res64: 1809435E2F46258A Time : 0.0 sec. user=mdettweiler [2020-06-16 16:13:04] 627*2^1561478-1 is not prime. Res64: 4210DD9179698B93 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:25:23] 657*2^1561478-1 is not prime. Res64: FAA112640A68BBE9 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:25:23] 773*2^1561478-1 is not prime. Res64: 1766EFEBA72A878F Time : 0.0 sec. user=mdettweiler [2020-06-16 16:25:24] 857*2^1561478-1 is not prime. Res64: 9091738DC4004763 Time : 0.0 sec. user=mdettweiler [2020-06-16 16:25:24] 887*2^1561478-1 is not prime. Res64: B46E34409C9473BC Time : 0.0 sec. user=mdettweiler [2020-06-16 16:25:25] 703*2^1561479-1 is not prime. Res64: 21E497924A99FDD9 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:05:19] 635*2^1561480-1 is not prime. Res64: 5355F6EBA99D5B4B Time : 0.0 sec. user=mdettweiler [2020-06-16 17:05:21] 645*2^1561480-1 is not prime. Res64: E807B5E55F7890DE Time : 0.0 sec. user=mdettweiler [2020-06-16 17:05:22] 713*2^1561480-1 is not prime. Res64: E270C1D2A5BBF492 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:05:23] 765*2^1561480-1 is not prime. Res64: 8663CB048138088D Time : 0.0 sec. user=mdettweiler [2020-06-16 17:05:25] 785*2^1561480-1 is not prime. Res64: C52F5A09E42A641F Time : 0.0 sec. user=mdettweiler [2020-06-16 17:08:06] 831*2^1561479-1 is not prime. Res64: 8BA9312C69A0C2E0 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:08:06] 861*2^1561479-1 is not prime. Res64: 26E1A3D2DE2888AA Time : 0.0 sec. user=mdettweiler [2020-06-16 17:08:07] 919*2^1561479-1 is not prime. Res64: 03D35F7AC9F3DFAB Time : 0.0 sec. user=mdettweiler [2020-06-16 17:08:07] 933*2^1561479-1 is not prime. Res64: 857CC746A5998C61 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:08:08] 961*2^1561479-1 is not prime. Res64: AE5B54B432AA2305 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:23:28] 845*2^1561480-1 is not prime. Res64: E5885BC82AD62AD4 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:23:29] 849*2^1561480-1 is not prime. Res64: 44E57BF403C61237 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:23:29] 855*2^1561480-1 is not prime. Res64: 1A56CBBB628E1125 Time : 0.0 sec. user=mdettweiler [2020-06-16 17:23:29] 915*2^1561480-1 is not prime. Res64: AF8A45036355A85B Time : 0.0 sec. user=mdettweiler [2020-06-16 17:23:30] 923*2^1561480-1 is not prime. Res64: 0C00F0699E54249D Time : 0.0 sec. user=mdettweiler [2020-06-16 18:01:32] 927*2^1561480-1 is not prime. Res64: 588984B5B422AA1F Time : 0.0 sec. user=mdettweiler [2020-06-16 18:01:34] 745*2^1561481-1 is not prime. Res64: 543C52645B39F27D Time : 0.0 sec. user=mdettweiler [2020-06-16 18:01:34] 747*2^1561481-1 is not prime. Res64: 89BC6A5031B0DB58 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:01:35] 865*2^1561481-1 is not prime. Res64: 626EF6860F574846 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:01:36] 955*2^1561481-1 is not prime. Res64: 04CAC86B799F1CCA Time : 0.0 sec. user=mdettweiler [2020-06-16 18:02:43] 981*2^1561481-1 is not prime. Res64: 0DED2DA5303D457E Time : 0.0 sec. user=mdettweiler [2020-06-16 18:02:44] 671*2^1561482-1 is not prime. Res64: ED6BD118D2E01249 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:02:45] 695*2^1561482-1 is not prime. Res64: B303555F5102EED3 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:02:46] 777*2^1561482-1 is not prime. Res64: 7B7E830C445FCE14 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:02:46] 923*2^1561482-1 is not prime. Res64: AF66100CD3E19B92 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:18:19] 975*2^1561482-1 is not prime. Res64: 54ABE5311D10189C Time : 0.0 sec. user=mdettweiler [2020-06-16 18:18:19] 983*2^1561482-1 is not prime. Res64: 5EBA67892926BCCE Time : 0.0 sec. user=mdettweiler [2020-06-16 18:18:20] 699*2^1561483-1 is not prime. Res64: CC9A0D6CB582E6D8 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:18:20] 745*2^1561483-1 is not prime. Res64: 1434A5E707FD7D1D Time : 0.0 sec. user=mdettweiler [2020-06-16 18:18:20] 819*2^1561483-1 is not prime. Res64: 247C35840585BC8E Time : 0.0 sec. user=mdettweiler [2020-06-16 18:56:18] 873*2^1561483-1 is not prime. Res64: 71E47D02231CB40A Time : 0.0 sec. user=mdettweiler [2020-06-16 18:56:18] 973*2^1561483-1 is not prime. Res64: FB665BA1364D44A5 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:56:19] 605*2^1561484-1 is not prime. Res64: 1CAB2350DE26DB7C Time : 0.0 sec. user=mdettweiler [2020-06-16 18:56:19] 707*2^1561484-1 is not prime. Res64: 021716B94EB5297D Time : 0.0 sec. user=mdettweiler [2020-06-16 18:56:20] 759*2^1561484-1 is not prime. Res64: 2D9F1FE3813E1ECB Time : 0.0 sec. user=mdettweiler [2020-06-16 18:57:06] 875*2^1561484-1 is not prime. Res64: 52C83A2BDA70E10E Time : 0.0 sec. user=mdettweiler [2020-06-16 18:57:06] 929*2^1561484-1 is not prime. Res64: CAE3B918F4EFC8B0 Time : 0.0 sec. user=mdettweiler [2020-06-16 18:57:06] 609*2^1561485-1 is not prime. Res64: 069F5ED8312B000D Time : 0.0 sec. user=mdettweiler [2020-06-16 18:57:07] 649*2^1561485-1 is not prime. Res64: 6A968BF923E12EFA Time : 0.0 sec. user=mdettweiler [2020-06-16 18:57:07] 741*2^1561485-1 is not prime. Res64: A2AF105D197A679E Time : 0.0 sec. user=mdettweiler [2020-06-16 19:10:50] 781*2^1561485-1 is not prime. Res64: C9BA841B5990074A Time : 0.0 sec. user=mdettweiler [2020-06-16 19:10:52] 657*2^1561486-1 is not prime. Res64: D73167FC6FB5E751 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:10:53] 713*2^1561486-1 is not prime. Res64: F09938153C00FCB6 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:10:55] 755*2^1561486-1 is not prime. Res64: 171FDD3384489F77 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:10:56] 783*2^1561486-1 is not prime. Res64: B49519A64856317A Time : 0.0 sec. user=mdettweiler [2020-06-16 19:50:52] 801*2^1561486-1 is not prime. Res64: 838C5F5C0D14A3D8 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:50:52] 821*2^1561486-1 is not prime. Res64: CD50D42BABC47D55 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:50:53] 871*2^1561487-1 is not prime. Res64: 1113F13B32FDDE36 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:50:53] 629*2^1561488-1 is not prime. Res64: 37003D91AC60AF59 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:50:53] 683*2^1561488-1 is not prime. Res64: 541AC28451CCF5BC Time : 0.0 sec. user=mdettweiler [2020-06-16 19:51:11] 699*2^1561488-1 is not prime. Res64: 17D61B5C9653F93B Time : 0.0 sec. user=mdettweiler [2020-06-16 19:51:12] 723*2^1561488-1 is not prime. Res64: DDFE7887A578F9A6 Time : 0.0 sec. user=mdettweiler [2020-06-16 19:51:12] 765*2^1561488-1 is not prime. Res64: 7A89E377A9775CDF Time : 0.0 sec. user=mdettweiler [2020-06-16 19:51:12] 795*2^1561488-1 is not prime. Res64: 5FFADCCADBF508AB Time : 0.0 sec. user=mdettweiler [2020-06-16 19:51:13] 887*2^1561488-1 is not prime. Res64: 010E747551CE8EF7 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:05:53] 929*2^1561488-1 is not prime. Res64: 22E3FE6BDF4F8D55 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:05:54] 975*2^1561488-1 is not prime. Res64: 64F24DBD19CDBA29 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:05:55] 667*2^1561489-1 is not prime. Res64: 0D12307093634F63 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:05:56] 691*2^1561489-1 is not prime. Res64: 3CA7C07B5F305911 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:05:57] 747*2^1561489-1 is not prime. Res64: 026066BC6EF6B21F Time : 0.0 sec. user=mdettweiler [2020-06-16 20:44:25] 751*2^1561489-1 is not prime. Res64: 8A7DA5A83995EE6A Time : 0.0 sec. user=mdettweiler [2020-06-16 20:44:25] 771*2^1561489-1 is not prime. Res64: DD4B30138A5FD085 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:44:26] 831*2^1561489-1 is not prime. Res64: 70A5D1D8899C7C6D Time : 0.0 sec. user=mdettweiler [2020-06-16 20:44:26] 641*2^1561490-1 is not prime. Res64: 4FE4B7572732571B Time : 0.0 sec. user=mdettweiler [2020-06-16 20:44:26] 717*2^1561490-1 is not prime. Res64: 6D361BC782434D66 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:47:05] 731*2^1561490-1 is not prime. Res64: 3D8945335CB85D91 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:47:05] 741*2^1561490-1 is not prime. Res64: 59F95BD4A57E8E83 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:47:06] 825*2^1561490-1 is not prime. Res64: 35E6BD753F16C056 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:47:06] 857*2^1561490-1 is not prime. Res64: 69AB540F9B899F43 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:47:07] 935*2^1561490-1 is not prime. Res64: 8FDCB9E2FF83BF40 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:59:11] 609*2^1561491-1 is not prime. Res64: 3AE0F203BB2DB045 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:59:11] 891*2^1561491-1 is not prime. Res64: 86C7D8E6709A4C4C Time : 0.0 sec. user=mdettweiler [2020-06-16 20:59:12] 609*2^1561492-1 is not prime. Res64: B609A6F42B41F9A9 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:59:12] 719*2^1561492-1 is not prime. Res64: F2A6AA25DB2AB480 Time : 0.0 sec. user=mdettweiler [2020-06-16 20:59:12] 735*2^1561492-1 is not prime. Res64: C38E4F864F4770CF Time : 0.0 sec. user=mdettweiler [2020-06-16 21:38:43] 743*2^1561492-1 is not prime. Res64: 89DC7B95EE56F2EB Time : 0.0 sec. user=mdettweiler [2020-06-16 21:38:43] 873*2^1561492-1 is not prime. Res64: 7A1353B2A759F0E1 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:38:44] 897*2^1561492-1 is not prime. Res64: 00FAF31D730BD3B8 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:38:44] 607*2^1561493-1 is not prime. Res64: 12A420F955A70DD8 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:38:44] 615*2^1561493-1 is not prime. Res64: 0B64C1D592168D7C Time : 0.0 sec. user=mdettweiler [2020-06-16 21:40:20] 631*2^1561493-1 is not prime. Res64: A2A3DF84CA2681CF Time : 0.0 sec. user=mdettweiler [2020-06-16 21:40:20] 657*2^1561493-1 is not prime. Res64: 1F8B65EC842C942E Time : 0.0 sec. user=mdettweiler [2020-06-16 21:40:21] 721*2^1561493-1 is not prime. Res64: F9C28BAFFAC51D03 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:40:21] 775*2^1561493-1 is not prime. Res64: 94A0918AF5336D28 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:40:21] 951*2^1561493-1 is not prime. Res64: D0902DDD037B42BB Time : 0.0 sec. user=mdettweiler [2020-06-16 21:52:20] 987*2^1561493-1 is not prime. Res64: 0B6E3623E5C96EEC Time : 0.0 sec. user=mdettweiler [2020-06-16 21:52:21] 621*2^1561494-1 is not prime. Res64: CB460BA9DD81A6D7 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:52:21] 677*2^1561494-1 is not prime. Res64: F48F1BA058AEB1D9 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:52:21] 731*2^1561494-1 is not prime. Res64: B549DE8F5E2CA5B2 Time : 0.0 sec. user=mdettweiler [2020-06-16 21:52:22] 795*2^1561494-1 is not prime. Res64: 9872C814CBFF687F Time : 0.0 sec. user=mdettweiler [2020-06-16 22:34:24] 863*2^1561494-1 is not prime. Res64: 4A4D085E34C8D26F Time : 0.0 sec. user=mdettweiler [2020-06-16 22:34:24] 903*2^1561494-1 is not prime. Res64: 7BE4D9BB128ADB1C Time : 0.0 sec. user=mdettweiler [2020-06-16 22:34:24] 947*2^1561494-1 is not prime. Res64: E80AE0B585785D37 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:34:25] 645*2^1561495-1 is not prime. Res64: 7C86DBE921A5D8B7 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:34:25] 709*2^1561495-1 is not prime. Res64: 6BF96407FCE3024C Time : 0.0 sec. user=mdettweiler [2020-06-16 22:37:22] 723*2^1561495-1 is not prime. Res64: 965A66E6022E91B0 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:37:23] 819*2^1561495-1 is not prime. Res64: ACE2042FEB4F3250 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:37:23] 841*2^1561495-1 is not prime. Res64: 461B3F6D791D7D18 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:37:23] 855*2^1561495-1 is not prime. Res64: B37D8DC47C3E38F1 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:37:24] 859*2^1561495-1 is not prime. Res64: D9A190C3FB6EFDB2 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:49:06] 873*2^1561495-1 is not prime. Res64: 2EDC4F1B49901A78 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:49:07] 885*2^1561495-1 is not prime. Res64: B3DAF27365BA1914 Time : 0.0 sec. user=mdettweiler [2020-06-16 22:49:07] 915*2^1561495-1 is not prime. Res64: 82C9037BACAAB67B Time : 0.0 sec. user=mdettweiler [2020-06-16 22:49:07] 969*2^1561495-1 is not prime. Res64: 0983F3907A030B8E Time : 0.0 sec. user=mdettweiler [2020-06-16 22:49:08] 629*2^1561496-1 is not prime. Res64: 5252DB071C3615DD Time : 0.0 sec. user=mdettweiler [2020-06-16 23:27:54] 837*2^1561496-1 is not prime. Res64: A62E12806723719E Time : 0.0 sec. user=mdettweiler [2020-06-16 23:27:55] 615*2^1561497-1 is not prime. Res64: F8D56B95E196AB32 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:27:55] 717*2^1561497-1 is not prime. Res64: B0D4AD1D786A9132 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:27:55] 735*2^1561497-1 is not prime. Res64: F9A4648C2BBBD068 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:27:56] 781*2^1561497-1 is not prime. Res64: 3691B74030D6C1F0 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:32:17] 805*2^1561497-1 is not prime. Res64: 8056E37C3ECE20CD Time : 0.0 sec. user=mdettweiler [2020-06-16 23:32:17] 979*2^1561497-1 is not prime. Res64: F8420772750C36E5 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:32:18] 985*2^1561497-1 is not prime. Res64: D6DC475BA047752B Time : 0.0 sec. user=mdettweiler [2020-06-16 23:32:18] 737*2^1561498-1 is not prime. Res64: C9FADB63622D6B3B Time : 0.0 sec. user=mdettweiler [2020-06-16 23:32:18] 803*2^1561498-1 is not prime. Res64: 60664E84F96CF527 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:43:05] 885*2^1561498-1 is not prime. Res64: 4497A830714531FE Time : 0.0 sec. user=mdettweiler [2020-06-16 23:43:06] 945*2^1561498-1 is not prime. Res64: 44DD1A0B0178ED0C Time : 0.0 sec. user=mdettweiler [2020-06-16 23:43:06] 643*2^1561499-1 is not prime. Res64: 3C5422E47C659620 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:43:06] 655*2^1561499-1 is not prime. Res64: 71279A297E8A5996 Time : 0.0 sec. user=mdettweiler [2020-06-16 23:43:07] 679*2^1561499-1 is not prime. Res64: 5F85DDC8614476DF Time : 0.0 sec.