#import std
#import nat

combinations = @rlX choices^|(iota,~&); -< @p nleq+ ==-~rh