1#!/bin/sh2# Stage 5: exhaustive beta_p(n) for small n (no SAT, no symmetry reduction).3cd "$(dirname "$0")/../.."4OUT=results/robustness/beta_brute_stdout.txt5: > $OUT6for n in 13 14 15; do code/robustness/beta_brute $n 5 1 $((2*n-1)) 8 >> $OUT; done7code/robustness/beta_brute 16 5 10 22 8 >> $OUT8echo "# ALL DONE $(date -u +%FT%TZ)" >> $OUT9