{
  "type": "int32",
  "data": [
    -1533214622,
    1364701223,
    184093478,
    -1810859267,
    -425876729,
    57810385,
    -956758334,
    -1001215591,
    911214225,
    -2009537990,
    1839205621,
    -763210231
  ]
}