Title: A guide to tables of the normal probability integral