from machine import Pin
from utime import sleep

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

while True:
  led1.toggle()
  led2.toggle()
  sleep(5)
  led1.toggle()
  led2.toggle()
  sleep(5)