All_natural_numbers_other_than_0_have_a_predecessor_sub.autfilt.ba
[0]
f,[0]->[1]
p,[1]->[1]
l,[1]->[2]
k,[1]->[3]
o,[1]->[3]
l,[2]->[2]
p,[2]->[2]
o,[2]->[3]
k,[2]->[4]
f,[2]->[5]
k,[3]->[3]
o,[3]->[3]
p,[3]->[3]
l,[3]->[4]
o,[4]->[3]
k,[4]->[4]
l,[4]->[4]
p,[4]->[4]
f,[4]->[6]
l,[5]->[2]
o,[5]->[3]
k,[5]->[4]
p,[5]->[7]
l,[5]->[8]
p,[5]->[9]
p,[6]->[1]
l,[6]->[2]
k,[6]->[3]
o,[6]->[3]
l,[6]->[8]
p,[7]->[7]
l,[7]->[8]
l,[8]->[8]
p,[8]->[8]
f,[8]->[10]
l,[9]->[2]
o,[9]->[3]
k,[9]->[4]
p,[9]->[9]
p,[10]->[7]
l,[10]->[8]
[10]
