import time 
from machine import Pin

Pin1=[Pin(15,Pin.OUT),Pin(2,Pin.OUT),Pin(4,Pin.OUT),Pin(5,Pin.OUT),Pin(18,Pin.OUT),Pin(23,Pin.OUT),
Pin(19,Pin.OUT)]

char=[[0,0,0,0,0,0,1],
[1,0,0,1,1,1,1],
[0,0,1,0,0,1,0],
[0,0,0,0,1,1,0],
[1,0,0,1,1,0,0],
[0,1,0,0,1,0,0],
[0,1,0,0,0,0,0],
[0,0,0,1,1,1,1],
[0,0,0,0,0,0,0],
[0,0,0,1,1,0,0],]

while True:
    for i in range(10):
        for j in range(7):
            Pin1[j].value(char[i][j])
        time.sleep(1)