user=mdettweiler [2020-11-22 00:25:31] 945*2^1567537-1 is not prime. Res64: 78FDE6E8D5E8D868 Time : 0.0 sec. user=mdettweiler [2020-11-22 00:35:32] 843*2^1567538-1 is not prime. Res64: 9E976947ED628954 Time : 0.0 sec. user=mdettweiler [2020-11-22 00:35:33] 887*2^1567538-1 is not prime. Res64: 0CCD5E6B7BBF6658 Time : 0.0 sec. user=mdettweiler [2020-11-22 00:35:33] 945*2^1567538-1 is not prime. Res64: 6F66AF387138E861 Time : 0.0 sec. user=mdettweiler [2020-11-22 00:35:34] 963*2^1567538-1 is not prime. Res64: 3FBBA3067B1A315D Time : 0.0 sec. user=mdettweiler [2020-11-22 00:35:35] 633*2^1567539-1 is not prime. Res64: 9D54B5578E6755C2 Time : 0.0 sec. user=mdettweiler [2020-11-22 01:32:49] 825*2^1567539-1 is not prime. Res64: D4C32ED70867DCA7 Time : 0.0 sec. user=mdettweiler [2020-11-22 01:32:51] 943*2^1567539-1 is not prime. Res64: CA5AC8442099C730 Time : 0.0 sec. user=mdettweiler [2020-11-22 01:32:52] 961*2^1567539-1 is not prime. Res64: 214BE422C4136FFF Time : 0.0 sec. user=mdettweiler [2020-11-22 01:32:53] 969*2^1567539-1 is not prime. Res64: BA92E04B2B3C2F18 Time : 0.0 sec. user=mdettweiler [2020-11-22 01:32:54] 653*2^1567540-1 is not prime. Res64: 1158540EB449CB3B Time : 0.0 sec. user=mdettweiler [2020-11-22 02:28:00] 677*2^1567540-1 is not prime. Res64: 79691FFD8CFE81B4 Time : 0.0 sec. user=mdettweiler [2020-11-22 02:28:03] 719*2^1567540-1 is not prime. Res64: 783EF9938CF07FA4 Time : 0.0 sec. user=mdettweiler [2020-11-22 02:28:06] 735*2^1567540-1 is not prime. Res64: 7F94CC9AB38A31BB Time : 0.0 sec. user=mdettweiler [2020-11-22 02:28:10] 839*2^1567540-1 is not prime. Res64: 9121ED33CA6F7A1E Time : 0.0 sec. user=mdettweiler [2020-11-22 02:28:15] 923*2^1567540-1 is not prime. Res64: 95ED99B9EDF07CEE Time : 0.0 sec. user=mdettweiler [2020-11-22 03:22:30] 615*2^1567541-1 is not prime. Res64: F3151E3537B1D793 Time : 0.0 sec. user=mdettweiler [2020-11-22 03:22:31] 711*2^1567541-1 is not prime. Res64: 0EA6965712CABA8B Time : 0.0 sec. user=mdettweiler [2020-11-22 03:22:32] 747*2^1567541-1 is not prime. Res64: 927AC746474603E4 Time : 0.0 sec. user=mdettweiler [2020-11-22 03:22:32] 889*2^1567541-1 is not prime. Res64: F9817FAB47519351 Time : 0.0 sec. user=mdettweiler [2020-11-22 03:22:33] 635*2^1567542-1 is not prime. Res64: 239CF94F1FC42C7E Time : 0.0 sec. user=mdettweiler [2020-11-22 04:09:55] 957*2^1567537-1 is not prime. Res64: 1BF82E661A267EBB Time : 0.0 sec. user=mdettweiler [2020-11-22 04:10:04] 967*2^1567537-1 is not prime. Res64: 475638FEB5193967 Time : 0.0 sec. user=mdettweiler [2020-11-22 04:18:51] 665*2^1567542-1 is not prime. Res64: AECFE0FCB9E7A30F Time : 0.0 sec. user=mdettweiler [2020-11-22 04:18:56] 747*2^1567542-1 is not prime. Res64: 68ABABDF61EC152A Time : 0.0 sec. user=mdettweiler [2020-11-22 04:19:04] 755*2^1567542-1 is not prime. Res64: 3C933BE252957F73 Time : 0.0 sec. user=mdettweiler [2020-11-22 04:19:08] 833*2^1567542-1 is not prime. Res64: F6098CC7A6C1FF0A Time : 0.0 sec. user=mdettweiler [2020-11-22 04:19:13] 951*2^1567542-1 is not prime. Res64: 43D1A21856D85B32 Time : 0.0 sec. user=mdettweiler [2020-11-22 05:14:18] 663*2^1567543-1 is not prime. Res64: 4F8752610954B980 Time : 0.0 sec. user=mdettweiler [2020-11-22 05:14:23] 745*2^1567543-1 is not prime. Res64: 87DAA2074E02D2BE Time : 0.0 sec. user=mdettweiler [2020-11-22 05:14:26] 659*2^1567544-1 is not prime. Res64: A2E34444B2743C05 Time : 0.0 sec. user=mdettweiler [2020-11-22 05:14:29] 687*2^1567544-1 is not prime. Res64: DC2EBF44A3B09CEC Time : 0.0 sec. user=mdettweiler [2020-11-22 05:14:33] 903*2^1567544-1 is not prime. Res64: D85292ED02A9E59D Time : 0.0 sec. user=mdettweiler [2020-11-22 06:10:24] 649*2^1567545-1 is not prime. Res64: 04F39D38DF8ADB73 Time : 0.0 sec. user=mdettweiler [2020-11-22 06:10:28] 669*2^1567545-1 is not prime. Res64: 114E172D84046031 Time : 0.0 sec. user=mdettweiler [2020-11-22 06:10:32] 831*2^1567545-1 is not prime. Res64: 432601AC22692E85 Time : 0.0 sec. user=mdettweiler [2020-11-22 06:10:36] 949*2^1567545-1 is not prime. Res64: 2B3A40F4D6B64F29 Time : 0.0 sec. user=mdettweiler [2020-11-22 06:10:40] 657*2^1567546-1 is not prime. Res64: 30F0E1B5DE899F16 Time : 0.0 sec. user=mdettweiler [2020-11-22 07:08:25] 701*2^1567546-1 is not prime. Res64: C6A0F5B846559B33 Time : 0.0 sec. user=mdettweiler [2020-11-22 07:08:29] 777*2^1567546-1 is not prime. Res64: 473ABEA3EE642276 Time : 0.0 sec. user=mdettweiler [2020-11-22 07:08:31] 825*2^1567546-1 is not prime. Res64: 6EA87F7BCF6F8394 Time : 0.0 sec. user=mdettweiler [2020-11-22 07:08:33] 887*2^1567546-1 is not prime. Res64: B84585DCB97F860D Time : 0.0 sec. user=mdettweiler [2020-11-22 07:08:35] 891*2^1567546-1 is not prime. Res64: 70DF1FE780FAB582 Time : 0.0 sec. user=mdettweiler [2020-11-22 08:06:12] 759*2^1567547-1 is not prime. Res64: 18DA877B2D55BBA1 Time : 0.0 sec. user=mdettweiler [2020-11-22 08:06:16] 841*2^1567547-1 is not prime. Res64: 52729C07914EAFC4 Time : 0.0 sec. user=mdettweiler [2020-11-22 08:06:19] 883*2^1567547-1 is not prime. Res64: 7E852DC361F2D380 Time : 0.0 sec. user=mdettweiler [2020-11-22 08:06:21] 973*2^1567547-1 is not prime. Res64: 50C4EE093DDADAC5 Time : 0.0 sec. user=mdettweiler [2020-11-22 08:06:24] 663*2^1567548-1 is not prime. Res64: 8DB9FA36E1FB0461 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:03:02] 665*2^1567548-1 is not prime. Res64: 2610A381AA4E6D0B Time : 0.0 sec. user=mdettweiler [2020-11-22 09:03:07] 669*2^1567548-1 is not prime. Res64: 4604145024A5B04C Time : 0.0 sec. user=mdettweiler [2020-11-22 09:03:11] 765*2^1567548-1 is not prime. Res64: E359C661BF807C66 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:03:13] 825*2^1567548-1 is not prime. Res64: 0F1FCE5A86781D68 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:03:18] 867*2^1567548-1 is not prime. Res64: 813D656CF5BE6248 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:15:55] 683*2^1567538-1 is not prime. Res64: 65B3CBFCF0C8AD29 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:16:01] 825*2^1567538-1 is not prime. Res64: 3E83995D99D596B3 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:59:34] 977*2^1567548-1 is not prime. Res64: 44A10072B6D14FFA Time : 0.0 sec. user=mdettweiler [2020-11-22 09:59:35] 609*2^1567549-1 is not prime. Res64: 8BA1A69B92DDF924 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:59:38] 661*2^1567549-1 is not prime. Res64: 4992BFCB335F4D4E Time : 0.0 sec. user=mdettweiler [2020-11-22 09:59:43] 691*2^1567549-1 is not prime. Res64: A71962C036206015 Time : 0.0 sec. user=mdettweiler [2020-11-22 09:59:44] 835*2^1567549-1 is not prime. Res64: D5F72940DD36AC1E Time : 0.0 sec. user=mdettweiler [2020-11-22 10:14:52] 861*2^1567549-1 is not prime. Res64: A032123E422CB3B8 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:14:54] 987*2^1567549-1 is not prime. Res64: BFDA9093C1FFCB15 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:14:56] 717*2^1567550-1 is prime! Time : 0.0 sec. user=mdettweiler [2020-11-22 10:14:59] 857*2^1567550-1 is not prime. Res64: 45E6D9F8E8868D93 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:15:00] 957*2^1567550-1 is not prime. Res64: 38072902DAABECB1 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:54:48] 693*2^1567551-1 is not prime. Res64: C9624B6AB96407DC Time : 0.0 sec. user=mdettweiler [2020-11-22 10:54:49] 711*2^1567551-1 is not prime. Res64: 806881B04FE63CA8 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:54:50] 735*2^1567551-1 is not prime. Res64: E6508E5E9F24C538 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:54:51] 745*2^1567551-1 is not prime. Res64: A5B5A180E6FF63F5 Time : 0.0 sec. user=mdettweiler [2020-11-22 10:54:52] 769*2^1567551-1 is not prime. Res64: B4B4BD4EFED9D8D7 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:13:04] 871*2^1567551-1 is not prime. Res64: 124AB6DF02278643 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:13:05] 885*2^1567551-1 is not prime. Res64: 00D8AE08FD42112A Time : 0.0 sec. user=mdettweiler [2020-11-22 11:13:06] 713*2^1567552-1 is not prime. Res64: DE4CB39D7EECAB9E Time : 0.0 sec. user=mdettweiler [2020-11-22 11:13:07] 765*2^1567552-1 is not prime. Res64: F56B38AA54702B19 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:13:07] 777*2^1567552-1 is not prime. Res64: BC5EBAED8A9C5D26 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:51:17] 939*2^1567552-1 is not prime. Res64: C744AFF12BDDB5D7 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:51:18] 657*2^1567553-1 is not prime. Res64: B02D12EBD6EBBF51 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:51:19] 675*2^1567553-1 is not prime. Res64: D67BF54CCB608F26 Time : 0.0 sec. user=mdettweiler [2020-11-22 11:51:20] 795*2^1567553-1 is not prime. Res64: 8BB6045E01109A7D Time : 0.0 sec. user=mdettweiler [2020-11-22 11:51:21] 837*2^1567553-1 is not prime. Res64: 93B34C828700542D Time : 0.0 sec. user=mdettweiler [2020-11-22 12:07:03] 733*2^1567555-1 is not prime. Res64: 840AE562240CA936 Time : 0.0 sec. user=mdettweiler [2020-11-22 12:07:06] 669*2^1567556-1 is not prime. Res64: 5F52743936565E74 Time : 0.0 sec. user=mdettweiler [2020-11-22 12:07:10] 683*2^1567556-1 is not prime. Res64: ECF978D732C114EC Time : 0.0 sec. user=mdettweiler [2020-11-22 12:07:12] 707*2^1567556-1 is not prime. Res64: FE3B3C7725B755A7 Time : 0.0 sec. user=mdettweiler [2020-11-22 12:07:15] 719*2^1567556-1 is not prime. Res64: F99E630E6DD110BC Time : 0.0 sec. user=mdettweiler [2020-11-22 12:48:08] 735*2^1567556-1 is not prime. Res64: 0D5B7A0BBC1526DD Time : 0.0 sec. user=mdettweiler [2020-11-22 12:48:15] 867*2^1567556-1 is not prime. Res64: 9F55FAF495C647FE Time : 0.0 sec. user=mdettweiler [2020-11-22 12:48:20] 963*2^1567556-1 is not prime. Res64: CDC9D2D72A148043 Time : 0.0 sec. user=mdettweiler [2020-11-22 12:48:21] 699*2^1567557-1 is not prime. Res64: 00C043DB8E0E5960 Time : 0.0 sec. user=mdettweiler [2020-11-22 12:48:22] 777*2^1567557-1 is not prime. Res64: DEB159EE14FA863B Time : 0.0 sec. user=mdettweiler [2020-11-22 13:03:55] 795*2^1567557-1 is not prime. Res64: 7937A223BA2F2065 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:04:00] 979*2^1567557-1 is not prime. Res64: 66C677C0297B2A74 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:04:04] 991*2^1567557-1 is not prime. Res64: 7764A49CC97A558E Time : 0.0 sec. user=mdettweiler [2020-11-22 13:04:07] 677*2^1567558-1 is not prime. Res64: 269394F34359E5B0 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:04:09] 681*2^1567558-1 is not prime. Res64: 84F33EB5C4A2E69A Time : 0.0 sec. user=mdettweiler [2020-11-22 13:44:29] 687*2^1567558-1 is not prime. Res64: 1F60DB840C689B21 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:44:30] 765*2^1567558-1 is not prime. Res64: 48F5C4AEBFFC53CF Time : 0.0 sec. user=mdettweiler [2020-11-22 13:44:31] 813*2^1567558-1 is not prime. Res64: 00ADC13BF2490933 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:44:32] 867*2^1567558-1 is not prime. Res64: BF4BA1CC6E319432 Time : 0.0 sec. user=mdettweiler [2020-11-22 13:44:32] 729*2^1567559-1 is not prime. Res64: 2C461424798D28D9 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:02:42] 789*2^1567559-1 is not prime. Res64: F18FB8264FC32BBC Time : 0.0 sec. user=mdettweiler [2020-11-22 14:02:50] 883*2^1567559-1 is not prime. Res64: D1A65F6922381955 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:02:54] 885*2^1567559-1 is not prime. Res64: A7B1D7B76DCAD699 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:02:57] 913*2^1567559-1 is not prime. Res64: EBB98DB16F8C4929 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:03:02] 969*2^1567559-1 is not prime. Res64: 73BEEDFF55CD0EAF Time : 0.0 sec. user=mdettweiler [2020-11-22 14:40:36] 973*2^1567559-1 is not prime. Res64: 7E42ED82ABDC01C6 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:40:37] 991*2^1567559-1 is not prime. Res64: 090479DC43DC8BCD Time : 0.0 sec. user=mdettweiler [2020-11-22 14:40:38] 993*2^1567559-1 is not prime. Res64: 0BFCEE49D9D77BD7 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:40:38] 665*2^1567560-1 is not prime. Res64: EA4F89C5798E7431 Time : 0.0 sec. user=mdettweiler [2020-11-22 14:40:39] 675*2^1567560-1 is not prime. Res64: DC22431E0F0F9301 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:00:29] 735*2^1567560-1 is not prime. Res64: AC2A1DDEFA49D991 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:00:32] 779*2^1567560-1 is not prime. Res64: 87E03231A5CE6F62 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:00:34] 809*2^1567560-1 is not prime. Res64: 2E13CA2E7E40EA6A Time : 0.0 sec. user=mdettweiler [2020-11-22 15:00:37] 819*2^1567560-1 is not prime. Res64: E10B129E1C1FD021 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:00:39] 873*2^1567560-1 is not prime. Res64: 9C731F4CA1F0EF12 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:36:38] 929*2^1567560-1 is not prime. Res64: FAD137B55509A9A5 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:36:40] 679*2^1567561-1 is not prime. Res64: E0B9B8E50C34EDF7 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:36:41] 741*2^1567561-1 is not prime. Res64: FBE08C9F6578B2BA Time : 0.0 sec. user=mdettweiler [2020-11-22 15:36:42] 789*2^1567561-1 is not prime. Res64: 9073CE16AD29B816 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:36:44] 871*2^1567561-1 is not prime. Res64: DA7BAD4629E99C3A Time : 0.0 sec. user=mdettweiler [2020-11-22 15:56:33] 877*2^1567561-1 is not prime. Res64: 17AA89B486030FCE Time : 0.0 sec. user=mdettweiler [2020-11-22 15:56:33] 889*2^1567561-1 is not prime. Res64: EF93BC6C85C514B6 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:56:34] 895*2^1567561-1 is not prime. Res64: BA5F024F4C3E06B7 Time : 0.0 sec. user=mdettweiler [2020-11-22 15:56:34] 623*2^1567562-1 is not prime. Res64: 5F404FC3A324C65A Time : 0.0 sec. user=mdettweiler [2020-11-22 15:56:35] 705*2^1567562-1 is not prime. Res64: 404C9F08EE57C6EA Time : 0.0 sec. user=mdettweiler [2020-11-22 16:32:50] 963*2^1567562-1 is not prime. Res64: 3BCBE4170EFA6859 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:32:50] 663*2^1567563-1 is not prime. Res64: 774E49D8F29D1E14 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:32:51] 669*2^1567563-1 is not prime. Res64: EA82BF4427A00CAB Time : 0.0 sec. user=mdettweiler [2020-11-22 16:32:52] 765*2^1567563-1 is not prime. Res64: 21E7F240263D3180 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:32:52] 789*2^1567563-1 is not prime. Res64: 98EF05924BD608E6 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:52:14] 955*2^1567563-1 is not prime. Res64: E76647F3C51F40B3 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:52:15] 609*2^1567564-1 is not prime. Res64: 464701A51B9400E5 Time : 0.0 sec. user=mdettweiler [2020-11-22 16:52:15] 723*2^1567564-1 is not prime. Res64: 6049A359F0DF870D Time : 0.0 sec. user=mdettweiler [2020-11-22 16:52:16] 857*2^1567564-1 is not prime. Res64: 0CA4A1196E0B5EFA Time : 0.0 sec. user=mdettweiler [2020-11-22 16:52:16] 869*2^1567564-1 is not prime. Res64: 3B55175D75A29A68 Time : 0.0 sec. user=mdettweiler [2020-11-22 17:47:56] 985*2^1567565-1 is not prime. Res64: 2609472113A14448 Time : 0.0 sec. user=mdettweiler [2020-11-22 17:47:57] 657*2^1567566-1 is not prime. Res64: 8EC9F7C1340DC8F5 Time : 0.0 sec. user=mdettweiler [2020-11-22 17:47:57] 747*2^1567566-1 is not prime. Res64: 86E09C893B26E1FA Time : 0.0 sec. user=mdettweiler [2020-11-22 17:47:57] 767*2^1567566-1 is not prime. Res64: D629926CF979150A Time : 0.0 sec. user=mdettweiler [2020-11-22 17:47:57] 807*2^1567566-1 is not prime. Res64: 1784E24C75B97E4F Time : 0.0 sec. user=mdettweiler [2020-11-22 18:42:59] 867*2^1567566-1 is not prime. Res64: C3B1A46EF2ED5699 Time : 0.0 sec. user=mdettweiler [2020-11-22 18:42:59] 651*2^1567567-1 is not prime. Res64: 4269DFE3787E940A Time : 0.0 sec. user=mdettweiler [2020-11-22 18:43:00] 705*2^1567567-1 is not prime. Res64: D53BE124E68FD408 Time : 0.0 sec. user=mdettweiler [2020-11-22 18:43:00] 735*2^1567567-1 is not prime. Res64: 1AF5ABAD94B44B40 Time : 0.0 sec. user=mdettweiler [2020-11-22 18:43:00] 841*2^1567567-1 is not prime. Res64: C44B850D50DFFEB3 Time : 0.0 sec. user=mdettweiler [2020-11-22 19:38:26] 669*2^1567568-1 is not prime. Res64: 7B9645D097874532 Time : 0.0 sec. user=mdettweiler [2020-11-22 22:45:36] 885*2^1567564-1 is not prime. Res64: CD4B10E345F9C298 Time : 0.0 sec.