user=pinhodecarlos [2025-08-17 11:50:12] 517*2^2845177-1 is not prime. Res64: 3B5CDE00CC137301 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 11:50:12] 565*2^2845177-1 is not prime. Res64: A0144FA3BD2E712D Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:16:11] 567*2^2845177-1 is not prime. Res64: 8780828E18AAE1AB Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:16:13] 577*2^2845177-1 is not prime. Res64: 00A475C3DCF07EFF Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:42:03] 417*2^2845178-1 is not prime. Res64: AAF8999807F1E71C Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:42:03] 507*2^2845178-1 is not prime. Res64: 91F49C1C20F101B7 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:43:10] 567*2^2845178-1 is not prime. Res64: C158066B77425D7D Time : 0.0 sec. user=pinhodecarlos [2025-08-17 12:43:10] 469*2^2845179-1 is not prime. Res64: A0A41AFBA13FD376 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:07:50] 405*2^2845180-1 is not prime. Res64: 52763C58FA1C92B8 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:07:51] 505*2^2845183-1 is not prime. Res64: 3811DE5539A7F8B6 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:09:09] 525*2^2845183-1 is not prime. Res64: 230B92F4754D2213 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:09:10] 507*2^2845184-1 is not prime. Res64: FB693EB72AD84444 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:33:59] 441*2^2845185-1 is not prime. Res64: CDFD43B445CEE505 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:33:59] 475*2^2845185-1 is not prime. Res64: B7D666030C1AF062 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:35:07] 507*2^2845185-1 is not prime. Res64: 429ADB3252EE5127 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:35:07] 537*2^2845185-1 is not prime. Res64: C4655251C51D50BF Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:59:46] 565*2^2845185-1 is not prime. Res64: BD57278C9661D089 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 13:59:47] 577*2^2845185-1 is not prime. Res64: 0C7BCE43F5DB7087 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:01:07] 585*2^2845185-1 is not prime. Res64: 4BD3BC27F2987270 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:01:08] 447*2^2845186-1 is not prime. Res64: 394337C74DC83B29 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:25:34] 465*2^2845186-1 is not prime. Res64: E6ECB4864CAC0C4A Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:25:35] 497*2^2845186-1 is not prime. Res64: A2C66AFC93C77297 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:26:52] 513*2^2845186-1 is not prime. Res64: A35F6E46441DDA74 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:26:53] 561*2^2845186-1 is not prime. Res64: 8004BA7232B89390 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:51:31] 595*2^2845187-1 is not prime. Res64: 4DA299D43E46DEED Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:51:32] 555*2^2845188-1 is not prime. Res64: 2D14FCE106F6B7B3 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:52:51] 569*2^2845188-1 is not prime. Res64: 8F3E42EBB1796828 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 14:52:51] 441*2^2845189-1 is not prime. Res64: 5C4F9EE76CF2103A Time : 0.0 sec. user=mdettweiler [2025-08-17 15:01:23] 403*2^2845187-1 is not prime. Res64: 33A950A2BEA58D31 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:17:17] 451*2^2845189-1 is not prime. Res64: 9B5038967F7085FD Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:17:18] 511*2^2845189-1 is not prime. Res64: 41EB58C2E2AE62A7 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:18:33] 555*2^2845189-1 is not prime. Res64: 1B0635A58BA2B185 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:18:35] 417*2^2845190-1 is not prime. Res64: 915091B9AD85845F Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:43:14] 455*2^2845190-1 is not prime. Res64: 0DBE23BAC93B4F99 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:43:15] 515*2^2845190-1 is not prime. Res64: DB294F74CDC779A8 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:44:24] 525*2^2845190-1 is not prime. Res64: 4BDBC7968C0A1E10 Time : 0.0 sec. user=pinhodecarlos [2025-08-17 15:44:25] 469*2^2845191-1 is not prime. Res64: 505A2E5777E163FA Time : 0.0 sec.