5.0.0 ≤ v ≤ 5.0.75.1.0 ≤ v ≤ 5.1.65.2.0 ≤ v ≤ 5.2.75.3.0 ≤ v ≤ 5.3.105.4.0 ≤ v ≤ 5.4.35.4.5 ≤ v ≤ 5.4.105.5.0 ≤ v ≤ 5.5.65.6.0 ≤ v ≤ 5.6.15.7.0 ≤ v ≤ 5.7.55.8.0 ≤ v ≤ 5.8.3
5.0.0 ≤ v ≤ 5.0.75.1.0 ≤ v ≤ 5.1.65.2.0 ≤ v ≤ 5.2.75.3.0 ≤ v ≤ 5.3.105.4.0 ≤ v ≤ 5.4.35.4.5 ≤ v ≤ 5.4.105.5.0 ≤ v ≤ 5.5.65.6.0 ≤ v ≤ 5.6.15.7.0 ≤ v ≤ 5.7.55.8.0 ≤ v ≤ 5.8.35.9.0 ≤ v ≤ 5.9.1