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