P
Initializing...
JAO Theorem 5 per initial state, large-diameter regime $D \ge 12$ · Prove2Me