From the extracted package root, install requirements.txt and run python code/verify.py --config evaluation.yaml. The complete matching primal and dual certificate was verified; reference/verify.log records that run. Verification uses exact rational and algebraic arithmetic, with bounded integer array operations. The reference value is (975752827-136955*sqrt(4561921))/242476882560.
