PanLinx
русский
rus-000
бесконечно приводимый
English
eng-000
indefinitely reducible
PanLex