I have no clue how to input these hex codes into my remote. I tried to learn the existings buttons and compare them, but only one came remotely close to these codes, but it was still funky!

[Link: infocus.com]

Here's what it says in the pdf:

The Work Big IN72, IN74, IN76 uses the NEC IR protocol.The customer code portion of the IR packet should use the hexadecimal value 0x4E87.
Remote control commands
Key Name
Hex Code
Description
Menu
0x02
Toggles menu state up or down
Brightness Plus
0x03
Increases brightness
Brightness Minus
0x07
Decreases brightness
Freeze
0x0E
Toggles freeze state on or off
Source Select
0x10
Selects next available source
Cursor Up
0x13
Moves menu cursor up
Cursor Down
0x14
Moves menu cursor down
Power
0x17
Toggles power state on or off
Keystone Plus
0x20
Increases keystone
Keystone Minus
0x21
Decreases keystone
Presets
0x2C
Toggles through available presets
Source1
0x2D
Selects programmed source
Source2
0x2E
Selects programmed source
Source3
0x2F
Selects programmed source
Source4
0x30
Selects programmed source
Blank
0x31
Toggles state of blank screen on or off
Select
0x32
Selects current menu item
Auto Image
0x33
Activates automatic image re-acquisition
Resize
0x34
Toggles through available resize modes
Overscan
0x35
Toggles through available overscan states
Contrast Plus
0x36
Increases contrast
Contrast Minus
0x37
Decreases contrast
Discrete Power OFF
0x39
Turns power off.
Discrete Power ON
0x3A
Turns power on.
Native Resize
0x3B
Selects Native Resize.
16:9 Resize
0x3C
Selects 16:9 Resize.
4:3 Resize
0x3D
Selects 4:3 Resize.
Letterbox Resize
0x3E
Selects Letterbox Resize.
Natural Wide Resize
0x3F
Selects Natural Wide Resize.
User Preset 1
0x40
Selects User Preset 1
User Preset 2
0x41
Selects User Preset 2
User Preset 3
0x42
Selects User Preset 3

Rather than me going through a long-drawn-out explanation about how to use MakeHex and generate a codeset with the NEC protocol as called out in the PDF you provided, try importing the 5700 file from this page and reporting back what additional codes you might need.

[Link: remotecentral.com]

FYI, most manufacturers use the same codeset across devices of the same type. This is why I suggest trying the files on the above page that call out discrete codes. Mix and match from the various files to get the codes you need.