08.02 DZ 2

fun main() = (3201..12876).filter {
    it % 4 == 0 &&
    it % 7 != 0 &&
    it % 11 != 0 &&
    it % 13 != 0 &&
    it % 19 != 0
}.run { print("$size ${last()}") }