{
  "systemInfo": {
    "totalMemory": 17179869184,
    "freeMemory": 730333184,
    "cpuCount": 12
  },
  "performance": {
    "buildTime": 75028.00208598375,
    "proofTime": 155130.77845299244,
    "verifyTime": 1420.0066779851913
  },
  "merkleInfo": {
    "merkleLength": 2
  },
  "datasetInfo": {
    "keyNumber": 0
  },
  "queryInfo": {
    "a": {
      "path": "/a",
      "expected": {
        "value": 11,
        "tag": "integer-kind"
      },
      "tag": "$eq"
    },
    "b": {
      "path": "/b",
      "expected": {
        "value": 20,
        "tag": "integer-kind"
      },
      "tag": "$ge"
    },
    "tag": "$and"
  },
  "verificationInfo": {
    "verificationResult": false,
    "key": {
      "data": "AgEwjSE86jiafznq/DxJVl1y1BvT/8VpTvhvIeugrCtEIYCaHjg4OIEWMhFpTw6or4UrzbeIczc+99jWGlDPmxYwnPCBejt+kX4NCvYN1Oxxobkab5B6z9azvut88Ljcdzg93eit/5hmQu7GzPjbRxZewjxqwxgf7b89+yLQI/tEHQiMy8oO1+m+VL0nUvZLXgmpg6sElYOqire0Hy2LRQ8uR78DtwNnzmFao/2BAFVNLEI6PZ9CvGi6A7VuacdI2iLzTUFmp73a6u3ymtM5ZcLfaF3DIHpQeeam2ZBpEh3mL0vN+deQUMNg0Gd0kYTTSGZFfGjdk/P9Yak1e/ZWH2A8byF0oTUmwcvxjgMnt4JTTZUQUiru16RhjACqrqSaYQaOBibOxCkLRLLQXmdUqEdxwZMp6miB6VZiapwVDo5QCbN90PrRx5W2EjQ8vY15FloZOJhq7B12SCIbUpaaUBYrJbhlOWVOUgHryjA8Tc0M0PXvGemn3irK3zmJqfvJKDP/H+8xgfW3i78c4bycWK/HSiLNZMyFVVs2bNYwZPaVJJQziXjuIviBUosh0kyQE0F+1AMp3tVzbQiP5zrPtuMAAHQwxI9uD3zMKHmkj3a9FDLlbm4+vkMl3xcOmn3U2PwzYA8P8mlLjbhI9Oh3nzXy74NqUh6OH+Npq6ns5/buxwhjLhPxj50HZV+T/G0+nGJM7Oodi3hini1dOCyEIbZ5OMey3PdZV6Wiqu2Y8oKhSZdD9yedBtqjr9fu6+oflNwUSpMSn1kjY1I7Yrov6iQNzp6qZcPLhgbuMauzcyy0rDKOmKcpZXmGy1/kaIUQVKOHtZ5z/WHPrwL8w9Omp50oJS50ccWCUDcCcu/j8ucEzFkw/LpWU+LIYaxmBWdd2345yicdFCl5LAbsyiRXMC+GqGjnV0pHWFj8efZ6toao6R93DcY8zqbyLPV/Bg491ewJ1b4fUVNmmstWcBYy8qH1PHl5laDljoCPwDcOxtW9j46+0YB+ACAhFnuOz29znpYzWQjhJD8EB1I+jBigCCS4fLSRT9TmW1i0tm/gBkMZszkP5GusMoou4sOrJpyw0f0xrU4pTis2PhtbV6Lhq9k2N1EMMFj/GxlzLsgVKO8AU2jM4eziREn9qxz9PnzXhzoe3gLzLH+DIL5uoN+iBnZK0977UprHINoXnwbyqMM4/B8PVjoRPRypSZssSsUQBuW6V1GPuutfyfTqTWloux7eKAwKbg152o5wJEhVFIlW+Sx+BT5ZzrH49bKstwR9tFYmvkmWXci/P6q2Ha2JOg1hQfLzX8vcPqYPVW1KZ8u/ZwFh2aBtuJY5c18/8f9N2PwAm24x3LC95DPfi5oDSHcHGgWURqUjW0QLhuue/zyCrnH054ACjvtF9BlsurI0HFYQKhJXdqyRHkTCyRCWMCzFEAB+jhzJHWONscP+scAdnxMPk7iC+OVf1OeVrkuJGSTraOIXVNdpXhvGPI0U3kBVJwJKKBokgsygklz063wfUEVS/B8KDvVchsZoIJEHaNs91U1ujeDjMgn31dhdXB+Q36+sMBKTGTjxs92OAOUtkxfvxwneKc8CZ5LtGneZjzYByY1TEj75Y2jsQYzitymfHVgKrw0UkvRWOkWGjltyqXZNQ5FUPp0uC7yvM5tDAlEikZiHxYXPJLGspEtkGf7QCLDboLhDbLZJFqn6gsWCWgP0zkmHioNl25bUu0RWbtweXuIsQsIwDCfULYeSWeZqKO/lSRqeDgWAW2xWCxmQH52bFPkyixRn5YdpabbRb2UOBU/osXMKRoHLpjt0XOK3DlMTep3vvVwJ6i+pjRtWnQ6OPfy8uTnTvPMPB/IJjnFhRLby2TxsNLuQwWAz/ZKIAABlwDJ8cJTCphVGUnPet6/sLbdI/HRjDvXAOgz2JpHwNMJNJ8d3gdn1QJldzIcylsyqcrLhkdecY+92ysTqAdsfBGMCH/h62HQ3ppA0r9lebrEGGc3TUalQWF7vIuP+gyB8M9llNaT88cK5x9+z5UHu3VpdEhSYko3Azck3IwzyGwQ9eMIp9OXUc1irSmzkyv1EdcuHI+f9xV6PKa2tvxgtbBXgMECg5xe4bE+tot+ZMxNGoIocrbXOEJZizJ5x3TSSETN/C2NdwUHY3rW0k56thBeOiZgmIvHutKQGQsEXOiz7G7sHN78KdHxgGQBHGnwFP7JGh0pCeIzK9JmFbVEQHMpX+KcVwr17YnF7KjePVeRXlcNysaljuLSFidZGMSGI7H8yYL25eTvOGGEVGQzdr52x7AxYsOYoFOWZbc9FCndIFeGtRGPtffERRHfHQdgOFdW50p9vyKyvkV2SSrQa7kRtby+vSUkFYWLy3S8K6TFFuS2R/JBkJ+lpHQiv9TE=",
      "hash": "28808573687170476940639365105740126092306498112707737292422887862261880221973"
    }
  }
}