user=mdettweiler
[2020-05-04 00:02:57]
861*2^1558719-1 is not prime.  Res64: 1C49666680FA372E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:02:58]
955*2^1558719-1 is not prime.  Res64: 9B2B5046084BCC31  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:02:59]
605*2^1558720-1 is not prime.  Res64: 803F1168D75D6C29  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:03:00]
609*2^1558720-1 is not prime.  Res64: AD2BA5092EB5FA6E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:03:01]
629*2^1558720-1 is not prime.  Res64: E4C3362CC0D91840  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:38:48]
707*2^1558720-1 is not prime.  Res64: 72983A68B57D03FE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:38:49]
755*2^1558720-1 is not prime.  Res64: F73CFAE47ACB7DF7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:38:49]
975*2^1558720-1 is not prime.  Res64: 162744AFBE7032D4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:38:50]
999*2^1558720-1 is not prime.  Res64: 0A40D8CD8EE02ECD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:38:50]
711*2^1558721-1 is not prime.  Res64: 013404A1F7B30069  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:55:03]
621*2^1558722-1 is not prime.  Res64: B0358D321A09EEF9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:55:03]
657*2^1558722-1 is not prime.  Res64: 9472CB142FF1BB7C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:55:03]
681*2^1558722-1 is not prime.  Res64: FBCBC6AAE8DB9228  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:55:04]
683*2^1558722-1 is not prime.  Res64: D2E2F5C0B8763C4B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:55:04]
717*2^1558722-1 is not prime.  Res64: 9DBBE604C9240722  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:56:47]
735*2^1558721-1 is not prime.  Res64: 568DE9447CAC8FF9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:56:47]
819*2^1558721-1 is not prime.  Res64: FF8CF2AEFC4CE2B5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:56:48]
865*2^1558721-1 is not prime.  Res64: 89F32F88E80B01C8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:56:48]
867*2^1558721-1 is not prime.  Res64: 4A3ECDC588439604  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 00:56:48]
955*2^1558721-1 is not prime.  Res64: F400603A5A167B0B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:32:27]
807*2^1558722-1 is not prime.  Res64: 6BA144FDC950C936  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:32:28]
941*2^1558722-1 is not prime.  Res64: 386FE7D2CAB52E26  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:32:28]
619*2^1558723-1 is not prime.  Res64: C3C1D1BBE974F5ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:32:29]
649*2^1558723-1 is not prime.  Res64: B88ED14789D75921  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:32:30]
751*2^1558723-1 is not prime.  Res64: 6C0D6058CDFCFEA7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:49:42]
765*2^1558723-1 is not prime.  Res64: BA9640EA68368E65  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:49:43]
973*2^1558723-1 is not prime.  Res64: 0664373E35458EA0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:49:44]
993*2^1558723-1 is not prime.  Res64: 43056FF123EB24D1  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:49:45]
665*2^1558724-1 is not prime.  Res64: 71F7BA25FAF26350  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:49:46]
677*2^1558724-1 is not prime.  Res64: E9ACA4B92C41A576  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:52:42]
885*2^1558724-1 is not prime.  Res64: 83F808D04B532DDA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:52:43]
915*2^1558724-1 is not prime.  Res64: 5CD0F810D53D953E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:52:44]
953*2^1558724-1 is not prime.  Res64: 53AC7E94826C56AB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:52:46]
667*2^1558725-1 is not prime.  Res64: 23F07FCFD053BF70  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 01:52:46]
727*2^1558725-1 is not prime.  Res64: 61E9734A717AE4F5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:28:29]
759*2^1558725-1 is not prime.  Res64: 2690F4736B83C32D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:28:31]
885*2^1558725-1 is not prime.  Res64: 48CA3CE80495748F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:28:32]
975*2^1558725-1 is not prime.  Res64: 6893BDF7E60DDD87  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:28:33]
999*2^1558725-1 is not prime.  Res64: 85E719B7414B0B3E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:28:34]
647*2^1558726-1 is not prime.  Res64: AEB4A1FB67EA3AF4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:43:29]
663*2^1558726-1 is not prime.  Res64: 7A3108A34B25C028  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:43:29]
713*2^1558726-1 is not prime.  Res64: B9108131C69D93EC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:43:30]
755*2^1558726-1 is not prime.  Res64: F4ED1BC0ACD651B6  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:43:30]
777*2^1558726-1 is not prime.  Res64: 06AABC0D6F0D2A9A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:43:30]
911*2^1558726-1 is not prime.  Res64: 2F0AFE150CFB2979  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:45:06]
643*2^1558727-1 is not prime.  Res64: FD60B204103CB33F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:45:07]
693*2^1558727-1 is not prime.  Res64: 2767995DBFC9C213  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:45:07]
703*2^1558727-1 is not prime.  Res64: 6729E705F49EC77D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:45:07]
711*2^1558727-1 is not prime.  Res64: A8461FA367A04C51  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 02:45:08]
829*2^1558727-1 is not prime.  Res64: 6D61A362DF0D3DE9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:21:52]
949*2^1558727-1 is not prime.  Res64: B9D5CB431119EFC7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:21:52]
635*2^1558728-1 is not prime.  Res64: 54A2A389D1333332  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:21:53]
639*2^1558728-1 is not prime.  Res64: 8D3B5BFC0094E60C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:21:53]
657*2^1558728-1 is not prime.  Res64: 6C9EB3C667384102  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:21:54]
767*2^1558728-1 is not prime.  Res64: 6A62082E22C6C6B4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:36:09]
845*2^1558728-1 is not prime.  Res64: 4B801A0358618B1C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:36:11]
807*2^1558729-1 is not prime.  Res64: 5233775C5C442B60  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:36:13]
831*2^1558729-1 is not prime.  Res64: E29C5A067B50D366  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:36:15]
847*2^1558729-1 is not prime.  Res64: 21AD1AC447895221  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:36:16]
707*2^1558730-1 is not prime.  Res64: B8746C8C403F87D0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:38:52]
1001*2^1558730-1 is not prime.  Res64: 6BA42B1A04E849C5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:38:55]
651*2^1558731-1 is not prime.  Res64: 774E8415429DB873  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:38:57]
739*2^1558731-1 is not prime.  Res64: 679E98EE8188B86F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 03:39:06]
783*2^1558731-1 is not prime.  Res64: F640A8DDF230AAAE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:15:31]
825*2^1558731-1 is not prime.  Res64: 22160438D2712D80  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:15:39]
879*2^1558731-1 is not prime.  Res64: 2619063CB37EBB92  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:15:47]
605*2^1558732-1 is not prime.  Res64: D1FDC901EA6C7338  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:15:51]
695*2^1558732-1 is not prime.  Res64: 80F2569BA498959C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:15:55]
717*2^1558732-1 is not prime.  Res64: BCDEBDF982ABB236  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:28:56]
749*2^1558732-1 is not prime.  Res64: 38F8C56F0C2B8A41  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:28:57]
615*2^1558733-1 is not prime.  Res64: C69434140487190C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:28:58]
631*2^1558733-1 is not prime.  Res64: CC9E99728B506B3B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:28:59]
685*2^1558733-1 is not prime.  Res64: 29A519A6CE89ABD4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 04:29:00]
775*2^1558733-1 is not prime.  Res64: 0EB3391104FC1100  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:13:14]
811*2^1558733-1 is not prime.  Res64: C1F59DDB7BF8F565  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:13:14]
955*2^1558733-1 is not prime.  Res64: 95600E65158FCCCA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:13:15]
985*2^1558733-1 is not prime.  Res64: B1B050A784A1A7D6  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:13:15]
987*2^1558733-1 is not prime.  Res64: 303C1716CDA242FA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:13:15]
605*2^1558734-1 is not prime.  Res64: 7EAA86F4844190CD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:23:04]
755*2^1558734-1 is not prime.  Res64: FCD099A1E283866D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:23:05]
783*2^1558734-1 is not prime.  Res64: B0C035EF7EB0041D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:23:05]
941*2^1558734-1 is not prime.  Res64: 4B8708414341B672  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:23:05]
603*2^1558735-1 is not prime.  Res64: A5FD16A87FB02567  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 05:23:06]
675*2^1558735-1 is not prime.  Res64: 67F4DF4A8290C9C0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:06:12]
693*2^1558735-1 is not prime.  Res64: 17CD5A8F753880ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:06:14]
723*2^1558735-1 is not prime.  Res64: FAB139D4B4A48BA9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:06:15]
759*2^1558735-1 is not prime.  Res64: 247C52BF1DEACAB7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:06:15]
771*2^1558735-1 is not prime.  Res64: F64941F5AE013A6B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:06:16]
783*2^1558735-1 is not prime.  Res64: 6A2C9B275E6FC44F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:18:08]
805*2^1558735-1 is not prime.  Res64: 8DF4A1CBC81D1C23  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:18:09]
843*2^1558735-1 is not prime.  Res64: 6A5E7335218FF98F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:18:09]
913*2^1558735-1 is not prime.  Res64: F556750AF4993A55  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:18:10]
943*2^1558735-1 is not prime.  Res64: 9BFEBA6702D621A3  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 06:18:10]
623*2^1558736-1 is not prime.  Res64: 56DFD0A1F98E56F2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:00:03]
725*2^1558736-1 is not prime.  Res64: 2435232BF234448E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:00:04]
735*2^1558736-1 is not prime.  Res64: 1E06FCDB5649FBB8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:00:05]
869*2^1558736-1 is not prime.  Res64: F91D93D78499E22B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:00:05]
649*2^1558737-1 is not prime.  Res64: B8FB42CFA97BDE47  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:00:06]
669*2^1558737-1 is not prime.  Res64: 0D005B6E71FC9DA4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:12:57]
975*2^1558737-1 is not prime.  Res64: AF5FFACC2532D848  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:12:57]
997*2^1558737-1 is not prime.  Res64: B44D3CF9169C6936  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:12:58]
657*2^1558738-1 is not prime.  Res64: 405044495BB6576D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:12:58]
671*2^1558738-1 is not prime.  Res64: D9F3F0E94B3AFD3D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:12:59]
825*2^1558738-1 is not prime.  Res64: 6B0C3C07B3230381  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:57:45]
881*2^1558738-1 is not prime.  Res64: 136208A84725B5FF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:57:45]
951*2^1558738-1 is not prime.  Res64: C919E45E6E2FA9ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:57:46]
993*2^1558738-1 is not prime.  Res64: E5EBF9B561AFC7ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:57:46]
995*2^1558738-1 is not prime.  Res64: 6E0B5FB53C3F6C8B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 07:57:47]
753*2^1558739-1 is not prime.  Res64: D3ACD518CBBC728E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:09:08]
879*2^1558739-1 is not prime.  Res64: 9EB810F26F821545  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:09:09]
885*2^1558739-1 is not prime.  Res64: 3A1D3146E62E21E9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:09:10]
979*2^1558739-1 is not prime.  Res64: 185A7FD87574C923  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:09:10]
689*2^1558740-1 is not prime.  Res64: 2C8A4E049E5B7519  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:09:11]
797*2^1558740-1 is not prime.  Res64: 32E86CEA40E18C09  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:16]
801*2^1558731-1 is not prime.  Res64: 83441A3175BFFDFC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:51]
819*2^1558740-1 is not prime.  Res64: 2128AF16DF215520  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:51]
839*2^1558740-1 is not prime.  Res64: D046B65007E979C9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:52]
945*2^1558740-1 is not prime.  Res64: EB5A3C01E326E5E2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:52]
685*2^1558741-1 is not prime.  Res64: 8C7C251386CBC7E7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 08:51:53]
717*2^1558741-1 is not prime.  Res64: A5959FE44F10F30A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:02:59]
741*2^1558741-1 is not prime.  Res64: 5A6A895872D21048  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:03:01]
777*2^1558741-1 is not prime.  Res64: 35F12E60B7F61B2D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:03:03]
957*2^1558741-1 is not prime.  Res64: 322EAC9597EC28CB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:03:04]
635*2^1558742-1 is not prime.  Res64: B2C23CBE6EFBA77A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:03:05]
683*2^1558742-1 is not prime.  Res64: 4A39D7906FCAE14C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:45:21]
677*2^1558744-1 is not prime.  Res64: E68757852339BF64  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:45:22]
723*2^1558744-1 is not prime.  Res64: 8D6FD3B8964879FB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:45:22]
803*2^1558744-1 is not prime.  Res64: 27C8661675D58FD2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:45:23]
965*2^1558744-1 is not prime.  Res64: 808C6239909145F1  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:45:23]
691*2^1558745-1 is not prime.  Res64: 6D589940F7DC2C1E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:47:27]
875*2^1558742-1 is not prime.  Res64: 6C8D87C22FB64479  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:47:28]
915*2^1558742-1 is not prime.  Res64: C865EA585C2B747D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:47:28]
751*2^1558743-1 is not prime.  Res64: D4510233B3498FAB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:47:29]
819*2^1558743-1 is not prime.  Res64: 3EC31A62169E0002  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:47:29]
921*2^1558743-1 is not prime.  Res64: 111A7F762F8636F7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:58:17]
697*2^1558745-1 is not prime.  Res64: 1013D2457341E1ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:58:17]
717*2^1558745-1 is not prime.  Res64: 9C5C55112AC9FED9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:58:18]
721*2^1558745-1 is not prime.  Res64: CC5F73F0FCA7B382  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:58:18]
855*2^1558745-1 is not prime.  Res64: CA9410AF6CA9AFD2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 09:58:18]
985*2^1558745-1 is not prime.  Res64: C7928B622E72AE7A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:38:03]
683*2^1558746-1 is not prime.  Res64: 93A45F4A65306CB5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:38:03]
755*2^1558746-1 is not prime.  Res64: CA62A2ED4ADA470D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:38:04]
803*2^1558746-1 is not prime.  Res64: 79D2F86FF113F884  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:38:04]
821*2^1558746-1 is not prime.  Res64: 6697218ECEB3E5E9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:38:04]
843*2^1558746-1 is not prime.  Res64: 7FED0448C8918A56  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:44:28]
851*2^1558746-1 is not prime.  Res64: 4CD096CCACC58DBA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:44:28]
917*2^1558746-1 is not prime.  Res64: 8F2DAB70AF4861FA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:44:29]
983*2^1558746-1 is not prime.  Res64: 4EEE7B6ACC2CAD18  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:44:29]
1001*2^1558746-1 is not prime.  Res64: C16F837EA735322D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:44:29]
619*2^1558747-1 is not prime.  Res64: 79A78EC01327F928  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:50:21]
645*2^1558747-1 is not prime.  Res64: A0DEF109BC84671F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:50:21]
651*2^1558747-1 is not prime.  Res64: 43985A4E95ADB731  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:50:22]
673*2^1558747-1 is not prime.  Res64: EA430C3E52DED122  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:50:22]
735*2^1558747-1 is not prime.  Res64: 6DA27AFEF6C918FF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 10:50:23]
741*2^1558747-1 is not prime.  Res64: CD9982A704A4ABCE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:32:33]
801*2^1558747-1 is not prime.  Res64: C5E79A7C85D3DFBF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:32:34]
871*2^1558747-1 is not prime.  Res64: A465CA86B9355E15  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:32:34]
999*2^1558747-1 is not prime.  Res64: AB26932B567731E2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:32:35]
603*2^1558748-1 is not prime.  Res64: E4BD041CB75667AD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:32:35]
623*2^1558748-1 is not prime.  Res64: 1614348C49536465  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:35:56]
629*2^1558748-1 is not prime.  Res64: 706C570851E6FBBF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:35:56]
633*2^1558748-1 is not prime.  Res64: 6045D373B2B7426E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:35:57]
665*2^1558748-1 is not prime.  Res64: 907449B5C2489479  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:35:57]
669*2^1558748-1 is not prime.  Res64: 98DFA109AC4501D4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:35:57]
677*2^1558748-1 is not prime.  Res64: 4D61A0D8A0AFF5CD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:45:32]
767*2^1558748-1 is not prime.  Res64: 3C1BAF79CCB501D5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:45:33]
797*2^1558748-1 is not prime.  Res64: 0AA68572F9B13A2E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:45:33]
837*2^1558748-1 is not prime.  Res64: 90BCC5CCA340AF5D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:45:33]
893*2^1558748-1 is not prime.  Res64: 6BAE51DDE677CAB2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 11:45:34]
923*2^1558748-1 is not prime.  Res64: 6D30761156602F8E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:27:28]
959*2^1558748-1 is not prime.  Res64: 97538F1321432878  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:27:29]
995*2^1558748-1 is not prime.  Res64: 96D9B632CBDFCBE7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:27:29]
625*2^1558749-1 is not prime.  Res64: 63525787E795AFC5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:27:30]
727*2^1558749-1 is not prime.  Res64: 126703FCD5C0DBAD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:27:30]
811*2^1558749-1 is not prime.  Res64: 15F84EC327813955  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:34:23]
891*2^1558749-1 is not prime.  Res64: 9025784CB4DB8F4D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:34:23]
895*2^1558749-1 is not prime.  Res64: 9C54F3ED0BE0CFBF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:34:24]
919*2^1558749-1 is not prime.  Res64: 10A22819D64D0F73  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:34:24]
951*2^1558749-1 is not prime.  Res64: E3F891A7CDB53090  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:34:24]
979*2^1558749-1 is not prime.  Res64: F4B1A3DE5DCB8F59  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:39:22]
695*2^1558750-1 is not prime.  Res64: 7A20C3B4AF3B36C5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:39:22]
755*2^1558750-1 is not prime.  Res64: 6DD3EC43AFE3CAEA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:39:22]
777*2^1558750-1 is not prime.  Res64: E08D3BC256EFB65E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:39:23]
843*2^1558750-1 is not prime.  Res64: 812F31D723EAF2FB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 12:39:23]
857*2^1558750-1 is not prime.  Res64: EF442FB446A639F3  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:23:05]
891*2^1558750-1 is not prime.  Res64: E909903803BE60EB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:23:05]
923*2^1558750-1 is not prime.  Res64: C5A69F7035A7BE0A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:23:05]
1001*2^1558750-1 is not prime.  Res64: 18F2A42658E34034  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:23:06]
651*2^1558751-1 is not prime.  Res64: 8987A7045AD6EA36  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:23:06]
661*2^1558751-1 is not prime.  Res64: 6B58D5D8E8060F6B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:28:09]
783*2^1558751-1 is not prime.  Res64: EE46E122B64BFCE9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:28:09]
823*2^1558751-1 is not prime.  Res64: B05CF8C018CCB10F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:28:10]
841*2^1558751-1 is not prime.  Res64: 8F68AD757019A78F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:28:10]
909*2^1558751-1 is not prime.  Res64: CBF4E05F3AE82D9C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:28:10]
683*2^1558752-1 is not prime.  Res64: 70C67FB7B6B30E0B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:34:30]
725*2^1558752-1 is not prime.  Res64: F2A687DC1587B4F1  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:34:31]
765*2^1558752-1 is not prime.  Res64: A19B209A9CBCEAA1  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:34:31]
779*2^1558752-1 is not prime.  Res64: BF5F29B10A7FBC68  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:34:32]
857*2^1558752-1 is not prime.  Res64: 18C8077912D84775  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 13:34:32]
867*2^1558752-1 is not prime.  Res64: 683E73083920662E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:17:48]
915*2^1558752-1 is not prime.  Res64: D986763A17083447  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:17:49]
983*2^1558752-1 is not prime.  Res64: D1BA9E1E9993F78E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:17:49]
691*2^1558753-1 is not prime.  Res64: 064A11E96F70FA05  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:17:50]
771*2^1558753-1 is not prime.  Res64: 34D7B370300EDEC5  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:17:50]
605*2^1558754-1 is not prime.  Res64: D052777010D07BA4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:22:47]
657*2^1558754-1 is not prime.  Res64: 6875ED80975F8C9B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:22:47]
687*2^1558754-1 is not prime.  Res64: 1DED0C4B31DF3729  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:22:48]
747*2^1558754-1 is not prime.  Res64: F647BC0F45EAFA31  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:22:48]
885*2^1558754-1 is not prime.  Res64: 36EE5B72B281BD97  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:22:49]
983*2^1558754-1 is not prime.  Res64: D653E6CCAC0013B8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:30:33]
995*2^1558754-1 is not prime.  Res64: 240E56F9BE5B68A7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:30:34]
685*2^1558755-1 is not prime.  Res64: 710C7891D52190FA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:30:34]
789*2^1558755-1 is not prime.  Res64: 646F521935CD1DFD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:30:34]
961*2^1558755-1 is not prime.  Res64: 3AAC6DE771A9901B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 14:30:35]
973*2^1558755-1 is not prime.  Res64: 23FEDB459B740FA0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:13:33]
609*2^1558756-1 is not prime.  Res64: BAFDFAD4CAC84487  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:13:34]
647*2^1558756-1 is not prime.  Res64: 03909F297681FBC0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:13:34]
927*2^1558756-1 is not prime.  Res64: 1B181EA2A20509DD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:13:35]
957*2^1558756-1 is not prime.  Res64: 5BA709BF4458A7E9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:13:35]
989*2^1558756-1 is not prime.  Res64: 65E646723B9B24F4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:18:24]
651*2^1558757-1 is not prime.  Res64: 4F178997F59EBB06  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:18:24]
691*2^1558757-1 is not prime.  Res64: 7541E55047E0921A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:18:25]
861*2^1558757-1 is not prime.  Res64: BFBCF93BDC55C49D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:18:25]
885*2^1558757-1 is not prime.  Res64: FB78AE7E8D7A9C0A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:18:26]
889*2^1558757-1 is not prime.  Res64: A25FC01F89AED80E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:24:51]
939*2^1558757-1 is not prime.  Res64: F13B25DE2058D29B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:24:51]
985*2^1558757-1 is not prime.  Res64: 416F24735F93C2F0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:24:52]
663*2^1558758-1 is not prime.  Res64: 7DE3AB4DBF659EEB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:24:52]
681*2^1558758-1 is not prime.  Res64: 404D9F8E2EF4DC01  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 15:24:53]
713*2^1558758-1 is not prime.  Res64: 5ECD16B08E924013  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:07:46]
737*2^1558758-1 is not prime.  Res64: D799E854491C2E38  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:07:47]
755*2^1558758-1 is not prime.  Res64: 6703B5FD760EF4E8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:07:48]
761*2^1558758-1 is not prime.  Res64: E3D4C6F219DDE184  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:07:48]
773*2^1558758-1 is not prime.  Res64: AFE0CFC99175F3F2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:07:49]
941*2^1558758-1 is not prime.  Res64: 512A23943D618E4E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:14:16]
971*2^1558758-1 is not prime.  Res64: 4BF6756CECB32D27  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:14:17]
639*2^1558759-1 is not prime.  Res64: 072E1C0B00537F5B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:14:17]
675*2^1558759-1 is not prime.  Res64: 480BEE47AC5AA82A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:14:18]
861*2^1558759-1 is not prime.  Res64: 6409727EC4BD88F0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:14:18]
931*2^1558759-1 is not prime.  Res64: D774A9C883F3C5BB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:17:09]
675*2^1558760-1 is not prime.  Res64: B62053900606B476  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:17:10]
677*2^1558760-1 is not prime.  Res64: 35A53E5B171BAD78  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:17:11]
713*2^1558760-1 is not prime.  Res64: 45072E334DCB2D81  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:17:13]
767*2^1558760-1 is not prime.  Res64: 7805C55B9A9076BD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 16:17:14]
825*2^1558760-1 is not prime.  Res64: 413E6B38239340BC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:05:58]
845*2^1558760-1 is not prime.  Res64: D75A0A29E31A87E7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:06:02]
927*2^1558760-1 is not prime.  Res64: 40DBB7B2AE1D6ECD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:06:05]
963*2^1558760-1 is not prime.  Res64: 04ED0114C9B8B3F9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:06:08]
999*2^1558760-1 is not prime.  Res64: 8FC65FF92C2EC635  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:06:12]
661*2^1558761-1 is not prime.  Res64: 12BBAF55D88D1DE2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:11:25]
685*2^1558761-1 is not prime.  Res64: DDF5C939EE37130A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:11:26]
691*2^1558761-1 is not prime.  Res64: 41E069E5D244F2FE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:11:26]
747*2^1558761-1 is not prime.  Res64: DF868EBC429868DB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:11:26]
829*2^1558761-1 is not prime.  Res64: 9AE35BAEB3DFAF87  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:11:27]
847*2^1558761-1 is not prime.  Res64: 6904237454E60294  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:14:44]
955*2^1558761-1 is not prime.  Res64: AD2C1ADCD44FD16B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:14:44]
969*2^1558761-1 is not prime.  Res64: 340F6120B4D95CAB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:14:44]
999*2^1558761-1 is not prime.  Res64: E5A8A0875E8241EF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:14:44]
635*2^1558762-1 is not prime.  Res64: 567FD201305838CD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 17:14:45]
705*2^1558762-1 is not prime.  Res64: E516F634432755BA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:01:48]
743*2^1558762-1 is not prime.  Res64: 32ECB1E78659118C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:01:49]
765*2^1558762-1 is not prime.  Res64: 7DDA34F94D866D5E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:01:51]
791*2^1558762-1 is not prime.  Res64: 4447FE9023F7E0AA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:01:53]
827*2^1558762-1 is not prime.  Res64: 84B7CD1A0E5CF31E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:01:55]
947*2^1558762-1 is not prime.  Res64: B7147AA46E956552  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:05:01]
633*2^1558763-1 is not prime.  Res64: 9BE925BB1F23B3E9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:05:05]
735*2^1558763-1 is not prime.  Res64: 6D24D35FC807BDF6  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:05:07]
759*2^1558763-1 is not prime.  Res64: 0C28ED77A92ED760  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:05:11]
775*2^1558763-1 is not prime.  Res64: 237A83011AA86B01  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:05:13]
789*2^1558763-1 is not prime.  Res64: 78D45F34052296ED  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:11:02]
879*2^1558763-1 is not prime.  Res64: 7304ED597ABF77E2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:11:03]
963*2^1558763-1 is not prime.  Res64: 3D87028EB35D17C6  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:11:05]
639*2^1558764-1 is not prime.  Res64: F56D3846C17C8EE4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:11:07]
707*2^1558764-1 is not prime.  Res64: 4D57A36B5F0AB72B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:11:09]
929*2^1558764-1 is not prime.  Res64: 8F1112FC376A15AE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:55:52]
661*2^1558765-1 is not prime.  Res64: CBBE493ECE3C1E50  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:55:52]
691*2^1558765-1 is not prime.  Res64: EAEC6A7F884E9BB4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:55:53]
721*2^1558765-1 is not prime.  Res64: 541A9F120D397511  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:55:53]
849*2^1558765-1 is not prime.  Res64: 3890EAF6AC4354E7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 18:55:53]
867*2^1558765-1 is not prime.  Res64: F172C0739FE498D7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:02:58]
861*2^1558766-1 is not prime.  Res64: 944D436EAA83A068  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:02:59]
951*2^1558767-1 is not prime.  Res64: 026478839387AF42  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:02:59]
961*2^1558767-1 is not prime.  Res64: CBFF0A44BA788082  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:02:59]
839*2^1558768-1 is not prime.  Res64: 76288B0B45AF7244  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:03:00]
869*2^1558768-1 is not prime.  Res64: 529C2A76ACED27AF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:05:37]
915*2^1558768-1 is not prime.  Res64: 4C98C35AFA371A82  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:05:38]
721*2^1558769-1 is not prime.  Res64: 26601FE0F98A195E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:05:38]
781*2^1558769-1 is not prime.  Res64: 4925978602CCDED2  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:05:39]
795*2^1558769-1 is not prime.  Res64: D7F709607594AB2C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:05:40]
837*2^1558769-1 is not prime.  Res64: 0406FC52CA39C5B7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:49:47]
841*2^1558769-1 is not prime.  Res64: D38E038DB11C23DD  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:49:47]
955*2^1558769-1 is not prime.  Res64: 8515FED35E1913EC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:49:47]
681*2^1558770-1 is not prime.  Res64: FF96E0ACB2D58D8D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:49:47]
723*2^1558770-1 is not prime.  Res64: F5B5F81F340F1176  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:49:48]
765*2^1558770-1 is not prime.  Res64: CBCD4094144C8061  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:57:29]
603*2^1558771-1 is not prime.  Res64: 77E555EC4A075589  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:57:30]
663*2^1558771-1 is not prime.  Res64: BB89723B6D41B2FE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:57:30]
693*2^1558771-1 is not prime.  Res64: 4945D2BA3BDD496E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:57:30]
705*2^1558771-1 is not prime.  Res64: 25FC4F0E17940499  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:57:30]
733*2^1558771-1 is not prime.  Res64: 7EA56B9519CB759A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:59:15]
783*2^1558770-1 is not prime.  Res64: 6EF67C919E9CC231  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:59:15]
801*2^1558770-1 is not prime.  Res64: 5A17DEA745704A86  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:59:15]
875*2^1558770-1 is not prime.  Res64: 8ABC70581195B660  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:59:15]
951*2^1558770-1 is not prime.  Res64: 8F82965541E6828F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 19:59:16]
977*2^1558770-1 is not prime.  Res64: F724ECB791E3A959  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:46:09]
745*2^1558771-1 is not prime.  Res64: 9A82A047059F6BB0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:46:09]
793*2^1558771-1 is not prime.  Res64: 47FBCEAF862B2320  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:46:10]
931*2^1558771-1 is not prime.  Res64: 850B93B8A6B951F3  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:46:10]
943*2^1558771-1 is not prime.  Res64: 8ECB3EA245DD24BB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:46:10]
951*2^1558771-1 is not prime.  Res64: C6051B7D08EC92B0  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:51:56]
979*2^1558771-1 is not prime.  Res64: 125301240446B251  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:51:56]
993*2^1558771-1 is not prime.  Res64: 0595DE08B5F3CCA8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:51:56]
603*2^1558772-1 is not prime.  Res64: EC90B915C276398E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:51:57]
623*2^1558772-1 is not prime.  Res64: 2EC1123B0DFBA940  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:51:57]
675*2^1558772-1 is not prime.  Res64: 96D18B202C682C79  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:55:45]
743*2^1558772-1 is not prime.  Res64: 3DCB312769CAAC50  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:55:46]
813*2^1558772-1 is not prime.  Res64: 7F1C928285301390  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:55:46]
867*2^1558772-1 is not prime.  Res64: 8832642643564D1F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:55:46]
885*2^1558772-1 is not prime.  Res64: EAEDEF7154DD4C1F  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 20:55:46]
983*2^1558772-1 is not prime.  Res64: 9E63FDD74ADA9891  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:43:30]
987*2^1558772-1 is not prime.  Res64: CD25C96805957560  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:43:30]
921*2^1558773-1 is not prime.  Res64: 0956325840A5946D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:43:30]
927*2^1558773-1 is not prime.  Res64: 2098494A29B1C2DC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:43:31]
705*2^1558774-1 is not prime.  Res64: CB7A6708063C9C00  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:43:31]
981*2^1558774-1 is not prime.  Res64: D066AD1423D02025  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:45:40]
969*2^1558775-1 is not prime.  Res64: 1B94081FA8D32958  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:45:40]
675*2^1558776-1 is not prime.  Res64: 8FBA795EAEB8B33A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:45:40]
705*2^1558776-1 is not prime.  Res64: 287336F48A102BE3  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:45:41]
717*2^1558776-1 is not prime.  Res64: 796841EB022E8AEB  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:45:41]
765*2^1558776-1 is not prime.  Res64: 3E604401FA72D79A  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:51:13]
837*2^1558776-1 is not prime.  Res64: 3A57B902B04F8E55  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:51:14]
839*2^1558776-1 is not prime.  Res64: DEAB10405185DF55  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:51:14]
849*2^1558776-1 is not prime.  Res64: AF48992B67BE722B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:51:14]
857*2^1558776-1 is not prime.  Res64: A2E03D5C3A7441C1  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 21:51:15]
875*2^1558776-1 is not prime.  Res64: 180A8DA08B2B77FE  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:37:19]
975*2^1558776-1 is not prime.  Res64: 391BE9A7913AC5BA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:37:19]
607*2^1558777-1 is not prime.  Res64: AD8DC4CB897CAC79  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:37:20]
649*2^1558777-1 is not prime.  Res64: 3B312709A524936C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:37:20]
777*2^1558777-1 is not prime.  Res64: FEFD4F6C3939C03E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:37:20]
831*2^1558777-1 is not prime.  Res64: 98D8F008FA2D72F9  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:39:40]
867*2^1558777-1 is not prime.  Res64: C75212E997A87236  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:39:41]
603*2^1558778-1 is not prime.  Res64: D498524814A4D652  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:39:41]
755*2^1558778-1 is not prime.  Res64: 131D29BBC58C80D8  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:39:41]
813*2^1558778-1 is not prime.  Res64: AEDBAA8F381B3B6D  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:39:41]
843*2^1558778-1 is not prime.  Res64: 44BF584EBF18248B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:44:19]
921*2^1558778-1 is not prime.  Res64: 076C9606FC878DA4  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:44:19]
669*2^1558779-1 is not prime.  Res64: E09C7427ED83DD7B  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:44:19]
679*2^1558779-1 is not prime.  Res64: AF5C5CF3F81F67C7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:44:20]
703*2^1558779-1 is not prime.  Res64: 80B8225AFFE85646  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 22:44:20]
705*2^1558779-1 is not prime.  Res64: 126014607E11CA2E  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:31:41]
663*2^1558780-1 is not prime.  Res64: ECA22DECE5F7C137  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:31:42]
677*2^1558780-1 is not prime.  Res64: 7FE23DD5698472B7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:31:42]
687*2^1558780-1 is not prime.  Res64: 4761DD8A227E89BA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:31:43]
717*2^1558780-1 is not prime.  Res64: F020DB33FE41FCBF  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:31:43]
843*2^1558780-1 is not prime.  Res64: F225D6EB73224FE7  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:32:36]
735*2^1558779-1 is not prime.  Res64: DD883DD98F9CE329  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:32:37]
775*2^1558779-1 is not prime.  Res64: 5BB9655EE768C053  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:32:37]
835*2^1558779-1 is not prime.  Res64: F2EE3BC81BE7E4EC  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:32:38]
919*2^1558779-1 is not prime.  Res64: 73F181A6599C4121  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:32:38]
955*2^1558779-1 is not prime.  Res64: 568EB4CFEBEBCDFA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:41:34]
983*2^1558780-1 is not prime.  Res64: 5F4552EEA6D1D2CA  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:41:34]
999*2^1558780-1 is not prime.  Res64: B40AD1EF79FFE075  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:41:35]
747*2^1558781-1 is not prime.  Res64: E223243EA6220B4C  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:41:35]
879*2^1558781-1 is not prime.  Res64: 82FE8B966B25C483  Time : 0.0 sec.
user=mdettweiler
[2020-05-04 23:41:35]
927*2^1558781-1 is not prime.  Res64: F49482F5B6B7C900  Time : 0.0 sec.