{
 "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": [
  [
   "16907777539267866029484140695898606769333962039725819851897531221528016291246",
   "10531421060471803210764242282180596988661354300825243432694370526898549660572"
  ],
  [
   "15912415772039780433311820224136904737706664077875817672499292870626930031698",
   "1262343472093645508827094724965505457998222566160570888483460111770233999788"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "5517688305750201128762483893091304147062827104408157512730579569350848407613",
   "5780136537335992008649392871793066674866342777759859789350700119480160130924",
   "1"
  ],
  [
   "12697944246979452442578306963760600646953905903147293524406388488412105525306",
   "7947498303555241939381866476162499321683671397366404411964730108870115767741",
   "1"
  ],
  [
   "104028078850975554065172701281783302003220555203883119831575537681421753151",
   "19148240629904598794948591359118971959790791697910953160820265703277306346",
   "1"
  ],
  [
   "5389100687915168292769005150998138946551934165417656464020514059527551078739",
   "2995810062694628906192141834014562842416411391073941090612035469327148467089",
   "1"
  ],
  [
   "13361404455959093513465491032733056651449943760514352043673570676442342622118",
   "13062233980231097531380816290641636455952795449264050237462472029810698552529",
   "1"
  ],
  [
   "11459259237872151197093706264224074511822899275820846406369316478681920338712",
   "17008950402703007066305862393917002979068108987255258732198250350572930280478",
   "1"
  ],
  [
   "6864252787935048608809029133239993600538509116976873537320635937882667431893",
   "21828895867329533519544146243248306555649073137427314743033980762667640230681",
   "1"
  ],
  [
   "9438320622270795479948280183526528671720880729000858589094410097102899873097",
   "5568101658133066923956745075211904883930639183482936243523669908553853509584",
   "1"
  ],
  [
   "8243240866289541427505408968801246044483594232529594515653799293334187695980",
   "16836688029681482175969944959379945743029264506292968109365225279154937195513",
   "1"
  ],
  [
   "8901554162474861401157311041464523592671931268194133233238376271355243714980",
   "3625114242544161778734123207817598834256751400634638318925544817537792055578",
   "1"
  ]
 ]
}