6.2.0 ≤ v ≤ 6.2.46.2.0 ≤ v ≤ 6.2.96.2.6 ≤ v ≤ 6.2.96.4.0 ≤ v ≤ 6.4.46.4.0 ≤ v ≤ 6.4.96.4.7 ≤ v ≤ 6.4.97.0.0 ≤ v ≤ 7.0.137.2.0 ≤ v ≤ 7.2.47.2.0 ≤ v < 7.2.5
6.2.0 ≤ v ≤ 6.2.46.2.0 ≤ v ≤ 6.2.96.2.6 ≤ v ≤ 6.2.96.4.0 ≤ v ≤ 6.4.46.4.0 ≤ v ≤ 6.4.96.4.7 ≤ v ≤ 6.4.97.0.0 ≤ v ≤ 7.0.107.0.0 ≤ v < 7.0.117.2.0 ≤ v ≤ 7.2.37.2.0 ≤ v < 7.2.5