R=solve1()
K1=len([s for s in R if bit(s,7)])
P1=set([s for s in R if not bit(s,7)])
print('count',len(R),'K1',K1,'K0',len(P1))
print(sorted(P1))