#!/bin/sh
# DF-0785 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run_chain.sh [rounds]   # as maxx; succeeds typically within ~24 rounds