:1
y/0123/ 012/
s/\</-/g
t1
:
s/ *-/<<123456789-01>/
s/\(.\)<.*\1\(-*.\).*>/\2/
/7-/!s/^7/0/
t
L
d