GoalScope — fizz_buzz (Qwen2.5-Coder-32B-Instruct) — hover a token to see the patched verbalization
<code>↵ def fizz_buzz(n: int):↵ """Return the number of times the digit 7 appears in integers less than n which are divisible by 11 or 13."""↵ count = 0 for i in range(n):↵ if i % 11 == 0 or i % 13 == 0:↵ count += str(i).count('7')↵ return count</code>