>>638819
ACL2かな。
J2初代優勝みたいなもんだし要らねえですね。