Title: Tables of the normal probability integral