PanLinx
русский
rus-000
недетерминированная программа
English
eng-000
nondeterministic program
PanLex
