P
Initializing...
The actual diamond-cube arithmetic Pic0 trace is zero · Prove2Me