P
Initializing...
The executable cover-matrix bit equals the retained-edge predicate · Prove2Me