main 主要逻辑：
if
(
sscanf
(input,
"%lld-%lld"
, &value1, &value2) == 2 )
{
v10 = snprintf(temp, 13ui64,
, value1, value2);
( v8 > 0 && v10 > 0 && v8 == v10 )
while
( input[v3] == temp[v3] )
( ++v3 >= v8 )
( value1 > 0 && value2 > 0 && value1 <= value2 && value2 + value1 == 117738 )
v11 =
"Accepted!\n"
;
( value1 * value2 == 3457897337i64 )
goto
LABEL_28;
}
break
LABEL_27:
"Wrong answer!\n"
LABEL_28:
printf
(v11);
输入两个数以-分隔，给了两数之和与两数之积、第一个数不大于第二个数，求解二次方程即可。或者直接 z3 解：
-
from
z3
import
*
x
=
Int
'x'
)
y
'y'
s
Solver()
s.add(x
+
117738
3457897337
assert
s.check()
sat
print
(s.model())
# 56101-61637
[培训]《安卓高级研修班(网课)》月薪三万计划，掌握调试、分析还原ollvm、vmp的方法，定制art虚拟机自动化脱壳的方法
