INORDER = pa pb pc pd pe pf pg ph pi pj pk; OUTORDER = pl; pl = [62] + [61]; n_n9 = [41]*[42]; n_n5 = [43]*[44]; n_n6 = [45]*[46]; n_n7 = [47]*[48]; n_n8 = [49]*[50]; n_n3 = [51]*[52]; n_n4 = [53]*[54]; n_n10 = [55]*[56]; [41] = !pi*pa; [42] = !pk*!pj; [43] = pi*pf; [44] = pk*!pj; [45] = !pi*pe; [46] = pk*!pj; [47] = pi*pd; [48] = !pk*pj; [49] = !pi*pc; [50] = !pk*pj; [51] = pi*ph; [52] = pk*pj; [53] = !pi*pg; [54] = pk*pj; [55] = pi*pb; [56] = !pk*!pj; [57] = n_n9 + n_n5; [58] = n_n6 + n_n7; [59] = n_n8 + n_n3; [60] = n_n4 + n_n10; [61] = [57] + [58]; [62] = [59] + [60];