#!/bin/sh
# DF-3093 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run2.sh 20 6 3 2097152; sh run4.sh 2 6 2 16777216; sh run6.sh 2 6 2 16777216