PanLinx
日本語
jpn-000
問題分割
English
eng-000
problem reduction
PanLex
