job.583227.output 126 B

12
  1. Testing Wilf's conjecture for numerical semigroups of genus <= 80 which are sons of O_{45}\{52}.
  2. Computation time = 9.794 s.