<s> import anyio . seg7 as display <EOL> import time <EOL> import anyio . GPIO as GPIO <EOL> LED_PINS = [ <NUM_LIT:7> , <NUM_LIT:6> , <NUM_LIT> , <NUM_LIT:16> , <NUM_LIT:10> , <NUM_LIT:8> , <NUM_LIT:9> , <NUM_LIT:15> ] <EOL> GPIO . setmode ( GPIO . BCM ) <EOL> ON = False <EOL> display . setup ( GPIO , LED_PINS , ON ) <EOL> try : <EOL> while True : <EOL> for d in range ( <NUM_LIT:10> ) : <EOL> display . write ( str ( d ) ) <EOL> time . sleep ( <NUM_LIT:0.5> ) <EOL> finally : <EOL> GPIO . cleanup ( ) </s>
