# file: C:\Users\Q\code\argumentation\src\argumentation\dung.py
# hypothesis_version: 6.152.1

['auto', 'brute', 'z3']