! math.combinatorics supports combinations now, so you could generate that constant with: ( scratchpad - auto ) 7 iota 5 all-combinations . { { 0 1 2 3 4 } { 0 1 2 3 5 } { 0 1 2 3 6 } { 0 1 2 4 5 } { 0 1 2 4 6 } { 0 1 2 5 6 } { 0 1 3 4 5 } { 0 1 3 4 6 } { 0 1 3 5 6 } { 0 1 4 5 6 } { 0 2 3 4 5 } { 0 2 3 4 6 } { 0 2 3 5 6 } { 0 2 4 5 6 } { 0 3 4 5 6 } { 1 2 3 4 5 } { 1 2 3 4 6 } { 1 2 3 5 6 } { 1 2 4 5 6 } { 1 3 4 5 6 } { 2 3 4 5 6 } }