check_note.py                                                  exit 0      2.8 s  -> check_note_output_rerun.txt
original/verify_bracket.py                                     exit 0      4.1 s  -> verify_bracket_out_rerun.txt
original/verify_dim4.py                                        exit 0     29.2 s  -> verify_dim4_out_rerun.txt
verification_run_A/programs/check1_identities.py               exit 0      0.5 s  -> check1_out_rerun.txt
verification_run_A/programs/check2_centralizers.py 10 7        exit 0      0.8 s  -> check2_out_rerun.txt
verification_run_A/programs/check3_thmB.py                     exit 0      6.8 s  -> check3_out_rerun.txt
verification_run_A/programs/check4_lemma42.py                  exit 0      0.8 s  -> check4_out_rerun.txt
verification_run_A/programs/check5_search.py 5 4               exit 0      2.7 s  -> check5_out_rerun.txt
verification_run_A/programs/check5_search.py 8 6               exit 0      8.9 s  -> check5_out_D8_rerun.txt
verification_run_B/programs/own_identities.py                  exit 0      1.5 s  -> own_identities_stdout.txt
verification_run_B/programs/own_monomials.py                   exit 0    132.6 s  -> own_monomials_stdout.txt
verification_run_B/programs/own_centralizer.py                 exit 0      2.5 s  -> own_centralizer_stdout.txt
verification_run_B/programs/own_attack.py                      exit 0     25.2 s  -> own_attack_stdout.txt
verification_run_B/programs/own_leading.py                     exit 0      0.4 s  -> own_leading_stdout.txt
verification_run_B/programs/own_rational4.py                   exit 0      0.3 s  -> own_rational4_stdout.txt
