<?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.ExecutionEngine.nuspec" Id="RCD1D893F8F039E1D" />
  <Relationship Type="http://schemas.openxmlformats.org/package/2006/relationships/metadata/core-properties" Target="/package/services/metadata/core-properties/36102e7b5f274fb886edc8080a061c00.psmdcp" Id="RBE9610557B7D2EA5" />
</Relationships>