P
Initializing...
Squared norm in doubled integer coordinates · Prove2Me