{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 32,
 "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": [
  [
   "19123758782558680960137049284286660834755919438304772090386326942336280507607",
   "3763145489265154227084511171694601212878632438189047805035774181671200721579"
  ],
  [
   "4894238513642303098263860622238471992887790214981922367145986542927713649242",
   "2055449651368268424611099662557640196156614451951214953872156041652270884888"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "10534947708174160215201992304779041355498470735561003306499717122566742770626",
   "977905257499899758791217822505228003462337033122097368830210745360601555342",
   "1"
  ],
  [
   "3280711512314934753992505317526746468153049821370324146752079659712174232300",
   "9336028462433315123867796333994191785575550026414826950323988687234821492567",
   "1"
  ],
  [
   "15162904757480315297547642942646568889101029164132171480256830884259150251283",
   "5543236365374398176471504758808152977042933422387633848583378303299793270756",
   "1"
  ],
  [
   "6084599581719503190421548874454410642759752303455385862653438619168850972257",
   "18221408640134590893699663063879232072826509494821669770579541736533993832423",
   "1"
  ],
  [
   "13515294784299896617263177420364080405138679960108803709127908717931838641125",
   "18537954088397403593567974022084871913708328503334967617431436055023979447391",
   "1"
  ],
  [
   "18052165982957660268255521614825223786335394780677647206458385784232406504157",
   "15194585058280412021740640814141568454746627730826424655106679430538982053654",
   "1"
  ],
  [
   "6795673837897345581582685299965371845759418273539377917021912839836254998739",
   "21657993441803516491832636271681043591945604671357149970048825080204553686618",
   "1"
  ],
  [
   "11289069591450532499401972724447572002376453520281915368481681110785600567292",
   "11928539623033527208857415982521538988739084305734749009299860340216923817607",
   "1"
  ],
  [
   "21069306450658538733134282147277445263698906490240400327689099847099016892805",
   "17386225215792739261329655602621235879743955668381844924635942683420074576174",
   "1"
  ],
  [
   "14345437456753227245495940686700720956058390526322202366808609527984033660993",
   "20783457650276182735214466418096310752840639854110597710747660731724327511323",
   "1"
  ],
  [
   "4486441340824192164364882510367580608217147444088109552210786362403055241932",
   "16553383197162304205323300390384875515644589603157855319848881923653657055218",
   "1"
  ],
  [
   "7299849271075286253602519481881832740498497504048928918662655218108429284825",
   "21860902462897801250346538563498742432578812847135047747638191825760100188844",
   "1"
  ],
  [
   "20812311364493619358550828916571084941809811622004047558332288367068444292636",
   "12016931719373400562450857278580603432222260403491989130190760226223433669838",
   "1"
  ],
  [
   "5497135883066110411842507436361453534364438777740194801977407015457789050083",
   "960289848958742655061746467902157315103658957325800360115467733778920704760",
   "1"
  ],
  [
   "5231929274251912956972062967045818685875910122905492872577246977634648737843",
   "2405680064306334170931852015314781533305421897621973941278348820986549273557",
   "1"
  ],
  [
   "14432423838507076163732475853088150200901869051870980078541847122928808702858",
   "13162477912034036392091090217125050953003275307601447359448369192560307791075",
   "1"
  ],
  [
   "6035380084134788387796489655621652133939237219692536713085830198890102531157",
   "2399413675745655961934247765244583346698339793807331712093749883838255391396",
   "1"
  ],
  [
   "1755840344064269003982904724784588829875883176859314530482477354204358128073",
   "2254035658088032093438783815005800506175183609989063203400053587352866305963",
   "1"
  ],
  [
   "10798890848385583150817432575812471927781281538956290209396088794995757251699",
   "17954866604704083608550796134404236420626288308545111154506695506614087706302",
   "1"
  ],
  [
   "16347505387353659907142234702135154337293088908179815677326286365566466652892",
   "8145400935245335001708439352534792707071085106081878093341920760316939810339",
   "1"
  ],
  [
   "1675146216777597460950545026188423914140684419320163593588767283439513220964",
   "3350896492191726464487860464991880712916569207980460035951208489640794805493",
   "1"
  ],
  [
   "14963360443843679002951981438607054782948196458205149005110445616986857962149",
   "5453682123596332752358242170390357649813170313370080322693195792615766005582",
   "1"
  ],
  [
   "15857139261281078612816698520673496528634524033018907015066869560007114561368",
   "1980632957785357477112204530352463186795117003870653324765557649080191593069",
   "1"
  ],
  [
   "16478788219117512612181000397725550334291930466463033672428118170129909755975",
   "448496014898525130300582250347934155241571361910686004171961088395557906873",
   "1"
  ],
  [
   "1666825517524796314004984207461413135984918930374439646195676102947777182322",
   "4231769516076965497747593863600552237823540573882692739018851158660080939768",
   "1"
  ],
  [
   "3076619425752586210204729303861073992338095413231945893603783564036991027253",
   "18163258048301667325957382686787210971933697470347155712452125397431467657627",
   "1"
  ],
  [
   "12240984649194028123658663640999248201069935674255565459899301410323450592735",
   "7409006959659622318645744477945350299438380296542336739366936950900796739795",
   "1"
  ],
  [
   "14527565647042473833164468956000362795519314198262866225352631554103417406048",
   "19163038429636451765415902370901493252440686868311522712756801834049736087286",
   "1"
  ],
  [
   "4563064787502578607504522503795653524780441771903390561095040321594991012805",
   "17132961897233615551711030277418083026528303676258815957139396120116493761491",
   "1"
  ],
  [
   "10825384216191058605866379876945565560465943245071973007006264312285398033060",
   "21577743268709413526652653885555866375927505893806393223914213433533358336358",
   "1"
  ],
  [
   "6397191691971602863357148514208654665119261190406272901198661597143240375",
   "19034368636483100848266322777417046441872774162624857636955426992047727086319",
   "1"
  ],
  [
   "13887187887323344570981409187274970320617448786085046258948210932080686653886",
   "18715879836330833238341482186679228139561235361790447129420164142460558259244",
   "1"
  ],
  [
   "11249333327764660601508194401900817731177098928541819675032435010243826533510",
   "18594519484247875970157793842670472272992161543336964034550143549078316481776",
   "1"
  ]
 ]
}