/scripts/

• ../
• genprelude.py
• runall.sh