{
  "type": "int32",
  "data": [
    422956317,
    285718345,
    -2116068298,
    -362832310,
    -953387793,
    -1416129166,
    872022095,
    110922480,
    574536800,
    916896664,
    2069340787,
    1300355690,
    516932426
  ]
}