2025年8月22日
攻防世界--crackme
摘要： from z3 import * a1=[Int(f"a1{i}")for i in range(16)] s=Solver() s.add(-202850 *a1[0] == -34078800) s.add( 182136 * a1[0]- 75396 * a1[1] == 18610884 ) 阅读全文
posted @ 2025-08-22 21:40 hellv 阅读(79) 评论(0) 推荐(0)