<?xml version="1.0" encoding="utf-8"?>
<Relationships xmlns="http://schemas.openxmlformats.org/package/2006/relationships">
  <Relationship Type="http://schemas.microsoft.com/packaging/2010/07/manifest" Target="/Boogie.CodeContractsExtender.nuspec" Id="R3149E8D77273EA54" />
  <Relationship Type="http://schemas.openxmlformats.org/package/2006/relationships/metadata/core-properties" Target="/package/services/metadata/core-properties/968252e507a042aeb402115d998a1256.psmdcp" Id="R6F630D22A0BC46CC" />
</Relationships>