PanLinx
русский
rus-000
доказуемо трудный
English
eng-000
provably difficult
PanLex