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