{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 22,
 "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": [
  [
   "13574129252125202270158307841999632289188481698271261939235393046564697547323",
   "4767756989901781990548811495555254021246964220885607355087778530306964004185"
  ],
  [
   "20994491963918641855107870498261517959074286551785099903933200630273567734342",
   "11765493019200775638510616767809212227835759957683292721283970143875449362878"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "12449886944142661472251059230965936349361235560943050777171852750972268056009",
   "5508789765348348011558576931625983265119736287691184278767289209256184182152",
   "1"
  ],
  [
   "11354840822823409678846005531170154810223893374328536931571598076429246168962",
   "10243618321308788660349859395450060514823490518996600371300209313988271557806",
   "1"
  ],
  [
   "7688841796121824588147585218713985820690021917094358723669767856390683928034",
   "15304029843415543132293541704424359450862448668530347048215672038580045683481",
   "1"
  ],
  [
   "15990615657429515286876718277658019436828926204319889565777537283744068146700",
   "20265128390631794181627612941990068143695235211256419586038084564697570772459",
   "1"
  ],
  [
   "16744634382041772612761056860980716914432614100602561913600347639646803828867",
   "9587909504738762931618416803620503763808524690654300610728307244650105345649",
   "1"
  ],
  [
   "14498281259442737211687928465501452644380043044531604747511002130574576040500",
   "15178480169883279183083105005735414370343021495727319036601387862295433592890",
   "1"
  ],
  [
   "181238700928172282344680236185737466543303371505875966182504955165221550787",
   "21622111637396317730948136644302630767714713068723532481132071344883159478317",
   "1"
  ],
  [
   "8334117149439267478794081283986502998659211363774660979410854038645857015106",
   "3525586056545466424550069059261704178677653029630068235241952571550605630653",
   "1"
  ],
  [
   "16676389244152071637547895889424069474191043909363062157910970100503924284824",
   "6293986690744783536251466348123663316687870380690807594123241364218706730246",
   "1"
  ],
  [
   "12745671365224662776594194440156600675329812876347548121369698185420569095439",
   "11273088596548493444123027464142605382437970433270231501917065525393005894036",
   "1"
  ],
  [
   "7732485931307476787148144929824683305147104743163709148772223736952704050567",
   "14991775678419768558530779568394256066852823412993601432448554479361118463299",
   "1"
  ],
  [
   "13954475229491875183185146721491133006576631796979640931033593718558384269206",
   "20143678799568261548345812147552378448221261337943896478291695109662795302646",
   "1"
  ],
  [
   "1588536655220107824895151554872386730171641945783207210783928981583577082720",
   "13908530648827733472139197820866316501402019214593222521521102979981263265396",
   "1"
  ],
  [
   "12678767645933368864421466910761496605084347784517452696623065956846509548782",
   "21381570127686765465000169852593021495333227087229864265691446720659272361152",
   "1"
  ],
  [
   "17922265673268483320025865036589139344955822363275373430719168065953761526520",
   "9242324301503892823219332201525279187476010610994752688104429744801597668285",
   "1"
  ],
  [
   "19367539127735956732148435844861647320899694335953718141209016532640873590140",
   "12701104584447112200166345844417732176637947754547635778619790266357846083284",
   "1"
  ],
  [
   "14931750548482966130586321361300230947899794584196248761236252137274123990811",
   "18907870831743031028168656813690968152456035625888662633278498386598866738708",
   "1"
  ],
  [
   "21078326524345796712273699205406122410330437647297400186087773951320605894880",
   "6471701510558433137588469036231611931381433511837825536013781894924055589201",
   "1"
  ],
  [
   "11616604898621091236885062107603844843578912315924240360909152763967953411071",
   "15567597962932438133376009485279673723080736998791665521084155531250437535832",
   "1"
  ],
  [
   "16814378820042549514945932350142180953549065761435730844701764513083012014298",
   "9577851565990440995137571478255586121135591079059958395444685890902579770570",
   "1"
  ],
  [
   "1093702848180480792269642835164492672016092778979951861285096707497432193760",
   "4063334433551442475817332481927046015343707417264061346417488535608502495218",
   "1"
  ],
  [
   "7214731470556020664921656204545020072837783006969685612760693537299230135333",
   "8891562787830667150144624187125115054175583159717508708300614390764766181778",
   "1"
  ],
  [
   "4041991063957841891847968885939221032895793579852508335899469034278358488695",
   "12929528695870206289536816082066059156374288392417066761527212742555189041207",
   "1"
  ]
 ]
}