{
  "type": "int32",
  "data": [
    -2138741213,
    955349793,
    -1056236274,
    551223035,
    -2061382430,
    -956974812,
    -982822691,
    -1701456261,
    288192200,
    -1530387250,
    -331837095,
    -1382950363,
    -875771341
  ]
}