An explicit decomposition of higher Deligne-Lsuztig representations | Synapse