{
  "type": "int32",
  "data": [
    -1424024793,
    260837544,
    -1144733175,
    1261312843,
    1566972097,
    1802299962,
    1977339560,
    -963640876,
    1050386627,
    -670388222,
    520849086,
    597704894,
    1130681569
  ]
}