PanLinx
русский
rus-000
конечное исчерпание
English
eng-000
finite exhaustion
PanLex
