# Aperiodic sums of roots of unity that are zero.
# Format:
# k: [bit-string] n [subset]
# k is the rank of the necklace in lex order
# (starting with k=1 for the all-zero word),
# n is the length of the necklace.
#
# For example, the line
# 6: ...11..1..11 12 0 1 4 7 8
# says that Z:=w^0+w^1+w^4+w^7+w^8==0 where w := exp(2*Pi*I/12)
#
# Such sums Z exist for the following n:
# n: 1, 12, 18, 20, 24, 28, 30, 36, 40, 42, 44, 45,
# numof(Z) 1, 2, 24, 6, 236, 18, 3768, 20384, 7188, 227784, 186, 481732448,
# The list is complete for 1