1808 higmapinf_a2019v18n3p280_post.pdf 1996 higmapinf_a2019v18n3p280_pre.pdf 391 + 4195 .