{
  "type": "int32",
  "data": [
    585684670,
    -1146479823,
    1631542617,
    -301295986,
    -1792663734,
    -1938911482,
    489455605,
    913832633,
    -1183211447,
    -1327945770,
    -601106286,
    231977353
  ]
}