TOOTH
Probably not a lot of Europeans in the line you were in. This is my home airport and everyone always uses it.
Alternatively, you might have seen the iria scan line, which is part of a service the airport offers, which you have to pay for.
TOOTH