# file: /home/runner/work/lexic/lexic/src/lexic/parsing/pda/analysis/gates/kwindow.py
# hypothesis_version: 6.152.7

[4096, 'MAX_K', 'arm_gate', 'atom_two_prefix', 'follow_arm_gate', 'group_two_prefix', 'loop_gate', 'two_prefix_seq']