Title: Computation of four color irreducibility
Subjects: Data processing, Four-color problem