3 E0::=000$
\14$$\b\b00$;$
\ 4$$$
\1800000000000000000000000000000000000000000000000
5 E0::=0000000000000000000000000000000000000000000000000000000000000
6 E0::=000$
\ 4$$$$$$\b\b00$;$
\ 4$$$
\18000000000000000000000000000000$$$$$$$$$$$$$$$$$&$=00000000000000
8 E0::=0$;00000000\b\b00$;$
\ 4$$$
\180000000000000000000000000000000000000000000000000000$;0$
\180000000000$;$$
\18000000000$;$
\ 4$$$
\1800000000000000000000000000000000000000
10 E0::=000$
\ 4$$$$$$\b\b00$;$
\ 4$$$
\1800000000000000000000000000000000$
\ 4$$$
\180000000000000000000000000000000000000000000000000000000000000000000000
12 E0::=0$;0$
\18000000000000000$0000000000000000000000000000000000000000