Graduation Thesis | Michal Jedlička: Static Analysis of Sports Hall