K. Kostas code. Used in our analysis.