SM3の実験結果から導き出した数字だと思ったけど、あれも理論上の数字というのか