A001259 A358717 A358718 A358719