今回は中心極限定理を前提とせずに、その元ネタになった「ド・モアブル=ラプラス」の定理を眺めつつ、素人がシミュレーションや数値計算である程度この結果にたどり着けるか検証してみたいと思います。
#中心極限定理の歴史
これほどまでに確率論で中心的役割を果たす定理の割には、人名がついていないし、中心極限定理の「中心」とはなんぞや、と思いつつ使い続けていたのですが、今回ようやく調べてみました。wikipedia(英語版)の'History'の項を見てみると、次のようなことが記載されています。
Dutch mathematician Henk Tijms writes:[41]
The central limit theorem has an interesting history. The first version of this theorem was postulated by the French-born mathematician Abraham de Moivre who, in a remarkable article published in 1733, used the normal distribution to approximate the distribution of the number of heads resulting from many tosses of a fair coin. This finding was far ahead of its time, and was nearly forgotten until the famous French mathematician Pierre-Simon Laplace rescued it from obscurity in his monumental work Théorie analytique des probabilités, which was published in 1812. Laplace expanded De Moivre's finding by approximating the binomial distribution with the normal distribution. But as with De Moivre, Laplace's finding received little attention in his own time. It was not until the nineteenth century was at an end that the importance of the central limit theorem was discerned, when, in 1901, Russian mathematician Aleksandr Lyapunov defined it in general terms and proved precisely how it worked mathematically. Nowadays, the central limit theorem is considered to be the unofficial sovereign of probability theory.
箇条書きで抜き出してみると以下のような感じです。
・中心極限定理の元ネタを発見したのはフランスのド・モアブル(1733年に発表)
この段階ではまだ仮説。
・コイントスで表の出た数の分布を調べ、正規分布で近似できることに気づいた
(当時はまだ正規分布という言葉もないので、今風に言うと)
・ラプラスが「確率論の解析理論」でこれを取り上げ、定式化(1812年)
この時点ではまだ確率論自体が整備されていない。
・1911年にリアプノフにより一般的な用語が定義され、証明された。
・今や中心極限定理は確率論のunofficial sovereign(非公式な主権者?)
結構紆余曲折があります。
余談ですがド・モアブル(1667-1754)、ラプラス(1749-1827)、ガウス(1777-1855)と並べてみると、ガウスの誤差論で取り上げられるよりずっと早くに正規分布を見出していたことに驚きます。コルモゴロフが確率論の基礎概念を著して公理論的確率論を確立したのが1933年と考えれば、定理として認知されるまでにかかった期間も頷けます。また、これだけの数学者がかかわってきた定理なので、特定の人名がつけられなかったということなのかもしれません。
"the central limit theorem is considered to be the unofficial sovereign of probability theory"との記載からもわかる通り、確率論の"中心"に位置づけられることからも、中心極限定理という名前はしっくりきます。wikipedia英語版は充実してますね。
さて、前説はここまでとして、ド・モアブルが発見し、ラプラスが定式化した中心極限定理の「元ネタ」を見てみましょう。
#ド・モアブル=ラプラスの定理
表の出る確率が$p$、裏の出る確率が$q=1-p$のコインを$n$枚振り、$k$枚が表となる確率は、$n\to\infty$で次のように近似できる:
$$\binom{n}{k}p^kq^{n-k}\approx \frac{1}{\sqrt{2\pi npq}}\exp\bigg[-\frac{(k-np)^2}{2npq}\bigg]$$
すなわち、二項分布は正規分布で近似できる。
ほんまかいな。学生時代は中心極限定理の応用例題として取り扱われていた記憶があります。しかも瞬殺で証明して終了。いまや確率論の教科書の枠組みでは単なる系なんでしょうけど、歴史的には元ネタ……それもそのはず、実は中心極限定理を前提とせずに証明するには結構骨が折れるのです。
#シミュレーションによる定性的な検証
「二項分布は正規分布で近似できる」本当でしょうか。
ド・モアブルに倣って、実際にコインを振って確かめてみましょう。ここではRを使います。
-「コインを100枚投げて表の出た数をカウントする」を10000回実行してみる-
やってみましょう。
s <- rbinom(10000,100,0.5) #rbinom(実行回数,投げるコインの枚数,表の出る確率)を使う。
hist(s) #ヒストグラムを描く
ヒストグラムを見る限りはなんとなく左右対称っぽい感じになりますね。
(吐き出されたサンプルは後掲します)
これに適当な正規分布の図を重ね合わせてみます。
hist(s,xlim=c(30,70),ylim=c(0,1800)) #x軸の30-70,y軸の0-1800の範囲でプロット
par(new=T) #次にプロットするグラフを重ねることを許可
app <- function(k,n,p) exp(-1*(k-n*p)^2/(2*n*p*(1-p)))/sqrt(2*pi*n*p*(1-p)) #正規分布を定義
app2 <- function(x) 1550*sqrt(2*pi)*5*app(x,100,0.5) #適当な高さに調整
plot(app2,xlim=c(30,70),ylim=c(0,1800)) #重ねてプロット
おそらくド・モアブルも同様の考察から釣り鐘型の正規分布のグラフに近づくと考察したのではないかと思います。
二項分布と同じ期待値、分散を持つ正規分布で置き換えると考えれば、ド・モアブル=ラプラスの定理に
たどり着けそうですね。それにしても、ド・モアブル、卓見ですね。
#数値計算による近似式の定量的な検証
数値計算でも検証してみましょう。誤差率である
$$\frac{\Bigg(\binom{n}{k}p^kq^{n-k} - \frac{1}{\sqrt{2\pi npq}}\exp\bigg[-\frac{(k-np)^2}{2npq}\bigg]\Bigg)}{\binom{n}{k}p^kq^{n-k}}$$
こいつをRで計算してみます。
#二項分布binを定義。Rでは階乗を計算する際、ガンマ関数を使うのがよい
bin <- function(k,n,p) (gamma(n+1)/(gamma(n+1-k)*gamma(k+1)))*p^k*(1-p)^(n-k)
#正規分布appを定義
app <- function(k,n,p) exp(-1*(k-n*p)^2/(2*n*p*(1-p)))/sqrt(2*pi*n*p*(1-p))
#誤差率difを定義
dif <- function(k,n,p) (bin(k,n,p)-app(k,n,p))/bin(k,n,p)
まずは$n=10,p=0.5$でやってみます。
#n=10,p=0.5で誤差率dif1を定義
dif1 <- function(k) dif(k,10,0.5)
#試しにいくつか計算
dif1(1)
[1] -0.05316805
dif1(2)
[1] 0.05093177
dif1(3)
[1] 0.0325619
dif1(4)
[1] -0.007306942
dif1(5)
[1] -0.0252729
誤差率は数パーセント。悪くありません。$k=4$で最小値の0.7%となります。
次に$n=100,p=0.5$でやってみましょう。
#n=10,p=0.5で誤差率dif2を定義
dif2 <- function(k) dif(k,100,0.5)
#試しにいくつか計算
dif2(0)
[1] -19508124
dif2(5)
[1] -3460.706
dif2(10)
[1] -72.99653
dif2(20)
[1] -1.874006
dif2(30)
[1] -0.1551682
dif2(40)
[1] 0.004211912
dif2(50)
[1] -0.002503086
$k=40$あたりから、かなり良い近似になっていることがわかります。gamma関数の制約から、より大きな$n$についての検証はできませんが(せいぜい$n=170$が限度)、これらの試算から、ド・モアブル=ラプラスの定理は、$n$がそれなりに大きく、かつ$k$が期待値$np $ に近いとき成り立ちそうだとわかります。
#ド・モアブル=ラプラスの定理の導出
今日はここまで。
次回に続きます。ド・モアブルがさらにすごかったのは、この近似式の導出にあたって、次のような別の近似式を開発していたところでしょう。
##スターリングの近似式
$N$が大きいとき、次の近似式が成り立つ。
$$N!\approx \sqrt{2\pi N}N^Ne^{-N}$$
(ただしド・モアブルは$\sqrt{ 2\pi }$の部分は突き止められず、何らかの定数とみていました。この定数を特定したのがスターリングでした)
#参考サイト
・wikipedia:"central limit theorem"
この記事を書く動機となったもの。
・西尾泰和さんのScrapbox記事
ド・モアブル=ラプラスの定理とその導出について記されています。
・階乗の計算をする関数
RWikiの記事です。「階乗計算ではガンマ関数を使え」の標語はここで知りました。
・R-tips
図の重ね合わせについてはここを参照しました。
#シミュレーション時のサンプル
Rで吐き出されたサンプルはこちらに付記します。
s
[1] 55 40 52 51 52 47 56 53 46 54 49 50 54 47 50 51 53 55 47 55 46 56 56
[24] 50 52 51 50 50 49 51 51 53 53 57 50 49 51 41 53 44 54 48 54 55 43 51
[47] 55 57 48 51 43 45 49 43 48 65 55 49 56 47 56 50 49 48 52 46 49 53 54
[70] 55 55 51 49 57 47 41 44 43 50 45 52 47 39 49 52 55 53 43 50 49 46 48
[93] 44 52 48 43 46 54 49 50 55 56 42 40 50 50 39 46 54 43 47 54 48 49 58
[116] 47 57 44 52 42 52 37 52 51 48 42 51 46 54 57 55 48 52 42 54 50 50 60
[139] 43 50 50 54 51 49 59 57 51 56 55 48 50 44 46 51 51 57 55 52 53 51 56
[162] 48 58 51 46 41 54 55 59 57 37 45 48 56 50 47 56 52 47 52 46 55 46 41
[185] 44 43 56 52 48 46 60 55 56 45 59 48 44 49 52 50 47 50 58 58 56 45 52
[208] 55 44 44 44 47 52 47 61 46 51 54 50 52 44 48 48 52 50 43 50 51 57 44
[231] 44 45 53 54 60 56 51 49 46 52 49 47 57 51 52 63 49 42 49 51 50 52 48
[254] 51 55 51 49 50 52 46 49 54 52 53 55 56 50 46 50 49 52 40 47 49 57 46
[277] 50 45 40 48 45 51 47 54 60 53 46 50 46 48 57 46 50 55 50 56 46 51 47
[300] 46 43 53 49 45 54 48 50 54 52 42 38 54 50 48 63 52 49 51 55 50 51 50
[323] 46 50 49 55 57 50 43 50 53 53 45 51 55 47 43 55 45 46 56 54 53 48 53
[346] 58 51 54 45 55 49 53 42 55 50 49 53 61 49 44 57 47 43 45 52 54 47 56
[369] 53 47 51 54 57 47 43 49 53 51 50 42 46 52 46 50 51 50 47 47 51 54 51
[392] 42 50 50 56 49 46 49 50 48 52 50 66 46 43 46 40 53 45 52 57 57 46 52
[415] 47 59 57 51 59 49 46 45 53 59 49 50 54 46 47 50 52 52 53 55 54 48 46
[438] 49 51 49 48 43 62 52 49 41 50 46 57 47 50 53 48 55 55 56 50 43 54 49
[461] 52 40 52 49 50 47 47 55 48 51 53 44 51 56 54 53 54 55 52 51 48 45 51
[484] 46 54 59 54 49 46 52 49 42 52 49 57 51 53 42 43 53 57 54 52 52 58 51
[507] 60 46 54 52 38 54 45 56 56 47 38 48 55 48 48 46 48 52 53 50 58 46 49
[530] 58 48 47 38 47 40 53 48 49 52 49 49 44 50 49 42 46 50 52 53 48 47 50
[553] 47 52 44 41 52 51 48 57 49 44 50 46 49 50 52 53 55 49 54 56 52 48 52
[576] 53 45 50 49 45 50 50 45 55 50 50 39 43 46 46 55 51 44 49 51 50 52 49
[599] 47 53 49 50 56 59 51 44 38 59 64 41 50 50 51 50 51 54 45 50 50 47 53
[622] 45 54 49 37 55 48 61 47 49 54 52 50 37 49 58 52 59 58 51 48 56 51 48
[645] 54 51 52 49 54 58 52 51 52 48 48 51 53 42 61 58 49 49 46 45 46 47 49
[668] 43 43 49 44 58 50 52 55 46 53 55 51 56 45 54 48 53 56 61 54 51 40 54
[691] 56 55 49 52 43 46 62 47 49 46 42 51 47 50 53 50 50 49 55 50 48 47 58
[714] 51 45 47 43 57 46 57 53 53 51 53 53 55 47 44 45 54 50 51 53 52 44 58
[737] 43 48 54 48 48 51 47 50 59 46 45 48 49 54 43 52 39 46 46 53 47 50 56
[760] 47 47 64 51 54 50 55 52 57 44 48 46 50 38 57 51 57 53 43 54 45 48 44
[783] 43 49 41 44 47 47 55 46 58 49 62 50 43 51 49 52 47 52 44 49 61 51 53
[806] 51 43 51 44 43 42 55 55 54 48 58 60 59 43 51 51 44 60 49 57 45 51 46
[829] 46 42 46 50 46 52 47 54 52 47 56 47 46 46 59 53 43 59 53 49 49 43 59
[852] 50 49 44 54 49 59 57 46 43 46 52 49 58 52 52 51 53 45 49 53 58 42 47
[875] 53 58 56 50 58 51 48 48 42 51 45 48 52 57 52 47 42 48 51 49 54 51 43
[898] 46 46 42 53 47 49 51 45 49 45 53 45 47 55 44 36 57 50 62 51 53 54 47
[921] 59 35 54 52 45 48 41 46 52 55 54 50 55 42 46 47 41 46 43 45 49 48 46
[944] 51 50 49 54 45 52 46 42 53 57 47 59 46 48 46 43 56 48 51 58 46 53 53
[967] 54 52 58 45 43 39 48 56 52 50 50 47 49 45 52 53 52 46 55 55 43 54 58
[990] 46 53 57 51 52 57 58 50 57 44 52 49 49 54 51 62 46 53 49 44 49 51 49
[1013] 52 54 45 51 49 50 53 41 51 50 49 58 53 48 48 54 54 49 54 39 49 56 42
[1036] 38 50 44 48 45 51 49 53 49 44 48 45 53 43 43 53 57 43 54 50 55 55 50
[1059] 50 59 48 49 50 45 56 47 50 58 50 54 44 52 43 56 50 56 49 46 52 46 54
[1082] 46 41 46 55 48 49 53 50 44 50 43 52 40 54 54 53 51 48 57 51 49 51 48
[1105] 50 45 49 42 58 48 44 50 51 44 48 44 53 44 44 56 54 52 41 47 47 51 46
[1128] 41 52 61 58 49 53 54 42 43 51 44 50 54 49 42 51 38 49 48 46 51 50 53
[1151] 58 46 54 40 49 57 55 56 48 52 48 40 49 54 43 49 48 56 40 50 54 47 51
[1174] 51 42 54 53 57 54 38 47 49 48 55 54 56 56 44 48 55 53 48 57 42 53 49
[1197] 44 58 57 45 51 47 48 54 61 54 59 52 53 44 53 45 54 49 53 42 50 55 44
[1220] 48 53 44 53 41 45 30 57 45 57 46 42 48 62 62 45 45 47 54 49 50 47 48
[1243] 58 50 49 46 53 44 42 49 52 47 43 48 44 40 49 50 48 56 55 54 42 47 51
[1266] 45 53 48 52 49 46 53 50 46 50 50 54 53 54 55 49 47 48 48 51 51 50 48
[1289] 46 52 48 42 50 53 41 53 41 56 44 57 61 44 49 59 55 57 54 61 60 43 56
[1312] 52 49 52 54 51 55 39 50 52 51 51 51 55 50 51 54 43 49 54 54 48 46 44
[1335] 54 47 46 52 45 54 48 43 53 47 58 43 49 46 50 43 49 59 52 47 49 48 45
[1358] 54 48 56 56 49 45 52 54 58 48 46 58 49 55 54 42 56 43 51 47 56 40 46
[1381] 53 53 40 49 52 43 52 51 43 52 43 47 56 52 54 53 48 53 41 42 55 52 45
[1404] 46 54 50 51 43 47 50 47 53 51 48 59 45 46 37 48 54 45 54 56 53 55 38
[1427] 49 48 50 46 50 49 49 54 51 56 61 53 52 54 47 44 51 42 48 47 46 60 51
[1450] 48 44 55 58 51 46 59 59 57 51 55 48 50 44 44 50 47 48 60 48 55 51 44
[1473] 53 49 53 48 51 51 47 50 42 50 53 45 43 48 45 48 61 48 51 54 48 50 49
[1496] 55 41 51 49 48 47 41 41 54 43 59 48 52 46 50 51 55 38 47 48 53 43 46
[1519] 51 48 47 52 64 49 44 48 59 57 56 41 60 54 43 42 51 58 55 49 58 55 43
[1542] 49 55 50 53 50 43 45 51 48 47 55 39 50 43 44 34 49 49 47 51 55 59 52
[1565] 52 51 44 60 40 49 47 46 52 52 63 52 57 40 51 45 48 59 43 50 48 55 49
[1588] 53 50 49 51 51 55 40 59 51 50 65 46 50 53 48 46 46 47 48 46 48 45 49
[1611] 50 53 51 45 42 54 61 50 50 51 55 53 52 53 49 53 54 54 51 55 52 58 48
[1634] 53 55 48 53 54 57 49 54 54 48 58 50 57 51 48 42 54 50 50 47 52 48 44
[1657] 51 49 53 52 42 45 48 51 45 57 46 58 51 50 47 45 43 51 51 56 44 54 51
[1680] 42 50 47 42 50 45 47 53 54 43 53 52 47 52 52 46 44 54 51 48 50 54 42
[1703] 49 49 48 44 53 54 40 44 47 39 54 52 48 58 53 52 45 54 51 51 55 53 55
[1726] 51 53 55 52 50 47 39 55 54 43 51 50 57 54 51 56 45 42 55 60 45 39 50
[1749] 52 47 52 42 48 51 58 43 51 49 50 48 50 49 52 51 58 58 48 55 54 50 50
[1772] 53 50 49 46 46 53 50 47 45 54 49 58 56 51 50 41 49 47 50 45 49 48 46
[1795] 59 49 42 55 46 54 50 51 51 52 50 54 53 45 60 46 46 57 56 55 48 45 47
[1818] 56 48 52 47 43 49 51 47 47 42 54 54 52 43 50 53 53 51 53 51 49 48 49
[1841] 47 51 51 50 48 55 47 55 50 48 52 46 42 54 56 60 53 40 53 47 52 54 50
[1864] 45 60 52 53 54 56 51 42 51 48 38 47 54 51 53 53 50 46 48 49 56 56 48
[1887] 43 43 45 49 42 56 38 47 51 52 52 57 46 46 52 49 52 59 48 43 37 46 56
[1910] 42 60 53 48 50 40 44 52 51 52 60 57 52 55 50 50 49 38 49 45 49 54 43
[1933] 41 57 49 51 38 47 45 54 54 60 52 51 40 47 51 56 51 55 51 44 46 58 50
[1956] 44 51 41 54 58 46 48 50 57 50 51 61 51 55 54 43 53 50 49 45 51 54 42
[1979] 52 40 54 47 51 58 44 54 55 51 51 48 52 50 55 56 49 52 42 49 41 47 45
[2002] 46 54 48 59 60 50 55 53 55 52 51 53 54 47 52 42 60 39 55 42 56 51 59
[2025] 52 48 47 44 50 42 56 52 56 51 42 48 46 45 41 44 49 64 46 52 48 56 50
[2048] 56 50 55 45 46 51 48 61 55 48 44 55 57 50 53 52 56 54 55 48 53 52 53
[2071] 40 49 53 53 53 42 48 49 48 41 50 51 54 60 48 57 46 57 52 51 55 54 52
[2094] 49 43 49 46 57 49 54 45 46 48 45 59 55 45 58 49 42 51 47 45 54 53 46
[2117] 48 53 40 53 50 47 46 52 45 49 48 51 45 53 57 49 48 49 51 55 48 38 42
[2140] 51 52 52 45 48 51 49 41 56 58 49 50 51 53 50 45 46 54 60 51 50 46 52
[2163] 50 46 42 46 47 43 49 46 45 54 51 51 62 47 54 52 43 46 41 47 46 46 47
[2186] 47 51 49 50 49 55 45 46 56 51 50 45 58 57 51 49 49 46 51 50 46 49 66
[2209] 54 40 47 50 49 46 55 52 57 51 52 51 55 50 54 54 57 47 53 49 45 57 56
[2232] 53 56 41 57 48 42 53 48 53 55 40 53 44 49 59 45 51 49 47 61 41 46 46
[2255] 49 42 53 52 43 45 46 52 54 54 51 52 58 44 53 51 56 51 51 45 46 51 57
[2278] 47 53 44 49 52 47 49 42 48 49 56 44 52 43 44 58 45 51 49 46 42 43 50
[2301] 51 58 50 40 53 48 47 49 51 53 49 44 56 45 49 50 53 45 52 46 42 46 63
[2324] 48 55 42 45 50 54 50 48 57 53 54 52 48 53 48 48 52 49 50 43 48 50 48
[2347] 50 49 57 46 57 47 45 59 40 52 54 56 43 54 52 45 44 56 42 46 53 57 45
[2370] 49 52 44 59 51 53 52 59 53 62 59 55 47 54 40 44 45 51 54 55 49 49 55
[2393] 48 53 52 45 49 45 48 43 56 56 46 50 52 57 43 45 45 55 50 53 51 53 46
[2416] 58 47 49 56 56 56 49 50 54 43 51 61 54 58 54 48 54 55 53 51 57 46 53
[2439] 48 52 39 50 48 55 51 55 48 47 58 49 52 50 54 49 47 46 48 56 47 49 49
[2462] 50 56 47 51 50 46 49 57 49 52 52 55 49 47 37 55 48 46 42 46 52 53 53
[2485] 49 46 53 47 44 50 48 49 59 42 57 51 44 52 57 45 62 46 47 50 46 46 50
[2508] 51 54 49 50 47 55 51 50 58 63 53 51 45 45 53 48 52 53 46 53 51 59 50
[2531] 49 49 58 47 56 50 59 52 48 63 46 50 54 48 54 60 50 55 48 46 55 52 49
[2554] 56 52 47 58 51 53 55 58 53 52 53 51 46 47 48 46 47 52 54 56 40 48 47
[2577] 54 53 56 46 41 49 52 49 54 51 51 54 48 49 53 58 45 60 52 53 50 46 54
[2600] 55 50 62 54 40 43 54 46 46 56 55 51 50 48 55 48 53 43 48 51 51 58 52
[2623] 44 42 53 49 51 46 40 46 46 57 51 56 54 53 45 51 54 47 41 49 54 52 52
[2646] 47 56 48 55 52 55 53 47 45 55 38 51 44 52 47 60 49 50 56 44 45 52 44
[2669] 49 47 47 44 44 49 47 55 45 46 47 52 50 56 55 53 55 53 52 40 49 54 58
[2692] 50 50 57 47 44 58 54 53 53 48 47 46 43 49 48 62 52 50 63 54 41 59 46
[2715] 49 54 50 49 45 41 55 38 51 43 50 53 59 42 55 45 47 50 42 44 53 49 51
[2738] 45 41 44 51 57 57 47 51 56 58 59 53 52 42 46 44 51 42 51 46 54 50 54
[2761] 47 49 46 49 50 40 56 53 46 51 56 42 43 48 50 41 43 40 50 49 48 41 46
[2784] 53 46 36 50 53 58 48 55 47 49 52 46 51 44 45 47 57 46 48 54 55 49 41
[2807] 47 55 55 45 56 52 40 50 43 45 51 43 52 44 51 44 37 50 59 46 46 48 50
[2830] 46 50 47 43 43 59 55 47 51 54 40 55 51 51 51 53 50 42 49 50 59 44 46
[2853] 46 52 49 49 41 59 51 49 56 43 46 42 46 47 59 57 54 49 41 53 58 41 60
[2876] 44 40 47 50 52 53 49 51 53 61 48 50 48 48 54 54 52 52 44 46 51 40 43
[2899] 49 51 50 47 50 40 53 52 45 51 50 48 55 47 54 52 48 57 52 47 47 50 54
[2922] 55 57 46 52 50 45 38 56 46 49 52 46 52 57 51 56 52 51 49 49 53 51 46
[2945] 50 55 43 60 47 49 49 49 47 44 40 53 36 56 54 54 53 55 52 51 50 43 55
[2968] 46 46 55 54 58 45 53 55 45 39 45 50 60 43 45 57 50 60 48 56 45 58 56
[2991] 53 50 47 56 50 52 55 49 52 56 53 48 58 46 53 44 51 42 54 57 56 48 49
[3014] 58 54 48 54 48 53 54 52 48 42 42 54 50 45 49 50 47 49 60 45 44 49 42
[3037] 54 51 45 48 49 49 48 47 46 48 56 55 48 46 42 41 54 45 49 54 48 50 40
[3060] 50 56 47 49 49 50 51 48 47 56 48 46 50 52 56 52 49 44 51 41 45 53 41
[3083] 51 47 50 51 57 50 58 53 52 49 44 47 43 44 60 53 58 42 45 51 55 58 54
[3106] 44 47 49 54 57 44 45 49 51 51 53 47 44 51 45 58 45 52 50 52 63 45 54
[3129] 44 58 51 55 50 54 46 53 49 58 43 57 41 57 64 51 64 50 48 43 62 53 53
[3152] 51 53 48 48 45 55 52 39 42 54 44 45 61 48 60 52 41 49 57 51 44 56 50
[3175] 47 57 58 48 47 49 44 49 47 52 50 43 49 46 50 41 52 44 45 48 50 54 48
[3198] 48 52 50 50 50 60 53 47 49 55 54 44 48 49 45 47 47 39 53 55 50 53 42
[3221] 46 57 49 52 53 50 55 60 50 49 57 40 56 46 54 53 54 56 47 52 44 49 52
[3244] 47 48 47 51 57 55 55 51 51 62 43 48 58 39 46 53 56 57 51 53 41 53 54
[3267] 41 52 56 57 48 50 49 55 51 48 47 49 44 46 56 48 46 54 45 51 46 42 44
[3290] 46 53 54 56 55 55 51 49 39 47 49 57 49 48 46 54 41 57 51 47 51 48 50
[3313] 52 43 61 54 40 48 52 55 53 52 51 51 51 42 40 46 57 44 58 56 54 46 51
[3336] 56 45 54 54 55 48 55 46 55 52 48 55 50 44 50 42 45 46 49 53 53 55 47
[3359] 56 48 53 52 54 55 53 46 50 49 57 55 45 49 44 49 64 47 47 45 52 49 60
[3382] 40 51 55 54 53 48 43 60 57 41 59 60 51 52 47 52 54 51 50 40 47 64 49
[3405] 52 55 52 51 48 48 44 56 49 55 52 56 60 54 54 47 61 41 53 49 38 50 51
[3428] 44 48 44 42 51 52 53 42 52 49 47 46 57 56 48 58 46 48 65 47 56 65 41
[3451] 56 43 55 46 46 48 57 45 50 44 49 49 52 43 54 47 55 44 42 54 44 54 52
[3474] 64 56 48 53 52 53 53 51 49 43 51 59 58 54 53 52 48 53 56 48 49 58 56
[3497] 39 45 50 58 48 45 45 45 44 53 47 61 48 41 44 51 55 51 44 47 54 41 48
[3520] 57 55 52 59 57 47 50 49 48 53 56 47 47 53 46 39 45 47 46 49 51 47 42
[3543] 45 50 55 46 51 44 50 46 52 64 56 51 44 60 50 55 51 54 43 53 52 45 59
[3566] 55 47 53 47 56 49 44 54 47 55 55 55 47 52 54 43 48 43 50 52 58 48 43
[3589] 50 55 47 42 56 48 50 43 46 52 53 38 53 43 55 45 60 57 48 54 40 50 45
[3612] 49 45 43 46 50 53 45 50 54 59 52 50 44 55 50 53 49 52 55 49 49 51 54
[3635] 52 47 49 49 43 43 55 47 44 53 43 54 53 38 52 46 63 56 47 58 56 54 45
[3658] 50 62 47 61 44 49 59 59 49 52 54 53 45 48 47 58 47 41 46 48 50 54 48
[3681] 55 60 48 49 54 51 52 51 63 53 48 40 47 40 45 47 54 41 46 52 52 53 51
[3704] 56 49 48 53 53 52 55 52 50 47 36 52 53 55 52 55 53 57 59 57 47 40 54
[3727] 43 55 52 54 56 57 44 47 58 45 63 55 47 58 51 60 52 41 42 53 46 55 56
[3750] 58 45 58 55 58 51 50 51 52 41 53 52 45 42 49 56 57 56 55 49 53 50 56
[3773] 54 54 46 50 51 50 53 50 45 48 50 48 52 49 55 47 55 55 50 53 54 56 50
[3796] 51 48 52 46 47 55 49 47 48 53 46 46 48 51 48 52 55 52 51 49 45 42 49
[3819] 45 46 52 49 45 44 48 60 47 42 49 52 51 46 49 51 52 58 50 54 47 54 50
[3842] 56 46 53 44 40 47 56 45 49 39 50 54 47 41 45 46 52 43 57 54 48 54 50
[3865] 50 43 57 54 48 50 47 46 41 57 54 46 46 50 50 47 57 47 41 51 53 45 47
[3888] 49 58 58 50 48 47 56 54 53 48 54 50 50 45 56 59 45 53 53 48 44 49 57
[3911] 49 47 50 46 46 47 46 55 52 50 46 50 57 53 55 48 44 46 37 45 46 51 44
[3934] 52 50 46 50 51 50 51 51 43 40 58 45 48 45 46 56 46 46 45 53 47 51 52
[3957] 53 44 56 48 52 48 49 44 46 49 50 48 53 55 45 60 49 47 52 54 52 56 47
[3980] 44 44 57 44 56 45 50 53 55 48 45 58 51 59 51 40 56 49 41 45 50 55 54
[4003] 47 37 46 60 52 61 50 54 59 58 55 50 54 44 60 48 43 49 47 51 48 51 53
[4026] 51 52 46 51 54 45 50 64 48 39 52 50 52 52 57 52 48 35 55 54 44 50 48
[4049] 52 46 53 60 54 51 52 55 53 56 46 54 50 49 56 52 50 45 51 53 48 51 48
[4072] 55 43 46 43 49 44 52 52 53 56 54 57 49 58 47 47 48 53 47 50 54 43 51
[4095] 47 49 50 47 55 51 44 50 57 47 45 58 47 49 56 50 55 51 55 50 53 56 48
[4118] 46 49 51 52 48 46 49 55 54 53 50 44 54 52 52 55 44 57 50 51 54 49 53
[4141] 47 41 50 48 55 54 46 39 55 46 55 51 46 48 49 51 54 45 48 51 58 49 48
[4164] 50 49 54 46 51 51 51 50 42 50 47 52 55 48 50 52 49 47 49 55 44 52 48
[4187] 46 52 50 51 56 51 51 48 51 57 48 52 46 48 48 52 51 54 45 37 53 55 55
[4210] 49 48 48 50 36 46 44 49 43 51 36 55 53 44 52 54 45 43 52 55 54 56 49
[4233] 51 52 43 48 49 46 52 57 47 53 53 52 56 52 53 54 48 50 51 51 43 54 44
[4256] 42 45 53 56 42 53 58 55 57 58 47 48 53 49 56 47 51 53 56 51 47 47 58
[4279] 55 53 49 29 54 52 48 55 47 52 53 54 52 50 45 46 50 53 50 48 50 50 50
[4302] 54 47 58 56 53 56 47 46 49 41 54 49 46 49 51 50 51 47 44 52 56 53 49
[4325] 58 47 47 52 58 52 54 54 47 59 61 50 55 47 51 47 60 43 49 46 38 48 50
[4348] 49 46 50 44 52 50 52 52 57 49 51 40 57 53 48 50 55 48 52 49 50 46 51
[4371] 53 49 45 44 48 55 48 61 54 50 58 45 48 47 56 54 47 52 50 50 61 44 49
[4394] 42 55 47 49 52 47 55 57 53 58 38 46 49 46 52 53 44 58 51 64 51 53 47
[4417] 46 54 48 53 58 49 49 47 44 46 48 46 53 50 56 46 57 56 53 46 50 49 52
[4440] 56 46 55 58 48 43 50 48 48 56 53 52 43 36 52 57 55 53 52 46 50 51 56
[4463] 57 57 42 50 50 49 46 47 46 61 46 51 46 43 50 50 50 53 44 51 43 54 48
[4486] 52 52 51 48 46 51 52 48 55 54 52 57 48 51 45 51 55 53 47 49 65 36 48
[4509] 43 48 49 40 40 53 53 44 57 48 38 51 58 50 46 47 48 41 52 44 52 52 51
[4532] 49 46 46 43 49 51 51 52 52 48 43 55 51 49 45 46 55 53 52 56 53 53 51
[4555] 41 42 51 52 44 42 60 51 52 51 45 48 46 46 53 49 43 51 43 53 55 43 49
[4578] 51 55 50 40 54 46 44 54 55 49 53 43 48 46 45 54 53 48 49 45 51 45 55
[4601] 51 53 46 43 61 45 52 49 55 49 53 40 52 48 48 49 55 55 47 52 55 53 55
[4624] 50 43 51 54 41 64 52 43 58 57 46 44 59 49 49 46 53 49 61 42 47 59 47
[4647] 56 57 48 51 44 61 51 48 52 44 48 45 54 44 52 46 54 44 50 51 56 47 48
[4670] 45 51 45 65 54 60 45 52 50 37 47 48 44 50 48 54 45 60 51 56 48 50 52
[4693] 53 52 54 53 56 60 48 51 43 52 45 48 52 53 45 53 51 49 46 54 54 52 49
[4716] 50 48 52 56 57 61 55 54 52 51 54 58 47 56 45 55 54 55 55 45 51 49 48
[4739] 45 55 51 56 54 48 55 49 46 51 48 42 48 45 54 45 51 49 60 47 55 49 49
[4762] 49 47 46 47 53 50 64 53 48 51 52 51 45 55 52 44 55 47 46 52 53 45 52
[4785] 51 46 52 53 54 48 48 51 46 48 55 53 48 45 48 54 43 41 57 42 45 52 40
[4808] 46 56 56 48 55 45 54 52 54 41 44 56 52 47 49 55 57 42 50 57 53 48 57
[4831] 51 49 48 46 57 48 48 50 41 43 60 46 49 48 48 59 54 48 51 51 49 55 50
[4854] 54 41 55 50 50 54 52 37 45 35 48 49 58 44 58 42 49 53 53 47 54 49 53
[4877] 45 48 50 51 45 51 47 51 50 43 53 48 49 62 50 53 49 50 53 51 46 57 44
[4900] 56 61 49 47 49 42 54 53 50 46 45 57 36 50 59 59 52 50 49 46 47 60 48
[4923] 48 46 52 55 53 54 41 44 53 51 47 47 49 44 51 49 55 52 52 48 41 61 43
[4946] 39 41 49 48 57 46 44 50 49 50 45 44 48 49 45 55 49 49 56 46 53 45 60
[4969] 50 56 37 57 45 49 49 48 50 54 46 51 51 49 55 45 56 42 57 47 41 51 52
[4992] 46 53 50 58 49 55 42 63 49 48 52 58 51 52 56 49 52 51 43 47 56 51 48
[5015] 52 40 51 55 43 53 57 53 52 44 50 51 46 47 47 41 53 50 49 37 53 54 47
[5038] 50 52 53 49 57 48 51 51 49 47 54 46 48 56 51 52 55 44 42 47 46 50 52
[5061] 51 52 45 43 43 47 52 44 50 46 48 54 50 45 42 54 51 56 41 49 53 51 58
[5084] 54 42 56 45 69 57 46 52 52 52 37 59 49 44 55 48 47 39 44 51 45 50 39
[5107] 54 54 53 60 45 48 51 43 45 52 52 50 41 49 52 45 47 42 47 62 50 40 64
[5130] 44 49 49 50 58 49 55 47 45 52 53 50 43 55 50 46 52 43 53 54 49 42 54
[5153] 56 48 51 56 53 50 43 48 54 54 49 49 51 52 44 51 47 50 48 41 59 51 51
[5176] 50 55 44 56 49 47 45 50 45 53 47 55 48 58 39 47 50 57 51 47 44 57 56
[5199] 50 50 51 48 46 44 50 44 46 56 57 48 60 53 52 52 46 41 62 56 55 58 60
[5222] 50 44 57 45 50 52 53 51 54 54 53 53 53 46 47 51 45 48 38 43 47 50 49
[5245] 49 56 50 50 49 48 54 50 54 45 52 55 53 49 45 48 59 50 44 54 40 46 46
[5268] 45 54 45 56 46 51 38 55 48 46 53 57 48 45 56 54 50 52 48 45 48 57 52
[5291] 48 50 53 47 53 52 51 45 59 61 50 49 53 46 54 45 50 45 51 47 55 44 60
[5314] 45 48 47 54 56 53 59 50 51 55 46 56 51 55 47 45 60 46 43 41 42 53 55
[5337] 47 56 56 47 48 51 46 42 44 41 47 55 48 57 55 42 51 54 53 53 49 44 53
[5360] 58 47 53 52 50 49 46 55 48 50 45 50 48 55 41 48 49 54 44 55 50 46 52
[5383] 60 50 48 53 47 52 54 48 49 54 47 51 47 56 50 43 41 55 43 53 51 45 50
[5406] 51 47 50 45 46 48 48 46 53 57 42 60 53 58 45 43 60 47 47 59 46 51 51
[5429] 51 57 49 57 51 43 53 41 58 53 52 59 46 53 49 46 50 56 45 56 47 47 47
[5452] 49 52 49 43 48 52 50 59 43 52 48 48 47 55 47 42 52 48 51 54 52 56 59
[5475] 47 60 43 50 49 46 58 54 49 46 59 53 47 56 47 42 57 55 51 47 40 50 56
[5498] 56 54 59 45 47 44 63 55 51 45 45 56 54 44 56 52 52 50 60 50 52 52 50
[5521] 41 48 42 59 49 49 63 39 62 50 49 50 45 51 48 51 50 54 56 57 51 48 47
[5544] 51 42 61 43 44 45 60 53 51 54 45 48 47 48 51 53 56 42 55 45 45 55 53
[5567] 47 53 50 39 47 47 49 50 52 47 52 51 48 49 50 53 49 57 52 47 45 49 45
[5590] 46 45 50 49 58 46 46 54 46 51 46 51 53 42 50 49 61 54 46 46 50 44 50
[5613] 46 50 57 64 43 46 46 46 49 42 46 51 45 51 47 43 42 45 36 58 47 48 49
[5636] 44 50 59 54 50 52 61 47 49 50 54 47 46 57 52 46 55 46 54 45 53 53 44
[5659] 49 53 52 48 59 53 62 49 58 43 54 43 46 56 56 55 45 52 59 50 47 50 58
[5682] 51 42 50 50 61 49 43 56 48 53 51 57 38 53 49 48 47 54 52 46 41 49 50
[5705] 49 46 53 52 55 45 50 49 50 50 49 43 49 53 47 55 59 42 48 40 54 51 47
[5728] 52 48 47 42 54 48 56 49 54 51 48 51 52 46 50 49 51 46 47 54 53 51 42
[5751] 52 52 52 43 49 50 51 44 46 56 48 46 54 42 45 45 56 50 51 54 56 50 53
[5774] 51 55 49 57 54 46 45 60 45 52 53 56 54 49 48 51 55 51 45 61 49 54 45
[5797] 45 47 48 41 54 51 51 50 50 45 49 47 58 58 47 44 49 57 53 50 41 49 45
[5820] 58 48 50 46 45 47 48 55 45 55 49 58 53 54 41 49 52 47 49 49 46 51 46
[5843] 49 47 57 51 45 41 49 42 46 56 51 47 56 53 45 51 55 47 47 50 56 48 44
[5866] 47 47 45 43 59 48 53 42 53 55 51 54 54 41 57 57 53 51 43 53 52 54 45
[5889] 52 47 59 45 49 61 56 54 45 47 52 52 46 45 44 61 58 53 43 49 44 46 48
[5912] 46 58 56 49 48 48 54 37 51 51 52 47 41 46 46 53 53 48 49 55 38 56 51
[5935] 46 44 58 51 49 56 48 57 47 53 51 47 54 50 36 42 54 40 47 54 52 46 44
[5958] 52 51 50 46 53 39 42 49 55 43 45 46 55 49 45 43 48 45 47 45 51 54 51
[5981] 47 49 42 43 47 42 47 50 49 47 41 51 51 46 51 56 47 48 49 49 50 41 52
[6004] 56 45 56 56 47 35 47 50 36 46 56 46 51 57 55 56 46 47 42 57 39 51 48
[6027] 44 47 52 50 49 52 55 53 49 42 61 47 52 41 55 41 46 45 55 53 56 44 54
[6050] 51 49 36 57 50 53 38 47 50 51 48 46 54 46 49 51 48 53 52 52 48 58 55
[6073] 48 52 48 54 47 53 50 40 54 53 41 45 46 51 53 48 50 50 54 45 48 46 56
[6096] 51 59 51 48 53 49 47 50 48 50 52 56 55 46 53 47 46 48 47 49 50 62 48
[6119] 45 52 50 50 43 47 51 58 51 53 57 49 57 48 39 55 49 56 42 51 49 57 44
[6142] 52 44 60 55 55 54 53 54 57 50 52 52 54 55 55 46 52 50 46 51 38 51 51
[6165] 50 47 52 47 51 45 53 50 50 54 49 35 53 46 52 61 49 56 43 47 50 43 52
[6188] 56 44 55 61 54 52 48 37 41 52 48 45 48 48 52 51 59 46 54 44 50 55 59
[6211] 58 49 50 55 45 48 54 47 59 52 54 48 58 44 51 49 61 53 47 52 44 50 40
[6234] 44 55 55 52 53 47 43 52 54 55 54 61 49 47 45 50 45 45 51 57 55 46 46
[6257] 50 44 45 50 51 54 57 53 56 59 46 46 46 53 57 49 52 50 41 46 37 55 59
[6280] 46 46 43 55 47 48 46 48 50 45 46 50 50 53 54 40 52 42 49 53 53 49 57
[6303] 53 55 51 44 56 47 48 50 53 38 58 49 51 43 50 50 51 49 54 46 58 41 58
[6326] 54 47 53 48 51 44 43 54 44 44 52 46 51 51 50 45 50 45 45 58 52 40 46
[6349] 51 45 48 57 46 48 52 49 55 43 56 46 56 51 47 50 49 54 42 43 52 51 42
[6372] 51 49 57 40 57 52 48 47 41 50 52 51 49 49 47 51 53 46 56 54 52 49 53
[6395] 55 46 51 53 59 40 43 50 52 55 49 49 48 51 54 48 45 51 44 59 53 51 48
[6418] 59 43 59 43 49 53 41 50 56 43 43 50 45 59 49 50 54 50 54 46 59 53 41
[6441] 44 50 49 50 44 55 42 52 58 50 48 51 48 42 44 48 64 51 49 49 52 43 54
[6464] 59 45 45 50 46 58 50 52 43 57 44 49 54 43 54 44 48 53 47 44 55 43 53
[6487] 48 57 42 36 44 51 53 47 44 56 54 53 46 52 44 54 50 55 46 47 49 55 50
[6510] 51 46 45 46 42 45 45 50 52 61 43 47 47 46 47 61 59 48 48 49 66 53 45
[6533] 48 47 60 54 56 55 49 54 53 57 51 50 52 44 56 50 48 47 51 52 52 49 52
[6556] 53 47 54 42 59 44 51 52 51 53 47 43 47 50 44 50 44 50 53 53 53 59 48
[6579] 50 39 50 48 55 53 51 51 45 49 48 46 48 49 55 42 47 47 49 55 48 45 50
[6602] 57 57 44 47 51 44 48 52 54 46 49 54 56 60 35 43 59 44 50 41 43 40 52
[6625] 48 49 45 54 57 44 47 52 47 51 49 49 52 53 55 48 47 45 42 57 48 45 54
[6648] 57 57 50 60 57 45 62 51 55 43 53 55 53 43 51 49 52 53 57 43 41 42 59
[6671] 43 46 54 46 48 42 51 44 48 45 49 55 52 56 55 58 56 57 47 47 50 52 45
[6694] 57 58 51 44 53 50 52 51 53 47 45 49 47 50 54 47 55 53 39 52 46 53 51
[6717] 50 53 47 57 58 58 51 50 54 53 58 55 55 50 44 51 51 45 45 53 47 50 48
[6740] 41 55 54 57 48 65 41 54 50 52 49 47 54 60 46 58 48 38 41 60 52 53 46
[6763] 50 45 46 48 57 50 54 47 47 51 53 43 45 51 43 55 45 46 52 49 54 60 52
[6786] 46 49 46 51 52 52 67 52 52 57 43 56 46 50 47 42 54 62 54 44 50 51 47
[6809] 48 42 47 50 55 55 51 48 49 51 44 50 57 50 49 55 41 46 62 50 45 57 44
[6832] 54 46 51 53 49 50 56 54 52 48 62 45 50 46 51 46 52 43 49 45 52 51 57
[6855] 50 47 48 57 42 54 47 47 50 47 46 51 45 43 49 47 46 59 56 52 43 41 42
[6878] 51 52 47 49 54 53 43 56 56 47 49 50 51 56 53 57 47 45 53 48 56 56 50
[6901] 51 54 45 46 45 47 47 55 48 52 46 44 52 45 52 47 56 41 52 52 52 49 45
[6924] 45 46 44 45 57 50 42 49 50 48 47 57 46 46 52 45 56 58 46 50 55 50 50
[6947] 48 51 48 52 39 46 56 49 54 47 49 52 44 51 49 47 42 51 56 45 47 52 49
[6970] 41 56 43 50 56 47 56 50 52 48 37 52 47 46 53 54 48 48 48 45 53 53 54
[6993] 41 52 48 53 48 42 52 44 50 61 54 47 48 49 49 49 45 50 56 43 41 55 52
[7016] 53 53 50 53 44 58 53 48 49 50 49 44 55 53 44 45 49 54 60 51 58 46 52
[7039] 58 40 47 52 47 48 47 48 53 53 51 48 57 49 41 55 48 51 52 50 45 42 43
[7062] 52 44 46 50 56 48 52 50 53 50 51 54 49 47 46 49 47 57 51 58 56 43 47
[7085] 51 55 51 53 54 55 49 44 47 42 45 57 42 50 61 53 43 49 50 56 49 53 59
[7108] 52 48 50 51 63 52 52 46 42 57 54 55 48 50 51 47 54 42 57 48 42 57 49
[7131] 47 48 43 52 49 45 50 55 53 59 52 52 59 54 47 48 53 51 46 56 52 55 45
[7154] 48 59 50 53 54 47 47 56 49 49 52 43 49 52 47 53 44 53 40 48 47 49 53
[7177] 41 55 50 44 52 51 48 51 41 55 52 49 59 46 50 48 52 36 58 45 57 47 48
[7200] 56 49 51 46 53 54 57 41 46 49 47 43 52 48 46 46 51 53 50 52 52 49 56
[7223] 55 53 42 48 42 51 46 39 49 48 52 48 49 43 49 46 47 50 56 46 56 54 44
[7246] 46 49 54 49 49 52 54 42 63 52 52 57 55 41 51 42 46 46 52 53 52 57 54
[7269] 48 40 52 51 53 47 47 42 56 50 40 51 49 54 38 56 53 52 49 56 44 47 49
[7292] 58 53 56 41 50 49 47 57 54 51 50 49 54 50 58 54 46 53 48 55 40 50 43
[7315] 46 45 47 49 60 57 42 59 56 49 53 52 45 46 46 47 46 55 56 58 49 46 44
[7338] 53 50 58 52 49 58 46 56 53 43 53 55 52 51 52 48 47 51 48 46 49 46 45
[7361] 52 53 45 54 50 47 51 53 55 54 48 47 54 39 51 50 51 42 52 46 46 42 52
[7384] 58 55 52 61 57 58 42 56 52 44 51 55 54 54 50 49 51 58 54 47 57 45 39
[7407] 45 48 53 44 48 46 51 44 43 56 48 51 50 51 57 44 47 49 51 45 50 53 46
[7430] 49 53 50 53 58 58 40 49 46 49 52 46 48 51 45 54 43 47 52 48 62 56 55
[7453] 43 44 56 54 49 39 48 47 42 50 50 51 44 48 48 45 43 55 46 49 53 45 49
[7476] 53 54 46 55 45 44 56 43 47 51 43 53 53 49 49 47 56 42 55 49 54 53 56
[7499] 49 60 46 44 49 54 48 52 47 51 46 55 55 53 50 42 54 53 50 44 47 48 52
[7522] 50 58 51 51 52 46 56 43 52 52 44 62 56 54 46 46 46 65 54 54 56 51 53
[7545] 53 52 54 53 50 47 49 60 39 45 56 47 55 53 60 62 57 55 49 52 46 57 56
[7568] 54 46 46 40 57 40 49 49 49 47 47 52 46 56 42 55 49 54 55 56 45 50 56
[7591] 48 55 48 49 49 50 57 45 48 42 45 57 53 53 48 52 58 50 56 50 52 56 50
[7614] 55 51 53 54 49 55 42 51 48 58 41 46 46 45 46 57 49 52 51 57 46 50 58
[7637] 47 43 43 51 53 54 53 44 45 49 40 51 48 56 51 49 51 55 57 52 50 52 56
[7660] 52 53 44 51 55 50 43 51 54 51 51 34 51 60 52 47 47 51 44 54 47 47 46
[7683] 54 41 52 58 51 52 56 44 44 60 65 51 50 49 51 50 63 53 59 49 48 48 51
[7706] 52 55 49 57 53 53 48 55 52 50 52 58 44 51 55 45 49 52 49 53 53 58 51
[7729] 53 46 49 42 52 48 47 49 45 53 47 49 42 52 56 52 53 49 55 49 51 47 50
[7752] 45 45 62 49 56 49 42 51 64 52 50 55 47 49 49 48 47 41 47 51 50 53 50
[7775] 48 37 50 53 44 45 47 49 46 55 51 40 50 53 55 51 52 54 54 50 40 51 54
[7798] 50 47 51 42 49 51 43 50 50 46 60 49 59 56 48 49 52 50 52 56 57 62 50
[7821] 41 52 52 50 46 46 55 44 46 51 50 49 59 54 44 47 50 43 52 51 46 45 49
[7844] 55 56 58 55 45 57 50 57 52 53 48 57 54 44 42 58 55 52 40 53 52 51 48
[7867] 52 56 47 50 52 50 51 52 49 49 46 53 55 54 49 45 51 57 54 58 49 38 53
[7890] 47 50 50 43 48 54 56 55 50 60 47 54 52 60 51 46 54 46 46 55 53 55 48
[7913] 51 58 44 41 42 44 54 53 48 47 51 50 45 49 46 46 58 52 45 53 43 38 56
[7936] 50 51 51 51 48 50 56 49 44 55 58 52 44 48 50 46 50 51 54 49 51 53 49
[7959] 54 44 50 51 42 55 51 58 52 49 47 43 43 45 52 44 50 59 50 49 47 50 56
[7982] 48 53 47 47 57 53 37 47 40 58 49 51 41 50 47 47 48 52 55 46 47 53 45
[8005] 50 50 59 47 42 60 48 48 57 44 51 45 49 47 53 59 46 42 50 52 45 47 51
[8028] 62 50 47 54 46 45 49 54 50 59 50 46 55 55 57 47 53 53 48 47 46 43 52
[8051] 54 55 42 52 48 44 48 50 36 45 49 49 58 46 51 52 41 43 49 53 53 48 61
[8074] 44 44 47 56 50 59 49 42 52 50 40 46 42 53 37 55 51 45 55 53 56 47 50
[8097] 43 51 47 47 54 46 62 53 43 57 51 47 52 60 43 52 44 51 51 50 46 57 59
[8120] 55 60 61 54 48 51 53 50 58 54 51 52 50 56 48 43 51 52 42 54 50 39 56
[8143] 54 47 56 52 51 50 47 52 44 53 41 48 49 55 45 48 50 53 50 53 49 43 49
[8166] 48 40 52 54 48 53 38 49 55 44 50 53 56 46 47 43 50 54 40 49 56 47 46
[8189] 47 49 52 50 48 52 47 36 46 46 51 50 53 59 57 48 58 48 50 51 60 54 54
[8212] 46 51 52 50 54 54 51 43 48 41 47 52 46 48 58 51 52 47 49 50 48 51 54
[8235] 51 48 61 48 43 45 54 53 44 51 57 42 50 50 51 45 58 45 50 48 42 50 41
[8258] 45 59 54 50 55 57 51 39 55 56 50 49 45 44 51 50 44 54 45 56 49 53 55
[8281] 43 40 57 53 55 52 49 63 51 53 60 47 47 50 49 48 45 53 55 62 44 53 52
[8304] 46 55 52 49 55 42 42 51 42 53 51 50 41 43 54 47 44 46 59 48 46 40 50
[8327] 45 55 42 50 47 49 49 44 39 49 50 54 54 50 53 50 43 44 49 61 47 54 57
[8350] 55 40 55 49 58 50 47 50 45 52 47 51 52 46 45 49 51 51 61 46 43 44 53
[8373] 51 49 52 56 50 50 50 49 55 49 47 49 51 54 40 48 43 47 56 38 54 42 53
[8396] 49 50 52 49 64 49 44 60 52 48 55 60 45 50 50 47 49 50 50 48 48 47 52
[8419] 39 52 54 46 54 55 53 49 49 40 45 54 54 53 53 44 40 49 55 46 50 47 45
[8442] 42 42 42 44 53 50 47 44 45 51 58 49 54 50 48 43 55 57 59 52 52 48 61
[8465] 51 45 47 53 55 50 48 55 41 53 50 41 43 59 52 37 47 60 58 53 46 49 50
[8488] 41 42 40 52 49 49 57 56 46 49 50 45 51 48 53 61 41 54 44 54 42 41 43
[8511] 49 55 48 54 50 51 54 43 51 41 49 45 50 53 54 49 44 49 47 48 50 55 47
[8534] 60 51 49 42 49 49 48 53 50 58 47 50 43 56 53 52 55 37 56 58 54 39 49
[8557] 50 57 51 56 43 52 58 45 52 54 52 53 49 46 40 49 47 51 51 50 53 50 47
[8580] 44 56 41 57 56 42 56 50 55 50 46 47 48 55 47 46 56 49 57 50 42 49 48
[8603] 46 50 49 55 55 47 46 47 56 53 50 51 48 57 50 53 56 46 48 57 48 49 50
[8626] 49 45 55 46 49 49 51 47 53 49 48 59 50 47 55 48 48 54 51 49 46 55 60
[8649] 49 53 49 48 48 42 52 56 54 49 67 43 53 55 50 47 48 50 42 43 49 46 54
[8672] 48 45 52 47 39 56 53 48 60 57 51 48 55 49 53 54 56 58 49 46 54 50 42
[8695] 41 53 50 47 47 47 48 53 60 50 56 48 51 60 51 47 49 47 54 57 47 44 51
[8718] 46 48 55 48 49 51 53 51 47 51 55 48 52 54 54 50 44 46 46 44 44 45 54
[8741] 58 46 54 55 40 51 61 54 44 54 55 51 48 56 52 52 56 42 56 41 52 51 48
[8764] 49 48 41 47 46 44 45 55 48 55 48 43 51 47 50 49 48 55 49 42 56 40 44
[8787] 41 54 49 56 49 44 51 46 52 54 50 48 49 51 50 54 46 50 51 55 55 48 50
[8810] 55 51 54 41 50 48 49 43 53 48 53 53 45 43 56 54 58 45 58 54 50 48 46
[8833] 47 56 46 52 47 48 54 53 52 49 52 52 47 46 50 55 45 50 43 46 58 63 45
[8856] 49 56 49 48 50 53 49 52 51 54 51 48 48 46 49 58 55 48 41 48 55 51 55
[8879] 48 39 46 44 46 52 45 50 50 39 48 52 63 52 58 49 45 54 47 54 56 46 51
[8902] 48 52 50 50 51 41 47 51 45 54 43 50 42 58 46 51 48 50 48 60 54 49 52
[8925] 42 61 49 48 59 48 44 52 47 60 48 51 57 44 50 46 60 46 55 42 48 50 47
[8948] 48 55 55 46 45 48 45 48 50 58 48 54 40 53 48 41 54 57 42 54 49 46 52
[8971] 51 47 58 45 48 48 61 53 40 55 47 58 50 44 45 50 46 56 56 49 49 53 55
[8994] 49 58 50 52 48 52 52 52 50 51 51 56 49 56 51 52 54 54 46 41 54 56 50
[9017] 50 53 53 47 46 52 49 59 49 49 50 50 60 56 47 45 47 49 49 57 49 54 52
[9040] 50 48 50 48 51 49 49 45 49 48 49 55 55 55 49 53 45 57 60 48 43 49 45
[9063] 41 48 49 49 46 52 53 45 47 55 52 50 58 55 53 47 48 51 50 50 51 45 48
[9086] 51 52 52 43 48 46 50 52 48 45 47 47 58 46 56 50 41 54 51 54 51 52 44
[9109] 51 54 35 52 56 51 60 48 45 51 57 53 48 49 57 43 56 54 51 56 53 56 44
[9132] 52 44 55 42 48 56 52 48 49 52 45 46 49 56 47 47 41 50 54 45 50 53 50
[9155] 43 47 58 52 47 50 53 44 44 40 55 40 45 49 49 46 54 45 50 41 52 51 57
[9178] 48 51 49 46 41 46 52 50 53 54 52 49 44 51 49 50 45 53 45 43 51 52 45
[9201] 46 55 44 51 56 50 55 53 56 45 51 45 48 51 53 50 52 54 47 56 49 49 46
[9224] 42 50 49 53 57 46 54 53 42 44 51 54 52 53 50 45 47 52 51 44 61 49 46
[9247] 53 46 56 53 55 45 56 52 37 51 40 53 49 52 54 44 51 52 49 49 51 58 47
[9270] 46 51 46 59 49 52 51 53 47 56 43 54 48 39 42 48 52 41 51 46 45 47 42
[9293] 52 54 52 44 45 45 48 44 42 55 47 50 52 50 44 42 52 53 47 47 56 42 63
[9316] 49 59 54 55 59 52 49 58 48 63 59 41 52 52 56 50 57 49 57 50 51 57 39
[9339] 45 45 51 50 60 52 38 53 51 53 49 50 47 42 57 47 60 52 39 46 56 53 45
[9362] 48 59 55 50 50 49 54 45 43 50 51 45 40 45 44 49 50 48 47 50 42 48 46
[9385] 49 52 52 47 48 40 46 48 54 40 59 47 50 55 43 55 50 54 46 62 52 45 59
[9408] 54 48 47 43 47 49 54 52 48 50 50 52 52 52 49 41 51 49 33 41 56 47 54
[9431] 43 45 45 58 56 47 44 39 52 51 59 58 48 43 41 41 59 47 53 55 44 51 52
[9454] 50 53 51 50 39 56 49 50 51 42 44 48 55 51 57 50 47 52 46 49 46 48 47
[9477] 51 51 45 51 50 51 51 48 59 48 55 50 52 47 56 52 45 47 54 53 47 57 55
[9500] 46 49 44 50 41 53 65 42 48 50 51 48 48 42 46 47 48 45 55 53 54 54 42
[9523] 49 51 55 45 51 53 47 51 46 45 49 55 52 47 43 49 46 54 42 50 47 53 54
[9546] 47 52 41 54 52 48 55 52 50 44 42 54 51 58 50 56 49 39 51 41 52 54 56
[9569] 47 55 47 57 53 46 43 50 49 50 56 49 43 56 46 50 49 50 55 49 45 46 56
[9592] 48 54 51 44 54 44 52 53 50 50 45 60 50 51 41 42 52 46 52 50 48 53 52
[9615] 43 45 55 50 41 54 52 53 40 49 58 47 46 52 45 48 53 51 52 57 45 49 49
[9638] 57 39 57 49 55 45 56 50 54 49 51 49 46 45 47 50 48 54 51 49 48 46 48
[9661] 50 53 46 47 46 45 50 52 59 55 49 46 42 46 51 52 51 50 46 50 52 40 46
[9684] 47 51 54 54 49 43 52 50 50 49 52 49 51 49 48 47 47 45 45 48 42 44 51
[9707] 51 54 49 43 54 36 48 45 57 51 44 49 53 51 50 43 57 54 47 42 51 48 60
[9730] 53 54 51 54 48 40 46 58 47 57 50 46 54 55 43 49 45 52 48 45 48 43 50
[9753] 51 52 45 57 49 51 48 54 45 51 52 56 41 54 49 51 55 57 46 50 44 51 47
[9776] 45 44 49 49 53 43 53 56 56 53 46 41 52 56 47 45 48 54 52 55 50 49 58
[9799] 60 48 56 50 58 55 44 52 53 53 53 53 52 46 52 65 45 45 53 52 53 48 48
[9822] 50 49 55 49 51 40 45 46 52 54 39 54 44 51 51 48 41 43 56 52 59 45 43
[9845] 42 50 45 48 54 55 49 47 58 49 53 55 55 49 47 45 51 41 51 60 48 45 39
[9868] 49 47 43 60 61 57 57 46 49 45 47 50 52 50 55 50 50 57 51 61 51 51 50
[9891] 47 55 44 43 45 47 49 49 55 45 42 56 43 51 56 46 54 52 54 50 55 43 52
[9914] 56 55 60 55 40 51 57 44 44 54 48 62 54 43 51 49 61 50 48 48 51 54 56
[9937] 48 55 47 47 54 49 58 49 47 56 51 59 47 50 58 53 45 49 49 44 44 53 43
[9960] 46 48 45 51 57 55 55 46 52 49 49 53 45 48 47 50 57 45 44 37 59 51 57
[9983] 53 46 41 53 50 48 49 52 48 39 51 59 51 54 53 51 58 51
ちなみにこのサンプルでは
mean(s)
[1] 49.9845
var(s)
[1] 24.59852
でした。