Update semiring7.py