Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic Preprint in arXiv (December 2023)