PanLinx
русский
rus-000
приведенная логика
English
eng-000
reduced logic
PanLex
