Allen Householder's public data