{
  "type": "int32",
  "data": [
    -1311516764,
    -584519145,
    -142932201,
    -9485255,
    -1959347907,
    200014496,
    -1484815326,
    1045291563,
    786189267,
    1814743252,
    1051245454,
    -572765429,
    2007939011,
    -382894814,
    -748074391,
    1741762850
  ]
}