INORDER = pa pb pc pd pe pf pg ph pi pj pk;
OUTORDER = pl pm pn;
pl = n_n51 + !nn0;
pm = !nv0*!nw0;
pn = n_n50 + !nl0;
nw = !pd*pe;
nv0 = !nq0 + !nh0;
nu = pd*!pe;
nt0 = !pk + pj;
nw0 = n_n33 + n_n32;
nl0 = n_n39 + n_n38;
nu0 = pk + !pj;
n_n50 = !nv0*!nu0;
n_n45 = pd*pe;
n_n40 = !nf0*!nd0;
nj0 = !nx + n_n40;
n_n44 = !pd*!pe;
n_n41 = !nf0*!ne0;
n_n46 = !pa*!nw;
ni0 = !nv + n_n41;
na0 = n_n44 + n_n45;
nh0 = !nf0*!ng0;
nn0 = n_n37 + n_n36;
n_n36 = !nj0*!nm0;
n_n37 = !nj0*!nh0;
n_n32 = pj*!pk;
nf0 = !na0 + !pb;
n_n33 = !pj*pk;
nd0 = !pg + pf;
nk0 = ph*!pi;
n_n34 = !ph*!pi;
n_n35 = ph*pi;
nq0 = n_n35 + n_n34;
n_n48 = !pc*!nu;
n_n49 = !pb*!pc;
nv = n_n49 + n_n48;
ne0 = pg + !pf;
n_n38 = !ni0*!nk0;
n_n39 = !ni0*!nh0;
nm0 = !ph*pi;
ng0 = n_n43 + n_n42;
n_n47 = !pa*!pb;
nx = n_n47 + n_n46;
n_n42 = pf*!pg;
n_n43 = !pf*pg;
n_n51 = !nv0*!nt0;