>>591
とりあえずしばらく揉みそうなので
一回同値撤退してもうちょっと上で
取り直してみます