# file: /home/azureuser/agents/platform/athanor-sdk/src/kairos/aristotle.py
# hypothesis_version: 6.152.1

[-500, 300, '--destination', '--project-id', '--tarball', '--wait=False', '.tar.gz', '/', ':', 'ARISTOTLE_API_KEY', 'AristotlePollResult', 'AristotleSubmission', 'CANCELED', 'COMPLETE', 'COMPLETE_WITH_ERRORS', 'FAILED', 'IN_PROGRESS', 'Main.lean', 'NOT_STARTED', 'OUT_OF_BUDGET', 'Project:', 'QUEUED', 'Status:', 'UNKNOWN', '_', 'aristotle', 'find_api_key', 'kairos-aristotle-', 'poll_project', 'project_id', 'require_api_key', 'result', 'submission.tar.gz', 'submit', 'submit_tarball', 'utf-8', 'w:gz']