'''
В файле 17_ev3.txt содержится последовательность целых чисел.
Элементы последовательности могут принимать целые значения
от −10 000 до 10 000 включительно.

Рассматривается множество
элементов последовательности,
которые являются

отрицательными четырёхзначными числами,
if -9999 <= x <= -1000

оканчивающимися на 12, но не на 212.
abs(x) % 100 == 12 and abs(x) % 1000 != 212

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

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

t = [x for x in a if -9999 <= x <= -1000 and\
     abs(x) % 100 == 12 and abs(x) % 1000 != 212]

print(len(t), max(t))   # 6 -1012 ok