Your profile says you are in China, so I'm not sure what remotes are available to you.
One approach would be to buy a used Logitech Harmony (there are lots of models), and then send the hex data to Logitech and have them make those codes available in Logitech format.

Another approach would be to get a remote made by Universal Electronics, and manually program every button by entering a 5 digit EFC. I suppose that process would take 30 minutes or so. I can generate the EFCs from the Pronto Hex data for you if you can get one of the remotes listed below.

Here are the list of remotes which we know can be customized to control your Citation:

Radio Shack
15-2104
15-2138
15-2144

OneForAll
URC-10820 B00
URC-10820N
URC-4080
URC-6131
URC-6690 Hybrid
URC-6820 B00
URC-8203
URC-8820 B00
URC-8820N
URC-8910
URC-9910
URC-9960
URC-9960B01

Various Cable/Sat companies
Atlas4 ATL0
Atlas4 CS400102
Atlas5 1025
Atlas5 3000
Atlas5 3032
Atlas5 3033
Atlas5 SA_7
Balboa-Dolphin
Cat48-Anthem
Cat48-Outlaw
Comcast 1058 jp1.1
Comcast 1067 jp1.2
Comcast 1067BX3 jp1.3
Comcast 1068 jp1.1
Cox URC-7820B
Motorola DSR551 URC-2050

RCA
RCRP05B
RCU810

Phillips
REM400-B00
REM400-B01

Others
Replay-V1
Replay-V2
Toshiba CT90047
Vizio URC-66700ABA
Vizio VUR8
Slingbox - JU

Some of these are quite old designs.  The RCA RCRP05B and OneForAll URC 8820N/10820N are fairly new designs.  In the USA, these remotes are available new for $20 or less, but sometimes much more cheaply on the internet.