files / problems / simon-ionization-excess / compute / q15 / run_all.sh

211 B · on GitHub

#!/usr/bin/env bash
set -euo pipefail
echo 'q15 residue: search not run; certificate and independent verifiers absent.' >&2
echo 'Attempted leading 1.1 is unproved. Certified leading remains 1.1005.' >&2
exit 2