%%HP: T(3)A(D)F(.);
\<< \-> k
  \<<
    CASE 
	k 72 \>= k 74 \<= AND THEN k 17 - 1 END 
	k 82 \>= k 84 \<= AND THEN k 30 - 1 END 
	k 92 \>= k 94 \<= AND THEN k 43 - 1 END 
	k 102 == THEN k 54 - 1 END 
	0
    END
  \>>
\>>
