{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 24,
 "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": [
  [
   "12917761706367159448552669332158549008424338800753983174002760426851264899916",
   "6506135815943976343670204718908252778100436948044695952269504614489235747522"
  ],
  [
   "921807516250667254679639816527091672038652453691410152532432179406742682074",
   "21054759061354342502671069523347944444365476693281335142489232816218318279843"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "10121904041541460154551260390411876526139574666949788432677764574044027742051",
   "6395114105467352463516423639828272877440036954754220055848039516989817256674",
   "1"
  ],
  [
   "5586762719201810155133862083740714325655748243483738877755810028542797644739",
   "9387879719287370926595730382657598610335084850078203728936667449453246554359",
   "1"
  ],
  [
   "19420434315212518030589186167981244595406343548992012458488730749825996100239",
   "3482657374383353276279298693752239555763142972311841530862645391131143881873",
   "1"
  ],
  [
   "21667521945257749121492909465236139091096077691835364325355606431375269082282",
   "12156175257782822331801928906256367913221851960540994586932487722549923413345",
   "1"
  ],
  [
   "16828357126590671631798447095302651492589140460428270542352941484237941156483",
   "3785759973408012513975276660945174958105045591429994983968533282503371539336",
   "1"
  ],
  [
   "21244321325522105477060254124915502034148248502931960755663601081500950076300",
   "14687177467139662957844534389099557537735007475047254307829149459337997284150",
   "1"
  ],
  [
   "21404447565616225355770439075122853382066792760583316781611395109968504614761",
   "3777910210505077428584254669424713454396973987622630869249106067166590299357",
   "1"
  ],
  [
   "5644690004940482546460856256670502914882531219591199090065888636589494736039",
   "16345970805899097192278870928687506101715169625232631539981164972434652655022",
   "1"
  ],
  [
   "16593367704572145491497340027058421406291597779030039134573703992464863830646",
   "19275772679724763916884927502599327291258343548738975909520313332884772129528",
   "1"
  ],
  [
   "18338635157990571739660769292280252719367811451620901782236478705200001456515",
   "12580365946981294431067603413481570211192375767222833113101936660967490853342",
   "1"
  ],
  [
   "19880773599746588943745194809450382516728304373879942615347513263173728275196",
   "128548754750873577554444615682746852358621588347676854260473817368140033519",
   "1"
  ],
  [
   "6476719107464483530164368276818653110527411272303410163053488615734788766586",
   "13331539055996208679678758084320772815107338352425913859433335410845899223811",
   "1"
  ],
  [
   "17393436839515851750885277096607160266036302533767007170590322671069079326483",
   "17336491525577930609097646312281682071744277090982994234361498925040239739760",
   "1"
  ],
  [
   "14059139663320156276001577403575266145309546640724899667521029234074221180403",
   "5963232262834884334488206091864494084893490405377454589196552297795638041488",
   "1"
  ],
  [
   "13813470258321934033051704279698252148783024920181797002453328082368105474789",
   "19760333797981660449134124218356560284106192590380149679255903109561686546313",
   "1"
  ],
  [
   "11858117840318587547791069185551586430435948995333725070770764697634898894992",
   "16621799951101200543458233987158204772158254202860685491749532125765298740749",
   "1"
  ],
  [
   "13584356250500421508084566767718022822120888453124821650989966819848963029582",
   "21121442557480691564262522113115528175177021588076736568194595390503813944019",
   "1"
  ],
  [
   "4326226245481542040767942040881999777137473163343274779447151141265545792486",
   "21183580388477113613358837765893868421637670220571970210021457037640835173809",
   "1"
  ],
  [
   "2704745980008452624320271214496436840853635777289985169457654318338905712053",
   "5498942242451865915343845370075402718280213375705928811712272696867696623122",
   "1"
  ],
  [
   "18021323881247358977456866382503667963535769536490271165761105041938333860259",
   "15056011404667104875167366478630077579580289596849055349190254216447781136049",
   "1"
  ],
  [
   "2428670635260390602473903592482933886252233168437493591205178349351514000281",
   "862350060646299115005420081148519933461348146447694025974629367115211964519",
   "1"
  ],
  [
   "20557922324599650576215164022162024912213509843003042307546636524489843547931",
   "1061522392679391742130691544383963509531829000498209937975610885874122363387",
   "1"
  ],
  [
   "9114256858842496488535186312068922854228150055952688114444862375910254881995",
   "20868937436899006110617091404782344741103549613810098330797141428653796030423",
   "1"
  ],
  [
   "392332888128429361037702708407695212788446855280618226506466973682041689462",
   "10986782868722900357976121669302445297980271976862420955075995610762868745084",
   "1"
  ],
  [
   "12335561474727855982123382035622477594232361573497391299243618736725476900631",
   "20340286770637453607265533856091115758478742882346824576410498508028320071146",
   "1"
  ]
 ]
}