I'm curious what he used too. I made a similar list with TSREADER, but the channels were in a different order. There is no SDT in that mux, so the channel names aren't there, but I noticed that in the "Language" slot, there is a 3 digit abbreviation, which seems to correspond to the channel names posted above, at least for 3 or 4 that I checked.
A TSREADER generated (edited with Excel) list is:
AMC MPEG-2 Audio PID 700: Bitrate 96 Kbps Sample Rate 48 KHz
CB1 MPEG-2 Audio PID 800: Bitrate 192 Kbps Sample Rate 48 KHz
CB2 MPEG-2 Audio PID 750: Bitrate 96 Kbps Sample Rate 48 KHz
CS1 MPEG-2 Audio PID 128: Bitrate 96 Kbps Sample Rate 32 KHz
CS2 MPEG-2 Audio PID 100: Bitrate 192 Kbps Sample Rate 48 KHz
IU1 MPEG-2 Audio PID 261: Bitrate 96 Kbps Sample Rate 48 KHz
IU2 MPEG-2 Audio PID 563: Bitrate 96 Kbps Sample Rate 48 KHz
IU3 MPEG-2 Audio PID 270: Bitrate 96 Kbps Sample Rate 48 KHz
IU4 MPEG-2 Audio PID 634: Bitrate 96 Kbps Sample Rate 48 KHz
LF1 MPEG-2 Audio PID 506: Bitrate 192 Kbps Sample Rate 48 KHz
MB1 MPEG-2 Audio PID 127: Bitrate 192 Kbps Sample Rate 48 KHz
MB2 MPEG-2 Audio PID 174: Bitrate 192 Kbps Sample Rate 48 KHz
RR1 MPEG-2 Audio PID 695: Bitrate 192 Kbps Sample Rate 48 KHz
SK2 MPEG-2 Audio PID 807: Bitrate 96 Kbps Sample Rate 48 KHz
SKY MPEG-2 Audio PID 691: Bitrate 192 Kbps Sample Rate 48 KHz
SMA MPEG-2 Audio PID 724: Bitrate 192 Kbps Sample Rate 48 KHz
SMB MPEG-2 Audio PID 371: Bitrate 192 Kbps Sample Rate 48 KHz
SMC MPEG-2 Audio PID 558: Bitrate 192 Kbps Sample Rate 48 KHz
SNN MPEG-2 Audio PID 409: Bitrate 192 Kbps Sample Rate 48 KHz
SR1 MPEG-2 Audio PID 473: Bitrate 96 Kbps Sample Rate 48 KHz
SR2 MPEG-2 Audio PID 497: Bitrate 96 Kbps Sample Rate 48 KHz
SR3 MPEG-2 Audio PID 502: Bitrate 96 Kbps Sample Rate 48 KHz
SR4 MPEG-2 Audio PID 259: Bitrate 192 Kbps Sample Rate 48 KHz
SR5 MPEG-2 Audio PID 259: Bitrate 96 Kbps Sample Rate 48 KHz
SR6 MPEG-2 Audio PID 102: Bitrate 96 Kbps Sample Rate 48 KHz
VC1 MPEG-2 Audio PID 280: Bitrate 192 Kbps Sample Rate 48 KHz
VC2 MPEG-2 Audio PID 290: Bitrate 192 Kbps Sample Rate 48 KHz
Note above isn't the order from TSREADER, but sorted alphabetically.