# Last edited on 2023-06-09 07:50:02 by stolfi

all: 
	run_and_plot_exp_shell.sh