INORDER = pp pq pa pb pc pd pe pg ph pi pj pk pl pm pn po; OUTORDER = pa0 pb0 pr pc0 ps pd0 pt pu pv pw px py pz; pa0 = n_n40 + n_n39; pb0 = !nz0*[129]; pr = !nk1; pc0 = n_n37 + n_n38; ps = !nl1; pd0 = !ni1*[137]; pt = !nn1; pu = [142] + !nr1; pv = !pp; pw = !po; px = [143] + n_n41; py = !pq; pz = [146] + !ns0; nt1 = pd*pe; nv1 = !pk + !pb; nu1 = !pn + pm; nl1 = !pm*pn; nn1 = !nm1*[140]; nr1 = [141] + n_n25; n_n43 = !pc*!nv1; n_n31 = pk*[125]; n_n42 = !nt1*!nv1; n_n41 = !nv1*!nu1; n_n35 = !pc*pm; n_n34 = pm*!nt0; n_n36 = !pd*pm; ns0 = [145] + n_n34; n_n32 = pk*[126]; n_n38 = !ne1*[132]; n_n30 = pk*[127]; na1 = [128] + n_n30; n_n37 = !nd1*[135]; nz0 = !na1 + pl; nk1 = !pn*[130]; ny0 = [124] + n_n33; nm1 = [139] + !no1; no1 = pk*[138]; ne1 = [131] + n_n28; n_n29 = pe*[133]; n_n26 = !pg*pn; nd1 = [134] + n_n29; n_n39 = !pm*!ny0; n_n40 = pn*!ny0; n_n28 = !pb*pn; n_n27 = !ph*pn; ni1 = [136] + pl; ns1 = pi*pj; nt0 = pn*[144]; n_n25 = pn*!ns1; n_n33 = !pm*pn; [124] = !pa + pl; [125] = !pd*pa; [126] = !pc*pa; [127] = !pe*pa; [128] = n_n31 + n_n32; [129] = pn*pm; [130] = !pm*!pb; [131] = !pa + pl; [132] = pm*!pb; [133] = pd*pc; [134] = !pk + !pn; [135] = !ne1*pm; [136] = !pa + pk; [137] = pn*pm; [138] = pj*pi; [139] = !pg + !ph; [140] = pn*pm; [141] = n_n26 + n_n27; [142] = !pk + !pm; [143] = n_n43 + n_n42; [144] = pk*pe; [145] = n_n35 + n_n36; [146] = !pa + pl;