int-variety: Tricolor