stored-verification.json

back to table · edit · history · where entries came from · files · download

6128 bytes, as of the version from 2026-11-10 22:01 (current). Recorded here, not run.

{
  "table": "T706",
  "checked_entries": 30,
  "total_entries": 30,
  "failures": [],
  "known_answer_control": true,
  "negative_control_rejected": true,
  "rows": [
    {
      "N": 1,
      "decimal": "3.106230071704746901741123202564027986596316939455796029217001376310928211521526782578645407396668147",
      "enclosures_strictly_inside": true
    },
    {
      "N": 2,
      "decimal": "1.076210744818494484684871849188509284920090596879948774133892760368435462237487971260121273210043907",
      "enclosures_strictly_inside": true
    },
    {
      "N": 3,
      "decimal": "0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704",
      "enclosures_strictly_inside": true
    },
    {
      "N": 4,
      "decimal": "0.2143668757778172491681734499375546193587481070247515066689983993561993605139103753173498237362858704",
      "enclosures_strictly_inside": true
    },
    {
      "N": 5,
      "decimal": "0.04857587456570884487773965270930336807226487754301404616129744647095708330853011821860317341645905099",
      "enclosures_strictly_inside": true
    },
    {
      "N": 6,
      "decimal": "0.1816853260527228617903812783357108262130978730493851468933774152031084604968563136936559234228992479",
      "enclosures_strictly_inside": true
    },
    {
      "N": 7,
      "decimal": "0.03739422234720036180993410480521683555226397025348968837914997271794713545325284407490287155674011302",
      "enclosures_strictly_inside": true
    },
    {
      "N": 8,
      "decimal": "0.03739422234720036180993410480521683555226397025348968837914997271794713545325284407490287155674011302",
      "enclosures_strictly_inside": true
    },
    {
      "N": 9,
      "decimal": "0.03739422234720036180993410480521683555226397025348968837914997271794713545325284407490287155674011302",
      "enclosures_strictly_inside": true
    },
    {
      "N": 10,
      "decimal": "0.1371864713835239794258190434617638316002800552747325366875291274770052645784764563911908498931038205",
      "enclosures_strictly_inside": true
    },
    {
      "N": 11,
      "decimal": "0.03415951217838289673530843212573891415649523164421900604339779629784285888988478252724320150480486990",
      "enclosures_strictly_inside": true
    },
    {
      "N": 12,
      "decimal": "0.03415951217838289673530843212573891415649523164421900604339779629784285888988478252724320150480486990",
      "enclosures_strictly_inside": true
    },
    {
      "N": 13,
      "decimal": "0.1307570929863762127840213138639002289408657984500514726148337663780300941462222810831223873816261020",
      "enclosures_strictly_inside": true
    },
    {
      "N": 14,
      "decimal": "0.03303433605975004778955938991494351923606024164981433463257157798869621994446171540468696834891775278",
      "enclosures_strictly_inside": true
    },
    {
      "N": 15,
      "decimal": "0.1064699896454489502720703654819309103637395269038534420046390514017222626305336511132195438240123308",
      "enclosures_strictly_inside": true
    },
    {
      "N": 16,
      "decimal": "0.1064699896454489502720703654819309103637395269038534420046390514017222626305336511132195438240123308",
      "enclosures_strictly_inside": true
    },
    {
      "N": 17,
      "decimal": "0.03734473333989613079275481813625914618025623115796719169063112875978165841889346706153967807784484873",
      "enclosures_strictly_inside": true
    },
    {
      "N": 18,
      "decimal": "0.03734473333989613079275481813625914618025623115796719169063112875978165841889346706153967807784484873",
      "enclosures_strictly_inside": true
    },
    {
      "N": 19,
      "decimal": "0.09989006830109911458986677017079178901287517975096975336200652640775108199446594508869278754664982310",
      "enclosures_strictly_inside": true
    },
    {
      "N": 20,
      "decimal": "0.09989006830109911458986677017079178901287517975096975336200652640775108199446594508869278754664982310",
      "enclosures_strictly_inside": true
    },
    {
      "N": 21,
      "decimal": "0.03975729760935954361538296498772485798006461662658488808258349441487612513935720276712112436563754068",
      "enclosures_strictly_inside": true
    },
    {
      "N": 22,
      "decimal": "0.09098244291052858500087030245666410085553869559422493761932055791801081452764234007077166687878487424",
      "enclosures_strictly_inside": true
    },
    {
      "N": 23,
      "decimal": "0.04067573865995944517268085740426421832486127022742974643099416990540714985426976099622581673707236803",
      "enclosures_strictly_inside": true
    },
    {
      "N": 24,
      "decimal": "0.04067573865995944517268085740426421832486127022742974643099416990540714985426976099622581673707236803",
      "enclosures_strictly_inside": true
    },
    {
      "N": 25,
      "decimal": "0.04067573865995944517268085740426421832486127022742974643099416990540714985426976099622581673707236803",
      "enclosures_strictly_inside": true
    },
    {
      "N": 26,
      "decimal": "0.08294732986206539384598400160985330491442833630871226912616031185402642258643666080722545646828099039",
      "enclosures_strictly_inside": true
    },
    {
      "N": 27,
      "decimal": "0.08294732986206539384598400160985330491442833630871226912616031185402642258643666080722545646828099039",
      "enclosures_strictly_inside": true
    },
    {
      "N": 28,
      "decimal": "0.08294732986206539384598400160985330491442833630871226912616031185402642258643666080722545646828099039",
      "enclosures_strictly_inside": true
    },
    {
      "N": 29,
      "decimal": "0.03707901364099820882008262541079028189330143020174222379930063110425757543443039960059566838197723337",
      "enclosures_strictly_inside": true
    },
    {
      "N": 30,
      "decimal": "0.07122139051812860924706802112128642976033071556318861617419973554370558756315225855007903410622982348",
      "enclosures_strictly_inside": true
    }
  ],
  "stored_document_sha256": "b3bf3581373d7a152030c8a9e4c7d81dea57f5040fec4c65ddd57678feea5ed0",
  "evidence_sha256": "df9e7d767d8744b3c90be3e86573a45d191410b01bc23543c27c10ef6d055668"
}