Equivalence checking software. 豆瓣聊天. The bloodline mushroom cave puzzle. Odawara what to do.