Mersenne: When triple checking fails

[Marc-Etienne Vargenau]

The status page tells us that all exponents below 1 318 200 have been
double checked.
We will soon hit cases like
1419967,wayney,WP1
1419967,SB,X
1419967,MV1,J3
(in file hrf3)
where three different programs (Woltman, mersenne1 and MacLucas) give
three different results. How will this be resolved? Has one of the
programs a known bug in this area?

Regards,

Marc-Etienne