import time
import machine
rode_led = machine.Pin(0,machine.Pin.OUT)
gele_led = machine.Pin(1,machine.Pin.OUT)
groene_led = machine.Pin(2,machine.Pin.OUT)

rode_led_2 = machine.Pin(3,machine.Pin.OUT)
gele_led_2 = machine.Pin(4,machine.Pin.OUT)
groene_led2 = machine.Pin(5,machine.Pin.OUT)
while true
    if drukknop1.value() == 1
        rode_led.value(1)
        gele_led.value(0)
        groene_led.value(0)
        rode_led_2.value(0)
        gele_led_2.value(0)
        groene_led2.value(1) 
        time.sleep(4)
        rode_led.value(0)
        gele_led.value(0)
        groene_led.value(1)
        time.sleep(5)
        rode_led_2.value(0)
        gele_led_2.value(1)
        groene_led2.value(0)
        time.sleep(1)
        rode_led.value(0)
        gele_led.value(1)
        groene_led.value(0)
        time.sleep(1)
        rode_led_2.value(1)
        gele_led_2.value(0)
        groene_led2.value(0)
        time.sleep(5)