{
  "protocol": "groth16",
  "curve": "bn128",
  "nPublic": 56,
  "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": [
    [
      "4659311190982864441450729518864924847905216029076592248289990634575680082687",
      "1866766967684475077026429609556327106093807957741725946793964808023715990993"
    ],
    [
      "18110855247484914672502198436947586961718950553755585790284240244644051838539",
      "21724169671419676774033717936126866779574439945101235323290178202491573424937"
    ],
    [
      "1",
      "0"
    ]
  ],
  "vk_alphabeta_12": [
    [
      [
        "2029413683389138792403550203267699914886160938906632433982220835551125967885",
        "21072700047562757817161031222997517981543347628379360635925549008442030252106"
      ],
      [
        "5940354580057074848093997050200682056184807770593307860589430076672439820312",
        "12156638873931618554171829126792193045421052652279363021382169897324752428276"
      ],
      [
        "7898200236362823042373859371574133993780991612861777490112507062703164551277",
        "7074218545237549455313236346927434013100842096812539264420499035217050630853"
      ]
    ],
    [
      [
        "7077479683546002997211712695946002074877511277312570035766170199895071832130",
        "10093483419865920389913245021038182291233451549023025229112148274109565435465"
      ],
      [
        "4595479056700221319381530156280926371456704509942304414423590385166031118820",
        "19831328484489333784475432780421641293929726139240675179672856274388269393268"
      ],
      [
        "11934129596455521040620786944827826205713621633706285934057045369193958244500",
        "8037395052364110730298837004334506829870972346962140206007064471173334027475"
      ]
    ]
  ],
  "IC": [
    [
      "18309573688944280386125138623088688452809083872692035376744546048640448830013",
      "8252545664804877655090584019431224476651831706926205661274438486717503078517",
      "1"
    ],
    [
      "13724968256971608639683042303568749222860593419566750935710775838848837986435",
      "15381662839978225352321616022337218020109204566049031666416886460526425965869",
      "1"
    ],
    [
      "6658337158533056435209096505560783453195590085837382213813946443291522907745",
      "9306572662774936565995161999022633816072552576090366864841219594069985311045",
      "1"
    ],
    [
      "3016212379656281472280944594543865425517575371433088764117523134258049272378",
      "2602541768252815682625947578833586588696693258602863952863513327213075022415",
      "1"
    ],
    [
      "9816742021460791515218039132784611020094104961681834748400830069126900470998",
      "10348426808259784844463456918035576955520609745619107315011093049401321052907",
      "1"
    ],
    [
      "12390552360156525734091763827502679328587811743107273011015150606880160766528",
      "183638701568878646260356724728606591551612270852066271019765173548740571911",
      "1"
    ],
    [
      "18835793819754396966418324264338243421396665011470795519919492253397941511415",
      "16276864664271038368712888193551459260270588753753324433645906101416426262868",
      "1"
    ],
    [
      "17694389750473427714713340305217978269360025960743432126841431716792259216553",
      "9650947012756037818471691383867973710225705683344930781931870909910681707965",
      "1"
    ],
    [
      "681023809986507260745544777274775765194577408747661170783243702960142805219",
      "1932661796175590584789349969886643788412159408887985979675775490813383802431",
      "1"
    ],
    [
      "21017849571203201162910042984857063559850050358879473333160388606658656055561",
      "3911553907221003467466493259384657847945603900216601273901250192843649327135",
      "1"
    ],
    [
      "4697167604081360102767597310388954224248974287943019142969867281938252033279",
      "20914530672636702782558652284783707697405729135251189269702367472029790810871",
      "1"
    ],
    [
      "7369949482368171676645913938455574124222481706187847883741316060813160352388",
      "4727140828630085863185239991710228583927761523693680497222423087252568656621",
      "1"
    ],
    [
      "14064206758912584845837663247671777117618297224535288981280182234011836042358",
      "2471602382851033672482675609087779227944480110933367708761146613365806260639",
      "1"
    ],
    [
      "10736269799746324370561665190090163352937604329850809414102258159966416105084",
      "19020761783205714677938272320357485323859845690764961473649357529923739843742",
      "1"
    ],
    [
      "15341136362541358347806190520786075906481708522139600214759885728822520600097",
      "12763186920235818095034854522833621355232606893991661714344676885217537892439",
      "1"
    ],
    [
      "578923187875322718929551148864821444409122480112505090445143545076478253219",
      "7225896456622788032015215894875412641425708855961584676292424041024877345434",
      "1"
    ],
    [
      "18658344448625472361514517723847121242242621605616951126291199815235032180726",
      "809276442226723012951716236123315663471583381870386200917746106613185945511",
      "1"
    ],
    [
      "5982511498346272830450928090657905047310027938091831616388986968174660586744",
      "15509127295444748557090617809365430814867930584899709527225185467490860295086",
      "1"
    ],
    [
      "15365343054745101753330314041829116085855183564203118460990124415505406826969",
      "17550334504170479775394246899009393639023697741142100255396130594222187928235",
      "1"
    ],
    [
      "7866355633237906295444698578127110324394052841768366342612858876150827405474",
      "21464430858041884878748298065323900366619776908859780580478489782011725400869",
      "1"
    ],
    [
      "11409965274336198784885022968006318806697639878378509836184034039018205539006",
      "2443082599914764314285778254288797740317850473858339183835017083972658705816",
      "1"
    ],
    [
      "20631196981412679591470644564470136894629638047203062147303028037747691665185",
      "16030610042702802775194942172772282453105682971282460674664358376585398028650",
      "1"
    ],
    [
      "5932873505001011489814504863389327841014515111140308423692006170058593510855",
      "17566953660226211786235303649779767015859352055560931781743606930162242017339",
      "1"
    ],
    [
      "3570407908188742187942244566545561532804329313116603204071955254293457835048",
      "888957545326078483334559831881533014254240676372674098014547184419455701116",
      "1"
    ],
    [
      "3277288689053454364185820642980692937625084036430455814141706935377344738916",
      "2696579421093670315121077129338319488278396897166913536990931383538616930167",
      "1"
    ],
    [
      "8817735724143429914354176447563561385550814562843114609784812848112341015983",
      "13601212939446098126684839800441456907956559897949946002758742646493707282910",
      "1"
    ],
    [
      "242520524804255889063254246699618495647968774167019791729252562138656964225",
      "16973052504220229148399058252278309977055266771019496607437733674562578695485",
      "1"
    ],
    [
      "9013440492883720882679839217393830253117904651891690131192913212688263035425",
      "2315255966339599410626919212510568554886702627946488701592576459930568620330",
      "1"
    ],
    [
      "20679024761061200931816572597032340280314547584004877718544566240873670628592",
      "18414855204652616530204390391588003816097467665749731519336041029937302999453",
      "1"
    ],
    [
      "15072238453926190207791223017865893501821923615348984249884825516230481256082",
      "8895769322320811707816032509589818173329092645233968889885933660205774178706",
      "1"
    ],
    [
      "8094336611135960044601785233929226833486685560260660169986135663954428520824",
      "8369015164321101629728699871242940331641480615160209965994546508586139206741",
      "1"
    ],
    [
      "7731401541551544766699504483993337254794583686019158504985376407109162651461",
      "6875232187288241504932091965559094778639331441478864488775043444383484728099",
      "1"
    ],
    [
      "15499568761668065997918859624568562489526362773924227148983177629553450965712",
      "37183277849483539583991543127527538945636653775623877772561407984346105078",
      "1"
    ],
    [
      "4830297224837660087468639850081711742034935708467584422471158078126920708577",
      "3176598632718619413479684717877505425106590182052247940017298335183173430555",
      "1"
    ],
    [
      "10903574547819748549732540241229407360774915035217537369261916171194637443689",
      "8858084338009697021205337490679360111246956214665724578280033119614287642646",
      "1"
    ],
    [
      "15154785802553093403431522473988497260639725114747604440906057109686573477260",
      "17795783893908215353511907097930773017805088530085337443958991067967762102655",
      "1"
    ],
    [
      "2877376750994603714365289452890690316758364618871559804575161188222888112659",
      "21735034166232609946148691607738854948236880094749663970921800614808406570078",
      "1"
    ],
    [
      "3106333406220985162662100498986097229503869771836880247449360175981334157219",
      "17865223479402419176248696836928756900496547663372228667207093311437768295043",
      "1"
    ],
    [
      "697616770606607558981076211967433584976298008163992912003754086388870284439",
      "11906015812090725752663954648490567553779437355520102774022319868767187695689",
      "1"
    ],
    [
      "3066310853266947605681856994423652372406552925855313167141079102185871744170",
      "7626480973749375313659327633446078949888566319591497861831619014932519116751",
      "1"
    ],
    [
      "15547701183470494067964667727872231581260922370486244851758214336411550884118",
      "17254233622002752357409825536770526543691283207810763163037848030419243484107",
      "1"
    ],
    [
      "148292111307819306551390818446543424926350137834811534314052769163101561615",
      "5500278154531033306799803347968647249419995483363964893976872863860493675643",
      "1"
    ],
    [
      "12743968346040894236883464766141708515376809290327284933867605208542292732858",
      "8018727597120067346853370292627401274187160859591238514067106241642604330800",
      "1"
    ],
    [
      "691582148862529301778359900102607488395950567870758626909238499283070907403",
      "8322981267261297384216741120713931240448479642727454047966782335276500598941",
      "1"
    ],
    [
      "9278556347697362408180475360650302879696956102573343825404708863886542469887",
      "9707313610712975990137006496452650791189150375669922886361334038088982701633",
      "1"
    ],
    [
      "16829628853824851952140218215780485977108634939746967111056084269789078029054",
      "4014469364669616007649171544577204356746921930709274053313209030043418033476",
      "1"
    ],
    [
      "6641507292884053256398842662760831671384924006947363057533254043701551586373",
      "7538020194481282455458251442306108143426114350545149178408028117651220441472",
      "1"
    ],
    [
      "12391637512080499257662827283609890066662280564827165438208548685097578037073",
      "19437801841177143231245408244309863501557488312715256561188881154500655967430",
      "1"
    ],
    [
      "2890419354616910106196901223286921838329798511800552609084640710443390163241",
      "17975752498184815248395543766804130572102816400153672759006930380470336365869",
      "1"
    ],
    [
      "6356005874902387613526417303680497717538411035346314609640597118219882038318",
      "8302058795733576312472765323167781290091115643523515316545093550229011458540",
      "1"
    ],
    [
      "11467131470051250993846835458840241675362424681819054061438248446919198169881",
      "3871876403715839319031033065719065817272850181251392446785808539701071977102",
      "1"
    ],
    [
      "15418086696872287571839851755232562114887233182615521852215658895185306876954",
      "15382077575814602641342651729699573330025044617981182458503295491525153173084",
      "1"
    ],
    [
      "3518987841129817544165039005314383353101340037797957633052466976442785122773",
      "13837229004430570059744211328338876274484428344134154507669720190847659718233",
      "1"
    ],
    [
      "7836949953256230571863851319029582093455769148252637278978059072186916563644",
      "16016031450925672052785771223602323332437162896094661214304742145432039577613",
      "1"
    ],
    [
      "20068450523518386339209415533919057643114001865737097665607475828358564264945",
      "16421501709602348379027099074800499750625346088991760891399592152922510486159",
      "1"
    ],
    [
      "6956561678992452882033176540383047718724367746360885744508319174475838500863",
      "852570432177137889322374252700826029568865060946246166272021327148649269580",
      "1"
    ],
    [
      "19239577481052852428204088163978921314665017300758086261251463662450612991642",
      "3132276701298581485739714988349614613303009325166772769288844918814734649647",
      "1"
    ]
  ]
}