#!/usr/bin/env python3
N=1024
R=range(N)
M=[1004]
D={}
for m in M:
 if m in D:
  continue
 g={}
 for y in R:
  b=y&~m&1023
  g[b]=g.get(b,0)|1<<y
 D[m]=g
print(len(D[1004][0].to_bytes(128,'big')), (D[1004][0]>>512)&2)
print(512 in [n for n in R if n&~1004&1023==0])