# read
def read_program(filename):
    f = open(filename, 'r')
    program = f.read()
    f.close()
    return program




d23a266acb59a642b825e20d75a324ef19c68527
<mask token>

def read_program(filename):
    f = open(filename, 'r')
    program = f.read()
    f.close()
    return program

# read
def read_program(filename):
    f = open(filename, 'r')
    program = f.read()
    f.close()
    return program



