user=mdettweiler
[2023-06-24 00:06:59]
789*2^2116248-1 is not prime.  Res64: BD515ED399CE04AC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:07:00]
815*2^2116248-1 is not prime.  Res64: 3876878A0DC80C2D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:07:27]
847*2^2116249-1 is not prime.  Res64: 4CBEB7E06DA7D299  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:07:27]
885*2^2116249-1 is not prime.  Res64: F53909D5E1FFAA1D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:10:08]
717*2^2116250-1 is not prime.  Res64: 874349146B38E9CF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:10:10]
773*2^2116250-1 is not prime.  Res64: 29F6B1485CE3BB85  Time : 0.0 sec.
user=odicin
[2023-06-24 00:10:51]
747*2^2116256-1 is not prime.  Res64: 48B942A1A8EBE29A  Time : 0.0 sec.
user=odicin
[2023-06-24 00:10:51]
813*2^2116256-1 is not prime.  Res64: 021158D012AE5FA5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:12:00]
963*2^2116242-1 is not prime.  Res64: 2BF6FAA966AE0686  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:12:01]
673*2^2116243-1 is not prime.  Res64: CD66C65E2A2A640E  Time : 0.0 sec.
user=odicin
[2023-06-24 00:12:01]
875*2^2116256-1 is not prime.  Res64: C955EB3C6BC49FCC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:12:02]
705*2^2116243-1 is not prime.  Res64: C3004653A460532A  Time : 0.0 sec.
user=odicin
[2023-06-24 00:12:02]
983*2^2116256-1 is not prime.  Res64: BFD41AC6864149E9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:12:02]
783*2^2116243-1 is not prime.  Res64: B8EDA12352AD2F66  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:12:03]
925*2^2116243-1 is not prime.  Res64: B073B6304F8EB2F4  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 00:13:33]
723*2^2116246-1 is not prime.  Res64: EA6FFCE403E169D7  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 00:14:26]
947*2^2116246-1 is not prime.  Res64: C3A469C06825F65F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:19:47]
931*2^2116249-1 is not prime.  Res64: 9E4661A560223120  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:19:49]
997*2^2116249-1 is not prime.  Res64: A344BCA8ED85FA6C  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 00:20:41]
683*2^2116248-1 is not prime.  Res64: F95CC25B0EB9D8DE  Time : 0.0 sec.
user=odicin
[2023-06-24 00:21:16]
847*2^2116257-1 is not prime.  Res64: B089A9EECDD630CC  Time : 0.0 sec.
user=odicin
[2023-06-24 00:21:17]
867*2^2116257-1 is not prime.  Res64: 01E46FB4E466CBD6  Time : 0.0 sec.
user=odicin
[2023-06-24 00:27:24]
681*2^2116258-1 is not prime.  Res64: CCE1600551C675A1  Time : 0.0 sec.
user=odicin
[2023-06-24 00:27:25]
713*2^2116258-1 is not prime.  Res64: C0829EF7510AD041  Time : 0.0 sec.
user=odicin
[2023-06-24 00:33:34]
845*2^2116258-1 is not prime.  Res64: B7F0DE9457AA1682  Time : 0.0 sec.
user=odicin
[2023-06-24 00:33:34]
857*2^2116258-1 is not prime.  Res64: 62AB7E3348451AB9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:35:03]
893*2^2116254-1 is not prime.  Res64: 273A1D77CB180476  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:35:03]
709*2^2116255-1 is not prime.  Res64: 364CDD8F4077C95A  Time : 0.0 sec.
user=kruoli
[2023-06-24 00:36:45]
741*2^2116263-1 is not prime.  Res64: 28C6F2229C444F7A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:39:53]
859*2^2116255-1 is not prime.  Res64: BDFF611ABEF68D2A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:39:53]
969*2^2116255-1 is not prime.  Res64: 6943255B4FBD1012  Time : 0.0 sec.
user=odicin
[2023-06-24 00:46:19]
975*2^2116260-1 is not prime.  Res64: CEE7C7D40BE17E58  Time : 0.0 sec.
user=odicin
[2023-06-24 00:46:20]
999*2^2116260-1 is not prime.  Res64: 42ECB02B2A90E69F  Time : 0.0 sec.
user=odicin
[2023-06-24 00:48:34]
609*2^2116261-1 is not prime.  Res64: 975F11CF51EA0003  Time : 0.0 sec.
user=odicin
[2023-06-24 00:48:34]
615*2^2116261-1 is not prime.  Res64: 1AD28537B6562C03  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:50:18]
945*2^2116257-1 is not prime.  Res64: 5B76FCE40C3ABF92  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 00:50:18]
677*2^2116258-1 is not prime.  Res64: 5218BC68C2C17C7F  Time : 0.0 sec.
user=odicin
[2023-06-24 00:57:43]
663*2^2116263-1 is not prime.  Res64: 277671AE121B2289  Time : 0.0 sec.
user=odicin
[2023-06-24 00:57:43]
691*2^2116263-1 is not prime.  Res64: E5D899BB78552169  Time : 0.0 sec.
user=kruoli
[2023-06-24 00:59:35]
627*2^2116265-1 is not prime.  Res64: 5F3FAB6BCE8B726C  Time : 0.0 sec.
user=odicin
[2023-06-24 01:04:29]
781*2^2116263-1 is not prime.  Res64: 55079232731C5040  Time : 0.0 sec.
user=odicin
[2023-06-24 01:04:31]
831*2^2116263-1 is not prime.  Res64: 5D9F1319385D2BE3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:08:50]
619*2^2116259-1 is not prime.  Res64: 1ABB412728F812E8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:08:51]
829*2^2116259-1 is not prime.  Res64: E923D24E81F395FF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:09:06]
675*2^2116260-1 is not prime.  Res64: 5BBAC277AA32C5F2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:09:06]
795*2^2116260-1 is not prime.  Res64: DDFAC6BE08E28F2F  Time : 0.0 sec.
user=odicin
[2023-06-24 01:09:22]
853*2^2116263-1 is not prime.  Res64: E862CDB3D05DE73C  Time : 0.0 sec.
user=odicin
[2023-06-24 01:09:23]
895*2^2116263-1 is not prime.  Res64: 3ADE4E238EEB79D9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:11:47]
843*2^2116260-1 is not prime.  Res64: 4FB24988210E32BA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:11:49]
899*2^2116260-1 is not prime.  Res64: 4EC25764DFD2D697  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 01:18:16]
717*2^2116257-1 is not prime.  Res64: F791293494841367  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:21:34]
945*2^2116250-1 is not prime.  Res64: B7AD60DEA0F78385  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:21:36]
981*2^2116250-1 is not prime.  Res64: 208779820599BF47  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:21:39]
711*2^2116251-1 is not prime.  Res64: 495677ED0B83B386  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:21:42]
781*2^2116251-1 is not prime.  Res64: 28769F43B5675C3F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:21:43]
895*2^2116251-1 is not prime.  Res64: EE302DCB7D344CDB  Time : 0.0 sec.
user=odicin
[2023-06-24 01:22:16]
705*2^2116265-1 is not prime.  Res64: 52D22D69461E0292  Time : 0.0 sec.
user=odicin
[2023-06-24 01:22:18]
885*2^2116265-1 is not prime.  Res64: C73BB4098E19E6B2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:23:00]
861*2^2116258-1 is not prime.  Res64: 6020FD255FFBEB39  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:23:02]
941*2^2116258-1 is not prime.  Res64: 31EA2763B689649C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:23:34]
867*2^2116262-1 is not prime.  Res64: 053FD2C77AE0CD8B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:23:36]
875*2^2116262-1 is not prime.  Res64: 9494996F01AAEC88  Time : 0.0 sec.
user=odicin
[2023-06-24 01:25:02]
641*2^2116266-1 is not prime.  Res64: 451B4D28A8D8B7C4  Time : 0.0 sec.
user=odicin
[2023-06-24 01:25:03]
683*2^2116266-1 is not prime.  Res64: 0B9AD1DD591C0FBC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:30:17]
719*2^2116252-1 is not prime.  Res64: 4C723923CB5A6A91  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:30:18]
723*2^2116252-1 is not prime.  Res64: 2C983E20F3B7B921  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:30:19]
983*2^2116252-1 is not prime.  Res64: 067EE807A10C99F4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:30:19]
657*2^2116253-1 is not prime.  Res64: 00C57EFCA78D6F2F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:30:20]
735*2^2116253-1 is not prime.  Res64: 37408D9DC8333184  Time : 0.0 sec.
user=odicin
[2023-06-24 01:34:19]
807*2^2116266-1 is not prime.  Res64: E1B1D1592CA540B6  Time : 0.0 sec.
user=odicin
[2023-06-24 01:34:20]
843*2^2116266-1 is not prime.  Res64: B328418DD0A2F008  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:36:40]
879*2^2116253-1 is not prime.  Res64: A237C51B642D08D9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:36:41]
927*2^2116253-1 is not prime.  Res64: 0DA8206222CAD2B2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:36:41]
663*2^2116254-1 is not prime.  Res64: A5C8C2325164B732  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:36:42]
681*2^2116254-1 is not prime.  Res64: 28E43B9BB6F2DE80  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:36:42]
887*2^2116254-1 is not prime.  Res64: AB7D3B7B51AA31CF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:41:27]
825*2^2116264-1 is not prime.  Res64: F541639733721FF9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:41:28]
897*2^2116264-1 is not prime.  Res64: AF2BE644E7C3AFE7  Time : 0.0 sec.
user=odicin
[2023-06-24 01:41:29]
873*2^2116266-1 is not prime.  Res64: 014F6956F7A4A7AF  Time : 0.0 sec.
user=odicin
[2023-06-24 01:41:29]
941*2^2116266-1 is not prime.  Res64: CD12DA1909E2AD0C  Time : 0.0 sec.
user=odicin
[2023-06-24 01:44:54]
673*2^2116267-1 is not prime.  Res64: 0656D814C76279AB  Time : 0.0 sec.
user=odicin
[2023-06-24 01:44:55]
829*2^2116267-1 is not prime.  Res64: D1EB77F6955FDA5A  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 01:49:35]
867*2^2116261-1 is not prime.  Res64: 2CFA383B91C81B17  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:50:11]
629*2^2116264-1 is not prime.  Res64: 16B76997F16DE86B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:50:12]
765*2^2116264-1 is not prime.  Res64: A01C8FBDA9601435  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 01:50:45]
987*2^2116261-1 is not prime.  Res64: 9A8E0EE8B51112EC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:51:56]
705*2^2116266-1 is not prime.  Res64: B7CDC8F2CE2BF43C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 01:51:56]
767*2^2116266-1 is not prime.  Res64: 215CF781C838B18C  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 01:57:02]
957*2^2116262-1 is not prime.  Res64: C2769493BB8A2B9F  Time : 0.0 sec.
user=odicin
[2023-06-24 01:57:58]
627*2^2116269-1 is not prime.  Res64: 1E27DD44901AF08B  Time : 0.0 sec.
user=odicin
[2023-06-24 01:57:59]
669*2^2116269-1 is not prime.  Res64: 6B53BC044A09572F  Time : 0.0 sec.
user=odicin
[2023-06-24 02:01:48]
663*2^2116270-1 is not prime.  Res64: FE660EF6E203D7B9  Time : 0.0 sec.
user=odicin
[2023-06-24 02:01:49]
723*2^2116270-1 is not prime.  Res64: 72E208319DD0ED14  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:10:43]
639*2^2116267-1 is not prime.  Res64: 88B6A193A5BA5026  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:10:46]
649*2^2116267-1 is not prime.  Res64: CE532E7FF8455A2B  Time : 0.0 sec.
user=odicin
[2023-06-24 02:10:59]
621*2^2116271-1 is not prime.  Res64: 7BE623B507817C04  Time : 0.0 sec.
user=odicin
[2023-06-24 02:11:00]
645*2^2116271-1 is not prime.  Res64: C9E89A4E86464CAF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:17:04]
615*2^2116267-1 is not prime.  Res64: D8CF446E820915FA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:17:05]
621*2^2116267-1 is not prime.  Res64: B3EFBF3B8AAA0965  Time : 0.0 sec.
user=odicin
[2023-06-24 02:17:58]
669*2^2116272-1 is not prime.  Res64: C84E5492C368A219  Time : 0.0 sec.
user=odicin
[2023-06-24 02:18:00]
675*2^2116272-1 is not prime.  Res64: 25ED7A8CB32FA6BE  Time : 0.0 sec.
user=odicin
[2023-06-24 02:21:08]
765*2^2116272-1 is not prime.  Res64: 9A10D9A1DB595243  Time : 0.0 sec.
user=odicin
[2023-06-24 02:21:09]
863*2^2116272-1 is not prime.  Res64: 2E252E75065C6370  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:21:19]
639*2^2116261-1 is not prime.  Res64: 1A42324AFD890038  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:21:20]
747*2^2116261-1 is not prime.  Res64: 07FCD9C5B88C01BA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:21:21]
769*2^2116261-1 is not prime.  Res64: 2E566F440EC001A5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:21:21]
801*2^2116261-1 is not prime.  Res64: F2C0010AB4DCAD71  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:21:22]
817*2^2116261-1 is not prime.  Res64: 12D1F57121A5D523  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:25:21]
979*2^2116269-1 is not prime.  Res64: ED6BAB1EACBF2379  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:25:26]
657*2^2116270-1 is not prime.  Res64: 44458A1CA622460F  Time : 0.0 sec.
user=kruoli
[2023-06-24 02:27:25]
825*2^2116276-1 is not prime.  Res64: A33ACD4568E6D4C9  Time : 0.0 sec.
user=odicin
[2023-06-24 02:34:14]
951*2^2116273-1 is not prime.  Res64: 95A6E1BE3104763E  Time : 0.0 sec.
user=odicin
[2023-06-24 02:34:14]
633*2^2116274-1 is not prime.  Res64: FE16F0F8287AD290  Time : 0.0 sec.
user=odicin
[2023-06-24 02:38:45]
953*2^2116274-1 is not prime.  Res64: 90F8340CCDD2A230  Time : 0.0 sec.
user=odicin
[2023-06-24 02:38:45]
709*2^2116275-1 is not prime.  Res64: C4F02D62B8E18D8D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:41:48]
931*2^2116267-1 is not prime.  Res64: 8B80112F0AD601A6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:41:48]
975*2^2116267-1 is not prime.  Res64: A7B933AFF7086BDF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:42:11]
907*2^2116269-1 is not prime.  Res64: CBECEC4F30B8D5F0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:42:11]
945*2^2116269-1 is not prime.  Res64: 48DAB52764B006CA  Time : 0.0 sec.
user=kruoli
[2023-06-24 02:46:40]
859*2^2116279-1 is not prime.  Res64: AEB880C3408854CD  Time : 0.0 sec.
user=odicin
[2023-06-24 02:48:05]
653*2^2116276-1 is not prime.  Res64: 571E295AB2EE1E25  Time : 0.0 sec.
user=odicin
[2023-06-24 02:48:05]
749*2^2116276-1 is not prime.  Res64: E6181A34FBA69D82  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:51:46]
615*2^2116273-1 is not prime.  Res64: 82A2853FB54CFBC4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:51:47]
651*2^2116273-1 is not prime.  Res64: CB29123A982AAEEB  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 02:52:29]
677*2^2116268-1 is not prime.  Res64: 208F4D6C57615143  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:53:30]
715*2^2116273-1 is not prime.  Res64: 574E7107391A12E0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 02:53:30]
801*2^2116273-1 is not prime.  Res64: 6E7F77E7FA9112AB  Time : 0.0 sec.
user=odicin
[2023-06-24 02:55:11]
615*2^2116277-1 is not prime.  Res64: C445E5BA3790CFA7  Time : 0.0 sec.
user=odicin
[2023-06-24 02:55:11]
675*2^2116277-1 is not prime.  Res64: 34B257A59D3A9587  Time : 0.0 sec.
user=odicin
[2023-06-24 02:56:43]
735*2^2116277-1 is not prime.  Res64: 846B8547607B46D1  Time : 0.0 sec.
user=odicin
[2023-06-24 02:56:44]
859*2^2116277-1 is not prime.  Res64: 929FD19963E06576  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:06:14]
955*2^2116271-1 is not prime.  Res64: 0B7C6532EA127742  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:06:16]
979*2^2116271-1 is not prime.  Res64: 029D6231A747B2E8  Time : 0.0 sec.
user=kruoli
[2023-06-24 03:09:42]
917*2^2116282-1 is not prime.  Res64: 72CA7DD6DAA0221E  Time : 0.0 sec.
user=odicin
[2023-06-24 03:10:21]
933*2^2116279-1 is not prime.  Res64: 9939735373CD3043  Time : 0.0 sec.
user=odicin
[2023-06-24 03:10:23]
961*2^2116279-1 is not prime.  Res64: FAA0C15641479DEC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:12:20]
723*2^2116275-1 is not prime.  Res64: F329071E62A5E807  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:12:21]
735*2^2116275-1 is not prime.  Res64: 6FD49ECA6DD4DF56  Time : 0.0 sec.
user=kruoli
[2023-06-24 03:13:19]
633*2^2116283-1 is not prime.  Res64: B40138C62E27F8D0  Time : 0.0 sec.
user=odicin
[2023-06-24 03:15:53]
699*2^2116280-1 is not prime.  Res64: 4F2C2F093C98CC38  Time : 0.0 sec.
user=odicin
[2023-06-24 03:15:53]
777*2^2116280-1 is not prime.  Res64: E6BF5F2A13214184  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 03:23:40]
879*2^2116272-1 is not prime.  Res64: 6ACCE94837F9E257  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 03:24:42]
681*2^2116273-1 is not prime.  Res64: 1B08E453770D6390  Time : 0.0 sec.
user=odicin
[2023-06-24 03:25:28]
795*2^2116281-1 is not prime.  Res64: C361242B2487087E  Time : 0.0 sec.
user=odicin
[2023-06-24 03:25:32]
807*2^2116281-1 is not prime.  Res64: D30964DFA48967A4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:29:40]
683*2^2116268-1 is not prime.  Res64: FEC9D281092D4B48  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:29:41]
743*2^2116268-1 is not prime.  Res64: C8AF9DA938089492  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:29:42]
749*2^2116268-1 is not prime.  Res64: 21324ED03475B99E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:29:44]
797*2^2116268-1 is not prime.  Res64: FC5EFD7FDA6FE143  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:29:45]
957*2^2116268-1 is not prime.  Res64: 39345DC77FAABC19  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 03:30:35]
855*2^2116273-1 is not prime.  Res64: F162AA99BC142C89  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:31:01]
927*2^2116276-1 is not prime.  Res64: 248D3367DA12E875  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:31:02]
947*2^2116276-1 is not prime.  Res64: 67BAD6C87E7FB041  Time : 0.0 sec.
user=odicin
[2023-06-24 03:32:15]
657*2^2116282-1 is not prime.  Res64: E67EE1718CD20F18  Time : 0.0 sec.
user=odicin
[2023-06-24 03:32:16]
713*2^2116282-1 is not prime.  Res64: 4F92828805E0DB0D  Time : 0.0 sec.
user=odicin
[2023-06-24 03:32:19]
951*2^2116282-1 is not prime.  Res64: CB6BF612E2A01D46  Time : 0.0 sec.
user=odicin
[2023-06-24 03:32:20]
957*2^2116282-1 is not prime.  Res64: C492DD4D34E04811  Time : 0.0 sec.
user=kruoli
[2023-06-24 03:34:50]
919*2^2116285-1 is not prime.  Res64: E93009ACAB1BFC28  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:40:10]
763*2^2116279-1 is not prime.  Res64: 6CB3A021A00D8A1A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:40:10]
843*2^2116279-1 is not prime.  Res64: 76112C6C848EC945  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:41:19]
755*2^2116270-1 is not prime.  Res64: 8D7E630A937D9B07  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:41:20]
843*2^2116270-1 is not prime.  Res64: 007D2C8D55658EBF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:41:20]
911*2^2116270-1 is not prime.  Res64: CE7DA1D1E9E31B72  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:41:21]
923*2^2116270-1 is not prime.  Res64: AEB495D3AB5AB7DF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:41:21]
1001*2^2116270-1 is not prime.  Res64: D87E958DF964AFF2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:43:50]
995*2^2116280-1 is not prime.  Res64: 6F04D3C0AB2F8899  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:43:51]
609*2^2116281-1 is not prime.  Res64: 143B97EFBA36124D  Time : 0.0 sec.
user=odicin
[2023-06-24 03:46:14]
949*2^2116283-1 is not prime.  Res64: 6E4891D19B2E9C98  Time : 0.0 sec.
user=odicin
[2023-06-24 03:46:16]
773*2^2116284-1 is not prime.  Res64: 5E4B26BE6474DC00  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:47:39]
735*2^2116271-1 is not prime.  Res64: 5FD132A87415DA93  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:47:40]
741*2^2116271-1 is not prime.  Res64: 74F273736DEC4E22  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:47:41]
813*2^2116271-1 is not prime.  Res64: AF19C050B1D5D162  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:47:42]
819*2^2116271-1 is not prime.  Res64: 8A19B853A2AF37A5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:47:43]
901*2^2116271-1 is not prime.  Res64: A3F7FC9FD6F15C98  Time : 0.0 sec.
user=kruoli
[2023-06-24 03:50:23]
825*2^2116288-1 is not prime.  Res64: 1873E2C2EF9F494C  Time : 0.0 sec.
user=odicin
[2023-06-24 03:52:45]
777*2^2116285-1 is not prime.  Res64: F928ACA1845927D5  Time : 0.0 sec.
user=odicin
[2023-06-24 03:52:47]
867*2^2116285-1 is not prime.  Res64: 0EA6B7E23F4BF969  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:53:26]
835*2^2116281-1 is not prime.  Res64: 07DF094F428F751F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:53:27]
861*2^2116281-1 is not prime.  Res64: C8BDF50CCB37C9E4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:55:07]
907*2^2116281-1 is not prime.  Res64: 63786A1C5131A568  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:55:08]
645*2^2116282-1 is not prime.  Res64: E5A9CC709D673959  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:56:28]
789*2^2116280-1 is not prime.  Res64: 3CA6552373F6AF3A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 03:56:30]
795*2^2116280-1 is not prime.  Res64: 0C5D36C3FF1A2B17  Time : 0.0 sec.
user=odicin
[2023-06-24 04:02:38]
987*2^2116285-1 is not prime.  Res64: 07DE8BBD12EC96D6  Time : 0.0 sec.
user=odicin
[2023-06-24 04:02:39]
623*2^2116286-1 is not prime.  Res64: F02AD36D135BB41F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:08:29]
771*2^2116283-1 is not prime.  Res64: 572AF2AAC8B10076  Time : 0.0 sec.
user=odicin
[2023-06-24 04:08:31]
705*2^2116288-1 is not prime.  Res64: E0CD9619B357E031  Time : 0.0 sec.
user=odicin
[2023-06-24 04:08:33]
707*2^2116288-1 is not prime.  Res64: AE06BE685245F7B0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:08:35]
945*2^2116283-1 is not prime.  Res64: AB7F873FC5BC00A2  Time : 0.0 sec.
user=odicin
[2023-06-24 04:09:07]
891*2^2116287-1 is not prime.  Res64: 104CF0C21374E3EA  Time : 0.0 sec.
user=odicin
[2023-06-24 04:09:11]
963*2^2116287-1 is not prime.  Res64: CBE4666E41EA453A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:14:03]
843*2^2116284-1 is not prime.  Res64: 8A314F7D31FA8DFD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:14:04]
729*2^2116285-1 is not prime.  Res64: BF39CD0E75060F82  Time : 0.0 sec.
user=odicin
[2023-06-24 04:22:00]
909*2^2116289-1 is not prime.  Res64: 70133B23234886FB  Time : 0.0 sec.
user=odicin
[2023-06-24 04:22:02]
925*2^2116289-1 is not prime.  Res64: 5CBCA1952A611924  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 04:28:04]
865*2^2116281-1 is not prime.  Res64: E505F2DB509D98CC  Time : 0.0 sec.
user=odicin
[2023-06-24 04:30:18]
693*2^2116291-1 is not prime.  Res64: 8CE162057085B2A9  Time : 0.0 sec.
user=odicin
[2023-06-24 04:30:19]
709*2^2116291-1 is not prime.  Res64: AA1B38F2653689D1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:37:56]
915*2^2116277-1 is not prime.  Res64: AE33B6435FF239C8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:37:56]
737*2^2116278-1 is not prime.  Res64: 84748E5D206F617B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:37:57]
821*2^2116278-1 is not prime.  Res64: 74F89B8D9E78CC61  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:37:57]
681*2^2116279-1 is not prime.  Res64: FC308235FBCD4099  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:37:58]
693*2^2116279-1 is not prime.  Res64: AC98701331AF2255  Time : 0.0 sec.
user=odicin
[2023-06-24 04:39:20]
623*2^2116292-1 is not prime.  Res64: 4FC3D0EF1568C97A  Time : 0.0 sec.
user=odicin
[2023-06-24 04:39:20]
635*2^2116292-1 is not prime.  Res64: 6021AC602245DBBB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:45:25]
787*2^2116289-1 is not prime.  Res64: 5224AF2F5F6F973C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:45:25]
811*2^2116289-1 is not prime.  Res64: A4484C2AD20DEBB3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:46:41]
861*2^2116287-1 is not prime.  Res64: CD81D2038210E5BB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:46:42]
865*2^2116287-1 is not prime.  Res64: 805D574898163B50  Time : 0.0 sec.
user=kruoli
[2023-06-24 04:48:26]
871*2^2116293-1 is not prime.  Res64: 947CE9D24014BC51  Time : 0.0 sec.
user=odicin
[2023-06-24 04:49:25]
855*2^2116292-1 is not prime.  Res64: D7B43D75CC374D3A  Time : 0.0 sec.
user=odicin
[2023-06-24 04:49:25]
977*2^2116292-1 is not prime.  Res64: 69D9FA3A39C3A2D5  Time : 0.0 sec.
user=odicin
[2023-06-24 04:50:41]
677*2^2116292-1 is not prime.  Res64: D9F5DBD55436E866  Time : 0.0 sec.
user=odicin
[2023-06-24 04:50:41]
689*2^2116292-1 is not prime.  Res64: DCFB330ACB87FFC8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:55:09]
649*2^2116291-1 is not prime.  Res64: 95044528884925B9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:55:09]
681*2^2116291-1 is not prime.  Res64: 456821E936F7C324  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:55:49]
843*2^2116288-1 is not prime.  Res64: F64F2B9159D1BC5F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 04:55:50]
897*2^2116288-1 is not prime.  Res64: 1C58EB0F21A216CF  Time : 0.0 sec.
user=odicin
[2023-06-24 04:57:44]
751*2^2116293-1 is not prime.  Res64: 8C1A5D16B7DC65BC  Time : 0.0 sec.
user=odicin
[2023-06-24 04:57:45]
759*2^2116293-1 is not prime.  Res64: 00F40F276A7F17F3  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 04:59:40]
961*2^2116285-1 is not prime.  Res64: 57263B4DCCA37C36  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 05:01:00]
981*2^2116285-1 is not prime.  Res64: A750B0DEAD00164D  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 05:06:21]
703*2^2116287-1 is not prime.  Res64: 171D0773D5E2EC67  Time : 0.0 sec.
user=odicin
[2023-06-24 05:07:28]
861*2^2116115-1 is not prime.  Res64: F96A4632417E5B7A  Time : 0.0 sec.
user=odicin
[2023-06-24 05:07:29]
781*2^2116293-1 is not prime.  Res64: 11BBE9915C2371A5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:12:01]
723*2^2116291-1 is not prime.  Res64: 2047FF45C8E99FB9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:12:01]
751*2^2116291-1 is not prime.  Res64: 0A0F621C9C77D422  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:23]
999*2^2116292-1 is not prime.  Res64: F7FB4863061BB5DC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:25]
657*2^2116293-1 is not prime.  Res64: 11673E25DC691210  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:36]
861*2^2116291-1 is not prime.  Res64: 3496C2038F4B7EC4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:39]
889*2^2116291-1 is not prime.  Res64: 95FED10D92889CC3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:40]
669*2^2116293-1 is not prime.  Res64: 704BE39BEC85352F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:15:41]
685*2^2116293-1 is not prime.  Res64: FA6E4B7C7676DF34  Time : 0.0 sec.
user=odicin
[2023-06-24 05:16:40]
947*2^2116294-1 is not prime.  Res64: 5F3BADB4C30B1344  Time : 0.0 sec.
user=odicin
[2023-06-24 05:16:41]
981*2^2116294-1 is not prime.  Res64: 3A32C4DC0D9A8A08  Time : 0.0 sec.
user=odicin
[2023-06-24 05:21:32]
609*2^2116292-1 is not prime.  Res64: 4648E777560CE6F8  Time : 0.0 sec.
user=odicin
[2023-06-24 05:24:22]
775*2^2116295-1 is not prime.  Res64: 04692ED015CAF510  Time : 0.0 sec.
user=odicin
[2023-06-24 05:24:24]
799*2^2116295-1 is not prime.  Res64: 3A57368990051E6B  Time : 0.0 sec.
user=odicin
[2023-06-24 05:27:55]
949*2^2116295-1 is not prime.  Res64: 4930FD25CFA32D9C  Time : 0.0 sec.
user=odicin
[2023-06-24 05:28:02]
635*2^2116296-1 is not prime.  Res64: 37FB960D46B8A51D  Time : 0.0 sec.
user=odicin
[2023-06-24 05:32:32]
747*2^2116297-1 is not prime.  Res64: 4CAA788C73D61890  Time : 0.0 sec.
user=odicin
[2023-06-24 05:32:33]
841*2^2116297-1 is not prime.  Res64: 5A57EADB1FBA888F  Time : 0.0 sec.
user=odicin
[2023-06-24 05:44:50]
635*2^2116298-1 is not prime.  Res64: 361FF4977229EF35  Time : 0.0 sec.
user=odicin
[2023-06-24 05:44:50]
641*2^2116298-1 is not prime.  Res64: 146FDF714F2B2898  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:46:57]
741*2^2116286-1 is not prime.  Res64: 43229C27B12D8591  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:46:58]
767*2^2116286-1 is not prime.  Res64: 8B2F2293A77CCFC6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:46:58]
825*2^2116286-1 is not prime.  Res64: DF516EC2283DF171  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:46:59]
923*2^2116286-1 is not prime.  Res64: A68B80B3B0F6491A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:46:59]
601*2^2116287-1 is not prime.  Res64: 01E783F4F258D749  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:48:19]
693*2^2116295-1 is not prime.  Res64: A9F6676AD8A120B6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:48:19]
741*2^2116295-1 is not prime.  Res64: D97F5F35DA60C7F3  Time : 0.0 sec.
user=kruoli
[2023-06-24 05:51:58]
621*2^2116301-1 is not prime.  Res64: 097F705243A3E479  Time : 0.0 sec.
user=odicin
[2023-06-24 05:53:43]
675*2^2116299-1 is not prime.  Res64: 99EB895A1446460E  Time : 0.0 sec.
user=odicin
[2023-06-24 05:53:44]
705*2^2116299-1 is not prime.  Res64: 60B616A877FDEA8A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:56:15]
905*2^2116288-1 is not prime.  Res64: FF65B744C1E0E2CE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:56:16]
909*2^2116288-1 is not prime.  Res64: 94C1386DFC1C82F4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:56:16]
999*2^2116288-1 is not prime.  Res64: 835C0EE72CFB4501  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:56:17]
631*2^2116289-1 is not prime.  Res64: AD3A537B3D2D4783  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:56:17]
691*2^2116289-1 is not prime.  Res64: 3F061813D8391FAF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:57:25]
933*2^2116296-1 is not prime.  Res64: 0AD11F5ECD0FC53E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:57:25]
661*2^2116297-1 is not prime.  Res64: 90CB775229A4DCA6  Time : 0.0 sec.
user=odicin
[2023-06-24 05:58:50]
741*2^2116299-1 is not prime.  Res64: 67D8D4CE4C5C1408  Time : 0.0 sec.
user=odicin
[2023-06-24 05:58:50]
603*2^2116300-1 is not prime.  Res64: 24FE9BA01F1712DF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:59:14]
789*2^2116296-1 is not prime.  Res64: 3028F24CABC7CAD3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 05:59:14]
857*2^2116296-1 is not prime.  Res64: A60958F70DA13C1F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:00:52]
609*2^2116295-1 is not prime.  Res64: 3A03928AAED71386  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:00:53]
643*2^2116295-1 is not prime.  Res64: 09A6BA40194B28D7  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 06:02:25]
799*2^2116115-1 is not prime.  Res64: D03F8E0FE64DAB4F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:02:35]
741*2^2116110-1 is not prime.  Res64: C4F8285B257085A3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:02:36]
957*2^2116289-1 is not prime.  Res64: 0A75A2D395F37A25  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:02:37]
633*2^2116290-1 is not prime.  Res64: B62DE10362517BF7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:02:38]
717*2^2116290-1 is not prime.  Res64: 44C9D1F63A071ABF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:02:38]
851*2^2116290-1 is not prime.  Res64: 8472C1D061880368  Time : 0.0 sec.
user=odicin
[2023-06-24 06:05:22]
813*2^2116300-1 is not prime.  Res64: 33B7CB569AB9950B  Time : 0.0 sec.
user=odicin
[2023-06-24 06:05:24]
855*2^2116300-1 is not prime.  Res64: D9039346AE81283E  Time : 0.0 sec.
user=odicin
[2023-06-24 06:06:35]
923*2^2116300-1 is not prime.  Res64: B6BA42D3AE628006  Time : 0.0 sec.
user=odicin
[2023-06-24 06:06:36]
965*2^2116300-1 is not prime.  Res64: 3EA87C0A531585D9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:13:34]
755*2^2116298-1 is not prime.  Res64: 8EA1B271E3702904  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:13:38]
771*2^2116298-1 is not prime.  Res64: 3F42DA26ECD9DC3D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:17:14]
827*2^2116298-1 is not prime.  Res64: C3CB7045920C8CFB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:17:17]
833*2^2116298-1 is not prime.  Res64: BCADF22A1AA0CB9A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:17:20]
875*2^2116298-1 is not prime.  Res64: 3DF7B93284A98088  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:17:22]
923*2^2116298-1 is not prime.  Res64: E2A99B18DC3C87F9  Time : 0.0 sec.
user=odicin
[2023-06-24 06:21:50]
741*2^2116301-1 is not prime.  Res64: 183488A8D69EA958  Time : 0.0 sec.
user=odicin
[2023-06-24 06:21:53]
757*2^2116301-1 is not prime.  Res64: 6456ECAE207BAC1C  Time : 0.0 sec.
user=odicin
[2023-06-24 06:30:47]
703*2^2116303-1 is not prime.  Res64: 085B868EA35E124C  Time : 0.0 sec.
user=odicin
[2023-06-24 06:30:48]
871*2^2116303-1 is not prime.  Res64: 8D8C796457E15B57  Time : 0.0 sec.
user=kruoli
[2023-06-24 06:32:21]
777*2^2116308-1 is not prime.  Res64: 77618A3CD9CFE9E5  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 06:32:55]
901*2^2116297-1 is not prime.  Res64: 03C4304299DFA1E2  Time : 0.0 sec.
user=odicin
[2023-06-24 06:33:08]
813*2^2116304-1 is not prime.  Res64: BC45780F445D5B7E  Time : 0.0 sec.
user=odicin
[2023-06-24 06:33:08]
993*2^2116304-1 is not prime.  Res64: EBD606B6D9D99873  Time : 0.0 sec.
user=kruoli
[2023-06-24 06:34:11]
795*2^2116308-1 is not prime.  Res64: 741D0EFFB53FE4EF  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 06:34:28]
915*2^2116297-1 is not prime.  Res64: 0F7E448722026E39  Time : 0.0 sec.
user=kruoli
[2023-06-24 06:39:55]
909*2^2116308-1 is not prime.  Res64: 969B9E77F711FD7B  Time : 0.0 sec.
user=odicin
[2023-06-24 06:40:51]
631*2^2116307-1 is not prime.  Res64: A6544374DF61F004  Time : 0.0 sec.
user=odicin
[2023-06-24 06:40:51]
685*2^2116307-1 is not prime.  Res64: DBA4D839163EABF2  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 06:41:10]
997*2^2116297-1 is not prime.  Res64: D18C511B4419DD8E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:42:29]
815*2^2116298-1 is not prime.  Res64: 065AA9C83CB130C6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:42:30]
825*2^2116298-1 is not prime.  Res64: E7A9A553D390C920  Time : 0.0 sec.
user=odicin
[2023-06-24 06:42:52]
887*2^2116306-1 is not prime.  Res64: A45693370A3D8E36  Time : 0.0 sec.
user=odicin
[2023-06-24 06:42:53]
957*2^2116306-1 is not prime.  Res64: A4EA73EBD0171C56  Time : 0.0 sec.
user=kruoli
[2023-06-24 06:46:00]
699*2^2116309-1 is not prime.  Res64: FAE4F0E26DD41611  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:47:31]
949*2^2116293-1 is not prime.  Res64: 53BF88A38C65199B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:47:31]
605*2^2116294-1 is not prime.  Res64: D7C3B71757F902FB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:47:32]
717*2^2116294-1 is not prime.  Res64: 4AD1C6CF898A835A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:47:32]
747*2^2116294-1 is not prime.  Res64: 7EFB1B5109A58171  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:47:33]
785*2^2116294-1 is not prime.  Res64: B59D954FAE4EBAE7  Time : 0.0 sec.
user=odicin
[2023-06-24 06:59:16]
825*2^2116308-1 is not prime.  Res64: 7B3E54F53E21B77B  Time : 0.0 sec.
user=odicin
[2023-06-24 06:59:16]
905*2^2116308-1 is not prime.  Res64: 1889A39B7320DC6D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:59:18]
753*2^2116304-1 is not prime.  Res64: 123D57DA7A8CE3F0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 06:59:18]
767*2^2116304-1 is not prime.  Res64: E6DB0904AAF2DB6B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:00:53]
601*2^2116305-1 is not prime.  Res64: 6A44C2454B1A02CE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:00:53]
609*2^2116305-1 is not prime.  Res64: BA2DF22568B2111A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:04:25]
675*2^2116305-1 is not prime.  Res64: 689D08E0A37B1906  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:04:27]
817*2^2116305-1 is not prime.  Res64: B36797AAD16DE620  Time : 0.0 sec.
user=odicin
[2023-06-24 07:07:33]
799*2^2116309-1 is not prime.  Res64: 1DAF13BA6CD157F3  Time : 0.0 sec.
user=odicin
[2023-06-24 07:07:34]
861*2^2116309-1 is not prime.  Res64: 864EE7B386E437E3  Time : 0.0 sec.
user=odicin
[2023-06-24 07:08:08]
975*2^2116308-1 is not prime.  Res64: B98C2DE8CB06F527  Time : 0.0 sec.
user=odicin
[2023-06-24 07:08:09]
667*2^2116309-1 is not prime.  Res64: 9FA36B617A3369F4  Time : 0.0 sec.
user=kruoli
[2023-06-24 07:13:24]
879*2^2116313-1 is not prime.  Res64: 0F1DC3D0055FF454  Time : 0.0 sec.
user=odicin
[2023-06-24 07:15:15]
931*2^2116309-1 is not prime.  Res64: 90AF6D56AD382FEB  Time : 0.0 sec.
user=odicin
[2023-06-24 07:15:16]
945*2^2116309-1 is not prime.  Res64: 0EE18438B3B02544  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:15:29]
741*2^2116307-1 is not prime.  Res64: CE69ED1A3E386E93  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:15:30]
819*2^2116307-1 is not prime.  Res64: AE88C8D29C2253F6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:15:44]
821*2^2116302-1 is not prime.  Res64: 95D7D0B65F60E6ED  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:15:45]
873*2^2116302-1 is not prime.  Res64: A0BBFEEE4D39F7AE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:18:59]
647*2^2116308-1 is not prime.  Res64: 5FDC4D524397527A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:19:01]
695*2^2116308-1 is not prime.  Res64: 8AE386AD96EC60B9  Time : 0.0 sec.
user=odicin
[2023-06-24 07:20:15]
763*2^2116311-1 is not prime.  Res64: E9D76F35C093A78E  Time : 0.0 sec.
user=odicin
[2023-06-24 07:20:17]
783*2^2116311-1 is not prime.  Res64: C2077FC7110019CF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:33:05]
879*2^2116307-1 is not prime.  Res64: 78935577D5704023  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:33:05]
901*2^2116307-1 is not prime.  Res64: F8C9C29DDE80B1EA  Time : 0.0 sec.
user=odicin
[2023-06-24 07:36:33]
903*2^2116312-1 is not prime.  Res64: 7BF746501699C666  Time : 0.0 sec.
user=odicin
[2023-06-24 07:36:34]
933*2^2116312-1 is not prime.  Res64: 05801C6020459260  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 07:37:23]
895*2^2116305-1 is not prime.  Res64: 01C09810F45729D8  Time : 0.0 sec.
user=odicin
[2023-06-24 07:42:20]
611*2^2116314-1 is not prime.  Res64: E30AAFE303135B85  Time : 0.0 sec.
user=odicin
[2023-06-24 07:42:20]
621*2^2116314-1 is not prime.  Res64: EAB1BD3CA3437418  Time : 0.0 sec.
user=odicin
[2023-06-24 07:45:41]
681*2^2116314-1 is not prime.  Res64: D20A9C72E864BF08  Time : 0.0 sec.
user=odicin
[2023-06-24 07:45:41]
683*2^2116314-1 is not prime.  Res64: 1630855881118E81  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:45:51]
741*2^2116310-1 is not prime.  Res64: 7CA742B0130A2411  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:45:51]
745*2^2116311-1 is not prime.  Res64: 889A493860CE9510  Time : 0.0 sec.
user=odicin
[2023-06-24 07:49:37]
717*2^2116314-1 is not prime.  Res64: A2EE3D608020E413  Time : 0.0 sec.
user=odicin
[2023-06-24 07:49:38]
803*2^2116314-1 is not prime.  Res64: 7780937B7E8CFDBB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:55:50]
781*2^2116301-1 is not prime.  Res64: 763E4A2D2F380A1C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:55:51]
925*2^2116301-1 is not prime.  Res64: 81CC084A45F4C4BB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:55:52]
955*2^2116301-1 is not prime.  Res64: 9BB700999A4B508A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:55:52]
705*2^2116302-1 is not prime.  Res64: 1945FBE065718418  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 07:55:53]
765*2^2116302-1 is not prime.  Res64: B9E2545698A02AB1  Time : 0.0 sec.
user=odicin
[2023-06-24 07:57:46]
1001*2^2116314-1 is not prime.  Res64: 0BE9A89F1D643AAF  Time : 0.0 sec.
user=odicin
[2023-06-24 07:57:47]
649*2^2116315-1 is not prime.  Res64: 6B97FD4E3D00F313  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:00:58]
741*2^2116313-1 is not prime.  Res64: CDAE91E1EE9B8B84  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:00:59]
847*2^2116313-1 is not prime.  Res64: 08E4F9254B62A3ED  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:05:48]
969*2^2116303-1 is not prime.  Res64: 7771905F7667AAC0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:05:49]
973*2^2116303-1 is not prime.  Res64: 4C38B36CAB2C7C8E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:05:50]
635*2^2116304-1 is not prime.  Res64: ABA699337BA59BA6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:05:50]
645*2^2116304-1 is not prime.  Res64: 50A0550CA86E3D9D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:05:51]
665*2^2116304-1 is not prime.  Res64: E6FC70B899787294  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:06:02]
949*2^2116313-1 is not prime.  Res64: E3F805170D7CA61D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:06:03]
991*2^2116313-1 is not prime.  Res64: 409457DA89502304  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 08:06:11]
759*2^2116309-1 is not prime.  Res64: E85854B779736213  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 08:07:56]
885*2^2116309-1 is not prime.  Res64: 4F476075875FCEBC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:11:06]
909*2^2116305-1 is not prime.  Res64: C67FDD627215F8A3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:11:07]
919*2^2116305-1 is not prime.  Res64: 5D13BB2F66377647  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:11:08]
623*2^2116306-1 is not prime.  Res64: E0F77021F2784022  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:11:08]
705*2^2116306-1 is not prime.  Res64: D5979898005FE5A3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:11:09]
821*2^2116306-1 is not prime.  Res64: C35D455C644F6127  Time : 0.0 sec.
user=odicin
[2023-06-24 08:13:19]
849*2^2116315-1 is not prime.  Res64: E3205A7AB538A2D9  Time : 0.0 sec.
user=odicin
[2023-06-24 08:13:21]
855*2^2116315-1 is not prime.  Res64: BD25C35CA0E828D8  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 08:14:22]
957*2^2116309-1 is not prime.  Res64: C019B2B5E9289639  Time : 0.0 sec.
user=odicin
[2023-06-24 08:16:41]
973*2^2116315-1 is not prime.  Res64: 00CE43914D714BE8  Time : 0.0 sec.
user=odicin
[2023-06-24 08:16:41]
603*2^2116316-1 is not prime.  Res64: B18609980156688C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:17:06]
885*2^2116314-1 is not prime.  Res64: E51E27E68B295552  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:17:08]
893*2^2116314-1 is not prime.  Res64: FB07F5DFE554988D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:17:25]
917*2^2116314-1 is not prime.  Res64: 72D632902762AB99  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:17:25]
921*2^2116314-1 is not prime.  Res64: 6BC376E1AAE0B03C  Time : 0.0 sec.
user=odicin
[2023-06-24 08:22:20]
623*2^2116316-1 is not prime.  Res64: 1651E47F433217FD  Time : 0.0 sec.
user=odicin
[2023-06-24 08:22:22]
647*2^2116316-1 is not prime.  Res64: 033524D9218916DD  Time : 0.0 sec.
user=odicin
[2023-06-24 08:23:49]
855*2^2116316-1 is not prime.  Res64: 5EF1F3E8DBC96BC9  Time : 0.0 sec.
user=odicin
[2023-06-24 08:23:50]
857*2^2116316-1 is not prime.  Res64: D9FEEED938A475BC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:31:55]
927*2^2116314-1 is not prime.  Res64: 5CD76417758A3F23  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:31:55]
983*2^2116314-1 is not prime.  Res64: D7DEC11B2BF322DA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:32:18]
885*2^2116313-1 is not prime.  Res64: 2155B8E5A99FDACE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:32:19]
925*2^2116313-1 is not prime.  Res64: 7015111E8EEBFEF0  Time : 0.0 sec.
user=odicin
[2023-06-24 08:34:34]
849*2^2116317-1 is not prime.  Res64: B3A15F107D429BD2  Time : 0.0 sec.
user=odicin
[2023-06-24 08:34:35]
889*2^2116317-1 is not prime.  Res64: CFA107CB51A6AC0F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:47:23]
719*2^2116316-1 is not prime.  Res64: FA9F402B080FF5AA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:47:23]
827*2^2116316-1 is not prime.  Res64: 6E9B7692BB93CB9E  Time : 0.0 sec.
user=odicin
[2023-06-24 08:50:13]
779*2^2116320-1 is not prime.  Res64: E23F703AF54C1DF9  Time : 0.0 sec.
user=odicin
[2023-06-24 08:50:13]
789*2^2116320-1 is not prime.  Res64: F44FA4EBD6B62155  Time : 0.0 sec.
user=odicin
[2023-06-24 08:50:24]
839*2^2116320-1 is not prime.  Res64: 6D9D2FA9AF59DA39  Time : 0.0 sec.
user=odicin
[2023-06-24 08:50:25]
845*2^2116320-1 is not prime.  Res64: B2CC0BC61FA46FBD  Time : 0.0 sec.
user=kruoli
[2023-06-24 08:55:08]
771*2^2116322-1 is not prime.  Res64: CBFCA9A6E7F7A50D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:56:00]
849*2^2116311-1 is not prime.  Res64: 7E3A0792ABDAD555  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:56:00]
865*2^2116311-1 is not prime.  Res64: 318E21CC0DD2FEB6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:56:01]
933*2^2116311-1 is not prime.  Res64: 17EF8479941A5AA7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:56:01]
979*2^2116311-1 is not prime.  Res64: 9C79F1490353BE4F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 08:56:02]
887*2^2116312-1 is not prime.  Res64: 78CB3F599A757CD4  Time : 0.0 sec.
user=odicin
[2023-06-24 08:57:39]
931*2^2116321-1 is not prime.  Res64: B9A43DDB87F82F40  Time : 0.0 sec.
user=odicin
[2023-06-24 08:57:39]
967*2^2116321-1 is not prime.  Res64: 0B6B63991438D581  Time : 0.0 sec.
user=odicin
[2023-06-24 08:59:29]
877*2^2116321-1 is not prime.  Res64: BFB14FF7786C665E  Time : 0.0 sec.
user=odicin
[2023-06-24 08:59:29]
909*2^2116321-1 is not prime.  Res64: 4EDAFE2061FA5DA2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:02:45]
955*2^2116317-1 is not prime.  Res64: 24034D39E293ACAB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:02:46]
657*2^2116318-1 is not prime.  Res64: 644E1341293D92C7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:07:36]
603*2^2116319-1 is not prime.  Res64: B3DD5F9BA3A27A4C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:07:37]
691*2^2116315-1 is not prime.  Res64: ED45D5322F426FDE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:07:37]
643*2^2116319-1 is not prime.  Res64: F9EF7D023478F944  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:07:38]
793*2^2116315-1 is not prime.  Res64: 270E675F3D99F0B5  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 09:08:49]
919*2^2116315-1 is not prime.  Res64: 655C54E475A8451B  Time : 0.0 sec.
user=odicin
[2023-06-24 09:11:31]
731*2^2116322-1 is not prime.  Res64: 3FE2008CE1897C78  Time : 0.0 sec.
user=odicin
[2023-06-24 09:11:32]
767*2^2116322-1 is not prime.  Res64: 58E5100DA1028FC0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:19:39]
945*2^2116320-1 is not prime.  Res64: F18AB75EC8E52E71  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:19:40]
615*2^2116321-1 is not prime.  Res64: 764E5198757599F3  Time : 0.0 sec.
user=odicin
[2023-06-24 09:24:27]
703*2^2116323-1 is not prime.  Res64: 3888B83B65FB09BD  Time : 0.0 sec.
user=odicin
[2023-06-24 09:24:28]
789*2^2116323-1 is not prime.  Res64: FFE80BE233E71EB9  Time : 0.0 sec.
user=odicin
[2023-06-24 09:27:01]
675*2^2116323-1 is not prime.  Res64: AF14B879A7480C59  Time : 0.0 sec.
user=odicin
[2023-06-24 09:27:02]
685*2^2116323-1 is not prime.  Res64: F751C43ACD1490D4  Time : 0.0 sec.
user=kruoli
[2023-06-24 09:27:33]
815*2^2116326-1 is not prime.  Res64: 120773B31461D81B  Time : 0.0 sec.
user=odicin
[2023-06-24 09:31:41]
743*2^2116324-1 is not prime.  Res64: 7B4058C3027BE9BA  Time : 0.0 sec.
user=odicin
[2023-06-24 09:31:42]
765*2^2116324-1 is not prime.  Res64: BAFA5A2794D300C5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:32:51]
849*2^2116320-1 is not prime.  Res64: 54BAC5B53B20798C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:32:51]
909*2^2116320-1 is not prime.  Res64: 3A3ECE0FCDA084CA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:33:30]
987*2^2116321-1 is not prime.  Res64: C97F0E0C62F12FE3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:33:30]
615*2^2116322-1 is not prime.  Res64: FABA7E1D14C571E2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:33:55]
633*2^2116322-1 is not prime.  Res64: 991AD68DBB9CD897  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:33:55]
683*2^2116322-1 is not prime.  Res64: DA654F16C97C3E6A  Time : 0.0 sec.
user=odicin
[2023-06-24 09:36:19]
819*2^2116324-1 is not prime.  Res64: D74F402B0B78F42E  Time : 0.0 sec.
user=odicin
[2023-06-24 09:36:19]
827*2^2116324-1 is not prime.  Res64: B814E429E9AA74FC  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 09:38:14]
669*2^2116319-1 is not prime.  Res64: 7E1622AB8D9DCFA3  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 09:39:49]
745*2^2116319-1 is not prime.  Res64: 68DF6625220D4D20  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 09:46:19]
795*2^2116320-1 is not prime.  Res64: FB722EF639824E3D  Time : 0.0 sec.
user=odicin
[2023-06-24 09:48:34]
707*2^2116326-1 is not prime.  Res64: 548665744C19C310  Time : 0.0 sec.
user=odicin
[2023-06-24 09:48:35]
713*2^2116326-1 is not prime.  Res64: 9561E26DE56210A7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:48:54]
813*2^2116322-1 is not prime.  Res64: DD963066CCC8FD56  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 09:48:54]
885*2^2116322-1 is not prime.  Res64: C5ABA2D3EF0B1DA3  Time : 0.0 sec.
user=odicin
[2023-06-24 09:58:24]
603*2^2116327-1 is not prime.  Res64: 0D9A845BBE314EF8  Time : 0.0 sec.
user=odicin
[2023-06-24 09:58:24]
609*2^2116327-1 is not prime.  Res64: EA585A2A3FE5224C  Time : 0.0 sec.
user=odicin
[2023-06-24 10:03:57]
625*2^2116327-1 is not prime.  Res64: 89CE902547AA07A1  Time : 0.0 sec.
user=odicin
[2023-06-24 10:03:59]
693*2^2116327-1 is not prime.  Res64: 6B576257F567D9E3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:04:18]
887*2^2116324-1 is not prime.  Res64: B58A964AA04A736F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:04:19]
897*2^2116324-1 is not prime.  Res64: CCC5CACA47A8304F  Time : 0.0 sec.
user=odicin
[2023-06-24 10:05:49]
759*2^2116327-1 is not prime.  Res64: BE0763049625567C  Time : 0.0 sec.
user=odicin
[2023-06-24 10:05:52]
859*2^2116327-1 is not prime.  Res64: A18EAB03B8424441  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:06:50]
867*2^2116316-1 is not prime.  Res64: 648A2679BF54317F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:06:52]
945*2^2116316-1 is not prime.  Res64: CE3638DB34134A4C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:06:53]
953*2^2116316-1 is not prime.  Res64: 8BE3919F1F5E3F04  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:06:55]
667*2^2116317-1 is not prime.  Res64: 1FF74A8F3CBEE871  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:06:56]
751*2^2116317-1 is not prime.  Res64: 9294E579D9BF5399  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:10:55]
915*2^2116325-1 is not prime.  Res64: AC14ABFFCBA214F1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:10:55]
705*2^2116326-1 is not prime.  Res64: BAC04BC994C2FA2E  Time : 0.0 sec.
user=odicin
[2023-06-24 10:13:33]
765*2^2116329-1 is not prime.  Res64: CAC918B8372BC784  Time : 0.0 sec.
user=odicin
[2023-06-24 10:13:34]
847*2^2116329-1 is not prime.  Res64: 611164DCBE48B4C3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:16:13]
857*2^2116318-1 is not prime.  Res64: E7BE8EB8E895F23A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:16:14]
863*2^2116318-1 is not prime.  Res64: 98F16980BD111C7C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:16:15]
923*2^2116318-1 is not prime.  Res64: 0FCF1364BFD1314E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:16:15]
941*2^2116318-1 is not prime.  Res64: E93FF126CFCC8446  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:16:16]
945*2^2116318-1 is not prime.  Res64: B1808501C2E16F77  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:22:30]
865*2^2116319-1 is not prime.  Res64: 0311885C4B2630FC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:22:31]
985*2^2116319-1 is not prime.  Res64: 9A5F0A4BE8149FF3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:22:32]
627*2^2116320-1 is not prime.  Res64: 5598C1AC1865D576  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:22:32]
737*2^2116320-1 is not prime.  Res64: C1BF35C6CAB53D2B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:22:33]
759*2^2116320-1 is not prime.  Res64: 436F10A3F78CDF44  Time : 0.0 sec.
user=odicin
[2023-06-24 10:25:25]
657*2^2116330-1 is not prime.  Res64: BB4A3C7F8B30FD7B  Time : 0.0 sec.
user=odicin
[2023-06-24 10:25:27]
833*2^2116330-1 is not prime.  Res64: C3BF22E69D2FB58C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:30:14]
801*2^2116325-1 is not prime.  Res64: D2398FDE495CF14B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:30:14]
871*2^2116325-1 is not prime.  Res64: 59FDE1526919CC1B  Time : 0.0 sec.
user=odicin
[2023-06-24 10:33:20]
741*2^2116331-1 is not prime.  Res64: 6288903B23FC6B87  Time : 0.0 sec.
user=odicin
[2023-06-24 10:33:21]
871*2^2116331-1 is not prime.  Res64: 79BC9AFC9B83CBBC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:34:28]
891*2^2116327-1 is not prime.  Res64: C36DD74614346831  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:34:28]
743*2^2116328-1 is not prime.  Res64: EA2A82727EEB3350  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:35:10]
845*2^2116328-1 is not prime.  Res64: 4D2790ACF5432D83  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:35:10]
879*2^2116328-1 is not prime.  Res64: 38D1BBCCFFAB389F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:35:32]
709*2^2116329-1 is not prime.  Res64: 27790067F5430DC3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:35:32]
721*2^2116329-1 is not prime.  Res64: E074D3A70C6BCBCC  Time : 0.0 sec.
user=odicin
[2023-06-24 10:40:46]
867*2^2116332-1 is not prime.  Res64: 37C6299761E3F156  Time : 0.0 sec.
user=odicin
[2023-06-24 10:40:47]
923*2^2116332-1 is not prime.  Res64: ED4F9E276AD447C3  Time : 0.0 sec.
user=odicin
[2023-06-24 10:41:05]
993*2^2116331-1 is not prime.  Res64: 09C2E17AB0BE1265  Time : 0.0 sec.
user=odicin
[2023-06-24 10:41:06]
653*2^2116332-1 is not prime.  Res64: F951EF8C1DECF382  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 10:41:19]
607*2^2116325-1 is not prime.  Res64: 23A3D1E4FA683F73  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:50:08]
825*2^2116326-1 is not prime.  Res64: 90693C3E280862B0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:50:09]
903*2^2116326-1 is not prime.  Res64: 214E99F8F99A55CE  Time : 0.0 sec.
user=odicin
[2023-06-24 10:50:17]
605*2^2116334-1 is not prime.  Res64: 04558114847C8388  Time : 0.0 sec.
user=odicin
[2023-06-24 10:50:17]
615*2^2116334-1 is not prime.  Res64: 057FE40EBD5BC729  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:50:21]
887*2^2116330-1 is not prime.  Res64: E1C4C73B48A88A2C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 10:50:22]
669*2^2116331-1 is not prime.  Res64: 63BA251FA69B057C  Time : 0.0 sec.
user=odicin
[2023-06-24 11:02:08]
873*2^2116335-1 is not prime.  Res64: 5BF2B93C137BA190  Time : 0.0 sec.
user=odicin
[2023-06-24 11:02:09]
951*2^2116335-1 is not prime.  Res64: D692552B35A6DF31  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:06:01]
973*2^2116331-1 is not prime.  Res64: 795BC530395228D5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:06:01]
991*2^2116331-1 is not prime.  Res64: 2E47A734712E9213  Time : 0.0 sec.
user=odicin
[2023-06-24 11:07:58]
991*2^2116335-1 is not prime.  Res64: F5098A2317B59993  Time : 0.0 sec.
user=odicin
[2023-06-24 11:07:59]
723*2^2116336-1 is not prime.  Res64: 9E0F4CE2CF2A5CD2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:08:23]
849*2^2116323-1 is not prime.  Res64: E9D32F62FFAFB499  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:08:24]
951*2^2116323-1 is not prime.  Res64: 81E669C2E6EE6D47  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:08:25]
961*2^2116323-1 is not prime.  Res64: B59DF97DD5D456CE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:08:26]
677*2^2116324-1 is not prime.  Res64: A0854799935CA913  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:08:27]
699*2^2116324-1 is not prime.  Res64: FB2183604F042320  Time : 0.0 sec.
user=kruoli
[2023-06-24 11:09:50]
675*2^2116340-1 is not prime.  Res64: F47F8CBD6A7688A1  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 11:10:35]
889*2^2116329-1 is not prime.  Res64: 7415CD7446D15EE3  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 11:12:24]
907*2^2116329-1 is not prime.  Res64: 3824970240BBEDB2  Time : 0.0 sec.
user=odicin
[2023-06-24 11:15:16]
1001*2^2116338-1 is not prime.  Res64: 6F043608EE9D6C5D  Time : 0.0 sec.
user=odicin
[2023-06-24 11:15:17]
601*2^2116339-1 is not prime.  Res64: D30573125A69BB07  Time : 0.0 sec.
user=odicin
[2023-06-24 11:17:49]
633*2^2116339-1 is not prime.  Res64: 549260151ED40E52  Time : 0.0 sec.
user=odicin
[2023-06-24 11:17:52]
691*2^2116339-1 is not prime.  Res64: 7EFE7080C73D6BCB  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 11:19:09]
653*2^2116330-1 is not prime.  Res64: 6B6ABF074A3B72B7  Time : 0.0 sec.
user=odicin
[2023-06-24 11:26:50]
999*2^2116339-1 is not prime.  Res64: 5EB42B29ACC77ADC  Time : 0.0 sec.
user=odicin
[2023-06-24 11:26:51]
603*2^2116340-1 is not prime.  Res64: 8618BC65B1308811  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:32:12]
937*2^2116333-1 is not prime.  Res64: C4794DEB7090FA1B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:32:13]
955*2^2116333-1 is not prime.  Res64: 06DDA0C7C01291EB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:36:38]
773*2^2116336-1 is not prime.  Res64: 2B897FEE7077639C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:36:38]
825*2^2116336-1 is not prime.  Res64: 7A7A31417E3FFAF5  Time : 0.0 sec.
user=odicin
[2023-06-24 11:38:52]
743*2^2116340-1 is not prime.  Res64: 4E652402B140DDBC  Time : 0.0 sec.
user=odicin
[2023-06-24 11:38:53]
797*2^2116340-1 is not prime.  Res64: BA740C923B85D8AE  Time : 0.0 sec.
user=odicin
[2023-06-24 11:42:56]
615*2^2116341-1 is not prime.  Res64: 60D26433845EA3D7  Time : 0.0 sec.
user=odicin
[2023-06-24 11:42:57]
621*2^2116341-1 is not prime.  Res64: FA64F8D25311C9C2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:43:30]
973*2^2116335-1 is not prime.  Res64: 407BF8CE9270B70B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:43:30]
979*2^2116335-1 is not prime.  Res64: 710A995510FFF6EC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:46:20]
843*2^2116336-1 is not prime.  Res64: 2B5761CCE0CC8F5A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:46:20]
861*2^2116337-1 is not prime.  Res64: 44BBADA81341707E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:48:49]
985*2^2116337-1 is not prime.  Res64: 1C51EF9FBB759E73  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:48:49]
815*2^2116338-1 is not prime.  Res64: C5BB9D691BBAB2C8  Time : 0.0 sec.
user=odicin
[2023-06-24 11:50:18]
755*2^2116342-1 is not prime.  Res64: D56EAD810BE3F2A1  Time : 0.0 sec.
user=kruoli
[2023-06-24 11:50:19]
651*2^2116345-1 is not prime.  Res64: 25EB5B6BE4036764  Time : 0.0 sec.
user=odicin
[2023-06-24 11:50:19]
957*2^2116342-1 is not prime.  Res64: F8FFA0622EAA6FF8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:51:57]
647*2^2116340-1 is not prime.  Res64: 7790B49924E4F545  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:51:58]
669*2^2116340-1 is not prime.  Res64: B29F6F75542AE015  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:52:22]
859*2^2116339-1 is not prime.  Res64: A23253CD292E693E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 11:52:22]
939*2^2116339-1 is not prime.  Res64: FC3BF41020D5A97E  Time : 0.0 sec.
user=odicin
[2023-06-24 11:54:27]
975*2^2116342-1 is not prime.  Res64: 8CBAD380CF9A7D5C  Time : 0.0 sec.
user=odicin
[2023-06-24 11:54:27]
661*2^2116343-1 is not prime.  Res64: B163CB85109F7153  Time : 0.0 sec.
user=odicin
[2023-06-24 12:03:44]
789*2^2116343-1 is not prime.  Res64: 88FFB95F82C33DFC  Time : 0.0 sec.
user=odicin
[2023-06-24 12:03:44]
921*2^2116343-1 is not prime.  Res64: E64015E3D1E99B31  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:08:19]
977*2^2116340-1 is not prime.  Res64: B7C4B8DFBCC8EF69  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:08:20]
999*2^2116340-1 is not prime.  Res64: DA8D03E6224B718E  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 12:13:38]
735*2^2116339-1 is not prime.  Res64: 8EB02606862A2E54  Time : 0.0 sec.
user=kruoli
[2023-06-24 12:14:14]
963*2^2116347-1 is not prime.  Res64: 7665C4F87D3E8939  Time : 0.0 sec.
user=odicin
[2023-06-24 12:15:22]
801*2^2116345-1 is not prime.  Res64: 113F30D2B4C128F2  Time : 0.0 sec.
user=odicin
[2023-06-24 12:15:24]
831*2^2116345-1 is not prime.  Res64: 2E7DC4215754D053  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:17:08]
687*2^2116333-1 is not prime.  Res64: E58252AB5A51AA08  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:17:09]
727*2^2116333-1 is not prime.  Res64: AFDDC73732C2932A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:17:10]
835*2^2116333-1 is not prime.  Res64: 29F804D3141ECAE9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:17:10]
847*2^2116333-1 is not prime.  Res64: 573DDA1718527053  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:17:11]
889*2^2116333-1 is not prime.  Res64: 3EA94C5551F69D6F  Time : 0.0 sec.
user=odicin
[2023-06-24 12:17:58]
861*2^2116345-1 is not prime.  Res64: AA25924E851FEF04  Time : 0.0 sec.
user=odicin
[2023-06-24 12:18:01]
885*2^2116345-1 is not prime.  Res64: FB9834A2C526743C  Time : 0.0 sec.
user=odicin
[2023-06-24 12:25:42]
755*2^2116346-1 is not prime.  Res64: 3EBF5146D3B95AD9  Time : 0.0 sec.
user=odicin
[2023-06-24 12:25:43]
831*2^2116346-1 is not prime.  Res64: F027CC63094A2FC2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:26:56]
677*2^2116334-1 is not prime.  Res64: 29527D8B3094B2AC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:26:57]
683*2^2116334-1 is not prime.  Res64: E2A2BC23210D6F6A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:26:58]
741*2^2116334-1 is not prime.  Res64: 27490740FA0A1731  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:26:58]
897*2^2116334-1 is not prime.  Res64: 79D5F4AF6CC78908  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:26:59]
965*2^2116334-1 is not prime.  Res64: DA3AACA5359F5361  Time : 0.0 sec.
user=odicin
[2023-06-24 12:30:45]
793*2^2116347-1 is not prime.  Res64: D17BA39B6D25CD16  Time : 0.0 sec.
user=odicin
[2023-06-24 12:30:46]
895*2^2116347-1 is not prime.  Res64: 10BB55F5B77981AE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:33:54]
981*2^2116334-1 is not prime.  Res64: 4D440F442DC1A53B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:33:54]
735*2^2116335-1 is not prime.  Res64: 565C7135850C27F1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:33:55]
741*2^2116335-1 is not prime.  Res64: 80B808A81A87149D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:33:55]
795*2^2116335-1 is not prime.  Res64: 2DBEC723D9889A04  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:33:56]
861*2^2116335-1 is not prime.  Res64: E0718B61C2A18FEC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:38:13]
661*2^2116345-1 is not prime.  Res64: 0E6312F7F8F6D695  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:38:13]
729*2^2116345-1 is not prime.  Res64: 11396B586E354652  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:40:52]
981*2^2116343-1 is not prime.  Res64: 2576D4E4F579C0DC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:40:52]
875*2^2116344-1 is not prime.  Res64: D1183E747447D066  Time : 0.0 sec.
user=kruoli
[2023-06-24 12:40:55]
739*2^2116353-1 is not prime.  Res64: 68B4244C33BE48AB  Time : 0.0 sec.
user=odicin
[2023-06-24 12:41:16]
689*2^2116348-1 is not prime.  Res64: EEBEE4C854A9863A  Time : 0.0 sec.
user=odicin
[2023-06-24 12:41:16]
797*2^2116348-1 is not prime.  Res64: D69D868D832D05D1  Time : 0.0 sec.
user=kruoli
[2023-06-24 12:42:40]
663*2^2116354-1 is not prime.  Res64: 1CF1218504A59C6D  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 12:42:43]
611*2^2116342-1 is not prime.  Res64: CBEFD33629859338  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 12:44:36]
695*2^2116342-1 is not prime.  Res64: BF2EAD7055FF3819  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:45:03]
975*2^2116345-1 is not prime.  Res64: 26D248921AEC7F2D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:45:03]
985*2^2116345-1 is not prime.  Res64: A1A8BD550F91EAA6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:50:34]
671*2^2116346-1 is not prime.  Res64: 92D37A2CC3A19AEF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:50:34]
683*2^2116346-1 is not prime.  Res64: 15443D536C444CF3  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 12:51:26]
783*2^2116343-1 is not prime.  Res64: 6A748EA02C9F9E4A  Time : 0.0 sec.
user=odicin
[2023-06-24 12:51:48]
645*2^2116349-1 is not prime.  Res64: FE37C4A382664431  Time : 0.0 sec.
user=odicin
[2023-06-24 12:51:49]
729*2^2116349-1 is not prime.  Res64: 94F4C78BEB517C34  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:54:02]
971*2^2116346-1 is not prime.  Res64: 8B344BF8E764AC83  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:54:02]
709*2^2116347-1 is not prime.  Res64: A74B3DB25DF6525E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:54:15]
603*2^2116346-1 is not prime.  Res64: 1A30FA4F1339972F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 12:54:15]
657*2^2116346-1 is not prime.  Res64: 902A6C1EF82F20BE  Time : 0.0 sec.
user=kruoli
[2023-06-24 12:54:41]
871*2^2116355-1 is not prime.  Res64: 451F710278410BDA  Time : 0.0 sec.
user=odicin
[2023-06-24 12:55:11]
713*2^2116352-1 is not prime.  Res64: BE0B3F97CF9AB3F3  Time : 0.0 sec.
user=odicin
[2023-06-24 12:55:11]
767*2^2116352-1 is not prime.  Res64: 2B30D4B75D6FCD9E  Time : 0.0 sec.
user=odicin
[2023-06-24 13:03:08]
625*2^2116353-1 is not prime.  Res64: 0298E52D8052891E  Time : 0.0 sec.
user=odicin
[2023-06-24 13:03:09]
627*2^2116353-1 is not prime.  Res64: 28DF339656439427  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:03:52]
851*2^2116346-1 is not prime.  Res64: 3F04821A956E1338  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:03:53]
923*2^2116346-1 is not prime.  Res64: 6047EFFC8CA3F33C  Time : 0.0 sec.
user=odicin
[2023-06-24 13:07:14]
783*2^2116354-1 is not prime.  Res64: 1A7C5B0DFA6CEC99  Time : 0.0 sec.
user=odicin
[2023-06-24 13:07:15]
813*2^2116354-1 is not prime.  Res64: 167FC607A4540581  Time : 0.0 sec.
user=odicin
[2023-06-24 13:18:03]
675*2^2116356-1 is not prime.  Res64: 77E470B2C11E5F2C  Time : 0.0 sec.
user=odicin
[2023-06-24 13:18:04]
693*2^2116356-1 is not prime.  Res64: C46DB46297825A3F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:19:16]
649*2^2116341-1 is not prime.  Res64: 6968249D64B46E26  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:19:19]
657*2^2116341-1 is not prime.  Res64: 504E553EC4A800C6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:19:22]
669*2^2116341-1 is not prime.  Res64: 599EB85E89EEBC5B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:19:25]
895*2^2116341-1 is not prime.  Res64: 5D632439164FFC0F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:19:27]
937*2^2116341-1 is not prime.  Res64: A8CE371F1E1A84AC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:22:34]
845*2^2116348-1 is not prime.  Res64: 60AA5C584C205BFC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:22:36]
869*2^2116348-1 is not prime.  Res64: C83FA8EE568D6219  Time : 0.0 sec.
user=odicin
[2023-06-24 13:28:16]
897*2^2116357-1 is not prime.  Res64: 3AC5A4111A257A9E  Time : 0.0 sec.
user=odicin
[2023-06-24 13:28:16]
961*2^2116357-1 is not prime.  Res64: A55C3A254F51CDC4  Time : 0.0 sec.
user=odicin
[2023-06-24 13:32:55]
935*2^2116358-1 is not prime.  Res64: 28A00108EFAA27DC  Time : 0.0 sec.
user=odicin
[2023-06-24 13:32:55]
945*2^2116358-1 is not prime.  Res64: B6220655F6A72843  Time : 0.0 sec.
user=kruoli
[2023-06-24 13:34:14]
691*2^2116361-1 is not prime.  Res64: 8879640F656E3351  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:39:48]
775*2^2116355-1 is not prime.  Res64: E1D274BCC971722D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:39:48]
799*2^2116355-1 is not prime.  Res64: E30CFDD94F318D82  Time : 0.0 sec.
user=odicin
[2023-06-24 13:41:00]
613*2^2116359-1 is not prime.  Res64: 3375926800B0E9E8  Time : 0.0 sec.
user=odicin
[2023-06-24 13:41:00]
633*2^2116359-1 is not prime.  Res64: 8E146C2CF3D88EE5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:42:23]
635*2^2116356-1 is not prime.  Res64: 03A760A6059259C6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:42:24]
639*2^2116356-1 is not prime.  Res64: 31C45D23BAFE98E8  Time : 0.0 sec.
user=odicin
[2023-06-24 13:43:52]
891*2^2116359-1 is not prime.  Res64: 9F8F93F056AC4905  Time : 0.0 sec.
user=odicin
[2023-06-24 13:43:52]
909*2^2116359-1 is not prime.  Res64: 6652DE55FA39023E  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 13:46:09]
615*2^2116349-1 is not prime.  Res64: 989AFCA897344853  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:48:10]
893*2^2116356-1 is not prime.  Res64: 03EB8AF0E3E36E73  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:48:11]
905*2^2116356-1 is not prime.  Res64: 2D22370604460016  Time : 0.0 sec.
user=odicin
[2023-06-24 13:54:45]
609*2^2116360-1 is not prime.  Res64: E24BC45F0B19781D  Time : 0.0 sec.
user=odicin
[2023-06-24 13:54:46]
759*2^2116360-1 is not prime.  Res64: BCA917DCE5D90E95  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:55:48]
791*2^2116358-1 is not prime.  Res64: 0137232615E360B5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 13:55:48]
797*2^2116358-1 is not prime.  Res64: C5E310FDB63D5BCF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:00:23]
607*2^2116357-1 is not prime.  Res64: 1432845296BF996B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:00:24]
729*2^2116357-1 is not prime.  Res64: AF4C16A58DF6621E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:01:53]
979*2^2116357-1 is not prime.  Res64: 838F13208F19458F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:01:54]
651*2^2116358-1 is not prime.  Res64: A9D1F77EB0947713  Time : 0.0 sec.
user=odicin
[2023-06-24 14:04:58]
705*2^2116362-1 is not prime.  Res64: 41BC03D4CD47F6C1  Time : 0.0 sec.
user=odicin
[2023-06-24 14:04:58]
631*2^2116363-1 is not prime.  Res64: B55F6A383AAE600E  Time : 0.0 sec.
user=odicin
[2023-06-24 14:10:06]
709*2^2116363-1 is not prime.  Res64: 7B65ABD0FB0940E3  Time : 0.0 sec.
user=odicin
[2023-06-24 14:10:07]
793*2^2116363-1 is not prime.  Res64: D8AAB17B4FDAD6C4  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 14:14:58]
765*2^2116356-1 is not prime.  Res64: CABEBAB40A4956A4  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 14:17:27]
837*2^2116356-1 is not prime.  Res64: B76660B8D1AD0B9F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:17:43]
669*2^2116359-1 is not prime.  Res64: DA90A1E3918391F1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:17:44]
843*2^2116359-1 is not prime.  Res64: 6776A53C64E12DAF  Time : 0.0 sec.
user=odicin
[2023-06-24 14:18:18]
749*2^2116364-1 is not prime.  Res64: 98E49BAA2FCB376E  Time : 0.0 sec.
user=odicin
[2023-06-24 14:18:20]
827*2^2116364-1 is not prime.  Res64: D6DF4820C4B35B16  Time : 0.0 sec.
user=odicin
[2023-06-24 14:22:21]
727*2^2116365-1 is not prime.  Res64: 621832D34767C992  Time : 0.0 sec.
user=odicin
[2023-06-24 14:22:21]
735*2^2116365-1 is not prime.  Res64: 956BCB1744BE3AC4  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 14:24:03]
747*2^2116357-1 is not prime.  Res64: 2F3DB212C16E3958  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:26:21]
711*2^2116361-1 is not prime.  Res64: AAA1D3696341A2C4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:26:21]
889*2^2116361-1 is not prime.  Res64: 5875ED261FF468A8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:28:11]
801*2^2116349-1 is not prime.  Res64: EE4558188540FBE9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:28:11]
609*2^2116351-1 is not prime.  Res64: CD2D7380EEE1DC26  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:28:12]
693*2^2116351-1 is not prime.  Res64: 458EA2B5607435E0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:28:12]
617*2^2116352-1 is not prime.  Res64: 07A64DD1770F3114  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:28:13]
657*2^2116352-1 is not prime.  Res64: D2DCCE1BE2F4F23A  Time : 0.0 sec.
user=odicin
[2023-06-24 14:33:03]
999*2^2116365-1 is not prime.  Res64: F693703656FB7632  Time : 0.0 sec.
user=odicin
[2023-06-24 14:33:03]
657*2^2116366-1 is not prime.  Res64: EDD87A99A7B4359C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:40:07]
817*2^2116353-1 is not prime.  Res64: CA7D21C51C84587E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:40:08]
891*2^2116353-1 is not prime.  Res64: 27CF60C672067E25  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:40:08]
895*2^2116353-1 is not prime.  Res64: 4CB45715A4EF3D8B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:40:09]
969*2^2116353-1 is not prime.  Res64: 563A7509AAE0E118  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:40:09]
605*2^2116354-1 is not prime.  Res64: 55B77A118E9A58D8  Time : 0.0 sec.
user=odicin
[2023-06-24 14:43:48]
609*2^2116367-1 is not prime.  Res64: 365475F723274934  Time : 0.0 sec.
user=odicin
[2023-06-24 14:43:49]
643*2^2116367-1 is not prime.  Res64: C14FE76C220E8DAF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:04]
821*2^2116354-1 is not prime.  Res64: 575A8638E838C9A2  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:05]
917*2^2116354-1 is not prime.  Res64: BA477361FCE2B9F0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:05]
987*2^2116354-1 is not prime.  Res64: A38203A05B083CBC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:06]
663*2^2116355-1 is not prime.  Res64: 49BF7F8A7DAA2D5F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:06]
675*2^2116355-1 is not prime.  Res64: 91FA15EEE0EC3807  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:35]
875*2^2116364-1 is not prime.  Res64: FA84F5E7064A6654  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:47:35]
957*2^2116364-1 is not prime.  Res64: 058A646430517201  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:50:05]
961*2^2116365-1 is not prime.  Res64: 009E1C157B1DECF0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:50:06]
975*2^2116365-1 is not prime.  Res64: F5E2040E7F465189  Time : 0.0 sec.
user=odicin
[2023-06-24 14:50:23]
693*2^2116367-1 is not prime.  Res64: E0C9296ACF679AB5  Time : 0.0 sec.
user=odicin
[2023-06-24 14:50:23]
741*2^2116367-1 is not prime.  Res64: 0619AAB59F9E5ED6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:57:25]
675*2^2116366-1 is not prime.  Res64: FAA50FC7918B0A79  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 14:57:25]
765*2^2116366-1 is not prime.  Res64: 9D85EB9711817D09  Time : 0.0 sec.
user=odicin
[2023-06-24 14:58:31]
797*2^2116368-1 is not prime.  Res64: 2ADA44EF11589A07  Time : 0.0 sec.
user=odicin
[2023-06-24 14:58:31]
849*2^2116368-1 is not prime.  Res64: B4C6527B2DE89B37  Time : 0.0 sec.
user=odicin
[2023-06-24 14:58:54]
945*2^2116368-1 is not prime.  Res64: E16D2B15A765DFE8  Time : 0.0 sec.
user=odicin
[2023-06-24 14:58:54]
959*2^2116368-1 is not prime.  Res64: DF8B1E6B54E4F3C0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:05:34]
957*2^2116366-1 is not prime.  Res64: 9CFF09C98A7DEC76  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:05:35]
987*2^2116366-1 is not prime.  Res64: 07AD19D21BC2E290  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:05:55]
785*2^2116366-1 is not prime.  Res64: 7FF739DB596AE884  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:05:55]
867*2^2116366-1 is not prime.  Res64: 22AEDF8C85B46576  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:06:03]
853*2^2116363-1 is not prime.  Res64: 4F5757203A034BEC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:06:03]
657*2^2116364-1 is not prime.  Res64: 12C98E5B97B7D993  Time : 0.0 sec.
user=odicin
[2023-06-24 15:09:36]
867*2^2116370-1 is not prime.  Res64: B736FFA2E66FE673  Time : 0.0 sec.
user=odicin
[2023-06-24 15:09:37]
893*2^2116370-1 is not prime.  Res64: 5CE0E27E32A3132E  Time : 0.0 sec.
user=kruoli
[2023-06-24 15:09:54]
757*2^2116373-1 is not prime.  Res64: 776536866CD0F4DE  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 15:19:07]
849*2^2116365-1 is not prime.  Res64: 8646FE6BC724BDFB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:19:24]
705*2^2116368-1 is not prime.  Res64: 08FF3EB4C8B9C309  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:19:24]
707*2^2116368-1 is not prime.  Res64: DDC5ACE6E19958AA  Time : 0.0 sec.
user=odicin
[2023-06-24 15:20:22]
835*2^2116371-1 is not prime.  Res64: 62B20E0B859600AF  Time : 0.0 sec.
user=odicin
[2023-06-24 15:20:22]
859*2^2116371-1 is not prime.  Res64: 456C5E942866928B  Time : 0.0 sec.
user=odicin
[2023-06-24 15:28:18]
691*2^2116373-1 is not prime.  Res64: A03008781EFC8520  Time : 0.0 sec.
user=odicin
[2023-06-24 15:28:18]
735*2^2116373-1 is not prime.  Res64: 7B95531EEDD2DD61  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:31:44]
855*2^2116360-1 is not prime.  Res64: A89B9C6A6B9443CB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:31:45]
917*2^2116360-1 is not prime.  Res64: 8895CBE36E535921  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:31:45]
615*2^2116361-1 is not prime.  Res64: 130D6515EEBBBA5C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:31:46]
637*2^2116361-1 is not prime.  Res64: 4C26802B1DA1D63E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:31:47]
657*2^2116361-1 is not prime.  Res64: 8619278573B1AF12  Time : 0.0 sec.
user=kruoli
[2023-06-24 15:34:06]
759*2^2116375-1 is not prime.  Res64: AEAE4D4F9F74E884  Time : 0.0 sec.
user=odicin
[2023-06-24 15:35:32]
663*2^2116374-1 is not prime.  Res64: 0B4C6E7A470F73BF  Time : 0.0 sec.
user=odicin
[2023-06-24 15:35:33]
671*2^2116374-1 is not prime.  Res64: 80F73E96ECB4F4EA  Time : 0.0 sec.
user=odicin
[2023-06-24 15:35:53]
957*2^2116373-1 is not prime.  Res64: 25E575B826C030D0  Time : 0.0 sec.
user=odicin
[2023-06-24 15:35:53]
611*2^2116374-1 is not prime.  Res64: 5449ACC0461A6B3D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:42:01]
705*2^2116369-1 is not prime.  Res64: DFC56E0F18F3E943  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:42:01]
771*2^2116369-1 is not prime.  Res64: 5D9656952F35F167  Time : 0.0 sec.
user=odicin
[2023-06-24 15:46:12]
971*2^2116374-1 is not prime.  Res64: FEBABDF34C5E6AA7  Time : 0.0 sec.
user=odicin
[2023-06-24 15:46:12]
993*2^2116374-1 is not prime.  Res64: F7B0A4D422EFE38A  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 15:47:10]
973*2^2116367-1 is not prime.  Res64: DA65797E106FFD81  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:49:12]
909*2^2116372-1 is not prime.  Res64: 6750A6CE6C5AFC21  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:49:13]
657*2^2116373-1 is not prime.  Res64: B17ED6233A9BC65C  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 15:49:50]
615*2^2116368-1 is not prime.  Res64: DE724A3F156D4353  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:51:38]
669*2^2116373-1 is not prime.  Res64: 2676A6FD90F6D315  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 15:51:38]
685*2^2116373-1 is not prime.  Res64: ACADD6B68DEE5871  Time : 0.0 sec.
user=kruoli
[2023-06-24 15:53:49]
871*2^2116377-1 is not prime.  Res64: F842E413851FE935  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 15:56:30]
639*2^2116369-1 is not prime.  Res64: 53550FAEF8F0D8B9  Time : 0.0 sec.
user=odicin
[2023-06-24 15:57:16]
805*2^2116375-1 is not prime.  Res64: 9C62C29A4F24DDBF  Time : 0.0 sec.
user=odicin
[2023-06-24 15:57:16]
939*2^2116375-1 is not prime.  Res64: 2D6EC5EB9C3A307B  Time : 0.0 sec.
user=kruoli
[2023-06-24 16:00:26]
773*2^2116378-1 is not prime.  Res64: 18E007A17780ED7E  Time : 0.0 sec.
user=kruoli
[2023-06-24 16:02:10]
933*2^2116378-1 is not prime.  Res64: A3C2743A9E83D396  Time : 0.0 sec.
user=odicin
[2023-06-24 16:06:33]
675*2^2116376-1 is not prime.  Res64: 33C5A704242BAADA  Time : 0.0 sec.
user=odicin
[2023-06-24 16:06:34]
785*2^2116376-1 is not prime.  Res64: D8B855432F75B57C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:07:10]
705*2^2116374-1 is not prime.  Res64: 842857C50CC1D3B9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:07:12]
711*2^2116374-1 is not prime.  Res64: F4A06756A0E1EC25  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:07:31]
765*2^2116374-1 is not prime.  Res64: 76795E54A971AB05  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:07:32]
783*2^2116374-1 is not prime.  Res64: D0A74E7B9F989372  Time : 0.0 sec.
user=kruoli
[2023-06-24 16:10:30]
993*2^2116379-1 is not prime.  Res64: 9730BDEF54C665A0  Time : 0.0 sec.
user=odicin
[2023-06-24 16:12:40]
751*2^2116377-1 is not prime.  Res64: 24058FF660733988  Time : 0.0 sec.
user=odicin
[2023-06-24 16:12:43]
819*2^2116377-1 is not prime.  Res64: D6392767FB7376A7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:12:55]
789*2^2116373-1 is not prime.  Res64: EFC6D819156CBDD0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:12:56]
889*2^2116373-1 is not prime.  Res64: 12AD649A106EB007  Time : 0.0 sec.
user=odicin
[2023-06-24 16:14:03]
837*2^2116377-1 is not prime.  Res64: 2A60B744597EA644  Time : 0.0 sec.
user=odicin
[2023-06-24 16:14:04]
865*2^2116377-1 is not prime.  Res64: EA10BEF93C0D41F8  Time : 0.0 sec.
user=odicin
[2023-06-24 16:23:13]
657*2^2116378-1 is not prime.  Res64: BF7A1BDE98BE7EB8  Time : 0.0 sec.
user=odicin
[2023-06-24 16:23:15]
695*2^2116378-1 is not prime.  Res64: 84C03416ADD63A96  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:24:00]
861*2^2116374-1 is not prime.  Res64: 0C58D5EE5886661D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:24:01]
947*2^2116374-1 is not prime.  Res64: DA9D03253F580DE9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:27:24]
645*2^2116375-1 is not prime.  Res64: 492CD2E448F92D5D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:27:25]
735*2^2116375-1 is not prime.  Res64: 9899B5CF67A1A1EB  Time : 0.0 sec.
user=odicin
[2023-06-24 16:34:12]
773*2^2116380-1 is not prime.  Res64: 076EC1371477E7E6  Time : 0.0 sec.
user=odicin
[2023-06-24 16:34:13]
777*2^2116380-1 is not prime.  Res64: DBA377916EFAFE49  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:37:32]
817*2^2116369-1 is not prime.  Res64: B3DEDB50FF5F49E9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:37:33]
641*2^2116370-1 is not prime.  Res64: 1D903B75B529D5E9  Time : 0.0 sec.
user=kruoli
[2023-06-24 16:37:34]
651*2^2116382-1 is not prime.  Res64: A42000F78E617C20  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:37:34]
735*2^2116370-1 is not prime.  Res64: A87A4808111B201A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:37:34]
797*2^2116370-1 is not prime.  Res64: D5C0DDF93C59D464  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:37:35]
801*2^2116370-1 is not prime.  Res64: F0D8384BBCF6CE45  Time : 0.0 sec.
user=odicin
[2023-06-24 16:45:19]
825*2^2116380-1 is not prime.  Res64: E3455DC41CA37F64  Time : 0.0 sec.
user=odicin
[2023-06-24 16:45:20]
625*2^2116381-1 is not prime.  Res64: C18CFC48BBF742DB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:47:48]
895*2^2116377-1 is not prime.  Res64: 9EB98ECEEBC85919  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:47:48]
603*2^2116378-1 is not prime.  Res64: CC016F557B211AFE  Time : 0.0 sec.
user=odicin
[2023-06-24 16:49:54]
871*2^2116381-1 is not prime.  Res64: 52CE430038875DAE  Time : 0.0 sec.
user=odicin
[2023-06-24 16:49:54]
889*2^2116381-1 is not prime.  Res64: 77D7DEF8F30773D3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:51:46]
945*2^2116370-1 is not prime.  Res64: 4168827E99CB8D33  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:51:46]
1001*2^2116370-1 is not prime.  Res64: 9CFD4213FDF559B0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:51:47]
651*2^2116371-1 is not prime.  Res64: 41768D522A200C8E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:51:47]
669*2^2116371-1 is not prime.  Res64: E9D601015064794B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:51:48]
783*2^2116371-1 is not prime.  Res64: 4C9E249FB9E0B79D  Time : 0.0 sec.
user=odicin
[2023-06-24 16:52:30]
999*2^2116381-1 is not prime.  Res64: 197F452063787007  Time : 0.0 sec.
user=odicin
[2023-06-24 16:52:30]
603*2^2116382-1 is not prime.  Res64: 7EEAF11EC2438177  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 16:53:35]
625*2^2116375-1 is not prime.  Res64: EBE9CE4AF9EBD3FE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:18]
873*2^2116371-1 is not prime.  Res64: DBEDCE77617ED64B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:18]
615*2^2116372-1 is not prime.  Res64: E8583781FC029A71  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:19]
629*2^2116372-1 is not prime.  Res64: 1949858B7F9FAEFC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:19]
875*2^2116372-1 is not prime.  Res64: FDB3AB9A8DE35B49  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:20]
903*2^2116372-1 is not prime.  Res64: 22DCA0A012C1F3A6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:30]
741*2^2116379-1 is not prime.  Res64: 1D4636C6BCD2994D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 16:57:30]
825*2^2116379-1 is not prime.  Res64: D02C8BE771FBEE7E  Time : 0.0 sec.
user=odicin
[2023-06-24 17:00:13]
683*2^2116382-1 is not prime.  Res64: 2E6298704EEBA7D0  Time : 0.0 sec.
user=odicin
[2023-06-24 17:00:13]
741*2^2116382-1 is not prime.  Res64: B8A80666E26794E1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:09:12]
829*2^2116381-1 is not prime.  Res64: FC8ECD7412BBE8B3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:09:13]
855*2^2116381-1 is not prime.  Res64: 70F2AFCB5C8047B3  Time : 0.0 sec.
user=odicin
[2023-06-24 17:11:15]
873*2^2116383-1 is not prime.  Res64: C6C9D3431FC5A025  Time : 0.0 sec.
user=odicin
[2023-06-24 17:11:15]
615*2^2116384-1 is not prime.  Res64: 9C0F6FA5D3584FCA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:12:25]
971*2^2116378-1 is not prime.  Res64: D16762CB7F89C34A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:12:25]
987*2^2116378-1 is not prime.  Res64: 1425D64951CF58D7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:14:34]
955*2^2116381-1 is not prime.  Res64: D07974E028B44926  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:14:37]
979*2^2116381-1 is not prime.  Res64: 38B68DC8B82229AB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:18:10]
717*2^2116381-1 is not prime.  Res64: 22CAFFE821DB7367  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:18:12]
799*2^2116381-1 is not prime.  Res64: 59062479FBF3E03F  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 17:21:22]
825*2^2116378-1 is not prime.  Res64: 16D31A0874FF0ADB  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 17:24:12]
619*2^2116379-1 is not prime.  Res64: 2AF65FCA554D385A  Time : 0.0 sec.
user=odicin
[2023-06-24 17:24:27]
717*2^2116385-1 is not prime.  Res64: 2288464494E42B88  Time : 0.0 sec.
user=odicin
[2023-06-24 17:24:30]
771*2^2116385-1 is not prime.  Res64: 9AD507EDD680FE9C  Time : 0.0 sec.
user=odicin
[2023-06-24 17:26:53]
635*2^2116386-1 is not prime.  Res64: 2210AAC7AF075331  Time : 0.0 sec.
user=odicin
[2023-06-24 17:26:57]
677*2^2116386-1 is not prime.  Res64: 4ED362DB1CD09E0C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:28:59]
613*2^2116383-1 is not prime.  Res64: 933081D0005784E9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:28:59]
693*2^2116383-1 is not prime.  Res64: 13EA22340F84DF6B  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 17:31:33]
973*2^2116379-1 is not prime.  Res64: ED5FC94A09A34D5B  Time : 0.0 sec.
user=odicin
[2023-06-24 17:31:49]
645*2^2116387-1 is not prime.  Res64: CD7FEF6099F3091F  Time : 0.0 sec.
user=odicin
[2023-06-24 17:31:49]
651*2^2116387-1 is not prime.  Res64: 2D1F9B9EE7936B87  Time : 0.0 sec.
user=odicin
[2023-06-24 17:37:14]
711*2^2116389-1 is not prime.  Res64: 9C41CE9FB0C7708E  Time : 0.0 sec.
user=odicin
[2023-06-24 17:37:15]
727*2^2116389-1 is not prime.  Res64: 82EEA61F3645EFB6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:37:50]
885*2^2116382-1 is not prime.  Res64: 3DED688E83CD47EE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:37:50]
953*2^2116382-1 is not prime.  Res64: 03A1E4EAEE7E1AC1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:42:19]
827*2^2116376-1 is not prime.  Res64: 7BF7362890656752  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:42:20]
875*2^2116376-1 is not prime.  Res64: 102B8EED51F58418  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:42:20]
945*2^2116376-1 is not prime.  Res64: AA9F4FD3820A4425  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:42:21]
651*2^2116377-1 is not prime.  Res64: 0DF3D25AB876F02D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:42:21]
727*2^2116377-1 is not prime.  Res64: 4A93A2A11F451664  Time : 0.0 sec.
user=odicin
[2023-06-24 17:48:18]
795*2^2116389-1 is not prime.  Res64: 0EA1264C19C9F926  Time : 0.0 sec.
user=odicin
[2023-06-24 17:48:18]
885*2^2116389-1 is not prime.  Res64: 7303EAA0D50BD3E6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:59:04]
789*2^2116388-1 is not prime.  Res64: CD4A2B0FE73CF118  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:59:04]
875*2^2116388-1 is not prime.  Res64: 3B242F46EB3B79DD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:59:27]
837*2^2116385-1 is not prime.  Res64: B5DDC78907B865CD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 17:59:27]
907*2^2116385-1 is not prime.  Res64: 83EF042D6A7CA0E3  Time : 0.0 sec.
user=odicin
[2023-06-24 18:02:50]
705*2^2116391-1 is not prime.  Res64: 5367477B8FA939B6  Time : 0.0 sec.
user=odicin
[2023-06-24 18:02:56]
715*2^2116391-1 is not prime.  Res64: BEA1B1DBE99F2690  Time : 0.0 sec.
user=odicin
[2023-06-24 18:04:06]
759*2^2116391-1 is not prime.  Res64: 980DDC9D8CC6CDFC  Time : 0.0 sec.
user=odicin
[2023-06-24 18:04:08]
813*2^2116391-1 is not prime.  Res64: 006025F640FD7606  Time : 0.0 sec.
user=kruoli
[2023-06-24 18:07:07]
935*2^2116394-1 is not prime.  Res64: 2556B5996952C638  Time : 0.0 sec.
user=odicin
[2023-06-24 18:09:33]
843*2^2116392-1 is not prime.  Res64: 401536EF9B5EE746  Time : 0.0 sec.
user=odicin
[2023-06-24 18:09:34]
863*2^2116392-1 is not prime.  Res64: 6EE18D8AEB2BFD28  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:11:08]
745*2^2116389-1 is not prime.  Res64: DA9C0B4AC7A8FCFA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:11:09]
787*2^2116389-1 is not prime.  Res64: 5D63CFB86D84AA37  Time : 0.0 sec.
user=odicin
[2023-06-24 18:13:45]
873*2^2116392-1 is not prime.  Res64: 76D4475AB99AB583  Time : 0.0 sec.
user=odicin
[2023-06-24 18:13:47]
929*2^2116392-1 is not prime.  Res64: 5B09783395705948  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:16:12]
665*2^2116390-1 is not prime.  Res64: FF4B95811525C0AE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:16:15]
681*2^2116390-1 is not prime.  Res64: 78842B19E6AB93FB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:20:29]
979*2^2116389-1 is not prime.  Res64: 8F09FE5FFDA9C262  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:20:29]
933*2^2116390-1 is not prime.  Res64: D038CA33F91D52F7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:20:33]
997*2^2116389-1 is not prime.  Res64: 174176154688070D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:20:35]
609*2^2116391-1 is not prime.  Res64: D45059E994DB1EE0  Time : 0.0 sec.
user=odicin
[2023-06-24 18:24:59]
773*2^2116394-1 is not prime.  Res64: 670C1036D2F0FC26  Time : 0.0 sec.
user=odicin
[2023-06-24 18:25:03]
831*2^2116394-1 is not prime.  Res64: 7A1028E8E24FA0DD  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 18:28:23]
681*2^2116387-1 is not prime.  Res64: 5852D73D51C75780  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:30:30]
973*2^2116391-1 is not prime.  Res64: 32683D18B6670EF4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:30:30]
633*2^2116392-1 is not prime.  Res64: 7BFB3123E95C9131  Time : 0.0 sec.
user=odicin
[2023-06-24 18:40:53]
781*2^2116397-1 is not prime.  Res64: DC56B05846AA1E44  Time : 0.0 sec.
user=odicin
[2023-06-24 18:40:54]
829*2^2116397-1 is not prime.  Res64: 8EE039A7D7029EA2  Time : 0.0 sec.
user=odicin
[2023-06-24 18:41:20]
783*2^2116396-1 is not prime.  Res64: 1E5148C5BD1D1247  Time : 0.0 sec.
user=odicin
[2023-06-24 18:41:20]
833*2^2116396-1 is not prime.  Res64: B8272214A728B74C  Time : 0.0 sec.
user=kruoli
[2023-06-24 18:43:31]
841*2^2116399-1 is not prime.  Res64: 6A08D2E483B9331E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:47:41]
747*2^2116384-1 is not prime.  Res64: B9F65314ABCA5468  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:47:41]
873*2^2116384-1 is not prime.  Res64: 151699F94BFC5C2F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:47:42]
923*2^2116384-1 is not prime.  Res64: A88284CF3E2A7B9E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:47:42]
669*2^2116385-1 is not prime.  Res64: 26B0FE9241849377  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:47:43]
679*2^2116385-1 is not prime.  Res64: B8784F39F046B787  Time : 0.0 sec.
user=odicin
[2023-06-24 18:48:12]
837*2^2116397-1 is not prime.  Res64: 048E6CC08F2AA798  Time : 0.0 sec.
user=odicin
[2023-06-24 18:48:12]
885*2^2116397-1 is not prime.  Res64: 7809D8ABC446CE9E  Time : 0.0 sec.
user=kruoli
[2023-06-24 18:48:30]
939*2^2116399-1 is not prime.  Res64: BC71432E8ACB6E98  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:50:11]
975*2^2116392-1 is not prime.  Res64: 0883FABF16F93459  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 18:50:11]
675*2^2116393-1 is not prime.  Res64: DD1EEB062FAEB817  Time : 0.0 sec.
user=odicin
[2023-06-24 18:50:19]
887*2^2116398-1 is not prime.  Res64: D4F51CE9170410E5  Time : 0.0 sec.
user=odicin
[2023-06-24 18:50:19]
891*2^2116398-1 is not prime.  Res64: 25620BFF7A451631  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 18:55:29]
645*2^2116391-1 is not prime.  Res64: 329950BC8D29C37F  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 18:58:25]
651*2^2116391-1 is not prime.  Res64: 1E2003EF487C70C9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:02:25]
893*2^2116386-1 is not prime.  Res64: 3F77780B53B14AA6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:02:26]
921*2^2116386-1 is not prime.  Res64: 64E974AA9419DF03  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:02:27]
941*2^2116386-1 is not prime.  Res64: 3AE5D192B772AF05  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:02:28]
603*2^2116387-1 is not prime.  Res64: 493E97CE3835844C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:02:29]
609*2^2116387-1 is not prime.  Res64: 780CFD5367E6BFE0  Time : 0.0 sec.
user=odicin
[2023-06-24 19:03:02]
729*2^2116399-1 is not prime.  Res64: 5963292871D9E4BA  Time : 0.0 sec.
user=odicin
[2023-06-24 19:03:03]
769*2^2116399-1 is not prime.  Res64: 26C2FAC4676269B8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:04:36]
679*2^2116395-1 is not prime.  Res64: 207E9711A44C47E8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:04:44]
793*2^2116395-1 is not prime.  Res64: A632A3BB8C9C32BD  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 19:05:35]
669*2^2116392-1 is not prime.  Res64: F3F4ED9BD7C615BF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:08:07]
759*2^2116387-1 is not prime.  Res64: D3C4ECFAAEE3C43D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:08:08]
775*2^2116387-1 is not prime.  Res64: 2F7D70FE501621A9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:08:08]
835*2^2116387-1 is not prime.  Res64: 204CF5D029ACFC79  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:08:09]
895*2^2116387-1 is not prime.  Res64: 5135533BAE89B606  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:08:10]
767*2^2116388-1 is not prime.  Res64: 91CA4BB112E5FE24  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:12:43]
901*2^2116397-1 is not prime.  Res64: 8C6B826A2F854D5C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:12:44]
641*2^2116398-1 is not prime.  Res64: 19E88CF77DC07196  Time : 0.0 sec.
user=odicin
[2023-06-24 19:17:40]
961*2^2116399-1 is not prime.  Res64: 69902899EB1CFF94  Time : 0.0 sec.
user=odicin
[2023-06-24 19:17:42]
969*2^2116399-1 is not prime.  Res64: 85CEEA34E87004A4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:18:32]
945*2^2116398-1 is not prime.  Res64: 1A672C925C91127A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:18:33]
963*2^2116398-1 is not prime.  Res64: 02C63AAF4D52BB31  Time : 0.0 sec.
user=odicin
[2023-06-24 19:19:03]
999*2^2116399-1 is not prime.  Res64: 95068B10247DE2FC  Time : 0.0 sec.
user=odicin
[2023-06-24 19:19:04]
615*2^2116400-1 is not prime.  Res64: D63FD60581A3F36B  Time : 0.0 sec.
user=odicin
[2023-06-24 19:25:52]
717*2^2116401-1 is not prime.  Res64: E811B9370EFE7EF2  Time : 0.0 sec.
user=odicin
[2023-06-24 19:25:55]
861*2^2116401-1 is not prime.  Res64: 7DC5F12F6418FB71  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:26:09]
619*2^2116399-1 is not prime.  Res64: C9BF1237E894804B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:26:11]
645*2^2116399-1 is not prime.  Res64: 6C28CA1A1B10E5DE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:26:28]
961*2^2116395-1 is not prime.  Res64: F8E21404537587F5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:26:30]
689*2^2116396-1 is not prime.  Res64: 36FF4F8FA381B864  Time : 0.0 sec.
user=odicin
[2023-06-24 19:27:04]
723*2^2116402-1 is not prime.  Res64: 8C2E9E2787FD69F7  Time : 0.0 sec.
user=odicin
[2023-06-24 19:27:08]
741*2^2116402-1 is not prime.  Res64: 17AB588794E44AC0  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:28:46]
649*2^2116399-1 is not prime.  Res64: 3EF8774BFB54AE1F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:28:46]
723*2^2116399-1 is not prime.  Res64: A6F7EE08592A1B44  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:32:42]
891*2^2116399-1 is not prime.  Res64: 5C989D1127435F90  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:32:42]
913*2^2116399-1 is not prime.  Res64: 4EE12C71CA355C3F  Time : 0.0 sec.
user=odicin
[2023-06-24 19:39:59]
663*2^2116403-1 is not prime.  Res64: A3BF705B2287FD0E  Time : 0.0 sec.
user=odicin
[2023-06-24 19:39:59]
715*2^2116403-1 is not prime.  Res64: C1C990EF5DC6EB5C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:52:51]
691*2^2116393-1 is not prime.  Res64: 310EB0A52CFDCCEE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:52:51]
715*2^2116393-1 is not prime.  Res64: FCF7338CDE12B652  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:52:52]
765*2^2116393-1 is not prime.  Res64: BBCFEFAC63AE1790  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:52:52]
801*2^2116393-1 is not prime.  Res64: 5E90502FE8F27735  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 19:52:53]
641*2^2116394-1 is not prime.  Res64: AE2A88EA92BCEF55  Time : 0.0 sec.
user=odicin
[2023-06-24 19:54:20]
759*2^2116404-1 is not prime.  Res64: DAD8AD4D7D22B9EB  Time : 0.0 sec.
user=odicin
[2023-06-24 19:54:21]
765*2^2116404-1 is not prime.  Res64: F1BFF9C5686D4F93  Time : 0.0 sec.
user=odicin
[2023-06-24 19:56:24]
819*2^2116405-1 is not prime.  Res64: B59ABA63A3B3C542  Time : 0.0 sec.
user=odicin
[2023-06-24 19:56:25]
867*2^2116405-1 is not prime.  Res64: 2E245E5284647BCA  Time : 0.0 sec.
user=odicin
[2023-06-24 20:03:26]
939*2^2116405-1 is not prime.  Res64: A3C01C0061198C96  Time : 0.0 sec.
user=odicin
[2023-06-24 20:03:27]
951*2^2116405-1 is not prime.  Res64: 1C26157C9BCA39EF  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 20:03:33]
793*2^2116399-1 is not prime.  Res64: F090DE0EC8F0E07A  Time : 0.0 sec.
user=odicin
[2023-06-24 20:03:46]
693*2^2116406-1 is not prime.  Res64: 2DB1624CA0C83E3C  Time : 0.0 sec.
user=odicin
[2023-06-24 20:03:49]
707*2^2116406-1 is not prime.  Res64: F29DED77FA4CB402  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:04:11]
867*2^2116401-1 is not prime.  Res64: 58B61833A2DFB5C3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:04:13]
951*2^2116401-1 is not prime.  Res64: 130EB55EE9FE067D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:06:40]
735*2^2116403-1 is not prime.  Res64: 0341C333362926D9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:06:42]
811*2^2116403-1 is not prime.  Res64: DA7F1A52C9267ED8  Time : 0.0 sec.
user=odicin
[2023-06-24 20:16:40]
981*2^2116406-1 is not prime.  Res64: 2D80E68A9E96E4D3  Time : 0.0 sec.
user=odicin
[2023-06-24 20:16:42]
619*2^2116407-1 is not prime.  Res64: 609DCD5F5DC6DFBF  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:28:16]
707*2^2116404-1 is not prime.  Res64: 31AD4F68DEB1C4B9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:28:19]
753*2^2116404-1 is not prime.  Res64: 1777C50A9F548EFD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:28:19]
617*2^2116406-1 is not prime.  Res64: 64DA97DF54FD7007  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:28:19]
675*2^2116406-1 is not prime.  Res64: B024458CF45B4016  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:29:32]
771*2^2116405-1 is not prime.  Res64: 5110E82B18755A92  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:29:33]
817*2^2116405-1 is not prime.  Res64: FB8F2D8857091CDD  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 20:30:13]
755*2^2116402-1 is not prime.  Res64: 83B340656E1C9303  Time : 0.0 sec.
user=odicin
[2023-06-24 20:31:04]
677*2^2116408-1 is not prime.  Res64: 7BF77BD8DD9C02F7  Time : 0.0 sec.
user=odicin
[2023-06-24 20:31:05]
849*2^2116408-1 is not prime.  Res64: 7B3F6BB5D9DC0812  Time : 0.0 sec.
user=odicin
[2023-06-24 20:31:06]
885*2^2116403-1 is not prime.  Res64: EAEC214ADA1682D7  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 20:33:02]
791*2^2116402-1 is not prime.  Res64: F39499946503DD0C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:34:18]
911*2^2116406-1 is not prime.  Res64: 99F081ECE5E12851  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:34:19]
923*2^2116406-1 is not prime.  Res64: 5235C4E07C1A7F8B  Time : 0.0 sec.
user=odicin
[2023-06-24 20:35:32]
875*2^2116408-1 is not prime.  Res64: 4526CBA8D014817A  Time : 0.0 sec.
user=odicin
[2023-06-24 20:35:32]
887*2^2116408-1 is not prime.  Res64: A2E7FBE83A44F292  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 20:40:20]
949*2^2116403-1 is not prime.  Res64: 1195B6234DAA4872  Time : 0.0 sec.
user=odicin
[2023-06-24 20:40:35]
847*2^2116409-1 is not prime.  Res64: 78C5A7989C5BC90C  Time : 0.0 sec.
user=odicin
[2023-06-24 20:40:35]
955*2^2116409-1 is not prime.  Res64: C561382BBBDAAA7B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:41:44]
975*2^2116405-1 is not prime.  Res64: A5D1DEDF1792CD51  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:41:44]
999*2^2116405-1 is not prime.  Res64: 0457D9C228C2CB2E  Time : 0.0 sec.
user=odicin
[2023-06-24 20:43:06]
995*2^2116408-1 is not prime.  Res64: AC3AA2B40A96E539  Time : 0.0 sec.
user=odicin
[2023-06-24 20:43:06]
721*2^2116409-1 is not prime.  Res64: 006E1563D24F716C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:43:42]
761*2^2116406-1 is not prime.  Res64: 5C35A4330A0E0DF3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:43:42]
825*2^2116406-1 is not prime.  Res64: C8A0CAB5661F16AE  Time : 0.0 sec.
user=odicin
[2023-06-24 20:53:26]
891*2^2116410-1 is not prime.  Res64: 5F95E2C34BC80DD5  Time : 0.0 sec.
user=odicin
[2023-06-24 20:53:26]
1001*2^2116410-1 is not prime.  Res64: ED780304751ADB3D  Time : 0.0 sec.
user=kruoli
[2023-06-24 20:53:59]
971*2^2116414-1 is not prime.  Res64: FD65617425AEEA1E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:58:58]
659*2^2116400-1 is not prime.  Res64: 98FE45CA051432EC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:58:58]
825*2^2116400-1 is not prime.  Res64: 990840920C83AE23  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:58:59]
839*2^2116400-1 is not prime.  Res64: AB11002B48328F8B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:58:59]
959*2^2116400-1 is not prime.  Res64: D9DFC4B794C05172  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 20:59:00]
709*2^2116401-1 is not prime.  Res64: 8669DAAC75626651  Time : 0.0 sec.
user=odicin
[2023-06-24 21:07:42]
837*2^2116413-1 is not prime.  Res64: DEC17F6D41E644FE  Time : 0.0 sec.
user=odicin
[2023-06-24 21:07:44]
901*2^2116413-1 is not prime.  Res64: BABF9CA5E4FC4EF7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:09:22]
797*2^2116410-1 is not prime.  Res64: 867FA4C23F00068C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:09:23]
861*2^2116410-1 is not prime.  Res64: A2A7B55B0695C989  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:09:52]
651*2^2116410-1 is not prime.  Res64: 86FAF69CCC2FF84C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:09:52]
783*2^2116410-1 is not prime.  Res64: 2BA89F516D60112B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:13:37]
803*2^2116402-1 is not prime.  Res64: B1DB87EB6BB61EE6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:13:38]
825*2^2116402-1 is not prime.  Res64: 015CA800F8E571DD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:13:39]
885*2^2116402-1 is not prime.  Res64: 0D70F947644FC41F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:13:40]
987*2^2116402-1 is not prime.  Res64: EEDB6B0E3C2F4EAA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:13:41]
1001*2^2116402-1 is not prime.  Res64: 8229824DC8AEC5F8  Time : 0.0 sec.
user=odicin
[2023-06-24 21:14:17]
755*2^2116414-1 is not prime.  Res64: D1E75E3E90E2EDD4  Time : 0.0 sec.
user=odicin
[2023-06-24 21:14:19]
863*2^2116414-1 is not prime.  Res64: 2EDB557A397A49A2  Time : 0.0 sec.
user=kruoli
[2023-06-24 21:15:20]
771*2^2116417-1 is not prime.  Res64: 17E92D314777C94B  Time : 0.0 sec.
user=odicin
[2023-06-24 21:16:53]
705*2^2116415-1 is not prime.  Res64: 4C955F36C65E204E  Time : 0.0 sec.
user=odicin
[2023-06-24 21:16:54]
759*2^2116415-1 is not prime.  Res64: 222FAC90A0409742  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:19:42]
993*2^2116403-1 is not prime.  Res64: 814CD23B2E395E76  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:19:43]
605*2^2116404-1 is not prime.  Res64: DA6A6E4CDABB043A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:19:44]
629*2^2116404-1 is not prime.  Res64: 59C476C6A16DC856  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:19:45]
665*2^2116404-1 is not prime.  Res64: 41E0FF5AB6796BF9  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:19:46]
693*2^2116404-1 is not prime.  Res64: 56501017DB2057A2  Time : 0.0 sec.
user=odicin
[2023-06-24 21:21:55]
861*2^2116415-1 is not prime.  Res64: B4B398AE7222382F  Time : 0.0 sec.
user=odicin
[2023-06-24 21:21:56]
985*2^2116415-1 is not prime.  Res64: 8D57BE4D4DF31004  Time : 0.0 sec.
user=odicin
[2023-06-24 21:29:46]
707*2^2116416-1 is not prime.  Res64: 174E2B2B6B21096D  Time : 0.0 sec.
user=odicin
[2023-06-24 21:29:46]
875*2^2116416-1 is not prime.  Res64: 2ADAC69858C487B4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:31:06]
749*2^2116412-1 is not prime.  Res64: 151987B74C20FDD8  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:31:07]
767*2^2116412-1 is not prime.  Res64: 54824CB0DA3ED9B6  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:34:18]
835*2^2116411-1 is not prime.  Res64: 86F70CBB5D339B25  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:34:18]
841*2^2116411-1 is not prime.  Res64: 0B168CFBB5A23462  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 21:39:01]
771*2^2116409-1 is not prime.  Res64: F471626952B6EF53  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:40:49]
675*2^2116414-1 is not prime.  Res64: DDC07BED174B60FC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:40:49]
681*2^2116414-1 is not prime.  Res64: 0C1BF68F06B45F1C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:43:12]
805*2^2116415-1 is not prime.  Res64: 1317E5F64CB5654C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:43:13]
819*2^2116415-1 is not prime.  Res64: B86F171F139B2F9B  Time : 0.0 sec.
user=kruoli
[2023-06-24 21:43:19]
909*2^2116420-1 is not prime.  Res64: E1F6B7E129B26308  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:43:23]
771*2^2116411-1 is not prime.  Res64: 323E730EC01ADEAB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:43:24]
789*2^2116411-1 is not prime.  Res64: 91AB1140D30A7BAE  Time : 0.0 sec.
user=odicin
[2023-06-24 21:45:23]
915*2^2116417-1 is not prime.  Res64: 82114643C332E903  Time : 0.0 sec.
user=odicin
[2023-06-24 21:45:24]
955*2^2116417-1 is not prime.  Res64: 1BF240B4723EB2C3  Time : 0.0 sec.
user=odicin
[2023-06-24 21:51:53]
619*2^2116419-1 is not prime.  Res64: 29931333C729890B  Time : 0.0 sec.
user=odicin
[2023-06-24 21:51:53]
649*2^2116419-1 is not prime.  Res64: EC55266EA95B1E2E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:52:14]
633*2^2116416-1 is not prime.  Res64: 0F833FE748E0B974  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 21:52:14]
683*2^2116416-1 is not prime.  Res64: B8B0A8777DD8EAFC  Time : 0.0 sec.
user=odicin
[2023-06-24 21:53:10]
741*2^2116419-1 is not prime.  Res64: 3262EF25026A6F25  Time : 0.0 sec.
user=odicin
[2023-06-24 21:53:11]
751*2^2116419-1 is not prime.  Res64: 4BC0B8C617D62B4D  Time : 0.0 sec.
user=kruoli
[2023-06-24 21:56:50]
987*2^2116421-1 is not prime.  Res64: C1059A4A8B35BE66  Time : 0.0 sec.
user=odicin
[2023-06-24 21:59:50]
873*2^2116420-1 is not prime.  Res64: F443E22A6505DB6D  Time : 0.0 sec.
user=odicin
[2023-06-24 21:59:51]
899*2^2116420-1 is not prime.  Res64: FAC1F434C5EC6F53  Time : 0.0 sec.
user=kruoli
[2023-06-24 22:01:17]
1001*2^2116422-1 is not prime.  Res64: 6B3D6FFF4DDACF4B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:04:50]
633*2^2116407-1 is not prime.  Res64: 0C1101268C352B18  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:04:52]
651*2^2116407-1 is not prime.  Res64: 8099EEDEDE6BEF84  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:04:53]
685*2^2116407-1 is not prime.  Res64: C2169CD619A03B4A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:04:54]
781*2^2116407-1 is not prime.  Res64: 4C790A8F1C429F03  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:04:55]
949*2^2116407-1 is not prime.  Res64: DE3CD94BBD28BC88  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 22:05:36]
795*2^2116413-1 is not prime.  Res64: 10A73294719F48D4  Time : 0.0 sec.
user=odicin
[2023-06-24 22:06:13]
651*2^2116421-1 is not prime.  Res64: 556D903EAC9D271A  Time : 0.0 sec.
user=odicin
[2023-06-24 22:06:14]
825*2^2116421-1 is not prime.  Res64: E93C925725A5C38D  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 22:08:30]
657*2^2116414-1 is not prime.  Res64: 4A5F3B59B77DCF7E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:11:00]
957*2^2116417-1 is not prime.  Res64: 26C0652E3BC3FF8C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:11:02]
797*2^2116418-1 is not prime.  Res64: C2DE0F25B5337007  Time : 0.0 sec.
user=kruoli
[2023-06-24 22:13:06]
709*2^2116425-1 is not prime.  Res64: E2372A7C1270F47D  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 22:15:30]
673*2^2116415-1 is not prime.  Res64: F1C4AF4960B299D7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:17:16]
813*2^2116418-1 is not prime.  Res64: 2E6591F0E41D9441  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:17:17]
827*2^2116418-1 is not prime.  Res64: E791D2077655EDCD  Time : 0.0 sec.
user=odicin
[2023-06-24 22:22:10]
815*2^2116422-1 is not prime.  Res64: 005358C40417B95C  Time : 0.0 sec.
user=odicin
[2023-06-24 22:22:11]
863*2^2116422-1 is not prime.  Res64: 0FE8F12D11C6791E  Time : 0.0 sec.
user=odicin
[2023-06-24 22:29:39]
659*2^2116424-1 is not prime.  Res64: F55E1763DE97E91E  Time : 0.0 sec.
user=odicin
[2023-06-24 22:29:39]
663*2^2116424-1 is not prime.  Res64: 4134D55C72EE6E0A  Time : 0.0 sec.
user=odicin
[2023-06-24 22:30:53]
901*2^2116423-1 is not prime.  Res64: D989964E31754937  Time : 0.0 sec.
user=odicin
[2023-06-24 22:30:54]
919*2^2116423-1 is not prime.  Res64: 80D67374D6550A00  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:32:45]
837*2^2116421-1 is not prime.  Res64: 210EF405ABE60410  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:32:45]
859*2^2116421-1 is not prime.  Res64: C5B118F48A0319CF  Time : 0.0 sec.
user=odicin
[2023-06-24 22:38:31]
741*2^2116425-1 is not prime.  Res64: D3A266A0F23E6B1E  Time : 0.0 sec.
user=odicin
[2023-06-24 22:38:32]
777*2^2116425-1 is not prime.  Res64: 1412F9EC43544E3F  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:38:56]
865*2^2116421-1 is not prime.  Res64: 6FE137170A2B215B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:38:56]
871*2^2116421-1 is not prime.  Res64: BDB4A628FCE558ED  Time : 0.0 sec.
user=odicin
[2023-06-24 22:42:45]
945*2^2116426-1 is not prime.  Res64: FDFC25C5353D8B49  Time : 0.0 sec.
user=odicin
[2023-06-24 22:42:46]
947*2^2116426-1 is not prime.  Res64: AE9ECFC1F90ABFCE  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:45:57]
755*2^2116422-1 is not prime.  Res64: 45320925D1AC76E5  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:45:57]
801*2^2116422-1 is not prime.  Res64: 247F053272C7FA9A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:56:24]
949*2^2116421-1 is not prime.  Res64: 980E25023C8AB73E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:56:24]
957*2^2116421-1 is not prime.  Res64: 0EC5691A4CA01370  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:56:48]
609*2^2116424-1 is not prime.  Res64: B5B9EF20136D3A82  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:56:48]
615*2^2116424-1 is not prime.  Res64: 28561DD902D00C9C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:57:54]
651*2^2116422-1 is not prime.  Res64: 3093C106005ECF3C  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 22:57:55]
683*2^2116422-1 is not prime.  Res64: AF311C671BA9E40A  Time : 0.0 sec.
user=odicin
[2023-06-24 22:58:40]
805*2^2116427-1 is not prime.  Res64: 6DF7BDC10F4B8F00  Time : 0.0 sec.
user=odicin
[2023-06-24 22:58:40]
861*2^2116427-1 is not prime.  Res64: 98A7A6363EBCF88A  Time : 0.0 sec.
user=odicin
[2023-06-24 23:06:11]
909*2^2116427-1 is not prime.  Res64: FF3B2CE57FC85147  Time : 0.0 sec.
user=odicin
[2023-06-24 23:06:12]
955*2^2116427-1 is not prime.  Res64: 2D8033D9C632C27E  Time : 0.0 sec.
user=odicin
[2023-06-24 23:07:51]
993*2^2116427-1 is not prime.  Res64: 74A06ABC576106BB  Time : 0.0 sec.
user=odicin
[2023-06-24 23:07:52]
605*2^2116428-1 is not prime.  Res64: 9CC80BAB2C8B12E7  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:09:24]
945*2^2116416-1 is not prime.  Res64: 41B55059F23FCF98  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:09:24]
609*2^2116417-1 is not prime.  Res64: 31BF1BBA99E47927  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:09:25]
639*2^2116417-1 is not prime.  Res64: 126D340EB65B1A7B  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:09:26]
717*2^2116417-1 is not prime.  Res64: F8D6CFABCCA80C56  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:09:26]
765*2^2116417-1 is not prime.  Res64: C481FFFAC555E411  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 23:13:55]
879*2^2116421-1 is not prime.  Res64: CAAAB1ABDC3B29F3  Time : 0.0 sec.
user=odicin
[2023-06-24 23:15:26]
669*2^2116428-1 is not prime.  Res64: 0250B1370764B67B  Time : 0.0 sec.
user=odicin
[2023-06-24 23:15:27]
723*2^2116428-1 is not prime.  Res64: 1CC76FA34DCD5B49  Time : 0.0 sec.
user=odicin
[2023-06-24 23:19:26]
843*2^2116428-1 is not prime.  Res64: D1F0E956CFBDB85C  Time : 0.0 sec.
user=odicin
[2023-06-24 23:19:28]
905*2^2116428-1 is not prime.  Res64: 49EC4597A9B78287  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:19:49]
663*2^2116427-1 is not prime.  Res64: F445CF35F1F138E1  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:19:50]
703*2^2116427-1 is not prime.  Res64: 55D6E49CBB30B5BB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:24:04]
845*2^2116418-1 is not prime.  Res64: 89473A1C1DDB22BB  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:24:05]
875*2^2116418-1 is not prime.  Res64: D07B320F564C6487  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:24:06]
945*2^2116418-1 is not prime.  Res64: AAF95D964F0A60F3  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:24:06]
609*2^2116419-1 is not prime.  Res64: 9DF1CDCE2B35E95D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:24:07]
613*2^2116419-1 is not prime.  Res64: DCCFA8AF8B6B7D93  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:31:01]
895*2^2116419-1 is not prime.  Res64: 857BF301F6A4F551  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:31:02]
903*2^2116419-1 is not prime.  Res64: B624AA7CE042594D  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:31:02]
677*2^2116420-1 is not prime.  Res64: 6C537B22C1153CDC  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:31:03]
777*2^2116420-1 is not prime.  Res64: B624A6F772BDEB2A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:31:03]
833*2^2116420-1 is not prime.  Res64: 7DA0A71B75898A13  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:32:55]
735*2^2116427-1 is not prime.  Res64: 94B9667D9369FE1E  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:32:55]
759*2^2116427-1 is not prime.  Res64: 39AB3547949127D5  Time : 0.0 sec.
user=odicin
[2023-06-24 23:35:18]
911*2^2116430-1 is not prime.  Res64: 9DFCE997DC706180  Time : 0.0 sec.
user=odicin
[2023-06-24 23:35:19]
921*2^2116430-1 is not prime.  Res64: 0FC842DE20EFE9CD  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:36:46]
629*2^2116428-1 is not prime.  Res64: 59573A490B90FB85  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:36:47]
647*2^2116428-1 is not prime.  Res64: E4A41FC8B8E95172  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:40:29]
765*2^2116428-1 is not prime.  Res64: 289D3C95487639A4  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:40:29]
767*2^2116428-1 is not prime.  Res64: F27E4F5D6E6F79C6  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 23:41:10]
857*2^2116426-1 is not prime.  Res64: D6D2DAEEC684EE41  Time : 0.0 sec.
user=odicin
[2023-06-24 23:42:46]
935*2^2116430-1 is not prime.  Res64: FF1E45870379D2C7  Time : 0.0 sec.
user=odicin
[2023-06-24 23:42:46]
615*2^2116431-1 is not prime.  Res64: 678DFDE69E3EF4C5  Time : 0.0 sec.
user=odicin
[2023-06-24 23:44:13]
609*2^2116432-1 is not prime.  Res64: DB40FE11963752A5  Time : 0.0 sec.
user=odicin
[2023-06-24 23:44:13]
677*2^2116432-1 is not prime.  Res64: 250E70B066290532  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 23:44:26]
615*2^2116427-1 is not prime.  Res64: 20E93695E6BBD887  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:47:36]
909*2^2116428-1 is not prime.  Res64: 4E3146DF572C7401  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:47:36]
609*2^2116429-1 is not prime.  Res64: 27ED51B037159B02  Time : 0.0 sec.
user=odicin
[2023-06-24 23:51:45]
631*2^2116433-1 is not prime.  Res64: 81BA6AD3C7BEFD62  Time : 0.0 sec.
user=odicin
[2023-06-24 23:51:46]
949*2^2116433-1 is not prime.  Res64: F6014D49D5374E50  Time : 0.0 sec.
user=gd_barnes
[2023-06-24 23:51:46]
705*2^2116427-1 is not prime.  Res64: D0B415DDDB33A1B2  Time : 0.0 sec.
user=odicin
[2023-06-24 23:56:00]
621*2^2116434-1 is not prime.  Res64: EEE4D00E47130A5C  Time : 0.0 sec.
user=odicin
[2023-06-24 23:56:01]
773*2^2116434-1 is not prime.  Res64: 20F2252E86AC29AA  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:57:59]
747*2^2116429-1 is not prime.  Res64: 8EE202A87D05F61A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:57:59]
771*2^2116429-1 is not prime.  Res64: 27D6DB182978D395  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:58:25]
835*2^2116429-1 is not prime.  Res64: 9A9762FD32C7C48A  Time : 0.0 sec.
user=mdettweiler
[2023-06-24 23:58:25]
885*2^2116429-1 is not prime.  Res64: DC7E9179FD930D0D  Time : 0.0 sec.