RT DF A1 Yang, Ruijie. T1 Decomposition Theorem for Semisimple Local Systems