{
  "systemInfo": {
    "totalMemory": 17179869184,
    "freeMemory": 392445952,
    "cpuCount": 12
  },
  "performance": {
    "buildTime": 74513.48492395878,
    "proofTime": 378165.3512490392,
    "verifyTime": 1472.5854579806328
  },
  "merkleInfo": {
    "merkleLength": 3
  },
  "datasetInfo": {
    "keyNumber": 0
  },
  "queryInfo": {
    "a": {
      "a": {
        "a": {
          "path": "/a",
          "expected": {
            "value": 10,
            "tag": "integer-kind"
          },
          "tag": "$eq"
        },
        "b": {
          "path": "/b",
          "expected": {
            "value": 20,
            "tag": "integer-kind"
          },
          "tag": "$ge"
        },
        "tag": "$and"
      },
      "b": {
        "path": "/c",
        "expected": {
          "value": "blue",
          "tag": "string-kind"
        },
        "tag": "$eq"
      },
      "tag": "$and"
    },
    "b": {
      "path": "/d",
      "expected": {
        "value": "reds",
        "tag": "string-kind"
      },
      "tag": "$eq"
    },
    "tag": "$and"
  },
  "verificationInfo": {
    "verificationResult": false,
    "key": {
      "data": "AgEwjSE86jiafznq/DxJVl1y1BvT/8VpTvhvIeugrCtEIYCaHjg4OIEWMhFpTw6or4UrzbeIczc+99jWGlDPmxYwnPCBejt+kX4NCvYN1Oxxobkab5B6z9azvut88Ljcdzg93eit/5hmQu7GzPjbRxZewjxqwxgf7b89+yLQI/tEHQiMy8oO1+m+VL0nUvZLXgmpg6sElYOqire0Hy2LRQ8uR78DtwNnzmFao/2BAFVNLEI6PZ9CvGi6A7VuacdI2iLzTUFmp73a6u3ymtM5ZcLfaF3DIHpQeeam2ZBpEh3mL0vN+deQUMNg0Gd0kYTTSGZFfGjdk/P9Yak1e/ZWH2A8byF0oTUmwcvxjgMnt4JTTZUQUiru16RhjACqrqSaYQaOBibOxCkLRLLQXmdUqEdxwZMp6miB6VZiapwVDo5QCbN90PrRx5W2EjQ8vY15FloZOJhq7B12SCIbUpaaUBYrJbhlOWVOUgHryjA8Tc0M0PXvGemn3irK3zmJqfvJKDP/H+8xgfW3i78c4bycWK/HSiLNZMyFVVs2bNYwZPaVJJQziXjuIviBUosh0kyQE0F+1AMp3tVzbQiP5zrPtuMAAAak867n1oiBs5MHKdPJXHAyztrLjv54d1oIt7IFfrg4XKZ8Y8Jl8IRE/A4QXwe2zghJEogb2ntwwteLLU6H+wRjLhPxj50HZV+T/G0+nGJM7Oodi3hini1dOCyEIbZ5OMey3PdZV6Wiqu2Y8oKhSZdD9yedBtqjr9fu6+oflNwUSpMSn1kjY1I7Yrov6iQNzp6qZcPLhgbuMauzcyy0rDKOmKcpZXmGy1/kaIUQVKOHtZ5z/WHPrwL8w9Omp50oJS50ccWCUDcCcu/j8ucEzFkw/LpWU+LIYaxmBWdd2345yicdFCl5LAbsyiRXMC+GqGjnV0pHWFj8efZ6toao6R93DcY8zqbyLPV/Bg491ewJ1b4fUVNmmstWcBYy8qH1PHl5laDljoCPwDcOxtW9j46+0YB+ACAhFnuOz29znpYzQWfNvRTE3Zd9xbO/zPL2KzbCrdmrl4QHQaZQFM3w9B+UsumZmYp94KIx6cvFyFfs0AOuWKuFyFdx5UIZM4wxHVEMMFj/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": "794646925864987827684014521217545400745350439149523589886277786443085373842"
    }
  }
}