# KEY
#  - not
#  + and
#  / or
#  > implies
#  = if and only if 
#  a-z and A-J represent variables 

(a>a)
(a=a)
(-a/a)
(a/-a)
(--a>a)
(--a=a)
(-a>-a)
(-a=-a)
(a>--a)
(a=--a)
-(-a=a)
-(-a+a)
-(a=-a)
-(a+-a)
--(a>a)
--(a=a)
(---a/a)
(--a/-a)
(-a/--a)
(a/---a)
--(-a/a)
--(a/-a)
((a>a)/a)
((a>a)/b)
((a>b)/a)
((a=a)/a)
((a=a)/b)
((a/a)>a)
((a/a)=a)
((a+a)>a)
((a+a)=a)
((a+b)>a)
((a+b)>b)
(----a>a)
(----a=a)
(---a>-a)
(---a=-a)
(--a>--a)
(--a=--a)
(-a>---a)
(-a=---a)
(a>(a>a))
(a>(a=a))
(a>(a/a))
(a>(a/b))
(a>(a+a))
(a>(b>a))
(a>(b>b))
(a>(b=b))
(a>(b/a))
(a>----a)
(a=(a/a))
(a=(a+a))
(a=----a)
(a/(a>a))
(a/(a>b))
(a/(a=a))
(a/(b>b))
(a/(b=b))
-(---a=a)
-(---a+a)
-(--a=-a)
-(--a+-a)
-(-a=--a)
-(-a+--a)
-(a=---a)
-(a+---a)
--(--a>a)
--(--a=a)
--(-a>-a)
--(-a=-a)
--(a>--a)
--(a=--a)
---(-a=a)
---(-a+a)
---(a=-a)
---(a+-a)
----(a>a)
----(a=a)
((-a>a)>a)
((-a>a)=a)
((-a=a)>a)
((-a=a)>b)
((-a/a)/a)
((-a/a)/b)
((-a/b)/a)
((-a+a)>a)
((-a+a)>b)
((-a+b)>b)
((a>-a)/a)
((a>-b)/a)
((a>-b)/b)
((a>a)/-a)
((a>a)/-b)
((a>b)/-b)
((a=-a)>a)
((a=-a)>b)
((a=a)/-a)
((a=a)/-b)
((a/-a)/a)
((a/-a)/b)
((a/-b)/b)
((a/a)/-a)
((a/b)/-a)
((a/b)/-b)
((a+-a)>a)
((a+-a)>b)
((a+-b)>a)
((a+a)/-a)
(-(a>a)>a)
(-(a>a)>b)
(-(a>b)>a)
(-(a=a)>a)
(-(a=a)>b)
(-(a/a)/a)
(-(a+a)/a)
(-(a+b)/a)
(-(a+b)/b)
(-----a/a)
(----a/-a)
(---a/--a)
(--a/---a)
(-a>(a>a))
(-a>(a>b))
(-a>(a=a))
(-a>(b>b))
(-a>(b=b))
(-a/(a>a))
(-a/(a=a))
(-a/(a/a))
(-a/(a/b))
(-a/(a+a))
(-a/(b>a))
(-a/(b>b))
(-a/(b=b))
(-a/(b/a))
(-a/----a)
(a>(-a>a))
(a>(-a>b))
(a>(-a/a))
(a>(-b>a))
(a>(-b/a))
(a>(-b/b))
(a>(a/-a))
(a>(a/-b))
(a>(b/-b))
(a=(-a>a))
(a/(-a/a))
(a/(-a/b))
(a/(-b/b))
(a/(a>-a))
(a/(a>-b))
(a/(a/-a))
(a/(b>-a))
(a/(b/-a))
(a/(b/-b))
(a/-(a/a))
(a/-(a+a))
(a/-(a+b))
(a/-(b+a))
(a/-----a)
--(---a/a)
--(--a/-a)
--(-a/--a)
--(a/---a)
----(-a/a)
----(a/-a)
((--a>a)/a)
((--a>a)/b)
((--a>b)/a)
((--a=a)/a)
((--a=a)/b)
((--a/a)>a)
((--a/a)=a)
((--a+a)>a)
((--a+a)=a)
((--a+b)>a)
((--a+b)>b)
((-a>-a)/a)
((-a>-a)/b)
((-a>-b)/b)
((-a>a)/-a)
((-a>b)/-a)
((-a>b)/-b)
((-a=-a)/a)
((-a=-a)/b)
((-a=a)>-a)
((-a=a)>-b)
((-a/-a)/a)
((-a/-b)/a)
((-a/-b)/b)
((-a/a)/-a)
((-a/a)/-b)
((-a/b)/-b)
((-a+-a)/a)
((-a+a)>-a)
((-a+a)>-b)
((-a+b)>-a)
((a>--a)/a)
((a>--a)/b)
((a>--b)/a)
((a>-a)>-a)
((a>-a)=-a)
((a>a)/--a)
((a>a)/--b)
((a>b)/--a)
((a=--a)/a)
((a=--a)/b)
((a=-a)>-a)
((a=-a)>-b)
((a=a)/--a)
((a=a)/--b)
((a/--a)>a)
((a/--a)=a)
((a/-a)/-a)
((a/-a)/-b)
((a/-b)/-a)
((a/a)>--a)
((a/a)=--a)
((a+--a)>a)
((a+--a)=a)
((a+--b)>a)
((a+--b)>b)
((a+-a)>-a)
((a+-a)>-b)
((a+-b)>-b)
((a+a)>--a)
((a+a)=--a)
((a+b)>--a)
((a+b)>--b)
(-(-a>a)/a)
(-(-a=a)/a)
(-(-a=a)/b)
(-(-a/a)>a)
(-(-a/a)>b)
(-(-a/b)>a)
(-(-a+a)/a)
(-(-a+a)/b)
(-(-a+b)/b)
(-(a>-a)>a)
(-(a>-a)=a)
(-(a>-b)>a)
(-(a>-b)>b)
(-(a>a)>-a)
(-(a>a)>-b)
(-(a>b)>-b)
(-(a=-a)/a)
(-(a=-a)/b)
(-(a=a)>-a)
(-(a=a)>-b)
(-(a/-a)>a)
(-(a/-a)>b)
(-(a/-b)>b)
(-(a/a)>-a)
(-(a/a)=-a)
(-(a/b)>-a)
(-(a/b)>-b)
(-(a+-a)/a)
(-(a+-a)/b)
(-(a+-b)/a)
(-(a+a)>-a)
(-(a+a)=-a)
(--(a>a)/a)
(--(a>a)/b)
(--(a>b)/a)
(--(a=a)/a)
(--(a=a)/b)
(--(a/a)>a)
(--(a/a)=a)
(--(a+a)>a)
(--(a+a)=a)
(--(a+b)>a)
(--(a+b)>b)
(------a>a)
(------a=a)
(-----a>-a)
(-----a=-a)
(----a>--a)
(----a=--a)
(---a>---a)
(---a=---a)
(--a>(a>a))
(--a>(a=a))
(--a>(a/a))
(--a>(a/b))
(--a>(a+a))
(--a>(b>a))
(--a>(b>b))
(--a>(b=b))
(--a>(b/a))
(--a>----a)
(--a=(a/a))
(--a=(a+a))
(--a=----a)
(--a/(a>a))
(--a/(a>b))
(--a/(a=a))
(--a/(b>b))
(--a/(b=b))
(-a>(-a/a))
(-a>(-a/b))
(-a>(-b/b))
(-a>(a>-a))
(-a>(a>-b))
(-a>(a/-a))
(-a>(b>-a))
(-a>(b/-a))
(-a>(b/-b))
(-a>-(a/a))
(-a>-(a+a))
(-a>-(a+b))
(-a>-(b+a))
(-a>-----a)
(-a=(a>-a))
(-a=-(a/a))
(-a=-(a+a))
(-a=-----a)
(-a/(-a>a))
(-a/(-a>b))
(-a/(-a/a))
(-a/(-b>a))
(-a/(-b/a))
(-a/(-b/b))
(-a/(a/-a))
(-a/(a/-b))
(-a/(b/-b))
(a>(--a>a))
(a>(--a=a))
(a>(--a/a))
(a>(--a/b))
(a>(--a+a))
(a>(--b>a))
(a>(--b>b))
(a>(--b=b))
(a>(--b/a))
(a>(-a>-a))
(a>(-a>-b))
(a>(-a=-a))
(a>(-b>-b))
(a>(-b=-b))
(a>(a>--a))
(a>(a=--a))
(a>(a/--a))
(a>(a/--b))
(a>(a+--a))
(a>(b>--a))
(a>(b>--b))
(a>(b=--b))
(a>(b/--a))
(a>-(-a=a))
(a>-(-a+a))
(a>-(-a+b))
(a>-(-b=b))
(a>-(-b+b))
(a>-(a>-a))
(a>-(a=-a))
(a>-(a+-a))
(a>-(b=-b))
(a>-(b+-a))
(a>-(b+-b))
(a>--(a>a))
(a>--(a=a))
(a>--(a/a))
(a>--(a/b))
(a>--(a+a))
(a>--(b>a))
(a>--(b>b))
(a>--(b=b))
(a>--(b/a))
(a>------a)
(a=(--a/a))
(a=(--a+a))
(a=(a/--a))
(a=(a+--a))
(a=-(a>-a))
(a=--(a/a))
(a=--(a+a))
(a=------a)
(a/(--a>a))
(a/(--a>b))
(a/(--a=a))
(a/(--b>b))
(a/(--b=b))
(a/(-a>-a))
(a/(-a=-a))
(a/(-a/-a))
(a/(-a/-b))
(a/(-a+-a))
(a/(-b>-a))
(a/(-b>-b))
(a/(-b=-b))
(a/(-b/-a))
(a/(a>--a))
(a/(a>--b))
(a/(a=--a))
(a/(b>--b))
(a/(b=--b))
(a/-(-a>a))
(a/-(-a=a))
(a/-(-a+a))
(a/-(-b=b))
(a/-(-b+a))
(a/-(-b+b))
(a/-(a=-a))
(a/-(a+-a))
(a/-(a+-b))
(a/-(b=-b))
(a/-(b+-b))
(a/--(a>a))
(a/--(a>b))
(a/--(a=a))
(a/--(b>b))
(a/--(b=b))
-((-a=a)+a)
-((-a=a)+b)
-((-a+a)+a)
-((-a+a)+b)
-((-a+b)+a)
-((a>-a)=a)
-((a>-a)+a)
-((a=-a)+a)
-((a=-a)+b)
-((a/a)=-a)
-((a/a)+-a)
-((a+-a)+a)
-((a+-a)+b)
-((a+-b)+b)
-((a+a)=-a)
-((a+a)+-a)
-((a+b)+-a)
-((a+b)+-b)
-(-(a>a)+a)
-(-(a>a)+b)
-(-(a>b)+b)
-(-(a=a)+a)
-(-(a=a)+b)
-(-(a/a)=a)
-(-(a/a)+a)
-(-(a/b)+a)
-(-(a/b)+b)
-(-(a+a)=a)
-(-(a+a)+a)
-(-----a=a)
-(-----a+a)
-(----a=-a)
-(----a+-a)
-(---a=--a)
-(---a+--a)
-(--a=---a)
-(--a+---a)
-(-a=(a/a))
-(-a=(a+a))
-(-a=----a)
-(-a+(a/a))
-(-a+(a+a))
-(-a+(a+b))
-(-a+(b+a))
-(-a+----a)
-(a=(a>-a))
-(a=-(a/a))
-(a=-(a+a))
-(a=-----a)
-(a+(-a=a))
-(a+(-a+a))
-(a+(-a+b))
-(a+(-b=b))
-(a+(-b+b))
-(a+(a>-a))
-(a+(a=-a))
-(a+(a+-a))
-(a+(b=-b))
-(a+(b+-a))
-(a+(b+-b))
-(a+-(a>a))
-(a+-(a=a))
-(a+-(a/a))
-(a+-(a/b))
-(a+-(a+a))
-(a+-(b>a))
-(a+-(b>b))
-(a+-(b=b))
-(a+-(b/a))
-(a+-----a)
--((a>a)/a)
--((a>a)/b)
--((a>b)/a)
--((a=a)/a)
--((a=a)/b)
--((a/a)>a)
--((a/a)=a)
--((a+a)>a)
--((a+a)=a)
--((a+b)>a)
--((a+b)>b)
--(----a>a)
--(----a=a)
--(---a>-a)
--(---a=-a)
--(--a>--a)
--(--a=--a)
--(-a>---a)
--(-a=---a)
--(a>(a>a))
--(a>(a=a))
--(a>(a/a))
--(a>(a/b))
--(a>(a+a))
--(a>(b>a))
--(a>(b>b))
--(a>(b=b))
--(a>(b/a))
--(a>----a)
--(a=(a/a))
--(a=(a+a))
--(a=----a)
--(a/(a>a))
--(a/(a>b))
--(a/(a=a))
--(a/(b>b))
--(a/(b=b))
---(---a=a)
---(---a+a)
---(--a=-a)
---(--a+-a)
---(-a=--a)
---(-a+--a)
---(a=---a)
---(a+---a)
----(--a>a)
----(--a=a)
----(-a>-a)
----(-a=-a)
----(a>--a)
----(a=--a)
-----(-a=a)
-----(-a+a)
-----(a=-a)
-----(a+-a)
------(a>a)
------(a=a)
((---a>a)>a)
((---a>a)=a)
((---a=a)>a)
((---a=a)>b)
((---a/a)/a)
((---a/a)/b)
((---a/b)/a)
((---a+a)>a)
((---a+a)>b)
((---a+b)>b)
((--a>-a)/a)
((--a>-b)/a)
((--a>-b)/b)
((--a>a)/-a)
((--a>a)/-b)
((--a>b)/-b)
((--a=-a)>a)
((--a=-a)>b)
((--a=a)/-a)
((--a=a)/-b)
((--a/-a)/a)
((--a/-a)/b)
((--a/-b)/b)
((--a/a)/-a)
((--a/b)/-a)
((--a/b)/-b)
((--a+-a)>a)
((--a+-a)>b)
((--a+-b)>a)
((--a+a)/-a)
((-a>--a)>a)
((-a>--a)=a)
((-a>-a)/-a)
((-a>-a)/-b)
((-a>-b)/-a)
((-a>a)>--a)
((-a>a)=--a)
((-a=--a)>a)
((-a=--a)>b)
((-a=-a)/-a)
((-a=-a)/-b)
((-a=a)>--a)
((-a=a)>--b)
((-a/--a)/a)
((-a/--a)/b)
((-a/--b)/a)
((-a/-a)>-a)
((-a/-a)=-a)
((-a/a)/--a)
((-a/a)/--b)
((-a/b)/--a)
((-a+--a)>a)
((-a+--a)>b)
((-a+--b)>b)
((-a+-a)>-a)
((-a+-a)=-a)
((-a+-b)>-a)
((-a+-b)>-b)
((-a+a)>--a)
((-a+a)>--b)
((-a+b)>--b)
((a>---a)/a)
((a>---b)/a)
((a>---b)/b)
((a>--a)/-a)
((a>--a)/-b)
((a>--b)/-b)
((a>-a)/--a)
((a>-b)/--a)
((a>-b)/--b)
((a>a)/---a)
((a>a)/---b)
((a>b)/---b)
((a=---a)>a)
((a=---a)>b)
((a=--a)/-a)
((a=--a)/-b)
((a=-a)>--a)
((a=-a)>--b)
((a=a)/---a)
((a=a)/---b)
((a/---a)/a)
((a/---a)/b)
((a/---b)/b)
((a/--a)/-a)
((a/--b)/-a)
((a/--b)/-b)
((a/-a)/--a)
((a/-a)/--b)
((a/-b)/--b)
((a/a)/---a)
((a/b)/---a)
((a/b)/---b)
((a+---a)>a)
((a+---a)>b)
((a+---b)>a)
((a+--a)/-a)
((a+-a)>--a)
((a+-a)>--b)
((a+-b)>--a)
((a+a)/---a)
(-(--a>a)>a)
(-(--a>a)>b)
(-(--a>b)>a)
(-(--a=a)>a)
(-(--a=a)>b)
(-(--a/a)/a)
(-(--a+a)/a)
(-(--a+b)/a)
(-(--a+b)/b)
(-(-a>-a)>a)
(-(-a>-a)>b)
(-(-a>-b)>b)
(-(-a>a)>-a)
(-(-a>a)=-a)
(-(-a>b)>-a)
(-(-a>b)>-b)
(-(-a=-a)>a)
(-(-a=-a)>b)
(-(-a=a)/-a)
(-(-a=a)/-b)
(-(-a/-a)>a)
(-(-a/-a)=a)
(-(-a/-b)>a)
(-(-a/-b)>b)
(-(-a/a)>-a)
(-(-a/a)>-b)
(-(-a/b)>-b)
(-(-a+-a)>a)
(-(-a+-a)=a)
(-(-a+a)/-a)
(-(-a+a)/-b)
(-(-a+b)/-a)
(-(a>--a)>a)
(-(a>--a)>b)
(-(a>--b)>a)
(-(a>-a)/-a)
(-(a>a)>--a)
(-(a>a)>--b)
(-(a>b)>--a)
(-(a=--a)>a)
(-(a=--a)>b)
(-(a=-a)/-a)
(-(a=-a)/-b)
(-(a=a)>--a)
(-(a=a)>--b)
(-(a/--a)/a)
(-(a/-a)>-a)
(-(a/-a)>-b)
(-(a/-b)>-a)
(-(a/a)/--a)
(-(a+--a)/a)
(-(a+--b)/a)
(-(a+--b)/b)
(-(a+-a)/-a)
(-(a+-a)/-b)
(-(a+-b)/-b)
(-(a+a)/--a)
(-(a+b)/--a)
(-(a+b)/--b)
(--(-a>a)>a)
(--(-a>a)=a)
(--(-a=a)>a)
(--(-a=a)>b)
(--(-a/a)/a)
(--(-a/a)/b)
(--(-a/b)/a)
(--(-a+a)>a)
(--(-a+a)>b)
(--(-a+b)>b)
(--(a>-a)/a)
(--(a>-b)/a)
(--(a>-b)/b)
(--(a>a)/-a)
(--(a>a)/-b)
(--(a>b)/-b)
(--(a=-a)>a)
(--(a=-a)>b)
(--(a=a)/-a)
(--(a=a)/-b)
(--(a/-a)/a)
(--(a/-a)/b)
(--(a/-b)/b)
(--(a/a)/-a)
(--(a/b)/-a)
(--(a/b)/-b)
(--(a+-a)>a)
(--(a+-a)>b)
(--(a+-b)>a)
(--(a+a)/-a)
(---(a>a)>a)
(---(a>a)>b)
(---(a>b)>a)
(---(a=a)>a)
(---(a=a)>b)
(---(a/a)/a)
(---(a+a)/a)
(---(a+b)/a)
(---(a+b)/b)
(-------a/a)
(------a/-a)
(-----a/--a)
(----a/---a)
(---a>(a>a))
(---a>(a>b))
(---a>(a=a))
(---a>(b>b))
(---a>(b=b))
(---a/(a>a))
(---a/(a=a))
(---a/(a/a))
(---a/(a/b))
(---a/(a+a))
(---a/(b>a))
(---a/(b>b))
(---a/(b=b))
(---a/(b/a))
(---a/----a)
(--a>(-a>a))
(--a>(-a>b))
(--a>(-a/a))
(--a>(-b>a))
(--a>(-b/a))
(--a>(-b/b))
(--a>(a/-a))
(--a>(a/-b))
(--a>(b/-b))
(--a=(-a>a))
(--a/(-a/a))
(--a/(-a/b))
(--a/(-b/b))
(--a/(a>-a))
(--a/(a>-b))
(--a/(a/-a))
(--a/(b>-a))
(--a/(b/-a))
(--a/(b/-b))
(--a/-(a/a))
(--a/-(a+a))
(--a/-(a+b))
(--a/-(b+a))
(--a/-----a)
(-a>(--a>a))
(-a>(--a>b))
(-a>(--a=a))
(-a>(--b>b))
(-a>(--b=b))
(-a>(-a>-a))
(-a>(-a=-a))
(-a>(-a/-a))
(-a>(-a/-b))
(-a>(-a+-a))
(-a>(-b>-a))
(-a>(-b>-b))
(-a>(-b=-b))
(-a>(-b/-a))
(-a>(a>--a))
(-a>(a>--b))
(-a>(a=--a))
(-a>(b>--b))
(-a>(b=--b))
(-a>-(-a>a))
(-a>-(-a=a))
(-a>-(-a+a))
(-a>-(-b=b))
(-a>-(-b+a))
(-a>-(-b+b))
(-a>-(a=-a))
(-a>-(a+-a))
(-a>-(a+-b))
(-a>-(b=-b))
(-a>-(b+-b))
(-a>--(a>a))
(-a>--(a>b))
(-a>--(a=a))
(-a>--(b>b))
(-a>--(b=b))
(-a=(-a/-a))
(-a=(-a+-a))
(-a=-(-a>a))
(-a/(--a>a))
(-a/(--a=a))
(-a/(--a/a))
(-a/(--a/b))
(-a/(--a+a))
(-a/(--b>a))
(-a/(--b>b))
(-a/(--b=b))
(-a/(--b/a))
(-a/(-a>-a))
(-a/(-a>-b))
(-a/(-a=-a))
(-a/(-b>-b))
(-a/(-b=-b))
(-a/(a>--a))
(-a/(a=--a))
(-a/(a/--a))
(-a/(a/--b))
(-a/(a+--a))
(-a/(b>--a))
(-a/(b>--b))
(-a/(b=--b))
(-a/(b/--a))
(-a/-(-a=a))
(-a/-(-a+a))
(-a/-(-a+b))
(-a/-(-b=b))
(-a/-(-b+b))
(-a/-(a>-a))
(-a/-(a=-a))
(-a/-(a+-a))
(-a/-(b=-b))
(-a/-(b+-a))
(-a/-(b+-b))
(-a/--(a>a))
(-a/--(a=a))
(-a/--(a/a))
(-a/--(a/b))
(-a/--(a+a))
(-a/--(b>a))
(-a/--(b>b))
(-a/--(b=b))
(-a/--(b/a))
(-a/------a)
(a>(---a>a))
(a>(---a>b))
(a>(---a/a))
(a>(---b>a))
(a>(---b/a))
(a>(---b/b))
(a>(--a/-a))
(a>(--a/-b))
(a>(--b/-b))
(a>(-a>--a))
(a>(-a>--b))
(a>(-a/--a))
(a>(-b>--a))
(a>(-b/--a))
(a>(-b/--b))
(a>(a/---a))
(a>(a/---b))
(a>(b/---b))
(a>-(-a/-a))
(a>-(-a+-a))
(a>-(-a+-b))
(a>-(-b+-a))
(a>--(-a>a))
(a>--(-a>b))
(a>--(-a/a))
(a>--(-b>a))
(a>--(-b/a))
(a>--(-b/b))
(a>--(a/-a))
(a>--(a/-b))
(a>--(b/-b))
(a=(---a>a))
(a=(-a>--a))
(a=-(-a/-a))
(a=-(-a+-a))
(a=--(-a>a))
(a/(---a/a))
(a/(---a/b))
(a/(---b/b))
(a/(--a>-a))
(a/(--a>-b))
(a/(--a/-a))
(a/(--b>-a))
(a/(--b/-a))
(a/(--b/-b))
(a/(-a/--a))
(a/(-a/--b))
(a/(-b/--b))
(a/(a>---a))
(a/(a>---b))
(a/(a/---a))
(a/(b>---a))
(a/(b/---a))
(a/(b/---b))
(a/-(--a/a))
(a/-(--a+a))
(a/-(--a+b))
(a/-(--b+a))
(a/-(a/--a))
(a/-(a+--a))
(a/-(a+--b))
(a/-(b+--a))
(a/--(-a/a))
(a/--(-a/b))
(a/--(-b/b))
(a/--(a>-a))
(a/--(a>-b))
(a/--(a/-a))
(a/--(b>-a))
(a/--(b/-a))
(a/--(b/-b))
(a/---(a/a))
(a/---(a+a))
(a/---(a+b))
(a/---(b+a))
(a/-------a)
-((-a>a)=-a)
-((-a>a)+-a)
-((-a=a)+-a)
-((-a=a)+-b)
-((-a/-a)=a)
-((-a/-a)+a)
-((-a+-a)=a)
-((-a+-a)+a)
-((-a+-b)+a)
-((-a+-b)+b)
-((-a+a)+-a)
-((-a+a)+-b)
-((-a+b)+-b)
-((a=-a)+-a)
-((a=-a)+-b)
-((a+-a)+-a)
-((a+-a)+-b)
-((a+-b)+-a)
-(-(-a>a)=a)
-(-(-a>a)+a)
-(-(-a>b)+a)
-(-(-a>b)+b)
-(-(-a/a)+a)
-(-(-a/a)+b)
-(-(-a/b)+b)
-(-(a>a)+-a)
-(-(a>a)+-b)
-(-(a>b)+-a)
-(-(a=a)+-a)
-(-(a=a)+-b)
-(-(a/-a)+a)
-(-(a/-a)+b)
-(-(a/-b)+a)
-(-a=(-a>a))
-(-a+(-a>a))
-(-a+(-a=a))
-(-a+(-a+a))
-(-a+(-b=b))
-(-a+(-b+a))
-(-a+(-b+b))
-(-a+(a=-a))
-(-a+(a+-a))
-(-a+(a+-b))
-(-a+(b=-b))
-(-a+(b+-b))
-(-a+-(a>a))
-(-a+-(a>b))
-(-a+-(a=a))
-(-a+-(b>b))
-(-a+-(b=b))
-(a=(-a/-a))
-(a=(-a+-a))
-(a=-(-a>a))
-(a+(-a/-a))
-(a+(-a+-a))
-(a+(-a+-b))
-(a+(-b+-a))
-(a+-(-a>a))
-(a+-(-a>b))
-(a+-(-a/a))
-(a+-(-b>a))
-(a+-(-b/a))
-(a+-(-b/b))
-(a+-(a/-a))
-(a+-(a/-b))
-(a+-(b/-b))
--((-a>a)>a)
--((-a>a)=a)
--((-a=a)>a)
--((-a=a)>b)
--((-a/a)/a)
--((-a/a)/b)
--((-a/b)/a)
--((-a+a)>a)
--((-a+a)>b)
--((-a+b)>b)
--((a>-a)/a)
--((a>-b)/a)
--((a>-b)/b)
--((a>a)/-a)
--((a>a)/-b)
--((a>b)/-b)
--((a=-a)>a)
--((a=-a)>b)
--((a=a)/-a)
--((a=a)/-b)
--((a/-a)/a)
--((a/-a)/b)
--((a/-b)/b)
--((a/a)/-a)
--((a/b)/-a)
--((a/b)/-b)
--((a+-a)>a)
--((a+-a)>b)
--((a+-b)>a)
--((a+a)/-a)
--(-(a>a)>a)
--(-(a>a)>b)
--(-(a>b)>a)
--(-(a=a)>a)
--(-(a=a)>b)
--(-(a/a)/a)
--(-(a+a)/a)
--(-(a+b)/a)
--(-(a+b)/b)
--(-----a/a)
--(----a/-a)
--(---a/--a)
--(--a/---a)
--(-a>(a>a))
--(-a>(a>b))
--(-a>(a=a))
--(-a>(b>b))
--(-a>(b=b))
--(-a/(a>a))
--(-a/(a=a))
--(-a/(a/a))
--(-a/(a/b))
--(-a/(a+a))
--(-a/(b>a))
--(-a/(b>b))
--(-a/(b=b))
--(-a/(b/a))
--(-a/----a)
--(a>(-a>a))
--(a>(-a>b))
--(a>(-a/a))
--(a>(-b>a))
--(a>(-b/a))
--(a>(-b/b))
--(a>(a/-a))
--(a>(a/-b))
--(a>(b/-b))
--(a=(-a>a))
--(a/(-a/a))
--(a/(-a/b))
--(a/(-b/b))
--(a/(a>-a))
--(a/(a>-b))
--(a/(a/-a))
--(a/(b>-a))
--(a/(b/-a))
--(a/(b/-b))
--(a/-(a/a))
--(a/-(a+a))
--(a/-(a+b))
--(a/-(b+a))
--(a/-----a)
----(---a/a)
----(--a/-a)
----(-a/--a)
----(a/---a)
------(-a/a)
------(a/-a)
(((a>a)>a)>a)
(((a>a)>a)=a)
(((a>a)>b)>b)
(((a>a)>b)=b)
(((a>a)=a)>a)
(((a>a)=a)=a)
(((a>a)=b)>b)
(((a>a)=b)=b)
(((a>a)/a)/a)
(((a>a)/a)/b)
(((a>a)/b)/a)
(((a>a)/b)/b)
(((a>a)+a)>a)
(((a>a)+a)=a)
(((a>a)+b)>b)
(((a>a)+b)=b)
(((a>b)>a)>a)
(((a>b)>a)=a)
(((a>b)=a)>a)
(((a>b)=a)>b)
(((a>b)/a)/a)
(((a>b)/a)/b)
(((a>b)/a)/c)
(((a>b)/b)/a)
(((a>b)+a)>a)
(((a>b)+a)>b)
(((a>b)+b)>b)
(((a>b)+b)=b)
(((a=a)>a)>a)
(((a=a)>a)=a)
(((a=a)>b)>b)
(((a=a)>b)=b)
(((a=a)=a)>a)
(((a=a)=a)=a)
(((a=a)=b)>b)
(((a=a)=b)=b)
(((a=a)/a)/a)
(((a=a)/a)/b)
(((a=a)/b)/a)
(((a=a)/b)/b)
(((a=a)+a)>a)
(((a=a)+a)=a)
(((a=a)+b)>b)
(((a=a)+b)=b)
(((a=b)=a)>b)
(((a=b)=a)=b)
(((a=b)=b)>a)
(((a=b)=b)=a)
(((a=b)/a)/b)
(((a=b)/b)/a)
(((a=b)+a)>a)
(((a=b)+a)>b)
(((a=b)+b)>a)
(((a=b)+b)>b)
(((a/a)>a)/a)
(((a/a)>a)/b)
(((a/a)>b)/a)
(((a/a)=a)/a)
(((a/a)=a)/b)
(((a/a)/a)>a)
(((a/a)/a)=a)
(((a/a)+a)>a)
(((a/a)+a)=a)
(((a/a)+b)>a)
(((a/a)+b)>b)
(((a/b)>a)/b)
(((a/b)>b)/a)
(((a/b)=a)/b)
(((a/b)=b)/a)
(((a/b)+a)>a)
(((a/b)+a)=a)
(((a/b)+b)>b)
(((a/b)+b)=b)
(((a+a)>a)/a)
(((a+a)>a)/b)
(((a+a)>b)/a)
(((a+a)=a)/a)
(((a+a)=a)/b)
(((a+a)/a)>a)
(((a+a)/a)=a)
(((a+a)+a)>a)
(((a+a)+a)=a)
(((a+a)+b)>a)
(((a+a)+b)>b)
(((a+b)>a)/a)
(((a+b)>a)/b)
(((a+b)>a)/c)
(((a+b)>b)/a)
(((a+b)>b)/b)
(((a+b)=a)/a)
(((a+b)=b)/b)
(((a+b)/a)>a)
(((a+b)/a)=a)
(((a+b)/b)>b)
(((a+b)/b)=b)
(((a+b)+a)>a)
(((a+b)+a)>b)
(((a+b)+b)>a)
(((a+b)+b)>b)
((----a>a)/a)
((----a>a)/b)
((----a>b)/a)
((----a=a)/a)
((----a=a)/b)
((----a/a)>a)
((----a/a)=a)
((----a+a)>a)
((----a+a)=a)
((----a+b)>a)
((----a+b)>b)
((---a>-a)/a)
((---a>-a)/b)
((---a>-b)/b)
((---a>a)/-a)
((---a>b)/-a)
((---a>b)/-b)
((---a=-a)/a)
((---a=-a)/b)
((---a=a)>-a)
((---a=a)>-b)
((---a/-a)/a)
((---a/-b)/a)
((---a/-b)/b)
((---a/a)/-a)
((---a/a)/-b)
((---a/b)/-b)
((---a+-a)/a)
((---a+a)>-a)
((---a+a)>-b)
((---a+b)>-a)
((--a>--a)/a)
((--a>--a)/b)
((--a>--b)/a)
((--a>-a)>-a)
((--a>-a)=-a)
((--a>a)/--a)
((--a>a)/--b)
((--a>b)/--a)
((--a=--a)/a)
((--a=--a)/b)
((--a=-a)>-a)
((--a=-a)>-b)
((--a=a)/--a)
((--a=a)/--b)
((--a/--a)>a)
((--a/--a)=a)
((--a/-a)/-a)
((--a/-a)/-b)
((--a/-b)/-a)
((--a/a)>--a)
((--a/a)=--a)
((--a+--a)>a)
((--a+--a)=a)
((--a+--b)>a)
((--a+--b)>b)
((--a+-a)>-a)
((--a+-a)>-b)
((--a+-b)>-b)
((--a+a)>--a)
((--a+a)=--a)
((--a+b)>--a)
((--a+b)>--b)
((-a>---a)/a)
((-a>---a)/b)
((-a>---b)/b)
((-a>--a)/-a)
((-a>--b)/-a)
((-a>--b)/-b)
((-a>-a)/--a)
((-a>-a)/--b)
((-a>-b)/--b)
((-a>a)/---a)
((-a>b)/---a)
((-a>b)/---b)
((-a=---a)/a)
((-a=---a)/b)
((-a=--a)>-a)
((-a=--a)>-b)
((-a=-a)/--a)
((-a=-a)/--b)
((-a=a)>---a)
((-a=a)>---b)
((-a/---a)/a)
((-a/---b)/a)
((-a/---b)/b)
((-a/--a)/-a)
((-a/--a)/-b)
((-a/--b)/-b)
((-a/-a)/--a)
((-a/-b)/--a)
((-a/-b)/--b)
((-a/a)/---a)
((-a/a)/---b)
((-a/b)/---b)
((-a+---a)/a)
((-a+--a)>-a)
((-a+--a)>-b)
((-a+--b)>-a)
((-a+-a)/--a)
((-a+a)>---a)
((-a+a)>---b)
((-a+b)>---a)
((a>(a>a))/a)
((a>(a>a))/b)
((a>(a>b))/a)
((a>(a=a))/a)
((a>(a=a))/b)
((a>(a=b))/a)
((a>(a/a))/a)
((a>(a/a))/b)
((a>(a/b))/a)
((a>(a/b))/b)
((a>(a+a))/a)
((a>(a+a))/b)
((a>(a+b))/a)
((a>(b>a))/a)
((a>(b>a))/b)
((a>(b>a))/c)
((a>(b>b))/a)
((a>(b>b))/b)
((a>(b=a))/a)
((a>(b=b))/a)
((a>(b=b))/b)
((a>(b/a))/a)
((a>(b/a))/b)
((a>(b/a))/c)
((a>(b/b))/a)
((a>(b+a))/a)
((a>(b+b))/a)
((a>----a)/a)
((a>----a)/b)
((a>----b)/a)
((a>---a)>-a)
((a>---a)=-a)
((a>--a)/--a)
((a>--a)/--b)
((a>--b)/--a)
((a>-a)>---a)
((a>-a)=---a)
((a>a)>(a>a))
((a>a)>(a=a))
((a>a)>(b>b))
((a>a)>(b=b))
((a>a)=(a>a))
((a>a)=(a=a))
((a>a)=(b>b))
((a>a)=(b=b))
((a>a)/(a>a))
((a>a)/(a>b))
((a>a)/(a=a))
((a>a)/(a=b))
((a>a)/(a/a))
((a>a)/(a/b))
((a>a)/(a+a))
((a>a)/(a+b))
((a>a)/(b>a))
((a>a)/(b>b))
((a>a)/(b=a))
((a>a)/(b=b))
((a>a)/(b/a))
((a>a)/(b/b))
((a>a)/(b+a))
((a>a)/(b+b))
((a>a)/----a)
((a>a)/----b)
((a>a)+(a>a))
((a>a)+(a=a))
((a>a)+(b>b))
((a>a)+(b=b))
((a>b)>(a>a))
((a>b)>(a>b))
((a>b)>(a=a))
((a>b)>(b>b))
((a>b)>(b=b))
((a>b)=(a>b))
((a>b)/(a>a))
((a>b)/(a=a))
((a>b)/(a/a))
((a>b)/(a/b))
((a>b)/(a/c))
((a>b)/(a+a))
((a>b)/(b>a))
((a>b)/(b>b))
((a>b)/(b=b))
((a>b)/(b/a))
((a>b)/----a)
((a=(a>a))>a)
((a=(a>a))=a)
((a=(a>b))>a)
((a=(a>b))>b)
((a=(a=a))>a)
((a=(a=a))=a)
((a=(a=b))>b)
((a=(a=b))=b)
((a=(a/a))/a)
((a=(a/a))/b)
((a=(a/b))/b)
((a=(a+a))/a)
((a=(a+a))/b)
((a=(a+b))/a)
((a=(b>b))>a)
((a=(b>b))=a)
((a=(b=a))>b)
((a=(b=a))=b)
((a=(b=b))>a)
((a=(b=b))=a)
((a=(b/a))/b)
((a=(b+a))/a)
((a=----a)/a)
((a=----a)/b)
((a=---a)>-a)
((a=---a)>-b)
((a=--a)/--a)
((a=--a)/--b)
((a=-a)>---a)
((a=-a)>---b)
((a=a)>(a>a))
((a=a)>(a=a))
((a=a)>(b>b))
((a=a)>(b=b))
((a=a)=(a>a))
((a=a)=(a=a))
((a=a)=(b>b))
((a=a)=(b=b))
((a=a)/(a>a))
((a=a)/(a>b))
((a=a)/(a=a))
((a=a)/(a=b))
((a=a)/(a/a))
((a=a)/(a/b))
((a=a)/(a+a))
((a=a)/(a+b))
((a=a)/(b>a))
((a=a)/(b>b))
((a=a)/(b=a))
((a=a)/(b=b))
((a=a)/(b/a))
((a=a)/(b/b))
((a=a)/(b+a))
((a=a)/(b+b))
((a=a)/----a)
((a=a)/----b)
((a=a)+(a>a))
((a=a)+(a=a))
((a=a)+(b>b))
((a=a)+(b=b))
((a=b)>(a>a))
((a=b)>(a>b))
((a=b)>(a=a))
((a=b)>(a=b))
((a=b)>(b>a))
((a=b)>(b>b))
((a=b)>(b=a))
((a=b)>(b=b))
((a=b)=(a=b))
((a=b)=(b=a))
((a=b)/(a>a))
((a=b)/(a=a))
((a=b)/(a/b))
((a=b)/(b>b))
((a=b)/(b=b))
((a=b)/(b/a))
((a/(a>a))/a)
((a/(a>a))/b)
((a/(a>b))/a)
((a/(a>b))/b)
((a/(a=a))/a)
((a/(a=a))/b)
((a/(a=b))/b)
((a/(a/a))>a)
((a/(a/a))=a)
((a/(a+a))>a)
((a/(a+a))=a)
((a/(a+b))>a)
((a/(a+b))=a)
((a/(b>a))/b)
((a/(b>b))/a)
((a/(b>b))/b)
((a/(b=a))/b)
((a/(b=b))/a)
((a/(b=b))/b)
((a/(b+a))>a)
((a/(b+a))=a)
((a/----a)>a)
((a/----a)=a)
((a/---a)/-a)
((a/---a)/-b)
((a/---b)/-a)
((a/--a)>--a)
((a/--a)=--a)
((a/-a)/---a)
((a/-a)/---b)
((a/-b)/---a)
((a/a)>(a>a))
((a/a)>(a=a))
((a/a)>(a/a))
((a/a)>(a/b))
((a/a)>(a+a))
((a/a)>(b>a))
((a/a)>(b>b))
((a/a)>(b=b))
((a/a)>(b/a))
((a/a)>----a)
((a/a)=(a/a))
((a/a)=(a+a))
((a/a)=----a)
((a/a)/(a>a))
((a/a)/(a>b))
((a/a)/(a=a))
((a/a)/(b>b))
((a/a)/(b=b))
((a/b)>(a>a))
((a/b)>(a=a))
((a/b)>(a/b))
((a/b)>(b>b))
((a/b)>(b=b))
((a/b)>(b/a))
((a/b)=(a/b))
((a/b)=(b/a))
((a/b)/(a>a))
((a/b)/(a>b))
((a/b)/(a>c))
((a/b)/(a=a))
((a/b)/(a=b))
((a/b)/(b>a))
((a/b)/(b>b))
((a/b)/(b=a))
((a/b)/(b=b))
((a+(a>a))>a)
((a+(a>a))=a)
((a+(a>b))>a)
((a+(a>b))>b)
((a+(a=a))>a)
((a+(a=a))=a)
((a+(a=b))>a)
((a+(a=b))>b)
((a+(a/a))>a)
((a+(a/a))=a)
((a+(a/b))>a)
((a+(a/b))=a)
((a+(a+a))>a)
((a+(a+a))=a)
((a+(a+b))>a)
((a+(a+b))>b)
((a+(b>a))>a)
((a+(b>a))=a)
((a+(b>b))>a)
((a+(b>b))=a)
((a+(b=a))>a)
((a+(b=a))>b)
((a+(b=b))>a)
((a+(b=b))=a)
((a+(b/a))>a)
((a+(b/a))=a)
((a+(b/b))>a)
((a+(b/b))>b)
((a+(b+a))>a)
((a+(b+a))>b)
((a+(b+b))>a)
((a+(b+b))>b)
((a+----a)>a)
((a+----a)=a)
((a+----b)>a)
((a+----b)>b)
((a+---a)>-a)
((a+---a)>-b)
((a+---b)>-b)
((a+--a)>--a)
((a+--a)=--a)
((a+--b)>--a)
((a+--b)>--b)
((a+-a)>---a)
((a+-a)>---b)
((a+-b)>---b)
((a+a)>(a>a))
((a+a)>(a=a))
((a+a)>(a/a))
((a+a)>(a/b))
((a+a)>(a+a))
((a+a)>(b>a))
((a+a)>(b>b))
((a+a)>(b=b))
((a+a)>(b/a))
((a+a)>----a)
((a+a)=(a/a))
((a+a)=(a+a))
((a+a)=----a)
((a+a)/(a>a))
((a+a)/(a>b))
((a+a)/(a=a))
((a+a)/(b>b))
((a+a)/(b=b))
((a+b)>(a>a))
((a+b)>(a>b))
((a+b)>(a=a))
((a+b)>(a=b))
((a+b)>(a/a))
((a+b)>(a/b))
((a+b)>(a/c))
((a+b)>(a+a))
((a+b)>(a+b))
((a+b)>(b>a))
((a+b)>(b>b))
((a+b)>(b=a))
((a+b)>(b=b))
((a+b)>(b/a))
((a+b)>(b/b))
((a+b)>(b+a))
((a+b)>(b+b))
((a+b)>----a)
((a+b)>----b)
((a+b)=(a+b))
((a+b)=(b+a))
((a+b)/(a>a))
((a+b)/(a=a))
((a+b)/(b>b))
((a+b)/(b=b))
(-(---a>a)/a)
(-(---a=a)/a)
(-(---a=a)/b)
(-(---a/a)>a)
(-(---a/a)>b)
(-(---a/b)>a)
(-(---a+a)/a)
(-(---a+a)/b)
(-(---a+b)/b)
(-(--a>-a)>a)
(-(--a>-a)=a)
(-(--a>-b)>a)
(-(--a>-b)>b)
(-(--a>a)>-a)
(-(--a>a)>-b)
(-(--a>b)>-b)
(-(--a=-a)/a)
(-(--a=-a)/b)
(-(--a=a)>-a)
(-(--a=a)>-b)
(-(--a/-a)>a)
(-(--a/-a)>b)
(-(--a/-b)>b)
(-(--a/a)>-a)
(-(--a/a)=-a)
(-(--a/b)>-a)
(-(--a/b)>-b)
(-(--a+-a)/a)
(-(--a+-a)/b)
(-(--a+-b)/a)
(-(--a+a)>-a)
(-(--a+a)=-a)
(-(-a>--a)/a)
(-(-a>-a)>-a)
(-(-a>-a)>-b)
(-(-a>-b)>-a)
(-(-a>a)/--a)
(-(-a=--a)/a)
(-(-a=--a)/b)
(-(-a=-a)>-a)
(-(-a=-a)>-b)
(-(-a=a)/--a)
(-(-a=a)/--b)
(-(-a/--a)>a)
(-(-a/--a)>b)
(-(-a/--b)>a)
(-(-a/-a)/-a)
(-(-a/a)>--a)
(-(-a/a)>--b)
(-(-a/b)>--a)
(-(-a+--a)/a)
(-(-a+--a)/b)
(-(-a+--b)/b)
(-(-a+-a)/-a)
(-(-a+-b)/-a)
(-(-a+-b)/-b)
(-(-a+a)/--a)
(-(-a+a)/--b)
(-(-a+b)/--b)
(-(a>---a)>a)
(-(a>---a)=a)
(-(a>---b)>a)
(-(a>---b)>b)
(-(a>--a)>-a)
(-(a>--a)>-b)
(-(a>--b)>-b)
(-(a>-a)>--a)
(-(a>-a)=--a)
(-(a>-b)>--a)
(-(a>-b)>--b)
(-(a>a)>---a)
(-(a>a)>---b)
(-(a>b)>---b)
(-(a=---a)/a)
(-(a=---a)/b)
(-(a=--a)>-a)
(-(a=--a)>-b)
(-(a=-a)/--a)
(-(a=-a)/--b)
(-(a=a)>---a)
(-(a=a)>---b)
(-(a/---a)>a)
(-(a/---a)>b)
(-(a/---b)>b)
(-(a/--a)>-a)
(-(a/--a)=-a)
(-(a/--b)>-a)
(-(a/--b)>-b)
(-(a/-a)>--a)
(-(a/-a)>--b)
(-(a/-b)>--b)
(-(a/a)>---a)
(-(a/a)=---a)
(-(a/b)>---a)
(-(a/b)>---b)
(-(a+---a)/a)
(-(a+---a)/b)
(-(a+---b)/a)
(-(a+--a)>-a)
(-(a+--a)=-a)
(-(a+-a)/--a)
(-(a+-a)/--b)
(-(a+-b)/--a)
(-(a+a)>---a)
(-(a+a)=---a)
(--(--a>a)/a)
(--(--a>a)/b)
(--(--a>b)/a)
(--(--a=a)/a)
(--(--a=a)/b)
(--(--a/a)>a)
(--(--a/a)=a)
(--(--a+a)>a)
(--(--a+a)=a)
(--(--a+b)>a)
(--(--a+b)>b)
(--(-a>-a)/a)
(--(-a>-a)/b)
(--(-a>-b)/b)
(--(-a>a)/-a)
(--(-a>b)/-a)
(--(-a>b)/-b)
(--(-a=-a)/a)
(--(-a=-a)/b)
(--(-a=a)>-a)
(--(-a=a)>-b)
(--(-a/-a)/a)
(--(-a/-b)/a)
(--(-a/-b)/b)
(--(-a/a)/-a)
(--(-a/a)/-b)
(--(-a/b)/-b)
(--(-a+-a)/a)
(--(-a+a)>-a)
(--(-a+a)>-b)
(--(-a+b)>-a)
(--(a>--a)/a)
(--(a>--a)/b)
(--(a>--b)/a)
(--(a>-a)>-a)
(--(a>-a)=-a)
(--(a>a)/--a)
(--(a>a)/--b)
(--(a>b)/--a)
(--(a=--a)/a)
(--(a=--a)/b)
(--(a=-a)>-a)
(--(a=-a)>-b)
(--(a=a)/--a)
(--(a=a)/--b)
(--(a/--a)>a)
(--(a/--a)=a)
(--(a/-a)/-a)
(--(a/-a)/-b)
(--(a/-b)/-a)
(--(a/a)>--a)
(--(a/a)=--a)
(--(a+--a)>a)
(--(a+--a)=a)
(--(a+--b)>a)
(--(a+--b)>b)
(--(a+-a)>-a)
(--(a+-a)>-b)
(--(a+-b)>-b)
(--(a+a)>--a)
(--(a+a)=--a)
(--(a+b)>--a)
(--(a+b)>--b)
(---(-a>a)/a)
(---(-a=a)/a)
(---(-a=a)/b)
(---(-a/a)>a)
(---(-a/a)>b)
(---(-a/b)>a)
(---(-a+a)/a)
(---(-a+a)/b)
(---(-a+b)/b)
(---(a>-a)>a)
(---(a>-a)=a)
(---(a>-b)>a)
(---(a>-b)>b)
(---(a>a)>-a)
(---(a>a)>-b)
(---(a>b)>-b)
(---(a=-a)/a)
(---(a=-a)/b)
(---(a=a)>-a)
(---(a=a)>-b)
(---(a/-a)>a)
(---(a/-a)>b)
(---(a/-b)>b)
(---(a/a)>-a)
(---(a/a)=-a)
(---(a/b)>-a)
(---(a/b)>-b)
(---(a+-a)/a)
(---(a+-a)/b)
(---(a+-b)/a)
(---(a+a)>-a)
(---(a+a)=-a)
(----(a>a)/a)
(----(a>a)/b)
(----(a>b)/a)
(----(a=a)/a)
(----(a=a)/b)
(----(a/a)>a)
(----(a/a)=a)
(----(a+a)>a)
(----(a+a)=a)
(----(a+b)>a)
(----(a+b)>b)
(--------a>a)
(--------a=a)
(-------a>-a)
(-------a=-a)
(------a>--a)
(------a=--a)
(-----a>---a)
(-----a=---a)
(----a>(a>a))
(----a>(a=a))
(----a>(a/a))
(----a>(a/b))
(----a>(a+a))
(----a>(b>a))
(----a>(b>b))
(----a>(b=b))
(----a>(b/a))
(----a>----a)
(----a=(a/a))
(----a=(a+a))
(----a=----a)
(----a/(a>a))
(----a/(a>b))
(----a/(a=a))
(----a/(b>b))
(----a/(b=b))
(---a>(-a/a))
(---a>(-a/b))
(---a>(-b/b))
(---a>(a>-a))
(---a>(a>-b))
(---a>(a/-a))
(---a>(b>-a))
(---a>(b/-a))
(---a>(b/-b))
(---a>-(a/a))
(---a>-(a+a))
(---a>-(a+b))
(---a>-(b+a))
(---a>-----a)
(---a=(a>-a))
(---a=-(a/a))
(---a=-(a+a))
(---a=-----a)
(---a/(-a>a))
(---a/(-a>b))
(---a/(-a/a))
(---a/(-b>a))
(---a/(-b/a))
(---a/(-b/b))
(---a/(a/-a))
(---a/(a/-b))
(---a/(b/-b))
(--a>(--a>a))
(--a>(--a=a))
(--a>(--a/a))
(--a>(--a/b))
(--a>(--a+a))
(--a>(--b>a))
(--a>(--b>b))
(--a>(--b=b))
(--a>(--b/a))
(--a>(-a>-a))
(--a>(-a>-b))
(--a>(-a=-a))
(--a>(-b>-b))
(--a>(-b=-b))
(--a>(a>--a))
(--a>(a=--a))
(--a>(a/--a))
(--a>(a/--b))
(--a>(a+--a))
(--a>(b>--a))
(--a>(b>--b))
(--a>(b=--b))
(--a>(b/--a))
(--a>-(-a=a))
(--a>-(-a+a))
(--a>-(-a+b))
(--a>-(-b=b))
(--a>-(-b+b))
(--a>-(a>-a))
(--a>-(a=-a))
(--a>-(a+-a))
(--a>-(b=-b))
(--a>-(b+-a))
(--a>-(b+-b))
(--a>--(a>a))
(--a>--(a=a))
(--a>--(a/a))
(--a>--(a/b))
(--a>--(a+a))
(--a>--(b>a))
(--a>--(b>b))
(--a>--(b=b))
(--a>--(b/a))
(--a>------a)
(--a=(--a/a))
(--a=(--a+a))
(--a=(a/--a))
(--a=(a+--a))
(--a=-(a>-a))
(--a=--(a/a))
(--a=--(a+a))
(--a=------a)
(--a/(--a>a))
(--a/(--a>b))
(--a/(--a=a))
(--a/(--b>b))
(--a/(--b=b))
(--a/(-a>-a))
(--a/(-a=-a))
(--a/(-a/-a))
(--a/(-a/-b))
(--a/(-a+-a))
(--a/(-b>-a))
(--a/(-b>-b))
(--a/(-b=-b))
(--a/(-b/-a))
(--a/(a>--a))
(--a/(a>--b))
(--a/(a=--a))
(--a/(b>--b))
(--a/(b=--b))
(--a/-(-a>a))
(--a/-(-a=a))
(--a/-(-a+a))
(--a/-(-b=b))
(--a/-(-b+a))
(--a/-(-b+b))
(--a/-(a=-a))
(--a/-(a+-a))
(--a/-(a+-b))
(--a/-(b=-b))
(--a/-(b+-b))
(--a/--(a>a))
(--a/--(a>b))
(--a/--(a=a))
(--a/--(b>b))
(--a/--(b=b))
(-a>(---a/a))
(-a>(---a/b))
(-a>(---b/b))
(-a>(--a>-a))
(-a>(--a>-b))
(-a>(--a/-a))
(-a>(--b>-a))
(-a>(--b/-a))
(-a>(--b/-b))
(-a>(-a/--a))
(-a>(-a/--b))
(-a>(-b/--b))
(-a>(a>---a))
(-a>(a>---b))
(-a>(a/---a))
(-a>(b>---a))
(-a>(b/---a))
(-a>(b/---b))
(-a>-(--a/a))
(-a>-(--a+a))
(-a>-(--a+b))
(-a>-(--b+a))
(-a>-(a/--a))
(-a>-(a+--a))
(-a>-(a+--b))
(-a>-(b+--a))
(-a>--(-a/a))
(-a>--(-a/b))
(-a>--(-b/b))
(-a>--(a>-a))
(-a>--(a>-b))
(-a>--(a/-a))
(-a>--(b>-a))
(-a>--(b/-a))
(-a>--(b/-b))
(-a>---(a/a))
(-a>---(a+a))
(-a>---(a+b))
(-a>---(b+a))
(-a>-------a)
(-a=(--a>-a))
(-a=(a>---a))
(-a=-(--a/a))
(-a=-(--a+a))
(-a=-(a/--a))
(-a=-(a+--a))
(-a=--(a>-a))
(-a=---(a/a))
(-a=---(a+a))
(-a=-------a)
(-a/(---a>a))
(-a/(---a>b))
(-a/(---a/a))
(-a/(---b>a))
(-a/(---b/a))
(-a/(---b/b))
(-a/(--a/-a))
(-a/(--a/-b))
(-a/(--b/-b))
(-a/(-a>--a))
(-a/(-a>--b))
(-a/(-a/--a))
(-a/(-b>--a))
(-a/(-b/--a))
(-a/(-b/--b))
(-a/(a/---a))
(-a/(a/---b))
(-a/(b/---b))
(-a/-(-a/-a))
(-a/-(-a+-a))
(-a/-(-a+-b))
(-a/-(-b+-a))
(-a/--(-a>a))
(-a/--(-a>b))
(-a/--(-a/a))
(-a/--(-b>a))
(-a/--(-b/a))
(-a/--(-b/b))
(-a/--(a/-a))
(-a/--(a/-b))
(-a/--(b/-b))
(a>((a>a)>a))
(a>((a>a)=a))
(a>((a>a)/a))
(a>((a>a)/b))
(a>((a>a)+a))
(a>((a>b)>a))
(a>((a>b)>b))
(a>((a>b)=b))
(a>((a>b)/a))
(a>((a=a)>a))
(a>((a=a)=a))
(a>((a=a)/a))
(a>((a=a)/b))
(a>((a=a)+a))
(a>((a=b)>a))
(a>((a=b)>b))
(a>((a=b)=b))
(a>((a=b)/a))
(a>((a/a)>a))
(a>((a/a)=a))
(a>((a/a)/a))
(a>((a/a)/b))
(a>((a/a)+a))
(a>((a/b)>a))
(a>((a/b)=a))
(a>((a/b)/a))
(a>((a/b)/b))
(a>((a/b)+a))
(a>((a+a)>a))
(a>((a+a)=a))
(a>((a+a)/a))
(a>((a+a)/b))
(a>((a+a)+a))
(a>((a+b)>a))
(a>((a+b)>b))
(a>((a+b)=b))
(a>((a+b)/a))
(a>((b>a)>a))
(a>((b>a)=a))
(a>((b>a)/a))
(a>((b>a)/b))
(a>((b>a)/c))
(a>((b>a)+a))
(a>((b>b)>a))
(a>((b>b)=a))
(a>((b>b)/a))
(a>((b>b)/b))
(a>((b>b)+a))
(a>((b=a)>a))
(a>((b=a)>b))
(a>((b=a)=b))
(a>((b=a)/a))
(a>((b=b)>a))
(a>((b=b)=a))
(a>((b=b)/a))
(a>((b=b)/b))
(a>((b=b)+a))
(a>((b/a)>a))
(a>((b/a)=a))
(a>((b/a)/a))
(a>((b/a)/b))
(a>((b/a)/c))
(a>((b/a)+a))
(a>((b/b)>a))
(a>((b/b)>b))
(a>((b/b)=b))
(a>((b/b)/a))
(a>((b+a)>a))
(a>((b+a)>b))
(a>((b+a)=b))
(a>((b+a)/a))
(a>((b+b)>a))
(a>((b+b)>b))
(a>((b+b)=b))
(a>((b+b)/a))
(a>(----a>a))
(a>(----a=a))
(a>(----a/a))
(a>(----a/b))
(a>(----a+a))
(a>(----b>a))
(a>(----b>b))
(a>(----b=b))
(a>(----b/a))
(a>(---a>-a))
(a>(---a>-b))
(a>(---a=-a))
(a>(---b>-b))
(a>(---b=-b))
(a>(--a>--a))
(a>(--a=--a))
(a>(--a/--a))
(a>(--a/--b))
(a>(--a+--a))
(a>(--b>--a))
(a>(--b>--b))
(a>(--b=--b))
(a>(--b/--a))
(a>(-a>---a))
(a>(-a>---b))
(a>(-a=---a))
(a>(-b>---b))
(a>(-b=---b))
(a>(a>(a>a)))
(a>(a>(a=a)))
(a>(a>(a/a)))
(a>(a>(a/b)))
(a>(a>(a+a)))
(a>(a>(b>a)))
(a>(a>(b>b)))
(a>(a>(b=b)))
(a>(a>(b/a)))
(a>(a>----a))
(a>(a=(a>a)))
(a>(a=(a=a)))
(a>(a=(a/a)))
(a>(a=(a/b)))
(a>(a=(a+a)))
(a>(a=(b>a)))
(a>(a=(b>b)))
(a>(a=(b=b)))
(a>(a=(b/a)))
(a>(a=----a))
(a>(a/(a>a)))
(a>(a/(a>b)))
(a>(a/(a=a)))
(a>(a/(a=b)))
(a>(a/(a/a)))
(a>(a/(a/b)))
(a>(a/(a+a)))
(a>(a/(a+b)))
(a>(a/(b>a)))
(a>(a/(b>b)))
(a>(a/(b=a)))
(a>(a/(b=b)))
(a>(a/(b/a)))
(a>(a/(b/b)))
(a>(a/(b+a)))
(a>(a/(b+b)))
(a>(a/----a))
(a>(a/----b))
(a>(a+(a>a)))
(a>(a+(a=a)))
(a>(a+(a/a)))
(a>(a+(a/b)))
(a>(a+(a+a)))
(a>(a+(b>a)))
(a>(a+(b>b)))
(a>(a+(b=b)))
(a>(a+(b/a)))
(a>(a+----a))
(a>(b>(a>a)))
(a>(b>(a>b)))
(a>(b>(a=a)))
(a>(b>(a=b)))
(a>(b>(a/a)))
(a>(b>(a/b)))
(a>(b>(a/c)))
(a>(b>(a+a)))
(a>(b>(a+b)))
(a>(b>(b>a)))
(a>(b>(b>b)))
(a>(b>(b=a)))
(a>(b>(b=b)))
(a>(b>(b/a)))
(a>(b>(b/b)))
(a>(b>(b+a)))
(a>(b>(b+b)))
(a>(b>----a))
(a>(b>----b))
(a>(b=(a>b)))
(a>(b=(a=b)))
(a>(b=(a+b)))
(a>(b=(b=a)))
(a>(b=(b/b)))
(a>(b=(b+a)))
(a>(b=(b+b)))
(a>(b=----b))
(a>(b/(a>a)))
(a>(b/(a=a)))
(a>(b/(a/a)))
(a>(b/(a/b)))
(a>(b/(a/c)))
(a>(b/(a+a)))
(a>(b/(b>a)))
(a>(b/(b>b)))
(a>(b/(b=b)))
(a>(b/(b/a)))
(a>(b/----a))
(a>-(---a=a))
(a>-(---a+a))
(a>-(---a+b))
(a>-(---b=b))
(a>-(---b+b))
(a>-(--a>-a))
(a>-(--a=-a))
(a>-(--a+-a))
(a>-(--b=-b))
(a>-(--b+-a))
(a>-(--b+-b))
(a>-(-a=--a))
(a>-(-a+--a))
(a>-(-a+--b))
(a>-(-b=--b))
(a>-(-b+--b))
(a>-(a>---a))
(a>-(a=---a))
(a>-(a+---a))
(a>-(b=---b))
(a>-(b+---a))
(a>-(b+---b))
(a>--(--a>a))
(a>--(--a=a))
(a>--(--a/a))
(a>--(--a/b))
(a>--(--a+a))
(a>--(--b>a))
(a>--(--b>b))
(a>--(--b=b))
(a>--(--b/a))
(a>--(-a>-a))
(a>--(-a>-b))
(a>--(-a=-a))
(a>--(-b>-b))
(a>--(-b=-b))
(a>--(a>--a))
(a>--(a=--a))
(a>--(a/--a))
(a>--(a/--b))
(a>--(a+--a))
(a>--(b>--a))
(a>--(b>--b))
(a>--(b=--b))
(a>--(b/--a))
(a>---(-a=a))
(a>---(-a+a))
(a>---(-a+b))
(a>---(-b=b))
(a>---(-b+b))
(a>---(a>-a))
(a>---(a=-a))
(a>---(a+-a))
(a>---(b=-b))
(a>---(b+-a))
(a>---(b+-b))
(a>----(a>a))
(a>----(a=a))
(a>----(a/a))
(a>----(a/b))
(a>----(a+a))
(a>----(b>a))
(a>----(b>b))
(a>----(b=b))
(a>----(b/a))
(a>--------a)
(a=((a>a)>a))
(a=((a>a)=a))
(a=((a>a)+a))
(a=((a>b)>a))
(a=((a=a)>a))
(a=((a=a)=a))
(a=((a=a)+a))
(a=((a=b)=b))
(a=((a/a)/a))
(a=((a/a)+a))
(a=((a/b)+a))
(a=((a+a)/a))
(a=((a+a)+a))
(a=((a+b)/a))
(a=((b>a)+a))
(a=((b>b)>a))
(a=((b>b)=a))
(a=((b>b)+a))
(a=((b=a)=b))
(a=((b=b)>a))
(a=((b=b)=a))
(a=((b=b)+a))
(a=((b/a)+a))
(a=((b+a)/a))
(a=(----a/a))
(a=(----a+a))
(a=(--a/--a))
(a=(--a+--a))
(a=(a=(a>a)))
(a=(a=(a=a)))
(a=(a=(b>b)))
(a=(a=(b=b)))
(a=(a/(a/a)))
(a=(a/(a+a)))
(a=(a/(a+b)))
(a=(a/(b+a)))
(a=(a/----a))
(a=(a+(a>a)))
(a=(a+(a=a)))
(a=(a+(a/a)))
(a=(a+(a/b)))
(a=(a+(a+a)))
(a=(a+(b>a)))
(a=(a+(b>b)))
(a=(a+(b=b)))
(a=(a+(b/a)))
(a=(a+----a))
(a=(b=(a=b)))
(a=(b=(b=a)))
(a=-(--a>-a))
(a=-(a>---a))
(a=--(--a/a))
(a=--(--a+a))
(a=--(a/--a))
(a=--(a+--a))
(a=---(a>-a))
(a=----(a/a))
(a=----(a+a))
(a=--------a)
(a/((a>a)/a))
(a/((a>a)/b))
(a/((a>b)/a))
(a/((a>b)/b))
(a/((a=a)/a))
(a/((a=a)/b))
(a/((a=b)/b))
(a/((a/a)>a))
(a/((a/a)>b))
(a/((a/a)=a))
(a/((a/b)>b))
(a/((a/b)=b))
(a/((a+a)>a))
(a/((a+a)>b))
(a/((a+a)=a))
(a/((a+b)>a))
(a/((a+b)>b))
(a/((a+b)=a))
(a/((b>a)/b))
(a/((b>b)/a))
(a/((b>b)/b))
(a/((b=a)/b))
(a/((b=b)/a))
(a/((b=b)/b))
(a/((b/a)>b))
(a/((b/a)=b))
(a/((b/b)>b))
(a/((b/b)=b))
(a/((b+a)>a))
(a/((b+a)>b))
(a/((b+a)>c))
(a/((b+a)=a))
(a/((b+b)>b))
(a/((b+b)=b))
(a/(----a>a))
(a/(----a>b))
(a/(----a=a))
(a/(----b>b))
(a/(----b=b))
(a/(---a>-a))
(a/(---a=-a))
(a/(---a/-a))
(a/(---a/-b))
(a/(---a+-a))
(a/(---b>-a))
(a/(---b>-b))
(a/(---b=-b))
(a/(---b/-a))
(a/(--a>--a))
(a/(--a>--b))
(a/(--a=--a))
(a/(--b>--b))
(a/(--b=--b))
(a/(-a>---a))
(a/(-a=---a))
(a/(-a/---a))
(a/(-a/---b))
(a/(-a+---a))
(a/(-b>---a))
(a/(-b>---b))
(a/(-b=---b))
(a/(-b/---a))
(a/(a>(a>a)))
(a/(a>(a>b)))
(a/(a>(a=a)))
(a/(a>(a=b)))
(a/(a>(a/a)))
(a/(a>(a/b)))
(a/(a>(a+a)))
(a/(a>(a+b)))
(a/(a>(b>a)))
(a/(a>(b>b)))
(a/(a>(b=a)))
(a/(a>(b=b)))
(a/(a>(b/a)))
(a/(a>(b/b)))
(a/(a>(b+a)))
(a/(a>(b+b)))
(a/(a>----a))
(a/(a>----b))
(a/(a=(a/a)))
(a/(a=(a+a)))
(a/(a=(a+b)))
(a/(a=(b+a)))
(a/(a=----a))
(a/(a/(a>a)))
(a/(a/(a>b)))
(a/(a/(a=a)))
(a/(a/(b>b)))
(a/(a/(b=b)))
(a/(b>(a>a)))
(a/(b>(a>b)))
(a/(b>(a>c)))
(a/(b>(a=a)))
(a/(b>(a/b)))
(a/(b>(b>b)))
(a/(b>(b=b)))
(a/(b>(b/a)))
(a/(b>(b/b)))
(a/(b>(b+b)))
(a/(b>----b))
(a/(b=(a/b)))
(a/(b=(b/a)))
(a/(b=(b/b)))
(a/(b=(b+b)))
(a/(b=----b))
(a/(b/(a>a)))
(a/(b/(a>b)))
(a/(b/(a>c)))
(a/(b/(a=a)))
(a/(b/(a=b)))
(a/(b/(b>a)))
(a/(b/(b>b)))
(a/(b/(b=a)))
(a/(b/(b=b)))
(a/-(---a>a))
(a/-(---a=a))
(a/-(---a+a))
(a/-(---b=b))
(a/-(---b+a))
(a/-(---b+b))
(a/-(--a=-a))
(a/-(--a+-a))
(a/-(--a+-b))
(a/-(--b=-b))
(a/-(--b+-b))
(a/-(-a>--a))
(a/-(-a=--a))
(a/-(-a+--a))
(a/-(-b=--b))
(a/-(-b+--a))
(a/-(-b+--b))
(a/-(a=---a))
(a/-(a+---a))
(a/-(a+---b))
(a/-(b=---b))
(a/-(b+---b))
(a/--(--a>a))
(a/--(--a>b))
(a/--(--a=a))
(a/--(--b>b))
(a/--(--b=b))
(a/--(-a>-a))
(a/--(-a=-a))
(a/--(-a/-a))
(a/--(-a/-b))
(a/--(-a+-a))
(a/--(-b>-a))
(a/--(-b>-b))
(a/--(-b=-b))
(a/--(-b/-a))
(a/--(a>--a))
(a/--(a>--b))
(a/--(a=--a))
(a/--(b>--b))
(a/--(b=--b))
(a/---(-a>a))
(a/---(-a=a))
(a/---(-a+a))
(a/---(-b=b))
(a/---(-b+a))
(a/---(-b+b))
(a/---(a=-a))
(a/---(a+-a))
(a/---(a+-b))
(a/---(b=-b))
(a/---(b+-b))
(a/----(a>a))
(a/----(a>b))
(a/----(a=a))
(a/----(b>b))
(a/----(b=b))
-((---a=a)+a)
-((---a=a)+b)
-((---a+a)+a)
-((---a+a)+b)
-((---a+b)+a)
-((--a>-a)=a)
-((--a>-a)+a)
-((--a=-a)+a)
-((--a=-a)+b)
-((--a/a)=-a)
-((--a/a)+-a)
-((--a+-a)+a)
-((--a+-a)+b)
-((--a+-b)+b)
-((--a+a)=-a)
-((--a+a)+-a)
-((--a+b)+-a)
-((--a+b)+-b)
-((-a=--a)+a)
-((-a=--a)+b)
-((-a=a)+--a)
-((-a=a)+--b)
-((-a+--a)+a)
-((-a+--a)+b)
-((-a+--b)+a)
-((-a+a)+--a)
-((-a+a)+--b)
-((-a+b)+--a)
-((a>---a)=a)
-((a>---a)+a)
-((a>-a)=--a)
-((a>-a)+--a)
-((a=---a)+a)
-((a=---a)+b)
-((a=-a)+--a)
-((a=-a)+--b)
-((a/--a)=-a)
-((a/--a)+-a)
-((a/a)=---a)
-((a/a)+---a)
-((a+---a)+a)
-((a+---a)+b)
-((a+---b)+b)
-((a+--a)=-a)
-((a+--a)+-a)
-((a+--b)+-a)
-((a+--b)+-b)
-((a+-a)+--a)
-((a+-a)+--b)
-((a+-b)+--b)
-((a+a)=---a)
-((a+a)+---a)
-((a+b)+---a)
-((a+b)+---b)
-(-(--a>a)+a)
-(-(--a>a)+b)
-(-(--a>b)+b)
-(-(--a=a)+a)
-(-(--a=a)+b)
-(-(--a/a)=a)
-(-(--a/a)+a)
-(-(--a/b)+a)
-(-(--a/b)+b)
-(-(--a+a)=a)
-(-(--a+a)+a)
-(-(-a>-a)+a)
-(-(-a>-a)+b)
-(-(-a>-b)+a)
-(-(-a=-a)+a)
-(-(-a=-a)+b)
-(-(-a/a)+-a)
-(-(-a/a)+-b)
-(-(-a/b)+-a)
-(-(a>--a)+a)
-(-(a>--a)+b)
-(-(a>--b)+b)
-(-(a>-a)=-a)
-(-(a>-a)+-a)
-(-(a>-b)+-a)
-(-(a>-b)+-b)
-(-(a>a)+--a)
-(-(a>a)+--b)
-(-(a>b)+--b)
-(-(a=--a)+a)
-(-(a=--a)+b)
-(-(a=a)+--a)
-(-(a=a)+--b)
-(-(a/--a)=a)
-(-(a/--a)+a)
-(-(a/--b)+a)
-(-(a/--b)+b)
-(-(a/-a)+-a)
-(-(a/-a)+-b)
-(-(a/-b)+-b)
-(-(a/a)=--a)
-(-(a/a)+--a)
-(-(a/b)+--a)
-(-(a/b)+--b)
-(-(a+--a)=a)
-(-(a+--a)+a)
-(-(a+a)=--a)
-(-(a+a)+--a)
-(--(-a=a)+a)
-(--(-a=a)+b)
-(--(-a+a)+a)
-(--(-a+a)+b)
-(--(-a+b)+a)
-(--(a>-a)=a)
-(--(a>-a)+a)
-(--(a=-a)+a)
-(--(a=-a)+b)
-(--(a/a)=-a)
-(--(a/a)+-a)
-(--(a+-a)+a)
-(--(a+-a)+b)
-(--(a+-b)+b)
-(--(a+a)=-a)
-(--(a+a)+-a)
-(--(a+b)+-a)
-(--(a+b)+-b)
-(---(a>a)+a)
-(---(a>a)+b)
-(---(a>b)+b)
-(---(a=a)+a)
-(---(a=a)+b)
-(---(a/a)=a)
-(---(a/a)+a)
-(---(a/b)+a)
-(---(a/b)+b)
-(---(a+a)=a)
-(---(a+a)+a)
-(-------a=a)
-(-------a+a)
-(------a=-a)
-(------a+-a)
-(-----a=--a)
-(-----a+--a)
-(----a=---a)
-(----a+---a)
-(---a=(a/a))
-(---a=(a+a))
-(---a=----a)
-(---a+(a/a))
-(---a+(a+a))
-(---a+(a+b))
-(---a+(b+a))
-(---a+----a)
-(--a=(a>-a))
-(--a=-(a/a))
-(--a=-(a+a))
-(--a=-----a)
-(--a+(-a=a))
-(--a+(-a+a))
-(--a+(-a+b))
-(--a+(-b=b))
-(--a+(-b+b))
-(--a+(a>-a))
-(--a+(a=-a))
-(--a+(a+-a))
-(--a+(b=-b))
-(--a+(b+-a))
-(--a+(b+-b))
-(--a+-(a>a))
-(--a+-(a=a))
-(--a+-(a/a))
-(--a+-(a/b))
-(--a+-(a+a))
-(--a+-(b>a))
-(--a+-(b>b))
-(--a+-(b=b))
-(--a+-(b/a))
-(--a+-----a)
-(-a=(--a/a))
-(-a=(--a+a))
-(-a=(a/--a))
-(-a=(a+--a))
-(-a=-(a>-a))
-(-a=--(a/a))
-(-a=--(a+a))
-(-a=------a)
-(-a+(--a/a))
-(-a+(--a+a))
-(-a+(--a+b))
-(-a+(--b+a))
-(-a+(a/--a))
-(-a+(a+--a))
-(-a+(a+--b))
-(-a+(b+--a))
-(-a+-(-a/a))
-(-a+-(-a/b))
-(-a+-(-b/b))
-(-a+-(a>-a))
-(-a+-(a>-b))
-(-a+-(a/-a))
-(-a+-(b>-a))
-(-a+-(b/-a))
-(-a+-(b/-b))
-(-a+--(a/a))
-(-a+--(a+a))
-(-a+--(a+b))
-(-a+--(b+a))
-(-a+------a)
-(a=(--a>-a))
-(a=(a>---a))
-(a=-(--a/a))
-(a=-(--a+a))
-(a=-(a/--a))
-(a=-(a+--a))
-(a=--(a>-a))
-(a=---(a/a))
-(a=---(a+a))
-(a=-------a)
-(a+(---a=a))
-(a+(---a+a))
-(a+(---a+b))
-(a+(---b=b))
-(a+(---b+b))
-(a+(--a>-a))
-(a+(--a=-a))
-(a+(--a+-a))
-(a+(--b=-b))
-(a+(--b+-a))
-(a+(--b+-b))
-(a+(-a=--a))
-(a+(-a+--a))
-(a+(-a+--b))
-(a+(-b=--b))
-(a+(-b+--b))
-(a+(a>---a))
-(a+(a=---a))
-(a+(a+---a))
-(a+(b=---b))
-(a+(b+---a))
-(a+(b+---b))
-(a+-(--a>a))
-(a+-(--a=a))
-(a+-(--a/a))
-(a+-(--a/b))
-(a+-(--a+a))
-(a+-(--b>a))
-(a+-(--b>b))
-(a+-(--b=b))
-(a+-(--b/a))
-(a+-(-a>-a))
-(a+-(-a>-b))
-(a+-(-a=-a))
-(a+-(-b>-b))
-(a+-(-b=-b))
-(a+-(a>--a))
-(a+-(a=--a))
-(a+-(a/--a))
-(a+-(a/--b))
-(a+-(a+--a))
-(a+-(b>--a))
-(a+-(b>--b))
-(a+-(b=--b))
-(a+-(b/--a))
-(a+--(-a=a))
-(a+--(-a+a))
-(a+--(-a+b))
-(a+--(-b=b))
-(a+--(-b+b))
-(a+--(a>-a))
-(a+--(a=-a))
-(a+--(a+-a))
-(a+--(b=-b))
-(a+--(b+-a))
-(a+--(b+-b))
-(a+---(a>a))
-(a+---(a=a))
-(a+---(a/a))
-(a+---(a/b))
-(a+---(a+a))
-(a+---(b>a))
-(a+---(b>b))
-(a+---(b=b))
-(a+---(b/a))
-(a+-------a)
--((--a>a)/a)
--((--a>a)/b)
--((--a>b)/a)
--((--a=a)/a)
--((--a=a)/b)
--((--a/a)>a)
--((--a/a)=a)
--((--a+a)>a)
--((--a+a)=a)
--((--a+b)>a)
--((--a+b)>b)
--((-a>-a)/a)
--((-a>-a)/b)
--((-a>-b)/b)
--((-a>a)/-a)
--((-a>b)/-a)
--((-a>b)/-b)
--((-a=-a)/a)
--((-a=-a)/b)
--((-a=a)>-a)
--((-a=a)>-b)
--((-a/-a)/a)
--((-a/-b)/a)
--((-a/-b)/b)
--((-a/a)/-a)
--((-a/a)/-b)
--((-a/b)/-b)
--((-a+-a)/a)
--((-a+a)>-a)
--((-a+a)>-b)
--((-a+b)>-a)
--((a>--a)/a)
--((a>--a)/b)
--((a>--b)/a)
--((a>-a)>-a)
--((a>-a)=-a)
--((a>a)/--a)
--((a>a)/--b)
--((a>b)/--a)
--((a=--a)/a)
--((a=--a)/b)
--((a=-a)>-a)
--((a=-a)>-b)
--((a=a)/--a)
--((a=a)/--b)
--((a/--a)>a)
--((a/--a)=a)
--((a/-a)/-a)
--((a/-a)/-b)
--((a/-b)/-a)
--((a/a)>--a)
--((a/a)=--a)
--((a+--a)>a)
--((a+--a)=a)
--((a+--b)>a)
--((a+--b)>b)
--((a+-a)>-a)
--((a+-a)>-b)
--((a+-b)>-b)
--((a+a)>--a)
--((a+a)=--a)
--((a+b)>--a)
--((a+b)>--b)
--(-(-a>a)/a)
--(-(-a=a)/a)
--(-(-a=a)/b)
--(-(-a/a)>a)
--(-(-a/a)>b)
--(-(-a/b)>a)
--(-(-a+a)/a)
--(-(-a+a)/b)
--(-(-a+b)/b)
--(-(a>-a)>a)
--(-(a>-a)=a)
--(-(a>-b)>a)
--(-(a>-b)>b)
--(-(a>a)>-a)
--(-(a>a)>-b)
--(-(a>b)>-b)
--(-(a=-a)/a)
--(-(a=-a)/b)
--(-(a=a)>-a)
--(-(a=a)>-b)
--(-(a/-a)>a)
--(-(a/-a)>b)
--(-(a/-b)>b)
--(-(a/a)>-a)
--(-(a/a)=-a)
--(-(a/b)>-a)
--(-(a/b)>-b)
--(-(a+-a)/a)
--(-(a+-a)/b)
--(-(a+-b)/a)
--(-(a+a)>-a)
--(-(a+a)=-a)
--(--(a>a)/a)
--(--(a>a)/b)
--(--(a>b)/a)
--(--(a=a)/a)
--(--(a=a)/b)
--(--(a/a)>a)
--(--(a/a)=a)
--(--(a+a)>a)
--(--(a+a)=a)
--(--(a+b)>a)
--(--(a+b)>b)
--(------a>a)
--(------a=a)
--(-----a>-a)
--(-----a=-a)
--(----a>--a)
--(----a=--a)
--(---a>---a)
--(---a=---a)
--(--a>(a>a))
--(--a>(a=a))
--(--a>(a/a))
--(--a>(a/b))
--(--a>(a+a))
--(--a>(b>a))
--(--a>(b>b))
--(--a>(b=b))
--(--a>(b/a))
--(--a>----a)
--(--a=(a/a))
--(--a=(a+a))
--(--a=----a)
--(--a/(a>a))
--(--a/(a>b))
--(--a/(a=a))
--(--a/(b>b))
--(--a/(b=b))
--(-a>(-a/a))
--(-a>(-a/b))
--(-a>(-b/b))
--(-a>(a>-a))
--(-a>(a>-b))
--(-a>(a/-a))
--(-a>(b>-a))
--(-a>(b/-a))
--(-a>(b/-b))
--(-a>-(a/a))
--(-a>-(a+a))
--(-a>-(a+b))
--(-a>-(b+a))
--(-a>-----a)
--(-a=(a>-a))
--(-a=-(a/a))
--(-a=-(a+a))
--(-a=-----a)
--(-a/(-a>a))
--(-a/(-a>b))
--(-a/(-a/a))
--(-a/(-b>a))
--(-a/(-b/a))
--(-a/(-b/b))
--(-a/(a/-a))
--(-a/(a/-b))
--(-a/(b/-b))
--(a>(--a>a))
--(a>(--a=a))
--(a>(--a/a))
--(a>(--a/b))
--(a>(--a+a))
--(a>(--b>a))
--(a>(--b>b))
--(a>(--b=b))
--(a>(--b/a))
--(a>(-a>-a))
--(a>(-a>-b))
--(a>(-a=-a))
--(a>(-b>-b))
--(a>(-b=-b))
--(a>(a>--a))
--(a>(a=--a))
--(a>(a/--a))
--(a>(a/--b))
--(a>(a+--a))
--(a>(b>--a))
--(a>(b>--b))
--(a>(b=--b))
--(a>(b/--a))
--(a>-(-a=a))
--(a>-(-a+a))
--(a>-(-a+b))
--(a>-(-b=b))
--(a>-(-b+b))
--(a>-(a>-a))
--(a>-(a=-a))
--(a>-(a+-a))
--(a>-(b=-b))
--(a>-(b+-a))
--(a>-(b+-b))
--(a>--(a>a))
--(a>--(a=a))
--(a>--(a/a))
--(a>--(a/b))
--(a>--(a+a))
--(a>--(b>a))
--(a>--(b>b))
--(a>--(b=b))
--(a>--(b/a))
--(a>------a)
--(a=(--a/a))
--(a=(--a+a))
--(a=(a/--a))
--(a=(a+--a))
--(a=-(a>-a))
--(a=--(a/a))
--(a=--(a+a))
--(a=------a)
--(a/(--a>a))
--(a/(--a>b))
--(a/(--a=a))
--(a/(--b>b))
--(a/(--b=b))
--(a/(-a>-a))
--(a/(-a=-a))
--(a/(-a/-a))
--(a/(-a/-b))
--(a/(-a+-a))
--(a/(-b>-a))
--(a/(-b>-b))
--(a/(-b=-b))
--(a/(-b/-a))
--(a/(a>--a))
--(a/(a>--b))
--(a/(a=--a))
--(a/(b>--b))
--(a/(b=--b))
--(a/-(-a>a))
--(a/-(-a=a))
--(a/-(-a+a))
--(a/-(-b=b))
--(a/-(-b+a))
--(a/-(-b+b))
--(a/-(a=-a))
--(a/-(a+-a))
--(a/-(a+-b))
--(a/-(b=-b))
--(a/-(b+-b))
--(a/--(a>a))
--(a/--(a>b))
--(a/--(a=a))
--(a/--(b>b))
--(a/--(b=b))
---((-a=a)+a)
---((-a=a)+b)
---((-a+a)+a)
---((-a+a)+b)
---((-a+b)+a)
---((a>-a)=a)
---((a>-a)+a)
---((a=-a)+a)
---((a=-a)+b)
---((a/a)=-a)
---((a/a)+-a)
---((a+-a)+a)
---((a+-a)+b)
---((a+-b)+b)
---((a+a)=-a)
---((a+a)+-a)
---((a+b)+-a)
---((a+b)+-b)
---(-(a>a)+a)
---(-(a>a)+b)
---(-(a>b)+b)
---(-(a=a)+a)
---(-(a=a)+b)
---(-(a/a)=a)
---(-(a/a)+a)
---(-(a/b)+a)
---(-(a/b)+b)
---(-(a+a)=a)
---(-(a+a)+a)
---(-----a=a)
---(-----a+a)
---(----a=-a)
---(----a+-a)
---(---a=--a)
---(---a+--a)
---(--a=---a)
---(--a+---a)
---(-a=(a/a))
---(-a=(a+a))
---(-a=----a)
---(-a+(a/a))
---(-a+(a+a))
---(-a+(a+b))
---(-a+(b+a))
---(-a+----a)
---(a=(a>-a))
---(a=-(a/a))
---(a=-(a+a))
---(a=-----a)
---(a+(-a=a))
---(a+(-a+a))
---(a+(-a+b))
---(a+(-b=b))
---(a+(-b+b))
---(a+(a>-a))
---(a+(a=-a))
---(a+(a+-a))
---(a+(b=-b))
---(a+(b+-a))
---(a+(b+-b))
---(a+-(a>a))
---(a+-(a=a))
---(a+-(a/a))
---(a+-(a/b))
---(a+-(a+a))
---(a+-(b>a))
---(a+-(b>b))
---(a+-(b=b))
---(a+-(b/a))
---(a+-----a)
----((a>a)/a)
----((a>a)/b)
----((a>b)/a)
----((a=a)/a)
----((a=a)/b)
----((a/a)>a)
----((a/a)=a)
----((a+a)>a)
----((a+a)=a)
----((a+b)>a)
----((a+b)>b)
----(----a>a)
----(----a=a)
----(---a>-a)
----(---a=-a)
----(--a>--a)
----(--a=--a)
----(-a>---a)
----(-a=---a)
----(a>(a>a))
----(a>(a=a))
----(a>(a/a))
----(a>(a/b))
----(a>(a+a))
----(a>(b>a))
----(a>(b>b))
----(a>(b=b))
----(a>(b/a))
----(a>----a)
----(a=(a/a))
----(a=(a+a))
----(a=----a)
----(a/(a>a))
----(a/(a>b))
----(a/(a=a))
----(a/(b>b))
----(a/(b=b))
-----(---a=a)
-----(---a+a)
-----(--a=-a)
-----(--a+-a)
-----(-a=--a)
-----(-a+--a)
-----(a=---a)
-----(a+---a)
------(--a>a)
------(--a=a)
------(-a>-a)
------(-a=-a)
------(a>--a)
------(a=--a)
-------(-a=a)
-------(-a+a)
-------(a=-a)
-------(a+-a)
--------(a>a)
--------(a=a)