Update busy-beaver.py