Create Tpm_Duplicate_eccnp.spthy