ACL2も決勝がアルナスルだったから価値があったけど
準決勝までは勝たないといけない相手だったもんな