Укажи все диапазоны z, которые можно будет считать разбиением на эквивалентные классы для тестирования нового режима в формате математического сравнения

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

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

Пример ответа:

0<=z<3
z>=1

Примечания
Значение зума может быть дробным.