PanLinx
English
eng-000
upper-bound solution
PanLex