INORDER = pa pb pc pd pe; OUTORDER = pp pq pr ps pt pu pf pg ph pi pj pk pl pm pn po; pp = [84]*[85]; pq = [86]*[87]; pr = [88]*[89]; ps = [90]*[91]; pt = [92]*[93]; pu = [94]*[95]; pf = [96]*[97]; pg = [98]*[99]; ph = [100]*[101]; pi = [102]*[103]; pj = [104]*[105]; pk = [106]*[107]; pl = [108]*[109]; pm = [110]*[111]; pn = [112]*[113]; po = [114]*[115]; nn0 = !pa*pe; no0 = pa*pe; [84] = !pc*pb; [85] = nn0*pd; [86] = !pc*pb; [87] = nn0*!pd; [88] = pc*!pb; [89] = nn0*pd; [90] = pc*!pb; [91] = nn0*!pd; [92] = !pc*!pb; [93] = nn0*pd; [94] = !pc*!pb; [95] = nn0*!pd; [96] = pc*pb; [97] = no0*pd; [98] = pc*pb; [99] = no0*!pd; [100] = !pc*pb; [101] = no0*pd; [102] = !pc*pb; [103] = no0*!pd; [104] = pc*!pb; [105] = no0*pd; [106] = pc*!pb; [107] = no0*!pd; [108] = !pc*!pb; [109] = no0*pd; [110] = !pc*!pb; [111] = no0*!pd; [112] = pc*pb; [113] = nn0*pd; [114] = pc*pb; [115] = nn0*!pd;