(^xa)a^-1,

(^xc) c^-1 (^yxc) (^yc^-1) b (^xyxb^-1),

b^-1 (^yc) (^ya^-1) (^yxb^-1) (^yxyc) ca^-1 (^x2b^-1) (^xb^-1) (^xyc),

(^x-3c^-1) (^xc^-1) (^y-1c) (^y-1x-4c) (^y-1a^-1) (^x5c^-1) (^x4y-1c) a

The main table

Summary