{x/x ЄN, 12 < x ≤ 20^ x es un múltiplo de 4}