# A129051 (b-file synthesized from sequence entry)
8 0
9 111
10 4523
11 74307
12 777348
13 6255683
14 42769083
15 262073923