user=mdettweiler
[2015-05-07 01:22:16]
999*2^1398551-1 is not prime.  Res64: 3C3EA54ED282046A  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 01:22:17]
689*2^1398552-1 is not prime.  Res64: 7C61F76E27F61AA9  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 01:45:37]
723*2^1398552-1 is not prime.  Res64: 80E9DD6C64609164  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 01:45:38]
815*2^1398552-1 is not prime.  Res64: 03FCC11FDE354498  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 01:59:22]
855*2^1398551-1 is not prime.  Res64: AB4BA4C5067E4732  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 01:59:22]
895*2^1398551-1 is not prime.  Res64: B9774A223010EF26  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:02:26]
735*2^1398551-1 is not prime.  Res64: BF3283C83CDA5BB1  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:02:27]
823*2^1398551-1 is not prime.  Res64: 4540209D9C7F18CF  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:02:56]
965*2^1398550-1 is not prime.  Res64: 062893A6C2DC7F62  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:02:57]
909*2^1398551-1 is not prime.  Res64: E3E3A58B162AD96F  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:06:31]
873*2^1398552-1 is not prime.  Res64: 669D0F7F99C98D73  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:06:31]
903*2^1398552-1 is not prime.  Res64: 4040E6E0028378C7  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:17:54]
959*2^1398552-1 is not prime.  Res64: 8DB903DE076EC02E  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:17:54]
983*2^1398552-1 is not prime.  Res64: 10C334426BD624A6  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:20:33]
615*2^1398553-1 is not prime.  Res64: 11987B330D268D18  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:20:34]
619*2^1398553-1 is not prime.  Res64: 7AF31B25852B9907  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:21:34]
715*2^1398553-1 is not prime.  Res64: 57C9561A28B95039  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:21:34]
729*2^1398553-1 is not prime.  Res64: 7CC07486CDBF7EFE  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:25:19]
789*2^1398553-1 is not prime.  Res64: FEFEDFDAE71B0C80  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:25:19]
847*2^1398553-1 is not prime.  Res64: 49D089D3455D285A  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:36:15]
855*2^1398553-1 is not prime.  Res64: 0C4188103DEF2B6B  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:36:15]
861*2^1398553-1 is not prime.  Res64: 6942131B543983C2  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:38:24]
897*2^1398553-1 is not prime.  Res64: A1D74EAAA5C25714  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:38:24]
705*2^1398554-1 is not prime.  Res64: 1B61D1F51EBF7EF8  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:39:28]
707*2^1398554-1 is not prime.  Res64: 820A1ED13945BADE  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:39:29]
873*2^1398554-1 is not prime.  Res64: 36E262992E1443D4  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:42:50]
921*2^1398554-1 is not prime.  Res64: 2F98EAF1F501450C  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:42:50]
953*2^1398554-1 is not prime.  Res64: D17280C5E46FBAF5  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:53:51]
651*2^1398555-1 is not prime.  Res64: 2CCD96FF3724DFE4  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:53:51]
699*2^1398555-1 is not prime.  Res64: FEDF70A678C46754  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:55:58]
861*2^1398555-1 is not prime.  Res64: B0D24B0527A82040  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:55:59]
871*2^1398555-1 is not prime.  Res64: 435F18F28B3B2D13  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:57:04]
969*2^1398555-1 is not prime.  Res64: B063332AD2A74039  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 02:57:04]
743*2^1398556-1 is not prime.  Res64: 4B6B0D0997F30E95  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:00:22]
749*2^1398556-1 is not prime.  Res64: 315F621A41371D0D  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:00:23]
873*2^1398556-1 is not prime.  Res64: D71810D4D2679223  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:11:34]
875*2^1398556-1 is not prime.  Res64: EB58536A672F48EC  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:11:35]
645*2^1398557-1 is not prime.  Res64: C514242F75C9F200  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:13:36]
685*2^1398557-1 is not prime.  Res64: 2F06296283D2DDD1  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:13:36]
759*2^1398557-1 is not prime.  Res64: 0B8EBC11E1AEF2E5  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:14:38]
825*2^1398557-1 is not prime.  Res64: A7C3C5B90956B1D5  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:14:39]
829*2^1398557-1 is not prime.  Res64: F142C71365C81A5E  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:17:59]
879*2^1398557-1 is not prime.  Res64: 4A5A7A4B41130D11  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:17:59]
705*2^1398558-1 is not prime.  Res64: 8BBDBA644EC738FE  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:29:10]
737*2^1398558-1 is not prime.  Res64: 9C268E30A58762AB  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:29:11]
747*2^1398558-1 is not prime.  Res64: 663F6F9A7BAF8B54  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:31:11]
863*2^1398558-1 is not prime.  Res64: B7A7DCAF13C5C91D  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:31:12]
975*2^1398558-1 is not prime.  Res64: 90379E827C02A8A0  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:32:07]
619*2^1398559-1 is not prime.  Res64: DC3D3457678FE868  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:32:08]
729*2^1398559-1 is not prime.  Res64: 795CFE8658A94449  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:35:38]
751*2^1398559-1 is not prime.  Res64: 834FA5DBC5729590  Time : 0.0 sec.
user=mdettweiler
[2015-05-07 03:35:40]
775*2^1398559-1 is not prime.  Res64: 972A0DAA24CBBDFE  Time : 0.0 sec.