PACKAGE D, Lectures on selected Irodov problems