Proven PRPs?
 

[URL="http://factordb.com/index.php?id=1100000000489773674"]This number[/URL] and [URL="http://factordb.com/index.php?id=1100000000518654034"]this number[/URL] have verified primality certificates (the first one since February) but they are still listed as PRPs. Are there more of these among the nearly 88000 PRPs?