CEO da Tyler Technologies vende US$ 3,93 milhões em ações