100644 blob e3b95b0bba7d1651d9f772585b23e39efc5941ae	dist_density_approx.apt
100644 blob 5b761060c9d98a7f804a6610e6f9ccf948fc5163	rng.apt
100644 blob a26b77300e3ed9361605c940a865ab92258303e1	why_not_java_random.apt