{
 "protocol": "groth16",
 "n8q": 32,
 "q": "21888242871839275222246405745257275088696311157297823662689037894645226208583",
 "n8r": 32,
 "r": "21888242871839275222246405745257275088548364400416034343698204186575808495617",
 "nVars": 6,
 "nPublic": 2,
 "domainSize": 8,
 "power": 3,
 "vk_alpha_1": [
  "1",
  "2",
  "1"
 ],
 "vk_beta_1": [
  "1",
  "2",
  "1"
 ],
 "vk_beta_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_gamma_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_delta_1": [
  "1",
  "2",
  "1"
 ],
 "vk_delta_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "IC": [
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "1",
   "2",
   "1"
  ]
 ],
 "ccoefs": [
  {
   "matrix": 0,
   "constraint": 1,
   "signal": 4,
   "value": "1"
  },
  {
   "matrix": 1,
   "constraint": 1,
   "signal": 2,
   "value": "1"
  },
  {
   "matrix": 0,
   "constraint": 3,
   "signal": 0,
   "value": "1"
  },
  {
   "matrix": 0,
   "constraint": 4,
   "signal": 1,
   "value": "1"
  },
  {
   "matrix": 0,
   "constraint": 5,
   "signal": 2,
   "value": "1"
  }
 ],
 "A": [
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ]
 ],
 "B1": [
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ]
 ],
 "B2": [
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ],
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ],
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ],
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ],
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ],
  [
   [
    "0",
    "0"
   ],
   [
    "1",
    "0"
   ],
   [
    "0",
    "0"
   ]
  ]
 ],
 "C": [
  null,
  null,
  null,
  [
   "1",
   "21888242871839275222246405745257275088696311157297823662689037894645226208581",
   "1"
  ],
  [
   "1",
   "21888242871839275222246405745257275088696311157297823662689037894645226208581",
   "1"
  ],
  [
   "0",
   "1",
   "0"
  ]
 ],
 "hExps": [
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ],
  [
   "0",
   "1",
   "0"
  ]
 ]
}