P
Initializing...
Syracuse valuation vector and its sum · Prove2Me