# A307145 (b-file synthesized from sequence entry)
6 25
7 616
8 217630
9 561983523