from machine import Pin
from time import sleep
redLED01 = Pin(15, Pin.OUT)
redLED02 = Pin(14, Pin.OUT)
redLED03 = Pin(13, Pin.OUT)
redLED04 = Pin(12, Pin.OUT)

while True:
    
    redLED01.value(0)
    redLED02.value(0)
    redLED03.value(0)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(0)
    redLED03.value(0)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(1)
    redLED03.value(0)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(1)
    redLED03.value(0)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(0)
    redLED03.value(1)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(0)
    redLED03.value(1)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(1)
    redLED03.value(1)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(1)
    redLED03.value(1)
    redLED04.value(0)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(0)
    redLED03.value(0)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(0)
    redLED03.value(0)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(1)
    redLED03.value(0)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(1)
    redLED03.value(0)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(0)
    redLED03.value(1)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(0)
    redLED03.value(1)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(0)
    redLED02.value(1)
    redLED03.value(1)
    redLED04.value(1)
    sleep(1)
    
    redLED01.value(1)
    redLED02.value(1)
    redLED03.value(1)
    redLED04.value(1)
    sleep(1)