INORDER = pv27_3 pv7_2 pv7_1 pv10_0 pv11_0 pv14_0 pv22_5 pv27_0 pv7_7 pv15_0 
pv22_4 pv12_0 pv29_0 pv13_0 pv7_4 pv18_0 pv7_3 pv8_0 pv7_6 pv9_0 pv16_0 pv22_3 
pv7_5 pv17_0 pv22_2;
OUTORDER = pv27_4 pv32_0 pv33_0 pv34_0 pv35_0 pv36_0 pv37_0 pv38_0 pv27_2 
pv27_1 pv28_0 pv30_0 pv31_0;
pv27_4 = !n_n18;
pv32_0 = pv11_0*pv22_5;
pv33_0 = pv22_3*[73];
pv34_0 = pv17_0*[74];
pv35_0 = pv22_4*[75];
pv36_0 = pv17_0*[76];
pv37_0 = !pv22_5*pv16_0;
pv38_0 = !n_n15;
pv27_2 = !n_n19;
pv27_1 = !n_n20;
pv28_0 = !n_n17;
pv30_0 = pv22_5*pv18_0;
pv31_0 = !n_n16;
nv56 = nv51*[87];
nv58 = !pv9_0*nv56;
nv51 = [82]*[83];
nv53 = !pv27_0*pv29_0;
n_n17 = !pv10_0*!nv56;
n_n15 = [77]*[78];
n_n20 = !nv58*[90];
nv67 = pv11_0*!pv22_5;
nv64 = nv51*[85];
n_n16 = !pv32_0*!nv67;
nv60 = nv51*[89];
n_n19 = !nv64*!nv63;
nv63 = !nv51*[86];
n_n18 = !pv27_3*!pv22_2;
[73] = !pv22_5*pv14_0;
[74] = pv22_3*!pv22_5;
[75] = !pv22_5*pv14_0;
[76] = pv22_4*!pv22_5;
[77] = !pv15_0*!pv14_0;
[78] = !pv13_0*!pv12_0;
[79] = !pv7_1*!pv7_2;
[80] = !pv7_4*!pv7_7;
[81] = !pv7_6*!pv7_3;
[82] = [79]*!pv7_5;
[83] = [81]*[80];
[84] = pv8_0*pv29_0;
[85] = [84]*!pv9_0;
[86] = pv29_0*pv27_0;
[87] = !pv8_0*pv29_0;
[88] = pv8_0*pv29_0;
[89] = [88]*pv9_0;
[90] = !nv60*!nv53;