Q_as_CSemiGroup.con.body.xml
Q_as_CSemiGroup.con.types.xml
Q_mul_as_CSemiGroup.con.body.xml
Q_mul_as_CSemiGroup.con.types.xml