s7 This is a small mirror of s7 scheme, the official distribution is here: https://cm-gitlab.stanford.edu/bil/s7.git