def basify(a): L = len(a) for i in range(L): idx = max(range(i,L),key=lambda x:a[x].bit_length()) a[i],a[idx] = a[idx],a[i] ai = a[i] if ai==0: break for j in range(i+1,L): if a[j] > a[j]^ai: a[j] ^= ai else: i+=1 return a[:i] def normalize(v,basis,top): for e,l in zip(basis,top): if v&(1<