@Gargron Are those numbers disjunct?