{
  "id": "faeb5134-f004-4724-ab3e-3066b36e1da7",
  "object": "chat.completion",
  "created": 1785576292,
  "model": "deepseek-v4-flash",
  "choices": [
    {
      "index": 0,
      "message": {
        "role": "assistant",
        "content": "# Pseudocodice per inserire un elemento in un heap binario\n\n## Funzione principale: INSERT\n\n```\n"
      },
      "logprobs": {
        "content": [
          {
            "token": "#",
            "logprob": 0.0,
            "bytes": [
              35
            ],
            "top_logprobs": [
              {
                "token": "#",
                "logprob": 0.0,
                "bytes": [
                  35
                ]
              },
              {
                "token": "E",
                "logprob": -9999.0,
                "bytes": [
                  69
                ]
              },
              {
                "token": "Ti",
                "logprob": -9999.0,
                "bytes": [
                  84,
                  105
                ]
              },
              {
                "token": "##",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "Sc",
                "logprob": -9999.0,
                "bytes": [
                  83,
                  99
                ]
              },
              {
                "token": "Cert",
                "logprob": -9999.0,
                "bytes": [
                  67,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": "P",
                "logprob": -9999.0,
                "bytes": [
                  80
                ]
              },
              {
                "token": "Presenter",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  114,
                  101,
                  115,
                  101,
                  110,
                  116,
                  101,
                  114
                ]
              },
              {
                "token": "ti",
                "logprob": -9999.0,
                "bytes": [
                  116,
                  105
                ]
              },
              {
                "token": "Di",
                "logprob": -9999.0,
                "bytes": [
                  68,
                  105
                ]
              },
              {
                "token": " E",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69
                ]
              },
              {
                "token": "Per",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  101,
                  114
                ]
              },
              {
                "token": "S",
                "logprob": -9999.0,
                "bytes": [
                  83
                ]
              },
              {
                "token": "F",
                "logprob": -9999.0,
                "bytes": [
                  70
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "Il",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  108
                ]
              },
              {
                "token": "Here",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": " Ti",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  84,
                  105
                ]
              },
              {
                "token": "Ho",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  111
                ]
              }
            ]
          },
          {
            "token": " Pseud",
            "logprob": 0.0,
            "bytes": [
              32,
              80,
              115,
              101,
              117,
              100
            ],
            "top_logprobs": [
              {
                "token": " Pseud",
                "logprob": 0.0,
                "bytes": [
                  32,
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " P",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80
                ]
              },
              {
                "token": " Al",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  108
                ]
              },
              {
                "token": " AL",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  76
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " pseud",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": "Pseud",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  115,
                  101,
                  117,
                  100
                ]
              },
              {
                "token": " INSERT",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " Proced",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  111,
                  99,
                  101,
                  100
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " Fun",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  70,
                  117,
                  110
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " PR",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  82
                ]
              },
              {
                "token": " HE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  69
                ]
              },
              {
                "token": " Implement",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  109,
                  112,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115
                ]
              },
              {
                "token": " Met",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  101,
                  116
                ]
              },
              {
                "token": " S",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  83
                ]
              }
            ]
          },
          {
            "token": "oc",
            "logprob": 0.0,
            "bytes": [
              111,
              99
            ],
            "top_logprobs": [
              {
                "token": "oc",
                "logprob": 0.0,
                "bytes": [
                  111,
                  99
                ]
              },
              {
                "token": "ocode",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111,
                  100,
                  101
                ]
              },
              {
                "token": "cod",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  111,
                  100
                ]
              },
              {
                "token": "uc",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  99
                ]
              },
              {
                "token": " codice",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  100,
                  105,
                  99,
                  101
                ]
              },
              {
                "token": " Cod",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  67,
                  111,
                  100
                ]
              },
              {
                "token": "Cod",
                "logprob": -9999.0,
                "bytes": [
                  67,
                  111,
                  100
                ]
              },
              {
                "token": " cod",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  100
                ]
              },
              {
                "token": "ococ",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111,
                  99
                ]
              },
              {
                "token": "or",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  114
                ]
              },
              {
                "token": "oco",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  111
                ]
              },
              {
                "token": "ac",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  99
                ]
              },
              {
                "token": "ec",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  99
                ]
              },
              {
                "token": "on",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  110
                ]
              },
              {
                "token": "od",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100
                ]
              },
              {
                "token": "oper",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": "ocal",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99,
                  97,
                  108
                ]
              },
              {
                "token": "oe",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  101
                ]
              },
              {
                "token": "c",
                "logprob": -9999.0,
                "bytes": [
                  99
                ]
              },
              {
                "token": "oC",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  67
                ]
              }
            ]
          },
          {
            "token": "od",
            "logprob": 0.0,
            "bytes": [
              111,
              100
            ],
            "top_logprobs": [
              {
                "token": "od",
                "logprob": 0.0,
                "bytes": [
                  111,
                  100
                ]
              },
              {
                "token": "OD",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  68
                ]
              },
              {
                "token": "or",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  114
                ]
              },
              {
                "token": " codice",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  100,
                  105,
                  99,
                  101
                ]
              },
              {
                "token": "id",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  100
                ]
              },
              {
                "token": "cod",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  111,
                  100
                ]
              },
              {
                "token": "odic",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  105,
                  99
                ]
              },
              {
                "token": "odie",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  105,
                  101
                ]
              },
              {
                "token": "odi",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  105
                ]
              },
              {
                "token": "ID",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  68
                ]
              },
              {
                "token": "ód",
                "logprob": -9999.0,
                "bytes": [
                  195,
                  179,
                  100
                ]
              },
              {
                "token": "og",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  103
                ]
              },
              {
                "token": " od",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  100
                ]
              },
              {
                "token": "op",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  112
                ]
              },
              {
                "token": "odo",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  111
                ]
              },
              {
                "token": "Od",
                "logprob": -9999.0,
                "bytes": [
                  79,
                  100
                ]
              },
              {
                "token": "odes",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  101,
                  115
                ]
              },
              {
                "token": " cod",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  100
                ]
              },
              {
                "token": "ind",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110,
                  100
                ]
              },
              {
                "token": "oding",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  100,
                  105,
                  110,
                  103
                ]
              }
            ]
          },
          {
            "token": "ice",
            "logprob": 0.0,
            "bytes": [
              105,
              99,
              101
            ],
            "top_logprobs": [
              {
                "token": "ice",
                "logprob": 0.0,
                "bytes": [
                  105,
                  99,
                  101
                ]
              },
              {
                "token": "ifica",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  102,
                  105,
                  99,
                  97
                ]
              },
              {
                "token": "ICE",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  67,
                  69
                ]
              },
              {
                "token": "ici",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  105
                ]
              },
              {
                "token": "ica",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  97
                ]
              },
              {
                "token": "iced",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  101,
                  100
                ]
              },
              {
                "token": "oc",
                "logprob": -9999.0,
                "bytes": [
                  111,
                  99
                ]
              },
              {
                "token": " ice",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  99,
                  101
                ]
              },
              {
                "token": " per",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": "ico",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  111
                ]
              },
              {
                "token": "ices",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  101,
                  115
                ]
              },
              {
                "token": "iche",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  104,
                  101
                ]
              },
              {
                "token": "Ice",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  99,
                  101
                ]
              },
              {
                "token": " ICE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  67,
                  69
                ]
              },
              {
                "token": " Ice",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  99,
                  101
                ]
              },
              {
                "token": "igo",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  103,
                  111
                ]
              },
              {
                "token": "ific",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  102,
                  105,
                  99
                ]
              },
              {
                "token": "uce",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  99,
                  101
                ]
              },
              {
                "token": "icing",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  99,
                  105,
                  110,
                  103
                ]
              },
              {
                "token": "ifice",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  102,
                  105,
                  99,
                  101
                ]
              }
            ]
          },
          {
            "token": " per",
            "logprob": 0.0,
            "bytes": [
              32,
              112,
              101,
              114
            ],
            "top_logprobs": [
              {
                "token": " per",
                "logprob": 0.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " inser",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": " INSERT",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": " Per",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  101,
                  114
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " IN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78
                ]
              },
              {
                "token": " PER",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  69,
                  82
                ]
              },
              {
                "token": " ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " :",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  58
                ]
              },
              {
                "token": " dell",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  108,
                  108
                ]
              },
              {
                "token": " oper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " Ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              }
            ]
          },
          {
            "token": " inser",
            "logprob": 0.0,
            "bytes": [
              32,
              105,
              110,
              115,
              101,
              114
            ],
            "top_logprobs": [
              {
                "token": " inser",
                "logprob": 0.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114
                ]
              },
              {
                "token": " l",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " INSERT",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " L",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  76
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " la",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108,
                  97
                ]
              },
              {
                "token": " il",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  108
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " IN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78
                ]
              },
              {
                "token": " oper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  111,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " Ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " insc",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  99
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": "In",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  110
                ]
              },
              {
                "token": " inset",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  116
                ]
              },
              {
                "token": " un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              }
            ]
          },
          {
            "token": "ire",
            "logprob": 0.0,
            "bytes": [
              105,
              114,
              101
            ],
            "top_logprobs": [
              {
                "token": "ire",
                "logprob": 0.0,
                "bytes": [
                  105,
                  114,
                  101
                ]
              },
              {
                "token": "imento",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  109,
                  101,
                  110,
                  116,
                  111
                ]
              },
              {
                "token": "zione",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "ir",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  114
                ]
              },
              {
                "token": "ione",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "iment",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": "are",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  101
                ]
              },
              {
                "token": "amento",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  109,
                  101,
                  110,
                  116,
                  111
                ]
              },
              {
                "token": "is",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  115
                ]
              },
              {
                "token": "izione",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  122,
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "re",
                "logprob": -9999.0,
                "bytes": [
                  114,
                  101
                ]
              },
              {
                "token": "ment",
                "logprob": -9999.0,
                "bytes": [
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": "ito",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  116,
                  111
                ]
              },
              {
                "token": "IRE",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  82,
                  69
                ]
              },
              {
                "token": "ere",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  114,
                  101
                ]
              },
              {
                "token": "rire",
                "logprob": -9999.0,
                "bytes": [
                  114,
                  105,
                  114,
                  101
                ]
              },
              {
                "token": "ci",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  105
                ]
              },
              {
                "token": "emento",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  109,
                  101,
                  110,
                  116,
                  111
                ]
              },
              {
                "token": "irlo",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  114,
                  108,
                  111
                ]
              },
              {
                "token": "imet",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  109,
                  101,
                  116
                ]
              }
            ]
          },
          {
            "token": " un",
            "logprob": 0.0,
            "bytes": [
              32,
              117,
              110
            ],
            "top_logprobs": [
              {
                "token": " un",
                "logprob": 0.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              },
              {
                "token": " elementi",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  105
                ]
              },
              {
                "token": " elemento",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  111
                ]
              },
              {
                "token": " element",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " una",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  97
                ]
              },
              {
                "token": " l",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  108
                ]
              },
              {
                "token": " Element",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": " um",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  109
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " Un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  110
                ]
              },
              {
                "token": "un",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  110
                ]
              },
              {
                "token": " e",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101
                ]
              },
              {
                "token": " UN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  78
                ]
              },
              {
                "token": " N",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  78
                ]
              },
              {
                "token": " n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110
                ]
              },
              {
                "token": " uno",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  111
                ]
              },
              {
                "token": " L",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  76
                ]
              },
              {
                "token": " nu",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  117
                ]
              },
              {
                "token": " ele",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101
                ]
              }
            ]
          },
          {
            "token": " elemento",
            "logprob": 0.0,
            "bytes": [
              32,
              101,
              108,
              101,
              109,
              101,
              110,
              116,
              111
            ],
            "top_logprobs": [
              {
                "token": " elemento",
                "logprob": 0.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  111
                ]
              },
              {
                "token": " Element",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": " element",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": "'",
                "logprob": -9999.0,
                "bytes": [
                  39
                ]
              },
              {
                "token": " nod",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  111,
                  100
                ]
              },
              {
                "token": " N",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  78
                ]
              },
              {
                "token": " elem",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109
                ]
              },
              {
                "token": " nuovo",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  117,
                  111,
                  118,
                  111
                ]
              },
              {
                "token": " elementi",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116,
                  105
                ]
              },
              {
                "token": " Nu",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  78,
                  117
                ]
              },
              {
                "token": " dato",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  97,
                  116,
                  111
                ]
              },
              {
                "token": "元素",
                "logprob": -9999.0,
                "bytes": [
                  229,
                  133,
                  131,
                  231,
                  180,
                  160
                ]
              },
              {
                "token": " e",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101
                ]
              },
              {
                "token": " E",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  69
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " numero",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  117,
                  109,
                  101,
                  114,
                  111
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "_element",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  101,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              },
              {
                "token": " ele",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  108,
                  101
                ]
              },
              {
                "token": "Element",
                "logprob": -9999.0,
                "bytes": [
                  69,
                  108,
                  101,
                  109,
                  101,
                  110,
                  116
                ]
              }
            ]
          },
          {
            "token": " in",
            "logprob": 0.0,
            "bytes": [
              32,
              105,
              110
            ],
            "top_logprobs": [
              {
                "token": " in",
                "logprob": 0.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " nell",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  108,
                  108
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " nella",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  108,
                  108,
                  97
                ]
              },
              {
                "token": " nel",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  108
                ]
              },
              {
                "token": " trong",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  116,
                  114,
                  111,
                  110,
                  103
                ]
              },
              {
                "token": " în",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  195,
                  174,
                  110
                ]
              },
              {
                "token": " dalam",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  97,
                  108,
                  97,
                  109
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": "in",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  110
                ]
              },
              {
                "token": " nello",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  110,
                  101,
                  108,
                  108,
                  111
                ]
              },
              {
                "token": " في",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  217,
                  129,
                  217,
                  138
                ]
              },
              {
                "token": ",",
                "logprob": -9999.0,
                "bytes": [
                  44
                ]
              },
              {
                "token": " e",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101
                ]
              },
              {
                "token": " en",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101,
                  110
                ]
              },
              {
                "token": " un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " i",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105
                ]
              },
              {
                "token": " su",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  115,
                  117
                ]
              },
              {
                "token": " в",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  208,
                  178
                ]
              }
            ]
          },
          {
            "token": " un",
            "logprob": 0.0,
            "bytes": [
              32,
              117,
              110
            ],
            "top_logprobs": [
              {
                "token": " un",
                "logprob": 0.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              },
              {
                "token": " uno",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  111
                ]
              },
              {
                "token": " una",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  97
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": "un",
                "logprob": -9999.0,
                "bytes": [
                  117,
                  110
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " in",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110
                ]
              },
              {
                "token": " um",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  109
                ]
              },
              {
                "token": " Un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  110
                ]
              },
              {
                "token": " uns",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  115
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " UN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  85,
                  78
                ]
              },
              {
                "token": "'un",
                "logprob": -9999.0,
                "bytes": [
                  39,
                  117,
                  110
                ]
              },
              {
                "token": " Binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " e",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  101
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " unin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110,
                  105,
                  110
                ]
              }
            ]
          },
          {
            "token": " heap",
            "logprob": 0.0,
            "bytes": [
              32,
              104,
              101,
              97,
              112
            ],
            "top_logprobs": [
              {
                "token": " heap",
                "logprob": 0.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " Binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " bin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " HE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  69
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": " binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": "heap",
                "logprob": -9999.0,
                "bytes": [
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " heapq",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112,
                  113
                ]
              },
              {
                "token": " minim",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109
                ]
              },
              {
                "token": "Heap",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " he",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101
                ]
              },
              {
                "token": " un",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  117,
                  110
                ]
              },
              {
                "token": " Bin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Hep",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  112
                ]
              },
              {
                "token": " He",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101
                ]
              }
            ]
          },
          {
            "token": " bin",
            "logprob": 0.0,
            "bytes": [
              32,
              98,
              105,
              110
            ],
            "top_logprobs": [
              {
                "token": " bin",
                "logprob": 0.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": " binomial",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  111,
                  109,
                  105,
                  97,
                  108
                ]
              },
              {
                "token": " Bin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  66,
                  105,
                  110
                ]
              },
              {
                "token": " minim",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109
                ]
              },
              {
                "token": "\n\n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": " bian",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  97,
                  110
                ]
              },
              {
                "token": " b",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98
                ]
              },
              {
                "token": "/bin",
                "logprob": -9999.0,
                "bytes": [
                  47,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": "-bin",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": " mass",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  115,
                  115
                ]
              },
              {
                "token": "bin",
                "logprob": -9999.0,
                "bytes": [
                  98,
                  105,
                  110
                ]
              },
              {
                "token": "Bin",
                "logprob": -9999.0,
                "bytes": [
                  66,
                  105,
                  110
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " bins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " binary",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110,
                  97,
                  114,
                  121
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " bid",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  100
                ]
              }
            ]
          },
          {
            "token": "ario",
            "logprob": 0.0,
            "bytes": [
              97,
              114,
              105,
              111
            ],
            "top_logprobs": [
              {
                "token": "ario",
                "logprob": 0.0,
                "bytes": [
                  97,
                  114,
                  105,
                  111
                ]
              },
              {
                "token": "ário",
                "logprob": -9999.0,
                "bytes": [
                  195,
                  161,
                  114,
                  105,
                  111
                ]
              },
              {
                "token": "ari",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  105
                ]
              },
              {
                "token": "aria",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  105,
                  97
                ]
              },
              {
                "token": "atio",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  116,
                  105,
                  111
                ]
              },
              {
                "token": "airo",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  105,
                  114,
                  111
                ]
              },
              {
                "token": "arios",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  105,
                  111,
                  115
                ]
              },
              {
                "token": "ato",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  116,
                  111
                ]
              },
              {
                "token": "ary",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  121
                ]
              },
              {
                "token": "are",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  101
                ]
              },
              {
                "token": "atorio",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  116,
                  111,
                  114,
                  105,
                  111
                ]
              },
              {
                "token": "acio",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  99,
                  105,
                  111
                ]
              },
              {
                "token": "io",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  111
                ]
              },
              {
                "token": "rio",
                "logprob": -9999.0,
                "bytes": [
                  114,
                  105,
                  111
                ]
              },
              {
                "token": "raio",
                "logprob": -9999.0,
                "bytes": [
                  114,
                  97,
                  105,
                  111
                ]
              },
              {
                "token": "arlo",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  108,
                  111
                ]
              },
              {
                "token": "ariamente",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  105,
                  97,
                  109,
                  101,
                  110,
                  116,
                  101
                ]
              },
              {
                "token": "arius",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  114,
                  105,
                  117,
                  115
                ]
              },
              {
                "token": "à",
                "logprob": -9999.0,
                "bytes": [
                  195,
                  160
                ]
              },
              {
                "token": "air",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  105,
                  114
                ]
              }
            ]
          },
          {
            "token": "\n\n",
            "logprob": 0.0,
            "bytes": [
              10,
              10
            ],
            "top_logprobs": [
              {
                "token": "\n\n",
                "logprob": 0.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " minim",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110,
                  105,
                  109
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": " mass",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  115,
                  115
                ]
              },
              {
                "token": ":\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": " max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  120
                ]
              },
              {
                "token": " bin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  98,
                  105,
                  110
                ]
              },
              {
                "token": " Min",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  105,
                  110
                ]
              },
              {
                "token": " (_",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40,
                  95
                ]
              },
              {
                "token": " MIN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  73,
                  78
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": "\n\n\n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  10,
                  10
                ]
              },
              {
                "token": " \n\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  10,
                  10
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": "(min",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  109,
                  105,
                  110
                ]
              },
              {
                "token": " con",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  110
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              }
            ]
          },
          {
            "token": "##",
            "logprob": 0.0,
            "bytes": [
              35,
              35
            ],
            "top_logprobs": [
              {
                "token": "##",
                "logprob": 0.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "```\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "E",
                "logprob": -9999.0,
                "bytes": [
                  69
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "L",
                "logprob": -9999.0,
                "bytes": [
                  76
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "Di",
                "logprob": -9999.0,
                "bytes": [
                  68,
                  105
                ]
              },
              {
                "token": "Ho",
                "logprob": -9999.0,
                "bytes": [
                  72,
                  111
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "Quest",
                "logprob": -9999.0,
                "bytes": [
                  81,
                  117,
                  101,
                  115,
                  116
                ]
              },
              {
                "token": "Il",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  108
                ]
              },
              {
                "token": "e",
                "logprob": -9999.0,
                "bytes": [
                  101
                ]
              },
              {
                "token": "La",
                "logprob": -9999.0,
                "bytes": [
                  76,
                  97
                ]
              },
              {
                "token": "```\n\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10,
                  10
                ]
              },
              {
                "token": "Questa",
                "logprob": -9999.0,
                "bytes": [
                  81,
                  117,
                  101,
                  115,
                  116,
                  97
                ]
              },
              {
                "token": "Per",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  101,
                  114
                ]
              },
              {
                "token": "In",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  110
                ]
              },
              {
                "token": "---\n\n",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  45,
                  45,
                  10,
                  10
                ]
              },
              {
                "token": "``",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96
                ]
              },
              {
                "token": "Fun",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  117,
                  110
                ]
              }
            ]
          },
          {
            "token": " Fun",
            "logprob": 0.0,
            "bytes": [
              32,
              70,
              117,
              110
            ],
            "top_logprobs": [
              {
                "token": " Fun",
                "logprob": 0.0,
                "bytes": [
                  32,
                  70,
                  117,
                  110
                ]
              },
              {
                "token": " Al",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  108
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " Str",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  83,
                  116,
                  114
                ]
              },
              {
                "token": " Appro",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  65,
                  112,
                  112,
                  114,
                  111
                ]
              },
              {
                "token": " Vers",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  86,
                  101,
                  114,
                  115
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " Oper",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  79,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " Defin",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  68,
                  101,
                  102,
                  105,
                  110
                ]
              },
              {
                "token": " ",
                "logprob": -9999.0,
                "bytes": [
                  32
                ]
              },
              {
                "token": " Desc",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  68,
                  101,
                  115,
                  99
                ]
              },
              {
                "token": " Conc",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  67,
                  111,
                  110,
                  99
                ]
              },
              {
                "token": " Pr",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114
                ]
              },
              {
                "token": " Pre",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  101
                ]
              },
              {
                "token": " Not",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  78,
                  111,
                  116
                ]
              },
              {
                "token": " Panor",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  97,
                  110,
                  111,
                  114
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Introdu",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  116,
                  114,
                  111,
                  100,
                  117
                ]
              },
              {
                "token": " Prel",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  101,
                  108
                ]
              },
              {
                "token": " Proced",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  111,
                  99,
                  101,
                  100
                ]
              }
            ]
          },
          {
            "token": "zione",
            "logprob": 0.0,
            "bytes": [
              122,
              105,
              111,
              110,
              101
            ],
            "top_logprobs": [
              {
                "token": "zione",
                "logprob": 0.0,
                "bytes": [
                  122,
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "zioni",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105,
                  111,
                  110,
                  105
                ]
              },
              {
                "token": "z",
                "logprob": -9999.0,
                "bytes": [
                  122
                ]
              },
              {
                "token": "zion",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": "zone",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "zio",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105,
                  111
                ]
              },
              {
                "token": "ción",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  105,
                  195,
                  179,
                  110
                ]
              },
              {
                "token": "ção",
                "logprob": -9999.0,
                "bytes": [
                  195,
                  167,
                  195,
                  163,
                  111
                ]
              },
              {
                "token": "ione",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "zi",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105
                ]
              },
              {
                "token": "zo",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  111
                ]
              },
              {
                "token": "izione",
                "logprob": -9999.0,
                "bytes": [
                  105,
                  122,
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": "ci",
                "logprob": -9999.0,
                "bytes": [
                  99,
                  105
                ]
              },
              {
                "token": "ghi",
                "logprob": -9999.0,
                "bytes": [
                  103,
                  104,
                  105
                ]
              },
              {
                "token": "zu",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  117
                ]
              },
              {
                "token": " principale",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  97,
                  108,
                  101
                ]
              },
              {
                "token": "azione",
                "logprob": -9999.0,
                "bytes": [
                  97,
                  122,
                  105,
                  111,
                  110,
                  101
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": "zin",
                "logprob": -9999.0,
                "bytes": [
                  122,
                  105,
                  110
                ]
              },
              {
                "token": "er",
                "logprob": -9999.0,
                "bytes": [
                  101,
                  114
                ]
              }
            ]
          },
          {
            "token": " principale",
            "logprob": 0.0,
            "bytes": [
              32,
              112,
              114,
              105,
              110,
              99,
              105,
              112,
              97,
              108,
              101
            ],
            "top_logprobs": [
              {
                "token": " principale",
                "logprob": 0.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  97,
                  108,
                  101
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": " INSERT",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": ":",
                "logprob": -9999.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " inser",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " principali",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  97,
                  108,
                  105
                ]
              },
              {
                "token": " per",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " Princip",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  80,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112
                ]
              },
              {
                "token": " IN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78
                ]
              },
              {
                "token": " HE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  69
                ]
              },
              {
                "token": " Ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115
                ]
              },
              {
                "token": " main",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  109,
                  97,
                  105,
                  110
                ]
              },
              {
                "token": " principal",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  114,
                  105,
                  110,
                  99,
                  105,
                  112,
                  97,
                  108
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              }
            ]
          },
          {
            "token": ":",
            "logprob": 0.0,
            "bytes": [
              58
            ],
            "top_logprobs": [
              {
                "token": ":",
                "logprob": 0.0,
                "bytes": [
                  58
                ]
              },
              {
                "token": " di",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  105
                ]
              },
              {
                "token": "\n\n",
                "logprob": -9999.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": " per",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  112,
                  101,
                  114
                ]
              },
              {
                "token": " INSERT",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " -",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  45
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": ":\n\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10,
                  10
                ]
              },
              {
                "token": " inser",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " IN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78
                ]
              },
              {
                "token": " con",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  99,
                  111,
                  110
                ]
              },
              {
                "token": ":\n",
                "logprob": -9999.0,
                "bytes": [
                  58,
                  10
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " dell",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  100,
                  101,
                  108,
                  108
                ]
              },
              {
                "token": " HE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  69
                ]
              }
            ]
          },
          {
            "token": " INSERT",
            "logprob": 0.0,
            "bytes": [
              32,
              73,
              78,
              83,
              69,
              82,
              84
            ],
            "top_logprobs": [
              {
                "token": " INSERT",
                "logprob": 0.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83,
                  69,
                  82,
                  84
                ]
              },
              {
                "token": " In",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110
                ]
              },
              {
                "token": " `",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96
                ]
              },
              {
                "token": " Insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " insert",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116
                ]
              },
              {
                "token": " inser",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114
                ]
              },
              {
                "token": " INS",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78,
                  83
                ]
              },
              {
                "token": " HE",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  69
                ]
              },
              {
                "token": " IN",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  78
                ]
              },
              {
                "token": " Heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " **",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  42,
                  42
                ]
              },
              {
                "token": " Ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  73,
                  110,
                  115
                ]
              },
              {
                "token": " heap",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  104,
                  101,
                  97,
                  112
                ]
              },
              {
                "token": " MAX",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  65,
                  88
                ]
              },
              {
                "token": " insertion",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115,
                  101,
                  114,
                  116,
                  105,
                  111,
                  110
                ]
              },
              {
                "token": " Max",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  77,
                  97,
                  120
                ]
              },
              {
                "token": " He",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  72,
                  101
                ]
              },
              {
                "token": " ins",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  105,
                  110,
                  115
                ]
              },
              {
                "token": " \"",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  34
                ]
              },
              {
                "token": " ``",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96,
                  96
                ]
              }
            ]
          },
          {
            "token": "\n\n",
            "logprob": 0.0,
            "bytes": [
              10,
              10
            ],
            "top_logprobs": [
              {
                "token": "\n\n",
                "logprob": 0.0,
                "bytes": [
                  10,
                  10
                ]
              },
              {
                "token": "-",
                "logprob": -9999.0,
                "bytes": [
                  45
                ]
              },
              {
                "token": "(",
                "logprob": -9999.0,
                "bytes": [
                  40
                ]
              },
              {
                "token": "_HE",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  72,
                  69
                ]
              },
              {
                "token": " (",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  40
                ]
              },
              {
                "token": "\n",
                "logprob": -9999.0,
                "bytes": [
                  10
                ]
              },
              {
                "token": "ION",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  79,
                  78
                ]
              },
              {
                "token": "(E",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  69
                ]
              },
              {
                "token": "-E",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  69
                ]
              },
              {
                "token": "(H",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  72
                ]
              },
              {
                "token": "_E",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  69
                ]
              },
              {
                "token": "_",
                "logprob": -9999.0,
                "bytes": [
                  95
                ]
              },
              {
                "token": "(A",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  65
                ]
              },
              {
                "token": "E",
                "logprob": -9999.0,
                "bytes": [
                  69
                ]
              },
              {
                "token": "-H",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  72
                ]
              },
              {
                "token": "(h",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  104
                ]
              },
              {
                "token": "()\n\n",
                "logprob": -9999.0,
                "bytes": [
                  40,
                  41,
                  10,
                  10
                ]
              },
              {
                "token": "-M",
                "logprob": -9999.0,
                "bytes": [
                  45,
                  77
                ]
              },
              {
                "token": "_H",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  72
                ]
              },
              {
                "token": "_IN",
                "logprob": -9999.0,
                "bytes": [
                  95,
                  73,
                  78
                ]
              }
            ]
          },
          {
            "token": "```\n",
            "logprob": 0.0,
            "bytes": [
              96,
              96,
              96,
              10
            ],
            "top_logprobs": [
              {
                "token": "```\n",
                "logprob": 0.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "```",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96
                ]
              },
              {
                "token": "**",
                "logprob": -9999.0,
                "bytes": [
                  42,
                  42
                ]
              },
              {
                "token": "###",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35,
                  35
                ]
              },
              {
                "token": "##",
                "logprob": -9999.0,
                "bytes": [
                  35,
                  35
                ]
              },
              {
                "token": "```\n\n",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96,
                  96,
                  10,
                  10
                ]
              },
              {
                "token": "L",
                "logprob": -9999.0,
                "bytes": [
                  76
                ]
              },
              {
                "token": "``",
                "logprob": -9999.0,
                "bytes": [
                  96,
                  96
                ]
              },
              {
                "token": "Quest",
                "logprob": -9999.0,
                "bytes": [
                  81,
                  117,
                  101,
                  115,
                  116
                ]
              },
              {
                "token": "Per",
                "logprob": -9999.0,
                "bytes": [
                  80,
                  101,
                  114
                ]
              },
              {
                "token": "Il",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  108
                ]
              },
              {
                "token": "La",
                "logprob": -9999.0,
                "bytes": [
                  76,
                  97
                ]
              },
              {
                "token": "E",
                "logprob": -9999.0,
                "bytes": [
                  69
                ]
              },
              {
                "token": "Questa",
                "logprob": -9999.0,
                "bytes": [
                  81,
                  117,
                  101,
                  115,
                  116,
                  97
                ]
              },
              {
                "token": "In",
                "logprob": -9999.0,
                "bytes": [
                  73,
                  110
                ]
              },
              {
                "token": " ```\n",
                "logprob": -9999.0,
                "bytes": [
                  32,
                  96,
                  96,
                  96,
                  10
                ]
              },
              {
                "token": "Al",
                "logprob": -9999.0,
                "bytes": [
                  65,
                  108
                ]
              },
              {
                "token": "Fun",
                "logprob": -9999.0,
                "bytes": [
                  70,
                  117,
                  110
                ]
              },
              {
                "token": "1",
                "logprob": -9999.0,
                "bytes": [
                  49
                ]
              },
              {
                "token": "F",
                "logprob": -9999.0,
                "bytes": [
                  70
                ]
              }
            ]
          }
        ]
      },
      "finish_reason": "length"
    }
  ],
  "usage": {
    "prompt_tokens": 22,
    "completion_tokens": 24,
    "total_tokens": 46,
    "prompt_tokens_details": {
      "cached_tokens": 0
    },
    "prompt_cache_hit_tokens": 0,
    "prompt_cache_miss_tokens": 22
  },
  "system_fingerprint": "fp_a18b46594c_prod0820_fp8_kvcache_20260402"
}