from machine import Pin
from time import sleep
led_1 = Pin(25, Pin.OUT)
led_2 = Pin(26, Pin.OUT)
led_3 = Pin(27, Pin.OUT)
def binarycount(x):
    binary = '{0:03b}'.format(x)
    led_1.value(int(binarycount[0]))
    led_2.value(int(binarycount[1]))
    led_3.value(int(binarycount[2]))
def main():
    while True:
        for j in range (0, 8):
            binarycount(j)
            sleep(1.5)
main()