What operas were there about Bao Zheng in Yuan Dynasty?

As early as the Southern Song Dynasty, the story of Bao Zheng's sentence was circulated in the singing of folk artists. In the Yuan Dynasty, the image of Bao Zheng was put on the stage. There are many zaju works by Bao Gong in Yuan Dynasty, among which Guan Hanqing's masterpiece "Three Outlooks on Dream Butterfly" is one. In the play, Ge Biao, a relative of the royal family, killed Lao Wang. According to the law of the feudal king, Ge Biao must die. But when Lao Wang's three sons avenged their father and killed Ge Biao, Bao Zheng sympathized with the people's misfortune. He replaced the life of Lao Wang's son with a robber who committed a capital crime.