#!/bin/sh
# DF-5558 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
cd /root/df5558 && sh run.sh (applies disclosed setup fixes ../DF-5559 + ../DF-5560, then baseline vs fix.diff)