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