3.3.0 ≤ v ≤ 3.3.13.5.0 ≤ v ≤ 3.5.13.7.0 ≤ v ≤ 3.7.13.7.0 ≤ v < 7.2.23.9.0 ≤ v ≤ 3.9.24.1.0 ≤ v ≤ 4.1.14.2.0 ≤ v ≤ 4.2.17.1.0 ≤ v ≤ 7.1.17.2.0 ≤ v ≤ 7.2.1
2.4.0 ≤ v ≤ 2.4.13.3.0 ≤ v ≤ 3.3.13.5.0 ≤ v ≤ 3.5.13.7.0 ≤ v ≤ 3.7.13.9.0 ≤ v ≤ 3.9.24.1.0 ≤ v ≤ 4.1.14.2.0 ≤ v ≤ 4.2.17.1.0 ≤ v ≤ 7.1.17.2.0 ≤ v ≤ 7.2.3
2.3.0 ≤ v ≤ 7.2.32.4.0 ≤ v ≤ 2.4.13.3.0 ≤ v ≤ 3.3.13.5.0 ≤ v ≤ 3.5.13.7.0 ≤ v ≤ 3.7.13.9.0 ≤ v ≤ 3.9.24.1.0 ≤ v ≤ 4.1.14.2.0 ≤ v ≤ 4.2.17.1.0 ≤ v ≤ 7.1.17.2.0 ≤ v ≤ 7.2.3
2.3.0 ≤ v ≤ 7.2.32.4.0 ≤ v ≤ 2.4.13.3.0 ≤ v ≤ 3.3.13.5.0 ≤ v ≤ 3.5.13.7.0 ≤ v ≤ 3.7.13.9.0 ≤ v ≤ 3.9.24.1.0 ≤ v ≤ 4.1.14.2.0 ≤ v ≤ 4.2.17.1.0 ≤ v ≤ 7.1.17.2.0 ≤ v ≤ 7.2.3
3.0.0 ≤ v ≤ 7.2.33.3.0 ≤ v ≤ 3.3.13.5.0 ≤ v ≤ 3.5.13.7.0 ≤ v ≤ 3.7.13.9.0 ≤ v ≤ 3.9.24.1.0 ≤ v ≤ 4.1.14.2.0 ≤ v ≤ 4.2.17.1.0 ≤ v ≤ 7.1.17.2.0 ≤ v ≤ 7.2.3