let b = (bAddZero (bSelLex bNatMaxMin (bSelLex bNatMinPlus (bLeft sNatMin)))) in bFMinSets (oLex (oSimpleSeq dNat) (oBSLeftNaturalOrder b))
8
0 : 1 : inr inl (3,(3,1))
1 : 0 : inr inl (3,(3,0))
1 : 2 : inr inl (3,(1,2))
2 : 1 : inr inl (3,(1,1))
1 : 4 : inr inl (1,(2,4))
4 : 1 : inr inl (1,(2,1))
2 : 3 : inr inl (5,(5,3))
3 : 2 : inr inl (5,(5,2))
2 : 5 : inr inl (4,(5,5))
5 : 2 : inr inl (4,(5,2))
4 : 5 : inr inl (2,(3,5))
5 : 4 : inr inl (2,(3,4))
4 : 6 : inr inl (1,(1,6))
6 : 4 : inr inl (1,(1,4))
5 : 7 : inr inl (2,(2,7))
7 : 4 : inr inl (2,(2,4))

