#!/bin/bash
set -eu
repair_dir="$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)"
exec python3 -I "$repair_dir/repair_strategy_mapping.py"