read GraphEnumeration:
print(`The first 7 terms of the the sequence of weight-enumerators`):
print(`enumerating equivalence classes of Boolean functions under permutation of variable and negation is`):
print(BnxSeq(7,x)):
print(`This took `, time(), `seconds `):
quit: