User:Jan jelo/FizzBuzz in Thue

This is a FizzBuzz program in Thue by User: Jan jelo. Outputs are separated by ;.

o0::=~0
o1::=~1
o2::=~2
o3::=~3
o4::=~4
o5::=~5
o6::=~6
o7::=~7
o8::=~8
o9::=~9

0[<0]::=0[3>]
1[<0]::=[<1]1
2[<0]::=2[3>]
3[<0]::=3[3>]
4[<0]::=4[3>]
5[<0]::=5[3>]
6[<0]::=6[3>]
7[<0]::=7[3>]
8[<0]::=8[3>]
9[<0]::=9[3>]
|[<0]::=|[3>]

0[<1]::=[<2]0
1[<1]::=1[3>]
2[<1]::=2[3>]
3[<1]::=3[3>]
4[<1]::=4[3>]
5[<1]::=5[3>]
6[<1]::=6[3>]
7[<1]::=7[3>]
8[<1]::=8[3>]
9[<1]::=9[3>]
|[<1]::=|[3>]

0[<2]::=0[3>]
1[<2]::=[Halt]1
2[<2]::=2[3>]
3[<2]::=3[3>]
4[<2]::=4[3>]
5[<2]::=5[3>]
6[<2]::=6[3>]
7[<2]::=7[3>]
8[<2]::=8[3>]
9[<2]::=9[3>]
|[<0]::=|[3>]

[3>]0::=0[3>]
[3>]1::=1[3>]
[3>]2::=2[3>]
[3>]3::=3[3>]
[3>]4::=4[3>]
[3>]5::=5[3>]
[3>]6::=6[3>]
[3>]7::=7[3>]
[3>]8::=8[3>]
[3>]9::=9[3>]
[3>]|::=[<4]|

0[<4]::=[<4]0
1[<4]::=[<4]1[*>]
2[<4]::=[<4]2[*>][*>]
3[<4]::=[<4]3[*>][*>][*>]
4[<4]::=[<4]4[*>][*>][*>][*>]
5[<4]::=[<4]5[*>][*>][*>][*>][*>]
6[<4]::=[<4]6[*>][*>][*>][*>][*>][*>]
7[<4]::=[<4]7[*>][*>][*>][*>][*>][*>][*>]
8[<4]::=[<4]8[*>][*>][*>][*>][*>][*>][*>][*>]
9[<4]::=[<4]9[*>][*>][*>][*>][*>][*>][*>][*>][*>]
|[<4]::=|[5>]

[*>]0::=0[*>]
[*>]1::=1[*>]
[*>]2::=2[*>]
[*>]3::=3[*>]
[*>]4::=4[*>]
[*>]5::=5[*>]
[*>]6::=6[*>]
[*>]7::=7[*>]
[*>]8::=8[*>]
[*>]9::=9[*>]
[*>]|::=|*

Fizz::=~Fizz

[5>]0::=0[5>]
[5>]1::=1[5>]
[5>]2::=2[5>]
[5>]3::=3[5>]
[5>]4::=4[5>]
[5>]5::=5[5>]
[5>]6::=6[5>]
[5>]7::=7[5>]
[5>]8::=8[5>]
[5>]9::=9[5>]
[5>]|***::=[5>]|
[5>]||::=Fizz[<6]||
[5>]|*|::=[<7]||
[5>]|**|::=[<7]||

Buzz::=~Buzz

0[<6]::=0Buzz[<8]
1[<6]::=1[<8]
2[<6]::=2[<8]
3[<6]::=3[<8]
4[<6]::=4[<8]
5[<6]::=5Buzz[<8]
6[<6]::=6[<8]
7[<6]::=7[<8]
8[<6]::=8[<8]
9[<6]::=9[<8]

0[<7]::=0Buzz[<8]
1[<7]::=1[<9]
2[<7]::=2[<9]
3[<7]::=3[<9]
4[<7]::=4[<9]
5[<7]::=5Buzz[<8]
6[<7]::=6[<9]
7[<7]::=7[<9]
8[<7]::=8[<9]
9[<7]::=9[<9]

0[<8]::=1[11>]
1[<8]::=2[11>]
2[<8]::=3[11>]
3[<8]::=4[11>]
4[<8]::=5[11>]
5[<8]::=6[11>]
6[<8]::=7[11>]
7[<8]::=8[11>]
8[<8]::=9[11>]
9[<8]::=[<8]0
|[<8]::=|0[<8]

0[<9]::=[<9]0
1[<9]::=[<9]1
2[<9]::=[<9]2
3[<9]::=[<9]3
4[<9]::=[<9]4
5[<9]::=[<9]5
6[<9]::=[<9]6
7[<9]::=[<9]7
8[<9]::=[<9]8
9[<9]::=[<9]9
|[<9]::=|[10>]

[10>]0::=0[10>]o0
[10>]1::=1[10>]o1
[10>]2::=2[10>]o2
[10>]3::=3[10>]o3
[10>]4::=4[10>]o4
[10>]5::=5[10>]o5
[10>]6::=6[10>]o6
[10>]7::=7[10>]o7
[10>]8::=8[10>]o8
[10>]9::=9[10>]o9
[10>]|::=[<8]|

Sep::=~;

[11>]0::=0[11>]
[11>]1::=1[11>]
[11>]2::=2[11>]
[11>]3::=3[11>]
[11>]4::=4[11>]
[11>]5::=5[11>]
[11>]6::=6[11>]
[11>]7::=7[11>]
[11>]8::=8[11>]
[11>]9::=9[11>]
[11>]|::=Sep[<0]|

::=

|1[<0]||