>>529
なるほど
ループはあってもおかしくなさそうですね
丙と甲を含むループが存在しないことが証明できれば少しは楽になりますがなかなか難しそうです