C=HSAG_51A,|HSAG_70(A|B);