P
Initializing...
Is D1Tuple — rational first pair third eq eight · Prove2Me