3 E0::=000$
\14$$\b\b00$;$
\ 4$$$
\1800000000000000000000000000000000000000000000000
5 E0::=0$;0000000000000000000000000000000000000000000000000000000000
6 E0::=000$
\ 4$$$$$$\b\b00$;$
\ 4$$$
\18000000000000000000000000000000$$$$$$$$$$$$$$$$$&$=0$¯00000000000
8 E0::=0$;00000000\b\b00$;$
\ 4$$$
\180000000000000000000000000000000000000000000000000000000
10 E0::=0$;$$
\180000000000000000000000000000000000000000000000000000000
12 E0::=0$;$
\ 4$$$$$$\b\b00$;$
\ 4$$$
\18000000000000000000000000$
\ 4$$$
\180000000000000000000000000000000000000000000000000000000
14 E0::=0$;0$
\180000000000000000000000000000000000000000000000000000000
15 E0::=0$;$
\ 4$$$$$$000000000000000000000000000000000000000000000000000000000000000000