from machine import Pin
from time import sleep
led1 =Pin(12, Pin.OUT)
led2 = Pin(5, Pin.OUT)
led3 = Pin(4, Pin.OUT)
led4 = Pin(0, Pin.OUT)
while True:
led1.on()
sleep(4.0)
led3.on()
sleep(0.4)
led1.off()
led3.off()
led4.on()
sleep(1.5)
led4.off()
led2.on()
sleep(3.0)
led2.off()
print("stop")