Na}{

Are you sure you want to delete the file KnuthBendix.cpython-37.opt-1.pyc?

Name	Size	Permission
Cat.cpython-37.opt-1.pyc	5568 bytes	0644
Cat.cpython-37.pyc	5568 bytes	0644
Code.cpython-37.opt-1.pyc	1106 bytes	0644
Code.cpython-37.pyc	1106 bytes	0644
Descriptor.cpython-37.opt-1.pyc	1311 bytes	0644
Descriptor.cpython-37.pyc	1311 bytes	0644
FSA.cpython-37.opt-1.pyc	6338 bytes	0644
FSA.cpython-37.pyc	6338 bytes	0644
Glue.cpython-37.opt-1.pyc	11188 bytes	0644
Glue.cpython-37.pyc	11239 bytes	0644
Help.cpython-37.opt-1.pyc	7196 bytes	0644
Help.cpython-37.pyc	7236 bytes	0644
IterPermute.cpython-37.opt-1.pyc	2447 bytes	0644
IterPermute.cpython-37.pyc	2750 bytes	0644
KanExtension.cpython-37.opt-1.pyc	20856 bytes	0644
KanExtension.cpython-37.pyc	20934 bytes	0644
KnuthBendix.cpython-37.opt-1.pyc	7586 bytes	0644
KnuthBendix.cpython-37.pyc	8063 bytes	0644
RE.cpython-37.opt-1.pyc	26302 bytes	0644
RE.cpython-37.pyc	26346 bytes	0644
RE_Rect.cpython-37.opt-1.pyc	8648 bytes	0644
RE_Rect.cpython-37.pyc	8723 bytes	0644
__init__.cpython-37.opt-1.pyc	463 bytes	0644
__init__.cpython-37.pyc	463 bytes	0644
cmd.cpython-37.opt-1.pyc	12678 bytes	0644
cmd.cpython-37.pyc	12678 bytes	0644
etc.cpython-37.opt-1.pyc	1594 bytes	0644
etc.cpython-37.pyc	1594 bytes	0644
textView.cpython-37.opt-1.pyc	2725 bytes	0644
textView.cpython-37.pyc	2725 bytes	0644
tkcursors.cpython-37.opt-1.pyc	1439 bytes	0644
tkcursors.cpython-37.pyc	1439 bytes	0644
xterm.cpython-37.opt-1.pyc	1738 bytes	0644
xterm.cpython-37.pyc	1738 bytes	0644