# A125712 (b-file synthesized from sequence entry) 1 2 2 8 3 12 4 32 5 960 6 12288 7 40320 8 1296384 9 13862592