from machine import Pin
import utime
import random
# Configure GP26 as input with internal pull-up
button = Pin(13,Pin.IN,Pin.PULL_UP)
leds = [ Pin(x,Pin.OUT) for x in range(0,4) ]
for i in range(1,4):
  leds[i].low()
currentLed = 0
while True:
  utime.sleep(0.05)
  if button.value() == False:
    leds[currentLed].low()
    currentLed = max(1, (currentLed+1)%4)
    leds[currentLed].high()
    utime.sleep(0.1)