סך המניות בידי הציבור של Tyler Technologies, Inc..