P
Initializing...
Original indexWeight nonneg · Prove2Me