bAddZero bNatMinPlus
4
0 : 1 : inl 1
0 : 2 : inl 3
1 : 0 : inl 1
1 : 2 : inl 1
1 : 3 : inl 3
2 : 0 : inl 3
2 : 1 : inl 1
2 : 3 : inl 1
3 : 1 : inl 3
3 : 2 : inl 1

