fn presents_at2(house_nr: u64) -> u64