{
  "Omega": "13129186434179569558855563663226176097336823072539446250457375787482239817884065464904689654991838882",
  "preparations": [
    {
      "index": 0,
      "counts": [
        "3472537104235283605103627653803619383410060360414589113022206215377805555906197486380589773550828113813500079790",
        "849605138166151355372860921726443177685582597176109755186894786277386996479319847103287434914283520715697",
        "106200646480591258394512530453252779085321018911096374265956368027622865523058373866676135920583101745388",
        "19487620802773382667615199001509461655574534982640021577504543766628195976836993023776592523468154",
        "531003195212310385358806092191551477642559597601673551238454335792069175378519182307575837564518884001895",
        "89942822282065084458331126193880192135288992709059762239402848313202604417018398049779050215539462",
        "99468016608252649939351588297983224836579310637361068241688119341155610660557231353015805589172239",
        "11491787966804024538112026155251614888781600508723868920609305879069148974623239765573021120",
        "4869088675213064572877752104362148216648056217924797260936857612114194000135162843863286086",
        "31841787224515019962587508314871467138280972855636069200573082807692936914690309274593198040589393",
        "69165581468577675703558293270829011666561108974630912152409745087676290489820603393142909262771252597",
        "8645697683572238559292728378246799402514997854774385256359024735995723322501634851309181637055244041",
        "53480557827187544349414840958182476743512982605837435912917385788026593486373080499669756459145073314",
        "315115979018156258754643930354233692156482616404880790115233855502446954159743971463180394537",
        "5398562423891379976730646419507186045110401062941915804733915961388292662237972239857592569018",
        "157557995755782775795751000111872357294078554996593035276808350632561164394900773065165377895",
        "354505490448540198836463038745980010185262684523015624529850748565779651731771513209532631360",
        "57823197456297680724520242333395751647950495764882770145158619156611688668586979319714",
        "10576458553527389867528862932915586531179543653669784767277155213763534896781387670690871291135",
        "10555386954753806597772449769103514679485367622399663003928555033033088242987204445589260999701",
        "1119669030043648839250228408862306449374554056149028978894848877755032799562047546112631",
        "573413793534086788655569392481960166455524557865228918730374830657967321041836954836791",
        "6916558221706599478199004488147262856907013806655559387330007055185829519934861312137703484767143065",
        "128795358613212354270804118486969102531870282632189342838027590375842941535129000098728726182466782",
        "6051988260023801624043717595190941782351878318814529869195021703208516420107245684003121564229023395",
        "253835120019840256744967589359659162592323004450455807478422768443644042703696469775469140630",
        "168598428342617008151206166621511365214052055511576285505891713798884509510616156191959960922",
        "63458780004958041343087980594819475461350616901954299504685648563075572551105997001891497470",
        "323904033609606596065619813855455242190241741104345362146791441349652655089448810077652638906",
        "25086100719844777074853210390504855436034196110427991485548309606787088129985127147703",
        "1025102879666901857059947486850280022439164453020381904540254432864148169617075414871119344589",
        "971712100828820367164539371371524551838224086038136508947595459431831780837277741767430791522",
        "5574689048854394905522935642334412319118710246761775885677402134841575139996694921712",
        "67948845554724545741859011927116957819402137221042495522322443667221506683014427172793"
      ],
      "V_upper": "192556098873429853619041/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "preparation_threshold": "12379361580616713309462024221944347023508649718631161627304263964222016543296124452888136568972287040625295843114975392238873699736180067513612599677276611328125000000000000000000000000000/51868224939356602872469854772813158029783471984962586122754318335103906515257650497729033624948326013979700852945566913314798278689738086580955533743258953850884032232627542977884472660274886990097403241794861400170477917758134946370877887"
    },
    {
      "index": 2,
      "counts": [
        "144457965505955845937282872128798630619804068849656585572333994523899338911968261295648381735705869484157683015",
        "565695002522232070786058389080983359292430271248144046736392033899471908912456652885468643208723042632815155161",
        "70420741900339636819900076239551833235902588989664508098980031109641066415748070356938381176475023615151549636",
        "444968704564998564113864465117547412280633280215568907598345150007014780484758492292276185995212837064591068736",
        "207541440586743930447460037677376049919670600825188584950269071510091549440157856787867611053400993922595561655",
        "437017015033307292851327519920761454399201260583964458132888669876102293032549751608150904559600645240396066313",
        "503881800280497152850787736730641868754757338445485196117101684921775215302296072728241274120776672519613086916",
        "1098555920650366027063841030419355852220824642057118516857121980961669074859947107003299937976790584449172232338",
        "23220612589163533629205036389435903955940753233258871429026522859787478355518206758462214987",
        "11583459353995502066111465485173469667997987819453608857335133079016113093290893799026320517",
        "13721785320879253984187431705869186236792409361029750465689041994856992059425725422514910232689243538",
        "1715223165109912520458672051066240873208926511176159227848289689290692282552250785642386905595914619",
        "10610027672201785317122151319196145525067177115011758758958305220440394136132316771115961112657145203",
        "1000602599520454208366155318898488361848672905747723232747312728987440931839660174790166435921695168",
        "17142309354956318564709042934554754443517517716895636500861059236189938019715693561021050529748015188",
        "498241469993152468061028503213288766673998560875657644496426012063239438486905713861897415263408425",
        "1121043307478360064436844001979900861377545644294140606290673155302501674494402240805203675088967280",
        "6296493205821493184979037697421400488802746299356250730466746392035800037824656278504229190827559819",
        "19713963732929483094814143776343604407585386291058758655383162468298419101298996755160911132303443477",
        "19674687378569949492699344983988771856049108768174498190949961526728627893550891887900510640827347251",
        "25944630505728458773708856425192970729328134309495084711512423688297035329576000114142564609502034535",
        "13852856605386461325849394285331972033680703286338290546111484333304794414155676588068897911031399330",
        "1675313515143396890387977832896562942894806102515549102603764762021472143438200083938668590826909650",
        "31068085488418103929451231895130609246111735556837593248698838870215669661500899058734382897334497",
        "860491555244192802489357787345434085777898223856955294165923256111038565704260358191706341816460004",
        "2108449482494552216714837212125596987476910944034686470034036797996387881140745734712890319945874117",
        "298006818028839348052474785240422846371885538937007542991567650002445630062995516353917632479833005",
        "527112370623621251686600606475635854185501075775732282715433889699595966163846618040164511836317123",
        "596901147283179250603942004066005183712246196781452834352143042133279744489934982419145951396341627",
        "872385763114714841930836294357538224675905274556111739381487051133642930745067600426569325988010116",
        "1811924644403786614285456164849483855789131835065277338621855277417957570307758860971611404120367858",
        "1790703441849538818752760766063772688436271686179425295669243967262342658504305612399399056971445393",
        "193863502914381075984630287635008494372423394345802608751441566918587317943348355650348739108446692",
        "2362966096007488990041736624164118839224261396936620328468170830580140660705987749450639598578178283"
      ],
      "V_upper": "7981107023108869365654711881699417/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "preparation_threshold": "71710979075377154483318286449591863348941292946756172180175781250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/557777077983953395943890443941978407090004492059751220300525287305954532212650412534862135105861008646345671294334871293971645027871964196660002758372368666843162425109518901209490900459955976095980996231448484125319603896944572838750200791631178262746688618510576268375319571221810743494276369752251319847827081339193219334189729393965088125713208697850638037843870183231337366452716545932123020502084625774039418596007938528328481606741279812611905574477761829110575504466000858122666735141025096201408199428811019137529623568948059790673484244804121"
    },
    {
      "index": 4,
      "counts": [
        "28646005390896836908873062595150420465084029825626811727663993059959992585452915515176765441871443405958165056",
        "245749887169955614726024231380765511001053107808571808410164454208464418796731935133252733562358026324202969434",
        "30705923010624543446971972832205393868268838846370835178312264062142857973635531872185624618912417352089514623",
        "440039241670327102354288575262011595959136792797869166642533715458341079959348885271946731494791309811086203755",
        "73907582695007212657142617763181427328448512653763418043654550664345925832192342522484655295932418249576705873",
        "308554592794933111307803539301740871333620694470345953635027592512011110555610752483380646105815921033236359937",
        "404581951057446181081322435827430502138923941295719382253231777543941326745432935759686826626178877789488447425",
        "1940353407255249918412935626519941254157243058683316686639078286341877793958516989319344773594464054491513961577",
        "48050550294034318456329367916441730741319628621608622669811637373173845658578689324213898652",
        "11593455816535232767542059124960901348853129472523136663590041485197182703869210761934560762",
        "5630641651469622680896841487074238942433291661865014578623825769435343676349386611844170837363084233",
        "703830206433705203791803204863015762219325497929761682565701371399834666199882393988116189591788460",
        "4353752980192857460398952753112139510896970385118927572048969050356455492724350111177312372487183217",
        "899491999305171049086277194362147535459885958085042019683815301976335106805774405427397127929145643",
        "15410084005165724141098290545633291873332448905218610149713524294324157322301771033316299242376508474",
        "449558409122238063335255837009618610075102704414602419124728900976605286732078607782556868120895777",
        "1011506420519411677714123107469699240168038679755666242123995651205623010461577204199737707200536049",
        "12885028166529008735034445876402350633860722191562791139102583466967869449136133321234645004273767566",
        "14527230160131458190298917472885663086719921746111065261384418648334289300536532543335443570537100564",
        "14498287394112326436378876129819631614016068294208546108695584036572564810399060647468629759800445843",
        "37905816147741422119064413989481916946095758177404978443277313922974267467920299705412522370201866725",
        "23016636753022199537423120577818679301648965782399828266620674790487415216099962405281376175822167617",
        "728419744465018518925071458379791234950754548444895938305316224201333466235560535720192361937469294",
        "13558469989386995974048017244186133677128997128120355418309311367183613229996221257197906898111541",
        "306694096054211777635443643029129005096300012694546002452300926625183142163335583259469736351134612",
        "2086891029987139149041062176904336390448069604863584165198043262597814220003506872546802191376457641",
        "210588427352615866527222496932988195442770644459061658179141586063847835546707302980964564933723253",
        "521722757496768156570104743025449379984747886628610265632293935159068460275328640159061002021318974",
        "479683608075248385465338561279089001427226428984070198968129046554899444032605038483153262741672305",
        "1542204159684435560212084473614255969026619643428525615860694562548953208264459127255537714166033584",
        "1280408159351290472682206167889588319158598566904796016732177816008170072328363199546435842063947762",
        "1439050824225746013814500328011316686371433244089716933734216675000046200410985100251331051483127169",
        "342712035485430124491574327469834659783693254095227914635709902788656268503213139390119492036896352",
        "4177253110418822720981674501904151997008578891965161712817905874977042401692822000185213767047385633"
      ],
      "V_upper": "326773862733451387587622697527420039/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "preparation_threshold": "34903167735567568630120676380745351729196706103045164123535156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/356614693803034470432566013925672740826190133375211030655086423212517256830657055586116503075521891790388561902459269233515222845409905525295217564334541666500373520741326235956391120922702025829227050917093246333818681839323174870644862174566486761131393693268922382232366196662908123377022431284026718011688548650387284366471701101428043498099767698592236746432688368751441472031634494377774117296582765056691057068044791910012065391313837312681376070028213335736409958021276316704125748695378289887039844188854945631379366041558295901259443183501254077"
    },
    {
      "index": 6,
      "counts": [
        "10956285791473058351462673901628711696765669626914500673016807029780022447999384701333431047896968545271589969",
        "140330083404699609938511216098688239647549431576863203646266555961746016609738236713759823995977812607477062644",
        "17680712957850965151514924958089891364420421510548845626692660928047545589009589073593885166841495975393444860",
        "380352916919221797554402695276652994724561134257637768412126054181732463195565872133524619492621119030543458941",
        "38801999542569241320674637661818734510152189918355776977178890633012546476794944292922586297171657032949163062",
        "229563163677220251329739999439735551217839336264415859033645952722654949342220197539661157423375985923581789868",
        "326686604400941484825033620632696508903097327680300973595676584690254825637212910337957510633567455449723833283",
        "2328166824350464112448472927326510801823965954467763582391151211922314237666816497970417742169129072192252175337",
        "72176925022141568626259250296493128130057916544453582215469790865271006077742981754587030598",
        "11917714901822440234184665666125951786202925768136277676367232878812021770962016631601619100",
        "3234872600356339262668922319066638375236091500529262155787977568018605513722907139131661932187823742",
        "404359075044543768669116540794485226312353322872198897293772968174019795963162125605161008150501645",
        "2501284417677279485467224650269476714572197219443945207782507082578186709240148475254845907452145438",
        "771533469984095317820528993256797081087309871839534602847686411558342038120796313702125775590505467",
        "13217900319776158537991947301794961113236995039930905813922274044623675587475654399790895664847527062",
        "388833569803143534838807819999499981164176177861039135218653819611251419125543459317058969018605637",
        "874875532052208654863592209915995868079726580230248830010804838475421633443759452968519538636865732",
        "16729413889868960628507123504312855919844278776706379130275171174000362191301490824914322967255703260",
        "11456393849910244779502905273948847485500708537023072542542759245897397011585001953035621146521287098",
        "11433569146028911646598436765681082939349666965988578412266757505366367357203029369462762333296946707",
        "42361960200534605074131162465964555394560738217612020257307223192661935025881430530908722652113647613",
        "27916868198582279875354300160997314577930860385299360974864587808387043030506724527212216900259798821",
        "427581834393842420601665634613503099327653044667776662387278028209224262702875812079961843068504387",
        "8025431305996358215274165739702574638147117665706142049006761284568077360130867628731774422072315",
        "165520048417552711409766753243239413560900225796294268714515834033327024858950656741934659586918145",
        "1854279498594517265202966367155194413374243050106133600435696980360358353026225943274660507813150312",
        "161058914633635580529168080445718742991471362191840994763459031640393354505331077493319041864721685",
        "463569874648614539320358077817508059047580477024159445440202247722503353233531692130185952621937701",
        "398161974090217472969108182084619119930901519077322471667607489128930574927392362439123190255056034",
        "1902195761679946157489051429374908544104905215386908511681324169526062216630439419040527030017649382",
        "979261543597867311298326136930355759878302368233751379958432034263872313485381852189088958193103445",
        "1194485922270653130608601638492506773436827590893431631186464501774966563190993336568516304242146796",
        "422710169262210257219789206527757454245534492308201891484738704339124937028986537564561562226144307",
        "5152335449366801452169047756616496476674404822984993482552372328831675908121804136792062199078815273"
      ],
      "V_upper": "73490305886805979328938639234560009/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "preparation_threshold": "54536199586824325984563556844914612076869853286008068943023681640625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/54966663724497853081931770338787602532001001942856985076973793039110925494942114740667587044526306865319975252123566880096692407122075278598786501182862067631528452926509982872105664501268828580704659927509437102091684328006698623192926163057014632267033925661115418121038332562581232950983145268472827859876848024459495563783678678858609058351047315097186281282707730778008952211091638378823773238054270674944418392217568209099435741284818356635241667501180727046624044923500435982797424709827658364445489755869416408638425392800804504450430099112038034729"
    }
  ],
  "verified": true
}