C=HSS_(A1|A2|B|B23|C),|HSS_S1;