all(any(5,6),any(10,12),any(15,18))
all(any(5,6),any(10,12),any(15,18))
any()