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

Яндекс Карты для своих картографов запускают новый режим раскраски дорог 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, которые можно будет считать разбиением на эквивалентные классы для тестирования нового режима в формате математического сравнения.

Формат ввода
Ответ записывай по правилам математического синтаксиса: если неравенство одностороннее, то неизвестное в начале, если двойное - то неизвестное посередине.
Ответ записывай в столбик. Ответ не должен содержать пробелы.