Files
CGA-bench/saves/lemmings4/TBout.txt
2026-05-22 10:02:42 +08:00

141 lines
21 KiB
Plaintext

scenario: 1, clk = 0, areset = 1, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 1, clk = 1, areset = 1, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
scenario: 1, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 1, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 2, clk = 1, areset = 0, bump_left = 1, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 2, clk = 1, areset = 0, bump_left = 1, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 2, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 2, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 3, clk = 1, areset = 0, bump_left = 0, bump_right = 1, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 3, clk = 1, areset = 0, bump_left = 0, bump_right = 1, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 3, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 3, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 4, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 4, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 4, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 4, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 5, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 5, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 5, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 5, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
scenario: 6, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 6, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 6, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 6, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 1, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 1, digging = 0
[check]scenario: 7, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 8, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 0, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 9, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 9, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 9, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 9, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 10, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 10, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 10, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 10, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 11, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 12, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 13, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 13, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 13, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 13, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 14, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 14, clk = 1, areset = 0, bump_left = 1, bump_right = 1, ground = 0, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
scenario: 14, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0
[check]scenario: 14, clk = 1, areset = 0, bump_left = 0, bump_right = 0, ground = 1, dig = 1, walk_left = 0, walk_right = 0, aaah = 0, digging = 0