I was able to get the LEDs to work in the specified way, but my creation did not survive debugging. The button can’t be pressed continuously, else the code cycles through every state of the LEDs. The lights work as intended with a short but careful click of the button.
