{
  "id": "1b9289e2-a561-41dc-8321-efa565aacd38",
  "object": "chat.completion",
  "created": 1785576268,
  "model": "deepseek-v4-flash",
  "choices": [
    {
      "index": 0,
      "message": {
        "role": "assistant",
        "content": "To understand B-tree insertion, you have to remember the **core invariant** of a B-tree: **every node must"
      },
      "logprobs": {
        "content": [
          {
            "token": "To",
            "logprob": 0.0,
            "bytes": [
              84,
              111
            ],
            "top_logprobs": [
              {
                "token": "To",
                "logprob": 0.0,
                "bytes": [
                  84,
                  111
                ]
              },
              {
                "token": "##",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "#",
                "logprob": -9999.0,
                "bytes": [
                  35
                ]
              },
              {
                "token": "Here",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "A",
                "logprob": -9999.0,
                "bytes": [
                  65
                ]
              },
              {
                "token": "Let",
                "logprob": -9999.0,
                "bytes": [
                  76,
                  101,
                  116
                ]
              },
              {
                "token": "I",
                "logprob": -9999.0,
                "bytes": [
                  73
                ]
              },
              {
                "token": "At",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  116
                ]
              },
              {
                "token": "B",
                "logprob": -9999.0,
                "bytes": [
                  66
                ]
              },
              {
                "token": "Okay",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  107,
                  97,
                  121
                ]
              },
              {
                "token": "Alright",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  108,
                  114,
                  105,
                  103,
                  104,
                  116
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "The",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  101
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "This",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  105,
                  115
                ]
              },
              {
                "token": " To",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  84,
                  111
                ]
              },
              {
                "token": "Think",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  105,
                  110,
                  107
                ]
              },
              {
                "token": "In",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  110
                ]
              },
              {
                "token": "We",
                "logprob": -9999.0,
                "bytes": [
                  87,
                  101
                ]
              },
              {
                "token": "Before",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  101,
                  102,
                  111,
                  114,
                  101
                ]
              }
            ]
          },
          {
            "token": " understand",
            "logprob": 0.0,
            "bytes": [
              32,
              117,
              110,
              100,
              101,
              114,
              115,
              116,
              97,
              110,
              100
            ],
            "top_logprobs": [
              {
                "token": " understand",
                "logprob": 0.0,
                "bytes": [
                  32,
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " explain",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  120,
                  112,
                  108,
                  97,
                  105,
                  110
                ]
              },
              {
                "token": " truly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  117,
                  108,
                  121
                ]
              },
              {
                "token": " fully",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  117,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " really",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " master",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  115,
                  116,
                  101,
                  114
                ]
              },
              {
                "token": " understanding",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " properly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  111,
                  112,
                  101,
                  114,
                  108,
                  121
                ]
              },
              {
                "token": " thoroughly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  111,
                  114,
                  111,
                  117,
                  103,
                  104,
                  108,
                  121
                ]
              },
              {
                "token": " Understand",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " deeply",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  101,
                  112,
                  108,
                  121
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " grasp",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  114,
                  97,
                  115,
                  112
                ]
              },
              {
                "token": " build",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  117,
                  105,
                  108,
                  100
                ]
              },
              {
                "token": " completely",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  109,
                  112,
                  108,
                  101,
                  116,
                  101,
                  108,
                  121
                ]
              },
              {
                "token": " understands",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100,
                  115
                ]
              },
              {
                "token": "understand",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " answer",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  115,
                  119,
                  101,
                  114
                ]
              },
              {
                "token": " get",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  101,
                  116
                ]
              }
            ]
          },
          {
            "token": " B",
            "logprob": 0.0,
            "bytes": [
              32,
              66
            ],
            "top_logprobs": [
              {
                "token": " B",
                "logprob": 0.0,
                "bytes": [
                  32,
                  66
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " how",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  111,
                  119
                ]
              },
              {
                "token": " \\(",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  92,
                  40
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": "B",
                "logprob": -9999.0,
                "bytes": [
                  66
                ]
              },
              {
                "token": " why",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  104,
                  121
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": " exactly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  120,
                  97,
                  99,
                  116,
                  108,
                  121
                ]
              },
              {
                "token": " _",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  95
                ]
              },
              {
                "token": " **_",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42,
                  95
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " <",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  60
                ]
              },
              {
                "token": " ***",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42,
                  42
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " what",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  104,
                  97,
                  116
                ]
              }
            ]
          },
          {
            "token": "-tree",
            "logprob": 0.0,
            "bytes": [
              45,
              116,
              114,
              101,
              101
            ],
            "top_logprobs": [
              {
                "token": "-tree",
                "logprob": 0.0,
                "bytes": [
                  45,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-T",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  84
                ]
              },
              {
                "token": "-t",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116
                ]
              },
              {
                "token": "‑",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  145
                ]
              },
              {
                "token": "-",
                "logprob": -9999.0,
                "bytes": [
                  45
                ]
              },
              {
                "token": " tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "\\-",
                "logprob": -9999.0,
                "bytes": [
                  92,
                  45
                ]
              },
              {
                "token": "*-",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  45
                ]
              },
              {
                "token": "+",
                "logprob": -9999.0,
                "bytes": [
                  43
                ]
              },
              {
                "token": "Tree",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-te",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  101
                ]
              },
              {
                "token": "树",
                "logprob": -9999.0,
                "bytes": [
                  230,
                  160,
                  145
                ]
              },
              {
                "token": " Tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  84,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-tr",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  114
                ]
              },
              {
                "token": "tree",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "_tree",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "–",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  147
                ]
              },
              {
                "token": "*t",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  116
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "-**",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  42,
                  42
                ]
              }
            ]
          },
          {
            "token": " insertion",
            "logprob": 0.0,
            "bytes": [
              32,
              105,
              110,
              115,
              101,
              114,
              116,
              105,
              111,
              110
            ],
            "top_logprobs": [
              {
                "token": " insertion",
                "logprob": 0.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " operations",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114,
                  97,
                  116,
                  105,
                  111,
                  110,
                  115
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " deletion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  108,
                  101,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "插入",
                "logprob": -9999.0,
                "bytes": [
                  230,
                  143,
                  146,
                  229,
                  133,
                  165
                ]
              },
              {
                "token": " inserts",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  115
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " inserting",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " and",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " data",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  97,
                  116,
                  97
                ]
              },
              {
                "token": "_insert",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " behavior",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  101,
                  104,
                  97,
                  118,
                  105,
                  111,
                  114
                ]
              },
              {
                "token": " node",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "insert",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              }
            ]
          },
          {
            "token": ",",
            "logprob": 0.0,
            "bytes": [
              44
            ],
            "top_logprobs": [
              {
                "token": ",",
                "logprob": 0.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " fully",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  117,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " thoroughly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  111,
                  114,
                  111,
                  117,
                  103,
                  104,
                  108,
                  121
                ]
              },
              {
                "token": "—",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  148
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " completely",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  109,
                  112,
                  108,
                  101,
                  116,
                  101,
                  108,
                  121
                ]
              },
              {
                "token": " deeply",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  101,
                  112,
                  108,
                  121
                ]
              },
              {
                "token": " and",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " properly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  111,
                  112,
                  101,
                  114,
                  108,
                  121
                ]
              },
              {
                "token": " perfectly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114,
                  102,
                  101,
                  99,
                  116,
                  108,
                  121
                ]
              },
              {
                "token": " we",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  101
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " is",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  115
                ]
              },
              {
                "token": " clearly",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  108,
                  101,
                  97,
                  114,
                  108,
                  121
                ]
              },
              {
                "token": " you",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  121,
                  111,
                  117
                ]
              },
              {
                "token": " —",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  226,
                  128,
                  148
                ]
              },
              {
                "token": "**,",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  44
                ]
              },
              {
                "token": " comprehensively",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  109,
                  112,
                  114,
                  101,
                  104,
                  101,
                  110,
                  115,
                  105,
                  118,
                  101,
                  108,
                  121
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              }
            ]
          },
          {
            "token": " you",
            "logprob": 0.0,
            "bytes": [
              32,
              121,
              111,
              117
            ],
            "top_logprobs": [
              {
                "token": " you",
                "logprob": 0.0,
                "bytes": [
                  32,
                  121,
                  111,
                  117
                ]
              },
              {
                "token": " we",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  101
                ]
              },
              {
                "token": " it",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116
                ]
              },
              {
                "token": " think",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  105,
                  110,
                  107
                ]
              },
              {
                "token": " let",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  101,
                  116
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " imagine",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  109,
                  97,
                  103,
                  105,
                  110,
                  101
                ]
              },
              {
                "token": " especially",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  115,
                  112,
                  101,
                  99,
                  105,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " including",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  99,
                  108,
                  117,
                  100,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " I",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73
                ]
              },
              {
                "token": " first",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  105,
                  114,
                  115,
                  116
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " remember",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  109,
                  101,
                  109,
                  98,
                  101,
                  114
                ]
              },
              {
                "token": " start",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  114,
                  116
                ]
              },
              {
                "token": " picture",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  105,
                  99,
                  116,
                  117,
                  114,
                  101
                ]
              },
              {
                "token": " forget",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114,
                  103,
                  101,
                  116
                ]
              },
              {
                "token": " there",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": " one",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": " keep",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  107,
                  101,
                  101,
                  112
                ]
              },
              {
                "token": " here",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  114,
                  101
                ]
              }
            ]
          },
          {
            "token": " have",
            "logprob": 0.0,
            "bytes": [
              32,
              104,
              97,
              118,
              101
            ],
            "top_logprobs": [
              {
                "token": " have",
                "logprob": 0.0,
                "bytes": [
                  32,
                  104,
                  97,
                  118,
                  101
                ]
              },
              {
                "token": " first",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  105,
                  114,
                  115,
                  116
                ]
              },
              {
                "token": " must",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  117,
                  115,
                  116
                ]
              },
              {
                "token": " need",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  101,
                  100
                ]
              },
              {
                "token": " can",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  97,
                  110
                ]
              },
              {
                "token": " cannot",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  97,
                  110,
                  110,
                  111,
                  116
                ]
              },
              {
                "token": " only",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  108,
                  121
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " has",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  97,
                  115
                ]
              },
              {
                "token": " also",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  115,
                  111
                ]
              },
              {
                "token": " really",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " should",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  104,
                  111,
                  117,
                  108,
                  100
                ]
              },
              {
                "token": " absolutely",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  98,
                  115,
                  111,
                  108,
                  117,
                  116,
                  101,
                  108,
                  121
                ]
              },
              {
                "token": "’",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  153
                ]
              },
              {
                "token": "必须先",
                "logprob": -9999.0,
                "bytes": [
                  229,
                  191,
                  133,
                  233,
                  161,
                  187,
                  229,
                  133,
                  136
                ]
              },
              {
                "token": " start",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  114,
                  116
                ]
              },
              {
                "token": " MUST",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  85,
                  83,
                  84
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " always",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  119,
                  97,
                  121,
                  115
                ]
              },
              {
                "token": "have",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  97,
                  118,
                  101
                ]
              }
            ]
          },
          {
            "token": " to",
            "logprob": 0.0,
            "bytes": [
              32,
              116,
              111
            ],
            "top_logprobs": [
              {
                "token": " to",
                "logprob": 0.0,
                "bytes": [
                  32,
                  116,
                  111
                ]
              },
              {
                "token": " t",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": "to",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  111
                ]
              },
              {
                "token": " think",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  105,
                  110,
                  107
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " three",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " two",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  119,
                  111
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " know",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  107,
                  110,
                  111,
                  119
                ]
              },
              {
                "token": " look",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  111,
                  111,
                  107
                ]
              },
              {
                "token": " one",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": " understand",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " only",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  108,
                  121
                ]
              },
              {
                "token": " remember",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  109,
                  101,
                  109,
                  98,
                  101,
                  114
                ]
              },
              {
                "token": " ot",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  116
                ]
              },
              {
                "token": " top",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  111,
                  112
                ]
              },
              {
                "token": " built",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  117,
                  105,
                  108,
                  116
                ]
              },
              {
                "token": " it",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116
                ]
              }
            ]
          },
          {
            "token": " remember",
            "logprob": 0.0,
            "bytes": [
              32,
              114,
              101,
              109,
              101,
              109,
              98,
              101,
              114
            ],
            "top_logprobs": [
              {
                "token": " remember",
                "logprob": 0.0,
                "bytes": [
                  32,
                  114,
                  101,
                  109,
                  101,
                  109,
                  98,
                  101,
                  114
                ]
              },
              {
                "token": " first",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  105,
                  114,
                  115,
                  116
                ]
              },
              {
                "token": " understand",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  100,
                  101,
                  114,
                  115,
                  116,
                  97,
                  110,
                  100
                ]
              },
              {
                "token": " think",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  105,
                  110,
                  107
                ]
              },
              {
                "token": " start",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  114,
                  116
                ]
              },
              {
                "token": " stop",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  111,
                  112
                ]
              },
              {
                "token": " internal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  116,
                  101,
                  114,
                  110,
                  97,
                  108
                ]
              },
              {
                "token": " keep",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  107,
                  101,
                  101,
                  112
                ]
              },
              {
                "token": " throw",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  114,
                  111,
                  119
                ]
              },
              {
                "token": " abandon",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  98,
                  97,
                  110,
                  100,
                  111,
                  110
                ]
              },
              {
                "token": " shift",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  104,
                  105,
                  102,
                  116
                ]
              },
              {
                "token": " forget",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114,
                  103,
                  101,
                  116
                ]
              },
              {
                "token": " know",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  107,
                  110,
                  111,
                  119
                ]
              },
              {
                "token": " realize",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  97,
                  108,
                  105,
                  122,
                  101
                ]
              },
              {
                "token": " flip",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  108,
                  105,
                  112
                ]
              },
              {
                "token": " look",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  111,
                  111,
                  107
                ]
              },
              {
                "token": " fundamentally",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  117,
                  110,
                  100,
                  97,
                  109,
                  101,
                  110,
                  116,
                  97,
                  108,
                  108,
                  121
                ]
              },
              {
                "token": " let",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  101,
                  116
                ]
              },
              {
                "token": " accept",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  99,
                  99,
                  101,
                  112,
                  116
                ]
              },
              {
                "token": " un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              }
            ]
          },
          {
            "token": " the",
            "logprob": 0.0,
            "bytes": [
              32,
              116,
              104,
              101
            ],
            "top_logprobs": [
              {
                "token": " the",
                "logprob": 0.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " one",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": " its",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116,
                  115
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " two",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  119,
                  111
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " what",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " B",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " three",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " it",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116
                ]
              },
              {
                "token": " their",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101,
                  105,
                  114
                ]
              },
              {
                "token": " why",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  104,
                  121
                ]
              },
              {
                "token": " this",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  105,
                  115
                ]
              },
              {
                "token": " ONE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  79,
                  78,
                  69
                ]
              },
              {
                "token": " there",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "the",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " core",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  114,
                  101
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              }
            ]
          },
          {
            "token": " **",
            "logprob": 0.0,
            "bytes": [
              32,
              42,
              42
            ],
            "top_logprobs": [
              {
                "token": " **",
                "logprob": 0.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " core",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  114,
                  101
                ]
              },
              {
                "token": " two",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  119,
                  111
                ]
              },
              {
                "token": " golden",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  111,
                  108,
                  100,
                  101,
                  110
                ]
              },
              {
                "token": " one",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": " fundamental",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  117,
                  110,
                  100,
                  97,
                  109,
                  101,
                  110,
                  116,
                  97,
                  108
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " single",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  105,
                  110,
                  103,
                  108,
                  101
                ]
              },
              {
                "token": " cardinal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  97,
                  114,
                  100,
                  105,
                  110,
                  97,
                  108
                ]
              },
              {
                "token": " inv",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118
                ]
              },
              {
                "token": " un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              },
              {
                "token": " non",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  110
                ]
              },
              {
                "token": " iron",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  114,
                  111,
                  110
                ]
              },
              {
                "token": " \"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  34
                ]
              },
              {
                "token": " three",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " invariant",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118,
                  97,
                  114,
                  105,
                  97,
                  110,
                  116
                ]
              },
              {
                "token": " foundational",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  117,
                  110,
                  100,
                  97,
                  116,
                  105,
                  111,
                  110,
                  97,
                  108
                ]
              },
              {
                "token": " defining",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  102,
                  105,
                  110,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " _",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  95
                ]
              },
              {
                "token": " tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  101,
                  101
                ]
              }
            ]
          },
          {
            "token": "core",
            "logprob": 0.0,
            "bytes": [
              99,
              111,
              114,
              101
            ],
            "top_logprobs": [
              {
                "token": "core",
                "logprob": 0.0,
                "bytes": [
                  99,
                  111,
                  114,
                  101
                ]
              },
              {
                "token": "inv",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110,
                  118
                ]
              },
              {
                "token": "card",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": "gold",
                "logprob": -9999.0,
                "bytes": [
                  103,
                  111,
                  108,
                  100
                ]
              },
              {
                "token": "one",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "two",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  119,
                  111
                ]
              },
              {
                "token": "defining",
                "logprob": -9999.0,
                "bytes": [
                  100,
                  101,
                  102,
                  105,
                  110,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "non",
                "logprob": -9999.0,
                "bytes": [
                  110,
                  111,
                  110
                ]
              },
              {
                "token": "un",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  110
                ]
              },
              {
                "token": "single",
                "logprob": -9999.0,
                "bytes": [
                  115,
                  105,
                  110,
                  103,
                  108,
                  101
                ]
              },
              {
                "token": "fund",
                "logprob": -9999.0,
                "bytes": [
                  102,
                  117,
                  110,
                  100
                ]
              },
              {
                "token": "iron",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  114,
                  111,
                  110
                ]
              },
              {
                "token": "goal",
                "logprob": -9999.0,
                "bytes": [
                  103,
                  111,
                  97,
                  108
                ]
              },
              {
                "token": "definition",
                "logprob": -9999.0,
                "bytes": [
                  100,
                  101,
                  102,
                  105,
                  110,
                  105,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "\"",
                "logprob": -9999.0,
                "bytes": [
                  34
                ]
              },
              {
                "token": "gu",
                "logprob": -9999.0,
                "bytes": [
                  103,
                  117
                ]
              },
              {
                "token": "hard",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": "imm",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  109,
                  109
                ]
              },
              {
                "token": "ultimate",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  108,
                  116,
                  105,
                  109,
                  97,
                  116,
                  101
                ]
              },
              {
                "token": "three",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  104,
                  114,
                  101,
                  101
                ]
              }
            ]
          },
          {
            "token": " invariant",
            "logprob": 0.0,
            "bytes": [
              32,
              105,
              110,
              118,
              97,
              114,
              105,
              97,
              110,
              116
            ],
            "top_logprobs": [
              {
                "token": " invariant",
                "logprob": 0.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118,
                  97,
                  114,
                  105,
                  97,
                  110,
                  116
                ]
              },
              {
                "token": " rule",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  117,
                  108,
                  101
                ]
              },
              {
                "token": " invari",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118,
                  97,
                  114,
                  105
                ]
              },
              {
                "token": " inv",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118
                ]
              },
              {
                "token": " rules",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  117,
                  108,
                  101,
                  115
                ]
              },
              {
                "token": " constraint",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  110,
                  115,
                  116,
                  114,
                  97,
                  105,
                  110,
                  116
                ]
              },
              {
                "token": " goal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  111,
                  97,
                  108
                ]
              },
              {
                "token": " definition",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  102,
                  105,
                  110,
                  105,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " law",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  97,
                  119
                ]
              },
              {
                "token": " philosophy",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  104,
                  105,
                  108,
                  111,
                  115,
                  111,
                  112,
                  104,
                  121
                ]
              },
              {
                "token": " B",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66
                ]
              },
              {
                "token": " principle",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  108,
                  101
                ]
              },
              {
                "token": " golden",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  111,
                  108,
                  100,
                  101,
                  110
                ]
              },
              {
                "token": " invariance",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118,
                  97,
                  114,
                  105,
                  97,
                  110,
                  99,
                  101
                ]
              },
              {
                "token": " defining",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  102,
                  105,
                  110,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " guarantee",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  117,
                  97,
                  114,
                  97,
                  110,
                  116,
                  101,
                  101
                ]
              },
              {
                "token": " self",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  101,
                  108,
                  102
                ]
              },
              {
                "token": " constraints",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  110,
                  115,
                  116,
                  114,
                  97,
                  105,
                  110,
                  116,
                  115
                ]
              },
              {
                "token": " mantra",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  110,
                  116,
                  114,
                  97
                ]
              },
              {
                "token": " invitation",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  118,
                  105,
                  116,
                  97,
                  116,
                  105,
                  111,
                  110
                ]
              }
            ]
          },
          {
            "token": "**",
            "logprob": 0.0,
            "bytes": [
              42,
              42
            ],
            "top_logprobs": [
              {
                "token": "**",
                "logprob": 0.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "**:",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  58
                ]
              },
              {
                "token": " of",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  102
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": ":**",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  42,
                  42
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " rule",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  117,
                  108,
                  101
                ]
              },
              {
                "token": "*",
                "logprob": -9999.0,
                "bytes": [
                  42
                ]
              },
              {
                "token": "***",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  42
                ]
              },
              {
                "token": " rules",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  117,
                  108,
                  101,
                  115
                ]
              },
              {
                "token": "**(",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  40
                ]
              },
              {
                "token": "**.",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  46
                ]
              },
              {
                "token": "(s",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  115
                ]
              },
              {
                "token": "**,",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  44
                ]
              },
              {
                "token": "****",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  42,
                  42
                ]
              },
              {
                "token": "`",
                "logprob": -9999.0,
                "bytes": [
                  96
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " principle",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  108,
                  101
                ]
              },
              {
                "token": "(",
                "logprob": -9999.0,
                "bytes": [
                  40
                ]
              }
            ]
          },
          {
            "token": " of",
            "logprob": 0.0,
            "bytes": [
              32,
              111,
              102
            ],
            "top_logprobs": [
              {
                "token": " of",
                "logprob": 0.0,
                "bytes": [
                  32,
                  111,
                  102
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " at",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  116
                ]
              },
              {
                "token": " :",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  58
                ]
              },
              {
                "token": " it",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116
                ]
              },
              {
                "token": ":\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " they",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101,
                  121
                ]
              },
              {
                "token": " above",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  98,
                  111,
                  118,
                  101
                ]
              },
              {
                "token": " first",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  105,
                  114,
                  115,
                  116
                ]
              },
              {
                "token": ":**",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  42,
                  42
                ]
              },
              {
                "token": " behind",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  101,
                  104,
                  105,
                  110,
                  100
                ]
              },
              {
                "token": ":\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10
                ]
              },
              {
                "token": " or",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  114
                ]
              },
              {
                "token": " you",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  121,
                  111,
                  117
                ]
              },
              {
                "token": " governing",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  103,
                  111,
                  118,
                  101,
                  114,
                  110,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " we",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  101
                ]
              },
              {
                "token": " every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": " for",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114
                ]
              }
            ]
          },
          {
            "token": " a",
            "logprob": 0.0,
            "bytes": [
              32,
              97
            ],
            "top_logprobs": [
              {
                "token": " a",
                "logprob": 0.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " B",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66
                ]
              },
              {
                "token": " every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": " all",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  108
                ]
              },
              {
                "token": " any",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110,
                  121
                ]
              },
              {
                "token": " an",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  110
                ]
              },
              {
                "token": " this",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  105,
                  115
                ]
              },
              {
                "token": " everything",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  118,
                  101,
                  114,
                  121,
                  116,
                  104,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": " A",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " what",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": "a",
                "logprob": -9999.0,
                "bytes": [
                  97
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " both",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  111,
                  116,
                  104
                ]
              },
              {
                "token": " how",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  111,
                  119
                ]
              },
              {
                "token": " EVERY",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69,
                  86,
                  69,
                  82,
                  89
                ]
              },
              {
                "token": " ALL",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  76,
                  76
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              }
            ]
          },
          {
            "token": " B",
            "logprob": 0.0,
            "bytes": [
              32,
              66
            ],
            "top_logprobs": [
              {
                "token": " B",
                "logprob": 0.0,
                "bytes": [
                  32,
                  66
                ]
              },
              {
                "token": "B",
                "logprob": -9999.0,
                "bytes": [
                  66
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " M",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77
                ]
              },
              {
                "token": " \\(",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  92,
                  40
                ]
              },
              {
                "token": " balanced",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  97,
                  108,
                  97,
                  110,
                  99,
                  101,
                  100
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " valid",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  118,
                  97,
                  108,
                  105,
                  100
                ]
              },
              {
                "token": " C",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  67
                ]
              },
              {
                "token": " self",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  101,
                  108,
                  102
                ]
              },
              {
                "token": " standard",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  110,
                  100,
                  97,
                  114,
                  100
                ]
              },
              {
                "token": " multi",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  117,
                  108,
                  116,
                  105
                ]
              },
              {
                "token": " all",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  108
                ]
              },
              {
                "token": " P",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " real",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  97,
                  108
                ]
              },
              {
                "token": " proper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " Б",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  208,
                  145
                ]
              }
            ]
          },
          {
            "token": "-tree",
            "logprob": 0.0,
            "bytes": [
              45,
              116,
              114,
              101,
              101
            ],
            "top_logprobs": [
              {
                "token": "-tree",
                "logprob": 0.0,
                "bytes": [
                  45,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-T",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  84
                ]
              },
              {
                "token": "‑",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  145
                ]
              },
              {
                "token": " tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-t",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116
                ]
              },
              {
                "token": "-",
                "logprob": -9999.0,
                "bytes": [
                  45
                ]
              },
              {
                "token": "tree",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "Tree",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-te",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  101
                ]
              },
              {
                "token": " Tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  84,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "树",
                "logprob": -9999.0,
                "bytes": [
                  230,
                  160,
                  145
                ]
              },
              {
                "token": "-tier",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  105,
                  101,
                  114
                ]
              },
              {
                "token": "_tree",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-tr",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  114
                ]
              },
              {
                "token": "ree",
                "logprob": -9999.0,
                "bytes": [
                  114,
                  101,
                  101
                ]
              },
              {
                "token": "-th",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  104
                ]
              },
              {
                "token": "-tri",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  116,
                  114,
                  105
                ]
              },
              {
                "token": "+",
                "logprob": -9999.0,
                "bytes": [
                  43
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": "-B",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  66
                ]
              }
            ]
          },
          {
            "token": ":",
            "logprob": 0.0,
            "bytes": [
              58
            ],
            "top_logprobs": [
              {
                "token": ":",
                "logprob": 0.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": ":\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": " of",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  102
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": ".",
                "logprob": -9999.0,
                "bytes": [
                  46
                ]
              },
              {
                "token": ":**",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  42,
                  42
                ]
              },
              {
                "token": ":*",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  42
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " that",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  97,
                  116
                ]
              },
              {
                "token": ":\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10
                ]
              },
              {
                "token": "**:",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42,
                  58
                ]
              },
              {
                "token": " above",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  98,
                  111,
                  118,
                  101
                ]
              },
              {
                "token": " at",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  116
                ]
              },
              {
                "token": ":**\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  42,
                  42,
                  10,
                  10
                ]
              },
              {
                "token": "  \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " for",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  114
                ]
              },
              {
                "token": " first",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  105,
                  114,
                  115,
                  116
                ]
              },
              {
                "token": " with",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  119,
                  105,
                  116,
                  104
                ]
              },
              {
                "token": " from",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  114,
                  111,
                  109
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              }
            ]
          },
          {
            "token": " **",
            "logprob": 0.0,
            "bytes": [
              32,
              42,
              42
            ],
            "top_logprobs": [
              {
                "token": " **",
                "logprob": 0.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": "  \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": " \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  10,
                  10
                ]
              },
              {
                "token": "  \n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  10
                ]
              },
              {
                "token": " every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": " a",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97
                ]
              },
              {
                "token": " it",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  116
                ]
              },
              {
                "token": " Every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": " \n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  10
                ]
              },
              {
                "token": " A",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65
                ]
              },
              {
                "token": " _",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  95
                ]
              },
              {
                "token": "   \n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  32,
                  10
                ]
              },
              {
                "token": "   \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " **_",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42,
                  95
                ]
              },
              {
                "token": " \"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  34
                ]
              },
              {
                "token": " ***",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42,
                  42
                ]
              },
              {
                "token": " the",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  104,
                  101
                ]
              },
              {
                "token": " unlike",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  108,
                  105,
                  107,
                  101
                ]
              },
              {
                "token": "  \n  \n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  32,
                  10,
                  32,
                  32,
                  10
                ]
              }
            ]
          },
          {
            "token": "every",
            "logprob": 0.0,
            "bytes": [
              101,
              118,
              101,
              114,
              121
            ],
            "top_logprobs": [
              {
                "token": "every",
                "logprob": 0.0,
                "bytes": [
                  101,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": "Every",
                "logprob": -9999.0,
                "bytes": [
                  69,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": "a",
                "logprob": -9999.0,
                "bytes": [
                  97
                ]
              },
              {
                "token": "A",
                "logprob": -9999.0,
                "bytes": [
                  65
                ]
              },
              {
                "token": "\"",
                "logprob": -9999.0,
                "bytes": [
                  34
                ]
              },
              {
                "token": "All",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  108,
                  108
                ]
              },
              {
                "token": "all",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  108,
                  108
                ]
              },
              {
                "token": " every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": " Every",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69,
                  118,
                  101,
                  114,
                  121
                ]
              },
              {
                "token": "perfect",
                "logprob": -9999.0,
                "bytes": [
                  112,
                  101,
                  114,
                  102,
                  101,
                  99,
                  116
                ]
              },
              {
                "token": "No",
                "logprob": -9999.0,
                "bytes": [
                  78,
                  111
                ]
              },
              {
                "token": "“",
                "logprob": -9999.0,
                "bytes": [
                  226,
                  128,
                  156
                ]
              },
              {
                "token": "no",
                "logprob": -9999.0,
                "bytes": [
                  110,
                  111
                ]
              },
              {
                "token": "balance",
                "logprob": -9999.0,
                "bytes": [
                  98,
                  97,
                  108,
                  97,
                  110,
                  99,
                  101
                ]
              },
              {
                "token": "the",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  104,
                  101
                ]
              },
              {
                "token": "The",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  104,
                  101
                ]
              },
              {
                "token": "nodes",
                "logprob": -9999.0,
                "bytes": [
                  110,
                  111,
                  100,
                  101,
                  115
                ]
              },
              {
                "token": "Perfect",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  101,
                  114,
                  102,
                  101,
                  99,
                  116
                ]
              },
              {
                "token": "Balance",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  97,
                  108,
                  97,
                  110,
                  99,
                  101
                ]
              },
              {
                "token": "It",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  116
                ]
              }
            ]
          },
          {
            "token": " node",
            "logprob": 0.0,
            "bytes": [
              32,
              110,
              111,
              100,
              101
            ],
            "top_logprobs": [
              {
                "token": " node",
                "logprob": 0.0,
                "bytes": [
                  32,
                  110,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": " leaf",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  101,
                  97,
                  102
                ]
              },
              {
                "token": " internal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  116,
                  101,
                  114,
                  110,
                  97,
                  108
                ]
              },
              {
                "token": " non",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  110
                ]
              },
              {
                "token": " path",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  97,
                  116,
                  104
                ]
              },
              {
                "token": "node",
                "logprob": -9999.0,
                "bytes": [
                  110,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " single",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  105,
                  110,
                  103,
                  108,
                  101
                ]
              },
              {
                "token": " root",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  111,
                  111,
                  116
                ]
              },
              {
                "token": " \"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  34
                ]
              },
              {
                "token": " nodes",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  100,
                  101,
                  115
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " *",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42
                ]
              },
              {
                "token": "*",
                "logprob": -9999.0,
                "bytes": [
                  42
                ]
              },
              {
                "token": "节点",
                "logprob": -9999.0,
                "bytes": [
                  232,
                  138,
                  130,
                  231,
                  130,
                  185
                ]
              },
              {
                "token": " note",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  116,
                  101
                ]
              },
              {
                "token": " Node",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  78,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": " page",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  97,
                  103,
                  101
                ]
              },
              {
                "token": " tree",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  101,
                  101
                ]
              },
              {
                "token": " piece",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  105,
                  101,
                  99,
                  101
                ]
              }
            ]
          },
          {
            "token": " must",
            "logprob": 0.0,
            "bytes": [
              32,
              109,
              117,
              115,
              116
            ],
            "top_logprobs": [
              {
                "token": " must",
                "logprob": 0.0,
                "bytes": [
                  32,
                  109,
                  117,
                  115,
                  116
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " is",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  115
                ]
              },
              {
                "token": " can",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  97,
                  110
                ]
              },
              {
                "token": " except",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  120,
                  99,
                  101,
                  112,
                  116
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " stays",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  116,
                  97,
                  121,
                  115
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " has",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  97,
                  115
                ]
              },
              {
                "token": " keeps",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  107,
                  101,
                  101,
                  112,
                  115
                ]
              },
              {
                "token": " remains",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  114,
                  101,
                  109,
                  97,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " ob",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  98
                ]
              },
              {
                "token": " never",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  118,
                  101,
                  114
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " maintains",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  105,
                  110,
                  116,
                  97,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " always",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  97,
                  108,
                  119,
                  97,
                  121,
                  115
                ]
              },
              {
                "token": " other",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  116,
                  104,
                  101,
                  114
                ]
              },
              {
                "token": "*",
                "logprob": -9999.0,
                "bytes": [
                  42
                ]
              },
              {
                "token": " holds",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  111,
                  108,
                  100,
                  115
                ]
              },
              {
                "token": " follows",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  102,
                  111,
                  108,
                  108,
                  111,
                  119,
                  115
                ]
              }
            ]
          }
        ]
      },
      "finish_reason": "length"
    }
  ],
  "usage": {
    "prompt_tokens": 17,
    "completion_tokens": 24,
    "total_tokens": 41,
    "prompt_tokens_details": {
      "cached_tokens": 0
    },
    "prompt_cache_hit_tokens": 0,
    "prompt_cache_miss_tokens": 17
  },
  "system_fingerprint": "fp_a18b46594c_prod0820_fp8_kvcache_20260402"
}