(bFSetsOp(BS_SG_times(bAddOne (bSelLex bNatMaxMin (bSelLex bNatMinPlus (bLeft sNatMin))))))
8
0 : 1 : [inr (3,(3,1))]
1 : 0 : [inr (3,(3,0))]
1 : 2 : [inr (3,(1,2))]
2 : 1 : [inr (3,(1,1))]
1 : 4 : [inr (1,(2,4))]
4 : 1 : [inr (1,(2,1))]
2 : 3 : [inr (5,(5,3))]
3 : 2 : [inr (5,(5,2))]
2 : 5 : [inr (4,(5,5))]
5 : 2 : [inr (4,(5,2))]
4 : 5 : [inr (2,(3,5))]
5 : 4 : [inr (2,(3,4))]
4 : 6 : [inr (1,(1,6))]
6 : 4 : [inr (1,(1,4))]
5 : 7 : [inr (2,(2,7))]
7 : 4 : [inr (2,(2,4))]

