read GraphEnumeration:
print(`The number of unlabeled simple graphs with 6 vertices where each vertex has degree 3 equals`):
print(UGdeg([3$6])):
print(`This took `, time(), `seconds `):
quit: