add HallList.hpp