A bit of wikipediaing later, I can now be sure about primality up to 25 digits, so isthisprime.com/12345678910987…