{
 "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": [
  [
   "11108978882795739403743113848246070900465389312108413186874015022464102375363",
   "20078718645031151118091797298223841598814176143168318293271076840285636655431"
  ],
  [
   "9575528622258174467546849937991712530049934885356922574773995086839389860462",
   "19137345668950734206388432772735667886124054373459039222103393011500266521172"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "5275725312362878540782176211860327475781113689246818544623830805017503247034",
    "700769043921060225711174322502145319612473365595920873303028146383045646735"
   ],
   [
    "16577533945604560505206253312979863148043263406037367789711279754781525822966",
    "9408338099405950952721388539539775335199747835458172188116297223654842340186"
   ],
   [
    "12663399896275491035004982800573482669934131767886952660443268164480899034271",
    "4432711152773877173921024337047412943791122852326272337530740732443732395954"
   ]
  ],
  [
   [
    "13121778684901402722679281862736806628725205381360313795132945954337708567513",
    "9534744673358550231812045647241180985734073058548683258847806241019905135720"
   ],
   [
    "21329152369227346659770815132468371951064045353268189088026893413117512652875",
    "17209195434408943681049655974234541356066884378594227002358272904159790622854"
   ],
   [
    "5346467096835895366917814311591075634165750361894629082277248282132405045579",
    "15508364027636868967189209273443690126627947943852338696115233789046842639684"
   ]
  ]
 ],
 "IC": [
  [
   "8068751999231211186531368413841061264122086147044946743389381640938408961231",
   "800490924873834687576602301951084639763057187706266925115864089847257468886",
   "1"
  ],
  [
   "17427570199932044078614871517903916694761607409519261161514275950727304040228",
   "7602899920820265260014664888837052033638365016371637558060878684227989963044",
   "1"
  ],
  [
   "19313129635732412291762428030172975841495621597331443473299859481409913809760",
   "5759562894839023271214250289927555655169756969891058996111249015192942605992",
   "1"
  ],
  [
   "7558638465454237193290215022147787113418825240677303669811679937413029114887",
   "5287468550084039008538157201823502755999091691747297233865950046176239056877",
   "1"
  ],
  [
   "20721529960771162322200004614653499166058730329913976420576747603132557306015",
   "4165818934009328749228447752367186045226901650193998407645908513386119304026",
   "1"
  ],
  [
   "3715803513578260716328858793633559004817049847748057992221394401021192896645",
   "1281827253660624866164064276355510493250045026341637353210464653643233066868",
   "1"
  ],
  [
   "11695234292459889135550624619472717393739235637514553915948347775098238261891",
   "9779320393200449139225470055971453398950164774076789717638672038380143066453",
   "1"
  ],
  [
   "8862423642329133636274196035382868544586157817818230723028496128470225750927",
   "13504129807780006335131423202568039154682671138811685412517320672058825728788",
   "1"
  ],
  [
   "13341969588142644774648648874062104240834578786741669367136698953406174548518",
   "18115999649247883844043132699584980280392290428642041138143476129344461780373",
   "1"
  ],
  [
   "2182352242134573725937447871996257359956584932339450519251613492807362094087",
   "10840725449028383237723611622012454779743491455005885442236173451168357280852",
   "1"
  ],
  [
   "13784301693728752363464352426348642912962132571097027183253263927164948073811",
   "14669854606632844827106204669064658994373713881668641731853931367380316478758",
   "1"
  ],
  [
   "13985754806286139759658099757972223563110701502919899917362184508011601405191",
   "11486438005452138935261059019346694982005977766518453440376188864263996448134",
   "1"
  ],
  [
   "3569158147614311538336525232539841233969111049910153731776215314192628758873",
   "16371378114948415819280305465692594160194933791706369145150719347122869281554",
   "1"
  ],
  [
   "17890674083746416934572360685543569125244486389588630901269940209747161209523",
   "2532862314403916304735402823248662320540586014339345435199287521773041238501",
   "1"
  ],
  [
   "6793620466772899081854842097279214884296792887883800727953704105424711667446",
   "9042612096456234690654201851148800475183913240482897834003833778215722200761",
   "1"
  ],
  [
   "10059542919116260049221870492381734626059653046030080775305213751533538136533",
   "11582545528322252598845925992939557635627165793663579426966618383184916386465",
   "1"
  ],
  [
   "21847154530750891176884580033289861663177164088509460502036888942052284376648",
   "9045680647684815411350171590200483707829352964743890741255504499426293222485",
   "1"
  ],
  [
   "15601076830750717278679020103614639759454134848631336660935694616860688749476",
   "441068616827790925289808980174851910777437419245357492895175970863670495685",
   "1"
  ],
  [
   "19250669358138318834640336329618171768110713738918579252716275551392212656847",
   "7457703174686762469697879392120745221453715099499180712796990848610639863858",
   "1"
  ],
  [
   "8197586360251250055245272357211846033611350384941756903125838739340240151805",
   "6551779459667729556988578538233401643992845091926108874874848328102129474320",
   "1"
  ],
  [
   "2098736067996602865439905652318046810953480567501491142597192449346695970751",
   "21396760068704955352036024313593257237776227035329746931415662614093229120573",
   "1"
  ],
  [
   "20590839044342156999776287831075562356259674162397669536120365967328669114572",
   "17738545124122048930229159578385541371737265746008078379459388715732246834306",
   "1"
  ],
  [
   "7233057981421021891250868521436898006345413229403794238493561759340477914771",
   "7172933349637785450823694084550336548955931339534179269940675997087682609512",
   "1"
  ],
  [
   "20415801425166821865013302422046924131271590170586002516980553000692287213190",
   "6202523806170544354840954914036869950115075983865684165820785533394577996719",
   "1"
  ],
  [
   "14063597202945423003771625595168248885955027408515138598871398661982428576576",
   "10168738150264834012887530828707330819050948845733231526124667815075014840203",
   "1"
  ],
  [
   "8474763414472751727113226307344689136369463450806808209818425712188379867871",
   "4928833181467708232510712886185837666697042759015013521295815964182317179953",
   "1"
  ],
  [
   "16935366290645344385152128706701778481237405857747753526398644171364162678908",
   "16652570783231489090115486118753029229744540867481644615762344616766882022978",
   "1"
  ],
  [
   "6563108688238105439271605576827748806956333411334403470104639253612287319368",
   "11616713979170350868476192032694081685561336853826301817726089954141289960396",
   "1"
  ],
  [
   "431469366992321916564624084875716180014194923255041028343555540650265432166",
   "4690282149088471754819441591513975531552568211027949886016211390040957256342",
   "1"
  ],
  [
   "17781296566294825404285053969985227922491212817224171494652380702228116768535",
   "1705684557191532578260081633177094445807857744154108213208705262547357824654",
   "1"
  ],
  [
   "6714152273934740438674618559887290398399799823206746593598382797679893067766",
   "9190501724611230160558481585282614166346570979164198955139060284317368874054",
   "1"
  ],
  [
   "18312894565529808901329804755120353547619791032617064836300083836540361793795",
   "9244129698541778741606173538026623558133864152338601852722962900944402169918",
   "1"
  ],
  [
   "9936488001599626512409838209930545672943552898744822550940178502734360259204",
   "4192386819812765620056358329779883374558732777847473282047209138701428707040",
   "1"
  ],
  [
   "16256812276358000856676780641930942179838946727030769709915101938264284225138",
   "1896392734563106628819701070196708659043836437092838769463033515362324461120",
   "1"
  ],
  [
   "3890805035947788258596445712685100229377746010576179585192277235030515379848",
   "3412669521294269881323087539127905019024832100782649284638948000184470221144",
   "1"
  ],
  [
   "15518012694549866786501366427684579023215686468507817499433163797815299751485",
   "12548337111912418426107029056744456143444736586254211455809267378474482502499",
   "1"
  ],
  [
   "5345305434154374006008381879497015105849767969282528860369429921386273974428",
   "8053476586191280163861771460938662082221214521044956424339172298791888247346",
   "1"
  ],
  [
   "5458841047899545122303689283236680685430582151619795450282386286881336192381",
   "7914647358313635278590061437506632980044329779915541428046030556938913553761",
   "1"
  ],
  [
   "6524363794861853775225933104481315120487354529392871767168822582572701681411",
   "14555709341091830599793969114343712932462097422241043832946872008383770948946",
   "1"
  ],
  [
   "8571915880370337116733746063123878329133038021065344255463528533943511435737",
   "6492618827075384184758093498246605480527002352869443704572521216225130460311",
   "1"
  ],
  [
   "4998233220261406412695845940417496096820663400192285499516989733349303484314",
   "16536108726879652239930502306695543110840425759800899380666154417935964049424",
   "1"
  ],
  [
   "15642043647192302201226298577014471714918978167689343131487357398358678448045",
   "19242869489812901653699731805686016713193751565239765105647598467900624519754",
   "1"
  ],
  [
   "4154548931668852942225416137163944190758526243990165160389338782650109424563",
   "3391116785511789346600655418830456170054948662995057547155593209402945006513",
   "1"
  ],
  [
   "11223522655314188886800132196042464752797478805538916032375545189579777072809",
   "15369359520606059250150435563641866042047352183827711331632755747972028833200",
   "1"
  ],
  [
   "9828229189025735215641332511486216970022448362976600591972397632246970121654",
   "8257052986245312751461001692105392619921592049525941376324778147746924049520",
   "1"
  ],
  [
   "15095890727222152600426750895133218112591988419569679852537335548673869664919",
   "2190159348195415170430471716496344597010394651372550080896911256448526772461",
   "1"
  ],
  [
   "17519664317140293259354216664557661451092281586149141589944538972936220488811",
   "9510381472436674126912208615573407963633935032462788834346290477235217350756",
   "1"
  ],
  [
   "255594648004252170303129818525656164046697814756959320752702453961792406349",
   "428841151584694622474545258703080971576664995248144073292032154546907480621",
   "1"
  ],
  [
   "3992839493132580607006572999820889079255000276096774033534736533369976294696",
   "2270521529228395496857165763234889459497314738360587180647820136353444267013",
   "1"
  ],
  [
   "21873051093640389813584632295554591873339417360243352142365725676546269017114",
   "12079709385535566662535018895449487257141464744946593177549664834145571452279",
   "1"
  ],
  [
   "17781243629308288610192344782712800533002883933707093725866655608861328774117",
   "132562334479066537241369599051218576928236461399701256554619023123712098640",
   "1"
  ],
  [
   "13330285393346580911129364443697346496655460155386259857608765820280587740623",
   "9860318085722794798549038947818908294654332278246828104981900482185130861072",
   "1"
  ],
  [
   "1069136528805201603722553107343654574458872735992600390196613511890042131505",
   "4412746245500852694146314101871692515693244209502602917491779512621228163407",
   "1"
  ],
  [
   "9725589769885416373117989319741585621505707121613840698444942611439199447330",
   "20719659979106013735710287310584222742525830108016604934164541399456089487602",
   "1"
  ],
  [
   "13434616305631317428804856186173037780938464771595809441242111884200541149334",
   "485406322120668155815698878158118879294506265484348808623677049140995995737",
   "1"
  ],
  [
   "21690134780670771484573725965110940182684246613403063092548788120782391312856",
   "18620099157031907911326114439977577883102567042338266816685407617100588027800",
   "1"
  ],
  [
   "7944172569302942705235053699248436588769503416322770011842701445414131261049",
   "13701804359690649902689328286653191563450261675357652811954734658669115365533",
   "1"
  ],
  [
   "17687768320839559430034494348861044434264081357045452278334745671808073899577",
   "8853464344289740708072305858336831464492940683784786357037018924586700126877",
   "1"
  ],
  [
   "16399892375556544528455306012824123703424241622042402882245402638365015512595",
   "11273434753909875924994155205308657507752350202096219069175464348635492255387",
   "1"
  ],
  [
   "15345457040216476668788043099586819960675736407458067360537982826398442577753",
   "20703149807866689228630922657403346034064978820263888471577544653707764666065",
   "1"
  ],
  [
   "5388512812451297273236485851292399206907362754947355297039866710831385032384",
   "13038680622599207287983706520492999685779247175373967755719297454786515697948",
   "1"
  ],
  [
   "12091948464546415282619670626311619108736558921178752970120431804784384799707",
   "20410174492069993466115804004852236388353517833430588692503275040585201987843",
   "1"
  ],
  [
   "11261610466672659358289716825164546480690023814083107344804459400354718708982",
   "8259129775493460496019953205829715067782689976698497775949450380450748602515",
   "1"
  ],
  [
   "18574136148620021149272295613010177037601606234661170375390221239879642735033",
   "9088668480869290394794874058847793682936143343412872826405037575356477393872",
   "1"
  ],
  [
   "7779221511452264322420193693889813811872779900575742785785047373907929520478",
   "16292913003440452313912726158480755562679384985180411694064168902040511963057",
   "1"
  ],
  [
   "15021556932387174348591277428406182829506062025029654455343035045486357403844",
   "21215417703507821231003250910963993119630130397484595677349829546217391887100",
   "1"
  ],
  [
   "6853402155838423501443410243224218705027813454977035627971790325753329515969",
   "21653742982487930872093866617772171203715318912565162989192994448549105708970",
   "1"
  ],
  [
   "18141885589406800556319823248143522863841011846298966412080508326284566565460",
   "3258937568515643569195612783413090830954162301266352176047589446391105958241",
   "1"
  ],
  [
   "20916280083340615082946811005556013970651488348540202031684621746769102848343",
   "12187026753592756500278037526316327571200869333703466874141360681742302179692",
   "1"
  ],
  [
   "15906707132515985339803332543010311133844276905578137778438169192026768458782",
   "5247725189941533702461089395442969036825407192648330110708260553105649973749",
   "1"
  ],
  [
   "510248890916173637299189916805763194070066322967391843167020248101086627152",
   "273182773420915837608000365467446724550304602625319104982105116830098018574",
   "1"
  ],
  [
   "872169279659648453897038968482217275338636470539315913820777550573391549532",
   "11156461301565833387384276643895344176582640046977123609169434648059664262998",
   "1"
  ],
  [
   "18616430373458453665506096235255701069460458451554367215863806247963324872027",
   "3546599745175505175752632077472527754436437178159502158164483144560604688366",
   "1"
  ],
  [
   "8139526100473242587862904523753625932838383818681712968588218850668115026049",
   "18010281028909515627978239070868190497400397578772517115575286389280817457754",
   "1"
  ],
  [
   "20827575814989834168400030244928416285062871682823433282009969387862952082530",
   "11350237874442882784475778759015083243955580410907049287281743541245184385260",
   "1"
  ],
  [
   "7871835796793312285825810395297903769330780230263739152273972565078977442407",
   "14192188550941050664925105213679795653665729017885185956159525531359349913574",
   "1"
  ],
  [
   "11667390794822473276117500573216704895408604307157067432804225325947617326046",
   "9431944092064083642217496359047909612334959048331610415741699642608046675340",
   "1"
  ],
  [
   "13923111189687795378021056104594477735535562162702578619265870536206027332834",
   "10256816000387562386644863305497366344555470173958184473962951434625211436598",
   "1"
  ],
  [
   "14992515567360916323336957417086640507975568976684016122684685044105678380511",
   "2400521862002401951825087460095089495446681736109952318715062447805283528611",
   "1"
  ],
  [
   "15150763654441638020998886193940213729149828809646155578401909926299746349466",
   "1964499047347753224542679918034737128180110766970923795352815128307947252189",
   "1"
  ],
  [
   "15267739341095239571412523373545800063220281172989959827715782686338925696332",
   "14522870887236370309160392683545980169147826525062560716450176673207833586439",
   "1"
  ],
  [
   "19585218565924322853441805060315448360521007317965446938924474387399316422577",
   "18946187473552944127833888036777220877550862918625227603506114469969223876328",
   "1"
  ],
  [
   "13534657633884367434086938007338347890621704877787995284268769436362644651549",
   "10056379035152329876830954903276435419121495119383039281828012643256419962003",
   "1"
  ],
  [
   "8214788623983478427602261794130542415481132344504951262134110567596213605918",
   "20126257092980925077075487948513939559705844412703848049601412442858540343717",
   "1"
  ]
 ]
}