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

