user=mdettweiler [2020-02-06 00:39:54] 855*2^1553584-1 is not prime. Res64: 7FA8F86C517164C4 Time : 0.0 sec. user=mdettweiler [2020-02-06 00:39:55] 903*2^1553584-1 is not prime. Res64: 071B2CAFAAA94194 Time : 0.0 sec. user=mdettweiler [2020-02-06 00:39:55] 995*2^1553584-1 is not prime. Res64: D58EC2807F42689B Time : 0.0 sec. user=mdettweiler [2020-02-06 00:39:55] 711*2^1553585-1 is not prime. Res64: 999C38F504FBEF13 Time : 0.0 sec. user=mdettweiler [2020-02-06 00:39:56] 721*2^1553585-1 is not prime. Res64: CA81E44169EB2BFC Time : 0.0 sec. user=mdettweiler [2020-02-06 00:40:48] 841*2^1553585-1 is not prime. Res64: C862966EABBA0E3A Time : 0.0 sec. user=mdettweiler [2020-02-06 00:40:49] 861*2^1553586-1 is not prime. Res64: E5837F502EBFB548 Time : 0.0 sec. user=mdettweiler [2020-02-06 00:40:49] 971*2^1553586-1 is not prime. Res64: 9410966FD9A2FC40 Time : 0.0 sec. user=mdettweiler [2020-02-06 00:40:50] 615*2^1553587-1 is not prime. Res64: 1A96DDAF0E66B1BF Time : 0.0 sec. user=mdettweiler [2020-02-06 00:40:50] 619*2^1553587-1 is not prime. Res64: 71513680B1A8D1EB Time : 0.0 sec. user=mdettweiler [2020-02-06 01:16:59] 855*2^1553579-1 is not prime. Res64: 4E89A96AB6625F69 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:17:00] 861*2^1553579-1 is not prime. Res64: C04F763F02B420C3 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:17:01] 883*2^1553579-1 is not prime. Res64: 470DF004CF849E2C Time : 0.0 sec. user=mdettweiler [2020-02-06 01:17:02] 985*2^1553579-1 is not prime. Res64: E453063B6A5409D8 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:33:43] 961*2^1553587-1 is not prime. Res64: 35E4CD0A215A899F Time : 0.0 sec. user=mdettweiler [2020-02-06 01:33:49] 683*2^1553588-1 is not prime. Res64: BB1A5D59E27EECD4 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:33:58] 707*2^1553588-1 is not prime. Res64: 6C78D8828E146B23 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:34:04] 753*2^1553588-1 is not prime. Res64: AE9683F644DB437D Time : 0.0 sec. user=mdettweiler [2020-02-06 01:34:09] 609*2^1553589-1 is not prime. Res64: DB69D2BDCB659BC9 Time : 0.0 sec. user=mdettweiler [2020-02-06 01:34:45] 645*2^1553587-1 is not prime. Res64: 1FB6C643DD9DDF4A Time : 0.0 sec. user=mdettweiler [2020-02-06 01:34:50] 793*2^1553587-1 is not prime. Res64: 3F79EF06698756FE Time : 0.0 sec. user=mdettweiler [2020-02-06 01:34:56] 873*2^1553587-1 is not prime. Res64: 5D493926C0C25D3A Time : 0.0 sec. user=mdettweiler [2020-02-06 01:35:23] 915*2^1553587-1 is not prime. Res64: 09300C0812FFC758 Time : 0.0 sec. user=mdettweiler [2020-02-06 02:09:00] 621*2^1553589-1 is not prime. Res64: CD253B0B919F4349 Time : 0.0 sec. user=mdettweiler [2020-02-06 02:09:12] 661*2^1553589-1 is not prime. Res64: 5CEF362D37B166B4 Time : 0.0 sec. user=mdettweiler [2020-02-06 02:09:13] 747*2^1553589-1 is not prime. Res64: 6E26BFA0E8BD03B3 Time : 0.0 sec. user=mdettweiler [2020-02-06 02:09:14] 789*2^1553589-1 is not prime. Res64: B6359A2C009574D7 Time : 0.0 sec. user=mdettweiler [2020-02-06 02:09:15] 817*2^1553589-1 is not prime. Res64: F24ED36F47F031D2 Time : 0.0 sec. user=mdettweiler [2020-02-06 03:01:35] 663*2^1553591-1 is not prime. Res64: 4219919D1498EAF9 Time : 0.0 sec. user=mdettweiler [2020-02-06 03:01:37] 693*2^1553591-1 is not prime. Res64: FE8396599B1C3086 Time : 0.0 sec. user=mdettweiler [2020-02-06 03:01:38] 735*2^1553591-1 is not prime. Res64: 2D8781773F86063A Time : 0.0 sec. user=mdettweiler [2020-02-06 03:01:38] 879*2^1553591-1 is not prime. Res64: FB9F78DC77C0C2B8 Time : 0.0 sec. user=mdettweiler [2020-02-06 03:01:39] 885*2^1553591-1 is not prime. Res64: 2C1D4FD048EE468B Time : 0.0 sec. user=mdettweiler [2020-02-06 03:53:49] 675*2^1553592-1 is not prime. Res64: CC206BF57AB82C10 Time : 0.0 sec. user=mdettweiler [2020-02-06 03:54:00] 689*2^1553592-1 is not prime. Res64: A08C0172DDC8A8C0 Time : 0.0 sec. user=mdettweiler [2020-02-06 05:52:41] 925*2^1553587-1 is not prime. Res64: 1151D40228E73C36 Time : 0.0 sec. user=mdettweiler [2020-02-06 06:44:08] 615*2^1553593-1 is not prime. Res64: 32D672C9A8A906CE Time : 0.0 sec. user=mdettweiler [2020-02-06 06:44:08] 619*2^1553593-1 is not prime. Res64: 68ED1E60692D61B2 Time : 0.0 sec. user=mdettweiler [2020-02-06 06:44:09] 639*2^1553593-1 is not prime. Res64: F8D6136ABDD220D1 Time : 0.0 sec. user=mdettweiler [2020-02-06 06:44:09] 651*2^1553593-1 is not prime. Res64: 716410F90E2DDB09 Time : 0.0 sec. user=mdettweiler [2020-02-06 06:44:09] 741*2^1553593-1 is not prime. Res64: 1AEA6AEDD554F9E7 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:11:07] 741*2^1553590-1 is not prime. Res64: 7B28D92BDD51F2AC Time : 0.0 sec. user=mdettweiler [2020-02-06 07:11:07] 933*2^1553590-1 is not prime. Res64: E52D957CD562EB8B Time : 0.0 sec. user=mdettweiler [2020-02-06 07:11:08] 945*2^1553590-1 is not prime. Res64: F8AAE43F1AC3FFE0 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:11:08] 951*2^1553590-1 is not prime. Res64: 6596BF68973C669C Time : 0.0 sec. user=mdettweiler [2020-02-06 07:11:08] 609*2^1553591-1 is not prime. Res64: 53C729A1C8055305 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:38:52] 747*2^1553593-1 is not prime. Res64: 0CD486009AE0D744 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:38:53] 861*2^1553593-1 is not prime. Res64: 85B45950FC6DA003 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:38:53] 895*2^1553593-1 is not prime. Res64: 64D2F6CAA8989CE9 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:38:53] 919*2^1553593-1 is not prime. Res64: 5BD2101EC5E92619 Time : 0.0 sec. user=mdettweiler [2020-02-06 07:38:54] 979*2^1553593-1 is not prime. Res64: 1D226C33F092BFBF Time : 0.0 sec. user=mdettweiler [2020-02-06 08:03:31] 615*2^1553594-1 is not prime. Res64: 4DB888ABC562DC3A Time : 0.0 sec. user=mdettweiler [2020-02-06 08:03:32] 675*2^1553594-1 is not prime. Res64: BA34981A06F4B161 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:03:34] 825*2^1553594-1 is not prime. Res64: 74F9A94F19AA3D13 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:03:35] 827*2^1553594-1 is not prime. Res64: CB7D6B4A8B077BC3 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:03:36] 857*2^1553594-1 is not prime. Res64: 9B0B23FC53B1A726 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:33:24] 951*2^1553594-1 is not prime. Res64: 51411CB3306EEBC8 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:33:25] 981*2^1553594-1 is not prime. Res64: 78AC1C7A20850D44 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:33:25] 723*2^1553595-1 is not prime. Res64: 9EF40C5A38EF8936 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:33:26] 741*2^1553595-1 is not prime. Res64: 18BB5464CE746B47 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:33:26] 783*2^1553595-1 is not prime. Res64: 422692DBA7A0A5B2 Time : 0.0 sec. user=mdettweiler [2020-02-06 08:58:28] 823*2^1553595-1 is not prime. Res64: 0AB73514586B8800 Time : 0.0 sec. user=mdettweiler [2020-02-06 09:15:43] 723*2^1553592-1 is not prime. Res64: C77A0758F48252CD Time : 0.0 sec. user=mdettweiler [2020-02-06 09:15:44] 765*2^1553592-1 is not prime. Res64: D19DF80CA2651DE5 Time : 0.0 sec. user=mdettweiler [2020-02-06 09:15:44] 879*2^1553592-1 is not prime. Res64: 78487A14B2C483DF Time : 0.0 sec. user=mdettweiler [2020-02-06 09:26:49] 963*2^1553595-1 is not prime. Res64: 8EC918BAB500B66C Time : 0.0 sec. user=mdettweiler [2020-02-06 09:26:49] 615*2^1553596-1 is not prime. Res64: A1A9EC2BAF467C32 Time : 0.0 sec. user=mdettweiler [2020-02-06 09:26:50] 749*2^1553596-1 is not prime. Res64: 3A0AA66439FC506C Time : 0.0 sec. user=mdettweiler [2020-02-06 09:26:50] 803*2^1553596-1 is not prime. Res64: D8186F65756A2D58 Time : 0.0 sec. user=mdettweiler [2020-02-06 09:26:51] 813*2^1553596-1 is not prime. Res64: 6D6D8C8F7DAFD041 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:10:49] 857*2^1553596-1 is not prime. Res64: 5ECDA02D74D41831 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:10:50] 927*2^1553596-1 is not prime. Res64: 285E9E7B1C087233 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:10:50] 969*2^1553596-1 is not prime. Res64: 0974EB803631B006 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:10:51] 741*2^1553597-1 is not prime. Res64: C5B651658D86A2CB Time : 0.0 sec. user=mdettweiler [2020-02-06 10:10:51] 837*2^1553597-1 is not prime. Res64: EE34F38BAFEF3E17 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:20:30] 847*2^1553597-1 is not prime. Res64: 8C9DF40FFFE82452 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:20:30] 985*2^1553597-1 is not prime. Res64: 1E53D32284C008E0 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:20:31] 657*2^1553598-1 is not prime. Res64: 8A7D9744AD064ADA Time : 0.0 sec. user=mdettweiler [2020-02-06 10:20:31] 881*2^1553598-1 is not prime. Res64: 3CB0F2761EE405F7 Time : 0.0 sec. user=mdettweiler [2020-02-06 10:20:31] 619*2^1553599-1 is not prime. Res64: 3F3865F8532B4B77 Time : 0.0 sec. user=mdettweiler [2020-02-06 11:05:41] 645*2^1553599-1 is not prime. Res64: 63DC182C68821795 Time : 0.0 sec. user=mdettweiler [2020-02-06 11:16:06] 759*2^1553600-1 is not prime. Res64: 89D566A80B7EE24B Time : 0.0 sec. user=mdettweiler [2020-02-06 11:16:07] 777*2^1553600-1 is not prime. Res64: 45B107A0F6FB499C Time : 0.0 sec. user=mdettweiler [2020-02-06 11:16:08] 843*2^1553600-1 is not prime. Res64: F3174EC29DD07BE1 Time : 0.0 sec. user=mdettweiler [2020-02-06 11:16:08] 959*2^1553600-1 is not prime. Res64: 1D2E30D76FFA5078 Time : 0.0 sec. user=mdettweiler [2020-02-06 11:16:09] 963*2^1553600-1 is not prime. Res64: FAAB92FE895B6285 Time : 0.0 sec. user=mdettweiler [2020-02-06 12:09:21] 741*2^1553601-1 is not prime. Res64: 8E8BD3CEF32CBDF5 Time : 0.0 sec. user=mdettweiler [2020-02-06 12:09:21] 861*2^1553601-1 is not prime. Res64: FA3A72A59A518EC0 Time : 0.0 sec. user=mdettweiler [2020-02-06 12:09:22] 657*2^1553602-1 is not prime. Res64: 6C1F0637FD9CAD9D Time : 0.0 sec. user=mdettweiler [2020-02-06 12:09:22] 681*2^1553602-1 is not prime. Res64: 55F3B1AE735BAB3F Time : 0.0 sec. user=mdettweiler [2020-02-06 12:09:23] 713*2^1553602-1 is not prime. Res64: C1AE506F43581741 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:04:14] 825*2^1553602-1 is not prime. Res64: 5A84104247809AE1 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:04:17] 885*2^1553602-1 is not prime. Res64: 0053B2AE749F0285 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:04:19] 951*2^1553602-1 is not prime. Res64: 2F019F5DE48B0665 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:04:21] 1001*2^1553602-1 is not prime. Res64: ED23C4F648DAC579 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:04:23] 619*2^1553603-1 is not prime. Res64: 22F88AE12DF6BCA1 Time : 0.0 sec. user=mdettweiler [2020-02-06 13:58:40] 753*2^1553603-1 is not prime. Res64: E09ADCBB112F4A83 Time : 0.0 sec. user=mdettweiler [2020-02-06 14:42:43] 859*2^1553595-1 is not prime. Res64: 528AA64232130554 Time : 0.0 sec. user=mdettweiler [2020-02-06 14:42:43] 873*2^1553595-1 is not prime. Res64: BD12363A696C77B5 Time : 0.0 sec. user=mdettweiler [2020-02-06 14:42:44] 909*2^1553595-1 is not prime. Res64: 31D9A6BFFC3E9FCB Time : 0.0 sec. user=mdettweiler [2020-02-06 14:42:44] 943*2^1553595-1 is not prime. Res64: ACC820C11FE44755 Time : 0.0 sec. user=mdettweiler [2020-02-06 15:39:10] 945*2^1553603-1 is not prime. Res64: A3E2090D6A3EBAF9 Time : 0.0 sec. user=mdettweiler [2020-02-06 16:48:42] 679*2^1553599-1 is not prime. Res64: 37049060D6665791 Time : 0.0 sec. user=mdettweiler [2020-02-06 16:48:43] 765*2^1553599-1 is not prime. Res64: CB3349BDAE323B3E Time : 0.0 sec. user=mdettweiler [2020-02-06 16:48:43] 919*2^1553599-1 is not prime. Res64: 906B8BA7F013C97B Time : 0.0 sec. user=mdettweiler [2020-02-06 16:48:44] 993*2^1553599-1 is not prime. Res64: E3D1CA692AE69703 Time : 0.0 sec. user=mdettweiler [2020-02-06 17:42:13] 903*2^1553604-1 is not prime. Res64: F8125FA9414A83C1 Time : 0.0 sec. user=mdettweiler [2020-02-06 17:42:13] 927*2^1553604-1 is not prime. Res64: C8F8A4B223B927A4 Time : 0.0 sec. user=mdettweiler [2020-02-06 17:42:13] 619*2^1553605-1 is not prime. Res64: 9487D3B9F15D37BC Time : 0.0 sec. user=mdettweiler [2020-02-06 17:42:14] 649*2^1553605-1 is not prime. Res64: 69C1EDA72C345606 Time : 0.0 sec. user=mdettweiler [2020-02-06 17:42:14] 685*2^1553605-1 is not prime. Res64: E57190E5AE2BDB07 Time : 0.0 sec. user=mdettweiler [2020-02-06 18:34:33] 819*2^1553605-1 is not prime. Res64: A667A069AB8FDBCE Time : 0.0 sec. user=mdettweiler [2020-02-06 18:34:34] 877*2^1553605-1 is not prime. Res64: F4AB76970356258D Time : 0.0 sec. user=mdettweiler [2020-02-06 18:34:34] 615*2^1553606-1 is not prime. Res64: 202FFF3EEB99B6E5 Time : 0.0 sec. user=mdettweiler [2020-02-06 18:34:35] 651*2^1553606-1 is not prime. Res64: 80FF01B37A15A104 Time : 0.0 sec. user=mdettweiler [2020-02-06 18:34:48] 657*2^1553606-1 is not prime. Res64: 417D947FD0E3A4AC Time : 0.0 sec. user=mdettweiler [2020-02-06 19:39:04] 771*2^1553603-1 is not prime. Res64: 4A68022F4D51E6BF Time : 0.0 sec. user=mdettweiler [2020-02-06 19:39:04] 853*2^1553603-1 is not prime. Res64: 07656A804EBF82DD Time : 0.0 sec. user=mdettweiler [2020-02-06 19:39:04] 859*2^1553603-1 is not prime. Res64: 71A84DF02E512459 Time : 0.0 sec. user=mdettweiler [2020-02-06 19:39:04] 943*2^1553603-1 is not prime. Res64: 954C6DD346BBA3FA Time : 0.0 sec. user=mdettweiler [2020-02-06 20:32:21] 813*2^1553606-1 is not prime. Res64: AB4E91E1F6B25056 Time : 0.0 sec. user=mdettweiler [2020-02-06 20:32:21] 735*2^1553607-1 is not prime. Res64: 8886D868B8793299 Time : 0.0 sec. user=mdettweiler [2020-02-06 20:32:22] 741*2^1553607-1 is not prime. Res64: 885BC54F6F62D5FA Time : 0.0 sec. user=mdettweiler [2020-02-06 20:32:22] 795*2^1553607-1 is not prime. Res64: B803A80553F7C9AA Time : 0.0 sec. user=mdettweiler [2020-02-06 20:32:22] 831*2^1553607-1 is not prime. Res64: 0793E3C42E52B655 Time : 0.0 sec. user=mdettweiler [2020-02-06 21:14:02] 969*2^1553603-1 is not prime. Res64: F9AE500E527FAE49 Time : 0.0 sec. user=mdettweiler [2020-02-06 21:14:03] 985*2^1553603-1 is not prime. Res64: 38EC4A1E64A28D2B Time : 0.0 sec. user=mdettweiler [2020-02-06 21:14:04] 609*2^1553604-1 is not prime. Res64: E6F994677B878EA9 Time : 0.0 sec. user=mdettweiler [2020-02-06 21:14:04] 825*2^1553604-1 is not prime. Res64: CAE42328DE8F85CA Time : 0.0 sec. user=mdettweiler [2020-02-06 21:27:31] 931*2^1553607-1 is not prime. Res64: B5D7B95C8DFAC458 Time : 0.0 sec.