Has it been confirmed that these are valid prime chains? If I'm not mistaken (please correct me if I am), primecoin only checks for probable primality.