Unlike setup codes like 0159, which are dedicated to just 2 device codes, the 1758/1759 codes that you're using are "combo" codes that can combine an unlimited amount of regular Sony device codes. As your Atlas supports 5 digit EFCs, it's just a question of calculating the correct code. I calculated those two codes using the Keymap-Master (KM) spreadsheet, but I could also have used Remote Master (RM). Both are JP1 tools.

I don't believe anyone has found the HDMI discrete codes yet. If I'm wrong, hopefully somebody will post the info, or at least a link to the info, in any format and I'll derive the EFCs from it.