# Polyphenol.py
```pythonfrom z3 import *
s = Solver()
a = [Int(f'a{i}') for i in range(34)]
points = [4, 26, 22, 30, 1, 0, 2, 28, 23, 6, 25, 15, 5, 17, 14, 3, 13]
l = [6218619148819094267912, 3239660278168289094170378865781537878483145039862, 13167423991006904868698304825721530103488567362, 362300164581366743933077318596814390341728710066538,  2912, 68, 1115908868222, 37269531510352347514290324712333731253807861642016,   56973337294691266392513915302684316231304471586, 3613524058959314538010460402,    889396341293302641051808753025749133146757798168, 43685960244566626421146033917835089685178,     9183044381254551882537188, 2694648608589552169772471076958756166751152,      4505915953382938147124977926390455694362, 529597204775372366, 392892826701163426612412172019222254476]
x = 0
for i in range(34):    s.add(a[i] >= 0x20, a[i] <= 0x7f)
for x in range(len(points)):    sum = 0    for i in range(34):	    sum += a[i] * points[x] ** i    s.add(sum == l[x])
s.check()m = s.model()
w = ''
for i in range(34):    w += chr(m[a[i]].as_long())
print(f'idek{{{w}}}')
```
# FLAG
**`idek{D1d_y0u_s34rch_7h1s_p0ly_6y_LLL???}`**
