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