/tools/

• ../
• 000_gendata
• 001_derive_h48h0k2
• 100_checkdata
• 200_stats_tables_h48
• 300_solve_small
• expected_distributions.h
• nissy_extra.h
• run_tool.sh
• tool.h