I was there recently for a conference, didn't know about the 9eur ticket and got the 10eur 24 hour ticket for zone ABC on the machine. Anyway, forgot to stamp the ticket, of course. The controller didn't give us a fine but warned us to stamp it before we get to the central station.