Testing Wilf's conjecture for numerical semigroups of genus <= 100 which are sons of O_{54}\{80}. Computation time = 0.0006875 s.
