{
  "sourceCases": [
    "correct_proof_2_2",
    "correct_proof_2_3",
    "correct_proof_2_5",
    "correct_proof_3_0",
    "correct_proof_4_0",
    "correct_proof_3_1",
    "correct_proof_4_1"
  ],
  "commitments": [
    "0x000000000000000000000000000000000421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06000000000000000000000000000000000ee3c0592ab28e14268541106e48ae30618a7aa78851024e647b234f16da727a91162b4c361eafce2fd3c48c006e77c5",
    "0x000000000000000000000000000000000421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06000000000000000000000000000000000ee3c0592ab28e14268541106e48ae30618a7aa78851024e647b234f16da727a91162b4c361eafce2fd3c48c006e77c5",
    "0x000000000000000000000000000000000421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06000000000000000000000000000000000ee3c0592ab28e14268541106e48ae30618a7aa78851024e647b234f16da727a91162b4c361eafce2fd3c48c006e77c5",
    "0x00000000000000000000000000000000149d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a000000000000000000000000000000000f6b84705fbb73a057d3a849820729bcc51186730007bee522d581f023500788c45a9992d2348aa700ac648e2532cea1",
    "0x000000000000000000000000000000000f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7000000000000000000000000000000000832da26009019e133b8b74aa2040674042a5d5d2e11ab9289e95e9052e451853bebb100d7d2e7101ee225e37c5da32e",
    "0x00000000000000000000000000000000149d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a000000000000000000000000000000000f6b84705fbb73a057d3a849820729bcc51186730007bee522d581f023500788c45a9992d2348aa700ac648e2532cea1",
    "0x000000000000000000000000000000000f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7000000000000000000000000000000000832da26009019e133b8b74aa2040674042a5d5d2e11ab9289e95e9052e451853bebb100d7d2e7101ee225e37c5da32e"
  ],
  "z": [
    "0x0000000000000000000000000000000000000000000000000000000000000002",
    "0x5eb7004fe57383e6c88b99d839937fddf3f99279353aaf8d5c9a75f91ce33c62",
    "0x564c0a11a0f704f4fc3e8acfe0f8245f0ad1347b378fbf96e206da11a5d36306",
    "0x0000000000000000000000000000000000000000000000000000000000000000",
    "0x0000000000000000000000000000000000000000000000000000000000000000",
    "0x0000000000000000000000000000000000000000000000000000000000000001",
    "0x0000000000000000000000000000000000000000000000000000000000000001"
  ],
  "y": [
    "0x2bf4e1f980eb94661a21affc4d7e6e56f214fe3e7dc4d20b98c66ffd43cabeb0",
    "0x5ee1e9a4a06a02ca6ea14b0ca73415a8ba0fba888f18dde56df499b480d4b9e0",
    "0x6d928e13fe443e957d82e3e71d48cb65d51028eb4483e719bf8efcdf12f7c321",
    "0x1ed7d14d1b3fb1a1890d67b81715531553ad798df2009b4311d9fe2bea6cb964",
    "0x61157104410181bdc6eac224aa9436ac268bdcfeecb6badf71d228adda820af3",
    "0x443e7af5274b52214ea6c775908c54519fea957eecd98069165a8b771082fd51",
    "0x60f840641ec0d0c0d2b77b2d5a393b329442721fad05ab78c7b98f2aa3c20ec9"
  ],
  "proofs": [
    "0x0000000000000000000000000000000009012990b0ca02775bd9df8145f6c936444b83f54df1f5f274fb4312800a6505dd000ee8ec7b0ea6d72092a3daf0bffb00000000000000000000000000000000047ccd8fb6a4e525195fc131903c004ae155696ef1d123b3a5455c7362a7314b14afef5fcec7c6073037dc21b7c3875a",
    "0x0000000000000000000000000000000001fcd37a924af9ec04143b44853c26f6b0738f6e15a3e0755057e7d5460406c7e148adb0e2d608982140d0ae42fe0b3b0000000000000000000000000000000012ba8f44dd2e4d82c56508339da903adb200e4b79c90a26e1a1a0bf641135961cbcaba7bd676a16db5d54852d4dc2e3a",
    "0x000000000000000000000000000000000444d6bb5aadc3ceb615b50d6606bd54bfe529f59247987cd1ab848d19de599a9052f1835fb0d0d44cf70183e19a68c9000000000000000000000000000000001436ddd5006719959b358dbc3a830aed8ffab5de2dd51b2c9ab1de23f7d66a543c766f9083391053b7de34fca23386b4",
    "0x00000000000000000000000000000000071f21ca51b443ad35bb8a26d274223a690d88d9629927dc80b0856093e08a372820248df5b8a43b6d98fd52a62fa37600000000000000000000000000000000117758b3399e05744469106b5430deea5500936f5f5a6dfa16c3e4506373709edd52097bec39c3eba2382b6b66e1a508",
    "0x00000000000000000000000000000000009adfa8b078b0921cdb8696ca017a0cc2d5337109016f36a766886eade28d32f205311ff5def247c3ddba91896fae97000000000000000000000000000000000a00a8faa09a64f754f5e9ba75d1efc0ccc3136f5513765d2e9a9fcea96763d50b6535ca1ee84d3bbe6a60cf6951c46e",
    "0x000000000000000000000000000000000060b350ad63d61979b80b25258e7cc6caf781080222e0209b4a0b074decca874afc5c41de3313d8ed217d905e6ada430000000000000000000000000000000017bd7dcaae3aa8c77cf900d53bbe441c6f3178b6437f3563c2ee704ee9bdcb161cba234fe69db63891bcf3cc4ccac3a4",
    "0x00000000000000000000000000000000130b3d1e4faccc380557792c9a0374d58fa286f5f75fea48870585393f890909cd3c53cfe4897e799fb211b4be531e43000000000000000000000000000000000f27b077f9854a568f9fe88db2148b1e386014e41273c8c25866022ca0cc014df4992094fde52d3386b826c4f99687b2"
  ]
}