ai programming

So, I've done enough research (stumbling around on the internet when I should have been working on homework) to know that TF2 A.I. (A.K.A. NextBot) is written in the scripting language lua. Now, here's my question: Where are the .lua files that contain the A.I. for the Halloween bosses, and...