# claim scripts re-run from a scratch copy (<scratch copy>); comparison with the saved outputs (timing fields stripped)
IDENTICAL: psl2_checks.txt
DIFFERS: psl2_exact.txt :: 26d25 < nice -n 10 python3  4 5 7 8 9 11 13 1  82.56s user 0.56s system 99% cpu 1:23.17 total 
IDENTICAL: sz128_quot.txt
IDENTICAL: sz128_sample.txt
IDENTICAL: sz2048_quot.txt
IDENTICAL: sz32_exact_all.txt
IDENTICAL: sz32_exact_galois.txt
IDENTICAL: sz512_quot.txt
IDENTICAL: sz8192_quot.txt
IDENTICAL: sz8_bruteforce_check.txt
IDENTICAL: sz8_exact_all.txt
