It seems to make the assumption that you’ll get any particular train instantly. Factor in expected wait time for each line and the local/express variants and the sheds will shrink substantially.
it’ll also get confusing because the sheds will change as a function of time of day
it’ll also get confusing because the sheds will change as a function of time of day