[david_sc]

best avg5: 3.91 (σ = 0.62)
3.86, (5.03), 4.69, (2.50), 3.19

best avg12: 4.63 (σ = 0.66)
3.86, 5.03, 4.69, (2.50), 3.19, 4.94, 5.37, 4.56, 5.15, (5.73), 5.30, 4.25

best avg100: 5.66 (σ = 1.14)
3.91, 7.67, 6.66, 4.52, 4.73, 7.90, 8.07, 5.08, 3.55, 5.69, 6.69, 5.98, 6.41, 3.76, 4.62, (3.10), (12.72), 4.19, 6.27, 4.35, 6.14, 4.75, 6.33, 7.53, 5.85, 6.74+, 6.39, 3.11, 6.12, 5.58, 4.99, 6.22, 7.44, 5.81, 6.34, 6.16, 5.83, 8.75, 6.62+, 6.62, 5.67, 6.01, 4.91, 6.28, 5.37, 4.37, 4.27, 5.21, 6.17, 4.78, 7.14, 4.23, 6.43, 4.28, 4.82, 4.72, 5.91, 5.02, 5.58, 4.77, 4.62, 4.41, 6.08, 6.20, 6.99, 6.91, 3.18, 5.52, 7.29, 6.75, 5.82, 5.74, 4.15, 5.88, 8.55, 6.20, 5.11, 8.12, 6.04, 5.85, 5.32, 6.11, 6.50, 5.30, 6.41, 4.44, 5.39, 6.20, 4.80, 5.51, 5.13, 5.34, 5.32, 4.35, 5.73, 4.66, 4.35, 5.62, 4.88, 4.39