Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges: Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. Zenodo 2023