{
  "timing_dual": {
    "coefficients": [
      [
        {
          "exact": "-51936436911/1000000000000",
          "decimal": -0.051936436911
        },
        {
          "exact": "-5193643691/100000000000",
          "decimal": -0.05193643691
        }
      ],
      [
        {
          "exact": "133156300607087/1000000000000",
          "decimal": 133.156300607087
        },
        {
          "exact": "8322268787943/62500000000",
          "decimal": 133.156300607088
        }
      ],
      [
        {
          "exact": "-4219168291019/31250000000",
          "decimal": -135.013385312608
        },
        {
          "exact": "-135013385312607/1000000000000",
          "decimal": -135.013385312607
        }
      ],
      [
        {
          "exact": "63561514487939/500000000000",
          "decimal": 127.123028975878
        },
        {
          "exact": "127123028975879/1000000000000",
          "decimal": 127.123028975879
        }
      ],
      [
        {
          "exact": "-3908041363999/31250000000",
          "decimal": -125.057323647968
        },
        {
          "exact": "-125057323647967/1000000000000",
          "decimal": -125.057323647967
        }
      ]
    ],
    "upper_polynomial_at_v": {
      "exact": "-21371092101437679888526921390398691404874273684888348521886864650464303740776962381115108143207485335114732609030260469480542714852412805279086432382748722535818724857304983925170646754137937491065524321013926740656860826349811537448310076581609482218437624111542814457907891036062723970051047879036799368861032898841799069212022565839384745708796637081682844352675084105689124733356126123767252217770053282983547344518840352041035197432464387065356208242529074557421326402612858676256839144946586622973234613137655921291654779117116744982106690088968046105966258692054074119592104648348290346603587770160873966722019630404269623219712021719631874296425084178180047602414337510647587594337061138355275005300326024413739646054192709774399081856552145863190444680316440659620649084632134690062767824492655269353488205695892498053275498881346873325828157369367993198730763132233022507333807766313249900874081093013815811823486855208510772905271107815593934437881352948893802140041825963427103117174949888940590619185406183312737467134178916025031589860080446858235985666030284722578307830986308226326610373902123035917040630703511480471501018186516726506582808758442602188731289613233335706182806644823453236711891496110991533417609819953114218363245209877181598791239708256071868696101341589893033647535757043718425405022434947790746090276089186089400453502330933342335490389393812700543800291378220548301203974273935118998365989977403425140050290071504012759563335716355918393601418869480517537903441027786155195368035310632554473482295563074546322313643380849304043094692610924626445550334274006691964978524054504266342251641666900765922610749424506965104944909024199871273463271082507980203449611631332198757243128529632659969850115670318952509045110267119912358240381610915597946182919893347331665038504697141872772982328201014163367310555006756190949321414562685568057539415874258457587504332787327959126647468228084077449656553060771972632975192411021341736674993521311945765620474873273532998201843551134053268291163258519106137600951622621141622444576384778438628427177320014965246312009671099420236147846404739273526194429843417581469834104835033715458269107056725054674797124529727783180091675371141347214259381524305494959003863375322302445192710900735029149634322416857186834458708519771338118930379191041986222448714816722977111050229041733645038517007732343264439850481451707123263922101367/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": -0.002137109210143768
    },
    "cells": [
      {
        "left": {
          "exact": "124/125",
          "decimal": 0.992
        },
        "right": {
          "exact": "497/500",
          "decimal": 0.994
        },
        "derivative_upper": {
          "exact": "-9276784790295352700594398975661265657525790174250777891159592730542738547454198317258337371667542104761366626167598577595027811825474407468945332560420462986230870454589827282620508138740344733546213569648174119834298198711339524562949532847901971019071572412747995069151407330258847940505991539317940957736525714879483181779818750987104456339418821900344670474894431838123054074372885440593315697296237642994187711967547563224625015573159170059424400945084117229530183346399519198589685281703122442966813797852319010028171812858168693912829236117336731857/38893845486632135669650400336125776503689076054507294581881978842435617712721146507399655144535710105981041184719515513279475271701812744140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": -238.51549452686018
        },
        "polynomial_lower": {
          "exact": "5539642315957529699112204335441432564466924874130923266282704455165469281884935291015469050299744492340517496681595786621793395836902994875055367031013392719626848656963596136736900175231252435228722924043107823095121334606714042800287424059197878185187530279717009897992759291854329160962953878024177889812325392047530572908668202348744756169317396262330391509999525394653915190492514879012529489490755187063630796346216263999268502649403946780975556153300878266832729674440111455184228258768652055457707265055765963445939499419601216930688768837238903074159392723354558507567602911862990947831335675423498089888566846490793202279139665715246221824111883977022746820085962961045633486465858436951055826615490793110557163357548563976550649231520571408666484817123037324158969618308194283765784928726800890738653265886183056682063304719483658513446737585362974108386719238037608386867323751201296092197106828822503889653399149585994915524357645244909843097454067065965147412657225500066800991215535546755091701993252874243821007903330836472290820563554100272947013042207293828593350331931664245052787633909116899903102719390141713263297170388420404481791759120374449417615293672626906412695395701059883413508100148391888761439550164278859955299917197398707950428393/895751984124150380031665748465556324772276165330341869419370875740718547280608682425251446568056383957055417926084253752933925095071097831369707073984843831957597986794737607715546028880895410973220579729791762457064596941661493855583812739544652864189006946253733430635613077197518058261967703772197274212644684583530570006706735893790756089503597591903647147782977879998888147927627132272455084616457750899036575421132544149376742471368171309400308676548363521584695731930802867832109642948737737736680070779247632843273504164739837872445333264735340311224213218666016115868174881584728149136089046732206352979067728260469971549012197741637616134293654783853136268218851993730142271001257448052392078133550932581524057222718771637821448884811105265220127915936494345335324256399305671198206951749855899642724614990226485559442740447933220678399841978142144995348686246273317207092806780134590464365261630318742665484795082578320825064242239447367107321226729802932731650528019517745912709396963324507621677295380657704928309642126156136214582016249103223406001474831494097843168613655161542516303830646535041540231804845320793370137458185454697582814711525557484584788405085675020630242219034269895203932018387139868398350017741904594004154205322265625000000000000",
          "decimal": 0.006184348362202166
        }
      },
      {
        "left": {
          "exact": "497/500",
          "decimal": 0.994
        },
        "right": {
          "exact": "249/250",
          "decimal": 0.996
        },
        "derivative_upper": {
          "exact": "-1784990007532708401152248725246175835988026604523694438595672759686095985030547627041555563322857606202193553122920119529969956778494766942684011211939306736519084100421433871498755822951128729816208148434564097101780878807933845081993627348130112819576542464147893098062876515223523867561492367584993076728212062902037098623537068375966155179768261454155121166894052214744627548126860566970038586688271191787911303388802843948158223968796795348169451939204274329454281475801357134727148081344688346644442527072780845408308956668504315682106595791993837231/9723461371658033917412600084031444125922269013626823645470494710608904428180286626849913786133927526495260296179878878319868817925453186035156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": -183.57557451049286
        },
        "polynomial_lower": {
          "exact": "1176608667842130169676139074988080518257367658037276407570889853291847398906482080238465400374817499788732403038485305783588446261025913718391248345424982799169299911607871989652993182618073157816043654739179230223076195105203049027294354698228325723733086947014434435877692723432988649377566668945357689792826731973245199163285776855871318227617692696597455225848665214570335256655810658043341381114649962045782191256871543401835791287045334749487138080752971205778567561223698510239738619435121491725344262276883366786174867117471992078076808274330178459891180992529101430530757070303103733251104705172136601726571213244962743991639400818256289414442579071332000012429940280079553744722676610831182195627927328627858605992357712696764346662268136294123246469131499928507317477832305564981346330606033187802933807391485180824857686672574102584404373295866814767520151652718421704342494935655486703266391200154747351985482379703524679930640739277896248518693047648018045860428425014340865010100500815819728926679447871637235070292379464924739331953665395774407104460001932695654032040688711079642052453870069467721156983280873857364942292724133033482333546283167413303568567702166794985147586958493471783745917047981653984030349908874528225119754354291887213430956106822496396785561763433824074230338180453357188797855640979478897231629682174695153170156846088789080773853612470082013440551212879768614213619338417095126034578321045658055471081817561793214208492797605701975307192985096055856302639065821571979930047151609614457995153079531708038062338077094335943/37492420347390773870441110940701633838499042405977707448433361190442771396304757569274203209935370906062241190700146524884591037565786755729034395134380444503303905585727223956960327857565478772660390256820664204659103552263300339707637299263067169620149520511926249342384458368831303459431326370214737554423318379766839523022575252384909352127278402128105865557283585639982630217487838436877526921672964987971120979170561639601396825141722435496801007960655851324409227661027773941206952077528231832297171177327718661568406455231183826981578022241592407226562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.03138257431609145
        }
      },
      {
        "left": {
          "exact": "249/250",
          "decimal": 0.996
        },
        "right": {
          "exact": "499/500",
          "decimal": 0.998
        },
        "derivative_upper": {
          "exact": "-4360104122501688986257536723745166356431508256959517082387799164914740409961061011905695522101027337280921620912729802846882050546427017267423318369714509891821188698932592152713019770525599684700438251979243103666380251093108303618596876509508351864352983807474852988671587730459475918939356024327147311784492044985274024452764003501760067474914015212811626163273711560868427185247963724680795728726053804557743242290414171644532143921510758227627181698298671981767059096302740860447660208795483855083143424733563300522178766738574972648789498270178867241/38893845486632135669650400336125776503689076054507294581881978842435617712721146507399655144535710105981041184719515513279475271701812744140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": -112.1026750620548
        },
        "polynomial_lower": {
          "exact": "37564259600620598079099974964181795009746320177149623789771437797283324807001815493544110955928162150954643911092246558292907457788412889776257275712508831631798739456652316963573581400842423726501306735319067162128106072750858472796983061976917269825738913656931284019179397031628647683277645245817369882126295881651753505923272916071517795743042186097272473168262492213391250064668025540453588954176981928599145106115902094956073769494132930762037835124289021827319742362679042346116013153857223842081112079610642217378280285898226300142357063869331861172336982710925123286062716079818815789676585441530017664892070155383953788971203893266960657020783847456327109241651986548888032804184846459579401947678269606429420576618283005821706323587889826916751473854993958456798073088194368439953037647404699891084579950441771932713553071088552622703054447648716783364227977012421245171844738768996338787403827586450480162426213643265596075598137990041791657061019365756440092773338097839422799595735428924938391973630910118125804309258951253632949504051795464219199498922329741984498298873625035170709635361433699411746161882753944890810439220202851906926300773537195132523904920933275492365998669692743596252232299242855596877869458104322846658147964010693968640621837825778180907695548717306211334192758181160290601008895973374464443617576823320542392589067941373914402587073208533696230939865959857265077216128926958266225290854254040533765231921618504555283332934613000343686791731104038262832410410439129/746610894802575103192071635779053735693673157097366419697371471836773528780620507563552261678304881887675991944259394099372390017083225915873216653763144604987528532910660120219196060788721465208880392637012090494592410011836747032644142616900332083048558703083541184895575851382928767377614130328354238764935559109717973222405062694762117943409463889732162234556231594885694280530934992852351844424574509056479875860833563280970583703895601755611687923371686934688995834361627861491694126341532837936052749111233390316657694692062436445302755419140310013702283837425245077122971902145413519884313655412351539206969578939761399890101352597837410028643143500987067184837542299646884202957153320312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.05031303435580543
        }
      },
      {
        "left": {
          "exact": "499/500",
          "decimal": 0.998
        },
        "right": {
          "exact": "1",
          "decimal": 1.0
        },
        "derivative_upper": {
          "exact": "-209726040897079279115550947377441534390641750336951823463215309755740494711745183374510420928888755971142867725626733094692117028727552196651405324776739919464131288188117326675182179264325449142799801050924247109066964878127377662700872382593783776585606343803101857144200515466771517042662744607994618046329636655381286005001611113104056436409087097793626912579480012989759450796183787624467564662773834393132400849490655530103837362807079306750150534732163679328194419432100861750807291677084129346948501190410839153322042576977056582193842866565535501/9723461371658033917412600084031444125922269013626823645470494710608904428180286626849913786133927526495260296179878878319868817925453186035156250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": -21.569072255317348
        },
        "polynomial_lower": {
          "exact": "263217687933876354037032532515165729723790905254020111862773158370419540640581238840534841998726606393777767202290593811463300003172788596827712262146973717139327364036049288085107190860968108296353806192061656856574344950929112862369550484569385477567643280982048738813887194981663615483152649042290981465707147824718856246500280500988129143353582229372849001441768346810529113662442278784001805949907710681277917226840685559937354042082876000791575735677579585236015272459937393455106530389097918551967674364789375093276371234300996675969562428300121501319977943420536257456689216000753560036616475988570260469183409334253776404981690579416121992828017737762548779922058758664033973808532712520790313097531108482360551877318548379680684777457498755318582210554378594470572896672082485358930776909182060092447840180427407399486576616931633786923694558021088648144930495137525368806663094752339882810090114227299183544308432498842545771108985304133566316452787750973449756899704998587126923976095714011974886854634130340991013870445829048820889597138001384922363622731696310100389/6196147063758909236508849013258162956112350707278065384780420706151066156956297543780291574843223355052892068012087148062993338238387760504835708881045360787203897704432849284381491261397079606545294988234327907840290032260126350154906017808631446541767218150198459625244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.042480865161098134
        }
      }
    ],
    "conclusion": "loaded hit density >=5 times blank density before 4; <= after 5; manuscript likelihood-ratio theorem connects the middle interval"
  },
  "dual_intercept_lower": {
    "exact": "912803678577519234116270764341463257194020647762136543762840854820842305240305237307896997041272511035059472188104698972205837035726145783376600485684345983683326719517165825562585572574839373826393431011630409682717587967317155770944151203499763783857373463129789784031607488625819770731418184910063155555506441484607662273274303712809150775756428380542795709600419357960886836104018136714801925077983016003145739403740057486317621544181529685171124708192669900942061190144219789080335108770632555865129496634213646284947703238583279042192053982925758288263449562756859177127129781982070957499859086293070350449296761740265083874310524774835038781861898928605765174243186256541362376097949348603269383132605654432218447122860315334480518204557633848317230438805706335645845485175348672592182457557986039328337458018190722790961207339599790313710274335700966339750388737927501211540098027493923159489968308909658240890593139219070671092836537851791452284359314305016843837594011983968936206018293305548322582629507702431991562304495874718836224016374392046066508915216718362782603830969903242020029696448232116598954123317833129636348362033473746572129078359485646290457969798185569603977952993356265207293657263552996497869814181983780045149666207397592349900102483463450755133861210116735924157356529469724108013151138124235063006135567148429113222265911608152621229939659589934841755092676320883681335324514958012661426116339742213789915186917064133481042035164631135420131005985814736132820658503538946678778587251580679/8613491026427945795816833837698385310223099443217012007722372364666331950546872271790405116577493435039644226480722359762297161693084663557148397906231155902820205644067571938876315855550165794265452750394089228286022289127063264830544531143282374594318503283202140739462105365138140531884378167121084560090803238040984601877918532392824069951247317957233756173349472158933886516212794871666207670758052410619989215816216003983482223906768801712319988990732620370906463381021983141440093151893263204900510749175601127610766871102294609491604754596155726257773990379560856089349345236280857097726805876287237184614575199271802118591928858940326226470219135562593294210895261692042576990278571500152882158452976307821657711351467268151840380003143248633924332448457666584087447308254220177403765815303984093193747741927584773687350230098117712272958027213632729496221232775224955941028190610983084737609545528256347668258787243646493750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "decimal": 0.10597371910841394
  },
  "miss_lower_at_blank_001": {
    "exact": "482129127256121944325429072456543991682865675601285943376722236587525707712961623718376741212397839283077260864068580984090978951071912605519180590372788188542316437313787228618769779797331084113120793491925948268416473510963992529416924646335645054141448298969682747058502220368912744137199276554008927550966279582558432179378377093167947278194062482681107900932945750014192510293378393131491541540080395472146278612929257287143510348843089599555125258656038882396738021093120632008330451175969395620103959175433589904409359683468548567611816253117971975374750043778816372659662520168028102613518792478708491218568001776674977944714081827818727458350942150476100463698423171939233526584020773595625275209956839041135561555286951926888499204400471416621013816382823006441473119762637663721994166792786834668650070921811484106593695834693904700062372975019329864939327099166253414488688496944768922609491032496840857477653777036745983592836537851791452284359314305016843837594011983968936206018293305548322582629507702431991562304495874718836224016374392046066508915216718362782603830969903242020029696448232116598954123317833129636348362033473746572129078359485646290457969798185569603977952993356265207293657263552996497869814181983780045149666207397592349900102483463450755133861210116735924157356529469724108013151138124235063006135567148429113222265911608152621229939659589934841755092676320883681335324514958012661426116339742213789915186917064133481042035164631135420131005985814736132820658503538946678778587251580679/8613491026427945795816833837698385310223099443217012007722372364666331950546872271790405116577493435039644226480722359762297161693084663557148397906231155902820205644067571938876315855550165794265452750394089228286022289127063264830544531143282374594318503283202140739462105365138140531884378167121084560090803238040984601877918532392824069951247317957233756173349472158933886516212794871666207670758052410619989215816216003983482223906768801712319988990732620370906463381021983141440093151893263204900510749175601127610766871102294609491604754596155726257773990379560856089349345236280857097726805876287237184614575199271802118591928858940326226470219135562593294210895261692042576990278571500152882158452976307821657711351467268151840380003143248633924332448457666584087447308254220177403765815303984093193747741927584773687350230098117712272958027213632729496221232775224955941028190610983084737609545528256347668258787243646493750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "decimal": 0.05597371910841394
  },
  "identity_at_seven": {
    "blank_upper": {
      "exact": "74549354925495599885179811461987293033558083142720293257775209168564394951048699253272719091698341174382608142868450920485399381741556255734198372634888838487911258583170104337588496491819155405931757453882217379190157138840074805864943261172448185189715803767086290576646394643687397696811122531657353193641931894416308060836993498739143587478868027067008510944942242617953989312841544267995132863351750218398565111648002435936747885361858134174003383845977177467284558559379324853726524645351410213031476923294718998944030142366651231253041582961616177085144142358899869089085834477314170963676084651774593430659584880469521065743152478256847327116338854487052608034055917762126229608327475229102934163847937574297886486338601541317808401201026762779068280595022844811994053853703441096806002476319764897735505934513831560772586074511601391575295106264127684880394372908950907526457404262847/252428794410871686107658061886069712857215665918292718015143593738541858307740486611843904464127492406764663704354905544482894517296194764727394370772512566564899272447060506755214721772252994556932627681111026638555956109882081532315613525265847961228003142575767796807528541682636390204767552277543750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.00029532825325843606
    },
    "miss_upper": {
      "exact": "7312211896132922615536877391327831100857246273000429455306510678149845217511695419037284885741329768402204200355645748846738750183651836322910220273955415746533543054460403310318785795580006546254567495425402358249005532524636633322604206365586955617161411844613469709274385962702502000749519778061570336215134050399551891960852954648481207249569435131728015354804130693511256490466238697342438227240722932691316836839903634309569095038661763190008637131052180444792647429104151094495364781288248537297131550933167507959670306245976554811132590122639241693818370269514029154327860402598853856358820756598878706958414919974644937975345968590292966060169001448456937168872586142469891102056396778829474083870063656957653807981237097524539790871872898053180285431733686792298209611877335593517520993924702986810549369239185584310218417331273023940452111783013366486958205327494166540113415932081554661312136257621728199694430982679513749000320776997263502631867742488494183940191330282931606108850201019476155218566140106781142425785034647468288994301514293327939951043887778256749231201359221526036175224337010824359874673109295420082005442269636619967036288512287810837045598989418311559794586188292932078021514864050812581320035758185552148931841984526490221883394553604488955496176521831719601439501291554643432950309827706827651386166107248029049113686612326887066325667684996114983999585498597487257889289930697174999612850009378155629535856903760617946311699431589/174363126852904142287843093502017702182186136449250866721381565441413553138323009878105244315392327393642393448993347654076235780355926674440897856417932336889238346212198901493842126544148622579095764763510945310185973774252621520611842956945198059014167111767869129066974143741732170949532134763698867739123623911188866276878784524745017163098100391134009071735702161610372199395206654600903555071280608116472029783528297277673325780043160139320560201435783940107570176739782422088022198792299678179216923542580268489174689635592553903704034895669758465889704155475794487402181689987779560384303041288500831977869300282707339550831528920203745643341548504926209635770757256883530090865580147325768975183626929460848651645703128857951716783852419168367809381290914164689934954065325343122581033210179689796986692564881472303030044536121305688293042505200041840179007017367755103530040440992741523298164510457516680806400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.04193668712021685
    },
    "occupied_hit_lower": {
      "exact": "1687382979361325451235416324350402738195241314911620578445202573366300080008195095546141004339909066921618073218562645507368656870427018566848359961050271930734391951088267658419427684328975919523648457253389322746838063047757423103931704551309203064616219191143996559168684422010400696452349646319568660635439291523124387726443753233298342988368999555578596529099980110271322655603438544480415321656968537209906191380690844882462188737419175516470217821259916764270480094047255262560877111222337673150704969612596979608232518478248256049423255611587062870665512981881620790382361915001825318464083035675777305766776619825582773867234171228418713911933126297755077763655400714556163633974987379262015162623806725291828260987089815761890676696773194649642718139991721998966027721752000076051146588042979664749253971673154411300200263826161946104571620135525540138303523353942029666564919445057171400372246204039342955623288575932530164151511911343461984821900325833449553697573824946637054483748987868490139846277109695891099571456716821742744555613116017239111717666223355775184351199986270489635998230057201910865051770978693985655737318764953165454878421328158708981443983848591734226668741553653606746686651365009587751703838022644590382334021798136096058364814196428237485298018418971396771702631300085306631990400910831244165137513473664161322736225387754273868016912447626301868848489035367702148910209192619220454549365151420422670408728718143832141956447480489/1743631268529041422878430935020177021821861364492508667213815654414135531383230098781052443153923273936423934489933476540762357803559266744408978564179323368892383462121989014938421265441486225790957647635109453101859737742526215206118429569451980590141671117678691290669741437417321709495321347636988677391236239111888662768787845247450171630981003911340090717357021616103721993952066546009035550712806081164720297835282972776733257800431601393205602014357839401075701767397824220880221987922996781792169235425802684891746896355925539037040348956697584658897041554757944874021816899877795603843030412885008319778693002827073395508315289202037456433415485049262096357707572568835300908655801473257689751836269294608486516457031288579517167838524191683678093812909141646899349540653253431225810332101796897969866925648814723030300445361213056882930425052000418401790070173677551035300404409927415232981645104575166808064000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.9677407200805891
    }
  },
  "loading_floor_enclosure": [
    {
      "exact": "23799212121438566733479929079713323116136196999278505733178013163631175042630267576868036206576276578303041211212093519177302201730070291334446051850750578797948112500176451563949785962990857829302867771379437709746665021368076164980174075680927730274526075548447032614428691819377527671264260789030231535434722900390625/1312518135431240261336532065397290164527017270371097684078796455744292558290218535334662129194386159962271088230777446887081516827732937819043272097882061005752811049376601675719413048440345332647690885648859841594813319567159044510377834451361689905817903471263708521147947302848183885778517765325485119087202713307187292",
      "decimal": 0.01813248249984684
    },
    {
      "exact": "536138113990655166409746942813402857724215150285875697325483642614522780652975939701153706711118034900280096809157306032195221424211082843095214755306985664456064266792637076427939053459420334379889616750681788249117778016543874401490047123927663136024577534011952470298408677011854450711325625889003276824951171875/29567827460756342629199729063087162825460341127563627167236534022114788748304525715814185220756232906365982950105111519262031394335407933594934656692966364753707158463855958425137235504339135607958087502985209689505404281922098976789531700376040329137372602514515052287748108386697485379327987065411823232340023148308",
      "decimal": 0.01813248249984684
    }
  ],
  "scope": "Finite h=capacity=5 source. Sign cells and scalar enclosures are recomputed; the source likelihood-ratio argument is imported from the companion. Poisson-empty loaded reactions remain in the miss denominator."
}