P
Initializing...
All table values have at most `B` bits · Prove2Me