>>1474916
4位に回ってくるのか？という問いだと思うが、準優勝がACL2に行くことになると思う。