Improved tracestrings for 4.6.2[2].[t]2 (Transition table)