NOTE: There are two typos in this diagram - the first rule should have a sufficient condition of H - L, not T - L. Also, in the third frame, the line should connect L and S, not H and S.
Following the fork in the fourth rule:
We know in the second frame either H or L is first:
The final frames: