{
  "kind": "SELECT",
  "columns": [
    "total"
  ],
  "rows": [
    [
      "\"5000\"^^xsd:integer"
    ]
  ]
}