import tiktoken

tokenizer = tiktoken.get_encoding("cl100k_base")


def tokenize(prompt: str) -> int:
    return len(tokenizer.encode(prompt)) + 10