P
Initializing...
A safe word in one residue class mod $2^m$ absorbs any finite set outside it · Prove2Me