There are 17576 possible TLAs