with open("lines") as file_in:
    lines = []
    print("let lines = [")
    for line in file_in:
        print('"' + line.split(" | ")[0] + '", ')
    print("];")