{
  "exact": {
    "scale": "1/256",
    "outcomes": 12,
    "enumerated_blocks": 18,
    "exact_residual": "0",
    "mutant_mass_failures": 6,
    "vertices_with_negative_effect_scores": 0,
    "mean": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "born": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "blocks": [
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "724903927028249251853132023227473655176941403111424/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "12727740273868920104167194597455867087539901804031759303944699904/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "102021157941374062033419882971077219292702136411038318311619158017/263177960559816097561419616305965012328209072885129385602159984642",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "39297129940633497617121165705216/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "689972346326342815373795520310363721130049536/7133451217305894148065394343936111231620866049",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "5530579364842970217422398263322729470748516353/14266902434611788296130788687872222463241732098",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "713623677208717476937283783942967281108123648/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "12529683559628272549438132553753450497690028287934341316608/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "50216801957245800027898553150466006019217005983662543470592/131588980279908048780709808152982506164104536442564692801079992321",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "38685626227668133590597632/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "679235667788765599699002556308911030272/7133451217305894148065394343936111231620866049",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "2722258934100166592636090706817898774528/7133451217305894148065394343936111231620866049",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "23384020649330737704014210648871540966907214561280/6277103234887362058798476527892230578650200855148754894849",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "24151333575665019745403985391166193067205157355949329628528640/7740528251759296987100576950175441539064972731915570164769411313",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "96794362714818034181453199211152339200102943962388848034447360/7740528251759296987100576950175441539064972731915570164769411313",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "0",
          "4398046511104/18446748463166128129"
        ],
        "probability": "1267650599933081496317350379520/340282367237851113631112422265381191681",
        "near_mass": "1110257/189576384",
        "correct_total": "1",
        "faulty_total": "190686641/189576384"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "4398046511104/18446748463166128129",
          "77220247336330860586598400/386705257013595925624381441"
        ],
        "probability": "1309246726877653781275256806976394111221760/419614777488582008709729079055065366565933297",
        "near_mass": "1233137/379152768",
        "correct_total": "1",
        "faulty_total": "380385905/379152768"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "77220247336330860586598400/386705257013595925624381441",
          "1"
        ],
        "probability": "5247234160695592440178185596437480593162240/419614777488582008709729079055065366565933297",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      }
    ]
  },
  "exact_theorem_scale": {
    "scale": "1/128",
    "outcomes": 12,
    "enumerated_blocks": 18,
    "exact_residual": "0",
    "mutant_mass_failures": 6,
    "vertices_with_negative_effect_scores": 0,
    "mean": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "born": [
      "6148914688373205675/18446744082299486209",
      "17179869184/55340232246898458627",
      "0",
      "0",
      "309334502548568994083758081/928908432419179609523773443",
      "100547197052514141388800/309636144139726536507924481",
      "0",
      "0",
      "166034207659833425929/1383505806172461465675",
      "98378131465884576432/461168602057487155225",
      "0",
      "0"
    ],
    "blocks": [
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "368298190986947475422617263227755103678336688193536/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "587865270936202469067378307113714101522559255461421668392501248/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "856540636100487684217695378014821520724997618686626369341049289/1957436802633187830928323011384546953632890816874188460524213138",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "19965487291706576099673318096896/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "31868243948361817111431546083415364209737728/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 0,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "510764830339627875884594715773244777917197219/1167241340052418219893032666428622279040849734",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "178405940569827301792974912446654784762544128/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "284765603405927325656910570323713125195219530953317679104/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "207456812929609732464690349047403757646313487240565620736/978718401316593915464161505692273476816445408437094230262106569",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "9671406556917033397649408/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "15437176111781909416038278456770822144/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 1,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "123708834575784002124043566398157357056/583620670026209109946516333214311139520424867",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "5846005859230971717826249005995717870410090414080/6277102486598523048477894710134707773323121818526795431937",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "9331199290232837469812357256165660367398898130720059230781440/10765902414482533070105776562615008244980899492808036532883172259",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 0,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "6797944844494681839367254573522442197807484474301369769000960/978718401316593915464161505692273476816445408437094230262106569",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "0",
          "2199023255552/18446746264142872577"
        ],
        "probability": "316912649983270374079337594880/340282367237851113631112422265381191681",
        "near_mass": "5941931/537133088",
        "correct_total": "1",
        "faulty_total": "543075019/537133088"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "2199023255552/18446746264142872577",
          "319091931141863060275200/2876194876805026341538249"
        ],
        "probability": "505845386713093300739570270080060977315840/583620670026209109946516333214311139520424867",
        "near_mass": "18866177/3222798528",
        "correct_total": "1",
        "faulty_total": "3241664705/3222798528"
      },
      {
        "vertex": 2,
        "gate": 1,
        "interval": [
          "319091931141863060275200/2876194876805026341538249",
          "1"
        ],
        "probability": "4053691090435466675620862204248403906396160/583620670026209109946516333214311139520424867",
        "near_mass": "0",
        "correct_total": "1",
        "faulty_total": "1"
      }
    ]
  },
  "stress": {
    "frames": 720,
    "fixed_tape_vectors": 6480,
    "largest_mass_error": 1.1102230246251565e-15,
    "largest_mean_error": 4.996003610813204e-16,
    "minimum_component": 0.0,
    "min_far_ratio": 0.7573792417078107,
    "near_cases": 3115,
    "far_cases": 5525,
    "negative_raw_score_cases": 1071,
    "mutant_max_mass_error": 0.05562001083108692
  }
}