{
  "type": "int32",
  "data": [
    -435582873,
    1644190310,
    -1803862866,
    423266136,
    -2064313807,
    -1356408350,
    -2085634807,
    -1768909636,
    2073277284,
    -1955716798,
    1764354462,
    -1969476572,
    275847940
  ]
}