Solution for the fourth lab at "Introduction to Theoretical Computer Science" course