($$ ( (1 nil ((b 2 130 98) (R 2 131 125)) (R) '' 87 106) )) (a ( (1 (Y X Z) ((R 1 63 65) ($$ 1 64 98)) (R) '' 28 76) )) (b ( (1 (R) R '' '' 29 147) (2 nil ((c 1 188 83)) () '' 154 76) )) (c ( (1 nil Y '' '' 210 76) )) (d ( (1 nil Z '' '' 211 131) )) (R ( (1 nil X '' '' 86 41) (2 nil ((d 1 190 138)) () '' 155 131) ))