This page was moved to https://www.ksi.mff.cuni.cz/teaching/nprg041-web/