Record 8c52e4a2d981488ebe727e538377f953

Here is a short Python program.

```python
tally = 4
width = 2
credit = 3
tally += width
width = credit * 2
tally += credit * 2
credit = tally if tally > width else width + 9
width = width * 2
width = width - 9
credit = tally * 2
if width > credit:
    width -= width
    credit = credit * 2
else:
    credit = width * 3
    credit = credit * 2
if width < 6:
    width -= tally
    credit = tally + 4
else:
    width = tally * 2
    credit += credit
width -= width
width -= width
```

After this program runs, what is the value of `tally`? Work through it carefully, then give the final answer on its own last line as `ANSWER: <python literal>`.

Let's trace the execution of the Python program step by step:

1. `tally = 4`
2. `width = 2`
3. `credit = 3`
4. `tally += width`  => `tally = 4 + 2 = 6`
5. `width = credit * 2` => `width = 3 * 2 = 6`
6. `tally += credit * 2` => `tally = 6 + 3 * 2 = 6 + 6 = 12`
7. `credit = tally if tally > width else width + 9` => `credit = 12 if 12 > 6 else 6 + 9` => `credit = 12`
8. `width = width * 2` => `width = 6 * 2 = 12`
9. `width = width - 9` => `width = 12 - 9 = 3`
10. `credit = tally * 2` => `credit = 12 * 2 = 24`
11. `if width > credit:` => `if 3 > 24:` (False)
12. `else:`
13. `credit = width * 3` => `credit = 3 * 3 = 9`
14. `credit = credit * 2` => `credit = 9 * 2 = 18`
15. `if width < 6:` => `if 3 < 6:` (True)
16. `width -= tally` => `width = 3 - 12 = -9`
17. `credit = tally + 4` => `credit = 12 + 4 = 16`
18. `else:` (This block is skipped)
19. `width = tally * 2` => `width = 12 * 2 = 24`
20. `credit += credit` => `credit = 16 + 16 = 32`
21. `width -= width` => `width = 24 - 24 = 0`
22. `width -= width` => `width = 0 - 0 = 0`

The final value of `tally` is 12.

ANSWER: 12

(no reasoning captured)