とちゅうけいか に

A ? A
B ? B
というのがあったけど、T,V,X,BBBはない。これと先の5個をあわせて7個。
それから文字列の長さが
6のもの1個
9のもの2個
6だと長さが中途半端だし、9の場合はBBB ? BBBが存在しない(BBB自体が一度も出てこない)ことを調査済みなのでまったく関係ないシンボルだというのは確定だろう。あと、長さ7と10以上は無かった。長さ5のものは14個だから、個数は正しい。
あまり役に立たないが、最初のDefinisionの部分はBBB = 12345で、勘が当たってたｗ
念のため'(', ')', '0'-'9'が含まれていないか調べてみたが、そういうのはないみたい。
まあそんなとこ。