{
    "0": {"type": "integer", "value": "0"}
}