from machine import Pin
from utime import sleep_ms

led1 = Pin(25, Pin.OUT)
led2 = Pin(26, Pin.OUT)

while True:
    led1.on()
    led2.off()
    sleep_ms(500)
    led1.off()
    led2.on()
    sleep_ms(500)