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

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

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