首先下载文件,解压后发现是个c文件,打开查看代码
图中红框圈出的地方为方程,显而易见解出方程之后,我们就可以解出flag,此时我们可以运用python的z3库解出
ps:题外话,此时就涉及到z3库的安装和运用了,直接下载:whell文件并安装,然后导入pycharmPyCharm调用whl方式导入本地库_pycharm 项目中如何引用whl_qq_32300143的博客-CSDN博客。
接下来,我们就该写脚本了
结果为
故flag为NSSCTF{4544_123_677_1754_777}.