up
ls
data
index.bash
semiverification_demo.bash