>>607737
JチームがACL優勝の可能性があるから、ACL2自体、未確定。