{
  "schema": 1,
  "name": "simplicity-version-comparison",
  "scope": "standalone mode-specific verification",
  "upstream_revision": "d13165d3d21bac73e8794eede21f0f1527f3b837",
  "compiler_revision": "f3fa882e77c221e96e10acde9f0e46e68e69930f",
  "gsr_revision": "d2799052604eb138c5a79acf88514a0c8b07f4ef",
  "host": {
    "platform": "macOS-26.4-arm64-arm-64bit-Mach-O",
    "machine": "arm64",
    "python": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]",
    "rustc": "rustc 1.94.1 (e408947bf 2026-03-25)",
    "preprocessor": [
      "clang"
    ],
    "preprocessor_version": "Apple clang version 17.0.0 (clang-1700.6.3.2)\nTarget: arm64-apple-darwin25.4.0\nThread model: posix\nInstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin"
  },
  "sources": {
    "experiments/simplicity-version-comparison/Cargo.lock": "8b0d7885ca3349fea07496cd66c73d4b4d374e8a894d8d5420b41f454af106b8",
    "experiments/simplicity-version-comparison/Cargo.toml": "6c80b98f4c1eaca7060c2a039be71a2fad6a41a772997d185965e83253a4f84f",
    "experiments/simplicity-version-comparison/c_measure.rs": "2651f4417e627f88ed1182bd742e1a863713eb1dcbaac547426578ba4c2be264",
    "experiments/simplicity-version-comparison/gsr.py": "8d9a308856778eab25657b21397f5a14575452115c347f1fa9fb2c70aec10e49",
    "experiments/simplicity-version-comparison/reference.py": "f35dbd91665574bb5a30ccd4788001850a7aac58316aae28c9bde0559c06c50d",
    "experiments/simplicity-version-comparison/run.py": "19a16886a7893b9181008edc065d53e1c52055eff96abd508b9f7e6f0d1b0862",
    "experiments/simplicity-version-comparison/runner.rs": "718ac96607f10d0980324cc3f418866b84c5b6200eb854ac9318e287257d753c",
    "experiments/simplicity-version-comparison/setup.sh": "fd35e9c1238a3e0a50787c97df3208c55786fa671b5fc53253c2d83399ed9d3c",
    "experiments/simplicity-version-comparison/test_comparison.py": "6fd2bd736d43bf7e84589a34723fbc3404787c8a83975e22b2443cb7c0eb9b57",
    "generator/multi.py": "fae35f7dff2ac2dcb2586f6ff7392d3b520829905ea8ac2934a851243c767031",
    "generator/script.py": "2c71fdb8d1dd806a562f635c8c9af9d3527965619e87e8fe2e01cf05e4077076",
    "generator/verifier.py": "db5296addbe5db148a7e1e54561540855c6b22e4a9aed426fdeb569237cc9567",
    "runner/evaluator.py": "342ff5d2f780599b662b2a612599ae33c333e108b1b22f71fe02e8e226defaeb",
    "runner/profile.hpp": "aacd994526915dc48774ced157270c85ede3506e1d4c69f57a53d2829ea03738",
    "runner/profile.py": "251a10a7b37a8b59407408a51fe54877098a3b945e51fadfd47618b40e10f8ca",
    "scripts/profile_build.py": "8353ae349117820b59cc3d04e050ec68cff82cb56fb8b7f8cd2ab82620d48686"
  },
  "upstream_sources": {
    "examples/lamport/lamport_main.simf": "209f1dd47608bb509f38f064067df924c82b24d78d8df9fe9a31ec32cd14f1b1",
    "examples/shrincs/shrincs_main.simf": "7e60d5c4e2275923558660845456ef6926436a31eff3d815944da4edb847811d",
    "lamport.simf": "872201e231df632291e8a0cb2c2f6f80917630fa0f1d0b92021a1684cff906ab",
    "shrincs/shrincs.simf": "d857e594d4e6d888f2bf2b9ff20225437cfbbcdddb9dd8bf77fb289598c3ac2c",
    "shrincs/unbalanced_xmss.simf": "fb16f8ef96750a4fdc38802ca4d0f3f1506a202936048ba0fde29a7214696bdc",
    "sphincs/fors.simf": "b6beac3b51eda26f19dc90b3526e671ef2b3e4664a96944727b71eeb661a24bd",
    "sphincs/sphincs.simf": "6927695105f2921194b9783d390ccc2fc75cf8b69a8a32d5e5b4e26ddf443487",
    "sphincs/sphincs_wots_tw.simf": "7ae4d427b620d2f6bdc3342f6483c12542de3d38f2525d45664cdb83e9459855",
    "sphincs/sphincs_xmss.simf": "79b2426d46074d0cbab9047decfb31eed448a43b61a36021577a30639ba8680f",
    "templates/array_map.simf": "ffa430a67f0dcdff81780c3221c2b5e7f53f9d9885535c2eea1aefb6010ba743",
    "templates/assert_arrays.simf": "89b3716627c6d0c8f3ec2691c12a4d990b2fda89f05a806841f8340a0283b6c3",
    "test.simf": "188183a92666d96855f587d0f084672104f4468ea4d99f8f3f722662184e448a",
    "types.simf": "387899dbc4986f9741b42e0a7e4e284dd3f479ac18b734fce7a4e5fa1736c4e3",
    "utils.simf": "47f96db32075acfc2213eb4a4a4cdb82a32a87dc1a4d7768ace406a4935bcfbf",
    "wots.simf": "38c0787c4aac2cb8c6d2ca58aca75b6c48ee8ed793d89334fd239d31ee4d611c"
  },
  "binaries": {
    "build/bitcoin/bin/bitcoin-util": "daa0da55d73cdb12616d2898fc7a2c7ae73a3d5636bda26c391d0be04fff39bd",
    "build/profile/bin/bitcoin-util": "c7473ed899a193dc4435df322c8b24995341e93b56adceaf95e88666d0bdd0cb",
    "build/simplicityhl/target/release/simplicity-comparison-runner": "32352ffa379fc6ed6d388da95a2e0469ee20c39da11f2988e72af0975502de75"
  },
  "modes": {
    "stateful": {
      "fixture_sha256": "c1e356c50ebd0331a85b8462680f6fb4a2d17995ccadf311230ae8438a217adf",
      "proof_sha256": "9fb825e57ebefb06adafe9e85867d4bff5f808085d2ddcbc6c92845358fd96e7",
      "source_sha256": "33533529cb4407716f7ed2a7ee14cc971737719616d310e923daec5e8f13317e",
      "logical_input_bytes": 1160,
      "cases": [
        {
          "name": "upstream",
          "proof_sha256": "9fb825e57ebefb06adafe9e85867d4bff5f808085d2ddcbc6c92845358fd96e7",
          "accepted": true
        },
        {
          "name": "flip/0/bit0",
          "proof_sha256": "8d12e517cdcc595dd3ddd9dab2c9cb4db44d4278936bb5bc9628d79b0aee2199",
          "accepted": false
        },
        {
          "name": "flip/0/bit7",
          "proof_sha256": "0a5a9c5e2684f2268a41551287f51c2c9e2f2c7048485ed2b9f2c7dcfc4906cc",
          "accepted": false
        },
        {
          "name": "flip/1/0/bit0",
          "proof_sha256": "24801269d324acf871fceeb61a4f560d3a43814bca11a515e9abc057be43b117",
          "accepted": false
        },
        {
          "name": "flip/1/0/bit7",
          "proof_sha256": "92c03fc431d5865d61a7b73f446a2546cd58e0e80554821a47c85b5734f46ea5",
          "accepted": false
        },
        {
          "name": "flip/1/1/bit0",
          "proof_sha256": "a9d931df7514a48ce30a1fad9bc2ef80fa1c6d4bf15df309e8d04581e11575df",
          "accepted": false
        },
        {
          "name": "flip/1/1/bit7",
          "proof_sha256": "0eab0d32acb2c9da6004934aa95b93c9b41de18b163f1ff97cd9725b15d52cd3",
          "accepted": false
        },
        {
          "name": "flip/3/bit0",
          "proof_sha256": "e439d638821290307095e1a54f8d36c78f3d10f48e2c0abd1b50c4d192d1545d",
          "accepted": false
        },
        {
          "name": "flip/3/bit7",
          "proof_sha256": "630fbde85ca975a06cb5468b965f9cde18c6e47ab296d063a45febc66f84adba",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/0/bit0",
          "proof_sha256": "e48545496f7b5a7412fc7f61880c988e4ac016c084a908488f6b6b3fd2682529",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/0/bit7",
          "proof_sha256": "1d710a093b7cbf289bc36f2abdc336722b7f2232aaef488b0da38eb353db304f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/1/bit0",
          "proof_sha256": "0476500b4f1f74def7ce9c95e2e6729f27efff4dbda46da9b0d611835d840dd9",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/1/bit7",
          "proof_sha256": "67d57deef42c6fcd3786f53200f04e03fb4cffd55543ea6dc05a3dc5b6028a45",
          "accepted": false
        },
        {
          "name": "flip/2/Left/2/bit0",
          "proof_sha256": "2bdf822894d3231ff4f93eafc8b71538840536e6d08b4dc30eb38e422d5519d8",
          "accepted": false
        },
        {
          "name": "flip/2/Left/2/bit7",
          "proof_sha256": "65a5589dfe16ba7a487aefa9d15ac075f647fd131b6ee69a7f526fdb05cfc00f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/0/bit0",
          "proof_sha256": "037e95f60ea28ce82a7e28b9e3f7b205401d216949d4a6a672afb84a2f7ab02a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/0/bit7",
          "proof_sha256": "bfd972fe1e3c64ee68a33bb2a795eb90ca788e5c9bc689bb1f04c2d1c1c10e20",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/1/bit0",
          "proof_sha256": "b33e19775c5ad17d41be3be3c36822f63ea92f4c6e618c5804d262f2b83bfa1f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/1/bit7",
          "proof_sha256": "3f92304739fd806f85baa6050102c215005539a1e296b738d1550152718d9fb6",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/2/bit0",
          "proof_sha256": "fec03906ec76754135b7bfc805289bc9caf981e1641ee2f1d0b1e9d248ac26d5",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/2/bit7",
          "proof_sha256": "95f9abd481f4031a5bfc6bf76fb75e1314594b952848496d0ae6c49a4247040a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/3/bit0",
          "proof_sha256": "80191240ff8418bf9dcc862d534b02581d36f2e8783088764bae6550fe4a7a5e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/3/bit7",
          "proof_sha256": "ce44e15187ce5dfc9fae2b0ead7166448d73e26ac6b26a14538d210888fa878f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/4/bit0",
          "proof_sha256": "408a6f08e4419e63586580fe32bf05362b569573c1fc86a2ceeb273ab391f5b0",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/4/bit7",
          "proof_sha256": "b860a8929b5181af2ad70cc1a5c176c11d10393f60d87a6280755640c2a9ad04",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/5/bit0",
          "proof_sha256": "8f7cf1981d9cef63ad4e3499bd0f482de272b186e118669c089a24486a6f59e4",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/5/bit7",
          "proof_sha256": "8fd0130c393cafea036299d97562fb18e5326691f3079b893833ebcd0461694c",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/6/bit0",
          "proof_sha256": "439aef0f811d55759dfcfa00b6046f08af69f276c61527dbc42628b329a2efcd",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/6/bit7",
          "proof_sha256": "b29c784b0b1d2b0db4278890eb3c1e6f83e044eb90ca69dc7326c29ade5129b7",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/7/bit0",
          "proof_sha256": "0eac7ee13fb13341711d841469b66e369133eefdeae3fe9b2ee2d119aeb1cc01",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/7/bit7",
          "proof_sha256": "f1af76801b7559ac0e83ca6b8430c121f6bdb016823e34872c577727a64b5112",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/8/bit0",
          "proof_sha256": "3d7c1e53bf49fd3ac395b1cc356aeead62271016be2fd68a568aad81057da059",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/8/bit7",
          "proof_sha256": "6116630edfa10481b8d4238f8e638a1df97f37013bba7e726db214252d3790e7",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/9/bit0",
          "proof_sha256": "eff1ed73858b59ea88da99332966a1abe9d3ac01aef1223847e080cb16b703fb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/9/bit7",
          "proof_sha256": "590ca35fe7d84069ac3ad1061d97ba54a75f9a4208c320850806edd34cf6ac17",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/10/bit0",
          "proof_sha256": "36a541c111a7d30d9c6a573ee9b760a09dee46b8c30f10ee0dacc300f9ce0106",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/10/bit7",
          "proof_sha256": "c47e9af0c80ea9a66b37d3a4bca9a8445c0a48198e0e1d2c9644e0b3a5fe5267",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/11/bit0",
          "proof_sha256": "b96bc12d5e503684f30992d2fe032ba11ca67106f401443477c8587f2fddb606",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/11/bit7",
          "proof_sha256": "d9f81dd0241bcf1aa9415d10b1cc088cc0abca51537875bd0fe29a7d91803532",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/12/bit0",
          "proof_sha256": "efbf4f7f26b4559376ba59087ae834549bbf1d2a55793743efbab54014c9cd60",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/12/bit7",
          "proof_sha256": "b81c1d6c72d5cf292ee92ac5a213c14a714e71ff6d9d27d9d48563a8377d1d9e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/13/bit0",
          "proof_sha256": "2e79e9d1f18f60725f09c91a56987624516847e881aeacf6f0d616e364f968c7",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/13/bit7",
          "proof_sha256": "d43c077d219c6cd7492a8dbc7eb87b056770d101b5aeb3bc212adae81f9ac0e2",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/14/bit0",
          "proof_sha256": "933ce6000e9b72f45ced8a301e710fc14a389a3ae9312a5ae53a56a689195580",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/14/bit7",
          "proof_sha256": "18af3580b0035f951f4631251194a94c1488d7cbbae6c46be1c935dda058fd43",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/15/bit0",
          "proof_sha256": "da98d31f897436cab4ef780f798d3aeaa73d981eee9690eb12f2500238988ac0",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/15/bit7",
          "proof_sha256": "ef5540c255ca995eef40c0f06145c540558c6daf2e4ee61c19aad0d3500f2acb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/16/bit0",
          "proof_sha256": "26915c786e6e29be3ddbd01e4448523691cd39eff00ed33c985bfa0f0a11c9e2",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/16/bit7",
          "proof_sha256": "5def1389310f7dde0075ca206a861c67d4407f7d8aa2680e505b23ce01da22e1",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/17/bit0",
          "proof_sha256": "e15ca2dae41287a82310b06d6857e928efdbab30b3f38baadd209c56f7f922d4",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/17/bit7",
          "proof_sha256": "801a2c5a05d7fedb45d3b006e158f08e5119d153d966d7dfe84c7a85fb7d71eb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/18/bit0",
          "proof_sha256": "099d28b2cdf978084eab3ea97be4a21bae9c17cfd610b47e6fa50433d13c7f49",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/18/bit7",
          "proof_sha256": "6a3b1036405ca11bd1090d8a9714f70a08d784ee9ab78facd19890cc5bdf0aaf",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/19/bit0",
          "proof_sha256": "afffbeefb2c523b7974a819f1df686a6615c45f807952c8e9f716fbf90fd174c",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/19/bit7",
          "proof_sha256": "6a3e7c5c3a23ce4f7a90e006b4bf1a5b4a1691929c7d6802aaeec6c33be59d21",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/20/bit0",
          "proof_sha256": "67eaa8f03962b2c822c08e3d33569f3a57f9eeed465c69d6eea1b90730e1401f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/20/bit7",
          "proof_sha256": "b093eda496c97ac91308fc7207718a1f1a6e19c9b8bd68ae8861e9e341583449",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/21/bit0",
          "proof_sha256": "59c002298f5a03528e7b167f17a483685d135487de948d8d95f0d04c194ef962",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/21/bit7",
          "proof_sha256": "afaca1c5f069b56f4f79ffb46c51bef91dfebb1144ef519ed6199090dcb1fbbf",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/22/bit0",
          "proof_sha256": "f7992a09e17a73fc6a3072ac722e846eba9e663599712b26e62f318e3cdc1071",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/22/bit7",
          "proof_sha256": "b38ce0aa44d797e80c4940069c94cb10f221ed8b1ea7c851ac14af76d1d4550a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/23/bit0",
          "proof_sha256": "c7c9a62b6c5733b09c3d500bc42812d0c282e67fe49521912ed2b7d34dde228c",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/23/bit7",
          "proof_sha256": "1e7f1b3085dc52f2f82100c9e202d1ab91a1da4b96cb8ac6dffef4eb2a149c74",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/24/bit0",
          "proof_sha256": "8a62a5f47887999d40e8b2af7226c3c9bd49a2d64b90cc2805e6c7c9dd17bc20",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/24/bit7",
          "proof_sha256": "128a9fac256a475ca3fb0015e1a5eedc350ae6b14b1e6bcb1202100f44a7d327",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/25/bit0",
          "proof_sha256": "59e0ed939cff6c1393905e609f93c1b70439e1a3b05fac098aa59d49d5f7425e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/25/bit7",
          "proof_sha256": "113d0abadacc6378e42f625da2edd1a7a62f9c687de78a35107ff093ae4f1d63",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/26/bit0",
          "proof_sha256": "91b28803bab419d019c70f9b07bae966d8be9533064550440054d9075e8aa90f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/26/bit7",
          "proof_sha256": "261b115913268df67cf9314aa8f64ba0a4290014136af0a6680c95defd613961",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/27/bit0",
          "proof_sha256": "0da5c0924b678d71a4bbda7a4c43eba4dcad3de8e82225aa938dc0f93a0dd6c5",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/27/bit7",
          "proof_sha256": "b20c6129f8f7a2c77ed452898439429fba3f58cd0ce875d0561246bc96bf699a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/28/bit0",
          "proof_sha256": "63864e12fbd981e97a4be98fb10a27834ddc7c3d591956f9b73871a2dd3d613e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/28/bit7",
          "proof_sha256": "82e055b494e820dadcbe1111c02acfb1b08b1ca3e46e79db410e95a91503164e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/29/bit0",
          "proof_sha256": "8eabaa045e26f8ac7dbee820feb98ef77f6a2e909ebe1f474240b339f07bc6e1",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/29/bit7",
          "proof_sha256": "47fd0e683e083f32d3f9bc96072914ea534a11733e50d944fe123829446bdbac",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/30/bit0",
          "proof_sha256": "6fe8736c9459b5136b3ca79a8a9ea21d0390fea575812ef605fe44a2818cf466",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/30/bit7",
          "proof_sha256": "be3fa724ab3a325c48ccdf6ae6dfee317f14be9f6f8c12b899cbebeef1b3a662",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/31/bit0",
          "proof_sha256": "68b5ad1b6a110cc8532fb002d18bb730dd642ffc6fd7053402406ca9f9d68f1b",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/31/bit7",
          "proof_sha256": "4f4dcb581d2356b30f868ed3c49de3a876309cd64f369179756f236c8406a46f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/32/bit0",
          "proof_sha256": "82c4dd26e4c150070c641aed5cb7e2fe0d95fd3b355d84fa03c170217d15b035",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/32/bit7",
          "proof_sha256": "7543e91b9e82aafb8b0c227ea21e5ab076f460ed20c42afb8d549dc44651db10",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/33/bit0",
          "proof_sha256": "4c5b34525762d38fa3e4c7837001bba4678576051f3a701786f1657e60002ee6",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/33/bit7",
          "proof_sha256": "b9ab1c228d8025c23390de9d5819df2699a9f92c05824aa7a43c37eb82647bb6",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/34/bit0",
          "proof_sha256": "44e6b60853651cf06e5591c3d3c88fb54e2fbc0ddfbe4341511de92e2d50fabb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/34/bit7",
          "proof_sha256": "6e68054e2339ab6172a46b628a94f8589b90b8b05a998be915de8f17c0e1f36a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/35/bit0",
          "proof_sha256": "85af2d36ef36006cd69b68f92982e0e38e933f0a35bba740dcd9931768ca3edb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/35/bit7",
          "proof_sha256": "ff85eaf6e4bdc73a869f223894734d1a3b41984ab7fd824a755fedec0eb29a13",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/36/bit0",
          "proof_sha256": "38d04fb998699f78f5074b7a7fc7b2ed5b607f3d28c731454d2a93ebc7d6f652",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/36/bit7",
          "proof_sha256": "55599212d2945ffa680299e99f3375e01740d678cdda4ab600a35a7747c9e85f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/37/bit0",
          "proof_sha256": "5ed9504b79bde14fee9144a910f608558e710348eb5c5e953a44b8e490286a4e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/37/bit7",
          "proof_sha256": "449e964034a9205a33dddafaf83fba5de86a6bc8d3cbdd4d071bc405292ce5d4",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/38/bit0",
          "proof_sha256": "6901b249fd75a915f219a2127a105aae0d6187bd7389eb15789f49b9c93dfc1b",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/38/bit7",
          "proof_sha256": "3a3e11da3a65e3503e565f859180950c06336e65e81cda5dade33ed1b4fe9164",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/39/bit0",
          "proof_sha256": "1fe31b681ada61d1ae0b95b7ebd6cf4e49c8a8862eb83969f58b1aad5f400247",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/39/bit7",
          "proof_sha256": "0001e8e4e8b825f4da28bda6f1556bd069fcf281aa7fcc9ec5d043435a6cf518",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/40/bit0",
          "proof_sha256": "4c17c2d0ee42faca14690aa00dfba92a9e30fddaec603c35c9dd11907d655713",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/40/bit7",
          "proof_sha256": "1eddb6a19991520b10f4f03fb0db15012a847f35af84c10d2935483c579c8a78",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/41/bit0",
          "proof_sha256": "75ed033bf12cae8561429e1324c64474de450a8b15d01b12af01aba15e1b5872",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/41/bit7",
          "proof_sha256": "bde7350fd0703cdea5e4098c6ecfc91c1d66869771424b5ccd3501688ed3a865",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/42/bit0",
          "proof_sha256": "5d71432b80837c8f2efae4546031b75e09cf358818f13e43de9ab5472782eaa4",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/42/bit7",
          "proof_sha256": "85db4b794041b091f35d23a89fbbfe0c7abb759f7f5462bf6abf50e6ab549220",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/43/bit0",
          "proof_sha256": "5c31cff79040536cd420db4a57fe697c4f77a0dbbfc7dfed340084eb370040b5",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/43/bit7",
          "proof_sha256": "5192fcc455d27c9c70a3af984e0c8bd28cdc98071db3bc17755f4cd5d0f9cf9b",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/44/bit0",
          "proof_sha256": "54fa0de62d0209ef6edbc4368618a1120e6d84c7018a1e59b856e220f8972bf0",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/44/bit7",
          "proof_sha256": "9eeb6befca0ff72998d2ea3f620ee86e5c159fb426f909ca911d38d77511c24b",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/45/bit0",
          "proof_sha256": "3a1208ee6668203d2f0a02a1cd9cd0abc9f88096cb9d3d8b5e12c97624b44928",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/45/bit7",
          "proof_sha256": "af99980096e4b6bccfdccdbf1ea537317a68e385ef9a629a314243bdd3673ed2",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/46/bit0",
          "proof_sha256": "1c6be517950b2db1f2cb668f6c8e29228425d45b53b40abde04ae3f8119206bd",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/46/bit7",
          "proof_sha256": "774ea5407efa44d2da6187ac9bd1adbf572d9dd31ad7d6fc2ac1cf55ca235bd2",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/47/bit0",
          "proof_sha256": "a26849a3bdf90974eab2dc99150a25b2a5be691d8cd8f28be7de187c9c0f6eaf",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/47/bit7",
          "proof_sha256": "34c298d31aacffd8461eaac94bccd7c898037b817b8037b02b81bc8f4c919e0d",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/48/bit0",
          "proof_sha256": "7ff34dec62be4ad0cbed874d14a86a273ade07b36a5e1dd128be8dd3fb847604",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/48/bit7",
          "proof_sha256": "139a2eeddf1316eabf106d2fb703a9fdec275cf154ad1c3bf7bcabfbd787b36c",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/49/bit0",
          "proof_sha256": "3a323e310c3a8633fa8bed3e712a87c9d5303811f38eff7ffc38f14e7f3a92cc",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/49/bit7",
          "proof_sha256": "b76f6efe3521e5382b43214d3a2f3b18fbdca6a28ac8a048fec34803d10fa5de",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/50/bit0",
          "proof_sha256": "2b54a0e1771f6a8415f7d633b6f59029a93cb50baed427086f349dedbd7c4d4f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/50/bit7",
          "proof_sha256": "d62b82468e2b4a69652df295f835d1ecae7bc4bf9efd1b41c17e3e812578dc66",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/51/bit0",
          "proof_sha256": "345ff6c2e74efe31e36055684b5226aa0ace3a5b615d49add6e7e4de76adf29a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/51/bit7",
          "proof_sha256": "de3923cce0159e00e68ed4cbb35612eb94aa1ae48e431b3ae14eeabee9e3ce2f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/52/bit0",
          "proof_sha256": "b4b6372065c51d34c2eed2159fefd3cf4e64ad9200e8f7fc571ac24dc11997cc",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/52/bit7",
          "proof_sha256": "75d6f50e1119e172d70e127156f9d4187fdc9efa8259ae905fb2e2b9babb6536",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/53/bit0",
          "proof_sha256": "1bcfe297498f36f6d707ed029ecc78114fe4ab2ee5f1d7231e8894039de25988",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/53/bit7",
          "proof_sha256": "25978e73e1e19ff5d477646b0fa38cbc6a27d8d96fd4e963aa390adb39afbce9",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/54/bit0",
          "proof_sha256": "f6b473b5fedc3731326024c51670768ab51ebacae33ee0dc07e40eeb82d720e9",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/54/bit7",
          "proof_sha256": "e9212cfc846da5f7da3c868d3de6ef1788e392e5e2daf2b0eadcd7027710a879",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/55/bit0",
          "proof_sha256": "6c5a01507ffe27225ae3ae7d535aa5a2fbfce15af9e69ce9e5e130360b422336",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/55/bit7",
          "proof_sha256": "85ef62ba81f67c3964424066bbb0654f61674235f0de7039b2897257a3b952af",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/56/bit0",
          "proof_sha256": "c5fb1f1066587a3a55043744247b7359b7b4a04d68cf87126349a880017806d4",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/56/bit7",
          "proof_sha256": "0b9fc49ea4f8f8e05220895726b82adc78daa73627e9c982e6f2900c58b0c9c9",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/57/bit0",
          "proof_sha256": "a2a194a77c9c128e67f784f679f2c8a3f1585ce16ec38156f803bd6d7d25fd69",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/57/bit7",
          "proof_sha256": "e8143537a3c7c386eeaaa0ba5cff1e4bad880443ce40c3ecf24690878bac0ab1",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/58/bit0",
          "proof_sha256": "9833f47e83827115a7aa3dcf0aa48132f85db7feecbd7349b023c4d6cbf167c9",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/58/bit7",
          "proof_sha256": "c442dd392c636ab276d0dd38f9369846d20255f73e1d3345807dc46d7c8851fa",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/59/bit0",
          "proof_sha256": "c7a16d09cdb44937b13f885ec85d47915f2ffb25a05a1832ac9235854a7814fc",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/59/bit7",
          "proof_sha256": "3eb27b1ad7a7d73cf69d5be204edcdbb31feccb67ecc07bc0833f8dd98bd42ba",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/60/bit0",
          "proof_sha256": "57cdc21f75593971c4e450c7a9306e8b54c61b98eb22b69971bdaff478ccc740",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/60/bit7",
          "proof_sha256": "ac7b860fc0cd3bfacbbca41edde31c0fe214e83a1379329cc02001006843d7e0",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/61/bit0",
          "proof_sha256": "4e3f422e3cf40a184980c03902e9a9643abcb0fd41870a8baaa5859aca0b7b0a",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/61/bit7",
          "proof_sha256": "a349f2e7b6f301f35d505fc5dd4f01adf83503ad846f2466da18d95966bc4fe2",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/62/bit0",
          "proof_sha256": "4460ad6cd5555c3cdb2a14433f512afdfca03e2a69b9da51e4edac0e04b1f39f",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/62/bit7",
          "proof_sha256": "d4f3fe5d8e1324e22e2e37b67fbb46fbbf29d7812efcf832298b443200867e28",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/63/bit0",
          "proof_sha256": "8afa7a25febaab230a859cab7b4bcff63f4d8d5c565b2c954d11532383be17fb",
          "accepted": false
        },
        {
          "name": "flip/2/Left/0/2/63/bit7",
          "proof_sha256": "6ece2daa8cd4a80eb0dc13b4eaaa03a46d5d9069481f644a29c5b329e2fed84e",
          "accepted": false
        },
        {
          "name": "flip/2/Left/1/0/bit0",
          "proof_sha256": "12a1237bedf59f50bfa0d8e290b5edc645c0efc9dc34cdc1f6afce882f26348b",
          "accepted": false
        },
        {
          "name": "flip/2/Left/1/0/bit7",
          "proof_sha256": "3aefbea5292d5cfb347b5ce57d6e0d2d6506009fec9f32f6463daadad496fb5b",
          "accepted": false
        }
      ],
      "simplicity": {
        "c_cost_bound": 33991524,
        "c_execution_ns": [
          1300375,
          1315666,
          1265542,
          1190125,
          1219375,
          1283416,
          1223125,
          1225167,
          1256541,
          1213542,
          1195375
        ],
        "c_validation_ns": [
          3610375,
          3642542,
          3578625,
          3377792,
          3408834,
          3504250,
          3456167,
          3459750,
          3565375,
          3448667,
          3543792
        ],
        "cmr": "126e5c300ee9b83a2bc466058636de7140dd15e512e9ed5933d4282bd08d5927",
        "cost_bound": "33991524",
        "execution_ns": [
          17543750,
          17301750,
          17016334,
          16320042,
          17211042,
          16558709,
          16312292,
          16120333,
          16341375,
          16934000,
          16495250
        ],
        "extra_cells_bound": 618944,
        "extra_frames_bound": 90,
        "jets": [
          "add_32",
          "add_8",
          "divide_8",
          "eq_256",
          "eq_32",
          "eq_8",
          "lt_8",
          "modulo_8",
          "sha_256_ctx_8_add_16",
          "sha_256_ctx_8_add_32",
          "sha_256_ctx_8_add_4",
          "sha_256_ctx_8_add_8",
          "sha_256_ctx_8_finalize",
          "sha_256_ctx_8_init",
          "subtract_32",
          "subtract_8",
          "verify"
        ],
        "program_bytes": 2851,
        "program_hex": "ea74dd0284186187c0c30581061c610838e305885ac8106e02620509d59020dbcc156ab8822d200000000000000000000000000000000000000000000000000000000000000000d2156ab9022d0000000000000000000000000000000000dc1501a902841871871c8141b8ccc38e38fc4671c6e34140b220c385810620506e439c620507e421c61c81420c31028481c7c09c6628038f2c80000001019055aad0459000000000358540636600000000000000000de156ab8020dcaa305407224dc9238e160039267e531871c2c407264dcb930e38e16403937ab104205090395609ca01401ca9b2000000030641501c5a838e30e385980e350701e301401c5e7e281401cbb372fc50072f8dc04e30e1620390807122050838e30e38dcc8a40e475800028547e213f2d4e38e38e385a02d416edc0e01c9913800a85885c142e0e370d40a10618838e16036681420c30fa8e151b240a106187e0670a8d92050830c3f0c38546c9028373d67e2338546e7c1028373ae7e2a38546e7a8fc5c2840a8dcaf30c38c40a0dcfb18720e38c4d8020205834e0f4102d63eb4d8080205834e034118041ba0350283ec481c105406b40a0f9a6c020102c0070340a0fa136018081600385a0507e69ce30e38e3735a71871c70730370db8c38e0e2070c1b7187070038a427159f8c520721455a708a0840a0dce49c8141b9287240e6b4559b68210283e84d8008205800d28141f426c008102c0070140a0dcab38e38dcb138c38e383981b06e5c1871c1c40e1436e30e0e0071381c62071b01c7e072c42e5a8fcc48201cc090283f31690398b1501c8640a0dccaa40e7b454072010283e69038fc540721d0283e69038f8540723902841c71871c71c6d071871c71c1d007011b801871c707203878dc00c38e0e2071604e2e4d401140180dc482816240a13600608373ac28d3450420507e770c30e30e38e38e38fc0451a5a0840a0fcf99c71c71c726c800000004102c1a5c4108141fa02ce38e38e38e38fd00a61c71f831ba20ce30e30e38e38e38e385b87e8df38c38c38e38e38e38e3f1f1c2a17011b9f538e30e38e38e38e38dd00e71c61c71c71c71c70b69061c71c61c71c71c71c71fa324e38e30e38e38e38e385b82e1a171b85c980b93a37496d07248150b21ba4c4839240a8590dd26936e30e41c61c7c0e150b405b06e93b20e4902a1643749f507248150b21ba5086dc61c7e1661c7e1c70a85985ac6e9481b8d4c38fcf89871f9f438542cc2d6374a7107248150b21ba546839240a8590dd2aa36e30e3f204c38fc8438542cc2d6374ad907248150b21ba57a839240a8590dd2c436e30e3f26cc38fc9e38542cc2d6374b40dc6861c7e83130e3f41a1c2a16616b1ba5b86e604c39071871f038542d016c1b98d390283f47a1c71fa3dce30e305900e81440a0fa8dd20130e16003a2b1028374b3ce30e30e38fcf31c61c70b201d2bc3f3c271871c2c8074b0cfcec9c61c70b201d2c13f3a671871c2c8074b44dd1fa61c61c70b301d2d93747f9871871c2cc074b8536200000805e94a1ba0e8e150b10b480e9759ba67c71c70b101d33103a5a28141ba67050289a4300e4601c95039440729c0e5a81cc101cc784e6509ccb979951732e173340330e20660733e139a42734e5e6945cd385cd500cc3881981cd781cde04e7049ce2354ae50825c16f13ff14bf7d42ca95bdbe27a291c1fd9c8823990919fdd9ff5a78601801ce484e7389ce8b04646f6ae48b2cee6f6b33a10203a51bc674d0720961498797f8a98dc416cbec8601801ceb01cf181cf804e7d49cfc31e01249271215c2c2e0749c36ab7fc2050c3820986d259d9ed1513a14d98dd820601801cfe84e80227402b69909828e9c8699b98bc1f623a4e7ab2a88bc7564b14c60291952ac78ea5341d0601801d0140740c04e81d27410345f5ae13154b4eb25685b159aa10b290acb5a804cf1533990044ca81c1977ecc0601801d04a13a0a89d05ac506172cc492540c03f7921635f11d585ec327b23c2dddcdca96551ff3d516ea61806007419109141ba720ce8867390b3cffedf1a67f35f4e6e69c39210d09fddb9189a14c225a77e6c262e180600681fa53a71c71c71c7e98e186e8a038542e892e8841409d0982d2170103a2c80e8c203a3500e8de03a3a40e90f01d22603a570074b000e96184e9619ba58e6e9638a01801d2cc20506e9a91c6e9678a00d08141ba5aa71ba5ae28374b60500cc0de074b880e9731028374f50e374b985006840a0dd2ef38dd2f1141ba5de2806606f03a5f8074c008141fa61061c6e9808a00d28141ba61471ba61828374c28500cc0e00074c640e98e90283f4c94c38dd31c1401a5028374c9ce374ca4506e9928a01981c000e99b01d33a20507e9a11871ba67228034a0506e9a21c6e9a30a0dd34214033038001d35303a6ae40a0fd36030e374d585006940a0dd36138dd363141ba6be28066070003a6e2074dd48141fa4ac626c230102c0074b880e9951fa721640000019e0d01566dc410814240d07d428d34620866f85cadc60d9f86a656e1f72d9bfe0fa1005eee1f098eaedc795e47b21a07fd90c03484d6830e30e38e38e374e68e3f0d3f4e9ce15240ea010402f50040c3a4da281601680b68dd3c640a1071c8141ba4ae61fa49060a80ea06cfd240305407503e7e91a982a03a81a3f48b0c1501d4139ba4ee60a80ea0ad207504e2a03a82640a0dd3ea38e3750aa28372bcdd3cf3f50b2283730e6e9e49fa85d141b99f374f10fd4308a0dcdb9ba77e7ea194506ea288dd4531fa869141ba83737511e7ea1b4507ea1bcdd4510a00ea2481885a40506c0b8000a0e0617070141c282e1c02838842e250141c50171600a0e2f01d422a0506ea2b0100e3a0392e072740e5081caae6285caf01cc48b01ba0a45cb10a85cb81ba4b8620e31070a8598dd2653107187d2281643749b4c41c61f808a0590dd2753107187e12281643749f4c41c61f884502c86e94298838c3f148a0590dd28d3107187e31140b21ba52a620e30fc722816467ced6ba740e68415608b7749940525630fcaff32a1a5cea8a07732dfd601fe393f1ea0507e95098620506ea44cc30e37522e71c2c0c7ef38240009a1330c9bf45bf65e9cd8e538331bc40f0b9cd3bf3345c6fd8f5581806b09b4dd4769c61c903a90b1501d48a59000000010310a80ea3601a3a8d71401d46d9fa8ae38c384cc5900ea364dd4930a00ea494dd4690a00ea4a00ea3210283ed481d3521501d35140a0dd49b1c99040b01f8a4e374588a05881b00e08071a01c860791439b185cd0c0a94076f6a2ea2b92d5ab66a8ccefc0f7c2ff794c87c9f65ca6c4b35c300e478e6b3669107d94f9670b7323d83574af85c1cc30ebd2aca964b42f8cfcca285c6a50c0393639bf128f5dbf1123e71c770a1b8900163d23fe5aa2dc88b794b157f3792de5eaab0300e538e6d05cda1f0f21837999c1cd7b200aca5f2f2eefc75b86b0330ddb0da824e31a8b0c0396639a4c3a2eb9a60363d9da7cca371cf057bfd123f5bd80a5f2da05322f6bf044c0ec300e5f8e68e8c03a48500600289f20bc7295a93b7dd7f6222244071c846c8646297e7a3810c0398b1cd018c6e77cd574fe01c40a8d66b275f76869ef025e563f5830441f6bd6e59e110180732e39ab5213004cdbd09a2f8d01e9c468d9418ce73fcdd518aede0abc8e5159c1d0f50300e68c0e6b48141b948080741985d08c3f52f8080742881d47301d48501d49c01d49f01d4a281d4a581d4a80fd4c31c61c71c2ccdbd751956df84bb7ad7204fac918efe258baba00cfcc31dfeb97b852f33aeeda0180752d213a96b3f52bc903a97a1501d4c1d9000000080310a80ea51c1a3a9461401d4a5035f528a2803a94437535a2803a98b03a93040a0dd4cb9ba94138e38589207532827533e29d4a48a336e80403400ea2a52283f538c080704038a80ea6740ea6c40ea6d80ea6e491401a81d4e80",
        "success": true,
        "unpruned_program_bytes": 4811,
        "witness_bytes": 1162,
        "witness_hex": "0000000000000000000000000000000000000000000000000000000000000000b635ef10af1b120cec1095d7745fec060f8fbe02641f3479bd3131c0d5253926e758f1877b5914ebbea6f71ae402905942fbbadc1c55ee84cee92f0f4b75c40a000064c2d274d01b95dd57e59efbd794cb6d1d904b60408a3849dc55214bb694ddc1610847d63d43ecba5832deafe39490fe3a41e947da64706003a72b61b370b5f5e914c1d0946a23515b69e1a743687314ddcfe57e29c89c2e42df28fd742800c0d38b99f5daa0f80754b1c59e4183c6779c23b21c815873459b95a44fc4773cee035594131497bdf1dd5bcc8cd782e3806eecee1de781ad9577a333fa469dea3fef6bf89e8c196c58a5cbb76d3151de012ca91449c070b5994a76ce63bc9e2c3c925a9754476bb71aedff35cce34429165cb9c1ff40c94cee4fe483fdbdc1b4c2273ad0ac064838a4b6492757bec69876d0e56c4a246f80e13d164fe775e5ba3830e14c36ea26cd1fe52debedb51e5ba3d7ab6793b6f7741c334fb3529de937ac3d946e7b50a2d758e9eda15ed43be973b50ce1788c128138a1cf23e96480bee61c09e142a7b4fcc0f270cca47338a474d63da434c32330357975534c531b09f416fb9a87ee801f798d8b334bd7e845bc3017ed3f2071f5399d6469ece0a555fde95abeefb40879b1b6ff7a0960e53da2793cd93e48a278a018e63275aec15a297b5bbbf2fad61ead9179d234219db84aeb3c907e6575513f5f4b425a5833808951ddb7f60e585a1ac801dbdac0e8914104b2f443966b4b2faef5f8786725ee1a02173839c7979d527dc9ad810029ab7e6ac5d899b98dc71c44b26423d652103b5df6feefe4cc9f5c0926f3ab50e909553f37c02f2e3a27c04171d39456747a17157d582fb123fff55bc72205321139c1c5670861ed2a1cc52f095297a88acb376d7cca6b2cbfe0d252bce91baee15b368671859f928e91965e6d89a5fb30539d4eb36e14df5d95267e3b3215dacfe2d0311a0c12eb9b0147eb79e7571c8c36f49d95fc02fdb5b7fd0fbd40bf8c2ee35e89801a89824a1fee63da72ea1e72e2b37531c3f994a10fa6fa5e031fb474c215ad90267ff5dbd272b4a0f4a99ead210f55380030c148aa8bf1647fce1482c323933513e4b24669f6d26e2ce4e3eec73461d2e59b9f0f1bc4c84bf5eceb6b97b9f812cfd335c5eda615af991a4db389aa56cc5d85710573c629c4ede0b32a372f4c538992046155adba06d69851574422e7250e4ae5f8596fb20bdf203f9fb4a049e50421de5c8474b77b22465a5a98f8f3c60fbc7ceb8183b95fba1c42859f91f5fba1a3915f6e2b61653f0a82277fa297b9dad5388fa62c8b164bab4c1f7a84235af1d26ca31eb7d1448e84552f328ad5c66c2e53b9a3f30babda15f2523f053dffe88f39507040cc923249b3ac1d1b729e624a55ea682fc600d89aca21aa2ac94fa3764bbc266de7b0768e5fa2139a9abe281940c805acb5ba9cb971cde469e10c9da02e995fff659dbac9cfeeb32a76f4719f11178323c84e9e5859d5f5ec280b3f0ebc9f130e6cddd1bb4412818e4a5700e8b7676e46ab7c7856ecc0ded25e570980000000ce78e228e71e49a2ac0ef3322b595af800"
      },
      "gsr": {
        "baseline": {
          "program_bytes": 384841,
          "program_sha256": "09f00e45affaaf29f516b47768270b1bfb10fa7647f12251794476b77c67b0a4",
          "varops": 23265133,
          "interpreter_ns": [
            3771583,
            3709208,
            3822584,
            3758084,
            3719750,
            3713750,
            3707708,
            3706500,
            3867500,
            3803125,
            3816416
          ],
          "metrics": {
            "interpreter_ns": 4119916,
            "observations_enabled": true,
            "peak_stack_entries": 70,
            "peak_stack_bytes": 4530,
            "peak_total_entries": 70,
            "peak_total_bytes": 4530,
            "max_item_bytes": 1120,
            "function_storage_bytes": 0,
            "executed_function_body_bytes": 0,
            "invocations": 0,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 1322,
              "1": 28,
              "2": 64,
              "4": 680,
              "5": 2,
              "8": 1,
              "12": 36,
              "32": 2,
              "48": 1,
              "81": 1189,
              "82": 675,
              "83": 352,
              "84": 838,
              "85": 30,
              "86": 36,
              "87": 79,
              "88": 393,
              "89": 333,
              "90": 9,
              "91": 7,
              "92": 40,
              "93": 4,
              "94": 4,
              "95": 4,
              "96": 129,
              "99": 1217,
              "103": 1217,
              "104": 1217,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 668,
              "121": 1642,
              "122": 383,
              "124": 17,
              "126": 2448,
              "127": 747,
              "128": 657,
              "129": 4,
              "130": 17,
              "135": 1,
              "147": 68,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "168": 57
            },
            "function_calls": {},
            "function_body_varops_inclusive": {},
            "multi_operations": {}
          }
        },
        "bytes": {
          "program_bytes": 118676,
          "program_sha256": "eb947da49c9c8ad10b2dbd40683842284aee479473f1ce58e1f7436e10a12377",
          "varops": 15675150,
          "interpreter_ns": [
            1528209,
            1523458,
            1540583,
            1543917,
            1530917,
            1524959,
            1505083,
            1593416,
            1541167,
            1527834,
            1573917
          ],
          "metrics": {
            "interpreter_ns": 1753375,
            "observations_enabled": true,
            "peak_stack_entries": 69,
            "peak_stack_bytes": 4530,
            "peak_total_entries": 69,
            "peak_total_bytes": 4530,
            "max_item_bytes": 1120,
            "function_storage_bytes": 0,
            "executed_function_body_bytes": 0,
            "invocations": 0,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 522,
              "1": 28,
              "2": 64,
              "4": 257,
              "5": 2,
              "8": 1,
              "12": 3,
              "32": 2,
              "48": 1,
              "81": 437,
              "82": 527,
              "83": 205,
              "84": 405,
              "85": 29,
              "86": 26,
              "87": 136,
              "88": 199,
              "89": 70,
              "90": 6,
              "91": 4,
              "92": 7,
              "93": 4,
              "94": 4,
              "95": 4,
              "96": 129,
              "99": 1217,
              "103": 1217,
              "104": 1217,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 668,
              "121": 1243,
              "122": 383,
              "124": 17,
              "126": 932,
              "127": 143,
              "128": 201,
              "129": 1,
              "130": 17,
              "135": 1,
              "147": 65,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "168": 57,
              "207": 145
            },
            "function_calls": {},
            "function_body_varops_inclusive": {},
            "multi_operations": {}
          }
        },
        "full": {
          "program_bytes": 6870,
          "program_sha256": "e392c7601fafead597f0d1b4c02f6217c97f672814234f12b60f54a73333e2db",
          "varops": 12379290,
          "interpreter_ns": [
            539958,
            573084,
            540375,
            552084,
            564375,
            552916,
            525167,
            544209,
            570250,
            536375,
            536708
          ],
          "metrics": {
            "interpreter_ns": 593625,
            "observations_enabled": true,
            "peak_stack_entries": 69,
            "peak_stack_bytes": 6652,
            "peak_total_entries": 82,
            "peak_total_bytes": 10885,
            "max_item_bytes": 5491,
            "function_storage_bytes": 6355,
            "executed_function_body_bytes": 12025,
            "invocations": 76,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 587,
              "1": 28,
              "2": 64,
              "4": 257,
              "5": 2,
              "8": 1,
              "12": 3,
              "32": 2,
              "40": 1,
              "48": 1,
              "63": 1,
              "67": 3,
              "71": 1,
              "72": 3,
              "73": 1,
              "76": 2,
              "77": 1,
              "81": 439,
              "82": 529,
              "83": 207,
              "84": 407,
              "85": 31,
              "86": 28,
              "87": 138,
              "88": 201,
              "89": 72,
              "90": 8,
              "91": 6,
              "92": 9,
              "93": 4,
              "94": 4,
              "95": 4,
              "96": 129,
              "99": 204,
              "103": 204,
              "104": 204,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 668,
              "121": 1243,
              "122": 383,
              "124": 17,
              "126": 932,
              "127": 143,
              "128": 201,
              "129": 1,
              "130": 17,
              "135": 1,
              "147": 65,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "168": 57,
              "187": 13,
              "188": 76,
              "207": 145
            },
            "function_calls": {
              "0": 64,
              "1": 1,
              "2": 1,
              "3": 1,
              "4": 1,
              "5": 1,
              "6": 1,
              "7": 1,
              "8": 1,
              "9": 1,
              "10": 1,
              "11": 1,
              "12": 1
            },
            "function_body_varops_inclusive": {
              "0": 4336349,
              "1": 11243460,
              "2": 49250,
              "3": 151191,
              "4": 203090,
              "5": 254854,
              "6": 306630,
              "7": 358406,
              "8": 410188,
              "9": 461982,
              "10": 513779,
              "11": 565576,
              "12": 617373
            },
            "multi_operations": {}
          }
        },
        "catfix": {
          "program_bytes": 6584,
          "program_sha256": "b0872f268cb82bc66679844519038374b4f11994432a62af2c6fe3fc8a2bff40",
          "varops": 11774652,
          "interpreter_ns": [
            509459,
            540500,
            543833,
            508500,
            540500,
            536625,
            499042,
            563292,
            529000,
            512583,
            522083
          ],
          "metrics": {
            "interpreter_ns": 573542,
            "observations_enabled": true,
            "peak_stack_entries": 69,
            "peak_stack_bytes": 6394,
            "peak_total_entries": 82,
            "peak_total_bytes": 10613,
            "max_item_bytes": 5233,
            "function_storage_bytes": 6083,
            "executed_function_body_bytes": 11375,
            "invocations": 76,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 397,
              "1": 28,
              "2": 64,
              "4": 257,
              "5": 2,
              "8": 1,
              "12": 3,
              "32": 2,
              "34": 1,
              "48": 1,
              "63": 1,
              "67": 3,
              "71": 1,
              "72": 3,
              "73": 1,
              "76": 2,
              "77": 1,
              "81": 491,
              "82": 478,
              "83": 269,
              "84": 344,
              "85": 31,
              "86": 28,
              "87": 137,
              "88": 265,
              "89": 8,
              "90": 8,
              "91": 6,
              "92": 9,
              "93": 4,
              "94": 4,
              "95": 4,
              "96": 129,
              "99": 204,
              "103": 204,
              "104": 204,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 668,
              "121": 1243,
              "122": 383,
              "124": 17,
              "126": 741,
              "127": 143,
              "128": 201,
              "129": 1,
              "130": 17,
              "135": 1,
              "147": 65,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "168": 57,
              "187": 13,
              "188": 76,
              "207": 145
            },
            "function_calls": {
              "0": 64,
              "1": 1,
              "2": 1,
              "3": 1,
              "4": 1,
              "5": 1,
              "6": 1,
              "7": 1,
              "8": 1,
              "9": 1,
              "10": 1,
              "11": 1,
              "12": 1
            },
            "function_body_varops_inclusive": {
              "0": 4191997,
              "1": 10666208,
              "2": 44010,
              "3": 143421,
              "4": 195314,
              "5": 247078,
              "6": 298854,
              "7": 350630,
              "8": 402412,
              "9": 454206,
              "10": 506003,
              "11": 557800,
              "12": 609597
            },
            "multi_operations": {}
          }
        },
        "multi": {
          "program_bytes": 6471,
          "program_sha256": "428e437aed4d83674d9c0f4d04ce290a7c37eee7ca7b593739df0da1500203e8",
          "varops": 11986038,
          "interpreter_ns": [
            533458,
            533583,
            522125,
            517458,
            519417,
            506500,
            529000,
            527625,
            522875,
            516083,
            528500
          ],
          "metrics": {
            "interpreter_ns": 527042,
            "observations_enabled": true,
            "peak_stack_entries": 72,
            "peak_stack_bytes": 6321,
            "peak_total_entries": 85,
            "peak_total_bytes": 10516,
            "max_item_bytes": 5160,
            "function_storage_bytes": 5985,
            "executed_function_body_bytes": 11277,
            "invocations": 76,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 397,
              "1": 28,
              "2": 64,
              "4": 257,
              "5": 2,
              "8": 1,
              "12": 3,
              "31": 1,
              "32": 2,
              "48": 1,
              "61": 1,
              "65": 3,
              "69": 1,
              "70": 3,
              "71": 1,
              "76": 2,
              "77": 1,
              "81": 436,
              "82": 531,
              "83": 386,
              "84": 346,
              "85": 105,
              "86": 30,
              "87": 71,
              "88": 265,
              "89": 9,
              "90": 73,
              "91": 8,
              "92": 9,
              "93": 4,
              "94": 8,
              "95": 4,
              "96": 129,
              "99": 204,
              "103": 204,
              "104": 204,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 400,
              "121": 1243,
              "122": 383,
              "124": 17,
              "126": 356,
              "127": 143,
              "128": 201,
              "129": 1,
              "130": 17,
              "135": 1,
              "147": 65,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "187": 13,
              "188": 76,
              "191": 199,
              "207": 145
            },
            "function_calls": {
              "0": 64,
              "1": 1,
              "2": 1,
              "3": 1,
              "4": 1,
              "5": 1,
              "6": 1,
              "7": 1,
              "8": 1,
              "9": 1,
              "10": 1,
              "11": 1,
              "12": 1
            },
            "function_body_varops_inclusive": {
              "0": 4306405,
              "1": 10859768,
              "2": 45870,
              "3": 147804,
              "4": 200951,
              "5": 253975,
              "6": 307011,
              "7": 360047,
              "8": 413089,
              "9": 466143,
              "10": 519200,
              "11": 572257,
              "12": 625314
            },
            "multi_operations": {
              "117": 268,
              "126": 261,
              "168": 181
            }
          }
        },
        "multisel": {
          "program_bytes": 6581,
          "program_sha256": "d1e1f3bb53a521cf37bf79318c036c2fc8269152d86d7b22eb86aaabb84c4aec",
          "varops": 11771496,
          "interpreter_ns": [
            530542,
            518541,
            513000,
            563958,
            512000,
            551500,
            517292,
            524125,
            523333,
            517959,
            519541
          ],
          "metrics": {
            "interpreter_ns": 553916,
            "observations_enabled": true,
            "peak_stack_entries": 69,
            "peak_stack_bytes": 6391,
            "peak_total_entries": 82,
            "peak_total_bytes": 10611,
            "max_item_bytes": 5230,
            "function_storage_bytes": 6080,
            "executed_function_body_bytes": 11372,
            "invocations": 76,
            "sha256_calls": 57,
            "sha256_compressions": 133,
            "opcodes": {
              "0": 397,
              "1": 28,
              "2": 64,
              "4": 257,
              "5": 2,
              "8": 1,
              "12": 3,
              "32": 2,
              "34": 1,
              "48": 1,
              "63": 1,
              "67": 3,
              "71": 1,
              "72": 3,
              "73": 1,
              "76": 2,
              "77": 1,
              "81": 490,
              "82": 478,
              "83": 269,
              "84": 344,
              "85": 31,
              "86": 29,
              "87": 137,
              "88": 266,
              "89": 8,
              "90": 8,
              "91": 6,
              "92": 9,
              "93": 4,
              "94": 4,
              "95": 4,
              "96": 129,
              "99": 204,
              "103": 204,
              "104": 204,
              "105": 7,
              "107": 77,
              "108": 77,
              "117": 668,
              "121": 1243,
              "122": 383,
              "124": 17,
              "126": 736,
              "127": 143,
              "128": 201,
              "129": 1,
              "130": 17,
              "135": 1,
              "147": 65,
              "148": 3,
              "151": 66,
              "153": 64,
              "156": 7,
              "159": 11,
              "161": 193,
              "168": 56,
              "187": 13,
              "188": 76,
              "191": 1,
              "207": 145
            },
            "function_calls": {
              "0": 64,
              "1": 1,
              "2": 1,
              "3": 1,
              "4": 1,
              "5": 1,
              "6": 1,
              "7": 1,
              "8": 1,
              "9": 1,
              "10": 1,
              "11": 1,
              "12": 1
            },
            "function_body_varops_inclusive": {
              "0": 4191997,
              "1": 10663070,
              "2": 44010,
              "3": 143421,
              "4": 195314,
              "5": 247078,
              "6": 298854,
              "7": 350630,
              "8": 402412,
              "9": 454206,
              "10": 506003,
              "11": 557800,
              "12": 609597
            },
            "multi_operations": {
              "168": 6
            }
          }
        }
      }
    },
    "stateless": {
      "fixture_sha256": "bb2b0379f04006b6cf8dad52fee70dea88118e293d51fb91b27e76fe00e1f55c",
      "proof_sha256": "3debd261833e76a8dbee5a998e89bafac01fde8c7a2b68b4129b6677276875b2",
      "source_sha256": "79f562aef725b28b57ed57d50c615061203304bb0ba8cf1569e04c1ddca2ea91",
      "logical_input_bytes": 4456,
      "cases": [
        {
          "name": "upstream",
          "proof_sha256": "3debd261833e76a8dbee5a998e89bafac01fde8c7a2b68b4129b6677276875b2",
          "accepted": true
        },
        {
          "name": "flip/0/bit0",
          "proof_sha256": "5208725cbecf2f0e15e667aaa7a8e19cd90e9fb8ccd75923e07d83b1b2426cd8",
          "accepted": false
        },
        {
          "name": "flip/0/bit7",
          "proof_sha256": "22cf927ea097b7f77537c10eb6bb6782caaaf7765aa9f2f64c6596c6e42ba16d",
          "accepted": false
        },
        {
          "name": "flip/1/0/bit0",
          "proof_sha256": "2899a462e89f8d15b5b2e2e383604b342a56e92b756d0507d2712b600a867066",
          "accepted": false
        },
        {
          "name": "flip/1/0/bit7",
          "proof_sha256": "d72e8cda5e1745aa4a1bfca2130b451dbf2aa37b5871c944eeff5cb7d8d1cd3b",
          "accepted": false
        },
        {
          "name": "flip/1/1/bit0",
          "proof_sha256": "7505b232d3d33f3f71c930eab255e4003208f20b2dbc15648f3649ffc24fe4b3",
          "accepted": false
        },
        {
          "name": "flip/1/1/bit7",
          "proof_sha256": "0683ee54e60a64c8994122b0f5dca52b36ba38179d774735ec80bddb811c171f",
          "accepted": false
        },
        {
          "name": "flip/3/bit0",
          "proof_sha256": "e37905f4ad69f68a321465719a8af803f93221c03789afc90282e671078b8051",
          "accepted": false
        },
        {
          "name": "flip/3/bit7",
          "proof_sha256": "150a8f186c670b6ca1bc8141feaef6d50dcdfd2f70f49d6584bf8792e840dd27",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/0/bit0",
          "proof_sha256": "984b9ee46204e9888eb541bd365c0ef5b2bb6e879f214dbd6caea4177871c517",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/0/bit7",
          "proof_sha256": "cc68a9f25de21efa5422f824aca8c7a0a407d065fff809b24d9f8d38ac36b3c2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/0/bit0",
          "proof_sha256": "ecf83f36e240ddfa4cf37e8168b0006f36799a0f3ed465bd9a5dcd6ef623f8db",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/0/bit7",
          "proof_sha256": "75cc4a84de7bcefa95782d2bc422bf96171992da358f7d991842e4b63d3ea0c5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/0/bit0",
          "proof_sha256": "71db03c5f049744ac1a28c90dc2159549652aad0104d7530da59bba3f860e2f3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/0/bit7",
          "proof_sha256": "fac6a82a3b066ebc6b49fffc4b07c558b4b756dcd9e4c58e77ab997f2f809c42",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/1/bit0",
          "proof_sha256": "dbca3e47983e28f2bfc78ebe7196bd6846b15a2c9da04911e345c4ebb459a6cb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/1/bit7",
          "proof_sha256": "025d10fb0c2482eb9c2567a9ad8b476dd5f43afca31872c350ce33613978a5d3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/2/bit0",
          "proof_sha256": "eac8df498501856f001ae21830f3abfc17955ba764c1b63aa87f8c23b67c99c3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/2/bit7",
          "proof_sha256": "0bfef81d41f75899882a167a5f69c736fb12822f0f84534d723be17903d4403d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/3/bit0",
          "proof_sha256": "2a38a48b059ada751f488284f7619180b8bf0bc789a33401fede894da8d4bba2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/3/bit7",
          "proof_sha256": "86cef5de2500bc3baff7b0c572b2cb90aef1794f8364769460ec225a7fa32ca8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/4/bit0",
          "proof_sha256": "da42e4f14f2c36e050e16fb04029d09f10042cccfdb0bc2c4a0be8a0d250dd7b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/4/bit7",
          "proof_sha256": "9b394dadee46e6e2ba10bd053d4b9e16545c37e12f8b5113f8633c90af5e980d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/5/bit0",
          "proof_sha256": "eaf92e32c1e9a0b631f67d6c20928e52d62f4e59405e96904825a742c55f867a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/5/bit7",
          "proof_sha256": "47cc77f0c2589fcf329c088fd54e2bd37658bf796d21d41647e4d4d9c0fe33d4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/6/bit0",
          "proof_sha256": "32632ae0df261a5cb1d15d4b94a7770829c0730704b2d3769a396d5d1a2cf249",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/6/bit7",
          "proof_sha256": "2a46f6ba2b5ad02d29de2f4ff313a93394ab14c90d6a274ca61fb128d74c8315",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/7/bit0",
          "proof_sha256": "d5f4af76f5c0a11ac377493da1cc0013841939b714834bc8db25f16b908cc7a2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/7/bit7",
          "proof_sha256": "cedab623ba243993a5e654cea158db60d6dfcb949addf3648f4226b7abc80ffc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/8/bit0",
          "proof_sha256": "7568d486fd58b6226efa345aa3d2b1a4d4d68db9f0130c48ae8c8aac8bdaf14b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/8/bit7",
          "proof_sha256": "6871415596110ace3ce8726420ca4c511bc72dad7edf5e7877f284e92e3f486d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/9/bit0",
          "proof_sha256": "5bf863717e294167b0a04eb91f03930d22e823894216563a7f53ec739c36d765",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/9/bit7",
          "proof_sha256": "85c7c8f67f7abf7e14b29584d71070c619321d62919e1cc8e5444757b7d4d6d4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/10/bit0",
          "proof_sha256": "e301326bd3b864d912006017d764bb8d3969e1db5eb676bae7846a191fae0e63",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/10/bit7",
          "proof_sha256": "f04e6a6ee5feec2681b190c1bbbc5fda3454ee64812afe168a9fa6bd86a2e22d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/11/bit0",
          "proof_sha256": "6cdf6636943d368aee7619c2fbbb4a15dffa6058c896d9298ec5b3c69f9ec840",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/11/bit7",
          "proof_sha256": "020812a205b7314585d45f624b6787e847ace95861c8c02c6436ef088456a96d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/12/bit0",
          "proof_sha256": "da422a2c39b37e0f2fb7d7957a4d50c2b6598e4e8d006be55b7e8593efad0c18",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/12/bit7",
          "proof_sha256": "eaaab61ae600d9a6ac4962ce30febc6fb2443d0a0fdabb74f380229767fcda90",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/13/bit0",
          "proof_sha256": "d516d272d8c936b0a767e71f92ccf5b730d7984db9a858516b356b230198614a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/13/bit7",
          "proof_sha256": "068604df9a2f9381d2138d499ae062bbee4b91a626f6c08cb1bb7fbeb372e4f8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/14/bit0",
          "proof_sha256": "bf9b55794fc10a5621e05ae95cca99470d72482e4830b2f5fdca28afa391235a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/14/bit7",
          "proof_sha256": "8d0a03cc9672d1a9103b195baa390f6bd22751b2bfa9f87409b93e8c08bfd456",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/15/bit0",
          "proof_sha256": "fee3948b9b56c66aefc4a367dd60207283bb7bb78ae9b05388f6ad96f14a5e69",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/15/bit7",
          "proof_sha256": "c19ee2e07a073d49f0a03a8a2459a1100b907f74a0761849d692ecba360e3eb0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/16/bit0",
          "proof_sha256": "52a96efc0e1811a30c73fa3a48b0a4dd8c3e36588a0eaaafbb0b2b1a5163e194",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/16/bit7",
          "proof_sha256": "8a1377d96b373a5f1e1a238464e7f55b1ac384f68b4921d6c26aa366b2a9fd0c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/17/bit0",
          "proof_sha256": "2a759b2eea84ff2addfa9860c255e88b6e5bf181241d7ebf60f6dd96d79e5c68",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/17/bit7",
          "proof_sha256": "cdc42d25ae3301cf01047743582c6b7a634e543be62646031a9622a52be7c130",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/18/bit0",
          "proof_sha256": "90af6c8e0b24a11fa6193ecb01bf172b279798124432f3d699ae0afcf88b6762",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/18/bit7",
          "proof_sha256": "2e7f2f7c6fa1bf6ea5ae4681c2cb4bf4638f27f0bba074b15c379a38ca2da33b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/19/bit0",
          "proof_sha256": "ebea2d9316bcc7cf994b8a2af62702daad4ca994cddda368139ba4ce29f6c34c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/19/bit7",
          "proof_sha256": "dcce1c1858da4dd6a8cfbe6ae8582a73f1f6f0864d5de6c97499939b44f7c5b8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/20/bit0",
          "proof_sha256": "e5e15c55411788be423adf8785ce62ddc49a009ff31879e28689ac6927d9c79c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/20/bit7",
          "proof_sha256": "49a8c71f1d9ed21c1a86a7945657be2188b2927ea7fc9bad19397ad94c9c3faa",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/21/bit0",
          "proof_sha256": "fd39a5c5aa3dcb0b783d254ff3a0a66a0aadeab2df04f64d8960bd94827ded3a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/0/1/21/bit7",
          "proof_sha256": "a0bb0fc8ad3c47c0a9eec86db46fa9983eeeeead34e38dd67f9aa75b5725b3f7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/0/bit0",
          "proof_sha256": "3ffe42776e30faf592e7c9bc603a8d42203f12367a4e7a5271fd120d93eebbb1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/0/bit7",
          "proof_sha256": "02915754b949be273dba5966020a0244f3993104d3acf17c13ae7a2442409863",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/0/bit0",
          "proof_sha256": "abdde70e10bdf73c523185518fdef1d2938a86e8f257a26a467b03257889855b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/0/bit7",
          "proof_sha256": "ff00a234ed0ad43f837dcd7c196ca12477d919acf0bf83bbb8a16841aded9cab",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/1/bit0",
          "proof_sha256": "6b6b1bca207b942086f144d1104dc7060371ce95bee1d53aef05142d3b3f93ba",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/1/bit7",
          "proof_sha256": "a1309ef54ad100d5946d691245b696a20362c6add12309c7df2d75d973728bd1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/2/bit0",
          "proof_sha256": "dea5ba3868905aa462597f9059dd5d0ee9982f7705df74acf3c0a9dd66ed2d7a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/2/bit7",
          "proof_sha256": "86a1c7f66193d13364f77aa54fd07d1f300ae362533a204e5e35787514bca309",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/3/bit0",
          "proof_sha256": "7179281e1283496e88c316453e7c28e1037f41dcd329f5ebaee3a7c01759476d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/3/bit7",
          "proof_sha256": "ea7aac7d6c2053d86f475dbe383ed0950451f62eee35ff1658a338ecc9331151",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/4/bit0",
          "proof_sha256": "18c050be5e130d6421fab6df0f5ee275c945334314fa981d88d8e546ceee40b5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/4/bit7",
          "proof_sha256": "c69cebe565e292745e3fb6fa78ce9491e509c53bbaae7a5bd501c919f96c9406",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/5/bit0",
          "proof_sha256": "c3400f4ceb8f98fa96b015bf059a2f2a4b22e803301c0f77be563018af6c9c8c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/5/bit7",
          "proof_sha256": "fbd40d810c44884440a64c8187bb33efd30c344ef35f50798ff16f27bfc51afd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/6/bit0",
          "proof_sha256": "4db79a9277dae755ac3b82d2818f69673cab30ccebd94c977aafb87daba73458",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/6/bit7",
          "proof_sha256": "0cec429efd407b528023bb02f12547f4356385b330028fd55f5315e65d74469d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/7/bit0",
          "proof_sha256": "81b3ee9f7a4c92737332a08ab207dcb390bc4441e65c4ad180f8dacf093fc570",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/7/bit7",
          "proof_sha256": "2c600c5eb41a18facd1fab44be3e39b1a108cb2d008535dcdc083d846426d201",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/8/bit0",
          "proof_sha256": "35ab6ba738db175e95d6202f1c456c1bca804b0862998b7e824d66c740d9f492",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/8/bit7",
          "proof_sha256": "033028a887a480374e4a39e1db28ffcf801b58e11aa354b0fcd9e74ebbf6d009",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/9/bit0",
          "proof_sha256": "329aa1d0c045efe10e0989263d29ccb14bdbe074f0bf455ca063095cf7fd941b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/9/bit7",
          "proof_sha256": "5d2083e17549cc4a61363b3503cf11e7c1ad2d785e4c687835469d16535507bd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/10/bit0",
          "proof_sha256": "9a07ea563ffa2713da5cf64d5371f4791ab64988461773fb425f3a5d5f97bcd8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/10/bit7",
          "proof_sha256": "a1b4f58caa1d6dccdb8f47f1362756f9ee0d79e9b0faacd19a83c5124bcca150",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/11/bit0",
          "proof_sha256": "78b46e9b87442f9e0c57d348515521529a9cb3d15e6f6becfa0f19a203476f40",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/11/bit7",
          "proof_sha256": "bcbc9992298f42d36c9018d1817847014a7740c45f8355126c53cc4d7f2e19e3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/12/bit0",
          "proof_sha256": "aacb776d8de67a697d04d13d453003cbdbb9af5517c00c75e45ceb8f86b9a187",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/12/bit7",
          "proof_sha256": "e8e32e1a450fb9d1f2c49aa0259ea26c055dea4078478fc8f7d6e0abfe3391cc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/13/bit0",
          "proof_sha256": "d0aed7ada7e51d738c4de8a738ccbb2d712bc572c7c9fb67e381c4de15e257de",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/13/bit7",
          "proof_sha256": "ddefe79e20f3e6adb6fb153ec05b586d6a4ec707661f2c07e332f39a30f065c1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/14/bit0",
          "proof_sha256": "8fc44a03989af3fe365f9faee783b1f7187b48acdc0715c312b58d4e63af5749",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/14/bit7",
          "proof_sha256": "bbaed97767e81751577eb7032373e82a5faf576335494de5d55c6cbfb35f91c4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/15/bit0",
          "proof_sha256": "e485d725bc42dd53a9808e81cc7511f6a1edcc336d1fc4bb4619a3e7d3ba5c13",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/15/bit7",
          "proof_sha256": "ce6d5abf09b159988c9798ed888bbbce916a4670125a8ee168df2538d2e0de2a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/16/bit0",
          "proof_sha256": "2df20d523f697a5ef6978baf2877398d337c755c2483a77483875c78fa4d9060",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/16/bit7",
          "proof_sha256": "797004bce42d7f90bb0a3faf7286f675979331310417a6a40bd0e60601e52ad9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/17/bit0",
          "proof_sha256": "854468a627c5a4c11865f342f3b5a2f75387b35b525f7c1034e78b41adc84205",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/17/bit7",
          "proof_sha256": "b3bdb89b0cbe54800419aa6fbb2a62d1cb508209e53b797ff8af6b04e2ca99d1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/18/bit0",
          "proof_sha256": "7c1557ebb646e800c25643f0e46106520a99ccc090898ba3a40f35485ada8503",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/18/bit7",
          "proof_sha256": "2ea5e831224879d501224746c2a5057fc674e89d687cd5d767bd5c40916fb8ba",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/19/bit0",
          "proof_sha256": "cc97e5eec0c185a01561910af6449726ed6d6b745c80bb69d21975bc40b12ed8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/19/bit7",
          "proof_sha256": "d15ed2d4f465d3f9474980451c6520ce6d14d20115adbfb87aee47bc0bea794e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/20/bit0",
          "proof_sha256": "a9e9c69e0e48edddd6eb156041fbbbb8db3f5244401024ef293f8ee21aacbe98",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/20/bit7",
          "proof_sha256": "92e282298b69d6a30d45ac75594fe5a4278ba857ca46a5df59174fa280acae66",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/21/bit0",
          "proof_sha256": "e12827569b61be76f288603c2f00e5a3173e222abc632de5011edce266f615ef",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/1/1/21/bit7",
          "proof_sha256": "b0e91f0363bf9f936f72c086813bd1884b9645632f71d1ea01e29bdf1a12453a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/0/bit0",
          "proof_sha256": "c7196f829c3d72a3eceb510ae2bc5811f70efc061ffbc79657fbd58a7a6f576f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/0/bit7",
          "proof_sha256": "e32677c0dff209715cedfff915368a1600c0a7f77748cd68e74b79b8d586233d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/0/bit0",
          "proof_sha256": "d1c6433e43c133dcb68c04661795414b9a3c48fe513a864f955c783caf1a860d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/0/bit7",
          "proof_sha256": "b7c11c8f35367ed3c8a57ed1ca2db20a0cf041d76cbfe3cb5082c915a4f21b61",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/1/bit0",
          "proof_sha256": "889ec6dad01d0e6607fbb5902649b045e407b3c2916bf8e1db9435cfbd017b59",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/1/bit7",
          "proof_sha256": "4eebcdf3fcac70adbab3128e1ff6734dcec6397fa491776fe40acb5e46cdbf5f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/2/bit0",
          "proof_sha256": "12eb4b0b8b594e24af4d7a98752ef4ee96c0fe7178c20f60e71bf67588ba19a6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/2/bit7",
          "proof_sha256": "a07b084b8727c98d8be7f7d5774057b044bced5cc95593ac548819f6449442da",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/3/bit0",
          "proof_sha256": "2bad5359bc298ff35cd1693190ab0b792052c1a189937820218abf857141f704",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/3/bit7",
          "proof_sha256": "033653b107f3adf278a6c3ffc6599262a92adf48f0dd36a94633d5a110744057",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/4/bit0",
          "proof_sha256": "c115239ee5e7b40c66613bc6033eb6cbb22dd8622aedbc78486cc46b6c84fdd9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/4/bit7",
          "proof_sha256": "0bb9ba19048ae1a0d766d44190f7feb28d38c89ad587e401f452b8d82908e277",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/5/bit0",
          "proof_sha256": "8288d068dbb29016209cd3777819fc8a0ceb1e172a6610ae7fe3a44955a3d715",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/5/bit7",
          "proof_sha256": "92ec3341c8bd261244acfaee6b9514e51ab11993fd6cbc654b7c2b6f018be248",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/6/bit0",
          "proof_sha256": "217b491bf3d969ce401c5bab34b2142486348485bc8353e559eaeaa180b9a2cc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/6/bit7",
          "proof_sha256": "1dd2305dd4c70a08b9038b0461fcbd2f314a05e8665841c2cf5702c0c120f654",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/7/bit0",
          "proof_sha256": "e7fa20e20ea5102d4705aaf6a6ec8c7b53f528f8137d8e050b6c5034203ae114",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/7/bit7",
          "proof_sha256": "610285f1d10b4e90f527d96d5114f71db9807da42cb1ae14ebae202dc5621a98",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/8/bit0",
          "proof_sha256": "62a276c47974c640ac04f0566288bfd2ce2dd98f8a13922854d5f006827e6635",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/8/bit7",
          "proof_sha256": "27b55c1b7424bc57e2611bf470aa897bdaa0ff4ce2fa8a8b754a76fa9c1d550e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/9/bit0",
          "proof_sha256": "486b76b729409da8e8164f2d8914455512f00b9e4e68aa75821c1773c0ae5080",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/9/bit7",
          "proof_sha256": "48f1d4fc6d410b5b10ff1552ce874fcd2bf296598ba99041909008c6a772d7d9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/10/bit0",
          "proof_sha256": "1fbe5899bb988daa3baa2ecb896e1f4ff44f528260384daae001cf37e707364f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/10/bit7",
          "proof_sha256": "0c9796b844ae86399e7a3fcf884fab34f7643cfb637277b631095ce864abe328",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/11/bit0",
          "proof_sha256": "0401af56704c3452c7b8c28e405393cf47ca85de0223930ba82671dd0d7f61f3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/11/bit7",
          "proof_sha256": "a5b861ef223f4f1a65545afa0ca4d026ff0092586c825029592cb8ba7e8e5e34",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/12/bit0",
          "proof_sha256": "1ade4a117d526c3482bc868ba373906718a2fbdc4ad23a0ea58320ff0e80097c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/12/bit7",
          "proof_sha256": "57082c7d23f6394f3e322083a795524760aa69f593723782a95431bbf052a9c7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/13/bit0",
          "proof_sha256": "63c5238f8313009a5d9ad2158d950b288e8a6b46d4306a3318f1f0158c16e08e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/13/bit7",
          "proof_sha256": "13a3a76538a5c97535c011bef5fe4b365d715d5e67566156cf8ecb24ba8ac1c0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/14/bit0",
          "proof_sha256": "e3915d1d1d776648d9cf1828cb52c6b24964ec955656ccb23eb4adfe083c130c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/14/bit7",
          "proof_sha256": "14268bc09c840be1f40079082e7a714fb7e002196356a0c3dacacee6c1907c0e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/15/bit0",
          "proof_sha256": "d133ced72d3c34632ee9a1a314f2bc8f49fdae6b5f4072c52aa8c75d34fcf649",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/15/bit7",
          "proof_sha256": "1050ce72f952d5c576ea5f56797d7ae16907cf6020cceeaa2dbb0a8a165f6720",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/16/bit0",
          "proof_sha256": "8de2dd2f93929a234e71b09f99c51bc2b771bf437efa37c85aa0317a1ca793bc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/16/bit7",
          "proof_sha256": "a16b26e589daf0a720c6b8376c965beb5e121fd2d652d139a3d444ac6c32005d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/17/bit0",
          "proof_sha256": "8ba1e2ceb1236ac9f8178967549d6b9422e3b3f4c2e442d60c70639fb9bb671b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/17/bit7",
          "proof_sha256": "17bedc91ff9123f17dcdc3620c82f0bc687fab088ac59d6dac6a564a927f1ca1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/18/bit0",
          "proof_sha256": "af98d0ba057959029c6457074ee8cf29ecbb71d2cb5dea44784aaebb5e5b0988",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/18/bit7",
          "proof_sha256": "95cfbca5220c9fe6b50b8e9707a9daade1d8e3d7ff4875f8b01b4ba7c8326715",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/19/bit0",
          "proof_sha256": "923855a35aa3bb885b61e0b2233225c250d5f2d754f26e7dcb75809451da5334",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/19/bit7",
          "proof_sha256": "634c033042dc2e4e09fee99efbca7948e31a4be0f0078a8b3b3cc65de53fa27c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/20/bit0",
          "proof_sha256": "c86b962e11c7b80e140eafd1f60c03121d7088d4a3c36180ca46f4c6da22c670",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/20/bit7",
          "proof_sha256": "2e2c257b72a82ed309390b4ad98567013e08609a738b57e68ac3e3e0faa6bafa",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/21/bit0",
          "proof_sha256": "c8d1a67574dcb012f709fbab8176281b5f06eaeb8fd458a843a0946237b14197",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/2/1/21/bit7",
          "proof_sha256": "7cb8ee37948c7150d094218836d50d4d4e9d744e37f6803265864aad94db074a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/0/bit0",
          "proof_sha256": "61d16eb0554f170b4c69e38ce284fd742598215ff4b7ad34255faa380fe1a489",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/0/bit7",
          "proof_sha256": "a50ed0b1ae528bbe3fffa83953db45888e36febedbc2f26a27832255b081f52c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/0/bit0",
          "proof_sha256": "def193c5754c4f766361bd723f316f8c071c15a1670d566373195a560e793110",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/0/bit7",
          "proof_sha256": "2d0807e10ae79f6dc44859b1a7971dc3d2f202b49abd9b260b7e4700734c4fd8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/1/bit0",
          "proof_sha256": "2527b391331e5a4603fea7ffcbd619144181d81494f1e40f69924ea18b5e6596",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/1/bit7",
          "proof_sha256": "02c6694783951ca0812963211c41bb203f844f87265dea4709a8562dc41861ef",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/2/bit0",
          "proof_sha256": "f897f08961e725dfe04985f5a5e8b5863b46940990e61e99f9f0af2af4da4ce4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/2/bit7",
          "proof_sha256": "0954caea5c1aa73963cc91fd59692441050289a918567be03da7e7ce41ace269",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/3/bit0",
          "proof_sha256": "f37be8c704733d7aa549232121b1ef1e474652cbffe66f2da069f9d0ca6d49c0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/3/bit7",
          "proof_sha256": "303cdb57154eb599047fc5bb2efbb639a28d1aa1fec8a32f1e4f344be21dd008",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/4/bit0",
          "proof_sha256": "9618aa423f320353a1933052e99edca834ccd8cdf54a860e306ac18163d9c524",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/4/bit7",
          "proof_sha256": "0f0b403b1a81051b36b66fa12ec996c2315c8014ab53f9fc6f10e92db78e508f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/5/bit0",
          "proof_sha256": "bc63bedb8e711aaca891e2347c42c845e0d55061c25e32d9f874cfd0e4f8d4bf",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/5/bit7",
          "proof_sha256": "81e6fb5aacd2d955a62f88e6cf48425e51aee32958a230f5a8b64d79f331608b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/6/bit0",
          "proof_sha256": "efc272883aaf1fc24073738ca81150ee0698411a74acb7f4d586ca4018c8b4f2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/6/bit7",
          "proof_sha256": "bf0ed5e594407ef41fb8453ef335dff28bcd661e4e2162065fa1a2c46c0dfcf1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/7/bit0",
          "proof_sha256": "c09aab691b80f78efc29568a77dbcc0ab7ff5b06390f090e9c8c1f1d9cd80591",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/7/bit7",
          "proof_sha256": "9946d1c6814f29b62142f0de8b607f5d1854f1dc9139dd00326766cb8d57999a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/8/bit0",
          "proof_sha256": "2f7232c38f6f77698154f7ba2130a8a14c6a784b3014cc92920242437b53df0c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/8/bit7",
          "proof_sha256": "3c43501b3d6c734e7498d761664adfeccd027f33b11823fdeafb8bb2e424a304",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/9/bit0",
          "proof_sha256": "15ebfbb509a6257256c9969bf2f638d2c236369f04f9cc9e07bf9d942c466bfd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/9/bit7",
          "proof_sha256": "1a52773aed7f8f8f2df58e2ac497a9fd650fcb111893046e5e775bc99da72761",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/10/bit0",
          "proof_sha256": "90abd17ff0c04eadd1dd1d52d5857833305623cba8fd666f1b3614843294b0e0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/10/bit7",
          "proof_sha256": "d5b35ce533e0d1eebaf390c6ee53e2a04cf80934a52279b2a6ee0c55130038f2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/11/bit0",
          "proof_sha256": "2a0487d95ace67074b5fdd30ee326b3671682dd7c674e4934fcc3938618c2f76",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/11/bit7",
          "proof_sha256": "3e00b2d5a374064f02d120aad9c8da8f037c965bdf5392e7df9b75233bb5648c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/12/bit0",
          "proof_sha256": "272c2af460eec6013b43d6e51f461ac6a6a182fca3bb337e2b9debe22dc893da",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/12/bit7",
          "proof_sha256": "87a52841b9941d411a7b2203ca7387cf864ac1c0c1fdd890686cd9694ab5bebb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/13/bit0",
          "proof_sha256": "95a7c0b2775a576199192f827d2021545e0286197cebbbb30450e57231ef92b2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/13/bit7",
          "proof_sha256": "641a1ca74e1098426970e21904c80ed11a36ec2d7ea82f051b2b4f7a776e75d5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/14/bit0",
          "proof_sha256": "dbf41371c216e816b5da28cedc4c47e91f72fc22a0304336d8033ddb77c7362f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/14/bit7",
          "proof_sha256": "391ba349f3aafd737302d8e73dc85dd37a33858797c193770085398012f61931",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/15/bit0",
          "proof_sha256": "51e03ac34e1a49482a6bacd84757947497e382f711efd54fde77db42ddc54ea7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/15/bit7",
          "proof_sha256": "79c64f404bb0db39084a5f32597fa3570ae191de0b2e09250f82d91065f83e97",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/16/bit0",
          "proof_sha256": "aee6fe7bb2c00de00e94de24f9af497be0e9bea60487d72843de28cc282a9135",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/16/bit7",
          "proof_sha256": "803b0934a2b71352d1b4ebcdbe6ef0d6e79919794d9fb636d688500006505c3b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/17/bit0",
          "proof_sha256": "a30b6f7241e3b8255f747fb3e8ec869c1cb83757cd5ac91da2e9ca395c0e862c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/17/bit7",
          "proof_sha256": "42ef4905b85a1e54154f13d8c70305a94a69438f60d7602fe10ccb4c7d9e2ac5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/18/bit0",
          "proof_sha256": "cdcef1dceba207cb61ffc0c5589dbd03e821e0c0c10e33fdb612f23724a74821",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/18/bit7",
          "proof_sha256": "e88dd5bf244d3a9cb98ee23ae271fb5b7b299488da2efa39553ac80c17fa8d6b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/19/bit0",
          "proof_sha256": "448a5c69c2a7b7b78874f8aa083816bbaa53155d0243cb0c6cb104ffe9f38b20",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/19/bit7",
          "proof_sha256": "6fb88830c5005f8aefebc2ef7cd2e9fbc28cdf0998dd1d31f3160c325f1a5a3a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/20/bit0",
          "proof_sha256": "c95901b1491530143dc266f2ec1cc181dd807cc47839eafc16b8ae64f722b133",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/20/bit7",
          "proof_sha256": "a0957e06df7681037d5fe9899eb058911c83a296b333283a78b03458d1e2c10e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/21/bit0",
          "proof_sha256": "683296102f0ebbf78923dbd6542cef220c586afe5b86430795e9a1a09ed61282",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/0/3/1/21/bit7",
          "proof_sha256": "fb12c9e9ae3a22a912f681e025f694308b46e174569bbc4b5a8918e8af5477ec",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/0/bit0",
          "proof_sha256": "e6525ff592bcd023ab1a6463242e6c0bb8dabd2389f07c032f3dddbeae1c64a6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/0/bit7",
          "proof_sha256": "1e076194552371b5e6486b0f8a6874290518e5c14d9ee663d5252ed5e9ddc897",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/0/bit0",
          "proof_sha256": "927b0f155b522eb396a96b409c037f321659af38f060ef433312ff56051666bd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/0/bit7",
          "proof_sha256": "daf3dccd914abab84052de7ef2a60252c1976478de4148701a86c1866e8f90ed",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/1/bit0",
          "proof_sha256": "449048f463e25907eb4b09ed2538ff803aa1639f6727c250ffaaa5615967936a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/1/bit7",
          "proof_sha256": "07e6821bc64174c71adb9999c50a956f7540405e8bd2ae338e1f6cf858d5ada4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/2/bit0",
          "proof_sha256": "0828ad30364386625b59387e42662d1f98f754681b3d97ab7b07208e0883e831",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/2/bit7",
          "proof_sha256": "a1de2e18b21e5cb1dc7c9e57eee70b0c241054c46fc1079d2016fdb625051643",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/3/bit0",
          "proof_sha256": "a9456bb930361b9ed84a69a1dba07c1934cb8cccae13714577941a0dc4acbe49",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/3/bit7",
          "proof_sha256": "f16352b163b4354223f10c6103607dc16daf8e4330a910de5071d196b4beb111",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/4/bit0",
          "proof_sha256": "c353e1c01f4a61a90abe795899363e13bfcee9acef5f49b2f540d6cbec79f670",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/4/bit7",
          "proof_sha256": "e888e3607224bfe7c5bbbb00c1bb7268b39059f25bef9f0bec3d3249c589de97",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/5/bit0",
          "proof_sha256": "3076081a8c5547145238047087b6e36cf73cf7274b02bbb1828a0ba8a6efe4aa",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/5/bit7",
          "proof_sha256": "8ac086c0e909ff468e548880108e9d0a69a8e982ed875e3a057297bba9e7f30d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/6/bit0",
          "proof_sha256": "e34b98d4939b7c5f88fca88fd01da0db33a932f8e950d3d21e3497e5f7d1a891",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/6/bit7",
          "proof_sha256": "f3458ffcd7babdeb6bdb821bf7bc6f754657a8852f9a254f06d9942629a712ec",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/7/bit0",
          "proof_sha256": "75e80b7826c7bc3483aa0b92e8baa731454f085662c92d869545dea6a164fbd4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/7/bit7",
          "proof_sha256": "2d2f6a090bf47b865fad15adc376c6bb872261dab3081de09f5127d9ebc0706d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/8/bit0",
          "proof_sha256": "4325913abc9df093410e857dad467e4af3e6393b347ac7af0e388987bc74db10",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/8/bit7",
          "proof_sha256": "0c98791cd886e38bc5d6588b152d75961660e2323dff75277d5f8c64cf854d48",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/9/bit0",
          "proof_sha256": "0fb70f2d61d88a9c87df4b0ad0c86a0572ad498c9cfa5c283c7200bd9bc452df",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/9/bit7",
          "proof_sha256": "e7d551ae8b915a37337f0b7bc24f661f458ae7d12550dd2a3d7d1cc39612f1b1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/10/bit0",
          "proof_sha256": "a062596665f365b419a080a78fedd9243cf83a1cc8737acdd19930091440e328",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/10/bit7",
          "proof_sha256": "0fd937a227f7bbf74a937a69cb8fc351505efae206e6ab566541203063a0d955",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/11/bit0",
          "proof_sha256": "899ad92bdb9a87f89cc7a578c71156d96057cfc4571f1452285aa8294531ffa9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/11/bit7",
          "proof_sha256": "c911213d5751f4996b63f685d3a6163485ef53fecf57fa3790bcfd280c56e23b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/12/bit0",
          "proof_sha256": "326adaeb423e86f1438ec0e2db547923dd066a1c05613002ac01db397cdd3524",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/12/bit7",
          "proof_sha256": "08680f64b43acba89df58180de1fc1b754fb275705a817aa6bba9053c1878823",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/13/bit0",
          "proof_sha256": "a19083d730c2ecbf76ae9a9026e866b5e88bb335036a34f8e53c284a2f94e1d4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/13/bit7",
          "proof_sha256": "acc2de400e49f33785393edce2c96ad2b7722053d2642298aa61c19ea7c7f0a9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/14/bit0",
          "proof_sha256": "ea603ff3802ef1b3ef63c8b7d60c1b9bc65ff13dafe2f77c13d57c15d3942fff",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/14/bit7",
          "proof_sha256": "a6e66e919a30bc6dbb47efd8200f4f1bae2b6dcc1854b94c7e2fb2a0275a3a96",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/15/bit0",
          "proof_sha256": "461c69debc4cd1a88e2c53b13a6bb336ba73ea0ee6c228b7ac850d8904f79537",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/15/bit7",
          "proof_sha256": "8a10ad65347ba82a88ee5fcc9fdfdadd73dd632ce65aac271b9db1079535343e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/16/bit0",
          "proof_sha256": "2bc3d1880fd87acb43abad189c98e602cc8dd2acdee56870ec3a5a3613523833",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/16/bit7",
          "proof_sha256": "1773015c2d917133e1ff9e4e034813e92feb54fc174c8768a57f9cc782d94a81",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/17/bit0",
          "proof_sha256": "4057119e36ca52ca7b0e50ffab0f3a0e10009648940f387d4ae300644fcb64b5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/17/bit7",
          "proof_sha256": "ba3eded1647aba41d16ffd0250aa57227fc1330bfca6aa1a01bf751dad63c9b0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/18/bit0",
          "proof_sha256": "839ff32da5473ab7ab6bf04b6da6e6a95486c461b72dd91cb244b9ddb25ffb3c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/18/bit7",
          "proof_sha256": "ee1c402b7f351f03835d313777ca2583dc6f14c9f19574c478a8768ffebc1842",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/19/bit0",
          "proof_sha256": "6cf2ba3ef9b987a2bbd103ca045205d43000d6b5c84e3dd6cfb7c1389d3bf841",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/19/bit7",
          "proof_sha256": "2ae1df02462893b7bf419fc3cea6f2d26fde402eb6821aaca85a2d39b81b4db3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/20/bit0",
          "proof_sha256": "1444ee6ae1e60566442f37b938feac376763046250c7d8639148fe1a4b930632",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/20/bit7",
          "proof_sha256": "6372b96d9fdc2171ec3b432b4f19f712ee7fe8b1ea6baac77bfd1bd65c9f6900",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/21/bit0",
          "proof_sha256": "61cd6496317b414c4bf136802163114ece9e7e3bdf00a6247f06f5e88b68f7f6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/0/1/1/0/1/21/bit7",
          "proof_sha256": "a1b66f95a3459a85b1131d935728ab494500cfd9bee8a75e0210c5e703f62277",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/0/bit0",
          "proof_sha256": "02fb3be591fa3063926382b04a92a65fc1063748ec89511802924e9351918315",
          "accepted": true
        },
        {
          "name": "flip/2/Right/1/0/0/0/bit7",
          "proof_sha256": "2d1acd1782d9cb80ed097d7bf11cd6053a4bf7d369ffb367051edf0d082094d0",
          "accepted": true
        },
        {
          "name": "flip/2/Right/1/0/0/1/bit0",
          "proof_sha256": "fadce4706a4bbcee30506690f7124919c6aca2fa69149fb4df23c417b00cdb55",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/1/bit7",
          "proof_sha256": "bb526f1ad9dc4696567e3d39dba0e34c17c009bfadca78a0f124facc9c1377a8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/0/bit0",
          "proof_sha256": "5bdc3b172964b090cf2e3d8d642a2c092f63f1cb76654528b797a99da7f6d98b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/0/bit7",
          "proof_sha256": "1e29e9902065bb4372c05c60801a18a4dff0e3e3279e25e6a2b321467a400808",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/1/bit0",
          "proof_sha256": "8e4ea6e3b7c451b36887ef0d5774b3dab3f2dea8743ac7597f9b6b02ba464061",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/1/bit7",
          "proof_sha256": "488c9c945eb5f14417ea7b9ada06158ab2dea29bc62a78d4827123fda45c1b1a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/2/bit0",
          "proof_sha256": "48871b820e12f7f91caa1c1eef6f63c985c0e9bd4b6101a8a58aec6702c50a22",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/2/bit7",
          "proof_sha256": "a998121e8a7b89d023dad82c9f903f4564afcb52d9747bfa3a66dc885f10cb05",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/3/bit0",
          "proof_sha256": "bab0efb28beae58cd37c43e80a05a1d5f81b7ff5f2ee317cd9f54545e0c0bced",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/3/bit7",
          "proof_sha256": "786e02f110ba70995e4d6b71764419b9d365c631bd5b77f4520b9829805ee8df",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/4/bit0",
          "proof_sha256": "ac559533a75d1960acb00e812ec47e02cf99a1c993621458b9fe3e811a91e38e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/4/bit7",
          "proof_sha256": "27c6d728e6f052c0179723c92a096fe6399a342dd07d2bb645d84947107da129",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/5/bit0",
          "proof_sha256": "4a6174b906781817e2f05f7c7f98151f5570316760965bc69189c655874843bf",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/5/bit7",
          "proof_sha256": "eb04e5d76b5c330ff6e7db6071dbf548a3b2f25d0ca6f5fe038f7b20fcd96bbd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/6/bit0",
          "proof_sha256": "3bd90263a7ed22452f399d9168097d10a13b194c7847d7c2ad2b8788af48b576",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/6/bit7",
          "proof_sha256": "a982cad3fdea89321979aa31479972b02819c30e9e209c460b451dcff801e20d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/7/bit0",
          "proof_sha256": "9c6545bf3a0ad4ba8852578a6f3c9d20ea313ea04900fa6fa323161a13cfaf81",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/7/bit7",
          "proof_sha256": "1e43e5c83422f6bb611165634d81c607714dd41ffe7cf0a589dcb20c7cdc963b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/8/bit0",
          "proof_sha256": "918dd94149da5c9a1597ebf85ec7d87e968ff83c8e3b7937568d210f62ec60a2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/8/bit7",
          "proof_sha256": "c2fb6e9bce32d41ef72c95000b86571dfc1abd55585f74be554322c7702ed01a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/9/bit0",
          "proof_sha256": "67bf02b6388e70629b68ae8133c9161d578e3019d05b753cc3b8927032c88a71",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/9/bit7",
          "proof_sha256": "1f718b6ee0e8759356db5588517bec8da6393e14f4bfa587c30d41466e71b16d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/10/bit0",
          "proof_sha256": "4c0c1e07cb81353fb9931c11122f9b2265d6251feea9607392fea3dce274e3de",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/10/bit7",
          "proof_sha256": "2985c9a71ecde1dda9275224f5e98dd8b1fb60741db2b6340b9ea45145b1dabf",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/11/bit0",
          "proof_sha256": "f0103bee6273074631d19a4b96fd8b4f89e7b49263dafbc211a3d48c5db246f1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/11/bit7",
          "proof_sha256": "fef6ff15b34a7836dffe80221035c0447d6043c4e79493f16480db3b10591c88",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/12/bit0",
          "proof_sha256": "9018d4e188c4f47338685c96ba1dc61b39f174174d799e3c2b96132dfa30cc3a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/12/bit7",
          "proof_sha256": "f90f8cd2ce86aa0c78e83309aa383e45fe0b36215a209fa8cdc931de80bbb302",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/13/bit0",
          "proof_sha256": "d40043ddfe4450986e63775f1a571f96e466501c87aed1d87ef714817178ed28",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/13/bit7",
          "proof_sha256": "d1b67b2717eaa5fc809be946a74b5069c00cf6077c8c3f1634c566fa6f55887e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/14/bit0",
          "proof_sha256": "af412905ecc2a3f7323ea31bd26eb96e78830d003e13a2194a2a144eff88bd29",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/14/bit7",
          "proof_sha256": "66823b6d810f53fd322f6c2dd75777cd6a0f3ae8b2870b5188dd618cf5f60e7f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/15/bit0",
          "proof_sha256": "89ad9c9aa6f3a8eb24d6bd6a525cf5608f61130f49e250d51375f451376dbab3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/15/bit7",
          "proof_sha256": "3d960e6f963714b598092f236d360b07955b4aab804d7e056abedabd7eff031d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/16/bit0",
          "proof_sha256": "f6bc8bf5d1de6504176a8306a34d008691b63d788f379a1cea87f5e5a7ef3cb8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/16/bit7",
          "proof_sha256": "ade86c6f041fa3496f6bfa0d17ebd32de6546230393e395e3b32c3dd2e42a869",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/17/bit0",
          "proof_sha256": "063691ef6a5d04076e9f7af8bcb195e5dd3e0e565c220d38b27d537a2cb04c8f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/17/bit7",
          "proof_sha256": "a1ea5acb03dbc4f95c10dd7334de6f8a45447cd3576ea36e7d48eadcf10513ef",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/18/bit0",
          "proof_sha256": "2142a79174351e690a7bcc870f2ce250337fa1c451ab3f600cd311338ccab9be",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/18/bit7",
          "proof_sha256": "c5fbe661b3de888d6a789b53657ddd0851d88cb2cc8737195d3c13319195e5ce",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/19/bit0",
          "proof_sha256": "5d61ac7c9ca99aceb5dcd270e455064c39b10e69c9e916111f67f1a807556e65",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/19/bit7",
          "proof_sha256": "6f97a66f1e23f08ec802a685c53e33f4c4aa781bbe299c07f3f354cb5de2bb68",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/20/bit0",
          "proof_sha256": "77bcc7cde2740bc38f41d80dadda2c6439dd2c9a4ae1257cba41650293ad837f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/20/bit7",
          "proof_sha256": "7edda53c97c75b1cdfe8ea2b67b3856bd69d6391ac3d21064b447acf76cf0c72",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/21/bit0",
          "proof_sha256": "db1b9bbd310c91f8fd2118822cfafa449f01740de7b99defca16e31990cb3140",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/21/bit7",
          "proof_sha256": "d7904261861b3c38becb3378e1337aa5cd7c94b9468d73ac8607ab8993580cf9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/22/bit0",
          "proof_sha256": "c94fcd54c6ca53ce9c7837c8bac5b1bb62a68b9fdc5bcd21f2555e86b09187e6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/22/bit7",
          "proof_sha256": "cfc2e4a0f4f7759c0b16ecbd16d7b4721d5b03c207d268480fb75933ed0d5ec0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/23/bit0",
          "proof_sha256": "69fff8259f6d520c65d1d14344b9898837a5dee5c294e6f93ab361bd316ea1b7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/23/bit7",
          "proof_sha256": "6548cd5aa2e0859f1e76e6f53c3f7cc429da48a93cc15505b1dfdff9ace192da",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/24/bit0",
          "proof_sha256": "f7425aa0125344362e98d3f95095ea5d97228cbc306b2a71c2307b80d3e69c3b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/24/bit7",
          "proof_sha256": "e3a53bdf69e19421d66628442279023c029b809f51150183bccae5aa7e761715",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/25/bit0",
          "proof_sha256": "7a4d1b714fe9ebbba6edae0ee7ecad7f4c484d0c1f518fa1b4beca841d8d1fd0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/25/bit7",
          "proof_sha256": "b0618a5b59d14f7a34f91d58ce49b5a83bc88cc7a25509102385a8f09d88b6b0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/26/bit0",
          "proof_sha256": "9f1981034dc677772496e0145fd942a2f8e793db9b0e9293d81cd422c2a881e6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/26/bit7",
          "proof_sha256": "e3eb77f1d8765e59b806cb8e78694e44df9b0ec995a3e83636de09ff41af6732",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/27/bit0",
          "proof_sha256": "f485338124839bb6d905a5b629b5eff08da8e671c80079ec92e3c47b6f5ebd95",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/27/bit7",
          "proof_sha256": "349f404db8cf90f5696e50be31f6a337f0f136e757bfa191ed112ac9e95be469",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/28/bit0",
          "proof_sha256": "77800327db0b9c0508c95703e4c0e6e83ee81edf0f678e65167dce5fae79d4ac",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/28/bit7",
          "proof_sha256": "b3b60171bdb92c82d9a84b4534a472858c67053a0117a66033b8314fb089f51b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/29/bit0",
          "proof_sha256": "c2734702ee0b28f72ee6be6313902d88dd0dcc2ef6ad86aa895046a17f467b97",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/29/bit7",
          "proof_sha256": "45d87a6e500aa912ebeb7e91602dc57c8c6c5b4f598a500773b4482b314ae50f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/30/bit0",
          "proof_sha256": "e9e7e52cdcf17730834e0e39a76788edbf4351bf835678b89bf2e83827cbae55",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/30/bit7",
          "proof_sha256": "a53d06ec1fb64339e5c548fde6588e592f66023f37c35f36015bbf7b50b124e8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/31/bit0",
          "proof_sha256": "cafc5cccf5f21530605dfc655beec274335ebde22e162e7eafd8d8ea74b606c5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/31/bit7",
          "proof_sha256": "3d081e30a0110a540a53f3ded7d719877aca6774b6929619b53f807386137c46",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/32/bit0",
          "proof_sha256": "7b713014e59db7d04ba9c39d4dc7180bdfbf788c4f0351bfbdbee0e129673a0a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/32/bit7",
          "proof_sha256": "fb60d6ca3fe54829c1364b5bc020bd5fcbee4c239481d9afa8badee2cf1a6689",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/33/bit0",
          "proof_sha256": "259878cf6445cec4ee94464eca26d0bcf0920c4da34d4d325296dc7de2a57d0d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/33/bit7",
          "proof_sha256": "dd3257c48625cc38aaba3764cfc8b719c415894ce01e02328586445c85b43f18",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/34/bit0",
          "proof_sha256": "6846938cb05bd0df762cdf05aa0f57344067e0f8da921449aeed3c225f192876",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/34/bit7",
          "proof_sha256": "61fcfd82d89c8298da07bff3c44c91bd3c2d8f3a433c9159b65a02e04fcb9c27",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/35/bit0",
          "proof_sha256": "551792b8a904c9992186ed46cd40ade24b4c864b2bf3e16f764c014804ba794b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/35/bit7",
          "proof_sha256": "53e8573534b6d675cd75d9c02859bec71d38a79c340efc6ea264805cd3cfb9fc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/36/bit0",
          "proof_sha256": "26da9366681abee3389789c41dd7104f6a9dbcfb73b451ec8cd7670f58188ebd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/36/bit7",
          "proof_sha256": "ad3db4fbb0e51e92a98c89b3f6b891853aa3a520482cce34b7dcdae8106c19e2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/37/bit0",
          "proof_sha256": "ffdb422d33307d48ab7b77298434bb7be2b3e83c46683baeef5cca95d35be5a9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/37/bit7",
          "proof_sha256": "3603831cf7a975289a693c5e7dbed545072df7bf8f8bd391528b3b958f587328",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/38/bit0",
          "proof_sha256": "16258871096fb98852a4373cb058f9a67980900975cbbdcb0a4cc605ce16ad65",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/38/bit7",
          "proof_sha256": "14d00895ee6b2e11aa3a928cffaeea7cfd5ecd371331bdc5a484870bd3fb46e4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/39/bit0",
          "proof_sha256": "a4fa7416b93a8705a91716541fdb272455d0f4f20baa00819b5e2c5eb2e08637",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/39/bit7",
          "proof_sha256": "d61a696be8771033353d9f413f1ffb56dd47f905fd271584a84a83b80e3baba5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/40/bit0",
          "proof_sha256": "81f310cd6d0afe505f2d70cc0b7e3f610de468b31a5b88e1f401db918e8f763a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/40/bit7",
          "proof_sha256": "d07e05d68893f41cf3fc39d08f1b1f741d813a07a4a162df9b7d9961b176b3c3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/41/bit0",
          "proof_sha256": "07047394fada0bcca019266b9cf3790e541b2afe925ca5e9e9877cce19059bfb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/41/bit7",
          "proof_sha256": "0fe02e5cff198f2a3917539df7589cc33ce8c28d29dfcdb035ef2e5d01085414",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/42/bit0",
          "proof_sha256": "8c2cdbd2228336b76f892ad180eec7195019623074fd73f1c1d0b3f09c588e5e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/42/bit7",
          "proof_sha256": "60800094af604023a4f57b24c11e2b8041dc193924a992058006b06d197ca2c7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/43/bit0",
          "proof_sha256": "3c107c39a2570605fe2a410967a8e6274e3affd611f736ea7fd898f2a582283f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/43/bit7",
          "proof_sha256": "5cb2a3d7c9dbdbb5c9810cd18518cd7278d1b7dbf740ea7a79f211cc2b695d42",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/44/bit0",
          "proof_sha256": "aeacdba094f51087f93198fa42eb657ef704dda594b0a07e213fd393c5a5eeb4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/44/bit7",
          "proof_sha256": "e708fa605afce28fa4e6c7193b328e20846edcb3dba2a4362a11739a6d3d6597",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/45/bit0",
          "proof_sha256": "c52cd41262d3d30270c05e2e541a9bde742c6543c21fb10cbcfe0b55dde0280b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/45/bit7",
          "proof_sha256": "3961ba6071ae4dcda949686aeae01f779e0d12e658cdbae02bc0de60b61c7695",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/46/bit0",
          "proof_sha256": "0cd43d14b1aa50727db620864c6572e4ac8803c20639fdc75881b37821e42ad5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/46/bit7",
          "proof_sha256": "9b9238dd5f94d21f528580a713ad9d9ac55b7f8a040ca3f5bf0849b0fb80fb1f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/47/bit0",
          "proof_sha256": "9ebee3dbb1138cbd111d7c1310e356ae4fcf4184bd278e849f75b1a4df2487df",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/47/bit7",
          "proof_sha256": "84dbb7c571950dc825fe48927bcab612a084826661c4c2fd6a3d0a98612095f8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/48/bit0",
          "proof_sha256": "184ae1d560efb44a6eea0d7a7ca999a6087cdc3577864606a6c7c0f484beb0a5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/48/bit7",
          "proof_sha256": "a7df3f1118cd7f03d53323c4e13c713b9ec6ad75a23935e85ce51651438ca051",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/49/bit0",
          "proof_sha256": "04888c55f85055a43dc2e078e1abe36c8e62bfe94f27967e74621e55aa10db60",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/49/bit7",
          "proof_sha256": "0296d8f9ce56170d6b686266185aa766ba11c49834c02aa076d2bc6b6e9c5a06",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/50/bit0",
          "proof_sha256": "d4c4a976a451d5c70d54bbf7dc6bc2c79a3253cb2a900d6931edf4af8d874675",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/50/bit7",
          "proof_sha256": "c7cd61724dad69100d6ea6f2844a16f41777f0ade48c36d5552075597becaa30",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/51/bit0",
          "proof_sha256": "6fa51edf7d086c4e7ee694c4718796ad756249f8dc50b68052c236feec4438fc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/51/bit7",
          "proof_sha256": "6962ad952fba895988696ee21a160aa36287260b088b767aefe4a819e316255d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/52/bit0",
          "proof_sha256": "e877e50e732378f4e7e170d46b49f12f8922a576c753f24d45ad7b788383055f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/52/bit7",
          "proof_sha256": "355a9c683de212cff51eea6dab41cd05f1ff14172f309bd345c2452930c8e5ff",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/53/bit0",
          "proof_sha256": "bbf9c14a6a37bcb5e1f29506368022a5d618c83df4d95df45bf477449657f075",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/53/bit7",
          "proof_sha256": "41c5e3d26f7afb48f0ab23d66a089d9dd72e1aea0f682dfce94673d291ef967d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/54/bit0",
          "proof_sha256": "94f2bf4fba833e33406c5f027e0583fc910be441950aab613f290d5738588271",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/54/bit7",
          "proof_sha256": "0ebca465656a872e7690c0d941d767c117f76d044a1cb1422680789d43cd9fb1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/55/bit0",
          "proof_sha256": "b5b7078038bbae032bccbcb412dcfb45b4f78ebd34cc5e06aa5f642a61cb82ab",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/55/bit7",
          "proof_sha256": "2e1e9336288718532901216094abebddc43e892a33381c0e13997a7d5e40bfeb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/56/bit0",
          "proof_sha256": "cdd79dc342d39537f0c2cb94a53ca17c6bc6dc847ff0f14351be496ede047dfb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/56/bit7",
          "proof_sha256": "c5f47b903da690d69f9a18a10139cd5c8319485a0aedd4fa3fb6d6e8fd4e1276",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/57/bit0",
          "proof_sha256": "4de0a7fa19182d554e49372d3290ab69441b54122a54dfe784d0a37a303b04a0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/57/bit7",
          "proof_sha256": "05a53bc18282f236c18b3f96c2ee03b818bf1dce55067ff6bee76ae237c8da41",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/58/bit0",
          "proof_sha256": "99449c0c56016fd30cc9a5193e02ddd256e84ac118e972ce4550ee514e6fd2fc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/58/bit7",
          "proof_sha256": "bafab259e806afa61e50ff0999a0d7ff8dce2eb2a3b923829c668ce9bb0d4037",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/59/bit0",
          "proof_sha256": "e5daf5e2f364772c20158655d8af0becc78427b56f5789003f3f8485195b98cd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/59/bit7",
          "proof_sha256": "4251bee9263fa8c7a08899b5984bc410e090abb428de07e0a4e08599a884ffc1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/60/bit0",
          "proof_sha256": "45e2e932f160eac776325d363d5703b0b20a017a01ac4f7569872dbb1bbf3584",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/60/bit7",
          "proof_sha256": "bbefb5a45ec9db4ffc16792622d29ab90926052dbe56dcd9acc516c0d0678c8f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/61/bit0",
          "proof_sha256": "71556708da0e4a51c35fffb275c9e81beb4e779e80ee03828afb2f196b3dda68",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/61/bit7",
          "proof_sha256": "b4813bd08f6b678b3e2f646250fe278dd9c901ee50ddf5ba2e0ae6beae5e0743",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/62/bit0",
          "proof_sha256": "1a81fab05eebcc57003c5e5c0ebd461d41918c6d41b695838add3b282a4119fd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/62/bit7",
          "proof_sha256": "ecd06acc787ec49b8542660997575ecd44b7dc3ead91c9d8488a5d0937bdf83a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/63/bit0",
          "proof_sha256": "e03b7c15a17d41ea2a89e5a30523183cf952db2d47d505c90b7afd9106aebdb9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/0/2/63/bit7",
          "proof_sha256": "c597390b89b8452330268ea93d4ba6e9b1922f2433eb4c4902080f4cb52d5e92",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/0/bit0",
          "proof_sha256": "a06ebe16bd5818b99ff08a1a647d17b5771909578f535f6b137a4aadd95bbe57",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/0/bit7",
          "proof_sha256": "0586e9fe0395fdfd9737f95815b203a2a8b94b58e59559e5f01f6ee68c9a0fc0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/1/bit0",
          "proof_sha256": "1a5145715c7eb8152908fc8f1d937c2dd1b12dc21c0a83c3601a2dc6f49158cd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/1/bit7",
          "proof_sha256": "c590fd5d4e4167af290e4197c7bb908f343bd3c5f56d41d1d753719b913ee879",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/2/bit0",
          "proof_sha256": "d22bf6d17e27437addb04b1299feebc17bd181b7b0892b60b2730070feaece82",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/2/bit7",
          "proof_sha256": "6964b240b5c0ce6b647671fde80f340da745f9bee9a2c467cc6a235cd1703030",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/3/bit0",
          "proof_sha256": "6823eab092b0118c28322515d3e959672c602ae9ed6bebda1a64f6a6cf018785",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/3/bit7",
          "proof_sha256": "4d6086bf6187560206b679609ad0a6f3400bc65cf2a1bd45b13263dd2502ee94",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/4/bit0",
          "proof_sha256": "f9eb859f09ae6b483bd2b6de0ed9a005e56e20b2ae1bcc87b981f1b33e062e5d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/4/bit7",
          "proof_sha256": "a38e8d372b293a1c894408c66f8918f32abbc695dc43e54be52f846991ffaa96",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/5/bit0",
          "proof_sha256": "5d6cc330b6f35e20a21e00c597cf893c0485f429bfd4d51f03a439bd89227adb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/5/bit7",
          "proof_sha256": "d7e7393dfc3e6d7a9442e0ccf91e91817739405ae4b2d833ec621d23027b80d9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/6/bit0",
          "proof_sha256": "10ca4596597bb37976566d7e004b9acbee64b0c1c22dadda8f551baec8818b00",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/6/bit7",
          "proof_sha256": "0c954eb109884396ac99902d8e2684415aa9fafe98e29ca5d00a3cde84e6acc4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/7/bit0",
          "proof_sha256": "f78633312dd5d2f68e11d97cd82f00e1f96e227a9f86483e61ebab0b8a7b2380",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/7/bit7",
          "proof_sha256": "75eb1b007382db70e36dc456050300b4ccff8d54eeecf76f0c4c60e0117493a9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/8/bit0",
          "proof_sha256": "49dc4c850e90e4f2ac0c3ab2695908a7eb509223a8cbee62e2845d13b6549e89",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/8/bit7",
          "proof_sha256": "a206b8ee34b13dfb166bb0b79400ac5bf781156ad00d796509eea38cb93482d2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/9/bit0",
          "proof_sha256": "a408f929d6c6086039d41143b0b1e1da686b49fd8675d73a4aae0859c9d452b0",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/9/bit7",
          "proof_sha256": "914e513dc3c1a6da685cf0783dd8a12ae8ba12e6e52561c6355afa6dc10abbfe",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/10/bit0",
          "proof_sha256": "08bdbf880206c579c1ee7e05671e3e76f381ec6a13a7783a8bf3e29193b5728d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/10/bit7",
          "proof_sha256": "170541405de8abd111ae3a06117bb8b3ac316696b38e68b1a86bf7ba49dd91dc",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/11/bit0",
          "proof_sha256": "8d34698dbeaa492024f04a3adc32c957ad9e1fc2ad6e52fc61beba4b1d4765d3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/0/1/11/bit7",
          "proof_sha256": "29956374bccda9ae23f6dcec7dd499e8e6fb4aeeaa71c03066e962e2764cfb31",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/0/bit0",
          "proof_sha256": "fd4e3af3ce7d24b34bc2267a8a80ced85921edeada86f9672569be5a92d69695",
          "accepted": true
        },
        {
          "name": "flip/2/Right/1/1/0/0/bit7",
          "proof_sha256": "9625f9b50101f1ea27b51a7a36f729840dbe9dd5ce75f3f9e9e1129a808d2221",
          "accepted": true
        },
        {
          "name": "flip/2/Right/1/1/0/1/bit0",
          "proof_sha256": "366a6cd355f6ceb3e1a57681cd6294f635fef0879b9943b133a8651e9d6a640c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/1/bit7",
          "proof_sha256": "4269b319dbafd70927341ddf8257be91373a08af15d83aad341057b99398f55f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/0/bit0",
          "proof_sha256": "53a8525298fc20627dd636dfc7eb6ee6a0a0feff69dcbd4e313c26b95fb5e5ff",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/0/bit7",
          "proof_sha256": "246b4c8b13f45063107dfb6b4707e04602a20fa308fec285077fe4a26a7ac57c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/1/bit0",
          "proof_sha256": "41bc5563acc1037e0715fcfaed32885a2ce807c964af28f4d2e0d4b0ad91c4eb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/1/bit7",
          "proof_sha256": "d227f446e34bbbea834398424f367756c1481baa7ea4cf3328f99527f51cedc4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/2/bit0",
          "proof_sha256": "e234baa3f0d0e108b64557d4ac63ccce51894d630e8b1d0c866faba1af5460a4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/2/bit7",
          "proof_sha256": "d6ed07659efc2c5cb82fbdb558f47df1c10af7ee73c6785efc1d27b6fa749e5b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/3/bit0",
          "proof_sha256": "25dd41484669488076c16d727a0dc55ecb2ebc0291d175b76b043aaa7cc09853",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/3/bit7",
          "proof_sha256": "57d228e279e90667ab2d93cd21adafa1d9a86d82c5ce5edccbc9b321c2be371a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/4/bit0",
          "proof_sha256": "229ef36b5c5094baf56f38dc67712b67f3cccc77b3e04d2de7b9e61cdd17f29d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/4/bit7",
          "proof_sha256": "01403e849fac272d8c840c0cf585cc1f1bbe1f7e62882ee633cdc8449179aace",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/5/bit0",
          "proof_sha256": "8b21bee60f45eec6ae2d05e701336204d747107f9ea16aedb05ab5bd9c577e68",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/5/bit7",
          "proof_sha256": "2296fb243c6b1107f5778f6b7265e5e3777828fab93b972ab981ddeb4129e8ef",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/6/bit0",
          "proof_sha256": "0afc170d7c4ef054ef482077955c1481330b16036bd495b03dd42eeaafcf2305",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/6/bit7",
          "proof_sha256": "4697af3247f3228be4b846b01d517258ba4232a0b8308741ce41eb8fce626db4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/7/bit0",
          "proof_sha256": "33806a592c5d70827734d348aae791e5f1e3d1d29e1e8294c04d46327503aea2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/7/bit7",
          "proof_sha256": "4fa14259b178564ddf242f0d47e87fcca39050292940ba5a775029a5b67785af",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/8/bit0",
          "proof_sha256": "1bec19fced7d91c780881e1a912488263a05950fa083c4f3226a6bd116abaf6c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/8/bit7",
          "proof_sha256": "23c732667d873fca345bbced441248490c97d1d42425ac00617cae0951902e48",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/9/bit0",
          "proof_sha256": "624628183f6d2b88fa81668085869162b465af3e9024141414efdb420a9e063d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/9/bit7",
          "proof_sha256": "16b1cdcebf829dd59b69a9a8bcf190529ce3ad025d3a00ec4499940690fe8a2c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/10/bit0",
          "proof_sha256": "54dd16b9e8e049ffaf0f736405bab044de84ebe7b78aa33980c0221b3cb524ce",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/10/bit7",
          "proof_sha256": "393b197dd58305d8f183df001a5f6cddd04f11d6d985d3bb50be5a36f376f21f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/11/bit0",
          "proof_sha256": "4a4c43302e6d6e758ba2bb6d2e2a6abc8448c0851a8af95111a8df419e00f405",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/11/bit7",
          "proof_sha256": "51a9744602cea77842ec3fce07d8323b709ec464404a29438c318dcc6af80676",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/12/bit0",
          "proof_sha256": "86398b3897daf7881b85cd22c845bd29ac34b101786815272606d5bcab729fb5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/12/bit7",
          "proof_sha256": "009ac0b68faae1d5d07fe9a1dfbbcba473b6580e97c5c7c7e75b3142b6cbae38",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/13/bit0",
          "proof_sha256": "f5e1babdfae180b03671349ae132ecb7c0e9f7184c936a6151077601c25f32db",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/13/bit7",
          "proof_sha256": "8729fde6bbbf8e7b0a177c723fe495e3f2ca05a1c58572a0aa5e599d49d9428a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/14/bit0",
          "proof_sha256": "2139afaf071b8300f69f96b90a1d9f6377fadaaf17c4f852a0c2102ed2970264",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/14/bit7",
          "proof_sha256": "2316d13e4c48649a2995398a28217bff99bea54e1a147043732c78750986b3b4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/15/bit0",
          "proof_sha256": "e6de3814297c0f591b23d73287af0ec601f9d49b8e11e9858dcd9045b31aeb57",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/15/bit7",
          "proof_sha256": "bd145f0b6af19edf3d292e124acbd9fdffa991f7393771fe4e8dccbfca533267",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/16/bit0",
          "proof_sha256": "9a43208eee8e200be1711eb6e0d0cedc72a9556814ab0e36f17775717ee12359",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/16/bit7",
          "proof_sha256": "aa3de533a183dea19cd30ea1fc3a3324f00e90c8e6dadf8bdc5e91267458d658",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/17/bit0",
          "proof_sha256": "32e74013fed40bb10391bfa2c4e58fdd9e261d5450f8e3e7e9d285d0d1e247f7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/17/bit7",
          "proof_sha256": "6fa6e8a2d4ce7811919ba96af68e56bec4a0c1f06b32a36d89ffd8fbf7c4a3eb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/18/bit0",
          "proof_sha256": "830f57c466cdb9e81778c02b22c1f54664a4159166cee09366b5d6b7f944a09d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/18/bit7",
          "proof_sha256": "d63f63e823b15b954565293aac01a9299de79494c66622ebd51303835037c07b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/19/bit0",
          "proof_sha256": "56b08decb6889d691d2192a4ca40027ea36bb44c4664c044bd2dc934c24646ae",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/19/bit7",
          "proof_sha256": "54aa7b32507507b8e68ffa36984d07ddb5c151f049450bb03a0d79b6ca2111ae",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/20/bit0",
          "proof_sha256": "2c34947856839c1d52dc96a07de196a875d7288e33151938d924d7299920dcbf",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/20/bit7",
          "proof_sha256": "a6a3c8d88c4b94ad71751578855d82f686d0bcd60d4a38007d0f24a3de6e37c4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/21/bit0",
          "proof_sha256": "1ced86d4337d3d5f7ae0f0dd6c9180bc1ed20e29c157b4cf5b7db85e13f2a706",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/21/bit7",
          "proof_sha256": "638f4b48cc219cbffed9adbd64681f9f172715da28dbf3111e6ea72bd3f8cd60",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/22/bit0",
          "proof_sha256": "ca4ca30c5e08b8beac0d49a75243ef56a0e13540243e6a25430a050bb90f5b0f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/22/bit7",
          "proof_sha256": "c77d05557e4cdaf4f84b732bdf4bbc6c4f5bc554579c1c752f90f37c04af1d72",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/23/bit0",
          "proof_sha256": "bbb33fd5bf4a68d569053d3dd793f21591a95e04cfc4df93f785ca71635a105c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/23/bit7",
          "proof_sha256": "beed4f80c455cc52d4dfb5a1a9e07fe355ded86b288d733a75a951ba9179a22a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/24/bit0",
          "proof_sha256": "7f4801df67affece9903a7839446272d509789f730ab359af1741417c64ae219",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/24/bit7",
          "proof_sha256": "65574699f4f4362a0fe3a0d9fb9c50e14faa5f65303a45ed9d5dc8d01037e6b3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/25/bit0",
          "proof_sha256": "07c838f8dc3b58b35d5e6235fcc0fb855f29c6682b3920a2f2df6e73c8c6f2fb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/25/bit7",
          "proof_sha256": "65a2a0baca464e843ff7c5d0771a5be2ce94cc9cc3a0041de9e3baa7c794b2be",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/26/bit0",
          "proof_sha256": "3c0ce79977fe956e3e1cf6a9b9d2ab4da79a0349fa78d4650a0837707223b0e8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/26/bit7",
          "proof_sha256": "42807f13453385863f3794f568eab18ad12aa8699ca31115c13564d96e9caa83",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/27/bit0",
          "proof_sha256": "c3349fdd5088b50529dd176a854e58b1ffb6d3a44c1cf7de99e778c0e358b0cb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/27/bit7",
          "proof_sha256": "32a6930091f21e933db54ce5da5bea92ac76011f7d4716391fdecbaea24e0d13",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/28/bit0",
          "proof_sha256": "76868f16700d901b140a48f6813109e0b139762ded0acc87e3ff93059e45af25",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/28/bit7",
          "proof_sha256": "fabb7fcf4dc1cd3927bbaed5e7498e23489d0c96c7fdc9a78284a83807c6b8ec",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/29/bit0",
          "proof_sha256": "a71017cf9fca4935da9ae06b23082984966a480edac9ada255a960cbd112a6ba",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/29/bit7",
          "proof_sha256": "e2c968f06d600080098e069da286a29c639da0bfff926ca293fbb06f296556c2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/30/bit0",
          "proof_sha256": "bbfba59e4337c0439cca4909daf30f0d94e0f21b95d311e9a56285c6e32fbbbe",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/30/bit7",
          "proof_sha256": "6f6eb5038c37412fe9a944374bed0382a60c36b18a721427437d13edcc57213b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/31/bit0",
          "proof_sha256": "a732148ccf1b84c98ab7cea7847d4cf713ab54d266780b44157cc652cd76bd16",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/31/bit7",
          "proof_sha256": "99fc3f25a59dbd9e4fe9c005d0495c8fc12f11db91524cecadde7ae36e8cba45",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/32/bit0",
          "proof_sha256": "19d501dc476796a2f25905ac8558a3ddce13214c16264414195ef1785ff612e8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/32/bit7",
          "proof_sha256": "df74b09292f9674cba50e8fa649539aca284ad3c5c23e19da39e3180c77f8687",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/33/bit0",
          "proof_sha256": "e4153818d42f27fcb62a3c15e62b3b16fc71bec594085145b0c858e8a84f774c",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/33/bit7",
          "proof_sha256": "78411cf50b000a751722299e3fcb9698eb3d9b12d7848b4ed8a569d315bbafdb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/34/bit0",
          "proof_sha256": "186870a781975cfba0549964ef29dcafb99649857506540ae4023b4008ac155b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/34/bit7",
          "proof_sha256": "7608454dc8bd27528587ef7b0500db333282bb6433625552dcbd427c40fe5e8f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/35/bit0",
          "proof_sha256": "6f55098d540cd76fc0fa91b2f180eaa170f177eb503acc38c0eedbc8e82429df",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/35/bit7",
          "proof_sha256": "a46548a33b8db8cfeb1974b2513a84598caabe3a9a20f91fcfefc244346e831f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/36/bit0",
          "proof_sha256": "ac46163ac78059ebfa3bbb4b730d9bc8e31ee4d678cc0590e936699661eb18d3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/36/bit7",
          "proof_sha256": "a636709eea1f6e4f7db8d44fe364b1d8af7d69b2c8af8d7659812b9333752012",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/37/bit0",
          "proof_sha256": "6eca426b7149c3bf9b4d9088872defe18e6fd14262356c1e7417b074121be5f7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/37/bit7",
          "proof_sha256": "b52edcc01980ae2a6cd18c3bb6cdc0ecf033eb9bf6151cfb62cb479ceffa8bb5",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/38/bit0",
          "proof_sha256": "c0782d4b2b7b1a0ffea165353c1c4dd2e208097d475dc3f3541cc7ae8459c52e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/38/bit7",
          "proof_sha256": "6df62f1a89fdfebfad4af4899fd39b9ffe6f1abd7fbb17904fed08e5f980d835",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/39/bit0",
          "proof_sha256": "1a224c8249dd9608b4bffdc9f114013cb86facd14a46a00d71f9dd3a7d789788",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/39/bit7",
          "proof_sha256": "aea5b3bb6ed49c8579d6ee8dc4dffabb9e8b5910de67797067b75f9c4a7eb121",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/40/bit0",
          "proof_sha256": "a9793f5c304ff80fcf42d0aa38fcbb9169fb7e9d0b99be327e835af195d9a5c7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/40/bit7",
          "proof_sha256": "31bfda8853f38b0baf44e70cd4ae81ec3cdb98f5774b3b2b57143d47ebe7baba",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/41/bit0",
          "proof_sha256": "6e9f1868ec873529ce8e96894c7711382eb4c1b0bda004ad00451407874cad53",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/41/bit7",
          "proof_sha256": "f36dfc2358f72e77a8c8659fc3094d0e53309b26c125584f83ccfd58213fc204",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/42/bit0",
          "proof_sha256": "260d0e70670e9b70268d76b2c915a808f0ef418935dbf6fc4f3eac5aa3378a42",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/42/bit7",
          "proof_sha256": "4b90c2635cdfaa240ee3f54fea7a39aedecd65f0b4cae6f6780e86ef33e0e098",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/43/bit0",
          "proof_sha256": "fc2dec9a86cadfb1422a9c3249ccfed5171061e17d1bb44044c4b8d623db334f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/43/bit7",
          "proof_sha256": "689689e30f48af4754d9048f3629925026ad545a03c92652ec8ecec567133147",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/44/bit0",
          "proof_sha256": "bc17d960a320544191f0e795490d361ba599a752f1064000efba1bc6c31f424e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/44/bit7",
          "proof_sha256": "7e1c17d9dfcb4c7e8db4d50e2de0fc0d2cfb4e632c65067f093089a208d43845",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/45/bit0",
          "proof_sha256": "1842469af2ed4e2f0b5b5bb1dbd744c5085601b1a04c3c4ab403ad3e4e5c5e69",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/45/bit7",
          "proof_sha256": "49305e20d382dc58c78e6517df3994d570247458c74367bc4ee45186b5fa935e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/46/bit0",
          "proof_sha256": "cf13b97a3ccf98bbaae96d41a7edd0fb8cce5a905517a3421e96103ef016a799",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/46/bit7",
          "proof_sha256": "05c766b3ea9ad2188d6741fa6829b3a41e06af8e3c55bf0ba452c4c5324c69ac",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/47/bit0",
          "proof_sha256": "1d059af272be26c69dbe17748b6b03f3a06b22f5e65489ea4781cf4e0fa7f5c3",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/47/bit7",
          "proof_sha256": "17ba530dd7607730e6b607b0a3d3b6b0f2ce04d71ec4073c217751b33c4814a2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/48/bit0",
          "proof_sha256": "012c9c022b598c6ddd646ea0e02ace4c5c50c68e31be77f3e6e7e738e63879e7",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/48/bit7",
          "proof_sha256": "aba717caf3fbbfa5253a94c44e850ae1045aff22d126a230de5bcfe313ceb77b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/49/bit0",
          "proof_sha256": "72aee34d20f93fc70ff66b8be190a6cf3172caf94e0c39067fbdf28a2b5a332e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/49/bit7",
          "proof_sha256": "04752b76de9377b9ac629eed700edb484948e04e417a23323425fc92a405c1f2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/50/bit0",
          "proof_sha256": "a27d26f01979e420ae8f00499c99344978c8180e8ed3722c4ac8be4484da8970",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/50/bit7",
          "proof_sha256": "2d95d2e033fe2a74097617a5a5b376bf575e65a2b22ea095e65962eda0306cc2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/51/bit0",
          "proof_sha256": "87a539b9eb6de210e153a55931d8289140bede352b53796625ac2ee8e34cf28e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/51/bit7",
          "proof_sha256": "954a1c237a204e466e62e4db431315e47ae0f346e46a95c6e92adb989fcf0c70",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/52/bit0",
          "proof_sha256": "6016c68c2ff402606404af23194de64aa4b98b2c581a57c8b455bc4fc4680c2d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/52/bit7",
          "proof_sha256": "8e4affda8becfad29135c23c8e031608a409de2553ec36bb08fdc5d18c696f2b",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/53/bit0",
          "proof_sha256": "73ea88af9d85b1df66057b9e7a87aa7c685459d08a29436f9abebb0f950948cd",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/53/bit7",
          "proof_sha256": "4bc5b96f143ed10b717fdbacb89a5b190aad6cd9eaebaa6d7b750ca796b26953",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/54/bit0",
          "proof_sha256": "ba9aa9663a51add91868b4eff744ba61ef40a7432ad56dc1f148d66ca070a65e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/54/bit7",
          "proof_sha256": "e1f0e9e1166bbfb1e2d623a28bedfcab3df956614fd574c1c64e43089afdccbb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/55/bit0",
          "proof_sha256": "bce448e51cfd27cc90c928ce6b44e63c9ebc370f2413695769fc741509a37b0a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/55/bit7",
          "proof_sha256": "8407c2bc5af2fb1ba65510eeb7db30463b47ab748db748af70c3e7554114b278",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/56/bit0",
          "proof_sha256": "d3071c69bb1221e7bd91cc6567441581e2be5ec85c0fbd240e81eb4f82c67f69",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/56/bit7",
          "proof_sha256": "7ce50b72b1b776dbda077d34397a018f6c16fd875b6f42bcde8ff771322178d1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/57/bit0",
          "proof_sha256": "9667fedd37b70bd20b460490805577055721fa495a34ea1c322d435380d85f7a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/57/bit7",
          "proof_sha256": "d092f0f7047223ee8f92534e4e0161d020f94fb2666b04c2b96f5e841351faee",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/58/bit0",
          "proof_sha256": "3a52140859a14722347ac38b9dce8e9eae321434d8f97ed55123787a4cc15101",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/58/bit7",
          "proof_sha256": "f514124dd524c90991f8136d9883c88c63d2b739962b4dc4dfae7bc82f440559",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/59/bit0",
          "proof_sha256": "89a3ebe996cd19bfb781d2cc9b7e31e5df8761838ab37620a3ca673cca76e6d4",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/59/bit7",
          "proof_sha256": "59f578b9f14c65262bab53a3a7e5f4acb013e64d394ee69682fa84c12ee4cf7a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/60/bit0",
          "proof_sha256": "f57837782a1fd1a8020e075e490c0c27c7aed650b207e571442ce7fe1494b820",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/60/bit7",
          "proof_sha256": "3a86a20325d539c7c60ca25fb8218daa567585f937cc0fb9916533750662f27a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/61/bit0",
          "proof_sha256": "b3a586b5c041a9cd6df411218cd0e9715cd993e741c2e934ca530fb599ab799a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/61/bit7",
          "proof_sha256": "5ba94165dbac869c1fff25f6fd172716b3598713379277405b6d3eb25bdd6207",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/62/bit0",
          "proof_sha256": "a7e250bd2b43acfe6f239fa305a036ee66fe6baed83257f4e6fc851352b4d369",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/62/bit7",
          "proof_sha256": "97a650e36ce279e072c2f5112ed0633f2cb6856b662d6742a4bb3db927865ff6",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/63/bit0",
          "proof_sha256": "255b72dacf91058a98fd74e1441eb6cef1fcbe244781c0f718096df0781e4a42",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/0/2/63/bit7",
          "proof_sha256": "c6bc16271fb5832b0253dd756d990881862706145ba1234466bb15e2cec3a33a",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/0/bit0",
          "proof_sha256": "9755559a10c307cd59bc8d71dd82fd416084f0b7de5b8e8aa5d2d89a7fdb4284",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/0/bit7",
          "proof_sha256": "25ac0c4c6eb895444b009cc0080595cff461be2d85bf26b6098457d51fbb4435",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/1/bit0",
          "proof_sha256": "eb78a262befa757a793d68815623279e2d3d98590fc0c3aaa7d81d50e613b714",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/1/bit7",
          "proof_sha256": "86330779fde9ee84924f5799aef4a1c6be90c3b8ee16c16d2833a2fdbf1b34e1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/2/bit0",
          "proof_sha256": "7358ea795c379bc1c956a3f1e55eea9f48d5e84baa7caedf79c20f2b6eb9b88f",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/2/bit7",
          "proof_sha256": "ecefbc58e5968eafae66c269b3954856a34770b701c55aef17e0d97baa6d5b16",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/3/bit0",
          "proof_sha256": "4760805f9f7ebeca7439a8e33e34495967c6c4d1e3dc1cc4c5f2285dd6b84557",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/3/bit7",
          "proof_sha256": "965aa6f8e8d45ef7435f2b109abab9178bb26d6b807f63bb96c09cd5eba2d7f2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/4/bit0",
          "proof_sha256": "1da88ab73014d82a32eb2091dc6bd995307265230bf56def5054bbe0a9827f9e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/4/bit7",
          "proof_sha256": "7dce032c7c2c92e1667da9a8feebcce79a3a36bec099cc0ac0d5a0ef311f0529",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/5/bit0",
          "proof_sha256": "f38c5211c0fa1390d057ed7dfea129094b2d959d4d957258f62772ad3aacc2bb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/5/bit7",
          "proof_sha256": "9daf257da80fbb8e760bb2166b197d5be09bb14e81cbd3adc79639918eb39b76",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/6/bit0",
          "proof_sha256": "e868114cc523d516ab408557a9e0f315aa3d02036f8587814e5244fcd55ccccb",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/6/bit7",
          "proof_sha256": "fbb6624195ac47b6270ac90f6c1766998142788e988fa7937d3c1f0705a4aca8",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/7/bit0",
          "proof_sha256": "027a4c2f08f7bc443a9c6f87bf88700d956291a38fd21c9a6f35abb06ee35fa1",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/7/bit7",
          "proof_sha256": "d242023d454117b5936fcdb1ac356c0cee95d69d1a0e9253f0e61a2188898cf2",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/8/bit0",
          "proof_sha256": "5f05a6cdc1fa2789c88257a748e33b48f0a71ae196c24856638737e328b06101",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/8/bit7",
          "proof_sha256": "710fa3050c60de390b2558ec66848a5c3420a0c3f40938f9af303286211da13d",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/9/bit0",
          "proof_sha256": "1a64d627d035ea4d0ffa10e8474f158130b4d5b857ec0dd4f7196fe379ac3e69",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/9/bit7",
          "proof_sha256": "ab5c6f7d32e67faec9b9c6b1e0e56de5c7f780e8c78dc64cc46aa1505144d8f9",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/10/bit0",
          "proof_sha256": "d81c15bb1a25840f9122a291509d771e3eacbceb6cd3fa7daacafa7e4b30a620",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/10/bit7",
          "proof_sha256": "d7252ed571c5036c202cc4852052a22c80b4a83be699fff43437dddd80be2730",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/11/bit0",
          "proof_sha256": "8f350dfaf70272a0abb6bb826b0d9213fcb9d2c5ca231797f640708eed75456e",
          "accepted": false
        },
        {
          "name": "flip/2/Right/1/1/1/11/bit7",
          "proof_sha256": "e5632ee832f77a84ad0498147a026c054e9783b854d2c78135d22f3572ecfbec",
          "accepted": false
        }
      ],
      "simplicity": {
        "c_cost_bound": 83528972,
        "c_execution_ns": [
          4003459,
          9027833,
          3985250,
          3848125,
          3623958,
          4138125,
          4036250,
          3975667,
          3843916,
          3733792,
          3793000
        ],
        "c_validation_ns": [
          7864292,
          13189875,
          9372459,
          7759166,
          7634917,
          8102500,
          8085708,
          7939291,
          7862917,
          7635792,
          7701584
        ],
        "cmr": "c27f76764c75f26eafacf0e447a336884c027b5628eec9ff42db9d9d4ba1d4fe",
        "cost_bound": "83528972",
        "execution_ns": [
          51801500,
          51464458,
          50761750,
          51023958,
          50860417,
          51098750,
          50779083,
          50560708,
          50506167,
          50847084,
          50002917
        ],
        "extra_cells_bound": 2214163,
        "extra_frames_bound": 106,
        "jets": [
          "add_32",
          "add_64",
          "add_8",
          "and_32",
          "div_mod_32",
          "divide_8",
          "eq_256",
          "eq_32",
          "eq_8",
          "left_shift_32",
          "left_shift_64",
          "lt_8",
          "modulo_8",
          "multiply_32",
          "multiply_8",
          "or_64",
          "right_shift_32",
          "right_shift_64",
          "sha_256_ctx_8_add_16",
          "sha_256_ctx_8_add_32",
          "sha_256_ctx_8_add_4",
          "sha_256_ctx_8_add_8",
          "sha_256_ctx_8_finalize",
          "sha_256_ctx_8_init",
          "subtract_8",
          "verify"
        ],
        "program_bytes": 4166,
        "program_hex": "eb378e81420c30c3e06182c0830e30a41c7182c42d64083701310284eac8106de60ab55c4116900000000000000000000000000000000000000000000000000000000000000000690ab55c811680000000000000000000000000000000006e0a80d481420c38c38e40a1b7f07ada5b165c19208074a93bc8545044cc8bfba45783cf17c374396ad2c3c14fc5071871c71b8e8c38e38fc5471c6e3b140b220c385810620506e471c620507e459c61c81420c31028481c8504e3a1401c83b20000000e064156ab41164000000000d615018d98000000000000000037855aae008372c4c1501c9037264e385800e4d1f95a61c70b101ca03730061c71c2c80728b5620840a0dcc5a0509b00804580203020c30e30593385620816b670bc4108141b6a6c800003ffc102c198e20840a136018083ec1401c09028370e481a6c800000004142a03870b369b7104034f24cdc5270a858b4b90210283f2a4e38e38e38fcc29c71c71c71c71c71f91671c71c2c890396a838c16016617091b98b40a0fcf39871c9b005040b020e4d8030205834e03411804580b03485ada6da0840a1361d4083f043055a68a0840a0dd01471c7e1c60a8597023f10a6c100102c00710a0507d09b080040b001c528141f426c300102c00718a0509039be106e471861c71c2d01681f92c61871c70b485c001d20705038673a426f3f0430e385b02c81d207139a335d9991b07d2b069d05cc74b2a58d9aec44fc2bf66f91ce2128f6bc5148df94300e3209c687e3b481c762ad38450420509039046e538a00e4920506e471b861c70b0670ac8107d87e2f30e3858b385e40816966590210283f04371d9c71c2c407053f043f091401c045880e008141f79b92471c71c2c807129f801f820a00e21162038810283e83ec1401c528141b9b63736e70a8dcdd1c71b9bd38e385885a40dc0705038980e36039160724c0e4e01ccc01ccd10283745620507e81c38e31364007ffffe0816003a0481a80dc0736207378173883f4150201ce8902837417a40e85c1566dc410073a2830e30e374441871c71f9e913801ba108e38e38fcfe1c71c70b20b605bc2e0a370a40a10618838e16036681420c30fa8e151b23ee1420547c50283f43598718720506e9029871871c7e808305407241028374659871c7240e8af1501d1667e429c61c71c2cc0745d9f91071871c70b301d175640000000c0e0a1501d18e7e2c38540746589c2c0e8cd374508a00e8d03748a8c38e16203a43a0745b2050838c38e38dd22a3f191f848a0580fc1cfc5a283f13a40e89c150b10b485bc838c418620e1520e30dd26130fa0506e8eb374928fb0507dc8141ba360e313640000000408160d383620840a0dce4240e9088a80e6d50283749c4e38e3749d4c30e385905330c03684de6e9231c61871c903a4562a03a45e6e79ce30e385900e91b1ba2fce38c38e16603a46b640000000e0e081501d2423f4858e30c38e16603a4947e90f1c71871c2cc074948dd2253854074958dd2a11401d2a037491850074a8c0e91e20507e00903a4282ad2e20840a0dd2b238fc7e71f890e150b21f861c7e3e38547e3938fd24a30542c82d80705038701c990395e072ec0e5f85cc180a0e6182e62c6e9741ba5d87e64c500662c4069068039970b99e20e30d4c3f340283f33e61b9a130fcd30a00e022c8070306a0b780a0e080736c40a0fce2a40e92d8a80e43a0506e644e3f39e71fa038e38e371f8a0fce91c7e748e150b20b685c000e06070b039e903a0640e82603a0b80e83203a0d42741a9ba64461fa120c1503203a1008141fa120c38da85006940a0dc04e3703141b818a01981c000e85903a1748141fa198c38fd0cc60a80d48141ba6aa61c6a2836b1403401c080e87903a1f48141fa1c8e30e38fd12a7e8954d900000002020580fd1287e890140b00b505b0071fa0506e43a0506e81b30e38fc18e481d3181501d31c3f063854074c80fc24e1501d31bb20000000806d0a80e99409bc0e995038174c9450074c905c206e9c89ba72a7e9a88a0dd31f374df8fd355141fa6ae6e9c88a00e9c08310b480a0d817000141c0c6e9cd8a00e9c581d32440a0dd39204038e00e3c03922174758fd3a70403a3d40e96881d2d52050838c38e38e38e38e3f4d3ce38e38e385a06e9e09fa5f428160481d36b3f4c8ce151fa63470a8fd35d38e38e38e1360b485c086e2930c3f4f68c30dd3dd38e1603f240c3741f9c2a1643f25cc481d38f151ba170e3f4da0e385805985b42e1641c61a98838547a8141b59c6e9f99861ba7306182c07e2c30c3f0e30c1601681ba248e30dd0f07182c0903a77c7e88a38c16016616f0b878dc5881420c31028481d40e9ba23ce38e385900e9ec1fa4d471c71c2c8074f7cfd26c38e38e16403a7bb640000001a0e101501d3ea371c1c71c2c4074fc01c43d3eb1401d3ea3722ce38e16203a84037228e38e16203a846374f4ce305800ea0100e9f22050838e30e3750ae903a80db000050a8fc4a6e8ee38e38e385985a47e431f900283f1dd90000000503818542c42d217080b850dc3d028418620e38580d9a0506e922987d270a8dd24a40a0dd1527e0070a8dd1608141ba2a8fc1ce151ba49e8141ba8af3f0e38546ea2d10283751367e2538546ea2b8fc522840a8dd4169861c620506ea2e8c38dd2bf481d41d8ab4e0f4102cc7e9f126c040102c0074f840e9f01ba8cb40a0fa920750982a03a7d48141f3481d42a8a80e9f8a0507cd20750822a03a7f08141ba68071c71fa86030e38e0e406b1ba69861c707103840dd4361c1a071184e253f15a40ea1dc54074ee90283750f4720506ea088e481ccf0ab36d0420507d09b001040b001a50283e84d8010205800e028141ba63e71c71ba83f38c38e383981b06ea0ccc38e0e2070a1b71870700389c0e31038d80e3e03954172b87ea15c100e5c10283f302903a8bc1501d3ff40a0dd431a40e77854072010283e69038fc540721d0283e69038f8540723902841c71871c71c6d071871c71c1d007011b801871c707203878dc00c38e0e2071604e2e4d401140180dc482816240a136006083751482803a88f40a0fd4549861c61c71c71c71f800a34b4108141f9e538e38e38e481d47e8a80e974a0507e7ece38e38e38e38dd4591c71f819ba93038c38c38e38e38e38e16e1fa98b38c38c38e38e38e38e3f1d9c2a17011fa6ec71871c71c71c71c7e9ab9c61c71c71c71c70b60fd35b38c38e38e38e38e3f4d48e30e38e38e38e385b02e10171805c910b92a37540e839240a8590dd50720e4902a16437542a6dc61c838c38f81c2a1680b60dd51120e4902a164375452839240a8590dd5181b71871f859871f871c2a16616b1baa3c371a9871f9e630e3f3d270a85985ac6ea92107248150b21baa4f41c920542c86ea958db8c38fc8130e3f210e150b30b58dd53120e4902a1643754d2839240a8590dd5381b71871f93661c7e4f1c2a16616b1baa7c371a1871fa098c38fd05270a85985ac6eaa20dcc098720e30e3e070a85a02d83731a720507ea6dce38fd4dd1c61c60b201d0148141f51ba9c430e16003a2850283754e871871871c7ea154e30e385900ea984fd4191c61c70b201d5341fa83138c38e16403aa663f504871871c2c80754ec6ea4b8c38c38e16603aa7e3754a261c61c70b301d54326c40000100bd27a3753c870a85885a40755206eaba8e38e16203aadd03aa7640a0dd572140a2690c03918072540e5101ca70396a073040731e139942732e5e6545ccb85ccd00cc3881981ccf84e6909cd3979a51734e173540330e20660735e07378139c127388d52b94209705bc4ffc52fdf50b2a56f6f89e8a4707f672208e642467f767fd69e1806007392139ce273a2c1191bdab922cb3b9bdacce84080e946f19d341c82585261e5fe2a637105b2fb218060073ac073c6073e0139f5273f0c78049249c48570b0b81d270daadff081430e08261b496767b4544e853663760818060073fa13a0089d00ada64260a3a721a66e62f07d88e939eacaa22f1d592c53180a4654ab1e3a94d074180600740501d03013a0749d040d17d6b84c552d3ac95a16c566a842ca42b2d6a0133c54ce6401132a07065dfb30180600741284e82a27416b14185cb3124950300fde4858d7c475617b0c9ec8f0b777372a59547fcf545ba98601801d064424506eacf19d10ce721679ffdbe34cfe6be9cdcd3872421a13fbb72313429844b4efcd84c5c300c00d03f4a14e38e38e38dd43c1baa4938542e88ae87c1409d0962d0170003a2a40e8b703a3240e8d203a3740e90901d21a03a53e074a9c0e95504e9551ba55c6e9570a01801d2b320506eabd8e374ad85006840a0dd2bc38dd2be141ba57e2806606f03a592074b348141bab7f38dd2cd1401a1028374b58e374b60506e96b0a01981bc0e97181d2e720506ea264e374b9c5006840a0dd2f038dd2f2141ba5e02806606f03a5fa074c048141ba8b238dd3011401a1028374c28e374c30506e9850a01981bc0e98b81d31b20507ea59cc38dd31c1401a5028374c94e374c9c506e9928a01981c000e99981d33720507e9a01871ba66e28034a0506e9a09c6e9a18a0dd34014033038001d35103a6aa40a0fd24931361180816003a5a80755e86e9af9fa6e87e9b78a0fd36e3f4db8507e9b759000000058378542c42d216d1ba71881420e390283748c4c3f533060a80eae84fd4b9182a03aba53f52dc60a80eae80fd4af182a03abad374944c1501d5d8a40eaeb4540757588141ba76071c6eaf6c506e499ba7267eaf7c506e559ba71c7eaf8c506ea4d0dd4999fabe7141ba9323752627eafac5007511a2c407511e0d016c0141bc2e0602838305c2805070d01d5dca0506eb04e08071401c85039160723c81420e30e38e38dd611520757407e540a0588fcaa3f2a4507e551f952281601680b78fd4b5986ea814c41c2a3758643758683e2283757e46eb0a27d2283eb40a0fd562186240ea81c5407540c8141baacd481d6058540755748141bac3b1c71c6eb0f461871c2c82998601b426f3758753758183f57fe61871c6eb00870a8fd4109871c7ea19cc38e1623f50ca61c71fa86230e385885a82e08170d0b879071c8141fa83c30fd440182a03ac2a9fa87d30540758593f50f460a80eb0a89b20000000c040b001d618818f58611401d6194dd60e0c1501d61a4dd590982a03ac369bac639c2a03ac5c1bac659c70b001d62f40eb0ac8141bac620201c5a071990283f23d20758341501d51020506eb1c071baa123f25ce150b11f92c71f92870a8fc9238fc9038542c82d80704038601cb20398803992039960b99a0141cce85cd080a0e6902e6a86ea840dd5079f9aa140198b101a41a00e6d48141b99004039d00ba0c00752d00e83a03a8b103a8ea03a8f003a8f420507ea9cce30e40a120758813e22803ac492050903ac651bac5002f58921401d62445890283f522e71c7240eb1162a03aa7740a0fd4999c71c71fa93538e38e16437594238e38e3758c138e385885ac7ea4e8e38e38dd5410a0dd620ce3f181c2a16416e038940e30038e80e4101c8903a96103a9650ba96b0141d4b810283752ba0807532607537a0758b503ac6481d63480eb1b80758ef03ac7981d64840eb24e07592e03ac9a01d64e42eb2920f595003aca904eb2a87eb280903acb18a80eb2d964000000200c42a03ac94834759281401d64b01afac938a00eb24c6eb32c2803acba01d644902837598037592338e38589207597d13acc40a7592b1466dd00806801d62cd2283f59af04038201c5407598603accd01d667c0eb34448a00d40eb372",
        "success": true,
        "unpruned_program_bytes": 4813,
        "witness_bytes": 4392,
        "witness_hex": "0000000000000000000000000000000000000000000000000000000000000000b635ef10af1b120cec1095d7745fec060f8fbe02641f3479bd3131c0d52539269379d906cfe6eb57bbfaf2d8ac6dc654622cc4fd3685948f0ac6443a1020d2f8cd84895ae1188ecdb332124744f455804dc2589caed729986495cf25308338d0c0b4d42a00a93d0dd50ede1eebd9d9cc84ef4b537117eca32565597cc5b05d21edec04e2501e111bdb840dcb883091812d95157be293b29d9578bb22e4f2ae4169f9aa40e0dcf8d1e9718bf07b60c7e73f27bbb77894727c94b698688ddb40794abc6e76f638cf7b4688df9b46982a2044d651a7309bc55f81edf195f76eb8d5d20f0d729a4cadfa0a289738de29626998c606ec46bc05a9dfc1d3b42579e60725f05496d735b7482b6833c9b13ac1fd2fef9cb994803fff59c23c294d747edbfacf40dc9d20236fc214c29dc401c96c1deaaed3ee9fe90e74eaa03e3a2f89195b4b757ae27c3d4d047cd005818d1b21263ad104956ca638a4a87ebff0cd51c520e8db87584dc3195932d630c6d01eb6d2be34a75703e66a6bd1afdee7a005afaef151fd54ec7a03e53680aedfee30d7a141eb4efa849cdb31f46d644032011db266f08aaf35543791b88abb90d623b7e219c97e856eef311039d1bb91af5115d707a7e2a9c8ab46f0849f6588eb3f5f78ee80855f89bde21149e205ac9c5f5b2e86e33df38b12d5c20abdb7869941274cb080cc6c28ae1c5295b5c1d64c6a25b3ad88f76e197778b6972aeca9599f4649d295d94041bf57aea745e3c7650b611298fe6831c049d56d1f5b6299413380676591b6c3598cd2fff5dbfd25cef1c4e4f227e0c76be88a401b9d2c51c18a68cc4fc55e1c00fc35235e2dc28052097b6eca2ada0297d19017ebda80504e43297f1aaf74bb32e51c39fde09a1bd6d87da03a93b395606a941c3cb3ee987c56be8d19ab843f81ed9cc46d55b8a2086f9c57719591bca2986d1c5afaa723e7e96978a751c9e42a67474d60ac0219a8ecb1f5a4822b58eec31d1e2abfa6e0b02af79d3780ca8e4c695360bd72ce44e346383126473ed0a63a9be35cd38c879609ba34a171689dbd4bdfb90a95174e515ea3a0a7749a8805786b0b4a443909d0f023116b00aa9aa7ec1ee36ad6cd9f2dd265e38241e64f485a5ed38eecf425e3813cdd5aefccb70cc2f9810ceacebd1bb6ec0905df0c423da3e504e79a50b70a1d46af3d3aa33c62805806a3d2d9287a7eeb430456c8b35c0192f7dbf9b92ce79ef8abd68533159f4985c56b125e89610d91617464f96d2ad68c9f5e5fc8d0594270d52d28fe3c388abb73006a58d9d831c537495f4889a84b0cdeb48d435ae14ec2fbc851aed422950181dff20df5393531c5ee052b0f57c77e992344f1570849768e6f1e397f424fd9b8a6f98db81f482c316debd1ab2d65834107b16ab176ef983aed185a0d9506e3d6df4d2dc0819a7951532bbf69999f3e188f24c3f36c6a7f51d7223dee5411257e3e4e6febf0599ffbf61fcebeef46088c16deae73bfd9bbe6cb1655d93306e8b026829effdc7dcf6e0d90ad4cf3ecca5a2eb6dff8357c8c52ae846f3927a27a74ae58a81ff1001370cfb0485a0fdb286a9e5112a749e0a8bc752197a37aa3f7576c3718cf7bf6a27e851032941d2f8613bb433f3f9804b526036635ad695f733cccad0af44eb3429a7f7392a991bb9fab10ffb816832e734f5e86819540af790c2fc247934ea273f0066a6bc94ebd3461296c944e0efef5c409ae620641e4e26763a262051d7f8f7581154d79522ea592514a0497327c2c1a93461221a313013dacb5c41c51837eceed3e08709ca5f9adc591bb2f0494086c950cc6cbc646bc0476f0b3017481fa468b376ea34c0b66e3b05323d4cbbce95ff0822401d4274fa54226069dd5215759f96a026dae840a62c5ec8aef5632de12b9adbd9d44a91ca82b8fc00fc4bb3079b82fd352533220474f6e9aae425fd4da9c71652d4dd2a96b3acb61ad7adf2e14c1e36be77720b2f0b4891ed35246e68cb8a73c3b48ff640c24058529cd62c04632fa342a7494645ebe0c265046148a92be20c4a4bd182d08560e9c7768b920b05499a1e92a124cddbbcba042347bfb7c22f171c86e654b41587782ed3e3613d5ad5593fea8a291951cd7747ac199867b8c435397d0791b86db197bd5b5561576a178179fd9634679aa8779a19e71f62255adab52ef6634b1a405ca944c1d4d4245c1183e40929ef066c952c4c5735838afc8cb259bb75914a15175994a4ed178efbd80e5c127dc5abdd629c85145ef33161e430abf7787cc6857ada5d0af7716d3739e24cc95a497dc6d5b1aa63a90fb24098ff22885851db1c912060eb6ceba4c220c77c6a2bc696e1644c138cfa5dcbfd9cafd3c4ab0311ebb2b03a21d48581b84b0169befd7f3a3c5df43aee0ea6afa5c991b086f4482e8f7c6351472c109bb692d4603201d5f62f72d5ea9813c7c18855fccbb9a4b7e18f2766c0c26ae6a90170f01315e11b3251ff93824e7285ae76a7e13269ada7410458960b18e799a954bbb0063975b4d5365e6536933b771a375653444f839af345f7686f5881a9bf6a6098c6e80db6042556f06f631d108a6b2412c7e1c8a79ec275d7cbdec0ac9fdddb548b22b4f15cafb8a6ea6354c15a12e0c9d3089b7a0f3891c99d3695a51c803d0d26df69c4a530b07e96a5120001a3c2a59cf9c2b47e194691a782d87dad920eac345e58f2acff2d598e0be8464954efe060fd9531a8abb7496a9caff7300a8c3abc2f5aa2ab55c5152adc7bf799ddb4794fc69997e7b0f9b2faf7c7eddf2d0b3780f6d2844d2882b503ac431b1cb51a5083f343888c708653ecb7a6244488427ca775a8a841de9884d465ec9b7a18e8064528e0482efa323a6b7152979de764a6b5f9f3a21d74403042ec0a3fb09623dfaffd554d90226848308e860b7c45ec60b0b8945bc369d1f070d169177e3c6cc98edd20a07ecff737ea424b14408502594246271a17fdec2bafa9ab786e30ae168c8743cafa354fe63f533e55912cee6cfcae16a7ebf4d19835a41b0133ca4f7c3543cd95fc7e5623244fb50bd2410665c3aa1dc0485fab3bb34fc53f0f6973844edcc14b5dda5afa50c089dce6be5f04578fe09a1cfc2cfe92dee4bce597793ef25e0f30d20a2b2fe9a8e63c882e77c9b4bf71bbae8928ccb66e4d31a7ff42287aae7aaf96a60858454fea2b9e8b491f4ab91efbabbb879558cf3ee6ca99984175118179b58785d16eeb31ed24006dccb7ff935eb4082f2473a1696b947eaac7ea7a04680fd478a6f7a1d0034f1499d14c4d2ab8e2cc8ec1c434792d8dee91d8fe179290ba01d011a765a2c6663ae829803ca4fb0a28ebf22499ed4934ea9eb9ed93535aea110eeb85be4a07458bd16afba570ec9db2077e2056e1c5dfbb142968bb9a9317964d104182fe8a59f3474c0475529f06633b91d1553cbafe36b56c14de9074eabb522b827ff28fd23f6b9b4f7af3e71ff4bb357d7c0cdfc5743e7b0640692448dc3f7808cbc518d375a30be9ea258db0426b43fe2e2c6dcaaaed1f13b430d854a2846ab6f470b8c9f2222e6b32df0da34d8930ca25037b42c6eee8ff5c230602a37bc424470bf89d8cd17b7e0baa9c33b3219838cc1d0cffefe469d5b94540a6c9c09bd0a66a9eb6be97ce48582601a94d4c4fce767ed38704eebed36f8597a69f7a9c27a3fafebc4015652e6f7b25004c0533bea6be985f4caa6d5fdffcbbe1e23d57a982fa0e25f9d2954194c71971949b52cde202086f5d260dc1311e516285167a83764afae7151480de63d7ec364c974b3db78ff2efa667b9f7154beddaacabd318ec3f6cbdf6c548d2cee7e08867bbb10b24027345deda5fcdc0f1b6f88a98d6cd61e460a8d89ec73f7960d67f91442a0c2612f0a597b2516a3a6204345b469445a9038f37ae831451fcf2e13758ded584b9cae62d7a31657f461c14a3efff2a90d463886a2341baa4b91e504787fe25e85ffcc9e2390fa983bedefe1c8936d5c39c62013d8706542263cce7247b7c9477f86937e680971ee4ba730601322947a78ee6d0e27aee95d453c5db4d4970abdaab55f23f0bb1c7fef5846522a88c37232c1c179c2ef1e63929bc5bf1053a328230ecc144b38e1ef7a22411606eb9047961747ae8f6821cb1c5f9317a3d8e21de0720e9fdf8a638ba82da22f0e5a7ec51ee25f36acc7ea528151d9fb2f037970bbab3d827b56619d1b4ef34f87fe2b95c107602f59252d137fc80eece6f2e372b6cfbdaef759b1667c4eee90916a243b81a16998c23e19702c1c7942508e8aef97adc004c2ed553c2c2501a9d1c6dc4bbbc56eb1f162f376804c49f2c8b314c950f8b59e23c2a5f172bc80e8ee7c6b0f133348edd46fd208606c34ac0667dd821afaf61bbce4ac00001af2018c31d0f89b5758cd4e222797b4d70556fab526cb6699ca279c73a04a20eca1243702de1790b2ab6203f01e0386ed806a1f0bb2fd23035e6223338257293cf0a28c5abeaf346e8b698641e26cd6eec7e8786d215bad71eccecca946af392f8d5de210444a56fa3b26805bbee8ea4e430aae98dc75669c1ea29ae02759ad84bd68d009e105b75fce7f892328672b5828489c8320ca1be5cce03d88e61ce9fcec3108de18023ef063b7cb12b2e767a31cc275a34a0ef2f0e9a41a5e576e8696aed566a9fb7193755c5887f04d412a54038a0fdb32ed32db5f4ef07f66528176546e738d44ce253ef52af6dbdea80f47b9a84843e2eb316287d1b6d124b8665b0625c3754140d1ff54efe0a13220e85350fb8ad4c7d749a095c0201c402e99785678ae147cf7647a7f7685e994a8a9b199c08bd9d118220dcf300b56e093dee04dfee605afad8f710f98937dd15426205dc50979934b6985da0884b5c344872f51f2d88853b63cb06609f29199a471348e35a7c52d8dd05e241b42eedcd47e8633f941f9858fbc7b9d2bcce77a55205c743eca4c21bae68583e929d4dfd00f02c7cf62c881f7f881d3f391d776f4892dd41641402fe04708018e0aa00ac7ccc36c5736cd750207beae0b1c34e3ef43c6c0c54816f039732b6565828ac86876e7610d6fcdac7f30e5c915db013024cd81e962a59eb5ba2860921d60446a0c9e29f57b17dfcfcb8808c6c23939a86272c4836d27273722b3532b18cd38d61876eb3b4b0e6ac51a4ebebdd39bda1e6467ff0a0de6402c642ec968dd6c1b7d6e8fcc52dcb0e46744367fc173161ce49fc3bfa1c0fe13323e4b54fd83eeb9d4adfbb86a227d4946f2649bcbb540ac0a628f1ab1d8ffa574ee7e87389975ede3dc6d4654a3fedbeb601238b263f168bf99f73b67c635c1b1ae12d5632d3438278a691dc63e959f354b7e512d1195195baa42999e67646d39841e293264994f62c0664c441504ba12ab88f760c8b7d0f160c87096da7d3866d984c58a167d54cc28ff08ef4100d1f80e92324d57e47a24b6246b4a3e3ff5d9887b4f47c7d7d1759a94aaae2692081971d03bc217bd1bfdb0adbcf0b63b3e9eb5e82e4064e65694b663b5e2cfa57d4da84efebdfd2e1d669754a1307445775f6c6ae232046e4b6ce371488cb2344f6e7339554d254b6a4a908bd5d7200460e423be99a4be768b8cf5eaddee7255913cb8d3723f8c1d0e9453b36facf6467daf39ebdbd2be1d3d61001f893092434a10d4f558065fd4966a603a838d2cd39fcbd180db89d574a8ae1cba7e1d436b5683a4ad2b89e59ab118b62571fd0c008eb223768e22001a64a7d347c45b865831b288994d4977d08da3a7246a01234e39f389b4f8ccaa4d46d77e3c91d8394589ec565ab4ab698959d6a5145570cd22bd224a26b58b848bb3e38477099327c0ad3ff8495834fba54864beef77964b36bbffed969399242b59de0a2f851c07594fdc718687aba8d98a56abb7e7563af945eb2dc68af8572d51cc3b271876cb571749a444e4e37595ef1151b2e9acbe0b4fd678c2554d5cc6e40ce4472dcac6771ce743b2c3d005c13d850549c0f21b7e7a2c0efd47cf9f0c69f289050cb982f18b7b9bf5d0cf1a29bee1619a162b598f23a51da2de7a227cb9b90ee142011d79b199a69b02470205ebf4822d512b008e987dbc4110f2b3b497abeadf3b46e24e6a43f74040ce1cbc1bcde351374b"
      },
      "gsr": {
        "baseline": {
          "program_bytes": 133744,
          "program_sha256": "fd7b82e0589b492ee9048040b4501b18f25bd5c3f681218f733aadfeb7c7684e",
          "varops": 119116431,
          "interpreter_ns": [
            4923958,
            4795666,
            4854667,
            4894208,
            4970458,
            4804250,
            4809583,
            4857958,
            4878208,
            5015584,
            4832791
          ],
          "metrics": {
            "interpreter_ns": 4987583,
            "observations_enabled": true,
            "peak_stack_entries": 37,
            "peak_stack_bytes": 9340,
            "peak_total_entries": 37,
            "peak_total_bytes": 9340,
            "max_item_bytes": 4376,
            "function_storage_bytes": 0,
            "executed_function_body_bytes": 0,
            "invocations": 0,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 9573,
              "1": 249,
              "2": 172,
              "3": 6,
              "4": 4121,
              "8": 2,
              "12": 1728,
              "32": 2,
              "48": 1,
              "81": 8791,
              "82": 2999,
              "83": 1684,
              "84": 4661,
              "85": 357,
              "86": 462,
              "87": 1415,
              "88": 1015,
              "89": 1577,
              "90": 1603,
              "91": 183,
              "92": 1865,
              "93": 40,
              "94": 29,
              "95": 29,
              "96": 552,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 2295,
              "121": 7515,
              "122": 1025,
              "124": 4,
              "126": 19677,
              "127": 6065,
              "128": 5865,
              "130": 4,
              "135": 1,
              "147": 136,
              "151": 270,
              "153": 808,
              "156": 7,
              "161": 384,
              "168": 250
            },
            "function_calls": {},
            "function_body_varops_inclusive": {},
            "multi_operations": {}
          }
        },
        "bytes": {
          "program_bytes": 44750,
          "program_sha256": "6a6118bb657165d920c2cb2a3c3e67796fff8e3d1c614605083c790cd30fdbeb",
          "varops": 45048045,
          "interpreter_ns": [
            1837167,
            1745917,
            1861750,
            1738041,
            1808792,
            1860208,
            4095958,
            3400875,
            1809667,
            1846167,
            1718834
          ],
          "metrics": {
            "interpreter_ns": 1880791,
            "observations_enabled": true,
            "peak_stack_entries": 35,
            "peak_stack_bytes": 9340,
            "peak_total_entries": 35,
            "peak_total_bytes": 9340,
            "max_item_bytes": 4376,
            "function_storage_bytes": 0,
            "executed_function_body_bytes": 0,
            "invocations": 0,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 2382,
              "1": 144,
              "2": 172,
              "3": 6,
              "4": 1205,
              "8": 2,
              "12": 144,
              "32": 2,
              "48": 1,
              "81": 1561,
              "82": 1856,
              "83": 550,
              "84": 1563,
              "85": 173,
              "86": 310,
              "87": 508,
              "88": 560,
              "89": 305,
              "90": 21,
              "91": 17,
              "92": 187,
              "93": 18,
              "94": 13,
              "95": 13,
              "96": 533,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 2295,
              "121": 4265,
              "122": 1025,
              "124": 4,
              "126": 5025,
              "127": 410,
              "128": 1365,
              "130": 4,
              "135": 1,
              "147": 130,
              "151": 270,
              "153": 406,
              "156": 7,
              "161": 384,
              "168": 250,
              "207": 1118
            },
            "function_calls": {},
            "function_body_varops_inclusive": {},
            "multi_operations": {}
          }
        },
        "full": {
          "program_bytes": 10585,
          "program_sha256": "8cc219c9022a13c697a78f6bc8f674a3dffc6526899f2aff4623bd02710f9f06",
          "varops": 46653390,
          "interpreter_ns": [
            1889292,
            1926791,
            1915417,
            1859041,
            1928917,
            1812250,
            1936000,
            1944292,
            2007167,
            1925458,
            1931667
          ],
          "metrics": {
            "interpreter_ns": 1974542,
            "observations_enabled": true,
            "peak_stack_entries": 35,
            "peak_stack_bytes": 9948,
            "peak_total_entries": 40,
            "peak_total_bytes": 19283,
            "max_item_bytes": 5491,
            "function_storage_bytes": 9943,
            "executed_function_body_bytes": 44672,
            "invocations": 271,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 2517,
              "1": 144,
              "2": 172,
              "3": 6,
              "4": 1205,
              "8": 2,
              "12": 144,
              "32": 2,
              "40": 1,
              "48": 1,
              "76": 1,
              "77": 3,
              "81": 1567,
              "82": 1985,
              "83": 553,
              "84": 1566,
              "85": 173,
              "86": 310,
              "87": 508,
              "88": 560,
              "89": 305,
              "90": 21,
              "91": 17,
              "92": 187,
              "93": 18,
              "94": 13,
              "95": 13,
              "96": 533,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 2295,
              "121": 4265,
              "122": 1025,
              "124": 4,
              "126": 5025,
              "127": 410,
              "128": 1365,
              "130": 4,
              "135": 1,
              "147": 130,
              "151": 270,
              "153": 406,
              "156": 7,
              "161": 384,
              "168": 250,
              "187": 5,
              "188": 271,
              "207": 1118
            },
            "function_calls": {
              "0": 134,
              "1": 5,
              "2": 128,
              "3": 2,
              "4": 2
            },
            "function_body_varops_inclusive": {
              "0": 6599722,
              "1": 18887609,
              "2": 8672573,
              "3": 22485583,
              "4": 26919164
            },
            "multi_operations": {}
          }
        },
        "catfix": {
          "program_bytes": 10215,
          "program_sha256": "41978276dd70d4b72d00af246cc2851af0ab6e0f73053ac90eb8df0c8de1d805",
          "varops": 44384370,
          "interpreter_ns": [
            1755042,
            1843459,
            1902125,
            1914459,
            1859167,
            1715500,
            1833125,
            1860959,
            1847875,
            1882000,
            1850834
          ],
          "metrics": {
            "interpreter_ns": 1955125,
            "observations_enabled": true,
            "peak_stack_entries": 35,
            "peak_stack_bytes": 9690,
            "peak_total_entries": 40,
            "peak_total_bytes": 18935,
            "max_item_bytes": 5233,
            "function_storage_bytes": 9595,
            "executed_function_body_bytes": 42284,
            "invocations": 271,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 1727,
              "1": 144,
              "2": 172,
              "3": 6,
              "4": 1205,
              "8": 2,
              "12": 144,
              "32": 2,
              "34": 1,
              "48": 1,
              "76": 1,
              "77": 3,
              "81": 1675,
              "82": 2010,
              "83": 628,
              "84": 1421,
              "85": 112,
              "86": 311,
              "87": 504,
              "88": 713,
              "89": 152,
              "90": 21,
              "91": 18,
              "92": 186,
              "93": 18,
              "94": 13,
              "95": 13,
              "96": 533,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 2295,
              "121": 4265,
              "122": 1025,
              "124": 4,
              "126": 4234,
              "127": 410,
              "128": 1365,
              "130": 4,
              "135": 1,
              "147": 130,
              "151": 270,
              "153": 406,
              "156": 7,
              "161": 384,
              "168": 250,
              "187": 5,
              "188": 271,
              "207": 1118
            },
            "function_calls": {
              "0": 134,
              "1": 5,
              "2": 128,
              "3": 2,
              "4": 2
            },
            "function_body_varops_inclusive": {
              "0": 5897562,
              "1": 18006889,
              "2": 8383869,
              "3": 21331079,
              "4": 25561392
            },
            "multi_operations": {}
          }
        },
        "multi": {
          "program_bytes": 10035,
          "program_sha256": "8ad1ea9f5952b15f97494d33c07c7f80957602d9808baa25fa12e13ef660398f",
          "varops": 45200607,
          "interpreter_ns": [
            1891083,
            1764167,
            1858209,
            1836334,
            1819625,
            1748834,
            1987000,
            1755375,
            1906834,
            1835708,
            1967833
          ],
          "metrics": {
            "interpreter_ns": 1864583,
            "observations_enabled": true,
            "peak_stack_entries": 38,
            "peak_stack_bytes": 9617,
            "peak_total_entries": 43,
            "peak_total_bytes": 18773,
            "max_item_bytes": 5160,
            "function_storage_bytes": 9432,
            "executed_function_body_bytes": 41406,
            "invocations": 271,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 1727,
              "1": 144,
              "2": 172,
              "3": 6,
              "4": 1205,
              "8": 2,
              "12": 144,
              "31": 1,
              "32": 2,
              "48": 1,
              "76": 1,
              "77": 3,
              "81": 1434,
              "82": 2248,
              "83": 988,
              "84": 1415,
              "85": 235,
              "86": 464,
              "87": 375,
              "88": 611,
              "89": 156,
              "90": 386,
              "91": 33,
              "92": 187,
              "93": 18,
              "94": 14,
              "95": 15,
              "96": 533,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 1029,
              "121": 4265,
              "122": 1025,
              "124": 4,
              "126": 2503,
              "127": 410,
              "128": 1365,
              "130": 4,
              "135": 1,
              "147": 130,
              "151": 270,
              "153": 406,
              "156": 7,
              "161": 384,
              "187": 5,
              "188": 271,
              "191": 784,
              "207": 1118
            },
            "function_calls": {
              "0": 134,
              "1": 5,
              "2": 128,
              "3": 2,
              "4": 2
            },
            "function_body_varops_inclusive": {
              "0": 6146802,
              "1": 18357499,
              "2": 8612685,
              "3": 21718199,
              "4": 26026146
            },
            "multi_operations": {
              "117": 1266,
              "126": 1182,
              "168": 799
            }
          }
        },
        "multisel": {
          "program_bytes": 10202,
          "program_sha256": "928db77b8333987eb05128a272f09901e40df4b552756d25f76fc12755e921c6",
          "varops": 44379477,
          "interpreter_ns": [
            1787792,
            1783167,
            1747958,
            1893125,
            1781542,
            1792167,
            1771917,
            1788000,
            1794500,
            1804250,
            1869750
          ],
          "metrics": {
            "interpreter_ns": 1848000,
            "observations_enabled": true,
            "peak_stack_entries": 37,
            "peak_stack_bytes": 9687,
            "peak_total_entries": 42,
            "peak_total_bytes": 18928,
            "max_item_bytes": 5230,
            "function_storage_bytes": 9587,
            "executed_function_body_bytes": 42253,
            "invocations": 271,
            "sha256_calls": 250,
            "sha256_compressions": 669,
            "opcodes": {
              "0": 1727,
              "1": 144,
              "2": 172,
              "3": 6,
              "4": 1205,
              "8": 2,
              "12": 144,
              "32": 2,
              "34": 1,
              "48": 1,
              "76": 1,
              "77": 3,
              "81": 1672,
              "82": 2010,
              "83": 623,
              "84": 1416,
              "85": 107,
              "86": 318,
              "87": 510,
              "88": 721,
              "89": 152,
              "90": 21,
              "91": 23,
              "92": 186,
              "93": 18,
              "94": 13,
              "95": 13,
              "96": 533,
              "99": 518,
              "103": 518,
              "104": 518,
              "105": 7,
              "107": 272,
              "108": 272,
              "117": 2295,
              "121": 4265,
              "122": 1025,
              "124": 4,
              "126": 4182,
              "127": 410,
              "128": 1365,
              "130": 4,
              "135": 1,
              "147": 130,
              "151": 270,
              "153": 406,
              "156": 7,
              "161": 384,
              "168": 242,
              "187": 5,
              "188": 271,
              "191": 8,
              "207": 1118
            },
            "function_calls": {
              "0": 134,
              "1": 5,
              "2": 128,
              "3": 2,
              "4": 2
            },
            "function_body_varops_inclusive": {
              "0": 5897562,
              "1": 18008299,
              "2": 8383869,
              "3": 21324803,
              "4": 25555098
            },
            "multi_operations": {
              "168": 60
            }
          }
        }
      }
    }
  },
  "repeats": 11
}