Another challenge for `pwntools`, this time you have to decrypt
several strings by shifting them with large numbers.  Fortunately
these can be precalculated to avoid running into timeouts.

    actf{h0p3_y0u_us3d_th3_f0rmu14-1985098}