{
  "protocol": "groth16",
  "curve": "bn128",
  "nPublic": 36,
  "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": [
    [
      "20959086305121726864499442115890215784566227777290393774226699563542589336388",
      "17081629233510077821461342318632003229856780115814156069113112296405254183443"
    ],
    [
      "21001099563652837092184502244800732388246426186410420240640682075854871598621",
      "9515966534769836399953949856030756661751872408515656292149574709457093647531"
    ],
    ["1", "0"]
  ],
  "vk_alphabeta_12": [
    [
      [
        "2029413683389138792403550203267699914886160938906632433982220835551125967885",
        "21072700047562757817161031222997517981543347628379360635925549008442030252106"
      ],
      [
        "5940354580057074848093997050200682056184807770593307860589430076672439820312",
        "12156638873931618554171829126792193045421052652279363021382169897324752428276"
      ],
      [
        "7898200236362823042373859371574133993780991612861777490112507062703164551277",
        "7074218545237549455313236346927434013100842096812539264420499035217050630853"
      ]
    ],
    [
      [
        "7077479683546002997211712695946002074877511277312570035766170199895071832130",
        "10093483419865920389913245021038182291233451549023025229112148274109565435465"
      ],
      [
        "4595479056700221319381530156280926371456704509942304414423590385166031118820",
        "19831328484489333784475432780421641293929726139240675179672856274388269393268"
      ],
      [
        "11934129596455521040620786944827826205713621633706285934057045369193958244500",
        "8037395052364110730298837004334506829870972346962140206007064471173334027475"
      ]
    ]
  ],
  "IC": [
    [
      "904634713375251470428608977923349270556702462360521811785211066975365855807",
      "2250733999739351492179778838267933010753750032027348576630856078720510250191",
      "1"
    ],
    [
      "8251689669018422559151998495457454408689841889208775619084563765326353492740",
      "14695220473062572993499247994660762156721177956044055860003667680960518226916",
      "1"
    ],
    [
      "15727278814710291242035164484898297795434783835736775191485791899532915558274",
      "1021034599834518723036086129035453423537028019217817574431229975930520910142",
      "1"
    ],
    [
      "2908778430150512963041707501449641255247838458772612988968914949372048013481",
      "5413327747658843175493678907585137329564780165000038823459947316879346311365",
      "1"
    ],
    [
      "18856921754278702724897801702551508963431546976689976699019906714921968520506",
      "20751330926973332333917784644519745872650415995999857569589131484323143096650",
      "1"
    ],
    [
      "4733570384797735622170745205732529383411287323891268188900564735289219351562",
      "17420389227408375750105535851449759765692014047836215871669355031401897221646",
      "1"
    ],
    [
      "9481723656881370855933234158631822716075106148342129212574606073374246687688",
      "6006857996061227737646431657593946536173034240754176017581956525949435475580",
      "1"
    ],
    [
      "1653653678118314857413489443897975142327345863198635056802116905603082625870",
      "4621735956888485878774092043942451223636063324856045075866616696631438038545",
      "1"
    ],
    [
      "4385138473102604677241359635008030219065883357485880453399278964314446852624",
      "2604464244988563418807049609935304834735435247110661312134226689800748057876",
      "1"
    ],
    [
      "17122686980649959294981562600027064645551334613215951660832509099142698852195",
      "11692441777251891104593014474609979567291543180464635718000948569822436307945",
      "1"
    ],
    [
      "5223303037980666394625916796933746975613300690634299666512876735862860950280",
      "10286485810361640297450400212037994039356652330744987874502047665270134933755",
      "1"
    ],
    [
      "1235377538738678385529984642453505660370285677143527048887990782890882660620",
      "4201819951168137909450861879341701193287319539584842635119002302296188273173",
      "1"
    ],
    [
      "2997189601502089373620953733355624801067321559879158720695155704964533957198",
      "20003375824271984963072852117699518960722844412582456496310754785920717421004",
      "1"
    ],
    [
      "14599065839277643645733951466018228392156464403343771465881762626594779498333",
      "9274937573374237257780094354614311447071424742169704439252251767637922346419",
      "1"
    ],
    [
      "20071892268205143572923604980919183470605568511192526506088584413399331683716",
      "10758589051235894928438867173378025496657054625853580479802669052800953606163",
      "1"
    ],
    [
      "21871985550970659153325843352754666492447485229504018850714323898680834272676",
      "139863426585483013259870720867044330789106629619789763838675652176332193461",
      "1"
    ],
    [
      "2899815947744691451407580835815689497980287190900306288047355855206271230663",
      "10269430582305530280605109097688262365153331315194353947534269950872884571459",
      "1"
    ],
    [
      "11110326985129913277231142690917997003732778042438806513614502485026809872839",
      "1585473782510847048046853343606145464826299967263661481181026478423482843436",
      "1"
    ],
    [
      "12105189862791912881383514614110765799890465628420459337565406350049089510272",
      "21373975198492474259699947074572237854415177005539828631624396586716269800421",
      "1"
    ],
    [
      "5492432251707985170043258545223592206209068931149718386479413704135918380396",
      "21351983218931546630605653180249756220072992488362888418806839887496735990753",
      "1"
    ],
    [
      "15126015841543153208594936341649630752068574167689699420495922179532064269855",
      "16505251478049734823945571788130006484553612296243067914141574103489304325465",
      "1"
    ],
    [
      "1735078217542941000035969618628910957447785945490373517511601744499809003213",
      "1491120892754723916163285974309066885488951983656282610033728132420668295443",
      "1"
    ],
    [
      "12187607583148058166790506892041232414221029762802736475257420514014254213682",
      "8235225634324919982891170126490285500003745696209949984457693366872048449525",
      "1"
    ],
    [
      "14823766105415513844869603786383601326567142872959722283925757114171898700307",
      "14027355754158267738793349530338415564240598073598168542004315381206265236206",
      "1"
    ],
    [
      "9570533396922207483949075513451882609007301775237606269649332631457123751758",
      "9785534485372439828675970316554414963086856304348131138630819861158444454539",
      "1"
    ],
    [
      "7352378734740932809121688298848123508206801786184215648629959548507560847305",
      "17011205189003360300531199382210062813437770373747696288492823753326372309905",
      "1"
    ],
    [
      "16095969790451372906785515266352292031538510669411406291056488474208729843070",
      "9609373490601709179510252868451086250385962766982931149278324501508219969601",
      "1"
    ],
    [
      "11129149604227951030741616168773345542337112756778093631381214801478963758588",
      "11861370919630524781648003150464093971791380911120440372109257859838102874796",
      "1"
    ],
    [
      "14247847323043071132774019273002768928074521477632025571437229945611602012710",
      "17999154970438815607684342547749535840948284075058478500626993597778699365542",
      "1"
    ],
    [
      "10809154254304601100908022002431205598156549299318477168106543187977547808948",
      "13738513002873584737147510726443026406873921434435742438885549405975769438483",
      "1"
    ],
    [
      "15225972139395608660973049928316374583935291331285041850151725249413591336547",
      "18930939074368097436544774191427660768239286203576091556363626496929989192285",
      "1"
    ],
    [
      "19234710550782052650402259129289746651298414411943866212584937020207862523286",
      "21874233626696439415045023424171184581934636000438284348392861201307313687746",
      "1"
    ],
    [
      "9902660603498297569845862729346672928017260104191020173801346041011513875536",
      "9491126271905763894083148219573803723996485927100608210747381472104653445644",
      "1"
    ],
    [
      "19151054825016305741618739584716113611207373609149283482196247638091755352731",
      "12680095320364380306345285979861148241819248698615383028629687571216991907284",
      "1"
    ],
    [
      "5595919823466477410237635291422413429283969004125400913760698303087093701193",
      "4967224139786510583555750078441380193503128775072307352693061032698029177326",
      "1"
    ],
    [
      "17642333413858395729111899297650659000968082101350311407389274615768874269208",
      "12029021477677076243582427147312871997502389719709367390891105326068545078436",
      "1"
    ],
    [
      "13891127237239518237188543302289288598898911314614979064834104446833493235850",
      "6929066370321593510857316799076062921040569731915848888568792113924054568340",
      "1"
    ]
  ]
}