08.02 DZ 7

fun main() = (3712..8432).filter {
    it.toString(radix = 2).last() == it.toString(radix = 4).last() &&
            (it % 13 == 0 || it % 14 == 0 || it % 15 == 0)
}.run { print("$size ${first()}") }