P
Initializing...
ChromVal pos iff colorable · Prove2Me