file out
To move or process out of a place or thing in a line. After the concert ended, everyone filed out, abuzz with excitement.
file out (of something)
[for a line of people] to move out of something or some place. The people filed quietly out of the theater. They filed out at the end.