In this challenge, we were given source code containing:

Not only that, we are also given the expected output in the form of .txt, with the following snippet:

I use the solver as follows:

Finally, we get the flag in the terminal, as shown in the screenshot below.

Flag
SPARTA{8a51c_m0du14r_4r1thm3t1cs_r1gh7_7ust_r00t_t4k1ng_4nd_m0d1nv}