まず前提として最適化がワイルズらしい
しかもそれはβの時点で散々指摘されていたと

なんか聞いたことあるな