user=mdettweiler [2020-01-05 00:07:01] 925*2^1552201-1 is not prime. Res64: 11AC507C544D738E Time : 0.0 sec. user=mdettweiler [2020-01-05 00:07:04] 997*2^1552201-1 is not prime. Res64: 0482E38B6A2F082F Time : 0.0 sec. user=mdettweiler [2020-01-05 00:07:06] 671*2^1552202-1 is not prime. Res64: E79F27370BA735CB Time : 0.0 sec. user=mdettweiler [2020-01-05 00:07:08] 735*2^1552202-1 is not prime. Res64: BF70876FC2E65D82 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:07:09] 825*2^1552202-1 is not prime. Res64: 68464EEF76BA99F2 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:51:49] 833*2^1552202-1 is not prime. Res64: 55419562F2F0C531 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:51:50] 867*2^1552202-1 is not prime. Res64: 34D75DFF25B888A9 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:51:50] 873*2^1552202-1 is not prime. Res64: 4052B7F1D6995693 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:51:51] 885*2^1552202-1 is not prime. Res64: 325985879FF38E81 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:51:51] 663*2^1552203-1 is not prime. Res64: 1D9FCCD6DDFA7ED4 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:52:40] 679*2^1552203-1 is not prime. Res64: 1C7FF77B71BE3120 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:52:41] 765*2^1552203-1 is not prime. Res64: A01D3F27B091AFD6 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:52:41] 859*2^1552203-1 is not prime. Res64: 4E004264BDC62BB8 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:52:42] 895*2^1552203-1 is not prime. Res64: 456F5DFC93B4FEE9 Time : 0.0 sec. user=mdettweiler [2020-01-05 00:52:42] 991*2^1552203-1 is not prime. Res64: 17561D635EFA1C50 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:00:44] 657*2^1552204-1 is not prime. Res64: 6CAEA0E91D0EE2EC Time : 0.0 sec. user=mdettweiler [2020-01-05 01:00:45] 665*2^1552204-1 is not prime. Res64: 1B0536A4B5A46BB0 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:00:46] 707*2^1552204-1 is not prime. Res64: C8DDEDA7BA295443 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:00:47] 819*2^1552204-1 is not prime. Res64: CC54564969210D37 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:00:47] 969*2^1552204-1 is not prime. Res64: D820C772D42A500C Time : 0.0 sec. user=mdettweiler [2020-01-05 01:43:54] 697*2^1552205-1 is not prime. Res64: C414D6767902F722 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:43:58] 777*2^1552205-1 is not prime. Res64: 26AC6C0EC90F7652 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:44:00] 819*2^1552205-1 is not prime. Res64: A18D96E82F439007 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:44:01] 871*2^1552205-1 is not prime. Res64: 0965674F03DB2ED2 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:44:02] 885*2^1552205-1 is not prime. Res64: 0C1E247237AA0B21 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:46:53] 925*2^1552205-1 is not prime. Res64: A277620E8243FEDA Time : 0.0 sec. user=mdettweiler [2020-01-05 01:46:53] 955*2^1552205-1 is not prime. Res64: D9DF605EB73E384C Time : 0.0 sec. user=mdettweiler [2020-01-05 01:46:54] 987*2^1552205-1 is not prime. Res64: 9F546C08415B5547 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:46:55] 647*2^1552206-1 is not prime. Res64: 8894C1A42FBD2A4C Time : 0.0 sec. user=mdettweiler [2020-01-05 01:46:55] 705*2^1552206-1 is not prime. Res64: 99ACE17A6990F7F2 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:54:14] 723*2^1552206-1 is not prime. Res64: EE7EDA2E69D9E250 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:54:14] 807*2^1552206-1 is not prime. Res64: 280DF6458242FCDE Time : 0.0 sec. user=mdettweiler [2020-01-05 01:54:15] 887*2^1552206-1 is not prime. Res64: 85EB06587BCA1816 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:54:15] 921*2^1552206-1 is not prime. Res64: FE117D70C50957D4 Time : 0.0 sec. user=mdettweiler [2020-01-05 01:54:15] 971*2^1552206-1 is not prime. Res64: 10A062A7C7AE7CB2 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:36:07] 715*2^1552207-1 is not prime. Res64: 51A4B7809312C8F2 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:36:10] 759*2^1552207-1 is not prime. Res64: EBF4EAC84446FD19 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:36:12] 763*2^1552207-1 is not prime. Res64: 945156B21F071D87 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:36:13] 805*2^1552207-1 is not prime. Res64: 196A5BDA5818F3B5 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:36:13] 831*2^1552207-1 is not prime. Res64: D195AF446336E8FE Time : 0.0 sec. user=mdettweiler [2020-01-05 02:38:57] 861*2^1552207-1 is not prime. Res64: 6813778A57C554DB Time : 0.0 sec. user=mdettweiler [2020-01-05 02:38:59] 915*2^1552207-1 is not prime. Res64: 2A12421200B5C3DB Time : 0.0 sec. user=mdettweiler [2020-01-05 02:39:03] 713*2^1552208-1 is not prime. Res64: 4C68921CF94A5B5A Time : 0.0 sec. user=mdettweiler [2020-01-05 02:39:07] 735*2^1552208-1 is not prime. Res64: 990FD3A2660A7D32 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:39:10] 797*2^1552208-1 is not prime. Res64: C14C2B539ABB9646 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:48:32] 869*2^1552208-1 is not prime. Res64: 7FD4E2ACBB344C93 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:48:32] 879*2^1552208-1 is not prime. Res64: B2E81F69ED43145E Time : 0.0 sec. user=mdettweiler [2020-01-05 02:48:33] 959*2^1552208-1 is not prime. Res64: 63C7D1D2CB20B073 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:48:33] 977*2^1552208-1 is not prime. Res64: DBA1D4ADA1CA8230 Time : 0.0 sec. user=mdettweiler [2020-01-05 02:48:34] 679*2^1552209-1 is not prime. Res64: 9B8F69DE9BCD52D8 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:12] 817*2^1552209-1 is not prime. Res64: A7BB32B60CF49EC3 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:15] 831*2^1552209-1 is not prime. Res64: A7B6C41F4E66A041 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:17] 907*2^1552209-1 is not prime. Res64: 4DA67A07EDD627E2 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:22] 919*2^1552209-1 is not prime. Res64: 658D396E1C220F3B Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:24] 985*2^1552209-1 is not prime. Res64: 4C6614D56780D0DC Time : 0.0 sec. user=mdettweiler [2020-01-05 03:30:59] 665*2^1552210-1 is not prime. Res64: 68541CF2CF70EE05 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:31:05] 717*2^1552210-1 is not prime. Res64: 04B0D2CE37B8D1B8 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:31:09] 731*2^1552210-1 is not prime. Res64: 2723DC5219D7D0DA Time : 0.0 sec. user=mdettweiler [2020-01-05 03:31:13] 743*2^1552210-1 is not prime. Res64: 358F1B5B7219DE7A Time : 0.0 sec. user=mdettweiler [2020-01-05 03:31:16] 765*2^1552210-1 is not prime. Res64: EA11B1F8610A87D0 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:41:26] 825*2^1552210-1 is not prime. Res64: 45839D26FFAE6C94 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:41:32] 1001*2^1552210-1 is not prime. Res64: 5B22FE17642FBF1D Time : 0.0 sec. user=mdettweiler [2020-01-05 03:41:36] 621*2^1552211-1 is not prime. Res64: DC22E030DB86AFE8 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:41:40] 663*2^1552211-1 is not prime. Res64: 8A388A5EEAA6AA39 Time : 0.0 sec. user=mdettweiler [2020-01-05 03:41:44] 693*2^1552211-1 is not prime. Res64: 8D2CEC5A47A4084A Time : 0.0 sec. user=mdettweiler [2020-01-05 04:24:52] 699*2^1552212-1 is not prime. Res64: 6C95808C816ECE79 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:24:55] 819*2^1552212-1 is not prime. Res64: ED3069C314A01EA9 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:24:57] 935*2^1552212-1 is not prime. Res64: 9B6C131540F81D50 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:24:58] 679*2^1552213-1 is not prime. Res64: 47CE61F6D3927C9E Time : 0.0 sec. user=mdettweiler [2020-01-05 04:25:00] 885*2^1552213-1 is not prime. Res64: 1B60C09EF0B7A1BC Time : 0.0 sec. user=mdettweiler [2020-01-05 04:26:08] 753*2^1552211-1 is not prime. Res64: B996FE1AED647026 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:26:13] 829*2^1552211-1 is not prime. Res64: 3C4A5F22C7087F51 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:26:19] 901*2^1552211-1 is not prime. Res64: F72451BC7D5C6DCA Time : 0.0 sec. user=mdettweiler [2020-01-05 04:26:22] 931*2^1552211-1 is not prime. Res64: 3763AFEE3D2ACA16 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:26:26] 949*2^1552211-1 is not prime. Res64: F68DDDDE4DDF9980 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:36:36] 615*2^1552214-1 is not prime. Res64: E5B610D8153D83D0 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:36:37] 773*2^1552214-1 is not prime. Res64: D1FE0B2722E90EAB Time : 0.0 sec. user=mdettweiler [2020-01-05 04:36:38] 813*2^1552214-1 is not prime. Res64: 556FBB94FD046237 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:36:39] 923*2^1552214-1 is not prime. Res64: 69E45227B92BBBF7 Time : 0.0 sec. user=mdettweiler [2020-01-05 04:36:40] 971*2^1552214-1 is not prime. Res64: C0BF6260D87146CE Time : 0.0 sec. user=mdettweiler [2020-01-05 05:19:37] 995*2^1552214-1 is not prime. Res64: 39EFD234DF6D2CA0 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:19:39] 709*2^1552215-1 is not prime. Res64: 41BBAC8E823069BA Time : 0.0 sec. user=mdettweiler [2020-01-05 05:19:41] 751*2^1552215-1 is not prime. Res64: 82C6478F3DD4CC0C Time : 0.0 sec. user=mdettweiler [2020-01-05 05:19:44] 765*2^1552215-1 is not prime. Res64: 524738F42DDBA919 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:19:46] 825*2^1552215-1 is not prime. Res64: C9F3B1C2BE5012F0 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:21:24] 933*2^1552215-1 is not prime. Res64: DB10531210431A6F Time : 0.0 sec. user=mdettweiler [2020-01-05 05:21:27] 955*2^1552215-1 is not prime. Res64: 80CAF6B7CEE993C9 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:21:31] 639*2^1552216-1 is not prime. Res64: 5490439CE480D214 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:21:33] 645*2^1552216-1 is not prime. Res64: 8CFA909152C1FDC6 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:21:35] 695*2^1552216-1 is not prime. Res64: 2E4401FBD545C510 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:30:28] 765*2^1552216-1 is not prime. Res64: DDA65C62F9BCC8E6 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:30:29] 869*2^1552216-1 is not prime. Res64: C9ED13934B94F6FB Time : 0.0 sec. user=mdettweiler [2020-01-05 05:30:29] 887*2^1552216-1 is not prime. Res64: 050F93927A6B013E Time : 0.0 sec. user=mdettweiler [2020-01-05 05:30:30] 909*2^1552216-1 is not prime. Res64: DAF9A4F703B38BE7 Time : 0.0 sec. user=mdettweiler [2020-01-05 05:30:30] 923*2^1552216-1 is not prime. Res64: C93B21B55950BF02 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:14:05] 993*2^1552216-1 is not prime. Res64: 2BC4574017FE3C76 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:14:10] 607*2^1552217-1 is not prime. Res64: 3760C452829A94FF Time : 0.0 sec. user=mdettweiler [2020-01-05 06:14:17] 711*2^1552217-1 is not prime. Res64: E47A45C246EAD6AF Time : 0.0 sec. user=mdettweiler [2020-01-05 06:14:21] 777*2^1552217-1 is not prime. Res64: 731A32FEEF32A800 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:17:48] 829*2^1552217-1 is not prime. Res64: 1AECDBB265C11FB8 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:17:50] 937*2^1552217-1 is not prime. Res64: CEBD4C90795AF9B9 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:17:52] 949*2^1552217-1 is not prime. Res64: 17E97B6B05C1B255 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:17:53] 979*2^1552217-1 is not prime. Res64: 45087EF8CF0D7EB5 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:17:54] 663*2^1552218-1 is not prime. Res64: D56EC90D6790D510 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:23:39] 707*2^1552218-1 is not prime. Res64: 1B2A55DD34551332 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:23:40] 713*2^1552218-1 is not prime. Res64: 6DFB133302586B3B Time : 0.0 sec. user=mdettweiler [2020-01-05 06:23:40] 971*2^1552218-1 is not prime. Res64: 9042FE5091E2F318 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:23:40] 619*2^1552219-1 is not prime. Res64: 62229B978C95E553 Time : 0.0 sec. user=mdettweiler [2020-01-05 06:23:41] 639*2^1552219-1 is not prime. Res64: C818C5BF63BAC72F Time : 0.0 sec. user=mdettweiler [2020-01-05 07:12:34] 645*2^1552219-1 is not prime. Res64: 5AD14F1357B0EB77 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:12:35] 691*2^1552219-1 is not prime. Res64: D0ABFEB60F253488 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:12:36] 793*2^1552219-1 is not prime. Res64: 8B2CC8DA8627E488 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:12:36] 909*2^1552219-1 is not prime. Res64: 04C23E989D34493E Time : 0.0 sec. user=mdettweiler [2020-01-05 07:12:37] 943*2^1552219-1 is not prime. Res64: 65E6A356222B4062 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:18:32] 961*2^1552219-1 is not prime. Res64: 56F77E7862A28E73 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:18:33] 979*2^1552219-1 is not prime. Res64: B39FB61931F841B0 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:18:33] 615*2^1552220-1 is not prime. Res64: 90AE3CA1FDBCF5EC Time : 0.0 sec. user=mdettweiler [2020-01-05 07:18:34] 675*2^1552220-1 is not prime. Res64: 042FFCF9FD12BF58 Time : 0.0 sec. user=mdettweiler [2020-01-05 07:18:34] 687*2^1552220-1 is not prime. Res64: A17363C386E3F6DF Time : 0.0 sec. user=mdettweiler [2020-01-05 08:08:29] 707*2^1552220-1 is not prime. Res64: A0CBC3BDBE50F159 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:08:30] 843*2^1552220-1 is not prime. Res64: B988D92BBEE60871 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:08:31] 963*2^1552220-1 is not prime. Res64: A7B02875F904FBC1 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:08:34] 995*2^1552220-1 is not prime. Res64: DCB674FFDE386CF7 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:08:36] 639*2^1552221-1 is not prime. Res64: 19B0616A01E8D0B3 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:11:12] 745*2^1552221-1 is not prime. Res64: 9A42786D6245C0F8 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:11:16] 747*2^1552221-1 is not prime. Res64: 6D323FDA09D2E416 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:11:19] 849*2^1552221-1 is not prime. Res64: DCB2FE6C8CBE8E65 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:11:21] 861*2^1552221-1 is not prime. Res64: 7FA90EA99459C352 Time : 0.0 sec. user=mdettweiler [2020-01-05 08:11:26] 645*2^1552222-1 is not prime. Res64: 9166CF726E9C0AEA Time : 0.0 sec. user=mdettweiler [2020-01-05 09:02:24] 713*2^1552222-1 is not prime. Res64: B128DF8FAD1DBE4E Time : 0.0 sec. user=mdettweiler [2020-01-05 09:02:25] 723*2^1552222-1 is not prime. Res64: B55F0DADA019F2C7 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:02:26] 747*2^1552222-1 is not prime. Res64: 471BACE0FA920661 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:02:27] 821*2^1552222-1 is not prime. Res64: 3C3241A1A402C0A6 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:02:28] 833*2^1552222-1 is not prime. Res64: 815B4CF8AFA7CE85 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:08:10] 881*2^1552222-1 is not prime. Res64: 81825855380C3B37 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:08:11] 945*2^1552222-1 is not prime. Res64: EDEA5DA4011A8343 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:08:11] 957*2^1552222-1 is not prime. Res64: A3ED8F3B2D9B0070 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:08:11] 975*2^1552222-1 is not prime. Res64: 81499063FF78A0B6 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:08:12] 669*2^1552223-1 is not prime. Res64: 0AEDE2DCFA5764DA Time : 0.0 sec. user=mdettweiler [2020-01-05 09:55:41] 741*2^1552223-1 is not prime. Res64: 5C7333D5BC98A648 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:55:41] 813*2^1552223-1 is not prime. Res64: 7016D6FB36DED20D Time : 0.0 sec. user=mdettweiler [2020-01-05 09:55:41] 969*2^1552223-1 is not prime. Res64: 7D58165FDFAC2EC8 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:55:42] 605*2^1552224-1 is not prime. Res64: 6CE41F1C188AC8D4 Time : 0.0 sec. user=mdettweiler [2020-01-05 09:55:42] 663*2^1552224-1 is not prime. Res64: 85EFBF13ADB79A8F Time : 0.0 sec. user=mdettweiler [2020-01-05 10:01:32] 803*2^1552224-1 is not prime. Res64: 13429E0591AEF002 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:01:34] 809*2^1552224-1 is not prime. Res64: 2B16D27991A6335E Time : 0.0 sec. user=mdettweiler [2020-01-05 10:01:36] 825*2^1552224-1 is not prime. Res64: D6484F52C29378DF Time : 0.0 sec. user=mdettweiler [2020-01-05 10:01:38] 947*2^1552224-1 is not prime. Res64: BB28F6CA6F9C30DE Time : 0.0 sec. user=mdettweiler [2020-01-05 10:01:39] 607*2^1552225-1 is not prime. Res64: 22311EF7E1BCDE1E Time : 0.0 sec. user=mdettweiler [2020-01-05 10:46:49] 705*2^1552225-1 is not prime. Res64: CAB1C1F5C7308D37 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:46:49] 721*2^1552225-1 is not prime. Res64: B60239CC1062D630 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:46:50] 651*2^1552226-1 is not prime. Res64: FFC9841DB4038E2D Time : 0.0 sec. user=mdettweiler [2020-01-05 10:46:50] 683*2^1552226-1 is not prime. Res64: 24479520FC0877FF Time : 0.0 sec. user=mdettweiler [2020-01-05 10:46:50] 713*2^1552226-1 is not prime. Res64: FD90A398036509D1 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:49:07] 805*2^1552217-1 is not prime. Res64: C44A7F9BFB5112A6 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:54:31] 735*2^1552226-1 is not prime. Res64: 795D11CCBD748D51 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:54:32] 815*2^1552226-1 is not prime. Res64: 940347936C2009FE Time : 0.0 sec. user=mdettweiler [2020-01-05 10:54:32] 873*2^1552226-1 is not prime. Res64: D1A268F1A2D97265 Time : 0.0 sec. user=mdettweiler [2020-01-05 10:54:32] 903*2^1552226-1 is not prime. Res64: EF6DDF4C10AA8BBE Time : 0.0 sec. user=mdettweiler [2020-01-05 10:54:33] 871*2^1552227-1 is not prime. Res64: 2DB94F45AE3092DA Time : 0.0 sec. user=mdettweiler [2020-01-05 11:38:42] 891*2^1552227-1 is not prime. Res64: C21BF3A2D23E90EE Time : 0.0 sec. user=mdettweiler [2020-01-05 11:38:42] 677*2^1552228-1 is not prime. Res64: EED5B4E3BB469894 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:38:43] 743*2^1552228-1 is not prime. Res64: 69F1609CF98C01A2 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:38:43] 845*2^1552228-1 is not prime. Res64: 52EA60345D1E16F9 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:38:43] 875*2^1552228-1 is not prime. Res64: 556019DFE9EEC261 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:42:01] 899*2^1552228-1 is not prime. Res64: 38C3583D3CEF599F Time : 0.0 sec. user=mdettweiler [2020-01-05 11:42:01] 909*2^1552228-1 is not prime. Res64: 102ADFCA705BAC03 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:42:01] 975*2^1552228-1 is not prime. Res64: 63DE1876E8C29587 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:42:02] 645*2^1552229-1 is not prime. Res64: 4510DA839B901587 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:42:02] 655*2^1552229-1 is not prime. Res64: B025D2506EDB92C5 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:46:23] 799*2^1552229-1 is not prime. Res64: 1C6478352F4142D3 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:46:24] 889*2^1552229-1 is not prime. Res64: 597FE30E6ABAF575 Time : 0.0 sec. user=mdettweiler [2020-01-05 11:46:24] 611*2^1552230-1 is not prime. Res64: 4352086D35AB438C Time : 0.0 sec. user=mdettweiler [2020-01-05 11:46:24] 641*2^1552230-1 is not prime. Res64: 9CEB76C1BCB3090A Time : 0.0 sec. user=mdettweiler [2020-01-05 11:46:25] 845*2^1552230-1 is not prime. Res64: D4E94201560A8AA3 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:32:59] 893*2^1552230-1 is not prime. Res64: 9C0038AACA7378D7 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:33:00] 921*2^1552230-1 is not prime. Res64: 665D46D3131609C3 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:33:00] 941*2^1552230-1 is not prime. Res64: B4CB66C2B89D1F70 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:33:00] 1001*2^1552230-1 is not prime. Res64: 7C3B84BB0EA806CC Time : 0.0 sec. user=mdettweiler [2020-01-05 12:33:01] 673*2^1552231-1 is not prime. Res64: 1B7EA660AAA82103 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:35:57] 679*2^1552231-1 is not prime. Res64: 4E902323B4C64C8A Time : 0.0 sec. user=mdettweiler [2020-01-05 12:35:57] 709*2^1552231-1 is not prime. Res64: 30CD8DC6BCD00FD7 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:35:58] 895*2^1552231-1 is not prime. Res64: 47E8EB8F97049014 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:35:58] 951*2^1552231-1 is not prime. Res64: 7A0C94EC84297A0A Time : 0.0 sec. user=mdettweiler [2020-01-05 12:35:58] 975*2^1552231-1 is not prime. Res64: 6EDE5A2464A1BE4E Time : 0.0 sec. user=mdettweiler [2020-01-05 12:37:18] 623*2^1552232-1 is not prime. Res64: EAF5EF835AFD187D Time : 0.0 sec. user=mdettweiler [2020-01-05 12:37:18] 629*2^1552232-1 is not prime. Res64: 940E2C44D2127605 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:37:18] 665*2^1552232-1 is not prime. Res64: 8926F1264BC27A89 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:37:19] 719*2^1552232-1 is not prime. Res64: C2FA923083F71AB6 Time : 0.0 sec. user=mdettweiler [2020-01-05 12:37:19] 777*2^1552232-1 is not prime. Res64: 7B178FB93947DF15 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:25:24] 797*2^1552232-1 is not prime. Res64: C3D12AE07CAE4BD7 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:25:25] 813*2^1552232-1 is not prime. Res64: C18EF5C9460C2F52 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:25:25] 825*2^1552232-1 is not prime. Res64: F67500F2387EEF8B Time : 0.0 sec. user=mdettweiler [2020-01-05 13:25:26] 827*2^1552232-1 is not prime. Res64: 8A673B1872749FAD Time : 0.0 sec. user=mdettweiler [2020-01-05 13:25:26] 873*2^1552232-1 is not prime. Res64: CFFFADEB7CB37F17 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:26:49] 609*2^1552233-1 is not prime. Res64: 0F5909DBE95285CB Time : 0.0 sec. user=mdettweiler [2020-01-05 13:26:49] 741*2^1552233-1 is not prime. Res64: EFF256B26AB28254 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:26:49] 745*2^1552233-1 is not prime. Res64: AC77532F59544A96 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:26:50] 765*2^1552233-1 is not prime. Res64: A895EAC81E48662B Time : 0.0 sec. user=mdettweiler [2020-01-05 13:26:50] 665*2^1552234-1 is not prime. Res64: E6C4BA838EB50411 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:28:14] 717*2^1552234-1 is not prime. Res64: 288B74D5445E2899 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:28:15] 655*2^1552235-1 is not prime. Res64: 553C574DC0C8FF11 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:28:15] 685*2^1552235-1 is not prime. Res64: 428F92F6B5D75AF2 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:28:15] 753*2^1552235-1 is not prime. Res64: F18A04EF03015325 Time : 0.0 sec. user=mdettweiler [2020-01-05 13:28:16] 771*2^1552235-1 is not prime. Res64: A6E6080B4596B2A9 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:30] 705*2^1552236-1 is not prime. Res64: E54694D7D68275D3 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:30] 707*2^1552236-1 is not prime. Res64: 8B5272FD43D2C6BD Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:31] 843*2^1552236-1 is not prime. Res64: 65BDA7997FF63D9E Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:32] 969*2^1552236-1 is not prime. Res64: 1FE9EEB14D189DC6 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:32] 729*2^1552237-1 is not prime. Res64: 13C2245385FE3A15 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:48] 841*2^1552235-1 is not prime. Res64: DCB5D8DBB3B2B3B2 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:49] 871*2^1552235-1 is not prime. Res64: DE10A47CABAC130F Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:49] 985*2^1552235-1 is not prime. Res64: A5C5E194AD5870A8 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:50] 999*2^1552235-1 is not prime. Res64: DAFC9B0CA682EB6D Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:50] 629*2^1552236-1 is not prime. Res64: 91EE4A0924D609E3 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:55] 747*2^1552237-1 is not prime. Res64: C42925647FF74A0B Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:55] 751*2^1552237-1 is not prime. Res64: 13F2D452A09AC0EA Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:56] 759*2^1552237-1 is not prime. Res64: 2CB039628B449C63 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:56] 829*2^1552237-1 is not prime. Res64: 370539FD9D2DBFB4 Time : 0.0 sec. user=mdettweiler [2020-01-05 14:19:57] 919*2^1552237-1 is not prime. Res64: 13393AD6012B5B96 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:12:14] 755*2^1552238-1 is not prime. Res64: 3C24F09F71A3559F Time : 0.0 sec. user=mdettweiler [2020-01-05 15:12:15] 761*2^1552238-1 is not prime. Res64: 01C0AAF5115CD849 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:12:15] 767*2^1552238-1 is not prime. Res64: 352FA15CDE2A244D Time : 0.0 sec. user=mdettweiler [2020-01-05 15:12:16] 875*2^1552238-1 is not prime. Res64: 30FE8F1EA4688203 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:12:16] 887*2^1552238-1 is not prime. Res64: 4AE3AEA5C614F548 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:13:12] 977*2^1552238-1 is not prime. Res64: D51D7C4985D07950 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:13:12] 619*2^1552239-1 is not prime. Res64: B6B152ACADB1177F Time : 0.0 sec. user=mdettweiler [2020-01-05 15:13:13] 709*2^1552239-1 is not prime. Res64: 43DD426B7459F70E Time : 0.0 sec. user=mdettweiler [2020-01-05 15:13:13] 745*2^1552239-1 is not prime. Res64: F1F7D08C4BBE176B Time : 0.0 sec. user=mdettweiler [2020-01-05 15:13:14] 751*2^1552239-1 is not prime. Res64: 149FCF3FEEF71F89 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:15:45] 939*2^1552237-1 is not prime. Res64: FA7E8697B5829A42 Time : 0.0 sec. user=mdettweiler [2020-01-05 15:15:45] 985*2^1552237-1 is not prime. Res64: 1695EFE143C15DDB Time : 0.0 sec. user=mdettweiler [2020-01-05 15:15:46] 997*2^1552237-1 is not prime. Res64: B66C0C3423ACAACC Time : 0.0 sec. user=mdettweiler [2020-01-05 15:15:46] 693*2^1552238-1 is not prime. Res64: 2D5B9B8BA40F057B Time : 0.0 sec. user=mdettweiler [2020-01-05 15:15:46] 743*2^1552238-1 is not prime. Res64: 7B3CB5D6B2CA3A82 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:04:03] 713*2^1552240-1 is not prime. Res64: D4300AC1EDDB4C3E Time : 0.0 sec. user=mdettweiler [2020-01-05 16:04:05] 777*2^1552240-1 is not prime. Res64: 58762B66162CAD8B Time : 0.0 sec. user=mdettweiler [2020-01-05 16:04:06] 607*2^1552241-1 is not prime. Res64: 6A9A5101576A01AC Time : 0.0 sec. user=mdettweiler [2020-01-05 16:04:07] 657*2^1552241-1 is not prime. Res64: 0D8BC21AA99CA330 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:04:08] 669*2^1552241-1 is not prime. Res64: 10251D901348BD30 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:07:38] 671*2^1552242-1 is not prime. Res64: 1DE214D2F15763CC Time : 0.0 sec. user=mdettweiler [2020-01-05 16:07:41] 683*2^1552242-1 is not prime. Res64: 45F5E5219537C392 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:07:43] 717*2^1552242-1 is not prime. Res64: 26EAFFC6559A689C Time : 0.0 sec. user=mdettweiler [2020-01-05 16:07:44] 723*2^1552242-1 is not prime. Res64: B50878F017FAFC91 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:07:46] 765*2^1552242-1 is not prime. Res64: E277B6755C1FC773 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:09:35] 691*2^1552241-1 is not prime. Res64: 4E8122DB7CF93FA6 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:09:38] 795*2^1552241-1 is not prime. Res64: 9B53E8DDD8B19051 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:09:41] 937*2^1552241-1 is not prime. Res64: DACC2013664F96B0 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:09:43] 987*2^1552241-1 is not prime. Res64: D22BD1B36D15A9D6 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:09:44] 991*2^1552241-1 is not prime. Res64: FDC20437FA860A37 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:59:20] 825*2^1552242-1 is not prime. Res64: A4422614BDFDD9C2 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:59:20] 885*2^1552242-1 is not prime. Res64: DFD245ED50DD482D Time : 0.0 sec. user=mdettweiler [2020-01-05 16:59:21] 951*2^1552242-1 is not prime. Res64: BB21244562767678 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:59:21] 615*2^1552243-1 is not prime. Res64: D00D85E84AECA531 Time : 0.0 sec. user=mdettweiler [2020-01-05 16:59:21] 631*2^1552243-1 is not prime. Res64: DEAF9A6A646828C8 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:01:58] 633*2^1552243-1 is not prime. Res64: 67A8EF382AF6A7AD Time : 0.0 sec. user=mdettweiler [2020-01-05 17:01:59] 639*2^1552243-1 is not prime. Res64: A3CDB730D95D82CE Time : 0.0 sec. user=mdettweiler [2020-01-05 17:02:00] 703*2^1552243-1 is not prime. Res64: 534589152E691805 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:02:01] 789*2^1552243-1 is not prime. Res64: 9250400D232C5EF1 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:02:02] 853*2^1552243-1 is not prime. Res64: 45105C5F28B7E9C4 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:04:01] 615*2^1552244-1 is not prime. Res64: 505127A2A89B150A Time : 0.0 sec. user=mdettweiler [2020-01-05 17:04:02] 749*2^1552244-1 is not prime. Res64: 43F9B9BB9DF15377 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:04:03] 873*2^1552244-1 is not prime. Res64: B7536DDF952953AA Time : 0.0 sec. user=mdettweiler [2020-01-05 17:04:04] 969*2^1552244-1 is not prime. Res64: EB7DABB40AFDCD10 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:04:04] 609*2^1552245-1 is not prime. Res64: A36970AC8A3D3F65 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:52:32] 795*2^1552245-1 is not prime. Res64: 5D419702077409A2 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:52:32] 885*2^1552245-1 is not prime. Res64: 1F5318E73F6A8D5A Time : 0.0 sec. user=mdettweiler [2020-01-05 17:52:32] 889*2^1552245-1 is not prime. Res64: 515E56349CA02A78 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:52:33] 891*2^1552245-1 is not prime. Res64: 35E2A59D5DD080EB Time : 0.0 sec. user=mdettweiler [2020-01-05 17:52:33] 915*2^1552245-1 is not prime. Res64: C99C3822442D57C1 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:56:04] 937*2^1552245-1 is not prime. Res64: FCD36D41E62FB239 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:56:05] 737*2^1552246-1 is not prime. Res64: 05277242312DC8F4 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:56:05] 741*2^1552246-1 is not prime. Res64: 1B1502445ED30168 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:56:05] 843*2^1552246-1 is not prime. Res64: 0772A81E75C4E8CB Time : 0.0 sec. user=mdettweiler [2020-01-05 17:56:05] 861*2^1552246-1 is not prime. Res64: 6875E96706FF0641 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:57:23] 971*2^1552246-1 is not prime. Res64: 92FBB77FB7B99B93 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:57:23] 675*2^1552247-1 is not prime. Res64: 0A5E05F51DEA5BCA Time : 0.0 sec. user=mdettweiler [2020-01-05 17:57:23] 685*2^1552247-1 is not prime. Res64: 3389EAB91D6F1C20 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:57:24] 715*2^1552247-1 is not prime. Res64: 88E0F89C298DCB56 Time : 0.0 sec. user=mdettweiler [2020-01-05 17:57:24] 823*2^1552247-1 is not prime. Res64: 55DA31F729671956 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:45:12] 991*2^1552247-1 is not prime. Res64: 84263D2AFE140E05 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:45:12] 665*2^1552248-1 is not prime. Res64: 767ECBD6C3AC038F Time : 0.0 sec. user=mdettweiler [2020-01-05 18:45:13] 689*2^1552248-1 is not prime. Res64: 4B28F2DDFAF2F977 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:45:13] 699*2^1552248-1 is not prime. Res64: 0E3C726F41A3CFE0 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:45:13] 707*2^1552248-1 is not prime. Res64: D74EC04C9753FF79 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:50:27] 737*2^1552248-1 is not prime. Res64: 98FAD9A065680B5C Time : 0.0 sec. user=mdettweiler [2020-01-05 18:50:27] 795*2^1552248-1 is not prime. Res64: DC482CB2CC0FB62E Time : 0.0 sec. user=mdettweiler [2020-01-05 18:50:27] 933*2^1552248-1 is not prime. Res64: C2F68AB4A4BB91F5 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:50:28] 959*2^1552248-1 is not prime. Res64: 16F8396262DC2CF1 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:50:28] 667*2^1552249-1 is not prime. Res64: 51D54FC0E59FF4AF Time : 0.0 sec. user=mdettweiler [2020-01-05 18:52:01] 831*2^1552249-1 is not prime. Res64: 08F8B7E2BBBF4AEC Time : 0.0 sec. user=mdettweiler [2020-01-05 18:52:01] 867*2^1552249-1 is not prime. Res64: 4EE75439175CE4EE Time : 0.0 sec. user=mdettweiler [2020-01-05 18:52:01] 939*2^1552249-1 is not prime. Res64: 3563DBB354C2C6E6 Time : 0.0 sec. user=mdettweiler [2020-01-05 18:52:01] 997*2^1552249-1 is not prime. Res64: C2D47338994FC15F Time : 0.0 sec. user=mdettweiler [2020-01-05 18:52:02] 615*2^1552250-1 is not prime. Res64: 7CB932A737224D96 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:37:17] 623*2^1552250-1 is not prime. Res64: C8FB29196801B71E Time : 0.0 sec. user=mdettweiler [2020-01-05 19:37:17] 851*2^1552250-1 is not prime. Res64: C7AF144B161381DA Time : 0.0 sec. user=mdettweiler [2020-01-05 19:37:17] 915*2^1552250-1 is not prime. Res64: 343EB5F6573A4E35 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:37:17] 705*2^1552251-1 is not prime. Res64: 16AFE633352E9A30 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:37:18] 823*2^1552251-1 is not prime. Res64: CDB8003FB206412B Time : 0.0 sec. user=mdettweiler [2020-01-05 19:43:35] 835*2^1552251-1 is not prime. Res64: F540CFD9D546EA96 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:43:36] 861*2^1552251-1 is not prime. Res64: AEF2DEE4BCF87A22 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:43:36] 991*2^1552251-1 is not prime. Res64: 91EA3B990C830D20 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:43:36] 635*2^1552252-1 is not prime. Res64: F44EF78F4533C739 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:43:37] 749*2^1552252-1 is not prime. Res64: 070AE976BD0A0CE9 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:45:29] 827*2^1552252-1 is not prime. Res64: B0884897CE1CCC50 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:45:29] 887*2^1552252-1 is not prime. Res64: 1945A56CC2346024 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:45:29] 903*2^1552252-1 is not prime. Res64: 847D1951D7030444 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:45:30] 929*2^1552252-1 is not prime. Res64: 7F6848B30A98E808 Time : 0.0 sec. user=mdettweiler [2020-01-05 19:45:30] 615*2^1552253-1 is not prime. Res64: 67CA064BA426C769 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:28:55] 619*2^1552253-1 is not prime. Res64: 8B9140A1CEE7DE30 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:28:56] 727*2^1552253-1 is not prime. Res64: 6EA1D584BFAC005B Time : 0.0 sec. user=mdettweiler [2020-01-05 20:28:56] 747*2^1552253-1 is not prime. Res64: 55C8C223CFEA4E8F Time : 0.0 sec. user=mdettweiler [2020-01-05 20:28:56] 837*2^1552253-1 is not prime. Res64: 81D7634FEAF3DEA7 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:28:57] 885*2^1552253-1 is not prime. Res64: 57CB307C88EB1094 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:35:14] 889*2^1552253-1 is not prime. Res64: 21BE7208F701C5DF Time : 0.0 sec. user=mdettweiler [2020-01-05 20:35:15] 901*2^1552253-1 is not prime. Res64: 09B7993B172B800E Time : 0.0 sec. user=mdettweiler [2020-01-05 20:35:15] 693*2^1552254-1 is not prime. Res64: BCAB9ABFBDECB874 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:35:15] 755*2^1552254-1 is not prime. Res64: 4E85929F99EA9E34 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:35:15] 649*2^1552255-1 is not prime. Res64: 955C649E3201E9A7 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:37:10] 685*2^1552255-1 is not prime. Res64: 3438497B6DDB90A4 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:37:10] 693*2^1552255-1 is not prime. Res64: 5EB458A31D00F37A Time : 0.0 sec. user=mdettweiler [2020-01-05 20:37:11] 841*2^1552255-1 is not prime. Res64: 6E146B7EB5BB8FE7 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:37:11] 871*2^1552255-1 is not prime. Res64: 05980E99692167E6 Time : 0.0 sec. user=mdettweiler [2020-01-05 20:37:11] 609*2^1552256-1 is not prime. Res64: 3865BD842F70F3E7 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:20:48] 615*2^1552256-1 is not prime. Res64: D585F677C26A0E90 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:20:49] 689*2^1552256-1 is not prime. Res64: 88C3A956F5138065 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:20:49] 767*2^1552256-1 is not prime. Res64: 6228C383EE470EC0 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:20:49] 867*2^1552256-1 is not prime. Res64: DFEE4616B79A2373 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:20:50] 897*2^1552256-1 is not prime. Res64: F653A7398CEAB332 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:28:38] 605*2^1552258-1 is not prime. Res64: EF326225993427B5 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:28:39] 663*2^1552258-1 is not prime. Res64: C8ABE8671B557BEA Time : 0.0 sec. user=mdettweiler [2020-01-05 21:28:39] 687*2^1552258-1 is not prime. Res64: 08BD1408EB5C4136 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:28:40] 713*2^1552258-1 is not prime. Res64: 15CD4831C67E7B9C Time : 0.0 sec. user=mdettweiler [2020-01-05 21:28:40] 791*2^1552258-1 is not prime. Res64: 3858F49AFF560B41 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:29:08] 983*2^1552256-1 is not prime. Res64: 9B39C569B4BC9107 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:29:08] 615*2^1552257-1 is not prime. Res64: A71E5BC4E44417D0 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:29:09] 735*2^1552257-1 is not prime. Res64: 11305F1A16D7A9D9 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:29:09] 765*2^1552257-1 is not prime. Res64: 0F8EDB98C32C30F5 Time : 0.0 sec. user=mdettweiler [2020-01-05 21:29:09] 979*2^1552257-1 is not prime. Res64: 051A5F4081988E2D Time : 0.0 sec. user=mdettweiler [2020-01-05 22:15:43] 803*2^1552258-1 is not prime. Res64: 07F6F42006299FA4 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:15:49] 885*2^1552258-1 is not prime. Res64: FEF2B0C7D2676F56 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:15:54] 941*2^1552258-1 is not prime. Res64: 2368942787458C5C Time : 0.0 sec. user=mdettweiler [2020-01-05 22:15:59] 971*2^1552258-1 is not prime. Res64: A74E7566B6F2DFD9 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:16:05] 621*2^1552259-1 is not prime. Res64: BA263B7A2999D66F Time : 0.0 sec. user=mdettweiler [2020-01-05 22:21:10] 675*2^1552259-1 is not prime. Res64: 594224962ECDF711 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:21:10] 735*2^1552259-1 is not prime. Res64: 3CCCFAC9490521F0 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:21:11] 813*2^1552259-1 is not prime. Res64: 5EC2EFEF69678305 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:21:11] 855*2^1552259-1 is not prime. Res64: 1742FCAE642F5D9F Time : 0.0 sec. user=mdettweiler [2020-01-05 22:21:12] 859*2^1552259-1 is not prime. Res64: 7BE7822319FF8EE4 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:23:35] 949*2^1552259-1 is not prime. Res64: D62F11BDA41D3DD7 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:23:36] 955*2^1552259-1 is not prime. Res64: 41B31CCAB176A6AB Time : 0.0 sec. user=mdettweiler [2020-01-05 22:23:36] 609*2^1552260-1 is not prime. Res64: 9FC2251DE6905B3D Time : 0.0 sec. user=mdettweiler [2020-01-05 22:23:37] 689*2^1552260-1 is not prime. Res64: C81CFCD6101D6429 Time : 0.0 sec. user=mdettweiler [2020-01-05 22:23:37] 719*2^1552260-1 is not prime. Res64: 33972405E0BA88CE Time : 0.0 sec. user=mdettweiler [2020-01-05 23:15:18] 773*2^1552260-1 is not prime. Res64: D48ECC7DD7FD0B54 Time : 0.0 sec. user=mdettweiler [2020-01-05 23:15:18] 839*2^1552260-1 is not prime. Res64: 46893FFA0219C1BA Time : 0.0 sec. user=mdettweiler [2020-01-05 23:15:19] 923*2^1552260-1 is not prime. Res64: 7DE9DE1CC1A6D213 Time : 0.0 sec. user=mdettweiler [2020-01-05 23:15:19] 999*2^1552260-1 is not prime. Res64: BBB6EE4133D2657D Time : 0.0 sec. user=mdettweiler [2020-01-05 23:15:20] 679*2^1552261-1 is not prime. Res64: 57967163A8883F3F Time : 0.0 sec. user=mdettweiler [2020-01-05 23:18:30] 741*2^1552261-1 is not prime. Res64: 7F0580F4DD9E668D Time : 0.0 sec. user=mdettweiler [2020-01-05 23:18:31] 855*2^1552261-1 is not prime. Res64: 268B7F2DFB15AF1B Time : 0.0 sec. user=mdettweiler [2020-01-05 23:18:31] 979*2^1552261-1 is not prime. Res64: 8D30ACD12F57DD6B Time : 0.0 sec. user=mdettweiler [2020-01-05 23:18:31] 999*2^1552261-1 is not prime. Res64: 50B13C869D1059D7 Time : 0.0 sec. user=mdettweiler [2020-01-05 23:18:32] 645*2^1552262-1 is not prime. Res64: EC09EDE0285D9B5E Time : 0.0 sec.