Update demonoid.py