jharmony — 100 pts — Về cơ bản, thử thách này không khó mà chỉ hơi dài dòng, mình sử dụng z3 để giải Solve from z3 import * def to_int(instance): return instance.as_long() checks = [0xbf, 0x86, 0xe2, 0x90, 0x47, 0x42, 0xc3, 0xe7, 0x95, 0xa0, 0x91, 0x41, 0x5, 0x80, 0xe4, 0xa0, 0xa2, 0xd3, 0x47, 0x45…