A characterization of circle graphs in terms of total unimodularity. (May 2022)