Add seql.py.