Savannah Demaine auto-key-duplication-cost9963