../ bench_sphincs_fast_level1_key.der 24-Jul-2006 01:21 115 bench_sphincs_fast_level3_key.der 24-Jul-2006 01:21 166 bench_sphincs_fast_level5_key.der 24-Jul-2006 01:21 214 bench_sphincs_small_level1_key.der 24-Jul-2006 01:21 115 bench_sphincs_small_level3_key.der 24-Jul-2006 01:21 166 bench_sphincs_small_level5_key.der 24-Jul-2006 01:21 214 include.am 24-Jul-2006 01:21 441