proposition: Lemma red322to485 : reducible_in_range 322 485 the_configs.
proof: Proof. CatReducible red322to383 red383to398 red398to438 red438to465 red465to485. Qed.
imports: mathcomp(ssreflect ssrfun ssrbool ssrnat seq) fourcolor(cfmap cfreducible configurations) fourcolor(job323to383 job384to398 job399to438) fourcolor(job439to465 job466to485)