I think your interpretation is correct. However, consider these points:
1. The first number is "0000", which means "learned code" so the timing numbers might wander a bit.
2. On the 3rd page (irdisp3) they decode a Sony code and note that Sony "likes" to monkey with what data gets sent.
3. They also mention that there is no standard, and other mfrs can do as they please.
So, there is no guarantee that the code your looking at is a "simple" sequence of binary pairs. Epson might have added in some other special numbers for their own nefarious purposes. A google search might uncover their true meaning.
However, as long as the code sequence works - why worry about it?
I want to know how your going to use this data?
I guess the thing to do is set up a PWM at your modulation frequency, then turn it ON/OFF for the times given in the codes - just ignore the first 4 numbers, unless you want to make your software "smart" so it calculates the modulation frequency from the second number.
When I search Arduino for "Pronto hex" I get a bunch of hits, perhaps there is already some code for handling this?
I did a google search for "Pronto hex converter" and found lots of sites offering software to convert it into binary or hex numbers - but don't forget that might not work if those "odd" pairs are Epson-specific codes.