# A156143 (b-file synthesized from sequence entry) -1 1 0 2 1 12 2 176 3 4560 4 184832 5 10786752 6 856856576 7 88901310720 8 11673832128512 9 1892490366446592 10 371226769045323776 11 86660664498577428480 12 23742637220974655700992 13 7544062284452303484076032 14 2751743952477326731196235776 15 1142005572999693488899887267840 16 535040063912570172630126949302272