INORDER = pp pa pb pc pd pe pf pg ph pi pj pk pl pm pn po; OUTORDER = pq pr ps pt; pq = !np0*[92]; pr = !nm0 + pp; ps = !nm0 + !po; pt = !ns0*[113]; no0 = [86]*[87]; nn0 = pe*[88]; nm0 = [106] + [105]; ns0 = [111] + !nr0; nv0 = [96] + !nu0; np0 = [90] + !nn0; n_n34 = !nv0*[98]; n_n30 = !pm*pn; n_n33 = !nv0*[100]; n_n31 = !pl*pm; n_n32 = !nv0*[102]; n_n28 = !pp*pe; n_n23 = !pj*pk; nq0 = !pi*[107]; n_n29 = !pn*po; nr0 = [108]*[109]; n_n25 = !ph*pi; n_n24 = !pi*pj; n_n35 = !nv0*[104]; nt0 = [94] + [93]; n_n26 = pk*!nt0; n_n27 = !pl*!nt0; nu0 = n_n27 + n_n26; [86] = pg*pf; [87] = pi*ph; [88] = pd*pc; [89] = !pa + !pb; [90] = [89] + !no0; [91] = pk*pj; [92] = [91]*pl; [93] = n_n30 + n_n31; [94] = n_n28 + n_n29; [95] = n_n23 + n_n25; [96] = n_n24 + [95]; [97] = pf*pe; [98] = [97]*!ph; [99] = !pg*pe; [100] = [99]*!ph; [101] = !pg*!pf; [102] = [101]*!ph; [103] = pf*pe; [104] = [103]*pg; [105] = n_n34 + n_n33; [106] = n_n32 + n_n35; [107] = !ph*!pg; [108] = !pk*!pj; [109] = !pm*!pl; [110] = pe + pf; [111] = [110] + !nq0; [112] = !pn*!pp; [113] = [112]*!po;