{
  "type": "int32",
  "data": [
    -402198096,
    -224796257,
    541574024,
    -1265483600,
    -506912349,
    -271666610,
    -1739769545,
    442647689,
    -1315147472,
    -2134427890,
    519679503,
    -858419832
  ]
}