These are Apple IR codes generated with IRScrutinizer. Note that you can also learn codes into ATV 4K from another remote. I've been working recently with ATV and have gathered a lot of information that I thought I would share.

Check out this thread.

[Link: remotecentral.com]