mutable
lines1 = []