<num> tags through Olympiad CXXV
Merge branch 'master' of https://github.com/hcmid/gen49