#!/usr/bin/env python3
"""Run the pinned Axler compact-denominator certificate."""

from pathlib import Path
import runpy


ROOT = Path(__file__).resolve().parents[2]
runpy.run_path(
    ROOT / "canon" / "witnesses" / "C-0055" / "verify.py",
    run_name="__main__",
)
