置換表の[lower, upper]と探索窓[α, β)が共通部分を持つが互いに包含関係にない場合でなおかつαに根拠が無い場合の正しい取り扱い方がやっとわかった！ このタイミングで！！ 今更杉でチョー恥ずかしい木もするが、置換表の問題が今度こそ永久解決した以上、…