{
    "3": {
        "14159": {"type": "string", "value": "pi"}
    }
}