lines
length included nothing else seen
—defined before the beginning of history (October 2022)