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