# entropy.py
```pyfrom z3 import *
s = Solver()
a = BitVec('a', 32)b = BitVec('b', 32)c = BitVec('c', 32)d = BitVec('d', 32)e = BitVec('e', 32)f = BitVec('f', 32)
b ^= ab ^= 0x153c3a3ca += 0x10a ^= 0x47554c57c -= 0x20c ^= 0x6c417534d &= 0xffffffffd ^= 0x4e40725fe ^= 0x22e ^= 0x694d3046f += 2f ^= 1f ^= 0x7d52335da |= ba |= ca |= da |= ea |= f
s.add(a == 0x0)
s.check()m = s.model()
flag = {}
for i in m.decls():    flag[i.name()] = m[i].as_long()
w = b''
for i in sorted(flag):    w += bytes.fromhex(hex(flag[i])[2:])[::-1]
print(w)
```
# FLAG
**`GLUG{viRTuAl_r@Nd0MiZ3R}`**
