from machine import Pin, mem32
from machine import sleep
pins = [Pin(i, Pin.OUT) for i in [0,1,2,3,4,5,6,7]]
led_pins=[0,1,2,3,4,5,6,7,8]
GPIO_OUT_W1TC_REG = 0x3FF4400C #defines register 
lines_to_clear = (1<<0) | (1<<1) | (1<<1)|(1<<2)| (1<<3) | (1<<4) | (1<<5) | (1<<6) | (1<<7)
mem32[GPIO_OUT_W1TC_REG]=lines_to_clear

while True:
  mem32[GPIO_OUT_REG]=0x3FF44008
  lines_to_set=(1<<0)
  mem32[GPIO_OUT_REG] = lines_to_set 
  sleep(0.4)