from machine import Pin, PWM
from utime import sleep_ms

led_r = Pin(18, Pin.OUT)
led_y = Pin(17, Pin.OUT)
led_g = Pin(16, Pin.OUT)
servo = PWM(Pin(15))
servo.freq(50)

while True:
    servo.duty_ns(1472205)
    led_g.value(1)
    led_r.value(0)
    sleep_ms(5000)
    led_y.value(1)
    led_g.value(0)
    sleep_ms(1000)
    servo.duty_ns(2488145)
    led_r.value(1)
    led_y.value(0)
    sleep_ms(3000)