misc.py
data/*
formal/*
*.pyc
.idea
train*.sh
formal*.sh
figures/*
timer/*