<?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.AbstractInterpretation.nuspec" Id="R4C167ECE13DBD2B0" />
  <Relationship Type="http://schemas.openxmlformats.org/package/2006/relationships/metadata/core-properties" Target="/package/services/metadata/core-properties/fa07558d0be34057ac4b8d2d54c56e89.psmdcp" Id="R75F3C863E56B99B8" />
</Relationships>