{
  "encoding_name": "cl100k_base"
}