12.0.0 ≤ v ≤ 12.0.1012.1.0 ≤ v ≤ 12.1.1012.2.0 ≤ v ≤ 12.2.1112.3.0 ≤ v ≤ 12.3.1112.4.0 ≤ v < 12.4.1213.0.0 ≤ v < 13.0.1013.1.0 ≤ v < 13.1.713.2.0 ≤ v < 13.2.3
11.6.0 ≤ v ≤ 11.6.1712.0.0 ≤ v ≤ 12.0.1012.1.0 ≤ v ≤ 12.1.1012.2.0 ≤ v ≤ 12.2.1112.3.0 ≤ v ≤ 12.3.1112.4.0 ≤ v < 12.4.1213.0.0 ≤ v < 13.0.1013.1.0 ≤ v < 13.1.713.2.0 ≤ v < 13.2.3
v < 11.0.011.0.0 ≤ v ≤ 11.6.1712.0.0 ≤ v ≤ 12.2.1112.3.0 ≤ v ≤ 12.3.1112.4.0 ≤ v ≤ 12.4.912.4.10 ≤ v < 13.0.013.0.0 ≤ v ≤ 13.0.713.0.8 ≤ v < 13.1.013.1.0 ≤ v ≤ 13.1.413.1.5 ≤ v < 13.2.0