# A129057 (b-file synthesized from sequence entry)
8 0
9 2
10 7050
11 3355250
12 473864807