user=odicin
[2018-10-27 00:05:08]
635*2^1529280-1 is not prime.  Res64: 9B537D02201DB123  Time : 0.0 sec.
user=odicin
[2018-10-27 00:05:10]
665*2^1529280-1 is not prime.  Res64: 6FAD2511C24AAF04  Time : 0.0 sec.
user=odicin
[2018-10-27 00:12:50]
689*2^1529280-1 is not prime.  Res64: 02DAA08E5857542A  Time : 0.0 sec.
user=odicin
[2018-10-27 00:12:51]
759*2^1529280-1 is not prime.  Res64: 0C7B0E9B9BD1169B  Time : 0.0 sec.
user=odicin
[2018-10-27 00:28:10]
703*2^1529283-1 is not prime.  Res64: 913AA8C04D827F09  Time : 0.0 sec.
user=odicin
[2018-10-27 00:28:10]
795*2^1529283-1 is not prime.  Res64: CA8F6DA13D0E6450  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:29:51]
741*2^1529279-1 is not prime.  Res64: 452CC2E3397DF0B0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:29:52]
753*2^1529279-1 is not prime.  Res64: 7576F3F79771D57F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:29:52]
763*2^1529279-1 is not prime.  Res64: 2E0BFD902810D7D8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:29:52]
859*2^1529279-1 is not prime.  Res64: 07E70429976FBD29  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:29:53]
627*2^1529280-1 is not prime.  Res64: 5660C93438F909DA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:22]
765*2^1529280-1 is not prime.  Res64: 79D77806B5396BE8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:23]
825*2^1529280-1 is not prime.  Res64: 538BEB9CD0AA7A88  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:23]
999*2^1529280-1 is not prime.  Res64: BB0CDFD5FD57597B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:24]
625*2^1529281-1 is not prime.  Res64: FAA1C86258EC1B85  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:25]
687*2^1529281-1 is not prime.  Res64: E8DF626CFD1BE297  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:39]
705*2^1529281-1 is not prime.  Res64: 3922C0063FEB8CD8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:39]
747*2^1529281-1 is not prime.  Res64: E2194B2041DC23E4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:40]
889*2^1529281-1 is not prime.  Res64: FE06934DC1A87684  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:40]
951*2^1529281-1 is not prime.  Res64: C288CFF31FFB0F2E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:40:41]
635*2^1529282-1 is not prime.  Res64: DDE3F7D8403324DA  Time : 0.0 sec.
user=odicin
[2018-10-27 00:40:51]
805*2^1529283-1 is not prime.  Res64: 094807511ABC7CE0  Time : 0.0 sec.
user=odicin
[2018-10-27 00:40:51]
871*2^1529283-1 is not prime.  Res64: 748343CC2C7E2A83  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:50:28]
675*2^1529282-1 is not prime.  Res64: FC876B7EB7FCB417  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:50:29]
735*2^1529282-1 is not prime.  Res64: 580F64DA5F3E86E0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:50:29]
767*2^1529282-1 is not prime.  Res64: 43AB18B005332FCB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:50:30]
831*2^1529282-1 is not prime.  Res64: A4C8B5DEE7100D04  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 00:50:30]
951*2^1529282-1 is not prime.  Res64: 817EC9C002520134  Time : 0.0 sec.
user=odicin
[2018-10-27 00:51:07]
901*2^1529283-1 is not prime.  Res64: 58BEE047C9BAC396  Time : 0.0 sec.
user=odicin
[2018-10-27 00:51:07]
955*2^1529283-1 is not prime.  Res64: 5914DEF3447A8B37  Time : 0.0 sec.
user=odicin
[2018-10-27 01:08:43]
641*2^1529286-1 is not prime.  Res64: B16427718B525562  Time : 0.0 sec.
user=odicin
[2018-10-27 01:08:44]
693*2^1529286-1 is not prime.  Res64: CCCC40AC18BF169F  Time : 0.0 sec.
user=odicin
[2018-10-27 01:14:04]
975*2^1529286-1 is not prime.  Res64: A850ED104232E5F0  Time : 0.0 sec.
user=odicin
[2018-10-27 01:14:05]
621*2^1529287-1 is not prime.  Res64: 9512725459CD675D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:21:07]
665*2^1529284-1 is not prime.  Res64: 893F94752F4466A1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:21:07]
695*2^1529284-1 is not prime.  Res64: 2F4E54E3AC7CCAE7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:21:08]
743*2^1529284-1 is not prime.  Res64: 3F2BD283F8A92961  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:21:08]
773*2^1529284-1 is not prime.  Res64: 31EEAD2CBF978192  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:21:09]
803*2^1529284-1 is not prime.  Res64: 20A6A111280BD753  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:31:46]
813*2^1529284-1 is not prime.  Res64: 67C8300BBA9A8C22  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:31:47]
897*2^1529284-1 is not prime.  Res64: 41BEF3EC25BC264C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:31:48]
929*2^1529284-1 is not prime.  Res64: 383F2918976C52AC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:31:49]
959*2^1529284-1 is not prime.  Res64: DB79A0A9D0A195ED  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:31:50]
607*2^1529285-1 is not prime.  Res64: 7666EB2F8A2F3FCA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:32:07]
619*2^1529285-1 is not prime.  Res64: 02EB342708DB4799  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:32:09]
711*2^1529285-1 is not prime.  Res64: 6A7C924C7D39395E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:32:10]
717*2^1529285-1 is not prime.  Res64: CB7BC37CA3E4963E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:32:11]
771*2^1529285-1 is not prime.  Res64: A5FC36D6FCE9A85D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:32:11]
795*2^1529285-1 is not prime.  Res64: F91DF3E9742263BE  Time : 0.0 sec.
user=odicin
[2018-10-27 01:37:04]
649*2^1529287-1 is not prime.  Res64: A9C9AAFFBB29E50F  Time : 0.0 sec.
user=odicin
[2018-10-27 01:37:04]
703*2^1529287-1 is not prime.  Res64: 6C31954F5AE93C3E  Time : 0.0 sec.
user=odicin
[2018-10-27 01:37:06]
729*2^1529287-1 is not prime.  Res64: 1260D042CE043014  Time : 0.0 sec.
user=odicin
[2018-10-27 01:37:07]
741*2^1529287-1 is not prime.  Res64: EC0678A4B9986FE8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:41:56]
711*2^1529286-1 is not prime.  Res64: 3EBA53FBE0075498  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:41:56]
755*2^1529286-1 is not prime.  Res64: 7BB560F61C5A0AC8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:41:57]
777*2^1529286-1 is not prime.  Res64: 2808D30163EDB90A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:41:57]
801*2^1529286-1 is not prime.  Res64: 7045A8B454ED7DA9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 01:41:58]
851*2^1529286-1 is not prime.  Res64: 17E231CD399050A1  Time : 0.0 sec.
user=odicin
[2018-10-27 02:00:06]
825*2^1529291-1 is not prime.  Res64: F76DDE28926D0085  Time : 0.0 sec.
user=odicin
[2018-10-27 02:00:06]
901*2^1529291-1 is not prime.  Res64: 2FEA0FD2578A0A55  Time : 0.0 sec.
user=odicin
[2018-10-27 02:05:04]
601*2^1529291-1 is not prime.  Res64: A3B187A05691FC05  Time : 0.0 sec.
user=odicin
[2018-10-27 02:05:06]
741*2^1529291-1 is not prime.  Res64: 925C85BF4C42772A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:12:38]
859*2^1529287-1 is not prime.  Res64: D29BA942DD0346F4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:12:38]
871*2^1529287-1 is not prime.  Res64: 707DAFA773B37846  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:12:39]
819*2^1529288-1 is not prime.  Res64: E19F1C06C2735292  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:12:39]
843*2^1529288-1 is not prime.  Res64: 69283B2DD76AA544  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:12:40]
915*2^1529288-1 is not prime.  Res64: 3D060AD2DE2D763E  Time : 0.0 sec.
user=odicin
[2018-10-27 02:23:04]
675*2^1529293-1 is not prime.  Res64: F11F305B8981F17C  Time : 0.0 sec.
user=odicin
[2018-10-27 02:23:05]
699*2^1529293-1 is not prime.  Res64: 8DCF6B3749B1CB96  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:17]
639*2^1529289-1 is not prime.  Res64: F7B3AAE83997962D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:18]
679*2^1529289-1 is not prime.  Res64: 3E9F3605D3CB31B7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:18]
685*2^1529289-1 is not prime.  Res64: 198AAE5D35436155  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:18]
741*2^1529289-1 is not prime.  Res64: 38CBF64A7A06B1DB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:19]
919*2^1529289-1 is not prime.  Res64: 9040699F75C56654  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:30]
605*2^1529290-1 is not prime.  Res64: AD696DD1CEA68EEB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:31]
777*2^1529290-1 is not prime.  Res64: BB0623B2C1DCEFE1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:31]
813*2^1529290-1 is not prime.  Res64: FDC5C2D3FFFBC99C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:31]
911*2^1529290-1 is not prime.  Res64: 3F4E35DE2F36A909  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:23:32]
975*2^1529290-1 is not prime.  Res64: D06C2B392D7B6419  Time : 0.0 sec.
user=odicin
[2018-10-27 02:33:03]
721*2^1529293-1 is not prime.  Res64: 803552CCCBB6F363  Time : 0.0 sec.
user=odicin
[2018-10-27 02:33:04]
747*2^1529293-1 is not prime.  Res64: 0799191F96CE8291  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:33:18]
939*2^1529291-1 is not prime.  Res64: 56B00A294C20F165  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:33:19]
973*2^1529291-1 is not prime.  Res64: ACDA6799CB0EAD49  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:33:19]
695*2^1529292-1 is not prime.  Res64: EC25DC72068650A4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:33:20]
737*2^1529292-1 is not prime.  Res64: 34D4B20C8EB43BBB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 02:33:20]
809*2^1529292-1 is not prime.  Res64: 14B5619F51E9C79D  Time : 0.0 sec.
user=odicin
[2018-10-27 02:46:05]
999*2^1529293-1 is not prime.  Res64: CB61C6E84BA4E552  Time : 0.0 sec.
user=odicin
[2018-10-27 02:46:06]
663*2^1529294-1 is not prime.  Res64: C3DF1EE7A988D0C6  Time : 0.0 sec.
user=odicin
[2018-10-27 03:01:02]
823*2^1529295-1 is not prime.  Res64: 3B60B9A3C5DAAE84  Time : 0.0 sec.
user=odicin
[2018-10-27 03:01:03]
885*2^1529295-1 is not prime.  Res64: C5F882D6E02AB7F5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:05:06]
769*2^1529293-1 is not prime.  Res64: 84337B11DADE820B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:05:07]
789*2^1529293-1 is not prime.  Res64: D98C1FB026B168AD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:05:09]
895*2^1529293-1 is not prime.  Res64: 6695EDEE2F7FF402  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:05:10]
897*2^1529293-1 is not prime.  Res64: FC3C898D6F6C1B19  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:05:10]
987*2^1529293-1 is not prime.  Res64: 5D65E66EC4D65384  Time : 0.0 sec.
user=odicin
[2018-10-27 03:09:09]
777*2^1529296-1 is not prime.  Res64: 2054CEC1880911D5  Time : 0.0 sec.
user=odicin
[2018-10-27 03:09:10]
779*2^1529296-1 is not prime.  Res64: 9D3AC2078E8406B5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:36]
707*2^1529294-1 is not prime.  Res64: 38450AB70E4B0BFF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:36]
755*2^1529294-1 is not prime.  Res64: B87D766C6578E60F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:37]
827*2^1529294-1 is not prime.  Res64: 7D5AC64B8B5228C5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:37]
831*2^1529294-1 is not prime.  Res64: 04E162454BBC1E94  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:37]
861*2^1529294-1 is not prime.  Res64: 14971D28ACEE8ADB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:58]
873*2^1529294-1 is not prime.  Res64: BFE8077E3D3487B1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:58]
923*2^1529294-1 is not prime.  Res64: 1DBAA9607F5C8F06  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:58]
935*2^1529294-1 is not prime.  Res64: FB10FF94A5961658  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:59]
651*2^1529295-1 is not prime.  Res64: 8A43B8A7C3126B1A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:15:59]
783*2^1529295-1 is not prime.  Res64: CDEF5FB91C8CA772  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:25:58]
933*2^1529295-1 is not prime.  Res64: F3393AA5EF66F688  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:25:58]
609*2^1529296-1 is not prime.  Res64: D3E5416BC8F4FFD6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:25:59]
657*2^1529296-1 is not prime.  Res64: 87289260800C3B33  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:26:00]
675*2^1529296-1 is not prime.  Res64: F9369BE0D60F435E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:26:00]
695*2^1529296-1 is not prime.  Res64: EEE4ECC68435EFD9  Time : 0.0 sec.
user=odicin
[2018-10-27 03:29:20]
843*2^1529296-1 is not prime.  Res64: FB4A7401BBE4CEBD  Time : 0.0 sec.
user=odicin
[2018-10-27 03:29:21]
969*2^1529296-1 is not prime.  Res64: 9D628F8F04CA7265  Time : 0.0 sec.
user=odicin
[2018-10-27 03:32:07]
949*2^1529297-1 is not prime.  Res64: FC523377CCF019F2  Time : 0.0 sec.
user=odicin
[2018-10-27 03:32:08]
635*2^1529298-1 is not prime.  Res64: FB49DDADA41E8354  Time : 0.0 sec.
user=odicin
[2018-10-27 03:55:07]
605*2^1529300-1 is not prime.  Res64: BC7FC8250226111A  Time : 0.0 sec.
user=odicin
[2018-10-27 03:55:08]
659*2^1529300-1 is not prime.  Res64: D99B0A8C0454FB1D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:56:45]
697*2^1529297-1 is not prime.  Res64: E6991B823CBCB3D3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:56:46]
699*2^1529297-1 is not prime.  Res64: A202954DB16ACB3D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:56:47]
741*2^1529297-1 is not prime.  Res64: F0FA2341E0122EF2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:56:47]
801*2^1529297-1 is not prime.  Res64: 0FD59B2EB55DFB4F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 03:56:48]
841*2^1529297-1 is not prime.  Res64: 4832FFFFADBC96E5  Time : 0.0 sec.
user=odicin
[2018-10-27 03:57:22]
861*2^1529299-1 is not prime.  Res64: 5D85962CA03267C3  Time : 0.0 sec.
user=odicin
[2018-10-27 03:57:23]
951*2^1529299-1 is not prime.  Res64: 6DA4C38766075A92  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:06:57]
641*2^1529298-1 is not prime.  Res64: C0A3D52FCA463EC7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:00]
735*2^1529298-1 is not prime.  Res64: 849473B361A04A64  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:04]
747*2^1529298-1 is not prime.  Res64: 6C6AC9E21D278A75  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:06]
755*2^1529298-1 is not prime.  Res64: B5CB0BED0D704F61  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:08]
815*2^1529298-1 is not prime.  Res64: AFAB6A76EF0BC127  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:24]
821*2^1529298-1 is not prime.  Res64: 14A27BEEBE3D2CEB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:29]
843*2^1529298-1 is not prime.  Res64: 348C955C4438A66B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:30]
867*2^1529298-1 is not prime.  Res64: BF787390FDBA4557  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:34]
885*2^1529298-1 is not prime.  Res64: A1ADA95DE1B8F753  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:07:38]
893*2^1529298-1 is not prime.  Res64: 9ED0AFA93789D8F0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:17:21]
927*2^1529298-1 is not prime.  Res64: 579AC64D28C412C0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:17:21]
649*2^1529299-1 is not prime.  Res64: 841C51019161AF72  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:17:22]
681*2^1529299-1 is not prime.  Res64: 18F53F9A6209EF0F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:17:22]
705*2^1529299-1 is not prime.  Res64: 0778EB21B5B6697E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:17:23]
813*2^1529299-1 is not prime.  Res64: 55EAC63FC94BF815  Time : 0.0 sec.
user=odicin
[2018-10-27 04:18:37]
813*2^1529300-1 is not prime.  Res64: 09BF6B1243E42833  Time : 0.0 sec.
user=odicin
[2018-10-27 04:18:37]
825*2^1529300-1 is not prime.  Res64: DCD2C901965E88D3  Time : 0.0 sec.
user=odicin
[2018-10-27 04:25:24]
717*2^1529301-1 is not prime.  Res64: 92B9A47CD2F0EE53  Time : 0.0 sec.
user=odicin
[2018-10-27 04:25:24]
847*2^1529301-1 is not prime.  Res64: 9D645AAA27DAFCEE  Time : 0.0 sec.
user=odicin
[2018-10-27 04:41:35]
999*2^1529303-1 is not prime.  Res64: 7BA478189F22C97E  Time : 0.0 sec.
user=odicin
[2018-10-27 04:41:36]
753*2^1529304-1 is not prime.  Res64: 8182D6E20767553C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:48:05]
893*2^1529300-1 is not prime.  Res64: 7676DFD071F42B7F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:48:05]
953*2^1529300-1 is not prime.  Res64: 331C1FF2EE7D5660  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:48:05]
957*2^1529300-1 is not prime.  Res64: FAAE56EF3D8C3C13  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:48:06]
977*2^1529300-1 is not prime.  Res64: F3A15484B6372B69  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:48:06]
711*2^1529301-1 is not prime.  Res64: 19C46319697ACD8A  Time : 0.0 sec.
user=odicin
[2018-10-27 04:53:26]
765*2^1529304-1 is not prime.  Res64: ED414B4B2A73F976  Time : 0.0 sec.
user=odicin
[2018-10-27 04:53:26]
825*2^1529304-1 is not prime.  Res64: 7B71F35C6DDE8C5F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:58:50]
861*2^1529301-1 is not prime.  Res64: 4BA6654D8C652847  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:58:51]
889*2^1529301-1 is not prime.  Res64: 241583E3AF2B33DC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:58:51]
895*2^1529301-1 is not prime.  Res64: 38DB70FC76712CE5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:58:52]
921*2^1529301-1 is not prime.  Res64: CC98536C072AD2CB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:58:52]
961*2^1529301-1 is not prime.  Res64: 5D9B062D33837A70  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:59:17]
831*2^1529302-1 is not prime.  Res64: 0FA2B07DA5B2D578  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:59:17]
917*2^1529302-1 is not prime.  Res64: BAEE191DBC3DCEE5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:59:18]
941*2^1529302-1 is not prime.  Res64: A70D0948AE8B6BF4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:59:18]
945*2^1529302-1 is not prime.  Res64: 58DF2EC5D8977353  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 04:59:19]
619*2^1529303-1 is not prime.  Res64: 31C805CA79D819D2  Time : 0.0 sec.
user=odicin
[2018-10-27 05:04:38]
863*2^1529304-1 is not prime.  Res64: AD7037E1F12E8F72  Time : 0.0 sec.
user=odicin
[2018-10-27 05:04:40]
887*2^1529304-1 is not prime.  Res64: 405BBFE1462D1A41  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:09:07]
661*2^1529303-1 is not prime.  Res64: EE65421C02317E4B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:09:09]
759*2^1529303-1 is not prime.  Res64: BEA6AB59CF1B1890  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:09:10]
805*2^1529303-1 is not prime.  Res64: 11276E471F38B7BF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:09:11]
981*2^1529303-1 is not prime.  Res64: 67EE925DB6C2C8A4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:09:13]
993*2^1529303-1 is not prime.  Res64: F1E6B674BC8A606D  Time : 0.0 sec.
user=odicin
[2018-10-27 05:21:27]
651*2^1529306-1 is not prime.  Res64: D8EBA888651E4F4F  Time : 0.0 sec.
user=odicin
[2018-10-27 05:21:27]
755*2^1529306-1 is not prime.  Res64: 9BB4169603574FF1  Time : 0.0 sec.
user=odicin
[2018-10-27 05:27:44]
777*2^1529308-1 is not prime.  Res64: 6AD67C29F03BC36F  Time : 0.0 sec.
user=odicin
[2018-10-27 05:27:44]
813*2^1529308-1 is not prime.  Res64: 5F0CCC2F9F56BEFE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:39:50]
645*2^1529305-1 is not prime.  Res64: DDE8348A4540E94A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:39:51]
649*2^1529305-1 is not prime.  Res64: E2E267A3E51D08F2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:39:51]
771*2^1529305-1 is not prime.  Res64: CEFE4ACEA1CAAA98  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:39:51]
811*2^1529305-1 is not prime.  Res64: ED68AAF11BEEEA0D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:39:52]
633*2^1529306-1 is not prime.  Res64: CF12933A57222265  Time : 0.0 sec.
user=odicin
[2018-10-27 05:49:30]
699*2^1529309-1 is not prime.  Res64: F6C48F8741377BB7  Time : 0.0 sec.
user=odicin
[2018-10-27 05:49:30]
729*2^1529309-1 is not prime.  Res64: B18347F714EF72DC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:20]
873*2^1529306-1 is not prime.  Res64: EB564FD79048159A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:21]
735*2^1529307-1 is not prime.  Res64: 800AB9E97278ED6D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:21]
781*2^1529307-1 is not prime.  Res64: D8CB376BB70AD9FB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:22]
895*2^1529307-1 is not prime.  Res64: 68A8B0DA220D8F37  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:22]
901*2^1529307-1 is not prime.  Res64: 25D0F43991B480FD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:34]
903*2^1529307-1 is not prime.  Res64: 45801713E75815DD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:35]
975*2^1529307-1 is not prime.  Res64: 8CAE1FA992BFEA21  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:35]
605*2^1529308-1 is not prime.  Res64: DDC0D484FFDC024E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:36]
665*2^1529308-1 is not prime.  Res64: 32427C2CF598FB10  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 05:50:36]
695*2^1529308-1 is not prime.  Res64: 8CAFAB036508F84C  Time : 0.0 sec.
user=odicin
[2018-10-27 05:50:48]
987*2^1529309-1 is not prime.  Res64: CFB7FED1824D0AE2  Time : 0.0 sec.
user=odicin
[2018-10-27 05:50:48]
647*2^1529310-1 is not prime.  Res64: 283359C4E44A6016  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:01:06]
839*2^1529308-1 is not prime.  Res64: 08E2520A2BBFB0DA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:01:07]
869*2^1529308-1 is not prime.  Res64: 242F0EDBB895F830  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:01:08]
915*2^1529308-1 is not prime.  Res64: 53BAA87E045B8BE6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:01:08]
631*2^1529309-1 is not prime.  Res64: CB41EE8CF45B4BA7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:01:09]
691*2^1529309-1 is not prime.  Res64: F7B2408971F89E03  Time : 0.0 sec.
user=odicin
[2018-10-27 06:14:45]
903*2^1529312-1 is not prime.  Res64: C1EF057E76969FD0  Time : 0.0 sec.
user=odicin
[2018-10-27 06:14:46]
699*2^1529313-1 is not prime.  Res64: 5FC5C4F180227E96  Time : 0.0 sec.
user=odicin
[2018-10-27 06:17:33]
871*2^1529311-1 is not prime.  Res64: F13429A3A49A403C  Time : 0.0 sec.
user=odicin
[2018-10-27 06:17:33]
939*2^1529311-1 is not prime.  Res64: 12B0660FFC64BEF1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:32:22]
725*2^1529310-1 is not prime.  Res64: 5D23C9064CECE87C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:32:22]
773*2^1529310-1 is not prime.  Res64: 2441D351BC426F0D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:32:23]
783*2^1529310-1 is not prime.  Res64: 9F5C6F11265CD1B4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:32:23]
625*2^1529311-1 is not prime.  Res64: 139D21520A0105E0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:32:24]
805*2^1529311-1 is not prime.  Res64: 837A82292D6F4E8F  Time : 0.0 sec.
user=odicin
[2018-10-27 06:37:47]
903*2^1529314-1 is not prime.  Res64: 0CF16D827657D94A  Time : 0.0 sec.
user=odicin
[2018-10-27 06:37:47]
917*2^1529314-1 is not prime.  Res64: 41DE282BE78FC2DE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:44]
961*2^1529311-1 is not prime.  Res64: 5636ED40286AB184  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:45]
999*2^1529311-1 is not prime.  Res64: C9393232FE049DEE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:45]
633*2^1529312-1 is not prime.  Res64: 771BF2FACFA46935  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:46]
717*2^1529312-1 is not prime.  Res64: FA9E18059E282E51  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:46]
785*2^1529312-1 is not prime.  Res64: 720BB9248C6B17BC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:52]
797*2^1529312-1 is not prime.  Res64: 8D86C00B0FC22CB1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:53]
803*2^1529312-1 is not prime.  Res64: E998E3CCFBC54325  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:53]
813*2^1529312-1 is not prime.  Res64: D31C85AEC0520E08  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:54]
897*2^1529312-1 is not prime.  Res64: 95A1A0DA0CEAD257  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:42:54]
899*2^1529312-1 is not prime.  Res64: 4DCB81846A0057D1  Time : 0.0 sec.
user=odicin
[2018-10-27 06:45:34]
693*2^1529315-1 is not prime.  Res64: D2804A74E81F3DBD  Time : 0.0 sec.
user=odicin
[2018-10-27 06:45:34]
759*2^1529315-1 is not prime.  Res64: CC896814B367B683  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:52:53]
945*2^1529313-1 is not prime.  Res64: 59CCF2901956BCB3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:52:53]
687*2^1529314-1 is not prime.  Res64: 3E16374A5A8B9113  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:52:54]
717*2^1529314-1 is not prime.  Res64: FE34BCF823C9AFC5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:52:54]
731*2^1529314-1 is not prime.  Res64: 0CA75FC19A09B5B2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 06:52:54]
815*2^1529314-1 is not prime.  Res64: 72D59A6995E51A45  Time : 0.0 sec.
user=odicin
[2018-10-27 07:00:45]
765*2^1529316-1 is not prime.  Res64: DABD6E5B23DCBB46  Time : 0.0 sec.
user=odicin
[2018-10-27 07:00:47]
957*2^1529316-1 is not prime.  Res64: 802CDF3F62498801  Time : 0.0 sec.
user=odicin
[2018-10-27 07:13:31]
687*2^1529318-1 is not prime.  Res64: C7CB69054424125B  Time : 0.0 sec.
user=odicin
[2018-10-27 07:13:31]
707*2^1529318-1 is not prime.  Res64: FA0A098AB4E8DF98  Time : 0.0 sec.
user=odicin
[2018-10-27 07:23:46]
685*2^1529319-1 is not prime.  Res64: D3E8B24EFCF1AC61  Time : 0.0 sec.
user=odicin
[2018-10-27 07:23:46]
693*2^1529319-1 is not prime.  Res64: 12B8B854A746B8DD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:23:49]
829*2^1529315-1 is not prime.  Res64: F4B73300E7864BC0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:23:50]
871*2^1529315-1 is not prime.  Res64: FFBF2D9B3F704FBE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:23:50]
969*2^1529315-1 is not prime.  Res64: 3B029C68F03DAA9E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:23:51]
979*2^1529315-1 is not prime.  Res64: D497AF6C4F8C85E9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:23:51]
749*2^1529316-1 is not prime.  Res64: 985A609630910A00  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:06]
871*2^1529317-1 is not prime.  Res64: 17C38150CA12EB93  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:07]
885*2^1529317-1 is not prime.  Res64: D3A1ADCEE2AF0140  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:07]
945*2^1529317-1 is not prime.  Res64: 91CBD28678F79EA2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:08]
641*2^1529318-1 is not prime.  Res64: 60C19E7FC7859858  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:08]
665*2^1529318-1 is not prime.  Res64: F801D87D34CE15E4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:14]
609*2^1529317-1 is not prime.  Res64: 3671DB91D52CD93F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:14]
699*2^1529317-1 is not prime.  Res64: 036561F26622F9CE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:14]
727*2^1529317-1 is not prime.  Res64: 808750F75D192DED  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:15]
831*2^1529317-1 is not prime.  Res64: CCD7E7555B456663  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:34:15]
859*2^1529317-1 is not prime.  Res64: 5085E479E2E48EBC  Time : 0.0 sec.
user=odicin
[2018-10-27 07:41:34]
735*2^1529319-1 is not prime.  Res64: 96BDADE1E831A39E  Time : 0.0 sec.
user=odicin
[2018-10-27 07:41:34]
825*2^1529319-1 is not prime.  Res64: 3F740B515370FF5A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:44:32]
773*2^1529318-1 is not prime.  Res64: D92B2D06E7F2E19A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:44:33]
801*2^1529318-1 is not prime.  Res64: C4410DC2DB74CB5D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:44:33]
971*2^1529318-1 is not prime.  Res64: 0D7D91B2120C99C3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:44:33]
987*2^1529318-1 is not prime.  Res64: 5D1A0323AFE2BB4B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 07:44:34]
625*2^1529319-1 is not prime.  Res64: 4319DC5A60E5B2DF  Time : 0.0 sec.
user=odicin
[2018-10-27 07:46:45]
909*2^1529319-1 is not prime.  Res64: 498037630F7D53A6  Time : 0.0 sec.
user=odicin
[2018-10-27 07:46:45]
949*2^1529319-1 is not prime.  Res64: 55931FEE53AB7B84  Time : 0.0 sec.
user=odicin
[2018-10-27 08:09:30]
621*2^1529322-1 is not prime.  Res64: 78C37AB226D0392A  Time : 0.0 sec.
user=odicin
[2018-10-27 08:09:31]
711*2^1529322-1 is not prime.  Res64: DE7FB64DA5E5C1A5  Time : 0.0 sec.
user=odicin
[2018-10-27 08:09:45]
867*2^1529322-1 is not prime.  Res64: 27C0E8452381F25F  Time : 0.0 sec.
user=odicin
[2018-10-27 08:09:45]
1001*2^1529322-1 is not prime.  Res64: 1E3F22780607F9F0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:15:17]
665*2^1529320-1 is not prime.  Res64: 8B0B7325898957C6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:15:18]
677*2^1529320-1 is not prime.  Res64: 69D72DC3F67FEE50  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:15:18]
719*2^1529320-1 is not prime.  Res64: B7E19240D7CF80FD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:15:19]
735*2^1529320-1 is not prime.  Res64: D86266E2723C2ACD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:15:19]
843*2^1529320-1 is not prime.  Res64: 0AEF89F3C93205E4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:32]
917*2^1529320-1 is not prime.  Res64: A6F067C67466792D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:32]
631*2^1529321-1 is not prime.  Res64: 86805A922981F274  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:33]
669*2^1529321-1 is not prime.  Res64: 0A2F07645D6AC798  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:33]
717*2^1529321-1 is not prime.  Res64: 60F62A0F38F17F8C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:33]
727*2^1529321-1 is not prime.  Res64: A349385F2C3B7347  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:39]
879*2^1529321-1 is not prime.  Res64: 4EBFA4988741A769  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:40]
885*2^1529321-1 is not prime.  Res64: 9865B90488466413  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:40]
945*2^1529321-1 is not prime.  Res64: 212791FA9470210C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:40]
997*2^1529321-1 is not prime.  Res64: 15DC34880D3544F7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:25:41]
615*2^1529322-1 is not prime.  Res64: 9B88BE37B1836A62  Time : 0.0 sec.
user=odicin
[2018-10-27 08:32:41]
679*2^1529323-1 is not prime.  Res64: 968EC29A0206B7E9  Time : 0.0 sec.
user=odicin
[2018-10-27 08:32:42]
853*2^1529323-1 is not prime.  Res64: D600487932AA397E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:36:03]
717*2^1529322-1 is not prime.  Res64: 66E8E69F4192481F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:36:03]
801*2^1529322-1 is not prime.  Res64: 9D3C3317B333945B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:36:04]
803*2^1529322-1 is not prime.  Res64: 51CC8EEB4FF966A8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:36:04]
807*2^1529322-1 is not prime.  Res64: 12DA1AD2FFEC0811  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 08:36:04]
837*2^1529322-1 is not prime.  Res64: E1168FD6D49CC52F  Time : 0.0 sec.
user=odicin
[2018-10-27 08:37:35]
663*2^1529323-1 is not prime.  Res64: 53E8ECECBE7319F8  Time : 0.0 sec.
user=odicin
[2018-10-27 08:37:37]
675*2^1529323-1 is not prime.  Res64: 14C896D3C6D49CC4  Time : 0.0 sec.
user=odicin
[2018-10-27 08:55:40]
705*2^1529327-1 is not prime.  Res64: 818366E51401F41E  Time : 0.0 sec.
user=odicin
[2018-10-27 08:55:40]
841*2^1529327-1 is not prime.  Res64: 2A827B94AA00541A  Time : 0.0 sec.
user=odicin
[2018-10-27 09:05:36]
637*2^1529329-1 is not prime.  Res64: 76BD294329A2140F  Time : 0.0 sec.
user=odicin
[2018-10-27 09:05:38]
661*2^1529329-1 is not prime.  Res64: AA5E2A87FB3B693B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:06:43]
859*2^1529323-1 is not prime.  Res64: 5E8E47700A9FA874  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:06:44]
717*2^1529324-1 is not prime.  Res64: FD319E76FC88B9FF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:06:46]
719*2^1529324-1 is not prime.  Res64: D523C48D40C9F5E2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:06:47]
753*2^1529324-1 is not prime.  Res64: CC9A16218AFB102C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:06:49]
813*2^1529324-1 is not prime.  Res64: 993DF3E0EDA4E755  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:00]
961*2^1529325-1 is not prime.  Res64: AABA91EF9276BB56  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:01]
997*2^1529325-1 is not prime.  Res64: C917283AB9270E00  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:01]
999*2^1529325-1 is not prime.  Res64: 8F81B02BC45646D0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:01]
777*2^1529326-1 is not prime.  Res64: 75F79609A8CA34B8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:02]
785*2^1529326-1 is not prime.  Res64: FDD4B539790C463E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:05]
811*2^1529325-1 is not prime.  Res64: 8AACE492356AC7FD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:05]
861*2^1529325-1 is not prime.  Res64: ECFEEC649D791781  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:06]
891*2^1529325-1 is not prime.  Res64: 038938A948617092  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:06]
927*2^1529325-1 is not prime.  Res64: 1C3C386C571D7C5B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:17:07]
951*2^1529325-1 is not prime.  Res64: 7B2EE7F3367B1B7D  Time : 0.0 sec.
user=odicin
[2018-10-27 09:18:29]
729*2^1529329-1 is not prime.  Res64: D0FC9BE1AC53A779  Time : 0.0 sec.
user=odicin
[2018-10-27 09:18:29]
741*2^1529329-1 is not prime.  Res64: E8B5632063F574B7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:27:18]
885*2^1529327-1 is not prime.  Res64: A4C7DE9CC50D27DB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:27:18]
939*2^1529327-1 is not prime.  Res64: A8A42E732A95EB24  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:27:19]
705*2^1529328-1 is not prime.  Res64: 0A0E4FF2F293F214  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:27:19]
765*2^1529328-1 is not prime.  Res64: AEF83AB9BECBDE6D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:27:20]
977*2^1529328-1 is not prime.  Res64: A142B3B211A7B35D  Time : 0.0 sec.
user=odicin
[2018-10-27 09:34:18]
769*2^1529329-1 is not prime.  Res64: F88A9279AF6EE40D  Time : 0.0 sec.
user=odicin
[2018-10-27 09:34:18]
877*2^1529329-1 is not prime.  Res64: 4792EF946C0A7797  Time : 0.0 sec.
user=odicin
[2018-10-27 09:40:51]
657*2^1529332-1 is not prime.  Res64: 127157E939230DD5  Time : 0.0 sec.
user=odicin
[2018-10-27 09:40:52]
855*2^1529332-1 is not prime.  Res64: ABF2D23171C74DB2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:58:10]
909*2^1529329-1 is not prime.  Res64: 4F194ECA6A4ED4D0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:58:11]
919*2^1529329-1 is not prime.  Res64: 0DCC30BA655B083B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:58:11]
931*2^1529329-1 is not prime.  Res64: DC419DE1EAEBD988  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:58:11]
675*2^1529330-1 is not prime.  Res64: 88CB4DBAD90DD903  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 09:58:12]
701*2^1529330-1 is not prime.  Res64: 4FF09F4F4A4A6626  Time : 0.0 sec.
user=odicin
[2018-10-27 10:02:15]
815*2^1529334-1 is not prime.  Res64: 8B69BCCD002D01EF  Time : 0.0 sec.
user=odicin
[2018-10-27 10:02:16]
851*2^1529334-1 is not prime.  Res64: 4B363AC9D733784F  Time : 0.0 sec.
user=odicin
[2018-10-27 10:03:13]
861*2^1529334-1 is not prime.  Res64: 20CFCC2CAC5DACBA  Time : 0.0 sec.
user=odicin
[2018-10-27 10:03:14]
893*2^1529334-1 is not prime.  Res64: E5B034456D6E1B94  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:19]
731*2^1529330-1 is not prime.  Res64: 56BFAE5BE7AEA641  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:19]
741*2^1529330-1 is not prime.  Res64: B4977BCC01E14560  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:20]
753*2^1529330-1 is not prime.  Res64: 203489E6DF33E8D9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:21]
843*2^1529330-1 is not prime.  Res64: C42AA2964E9CC83B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:22]
971*2^1529330-1 is not prime.  Res64: D9423ECFB276363A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:41]
741*2^1529331-1 is not prime.  Res64: F1432B9E7F781348  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:42]
801*2^1529331-1 is not prime.  Res64: C30FED8348998111  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:43]
823*2^1529331-1 is not prime.  Res64: FC84E6EBA72C277A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:44]
859*2^1529331-1 is not prime.  Res64: F85E5255B145D285  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:08:45]
609*2^1529332-1 is not prime.  Res64: 3D2CA69BF9050136  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:18:35]
795*2^1529333-1 is not prime.  Res64: 417D89E8C3D6D5BB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:18:35]
991*2^1529333-1 is not prime.  Res64: 5644145F3824B38A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:18:35]
627*2^1529334-1 is not prime.  Res64: F058F96B89D455A2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:18:36]
641*2^1529334-1 is not prime.  Res64: 95BF1E876386F402  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:18:36]
741*2^1529334-1 is not prime.  Res64: 58885A0E12C44FBA  Time : 0.0 sec.
user=odicin
[2018-10-27 10:25:36]
933*2^1529335-1 is not prime.  Res64: D5C73454CEB1F9EF  Time : 0.0 sec.
user=odicin
[2018-10-27 10:25:37]
683*2^1529336-1 is not prime.  Res64: F99710181444B4C5  Time : 0.0 sec.
user=odicin
[2018-10-27 10:30:17]
819*2^1529335-1 is not prime.  Res64: 02A555C22C9AFD9D  Time : 0.0 sec.
user=odicin
[2018-10-27 10:30:17]
883*2^1529335-1 is not prime.  Res64: 3DE4A9F411DDB289  Time : 0.0 sec.
user=odicin
[2018-10-27 10:47:57]
629*2^1529340-1 is not prime.  Res64: CB9A420F50C08C75  Time : 0.0 sec.
user=odicin
[2018-10-27 10:47:57]
639*2^1529341-1 is not prime.  Res64: E2E1A8ECD469EC0F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:49:39]
923*2^1529334-1 is not prime.  Res64: 676F336E4B109D7D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:49:39]
947*2^1529334-1 is not prime.  Res64: 171053013AF19896  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:49:39]
603*2^1529335-1 is not prime.  Res64: FBA12C5259D42356  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:49:40]
661*2^1529335-1 is not prime.  Res64: CAA35EF3BC613F86  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:49:40]
771*2^1529335-1 is not prime.  Res64: 5D3D6AD4BD1DE516  Time : 0.0 sec.
user=odicin
[2018-10-27 10:58:36]
745*2^1529341-1 is not prime.  Res64: BDEBAAAFD4512DA9  Time : 0.0 sec.
user=odicin
[2018-10-27 10:58:37]
757*2^1529341-1 is not prime.  Res64: BF187130986340EA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:59:55]
617*2^1529338-1 is not prime.  Res64: C378FC823CE9F34D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:59:55]
677*2^1529338-1 is not prime.  Res64: 1E21B45CBF602860  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:59:56]
765*2^1529338-1 is not prime.  Res64: 934C94095EC404F8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:59:56]
827*2^1529338-1 is not prime.  Res64: 404472879D1DAADF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 10:59:56]
995*2^1529338-1 is not prime.  Res64: 95A193F1269DD8FC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:00:08]
755*2^1529336-1 is not prime.  Res64: 8E35C438722E4A4E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:00:08]
717*2^1529337-1 is not prime.  Res64: 9E817DCBD782C796  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:00:08]
747*2^1529337-1 is not prime.  Res64: 09B73C11B3F02A8C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:00:09]
865*2^1529337-1 is not prime.  Res64: C1AA4E467C34B1D1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:00:09]
889*2^1529337-1 is not prime.  Res64: B9F8D26FEFA9F53D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:10:06]
633*2^1529339-1 is not prime.  Res64: 1DCD7B4DC0C5168D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:10:06]
669*2^1529339-1 is not prime.  Res64: 84B73B35D7282178  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:10:07]
685*2^1529339-1 is not prime.  Res64: 1FBB16AC8809F7AF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:10:07]
711*2^1529339-1 is not prime.  Res64: 3634DC622219860B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:10:08]
853*2^1529339-1 is not prime.  Res64: 968332239EEC67C9  Time : 0.0 sec.
user=odicin
[2018-10-27 11:10:16]
777*2^1529341-1 is not prime.  Res64: 827AF4B34BBA1892  Time : 0.0 sec.
user=odicin
[2018-10-27 11:10:16]
861*2^1529341-1 is not prime.  Res64: CA2EFFB9A7A1E401  Time : 0.0 sec.
user=odicin
[2018-10-27 11:26:53]
639*2^1529343-1 is not prime.  Res64: 8FD5224ECBF63484  Time : 0.0 sec.
user=odicin
[2018-10-27 11:26:53]
741*2^1529343-1 is not prime.  Res64: 1558AB99064CAFAE  Time : 0.0 sec.
user=odicin
[2018-10-27 11:32:35]
861*2^1529345-1 is not prime.  Res64: 06BEAA58CD77D55D  Time : 0.0 sec.
user=odicin
[2018-10-27 11:32:35]
705*2^1529346-1 is not prime.  Res64: 4480E91EA13F7D7A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:42:01]
603*2^1529342-1 is not prime.  Res64: 23616D92861502E1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:42:02]
665*2^1529342-1 is not prime.  Res64: 791FC8E0E96B58F2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:42:02]
731*2^1529342-1 is not prime.  Res64: 1E81D2169438E9EE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:42:02]
785*2^1529342-1 is not prime.  Res64: 9B30C0FAC29D6BB5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:42:03]
613*2^1529343-1 is not prime.  Res64: 7463930C7D157BF9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:31]
763*2^1529343-1 is not prime.  Res64: 649C401F3AD2299B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:31]
823*2^1529343-1 is not prime.  Res64: 83A477E592392E89  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:32]
853*2^1529343-1 is not prime.  Res64: 85A964C323C79F80  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:32]
885*2^1529343-1 is not prime.  Res64: 87EC16D0CD065568  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:32]
895*2^1529343-1 is not prime.  Res64: 2E990C6FE87B9BC1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:46]
901*2^1529343-1 is not prime.  Res64: D0F321EF0318D058  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:46]
629*2^1529344-1 is not prime.  Res64: 16BFEF60D3D6A10A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:47]
645*2^1529344-1 is not prime.  Res64: 0A0E40C359D3143C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:47]
917*2^1529344-1 is not prime.  Res64: C42D40CA402225D2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 11:52:47]
685*2^1529345-1 is not prime.  Res64: 84796AE00066E853  Time : 0.0 sec.
user=odicin
[2018-10-27 11:54:48]
737*2^1529346-1 is not prime.  Res64: 382F1D0424DE3155  Time : 0.0 sec.
user=odicin
[2018-10-27 11:54:49]
783*2^1529346-1 is not prime.  Res64: 8D12F756DD8153DF  Time : 0.0 sec.
user=odicin
[2018-10-27 11:54:53]
825*2^1529346-1 is not prime.  Res64: 80D388206C84328A  Time : 0.0 sec.
user=odicin
[2018-10-27 11:54:53]
905*2^1529346-1 is not prime.  Res64: 8D3ADD2EE884A17F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:02:45]
697*2^1529345-1 is not prime.  Res64: 10D1BDE1EF384B01  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:02:46]
699*2^1529345-1 is not prime.  Res64: A960E7A98BD0A8CD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:02:47]
759*2^1529345-1 is not prime.  Res64: ABD6E3B5A48F797B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:02:47]
787*2^1529345-1 is not prime.  Res64: 7D523300A876FB52  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:02:48]
855*2^1529345-1 is not prime.  Res64: C6297F1DFD19FBBD  Time : 0.0 sec.
user=odicin
[2018-10-27 12:17:13]
661*2^1529349-1 is not prime.  Res64: 218C4C2CEDABA310  Time : 0.0 sec.
user=odicin
[2018-10-27 12:17:13]
741*2^1529349-1 is not prime.  Res64: 160F8F90D2C2DA75  Time : 0.0 sec.
user=odicin
[2018-10-27 12:22:35]
601*2^1529349-1 is not prime.  Res64: E691892FEC2077C1  Time : 0.0 sec.
user=odicin
[2018-10-27 12:22:35]
657*2^1529349-1 is not prime.  Res64: E068A6CD0061DDBA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:33:46]
945*2^1529346-1 is not prime.  Res64: 36A97B9890F534BC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:33:46]
975*2^1529346-1 is not prime.  Res64: DEE7EB37A3975C50  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:33:46]
993*2^1529346-1 is not prime.  Res64: 06C0366A7CF2A0C7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:33:47]
601*2^1529347-1 is not prime.  Res64: 6A94B8BD39C5326F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:33:47]
625*2^1529347-1 is not prime.  Res64: 766CA2753D07E585  Time : 0.0 sec.
user=odicin
[2018-10-27 12:39:30]
955*2^1529349-1 is not prime.  Res64: DE9168DA683DDE97  Time : 0.0 sec.
user=odicin
[2018-10-27 12:39:30]
991*2^1529349-1 is not prime.  Res64: D8443FDFDDA25C09  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:06]
663*2^1529347-1 is not prime.  Res64: FAC303C5ABAC25B9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:06]
805*2^1529347-1 is not prime.  Res64: D5563D3865D6FA45  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:07]
861*2^1529347-1 is not prime.  Res64: 5291D9AEFECAA8A2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:07]
951*2^1529347-1 is not prime.  Res64: B5481464A372235B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:07]
623*2^1529348-1 is not prime.  Res64: 559162357E75B5B5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:46]
659*2^1529348-1 is not prime.  Res64: 5EC5D32A61DC2A44  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:47]
797*2^1529348-1 is not prime.  Res64: 1ADB83D473D4DF4B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:47]
885*2^1529348-1 is not prime.  Res64: 4EB55B4A6917E505  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:48]
897*2^1529348-1 is not prime.  Res64: CC962B337292226B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:44:48]
929*2^1529348-1 is not prime.  Res64: 0BC21322C7C31600  Time : 0.0 sec.
user=odicin
[2018-10-27 12:50:25]
651*2^1529350-1 is not prime.  Res64: 0C90A3655A2D1D38  Time : 0.0 sec.
user=odicin
[2018-10-27 12:50:26]
657*2^1529350-1 is not prime.  Res64: A072E0F68895BCE6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:54:22]
747*2^1529349-1 is not prime.  Res64: 0284BCA16EBDF07D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:54:22]
759*2^1529349-1 is not prime.  Res64: 8FE6CDA2EC75E952  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:54:23]
831*2^1529349-1 is not prime.  Res64: 865AB408351F0DF8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:54:23]
867*2^1529349-1 is not prime.  Res64: D3B0408CD38C492A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 12:54:24]
891*2^1529349-1 is not prime.  Res64: 851F7C474E6BC030  Time : 0.0 sec.
user=odicin
[2018-10-27 13:01:47]
601*2^1529351-1 is not prime.  Res64: 83DD832FECBA7918  Time : 0.0 sec.
user=odicin
[2018-10-27 13:01:48]
609*2^1529351-1 is not prime.  Res64: 004414C281FC8454  Time : 0.0 sec.
user=odicin
[2018-10-27 13:18:17]
999*2^1529352-1 is not prime.  Res64: 433B67DD5EEF2D2F  Time : 0.0 sec.
user=odicin
[2018-10-27 13:18:18]
651*2^1529353-1 is not prime.  Res64: 009814873B22162C  Time : 0.0 sec.
user=odicin
[2018-10-27 13:24:05]
633*2^1529354-1 is not prime.  Res64: 089310142FFBD99F  Time : 0.0 sec.
user=odicin
[2018-10-27 13:24:05]
665*2^1529354-1 is not prime.  Res64: 68EE51833C49DDA7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:27:03]
831*2^1529350-1 is not prime.  Res64: 691C41E0A898FA87  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:27:04]
915*2^1529350-1 is not prime.  Res64: CF5821CE8344C5BC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:27:04]
933*2^1529350-1 is not prime.  Res64: BC85F579C5EB6D26  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:27:04]
945*2^1529350-1 is not prime.  Res64: E995342429F507B7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:27:04]
987*2^1529350-1 is not prime.  Res64: 3CBFE4088816A5C0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:37:40]
759*2^1529351-1 is not prime.  Res64: 613C9E38BAB0FCB9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:37:40]
783*2^1529351-1 is not prime.  Res64: 8196A4B1B338007D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:37:41]
829*2^1529351-1 is not prime.  Res64: A783FAA041C0EF4D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:37:41]
615*2^1529352-1 is not prime.  Res64: 4F17FC862B3D1DC1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:37:42]
623*2^1529352-1 is not prime.  Res64: C44E22E518A18D49  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:38:13]
635*2^1529352-1 is not prime.  Res64: 1EAD89A08EA7F750  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:38:14]
759*2^1529352-1 is not prime.  Res64: 4FC4296265CB8C3D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:38:14]
825*2^1529352-1 is not prime.  Res64: 58836A7D7FDE61BF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:38:14]
857*2^1529352-1 is not prime.  Res64: 3D6832511C715993  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:38:15]
917*2^1529352-1 is not prime.  Res64: C66B04F9BF471B38  Time : 0.0 sec.
user=odicin
[2018-10-27 13:46:11]
747*2^1529354-1 is not prime.  Res64: 262B8BA3312DAC38  Time : 0.0 sec.
user=odicin
[2018-10-27 13:46:11]
875*2^1529354-1 is not prime.  Res64: 2E8780EFA5627FB1  Time : 0.0 sec.
user=odicin
[2018-10-27 13:46:22]
1001*2^1529354-1 is not prime.  Res64: 78CC56C716EF25BF  Time : 0.0 sec.
user=odicin
[2018-10-27 13:46:22]
651*2^1529355-1 is not prime.  Res64: 27EBB388875B48F0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:48:22]
729*2^1529353-1 is not prime.  Res64: AB2D985FAFD27784  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:48:22]
801*2^1529353-1 is not prime.  Res64: 198ECBF569CB24D1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:48:23]
819*2^1529353-1 is not prime.  Res64: 2757F2AC239C5C94  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:48:23]
889*2^1529353-1 is not prime.  Res64: C27F300AE2AE37FB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 13:48:24]
985*2^1529353-1 is not prime.  Res64: BBF08FFBEBBB9220  Time : 0.0 sec.
user=odicin
[2018-10-27 14:08:39]
663*2^1529359-1 is not prime.  Res64: BDE82AA7EEA713AE  Time : 0.0 sec.
user=odicin
[2018-10-27 14:08:39]
745*2^1529359-1 is not prime.  Res64: A6BFC9A9AAEE7B5F  Time : 0.0 sec.
user=odicin
[2018-10-27 14:14:03]
861*2^1529358-1 is not prime.  Res64: 502873A14FC0BBE6  Time : 0.0 sec.
user=odicin
[2018-10-27 14:14:04]
621*2^1529359-1 is not prime.  Res64: 531F1B7CA6A7A255  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:27:26]
781*2^1529355-1 is not prime.  Res64: B57E6976AB0301C1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:27:26]
903*2^1529355-1 is not prime.  Res64: B982F765E16BB043  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:27:27]
909*2^1529355-1 is not prime.  Res64: 7CA47D89B5DC0B68  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:27:27]
991*2^1529355-1 is not prime.  Res64: FCC876C28EE4C674  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:27:28]
999*2^1529355-1 is not prime.  Res64: 00C1B46AD61B77E6  Time : 0.0 sec.
user=odicin
[2018-10-27 14:31:06]
819*2^1529360-1 is not prime.  Res64: 64A8226FA0328D41  Time : 0.0 sec.
user=odicin
[2018-10-27 14:31:06]
879*2^1529360-1 is not prime.  Res64: 16FCC083F7FAE714  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:35:57]
663*2^1529356-1 is not prime.  Res64: D157D34CEE054424  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:35:58]
813*2^1529356-1 is not prime.  Res64: 273AF5DB3018A0F2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:35:58]
903*2^1529356-1 is not prime.  Res64: 47D4815C68DBF015  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:35:59]
999*2^1529356-1 is not prime.  Res64: 8BAFF28F908157CF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:35:59]
699*2^1529357-1 is not prime.  Res64: E3DC98D65C98D6C8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:37:20]
901*2^1529357-1 is not prime.  Res64: 9068166E58AEB56A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:37:20]
945*2^1529357-1 is not prime.  Res64: 5038BDF368C22E96  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:37:21]
621*2^1529358-1 is not prime.  Res64: ED713AD789611E7A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:37:21]
663*2^1529358-1 is not prime.  Res64: C52C87EC27205E92  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:37:22]
725*2^1529358-1 is not prime.  Res64: 7FF6A4AD9938E755  Time : 0.0 sec.
user=odicin
[2018-10-27 14:41:52]
923*2^1529360-1 is not prime.  Res64: 1A16D97716A593F0  Time : 0.0 sec.
user=odicin
[2018-10-27 14:41:53]
669*2^1529361-1 is not prime.  Res64: 383861EF9D160DAD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:46:32]
769*2^1529359-1 is not prime.  Res64: F17DD099C86A1AEF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:46:32]
789*2^1529359-1 is not prime.  Res64: 38AE5723472B83AB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:46:32]
873*2^1529359-1 is not prime.  Res64: D13ED938834C9A5E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:46:33]
885*2^1529359-1 is not prime.  Res64: 8B5DB915F25A9688  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 14:46:33]
933*2^1529359-1 is not prime.  Res64: 505BEA0238B51B97  Time : 0.0 sec.
user=odicin
[2018-10-27 14:53:21]
603*2^1529362-1 is not prime.  Res64: 33EF0A3DECDE7A10  Time : 0.0 sec.
user=odicin
[2018-10-27 14:53:21]
665*2^1529362-1 is not prime.  Res64: 2A0F0BF5BFE3C587  Time : 0.0 sec.
user=odicin
[2018-10-27 15:09:45]
699*2^1529363-1 is not prime.  Res64: E319EFF2314EF44E  Time : 0.0 sec.
user=odicin
[2018-10-27 15:09:46]
895*2^1529363-1 is not prime.  Res64: 8667E7E34A191852  Time : 0.0 sec.
user=odicin
[2018-10-27 15:15:38]
859*2^1529365-1 is not prime.  Res64: 6C4FB8E8B06BA31B  Time : 0.0 sec.
user=odicin
[2018-10-27 15:15:38]
885*2^1529365-1 is not prime.  Res64: A56AF78F69B83FB0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:18:35]
739*2^1529361-1 is not prime.  Res64: F733557DD34ED56E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:18:36]
747*2^1529361-1 is not prime.  Res64: 6E7420854915347F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:18:36]
807*2^1529361-1 is not prime.  Res64: 9E63D8DB674F3BD1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:18:36]
907*2^1529361-1 is not prime.  Res64: 969E4BCECB0FB877  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:18:37]
951*2^1529361-1 is not prime.  Res64: 18AD21842A35759E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:26:56]
671*2^1529362-1 is not prime.  Res64: F3DE7DAD84097894  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:26:56]
677*2^1529362-1 is not prime.  Res64: 9D418D2C7FEE41E8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:26:57]
821*2^1529362-1 is not prime.  Res64: 5353140F1DE17F00  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:26:57]
911*2^1529362-1 is not prime.  Res64: EA47E69B32F4C593  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:26:58]
915*2^1529362-1 is not prime.  Res64: 61E5F65BED894878  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:28:38]
917*2^1529362-1 is not prime.  Res64: 7C984D233D3299DD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:28:38]
951*2^1529362-1 is not prime.  Res64: 02CF80CCE8365627  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:28:39]
975*2^1529362-1 is not prime.  Res64: 0FD50EA5B610F361  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:28:39]
983*2^1529362-1 is not prime.  Res64: 966071CE72683A2C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:28:40]
1001*2^1529362-1 is not prime.  Res64: FA83553B2E02311C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:37:32]
991*2^1529363-1 is not prime.  Res64: D6E83C7793ED237E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:37:32]
689*2^1529364-1 is not prime.  Res64: 33394A7556453FC0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:37:33]
707*2^1529364-1 is not prime.  Res64: 1F5F40A1B06A0045  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:37:33]
993*2^1529364-1 is not prime.  Res64: 15909B502A849DF4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 15:37:33]
661*2^1529365-1 is not prime.  Res64: F3A9C0FAE60352C9  Time : 0.0 sec.
user=odicin
[2018-10-27 15:37:45]
937*2^1529365-1 is not prime.  Res64: 02A69475CD4A0278  Time : 0.0 sec.
user=odicin
[2018-10-27 15:37:46]
961*2^1529365-1 is not prime.  Res64: CE123719846311E6  Time : 0.0 sec.
user=odicin
[2018-10-27 15:37:54]
617*2^1529366-1 is not prime.  Res64: 631106E626C332B0  Time : 0.0 sec.
user=odicin
[2018-10-27 15:37:55]
677*2^1529366-1 is not prime.  Res64: A64CB1ECC7237909  Time : 0.0 sec.
user=odicin
[2018-10-27 16:00:32]
927*2^1529370-1 is not prime.  Res64: 6BB6C39AFE9695C4  Time : 0.0 sec.
user=odicin
[2018-10-27 16:00:33]
945*2^1529370-1 is not prime.  Res64: 10B76EC95281B255  Time : 0.0 sec.
user=odicin
[2018-10-27 16:05:42]
801*2^1529370-1 is not prime.  Res64: 5454448797F12F7D  Time : 0.0 sec.
user=odicin
[2018-10-27 16:05:47]
803*2^1529370-1 is not prime.  Res64: DBF81063921F91A5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:09:22]
717*2^1529366-1 is not prime.  Res64: C10E9A995E0B3A03  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:09:23]
741*2^1529366-1 is not prime.  Res64: 7E07EFD805C8FC12  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:09:23]
867*2^1529366-1 is not prime.  Res64: B38242582791E8F7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:09:24]
957*2^1529366-1 is not prime.  Res64: 95666164485EE04E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:09:24]
633*2^1529367-1 is not prime.  Res64: 9A02532FCBD02728  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:18:39]
669*2^1529367-1 is not prime.  Res64: A07F42A07B08114E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:18:39]
975*2^1529367-1 is not prime.  Res64: 210F94C32BA53D46  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:18:40]
723*2^1529368-1 is not prime.  Res64: 08D6A00BBA00EFFE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:18:40]
887*2^1529368-1 is not prime.  Res64: CBAECC8A0865413A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:18:40]
969*2^1529368-1 is not prime.  Res64: DFEC3FCBC77957BA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:20:08]
989*2^1529368-1 is not prime.  Res64: 334A74F715D58687  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:20:09]
999*2^1529368-1 is not prime.  Res64: 0C93686EA6F9BEE5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:20:09]
747*2^1529369-1 is not prime.  Res64: 8C7109406FE07706  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:20:10]
789*2^1529369-1 is not prime.  Res64: C83B5981A4650080  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:20:10]
897*2^1529369-1 is not prime.  Res64: 2F269A33AAB18BBF  Time : 0.0 sec.
user=odicin
[2018-10-27 16:23:32]
971*2^1529370-1 is not prime.  Res64: CFA946AB7C6892C4  Time : 0.0 sec.
user=odicin
[2018-10-27 16:23:32]
769*2^1529371-1 is not prime.  Res64: E314C02C1A3001F6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:29:56]
969*2^1529369-1 is not prime.  Res64: 3D9E9CD24E227C55  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:29:57]
635*2^1529370-1 is not prime.  Res64: A971CB9E1396CAEC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:29:57]
711*2^1529370-1 is not prime.  Res64: C7C770FBD52DE9C3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:29:58]
713*2^1529370-1 is not prime.  Res64: E2DB19F0003C3A2A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 16:29:58]
777*2^1529370-1 is not prime.  Res64: 63C8B11B9971D502  Time : 0.0 sec.
user=odicin
[2018-10-27 16:34:30]
885*2^1529371-1 is not prime.  Res64: 50C3E17B2CF207AA  Time : 0.0 sec.
user=odicin
[2018-10-27 16:34:30]
889*2^1529371-1 is not prime.  Res64: 364A21BDC6DB4D04  Time : 0.0 sec.
user=odicin
[2018-10-27 16:46:26]
765*2^1529374-1 is not prime.  Res64: E2B4FD97E96D505F  Time : 0.0 sec.
user=odicin
[2018-10-27 16:46:26]
825*2^1529374-1 is not prime.  Res64: 9B26145C241D8C7C  Time : 0.0 sec.
user=odicin
[2018-10-27 17:02:23]
865*2^1529375-1 is not prime.  Res64: 6E432EEB75AB5851  Time : 0.0 sec.
user=odicin
[2018-10-27 17:02:25]
871*2^1529375-1 is not prime.  Res64: 6D5C5683B24DA490  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:06:11]
633*2^1529372-1 is not prime.  Res64: 40713944C7EA691E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:06:12]
657*2^1529372-1 is not prime.  Res64: 798A40C63F976AE8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:06:13]
683*2^1529372-1 is not prime.  Res64: 3BF2D0CAA57B2142  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:06:14]
693*2^1529372-1 is not prime.  Res64: 31994D51F5EFC1D9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:06:15]
753*2^1529372-1 is not prime.  Res64: 4FE1C371BB5FE1E2  Time : 0.0 sec.
user=odicin
[2018-10-27 17:09:25]
999*2^1529375-1 is not prime.  Res64: C17D996C327544D2  Time : 0.0 sec.
user=odicin
[2018-10-27 17:09:26]
693*2^1529376-1 is not prime.  Res64: 3AD82C964F22E5A4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:16:09]
825*2^1529372-1 is not prime.  Res64: AA84CF1E3C20938C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:16:09]
833*2^1529372-1 is not prime.  Res64: ECF0BD323A91C99D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:16:09]
885*2^1529372-1 is not prime.  Res64: 0E7ACBF3CADBEE99  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:16:10]
999*2^1529372-1 is not prime.  Res64: 72D62A199F32DD48  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:16:10]
621*2^1529373-1 is not prime.  Res64: 2FC41F42E31784B8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:18:19]
787*2^1529373-1 is not prime.  Res64: 00363AD7F926B0AC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:18:20]
849*2^1529373-1 is not prime.  Res64: 6B25965E9CCFC5B5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:18:20]
877*2^1529373-1 is not prime.  Res64: 4305687EA6E259B9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:18:20]
961*2^1529373-1 is not prime.  Res64: 46E2B7A2DBCADFB9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:18:21]
611*2^1529374-1 is not prime.  Res64: 93A6D35E664E7E62  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:26:30]
915*2^1529374-1 is not prime.  Res64: 61D22DA65FC6D200  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:26:30]
987*2^1529374-1 is not prime.  Res64: 842075FDF069F56C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:26:30]
609*2^1529375-1 is not prime.  Res64: 8FF45ADB164865D5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:26:31]
741*2^1529375-1 is not prime.  Res64: 54F6F379637ADECA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:26:31]
805*2^1529375-1 is not prime.  Res64: B0C0482E35AB37F1  Time : 0.0 sec.
user=odicin
[2018-10-27 17:30:42]
815*2^1529376-1 is not prime.  Res64: BF70A8039C7A7D3F  Time : 0.0 sec.
user=odicin
[2018-10-27 17:30:42]
825*2^1529376-1 is not prime.  Res64: 4CEF4DA7C311466F  Time : 0.0 sec.
user=odicin
[2018-10-27 17:32:23]
885*2^1529377-1 is not prime.  Res64: CF68A4E1EA1969E7  Time : 0.0 sec.
user=odicin
[2018-10-27 17:32:23]
895*2^1529377-1 is not prime.  Res64: 934BF80C328A6D4C  Time : 0.0 sec.
user=odicin
[2018-10-27 17:55:21]
857*2^1529380-1 is not prime.  Res64: 8DC26198BF4137A0  Time : 0.0 sec.
user=odicin
[2018-10-27 17:55:21]
897*2^1529380-1 is not prime.  Res64: B49983563A4918EB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:58:21]
845*2^1529376-1 is not prime.  Res64: 67B8B8765412BF52  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:58:21]
625*2^1529377-1 is not prime.  Res64: 09E075F3B1FA0A02  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:58:22]
637*2^1529377-1 is not prime.  Res64: BAA023AE24133613  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:58:22]
691*2^1529377-1 is not prime.  Res64: AC9DF0C8D5E3052E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 17:58:22]
847*2^1529377-1 is not prime.  Res64: BFA6ADE93BC1B16F  Time : 0.0 sec.
user=odicin
[2018-10-27 17:58:31]
803*2^1529380-1 is not prime.  Res64: 7ACE5CC65B7AFAE1  Time : 0.0 sec.
user=odicin
[2018-10-27 17:58:31]
813*2^1529380-1 is not prime.  Res64: 1297389DCB84596D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:07:06]
671*2^1529378-1 is not prime.  Res64: 8A2926193571E8CF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:07:06]
677*2^1529378-1 is not prime.  Res64: F12985CC8036112D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:07:07]
711*2^1529378-1 is not prime.  Res64: 1C122ECBACFBF422  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:07:07]
747*2^1529378-1 is not prime.  Res64: 609DF4A4CBC2BA1B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:07:08]
843*2^1529378-1 is not prime.  Res64: 17C470E913CACDE4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:09:11]
963*2^1529378-1 is not prime.  Res64: 7FD3EF320900BF73  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:09:12]
971*2^1529378-1 is not prime.  Res64: 72F5356EBAFFBF04  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:09:13]
993*2^1529378-1 is not prime.  Res64: E696368BC9AE70FD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:09:14]
633*2^1529379-1 is not prime.  Res64: 68241F67DFEDE978  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:09:15]
703*2^1529379-1 is not prime.  Res64: 5448489B75D1C184  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:17:25]
711*2^1529379-1 is not prime.  Res64: B2B31AF93AF154C2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:17:25]
879*2^1529379-1 is not prime.  Res64: C10458E3AE7C5718  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:17:26]
999*2^1529379-1 is not prime.  Res64: 4C0B4723D8F31372  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:17:26]
629*2^1529380-1 is not prime.  Res64: 6C8A1BAA7D4F71C9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:17:26]
785*2^1529380-1 is not prime.  Res64: EF0BDD519D956D67  Time : 0.0 sec.
user=odicin
[2018-10-27 18:18:21]
905*2^1529380-1 is not prime.  Res64: 45DF4FE9092B6AD8  Time : 0.0 sec.
user=odicin
[2018-10-27 18:18:22]
915*2^1529380-1 is not prime.  Res64: 86C79BAA33C1817B  Time : 0.0 sec.
user=odicin
[2018-10-27 18:26:20]
889*2^1529381-1 is not prime.  Res64: 1FD51C8FA792C7D1  Time : 0.0 sec.
user=odicin
[2018-10-27 18:26:20]
955*2^1529381-1 is not prime.  Res64: 0E963EA7D208703E  Time : 0.0 sec.
user=odicin
[2018-10-27 18:41:18]
615*2^1529384-1 is not prime.  Res64: 243DEFFBDF7FD15E  Time : 0.0 sec.
user=odicin
[2018-10-27 18:41:18]
617*2^1529384-1 is not prime.  Res64: 76C64A95C47D4256  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:49:01]
989*2^1529380-1 is not prime.  Res64: 2A3CF7DF53B5F2E5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:49:01]
715*2^1529381-1 is not prime.  Res64: 08122463ECA30375  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:49:02]
777*2^1529381-1 is not prime.  Res64: 451656277BA383ED  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:49:02]
789*2^1529381-1 is not prime.  Res64: 4F0211AFC6D5E9E7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:49:03]
811*2^1529381-1 is not prime.  Res64: 7F9B3A867E039808  Time : 0.0 sec.
user=odicin
[2018-10-27 18:53:59]
755*2^1529384-1 is not prime.  Res64: B2E1AC29D6094581  Time : 0.0 sec.
user=odicin
[2018-10-27 18:53:59]
785*2^1529384-1 is not prime.  Res64: 990B24D28EF00A20  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:57:52]
611*2^1529382-1 is not prime.  Res64: 5C2B6889B828C506  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:57:52]
627*2^1529382-1 is not prime.  Res64: 107A4E841FF23320  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:57:52]
741*2^1529382-1 is not prime.  Res64: 02877CE8D027F238  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:57:53]
747*2^1529382-1 is not prime.  Res64: 3BE6C2F6B46785D1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 18:57:53]
755*2^1529382-1 is not prime.  Res64: B6A6E9FC795FD5EF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:00:05]
765*2^1529382-1 is not prime.  Res64: 673AEBFC643F426C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:00:05]
777*2^1529382-1 is not prime.  Res64: 58A39518CC2BB73C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:00:06]
885*2^1529382-1 is not prime.  Res64: 3F394EA10CC73BFE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:00:06]
887*2^1529382-1 is not prime.  Res64: 4B016149F4EA11A4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:00:06]
977*2^1529382-1 is not prime.  Res64: 02D558BC2F6C659A  Time : 0.0 sec.
user=odicin
[2018-10-27 19:04:18]
825*2^1529384-1 is not prime.  Res64: 6B96A5CD4394FEFA  Time : 0.0 sec.
user=odicin
[2018-10-27 19:04:20]
843*2^1529384-1 is not prime.  Res64: AB6107A304771478  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:08:11]
685*2^1529383-1 is not prime.  Res64: D99884B1985EA90D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:08:13]
829*2^1529383-1 is not prime.  Res64: BB172D64432EEEC0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:08:14]
919*2^1529383-1 is not prime.  Res64: A4D1713139803EE0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:08:16]
933*2^1529383-1 is not prime.  Res64: 7E15CFFFAC8BF026  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:08:17]
961*2^1529383-1 is not prime.  Res64: 578200864187EDC5  Time : 0.0 sec.
user=odicin
[2018-10-27 19:21:36]
955*2^1529385-1 is not prime.  Res64: 66778242BF10B8DD  Time : 0.0 sec.
user=odicin
[2018-10-27 19:21:36]
979*2^1529385-1 is not prime.  Res64: 492EF3BECD184A17  Time : 0.0 sec.
user=odicin
[2018-10-27 19:27:18]
825*2^1529387-1 is not prime.  Res64: 123BD8ECA0F5D912  Time : 0.0 sec.
user=odicin
[2018-10-27 19:27:18]
883*2^1529387-1 is not prime.  Res64: AC22F96C05B26B2A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:39:58]
893*2^1529384-1 is not prime.  Res64: D8DD56F0876CFB07  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:39:59]
627*2^1529385-1 is not prime.  Res64: 7251822B0A73D03B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:39:59]
679*2^1529385-1 is not prime.  Res64: FD95F1A5F3BD9CC8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:39:59]
735*2^1529385-1 is not prime.  Res64: 1E07AEF5B4DC2421  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:40:00]
885*2^1529385-1 is not prime.  Res64: 3E91C178EB8641A8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:48:49]
623*2^1529386-1 is not prime.  Res64: 21025F4CAEFB37AC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:48:50]
677*2^1529386-1 is not prime.  Res64: 23428E138B0A6457  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:48:50]
803*2^1529386-1 is not prime.  Res64: C3175CF3347D727E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:48:50]
815*2^1529386-1 is not prime.  Res64: 49CCFF514CB845B3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:48:51]
825*2^1529386-1 is not prime.  Res64: 0EF3A707EF35F929  Time : 0.0 sec.
user=odicin
[2018-10-27 19:49:15]
625*2^1529389-1 is not prime.  Res64: DD39DD0DEAD43135  Time : 0.0 sec.
user=odicin
[2018-10-27 19:49:15]
757*2^1529389-1 is not prime.  Res64: 176C8C9D731C721E  Time : 0.0 sec.
user=odicin
[2018-10-27 19:50:18]
819*2^1529389-1 is not prime.  Res64: 83CE421A2A99078F  Time : 0.0 sec.
user=odicin
[2018-10-27 19:50:19]
855*2^1529389-1 is not prime.  Res64: E38D4CC4BE58C3D2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:50:58]
861*2^1529386-1 is not prime.  Res64: B2F621BA72736C6D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:50:58]
881*2^1529386-1 is not prime.  Res64: C1D95AD06056DD31  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:50:58]
975*2^1529386-1 is not prime.  Res64: 2AAF2AF7B4D2316A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:50:59]
609*2^1529387-1 is not prime.  Res64: 67BC8B6D1EB88D71  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:50:59]
813*2^1529387-1 is not prime.  Res64: 78AF3123D5B1EE55  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:59:15]
979*2^1529387-1 is not prime.  Res64: C5DA1C8B500D87D1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:59:16]
669*2^1529388-1 is not prime.  Res64: 5D6A9229479E68BF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:59:16]
753*2^1529388-1 is not prime.  Res64: 6095F45CB2D3D2A4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:59:17]
839*2^1529388-1 is not prime.  Res64: 755435CD91AE848E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 19:59:17]
999*2^1529388-1 is not prime.  Res64: 4565E1E617B4687E  Time : 0.0 sec.
user=odicin
[2018-10-27 20:13:16]
999*2^1529391-1 is not prime.  Res64: DED1172B483C6EA2  Time : 0.0 sec.
user=odicin
[2018-10-27 20:13:16]
675*2^1529392-1 is not prime.  Res64: 08B6F0008CF0E761  Time : 0.0 sec.
user=odicin
[2018-10-27 20:16:52]
901*2^1529391-1 is not prime.  Res64: EA369012559E6104  Time : 0.0 sec.
user=odicin
[2018-10-27 20:16:52]
909*2^1529391-1 is not prime.  Res64: A16D71F22D65A122  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:30:53]
675*2^1529390-1 is not prime.  Res64: F82595FD814895AC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:30:53]
713*2^1529390-1 is not prime.  Res64: A81E6ACFF3C1B03F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:30:54]
741*2^1529390-1 is not prime.  Res64: ACAEBF92A60589EB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:30:54]
767*2^1529390-1 is not prime.  Res64: 327CB8149270127A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:30:54]
867*2^1529390-1 is not prime.  Res64: 0A4BD9B566CBDDD1  Time : 0.0 sec.
user=odicin
[2018-10-27 20:36:18]
693*2^1529395-1 is not prime.  Res64: 04CE06E62ECBE4C3  Time : 0.0 sec.
user=odicin
[2018-10-27 20:36:19]
735*2^1529395-1 is not prime.  Res64: A5FC80F95EAD5020  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:39:59]
951*2^1529390-1 is not prime.  Res64: 3DB0F4002398E630  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:40:00]
619*2^1529391-1 is not prime.  Res64: B4BFC465126724CC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:40:00]
709*2^1529391-1 is not prime.  Res64: 3AADBCFAD7A6F6A7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:40:00]
825*2^1529391-1 is not prime.  Res64: 0BCA550EE9C8901A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:40:01]
861*2^1529391-1 is not prime.  Res64: 3E9850D76B89F9F9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:41:58]
915*2^1529392-1 is not prime.  Res64: 7590ED04EC080FDB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:41:58]
789*2^1529393-1 is not prime.  Res64: FB5210328DD206D2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:41:59]
795*2^1529393-1 is not prime.  Res64: A91643DA48D06579  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:41:59]
805*2^1529393-1 is not prime.  Res64: 231883A270902FB2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:41:59]
829*2^1529393-1 is not prime.  Res64: D2C8FF47F0F9E784  Time : 0.0 sec.
user=odicin
[2018-10-27 20:44:32]
741*2^1529395-1 is not prime.  Res64: 6AAEE8C9B9E92A9C  Time : 0.0 sec.
user=odicin
[2018-10-27 20:44:32]
789*2^1529395-1 is not prime.  Res64: FAC283006FB05A0B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:50:17]
837*2^1529393-1 is not prime.  Res64: AC0976202E96275A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:50:18]
885*2^1529393-1 is not prime.  Res64: 8FD853F05B12CA27  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:50:18]
881*2^1529394-1 is not prime.  Res64: DDD7740BE8E05736  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:50:18]
917*2^1529394-1 is not prime.  Res64: 9F50694A56488F48  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 20:50:19]
1001*2^1529394-1 is not prime.  Res64: A181C5B9AD64F01C  Time : 0.0 sec.
user=odicin
[2018-10-27 20:59:17]
833*2^1529396-1 is not prime.  Res64: 337B8CBA6FBA0335  Time : 0.0 sec.
user=odicin
[2018-10-27 20:59:18]
873*2^1529396-1 is not prime.  Res64: 2E73CBB29D11FFF3  Time : 0.0 sec.
user=odicin
[2018-10-27 21:12:12]
645*2^1529398-1 is not prime.  Res64: FC95936C9AB7C20D  Time : 0.0 sec.
user=odicin
[2018-10-27 21:12:12]
815*2^1529398-1 is not prime.  Res64: 551DBDD6DD4F1FB8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:21:47]
909*2^1529395-1 is not prime.  Res64: EC33CC5093AC8DEC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:21:48]
913*2^1529395-1 is not prime.  Res64: CA0A3C57192B4A57  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:21:48]
919*2^1529395-1 is not prime.  Res64: AEE596951EF4E771  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:21:49]
725*2^1529396-1 is not prime.  Res64: B70D469B95B85697  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:21:50]
749*2^1529396-1 is not prime.  Res64: F345D2049F0B2AF8  Time : 0.0 sec.
user=odicin
[2018-10-27 21:22:15]
645*2^1529399-1 is not prime.  Res64: A312617D2E57DDBA  Time : 0.0 sec.
user=odicin
[2018-10-27 21:22:15]
675*2^1529399-1 is not prime.  Res64: 44701A0C5A4C41AB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:30:47]
945*2^1529396-1 is not prime.  Res64: 4ED2267CB284DECF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:30:48]
649*2^1529397-1 is not prime.  Res64: 43D6DBEE75EEAE66  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:30:48]
765*2^1529397-1 is not prime.  Res64: BA2833634D82A3A7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:30:48]
819*2^1529397-1 is not prime.  Res64: 1D0D593116D894D3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:30:49]
825*2^1529397-1 is not prime.  Res64: 72F1DCEB37554634  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:32:48]
847*2^1529397-1 is not prime.  Res64: 4C8BB772C46A5E8E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:32:48]
861*2^1529397-1 is not prime.  Res64: BA648DC6A78F7E7C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:32:49]
891*2^1529397-1 is not prime.  Res64: FFABECA4C3A322D7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:32:49]
975*2^1529397-1 is not prime.  Res64: C6D8761AE2E5F10C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:32:50]
991*2^1529397-1 is not prime.  Res64: 5FA49F7BD2A6099C  Time : 0.0 sec.
user=odicin
[2018-10-27 21:39:56]
823*2^1529399-1 is not prime.  Res64: 3B7B836DC919AF72  Time : 0.0 sec.
user=odicin
[2018-10-27 21:39:56]
855*2^1529399-1 is not prime.  Res64: B4921097D6CE6700  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:41:11]
885*2^1529398-1 is not prime.  Res64: AB171C0D299D5EB8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:41:11]
951*2^1529398-1 is not prime.  Res64: F1D82A2C32082915  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:41:12]
615*2^1529399-1 is not prime.  Res64: 49EF929972525DE5  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:41:12]
619*2^1529399-1 is not prime.  Res64: FF8D0D18F67ACCDD  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 21:41:13]
633*2^1529399-1 is not prime.  Res64: 5822A972BBC2DEB1  Time : 0.0 sec.
user=odicin
[2018-10-27 21:45:10]
753*2^1529400-1 is not prime.  Res64: FB1B26D7BADDB657  Time : 0.0 sec.
user=odicin
[2018-10-27 21:45:10]
909*2^1529400-1 is not prime.  Res64: 97AC5B9C898CDA04  Time : 0.0 sec.
user=odicin
[2018-10-27 22:07:38]
663*2^1529403-1 is not prime.  Res64: 3811319E1CD7B6C3  Time : 0.0 sec.
user=odicin
[2018-10-27 22:07:39]
721*2^1529403-1 is not prime.  Res64: 9630BD66BA0EF09B  Time : 0.0 sec.
user=odicin
[2018-10-27 22:08:07]
663*2^1529404-1 is not prime.  Res64: 9657B5032CCF7F7E  Time : 0.0 sec.
user=odicin
[2018-10-27 22:08:09]
705*2^1529404-1 is not prime.  Res64: 3ADB0BC9396B8B7F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:12:37]
979*2^1529399-1 is not prime.  Res64: 0B2B2DB78A0DB8AC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:12:38]
669*2^1529400-1 is not prime.  Res64: 2063AE0E07683FAF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:12:38]
675*2^1529400-1 is not prime.  Res64: 06B759B3D365158E  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:12:39]
719*2^1529400-1 is not prime.  Res64: C7CF6DA66FC7D040  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:12:39]
723*2^1529400-1 is not prime.  Res64: DE111BA50D7E68EC  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:21:41]
681*2^1529401-1 is not prime.  Res64: 18C4DF3EC42DE33D  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:21:41]
799*2^1529401-1 is not prime.  Res64: E090EDFA278BF22C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:21:42]
945*2^1529401-1 is not prime.  Res64: B7C910ED43BFF00C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:21:42]
999*2^1529401-1 is not prime.  Res64: 50CCF0CC98A03B4A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:21:43]
633*2^1529402-1 is not prime.  Res64: 304B469A82C25DF0  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:23:52]
645*2^1529402-1 is not prime.  Res64: 4B813629572582C9  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:23:52]
735*2^1529402-1 is not prime.  Res64: 11C333C27FD32BAB  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:23:53]
935*2^1529402-1 is not prime.  Res64: 0F7B9AA372072AD6  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:23:53]
977*2^1529402-1 is not prime.  Res64: 96B83D0974B15E0A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:23:53]
609*2^1529403-1 is not prime.  Res64: 0E99E827BB2894A7  Time : 0.0 sec.
user=odicin
[2018-10-27 22:31:20]
607*2^1529405-1 is not prime.  Res64: A5481C1822A662E3  Time : 0.0 sec.
user=odicin
[2018-10-27 22:31:20]
655*2^1529405-1 is not prime.  Res64: 7DAA3C503CE765BF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:32:13]
723*2^1529403-1 is not prime.  Res64: C9CD7AC4C6157DA1  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:32:14]
735*2^1529403-1 is not prime.  Res64: B4B8C497F363761C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:32:14]
835*2^1529403-1 is not prime.  Res64: B5CD7383B5F2DC31  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:32:14]
955*2^1529403-1 is not prime.  Res64: 5BD56DE70EFEB5F3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 22:32:15]
635*2^1529404-1 is not prime.  Res64: 12244CD2D112F6A9  Time : 0.0 sec.
user=odicin
[2018-10-27 22:35:43]
843*2^1529404-1 is not prime.  Res64: AB123C6B1D8D3585  Time : 0.0 sec.
user=odicin
[2018-10-27 22:35:43]
989*2^1529404-1 is not prime.  Res64: CBF9D43AC85C1AF2  Time : 0.0 sec.
user=odicin
[2018-10-27 22:54:20]
1001*2^1529406-1 is not prime.  Res64: 49AEFB9879FBD884  Time : 0.0 sec.
user=odicin
[2018-10-27 22:54:21]
685*2^1529407-1 is not prime.  Res64: 56523B44B8A85F68  Time : 0.0 sec.
user=odicin
[2018-10-27 23:03:23]
629*2^1529408-1 is not prime.  Res64: 654BB8CF5E724EC6  Time : 0.0 sec.
user=odicin
[2018-10-27 23:03:24]
635*2^1529408-1 is not prime.  Res64: F4A6E849A9BB9B94  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:03:28]
711*2^1529405-1 is not prime.  Res64: 5FE893FFC309C5DA  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:03:29]
721*2^1529405-1 is not prime.  Res64: 405FF76C5547ED50  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:03:30]
787*2^1529405-1 is not prime.  Res64: 88F10CFBF2549238  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:03:31]
831*2^1529405-1 is not prime.  Res64: 06A348E7FF792CC2  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:03:32]
871*2^1529405-1 is not prime.  Res64: CBFEC87A4F5859A3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:12:37]
915*2^1529405-1 is not prime.  Res64: 0D7D338E5D1BC889  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:12:37]
987*2^1529405-1 is not prime.  Res64: 613D9ED385B0DC01  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:12:38]
677*2^1529406-1 is not prime.  Res64: 8412A21A0D2AF76B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:12:39]
693*2^1529406-1 is not prime.  Res64: 554ECABA109D5DD8  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:12:39]
711*2^1529406-1 is not prime.  Res64: 9E5A037DBBC3FA7B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:14:43]
713*2^1529406-1 is not prime.  Res64: E5A8B91D6ECDD5B7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:14:43]
755*2^1529406-1 is not prime.  Res64: 9D6AEFC11B4E7954  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:14:43]
765*2^1529406-1 is not prime.  Res64: 21C8C04E86F35E75  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:14:44]
873*2^1529406-1 is not prime.  Res64: 1378EFD24391C19C  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:14:44]
893*2^1529406-1 is not prime.  Res64: 3F72EA0838C87F4E  Time : 0.0 sec.
user=odicin
[2018-10-27 23:17:17]
699*2^1529408-1 is not prime.  Res64: 6FC16DED8A296D91  Time : 0.0 sec.
user=odicin
[2018-10-27 23:17:18]
713*2^1529408-1 is not prime.  Res64: 1AFC5E188205BFD3  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:23:03]
735*2^1529407-1 is not prime.  Res64: FCF2EF0D44366CA4  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:23:03]
793*2^1529407-1 is not prime.  Res64: ABFA22B981BE4FEF  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:23:04]
805*2^1529407-1 is not prime.  Res64: 58821C85F84A3731  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:23:04]
871*2^1529407-1 is not prime.  Res64: EB98E4BE8A4C87FE  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:23:04]
615*2^1529408-1 is not prime.  Res64: 27B606F3DF21F017  Time : 0.0 sec.
user=odicin
[2018-10-27 23:31:00]
813*2^1529408-1 is not prime.  Res64: E48353BD616493D0  Time : 0.0 sec.
user=odicin
[2018-10-27 23:31:00]
819*2^1529408-1 is not prime.  Res64: 541493E62826803A  Time : 0.0 sec.
user=odicin
[2018-10-27 23:40:15]
715*2^1529411-1 is not prime.  Res64: 3BC3E92F5ED866C4  Time : 0.0 sec.
user=odicin
[2018-10-27 23:40:16]
745*2^1529411-1 is not prime.  Res64: FB7E7305C550C528  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:54:28]
915*2^1529408-1 is not prime.  Res64: 01FE2C76CD83003B  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:54:29]
609*2^1529409-1 is not prime.  Res64: 24C2C0F8E741DE6F  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:54:29]
657*2^1529409-1 is not prime.  Res64: 52D51E9029CD0B6A  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:54:29]
709*2^1529409-1 is not prime.  Res64: 07A43092EA1CC6C7  Time : 0.0 sec.
user=mdettweiler
[2018-10-27 23:54:30]
769*2^1529409-1 is not prime.  Res64: A066835456A0DBB5  Time : 0.0 sec.
user=odicin
[2018-10-27 23:58:41]
965*2^1529412-1 is not prime.  Res64: 89279449983B4D6F  Time : 0.0 sec.
user=odicin
[2018-10-27 23:58:41]
691*2^1529413-1 is not prime.  Res64: 850C8C7D13F37A78  Time : 0.0 sec.