Write three invariants for a tokenizer special-token table.