{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 16,
 "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": [
  [
   "9134393277137786117877602562175203472042554058536880581948679621094751253663",
   "17937261609492175473978423283366042492782788118934277743325590061927472686823"
  ],
  [
   "13560247966092290370160513680671248860780213214350811711788627488150106599867",
   "21830579691680039608885512644157042138865859432216493093304779889887319651703"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "17592896514411238838534259943087906039445412467749501855660552694930011809103",
   "12732983330708765219970549274392016128270173019293005848551474757324971194427",
   "1"
  ],
  [
   "4884577932082347864149139524102040008488705064603684844915539314596644874132",
   "5456447315604083878474265800827509892021228387863831389892962189069605516459",
   "1"
  ],
  [
   "17313454373712045907554165434725963402117845429222578159130609582778779362163",
   "4407461008783085705651216674025467181197484228135456843989535495240785812495",
   "1"
  ],
  [
   "10893636774628876142899763192646905724708189468282917758613650147010478133301",
   "148896310776292842756025446759984436974180847194558332931999839598427070960",
   "1"
  ],
  [
   "10775675593870925743575084889624246391515781987722804772444693341240701433005",
   "21091396295200083161363697039830865943762788335711072967082811732416412142212",
   "1"
  ],
  [
   "3277805223442060778292405741942548007218490041051348547437304074109624107356",
   "14423944753390168508001610935122911632893435927783118919600891838924075393335",
   "1"
  ],
  [
   "16279740598746831017838829127065220413108847820004536437353222843036288927209",
   "11934056246616513677892280054066225650223628502415902228226616908265848867449",
   "1"
  ],
  [
   "5071131858486439523644545889310168311903353944707113398976996997278587799687",
   "11022965843210062064457659632129711893317662131236104884153566306811626505122",
   "1"
  ],
  [
   "19131780283367531273448020668619041357172962162156115675741827445246630873287",
   "10224436589841763650559926912214172567856653421053590774767009207269607380898",
   "1"
  ],
  [
   "9015890207964856811111785067351720194541561850029096381425406768947368358563",
   "6047643904429654109574184105636835293535463759429215740849034643735922891159",
   "1"
  ],
  [
   "14203417831592538293633573944212232646895161398477212007798306234115933198031",
   "16402598342815946882326203254821041228554468765346033642071484587006914175418",
   "1"
  ],
  [
   "20547058030012031602382050197843576579725635037139342207584317836070120910810",
   "18032163858711245709516724511475426102219042616668426511217798974437856519723",
   "1"
  ],
  [
   "148439843878200889608411203087042067351611646430696078100079098168514978714",
   "9307113381205316554384865850704068163340346564569932871492676068849222362101",
   "1"
  ],
  [
   "21753481289618352374517009260504147501427757590648179575845005895425333005720",
   "15435923224398640375717587240417911857458317269020496236194087111795302601904",
   "1"
  ],
  [
   "15556836099875422007583907774078621468033908465380872159150755233143098695951",
   "1129744811704326861736580949783332840905388382080396668503461990830533174097",
   "1"
  ],
  [
   "13442230315665714018082790733663853073869607935268797374915472095839891294991",
   "6217288894318109502763318183559473125294772219565374069029777927475585687108",
   "1"
  ],
  [
   "13992512973627636194543618755294557224102658899504040367095379192332931057711",
   "5489859536562727184655955989301069690715491550780438666774255315815483859767",
   "1"
  ]
 ]
}