offlinemot.config.configs.polydegree

configs.polydegree = 3