<?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.Provers.SMTLib.nuspec" Id="R41C6741E92F51052" />
  <Relationship Type="http://schemas.openxmlformats.org/package/2006/relationships/metadata/core-properties" Target="/package/services/metadata/core-properties/0d68184d51d24026a0a01b89335f9366.psmdcp" Id="RE4B1CDF050BB674F" />
</Relationships>