from machine import Pin 
from time import sleep

redled = Pin(2, Pin.OUT)
greenled = Pin(4, Pin.OUT)
command = Pin(12, Pin.IN)

while True:

  redled.value(1)
  greenled.value(1)