В файле UIN;PASS.txt остаются лежать все номера, включая нв, но в файле LOG BAD VALIDATE UIN;PAS.txt появляются еще невалидные.
Имея одно множесто С, которое является прямой суммой двух подмножеств А и Б, а также отдельно подмножество Б, выразить подмножество А не составляет большого труда.