MIPT Distributed Systems Course homework