Interesting! The shape of the holes punched in the tickets, and how many there are tell who punched that ticket. And that tells on which line you traveled. Hmm; tidbit for a story?