{
  "type": "int32",
  "data": [
    -491609904,
    -623331091,
    -1753693500,
    545586808,
    -533806164,
    -440644412,
    1133399546,
    -307667234,
    -25904427,
    -1937511795,
    886736886,
    -1692221623,
    -2000763687
  ]
}