P
Initializing...
Challenge 3: the Caccetta–Häggkvist conjecture at parameter $r$ · Prove2Me