ACL2の優勝ペナントなど展示されてる。
パナスタには🌟10個のカップ、トロフィー、シャーレが並んどるわ