This is the Michigan-Claremont text (encoded by H. Van Dyke Parunak and Richard Whitaker).