{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 9,
 "vk_alpha_1": [
  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
  "1"
 ],
 "vk_beta_2": [
  [
   "6375614351688725206403948262868962793625744043794305715222011528459656738731",
   "4252822878758300859123897981450591353533073413197771768651442665752259397132"
  ],
  [
   "10505242626370262277552901082094356697409835680220590971873171140371331206856",
   "21847035105528745403288232691147584728191162732299865338377159692350059136679"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_gamma_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_delta_2": [
  [
   "13184398837075039525640381401987271411056846691334608593551504454786655062720",
   "2046330067468958186909146868834455616722646464638342150985281697129025974387"
  ],
  [
   "7369459285092872526503166170983348724161045949665120674335035666797379241956",
   "17833303978353952578798541727191443470608348372242367020508984830994123649286"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "5903362729984216113015441725833090521470848066421663547673910319161771344234",
   "781831545223594159463357923406353247569068024402726149993197967329354236903",
   "1"
  ],
  [
   "1938808122939285470949645019267185593896394579922831788277398107060060685878",
   "16945277364011841020546949227885797926974807823375064788665922339249371072283",
   "1"
  ],
  [
   "19975776231503137219752443801715251326577186698684646732751139063599445343994",
   "21427916696262027103974838204724244212060459003263982071733151414896304785185",
   "1"
  ],
  [
   "8843588893506673465936093706616617227906615600323636588105210531772084519425",
   "20129940506284483621651817919833424432236680784667394720408726744834986446778",
   "1"
  ],
  [
   "8729848354729504940526482023437947033494119942699554065144350370257913448293",
   "6861361436194832149892009557239543201733180397775229217024973691130136211424",
   "1"
  ],
  [
   "21387777627237767110857189668455027800437201187218994463702373825123321633764",
   "12319923549610726372514988623796271065837786928582215780726380812450183463387",
   "1"
  ],
  [
   "8888673144079928929341931974319640119382382637045142559348436901198419187465",
   "7211897109332476373628262484620410222004995458902519599887320149497193452682",
   "1"
  ],
  [
   "17786423211350468758415446408932471306541240516684851086214691672155079561902",
   "4654213168100366458632417363824709175554959406701599877306073840389784636826",
   "1"
  ],
  [
   "12628629196747352447803441237430189254060250864866436385421990226426256988263",
   "3718717152163153354669937397216715650020757656068051733859502278866416218794",
   "1"
  ],
  [
   "8956114517039512640437696788108836571262408454644653629827582465132232394198",
   "5683890402595759474843672886081505368964449507853923559014141828989826411864",
   "1"
  ]
 ]
}