user=gerd
[2012-02-19 05:21:55]
67250162895*2^1000000-1 is not prime.  Res64: 710DAB9809FB2037  Time : 0.0 sec.
user=gerd
[2012-02-19 05:21:55]
67250162895*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 05:55:50]
67250212785*2^1000000-1 is not prime.  Res64: 0B13AABE3D6990A4  Time : 0.0 sec.
user=gerd
[2012-02-19 05:55:50]
67250212785*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 06:29:05]
67254838875*2^1000000-1 is not prime.  Res64: CD0DFA74BE024524  Time : 0.0 sec.
user=gerd
[2012-02-19 06:29:05]
67254838875*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 07:04:18]
67255080765*2^1000000-1 is not prime.  Res64: 1EC54AF0C6E374E9  Time : 0.0 sec.
user=gerd
[2012-02-19 07:04:18]
67255080765*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 07:39:15]
67261077345*2^1000000-1 is not prime.  Res64: A408F1A643B22937  Time : 0.0 sec.
user=gerd
[2012-02-19 07:39:15]
67261077345*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 08:14:40]
67265820615*2^1000000-1 is not prime.  Res64: DCFF686DD2F80AAB  Time : 0.0 sec.
user=gerd
[2012-02-19 08:14:40]
67265820615*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.
user=gerd
[2012-02-19 08:47:37]
67265896305*2^1000000-1 is not prime.  Res64: 4C9468436DCCEB90  Time : 0.0 sec.
user=gerd
[2012-02-19 08:47:37]
67265896305*2^1000000+1 is not prime.  Res64: NOTDONE  Time : 0.0 sec.