Convert from Pronto HEX IR codes to raw?

Hi - long time tinkerer, but I haven't been on the forums much.

I already have a working "networked IR learning remote" that I built using IR receiver and LED scavenged from a VCR/remote pair. When in learning mode, it saves the learned code to a postgres database on a linux server in my house. I can then use a script on the server to send any of the stored codes back to the Arduino/ethernet shield and have it beam out the code. This all works fine.

My question is about using the vast libraries of stored codes already out there on the internet - i.e. for Pronto remotes (a standard format).

The captured RAW codes I get on the Arduino using the IRremote library look like this:

{4650,4200,700,1500,700,1500,700,1500,700,400,700,350,700,400,650,400,700,400,650,1550,650,1550,650,1550,650,400,650,450,650,400,650,450,650,400,650,450,600,450,650,450,600,1600,600,1600,600,450,650,450,600,1600,600,1600,600,1600,600,1600,600,450,650,450,600,1600,600,1600,600,450,600}

and a supposedly equivalent Pronto remote HEX code looks like this:

0000 0071 0000 0032 0080 003f 0010 0010 0010 0030 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0030 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0030 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0010 0010 0010 0010 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0010 0030 0010 0010 0010 0030 0010 0a98

(These are both codes to turn off a Samsung plasma TV)

Does anyone know how I might be able to go about converting the Pronto code into a raw code?