IDENTICAL (up to timings): check_lemma4.out (       9 lines)
IDENTICAL (up to timings): enum_Bn_k5.out (     167 lines)
IDENTICAL (up to timings): enum_Bn_k6.out (     764 lines)
IDENTICAL (up to timings): enum_pm1_k3.out (      53 lines)
IDENTICAL (up to timings): enum_pm1_k4.out (    2979 lines)
IDENTICAL (up to timings): extra_Bn_k5.out (      18 lines)
IDENTICAL (up to timings): extra_Bn_k6.out (      18 lines)
IDENTICAL (up to timings): extra_pm1_k4.out (      16 lines)
IDENTICAL (up to timings): random_growth_k4.out (      17 lines)
IDENTICAL (up to timings): random_growth_k5.out (      17 lines)
IDENTICAL (up to timings): random_growth_k6.out (      17 lines)
IDENTICAL (up to timings): random_growth_k7.out (      17 lines)
IDENTICAL (up to timings): test_lib.out (      70 lines)
