{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 22,
 "vk_alpha_1": [
  "16428432848801857252194528405604668803277877773566238944394625302971855135431",
  "16846502678714586896801519656441059708016666274385668027902869494772365009666",
  "1"
 ],
 "vk_beta_2": [
  [
   "16348171800823588416173124589066524623406261996681292662100840445103873053252",
   "3182164110458002340215786955198810119980427837186618912744689678939861918171"
  ],
  [
   "19687132236965066906216944365591810874384658708175106803089633851114028275753",
   "4920802715848186258981584729175884379674325733638798907835771393452862684714"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_gamma_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_delta_2": [
  [
   "359436396001889137125258405661791563083476653811136869685868895946804532697",
   "9988965868560153404713219311924888195450873899327230339922117167065708491400"
  ],
  [
   "10818455410233977251821747416244194159408742108577424582402382222889382583402",
   "17848507418177943454110152639989839918842522630571677384375875040788881079096"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "5275725312362878540782176211860327475781113689246818544623830805017503247034",
    "700769043921060225711174322502145319612473365595920873303028146383045646735"
   ],
   [
    "16577533945604560505206253312979863148043263406037367789711279754781525822966",
    "9408338099405950952721388539539775335199747835458172188116297223654842340186"
   ],
   [
    "12663399896275491035004982800573482669934131767886952660443268164480899034271",
    "4432711152773877173921024337047412943791122852326272337530740732443732395954"
   ]
  ],
  [
   [
    "13121778684901402722679281862736806628725205381360313795132945954337708567513",
    "9534744673358550231812045647241180985734073058548683258847806241019905135720"
   ],
   [
    "21329152369227346659770815132468371951064045353268189088026893413117512652875",
    "17209195434408943681049655974234541356066884378594227002358272904159790622854"
   ],
   [
    "5346467096835895366917814311591075634165750361894629082277248282132405045579",
    "15508364027636868967189209273443690126627947943852338696115233789046842639684"
   ]
  ]
 ],
 "IC": [
  [
   "18491357237287134418549784524623193106893008018874590735236360015812083219306",
   "3555216172972372484873541588032565336671304273838509072504029977045929828621",
   "1"
  ],
  [
   "20475244130423895548715203070265598553889303507296908328757189225795876738741",
   "15921330720510262675459462377266308346879413788975376137867418466925415771063",
   "1"
  ],
  [
   "5554336821132270723708232110267657510857407610959531430588021651029168098517",
   "17056250236589254213600681358514646430062218227089727771071262554536267695910",
   "1"
  ],
  [
   "3631056517695869803049795198335359178949660547933110313289443220662570686657",
   "3357082357494150956806151867103249591828605862814565854854779789394829148711",
   "1"
  ],
  [
   "3793335843153388813001192019150084700021520615839580072952728445019588813756",
   "6662527900030546869273411279722797719514415837630123693996692779822919429940",
   "1"
  ],
  [
   "19484542750175791616353003158928688698501773851959216783419276558173715493193",
   "16103217016649286992067595813812757680020282694763145476741039304701163778965",
   "1"
  ],
  [
   "1254387599266273108576657312469297659901088628894103558546471501646018069460",
   "18461709088405966798827876860949213627734192425006853109102317033829502670081",
   "1"
  ],
  [
   "18573434820677671709213757505503684655600637744210642845438557559220492919913",
   "16102038744428416253931952959060575410378687773538855049037516682330210544324",
   "1"
  ],
  [
   "15323868719540850971216915627114929578940974453916591420606424566181706936546",
   "2920652255179359679070006275897543898408436873842903817763057526983443224116",
   "1"
  ],
  [
   "13505104059197055291332129460867914540439509184251824861751521819523245665380",
   "11446812354825678504961398713536919006274194818684671988545383437901761930000",
   "1"
  ],
  [
   "16406803858864421279156918718878184481547975084865557396882154850341869302059",
   "6326006932421536368472339240033778151239000392149203732028160900564731610913",
   "1"
  ],
  [
   "7270012561718158720510921854319202246094293801307094267789835519474695643954",
   "21407830199147515151147383576972151708914738560250891841423370663176272463398",
   "1"
  ],
  [
   "6256436623462421708875427733863115760662710925222167598001067228481609459158",
   "15622739313545342831737348165147267851157201444700492769165062490988080095400",
   "1"
  ],
  [
   "18107563123645387541961260779796153261193370537176231421438002577614130880656",
   "3957596320941847251837253856962861542650171232490553278417682185638576129483",
   "1"
  ],
  [
   "9075521222069621442748600961666124796910935330680961420193587277250074758232",
   "2565889044564115666008186434777821886791575428050725416569765485018478666106",
   "1"
  ],
  [
   "637623061683836824372177838458882106879179621746761391747644512710624451819",
   "6926882026057956531470553553501735735408674611220309034003419199443862843219",
   "1"
  ],
  [
   "14713038344216950441175844582992225785570665888473283857166928584227475516261",
   "19805753102805761882810647553922456528906029221135249039220809722539332845147",
   "1"
  ],
  [
   "8987606514721623026636639559974786836817900376978448470512305880351929323047",
   "18502042979167406388141154990994474841333911714889166139713508608415295063895",
   "1"
  ],
  [
   "2268681168120730283054025769688170084615704688065582310307983798726684357411",
   "6448097320618810004604688590900608096794384443490327635974590152160683343359",
   "1"
  ],
  [
   "20671489623314595315459422700221109043677425590312294236708734443833170743167",
   "736063094414345819745881896017763967983451419320442031398172854602897962764",
   "1"
  ],
  [
   "2133477810278269933689587291480599407916110544037134177309827718278252000521",
   "20896132745855224549268596585028293356190992798845325861720064118191151543904",
   "1"
  ],
  [
   "7709632152964477565723402597694728846411156834896574652000760375516794422493",
   "4863656586050231877912803307189071974840418103058675595288429278673941605150",
   "1"
  ],
  [
   "9267927552328318967958057167587718614532325055965168847982388504799775213574",
   "9389842063899439655153713673603835882249357883928260081260185017196934766929",
   "1"
  ]
 ]
}