ACL2優勝はACLE準優勝よりはるかに難易度が低い訳で賞金と言う意味合いでは割がいいな。