(a ( (1 (Y X) ((p 1 104 45) (q 1 102 73)) () '' 65 38) )) (b ( (1 (Y X) ((p 1 104 73) (q 1 102 101)) () '' 65 94) )) (c ( (1 (S) ((X 1 103 156) (Y 1 104 181)) (Y X) '' 66 159) )) (p ( (1 nil X '' '' 130 38) )) (q ( (1 nil Y '' '' 127 94) )) (X ( (1 nil S '' '' 128 140) )) (Y ( (1 nil S '' '' 129 190) ))