{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 83,
 "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": [
  [
   "17604157226151082664732123215022200671466181208487121008994477760849362166837",
   "18232199629745822671363442970642806417329296139842628956112262615129184017678"
  ],
  [
   "17758978828279609003655815179891896609066335036499401971500281271782485651936",
   "17585007896910324212251129344317261041280768708489747562816449406906424703447"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "5275725312362878540782176211860327475781113689246818544623830805017503247034",
    "700769043921060225711174322502145319612473365595920873303028146383045646735"
   ],
   [
    "16577533945604560505206253312979863148043263406037367789711279754781525822966",
    "9408338099405950952721388539539775335199747835458172188116297223654842340186"
   ],
   [
    "12663399896275491035004982800573482669934131767886952660443268164480899034271",
    "4432711152773877173921024337047412943791122852326272337530740732443732395954"
   ]
  ],
  [
   [
    "13121778684901402722679281862736806628725205381360313795132945954337708567513",
    "9534744673358550231812045647241180985734073058548683258847806241019905135720"
   ],
   [
    "21329152369227346659770815132468371951064045353268189088026893413117512652875",
    "17209195434408943681049655974234541356066884378594227002358272904159790622854"
   ],
   [
    "5346467096835895366917814311591075634165750361894629082277248282132405045579",
    "15508364027636868967189209273443690126627947943852338696115233789046842639684"
   ]
  ]
 ],
 "IC": [
  [
   "147468803029446955553223983472559889070739970746670257094586044166100404354",
   "6928557546715882740509760174393199891012421321642521837648237106072259957924",
   "1"
  ],
  [
   "13666054725164859084714636127406794614399461805248633433515013953422180261120",
   "10964839015197036818881833031213305762473427957119155170266664753860658939594",
   "1"
  ],
  [
   "6229808248822179248527914144713149006806498801361145937869078697060709921129",
   "11674611166011618345834189993626874311024764192999467780655531455642913987096",
   "1"
  ],
  [
   "8366353057030760005108273416973466244652561599811707533795222752923881778639",
   "16325621420319560043958351152656412870957978067116319068087023829974943895067",
   "1"
  ],
  [
   "1910390119270595177440985884735690283141795646403398748601484509152223960158",
   "3358835565194149043144946198404657949432304357539429729271233429634134621159",
   "1"
  ],
  [
   "20426464184648553622038760124254136976650858772289695810482652540942854711416",
   "15879233185237907736103795806612229594617522027217719920974776809355523733440",
   "1"
  ],
  [
   "8818890640943675800567312767605458853218724320831371880435908473116451907743",
   "10580332326456400222219790745444975246801873266482328440822766305733936773092",
   "1"
  ],
  [
   "8430496606142037169886907869189372016102554038946920017703005450383606715191",
   "5375281925335947786193152310285557178372436637214532280657923755085061668883",
   "1"
  ],
  [
   "15827468704662401148697430313725617774729379708352832336988548549445091152393",
   "12981296132607248303142511031242999810090466184947439172188674581850864096238",
   "1"
  ],
  [
   "12152187465777500681027393448540953700898913784530580430213519912198457103406",
   "10783974552616584637251520157910609576556201613126670844765250446926774825272",
   "1"
  ],
  [
   "18832756426297027988486667438869199088007420275440964241493067091094865052989",
   "15933284276045308628991524502785313160282640911605580989039255866868618420945",
   "1"
  ],
  [
   "11399187169160568766090077466995953167359674973454419710302739765299848437715",
   "5319233067333625688344802026836650434667442563232764833845737630918294071196",
   "1"
  ],
  [
   "2666900996218613098252680765905228886895781786131686051240699198011424505238",
   "5432423577917825921799994720984664379689753843954289876022066647701392742734",
   "1"
  ],
  [
   "21116387225601215450095006789179921202143999361632108921236311673601224040828",
   "1958922877331847556987728838250220231177054758456096969847395056461033940515",
   "1"
  ],
  [
   "3456465185754986357964098742703943977043675319017693809669093535662930193702",
   "14348750580073934857557194072845145541403862099406086902168869158524441887304",
   "1"
  ],
  [
   "3749868032658572141235341657021992355116811191336236574892292418977879566958",
   "7192175991907925744982451936592713960592527605905052160575139976776590358559",
   "1"
  ],
  [
   "12016426555185730446760653996115551683366465296697811774096114010904012931618",
   "18458013715942911396086916533753602692990270327484273288067761124489784767208",
   "1"
  ],
  [
   "16950478377024347249327711745683693624537447968903844849851874825651130342745",
   "17420371631798452566873782500751897125844480703446803358927669818186270989840",
   "1"
  ],
  [
   "6050941511372299261164296623193986201833015454714938858262328182440518143010",
   "18658254903867037548077993402165715652767512416383151121975353317333495426219",
   "1"
  ],
  [
   "192681455424315610289329182102609305574836538106842019625604184425334374550",
   "11449016065627606589553188429368837921697789707942880600424679270460109950480",
   "1"
  ],
  [
   "3551648049011489448624836883282082118118394732648631642959407407562529121516",
   "20475522382013640422124110368563075173926618963026704942933811854261293401096",
   "1"
  ],
  [
   "17724190665440794937219369159913131866708423373841123961833104548046161494997",
   "10216675667494311293665750655654193771737809846162359999129070732811962148199",
   "1"
  ],
  [
   "4312796187359743674006320066365644223021200032034966844117523463089735696658",
   "6407133156899283831973639087303174993441113153614970034578607490240336532654",
   "1"
  ],
  [
   "2019328933526093334107205088832341834656448833093270428405035025049676654949",
   "16318062989824455136988793987020720215781025376335983540820489693121195156782",
   "1"
  ],
  [
   "19685135044955158359874864985024525311040342229707285861962895411455374875231",
   "18587887557246070917502991998127862259297785783861473410064994153565814290931",
   "1"
  ],
  [
   "12634931734521505848880617186599093036055945416888883577288345662143874636220",
   "11526538585600826589641605230922831549109425752446482961578063477257624616869",
   "1"
  ],
  [
   "3146908192416100166636105370585480598469486515558621850952352713993261558375",
   "1201675686094000339700708167877074982296830578556617714628049997869645739724",
   "1"
  ],
  [
   "10212907961454692668203336821088460222344275638054688428764393233830205149407",
   "7565466283365459650197249013995781971863265609986962716864573388184727339353",
   "1"
  ],
  [
   "15935583185238967301822569933896755258969423664916443878022080563049975539279",
   "15154290677242499444236079737320672219980727539658050070993966738698986928365",
   "1"
  ],
  [
   "8915822206321906376710407433699554200152999276553232962887865626774675675334",
   "601549045087907289807072927154140613407183991639583402211817744544264558463",
   "1"
  ],
  [
   "6906560917925694283207156331668351364231065158948848244824976876718149233949",
   "8768468549226832710356491365200393881476405094422212073827970127697134778675",
   "1"
  ],
  [
   "20352028905459959471824274727167763847456400046982163160039111689087777816867",
   "109482628789291192261971337599471853680575618468666500926886209289061903418",
   "1"
  ],
  [
   "11172957052199006722280071679105038522800852932128439112129807659499699659620",
   "16257579332955782480256852105310062394697078358022148290150901469193052708830",
   "1"
  ],
  [
   "19784581833728777073478632534673237016371585439872298900283173195285683372930",
   "15422628291828132588804565203393629488690275959607971001872370679825797276291",
   "1"
  ],
  [
   "18272281540993949773849862530448105622512919859518414678816884121290064187856",
   "4552318636144754819522517708799068866287359894316395553884550912819524761122",
   "1"
  ],
  [
   "18336004297598227964921561307118861802692006537533172927984425945255549159288",
   "17631883267616171522214640142677701470925298513878737163381828965895162509849",
   "1"
  ],
  [
   "17560543474195374354665334099091105760430666313533203754979399985413479340949",
   "10995587653530755312817755568385034498417548566102251942415201746070334367477",
   "1"
  ],
  [
   "17754379886835069340149129374954196133474436864655482743242787387053123063764",
   "9520271393402079012093076379958600141310203031817971062344427055670887631134",
   "1"
  ],
  [
   "15728102026170819657710798699282527410561067802870135078949167086974659147024",
   "19361879452430437289580138014384419506262308050815780575621835769307415731983",
   "1"
  ],
  [
   "434850572601609806765483944427129977489409356821243437365206840395493847463",
   "13450749325925479410532925903334797260246189591712051363862128559381048142544",
   "1"
  ],
  [
   "8131883985266244733299315845794792185519826853706686019647077698704506953163",
   "8802519768634165443034951844161043068853733183710317840306012108780029687493",
   "1"
  ],
  [
   "20679022278862528966204827094138101285337264510574069904225780484330806686966",
   "15176495948157548520917412745817268698403199759735995550597240747607988788325",
   "1"
  ],
  [
   "7920161726478076035209811831588919636646024404325180048048427263350175286284",
   "3027958981626428577041269947585206262726958574235695668668897987711518693132",
   "1"
  ],
  [
   "10527883644676118303013084169324515578758084177978580109545596322712652549800",
   "8869234339495714116069972865322526606834087157210827180438607752516384600602",
   "1"
  ],
  [
   "19704189938238692517570259835579708214529197746552643977154705792252434163881",
   "18403852229933209523495456913282785891888940668544363757618575088315501366529",
   "1"
  ],
  [
   "17354282241871304369954841458092387603190332045689998094453100059537775438395",
   "11228476087797213183719253616940381024692556522762975699200392374034713134206",
   "1"
  ],
  [
   "10030157820886997760722181062987900196391653830475193994157531611432369454176",
   "5344380370576256383401859858856677590543393133659997132994967064044216804694",
   "1"
  ],
  [
   "15378566880913971424197491341209186602177170445032121456008447699162882329419",
   "12877796386397596043864943767466460124416372283236165948666935759317603356452",
   "1"
  ],
  [
   "17072724998010801735214060588073960751710047858715383885881747292464001506699",
   "10082325568271951859980724841069219693693491684430092857209230702896187566271",
   "1"
  ],
  [
   "4160043315448337293578279908209256930097717496775873359019795738331384473692",
   "19959645063074487101916092613902327881924027877690751431691308268251902746898",
   "1"
  ],
  [
   "4063312740936275379123506067331537220230311690329289666341682984123211314522",
   "2539785242024730451179059570117674447810898343225396845140840592919373765699",
   "1"
  ],
  [
   "8209239938497817715584576392820038131702263768594592302132586345949299975909",
   "237140979123881051095608790428314155494641228433696152785581494942687926258",
   "1"
  ],
  [
   "147773180306372529181467313380455218248960591511711668757403678862968289210",
   "17132216969050607803069612442776926361518526660918024342792012127519129061811",
   "1"
  ],
  [
   "9454034805871604634896767470294267977945219190188478330893638838952015901447",
   "8140349316544135047981973646595216475693561852260410116720074791627538696342",
   "1"
  ],
  [
   "18494502776165528244141165681213790903271754589960449797760470657565431807582",
   "11096058419641704119880508109251293139177642663809403976173479065037089142856",
   "1"
  ],
  [
   "14270058358196423251149311929342203668594527006807681567185434406306453449995",
   "15229257735195237938777790490181182780759417806733800828909425569484424751653",
   "1"
  ],
  [
   "18724292884054710539129179107573075470804493602269365537307441175513752401248",
   "17587179424701869454114512493093379554059094738065226175777338479461373390461",
   "1"
  ],
  [
   "14555791647137718059097404985037058776425154482567616545970532280651305401957",
   "3062560308738897653000138843000220390614878826730513550413621663643201139047",
   "1"
  ],
  [
   "2572036869644973662105036895158281483439513460015673167932962553231866959923",
   "6287409099651407281866845337951798922146774769669562198435539642210975440458",
   "1"
  ],
  [
   "2000495251971491969576917940937622442977337200229391126951383889746827843447",
   "3050096463283555350058232349526975703717421535997559427760982102637142971034",
   "1"
  ],
  [
   "3664112986483832367574293351835873430328758406781974275684328191583262496613",
   "12329558820156670120330932906618525190571172514625707762975307489832787294201",
   "1"
  ],
  [
   "7803578571556205624866224075469979769762510637836839381113382724727436769034",
   "7346783371642748956314121527765098411164188768139693699514454845648141679466",
   "1"
  ],
  [
   "10655402488737760692385778780814412667939158821023309138530087797164400450208",
   "8777181307811486047817851763963435631262801480265970818434386605274397889933",
   "1"
  ],
  [
   "18383123881553703166936910981343602395451124984342287977365415892957062760686",
   "4411883981785270596993462865302764872824521565254198073550779976759841616923",
   "1"
  ],
  [
   "11964177086951503203467122843711807022078110830805239085671167435206444172145",
   "1118560390481503057423255973193908628670121812167338618962054719502204892516",
   "1"
  ],
  [
   "1022605954085815094821394897317438519935059394608814319263299180960090553612",
   "6639507189163872681672418786491068748910062004483265306229107527120887405754",
   "1"
  ],
  [
   "13447811563792844273095563386119299653718392689339948212170061650488423681116",
   "11713852685570036757115979782373642652848306958326430806545568151189506557833",
   "1"
  ],
  [
   "21503521969789475782916581300578746798877879191017742327166467339670644488804",
   "3894210083235446884397321013462294629847102827441692420057127708569141861880",
   "1"
  ],
  [
   "17306897408969839631174124419775475490139756030255289327636635159961742918539",
   "11263648215516368848184980962326723435552518305311369288781613713068279935002",
   "1"
  ],
  [
   "6232223620803110904252165759887265961901553830265517407248980583733249710021",
   "11021384396066772842919366733933052957066686293903187109660060477498631895224",
   "1"
  ],
  [
   "8450883751496214193612616039527911105354513528340266375604069815358416273918",
   "12141715279681534678360076796955229582211713347690546770678873473553432897207",
   "1"
  ],
  [
   "3901653773830779581881108384857650529860197060186647970673526029656696622760",
   "17977712988584797468529257072582700609627275234050988107508658406143549000362",
   "1"
  ],
  [
   "1441423017514402789210433230686385210496580294218351512436666118375947634802",
   "20241337944358725025985797662660279225270539041258548192145658607760617492845",
   "1"
  ],
  [
   "13343219756125446726371566250397058355281098525045999130359461600847130473974",
   "4980283848846042747453108806447921303471122551327209425584548857772432874993",
   "1"
  ],
  [
   "15018825703793555462845568883967820143767913088170642708823467531160629372697",
   "7918165442188682022789906140050970384297157201891865886299671037855718544686",
   "1"
  ],
  [
   "2245141789229239268322885368266849124050015566370433923590226430540563135681",
   "17190641860561779984459458267071039809741439804501538585270298015705564397610",
   "1"
  ],
  [
   "398592096094709539556014186656726981520368693544713859923981519698498394612",
   "21882013005871558606553512844543213646279223113610696138247384368992159564881",
   "1"
  ],
  [
   "821818659667812179368363339353975202207517577025728604325583671027991019773",
   "4685392585378376592251801533379706500363037254111894961246091749962868564436",
   "1"
  ],
  [
   "16693279589088108006177773493543911582602520438557460861436629505207387534472",
   "6565615937237274067194198752629023979833578662629787136398348532025914200636",
   "1"
  ],
  [
   "6318665529289024295085102640375655050536636404326162929736099016655188933236",
   "20286872249273614790939267492024817505130298246258323284800847709446674364067",
   "1"
  ],
  [
   "4312180783416241276996732611495795136004751011077106646847832274625937721697",
   "21872254184760409516962351554623145451173760301040404511367849468755740607496",
   "1"
  ],
  [
   "6406820604702313328329314911195008722531789035952741585260604784507320342765",
   "9506186106693468511848436132806712126570452320979704172223231652731643919987",
   "1"
  ],
  [
   "9024811029964964478413511965451286914340675989574609339589470556843670465881",
   "379731482432607709005963040523963812238744816766155087038105608162169598595",
   "1"
  ],
  [
   "462758403269713231920154009974828346013248606629405352842653554935308158080",
   "11185822487759583618908838058541195949583903379072287031472339299856853078948",
   "1"
  ]
 ]
}