This page has moved to https://thomas.lewiner.org/pub/tomlew_phd_puc.html.