-(a+b)=(-a*-b)
(a->b)=(-a+b)
((a*T)+b)=(-c+(a*-b))
(--(---(e+-e)+--(T*-(--(-j+-(F*-(-(g*((F->h)+T))+-a)))*-g)))*h)=-(-g+-(k+((c*((-(((T*a)*---(-T*-((F->(k*(-T+g)))->-(-((k+-k)+c)*--d))))*b)->g)->--T))->g)))
((h+(-(a*--g)->h))->(b+-(--(-e*-e)*k)))=(d+((j*((-(-(-c*-((-(--(-b+-(e+g))*-f)->-(-(i->(T->-(--i*k)))*-b))*--(f+-f)))+k)+g)->k))*d))
--(-(((-k->e)*-(((-(e*(-(d*-c)*(j+-j)))->d)->c)*j))->F)+-g)=-((-(--(-e*-k)+--(j*((-((T*--(--c+-d))*e)->d)->c)))->F)*g)
-((--k+((-(-T*-a)+h)*f))+a)=-(-(-k*-(f*(h+((k+-k)+a))))+a)
---((((c*---j)+h)+d)->e)=---(((h+(---j*c))+d)->--e)
-(((-((j+-(k+(((-(-k+-(a*-a))+--b)->f)*g)))->--f)+b)+c)*--c)=-(--(-c*((j*-(---d+-((((((T->d)->c)->g)->(-(-((-h->(-((---d+e)+j)+-(-b+-j)))->a)*-(-j->j))+-((--j+j)+(--a+--(-(-(j+(d->e))+(b*j))*-h)))))+T)->j)))+h))*---c)
(c*(T+((c+(g+-(F*c)))->a)))=(c*(T+((((F*c)->g)+c)->a)))
-(--(-k+--(((-((f*(((F->e)->F)->d))->e)+c)->--i)*c))*-e)=-((((d+(f+k))->(e+-e))->k)+T)
(-((-(-(a*(((h+-(-e+-(-h+(j+((a->c)->d)))))->c)->(f*-f)))*-a)*k)->b)*h)=(-(((a+(-(-(F*-F)*((h+((h->-(-((a->--c)->d)*-j))*e))->c))*a))*k)->b)*--h)
(k+(c+(-(-e+--(--(-i*---(-(f+j)+-b))+-e))+h)))=(--k+(((e*(--e*(--(-b+-(j+--f))+i)))+--h)+c))
(c+(-(-((((d+--h)*-(f+d))*T)->b)+-i)->--T))=-((--h*-(-(T*(((d*-d)+a)->-(h*g)))*-k))+f)
(-(-k+---(-(-a*-j)+--f))+e)=(-(-(-a+--c)+-j)*((-(--(k*(--j->e))*-c)*(--e+--e))->a))
-(-j*(((d*-d)*(-(d+-(-(((h*((k->F)+((--d*F)+(b*j))))+k)+b)->a))*i))->i))=((-(--(--(d+-(a+--(-(-(--h*((k->(j*-j))+-(--(-(b*-b)+-d)*-(--b*j))))*-k)+b)))+-i)+-F)->i)->j)
(b*-((--k+--(-h*-((e+-((j+-(d+(c+(-j->b))))+f))*b)))+h))=-(-e+--((i+(h*(-a*e)))+e))
-(-c*-(-----(-i+--(-(g*T)->j))+-(-(-d*-(-g*-a))->(c*-c))))=(((((g+a)->d)->(j*-j))*---(i*-(-(--g*T)->j)))->c)
-(-((((-(-(-k+-((d+-(j->((F->--h)*-(-F+h))))->k))+--i)->--T)*k)->(h*-h))+F)*-j)=-((-(((--(a+-a)+-((-g->i)->e))->i)+k)+i)->d)
(i+(g*(---(-(b+-b)+-(h*(g*(e+-e))))->i)))=(i+(g*(--(T*-(-h+-((T+-T)*g)))->i)))
((g+-(-(--i+(g+j))*-e))*h)=(h*(g+(e+(i+(j+g)))))
(-(--(-(-k*(((((((h+e)->F)->f)*a)*g)*--F)*T))+a)*-k)->d)=((k+-((-(-(i+-i)+-(-(-((((--h+e)->--F)->f)*a)+-g)*F))->k)+a))->d)
(c*(a+(i+((((b+-b)*(--e*h))->b)+i))))=((((((k+-((-(-(d+(d*(a->j)))+-k)*--g)->f))+k)->c)+F)->f)+--b)
((g+(-(a*--(-(-(--((b+-(F*-b))->(g+-g))+-d)->k)+-e))->k))+c)=((i+(--(d+-d)*(k*-(b*-f))))*i)
(c+-(-(h+-h)*-((--(-d+-(((-(-b*-(k*h))*j)->(F+-(-(g->(f+k))+-k)))+j))->(k+-k))+--i)))=((T+((--(-(j+(((b+---(-h+-k))*j)->(((g->-(-f*-k))*k)+(j*-j))))+-d)->(c+-c))+i))+c)
-(h+--(-(-(--F->g)+-(i*-i))->k))=-(-(-T*-(h+-(T*((-(b*a)->h)+k))))+F)
((((-a*-i)->d)->f)*b)=-(-(((T+j)->--(a+-a))*(T+-T))*----(--(((-a->f)*(--((-h+d)->--T)->--T))->b)*---f))
-(-(((-(j*-j)->--h)*--h)*--h)*g)=--(--(h*((-(T*-T)->h)*h))+-g)
-(((b+--(--g+(T*--(-(g*T)*-b))))*F)+g)=(-(-(---(-e+--(---j+-(i+(-(g+F)->T))))+-e)->h)->f)
(F+-(-(F*-(-a+-(---((i+(-((g*-(-h+i))->--j)+b))*h)+--F)))+-d))=((d*((a*-(--(--h*((b+-((-(h->i)*g)->j))+i))*-F))*(h*-h)))+(f*-f))
-(((-c->f)->b)+d)=((g*(i*(-(d*((k+(-T*c))->i))+b)))->c)
(((-(-(-b+--(-k*--(--(-((f+(f->f))->g)+-((e*b)+f))+-c)))->(d+-d))->c)->j)*b)=-(((a+(--b*(i+b)))->j)*-e)
(-(-(-(-((-(--(---(-g*(T+T))*-h)*-F)*i)->g)*-b)*--g)+d)+c)=(-((--g*(b+(-(-(-(-h*---(-g*((b+-b)+T)))+F)+-i)->g)))->d)+c)
j=------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------j
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------d=d
#
