Computation of Four Color Irreducibility - John Allen Koch (1976)