{
  "id": "1918a05b-977c-4001-8d3e-fb39a53e5969",
  "object": "chat.completion",
  "created": 1785576277,
  "model": "deepseek-v4-flash",
  "choices": [
    {
      "index": 0,
      "message": {
        "role": "assistant",
        "content": "Here's pseudocode for a binary heap push (insert) operation:\n\n## Binary Heap Push Operation\n\n```\nPUSH("
      },
      "logprobs": {
        "content": [
          {
            "token": "Here",
            "logprob": 0.0,
            "bytes": [
              72,
              101,
              114,
              101
            ],
            "top_logprobs": [
              {
                "token": "Here",
                "logprob": 0.0,
                "bytes": [
                  72,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "##",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "#",
                "logprob": -9999.0,
                "bytes": [
                  35
                ]
              },
              {
                "token": "I",
                "logprob": -9999.0,
                "bytes": [
                  73
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "Below",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  101,
                  108,
                  111,
                  119
                ]
              },
              {
                "token": "Okay",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  107,
                  97,
                  121
                ]
              },
              {
                "token": " Here",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "Sure",
                "logprob": -9999.0,
                "bytes": [
                  83,
                  117,
                  114,
                  101
                ]
              },
              {
                "token": "Alright",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  108,
                  114,
                  105,
                  103,
                  104,
                  116
                ]
              },
              {
                "token": "The",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  101
                ]
              },
              {
                "token": "For",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  111,
                  114
                ]
              },
              {
                "token": "Pseud",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "Of",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  102
                ]
              },
              {
                "token": "here",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "To",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  111
                ]
              },
              {
                "token": "We",
                "logprob": -9999.0,
                "bytes": [
                  87,
                  101
                ]
              },
              {
                "token": "Heap",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              }
            ]
          },
          {
            "token": "'s",
            "logprob": 0.0,
            "bytes": [
              39,
              115
            ],
            "top_logprobs": [
              {
                "token": "'s",
                "logprob": 0.0,
                "bytes": [
                  39,
                  115
                ]
              },
              {
                "token": "’",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  153
                ]
              },
              {
                "token": " is",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  115
                ]
              },
              {
                "token": "\\'",
                "logprob": -9999.0,
                "bytes": [
                  92,
                  39
                ]
              },
              {
                "token": " are",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  114,
                  101
                ]
              },
              {
                "token": "'",
                "logprob": -9999.0,
                "bytes": [
                  39
                ]
              },
              {
                "token": "`s",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  115
                ]
              },
              {
                "token": "&#",
                "logprob": -9999.0,
                "bytes": [
                  38,
                  35
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "ʼ",
                "logprob": -9999.0,
                "bytes": [
                  202,
                  188
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": "<｜｜end▁of▁sentence｜｜>",
                "logprob": -9999.0,
                "bytes": [
                  60,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  101,
                  110,
                  100,
                  226,
                  150,
                  129,
                  111,
                  102,
                  226,
                  150,
                  129,
                  115,
                  101,
                  110,
                  116,
                  101,
                  110,
                  99,
                  101,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  62
                ]
              },
              {
                "token": "\"s",
                "logprob": -9999.0,
                "bytes": [
                  34,
                  115
                ]
              },
              {
                "token": ";s",
                "logprob": -9999.0,
                "bytes": [
                  59,
                  115
                ]
              },
              {
                "token": "\\u",
                "logprob": -9999.0,
                "bytes": [
                  92,
                  117
                ]
              },
              {
                "token": "‘",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  152
                ]
              },
              {
                "token": "'a",
                "logprob": -9999.0,
                "bytes": [
                  39,
                  97
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": "´",
                "logprob": -9999.0,
                "bytes": [
                  194,
                  180
                ]
              }
            ]
          },
          {
            "token": " pseud",
            "logprob": 0.0,
            "bytes": [
              32,
              112,
              115,
              101,
              117,
              100
            ],
            "top_logprobs": [
              {
                "token": " pseud",
                "logprob": 0.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " pseudo",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100,
                  111
                ]
              },
              {
                "token": " ps",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115
                ]
              },
              {
                "token": " Pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " detailed",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  116,
                  97,
                  105,
                  108,
                  101,
                  100
                ]
              },
              {
                "token": " an",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110
                ]
              },
              {
                "token": " standard",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  110,
                  100,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": " comprehensive",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  109,
                  112,
                  114,
                  101,
                  104,
                  101,
                  110,
                  115,
                  105,
                  118,
                  101
                ]
              },
              {
                "token": " p",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112
                ]
              },
              {
                "token": " clear",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  108,
                  101,
                  97,
                  114
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " clean",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  108,
                  101,
                  97,
                  110
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " typical",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  121,
                  112,
                  105,
                  99,
                  97,
                  108
                ]
              },
              {
                "token": " straightforward",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  114,
                  97,
                  105,
                  103,
                  104,
                  116,
                  102,
                  111,
                  114,
                  119,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": " concise",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  110,
                  99,
                  105,
                  115,
                  101
                ]
              },
              {
                "token": " how",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  111,
                  119
                ]
              },
              {
                "token": " one",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  101
                ]
              }
            ]
          },
          {
            "token": "ocode",
            "logprob": 0.0,
            "bytes": [
              111,
              99,
              111,
              100,
              101
            ],
            "top_logprobs": [
              {
                "token": "ocode",
                "logprob": 0.0,
                "bytes": [
                  111,
                  99,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "oc",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99
                ]
              },
              {
                "token": "code",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "icode",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "ocide",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  105,
                  100,
                  101
                ]
              },
              {
                "token": "oco",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111
                ]
              },
              {
                "token": "ocol",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111,
                  108
                ]
              },
              {
                "token": "ocur",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  117,
                  114
                ]
              },
              {
                "token": "cc",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  99
                ]
              },
              {
                "token": "ocl",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  108
                ]
              },
              {
                "token": "opedia",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  112,
                  101,
                  100,
                  105,
                  97
                ]
              },
              {
                "token": "代码",
                "logprob": -9999.0,
                "bytes": [
                  228,
                  187,
                  163,
                  231,
                  160,
                  129
                ]
              },
              {
                "token": "ocomplete",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111,
                  109,
                  112,
                  108,
                  101,
                  116,
                  101
                ]
              },
              {
                "token": "oscope",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  115,
                  99,
                  111,
                  112,
                  101
                ]
              },
              {
                "token": "oxide",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  120,
                  105,
                  100,
                  101
                ]
              },
              {
                "token": "or",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  114
                ]
              },
              {
                "token": "ec",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  99
                ]
              },
              {
                "token": " code",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "ercise",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  114,
                  99,
                  105,
                  115,
                  101
                ]
              },
              {
                "token": "ocaine",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  97,
                  105,
                  110,
                  101
                ]
              }
            ]
          },
          {
            "token": " for",
            "logprob": 0.0,
            "bytes": [
              32,
              102,
              111,
              114
            ],
            "top_logprobs": [
              {
                "token": " for",
                "logprob": 0.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " für",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  195,
                  188,
                  114
                ]
              },
              {
                "token": " для",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  208,
                  180,
                  208,
                  187,
                  209,
                  143
                ]
              },
              {
                "token": " and",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " implementing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " to",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  111
                ]
              },
              {
                "token": " implementation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": "for",
                "logprob": -9999.0,
                "bytes": [
                  102,
                  111,
                  114
                ]
              },
              {
                "token": " untuk",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  116,
                  117,
                  107
                ]
              },
              {
                "token": " fo",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111
                ]
              },
              {
                "token": " pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "\tfor",
                "logprob": -9999.0,
                "bytes": [
                  9,
                  102,
                  111,
                  114
                ]
              },
              {
                "token": " using",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  115,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " of",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  102
                ]
              },
              {
                "token": " from",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  114,
                  111,
                  109
                ]
              },
              {
                "token": " as",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  115
                ]
              }
            ]
          },
          {
            "token": " a",
            "logprob": 0.0,
            "bytes": [
              32,
              97
            ],
            "top_logprobs": [
              {
                "token": " a",
                "logprob": 0.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " pushing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " inserting",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " adding",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  100,
                  100,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " both",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  111,
                  116,
                  104
                ]
              },
              {
                "token": " implementing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " an",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110
                ]
              },
              {
                "token": " performing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114,
                  102,
                  111,
                  114,
                  109,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " building",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  117,
                  105,
                  108,
                  100,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " Binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " app",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  112,
                  112
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " creating",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  114,
                  101,
                  97,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " maintaining",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  105,
                  110,
                  116,
                  97,
                  105,
                  110,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " efficiently",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  102,
                  102,
                  105,
                  99,
                  105,
                  101,
                  110,
                  116,
                  108,
                  121
                ]
              }
            ]
          },
          {
            "token": " binary",
            "logprob": 0.0,
            "bytes": [
              32,
              98,
              105,
              110,
              97,
              114,
              121
            ],
            "top_logprobs": [
              {
                "token": " binary",
                "logprob": 0.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " Binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " standard",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  110,
                  100,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " pushing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": " priority",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  111,
                  114,
                  105,
                  116,
                  121
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " basic",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  97,
                  115,
                  105,
                  99
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": " classic",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  108,
                  97,
                  115,
                  115,
                  105,
                  99
                ]
              },
              {
                "token": " binomial",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  111,
                  109,
                  105,
                  97,
                  108
                ]
              },
              {
                "token": " typical",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  121,
                  112,
                  105,
                  99,
                  97,
                  108
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " inserting",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " traditional",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  97,
                  100,
                  105,
                  116,
                  105,
                  111,
                  110,
                  97,
                  108
                ]
              },
              {
                "token": " bin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": " bubble",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  117,
                  98,
                  98,
                  108,
                  101
                ]
              }
            ]
          },
          {
            "token": " heap",
            "logprob": 0.0,
            "bytes": [
              32,
              104,
              101,
              97,
              112
            ],
            "top_logprobs": [
              {
                "token": " heap",
                "logprob": 0.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " minimum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": " heapq",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112,
                  113
                ]
              },
              {
                "token": " he",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101
                ]
              },
              {
                "token": " push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " hash",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  97,
                  115,
                  104
                ]
              },
              {
                "token": "heap",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "-he",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  104,
                  101
                ]
              },
              {
                "token": " tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " minimal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109,
                  97,
                  108
                ]
              },
              {
                "token": "_heap",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " heal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  108
                ]
              },
              {
                "token": " binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " minim",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109
                ]
              }
            ]
          },
          {
            "token": " push",
            "logprob": 0.0,
            "bytes": [
              32,
              112,
              117,
              115,
              104
            ],
            "top_logprobs": [
              {
                "token": " push",
                "logprob": 0.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "'s",
                "logprob": -9999.0,
                "bytes": [
                  39,
                  115
                ]
              },
              {
                "token": " Push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " \"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  34
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": "push",
                "logprob": -9999.0,
                "bytes": [
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " priority",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  111,
                  114,
                  105,
                  116,
                  121
                ]
              },
              {
                "token": " minimum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": ".push",
                "logprob": -9999.0,
                "bytes": [
                  46,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " pus",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115
                ]
              },
              {
                "token": "_push",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  112,
                  117,
                  115,
                  104
                ]
              }
            ]
          },
          {
            "token": " (",
            "logprob": 0.0,
            "bytes": [
              32,
              40
            ],
            "top_logprobs": [
              {
                "token": " (",
                "logprob": 0.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " operation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " operations",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110,
                  115
                ]
              },
              {
                "token": " (`",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  96
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "/",
                "logprob": -9999.0,
                "bytes": [
                  47
                ]
              },
              {
                "token": " (=",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  61
                ]
              },
              {
                "token": "（",
                "logprob": -9999.0,
                "bytes": [
                  239,
                  188,
                  136
                ]
              },
              {
                "token": "(",
                "logprob": -9999.0,
                "bytes": [
                  40
                ]
              },
              {
                "token": " (**",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  42,
                  42
                ]
              },
              {
                "token": " oper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " (_",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  95
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " algorithm",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": "operation",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " (\"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  34
                ]
              },
              {
                "token": " (*",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  42
                ]
              },
              {
                "token": " Operation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  79,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " (~",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  126
                ]
              },
              {
                "token": " ($",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  36
                ]
              }
            ]
          },
          {
            "token": "insert",
            "logprob": 0.0,
            "bytes": [
              105,
              110,
              115,
              101,
              114,
              116
            ],
            "top_logprobs": [
              {
                "token": "insert",
                "logprob": 0.0,
                "bytes": [
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "also",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  108,
                  115,
                  111
                ]
              },
              {
                "token": "or",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  114
                ]
              },
              {
                "token": "heap",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "add",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  100,
                  100
                ]
              },
              {
                "token": "Insert",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "en",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  110
                ]
              },
              {
                "token": "often",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  102,
                  116,
                  101,
                  110
                ]
              },
              {
                "token": "aka",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  107,
                  97
                ]
              },
              {
                "token": "offer",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  102,
                  102,
                  101,
                  114
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "sometimes",
                "logprob": -9999.0,
                "bytes": [
                  115,
                  111,
                  109,
                  101,
                  116,
                  105,
                  109,
                  101,
                  115
                ]
              },
              {
                "token": "INSERT",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "ad",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  100
                ]
              },
              {
                "token": "usually",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  115,
                  117,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": "min",
                "logprob": -9999.0,
                "bytes": [
                  109,
                  105,
                  110
                ]
              },
              {
                "token": "_insert",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "typically",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  121,
                  112,
                  105,
                  99,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": "in",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110
                ]
              }
            ]
          },
          {
            "token": ")",
            "logprob": 0.0,
            "bytes": [
              41
            ],
            "top_logprobs": [
              {
                "token": ")",
                "logprob": 0.0,
                "bytes": [
                  41
                ]
              },
              {
                "token": "ion",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "/",
                "logprob": -9999.0,
                "bytes": [
                  47
                ]
              },
              {
                "token": " operation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " or",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  114
                ]
              },
              {
                "token": "/ext",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  101,
                  120,
                  116
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": "/add",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  97,
                  100,
                  100
                ]
              },
              {
                "token": "/in",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  105,
                  110
                ]
              },
              {
                "token": " and",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": "):\n\n",
                "logprob": -9999.0,
                "bytes": [
                  41,
                  58,
                  10,
                  10
                ]
              },
              {
                "token": "/s",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  115
                ]
              },
              {
                "token": "ing",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "/l",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  108
                ]
              },
              {
                "token": "):",
                "logprob": -9999.0,
                "bytes": [
                  41,
                  58
                ]
              },
              {
                "token": "/he",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  104,
                  101
                ]
              },
              {
                "token": "/en",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  101,
                  110
                ]
              },
              {
                "token": "/h",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  104
                ]
              },
              {
                "token": "),",
                "logprob": -9999.0,
                "bytes": [
                  41,
                  44
                ]
              },
              {
                "token": " +",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  43
                ]
              }
            ]
          },
          {
            "token": " operation",
            "logprob": 0.0,
            "bytes": [
              32,
              111,
              112,
              101,
              114,
              97,
              116,
              105,
              111,
              110
            ],
            "top_logprobs": [
              {
                "token": " operation",
                "logprob": 0.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " operations",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110,
                  115
                ]
              },
              {
                "token": "operation",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " Operation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  79,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "操作",
                "logprob": -9999.0,
                "bytes": [
                  230,
                  147,
                  141,
                  228,
                  189,
                  156
                ]
              },
              {
                "token": " and",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " operating",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " opera",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97
                ]
              },
              {
                "token": " oper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": "<｜｜end▁of▁sentence｜｜>",
                "logprob": -9999.0,
                "bytes": [
                  60,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  101,
                  110,
                  100,
                  226,
                  150,
                  129,
                  111,
                  102,
                  226,
                  150,
                  129,
                  115,
                  101,
                  110,
                  116,
                  101,
                  110,
                  99,
                  101,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  62
                ]
              },
              {
                "token": " implementation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " algorithm",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": " using",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  115,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " operator",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  111,
                  114
                ]
              },
              {
                "token": " опера",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  208,
                  190,
                  208,
                  191,
                  208,
                  181,
                  209,
                  128,
                  208,
                  176
                ]
              },
              {
                "token": "Operation",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "\\xe2\\x80",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128
                ]
              },
              {
                "token": " op",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112
                ]
              }
            ]
          },
          {
            "token": ":\n\n",
            "logprob": 0.0,
            "bytes": [
              58,
              10,
              10
            ],
            "top_logprobs": [
              {
                "token": ":\n\n",
                "logprob": 0.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": ".",
                "logprob": -9999.0,
                "bytes": [
                  46
                ]
              },
              {
                "token": " using",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  115,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " for",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114
                ]
              },
              {
                "token": " on",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " assuming",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  115,
                  115,
                  117,
                  109,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " following",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  108,
                  108,
                  111,
                  119,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " —",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  226,
                  128,
                  148
                ]
              },
              {
                "token": "—",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  148
                ]
              },
              {
                "token": " implementing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " along",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  111,
                  110,
                  103
                ]
              },
              {
                "token": ":\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10
                ]
              },
              {
                "token": ".\n\n",
                "logprob": -9999.0,
                "bytes": [
                  46,
                  10,
                  10
                ]
              }
            ]
          },
          {
            "token": "##",
            "logprob": 0.0,
            "bytes": [
              35,
              35
            ],
            "top_logprobs": [
              {
                "token": "##",
                "logprob": 0.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "```\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "``",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "```\n\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10,
                  10
                ]
              },
              {
                "token": "For",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  111,
                  114
                ]
              },
              {
                "token": "---\n\n",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  45,
                  45,
                  10,
                  10
                ]
              },
              {
                "token": "#",
                "logprob": -9999.0,
                "bytes": [
                  35
                ]
              },
              {
                "token": "This",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  105,
                  115
                ]
              },
              {
                "token": "##\n",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  10
                ]
              },
              {
                "token": "The",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  101
                ]
              },
              {
                "token": "Assuming",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  115,
                  115,
                  117,
                  109,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "Given",
                "logprob": -9999.0,
                "bytes": [
                  71,
                  105,
                  118,
                  101,
                  110
                ]
              },
              {
                "token": "Let",
                "logprob": -9999.0,
                "bytes": [
                  76,
                  101,
                  116
                ]
              },
              {
                "token": "<｜｜end▁of▁sentence｜｜>",
                "logprob": -9999.0,
                "bytes": [
                  60,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  101,
                  110,
                  100,
                  226,
                  150,
                  129,
                  111,
                  102,
                  226,
                  150,
                  129,
                  115,
                  101,
                  110,
                  116,
                  101,
                  110,
                  99,
                  101,
                  239,
                  189,
                  156,
                  239,
                  189,
                  156,
                  62
                ]
              },
              {
                "token": " ```\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "Since",
                "logprob": -9999.0,
                "bytes": [
                  83,
                  105,
                  110,
                  99,
                  101
                ]
              },
              {
                "token": "---\n",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  45,
                  45,
                  10
                ]
              }
            ]
          },
          {
            "token": " Binary",
            "logprob": 0.0,
            "bytes": [
              32,
              66,
              105,
              110,
              97,
              114,
              121
            ],
            "top_logprobs": [
              {
                "token": " Binary",
                "logprob": 0.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " Standard",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  83,
                  116,
                  97,
                  110,
                  100,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": " Pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " Basic",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  97,
                  115,
                  105,
                  99
                ]
              },
              {
                "token": " For",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  70,
                  111,
                  114
                ]
              },
              {
                "token": " Minimum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " Array",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  114,
                  114,
                  97,
                  121
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " Minimal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109,
                  97,
                  108
                ]
              },
              {
                "token": " Algorithm",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": " Maximum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " Simple",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  83,
                  105,
                  109,
                  112,
                  108,
                  101
                ]
              },
              {
                "token": " MIN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  73,
                  78
                ]
              },
              {
                "token": " Priority",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  105,
                  111,
                  114,
                  105,
                  116,
                  121
                ]
              },
              {
                "token": " Function",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  70,
                  117,
                  110,
                  99,
                  116,
                  105,
                  111,
                  110
                ]
              }
            ]
          },
          {
            "token": " Heap",
            "logprob": 0.0,
            "bytes": [
              32,
              72,
              101,
              97,
              112
            ],
            "top_logprobs": [
              {
                "token": " Heap",
                "logprob": 0.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " Minimum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " He",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101
                ]
              },
              {
                "token": "Heap",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " MIN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  73,
                  78
                ]
              },
              {
                "token": " Minim",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109
                ]
              },
              {
                "token": " Mean",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  101,
                  97,
                  110
                ]
              },
              {
                "token": " Mini",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105
                ]
              },
              {
                "token": "-M",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  77
                ]
              },
              {
                "token": "/Min",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " Minimal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109,
                  97,
                  108
                ]
              },
              {
                "token": " Tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  84,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " Maximum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " Hep",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  112
                ]
              }
            ]
          },
          {
            "token": " Push",
            "logprob": 0.0,
            "bytes": [
              32,
              80,
              117,
              115,
              104
            ],
            "top_logprobs": [
              {
                "token": " Push",
                "logprob": 0.0,
                "bytes": [
                  32,
                  80,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": " P",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " push",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " Properties",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  111,
                  112,
                  101,
                  114,
                  116,
                  105,
                  101,
                  115
                ]
              },
              {
                "token": " Implementation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " Minimum",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110,
                  105,
                  109,
                  117,
                  109
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " as",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  115
                ]
              },
              {
                "token": " Array",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  114,
                  114,
                  97,
                  121
                ]
              },
              {
                "token": " Property",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  111,
                  112,
                  101,
                  114,
                  116,
                  121
                ]
              },
              {
                "token": "Push",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  117,
                  115,
                  104
                ]
              }
            ]
          },
          {
            "token": " Operation",
            "logprob": 0.0,
            "bytes": [
              32,
              79,
              112,
              101,
              114,
              97,
              116,
              105,
              111,
              110
            ],
            "top_logprobs": [
              {
                "token": " Operation",
                "logprob": 0.0,
                "bytes": [
                  32,
                  79,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " Algorithm",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": " Pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "\n\n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": " Operations",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  79,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110,
                  115
                ]
              },
              {
                "token": "/",
                "logprob": -9999.0,
                "bytes": [
                  47
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " Implementation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " Procedure",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  111,
                  99,
                  101,
                  100,
                  117,
                  114,
                  101
                ]
              },
              {
                "token": " Function",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  70,
                  117,
                  110,
                  99,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " /",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  47
                ]
              },
              {
                "token": " operation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " (`",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  96
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "(",
                "logprob": -9999.0,
                "bytes": [
                  40
                ]
              },
              {
                "token": " \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  10,
                  10
                ]
              },
              {
                "token": "/P",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  80
                ]
              }
            ]
          },
          {
            "token": "\n\n",
            "logprob": 0.0,
            "bytes": [
              10,
              10
            ],
            "top_logprobs": [
              {
                "token": "\n\n",
                "logprob": 0.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " Pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": " \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " (`",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  96
                ]
              },
              {
                "token": " pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " Algorithm",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": "\n \n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  32,
                  10
                ]
              },
              {
                "token": " Using",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  115,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " using",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  115,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "\n  \n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  32,
                  32,
                  10
                ]
              },
              {
                "token": " —",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  226,
                  128,
                  148
                ]
              },
              {
                "token": " P",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80
                ]
              },
              {
                "token": "  \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " –",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  226,
                  128,
                  147
                ]
              },
              {
                "token": ":\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": " (#",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  35
                ]
              }
            ]
          },
          {
            "token": "```\n",
            "logprob": 0.0,
            "bytes": [
              96,
              96,
              96,
              10
            ],
            "top_logprobs": [
              {
                "token": "```\n",
                "logprob": 0.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "The",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  101
                ]
              },
              {
                "token": "A",
                "logprob": -9999.0,
                "bytes": [
                  65
                ]
              },
              {
                "token": "This",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  105,
                  115
                ]
              },
              {
                "token": "Assuming",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  115,
                  115,
                  117,
                  109,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "Given",
                "logprob": -9999.0,
                "bytes": [
                  71,
                  105,
                  118,
                  101,
                  110
                ]
              },
              {
                "token": "For",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  111,
                  114
                ]
              },
              {
                "token": "##",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "Ass",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  115,
                  115
                ]
              },
              {
                "token": "``",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96
                ]
              },
              {
                "token": "Binary",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": "*",
                "logprob": -9999.0,
                "bytes": [
                  42
                ]
              },
              {
                "token": "```\n\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10,
                  10
                ]
              },
              {
                "token": "####",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "Assume",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  115,
                  115,
                  117,
                  109,
                  101
                ]
              },
              {
                "token": "Since",
                "logprob": -9999.0,
                "bytes": [
                  83,
                  105,
                  110,
                  99,
                  101
                ]
              },
              {
                "token": "Let",
                "logprob": -9999.0,
                "bytes": [
                  76,
                  101,
                  116
                ]
              }
            ]
          },
          {
            "token": "P",
            "logprob": 0.0,
            "bytes": [
              80
            ],
            "top_logprobs": [
              {
                "token": "P",
                "logprob": 0.0,
                "bytes": [
                  80
                ]
              },
              {
                "token": "function",
                "logprob": -9999.0,
                "bytes": [
                  102,
                  117,
                  110,
                  99,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "F",
                "logprob": -9999.0,
                "bytes": [
                  70
                ]
              },
              {
                "token": "Function",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  117,
                  110,
                  99,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "Algorithm",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  108,
                  103,
                  111,
                  114,
                  105,
                  116,
                  104,
                  109
                ]
              },
              {
                "token": "//",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  47
                ]
              },
              {
                "token": "procedure",
                "logprob": -9999.0,
                "bytes": [
                  112,
                  114,
                  111,
                  99,
                  101,
                  100,
                  117,
                  114,
                  101
                ]
              },
              {
                "token": "AL",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  76
                ]
              },
              {
                "token": "HE",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  69
                ]
              },
              {
                "token": "Procedure",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  114,
                  111,
                  99,
                  101,
                  100,
                  117,
                  114,
                  101
                ]
              },
              {
                "token": "B",
                "logprob": -9999.0,
                "bytes": [
                  66
                ]
              },
              {
                "token": "PRO",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  82,
                  79
                ]
              },
              {
                "token": "push",
                "logprob": -9999.0,
                "bytes": [
                  112,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": "INSERT",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": "def",
                "logprob": -9999.0,
                "bytes": [
                  100,
                  101,
                  102
                ]
              },
              {
                "token": "BU",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  85
                ]
              },
              {
                "token": "Push",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  117,
                  115,
                  104
                ]
              },
              {
                "token": "#",
                "logprob": -9999.0,
                "bytes": [
                  35
                ]
              },
              {
                "token": "Pseud",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "heap",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  101,
                  97,
                  112
                ]
              }
            ]
          },
          {
            "token": "USH",
            "logprob": 0.0,
            "bytes": [
              85,
              83,
              72
            ],
            "top_logprobs": [
              {
                "token": "USH",
                "logprob": 0.0,
                "bytes": [
                  85,
                  83,
                  72
                ]
              },
              {
                "token": "SE",
                "logprob": -9999.0,
                "bytes": [
                  83,
                  69
                ]
              },
              {
                "token": "seudo",
                "logprob": -9999.0,
                "bytes": [
                  115,
                  101,
                  117,
                  100,
                  111
                ]
              },
              {
                "token": "US",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  83
                ]
              },
              {
                "token": "UR",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  82
                ]
              },
              {
                "token": "UNCTION",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  78,
                  67,
                  84,
                  73,
                  79,
                  78
                ]
              },
              {
                "token": "REFIX",
                "logprob": -9999.0,
                "bytes": [
                  82,
                  69,
                  70,
                  73,
                  88
                ]
              },
              {
                "token": "ushing",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  115,
                  104,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "ush",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  115,
                  104
                ]
              },
              {
                "token": "ushes",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  115,
                  104,
                  101,
                  115
                ]
              },
              {
                "token": "ASH",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  83,
                  72
                ]
              },
              {
                "token": "ERS",
                "logprob": -9999.0,
                "bytes": [
                  69,
                  82,
                  83
                ]
              },
              {
                "token": "RI",
                "logprob": -9999.0,
                "bytes": [
                  82,
                  73
                ]
              },
              {
                "token": "USE",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  83,
                  69
                ]
              },
              {
                "token": "ULL",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  76,
                  76
                ]
              },
              {
                "token": "HE",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  69
                ]
              },
              {
                "token": " U",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85
                ]
              },
              {
                "token": " SE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  83,
                  69
                ]
              },
              {
                "token": "UST",
                "logprob": -9999.0,
                "bytes": [
                  85,
                  83,
                  84
                ]
              },
              {
                "token": " function",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  117,
                  110,
                  99,
                  116,
                  105,
                  111,
                  110
                ]
              }
            ]
          },
          {
            "token": "(",
            "logprob": 0.0,
            "bytes": [
              40
            ],
            "top_logprobs": [
              {
                "token": "(",
                "logprob": 0.0,
                "bytes": [
                  40
                ]
              },
              {
                "token": "(H",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  72
                ]
              },
              {
                "token": "(array",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  97,
                  114,
                  114,
                  97,
                  121
                ]
              },
              {
                "token": "(B",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  66
                ]
              },
              {
                "token": "_HE",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  72,
                  69
                ]
              },
              {
                "token": "(A",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  65
                ]
              },
              {
                "token": "(value",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  118,
                  97,
                  108,
                  117,
                  101
                ]
              },
              {
                "token": "-he",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  104,
                  101
                ]
              },
              {
                "token": "(h",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  104
                ]
              },
              {
                "token": "(min",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": "(b",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  98
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": "(M",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  77
                ]
              },
              {
                "token": "(max",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": "_heap",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "_",
                "logprob": -9999.0,
                "bytes": [
                  95
                ]
              },
              {
                "token": "(element",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": "-",
                "logprob": -9999.0,
                "bytes": [
                  45
                ]
              },
              {
                "token": "(arr",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  97,
                  114,
                  114
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              }
            ]
          }
        ]
      },
      "finish_reason": "length"
    }
  ],
  "usage": {
    "prompt_tokens": 14,
    "completion_tokens": 24,
    "total_tokens": 38,
    "prompt_tokens_details": {
      "cached_tokens": 0
    },
    "prompt_cache_hit_tokens": 0,
    "prompt_cache_miss_tokens": 14
  },
  "system_fingerprint": "fp_a18b46594c_prod0820_fp8_kvcache_20260402"
}