{"encoding_name": "cl100k_base"}