Assertion: prime number | /r/HasProperty | known to mankind
Facets:
Source sentences:
text: It weighs in at 23,249,425 digits, becoming the largest prime number known to mankind.