Increase max N to 16
Tidy up code that checks for duplicates
Add some scripts for AWS
Use S3 for AWS output
Merge branch 'master' of github.com:mossmann/unambiguous-encapsulation