  We give a classification of Wada-type representations of the braid groups,
and solutions of a variant of the set-theoretical Yang-Baxter equation adapted
to the free-product group structure. As a consequence, we prove Wada's
conjecture: There are only seven types of Wada-type representations up to
certain symmetries.
