713 Logic
: Diophantine Subsets
(67/90)