user=ototero [2023-03-10 00:01:45] 353*2^3001268-1 is not prime. Res64: 3315A04239385234 Time : 0.0 sec. user=mdettweiler [2023-03-10 00:14:22] 369*2^3001279-1 is not prime. Res64: 23B514591E1F4933 Time : 0.0 sec. user=ototero [2023-03-10 00:56:15] 379*2^3001279-1 is not prime. Res64: CB874DC721BA1774 Time : 0.0 sec. user=mdettweiler [2023-03-10 00:56:58] 371*2^3001282-1 is not prime. Res64: 3B7A796D2D969392 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:00:17] 335*2^3001282-1 is not prime. Res64: F0F852D97832EB99 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:01:22] 363*2^3001280-1 is not prime. Res64: E89DF4B13A18BDA1 Time : 0.0 sec. user=kruoli [2023-03-10 01:08:46] 393*2^3001282-1 is not prime. Res64: 75EEA3C89F863DF6 Time : 0.0 sec. user=kruoli [2023-03-10 01:11:58] 327*2^3001284-1 is not prime. Res64: 316F63FE6073031D Time : 0.0 sec. user=kruoli [2023-03-10 01:22:20] 355*2^3001285-1 is not prime. Res64: 904B8BBE8D991F0C Time : 0.0 sec. user=kruoli [2023-03-10 01:22:51] 323*2^3001286-1 is not prime. Res64: AD1B96A12DFAEABE Time : 0.0 sec. user=kruoli [2023-03-10 01:24:41] 377*2^3001286-1 is not prime. Res64: D57918EBEC0E422F Time : 0.0 sec. user=kruoli [2023-03-10 01:25:12] 355*2^3001287-1 is not prime. Res64: 68E8C1FBB417255E Time : 0.0 sec. user=kruoli [2023-03-10 01:26:49] 391*2^3001289-1 is not prime. Res64: EA5D27906C3BDF47 Time : 0.0 sec. user=kruoli [2023-03-10 01:35:30] 363*2^3001292-1 is not prime. Res64: BF4E8220D1804ECC Time : 0.0 sec. user=mdettweiler [2023-03-10 01:48:58] 383*2^3001290-1 is not prime. Res64: 89CC3FB905C61B25 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:49:51] 355*2^3001293-1 is not prime. Res64: 5A1294A7ACEA5292 Time : 0.0 sec. user=ototero [2023-03-10 01:50:29] 345*2^3001284-1 is not prime. Res64: 0D6820138BEA6F18 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:54:23] 361*2^3001295-1 is not prime. Res64: 44783558E549F32C Time : 0.0 sec. user=mdettweiler [2023-03-10 01:56:45] 321*2^3001297-1 is not prime. Res64: F0DF3BC8835FEB18 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:57:24] 375*2^3001298-1 is not prime. Res64: EABB7CDF8F1D1E5E Time : 0.0 sec. user=mdettweiler [2023-03-10 01:57:30] 321*2^3001298-1 is not prime. Res64: DFB878D51FA4AEB7 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:58:36] 377*2^3001300-1 is not prime. Res64: 71B3D809217EB751 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:59:06] 333*2^3001299-1 is not prime. Res64: 532CDEB7E0303F70 Time : 0.0 sec. user=mdettweiler [2023-03-10 01:59:09] 351*2^3001301-1 is not prime. Res64: 86D045C0E2C2E988 Time : 0.0 sec. user=mdettweiler [2023-03-10 02:00:33] 383*2^3001302-1 is not prime. Res64: 3B8E3F3D7C081A78 Time : 0.0 sec. user=mdettweiler [2023-03-10 02:00:57] 323*2^3001304-1 is not prime. Res64: 5B163DB8CD982C25 Time : 0.0 sec. user=ototero [2023-03-10 02:44:41] 365*2^3001304-1 is not prime. Res64: 204AD6E344A78358 Time : 0.0 sec. user=mdettweiler [2023-03-10 02:49:39] 325*2^3001305-1 is not prime. Res64: 9A5EE4DFFE9437C2 Time : 0.0 sec. user=mdettweiler [2023-03-10 02:49:47] 389*2^3001304-1 is not prime. Res64: 7FCB3850E17274DE Time : 0.0 sec. user=mdettweiler [2023-03-10 02:54:57] 345*2^3001305-1 is not prime. Res64: E05BEBEA5C63E01A Time : 0.0 sec. user=ototero [2023-03-10 03:39:00] 355*2^3001305-1 is not prime. Res64: 965D9F89060AFD1C Time : 0.0 sec. user=mdettweiler [2023-03-10 03:54:07] 361*2^3001305-1 is not prime. Res64: 7FE195CC40FE8DA4 Time : 0.0 sec. user=mdettweiler [2023-03-10 03:57:58] 367*2^3001305-1 is not prime. Res64: 183C0FA0E1043EDE Time : 0.0 sec. user=mdettweiler [2023-03-10 03:59:00] 315*2^3001306-1 is not prime. Res64: FC2D7A0E35A46FE1 Time : 0.0 sec. user=mdettweiler [2023-03-10 03:59:52] 319*2^3001307-1 is not prime. Res64: A8C6CE7E471819AF Time : 0.0 sec. user=mdettweiler [2023-03-10 04:01:56] 395*2^3001308-1 is not prime. Res64: 8935ED459AAC13D5 Time : 0.0 sec. user=ototero [2023-03-10 04:34:07] 385*2^3001309-1 is not prime. Res64: 6B5921DD2CFB1F94 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:37:24] 339*2^3001315-1 is not prime. Res64: 8C6CC166C1C58357 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:41:27] 315*2^3001311-1 is not prime. Res64: 02B2CB0203352507 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:41:36] 313*2^3001311-1 is not prime. Res64: F6DAC915E533B313 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:41:36] 335*2^3001312-1 is not prime. Res64: 1093016CB6711E94 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:41:37] 339*2^3001312-1 is not prime. Res64: E3EC864E9D49C2D3 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:42:53] 375*2^3001314-1 is not prime. Res64: FC4E2916F2D69180 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:43:09] 399*2^3001315-1 is not prime. Res64: 7728F282B3CEF906 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:48:09] 351*2^3001318-1 is not prime. Res64: 6CBA5557697011BB Time : 0.0 sec. user=mdettweiler [2023-03-10 04:48:26] 315*2^3001317-1 is not prime. Res64: B4B39A1D8CDF481F Time : 0.0 sec. user=mdettweiler [2023-03-10 04:51:44] 357*2^3001320-1 is not prime. Res64: 7335404022741382 Time : 0.0 sec. user=mdettweiler [2023-03-10 04:52:01] 383*2^3001316-1 is not prime. Res64: 39B33B4AE23BFD8B Time : 0.0 sec. user=mdettweiler [2023-03-10 04:59:06] 333*2^3001323-1 is not prime. Res64: 20E925D6AFD23FB0 Time : 0.0 sec. user=kruoli [2023-03-10 05:08:29] 335*2^3001324-1 is not prime. Res64: E166D27E2747E7E8 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:10:37] 321*2^3001313-1 is not prime. Res64: 2AC7A944B6CF17C3 Time : 0.0 sec. user=kruoli [2023-03-10 05:12:52] 367*2^3001325-1 is not prime. Res64: 7E4066AD79D5DD54 Time : 0.0 sec. user=kruoli [2023-03-10 05:16:15] 317*2^3001326-1 is not prime. Res64: 1A2D078652867608 Time : 0.0 sec. user=kruoli [2023-03-10 05:16:48] 379*2^3001327-1 is not prime. Res64: B2F721BCD6E48CDE Time : 0.0 sec. user=kruoli [2023-03-10 05:24:21] 385*2^3001327-1 is not prime. Res64: 0376EFB0E1F983AD Time : 0.0 sec. user=kruoli [2023-03-10 05:26:19] 335*2^3001328-1 is not prime. Res64: EDA7A3F2A4987E92 Time : 0.0 sec. user=ototero [2023-03-10 05:28:25] 375*2^3001323-1 is not prime. Res64: 91B7C917ECB93101 Time : 0.0 sec. user=kruoli [2023-03-10 05:29:44] 369*2^3001329-1 is not prime. Res64: D789D3B48494B0B8 Time : 0.0 sec. user=kruoli [2023-03-10 05:41:31] 339*2^3001333-1 is not prime. Res64: C83D3CE7D7AA2E64 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:47:29] 381*2^3001331-1 is not prime. Res64: A50ABD7C42362142 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:47:40] 353*2^3001332-1 is not prime. Res64: 8CE3D665CB89E455 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:47:50] 343*2^3001331-1 is not prime. Res64: 2E85EC3F53E4ACA1 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:48:46] 393*2^3001330-1 is not prime. Res64: 82FD19433323ECDF Time : 0.0 sec. user=mdettweiler [2023-03-10 05:50:36] 357*2^3001333-1 is not prime. Res64: 8D18A5BA154CEE30 Time : 0.0 sec. user=mdettweiler [2023-03-10 05:54:14] 323*2^3001334-1 is not prime. Res64: 11A78C0C6C7E7BEA Time : 0.0 sec. user=mdettweiler [2023-03-10 05:54:38] 321*2^3001334-1 is not prime. Res64: 6664EBA75A066C80 Time : 0.0 sec. user=ototero [2023-03-10 06:22:43] 321*2^3001335-1 is not prime. Res64: E24592B4D597B4FF Time : 0.0 sec. user=kruoli [2023-03-10 06:36:40] 317*2^3001336-1 is not prime. Res64: ACE525FD3FF91EFA Time : 0.0 sec. user=kruoli [2023-03-10 06:37:08] 319*2^3001337-1 is not prime. Res64: 17200E5C30961ED1 Time : 0.0 sec. user=kruoli [2023-03-10 06:37:09] 351*2^3001337-1 is not prime. Res64: 7C6A8478326DD19E Time : 0.0 sec. user=kruoli [2023-03-10 06:38:12] 355*2^3001337-1 is not prime. Res64: 3C7AF3C7DF3EE892 Time : 0.0 sec. user=kruoli [2023-03-10 06:38:39] 341*2^3001338-1 is not prime. Res64: 9D3DE375578BA573 Time : 0.0 sec. user=kruoli [2023-03-10 06:40:59] 349*2^3001339-1 is not prime. Res64: EEBFDABAD261F0C8 Time : 0.0 sec. user=kruoli [2023-03-10 06:42:45] 357*2^3001342-1 is not prime. Res64: A6C6F2F0D1BE6B8C Time : 0.0 sec. user=kruoli [2023-03-10 06:44:28] 387*2^3001342-1 is not prime. Res64: 0810FCFC3C961DB1 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:47:06] 389*2^3001340-1 is not prime. Res64: 30944F2FE8540BA0 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:48:27] 375*2^3001341-1 is not prime. Res64: 3421A1622D5F0CDE Time : 0.0 sec. user=mdettweiler [2023-03-10 06:48:29] 321*2^3001342-1 is not prime. Res64: 4394D952D699ED64 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:48:34] 319*2^3001343-1 is not prime. Res64: 27B8E3637F96D66F Time : 0.0 sec. user=mdettweiler [2023-03-10 06:48:55] 371*2^3001338-1 is not prime. Res64: 58D72849989D71AA Time : 0.0 sec. user=mdettweiler [2023-03-10 06:52:01] 369*2^3001343-1 is not prime. Res64: D2A5309E2C4622BD Time : 0.0 sec. user=mdettweiler [2023-03-10 06:53:36] 381*2^3001349-1 is not prime. Res64: A3C5656D51527950 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:53:58] 399*2^3001343-1 is not prime. Res64: A6CB2AC74199CA55 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:56:36] 325*2^3001349-1 is not prime. Res64: 193597022A0E4CFC Time : 0.0 sec. user=mdettweiler [2023-03-10 06:56:53] 369*2^3001348-1 is not prime. Res64: 0605C410180CE004 Time : 0.0 sec. user=mdettweiler [2023-03-10 06:57:10] 397*2^3001349-1 is not prime. Res64: B20D0E9266042ACA Time : 0.0 sec. user=mdettweiler [2023-03-10 07:11:27] 341*2^3001346-1 is not prime. Res64: C2B2995A73689D57 Time : 0.0 sec. user=ototero [2023-03-10 07:17:02] 315*2^3001350-1 is not prime. Res64: E6985EE267C426A0 Time : 0.0 sec. user=mdettweiler [2023-03-10 07:47:16] 317*2^3001350-1 is not prime. Res64: D9F0157E7D8175C0 Time : 0.0 sec. user=kruoli [2023-03-10 07:47:45] 381*2^3001351-1 is not prime. Res64: 2BFBE2D552CBD1E8 Time : 0.0 sec. user=kruoli [2023-03-10 07:49:03] 339*2^3001353-1 is not prime. Res64: 0F9E6B4C1CC2E046 Time : 0.0 sec. user=mdettweiler [2023-03-10 07:52:05] 335*2^3001350-1 is not prime. Res64: 30A7AC7C138887A9 Time : 0.0 sec. user=mdettweiler [2023-03-10 07:52:40] 377*2^3001350-1 is not prime. Res64: 18248909BBB5EB89 Time : 0.0 sec. user=kruoli [2023-03-10 07:57:20] 315*2^3001355-1 is not prime. Res64: A2308CF81C906B90 Time : 0.0 sec. user=kruoli [2023-03-10 07:58:13] 391*2^3001355-1 is not prime. Res64: A8B8F9D97DDEDA63 Time : 0.0 sec. user=kruoli [2023-03-10 07:58:23] 327*2^3001356-1 is not prime. Res64: 4D971B9B8047E72E Time : 0.0 sec. user=kruoli [2023-03-10 07:59:15] 363*2^3001356-1 is not prime. Res64: 384384358E305810 Time : 0.0 sec. user=mdettweiler [2023-03-10 07:59:41] 377*2^3001354-1 is not prime. Res64: 0CDE40870D23E9D6 Time : 0.0 sec. user=kruoli [2023-03-10 08:00:14] 399*2^3001356-1 is not prime. Res64: 9743EF6720D3A19A Time : 0.0 sec. user=kruoli [2023-03-10 08:02:12] 333*2^3001358-1 is not prime. Res64: F3CF32B33C1966C3 Time : 0.0 sec. user=ototero [2023-03-10 08:12:04] 315*2^3001351-1 is not prime. Res64: CD66D45175BE233F Time : 0.0 sec. user=mdettweiler [2023-03-10 08:54:54] 363*2^3001360-1 is not prime. Res64: 671BE3825DBC4C0B Time : 0.0 sec. user=mdettweiler [2023-03-10 08:55:14] 355*2^3001359-1 is not prime. Res64: 249401B90C51FCE9 Time : 0.0 sec. user=mdettweiler [2023-03-10 08:56:32] 367*2^3001361-1 is not prime. Res64: 0B3049EA921E170A Time : 0.0 sec. user=mdettweiler [2023-03-10 08:57:49] 313*2^3001363-1 is not prime. Res64: FA2D7C90B3EF6CAF Time : 0.0 sec. user=mdettweiler [2023-03-10 09:01:08] 347*2^3001364-1 is not prime. Res64: 171A1E0C09656D88 Time : 0.0 sec. user=ototero [2023-03-10 09:06:43] 351*2^3001358-1 is not prime. Res64: 7421E71AAF0338B8 Time : 0.0 sec. user=kruoli [2023-03-10 09:14:21] 371*2^3001366-1 is not prime. Res64: E29A41FDD2DD3B57 Time : 0.0 sec. user=kruoli [2023-03-10 09:15:32] 315*2^3001367-1 is not prime. Res64: 3A6F876CC5D807DC Time : 0.0 sec. user=kruoli [2023-03-10 09:18:26] 339*2^3001367-1 is not prime. Res64: 3AEFAD82A5A1CE95 Time : 0.0 sec. user=kruoli [2023-03-10 09:25:55] 351*2^3001369-1 is not prime. Res64: 9E4A44CF56CC86E8 Time : 0.0 sec. user=kruoli [2023-03-10 09:31:54] 359*2^3001372-1 is not prime. Res64: E5A349265F9F119E Time : 0.0 sec. user=kruoli [2023-03-10 09:43:36] 333*2^3001380-1 is not prime. Res64: F0DC4A2CD79397A7 Time : 0.0 sec. user=kruoli [2023-03-10 09:47:00] 313*2^3001383-1 is not prime. Res64: B0283021E06E1759 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:49:52] 357*2^3001374-1 is not prime. Res64: 32E6C4DA453B98A4 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:51:00] 375*2^3001377-1 is not prime. Res64: BF3BF951717B46DE Time : 0.0 sec. user=mdettweiler [2023-03-10 09:52:30] 395*2^3001378-1 is not prime. Res64: A56086E8004D3D07 Time : 0.0 sec. user=kruoli [2023-03-10 09:56:21] 331*2^3001383-1 is not prime. Res64: 249ACEF63DF84C50 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:58:01] 335*2^3001380-1 is not prime. Res64: F383F2CA76E05C94 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:58:18] 379*2^3001381-1 is not prime. Res64: 94791DF06ACFFFA8 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:58:52] 323*2^3001382-1 is not prime. Res64: 188DFC91C2A3D721 Time : 0.0 sec. user=mdettweiler [2023-03-10 09:59:46] 341*2^3001382-1 is not prime. Res64: 3940F9D60A627975 Time : 0.0 sec. user=ototero [2023-03-10 10:01:21] 351*2^3001370-1 is not prime. Res64: FCC8860568E3B07A Time : 0.0 sec. user=mdettweiler [2023-03-10 10:42:48] 377*2^3001384-1 is not prime. Res64: EE0D4F06D7D360C8 Time : 0.0 sec. user=mdettweiler [2023-03-10 10:49:19] 319*2^3001385-1 is not prime. Res64: 1FFFAC3339126998 Time : 0.0 sec. user=mdettweiler [2023-03-10 10:51:31] 327*2^3001385-1 is not prime. Res64: 8EF7D259C15A4226 Time : 0.0 sec. user=mdettweiler [2023-03-10 10:53:34] 327*2^3001386-1 is not prime. Res64: 2196192F714D8A1A Time : 0.0 sec. user=mdettweiler [2023-03-10 10:53:52] 399*2^3001385-1 is not prime. Res64: 969C065C43C43BBE Time : 0.0 sec. user=ototero [2023-03-10 10:56:00] 363*2^3001384-1 is not prime. Res64: 151713B0986B760F Time : 0.0 sec. user=mdettweiler [2023-03-10 10:59:52] 395*2^3001386-1 is not prime. Res64: 062A5880A279F7E2 Time : 0.0 sec. user=kruoli [2023-03-10 11:38:26] 315*2^3001389-1 is not prime. Res64: B98C37A656171A3D Time : 0.0 sec. user=kruoli [2023-03-10 11:41:41] 351*2^3001391-1 is not prime. Res64: FBFBEEEA19A1E705 Time : 0.0 sec. user=kruoli [2023-03-10 11:41:49] 361*2^3001391-1 is not prime. Res64: 4D8AA2F682C3FDC5 Time : 0.0 sec. user=kruoli [2023-03-10 11:46:00] 351*2^3001393-1 is not prime. Res64: 4E27A2382B36DF54 Time : 0.0 sec. user=kruoli [2023-03-10 11:47:07] 375*2^3001394-1 is not prime. Res64: 291817DDBC008FD9 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:47:39] 319*2^3001391-1 is not prime. Res64: 894DE7D63D360663 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:49:16] 371*2^3001390-1 is not prime. Res64: 13190BED9F371007 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:49:28] 381*2^3001389-1 is not prime. Res64: A9E24517910D1D6B Time : 0.0 sec. user=kruoli [2023-03-10 11:50:13] 321*2^3001397-1 is not prime. Res64: 904151E67F522030 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:50:21] 361*2^3001389-1 is not prime. Res64: 6BD73AAF8F4C5172 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:50:32] 327*2^3001392-1 is not prime. Res64: 019C52646C82233F Time : 0.0 sec. user=ototero [2023-03-10 11:51:55] 375*2^3001388-1 is not prime. Res64: 704A5A107FC69956 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:52:17] 325*2^3001393-1 is not prime. Res64: DFD678EDEB1CCE9F Time : 0.0 sec. user=kruoli [2023-03-10 11:52:41] 349*2^3001399-1 is not prime. Res64: DAC6FB72526B3563 Time : 0.0 sec. user=kruoli [2023-03-10 11:52:47] 381*2^3001399-1 is not prime. Res64: 0BA1853A3A141944 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:54:57] 357*2^3001393-1 is not prime. Res64: 77941A27A291CFDC Time : 0.0 sec. user=mdettweiler [2023-03-10 11:58:31] 345*2^3001396-1 is not prime. Res64: 5EBE042DAB57EA74 Time : 0.0 sec. user=mdettweiler [2023-03-10 11:59:25] 379*2^3001397-1 is not prime. Res64: 668A7B9DC70F4447 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:00:28] 315*2^3001399-1 is not prime. Res64: B82BC43C109D5A41 Time : 0.0 sec. user=kruoli [2023-03-10 12:41:21] 331*2^3001401-1 is not prime. Res64: 68C1F886E8A5F7E9 Time : 0.0 sec. user=kruoli [2023-03-10 12:44:33] 345*2^3001402-1 is not prime. Res64: A70768D80FA765A0 Time : 0.0 sec. user=kruoli [2023-03-10 12:44:55] 313*2^3001403-1 is not prime. Res64: 7FC6774B28040F28 Time : 0.0 sec. user=ototero [2023-03-10 12:48:17] 395*2^3001400-1 is not prime. Res64: 7471E4B7AD2DAA5E Time : 0.0 sec. user=kruoli [2023-03-10 12:48:54] 315*2^3001404-1 is not prime. Res64: B54FD7AAE4D5F763 Time : 0.0 sec. user=kruoli [2023-03-10 12:49:55] 383*2^3001406-1 is not prime. Res64: 820930DCEDF9A641 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:53:36] 349*2^3001405-1 is not prime. Res64: C767880F95C0481B Time : 0.0 sec. user=kruoli [2023-03-10 12:53:39] 313*2^3001411-1 is not prime. Res64: C0322673226FAD92 Time : 0.0 sec. user=kruoli [2023-03-10 12:55:43] 379*2^3001411-1 is not prime. Res64: 860AC72766638812 Time : 0.0 sec. user=kruoli [2023-03-10 12:55:59] 389*2^3001412-1 is not prime. Res64: 377786F648177313 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:57:25] 385*2^3001407-1 is not prime. Res64: 190F75F92EFEF6C9 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:58:26] 351*2^3001406-1 is not prime. Res64: EF6CA5317F632824 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:58:36] 359*2^3001408-1 is not prime. Res64: 0E6C20D3B8BD52D2 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:59:13] 387*2^3001408-1 is not prime. Res64: 6EDA0861D232B160 Time : 0.0 sec. user=mdettweiler [2023-03-10 12:59:40] 379*2^3001409-1 is not prime. Res64: 7A7315D6866E08B3 Time : 0.0 sec. user=mdettweiler [2023-03-10 13:00:28] 315*2^3001410-1 is not prime. Res64: E16224B6D4EA309D Time : 0.0 sec. user=kruoli [2023-03-10 13:22:07] 397*2^3001413-1 is not prime. Res64: 53DDF728DABD0427 Time : 0.0 sec. user=kruoli [2023-03-10 13:29:47] 321*2^3001414-1 is not prime. Res64: B9D942CACB24B791 Time : 0.0 sec. user=kruoli [2023-03-10 13:30:33] 377*2^3001414-1 is not prime. Res64: C384269B24558A7F Time : 0.0 sec. user=kruoli [2023-03-10 13:35:29] 331*2^3001419-1 is not prime. Res64: 3A51746B77B6764A Time : 0.0 sec. user=kruoli [2023-03-10 13:36:40] 339*2^3001419-1 is not prime. Res64: D5F1B68D2731AE12 Time : 0.0 sec. user=ototero [2023-03-10 13:44:59] 327*2^3001413-1 is not prime. Res64: 4FCE7FEADF3A6FDC Time : 0.0 sec. user=mdettweiler [2023-03-10 13:47:47] 383*2^3001416-1 is not prime. Res64: 3934B69056E4497D Time : 0.0 sec. user=mdettweiler [2023-03-10 13:48:01] 393*2^3001414-1 is not prime. Res64: CC616224E4BC903A Time : 0.0 sec. user=mdettweiler [2023-03-10 13:48:36] 375*2^3001415-1 is not prime. Res64: FF1B8D95BF51C0A0 Time : 0.0 sec. user=mdettweiler [2023-03-10 13:49:19] 375*2^3001418-1 is not prime. Res64: 2F083F37E98778D3 Time : 0.0 sec. user=kruoli [2023-03-10 13:52:04] 351*2^3001423-1 is not prime. Res64: 6801D7137A05B035 Time : 0.0 sec. user=mdettweiler [2023-03-10 13:55:49] 367*2^3001421-1 is not prime. Res64: D0F0CE99BDB60A2B Time : 0.0 sec. user=mdettweiler [2023-03-10 13:55:50] 377*2^3001420-1 is not prime. Res64: 237213DB710A4CA7 Time : 0.0 sec. user=mdettweiler [2023-03-10 13:57:24] 339*2^3001423-1 is not prime. Res64: EFABCC88A4CD0DC5 Time : 0.0 sec. user=kruoli [2023-03-10 14:31:21] 355*2^3001425-1 is not prime. Res64: 524EB1D5C1CAE91B Time : 0.0 sec. user=kruoli [2023-03-10 14:33:41] 315*2^3001427-1 is not prime. Res64: 92243DBEECA68EB1 Time : 0.0 sec. user=ototero [2023-03-10 14:39:35] 345*2^3001425-1 is not prime. Res64: BB77FF080BAE38D9 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:46:16] 343*2^3001427-1 is not prime. Res64: CAEC9EACDD5CEA30 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:46:30] 315*2^3001428-1 is not prime. Res64: FA07A9FA373A6937 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:46:34] 351*2^3001426-1 is not prime. Res64: 6B0AFBA37E5C8EE9 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:50:40] 399*2^3001427-1 is not prime. Res64: 3DD205959703D06D Time : 0.0 sec. user=mdettweiler [2023-03-10 14:53:28] 331*2^3001431-1 is not prime. Res64: 306E12F7F072DB40 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:53:29] 359*2^3001432-1 is not prime. Res64: 5B7B64083D31EC76 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:54:02] 393*2^3001430-1 is not prime. Res64: 99D875ED3EA421C2 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:54:17] 327*2^3001432-1 is not prime. Res64: BBB4BA4EC223D4EB Time : 0.0 sec. user=mdettweiler [2023-03-10 14:54:43] 333*2^3001430-1 is not prime. Res64: 2DC3CC3331FFF54E Time : 0.0 sec. user=mdettweiler [2023-03-10 14:56:10] 313*2^3001435-1 is not prime. Res64: C8D0709E6AEFE6C0 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:56:44] 375*2^3001437-1 is not prime. Res64: A10837C0CFB2A490 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:56:51] 393*2^3001432-1 is not prime. Res64: 89D0C814BD1BC367 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:57:51] 391*2^3001437-1 is not prime. Res64: 842773568FC25AB4 Time : 0.0 sec. user=mdettweiler [2023-03-10 14:58:01] 341*2^3001438-1 is not prime. Res64: E2371AE1FE80BA8C Time : 0.0 sec. user=mdettweiler [2023-03-10 14:58:14] 363*2^3001438-1 is not prime. Res64: 53808582225AD0CC Time : 0.0 sec. user=mdettweiler [2023-03-10 14:58:22] 327*2^3001434-1 is not prime. Res64: BD16220F9BDD0AAE Time : 0.0 sec. user=mdettweiler [2023-03-10 14:58:46] 381*2^3001437-1 is not prime. Res64: 5156C90123C3B8ED Time : 0.0 sec. user=mdettweiler [2023-03-10 14:59:59] 371*2^3001438-1 is not prime. Res64: 47B12B9C197FF39D Time : 0.0 sec. user=mdettweiler [2023-03-10 15:01:41] 393*2^3001438-1 is not prime. Res64: 7302DDB7701D16D0 Time : 0.0 sec. user=ototero [2023-03-10 15:33:48] 363*2^3001439-1 is not prime. Res64: 4141F6CBF2B2A031 Time : 0.0 sec. user=mdettweiler [2023-03-10 15:45:49] 369*2^3001439-1 is not prime. Res64: 134FC18C20CF7995 Time : 0.0 sec. user=mdettweiler [2023-03-10 15:45:54] 333*2^3001440-1 is not prime. Res64: 24CC0936A5AB09D3 Time : 0.0 sec. user=mdettweiler [2023-03-10 15:46:03] 363*2^3001440-1 is not prime. Res64: CA7BB079C944BC81 Time : 0.0 sec. user=mdettweiler [2023-03-10 15:49:27] 369*2^3001440-1 is not prime. Res64: E1A7594FDB0D6FA0 Time : 0.0 sec. user=mdettweiler [2023-03-10 15:54:33] 321*2^3001441-1 is not prime. Res64: C1FD4DE45C9E9511 Time : 0.0 sec. user=ototero [2023-03-10 16:28:20] 331*2^3001441-1 is not prime. Res64: 9B515431739A9D1B Time : 0.0 sec. user=kruoli [2023-03-10 16:46:03] 399*2^3001441-1 is not prime. Res64: FF167365483A8684 Time : 0.0 sec. user=kruoli [2023-03-10 16:48:10] 327*2^3001442-1 is not prime. Res64: 96539DCD6B675947 Time : 0.0 sec. user=kruoli [2023-03-10 16:50:02] 357*2^3001442-1 is not prime. Res64: DF771EFB82A24424 Time : 0.0 sec. user=mdettweiler [2023-03-10 16:52:10] 367*2^3001441-1 is not prime. Res64: C6619BF549D4DAD1 Time : 0.0 sec. user=kruoli [2023-03-10 16:53:48] 339*2^3001443-1 is not prime. Res64: 3521F40F7C2F53E9 Time : 0.0 sec. user=kruoli [2023-03-10 16:57:18] 349*2^3001443-1 is not prime. Res64: FEFA56EC89CA117F Time : 0.0 sec. user=kruoli [2023-03-10 17:01:00] 355*2^3001445-1 is not prime. Res64: 5C7F5C76C79DCB73 Time : 0.0 sec. user=kruoli [2023-03-10 17:01:17] 379*2^3001445-1 is not prime. Res64: FDBB13DEF7B90D2A Time : 0.0 sec. user=kruoli [2023-03-10 17:02:54] 397*2^3001445-1 is not prime. Res64: 4D23B5974275DCC0 Time : 0.0 sec. user=kruoli [2023-03-10 17:16:12] 369*2^3001447-1 is not prime. Res64: 3734B68900040BC2 Time : 0.0 sec. user=ototero [2023-03-10 17:22:40] 327*2^3001445-1 is not prime. Res64: 512F0994CA445827 Time : 0.0 sec. user=kruoli [2023-03-10 17:24:07] 399*2^3001447-1 is not prime. Res64: 02AACC6C6EA1AB3B Time : 0.0 sec. user=kruoli [2023-03-10 17:31:31] 329*2^3001448-1 is not prime. Res64: 47D50F1535A886E9 Time : 0.0 sec. user=kruoli [2023-03-10 17:32:31] 335*2^3001448-1 is not prime. Res64: 1295AB3C1BAC0969 Time : 0.0 sec. user=kruoli [2023-03-10 17:33:02] 339*2^3001448-1 is not prime. Res64: 2C8E3673E3293A66 Time : 0.0 sec. user=kruoli [2023-03-10 17:33:06] 325*2^3001449-1 is not prime. Res64: 7F5763E8562D8888 Time : 0.0 sec. user=kruoli [2023-03-10 17:35:21] 369*2^3001456-1 is not prime. Res64: 5BE0C90F9BC296E5 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:42:35] 375*2^3001449-1 is not prime. Res64: 9B425E5A20FAD4CD Time : 0.0 sec. user=kruoli [2023-03-10 17:46:14] 339*2^3001459-1 is not prime. Res64: 8EFF68DEE5F9C36F Time : 0.0 sec. user=mdettweiler [2023-03-10 17:46:50] 393*2^3001454-1 is not prime. Res64: BDCA5FE527B0E33F Time : 0.0 sec. user=mdettweiler [2023-03-10 17:47:44] 339*2^3001451-1 is not prime. Res64: FC854C7C0E69C36C Time : 0.0 sec. user=mdettweiler [2023-03-10 17:47:57] 341*2^3001454-1 is not prime. Res64: 83D93A38FF51D9FF Time : 0.0 sec. user=mdettweiler [2023-03-10 17:48:05] 357*2^3001452-1 is not prime. Res64: DC7CF38A52B6364C Time : 0.0 sec. user=mdettweiler [2023-03-10 17:48:09] 367*2^3001453-1 is not prime. Res64: FEE0A1DA96440184 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:48:23] 391*2^3001453-1 is not prime. Res64: C8FB61ED21702687 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:48:40] 327*2^3001456-1 is not prime. Res64: BE2F0D19FC647B2B Time : 0.0 sec. user=mdettweiler [2023-03-10 17:49:24] 351*2^3001453-1 is not prime. Res64: 0136679D2B1122E5 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:50:07] 375*2^3001455-1 is not prime. Res64: 96A8875553F2C5B3 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:50:22] 311*2^3001454-1 is not prime. Res64: 4008A906298B013D Time : 0.0 sec. user=kruoli [2023-03-10 17:55:09] 385*2^3001459-1 is not prime. Res64: 7421E60DE1E2140B Time : 0.0 sec. user=mdettweiler [2023-03-10 17:58:31] 397*2^3001457-1 is not prime. Res64: 2C6CB09C9F53FFB7 Time : 0.0 sec. user=mdettweiler [2023-03-10 17:59:19] 379*2^3001457-1 is not prime. Res64: 23A1650C77074189 Time : 0.0 sec. user=kruoli [2023-03-10 17:59:45] 333*2^3001460-1 is not prime. Res64: 72567FB426C074B5 Time : 0.0 sec. user=mdettweiler [2023-03-10 18:00:16] 383*2^3001456-1 is not prime. Res64: DF227A38A19025B6 Time : 0.0 sec. user=kruoli [2023-03-10 18:02:27] 319*2^3001461-1 is not prime. Res64: 042E32464423C5F4 Time : 0.0 sec. user=kruoli [2023-03-10 18:06:16] 375*2^3001461-1 is not prime. Res64: 424ED60127028081 Time : 0.0 sec. user=kruoli [2023-03-10 18:06:34] 397*2^3001461-1 is not prime. Res64: 122763A52803459B Time : 0.0 sec. user=kruoli [2023-03-10 18:07:40] 315*2^3001462-1 is not prime. Res64: A1C22591AEF77D7E Time : 0.0 sec. user=kruoli [2023-03-10 18:08:16] 387*2^3001462-1 is not prime. Res64: D28D31405FA1DD9D Time : 0.0 sec. user=kruoli [2023-03-10 18:10:04] 359*2^3001464-1 is not prime. Res64: 08329D415D8FEC1E Time : 0.0 sec. user=ototero [2023-03-10 18:17:28] 345*2^3001459-1 is not prime. Res64: 784158483328B1EF Time : 0.0 sec. user=mdettweiler [2023-03-10 18:55:15] 385*2^3001471-1 is not prime. Res64: F7DCC256C064130B Time : 0.0 sec. user=mdettweiler [2023-03-10 18:56:15] 371*2^3001470-1 is not prime. Res64: 4B6C81A68ECA3FB7 Time : 0.0 sec. user=mdettweiler [2023-03-10 18:58:10] 315*2^3001469-1 is not prime. Res64: 126EC4FDD11ABBBF Time : 0.0 sec. user=mdettweiler [2023-03-10 18:58:40] 375*2^3001467-1 is not prime. Res64: 4789AC286C3D1A8F Time : 0.0 sec. user=mdettweiler [2023-03-10 18:58:59] 325*2^3001465-1 is not prime. Res64: BF40D1EA5E7CFD4C Time : 0.0 sec. user=ototero [2023-03-10 19:12:02] 321*2^3001465-1 is not prime. Res64: 8BFBF6C86901D8FB Time : 0.0 sec. user=mdettweiler [2023-03-10 19:46:34] 335*2^3001474-1 is not prime. Res64: C55BAE175CECC312 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:46:50] 343*2^3001475-1 is not prime. Res64: 57BA7DAD69200061 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:47:28] 321*2^3001477-1 is not prime. Res64: E8F0FF0DB583343A Time : 0.0 sec. user=mdettweiler [2023-03-10 19:48:19] 369*2^3001475-1 is not prime. Res64: 3A10E96DAC71EBEC Time : 0.0 sec. user=mdettweiler [2023-03-10 19:48:55] 329*2^3001476-1 is not prime. Res64: 35B3AB752FE24F47 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:50:06] 363*2^3001478-1 is not prime. Res64: 574F3A5FCDCD83FD Time : 0.0 sec. user=mdettweiler [2023-03-10 19:51:12] 357*2^3001477-1 is not prime. Res64: 710F27A19FF5E90E Time : 0.0 sec. user=mdettweiler [2023-03-10 19:54:21] 371*2^3001482-1 is not prime. Res64: CB1D5A16EA6339ED Time : 0.0 sec. user=mdettweiler [2023-03-10 19:55:41] 355*2^3001479-1 is not prime. Res64: D6B2DF1E43CCE281 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:57:02] 371*2^3001486-1 is not prime. Res64: 7F4070D37BF291AE Time : 0.0 sec. user=mdettweiler [2023-03-10 19:57:28] 375*2^3001482-1 is not prime. Res64: F53B50EA79B24B97 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:57:35] 379*2^3001483-1 is not prime. Res64: E32D80BE87FA5B61 Time : 0.0 sec. user=mdettweiler [2023-03-10 19:59:21] 323*2^3001484-1 is not prime. Res64: 8964D22F5F3E8824 Time : 0.0 sec. user=ototero [2023-03-10 20:06:31] 339*2^3001477-1 is not prime. Res64: 3A08F2A7335BC97C Time : 0.0 sec. user=kruoli [2023-03-10 20:27:45] 391*2^3001487-1 is not prime. Res64: 40C6BF2058BE2EBD Time : 0.0 sec. user=kruoli [2023-03-10 20:27:50] 351*2^3001489-1 is not prime. Res64: 4A9D29CA1A9A8A92 Time : 0.0 sec. user=kruoli [2023-03-10 20:31:15] 385*2^3001489-1 is not prime. Res64: 5DC4613511D7371E Time : 0.0 sec. user=kruoli [2023-03-10 20:31:46] 365*2^3001490-1 is not prime. Res64: B2A678B8397C9078 Time : 0.0 sec. user=kruoli [2023-03-10 20:33:10] 381*2^3001490-1 is not prime. Res64: 172BEF8E7AD207CB Time : 0.0 sec. user=kruoli [2023-03-10 20:33:30] 375*2^3001491-1 is not prime. Res64: 8404CDFE180DC027 Time : 0.0 sec. user=kruoli [2023-03-10 20:34:46] 339*2^3001493-1 is not prime. Res64: 73A38189DC98ABE7 Time : 0.0 sec. user=kruoli [2023-03-10 20:35:45] 391*2^3001493-1 is not prime. Res64: DDA73F36665E75C4 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:49:24] 345*2^3001495-1 is not prime. Res64: 5EE86F9C450F5BC7 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:51:13] 367*2^3001497-1 is not prime. Res64: 88BE63FFBDAFE03E Time : 0.0 sec. user=mdettweiler [2023-03-10 20:51:45] 355*2^3001497-1 is not prime. Res64: 9C63A6C2E603D154 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:51:49] 357*2^3001500-1 is not prime. Res64: 8ED7A28875829901 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:52:10] 399*2^3001495-1 is not prime. Res64: D8EC4F8AD1CB1386 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:53:13] 327*2^3001500-1 is not prime. Res64: 30B35DA92F696424 Time : 0.0 sec. user=mdettweiler [2023-03-10 20:53:24] 399*2^3001500-1 is not prime. Res64: 9CE01E43815799E6 Time : 0.0 sec. user=ototero [2023-03-10 21:00:44] 333*2^3001494-1 is not prime. Res64: B44F1E7029E4A3B3 Time : 0.0 sec. user=kruoli [2023-03-10 21:10:19] 321*2^3001501-1 is not prime. Res64: 38A3AD2D7613985D Time : 0.0 sec. user=kruoli [2023-03-10 21:17:12] 351*2^3001501-1 is not prime. Res64: 54CFB47C2CCAD9D3 Time : 0.0 sec. user=kruoli [2023-03-10 21:33:14] 315*2^3001502-1 is not prime. Res64: B07024E57EAA5293 Time : 0.0 sec. user=kruoli [2023-03-10 21:36:59] 323*2^3001502-1 is not prime. Res64: 537D71403ECDF83B Time : 0.0 sec. user=kruoli [2023-03-10 21:38:12] 313*2^3001503-1 is not prime. Res64: B9D077159E83F30C Time : 0.0 sec. user=kruoli [2023-03-10 21:38:45] 315*2^3001504-1 is not prime. Res64: EF0B006BF89AFA31 Time : 0.0 sec. user=kruoli [2023-03-10 21:40:12] 359*2^3001504-1 is not prime. Res64: FD988ED33E7994B2 Time : 0.0 sec. user=kruoli [2023-03-10 21:50:59] 375*2^3001514-1 is not prime. Res64: 307CD14E4B2617AE Time : 0.0 sec. user=mdettweiler [2023-03-10 21:54:44] 373*2^3001507-1 is not prime. Res64: D70C709974B327E6 Time : 0.0 sec. user=ototero [2023-03-10 21:54:58] 355*2^3001501-1 is not prime. Res64: 1974975706902948 Time : 0.0 sec. user=mdettweiler [2023-03-10 21:55:00] 315*2^3001510-1 is not prime. Res64: 702AAC22E145427C Time : 0.0 sec. user=mdettweiler [2023-03-10 21:55:09] 361*2^3001505-1 is not prime. Res64: 2E4C70C60114AEA4 Time : 0.0 sec. user=mdettweiler [2023-03-10 21:56:46] 345*2^3001512-1 is not prime. Res64: B918002CF52E9FFC Time : 0.0 sec. user=mdettweiler [2023-03-10 21:57:12] 363*2^3001514-1 is not prime. Res64: 71D5DAE02D11D1CD Time : 0.0 sec. user=mdettweiler [2023-03-10 22:47:02] 353*2^3001516-1 is not prime. Res64: 29AA137EBB9CF7E6 Time : 0.0 sec. user=mdettweiler [2023-03-10 22:47:09] 387*2^3001516-1 is not prime. Res64: FE1005A3DE8027B0 Time : 0.0 sec. user=mdettweiler [2023-03-10 22:47:39] 321*2^3001517-1 is not prime. Res64: 4D7641FB99BC07A6 Time : 0.0 sec. user=mdettweiler [2023-03-10 22:49:03] 373*2^3001519-1 is not prime. Res64: 370C4BCEC25702CF Time : 0.0 sec. user=ototero [2023-03-10 22:49:10] 375*2^3001515-1 is not prime. Res64: 104B494DEF8A1A59 Time : 0.0 sec. user=mdettweiler [2023-03-10 22:49:27] 349*2^3001519-1 is not prime. Res64: D363A41E4CB6F634 Time : 0.0 sec. user=kruoli [2023-03-10 23:32:31] 391*2^3001519-1 is not prime. Res64: 2F9576BDA548D80F Time : 0.0 sec. user=kruoli [2023-03-10 23:35:04] 399*2^3001519-1 is not prime. Res64: 079946433CB1F6D2 Time : 0.0 sec. user=kruoli [2023-03-10 23:38:37] 323*2^3001520-1 is not prime. Res64: 95DA8BEF505800D4 Time : 0.0 sec. user=ototero [2023-03-10 23:43:24] 379*2^3001519-1 is not prime. Res64: 80DE2C082E70DE31 Time : 0.0 sec. user=kruoli [2023-03-10 23:44:20] 355*2^3001521-1 is not prime. Res64: 200BEB5BCD8BD088 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:46:18] 327*2^3001520-1 is not prime. Res64: CBE4E8362D67E0A0 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:48:18] 369*2^3001520-1 is not prime. Res64: 886ACDCE3D184C7C Time : 0.0 sec. user=kruoli [2023-03-10 23:48:56] 333*2^3001526-1 is not prime. Res64: FFE7DDFE50D36206 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:49:39] 399*2^3001520-1 is not prime. Res64: 4991A316941B95E2 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:52:08] 375*2^3001521-1 is not prime. Res64: 6E2BC675EE93B97B Time : 0.0 sec. user=kruoli [2023-03-10 23:52:26] 317*2^3001528-1 is not prime. Res64: 81311F58A922DD67 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:52:47] 351*2^3001523-1 is not prime. Res64: E6D4AF4AB559D97B Time : 0.0 sec. user=mdettweiler [2023-03-10 23:53:27] 327*2^3001524-1 is not prime. Res64: 490C3CE6ED3CCAF6 Time : 0.0 sec. user=kruoli [2023-03-10 23:53:34] 363*2^3001528-1 is not prime. Res64: 18426A42A5E4A85E Time : 0.0 sec. user=mdettweiler [2023-03-10 23:53:45] 329*2^3001524-1 is not prime. Res64: 0FDC149C59AD415B Time : 0.0 sec. user=mdettweiler [2023-03-10 23:55:05] 325*2^3001525-1 is not prime. Res64: 5B18E592A0590A33 Time : 0.0 sec. user=mdettweiler [2023-03-10 23:56:03] 335*2^3001524-1 is not prime. Res64: C50DA935EB5845EF Time : 0.0 sec.