which came first, Tom Hollman, or THX1138?

Did Lucas first meet Tomlinson Holman, and come up with the "Tomlinson Holman Experiment" (THX), OR did he first make THX 1138, and the letters were a complete coincidence? If it was a coincidence, how did lucas come up with the letters THX?

THX 1138 came in first asd it was his final student film. THX didn't came into being until much later when Lucas started funding projects for film technology (EditDroid, SoundDroid, Lucasfilm Computer Graphics Group, etc.). It was just coinciddence and a way to have fun. Kind like Cari at ILM is both named for Caricature and for lead developer Cary Phillips.