# A125673 (b-file synthesized from sequence entry)
8 1
9 3
10 15
11 57
12 231
13 853
14 3131
15 11007