ACL2でも Jリーグの上の大会の位置付けになるだろうから、タイトル数のカウントがむずいなぁ