P
Initializing...
Caccetta–Häggkvist for $r = 6$ · Prove2Me