INORDER = pa pb pc pd pe pf pg pi pj pk pl pm pn po;
OUTORDER = pp pq pr ps pt pu pv pw px py pz;
pp = !pq;
pq = !pd*!no0;
pr = !nt0*[129];
ps = !nx0*[133];
pt = !ny0*[137];
pu = !nz0*[141];
pv = n_n35 + n_n34;
pw = !po*!ni1;
px = n_n34 + n_n33;
py = pg*po;
pz = n_n32 + n_n31;
na1 = [151] + !nf1;
ni1 = [153] + [152];
nb1 = [143] + [142];
nj1 = [154] + !po;
nt0 = [127] + [126];
nx0 = [131] + [130];
ny0 = [135] + [134];
nz0 = [139] + [138];
n_n33 = !nb1*!nj1;
n_n34 = pc*!nb1;
n_n35 = !na1*!nb1;
n_n27 = pe*pf;
n_n26 = !pc*!pf;
n_n29 = pc*!pe;
n_n28 = pc*pf;
n_n30 = !pc*pe;
n_n25 = !pe*!pf;
no0 = [125] + [124];
n_n24 = pk*[144];
n_n19 = pj*[145];
ng1 = [147] + n_n19;
nf1 = !pi*!ng1;
n_n22 = pl*[148];
n_n23 = pm*[149];
n_n20 = pc*pf;
n_n31 = pg*[155];
n_n32 = pg*[156];
n_n21 = pc*po;
[122] = n_n27 + n_n26;
[123] = n_n29 + n_n28;
[124] = n_n30 + n_n25;
[125] = [122] + [123];
[126] = pa + pb;
[127] = pc + pd;
[128] = pf*!pe;
[129] = [128]*!po;
[130] = !pa + pb;
[131] = pc + pd;
[132] = pf*!pe;
[133] = [132]*!po;
[134] = pa + !pb;
[135] = pc + pd;
[136] = pf*!pe;
[137] = [136]*!po;
[138] = !pa + !pb;
[139] = pc + pd;
[140] = pf*!pe;
[141] = [140]*!po;
[142] = pd + !pe;
[143] = n_n20 + n_n21;
[144] = !pb*pa;
[145] = !pb*!pa;
[146] = !pf + pn;
[147] = !po + [146];
[148] = pb*!pa;
[149] = pb*pa;
[150] = n_n24 + n_n22;
[151] = n_n23 + [150];
[152] = pc + pd;
[153] = pe + !pf;
[154] = !pf + pn;
[155] = !pf*!pd;
[156] = !pd*!pc;