Copyright (c) 2023 Robert V. Harlander and Magnus C. Schaaf
