Firstly, this conclusion was only reached with hindsight. Secondly, after further consideration, I think it is wrong. :)
The difference between 11:55 and 12:35 is that 11:55 is before a pt2 and 12:35 is after a pt3. This requires us to restart the 1,2,3 sequence at or after the arrival of the...