PanLinx
русский
rus-000
полная минимизация
English
eng-000
complete minimization
PanLex