fact: Definition small_qarity a := match a with | 3 => Qa5 | 4 => Qa6 | 5 => Qa7 | 6 => Qa8 | 7 => Qa10 | _ => Qa9 end.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq choice) mathcomp(fintype path fingraph) fourcolor(hypermap geometry color coloring patch cfmap quiz)