from machine import Pin
import time

red_led = Pin(13,Pin.OUT)
yellow_led = Pin(12,Pin.OUT)
green_led = Pin(14,Pin.OUT)


while True:
    # 绿灯亮10秒
    green_led.value(1)
    for i in range(10) :
        time.sleep(1)
        print("绿灯亮，第{}秒".format(i + 1))
    green_led.value(0)
    
    # 黄灯亮3秒
    yellow_led.value(1)
    for i in range(3) :
        time.sleep(1)
        print("黄灯亮，第{}秒".format(i + 1))
    yellow_led.value(0)

    # 红灯亮10秒
    red_led.value(1)
    for i in range(10) :
        time.sleep(1)
        print("红灯亮，第{}秒".format(i + 1))
    red_led.value(0)