283570domain: NAppears in sequencesLexicographically first sequence of positive integers such that all disjoint equivalent sets of K terms have distinct sums for 1 <= K <= 4.at n=25A349777