PanLinx
русский
rus-000
функция окончательных решений
English
eng-000
terminal-decision function
PanLex
