2 ENVV::=$$$:=$$$$$$$$:$$$$:=$$
\e$$$$:=$$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:=$:=$$$$$$$$:$$$$:=$$
\e$$$$:=$$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:=$$$$$$:=E$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:*$$$$$$:=E$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:=$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:*$$$$
\ 1$$$$$$$$
\ 5$$$$$:$$$$:=$$$$$$$:*$$$$
\ 1$$$$