Addition_of_Ostrowski-a_representations_is_a_function_(ie,_there_is_an_output_for_every_input)_sub.autfilt.ba
[0]
v,[0]->[1]
bl,[1]->[1]
bk,[1]->[2]
av,[1]->[3]
au,[1]->[4]
bh,[1]->[5]
ar,[1]->[6]
aq,[1]->[7]
bg,[1]->[7]
bk,[2]->[2]
bl,[2]->[2]
au,[2]->[4]
aq,[2]->[7]
bg,[2]->[7]
bh,[2]->[7]
av,[2]->[8]
ar,[2]->[9]
av,[3]->[3]
bl,[3]->[3]
bk,[3]->[4]
bh,[3]->[6]
bg,[3]->[7]
au,[3]->[8]
ar,[3]->[10]
aq,[3]->[11]
v,[3]->[12]
au,[4]->[4]
bk,[4]->[4]
bl,[4]->[4]
bg,[4]->[7]
bh,[4]->[7]
av,[4]->[8]
ar,[4]->[11]
aq,[4]->[13]
bh,[5]->[5]
bl,[5]->[5]
ar,[5]->[6]
aq,[5]->[7]
bg,[5]->[7]
bk,[5]->[7]
av,[5]->[10]
au,[5]->[13]
ar,[6]->[6]
bh,[6]->[6]
bl,[6]->[6]
bg,[6]->[7]
bk,[6]->[7]
aq,[6]->[9]
av,[6]->[10]
au,[6]->[11]
aq,[7]->[7]
bg,[7]->[7]
bh,[7]->[7]
bk,[7]->[7]
bl,[7]->[7]
ar,[7]->[9]
av,[7]->[11]
au,[7]->[13]
bk,[8]->[4]
bg,[8]->[7]
au,[8]->[8]
av,[8]->[8]
bl,[8]->[8]
bh,[8]->[9]
aq,[8]->[11]
ar,[8]->[11]
v,[8]->[14]
bg,[9]->[7]
bk,[9]->[7]
aq,[9]->[9]
ar,[9]->[9]
bh,[9]->[9]
bl,[9]->[9]
au,[9]->[11]
av,[9]->[11]
bh,[10]->[6]
bg,[10]->[7]
ar,[10]->[10]
av,[10]->[10]
bl,[10]->[10]
aq,[10]->[11]
au,[10]->[11]
bk,[10]->[13]
v,[10]->[15]
bg,[11]->[7]
bh,[11]->[9]
aq,[11]->[11]
ar,[11]->[11]
au,[11]->[11]
av,[11]->[11]
bl,[11]->[11]
bk,[11]->[13]
v,[11]->[16]
av,[12]->[3]
bk,[12]->[4]
bh,[12]->[6]
bg,[12]->[7]
au,[12]->[8]
ar,[12]->[10]
aq,[12]->[11]
bl,[12]->[12]
av,[12]->[17]
bg,[13]->[7]
bh,[13]->[7]
ar,[13]->[11]
av,[13]->[11]
aq,[13]->[13]
au,[13]->[13]
bk,[13]->[13]
bl,[13]->[13]
av,[14]->[3]
au,[14]->[4]
bk,[14]->[4]
bh,[14]->[5]
bg,[14]->[7]
ar,[14]->[10]
aq,[14]->[13]
bl,[14]->[14]
av,[14]->[17]
bk,[15]->[2]
av,[15]->[3]
ar,[15]->[6]
bh,[15]->[6]
bg,[15]->[7]
au,[15]->[8]
aq,[15]->[9]
av,[15]->[17]
bl,[15]->[18]
bl,[16]->[1]
bk,[16]->[2]
av,[16]->[3]
au,[16]->[4]
bh,[16]->[5]
ar,[16]->[6]
aq,[16]->[7]
bg,[16]->[7]
av,[16]->[17]
av,[17]->[17]
bl,[17]->[17]
bk,[17]->[19]
v,[17]->[20]
au,[17]->[21]
bk,[18]->[2]
av,[18]->[3]
ar,[18]->[6]
bh,[18]->[6]
bg,[18]->[7]
au,[18]->[8]
aq,[18]->[9]
bl,[18]->[18]
au,[19]->[19]
bk,[19]->[19]
bl,[19]->[19]
av,[19]->[21]
bl,[20]->[20]
av,[20]->[22]
bk,[21]->[19]
au,[21]->[21]
av,[21]->[21]
bl,[21]->[21]
v,[21]->[23]
av,[22]->[22]
bl,[22]->[22]
v,[22]->[24]
av,[23]->[22]
bl,[24]->[20]
av,[24]->[22]
[24]
