(^xa)a^-1,

(^yb) b^-1,

(^xyc) c^-1,

(^xya^-1) (^xyxc) c b^-1 (^y2a^-1) (^ya^-1) (^yxc) a^-1 (^xc) (^xb^-1)

The main table

Summary