HEX to IR help

These are eight one-byte values expressed in hex.

0xDA 0x00 0x44 0x00 0x06 0x01 0x52 0x00

This is the corresponding 64-bit (eight byte) value expressed in hex.

0xDA00440006015200

It is not 'more compressed' except in the sense that the textual display is shorter - it still occupies eight bytes and from the point of view of the code there is no particular advantage of one form over the other. Given that you are proposing to output this as an IR bitstream, either representation would be fine.

I can't tell you how to output the IR bitstream but I'm sure that Google will turn up plenty of examples, and you'll probably find some in the playground too.