1#!/bin/bash2# Local environment: Python >= 3.9 with pinned packages (requirements.txt pins the laptop versions; cluster nodes used NumPy 2.0.2 under 3.9).3set -e4cd "$(dirname "$0")/.."5python3 -m pip install -r requirements.txt6python3 -m pytest -q7python3 theory/symbolic_checks.py | tail -18