Skipping strtok

[837951602]

('INF9'^'860'^'20.9'^'999'^'993') == 'CHR'

[837951602]

I end up with a 541 char CHR:

(999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999).(9)^((9^9).(9)^(9^99).(9)^(9).(9)).(9^9)^((9).(99999999999999999999999^9)^(9).(9)^(9^9).(9)^9^9).(9.9)^(99).(9)^((99^9).(9)^((99^9).(9)^(9).(9)^(9).(9)).(9)^(9^9).(9).(9)^9^9).((9).(999999999999999999999^9)^(9).(9)^(9^9).(9)^9^9)

[837951602]

Now 475

[arxenix]

nice find! that reduces the length a lot

[837951602]

hex2bin also seems useful

[837951602]

The CHr here is 484, and there's some other constructions