# A025139 (b-file synthesized from sequence entry)
6 1800
7 5145
8 1047424
9 3973536
10 410606100
11 1876011225
12 137593764792
13 717486692065
14 42530214471017
15 244971623155350