Part 2: the three slow exact programs of Step 2 for p = 4, n <= 120, run in their folders of the extracted copy
(three processes in parallel, nice -n 10): original/scripts/p4_exact_all_n.py 120 4;
verification_run_A/programs/va_exact_big.py 4 120 1,2,3,4; verification_run_B/programs/cert_B.py 4 120 1,2,3,4 --detail <new file>.
Comparison with the recorded outputs, running times removed:
identical  original/outputs/out_p4_d4_n120.txt
identical  verification_run_A/outputs/out_va_exact_p4_n120.txt
identical  verification_run_B/outputs/cert_p4_n120.txt
identical  verification_run_B/outputs/cert_p4_n120_detail.txt
