import time
from machine import Pin
import random

time.sleep(0.1) # Wait for USB to become ready
red=Pin(0,Pin.OUT)
green=Pin(1,Pin.OUT)
yellow=Pin(2,Pin.OUT)
while True:
    num=random.random();
    print(num);
    if num>=0.75:
        green.toggle()
        time.sleep(0.5)
        green.toggle()
        time.sleep(0.5)
    elif num<0.75 and num>=0.5:
        yellow.toggle()
        time.sleep(0.5)
        yellow.toggle()
        time.sleep(0.5)
    else:
        red.toggle()
        time.sleep(0.5)
        red.toggle()
        time.sleep(0.5)