bFMinSetsOpUnion (oRightNaturalOrder (sNatMax))
6
0 : 1 : [6]
0 : 2 : [5]
1 : 0 : [6]
1 : 2 : [3]
1 : 3 : [10]
1 : 4 : [1]
2 : 0 : [5]
2 : 1 : [3]
2 : 4 : [4]
3 : 1 : [10]
3 : 4 : [7]
3 : 5 : [2]
4 : 2 : [4]
4 : 3 : [7]
4 : 5 : [7]
5 : 3 : [2]
5 : 4 : [7]

