INORDER = pp pq pr ps pt pu pv pa pb pc pd pe pf pg ph pi pj pk pl pm po; OUTORDER = pa0 pb0 pc0 pd0 pe0 pf0 pg0 pw ph0 px pi0 py pj0 pz pk0 pl0 pm0 pn0 po0 pp0; pa0 = !pt; pf0 = pi*pj; pg0 = !pf0; pw = pv*pl; px = [151]*[152]; pi0 = n_n49 + n_n50; py = n_n52 + n_n51; pj0 = n_n48 + n_n47; pz = pq*!ni2; pk0 = [162] + n_n46; pl0 = n_n43 + n_n42; pm0 = n_n41 + n_n40; pn0 = n_n39 + n_n38; po0 = n_n37 + n_n36; pp0 = n_n34 + n_n35; nx1 = n_n29 + !pm; ns1 = n_n32 + !pm; nr1 = [158] + !pk; nv1 = [161] + n_n30; nu1 = !pc + pq; ni2 = [160] + [159]; nm1 = n_n33 + !pm; n_n50 = po*!nm1; n_n42 = !nx1*[165]; n_n35 = pv*!nf2; n_n49 = !nm1*!nl1; n_n40 = !nz1*!nl1; n_n41 = ps*!nz1; n_n34 = !nf2*!nl1; n_n47 = !ns1*!nr1; n_n48 = pp*!ns1; n_n43 = !nx1*!nl1; n_n36 = !nd2*!nl1; n_n37 = pu*!nd2; nh2 = !pm + pl; n_n32 = [156]*[157]; n_n26 = [170]*[171]; nd2 = n_n26 + !pm; n_n27 = [168]*[169]; nz1 = n_n28 + !pm; n_n31 = !pq*!pi; n_n30 = !pq*!pk; n_n25 = [172]*[173]; nf2 = n_n25 + !pm; nb2 = n_n27 + !pm; n_n33 = [153]*[154]; n_n28 = [166]*[167]; n_n29 = [163]*[164]; nl1 = [155] + !pk; n_n51 = !nh2*!nl1; n_n52 = pp*!nh2; n_n45 = !pi*!nv1; n_n44 = !nv1*!nu1; n_n38 = !nb2*!nl1; n_n46 = !pk*!nv1; n_n39 = pt*!nb2; pb0 = pu; pc0 = pq; pd0 = ps; pe0 = pr; ph0 = pp; [151] = pq*!pp; [152] = pk*pi; [153] = !pa*!pq; [154] = pk*pi; [155] = pq + !pi; [156] = pb*!pq; [157] = pk*pi; [158] = !pq + !pi; [159] = pp + !pi; [160] = !pk + !pm; [161] = !pm + n_n31; [162] = n_n45 + n_n44; [163] = !pd*!pq; [164] = pk*pi; [165] = pr*!pp; [166] = !pe*!pq; [167] = pk*pi; [168] = !pf*!pq; [169] = pk*pi; [170] = !pg*!pq; [171] = pk*pi; [172] = !ph*!pq; [173] = pk*pi;