Compressed ProblemSolving file.