Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi: Accepted Artifact for Gradual Soundness: Lessons from Static Python. Zenodo 2022