According to this post, Propper has already checked Factorials up to an n higher than the current leading edge and is continuing further, as the next post says, why are we still running these tasks? Is there a way we can obtain residues? Is it worthy to DC them?
My lucky number is 6219*2^3374198+1
Oh, he is really double checking our work also? That is good, because currently we have postponed the double check of PRPNet work (PRPNet is not able to discover if some hosts are malfunctioning and delivering incorrect results). /JeppeSN