INORDER = pp pa0 pq pr ps pt pu pv pw px py pz pa pb pc pd pe pf pg ph pi pj pk pl pm pn po; OUTORDER = pb0 pc0 pd0 pe0 pf0 pg0 ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ; pb0 = nc2*[143]; pc0 = pa*pi; pd0 = pb*pi; pe0 = pc*pi; pf0 = pd*pi; pg0 = pe*pi; ph0 = pf*pi; pi0 = pg*pi; pj0 = ph*pi; pk0 = [144] + n_n38; pl0 = [148] + n_n36; pm0 = [152] + n_n33; pn0 = [156] + n_n30; po0 = [160] + n_n27; pp0 = [164] + n_n24; pq0 = [168] + n_n21; pr0 = [172] + [171]; nb2 = px*ng2; nd2 = pv*nf2; ng2 = pw*nd2; nf2 = pt*pu; n_n34 = na2*[145]; n_n36 = pm*pb0; n_n35 = na2*[146]; na2 = !pk*[142]; n_n37 = !pt*na2; n_n38 = pl*pb0; nc2 = pz*ne2; n_n31 = na2*[149]; n_n23 = nb2*[161]; n_n28 = na2*[153]; n_n30 = po*pb0; n_n29 = na2*[154]; n_n24 = pq*pb0; ne2 = py*nb2; n_n19 = !ne2*[165]; n_n21 = pr*pb0; n_n20 = ne2*[166]; n_n16 = !nc2*[169]; n_n22 = !nb2*[162]; n_n26 = ng2*[157]; n_n18 = ps*pb0; n_n33 = pn*pb0; n_n32 = na2*[150]; n_n27 = pp*pb0; n_n17 = nc2*[170]; n_n25 = !ng2*[158]; [142] = pj*!pi; [143] = na2*pa0; [144] = pc0 + n_n37; [145] = !pu*pt; [146] = pu*!pt; [147] = pd0 + n_n34; [148] = n_n35 + [147]; [149] = !nf2*pv; [150] = nf2*!pv; [151] = pe0 + n_n31; [152] = n_n32 + [151]; [153] = !nd2*pw; [154] = nd2*!pw; [155] = pf0 + n_n28; [156] = n_n29 + [155]; [157] = na2*!px; [158] = na2*px; [159] = pg0 + n_n26; [160] = n_n25 + [159]; [161] = na2*!py; [162] = na2*py; [163] = ph0 + n_n23; [164] = n_n22 + [163]; [165] = na2*pz; [166] = na2*!pz; [167] = pi0 + n_n19; [168] = n_n20 + [167]; [169] = na2*pa0; [170] = na2*!pa0; [171] = pj0 + n_n16; [172] = n_n17 + n_n18;