''' № 17.28 (). В фай ле 17‑ev1.txt содержится последовательность
целых чисел. Элементы после‑ довательности могут принимать целые
значения от 0 до 10 000 включительно. Рассматривается множество
элементов последовательности, которые удовлетворяют следующим условиям:

— запись в двоичной системе оканчивается на 11;
bin(x)[-2:] == '11'

— число не превышает минимальное число последовательности, которое
оканчивается на 12.
x <= min12

Най дите количество таких чисел и произведение их минимального и
максимального значений . '''

with open('17-ev1.txt') as ff:
    a = [int(x) for x in  ff.read().split()]

# Предварительный шаг
a12 = [x for x in a if x % 100 == 12]
min12 = min(a12) 

# Решение основной задачи 
t = [x for x in a if bin(x)[-2:] == '11' and x <= min12]

print(len(t), max(t)*min(t))  # 21 933 ok