read GraphEnumeration:
print(`The first 10 terms of the sequence enumerating equivalence classes of Boolean functions under permutation of variable and negation is`):
print(BnSeq(10)):
print(`This took `, time(), `seconds `):
quit: