>>1546283
チームが発表してないのでわかりません。
ACL2の決勝に向けて今まで以上に情報出ないと思うので、
モヤモヤすると思いますけど我慢ですね。