>>607390
ACL2に出場の可能性があります。
今後のACLなどによって流動的です。