runcontract.py