{
 "run": "RUN-012",
 "subject": "Round 11 (v0.11): exact boundaries, derivative boxes, root boxes, boundary neighbourhoods, special enclosures",
 "package": {
  "id": "round-v0.11",
  "sha256": "82f6ea0be019ae7b4bb5aeacb78940c7aeb635459eddb26a24d714b9ddf30bf2"
 },
 "checks": {
  "U1": {
   "pass": true,
   "failures": []
  },
  "U2": {
   "pass": true,
   "failures": []
  },
  "U3": {
   "pass": true,
   "failures": []
  },
  "U4": {
   "pass": true,
   "failures": []
  },
  "U5": {
   "pass": false,
   "failures": [
    "the root boxes are not all the stationary points"
   ]
  },
  "U6": {
   "pass": false,
   "failures": [
    "boundary 1: a one-sided derivative interval does not contain the derivative",
    "boundary 2: a one-sided derivative interval does not contain the derivative",
    "boundary 3: a one-sided derivative interval does not contain the derivative",
    "boundary 4: a one-sided derivative interval does not contain the derivative",
    "boundary 5: a one-sided derivative interval does not contain the derivative",
    "boundary 6: a one-sided derivative interval does not contain the derivative",
    "boundary 7: a one-sided derivative interval does not contain the derivative",
    "boundary 9: a one-sided derivative interval does not contain the derivative",
    "boundary 10: a one-sided derivative interval does not contain the derivative",
    "boundary 11: a one-sided derivative interval does not contain the derivative",
    "boundary 12: a one-sided derivative interval does not contain the derivative",
    "boundary 13: a one-sided derivative interval does not contain the derivative",
    "boundary 14: a one-sided derivative interval does not contain the derivative",
    "boundary 15: a one-sided derivative interval does not contain the derivative"
   ]
  },
  "U7": {
   "pass": true,
   "failures": []
  },
  "U8": {
   "pass": true,
   "failures": []
  },
  "U9": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "neighbourhoods": [
   {
    "boundary": 1,
    "formula": "\\pi/2-\\alpha",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": false,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.32924188807148635,
     "at_2e-10": -0.32924188787168773,
     "range_60_digits": [
      -0.32924188807148635,
      -0.32923989008494897
     ],
     "stated": [
      -0.3292420250878879,
      -0.3292397528687484
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -1.3721620018003478e-07,
     "move_within_2e-10": 1.997986220914072e-10
    },
    "right": {
     "at_switch": -0.32924188807148635,
     "at_2e-10": -0.19349595207020548,
     "range_60_digits": [
      -0.32924188807148635,
      -0.08916863176753403
     ],
     "stated": [
      -0.19349812096072358,
      -0.08916644279842614
     ],
     "encloses": false,
     "shortfall": 0.13574376711076278,
     "near_end_minus_derivative_at_2e-10": -2.1688905181005413e-06,
     "move_within_2e-10": 0.13574593600128088
    }
   },
   {
    "boundary": 2,
    "formula": "\\pi/2-\\beta",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": false,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.23105717330515033,
     "at_2e-10": 0.19309206644801952,
     "range_60_digits": [
      0.0891685179896209,
      0.23105717330515033
     ],
     "stated": [
      0.0891662037983264,
      0.19309441338680305
     ],
     "encloses": false,
     "shortfall": 0.03796275991834727,
     "near_end_minus_derivative_at_2e-10": 2.3469387835373112e-06,
     "move_within_2e-10": 0.03796510685713081
    },
    "right": {
     "at_switch": 0.23105717330515033,
     "at_2e-10": 0.23105717310535173,
     "range_60_digits": [
      0.23105517531881312,
      0.23105717330515033
     ],
     "stated": [
      0.2310548128248368,
      0.2310575355993284
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 3.6249397666887617e-07,
     "move_within_2e-10": 1.9979859433583158e-10
    }
   },
   {
    "boundary": 3,
    "formula": "\\beta-\\pi/3",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": false,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.03539023594618192,
     "at_2e-10": 0.03539023615113282,
     "range_60_digits": [
      0.03539023594618192,
      0.03539228545516241
     ],
     "stated": [
      0.03538965638120628,
      0.03539286522508822
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -5.797699265397416e-07,
     "move_within_2e-10": 2.049509034707242e-10
    },
    "right": {
     "at_switch": 0.03539023594618192,
     "at_2e-10": 0.07922856529949332,
     "range_60_digits": [
      0.03539023594618192,
      0.1992294001946418
     ],
     "stated": [
      0.07922597767755779,
      0.19923193115423699
     ],
     "encloses": false,
     "shortfall": 0.043835741731375874,
     "near_end_minus_derivative_at_2e-10": -2.587621935529194e-06,
     "move_within_2e-10": 0.0438383293533114
    }
   },
   {
    "boundary": 4,
    "formula": "\\alpha-\\pi/3",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.688658444193899,
     "at_2e-10": 0.5319125387878471,
     "range_60_digits": [
      0.41144550011351205,
      0.688658444193899
     ],
     "stated": [
      0.4114430774453327,
      0.531914897791721
     ],
     "encloses": false,
     "shortfall": 0.15674354640217802,
     "near_end_minus_derivative_at_2e-10": 2.3590038739085273e-06,
     "move_within_2e-10": 0.15674590540605193
    },
    "right": {
     "at_switch": 0.688658444193899,
     "at_2e-10": 0.6886584439857689,
     "range_60_digits": [
      0.6886563628922878,
      0.688658444193899
     ],
     "stated": [
      0.6886562115564152,
      0.6886585953216409
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 1.513358719451574e-07,
     "move_within_2e-10": 2.0813006873510176e-10
    }
   },
   {
    "boundary": 5,
    "formula": "\\pi/2",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-08,
    "left": {
     "at_switch": -0.6796528094170197,
     "at_2e-10": -0.6796528092077089,
     "range_60_digits": [
      -0.6796528094170197,
      -0.6796527884859405
     ],
     "stated": [
      -0.6796528092278442,
      -0.6796527884658046
     ],
     "encloses": false,
     "shortfall": 1.8917545308028139e-10,
     "near_end_minus_derivative_at_2e-10": -2.0135337841509227e-11,
     "move_within_2e-10": 2.093107909217906e-10
    },
    "right": {
     "at_switch": -0.08251423235328578,
     "at_2e-10": -0.08251423256259657,
     "range_60_digits": [
      -0.08251425328436483,
      -0.08251423235328578
     ],
     "stated": [
      -0.08251425330450035,
      -0.0825142325424606
     ],
     "encloses": false,
     "shortfall": 1.8917481470204223e-10,
     "near_end_minus_derivative_at_2e-10": 2.0135976219748386e-11,
     "move_within_2e-10": 2.093107909217906e-10
    }
   },
   {
    "boundary": 6,
    "formula": "\\pi-\\alpha",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.20037442521251408,
     "at_2e-10": -0.20037442500641375,
     "range_60_digits": [
      -0.20037442521251408,
      -0.20037236420860483
     ],
     "stated": [
      -0.20037459744641928,
      -0.20037219176859844
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -1.7244000552474326e-07,
     "move_within_2e-10": 2.0610033124590643e-10
    },
    "right": {
     "at_switch": -0.20037442521251408,
     "at_2e-10": -0.12200147261152347,
     "range_60_digits": [
      -0.20037442521251408,
      -0.06176897352600014
     ],
     "stated": [
      -0.12200372541593708,
      -0.061766709129206426
     ],
     "encloses": false,
     "shortfall": 0.078370699796577,
     "near_end_minus_derivative_at_2e-10": -2.2528044136133074e-06,
     "move_within_2e-10": 0.07837295260099061
    }
   },
   {
    "boundary": 7,
    "formula": "\\pi-\\beta",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.09952338375456844,
     "at_2e-10": 0.07760421918130772,
     "range_60_digits": [
      0.017604835579942947,
      0.09952338375456844
     ],
     "stated": [
      0.017602458724797487,
      0.0776066149432253
     ],
     "encloses": false,
     "shortfall": 0.02191676881134315,
     "near_end_minus_derivative_at_2e-10": 2.3957619175729583e-06,
     "move_within_2e-10": 0.02191916457326072
    },
    "right": {
     "at_switch": 0.09952338375456844,
     "at_2e-10": 0.09952338354869801,
     "range_60_digits": [
      0.09952132505000487,
      0.09952338375456844
     ],
     "stated": [
      0.09952098008243893,
      0.09952372851626468
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 3.4496756666502204e-07,
     "move_within_2e-10": 2.0587043181308218e-10
    }
   },
   {
    "boundary": 8,
    "formula": "2\\pi/3",
    "classification": "cusp_minimum",
    "scale_exclusion_passed": true,
    "radius": 2e-08,
    "left": {
     "at_switch": -0.26765828762791816,
     "at_2e-10": -0.2676582874281353,
     "range_60_digits": [
      -0.26765828762791816,
      -0.2676582676496313
     ],
     "stated": [
      -0.26765829581560646,
      -0.2676582592621594
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -8.387471162052407e-09,
     "move_within_2e-10": 1.9978285692445752e-10
    },
    "right": {
     "at_switch": 0.612416405839175,
     "at_2e-10": 0.6124164056393921,
     "range_60_digits": [
      0.6124163858608881,
      0.612416405839175
     ],
     "stated": [
      0.6124163850318692,
      0.612416406468411
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 8.290188535653442e-10,
     "move_within_2e-10": 1.9978285692445752e-10
    }
   },
   {
    "boundary": 9,
    "formula": "\\pi/2+\\beta",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.3816772364449212,
     "at_2e-10": -0.3816772362233625,
     "range_60_digits": [
      -0.3816772364449212,
      -0.381675020857372
     ],
     "stated": [
      -0.3816772519208066,
      -0.38167500515992797
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -1.5697444066820054e-08,
     "move_within_2e-10": 2.2155866030715288e-10
    },
    "right": {
     "at_switch": -0.3816772364449212,
     "at_2e-10": -0.3437121296095505,
     "range_60_digits": [
      -0.3816772364449212,
      -0.2397887987300013
     ],
     "stated": [
      -0.3437143718240636,
      -0.23978656766986894
     ],
     "encloses": false,
     "shortfall": 0.03796286462085757,
     "near_end_minus_derivative_at_2e-10": -2.242214513115126e-06,
     "move_within_2e-10": 0.03796510683537069
    }
   },
   {
    "boundary": 10,
    "formula": "\\pi/2+\\alpha",
    "classification": "unresolved_derivative",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.17316556927380755,
     "at_2e-10": 0.03741963329269016,
     "range_60_digits": [
      -0.06690748539525995,
      0.17316556927380755
     ],
     "stated": [
      -0.06690969557908401,
      0.03742184684961133
     ],
     "encloses": false,
     "shortfall": 0.13574372242419622,
     "near_end_minus_derivative_at_2e-10": 2.2135569211698125e-06,
     "move_within_2e-10": 0.1357459359811174
    },
    "right": {
     "at_switch": 0.17316556927380755,
     "at_2e-10": 0.1731655690538455,
     "range_60_digits": [
      0.17316336965300969,
      0.17316556927380755
     ],
     "stated": [
      0.17316335886539896,
      0.17316557984145603
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 1.0787610527085434e-08,
     "move_within_2e-10": 2.1996204857543944e-10
    }
   },
   {
    "boundary": 11,
    "formula": "\\pi",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-08,
    "left": {
     "at_switch": 0.04763961426114487,
     "at_2e-10": 0.047639614483612786,
     "range_60_digits": [
      0.04763961426114487,
      0.04763963650793622
     ],
     "stated": [
      0.04763961447473451,
      0.047639636516814576
     ],
     "encloses": false,
     "shortfall": 2.135896390309533e-10,
     "near_end_minus_derivative_at_2e-10": -8.878273116685875e-12,
     "move_within_2e-10": 2.2246791214763917e-10
    },
    "right": {
     "at_switch": 0.39239773247240173,
     "at_2e-10": 0.3923977322499338,
     "range_60_digits": [
      0.39239771022561026,
      0.39239773247240173
     ],
     "stated": [
      0.392397710216732,
      0.39239773225881225
     ],
     "encloses": false,
     "shortfall": 2.135894794363935e-10,
     "near_end_minus_derivative_at_2e-10": 8.878453527927377e-12,
     "move_within_2e-10": 2.2246793296432088e-10
    }
   },
   {
    "boundary": 12,
    "formula": "5\\pi/3-\\alpha",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.346122859247792,
     "at_2e-10": -0.3461228590222727,
     "range_60_digits": [
      -0.346122859247792,
      -0.34612060405375017
     ],
     "stated": [
      -0.3461228590380379,
      -0.3461206040379846
     ],
     "encloses": false,
     "shortfall": 2.0975410297552344e-10,
     "near_end_minus_derivative_at_2e-10": -1.5765222460828454e-11,
     "move_within_2e-10": 2.255193254363519e-10
    },
    "right": {
     "at_switch": -0.346122859247792,
     "at_2e-10": -0.1893769538591294,
     "range_60_digits": [
      -0.346122859247792,
      -0.0689100890612059
     ],
     "stated": [
      -0.18937937315805184,
      -0.0689075503647115
     ],
     "encloses": false,
     "shortfall": 0.15674348608974017,
     "near_end_minus_derivative_at_2e-10": -2.419298922445856e-06,
     "move_within_2e-10": 0.15674590538866262
    }
   },
   {
    "boundary": 13,
    "formula": "5\\pi/3-\\beta",
    "classification": "increasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": 0.30215820686638617,
     "at_2e-10": 0.25831987753400454,
     "range_60_digits": [
      0.13831925191493044,
      0.30215820686638617
     ],
     "stated": [
      0.13831644279237865,
      0.2583228298663384
     ],
     "encloses": false,
     "shortfall": 0.04383537700004775,
     "near_end_minus_derivative_at_2e-10": 2.9523323338831453e-06,
     "move_within_2e-10": 0.04383832933238163
    },
    "right": {
     "at_switch": 0.30215820686638617,
     "at_2e-10": 0.3021582066405055,
     "range_60_digits": [
      0.3021559480590513,
      0.30215820686638617
     ],
     "stated": [
      0.30215521957304775,
      0.30215893512650854
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 7.284860030210005e-07,
     "move_within_2e-10": 2.2588064751971615e-10
    }
   },
   {
    "boundary": 14,
    "formula": "\\pi+\\beta",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.5137386673823892,
     "at_2e-10": -0.5137386671723487,
     "range_60_digits": [
      -0.5137386673823892,
      -0.5137365669774719
     ],
     "stated": [
      -0.5137389036457634,
      -0.513736330504056
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -2.3647341462762483e-07,
     "move_within_2e-10": 2.1004042949357427e-10
    },
    "right": {
     "at_switch": -0.5137386673823892,
     "at_2e-10": -0.4918195028132984,
     "range_60_digits": [
      -0.5137386673823892,
      -0.4318201609064605
     ],
     "stated": [
      -0.4918218459169277,
      -0.4318178242413604
     ],
     "encloses": false,
     "shortfall": 0.021916821465461478,
     "near_end_minus_derivative_at_2e-10": -2.3431036292875795e-06,
     "move_within_2e-10": 0.021919164569090765
    }
   },
   {
    "boundary": 15,
    "formula": "\\pi+\\alpha",
    "classification": "decreasing_through_switch",
    "scale_exclusion_passed": true,
    "radius": 2e-06,
    "left": {
     "at_switch": -0.21436463066380276,
     "at_2e-10": -0.29273758326493887,
     "range_60_digits": [
      -0.35297008380458017,
      -0.21436463066380276
     ],
     "stated": [
      -0.3529723357161847,
      -0.2927353437688992
     ],
     "encloses": false,
     "shortfall": 0.07837071310509644,
     "near_end_minus_derivative_at_2e-10": 2.2394960396687758e-06,
     "move_within_2e-10": 0.07837295260113611
    },
    "right": {
     "at_switch": -0.21436463066380276,
     "at_2e-10": -0.2143646308697576,
     "range_60_digits": [
      -0.21436669021178964,
      -0.21436463066380276
     ],
     "stated": [
      -0.2143668827782752,
      -0.21436443830327084
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 1.9256648675636256e-07,
     "move_within_2e-10": 2.059548365185293e-10
    }
   },
   {
    "boundary": 16,
    "formula": "3\\pi/2",
    "classification": "cusp_minimum",
    "scale_exclusion_passed": true,
    "radius": 2e-08,
    "left": {
     "at_switch": -0.3294802833214697,
     "at_2e-10": -0.32948028312168687,
     "range_60_digits": [
      -0.3294802833214697,
      -0.32948026334318287
     ],
     "stated": [
      -0.32948028408833613,
      -0.3294802623765327
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -9.666492606363875e-10,
     "move_within_2e-10": 1.9978285692445752e-10
    },
    "right": {
     "at_switch": 0.4326867584488357,
     "at_2e-10": 0.43268675824905284,
     "range_60_digits": [
      0.43268673847054884,
      0.4326867584488357
     ],
     "stated": [
      0.43268673751515674,
      0.4326867592044455
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 9.553926538785618e-10,
     "move_within_2e-10": 1.9978285692445752e-10
    }
   },
   {
    "boundary": 17,
    "formula": "5\\pi/3",
    "classification": "cusp_minimum",
    "scale_exclusion_passed": true,
    "radius": 2e-08,
    "left": {
     "at_switch": -0.12473944484448354,
     "at_2e-10": -0.12473944462819783,
     "range_60_digits": [
      -0.12473944484448354,
      -0.12473942321591205
     ],
     "stated": [
      -0.12473944545765221,
      -0.12473942238645787
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": -8.294543801801169e-10,
     "move_within_2e-10": 2.1628571156284693e-10
    },
    "right": {
     "at_switch": 0.5647767915780302,
     "at_2e-10": 0.5647767913617444,
     "range_60_digits": [
      0.5647767699494586,
      0.5647767915780302
     ],
     "stated": [
      0.564776763208332,
      0.5647767981028706
     ],
     "encloses": true,
     "shortfall": 0.0,
     "near_end_minus_derivative_at_2e-10": 6.741126212794768e-09,
     "move_within_2e-10": 2.1628576707399816e-10
    }
   }
  ],
  "neighbourhoods_not_enclosing": [
   1,
   2,
   3,
   4,
   5,
   6,
   7,
   9,
   10,
   11,
   12,
   13,
   14,
   15
  ],
  "largest_shortfall": 0.15674354640217802,
  "boundary_condition_residue": "5.98e-60",
  "smooth_minimum_count": 5,
  "root_second_derivative_margin": 1.481852929252625e-08,
  "stationary_count": 13,
  "stationary_outside_root_boxes": [
   {
    "phase": "3.0282264652556883627",
    "interval": 9,
    "before_boundary_10": "5.4414e-9",
    "within_boundary_10_neighbourhood": true
   }
  ],
  "boxes_least_slack": 8.878509039078608e-12,
  "s270_minus_interval_ends": [
   "8.8809e-12",
   "-8.8806e-12"
  ],
  "s120_minus_s270_exact": "1.63833406919315e-9",
  "recomputed_bounds": {
   "M1": 0.7033425550009579,
   "M2": 15.128024568137338,
   "coordinate": 9.174572128674399e-12
  }
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 168,
  "must_stay_green_held": 168,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-report-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-readme-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-boxes-copied",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "U1",
     "U2",
     "U4",
     "U5",
     "U6"
    ],
    "tripped": [
     "U1",
     "U2",
     "U4",
     "U5",
     "U6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-boundary-formula",
    "kind": "mutation",
    "expected": [
     "U1"
    ],
    "tripped": [
     "U1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-boundary-phase",
    "kind": "mutation",
    "expected": [
     "U1"
    ],
    "tripped": [
     "U1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-error-bound",
    "kind": "mutation",
    "expected": [
     "U2"
    ],
    "tripped": [
     "U2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-s120-interval",
    "kind": "mutation",
    "expected": [
     "U2"
    ],
    "tripped": [
     "U2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-event-branch",
    "kind": "mutation",
    "expected": [
     "U3"
    ],
    "tripped": [
     "U3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-box-interval",
    "kind": "mutation",
    "expected": [
     "U4"
    ],
    "tripped": [
     "U4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-box-count",
    "kind": "mutation",
    "expected": [
     "U4"
    ],
    "tripped": [
     "U4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-root-second-derivative",
    "kind": "mutation",
    "expected": [
     "U5"
    ],
    "tripped": [
     "U5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-neighbourhood-scale",
    "kind": "mutation",
    "expected": [
     "U6"
    ],
    "tripped": [
     "U6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-neighbourhood-class",
    "kind": "mutation",
    "expected": [
     "U6"
    ],
    "tripped": [
     "U6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-summary-count",
    "kind": "mutation",
    "expected": [
     "U7"
    ],
    "tripped": [
     "U7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-report-sign",
    "kind": "mutation",
    "expected": [
     "U8"
    ],
    "tripped": [
     "U8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-readme-count",
    "kind": "mutation",
    "expected": [
     "U8"
    ],
    "tripped": [
     "U8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-handoff-criterion",
    "kind": "mutation",
    "expected": [
     "U8"
    ],
    "tripped": [
     "U8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-verifier-constant",
    "kind": "mutation",
    "expected": [
     "U9"
    ],
    "tripped": [
     "U9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-method-bound",
    "kind": "mutation",
    "expected": [
     "U9"
    ],
    "tripped": [
     "U9"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}