<?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.LeanAuto.nuspec" Id="R2AB081B390C6E429" />
  <Relationship Type="http://schemas.openxmlformats.org/package/2006/relationships/metadata/core-properties" Target="/package/services/metadata/core-properties/955aba8dd0474c3fb404ff3a8242b4da.psmdcp" Id="R180BAFF0215AA56D" />
</Relationships>