Assertion: card's number | /r/HasProperty | factored
Facets:
Source sentences:
text: Decoding this key without its private key requires this semiprime number to be factored, which can take a very long time to do with modern computers.