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