P
Initializing...
The q3=19 reduced small-D source cases are impossible (v2) · Prove2Me