{
  "type": "int32",
  "data": [
    -1374975189,
    -57194154,
    2000253502,
    1124685006,
    1135223019,
    -1057438174,
    -827255152,
    -1730219727,
    1808850523,
    1965977144,
    -691516588,
    857529505
  ]
}