Strong edge coloring of circle graphs. (May 2022)