HSR(11,2)
positive claim
  problem HSR(11,2) 4/11 10
solution

(4 y 
     (1 y 
          h 0 
        n (2 y 
	       h 1 
             n (3 y 
	            h 2 
	          n h 3)))
   n (6 y (5 y 
               h 4 
             n h 5) 
        n (8 y 
	       (7 y 
	            h 6 
	          n h 7)
             n (9 y 
	            h 8 
	          n h 9))))