{
  "34": {
    "H_m_star": "1443180208218410296322791048966238004832437475374297165974319737987396490007768934273732607514787282202649422218126779131292925939442922692254414416515152019569765632608229453142124246844181696680031890004898",
    "V_m": "7158677866845124910504835300271939847085121377636147252565310390910692434519484985877290293698300697071167663193604835686713158871436937987358630248403827872402485508116765190917423373517460938959683917",
    "digits": 202,
    "energy_floor_times_10000000": 4031974,
    "leading_six": 715867,
    "matches_printed": true,
    "printed": [
      202,
      715867,
      4031974
    ],
    "strict_margin_202100V_minus_H": "3588588670989448090236165218721038263465555045968193769129492015654451008618981372067760841639288675433562513300758160991803468474482474990764756687261593442776688582168791942287016943697159083720229620802",
    "strict_margin_positive": true
  },
  "78": {
    "H_m_star": "15099157567908445602768731651931984705342855111021002559723449420411600529951579924343374230275715695306942938174851451150925237183954415420727233152416200354750863464534701058041028505235457597874038845351402025419815940426296854167263740551483469800691376640507703158214261698542929455374354126434024286154407623907789820395175916647283158795385984952176343264161699058176588689270580849127425445356820193159344948093923707557335306311214035934",
    "V_m": "74726559974180922909269922626660505266808815588830259829367218233573201593082815751113954558231977799104476706829983730395710013622268693901642236417497489607360014025908815846135401234361204061573398206506962982902925878851163863287175841393261722039405753328402009724281552320232427787410660140891748397373647208572102258108985759286514956332872500745701703561764298490292379321679408473114174296189994722883151069922464485887044368765733",
    "digits": 440,
    "energy_floor_times_10000000": 4041175,
    "leading_six": 747265,
    "matches_printed": true,
    "printed": [
      440,
      747265,
      4041175
    ],
    "strict_margin_202100V_minus_H": "3080202873518917194719710916103409079206519481592951791665384593543512010457138956755985942967017892071804275488260762047756569106087616794662827560042294896595370101470624462936084228941742969944932183655193424865379689523362603074496994094724223472526107162343007063040025376044200461340288040198064954806476944632045968650105304521513879487547448529971025670865666711501171640827603288949179903177740335339883137406365040436360616340603366",
    "strict_margin_positive": true
  },
  "142": {
    "H_m_star": "245070327401327069703653155583247125460239096888958286470718954785926862201943305123578034380702270070604078824240741908711067400460591086819835187381802404834286018165176609418063938694097561587723006541104824029918460814623784899725641575292286577577310098295432820757121110722758222819708839801891728309560605058796141663480228800729004317452419740768539853510341731590815652551111491115567279016348127251461286373342543407517081878349148519769069705078479596753839023869182761855594300425470645932886554301506189510232367950762166307162170131703713115699549138743799317449801971956281406814509354855226230640854909409522639030539660542078367031289793633810512931458416882571454931663829114498679941689736208988375592262040863550843984806601149698806829538619696894781243226348238551592222",
    "V_m": "1212886179016080533952764253286771538864634723147866077984892861061444376221089272913687194913706134070800747446048738960008136211468132791412141086799667482878092355999789541071821927438535592165963051622115902317623515124365160010695345654178278055465471630926257959758786658556872616881323360960150454680359631339019040296347306907840656717387473492616311416465170078353821864302648858303192950767600923402470464027845811781462834644816526209984609865336153935396218539266139602355901650302599584298764093720885443797516171654742972445635478854109171984055176513768419575968170927144008812446859385456192005005932876328482206353195768556966550324806210982828843584509299229071180991788371292236251609246762211564471296712814340643785045597925951145024023494950236068751191798357358501",
    "digits": 787,
    "energy_floor_times_10000000": 4041110,
    "leading_six": 121288,
    "matches_printed": true,
    "printed": [
      787,
      121288,
      4041110
    ],
    "strict_margin_202100V_minus_H": "53969377822806208200500006009402544303580659225447890027892434591046232338836932278147711357739625104752234605708235106576927877118550324558526260410393455376446982380856832551272841230481589018126191724799828473251592010413938435887781417143417432261718314763912910129672971585733052006611448154678581340076434819606380411561925345592405131588652089216683757269141244491746224453843147508016333784019368177994406685095153516557003368271427268819948705957113589736742916504051780533423100684730053893669039484758681245650340661388424100760144711750542278002034688798278853365372419522774181000926945470173570844124896463614873441204283284572789353541605819196356970912491623830746776600723662266508539034433968804056803618914693264972908739685027602525609709745814713372636099783601459878",
    "strict_margin_positive": true
  },
  "240": {
    "H_m_star": "33409553142492726951197784763269109478795264533485475513060697099907435218410308270642703706592549573684521652079602928966854294047942997209373403693430121206820203149655528154581247795131407140616606231566600975031716872819119476883197970319096318626413670231870166375355752018092354766982423989598577257006941635875007268507806461561480631727668837646148293291033538351847653009837765213358835952434855861361162593972936050261762488496459314362134819507177355537343429595635192467958790417328106723743272682211423434295391833493144065783136124890883018512270570485511673950339644940288619873932000791638397876609560644385989475444162199501349404814017450149169693440800044083632474857152434754198953204330630073109615906103126667494873403838822466751017313666553961207342255371915720100288622560887334794568150440334092551096933318277732341593050103152812823088889264014270037963444622448231191839459648508863720117827116518592672730461825614856259695481778857458192571719938643387575881116525476644127007774460877962777060864443680198480832930431719099212077957589114576684610307937964239577797697892256607909124460981816682298729528948921631368159814054417212190821811389790921320885136358380918709889555097340979940834417679520553643693114513664401053830735764698265945172583720688958656744566644790939301734428497200",
    "V_m": "165352612177247739251544713442134502951890986868182371587652138117682163307383018773758515892440589132922599640743123427925656302063257076185310041931075360075864117666667708890401138704652818260929029809512410112782826818159417265663306337988067294804904327137834491349791819421807818924543363517593236781209660351151051046294007419113930738023590111952624593910562198103778915619358141151401596328307838191671785835069948073245418473770424028409356821487665482570267256324845173644845584224667015755962447709196407856407722409295913068576366469659750108891540150326660254045249660599547926762345924208212722243258543440743375239398421137388850022279465544723621668366936074297162235709103608971645397283284184011310402744802025401385961009422082052595311083868721333080783724141852995423512575593586873709558813629060306344019865350901202916522131971825330668031338049666333669681313362956266351201463380296601010875675768481617833154857981741065199938954327246928147486013522973917736711676575896969939933629866521390959680209537479511006140622510839251882026735690589371555515207240892364106468949422211456537519066857822576720337590460782355182153432555037547626297250316656662549453079437249959623722919444426061411232761926799272813784725833438936734543022913138757266350591338960660508957378342973692783983705",
    "digits": 1317,
    "energy_floor_times_10000000": 4041006,
    "leading_six": 165352,
    "matches_printed": true,
    "printed": [
      1317,
      165352,
      4041006
    ],
    "strict_margin_202100V_minus_H": "8209778529041151539401823386273567781903912574181784803800013676129986011799823533892355269693490079135735314582315816920844599041257887677755780840209064511935030778015812168822337078927429917150692935857108761692427130898752507356240588292081653657494282686184326437174687055005437667789777307015896475530721092620147948212437841444770426898723979477137138291081884926065836834515113339426665516158237175705323294700455341136585052543381779396194115479838490107582907616017125664502154477097160536737999817170593484608865425559965376147538627352478494709693895506363392205311466880016124738110490841393288752990984988246660438258712364937184688662536439474245736157736531824012979657404618970581586621103515576216488621362666125229316165380316078495056383314620208284135277152770274803268966576572382133685794098995361029481469139400767836072768353086504920244155823295996679148808205230237738356100649079344180146956291542291350134972495013017212180890679145986035203394349641198708313310512133497852812135146010335890505903844410693508089377721513593279645693953535306759315445420107208119676785972327457108142430149260456450698083202482614153394664955876184452862899205390180359330995887298130064846922377527070375723505885579391972778577273608060220409166047076898356870788914990832115719518324044009908678283300",
    "strict_margin_positive": true
  }
}