{
  "sourceCases": [
    "correct_proof_2_1",
    "correct_proof_3_1",
    "correct_proof_4_1",
    "correct_proof_2_1",
    "correct_proof_3_1",
    "correct_proof_4_1"
  ],
  "z": "0x0000000000000000000000000000000000000000000000000000000000000001",
  "commitments": [
    "0x000000000000000000000000000000000421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06000000000000000000000000000000000ee3c0592ab28e14268541106e48ae30618a7aa78851024e647b234f16da727a91162b4c361eafce2fd3c48c006e77c5",
    "0x00000000000000000000000000000000149d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a000000000000000000000000000000000f6b84705fbb73a057d3a849820729bcc51186730007bee522d581f023500788c45a9992d2348aa700ac648e2532cea1",
    "0x000000000000000000000000000000000f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7000000000000000000000000000000000832da26009019e133b8b74aa2040674042a5d5d2e11ab9289e95e9052e451853bebb100d7d2e7101ee225e37c5da32e",
    "0x000000000000000000000000000000000421e229565952cfff4ef3517100a97da1d4fe57956fa50a442f92af03b1bf37adacc8ad4ed209b31287ea5bb94d9d06000000000000000000000000000000000ee3c0592ab28e14268541106e48ae30618a7aa78851024e647b234f16da727a91162b4c361eafce2fd3c48c006e77c5",
    "0x00000000000000000000000000000000149d88afcd7f6c61a8ea69eff5f609d2432b47e7e4cd50b02cdddb4e0c1460517e8df02e4e64dc55e3d8ca192d57193a000000000000000000000000000000000f6b84705fbb73a057d3a849820729bcc51186730007bee522d581f023500788c45a9992d2348aa700ac648e2532cea1",
    "0x000000000000000000000000000000000f59a8d2a1a625a17f3fea0fe5eb8c896db3764f3185481bc22f91b4aaffcca25f26936857bc3a7c2539ea8ec3a952b7000000000000000000000000000000000832da26009019e133b8b74aa2040674042a5d5d2e11ab9289e95e9052e451853bebb100d7d2e7101ee225e37c5da32e"
  ],
  "y": [
    "0x1824b159acc5056f998c4fefecbc4ff55884b7fa0003480200000001fffffffe",
    "0x443e7af5274b52214ea6c775908c54519fea957eecd98069165a8b771082fd51",
    "0x60f840641ec0d0c0d2b77b2d5a393b329442721fad05ab78c7b98f2aa3c20ec9",
    "0x1824b159acc5056f998c4fefecbc4ff55884b7fa0003480200000001fffffffe",
    "0x443e7af5274b52214ea6c775908c54519fea957eecd98069165a8b771082fd51",
    "0x60f840641ec0d0c0d2b77b2d5a393b329442721fad05ab78c7b98f2aa3c20ec9"
  ],
  "proofs": [
    "0x0000000000000000000000000000000010c829a8d2d3405304fecbea193e6c67f7c3912a6adc7c3737ad3f8a3b750425c1531a7426f03033a3994bc82a10609f00000000000000000000000000000000111e95335fbd52a70a867c000c761de2ae8ec39b6319c566bb9808f5ba81a185ad710867fbd3342c5b68e0ee49b93a3b",
    "0x000000000000000000000000000000000060b350ad63d61979b80b25258e7cc6caf781080222e0209b4a0b074decca874afc5c41de3313d8ed217d905e6ada430000000000000000000000000000000017bd7dcaae3aa8c77cf900d53bbe441c6f3178b6437f3563c2ee704ee9bdcb161cba234fe69db63891bcf3cc4ccac3a4",
    "0x00000000000000000000000000000000130b3d1e4faccc380557792c9a0374d58fa286f5f75fea48870585393f890909cd3c53cfe4897e799fb211b4be531e43000000000000000000000000000000000f27b077f9854a568f9fe88db2148b1e386014e41273c8c25866022ca0cc014df4992094fde52d3386b826c4f99687b2",
    "0x0000000000000000000000000000000010c829a8d2d3405304fecbea193e6c67f7c3912a6adc7c3737ad3f8a3b750425c1531a7426f03033a3994bc82a10609f00000000000000000000000000000000111e95335fbd52a70a867c000c761de2ae8ec39b6319c566bb9808f5ba81a185ad710867fbd3342c5b68e0ee49b93a3b",
    "0x000000000000000000000000000000000060b350ad63d61979b80b25258e7cc6caf781080222e0209b4a0b074decca874afc5c41de3313d8ed217d905e6ada430000000000000000000000000000000017bd7dcaae3aa8c77cf900d53bbe441c6f3178b6437f3563c2ee704ee9bdcb161cba234fe69db63891bcf3cc4ccac3a4",
    "0x00000000000000000000000000000000130b3d1e4faccc380557792c9a0374d58fa286f5f75fea48870585393f890909cd3c53cfe4897e799fb211b4be531e43000000000000000000000000000000000f27b077f9854a568f9fe88db2148b1e386014e41273c8c25866022ca0cc014df4992094fde52d3386b826c4f99687b2"
  ]
}