ACL2って真面目にやれば、日本のチームは
余裕で決勝まで行ける大会だと思ったんだけどな。決勝はどうせ🇸🇦だろうけど。