# A006401 (b-file synthesized from sequence entry)
3 1
4 1
5 2
6 5
7 10
8 28
9 86
10 285
11 1055
12 4211