mostly OEIS b-files