user=mdettweiler [2020-04-03 00:09:32] 939*2^1556723-1 is not prime. Res64: C90DECC8F6D9602C Time : 0.0 sec. user=mdettweiler [2020-04-03 00:09:33] 963*2^1556723-1 is not prime. Res64: 92B1C5C84295DE2A Time : 0.0 sec. user=mdettweiler [2020-04-03 00:09:34] 993*2^1556723-1 is not prime. Res64: F86E90E0DD238E1A Time : 0.0 sec. user=mdettweiler [2020-04-03 00:09:35] 717*2^1556724-1 is not prime. Res64: 8BB95D6843CE1564 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:09:35] 753*2^1556724-1 is not prime. Res64: 54D7F61F82431849 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:19:20] 875*2^1556724-1 is not prime. Res64: 99B0F8020B8D822E Time : 0.0 sec. user=mdettweiler [2020-04-03 00:19:20] 903*2^1556724-1 is not prime. Res64: DADABCA113AEC4C8 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:19:21] 959*2^1556724-1 is not prime. Res64: ECEC957C893F21A1 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:19:21] 715*2^1556725-1 is not prime. Res64: 03DD8C081223D600 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:19:22] 801*2^1556725-1 is not prime. Res64: F4EF017873223A2E Time : 0.0 sec. user=mdettweiler [2020-04-03 00:52:54] 859*2^1556725-1 is not prime. Res64: CBCFDCFCA1DEE5AE Time : 0.0 sec. user=mdettweiler [2020-04-03 00:52:54] 895*2^1556725-1 is not prime. Res64: 6AFE0B948BA6816D Time : 0.0 sec. user=mdettweiler [2020-04-03 00:52:54] 641*2^1556726-1 is not prime. Res64: 9B31245C99EC3722 Time : 0.0 sec. user=mdettweiler [2020-04-03 00:52:55] 705*2^1556726-1 is not prime. Res64: 80970FBB8DEDE53C Time : 0.0 sec. user=mdettweiler [2020-04-03 00:52:55] 713*2^1556726-1 is not prime. Res64: BD25B187CE2E0D00 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:02:54] 801*2^1556726-1 is not prime. Res64: 7FF3ADB17E1A727C Time : 0.0 sec. user=mdettweiler [2020-04-03 01:02:55] 873*2^1556726-1 is not prime. Res64: A009278614DA1273 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:02:56] 911*2^1556726-1 is not prime. Res64: F0357FFF801F4231 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:02:57] 651*2^1556727-1 is not prime. Res64: 71B3E8507365D469 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:02:57] 819*2^1556727-1 is not prime. Res64: 30002B35F6931B99 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:13:44] 885*2^1556727-1 is not prime. Res64: 5011E01EE5398E3C Time : 0.0 sec. user=mdettweiler [2020-04-03 01:13:44] 975*2^1556727-1 is not prime. Res64: FDBE99186AC64F14 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:13:45] 689*2^1556728-1 is not prime. Res64: F3E517B8D160FE63 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:13:45] 777*2^1556728-1 is not prime. Res64: D5685EA4B597F49D Time : 0.0 sec. user=mdettweiler [2020-04-03 01:13:46] 843*2^1556728-1 is not prime. Res64: 41528636EE004A53 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:47:32] 849*2^1556728-1 is not prime. Res64: 28D4C5D6D74CD923 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:47:33] 869*2^1556728-1 is not prime. Res64: E25BC909315EF2DC Time : 0.0 sec. user=mdettweiler [2020-04-03 01:47:35] 875*2^1556728-1 is not prime. Res64: D72C8DACA72DD06F Time : 0.0 sec. user=mdettweiler [2020-04-03 01:47:38] 923*2^1556728-1 is not prime. Res64: 531BB075096A03FE Time : 0.0 sec. user=mdettweiler [2020-04-03 01:47:39] 727*2^1556729-1 is not prime. Res64: 8E4F4BBC86AEB3F5 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:56:42] 867*2^1556729-1 is not prime. Res64: 7382C77624775443 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:56:44] 985*2^1556729-1 is not prime. Res64: D6145978C17E2342 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:56:45] 633*2^1556730-1 is not prime. Res64: C92C37B888078334 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:56:46] 773*2^1556730-1 is not prime. Res64: 35E09594DD2CFC85 Time : 0.0 sec. user=mdettweiler [2020-04-03 01:56:47] 783*2^1556730-1 is not prime. Res64: B3A7D3CFAB18684B Time : 0.0 sec. user=mdettweiler [2020-04-03 02:05:32] 625*2^1556731-1 is not prime. Res64: C01F02DC8A5650B5 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:05:36] 805*2^1556731-1 is not prime. Res64: BA36259A193AC23A Time : 0.0 sec. user=mdettweiler [2020-04-03 02:05:38] 849*2^1556731-1 is not prime. Res64: 59DEE1692AE213D8 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:05:41] 609*2^1556732-1 is not prime. Res64: 62600ADDF001A40D Time : 0.0 sec. user=mdettweiler [2020-04-03 02:05:43] 629*2^1556732-1 is not prime. Res64: CEEEA7B1E0828CDE Time : 0.0 sec. user=mdettweiler [2020-04-03 02:41:29] 717*2^1556732-1 is not prime. Res64: 34DE9551377784C9 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:41:29] 767*2^1556732-1 is not prime. Res64: C4E8D652966D33B9 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:41:30] 797*2^1556732-1 is not prime. Res64: F5A5A0717AEE1377 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:41:30] 813*2^1556732-1 is not prime. Res64: 85D492D3E297AA6F Time : 0.0 sec. user=mdettweiler [2020-04-03 02:41:31] 977*2^1556732-1 is not prime. Res64: C29CA34B9C29B647 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:51:20] 983*2^1556732-1 is not prime. Res64: EE8D0D4FB6DABDA1 Time : 0.0 sec. user=mdettweiler [2020-04-03 02:51:20] 625*2^1556733-1 is not prime. Res64: 5EAE493E5B9C866A Time : 0.0 sec. user=mdettweiler [2020-04-03 02:51:21] 735*2^1556733-1 is not prime. Res64: C4D8A30D25CF64AC Time : 0.0 sec. user=mdettweiler [2020-04-03 02:51:21] 759*2^1556733-1 is not prime. Res64: 9508E68EC575232A Time : 0.0 sec. user=mdettweiler [2020-04-03 02:51:21] 919*2^1556733-1 is not prime. Res64: 77EE02C611961B21 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:01:11] 937*2^1556733-1 is not prime. Res64: ED9C4489FA24B3F5 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:01:12] 617*2^1556734-1 is not prime. Res64: 867DFEE1FA356E12 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:01:13] 813*2^1556734-1 is not prime. Res64: F2CC62F633D29964 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:01:14] 863*2^1556734-1 is not prime. Res64: 3DC92774138AA7F8 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:01:15] 887*2^1556734-1 is not prime. Res64: 089E0A1D595AEBAC Time : 0.0 sec. user=mdettweiler [2020-04-03 03:35:56] 891*2^1556734-1 is not prime. Res64: C2F743121E5D775D Time : 0.0 sec. user=mdettweiler [2020-04-03 03:35:57] 941*2^1556734-1 is not prime. Res64: ED1CF6B8ABF5D1C0 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:35:58] 619*2^1556735-1 is not prime. Res64: 9D7D238E61D0F00E Time : 0.0 sec. user=mdettweiler [2020-04-03 03:35:59] 789*2^1556735-1 is not prime. Res64: BE5EFA6ED8937FC2 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:36:00] 859*2^1556735-1 is not prime. Res64: E50B9C6FDD111269 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:45:14] 949*2^1556735-1 is not prime. Res64: F52D67FE270ED2C4 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:45:15] 969*2^1556735-1 is not prime. Res64: D2F9E1965660646F Time : 0.0 sec. user=mdettweiler [2020-04-03 03:45:16] 615*2^1556736-1 is not prime. Res64: 2043925A04C34A50 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:45:17] 693*2^1556736-1 is not prime. Res64: 8E627D6C79C17E97 Time : 0.0 sec. user=mdettweiler [2020-04-03 03:45:18] 719*2^1556736-1 is not prime. Res64: 58917B10C835370B Time : 0.0 sec. user=mdettweiler [2020-04-03 03:55:49] 759*2^1556736-1 is not prime. Res64: 76FB4435E2E1AE0E Time : 0.0 sec. user=mdettweiler [2020-04-03 03:55:50] 767*2^1556736-1 is not prime. Res64: CA5D82A5D19B1A4D Time : 0.0 sec. user=mdettweiler [2020-04-03 03:55:51] 909*2^1556736-1 is not prime. Res64: 6B82EDC383797EDB Time : 0.0 sec. user=mdettweiler [2020-04-03 03:55:52] 917*2^1556736-1 is not prime. Res64: 69D9B2298B01BF7B Time : 0.0 sec. user=mdettweiler [2020-04-03 03:55:52] 645*2^1556737-1 is not prime. Res64: 207FFE4011692C9A Time : 0.0 sec. user=mdettweiler [2020-04-03 04:31:05] 759*2^1556737-1 is not prime. Res64: BCC0D4129FE1C323 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:31:05] 817*2^1556737-1 is not prime. Res64: 43B1F3F914A787E5 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:31:06] 835*2^1556737-1 is not prime. Res64: 72D82D324D542FA3 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:31:07] 895*2^1556737-1 is not prime. Res64: 7954E598E80B0FF8 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:31:08] 939*2^1556737-1 is not prime. Res64: 1CC59FBCE6A50943 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:39:37] 957*2^1556737-1 is not prime. Res64: 2072C544A5783319 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:39:38] 997*2^1556737-1 is not prime. Res64: C04A77DFE2793ADB Time : 0.0 sec. user=mdettweiler [2020-04-03 04:39:38] 633*2^1556738-1 is not prime. Res64: DD4593E5470D49D7 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:39:39] 657*2^1556738-1 is not prime. Res64: 892F59524C1F16DA Time : 0.0 sec. user=mdettweiler [2020-04-03 04:39:39] 711*2^1556738-1 is not prime. Res64: AA9AF1D2BDA0AE80 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:51:00] 735*2^1556738-1 is not prime. Res64: DA7403CDEC87B1EF Time : 0.0 sec. user=mdettweiler [2020-04-03 04:51:01] 767*2^1556738-1 is not prime. Res64: B08C4D0FFFADC12B Time : 0.0 sec. user=mdettweiler [2020-04-03 04:51:01] 773*2^1556738-1 is not prime. Res64: 1C198CC10FD632D9 Time : 0.0 sec. user=mdettweiler [2020-04-03 04:51:01] 923*2^1556738-1 is not prime. Res64: AE19BC62757586FD Time : 0.0 sec. user=mdettweiler [2020-04-03 04:51:02] 927*2^1556738-1 is not prime. Res64: BADBE9CCC3F521FD Time : 0.0 sec. user=mdettweiler [2020-04-03 05:26:48] 935*2^1556738-1 is not prime. Res64: 23B17643F968A1E1 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:26:49] 941*2^1556738-1 is not prime. Res64: 5E8EFCDAF2FA84E2 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:26:49] 1001*2^1556738-1 is not prime. Res64: 84A9DDD0AE86A8A1 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:26:49] 613*2^1556739-1 is not prime. Res64: F8FD4D3F81A493D2 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:26:50] 619*2^1556739-1 is not prime. Res64: E8F8B1B39E9288A3 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:32:23] 769*2^1556739-1 is not prime. Res64: 54F54DC0C95A338A Time : 0.0 sec. user=mdettweiler [2020-04-03 05:32:24] 909*2^1556739-1 is not prime. Res64: C36C5898EC934AC8 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:32:24] 629*2^1556740-1 is not prime. Res64: E5F68EAED7FF752C Time : 0.0 sec. user=mdettweiler [2020-04-03 05:32:24] 677*2^1556740-1 is not prime. Res64: 181A9BD97B084484 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:32:25] 707*2^1556740-1 is not prime. Res64: B83B751E1E886A85 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:42:42] 723*2^1556740-1 is not prime. Res64: F3FA6B2A0A47E56B Time : 0.0 sec. user=mdettweiler [2020-04-03 05:42:43] 785*2^1556740-1 is not prime. Res64: EA4C0CE54A8E700B Time : 0.0 sec. user=mdettweiler [2020-04-03 05:42:43] 825*2^1556740-1 is not prime. Res64: C46561ADB1AEDED1 Time : 0.0 sec. user=mdettweiler [2020-04-03 05:42:43] 651*2^1556741-1 is not prime. Res64: B484597D9106A2FB Time : 0.0 sec. user=mdettweiler [2020-04-03 05:42:44] 711*2^1556741-1 is not prime. Res64: 412CBC258EE9E571 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:22:02] 925*2^1556741-1 is not prime. Res64: 9407C9A59D2972E3 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:22:03] 949*2^1556741-1 is not prime. Res64: 7FAC8D8715AA87CC Time : 0.0 sec. user=mdettweiler [2020-04-03 06:22:03] 957*2^1556741-1 is not prime. Res64: D4FA59E8D68E0001 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:22:03] 651*2^1556742-1 is not prime. Res64: 729DF08C60FEA6DD Time : 0.0 sec. user=mdettweiler [2020-04-03 06:22:04] 657*2^1556742-1 is not prime. Res64: 20101CBF4A2BF75A Time : 0.0 sec. user=mdettweiler [2020-04-03 06:24:37] 725*2^1556742-1 is not prime. Res64: A312BE5A8E28045F Time : 0.0 sec. user=mdettweiler [2020-04-03 06:24:37] 801*2^1556742-1 is not prime. Res64: 400677717791F01D Time : 0.0 sec. user=mdettweiler [2020-04-03 06:24:38] 863*2^1556742-1 is not prime. Res64: B4A7D4AD6C322560 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:24:38] 873*2^1556742-1 is not prime. Res64: 018D7F44006F344A Time : 0.0 sec. user=mdettweiler [2020-04-03 06:24:39] 775*2^1556743-1 is not prime. Res64: 020D3C062266ABB8 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:37:28] 805*2^1556743-1 is not prime. Res64: 5E9934F3D1E78F3A Time : 0.0 sec. user=mdettweiler [2020-04-03 06:37:29] 855*2^1556743-1 is not prime. Res64: EF371D137530059E Time : 0.0 sec. user=mdettweiler [2020-04-03 06:37:29] 861*2^1556743-1 is not prime. Res64: ACB0DF6039D721A1 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:37:29] 889*2^1556743-1 is not prime. Res64: 98085F45225B1789 Time : 0.0 sec. user=mdettweiler [2020-04-03 06:37:30] 943*2^1556743-1 is not prime. Res64: 55481FB0A6D451EF Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:39] 727*2^1556745-1 is not prime. Res64: 460350EF07307C53 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:40] 817*2^1556745-1 is not prime. Res64: 920883A5C79EE978 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:40] 819*2^1556745-1 is not prime. Res64: B926409D7CCA35A8 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:41] 701*2^1556746-1 is not prime. Res64: 0114A9E006625C9D Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:41] 905*2^1556746-1 is not prime. Res64: A91D5B48F0BAF933 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:54] 789*2^1556744-1 is not prime. Res64: DE1F9479F16867D5 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:54] 827*2^1556744-1 is not prime. Res64: 7FCE6792A7B4A297 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:54] 897*2^1556744-1 is not prime. Res64: A098F1FDECC7C8AB Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:55] 899*2^1556744-1 is not prime. Res64: 6778268FF2B444D1 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:17:55] 915*2^1556744-1 is not prime. Res64: 62FA5C2008559E4F Time : 0.0 sec. user=mdettweiler [2020-04-03 07:31:44] 603*2^1556747-1 is not prime. Res64: 20867FEB90BC65BA Time : 0.0 sec. user=mdettweiler [2020-04-03 07:31:45] 693*2^1556747-1 is not prime. Res64: 5E3F7D4A35297DA7 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:31:45] 753*2^1556747-1 is not prime. Res64: 3DA5B81906C95A45 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:31:46] 883*2^1556747-1 is not prime. Res64: D506AED4E5BA9867 Time : 0.0 sec. user=mdettweiler [2020-04-03 07:31:46] 903*2^1556747-1 is not prime. Res64: 623B927B537C9452 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:11:03] 963*2^1556747-1 is not prime. Res64: BE967E952A836B6F Time : 0.0 sec. user=mdettweiler [2020-04-03 08:11:03] 627*2^1556748-1 is not prime. Res64: C8898B29E08D45D5 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:11:04] 707*2^1556748-1 is not prime. Res64: 52196805D2884125 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:11:04] 843*2^1556748-1 is not prime. Res64: 4D2C034B52ABBBBA Time : 0.0 sec. user=mdettweiler [2020-04-03 08:11:05] 867*2^1556748-1 is not prime. Res64: 58F3466947E20229 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:13:16] 933*2^1556748-1 is not prime. Res64: FDD6BF0D23116ADD Time : 0.0 sec. user=mdettweiler [2020-04-03 08:13:16] 935*2^1556748-1 is not prime. Res64: 57411A047963DC5C Time : 0.0 sec. user=mdettweiler [2020-04-03 08:13:16] 615*2^1556749-1 is not prime. Res64: 9CD370B9C6EFAE01 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:13:17] 625*2^1556749-1 is not prime. Res64: 1DB4F69F7FC4B320 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:13:17] 975*2^1556749-1 is not prime. Res64: 10837F203FBDE230 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:25:58] 623*2^1556750-1 is not prime. Res64: 4B2DFD086C2CDBF7 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:25:58] 915*2^1556750-1 is not prime. Res64: 49792EC1688324AF Time : 0.0 sec. user=mdettweiler [2020-04-03 08:25:58] 981*2^1556750-1 is not prime. Res64: 5DB2BE64C093DC7E Time : 0.0 sec. user=mdettweiler [2020-04-03 08:25:59] 705*2^1556751-1 is not prime. Res64: 339CDABF00AC0974 Time : 0.0 sec. user=mdettweiler [2020-04-03 08:25:59] 739*2^1556751-1 is not prime. Res64: C572F656DFD33E7B Time : 0.0 sec. user=mdettweiler [2020-04-03 09:04:27] 657*2^1556753-1 is not prime. Res64: 709162423E1F065A Time : 0.0 sec. user=mdettweiler [2020-04-03 09:04:28] 705*2^1556753-1 is not prime. Res64: AAE407FC258721ED Time : 0.0 sec. user=mdettweiler [2020-04-03 09:04:29] 721*2^1556753-1 is not prime. Res64: D12CCF62DC42C4CE Time : 0.0 sec. user=mdettweiler [2020-04-03 09:04:30] 727*2^1556753-1 is not prime. Res64: CE91CA102B8650D9 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:04:32] 729*2^1556753-1 is not prime. Res64: 097004BE136CC0CE Time : 0.0 sec. user=mdettweiler [2020-04-03 09:06:50] 769*2^1556751-1 is not prime. Res64: CB74DF4D2EE9CAFD Time : 0.0 sec. user=mdettweiler [2020-04-03 09:06:51] 793*2^1556751-1 is not prime. Res64: 44409CEE974F4F12 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:06:52] 955*2^1556751-1 is not prime. Res64: CE8B38A1AE73C2E2 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:06:53] 999*2^1556751-1 is not prime. Res64: 1DA1CBC88BFE19D2 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:06:54] 897*2^1556752-1 is not prime. Res64: 36A291AF49221C5F Time : 0.0 sec. user=mdettweiler [2020-04-03 09:20:29] 795*2^1556753-1 is not prime. Res64: 95B78EF7DCC6F8A9 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:20:30] 879*2^1556753-1 is not prime. Res64: 0C6EA501B1D88D9C Time : 0.0 sec. user=mdettweiler [2020-04-03 09:20:30] 663*2^1556754-1 is not prime. Res64: 6E8256C286DB6852 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:20:31] 837*2^1556754-1 is not prime. Res64: CED2267DACB24E42 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:20:32] 881*2^1556754-1 is not prime. Res64: 36BFABE1430F0E8A Time : 0.0 sec. user=mdettweiler [2020-04-03 09:56:28] 625*2^1556755-1 is not prime. Res64: 4931B9C65C8FE78D Time : 0.0 sec. user=mdettweiler [2020-04-03 09:56:28] 639*2^1556755-1 is not prime. Res64: 3A2AF484FCB7CC4F Time : 0.0 sec. user=mdettweiler [2020-04-03 09:56:29] 645*2^1556755-1 is not prime. Res64: 2DE94766C91F5546 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:56:29] 663*2^1556755-1 is not prime. Res64: 48400C1EEA3A0C95 Time : 0.0 sec. user=mdettweiler [2020-04-03 09:56:29] 819*2^1556755-1 is not prime. Res64: D2FBA7B782F0D294 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:01:29] 861*2^1556755-1 is not prime. Res64: 9779784111BC7C93 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:01:30] 883*2^1556755-1 is not prime. Res64: B079FBFCDD65F96C Time : 0.0 sec. user=mdettweiler [2020-04-03 10:01:31] 919*2^1556755-1 is not prime. Res64: 5CF60644B9F06761 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:01:32] 707*2^1556756-1 is not prime. Res64: E14EB2B2971F074D Time : 0.0 sec. user=mdettweiler [2020-04-03 10:01:33] 773*2^1556756-1 is not prime. Res64: 697CC07D1F33FD6F Time : 0.0 sec. user=mdettweiler [2020-04-03 10:14:57] 833*2^1556756-1 is not prime. Res64: 2165DEF2B0DAAF85 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:14:58] 957*2^1556756-1 is not prime. Res64: 2F0C062BB45C5113 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:14:58] 983*2^1556756-1 is not prime. Res64: ACEAFDB0CE68906F Time : 0.0 sec. user=mdettweiler [2020-04-03 10:14:58] 649*2^1556757-1 is not prime. Res64: F963B00AE2DA3802 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:14:59] 699*2^1556757-1 is not prime. Res64: 492D5FAD51119A1B Time : 0.0 sec. user=mdettweiler [2020-04-03 10:49:42] 765*2^1556757-1 is not prime. Res64: 90187466029DE18E Time : 0.0 sec. user=mdettweiler [2020-04-03 10:49:43] 777*2^1556757-1 is not prime. Res64: 7040E521DAF69D73 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:49:43] 825*2^1556757-1 is not prime. Res64: 10558D24AC6F9F37 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:49:43] 849*2^1556757-1 is not prime. Res64: D9780D0941304A3E Time : 0.0 sec. user=mdettweiler [2020-04-03 10:49:44] 859*2^1556757-1 is not prime. Res64: 7F041C850109D399 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:58:47] 901*2^1556757-1 is not prime. Res64: 6E6EECC36D3B14B7 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:58:47] 945*2^1556757-1 is not prime. Res64: CEE8B697B4D93004 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:58:47] 671*2^1556758-1 is not prime. Res64: 5A4C038F3C706FD3 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:58:48] 951*2^1556758-1 is not prime. Res64: 43A5B4CB01592BA7 Time : 0.0 sec. user=mdettweiler [2020-04-03 10:58:48] 981*2^1556758-1 is not prime. Res64: DCF7A98F45D0E63D Time : 0.0 sec. user=mdettweiler [2020-04-03 11:07:51] 685*2^1556759-1 is not prime. Res64: 082C004A8270346F Time : 0.0 sec. user=mdettweiler [2020-04-03 11:07:53] 693*2^1556759-1 is not prime. Res64: 317AD225E76D8D81 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:07:55] 789*2^1556759-1 is not prime. Res64: 984BFBD83B7A61FF Time : 0.0 sec. user=mdettweiler [2020-04-03 11:07:56] 799*2^1556759-1 is not prime. Res64: AA746D07E17B9F65 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:07:57] 819*2^1556759-1 is not prime. Res64: D39473A101873F52 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:43:16] 859*2^1556759-1 is not prime. Res64: 5816A42E3AB50FF2 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:43:17] 879*2^1556759-1 is not prime. Res64: 3B2D810F39C48499 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:43:17] 689*2^1556760-1 is not prime. Res64: 83518587690BCDF1 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:43:17] 693*2^1556760-1 is not prime. Res64: 9967E06DC37444E1 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:43:18] 747*2^1556760-1 is not prime. Res64: 8FC4D45896A1BAEE Time : 0.0 sec. user=mdettweiler [2020-04-03 11:53:51] 839*2^1556760-1 is not prime. Res64: B7CDCE8EF6CB167A Time : 0.0 sec. user=mdettweiler [2020-04-03 11:53:51] 863*2^1556760-1 is not prime. Res64: DE3FD59EC287197B Time : 0.0 sec. user=mdettweiler [2020-04-03 11:53:52] 873*2^1556760-1 is not prime. Res64: 51E210B27E9565D5 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:53:52] 899*2^1556760-1 is not prime. Res64: 34B437D15A0E0790 Time : 0.0 sec. user=mdettweiler [2020-04-03 11:53:52] 999*2^1556760-1 is not prime. Res64: 32724589E76FF844 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:02:08] 639*2^1556761-1 is not prime. Res64: 25DDCE171C12FD53 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:02:09] 771*2^1556761-1 is not prime. Res64: 5226ECF473AA12C6 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:02:10] 817*2^1556761-1 is not prime. Res64: 45CFE7D9E01DB10B Time : 0.0 sec. user=mdettweiler [2020-04-03 12:02:10] 855*2^1556761-1 is not prime. Res64: 0A2E0A6BCB33A0B4 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:02:11] 955*2^1556761-1 is not prime. Res64: E1197DFE1D8C409B Time : 0.0 sec. user=mdettweiler [2020-04-03 12:36:39] 657*2^1556762-1 is not prime. Res64: F983E0A332064A1C Time : 0.0 sec. user=mdettweiler [2020-04-03 12:36:39] 743*2^1556762-1 is not prime. Res64: 9DBB4210F4BC79E0 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:36:40] 867*2^1556762-1 is not prime. Res64: 51DBA6F7862BCE9A Time : 0.0 sec. user=mdettweiler [2020-04-03 12:36:40] 873*2^1556762-1 is not prime. Res64: 69D90669B54D7F38 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:36:40] 885*2^1556762-1 is not prime. Res64: 6093B22B53A3C80C Time : 0.0 sec. user=mdettweiler [2020-04-03 12:49:16] 893*2^1556762-1 is not prime. Res64: 4EF1A871AF31AE24 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:49:16] 977*2^1556762-1 is not prime. Res64: 3F60EAEE1183657E Time : 0.0 sec. user=mdettweiler [2020-04-03 12:49:17] 1001*2^1556762-1 is not prime. Res64: 068400E8258895F4 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:49:17] 619*2^1556763-1 is not prime. Res64: 91B4018B4F577890 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:49:17] 663*2^1556763-1 is not prime. Res64: BC55ACEA885DC32C Time : 0.0 sec. user=mdettweiler [2020-04-03 12:55:40] 679*2^1556763-1 is not prime. Res64: 9FB18A9374EDEE12 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:55:41] 723*2^1556763-1 is not prime. Res64: 1EE76BCD3954FD31 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:55:41] 789*2^1556763-1 is not prime. Res64: 05A7EB225AD91E32 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:55:41] 829*2^1556763-1 is not prime. Res64: 89230BDDE8BAA414 Time : 0.0 sec. user=mdettweiler [2020-04-03 12:55:42] 879*2^1556763-1 is not prime. Res64: 41A2D4821013B688 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:32:08] 913*2^1556763-1 is not prime. Res64: 28CA1002950C7828 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:32:08] 693*2^1556764-1 is not prime. Res64: 9FA2C471CC281392 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:32:09] 803*2^1556764-1 is not prime. Res64: 5EB7D088C9DAFF4E Time : 0.0 sec. user=mdettweiler [2020-04-03 13:32:09] 843*2^1556764-1 is not prime. Res64: 2ADD8FFC2D130C63 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:32:10] 903*2^1556764-1 is not prime. Res64: F54A85A9F6C81528 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:45:22] 929*2^1556764-1 is not prime. Res64: 419B32027C67325C Time : 0.0 sec. user=mdettweiler [2020-04-03 13:45:22] 655*2^1556765-1 is not prime. Res64: DD9DC56654D3E75F Time : 0.0 sec. user=mdettweiler [2020-04-03 13:45:22] 675*2^1556765-1 is not prime. Res64: 764811BA53629BED Time : 0.0 sec. user=mdettweiler [2020-04-03 13:45:23] 915*2^1556765-1 is not prime. Res64: 5EDAA1DAA0281F69 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:45:23] 939*2^1556765-1 is not prime. Res64: 92AD9EB0582DD75E Time : 0.0 sec. user=mdettweiler [2020-04-03 13:50:47] 987*2^1556765-1 is not prime. Res64: 989E61CD0B549E9A Time : 0.0 sec. user=mdettweiler [2020-04-03 13:50:47] 677*2^1556766-1 is not prime. Res64: 02DCD4937E1A61BE Time : 0.0 sec. user=mdettweiler [2020-04-03 13:50:47] 801*2^1556766-1 is not prime. Res64: ECB7B800B4219B8A Time : 0.0 sec. user=mdettweiler [2020-04-03 13:50:48] 807*2^1556766-1 is not prime. Res64: B70D1A50C79A5241 Time : 0.0 sec. user=mdettweiler [2020-04-03 13:50:48] 917*2^1556766-1 is not prime. Res64: 0057EBA13A91B354 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:25:17] 681*2^1556767-1 is not prime. Res64: 9CB3BA1096926E15 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:25:17] 705*2^1556767-1 is not prime. Res64: 06D69B071ACCC7BA Time : 0.0 sec. user=mdettweiler [2020-04-03 14:25:18] 775*2^1556767-1 is not prime. Res64: 3E937FDF78BB40DB Time : 0.0 sec. user=mdettweiler [2020-04-03 14:25:18] 861*2^1556767-1 is not prime. Res64: B312A731600C9360 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:25:19] 891*2^1556767-1 is not prime. Res64: 2A505D0E9E4933AE Time : 0.0 sec. user=mdettweiler [2020-04-03 14:40:52] 915*2^1556767-1 is not prime. Res64: B2F7C9F81D0B93DD Time : 0.0 sec. user=mdettweiler [2020-04-03 14:40:52] 973*2^1556767-1 is not prime. Res64: B63BBA6088322246 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:40:52] 659*2^1556768-1 is not prime. Res64: 34ADA102C255E022 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:40:53] 827*2^1556768-1 is not prime. Res64: 0D6E53B94DCBB288 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:40:53] 893*2^1556768-1 is not prime. Res64: 724337D714C85591 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:47:19] 909*2^1556768-1 is not prime. Res64: D3818FD2F4854106 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:47:20] 923*2^1556768-1 is not prime. Res64: 9068D6A7BCE921E7 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:47:20] 957*2^1556768-1 is not prime. Res64: 47D3E8260FB348A2 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:47:20] 963*2^1556768-1 is not prime. Res64: 1C41F314F5626611 Time : 0.0 sec. user=mdettweiler [2020-04-03 14:47:21] 627*2^1556769-1 is not prime. Res64: 22DF915437BE111A Time : 0.0 sec. user=mdettweiler [2020-04-03 15:19:58] 667*2^1556769-1 is not prime. Res64: 82CB7FF2C677E6C4 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:19:59] 705*2^1556769-1 is not prime. Res64: 8621E9C2699EFEBA Time : 0.0 sec. user=mdettweiler [2020-04-03 15:19:59] 769*2^1556769-1 is not prime. Res64: 0E45A8D4D6B60314 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:20:00] 877*2^1556769-1 is not prime. Res64: AB9F445FE1A7A02A Time : 0.0 sec. user=mdettweiler [2020-04-03 15:20:00] 891*2^1556769-1 is not prime. Res64: BC1F539028510833 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:38:24] 895*2^1556769-1 is not prime. Res64: 15CA99D6CEED4855 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:38:25] 949*2^1556769-1 is not prime. Res64: 481B7E477D261805 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:38:25] 955*2^1556769-1 is not prime. Res64: 3C177D04008C3305 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:38:25] 987*2^1556769-1 is not prime. Res64: 393BABE5D9A45BDD Time : 0.0 sec. user=mdettweiler [2020-04-03 15:38:26] 657*2^1556770-1 is not prime. Res64: B20965B40F802D6D Time : 0.0 sec. user=mdettweiler [2020-04-03 15:41:24] 687*2^1556770-1 is not prime. Res64: B797B48D08792B59 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:41:25] 723*2^1556770-1 is not prime. Res64: 9492FA82BBFE9F65 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:41:25] 783*2^1556770-1 is not prime. Res64: 7F14A29BABCA7087 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:41:26] 855*2^1556770-1 is not prime. Res64: 627ADF4E9FC09B29 Time : 0.0 sec. user=mdettweiler [2020-04-03 15:41:26] 887*2^1556770-1 is not prime. Res64: CA4F2C1086041E0E Time : 0.0 sec. user=mdettweiler [2020-04-03 16:15:47] 941*2^1556770-1 is not prime. Res64: 4D4FE18D82342216 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:15:48] 987*2^1556770-1 is not prime. Res64: 49B0DFBD7142BBD4 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:15:48] 609*2^1556771-1 is not prime. Res64: 0C50426672A8E9F9 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:15:49] 631*2^1556771-1 is not prime. Res64: A16DCBC89F128853 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:15:49] 741*2^1556771-1 is not prime. Res64: 66A9935120B71394 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:33:28] 797*2^1556772-1 is not prime. Res64: 69A518017FC14E81 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:33:28] 965*2^1556772-1 is not prime. Res64: 8DB055F655C8843D Time : 0.0 sec. user=mdettweiler [2020-04-03 16:33:28] 619*2^1556773-1 is not prime. Res64: 26DF87C4F3FFD0A5 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:33:29] 765*2^1556773-1 is not prime. Res64: 10C57243AA288187 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:33:29] 835*2^1556773-1 is not prime. Res64: 6D8D1CB2DE7E9E12 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:37:15] 945*2^1556773-1 is not prime. Res64: DCF50470E636D89C Time : 0.0 sec. user=mdettweiler [2020-04-03 16:37:16] 979*2^1556773-1 is not prime. Res64: 7BA6E026DE109596 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:37:16] 677*2^1556774-1 is not prime. Res64: 1A0021DBC20D5510 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:37:16] 707*2^1556774-1 is not prime. Res64: B434287D5358BF98 Time : 0.0 sec. user=mdettweiler [2020-04-03 16:37:17] 753*2^1556774-1 is not prime. Res64: 48A0E0A0CC444F60 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:12:29] 825*2^1556774-1 is not prime. Res64: A7CAE914CA87F5BD Time : 0.0 sec. user=mdettweiler [2020-04-03 17:12:30] 871*2^1556775-1 is not prime. Res64: 02F346F0770E7EE1 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:12:30] 885*2^1556775-1 is not prime. Res64: C0B3D1F5B5825493 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:12:31] 961*2^1556775-1 is not prime. Res64: 9892E651AF0744FD Time : 0.0 sec. user=mdettweiler [2020-04-03 17:12:31] 963*2^1556775-1 is not prime. Res64: 015557D864399156 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:25:31] 609*2^1556776-1 is not prime. Res64: 62E6EBB8AAAC6EA5 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:25:32] 705*2^1556776-1 is not prime. Res64: 231108BE152803F9 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:25:32] 707*2^1556776-1 is not prime. Res64: 3BF9D212154EA95D Time : 0.0 sec. user=mdettweiler [2020-04-03 17:25:32] 759*2^1556776-1 is not prime. Res64: C11D55660F27BB81 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:25:33] 825*2^1556776-1 is not prime. Res64: A0E2E42FFA485AEA Time : 0.0 sec. user=mdettweiler [2020-04-03 17:34:19] 855*2^1556776-1 is not prime. Res64: 909FB2B951D06AF2 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:34:19] 887*2^1556776-1 is not prime. Res64: C209AA3EC4F6F1A3 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:34:20] 927*2^1556776-1 is not prime. Res64: EEC5A85A1529A807 Time : 0.0 sec. user=mdettweiler [2020-04-03 17:34:20] 957*2^1556776-1 is not prime. Res64: 1D10CE25892A9F9C Time : 0.0 sec. user=mdettweiler [2020-04-03 17:34:21] 975*2^1556776-1 is not prime. Res64: FDF54C624F1BCAA8 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:06:17] 741*2^1556777-1 is not prime. Res64: 2CDCB0E4F01EAEB2 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:06:19] 799*2^1556777-1 is not prime. Res64: C5C4F66602420E28 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:06:22] 865*2^1556777-1 is not prime. Res64: A09A1170B3A24C47 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:06:23] 867*2^1556777-1 is not prime. Res64: 611F40A123425031 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:06:25] 925*2^1556777-1 is not prime. Res64: 9BB2328D9FC78CD0 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:17:14] 671*2^1556778-1 is not prime. Res64: 34F6E253899800A7 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:17:15] 705*2^1556778-1 is not prime. Res64: 16E7756351A4CCA8 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:17:15] 725*2^1556778-1 is not prime. Res64: CEC23A0FBE2A8CC1 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:17:15] 773*2^1556778-1 is not prime. Res64: 345E9959D8563509 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:17:16] 797*2^1556778-1 is not prime. Res64: 755EB0D65BAAE008 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:30:23] 861*2^1556778-1 is not prime. Res64: 2E16195174DBE7C5 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:30:23] 905*2^1556778-1 is not prime. Res64: A83D308D087D56F5 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:30:24] 971*2^1556778-1 is not prime. Res64: 48F9318C943B2F13 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:30:24] 993*2^1556778-1 is not prime. Res64: 80427890F1A1C895 Time : 0.0 sec. user=mdettweiler [2020-04-03 18:30:24] 759*2^1556779-1 is not prime. Res64: 67C268AA26AC5C43 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:00:47] 789*2^1556779-1 is not prime. Res64: 3AE1F699011D3C42 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:00:47] 801*2^1556779-1 is not prime. Res64: 1714CA2AFC57BDA0 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:00:48] 813*2^1556779-1 is not prime. Res64: 58AB024DB97E1B69 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:00:48] 951*2^1556779-1 is not prime. Res64: 1EEDAAAEDA0E99E6 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:00:49] 629*2^1556780-1 is not prime. Res64: 8D6C1E3FED9C9E64 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:09:11] 633*2^1556780-1 is not prime. Res64: 115E31858FC3EA00 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:09:12] 635*2^1556780-1 is not prime. Res64: B2A708CFA7507863 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:09:12] 707*2^1556780-1 is not prime. Res64: C91E0B2E374F2CAE Time : 0.0 sec. user=mdettweiler [2020-04-03 19:09:12] 743*2^1556780-1 is not prime. Res64: E7D0C1C09AF24C64 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:09:12] 755*2^1556780-1 is not prime. Res64: 0929651F241247D9 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:23:39] 813*2^1556780-1 is not prime. Res64: D2B22319D939B2E7 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:23:39] 845*2^1556780-1 is not prime. Res64: 3BA8EE3B2546B6EE Time : 0.0 sec. user=mdettweiler [2020-04-03 19:23:40] 963*2^1556780-1 is not prime. Res64: E2794D93F9A920DB Time : 0.0 sec. user=mdettweiler [2020-04-03 19:23:40] 615*2^1556781-1 is not prime. Res64: 4F284D8E0E51A9CE Time : 0.0 sec. user=mdettweiler [2020-04-03 19:23:40] 669*2^1556781-1 is not prime. Res64: 6E78A71957E2E0AC Time : 0.0 sec. user=mdettweiler [2020-04-03 19:52:51] 675*2^1556781-1 is not prime. Res64: 524024F83B6D367A Time : 0.0 sec. user=mdettweiler [2020-04-03 19:52:51] 679*2^1556781-1 is not prime. Res64: 234F34A609DCAE27 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:52:51] 777*2^1556781-1 is not prime. Res64: BC46F6F2AAF71AB1 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:52:51] 795*2^1556781-1 is not prime. Res64: 63A72B730EA049F5 Time : 0.0 sec. user=mdettweiler [2020-04-03 19:52:52] 865*2^1556781-1 is not prime. Res64: 443056507DBA7A43 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:03:02] 889*2^1556781-1 is not prime. Res64: 26B40E299B98F994 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:03:03] 907*2^1556781-1 is not prime. Res64: 5DB68439FFDAC384 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:03:04] 657*2^1556782-1 is not prime. Res64: DD9A986B268AA3B8 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:03:04] 713*2^1556782-1 is not prime. Res64: 6888D483A70CEB1D Time : 0.0 sec. user=mdettweiler [2020-04-03 20:03:04] 723*2^1556782-1 is not prime. Res64: 9D5E616EA094B9A3 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:15:46] 731*2^1556782-1 is not prime. Res64: 104DCACC90441A25 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:15:47] 741*2^1556782-1 is not prime. Res64: 6CBAF45EEAFE26BD Time : 0.0 sec. user=mdettweiler [2020-04-03 20:15:48] 791*2^1556782-1 is not prime. Res64: BCDD878EC3C4CD3C Time : 0.0 sec. user=mdettweiler [2020-04-03 20:15:48] 831*2^1556782-1 is not prime. Res64: B1ACB6E2A7332750 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:15:49] 715*2^1556783-1 is not prime. Res64: AA633F1AD53ABE43 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:47:26] 829*2^1556783-1 is not prime. Res64: 76D8B854CB7F531B Time : 0.0 sec. user=mdettweiler [2020-04-03 20:47:26] 855*2^1556783-1 is not prime. Res64: 92798208D2C41C44 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:47:26] 939*2^1556783-1 is not prime. Res64: 3166767E1BE0F549 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:47:27] 985*2^1556783-1 is not prime. Res64: CF98DE4D862A0AE4 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:47:27] 725*2^1556784-1 is not prime. Res64: 27DE58B162BA53FC Time : 0.0 sec. user=mdettweiler [2020-04-03 20:56:23] 687*2^1556785-1 is not prime. Res64: 5E1A3C78A18223A2 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:56:23] 741*2^1556785-1 is not prime. Res64: A12BF4D9CD648A1B Time : 0.0 sec. user=mdettweiler [2020-04-03 20:56:23] 877*2^1556785-1 is not prime. Res64: 02FC32717CBBEAE2 Time : 0.0 sec. user=mdettweiler [2020-04-03 20:56:24] 641*2^1556786-1 is not prime. Res64: E68BC010697490FB Time : 0.0 sec. user=mdettweiler [2020-04-03 20:56:24] 741*2^1556786-1 is not prime. Res64: 659327D110EED417 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:08:49] 747*2^1556786-1 is not prime. Res64: 00B25C7C3061FFD3 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:08:49] 801*2^1556786-1 is not prime. Res64: 8E4F30A0178A1029 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:08:49] 813*2^1556786-1 is not prime. Res64: E485A9F0A7282024 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:08:50] 827*2^1556786-1 is not prime. Res64: 6E80CDA630801F09 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:08:50] 843*2^1556786-1 is not prime. Res64: B4991D495BBD7097 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:43:55] 887*2^1556786-1 is not prime. Res64: 0E10B00DA05738CB Time : 0.0 sec. user=mdettweiler [2020-04-03 21:43:56] 893*2^1556786-1 is not prime. Res64: AE565BE58BB77F2B Time : 0.0 sec. user=mdettweiler [2020-04-03 21:43:56] 983*2^1556786-1 is not prime. Res64: DB3BC0DBCD32BD47 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:43:56] 609*2^1556787-1 is not prime. Res64: 1F4F0926770D1A9A Time : 0.0 sec. user=mdettweiler [2020-04-03 21:43:56] 625*2^1556787-1 is not prime. Res64: 8890879137BDF57F Time : 0.0 sec. user=mdettweiler [2020-04-03 21:49:24] 669*2^1556787-1 is not prime. Res64: 3C0185FAAA7EC64C Time : 0.0 sec. user=mdettweiler [2020-04-03 21:49:24] 711*2^1556787-1 is not prime. Res64: 2C6290EDBB064958 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:49:25] 735*2^1556787-1 is not prime. Res64: AED1A464B3954598 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:49:25] 825*2^1556787-1 is not prime. Res64: 9DB17309484F3CB1 Time : 0.0 sec. user=mdettweiler [2020-04-03 21:49:25] 859*2^1556787-1 is not prime. Res64: 2D71A8E73ADD5D99 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:02:51] 891*2^1556787-1 is not prime. Res64: 30176FEB3F12F0F2 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:02:52] 603*2^1556788-1 is not prime. Res64: EBA32BF11F9C9A0C Time : 0.0 sec. user=mdettweiler [2020-04-03 22:02:53] 695*2^1556788-1 is not prime. Res64: E6FE39876D1952D2 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:02:53] 827*2^1556788-1 is not prime. Res64: 060E4EC9F466531A Time : 0.0 sec. user=mdettweiler [2020-04-03 22:02:54] 869*2^1556788-1 is not prime. Res64: 71015EBB652A8D57 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:38:35] 927*2^1556788-1 is not prime. Res64: 04E16575BE2C5D4F Time : 0.0 sec. user=mdettweiler [2020-04-03 22:38:36] 933*2^1556788-1 is not prime. Res64: B30DA875559EBF0F Time : 0.0 sec. user=mdettweiler [2020-04-03 22:38:36] 657*2^1556789-1 is not prime. Res64: A27F34FDC19580B1 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:38:36] 675*2^1556789-1 is not prime. Res64: B9EC7A27FCDC3C20 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:38:37] 721*2^1556789-1 is not prime. Res64: DAD0CE0FD2C2A351 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:44:42] 829*2^1556789-1 is not prime. Res64: BADE390AE7DC870D Time : 0.0 sec. user=mdettweiler [2020-04-03 22:44:43] 837*2^1556789-1 is not prime. Res64: 467001833D7F1D61 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:44:43] 847*2^1556789-1 is not prime. Res64: DC5A3AE1AE6562C6 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:44:43] 949*2^1556789-1 is not prime. Res64: 2815B6589CAE6C7A Time : 0.0 sec. user=mdettweiler [2020-04-03 22:44:43] 979*2^1556789-1 is not prime. Res64: ABE25AF2BD67B8D7 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:56:17] 711*2^1556790-1 is not prime. Res64: F1F8B39301057CF2 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:56:18] 791*2^1556790-1 is not prime. Res64: F1DF45303F4962E4 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:56:18] 915*2^1556790-1 is not prime. Res64: C304E4ED9360EBC5 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:56:18] 645*2^1556791-1 is not prime. Res64: 84793BF0B2945608 Time : 0.0 sec. user=mdettweiler [2020-04-03 22:56:19] 651*2^1556791-1 is not prime. Res64: CC42F0D6B0C49EC5 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:31:26] 681*2^1556791-1 is not prime. Res64: 3ABBF12C10A3D2C4 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:31:27] 709*2^1556791-1 is not prime. Res64: B618DC886B9E81A2 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:31:27] 783*2^1556791-1 is not prime. Res64: 97B93FB2DE26E8BF Time : 0.0 sec. user=mdettweiler [2020-04-03 23:31:27] 979*2^1556791-1 is not prime. Res64: 520C5DA1EC2E94BD Time : 0.0 sec. user=mdettweiler [2020-04-03 23:31:28] 617*2^1556792-1 is not prime. Res64: 6B170DFA0AAA5807 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:37:47] 665*2^1556792-1 is not prime. Res64: 6990CE8394BE2111 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:37:47] 675*2^1556792-1 is not prime. Res64: DBD088C1808DC20C Time : 0.0 sec. user=mdettweiler [2020-04-03 23:37:47] 873*2^1556792-1 is not prime. Res64: 91D885496E414674 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:37:48] 751*2^1556793-1 is not prime. Res64: 7D8F226A92EF54BF Time : 0.0 sec. user=mdettweiler [2020-04-03 23:37:48] 819*2^1556793-1 is not prime. Res64: 4F3012CB6B2EB529 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:50:23] 849*2^1556793-1 is not prime. Res64: 486010967E16FB61 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:50:23] 885*2^1556793-1 is not prime. Res64: A4C457AB5223D39F Time : 0.0 sec. user=mdettweiler [2020-04-03 23:50:24] 951*2^1556793-1 is not prime. Res64: BB187468AC268028 Time : 0.0 sec. user=mdettweiler [2020-04-03 23:50:24] 657*2^1556794-1 is not prime. Res64: 8142D8F5F56E28DF Time : 0.0 sec. user=mdettweiler [2020-04-03 23:50:24] 723*2^1556794-1 is not prime. Res64: 7AD0C2328D4ECBEC Time : 0.0 sec.