bFMinSets(oBsLeftNaturalOrder(bProduct (bAddZero bNatMinPlus) (bAddOne bNatMaxMin)))
4
0 : 1 : [(inl 1,inr 2)]
1 : 0 : [(inl 1,inr 2)]
0 : 2 : [(inl 5,inr 1)]
2 : 0 : [(inl 5,inr 1)]
1 : 2 : [(inl 2,inr 1)]
2 : 1 : [(inl 2,inr 1)]
1 : 3 : [(inl 5,inr 10)]
3 : 1 : [(inl 5,inr 10)]
2 : 3 : [(inl 1,inr 1)]
3 : 2 : [(inl 1,inr 1)]

