FA-91841 / PLC ladder logic scan cycles / Open access
TON credits the interval before the rung went true · case 01
The on-delay finishes one scan early because the scan that energized the rung already contributes elapsed time.
ROOT CAUSE
The accumulator is advanced whenever the rung is true, including the false-to-true transition scan.
VERIFIED REPAIR
Advance the accumulator only when the rung was also true on the previous scan.
Unsuccessful approach: Crediting half of the transition scan still counts time that elapsed before the timer was enabled.
Case contract
On-delay timer (TON) evaluated once per scan. scans is a list of [rung_in, elapsed_ms since the previous scan]. The accumulator starts on the false-to-true scan without crediting that scan's elapsed time, then adds each later true scan's elapsed time, clamped at preset. A false rung resets the accumulator. DN is rung_in and acc >= preset; TT is rung_in and not DN. Return [DN, TT, ACC] per scan.
Why this case matters
Ladder programs are executed as repeated scans; each defect here changes what a rung, timer, counter or data-table instruction reports on a particular scan, which is how commissioning and field faults are actually observed.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in:
acc = min(preset, acc + dt)
elif not rung_in:
acc = 0
dn = rung_in and acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['regression: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['regression: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]],
['control: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]]],
[['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[120,
[[True, 75],
[False, 60],
[True, 20],
[True, 25],
[False, 40],
[False, 40],
[True, 50],
[True, 60],
[True, 75],
[True, 40],
[True, 0]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 60],
[True, False, 120],
[True, False, 120],
[True, False, 120]]]],
[['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]],
['regression: scenario 3',
[50,
[[True, 40],
[False, 0],
[True, 60],
[True, 0],
[True, 40],
[True, 0],
[True, 0],
[False, 0],
[False, 50],
[False, 60],
[False, 10],
[True, 60]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 40],
[False, True, 40],
[False, True, 40],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0]]],
['regression: scenario 4',
[100, [[False, 60], [False, 20], [True, 75], [False, 25], [True, 60], [False, 25], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]],
['regression: scenario 3',
[120,
[[True, 60],
[True, 10],
[False, 10],
[True, 50],
[True, 20],
[True, 25],
[True, 25],
[False, 75],
[True, 40],
[True, 50],
[True, 75],
[True, 0]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 45],
[False, True, 70],
[False, False, 0],
[False, True, 0],
[False, True, 50],
[True, False, 120],
[True, False, 120]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 4',
[0, [[True, 25], [False, 75], [True, 20], [False, 25], [True, 20], [False, 25], [True, 40]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]]],
[['regression: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['regression: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[100,
[[False, 60],
[False, 0],
[True, 50],
[True, 20],
[True, 60],
[True, 20],
[True, 50],
[True, 0],
[True, 20],
[True, 0],
[True, 20],
[True, 25]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 80],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100]]]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: preset reached exactly | [[False, True, 30], [False, True, 80], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Failed |
| regression: interrupted timing restarts | [[False, True, 40], [True, False, 60], [False, False, 0], [False, True, 40], [True, False, 60], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Failed |
| control: zero preset | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Passed |
| regression: long hold after done | [[False, True, 30], [True, False, 50], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Failed |
| regression: scenario 1 | [[True, False, 30], [False, False, 0], [True, False, 30], [False, False, 0], [False, False, 0], [True, False, 30], [True, False, 30], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Failed |
| regression: scenario 2 | [[False, False, 0], [True, False, 30], [True, False, 30], [True, False, 30], [True, False, 30], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Failed |
| regression: scenario 3 | [[False, True, 25], [False, True, 45], [False, False, 0], [False, True, 75], [False, True, 75], [False, False, 0], [False, True, 25]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Failed |
| control: scenario 4 | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Passed |
SHA-256 / 311e0ffaee69b0365ac05e8ad26754749804ea8a8cb5a0b519e90845d0ce5a58
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in:
acc = min(preset, acc + (dt if prev else dt // 2))
elif not rung_in:
acc = 0
dn = rung_in and acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['regression: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['regression: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]],
['control: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]]],
[['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[120,
[[True, 75],
[False, 60],
[True, 20],
[True, 25],
[False, 40],
[False, 40],
[True, 50],
[True, 60],
[True, 75],
[True, 40],
[True, 0]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 60],
[True, False, 120],
[True, False, 120],
[True, False, 120]]]],
[['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]],
['regression: scenario 3',
[50,
[[True, 40],
[False, 0],
[True, 60],
[True, 0],
[True, 40],
[True, 0],
[True, 0],
[False, 0],
[False, 50],
[False, 60],
[False, 10],
[True, 60]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 40],
[False, True, 40],
[False, True, 40],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0]]],
['regression: scenario 4',
[100, [[False, 60], [False, 20], [True, 75], [False, 25], [True, 60], [False, 25], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]],
['regression: scenario 3',
[120,
[[True, 60],
[True, 10],
[False, 10],
[True, 50],
[True, 20],
[True, 25],
[True, 25],
[False, 75],
[True, 40],
[True, 50],
[True, 75],
[True, 0]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 45],
[False, True, 70],
[False, False, 0],
[False, True, 0],
[False, True, 50],
[True, False, 120],
[True, False, 120]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 4',
[0, [[True, 25], [False, 75], [True, 20], [False, 25], [True, 20], [False, 25], [True, 40]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]]],
[['regression: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['regression: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[100,
[[False, 60],
[False, 0],
[True, 50],
[True, 20],
[True, 60],
[True, 20],
[True, 50],
[True, 0],
[True, 20],
[True, 0],
[True, 20],
[True, 25]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 80],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100]]]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: preset reached exactly | [[False, True, 15], [False, True, 65], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Failed |
| regression: interrupted timing restarts | [[False, True, 20], [True, False, 60], [False, False, 0], [False, True, 20], [True, False, 60], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Failed |
| control: zero preset | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Passed |
| regression: long hold after done | [[False, True, 15], [False, True, 45], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Failed |
| regression: scenario 1 | [[False, True, 20], [False, False, 0], [True, False, 30], [False, False, 0], [False, False, 0], [True, False, 30], [True, False, 30], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Failed |
| regression: scenario 2 | [[False, False, 0], [False, True, 25], [False, True, 25], [False, True, 25], [True, False, 30], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Failed |
| regression: scenario 3 | [[False, True, 12], [False, True, 32], [False, False, 0], [False, True, 37], [False, True, 37], [False, False, 0], [False, True, 12]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Failed |
| control: scenario 4 | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Passed |
SHA-256 / 401678bdcb3174805765bd102a5ee207d17eb5037c5f6034344aae935cf3140b
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(preset, scans):
acc = 0
prev = False
out = []
for rung_in, dt in scans:
rung_in = bool(rung_in)
if rung_in and prev:
acc = min(preset, acc + dt)
elif not rung_in:
acc = 0
dn = rung_in and acc >= preset
tt = rung_in and not dn
prev = rung_in
out.append([dn, tt, acc])
return out
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[30, [[True, 40], [False, 75], [True, 60], [False, 25], [False, 10], [True, 60], [True, 25], [True, 40]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30]]],
['regression: scenario 2',
[30, [[False, 25], [True, 50], [True, 0], [True, 0], [True, 25], [True, 75], [True, 75]]],
[[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, True, 25],
[True, False, 30],
[True, False, 30]]],
['regression: scenario 3',
[120, [[True, 25], [True, 20], [False, 75], [True, 75], [True, 0], [False, 10], [True, 25]]],
[[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]],
['control: scenario 4',
[0,
[[True, 10],
[False, 25],
[True, 25],
[True, 20],
[True, 40],
[True, 20],
[True, 75],
[True, 0],
[True, 10]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]]],
[['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['control: scenario 1',
[0,
[[True, 40],
[True, 10],
[True, 10],
[False, 10],
[True, 20],
[True, 25],
[True, 20],
[False, 25],
[True, 20]]],
[[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]],
['regression: scenario 2',
[150,
[[True, 60],
[True, 10],
[False, 20],
[False, 40],
[True, 50],
[True, 25],
[False, 25],
[False, 75],
[True, 25],
[False, 0],
[True, 60],
[False, 10]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 3',
[50,
[[False, 50],
[True, 75],
[True, 75],
[True, 20],
[True, 75],
[True, 0],
[False, 60],
[True, 25],
[False, 10]]],
[[False, False, 0],
[False, True, 0],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[120,
[[True, 75],
[False, 60],
[True, 20],
[True, 25],
[False, 40],
[False, 40],
[True, 50],
[True, 60],
[True, 75],
[True, 40],
[True, 0]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 60],
[True, False, 120],
[True, False, 120],
[True, False, 120]]]],
[['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[50,
[[True, 75],
[True, 40],
[True, 60],
[True, 0],
[True, 25],
[False, 50],
[False, 75],
[True, 60],
[True, 20],
[True, 60],
[False, 60],
[True, 75]]],
[[False, True, 0],
[False, True, 40],
[True, False, 50],
[True, False, 50],
[True, False, 50],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[True, False, 50],
[False, False, 0],
[False, True, 0]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: scenario 2',
[120, [[False, 0], [False, 75], [True, 75], [True, 0], [True, 0], [False, 75], [True, 60], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 40]]],
['regression: scenario 3',
[50,
[[True, 40],
[False, 0],
[True, 60],
[True, 0],
[True, 40],
[True, 0],
[True, 0],
[False, 0],
[False, 50],
[False, 60],
[False, 10],
[True, 60]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 0],
[False, True, 40],
[False, True, 40],
[False, True, 40],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0]]],
['regression: scenario 4',
[100, [[False, 60], [False, 20], [True, 75], [False, 25], [True, 60], [False, 25], [True, 40]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, True, 0]]]],
[['regression: scenario 2',
[100, [[False, 50], [True, 50], [True, 20], [False, 50], [True, 40], [True, 10], [False, 10]]],
[[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, False, 0],
[False, True, 0],
[False, True, 10],
[False, False, 0]]],
['regression: scenario 3',
[120,
[[True, 60],
[True, 10],
[False, 10],
[True, 50],
[True, 20],
[True, 25],
[True, 25],
[False, 75],
[True, 40],
[True, 50],
[True, 75],
[True, 0]]],
[[False, True, 0],
[False, True, 10],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 45],
[False, True, 70],
[False, False, 0],
[False, True, 0],
[False, True, 50],
[True, False, 120],
[True, False, 120]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['control: scenario 1',
[0,
[[True, 10],
[True, 0],
[False, 50],
[True, 40],
[False, 20],
[False, 25],
[True, 50],
[True, 60],
[True, 40]]],
[[True, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[False, False, 0],
[True, False, 0],
[True, False, 0],
[True, False, 0]]],
['control: scenario 4',
[0, [[True, 25], [False, 75], [True, 20], [False, 25], [True, 20], [False, 25], [True, 40]]],
[[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0],
[False, False, 0],
[True, False, 0]]]],
[['regression: scenario 2',
[150, [[True, 50], [False, 40], [True, 20], [True, 20], [True, 10], [True, 40], [False, 50]]],
[[False, True, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 30],
[False, True, 70],
[False, False, 0]]],
['regression: scenario 3',
[200,
[[False, 20],
[False, 50],
[True, 75],
[False, 60],
[False, 50],
[True, 0],
[True, 25],
[True, 20],
[True, 40],
[True, 25],
[True, 25],
[True, 60]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 25],
[False, True, 45],
[False, True, 85],
[False, True, 110],
[False, True, 135],
[False, True, 195]]],
['regression: preset reached exactly',
[100, [[True, 30], [True, 50], [True, 50], [True, 10]]],
[[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]]],
['control: zero preset',
[0, [[False, 10], [True, 10], [False, 5], [True, 40]]],
[[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]]],
['regression: interrupted timing restarts',
[60, [[True, 40], [True, 40], [False, 40], [True, 40], [True, 40], [True, 40]]],
[[False, True, 0],
[False, True, 40],
[False, False, 0],
[False, True, 0],
[False, True, 40],
[True, False, 60]]],
['regression: long hold after done',
[50, [[True, 30], [True, 30], [True, 30], [True, 30], [False, 30]]],
[[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]]],
['regression: scenario 1',
[120,
[[True, 0],
[True, 50],
[True, 50],
[True, 75],
[True, 75],
[False, 40],
[True, 25],
[False, 0],
[False, 10],
[True, 25],
[False, 0]]],
[[False, True, 0],
[False, True, 50],
[False, True, 100],
[True, False, 120],
[True, False, 120],
[False, False, 0],
[False, True, 0],
[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, False, 0]]],
['regression: scenario 4',
[100,
[[False, 60],
[False, 0],
[True, 50],
[True, 20],
[True, 60],
[True, 20],
[True, 50],
[True, 0],
[True, 20],
[True, 0],
[True, 20],
[True, 25]]],
[[False, False, 0],
[False, False, 0],
[False, True, 0],
[False, True, 20],
[False, True, 80],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100],
[True, False, 100]]]]]
for label, args, expected in fixtures[N-1]:
check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: preset reached exactly | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | [[False, True, 0], [False, True, 50], [True, False, 100], [True, False, 100]] | Passed |
| regression: interrupted timing restarts | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | [[False, True, 0], [False, True, 40], [False, False, 0], [False, True, 0], [False, True, 40], [True, False, 60]] | Passed |
| control: zero preset | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | [[False, False, 0], [True, False, 0], [False, False, 0], [True, False, 0]] | Passed |
| regression: long hold after done | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | [[False, True, 0], [False, True, 30], [True, False, 50], [True, False, 50], [False, False, 0]] | Passed |
| regression: scenario 1 | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | [[False, True, 0], [False, False, 0], [False, True, 0], [False, False, 0], [False, False, 0], [False, True, 0], [False, True, 25], [True, False, 30]] | Passed |
| regression: scenario 2 | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | [[False, False, 0], [False, True, 0], [False, True, 0], [False, True, 0], [False, True, 25], [True, False, 30], [True, False, 30]] | Passed |
| regression: scenario 3 | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | [[False, True, 0], [False, True, 20], [False, False, 0], [False, True, 0], [False, True, 0], [False, False, 0], [False, True, 0]] | Passed |
| control: scenario 4 | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | [[True, False, 0], [False, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0], [True, False, 0]] | Passed |
SHA-256 / d308fec3ab88095eb0eda8674106e5218270572c9f03167218d18f31ea6df4d0
Verification & scope
A deterministic bounded teaching model of one PLC instruction or rung pattern evaluated scan by scan. The stated contract is a stipulated toy convention, not a claim of conformance to any vendor controller or IEC 61131-3 runtime. 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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:51:39.641658+00:00.
Case digest / de325824c1e12dc280b27d3bdcd8e7b51c264ee7e61efd7481a343238f5f289d