Sequence of Successive Longest Collatz Sequence Generators

Theorem
The sequence of integers which generate a Collatz process which is longer than that of any smaller integers begins:

It's the monotonic subsequence of the sequence of the numbers of steps.

Proof
Missing complementary orbits: