check_note.py                            exit 0     0.6 s  identical
original/01_word_and_certificate         exit 0     0.2 s  identical
original/02_trace_polynomial             exit 0     6.7 s  identical except the line naming the output file
original/03_numerics_elliptic            exit 0    19.8 s  identical
original/04_lifted_rotation_numbers      exit 0     9.0 s  identical
original/05_identities_and_pingpong      exit 0     0.8 s  identical
original/06_propD_one_elliptic           exit 0     2.5 s  identical
original/07_second_pass_checks           exit 0     3.3 s  identical
run_A/v1_certificate                     exit 0     0.2 s  identical
run_A/v2_trace_poly                      exit 0     1.7 s  identical
run_A/v3_lifts                           exit 0     0.8 s  identical
run_A/v4_readings                        exit 0    21.5 s  identical
run_A/v5_schottky_exact                  exit 0     0.2 s  identical
run_A/v5b_schottky_deeper                exit 0     0.4 s  identical
run_A/v5c_schottky_random_exact          exit 0     3.7 s  identical
run_A/v6_identities                      exit 0     0.4 s  identical
run_A/v7_theoremA_numeric                exit 0     0.2 s  identical
run_A/v8_negative_trace_pair             exit 0     0.4 s  identical
run_B/own_01_word_certificate            exit 0     0.2 s  identical
run_B/own_02_trace_polynomial            exit 0     3.1 s  identical
run_B/own_02b_h_sign_map                 exit 0     0.6 s  identical
run_B/own_03_identities                  exit 0     0.4 s  identical
run_B/own_04_theoremA_attack             exit 0     4.2 s  identical
run_B/own_05_propD_and_rotation          exit 0    54.0 s  identical
run_B/own_06_negative_trace_cases        exit 0     3.5 s  identical
run_B/own_06b_pm1_certificates           exit 0     1.5 s  identical
run_B/own_07_lower_sheet_and_pingpong    exit 0     2.3 s  identical
run_B/own_08_kapovich_degree             exit 0     0.2 s  identical
NEW_02_polynomials.txt                   identical to recorded 02_polynomials.txt
NEW_v2_polynomials.txt                   identical to recorded v2_polynomials.txt
own_02_polynomials.txt                   identical to own_02_polynomials_recorded.txt
