{
  "proof": {
    "A": [
      "0x2d880377bcd59e9c1e9192535f12113bcfde085b475489bf8f9814611df79845",
      "0x070ad73ba7547ae3273fdb4d76e25039ef24cd86e8fe8fcb3e5cc9e26b2cec6e"
    ],
    "A_p": [
      "0x07c0321d30112f31a1a9e2a07d32944dc56f8d42ff94bbcf7a6ff5e651823dad",
      "0x006842c2a84613d1497a68cafc087a5db8bceab78c955d785ac431bc51dc269f"
    ],
    "B": [
      [
        "0x19fc81b753c6082096ae7f521a454a39768d909c8e289892b726e9b7c50cdd4c",
        "0x15f92314465d1e802ca30b3c244c0cbc7e5d168e36a3e34d88c6d0fb823a7cab"
      ],
      [
        "0x21e451ac42b17696abd1aef1f54fc20a086ed4a968080ebd1fc1f84d4335179b",
        "0x0dc960b9f0e564d4f03fc24dbe06d8e4e49c9e7cd1fad3a4e981e6afc1f8986b"
      ]
    ],
    "B_p": [
      "0x2c5b0170b71b529ec69ffc119b555e8b21981fcc625b9e4ff3ede8ed5822b0cf",
      "0x1b774e2bbcb40f6128d323b635688476a1a35b20c7b0faae353b079e049745f5"
    ],
    "C": [
      "0x1e33624257d2e7bc16032839982ddea6fe92faf0c1c5ed0da335b46396056fea",
      "0x0e63463e3c461355db2a71f11d2ffd9b3b973a93464f8ae0682dae1f345d9ea6"
    ],
    "C_p": [
      "0x2a8ec3d070e5c7a64209be8df254225e2f66fdcb4baa55abc2724730d70ca87e",
      "0x1cd33de5c6c89035a085f2851cf6e8d04b689a5d90a62d585eb2500fe7dbfd20"
    ],
    "H": [
      "0x2c5f3fdabaf84695f13fc8e853ae438eac2a57e6720399fa2e7f7b6af0d7caaa",
      "0x20879428ec0854d7d5c356c457f3b9471a836bee833660f9bdc28cf12f84ec91"
    ],
    "K": [
      "0x1eb02a27b49503f7f7e81b6912937303097dfce893e904584dcc4ca29774cd90",
      "0x2ce699013954fc3738678b016e43f0d6b7a4698b77fec998c929c6d9b9f51b44"
    ]
  },
  "input": [
    "0x0000000000000000000000000000000084df9ff6a5ae3d8b62c37f253caafec6",
    "0x0000000000000000000000000000000094cbdbd0073d643a7f7d942b4d7e855a",
    "0x000000000000000000000000000000000cb598121553698bd81bb50e5b178527",
    "0x000000000000000000000000000000005e86a6065ad5dfe5c743e2678efeae92",
    "0x00000000000000000000000000000000bd5e17d5474a41651c97d409ace7f9dc",
    "0x0000000000000000000000000000000096ceb58a5476f0510b39589b8c2c43a3",
    "0x0000000000000000000000000000000000000000000000000000000000000001"
  ]
}