{
 "protocol": "groth",
 "nPublic": 58,
 "IC": [
  [
   "19526011409366579990588025301030213951715906703577073975290871624466881592401",
   "19704225241808120619466308438935447262963873917264064669080753233318969572957",
   "1"
  ],
  [
   "7218481415766897306762916767110075847697992625643495798846732092896344771677",
   "1810734562057506037864970683351135446505342561419524855305385566525430554608",
   "1"
  ],
  [
   "1640189422982581804826644035748296239719141803014116052080598186211151031797",
   "7781696247496343071100255748895449136227964112761638882773761539066568268925",
   "1"
  ],
  [
   "1019783362851718589135884871584846731091007700702318392055072177004648561589",
   "18812499958741900484687753662765966120897029726834689506634674431261159346840",
   "1"
  ],
  [
   "15561759052567336872552966722770915260975101273887034098005539514081530527925",
   "11730428660167585547193351712992338394459044787769016092386316685070099352472",
   "1"
  ],
  [
   "1024450630178286178450853989597618731194658350885429138953206234739921258345",
   "7948069502311904001229660361963340784026126140723442378626252475516635024822",
   "1"
  ],
  [
   "8134630773713074896857037173371019670883865326581932178449629660512993310425",
   "6162538535380093935174079566719686610557565288806461488942825301577983962127",
   "1"
  ],
  [
   "8713144302139572077210052963377568333718037671811574593525902475107121219071",
   "13618940145565575426081729012812756247313835929620966248623806311505567102432",
   "1"
  ],
  [
   "2208161957288886407409949471646360867727094427710349204075749603229409811551",
   "19165194795626512061280419859788136098199019550268978813401285308580039446381",
   "1"
  ],
  [
   "1481335695502173099248239238900758768801091349137030249276629661318408132871",
   "5156686038021439018308366275250160506883007416398589471786874665591845100113",
   "1"
  ],
  [
   "20337511777673950886185756823107347060969023608337968294278846656718023200150",
   "3997644781553846440387918107564571745476924483850609244466307282628877247562",
   "1"
  ],
  [
   "10588095668159724333142658097242748201084821311539505166654240692525635653949",
   "1183100960889281823631938371556943968916169482989513163517955652814147785270",
   "1"
  ],
  [
   "14899200894902404684338252010495693209614589615201102355683265977943244426004",
   "6733181143166489149612223364873851869451680106085133952329639843716177370522",
   "1"
  ],
  [
   "1683537073912953978091278971997049690818520143499563010072565648446561661056",
   "19419929908654053003650694876848111465754667348310947518133436565700017002483",
   "1"
  ],
  [
   "14657090907982846377445922373510406393589381865954917955559100596313207100861",
   "13642650140642299314216565478747411703974469867765487295597972222030646618581",
   "1"
  ],
  [
   "16529622819344543978903257968152672100303712811187008674706734962518660200534",
   "9047308189580806381060024072651025924757275727793326189939157176373582276423",
   "1"
  ],
  [
   "3080248660073481279234987580633467131838554544589313213304320336447912874502",
   "12178549914181501174961289691127530013023904264051503031309740303517490947766",
   "1"
  ],
  [
   "15487788123318013174142216619036794699452999597075149645621900875574186695610",
   "1626752354094836838615855864490581912181205603023556119206923761362325487488",
   "1"
  ],
  [
   "1666930804642622665542570167075210228582250288184353798587314779395900191926",
   "19705035825701732447104451708888835197574105722528610005429830999713513944135",
   "1"
  ],
  [
   "6864231653145100847184101019813757441375546934931929553137150578511457821468",
   "11030717897717091434566238005756773466216938437645365639326676041449665933687",
   "1"
  ],
  [
   "17708960029000737859399187469088839058910680034659542429747423649838721586318",
   "17966398620544733014948000033194587396780241478697380962648049866838729264654",
   "1"
  ],
  [
   "13757192009142934986497800326740625614298535990393743419508862715438850214278",
   "21608544818365956429804089572501400134306590793845664759121305528719014468539",
   "1"
  ],
  [
   "2387150367018947723453720841613212674042625869787597370012597855542196564772",
   "11695602459063663755646871470499162454273937998667584326916784819522675676030",
   "1"
  ],
  [
   "3969932184785511719481056173532036069678557655561039720091342741570026295152",
   "17993913767992706963197080864583362193024219058878156591482644926890948868797",
   "1"
  ],
  [
   "9423946557684255938323840651123017285324730158168043839780806631003806918939",
   "20601140822008955908584760520762447153677611366925313301286794723328845538334",
   "1"
  ],
  [
   "12962476762153853692961359313770195651287320370991012193410923729342519400410",
   "16790095546018287000758153406357558316483550179182040426959851702714662233350",
   "1"
  ],
  [
   "11513038453371099732062533711296648120504101464641839310671168933784980314882",
   "19906375207605336857368669180394946464921182728087574346715161382734582996091",
   "1"
  ],
  [
   "2121497929168641193320430463750735744335423634358969475213438628839145775097",
   "14279619451032406093176776946256910631214549125624592712768709224713246159330",
   "1"
  ],
  [
   "11226191782273968706267268899222700962751661296528346044234995849296626637818",
   "13010144704231455483130550798892383439128876102102878476813890284532924199082",
   "1"
  ],
  [
   "11110550860460015317490388108081233932145530993142470924675507899413835184448",
   "16564127121244024114702603123214129039853156994745132309985985728814892932482",
   "1"
  ],
  [
   "16778941937031321722070777716071699346818608459977560423095851882699057661238",
   "4697439800149822368300068885116892100711854565071104448591753229703512600800",
   "1"
  ],
  [
   "15872083856166627537790395064677676672858055702693032209281782235450963069960",
   "10359824654894233948940829295414182326916813602184261612555323269593953713959",
   "1"
  ],
  [
   "15247415861798118260310199809217153579347967502938862593203253520242564857778",
   "17943608471215894498734622964827265729455290707752355804444644415538765187171",
   "1"
  ],
  [
   "19910646054904277798554639079332859903830938020106054338361835817749036204289",
   "14251173391661908313942511660900252216342610385205017933107964019360045794603",
   "1"
  ],
  [
   "15617270263010441782314109350958570541215852291212818016021084008333418208875",
   "21881089065537370063139940701535262435555591536651612422900371838614353113281",
   "1"
  ],
  [
   "6421115626779256473944138173048502514066702768381496596650324103983916504835",
   "3477316365965567489844246613122076671753354745444827471590577962440540253825",
   "1"
  ],
  [
   "16473272305165140318293304721756072118952895979824993476741656445985532109687",
   "11966737459889574739163354519745663782810240444604837406970095410044504857114",
   "1"
  ],
  [
   "5372377827028613665959777806978819222622231879950628237059135069445403406617",
   "10754772058946143812874307806006613255761709338906946759757401504859407645417",
   "1"
  ],
  [
   "14186175579895909616185878057026760618866356046925560400399807036820346884046",
   "4815071274998802335087493250322971182140859271153573841178680570745042169758",
   "1"
  ],
  [
   "18587428576009373156679145442597168345936336951096103073893982856175630643693",
   "16551515971501720092878042838225840381462545412649977468782450446861560095079",
   "1"
  ],
  [
   "20092704064518140906336001291719220397791993391927049447238747943557979137332",
   "14309044514703625249681667739033504979034764749598333744088213698477089190167",
   "1"
  ],
  [
   "18094211252427269277727737867758525438768651774457808013501513791100524400111",
   "1953616651202224570087320348179078176455230140050934991264156573541656440177",
   "1"
  ],
  [
   "8306150994125890187737385803981541016404020628778896850769772941676552580695",
   "9692340394713555790690111046383485596714503094426824962694563185658648842716",
   "1"
  ],
  [
   "2310757642461495319988919139078520159193510139788049016019877513576089825606",
   "8889867579822094460826499233108459267599315072851707155589562022968565836877",
   "1"
  ],
  [
   "18308698969834252376687927943697318806874330259437519073367865794809196122421",
   "14739033668305736376862695711443548284923118719280017423642214528572384515934",
   "1"
  ],
  [
   "21281456929816658128965712205802466600645879143675783709584584463978062814070",
   "11318407702446502058218573109267233739777220569151759825244543584735350643466",
   "1"
  ],
  [
   "7520703426805357030477495741143669754535245601456768825659455316560615971189",
   "11716692431794868904945130966329488889062393077100622718344498934379412336473",
   "1"
  ],
  [
   "12755699673150967843636678152611549820209710341861685811272938968227849444490",
   "8041405236201023920708302321965742245298279037603394500679202870952036944455",
   "1"
  ],
  [
   "4767324308822656869298992811825434492721876454715254600244690065028848020971",
   "7698254074025215726826011606321771959580174521108656914865701606041868015929",
   "1"
  ],
  [
   "5069108519819643877425272525791845153259463918796090785858826854873469677567",
   "19441624293073788344676145862916585919555281266024685026467295031220552700054",
   "1"
  ],
  [
   "19615829997657139098357071858533416653704257439734430213792369647973566826347",
   "20354691099796661979686973753889173391948033275751613338970065504168017804337",
   "1"
  ],
  [
   "11027190822371723497281530686863090859613245206871440157541315964572815271179",
   "10675136011261330036038351905981966853190049667679786632322902689639273096714",
   "1"
  ],
  [
   "6073908302198369305254211170927314788182979554648782100497505455266731015204",
   "230783342774856919928214058753287925592697137855334446779967352493825837423",
   "1"
  ],
  [
   "8065349080015031289241881658385531453814503979517539346801510330252327420241",
   "14735126201189209265547932564409552262152445686850481557202138107408115327464",
   "1"
  ],
  [
   "6452037663171386579712621793513191966255625190206245575651250486849182460440",
   "7209242914697571385995884156916495284148841850843926922191745144563603631497",
   "1"
  ],
  [
   "10593401732655136290887720645830905766352213200230343334980873391309958939320",
   "666955912278201937315337912832661869841839611440234361211929441370598456858",
   "1"
  ],
  [
   "3479342154509588972525995110657563238207085236375361439444008581380409197198",
   "2842082156517941562270865475681450943187927072014071620218399830230257691351",
   "1"
  ],
  [
   "692434019399694517146046655769177702432905351223416354821366078192182076820",
   "3395628146877374571895195099601711702304342467654447561346689703803124051395",
   "1"
  ],
  [
   "897877668313362010234827860073421630587020756077760567259587493004095744184",
   "7566955279869906474734064013485588345675973359196540621993138844162613375198",
   "1"
  ]
 ],
 "vk_alfa_1": [
  "8354125022402491146096524632602954406606496454803779043544940201207527912027",
  "719066282644331645717102069170608708195162774370272260015202086661089311234",
  "1"
 ],
 "vk_beta_2": [
  [
   "15819609270299917787101227421057497064555252095398692710896314899171935449228",
   "12410557311433316645833461472858428751547879560031808599488331029313135860054"
  ],
  [
   "5915247915713704640408458318654604569396223348462269801166279014325877172920",
   "3151765353208434115856893997427239125947497909307782934497369635848305207349"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_gamma_2": [
  [
   "20998635465704765944234729848213271190298703821739579245252166965359275379567",
   "18569698049261699868049342823691041461765011065833511061731150982712719058931"
  ],
  [
   "19643309731014428269860044007048729642835975708160558919248553748448226867008",
   "4057552944219884903616160090555822269203226833340888130271232201855723185188"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_delta_2": [
  [
   "1699455723545013724352264641481223849638169293269636387255739145105164643572",
   "10951443100057856372062056768155654835091940387457226546452206121970064287769"
  ],
  [
   "18091804447302921360663814931698141642678950451776128240905512956330370630584",
   "11051171602925343050692043383444760908270199727214620699742880132687007451610"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alfabeta_12": [
  [
   [
    "18723835367546013216669396584879552615309554640417855595864851968454850794686",
    "2751734539677780406895433411352652269903002350864560518448916000577298711044"
   ],
   [
    "6091631998457053869677482825687515224140938572474416320681319181954212930660",
    "14750817718913847167640471421588191103071235885472070890891565424818957616506"
   ],
   [
    "1503045325833070525242109471593215150873992909765587341806427485400509901763",
    "19595263023959996895029566929430291188201738108321510303592033282761719078927"
   ]
  ],
  [
   [
    "14243067455511068097745434183222546746125426041491764346913202956845188552019",
    "17462170864881388598981702392557723387786493323913878401432726985509236575485"
   ],
   [
    "15670136540447067653418982806709348681767811130611329178707663135867906047157",
    "8632459998104744185409696090239906876607793844814496641442049837459287937900"
   ],
   [
    "1147927280145543088837981995583243716796018112475088793287724642814036528129",
    "15939953021942181393804832630429756290981160876828402349069996652097158880389"
   ]
  ]
 ]
}