Яндекс Карты для своих картографов запускают новый режим раскраски дорог 1, 7 и 9 фанкласса на разных уровнях зума (уровень зума передается в параметре z). В соответствии с новым режимом:
Дороги фк=1:
- начинают отображаться, начиная c z=2;
- становятся фиолетовыми на z=5;
- становятся желтыми на z=8;
- становятся зелеными на z=9;
- остаются зелеными, но рисуются с жирной обводкой на z=12;
- остаются зелеными и с жирной обводкой, но становятся полупрозрачными на z=15.
Дороги фк=7:
- начинают отображаться на z=2 розовыми;
- исчезают на z=15.
Дороги фк=9:
- начинают отображаться на z=12 и рисуются поверх других дорог.
Укажи все диапазоны z, которые можно будет считать разбиением на эквивалентные классы для тестирования нового режима в формате математического сравнения.
Я пробовал
z < 2
2 ⇐ z < 5
5 ⇐ z < 8
8 ⇐ z < 9
9 ⇐ z < 12
12 ⇐ z < 15
z >= 15
но не подходит