Wow! I know a lot of companies have adopted Pronto Hex as a format for publishing IR data, and JP1 may be comperable to Pronto Hex for the number of end users who work with IR signals in that form. But I don't think I've ever seen a device manufacturer publish their IR data in JP1 format (as you quoted).

The part that indicates NECx1 device 8.8 is equally valid for MakeHex as for JP1.

But EFC numbers are only valid in JP1 and related (OneForAll) remotes.

An EFC number is a stupidly encripted form of the function number, invented by OneForAll to keep function numbers published in that form from being useful to other brands of universal remote.

But the encription is crude enough that many people have posted programs and tables for decripting them back to the true function numbers.

15 Input 1
18 Input 2
25 Input 3
31 Input 4
28 Input 5
12 Input Up
13 Input Down