# A355023 (b-file synthesized from sequence entry)
8 5040
9 317520
10 12700800
11 419126400
12 12573792000
13 359610451200
14 10069092633600
15 280496151936000
16 7853892254208000
17 222526947202560000
18 6408776079433728000
19 188184970332463104000
20 5645549109973893120000
21 173274930375352565760000
22 5445783526082509209600000
23 175354229539856796549120000