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

['complete', 'preferred', 'stable']