Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{30}\{31}. Computation time = 1123 s.
