P
Initializing...
The number of full output records is at most the squared magnitude · Prove2Me