EDMX file related to my answer to StackOverflow question at http://stackoverflow.com/questions/15709849/can-i-get-decode-an-entityframework-model-from-a-specified-migration

Contact.edmx

<?xml version="1.0" encoding="utf-8"?>
<Edmx Version="3.0" xmlns="http://schemas.microsoft.com/ado/2009/11/edmx">
  <Runtime>
    <ConceptualModels>
      <Schema Namespace="Test" Alias="Self" p4:UseStrongSpatialTypes="false" xmlns:p4="http://schemas.microsoft.com/ado/2009/02/edm/annotation" xmlns="http://schemas.microsoft.com/ado/2009/11/edm">
        <EntityType Name="Contact">
          <Key>
            <PropertyRef Name="Id" />
          </Key>
          <Property Name="Id" Type="Int32" Nullable="false" p4:StoreGeneratedPattern="Identity" />
          <Property Name="FirstName" Type="String" FixedLength="false" MaxLength="Max" Unicode="true" Nullable="true" />
          <Property Name="LastName" Type="String" FixedLength="false" MaxLength="Max" Unicode="true" Nullable="true" />
        </EntityType>
        <EntityContainer Name="ContactContext">
          <EntitySet Name="Contacts" EntityType="Self.Contact" />
        </EntityContainer>
      </Schema>
    </ConceptualModels>
    <Mappings>
      <Mapping Space="C-S" xmlns="http://schemas.microsoft.com/ado/2009/11/mapping/cs">
        <EntityContainerMapping StorageEntityContainer="CodeFirstDatabase" CdmEntityContainer="ContactContext">
          <EntitySetMapping Name="Contacts">
            <EntityTypeMapping TypeName="Test.Contact">
              <MappingFragment StoreEntitySet="Contact">
                <ScalarProperty Name="Id" ColumnName="Id" />
                <ScalarProperty Name="FirstName" ColumnName="FirstName" />
                <ScalarProperty Name="LastName" ColumnName="LastName" />
              </MappingFragment>
            </EntityTypeMapping>
          </EntitySetMapping>
        </EntityContainerMapping>
      </Mapping>
    </Mappings>
    <StorageModels>
      <Schema Namespace="CodeFirstDatabaseSchema" Provider="System.Data.SqlClient" ProviderManifestToken="2008" Alias="Self" xmlns="http://schemas.microsoft.com/ado/2009/11/edm/ssdl">
        <EntityType Name="Contact">
          <Key>
            <PropertyRef Name="Id" />
          </Key>
          <Property Name="Id" Type="int" StoreGeneratedPattern="Identity" Nullable="false" />
          <Property Name="FirstName" Type="nvarchar(max)" Nullable="true" />
          <Property Name="LastName" Type="nvarchar(max)" Nullable="true" />
        </EntityType>
        <EntityContainer Name="CodeFirstDatabase">
          <EntitySet Name="Contact" EntityType="Self.Contact" Schema="dbo" Table="Contacts" />
        </EntityContainer>
      </Schema>
    </StorageModels>
  </Runtime>
  <Designer>
    <Connection>
      <DesignerInfoPropertySet>
        <DesignerProperty Name="MetadataArtifactProcessing" Value="EmbedInOutputAssembly" />
      </DesignerInfoPropertySet>
    </Connection>
    <Options>
      <DesignerInfoPropertySet>
        <DesignerProperty Name="ValidateOnBuild" Value="False" />
        <DesignerProperty Name="CodeGenerationStrategy" Value="None" />
        <DesignerProperty Name="ProcessDependentTemplatesOnSave" Value="False" />
      </DesignerInfoPropertySet>
    </Options>
    <Diagrams />
  </Designer>
</Edmx>