{"abstract":"After three trips the unit restarts by itself an hour later without a service reset.","category":"HVAC thermostat control","checks":8,"contract":"Compressor pressure-switch lockout per minute; samples are [call, hp_ok, lp_ok] where call may also be \"reset\". While running, an open high-pressure switch trips at once; the low-pressure switch is ignored for the first 2 minutes after start. A trip enters a 5-minute soft lockout, after which the unit retries automatically if still called. The third trip within a sliding 60-minute window (trips older than 60 minutes are forgotten) causes a hard lockout that only reset clears; reset also clears the trip history. Return run, idle, soft or hard per minute.","contract_signature":"samples","evaluation_group":"w2-hvac-thermostat-control-pressure-switch-lockout","failed_approach":"Letting it expire only when there is no call still releases it without reset.","family":"w2-hvac-thermostat-control-pressure-switch-lockout-hard-lockout-latch","id":"FA-92706","implementations":{"attempt":{"sha256":"f6bef5c01bf97c6acac7546a946244c737dc7c5395f7ecb6530e1d970e4eba5f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples):\n    state = 'idle'\n    trips = []\n    start_at = None\n    soft_until = None\n    out = []\n    for minute, (call, hp_ok, lp_ok) in enumerate(samples):\n        if call == 'reset':\n            state = 'idle'\n            trips = []\n            out.append(state)\n            continue\n        if (state == 'soft' or state == 'hard' and not call) and minute >= soft_until:\n            state = 'idle'\n        if state == 'run':\n            lp_fault = not lp_ok and minute - start_at >= 2\n            if not hp_ok or lp_fault:\n                trips = [t for t in trips if minute - t < 60] + [minute]\n                if len(trips) >= 3:\n                    state = 'hard'\n                    soft_until = minute + 10\n                else:\n                    state = 'soft'\n                    soft_until = minute + 5\n            elif not call:\n                state = 'idle'\n        if state == 'idle' and call:\n            state = 'run'\n            start_at = minute\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: scenario 3',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 12',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [False, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 6',\n   [[[False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [False, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 11',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 7',\n   [[[False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, False, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 13',\n   [[['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 20',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     ['reset', True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'idle',\n    'run']],\n  ['regression: scenario 22',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 29',\n   [[[True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, False, True],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run']],\n  ['regression: scenario 30',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [False, False, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"33389a98de4559679571c3f5fbcb47ab18c1bc28652fd11589f0d1a5f40f5bd7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(samples):\n    state = 'idle'\n    trips = []\n    start_at = None\n    soft_until = None\n    out = []\n    for minute, (call, hp_ok, lp_ok) in enumerate(samples):\n        if call == 'reset':\n            state = 'idle'\n            trips = []\n            out.append(state)\n            continue\n        if state in ('soft', 'hard') and minute >= soft_until:\n            state = 'idle'\n        if state == 'run':\n            lp_fault = not lp_ok and minute - start_at >= 2\n            if not hp_ok or lp_fault:\n                trips = [t for t in trips if minute - t < 60] + [minute]\n                if len(trips) >= 3:\n                    state = 'hard'\n                    soft_until = minute + 10\n                else:\n                    state = 'soft'\n                    soft_until = minute + 5\n            elif not call:\n                state = 'idle'\n        if state == 'idle' and call:\n            state = 'run'\n            start_at = minute\n        out.append(state)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: scenario 3',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 12',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [False, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 6',\n   [[[False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [False, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 11',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 7',\n   [[[False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, False, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, False]]],\n   ['idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['regression: scenario 13',\n   [[['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [False, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 20',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', False, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     ['reset', True, False],\n     [True, True, False]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'idle',\n    'run']],\n  ['regression: scenario 22',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]],\n [['regression: scenario 29',\n   [[[True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [False, False, True],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, False, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     ['reset', True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, True, True],\n     [False, False, True],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'idle',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'idle',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run']],\n  ['regression: scenario 30',\n   [[[True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, False],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [False, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, True],\n     [False, True, True],\n     [False, False, True],\n     [False, True, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'idle',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard',\n    'hard']],\n  ['control: low pressure bypass and retry',\n   [[[True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, False],\n     [True, True, False],\n     [True, True, False],\n     [True, True, True]]],\n   ['run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: three trips hard lockout',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     ['reset', True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'hard',\n    'hard',\n    'idle',\n    'run',\n    'soft',\n    'soft']],\n  ['control: high pressure during suction dip',\n   [[[True, True, True],\n     [True, False, False],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run', 'run']],\n  ['control: high pressure at start',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run', 'soft', 'soft', 'soft', 'soft', 'soft', 'run', 'run']],\n  ['control: trip exactly an hour old',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft']],\n  ['control: old trips expire',\n   [[[True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, True, True],\n     [True, False, True],\n     [True, True, True]]],\n   ['run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'soft',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'run',\n    'soft',\n    'soft']]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A deterministic bounded teaching model of one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-hvac-thermostat-control-pressure-switch-lockout-hard-lockout-latch","generated_at":"2026-09-29T14:51:48.364042+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.","root_cause":"The hard lockout is given an expiry time and released by the soft-lockout timer.","sha256":"5b8642bbfb82e5f7c977619948d9a6c84e4887f7c330d5d63efe678ea6def564","title":"Hard lockout expires on a timer like a soft lockout · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":49.676,"exit_code":1,"observations":[{"actual":["run","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","idle","run","idle","run","idle","run","run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","idle","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard"],"check":"regression: scenario 3","expected":["run","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","idle","run","idle","run","idle","run","run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","idle","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard"],"passed":true},{"actual":["run","run","run","idle","run","run","idle","run","run","run","soft","soft","soft","soft","soft","run","run","run","idle","run","run","run","idle","run","run","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","idle","run","idle","run","run","run","run","run","idle","idle","run"],"check":"regression: scenario 12","expected":["run","run","run","idle","run","run","idle","run","run","run","soft","soft","soft","soft","soft","run","run","run","idle","run","run","run","idle","run","run","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard"],"passed":false},{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"control: low pressure bypass and retry","expected":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"control: three trips hard lockout","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run"],"check":"control: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"check":"control: trip exactly an hour old","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"check":"control: old trips expire","expected":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: scenario 3\", \"actual\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": true}, {\"check\": \"regression: scenario 12\", \"actual\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"idle\", \"run\"], \"expected\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": false}, {\"check\": \"control: low pressure bypass and retry\", \"actual\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: three trips hard lockout\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: high pressure during suction dip\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: high pressure at start\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: trip exactly an hour old\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: old trips expire\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.455,"exit_code":1,"observations":[{"actual":["run","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","idle","run","idle","run","idle","run","run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","idle","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","run"],"check":"regression: scenario 3","expected":["run","run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","idle","run","idle","run","idle","run","run","run","run","idle","run","soft","soft","soft","soft","soft","run","run","run","run","run","soft","soft","soft","soft","soft","run","run","idle","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard"],"passed":false},{"actual":["run","run","run","idle","run","run","idle","run","run","run","soft","soft","soft","soft","soft","run","run","run","idle","run","run","run","idle","run","run","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","idle","run","idle","run","run","run","run","run","idle","idle","run"],"check":"regression: scenario 12","expected":["run","run","run","idle","run","run","idle","run","run","run","soft","soft","soft","soft","soft","run","run","run","idle","run","run","run","idle","run","run","run","run","soft","soft","soft","soft","soft","run","run","run","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard","hard"],"passed":false},{"actual":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"check":"control: low pressure bypass and retry","expected":["run","run","soft","soft","soft","soft","soft","run","run","run","run","soft","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"check":"control: three trips hard lockout","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","hard","hard","idle","run","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","run"],"check":"control: high pressure during suction dip","expected":["run","soft","soft","soft","soft","soft","run","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run"],"check":"control: high pressure at start","expected":["run","soft","soft","soft","soft","soft","run","run"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"check":"control: trip exactly an hour old","expected":["run","soft","soft","soft","soft","soft","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft","soft"],"passed":true},{"actual":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"check":"control: old trips expire","expected":["run","soft","soft","soft","soft","soft","run","run","soft","soft","soft","soft","soft","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","run","soft","soft"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: scenario 3\", \"actual\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"run\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": false}, {\"check\": \"regression: scenario 12\", \"actual\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"idle\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"run\", \"idle\", \"idle\", \"run\"], \"expected\": [\"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"idle\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\", \"hard\"], \"passed\": false}, {\"check\": \"control: low pressure bypass and retry\", \"actual\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: three trips hard lockout\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"hard\", \"hard\", \"idle\", \"run\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: high pressure during suction dip\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: high pressure at start\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\"], \"passed\": true}, {\"check\": \"control: trip exactly an hour old\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\", \"soft\"], \"passed\": true}, {\"check\": \"control: old trips expire\", \"actual\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"expected\": [\"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"soft\", \"soft\", \"soft\", \"soft\", \"soft\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"run\", \"soft\", \"soft\"], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}