verification_key.json

{
  "protocol": "groth16",
  "curve": "bn128",
  "nPublic": 251,
  "vk_alpha_1": [
   "7923780991288505057688418440412419657443944409920493349444598988777526173689",
   "378628097000627748084384540102308258821512244930070200651035294285290427375",
   "1"
  ],
  "vk_beta_2": [
   [
    "7315765875612183207725898424512848339691696844906518964335865081929898752110",
    "1234769559200396542127125365807114135304292422451141405947731902412290563991"
   ],
   [
    "11592543081788064412027965953622395468083817779391506342903710902144852891992",
    "7201434344529364601202110887266995629613011065012498063297142179169438663014"
   ],
   [
    "1",
    "0"
   ]
  ],
  "vk_gamma_2": [
   [
    "10857046999023057135944570762232829481370756359578518086990519993285655852781",
    "11559732032986387107991004021392285783925812861821192530917403151452391805634"
   ],
   [
    "8495653923123431417604973247489272438418190587263600148770280649306958101930",
    "4082367875863433681332203403145435568316851327593401208105741076214120093531"
   ],
   [
    "1",
    "0"
   ]
  ],
  "vk_delta_2": [
   [
    "12116535040027284176709852453694271783063535858452656630648947852665911097417",
    "4357985873459664347605448173124106318830889803640090087890531782187696764091"
   ],
   [
    "5531002651873479845993725801730047196779214602973850496275976438736389049537",
    "8615072450755347481631355590452981798588644088238792785893420280157441730922"
   ],
   [
    "1",
    "0"
   ]
  ],
  "vk_alphabeta_12": [
   [
    [
     "6912895123789080818135989721420631086899028605828878262174011373153540625899",
     "11425351945938716373737499884200626729821812370511349892822393891460820936348"
    ],
    [
     "17128332616181053146628093485947880788253166196477558314753605244847616723149",
     "19485390583172103361820936263802831450829356812032718441335167908518111056680"
    ],
    [
     "16279899106426332873022474327449599646930495982543141244592403464845865011367",
     "9963747519262505206700041981078669340876235280911583358371739647165261630959"
    ]
   ],
   [
    [
     "3293795767522765495795124405446553080407430644542011289814713470483371167066",
     "14101165798182112893163388159263130630336416376307912131890946952271088576905"
    ],
    [
     "19640230333688418487093254704250118966513791791129255327833366507619729394343",
     "10778306369382850868721510282493790857558793888724325379777941413043517298769"
    ],
    [
     "1600116280255315087634608232749722464566676679722501059942953186480890133910",
     "9647800714579402136182667661716964061982925357761959690389688582145320918527"
    ]
   ]
  ],
  "IC": [
   [
    "4318216806496944102873219128804697067037724409267304285315504114357300277460",
    "9832300128071629556851765165171839034540226658322240220073351075894407140501",
    "1"
   ],
   [
    "5258032364701502941406168795777177265398321434289265336109025049349291402302",
    "15548321193483919237918900472792482122713410702940043908527116795976064548441",
    "1"
   ],
   [
    "628179641384594894667017170350171217246767851233685469359521748966282669584",
    "18910037138777131040188092418769258898134284140156240259483908225655675672251",
    "1"
   ],
   [
    "11798115977436734495080437989650264029552861896503238939222393681709124563410",
    "6104004294512364005016623607296106890619859775974526369515984703583206165528",
    "1"
   ],
   [
    "1839969742180182671738842859419304601905491997355538759853018699064786606274",
    "16284018094563225087636249169595206455384978762527237801661789576426067233500",
    "1"
   ],
   [
    "8010010910674642978801115984822324353718020275353485395326276832388425060303",
    "10206557707927597820281970478896924337850344703275693942517962823431201167834",
    "1"
   ],
   [
    "8542150470569146891774904722075387908996228087908492286509954568896571403659",
    "10500541287777014994635682370225943523887565308742412603248573011426086846351",
    "1"
   ],
   [
    "3768414375564970709569662834771150687634054136857214408748881059947864712948",
    "13835182650735553612701271333722309611598393896921736881730415801493414684606",
    "1"
   ],
   [
    "10193336614074777579898145100334941285327220400824953849866206722359841294654",
    "17012933200672376896255662141720715188313888604105461779670425073882101741616",
    "1"
   ],
   [
    "14905006109467747179257721900119600109760471189991882751692216213180848983261",
    "4996321262397064033634918669175733097883709458069561979142657878999303065040",
    "1"
   ],
   [
    "19318916216257363377590708436136197007187045324937971481462076124378155242812",
    "4304109815283588740334291643817671922320869422306318889272313203233964753264",
    "1"
   ],
   [
    "11518236069353884964728737386749630888288760307811286501906339996871323837842",
    "20743527563313109391182941962455638698929083998138662276165260899870977104005",
    "1"
   ],
   [
    "11964590544645861137202964899562331666366281995568683253305386191180824358356",
    "5825474377223614004347372912662003172089095968665275376150861000000811443747",
    "1"
   ],
   [
    "15127236769190898210287457095976370934908946113003310022574180160999703266558",
    "6960779546065137951014378239714441709042396017553090411167811391327370038175",
    "1"
   ],
   [
    "14362246198040912653114528562127949390786719003912045510711346382841250521913",
    "10719680199477656352244435611007349855425733409752802501669350294618391214986",
    "1"
   ],
   [
    "14904718903614873283117493904400673289133006778230842007334145848735045707880",
    "13727822855216635427835839063934156776166810237723406578050739904835405602346",
    "1"
   ],
   [
    "1585607599899926045349074539144026545768692035191985242926774229407339495522",
    "6252018924836958345721795562462413816803625650018039017523368163197889052157",
    "1"
   ],
   [
    "1505654999237968459506253187206329950193626825895970042832871073275540758098",
    "2723935197021321895586203523229948114419187082348978255244898624438885124392",
    "1"
   ],
   [
    "9829400375143346046029066982521914145081919677240881637127212618650315631265",
    "344238508719430606267732046375995485115672508152311102367143024019970588729",
    "1"
   ],
   [
    "391192283489866503768894752044890338320759282715073855059953235459364185975",
    "14016498399195305736201059142024346172938578727022127380214535227291903703378",
    "1"
   ],
   [
    "7685673580920481486710174932680468453909983265783964951507633782411206854936",
    "5085892839600703551556484024658489686805287611178085017605882032396095543261",
    "1"
   ],
   [
    "6643307902983545977252494632717533042512535205471563676020138030894240878566",
    "17066750711876079498072765005886782773227203256380949451782996701616766321509",
    "1"
   ],
   [
    "12335841437054055950836768405855561885454019778651685965467123385705041699455",
    "3013505209243112815061418101772389322158204622996254863886667141972810604749",
    "1"
   ],
   [
    "13921067073413020515708221357866006472765729650172343874780505284580249908098",
    "1257119383071619951170515892145228565486711294082438197178909068668657310957",
    "1"
   ],
   [
    "21289743650239166248486256936764274558333983509381373076588446250820549364421",
    "11380671974567108553696580682944313346016728298274191283373562919076425072380",
    "1"
   ],
   [
    "19752240877048198678302601442029593368954378648305423993237889291592864921747",
    "8043774311116410682738214614333408671498297438021860256038244936489427553076",
    "1"
   ],
   [
    "1351948807399307132221458850412381858222077464805785567525578102306283661000",
    "14139284879700155456944173446586003816554672579275406337737498366420102516899",
    "1"
   ],
   [
    "15061856820263179879044932839959324922972193035842867028031208021260907235654",
    "16910264423261969068626763254129861043683867893508033046436188206868719490995",
    "1"
   ],
   [
    "21478943563746395253414618934862290956641414075492833149993687460063064712991",
    "6540219674713878214062033961799507251472378059551753367798314332161632502070",
    "1"
   ],
   [
    "14005251932551150772622469438484526329559007800753916008681511971889651425284",
    "6850579756449063608798349662791740184401749626114515428711206610877290741264",
    "1"
   ],
   [
    "21053756887972705132939451757997767914871984979701967333623528517073388617030",
    "2460331531168400365697565603403452772821230464464297653120757815662378431732",
    "1"
   ],
   [
    "8880096211611308218439553259313096078256787371754380600854525191641673210964",
    "10483611563603833843315278765673756238964810563274978861240191693373737571175",
    "1"
   ],
   [
    "2509239511439709653338917718237109159351454707487899300315394677911093165173",
    "10454712830240350802194599267247577539100590160422261450439067769283195068307",
    "1"
   ],
   [
    "16170174852479004776719472972758640653899258403742111306903230023111548598537",
    "20798243415537178592420682226095773864453492277522940088126970568537605339539",
    "1"
   ],
   [
    "16102628821825536365367795287273690672714381582953976303108090648300060959200",
    "10045757088407806186036700584092020047154986432624527789964067398313675096511",
    "1"
   ],
   [
    "15564979921896614803479221630717571052688968668141992789824058180538633705366",
    "15146704423839949006245072545830223824856649184720405004068191553958097622662",
    "1"
   ],
   [
    "4797856376367045585967462572912484401367239323340332653640202604401404982876",
    "7369096343019379028480228113315632395417553396088766951175890079691246950736",
    "1"
   ],
   [
    "1238925429271063795950714702544693405297082327617817574568206182672798122964",
    "9936956460286805268311238314703332746016131644048091737564462763365974664044",
    "1"
   ],
   [
    "17848257699788461382852991587557972971273914678664349993628366392127282245513",
    "21655778191912659118364777062758393634641109497149966569194113334060690976436",
    "1"
   ],
   [
    "18692442936688835154626115582525248508130096679804089824066700613451349921292",
    "14139169372046808041810583466225178255597653023233599344205780650913077612052",
    "1"
   ],
   [
    "15043224492545877968029936840595172649030742636210373313395441859918611142537",
    "3498426877912285702971132518968138961975381812914631666819509302900297663270",
    "1"
   ],
   [
    "18182468753022780276946635317821361548530206067565847162336226940267927387428",
    "5271518462845113526955559699541161281382239486897194818709505991791640981002",
    "1"
   ],
   [
    "17520177461211236670543135589017075986156405839431226670625937004602636556463",
    "14689845350322176260533604191692640549303624823408751667684020489477049954647",
    "1"
   ],
   [
    "5836195078273213369033251750233802632481356452383749737464083088149611583348",
    "12739458674438533680387642126292872379045414624296030311868705027806950242657",
    "1"
   ],
   [
    "12463015267105913239596498691436720054867894395759564654758599930516041370696",
    "20083021521205920505262475124537776465268695760818781526846603436072989733489",
    "1"
   ],
   [
    "6438403642066580268929036532537590639289951836829789712026205143179925747478",
    "3541312913103427489570276842170467424572303843688349724107848444173154266786",
    "1"
   ],
   [
    "4593755992997121781584860999776843222944580896100491024387628861247719421552",
    "10532695509595150157059356702994291766534658072845214844236913081074485938929",
    "1"
   ],
   [
    "21015189185710134218455048175961387288215048023194526697740932271193904508224",
    "5284527804672150209298339896273702318080858475663072139370114980029841783355",
    "1"
   ],
   [
    "8800925065316747071306273175453305469608654537428583149324653994413381100752",
    "10391972234669875647154546160886354464997352985997963673955997399498107792777",
    "1"
   ],
   [
    "3986058999748832218858785230018695565794761955272754505521680439570552234722",
    "10614587721439920008031086084797814465202705708285682903672826389400248406375",
    "1"
   ],
   [
    "7103297484572233274239850083362974156341024889678675508189943970473224947747",
    "19057398390161437805765448253693390417534523230954693348193753866477765247113",
    "1"
   ],
   [
    "13083489980384552048429802867746456854302170560399797769820971601087499698495",
    "4710584705232775135361455748540905705190786678012895975733879797417340730775",
    "1"
   ],
   [
    "18552224992023399768774142422746594488670309690697553541033871274113138807250",
    "2395771989629241382446936341755570100453650944985081477098215943822956032375",
    "1"
   ],
   [
    "12152048182651277045085339827016238070415255606160638808175969554750485982598",
    "5634821905127684417259295029309300776269653700866004454639418472781759398042",
    "1"
   ],
   [
    "19108926851705916243282143835053301449542504082729861572815736466200089583420",
    "8839281546607506268243012611512595767765524747287304568251491214379756500219",
    "1"
   ],
   [
    "16171245593205536766304254679509935003488622434907648209370940397925899209157",
    "16667160746435692674306097003390646756595248831308643564458420586080555764733",
    "1"
   ],
   [
    "5830620360038295051703245745157308699515268620132628247682359480356868143545",
    "973727356601329970663413468516377121122332775365113162837292564460096929415",
    "1"
   ],
   [
    "3210865409014652621360176284300628198608870321256486507678244352033993177764",
    "21304428554086656807269147757280309139306024596467165650357631216605647949364",
    "1"
   ],
   [
    "11321166208964194465243746168043203999078435978685650403091833183442837364748",
    "12954955972082406125269324777354991040992979144931854867358569552879234199161",
    "1"
   ],
   [
    "16263322964311304447360368002009049945433517435443644686546471431545473439632",
    "6663551360268168013268706651951588365034337415266005272672231343264901290425",
    "1"
   ],
   [
    "19860643368062255436180350135548271214843564197344839137450183162544811775412",
    "5407692504695027607928852279674850565570584323175649260001975625583694981877",
    "1"
   ],
   [
    "16058997911866386839052544201434280942819345346869480004359528339720509794901",
    "14646641829647454233821855355351768633171346597537143302417306848029201818750",
    "1"
   ],
   [
    "13648292384618901205241136403298949979179475728972963731837680188385730771214",
    "616798119932631157697821661609647978897906361224750837156273310309038459266",
    "1"
   ],
   [
    "2994367934782425919045090127699926625629881132575551613701399817503975586971",
    "5077171945470680101580610160007021749307495680206408055731263547754762233163",
    "1"
   ],
   [
    "7349032151000027079825081503539332212196326102571395554939842480705936770793",
    "11013481134338503402797268473433521099970928044074942426079262479121546864265",
    "1"
   ],
   [
    "18314551604961866531310499962578339118211022763933620543650700849265531958174",
    "16852991739170567637589903149265752283967668347113194011321803961181967058780",
    "1"
   ],
   [
    "10928544345388873070672901954511224310037960103903935654530141037886042704082",
    "18814525347347412598612895912992659992549885835146015541288544488825314580728",
    "1"
   ],
   [
    "15555550155847436391750300253896510552907613047925047108571277223283613340034",
    "21682048061939292257336825177214513007794918063010403274655668373241745681316",
    "1"
   ],
   [
    "19799590551966377838351275782744739521053678467516690570025797459372188631360",
    "17125354492998463913592100272187469376134629241567738109648980515241525638343",
    "1"
   ],
   [
    "8871233291945013968447902729562146954986518357769842093522625765971921874046",
    "2442966413777754419191527684340651631003923026829550421406100154842172605357",
    "1"
   ],
   [
    "483840534144995649290779809061211070256387492518824849827332067810936948590",
    "8651682232213663809686037759066459100698878261014551819205886898129861364081",
    "1"
   ],
   [
    "7770269083589672132957518439410282906053497560208765597414614693119435694592",
    "4431555616337849633018948902195481298912766475988457484128038513608966000028",
    "1"
   ],
   [
    "14875790341235805390471325435922277339522969674506503737379289301387418766488",
    "16253520493701361799545770865973479505606988166811180939229559125373201982478",
    "1"
   ],
   [
    "12238720264733209603731384439709640972322680984184951904155049981321937776410",
    "6855640780349318832592812653261122584856099367996161000154675146336493322587",
    "1"
   ],
   [
    "3538990444814521266901257179264860817198452709452713021591681800108006860302",
    "166867624571971902662988357337313019835630997383594331390592437972897649558",
    "1"
   ],
   [
    "7302847547879086255054338031758906363197295957300120383095575706429845957447",
    "7373468925035356604384098700230395839773970018253733900474011874083504357376",
    "1"
   ],
   [
    "8445065653349508631363875728288237892757412308378488287417895726563817208577",
    "9454352201582752233743017844062841553791420112699280235277839405200418857782",
    "1"
   ],
   [
    "5423430715989488014356356808150931061895078555983370842842264104656672212030",
    "1125729975130589337044038315037101743093999450652277014050452485874262555021",
    "1"
   ],
   [
    "13125684061842064974067570038210207704586468092681493843492538184373698026487",
    "16014533511977261068555665208094625088148211045942858848353125344493576964332",
    "1"
   ],
   [
    "15372287426091681509489651315360504212439956556284609926068279908692237805130",
    "9177929255973345031751140178453969625248531004342836446338843041386166319761",
    "1"
   ],
   [
    "3571297533643928733712871301968229797322793189895184213750920816371474138741",
    "18837936347679937592884460820538389833017902965583510275902772874931018007711",
    "1"
   ],
   [
    "15795666630688409962312042519138047419154166036498431434922929709887390553889",
    "19002180472941628631580742359222450233556454400264654376293407127676455205947",
    "1"
   ],
   [
    "2344587180529439021024271803990239047635488871328857719010146976322645453948",
    "1656595586000121485522573307014195689867144887643994378827126357692922147453",
    "1"
   ],
   [
    "3462769496576379149424477330038806150975087353198001201531362049607385939714",
    "17921546898278935724297702465211946733338033822029730661030445295456729486930",
    "1"
   ],
   [
    "8177764027007611079530222623568852051946380130314211900819702245103094344261",
    "21735587468868957358707123640081362283917812461607047245521611691354363982808",
    "1"
   ],
   [
    "2873065480493401301301918412812606560782983443984347561600502738812749906289",
    "4768780976703649048505603936205648982102689422479878697493416214832275888712",
    "1"
   ],
   [
    "4783866472173105592352540356307358234969871656095923045754510543582272625116",
    "2338381781042378277429058758682302787146046685476771740266688564490567956592",
    "1"
   ],
   [
    "9999974763637640806621222597315871564304427157922784068286563385120208324246",
    "16022413234857130086242951248280082066261335534125400597537623298837482653151",
    "1"
   ],
   [
    "3795455328423992201903269182543497793462523587577582806247475643857978283321",
    "12796637366647480362877023955228941055181552846551298121567679643257148124454",
    "1"
   ],
   [
    "12883231338404069781859571940090283861408631738096694671711581654480843163340",
    "5114499653610627488148387811549389505050514172215184124492053547264611956260",
    "1"
   ],
   [
    "20134373087128868880220537304219204075027114485715609380470724983016245142709",
    "10237987845998831698705586664941962714004591462076024477197655564587734394066",
    "1"
   ],
   [
    "14702636125705251076523791956227620318512103462983795769305756145326399344500",
    "5836553496653689591182137597882012775228607232844523894416010345864153078594",
    "1"
   ],
   [
    "1643074426303411682585872601318009491079489275336074829071462445974375156525",
    "18637549172523903875513677970778720833781629253184382138302849678504350869915",
    "1"
   ],
   [
    "10199230402314591697466899206935062908098620361976237874682030428171286538389",
    "10622238847835420417446002584023467082045351229270891734915124107803689530046",
    "1"
   ],
   [
    "3474128760150981958092477012181023331305473796444506973133766899901293829432",
    "2551379046564267729914806017056862847511536394143631295283954439385536042012",
    "1"
   ],
   [
    "5802598727190281995199481630418095273371703688242967857081169715691849736380",
    "7908574281013013821156998612182704239833556021424825097048874689180547431018",
    "1"
   ],
   [
    "12852758027095168181243434876297168549618850884447392102211117443973714527702",
    "20151776376337722762708256335782012549685954542350121883239815609698823034672",
    "1"
   ],
   [
    "11135990690036310081006746142879672661524187066507830186410424628852915653490",
    "15838212467120252033039825637237277038920609432971467827287644316724710996874",
    "1"
   ],
   [
    "18963999280287941403413946872291408363557813784857878621911248265941592498498",
    "17310436673639653745811943098530172153828028725970264766927935679336375486740",
    "1"
   ],
   [
    "13460936525068187123085621590998297491636207243506829744545254695877359175750",
    "13763971282599012698383042090126527765433672553007984035484766472057068276796",
    "1"
   ],
   [
    "5089767959363823786137785847397423792597706133465602653262576388724910668666",
    "9090677654811609403499382062710829471723837909812118611395141921159869425713",
    "1"
   ],
   [
    "7684241514489889705366345266898065032917811377861577631048125662638892970095",
    "19403264473141784445655177223733937534383229770432983617163277306010140137038",
    "1"
   ],
   [
    "16073498617814823707639946974147971474753411038314689214584861136157131227742",
    "15235470941521398015502863611833331806626985191429279872170642679786504529035",
    "1"
   ],
   [
    "17292560149735207141943981553068466629599042013717769132283740623241880607134",
    "6112314634594786010380652254910124471158316320740713318406432229500072202367",
    "1"
   ],
   [
    "11238644341320501586658103915244304996123011783585577236925868184231836860215",
    "2363389021839026430896700960044169605122462866608327892637777173489406850119",
    "1"
   ],
   [
    "6880262027910531466816170127987417434707149868320038259007942223940047031348",
    "6902770162735356030649715220213073416262451706702853645491327599345159691515",
    "1"
   ],
   [
    "10067894596174804708772628504749309585717721814567044453296663377894450023121",
    "15116894220721285414597187413476875117549928980770303837980322965534391427405",
    "1"
   ],
   [
    "2349386034053221277469632998143276634143475845446894375853496777418432965966",
    "2234839156628720233032715740711975062923877022367833443654621363652694813682",
    "1"
   ],
   [
    "1474083197851162481317975312043163134362220623050047536936678922511911033194",
    "15558266138259597991038350930069227060768524198974254599660996913703353469676",
    "1"
   ],
   [
    "31684217648787105177403401479792963079282006124690208770917538738402695600",
    "11375850096182136547739850538210225630185518598681484652581897059770145275696",
    "1"
   ],
   [
    "6543558244809001327046903319211014192836914163547504968299014474021128540161",
    "1276528448082957955929970243064352000715736613817614698375605029505033824919",
    "1"
   ],
   [
    "13199476483825308908090813425106706069173036912237588225246705527970994360020",
    "14873886304873477009278070137896851981531395283804942850680818538676270175723",
    "1"
   ],
   [
    "21097694198011687429730382405438686142597742358989750680454986519586535487729",
    "12042525194578233624818938013640653129751585136683620473251993654890443657409",
    "1"
   ],
   [
    "16428246769515855138290084988564803123824855108396610833356904826001226382401",
    "10921908976652675878726711012757710004434704267172071002249079121929192900239",
    "1"
   ],
   [
    "531885219534393723727948605580232510663469732206782941625023668260511725185",
    "2916924498901976906173036013139697696289636843562060611714161580033320283061",
    "1"
   ],
   [
    "9767079613468525072617766316544290073404519390450589516032941748961427120727",
    "12112383852964040319232528204418841269204675808196365449002365585330980545022",
    "1"
   ],
   [
    "3700930932837489927149348126128776099917419809780405085821013474562442560641",
    "511559629885966230343185211738287761520885181334815602131192448114612781009",
    "1"
   ],
   [
    "21121900413237784162306304403576151005993916645838148984618577100024304323404",
    "8899886515261298685760485264721572541071989568743109729487673909767689192093",
    "1"
   ],
   [
    "14814222772156622002460587379331032879292624421659713586920323968054213530421",
    "7418780735190736528976019629123243393901602779198214077459381442590428194551",
    "1"
   ],
   [
    "7277371366974514207463491486687105238641770824447328358294140495411962043491",
    "17690945312453348784244095230943529823225475444384784339309139444095048519402",
    "1"
   ],
   [
    "1723295001926749230556003086514318367233537920141122759998768321101741800946",
    "19035261340333140127750336220113392619606482942567873786352296251757040316497",
    "1"
   ],
   [
    "9229342295770127093614513975647174784595848603572563374085098608941698437770",
    "13791707434165838523061864110470553719004319108332765883597979263133646722294",
    "1"
   ],
   [
    "17163387222275308234840542413251660704927286923954943743867952367158516581790",
    "16528892759619888713604452668510355501180777582077975944614830034254451430849",
    "1"
   ],
   [
    "5668515617397890420091119917330881556984206859027485921126093746278594248063",
    "14464641398829393722235537939294993858514958986346295578102157676568028806199",
    "1"
   ],
   [
    "14171189154433379074426982022688671478400799394675125759425122176458533741035",
    "6339255873102970975482096144567138997815580329327163253623028983675661399219",
    "1"
   ],
   [
    "1153790696599519329183769312774196571042242302740483533898998452265192827791",
    "3452512525911216636739114000357762816341644860169656074482621517368007696246",
    "1"
   ],
   [
    "19068013214584848131041420116098329827194297712686431435134664743713570760531",
    "934318167364688362517939430900973524922949456836091643704911838124242071310",
    "1"
   ],
   [
    "18412713202225202998756963611681291209827578150530254167277044317993634138879",
    "2076092392907566744697398664300206192840994733937307545344030050884764505797",
    "1"
   ],
   [
    "17627456894109958890189759197323490278007374083650258194482026933991111934589",
    "4337580226400159671020447092317300096502363790322272529362370614223880961627",
    "1"
   ],
   [
    "20004411966840783770881004272795565689639897400422001732921374527486846183007",
    "14487534308124624482406779847037864177936876475626328887295565691209472970248",
    "1"
   ],
   [
    "4895287781532332533921910983960627180194290716258676089900703235719590833788",
    "14833439486488815953837791103107694295512205970473246196957113830618093767072",
    "1"
   ],
   [
    "17946590590362395804653740987174879322618644295972935325914713205805024040810",
    "10951719233298818707136427988356298820424216743671612413116355224583195172875",
    "1"
   ],
   [
    "17872443888241504651597070392816721651568207983232842695479381765894792762509",
    "3392951405277769232958014913378307859471656024175598069633269580984270238273",
    "1"
   ],
   [
    "19386501138441972286108248706975729355351866491773199921559869559520801097829",
    "15316602069952195924191315402931232772104126276440932962025327716579494127109",
    "1"
   ],
   [
    "6135323177317311202399995907234177536719735053010984329771596300245545142076",
    "14939508523552997972432862967426352209106933347853447375204851523066966861825",
    "1"
   ],
   [
    "12408184158788452328741321135983413467206038845100807464418944395551061746281",
    "10692426553041974217448767718228187294230895104966431622761827828017546049931",
    "1"
   ],
   [
    "20579148926732937128276756152929006552933798910278927210220376685040572071694",
    "17222492025768864902769581531727991818477778640984281492005963940832079580873",
    "1"
   ],
   [
    "19133831630295002781550868764985705799827197856932407151070972543575641447061",
    "9607796405192730937217362968502971621605466623067357303118140664956258724030",
    "1"
   ],
   [
    "73715544202848708052322267015305588537639921944089313335757083684486274796",
    "8522784541356322921387999868376409639540987475997989697734468274059845839668",
    "1"
   ],
   [
    "2826253709421454689698312390810266370090109981693123308702362751751870163113",
    "16072802562280914157586041362204016111572114349487672025836685350341432400028",
    "1"
   ],
   [
    "16033488917082306954110248879130275065236737290403860777498150943546251201289",
    "21430229271762975060704613670626022713127951023733690068897070853106452424317",
    "1"
   ],
   [
    "17761014614318625676981294526036048819336960553410141873266205896248613337698",
    "5347183899054753605223159182660153894823206836634166706010791803877036161711",
    "1"
   ],
   [
    "3643668501133193385234252559962552215465209950825095051768419333644208916466",
    "2302981058709619840399072345284651231521652165451506977700473701504902574230",
    "1"
   ],
   [
    "10501044990409771971435937744566616780313959265715821890322970290712946445745",
    "8577374320206375529283341887708811557325092032840233526884313392943696766314",
    "1"
   ],
   [
    "21384674173707481440323956034118436952184379087641737953222828383993636928526",
    "15510751289682017543025735311759990514259160457736978852344031939919238708134",
    "1"
   ],
   [
    "12079792616886461322413143794615088972565572596124586808749602879429039079744",
    "21576457459286545754777048370104762791745519382018616640459689335138426871461",
    "1"
   ],
   [
    "9293103068787304250819220486900257146388436730404991455956898600108632580079",
    "12870962915457920385411500888627647647836758305290796605892790851228382533936",
    "1"
   ],
   [
    "12027447167144395962554652240787816041846137412354506649525701446465252746254",
    "4020431702946208811088071116567091621120054755101224941631031305009231175167",
    "1"
   ],
   [
    "10949359811764218534286931838044549349508143339202274317953648363229166439720",
    "6765382141589800718156392836555865413605851472816548893939330046154595097709",
    "1"
   ],
   [
    "7421749031968898216362088910754680594536104276573426602875530865837648768553",
    "497905505308906494162729555579561723864730382662818462119376836887666850553",
    "1"
   ],
   [
    "5440047434402068401724322077426601378287676496758598427748887123433884684160",
    "14968483143101536652998134940104354048767706806333618110232318979862864268649",
    "1"
   ],
   [
    "9242628442129151302664053362641457485856456492228986229723034839539684458294",
    "19576350520041566017293200037812474706818713520306359754903578365328470318813",
    "1"
   ],
   [
    "15275688334195806625220116635249655123067004266581330115079186782320722293605",
    "5667231953496577432873648418155480234528996172144705543556359241991392145575",
    "1"
   ],
   [
    "17210031678096222686950340159389282878345695280250576438246069194998473721697",
    "16714875774220263801962120913180617304402455154360779807064415989580197541916",
    "1"
   ],
   [
    "837844194869052602558744060126398717136322472086813395333188665585837534254",
    "7571436094290451889814377156608226193285688370593694430536161897129121556550",
    "1"
   ],
   [
    "16423747392838328406504486806994839642459901700898842208386478454759921337043",
    "9227717128632823457188065595612738352054470672250452260523401309505216871729",
    "1"
   ],
   [
    "2692131246342929721899623964477336571421004330099759442145734242528338628660",
    "19372150421403396388432942820592682752469556840536970602164700221507921780917",
    "1"
   ],
   [
    "4000423709808887755083992838620637929394796180388780154755189005998300572998",
    "1500026309232947376289583750691115829230392040420229007492948587490366709302",
    "1"
   ],
   [
    "11182287333615367673484311818021613602706248229622775750689503866783898972475",
    "5995687695566976550559904741824691631958958260787962066731848362468126902244",
    "1"
   ],
   [
    "19335735520829615094231434847778696646565514612760424850403155550357781411122",
    "11169747160682202998387186973472467564239962399740989033707256808816641060937",
    "1"
   ],
   [
    "33408101251981456006325176781275319659213918376920525045586093341885595029",
    "9245289982964188826264262447232317053163500194302663311622903915276706734141",
    "1"
   ],
   [
    "21101101603681394835576725295194635954056454895094050330663657929437929156328",
    "961206436383262727463401576239250966683078463166522139336932512285824767762",
    "1"
   ],
   [
    "17027522753256746459268490860417378783301333876483034793446001460772347054183",
    "1075635532538085892953218632710116793670206383416196151572917888259978897226",
    "1"
   ],
   [
    "20493939196508759629664771925843801755463393220615180983304773110436871162659",
    "20553173084452422806952040668529693453049723657202697060733415089136418639265",
    "1"
   ],
   [
    "20934472794535327707037245741827258973118958086258869681759955766079330510541",
    "19773020383782419332614922654892336870995748323800940877607131554396936847098",
    "1"
   ],
   [
    "15759151820212578051367746802880154415589567733207829009898016108824743050801",
    "16374449656870746215468095265636823502702688811474778182405470179405608571599",
    "1"
   ],
   [
    "16698307656752232179344499010091207335912525366858478213149025279554356144757",
    "18137040982568081904223357761054719600688971425731369675147396505514493328251",
    "1"
   ],
   [
    "136075191390558128435917620325241071327617237001062681317025872130855307791",
    "1437960037806727325169970463837413213684012462661478606241036351321138335249",
    "1"
   ],
   [
    "9143254684717640732354993931990708290415407714247357632041611437031337430777",
    "10829619259738683413161911899410254928695109647033247554627251568363709203273",
    "1"
   ],
   [
    "10406407738681053301352842003602012205524426580963625679209293022554790776137",
    "20680327814935283014561566335932591792001220073440100315313829733384641890393",
    "1"
   ],
   [
    "8534872404712252359804837954361691340222018308042662243053108341266863181477",
    "1626238313571882402104650668806540754345265581799510125088607411437062721404",
    "1"
   ],
   [
    "15768033568389914031239691639410977076876805572566298042792213771717540525523",
    "20442207731775109025186665129079877975771152591045047502623730688930024106461",
    "1"
   ],
   [
    "19967457022856875858919078483019811132762890348971448555731257168330872154881",
    "4644947823396242680228589786398396710317138185356601119974404003679785751387",
    "1"
   ],
   [
    "7547660454278782294529905132511030942903227938213870142424844951543037436619",
    "229971684501157904551905157638807663594316362690466771327481939175195246461",
    "1"
   ],
   [
    "4139004462682338759689201079221925262326610170560845456968204839754928507275",
    "17482597435486838740973168530528038481964273381527524299333598320407984421957",
    "1"
   ],
   [
    "9640443681090093582457452468682903702460008305950832393573909563190251004655",
    "7489202178085881354018743724773701364624352282988596535647793911613458700579",
    "1"
   ],
   [
    "9400131267381652117883558206502292281566625969632306466922773844744783663862",
    "5474471198541743835434541336389964482592730004555081813836597459224397753485",
    "1"
   ],
   [
    "2239229432691022539535283312387174107210598694620220626035824635221884148555",
    "20188437998972237649517401560541659946809417612804448655443803433343344476600",
    "1"
   ],
   [
    "7941595876832819245823662091585957679296306162152611414439601717586358232278",
    "15813207917503440851986007825657510877768082666275537424820489761983247789651",
    "1"
   ],
   [
    "14253926123589170720584931202964015032848404769413080622508407277606854676312",
    "14715358154163736519562029780630234325445771826395833063848543549748555622403",
    "1"
   ],
   [
    "5684912597105773106686012711803793068755829487766035021750439901807871472901",
    "6961644964457082389524851720124036056472080696056852343987299218578068807789",
    "1"
   ],
   [
    "727838296082862020476640049324757916636705610434311275347555621820472017278",
    "20147655208084524976789157312161491828748184223909070674922827336756315500800",
    "1"
   ],
   [
    "11190998991146029858004593477328923669063647167672125284722497794505696398402",
    "20787235020491418059432753575651915203371315743263064687506479074122291890558",
    "1"
   ],
   [
    "8547432928103765260514214733761630261947984159269801380338100607247525021977",
    "10326556154816794137378590017799029053020433878107592401136189447212786620854",
    "1"
   ],
   [
    "7847685799360666098549611270909106418192109848762276625761182863545081709738",
    "21599760854591551560715042739876940092963580962577937280318506236829758823204",
    "1"
   ],
   [
    "18446171445091294956549959599960574567467403734438875966465208339017094031130",
    "4944011124089886932646754981877126444898613130575166796216642151068617314058",
    "1"
   ],
   [
    "5492602246467455489705776221213604581257406364041643077299826773361895673037",
    "14210846440135139420517470324726850413537083414672103197519694521445368244302",
    "1"
   ],
   [
    "7062555221091682349277362269585481548401682665197003122750162176236844525712",
    "19062880971737514778613447697430617139131252804082936873651027994493420570590",
    "1"
   ],
   [
    "14219986091800799684774733772070880317540874546913150475650149631220807186372",
    "16127096094869872288190557569163682100782173844718922244002061510795169134239",
    "1"
   ],
   [
    "17233532807772205337823437186014116290948009948372886578460172096743483861052",
    "38315888399319925286566832076455228176340660752474702050180768270689968365",
    "1"
   ],
   [
    "20824027301130381977116703015023558811875327205379772910158937841661592535874",
    "14636575362944585627916390922700557827807954189717720395637711751808589323512",
    "1"
   ],
   [
    "9530706006181421304330698101525217696471974414043172465277085162706875874933",
    "6850089639069493229319558437201081740726232035146470137243369688726628669148",
    "1"
   ],
   [
    "4842987454826854267286775346883704374400799688635433774881758627732108308104",
    "15057172756300216689034527943861259739150752353562755379175163413376493207816",
    "1"
   ],
   [
    "4121081155249446463001210102997352026219651094045228658207374587395450177025",
    "12978445035565497274509139775525885697468658821208266825122434736848534203514",
    "1"
   ],
   [
    "8297206050840208565710420357186666068811261763711027005490743164043545449592",
    "17580746767870323387201325777205049188823201903404654066674683043100029387390",
    "1"
   ],
   [
    "2698340314582046794923559667747523362941450926875845342460801393581503454144",
    "15664049773075379984943502036247971805469570551414132939832103710714561679503",
    "1"
   ],
   [
    "16334533645890790674431873242171285540750962740980000628175518164354615256020",
    "10046008361586324310707125843284410653674002751379349192969290691138304275162",
    "1"
   ],
   [
    "20869586727248284549335820264546199894814951488562256097407484797112620256763",
    "19322853532299371452518298469616429002850709593844564338717526107207286445156",
    "1"
   ],
   [
    "11156666777558313500411342233397572175919698337405568403677097271265942778875",
    "14500571832037450434617749709355782025820406742452329636532012318599086783504",
    "1"
   ],
   [
    "15266915555697060530766482917791863656386975066123279817357708952755101072121",
    "18239191236424502038246077519570521418973267232958533036036695864520792475339",
    "1"
   ],
   [
    "10929935040617345414801172694211587234318233196625491733534559097605054126612",
    "15647490646905467403446856243879693147665571251346963313819160283579717662742",
    "1"
   ],
   [
    "7796590259863820803533317316180127797928566701777288797664265132053525396995",
    "10121512122150728407214374499576072952565713454216166011616459500810921666434",
    "1"
   ],
   [
    "14530844197314782158795092334718875956767894568713371313414495091884101151186",
    "349678904621807781841190672737338196404208163495855156485835323585633350199",
    "1"
   ],
   [
    "6858494102215090518425986015364893358058251946133098437635007999414091703039",
    "5286174574927908379942400436387391289663425194703755089053654005421246988846",
    "1"
   ],
   [
    "20823617870464108065461569459253668987188745922844080178350935619601656476425",
    "9480502041540943008551281746145317059893783321624548992696419253197029706758",
    "1"
   ],
   [
    "19223479676098573233341052367207411699679432309039853502534546265024812714389",
    "14136619740215813989612699361550687100828899827903853567451936719055283060088",
    "1"
   ],
   [
    "10095410768488480736676174911394368083697358826271972691183040417557856555140",
    "2398856122152606952687527375103961131036762233858962331484060377949258591869",
    "1"
   ],
   [
    "17561060965117671906212437969344155047517127136606628076682577465347761433241",
    "10189745349283313626563264372101158879735603190593601175841953291054146676067",
    "1"
   ],
   [
    "5868615492925637508456985832431940483655763155673164548714073629614420868774",
    "17234021087033884080626548626168693991669440126883814083482065878083804627655",
    "1"
   ],
   [
    "6195692080027980333169928892118615736302541447682949714065202628488017232819",
    "1873841367292698544295572280396953618244527467961060323199766094882178166657",
    "1"
   ],
   [
    "5662321894612762300119953424305344193344148052420933511540238880526042638634",
    "1043453644638176957355801995144960682110854253792305081742939682447495082370",
    "1"
   ],
   [
    "16279016963750458728797707297447542570971330821123355682335649600458743178550",
    "12725366154025031903021364016862641436361096028541729073640587925322734643966",
    "1"
   ],
   [
    "4871945787384309867701201576446326192589757710514641153738030354923929888051",
    "15304855548399995922330285600778233201937284666996391090824993229832843838142",
    "1"
   ],
   [
    "657755939882578622113393602770656866325040329811601651784866709517607389078",
    "6286877135305696720784889612984109775189524580649784630694079764927069390338",
    "1"
   ],
   [
    "15186338878599258478328526250414656836127284478374053460279294677561917744506",
    "19187499757703496909949479188642894940658291668628668903721828791406779039117",
    "1"
   ],
   [
    "5804826572028601977698068877856121897601223539509931540435103188218006556076",
    "14894227195521438783357183010186961437726639701344951968224594510720595356308",
    "1"
   ],
   [
    "3459737841062843869603782111578589659802544876180652605534631470154091562879",
    "21594368923939616396322860360270504727522556515611965005769685353748531690560",
    "1"
   ],
   [
    "18089474527696900142141751867130662635956716792832341682544519866375986661736",
    "17729550225509624101856527089110753197505122702887574096609029055107087301410",
    "1"
   ],
   [
    "15143856715024802170130480528341672781041316181298113603666824852412331883759",
    "7704324267278382788715071301681593402048337892355611173616542797340705421796",
    "1"
   ],
   [
    "13414738118109899037002174411599403772886362315579217660616406572599980558490",
    "1684972461976026483206833544736202407232506035550573766270104343821224261710",
    "1"
   ],
   [
    "16382121659692875456569024896197767344584502956170783892852926782993573253017",
    "5303140724767754482673836476492870493864707702452296560827545700384667049046",
    "1"
   ],
   [
    "19585860009725747099885454963693725678903280883808515226876442396320578457063",
    "6531993022443383635324957643384245335110031319099738163584142097233822114454",
    "1"
   ],
   [
    "5358244909074752919963861955317300358940063927612702571588657373436132274276",
    "555571120553726047675401347428430903887178604421610222583322260395822083238",
    "1"
   ],
   [
    "17695721994534271804338062336265196557905729698596886882417172914049291187364",
    "13714265671564173445070543161498088692920934676056893517342063153249590619703",
    "1"
   ],
   [
    "15832312515964445680594468086157442353984097456910255630004154565325407137578",
    "10477265736951056131585850714298231155078459285314084347253323531582029857496",
    "1"
   ],
   [
    "14850949175215573167113997130487923905105870298114777976325410880800689833162",
    "15904245901385167897532892457358027726535532259654197093424585483038207211650",
    "1"
   ],
   [
    "5421662328337758137704144633113793020044066426231510922498637859765255060999",
    "2786672215059376249096139735008722964072757752905152648653353939634620860957",
    "1"
   ],
   [
    "13174567388632252969980441519901220539477043128212966021704476242098518243452",
    "21633643702549922188452246299818543474243868449989882247207541615328617835955",
    "1"
   ],
   [
    "15916701489242492031581899628845139812869432704268164019181613870191660433056",
    "11318016165650159964026136952869583576580713675274174190221938480105421665874",
    "1"
   ],
   [
    "15988117478485985644772997420414432694035531941103458551703877452267836271989",
    "20929271459139343130648896775881414755333792412098278461503819677396678283893",
    "1"
   ],
   [
    "987740750229789609193845290395536683088234532759487655887837052542487104555",
    "19122552068929925375082486758170077799155487322127192781932198176138851200700",
    "1"
   ],
   [
    "20488542525393778357507196377545403678917901968600222471805944682177764081560",
    "5885837184402821539031470059972569254319077571628928284081549148047564880014",
    "1"
   ],
   [
    "2502800642187331217418286846121965526563810059262280211282998540666906984112",
    "21172562145811378970760181864938091539277549058653020040748356981978321885670",
    "1"
   ],
   [
    "10093382841431481621345866214796796835886185942820631475940227780749745608863",
    "14830927274606608072079827432333294409354953741850808646596844364251588907532",
    "1"
   ],
   [
    "20527591981207702716459424118833459650360198564965432249115622044678879753160",
    "13247544575808431971450299944841580733504816083438982308673204956437542055748",
    "1"
   ],
   [
    "6388818495178228167933320660871693305226048639225037393005857682268523933576",
    "15269206927971754200989981604477425857451371073512674991236508563635947494335",
    "1"
   ],
   [
    "17529708962615050507783316319493382299035510274341561376579121410410270219243",
    "5111235396568037059724113895322313748115499762467801431659082337933423710251",
    "1"
   ],
   [
    "21804779859751278549010851554712877898883667038244362974118767949168913290589",
    "9309570027389963389781353488088386568316117825154465553183496461225049617930",
    "1"
   ],
   [
    "13912782223909122613791873374231306185432660230568938007884528155797297388064",
    "6472801081328830773355441488148712860347344466730459035256519903386344269932",
    "1"
   ],
   [
    "21267540671842057487820169632688806522323908906029560383048278188786025506393",
    "1202971756661542203982028244693559718496951343886644986677851252316900986659",
    "1"
   ],
   [
    "2682066052595646984482114794147800672958375106225512399250882075246551357357",
    "6377022899170944110886018841084910921176031729354328928795690666615438656162",
    "1"
   ],
   [
    "15980944535812273318109827505017669711881256164272659883029557087507505907503",
    "13270012636980539511900074494042247877044940154252219841657255294882627421524",
    "1"
   ],
   [
    "4717735017876794925360337407403457091854196416197505940632698960300341605825",
    "16774254538058767479631281554399429492112205504910022337290392558900064537465",
    "1"
   ],
   [
    "5010986399064376325130946794833701314355776461335209841475621177342042247759",
    "3856255789774879000066237499318256883437395753106705612526664581943278610930",
    "1"
   ],
   [
    "1632005985126780020512523019146740048506896800463854189646853548113777281205",
    "4373344087912342062956823025731421284833692727031346068898355148317413376667",
    "1"
   ],
   [
    "5620806765851719216776961765655473776577685604981387974006457305671169378444",
    "14867560895180580562554652440062654153505284873019284630297992428172855282516",
    "1"
   ],
   [
    "8957743190590260747984014748469341467940163785281896697787429660651250695556",
    "18000659946788748775534001155536195112108010992564161602171611218513259831247",
    "1"
   ],
   [
    "3718230631261018627498383316141434528124916548128406352656371128247240365225",
    "5186745582894625586401635815506703090933555892088089194406039265572849526100",
    "1"
   ],
   [
    "8551507176881444992541912725404402885001885392770643080693252641844425830629",
    "1169784774544049831899031525278180975607369284850635155855127671622203217934",
    "1"
   ],
   [
    "16295020671989082549732021101360540879486714076394462668651600636015623762968",
    "10238811287964982830757630018070676290799955448285674545018671313734042766632",
    "1"
   ],
   [
    "3964291467377458119543787616200394496705739757473544404432159346211247250612",
    "10789846621373218049665174015078885189974557512402009822937827265654964789446",
    "1"
   ],
   [
    "9062286863758748733973522970819853960100453942753613859220786686968949852841",
    "8498307739711652002298316939518370433548711729210150199542812693764951523727",
    "1"
   ]
  ]
 }